0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.18/0.29 c #variables 2700 #constraints 43070
0.18/0.29 c objective is ce32
0.18/0.31 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.18/0.31 c initial counting CF 32, 64, 128, Arb: 21601 , 0 , 0 , 0
0.18/0.31 c GLOBAL bounds - >= 0 @ 0.240582
0.28/0.31 c GLOBAL bounds - >= 0 @ 0.243417
0.28/0.31 c GLOBAL bounds - >= 0 @ 0.245497
0.28/0.31 c GLOBAL bounds - >= 0 @ 0.248016
0.28/0.32 c GLOBAL bounds - >= 0 @ 0.250643
0.28/0.32 c GLOBAL bounds - >= 0 @ 0.252703
0.28/0.32 c GLOBAL bounds - >= 0 @ 0.255232
0.28/0.32 c GLOBAL bounds - >= 0 @ 0.255482
0.28/0.33 c GLOBAL bounds - >= 0 @ 0.256756
0.28/0.33 c GLOBAL bounds - >= 0 @ 0.258291
0.28/0.33 c GLOBAL bounds - >= 0 @ 0.259452
0.28/0.34 c GLOBAL bounds - >= 0 @ 0.261077
0.28/0.34 c GLOBAL bounds - >= 0 @ 0.263657
0.28/0.34 c GLOBAL bounds - >= 0 @ 0.264435
0.28/0.34 c GLOBAL bounds - >= 0 @ 0.265892
0.28/0.35 c GLOBAL bounds - >= 0 @ 0.27141
0.28/0.35 c GLOBAL bounds - >= 0 @ 0.273512
0.28/0.36 c GLOBAL bounds - >= 0 @ 0.275274
0.28/0.36 c GLOBAL bounds - >= 0 @ 0.275395
0.28/0.36 c GLOBAL bounds - >= 0 @ 0.276382
0.28/0.37 c GLOBAL bounds - >= 0 @ 0.278657
0.28/0.37 c GLOBAL bounds - >= 0 @ 0.279368
0.28/0.37 c GLOBAL bounds - >= 0 @ 0.282737
0.28/0.38 c GLOBAL bounds - >= 0 @ 0.284819
0.28/0.38 c GLOBAL bounds - >= 0 @ 0.287801
0.28/0.38 c GLOBAL bounds - >= 0 @ 0.290629
0.28/0.39 c GLOBAL bounds - >= 0 @ 0.29271
0.28/0.39 c GLOBAL bounds - >= 0 @ 0.294794
0.28/0.39 c GLOBAL bounds - >= 0 @ 0.296318
0.28/0.40 c GLOBAL bounds - >= 0 @ 0.29766
0.28/0.40 c GLOBAL bounds - >= 0 @ 0.299286
0.28/0.40 c GLOBAL bounds - >= 0 @ 0.301087
0.28/0.40 c GLOBAL bounds - >= 0 @ 0.302235
0.38/0.41 c GLOBAL bounds - >= 0 @ 0.304289
0.38/0.41 c GLOBAL bounds - >= 0 @ 0.306373
0.38/0.41 c GLOBAL bounds - >= 0 @ 0.307269
0.38/0.42 c GLOBAL bounds - >= 0 @ 0.310693
0.38/0.42 c GLOBAL bounds - >= 0 @ 0.314247
0.38/0.43 c GLOBAL bounds - >= 0 @ 0.315194
0.38/0.43 c GLOBAL bounds - >= 0 @ 0.318401
0.38/0.44 c GLOBAL bounds - >= 0 @ 0.322237
0.38/0.44 c GLOBAL bounds - >= 0 @ 0.324628
0.38/0.44 c GLOBAL bounds - >= 0 @ 0.325916
0.38/0.45 c GLOBAL bounds - >= 0 @ 0.327911
0.38/0.45 c GLOBAL bounds - >= 0 @ 0.328566
0.38/0.45 c GLOBAL bounds - >= 0 @ 0.331264
0.38/0.46 c GLOBAL bounds - >= 0 @ 0.338869
0.38/0.47 c GLOBAL bounds - >= 0 @ 0.340736
0.38/0.49 c GLOBAL bounds - >= 0 @ 0.36082
0.38/0.50 c GLOBAL bounds - >= 0 @ 0.365091
0.38/0.50 c GLOBAL bounds - >= 0 @ 0.367922
0.38/0.50 c GLOBAL bounds - >= 0 @ 0.369792
0.48/0.51 c GLOBAL bounds - >= 0 @ 0.373155
0.48/0.51 c GLOBAL bounds - >= 0 @ 0.375297
0.48/0.51 c GLOBAL bounds - >= 0 @ 0.377751
0.48/0.52 c GLOBAL bounds - >= 0 @ 0.378749
0.48/0.52 c GLOBAL bounds - >= 0 @ 0.380133
0.48/0.53 c GLOBAL bounds - >= 0 @ 0.384994
0.48/0.53 c GLOBAL bounds - >= 0 @ 0.389309
0.48/0.54 c GLOBAL bounds - >= 0 @ 0.393581
0.48/0.57 c GLOBAL bounds - >= 0 @ 0.428032
0.48/0.58 c GLOBAL bounds - >= 0 @ 0.431658
0.48/0.60 c GLOBAL bounds - >= 0 @ 0.450435
0.57/0.60 c GLOBAL bounds - >= 0 @ 0.453698
0.57/0.61 c GLOBAL bounds - >= 0 @ 0.459805
0.57/0.61 c GLOBAL bounds - >= 0 @ 0.46193
0.57/0.62 c GLOBAL bounds - >= 0 @ 0.465481
0.57/0.63 c GLOBAL bounds - >= 0 @ 0.481492
0.57/0.64 c GLOBAL bounds - >= 0 @ 0.486264
0.57/0.64 c GLOBAL bounds - >= 0 @ 0.489628
0.57/0.65 c GLOBAL bounds - >= 0 @ 0.494069
0.57/0.66 c GLOBAL bounds - >= 0 @ 0.502446
0.57/0.67 c GLOBAL bounds - >= 0 @ 0.508437
0.57/0.67 c GLOBAL bounds - >= 0 @ 0.512808
0.67/0.74 c GLOBAL bounds - >= 0 @ 0.576705
0.67/0.75 c GLOBAL bounds - >= 0 @ 0.585271
0.67/0.76 c GLOBAL bounds - >= 0 @ 0.593882
0.77/0.86 c GLOBAL bounds - >= 0 @ 0.692579
0.87/0.93 c #Conflicts: 1000 | #Constraints: 1532
0.87/0.93 c GLOBAL bounds - >= 0 @ 0.756494
0.87/0.98 c GLOBAL bounds - >= 0 @ 0.801751
0.97/1.00 c GLOBAL bounds - >= 0 @ 0.819759
0.97/1.01 c GLOBAL bounds - >= 0 @ 0.830933
0.97/1.02 c GLOBAL bounds - >= 0 @ 0.837139
0.97/1.03 c GLOBAL bounds - >= 0 @ 0.842042
0.97/1.03 c GLOBAL bounds - >= 0 @ 0.847391
0.97/1.04 c GLOBAL bounds - >= 0 @ 0.850938
0.97/1.04 c GLOBAL bounds - >= 0 @ 0.854418
0.97/1.05 c GLOBAL bounds - >= 0 @ 0.862278
0.97/1.08 c GLOBAL bounds - >= 0 @ 0.880776
0.97/1.08 c GLOBAL bounds - >= 0 @ 0.884903
1.07/1.10 c GLOBAL bounds - >= 0 @ 0.902091
1.07/1.12 c GLOBAL bounds - >= 0 @ 0.922084
1.17/1.23 c GLOBAL bounds - >= 0 @ 1.02437
1.27/1.37 c GLOBAL bounds - >= 0 @ 1.16604
1.27/1.39 c GLOBAL bounds - >= 0 @ 1.17975
1.36/1.40 c GLOBAL bounds - >= 0 @ 1.1884
1.36/1.40 c GLOBAL bounds - >= 0 @ 1.19207
1.36/1.41 c GLOBAL bounds - >= 0 @ 1.19792
1.36/1.42 c GLOBAL bounds - >= 0 @ 1.20325
1.36/1.44 c #Conflicts: 2000 | #Constraints: 2574
1.36/1.44 c INPROCESSING
1.36/1.44 c GARBAGE COLLECT
1.36/1.44 c GLOBAL bounds - >= 0 @ 1.22812
1.36/1.45 c GLOBAL bounds - >= 0 @ 1.23558
1.36/1.49 c GLOBAL bounds - >= 0 @ 1.26986
1.46/1.51 c GLOBAL bounds - >= 0 @ 1.28917
1.46/1.51 c GLOBAL bounds - >= 0 @ 1.29306
1.46/1.55 c GLOBAL bounds - >= 0 @ 1.33075
1.46/1.56 c GLOBAL bounds - >= 0 @ 1.33809
1.46/1.57 c GLOBAL bounds - >= 0 @ 1.34171
1.46/1.57 c GLOBAL bounds - >= 0 @ 1.3446
1.46/1.58 c GLOBAL bounds - >= 0 @ 1.35104
1.67/1.74 c GLOBAL bounds - >= 0 @ 1.50568
1.86/1.94 c #Conflicts: 3000 | #Constraints: 2599
1.86/1.94 c GLOBAL bounds - >= 0 @ 1.70178
1.86/1.96 c GLOBAL bounds - >= 0 @ 1.72345
1.86/1.97 c GLOBAL bounds - >= 0 @ 1.7286
1.86/1.99 c GLOBAL bounds - >= 0 @ 1.74224
1.97/2.00 c GLOBAL bounds - >= 0 @ 1.75859
1.97/2.02 c GLOBAL bounds - >= 0 @ 1.77217
1.97/2.03 c GLOBAL bounds - >= 0 @ 1.78134
1.97/2.04 c GLOBAL bounds - >= 0 @ 1.78715
1.97/2.06 c GLOBAL bounds - >= 0 @ 1.80176
1.97/2.08 c GLOBAL bounds - >= 0 @ 1.82474
1.97/2.09 c GLOBAL bounds - >= 0 @ 1.83289
1.97/2.10 c GLOBAL bounds - >= 0 @ 1.83796
2.07/2.10 c GLOBAL bounds - >= 0 @ 1.84365
2.07/2.11 c GLOBAL bounds - >= 0 @ 1.8489
2.07/2.12 c GLOBAL bounds - >= 0 @ 1.8539
2.17/2.20 c GLOBAL bounds - >= 0 @ 1.93526
2.17/2.23 c GLOBAL bounds - >= 0 @ 1.96099
2.17/2.23 c GLOBAL bounds - >= 0 @ 1.96518
2.17/2.29 c GLOBAL bounds - >= 0 @ 2.01715
2.26/2.32 c GLOBAL bounds - >= 0 @ 2.04629
2.26/2.33 c GLOBAL bounds - >= 0 @ 2.05601
2.26/2.34 c GLOBAL bounds - >= 0 @ 2.06668
2.26/2.35 c GLOBAL bounds - >= 0 @ 2.07624
2.36/2.45 c GLOBAL bounds - >= 0 @ 2.17094
2.46/2.55 c #Conflicts: 4000 | #Constraints: 3647
2.46/2.55 c GLOBAL bounds - >= 0 @ 2.26172
2.46/2.59 c INPROCESSING
2.46/2.59 c GARBAGE COLLECT
2.46/2.59 c GLOBAL bounds - >= 0 @ 2.30828
2.56/2.60 c GLOBAL bounds - >= 0 @ 2.31693
2.56/2.65 c GLOBAL bounds - >= 0 @ 2.35858
2.66/2.79 c GLOBAL bounds - >= 0 @ 2.49689
2.77/2.85 c GLOBAL bounds - >= 0 @ 2.55445
2.77/2.87 c GLOBAL bounds - >= 0 @ 2.56514
2.86/2.93 c GLOBAL bounds - >= 0 @ 2.62975
2.86/2.97 c GLOBAL bounds - >= 0 @ 2.66206
2.96/3.02 c #Conflicts: 5000 | #Constraints: 3067
2.96/3.02 c GLOBAL bounds - >= 0 @ 2.7157
2.96/3.04 c GLOBAL bounds - >= 0 @ 2.73109
2.96/3.09 c GLOBAL bounds - >= 0 @ 2.78337
3.06/3.10 c GLOBAL bounds - >= 0 @ 2.7884
3.06/3.11 c GLOBAL bounds - >= 0 @ 2.79649
3.45/3.53 c #Conflicts: 6000 | #Constraints: 4077
3.45/3.53 c GLOBAL bounds - >= 0 @ 3.21303
3.45/3.54 c GLOBAL bounds - >= 0 @ 3.21883
3.56/3.61 c GLOBAL bounds - >= 0 @ 3.28999
3.56/3.62 c GLOBAL bounds - >= 0 @ 3.29487
3.66/3.72 c GLOBAL bounds - >= 0 @ 3.38766
3.66/3.75 c GLOBAL bounds - >= 0 @ 3.41931
3.66/3.77 c GLOBAL bounds - >= 0 @ 3.43428
3.66/3.79 c GLOBAL bounds - >= 0 @ 3.45262
3.75/3.80 c GLOBAL bounds - >= 0 @ 3.46285
3.75/3.84 c GLOBAL bounds - >= 0 @ 3.4967
3.86/3.96 c INPROCESSING
3.86/3.96 c GARBAGE COLLECT
3.86/3.96 c GLOBAL bounds - >= 0 @ 3.61394
3.86/3.98 c GLOBAL bounds - >= 0 @ 3.63201
4.26/4.33 c #Conflicts: 7000 | #Constraints: 3104
4.26/4.33 c GLOBAL bounds - >= 0 @ 3.96803
4.26/4.34 c GLOBAL bounds - >= 0 @ 3.97802
4.35/4.40 c GLOBAL bounds - >= 0 @ 4.04332
4.35/4.42 c GLOBAL bounds - >= 0 @ 4.06289
4.35/4.43 c GLOBAL bounds - >= 0 @ 4.07115
4.35/4.44 c GLOBAL bounds - >= 0 @ 4.07784
4.35/4.46 c GLOBAL bounds - >= 0 @ 4.09864
4.46/4.51 c GLOBAL bounds - >= 0 @ 4.14306
5.05/5.17 c #Conflicts: 8000 | #Constraints: 4120
5.05/5.17 c GLOBAL bounds - >= 0 @ 4.77416
5.05/5.18 c GLOBAL bounds - >= 0 @ 4.7852
5.35/5.47 c #Conflicts: 9000 | #Constraints: 5124
5.35/5.47 c INPROCESSING
5.35/5.47 c GARBAGE COLLECT
5.35/5.47 c GLOBAL bounds - >= 0 @ 5.06883
5.35/5.49 c GLOBAL bounds - >= 0 @ 5.08714
5.46/5.56 c GLOBAL bounds - >= 0 @ 5.14958
5.86/5.97 c #Conflicts: 10000 | #Constraints: 3831
5.86/5.97 c GLOBAL bounds - >= 0 @ 5.54867
6.45/6.58 c #Conflicts: 11000 | #Constraints: 4833
6.45/6.58 c GLOBAL bounds - >= 0 @ 6.15204
7.44/7.59 c #Conflicts: 12000 | #Constraints: 5835
7.44/7.59 c INPROCESSING
7.44/7.59 c GARBAGE COLLECT
7.44/7.59 c GLOBAL bounds - >= 0 @ 7.12933
10.54/10.68 c #Conflicts: 13000 | #Constraints: 4289
10.54/10.68 c #Conflicts: 14000 | #Constraints: 5289
10.54/10.68 c #Conflicts: 15000 | #Constraints: 6289
10.54/10.68 c INPROCESSING
10.54/10.68 c GARBAGE COLLECT
10.54/10.68 c #Conflicts: 16000 | #Constraints: 4519
10.54/10.68 c #Conflicts: 17000 | #Constraints: 5519
10.54/10.68 c GLOBAL bounds - >= 0 @ 10.1494
11.84/11.94 c #Conflicts: 18000 | #Constraints: 6521
11.84/11.94 c INPROCESSING
11.84/11.94 c GARBAGE COLLECT
11.84/11.94 c #Conflicts: 19000 | #Constraints: 4532
11.84/11.94 c GLOBAL bounds - >= 0 @ 11.3769
12.63/12.74 c #Conflicts: 20000 | #Constraints: 5534
12.63/12.74 c GLOBAL bounds - >= 0 @ 12.1569
13.63/13.79 c #Conflicts: 21000 | #Constraints: 6536
13.63/13.79 c INPROCESSING
13.63/13.79 c GARBAGE COLLECT
13.63/13.79 c #Conflicts: 22000 | #Constraints: 4343
13.63/13.79 c GLOBAL bounds - >= 0 @ 13.1799
13.73/13.81 c GLOBAL bounds - >= 0 @ 13.2021
13.73/13.84 c GLOBAL bounds - >= 0 @ 13.2272
13.73/13.85 c GLOBAL bounds - >= 0 @ 13.2349
14.33/14.44 c #Conflicts: 23000 | #Constraints: 5351
14.33/14.44 c GLOBAL bounds - >= 0 @ 13.8069
16.93/17.04 c #Conflicts: 24000 | #Constraints: 6353
16.93/17.04 c #Conflicts: 25000 | #Constraints: 7353
16.93/17.04 c INPROCESSING
16.93/17.04 c GARBAGE COLLECT
16.93/17.04 c #Conflicts: 26000 | #Constraints: 4962
16.93/17.04 c #Conflicts: 27000 | #Constraints: 5962
16.93/17.04 c GLOBAL bounds - >= 0 @ 16.3368
17.32/17.46 c #Conflicts: 28000 | #Constraints: 6964
17.32/17.46 c GLOBAL bounds - >= 0 @ 16.7461
17.82/17.94 c GLOBAL bounds - >= 0 @ 17.218
18.02/18.11 c GLOBAL bounds - >= 0 @ 17.3845
19.72/19.88 c #Conflicts: 29000 | #Constraints: 7970
19.72/19.88 c INPROCESSING
19.72/19.88 c GARBAGE COLLECT
19.72/19.88 c #Conflicts: 30000 | #Constraints: 5366
19.72/19.88 c #Conflicts: 31000 | #Constraints: 6366
19.72/19.88 c GLOBAL bounds - >= 0 @ 19.1157
42.35/42.54 c #Conflicts: 32000 | #Constraints: 7368
42.35/42.54 c #Conflicts: 33000 | #Constraints: 8368
42.35/42.54 c INPROCESSING
42.35/42.54 c GARBAGE COLLECT
42.35/42.54 c #Conflicts: 34000 | #Constraints: 5573
42.35/42.54 c #Conflicts: 35000 | #Constraints: 6573
42.35/42.54 c #Conflicts: 36000 | #Constraints: 7573
42.35/42.54 c #Conflicts: 37000 | #Constraints: 8573
42.35/42.54 c INPROCESSING
42.35/42.54 c GARBAGE COLLECT
42.35/42.54 c #Conflicts: 38000 | #Constraints: 5580
42.35/42.54 c #Conflicts: 39000 | #Constraints: 6580
42.35/42.54 c #Conflicts: 40000 | #Constraints: 7580
42.35/42.54 c #Conflicts: 41000 | #Constraints: 8580
42.35/42.54 c INPROCESSING
42.35/42.54 c GARBAGE COLLECT
42.35/42.54 c #Conflicts: 42000 | #Constraints: 5380
42.35/42.54 c #Conflicts: 43000 | #Constraints: 6380
42.35/42.54 c #Conflicts: 44000 | #Constraints: 7380
42.35/42.54 c #Conflicts: 45000 | #Constraints: 8380
42.35/42.54 c #Conflicts: 46000 | #Constraints: 9380
42.35/42.54 c INPROCESSING
42.35/42.54 c GARBAGE COLLECT
42.35/42.54 c #Conflicts: 47000 | #Constraints: 5979
42.35/42.54 c #Conflicts: 48000 | #Constraints: 6979
42.35/42.54 c #Conflicts: 49000 | #Constraints: 7979
42.35/42.54 c #Conflicts: 50000 | #Constraints: 8979
42.35/42.54 c #Conflicts: 51000 | #Constraints: 9979
42.35/42.54 c INPROCESSING
42.35/42.54 c GARBAGE COLLECT
42.35/42.54 c #Conflicts: 52000 | #Constraints: 6385
42.35/42.54 c #Conflicts: 53000 | #Constraints: 7385
42.35/42.54 c #Conflicts: 54000 | #Constraints: 8385
42.35/42.54 c #Conflicts: 55000 | #Constraints: 9385
42.35/42.54 c #Conflicts: 56000 | #Constraints: 10385
42.35/42.54 c INPROCESSING
42.35/42.54 c GARBAGE COLLECT
42.35/42.54 c #Conflicts: 57000 | #Constraints: 6589
42.35/42.54 c #Conflicts: 58000 | #Constraints: 7589
42.35/42.54 c GLOBAL bounds - >= 0 @ 41.2642
44.64/44.87 c #Conflicts: 59000 | #Constraints: 8591
44.64/44.87 c #Conflicts: 60000 | #Constraints: 9591
44.64/44.87 c #Conflicts: 61000 | #Constraints: 10591
44.64/44.87 c GLOBAL bounds - >= 0 @ 43.5413
44.85/45.08 c INPROCESSING
44.85/45.08 c GARBAGE COLLECT
44.85/45.08 c GLOBAL bounds - >= 0 @ 43.7475
46.84/47.03 c #Conflicts: 62000 | #Constraints: 6589
46.84/47.03 c #Conflicts: 63000 | #Constraints: 7589
46.84/47.03 c #Conflicts: 64000 | #Constraints: 8589
46.84/47.03 c GLOBAL bounds - >= 0 @ 45.6618
54.02/54.20 c #Conflicts: 65000 | #Constraints: 9591
54.02/54.20 c #Conflicts: 66000 | #Constraints: 10591
54.02/54.20 c INPROCESSING
54.02/54.20 c GARBAGE COLLECT
54.02/54.20 c #Conflicts: 67000 | #Constraints: 6383
54.02/54.20 c #Conflicts: 68000 | #Constraints: 7383
54.02/54.20 c #Conflicts: 69000 | #Constraints: 8383
54.02/54.20 c #Conflicts: 70000 | #Constraints: 9383
54.02/54.20 c #Conflicts: 71000 | #Constraints: 10383
54.02/54.20 c #Conflicts: 72000 | #Constraints: 11383
54.02/54.20 c INPROCESSING
54.02/54.20 c GARBAGE COLLECT
54.02/54.20 c GLOBAL bounds - >= 0 @ 52.6744
54.12/54.36 c GLOBAL bounds - >= 0 @ 52.8303
58.50/58.76 c #Conflicts: 73000 | #Constraints: 6991
58.50/58.76 c #Conflicts: 74000 | #Constraints: 7991
58.50/58.76 c #Conflicts: 75000 | #Constraints: 8991
58.50/58.76 c #Conflicts: 76000 | #Constraints: 9991
58.50/58.76 c #Conflicts: 77000 | #Constraints: 10991
58.50/58.76 c GLOBAL bounds - >= 0 @ 57.1351
136.38/136.87 c #Conflicts: 78000 | #Constraints: 11993
136.38/136.87 c INPROCESSING
136.38/136.87 c GARBAGE COLLECT
136.38/136.87 c #Conflicts: 79000 | #Constraints: 7394
136.38/136.87 c #Conflicts: 80000 | #Constraints: 8394
136.38/136.87 c #Conflicts: 81000 | #Constraints: 9394
136.38/136.87 c #Conflicts: 82000 | #Constraints: 10394
136.38/136.87 c #Conflicts: 83000 | #Constraints: 11394
136.38/136.87 c #Conflicts: 84000 | #Constraints: 12394
136.38/136.87 c INPROCESSING
136.38/136.87 c GARBAGE COLLECT
136.38/136.87 c #Conflicts: 85000 | #Constraints: 7598
136.38/136.87 c #Conflicts: 86000 | #Constraints: 8598
136.38/136.87 c #Conflicts: 87000 | #Constraints: 9598
136.38/136.87 c #Conflicts: 88000 | #Constraints: 10598
136.38/136.87 c #Conflicts: 89000 | #Constraints: 11598
136.38/136.87 c #Conflicts: 90000 | #Constraints: 12598
136.38/136.87 c INPROCESSING
136.38/136.87 c GARBAGE COLLECT
136.38/136.87 c #Conflicts: 91000 | #Constraints: 7596
136.38/136.87 c #Conflicts: 92000 | #Constraints: 8596
136.38/136.87 c #Conflicts: 93000 | #Constraints: 9596
136.38/136.87 c #Conflicts: 94000 | #Constraints: 10596
136.38/136.87 c #Conflicts: 95000 | #Constraints: 11596
136.38/136.87 c #Conflicts: 96000 | #Constraints: 12596
136.38/136.87 c INPROCESSING
136.38/136.87 c GARBAGE COLLECT
136.38/136.87 c #Conflicts: 97000 | #Constraints: 7400
136.38/136.87 c #Conflicts: 98000 | #Constraints: 8400
136.38/136.87 c #Conflicts: 99000 | #Constraints: 9400
136.38/136.87 c #Conflicts: 100000 | #Constraints: 10400
136.38/136.87 c #Conflicts: 101000 | #Constraints: 11400
136.38/136.87 c #Conflicts: 102000 | #Constraints: 12400
136.38/136.87 c #Conflicts: 103000 | #Constraints: 13400
136.38/136.87 c INPROCESSING
136.38/136.87 c GARBAGE COLLECT
136.38/136.87 c #Conflicts: 104000 | #Constraints: 7997
136.38/136.87 c #Conflicts: 105000 | #Constraints: 8997
136.38/136.87 c #Conflicts: 106000 | #Constraints: 9997
136.38/136.87 c #Conflicts: 107000 | #Constraints: 10997
136.38/136.87 c #Conflicts: 108000 | #Constraints: 11997
136.38/136.87 c #Conflicts: 109000 | #Constraints: 12997
136.38/136.87 c #Conflicts: 110000 | #Constraints: 13997
136.38/136.87 c INPROCESSING
136.38/136.87 c GARBAGE COLLECT
136.38/136.87 c #Conflicts: 111000 | #Constraints: 8404
136.38/136.87 c #Conflicts: 112000 | #Constraints: 9404
136.38/136.87 c #Conflicts: 113000 | #Constraints: 10404
136.38/136.87 c #Conflicts: 114000 | #Constraints: 11404
136.38/136.87 c #Conflicts: 115000 | #Constraints: 12404
136.38/136.87 c #Conflicts: 116000 | #Constraints: 13404
136.38/136.87 c #Conflicts: 117000 | #Constraints: 14404
136.38/136.87 c INPROCESSING
136.38/136.87 c GARBAGE COLLECT
136.38/136.87 c #Conflicts: 118000 | #Constraints: 8601
136.38/136.87 c #Conflicts: 119000 | #Constraints: 9601
136.38/136.87 c #Conflicts: 120000 | #Constraints: 10601
136.38/136.87 c #Conflicts: 121000 | #Constraints: 11601
136.38/136.87 c #Conflicts: 122000 | #Constraints: 12601
136.38/136.87 c #Conflicts: 123000 | #Constraints: 13601
136.38/136.87 c #Conflicts: 124000 | #Constraints: 14601
136.38/136.87 c INPROCESSING
136.38/136.87 c GARBAGE COLLECT
136.38/136.87 c #Conflicts: 125000 | #Constraints: 8603
136.38/136.87 c #Conflicts: 126000 | #Constraints: 9603
136.38/136.87 c #Conflicts: 127000 | #Constraints: 10603
136.38/136.87 c #Conflicts: 128000 | #Constraints: 11603
136.38/136.87 c #Conflicts: 129000 | #Constraints: 12603
136.38/136.87 c #Conflicts: 130000 | #Constraints: 13603
136.38/136.87 c #Conflicts: 131000 | #Constraints: 14603
136.38/136.87 c INPROCESSING
136.38/136.87 c GARBAGE COLLECT
136.38/136.87 c #Conflicts: 132000 | #Constraints: 8399
136.38/136.87 c #Conflicts: 133000 | #Constraints: 9399
136.38/136.87 c #Conflicts: 134000 | #Constraints: 10399
136.38/136.87 c #Conflicts: 135000 | #Constraints: 11399
136.38/136.87 c #Conflicts: 136000 | #Constraints: 12399
136.38/136.87 c #Conflicts: 137000 | #Constraints: 13399
136.38/136.87 c #Conflicts: 138000 | #Constraints: 14399
136.38/136.87 c #Conflicts: 139000 | #Constraints: 15399
136.38/136.87 c INPROCESSING
136.38/136.87 c GARBAGE COLLECT
136.38/136.87 c #Conflicts: 140000 | #Constraints: 9003
136.38/136.87 c #Conflicts: 141000 | #Constraints: 10003
136.38/136.87 c #Conflicts: 142000 | #Constraints: 11003
136.38/136.87 c #Conflicts: 143000 | #Constraints: 12003
136.38/136.87 c #Conflicts: 144000 | #Constraints: 13003
136.38/136.87 c #Conflicts: 145000 | #Constraints: 14003
136.38/136.87 c #Conflicts: 146000 | #Constraints: 15003
136.38/136.87 c #Conflicts: 147000 | #Constraints: 16003
136.38/136.87 c INPROCESSING
136.38/136.87 c GARBAGE COLLECT
136.38/136.87 c #Conflicts: 148000 | #Constraints: 9406
136.38/136.87 c #Conflicts: 149000 | #Constraints: 10406
241.97/242.78 c #Conflicts: 150000 | #Constraints: 11406
241.97/242.78 c #Conflicts: 151000 | #Constraints: 12406
241.97/242.78 c #Conflicts: 152000 | #Constraints: 13406
241.97/242.78 c #Conflicts: 153000 | #Constraints: 14406
241.97/242.78 c #Conflicts: 154000 | #Constraints: 15406
241.97/242.78 c #Conflicts: 155000 | #Constraints: 16406
241.97/242.78 c INPROCESSING
241.97/242.78 c GARBAGE COLLECT
241.97/242.78 c #Conflicts: 156000 | #Constraints: 9607
241.97/242.78 c #Conflicts: 157000 | #Constraints: 10607
241.97/242.78 c #Conflicts: 158000 | #Constraints: 11607
241.97/242.78 c #Conflicts: 159000 | #Constraints: 12607
241.97/242.78 c #Conflicts: 160000 | #Constraints: 13607
241.97/242.78 c #Conflicts: 161000 | #Constraints: 14607
241.97/242.78 c #Conflicts: 162000 | #Constraints: 15607
241.97/242.78 c #Conflicts: 163000 | #Constraints: 16607
241.97/242.78 c INPROCESSING
241.97/242.78 c GARBAGE COLLECT
241.97/242.78 c #Conflicts: 164000 | #Constraints: 9607
241.97/242.78 c #Conflicts: 165000 | #Constraints: 10607
241.97/242.78 c #Conflicts: 166000 | #Constraints: 11607
241.97/242.78 c #Conflicts: 167000 | #Constraints: 12607
241.97/242.78 c #Conflicts: 168000 | #Constraints: 13607
241.97/242.78 c #Conflicts: 169000 | #Constraints: 14607
241.97/242.78 c #Conflicts: 170000 | #Constraints: 15607
241.97/242.78 c #Conflicts: 171000 | #Constraints: 16607
241.97/242.78 c INPROCESSING
241.97/242.78 c GARBAGE COLLECT
241.97/242.78 c #Conflicts: 172000 | #Constraints: 9411
241.97/242.78 c #Conflicts: 173000 | #Constraints: 10411
241.97/242.78 c #Conflicts: 174000 | #Constraints: 11411
241.97/242.78 c #Conflicts: 175000 | #Constraints: 12411
241.97/242.78 c #Conflicts: 176000 | #Constraints: 13411
241.97/242.78 c #Conflicts: 177000 | #Constraints: 14411
241.97/242.78 c #Conflicts: 178000 | #Constraints: 15411
241.97/242.78 c #Conflicts: 179000 | #Constraints: 16411
241.97/242.78 c #Conflicts: 180000 | #Constraints: 17411
241.97/242.78 c INPROCESSING
241.97/242.78 c GARBAGE COLLECT
241.97/242.78 c #Conflicts: 181000 | #Constraints: 10015
241.97/242.78 c #Conflicts: 182000 | #Constraints: 11015
241.97/242.78 c #Conflicts: 183000 | #Constraints: 12015
241.97/242.78 c #Conflicts: 184000 | #Constraints: 13015
241.97/242.78 c #Conflicts: 185000 | #Constraints: 14015
241.97/242.78 c #Conflicts: 186000 | #Constraints: 15015
241.97/242.78 c #Conflicts: 187000 | #Constraints: 16015
241.97/242.78 c #Conflicts: 188000 | #Constraints: 17015
241.97/242.78 c #Conflicts: 189000 | #Constraints: 18015
241.97/242.78 c INPROCESSING
241.97/242.78 c GARBAGE COLLECT
241.97/242.78 c #Conflicts: 190000 | #Constraints: 10421
241.97/242.78 c #Conflicts: 191000 | #Constraints: 11421
241.97/242.78 c #Conflicts: 192000 | #Constraints: 12421
241.97/242.78 c #Conflicts: 193000 | #Constraints: 13421
241.97/242.78 c #Conflicts: 194000 | #Constraints: 14421
241.97/242.78 c #Conflicts: 195000 | #Constraints: 15421
241.97/242.78 c #Conflicts: 196000 | #Constraints: 16421
241.97/242.78 c #Conflicts: 197000 | #Constraints: 17421
241.97/242.78 c #Conflicts: 198000 | #Constraints: 18421
241.97/242.78 c INPROCESSING
241.97/242.78 c GARBAGE COLLECT
241.97/242.78 c #Conflicts: 199000 | #Constraints: 10624
241.97/242.78 c #Conflicts: 200000 | #Constraints: 11624
241.97/242.78 c #Conflicts: 201000 | #Constraints: 12624
241.97/242.78 c #Conflicts: 202000 | #Constraints: 13624
241.97/242.78 c #Conflicts: 203000 | #Constraints: 14624
241.97/242.78 c #Conflicts: 204000 | #Constraints: 15624
241.97/242.78 c #Conflicts: 205000 | #Constraints: 16624
241.97/242.78 c #Conflicts: 206000 | #Constraints: 17624
241.97/242.78 c #Conflicts: 207000 | #Constraints: 18624
241.97/242.78 c INPROCESSING
241.97/242.78 c GARBAGE COLLECT
241.97/242.78 c #Conflicts: 208000 | #Constraints: 10625
241.97/242.78 c #Conflicts: 209000 | #Constraints: 11625
241.97/242.78 c #Conflicts: 210000 | #Constraints: 12625
241.97/242.78 c #Conflicts: 211000 | #Constraints: 13625
241.97/242.78 c #Conflicts: 212000 | #Constraints: 14625
241.97/242.78 c #Conflicts: 213000 | #Constraints: 15625
241.97/242.78 c #Conflicts: 214000 | #Constraints: 16625
241.97/242.78 c #Conflicts: 215000 | #Constraints: 17625
241.97/242.78 c #Conflicts: 216000 | #Constraints: 18625
241.97/242.78 c INPROCESSING
241.97/242.78 c GARBAGE COLLECT
241.97/242.78 c #Conflicts: 217000 | #Constraints: 10434
241.97/242.78 c #Conflicts: 218000 | #Constraints: 11434
241.97/242.78 c #Conflicts: 219000 | #Constraints: 12434
241.97/242.78 c #Conflicts: 220000 | #Constraints: 13434
241.97/242.78 c #Conflicts: 221000 | #Constraints: 14434
241.97/242.78 c #Conflicts: 222000 | #Constraints: 15434
241.97/242.78 c #Conflicts: 223000 | #Constraints: 16434
338.60/339.66 c #Conflicts: 224000 | #Constraints: 17434
338.60/339.66 c #Conflicts: 225000 | #Constraints: 18434
338.60/339.66 c #Conflicts: 226000 | #Constraints: 19434
338.60/339.66 c INPROCESSING
338.60/339.66 c GARBAGE COLLECT
338.60/339.66 c #Conflicts: 227000 | #Constraints: 11026
338.60/339.66 c #Conflicts: 228000 | #Constraints: 12026
338.60/339.66 c #Conflicts: 229000 | #Constraints: 13026
338.60/339.66 c #Conflicts: 230000 | #Constraints: 14026
338.60/339.66 c #Conflicts: 231000 | #Constraints: 15026
338.60/339.66 c #Conflicts: 232000 | #Constraints: 16026
338.60/339.66 c #Conflicts: 233000 | #Constraints: 17026
338.60/339.66 c #Conflicts: 234000 | #Constraints: 18026
338.60/339.66 c #Conflicts: 235000 | #Constraints: 19026
338.60/339.66 c #Conflicts: 236000 | #Constraints: 20026
338.60/339.66 c INPROCESSING
338.60/339.66 c GARBAGE COLLECT
338.60/339.66 c #Conflicts: 237000 | #Constraints: 11420
338.60/339.66 c #Conflicts: 238000 | #Constraints: 12420
338.60/339.66 c #Conflicts: 239000 | #Constraints: 13420
338.60/339.66 c #Conflicts: 240000 | #Constraints: 14420
338.60/339.66 c #Conflicts: 241000 | #Constraints: 15420
338.60/339.66 c #Conflicts: 242000 | #Constraints: 16420
338.60/339.66 c #Conflicts: 243000 | #Constraints: 17420
338.60/339.66 c #Conflicts: 244000 | #Constraints: 18420
338.60/339.66 c #Conflicts: 245000 | #Constraints: 19420
338.60/339.66 c #Conflicts: 246000 | #Constraints: 20420
338.60/339.66 c INPROCESSING
338.60/339.66 c GARBAGE COLLECT
338.60/339.66 c #Conflicts: 247000 | #Constraints: 11622
338.60/339.66 c #Conflicts: 248000 | #Constraints: 12622
338.60/339.66 c #Conflicts: 249000 | #Constraints: 13622
338.60/339.66 c #Conflicts: 250000 | #Constraints: 14622
338.60/339.66 c #Conflicts: 251000 | #Constraints: 15622
338.60/339.66 c #Conflicts: 252000 | #Constraints: 16622
338.60/339.66 c #Conflicts: 253000 | #Constraints: 17622
338.60/339.66 c #Conflicts: 254000 | #Constraints: 18622
338.60/339.66 c #Conflicts: 255000 | #Constraints: 19622
338.60/339.66 c #Conflicts: 256000 | #Constraints: 20622
338.60/339.66 c INPROCESSING
338.60/339.66 c GARBAGE COLLECT
338.60/339.66 c #Conflicts: 257000 | #Constraints: 11625
338.60/339.66 c #Conflicts: 258000 | #Constraints: 12625
338.60/339.66 c #Conflicts: 259000 | #Constraints: 13625
338.60/339.66 c #Conflicts: 260000 | #Constraints: 14625
338.60/339.66 c #Conflicts: 261000 | #Constraints: 15625
338.60/339.66 c #Conflicts: 262000 | #Constraints: 16625
338.60/339.66 c #Conflicts: 263000 | #Constraints: 17625
338.60/339.66 c #Conflicts: 264000 | #Constraints: 18625
338.60/339.66 c #Conflicts: 265000 | #Constraints: 19625
338.60/339.66 c #Conflicts: 266000 | #Constraints: 20625
338.60/339.66 c INPROCESSING
338.60/339.66 c GARBAGE COLLECT
338.60/339.66 c #Conflicts: 267000 | #Constraints: 11423
338.60/339.66 c #Conflicts: 268000 | #Constraints: 12423
338.60/339.66 c #Conflicts: 269000 | #Constraints: 13423
338.60/339.66 c #Conflicts: 270000 | #Constraints: 14423
338.60/339.66 c #Conflicts: 271000 | #Constraints: 15423
338.60/339.66 c #Conflicts: 272000 | #Constraints: 16423
338.60/339.66 c #Conflicts: 273000 | #Constraints: 17423
338.60/339.66 c #Conflicts: 274000 | #Constraints: 18423
338.60/339.66 c #Conflicts: 275000 | #Constraints: 19423
338.60/339.66 c #Conflicts: 276000 | #Constraints: 20423
338.60/339.66 c #Conflicts: 277000 | #Constraints: 21423
338.60/339.66 c INPROCESSING
338.60/339.66 c GARBAGE COLLECT
338.60/339.66 c #Conflicts: 278000 | #Constraints: 12018
338.60/339.66 c #Conflicts: 279000 | #Constraints: 13018
338.60/339.66 c #Conflicts: 280000 | #Constraints: 14018
338.60/339.66 c #Conflicts: 281000 | #Constraints: 15018
338.60/339.66 c #Conflicts: 282000 | #Constraints: 16018
338.60/339.66 c #Conflicts: 283000 | #Constraints: 17018
338.60/339.66 c #Conflicts: 284000 | #Constraints: 18018
338.60/339.66 c #Conflicts: 285000 | #Constraints: 19018
338.60/339.66 c #Conflicts: 286000 | #Constraints: 20018
338.60/339.66 c GLOBAL bounds - >= 0 @ 333.494
351.46/352.58 c #Conflicts: 287000 | #Constraints: 21020
351.46/352.58 c #Conflicts: 288000 | #Constraints: 22020
351.46/352.58 c INPROCESSING
351.46/352.58 c GARBAGE COLLECT
351.46/352.58 c #Conflicts: 289000 | #Constraints: 12419
351.46/352.58 c #Conflicts: 290000 | #Constraints: 13419
351.46/352.58 c #Conflicts: 291000 | #Constraints: 14419
351.46/352.58 c #Conflicts: 292000 | #Constraints: 15419
351.46/352.58 c #Conflicts: 293000 | #Constraints: 16419
351.46/352.58 c #Conflicts: 294000 | #Constraints: 17419
351.46/352.58 c #Conflicts: 295000 | #Constraints: 18419
351.46/352.58 c GLOBAL bounds - >= 0 @ 346.216
369.80/370.90 c #Conflicts: 296000 | #Constraints: 19421
369.80/370.90 c #Conflicts: 297000 | #Constraints: 20421
369.80/370.90 c #Conflicts: 298000 | #Constraints: 21421
369.80/370.90 c #Conflicts: 299000 | #Constraints: 22421
369.80/370.90 c INPROCESSING
369.80/370.90 c GARBAGE COLLECT
369.80/370.90 c #Conflicts: 300000 | #Constraints: 12610
369.80/370.90 c #Conflicts: 301000 | #Constraints: 13610
369.80/370.90 c #Conflicts: 302000 | #Constraints: 14610
369.80/370.90 c #Conflicts: 303000 | #Constraints: 15610
369.80/370.90 c #Conflicts: 304000 | #Constraints: 16610
369.80/370.90 c #Conflicts: 305000 | #Constraints: 17610
369.80/370.90 c #Conflicts: 306000 | #Constraints: 18610
369.80/370.90 c #Conflicts: 307000 | #Constraints: 19610
369.80/370.90 c #Conflicts: 308000 | #Constraints: 20610
369.80/370.90 c GLOBAL bounds - >= 0 @ 364.287
479.87/481.34 c #Conflicts: 309000 | #Constraints: 21612
479.87/481.34 c #Conflicts: 310000 | #Constraints: 22612
479.87/481.34 c INPROCESSING
479.87/481.34 c GARBAGE COLLECT
479.87/481.34 c #Conflicts: 311000 | #Constraints: 12607
479.87/481.34 c #Conflicts: 312000 | #Constraints: 13607
479.87/481.34 c #Conflicts: 313000 | #Constraints: 14607
479.87/481.34 c #Conflicts: 314000 | #Constraints: 15607
479.87/481.34 c #Conflicts: 315000 | #Constraints: 16607
479.87/481.34 c #Conflicts: 316000 | #Constraints: 17607
479.87/481.34 c #Conflicts: 317000 | #Constraints: 18607
479.87/481.34 c #Conflicts: 318000 | #Constraints: 19607
479.87/481.34 c #Conflicts: 319000 | #Constraints: 20607
479.87/481.34 c #Conflicts: 320000 | #Constraints: 21607
479.87/481.34 c #Conflicts: 321000 | #Constraints: 22607
479.87/481.34 c INPROCESSING
479.87/481.34 c GARBAGE COLLECT
479.87/481.34 c #Conflicts: 322000 | #Constraints: 12413
479.87/481.34 c #Conflicts: 323000 | #Constraints: 13413
479.87/481.34 c #Conflicts: 324000 | #Constraints: 14413
479.87/481.34 c #Conflicts: 325000 | #Constraints: 15413
479.87/481.34 c #Conflicts: 326000 | #Constraints: 16413
479.87/481.34 c #Conflicts: 327000 | #Constraints: 17413
479.87/481.34 c #Conflicts: 328000 | #Constraints: 18413
479.87/481.34 c #Conflicts: 329000 | #Constraints: 19413
479.87/481.34 c #Conflicts: 330000 | #Constraints: 20413
479.87/481.34 c #Conflicts: 331000 | #Constraints: 21413
479.87/481.34 c #Conflicts: 332000 | #Constraints: 22413
479.87/481.34 c #Conflicts: 333000 | #Constraints: 23413
479.87/481.34 c INPROCESSING
479.87/481.34 c GARBAGE COLLECT
479.87/481.34 c #Conflicts: 334000 | #Constraints: 13015
479.87/481.34 c #Conflicts: 335000 | #Constraints: 14015
479.87/481.34 c #Conflicts: 336000 | #Constraints: 15015
479.87/481.34 c #Conflicts: 337000 | #Constraints: 16015
479.87/481.34 c #Conflicts: 338000 | #Constraints: 17015
479.87/481.34 c #Conflicts: 339000 | #Constraints: 18015
479.87/481.34 c #Conflicts: 340000 | #Constraints: 19015
479.87/481.34 c #Conflicts: 341000 | #Constraints: 20015
479.87/481.34 c #Conflicts: 342000 | #Constraints: 21015
479.87/481.34 c #Conflicts: 343000 | #Constraints: 22015
479.87/481.34 c #Conflicts: 344000 | #Constraints: 23015
479.87/481.34 c #Conflicts: 345000 | #Constraints: 24015
479.87/481.34 c INPROCESSING
479.87/481.34 c GARBAGE COLLECT
479.87/481.34 c #Conflicts: 346000 | #Constraints: 13415
479.87/481.34 c #Conflicts: 347000 | #Constraints: 14415
479.87/481.34 c #Conflicts: 348000 | #Constraints: 15415
479.87/481.34 c #Conflicts: 349000 | #Constraints: 16415
479.87/481.34 c #Conflicts: 350000 | #Constraints: 17415
479.87/481.34 c #Conflicts: 351000 | #Constraints: 18415
479.87/481.34 c #Conflicts: 352000 | #Constraints: 19415
479.87/481.34 c #Conflicts: 353000 | #Constraints: 20415
479.87/481.34 c #Conflicts: 354000 | #Constraints: 21415
479.87/481.34 c #Conflicts: 355000 | #Constraints: 22415
479.87/481.34 c #Conflicts: 356000 | #Constraints: 23415
479.87/481.34 c #Conflicts: 357000 | #Constraints: 24415
479.87/481.34 c INPROCESSING
479.87/481.34 c GARBAGE COLLECT
479.87/481.34 c #Conflicts: 358000 | #Constraints: 13625
479.87/481.34 c #Conflicts: 359000 | #Constraints: 14625
479.87/481.34 c #Conflicts: 360000 | #Constraints: 15625
479.87/481.34 c #Conflicts: 361000 | #Constraints: 16625
479.87/481.34 c #Conflicts: 362000 | #Constraints: 17625
479.87/481.34 c #Conflicts: 363000 | #Constraints: 18625
479.87/481.34 c #Conflicts: 364000 | #Constraints: 19625
479.87/481.34 c #Conflicts: 365000 | #Constraints: 20625
479.87/481.34 c #Conflicts: 366000 | #Constraints: 21625
479.87/481.34 c #Conflicts: 367000 | #Constraints: 22625
479.87/481.34 c #Conflicts: 368000 | #Constraints: 23625
479.87/481.34 c #Conflicts: 369000 | #Constraints: 24625
479.87/481.34 c INPROCESSING
479.87/481.34 c GARBAGE COLLECT
479.87/481.34 c #Conflicts: 370000 | #Constraints: 13618
479.87/481.34 c #Conflicts: 371000 | #Constraints: 14618
479.87/481.34 c #Conflicts: 372000 | #Constraints: 15618
479.87/481.34 c #Conflicts: 373000 | #Constraints: 16618
479.87/481.34 c #Conflicts: 374000 | #Constraints: 17618
479.87/481.34 c #Conflicts: 375000 | #Constraints: 18618
479.87/481.34 c #Conflicts: 376000 | #Constraints: 19618
479.87/481.34 c #Conflicts: 377000 | #Constraints: 20618
479.87/481.34 c #Conflicts: 378000 | #Constraints: 21618
479.87/481.34 c #Conflicts: 379000 | #Constraints: 22618
479.87/481.34 c #Conflicts: 380000 | #Constraints: 23618
479.87/481.34 c #Conflicts: 381000 | #Constraints: 24618
479.87/481.34 c INPROCESSING
479.87/481.34 c GARBAGE COLLECT
479.87/481.34 c #Conflicts: 382000 | #Constraints: 13422
479.87/481.34 c #Conflicts: 383000 | #Constraints: 14422
610.50/612.31 c #Conflicts: 384000 | #Constraints: 15422
610.50/612.31 c #Conflicts: 385000 | #Constraints: 16422
610.50/612.31 c #Conflicts: 386000 | #Constraints: 17422
610.50/612.31 c #Conflicts: 387000 | #Constraints: 18422
610.50/612.31 c #Conflicts: 388000 | #Constraints: 19422
610.50/612.31 c #Conflicts: 389000 | #Constraints: 20422
610.50/612.31 c #Conflicts: 390000 | #Constraints: 21422
610.50/612.31 c #Conflicts: 391000 | #Constraints: 22422
610.50/612.31 c #Conflicts: 392000 | #Constraints: 23422
610.50/612.31 c #Conflicts: 393000 | #Constraints: 24422
610.50/612.31 c #Conflicts: 394000 | #Constraints: 25422
610.50/612.31 c INPROCESSING
610.50/612.31 c GARBAGE COLLECT
610.50/612.31 c #Conflicts: 395000 | #Constraints: 14025
610.50/612.31 c #Conflicts: 396000 | #Constraints: 15025
610.50/612.31 c #Conflicts: 397000 | #Constraints: 16025
610.50/612.31 c #Conflicts: 398000 | #Constraints: 17025
610.50/612.31 c #Conflicts: 399000 | #Constraints: 18025
610.50/612.31 c #Conflicts: 400000 | #Constraints: 19025
610.50/612.31 c #Conflicts: 401000 | #Constraints: 20025
610.50/612.31 c #Conflicts: 402000 | #Constraints: 21025
610.50/612.31 c #Conflicts: 403000 | #Constraints: 22025
610.50/612.31 c #Conflicts: 404000 | #Constraints: 23025
610.50/612.31 c #Conflicts: 405000 | #Constraints: 24025
610.50/612.31 c #Conflicts: 406000 | #Constraints: 25025
610.50/612.31 c #Conflicts: 407000 | #Constraints: 26025
610.50/612.31 c INPROCESSING
610.50/612.31 c GARBAGE COLLECT
610.50/612.31 c #Conflicts: 408000 | #Constraints: 14428
610.50/612.31 c #Conflicts: 409000 | #Constraints: 15428
610.50/612.31 c #Conflicts: 410000 | #Constraints: 16428
610.50/612.31 c #Conflicts: 411000 | #Constraints: 17428
610.50/612.31 c #Conflicts: 412000 | #Constraints: 18428
610.50/612.31 c #Conflicts: 413000 | #Constraints: 19428
610.50/612.31 c #Conflicts: 414000 | #Constraints: 20428
610.50/612.31 c #Conflicts: 415000 | #Constraints: 21428
610.50/612.31 c #Conflicts: 416000 | #Constraints: 22428
610.50/612.31 c #Conflicts: 417000 | #Constraints: 23428
610.50/612.31 c #Conflicts: 418000 | #Constraints: 24428
610.50/612.31 c #Conflicts: 419000 | #Constraints: 25428
610.50/612.31 c #Conflicts: 420000 | #Constraints: 26428
610.50/612.31 c INPROCESSING
610.50/612.31 c GARBAGE COLLECT
610.50/612.31 c #Conflicts: 421000 | #Constraints: 14627
610.50/612.31 c #Conflicts: 422000 | #Constraints: 15627
610.50/612.31 c #Conflicts: 423000 | #Constraints: 16627
610.50/612.31 c #Conflicts: 424000 | #Constraints: 17627
610.50/612.31 c #Conflicts: 425000 | #Constraints: 18627
610.50/612.31 c #Conflicts: 426000 | #Constraints: 19627
610.50/612.31 c #Conflicts: 427000 | #Constraints: 20627
610.50/612.31 c #Conflicts: 428000 | #Constraints: 21627
610.50/612.31 c #Conflicts: 429000 | #Constraints: 22627
610.50/612.31 c #Conflicts: 430000 | #Constraints: 23627
610.50/612.31 c #Conflicts: 431000 | #Constraints: 24627
610.50/612.31 c #Conflicts: 432000 | #Constraints: 25627
610.50/612.31 c #Conflicts: 433000 | #Constraints: 26627
610.50/612.31 c INPROCESSING
610.50/612.31 c GARBAGE COLLECT
610.50/612.31 c #Conflicts: 434000 | #Constraints: 14631
610.50/612.31 c #Conflicts: 435000 | #Constraints: 15631
610.50/612.31 c #Conflicts: 436000 | #Constraints: 16631
610.50/612.31 c #Conflicts: 437000 | #Constraints: 17631
610.50/612.31 c #Conflicts: 438000 | #Constraints: 18631
610.50/612.31 c #Conflicts: 439000 | #Constraints: 19631
610.50/612.31 c #Conflicts: 440000 | #Constraints: 20631
610.50/612.31 c #Conflicts: 441000 | #Constraints: 21631
610.50/612.31 c #Conflicts: 442000 | #Constraints: 22631
610.50/612.31 c #Conflicts: 443000 | #Constraints: 23631
610.50/612.31 c #Conflicts: 444000 | #Constraints: 24631
610.50/612.31 c #Conflicts: 445000 | #Constraints: 25631
610.50/612.31 c #Conflicts: 446000 | #Constraints: 26631
610.50/612.31 c INPROCESSING
610.50/612.31 c GARBAGE COLLECT
610.50/612.31 c #Conflicts: 447000 | #Constraints: 14430
610.50/612.31 c #Conflicts: 448000 | #Constraints: 15430
610.50/612.31 c #Conflicts: 449000 | #Constraints: 16430
610.50/612.31 c #Conflicts: 450000 | #Constraints: 17430
610.50/612.31 c #Conflicts: 451000 | #Constraints: 18430
610.50/612.31 c #Conflicts: 452000 | #Constraints: 19430
610.50/612.31 c #Conflicts: 453000 | #Constraints: 20430
610.50/612.31 c #Conflicts: 454000 | #Constraints: 21430
610.50/612.31 c #Conflicts: 455000 | #Constraints: 22430
610.50/612.31 c #Conflicts: 456000 | #Constraints: 23430
610.50/612.31 c #Conflicts: 457000 | #Constraints: 24430
610.50/612.31 c #Conflicts: 458000 | #Constraints: 25430
745.41/747.63 c #Conflicts: 459000 | #Constraints: 26430
745.41/747.63 c #Conflicts: 460000 | #Constraints: 27430
745.41/747.63 c INPROCESSING
745.41/747.63 c GARBAGE COLLECT
745.41/747.63 c #Conflicts: 461000 | #Constraints: 15034
745.41/747.63 c #Conflicts: 462000 | #Constraints: 16034
745.41/747.63 c #Conflicts: 463000 | #Constraints: 17034
745.41/747.63 c #Conflicts: 464000 | #Constraints: 18034
745.41/747.63 c #Conflicts: 465000 | #Constraints: 19034
745.41/747.63 c #Conflicts: 466000 | #Constraints: 20034
745.41/747.63 c #Conflicts: 467000 | #Constraints: 21034
745.41/747.63 c #Conflicts: 468000 | #Constraints: 22034
745.41/747.63 c #Conflicts: 469000 | #Constraints: 23034
745.41/747.63 c #Conflicts: 470000 | #Constraints: 24034
745.41/747.63 c #Conflicts: 471000 | #Constraints: 25034
745.41/747.63 c #Conflicts: 472000 | #Constraints: 26034
745.41/747.63 c #Conflicts: 473000 | #Constraints: 27034
745.41/747.63 c #Conflicts: 474000 | #Constraints: 28034
745.41/747.63 c INPROCESSING
745.41/747.63 c GARBAGE COLLECT
745.41/747.63 c #Conflicts: 475000 | #Constraints: 15420
745.41/747.63 c #Conflicts: 476000 | #Constraints: 16420
745.41/747.63 c #Conflicts: 477000 | #Constraints: 17420
745.41/747.63 c #Conflicts: 478000 | #Constraints: 18420
745.41/747.63 c #Conflicts: 479000 | #Constraints: 19420
745.41/747.63 c #Conflicts: 480000 | #Constraints: 20420
745.41/747.63 c #Conflicts: 481000 | #Constraints: 21420
745.41/747.63 c #Conflicts: 482000 | #Constraints: 22420
745.41/747.63 c #Conflicts: 483000 | #Constraints: 23420
745.41/747.63 c #Conflicts: 484000 | #Constraints: 24420
745.41/747.63 c #Conflicts: 485000 | #Constraints: 25420
745.41/747.63 c #Conflicts: 486000 | #Constraints: 26420
745.41/747.63 c #Conflicts: 487000 | #Constraints: 27420
745.41/747.63 c #Conflicts: 488000 | #Constraints: 28420
745.41/747.63 c INPROCESSING
745.41/747.63 c GARBAGE COLLECT
745.41/747.63 c #Conflicts: 489000 | #Constraints: 15623
745.41/747.63 c #Conflicts: 490000 | #Constraints: 16623
745.41/747.63 c #Conflicts: 491000 | #Constraints: 17623
745.41/747.63 c #Conflicts: 492000 | #Constraints: 18623
745.41/747.63 c #Conflicts: 493000 | #Constraints: 19623
745.41/747.63 c #Conflicts: 494000 | #Constraints: 20623
745.41/747.63 c #Conflicts: 495000 | #Constraints: 21623
745.41/747.63 c #Conflicts: 496000 | #Constraints: 22623
745.41/747.63 c #Conflicts: 497000 | #Constraints: 23623
745.41/747.63 c #Conflicts: 498000 | #Constraints: 24623
745.41/747.63 c #Conflicts: 499000 | #Constraints: 25623
745.41/747.63 c #Conflicts: 500000 | #Constraints: 26623
745.41/747.63 c #Conflicts: 501000 | #Constraints: 27623
745.41/747.63 c #Conflicts: 502000 | #Constraints: 28623
745.41/747.63 c INPROCESSING
745.41/747.63 c GARBAGE COLLECT
745.41/747.63 c #Conflicts: 503000 | #Constraints: 15622
745.41/747.63 c #Conflicts: 504000 | #Constraints: 16622
745.41/747.63 c #Conflicts: 505000 | #Constraints: 17622
745.41/747.63 c #Conflicts: 506000 | #Constraints: 18622
745.41/747.63 c #Conflicts: 507000 | #Constraints: 19622
745.41/747.63 c #Conflicts: 508000 | #Constraints: 20622
745.41/747.63 c #Conflicts: 509000 | #Constraints: 21622
745.41/747.63 c #Conflicts: 510000 | #Constraints: 22622
745.41/747.63 c #Conflicts: 511000 | #Constraints: 23622
745.41/747.63 c #Conflicts: 512000 | #Constraints: 24622
745.41/747.63 c #Conflicts: 513000 | #Constraints: 25622
745.41/747.63 c #Conflicts: 514000 | #Constraints: 26622
745.41/747.63 c #Conflicts: 515000 | #Constraints: 27622
745.41/747.63 c #Conflicts: 516000 | #Constraints: 28622
745.41/747.63 c INPROCESSING
745.41/747.63 c GARBAGE COLLECT
745.41/747.63 c #Conflicts: 517000 | #Constraints: 15417
745.41/747.63 c #Conflicts: 518000 | #Constraints: 16417
745.41/747.63 c #Conflicts: 519000 | #Constraints: 17417
745.41/747.63 c #Conflicts: 520000 | #Constraints: 18417
745.41/747.63 c #Conflicts: 521000 | #Constraints: 19417
745.41/747.63 c #Conflicts: 522000 | #Constraints: 20417
745.41/747.63 c #Conflicts: 523000 | #Constraints: 21417
745.41/747.63 c #Conflicts: 524000 | #Constraints: 22417
745.41/747.63 c #Conflicts: 525000 | #Constraints: 23417
745.41/747.63 c #Conflicts: 526000 | #Constraints: 24417
745.41/747.63 c #Conflicts: 527000 | #Constraints: 25417
745.41/747.63 c #Conflicts: 528000 | #Constraints: 26417
745.41/747.63 c #Conflicts: 529000 | #Constraints: 27417
745.41/747.63 c #Conflicts: 530000 | #Constraints: 28417
745.41/747.63 c #Conflicts: 531000 | #Constraints: 29417
745.41/747.63 c INPROCESSING
745.41/747.63 c GARBAGE COLLECT
745.41/747.63 c #Conflicts: 532000 | #Constraints: 16027
745.41/747.63 c #Conflicts: 533000 | #Constraints: 17027
907.55/910.28 c #Conflicts: 534000 | #Constraints: 18027
907.55/910.28 c #Conflicts: 535000 | #Constraints: 19027
907.55/910.28 c #Conflicts: 536000 | #Constraints: 20027
907.55/910.28 c #Conflicts: 537000 | #Constraints: 21027
907.55/910.28 c #Conflicts: 538000 | #Constraints: 22027
907.55/910.28 c #Conflicts: 539000 | #Constraints: 23027
907.55/910.28 c #Conflicts: 540000 | #Constraints: 24027
907.55/910.28 c #Conflicts: 541000 | #Constraints: 25027
907.55/910.28 c #Conflicts: 542000 | #Constraints: 26027
907.55/910.28 c #Conflicts: 543000 | #Constraints: 27027
907.55/910.28 c #Conflicts: 544000 | #Constraints: 28027
907.55/910.28 c #Conflicts: 545000 | #Constraints: 29027
907.55/910.28 c #Conflicts: 546000 | #Constraints: 30027
907.55/910.28 c INPROCESSING
907.55/910.28 c GARBAGE COLLECT
907.55/910.28 c #Conflicts: 547000 | #Constraints: 16432
907.55/910.28 c #Conflicts: 548000 | #Constraints: 17432
907.55/910.28 c #Conflicts: 549000 | #Constraints: 18432
907.55/910.28 c #Conflicts: 550000 | #Constraints: 19432
907.55/910.28 c #Conflicts: 551000 | #Constraints: 20432
907.55/910.28 c #Conflicts: 552000 | #Constraints: 21432
907.55/910.28 c #Conflicts: 553000 | #Constraints: 22432
907.55/910.28 c #Conflicts: 554000 | #Constraints: 23432
907.55/910.28 c #Conflicts: 555000 | #Constraints: 24432
907.55/910.28 c #Conflicts: 556000 | #Constraints: 25432
907.55/910.28 c #Conflicts: 557000 | #Constraints: 26432
907.55/910.28 c #Conflicts: 558000 | #Constraints: 27432
907.55/910.28 c #Conflicts: 559000 | #Constraints: 28432
907.55/910.28 c #Conflicts: 560000 | #Constraints: 29432
907.55/910.28 c #Conflicts: 561000 | #Constraints: 30432
907.55/910.28 c INPROCESSING
907.55/910.28 c GARBAGE COLLECT
907.55/910.28 c #Conflicts: 562000 | #Constraints: 16632
907.55/910.28 c #Conflicts: 563000 | #Constraints: 17632
907.55/910.28 c #Conflicts: 564000 | #Constraints: 18632
907.55/910.28 c #Conflicts: 565000 | #Constraints: 19632
907.55/910.28 c #Conflicts: 566000 | #Constraints: 20632
907.55/910.28 c #Conflicts: 567000 | #Constraints: 21632
907.55/910.28 c #Conflicts: 568000 | #Constraints: 22632
907.55/910.28 c #Conflicts: 569000 | #Constraints: 23632
907.55/910.28 c #Conflicts: 570000 | #Constraints: 24632
907.55/910.28 c #Conflicts: 571000 | #Constraints: 25632
907.55/910.28 c #Conflicts: 572000 | #Constraints: 26632
907.55/910.28 c #Conflicts: 573000 | #Constraints: 27632
907.55/910.28 c #Conflicts: 574000 | #Constraints: 28632
907.55/910.28 c #Conflicts: 575000 | #Constraints: 29632
907.55/910.28 c #Conflicts: 576000 | #Constraints: 30632
907.55/910.28 c INPROCESSING
907.55/910.28 c GARBAGE COLLECT
907.55/910.28 c #Conflicts: 577000 | #Constraints: 16631
907.55/910.28 c #Conflicts: 578000 | #Constraints: 17631
907.55/910.28 c #Conflicts: 579000 | #Constraints: 18631
907.55/910.28 c #Conflicts: 580000 | #Constraints: 19631
907.55/910.28 c #Conflicts: 581000 | #Constraints: 20631
907.55/910.28 c #Conflicts: 582000 | #Constraints: 21631
907.55/910.28 c #Conflicts: 583000 | #Constraints: 22631
907.55/910.28 c #Conflicts: 584000 | #Constraints: 23631
907.55/910.28 c #Conflicts: 585000 | #Constraints: 24631
907.55/910.28 c #Conflicts: 586000 | #Constraints: 25631
907.55/910.28 c #Conflicts: 587000 | #Constraints: 26631
907.55/910.28 c #Conflicts: 588000 | #Constraints: 27631
907.55/910.28 c #Conflicts: 589000 | #Constraints: 28631
907.55/910.28 c #Conflicts: 590000 | #Constraints: 29631
907.55/910.28 c #Conflicts: 591000 | #Constraints: 30631
907.55/910.28 c INPROCESSING
907.55/910.28 c GARBAGE COLLECT
907.55/910.28 c #Conflicts: 592000 | #Constraints: 16440
907.55/910.28 c #Conflicts: 593000 | #Constraints: 17440
907.55/910.28 c #Conflicts: 594000 | #Constraints: 18440
907.55/910.28 c #Conflicts: 595000 | #Constraints: 19440
907.55/910.28 c #Conflicts: 596000 | #Constraints: 20440
907.55/910.28 c #Conflicts: 597000 | #Constraints: 21440
907.55/910.28 c #Conflicts: 598000 | #Constraints: 22440
907.55/910.28 c #Conflicts: 599000 | #Constraints: 23440
907.55/910.28 c #Conflicts: 600000 | #Constraints: 24440
907.55/910.28 c #Conflicts: 601000 | #Constraints: 25440
907.55/910.28 c #Conflicts: 602000 | #Constraints: 26440
907.55/910.28 c #Conflicts: 603000 | #Constraints: 27440
907.55/910.28 c #Conflicts: 604000 | #Constraints: 28440
907.55/910.28 c #Conflicts: 605000 | #Constraints: 29440
907.55/910.28 c #Conflicts: 606000 | #Constraints: 30440
907.55/910.28 c #Conflicts: 607000 | #Constraints: 31440
907.55/910.28 c INPROCESSING
907.55/910.28 c GARBAGE COLLECT
907.55/910.28 c #Conflicts: 608000 | #Constraints: 17031
907.55/910.28 c #Conflicts: 609000 | #Constraints: 18031
1084.15/1087.30 c #Conflicts: 610000 | #Constraints: 19031
1084.15/1087.30 c #Conflicts: 611000 | #Constraints: 20031
1084.15/1087.30 c #Conflicts: 612000 | #Constraints: 21031
1084.15/1087.30 c #Conflicts: 613000 | #Constraints: 22031
1084.15/1087.30 c #Conflicts: 614000 | #Constraints: 23031
1084.15/1087.30 c #Conflicts: 615000 | #Constraints: 24031
1084.15/1087.30 c #Conflicts: 616000 | #Constraints: 25031
1084.15/1087.30 c #Conflicts: 617000 | #Constraints: 26031
1084.15/1087.30 c #Conflicts: 618000 | #Constraints: 27031
1084.15/1087.30 c #Conflicts: 619000 | #Constraints: 28031
1084.15/1087.30 c #Conflicts: 620000 | #Constraints: 29031
1084.15/1087.30 c #Conflicts: 621000 | #Constraints: 30031
1084.15/1087.30 c #Conflicts: 622000 | #Constraints: 31031
1084.15/1087.30 c #Conflicts: 623000 | #Constraints: 32031
1084.15/1087.30 c INPROCESSING
1084.15/1087.30 c GARBAGE COLLECT
1084.15/1087.30 c #Conflicts: 624000 | #Constraints: 17430
1084.15/1087.30 c #Conflicts: 625000 | #Constraints: 18430
1084.15/1087.30 c #Conflicts: 626000 | #Constraints: 19430
1084.15/1087.30 c #Conflicts: 627000 | #Constraints: 20430
1084.15/1087.30 c #Conflicts: 628000 | #Constraints: 21430
1084.15/1087.30 c #Conflicts: 629000 | #Constraints: 22430
1084.15/1087.30 c #Conflicts: 630000 | #Constraints: 23430
1084.15/1087.30 c #Conflicts: 631000 | #Constraints: 24430
1084.15/1087.30 c #Conflicts: 632000 | #Constraints: 25430
1084.15/1087.30 c #Conflicts: 633000 | #Constraints: 26430
1084.15/1087.30 c #Conflicts: 634000 | #Constraints: 27430
1084.15/1087.30 c #Conflicts: 635000 | #Constraints: 28430
1084.15/1087.30 c #Conflicts: 636000 | #Constraints: 29430
1084.15/1087.30 c #Conflicts: 637000 | #Constraints: 30430
1084.15/1087.30 c #Conflicts: 638000 | #Constraints: 31430
1084.15/1087.30 c #Conflicts: 639000 | #Constraints: 32430
1084.15/1087.30 c INPROCESSING
1084.15/1087.30 c GARBAGE COLLECT
1084.15/1087.30 c #Conflicts: 640000 | #Constraints: 17626
1084.15/1087.30 c #Conflicts: 641000 | #Constraints: 18626
1084.15/1087.30 c #Conflicts: 642000 | #Constraints: 19626
1084.15/1087.30 c #Conflicts: 643000 | #Constraints: 20626
1084.15/1087.30 c #Conflicts: 644000 | #Constraints: 21626
1084.15/1087.30 c #Conflicts: 645000 | #Constraints: 22626
1084.15/1087.30 c #Conflicts: 646000 | #Constraints: 23626
1084.15/1087.30 c #Conflicts: 647000 | #Constraints: 24626
1084.15/1087.30 c #Conflicts: 648000 | #Constraints: 25626
1084.15/1087.30 c #Conflicts: 649000 | #Constraints: 26626
1084.15/1087.30 c #Conflicts: 650000 | #Constraints: 27626
1084.15/1087.30 c #Conflicts: 651000 | #Constraints: 28626
1084.15/1087.30 c #Conflicts: 652000 | #Constraints: 29626
1084.15/1087.30 c #Conflicts: 653000 | #Constraints: 30626
1084.15/1087.30 c #Conflicts: 654000 | #Constraints: 31626
1084.15/1087.30 c #Conflicts: 655000 | #Constraints: 32626
1084.15/1087.30 c INPROCESSING
1084.15/1087.30 c GARBAGE COLLECT
1084.15/1087.30 c #Conflicts: 656000 | #Constraints: 17626
1084.15/1087.30 c #Conflicts: 657000 | #Constraints: 18626
1084.15/1087.30 c #Conflicts: 658000 | #Constraints: 19626
1084.15/1087.30 c #Conflicts: 659000 | #Constraints: 20626
1084.15/1087.30 c #Conflicts: 660000 | #Constraints: 21626
1084.15/1087.30 c #Conflicts: 661000 | #Constraints: 22626
1084.15/1087.30 c #Conflicts: 662000 | #Constraints: 23626
1084.15/1087.30 c #Conflicts: 663000 | #Constraints: 24626
1084.15/1087.30 c #Conflicts: 664000 | #Constraints: 25626
1084.15/1087.30 c #Conflicts: 665000 | #Constraints: 26626
1084.15/1087.30 c #Conflicts: 666000 | #Constraints: 27626
1084.15/1087.30 c #Conflicts: 667000 | #Constraints: 28626
1084.15/1087.30 c #Conflicts: 668000 | #Constraints: 29626
1084.15/1087.30 c #Conflicts: 669000 | #Constraints: 30626
1084.15/1087.30 c #Conflicts: 670000 | #Constraints: 31626
1084.15/1087.30 c #Conflicts: 671000 | #Constraints: 32626
1084.15/1087.30 c INPROCESSING
1084.15/1087.30 c GARBAGE COLLECT
1084.15/1087.30 c #Conflicts: 672000 | #Constraints: 17432
1084.15/1087.30 c #Conflicts: 673000 | #Constraints: 18432
1084.15/1087.30 c #Conflicts: 674000 | #Constraints: 19432
1084.15/1087.30 c #Conflicts: 675000 | #Constraints: 20432
1084.15/1087.30 c #Conflicts: 676000 | #Constraints: 21432
1084.15/1087.30 c #Conflicts: 677000 | #Constraints: 22432
1084.15/1087.30 c #Conflicts: 678000 | #Constraints: 23432
1084.15/1087.30 c #Conflicts: 679000 | #Constraints: 24432
1084.15/1087.30 c #Conflicts: 680000 | #Constraints: 25432
1084.15/1087.30 c #Conflicts: 681000 | #Constraints: 26432
1084.15/1087.30 c #Conflicts: 682000 | #Constraints: 27432
1084.15/1087.30 c #Conflicts: 683000 | #Constraints: 28432
1084.15/1087.30 c #Conflicts: 684000 | #Constraints: 29432
1084.15/1087.30 c #Conflicts: 685000 | #Constraints: 30432
1262.67/1266.41 c #Conflicts: 686000 | #Constraints: 31432
1262.67/1266.41 c #Conflicts: 687000 | #Constraints: 32432
1262.67/1266.41 c #Conflicts: 688000 | #Constraints: 33432
1262.67/1266.41 c INPROCESSING
1262.67/1266.41 c GARBAGE COLLECT
1262.67/1266.41 c #Conflicts: 689000 | #Constraints: 18036
1262.67/1266.41 c #Conflicts: 690000 | #Constraints: 19036
1262.67/1266.41 c #Conflicts: 691000 | #Constraints: 20036
1262.67/1266.41 c #Conflicts: 692000 | #Constraints: 21036
1262.67/1266.41 c #Conflicts: 693000 | #Constraints: 22036
1262.67/1266.41 c #Conflicts: 694000 | #Constraints: 23036
1262.67/1266.41 c #Conflicts: 695000 | #Constraints: 24036
1262.67/1266.41 c #Conflicts: 696000 | #Constraints: 25036
1262.67/1266.41 c #Conflicts: 697000 | #Constraints: 26036
1262.67/1266.41 c #Conflicts: 698000 | #Constraints: 27036
1262.67/1266.41 c #Conflicts: 699000 | #Constraints: 28036
1262.67/1266.41 c #Conflicts: 700000 | #Constraints: 29036
1262.67/1266.41 c #Conflicts: 701000 | #Constraints: 30036
1262.67/1266.41 c #Conflicts: 702000 | #Constraints: 31036
1262.67/1266.41 c #Conflicts: 703000 | #Constraints: 32036
1262.67/1266.41 c #Conflicts: 704000 | #Constraints: 33036
1262.67/1266.41 c #Conflicts: 705000 | #Constraints: 34036
1262.67/1266.41 c INPROCESSING
1262.67/1266.41 c GARBAGE COLLECT
1262.67/1266.41 c #Conflicts: 706000 | #Constraints: 18442
1262.67/1266.41 c #Conflicts: 707000 | #Constraints: 19442
1262.67/1266.41 c #Conflicts: 708000 | #Constraints: 20442
1262.67/1266.41 c #Conflicts: 709000 | #Constraints: 21442
1262.67/1266.41 c #Conflicts: 710000 | #Constraints: 22442
1262.67/1266.41 c #Conflicts: 711000 | #Constraints: 23442
1262.67/1266.41 c #Conflicts: 712000 | #Constraints: 24442
1262.67/1266.41 c #Conflicts: 713000 | #Constraints: 25442
1262.67/1266.41 c #Conflicts: 714000 | #Constraints: 26442
1262.67/1266.41 c #Conflicts: 715000 | #Constraints: 27442
1262.67/1266.41 c #Conflicts: 716000 | #Constraints: 28442
1262.67/1266.41 c #Conflicts: 717000 | #Constraints: 29442
1262.67/1266.41 c #Conflicts: 718000 | #Constraints: 30442
1262.67/1266.41 c #Conflicts: 719000 | #Constraints: 31442
1262.67/1266.41 c #Conflicts: 720000 | #Constraints: 32442
1262.67/1266.41 c #Conflicts: 721000 | #Constraints: 33442
1262.67/1266.41 c #Conflicts: 722000 | #Constraints: 34442
1262.67/1266.41 c INPROCESSING
1262.67/1266.41 c GARBAGE COLLECT
1262.67/1266.41 c #Conflicts: 723000 | #Constraints: 18640
1262.67/1266.41 c #Conflicts: 724000 | #Constraints: 19640
1262.67/1266.41 c #Conflicts: 725000 | #Constraints: 20640
1262.67/1266.41 c #Conflicts: 726000 | #Constraints: 21640
1262.67/1266.41 c #Conflicts: 727000 | #Constraints: 22640
1262.67/1266.41 c #Conflicts: 728000 | #Constraints: 23640
1262.67/1266.41 c #Conflicts: 729000 | #Constraints: 24640
1262.67/1266.41 c #Conflicts: 730000 | #Constraints: 25640
1262.67/1266.41 c #Conflicts: 731000 | #Constraints: 26640
1262.67/1266.41 c #Conflicts: 732000 | #Constraints: 27640
1262.67/1266.41 c #Conflicts: 733000 | #Constraints: 28640
1262.67/1266.41 c #Conflicts: 734000 | #Constraints: 29640
1262.67/1266.41 c #Conflicts: 735000 | #Constraints: 30640
1262.67/1266.41 c #Conflicts: 736000 | #Constraints: 31640
1262.67/1266.41 c #Conflicts: 737000 | #Constraints: 32640
1262.67/1266.41 c #Conflicts: 738000 | #Constraints: 33640
1262.67/1266.41 c #Conflicts: 739000 | #Constraints: 34640
1262.67/1266.41 c INPROCESSING
1262.67/1266.41 c GARBAGE COLLECT
1262.67/1266.41 c #Conflicts: 740000 | #Constraints: 18637
1262.67/1266.41 c #Conflicts: 741000 | #Constraints: 19637
1262.67/1266.41 c #Conflicts: 742000 | #Constraints: 20637
1262.67/1266.41 c #Conflicts: 743000 | #Constraints: 21637
1262.67/1266.41 c #Conflicts: 744000 | #Constraints: 22637
1262.67/1266.41 c #Conflicts: 745000 | #Constraints: 23637
1262.67/1266.41 c #Conflicts: 746000 | #Constraints: 24637
1262.67/1266.41 c #Conflicts: 747000 | #Constraints: 25637
1262.67/1266.41 c #Conflicts: 748000 | #Constraints: 26637
1262.67/1266.41 c #Conflicts: 749000 | #Constraints: 27637
1262.67/1266.41 c #Conflicts: 750000 | #Constraints: 28637
1262.67/1266.41 c #Conflicts: 751000 | #Constraints: 29637
1262.67/1266.41 c #Conflicts: 752000 | #Constraints: 30637
1262.67/1266.41 c #Conflicts: 753000 | #Constraints: 31637
1262.67/1266.41 c #Conflicts: 754000 | #Constraints: 32637
1262.67/1266.41 c #Conflicts: 755000 | #Constraints: 33637
1262.67/1266.41 c #Conflicts: 756000 | #Constraints: 34637
1262.67/1266.41 c INPROCESSING
1262.67/1266.41 c GARBAGE COLLECT
1262.67/1266.41 c #Conflicts: 757000 | #Constraints: 18430
1262.67/1266.41 c #Conflicts: 758000 | #Constraints: 19430
1262.67/1266.41 c #Conflicts: 759000 | #Constraints: 20430
1262.67/1266.41 c #Conflicts: 760000 | #Constraints: 21430
1262.67/1266.41 c #Conflicts: 761000 | #Constraints: 22430
1460.88/1465.22 c #Conflicts: 762000 | #Constraints: 23430
1460.88/1465.22 c #Conflicts: 763000 | #Constraints: 24430
1460.88/1465.22 c #Conflicts: 764000 | #Constraints: 25430
1460.88/1465.22 c #Conflicts: 765000 | #Constraints: 26430
1460.88/1465.22 c #Conflicts: 766000 | #Constraints: 27430
1460.88/1465.22 c #Conflicts: 767000 | #Constraints: 28430
1460.88/1465.22 c #Conflicts: 768000 | #Constraints: 29430
1460.88/1465.22 c #Conflicts: 769000 | #Constraints: 30430
1460.88/1465.22 c #Conflicts: 770000 | #Constraints: 31430
1460.88/1465.22 c #Conflicts: 771000 | #Constraints: 32430
1460.88/1465.22 c #Conflicts: 772000 | #Constraints: 33430
1460.88/1465.22 c #Conflicts: 773000 | #Constraints: 34430
1460.88/1465.22 c #Conflicts: 774000 | #Constraints: 35430
1460.88/1465.22 c INPROCESSING
1460.88/1465.22 c GARBAGE COLLECT
1460.88/1465.22 c #Conflicts: 775000 | #Constraints: 19035
1460.88/1465.22 c #Conflicts: 776000 | #Constraints: 20035
1460.88/1465.22 c #Conflicts: 777000 | #Constraints: 21035
1460.88/1465.22 c #Conflicts: 778000 | #Constraints: 22035
1460.88/1465.22 c #Conflicts: 779000 | #Constraints: 23035
1460.88/1465.22 c #Conflicts: 780000 | #Constraints: 24035
1460.88/1465.22 c #Conflicts: 781000 | #Constraints: 25035
1460.88/1465.22 c #Conflicts: 782000 | #Constraints: 26035
1460.88/1465.22 c #Conflicts: 783000 | #Constraints: 27035
1460.88/1465.22 c #Conflicts: 784000 | #Constraints: 28035
1460.88/1465.22 c #Conflicts: 785000 | #Constraints: 29035
1460.88/1465.22 c #Conflicts: 786000 | #Constraints: 30035
1460.88/1465.22 c #Conflicts: 787000 | #Constraints: 31035
1460.88/1465.22 c #Conflicts: 788000 | #Constraints: 32035
1460.88/1465.22 c #Conflicts: 789000 | #Constraints: 33035
1460.88/1465.22 c #Conflicts: 790000 | #Constraints: 34035
1460.88/1465.22 c #Conflicts: 791000 | #Constraints: 35035
1460.88/1465.22 c #Conflicts: 792000 | #Constraints: 36035
1460.88/1465.22 c INPROCESSING
1460.88/1465.22 c GARBAGE COLLECT
1460.88/1465.22 c #Conflicts: 793000 | #Constraints: 19444
1460.88/1465.22 c #Conflicts: 794000 | #Constraints: 20444
1460.88/1465.22 c #Conflicts: 795000 | #Constraints: 21444
1460.88/1465.22 c #Conflicts: 796000 | #Constraints: 22444
1460.88/1465.22 c #Conflicts: 797000 | #Constraints: 23444
1460.88/1465.22 c #Conflicts: 798000 | #Constraints: 24444
1460.88/1465.22 c #Conflicts: 799000 | #Constraints: 25444
1460.88/1465.22 c #Conflicts: 800000 | #Constraints: 26444
1460.88/1465.22 c #Conflicts: 801000 | #Constraints: 27444
1460.88/1465.22 c #Conflicts: 802000 | #Constraints: 28444
1460.88/1465.22 c #Conflicts: 803000 | #Constraints: 29444
1460.88/1465.22 c #Conflicts: 804000 | #Constraints: 30444
1460.88/1465.22 c #Conflicts: 805000 | #Constraints: 31444
1460.88/1465.22 c #Conflicts: 806000 | #Constraints: 32444
1460.88/1465.22 c #Conflicts: 807000 | #Constraints: 33444
1460.88/1465.22 c #Conflicts: 808000 | #Constraints: 34444
1460.88/1465.22 c #Conflicts: 809000 | #Constraints: 35444
1460.88/1465.22 c #Conflicts: 810000 | #Constraints: 36444
1460.88/1465.22 c INPROCESSING
1460.88/1465.22 c GARBAGE COLLECT
1460.88/1465.22 c #Conflicts: 811000 | #Constraints: 19645
1460.88/1465.22 c #Conflicts: 812000 | #Constraints: 20645
1460.88/1465.22 c #Conflicts: 813000 | #Constraints: 21645
1460.88/1465.22 c #Conflicts: 814000 | #Constraints: 22645
1460.88/1465.22 c #Conflicts: 815000 | #Constraints: 23645
1460.88/1465.22 c #Conflicts: 816000 | #Constraints: 24645
1460.88/1465.22 c #Conflicts: 817000 | #Constraints: 25645
1460.88/1465.22 c #Conflicts: 818000 | #Constraints: 26645
1460.88/1465.22 c #Conflicts: 819000 | #Constraints: 27645
1460.88/1465.22 c #Conflicts: 820000 | #Constraints: 28645
1460.88/1465.22 c #Conflicts: 821000 | #Constraints: 29645
1460.88/1465.22 c #Conflicts: 822000 | #Constraints: 30645
1460.88/1465.22 c #Conflicts: 823000 | #Constraints: 31645
1460.88/1465.22 c #Conflicts: 824000 | #Constraints: 32645
1460.88/1465.22 c #Conflicts: 825000 | #Constraints: 33645
1460.88/1465.22 c #Conflicts: 826000 | #Constraints: 34645
1460.88/1465.22 c #Conflicts: 827000 | #Constraints: 35645
1460.88/1465.22 c #Conflicts: 828000 | #Constraints: 36645
1460.88/1465.22 c INPROCESSING
1460.88/1465.22 c GARBAGE COLLECT
1460.88/1465.22 c #Conflicts: 829000 | #Constraints: 19640
1460.88/1465.22 c #Conflicts: 830000 | #Constraints: 20640
1460.88/1465.22 c #Conflicts: 831000 | #Constraints: 21640
1460.88/1465.22 c #Conflicts: 832000 | #Constraints: 22640
1460.88/1465.22 c #Conflicts: 833000 | #Constraints: 23640
1460.88/1465.22 c #Conflicts: 834000 | #Constraints: 24640
1460.88/1465.22 c #Conflicts: 835000 | #Constraints: 25640
1460.88/1465.22 c #Conflicts: 836000 | #Constraints: 26640
1460.88/1465.22 c #Conflicts: 837000 | #Constraints: 27640
1673.57/1678.54 c #Conflicts: 838000 | #Constraints: 28640
1673.57/1678.54 c #Conflicts: 839000 | #Constraints: 29640
1673.57/1678.54 c #Conflicts: 840000 | #Constraints: 30640
1673.57/1678.54 c #Conflicts: 841000 | #Constraints: 31640
1673.57/1678.54 c #Conflicts: 842000 | #Constraints: 32640
1673.57/1678.54 c #Conflicts: 843000 | #Constraints: 33640
1673.57/1678.54 c #Conflicts: 844000 | #Constraints: 34640
1673.57/1678.54 c #Conflicts: 845000 | #Constraints: 35640
1673.57/1678.54 c #Conflicts: 846000 | #Constraints: 36640
1673.57/1678.54 c INPROCESSING
1673.57/1678.54 c GARBAGE COLLECT
1673.57/1678.54 c #Conflicts: 847000 | #Constraints: 19450
1673.57/1678.54 c #Conflicts: 848000 | #Constraints: 20450
1673.57/1678.54 c #Conflicts: 849000 | #Constraints: 21450
1673.57/1678.54 c #Conflicts: 850000 | #Constraints: 22450
1673.57/1678.54 c #Conflicts: 851000 | #Constraints: 23450
1673.57/1678.54 c #Conflicts: 852000 | #Constraints: 24450
1673.57/1678.54 c #Conflicts: 853000 | #Constraints: 25450
1673.57/1678.54 c #Conflicts: 854000 | #Constraints: 26450
1673.57/1678.54 c #Conflicts: 855000 | #Constraints: 27450
1673.57/1678.54 c #Conflicts: 856000 | #Constraints: 28450
1673.57/1678.54 c #Conflicts: 857000 | #Constraints: 29450
1673.57/1678.54 c #Conflicts: 858000 | #Constraints: 30450
1673.57/1678.54 c #Conflicts: 859000 | #Constraints: 31450
1673.57/1678.54 c #Conflicts: 860000 | #Constraints: 32450
1673.57/1678.54 c #Conflicts: 861000 | #Constraints: 33450
1673.57/1678.54 c #Conflicts: 862000 | #Constraints: 34450
1673.57/1678.54 c #Conflicts: 863000 | #Constraints: 35450
1673.57/1678.54 c #Conflicts: 864000 | #Constraints: 36450
1673.57/1678.54 c #Conflicts: 865000 | #Constraints: 37450
1673.57/1678.54 c INPROCESSING
1673.57/1678.54 c GARBAGE COLLECT
1673.57/1678.54 c #Conflicts: 866000 | #Constraints: 20050
1673.57/1678.54 c #Conflicts: 867000 | #Constraints: 21050
1673.57/1678.54 c #Conflicts: 868000 | #Constraints: 22050
1673.57/1678.54 c #Conflicts: 869000 | #Constraints: 23050
1673.57/1678.54 c #Conflicts: 870000 | #Constraints: 24050
1673.57/1678.54 c #Conflicts: 871000 | #Constraints: 25050
1673.57/1678.54 c #Conflicts: 872000 | #Constraints: 26050
1673.57/1678.54 c #Conflicts: 873000 | #Constraints: 27050
1673.57/1678.54 c #Conflicts: 874000 | #Constraints: 28050
1673.57/1678.54 c #Conflicts: 875000 | #Constraints: 29050
1673.57/1678.54 c #Conflicts: 876000 | #Constraints: 30050
1673.57/1678.54 c #Conflicts: 877000 | #Constraints: 31050
1673.57/1678.54 c #Conflicts: 878000 | #Constraints: 32050
1673.57/1678.54 c #Conflicts: 879000 | #Constraints: 33050
1673.57/1678.54 c #Conflicts: 880000 | #Constraints: 34050
1673.57/1678.54 c #Conflicts: 881000 | #Constraints: 35050
1673.57/1678.54 c #Conflicts: 882000 | #Constraints: 36050
1673.57/1678.54 c #Conflicts: 883000 | #Constraints: 37050
1673.57/1678.54 c #Conflicts: 884000 | #Constraints: 38050
1673.57/1678.54 c INPROCESSING
1673.57/1678.54 c GARBAGE COLLECT
1673.57/1678.54 c #Conflicts: 885000 | #Constraints: 20446
1673.57/1678.54 c #Conflicts: 886000 | #Constraints: 21446
1673.57/1678.54 c #Conflicts: 887000 | #Constraints: 22446
1673.57/1678.54 c #Conflicts: 888000 | #Constraints: 23446
1673.57/1678.54 c #Conflicts: 889000 | #Constraints: 24446
1673.57/1678.54 c #Conflicts: 890000 | #Constraints: 25446
1673.57/1678.54 c #Conflicts: 891000 | #Constraints: 26446
1673.57/1678.54 c #Conflicts: 892000 | #Constraints: 27446
1673.57/1678.54 c #Conflicts: 893000 | #Constraints: 28446
1673.57/1678.54 c #Conflicts: 894000 | #Constraints: 29446
1673.57/1678.54 c #Conflicts: 895000 | #Constraints: 30446
1673.57/1678.54 c #Conflicts: 896000 | #Constraints: 31446
1673.57/1678.54 c #Conflicts: 897000 | #Constraints: 32446
1673.57/1678.54 c #Conflicts: 898000 | #Constraints: 33446
1673.57/1678.54 c #Conflicts: 899000 | #Constraints: 34446
1673.57/1678.54 c #Conflicts: 900000 | #Constraints: 35446
1673.57/1678.54 c #Conflicts: 901000 | #Constraints: 36446
1673.57/1678.54 c #Conflicts: 902000 | #Constraints: 37446
1673.57/1678.54 c #Conflicts: 903000 | #Constraints: 38446
1673.57/1678.54 c INPROCESSING
1673.57/1678.54 c GARBAGE COLLECT
1673.57/1678.54 c #Conflicts: 904000 | #Constraints: 20637
1673.57/1678.54 c #Conflicts: 905000 | #Constraints: 21637
1673.57/1678.54 c #Conflicts: 906000 | #Constraints: 22637
1673.57/1678.54 c #Conflicts: 907000 | #Constraints: 23637
1673.57/1678.54 c #Conflicts: 908000 | #Constraints: 24637
1673.57/1678.54 c #Conflicts: 909000 | #Constraints: 25637
1673.57/1678.54 c #Conflicts: 910000 | #Constraints: 26637
1673.57/1678.54 c #Conflicts: 911000 | #Constraints: 27637
1673.57/1678.54 c #Conflicts: 912000 | #Constraints: 28637
1673.57/1678.54 c #Conflicts: 913000 | #Constraints: 29637
1878.78/1884.38 c #Conflicts: 914000 | #Constraints: 30637
1878.78/1884.38 c #Conflicts: 915000 | #Constraints: 31637
1878.78/1884.38 c #Conflicts: 916000 | #Constraints: 32637
1878.78/1884.38 c #Conflicts: 917000 | #Constraints: 33637
1878.78/1884.38 c #Conflicts: 918000 | #Constraints: 34637
1878.78/1884.38 c #Conflicts: 919000 | #Constraints: 35637
1878.78/1884.38 c #Conflicts: 920000 | #Constraints: 36637
1878.78/1884.38 c #Conflicts: 921000 | #Constraints: 37637
1878.78/1884.38 c #Conflicts: 922000 | #Constraints: 38637
1878.78/1884.38 c INPROCESSING
1878.78/1884.38 c GARBAGE COLLECT
1878.78/1884.38 c #Conflicts: 923000 | #Constraints: 20630
1878.78/1884.38 c #Conflicts: 924000 | #Constraints: 21630
1878.78/1884.38 c #Conflicts: 925000 | #Constraints: 22630
1878.78/1884.38 c #Conflicts: 926000 | #Constraints: 23630
1878.78/1884.38 c #Conflicts: 927000 | #Constraints: 24630
1878.78/1884.38 c #Conflicts: 928000 | #Constraints: 25630
1878.78/1884.38 c #Conflicts: 929000 | #Constraints: 26630
1878.78/1884.38 c #Conflicts: 930000 | #Constraints: 27630
1878.78/1884.38 c #Conflicts: 931000 | #Constraints: 28630
1878.78/1884.38 c #Conflicts: 932000 | #Constraints: 29630
1878.78/1884.38 c #Conflicts: 933000 | #Constraints: 30630
1878.78/1884.38 c #Conflicts: 934000 | #Constraints: 31630
1878.78/1884.38 c #Conflicts: 935000 | #Constraints: 32630
1878.78/1884.38 c #Conflicts: 936000 | #Constraints: 33630
1878.78/1884.38 c #Conflicts: 937000 | #Constraints: 34630
1878.78/1884.38 c #Conflicts: 938000 | #Constraints: 35630
1878.78/1884.38 c #Conflicts: 939000 | #Constraints: 36630
1878.78/1884.38 c #Conflicts: 940000 | #Constraints: 37630
1878.78/1884.38 c #Conflicts: 941000 | #Constraints: 38630
1878.78/1884.38 c INPROCESSING
1878.78/1884.38 c GARBAGE COLLECT
1878.78/1884.38 c #Conflicts: 942000 | #Constraints: 20424
1878.78/1884.38 c #Conflicts: 943000 | #Constraints: 21424
1878.78/1884.38 c #Conflicts: 944000 | #Constraints: 22424
1878.78/1884.38 c #Conflicts: 945000 | #Constraints: 23424
1878.78/1884.38 c #Conflicts: 946000 | #Constraints: 24424
1878.78/1884.38 c #Conflicts: 947000 | #Constraints: 25424
1878.78/1884.38 c #Conflicts: 948000 | #Constraints: 26424
1878.78/1884.38 c #Conflicts: 949000 | #Constraints: 27424
1878.78/1884.38 c #Conflicts: 950000 | #Constraints: 28424
1878.78/1884.38 c #Conflicts: 951000 | #Constraints: 29424
1878.78/1884.38 c #Conflicts: 952000 | #Constraints: 30424
1878.78/1884.38 c #Conflicts: 953000 | #Constraints: 31424
1878.78/1884.38 c #Conflicts: 954000 | #Constraints: 32424
1878.78/1884.38 c #Conflicts: 955000 | #Constraints: 33424
1878.78/1884.38 c #Conflicts: 956000 | #Constraints: 34424
1878.78/1884.38 c #Conflicts: 957000 | #Constraints: 35424
1878.78/1884.38 c #Conflicts: 958000 | #Constraints: 36424
1878.78/1884.38 c #Conflicts: 959000 | #Constraints: 37424
1878.78/1884.38 c #Conflicts: 960000 | #Constraints: 38424
1878.78/1884.38 c #Conflicts: 961000 | #Constraints: 39424
1878.78/1884.38 c INPROCESSING
1878.78/1884.38 c GARBAGE COLLECT
1878.78/1884.38 c #Conflicts: 962000 | #Constraints: 21030
1878.78/1884.38 c #Conflicts: 963000 | #Constraints: 22030
1878.78/1884.38 c #Conflicts: 964000 | #Constraints: 23030
1878.78/1884.38 c #Conflicts: 965000 | #Constraints: 24030
1878.78/1884.38 c #Conflicts: 966000 | #Constraints: 25030
1878.78/1884.38 c #Conflicts: 967000 | #Constraints: 26030
1878.78/1884.38 c #Conflicts: 968000 | #Constraints: 27030
1878.78/1884.38 c #Conflicts: 969000 | #Constraints: 28030
1878.78/1884.38 c #Conflicts: 970000 | #Constraints: 29030
1878.78/1884.38 c #Conflicts: 971000 | #Constraints: 30030
1878.78/1884.38 c #Conflicts: 972000 | #Constraints: 31030
1878.78/1884.38 c #Conflicts: 973000 | #Constraints: 32030
1878.78/1884.38 c #Conflicts: 974000 | #Constraints: 33030
1878.78/1884.38 c #Conflicts: 975000 | #Constraints: 34030
1878.78/1884.38 c #Conflicts: 976000 | #Constraints: 35030
1878.78/1884.38 c #Conflicts: 977000 | #Constraints: 36030
1878.78/1884.38 c #Conflicts: 978000 | #Constraints: 37030
1878.78/1884.38 c #Conflicts: 979000 | #Constraints: 38030
1878.78/1884.38 c #Conflicts: 980000 | #Constraints: 39030
1878.78/1884.38 c #Conflicts: 981000 | #Constraints: 40030
1878.78/1884.38 c INPROCESSING
1878.78/1884.38 c GARBAGE COLLECT
1878.78/1884.38 c #Conflicts: 982000 | #Constraints: 21436
1878.78/1884.38 c #Conflicts: 983000 | #Constraints: 22436
1878.78/1884.38 c #Conflicts: 984000 | #Constraints: 23436
1878.78/1884.38 c #Conflicts: 985000 | #Constraints: 24436
1878.78/1884.38 c #Conflicts: 986000 | #Constraints: 25436
1878.78/1884.38 c #Conflicts: 987000 | #Constraints: 26436
1878.78/1884.38 c #Conflicts: 988000 | #Constraints: 27436
1878.78/1884.38 c #Conflicts: 989000 | #Constraints: 28436
2110.60/2116.81 c #Conflicts: 990000 | #Constraints: 29436
2110.60/2116.81 c #Conflicts: 991000 | #Constraints: 30436
2110.60/2116.81 c #Conflicts: 992000 | #Constraints: 31436
2110.60/2116.81 c #Conflicts: 993000 | #Constraints: 32436
2110.60/2116.81 c #Conflicts: 994000 | #Constraints: 33436
2110.60/2116.81 c #Conflicts: 995000 | #Constraints: 34436
2110.60/2116.81 c #Conflicts: 996000 | #Constraints: 35436
2110.60/2116.81 c #Conflicts: 997000 | #Constraints: 36436
2110.60/2116.81 c #Conflicts: 998000 | #Constraints: 37436
2110.60/2116.81 c #Conflicts: 999000 | #Constraints: 38436
2110.60/2116.81 c #Conflicts: 1000000 | #Constraints: 39436
2110.60/2116.81 c #Conflicts: 1001000 | #Constraints: 40436
2110.60/2116.81 c INPROCESSING
2110.60/2116.81 c GARBAGE COLLECT
2110.60/2116.81 c #Conflicts: 1002000 | #Constraints: 21645
2110.60/2116.81 c #Conflicts: 1003000 | #Constraints: 22645
2110.60/2116.81 c #Conflicts: 1004000 | #Constraints: 23645
2110.60/2116.81 c #Conflicts: 1005000 | #Constraints: 24645
2110.60/2116.81 c #Conflicts: 1006000 | #Constraints: 25645
2110.60/2116.81 c #Conflicts: 1007000 | #Constraints: 26645
2110.60/2116.81 c #Conflicts: 1008000 | #Constraints: 27645
2110.60/2116.81 c #Conflicts: 1009000 | #Constraints: 28645
2110.60/2116.81 c #Conflicts: 1010000 | #Constraints: 29645
2110.60/2116.81 c #Conflicts: 1011000 | #Constraints: 30645
2110.60/2116.81 c #Conflicts: 1012000 | #Constraints: 31645
2110.60/2116.81 c #Conflicts: 1013000 | #Constraints: 32645
2110.60/2116.81 c #Conflicts: 1014000 | #Constraints: 33645
2110.60/2116.81 c #Conflicts: 1015000 | #Constraints: 34645
2110.60/2116.81 c #Conflicts: 1016000 | #Constraints: 35645
2110.60/2116.81 c #Conflicts: 1017000 | #Constraints: 36645
2110.60/2116.81 c #Conflicts: 1018000 | #Constraints: 37645
2110.60/2116.81 c #Conflicts: 1019000 | #Constraints: 38645
2110.60/2116.81 c #Conflicts: 1020000 | #Constraints: 39645
2110.60/2116.81 c #Conflicts: 1021000 | #Constraints: 40645
2110.60/2116.81 c INPROCESSING
2110.60/2116.81 c GARBAGE COLLECT
2110.60/2116.81 c #Conflicts: 1022000 | #Constraints: 21644
2110.60/2116.81 c #Conflicts: 1023000 | #Constraints: 22644
2110.60/2116.81 c #Conflicts: 1024000 | #Constraints: 23644
2110.60/2116.81 c #Conflicts: 1025000 | #Constraints: 24644
2110.60/2116.81 c #Conflicts: 1026000 | #Constraints: 25644
2110.60/2116.81 c #Conflicts: 1027000 | #Constraints: 26644
2110.60/2116.81 c #Conflicts: 1028000 | #Constraints: 27644
2110.60/2116.81 c #Conflicts: 1029000 | #Constraints: 28644
2110.60/2116.81 c #Conflicts: 1030000 | #Constraints: 29644
2110.60/2116.81 c #Conflicts: 1031000 | #Constraints: 30644
2110.60/2116.81 c #Conflicts: 1032000 | #Constraints: 31644
2110.60/2116.81 c #Conflicts: 1033000 | #Constraints: 32644
2110.60/2116.81 c #Conflicts: 1034000 | #Constraints: 33644
2110.60/2116.81 c #Conflicts: 1035000 | #Constraints: 34644
2110.60/2116.81 c #Conflicts: 1036000 | #Constraints: 35644
2110.60/2116.81 c #Conflicts: 1037000 | #Constraints: 36644
2110.60/2116.81 c #Conflicts: 1038000 | #Constraints: 37644
2110.60/2116.81 c #Conflicts: 1039000 | #Constraints: 38644
2110.60/2116.81 c #Conflicts: 1040000 | #Constraints: 39644
2110.60/2116.81 c #Conflicts: 1041000 | #Constraints: 40644
2110.60/2116.81 c INPROCESSING
2110.60/2116.81 c GARBAGE COLLECT
2110.60/2116.81 c #Conflicts: 1042000 | #Constraints: 21445
2110.60/2116.81 c #Conflicts: 1043000 | #Constraints: 22445
2110.60/2116.81 c #Conflicts: 1044000 | #Constraints: 23445
2110.60/2116.81 c #Conflicts: 1045000 | #Constraints: 24445
2110.60/2116.81 c #Conflicts: 1046000 | #Constraints: 25445
2110.60/2116.81 c #Conflicts: 1047000 | #Constraints: 26445
2110.60/2116.81 c #Conflicts: 1048000 | #Constraints: 27445
2110.60/2116.81 c #Conflicts: 1049000 | #Constraints: 28445
2110.60/2116.81 c #Conflicts: 1050000 | #Constraints: 29445
2110.60/2116.81 c #Conflicts: 1051000 | #Constraints: 30445
2110.60/2116.81 c #Conflicts: 1052000 | #Constraints: 31445
2110.60/2116.81 c #Conflicts: 1053000 | #Constraints: 32445
2110.60/2116.81 c #Conflicts: 1054000 | #Constraints: 33445
2110.60/2116.81 c #Conflicts: 1055000 | #Constraints: 34445
2110.60/2116.81 c #Conflicts: 1056000 | #Constraints: 35445
2110.60/2116.81 c #Conflicts: 1057000 | #Constraints: 36445
2110.60/2116.81 c #Conflicts: 1058000 | #Constraints: 37445
2110.60/2116.81 c #Conflicts: 1059000 | #Constraints: 38445
2110.60/2116.81 c #Conflicts: 1060000 | #Constraints: 39445
2110.60/2116.81 c #Conflicts: 1061000 | #Constraints: 40445
2110.60/2116.81 c #Conflicts: 1062000 | #Constraints: 41445
2110.60/2116.81 c INPROCESSING
2110.60/2116.81 c GARBAGE COLLECT
2110.60/2116.81 c #Conflicts: 1063000 | #Constraints: 22039
2110.60/2116.81 c #Conflicts: 1064000 | #Constraints: 23039
2110.60/2116.81 c #Conflicts: 1065000 | #Constraints: 24039
2110.60/2116.81 c #Conflicts: 1066000 | #Constraints: 25039
2173.82/2180.27 c #Conflicts: 1067000 | #Constraints: 26039
2173.82/2180.27 c #Conflicts: 1068000 | #Constraints: 27039
2173.82/2180.27 c #Conflicts: 1069000 | #Constraints: 28039
2173.82/2180.27 c #Conflicts: 1070000 | #Constraints: 29039
2173.82/2180.27 c #Conflicts: 1071000 | #Constraints: 30039
2173.82/2180.27 c #Conflicts: 1072000 | #Constraints: 31039
2173.82/2180.27 c #Conflicts: 1073000 | #Constraints: 32039
2173.82/2180.27 c #Conflicts: 1074000 | #Constraints: 33039
2173.82/2180.27 c #Conflicts: 1075000 | #Constraints: 34039
2173.82/2180.27 c #Conflicts: 1076000 | #Constraints: 35039
2173.82/2180.27 c #Conflicts: 1077000 | #Constraints: 36039
2173.82/2180.27 c #Conflicts: 1078000 | #Constraints: 37039
2173.82/2180.27 c #Conflicts: 1079000 | #Constraints: 38039
2173.82/2180.27 c #Conflicts: 1080000 | #Constraints: 39039
2173.82/2180.27 c #Conflicts: 1081000 | #Constraints: 40039
2173.82/2180.27 c #Conflicts: 1082000 | #Constraints: 41039
2173.82/2180.27 c #Conflicts: 1083000 | #Constraints: 42039
2173.82/2180.27 c INPROCESSING
2173.82/2180.27 c GARBAGE COLLECT
2173.82/2180.27 c #Conflicts: 1084000 | #Constraints: 22438
2173.82/2180.27 c #Conflicts: 1085000 | #Constraints: 23438
2173.82/2180.27 c #Conflicts: 1086000 | #Constraints: 24438
2173.82/2180.27 c #Conflicts: 1087000 | #Constraints: 25438
2173.82/2180.27 c #Conflicts: 1088000 | #Constraints: 26438
2173.82/2180.27 c #Conflicts: 1089000 | #Constraints: 27438
2173.82/2180.27 c #Conflicts: 1090000 | #Constraints: 28438
2173.82/2180.27 c GLOBAL bounds - >= 0 @ 2153.26
2386.21/2393.24 c #Conflicts: 1091000 | #Constraints: 29440
2386.21/2393.24 c #Conflicts: 1092000 | #Constraints: 30440
2386.21/2393.24 c #Conflicts: 1093000 | #Constraints: 31440
2386.21/2393.24 c #Conflicts: 1094000 | #Constraints: 32440
2386.21/2393.24 c #Conflicts: 1095000 | #Constraints: 33440
2386.21/2393.24 c #Conflicts: 1096000 | #Constraints: 34440
2386.21/2393.24 c #Conflicts: 1097000 | #Constraints: 35440
2386.21/2393.24 c #Conflicts: 1098000 | #Constraints: 36440
2386.21/2393.24 c #Conflicts: 1099000 | #Constraints: 37440
2386.21/2393.24 c #Conflicts: 1100000 | #Constraints: 38440
2386.21/2393.24 c #Conflicts: 1101000 | #Constraints: 39440
2386.21/2393.24 c #Conflicts: 1102000 | #Constraints: 40440
2386.21/2393.24 c #Conflicts: 1103000 | #Constraints: 41440
2386.21/2393.24 c #Conflicts: 1104000 | #Constraints: 42440
2386.21/2393.24 c INPROCESSING
2386.21/2393.24 c GARBAGE COLLECT
2386.21/2393.24 c #Conflicts: 1105000 | #Constraints: 22632
2386.21/2393.24 c #Conflicts: 1106000 | #Constraints: 23632
2386.21/2393.24 c #Conflicts: 1107000 | #Constraints: 24632
2386.21/2393.24 c #Conflicts: 1108000 | #Constraints: 25632
2386.21/2393.24 c #Conflicts: 1109000 | #Constraints: 26632
2386.21/2393.24 c #Conflicts: 1110000 | #Constraints: 27632
2386.21/2393.24 c #Conflicts: 1111000 | #Constraints: 28632
2386.21/2393.24 c #Conflicts: 1112000 | #Constraints: 29632
2386.21/2393.24 c #Conflicts: 1113000 | #Constraints: 30632
2386.21/2393.24 c #Conflicts: 1114000 | #Constraints: 31632
2386.21/2393.24 c #Conflicts: 1115000 | #Constraints: 32632
2386.21/2393.24 c #Conflicts: 1116000 | #Constraints: 33632
2386.21/2393.24 c #Conflicts: 1117000 | #Constraints: 34632
2386.21/2393.24 c #Conflicts: 1118000 | #Constraints: 35632
2386.21/2393.24 c #Conflicts: 1119000 | #Constraints: 36632
2386.21/2393.24 c #Conflicts: 1120000 | #Constraints: 37632
2386.21/2393.24 c #Conflicts: 1121000 | #Constraints: 38632
2386.21/2393.24 c #Conflicts: 1122000 | #Constraints: 39632
2386.21/2393.24 c #Conflicts: 1123000 | #Constraints: 40632
2386.21/2393.24 c #Conflicts: 1124000 | #Constraints: 41632
2386.21/2393.24 c #Conflicts: 1125000 | #Constraints: 42632
2386.21/2393.24 c INPROCESSING
2386.21/2393.24 c GARBAGE COLLECT
2386.21/2393.24 c #Conflicts: 1126000 | #Constraints: 22631
2386.21/2393.24 c #Conflicts: 1127000 | #Constraints: 23631
2386.21/2393.24 c #Conflicts: 1128000 | #Constraints: 24631
2386.21/2393.24 c #Conflicts: 1129000 | #Constraints: 25631
2386.21/2393.24 c #Conflicts: 1130000 | #Constraints: 26631
2386.21/2393.24 c #Conflicts: 1131000 | #Constraints: 27631
2386.21/2393.24 c #Conflicts: 1132000 | #Constraints: 28631
2386.21/2393.24 c #Conflicts: 1133000 | #Constraints: 29631
2386.21/2393.24 c #Conflicts: 1134000 | #Constraints: 30631
2386.21/2393.24 c #Conflicts: 1135000 | #Constraints: 31631
2386.21/2393.24 c #Conflicts: 1136000 | #Constraints: 32631
2386.21/2393.24 c #Conflicts: 1137000 | #Constraints: 33631
2386.21/2393.24 c #Conflicts: 1138000 | #Constraints: 34631
2386.21/2393.24 c #Conflicts: 1139000 | #Constraints: 35631
2386.21/2393.24 c #Conflicts: 1140000 | #Constraints: 36631
2386.21/2393.24 c #Conflicts: 1141000 | #Constraints: 37631
2386.21/2393.24 c #Conflicts: 1142000 | #Constraints: 38631
2386.21/2393.24 c #Conflicts: 1143000 | #Constraints: 39631
2386.21/2393.24 c #Conflicts: 1144000 | #Constraints: 40631
2386.21/2393.24 c #Conflicts: 1145000 | #Constraints: 41631
2386.21/2393.24 c #Conflicts: 1146000 | #Constraints: 42631
2386.21/2393.24 c INPROCESSING
2386.21/2393.24 c GARBAGE COLLECT
2386.21/2393.24 c #Conflicts: 1147000 | #Constraints: 22435
2386.21/2393.24 c #Conflicts: 1148000 | #Constraints: 23435
2386.21/2393.24 c #Conflicts: 1149000 | #Constraints: 24435
2386.21/2393.24 c #Conflicts: 1150000 | #Constraints: 25435
2386.21/2393.24 c #Conflicts: 1151000 | #Constraints: 26435
2386.21/2393.24 c #Conflicts: 1152000 | #Constraints: 27435
2386.21/2393.24 c #Conflicts: 1153000 | #Constraints: 28435
2386.21/2393.24 c #Conflicts: 1154000 | #Constraints: 29435
2386.21/2393.24 c #Conflicts: 1155000 | #Constraints: 30435
2386.21/2393.24 c #Conflicts: 1156000 | #Constraints: 31435
2386.21/2393.24 c #Conflicts: 1157000 | #Constraints: 32435
2386.21/2393.24 c #Conflicts: 1158000 | #Constraints: 33435
2386.21/2393.24 c #Conflicts: 1159000 | #Constraints: 34435
2386.21/2393.24 c #Conflicts: 1160000 | #Constraints: 35435
2386.21/2393.24 c #Conflicts: 1161000 | #Constraints: 36435
2386.21/2393.24 c #Conflicts: 1162000 | #Constraints: 37435
2386.21/2393.24 c #Conflicts: 1163000 | #Constraints: 38435
2386.21/2393.24 c #Conflicts: 1164000 | #Constraints: 39435
2386.21/2393.24 c #Conflicts: 1165000 | #Constraints: 40435
2386.21/2393.24 c #Conflicts: 1166000 | #Constraints: 41435
2386.21/2393.24 c #Conflicts: 1167000 | #Constraints: 42435
2591.11/2598.70 c #Conflicts: 1168000 | #Constraints: 43435
2591.11/2598.70 c INPROCESSING
2591.11/2598.70 c GARBAGE COLLECT
2591.11/2598.70 c #Conflicts: 1169000 | #Constraints: 23029
2591.11/2598.70 c #Conflicts: 1170000 | #Constraints: 24029
2591.11/2598.70 c #Conflicts: 1171000 | #Constraints: 25029
2591.11/2598.70 c #Conflicts: 1172000 | #Constraints: 26029
2591.11/2598.70 c #Conflicts: 1173000 | #Constraints: 27029
2591.11/2598.70 c #Conflicts: 1174000 | #Constraints: 28029
2591.11/2598.70 c #Conflicts: 1175000 | #Constraints: 29029
2591.11/2598.70 c #Conflicts: 1176000 | #Constraints: 30029
2591.11/2598.70 c #Conflicts: 1177000 | #Constraints: 31029
2591.11/2598.70 c #Conflicts: 1178000 | #Constraints: 32029
2591.11/2598.70 c #Conflicts: 1179000 | #Constraints: 33029
2591.11/2598.70 c #Conflicts: 1180000 | #Constraints: 34029
2591.11/2598.70 c #Conflicts: 1181000 | #Constraints: 35029
2591.11/2598.70 c #Conflicts: 1182000 | #Constraints: 36029
2591.11/2598.70 c #Conflicts: 1183000 | #Constraints: 37029
2591.11/2598.70 c #Conflicts: 1184000 | #Constraints: 38029
2591.11/2598.70 c #Conflicts: 1185000 | #Constraints: 39029
2591.11/2598.70 c #Conflicts: 1186000 | #Constraints: 40029
2591.11/2598.70 c #Conflicts: 1187000 | #Constraints: 41029
2591.11/2598.70 c #Conflicts: 1188000 | #Constraints: 42029
2591.11/2598.70 c #Conflicts: 1189000 | #Constraints: 43029
2591.11/2598.70 c #Conflicts: 1190000 | #Constraints: 44029
2591.11/2598.70 c INPROCESSING
2591.11/2598.70 c GARBAGE COLLECT
2591.11/2598.70 c #Conflicts: 1191000 | #Constraints: 23434
2591.11/2598.70 c #Conflicts: 1192000 | #Constraints: 24434
2591.11/2598.70 c #Conflicts: 1193000 | #Constraints: 25434
2591.11/2598.70 c #Conflicts: 1194000 | #Constraints: 26434
2591.11/2598.70 c #Conflicts: 1195000 | #Constraints: 27434
2591.11/2598.70 c #Conflicts: 1196000 | #Constraints: 28434
2591.11/2598.70 c #Conflicts: 1197000 | #Constraints: 29434
2591.11/2598.70 c #Conflicts: 1198000 | #Constraints: 30434
2591.11/2598.70 c #Conflicts: 1199000 | #Constraints: 31434
2591.11/2598.70 c #Conflicts: 1200000 | #Constraints: 32434
2591.11/2598.70 c #Conflicts: 1201000 | #Constraints: 33434
2591.11/2598.70 c #Conflicts: 1202000 | #Constraints: 34434
2591.11/2598.70 c #Conflicts: 1203000 | #Constraints: 35434
2591.11/2598.70 c #Conflicts: 1204000 | #Constraints: 36434
2591.11/2598.70 c #Conflicts: 1205000 | #Constraints: 37434
2591.11/2598.70 c #Conflicts: 1206000 | #Constraints: 38434
2591.11/2598.70 c #Conflicts: 1207000 | #Constraints: 39434
2591.11/2598.70 c #Conflicts: 1208000 | #Constraints: 40434
2591.11/2598.70 c #Conflicts: 1209000 | #Constraints: 41434
2591.11/2598.70 c #Conflicts: 1210000 | #Constraints: 42434
2591.11/2598.70 c #Conflicts: 1211000 | #Constraints: 43434
2591.11/2598.70 c #Conflicts: 1212000 | #Constraints: 44434
2591.11/2598.70 c INPROCESSING
2591.11/2598.70 c GARBAGE COLLECT
2591.11/2598.70 c #Conflicts: 1213000 | #Constraints: 23638
2591.11/2598.70 c #Conflicts: 1214000 | #Constraints: 24638
2591.11/2598.70 c #Conflicts: 1215000 | #Constraints: 25638
2591.11/2598.70 c #Conflicts: 1216000 | #Constraints: 26638
2591.11/2598.70 c #Conflicts: 1217000 | #Constraints: 27638
2591.11/2598.70 c #Conflicts: 1218000 | #Constraints: 28638
2591.11/2598.70 c #Conflicts: 1219000 | #Constraints: 29638
2591.11/2598.70 c #Conflicts: 1220000 | #Constraints: 30638
2591.11/2598.70 c #Conflicts: 1221000 | #Constraints: 31638
2591.11/2598.70 c #Conflicts: 1222000 | #Constraints: 32638
2591.11/2598.70 c #Conflicts: 1223000 | #Constraints: 33638
2591.11/2598.70 c #Conflicts: 1224000 | #Constraints: 34638
2591.11/2598.70 c #Conflicts: 1225000 | #Constraints: 35638
2591.11/2598.70 c #Conflicts: 1226000 | #Constraints: 36638
2591.11/2598.70 c #Conflicts: 1227000 | #Constraints: 37638
2591.11/2598.70 c #Conflicts: 1228000 | #Constraints: 38638
2591.11/2598.70 c #Conflicts: 1229000 | #Constraints: 39638
2591.11/2598.70 c #Conflicts: 1230000 | #Constraints: 40638
2591.11/2598.70 c #Conflicts: 1231000 | #Constraints: 41638
2591.11/2598.70 c #Conflicts: 1232000 | #Constraints: 42638
2591.11/2598.70 c #Conflicts: 1233000 | #Constraints: 43638
2591.11/2598.70 c #Conflicts: 1234000 | #Constraints: 44638
2591.11/2598.70 c INPROCESSING
2591.11/2598.70 c GARBAGE COLLECT
2591.11/2598.70 c #Conflicts: 1235000 | #Constraints: 23629
2591.11/2598.70 c #Conflicts: 1236000 | #Constraints: 24629
2591.11/2598.70 c #Conflicts: 1237000 | #Constraints: 25629
2591.11/2598.70 c #Conflicts: 1238000 | #Constraints: 26629
2591.11/2598.70 c #Conflicts: 1239000 | #Constraints: 27629
2591.11/2598.70 c #Conflicts: 1240000 | #Constraints: 28629
2591.11/2598.70 c #Conflicts: 1241000 | #Constraints: 29629
2591.11/2598.70 c #Conflicts: 1242000 | #Constraints: 30629
2591.11/2598.70 c #Conflicts: 1243000 | #Constraints: 31629
2591.11/2598.70 c #Conflicts: 1244000 | #Constraints: 32629
2821.16/2829.47 c #Conflicts: 1245000 | #Constraints: 33629
2821.16/2829.47 c #Conflicts: 1246000 | #Constraints: 34629
2821.16/2829.47 c #Conflicts: 1247000 | #Constraints: 35629
2821.16/2829.47 c #Conflicts: 1248000 | #Constraints: 36629
2821.16/2829.47 c #Conflicts: 1249000 | #Constraints: 37629
2821.16/2829.47 c #Conflicts: 1250000 | #Constraints: 38629
2821.16/2829.47 c #Conflicts: 1251000 | #Constraints: 39629
2821.16/2829.47 c #Conflicts: 1252000 | #Constraints: 40629
2821.16/2829.47 c #Conflicts: 1253000 | #Constraints: 41629
2821.16/2829.47 c #Conflicts: 1254000 | #Constraints: 42629
2821.16/2829.47 c #Conflicts: 1255000 | #Constraints: 43629
2821.16/2829.47 c #Conflicts: 1256000 | #Constraints: 44629
2821.16/2829.47 c INPROCESSING
2821.16/2829.47 c GARBAGE COLLECT
2821.16/2829.47 c #Conflicts: 1257000 | #Constraints: 23435
2821.16/2829.47 c #Conflicts: 1258000 | #Constraints: 24435
2821.16/2829.47 c #Conflicts: 1259000 | #Constraints: 25435
2821.16/2829.47 c #Conflicts: 1260000 | #Constraints: 26435
2821.16/2829.47 c #Conflicts: 1261000 | #Constraints: 27435
2821.16/2829.47 c #Conflicts: 1262000 | #Constraints: 28435
2821.16/2829.47 c #Conflicts: 1263000 | #Constraints: 29435
2821.16/2829.47 c #Conflicts: 1264000 | #Constraints: 30435
2821.16/2829.47 c #Conflicts: 1265000 | #Constraints: 31435
2821.16/2829.47 c #Conflicts: 1266000 | #Constraints: 32435
2821.16/2829.47 c #Conflicts: 1267000 | #Constraints: 33435
2821.16/2829.47 c #Conflicts: 1268000 | #Constraints: 34435
2821.16/2829.47 c #Conflicts: 1269000 | #Constraints: 35435
2821.16/2829.47 c #Conflicts: 1270000 | #Constraints: 36435
2821.16/2829.47 c #Conflicts: 1271000 | #Constraints: 37435
2821.16/2829.47 c #Conflicts: 1272000 | #Constraints: 38435
2821.16/2829.47 c #Conflicts: 1273000 | #Constraints: 39435
2821.16/2829.47 c #Conflicts: 1274000 | #Constraints: 40435
2821.16/2829.47 c #Conflicts: 1275000 | #Constraints: 41435
2821.16/2829.47 c #Conflicts: 1276000 | #Constraints: 42435
2821.16/2829.47 c #Conflicts: 1277000 | #Constraints: 43435
2821.16/2829.47 c #Conflicts: 1278000 | #Constraints: 44435
2821.16/2829.47 c #Conflicts: 1279000 | #Constraints: 45435
2821.16/2829.47 c INPROCESSING
2821.16/2829.47 c GARBAGE COLLECT
2821.16/2829.47 c #Conflicts: 1280000 | #Constraints: 24028
2821.16/2829.47 c #Conflicts: 1281000 | #Constraints: 25028
2821.16/2829.47 c #Conflicts: 1282000 | #Constraints: 26028
2821.16/2829.47 c #Conflicts: 1283000 | #Constraints: 27028
2821.16/2829.47 c #Conflicts: 1284000 | #Constraints: 28028
2821.16/2829.47 c #Conflicts: 1285000 | #Constraints: 29028
2821.16/2829.47 c #Conflicts: 1286000 | #Constraints: 30028
2821.16/2829.47 c #Conflicts: 1287000 | #Constraints: 31028
2821.16/2829.47 c #Conflicts: 1288000 | #Constraints: 32028
2821.16/2829.47 c #Conflicts: 1289000 | #Constraints: 33028
2821.16/2829.47 c #Conflicts: 1290000 | #Constraints: 34028
2821.16/2829.47 c #Conflicts: 1291000 | #Constraints: 35028
2821.16/2829.47 c #Conflicts: 1292000 | #Constraints: 36028
2821.16/2829.47 c #Conflicts: 1293000 | #Constraints: 37028
2821.16/2829.47 c #Conflicts: 1294000 | #Constraints: 38028
2821.16/2829.47 c #Conflicts: 1295000 | #Constraints: 39028
2821.16/2829.47 c #Conflicts: 1296000 | #Constraints: 40028
2821.16/2829.47 c #Conflicts: 1297000 | #Constraints: 41028
2821.16/2829.47 c #Conflicts: 1298000 | #Constraints: 42028
2821.16/2829.47 c #Conflicts: 1299000 | #Constraints: 43028
2821.16/2829.47 c #Conflicts: 1300000 | #Constraints: 44028
2821.16/2829.47 c #Conflicts: 1301000 | #Constraints: 45028
2821.16/2829.47 c #Conflicts: 1302000 | #Constraints: 46028
2821.16/2829.47 c INPROCESSING
2821.16/2829.47 c GARBAGE COLLECT
2821.16/2829.47 c #Conflicts: 1303000 | #Constraints: 24430
2821.16/2829.47 c #Conflicts: 1304000 | #Constraints: 25430
2821.16/2829.47 c #Conflicts: 1305000 | #Constraints: 26430
2821.16/2829.47 c #Conflicts: 1306000 | #Constraints: 27430
2821.16/2829.47 c #Conflicts: 1307000 | #Constraints: 28430
2821.16/2829.47 c #Conflicts: 1308000 | #Constraints: 29430
2821.16/2829.47 c #Conflicts: 1309000 | #Constraints: 30430
2821.16/2829.47 c #Conflicts: 1310000 | #Constraints: 31430
2821.16/2829.47 c #Conflicts: 1311000 | #Constraints: 32430
2821.16/2829.47 c #Conflicts: 1312000 | #Constraints: 33430
2821.16/2829.47 c #Conflicts: 1313000 | #Constraints: 34430
2821.16/2829.47 c #Conflicts: 1314000 | #Constraints: 35430
2821.16/2829.47 c #Conflicts: 1315000 | #Constraints: 36430
2821.16/2829.47 c #Conflicts: 1316000 | #Constraints: 37430
2821.16/2829.47 c #Conflicts: 1317000 | #Constraints: 38430
2821.16/2829.47 c #Conflicts: 1318000 | #Constraints: 39430
2821.16/2829.47 c #Conflicts: 1319000 | #Constraints: 40430
2821.16/2829.47 c #Conflicts: 1320000 | #Constraints: 41430
3072.93/3081.98 c #Conflicts: 1321000 | #Constraints: 42430
3072.93/3081.98 c #Conflicts: 1322000 | #Constraints: 43430
3072.93/3081.98 c #Conflicts: 1323000 | #Constraints: 44430
3072.93/3081.98 c #Conflicts: 1324000 | #Constraints: 45430
3072.93/3081.98 c #Conflicts: 1325000 | #Constraints: 46430
3072.93/3081.98 c INPROCESSING
3072.93/3081.98 c GARBAGE COLLECT
3072.93/3081.98 c #Conflicts: 1326000 | #Constraints: 24628
3072.93/3081.98 c #Conflicts: 1327000 | #Constraints: 25628
3072.93/3081.98 c #Conflicts: 1328000 | #Constraints: 26628
3072.93/3081.98 c #Conflicts: 1329000 | #Constraints: 27628
3072.93/3081.98 c #Conflicts: 1330000 | #Constraints: 28628
3072.93/3081.98 c #Conflicts: 1331000 | #Constraints: 29628
3072.93/3081.98 c #Conflicts: 1332000 | #Constraints: 30628
3072.93/3081.98 c #Conflicts: 1333000 | #Constraints: 31628
3072.93/3081.98 c #Conflicts: 1334000 | #Constraints: 32628
3072.93/3081.98 c #Conflicts: 1335000 | #Constraints: 33628
3072.93/3081.98 c #Conflicts: 1336000 | #Constraints: 34628
3072.93/3081.98 c #Conflicts: 1337000 | #Constraints: 35628
3072.93/3081.98 c #Conflicts: 1338000 | #Constraints: 36628
3072.93/3081.98 c #Conflicts: 1339000 | #Constraints: 37628
3072.93/3081.98 c #Conflicts: 1340000 | #Constraints: 38628
3072.93/3081.98 c #Conflicts: 1341000 | #Constraints: 39628
3072.93/3081.98 c #Conflicts: 1342000 | #Constraints: 40628
3072.93/3081.98 c #Conflicts: 1343000 | #Constraints: 41628
3072.93/3081.98 c #Conflicts: 1344000 | #Constraints: 42628
3072.93/3081.98 c #Conflicts: 1345000 | #Constraints: 43628
3072.93/3081.98 c #Conflicts: 1346000 | #Constraints: 44628
3072.93/3081.98 c #Conflicts: 1347000 | #Constraints: 45628
3072.93/3081.98 c #Conflicts: 1348000 | #Constraints: 46628
3072.93/3081.98 c INPROCESSING
3072.93/3081.98 c GARBAGE COLLECT
3072.93/3081.98 c #Conflicts: 1349000 | #Constraints: 24637
3072.93/3081.98 c #Conflicts: 1350000 | #Constraints: 25637
3072.93/3081.98 c #Conflicts: 1351000 | #Constraints: 26637
3072.93/3081.98 c #Conflicts: 1352000 | #Constraints: 27637
3072.93/3081.98 c #Conflicts: 1353000 | #Constraints: 28637
3072.93/3081.98 c #Conflicts: 1354000 | #Constraints: 29637
3072.93/3081.98 c #Conflicts: 1355000 | #Constraints: 30637
3072.93/3081.98 c #Conflicts: 1356000 | #Constraints: 31637
3072.93/3081.98 c #Conflicts: 1357000 | #Constraints: 32637
3072.93/3081.98 c #Conflicts: 1358000 | #Constraints: 33637
3072.93/3081.98 c #Conflicts: 1359000 | #Constraints: 34637
3072.93/3081.98 c #Conflicts: 1360000 | #Constraints: 35637
3072.93/3081.98 c #Conflicts: 1361000 | #Constraints: 36637
3072.93/3081.98 c #Conflicts: 1362000 | #Constraints: 37637
3072.93/3081.98 c #Conflicts: 1363000 | #Constraints: 38637
3072.93/3081.98 c #Conflicts: 1364000 | #Constraints: 39637
3072.93/3081.98 c #Conflicts: 1365000 | #Constraints: 40637
3072.93/3081.98 c #Conflicts: 1366000 | #Constraints: 41637
3072.93/3081.98 c #Conflicts: 1367000 | #Constraints: 42637
3072.93/3081.98 c #Conflicts: 1368000 | #Constraints: 43637
3072.93/3081.98 c #Conflicts: 1369000 | #Constraints: 44637
3072.93/3081.98 c #Conflicts: 1370000 | #Constraints: 45637
3072.93/3081.98 c #Conflicts: 1371000 | #Constraints: 46637
3072.93/3081.98 c INPROCESSING
3072.93/3081.98 c GARBAGE COLLECT
3072.93/3081.98 c #Conflicts: 1372000 | #Constraints: 24434
3072.93/3081.98 c #Conflicts: 1373000 | #Constraints: 25434
3072.93/3081.98 c #Conflicts: 1374000 | #Constraints: 26434
3072.93/3081.98 c #Conflicts: 1375000 | #Constraints: 27434
3072.93/3081.98 c #Conflicts: 1376000 | #Constraints: 28434
3072.93/3081.98 c #Conflicts: 1377000 | #Constraints: 29434
3072.93/3081.98 c #Conflicts: 1378000 | #Constraints: 30434
3072.93/3081.98 c #Conflicts: 1379000 | #Constraints: 31434
3072.93/3081.98 c #Conflicts: 1380000 | #Constraints: 32434
3072.93/3081.98 c #Conflicts: 1381000 | #Constraints: 33434
3072.93/3081.98 c #Conflicts: 1382000 | #Constraints: 34434
3072.93/3081.98 c #Conflicts: 1383000 | #Constraints: 35434
3072.93/3081.98 c #Conflicts: 1384000 | #Constraints: 36434
3072.93/3081.98 c #Conflicts: 1385000 | #Constraints: 37434
3072.93/3081.98 c #Conflicts: 1386000 | #Constraints: 38434
3072.93/3081.98 c #Conflicts: 1387000 | #Constraints: 39434
3072.93/3081.98 c #Conflicts: 1388000 | #Constraints: 40434
3072.93/3081.98 c #Conflicts: 1389000 | #Constraints: 41434
3072.93/3081.98 c #Conflicts: 1390000 | #Constraints: 42434
3072.93/3081.98 c #Conflicts: 1391000 | #Constraints: 43434
3072.93/3081.98 c #Conflicts: 1392000 | #Constraints: 44434
3072.93/3081.98 c #Conflicts: 1393000 | #Constraints: 45434
3072.93/3081.98 c #Conflicts: 1394000 | #Constraints: 46434
3072.93/3081.98 c #Conflicts: 1395000 | #Constraints: 47434
3072.93/3081.98 c INPROCESSING
3072.93/3081.98 c GARBAGE COLLECT
3072.93/3081.98 c #Conflicts: 1396000 | #Constraints: 25027
3072.93/3081.98 c #Conflicts: 1397000 | #Constraints: 26027
3322.91/3332.61 c #Conflicts: 1398000 | #Constraints: 27027
3322.91/3332.61 c #Conflicts: 1399000 | #Constraints: 28027
3322.91/3332.61 c #Conflicts: 1400000 | #Constraints: 29027
3322.91/3332.61 c #Conflicts: 1401000 | #Constraints: 30027
3322.91/3332.61 c #Conflicts: 1402000 | #Constraints: 31027
3322.91/3332.61 c #Conflicts: 1403000 | #Constraints: 32027
3322.91/3332.61 c #Conflicts: 1404000 | #Constraints: 33027
3322.91/3332.61 c #Conflicts: 1405000 | #Constraints: 34027
3322.91/3332.61 c #Conflicts: 1406000 | #Constraints: 35027
3322.91/3332.61 c #Conflicts: 1407000 | #Constraints: 36027
3322.91/3332.61 c #Conflicts: 1408000 | #Constraints: 37027
3322.91/3332.61 c #Conflicts: 1409000 | #Constraints: 38027
3322.91/3332.61 c #Conflicts: 1410000 | #Constraints: 39027
3322.91/3332.61 c #Conflicts: 1411000 | #Constraints: 40027
3322.91/3332.61 c #Conflicts: 1412000 | #Constraints: 41027
3322.91/3332.61 c #Conflicts: 1413000 | #Constraints: 42027
3322.91/3332.61 c #Conflicts: 1414000 | #Constraints: 43027
3322.91/3332.61 c #Conflicts: 1415000 | #Constraints: 44027
3322.91/3332.61 c #Conflicts: 1416000 | #Constraints: 45027
3322.91/3332.61 c #Conflicts: 1417000 | #Constraints: 46027
3322.91/3332.61 c #Conflicts: 1418000 | #Constraints: 47027
3322.91/3332.61 c #Conflicts: 1419000 | #Constraints: 48027
3322.91/3332.61 c INPROCESSING
3322.91/3332.61 c GARBAGE COLLECT
3322.91/3332.61 c #Conflicts: 1420000 | #Constraints: 25435
3322.91/3332.61 c #Conflicts: 1421000 | #Constraints: 26435
3322.91/3332.61 c #Conflicts: 1422000 | #Constraints: 27435
3322.91/3332.61 c #Conflicts: 1423000 | #Constraints: 28435
3322.91/3332.61 c #Conflicts: 1424000 | #Constraints: 29435
3322.91/3332.61 c #Conflicts: 1425000 | #Constraints: 30435
3322.91/3332.61 c #Conflicts: 1426000 | #Constraints: 31435
3322.91/3332.61 c #Conflicts: 1427000 | #Constraints: 32435
3322.91/3332.61 c #Conflicts: 1428000 | #Constraints: 33435
3322.91/3332.61 c #Conflicts: 1429000 | #Constraints: 34435
3322.91/3332.61 c #Conflicts: 1430000 | #Constraints: 35435
3322.91/3332.61 c #Conflicts: 1431000 | #Constraints: 36435
3322.91/3332.61 c #Conflicts: 1432000 | #Constraints: 37435
3322.91/3332.61 c #Conflicts: 1433000 | #Constraints: 38435
3322.91/3332.61 c #Conflicts: 1434000 | #Constraints: 39435
3322.91/3332.61 c #Conflicts: 1435000 | #Constraints: 40435
3322.91/3332.61 c #Conflicts: 1436000 | #Constraints: 41435
3322.91/3332.61 c #Conflicts: 1437000 | #Constraints: 42435
3322.91/3332.61 c #Conflicts: 1438000 | #Constraints: 43435
3322.91/3332.61 c #Conflicts: 1439000 | #Constraints: 44435
3322.91/3332.61 c #Conflicts: 1440000 | #Constraints: 45435
3322.91/3332.61 c #Conflicts: 1441000 | #Constraints: 46435
3322.91/3332.61 c #Conflicts: 1442000 | #Constraints: 47435
3322.91/3332.61 c #Conflicts: 1443000 | #Constraints: 48435
3322.91/3332.61 c INPROCESSING
3322.91/3332.61 c GARBAGE COLLECT
3322.91/3332.61 c #Conflicts: 1444000 | #Constraints: 25633
3322.91/3332.61 c #Conflicts: 1445000 | #Constraints: 26633
3322.91/3332.61 c #Conflicts: 1446000 | #Constraints: 27633
3322.91/3332.61 c #Conflicts: 1447000 | #Constraints: 28633
3322.91/3332.61 c #Conflicts: 1448000 | #Constraints: 29633
3322.91/3332.61 c #Conflicts: 1449000 | #Constraints: 30633
3322.91/3332.61 c #Conflicts: 1450000 | #Constraints: 31633
3322.91/3332.61 c #Conflicts: 1451000 | #Constraints: 32633
3322.91/3332.61 c #Conflicts: 1452000 | #Constraints: 33633
3322.91/3332.61 c #Conflicts: 1453000 | #Constraints: 34633
3322.91/3332.61 c #Conflicts: 1454000 | #Constraints: 35633
3322.91/3332.61 c #Conflicts: 1455000 | #Constraints: 36633
3322.91/3332.61 c #Conflicts: 1456000 | #Constraints: 37633
3322.91/3332.61 c #Conflicts: 1457000 | #Constraints: 38633
3322.91/3332.61 c #Conflicts: 1458000 | #Constraints: 39633
3322.91/3332.61 c #Conflicts: 1459000 | #Constraints: 40633
3322.91/3332.61 c #Conflicts: 1460000 | #Constraints: 41633
3322.91/3332.61 c #Conflicts: 1461000 | #Constraints: 42633
3322.91/3332.61 c #Conflicts: 1462000 | #Constraints: 43633
3322.91/3332.61 c #Conflicts: 1463000 | #Constraints: 44633
3322.91/3332.61 c #Conflicts: 1464000 | #Constraints: 45633
3322.91/3332.61 c #Conflicts: 1465000 | #Constraints: 46633
3322.91/3332.61 c #Conflicts: 1466000 | #Constraints: 47633
3322.91/3332.61 c #Conflicts: 1467000 | #Constraints: 48633
3322.91/3332.61 c INPROCESSING
3322.91/3332.61 c GARBAGE COLLECT
3322.91/3332.61 c #Conflicts: 1468000 | #Constraints: 25646
3322.91/3332.61 c #Conflicts: 1469000 | #Constraints: 26646
3322.91/3332.61 c #Conflicts: 1470000 | #Constraints: 27646
3322.91/3332.61 c #Conflicts: 1471000 | #Constraints: 28646
3322.91/3332.61 c #Conflicts: 1472000 | #Constraints: 29646
3322.91/3332.61 c #Conflicts: 1473000 | #Constraints: 30646
3322.91/3332.61 c #Conflicts: 1474000 | #Constraints: 31646
3594.42/3604.97 c #Conflicts: 1475000 | #Constraints: 32646
3594.42/3604.97 c #Conflicts: 1476000 | #Constraints: 33646
3594.42/3604.97 c #Conflicts: 1477000 | #Constraints: 34646
3594.42/3604.97 c #Conflicts: 1478000 | #Constraints: 35646
3594.42/3604.97 c #Conflicts: 1479000 | #Constraints: 36646
3594.42/3604.97 c #Conflicts: 1480000 | #Constraints: 37646
3594.42/3604.97 c #Conflicts: 1481000 | #Constraints: 38646
3594.42/3604.97 c #Conflicts: 1482000 | #Constraints: 39646
3594.42/3604.97 c #Conflicts: 1483000 | #Constraints: 40646
3594.42/3604.97 c #Conflicts: 1484000 | #Constraints: 41646
3594.42/3604.97 c #Conflicts: 1485000 | #Constraints: 42646
3594.42/3604.97 c #Conflicts: 1486000 | #Constraints: 43646
3594.42/3604.97 c #Conflicts: 1487000 | #Constraints: 44646
3594.42/3604.97 c #Conflicts: 1488000 | #Constraints: 45646
3594.42/3604.97 c #Conflicts: 1489000 | #Constraints: 46646
3594.42/3604.97 c #Conflicts: 1490000 | #Constraints: 47646
3594.42/3604.97 c #Conflicts: 1491000 | #Constraints: 48646
3594.42/3604.97 c INPROCESSING
3594.42/3604.97 c GARBAGE COLLECT
3594.42/3604.97 c #Conflicts: 1492000 | #Constraints: 25440
3594.42/3604.97 c #Conflicts: 1493000 | #Constraints: 26440
3594.42/3604.97 c #Conflicts: 1494000 | #Constraints: 27440
3594.42/3604.97 c #Conflicts: 1495000 | #Constraints: 28440
3594.42/3604.97 c #Conflicts: 1496000 | #Constraints: 29440
3594.42/3604.97 c #Conflicts: 1497000 | #Constraints: 30440
3594.42/3604.97 c #Conflicts: 1498000 | #Constraints: 31440
3594.42/3604.97 c #Conflicts: 1499000 | #Constraints: 32440
3594.42/3604.97 c #Conflicts: 1500000 | #Constraints: 33440
3594.42/3604.97 c #Conflicts: 1501000 | #Constraints: 34440
3594.42/3604.97 c #Conflicts: 1502000 | #Constraints: 35440
3594.42/3604.97 c #Conflicts: 1503000 | #Constraints: 36440
3594.42/3604.97 c #Conflicts: 1504000 | #Constraints: 37440
3594.42/3604.97 c #Conflicts: 1505000 | #Constraints: 38440
3594.42/3604.97 c #Conflicts: 1506000 | #Constraints: 39440
3594.42/3604.97 c #Conflicts: 1507000 | #Constraints: 40440
3594.42/3604.97 c #Conflicts: 1508000 | #Constraints: 41440
3594.42/3604.97 c #Conflicts: 1509000 | #Constraints: 42440
3594.42/3604.97 c #Conflicts: 1510000 | #Constraints: 43440
3594.42/3604.97 c #Conflicts: 1511000 | #Constraints: 44440
3594.42/3604.97 c #Conflicts: 1512000 | #Constraints: 45440
3594.42/3604.97 c #Conflicts: 1513000 | #Constraints: 46440
3594.42/3604.97 c #Conflicts: 1514000 | #Constraints: 47440
3594.42/3604.97 c #Conflicts: 1515000 | #Constraints: 48440
3594.42/3604.97 c #Conflicts: 1516000 | #Constraints: 49440
3594.42/3604.97 c INPROCESSING
3594.42/3604.97 c GARBAGE COLLECT
3594.42/3604.97 c #Conflicts: 1517000 | #Constraints: 26036
3594.42/3604.97 c #Conflicts: 1518000 | #Constraints: 27036
3594.42/3604.97 c #Conflicts: 1519000 | #Constraints: 28036
3594.42/3604.97 c #Conflicts: 1520000 | #Constraints: 29036
3594.42/3604.97 c #Conflicts: 1521000 | #Constraints: 30036
3594.42/3604.97 c #Conflicts: 1522000 | #Constraints: 31036
3594.42/3604.97 c #Conflicts: 1523000 | #Constraints: 32036
3594.42/3604.97 c #Conflicts: 1524000 | #Constraints: 33036
3594.42/3604.97 c #Conflicts: 1525000 | #Constraints: 34036
3594.42/3604.97 c #Conflicts: 1526000 | #Constraints: 35036
3594.42/3604.97 c #Conflicts: 1527000 | #Constraints: 36036
3594.42/3604.97 c #Conflicts: 1528000 | #Constraints: 37036
3594.42/3604.97 c #Conflicts: 1529000 | #Constraints: 38036
3594.42/3604.97 c #Conflicts: 1530000 | #Constraints: 39036
3594.42/3604.97 c #Conflicts: 1531000 | #Constraints: 40036
3594.42/3604.97 c #Conflicts: 1532000 | #Constraints: 41036
3594.42/3604.97 c #Conflicts: 1533000 | #Constraints: 42036
3594.42/3604.97 c #Conflicts: 1534000 | #Constraints: 43036
3594.42/3604.97 c #Conflicts: 1535000 | #Constraints: 44036
3594.42/3604.97 c #Conflicts: 1536000 | #Constraints: 45036
3594.42/3604.97 c #Conflicts: 1537000 | #Constraints: 46036
3594.42/3604.97 c #Conflicts: 1538000 | #Constraints: 47036
3594.42/3604.97 c #Conflicts: 1539000 | #Constraints: 48036
3594.42/3604.97 c #Conflicts: 1540000 | #Constraints: 49036
3594.42/3604.97 c #Conflicts: 1541000 | #Constraints: 50036
3594.42/3604.97 c INPROCESSING
3594.42/3604.97 c GARBAGE COLLECT
3594.42/3604.97 c #Conflicts: 1542000 | #Constraints: 26438
3594.42/3604.97 c #Conflicts: 1543000 | #Constraints: 27438
3594.42/3604.97 c #Conflicts: 1544000 | #Constraints: 28438
3594.42/3604.97 c #Conflicts: 1545000 | #Constraints: 29438
3594.42/3604.97 c #Conflicts: 1546000 | #Constraints: 30438
3594.42/3604.97 c #Conflicts: 1547000 | #Constraints: 31438
3594.42/3604.97 c #Conflicts: 1548000 | #Constraints: 32438
3594.42/3604.97 c #Conflicts: 1549000 | #Constraints: 33438
3594.42/3604.97 c #Conflicts: 1550000 | #Constraints: 34438
3600.00/3610.50 c #Conflicts: 1551000 | #Constraints: 35438
3600.00/3610.50 c #Conflicts: 1552000 | #Constraints: 36438
3600.00/3610.50 c cpu time 3569.5 s
3600.00/3610.50 c deterministic time 1 1.00e+00
3600.00/3610.50 c optimization time 3569.28 s
3600.00/3610.50 c total solve time 0 s
3600.00/3610.50 c core-guided solve time 0 s
3600.00/3610.50 c propagation time 0.015582 s
3600.00/3610.50 c conflict analysis time 0 s
3600.00/3610.50 c propagations 0
3600.00/3610.50 c resolve steps 0
3600.00/3610.50 c decisions 0
3600.00/3610.50 c conflicts 0
3600.00/3610.50 c restarts 0
3600.00/3610.50 c inprocessing phases 0
3600.00/3610.50 c garbage collections 0 ,( -nan )
3600.00/3610.50 c input clauses 20670 ,( 47.99 )
3600.00/3610.50 c input cardinalities 800 ,( 1.86 )
3600.00/3610.50 c input general constraints 21600 ,( 50.15 )
3600.00/3610.50 c input average constraint length 7.25
3600.00/3610.50 c input average constraint degree 5.25
3600.00/3610.50 c learned clauses 0 ,( 0.00 )
3600.00/3610.50 c learned cardinalities 0 ,( 0.00 )
3600.00/3610.50 c learned general constraints 0 ,( 0.00 )
3600.00/3610.50 c learned average constraint length 0.00
3600.00/3610.50 c learned average constraint degree 0.00
3600.00/3610.50 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3610.50 c counting CF 32, 64, 128, Arb: 21601 , 0 , 0 , 0
3600.00/3610.50 c watched constraints 0 ,( 0.00 )
3600.00/3610.50 c counting constraints 21600 ,( 100.00 )
3600.00/3610.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3610.50 c gcd simplifications 0
3600.00/3610.50 c detected cardinalities 0
3600.00/3610.50 c weakened non-implied lits 0
3600.00/3610.50 c weakened non-implying lits 0
3600.00/3610.50 c original variables 2700
3600.00/3610.50 c clausal propagations 0
3600.00/3610.50 c cardinality propagations 0
3600.00/3610.50 c watched propagations 0
3600.00/3610.50 c counting propagations 0
3600.00/3610.50 c watch lookups 0
3600.00/3610.50 c watch backjump lookups 0
3600.00/3610.50 c watch checks 0
3600.00/3610.50 c propagation checks 0
3600.00/3610.50 c constraint additions 0
3600.00/3610.50 c trail pops 0
3600.00/3610.50 c formula constraints 43070
3600.00/3610.50 c learned constraints 0
3600.00/3610.50 c bound constraints 0
3600.00/3610.50 c core-guided constraints 0
3600.00/3610.50 c encountered formula constraints 0
3600.00/3610.50 c encountered learned constraints 0
3600.00/3610.50 c encountered bound constraints 0
3600.00/3610.50 c encountered core-guided constraints 0
3600.00/3610.50 c LP total time 0 s
3600.00/3610.50 c LP solve time 0 s
3600.00/3610.50 c LP constraints added 0
3600.00/3610.50 c LP constraints removed 0
3600.00/3610.50 c LP pivots internal 0
3600.00/3610.50 c LP pivots root 0
3600.00/3610.50 c LP calls 0
3600.00/3610.50 c LP optimalities 0
3600.00/3610.50 c LP no pivot count 0
3600.00/3610.50 c LP infeasibilities 0
3600.00/3610.50 c LP valid Farkas constraints 0
3600.00/3610.50 c LP learned Farkas constraints 0
3600.00/3610.50 c LP basis resets 0
3600.00/3610.50 c LP cycling count 0
3600.00/3610.50 c LP singular count 0
3600.00/3610.50 c LP no primal count 0
3600.00/3610.50 c LP no farkas count 0
3600.00/3610.50 c LP other issue count 0
3600.00/3610.50 c LP Gomory cuts 0
3600.00/3610.50 c LP learned cuts 0
3600.00/3610.50 c LP deleted cuts 0
3600.00/3610.50 c LP encountered Gomory constraints 0
3600.00/3610.50 c LP encountered Farkas constraints 0
3600.00/3610.50 c LP encountered learned Farkas constraints 0
3600.00/3610.50 c CG auxiliary variables introduced 0
3600.00/3610.50 c CG solutions found 0
3600.00/3610.50 c CG cores constructed 0
3600.00/3610.50 c CG core cardinality constraints returned 0
3600.00/3610.50 c CG unit cores 0
3600.00/3610.50 c CG single cores 0
3600.00/3610.50 c CG blocks removed during cardinality reduction 0
3600.00/3610.50 c CG first core best 0
3600.00/3610.50 c CG decision core best 0
3600.00/3610.50 c CG core reduction tie 0
3600.00/3610.50 c CG core degree average 0.00
3600.00/3610.50 c CG core slack average 0.00
3600.00/3610.50 c CG core upper bound improvements 0
3600.00/3610.50 c STR number of successful calls 0
3600.00/3610.50 c STR number of unsuccessful calls 0
3600.00/3610.50 c STR number of inconclusive calls 0
3600.00/3610.50 c STR number of successful attempts 0
3600.00/3610.50 c STR number of unsuccessful attempts 0
3600.00/3610.50 c STR number of inconclusive attempts 0
3600.00/3610.50 c STR average degree increase per successful call inf
3600.00/3610.50 c STR average degree increase per successful attempt inf
3600.00/3610.50 c STR total number of conflicts for successful attempts 0
3600.00/3610.50 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.50 c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.50 c STR average number of conflicts per successful attempt inf
3600.00/3610.50 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.50 c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.50 c AVG.sumWPerc 88.92
3600.00/3610.50 c bigint constraints 0
3600.00/3610.50 s UNKNOWN
3600.00/3610.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62189 MiB free)
memory of node 1: 64507 MiB (63544 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4486563-1751324080/watcher-4486563-1751324080 -o /tmp/evaluation-result-4486563-1751324080/solver-4486563-1751324080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751316835-44777 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4486563-1751324080.opb PROOFDIR/proof-4486563-1751324080
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=46027, runsolver pid=46024
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.11 4.12 4.09 5/275 46029
/proc/meminfo: memFree=128740832/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=59464 memory=13824 CPUtime=0.07 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 1792 0 0 0 6 1 0 0 20 0 1 0 48085723 60891136 3456 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 14866 3456 1952 1147 0 2293 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 63656 KiB
Current children cumulated memory: 16896 KiB
[startup+0.205683 s]*
/proc/loadavg: 4.11 4.12 4.09 5/275 46029
/proc/meminfo: memFree=128734784/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=66716 memory=24816 CPUtime=0.18 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 3995 0 0 0 15 3 0 0 20 0 1 0 48085723 68317184 6172 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 16679 6172 2240 1147 0 4106 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 70908 KiB
Current children cumulated memory: 27888 KiB
[startup+0.30567 s]*
/proc/loadavg: 4.11 4.12 4.09 5/275 46029
/proc/meminfo: memFree=128689356/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=113004 memory=57088 CPUtime=0.28 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 8552 0 0 0 24 4 0 0 20 0 1 0 48085723 115716096 14272 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 28251 14272 2336 1147 0 15678 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 117196 KiB
Current children cumulated memory: 60160 KiB
[startup+0.700154 s]
/proc/loadavg: 4.11 4.12 4.09 5/275 46029
/proc/meminfo: memFree=128685576/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=118208 memory=65556 CPUtime=0.67 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 10171 0 0 0 53 14 0 0 20 0 1 0 48085723 121044992 16389 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 29552 16389 2336 1147 0 16979 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122400 KiB
Current children cumulated memory: 68628 KiB
[startup+1.50016 s]
/proc/loadavg: 4.11 4.12 4.09 5/275 46029
/proc/meminfo: memFree=128657396/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=132884 memory=80252 CPUtime=1.46 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 12304 0 0 0 127 19 0 0 20 0 1 0 48085723 136073216 20063 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 33221 20063 2336 1147 0 20648 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 137076 KiB
Current children cumulated memory: 83324 KiB
[startup+3.10486 s]
/proc/loadavg: 4.11 4.12 4.09 5/275 46029
/proc/meminfo: memFree=128536652/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=146140 memory=93148 CPUtime=3.06 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 12980 0 0 0 278 28 0 0 20 0 1 0 48085723 149647360 23287 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 36535 23287 2336 1147 0 23962 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 150332 KiB
Current children cumulated memory: 96220 KiB
[startup+6.30014 s]
/proc/loadavg: 4.10 4.12 4.09 5/275 46029
/proc/meminfo: memFree=128375180/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=172720 memory=114732 CPUtime=6.26 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 14821 0 0 0 587 39 0 0 20 0 1 0 48085723 176865280 28683 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 43180 28683 2336 1147 0 30607 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 176912 KiB
Current children cumulated memory: 117804 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.09 5/275 46029
/proc/meminfo: memFree=128123116/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=176048 memory=119792 CPUtime=12.63 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 15584 0 0 0 1211 52 0 0 20 0 1 0 48085723 180273152 29948 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 44012 29948 2336 1147 0 31439 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 180240 KiB
Current children cumulated memory: 122864 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.09 5/275 46029
/proc/meminfo: memFree=127575012/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=207824 memory=140448 CPUtime=25.39 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 19712 0 0 0 2457 82 0 0 20 0 1 0 48085723 212811776 35112 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 51956 35112 2336 1147 0 39383 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 212016 KiB
Current children cumulated memory: 143520 KiB
[startup+51.1051 s]
/proc/loadavg: 4.51 4.21 4.12 5/275 46029
/proc/meminfo: memFree=126673564/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=221136 memory=159420 CPUtime=50.92 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 22931 0 0 0 4963 129 0 0 20 0 1 0 48085723 226443264 39855 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 55284 39855 2336 1147 0 42711 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 225328 KiB
Current children cumulated memory: 162492 KiB
[startup+102.3 s]
/proc/loadavg: 4.30 4.21 4.12 5/274 46032
/proc/meminfo: memFree=124828512/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=290028 memory=206340 CPUtime=101.98 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 32625 0 0 0 9983 215 0 0 20 0 1 0 48085723 296988672 51585 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 72507 51585 2336 1147 0 59934 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 294220 KiB
Current children cumulated memory: 209412 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/275 46041
/proc/meminfo: memFree=123114168/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=302316 memory=226016 CPUtime=161.8 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 36013 0 0 0 15884 296 0 0 20 0 1 0 48085723 309571584 56504 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 75579 56504 2336 1147 0 63006 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 306508 KiB
Current children cumulated memory: 229088 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.19 4.12 5/275 46044
/proc/meminfo: memFree=121479808/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=353364 memory=254368 CPUtime=221.63 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 41570 0 0 0 21791 372 0 0 20 0 1 0 48085723 361844736 63592 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 88341 63592 2336 1147 0 75768 0
################
# More data... #
################
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=645036 memory=577492 CPUtime=3153.1 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 80725 0 0 0 312552 2758 0 0 20 0 1 0 48085723 660516864 144373 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 161259 144373 2336 1147 0 148686 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 649228 KiB
Current children cumulated memory: 580564 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/273 46226
/proc/meminfo: memFree=74572216/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=645036 memory=577492 CPUtime=3212.93 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 80725 0 0 0 318496 2797 0 0 20 0 1 0 48085723 660516864 144373 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 161259 144373 2336 1147 0 148686 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 649228 KiB
Current children cumulated memory: 580564 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/273 46229
/proc/meminfo: memFree=73902508/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=646060 memory=578004 CPUtime=3272.76 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 80983 0 0 0 324439 2837 0 0 20 0 1 0 48085723 661565440 144501 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 161515 144501 2336 1147 0 148942 0
Current children cumulated CPU time: 3272.76 s
Current children cumulated vsize: 650252 KiB
Current children cumulated memory: 581076 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/272 46231
/proc/meminfo: memFree=73333528/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=646060 memory=578004 CPUtime=3332.57 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 81105 0 0 0 330382 2875 0 0 20 0 1 0 48085723 661565440 144501 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 161515 144501 2336 1147 0 148942 0
Current children cumulated CPU time: 3332.57 s
Current children cumulated vsize: 650252 KiB
Current children cumulated memory: 581076 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/272 46233
/proc/meminfo: memFree=72807712/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=646060 memory=578004 CPUtime=3392.41 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 81116 0 0 0 336331 2910 0 0 20 0 1 0 48085723 661565440 144501 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 161515 144501 2336 1147 0 148942 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 650252 KiB
Current children cumulated memory: 581076 KiB
[startup+3462.3 s]
/proc/loadavg: 4.29 4.15 4.10 5/273 46237
/proc/meminfo: memFree=72209616/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=646060 memory=578004 CPUtime=3452.23 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 81117 0 0 0 342268 2955 0 0 20 0 1 0 48085723 661565440 144501 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 161515 144501 2336 1147 0 148942 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 650252 KiB
Current children cumulated memory: 581076 KiB
[startup+3522.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/273 46239
/proc/meminfo: memFree=71581308/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=648108 memory=581244 CPUtime=3512.06 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 81418 0 0 0 348215 2991 0 0 20 0 1 0 48085723 663662592 145311 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 162027 145311 2336 1147 0 149454 0
Current children cumulated CPU time: 3512.06 s
Current children cumulated vsize: 652300 KiB
Current children cumulated memory: 584316 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/272 46241
/proc/meminfo: memFree=71064448/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=648108 memory=581244 CPUtime=3571.89 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 81419 0 0 0 354165 3024 0 0 20 0 1 0 48085723 663662592 145311 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 162027 145311 2336 1147 0 149454 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 652300 KiB
Current children cumulated memory: 584316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 3.82 4.11 4.09 2/251 46334
/proc/meminfo: memFree=101578204/131249996 swapFree=33010684/33010684
[pid=46027] ppid=46024 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/46027/stat : 46027 (run-opt-log.sh) S 46024 46027 44764 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48085722 4292608 768 18446744073709551615 94594361270272 94594362164805 140729154670720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94594362403856 94594362451600 94594388656128 140729154672929 140729154673124 140729154673124 140729154678726 0
/proc/46027/statm: 1048 768 704 219 0 110 0
[pid=46029] ppid=46027 vsize=648108 memory=581244 CPUtime=3600 cores=5,7
/proc/46029/stat : 46029 (roundingsat) R 46027 46027 44764 0 -1 4194304 81420 0 0 0 356950 3050 0 0 20 0 1 0 48085723 663662592 145311 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 162027 145311 2336 1147 0 149454 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 652300 KiB
Current children cumulated memory: 584316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 46027 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.001994 s
[startup+3610.77 s]
# the end of solver process 46029 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3569.52 s, system=30.5653 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.6 s]*
/proc/loadavg: 3.82 4.11 4.09 2/250 46334
/proc/meminfo: memFree=101595156/131249996 swapFree=33010684/33010684
[pid=46029] ppid=46024 vsize=648108 memory=581500 CPUtime=3600.03 cores=5,7
/proc/46029/stat : 46029 (roundingsat) D 46024 46027 44764 0 -1 4194304 81425 0 0 0 356950 3053 0 0 20 0 1 0 48085723 663662592 145375 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 162027 145375 2400 1147 0 149454 0
Current cumulated CPU time of completed processes: 0.001994 s
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 648108 KiB
Current children cumulated memory: 581500 KiB
[startup+3610.71 s]
/proc/loadavg: 3.82 4.11 4.09 2/250 46334
/proc/meminfo: memFree=101595156/131249996 swapFree=33010684/33010684
[pid=46029] ppid=46024 vsize=648108 memory=581500 CPUtime=3600.03 cores=5,7
/proc/46029/stat : 46029 (roundingsat) D 46024 46027 44764 0 -1 4194304 81425 0 0 0 356950 3053 0 0 20 0 1 0 48085723 663662592 145375 18446744073709551615 4227072 8923433 140736393087232 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 17571840 140736393091410 140736393091624 140736393091624 140736393097194 0
/proc/46029/statm: 162027 145375 2400 1147 0 149454 0
Current cumulated CPU time of completed processes: 0.001994 s
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 648108 KiB
Current children cumulated memory: 581500 KiB
Child status: 2
Real time (s): 3610.77
CPU time (s): 3600.08
CPU user time (s): 3569.52
CPU system time (s): 30.5653
CPU usage (%): 99.7042
Max. virtual memory (cumulated for all children) (KiB): 652300
Max. memory (cumulated for all children) (KiB): 584316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.52
system time used= 30.5653
maximum resident set size= 581500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81660
page faults= 0
swaps= 0
block input operations= 0
block output operations= 53875304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4253
involuntary context switches= 21913
# summary of solver processes directly reported to runsolver:
# pid: 46027,46029
# total CPU time (s): 3600.08
# total CPU user time (s): 3569.52
# total CPU system time (s): 30.5653
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99092 second user time and 17.0469 second system time
The end
Begin job on nodeC021 at 2025-07-01 00:54:40
IDJOB=4486563
IDBENCH=147023
IDSOLVER=3351
FILE ID=nodeC021/4486563-1751324080
RUNJOBID= nodeC021-1751316835-44777
SLURM_JOB_ID= 9594338
Free space on /tmp= 432564 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data10_3.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4486563-1751324080/watcher-4486563-1751324080 -o /tmp/evaluation-result-4486563-1751324080/solver-4486563-1751324080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751316835-44777 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4486563-1751324080.opb PROOFDIR/proof-4486563-1751324080
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 45d4d1161a77415ffbfc9841f6913b11
RANDOM SEED=1059892582
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.750
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.780
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3491.593
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3588.851
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.769
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.782
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3523.522
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128751140 kB
MemAvailable: 129609552 kB
Buffers: 3280 kB
Cached: 1664760 kB
SwapCached: 0 kB
Active: 524804 kB
Inactive: 1395612 kB
Active(anon): 270540 kB
Inactive(anon): 0 kB
Active(file): 254264 kB
Inactive(file): 1395612 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 217072 kB
Writeback: 4 kB
AnonPages: 255184 kB
Mapped: 117336 kB
Shmem: 18060 kB
KReclaimable: 95148 kB
Slab: 189368 kB
SReclaimable: 95148 kB
SUnreclaim: 94220 kB
KernelStack: 4400 kB
PageTables: 3676 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 620552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 98304 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432584 MiB
End job on nodeC021 at 2025-07-01 01:54:51