0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.36/0.44 c #variables 21101 #constraints 99896
0.36/0.44 c objective is ce64
0.36/0.45 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.36/0.45 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.36/0.45 c GLOBAL bounds - >= 0 @ 0.332017
0.36/0.47 c GLOBAL bounds - >= 0 @ 0.343465
0.36/0.47 c GLOBAL bounds - >= 475379834250 @ 0.343834
0.56/0.69 c GLOBAL bounds - >= 475379834250 @ 0.543429
0.66/0.71 c GLOBAL bounds - >= 475379834250 @ 0.552056
0.66/0.71 c GLOBAL bounds - >= 475379834250 @ 0.552624
0.66/0.73 c GLOBAL bounds - >= 475379834250 @ 0.557972
0.66/0.73 c GLOBAL bounds - >= 475379834250 @ 0.558372
0.66/0.75 c GLOBAL bounds - >= 475379834250 @ 0.567287
0.66/0.75 c GLOBAL bounds - >= 475379834250 @ 0.567773
0.66/0.77 c GLOBAL bounds - >= 475379834250 @ 0.573053
0.66/0.77 c GLOBAL bounds - >= 475379834250 @ 0.573592
0.66/0.79 c GLOBAL bounds - >= 475379834250 @ 0.584813
0.66/0.79 c GLOBAL bounds - >= 475379834250 @ 0.585168
0.76/0.81 c GLOBAL bounds - >= 475379834250 @ 0.589258
0.76/0.81 c GLOBAL bounds - >= 475379834250 @ 0.589891
0.76/0.83 c GLOBAL bounds - >= 475379834250 @ 0.59903
0.76/0.83 c GLOBAL bounds - >= 475379834250 @ 0.599369
0.76/0.85 c GLOBAL bounds - >= 475379834250 @ 0.604278
0.76/0.85 c GLOBAL bounds - >= 475379834250 @ 0.60491
0.76/0.87 c GLOBAL bounds - >= 475379834250 @ 0.614978
0.76/0.87 c GLOBAL bounds - >= 475379834250 @ 0.615314
0.76/0.89 c GLOBAL bounds - >= 475379834250 @ 0.620859
0.86/0.91 c GLOBAL bounds - >= 475379834250 @ 0.630424
0.86/0.92 c GLOBAL bounds - >= 475379834250 @ 0.637586
0.86/0.94 c GLOBAL bounds - >= 475379834250 @ 0.646522
0.86/0.96 c GLOBAL bounds - >= 475379834250 @ 0.654944
0.86/0.98 c GLOBAL bounds - >= 475379834250 @ 0.664456
0.86/0.99 c GLOBAL bounds - >= 713143539475 @ 0.670172
0.86/0.99 c GLOBAL bounds - >= 713143539475 @ 0.674882
0.86/0.99 c GLOBAL bounds - >= 713143539475 @ 0.675378
0.96/1.01 c GLOBAL bounds - >= 713143539475 @ 0.683988
0.96/1.01 c GLOBAL bounds - >= 713143539475 @ 0.684657
0.96/1.03 c GLOBAL bounds - >= 713143539475 @ 0.695165
0.96/1.04 c GLOBAL bounds - >= 713143539475 @ 0.696152
0.96/1.05 c GLOBAL bounds - >= 713143539475 @ 0.704656
0.96/1.06 c GLOBAL bounds - >= 713143539475 @ 0.705062
0.96/1.07 c GLOBAL bounds - >= 713143539475 @ 0.712146
0.96/1.08 c GLOBAL bounds - >= 713143539475 @ 0.712758
0.96/1.09 c GLOBAL bounds - >= 713143539475 @ 0.716929
0.96/1.09 c GLOBAL bounds - >= 713143539475 @ 0.717542
1.07/1.11 c GLOBAL bounds - >= 713143539475 @ 0.723863
1.07/1.11 c GLOBAL bounds - >= 713143539475 @ 0.72454
1.07/1.13 c GLOBAL bounds - >= 713143539475 @ 0.731579
1.07/1.13 c GLOBAL bounds - >= 713143539475 @ 0.732223
1.07/1.15 c GLOBAL bounds - >= 713143539475 @ 0.74079
1.07/1.15 c GLOBAL bounds - >= 713143539475 @ 0.74079
1.07/1.17 c GLOBAL bounds - >= 713143539475 @ 0.746825
1.07/1.17 c GLOBAL bounds - >= 713143539475 @ 0.74739
1.07/1.19 c GLOBAL bounds - >= 713143539475 @ 0.755536
1.15/1.21 c GLOBAL bounds - >= 713143539475 @ 0.767516
1.15/1.23 c GLOBAL bounds - >= 713143539475 @ 0.773177
1.15/1.24 c GLOBAL bounds - >= 713143539475 @ 0.780861
1.15/1.26 c GLOBAL bounds - >= 713143539475 @ 0.787939
1.15/1.27 c GLOBAL bounds - >= 713143539475 @ 0.790844
1.15/1.28 c GLOBAL bounds - >= 713143539475 @ 0.795903
1.26/1.30 c GLOBAL bounds - >= 713143539475 @ 0.80182
1.26/1.31 c GLOBAL bounds - >= 713143539475 @ 0.807397
1.26/1.33 c GLOBAL bounds - >= 713143539475 @ 0.814771
1.26/1.35 c GLOBAL bounds - >= 713143539475 @ 0.830146
1.26/1.37 c GLOBAL bounds - >= 713143539475 @ 0.833633
1.26/1.38 c GLOBAL bounds - >= 713143539475 @ 0.842938
1.26/1.38 c GLOBAL bounds - >= 792336617800 @ 0.845043
1.26/1.39 c GLOBAL bounds - >= 792336617800 @ 0.848721
1.26/1.39 c GLOBAL bounds - >= 792336617800 @ 0.848721
1.26/1.39 c GLOBAL bounds - >= 792336617800 @ 0.848723
1.36/1.41 c GLOBAL bounds - >= 792336617800 @ 0.857324
1.36/1.41 c GLOBAL bounds - >= 792336617800 @ 0.857704
1.36/1.43 c GLOBAL bounds - >= 792336617800 @ 0.869467
1.36/1.43 c GLOBAL bounds - >= 792336617800 @ 0.869467
1.36/1.45 c GLOBAL bounds - >= 792336617800 @ 0.874666
1.36/1.45 c GLOBAL bounds - >= 792336617800 @ 0.875206
1.36/1.46 c GLOBAL bounds - >= 792336617800 @ 0.883431
1.36/1.46 c GLOBAL bounds - >= 792336617800 @ 0.883643
1.36/1.49 c GLOBAL bounds - >= 792336617800 @ 0.889322
1.36/1.49 c GLOBAL bounds - >= 792336617800 @ 0.890018
1.46/1.51 c GLOBAL bounds - >= 792336617800 @ 0.900589
1.46/1.51 c GLOBAL bounds - >= 792336617800 @ 0.901415
1.46/1.53 c GLOBAL bounds - >= 792336617800 @ 0.909074
1.46/1.53 c GLOBAL bounds - >= 792336617800 @ 0.909653
1.46/1.55 c GLOBAL bounds - >= 792336617800 @ 0.917977
1.46/1.55 c GLOBAL bounds - >= 792336617800 @ 0.918797
1.46/1.57 c GLOBAL bounds - >= 792336617800 @ 0.927198
1.46/1.57 c GLOBAL bounds - >= 792336617800 @ 0.927548
1.46/1.59 c GLOBAL bounds - >= 792336617800 @ 0.933191
1.55/1.61 c GLOBAL bounds - >= 792336617800 @ 0.939737
1.55/1.63 c GLOBAL bounds - >= 792336617800 @ 0.95149
1.55/1.65 c GLOBAL bounds - >= 1109330295400 @ 0.962286
1.55/1.66 c GLOBAL bounds - >= 1109330295400 @ 0.977159
1.55/1.68 c GLOBAL bounds - >= 1109330295400 @ 0.983962
1.55/1.68 c GLOBAL bounds - >= 1109330295400 @ 0.984421
1.65/1.70 c GLOBAL bounds - >= 1109330295400 @ 0.991138
1.65/1.70 c GLOBAL bounds - >= 1109330295400 @ 0.991945
1.65/1.72 c GLOBAL bounds - >= 1109330295400 @ 1.00027
1.65/1.72 c GLOBAL bounds - >= 1109330295400 @ 1.00113
1.65/1.74 c GLOBAL bounds - >= 1109330295400 @ 1.00932
1.65/1.74 c GLOBAL bounds - >= 1109330295400 @ 1.00985
1.65/1.76 c GLOBAL bounds - >= 1109330295400 @ 1.02107
1.65/1.76 c GLOBAL bounds - >= 1109330295400 @ 1.02135
1.65/1.78 c GLOBAL bounds - >= 1109330295400 @ 1.02606
1.65/1.78 c GLOBAL bounds - >= 1109330295400 @ 1.02634
1.76/1.80 c GLOBAL bounds - >= 1109330295400 @ 1.03239
1.76/1.81 c GLOBAL bounds - >= 1109330295400 @ 1.03345
1.76/1.82 c GLOBAL bounds - >= 1109330295400 @ 1.04479
1.76/1.83 c GLOBAL bounds - >= 1109330295400 @ 1.0453
1.76/1.85 c GLOBAL bounds - >= 1109330295400 @ 1.05098
1.76/1.85 c GLOBAL bounds - >= 1109330295400 @ 1.05129
1.76/1.87 c GLOBAL bounds - >= 1109330295400 @ 1.05621
1.85/1.91 c GLOBAL bounds - >= 1109330295400 @ 1.08416
1.85/1.96 c GLOBAL bounds - >= 1109330295400 @ 1.12029
1.96/2.01 c GLOBAL bounds - >= 1188689396950 @ 1.17299
1.96/2.02 c GLOBAL bounds - >= 1188689396950 @ 1.17956
1.96/2.02 c GLOBAL bounds - >= 1188689396950 @ 1.18023
1.96/2.02 c GLOBAL bounds - >= 1188689396950 @ 1.181
1.96/2.04 c GLOBAL bounds - >= 1188689396950 @ 1.1878
1.96/2.04 c GLOBAL bounds - >= 1188689396950 @ 1.18854
1.96/2.06 c GLOBAL bounds - >= 1188689396950 @ 1.1988
1.96/2.06 c GLOBAL bounds - >= 1188689396950 @ 1.19958
1.96/2.08 c GLOBAL bounds - >= 1188689396950 @ 1.20891
1.96/2.08 c GLOBAL bounds - >= 1188689396950 @ 1.20974
2.06/2.10 c GLOBAL bounds - >= 1188689396950 @ 1.21599
2.06/2.10 c GLOBAL bounds - >= 1188689396950 @ 1.21676
2.06/2.12 c GLOBAL bounds - >= 1188689396950 @ 1.22429
2.06/2.12 c GLOBAL bounds - >= 1188689396950 @ 1.2251
2.06/2.14 c GLOBAL bounds - >= 1188689396950 @ 1.23368
2.06/2.14 c GLOBAL bounds - >= 1188689396950 @ 1.23452
2.06/2.16 c GLOBAL bounds - >= 1188689396950 @ 1.24085
2.06/2.17 c GLOBAL bounds - >= 1188689396950 @ 1.24179
2.06/2.18 c GLOBAL bounds - >= 1188689396950 @ 1.2492
2.06/2.19 c GLOBAL bounds - >= 1188689396950 @ 1.24987
2.16/2.20 c GLOBAL bounds - >= 1188689396950 @ 1.25947
2.16/2.21 c GLOBAL bounds - >= 1188689396950 @ 1.25985
2.16/2.23 c GLOBAL bounds - >= 1188689396950 @ 1.26605
2.26/2.30 c GLOBAL bounds - >= 1188689396950 @ 1.32181
2.35/2.41 c GLOBAL bounds - >= 1188689396950 @ 1.42344
2.35/2.45 c GLOBAL bounds - >= 1188689396950 @ 1.45612
2.35/2.49 c GLOBAL bounds - >= 1188689396950 @ 1.47707
2.65/2.74 c GLOBAL bounds - >= 1347241576825 @ 1.70778
2.65/2.74 c GLOBAL bounds - >= 1347241576825 @ 1.71683
2.65/2.76 c GLOBAL bounds - >= 1347241576825 @ 1.72243
2.65/2.77 c GLOBAL bounds - >= 1347241576825 @ 1.72362
2.65/2.79 c GLOBAL bounds - >= 1347241576825 @ 1.73341
2.65/2.79 c GLOBAL bounds - >= 1347241576825 @ 1.73423
2.75/2.81 c GLOBAL bounds - >= 1347241576825 @ 1.7454
2.75/2.81 c GLOBAL bounds - >= 1347241576825 @ 1.74579
2.75/2.83 c GLOBAL bounds - >= 1347241576825 @ 1.75263
2.75/2.83 c GLOBAL bounds - >= 1347241576825 @ 1.75277
2.75/2.85 c GLOBAL bounds - >= 1347241576825 @ 1.76139
2.75/2.85 c GLOBAL bounds - >= 1347241576825 @ 1.76176
2.75/2.87 c GLOBAL bounds - >= 1347241576825 @ 1.7708
2.75/2.87 c GLOBAL bounds - >= 1347241576825 @ 1.77184
2.75/2.89 c GLOBAL bounds - >= 1347241576825 @ 1.7787
2.75/2.89 c GLOBAL bounds - >= 1347241576825 @ 1.77975
2.85/2.91 c GLOBAL bounds - >= 1347241576825 @ 1.78955
2.85/2.91 c GLOBAL bounds - >= 1347241576825 @ 1.79061
2.85/2.93 c GLOBAL bounds - >= 1347241576825 @ 1.79524
2.85/2.93 c GLOBAL bounds - >= 1347241576825 @ 1.79568
2.85/2.95 c GLOBAL bounds - >= 1347241576825 @ 1.802
3.56/3.65 c #Conflicts: 1000 | #Constraints: 2411
3.56/3.65 c GLOBAL bounds - >= 1347426047075 @ 2.45279
3.56/3.66 c GLOBAL bounds - >= 1347426047075 @ 2.46111
3.56/3.68 c GLOBAL bounds - >= 1347426047075 @ 2.46707
3.56/3.68 c GLOBAL bounds - >= 1347426047075 @ 2.46839
3.65/3.70 c GLOBAL bounds - >= 1347426047075 @ 2.47631
3.65/3.70 c GLOBAL bounds - >= 1347426047075 @ 2.47752
3.65/3.72 c GLOBAL bounds - >= 1347426047075 @ 2.48646
3.65/3.72 c GLOBAL bounds - >= 1347426047075 @ 2.48706
3.65/3.74 c GLOBAL bounds - >= 1347426047075 @ 2.49259
3.65/3.74 c GLOBAL bounds - >= 1347426047075 @ 2.49358
3.65/3.76 c GLOBAL bounds - >= 1347426047075 @ 2.50347
3.65/3.77 c GLOBAL bounds - >= 1347426047075 @ 2.50402
3.65/3.79 c GLOBAL bounds - >= 1347426047075 @ 2.51172
3.65/3.79 c GLOBAL bounds - >= 1347426047075 @ 2.51306
3.75/3.81 c GLOBAL bounds - >= 1347426047075 @ 2.52326
3.75/3.81 c GLOBAL bounds - >= 1347426047075 @ 2.52455
3.75/3.83 c GLOBAL bounds - >= 1347426047075 @ 2.53244
3.75/3.83 c GLOBAL bounds - >= 1347426047075 @ 2.53296
3.75/3.85 c GLOBAL bounds - >= 1347426047075 @ 2.53975
3.75/3.85 c GLOBAL bounds - >= 1347426047075 @ 2.53995
3.75/3.87 c GLOBAL bounds - >= 1347426047075 @ 2.55195
3.75/3.89 c GLOBAL bounds - >= 1347426047075 @ 2.56143
3.85/3.91 c GLOBAL bounds - >= 1347426047075 @ 2.57289
4.25/4.34 c #Conflicts: 2000 | #Constraints: 3450
4.25/4.34 c INPROCESSING
4.25/4.34 c GARBAGE COLLECT
4.25/4.34 c GLOBAL bounds - >= 1347573623275 @ 2.96442
4.25/4.36 c GLOBAL bounds - >= 1347573623275 @ 2.97602
4.25/4.38 c GLOBAL bounds - >= 1347573623275 @ 2.9843
4.25/4.38 c GLOBAL bounds - >= 1347573623275 @ 2.98553
4.35/4.40 c GLOBAL bounds - >= 1347573623275 @ 2.99652
4.35/4.40 c GLOBAL bounds - >= 1347573623275 @ 2.99787
4.35/4.42 c GLOBAL bounds - >= 1347573623275 @ 3.00772
4.35/4.42 c GLOBAL bounds - >= 1347573623275 @ 3.00887
4.35/4.44 c GLOBAL bounds - >= 1347573623275 @ 3.01678
4.35/4.44 c GLOBAL bounds - >= 1347573623275 @ 3.01785
4.35/4.46 c GLOBAL bounds - >= 1347573623275 @ 3.02873
4.35/4.46 c GLOBAL bounds - >= 1347573623275 @ 3.02883
4.35/4.48 c GLOBAL bounds - >= 1347573623275 @ 3.03968
4.35/4.48 c GLOBAL bounds - >= 1347573623275 @ 3.04095
4.45/4.50 c GLOBAL bounds - >= 1347573623275 @ 3.04774
4.45/4.50 c GLOBAL bounds - >= 1347573623275 @ 3.04825
4.45/4.52 c GLOBAL bounds - >= 1347573623275 @ 3.05782
4.45/4.52 c GLOBAL bounds - >= 1347573623275 @ 3.05924
4.45/4.54 c GLOBAL bounds - >= 1347573623275 @ 3.06784
4.45/4.55 c GLOBAL bounds - >= 1347573623275 @ 3.06875
4.45/4.57 c GLOBAL bounds - >= 1347573623275 @ 3.07993
4.45/4.58 c GLOBAL bounds - >= 1347573623275 @ 3.08811
8.54/8.69 c #Conflicts: 3000 | #Constraints: 3452
8.54/8.69 c #Conflicts: 4000 | #Constraints: 4452
8.54/8.69 c INPROCESSING
8.54/8.69 c GARBAGE COLLECT
8.54/8.69 c #Conflicts: 5000 | #Constraints: 3852
8.54/8.69 c #Conflicts: 6000 | #Constraints: 4852
8.54/8.69 c INPROCESSING
8.54/8.69 c GARBAGE COLLECT
8.54/8.69 c GLOBAL bounds - >= 1426951171850 @ 7.01769
8.64/8.70 c GLOBAL bounds - >= 1426951171850 @ 7.03023
8.64/8.71 c GLOBAL bounds - >= 1426951171850 @ 7.03023
8.64/8.73 c GLOBAL bounds - >= 1426951171850 @ 7.03803
8.64/8.73 c GLOBAL bounds - >= 1426951171850 @ 7.0382
8.64/8.75 c GLOBAL bounds - >= 1426951171850 @ 7.04502
8.64/8.75 c GLOBAL bounds - >= 1426951171850 @ 7.04689
8.64/8.77 c GLOBAL bounds - >= 1426951171850 @ 7.05693
8.64/8.78 c GLOBAL bounds - >= 1426951171850 @ 7.05817
8.74/8.80 c GLOBAL bounds - >= 1426951171850 @ 7.06502
8.74/8.80 c GLOBAL bounds - >= 1426951171850 @ 7.06595
8.74/8.82 c GLOBAL bounds - >= 1426951171850 @ 7.07599
8.74/8.82 c GLOBAL bounds - >= 1426951171850 @ 7.07796
8.74/8.84 c GLOBAL bounds - >= 1426951171850 @ 7.08479
8.74/8.84 c GLOBAL bounds - >= 1426951171850 @ 7.0861
8.74/8.86 c GLOBAL bounds - >= 1426951171850 @ 7.09361
8.74/8.87 c GLOBAL bounds - >= 1426951171850 @ 7.09548
8.74/8.89 c GLOBAL bounds - >= 1426951171850 @ 7.10367
8.74/8.89 c GLOBAL bounds - >= 1426951171850 @ 7.1046
8.84/8.91 c GLOBAL bounds - >= 1426951171850 @ 7.11178
8.84/8.91 c GLOBAL bounds - >= 1426951171850 @ 7.11362
8.84/8.93 c GLOBAL bounds - >= 1426951171850 @ 7.11984
8.84/8.95 c GLOBAL bounds - >= 1426951171850 @ 7.12602
8.84/8.97 c GLOBAL bounds - >= 1426951171850 @ 7.13002
8.84/8.99 c GLOBAL bounds - >= 1426951171850 @ 7.1395
8.95/9.00 c GLOBAL bounds - >= 1426951171850 @ 7.1439
8.95/9.04 c GLOBAL bounds - >= 1426951171850 @ 7.16653
8.95/9.06 c GLOBAL bounds - >= 1426951171850 @ 7.18148
8.95/9.08 c GLOBAL bounds - >= 1426951171850 @ 7.19232
13.63/13.71 c #Conflicts: 7000 | #Constraints: 3916
13.63/13.71 c #Conflicts: 8000 | #Constraints: 4916
13.63/13.71 c #Conflicts: 9000 | #Constraints: 5916
13.63/13.71 c INPROCESSING
13.63/13.71 c GARBAGE COLLECT
13.63/13.71 c #Conflicts: 10000 | #Constraints: 4609
13.63/13.71 c #Conflicts: 11000 | #Constraints: 5609
13.63/13.71 c #Conflicts: 12000 | #Constraints: 6609
13.63/13.71 c INPROCESSING
13.63/13.71 c GARBAGE COLLECT
13.63/13.71 c GLOBAL bounds - >= 1506236485300 @ 11.6788
13.63/13.72 c GLOBAL bounds - >= 1506236485300 @ 11.6889
13.63/13.73 c GLOBAL bounds - >= 1506236485300 @ 11.6899
13.63/13.75 c GLOBAL bounds - >= 1506236485300 @ 11.7055
13.63/13.76 c GLOBAL bounds - >= 1506236485300 @ 11.7069
13.63/13.78 c GLOBAL bounds - >= 1506236485300 @ 11.7181
13.63/13.78 c GLOBAL bounds - >= 1506236485300 @ 11.7189
13.72/13.80 c GLOBAL bounds - >= 1506236485300 @ 11.7296
13.72/13.80 c GLOBAL bounds - >= 1506236485300 @ 11.7314
13.72/13.82 c GLOBAL bounds - >= 1506236485300 @ 11.7441
13.72/13.82 c GLOBAL bounds - >= 1506236485300 @ 11.745
13.72/13.85 c GLOBAL bounds - >= 1506236485300 @ 11.7536
13.72/13.85 c GLOBAL bounds - >= 1506236485300 @ 11.7538
13.72/13.87 c GLOBAL bounds - >= 1506236485300 @ 11.761
13.72/13.87 c GLOBAL bounds - >= 1506236485300 @ 11.7627
13.72/13.89 c GLOBAL bounds - >= 1506236485300 @ 11.7723
13.72/13.89 c GLOBAL bounds - >= 1506236485300 @ 11.7732
13.83/13.91 c GLOBAL bounds - >= 1506236485300 @ 11.7798
13.83/13.91 c GLOBAL bounds - >= 1506236485300 @ 11.7819
13.83/13.94 c GLOBAL bounds - >= 1506236485300 @ 11.7915
13.83/13.94 c GLOBAL bounds - >= 1506236485300 @ 11.7927
13.83/13.96 c GLOBAL bounds - >= 1506236485300 @ 11.8011
13.83/13.98 c GLOBAL bounds - >= 1506236485300 @ 11.8178
47.24/47.45 c #Conflicts: 13000 | #Constraints: 5094
47.24/47.45 c #Conflicts: 14000 | #Constraints: 6094
47.24/47.45 c #Conflicts: 15000 | #Constraints: 7094
47.24/47.45 c INPROCESSING
47.24/47.45 c GARBAGE COLLECT
47.24/47.45 c #Conflicts: 16000 | #Constraints: 5314
47.24/47.45 c #Conflicts: 17000 | #Constraints: 6314
47.24/47.45 c #Conflicts: 18000 | #Constraints: 7314
47.24/47.45 c INPROCESSING
47.24/47.45 c GARBAGE COLLECT
47.24/47.45 c #Conflicts: 19000 | #Constraints: 5329
47.24/47.45 c #Conflicts: 20000 | #Constraints: 6329
47.24/47.45 c #Conflicts: 21000 | #Constraints: 7329
47.24/47.45 c INPROCESSING
47.24/47.45 c GARBAGE COLLECT
47.24/47.45 c #Conflicts: 22000 | #Constraints: 5130
47.24/47.45 c #Conflicts: 23000 | #Constraints: 6130
47.24/47.45 c #Conflicts: 24000 | #Constraints: 7130
47.24/47.45 c #Conflicts: 25000 | #Constraints: 8130
47.24/47.45 c INPROCESSING
47.24/47.45 c GARBAGE COLLECT
47.24/47.45 c #Conflicts: 26000 | #Constraints: 5733
47.24/47.45 c #Conflicts: 27000 | #Constraints: 6733
47.24/47.45 c #Conflicts: 28000 | #Constraints: 7733
47.24/47.45 c #Conflicts: 29000 | #Constraints: 8733
47.24/47.45 c INPROCESSING
47.24/47.45 c GARBAGE COLLECT
47.24/47.45 c #Conflicts: 30000 | #Constraints: 6137
47.24/47.45 c #Conflicts: 31000 | #Constraints: 7137
47.24/47.45 c #Conflicts: 32000 | #Constraints: 8137
47.24/47.45 c #Conflicts: 33000 | #Constraints: 9137
47.24/47.45 c INPROCESSING
47.24/47.45 c GARBAGE COLLECT
47.24/47.45 c #Conflicts: 34000 | #Constraints: 6340
47.24/47.45 c #Conflicts: 35000 | #Constraints: 7340
47.24/47.45 c #Conflicts: 36000 | #Constraints: 8340
47.24/47.45 c #Conflicts: 37000 | #Constraints: 9340
47.24/47.45 c INPROCESSING
47.24/47.45 c GARBAGE COLLECT
47.24/47.45 c #Conflicts: 38000 | #Constraints: 6341
47.24/47.45 c #Conflicts: 39000 | #Constraints: 7341
47.24/47.45 c #Conflicts: 40000 | #Constraints: 8341
47.24/47.45 c #Conflicts: 41000 | #Constraints: 9341
47.24/47.45 c INPROCESSING
47.24/47.45 c GARBAGE COLLECT
47.24/47.45 c #Conflicts: 42000 | #Constraints: 6137
47.24/47.45 c #Conflicts: 43000 | #Constraints: 7137
47.24/47.45 c #Conflicts: 44000 | #Constraints: 8137
47.24/47.45 c #Conflicts: 45000 | #Constraints: 9137
47.24/47.45 c GLOBAL bounds - >= 1664954688400 @ 44.3247
47.24/47.47 c GLOBAL bounds - >= 1664954688400 @ 44.3451
47.24/47.48 c GLOBAL bounds - >= 1664954688400 @ 44.3459
47.34/47.50 c GLOBAL bounds - >= 1664954688400 @ 44.3569
47.34/47.50 c GLOBAL bounds - >= 1664954688400 @ 44.3589
47.34/47.52 c GLOBAL bounds - >= 1664954688400 @ 44.3657
47.34/47.52 c GLOBAL bounds - >= 1664954688400 @ 44.3669
47.34/47.54 c GLOBAL bounds - >= 1664954688400 @ 44.3793
47.34/47.55 c GLOBAL bounds - >= 1664954688400 @ 44.3811
47.34/47.57 c GLOBAL bounds - >= 1664954688400 @ 44.3908
47.34/47.57 c GLOBAL bounds - >= 1664954688400 @ 44.3908
47.34/47.59 c GLOBAL bounds - >= 1664954688400 @ 44.4005
47.34/47.59 c GLOBAL bounds - >= 1664954688400 @ 44.4014
47.45/47.62 c GLOBAL bounds - >= 1664954688400 @ 44.4113
47.45/47.62 c GLOBAL bounds - >= 1664954688400 @ 44.4128
47.45/47.64 c GLOBAL bounds - >= 1664954688400 @ 44.419
47.45/47.64 c GLOBAL bounds - >= 1664954688400 @ 44.4209
47.45/47.66 c GLOBAL bounds - >= 1664954688400 @ 44.4287
47.45/47.67 c GLOBAL bounds - >= 1664954688400 @ 44.4306
47.45/47.69 c GLOBAL bounds - >= 1664954688400 @ 44.4414
47.45/47.69 c GLOBAL bounds - >= 1664954688400 @ 44.4417
47.54/47.71 c GLOBAL bounds - >= 1664954688400 @ 44.4503
91.94/92.28 c #Conflicts: 46000 | #Constraints: 10177
91.94/92.28 c INPROCESSING
91.94/92.28 c GARBAGE COLLECT
91.94/92.28 c #Conflicts: 47000 | #Constraints: 6761
91.94/92.28 c #Conflicts: 48000 | #Constraints: 7761
91.94/92.28 c #Conflicts: 49000 | #Constraints: 8761
91.94/92.28 c #Conflicts: 50000 | #Constraints: 9761
91.94/92.28 c #Conflicts: 51000 | #Constraints: 10761
91.94/92.28 c INPROCESSING
91.94/92.28 c GARBAGE COLLECT
91.94/92.28 c #Conflicts: 52000 | #Constraints: 7161
91.94/92.28 c #Conflicts: 53000 | #Constraints: 8161
91.94/92.28 c #Conflicts: 54000 | #Constraints: 9161
91.94/92.28 c #Conflicts: 55000 | #Constraints: 10161
91.94/92.28 c #Conflicts: 56000 | #Constraints: 11161
91.94/92.28 c INPROCESSING
91.94/92.28 c GARBAGE COLLECT
91.94/92.28 c #Conflicts: 57000 | #Constraints: 7362
91.94/92.28 c #Conflicts: 58000 | #Constraints: 8362
91.94/92.28 c #Conflicts: 59000 | #Constraints: 9362
91.94/92.28 c #Conflicts: 60000 | #Constraints: 10362
91.94/92.28 c #Conflicts: 61000 | #Constraints: 11362
91.94/92.28 c INPROCESSING
91.94/92.28 c GARBAGE COLLECT
91.94/92.28 c #Conflicts: 62000 | #Constraints: 7372
91.94/92.28 c #Conflicts: 63000 | #Constraints: 8372
91.94/92.28 c #Conflicts: 64000 | #Constraints: 9372
91.94/92.28 c #Conflicts: 65000 | #Constraints: 10372
91.94/92.28 c #Conflicts: 66000 | #Constraints: 11372
91.94/92.28 c INPROCESSING
91.94/92.28 c GARBAGE COLLECT
91.94/92.28 c #Conflicts: 67000 | #Constraints: 7170
91.94/92.28 c #Conflicts: 68000 | #Constraints: 8170
91.94/92.28 c #Conflicts: 69000 | #Constraints: 9170
91.94/92.28 c #Conflicts: 70000 | #Constraints: 10170
91.94/92.28 c #Conflicts: 71000 | #Constraints: 11170
91.94/92.28 c #Conflicts: 72000 | #Constraints: 12170
91.94/92.28 c INPROCESSING
91.94/92.28 c GARBAGE COLLECT
91.94/92.28 c #Conflicts: 73000 | #Constraints: 7775
91.94/92.28 c #Conflicts: 74000 | #Constraints: 8775
91.94/92.28 c #Conflicts: 75000 | #Constraints: 9775
91.94/92.28 c #Conflicts: 76000 | #Constraints: 10775
91.94/92.28 c #Conflicts: 77000 | #Constraints: 11775
91.94/92.28 c #Conflicts: 78000 | #Constraints: 12775
91.94/92.28 c INPROCESSING
91.94/92.28 c GARBAGE COLLECT
91.94/92.28 c #Conflicts: 79000 | #Constraints: 8171
91.94/92.28 c #Conflicts: 80000 | #Constraints: 9171
91.94/92.28 c #Conflicts: 81000 | #Constraints: 10171
91.94/92.28 c #Conflicts: 82000 | #Constraints: 11171
91.94/92.28 c #Conflicts: 83000 | #Constraints: 12171
91.94/92.28 c #Conflicts: 84000 | #Constraints: 13171
91.94/92.28 c INPROCESSING
91.94/92.28 c GARBAGE COLLECT
91.94/92.28 c #Conflicts: 85000 | #Constraints: 8376
91.94/92.28 c #Conflicts: 86000 | #Constraints: 9376
91.94/92.28 c #Conflicts: 87000 | #Constraints: 10376
91.94/92.28 c #Conflicts: 88000 | #Constraints: 11376
91.94/92.28 c #Conflicts: 89000 | #Constraints: 12376
91.94/92.28 c #Conflicts: 90000 | #Constraints: 13376
91.94/92.28 c INPROCESSING
91.94/92.28 c GARBAGE COLLECT
91.94/92.28 c #Conflicts: 91000 | #Constraints: 8377
91.94/92.28 c #Conflicts: 92000 | #Constraints: 9377
91.94/92.28 c #Conflicts: 93000 | #Constraints: 10377
91.94/92.28 c GLOBAL bounds - >= 1665157605675 @ 87.755
91.94/92.29 c GLOBAL bounds - >= 1665157605675 @ 87.7666
92.03/92.32 c GLOBAL bounds - >= 1665157605675 @ 87.7761
92.03/92.32 c GLOBAL bounds - >= 1665157605675 @ 87.7781
92.03/92.34 c GLOBAL bounds - >= 1665157605675 @ 87.7916
92.03/92.34 c GLOBAL bounds - >= 1665157605675 @ 87.7935
92.03/92.37 c GLOBAL bounds - >= 1665157605675 @ 87.8005
92.03/92.37 c GLOBAL bounds - >= 1665157605675 @ 87.8024
92.03/92.39 c GLOBAL bounds - >= 1665157605675 @ 87.8126
92.03/92.39 c GLOBAL bounds - >= 1665157605675 @ 87.8136
92.13/92.41 c GLOBAL bounds - >= 1665157605675 @ 87.8235
92.13/92.42 c GLOBAL bounds - >= 1665157605675 @ 87.8255
92.13/92.44 c GLOBAL bounds - >= 1665157605675 @ 87.8327
92.13/92.44 c GLOBAL bounds - >= 1665157605675 @ 87.8338
92.13/92.46 c GLOBAL bounds - >= 1665157605675 @ 87.846
92.13/92.46 c GLOBAL bounds - >= 1665157605675 @ 87.8469
92.13/92.49 c GLOBAL bounds - >= 1665157605675 @ 87.8591
92.13/92.49 c GLOBAL bounds - >= 1665157605675 @ 87.8604
92.23/92.51 c GLOBAL bounds - >= 1665157605675 @ 87.8713
92.23/92.51 c GLOBAL bounds - >= 1665157605675 @ 87.8734
92.23/92.53 c GLOBAL bounds - >= 1665157605675 @ 87.8825
151.79/152.29 c #Conflicts: 94000 | #Constraints: 11416
151.79/152.29 c #Conflicts: 95000 | #Constraints: 12416
151.79/152.29 c #Conflicts: 96000 | #Constraints: 13416
151.79/152.29 c INPROCESSING
151.79/152.29 c GARBAGE COLLECT
151.79/152.29 c #Conflicts: 97000 | #Constraints: 8205
151.79/152.29 c #Conflicts: 98000 | #Constraints: 9205
151.79/152.29 c #Conflicts: 99000 | #Constraints: 10205
151.79/152.29 c #Conflicts: 100000 | #Constraints: 11205
151.79/152.29 c #Conflicts: 101000 | #Constraints: 12205
151.79/152.29 c #Conflicts: 102000 | #Constraints: 13205
151.79/152.29 c #Conflicts: 103000 | #Constraints: 14205
151.79/152.29 c INPROCESSING
151.79/152.29 c GARBAGE COLLECT
151.79/152.29 c #Conflicts: 104000 | #Constraints: 8802
151.79/152.29 c #Conflicts: 105000 | #Constraints: 9802
151.79/152.29 c #Conflicts: 106000 | #Constraints: 10802
151.79/152.29 c #Conflicts: 107000 | #Constraints: 11802
151.79/152.29 c #Conflicts: 108000 | #Constraints: 12802
151.79/152.29 c #Conflicts: 109000 | #Constraints: 13802
151.79/152.29 c #Conflicts: 110000 | #Constraints: 14802
151.79/152.29 c INPROCESSING
151.79/152.29 c GARBAGE COLLECT
151.79/152.29 c #Conflicts: 111000 | #Constraints: 9199
151.79/152.29 c #Conflicts: 112000 | #Constraints: 10199
151.79/152.29 c #Conflicts: 113000 | #Constraints: 11199
151.79/152.29 c #Conflicts: 114000 | #Constraints: 12199
151.79/152.29 c #Conflicts: 115000 | #Constraints: 13199
151.79/152.29 c #Conflicts: 116000 | #Constraints: 14199
151.79/152.29 c #Conflicts: 117000 | #Constraints: 15199
151.79/152.29 c INPROCESSING
151.79/152.29 c GARBAGE COLLECT
151.79/152.29 c #Conflicts: 118000 | #Constraints: 9395
151.79/152.29 c #Conflicts: 119000 | #Constraints: 10395
151.79/152.29 c #Conflicts: 120000 | #Constraints: 11395
151.79/152.29 c #Conflicts: 121000 | #Constraints: 12395
151.79/152.29 c #Conflicts: 122000 | #Constraints: 13395
151.79/152.29 c #Conflicts: 123000 | #Constraints: 14395
151.79/152.29 c #Conflicts: 124000 | #Constraints: 15395
151.79/152.29 c INPROCESSING
151.79/152.29 c GARBAGE COLLECT
151.79/152.29 c #Conflicts: 125000 | #Constraints: 9391
151.79/152.29 c #Conflicts: 126000 | #Constraints: 10391
151.79/152.29 c #Conflicts: 127000 | #Constraints: 11391
151.79/152.29 c #Conflicts: 128000 | #Constraints: 12391
151.79/152.29 c #Conflicts: 129000 | #Constraints: 13391
151.79/152.29 c #Conflicts: 130000 | #Constraints: 14391
151.79/152.29 c #Conflicts: 131000 | #Constraints: 15391
151.79/152.29 c INPROCESSING
151.79/152.29 c GARBAGE COLLECT
151.79/152.29 c #Conflicts: 132000 | #Constraints: 9201
151.79/152.29 c #Conflicts: 133000 | #Constraints: 10201
151.79/152.29 c #Conflicts: 134000 | #Constraints: 11201
151.79/152.29 c #Conflicts: 135000 | #Constraints: 12201
151.79/152.29 c #Conflicts: 136000 | #Constraints: 13201
151.79/152.29 c #Conflicts: 137000 | #Constraints: 14201
151.79/152.29 c #Conflicts: 138000 | #Constraints: 15201
151.79/152.29 c #Conflicts: 139000 | #Constraints: 16201
151.79/152.29 c INPROCESSING
151.79/152.29 c GARBAGE COLLECT
151.79/152.29 c #Conflicts: 140000 | #Constraints: 9797
151.79/152.29 c #Conflicts: 141000 | #Constraints: 10797
151.79/152.29 c #Conflicts: 142000 | #Constraints: 11797
151.79/152.29 c #Conflicts: 143000 | #Constraints: 12797
151.79/152.29 c #Conflicts: 144000 | #Constraints: 13797
151.79/152.29 c #Conflicts: 145000 | #Constraints: 14797
151.79/152.29 c #Conflicts: 146000 | #Constraints: 15797
151.79/152.29 c #Conflicts: 147000 | #Constraints: 16797
151.79/152.29 c INPROCESSING
151.79/152.29 c GARBAGE COLLECT
151.79/152.29 c #Conflicts: 148000 | #Constraints: 10198
151.79/152.29 c #Conflicts: 149000 | #Constraints: 11198
151.79/152.29 c #Conflicts: 150000 | #Constraints: 12198
151.79/152.29 c #Conflicts: 151000 | #Constraints: 13198
151.79/152.29 c #Conflicts: 152000 | #Constraints: 14198
151.79/152.29 c GLOBAL bounds - >= 1665342075925 @ 146.407
151.89/152.31 c GLOBAL bounds - >= 1665342075925 @ 146.423
151.89/152.33 c GLOBAL bounds - >= 1665342075925 @ 146.433
151.89/152.33 c GLOBAL bounds - >= 1665342075925 @ 146.434
151.89/152.36 c GLOBAL bounds - >= 1665342075925 @ 146.443
151.89/152.36 c GLOBAL bounds - >= 1665342075925 @ 146.444
151.89/152.38 c GLOBAL bounds - >= 1665342075925 @ 146.454
151.89/152.39 c GLOBAL bounds - >= 1665342075925 @ 146.456
151.99/152.41 c GLOBAL bounds - >= 1665342075925 @ 146.465
151.99/152.41 c GLOBAL bounds - >= 1665342075925 @ 146.467
151.99/152.43 c GLOBAL bounds - >= 1665342075925 @ 146.479
151.99/152.44 c GLOBAL bounds - >= 1665342075925 @ 146.481
151.99/152.46 c GLOBAL bounds - >= 1665342075925 @ 146.493
151.99/152.46 c GLOBAL bounds - >= 1665342075925 @ 146.495
151.99/152.48 c GLOBAL bounds - >= 1665342075925 @ 146.504
151.99/152.49 c GLOBAL bounds - >= 1665342075925 @ 146.505
152.08/152.51 c GLOBAL bounds - >= 1665342075925 @ 146.511
152.08/152.51 c GLOBAL bounds - >= 1665342075925 @ 146.511
152.08/152.53 c GLOBAL bounds - >= 1665342075925 @ 146.518
152.08/152.54 c GLOBAL bounds - >= 1665342075925 @ 146.52
152.08/152.56 c GLOBAL bounds - >= 1665342075925 @ 146.528
216.82/217.45 c #Conflicts: 153000 | #Constraints: 15237
216.82/217.45 c #Conflicts: 154000 | #Constraints: 16237
216.82/217.45 c #Conflicts: 155000 | #Constraints: 17237
216.82/217.45 c INPROCESSING
216.82/217.45 c GARBAGE COLLECT
216.82/217.45 c #Conflicts: 156000 | #Constraints: 10428
216.82/217.45 c #Conflicts: 157000 | #Constraints: 11428
216.82/217.45 c #Conflicts: 158000 | #Constraints: 12428
216.82/217.45 c #Conflicts: 159000 | #Constraints: 13428
216.82/217.45 c #Conflicts: 160000 | #Constraints: 14428
216.82/217.45 c #Conflicts: 161000 | #Constraints: 15428
216.82/217.45 c #Conflicts: 162000 | #Constraints: 16428
216.82/217.45 c #Conflicts: 163000 | #Constraints: 17428
216.82/217.45 c INPROCESSING
216.82/217.45 c GARBAGE COLLECT
216.82/217.45 c #Conflicts: 164000 | #Constraints: 10422
216.82/217.45 c #Conflicts: 165000 | #Constraints: 11422
216.82/217.45 c #Conflicts: 166000 | #Constraints: 12422
216.82/217.45 c #Conflicts: 167000 | #Constraints: 13422
216.82/217.45 c #Conflicts: 168000 | #Constraints: 14422
216.82/217.45 c #Conflicts: 169000 | #Constraints: 15422
216.82/217.45 c #Conflicts: 170000 | #Constraints: 16422
216.82/217.45 c #Conflicts: 171000 | #Constraints: 17422
216.82/217.45 c INPROCESSING
216.82/217.45 c GARBAGE COLLECT
216.82/217.45 c #Conflicts: 172000 | #Constraints: 10226
216.82/217.45 c #Conflicts: 173000 | #Constraints: 11226
216.82/217.45 c #Conflicts: 174000 | #Constraints: 12226
216.82/217.45 c #Conflicts: 175000 | #Constraints: 13226
216.82/217.45 c #Conflicts: 176000 | #Constraints: 14226
216.82/217.45 c #Conflicts: 177000 | #Constraints: 15226
216.82/217.45 c #Conflicts: 178000 | #Constraints: 16226
216.82/217.45 c #Conflicts: 179000 | #Constraints: 17226
216.82/217.45 c #Conflicts: 180000 | #Constraints: 18226
216.82/217.45 c INPROCESSING
216.82/217.45 c GARBAGE COLLECT
216.82/217.45 c #Conflicts: 181000 | #Constraints: 10825
216.82/217.45 c #Conflicts: 182000 | #Constraints: 11825
216.82/217.45 c #Conflicts: 183000 | #Constraints: 12825
216.82/217.45 c #Conflicts: 184000 | #Constraints: 13825
216.82/217.45 c #Conflicts: 185000 | #Constraints: 14825
216.82/217.45 c #Conflicts: 186000 | #Constraints: 15825
216.82/217.45 c #Conflicts: 187000 | #Constraints: 16825
216.82/217.45 c #Conflicts: 188000 | #Constraints: 17825
216.82/217.45 c #Conflicts: 189000 | #Constraints: 18825
216.82/217.45 c INPROCESSING
216.82/217.45 c GARBAGE COLLECT
216.82/217.45 c #Conflicts: 190000 | #Constraints: 11223
216.82/217.45 c #Conflicts: 191000 | #Constraints: 12223
216.82/217.45 c #Conflicts: 192000 | #Constraints: 13223
216.82/217.45 c #Conflicts: 193000 | #Constraints: 14223
216.82/217.45 c #Conflicts: 194000 | #Constraints: 15223
216.82/217.45 c #Conflicts: 195000 | #Constraints: 16223
216.82/217.45 c #Conflicts: 196000 | #Constraints: 17223
216.82/217.45 c #Conflicts: 197000 | #Constraints: 18223
216.82/217.45 c #Conflicts: 198000 | #Constraints: 19223
216.82/217.45 c INPROCESSING
216.82/217.45 c GARBAGE COLLECT
216.82/217.45 c #Conflicts: 199000 | #Constraints: 11442
216.82/217.45 c #Conflicts: 200000 | #Constraints: 12442
216.82/217.45 c #Conflicts: 201000 | #Constraints: 13442
216.82/217.45 c #Conflicts: 202000 | #Constraints: 14442
216.82/217.45 c #Conflicts: 203000 | #Constraints: 15442
216.82/217.45 c #Conflicts: 204000 | #Constraints: 16442
216.82/217.45 c #Conflicts: 205000 | #Constraints: 17442
216.82/217.45 c #Conflicts: 206000 | #Constraints: 18442
216.82/217.45 c #Conflicts: 207000 | #Constraints: 19442
216.82/217.45 c INPROCESSING
216.82/217.45 c GARBAGE COLLECT
216.82/217.45 c #Conflicts: 208000 | #Constraints: 11434
216.82/217.45 c #Conflicts: 209000 | #Constraints: 12434
216.82/217.45 c #Conflicts: 210000 | #Constraints: 13434
216.82/217.45 c #Conflicts: 211000 | #Constraints: 14434
216.82/217.45 c #Conflicts: 212000 | #Constraints: 15434
216.82/217.45 c GLOBAL bounds - >= 1665526546175 @ 210.292
216.82/217.47 c GLOBAL bounds - >= 1665526546175 @ 210.307
216.82/217.49 c GLOBAL bounds - >= 1665526546175 @ 210.32
216.82/217.49 c GLOBAL bounds - >= 1665526546175 @ 210.321
216.93/217.52 c GLOBAL bounds - >= 1665526546175 @ 210.33
216.93/217.52 c GLOBAL bounds - >= 1665526546175 @ 210.331
216.93/217.54 c GLOBAL bounds - >= 1665526546175 @ 210.341
216.93/217.54 c GLOBAL bounds - >= 1665526546175 @ 210.342
216.93/217.57 c GLOBAL bounds - >= 1665526546175 @ 210.355
216.93/217.57 c GLOBAL bounds - >= 1665526546175 @ 210.356
216.93/217.59 c GLOBAL bounds - >= 1665526546175 @ 210.369
217.03/217.60 c GLOBAL bounds - >= 1665526546175 @ 210.37
217.03/217.62 c GLOBAL bounds - >= 1665526546175 @ 210.382
217.03/217.62 c GLOBAL bounds - >= 1665526546175 @ 210.382
217.03/217.65 c GLOBAL bounds - >= 1665526546175 @ 210.39
217.03/217.65 c GLOBAL bounds - >= 1665526546175 @ 210.393
217.03/217.67 c GLOBAL bounds - >= 1665526546175 @ 210.407
217.03/217.67 c GLOBAL bounds - >= 1665526546175 @ 210.41
217.12/217.70 c GLOBAL bounds - >= 1665526546175 @ 210.419
217.12/217.70 c GLOBAL bounds - >= 1665526546175 @ 210.422
217.12/217.72 c GLOBAL bounds - >= 1665526546175 @ 210.432
252.64/253.32 c #Conflicts: 213000 | #Constraints: 16473
252.64/253.32 c #Conflicts: 214000 | #Constraints: 17473
252.64/253.32 c #Conflicts: 215000 | #Constraints: 18473
252.64/253.32 c #Conflicts: 216000 | #Constraints: 19473
252.64/253.32 c INPROCESSING
252.64/253.32 c GARBAGE COLLECT
252.64/253.32 c #Conflicts: 217000 | #Constraints: 11268
252.64/253.32 c #Conflicts: 218000 | #Constraints: 12268
252.64/253.32 c #Conflicts: 219000 | #Constraints: 13268
252.64/253.32 c #Conflicts: 220000 | #Constraints: 14268
252.64/253.32 c #Conflicts: 221000 | #Constraints: 15268
252.64/253.32 c #Conflicts: 222000 | #Constraints: 16268
252.64/253.32 c #Conflicts: 223000 | #Constraints: 17268
252.64/253.32 c #Conflicts: 224000 | #Constraints: 18268
252.64/253.32 c #Conflicts: 225000 | #Constraints: 19268
252.64/253.32 c #Conflicts: 226000 | #Constraints: 20268
252.64/253.32 c INPROCESSING
252.64/253.32 c GARBAGE COLLECT
252.64/253.32 c #Conflicts: 227000 | #Constraints: 11881
252.64/253.32 c #Conflicts: 228000 | #Constraints: 12881
252.64/253.32 c #Conflicts: 229000 | #Constraints: 13881
252.64/253.32 c #Conflicts: 230000 | #Constraints: 14881
252.64/253.32 c #Conflicts: 231000 | #Constraints: 15881
252.64/253.32 c #Conflicts: 232000 | #Constraints: 16881
252.64/253.32 c #Conflicts: 233000 | #Constraints: 17881
252.64/253.32 c #Conflicts: 234000 | #Constraints: 18881
252.64/253.32 c #Conflicts: 235000 | #Constraints: 19881
252.64/253.32 c #Conflicts: 236000 | #Constraints: 20881
252.64/253.32 c INPROCESSING
252.64/253.32 c GARBAGE COLLECT
252.64/253.32 c #Conflicts: 237000 | #Constraints: 12270
252.64/253.32 c #Conflicts: 238000 | #Constraints: 13270
252.64/253.32 c #Conflicts: 239000 | #Constraints: 14270
252.64/253.32 c #Conflicts: 240000 | #Constraints: 15270
252.64/253.32 c #Conflicts: 241000 | #Constraints: 16270
252.64/253.32 c GLOBAL bounds - >= 1665711016425 @ 245.393
252.64/253.34 c GLOBAL bounds - >= 1665711016425 @ 245.407
252.64/253.36 c GLOBAL bounds - >= 1665711016425 @ 245.417
252.64/253.36 c GLOBAL bounds - >= 1665711016425 @ 245.419
252.64/253.39 c GLOBAL bounds - >= 1665711016425 @ 245.428
252.64/253.39 c GLOBAL bounds - >= 1665711016425 @ 245.43
252.74/253.41 c GLOBAL bounds - >= 1665711016425 @ 245.44
252.74/253.41 c GLOBAL bounds - >= 1665711016425 @ 245.441
252.74/253.44 c GLOBAL bounds - >= 1665711016425 @ 245.453
252.74/253.44 c GLOBAL bounds - >= 1665711016425 @ 245.455
252.74/253.46 c GLOBAL bounds - >= 1665711016425 @ 245.466
252.74/253.46 c GLOBAL bounds - >= 1665711016425 @ 245.469
252.74/253.49 c GLOBAL bounds - >= 1665711016425 @ 245.477
252.74/253.49 c GLOBAL bounds - >= 1665711016425 @ 245.479
252.84/253.51 c GLOBAL bounds - >= 1665711016425 @ 245.491
252.84/253.52 c GLOBAL bounds - >= 1665711016425 @ 245.493
252.84/253.54 c GLOBAL bounds - >= 1665711016425 @ 245.503
252.84/253.54 c GLOBAL bounds - >= 1665711016425 @ 245.505
252.84/253.56 c GLOBAL bounds - >= 1665711016425 @ 245.516
252.84/253.57 c GLOBAL bounds - >= 1665711016425 @ 245.517
252.84/253.59 c GLOBAL bounds - >= 1665711016425 @ 245.528
341.62/342.53 c #Conflicts: 242000 | #Constraints: 17309
341.62/342.53 c #Conflicts: 243000 | #Constraints: 18309
341.62/342.53 c #Conflicts: 244000 | #Constraints: 19309
341.62/342.53 c #Conflicts: 245000 | #Constraints: 20309
341.62/342.53 c #Conflicts: 246000 | #Constraints: 21309
341.62/342.53 c INPROCESSING
341.62/342.53 c GARBAGE COLLECT
341.62/342.53 c #Conflicts: 247000 | #Constraints: 12493
341.62/342.53 c #Conflicts: 248000 | #Constraints: 13493
341.62/342.53 c #Conflicts: 249000 | #Constraints: 14493
341.62/342.53 c #Conflicts: 250000 | #Constraints: 15493
341.62/342.53 c #Conflicts: 251000 | #Constraints: 16493
341.62/342.53 c #Conflicts: 252000 | #Constraints: 17493
341.62/342.53 c #Conflicts: 253000 | #Constraints: 18493
341.62/342.53 c #Conflicts: 254000 | #Constraints: 19493
341.62/342.53 c #Conflicts: 255000 | #Constraints: 20493
341.62/342.53 c #Conflicts: 256000 | #Constraints: 21493
341.62/342.53 c INPROCESSING
341.62/342.53 c GARBAGE COLLECT
341.62/342.53 c #Conflicts: 257000 | #Constraints: 12494
341.62/342.53 c #Conflicts: 258000 | #Constraints: 13494
341.62/342.53 c #Conflicts: 259000 | #Constraints: 14494
341.62/342.53 c #Conflicts: 260000 | #Constraints: 15494
341.62/342.53 c #Conflicts: 261000 | #Constraints: 16494
341.62/342.53 c #Conflicts: 262000 | #Constraints: 17494
341.62/342.53 c #Conflicts: 263000 | #Constraints: 18494
341.62/342.53 c #Conflicts: 264000 | #Constraints: 19494
341.62/342.53 c #Conflicts: 265000 | #Constraints: 20494
341.62/342.53 c #Conflicts: 266000 | #Constraints: 21494
341.62/342.53 c INPROCESSING
341.62/342.53 c GARBAGE COLLECT
341.62/342.53 c #Conflicts: 267000 | #Constraints: 12290
341.62/342.53 c #Conflicts: 268000 | #Constraints: 13290
341.62/342.53 c #Conflicts: 269000 | #Constraints: 14290
341.62/342.53 c #Conflicts: 270000 | #Constraints: 15290
341.62/342.53 c #Conflicts: 271000 | #Constraints: 16290
341.62/342.53 c #Conflicts: 272000 | #Constraints: 17290
341.62/342.53 c #Conflicts: 273000 | #Constraints: 18290
341.62/342.53 c #Conflicts: 274000 | #Constraints: 19290
341.62/342.53 c #Conflicts: 275000 | #Constraints: 20290
341.62/342.53 c #Conflicts: 276000 | #Constraints: 21290
341.62/342.53 c #Conflicts: 277000 | #Constraints: 22290
341.62/342.53 c INPROCESSING
341.62/342.53 c GARBAGE COLLECT
341.62/342.53 c #Conflicts: 278000 | #Constraints: 12890
341.62/342.53 c #Conflicts: 279000 | #Constraints: 13890
341.62/342.53 c #Conflicts: 280000 | #Constraints: 14890
341.62/342.53 c #Conflicts: 281000 | #Constraints: 15890
341.62/342.53 c #Conflicts: 282000 | #Constraints: 16890
341.62/342.53 c #Conflicts: 283000 | #Constraints: 17890
341.62/342.53 c #Conflicts: 284000 | #Constraints: 18890
341.62/342.53 c #Conflicts: 285000 | #Constraints: 19890
341.62/342.53 c #Conflicts: 286000 | #Constraints: 20890
341.62/342.53 c #Conflicts: 287000 | #Constraints: 21890
341.62/342.53 c #Conflicts: 288000 | #Constraints: 22890
341.62/342.53 c INPROCESSING
341.62/342.53 c GARBAGE COLLECT
341.62/342.53 c #Conflicts: 289000 | #Constraints: 13292
341.62/342.53 c #Conflicts: 290000 | #Constraints: 14292
341.62/342.53 c #Conflicts: 291000 | #Constraints: 15292
341.62/342.53 c #Conflicts: 292000 | #Constraints: 16292
341.62/342.53 c #Conflicts: 293000 | #Constraints: 17292
341.62/342.53 c #Conflicts: 294000 | #Constraints: 18292
341.62/342.53 c #Conflicts: 295000 | #Constraints: 19292
341.62/342.53 c #Conflicts: 296000 | #Constraints: 20292
341.62/342.53 c #Conflicts: 297000 | #Constraints: 21292
341.62/342.53 c #Conflicts: 298000 | #Constraints: 22292
341.62/342.53 c #Conflicts: 299000 | #Constraints: 23292
341.62/342.53 c INPROCESSING
341.62/342.53 c GARBAGE COLLECT
341.62/342.53 c #Conflicts: 300000 | #Constraints: 13491
341.62/342.53 c #Conflicts: 301000 | #Constraints: 14491
341.62/342.53 c #Conflicts: 302000 | #Constraints: 15491
341.62/342.53 c #Conflicts: 303000 | #Constraints: 16491
341.62/342.53 c #Conflicts: 304000 | #Constraints: 17491
341.62/342.53 c #Conflicts: 305000 | #Constraints: 18491
341.62/342.53 c #Conflicts: 306000 | #Constraints: 19491
341.62/342.53 c #Conflicts: 307000 | #Constraints: 20491
341.62/342.53 c #Conflicts: 308000 | #Constraints: 21491
341.62/342.53 c #Conflicts: 309000 | #Constraints: 22491
341.62/342.53 c #Conflicts: 310000 | #Constraints: 23491
341.62/342.53 c INPROCESSING
341.62/342.53 c GARBAGE COLLECT
341.62/342.53 c #Conflicts: 311000 | #Constraints: 13489
341.62/342.53 c #Conflicts: 312000 | #Constraints: 14489
341.62/342.53 c #Conflicts: 313000 | #Constraints: 15489
341.62/342.53 c #Conflicts: 314000 | #Constraints: 16489
341.62/342.53 c #Conflicts: 315000 | #Constraints: 17489
341.62/342.53 c #Conflicts: 316000 | #Constraints: 18489
363.37/364.31 c #Conflicts: 317000 | #Constraints: 19489
363.37/364.31 c #Conflicts: 318000 | #Constraints: 20489
363.37/364.31 c #Conflicts: 319000 | #Constraints: 21489
363.37/364.31 c #Conflicts: 320000 | #Constraints: 22489
363.37/364.31 c #Conflicts: 321000 | #Constraints: 23489
363.37/364.31 c INPROCESSING
363.37/364.31 c GARBAGE COLLECT
363.37/364.31 c #Conflicts: 322000 | #Constraints: 13290
363.37/364.31 c #Conflicts: 323000 | #Constraints: 14290
363.37/364.31 c #Conflicts: 324000 | #Constraints: 15290
363.37/364.31 c #Conflicts: 325000 | #Constraints: 16290
363.37/364.31 c #Conflicts: 326000 | #Constraints: 17290
363.37/364.31 c #Conflicts: 327000 | #Constraints: 18290
363.37/364.31 c #Conflicts: 328000 | #Constraints: 19290
363.37/364.31 c #Conflicts: 329000 | #Constraints: 20290
363.37/364.31 c #Conflicts: 330000 | #Constraints: 21290
363.37/364.31 c GLOBAL bounds - >= 1665895486675 @ 354.316
363.37/364.33 c GLOBAL bounds - >= 1665895486675 @ 354.332
363.37/364.35 c GLOBAL bounds - >= 1665895486675 @ 354.35
363.37/364.35 c GLOBAL bounds - >= 1665895486675 @ 354.352
363.37/364.38 c GLOBAL bounds - >= 1665895486675 @ 354.363
363.37/364.38 c GLOBAL bounds - >= 1665895486675 @ 354.365
363.47/364.41 c GLOBAL bounds - >= 1665895486675 @ 354.379
363.47/364.41 c GLOBAL bounds - >= 1665895486675 @ 354.379
363.47/364.44 c GLOBAL bounds - >= 1665895486675 @ 354.391
363.47/364.44 c GLOBAL bounds - >= 1665895486675 @ 354.394
363.47/364.47 c GLOBAL bounds - >= 1665895486675 @ 354.407
363.47/364.47 c GLOBAL bounds - >= 1665895486675 @ 354.408
363.47/364.49 c GLOBAL bounds - >= 1665895486675 @ 354.425
363.56/364.50 c GLOBAL bounds - >= 1665895486675 @ 354.427
363.56/364.52 c GLOBAL bounds - >= 1665895486675 @ 354.44
363.56/364.53 c GLOBAL bounds - >= 1665895486675 @ 354.442
363.56/364.55 c GLOBAL bounds - >= 1665895486675 @ 354.456
363.56/364.55 c GLOBAL bounds - >= 1665895486675 @ 354.459
363.56/364.58 c GLOBAL bounds - >= 1665895486675 @ 354.472
363.56/364.58 c GLOBAL bounds - >= 1665895486675 @ 354.475
363.67/364.61 c GLOBAL bounds - >= 1665895486675 @ 354.49
446.76/448.00 c #Conflicts: 331000 | #Constraints: 22329
446.76/448.00 c #Conflicts: 332000 | #Constraints: 23329
446.76/448.00 c #Conflicts: 333000 | #Constraints: 24329
446.76/448.00 c INPROCESSING
446.76/448.00 c GARBAGE COLLECT
446.76/448.00 c #Conflicts: 334000 | #Constraints: 13937
446.76/448.00 c #Conflicts: 335000 | #Constraints: 14937
446.76/448.00 c #Conflicts: 336000 | #Constraints: 15937
446.76/448.00 c #Conflicts: 337000 | #Constraints: 16937
446.76/448.00 c #Conflicts: 338000 | #Constraints: 17937
446.76/448.00 c #Conflicts: 339000 | #Constraints: 18937
446.76/448.00 c #Conflicts: 340000 | #Constraints: 19937
446.76/448.00 c #Conflicts: 341000 | #Constraints: 20937
446.76/448.00 c #Conflicts: 342000 | #Constraints: 21937
446.76/448.00 c #Conflicts: 343000 | #Constraints: 22937
446.76/448.00 c #Conflicts: 344000 | #Constraints: 23937
446.76/448.00 c #Conflicts: 345000 | #Constraints: 24937
446.76/448.00 c INPROCESSING
446.76/448.00 c GARBAGE COLLECT
446.76/448.00 c #Conflicts: 346000 | #Constraints: 14325
446.76/448.00 c #Conflicts: 347000 | #Constraints: 15325
446.76/448.00 c #Conflicts: 348000 | #Constraints: 16325
446.76/448.00 c #Conflicts: 349000 | #Constraints: 17325
446.76/448.00 c #Conflicts: 350000 | #Constraints: 18325
446.76/448.00 c #Conflicts: 351000 | #Constraints: 19325
446.76/448.00 c #Conflicts: 352000 | #Constraints: 20325
446.76/448.00 c #Conflicts: 353000 | #Constraints: 21325
446.76/448.00 c #Conflicts: 354000 | #Constraints: 22325
446.76/448.00 c #Conflicts: 355000 | #Constraints: 23325
446.76/448.00 c #Conflicts: 356000 | #Constraints: 24325
446.76/448.00 c #Conflicts: 357000 | #Constraints: 25325
446.76/448.00 c INPROCESSING
446.76/448.00 c GARBAGE COLLECT
446.76/448.00 c #Conflicts: 358000 | #Constraints: 14521
446.76/448.00 c #Conflicts: 359000 | #Constraints: 15521
446.76/448.00 c #Conflicts: 360000 | #Constraints: 16521
446.76/448.00 c #Conflicts: 361000 | #Constraints: 17521
446.76/448.00 c #Conflicts: 362000 | #Constraints: 18521
446.76/448.00 c #Conflicts: 363000 | #Constraints: 19521
446.76/448.00 c #Conflicts: 364000 | #Constraints: 20521
446.76/448.00 c #Conflicts: 365000 | #Constraints: 21521
446.76/448.00 c #Conflicts: 366000 | #Constraints: 22521
446.76/448.00 c #Conflicts: 367000 | #Constraints: 23521
446.76/448.00 c #Conflicts: 368000 | #Constraints: 24521
446.76/448.00 c #Conflicts: 369000 | #Constraints: 25521
446.76/448.00 c INPROCESSING
446.76/448.00 c GARBAGE COLLECT
446.76/448.00 c #Conflicts: 370000 | #Constraints: 14518
446.76/448.00 c #Conflicts: 371000 | #Constraints: 15518
446.76/448.00 c #Conflicts: 372000 | #Constraints: 16518
446.76/448.00 c #Conflicts: 373000 | #Constraints: 17518
446.76/448.00 c #Conflicts: 374000 | #Constraints: 18518
446.76/448.00 c #Conflicts: 375000 | #Constraints: 19518
446.76/448.00 c #Conflicts: 376000 | #Constraints: 20518
446.76/448.00 c #Conflicts: 377000 | #Constraints: 21518
446.76/448.00 c #Conflicts: 378000 | #Constraints: 22518
446.76/448.00 c #Conflicts: 379000 | #Constraints: 23518
446.76/448.00 c #Conflicts: 380000 | #Constraints: 24518
446.76/448.00 c GLOBAL bounds - >= 1666079956925 @ 436.508
446.87/448.02 c GLOBAL bounds - >= 1666079956925 @ 436.525
446.87/448.04 c GLOBAL bounds - >= 1666079956925 @ 436.536
446.87/448.04 c GLOBAL bounds - >= 1666079956925 @ 436.539
446.87/448.07 c GLOBAL bounds - >= 1666079956925 @ 436.549
446.87/448.07 c GLOBAL bounds - >= 1666079956925 @ 436.55
446.87/448.10 c GLOBAL bounds - >= 1666079956925 @ 436.564
446.96/448.10 c GLOBAL bounds - >= 1666079956925 @ 436.566
446.96/448.13 c GLOBAL bounds - >= 1666079956925 @ 436.577
446.96/448.13 c GLOBAL bounds - >= 1666079956925 @ 436.579
446.96/448.16 c GLOBAL bounds - >= 1666079956925 @ 436.595
446.96/448.16 c GLOBAL bounds - >= 1666079956925 @ 436.597
446.96/448.19 c GLOBAL bounds - >= 1666079956925 @ 436.61
446.96/448.19 c GLOBAL bounds - >= 1666079956925 @ 436.612
447.06/448.21 c GLOBAL bounds - >= 1666079956925 @ 436.625
447.06/448.22 c GLOBAL bounds - >= 1666079956925 @ 436.628
447.06/448.24 c GLOBAL bounds - >= 1666079956925 @ 436.639
447.06/448.25 c GLOBAL bounds - >= 1666079956925 @ 436.64
447.06/448.27 c GLOBAL bounds - >= 1666079956925 @ 436.653
447.06/448.27 c GLOBAL bounds - >= 1666079956925 @ 436.656
447.16/448.30 c GLOBAL bounds - >= 1666079956925 @ 436.668
515.49/516.81 c #Conflicts: 381000 | #Constraints: 25557
515.49/516.81 c INPROCESSING
515.49/516.81 c GARBAGE COLLECT
515.49/516.81 c #Conflicts: 382000 | #Constraints: 14351
515.49/516.81 c #Conflicts: 383000 | #Constraints: 15351
515.49/516.81 c #Conflicts: 384000 | #Constraints: 16351
515.49/516.81 c #Conflicts: 385000 | #Constraints: 17351
515.49/516.81 c #Conflicts: 386000 | #Constraints: 18351
515.49/516.81 c #Conflicts: 387000 | #Constraints: 19351
515.49/516.81 c #Conflicts: 388000 | #Constraints: 20351
515.49/516.81 c #Conflicts: 389000 | #Constraints: 21351
515.49/516.81 c #Conflicts: 390000 | #Constraints: 22351
515.49/516.81 c #Conflicts: 391000 | #Constraints: 23351
515.49/516.81 c #Conflicts: 392000 | #Constraints: 24351
515.49/516.81 c #Conflicts: 393000 | #Constraints: 25351
515.49/516.81 c #Conflicts: 394000 | #Constraints: 26351
515.49/516.81 c INPROCESSING
515.49/516.81 c GARBAGE COLLECT
515.49/516.81 c #Conflicts: 395000 | #Constraints: 14947
515.49/516.81 c #Conflicts: 396000 | #Constraints: 15947
515.49/516.81 c #Conflicts: 397000 | #Constraints: 16947
515.49/516.81 c #Conflicts: 398000 | #Constraints: 17947
515.49/516.81 c #Conflicts: 399000 | #Constraints: 18947
515.49/516.81 c #Conflicts: 400000 | #Constraints: 19947
515.49/516.81 c #Conflicts: 401000 | #Constraints: 20947
515.49/516.81 c #Conflicts: 402000 | #Constraints: 21947
515.49/516.81 c #Conflicts: 403000 | #Constraints: 22947
515.49/516.81 c #Conflicts: 404000 | #Constraints: 23947
515.49/516.81 c #Conflicts: 405000 | #Constraints: 24947
515.49/516.81 c #Conflicts: 406000 | #Constraints: 25947
515.49/516.81 c #Conflicts: 407000 | #Constraints: 26947
515.49/516.81 c INPROCESSING
515.49/516.81 c GARBAGE COLLECT
515.49/516.81 c #Conflicts: 408000 | #Constraints: 15346
515.49/516.81 c #Conflicts: 409000 | #Constraints: 16346
515.49/516.81 c #Conflicts: 410000 | #Constraints: 17346
515.49/516.81 c #Conflicts: 411000 | #Constraints: 18346
515.49/516.81 c #Conflicts: 412000 | #Constraints: 19346
515.49/516.81 c #Conflicts: 413000 | #Constraints: 20346
515.49/516.81 c #Conflicts: 414000 | #Constraints: 21346
515.49/516.81 c #Conflicts: 415000 | #Constraints: 22346
515.49/516.81 c #Conflicts: 416000 | #Constraints: 23346
515.49/516.81 c #Conflicts: 417000 | #Constraints: 24346
515.49/516.81 c #Conflicts: 418000 | #Constraints: 25346
515.49/516.81 c #Conflicts: 419000 | #Constraints: 26346
515.49/516.81 c #Conflicts: 420000 | #Constraints: 27346
515.49/516.81 c INPROCESSING
515.49/516.81 c GARBAGE COLLECT
515.49/516.81 c #Conflicts: 421000 | #Constraints: 15557
515.49/516.81 c #Conflicts: 422000 | #Constraints: 16557
515.49/516.81 c #Conflicts: 423000 | #Constraints: 17557
515.49/516.81 c #Conflicts: 424000 | #Constraints: 18557
515.49/516.81 c GLOBAL bounds - >= 1666264427175 @ 504.041
515.49/516.83 c GLOBAL bounds - >= 1666264427175 @ 504.056
515.49/516.85 c GLOBAL bounds - >= 1666264427175 @ 504.068
515.49/516.85 c GLOBAL bounds - >= 1666264427175 @ 504.071
515.49/516.88 c GLOBAL bounds - >= 1666264427175 @ 504.082
515.49/516.88 c GLOBAL bounds - >= 1666264427175 @ 504.084
515.58/516.90 c GLOBAL bounds - >= 1666264427175 @ 504.093
515.58/516.91 c GLOBAL bounds - >= 1666264427175 @ 504.095
515.58/516.93 c GLOBAL bounds - >= 1666264427175 @ 504.109
515.58/516.93 c GLOBAL bounds - >= 1666264427175 @ 504.112
515.58/516.96 c GLOBAL bounds - >= 1666264427175 @ 504.122
515.58/516.96 c GLOBAL bounds - >= 1666264427175 @ 504.125
515.58/516.99 c GLOBAL bounds - >= 1666264427175 @ 504.141
515.58/516.99 c GLOBAL bounds - >= 1666264427175 @ 504.142
515.69/517.01 c GLOBAL bounds - >= 1666264427175 @ 504.154
515.69/517.02 c GLOBAL bounds - >= 1666264427175 @ 504.156
515.69/517.04 c GLOBAL bounds - >= 1666264427175 @ 504.167
515.69/517.04 c GLOBAL bounds - >= 1666264427175 @ 504.168
515.69/517.07 c GLOBAL bounds - >= 1666264427175 @ 504.178
515.69/517.07 c GLOBAL bounds - >= 1666264427175 @ 504.181
515.69/517.09 c GLOBAL bounds - >= 1666264427175 @ 504.19
562.27/563.79 c #Conflicts: 425000 | #Constraints: 19596
562.27/563.79 c #Conflicts: 426000 | #Constraints: 20596
562.27/563.79 c #Conflicts: 427000 | #Constraints: 21596
562.27/563.79 c #Conflicts: 428000 | #Constraints: 22596
562.27/563.79 c #Conflicts: 429000 | #Constraints: 23596
562.27/563.79 c #Conflicts: 430000 | #Constraints: 24596
562.27/563.79 c #Conflicts: 431000 | #Constraints: 25596
562.27/563.79 c #Conflicts: 432000 | #Constraints: 26596
562.27/563.79 c #Conflicts: 433000 | #Constraints: 27596
562.27/563.79 c INPROCESSING
562.27/563.79 c GARBAGE COLLECT
562.27/563.79 c #Conflicts: 434000 | #Constraints: 15588
562.27/563.79 c #Conflicts: 435000 | #Constraints: 16588
562.27/563.79 c #Conflicts: 436000 | #Constraints: 17588
562.27/563.79 c #Conflicts: 437000 | #Constraints: 18588
562.27/563.79 c #Conflicts: 438000 | #Constraints: 19588
562.27/563.79 c #Conflicts: 439000 | #Constraints: 20588
562.27/563.79 c #Conflicts: 440000 | #Constraints: 21588
562.27/563.79 c #Conflicts: 441000 | #Constraints: 22588
562.27/563.79 c #Conflicts: 442000 | #Constraints: 23588
562.27/563.79 c #Conflicts: 443000 | #Constraints: 24588
562.27/563.79 c #Conflicts: 444000 | #Constraints: 25588
562.27/563.79 c #Conflicts: 445000 | #Constraints: 26588
562.27/563.79 c #Conflicts: 446000 | #Constraints: 27588
562.27/563.79 c INPROCESSING
562.27/563.79 c GARBAGE COLLECT
562.27/563.79 c #Conflicts: 447000 | #Constraints: 15377
562.27/563.79 c #Conflicts: 448000 | #Constraints: 16377
562.27/563.79 c #Conflicts: 449000 | #Constraints: 17377
562.27/563.79 c #Conflicts: 450000 | #Constraints: 18377
562.27/563.79 c #Conflicts: 451000 | #Constraints: 19377
562.27/563.79 c #Conflicts: 452000 | #Constraints: 20377
562.27/563.79 c #Conflicts: 453000 | #Constraints: 21377
562.27/563.79 c #Conflicts: 454000 | #Constraints: 22377
562.27/563.79 c #Conflicts: 455000 | #Constraints: 23377
562.27/563.79 c GLOBAL bounds - >= 1666448897425 @ 550.232
562.37/563.81 c GLOBAL bounds - >= 1666448897425 @ 550.247
562.37/563.84 c GLOBAL bounds - >= 1666448897425 @ 550.259
562.37/563.84 c GLOBAL bounds - >= 1666448897425 @ 550.261
562.37/563.86 c GLOBAL bounds - >= 1666448897425 @ 550.272
562.37/563.87 c GLOBAL bounds - >= 1666448897425 @ 550.275
562.37/563.89 c GLOBAL bounds - >= 1666448897425 @ 550.288
562.37/563.89 c GLOBAL bounds - >= 1666448897425 @ 550.29
562.47/563.92 c GLOBAL bounds - >= 1666448897425 @ 550.306
562.47/563.92 c GLOBAL bounds - >= 1666448897425 @ 550.309
562.47/563.95 c GLOBAL bounds - >= 1666448897425 @ 550.322
562.47/563.95 c GLOBAL bounds - >= 1666448897425 @ 550.324
562.47/563.97 c GLOBAL bounds - >= 1666448897425 @ 550.34
562.47/563.98 c GLOBAL bounds - >= 1666448897425 @ 550.342
562.58/564.00 c GLOBAL bounds - >= 1666448897425 @ 550.354
562.58/564.01 c GLOBAL bounds - >= 1666448897425 @ 550.355
562.58/564.03 c GLOBAL bounds - >= 1666448897425 @ 550.367
562.58/564.03 c GLOBAL bounds - >= 1666448897425 @ 550.369
562.58/564.06 c GLOBAL bounds - >= 1666448897425 @ 550.383
562.58/564.06 c GLOBAL bounds - >= 1666448897425 @ 550.385
562.58/564.09 c GLOBAL bounds - >= 1666448897425 @ 550.395
639.38/641.09 c #Conflicts: 456000 | #Constraints: 24416
639.38/641.09 c #Conflicts: 457000 | #Constraints: 25416
639.38/641.09 c #Conflicts: 458000 | #Constraints: 26416
639.38/641.09 c #Conflicts: 459000 | #Constraints: 27416
639.38/641.09 c #Conflicts: 460000 | #Constraints: 28416
639.38/641.09 c INPROCESSING
639.38/641.09 c GARBAGE COLLECT
639.38/641.09 c #Conflicts: 461000 | #Constraints: 16015
639.38/641.09 c #Conflicts: 462000 | #Constraints: 17015
639.38/641.09 c #Conflicts: 463000 | #Constraints: 18015
639.38/641.09 c #Conflicts: 464000 | #Constraints: 19015
639.38/641.09 c #Conflicts: 465000 | #Constraints: 20015
639.38/641.09 c #Conflicts: 466000 | #Constraints: 21015
639.38/641.09 c #Conflicts: 467000 | #Constraints: 22015
639.38/641.09 c #Conflicts: 468000 | #Constraints: 23015
639.38/641.09 c #Conflicts: 469000 | #Constraints: 24015
639.38/641.09 c #Conflicts: 470000 | #Constraints: 25015
639.38/641.09 c #Conflicts: 471000 | #Constraints: 26015
639.38/641.09 c #Conflicts: 472000 | #Constraints: 27015
639.38/641.09 c #Conflicts: 473000 | #Constraints: 28015
639.38/641.09 c #Conflicts: 474000 | #Constraints: 29015
639.38/641.09 c INPROCESSING
639.38/641.09 c GARBAGE COLLECT
639.38/641.09 c #Conflicts: 475000 | #Constraints: 16423
639.38/641.09 c #Conflicts: 476000 | #Constraints: 17423
639.38/641.09 c #Conflicts: 477000 | #Constraints: 18423
639.38/641.09 c #Conflicts: 478000 | #Constraints: 19423
639.38/641.09 c #Conflicts: 479000 | #Constraints: 20423
639.38/641.09 c #Conflicts: 480000 | #Constraints: 21423
639.38/641.09 c #Conflicts: 481000 | #Constraints: 22423
639.38/641.09 c #Conflicts: 482000 | #Constraints: 23423
639.38/641.09 c #Conflicts: 483000 | #Constraints: 24423
639.38/641.09 c #Conflicts: 484000 | #Constraints: 25423
639.38/641.09 c #Conflicts: 485000 | #Constraints: 26423
639.38/641.09 c #Conflicts: 486000 | #Constraints: 27423
639.38/641.09 c #Conflicts: 487000 | #Constraints: 28423
639.38/641.09 c #Conflicts: 488000 | #Constraints: 29423
639.38/641.09 c INPROCESSING
639.38/641.09 c GARBAGE COLLECT
639.38/641.09 c #Conflicts: 489000 | #Constraints: 16615
639.38/641.09 c #Conflicts: 490000 | #Constraints: 17615
639.38/641.09 c #Conflicts: 491000 | #Constraints: 18615
639.38/641.09 c #Conflicts: 492000 | #Constraints: 19615
639.38/641.09 c #Conflicts: 493000 | #Constraints: 20615
639.38/641.09 c #Conflicts: 494000 | #Constraints: 21615
639.38/641.09 c #Conflicts: 495000 | #Constraints: 22615
639.38/641.09 c #Conflicts: 496000 | #Constraints: 23615
639.38/641.09 c #Conflicts: 497000 | #Constraints: 24615
639.38/641.09 c #Conflicts: 498000 | #Constraints: 25615
639.38/641.09 c #Conflicts: 499000 | #Constraints: 26615
639.38/641.09 c GLOBAL bounds - >= 1666633367675 @ 626.113
639.49/641.11 c GLOBAL bounds - >= 1666633367675 @ 626.13
639.49/641.14 c GLOBAL bounds - >= 1666633367675 @ 626.145
639.49/641.14 c GLOBAL bounds - >= 1666633367675 @ 626.148
639.49/641.17 c GLOBAL bounds - >= 1666633367675 @ 626.169
639.49/641.17 c GLOBAL bounds - >= 1666633367675 @ 626.17
639.58/641.20 c GLOBAL bounds - >= 1666633367675 @ 626.186
639.58/641.20 c GLOBAL bounds - >= 1666633367675 @ 626.187
639.58/641.23 c GLOBAL bounds - >= 1666633367675 @ 626.202
639.58/641.23 c GLOBAL bounds - >= 1666633367675 @ 626.204
639.58/641.26 c GLOBAL bounds - >= 1666633367675 @ 626.225
639.58/641.26 c GLOBAL bounds - >= 1666633367675 @ 626.227
639.58/641.29 c GLOBAL bounds - >= 1666633367675 @ 626.246
639.58/641.29 c GLOBAL bounds - >= 1666633367675 @ 626.249
639.68/641.32 c GLOBAL bounds - >= 1666633367675 @ 626.263
639.68/641.32 c GLOBAL bounds - >= 1666633367675 @ 626.265
639.68/641.35 c GLOBAL bounds - >= 1666633367675 @ 626.277
639.68/641.35 c GLOBAL bounds - >= 1666633367675 @ 626.279
639.68/641.38 c GLOBAL bounds - >= 1666633367675 @ 626.292
639.68/641.39 c GLOBAL bounds - >= 1666633367675 @ 626.296
639.78/641.41 c GLOBAL bounds - >= 1666633367675 @ 626.313
648.66/650.39 c #Conflicts: 500000 | #Constraints: 27645
648.66/650.39 c #Conflicts: 501000 | #Constraints: 28645
648.66/650.39 c #Conflicts: 502000 | #Constraints: 29645
648.66/650.39 c INPROCESSING
648.66/650.39 c GARBAGE COLLECT
648.66/650.39 c #Conflicts: 503000 | #Constraints: 16648
648.66/650.39 c #Conflicts: 504000 | #Constraints: 17648
648.66/650.39 c #Conflicts: 505000 | #Constraints: 18648
648.66/650.39 c #Conflicts: 506000 | #Constraints: 19648
648.66/650.39 c #Conflicts: 507000 | #Constraints: 20648
648.66/650.39 c #Conflicts: 508000 | #Constraints: 21648
648.66/650.39 c GLOBAL bounds - >= 1666633367675 @ 635.204
651.45/653.10 c #Conflicts: 509000 | #Constraints: 22648
651.45/653.10 c #Conflicts: 510000 | #Constraints: 23648
651.45/653.10 c #Conflicts: 511000 | #Constraints: 24648
651.45/653.10 c GLOBAL bounds - >= 1666633367675 @ 637.876
652.05/653.72 c #Conflicts: 512000 | #Constraints: 25651
652.05/653.72 c GLOBAL bounds - >= 1666633367675 @ 638.481
652.14/653.80 c GLOBAL bounds - >= 1666633367675 @ 638.543
652.35/654.04 c GLOBAL bounds - >= 1666633367675 @ 638.77
739.92/741.81 c #Conflicts: 513000 | #Constraints: 26657
739.92/741.81 c #Conflicts: 514000 | #Constraints: 27657
739.92/741.81 c #Conflicts: 515000 | #Constraints: 28657
739.92/741.81 c #Conflicts: 516000 | #Constraints: 29657
739.92/741.81 c INPROCESSING
739.92/741.81 c GARBAGE COLLECT
739.92/741.81 c #Conflicts: 517000 | #Constraints: 16450
739.92/741.81 c #Conflicts: 518000 | #Constraints: 17450
739.92/741.81 c #Conflicts: 519000 | #Constraints: 18450
739.92/741.81 c #Conflicts: 520000 | #Constraints: 19450
739.92/741.81 c #Conflicts: 521000 | #Constraints: 20450
739.92/741.81 c #Conflicts: 522000 | #Constraints: 21450
739.92/741.81 c #Conflicts: 523000 | #Constraints: 22450
739.92/741.81 c #Conflicts: 524000 | #Constraints: 23450
739.92/741.81 c #Conflicts: 525000 | #Constraints: 24450
739.92/741.81 c #Conflicts: 526000 | #Constraints: 25450
739.92/741.81 c #Conflicts: 527000 | #Constraints: 26450
739.92/741.81 c #Conflicts: 528000 | #Constraints: 27450
739.92/741.81 c #Conflicts: 529000 | #Constraints: 28450
739.92/741.81 c #Conflicts: 530000 | #Constraints: 29450
739.92/741.81 c #Conflicts: 531000 | #Constraints: 30450
739.92/741.81 c INPROCESSING
739.92/741.81 c GARBAGE COLLECT
739.92/741.81 c #Conflicts: 532000 | #Constraints: 17051
739.92/741.81 c #Conflicts: 533000 | #Constraints: 18051
739.92/741.81 c #Conflicts: 534000 | #Constraints: 19051
739.92/741.81 c #Conflicts: 535000 | #Constraints: 20051
739.92/741.81 c #Conflicts: 536000 | #Constraints: 21051
739.92/741.81 c #Conflicts: 537000 | #Constraints: 22051
739.92/741.81 c #Conflicts: 538000 | #Constraints: 23051
739.92/741.81 c #Conflicts: 539000 | #Constraints: 24051
739.92/741.81 c #Conflicts: 540000 | #Constraints: 25051
739.92/741.81 c #Conflicts: 541000 | #Constraints: 26051
739.92/741.81 c #Conflicts: 542000 | #Constraints: 27051
739.92/741.81 c #Conflicts: 543000 | #Constraints: 28051
739.92/741.81 c #Conflicts: 544000 | #Constraints: 29051
739.92/741.81 c #Conflicts: 545000 | #Constraints: 30051
739.92/741.81 c #Conflicts: 546000 | #Constraints: 31051
739.92/741.81 c INPROCESSING
739.92/741.81 c GARBAGE COLLECT
739.92/741.81 c #Conflicts: 547000 | #Constraints: 17451
739.92/741.81 c #Conflicts: 548000 | #Constraints: 18451
739.92/741.81 c #Conflicts: 549000 | #Constraints: 19451
739.92/741.81 c #Conflicts: 550000 | #Constraints: 20451
739.92/741.81 c #Conflicts: 551000 | #Constraints: 21451
739.92/741.81 c #Conflicts: 552000 | #Constraints: 22451
739.92/741.81 c #Conflicts: 553000 | #Constraints: 23451
739.92/741.81 c #Conflicts: 554000 | #Constraints: 24451
739.92/741.81 c #Conflicts: 555000 | #Constraints: 25451
739.92/741.81 c #Conflicts: 556000 | #Constraints: 26451
739.92/741.81 c #Conflicts: 557000 | #Constraints: 27451
739.92/741.81 c #Conflicts: 558000 | #Constraints: 28451
739.92/741.81 c #Conflicts: 559000 | #Constraints: 29451
739.92/741.81 c #Conflicts: 560000 | #Constraints: 30451
739.92/741.81 c #Conflicts: 561000 | #Constraints: 31451
739.92/741.81 c INPROCESSING
739.92/741.81 c GARBAGE COLLECT
739.92/741.81 c #Conflicts: 562000 | #Constraints: 17650
739.92/741.81 c #Conflicts: 563000 | #Constraints: 18650
739.92/741.81 c #Conflicts: 564000 | #Constraints: 19650
739.92/741.81 c #Conflicts: 565000 | #Constraints: 20650
739.92/741.81 c #Conflicts: 566000 | #Constraints: 21650
739.92/741.81 c #Conflicts: 567000 | #Constraints: 22650
739.92/741.81 c #Conflicts: 568000 | #Constraints: 23650
739.92/741.81 c #Conflicts: 569000 | #Constraints: 24650
739.92/741.81 c #Conflicts: 570000 | #Constraints: 25650
739.92/741.81 c #Conflicts: 571000 | #Constraints: 26650
739.92/741.81 c #Conflicts: 572000 | #Constraints: 27650
739.92/741.81 c #Conflicts: 573000 | #Constraints: 28650
739.92/741.81 c #Conflicts: 574000 | #Constraints: 29650
739.92/741.81 c #Conflicts: 575000 | #Constraints: 30650
739.92/741.81 c #Conflicts: 576000 | #Constraints: 31650
739.92/741.81 c INPROCESSING
739.92/741.81 c GARBAGE COLLECT
739.92/741.81 c #Conflicts: 577000 | #Constraints: 17646
739.92/741.81 c #Conflicts: 578000 | #Constraints: 18646
739.92/741.81 c #Conflicts: 579000 | #Constraints: 19646
739.92/741.81 c #Conflicts: 580000 | #Constraints: 20646
739.92/741.81 c #Conflicts: 581000 | #Constraints: 21646
739.92/741.81 c #Conflicts: 582000 | #Constraints: 22646
739.92/741.81 c #Conflicts: 583000 | #Constraints: 23646
739.92/741.81 c #Conflicts: 584000 | #Constraints: 24646
739.92/741.81 c #Conflicts: 585000 | #Constraints: 25646
739.92/741.81 c #Conflicts: 586000 | #Constraints: 26646
739.92/741.81 c #Conflicts: 587000 | #Constraints: 27646
739.92/741.81 c #Conflicts: 588000 | #Constraints: 28646
826.81/828.96 c #Conflicts: 589000 | #Constraints: 29646
826.81/828.96 c #Conflicts: 590000 | #Constraints: 30646
826.81/828.96 c #Conflicts: 591000 | #Constraints: 31646
826.81/828.96 c INPROCESSING
826.81/828.96 c GARBAGE COLLECT
826.81/828.96 c #Conflicts: 592000 | #Constraints: 17457
826.81/828.96 c #Conflicts: 593000 | #Constraints: 18457
826.81/828.96 c #Conflicts: 594000 | #Constraints: 19457
826.81/828.96 c #Conflicts: 595000 | #Constraints: 20457
826.81/828.96 c #Conflicts: 596000 | #Constraints: 21457
826.81/828.96 c #Conflicts: 597000 | #Constraints: 22457
826.81/828.96 c #Conflicts: 598000 | #Constraints: 23457
826.81/828.96 c #Conflicts: 599000 | #Constraints: 24457
826.81/828.96 c #Conflicts: 600000 | #Constraints: 25457
826.81/828.96 c #Conflicts: 601000 | #Constraints: 26457
826.81/828.96 c #Conflicts: 602000 | #Constraints: 27457
826.81/828.96 c #Conflicts: 603000 | #Constraints: 28457
826.81/828.96 c #Conflicts: 604000 | #Constraints: 29457
826.81/828.96 c #Conflicts: 605000 | #Constraints: 30457
826.81/828.96 c #Conflicts: 606000 | #Constraints: 31457
826.81/828.96 c #Conflicts: 607000 | #Constraints: 32457
826.81/828.96 c INPROCESSING
826.81/828.96 c GARBAGE COLLECT
826.81/828.96 c #Conflicts: 608000 | #Constraints: 18065
826.81/828.96 c #Conflicts: 609000 | #Constraints: 19065
826.81/828.96 c #Conflicts: 610000 | #Constraints: 20065
826.81/828.96 c #Conflicts: 611000 | #Constraints: 21065
826.81/828.96 c #Conflicts: 612000 | #Constraints: 22065
826.81/828.96 c #Conflicts: 613000 | #Constraints: 23065
826.81/828.96 c #Conflicts: 614000 | #Constraints: 24065
826.81/828.96 c #Conflicts: 615000 | #Constraints: 25065
826.81/828.96 c #Conflicts: 616000 | #Constraints: 26065
826.81/828.96 c #Conflicts: 617000 | #Constraints: 27065
826.81/828.96 c #Conflicts: 618000 | #Constraints: 28065
826.81/828.96 c #Conflicts: 619000 | #Constraints: 29065
826.81/828.96 c #Conflicts: 620000 | #Constraints: 30065
826.81/828.96 c #Conflicts: 621000 | #Constraints: 31065
826.81/828.96 c #Conflicts: 622000 | #Constraints: 32065
826.81/828.96 c #Conflicts: 623000 | #Constraints: 33065
826.81/828.96 c INPROCESSING
826.81/828.96 c GARBAGE COLLECT
826.81/828.96 c #Conflicts: 624000 | #Constraints: 18450
826.81/828.96 c #Conflicts: 625000 | #Constraints: 19450
826.81/828.96 c #Conflicts: 626000 | #Constraints: 20450
826.81/828.96 c #Conflicts: 627000 | #Constraints: 21450
826.81/828.96 c #Conflicts: 628000 | #Constraints: 22450
826.81/828.96 c #Conflicts: 629000 | #Constraints: 23450
826.81/828.96 c #Conflicts: 630000 | #Constraints: 24450
826.81/828.96 c #Conflicts: 631000 | #Constraints: 25450
826.81/828.96 c #Conflicts: 632000 | #Constraints: 26450
826.81/828.96 c #Conflicts: 633000 | #Constraints: 27450
826.81/828.96 c #Conflicts: 634000 | #Constraints: 28450
826.81/828.96 c #Conflicts: 635000 | #Constraints: 29450
826.81/828.96 c #Conflicts: 636000 | #Constraints: 30450
826.81/828.96 c #Conflicts: 637000 | #Constraints: 31450
826.81/828.96 c #Conflicts: 638000 | #Constraints: 32450
826.81/828.96 c #Conflicts: 639000 | #Constraints: 33450
826.81/828.96 c INPROCESSING
826.81/828.96 c GARBAGE COLLECT
826.81/828.96 c #Conflicts: 640000 | #Constraints: 18652
826.81/828.96 c #Conflicts: 641000 | #Constraints: 19652
826.81/828.96 c #Conflicts: 642000 | #Constraints: 20652
826.81/828.96 c #Conflicts: 643000 | #Constraints: 21652
826.81/828.96 c #Conflicts: 644000 | #Constraints: 22652
826.81/828.96 c #Conflicts: 645000 | #Constraints: 23652
826.81/828.96 c #Conflicts: 646000 | #Constraints: 24652
826.81/828.96 c #Conflicts: 647000 | #Constraints: 25652
826.81/828.96 c #Conflicts: 648000 | #Constraints: 26652
826.81/828.96 c #Conflicts: 649000 | #Constraints: 27652
826.81/828.96 c #Conflicts: 650000 | #Constraints: 28652
826.81/828.96 c #Conflicts: 651000 | #Constraints: 29652
826.81/828.96 c #Conflicts: 652000 | #Constraints: 30652
826.81/828.96 c #Conflicts: 653000 | #Constraints: 31652
826.81/828.96 c #Conflicts: 654000 | #Constraints: 32652
826.81/828.96 c #Conflicts: 655000 | #Constraints: 33652
826.81/828.96 c INPROCESSING
826.81/828.96 c GARBAGE COLLECT
826.81/828.96 c #Conflicts: 656000 | #Constraints: 18647
826.81/828.96 c #Conflicts: 657000 | #Constraints: 19647
826.81/828.96 c #Conflicts: 658000 | #Constraints: 20647
826.81/828.96 c #Conflicts: 659000 | #Constraints: 21647
826.81/828.96 c #Conflicts: 660000 | #Constraints: 22647
826.81/828.96 c #Conflicts: 661000 | #Constraints: 23647
826.81/828.96 c #Conflicts: 662000 | #Constraints: 24647
826.81/828.96 c #Conflicts: 663000 | #Constraints: 25647
826.81/828.96 c #Conflicts: 664000 | #Constraints: 26647
925.66/928.04 c #Conflicts: 665000 | #Constraints: 27647
925.66/928.04 c #Conflicts: 666000 | #Constraints: 28647
925.66/928.04 c #Conflicts: 667000 | #Constraints: 29647
925.66/928.04 c #Conflicts: 668000 | #Constraints: 30647
925.66/928.04 c #Conflicts: 669000 | #Constraints: 31647
925.66/928.04 c #Conflicts: 670000 | #Constraints: 32647
925.66/928.04 c #Conflicts: 671000 | #Constraints: 33647
925.66/928.04 c INPROCESSING
925.66/928.04 c GARBAGE COLLECT
925.66/928.04 c #Conflicts: 672000 | #Constraints: 18456
925.66/928.04 c #Conflicts: 673000 | #Constraints: 19456
925.66/928.04 c #Conflicts: 674000 | #Constraints: 20456
925.66/928.04 c #Conflicts: 675000 | #Constraints: 21456
925.66/928.04 c #Conflicts: 676000 | #Constraints: 22456
925.66/928.04 c #Conflicts: 677000 | #Constraints: 23456
925.66/928.04 c #Conflicts: 678000 | #Constraints: 24456
925.66/928.04 c #Conflicts: 679000 | #Constraints: 25456
925.66/928.04 c #Conflicts: 680000 | #Constraints: 26456
925.66/928.04 c #Conflicts: 681000 | #Constraints: 27456
925.66/928.04 c #Conflicts: 682000 | #Constraints: 28456
925.66/928.04 c #Conflicts: 683000 | #Constraints: 29456
925.66/928.04 c #Conflicts: 684000 | #Constraints: 30456
925.66/928.04 c #Conflicts: 685000 | #Constraints: 31456
925.66/928.04 c #Conflicts: 686000 | #Constraints: 32456
925.66/928.04 c #Conflicts: 687000 | #Constraints: 33456
925.66/928.04 c #Conflicts: 688000 | #Constraints: 34456
925.66/928.04 c INPROCESSING
925.66/928.04 c GARBAGE COLLECT
925.66/928.04 c #Conflicts: 689000 | #Constraints: 19059
925.66/928.04 c #Conflicts: 690000 | #Constraints: 20059
925.66/928.04 c #Conflicts: 691000 | #Constraints: 21059
925.66/928.04 c #Conflicts: 692000 | #Constraints: 22059
925.66/928.04 c #Conflicts: 693000 | #Constraints: 23059
925.66/928.04 c #Conflicts: 694000 | #Constraints: 24059
925.66/928.04 c #Conflicts: 695000 | #Constraints: 25059
925.66/928.04 c #Conflicts: 696000 | #Constraints: 26059
925.66/928.04 c #Conflicts: 697000 | #Constraints: 27059
925.66/928.04 c #Conflicts: 698000 | #Constraints: 28059
925.66/928.04 c #Conflicts: 699000 | #Constraints: 29059
925.66/928.04 c #Conflicts: 700000 | #Constraints: 30059
925.66/928.04 c #Conflicts: 701000 | #Constraints: 31059
925.66/928.04 c #Conflicts: 702000 | #Constraints: 32059
925.66/928.04 c #Conflicts: 703000 | #Constraints: 33059
925.66/928.04 c #Conflicts: 704000 | #Constraints: 34059
925.66/928.04 c #Conflicts: 705000 | #Constraints: 35059
925.66/928.04 c INPROCESSING
925.66/928.04 c GARBAGE COLLECT
925.66/928.04 c #Conflicts: 706000 | #Constraints: 19457
925.66/928.04 c #Conflicts: 707000 | #Constraints: 20457
925.66/928.04 c #Conflicts: 708000 | #Constraints: 21457
925.66/928.04 c #Conflicts: 709000 | #Constraints: 22457
925.66/928.04 c #Conflicts: 710000 | #Constraints: 23457
925.66/928.04 c #Conflicts: 711000 | #Constraints: 24457
925.66/928.04 c #Conflicts: 712000 | #Constraints: 25457
925.66/928.04 c #Conflicts: 713000 | #Constraints: 26457
925.66/928.04 c #Conflicts: 714000 | #Constraints: 27457
925.66/928.04 c #Conflicts: 715000 | #Constraints: 28457
925.66/928.04 c #Conflicts: 716000 | #Constraints: 29457
925.66/928.04 c #Conflicts: 717000 | #Constraints: 30457
925.66/928.04 c #Conflicts: 718000 | #Constraints: 31457
925.66/928.04 c #Conflicts: 719000 | #Constraints: 32457
925.66/928.04 c #Conflicts: 720000 | #Constraints: 33457
925.66/928.04 c #Conflicts: 721000 | #Constraints: 34457
925.66/928.04 c #Conflicts: 722000 | #Constraints: 35457
925.66/928.04 c INPROCESSING
925.66/928.04 c GARBAGE COLLECT
925.66/928.04 c #Conflicts: 723000 | #Constraints: 19659
925.66/928.04 c #Conflicts: 724000 | #Constraints: 20659
925.66/928.04 c #Conflicts: 725000 | #Constraints: 21659
925.66/928.04 c #Conflicts: 726000 | #Constraints: 22659
925.66/928.04 c #Conflicts: 727000 | #Constraints: 23659
925.66/928.04 c #Conflicts: 728000 | #Constraints: 24659
925.66/928.04 c #Conflicts: 729000 | #Constraints: 25659
925.66/928.04 c #Conflicts: 730000 | #Constraints: 26659
925.66/928.04 c #Conflicts: 731000 | #Constraints: 27659
925.66/928.04 c #Conflicts: 732000 | #Constraints: 28659
925.66/928.04 c #Conflicts: 733000 | #Constraints: 29659
925.66/928.04 c #Conflicts: 734000 | #Constraints: 30659
925.66/928.04 c #Conflicts: 735000 | #Constraints: 31659
925.66/928.04 c #Conflicts: 736000 | #Constraints: 32659
925.66/928.04 c #Conflicts: 737000 | #Constraints: 33659
925.66/928.04 c #Conflicts: 738000 | #Constraints: 34659
925.66/928.04 c #Conflicts: 739000 | #Constraints: 35659
925.66/928.04 c INPROCESSING
925.66/928.04 c GARBAGE COLLECT
1033.88/1036.55 c #Conflicts: 740000 | #Constraints: 19662
1033.88/1036.55 c #Conflicts: 741000 | #Constraints: 20662
1033.88/1036.55 c #Conflicts: 742000 | #Constraints: 21662
1033.88/1036.55 c #Conflicts: 743000 | #Constraints: 22662
1033.88/1036.55 c #Conflicts: 744000 | #Constraints: 23662
1033.88/1036.55 c #Conflicts: 745000 | #Constraints: 24662
1033.88/1036.55 c #Conflicts: 746000 | #Constraints: 25662
1033.88/1036.55 c #Conflicts: 747000 | #Constraints: 26662
1033.88/1036.55 c #Conflicts: 748000 | #Constraints: 27662
1033.88/1036.55 c #Conflicts: 749000 | #Constraints: 28662
1033.88/1036.55 c #Conflicts: 750000 | #Constraints: 29662
1033.88/1036.55 c #Conflicts: 751000 | #Constraints: 30662
1033.88/1036.55 c #Conflicts: 752000 | #Constraints: 31662
1033.88/1036.55 c #Conflicts: 753000 | #Constraints: 32662
1033.88/1036.55 c #Conflicts: 754000 | #Constraints: 33662
1033.88/1036.55 c #Conflicts: 755000 | #Constraints: 34662
1033.88/1036.55 c #Conflicts: 756000 | #Constraints: 35662
1033.88/1036.55 c INPROCESSING
1033.88/1036.55 c GARBAGE COLLECT
1033.88/1036.55 c #Conflicts: 757000 | #Constraints: 19450
1033.88/1036.55 c #Conflicts: 758000 | #Constraints: 20450
1033.88/1036.55 c #Conflicts: 759000 | #Constraints: 21450
1033.88/1036.55 c #Conflicts: 760000 | #Constraints: 22450
1033.88/1036.55 c #Conflicts: 761000 | #Constraints: 23450
1033.88/1036.55 c #Conflicts: 762000 | #Constraints: 24450
1033.88/1036.55 c #Conflicts: 763000 | #Constraints: 25450
1033.88/1036.55 c #Conflicts: 764000 | #Constraints: 26450
1033.88/1036.55 c #Conflicts: 765000 | #Constraints: 27450
1033.88/1036.55 c #Conflicts: 766000 | #Constraints: 28450
1033.88/1036.55 c #Conflicts: 767000 | #Constraints: 29450
1033.88/1036.55 c #Conflicts: 768000 | #Constraints: 30450
1033.88/1036.55 c #Conflicts: 769000 | #Constraints: 31450
1033.88/1036.55 c #Conflicts: 770000 | #Constraints: 32450
1033.88/1036.55 c #Conflicts: 771000 | #Constraints: 33450
1033.88/1036.55 c #Conflicts: 772000 | #Constraints: 34450
1033.88/1036.55 c #Conflicts: 773000 | #Constraints: 35450
1033.88/1036.55 c #Conflicts: 774000 | #Constraints: 36450
1033.88/1036.55 c INPROCESSING
1033.88/1036.55 c GARBAGE COLLECT
1033.88/1036.55 c #Conflicts: 775000 | #Constraints: 20062
1033.88/1036.55 c #Conflicts: 776000 | #Constraints: 21062
1033.88/1036.55 c #Conflicts: 777000 | #Constraints: 22062
1033.88/1036.55 c #Conflicts: 778000 | #Constraints: 23062
1033.88/1036.55 c #Conflicts: 779000 | #Constraints: 24062
1033.88/1036.55 c #Conflicts: 780000 | #Constraints: 25062
1033.88/1036.55 c #Conflicts: 781000 | #Constraints: 26062
1033.88/1036.55 c #Conflicts: 782000 | #Constraints: 27062
1033.88/1036.55 c #Conflicts: 783000 | #Constraints: 28062
1033.88/1036.55 c #Conflicts: 784000 | #Constraints: 29062
1033.88/1036.55 c #Conflicts: 785000 | #Constraints: 30062
1033.88/1036.55 c #Conflicts: 786000 | #Constraints: 31062
1033.88/1036.55 c #Conflicts: 787000 | #Constraints: 32062
1033.88/1036.55 c #Conflicts: 788000 | #Constraints: 33062
1033.88/1036.55 c #Conflicts: 789000 | #Constraints: 34062
1033.88/1036.55 c #Conflicts: 790000 | #Constraints: 35062
1033.88/1036.55 c #Conflicts: 791000 | #Constraints: 36062
1033.88/1036.55 c #Conflicts: 792000 | #Constraints: 37062
1033.88/1036.55 c INPROCESSING
1033.88/1036.55 c GARBAGE COLLECT
1033.88/1036.55 c #Conflicts: 793000 | #Constraints: 20464
1033.88/1036.55 c #Conflicts: 794000 | #Constraints: 21464
1033.88/1036.55 c #Conflicts: 795000 | #Constraints: 22464
1033.88/1036.55 c #Conflicts: 796000 | #Constraints: 23464
1033.88/1036.55 c #Conflicts: 797000 | #Constraints: 24464
1033.88/1036.55 c #Conflicts: 798000 | #Constraints: 25464
1033.88/1036.55 c #Conflicts: 799000 | #Constraints: 26464
1033.88/1036.55 c #Conflicts: 800000 | #Constraints: 27464
1033.88/1036.55 c #Conflicts: 801000 | #Constraints: 28464
1033.88/1036.55 c #Conflicts: 802000 | #Constraints: 29464
1033.88/1036.55 c #Conflicts: 803000 | #Constraints: 30464
1033.88/1036.55 c #Conflicts: 804000 | #Constraints: 31464
1033.88/1036.55 c #Conflicts: 805000 | #Constraints: 32464
1033.88/1036.55 c #Conflicts: 806000 | #Constraints: 33464
1033.88/1036.55 c #Conflicts: 807000 | #Constraints: 34464
1033.88/1036.55 c #Conflicts: 808000 | #Constraints: 35464
1033.88/1036.55 c #Conflicts: 809000 | #Constraints: 36464
1033.88/1036.55 c #Conflicts: 810000 | #Constraints: 37464
1033.88/1036.55 c INPROCESSING
1033.88/1036.55 c GARBAGE COLLECT
1033.88/1036.55 c #Conflicts: 811000 | #Constraints: 20646
1033.88/1036.55 c #Conflicts: 812000 | #Constraints: 21646
1033.88/1036.55 c #Conflicts: 813000 | #Constraints: 22646
1033.88/1036.55 c #Conflicts: 814000 | #Constraints: 23646
1033.88/1036.55 c #Conflicts: 815000 | #Constraints: 24646
1033.88/1036.55 c #Conflicts: 816000 | #Constraints: 25646
1167.64/1170.67 c #Conflicts: 817000 | #Constraints: 26646
1167.64/1170.67 c #Conflicts: 818000 | #Constraints: 27646
1167.64/1170.67 c #Conflicts: 819000 | #Constraints: 28646
1167.64/1170.67 c #Conflicts: 820000 | #Constraints: 29646
1167.64/1170.67 c #Conflicts: 821000 | #Constraints: 30646
1167.64/1170.67 c #Conflicts: 822000 | #Constraints: 31646
1167.64/1170.67 c #Conflicts: 823000 | #Constraints: 32646
1167.64/1170.67 c #Conflicts: 824000 | #Constraints: 33646
1167.64/1170.67 c #Conflicts: 825000 | #Constraints: 34646
1167.64/1170.67 c #Conflicts: 826000 | #Constraints: 35646
1167.64/1170.67 c #Conflicts: 827000 | #Constraints: 36646
1167.64/1170.67 c #Conflicts: 828000 | #Constraints: 37646
1167.64/1170.67 c INPROCESSING
1167.64/1170.67 c GARBAGE COLLECT
1167.64/1170.67 c #Conflicts: 829000 | #Constraints: 20640
1167.64/1170.67 c #Conflicts: 830000 | #Constraints: 21640
1167.64/1170.67 c #Conflicts: 831000 | #Constraints: 22640
1167.64/1170.67 c #Conflicts: 832000 | #Constraints: 23640
1167.64/1170.67 c #Conflicts: 833000 | #Constraints: 24640
1167.64/1170.67 c #Conflicts: 834000 | #Constraints: 25640
1167.64/1170.67 c #Conflicts: 835000 | #Constraints: 26640
1167.64/1170.67 c #Conflicts: 836000 | #Constraints: 27640
1167.64/1170.67 c #Conflicts: 837000 | #Constraints: 28640
1167.64/1170.67 c #Conflicts: 838000 | #Constraints: 29640
1167.64/1170.67 c #Conflicts: 839000 | #Constraints: 30640
1167.64/1170.67 c #Conflicts: 840000 | #Constraints: 31640
1167.64/1170.67 c #Conflicts: 841000 | #Constraints: 32640
1167.64/1170.67 c #Conflicts: 842000 | #Constraints: 33640
1167.64/1170.67 c #Conflicts: 843000 | #Constraints: 34640
1167.64/1170.67 c #Conflicts: 844000 | #Constraints: 35640
1167.64/1170.67 c #Conflicts: 845000 | #Constraints: 36640
1167.64/1170.67 c #Conflicts: 846000 | #Constraints: 37640
1167.64/1170.67 c INPROCESSING
1167.64/1170.67 c GARBAGE COLLECT
1167.64/1170.67 c #Conflicts: 847000 | #Constraints: 20446
1167.64/1170.67 c #Conflicts: 848000 | #Constraints: 21446
1167.64/1170.67 c #Conflicts: 849000 | #Constraints: 22446
1167.64/1170.67 c #Conflicts: 850000 | #Constraints: 23446
1167.64/1170.67 c #Conflicts: 851000 | #Constraints: 24446
1167.64/1170.67 c #Conflicts: 852000 | #Constraints: 25446
1167.64/1170.67 c #Conflicts: 853000 | #Constraints: 26446
1167.64/1170.67 c #Conflicts: 854000 | #Constraints: 27446
1167.64/1170.67 c #Conflicts: 855000 | #Constraints: 28446
1167.64/1170.67 c #Conflicts: 856000 | #Constraints: 29446
1167.64/1170.67 c #Conflicts: 857000 | #Constraints: 30446
1167.64/1170.67 c #Conflicts: 858000 | #Constraints: 31446
1167.64/1170.67 c #Conflicts: 859000 | #Constraints: 32446
1167.64/1170.67 c #Conflicts: 860000 | #Constraints: 33446
1167.64/1170.67 c #Conflicts: 861000 | #Constraints: 34446
1167.64/1170.67 c #Conflicts: 862000 | #Constraints: 35446
1167.64/1170.67 c #Conflicts: 863000 | #Constraints: 36446
1167.64/1170.67 c #Conflicts: 864000 | #Constraints: 37446
1167.64/1170.67 c #Conflicts: 865000 | #Constraints: 38446
1167.64/1170.67 c INPROCESSING
1167.64/1170.67 c GARBAGE COLLECT
1167.64/1170.67 c #Conflicts: 866000 | #Constraints: 21044
1167.64/1170.67 c #Conflicts: 867000 | #Constraints: 22044
1167.64/1170.67 c #Conflicts: 868000 | #Constraints: 23044
1167.64/1170.67 c #Conflicts: 869000 | #Constraints: 24044
1167.64/1170.67 c #Conflicts: 870000 | #Constraints: 25044
1167.64/1170.67 c #Conflicts: 871000 | #Constraints: 26044
1167.64/1170.67 c #Conflicts: 872000 | #Constraints: 27044
1167.64/1170.67 c #Conflicts: 873000 | #Constraints: 28044
1167.64/1170.67 c #Conflicts: 874000 | #Constraints: 29044
1167.64/1170.67 c #Conflicts: 875000 | #Constraints: 30044
1167.64/1170.67 c #Conflicts: 876000 | #Constraints: 31044
1167.64/1170.67 c #Conflicts: 877000 | #Constraints: 32044
1167.64/1170.67 c #Conflicts: 878000 | #Constraints: 33044
1167.64/1170.67 c #Conflicts: 879000 | #Constraints: 34044
1167.64/1170.67 c #Conflicts: 880000 | #Constraints: 35044
1167.64/1170.67 c #Conflicts: 881000 | #Constraints: 36044
1167.64/1170.67 c #Conflicts: 882000 | #Constraints: 37044
1167.64/1170.67 c #Conflicts: 883000 | #Constraints: 38044
1167.64/1170.67 c #Conflicts: 884000 | #Constraints: 39044
1167.64/1170.67 c INPROCESSING
1167.64/1170.67 c GARBAGE COLLECT
1167.64/1170.67 c #Conflicts: 885000 | #Constraints: 21449
1167.64/1170.67 c #Conflicts: 886000 | #Constraints: 22449
1167.64/1170.67 c #Conflicts: 887000 | #Constraints: 23449
1167.64/1170.67 c #Conflicts: 888000 | #Constraints: 24449
1167.64/1170.67 c #Conflicts: 889000 | #Constraints: 25449
1167.64/1170.67 c #Conflicts: 890000 | #Constraints: 26449
1167.64/1170.67 c #Conflicts: 891000 | #Constraints: 27449
1167.64/1170.67 c #Conflicts: 892000 | #Constraints: 28449
1299.50/1302.83 c #Conflicts: 893000 | #Constraints: 29449
1299.50/1302.83 c #Conflicts: 894000 | #Constraints: 30449
1299.50/1302.83 c #Conflicts: 895000 | #Constraints: 31449
1299.50/1302.83 c #Conflicts: 896000 | #Constraints: 32449
1299.50/1302.83 c #Conflicts: 897000 | #Constraints: 33449
1299.50/1302.83 c #Conflicts: 898000 | #Constraints: 34449
1299.50/1302.83 c #Conflicts: 899000 | #Constraints: 35449
1299.50/1302.83 c #Conflicts: 900000 | #Constraints: 36449
1299.50/1302.83 c #Conflicts: 901000 | #Constraints: 37449
1299.50/1302.83 c #Conflicts: 902000 | #Constraints: 38449
1299.50/1302.83 c #Conflicts: 903000 | #Constraints: 39449
1299.50/1302.83 c INPROCESSING
1299.50/1302.83 c GARBAGE COLLECT
1299.50/1302.83 c #Conflicts: 904000 | #Constraints: 21645
1299.50/1302.83 c #Conflicts: 905000 | #Constraints: 22645
1299.50/1302.83 c #Conflicts: 906000 | #Constraints: 23645
1299.50/1302.83 c #Conflicts: 907000 | #Constraints: 24645
1299.50/1302.83 c #Conflicts: 908000 | #Constraints: 25645
1299.50/1302.83 c #Conflicts: 909000 | #Constraints: 26645
1299.50/1302.83 c #Conflicts: 910000 | #Constraints: 27645
1299.50/1302.83 c #Conflicts: 911000 | #Constraints: 28645
1299.50/1302.83 c #Conflicts: 912000 | #Constraints: 29645
1299.50/1302.83 c #Conflicts: 913000 | #Constraints: 30645
1299.50/1302.83 c #Conflicts: 914000 | #Constraints: 31645
1299.50/1302.83 c #Conflicts: 915000 | #Constraints: 32645
1299.50/1302.83 c #Conflicts: 916000 | #Constraints: 33645
1299.50/1302.83 c #Conflicts: 917000 | #Constraints: 34645
1299.50/1302.83 c #Conflicts: 918000 | #Constraints: 35645
1299.50/1302.83 c #Conflicts: 919000 | #Constraints: 36645
1299.50/1302.83 c #Conflicts: 920000 | #Constraints: 37645
1299.50/1302.83 c #Conflicts: 921000 | #Constraints: 38645
1299.50/1302.83 c #Conflicts: 922000 | #Constraints: 39645
1299.50/1302.83 c INPROCESSING
1299.50/1302.83 c GARBAGE COLLECT
1299.50/1302.83 c #Conflicts: 923000 | #Constraints: 21652
1299.50/1302.83 c #Conflicts: 924000 | #Constraints: 22652
1299.50/1302.83 c #Conflicts: 925000 | #Constraints: 23652
1299.50/1302.83 c #Conflicts: 926000 | #Constraints: 24652
1299.50/1302.83 c #Conflicts: 927000 | #Constraints: 25652
1299.50/1302.83 c #Conflicts: 928000 | #Constraints: 26652
1299.50/1302.83 c #Conflicts: 929000 | #Constraints: 27652
1299.50/1302.83 c #Conflicts: 930000 | #Constraints: 28652
1299.50/1302.83 c #Conflicts: 931000 | #Constraints: 29652
1299.50/1302.83 c #Conflicts: 932000 | #Constraints: 30652
1299.50/1302.83 c #Conflicts: 933000 | #Constraints: 31652
1299.50/1302.83 c #Conflicts: 934000 | #Constraints: 32652
1299.50/1302.83 c #Conflicts: 935000 | #Constraints: 33652
1299.50/1302.83 c #Conflicts: 936000 | #Constraints: 34652
1299.50/1302.83 c #Conflicts: 937000 | #Constraints: 35652
1299.50/1302.83 c #Conflicts: 938000 | #Constraints: 36652
1299.50/1302.83 c #Conflicts: 939000 | #Constraints: 37652
1299.50/1302.83 c #Conflicts: 940000 | #Constraints: 38652
1299.50/1302.83 c #Conflicts: 941000 | #Constraints: 39652
1299.50/1302.83 c INPROCESSING
1299.50/1302.83 c GARBAGE COLLECT
1299.50/1302.83 c #Conflicts: 942000 | #Constraints: 21453
1299.50/1302.83 c #Conflicts: 943000 | #Constraints: 22453
1299.50/1302.83 c #Conflicts: 944000 | #Constraints: 23453
1299.50/1302.83 c #Conflicts: 945000 | #Constraints: 24453
1299.50/1302.83 c #Conflicts: 946000 | #Constraints: 25453
1299.50/1302.83 c #Conflicts: 947000 | #Constraints: 26453
1299.50/1302.83 c #Conflicts: 948000 | #Constraints: 27453
1299.50/1302.83 c #Conflicts: 949000 | #Constraints: 28453
1299.50/1302.83 c #Conflicts: 950000 | #Constraints: 29453
1299.50/1302.83 c #Conflicts: 951000 | #Constraints: 30453
1299.50/1302.83 c #Conflicts: 952000 | #Constraints: 31453
1299.50/1302.83 c #Conflicts: 953000 | #Constraints: 32453
1299.50/1302.83 c #Conflicts: 954000 | #Constraints: 33453
1299.50/1302.83 c #Conflicts: 955000 | #Constraints: 34453
1299.50/1302.83 c #Conflicts: 956000 | #Constraints: 35453
1299.50/1302.83 c #Conflicts: 957000 | #Constraints: 36453
1299.50/1302.83 c #Conflicts: 958000 | #Constraints: 37453
1299.50/1302.83 c #Conflicts: 959000 | #Constraints: 38453
1299.50/1302.83 c #Conflicts: 960000 | #Constraints: 39453
1299.50/1302.83 c #Conflicts: 961000 | #Constraints: 40453
1299.50/1302.83 c INPROCESSING
1299.50/1302.83 c GARBAGE COLLECT
1299.50/1302.83 c #Conflicts: 962000 | #Constraints: 22048
1299.50/1302.83 c #Conflicts: 963000 | #Constraints: 23048
1299.50/1302.83 c #Conflicts: 964000 | #Constraints: 24048
1299.50/1302.83 c #Conflicts: 965000 | #Constraints: 25048
1299.50/1302.83 c #Conflicts: 966000 | #Constraints: 26048
1299.50/1302.83 c #Conflicts: 967000 | #Constraints: 27048
1299.50/1302.83 c #Conflicts: 968000 | #Constraints: 28048
1404.55/1408.12 c #Conflicts: 969000 | #Constraints: 29048
1404.55/1408.12 c #Conflicts: 970000 | #Constraints: 30048
1404.55/1408.12 c #Conflicts: 971000 | #Constraints: 31048
1404.55/1408.12 c #Conflicts: 972000 | #Constraints: 32048
1404.55/1408.12 c #Conflicts: 973000 | #Constraints: 33048
1404.55/1408.12 c #Conflicts: 974000 | #Constraints: 34048
1404.55/1408.12 c #Conflicts: 975000 | #Constraints: 35048
1404.55/1408.12 c #Conflicts: 976000 | #Constraints: 36048
1404.55/1408.12 c #Conflicts: 977000 | #Constraints: 37048
1404.55/1408.12 c #Conflicts: 978000 | #Constraints: 38048
1404.55/1408.12 c #Conflicts: 979000 | #Constraints: 39048
1404.55/1408.12 c #Conflicts: 980000 | #Constraints: 40048
1404.55/1408.12 c #Conflicts: 981000 | #Constraints: 41048
1404.55/1408.12 c INPROCESSING
1404.55/1408.12 c GARBAGE COLLECT
1404.55/1408.12 c #Conflicts: 982000 | #Constraints: 22464
1404.55/1408.12 c #Conflicts: 983000 | #Constraints: 23464
1404.55/1408.12 c #Conflicts: 984000 | #Constraints: 24464
1404.55/1408.12 c #Conflicts: 985000 | #Constraints: 25464
1404.55/1408.12 c #Conflicts: 986000 | #Constraints: 26464
1404.55/1408.12 c #Conflicts: 987000 | #Constraints: 27464
1404.55/1408.12 c #Conflicts: 988000 | #Constraints: 28464
1404.55/1408.12 c #Conflicts: 989000 | #Constraints: 29464
1404.55/1408.12 c #Conflicts: 990000 | #Constraints: 30464
1404.55/1408.12 c #Conflicts: 991000 | #Constraints: 31464
1404.55/1408.12 c #Conflicts: 992000 | #Constraints: 32464
1404.55/1408.12 c #Conflicts: 993000 | #Constraints: 33464
1404.55/1408.12 c #Conflicts: 994000 | #Constraints: 34464
1404.55/1408.12 c #Conflicts: 995000 | #Constraints: 35464
1404.55/1408.12 c #Conflicts: 996000 | #Constraints: 36464
1404.55/1408.12 c #Conflicts: 997000 | #Constraints: 37464
1404.55/1408.12 c #Conflicts: 998000 | #Constraints: 38464
1404.55/1408.12 c #Conflicts: 999000 | #Constraints: 39464
1404.55/1408.12 c #Conflicts: 1000000 | #Constraints: 40464
1404.55/1408.12 c #Conflicts: 1001000 | #Constraints: 41464
1404.55/1408.12 c INPROCESSING
1404.55/1408.12 c GARBAGE COLLECT
1404.55/1408.12 c #Conflicts: 1002000 | #Constraints: 22666
1404.55/1408.12 c #Conflicts: 1003000 | #Constraints: 23666
1404.55/1408.12 c #Conflicts: 1004000 | #Constraints: 24666
1404.55/1408.12 c #Conflicts: 1005000 | #Constraints: 25666
1404.55/1408.12 c #Conflicts: 1006000 | #Constraints: 26666
1404.55/1408.13 c #Conflicts: 1007000 | #Constraints: 27666
1404.55/1408.13 c #Conflicts: 1008000 | #Constraints: 28666
1404.55/1408.13 c #Conflicts: 1009000 | #Constraints: 29666
1404.55/1408.13 c #Conflicts: 1010000 | #Constraints: 30666
1404.55/1408.13 c #Conflicts: 1011000 | #Constraints: 31666
1404.55/1408.13 c #Conflicts: 1012000 | #Constraints: 32666
1404.55/1408.13 c #Conflicts: 1013000 | #Constraints: 33666
1404.55/1408.13 c #Conflicts: 1014000 | #Constraints: 34666
1404.55/1408.13 c #Conflicts: 1015000 | #Constraints: 35666
1404.55/1408.13 c #Conflicts: 1016000 | #Constraints: 36666
1404.55/1408.13 c #Conflicts: 1017000 | #Constraints: 37666
1404.55/1408.13 c #Conflicts: 1018000 | #Constraints: 38666
1404.55/1408.13 c #Conflicts: 1019000 | #Constraints: 39666
1404.55/1408.13 c #Conflicts: 1020000 | #Constraints: 40666
1404.55/1408.13 c #Conflicts: 1021000 | #Constraints: 41666
1404.55/1408.13 c INPROCESSING
1404.55/1408.13 c GARBAGE COLLECT
1404.55/1408.13 c #Conflicts: 1022000 | #Constraints: 22662
1404.55/1408.13 c #Conflicts: 1023000 | #Constraints: 23662
1404.55/1408.13 c #Conflicts: 1024000 | #Constraints: 24662
1404.55/1408.13 c #Conflicts: 1025000 | #Constraints: 25662
1404.55/1408.13 c #Conflicts: 1026000 | #Constraints: 26662
1404.55/1408.13 c #Conflicts: 1027000 | #Constraints: 27662
1404.55/1408.13 c #Conflicts: 1028000 | #Constraints: 28662
1404.55/1408.13 c #Conflicts: 1029000 | #Constraints: 29662
1404.55/1408.13 c #Conflicts: 1030000 | #Constraints: 30662
1404.55/1408.13 c #Conflicts: 1031000 | #Constraints: 31662
1404.55/1408.13 c #Conflicts: 1032000 | #Constraints: 32662
1404.55/1408.13 c #Conflicts: 1033000 | #Constraints: 33662
1404.55/1408.13 c #Conflicts: 1034000 | #Constraints: 34662
1404.55/1408.13 c #Conflicts: 1035000 | #Constraints: 35662
1404.55/1408.13 c #Conflicts: 1036000 | #Constraints: 36662
1404.55/1408.13 c #Conflicts: 1037000 | #Constraints: 37662
1404.55/1408.13 c #Conflicts: 1038000 | #Constraints: 38662
1404.55/1408.13 c #Conflicts: 1039000 | #Constraints: 39662
1404.55/1408.13 c #Conflicts: 1040000 | #Constraints: 40662
1404.55/1408.13 c #Conflicts: 1041000 | #Constraints: 41662
1404.55/1408.13 c INPROCESSING
1404.55/1408.13 c GARBAGE COLLECT
1404.55/1408.13 c #Conflicts: 1042000 | #Constraints: 22473
1404.55/1408.13 c #Conflicts: 1043000 | #Constraints: 23473
1404.55/1408.13 c #Conflicts: 1044000 | #Constraints: 24473
1569.62/1573.65 c #Conflicts: 1045000 | #Constraints: 25473
1569.62/1573.65 c #Conflicts: 1046000 | #Constraints: 26473
1569.62/1573.65 c #Conflicts: 1047000 | #Constraints: 27473
1569.62/1573.65 c #Conflicts: 1048000 | #Constraints: 28473
1569.62/1573.65 c #Conflicts: 1049000 | #Constraints: 29473
1569.62/1573.65 c #Conflicts: 1050000 | #Constraints: 30473
1569.62/1573.65 c #Conflicts: 1051000 | #Constraints: 31473
1569.62/1573.65 c #Conflicts: 1052000 | #Constraints: 32473
1569.62/1573.65 c #Conflicts: 1053000 | #Constraints: 33473
1569.62/1573.65 c #Conflicts: 1054000 | #Constraints: 34473
1569.62/1573.65 c #Conflicts: 1055000 | #Constraints: 35473
1569.62/1573.65 c #Conflicts: 1056000 | #Constraints: 36473
1569.62/1573.65 c #Conflicts: 1057000 | #Constraints: 37473
1569.62/1573.65 c #Conflicts: 1058000 | #Constraints: 38473
1569.62/1573.65 c #Conflicts: 1059000 | #Constraints: 39473
1569.62/1573.65 c #Conflicts: 1060000 | #Constraints: 40473
1569.62/1573.65 c #Conflicts: 1061000 | #Constraints: 41473
1569.62/1573.65 c #Conflicts: 1062000 | #Constraints: 42473
1569.62/1573.65 c INPROCESSING
1569.62/1573.65 c GARBAGE COLLECT
1569.62/1573.65 c #Conflicts: 1063000 | #Constraints: 23071
1569.62/1573.65 c #Conflicts: 1064000 | #Constraints: 24071
1569.62/1573.65 c #Conflicts: 1065000 | #Constraints: 25071
1569.62/1573.65 c #Conflicts: 1066000 | #Constraints: 26071
1569.62/1573.65 c #Conflicts: 1067000 | #Constraints: 27071
1569.62/1573.65 c #Conflicts: 1068000 | #Constraints: 28071
1569.62/1573.65 c #Conflicts: 1069000 | #Constraints: 29071
1569.62/1573.65 c #Conflicts: 1070000 | #Constraints: 30071
1569.62/1573.65 c #Conflicts: 1071000 | #Constraints: 31071
1569.62/1573.65 c #Conflicts: 1072000 | #Constraints: 32071
1569.62/1573.65 c #Conflicts: 1073000 | #Constraints: 33071
1569.62/1573.65 c #Conflicts: 1074000 | #Constraints: 34071
1569.62/1573.65 c #Conflicts: 1075000 | #Constraints: 35071
1569.62/1573.65 c #Conflicts: 1076000 | #Constraints: 36071
1569.62/1573.65 c #Conflicts: 1077000 | #Constraints: 37071
1569.62/1573.65 c #Conflicts: 1078000 | #Constraints: 38071
1569.62/1573.65 c #Conflicts: 1079000 | #Constraints: 39071
1569.62/1573.65 c #Conflicts: 1080000 | #Constraints: 40071
1569.62/1573.65 c #Conflicts: 1081000 | #Constraints: 41071
1569.62/1573.65 c #Conflicts: 1082000 | #Constraints: 42071
1569.62/1573.65 c #Conflicts: 1083000 | #Constraints: 43071
1569.62/1573.65 c INPROCESSING
1569.62/1573.65 c GARBAGE COLLECT
1569.62/1573.65 c #Conflicts: 1084000 | #Constraints: 23455
1569.62/1573.65 c #Conflicts: 1085000 | #Constraints: 24455
1569.62/1573.65 c #Conflicts: 1086000 | #Constraints: 25455
1569.62/1573.65 c #Conflicts: 1087000 | #Constraints: 26455
1569.62/1573.65 c #Conflicts: 1088000 | #Constraints: 27455
1569.62/1573.65 c #Conflicts: 1089000 | #Constraints: 28455
1569.62/1573.65 c #Conflicts: 1090000 | #Constraints: 29455
1569.62/1573.65 c #Conflicts: 1091000 | #Constraints: 30455
1569.62/1573.65 c #Conflicts: 1092000 | #Constraints: 31455
1569.62/1573.65 c #Conflicts: 1093000 | #Constraints: 32455
1569.62/1573.65 c #Conflicts: 1094000 | #Constraints: 33455
1569.62/1573.65 c #Conflicts: 1095000 | #Constraints: 34455
1569.62/1573.65 c #Conflicts: 1096000 | #Constraints: 35455
1569.62/1573.65 c #Conflicts: 1097000 | #Constraints: 36455
1569.62/1573.65 c #Conflicts: 1098000 | #Constraints: 37455
1569.62/1573.65 c #Conflicts: 1099000 | #Constraints: 38455
1569.62/1573.65 c #Conflicts: 1100000 | #Constraints: 39455
1569.62/1573.65 c #Conflicts: 1101000 | #Constraints: 40455
1569.62/1573.65 c #Conflicts: 1102000 | #Constraints: 41455
1569.62/1573.65 c #Conflicts: 1103000 | #Constraints: 42455
1569.62/1573.65 c #Conflicts: 1104000 | #Constraints: 43455
1569.62/1573.65 c INPROCESSING
1569.62/1573.65 c GARBAGE COLLECT
1569.62/1573.65 c #Conflicts: 1105000 | #Constraints: 23650
1569.62/1573.65 c #Conflicts: 1106000 | #Constraints: 24650
1569.62/1573.65 c #Conflicts: 1107000 | #Constraints: 25650
1569.62/1573.65 c #Conflicts: 1108000 | #Constraints: 26650
1569.62/1573.65 c #Conflicts: 1109000 | #Constraints: 27650
1569.62/1573.65 c #Conflicts: 1110000 | #Constraints: 28650
1569.62/1573.65 c #Conflicts: 1111000 | #Constraints: 29650
1569.62/1573.65 c #Conflicts: 1112000 | #Constraints: 30650
1569.62/1573.65 c #Conflicts: 1113000 | #Constraints: 31650
1569.62/1573.65 c #Conflicts: 1114000 | #Constraints: 32650
1569.62/1573.65 c #Conflicts: 1115000 | #Constraints: 33650
1569.62/1573.65 c #Conflicts: 1116000 | #Constraints: 34650
1569.62/1573.65 c #Conflicts: 1117000 | #Constraints: 35650
1569.62/1573.65 c #Conflicts: 1118000 | #Constraints: 36650
1569.62/1573.65 c #Conflicts: 1119000 | #Constraints: 37650
1569.62/1573.65 c #Conflicts: 1120000 | #Constraints: 38650
1569.62/1573.65 c #Conflicts: 1121000 | #Constraints: 39650
1818.09/1822.74 c #Conflicts: 1122000 | #Constraints: 40650
1818.09/1822.74 c #Conflicts: 1123000 | #Constraints: 41650
1818.09/1822.74 c #Conflicts: 1124000 | #Constraints: 42650
1818.09/1822.74 c #Conflicts: 1125000 | #Constraints: 43650
1818.09/1822.74 c INPROCESSING
1818.09/1822.74 c GARBAGE COLLECT
1818.09/1822.74 c #Conflicts: 1126000 | #Constraints: 23651
1818.09/1822.74 c #Conflicts: 1127000 | #Constraints: 24651
1818.09/1822.74 c #Conflicts: 1128000 | #Constraints: 25651
1818.09/1822.74 c #Conflicts: 1129000 | #Constraints: 26651
1818.09/1822.74 c #Conflicts: 1130000 | #Constraints: 27651
1818.09/1822.74 c #Conflicts: 1131000 | #Constraints: 28651
1818.09/1822.74 c #Conflicts: 1132000 | #Constraints: 29651
1818.09/1822.74 c #Conflicts: 1133000 | #Constraints: 30651
1818.09/1822.74 c #Conflicts: 1134000 | #Constraints: 31651
1818.09/1822.74 c #Conflicts: 1135000 | #Constraints: 32651
1818.09/1822.74 c #Conflicts: 1136000 | #Constraints: 33651
1818.09/1822.74 c #Conflicts: 1137000 | #Constraints: 34651
1818.09/1822.74 c #Conflicts: 1138000 | #Constraints: 35651
1818.09/1822.74 c #Conflicts: 1139000 | #Constraints: 36651
1818.09/1822.74 c #Conflicts: 1140000 | #Constraints: 37651
1818.09/1822.74 c #Conflicts: 1141000 | #Constraints: 38651
1818.09/1822.74 c #Conflicts: 1142000 | #Constraints: 39651
1818.09/1822.74 c #Conflicts: 1143000 | #Constraints: 40651
1818.09/1822.74 c #Conflicts: 1144000 | #Constraints: 41651
1818.09/1822.74 c #Conflicts: 1145000 | #Constraints: 42651
1818.09/1822.74 c #Conflicts: 1146000 | #Constraints: 43651
1818.09/1822.74 c INPROCESSING
1818.09/1822.74 c GARBAGE COLLECT
1818.09/1822.74 c #Conflicts: 1147000 | #Constraints: 23445
1818.09/1822.74 c #Conflicts: 1148000 | #Constraints: 24445
1818.09/1822.74 c #Conflicts: 1149000 | #Constraints: 25445
1818.09/1822.74 c #Conflicts: 1150000 | #Constraints: 26445
1818.09/1822.74 c #Conflicts: 1151000 | #Constraints: 27445
1818.09/1822.74 c #Conflicts: 1152000 | #Constraints: 28445
1818.09/1822.74 c #Conflicts: 1153000 | #Constraints: 29445
1818.09/1822.74 c #Conflicts: 1154000 | #Constraints: 30445
1818.09/1822.74 c #Conflicts: 1155000 | #Constraints: 31445
1818.09/1822.74 c #Conflicts: 1156000 | #Constraints: 32445
1818.09/1822.74 c #Conflicts: 1157000 | #Constraints: 33445
1818.09/1822.74 c #Conflicts: 1158000 | #Constraints: 34445
1818.09/1822.74 c #Conflicts: 1159000 | #Constraints: 35445
1818.09/1822.74 c #Conflicts: 1160000 | #Constraints: 36445
1818.09/1822.74 c #Conflicts: 1161000 | #Constraints: 37445
1818.09/1822.74 c #Conflicts: 1162000 | #Constraints: 38445
1818.09/1822.74 c #Conflicts: 1163000 | #Constraints: 39445
1818.09/1822.74 c #Conflicts: 1164000 | #Constraints: 40445
1818.09/1822.74 c #Conflicts: 1165000 | #Constraints: 41445
1818.09/1822.74 c #Conflicts: 1166000 | #Constraints: 42445
1818.09/1822.74 c #Conflicts: 1167000 | #Constraints: 43445
1818.09/1822.74 c #Conflicts: 1168000 | #Constraints: 44445
1818.09/1822.74 c INPROCESSING
1818.09/1822.74 c GARBAGE COLLECT
1818.09/1822.74 c #Conflicts: 1169000 | #Constraints: 24050
1818.09/1822.74 c #Conflicts: 1170000 | #Constraints: 25050
1818.09/1822.74 c #Conflicts: 1171000 | #Constraints: 26050
1818.09/1822.74 c #Conflicts: 1172000 | #Constraints: 27050
1818.09/1822.74 c #Conflicts: 1173000 | #Constraints: 28050
1818.09/1822.74 c #Conflicts: 1174000 | #Constraints: 29050
1818.09/1822.74 c #Conflicts: 1175000 | #Constraints: 30050
1818.09/1822.74 c #Conflicts: 1176000 | #Constraints: 31050
1818.09/1822.74 c #Conflicts: 1177000 | #Constraints: 32050
1818.09/1822.74 c #Conflicts: 1178000 | #Constraints: 33050
1818.09/1822.74 c #Conflicts: 1179000 | #Constraints: 34050
1818.09/1822.74 c #Conflicts: 1180000 | #Constraints: 35050
1818.09/1822.74 c #Conflicts: 1181000 | #Constraints: 36050
1818.09/1822.74 c #Conflicts: 1182000 | #Constraints: 37050
1818.09/1822.74 c #Conflicts: 1183000 | #Constraints: 38050
1818.09/1822.74 c #Conflicts: 1184000 | #Constraints: 39050
1818.09/1822.74 c #Conflicts: 1185000 | #Constraints: 40050
1818.09/1822.74 c #Conflicts: 1186000 | #Constraints: 41050
1818.09/1822.74 c #Conflicts: 1187000 | #Constraints: 42050
1818.09/1822.74 c #Conflicts: 1188000 | #Constraints: 43050
1818.09/1822.74 c #Conflicts: 1189000 | #Constraints: 44050
1818.09/1822.74 c #Conflicts: 1190000 | #Constraints: 45050
1818.09/1822.74 c INPROCESSING
1818.09/1822.74 c GARBAGE COLLECT
1818.09/1822.74 c #Conflicts: 1191000 | #Constraints: 24454
1818.09/1822.74 c #Conflicts: 1192000 | #Constraints: 25454
1818.09/1822.74 c #Conflicts: 1193000 | #Constraints: 26454
1818.09/1822.74 c #Conflicts: 1194000 | #Constraints: 27454
1818.09/1822.74 c #Conflicts: 1195000 | #Constraints: 28454
1818.09/1822.74 c #Conflicts: 1196000 | #Constraints: 29454
1818.09/1822.74 c #Conflicts: 1197000 | #Constraints: 30454
2096.96/2102.39 c #Conflicts: 1198000 | #Constraints: 31454
2096.96/2102.39 c #Conflicts: 1199000 | #Constraints: 32454
2096.96/2102.39 c #Conflicts: 1200000 | #Constraints: 33454
2096.96/2102.39 c #Conflicts: 1201000 | #Constraints: 34454
2096.96/2102.39 c #Conflicts: 1202000 | #Constraints: 35454
2096.96/2102.39 c #Conflicts: 1203000 | #Constraints: 36454
2096.96/2102.39 c #Conflicts: 1204000 | #Constraints: 37454
2096.96/2102.39 c #Conflicts: 1205000 | #Constraints: 38454
2096.96/2102.39 c #Conflicts: 1206000 | #Constraints: 39454
2096.96/2102.39 c #Conflicts: 1207000 | #Constraints: 40454
2096.96/2102.39 c #Conflicts: 1208000 | #Constraints: 41454
2096.96/2102.39 c #Conflicts: 1209000 | #Constraints: 42454
2096.96/2102.39 c #Conflicts: 1210000 | #Constraints: 43454
2096.96/2102.39 c #Conflicts: 1211000 | #Constraints: 44454
2096.96/2102.39 c #Conflicts: 1212000 | #Constraints: 45454
2096.96/2102.39 c INPROCESSING
2096.96/2102.39 c GARBAGE COLLECT
2096.96/2102.39 c #Conflicts: 1213000 | #Constraints: 24658
2096.96/2102.39 c #Conflicts: 1214000 | #Constraints: 25658
2096.96/2102.39 c #Conflicts: 1215000 | #Constraints: 26658
2096.96/2102.39 c #Conflicts: 1216000 | #Constraints: 27658
2096.96/2102.39 c #Conflicts: 1217000 | #Constraints: 28658
2096.96/2102.39 c #Conflicts: 1218000 | #Constraints: 29658
2096.96/2102.39 c #Conflicts: 1219000 | #Constraints: 30658
2096.96/2102.39 c #Conflicts: 1220000 | #Constraints: 31658
2096.96/2102.39 c #Conflicts: 1221000 | #Constraints: 32658
2096.96/2102.39 c #Conflicts: 1222000 | #Constraints: 33658
2096.96/2102.39 c #Conflicts: 1223000 | #Constraints: 34658
2096.96/2102.39 c #Conflicts: 1224000 | #Constraints: 35658
2096.96/2102.39 c #Conflicts: 1225000 | #Constraints: 36658
2096.96/2102.39 c #Conflicts: 1226000 | #Constraints: 37658
2096.96/2102.39 c #Conflicts: 1227000 | #Constraints: 38658
2096.96/2102.39 c #Conflicts: 1228000 | #Constraints: 39658
2096.96/2102.39 c #Conflicts: 1229000 | #Constraints: 40658
2096.96/2102.39 c #Conflicts: 1230000 | #Constraints: 41658
2096.96/2102.39 c #Conflicts: 1231000 | #Constraints: 42658
2096.96/2102.39 c #Conflicts: 1232000 | #Constraints: 43658
2096.96/2102.39 c #Conflicts: 1233000 | #Constraints: 44658
2096.96/2102.39 c #Conflicts: 1234000 | #Constraints: 45658
2096.96/2102.39 c INPROCESSING
2096.96/2102.39 c GARBAGE COLLECT
2096.96/2102.39 c #Conflicts: 1235000 | #Constraints: 24653
2096.96/2102.39 c #Conflicts: 1236000 | #Constraints: 25653
2096.96/2102.39 c #Conflicts: 1237000 | #Constraints: 26653
2096.96/2102.39 c #Conflicts: 1238000 | #Constraints: 27653
2096.96/2102.39 c #Conflicts: 1239000 | #Constraints: 28653
2096.96/2102.39 c #Conflicts: 1240000 | #Constraints: 29653
2096.96/2102.39 c #Conflicts: 1241000 | #Constraints: 30653
2096.96/2102.39 c #Conflicts: 1242000 | #Constraints: 31653
2096.96/2102.39 c #Conflicts: 1243000 | #Constraints: 32653
2096.96/2102.39 c #Conflicts: 1244000 | #Constraints: 33653
2096.96/2102.39 c #Conflicts: 1245000 | #Constraints: 34653
2096.96/2102.39 c #Conflicts: 1246000 | #Constraints: 35653
2096.96/2102.39 c #Conflicts: 1247000 | #Constraints: 36653
2096.96/2102.39 c #Conflicts: 1248000 | #Constraints: 37653
2096.96/2102.39 c #Conflicts: 1249000 | #Constraints: 38653
2096.96/2102.39 c #Conflicts: 1250000 | #Constraints: 39653
2096.96/2102.39 c #Conflicts: 1251000 | #Constraints: 40653
2096.96/2102.39 c #Conflicts: 1252000 | #Constraints: 41653
2096.96/2102.39 c #Conflicts: 1253000 | #Constraints: 42653
2096.96/2102.39 c #Conflicts: 1254000 | #Constraints: 43653
2096.96/2102.39 c #Conflicts: 1255000 | #Constraints: 44653
2096.96/2102.39 c #Conflicts: 1256000 | #Constraints: 45653
2096.96/2102.39 c INPROCESSING
2096.96/2102.39 c GARBAGE COLLECT
2096.96/2102.39 c #Conflicts: 1257000 | #Constraints: 24450
2096.96/2102.39 c #Conflicts: 1258000 | #Constraints: 25450
2096.96/2102.39 c #Conflicts: 1259000 | #Constraints: 26450
2096.96/2102.39 c #Conflicts: 1260000 | #Constraints: 27450
2096.96/2102.39 c #Conflicts: 1261000 | #Constraints: 28450
2096.96/2102.39 c #Conflicts: 1262000 | #Constraints: 29450
2096.96/2102.39 c #Conflicts: 1263000 | #Constraints: 30450
2096.96/2102.39 c #Conflicts: 1264000 | #Constraints: 31450
2096.96/2102.39 c #Conflicts: 1265000 | #Constraints: 32450
2096.96/2102.39 c #Conflicts: 1266000 | #Constraints: 33450
2096.96/2102.39 c #Conflicts: 1267000 | #Constraints: 34450
2096.96/2102.39 c #Conflicts: 1268000 | #Constraints: 35450
2096.96/2102.39 c #Conflicts: 1269000 | #Constraints: 36450
2096.96/2102.39 c #Conflicts: 1270000 | #Constraints: 37450
2096.96/2102.39 c #Conflicts: 1271000 | #Constraints: 38450
2096.96/2102.39 c #Conflicts: 1272000 | #Constraints: 39450
2096.96/2102.39 c #Conflicts: 1273000 | #Constraints: 40450
2096.96/2102.39 c #Conflicts: 1274000 | #Constraints: 41450
2310.60/2316.57 c #Conflicts: 1275000 | #Constraints: 42450
2310.60/2316.57 c #Conflicts: 1276000 | #Constraints: 43450
2310.60/2316.57 c #Conflicts: 1277000 | #Constraints: 44450
2310.60/2316.57 c #Conflicts: 1278000 | #Constraints: 45450
2310.60/2316.57 c #Conflicts: 1279000 | #Constraints: 46450
2310.60/2316.57 c INPROCESSING
2310.60/2316.57 c GARBAGE COLLECT
2310.60/2316.57 c #Conflicts: 1280000 | #Constraints: 25053
2310.60/2316.57 c #Conflicts: 1281000 | #Constraints: 26053
2310.60/2316.57 c #Conflicts: 1282000 | #Constraints: 27053
2310.60/2316.57 c #Conflicts: 1283000 | #Constraints: 28053
2310.60/2316.57 c #Conflicts: 1284000 | #Constraints: 29053
2310.60/2316.57 c #Conflicts: 1285000 | #Constraints: 30053
2310.60/2316.57 c #Conflicts: 1286000 | #Constraints: 31053
2310.60/2316.57 c #Conflicts: 1287000 | #Constraints: 32053
2310.60/2316.57 c #Conflicts: 1288000 | #Constraints: 33053
2310.60/2316.57 c #Conflicts: 1289000 | #Constraints: 34053
2310.60/2316.57 c #Conflicts: 1290000 | #Constraints: 35053
2310.60/2316.57 c #Conflicts: 1291000 | #Constraints: 36053
2310.60/2316.57 c #Conflicts: 1292000 | #Constraints: 37053
2310.60/2316.57 c #Conflicts: 1293000 | #Constraints: 38053
2310.60/2316.57 c #Conflicts: 1294000 | #Constraints: 39053
2310.60/2316.57 c #Conflicts: 1295000 | #Constraints: 40053
2310.60/2316.57 c #Conflicts: 1296000 | #Constraints: 41053
2310.60/2316.57 c #Conflicts: 1297000 | #Constraints: 42053
2310.60/2316.57 c #Conflicts: 1298000 | #Constraints: 43053
2310.60/2316.57 c #Conflicts: 1299000 | #Constraints: 44053
2310.60/2316.57 c #Conflicts: 1300000 | #Constraints: 45053
2310.60/2316.57 c #Conflicts: 1301000 | #Constraints: 46053
2310.60/2316.57 c #Conflicts: 1302000 | #Constraints: 47053
2310.60/2316.57 c INPROCESSING
2310.60/2316.57 c GARBAGE COLLECT
2310.60/2316.57 c #Conflicts: 1303000 | #Constraints: 25452
2310.60/2316.57 c #Conflicts: 1304000 | #Constraints: 26452
2310.60/2316.57 c #Conflicts: 1305000 | #Constraints: 27452
2310.60/2316.57 c #Conflicts: 1306000 | #Constraints: 28452
2310.60/2316.57 c #Conflicts: 1307000 | #Constraints: 29452
2310.60/2316.57 c #Conflicts: 1308000 | #Constraints: 30452
2310.60/2316.57 c #Conflicts: 1309000 | #Constraints: 31452
2310.60/2316.57 c #Conflicts: 1310000 | #Constraints: 32452
2310.60/2316.57 c #Conflicts: 1311000 | #Constraints: 33452
2310.60/2316.57 c #Conflicts: 1312000 | #Constraints: 34452
2310.60/2316.57 c #Conflicts: 1313000 | #Constraints: 35452
2310.60/2316.57 c #Conflicts: 1314000 | #Constraints: 36452
2310.60/2316.57 c #Conflicts: 1315000 | #Constraints: 37452
2310.60/2316.57 c #Conflicts: 1316000 | #Constraints: 38452
2310.60/2316.57 c #Conflicts: 1317000 | #Constraints: 39452
2310.60/2316.57 c #Conflicts: 1318000 | #Constraints: 40452
2310.60/2316.57 c #Conflicts: 1319000 | #Constraints: 41452
2310.60/2316.57 c #Conflicts: 1320000 | #Constraints: 42452
2310.60/2316.57 c #Conflicts: 1321000 | #Constraints: 43452
2310.60/2316.57 c #Conflicts: 1322000 | #Constraints: 44452
2310.60/2316.57 c #Conflicts: 1323000 | #Constraints: 45452
2310.60/2316.57 c #Conflicts: 1324000 | #Constraints: 46452
2310.60/2316.57 c #Conflicts: 1325000 | #Constraints: 47452
2310.60/2316.57 c INPROCESSING
2310.60/2316.57 c GARBAGE COLLECT
2310.60/2316.57 c #Conflicts: 1326000 | #Constraints: 25652
2310.60/2316.57 c #Conflicts: 1327000 | #Constraints: 26652
2310.60/2316.57 c #Conflicts: 1328000 | #Constraints: 27652
2310.60/2316.57 c #Conflicts: 1329000 | #Constraints: 28652
2310.60/2316.57 c #Conflicts: 1330000 | #Constraints: 29652
2310.60/2316.57 c #Conflicts: 1331000 | #Constraints: 30652
2310.60/2316.57 c #Conflicts: 1332000 | #Constraints: 31652
2310.60/2316.57 c #Conflicts: 1333000 | #Constraints: 32652
2310.60/2316.57 c #Conflicts: 1334000 | #Constraints: 33652
2310.60/2316.57 c #Conflicts: 1335000 | #Constraints: 34652
2310.60/2316.57 c #Conflicts: 1336000 | #Constraints: 35652
2310.60/2316.57 c #Conflicts: 1337000 | #Constraints: 36652
2310.60/2316.57 c #Conflicts: 1338000 | #Constraints: 37652
2310.60/2316.57 c #Conflicts: 1339000 | #Constraints: 38652
2310.60/2316.57 c #Conflicts: 1340000 | #Constraints: 39652
2310.60/2316.57 c #Conflicts: 1341000 | #Constraints: 40652
2310.60/2316.57 c #Conflicts: 1342000 | #Constraints: 41652
2310.60/2316.57 c #Conflicts: 1343000 | #Constraints: 42652
2310.60/2316.57 c #Conflicts: 1344000 | #Constraints: 43652
2310.60/2316.57 c #Conflicts: 1345000 | #Constraints: 44652
2310.60/2316.57 c #Conflicts: 1346000 | #Constraints: 45652
2310.60/2316.57 c #Conflicts: 1347000 | #Constraints: 46652
2310.60/2316.57 c #Conflicts: 1348000 | #Constraints: 47652
2310.60/2316.57 c INPROCESSING
2310.60/2316.57 c GARBAGE COLLECT
2310.60/2316.57 c #Conflicts: 1349000 | #Constraints: 25650
2310.60/2316.57 c #Conflicts: 1350000 | #Constraints: 26650
2522.95/2529.45 c #Conflicts: 1351000 | #Constraints: 27650
2522.95/2529.45 c #Conflicts: 1352000 | #Constraints: 28650
2522.95/2529.45 c #Conflicts: 1353000 | #Constraints: 29650
2522.95/2529.45 c #Conflicts: 1354000 | #Constraints: 30650
2522.95/2529.45 c #Conflicts: 1355000 | #Constraints: 31650
2522.95/2529.45 c #Conflicts: 1356000 | #Constraints: 32650
2522.95/2529.45 c #Conflicts: 1357000 | #Constraints: 33650
2522.95/2529.45 c #Conflicts: 1358000 | #Constraints: 34650
2522.95/2529.45 c #Conflicts: 1359000 | #Constraints: 35650
2522.95/2529.45 c #Conflicts: 1360000 | #Constraints: 36650
2522.95/2529.45 c #Conflicts: 1361000 | #Constraints: 37650
2522.95/2529.45 c #Conflicts: 1362000 | #Constraints: 38650
2522.95/2529.45 c #Conflicts: 1363000 | #Constraints: 39650
2522.95/2529.45 c #Conflicts: 1364000 | #Constraints: 40650
2522.95/2529.45 c #Conflicts: 1365000 | #Constraints: 41650
2522.95/2529.45 c #Conflicts: 1366000 | #Constraints: 42650
2522.95/2529.45 c #Conflicts: 1367000 | #Constraints: 43650
2522.95/2529.45 c #Conflicts: 1368000 | #Constraints: 44650
2522.95/2529.45 c #Conflicts: 1369000 | #Constraints: 45650
2522.95/2529.45 c #Conflicts: 1370000 | #Constraints: 46650
2522.95/2529.45 c #Conflicts: 1371000 | #Constraints: 47650
2522.95/2529.45 c INPROCESSING
2522.95/2529.45 c GARBAGE COLLECT
2522.95/2529.45 c #Conflicts: 1372000 | #Constraints: 25470
2522.95/2529.45 c #Conflicts: 1373000 | #Constraints: 26470
2522.95/2529.45 c #Conflicts: 1374000 | #Constraints: 27470
2522.95/2529.45 c #Conflicts: 1375000 | #Constraints: 28470
2522.95/2529.45 c #Conflicts: 1376000 | #Constraints: 29470
2522.95/2529.45 c #Conflicts: 1377000 | #Constraints: 30470
2522.95/2529.45 c #Conflicts: 1378000 | #Constraints: 31470
2522.95/2529.45 c #Conflicts: 1379000 | #Constraints: 32470
2522.95/2529.45 c #Conflicts: 1380000 | #Constraints: 33470
2522.95/2529.45 c #Conflicts: 1381000 | #Constraints: 34470
2522.95/2529.45 c #Conflicts: 1382000 | #Constraints: 35470
2522.95/2529.45 c #Conflicts: 1383000 | #Constraints: 36470
2522.95/2529.45 c #Conflicts: 1384000 | #Constraints: 37470
2522.95/2529.45 c #Conflicts: 1385000 | #Constraints: 38470
2522.95/2529.45 c #Conflicts: 1386000 | #Constraints: 39470
2522.95/2529.45 c #Conflicts: 1387000 | #Constraints: 40470
2522.95/2529.45 c #Conflicts: 1388000 | #Constraints: 41470
2522.95/2529.45 c #Conflicts: 1389000 | #Constraints: 42470
2522.95/2529.45 c #Conflicts: 1390000 | #Constraints: 43470
2522.95/2529.45 c #Conflicts: 1391000 | #Constraints: 44470
2522.95/2529.45 c #Conflicts: 1392000 | #Constraints: 45470
2522.95/2529.45 c #Conflicts: 1393000 | #Constraints: 46470
2522.95/2529.45 c #Conflicts: 1394000 | #Constraints: 47470
2522.95/2529.45 c #Conflicts: 1395000 | #Constraints: 48470
2522.95/2529.45 c INPROCESSING
2522.95/2529.45 c GARBAGE COLLECT
2522.95/2529.45 c #Conflicts: 1396000 | #Constraints: 26059
2522.95/2529.45 c #Conflicts: 1397000 | #Constraints: 27059
2522.95/2529.45 c #Conflicts: 1398000 | #Constraints: 28059
2522.95/2529.45 c #Conflicts: 1399000 | #Constraints: 29059
2522.95/2529.45 c #Conflicts: 1400000 | #Constraints: 30059
2522.95/2529.45 c #Conflicts: 1401000 | #Constraints: 31059
2522.95/2529.45 c #Conflicts: 1402000 | #Constraints: 32059
2522.95/2529.45 c #Conflicts: 1403000 | #Constraints: 33059
2522.95/2529.45 c #Conflicts: 1404000 | #Constraints: 34059
2522.95/2529.45 c #Conflicts: 1405000 | #Constraints: 35059
2522.95/2529.45 c #Conflicts: 1406000 | #Constraints: 36059
2522.95/2529.45 c #Conflicts: 1407000 | #Constraints: 37059
2522.95/2529.45 c #Conflicts: 1408000 | #Constraints: 38059
2522.95/2529.45 c #Conflicts: 1409000 | #Constraints: 39059
2522.95/2529.45 c #Conflicts: 1410000 | #Constraints: 40059
2522.95/2529.45 c #Conflicts: 1411000 | #Constraints: 41059
2522.95/2529.45 c #Conflicts: 1412000 | #Constraints: 42059
2522.95/2529.45 c #Conflicts: 1413000 | #Constraints: 43059
2522.95/2529.45 c #Conflicts: 1414000 | #Constraints: 44059
2522.95/2529.45 c #Conflicts: 1415000 | #Constraints: 45059
2522.95/2529.45 c #Conflicts: 1416000 | #Constraints: 46059
2522.95/2529.45 c #Conflicts: 1417000 | #Constraints: 47059
2522.95/2529.45 c #Conflicts: 1418000 | #Constraints: 48059
2522.95/2529.45 c #Conflicts: 1419000 | #Constraints: 49059
2522.95/2529.45 c INPROCESSING
2522.95/2529.45 c GARBAGE COLLECT
2522.95/2529.45 c #Conflicts: 1420000 | #Constraints: 26460
2522.95/2529.45 c #Conflicts: 1421000 | #Constraints: 27460
2522.95/2529.45 c #Conflicts: 1422000 | #Constraints: 28460
2522.95/2529.45 c #Conflicts: 1423000 | #Constraints: 29460
2522.95/2529.45 c #Conflicts: 1424000 | #Constraints: 30460
2522.95/2529.45 c #Conflicts: 1425000 | #Constraints: 31460
2522.95/2529.45 c #Conflicts: 1426000 | #Constraints: 32460
2522.95/2529.45 c #Conflicts: 1427000 | #Constraints: 33460
2778.49/2785.66 c #Conflicts: 1428000 | #Constraints: 34460
2778.49/2785.66 c #Conflicts: 1429000 | #Constraints: 35460
2778.49/2785.66 c #Conflicts: 1430000 | #Constraints: 36460
2778.49/2785.66 c #Conflicts: 1431000 | #Constraints: 37460
2778.49/2785.66 c #Conflicts: 1432000 | #Constraints: 38460
2778.49/2785.66 c #Conflicts: 1433000 | #Constraints: 39460
2778.49/2785.66 c #Conflicts: 1434000 | #Constraints: 40460
2778.49/2785.66 c #Conflicts: 1435000 | #Constraints: 41460
2778.49/2785.66 c #Conflicts: 1436000 | #Constraints: 42460
2778.49/2785.66 c #Conflicts: 1437000 | #Constraints: 43460
2778.49/2785.66 c #Conflicts: 1438000 | #Constraints: 44460
2778.49/2785.66 c #Conflicts: 1439000 | #Constraints: 45460
2778.49/2785.66 c #Conflicts: 1440000 | #Constraints: 46460
2778.49/2785.66 c #Conflicts: 1441000 | #Constraints: 47460
2778.49/2785.66 c #Conflicts: 1442000 | #Constraints: 48460
2778.49/2785.66 c #Conflicts: 1443000 | #Constraints: 49460
2778.49/2785.66 c INPROCESSING
2778.49/2785.66 c GARBAGE COLLECT
2778.49/2785.66 c #Conflicts: 1444000 | #Constraints: 26659
2778.49/2785.66 c #Conflicts: 1445000 | #Constraints: 27659
2778.49/2785.66 c #Conflicts: 1446000 | #Constraints: 28659
2778.49/2785.66 c #Conflicts: 1447000 | #Constraints: 29659
2778.49/2785.66 c #Conflicts: 1448000 | #Constraints: 30659
2778.49/2785.66 c #Conflicts: 1449000 | #Constraints: 31659
2778.49/2785.66 c #Conflicts: 1450000 | #Constraints: 32659
2778.49/2785.66 c #Conflicts: 1451000 | #Constraints: 33659
2778.49/2785.66 c #Conflicts: 1452000 | #Constraints: 34659
2778.49/2785.66 c #Conflicts: 1453000 | #Constraints: 35659
2778.49/2785.66 c #Conflicts: 1454000 | #Constraints: 36659
2778.49/2785.66 c #Conflicts: 1455000 | #Constraints: 37659
2778.49/2785.66 c #Conflicts: 1456000 | #Constraints: 38659
2778.49/2785.66 c #Conflicts: 1457000 | #Constraints: 39659
2778.49/2785.66 c #Conflicts: 1458000 | #Constraints: 40659
2778.49/2785.66 c #Conflicts: 1459000 | #Constraints: 41659
2778.49/2785.66 c #Conflicts: 1460000 | #Constraints: 42659
2778.49/2785.66 c #Conflicts: 1461000 | #Constraints: 43659
2778.49/2785.66 c #Conflicts: 1462000 | #Constraints: 44659
2778.49/2785.66 c #Conflicts: 1463000 | #Constraints: 45659
2778.49/2785.66 c #Conflicts: 1464000 | #Constraints: 46659
2778.49/2785.66 c #Conflicts: 1465000 | #Constraints: 47659
2778.49/2785.66 c #Conflicts: 1466000 | #Constraints: 48659
2778.49/2785.66 c #Conflicts: 1467000 | #Constraints: 49659
2778.49/2785.66 c INPROCESSING
2778.49/2785.66 c GARBAGE COLLECT
2778.49/2785.66 c #Conflicts: 1468000 | #Constraints: 26662
2778.49/2785.66 c #Conflicts: 1469000 | #Constraints: 27662
2778.49/2785.66 c #Conflicts: 1470000 | #Constraints: 28662
2778.49/2785.66 c #Conflicts: 1471000 | #Constraints: 29662
2778.49/2785.66 c #Conflicts: 1472000 | #Constraints: 30662
2778.49/2785.66 c #Conflicts: 1473000 | #Constraints: 31662
2778.49/2785.66 c #Conflicts: 1474000 | #Constraints: 32662
2778.49/2785.66 c #Conflicts: 1475000 | #Constraints: 33662
2778.49/2785.66 c #Conflicts: 1476000 | #Constraints: 34662
2778.49/2785.66 c #Conflicts: 1477000 | #Constraints: 35662
2778.49/2785.66 c #Conflicts: 1478000 | #Constraints: 36662
2778.49/2785.66 c #Conflicts: 1479000 | #Constraints: 37662
2778.49/2785.66 c #Conflicts: 1480000 | #Constraints: 38662
2778.49/2785.66 c #Conflicts: 1481000 | #Constraints: 39662
2778.49/2785.66 c #Conflicts: 1482000 | #Constraints: 40662
2778.49/2785.66 c #Conflicts: 1483000 | #Constraints: 41662
2778.49/2785.66 c #Conflicts: 1484000 | #Constraints: 42662
2778.49/2785.66 c #Conflicts: 1485000 | #Constraints: 43662
2778.49/2785.66 c #Conflicts: 1486000 | #Constraints: 44662
2778.49/2785.66 c #Conflicts: 1487000 | #Constraints: 45662
2778.49/2785.66 c #Conflicts: 1488000 | #Constraints: 46662
2778.49/2785.66 c #Conflicts: 1489000 | #Constraints: 47662
2778.49/2785.66 c #Conflicts: 1490000 | #Constraints: 48662
2778.49/2785.66 c #Conflicts: 1491000 | #Constraints: 49662
2778.49/2785.66 c INPROCESSING
2778.49/2785.66 c GARBAGE COLLECT
2778.49/2785.66 c #Conflicts: 1492000 | #Constraints: 26461
2778.49/2785.66 c #Conflicts: 1493000 | #Constraints: 27461
2778.49/2785.66 c #Conflicts: 1494000 | #Constraints: 28461
2778.49/2785.66 c #Conflicts: 1495000 | #Constraints: 29461
2778.49/2785.66 c #Conflicts: 1496000 | #Constraints: 30461
2778.49/2785.66 c #Conflicts: 1497000 | #Constraints: 31461
2778.49/2785.66 c #Conflicts: 1498000 | #Constraints: 32461
2778.49/2785.66 c #Conflicts: 1499000 | #Constraints: 33461
2778.49/2785.66 c #Conflicts: 1500000 | #Constraints: 34461
2778.49/2785.66 c #Conflicts: 1501000 | #Constraints: 35461
2778.49/2785.66 c #Conflicts: 1502000 | #Constraints: 36461
2778.49/2785.66 c #Conflicts: 1503000 | #Constraints: 37461
2778.49/2785.66 c #Conflicts: 1504000 | #Constraints: 38461
3042.99/3050.84 c #Conflicts: 1505000 | #Constraints: 39461
3042.99/3050.84 c #Conflicts: 1506000 | #Constraints: 40461
3042.99/3050.84 c #Conflicts: 1507000 | #Constraints: 41461
3042.99/3050.84 c #Conflicts: 1508000 | #Constraints: 42461
3042.99/3050.84 c #Conflicts: 1509000 | #Constraints: 43461
3042.99/3050.84 c #Conflicts: 1510000 | #Constraints: 44461
3042.99/3050.84 c #Conflicts: 1511000 | #Constraints: 45461
3042.99/3050.84 c #Conflicts: 1512000 | #Constraints: 46461
3042.99/3050.84 c #Conflicts: 1513000 | #Constraints: 47461
3042.99/3050.84 c #Conflicts: 1514000 | #Constraints: 48461
3042.99/3050.84 c #Conflicts: 1515000 | #Constraints: 49461
3042.99/3050.84 c #Conflicts: 1516000 | #Constraints: 50461
3042.99/3050.84 c INPROCESSING
3042.99/3050.84 c GARBAGE COLLECT
3042.99/3050.84 c #Conflicts: 1517000 | #Constraints: 27048
3042.99/3050.84 c #Conflicts: 1518000 | #Constraints: 28048
3042.99/3050.84 c #Conflicts: 1519000 | #Constraints: 29048
3042.99/3050.84 c #Conflicts: 1520000 | #Constraints: 30048
3042.99/3050.84 c #Conflicts: 1521000 | #Constraints: 31048
3042.99/3050.84 c #Conflicts: 1522000 | #Constraints: 32048
3042.99/3050.84 c #Conflicts: 1523000 | #Constraints: 33048
3042.99/3050.84 c #Conflicts: 1524000 | #Constraints: 34048
3042.99/3050.84 c #Conflicts: 1525000 | #Constraints: 35048
3042.99/3050.84 c #Conflicts: 1526000 | #Constraints: 36048
3042.99/3050.84 c #Conflicts: 1527000 | #Constraints: 37048
3042.99/3050.84 c #Conflicts: 1528000 | #Constraints: 38048
3042.99/3050.84 c #Conflicts: 1529000 | #Constraints: 39048
3042.99/3050.84 c #Conflicts: 1530000 | #Constraints: 40048
3042.99/3050.84 c #Conflicts: 1531000 | #Constraints: 41048
3042.99/3050.84 c #Conflicts: 1532000 | #Constraints: 42048
3042.99/3050.84 c #Conflicts: 1533000 | #Constraints: 43048
3042.99/3050.84 c #Conflicts: 1534000 | #Constraints: 44048
3042.99/3050.84 c #Conflicts: 1535000 | #Constraints: 45048
3042.99/3050.84 c #Conflicts: 1536000 | #Constraints: 46048
3042.99/3050.84 c #Conflicts: 1537000 | #Constraints: 47048
3042.99/3050.84 c #Conflicts: 1538000 | #Constraints: 48048
3042.99/3050.84 c #Conflicts: 1539000 | #Constraints: 49048
3042.99/3050.84 c #Conflicts: 1540000 | #Constraints: 50048
3042.99/3050.84 c #Conflicts: 1541000 | #Constraints: 51048
3042.99/3050.84 c INPROCESSING
3042.99/3050.84 c GARBAGE COLLECT
3042.99/3050.84 c #Conflicts: 1542000 | #Constraints: 27458
3042.99/3050.84 c #Conflicts: 1543000 | #Constraints: 28458
3042.99/3050.84 c #Conflicts: 1544000 | #Constraints: 29458
3042.99/3050.84 c #Conflicts: 1545000 | #Constraints: 30458
3042.99/3050.84 c #Conflicts: 1546000 | #Constraints: 31458
3042.99/3050.84 c #Conflicts: 1547000 | #Constraints: 32458
3042.99/3050.84 c #Conflicts: 1548000 | #Constraints: 33458
3042.99/3050.84 c #Conflicts: 1549000 | #Constraints: 34458
3042.99/3050.84 c #Conflicts: 1550000 | #Constraints: 35458
3042.99/3050.84 c #Conflicts: 1551000 | #Constraints: 36458
3042.99/3050.84 c #Conflicts: 1552000 | #Constraints: 37458
3042.99/3050.84 c #Conflicts: 1553000 | #Constraints: 38458
3042.99/3050.84 c #Conflicts: 1554000 | #Constraints: 39458
3042.99/3050.84 c #Conflicts: 1555000 | #Constraints: 40458
3042.99/3050.84 c #Conflicts: 1556000 | #Constraints: 41458
3042.99/3050.84 c #Conflicts: 1557000 | #Constraints: 42458
3042.99/3050.84 c #Conflicts: 1558000 | #Constraints: 43458
3042.99/3050.84 c #Conflicts: 1559000 | #Constraints: 44458
3042.99/3050.84 c #Conflicts: 1560000 | #Constraints: 45458
3042.99/3050.84 c #Conflicts: 1561000 | #Constraints: 46458
3042.99/3050.84 c #Conflicts: 1562000 | #Constraints: 47458
3042.99/3050.84 c #Conflicts: 1563000 | #Constraints: 48458
3042.99/3050.84 c #Conflicts: 1564000 | #Constraints: 49458
3042.99/3050.84 c #Conflicts: 1565000 | #Constraints: 50458
3042.99/3050.84 c #Conflicts: 1566000 | #Constraints: 51458
3042.99/3050.84 c INPROCESSING
3042.99/3050.84 c GARBAGE COLLECT
3042.99/3050.84 c #Conflicts: 1567000 | #Constraints: 27656
3042.99/3050.84 c #Conflicts: 1568000 | #Constraints: 28656
3042.99/3050.84 c #Conflicts: 1569000 | #Constraints: 29656
3042.99/3050.84 c #Conflicts: 1570000 | #Constraints: 30656
3042.99/3050.84 c #Conflicts: 1571000 | #Constraints: 31656
3042.99/3050.84 c #Conflicts: 1572000 | #Constraints: 32656
3042.99/3050.84 c #Conflicts: 1573000 | #Constraints: 33656
3042.99/3050.84 c #Conflicts: 1574000 | #Constraints: 34656
3042.99/3050.84 c #Conflicts: 1575000 | #Constraints: 35656
3042.99/3050.84 c #Conflicts: 1576000 | #Constraints: 36656
3042.99/3050.84 c #Conflicts: 1577000 | #Constraints: 37656
3042.99/3050.84 c #Conflicts: 1578000 | #Constraints: 38656
3042.99/3050.84 c #Conflicts: 1579000 | #Constraints: 39656
3042.99/3050.84 c #Conflicts: 1580000 | #Constraints: 40656
3042.99/3050.84 c #Conflicts: 1581000 | #Constraints: 41656
3225.91/3234.21 c #Conflicts: 1582000 | #Constraints: 42656
3225.91/3234.21 c #Conflicts: 1583000 | #Constraints: 43656
3225.91/3234.21 c #Conflicts: 1584000 | #Constraints: 44656
3225.91/3234.21 c #Conflicts: 1585000 | #Constraints: 45656
3225.91/3234.21 c #Conflicts: 1586000 | #Constraints: 46656
3225.91/3234.21 c #Conflicts: 1587000 | #Constraints: 47656
3225.91/3234.21 c #Conflicts: 1588000 | #Constraints: 48656
3225.91/3234.21 c #Conflicts: 1589000 | #Constraints: 49656
3225.91/3234.21 c #Conflicts: 1590000 | #Constraints: 50656
3225.91/3234.21 c #Conflicts: 1591000 | #Constraints: 51656
3225.91/3234.21 c INPROCESSING
3225.91/3234.21 c GARBAGE COLLECT
3225.91/3234.21 c #Conflicts: 1592000 | #Constraints: 27655
3225.91/3234.21 c #Conflicts: 1593000 | #Constraints: 28655
3225.91/3234.21 c #Conflicts: 1594000 | #Constraints: 29655
3225.91/3234.21 c #Conflicts: 1595000 | #Constraints: 30655
3225.91/3234.21 c #Conflicts: 1596000 | #Constraints: 31655
3225.91/3234.21 c #Conflicts: 1597000 | #Constraints: 32655
3225.91/3234.21 c #Conflicts: 1598000 | #Constraints: 33655
3225.91/3234.21 c #Conflicts: 1599000 | #Constraints: 34655
3225.91/3234.21 c #Conflicts: 1600000 | #Constraints: 35655
3225.91/3234.21 c #Conflicts: 1601000 | #Constraints: 36655
3225.91/3234.21 c #Conflicts: 1602000 | #Constraints: 37655
3225.91/3234.21 c #Conflicts: 1603000 | #Constraints: 38655
3225.91/3234.21 c #Conflicts: 1604000 | #Constraints: 39655
3225.91/3234.21 c #Conflicts: 1605000 | #Constraints: 40655
3225.91/3234.21 c #Conflicts: 1606000 | #Constraints: 41655
3225.91/3234.21 c #Conflicts: 1607000 | #Constraints: 42655
3225.91/3234.21 c #Conflicts: 1608000 | #Constraints: 43655
3225.91/3234.21 c #Conflicts: 1609000 | #Constraints: 44655
3225.91/3234.21 c #Conflicts: 1610000 | #Constraints: 45655
3225.91/3234.21 c #Conflicts: 1611000 | #Constraints: 46655
3225.91/3234.21 c #Conflicts: 1612000 | #Constraints: 47655
3225.91/3234.21 c #Conflicts: 1613000 | #Constraints: 48655
3225.91/3234.21 c #Conflicts: 1614000 | #Constraints: 49655
3225.91/3234.21 c #Conflicts: 1615000 | #Constraints: 50655
3225.91/3234.21 c #Conflicts: 1616000 | #Constraints: 51655
3225.91/3234.21 c INPROCESSING
3225.91/3234.21 c GARBAGE COLLECT
3225.91/3234.21 c #Conflicts: 1617000 | #Constraints: 27449
3225.91/3234.21 c #Conflicts: 1618000 | #Constraints: 28449
3225.91/3234.21 c #Conflicts: 1619000 | #Constraints: 29449
3225.91/3234.21 c #Conflicts: 1620000 | #Constraints: 30449
3225.91/3234.21 c #Conflicts: 1621000 | #Constraints: 31449
3225.91/3234.21 c #Conflicts: 1622000 | #Constraints: 32449
3225.91/3234.21 c #Conflicts: 1623000 | #Constraints: 33449
3225.91/3234.21 c #Conflicts: 1624000 | #Constraints: 34449
3225.91/3234.21 c #Conflicts: 1625000 | #Constraints: 35449
3225.91/3234.21 c #Conflicts: 1626000 | #Constraints: 36449
3225.91/3234.21 c #Conflicts: 1627000 | #Constraints: 37449
3225.91/3234.21 c #Conflicts: 1628000 | #Constraints: 38449
3225.91/3234.21 c #Conflicts: 1629000 | #Constraints: 39449
3225.91/3234.21 c #Conflicts: 1630000 | #Constraints: 40449
3225.91/3234.21 c #Conflicts: 1631000 | #Constraints: 41449
3225.91/3234.21 c GLOBAL bounds - >= 1825130206476 @ 3198.01
3225.91/3234.24 c GLOBAL bounds - >= 1825130206476 @ 3198.05
3225.91/3234.28 c GLOBAL bounds - >= 1825130206476 @ 3198.07
3225.91/3234.29 c GLOBAL bounds - >= 1825130206476 @ 3198.07
3226.01/3234.32 c GLOBAL bounds - >= 1825130206476 @ 3198.09
3226.01/3234.33 c GLOBAL bounds - >= 1825130206476 @ 3198.1
3226.01/3234.36 c GLOBAL bounds - >= 1825130206476 @ 3198.12
3226.01/3234.37 c GLOBAL bounds - >= 1825130206476 @ 3198.12
3226.11/3234.41 c GLOBAL bounds - >= 1825130206476 @ 3198.15
3226.11/3234.41 c GLOBAL bounds - >= 1825130206476 @ 3198.15
3226.11/3234.45 c GLOBAL bounds - >= 1825130206476 @ 3198.18
3226.11/3234.45 c GLOBAL bounds - >= 1825130206476 @ 3198.18
3226.11/3234.49 c GLOBAL bounds - >= 1825130206476 @ 3198.21
3226.11/3234.49 c GLOBAL bounds - >= 1825130206476 @ 3198.21
3226.21/3234.53 c GLOBAL bounds - >= 1825130206476 @ 3198.24
3226.21/3234.54 c GLOBAL bounds - >= 1825130206476 @ 3198.24
3226.21/3234.58 c GLOBAL bounds - >= 1825130206476 @ 3198.27
3226.21/3234.58 c GLOBAL bounds - >= 1825130206476 @ 3198.27
3226.31/3234.62 c GLOBAL bounds - >= 1825130206476 @ 3198.3
3226.31/3234.62 c GLOBAL bounds - >= 1825130206476 @ 3198.3
3226.31/3234.66 c GLOBAL bounds - >= 1825130206476 @ 3198.33
3226.40/3234.71 c GLOBAL bounds - >= 1825130206476 @ 3198.37
3226.40/3234.75 c GLOBAL bounds - >= 1825130206476 @ 3198.39
3226.40/3234.78 c GLOBAL bounds - >= 1825130206476 @ 3198.42
3348.86/3357.52 c #Conflicts: 1632000 | #Constraints: 42482
3348.86/3357.52 c #Conflicts: 1633000 | #Constraints: 43482
3348.86/3357.52 c #Conflicts: 1634000 | #Constraints: 44482
3348.86/3357.52 c #Conflicts: 1635000 | #Constraints: 45482
3348.86/3357.52 c #Conflicts: 1636000 | #Constraints: 46482
3348.86/3357.52 c #Conflicts: 1637000 | #Constraints: 47482
3348.86/3357.52 c #Conflicts: 1638000 | #Constraints: 48482
3348.86/3357.52 c #Conflicts: 1639000 | #Constraints: 49482
3348.86/3357.52 c #Conflicts: 1640000 | #Constraints: 50482
3348.86/3357.52 c #Conflicts: 1641000 | #Constraints: 51482
3348.86/3357.52 c #Conflicts: 1642000 | #Constraints: 52482
3348.86/3357.52 c INPROCESSING
3348.86/3357.52 c GARBAGE COLLECT
3348.86/3357.52 c #Conflicts: 1643000 | #Constraints: 28084
3348.86/3357.52 c #Conflicts: 1644000 | #Constraints: 29084
3348.86/3357.52 c #Conflicts: 1645000 | #Constraints: 30084
3348.86/3357.52 c #Conflicts: 1646000 | #Constraints: 31084
3348.86/3357.52 c #Conflicts: 1647000 | #Constraints: 32084
3348.86/3357.52 c #Conflicts: 1648000 | #Constraints: 33084
3348.86/3357.52 c #Conflicts: 1649000 | #Constraints: 34084
3348.86/3357.52 c #Conflicts: 1650000 | #Constraints: 35084
3348.86/3357.52 c #Conflicts: 1651000 | #Constraints: 36084
3348.86/3357.52 c #Conflicts: 1652000 | #Constraints: 37084
3348.86/3357.52 c #Conflicts: 1653000 | #Constraints: 38084
3348.86/3357.52 c #Conflicts: 1654000 | #Constraints: 39084
3348.86/3357.52 c #Conflicts: 1655000 | #Constraints: 40084
3348.86/3357.52 c #Conflicts: 1656000 | #Constraints: 41084
3348.86/3357.52 c #Conflicts: 1657000 | #Constraints: 42084
3348.86/3357.52 c #Conflicts: 1658000 | #Constraints: 43084
3348.86/3357.52 c #Conflicts: 1659000 | #Constraints: 44084
3348.86/3357.52 c #Conflicts: 1660000 | #Constraints: 45084
3348.86/3357.52 c #Conflicts: 1661000 | #Constraints: 46084
3348.86/3357.52 c #Conflicts: 1662000 | #Constraints: 47084
3348.86/3357.52 c #Conflicts: 1663000 | #Constraints: 48084
3348.86/3357.52 c #Conflicts: 1664000 | #Constraints: 49084
3348.86/3357.52 c #Conflicts: 1665000 | #Constraints: 50084
3348.86/3357.52 c #Conflicts: 1666000 | #Constraints: 51084
3348.86/3357.52 c #Conflicts: 1667000 | #Constraints: 52084
3348.86/3357.52 c #Conflicts: 1668000 | #Constraints: 53084
3348.86/3357.52 c INPROCESSING
3348.86/3357.52 c GARBAGE COLLECT
3348.86/3357.52 c #Conflicts: 1669000 | #Constraints: 28478
3348.86/3357.52 c #Conflicts: 1670000 | #Constraints: 29478
3348.86/3357.52 c #Conflicts: 1671000 | #Constraints: 30478
3348.86/3357.52 c #Conflicts: 1672000 | #Constraints: 31478
3348.86/3357.52 c #Conflicts: 1673000 | #Constraints: 32478
3348.86/3357.52 c #Conflicts: 1674000 | #Constraints: 33478
3348.86/3357.52 c #Conflicts: 1675000 | #Constraints: 34478
3348.86/3357.52 c #Conflicts: 1676000 | #Constraints: 35478
3348.86/3357.52 c #Conflicts: 1677000 | #Constraints: 36478
3348.86/3357.52 c #Conflicts: 1678000 | #Constraints: 37478
3348.86/3357.52 c #Conflicts: 1679000 | #Constraints: 38478
3348.86/3357.52 c #Conflicts: 1680000 | #Constraints: 39478
3348.86/3357.52 c #Conflicts: 1681000 | #Constraints: 40478
3348.86/3357.52 c #Conflicts: 1682000 | #Constraints: 41478
3348.86/3357.52 c #Conflicts: 1683000 | #Constraints: 42478
3348.86/3357.52 c #Conflicts: 1684000 | #Constraints: 43478
3348.86/3357.52 c #Conflicts: 1685000 | #Constraints: 44478
3348.86/3357.52 c #Conflicts: 1686000 | #Constraints: 45478
3348.86/3357.52 c #Conflicts: 1687000 | #Constraints: 46478
3348.86/3357.52 c #Conflicts: 1688000 | #Constraints: 47478
3348.86/3357.52 c #Conflicts: 1689000 | #Constraints: 48478
3348.86/3357.52 c #Conflicts: 1690000 | #Constraints: 49478
3348.86/3357.52 c #Conflicts: 1691000 | #Constraints: 50478
3348.86/3357.52 c #Conflicts: 1692000 | #Constraints: 51478
3348.86/3357.52 c #Conflicts: 1693000 | #Constraints: 52478
3348.86/3357.52 c #Conflicts: 1694000 | #Constraints: 53478
3348.86/3357.52 c INPROCESSING
3348.86/3357.52 c GARBAGE COLLECT
3348.86/3357.52 c #Conflicts: 1695000 | #Constraints: 28680
3348.86/3357.52 c #Conflicts: 1696000 | #Constraints: 29680
3348.86/3357.52 c #Conflicts: 1697000 | #Constraints: 30680
3348.86/3357.52 c #Conflicts: 1698000 | #Constraints: 31680
3348.86/3357.52 c #Conflicts: 1699000 | #Constraints: 32680
3348.86/3357.52 c #Conflicts: 1700000 | #Constraints: 33680
3348.86/3357.52 c #Conflicts: 1701000 | #Constraints: 34680
3348.86/3357.52 c #Conflicts: 1702000 | #Constraints: 35680
3348.86/3357.52 c #Conflicts: 1703000 | #Constraints: 36680
3348.86/3357.52 c #Conflicts: 1704000 | #Constraints: 37680
3348.86/3357.52 c #Conflicts: 1705000 | #Constraints: 38680
3348.86/3357.52 c #Conflicts: 1706000 | #Constraints: 39680
3348.86/3357.52 c #Conflicts: 1707000 | #Constraints: 40680
3348.86/3357.52 c #Conflicts: 1708000 | #Constraints: 41680
3475.23/3484.22 c #Conflicts: 1709000 | #Constraints: 42680
3475.23/3484.22 c #Conflicts: 1710000 | #Constraints: 43680
3475.23/3484.22 c #Conflicts: 1711000 | #Constraints: 44680
3475.23/3484.22 c #Conflicts: 1712000 | #Constraints: 45680
3475.23/3484.22 c #Conflicts: 1713000 | #Constraints: 46680
3475.23/3484.22 c #Conflicts: 1714000 | #Constraints: 47680
3475.23/3484.22 c #Conflicts: 1715000 | #Constraints: 48680
3475.23/3484.22 c #Conflicts: 1716000 | #Constraints: 49680
3475.23/3484.22 c #Conflicts: 1717000 | #Constraints: 50680
3475.23/3484.22 c #Conflicts: 1718000 | #Constraints: 51680
3475.23/3484.22 c #Conflicts: 1719000 | #Constraints: 52680
3475.23/3484.22 c #Conflicts: 1720000 | #Constraints: 53680
3475.23/3484.22 c INPROCESSING
3475.23/3484.22 c GARBAGE COLLECT
3475.23/3484.22 c #Conflicts: 1721000 | #Constraints: 28673
3475.23/3484.22 c #Conflicts: 1722000 | #Constraints: 29673
3475.23/3484.22 c #Conflicts: 1723000 | #Constraints: 30673
3475.23/3484.22 c #Conflicts: 1724000 | #Constraints: 31673
3475.23/3484.22 c #Conflicts: 1725000 | #Constraints: 32673
3475.23/3484.22 c #Conflicts: 1726000 | #Constraints: 33673
3475.23/3484.22 c #Conflicts: 1727000 | #Constraints: 34673
3475.23/3484.22 c #Conflicts: 1728000 | #Constraints: 35673
3475.23/3484.22 c #Conflicts: 1729000 | #Constraints: 36673
3475.23/3484.22 c #Conflicts: 1730000 | #Constraints: 37673
3475.23/3484.22 c #Conflicts: 1731000 | #Constraints: 38673
3475.23/3484.22 c #Conflicts: 1732000 | #Constraints: 39673
3475.23/3484.22 c #Conflicts: 1733000 | #Constraints: 40673
3475.23/3484.22 c #Conflicts: 1734000 | #Constraints: 41673
3475.23/3484.22 c #Conflicts: 1735000 | #Constraints: 42673
3475.23/3484.22 c #Conflicts: 1736000 | #Constraints: 43673
3475.23/3484.22 c #Conflicts: 1737000 | #Constraints: 44673
3475.23/3484.22 c #Conflicts: 1738000 | #Constraints: 45673
3475.23/3484.22 c #Conflicts: 1739000 | #Constraints: 46673
3475.23/3484.22 c #Conflicts: 1740000 | #Constraints: 47673
3475.23/3484.22 c #Conflicts: 1741000 | #Constraints: 48673
3475.23/3484.22 c #Conflicts: 1742000 | #Constraints: 49673
3475.23/3484.22 c #Conflicts: 1743000 | #Constraints: 50673
3475.23/3484.22 c #Conflicts: 1744000 | #Constraints: 51673
3475.23/3484.22 c #Conflicts: 1745000 | #Constraints: 52673
3475.23/3484.22 c #Conflicts: 1746000 | #Constraints: 53673
3475.23/3484.22 c INPROCESSING
3475.23/3484.22 c GARBAGE COLLECT
3475.23/3484.22 c #Conflicts: 1747000 | #Constraints: 28478
3475.23/3484.22 c #Conflicts: 1748000 | #Constraints: 29478
3475.23/3484.22 c #Conflicts: 1749000 | #Constraints: 30478
3475.23/3484.22 c #Conflicts: 1750000 | #Constraints: 31478
3475.23/3484.22 c #Conflicts: 1751000 | #Constraints: 32478
3475.23/3484.22 c #Conflicts: 1752000 | #Constraints: 33478
3475.23/3484.22 c #Conflicts: 1753000 | #Constraints: 34478
3475.23/3484.22 c #Conflicts: 1754000 | #Constraints: 35478
3475.23/3484.22 c #Conflicts: 1755000 | #Constraints: 36478
3475.23/3484.22 c #Conflicts: 1756000 | #Constraints: 37478
3475.23/3484.22 c #Conflicts: 1757000 | #Constraints: 38478
3475.23/3484.22 c #Conflicts: 1758000 | #Constraints: 39478
3475.23/3484.22 c #Conflicts: 1759000 | #Constraints: 40478
3475.23/3484.22 c #Conflicts: 1760000 | #Constraints: 41478
3475.23/3484.22 c #Conflicts: 1761000 | #Constraints: 42478
3475.23/3484.22 c #Conflicts: 1762000 | #Constraints: 43478
3475.23/3484.22 c #Conflicts: 1763000 | #Constraints: 44478
3475.23/3484.22 c #Conflicts: 1764000 | #Constraints: 45478
3475.23/3484.22 c #Conflicts: 1765000 | #Constraints: 46478
3475.23/3484.22 c #Conflicts: 1766000 | #Constraints: 47478
3475.23/3484.22 c #Conflicts: 1767000 | #Constraints: 48478
3475.23/3484.22 c #Conflicts: 1768000 | #Constraints: 49478
3475.23/3484.22 c #Conflicts: 1769000 | #Constraints: 50478
3475.23/3484.22 c #Conflicts: 1770000 | #Constraints: 51478
3475.23/3484.22 c #Conflicts: 1771000 | #Constraints: 52478
3475.23/3484.22 c #Conflicts: 1772000 | #Constraints: 53478
3475.23/3484.22 c #Conflicts: 1773000 | #Constraints: 54478
3475.23/3484.22 c INPROCESSING
3475.23/3484.22 c GARBAGE COLLECT
3475.23/3484.22 c #Conflicts: 1774000 | #Constraints: 29078
3475.23/3484.22 c #Conflicts: 1775000 | #Constraints: 30078
3475.23/3484.22 c #Conflicts: 1776000 | #Constraints: 31078
3475.23/3484.22 c #Conflicts: 1777000 | #Constraints: 32078
3475.23/3484.22 c #Conflicts: 1778000 | #Constraints: 33078
3475.23/3484.22 c #Conflicts: 1779000 | #Constraints: 34078
3475.23/3484.22 c #Conflicts: 1780000 | #Constraints: 35078
3475.23/3484.22 c #Conflicts: 1781000 | #Constraints: 36078
3475.23/3484.22 c #Conflicts: 1782000 | #Constraints: 37078
3475.23/3484.22 c #Conflicts: 1783000 | #Constraints: 38078
3475.23/3484.22 c #Conflicts: 1784000 | #Constraints: 39078
3475.23/3484.22 c #Conflicts: 1785000 | #Constraints: 40078
3589.44/3598.74 c #Conflicts: 1786000 | #Constraints: 41078
3589.44/3598.74 c #Conflicts: 1787000 | #Constraints: 42078
3589.44/3598.74 c #Conflicts: 1788000 | #Constraints: 43078
3589.44/3598.74 c #Conflicts: 1789000 | #Constraints: 44078
3589.44/3598.74 c #Conflicts: 1790000 | #Constraints: 45078
3589.44/3598.74 c #Conflicts: 1791000 | #Constraints: 46078
3589.44/3598.74 c #Conflicts: 1792000 | #Constraints: 47078
3589.44/3598.74 c #Conflicts: 1793000 | #Constraints: 48078
3589.44/3598.74 c #Conflicts: 1794000 | #Constraints: 49078
3589.44/3598.74 c #Conflicts: 1795000 | #Constraints: 50078
3589.44/3598.74 c #Conflicts: 1796000 | #Constraints: 51078
3589.44/3598.74 c #Conflicts: 1797000 | #Constraints: 52078
3589.44/3598.74 c #Conflicts: 1798000 | #Constraints: 53078
3589.44/3598.74 c #Conflicts: 1799000 | #Constraints: 54078
3589.44/3598.74 c #Conflicts: 1800000 | #Constraints: 55078
3589.44/3598.74 c INPROCESSING
3589.44/3598.74 c GARBAGE COLLECT
3589.44/3598.74 c #Conflicts: 1801000 | #Constraints: 29484
3589.44/3598.74 c #Conflicts: 1802000 | #Constraints: 30484
3589.44/3598.74 c #Conflicts: 1803000 | #Constraints: 31484
3589.44/3598.74 c #Conflicts: 1804000 | #Constraints: 32484
3589.44/3598.74 c #Conflicts: 1805000 | #Constraints: 33484
3589.44/3598.74 c #Conflicts: 1806000 | #Constraints: 34484
3589.44/3598.74 c #Conflicts: 1807000 | #Constraints: 35484
3589.44/3598.74 c #Conflicts: 1808000 | #Constraints: 36484
3589.44/3598.74 c #Conflicts: 1809000 | #Constraints: 37484
3589.44/3598.74 c #Conflicts: 1810000 | #Constraints: 38484
3589.44/3598.74 c #Conflicts: 1811000 | #Constraints: 39484
3589.44/3598.74 c #Conflicts: 1812000 | #Constraints: 40484
3589.44/3598.74 c #Conflicts: 1813000 | #Constraints: 41484
3589.44/3598.74 c #Conflicts: 1814000 | #Constraints: 42484
3589.44/3598.74 c #Conflicts: 1815000 | #Constraints: 43484
3589.44/3598.74 c #Conflicts: 1816000 | #Constraints: 44484
3589.44/3598.74 c #Conflicts: 1817000 | #Constraints: 45484
3589.44/3598.74 c #Conflicts: 1818000 | #Constraints: 46484
3589.44/3598.74 c #Conflicts: 1819000 | #Constraints: 47484
3589.44/3598.74 c #Conflicts: 1820000 | #Constraints: 48484
3589.44/3598.74 c #Conflicts: 1821000 | #Constraints: 49484
3589.44/3598.74 c #Conflicts: 1822000 | #Constraints: 50484
3589.44/3598.74 c #Conflicts: 1823000 | #Constraints: 51484
3589.44/3598.74 c #Conflicts: 1824000 | #Constraints: 52484
3589.44/3598.74 c #Conflicts: 1825000 | #Constraints: 53484
3589.44/3598.74 c #Conflicts: 1826000 | #Constraints: 54484
3589.44/3598.74 c #Conflicts: 1827000 | #Constraints: 55484
3589.44/3598.74 c INPROCESSING
3589.44/3598.74 c GARBAGE COLLECT
3589.44/3598.74 c #Conflicts: 1828000 | #Constraints: 29691
3589.44/3598.74 c #Conflicts: 1829000 | #Constraints: 30691
3589.44/3598.74 c #Conflicts: 1830000 | #Constraints: 31691
3589.44/3598.74 c #Conflicts: 1831000 | #Constraints: 32691
3589.44/3598.74 c #Conflicts: 1832000 | #Constraints: 33691
3589.44/3598.74 c #Conflicts: 1833000 | #Constraints: 34691
3589.44/3598.74 c #Conflicts: 1834000 | #Constraints: 35691
3589.44/3598.74 c #Conflicts: 1835000 | #Constraints: 36691
3589.44/3598.74 c #Conflicts: 1836000 | #Constraints: 37691
3589.44/3598.74 c #Conflicts: 1837000 | #Constraints: 38691
3589.44/3598.74 c #Conflicts: 1838000 | #Constraints: 39691
3589.44/3598.74 c #Conflicts: 1839000 | #Constraints: 40691
3589.44/3598.74 c #Conflicts: 1840000 | #Constraints: 41691
3589.44/3598.74 c #Conflicts: 1841000 | #Constraints: 42691
3589.44/3598.74 c #Conflicts: 1842000 | #Constraints: 43691
3589.44/3598.74 c #Conflicts: 1843000 | #Constraints: 44691
3589.44/3598.74 c #Conflicts: 1844000 | #Constraints: 45691
3589.44/3598.74 c #Conflicts: 1845000 | #Constraints: 46691
3589.44/3598.74 c #Conflicts: 1846000 | #Constraints: 47691
3589.44/3598.74 c #Conflicts: 1847000 | #Constraints: 48691
3589.44/3598.74 c #Conflicts: 1848000 | #Constraints: 49691
3589.44/3598.74 c #Conflicts: 1849000 | #Constraints: 50691
3589.44/3598.74 c #Conflicts: 1850000 | #Constraints: 51691
3589.44/3598.74 c #Conflicts: 1851000 | #Constraints: 52691
3589.44/3598.74 c #Conflicts: 1852000 | #Constraints: 53691
3589.44/3598.74 c #Conflicts: 1853000 | #Constraints: 54691
3589.44/3598.74 c #Conflicts: 1854000 | #Constraints: 55691
3589.44/3598.74 c INPROCESSING
3589.44/3598.74 c GARBAGE COLLECT
3589.44/3598.74 c #Conflicts: 1855000 | #Constraints: 29674
3589.44/3598.74 c #Conflicts: 1856000 | #Constraints: 30674
3589.44/3598.74 c #Conflicts: 1857000 | #Constraints: 31674
3589.44/3598.74 c #Conflicts: 1858000 | #Constraints: 32674
3589.44/3598.74 c #Conflicts: 1859000 | #Constraints: 33674
3589.44/3598.74 c #Conflicts: 1860000 | #Constraints: 34674
3589.44/3598.74 c #Conflicts: 1861000 | #Constraints: 35674
3589.44/3598.74 c #Conflicts: 1862000 | #Constraints: 36674
3600.01/3609.30 c #Conflicts: 1863000 | #Constraints: 37674
3600.01/3609.30 c #Conflicts: 1864000 | #Constraints: 38674
3600.01/3609.30 c #Conflicts: 1865000 | #Constraints: 39674
3600.01/3609.30 c #Conflicts: 1866000 | #Constraints: 40674
3600.01/3609.30 c #Conflicts: 1867000 | #Constraints: 41674
3600.01/3609.30 c #Conflicts: 1868000 | #Constraints: 42674
3600.01/3609.30 c #Conflicts: 1869000 | #Constraints: 43674
3600.01/3609.30 c #Conflicts: 1870000 | #Constraints: 44674
3600.01/3609.30 c cpu time 3568.92 s
3600.01/3609.30 c deterministic time 5608684 5.61e+06
3600.01/3609.30 c optimization time 3568.16 s
3600.01/3609.30 c total solve time 0.436637 s
3600.01/3609.30 c core-guided solve time 0 s
3600.01/3609.30 c propagation time 0.256007 s
3600.01/3609.30 c conflict analysis time 0.030426 s
3600.01/3609.30 c propagations 524339
3600.01/3609.30 c resolve steps 0
3600.01/3609.30 c decisions 493939
3600.01/3609.30 c conflicts 8
3600.01/3609.30 c restarts 1
3600.01/3609.30 c inprocessing phases 0
3600.01/3609.30 c garbage collections 0 ,( -nan )
3600.01/3609.30 c input clauses 98738 ,( 98.20 )
3600.01/3609.30 c input cardinalities 1561 ,( 1.55 )
3600.01/3609.30 c input general constraints 247 ,( 0.25 )
3600.01/3609.30 c input average constraint length 19.63
3600.01/3609.30 c input average constraint degree 473020426072.97
3600.01/3609.30 c learned clauses 180 ,( 82.57 )
3600.01/3609.30 c learned cardinalities 0 ,( 0.00 )
3600.01/3609.30 c learned general constraints 38 ,( 17.43 )
3600.01/3609.30 c learned average constraint length 3.24
3600.01/3609.30 c learned average constraint degree 1.22
3600.01/3609.30 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3609.30 c counting CF 32, 64, 128, Arb: 81 , 205 , 0 , 0
3600.01/3609.30 c watched constraints 0 ,( 0.00 )
3600.01/3609.30 c counting constraints 285 ,( 100.00 )
3600.01/3609.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 283966 , 12186 , 1240011 ,( 0 , 1240011 )
3600.01/3609.30 c gcd simplifications 0
3600.01/3609.30 c detected cardinalities 0
3600.01/3609.30 c weakened non-implied lits 0
3600.01/3609.30 c weakened non-implying lits 0
3600.01/3609.30 c original variables 21101
3600.01/3609.30 c clausal propagations 273964
3600.01/3609.30 c cardinality propagations 170
3600.01/3609.30 c watched propagations 0
3600.01/3609.30 c counting propagations 20075
3600.01/3609.30 c watch lookups 3070471
3600.01/3609.30 c watch backjump lookups 0
3600.01/3609.30 c watch checks 144223
3600.01/3609.30 c propagation checks 350018
3600.01/3609.30 c constraint additions 5609
3600.01/3609.30 c trail pops 1017084
3600.01/3609.30 c formula constraints 99896
3600.01/3609.30 c learned constraints 218
3600.01/3609.30 c bound constraints 0
3600.01/3609.30 c core-guided constraints 0
3600.01/3609.30 c encountered formula constraints 8
3600.01/3609.30 c encountered learned constraints 0
3600.01/3609.30 c encountered bound constraints 0
3600.01/3609.30 c encountered core-guided constraints 0
3600.01/3609.30 c LP total time 0.198771 s
3600.01/3609.30 c LP solve time 0.15 s
3600.01/3609.30 c LP constraints added 99896
3600.01/3609.30 c LP constraints removed 0
3600.01/3609.30 c LP pivots internal 2000
3600.01/3609.30 c LP pivots root 1000
3600.01/3609.30 c LP calls 2
3600.01/3609.30 c LP optimalities 0
3600.01/3609.30 c LP no pivot count 0
3600.01/3609.30 c LP infeasibilities 0
3600.01/3609.30 c LP valid Farkas constraints 0
3600.01/3609.30 c LP learned Farkas constraints 0
3600.01/3609.30 c LP basis resets 0
3600.01/3609.30 c LP cycling count 0
3600.01/3609.30 c LP singular count 0
3600.01/3609.30 c LP no primal count 0
3600.01/3609.30 c LP no farkas count 0
3600.01/3609.30 c LP other issue count 0
3600.01/3609.30 c LP Gomory cuts 0
3600.01/3609.30 c LP learned cuts 0
3600.01/3609.30 c LP deleted cuts 0
3600.01/3609.30 c LP encountered Gomory constraints 0
3600.01/3609.30 c LP encountered Farkas constraints 0
3600.01/3609.30 c LP encountered learned Farkas constraints 0
3600.01/3609.30 c CG auxiliary variables introduced 228
3600.01/3609.30 c CG solutions found 0
3600.01/3609.30 c CG cores constructed 218
3600.01/3609.30 c CG core cardinality constraints returned 0
3600.01/3609.30 c CG unit cores 0
3600.01/3609.30 c CG single cores 0
3600.01/3609.30 c CG blocks removed during cardinality reduction 0
3600.01/3609.30 c CG first core best 0
3600.01/3609.30 c CG decision core best 0
3600.01/3609.30 c CG core reduction tie 0
3600.01/3609.30 c CG core degree average 0.00
3600.01/3609.30 c CG core slack average 0.00
3600.01/3609.30 c CG core upper bound improvements 0
3600.01/3609.30 c STR number of successful calls 0
3600.01/3609.30 c STR number of unsuccessful calls 0
3600.01/3609.30 c STR number of inconclusive calls 0
3600.01/3609.30 c STR number of successful attempts 0
3600.01/3609.30 c STR number of unsuccessful attempts 0
3600.01/3609.30 c STR number of inconclusive attempts 0
3600.01/3609.30 c STR average degree increase per successful call inf
3600.01/3609.30 c STR average degree increase per successful attempt inf
3600.01/3609.30 c STR total number of conflicts for successful attempts 0
3600.01/3609.30 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.30 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.30 c STR average number of conflicts per successful attempt inf
3600.01/3609.30 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.30 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.30 c AVG.sumWPerc 95.92
3600.01/3609.30 c bigint constraints 205
3600.01/3609.30 s UNKNOWN
3600.01/3609.30 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 (59788 MiB free)
memory of node 1: 64465 MiB (61451 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500914-1751473985/watcher-4500914-1751473985 -o /tmp/evaluation-result-4500914-1751473985/solver-4500914-1751473985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66045 --watchdog 3760 run-opt.sh HOME/instance-4500914-1751473985.opb
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 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
solver pid=67215, runsolver pid=67212
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.38 4.21 4.16 5/266 67217
/proc/meminfo: memFree=124142620/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=61232 memory=16344 CPUtime=0.08 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 2293 0 0 0 6 2 0 0 20 0 1 0 63075139 62701568 4086 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 15308 4086 1920 1147 0 2735 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65424 KiB
Current children cumulated memory: 19288 KiB
[startup+0.205692 s]*
/proc/loadavg: 4.38 4.21 4.16 5/266 67217
/proc/meminfo: memFree=124134744/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=64312 memory=20848 CPUtime=0.18 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 2924 0 0 0 14 4 0 0 20 0 1 0 63075139 65855488 5212 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 16078 5212 1920 1147 0 3505 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 68504 KiB
Current children cumulated memory: 23792 KiB
[startup+0.305574 s]*
/proc/loadavg: 4.38 4.21 4.16 5/266 67217
/proc/meminfo: memFree=124115212/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=84960 memory=40064 CPUtime=0.27 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 6039 0 0 0 20 7 0 0 20 0 1 0 63075139 86999040 10016 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 21240 10016 2272 1147 0 8667 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 89152 KiB
Current children cumulated memory: 43008 KiB
[startup+0.700197 s]
/proc/loadavg: 4.38 4.21 4.16 5/266 67217
/proc/meminfo: memFree=124037520/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=213924 memory=147236 CPUtime=0.66 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 17290 0 0 0 54 12 0 0 20 0 1 0 63075139 219058176 36809 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 53481 36809 2400 1147 0 40908 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 218116 KiB
Current children cumulated memory: 150180 KiB
[startup+1.50016 s]
/proc/loadavg: 4.38 4.21 4.16 5/266 67217
/proc/meminfo: memFree=124025360/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=219196 memory=153380 CPUtime=1.46 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 18829 0 0 0 89 57 0 0 20 0 1 0 63075139 224456704 38345 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 54799 38345 2400 1147 0 42226 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 223388 KiB
Current children cumulated memory: 156324 KiB
[startup+3.10548 s]
/proc/loadavg: 4.38 4.21 4.16 5/266 67217
/proc/meminfo: memFree=123928332/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=362316 memory=276852 CPUtime=3.06 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 41015 0 0 0 193 113 0 0 20 0 1 0 63075139 371011584 69213 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 90579 69213 2400 1147 0 78006 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 366508 KiB
Current children cumulated memory: 279796 KiB
[startup+6.30015 s]
/proc/loadavg: 4.35 4.20 4.16 5/266 67217
/proc/meminfo: memFree=123754928/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=530248 memory=413800 CPUtime=6.25 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 67604 0 0 0 472 153 0 0 20 0 1 0 63075139 542973952 103450 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 132562 103450 2400 1147 0 119989 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 534440 KiB
Current children cumulated memory: 416744 KiB
[startup+12.7001 s]
/proc/loadavg: 4.32 4.20 4.16 5/266 67217
/proc/meminfo: memFree=123662500/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=534808 memory=462284 CPUtime=12.63 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 74633 0 0 0 1070 193 0 0 20 0 1 0 63075139 547643392 115571 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 133702 115571 2400 1147 0 121129 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 539000 KiB
Current children cumulated memory: 465228 KiB
[startup+25.5002 s]
/proc/loadavg: 4.25 4.19 4.16 5/266 67218
/proc/meminfo: memFree=123489808/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=799680 memory=636120 CPUtime=25.4 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 110948 0 0 0 2300 240 0 0 20 0 1 0 63075139 818872320 159030 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 199920 159030 2400 1147 0 187347 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 803872 KiB
Current children cumulated memory: 639064 KiB
[startup+51.1056 s]
/proc/loadavg: 4.16 4.17 4.15 5/266 67218
/proc/meminfo: memFree=123420380/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=802664 memory=681148 CPUtime=50.94 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 117079 0 0 0 4775 319 0 0 20 0 1 0 63075139 821927936 170287 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 200666 170287 2400 1147 0 188093 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 806856 KiB
Current children cumulated memory: 684092 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/266 67220
/proc/meminfo: memFree=122905060/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=1426188 memory=1076208 CPUtime=102.01 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 194432 0 0 0 9751 450 0 0 20 0 1 0 63075139 1460416512 269052 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 356547 269052 2400 1147 0 343974 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1430380 KiB
Current children cumulated memory: 1079152 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.17 4.15 5/267 67223
/proc/meminfo: memFree=122378672/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=1429260 memory=1144632 CPUtime=161.86 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 203375 0 0 0 15607 579 0 0 20 0 1 0 63075139 1463562240 286158 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 357315 286158 2400 1147 0 344742 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1433452 KiB
Current children cumulated memory: 1147576 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/268 67232
/proc/meminfo: memFree=122324572/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=1433232 memory=1181420 CPUtime=221.72 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 208490 0 0 0 21494 678 0 0 20 0 1 0 63075139 1467629568 295355 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 358308 295355 2400 1147 0 345735 0
################
# More data... #
################
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=2940148 memory=2544668 CPUtime=3094.36 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 448240 0 0 0 306684 2752 0 0 20 0 1 0 63075139 3010711552 636167 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 735037 636167 2400 1147 0 722464 0
Current children cumulated CPU time: 3094.36 s
Current children cumulated vsize: 2944340 KiB
Current children cumulated memory: 2547612 KiB
[startup+3162.3 s]
/proc/loadavg: 4.32 4.18 4.12 5/267 67379
/proc/meminfo: memFree=114866200/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=2940148 memory=2544668 CPUtime=3154.2 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 448246 0 0 0 312651 2769 0 0 20 0 1 0 63075139 3010711552 636167 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 735037 636167 2400 1147 0 722464 0
Current children cumulated CPU time: 3154.2 s
Current children cumulated vsize: 2944340 KiB
Current children cumulated memory: 2547612 KiB
[startup+3222.3 s]
/proc/loadavg: 4.30 4.19 4.12 5/267 67388
/proc/meminfo: memFree=113982208/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=2940148 memory=2544796 CPUtime=3214.04 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 448327 0 0 0 318614 2790 0 0 20 0 1 0 63075139 3010711552 636199 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 735037 636199 2400 1147 0 722464 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 2944340 KiB
Current children cumulated memory: 2547740 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.18 4.12 3/253 67452
/proc/meminfo: memFree=121839704/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=2941172 memory=2546716 CPUtime=3273.88 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 448816 0 0 0 324552 2836 0 0 20 0 1 0 63075139 3011760128 636679 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 735293 636679 2400 1147 0 722720 0
Current children cumulated CPU time: 3273.88 s
Current children cumulated vsize: 2945364 KiB
Current children cumulated memory: 2549660 KiB
[startup+3342.3 s]
/proc/loadavg: 2.75 3.78 3.99 2/246 67485
/proc/meminfo: memFree=125277536/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=2947316 memory=2700192 CPUtime=3333.7 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 468367 0 0 0 330487 2883 0 0 20 0 1 0 63075139 3018051584 675048 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 736829 675048 2400 1147 0 724256 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 2951508 KiB
Current children cumulated memory: 2703136 KiB
[startup+3402.3 s]
/proc/loadavg: 1.70 3.29 3.80 2/247 67488
/proc/meminfo: memFree=125203936/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=2948340 memory=2738056 CPUtime=3393.54 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 472877 0 0 0 336423 2931 0 0 20 0 1 0 63075139 3019100160 684514 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 737085 684514 2400 1147 0 724512 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 2952532 KiB
Current children cumulated memory: 2741000 KiB
[startup+3462.3 s]
/proc/loadavg: 1.30 2.88 3.63 2/248 67492
/proc/meminfo: memFree=124379992/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=4571404 memory=3573880 CPUtime=3453.39 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 679316 0 0 0 342345 2994 0 0 20 0 1 0 63075139 4681117696 893470 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 1142851 893470 2400 1147 0 1130278 0
Current children cumulated CPU time: 3453.39 s
Current children cumulated vsize: 4575596 KiB
Current children cumulated memory: 3576824 KiB
[startup+3522.3 s]
/proc/loadavg: 1.14 2.55 3.47 2/248 67494
/proc/meminfo: memFree=124364692/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=4571404 memory=3589708 CPUtime=3513.24 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 681314 0 0 0 348274 3050 0 0 20 0 1 0 63075139 4681117696 897427 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 1142851 897427 2400 1147 0 1130278 0
Current children cumulated CPU time: 3513.24 s
Current children cumulated vsize: 4575596 KiB
Current children cumulated memory: 3592652 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 2.28 3.32 2/248 67496
/proc/meminfo: memFree=124367892/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=4571404 memory=3589708 CPUtime=3573.09 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 681386 0 0 0 354214 3095 0 0 20 0 1 0 63075139 4681117696 897427 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 1142851 897427 2400 1147 0 1130278 0
Current children cumulated CPU time: 3573.09 s
Current children cumulated vsize: 4575596 KiB
Current children cumulated memory: 3592652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 1.13 2.19 3.26 2/248 67496
/proc/meminfo: memFree=124289240/131250000 swapFree=33010672/33010684
[pid=67215] ppid=67212 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67215/stat : 67215 (run-opt.sh) S 67212 67215 66032 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 63075139 4292608 736 18446744073709551615 94428054421504 94428055316037 140733357598192 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94428055555088 94428055602832 94428083408896 140733357607277 140733357607400 140733357607400 140733357613002 0
/proc/67215/statm: 1048 736 672 219 0 110 0
[pid=67217] ppid=67215 vsize=4589836 memory=3668644 CPUtime=3600.01 cores=5,7
/proc/67217/stat : 67217 (roundingsat) R 67215 67215 66032 0 -1 4194304 693005 0 0 0 356891 3110 0 0 20 0 1 0 63075139 4699992064 917161 18446744073709551615 4227072 8923433 140722746729296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28078080 140722746735010 140722746735144 140722746735144 140722746740714 0
/proc/67217/statm: 1147459 917161 2400 1147 0 1134886 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 4594028 KiB
Current children cumulated memory: 3671588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 67215 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002153 s, system=0 s
[startup+3609.42 s]
# the end of solver process 67217 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3568.93 s, system=31.2271 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.4 s]*
/proc/loadavg: 1.13 2.19 3.26 2/247 67496
/proc/meminfo: memFree=127531832/131250000 swapFree=33010672/33010684
Current cumulated CPU time of completed processes: 0.002153 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3609.42
CPU time (s): 3600.15
CPU user time (s): 3568.93
CPU system time (s): 31.2271
CPU usage (%): 99.7432
Max. virtual memory (cumulated for all children) (KiB): 4594028
Max. memory (cumulated for all children) (KiB): 3671588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.93
system time used= 31.2271
maximum resident set size= 3668900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 693232
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 205
involuntary context switches= 1950
# summary of solver processes directly reported to runsolver:
# pid: 67215,67217
# total CPU time (s): 3600.15
# total CPU user time (s): 3568.93
# total CPU system time (s): 31.2271
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.24176 second user time and 14.6774 second system time
The end
Begin job on nodeC014 at 2025-07-02 18:33:05
IDJOB=4500914
IDBENCH=150978
IDSOLVER=3350
FILE ID=nodeC014/4500914-1751473985
RUNJOBID= nodeC014-1751466415-66045
SLURM_JOB_ID= 9598484
Free space on /tmp= 430504 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-synaptic.cudf.trendy.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500914-1751473985/watcher-4500914-1751473985 -o /tmp/evaluation-result-4500914-1751473985/solver-4500914-1751473985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66045 --watchdog 3760 run-opt.sh HOME/instance-4500914-1751473985.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8966d285f2748c155bf76cd96ff51ed3
RANDOM SEED=860017912
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 : 3600.075
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.122
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 : 3492.396
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 : 3600.053
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 : 3600.194
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.052
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 : 3611.275
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 : 3598.645
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: 124148728 kB
MemAvailable: 125893400 kB
Buffers: 2508 kB
Cached: 2540404 kB
SwapCached: 4 kB
Active: 4480292 kB
Inactive: 1992988 kB
Active(anon): 3944580 kB
Inactive(anon): 3852 kB
Active(file): 535712 kB
Inactive(file): 1989136 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10728 kB
Writeback: 0 kB
AnonPages: 3933632 kB
Mapped: 117772 kB
Shmem: 18064 kB
KReclaimable: 118128 kB
Slab: 208868 kB
SReclaimable: 118128 kB
SUnreclaim: 90740 kB
KernelStack: 4304 kB
PageTables: 11376 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 4623956 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 598016 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= 430528 MiB
End job on nodeC014 at 2025-07-02 19:33:15