0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.60/0.73 c #variables 2700 #constraints 43070
0.60/0.73 c objective is ce32
0.60/0.74 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.60/0.74 c initial counting CF 32, 64, 128, Arb: 21601 , 0 , 0 , 0
0.60/0.74 c GLOBAL bounds - >= 0 @ 0.508351
0.60/0.74 c GLOBAL bounds - >= 0 @ 0.509346
0.60/0.75 c GLOBAL bounds - >= 0 @ 0.511573
0.60/0.75 c GLOBAL bounds - >= 0 @ 0.514321
0.60/0.76 c GLOBAL bounds - >= 0 @ 0.515316
0.60/0.76 c GLOBAL bounds - >= 0 @ 0.516308
0.60/0.77 c GLOBAL bounds - >= 0 @ 0.517665
0.60/0.77 c GLOBAL bounds - >= 0 @ 0.52054
0.60/0.77 c GLOBAL bounds - >= 0 @ 0.523272
0.60/0.78 c GLOBAL bounds - >= 0 @ 0.526262
0.60/0.78 c GLOBAL bounds - >= 0 @ 0.528512
0.60/0.79 c GLOBAL bounds - >= 0 @ 0.53148
0.60/0.79 c GLOBAL bounds - >= 0 @ 0.533234
0.70/0.80 c GLOBAL bounds - >= 0 @ 0.533618
0.70/0.80 c GLOBAL bounds - >= 0 @ 0.536048
0.70/0.81 c GLOBAL bounds - >= 0 @ 0.544693
0.70/0.82 c GLOBAL bounds - >= 0 @ 0.547056
0.70/0.82 c GLOBAL bounds - >= 0 @ 0.547443
0.70/0.83 c GLOBAL bounds - >= 0 @ 0.550046
0.70/0.83 c GLOBAL bounds - >= 0 @ 0.55305
0.70/0.84 c GLOBAL bounds - >= 0 @ 0.556015
0.70/0.84 c GLOBAL bounds - >= 0 @ 0.558246
0.70/0.85 c GLOBAL bounds - >= 0 @ 0.56223
0.70/0.86 c GLOBAL bounds - >= 0 @ 0.566218
0.70/0.86 c GLOBAL bounds - >= 0 @ 0.568225
0.70/0.86 c GLOBAL bounds - >= 0 @ 0.570987
0.70/0.87 c GLOBAL bounds - >= 0 @ 0.573195
0.70/0.88 c GLOBAL bounds - >= 0 @ 0.577367
0.70/0.88 c GLOBAL bounds - >= 0 @ 0.580928
0.70/0.89 c GLOBAL bounds - >= 0 @ 0.582918
0.70/0.89 c GLOBAL bounds - >= 0 @ 0.584417
0.79/0.90 c GLOBAL bounds - >= 0 @ 0.588371
0.79/0.90 c GLOBAL bounds - >= 0 @ 0.590308
0.79/0.91 c GLOBAL bounds - >= 0 @ 0.592775
0.79/0.91 c GLOBAL bounds - >= 0 @ 0.59476
0.79/0.92 c GLOBAL bounds - >= 0 @ 0.59853
0.79/0.92 c GLOBAL bounds - >= 0 @ 0.601739
0.79/0.93 c GLOBAL bounds - >= 0 @ 0.607716
0.79/0.94 c GLOBAL bounds - >= 0 @ 0.609708
0.79/0.94 c GLOBAL bounds - >= 0 @ 0.613642
0.79/0.95 c GLOBAL bounds - >= 0 @ 0.618679
0.79/0.96 c GLOBAL bounds - >= 0 @ 0.621666
0.79/0.96 c GLOBAL bounds - >= 0 @ 0.624653
0.79/0.97 c GLOBAL bounds - >= 0 @ 0.628641
0.79/0.97 c GLOBAL bounds - >= 0 @ 0.630635
0.79/0.98 c GLOBAL bounds - >= 0 @ 0.633208
0.79/0.99 c GLOBAL bounds - >= 0 @ 0.646126
0.89/1.01 c GLOBAL bounds - >= 0 @ 0.648394
0.89/1.04 c GLOBAL bounds - >= 0 @ 0.675434
0.89/1.04 c GLOBAL bounds - >= 0 @ 0.679672
0.89/1.05 c GLOBAL bounds - >= 0 @ 0.682941
0.89/1.06 c GLOBAL bounds - >= 0 @ 0.685815
0.89/1.06 c GLOBAL bounds - >= 0 @ 0.690701
0.89/1.07 c GLOBAL bounds - >= 0 @ 0.693147
0.89/1.08 c GLOBAL bounds - >= 0 @ 0.696727
0.89/1.08 c GLOBAL bounds - >= 0 @ 0.699599
0.89/1.09 c GLOBAL bounds - >= 0 @ 0.702902
0.89/1.10 c GLOBAL bounds - >= 0 @ 0.708895
0.89/1.10 c GLOBAL bounds - >= 0 @ 0.712573
1.00/1.11 c GLOBAL bounds - >= 0 @ 0.718712
1.00/1.16 c GLOBAL bounds - >= 0 @ 0.763571
1.00/1.17 c GLOBAL bounds - >= 0 @ 0.770232
1.00/1.19 c GLOBAL bounds - >= 0 @ 0.78936
1.00/1.19 c GLOBAL bounds - >= 0 @ 0.791874
1.09/1.20 c GLOBAL bounds - >= 0 @ 0.797275
1.09/1.20 c GLOBAL bounds - >= 0 @ 0.79976
1.09/1.21 c GLOBAL bounds - >= 0 @ 0.803118
1.09/1.23 c GLOBAL bounds - >= 0 @ 0.81966
1.09/1.23 c GLOBAL bounds - >= 0 @ 0.824695
1.09/1.24 c GLOBAL bounds - >= 0 @ 0.827886
1.09/1.25 c GLOBAL bounds - >= 0 @ 0.831676
1.09/1.26 c GLOBAL bounds - >= 0 @ 0.840109
1.09/1.26 c GLOBAL bounds - >= 0 @ 0.845631
1.09/1.27 c GLOBAL bounds - >= 0 @ 0.849611
1.19/1.34 c GLOBAL bounds - >= 0 @ 0.911328
1.19/1.35 c GLOBAL bounds - >= 0 @ 0.920301
1.19/1.36 c GLOBAL bounds - >= 0 @ 0.928467
1.28/1.45 c GLOBAL bounds - >= 0 @ 1.01309
1.39/1.51 c #Conflicts: 1000 | #Constraints: 1532
1.39/1.51 c GLOBAL bounds - >= 0 @ 1.07201
1.39/1.56 c GLOBAL bounds - >= 0 @ 1.11784
1.39/1.58 c GLOBAL bounds - >= 0 @ 1.13781
1.39/1.59 c GLOBAL bounds - >= 0 @ 1.14999
1.49/1.60 c GLOBAL bounds - >= 0 @ 1.15802
1.49/1.61 c GLOBAL bounds - >= 0 @ 1.16362
1.49/1.62 c GLOBAL bounds - >= 0 @ 1.16937
1.49/1.63 c GLOBAL bounds - >= 0 @ 1.17336
1.49/1.63 c GLOBAL bounds - >= 0 @ 1.17757
1.49/1.64 c GLOBAL bounds - >= 0 @ 1.18668
1.49/1.67 c GLOBAL bounds - >= 0 @ 1.20885
1.49/1.68 c GLOBAL bounds - >= 0 @ 1.21558
1.49/1.69 c GLOBAL bounds - >= 0 @ 1.23266
1.58/1.71 c GLOBAL bounds - >= 0 @ 1.25042
1.69/1.80 c GLOBAL bounds - >= 0 @ 1.32993
1.78/1.91 c GLOBAL bounds - >= 0 @ 1.4407
1.78/1.93 c GLOBAL bounds - >= 0 @ 1.45151
1.78/1.94 c GLOBAL bounds - >= 0 @ 1.46096
1.78/1.94 c GLOBAL bounds - >= 0 @ 1.46535
1.78/1.95 c GLOBAL bounds - >= 0 @ 1.47249
1.78/1.96 c GLOBAL bounds - >= 0 @ 1.47922
1.78/1.98 c #Conflicts: 2000 | #Constraints: 2574
1.78/1.98 c INPROCESSING
1.78/1.98 c GARBAGE COLLECT
1.78/1.98 c GLOBAL bounds - >= 0 @ 1.50326
1.78/1.99 c GLOBAL bounds - >= 0 @ 1.51026
1.88/2.03 c GLOBAL bounds - >= 0 @ 1.5378
1.88/2.05 c GLOBAL bounds - >= 0 @ 1.55433
1.88/2.05 c GLOBAL bounds - >= 0 @ 1.55947
1.88/2.09 c GLOBAL bounds - >= 0 @ 1.59257
1.88/2.09 c GLOBAL bounds - >= 0 @ 1.60035
1.88/2.10 c GLOBAL bounds - >= 0 @ 1.60463
1.98/2.10 c GLOBAL bounds - >= 0 @ 1.6077
1.98/2.11 c GLOBAL bounds - >= 0 @ 1.61452
2.08/2.23 c GLOBAL bounds - >= 0 @ 1.72621
2.18/2.37 c #Conflicts: 3000 | #Constraints: 2599
2.18/2.37 c GLOBAL bounds - >= 0 @ 1.86008
2.18/2.38 c GLOBAL bounds - >= 0 @ 1.87704
2.18/2.39 c GLOBAL bounds - >= 0 @ 1.88078
2.27/2.40 c GLOBAL bounds - >= 0 @ 1.89213
2.27/2.42 c GLOBAL bounds - >= 0 @ 1.90795
2.27/2.43 c GLOBAL bounds - >= 0 @ 1.91962
2.27/2.44 c GLOBAL bounds - >= 0 @ 1.92911
2.27/2.45 c GLOBAL bounds - >= 0 @ 1.93449
2.27/2.46 c GLOBAL bounds - >= 0 @ 1.94645
2.27/2.48 c GLOBAL bounds - >= 0 @ 1.96432
2.27/2.49 c GLOBAL bounds - >= 0 @ 1.9712
2.27/2.49 c GLOBAL bounds - >= 0 @ 1.97606
2.37/2.50 c GLOBAL bounds - >= 0 @ 1.9812
2.37/2.51 c GLOBAL bounds - >= 0 @ 1.98601
2.37/2.51 c GLOBAL bounds - >= 0 @ 1.99081
2.37/2.58 c GLOBAL bounds - >= 0 @ 2.05127
2.48/2.60 c GLOBAL bounds - >= 0 @ 2.06913
2.48/2.60 c GLOBAL bounds - >= 0 @ 2.07306
2.48/2.64 c GLOBAL bounds - >= 0 @ 2.11284
2.48/2.67 c GLOBAL bounds - >= 0 @ 2.13508
2.48/2.68 c GLOBAL bounds - >= 0 @ 2.14353
2.48/2.69 c GLOBAL bounds - >= 0 @ 2.15107
2.48/2.69 c GLOBAL bounds - >= 0 @ 2.15726
2.58/2.77 c GLOBAL bounds - >= 0 @ 2.22919
2.67/2.84 c #Conflicts: 4000 | #Constraints: 3647
2.67/2.84 c GLOBAL bounds - >= 0 @ 2.29328
2.67/2.88 c INPROCESSING
2.67/2.88 c GARBAGE COLLECT
2.67/2.88 c GLOBAL bounds - >= 0 @ 2.33557
2.67/2.89 c GLOBAL bounds - >= 0 @ 2.34341
2.78/2.92 c GLOBAL bounds - >= 0 @ 2.37456
2.88/3.02 c GLOBAL bounds - >= 0 @ 2.46869
2.88/3.06 c GLOBAL bounds - >= 0 @ 2.50958
2.88/3.07 c GLOBAL bounds - >= 0 @ 2.51877
2.97/3.12 c GLOBAL bounds - >= 0 @ 2.56591
2.97/3.15 c GLOBAL bounds - >= 0 @ 2.59151
2.97/3.19 c #Conflicts: 5000 | #Constraints: 3067
2.97/3.19 c GLOBAL bounds - >= 0 @ 2.62945
3.07/3.20 c GLOBAL bounds - >= 0 @ 2.64026
3.07/3.24 c GLOBAL bounds - >= 0 @ 2.67756
3.07/3.25 c GLOBAL bounds - >= 0 @ 2.68318
3.07/3.26 c GLOBAL bounds - >= 0 @ 2.69018
3.36/3.56 c #Conflicts: 6000 | #Constraints: 4077
3.36/3.56 c GLOBAL bounds - >= 0 @ 2.98755
3.36/3.56 c GLOBAL bounds - >= 0 @ 2.99418
3.47/3.62 c GLOBAL bounds - >= 0 @ 3.04861
3.47/3.63 c GLOBAL bounds - >= 0 @ 3.05522
3.57/3.71 c GLOBAL bounds - >= 0 @ 3.12816
3.57/3.73 c GLOBAL bounds - >= 0 @ 3.15557
3.57/3.75 c GLOBAL bounds - >= 0 @ 3.16862
3.57/3.76 c GLOBAL bounds - >= 0 @ 3.18427
3.57/3.77 c GLOBAL bounds - >= 0 @ 3.19451
3.66/3.80 c GLOBAL bounds - >= 0 @ 3.22163
3.77/3.90 c INPROCESSING
3.77/3.90 c GARBAGE COLLECT
3.77/3.90 c GLOBAL bounds - >= 0 @ 3.31452
3.77/3.92 c GLOBAL bounds - >= 0 @ 3.32743
3.96/4.14 c #Conflicts: 7000 | #Constraints: 3104
3.96/4.14 c GLOBAL bounds - >= 0 @ 3.54704
3.96/4.15 c GLOBAL bounds - >= 0 @ 3.55553
4.06/4.20 c GLOBAL bounds - >= 0 @ 3.59793
4.06/4.21 c GLOBAL bounds - >= 0 @ 3.61268
4.06/4.22 c GLOBAL bounds - >= 0 @ 3.61975
4.06/4.23 c GLOBAL bounds - >= 0 @ 3.62693
4.06/4.24 c GLOBAL bounds - >= 0 @ 3.64368
4.06/4.28 c GLOBAL bounds - >= 0 @ 3.67819
4.55/4.74 c #Conflicts: 8000 | #Constraints: 4120
4.55/4.74 c GLOBAL bounds - >= 0 @ 4.13073
4.55/4.75 c GLOBAL bounds - >= 0 @ 4.13952
4.76/4.97 c #Conflicts: 9000 | #Constraints: 5124
4.76/4.97 c INPROCESSING
4.76/4.97 c GARBAGE COLLECT
4.76/4.97 c GLOBAL bounds - >= 0 @ 4.35633
4.76/4.99 c GLOBAL bounds - >= 0 @ 4.36871
4.85/5.04 c GLOBAL bounds - >= 0 @ 4.4127
5.15/5.33 c #Conflicts: 10000 | #Constraints: 3831
5.15/5.33 c GLOBAL bounds - >= 0 @ 4.7003
5.55/5.77 c #Conflicts: 11000 | #Constraints: 4833
5.55/5.77 c GLOBAL bounds - >= 0 @ 5.13204
6.34/6.53 c #Conflicts: 12000 | #Constraints: 5835
6.34/6.53 c INPROCESSING
6.34/6.53 c GARBAGE COLLECT
6.34/6.53 c GLOBAL bounds - >= 0 @ 5.87006
8.52/8.78 c #Conflicts: 13000 | #Constraints: 4289
8.52/8.78 c #Conflicts: 14000 | #Constraints: 5289
8.52/8.78 c #Conflicts: 15000 | #Constraints: 6289
8.52/8.78 c INPROCESSING
8.52/8.78 c GARBAGE COLLECT
8.52/8.78 c #Conflicts: 16000 | #Constraints: 4519
8.52/8.78 c #Conflicts: 17000 | #Constraints: 5519
8.52/8.78 c GLOBAL bounds - >= 0 @ 8.0879
9.42/9.69 c #Conflicts: 18000 | #Constraints: 6521
9.42/9.69 c INPROCESSING
9.42/9.69 c GARBAGE COLLECT
9.42/9.69 c #Conflicts: 19000 | #Constraints: 4532
9.42/9.69 c GLOBAL bounds - >= 0 @ 8.9827
10.01/10.29 c #Conflicts: 20000 | #Constraints: 5534
10.01/10.29 c GLOBAL bounds - >= 0 @ 9.56666
10.80/11.08 c #Conflicts: 21000 | #Constraints: 6536
10.80/11.08 c INPROCESSING
10.80/11.08 c GARBAGE COLLECT
10.80/11.08 c #Conflicts: 22000 | #Constraints: 4343
10.80/11.08 c GLOBAL bounds - >= 0 @ 10.3448
10.91/11.10 c GLOBAL bounds - >= 0 @ 10.3623
10.91/11.12 c GLOBAL bounds - >= 0 @ 10.3812
10.91/11.13 c GLOBAL bounds - >= 0 @ 10.3887
11.30/11.57 c #Conflicts: 23000 | #Constraints: 5351
11.30/11.57 c GLOBAL bounds - >= 0 @ 10.8183
13.28/13.50 c #Conflicts: 24000 | #Constraints: 6353
13.28/13.50 c #Conflicts: 25000 | #Constraints: 7353
13.28/13.50 c INPROCESSING
13.28/13.50 c GARBAGE COLLECT
13.28/13.50 c #Conflicts: 26000 | #Constraints: 4962
13.28/13.50 c #Conflicts: 27000 | #Constraints: 5962
13.28/13.50 c GLOBAL bounds - >= 0 @ 12.7224
13.58/13.80 c #Conflicts: 28000 | #Constraints: 6964
13.58/13.80 c GLOBAL bounds - >= 0 @ 13.0218
13.88/14.17 c GLOBAL bounds - >= 0 @ 13.3786
14.07/14.31 c GLOBAL bounds - >= 0 @ 13.5132
15.36/15.65 c #Conflicts: 29000 | #Constraints: 7970
15.36/15.65 c INPROCESSING
15.36/15.65 c GARBAGE COLLECT
15.36/15.65 c #Conflicts: 30000 | #Constraints: 5366
15.36/15.65 c #Conflicts: 31000 | #Constraints: 6366
15.36/15.65 c GLOBAL bounds - >= 0 @ 14.84
33.58/33.98 c #Conflicts: 32000 | #Constraints: 7368
33.58/33.98 c #Conflicts: 33000 | #Constraints: 8368
33.58/33.98 c INPROCESSING
33.58/33.98 c GARBAGE COLLECT
33.58/33.98 c #Conflicts: 34000 | #Constraints: 5573
33.58/33.98 c #Conflicts: 35000 | #Constraints: 6573
33.58/33.98 c #Conflicts: 36000 | #Constraints: 7573
33.58/33.98 c #Conflicts: 37000 | #Constraints: 8573
33.58/33.98 c INPROCESSING
33.58/33.98 c GARBAGE COLLECT
33.58/33.98 c #Conflicts: 38000 | #Constraints: 5580
33.58/33.98 c #Conflicts: 39000 | #Constraints: 6580
33.58/33.98 c #Conflicts: 40000 | #Constraints: 7580
33.58/33.98 c #Conflicts: 41000 | #Constraints: 8580
33.58/33.98 c INPROCESSING
33.58/33.98 c GARBAGE COLLECT
33.58/33.98 c #Conflicts: 42000 | #Constraints: 5380
33.58/33.98 c #Conflicts: 43000 | #Constraints: 6380
33.58/33.98 c #Conflicts: 44000 | #Constraints: 7380
33.58/33.98 c #Conflicts: 45000 | #Constraints: 8380
33.58/33.98 c #Conflicts: 46000 | #Constraints: 9380
33.58/33.98 c INPROCESSING
33.58/33.98 c GARBAGE COLLECT
33.58/33.98 c #Conflicts: 47000 | #Constraints: 5979
33.58/33.98 c #Conflicts: 48000 | #Constraints: 6979
33.58/33.98 c #Conflicts: 49000 | #Constraints: 7979
33.58/33.98 c #Conflicts: 50000 | #Constraints: 8979
33.58/33.98 c #Conflicts: 51000 | #Constraints: 9979
33.58/33.98 c INPROCESSING
33.58/33.98 c GARBAGE COLLECT
33.58/33.98 c #Conflicts: 52000 | #Constraints: 6385
33.58/33.98 c #Conflicts: 53000 | #Constraints: 7385
33.58/33.98 c #Conflicts: 54000 | #Constraints: 8385
33.58/33.98 c #Conflicts: 55000 | #Constraints: 9385
33.58/33.98 c #Conflicts: 56000 | #Constraints: 10385
33.58/33.98 c INPROCESSING
33.58/33.98 c GARBAGE COLLECT
33.58/33.98 c #Conflicts: 57000 | #Constraints: 6589
33.58/33.98 c #Conflicts: 58000 | #Constraints: 7589
33.58/33.98 c GLOBAL bounds - >= 0 @ 32.9507
35.28/35.69 c #Conflicts: 59000 | #Constraints: 8591
35.28/35.69 c #Conflicts: 60000 | #Constraints: 9591
35.28/35.69 c #Conflicts: 61000 | #Constraints: 10591
35.28/35.69 c GLOBAL bounds - >= 0 @ 34.6215
35.48/35.87 c INPROCESSING
35.48/35.87 c GARBAGE COLLECT
35.48/35.87 c GLOBAL bounds - >= 0 @ 34.8021
36.97/37.36 c #Conflicts: 62000 | #Constraints: 6589
36.97/37.36 c #Conflicts: 63000 | #Constraints: 7589
36.97/37.36 c #Conflicts: 64000 | #Constraints: 8589
36.97/37.36 c GLOBAL bounds - >= 0 @ 36.2787
42.67/43.08 c #Conflicts: 65000 | #Constraints: 9591
42.67/43.08 c #Conflicts: 66000 | #Constraints: 10591
42.67/43.08 c INPROCESSING
42.67/43.08 c GARBAGE COLLECT
42.67/43.08 c #Conflicts: 67000 | #Constraints: 6383
42.67/43.08 c #Conflicts: 68000 | #Constraints: 7383
42.67/43.08 c #Conflicts: 69000 | #Constraints: 8383
42.67/43.08 c #Conflicts: 70000 | #Constraints: 9383
42.67/43.08 c #Conflicts: 71000 | #Constraints: 10383
42.67/43.08 c #Conflicts: 72000 | #Constraints: 11383
42.67/43.08 c INPROCESSING
42.67/43.08 c GARBAGE COLLECT
42.67/43.08 c GLOBAL bounds - >= 0 @ 41.9281
42.86/43.20 c GLOBAL bounds - >= 0 @ 42.0506
46.45/46.82 c #Conflicts: 73000 | #Constraints: 6991
46.45/46.82 c #Conflicts: 74000 | #Constraints: 7991
46.45/46.82 c #Conflicts: 75000 | #Constraints: 8991
46.45/46.82 c #Conflicts: 76000 | #Constraints: 9991
46.45/46.82 c #Conflicts: 77000 | #Constraints: 10991
46.45/46.82 c GLOBAL bounds - >= 0 @ 45.6276
109.46/110.08 c #Conflicts: 78000 | #Constraints: 11993
109.46/110.08 c INPROCESSING
109.46/110.08 c GARBAGE COLLECT
109.46/110.08 c #Conflicts: 79000 | #Constraints: 7394
109.46/110.08 c #Conflicts: 80000 | #Constraints: 8394
109.46/110.08 c #Conflicts: 81000 | #Constraints: 9394
109.46/110.08 c #Conflicts: 82000 | #Constraints: 10394
109.46/110.08 c #Conflicts: 83000 | #Constraints: 11394
109.46/110.08 c #Conflicts: 84000 | #Constraints: 12394
109.46/110.08 c INPROCESSING
109.46/110.08 c GARBAGE COLLECT
109.46/110.08 c #Conflicts: 85000 | #Constraints: 7598
109.46/110.08 c #Conflicts: 86000 | #Constraints: 8598
109.46/110.08 c #Conflicts: 87000 | #Constraints: 9598
109.46/110.08 c #Conflicts: 88000 | #Constraints: 10598
109.46/110.08 c #Conflicts: 89000 | #Constraints: 11598
109.46/110.08 c #Conflicts: 90000 | #Constraints: 12598
109.46/110.08 c INPROCESSING
109.46/110.08 c GARBAGE COLLECT
109.46/110.08 c #Conflicts: 91000 | #Constraints: 7596
109.46/110.08 c #Conflicts: 92000 | #Constraints: 8596
109.46/110.08 c #Conflicts: 93000 | #Constraints: 9596
109.46/110.08 c #Conflicts: 94000 | #Constraints: 10596
109.46/110.08 c #Conflicts: 95000 | #Constraints: 11596
109.46/110.08 c #Conflicts: 96000 | #Constraints: 12596
109.46/110.08 c INPROCESSING
109.46/110.08 c GARBAGE COLLECT
109.46/110.08 c #Conflicts: 97000 | #Constraints: 7400
109.46/110.08 c #Conflicts: 98000 | #Constraints: 8400
109.46/110.08 c #Conflicts: 99000 | #Constraints: 9400
109.46/110.08 c #Conflicts: 100000 | #Constraints: 10400
109.46/110.08 c #Conflicts: 101000 | #Constraints: 11400
109.46/110.08 c #Conflicts: 102000 | #Constraints: 12400
109.46/110.08 c #Conflicts: 103000 | #Constraints: 13400
109.46/110.08 c INPROCESSING
109.46/110.08 c GARBAGE COLLECT
109.46/110.08 c #Conflicts: 104000 | #Constraints: 7997
109.46/110.08 c #Conflicts: 105000 | #Constraints: 8997
109.46/110.08 c #Conflicts: 106000 | #Constraints: 9997
109.46/110.08 c #Conflicts: 107000 | #Constraints: 10997
109.46/110.08 c #Conflicts: 108000 | #Constraints: 11997
109.46/110.08 c #Conflicts: 109000 | #Constraints: 12997
109.46/110.08 c #Conflicts: 110000 | #Constraints: 13997
109.46/110.08 c INPROCESSING
109.46/110.08 c GARBAGE COLLECT
109.46/110.08 c #Conflicts: 111000 | #Constraints: 8404
109.46/110.08 c #Conflicts: 112000 | #Constraints: 9404
109.46/110.08 c #Conflicts: 113000 | #Constraints: 10404
109.46/110.08 c #Conflicts: 114000 | #Constraints: 11404
109.46/110.08 c #Conflicts: 115000 | #Constraints: 12404
109.46/110.08 c #Conflicts: 116000 | #Constraints: 13404
109.46/110.08 c #Conflicts: 117000 | #Constraints: 14404
109.46/110.08 c INPROCESSING
109.46/110.08 c GARBAGE COLLECT
109.46/110.08 c #Conflicts: 118000 | #Constraints: 8601
109.46/110.08 c #Conflicts: 119000 | #Constraints: 9601
109.46/110.08 c #Conflicts: 120000 | #Constraints: 10601
109.46/110.08 c #Conflicts: 121000 | #Constraints: 11601
109.46/110.08 c #Conflicts: 122000 | #Constraints: 12601
109.46/110.08 c #Conflicts: 123000 | #Constraints: 13601
109.46/110.08 c #Conflicts: 124000 | #Constraints: 14601
109.46/110.08 c INPROCESSING
109.46/110.08 c GARBAGE COLLECT
109.46/110.08 c #Conflicts: 125000 | #Constraints: 8603
109.46/110.08 c #Conflicts: 126000 | #Constraints: 9603
109.46/110.08 c #Conflicts: 127000 | #Constraints: 10603
109.46/110.08 c #Conflicts: 128000 | #Constraints: 11603
109.46/110.08 c #Conflicts: 129000 | #Constraints: 12603
109.46/110.08 c #Conflicts: 130000 | #Constraints: 13603
109.46/110.08 c #Conflicts: 131000 | #Constraints: 14603
109.46/110.08 c INPROCESSING
109.46/110.08 c GARBAGE COLLECT
109.46/110.08 c #Conflicts: 132000 | #Constraints: 8399
109.46/110.08 c #Conflicts: 133000 | #Constraints: 9399
109.46/110.08 c #Conflicts: 134000 | #Constraints: 10399
109.46/110.08 c #Conflicts: 135000 | #Constraints: 11399
109.46/110.08 c #Conflicts: 136000 | #Constraints: 12399
109.46/110.08 c #Conflicts: 137000 | #Constraints: 13399
109.46/110.08 c #Conflicts: 138000 | #Constraints: 14399
109.46/110.08 c #Conflicts: 139000 | #Constraints: 15399
109.46/110.08 c INPROCESSING
109.46/110.08 c GARBAGE COLLECT
109.46/110.08 c #Conflicts: 140000 | #Constraints: 9003
109.46/110.08 c #Conflicts: 141000 | #Constraints: 10003
109.46/110.08 c #Conflicts: 142000 | #Constraints: 11003
109.46/110.08 c #Conflicts: 143000 | #Constraints: 12003
109.46/110.08 c #Conflicts: 144000 | #Constraints: 13003
109.46/110.08 c #Conflicts: 145000 | #Constraints: 14003
109.46/110.08 c #Conflicts: 146000 | #Constraints: 15003
109.46/110.08 c #Conflicts: 147000 | #Constraints: 16003
109.46/110.08 c INPROCESSING
109.46/110.08 c GARBAGE COLLECT
109.46/110.08 c #Conflicts: 148000 | #Constraints: 9406
109.46/110.08 c #Conflicts: 149000 | #Constraints: 10406
198.19/199.07 c #Conflicts: 150000 | #Constraints: 11406
198.19/199.07 c #Conflicts: 151000 | #Constraints: 12406
198.19/199.07 c #Conflicts: 152000 | #Constraints: 13406
198.19/199.07 c #Conflicts: 153000 | #Constraints: 14406
198.19/199.07 c #Conflicts: 154000 | #Constraints: 15406
198.19/199.07 c #Conflicts: 155000 | #Constraints: 16406
198.19/199.07 c INPROCESSING
198.19/199.07 c GARBAGE COLLECT
198.19/199.07 c #Conflicts: 156000 | #Constraints: 9607
198.19/199.07 c #Conflicts: 157000 | #Constraints: 10607
198.19/199.07 c #Conflicts: 158000 | #Constraints: 11607
198.19/199.07 c #Conflicts: 159000 | #Constraints: 12607
198.19/199.07 c #Conflicts: 160000 | #Constraints: 13607
198.19/199.07 c #Conflicts: 161000 | #Constraints: 14607
198.19/199.07 c #Conflicts: 162000 | #Constraints: 15607
198.19/199.07 c #Conflicts: 163000 | #Constraints: 16607
198.19/199.07 c INPROCESSING
198.19/199.07 c GARBAGE COLLECT
198.19/199.07 c #Conflicts: 164000 | #Constraints: 9607
198.19/199.07 c #Conflicts: 165000 | #Constraints: 10607
198.19/199.07 c #Conflicts: 166000 | #Constraints: 11607
198.19/199.07 c #Conflicts: 167000 | #Constraints: 12607
198.19/199.07 c #Conflicts: 168000 | #Constraints: 13607
198.19/199.07 c #Conflicts: 169000 | #Constraints: 14607
198.19/199.07 c #Conflicts: 170000 | #Constraints: 15607
198.19/199.07 c #Conflicts: 171000 | #Constraints: 16607
198.19/199.07 c INPROCESSING
198.19/199.07 c GARBAGE COLLECT
198.19/199.07 c #Conflicts: 172000 | #Constraints: 9411
198.19/199.07 c #Conflicts: 173000 | #Constraints: 10411
198.19/199.07 c #Conflicts: 174000 | #Constraints: 11411
198.19/199.07 c #Conflicts: 175000 | #Constraints: 12411
198.19/199.07 c #Conflicts: 176000 | #Constraints: 13411
198.19/199.07 c #Conflicts: 177000 | #Constraints: 14411
198.19/199.07 c #Conflicts: 178000 | #Constraints: 15411
198.19/199.07 c #Conflicts: 179000 | #Constraints: 16411
198.19/199.07 c #Conflicts: 180000 | #Constraints: 17411
198.19/199.07 c INPROCESSING
198.19/199.07 c GARBAGE COLLECT
198.19/199.07 c #Conflicts: 181000 | #Constraints: 10015
198.19/199.07 c #Conflicts: 182000 | #Constraints: 11015
198.19/199.07 c #Conflicts: 183000 | #Constraints: 12015
198.19/199.07 c #Conflicts: 184000 | #Constraints: 13015
198.19/199.07 c #Conflicts: 185000 | #Constraints: 14015
198.19/199.07 c #Conflicts: 186000 | #Constraints: 15015
198.19/199.07 c #Conflicts: 187000 | #Constraints: 16015
198.19/199.07 c #Conflicts: 188000 | #Constraints: 17015
198.19/199.07 c #Conflicts: 189000 | #Constraints: 18015
198.19/199.07 c INPROCESSING
198.19/199.07 c GARBAGE COLLECT
198.19/199.07 c #Conflicts: 190000 | #Constraints: 10421
198.19/199.07 c #Conflicts: 191000 | #Constraints: 11421
198.19/199.07 c #Conflicts: 192000 | #Constraints: 12421
198.19/199.07 c #Conflicts: 193000 | #Constraints: 13421
198.19/199.07 c #Conflicts: 194000 | #Constraints: 14421
198.19/199.07 c #Conflicts: 195000 | #Constraints: 15421
198.19/199.07 c #Conflicts: 196000 | #Constraints: 16421
198.19/199.07 c #Conflicts: 197000 | #Constraints: 17421
198.19/199.07 c #Conflicts: 198000 | #Constraints: 18421
198.19/199.07 c INPROCESSING
198.19/199.07 c GARBAGE COLLECT
198.19/199.07 c #Conflicts: 199000 | #Constraints: 10624
198.19/199.07 c #Conflicts: 200000 | #Constraints: 11624
198.19/199.07 c #Conflicts: 201000 | #Constraints: 12624
198.19/199.07 c #Conflicts: 202000 | #Constraints: 13624
198.19/199.07 c #Conflicts: 203000 | #Constraints: 14624
198.19/199.07 c #Conflicts: 204000 | #Constraints: 15624
198.19/199.07 c #Conflicts: 205000 | #Constraints: 16624
198.19/199.07 c #Conflicts: 206000 | #Constraints: 17624
198.19/199.07 c #Conflicts: 207000 | #Constraints: 18624
198.19/199.07 c INPROCESSING
198.19/199.07 c GARBAGE COLLECT
198.19/199.07 c #Conflicts: 208000 | #Constraints: 10625
198.19/199.07 c #Conflicts: 209000 | #Constraints: 11625
198.19/199.07 c #Conflicts: 210000 | #Constraints: 12625
198.19/199.07 c #Conflicts: 211000 | #Constraints: 13625
198.19/199.07 c #Conflicts: 212000 | #Constraints: 14625
198.19/199.07 c #Conflicts: 213000 | #Constraints: 15625
198.19/199.07 c #Conflicts: 214000 | #Constraints: 16625
198.19/199.07 c #Conflicts: 215000 | #Constraints: 17625
198.19/199.07 c #Conflicts: 216000 | #Constraints: 18625
198.19/199.07 c INPROCESSING
198.19/199.07 c GARBAGE COLLECT
198.19/199.07 c #Conflicts: 217000 | #Constraints: 10434
198.19/199.07 c #Conflicts: 218000 | #Constraints: 11434
198.19/199.07 c #Conflicts: 219000 | #Constraints: 12434
198.19/199.07 c #Conflicts: 220000 | #Constraints: 13434
198.19/199.07 c #Conflicts: 221000 | #Constraints: 14434
198.19/199.07 c #Conflicts: 222000 | #Constraints: 15434
198.19/199.07 c #Conflicts: 223000 | #Constraints: 16434
278.70/279.82 c #Conflicts: 224000 | #Constraints: 17434
278.70/279.82 c #Conflicts: 225000 | #Constraints: 18434
278.70/279.82 c #Conflicts: 226000 | #Constraints: 19434
278.70/279.82 c INPROCESSING
278.70/279.82 c GARBAGE COLLECT
278.70/279.82 c #Conflicts: 227000 | #Constraints: 11026
278.70/279.82 c #Conflicts: 228000 | #Constraints: 12026
278.70/279.82 c #Conflicts: 229000 | #Constraints: 13026
278.70/279.82 c #Conflicts: 230000 | #Constraints: 14026
278.70/279.82 c #Conflicts: 231000 | #Constraints: 15026
278.70/279.82 c #Conflicts: 232000 | #Constraints: 16026
278.70/279.82 c #Conflicts: 233000 | #Constraints: 17026
278.70/279.82 c #Conflicts: 234000 | #Constraints: 18026
278.70/279.82 c #Conflicts: 235000 | #Constraints: 19026
278.70/279.82 c #Conflicts: 236000 | #Constraints: 20026
278.70/279.82 c INPROCESSING
278.70/279.82 c GARBAGE COLLECT
278.70/279.82 c #Conflicts: 237000 | #Constraints: 11420
278.70/279.82 c #Conflicts: 238000 | #Constraints: 12420
278.70/279.82 c #Conflicts: 239000 | #Constraints: 13420
278.70/279.82 c #Conflicts: 240000 | #Constraints: 14420
278.70/279.82 c #Conflicts: 241000 | #Constraints: 15420
278.70/279.82 c #Conflicts: 242000 | #Constraints: 16420
278.70/279.82 c #Conflicts: 243000 | #Constraints: 17420
278.70/279.82 c #Conflicts: 244000 | #Constraints: 18420
278.70/279.82 c #Conflicts: 245000 | #Constraints: 19420
278.70/279.82 c #Conflicts: 246000 | #Constraints: 20420
278.70/279.82 c INPROCESSING
278.70/279.82 c GARBAGE COLLECT
278.70/279.82 c #Conflicts: 247000 | #Constraints: 11622
278.70/279.82 c #Conflicts: 248000 | #Constraints: 12622
278.70/279.82 c #Conflicts: 249000 | #Constraints: 13622
278.70/279.82 c #Conflicts: 250000 | #Constraints: 14622
278.70/279.82 c #Conflicts: 251000 | #Constraints: 15622
278.70/279.82 c #Conflicts: 252000 | #Constraints: 16622
278.70/279.82 c #Conflicts: 253000 | #Constraints: 17622
278.70/279.82 c #Conflicts: 254000 | #Constraints: 18622
278.70/279.82 c #Conflicts: 255000 | #Constraints: 19622
278.70/279.82 c #Conflicts: 256000 | #Constraints: 20622
278.70/279.82 c INPROCESSING
278.70/279.82 c GARBAGE COLLECT
278.70/279.82 c #Conflicts: 257000 | #Constraints: 11625
278.70/279.82 c #Conflicts: 258000 | #Constraints: 12625
278.70/279.82 c #Conflicts: 259000 | #Constraints: 13625
278.70/279.82 c #Conflicts: 260000 | #Constraints: 14625
278.70/279.82 c #Conflicts: 261000 | #Constraints: 15625
278.70/279.82 c #Conflicts: 262000 | #Constraints: 16625
278.70/279.82 c #Conflicts: 263000 | #Constraints: 17625
278.70/279.82 c #Conflicts: 264000 | #Constraints: 18625
278.70/279.82 c #Conflicts: 265000 | #Constraints: 19625
278.70/279.82 c #Conflicts: 266000 | #Constraints: 20625
278.70/279.82 c INPROCESSING
278.70/279.82 c GARBAGE COLLECT
278.70/279.82 c #Conflicts: 267000 | #Constraints: 11423
278.70/279.82 c #Conflicts: 268000 | #Constraints: 12423
278.70/279.82 c #Conflicts: 269000 | #Constraints: 13423
278.70/279.82 c #Conflicts: 270000 | #Constraints: 14423
278.70/279.82 c #Conflicts: 271000 | #Constraints: 15423
278.70/279.82 c #Conflicts: 272000 | #Constraints: 16423
278.70/279.82 c #Conflicts: 273000 | #Constraints: 17423
278.70/279.82 c #Conflicts: 274000 | #Constraints: 18423
278.70/279.82 c #Conflicts: 275000 | #Constraints: 19423
278.70/279.82 c #Conflicts: 276000 | #Constraints: 20423
278.70/279.82 c #Conflicts: 277000 | #Constraints: 21423
278.70/279.82 c INPROCESSING
278.70/279.82 c GARBAGE COLLECT
278.70/279.82 c #Conflicts: 278000 | #Constraints: 12018
278.70/279.82 c #Conflicts: 279000 | #Constraints: 13018
278.70/279.82 c #Conflicts: 280000 | #Constraints: 14018
278.70/279.82 c #Conflicts: 281000 | #Constraints: 15018
278.70/279.82 c #Conflicts: 282000 | #Constraints: 16018
278.70/279.82 c #Conflicts: 283000 | #Constraints: 17018
278.70/279.82 c #Conflicts: 284000 | #Constraints: 18018
278.70/279.82 c #Conflicts: 285000 | #Constraints: 19018
278.70/279.82 c #Conflicts: 286000 | #Constraints: 20018
278.70/279.82 c GLOBAL bounds - >= 0 @ 276.637
289.26/290.47 c #Conflicts: 287000 | #Constraints: 21020
289.26/290.47 c #Conflicts: 288000 | #Constraints: 22020
289.26/290.47 c INPROCESSING
289.26/290.47 c GARBAGE COLLECT
289.26/290.47 c #Conflicts: 289000 | #Constraints: 12419
289.26/290.47 c #Conflicts: 290000 | #Constraints: 13419
289.26/290.47 c #Conflicts: 291000 | #Constraints: 14419
289.26/290.47 c #Conflicts: 292000 | #Constraints: 15419
289.26/290.47 c #Conflicts: 293000 | #Constraints: 16419
289.26/290.47 c #Conflicts: 294000 | #Constraints: 17419
289.26/290.47 c #Conflicts: 295000 | #Constraints: 18419
289.26/290.47 c GLOBAL bounds - >= 0 @ 287.19
304.82/306.06 c #Conflicts: 296000 | #Constraints: 19421
304.82/306.06 c #Conflicts: 297000 | #Constraints: 20421
304.82/306.06 c #Conflicts: 298000 | #Constraints: 21421
304.82/306.06 c #Conflicts: 299000 | #Constraints: 22421
304.82/306.06 c INPROCESSING
304.82/306.06 c GARBAGE COLLECT
304.82/306.06 c #Conflicts: 300000 | #Constraints: 12610
304.82/306.06 c #Conflicts: 301000 | #Constraints: 13610
304.82/306.06 c #Conflicts: 302000 | #Constraints: 14610
304.82/306.06 c #Conflicts: 303000 | #Constraints: 15610
304.82/306.06 c #Conflicts: 304000 | #Constraints: 16610
304.82/306.06 c #Conflicts: 305000 | #Constraints: 17610
304.82/306.06 c #Conflicts: 306000 | #Constraints: 18610
304.82/306.06 c #Conflicts: 307000 | #Constraints: 19610
304.82/306.06 c #Conflicts: 308000 | #Constraints: 20610
304.82/306.06 c GLOBAL bounds - >= 0 @ 302.629
400.65/402.21 c #Conflicts: 309000 | #Constraints: 21612
400.65/402.21 c #Conflicts: 310000 | #Constraints: 22612
400.65/402.21 c INPROCESSING
400.65/402.21 c GARBAGE COLLECT
400.65/402.21 c #Conflicts: 311000 | #Constraints: 12607
400.65/402.21 c #Conflicts: 312000 | #Constraints: 13607
400.65/402.21 c #Conflicts: 313000 | #Constraints: 14607
400.65/402.21 c #Conflicts: 314000 | #Constraints: 15607
400.65/402.21 c #Conflicts: 315000 | #Constraints: 16607
400.65/402.21 c #Conflicts: 316000 | #Constraints: 17607
400.65/402.21 c #Conflicts: 317000 | #Constraints: 18607
400.65/402.21 c #Conflicts: 318000 | #Constraints: 19607
400.65/402.21 c #Conflicts: 319000 | #Constraints: 20607
400.65/402.21 c #Conflicts: 320000 | #Constraints: 21607
400.65/402.21 c #Conflicts: 321000 | #Constraints: 22607
400.65/402.21 c INPROCESSING
400.65/402.21 c GARBAGE COLLECT
400.65/402.21 c #Conflicts: 322000 | #Constraints: 12413
400.65/402.21 c #Conflicts: 323000 | #Constraints: 13413
400.65/402.21 c #Conflicts: 324000 | #Constraints: 14413
400.65/402.21 c #Conflicts: 325000 | #Constraints: 15413
400.65/402.21 c #Conflicts: 326000 | #Constraints: 16413
400.65/402.21 c #Conflicts: 327000 | #Constraints: 17413
400.65/402.21 c #Conflicts: 328000 | #Constraints: 18413
400.65/402.21 c #Conflicts: 329000 | #Constraints: 19413
400.65/402.21 c #Conflicts: 330000 | #Constraints: 20413
400.65/402.21 c #Conflicts: 331000 | #Constraints: 21413
400.65/402.21 c #Conflicts: 332000 | #Constraints: 22413
400.65/402.21 c #Conflicts: 333000 | #Constraints: 23413
400.65/402.21 c INPROCESSING
400.65/402.21 c GARBAGE COLLECT
400.65/402.21 c #Conflicts: 334000 | #Constraints: 13015
400.65/402.21 c #Conflicts: 335000 | #Constraints: 14015
400.65/402.21 c #Conflicts: 336000 | #Constraints: 15015
400.65/402.21 c #Conflicts: 337000 | #Constraints: 16015
400.65/402.21 c #Conflicts: 338000 | #Constraints: 17015
400.65/402.21 c #Conflicts: 339000 | #Constraints: 18015
400.65/402.21 c #Conflicts: 340000 | #Constraints: 19015
400.65/402.21 c #Conflicts: 341000 | #Constraints: 20015
400.65/402.21 c #Conflicts: 342000 | #Constraints: 21015
400.65/402.21 c #Conflicts: 343000 | #Constraints: 22015
400.65/402.21 c #Conflicts: 344000 | #Constraints: 23015
400.65/402.21 c #Conflicts: 345000 | #Constraints: 24015
400.65/402.21 c INPROCESSING
400.65/402.21 c GARBAGE COLLECT
400.65/402.21 c #Conflicts: 346000 | #Constraints: 13415
400.65/402.21 c #Conflicts: 347000 | #Constraints: 14415
400.65/402.21 c #Conflicts: 348000 | #Constraints: 15415
400.65/402.21 c #Conflicts: 349000 | #Constraints: 16415
400.65/402.21 c #Conflicts: 350000 | #Constraints: 17415
400.65/402.21 c #Conflicts: 351000 | #Constraints: 18415
400.65/402.21 c #Conflicts: 352000 | #Constraints: 19415
400.65/402.21 c #Conflicts: 353000 | #Constraints: 20415
400.65/402.21 c #Conflicts: 354000 | #Constraints: 21415
400.65/402.21 c #Conflicts: 355000 | #Constraints: 22415
400.65/402.21 c #Conflicts: 356000 | #Constraints: 23415
400.65/402.21 c #Conflicts: 357000 | #Constraints: 24415
400.65/402.21 c INPROCESSING
400.65/402.21 c GARBAGE COLLECT
400.65/402.21 c #Conflicts: 358000 | #Constraints: 13625
400.65/402.21 c #Conflicts: 359000 | #Constraints: 14625
400.65/402.21 c #Conflicts: 360000 | #Constraints: 15625
400.65/402.21 c #Conflicts: 361000 | #Constraints: 16625
400.65/402.21 c #Conflicts: 362000 | #Constraints: 17625
400.65/402.21 c #Conflicts: 363000 | #Constraints: 18625
400.65/402.21 c #Conflicts: 364000 | #Constraints: 19625
400.65/402.21 c #Conflicts: 365000 | #Constraints: 20625
400.65/402.21 c #Conflicts: 366000 | #Constraints: 21625
400.65/402.21 c #Conflicts: 367000 | #Constraints: 22625
400.65/402.21 c #Conflicts: 368000 | #Constraints: 23625
400.65/402.21 c #Conflicts: 369000 | #Constraints: 24625
400.65/402.21 c INPROCESSING
400.65/402.21 c GARBAGE COLLECT
400.65/402.21 c #Conflicts: 370000 | #Constraints: 13618
400.65/402.21 c #Conflicts: 371000 | #Constraints: 14618
400.65/402.21 c #Conflicts: 372000 | #Constraints: 15618
400.65/402.21 c #Conflicts: 373000 | #Constraints: 16618
400.65/402.21 c #Conflicts: 374000 | #Constraints: 17618
400.65/402.21 c #Conflicts: 375000 | #Constraints: 18618
400.65/402.21 c #Conflicts: 376000 | #Constraints: 19618
400.65/402.21 c #Conflicts: 377000 | #Constraints: 20618
400.65/402.21 c #Conflicts: 378000 | #Constraints: 21618
400.65/402.21 c #Conflicts: 379000 | #Constraints: 22618
400.65/402.21 c #Conflicts: 380000 | #Constraints: 23618
400.65/402.21 c #Conflicts: 381000 | #Constraints: 24618
400.65/402.21 c INPROCESSING
400.65/402.21 c GARBAGE COLLECT
400.65/402.21 c #Conflicts: 382000 | #Constraints: 13422
400.65/402.21 c #Conflicts: 383000 | #Constraints: 14422
521.86/523.88 c #Conflicts: 384000 | #Constraints: 15422
521.86/523.88 c #Conflicts: 385000 | #Constraints: 16422
521.86/523.88 c #Conflicts: 386000 | #Constraints: 17422
521.86/523.88 c #Conflicts: 387000 | #Constraints: 18422
521.86/523.88 c #Conflicts: 388000 | #Constraints: 19422
521.86/523.88 c #Conflicts: 389000 | #Constraints: 20422
521.86/523.88 c #Conflicts: 390000 | #Constraints: 21422
521.86/523.88 c #Conflicts: 391000 | #Constraints: 22422
521.86/523.88 c #Conflicts: 392000 | #Constraints: 23422
521.86/523.88 c #Conflicts: 393000 | #Constraints: 24422
521.86/523.88 c #Conflicts: 394000 | #Constraints: 25422
521.86/523.88 c INPROCESSING
521.86/523.88 c GARBAGE COLLECT
521.86/523.88 c #Conflicts: 395000 | #Constraints: 14025
521.86/523.88 c #Conflicts: 396000 | #Constraints: 15025
521.86/523.88 c #Conflicts: 397000 | #Constraints: 16025
521.86/523.88 c #Conflicts: 398000 | #Constraints: 17025
521.86/523.88 c #Conflicts: 399000 | #Constraints: 18025
521.86/523.88 c #Conflicts: 400000 | #Constraints: 19025
521.86/523.88 c #Conflicts: 401000 | #Constraints: 20025
521.86/523.88 c #Conflicts: 402000 | #Constraints: 21025
521.86/523.88 c #Conflicts: 403000 | #Constraints: 22025
521.86/523.88 c #Conflicts: 404000 | #Constraints: 23025
521.86/523.88 c #Conflicts: 405000 | #Constraints: 24025
521.86/523.88 c #Conflicts: 406000 | #Constraints: 25025
521.86/523.88 c #Conflicts: 407000 | #Constraints: 26025
521.86/523.88 c INPROCESSING
521.86/523.88 c GARBAGE COLLECT
521.86/523.88 c #Conflicts: 408000 | #Constraints: 14428
521.86/523.88 c #Conflicts: 409000 | #Constraints: 15428
521.86/523.88 c #Conflicts: 410000 | #Constraints: 16428
521.86/523.88 c #Conflicts: 411000 | #Constraints: 17428
521.86/523.88 c #Conflicts: 412000 | #Constraints: 18428
521.86/523.88 c #Conflicts: 413000 | #Constraints: 19428
521.86/523.88 c #Conflicts: 414000 | #Constraints: 20428
521.86/523.88 c #Conflicts: 415000 | #Constraints: 21428
521.86/523.88 c #Conflicts: 416000 | #Constraints: 22428
521.86/523.88 c #Conflicts: 417000 | #Constraints: 23428
521.86/523.88 c #Conflicts: 418000 | #Constraints: 24428
521.86/523.88 c #Conflicts: 419000 | #Constraints: 25428
521.86/523.88 c #Conflicts: 420000 | #Constraints: 26428
521.86/523.88 c INPROCESSING
521.86/523.88 c GARBAGE COLLECT
521.86/523.88 c #Conflicts: 421000 | #Constraints: 14627
521.86/523.88 c #Conflicts: 422000 | #Constraints: 15627
521.86/523.88 c #Conflicts: 423000 | #Constraints: 16627
521.86/523.88 c #Conflicts: 424000 | #Constraints: 17627
521.86/523.88 c #Conflicts: 425000 | #Constraints: 18627
521.86/523.88 c #Conflicts: 426000 | #Constraints: 19627
521.86/523.88 c #Conflicts: 427000 | #Constraints: 20627
521.86/523.88 c #Conflicts: 428000 | #Constraints: 21627
521.86/523.88 c #Conflicts: 429000 | #Constraints: 22627
521.86/523.88 c #Conflicts: 430000 | #Constraints: 23627
521.86/523.88 c #Conflicts: 431000 | #Constraints: 24627
521.86/523.88 c #Conflicts: 432000 | #Constraints: 25627
521.86/523.88 c #Conflicts: 433000 | #Constraints: 26627
521.86/523.88 c INPROCESSING
521.86/523.88 c GARBAGE COLLECT
521.86/523.88 c #Conflicts: 434000 | #Constraints: 14631
521.86/523.88 c #Conflicts: 435000 | #Constraints: 15631
521.86/523.88 c #Conflicts: 436000 | #Constraints: 16631
521.86/523.88 c #Conflicts: 437000 | #Constraints: 17631
521.86/523.88 c #Conflicts: 438000 | #Constraints: 18631
521.86/523.88 c #Conflicts: 439000 | #Constraints: 19631
521.86/523.88 c #Conflicts: 440000 | #Constraints: 20631
521.86/523.88 c #Conflicts: 441000 | #Constraints: 21631
521.86/523.88 c #Conflicts: 442000 | #Constraints: 22631
521.86/523.88 c #Conflicts: 443000 | #Constraints: 23631
521.86/523.88 c #Conflicts: 444000 | #Constraints: 24631
521.86/523.88 c #Conflicts: 445000 | #Constraints: 25631
521.86/523.88 c #Conflicts: 446000 | #Constraints: 26631
521.86/523.88 c INPROCESSING
521.86/523.88 c GARBAGE COLLECT
521.86/523.88 c #Conflicts: 447000 | #Constraints: 14430
521.86/523.88 c #Conflicts: 448000 | #Constraints: 15430
521.86/523.88 c #Conflicts: 449000 | #Constraints: 16430
521.86/523.88 c #Conflicts: 450000 | #Constraints: 17430
521.86/523.88 c #Conflicts: 451000 | #Constraints: 18430
521.86/523.88 c #Conflicts: 452000 | #Constraints: 19430
521.86/523.88 c #Conflicts: 453000 | #Constraints: 20430
521.86/523.88 c #Conflicts: 454000 | #Constraints: 21430
521.86/523.88 c #Conflicts: 455000 | #Constraints: 22430
521.86/523.88 c #Conflicts: 456000 | #Constraints: 23430
521.86/523.88 c #Conflicts: 457000 | #Constraints: 24430
521.86/523.88 c #Conflicts: 458000 | #Constraints: 25430
642.31/644.62 c #Conflicts: 459000 | #Constraints: 26430
642.31/644.62 c #Conflicts: 460000 | #Constraints: 27430
642.31/644.62 c INPROCESSING
642.31/644.62 c GARBAGE COLLECT
642.31/644.62 c #Conflicts: 461000 | #Constraints: 15034
642.31/644.62 c #Conflicts: 462000 | #Constraints: 16034
642.31/644.62 c #Conflicts: 463000 | #Constraints: 17034
642.31/644.62 c #Conflicts: 464000 | #Constraints: 18034
642.31/644.62 c #Conflicts: 465000 | #Constraints: 19034
642.31/644.62 c #Conflicts: 466000 | #Constraints: 20034
642.31/644.62 c #Conflicts: 467000 | #Constraints: 21034
642.31/644.62 c #Conflicts: 468000 | #Constraints: 22034
642.31/644.62 c #Conflicts: 469000 | #Constraints: 23034
642.31/644.62 c #Conflicts: 470000 | #Constraints: 24034
642.31/644.62 c #Conflicts: 471000 | #Constraints: 25034
642.31/644.62 c #Conflicts: 472000 | #Constraints: 26034
642.31/644.62 c #Conflicts: 473000 | #Constraints: 27034
642.31/644.62 c #Conflicts: 474000 | #Constraints: 28034
642.31/644.62 c INPROCESSING
642.31/644.62 c GARBAGE COLLECT
642.31/644.62 c #Conflicts: 475000 | #Constraints: 15420
642.31/644.62 c #Conflicts: 476000 | #Constraints: 16420
642.31/644.62 c #Conflicts: 477000 | #Constraints: 17420
642.31/644.63 c #Conflicts: 478000 | #Constraints: 18420
642.31/644.63 c #Conflicts: 479000 | #Constraints: 19420
642.31/644.63 c #Conflicts: 480000 | #Constraints: 20420
642.31/644.63 c #Conflicts: 481000 | #Constraints: 21420
642.31/644.63 c #Conflicts: 482000 | #Constraints: 22420
642.31/644.63 c #Conflicts: 483000 | #Constraints: 23420
642.31/644.63 c #Conflicts: 484000 | #Constraints: 24420
642.31/644.63 c #Conflicts: 485000 | #Constraints: 25420
642.31/644.63 c #Conflicts: 486000 | #Constraints: 26420
642.31/644.63 c #Conflicts: 487000 | #Constraints: 27420
642.31/644.63 c #Conflicts: 488000 | #Constraints: 28420
642.31/644.63 c INPROCESSING
642.31/644.63 c GARBAGE COLLECT
642.31/644.63 c #Conflicts: 489000 | #Constraints: 15623
642.31/644.63 c #Conflicts: 490000 | #Constraints: 16623
642.31/644.63 c #Conflicts: 491000 | #Constraints: 17623
642.31/644.63 c #Conflicts: 492000 | #Constraints: 18623
642.31/644.63 c #Conflicts: 493000 | #Constraints: 19623
642.31/644.63 c #Conflicts: 494000 | #Constraints: 20623
642.31/644.63 c #Conflicts: 495000 | #Constraints: 21623
642.31/644.63 c #Conflicts: 496000 | #Constraints: 22623
642.31/644.63 c #Conflicts: 497000 | #Constraints: 23623
642.31/644.63 c #Conflicts: 498000 | #Constraints: 24623
642.31/644.63 c #Conflicts: 499000 | #Constraints: 25623
642.31/644.63 c #Conflicts: 500000 | #Constraints: 26623
642.31/644.63 c #Conflicts: 501000 | #Constraints: 27623
642.31/644.63 c #Conflicts: 502000 | #Constraints: 28623
642.31/644.63 c INPROCESSING
642.31/644.63 c GARBAGE COLLECT
642.31/644.63 c #Conflicts: 503000 | #Constraints: 15622
642.31/644.63 c #Conflicts: 504000 | #Constraints: 16622
642.31/644.63 c #Conflicts: 505000 | #Constraints: 17622
642.31/644.63 c #Conflicts: 506000 | #Constraints: 18622
642.31/644.63 c #Conflicts: 507000 | #Constraints: 19622
642.31/644.63 c #Conflicts: 508000 | #Constraints: 20622
642.31/644.63 c #Conflicts: 509000 | #Constraints: 21622
642.31/644.63 c #Conflicts: 510000 | #Constraints: 22622
642.31/644.63 c #Conflicts: 511000 | #Constraints: 23622
642.31/644.63 c #Conflicts: 512000 | #Constraints: 24622
642.31/644.63 c #Conflicts: 513000 | #Constraints: 25622
642.31/644.63 c #Conflicts: 514000 | #Constraints: 26622
642.31/644.63 c #Conflicts: 515000 | #Constraints: 27622
642.31/644.63 c #Conflicts: 516000 | #Constraints: 28622
642.31/644.63 c INPROCESSING
642.31/644.63 c GARBAGE COLLECT
642.31/644.63 c #Conflicts: 517000 | #Constraints: 15417
642.31/644.63 c #Conflicts: 518000 | #Constraints: 16417
642.31/644.63 c #Conflicts: 519000 | #Constraints: 17417
642.31/644.63 c #Conflicts: 520000 | #Constraints: 18417
642.31/644.63 c #Conflicts: 521000 | #Constraints: 19417
642.31/644.63 c #Conflicts: 522000 | #Constraints: 20417
642.31/644.63 c #Conflicts: 523000 | #Constraints: 21417
642.31/644.63 c #Conflicts: 524000 | #Constraints: 22417
642.31/644.63 c #Conflicts: 525000 | #Constraints: 23417
642.31/644.63 c #Conflicts: 526000 | #Constraints: 24417
642.31/644.63 c #Conflicts: 527000 | #Constraints: 25417
642.31/644.63 c #Conflicts: 528000 | #Constraints: 26417
642.31/644.63 c #Conflicts: 529000 | #Constraints: 27417
642.31/644.63 c #Conflicts: 530000 | #Constraints: 28417
642.31/644.63 c #Conflicts: 531000 | #Constraints: 29417
642.31/644.63 c INPROCESSING
642.31/644.63 c GARBAGE COLLECT
642.31/644.63 c #Conflicts: 532000 | #Constraints: 16027
642.31/644.63 c #Conflicts: 533000 | #Constraints: 17027
787.42/790.12 c #Conflicts: 534000 | #Constraints: 18027
787.42/790.12 c #Conflicts: 535000 | #Constraints: 19027
787.42/790.12 c #Conflicts: 536000 | #Constraints: 20027
787.42/790.12 c #Conflicts: 537000 | #Constraints: 21027
787.42/790.12 c #Conflicts: 538000 | #Constraints: 22027
787.42/790.12 c #Conflicts: 539000 | #Constraints: 23027
787.42/790.12 c #Conflicts: 540000 | #Constraints: 24027
787.42/790.12 c #Conflicts: 541000 | #Constraints: 25027
787.42/790.12 c #Conflicts: 542000 | #Constraints: 26027
787.42/790.12 c #Conflicts: 543000 | #Constraints: 27027
787.42/790.12 c #Conflicts: 544000 | #Constraints: 28027
787.42/790.12 c #Conflicts: 545000 | #Constraints: 29027
787.42/790.12 c #Conflicts: 546000 | #Constraints: 30027
787.42/790.12 c INPROCESSING
787.42/790.12 c GARBAGE COLLECT
787.42/790.12 c #Conflicts: 547000 | #Constraints: 16432
787.42/790.12 c #Conflicts: 548000 | #Constraints: 17432
787.42/790.12 c #Conflicts: 549000 | #Constraints: 18432
787.42/790.12 c #Conflicts: 550000 | #Constraints: 19432
787.42/790.12 c #Conflicts: 551000 | #Constraints: 20432
787.42/790.12 c #Conflicts: 552000 | #Constraints: 21432
787.42/790.12 c #Conflicts: 553000 | #Constraints: 22432
787.42/790.12 c #Conflicts: 554000 | #Constraints: 23432
787.42/790.12 c #Conflicts: 555000 | #Constraints: 24432
787.42/790.12 c #Conflicts: 556000 | #Constraints: 25432
787.42/790.12 c #Conflicts: 557000 | #Constraints: 26432
787.42/790.12 c #Conflicts: 558000 | #Constraints: 27432
787.42/790.12 c #Conflicts: 559000 | #Constraints: 28432
787.42/790.12 c #Conflicts: 560000 | #Constraints: 29432
787.42/790.12 c #Conflicts: 561000 | #Constraints: 30432
787.42/790.12 c INPROCESSING
787.42/790.12 c GARBAGE COLLECT
787.42/790.12 c #Conflicts: 562000 | #Constraints: 16632
787.42/790.12 c #Conflicts: 563000 | #Constraints: 17632
787.42/790.12 c #Conflicts: 564000 | #Constraints: 18632
787.42/790.12 c #Conflicts: 565000 | #Constraints: 19632
787.42/790.12 c #Conflicts: 566000 | #Constraints: 20632
787.42/790.12 c #Conflicts: 567000 | #Constraints: 21632
787.42/790.12 c #Conflicts: 568000 | #Constraints: 22632
787.42/790.12 c #Conflicts: 569000 | #Constraints: 23632
787.42/790.12 c #Conflicts: 570000 | #Constraints: 24632
787.42/790.12 c #Conflicts: 571000 | #Constraints: 25632
787.42/790.12 c #Conflicts: 572000 | #Constraints: 26632
787.42/790.12 c #Conflicts: 573000 | #Constraints: 27632
787.42/790.12 c #Conflicts: 574000 | #Constraints: 28632
787.42/790.12 c #Conflicts: 575000 | #Constraints: 29632
787.42/790.12 c #Conflicts: 576000 | #Constraints: 30632
787.42/790.12 c INPROCESSING
787.42/790.12 c GARBAGE COLLECT
787.42/790.12 c #Conflicts: 577000 | #Constraints: 16631
787.42/790.12 c #Conflicts: 578000 | #Constraints: 17631
787.42/790.12 c #Conflicts: 579000 | #Constraints: 18631
787.42/790.12 c #Conflicts: 580000 | #Constraints: 19631
787.42/790.12 c #Conflicts: 581000 | #Constraints: 20631
787.42/790.12 c #Conflicts: 582000 | #Constraints: 21631
787.42/790.12 c #Conflicts: 583000 | #Constraints: 22631
787.42/790.12 c #Conflicts: 584000 | #Constraints: 23631
787.42/790.12 c #Conflicts: 585000 | #Constraints: 24631
787.42/790.12 c #Conflicts: 586000 | #Constraints: 25631
787.42/790.12 c #Conflicts: 587000 | #Constraints: 26631
787.42/790.12 c #Conflicts: 588000 | #Constraints: 27631
787.42/790.12 c #Conflicts: 589000 | #Constraints: 28631
787.42/790.12 c #Conflicts: 590000 | #Constraints: 29631
787.42/790.12 c #Conflicts: 591000 | #Constraints: 30631
787.42/790.12 c INPROCESSING
787.42/790.12 c GARBAGE COLLECT
787.42/790.12 c #Conflicts: 592000 | #Constraints: 16440
787.42/790.12 c #Conflicts: 593000 | #Constraints: 17440
787.42/790.12 c #Conflicts: 594000 | #Constraints: 18440
787.42/790.12 c #Conflicts: 595000 | #Constraints: 19440
787.42/790.12 c #Conflicts: 596000 | #Constraints: 20440
787.42/790.12 c #Conflicts: 597000 | #Constraints: 21440
787.42/790.12 c #Conflicts: 598000 | #Constraints: 22440
787.42/790.12 c #Conflicts: 599000 | #Constraints: 23440
787.42/790.12 c #Conflicts: 600000 | #Constraints: 24440
787.42/790.12 c #Conflicts: 601000 | #Constraints: 25440
787.42/790.12 c #Conflicts: 602000 | #Constraints: 26440
787.42/790.12 c #Conflicts: 603000 | #Constraints: 27440
787.42/790.12 c #Conflicts: 604000 | #Constraints: 28440
787.42/790.12 c #Conflicts: 605000 | #Constraints: 29440
787.42/790.12 c #Conflicts: 606000 | #Constraints: 30440
787.42/790.12 c #Conflicts: 607000 | #Constraints: 31440
787.42/790.12 c INPROCESSING
787.42/790.12 c GARBAGE COLLECT
787.42/790.12 c #Conflicts: 608000 | #Constraints: 17031
787.42/790.12 c #Conflicts: 609000 | #Constraints: 18031
947.12/950.41 c #Conflicts: 610000 | #Constraints: 19031
947.12/950.41 c #Conflicts: 611000 | #Constraints: 20031
947.12/950.41 c #Conflicts: 612000 | #Constraints: 21031
947.12/950.41 c #Conflicts: 613000 | #Constraints: 22031
947.12/950.41 c #Conflicts: 614000 | #Constraints: 23031
947.12/950.41 c #Conflicts: 615000 | #Constraints: 24031
947.12/950.41 c #Conflicts: 616000 | #Constraints: 25031
947.12/950.41 c #Conflicts: 617000 | #Constraints: 26031
947.12/950.41 c #Conflicts: 618000 | #Constraints: 27031
947.12/950.41 c #Conflicts: 619000 | #Constraints: 28031
947.12/950.41 c #Conflicts: 620000 | #Constraints: 29031
947.12/950.41 c #Conflicts: 621000 | #Constraints: 30031
947.12/950.41 c #Conflicts: 622000 | #Constraints: 31031
947.12/950.41 c #Conflicts: 623000 | #Constraints: 32031
947.12/950.41 c INPROCESSING
947.12/950.41 c GARBAGE COLLECT
947.12/950.41 c #Conflicts: 624000 | #Constraints: 17430
947.12/950.41 c #Conflicts: 625000 | #Constraints: 18430
947.12/950.41 c #Conflicts: 626000 | #Constraints: 19430
947.12/950.41 c #Conflicts: 627000 | #Constraints: 20430
947.12/950.41 c #Conflicts: 628000 | #Constraints: 21430
947.12/950.41 c #Conflicts: 629000 | #Constraints: 22430
947.12/950.41 c #Conflicts: 630000 | #Constraints: 23430
947.12/950.41 c #Conflicts: 631000 | #Constraints: 24430
947.12/950.41 c #Conflicts: 632000 | #Constraints: 25430
947.12/950.41 c #Conflicts: 633000 | #Constraints: 26430
947.12/950.41 c #Conflicts: 634000 | #Constraints: 27430
947.12/950.41 c #Conflicts: 635000 | #Constraints: 28430
947.12/950.41 c #Conflicts: 636000 | #Constraints: 29430
947.12/950.41 c #Conflicts: 637000 | #Constraints: 30430
947.12/950.41 c #Conflicts: 638000 | #Constraints: 31430
947.12/950.41 c #Conflicts: 639000 | #Constraints: 32430
947.12/950.41 c INPROCESSING
947.12/950.41 c GARBAGE COLLECT
947.12/950.41 c #Conflicts: 640000 | #Constraints: 17626
947.12/950.41 c #Conflicts: 641000 | #Constraints: 18626
947.12/950.41 c #Conflicts: 642000 | #Constraints: 19626
947.12/950.41 c #Conflicts: 643000 | #Constraints: 20626
947.12/950.41 c #Conflicts: 644000 | #Constraints: 21626
947.12/950.41 c #Conflicts: 645000 | #Constraints: 22626
947.12/950.41 c #Conflicts: 646000 | #Constraints: 23626
947.12/950.41 c #Conflicts: 647000 | #Constraints: 24626
947.12/950.41 c #Conflicts: 648000 | #Constraints: 25626
947.12/950.41 c #Conflicts: 649000 | #Constraints: 26626
947.12/950.41 c #Conflicts: 650000 | #Constraints: 27626
947.12/950.41 c #Conflicts: 651000 | #Constraints: 28626
947.12/950.41 c #Conflicts: 652000 | #Constraints: 29626
947.12/950.41 c #Conflicts: 653000 | #Constraints: 30626
947.12/950.41 c #Conflicts: 654000 | #Constraints: 31626
947.12/950.41 c #Conflicts: 655000 | #Constraints: 32626
947.12/950.41 c INPROCESSING
947.12/950.41 c GARBAGE COLLECT
947.12/950.41 c #Conflicts: 656000 | #Constraints: 17626
947.12/950.41 c #Conflicts: 657000 | #Constraints: 18626
947.12/950.41 c #Conflicts: 658000 | #Constraints: 19626
947.12/950.41 c #Conflicts: 659000 | #Constraints: 20626
947.12/950.41 c #Conflicts: 660000 | #Constraints: 21626
947.12/950.41 c #Conflicts: 661000 | #Constraints: 22626
947.12/950.41 c #Conflicts: 662000 | #Constraints: 23626
947.12/950.41 c #Conflicts: 663000 | #Constraints: 24626
947.12/950.41 c #Conflicts: 664000 | #Constraints: 25626
947.12/950.41 c #Conflicts: 665000 | #Constraints: 26626
947.12/950.41 c #Conflicts: 666000 | #Constraints: 27626
947.12/950.41 c #Conflicts: 667000 | #Constraints: 28626
947.12/950.41 c #Conflicts: 668000 | #Constraints: 29626
947.12/950.41 c #Conflicts: 669000 | #Constraints: 30626
947.12/950.41 c #Conflicts: 670000 | #Constraints: 31626
947.12/950.41 c #Conflicts: 671000 | #Constraints: 32626
947.12/950.41 c INPROCESSING
947.12/950.41 c GARBAGE COLLECT
947.12/950.41 c #Conflicts: 672000 | #Constraints: 17432
947.12/950.41 c #Conflicts: 673000 | #Constraints: 18432
947.12/950.41 c #Conflicts: 674000 | #Constraints: 19432
947.12/950.41 c #Conflicts: 675000 | #Constraints: 20432
947.12/950.41 c #Conflicts: 676000 | #Constraints: 21432
947.12/950.41 c #Conflicts: 677000 | #Constraints: 22432
947.12/950.41 c #Conflicts: 678000 | #Constraints: 23432
947.12/950.41 c #Conflicts: 679000 | #Constraints: 24432
947.12/950.41 c #Conflicts: 680000 | #Constraints: 25432
947.12/950.41 c #Conflicts: 681000 | #Constraints: 26432
947.12/950.41 c #Conflicts: 682000 | #Constraints: 27432
947.12/950.41 c #Conflicts: 683000 | #Constraints: 28432
947.12/950.41 c #Conflicts: 684000 | #Constraints: 29432
947.12/950.41 c #Conflicts: 685000 | #Constraints: 30432
1113.13/1117.10 c #Conflicts: 686000 | #Constraints: 31432
1113.13/1117.10 c #Conflicts: 687000 | #Constraints: 32432
1113.13/1117.10 c #Conflicts: 688000 | #Constraints: 33432
1113.13/1117.10 c INPROCESSING
1113.13/1117.10 c GARBAGE COLLECT
1113.13/1117.10 c #Conflicts: 689000 | #Constraints: 18036
1113.13/1117.10 c #Conflicts: 690000 | #Constraints: 19036
1113.13/1117.10 c #Conflicts: 691000 | #Constraints: 20036
1113.13/1117.10 c #Conflicts: 692000 | #Constraints: 21036
1113.13/1117.10 c #Conflicts: 693000 | #Constraints: 22036
1113.13/1117.10 c #Conflicts: 694000 | #Constraints: 23036
1113.13/1117.10 c #Conflicts: 695000 | #Constraints: 24036
1113.13/1117.10 c #Conflicts: 696000 | #Constraints: 25036
1113.13/1117.10 c #Conflicts: 697000 | #Constraints: 26036
1113.13/1117.10 c #Conflicts: 698000 | #Constraints: 27036
1113.13/1117.10 c #Conflicts: 699000 | #Constraints: 28036
1113.13/1117.10 c #Conflicts: 700000 | #Constraints: 29036
1113.13/1117.10 c #Conflicts: 701000 | #Constraints: 30036
1113.13/1117.10 c #Conflicts: 702000 | #Constraints: 31036
1113.13/1117.10 c #Conflicts: 703000 | #Constraints: 32036
1113.13/1117.10 c #Conflicts: 704000 | #Constraints: 33036
1113.13/1117.10 c #Conflicts: 705000 | #Constraints: 34036
1113.13/1117.10 c INPROCESSING
1113.13/1117.10 c GARBAGE COLLECT
1113.13/1117.10 c #Conflicts: 706000 | #Constraints: 18442
1113.13/1117.10 c #Conflicts: 707000 | #Constraints: 19442
1113.13/1117.10 c #Conflicts: 708000 | #Constraints: 20442
1113.13/1117.10 c #Conflicts: 709000 | #Constraints: 21442
1113.13/1117.10 c #Conflicts: 710000 | #Constraints: 22442
1113.13/1117.10 c #Conflicts: 711000 | #Constraints: 23442
1113.13/1117.10 c #Conflicts: 712000 | #Constraints: 24442
1113.13/1117.10 c #Conflicts: 713000 | #Constraints: 25442
1113.13/1117.10 c #Conflicts: 714000 | #Constraints: 26442
1113.13/1117.10 c #Conflicts: 715000 | #Constraints: 27442
1113.13/1117.10 c #Conflicts: 716000 | #Constraints: 28442
1113.13/1117.10 c #Conflicts: 717000 | #Constraints: 29442
1113.13/1117.10 c #Conflicts: 718000 | #Constraints: 30442
1113.13/1117.10 c #Conflicts: 719000 | #Constraints: 31442
1113.13/1117.10 c #Conflicts: 720000 | #Constraints: 32442
1113.13/1117.10 c #Conflicts: 721000 | #Constraints: 33442
1113.13/1117.10 c #Conflicts: 722000 | #Constraints: 34442
1113.13/1117.10 c INPROCESSING
1113.13/1117.10 c GARBAGE COLLECT
1113.13/1117.10 c #Conflicts: 723000 | #Constraints: 18640
1113.13/1117.10 c #Conflicts: 724000 | #Constraints: 19640
1113.13/1117.10 c #Conflicts: 725000 | #Constraints: 20640
1113.13/1117.10 c #Conflicts: 726000 | #Constraints: 21640
1113.13/1117.10 c #Conflicts: 727000 | #Constraints: 22640
1113.13/1117.10 c #Conflicts: 728000 | #Constraints: 23640
1113.13/1117.10 c #Conflicts: 729000 | #Constraints: 24640
1113.13/1117.10 c #Conflicts: 730000 | #Constraints: 25640
1113.13/1117.10 c #Conflicts: 731000 | #Constraints: 26640
1113.13/1117.10 c #Conflicts: 732000 | #Constraints: 27640
1113.13/1117.10 c #Conflicts: 733000 | #Constraints: 28640
1113.13/1117.10 c #Conflicts: 734000 | #Constraints: 29640
1113.13/1117.10 c #Conflicts: 735000 | #Constraints: 30640
1113.13/1117.10 c #Conflicts: 736000 | #Constraints: 31640
1113.13/1117.10 c #Conflicts: 737000 | #Constraints: 32640
1113.13/1117.10 c #Conflicts: 738000 | #Constraints: 33640
1113.13/1117.10 c #Conflicts: 739000 | #Constraints: 34640
1113.13/1117.10 c INPROCESSING
1113.13/1117.10 c GARBAGE COLLECT
1113.13/1117.10 c #Conflicts: 740000 | #Constraints: 18637
1113.13/1117.10 c #Conflicts: 741000 | #Constraints: 19637
1113.13/1117.10 c #Conflicts: 742000 | #Constraints: 20637
1113.13/1117.10 c #Conflicts: 743000 | #Constraints: 21637
1113.13/1117.10 c #Conflicts: 744000 | #Constraints: 22637
1113.13/1117.10 c #Conflicts: 745000 | #Constraints: 23637
1113.13/1117.10 c #Conflicts: 746000 | #Constraints: 24637
1113.13/1117.10 c #Conflicts: 747000 | #Constraints: 25637
1113.13/1117.10 c #Conflicts: 748000 | #Constraints: 26637
1113.13/1117.10 c #Conflicts: 749000 | #Constraints: 27637
1113.13/1117.10 c #Conflicts: 750000 | #Constraints: 28637
1113.13/1117.10 c #Conflicts: 751000 | #Constraints: 29637
1113.13/1117.10 c #Conflicts: 752000 | #Constraints: 30637
1113.13/1117.10 c #Conflicts: 753000 | #Constraints: 31637
1113.13/1117.10 c #Conflicts: 754000 | #Constraints: 32637
1113.13/1117.10 c #Conflicts: 755000 | #Constraints: 33637
1113.13/1117.10 c #Conflicts: 756000 | #Constraints: 34637
1113.13/1117.10 c INPROCESSING
1113.13/1117.10 c GARBAGE COLLECT
1113.13/1117.10 c #Conflicts: 757000 | #Constraints: 18430
1113.13/1117.10 c #Conflicts: 758000 | #Constraints: 19430
1113.13/1117.10 c #Conflicts: 759000 | #Constraints: 20430
1113.13/1117.10 c #Conflicts: 760000 | #Constraints: 21430
1113.13/1117.10 c #Conflicts: 761000 | #Constraints: 22430
1295.26/1299.88 c #Conflicts: 762000 | #Constraints: 23430
1295.26/1299.88 c #Conflicts: 763000 | #Constraints: 24430
1295.26/1299.88 c #Conflicts: 764000 | #Constraints: 25430
1295.26/1299.88 c #Conflicts: 765000 | #Constraints: 26430
1295.26/1299.88 c #Conflicts: 766000 | #Constraints: 27430
1295.26/1299.88 c #Conflicts: 767000 | #Constraints: 28430
1295.26/1299.88 c #Conflicts: 768000 | #Constraints: 29430
1295.26/1299.88 c #Conflicts: 769000 | #Constraints: 30430
1295.26/1299.88 c #Conflicts: 770000 | #Constraints: 31430
1295.26/1299.88 c #Conflicts: 771000 | #Constraints: 32430
1295.26/1299.88 c #Conflicts: 772000 | #Constraints: 33430
1295.26/1299.88 c #Conflicts: 773000 | #Constraints: 34430
1295.26/1299.88 c #Conflicts: 774000 | #Constraints: 35430
1295.26/1299.88 c INPROCESSING
1295.26/1299.88 c GARBAGE COLLECT
1295.26/1299.88 c #Conflicts: 775000 | #Constraints: 19035
1295.26/1299.88 c #Conflicts: 776000 | #Constraints: 20035
1295.26/1299.88 c #Conflicts: 777000 | #Constraints: 21035
1295.26/1299.88 c #Conflicts: 778000 | #Constraints: 22035
1295.26/1299.88 c #Conflicts: 779000 | #Constraints: 23035
1295.26/1299.88 c #Conflicts: 780000 | #Constraints: 24035
1295.26/1299.88 c #Conflicts: 781000 | #Constraints: 25035
1295.26/1299.88 c #Conflicts: 782000 | #Constraints: 26035
1295.26/1299.88 c #Conflicts: 783000 | #Constraints: 27035
1295.26/1299.88 c #Conflicts: 784000 | #Constraints: 28035
1295.26/1299.88 c #Conflicts: 785000 | #Constraints: 29035
1295.26/1299.88 c #Conflicts: 786000 | #Constraints: 30035
1295.26/1299.88 c #Conflicts: 787000 | #Constraints: 31035
1295.26/1299.88 c #Conflicts: 788000 | #Constraints: 32035
1295.26/1299.88 c #Conflicts: 789000 | #Constraints: 33035
1295.26/1299.88 c #Conflicts: 790000 | #Constraints: 34035
1295.26/1299.88 c #Conflicts: 791000 | #Constraints: 35035
1295.26/1299.88 c #Conflicts: 792000 | #Constraints: 36035
1295.26/1299.88 c INPROCESSING
1295.26/1299.88 c GARBAGE COLLECT
1295.26/1299.88 c #Conflicts: 793000 | #Constraints: 19444
1295.26/1299.88 c #Conflicts: 794000 | #Constraints: 20444
1295.26/1299.88 c #Conflicts: 795000 | #Constraints: 21444
1295.26/1299.88 c #Conflicts: 796000 | #Constraints: 22444
1295.26/1299.88 c #Conflicts: 797000 | #Constraints: 23444
1295.26/1299.88 c #Conflicts: 798000 | #Constraints: 24444
1295.26/1299.88 c #Conflicts: 799000 | #Constraints: 25444
1295.26/1299.88 c #Conflicts: 800000 | #Constraints: 26444
1295.26/1299.88 c #Conflicts: 801000 | #Constraints: 27444
1295.26/1299.88 c #Conflicts: 802000 | #Constraints: 28444
1295.26/1299.88 c #Conflicts: 803000 | #Constraints: 29444
1295.26/1299.88 c #Conflicts: 804000 | #Constraints: 30444
1295.26/1299.88 c #Conflicts: 805000 | #Constraints: 31444
1295.26/1299.88 c #Conflicts: 806000 | #Constraints: 32444
1295.26/1299.88 c #Conflicts: 807000 | #Constraints: 33444
1295.26/1299.88 c #Conflicts: 808000 | #Constraints: 34444
1295.26/1299.88 c #Conflicts: 809000 | #Constraints: 35444
1295.26/1299.88 c #Conflicts: 810000 | #Constraints: 36444
1295.26/1299.88 c INPROCESSING
1295.26/1299.88 c GARBAGE COLLECT
1295.26/1299.88 c #Conflicts: 811000 | #Constraints: 19645
1295.26/1299.88 c #Conflicts: 812000 | #Constraints: 20645
1295.26/1299.88 c #Conflicts: 813000 | #Constraints: 21645
1295.26/1299.88 c #Conflicts: 814000 | #Constraints: 22645
1295.26/1299.88 c #Conflicts: 815000 | #Constraints: 23645
1295.26/1299.88 c #Conflicts: 816000 | #Constraints: 24645
1295.26/1299.88 c #Conflicts: 817000 | #Constraints: 25645
1295.26/1299.88 c #Conflicts: 818000 | #Constraints: 26645
1295.26/1299.88 c #Conflicts: 819000 | #Constraints: 27645
1295.26/1299.88 c #Conflicts: 820000 | #Constraints: 28645
1295.26/1299.88 c #Conflicts: 821000 | #Constraints: 29645
1295.26/1299.88 c #Conflicts: 822000 | #Constraints: 30645
1295.26/1299.88 c #Conflicts: 823000 | #Constraints: 31645
1295.26/1299.88 c #Conflicts: 824000 | #Constraints: 32645
1295.26/1299.88 c #Conflicts: 825000 | #Constraints: 33645
1295.26/1299.88 c #Conflicts: 826000 | #Constraints: 34645
1295.26/1299.88 c #Conflicts: 827000 | #Constraints: 35645
1295.26/1299.88 c #Conflicts: 828000 | #Constraints: 36645
1295.26/1299.88 c INPROCESSING
1295.26/1299.88 c GARBAGE COLLECT
1295.26/1299.88 c #Conflicts: 829000 | #Constraints: 19640
1295.26/1299.88 c #Conflicts: 830000 | #Constraints: 20640
1295.26/1299.88 c #Conflicts: 831000 | #Constraints: 21640
1295.26/1299.88 c #Conflicts: 832000 | #Constraints: 22640
1295.26/1299.88 c #Conflicts: 833000 | #Constraints: 23640
1295.26/1299.88 c #Conflicts: 834000 | #Constraints: 24640
1295.26/1299.88 c #Conflicts: 835000 | #Constraints: 25640
1295.26/1299.88 c #Conflicts: 836000 | #Constraints: 26640
1295.26/1299.88 c #Conflicts: 837000 | #Constraints: 27640
1485.92/1491.06 c #Conflicts: 838000 | #Constraints: 28640
1485.92/1491.06 c #Conflicts: 839000 | #Constraints: 29640
1485.92/1491.06 c #Conflicts: 840000 | #Constraints: 30640
1485.92/1491.06 c #Conflicts: 841000 | #Constraints: 31640
1485.92/1491.06 c #Conflicts: 842000 | #Constraints: 32640
1485.92/1491.06 c #Conflicts: 843000 | #Constraints: 33640
1485.92/1491.06 c #Conflicts: 844000 | #Constraints: 34640
1485.92/1491.06 c #Conflicts: 845000 | #Constraints: 35640
1485.92/1491.06 c #Conflicts: 846000 | #Constraints: 36640
1485.92/1491.06 c INPROCESSING
1485.92/1491.06 c GARBAGE COLLECT
1485.92/1491.06 c #Conflicts: 847000 | #Constraints: 19450
1485.92/1491.06 c #Conflicts: 848000 | #Constraints: 20450
1485.92/1491.06 c #Conflicts: 849000 | #Constraints: 21450
1485.92/1491.06 c #Conflicts: 850000 | #Constraints: 22450
1485.92/1491.06 c #Conflicts: 851000 | #Constraints: 23450
1485.92/1491.06 c #Conflicts: 852000 | #Constraints: 24450
1485.92/1491.06 c #Conflicts: 853000 | #Constraints: 25450
1485.92/1491.06 c #Conflicts: 854000 | #Constraints: 26450
1485.92/1491.06 c #Conflicts: 855000 | #Constraints: 27450
1485.92/1491.06 c #Conflicts: 856000 | #Constraints: 28450
1485.92/1491.06 c #Conflicts: 857000 | #Constraints: 29450
1485.92/1491.06 c #Conflicts: 858000 | #Constraints: 30450
1485.92/1491.06 c #Conflicts: 859000 | #Constraints: 31450
1485.92/1491.06 c #Conflicts: 860000 | #Constraints: 32450
1485.92/1491.06 c #Conflicts: 861000 | #Constraints: 33450
1485.92/1491.06 c #Conflicts: 862000 | #Constraints: 34450
1485.92/1491.06 c #Conflicts: 863000 | #Constraints: 35450
1485.92/1491.06 c #Conflicts: 864000 | #Constraints: 36450
1485.92/1491.06 c #Conflicts: 865000 | #Constraints: 37450
1485.92/1491.06 c INPROCESSING
1485.92/1491.06 c GARBAGE COLLECT
1485.92/1491.06 c #Conflicts: 866000 | #Constraints: 20050
1485.92/1491.06 c #Conflicts: 867000 | #Constraints: 21050
1485.92/1491.06 c #Conflicts: 868000 | #Constraints: 22050
1485.92/1491.06 c #Conflicts: 869000 | #Constraints: 23050
1485.92/1491.06 c #Conflicts: 870000 | #Constraints: 24050
1485.92/1491.06 c #Conflicts: 871000 | #Constraints: 25050
1485.92/1491.06 c #Conflicts: 872000 | #Constraints: 26050
1485.92/1491.06 c #Conflicts: 873000 | #Constraints: 27050
1485.92/1491.06 c #Conflicts: 874000 | #Constraints: 28050
1485.92/1491.06 c #Conflicts: 875000 | #Constraints: 29050
1485.92/1491.06 c #Conflicts: 876000 | #Constraints: 30050
1485.92/1491.06 c #Conflicts: 877000 | #Constraints: 31050
1485.92/1491.06 c #Conflicts: 878000 | #Constraints: 32050
1485.92/1491.06 c #Conflicts: 879000 | #Constraints: 33050
1485.92/1491.06 c #Conflicts: 880000 | #Constraints: 34050
1485.92/1491.06 c #Conflicts: 881000 | #Constraints: 35050
1485.92/1491.06 c #Conflicts: 882000 | #Constraints: 36050
1485.92/1491.06 c #Conflicts: 883000 | #Constraints: 37050
1485.92/1491.06 c #Conflicts: 884000 | #Constraints: 38050
1485.92/1491.06 c INPROCESSING
1485.92/1491.06 c GARBAGE COLLECT
1485.92/1491.06 c #Conflicts: 885000 | #Constraints: 20446
1485.92/1491.06 c #Conflicts: 886000 | #Constraints: 21446
1485.92/1491.06 c #Conflicts: 887000 | #Constraints: 22446
1485.92/1491.06 c #Conflicts: 888000 | #Constraints: 23446
1485.92/1491.06 c #Conflicts: 889000 | #Constraints: 24446
1485.92/1491.06 c #Conflicts: 890000 | #Constraints: 25446
1485.92/1491.06 c #Conflicts: 891000 | #Constraints: 26446
1485.92/1491.06 c #Conflicts: 892000 | #Constraints: 27446
1485.92/1491.06 c #Conflicts: 893000 | #Constraints: 28446
1485.92/1491.06 c #Conflicts: 894000 | #Constraints: 29446
1485.92/1491.06 c #Conflicts: 895000 | #Constraints: 30446
1485.92/1491.06 c #Conflicts: 896000 | #Constraints: 31446
1485.92/1491.06 c #Conflicts: 897000 | #Constraints: 32446
1485.92/1491.06 c #Conflicts: 898000 | #Constraints: 33446
1485.92/1491.06 c #Conflicts: 899000 | #Constraints: 34446
1485.92/1491.06 c #Conflicts: 900000 | #Constraints: 35446
1485.92/1491.06 c #Conflicts: 901000 | #Constraints: 36446
1485.92/1491.06 c #Conflicts: 902000 | #Constraints: 37446
1485.92/1491.06 c #Conflicts: 903000 | #Constraints: 38446
1485.92/1491.06 c INPROCESSING
1485.92/1491.06 c GARBAGE COLLECT
1485.92/1491.06 c #Conflicts: 904000 | #Constraints: 20637
1485.92/1491.06 c #Conflicts: 905000 | #Constraints: 21637
1485.92/1491.06 c #Conflicts: 906000 | #Constraints: 22637
1485.92/1491.06 c #Conflicts: 907000 | #Constraints: 23637
1485.92/1491.06 c #Conflicts: 908000 | #Constraints: 24637
1485.92/1491.06 c #Conflicts: 909000 | #Constraints: 25637
1485.92/1491.06 c #Conflicts: 910000 | #Constraints: 26637
1485.92/1491.06 c #Conflicts: 911000 | #Constraints: 27637
1485.92/1491.06 c #Conflicts: 912000 | #Constraints: 28637
1485.92/1491.06 c #Conflicts: 913000 | #Constraints: 29637
1680.45/1686.13 c #Conflicts: 914000 | #Constraints: 30637
1680.45/1686.13 c #Conflicts: 915000 | #Constraints: 31637
1680.45/1686.13 c #Conflicts: 916000 | #Constraints: 32637
1680.45/1686.13 c #Conflicts: 917000 | #Constraints: 33637
1680.45/1686.13 c #Conflicts: 918000 | #Constraints: 34637
1680.45/1686.13 c #Conflicts: 919000 | #Constraints: 35637
1680.45/1686.13 c #Conflicts: 920000 | #Constraints: 36637
1680.45/1686.13 c #Conflicts: 921000 | #Constraints: 37637
1680.45/1686.13 c #Conflicts: 922000 | #Constraints: 38637
1680.45/1686.13 c INPROCESSING
1680.45/1686.13 c GARBAGE COLLECT
1680.45/1686.13 c #Conflicts: 923000 | #Constraints: 20630
1680.45/1686.13 c #Conflicts: 924000 | #Constraints: 21630
1680.45/1686.13 c #Conflicts: 925000 | #Constraints: 22630
1680.45/1686.13 c #Conflicts: 926000 | #Constraints: 23630
1680.45/1686.13 c #Conflicts: 927000 | #Constraints: 24630
1680.45/1686.13 c #Conflicts: 928000 | #Constraints: 25630
1680.45/1686.13 c #Conflicts: 929000 | #Constraints: 26630
1680.45/1686.13 c #Conflicts: 930000 | #Constraints: 27630
1680.45/1686.13 c #Conflicts: 931000 | #Constraints: 28630
1680.45/1686.13 c #Conflicts: 932000 | #Constraints: 29630
1680.45/1686.13 c #Conflicts: 933000 | #Constraints: 30630
1680.45/1686.13 c #Conflicts: 934000 | #Constraints: 31630
1680.45/1686.13 c #Conflicts: 935000 | #Constraints: 32630
1680.45/1686.13 c #Conflicts: 936000 | #Constraints: 33630
1680.45/1686.13 c #Conflicts: 937000 | #Constraints: 34630
1680.45/1686.13 c #Conflicts: 938000 | #Constraints: 35630
1680.45/1686.13 c #Conflicts: 939000 | #Constraints: 36630
1680.45/1686.13 c #Conflicts: 940000 | #Constraints: 37630
1680.45/1686.13 c #Conflicts: 941000 | #Constraints: 38630
1680.45/1686.13 c INPROCESSING
1680.45/1686.13 c GARBAGE COLLECT
1680.45/1686.13 c #Conflicts: 942000 | #Constraints: 20424
1680.45/1686.13 c #Conflicts: 943000 | #Constraints: 21424
1680.45/1686.13 c #Conflicts: 944000 | #Constraints: 22424
1680.45/1686.13 c #Conflicts: 945000 | #Constraints: 23424
1680.45/1686.13 c #Conflicts: 946000 | #Constraints: 24424
1680.45/1686.13 c #Conflicts: 947000 | #Constraints: 25424
1680.45/1686.13 c #Conflicts: 948000 | #Constraints: 26424
1680.45/1686.13 c #Conflicts: 949000 | #Constraints: 27424
1680.45/1686.13 c #Conflicts: 950000 | #Constraints: 28424
1680.45/1686.13 c #Conflicts: 951000 | #Constraints: 29424
1680.45/1686.13 c #Conflicts: 952000 | #Constraints: 30424
1680.45/1686.13 c #Conflicts: 953000 | #Constraints: 31424
1680.45/1686.13 c #Conflicts: 954000 | #Constraints: 32424
1680.45/1686.13 c #Conflicts: 955000 | #Constraints: 33424
1680.45/1686.13 c #Conflicts: 956000 | #Constraints: 34424
1680.45/1686.13 c #Conflicts: 957000 | #Constraints: 35424
1680.45/1686.13 c #Conflicts: 958000 | #Constraints: 36424
1680.45/1686.13 c #Conflicts: 959000 | #Constraints: 37424
1680.45/1686.13 c #Conflicts: 960000 | #Constraints: 38424
1680.45/1686.13 c #Conflicts: 961000 | #Constraints: 39424
1680.45/1686.13 c INPROCESSING
1680.45/1686.13 c GARBAGE COLLECT
1680.45/1686.13 c #Conflicts: 962000 | #Constraints: 21030
1680.45/1686.13 c #Conflicts: 963000 | #Constraints: 22030
1680.45/1686.13 c #Conflicts: 964000 | #Constraints: 23030
1680.45/1686.13 c #Conflicts: 965000 | #Constraints: 24030
1680.45/1686.13 c #Conflicts: 966000 | #Constraints: 25030
1680.45/1686.13 c #Conflicts: 967000 | #Constraints: 26030
1680.45/1686.13 c #Conflicts: 968000 | #Constraints: 27030
1680.45/1686.13 c #Conflicts: 969000 | #Constraints: 28030
1680.45/1686.13 c #Conflicts: 970000 | #Constraints: 29030
1680.45/1686.13 c #Conflicts: 971000 | #Constraints: 30030
1680.45/1686.13 c #Conflicts: 972000 | #Constraints: 31030
1680.45/1686.13 c #Conflicts: 973000 | #Constraints: 32030
1680.45/1686.13 c #Conflicts: 974000 | #Constraints: 33030
1680.45/1686.13 c #Conflicts: 975000 | #Constraints: 34030
1680.45/1686.13 c #Conflicts: 976000 | #Constraints: 35030
1680.45/1686.13 c #Conflicts: 977000 | #Constraints: 36030
1680.45/1686.13 c #Conflicts: 978000 | #Constraints: 37030
1680.45/1686.13 c #Conflicts: 979000 | #Constraints: 38030
1680.45/1686.13 c #Conflicts: 980000 | #Constraints: 39030
1680.45/1686.13 c #Conflicts: 981000 | #Constraints: 40030
1680.45/1686.13 c INPROCESSING
1680.45/1686.13 c GARBAGE COLLECT
1680.45/1686.13 c #Conflicts: 982000 | #Constraints: 21436
1680.45/1686.13 c #Conflicts: 983000 | #Constraints: 22436
1680.45/1686.13 c #Conflicts: 984000 | #Constraints: 23436
1680.45/1686.13 c #Conflicts: 985000 | #Constraints: 24436
1680.45/1686.13 c #Conflicts: 986000 | #Constraints: 25436
1680.45/1686.13 c #Conflicts: 987000 | #Constraints: 26436
1680.45/1686.13 c #Conflicts: 988000 | #Constraints: 27436
1680.45/1686.13 c #Conflicts: 989000 | #Constraints: 28436
1904.28/1910.68 c #Conflicts: 990000 | #Constraints: 29436
1904.28/1910.68 c #Conflicts: 991000 | #Constraints: 30436
1904.28/1910.68 c #Conflicts: 992000 | #Constraints: 31436
1904.28/1910.68 c #Conflicts: 993000 | #Constraints: 32436
1904.28/1910.68 c #Conflicts: 994000 | #Constraints: 33436
1904.28/1910.68 c #Conflicts: 995000 | #Constraints: 34436
1904.28/1910.68 c #Conflicts: 996000 | #Constraints: 35436
1904.28/1910.68 c #Conflicts: 997000 | #Constraints: 36436
1904.28/1910.68 c #Conflicts: 998000 | #Constraints: 37436
1904.28/1910.68 c #Conflicts: 999000 | #Constraints: 38436
1904.28/1910.68 c #Conflicts: 1000000 | #Constraints: 39436
1904.28/1910.68 c #Conflicts: 1001000 | #Constraints: 40436
1904.28/1910.68 c INPROCESSING
1904.28/1910.68 c GARBAGE COLLECT
1904.28/1910.68 c #Conflicts: 1002000 | #Constraints: 21645
1904.28/1910.68 c #Conflicts: 1003000 | #Constraints: 22645
1904.28/1910.68 c #Conflicts: 1004000 | #Constraints: 23645
1904.28/1910.68 c #Conflicts: 1005000 | #Constraints: 24645
1904.28/1910.68 c #Conflicts: 1006000 | #Constraints: 25645
1904.28/1910.68 c #Conflicts: 1007000 | #Constraints: 26645
1904.28/1910.68 c #Conflicts: 1008000 | #Constraints: 27645
1904.28/1910.68 c #Conflicts: 1009000 | #Constraints: 28645
1904.28/1910.68 c #Conflicts: 1010000 | #Constraints: 29645
1904.28/1910.68 c #Conflicts: 1011000 | #Constraints: 30645
1904.28/1910.68 c #Conflicts: 1012000 | #Constraints: 31645
1904.28/1910.68 c #Conflicts: 1013000 | #Constraints: 32645
1904.28/1910.68 c #Conflicts: 1014000 | #Constraints: 33645
1904.28/1910.68 c #Conflicts: 1015000 | #Constraints: 34645
1904.28/1910.68 c #Conflicts: 1016000 | #Constraints: 35645
1904.28/1910.68 c #Conflicts: 1017000 | #Constraints: 36645
1904.28/1910.68 c #Conflicts: 1018000 | #Constraints: 37645
1904.28/1910.68 c #Conflicts: 1019000 | #Constraints: 38645
1904.28/1910.68 c #Conflicts: 1020000 | #Constraints: 39645
1904.28/1910.68 c #Conflicts: 1021000 | #Constraints: 40645
1904.28/1910.68 c INPROCESSING
1904.28/1910.68 c GARBAGE COLLECT
1904.28/1910.68 c #Conflicts: 1022000 | #Constraints: 21644
1904.28/1910.68 c #Conflicts: 1023000 | #Constraints: 22644
1904.28/1910.68 c #Conflicts: 1024000 | #Constraints: 23644
1904.28/1910.68 c #Conflicts: 1025000 | #Constraints: 24644
1904.28/1910.68 c #Conflicts: 1026000 | #Constraints: 25644
1904.28/1910.68 c #Conflicts: 1027000 | #Constraints: 26644
1904.28/1910.68 c #Conflicts: 1028000 | #Constraints: 27644
1904.28/1910.68 c #Conflicts: 1029000 | #Constraints: 28644
1904.28/1910.68 c #Conflicts: 1030000 | #Constraints: 29644
1904.28/1910.68 c #Conflicts: 1031000 | #Constraints: 30644
1904.28/1910.68 c #Conflicts: 1032000 | #Constraints: 31644
1904.28/1910.68 c #Conflicts: 1033000 | #Constraints: 32644
1904.28/1910.68 c #Conflicts: 1034000 | #Constraints: 33644
1904.28/1910.68 c #Conflicts: 1035000 | #Constraints: 34644
1904.28/1910.68 c #Conflicts: 1036000 | #Constraints: 35644
1904.28/1910.68 c #Conflicts: 1037000 | #Constraints: 36644
1904.28/1910.68 c #Conflicts: 1038000 | #Constraints: 37644
1904.28/1910.68 c #Conflicts: 1039000 | #Constraints: 38644
1904.28/1910.68 c #Conflicts: 1040000 | #Constraints: 39644
1904.28/1910.68 c #Conflicts: 1041000 | #Constraints: 40644
1904.28/1910.68 c INPROCESSING
1904.28/1910.68 c GARBAGE COLLECT
1904.28/1910.68 c #Conflicts: 1042000 | #Constraints: 21445
1904.28/1910.68 c #Conflicts: 1043000 | #Constraints: 22445
1904.28/1910.68 c #Conflicts: 1044000 | #Constraints: 23445
1904.28/1910.68 c #Conflicts: 1045000 | #Constraints: 24445
1904.28/1910.68 c #Conflicts: 1046000 | #Constraints: 25445
1904.28/1910.68 c #Conflicts: 1047000 | #Constraints: 26445
1904.28/1910.68 c #Conflicts: 1048000 | #Constraints: 27445
1904.28/1910.68 c #Conflicts: 1049000 | #Constraints: 28445
1904.28/1910.68 c #Conflicts: 1050000 | #Constraints: 29445
1904.28/1910.68 c #Conflicts: 1051000 | #Constraints: 30445
1904.28/1910.68 c #Conflicts: 1052000 | #Constraints: 31445
1904.28/1910.68 c #Conflicts: 1053000 | #Constraints: 32445
1904.28/1910.68 c #Conflicts: 1054000 | #Constraints: 33445
1904.28/1910.68 c #Conflicts: 1055000 | #Constraints: 34445
1904.28/1910.68 c #Conflicts: 1056000 | #Constraints: 35445
1904.28/1910.68 c #Conflicts: 1057000 | #Constraints: 36445
1904.28/1910.68 c #Conflicts: 1058000 | #Constraints: 37445
1904.28/1910.68 c #Conflicts: 1059000 | #Constraints: 38445
1904.28/1910.68 c #Conflicts: 1060000 | #Constraints: 39445
1904.28/1910.68 c #Conflicts: 1061000 | #Constraints: 40445
1904.28/1910.68 c #Conflicts: 1062000 | #Constraints: 41445
1904.28/1910.68 c INPROCESSING
1904.28/1910.68 c GARBAGE COLLECT
1904.28/1910.68 c #Conflicts: 1063000 | #Constraints: 22039
1904.28/1910.68 c #Conflicts: 1064000 | #Constraints: 23039
1904.28/1910.68 c #Conflicts: 1065000 | #Constraints: 24039
1904.28/1910.68 c #Conflicts: 1066000 | #Constraints: 25039
1962.72/1969.27 c #Conflicts: 1067000 | #Constraints: 26039
1962.72/1969.27 c #Conflicts: 1068000 | #Constraints: 27039
1962.72/1969.27 c #Conflicts: 1069000 | #Constraints: 28039
1962.72/1969.27 c #Conflicts: 1070000 | #Constraints: 29039
1962.72/1969.27 c #Conflicts: 1071000 | #Constraints: 30039
1962.72/1969.27 c #Conflicts: 1072000 | #Constraints: 31039
1962.72/1969.27 c #Conflicts: 1073000 | #Constraints: 32039
1962.72/1969.27 c #Conflicts: 1074000 | #Constraints: 33039
1962.72/1969.27 c #Conflicts: 1075000 | #Constraints: 34039
1962.72/1969.27 c #Conflicts: 1076000 | #Constraints: 35039
1962.72/1969.27 c #Conflicts: 1077000 | #Constraints: 36039
1962.72/1969.27 c #Conflicts: 1078000 | #Constraints: 37039
1962.72/1969.27 c #Conflicts: 1079000 | #Constraints: 38039
1962.72/1969.27 c #Conflicts: 1080000 | #Constraints: 39039
1962.72/1969.27 c #Conflicts: 1081000 | #Constraints: 40039
1962.72/1969.27 c #Conflicts: 1082000 | #Constraints: 41039
1962.72/1969.27 c #Conflicts: 1083000 | #Constraints: 42039
1962.72/1969.27 c INPROCESSING
1962.72/1969.27 c GARBAGE COLLECT
1962.72/1969.27 c #Conflicts: 1084000 | #Constraints: 22438
1962.72/1969.27 c #Conflicts: 1085000 | #Constraints: 23438
1962.72/1969.27 c #Conflicts: 1086000 | #Constraints: 24438
1962.72/1969.27 c #Conflicts: 1087000 | #Constraints: 25438
1962.72/1969.27 c #Conflicts: 1088000 | #Constraints: 26438
1962.72/1969.27 c #Conflicts: 1089000 | #Constraints: 27438
1962.72/1969.27 c #Conflicts: 1090000 | #Constraints: 28438
1962.72/1969.27 c GLOBAL bounds - >= 0 @ 1956.68
2157.96/2165.03 c #Conflicts: 1091000 | #Constraints: 29440
2157.96/2165.03 c #Conflicts: 1092000 | #Constraints: 30440
2157.96/2165.03 c #Conflicts: 1093000 | #Constraints: 31440
2157.96/2165.03 c #Conflicts: 1094000 | #Constraints: 32440
2157.96/2165.03 c #Conflicts: 1095000 | #Constraints: 33440
2157.96/2165.03 c #Conflicts: 1096000 | #Constraints: 34440
2157.96/2165.03 c #Conflicts: 1097000 | #Constraints: 35440
2157.96/2165.03 c #Conflicts: 1098000 | #Constraints: 36440
2157.96/2165.03 c #Conflicts: 1099000 | #Constraints: 37440
2157.96/2165.03 c #Conflicts: 1100000 | #Constraints: 38440
2157.96/2165.03 c #Conflicts: 1101000 | #Constraints: 39440
2157.96/2165.03 c #Conflicts: 1102000 | #Constraints: 40440
2157.96/2165.03 c #Conflicts: 1103000 | #Constraints: 41440
2157.96/2165.03 c #Conflicts: 1104000 | #Constraints: 42440
2157.96/2165.03 c INPROCESSING
2157.96/2165.03 c GARBAGE COLLECT
2157.96/2165.03 c #Conflicts: 1105000 | #Constraints: 22632
2157.96/2165.03 c #Conflicts: 1106000 | #Constraints: 23632
2157.96/2165.03 c #Conflicts: 1107000 | #Constraints: 24632
2157.96/2165.03 c #Conflicts: 1108000 | #Constraints: 25632
2157.96/2165.03 c #Conflicts: 1109000 | #Constraints: 26632
2157.96/2165.03 c #Conflicts: 1110000 | #Constraints: 27632
2157.96/2165.03 c #Conflicts: 1111000 | #Constraints: 28632
2157.96/2165.03 c #Conflicts: 1112000 | #Constraints: 29632
2157.96/2165.03 c #Conflicts: 1113000 | #Constraints: 30632
2157.96/2165.03 c #Conflicts: 1114000 | #Constraints: 31632
2157.96/2165.03 c #Conflicts: 1115000 | #Constraints: 32632
2157.96/2165.03 c #Conflicts: 1116000 | #Constraints: 33632
2157.96/2165.03 c #Conflicts: 1117000 | #Constraints: 34632
2157.96/2165.03 c #Conflicts: 1118000 | #Constraints: 35632
2157.96/2165.03 c #Conflicts: 1119000 | #Constraints: 36632
2157.96/2165.03 c #Conflicts: 1120000 | #Constraints: 37632
2157.96/2165.03 c #Conflicts: 1121000 | #Constraints: 38632
2157.96/2165.03 c #Conflicts: 1122000 | #Constraints: 39632
2157.96/2165.03 c #Conflicts: 1123000 | #Constraints: 40632
2157.96/2165.03 c #Conflicts: 1124000 | #Constraints: 41632
2157.96/2165.03 c #Conflicts: 1125000 | #Constraints: 42632
2157.96/2165.03 c INPROCESSING
2157.96/2165.03 c GARBAGE COLLECT
2157.96/2165.03 c #Conflicts: 1126000 | #Constraints: 22631
2157.96/2165.03 c #Conflicts: 1127000 | #Constraints: 23631
2157.96/2165.03 c #Conflicts: 1128000 | #Constraints: 24631
2157.96/2165.03 c #Conflicts: 1129000 | #Constraints: 25631
2157.96/2165.03 c #Conflicts: 1130000 | #Constraints: 26631
2157.96/2165.03 c #Conflicts: 1131000 | #Constraints: 27631
2157.96/2165.03 c #Conflicts: 1132000 | #Constraints: 28631
2157.96/2165.03 c #Conflicts: 1133000 | #Constraints: 29631
2157.96/2165.03 c #Conflicts: 1134000 | #Constraints: 30631
2157.96/2165.03 c #Conflicts: 1135000 | #Constraints: 31631
2157.96/2165.03 c #Conflicts: 1136000 | #Constraints: 32631
2157.96/2165.03 c #Conflicts: 1137000 | #Constraints: 33631
2157.96/2165.03 c #Conflicts: 1138000 | #Constraints: 34631
2157.96/2165.03 c #Conflicts: 1139000 | #Constraints: 35631
2157.96/2165.03 c #Conflicts: 1140000 | #Constraints: 36631
2157.96/2165.03 c #Conflicts: 1141000 | #Constraints: 37631
2157.96/2165.03 c #Conflicts: 1142000 | #Constraints: 38631
2157.96/2165.03 c #Conflicts: 1143000 | #Constraints: 39631
2157.96/2165.03 c #Conflicts: 1144000 | #Constraints: 40631
2157.96/2165.03 c #Conflicts: 1145000 | #Constraints: 41631
2157.96/2165.03 c #Conflicts: 1146000 | #Constraints: 42631
2157.96/2165.03 c INPROCESSING
2157.96/2165.03 c GARBAGE COLLECT
2157.96/2165.03 c #Conflicts: 1147000 | #Constraints: 22435
2157.96/2165.03 c #Conflicts: 1148000 | #Constraints: 23435
2157.96/2165.03 c #Conflicts: 1149000 | #Constraints: 24435
2157.96/2165.03 c #Conflicts: 1150000 | #Constraints: 25435
2157.96/2165.03 c #Conflicts: 1151000 | #Constraints: 26435
2157.96/2165.03 c #Conflicts: 1152000 | #Constraints: 27435
2157.96/2165.03 c #Conflicts: 1153000 | #Constraints: 28435
2157.96/2165.03 c #Conflicts: 1154000 | #Constraints: 29435
2157.96/2165.03 c #Conflicts: 1155000 | #Constraints: 30435
2157.96/2165.03 c #Conflicts: 1156000 | #Constraints: 31435
2157.96/2165.03 c #Conflicts: 1157000 | #Constraints: 32435
2157.96/2165.03 c #Conflicts: 1158000 | #Constraints: 33435
2157.96/2165.03 c #Conflicts: 1159000 | #Constraints: 34435
2157.96/2165.03 c #Conflicts: 1160000 | #Constraints: 35435
2157.96/2165.03 c #Conflicts: 1161000 | #Constraints: 36435
2157.96/2165.03 c #Conflicts: 1162000 | #Constraints: 37435
2157.96/2165.03 c #Conflicts: 1163000 | #Constraints: 38435
2157.96/2165.03 c #Conflicts: 1164000 | #Constraints: 39435
2157.96/2165.03 c #Conflicts: 1165000 | #Constraints: 40435
2157.96/2165.03 c #Conflicts: 1166000 | #Constraints: 41435
2157.96/2165.03 c #Conflicts: 1167000 | #Constraints: 42435
2349.99/2357.60 c #Conflicts: 1168000 | #Constraints: 43435
2349.99/2357.60 c INPROCESSING
2349.99/2357.60 c GARBAGE COLLECT
2349.99/2357.60 c #Conflicts: 1169000 | #Constraints: 23029
2349.99/2357.60 c #Conflicts: 1170000 | #Constraints: 24029
2349.99/2357.60 c #Conflicts: 1171000 | #Constraints: 25029
2349.99/2357.60 c #Conflicts: 1172000 | #Constraints: 26029
2349.99/2357.60 c #Conflicts: 1173000 | #Constraints: 27029
2349.99/2357.60 c #Conflicts: 1174000 | #Constraints: 28029
2349.99/2357.60 c #Conflicts: 1175000 | #Constraints: 29029
2349.99/2357.60 c #Conflicts: 1176000 | #Constraints: 30029
2349.99/2357.60 c #Conflicts: 1177000 | #Constraints: 31029
2349.99/2357.60 c #Conflicts: 1178000 | #Constraints: 32029
2349.99/2357.60 c #Conflicts: 1179000 | #Constraints: 33029
2349.99/2357.60 c #Conflicts: 1180000 | #Constraints: 34029
2349.99/2357.60 c #Conflicts: 1181000 | #Constraints: 35029
2349.99/2357.60 c #Conflicts: 1182000 | #Constraints: 36029
2349.99/2357.60 c #Conflicts: 1183000 | #Constraints: 37029
2349.99/2357.60 c #Conflicts: 1184000 | #Constraints: 38029
2349.99/2357.60 c #Conflicts: 1185000 | #Constraints: 39029
2349.99/2357.60 c #Conflicts: 1186000 | #Constraints: 40029
2349.99/2357.60 c #Conflicts: 1187000 | #Constraints: 41029
2349.99/2357.60 c #Conflicts: 1188000 | #Constraints: 42029
2349.99/2357.60 c #Conflicts: 1189000 | #Constraints: 43029
2349.99/2357.60 c #Conflicts: 1190000 | #Constraints: 44029
2349.99/2357.60 c INPROCESSING
2349.99/2357.60 c GARBAGE COLLECT
2349.99/2357.60 c #Conflicts: 1191000 | #Constraints: 23434
2349.99/2357.60 c #Conflicts: 1192000 | #Constraints: 24434
2349.99/2357.60 c #Conflicts: 1193000 | #Constraints: 25434
2349.99/2357.60 c #Conflicts: 1194000 | #Constraints: 26434
2349.99/2357.60 c #Conflicts: 1195000 | #Constraints: 27434
2349.99/2357.60 c #Conflicts: 1196000 | #Constraints: 28434
2349.99/2357.60 c #Conflicts: 1197000 | #Constraints: 29434
2349.99/2357.60 c #Conflicts: 1198000 | #Constraints: 30434
2349.99/2357.60 c #Conflicts: 1199000 | #Constraints: 31434
2349.99/2357.60 c #Conflicts: 1200000 | #Constraints: 32434
2349.99/2357.60 c #Conflicts: 1201000 | #Constraints: 33434
2349.99/2357.60 c #Conflicts: 1202000 | #Constraints: 34434
2349.99/2357.60 c #Conflicts: 1203000 | #Constraints: 35434
2349.99/2357.60 c #Conflicts: 1204000 | #Constraints: 36434
2349.99/2357.60 c #Conflicts: 1205000 | #Constraints: 37434
2349.99/2357.60 c #Conflicts: 1206000 | #Constraints: 38434
2349.99/2357.60 c #Conflicts: 1207000 | #Constraints: 39434
2349.99/2357.60 c #Conflicts: 1208000 | #Constraints: 40434
2349.99/2357.60 c #Conflicts: 1209000 | #Constraints: 41434
2349.99/2357.60 c #Conflicts: 1210000 | #Constraints: 42434
2349.99/2357.60 c #Conflicts: 1211000 | #Constraints: 43434
2349.99/2357.60 c #Conflicts: 1212000 | #Constraints: 44434
2349.99/2357.60 c INPROCESSING
2349.99/2357.60 c GARBAGE COLLECT
2349.99/2357.60 c #Conflicts: 1213000 | #Constraints: 23638
2349.99/2357.60 c #Conflicts: 1214000 | #Constraints: 24638
2349.99/2357.60 c #Conflicts: 1215000 | #Constraints: 25638
2349.99/2357.60 c #Conflicts: 1216000 | #Constraints: 26638
2349.99/2357.60 c #Conflicts: 1217000 | #Constraints: 27638
2349.99/2357.60 c #Conflicts: 1218000 | #Constraints: 28638
2349.99/2357.60 c #Conflicts: 1219000 | #Constraints: 29638
2349.99/2357.60 c #Conflicts: 1220000 | #Constraints: 30638
2349.99/2357.60 c #Conflicts: 1221000 | #Constraints: 31638
2349.99/2357.60 c #Conflicts: 1222000 | #Constraints: 32638
2349.99/2357.60 c #Conflicts: 1223000 | #Constraints: 33638
2349.99/2357.60 c #Conflicts: 1224000 | #Constraints: 34638
2349.99/2357.60 c #Conflicts: 1225000 | #Constraints: 35638
2349.99/2357.60 c #Conflicts: 1226000 | #Constraints: 36638
2349.99/2357.60 c #Conflicts: 1227000 | #Constraints: 37638
2349.99/2357.60 c #Conflicts: 1228000 | #Constraints: 38638
2349.99/2357.60 c #Conflicts: 1229000 | #Constraints: 39638
2349.99/2357.60 c #Conflicts: 1230000 | #Constraints: 40638
2349.99/2357.60 c #Conflicts: 1231000 | #Constraints: 41638
2349.99/2357.60 c #Conflicts: 1232000 | #Constraints: 42638
2349.99/2357.60 c #Conflicts: 1233000 | #Constraints: 43638
2349.99/2357.60 c #Conflicts: 1234000 | #Constraints: 44638
2349.99/2357.60 c INPROCESSING
2349.99/2357.60 c GARBAGE COLLECT
2349.99/2357.60 c #Conflicts: 1235000 | #Constraints: 23629
2349.99/2357.60 c #Conflicts: 1236000 | #Constraints: 24629
2349.99/2357.60 c #Conflicts: 1237000 | #Constraints: 25629
2349.99/2357.60 c #Conflicts: 1238000 | #Constraints: 26629
2349.99/2357.60 c #Conflicts: 1239000 | #Constraints: 27629
2349.99/2357.60 c #Conflicts: 1240000 | #Constraints: 28629
2349.99/2357.60 c #Conflicts: 1241000 | #Constraints: 29629
2349.99/2357.60 c #Conflicts: 1242000 | #Constraints: 30629
2349.99/2357.60 c #Conflicts: 1243000 | #Constraints: 31629
2349.99/2357.60 c #Conflicts: 1244000 | #Constraints: 32629
2578.39/2586.74 c #Conflicts: 1245000 | #Constraints: 33629
2578.39/2586.74 c #Conflicts: 1246000 | #Constraints: 34629
2578.39/2586.74 c #Conflicts: 1247000 | #Constraints: 35629
2578.39/2586.74 c #Conflicts: 1248000 | #Constraints: 36629
2578.39/2586.74 c #Conflicts: 1249000 | #Constraints: 37629
2578.39/2586.74 c #Conflicts: 1250000 | #Constraints: 38629
2578.39/2586.74 c #Conflicts: 1251000 | #Constraints: 39629
2578.39/2586.74 c #Conflicts: 1252000 | #Constraints: 40629
2578.39/2586.74 c #Conflicts: 1253000 | #Constraints: 41629
2578.39/2586.74 c #Conflicts: 1254000 | #Constraints: 42629
2578.39/2586.74 c #Conflicts: 1255000 | #Constraints: 43629
2578.39/2586.74 c #Conflicts: 1256000 | #Constraints: 44629
2578.39/2586.74 c INPROCESSING
2578.39/2586.74 c GARBAGE COLLECT
2578.39/2586.74 c #Conflicts: 1257000 | #Constraints: 23435
2578.39/2586.74 c #Conflicts: 1258000 | #Constraints: 24435
2578.39/2586.74 c #Conflicts: 1259000 | #Constraints: 25435
2578.39/2586.74 c #Conflicts: 1260000 | #Constraints: 26435
2578.39/2586.74 c #Conflicts: 1261000 | #Constraints: 27435
2578.39/2586.74 c #Conflicts: 1262000 | #Constraints: 28435
2578.39/2586.74 c #Conflicts: 1263000 | #Constraints: 29435
2578.39/2586.74 c #Conflicts: 1264000 | #Constraints: 30435
2578.39/2586.74 c #Conflicts: 1265000 | #Constraints: 31435
2578.39/2586.74 c #Conflicts: 1266000 | #Constraints: 32435
2578.39/2586.74 c #Conflicts: 1267000 | #Constraints: 33435
2578.39/2586.74 c #Conflicts: 1268000 | #Constraints: 34435
2578.39/2586.74 c #Conflicts: 1269000 | #Constraints: 35435
2578.39/2586.74 c #Conflicts: 1270000 | #Constraints: 36435
2578.39/2586.74 c #Conflicts: 1271000 | #Constraints: 37435
2578.39/2586.74 c #Conflicts: 1272000 | #Constraints: 38435
2578.39/2586.74 c #Conflicts: 1273000 | #Constraints: 39435
2578.39/2586.74 c #Conflicts: 1274000 | #Constraints: 40435
2578.39/2586.74 c #Conflicts: 1275000 | #Constraints: 41435
2578.39/2586.74 c #Conflicts: 1276000 | #Constraints: 42435
2578.39/2586.74 c #Conflicts: 1277000 | #Constraints: 43435
2578.39/2586.74 c #Conflicts: 1278000 | #Constraints: 44435
2578.39/2586.74 c #Conflicts: 1279000 | #Constraints: 45435
2578.39/2586.74 c INPROCESSING
2578.39/2586.74 c GARBAGE COLLECT
2578.39/2586.74 c #Conflicts: 1280000 | #Constraints: 24028
2578.39/2586.74 c #Conflicts: 1281000 | #Constraints: 25028
2578.39/2586.74 c #Conflicts: 1282000 | #Constraints: 26028
2578.39/2586.74 c #Conflicts: 1283000 | #Constraints: 27028
2578.39/2586.74 c #Conflicts: 1284000 | #Constraints: 28028
2578.39/2586.74 c #Conflicts: 1285000 | #Constraints: 29028
2578.39/2586.74 c #Conflicts: 1286000 | #Constraints: 30028
2578.39/2586.74 c #Conflicts: 1287000 | #Constraints: 31028
2578.39/2586.74 c #Conflicts: 1288000 | #Constraints: 32028
2578.39/2586.74 c #Conflicts: 1289000 | #Constraints: 33028
2578.39/2586.74 c #Conflicts: 1290000 | #Constraints: 34028
2578.39/2586.74 c #Conflicts: 1291000 | #Constraints: 35028
2578.39/2586.74 c #Conflicts: 1292000 | #Constraints: 36028
2578.39/2586.74 c #Conflicts: 1293000 | #Constraints: 37028
2578.39/2586.74 c #Conflicts: 1294000 | #Constraints: 38028
2578.39/2586.74 c #Conflicts: 1295000 | #Constraints: 39028
2578.39/2586.74 c #Conflicts: 1296000 | #Constraints: 40028
2578.39/2586.74 c #Conflicts: 1297000 | #Constraints: 41028
2578.39/2586.74 c #Conflicts: 1298000 | #Constraints: 42028
2578.39/2586.74 c #Conflicts: 1299000 | #Constraints: 43028
2578.39/2586.74 c #Conflicts: 1300000 | #Constraints: 44028
2578.39/2586.74 c #Conflicts: 1301000 | #Constraints: 45028
2578.39/2586.74 c #Conflicts: 1302000 | #Constraints: 46028
2578.39/2586.74 c INPROCESSING
2578.39/2586.74 c GARBAGE COLLECT
2578.39/2586.74 c #Conflicts: 1303000 | #Constraints: 24430
2578.39/2586.74 c #Conflicts: 1304000 | #Constraints: 25430
2578.39/2586.74 c #Conflicts: 1305000 | #Constraints: 26430
2578.39/2586.74 c #Conflicts: 1306000 | #Constraints: 27430
2578.39/2586.74 c #Conflicts: 1307000 | #Constraints: 28430
2578.39/2586.74 c #Conflicts: 1308000 | #Constraints: 29430
2578.39/2586.74 c #Conflicts: 1309000 | #Constraints: 30430
2578.39/2586.74 c #Conflicts: 1310000 | #Constraints: 31430
2578.39/2586.74 c #Conflicts: 1311000 | #Constraints: 32430
2578.39/2586.74 c #Conflicts: 1312000 | #Constraints: 33430
2578.39/2586.74 c #Conflicts: 1313000 | #Constraints: 34430
2578.39/2586.74 c #Conflicts: 1314000 | #Constraints: 35430
2578.39/2586.74 c #Conflicts: 1315000 | #Constraints: 36430
2578.39/2586.74 c #Conflicts: 1316000 | #Constraints: 37430
2578.39/2586.74 c #Conflicts: 1317000 | #Constraints: 38430
2578.39/2586.74 c #Conflicts: 1318000 | #Constraints: 39430
2578.39/2586.74 c #Conflicts: 1319000 | #Constraints: 40430
2578.39/2586.74 c #Conflicts: 1320000 | #Constraints: 41430
2827.43/2836.54 c #Conflicts: 1321000 | #Constraints: 42430
2827.43/2836.54 c #Conflicts: 1322000 | #Constraints: 43430
2827.43/2836.54 c #Conflicts: 1323000 | #Constraints: 44430
2827.43/2836.54 c #Conflicts: 1324000 | #Constraints: 45430
2827.43/2836.54 c #Conflicts: 1325000 | #Constraints: 46430
2827.43/2836.54 c INPROCESSING
2827.43/2836.54 c GARBAGE COLLECT
2827.43/2836.54 c #Conflicts: 1326000 | #Constraints: 24628
2827.43/2836.54 c #Conflicts: 1327000 | #Constraints: 25628
2827.43/2836.54 c #Conflicts: 1328000 | #Constraints: 26628
2827.43/2836.54 c #Conflicts: 1329000 | #Constraints: 27628
2827.43/2836.54 c #Conflicts: 1330000 | #Constraints: 28628
2827.43/2836.54 c #Conflicts: 1331000 | #Constraints: 29628
2827.43/2836.54 c #Conflicts: 1332000 | #Constraints: 30628
2827.43/2836.54 c #Conflicts: 1333000 | #Constraints: 31628
2827.43/2836.54 c #Conflicts: 1334000 | #Constraints: 32628
2827.43/2836.54 c #Conflicts: 1335000 | #Constraints: 33628
2827.43/2836.54 c #Conflicts: 1336000 | #Constraints: 34628
2827.43/2836.54 c #Conflicts: 1337000 | #Constraints: 35628
2827.43/2836.54 c #Conflicts: 1338000 | #Constraints: 36628
2827.43/2836.54 c #Conflicts: 1339000 | #Constraints: 37628
2827.43/2836.54 c #Conflicts: 1340000 | #Constraints: 38628
2827.43/2836.54 c #Conflicts: 1341000 | #Constraints: 39628
2827.43/2836.54 c #Conflicts: 1342000 | #Constraints: 40628
2827.43/2836.54 c #Conflicts: 1343000 | #Constraints: 41628
2827.43/2836.54 c #Conflicts: 1344000 | #Constraints: 42628
2827.43/2836.54 c #Conflicts: 1345000 | #Constraints: 43628
2827.43/2836.54 c #Conflicts: 1346000 | #Constraints: 44628
2827.43/2836.54 c #Conflicts: 1347000 | #Constraints: 45628
2827.43/2836.54 c #Conflicts: 1348000 | #Constraints: 46628
2827.43/2836.54 c INPROCESSING
2827.43/2836.54 c GARBAGE COLLECT
2827.43/2836.54 c #Conflicts: 1349000 | #Constraints: 24637
2827.43/2836.54 c #Conflicts: 1350000 | #Constraints: 25637
2827.43/2836.54 c #Conflicts: 1351000 | #Constraints: 26637
2827.43/2836.54 c #Conflicts: 1352000 | #Constraints: 27637
2827.43/2836.54 c #Conflicts: 1353000 | #Constraints: 28637
2827.43/2836.54 c #Conflicts: 1354000 | #Constraints: 29637
2827.43/2836.54 c #Conflicts: 1355000 | #Constraints: 30637
2827.43/2836.54 c #Conflicts: 1356000 | #Constraints: 31637
2827.43/2836.54 c #Conflicts: 1357000 | #Constraints: 32637
2827.43/2836.54 c #Conflicts: 1358000 | #Constraints: 33637
2827.43/2836.54 c #Conflicts: 1359000 | #Constraints: 34637
2827.43/2836.54 c #Conflicts: 1360000 | #Constraints: 35637
2827.43/2836.54 c #Conflicts: 1361000 | #Constraints: 36637
2827.43/2836.54 c #Conflicts: 1362000 | #Constraints: 37637
2827.43/2836.54 c #Conflicts: 1363000 | #Constraints: 38637
2827.43/2836.54 c #Conflicts: 1364000 | #Constraints: 39637
2827.43/2836.54 c #Conflicts: 1365000 | #Constraints: 40637
2827.43/2836.54 c #Conflicts: 1366000 | #Constraints: 41637
2827.43/2836.54 c #Conflicts: 1367000 | #Constraints: 42637
2827.43/2836.54 c #Conflicts: 1368000 | #Constraints: 43637
2827.43/2836.54 c #Conflicts: 1369000 | #Constraints: 44637
2827.43/2836.54 c #Conflicts: 1370000 | #Constraints: 45637
2827.43/2836.54 c #Conflicts: 1371000 | #Constraints: 46637
2827.43/2836.54 c INPROCESSING
2827.43/2836.54 c GARBAGE COLLECT
2827.43/2836.54 c #Conflicts: 1372000 | #Constraints: 24434
2827.43/2836.54 c #Conflicts: 1373000 | #Constraints: 25434
2827.43/2836.54 c #Conflicts: 1374000 | #Constraints: 26434
2827.43/2836.54 c #Conflicts: 1375000 | #Constraints: 27434
2827.43/2836.54 c #Conflicts: 1376000 | #Constraints: 28434
2827.43/2836.54 c #Conflicts: 1377000 | #Constraints: 29434
2827.43/2836.54 c #Conflicts: 1378000 | #Constraints: 30434
2827.43/2836.54 c #Conflicts: 1379000 | #Constraints: 31434
2827.43/2836.54 c #Conflicts: 1380000 | #Constraints: 32434
2827.43/2836.54 c #Conflicts: 1381000 | #Constraints: 33434
2827.43/2836.54 c #Conflicts: 1382000 | #Constraints: 34434
2827.43/2836.54 c #Conflicts: 1383000 | #Constraints: 35434
2827.43/2836.54 c #Conflicts: 1384000 | #Constraints: 36434
2827.43/2836.54 c #Conflicts: 1385000 | #Constraints: 37434
2827.43/2836.54 c #Conflicts: 1386000 | #Constraints: 38434
2827.43/2836.54 c #Conflicts: 1387000 | #Constraints: 39434
2827.43/2836.54 c #Conflicts: 1388000 | #Constraints: 40434
2827.43/2836.54 c #Conflicts: 1389000 | #Constraints: 41434
2827.43/2836.54 c #Conflicts: 1390000 | #Constraints: 42434
2827.43/2836.54 c #Conflicts: 1391000 | #Constraints: 43434
2827.43/2836.54 c #Conflicts: 1392000 | #Constraints: 44434
2827.43/2836.54 c #Conflicts: 1393000 | #Constraints: 45434
2827.43/2836.54 c #Conflicts: 1394000 | #Constraints: 46434
2827.43/2836.54 c #Conflicts: 1395000 | #Constraints: 47434
2827.43/2836.54 c INPROCESSING
2827.43/2836.54 c GARBAGE COLLECT
2827.43/2836.54 c #Conflicts: 1396000 | #Constraints: 25027
2827.43/2836.54 c #Conflicts: 1397000 | #Constraints: 26027
3066.59/3076.44 c #Conflicts: 1398000 | #Constraints: 27027
3066.59/3076.44 c #Conflicts: 1399000 | #Constraints: 28027
3066.59/3076.44 c #Conflicts: 1400000 | #Constraints: 29027
3066.59/3076.44 c #Conflicts: 1401000 | #Constraints: 30027
3066.59/3076.44 c #Conflicts: 1402000 | #Constraints: 31027
3066.59/3076.44 c #Conflicts: 1403000 | #Constraints: 32027
3066.59/3076.44 c #Conflicts: 1404000 | #Constraints: 33027
3066.59/3076.44 c #Conflicts: 1405000 | #Constraints: 34027
3066.59/3076.44 c #Conflicts: 1406000 | #Constraints: 35027
3066.59/3076.44 c #Conflicts: 1407000 | #Constraints: 36027
3066.59/3076.44 c #Conflicts: 1408000 | #Constraints: 37027
3066.59/3076.44 c #Conflicts: 1409000 | #Constraints: 38027
3066.59/3076.44 c #Conflicts: 1410000 | #Constraints: 39027
3066.59/3076.44 c #Conflicts: 1411000 | #Constraints: 40027
3066.59/3076.44 c #Conflicts: 1412000 | #Constraints: 41027
3066.59/3076.44 c #Conflicts: 1413000 | #Constraints: 42027
3066.59/3076.44 c #Conflicts: 1414000 | #Constraints: 43027
3066.59/3076.44 c #Conflicts: 1415000 | #Constraints: 44027
3066.59/3076.44 c #Conflicts: 1416000 | #Constraints: 45027
3066.59/3076.44 c #Conflicts: 1417000 | #Constraints: 46027
3066.59/3076.44 c #Conflicts: 1418000 | #Constraints: 47027
3066.59/3076.44 c #Conflicts: 1419000 | #Constraints: 48027
3066.59/3076.44 c INPROCESSING
3066.59/3076.44 c GARBAGE COLLECT
3066.59/3076.44 c #Conflicts: 1420000 | #Constraints: 25435
3066.59/3076.44 c #Conflicts: 1421000 | #Constraints: 26435
3066.59/3076.44 c #Conflicts: 1422000 | #Constraints: 27435
3066.59/3076.44 c #Conflicts: 1423000 | #Constraints: 28435
3066.59/3076.44 c #Conflicts: 1424000 | #Constraints: 29435
3066.59/3076.44 c #Conflicts: 1425000 | #Constraints: 30435
3066.59/3076.44 c #Conflicts: 1426000 | #Constraints: 31435
3066.59/3076.44 c #Conflicts: 1427000 | #Constraints: 32435
3066.59/3076.44 c #Conflicts: 1428000 | #Constraints: 33435
3066.59/3076.44 c #Conflicts: 1429000 | #Constraints: 34435
3066.59/3076.44 c #Conflicts: 1430000 | #Constraints: 35435
3066.59/3076.44 c #Conflicts: 1431000 | #Constraints: 36435
3066.59/3076.44 c #Conflicts: 1432000 | #Constraints: 37435
3066.59/3076.44 c #Conflicts: 1433000 | #Constraints: 38435
3066.59/3076.44 c #Conflicts: 1434000 | #Constraints: 39435
3066.59/3076.44 c #Conflicts: 1435000 | #Constraints: 40435
3066.59/3076.44 c #Conflicts: 1436000 | #Constraints: 41435
3066.59/3076.44 c #Conflicts: 1437000 | #Constraints: 42435
3066.59/3076.44 c #Conflicts: 1438000 | #Constraints: 43435
3066.59/3076.44 c #Conflicts: 1439000 | #Constraints: 44435
3066.59/3076.44 c #Conflicts: 1440000 | #Constraints: 45435
3066.59/3076.44 c #Conflicts: 1441000 | #Constraints: 46435
3066.59/3076.44 c #Conflicts: 1442000 | #Constraints: 47435
3066.59/3076.44 c #Conflicts: 1443000 | #Constraints: 48435
3066.59/3076.44 c INPROCESSING
3066.59/3076.44 c GARBAGE COLLECT
3066.59/3076.44 c #Conflicts: 1444000 | #Constraints: 25633
3066.59/3076.44 c #Conflicts: 1445000 | #Constraints: 26633
3066.59/3076.44 c #Conflicts: 1446000 | #Constraints: 27633
3066.59/3076.44 c #Conflicts: 1447000 | #Constraints: 28633
3066.59/3076.44 c #Conflicts: 1448000 | #Constraints: 29633
3066.59/3076.44 c #Conflicts: 1449000 | #Constraints: 30633
3066.59/3076.44 c #Conflicts: 1450000 | #Constraints: 31633
3066.59/3076.44 c #Conflicts: 1451000 | #Constraints: 32633
3066.59/3076.44 c #Conflicts: 1452000 | #Constraints: 33633
3066.59/3076.44 c #Conflicts: 1453000 | #Constraints: 34633
3066.59/3076.44 c #Conflicts: 1454000 | #Constraints: 35633
3066.59/3076.44 c #Conflicts: 1455000 | #Constraints: 36633
3066.59/3076.44 c #Conflicts: 1456000 | #Constraints: 37633
3066.59/3076.44 c #Conflicts: 1457000 | #Constraints: 38633
3066.59/3076.44 c #Conflicts: 1458000 | #Constraints: 39633
3066.59/3076.44 c #Conflicts: 1459000 | #Constraints: 40633
3066.59/3076.44 c #Conflicts: 1460000 | #Constraints: 41633
3066.59/3076.44 c #Conflicts: 1461000 | #Constraints: 42633
3066.59/3076.44 c #Conflicts: 1462000 | #Constraints: 43633
3066.59/3076.44 c #Conflicts: 1463000 | #Constraints: 44633
3066.59/3076.44 c #Conflicts: 1464000 | #Constraints: 45633
3066.59/3076.44 c #Conflicts: 1465000 | #Constraints: 46633
3066.59/3076.44 c #Conflicts: 1466000 | #Constraints: 47633
3066.59/3076.44 c #Conflicts: 1467000 | #Constraints: 48633
3066.59/3076.44 c INPROCESSING
3066.59/3076.44 c GARBAGE COLLECT
3066.59/3076.44 c #Conflicts: 1468000 | #Constraints: 25646
3066.59/3076.44 c #Conflicts: 1469000 | #Constraints: 26646
3066.59/3076.44 c #Conflicts: 1470000 | #Constraints: 27646
3066.59/3076.44 c #Conflicts: 1471000 | #Constraints: 28646
3066.59/3076.44 c #Conflicts: 1472000 | #Constraints: 29646
3066.59/3076.44 c #Conflicts: 1473000 | #Constraints: 30646
3066.59/3076.44 c #Conflicts: 1474000 | #Constraints: 31646
3318.65/3329.25 c #Conflicts: 1475000 | #Constraints: 32646
3318.65/3329.25 c #Conflicts: 1476000 | #Constraints: 33646
3318.65/3329.25 c #Conflicts: 1477000 | #Constraints: 34646
3318.65/3329.25 c #Conflicts: 1478000 | #Constraints: 35646
3318.65/3329.25 c #Conflicts: 1479000 | #Constraints: 36646
3318.65/3329.25 c #Conflicts: 1480000 | #Constraints: 37646
3318.65/3329.25 c #Conflicts: 1481000 | #Constraints: 38646
3318.65/3329.25 c #Conflicts: 1482000 | #Constraints: 39646
3318.65/3329.25 c #Conflicts: 1483000 | #Constraints: 40646
3318.65/3329.25 c #Conflicts: 1484000 | #Constraints: 41646
3318.65/3329.25 c #Conflicts: 1485000 | #Constraints: 42646
3318.65/3329.25 c #Conflicts: 1486000 | #Constraints: 43646
3318.65/3329.25 c #Conflicts: 1487000 | #Constraints: 44646
3318.65/3329.25 c #Conflicts: 1488000 | #Constraints: 45646
3318.65/3329.25 c #Conflicts: 1489000 | #Constraints: 46646
3318.65/3329.25 c #Conflicts: 1490000 | #Constraints: 47646
3318.65/3329.25 c #Conflicts: 1491000 | #Constraints: 48646
3318.65/3329.25 c INPROCESSING
3318.65/3329.25 c GARBAGE COLLECT
3318.65/3329.25 c #Conflicts: 1492000 | #Constraints: 25440
3318.65/3329.25 c #Conflicts: 1493000 | #Constraints: 26440
3318.65/3329.25 c #Conflicts: 1494000 | #Constraints: 27440
3318.65/3329.25 c #Conflicts: 1495000 | #Constraints: 28440
3318.65/3329.25 c #Conflicts: 1496000 | #Constraints: 29440
3318.65/3329.25 c #Conflicts: 1497000 | #Constraints: 30440
3318.65/3329.25 c #Conflicts: 1498000 | #Constraints: 31440
3318.65/3329.25 c #Conflicts: 1499000 | #Constraints: 32440
3318.65/3329.25 c #Conflicts: 1500000 | #Constraints: 33440
3318.65/3329.25 c #Conflicts: 1501000 | #Constraints: 34440
3318.65/3329.25 c #Conflicts: 1502000 | #Constraints: 35440
3318.65/3329.25 c #Conflicts: 1503000 | #Constraints: 36440
3318.65/3329.25 c #Conflicts: 1504000 | #Constraints: 37440
3318.65/3329.25 c #Conflicts: 1505000 | #Constraints: 38440
3318.65/3329.25 c #Conflicts: 1506000 | #Constraints: 39440
3318.65/3329.25 c #Conflicts: 1507000 | #Constraints: 40440
3318.65/3329.25 c #Conflicts: 1508000 | #Constraints: 41440
3318.65/3329.25 c #Conflicts: 1509000 | #Constraints: 42440
3318.65/3329.25 c #Conflicts: 1510000 | #Constraints: 43440
3318.65/3329.25 c #Conflicts: 1511000 | #Constraints: 44440
3318.65/3329.25 c #Conflicts: 1512000 | #Constraints: 45440
3318.65/3329.25 c #Conflicts: 1513000 | #Constraints: 46440
3318.65/3329.25 c #Conflicts: 1514000 | #Constraints: 47440
3318.65/3329.25 c #Conflicts: 1515000 | #Constraints: 48440
3318.65/3329.25 c #Conflicts: 1516000 | #Constraints: 49440
3318.65/3329.25 c INPROCESSING
3318.65/3329.25 c GARBAGE COLLECT
3318.65/3329.25 c #Conflicts: 1517000 | #Constraints: 26036
3318.65/3329.25 c #Conflicts: 1518000 | #Constraints: 27036
3318.65/3329.25 c #Conflicts: 1519000 | #Constraints: 28036
3318.65/3329.25 c #Conflicts: 1520000 | #Constraints: 29036
3318.65/3329.25 c #Conflicts: 1521000 | #Constraints: 30036
3318.65/3329.25 c #Conflicts: 1522000 | #Constraints: 31036
3318.65/3329.25 c #Conflicts: 1523000 | #Constraints: 32036
3318.65/3329.25 c #Conflicts: 1524000 | #Constraints: 33036
3318.65/3329.25 c #Conflicts: 1525000 | #Constraints: 34036
3318.65/3329.25 c #Conflicts: 1526000 | #Constraints: 35036
3318.65/3329.25 c #Conflicts: 1527000 | #Constraints: 36036
3318.65/3329.25 c #Conflicts: 1528000 | #Constraints: 37036
3318.65/3329.25 c #Conflicts: 1529000 | #Constraints: 38036
3318.65/3329.25 c #Conflicts: 1530000 | #Constraints: 39036
3318.65/3329.25 c #Conflicts: 1531000 | #Constraints: 40036
3318.65/3329.25 c #Conflicts: 1532000 | #Constraints: 41036
3318.65/3329.25 c #Conflicts: 1533000 | #Constraints: 42036
3318.65/3329.25 c #Conflicts: 1534000 | #Constraints: 43036
3318.65/3329.25 c #Conflicts: 1535000 | #Constraints: 44036
3318.65/3329.25 c #Conflicts: 1536000 | #Constraints: 45036
3318.65/3329.25 c #Conflicts: 1537000 | #Constraints: 46036
3318.65/3329.25 c #Conflicts: 1538000 | #Constraints: 47036
3318.65/3329.25 c #Conflicts: 1539000 | #Constraints: 48036
3318.65/3329.25 c #Conflicts: 1540000 | #Constraints: 49036
3318.65/3329.25 c #Conflicts: 1541000 | #Constraints: 50036
3318.65/3329.25 c INPROCESSING
3318.65/3329.25 c GARBAGE COLLECT
3318.65/3329.25 c #Conflicts: 1542000 | #Constraints: 26438
3318.65/3329.25 c #Conflicts: 1543000 | #Constraints: 27438
3318.65/3329.25 c #Conflicts: 1544000 | #Constraints: 28438
3318.65/3329.25 c #Conflicts: 1545000 | #Constraints: 29438
3318.65/3329.25 c #Conflicts: 1546000 | #Constraints: 30438
3318.65/3329.25 c #Conflicts: 1547000 | #Constraints: 31438
3318.65/3329.25 c #Conflicts: 1548000 | #Constraints: 32438
3318.65/3329.25 c #Conflicts: 1549000 | #Constraints: 33438
3318.65/3329.25 c #Conflicts: 1550000 | #Constraints: 34438
3591.72/3603.17 c #Conflicts: 1551000 | #Constraints: 35438
3591.72/3603.17 c #Conflicts: 1552000 | #Constraints: 36438
3591.72/3603.17 c #Conflicts: 1553000 | #Constraints: 37438
3591.72/3603.17 c #Conflicts: 1554000 | #Constraints: 38438
3591.72/3603.17 c #Conflicts: 1555000 | #Constraints: 39438
3591.72/3603.17 c #Conflicts: 1556000 | #Constraints: 40438
3591.72/3603.17 c #Conflicts: 1557000 | #Constraints: 41438
3591.72/3603.17 c #Conflicts: 1558000 | #Constraints: 42438
3591.72/3603.17 c #Conflicts: 1559000 | #Constraints: 43438
3591.72/3603.17 c #Conflicts: 1560000 | #Constraints: 44438
3591.72/3603.17 c #Conflicts: 1561000 | #Constraints: 45438
3591.72/3603.17 c #Conflicts: 1562000 | #Constraints: 46438
3591.72/3603.17 c #Conflicts: 1563000 | #Constraints: 47438
3591.72/3603.17 c #Conflicts: 1564000 | #Constraints: 48438
3591.72/3603.17 c #Conflicts: 1565000 | #Constraints: 49438
3591.72/3603.17 c #Conflicts: 1566000 | #Constraints: 50438
3591.72/3603.17 c INPROCESSING
3591.72/3603.17 c GARBAGE COLLECT
3591.72/3603.17 c #Conflicts: 1567000 | #Constraints: 26639
3591.72/3603.17 c #Conflicts: 1568000 | #Constraints: 27639
3591.72/3603.17 c #Conflicts: 1569000 | #Constraints: 28639
3591.72/3603.17 c #Conflicts: 1570000 | #Constraints: 29639
3591.72/3603.17 c #Conflicts: 1571000 | #Constraints: 30639
3591.72/3603.17 c #Conflicts: 1572000 | #Constraints: 31639
3591.72/3603.17 c #Conflicts: 1573000 | #Constraints: 32639
3591.72/3603.17 c #Conflicts: 1574000 | #Constraints: 33639
3591.72/3603.17 c #Conflicts: 1575000 | #Constraints: 34639
3591.72/3603.17 c #Conflicts: 1576000 | #Constraints: 35639
3591.72/3603.17 c #Conflicts: 1577000 | #Constraints: 36639
3591.72/3603.17 c #Conflicts: 1578000 | #Constraints: 37639
3591.72/3603.17 c #Conflicts: 1579000 | #Constraints: 38639
3591.72/3603.17 c #Conflicts: 1580000 | #Constraints: 39639
3591.72/3603.17 c #Conflicts: 1581000 | #Constraints: 40639
3591.72/3603.17 c #Conflicts: 1582000 | #Constraints: 41639
3591.72/3603.17 c #Conflicts: 1583000 | #Constraints: 42639
3591.72/3603.17 c #Conflicts: 1584000 | #Constraints: 43639
3591.72/3603.17 c #Conflicts: 1585000 | #Constraints: 44639
3591.72/3603.17 c #Conflicts: 1586000 | #Constraints: 45639
3591.72/3603.17 c #Conflicts: 1587000 | #Constraints: 46639
3591.72/3603.17 c #Conflicts: 1588000 | #Constraints: 47639
3591.72/3603.17 c #Conflicts: 1589000 | #Constraints: 48639
3591.72/3603.17 c #Conflicts: 1590000 | #Constraints: 49639
3591.72/3603.17 c #Conflicts: 1591000 | #Constraints: 50639
3591.72/3603.17 c INPROCESSING
3591.72/3603.17 c GARBAGE COLLECT
3591.72/3603.17 c #Conflicts: 1592000 | #Constraints: 26635
3591.72/3603.17 c #Conflicts: 1593000 | #Constraints: 27635
3591.72/3603.17 c #Conflicts: 1594000 | #Constraints: 28635
3591.72/3603.17 c #Conflicts: 1595000 | #Constraints: 29635
3591.72/3603.17 c #Conflicts: 1596000 | #Constraints: 30635
3591.72/3603.17 c #Conflicts: 1597000 | #Constraints: 31635
3591.72/3603.17 c #Conflicts: 1598000 | #Constraints: 32635
3591.72/3603.17 c #Conflicts: 1599000 | #Constraints: 33635
3591.72/3603.17 c #Conflicts: 1600000 | #Constraints: 34635
3591.72/3603.17 c #Conflicts: 1601000 | #Constraints: 35635
3591.72/3603.17 c #Conflicts: 1602000 | #Constraints: 36635
3591.72/3603.17 c #Conflicts: 1603000 | #Constraints: 37635
3591.72/3603.17 c #Conflicts: 1604000 | #Constraints: 38635
3591.72/3603.17 c #Conflicts: 1605000 | #Constraints: 39635
3591.72/3603.17 c #Conflicts: 1606000 | #Constraints: 40635
3591.72/3603.17 c #Conflicts: 1607000 | #Constraints: 41635
3591.72/3603.17 c #Conflicts: 1608000 | #Constraints: 42635
3591.72/3603.17 c #Conflicts: 1609000 | #Constraints: 43635
3591.72/3603.17 c #Conflicts: 1610000 | #Constraints: 44635
3591.72/3603.17 c #Conflicts: 1611000 | #Constraints: 45635
3591.72/3603.17 c #Conflicts: 1612000 | #Constraints: 46635
3591.72/3603.17 c #Conflicts: 1613000 | #Constraints: 47635
3591.72/3603.17 c #Conflicts: 1614000 | #Constraints: 48635
3591.72/3603.17 c #Conflicts: 1615000 | #Constraints: 49635
3591.72/3603.17 c #Conflicts: 1616000 | #Constraints: 50635
3591.72/3603.17 c INPROCESSING
3591.72/3603.17 c GARBAGE COLLECT
3591.72/3603.17 c #Conflicts: 1617000 | #Constraints: 26449
3591.72/3603.17 c #Conflicts: 1618000 | #Constraints: 27449
3591.72/3603.17 c #Conflicts: 1619000 | #Constraints: 28449
3591.72/3603.17 c #Conflicts: 1620000 | #Constraints: 29449
3591.72/3603.17 c #Conflicts: 1621000 | #Constraints: 30449
3591.72/3603.17 c #Conflicts: 1622000 | #Constraints: 31449
3591.72/3603.17 c #Conflicts: 1623000 | #Constraints: 32449
3591.72/3603.17 c #Conflicts: 1624000 | #Constraints: 33449
3591.72/3603.17 c #Conflicts: 1625000 | #Constraints: 34449
3591.72/3603.17 c #Conflicts: 1626000 | #Constraints: 35449
3591.72/3603.17 c #Conflicts: 1627000 | #Constraints: 36449
3600.09/3611.50 c #Conflicts: 1628000 | #Constraints: 37449
3600.09/3611.50 c #Conflicts: 1629000 | #Constraints: 38449
3600.09/3611.50 c #Conflicts: 1630000 | #Constraints: 39449
3600.09/3611.50 c cpu time 3591.2 s
3600.09/3611.50 c deterministic time 1 1.00e+00
3600.09/3611.50 c optimization time 3590.7 s
3600.09/3611.50 c total solve time 0 s
3600.09/3611.50 c core-guided solve time 0 s
3600.09/3611.50 c propagation time 0.043563 s
3600.09/3611.50 c conflict analysis time 0 s
3600.09/3611.50 c propagations 0
3600.09/3611.50 c resolve steps 0
3600.09/3611.50 c decisions 0
3600.09/3611.50 c conflicts 0
3600.09/3611.50 c restarts 0
3600.09/3611.50 c inprocessing phases 0
3600.09/3611.50 c garbage collections 0 ,( -nan )
3600.09/3611.50 c input clauses 20670 ,( 47.99 )
3600.09/3611.50 c input cardinalities 800 ,( 1.86 )
3600.09/3611.50 c input general constraints 21600 ,( 50.15 )
3600.09/3611.50 c input average constraint length 7.25
3600.09/3611.50 c input average constraint degree 5.25
3600.09/3611.50 c learned clauses 0 ,( 0.00 )
3600.09/3611.50 c learned cardinalities 0 ,( 0.00 )
3600.09/3611.50 c learned general constraints 0 ,( 0.00 )
3600.09/3611.50 c learned average constraint length 0.00
3600.09/3611.50 c learned average constraint degree 0.00
3600.09/3611.50 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3611.50 c counting CF 32, 64, 128, Arb: 21601 , 0 , 0 , 0
3600.09/3611.50 c watched constraints 0 ,( 0.00 )
3600.09/3611.50 c counting constraints 21600 ,( 100.00 )
3600.09/3611.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3611.50 c gcd simplifications 0
3600.09/3611.50 c detected cardinalities 0
3600.09/3611.50 c weakened non-implied lits 0
3600.09/3611.50 c weakened non-implying lits 0
3600.09/3611.50 c original variables 2700
3600.09/3611.50 c clausal propagations 0
3600.09/3611.50 c cardinality propagations 0
3600.09/3611.50 c watched propagations 0
3600.09/3611.50 c counting propagations 0
3600.09/3611.50 c watch lookups 0
3600.09/3611.50 c watch backjump lookups 0
3600.09/3611.50 c watch checks 0
3600.09/3611.50 c propagation checks 0
3600.09/3611.50 c constraint additions 0
3600.09/3611.50 c trail pops 0
3600.09/3611.50 c formula constraints 43070
3600.09/3611.50 c learned constraints 0
3600.09/3611.50 c bound constraints 0
3600.09/3611.50 c core-guided constraints 0
3600.09/3611.50 c encountered formula constraints 0
3600.09/3611.50 c encountered learned constraints 0
3600.09/3611.50 c encountered bound constraints 0
3600.09/3611.50 c encountered core-guided constraints 0
3600.09/3611.50 c LP total time 0 s
3600.09/3611.50 c LP solve time 0 s
3600.09/3611.50 c LP constraints added 0
3600.09/3611.50 c LP constraints removed 0
3600.09/3611.50 c LP pivots internal 0
3600.09/3611.50 c LP pivots root 0
3600.09/3611.50 c LP calls 0
3600.09/3611.50 c LP optimalities 0
3600.09/3611.50 c LP no pivot count 0
3600.09/3611.50 c LP infeasibilities 0
3600.09/3611.50 c LP valid Farkas constraints 0
3600.09/3611.50 c LP learned Farkas constraints 0
3600.09/3611.50 c LP basis resets 0
3600.09/3611.50 c LP cycling count 0
3600.09/3611.50 c LP singular count 0
3600.09/3611.50 c LP no primal count 0
3600.09/3611.50 c LP no farkas count 0
3600.09/3611.50 c LP other issue count 0
3600.09/3611.50 c LP Gomory cuts 0
3600.09/3611.50 c LP learned cuts 0
3600.09/3611.50 c LP deleted cuts 0
3600.09/3611.50 c LP encountered Gomory constraints 0
3600.09/3611.50 c LP encountered Farkas constraints 0
3600.09/3611.50 c LP encountered learned Farkas constraints 0
3600.09/3611.50 c CG auxiliary variables introduced 0
3600.09/3611.50 c CG solutions found 0
3600.09/3611.50 c CG cores constructed 0
3600.09/3611.50 c CG core cardinality constraints returned 0
3600.09/3611.50 c CG unit cores 0
3600.09/3611.50 c CG single cores 0
3600.09/3611.50 c CG blocks removed during cardinality reduction 0
3600.09/3611.50 c CG first core best 0
3600.09/3611.50 c CG decision core best 0
3600.09/3611.50 c CG core reduction tie 0
3600.09/3611.50 c CG core degree average 0.00
3600.09/3611.50 c CG core slack average 0.00
3600.09/3611.50 c CG core upper bound improvements 0
3600.09/3611.50 c STR number of successful calls 0
3600.09/3611.50 c STR number of unsuccessful calls 0
3600.09/3611.50 c STR number of inconclusive calls 0
3600.09/3611.50 c STR number of successful attempts 0
3600.09/3611.50 c STR number of unsuccessful attempts 0
3600.09/3611.50 c STR number of inconclusive attempts 0
3600.09/3611.50 c STR average degree increase per successful call inf
3600.09/3611.50 c STR average degree increase per successful attempt inf
3600.09/3611.50 c STR total number of conflicts for successful attempts 0
3600.09/3611.50 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.50 c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.50 c STR average number of conflicts per successful attempt inf
3600.09/3611.50 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.50 c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.50 c AVG.sumWPerc 88.92
3600.09/3611.50 c bigint constraints 0
3600.09/3611.50 s UNKNOWN
3600.09/3611.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63080 MiB free)
memory of node 1: 64507 MiB (63976 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4486562-1751323653/watcher-4486562-1751323653 -o /tmp/evaluation-result-4486562-1751323653/solver-4486562-1751323653 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751316414-43652 --watchdog 3760 run-opt.sh HOME/instance-4486562-1751323653.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=44857, runsolver pid=44854
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.08 4.11 4.11 5/256 44859
/proc/meminfo: memFree=130104184/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=56640 memory=9728 CPUtime=0.07 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 764 0 0 0 6 1 0 0 20 0 1 0 48044715 57999360 2432 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 14160 2432 1888 1147 0 1587 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 60832 KiB
Current children cumulated memory: 12800 KiB
[startup+0.214483 s]*
/proc/loadavg: 4.08 4.11 4.11 5/256 44859
/proc/meminfo: memFree=130101916/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=58092 memory=11904 CPUtime=0.17 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 1321 0 0 0 12 5 0 0 20 0 1 0 48044715 59486208 2976 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 14523 2976 1888 1147 0 1950 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 62284 KiB
Current children cumulated memory: 14976 KiB
[startup+0.313169 s]*
/proc/loadavg: 4.08 4.11 4.11 5/256 44859
/proc/meminfo: memFree=130091836/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=59676 memory=14336 CPUtime=0.25 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 1948 0 0 0 18 7 0 0 20 0 1 0 48044715 61108224 3584 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 14919 3584 1888 1147 0 2346 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 63868 KiB
Current children cumulated memory: 17408 KiB
[startup+0.700353 s]
/proc/loadavg: 4.08 4.11 4.11 5/256 44859
/proc/meminfo: memFree=130087804/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=122056 memory=62004 CPUtime=0.6 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 7549 0 0 0 47 13 0 0 20 0 1 0 48044715 124985344 15501 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 30514 15501 2240 1147 0 17941 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 126248 KiB
Current children cumulated memory: 65076 KiB
[startup+1.50021 s]
/proc/loadavg: 4.08 4.11 4.11 5/256 44859
/proc/meminfo: memFree=130008792/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=119428 memory=68040 CPUtime=1.39 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 10094 0 0 0 106 33 0 0 20 0 1 0 48044715 122294272 17010 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 29857 17010 2368 1147 0 17284 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 123620 KiB
Current children cumulated memory: 71112 KiB
[startup+3.10532 s]
/proc/loadavg: 4.08 4.11 4.11 5/255 44859
/proc/meminfo: memFree=129988952/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=143644 memory=90176 CPUtime=2.97 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 12563 0 0 0 254 43 0 0 20 0 1 0 48044715 147091456 22544 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 35911 22544 2368 1147 0 23338 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 147836 KiB
Current children cumulated memory: 93248 KiB
[startup+6.3002 s]
/proc/loadavg: 4.08 4.11 4.11 5/255 44859
/proc/meminfo: memFree=129964160/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=170416 memory=113296 CPUtime=6.14 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 14796 0 0 0 564 50 0 0 20 0 1 0 48044715 174505984 28324 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 42604 28324 2368 1147 0 30031 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 174608 KiB
Current children cumulated memory: 116368 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.11 4.11 5/255 44859
/proc/meminfo: memFree=129954788/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=180916 memory=122980 CPUtime=12.49 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 16722 0 0 0 1193 56 0 0 20 0 1 0 48044715 185257984 30745 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 45229 30745 2368 1147 0 32656 0
Current children cumulated CPU time: 12.49 s
Current children cumulated vsize: 185108 KiB
Current children cumulated memory: 126052 KiB
[startup+25.5004 s]
/proc/loadavg: 4.28 4.15 4.12 5/255 44859
/proc/meminfo: memFree=129918180/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=207184 memory=140228 CPUtime=25.21 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 20006 0 0 0 2455 66 0 0 20 0 1 0 48044715 212156416 35057 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 51796 35057 2368 1147 0 39223 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 211376 KiB
Current children cumulated memory: 143300 KiB
[startup+51.1128 s]
/proc/loadavg: 4.37 4.19 4.13 5/255 44860
/proc/meminfo: memFree=129832316/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=250092 memory=167792 CPUtime=50.74 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 25371 0 0 0 4987 87 0 0 20 0 1 0 48044715 256094208 41948 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 62523 41948 2368 1147 0 49950 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 254284 KiB
Current children cumulated memory: 170864 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.13 5/255 44861
/proc/meminfo: memFree=129701524/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=295276 memory=216388 CPUtime=101.78 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 34467 0 0 0 10055 123 0 0 20 0 1 0 48044715 302362624 54097 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 73819 54097 2368 1147 0 61246 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 299468 KiB
Current children cumulated memory: 219460 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.17 4.13 5/255 44863
/proc/meminfo: memFree=129649368/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=308592 memory=234336 CPUtime=161.59 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 37932 0 0 0 16006 153 0 0 20 0 1 0 48044715 315998208 58584 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 77148 58584 2368 1147 0 64575 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 312784 KiB
Current children cumulated memory: 237408 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/254 44865
/proc/meminfo: memFree=129600936/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=352980 memory=255708 CPUtime=221.4 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 42255 0 0 0 21957 183 0 0 20 0 1 0 48044715 361451520 63927 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 88245 63927 2368 1147 0 75672 0
Current children cumulated CPU time: 221.4 s
################
# More data... #
################
/proc/44859/statm: 161824 147048 2368 1147 0 149251 0
Current children cumulated CPU time: 3092.42 s
Current children cumulated vsize: 651488 KiB
Current children cumulated memory: 591264 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.21 4.16 5/256 45028
/proc/meminfo: memFree=127883516/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=647296 memory=588192 CPUtime=3152.24 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 81007 0 0 0 314400 824 0 0 20 0 1 0 48044715 662831104 147048 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 161824 147048 2368 1147 0 149251 0
Current children cumulated CPU time: 3152.24 s
Current children cumulated vsize: 651488 KiB
Current children cumulated memory: 591264 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.21 4.17 5/256 45030
/proc/meminfo: memFree=127868140/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=648320 memory=590808 CPUtime=3212.06 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 81145 0 0 0 320374 832 0 0 20 0 1 0 48044715 663879680 147702 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 162080 147702 2368 1147 0 149507 0
Current children cumulated CPU time: 3212.06 s
Current children cumulated vsize: 652512 KiB
Current children cumulated memory: 593880 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.17 4.15 5/254 45032
/proc/meminfo: memFree=127862252/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=648320 memory=590808 CPUtime=3271.88 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 81145 0 0 0 326345 843 0 0 20 0 1 0 48044715 663879680 147702 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 162080 147702 2368 1147 0 149507 0
Current children cumulated CPU time: 3271.88 s
Current children cumulated vsize: 652512 KiB
Current children cumulated memory: 593880 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/255 45035
/proc/meminfo: memFree=127851836/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=648320 memory=590808 CPUtime=3331.71 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 81145 0 0 0 332320 851 0 0 20 0 1 0 48044715 663879680 147702 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 162080 147702 2368 1147 0 149507 0
Current children cumulated CPU time: 3331.71 s
Current children cumulated vsize: 652512 KiB
Current children cumulated memory: 593880 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/255 45037
/proc/meminfo: memFree=127841628/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=651392 memory=592344 CPUtime=3391.53 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 81535 0 0 0 338294 859 0 0 20 0 1 0 48044715 667025408 148086 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 162848 148086 2368 1147 0 150275 0
Current children cumulated CPU time: 3391.53 s
Current children cumulated vsize: 655584 KiB
Current children cumulated memory: 595416 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.16 4.15 5/254 45039
/proc/meminfo: memFree=127835328/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=651392 memory=592344 CPUtime=3451.34 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 81535 0 0 0 344266 868 0 0 20 0 1 0 48044715 667025408 148086 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 162848 148086 2368 1147 0 150275 0
Current children cumulated CPU time: 3451.34 s
Current children cumulated vsize: 655584 KiB
Current children cumulated memory: 595416 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.15 5/255 45042
/proc/meminfo: memFree=127830980/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=651392 memory=592344 CPUtime=3511.15 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 81536 0 0 0 350238 877 0 0 20 0 1 0 48044715 667025408 148086 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 162848 148086 2368 1147 0 150275 0
Current children cumulated CPU time: 3511.15 s
Current children cumulated vsize: 655584 KiB
Current children cumulated memory: 595416 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/256 45051
/proc/meminfo: memFree=127804184/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=670848 memory=602968 CPUtime=3570.97 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 84226 0 0 0 356212 885 0 0 20 0 1 0 48044715 686948352 150742 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 167712 150742 2368 1147 0 155139 0
Current children cumulated CPU time: 3570.97 s
Current children cumulated vsize: 675040 KiB
Current children cumulated memory: 606040 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 3.95 4.11 4.14 2/236 45145
/proc/meminfo: memFree=129695280/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=670848 memory=602968 CPUtime=3600.09 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 84239 0 0 0 359119 890 0 0 20 0 1 0 48044715 686948352 150742 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 167712 150742 2368 1147 0 155139 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 675040 KiB
Current children cumulated memory: 606040 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.51 s]
# the end of solver process 44857 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000816 s, system=0.004183 s
[startup+3611.51 s]
# the end of solver process 44859 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3591.21 s, system=8.91078 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+3611.5 s]
/proc/loadavg: 3.95 4.11 4.14 2/236 45145
/proc/meminfo: memFree=129695280/131382120 swapFree=33010416/33010684
[pid=44857] ppid=44854 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44857/stat : 44857 (run-opt.sh) S 44854 44857 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 48044713 4292608 768 18446744073709551615 94640926830592 94640927725125 140732989005984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640927964176 94640928011920 94640937209856 140732989008237 140732989008360 140732989008360 140732989013962 0
/proc/44857/statm: 1048 768 704 219 0 110 0
[pid=44859] ppid=44857 vsize=670848 memory=602968 CPUtime=3600.09 cores=4,6
/proc/44859/stat : 44859 (roundingsat) R 44857 44857 43641 0 -1 4194304 84239 0 0 0 359119 890 0 0 20 0 1 0 48044715 686948352 150742 18446744073709551615 4227072 8923433 140722279078528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32657408 140722279082402 140722279082536 140722279082536 140722279088106 0
/proc/44859/statm: 167712 150742 2368 1147 0 155139 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 675040 KiB
Current children cumulated memory: 606040 KiB
Child status: 2
Real time (s): 3611.51
CPU time (s): 3600.12
CPU user time (s): 3591.21
CPU system time (s): 8.91078
CPU usage (%): 99.6845
Max. virtual memory (cumulated for all children) (KiB): 675040
Max. memory (cumulated for all children) (KiB): 606040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.21
system time used= 8.91078
maximum resident set size= 603224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84477
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= 253
involuntary context switches= 19259
# summary of solver processes directly reported to runsolver:
# pid: 44857,44859
# total CPU time (s): 3600.12
# total CPU user time (s): 3591.21
# total CPU system time (s): 8.91078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6442 second user time and 36.6797 second system time
The end
Begin job on nodeC006 at 2025-07-01 00:47:33
IDJOB=4486562
IDBENCH=147023
IDSOLVER=3350
FILE ID=nodeC006/4486562-1751323653
RUNJOBID= nodeC006-1751316414-43652
SLURM_JOB_ID= 9594337
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data10_3.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4486562-1751323653/watcher-4486562-1751323653 -o /tmp/evaluation-result-4486562-1751323653/solver-4486562-1751323653 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751316414-43652 --watchdog 3760 run-opt.sh HOME/instance-4486562-1751323653.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 45d4d1161a77415ffbfc9841f6913b11
RANDOM SEED=1030658132
nodeC006 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 : 0xb00001f
cpu MHz : 3662.319
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3691.185
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.290
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.139
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3691.171
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.533
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.294
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130106372 kB
MemAvailable: 129772140 kB
Buffers: 2128 kB
Cached: 468744 kB
SwapCached: 12 kB
Active: 568136 kB
Inactive: 143764 kB
Active(anon): 247892 kB
Inactive(anon): 11092 kB
Active(file): 320244 kB
Inactive(file): 132672 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 36064 kB
Writeback: 0 kB
AnonPages: 243448 kB
Mapped: 116144 kB
Shmem: 17948 kB
KReclaimable: 104572 kB
Slab: 187992 kB
SReclaimable: 104572 kB
SUnreclaim: 83420 kB
KernelStack: 4112 kB
PageTables: 3692 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 600692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 86016 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433052 MiB
End job on nodeC006 at 2025-07-01 01:47:45