0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.05 c #variables 1600 #constraints 1600
0.00/0.05 c objective is ce32
0.00/0.06 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.06 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.021084
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.023055
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.033362
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.042612
0.08/0.11 c GLOBAL bounds - >= 0 @ 0.059278
0.08/0.15 c GLOBAL bounds - >= 0 @ 0.094685
0.08/0.19 c GLOBAL bounds - >= 0 @ 0.123571
0.18/0.25 c GLOBAL bounds - >= 0 @ 0.18063
0.18/0.30 c GLOBAL bounds - >= 0 @ 0.222764
0.29/0.40 c GLOBAL bounds - >= 0 @ 0.311937
0.39/0.48 c GLOBAL bounds - >= 0 @ 0.387036
0.39/0.52 c GLOBAL bounds - >= 0 @ 0.421954
0.48/0.61 c GLOBAL bounds - >= 0 @ 0.507985
0.58/0.68 c GLOBAL bounds - >= 0 @ 0.574369
0.76/0.82 c GLOBAL bounds - >= 0 @ 0.697129
0.86/0.97 c GLOBAL bounds - >= 0 @ 0.837343
1.16/1.29 c #Conflicts: 1000 | #Constraints: 2628
1.16/1.29 c GLOBAL bounds - >= 0 @ 1.14775
1.25/1.37 c GLOBAL bounds - >= 0 @ 1.22023
2.55/2.69 c #Conflicts: 2000 | #Constraints: 3632
2.55/2.69 c INPROCESSING
2.55/2.69 c GARBAGE COLLECT
2.55/2.69 c #Conflicts: 3000 | #Constraints: 3651
2.55/2.69 c GLOBAL bounds - >= 0 @ 2.49978
2.65/2.77 c GLOBAL bounds - >= 0 @ 2.58601
2.85/2.95 c GLOBAL bounds - >= 0 @ 2.753
3.06/3.11 c GLOBAL bounds - >= 0 @ 2.90635
3.15/3.29 c GLOBAL bounds - >= 0 @ 3.07148
3.25/3.38 c GLOBAL bounds - >= 0 @ 3.15513
3.45/3.52 c #Conflicts: 4000 | #Constraints: 4663
3.45/3.52 c GLOBAL bounds - >= 0 @ 3.29074
3.65/3.73 c INPROCESSING
3.65/3.73 c GARBAGE COLLECT
3.65/3.73 c GLOBAL bounds - >= 0 @ 3.50244
4.14/4.21 c GLOBAL bounds - >= 0 @ 3.95966
4.14/4.28 c #Conflicts: 5000 | #Constraints: 4088
4.14/4.28 c GLOBAL bounds - >= 0 @ 4.02773
4.25/4.35 c GLOBAL bounds - >= 0 @ 4.09044
4.74/4.86 c GLOBAL bounds - >= 0 @ 4.59352
6.44/6.53 c #Conflicts: 6000 | #Constraints: 5094
6.44/6.53 c INPROCESSING
6.44/6.53 c GARBAGE COLLECT
6.44/6.53 c #Conflicts: 7000 | #Constraints: 4104
6.44/6.53 c #Conflicts: 8000 | #Constraints: 5104
6.44/6.53 c GLOBAL bounds - >= 0 @ 6.23109
7.74/7.82 c #Conflicts: 9000 | #Constraints: 6106
7.74/7.82 c INPROCESSING
7.74/7.82 c GARBAGE COLLECT
7.74/7.82 c GLOBAL bounds - >= 0 @ 7.49128
7.74/7.86 c GLOBAL bounds - >= 0 @ 7.53876
8.83/8.93 c #Conflicts: 10000 | #Constraints: 4811
8.83/8.93 c #Conflicts: 11000 | #Constraints: 5811
8.83/8.93 c GLOBAL bounds - >= 0 @ 8.58165
8.94/9.05 c GLOBAL bounds - >= 0 @ 8.70103
9.13/9.22 c GLOBAL bounds - >= 0 @ 8.8614
9.24/9.33 c GLOBAL bounds - >= 0 @ 8.96824
9.43/9.52 c GLOBAL bounds - >= 0 @ 9.15365
9.63/9.78 c #Conflicts: 12000 | #Constraints: 6821
9.63/9.78 c INPROCESSING
9.63/9.78 c GARBAGE COLLECT
9.63/9.78 c GLOBAL bounds - >= 0 @ 9.40881
9.73/9.89 c GLOBAL bounds - >= 0 @ 9.52388
9.94/10.04 c GLOBAL bounds - >= 0 @ 9.66761
10.04/10.18 c GLOBAL bounds - >= 0 @ 9.80157
10.13/10.23 c GLOBAL bounds - >= 0 @ 9.85165
10.13/10.28 c GLOBAL bounds - >= 0 @ 9.90574
10.22/10.37 c GLOBAL bounds - >= 0 @ 9.99215
10.32/10.48 c GLOBAL bounds - >= 0 @ 10.1027
10.53/10.60 c #Conflicts: 13000 | #Constraints: 5296
10.53/10.60 c GLOBAL bounds - >= 0 @ 10.214
10.93/11.10 c GLOBAL bounds - >= 0 @ 10.7038
11.22/11.33 c #Conflicts: 14000 | #Constraints: 6300
11.22/11.33 c GLOBAL bounds - >= 0 @ 10.9411
11.42/11.55 c GLOBAL bounds - >= 0 @ 11.1398
11.82/11.91 c GLOBAL bounds - >= 0 @ 11.4956
15.51/15.65 c #Conflicts: 15000 | #Constraints: 7306
15.51/15.65 c INPROCESSING
15.51/15.65 c GARBAGE COLLECT
15.51/15.65 c #Conflicts: 16000 | #Constraints: 5526
15.51/15.65 c #Conflicts: 17000 | #Constraints: 6526
15.51/15.65 c #Conflicts: 18000 | #Constraints: 7526
15.51/15.65 c INPROCESSING
15.51/15.65 c GARBAGE COLLECT
15.51/15.65 c #Conflicts: 19000 | #Constraints: 5571
15.51/15.65 c GLOBAL bounds - >= 0 @ 15.1916
15.61/15.78 c GLOBAL bounds - >= 0 @ 15.3134
16.81/16.95 c #Conflicts: 20000 | #Constraints: 6575
16.81/16.95 c #Conflicts: 21000 | #Constraints: 7575
16.81/16.95 c GLOBAL bounds - >= 0 @ 16.4638
17.41/17.54 c INPROCESSING
17.41/17.54 c GARBAGE COLLECT
17.41/17.54 c GLOBAL bounds - >= 0 @ 17.0412
18.01/18.18 c #Conflicts: 22000 | #Constraints: 5384
18.01/18.18 c GLOBAL bounds - >= 0 @ 17.6618
20.60/20.77 c #Conflicts: 23000 | #Constraints: 6386
20.60/20.77 c #Conflicts: 24000 | #Constraints: 7386
20.60/20.77 c #Conflicts: 25000 | #Constraints: 8386
20.60/20.77 c INPROCESSING
20.60/20.77 c GARBAGE COLLECT
20.60/20.77 c GLOBAL bounds - >= 0 @ 20.2134
20.79/20.94 c GLOBAL bounds - >= 0 @ 20.382
23.49/23.70 c #Conflicts: 26000 | #Constraints: 5990
23.49/23.70 c #Conflicts: 27000 | #Constraints: 6990
23.49/23.70 c #Conflicts: 28000 | #Constraints: 7990
23.49/23.70 c #Conflicts: 29000 | #Constraints: 8990
23.49/23.70 c INPROCESSING
23.49/23.70 c GARBAGE COLLECT
23.49/23.70 c GLOBAL bounds - >= 0 @ 23.0945
24.49/24.68 c #Conflicts: 30000 | #Constraints: 6401
24.49/24.68 c GLOBAL bounds - >= 0 @ 24.0595
25.08/25.24 c #Conflicts: 31000 | #Constraints: 7403
25.08/25.24 c GLOBAL bounds - >= 0 @ 24.6091
28.07/28.28 c #Conflicts: 32000 | #Constraints: 8405
28.07/28.28 c #Conflicts: 33000 | #Constraints: 9405
28.07/28.28 c INPROCESSING
28.07/28.28 c GARBAGE COLLECT
28.07/28.28 c #Conflicts: 34000 | #Constraints: 6602
28.07/28.28 c GLOBAL bounds - >= 0 @ 27.5907
28.47/28.61 c GLOBAL bounds - >= 0 @ 27.9183
32.96/33.16 c #Conflicts: 35000 | #Constraints: 7606
32.96/33.16 c #Conflicts: 36000 | #Constraints: 8606
32.96/33.16 c #Conflicts: 37000 | #Constraints: 9606
32.96/33.16 c INPROCESSING
32.96/33.16 c GARBAGE COLLECT
32.96/33.16 c #Conflicts: 38000 | #Constraints: 6613
32.96/33.16 c #Conflicts: 39000 | #Constraints: 7613
32.96/33.16 c #Conflicts: 40000 | #Constraints: 8613
32.96/33.16 c GLOBAL bounds - >= 0 @ 32.4109
33.75/33.99 c #Conflicts: 41000 | #Constraints: 9615
33.75/33.99 c GLOBAL bounds - >= 0 @ 33.2257
35.96/36.17 c INPROCESSING
35.96/36.17 c GARBAGE COLLECT
35.96/36.17 c #Conflicts: 42000 | #Constraints: 6410
35.96/36.17 c #Conflicts: 43000 | #Constraints: 7410
35.96/36.17 c #Conflicts: 44000 | #Constraints: 8410
35.96/36.17 c GLOBAL bounds - >= 0 @ 35.3706
38.54/38.79 c #Conflicts: 45000 | #Constraints: 9412
38.54/38.79 c #Conflicts: 46000 | #Constraints: 10412
38.54/38.79 c INPROCESSING
38.54/38.79 c GARBAGE COLLECT
38.54/38.79 c GLOBAL bounds - >= 0 @ 37.9556
39.63/39.82 c #Conflicts: 47000 | #Constraints: 7018
39.63/39.82 c GLOBAL bounds - >= 0 @ 38.9607
40.23/40.43 c #Conflicts: 48000 | #Constraints: 8020
40.23/40.43 c GLOBAL bounds - >= 0 @ 39.5639
40.54/40.76 c GLOBAL bounds - >= 0 @ 39.8908
40.84/41.11 c GLOBAL bounds - >= 0 @ 40.2333
41.03/41.26 c #Conflicts: 49000 | #Constraints: 9026
41.03/41.26 c GLOBAL bounds - >= 0 @ 40.3844
41.42/41.61 c GLOBAL bounds - >= 0 @ 40.7306
42.63/42.89 c #Conflicts: 50000 | #Constraints: 10030
42.63/42.89 c GLOBAL bounds - >= 0 @ 41.9943
43.02/43.26 c GLOBAL bounds - >= 0 @ 42.347
46.31/46.54 c #Conflicts: 51000 | #Constraints: 11034
46.31/46.54 c INPROCESSING
46.31/46.54 c GARBAGE COLLECT
46.31/46.54 c #Conflicts: 52000 | #Constraints: 7424
46.31/46.54 c #Conflicts: 53000 | #Constraints: 8424
46.31/46.54 c #Conflicts: 54000 | #Constraints: 9424
46.31/46.54 c GLOBAL bounds - >= 0 @ 45.5829
47.82/48.06 c #Conflicts: 55000 | #Constraints: 10426
47.82/48.06 c GLOBAL bounds - >= 0 @ 47.0715
51.10/51.32 c #Conflicts: 56000 | #Constraints: 11428
51.10/51.32 c INPROCESSING
51.10/51.32 c GARBAGE COLLECT
51.10/51.32 c #Conflicts: 57000 | #Constraints: 7630
51.10/51.32 c #Conflicts: 58000 | #Constraints: 8630
51.10/51.32 c GLOBAL bounds - >= 0 @ 50.2721
53.90/54.19 c #Conflicts: 59000 | #Constraints: 9632
53.90/54.19 c #Conflicts: 60000 | #Constraints: 10632
53.90/54.19 c #Conflicts: 61000 | #Constraints: 11632
53.90/54.19 c INPROCESSING
53.90/54.19 c GARBAGE COLLECT
53.90/54.19 c GLOBAL bounds - >= 0 @ 53.1029
54.39/54.64 c GLOBAL bounds - >= 0 @ 53.5461
58.97/59.28 c #Conflicts: 62000 | #Constraints: 7647
58.97/59.28 c #Conflicts: 63000 | #Constraints: 8647
58.97/59.28 c #Conflicts: 64000 | #Constraints: 9647
58.97/59.28 c #Conflicts: 65000 | #Constraints: 10647
58.97/59.28 c #Conflicts: 66000 | #Constraints: 11647
58.97/59.28 c INPROCESSING
58.97/59.28 c GARBAGE COLLECT
58.97/59.28 c GLOBAL bounds - >= 0 @ 58.1323
60.07/60.31 c #Conflicts: 67000 | #Constraints: 7437
60.07/60.31 c GLOBAL bounds - >= 0 @ 59.1362
65.87/66.17 c #Conflicts: 68000 | #Constraints: 8439
65.87/66.17 c #Conflicts: 69000 | #Constraints: 9439
65.87/66.17 c #Conflicts: 70000 | #Constraints: 10439
65.87/66.17 c #Conflicts: 71000 | #Constraints: 11439
65.87/66.17 c #Conflicts: 72000 | #Constraints: 12439
65.87/66.17 c INPROCESSING
65.87/66.17 c GARBAGE COLLECT
65.87/66.17 c GLOBAL bounds - >= 0 @ 64.9165
71.03/71.37 c #Conflicts: 73000 | #Constraints: 8029
71.03/71.37 c #Conflicts: 74000 | #Constraints: 9029
71.03/71.37 c #Conflicts: 75000 | #Constraints: 10029
71.03/71.37 c #Conflicts: 76000 | #Constraints: 11029
71.03/71.37 c #Conflicts: 77000 | #Constraints: 12029
71.03/71.37 c GLOBAL bounds - >= 0 @ 70.0435
72.33/72.64 c #Conflicts: 78000 | #Constraints: 13031
72.33/72.64 c INPROCESSING
72.33/72.64 c GARBAGE COLLECT
72.33/72.64 c GLOBAL bounds - >= 0 @ 71.2971
75.84/76.12 c #Conflicts: 79000 | #Constraints: 8435
75.84/76.12 c #Conflicts: 80000 | #Constraints: 9435
75.84/76.12 c #Conflicts: 81000 | #Constraints: 10435
75.84/76.12 c GLOBAL bounds - >= 0 @ 74.7426
77.02/77.35 c #Conflicts: 82000 | #Constraints: 11437
77.02/77.35 c #Conflicts: 83000 | #Constraints: 12437
77.02/77.35 c GLOBAL bounds - >= 0 @ 75.9519
84.09/84.48 c #Conflicts: 84000 | #Constraints: 13439
84.09/84.48 c INPROCESSING
84.09/84.48 c GARBAGE COLLECT
84.09/84.48 c #Conflicts: 85000 | #Constraints: 8634
84.09/84.48 c #Conflicts: 86000 | #Constraints: 9634
84.09/84.48 c #Conflicts: 87000 | #Constraints: 10634
84.09/84.48 c #Conflicts: 88000 | #Constraints: 11634
84.09/84.48 c #Conflicts: 89000 | #Constraints: 12634
84.09/84.48 c #Conflicts: 90000 | #Constraints: 13634
84.09/84.48 c GLOBAL bounds - >= 0 @ 82.9836
87.49/87.86 c INPROCESSING
87.49/87.86 c GARBAGE COLLECT
87.49/87.86 c #Conflicts: 91000 | #Constraints: 8643
87.49/87.86 c #Conflicts: 92000 | #Constraints: 9643
87.49/87.86 c #Conflicts: 93000 | #Constraints: 10643
87.49/87.86 c GLOBAL bounds - >= 0 @ 86.3382
96.67/97.05 c #Conflicts: 94000 | #Constraints: 11645
96.67/97.05 c #Conflicts: 95000 | #Constraints: 12645
96.67/97.05 c #Conflicts: 96000 | #Constraints: 13645
96.67/97.05 c INPROCESSING
96.67/97.05 c GARBAGE COLLECT
96.67/97.05 c #Conflicts: 97000 | #Constraints: 8455
96.67/97.05 c #Conflicts: 98000 | #Constraints: 9455
96.67/97.05 c #Conflicts: 99000 | #Constraints: 10455
96.67/97.05 c #Conflicts: 100000 | #Constraints: 11455
96.67/97.05 c #Conflicts: 101000 | #Constraints: 12455
96.67/97.05 c GLOBAL bounds - >= 0 @ 95.3909
102.93/103.31 c #Conflicts: 102000 | #Constraints: 13457
102.93/103.31 c #Conflicts: 103000 | #Constraints: 14457
102.93/103.31 c INPROCESSING
102.93/103.31 c GARBAGE COLLECT
102.93/103.31 c #Conflicts: 104000 | #Constraints: 9056
102.93/103.31 c #Conflicts: 105000 | #Constraints: 10056
102.93/103.31 c #Conflicts: 106000 | #Constraints: 11056
102.93/103.31 c GLOBAL bounds - >= 0 @ 101.554
103.94/104.39 c #Conflicts: 107000 | #Constraints: 12058
103.94/104.39 c GLOBAL bounds - >= 0 @ 102.617
105.23/105.64 c #Conflicts: 108000 | #Constraints: 13060
105.23/105.64 c GLOBAL bounds - >= 0 @ 103.85
109.52/109.99 c #Conflicts: 109000 | #Constraints: 14062
109.52/109.99 c #Conflicts: 110000 | #Constraints: 15062
109.52/109.99 c INPROCESSING
109.52/109.99 c GARBAGE COLLECT
109.52/109.99 c #Conflicts: 111000 | #Constraints: 9449
109.52/109.99 c #Conflicts: 112000 | #Constraints: 10449
109.52/109.99 c GLOBAL bounds - >= 0 @ 108.116
111.62/112.02 c #Conflicts: 113000 | #Constraints: 11451
111.62/112.02 c #Conflicts: 114000 | #Constraints: 12451
111.62/112.02 c GLOBAL bounds - >= 0 @ 110.106
123.69/124.19 c #Conflicts: 115000 | #Constraints: 13453
123.69/124.19 c #Conflicts: 116000 | #Constraints: 14453
123.69/124.19 c #Conflicts: 117000 | #Constraints: 15453
123.69/124.19 c INPROCESSING
123.69/124.19 c GARBAGE COLLECT
123.69/124.19 c #Conflicts: 118000 | #Constraints: 9663
123.69/124.19 c #Conflicts: 119000 | #Constraints: 10663
123.69/124.19 c #Conflicts: 120000 | #Constraints: 11663
123.69/124.19 c #Conflicts: 121000 | #Constraints: 12663
123.69/124.19 c #Conflicts: 122000 | #Constraints: 13663
123.69/124.19 c #Conflicts: 123000 | #Constraints: 14663
123.69/124.19 c #Conflicts: 124000 | #Constraints: 15663
123.69/124.19 c GLOBAL bounds - >= 0 @ 122.127
140.92/141.49 c INPROCESSING
140.92/141.49 c GARBAGE COLLECT
140.92/141.49 c #Conflicts: 125000 | #Constraints: 9663
140.92/141.49 c #Conflicts: 126000 | #Constraints: 10663
140.92/141.49 c #Conflicts: 127000 | #Constraints: 11663
140.92/141.49 c #Conflicts: 128000 | #Constraints: 12663
140.92/141.49 c #Conflicts: 129000 | #Constraints: 13663
140.92/141.49 c #Conflicts: 130000 | #Constraints: 14663
140.92/141.49 c #Conflicts: 131000 | #Constraints: 15663
140.92/141.49 c INPROCESSING
140.92/141.49 c GARBAGE COLLECT
140.92/141.49 c #Conflicts: 132000 | #Constraints: 9454
140.92/141.49 c #Conflicts: 133000 | #Constraints: 10454
140.92/141.49 c #Conflicts: 134000 | #Constraints: 11454
140.92/141.49 c #Conflicts: 135000 | #Constraints: 12454
140.92/141.49 c #Conflicts: 136000 | #Constraints: 13454
140.92/141.49 c #Conflicts: 137000 | #Constraints: 14454
140.92/141.49 c #Conflicts: 138000 | #Constraints: 15454
140.92/141.49 c GLOBAL bounds - >= 0 @ 139.21
144.41/144.95 c #Conflicts: 139000 | #Constraints: 16456
144.41/144.95 c INPROCESSING
144.41/144.95 c GARBAGE COLLECT
144.41/144.95 c #Conflicts: 140000 | #Constraints: 10061
144.41/144.95 c #Conflicts: 141000 | #Constraints: 11061
144.41/144.95 c GLOBAL bounds - >= 0 @ 142.628
144.62/145.19 c GLOBAL bounds - >= 0 @ 142.86
152.68/153.25 c #Conflicts: 142000 | #Constraints: 12065
152.68/153.25 c #Conflicts: 143000 | #Constraints: 13065
152.68/153.25 c #Conflicts: 144000 | #Constraints: 14065
152.68/153.25 c #Conflicts: 145000 | #Constraints: 15065
152.68/153.25 c #Conflicts: 146000 | #Constraints: 16065
152.68/153.25 c #Conflicts: 147000 | #Constraints: 17065
152.68/153.25 c INPROCESSING
152.68/153.25 c GARBAGE COLLECT
152.68/153.25 c #Conflicts: 148000 | #Constraints: 10461
152.68/153.25 c GLOBAL bounds - >= 0 @ 150.829
154.59/155.12 c #Conflicts: 149000 | #Constraints: 11463
154.59/155.12 c GLOBAL bounds - >= 0 @ 152.661
156.49/157.08 c #Conflicts: 150000 | #Constraints: 12465
156.49/157.08 c #Conflicts: 151000 | #Constraints: 13465
156.49/157.08 c GLOBAL bounds - >= 0 @ 154.592
158.17/158.77 c #Conflicts: 152000 | #Constraints: 14467
158.17/158.77 c GLOBAL bounds - >= 0 @ 156.26
160.66/161.28 c #Conflicts: 153000 | #Constraints: 15469
160.66/161.28 c GLOBAL bounds - >= 0 @ 158.745
177.42/178.02 c #Conflicts: 154000 | #Constraints: 16471
177.42/178.02 c #Conflicts: 155000 | #Constraints: 17471
177.42/178.02 c INPROCESSING
177.42/178.02 c GARBAGE COLLECT
177.42/178.02 c #Conflicts: 156000 | #Constraints: 10674
177.42/178.02 c #Conflicts: 157000 | #Constraints: 11674
177.42/178.02 c #Conflicts: 158000 | #Constraints: 12674
177.42/178.02 c #Conflicts: 159000 | #Constraints: 13674
177.42/178.02 c #Conflicts: 160000 | #Constraints: 14674
177.42/178.02 c #Conflicts: 161000 | #Constraints: 15674
177.42/178.02 c #Conflicts: 162000 | #Constraints: 16674
177.42/178.02 c #Conflicts: 163000 | #Constraints: 17674
177.42/178.02 c INPROCESSING
177.42/178.02 c GARBAGE COLLECT
177.42/178.02 c #Conflicts: 164000 | #Constraints: 10667
177.42/178.02 c #Conflicts: 165000 | #Constraints: 11667
177.42/178.02 c GLOBAL bounds - >= 0 @ 175.265
201.23/201.96 c #Conflicts: 166000 | #Constraints: 12669
201.23/201.96 c #Conflicts: 167000 | #Constraints: 13669
201.23/201.96 c #Conflicts: 168000 | #Constraints: 14669
201.23/201.96 c #Conflicts: 169000 | #Constraints: 15669
201.23/201.96 c #Conflicts: 170000 | #Constraints: 16669
201.23/201.96 c #Conflicts: 171000 | #Constraints: 17669
201.23/201.96 c INPROCESSING
201.23/201.96 c GARBAGE COLLECT
201.23/201.96 c #Conflicts: 172000 | #Constraints: 10471
201.23/201.96 c #Conflicts: 173000 | #Constraints: 11471
201.23/201.96 c #Conflicts: 174000 | #Constraints: 12471
201.23/201.96 c #Conflicts: 175000 | #Constraints: 13471
201.23/201.96 c #Conflicts: 176000 | #Constraints: 14471
201.23/201.96 c #Conflicts: 177000 | #Constraints: 15471
201.23/201.96 c #Conflicts: 178000 | #Constraints: 16471
201.23/201.96 c #Conflicts: 179000 | #Constraints: 17471
201.23/201.96 c #Conflicts: 180000 | #Constraints: 18471
201.23/201.96 c INPROCESSING
201.23/201.96 c GARBAGE COLLECT
201.23/201.96 c #Conflicts: 181000 | #Constraints: 11072
201.23/201.96 c #Conflicts: 182000 | #Constraints: 12072
201.23/201.96 c GLOBAL bounds - >= 0 @ 198.855
206.43/207.12 c #Conflicts: 183000 | #Constraints: 13074
206.43/207.12 c #Conflicts: 184000 | #Constraints: 14074
206.43/207.12 c #Conflicts: 185000 | #Constraints: 15074
206.43/207.12 c #Conflicts: 186000 | #Constraints: 16074
206.43/207.12 c GLOBAL bounds - >= 0 @ 203.969
235.83/236.69 c #Conflicts: 187000 | #Constraints: 17076
235.83/236.69 c #Conflicts: 188000 | #Constraints: 18076
235.83/236.69 c #Conflicts: 189000 | #Constraints: 19076
235.83/236.69 c INPROCESSING
235.83/236.69 c GARBAGE COLLECT
235.83/236.69 c #Conflicts: 190000 | #Constraints: 11474
235.83/236.69 c #Conflicts: 191000 | #Constraints: 12474
235.83/236.69 c #Conflicts: 192000 | #Constraints: 13474
235.83/236.69 c #Conflicts: 193000 | #Constraints: 14474
235.83/236.69 c #Conflicts: 194000 | #Constraints: 15474
235.83/236.69 c #Conflicts: 195000 | #Constraints: 16474
235.83/236.69 c #Conflicts: 196000 | #Constraints: 17474
235.83/236.69 c #Conflicts: 197000 | #Constraints: 18474
235.83/236.69 c #Conflicts: 198000 | #Constraints: 19474
235.83/236.69 c INPROCESSING
235.83/236.69 c GARBAGE COLLECT
235.83/236.69 c #Conflicts: 199000 | #Constraints: 11677
235.83/236.69 c #Conflicts: 200000 | #Constraints: 12677
235.83/236.69 c #Conflicts: 201000 | #Constraints: 13677
235.83/236.69 c #Conflicts: 202000 | #Constraints: 14677
235.83/236.69 c #Conflicts: 203000 | #Constraints: 15677
235.83/236.69 c #Conflicts: 204000 | #Constraints: 16677
235.83/236.69 c #Conflicts: 205000 | #Constraints: 17677
235.83/236.69 c #Conflicts: 206000 | #Constraints: 18677
235.83/236.69 c #Conflicts: 207000 | #Constraints: 19677
235.83/236.69 c INPROCESSING
235.83/236.69 c GARBAGE COLLECT
235.83/236.69 c GLOBAL bounds - >= 0 @ 233.269
268.92/269.82 c #Conflicts: 208000 | #Constraints: 11675
268.92/269.82 c #Conflicts: 209000 | #Constraints: 12675
268.92/269.82 c #Conflicts: 210000 | #Constraints: 13675
268.92/269.82 c #Conflicts: 211000 | #Constraints: 14675
268.92/269.82 c #Conflicts: 212000 | #Constraints: 15675
268.92/269.82 c #Conflicts: 213000 | #Constraints: 16675
268.92/269.82 c #Conflicts: 214000 | #Constraints: 17675
268.92/269.82 c #Conflicts: 215000 | #Constraints: 18675
268.92/269.82 c #Conflicts: 216000 | #Constraints: 19675
268.92/269.82 c INPROCESSING
268.92/269.82 c GARBAGE COLLECT
268.92/269.82 c #Conflicts: 217000 | #Constraints: 11479
268.92/269.82 c #Conflicts: 218000 | #Constraints: 12479
268.92/269.82 c #Conflicts: 219000 | #Constraints: 13479
268.92/269.82 c #Conflicts: 220000 | #Constraints: 14479
268.92/269.82 c #Conflicts: 221000 | #Constraints: 15479
268.92/269.82 c #Conflicts: 222000 | #Constraints: 16479
268.92/269.82 c #Conflicts: 223000 | #Constraints: 17479
268.92/269.82 c #Conflicts: 224000 | #Constraints: 18479
268.92/269.82 c #Conflicts: 225000 | #Constraints: 19479
268.92/269.82 c #Conflicts: 226000 | #Constraints: 20479
268.92/269.82 c INPROCESSING
268.92/269.82 c GARBAGE COLLECT
268.92/269.82 c #Conflicts: 227000 | #Constraints: 12094
268.92/269.82 c #Conflicts: 228000 | #Constraints: 13094
268.92/269.82 c #Conflicts: 229000 | #Constraints: 14094
268.92/269.82 c #Conflicts: 230000 | #Constraints: 15094
268.92/269.82 c #Conflicts: 231000 | #Constraints: 16094
268.92/269.82 c GLOBAL bounds - >= 0 @ 266.118
285.19/286.15 c #Conflicts: 232000 | #Constraints: 17096
285.19/286.15 c #Conflicts: 233000 | #Constraints: 18096
285.19/286.15 c #Conflicts: 234000 | #Constraints: 19096
285.19/286.15 c #Conflicts: 235000 | #Constraints: 20096
285.19/286.15 c #Conflicts: 236000 | #Constraints: 21096
285.19/286.15 c INPROCESSING
285.19/286.15 c GARBAGE COLLECT
285.19/286.15 c #Conflicts: 237000 | #Constraints: 12490
285.19/286.15 c #Conflicts: 238000 | #Constraints: 13490
285.19/286.15 c #Conflicts: 239000 | #Constraints: 14490
285.19/286.15 c #Conflicts: 240000 | #Constraints: 15490
285.19/286.15 c #Conflicts: 241000 | #Constraints: 16490
285.19/286.15 c GLOBAL bounds - >= 0 @ 282.258
291.35/292.35 c #Conflicts: 242000 | #Constraints: 17492
291.35/292.35 c #Conflicts: 243000 | #Constraints: 18492
291.35/292.35 c #Conflicts: 244000 | #Constraints: 19492
291.35/292.35 c GLOBAL bounds - >= 0 @ 288.392
351.17/352.32 c #Conflicts: 245000 | #Constraints: 20494
351.17/352.32 c #Conflicts: 246000 | #Constraints: 21494
351.17/352.32 c INPROCESSING
351.17/352.32 c GARBAGE COLLECT
351.17/352.32 c #Conflicts: 247000 | #Constraints: 12681
351.17/352.32 c #Conflicts: 248000 | #Constraints: 13681
351.17/352.32 c #Conflicts: 249000 | #Constraints: 14681
351.17/352.32 c #Conflicts: 250000 | #Constraints: 15681
351.17/352.32 c #Conflicts: 251000 | #Constraints: 16681
351.17/352.32 c #Conflicts: 252000 | #Constraints: 17681
351.17/352.32 c #Conflicts: 253000 | #Constraints: 18681
351.17/352.32 c #Conflicts: 254000 | #Constraints: 19681
351.17/352.32 c #Conflicts: 255000 | #Constraints: 20681
351.17/352.32 c #Conflicts: 256000 | #Constraints: 21681
351.17/352.32 c INPROCESSING
351.17/352.32 c GARBAGE COLLECT
351.17/352.32 c #Conflicts: 257000 | #Constraints: 12675
351.17/352.32 c #Conflicts: 258000 | #Constraints: 13675
351.17/352.32 c #Conflicts: 259000 | #Constraints: 14675
351.17/352.32 c #Conflicts: 260000 | #Constraints: 15675
351.17/352.32 c #Conflicts: 261000 | #Constraints: 16675
351.17/352.32 c #Conflicts: 262000 | #Constraints: 17675
351.17/352.32 c #Conflicts: 263000 | #Constraints: 18675
351.17/352.32 c #Conflicts: 264000 | #Constraints: 19675
351.17/352.32 c #Conflicts: 265000 | #Constraints: 20675
351.17/352.32 c #Conflicts: 266000 | #Constraints: 21675
351.17/352.32 c INPROCESSING
351.17/352.32 c GARBAGE COLLECT
351.17/352.32 c #Conflicts: 267000 | #Constraints: 12476
351.17/352.32 c #Conflicts: 268000 | #Constraints: 13476
351.17/352.32 c #Conflicts: 269000 | #Constraints: 14476
351.17/352.32 c #Conflicts: 270000 | #Constraints: 15476
351.17/352.32 c #Conflicts: 271000 | #Constraints: 16476
351.17/352.32 c #Conflicts: 272000 | #Constraints: 17476
351.17/352.32 c #Conflicts: 273000 | #Constraints: 18476
351.17/352.32 c #Conflicts: 274000 | #Constraints: 19476
351.17/352.32 c #Conflicts: 275000 | #Constraints: 20476
351.17/352.32 c #Conflicts: 276000 | #Constraints: 21476
351.17/352.32 c #Conflicts: 277000 | #Constraints: 22476
351.17/352.32 c INPROCESSING
351.17/352.32 c GARBAGE COLLECT
351.17/352.32 c #Conflicts: 278000 | #Constraints: 13081
351.17/352.32 c #Conflicts: 279000 | #Constraints: 14081
351.17/352.32 c #Conflicts: 280000 | #Constraints: 15081
351.17/352.32 c #Conflicts: 281000 | #Constraints: 16081
351.17/352.32 c GLOBAL bounds - >= 0 @ 347.741
374.81/376.07 c #Conflicts: 282000 | #Constraints: 17083
374.81/376.07 c #Conflicts: 283000 | #Constraints: 18083
374.81/376.07 c #Conflicts: 284000 | #Constraints: 19083
374.81/376.07 c #Conflicts: 285000 | #Constraints: 20083
374.81/376.07 c #Conflicts: 286000 | #Constraints: 21083
374.81/376.07 c #Conflicts: 287000 | #Constraints: 22083
374.81/376.07 c #Conflicts: 288000 | #Constraints: 23083
374.81/376.07 c INPROCESSING
374.81/376.07 c GARBAGE COLLECT
374.81/376.07 c #Conflicts: 289000 | #Constraints: 13471
374.81/376.07 c #Conflicts: 290000 | #Constraints: 14471
374.81/376.07 c #Conflicts: 291000 | #Constraints: 15471
374.81/376.07 c #Conflicts: 292000 | #Constraints: 16471
374.81/376.07 c #Conflicts: 293000 | #Constraints: 17471
374.81/376.07 c #Conflicts: 294000 | #Constraints: 18471
374.81/376.07 c #Conflicts: 295000 | #Constraints: 19471
374.81/376.07 c #Conflicts: 296000 | #Constraints: 20471
374.81/376.07 c GLOBAL bounds - >= 0 @ 371.215
475.67/477.28 c #Conflicts: 297000 | #Constraints: 21473
475.67/477.28 c #Conflicts: 298000 | #Constraints: 22473
475.67/477.28 c #Conflicts: 299000 | #Constraints: 23473
475.67/477.28 c INPROCESSING
475.67/477.28 c GARBAGE COLLECT
475.67/477.28 c #Conflicts: 300000 | #Constraints: 13673
475.67/477.28 c #Conflicts: 301000 | #Constraints: 14673
475.67/477.28 c #Conflicts: 302000 | #Constraints: 15673
475.67/477.28 c #Conflicts: 303000 | #Constraints: 16673
475.67/477.28 c #Conflicts: 304000 | #Constraints: 17673
475.67/477.28 c #Conflicts: 305000 | #Constraints: 18673
475.67/477.28 c #Conflicts: 306000 | #Constraints: 19673
475.67/477.28 c #Conflicts: 307000 | #Constraints: 20673
475.67/477.28 c #Conflicts: 308000 | #Constraints: 21673
475.67/477.28 c #Conflicts: 309000 | #Constraints: 22673
475.67/477.28 c #Conflicts: 310000 | #Constraints: 23673
475.67/477.28 c INPROCESSING
475.67/477.28 c GARBAGE COLLECT
475.67/477.28 c #Conflicts: 311000 | #Constraints: 13687
475.67/477.28 c #Conflicts: 312000 | #Constraints: 14687
475.67/477.28 c #Conflicts: 313000 | #Constraints: 15687
475.67/477.28 c #Conflicts: 314000 | #Constraints: 16687
475.67/477.28 c #Conflicts: 315000 | #Constraints: 17687
475.67/477.28 c #Conflicts: 316000 | #Constraints: 18687
475.67/477.28 c #Conflicts: 317000 | #Constraints: 19687
475.67/477.28 c #Conflicts: 318000 | #Constraints: 20687
475.67/477.28 c #Conflicts: 319000 | #Constraints: 21687
475.67/477.28 c #Conflicts: 320000 | #Constraints: 22687
475.67/477.28 c #Conflicts: 321000 | #Constraints: 23687
475.67/477.28 c INPROCESSING
475.67/477.28 c GARBAGE COLLECT
475.67/477.28 c #Conflicts: 322000 | #Constraints: 13482
475.67/477.28 c #Conflicts: 323000 | #Constraints: 14482
475.67/477.28 c #Conflicts: 324000 | #Constraints: 15482
475.67/477.28 c #Conflicts: 325000 | #Constraints: 16482
475.67/477.28 c #Conflicts: 326000 | #Constraints: 17482
475.67/477.28 c #Conflicts: 327000 | #Constraints: 18482
475.67/477.28 c #Conflicts: 328000 | #Constraints: 19482
475.67/477.28 c #Conflicts: 329000 | #Constraints: 20482
475.67/477.28 c #Conflicts: 330000 | #Constraints: 21482
475.67/477.28 c #Conflicts: 331000 | #Constraints: 22482
475.67/477.28 c #Conflicts: 332000 | #Constraints: 23482
475.67/477.28 c #Conflicts: 333000 | #Constraints: 24482
475.67/477.28 c INPROCESSING
475.67/477.28 c GARBAGE COLLECT
475.67/477.28 c #Conflicts: 334000 | #Constraints: 14097
475.67/477.28 c #Conflicts: 335000 | #Constraints: 15097
475.67/477.28 c #Conflicts: 336000 | #Constraints: 16097
475.67/477.28 c #Conflicts: 337000 | #Constraints: 17097
475.67/477.28 c #Conflicts: 338000 | #Constraints: 18097
475.67/477.28 c #Conflicts: 339000 | #Constraints: 19097
475.67/477.28 c #Conflicts: 340000 | #Constraints: 20097
475.67/477.28 c #Conflicts: 341000 | #Constraints: 21097
475.67/477.28 c #Conflicts: 342000 | #Constraints: 22097
475.67/477.28 c #Conflicts: 343000 | #Constraints: 23097
475.67/477.28 c #Conflicts: 344000 | #Constraints: 24097
475.67/477.28 c #Conflicts: 345000 | #Constraints: 25097
475.67/477.28 c INPROCESSING
475.67/477.28 c GARBAGE COLLECT
475.67/477.28 c #Conflicts: 346000 | #Constraints: 14480
475.67/477.28 c #Conflicts: 347000 | #Constraints: 15480
475.67/477.28 c #Conflicts: 348000 | #Constraints: 16480
475.67/477.28 c #Conflicts: 349000 | #Constraints: 17480
475.67/477.28 c #Conflicts: 350000 | #Constraints: 18480
475.67/477.28 c #Conflicts: 351000 | #Constraints: 19480
475.67/477.28 c #Conflicts: 352000 | #Constraints: 20480
475.67/477.28 c #Conflicts: 353000 | #Constraints: 21480
475.67/477.28 c #Conflicts: 354000 | #Constraints: 22480
475.67/477.28 c #Conflicts: 355000 | #Constraints: 23480
475.67/477.28 c #Conflicts: 356000 | #Constraints: 24480
475.67/477.28 c #Conflicts: 357000 | #Constraints: 25480
475.67/477.28 c INPROCESSING
475.67/477.28 c GARBAGE COLLECT
475.67/477.28 c #Conflicts: 358000 | #Constraints: 14684
475.67/477.28 c #Conflicts: 359000 | #Constraints: 15684
475.67/477.28 c #Conflicts: 360000 | #Constraints: 16684
475.67/477.28 c #Conflicts: 361000 | #Constraints: 17684
475.67/477.28 c #Conflicts: 362000 | #Constraints: 18684
475.67/477.28 c GLOBAL bounds - >= 0 @ 471.332
628.49/630.58 c #Conflicts: 363000 | #Constraints: 19686
628.49/630.58 c #Conflicts: 364000 | #Constraints: 20686
628.49/630.58 c #Conflicts: 365000 | #Constraints: 21686
628.49/630.58 c #Conflicts: 366000 | #Constraints: 22686
628.49/630.58 c #Conflicts: 367000 | #Constraints: 23686
628.49/630.58 c #Conflicts: 368000 | #Constraints: 24686
628.49/630.58 c #Conflicts: 369000 | #Constraints: 25686
628.49/630.58 c INPROCESSING
628.49/630.58 c GARBAGE COLLECT
628.49/630.58 c #Conflicts: 370000 | #Constraints: 14684
628.49/630.58 c #Conflicts: 371000 | #Constraints: 15684
628.49/630.58 c #Conflicts: 372000 | #Constraints: 16684
628.49/630.58 c #Conflicts: 373000 | #Constraints: 17684
628.49/630.58 c #Conflicts: 374000 | #Constraints: 18684
628.49/630.58 c #Conflicts: 375000 | #Constraints: 19684
628.49/630.58 c #Conflicts: 376000 | #Constraints: 20684
628.49/630.58 c #Conflicts: 377000 | #Constraints: 21684
628.49/630.58 c #Conflicts: 378000 | #Constraints: 22684
628.49/630.58 c #Conflicts: 379000 | #Constraints: 23684
628.49/630.58 c #Conflicts: 380000 | #Constraints: 24684
628.49/630.58 c #Conflicts: 381000 | #Constraints: 25684
628.49/630.58 c INPROCESSING
628.49/630.58 c GARBAGE COLLECT
628.49/630.58 c #Conflicts: 382000 | #Constraints: 14487
628.49/630.58 c #Conflicts: 383000 | #Constraints: 15487
628.49/630.58 c #Conflicts: 384000 | #Constraints: 16487
628.49/630.58 c #Conflicts: 385000 | #Constraints: 17487
628.49/630.58 c #Conflicts: 386000 | #Constraints: 18487
628.49/630.58 c #Conflicts: 387000 | #Constraints: 19487
628.49/630.58 c #Conflicts: 388000 | #Constraints: 20487
628.49/630.58 c #Conflicts: 389000 | #Constraints: 21487
628.49/630.58 c #Conflicts: 390000 | #Constraints: 22487
628.49/630.58 c #Conflicts: 391000 | #Constraints: 23487
628.49/630.58 c #Conflicts: 392000 | #Constraints: 24487
628.49/630.58 c #Conflicts: 393000 | #Constraints: 25487
628.49/630.58 c #Conflicts: 394000 | #Constraints: 26487
628.49/630.58 c INPROCESSING
628.49/630.58 c GARBAGE COLLECT
628.49/630.58 c #Conflicts: 395000 | #Constraints: 15096
628.49/630.58 c #Conflicts: 396000 | #Constraints: 16096
628.49/630.58 c #Conflicts: 397000 | #Constraints: 17096
628.49/630.58 c #Conflicts: 398000 | #Constraints: 18096
628.49/630.58 c #Conflicts: 399000 | #Constraints: 19096
628.49/630.58 c #Conflicts: 400000 | #Constraints: 20096
628.49/630.58 c #Conflicts: 401000 | #Constraints: 21096
628.49/630.58 c #Conflicts: 402000 | #Constraints: 22096
628.49/630.58 c #Conflicts: 403000 | #Constraints: 23096
628.49/630.58 c #Conflicts: 404000 | #Constraints: 24096
628.49/630.58 c #Conflicts: 405000 | #Constraints: 25096
628.49/630.58 c #Conflicts: 406000 | #Constraints: 26096
628.49/630.58 c #Conflicts: 407000 | #Constraints: 27096
628.49/630.58 c INPROCESSING
628.49/630.58 c GARBAGE COLLECT
628.49/630.58 c #Conflicts: 408000 | #Constraints: 15495
628.49/630.58 c #Conflicts: 409000 | #Constraints: 16495
628.49/630.58 c #Conflicts: 410000 | #Constraints: 17495
628.49/630.58 c #Conflicts: 411000 | #Constraints: 18495
628.49/630.58 c #Conflicts: 412000 | #Constraints: 19495
628.49/630.58 c #Conflicts: 413000 | #Constraints: 20495
628.49/630.58 c #Conflicts: 414000 | #Constraints: 21495
628.49/630.58 c #Conflicts: 415000 | #Constraints: 22495
628.49/630.58 c #Conflicts: 416000 | #Constraints: 23495
628.49/630.58 c #Conflicts: 417000 | #Constraints: 24495
628.49/630.58 c #Conflicts: 418000 | #Constraints: 25495
628.49/630.58 c #Conflicts: 419000 | #Constraints: 26495
628.49/630.58 c #Conflicts: 420000 | #Constraints: 27495
628.49/630.58 c INPROCESSING
628.49/630.58 c GARBAGE COLLECT
628.49/630.58 c #Conflicts: 421000 | #Constraints: 15695
628.49/630.58 c #Conflicts: 422000 | #Constraints: 16695
628.49/630.58 c #Conflicts: 423000 | #Constraints: 17695
628.49/630.58 c #Conflicts: 424000 | #Constraints: 18695
628.49/630.58 c #Conflicts: 425000 | #Constraints: 19695
628.49/630.58 c #Conflicts: 426000 | #Constraints: 20695
628.49/630.58 c #Conflicts: 427000 | #Constraints: 21695
628.49/630.58 c #Conflicts: 428000 | #Constraints: 22695
628.49/630.58 c #Conflicts: 429000 | #Constraints: 23695
628.49/630.58 c #Conflicts: 430000 | #Constraints: 24695
628.49/630.58 c #Conflicts: 431000 | #Constraints: 25695
628.49/630.58 c #Conflicts: 432000 | #Constraints: 26695
628.49/630.58 c #Conflicts: 433000 | #Constraints: 27695
628.49/630.58 c INPROCESSING
628.49/630.58 c GARBAGE COLLECT
628.49/630.58 c #Conflicts: 434000 | #Constraints: 15703
628.49/630.58 c #Conflicts: 435000 | #Constraints: 16703
628.49/630.58 c #Conflicts: 436000 | #Constraints: 17703
628.49/630.58 c #Conflicts: 437000 | #Constraints: 18703
765.15/767.67 c #Conflicts: 438000 | #Constraints: 19703
765.15/767.67 c #Conflicts: 439000 | #Constraints: 20703
765.15/767.67 c #Conflicts: 440000 | #Constraints: 21703
765.15/767.67 c #Conflicts: 441000 | #Constraints: 22703
765.15/767.67 c #Conflicts: 442000 | #Constraints: 23703
765.15/767.67 c #Conflicts: 443000 | #Constraints: 24703
765.15/767.67 c #Conflicts: 444000 | #Constraints: 25703
765.15/767.67 c #Conflicts: 445000 | #Constraints: 26703
765.15/767.67 c #Conflicts: 446000 | #Constraints: 27703
765.15/767.67 c INPROCESSING
765.15/767.67 c GARBAGE COLLECT
765.15/767.67 c #Conflicts: 447000 | #Constraints: 15510
765.15/767.67 c #Conflicts: 448000 | #Constraints: 16510
765.15/767.67 c #Conflicts: 449000 | #Constraints: 17510
765.15/767.67 c #Conflicts: 450000 | #Constraints: 18510
765.15/767.67 c #Conflicts: 451000 | #Constraints: 19510
765.15/767.67 c #Conflicts: 452000 | #Constraints: 20510
765.15/767.67 c #Conflicts: 453000 | #Constraints: 21510
765.15/767.67 c #Conflicts: 454000 | #Constraints: 22510
765.15/767.67 c #Conflicts: 455000 | #Constraints: 23510
765.15/767.67 c #Conflicts: 456000 | #Constraints: 24510
765.15/767.67 c #Conflicts: 457000 | #Constraints: 25510
765.15/767.67 c #Conflicts: 458000 | #Constraints: 26510
765.15/767.67 c #Conflicts: 459000 | #Constraints: 27510
765.15/767.67 c #Conflicts: 460000 | #Constraints: 28510
765.15/767.67 c INPROCESSING
765.15/767.67 c GARBAGE COLLECT
765.15/767.67 c #Conflicts: 461000 | #Constraints: 16109
765.15/767.67 c #Conflicts: 462000 | #Constraints: 17109
765.15/767.67 c #Conflicts: 463000 | #Constraints: 18109
765.15/767.67 c #Conflicts: 464000 | #Constraints: 19109
765.15/767.67 c #Conflicts: 465000 | #Constraints: 20109
765.15/767.67 c #Conflicts: 466000 | #Constraints: 21109
765.15/767.67 c #Conflicts: 467000 | #Constraints: 22109
765.15/767.67 c #Conflicts: 468000 | #Constraints: 23109
765.15/767.67 c #Conflicts: 469000 | #Constraints: 24109
765.15/767.67 c #Conflicts: 470000 | #Constraints: 25109
765.15/767.67 c #Conflicts: 471000 | #Constraints: 26109
765.15/767.67 c #Conflicts: 472000 | #Constraints: 27109
765.15/767.67 c #Conflicts: 473000 | #Constraints: 28109
765.15/767.67 c #Conflicts: 474000 | #Constraints: 29109
765.15/767.67 c INPROCESSING
765.15/767.67 c GARBAGE COLLECT
765.15/767.67 c #Conflicts: 475000 | #Constraints: 16503
765.15/767.67 c #Conflicts: 476000 | #Constraints: 17503
765.15/767.67 c #Conflicts: 477000 | #Constraints: 18503
765.15/767.67 c #Conflicts: 478000 | #Constraints: 19503
765.15/767.67 c #Conflicts: 479000 | #Constraints: 20503
765.15/767.67 c #Conflicts: 480000 | #Constraints: 21503
765.15/767.67 c #Conflicts: 481000 | #Constraints: 22503
765.15/767.67 c #Conflicts: 482000 | #Constraints: 23503
765.15/767.67 c #Conflicts: 483000 | #Constraints: 24503
765.15/767.67 c #Conflicts: 484000 | #Constraints: 25503
765.15/767.67 c #Conflicts: 485000 | #Constraints: 26503
765.15/767.67 c #Conflicts: 486000 | #Constraints: 27503
765.15/767.67 c #Conflicts: 487000 | #Constraints: 28503
765.15/767.67 c #Conflicts: 488000 | #Constraints: 29503
765.15/767.67 c INPROCESSING
765.15/767.67 c GARBAGE COLLECT
765.15/767.67 c #Conflicts: 489000 | #Constraints: 16710
765.15/767.67 c #Conflicts: 490000 | #Constraints: 17710
765.15/767.67 c #Conflicts: 491000 | #Constraints: 18710
765.15/767.67 c #Conflicts: 492000 | #Constraints: 19710
765.15/767.67 c #Conflicts: 493000 | #Constraints: 20710
765.15/767.67 c #Conflicts: 494000 | #Constraints: 21710
765.15/767.67 c #Conflicts: 495000 | #Constraints: 22710
765.15/767.67 c #Conflicts: 496000 | #Constraints: 23710
765.15/767.67 c #Conflicts: 497000 | #Constraints: 24710
765.15/767.67 c #Conflicts: 498000 | #Constraints: 25710
765.15/767.67 c #Conflicts: 499000 | #Constraints: 26710
765.15/767.67 c #Conflicts: 500000 | #Constraints: 27710
765.15/767.67 c #Conflicts: 501000 | #Constraints: 28710
765.15/767.67 c #Conflicts: 502000 | #Constraints: 29710
765.15/767.67 c INPROCESSING
765.15/767.67 c GARBAGE COLLECT
765.15/767.67 c #Conflicts: 503000 | #Constraints: 16709
765.15/767.67 c #Conflicts: 504000 | #Constraints: 17709
765.15/767.67 c #Conflicts: 505000 | #Constraints: 18709
765.15/767.67 c #Conflicts: 506000 | #Constraints: 19709
765.15/767.67 c #Conflicts: 507000 | #Constraints: 20709
765.15/767.67 c #Conflicts: 508000 | #Constraints: 21709
765.15/767.67 c #Conflicts: 509000 | #Constraints: 22709
765.15/767.67 c #Conflicts: 510000 | #Constraints: 23709
765.15/767.67 c #Conflicts: 511000 | #Constraints: 24709
765.15/767.67 c #Conflicts: 512000 | #Constraints: 25709
765.15/767.67 c #Conflicts: 513000 | #Constraints: 26709
809.42/812.08 c #Conflicts: 514000 | #Constraints: 27709
809.42/812.08 c #Conflicts: 515000 | #Constraints: 28709
809.42/812.08 c #Conflicts: 516000 | #Constraints: 29709
809.42/812.08 c INPROCESSING
809.42/812.08 c GARBAGE COLLECT
809.42/812.08 c #Conflicts: 517000 | #Constraints: 16510
809.42/812.08 c #Conflicts: 518000 | #Constraints: 17510
809.42/812.08 c #Conflicts: 519000 | #Constraints: 18510
809.42/812.08 c #Conflicts: 520000 | #Constraints: 19510
809.42/812.08 c #Conflicts: 521000 | #Constraints: 20510
809.42/812.08 c #Conflicts: 522000 | #Constraints: 21510
809.42/812.08 c #Conflicts: 523000 | #Constraints: 22510
809.42/812.08 c #Conflicts: 524000 | #Constraints: 23510
809.42/812.08 c #Conflicts: 525000 | #Constraints: 24510
809.42/812.08 c #Conflicts: 526000 | #Constraints: 25510
809.42/812.08 c #Conflicts: 527000 | #Constraints: 26510
809.42/812.08 c #Conflicts: 528000 | #Constraints: 27510
809.42/812.08 c #Conflicts: 529000 | #Constraints: 28510
809.42/812.08 c #Conflicts: 530000 | #Constraints: 29510
809.42/812.08 c #Conflicts: 531000 | #Constraints: 30510
809.42/812.08 c INPROCESSING
809.42/812.08 c GARBAGE COLLECT
809.42/812.08 c GLOBAL bounds - >= 0 @ 803.361
856.37/859.15 c #Conflicts: 532000 | #Constraints: 17105
856.37/859.15 c #Conflicts: 533000 | #Constraints: 18105
856.37/859.15 c #Conflicts: 534000 | #Constraints: 19105
856.37/859.15 c #Conflicts: 535000 | #Constraints: 20105
856.37/859.15 c #Conflicts: 536000 | #Constraints: 21105
856.37/859.15 c #Conflicts: 537000 | #Constraints: 22105
856.37/859.15 c #Conflicts: 538000 | #Constraints: 23105
856.37/859.15 c #Conflicts: 539000 | #Constraints: 24105
856.37/859.15 c #Conflicts: 540000 | #Constraints: 25105
856.37/859.15 c #Conflicts: 541000 | #Constraints: 26105
856.37/859.15 c #Conflicts: 542000 | #Constraints: 27105
856.37/859.15 c #Conflicts: 543000 | #Constraints: 28105
856.37/859.15 c #Conflicts: 544000 | #Constraints: 29105
856.37/859.15 c #Conflicts: 545000 | #Constraints: 30105
856.37/859.15 c #Conflicts: 546000 | #Constraints: 31105
856.37/859.15 c INPROCESSING
856.37/859.15 c GARBAGE COLLECT
856.37/859.15 c #Conflicts: 547000 | #Constraints: 17502
856.37/859.15 c #Conflicts: 548000 | #Constraints: 18502
856.37/859.15 c #Conflicts: 549000 | #Constraints: 19502
856.37/859.15 c #Conflicts: 550000 | #Constraints: 20502
856.37/859.15 c #Conflicts: 551000 | #Constraints: 21502
856.37/859.15 c #Conflicts: 552000 | #Constraints: 22502
856.37/859.15 c #Conflicts: 553000 | #Constraints: 23502
856.37/859.15 c #Conflicts: 554000 | #Constraints: 24502
856.37/859.15 c #Conflicts: 555000 | #Constraints: 25502
856.37/859.15 c #Conflicts: 556000 | #Constraints: 26502
856.37/859.15 c #Conflicts: 557000 | #Constraints: 27502
856.37/859.15 c #Conflicts: 558000 | #Constraints: 28502
856.37/859.15 c GLOBAL bounds - >= 0 @ 849.965
858.45/861.28 c #Conflicts: 559000 | #Constraints: 29504
858.45/861.28 c GLOBAL bounds - >= 0 @ 852.066
864.13/866.98 c #Conflicts: 560000 | #Constraints: 30506
864.13/866.98 c #Conflicts: 561000 | #Constraints: 31506
864.13/866.98 c INPROCESSING
864.13/866.98 c GARBAGE COLLECT
864.13/866.98 c #Conflicts: 562000 | #Constraints: 17704
864.13/866.98 c GLOBAL bounds - >= 0 @ 857.693
879.49/882.35 c #Conflicts: 563000 | #Constraints: 18706
879.49/882.35 c #Conflicts: 564000 | #Constraints: 19706
879.49/882.35 c #Conflicts: 565000 | #Constraints: 20706
879.49/882.35 c #Conflicts: 566000 | #Constraints: 21706
879.49/882.35 c #Conflicts: 567000 | #Constraints: 22706
879.49/882.35 c #Conflicts: 568000 | #Constraints: 23706
879.49/882.35 c #Conflicts: 569000 | #Constraints: 24706
879.49/882.35 c #Conflicts: 570000 | #Constraints: 25706
879.49/882.35 c GLOBAL bounds - >= 0 @ 872.902
1012.38/1015.65 c #Conflicts: 571000 | #Constraints: 26708
1012.38/1015.65 c #Conflicts: 572000 | #Constraints: 27708
1012.38/1015.65 c #Conflicts: 573000 | #Constraints: 28708
1012.38/1015.65 c #Conflicts: 574000 | #Constraints: 29708
1012.38/1015.65 c #Conflicts: 575000 | #Constraints: 30708
1012.38/1015.65 c #Conflicts: 576000 | #Constraints: 31708
1012.38/1015.65 c INPROCESSING
1012.38/1015.65 c GARBAGE COLLECT
1012.38/1015.65 c #Conflicts: 577000 | #Constraints: 17715
1012.38/1015.65 c #Conflicts: 578000 | #Constraints: 18715
1012.38/1015.65 c #Conflicts: 579000 | #Constraints: 19715
1012.38/1015.65 c #Conflicts: 580000 | #Constraints: 20715
1012.38/1015.65 c #Conflicts: 581000 | #Constraints: 21715
1012.38/1015.65 c #Conflicts: 582000 | #Constraints: 22715
1012.38/1015.65 c #Conflicts: 583000 | #Constraints: 23715
1012.38/1015.65 c #Conflicts: 584000 | #Constraints: 24715
1012.38/1015.65 c #Conflicts: 585000 | #Constraints: 25715
1012.38/1015.65 c #Conflicts: 586000 | #Constraints: 26715
1012.38/1015.65 c #Conflicts: 587000 | #Constraints: 27715
1012.38/1015.65 c #Conflicts: 588000 | #Constraints: 28715
1012.38/1015.65 c #Conflicts: 589000 | #Constraints: 29715
1012.38/1015.65 c #Conflicts: 590000 | #Constraints: 30715
1012.38/1015.65 c #Conflicts: 591000 | #Constraints: 31715
1012.38/1015.65 c INPROCESSING
1012.38/1015.65 c GARBAGE COLLECT
1012.38/1015.65 c #Conflicts: 592000 | #Constraints: 17515
1012.38/1015.65 c #Conflicts: 593000 | #Constraints: 18515
1012.38/1015.65 c #Conflicts: 594000 | #Constraints: 19515
1012.38/1015.65 c #Conflicts: 595000 | #Constraints: 20515
1012.38/1015.65 c #Conflicts: 596000 | #Constraints: 21515
1012.38/1015.65 c #Conflicts: 597000 | #Constraints: 22515
1012.38/1015.65 c #Conflicts: 598000 | #Constraints: 23515
1012.38/1015.65 c #Conflicts: 599000 | #Constraints: 24515
1012.38/1015.65 c #Conflicts: 600000 | #Constraints: 25515
1012.38/1015.65 c #Conflicts: 601000 | #Constraints: 26515
1012.38/1015.65 c #Conflicts: 602000 | #Constraints: 27515
1012.38/1015.65 c #Conflicts: 603000 | #Constraints: 28515
1012.38/1015.65 c #Conflicts: 604000 | #Constraints: 29515
1012.38/1015.65 c #Conflicts: 605000 | #Constraints: 30515
1012.38/1015.65 c #Conflicts: 606000 | #Constraints: 31515
1012.38/1015.65 c #Conflicts: 607000 | #Constraints: 32515
1012.38/1015.65 c INPROCESSING
1012.38/1015.65 c GARBAGE COLLECT
1012.38/1015.65 c #Conflicts: 608000 | #Constraints: 18121
1012.38/1015.65 c #Conflicts: 609000 | #Constraints: 19121
1012.38/1015.65 c #Conflicts: 610000 | #Constraints: 20121
1012.38/1015.65 c #Conflicts: 611000 | #Constraints: 21121
1012.38/1015.65 c #Conflicts: 612000 | #Constraints: 22121
1012.38/1015.65 c #Conflicts: 613000 | #Constraints: 23121
1012.38/1015.65 c #Conflicts: 614000 | #Constraints: 24121
1012.38/1015.65 c #Conflicts: 615000 | #Constraints: 25121
1012.38/1015.65 c #Conflicts: 616000 | #Constraints: 26121
1012.38/1015.65 c #Conflicts: 617000 | #Constraints: 27121
1012.38/1015.65 c #Conflicts: 618000 | #Constraints: 28121
1012.38/1015.65 c #Conflicts: 619000 | #Constraints: 29121
1012.38/1015.65 c #Conflicts: 620000 | #Constraints: 30121
1012.38/1015.65 c #Conflicts: 621000 | #Constraints: 31121
1012.38/1015.65 c #Conflicts: 622000 | #Constraints: 32121
1012.38/1015.65 c #Conflicts: 623000 | #Constraints: 33121
1012.38/1015.65 c INPROCESSING
1012.38/1015.65 c GARBAGE COLLECT
1012.38/1015.65 c #Conflicts: 624000 | #Constraints: 18519
1012.38/1015.65 c #Conflicts: 625000 | #Constraints: 19519
1012.38/1015.65 c #Conflicts: 626000 | #Constraints: 20519
1012.38/1015.65 c #Conflicts: 627000 | #Constraints: 21519
1012.38/1015.65 c #Conflicts: 628000 | #Constraints: 22519
1012.38/1015.65 c #Conflicts: 629000 | #Constraints: 23519
1012.38/1015.65 c #Conflicts: 630000 | #Constraints: 24519
1012.38/1015.65 c #Conflicts: 631000 | #Constraints: 25519
1012.38/1015.65 c #Conflicts: 632000 | #Constraints: 26519
1012.38/1015.65 c #Conflicts: 633000 | #Constraints: 27519
1012.38/1015.65 c #Conflicts: 634000 | #Constraints: 28519
1012.38/1015.65 c #Conflicts: 635000 | #Constraints: 29519
1012.38/1015.65 c #Conflicts: 636000 | #Constraints: 30519
1012.38/1015.65 c #Conflicts: 637000 | #Constraints: 31519
1012.38/1015.65 c #Conflicts: 638000 | #Constraints: 32519
1012.38/1015.65 c #Conflicts: 639000 | #Constraints: 33519
1012.38/1015.65 c INPROCESSING
1012.38/1015.65 c GARBAGE COLLECT
1012.38/1015.65 c #Conflicts: 640000 | #Constraints: 18712
1012.38/1015.65 c #Conflicts: 641000 | #Constraints: 19712
1012.38/1015.65 c #Conflicts: 642000 | #Constraints: 20712
1012.38/1015.65 c #Conflicts: 643000 | #Constraints: 21712
1012.38/1015.65 c #Conflicts: 644000 | #Constraints: 22712
1012.38/1015.65 c #Conflicts: 645000 | #Constraints: 23712
1012.38/1015.65 c #Conflicts: 646000 | #Constraints: 24712
1136.27/1139.95 c #Conflicts: 647000 | #Constraints: 25712
1136.27/1139.95 c #Conflicts: 648000 | #Constraints: 26712
1136.27/1139.95 c #Conflicts: 649000 | #Constraints: 27712
1136.27/1139.95 c #Conflicts: 650000 | #Constraints: 28712
1136.27/1139.95 c #Conflicts: 651000 | #Constraints: 29712
1136.27/1139.95 c #Conflicts: 652000 | #Constraints: 30712
1136.27/1139.95 c #Conflicts: 653000 | #Constraints: 31712
1136.27/1139.95 c #Conflicts: 654000 | #Constraints: 32712
1136.27/1139.95 c #Conflicts: 655000 | #Constraints: 33712
1136.27/1139.95 c INPROCESSING
1136.27/1139.95 c GARBAGE COLLECT
1136.27/1139.95 c #Conflicts: 656000 | #Constraints: 18709
1136.27/1139.95 c #Conflicts: 657000 | #Constraints: 19709
1136.27/1139.95 c #Conflicts: 658000 | #Constraints: 20709
1136.27/1139.95 c #Conflicts: 659000 | #Constraints: 21709
1136.27/1139.95 c #Conflicts: 660000 | #Constraints: 22709
1136.27/1139.95 c #Conflicts: 661000 | #Constraints: 23709
1136.27/1139.95 c #Conflicts: 662000 | #Constraints: 24709
1136.27/1139.95 c #Conflicts: 663000 | #Constraints: 25709
1136.27/1139.95 c #Conflicts: 664000 | #Constraints: 26709
1136.27/1139.95 c #Conflicts: 665000 | #Constraints: 27709
1136.27/1139.95 c #Conflicts: 666000 | #Constraints: 28709
1136.27/1139.95 c #Conflicts: 667000 | #Constraints: 29709
1136.27/1139.95 c #Conflicts: 668000 | #Constraints: 30709
1136.27/1139.95 c #Conflicts: 669000 | #Constraints: 31709
1136.27/1139.95 c #Conflicts: 670000 | #Constraints: 32709
1136.27/1139.95 c #Conflicts: 671000 | #Constraints: 33709
1136.27/1139.95 c INPROCESSING
1136.27/1139.95 c GARBAGE COLLECT
1136.27/1139.95 c #Conflicts: 672000 | #Constraints: 18506
1136.27/1139.95 c #Conflicts: 673000 | #Constraints: 19506
1136.27/1139.95 c #Conflicts: 674000 | #Constraints: 20506
1136.27/1139.95 c #Conflicts: 675000 | #Constraints: 21506
1136.27/1139.95 c #Conflicts: 676000 | #Constraints: 22506
1136.27/1139.95 c #Conflicts: 677000 | #Constraints: 23506
1136.27/1139.95 c #Conflicts: 678000 | #Constraints: 24506
1136.27/1139.95 c #Conflicts: 679000 | #Constraints: 25506
1136.27/1139.95 c #Conflicts: 680000 | #Constraints: 26506
1136.27/1139.95 c #Conflicts: 681000 | #Constraints: 27506
1136.27/1139.95 c #Conflicts: 682000 | #Constraints: 28506
1136.27/1139.95 c #Conflicts: 683000 | #Constraints: 29506
1136.27/1139.95 c #Conflicts: 684000 | #Constraints: 30506
1136.27/1139.95 c #Conflicts: 685000 | #Constraints: 31506
1136.27/1139.95 c #Conflicts: 686000 | #Constraints: 32506
1136.27/1139.95 c #Conflicts: 687000 | #Constraints: 33506
1136.27/1139.95 c #Conflicts: 688000 | #Constraints: 34506
1136.27/1139.95 c INPROCESSING
1136.27/1139.95 c GARBAGE COLLECT
1136.27/1139.95 c #Conflicts: 689000 | #Constraints: 19110
1136.27/1139.95 c #Conflicts: 690000 | #Constraints: 20110
1136.27/1139.95 c #Conflicts: 691000 | #Constraints: 21110
1136.27/1139.95 c #Conflicts: 692000 | #Constraints: 22110
1136.27/1139.95 c #Conflicts: 693000 | #Constraints: 23110
1136.27/1139.95 c #Conflicts: 694000 | #Constraints: 24110
1136.27/1139.95 c #Conflicts: 695000 | #Constraints: 25110
1136.27/1139.95 c #Conflicts: 696000 | #Constraints: 26110
1136.27/1139.95 c #Conflicts: 697000 | #Constraints: 27110
1136.27/1139.95 c #Conflicts: 698000 | #Constraints: 28110
1136.27/1139.95 c #Conflicts: 699000 | #Constraints: 29110
1136.27/1139.95 c #Conflicts: 700000 | #Constraints: 30110
1136.27/1139.95 c #Conflicts: 701000 | #Constraints: 31110
1136.27/1139.95 c #Conflicts: 702000 | #Constraints: 32110
1136.27/1139.95 c #Conflicts: 703000 | #Constraints: 33110
1136.27/1139.95 c #Conflicts: 704000 | #Constraints: 34110
1136.27/1139.95 c #Conflicts: 705000 | #Constraints: 35110
1136.27/1139.95 c INPROCESSING
1136.27/1139.95 c GARBAGE COLLECT
1136.27/1139.95 c #Conflicts: 706000 | #Constraints: 19509
1136.27/1139.95 c #Conflicts: 707000 | #Constraints: 20509
1136.27/1139.95 c #Conflicts: 708000 | #Constraints: 21509
1136.27/1139.95 c #Conflicts: 709000 | #Constraints: 22509
1136.27/1139.95 c #Conflicts: 710000 | #Constraints: 23509
1136.27/1139.95 c #Conflicts: 711000 | #Constraints: 24509
1136.27/1139.95 c #Conflicts: 712000 | #Constraints: 25509
1136.27/1139.95 c #Conflicts: 713000 | #Constraints: 26509
1136.27/1139.95 c #Conflicts: 714000 | #Constraints: 27509
1136.27/1139.95 c #Conflicts: 715000 | #Constraints: 28509
1136.27/1139.95 c #Conflicts: 716000 | #Constraints: 29509
1136.27/1139.95 c #Conflicts: 717000 | #Constraints: 30509
1136.27/1139.95 c GLOBAL bounds - >= 0 @ 1128.04
1273.53/1277.66 c #Conflicts: 718000 | #Constraints: 31511
1273.53/1277.66 c #Conflicts: 719000 | #Constraints: 32511
1273.53/1277.66 c #Conflicts: 720000 | #Constraints: 33511
1273.53/1277.66 c #Conflicts: 721000 | #Constraints: 34511
1273.53/1277.66 c #Conflicts: 722000 | #Constraints: 35511
1273.53/1277.66 c INPROCESSING
1273.53/1277.66 c GARBAGE COLLECT
1273.53/1277.66 c #Conflicts: 723000 | #Constraints: 19714
1273.53/1277.66 c #Conflicts: 724000 | #Constraints: 20714
1273.53/1277.66 c #Conflicts: 725000 | #Constraints: 21714
1273.53/1277.66 c #Conflicts: 726000 | #Constraints: 22714
1273.53/1277.66 c #Conflicts: 727000 | #Constraints: 23714
1273.53/1277.66 c #Conflicts: 728000 | #Constraints: 24714
1273.53/1277.66 c #Conflicts: 729000 | #Constraints: 25714
1273.53/1277.66 c #Conflicts: 730000 | #Constraints: 26714
1273.53/1277.66 c #Conflicts: 731000 | #Constraints: 27714
1273.53/1277.66 c #Conflicts: 732000 | #Constraints: 28714
1273.53/1277.66 c #Conflicts: 733000 | #Constraints: 29714
1273.53/1277.66 c #Conflicts: 734000 | #Constraints: 30714
1273.53/1277.66 c #Conflicts: 735000 | #Constraints: 31714
1273.53/1277.66 c #Conflicts: 736000 | #Constraints: 32714
1273.53/1277.66 c #Conflicts: 737000 | #Constraints: 33714
1273.53/1277.66 c #Conflicts: 738000 | #Constraints: 34714
1273.53/1277.66 c #Conflicts: 739000 | #Constraints: 35714
1273.53/1277.66 c INPROCESSING
1273.53/1277.66 c GARBAGE COLLECT
1273.53/1277.66 c #Conflicts: 740000 | #Constraints: 19713
1273.53/1277.66 c #Conflicts: 741000 | #Constraints: 20713
1273.53/1277.66 c #Conflicts: 742000 | #Constraints: 21713
1273.53/1277.66 c #Conflicts: 743000 | #Constraints: 22713
1273.53/1277.66 c #Conflicts: 744000 | #Constraints: 23713
1273.53/1277.66 c #Conflicts: 745000 | #Constraints: 24713
1273.53/1277.66 c #Conflicts: 746000 | #Constraints: 25713
1273.53/1277.66 c #Conflicts: 747000 | #Constraints: 26713
1273.53/1277.66 c #Conflicts: 748000 | #Constraints: 27713
1273.53/1277.66 c #Conflicts: 749000 | #Constraints: 28713
1273.53/1277.66 c #Conflicts: 750000 | #Constraints: 29713
1273.53/1277.66 c #Conflicts: 751000 | #Constraints: 30713
1273.53/1277.66 c #Conflicts: 752000 | #Constraints: 31713
1273.53/1277.66 c #Conflicts: 753000 | #Constraints: 32713
1273.53/1277.66 c #Conflicts: 754000 | #Constraints: 33713
1273.53/1277.66 c #Conflicts: 755000 | #Constraints: 34713
1273.53/1277.66 c #Conflicts: 756000 | #Constraints: 35713
1273.53/1277.66 c INPROCESSING
1273.53/1277.66 c GARBAGE COLLECT
1273.53/1277.66 c #Conflicts: 757000 | #Constraints: 19511
1273.53/1277.66 c #Conflicts: 758000 | #Constraints: 20511
1273.53/1277.66 c #Conflicts: 759000 | #Constraints: 21511
1273.53/1277.66 c #Conflicts: 760000 | #Constraints: 22511
1273.53/1277.66 c #Conflicts: 761000 | #Constraints: 23511
1273.53/1277.66 c #Conflicts: 762000 | #Constraints: 24511
1273.53/1277.66 c #Conflicts: 763000 | #Constraints: 25511
1273.53/1277.66 c #Conflicts: 764000 | #Constraints: 26511
1273.53/1277.66 c #Conflicts: 765000 | #Constraints: 27511
1273.53/1277.66 c #Conflicts: 766000 | #Constraints: 28511
1273.53/1277.66 c #Conflicts: 767000 | #Constraints: 29511
1273.53/1277.66 c #Conflicts: 768000 | #Constraints: 30511
1273.53/1277.66 c #Conflicts: 769000 | #Constraints: 31511
1273.53/1277.66 c #Conflicts: 770000 | #Constraints: 32511
1273.53/1277.66 c #Conflicts: 771000 | #Constraints: 33511
1273.53/1277.66 c #Conflicts: 772000 | #Constraints: 34511
1273.53/1277.66 c #Conflicts: 773000 | #Constraints: 35511
1273.53/1277.66 c #Conflicts: 774000 | #Constraints: 36511
1273.53/1277.66 c INPROCESSING
1273.53/1277.66 c GARBAGE COLLECT
1273.53/1277.66 c #Conflicts: 775000 | #Constraints: 20117
1273.53/1277.66 c #Conflicts: 776000 | #Constraints: 21117
1273.53/1277.66 c #Conflicts: 777000 | #Constraints: 22117
1273.53/1277.66 c #Conflicts: 778000 | #Constraints: 23117
1273.53/1277.66 c #Conflicts: 779000 | #Constraints: 24117
1273.53/1277.66 c #Conflicts: 780000 | #Constraints: 25117
1273.53/1277.66 c #Conflicts: 781000 | #Constraints: 26117
1273.53/1277.66 c #Conflicts: 782000 | #Constraints: 27117
1273.53/1277.66 c #Conflicts: 783000 | #Constraints: 28117
1273.53/1277.66 c #Conflicts: 784000 | #Constraints: 29117
1273.53/1277.66 c #Conflicts: 785000 | #Constraints: 30117
1273.53/1277.66 c #Conflicts: 786000 | #Constraints: 31117
1273.53/1277.66 c #Conflicts: 787000 | #Constraints: 32117
1273.53/1277.66 c #Conflicts: 788000 | #Constraints: 33117
1273.53/1277.66 c #Conflicts: 789000 | #Constraints: 34117
1273.53/1277.66 c #Conflicts: 790000 | #Constraints: 35117
1273.53/1277.66 c #Conflicts: 791000 | #Constraints: 36117
1273.53/1277.66 c #Conflicts: 792000 | #Constraints: 37117
1273.53/1277.66 c INPROCESSING
1273.53/1277.66 c GARBAGE COLLECT
1273.53/1277.66 c #Conflicts: 793000 | #Constraints: 20506
1431.12/1435.74 c #Conflicts: 794000 | #Constraints: 21506
1431.12/1435.74 c #Conflicts: 795000 | #Constraints: 22506
1431.12/1435.74 c #Conflicts: 796000 | #Constraints: 23506
1431.12/1435.74 c #Conflicts: 797000 | #Constraints: 24506
1431.12/1435.74 c #Conflicts: 798000 | #Constraints: 25506
1431.12/1435.74 c #Conflicts: 799000 | #Constraints: 26506
1431.12/1435.74 c #Conflicts: 800000 | #Constraints: 27506
1431.12/1435.74 c #Conflicts: 801000 | #Constraints: 28506
1431.12/1435.74 c #Conflicts: 802000 | #Constraints: 29506
1431.12/1435.74 c #Conflicts: 803000 | #Constraints: 30506
1431.12/1435.74 c #Conflicts: 804000 | #Constraints: 31506
1431.12/1435.74 c #Conflicts: 805000 | #Constraints: 32506
1431.12/1435.74 c #Conflicts: 806000 | #Constraints: 33506
1431.12/1435.74 c #Conflicts: 807000 | #Constraints: 34506
1431.12/1435.74 c #Conflicts: 808000 | #Constraints: 35506
1431.12/1435.74 c #Conflicts: 809000 | #Constraints: 36506
1431.12/1435.74 c #Conflicts: 810000 | #Constraints: 37506
1431.12/1435.74 c INPROCESSING
1431.12/1435.74 c GARBAGE COLLECT
1431.12/1435.74 c #Conflicts: 811000 | #Constraints: 20723
1431.12/1435.74 c #Conflicts: 812000 | #Constraints: 21723
1431.12/1435.74 c #Conflicts: 813000 | #Constraints: 22723
1431.12/1435.74 c #Conflicts: 814000 | #Constraints: 23723
1431.12/1435.74 c #Conflicts: 815000 | #Constraints: 24723
1431.12/1435.74 c #Conflicts: 816000 | #Constraints: 25723
1431.12/1435.74 c #Conflicts: 817000 | #Constraints: 26723
1431.12/1435.74 c #Conflicts: 818000 | #Constraints: 27723
1431.12/1435.74 c #Conflicts: 819000 | #Constraints: 28723
1431.12/1435.74 c #Conflicts: 820000 | #Constraints: 29723
1431.12/1435.74 c #Conflicts: 821000 | #Constraints: 30723
1431.12/1435.74 c #Conflicts: 822000 | #Constraints: 31723
1431.12/1435.74 c #Conflicts: 823000 | #Constraints: 32723
1431.12/1435.74 c #Conflicts: 824000 | #Constraints: 33723
1431.12/1435.74 c #Conflicts: 825000 | #Constraints: 34723
1431.12/1435.74 c #Conflicts: 826000 | #Constraints: 35723
1431.12/1435.74 c #Conflicts: 827000 | #Constraints: 36723
1431.12/1435.74 c #Conflicts: 828000 | #Constraints: 37723
1431.12/1435.74 c INPROCESSING
1431.12/1435.74 c GARBAGE COLLECT
1431.12/1435.74 c #Conflicts: 829000 | #Constraints: 20711
1431.12/1435.74 c #Conflicts: 830000 | #Constraints: 21711
1431.12/1435.74 c #Conflicts: 831000 | #Constraints: 22711
1431.12/1435.74 c #Conflicts: 832000 | #Constraints: 23711
1431.12/1435.74 c #Conflicts: 833000 | #Constraints: 24711
1431.12/1435.74 c #Conflicts: 834000 | #Constraints: 25711
1431.12/1435.74 c #Conflicts: 835000 | #Constraints: 26711
1431.12/1435.74 c #Conflicts: 836000 | #Constraints: 27711
1431.12/1435.74 c #Conflicts: 837000 | #Constraints: 28711
1431.12/1435.74 c #Conflicts: 838000 | #Constraints: 29711
1431.12/1435.74 c #Conflicts: 839000 | #Constraints: 30711
1431.12/1435.74 c #Conflicts: 840000 | #Constraints: 31711
1431.12/1435.74 c #Conflicts: 841000 | #Constraints: 32711
1431.12/1435.74 c #Conflicts: 842000 | #Constraints: 33711
1431.12/1435.74 c #Conflicts: 843000 | #Constraints: 34711
1431.12/1435.74 c #Conflicts: 844000 | #Constraints: 35711
1431.12/1435.74 c #Conflicts: 845000 | #Constraints: 36711
1431.12/1435.74 c #Conflicts: 846000 | #Constraints: 37711
1431.12/1435.74 c INPROCESSING
1431.12/1435.74 c GARBAGE COLLECT
1431.12/1435.74 c #Conflicts: 847000 | #Constraints: 20530
1431.12/1435.74 c #Conflicts: 848000 | #Constraints: 21530
1431.12/1435.74 c #Conflicts: 849000 | #Constraints: 22530
1431.12/1435.74 c #Conflicts: 850000 | #Constraints: 23530
1431.12/1435.74 c #Conflicts: 851000 | #Constraints: 24530
1431.12/1435.74 c #Conflicts: 852000 | #Constraints: 25530
1431.12/1435.74 c #Conflicts: 853000 | #Constraints: 26530
1431.12/1435.74 c #Conflicts: 854000 | #Constraints: 27530
1431.12/1435.74 c #Conflicts: 855000 | #Constraints: 28530
1431.12/1435.74 c #Conflicts: 856000 | #Constraints: 29530
1431.12/1435.74 c #Conflicts: 857000 | #Constraints: 30530
1431.12/1435.74 c #Conflicts: 858000 | #Constraints: 31530
1431.12/1435.74 c #Conflicts: 859000 | #Constraints: 32530
1431.12/1435.74 c #Conflicts: 860000 | #Constraints: 33530
1431.12/1435.74 c #Conflicts: 861000 | #Constraints: 34530
1431.12/1435.74 c #Conflicts: 862000 | #Constraints: 35530
1431.12/1435.74 c #Conflicts: 863000 | #Constraints: 36530
1431.12/1435.74 c #Conflicts: 864000 | #Constraints: 37530
1431.12/1435.74 c #Conflicts: 865000 | #Constraints: 38530
1431.12/1435.74 c INPROCESSING
1431.12/1435.74 c GARBAGE COLLECT
1431.12/1435.74 c #Conflicts: 866000 | #Constraints: 21130
1431.12/1435.74 c #Conflicts: 867000 | #Constraints: 22130
1431.12/1435.74 c #Conflicts: 868000 | #Constraints: 23130
1431.12/1435.74 c #Conflicts: 869000 | #Constraints: 24130
1456.74/1461.49 c #Conflicts: 870000 | #Constraints: 25130
1456.74/1461.49 c #Conflicts: 871000 | #Constraints: 26130
1456.74/1461.49 c #Conflicts: 872000 | #Constraints: 27130
1456.74/1461.49 c #Conflicts: 873000 | #Constraints: 28130
1456.74/1461.49 c #Conflicts: 874000 | #Constraints: 29130
1456.74/1461.49 c #Conflicts: 875000 | #Constraints: 30130
1456.74/1461.49 c #Conflicts: 876000 | #Constraints: 31130
1456.74/1461.49 c #Conflicts: 877000 | #Constraints: 32130
1456.74/1461.49 c #Conflicts: 878000 | #Constraints: 33130
1456.74/1461.49 c #Conflicts: 879000 | #Constraints: 34130
1456.74/1461.49 c GLOBAL bounds - >= 0 @ 1446.86
1513.66/1518.55 c #Conflicts: 880000 | #Constraints: 35132
1513.66/1518.55 c #Conflicts: 881000 | #Constraints: 36132
1513.66/1518.55 c #Conflicts: 882000 | #Constraints: 37132
1513.66/1518.55 c #Conflicts: 883000 | #Constraints: 38132
1513.66/1518.55 c #Conflicts: 884000 | #Constraints: 39132
1513.66/1518.55 c INPROCESSING
1513.66/1518.55 c GARBAGE COLLECT
1513.66/1518.55 c #Conflicts: 885000 | #Constraints: 21521
1513.66/1518.55 c #Conflicts: 886000 | #Constraints: 22521
1513.66/1518.55 c #Conflicts: 887000 | #Constraints: 23521
1513.66/1518.55 c #Conflicts: 888000 | #Constraints: 24521
1513.66/1518.55 c #Conflicts: 889000 | #Constraints: 25521
1513.66/1518.55 c #Conflicts: 890000 | #Constraints: 26521
1513.66/1518.55 c #Conflicts: 891000 | #Constraints: 27521
1513.66/1518.55 c #Conflicts: 892000 | #Constraints: 28521
1513.66/1518.55 c #Conflicts: 893000 | #Constraints: 29521
1513.66/1518.55 c #Conflicts: 894000 | #Constraints: 30521
1513.66/1518.55 c #Conflicts: 895000 | #Constraints: 31521
1513.66/1518.55 c #Conflicts: 896000 | #Constraints: 32521
1513.66/1518.55 c #Conflicts: 897000 | #Constraints: 33521
1513.66/1518.55 c #Conflicts: 898000 | #Constraints: 34521
1513.66/1518.55 c #Conflicts: 899000 | #Constraints: 35521
1513.66/1518.55 c #Conflicts: 900000 | #Constraints: 36521
1513.66/1518.55 c #Conflicts: 901000 | #Constraints: 37521
1513.66/1518.55 c #Conflicts: 902000 | #Constraints: 38521
1513.66/1518.55 c #Conflicts: 903000 | #Constraints: 39521
1513.66/1518.55 c INPROCESSING
1513.66/1518.55 c GARBAGE COLLECT
1513.66/1518.55 c #Conflicts: 904000 | #Constraints: 21735
1513.66/1518.55 c #Conflicts: 905000 | #Constraints: 22735
1513.66/1518.55 c #Conflicts: 906000 | #Constraints: 23735
1513.66/1518.55 c #Conflicts: 907000 | #Constraints: 24735
1513.66/1518.55 c #Conflicts: 908000 | #Constraints: 25735
1513.66/1518.55 c GLOBAL bounds - >= 0 @ 1503.38
1670.35/1675.79 c #Conflicts: 909000 | #Constraints: 26737
1670.35/1675.79 c #Conflicts: 910000 | #Constraints: 27737
1670.35/1675.79 c #Conflicts: 911000 | #Constraints: 28737
1670.35/1675.79 c #Conflicts: 912000 | #Constraints: 29737
1670.35/1675.79 c #Conflicts: 913000 | #Constraints: 30737
1670.35/1675.79 c #Conflicts: 914000 | #Constraints: 31737
1670.35/1675.79 c #Conflicts: 915000 | #Constraints: 32737
1670.35/1675.79 c #Conflicts: 916000 | #Constraints: 33737
1670.35/1675.79 c #Conflicts: 917000 | #Constraints: 34737
1670.35/1675.79 c #Conflicts: 918000 | #Constraints: 35737
1670.35/1675.79 c #Conflicts: 919000 | #Constraints: 36737
1670.35/1675.79 c #Conflicts: 920000 | #Constraints: 37737
1670.35/1675.79 c #Conflicts: 921000 | #Constraints: 38737
1670.35/1675.79 c #Conflicts: 922000 | #Constraints: 39737
1670.35/1675.79 c INPROCESSING
1670.35/1675.79 c GARBAGE COLLECT
1670.35/1675.79 c #Conflicts: 923000 | #Constraints: 21725
1670.35/1675.79 c #Conflicts: 924000 | #Constraints: 22725
1670.35/1675.79 c #Conflicts: 925000 | #Constraints: 23725
1670.35/1675.79 c #Conflicts: 926000 | #Constraints: 24725
1670.35/1675.79 c #Conflicts: 927000 | #Constraints: 25725
1670.35/1675.79 c #Conflicts: 928000 | #Constraints: 26725
1670.35/1675.79 c #Conflicts: 929000 | #Constraints: 27725
1670.35/1675.79 c #Conflicts: 930000 | #Constraints: 28725
1670.35/1675.79 c #Conflicts: 931000 | #Constraints: 29725
1670.35/1675.79 c #Conflicts: 932000 | #Constraints: 30725
1670.35/1675.79 c #Conflicts: 933000 | #Constraints: 31725
1670.35/1675.79 c #Conflicts: 934000 | #Constraints: 32725
1670.35/1675.79 c #Conflicts: 935000 | #Constraints: 33725
1670.35/1675.79 c #Conflicts: 936000 | #Constraints: 34725
1670.35/1675.79 c #Conflicts: 937000 | #Constraints: 35725
1670.35/1675.79 c #Conflicts: 938000 | #Constraints: 36725
1670.35/1675.79 c #Conflicts: 939000 | #Constraints: 37725
1670.35/1675.79 c #Conflicts: 940000 | #Constraints: 38725
1670.35/1675.79 c #Conflicts: 941000 | #Constraints: 39725
1670.35/1675.79 c INPROCESSING
1670.35/1675.79 c GARBAGE COLLECT
1670.35/1675.79 c #Conflicts: 942000 | #Constraints: 21532
1670.35/1675.79 c #Conflicts: 943000 | #Constraints: 22532
1670.35/1675.79 c #Conflicts: 944000 | #Constraints: 23532
1670.35/1675.79 c #Conflicts: 945000 | #Constraints: 24532
1670.35/1675.79 c #Conflicts: 946000 | #Constraints: 25532
1670.35/1675.79 c #Conflicts: 947000 | #Constraints: 26532
1670.35/1675.79 c #Conflicts: 948000 | #Constraints: 27532
1670.35/1675.79 c #Conflicts: 949000 | #Constraints: 28532
1670.35/1675.79 c #Conflicts: 950000 | #Constraints: 29532
1670.35/1675.79 c #Conflicts: 951000 | #Constraints: 30532
1670.35/1675.79 c #Conflicts: 952000 | #Constraints: 31532
1670.35/1675.79 c #Conflicts: 953000 | #Constraints: 32532
1670.35/1675.79 c #Conflicts: 954000 | #Constraints: 33532
1670.35/1675.79 c #Conflicts: 955000 | #Constraints: 34532
1670.35/1675.79 c #Conflicts: 956000 | #Constraints: 35532
1670.35/1675.79 c #Conflicts: 957000 | #Constraints: 36532
1670.35/1675.79 c #Conflicts: 958000 | #Constraints: 37532
1670.35/1675.79 c #Conflicts: 959000 | #Constraints: 38532
1670.35/1675.79 c #Conflicts: 960000 | #Constraints: 39532
1670.35/1675.79 c #Conflicts: 961000 | #Constraints: 40532
1670.35/1675.79 c INPROCESSING
1670.35/1675.79 c GARBAGE COLLECT
1670.35/1675.79 c #Conflicts: 962000 | #Constraints: 22126
1670.35/1675.79 c #Conflicts: 963000 | #Constraints: 23126
1670.35/1675.79 c #Conflicts: 964000 | #Constraints: 24126
1670.35/1675.79 c #Conflicts: 965000 | #Constraints: 25126
1670.35/1675.79 c #Conflicts: 966000 | #Constraints: 26126
1670.35/1675.79 c #Conflicts: 967000 | #Constraints: 27126
1670.35/1675.79 c #Conflicts: 968000 | #Constraints: 28126
1670.35/1675.79 c #Conflicts: 969000 | #Constraints: 29126
1670.35/1675.79 c #Conflicts: 970000 | #Constraints: 30126
1670.35/1675.79 c #Conflicts: 971000 | #Constraints: 31126
1670.35/1675.79 c #Conflicts: 972000 | #Constraints: 32126
1670.35/1675.79 c #Conflicts: 973000 | #Constraints: 33126
1670.35/1675.79 c #Conflicts: 974000 | #Constraints: 34126
1670.35/1675.79 c #Conflicts: 975000 | #Constraints: 35126
1670.35/1675.79 c #Conflicts: 976000 | #Constraints: 36126
1670.35/1675.79 c #Conflicts: 977000 | #Constraints: 37126
1670.35/1675.79 c #Conflicts: 978000 | #Constraints: 38126
1670.35/1675.79 c #Conflicts: 979000 | #Constraints: 39126
1670.35/1675.79 c #Conflicts: 980000 | #Constraints: 40126
1670.35/1675.79 c #Conflicts: 981000 | #Constraints: 41126
1670.35/1675.79 c INPROCESSING
1670.35/1675.79 c GARBAGE COLLECT
1670.35/1675.79 c #Conflicts: 982000 | #Constraints: 22533
1670.35/1675.79 c #Conflicts: 983000 | #Constraints: 23533
1670.35/1675.79 c #Conflicts: 984000 | #Constraints: 24533
1670.35/1675.79 c #Conflicts: 985000 | #Constraints: 25533
1847.27/1853.30 c #Conflicts: 986000 | #Constraints: 26533
1847.27/1853.30 c #Conflicts: 987000 | #Constraints: 27533
1847.27/1853.30 c #Conflicts: 988000 | #Constraints: 28533
1847.27/1853.30 c #Conflicts: 989000 | #Constraints: 29533
1847.27/1853.30 c #Conflicts: 990000 | #Constraints: 30533
1847.27/1853.30 c #Conflicts: 991000 | #Constraints: 31533
1847.27/1853.30 c #Conflicts: 992000 | #Constraints: 32533
1847.27/1853.30 c #Conflicts: 993000 | #Constraints: 33533
1847.27/1853.30 c #Conflicts: 994000 | #Constraints: 34533
1847.27/1853.30 c #Conflicts: 995000 | #Constraints: 35533
1847.27/1853.30 c #Conflicts: 996000 | #Constraints: 36533
1847.27/1853.30 c #Conflicts: 997000 | #Constraints: 37533
1847.27/1853.30 c #Conflicts: 998000 | #Constraints: 38533
1847.27/1853.30 c #Conflicts: 999000 | #Constraints: 39533
1847.27/1853.30 c #Conflicts: 1000000 | #Constraints: 40533
1847.27/1853.30 c #Conflicts: 1001000 | #Constraints: 41533
1847.27/1853.30 c INPROCESSING
1847.27/1853.30 c GARBAGE COLLECT
1847.27/1853.30 c #Conflicts: 1002000 | #Constraints: 22734
1847.27/1853.30 c #Conflicts: 1003000 | #Constraints: 23734
1847.27/1853.30 c #Conflicts: 1004000 | #Constraints: 24734
1847.27/1853.30 c #Conflicts: 1005000 | #Constraints: 25734
1847.27/1853.30 c #Conflicts: 1006000 | #Constraints: 26734
1847.27/1853.30 c #Conflicts: 1007000 | #Constraints: 27734
1847.27/1853.30 c #Conflicts: 1008000 | #Constraints: 28734
1847.27/1853.30 c #Conflicts: 1009000 | #Constraints: 29734
1847.27/1853.30 c #Conflicts: 1010000 | #Constraints: 30734
1847.27/1853.30 c #Conflicts: 1011000 | #Constraints: 31734
1847.27/1853.30 c #Conflicts: 1012000 | #Constraints: 32734
1847.27/1853.30 c #Conflicts: 1013000 | #Constraints: 33734
1847.27/1853.30 c #Conflicts: 1014000 | #Constraints: 34734
1847.27/1853.30 c #Conflicts: 1015000 | #Constraints: 35734
1847.27/1853.30 c #Conflicts: 1016000 | #Constraints: 36734
1847.27/1853.30 c #Conflicts: 1017000 | #Constraints: 37734
1847.27/1853.30 c #Conflicts: 1018000 | #Constraints: 38734
1847.27/1853.30 c #Conflicts: 1019000 | #Constraints: 39734
1847.27/1853.30 c #Conflicts: 1020000 | #Constraints: 40734
1847.27/1853.30 c #Conflicts: 1021000 | #Constraints: 41734
1847.27/1853.30 c INPROCESSING
1847.27/1853.30 c GARBAGE COLLECT
1847.27/1853.30 c #Conflicts: 1022000 | #Constraints: 22724
1847.27/1853.30 c #Conflicts: 1023000 | #Constraints: 23724
1847.27/1853.30 c #Conflicts: 1024000 | #Constraints: 24724
1847.27/1853.30 c #Conflicts: 1025000 | #Constraints: 25724
1847.27/1853.30 c #Conflicts: 1026000 | #Constraints: 26724
1847.27/1853.30 c #Conflicts: 1027000 | #Constraints: 27724
1847.27/1853.30 c #Conflicts: 1028000 | #Constraints: 28724
1847.27/1853.30 c #Conflicts: 1029000 | #Constraints: 29724
1847.27/1853.30 c #Conflicts: 1030000 | #Constraints: 30724
1847.27/1853.30 c #Conflicts: 1031000 | #Constraints: 31724
1847.27/1853.30 c #Conflicts: 1032000 | #Constraints: 32724
1847.27/1853.30 c #Conflicts: 1033000 | #Constraints: 33724
1847.27/1853.30 c #Conflicts: 1034000 | #Constraints: 34724
1847.27/1853.30 c #Conflicts: 1035000 | #Constraints: 35724
1847.27/1853.30 c #Conflicts: 1036000 | #Constraints: 36724
1847.27/1853.30 c #Conflicts: 1037000 | #Constraints: 37724
1847.27/1853.30 c #Conflicts: 1038000 | #Constraints: 38724
1847.27/1853.30 c #Conflicts: 1039000 | #Constraints: 39724
1847.27/1853.30 c #Conflicts: 1040000 | #Constraints: 40724
1847.27/1853.30 c #Conflicts: 1041000 | #Constraints: 41724
1847.27/1853.30 c INPROCESSING
1847.27/1853.30 c GARBAGE COLLECT
1847.27/1853.30 c #Conflicts: 1042000 | #Constraints: 22526
1847.27/1853.30 c #Conflicts: 1043000 | #Constraints: 23526
1847.27/1853.30 c #Conflicts: 1044000 | #Constraints: 24526
1847.27/1853.30 c #Conflicts: 1045000 | #Constraints: 25526
1847.27/1853.30 c #Conflicts: 1046000 | #Constraints: 26526
1847.27/1853.30 c #Conflicts: 1047000 | #Constraints: 27526
1847.27/1853.30 c #Conflicts: 1048000 | #Constraints: 28526
1847.27/1853.30 c #Conflicts: 1049000 | #Constraints: 29526
1847.27/1853.30 c #Conflicts: 1050000 | #Constraints: 30526
1847.27/1853.30 c #Conflicts: 1051000 | #Constraints: 31526
1847.27/1853.30 c #Conflicts: 1052000 | #Constraints: 32526
1847.27/1853.30 c #Conflicts: 1053000 | #Constraints: 33526
1847.27/1853.30 c #Conflicts: 1054000 | #Constraints: 34526
1847.27/1853.30 c #Conflicts: 1055000 | #Constraints: 35526
1847.27/1853.30 c #Conflicts: 1056000 | #Constraints: 36526
1847.27/1853.30 c #Conflicts: 1057000 | #Constraints: 37526
1847.27/1853.30 c #Conflicts: 1058000 | #Constraints: 38526
1847.27/1853.30 c #Conflicts: 1059000 | #Constraints: 39526
1847.27/1853.30 c #Conflicts: 1060000 | #Constraints: 40526
1847.27/1853.30 c #Conflicts: 1061000 | #Constraints: 41526
1847.27/1853.30 c #Conflicts: 1062000 | #Constraints: 42526
2088.99/2095.72 c INPROCESSING
2088.99/2095.72 c GARBAGE COLLECT
2088.99/2095.72 c #Conflicts: 1063000 | #Constraints: 23128
2088.99/2095.72 c #Conflicts: 1064000 | #Constraints: 24128
2088.99/2095.72 c #Conflicts: 1065000 | #Constraints: 25128
2088.99/2095.72 c #Conflicts: 1066000 | #Constraints: 26128
2088.99/2095.72 c #Conflicts: 1067000 | #Constraints: 27128
2088.99/2095.72 c #Conflicts: 1068000 | #Constraints: 28128
2088.99/2095.72 c #Conflicts: 1069000 | #Constraints: 29128
2088.99/2095.72 c #Conflicts: 1070000 | #Constraints: 30128
2088.99/2095.72 c #Conflicts: 1071000 | #Constraints: 31128
2088.99/2095.72 c #Conflicts: 1072000 | #Constraints: 32128
2088.99/2095.72 c #Conflicts: 1073000 | #Constraints: 33128
2088.99/2095.72 c #Conflicts: 1074000 | #Constraints: 34128
2088.99/2095.72 c #Conflicts: 1075000 | #Constraints: 35128
2088.99/2095.72 c #Conflicts: 1076000 | #Constraints: 36128
2088.99/2095.72 c #Conflicts: 1077000 | #Constraints: 37128
2088.99/2095.72 c #Conflicts: 1078000 | #Constraints: 38128
2088.99/2095.72 c #Conflicts: 1079000 | #Constraints: 39128
2088.99/2095.72 c #Conflicts: 1080000 | #Constraints: 40128
2088.99/2095.72 c #Conflicts: 1081000 | #Constraints: 41128
2088.99/2095.72 c #Conflicts: 1082000 | #Constraints: 42128
2088.99/2095.72 c #Conflicts: 1083000 | #Constraints: 43128
2088.99/2095.72 c INPROCESSING
2088.99/2095.72 c GARBAGE COLLECT
2088.99/2095.72 c #Conflicts: 1084000 | #Constraints: 23526
2088.99/2095.72 c #Conflicts: 1085000 | #Constraints: 24526
2088.99/2095.72 c #Conflicts: 1086000 | #Constraints: 25526
2088.99/2095.72 c #Conflicts: 1087000 | #Constraints: 26526
2088.99/2095.72 c #Conflicts: 1088000 | #Constraints: 27526
2088.99/2095.72 c #Conflicts: 1089000 | #Constraints: 28526
2088.99/2095.72 c #Conflicts: 1090000 | #Constraints: 29526
2088.99/2095.72 c #Conflicts: 1091000 | #Constraints: 30526
2088.99/2095.72 c #Conflicts: 1092000 | #Constraints: 31526
2088.99/2095.72 c #Conflicts: 1093000 | #Constraints: 32526
2088.99/2095.72 c #Conflicts: 1094000 | #Constraints: 33526
2088.99/2095.72 c #Conflicts: 1095000 | #Constraints: 34526
2088.99/2095.72 c #Conflicts: 1096000 | #Constraints: 35526
2088.99/2095.72 c #Conflicts: 1097000 | #Constraints: 36526
2088.99/2095.72 c #Conflicts: 1098000 | #Constraints: 37526
2088.99/2095.72 c #Conflicts: 1099000 | #Constraints: 38526
2088.99/2095.72 c #Conflicts: 1100000 | #Constraints: 39526
2088.99/2095.72 c #Conflicts: 1101000 | #Constraints: 40526
2088.99/2095.72 c #Conflicts: 1102000 | #Constraints: 41526
2088.99/2095.72 c #Conflicts: 1103000 | #Constraints: 42526
2088.99/2095.72 c #Conflicts: 1104000 | #Constraints: 43526
2088.99/2095.72 c INPROCESSING
2088.99/2095.72 c GARBAGE COLLECT
2088.99/2095.72 c #Conflicts: 1105000 | #Constraints: 23740
2088.99/2095.72 c #Conflicts: 1106000 | #Constraints: 24740
2088.99/2095.72 c #Conflicts: 1107000 | #Constraints: 25740
2088.99/2095.72 c #Conflicts: 1108000 | #Constraints: 26740
2088.99/2095.72 c #Conflicts: 1109000 | #Constraints: 27740
2088.99/2095.72 c #Conflicts: 1110000 | #Constraints: 28740
2088.99/2095.72 c #Conflicts: 1111000 | #Constraints: 29740
2088.99/2095.72 c #Conflicts: 1112000 | #Constraints: 30740
2088.99/2095.72 c #Conflicts: 1113000 | #Constraints: 31740
2088.99/2095.72 c #Conflicts: 1114000 | #Constraints: 32740
2088.99/2095.72 c #Conflicts: 1115000 | #Constraints: 33740
2088.99/2095.72 c #Conflicts: 1116000 | #Constraints: 34740
2088.99/2095.72 c #Conflicts: 1117000 | #Constraints: 35740
2088.99/2095.72 c #Conflicts: 1118000 | #Constraints: 36740
2088.99/2095.72 c #Conflicts: 1119000 | #Constraints: 37740
2088.99/2095.72 c #Conflicts: 1120000 | #Constraints: 38740
2088.99/2095.72 c #Conflicts: 1121000 | #Constraints: 39740
2088.99/2095.72 c #Conflicts: 1122000 | #Constraints: 40740
2088.99/2095.72 c #Conflicts: 1123000 | #Constraints: 41740
2088.99/2095.72 c #Conflicts: 1124000 | #Constraints: 42740
2088.99/2095.72 c #Conflicts: 1125000 | #Constraints: 43740
2088.99/2095.72 c INPROCESSING
2088.99/2095.72 c GARBAGE COLLECT
2088.99/2095.72 c #Conflicts: 1126000 | #Constraints: 23735
2088.99/2095.72 c #Conflicts: 1127000 | #Constraints: 24735
2088.99/2095.72 c #Conflicts: 1128000 | #Constraints: 25735
2088.99/2095.72 c #Conflicts: 1129000 | #Constraints: 26735
2088.99/2095.72 c #Conflicts: 1130000 | #Constraints: 27735
2088.99/2095.72 c #Conflicts: 1131000 | #Constraints: 28735
2088.99/2095.72 c #Conflicts: 1132000 | #Constraints: 29735
2088.99/2095.72 c #Conflicts: 1133000 | #Constraints: 30735
2088.99/2095.72 c #Conflicts: 1134000 | #Constraints: 31735
2088.99/2095.72 c #Conflicts: 1135000 | #Constraints: 32735
2088.99/2095.72 c #Conflicts: 1136000 | #Constraints: 33735
2088.99/2095.72 c #Conflicts: 1137000 | #Constraints: 34735
2088.99/2095.72 c #Conflicts: 1138000 | #Constraints: 35735
2317.95/2325.40 c #Conflicts: 1139000 | #Constraints: 36735
2317.95/2325.40 c #Conflicts: 1140000 | #Constraints: 37735
2317.95/2325.40 c #Conflicts: 1141000 | #Constraints: 38735
2317.95/2325.40 c #Conflicts: 1142000 | #Constraints: 39735
2317.95/2325.40 c #Conflicts: 1143000 | #Constraints: 40735
2317.95/2325.40 c #Conflicts: 1144000 | #Constraints: 41735
2317.95/2325.40 c #Conflicts: 1145000 | #Constraints: 42735
2317.95/2325.40 c #Conflicts: 1146000 | #Constraints: 43735
2317.95/2325.40 c INPROCESSING
2317.95/2325.40 c GARBAGE COLLECT
2317.95/2325.40 c #Conflicts: 1147000 | #Constraints: 23537
2317.95/2325.40 c #Conflicts: 1148000 | #Constraints: 24537
2317.95/2325.40 c #Conflicts: 1149000 | #Constraints: 25537
2317.95/2325.40 c #Conflicts: 1150000 | #Constraints: 26537
2317.95/2325.40 c #Conflicts: 1151000 | #Constraints: 27537
2317.95/2325.40 c #Conflicts: 1152000 | #Constraints: 28537
2317.95/2325.40 c #Conflicts: 1153000 | #Constraints: 29537
2317.95/2325.40 c #Conflicts: 1154000 | #Constraints: 30537
2317.95/2325.40 c #Conflicts: 1155000 | #Constraints: 31537
2317.95/2325.40 c #Conflicts: 1156000 | #Constraints: 32537
2317.95/2325.40 c #Conflicts: 1157000 | #Constraints: 33537
2317.95/2325.40 c #Conflicts: 1158000 | #Constraints: 34537
2317.95/2325.40 c #Conflicts: 1159000 | #Constraints: 35537
2317.95/2325.40 c #Conflicts: 1160000 | #Constraints: 36537
2317.95/2325.40 c #Conflicts: 1161000 | #Constraints: 37537
2317.95/2325.40 c #Conflicts: 1162000 | #Constraints: 38537
2317.95/2325.40 c #Conflicts: 1163000 | #Constraints: 39537
2317.95/2325.40 c #Conflicts: 1164000 | #Constraints: 40537
2317.95/2325.40 c #Conflicts: 1165000 | #Constraints: 41537
2317.95/2325.40 c #Conflicts: 1166000 | #Constraints: 42537
2317.95/2325.40 c #Conflicts: 1167000 | #Constraints: 43537
2317.95/2325.40 c #Conflicts: 1168000 | #Constraints: 44537
2317.95/2325.40 c INPROCESSING
2317.95/2325.40 c GARBAGE COLLECT
2317.95/2325.40 c #Conflicts: 1169000 | #Constraints: 24130
2317.95/2325.40 c #Conflicts: 1170000 | #Constraints: 25130
2317.95/2325.40 c #Conflicts: 1171000 | #Constraints: 26130
2317.95/2325.40 c #Conflicts: 1172000 | #Constraints: 27130
2317.95/2325.40 c #Conflicts: 1173000 | #Constraints: 28130
2317.95/2325.40 c #Conflicts: 1174000 | #Constraints: 29130
2317.95/2325.40 c #Conflicts: 1175000 | #Constraints: 30130
2317.95/2325.40 c #Conflicts: 1176000 | #Constraints: 31130
2317.95/2325.40 c #Conflicts: 1177000 | #Constraints: 32130
2317.95/2325.40 c #Conflicts: 1178000 | #Constraints: 33130
2317.95/2325.40 c #Conflicts: 1179000 | #Constraints: 34130
2317.95/2325.40 c #Conflicts: 1180000 | #Constraints: 35130
2317.95/2325.40 c #Conflicts: 1181000 | #Constraints: 36130
2317.95/2325.40 c #Conflicts: 1182000 | #Constraints: 37130
2317.95/2325.40 c #Conflicts: 1183000 | #Constraints: 38130
2317.95/2325.40 c #Conflicts: 1184000 | #Constraints: 39130
2317.95/2325.40 c #Conflicts: 1185000 | #Constraints: 40130
2317.95/2325.40 c #Conflicts: 1186000 | #Constraints: 41130
2317.95/2325.40 c #Conflicts: 1187000 | #Constraints: 42130
2317.95/2325.40 c #Conflicts: 1188000 | #Constraints: 43130
2317.95/2325.40 c #Conflicts: 1189000 | #Constraints: 44130
2317.95/2325.40 c #Conflicts: 1190000 | #Constraints: 45130
2317.95/2325.40 c INPROCESSING
2317.95/2325.40 c GARBAGE COLLECT
2317.95/2325.40 c #Conflicts: 1191000 | #Constraints: 24532
2317.95/2325.40 c #Conflicts: 1192000 | #Constraints: 25532
2317.95/2325.40 c #Conflicts: 1193000 | #Constraints: 26532
2317.95/2325.40 c #Conflicts: 1194000 | #Constraints: 27532
2317.95/2325.40 c #Conflicts: 1195000 | #Constraints: 28532
2317.95/2325.40 c #Conflicts: 1196000 | #Constraints: 29532
2317.95/2325.40 c #Conflicts: 1197000 | #Constraints: 30532
2317.95/2325.40 c #Conflicts: 1198000 | #Constraints: 31532
2317.95/2325.40 c #Conflicts: 1199000 | #Constraints: 32532
2317.95/2325.40 c #Conflicts: 1200000 | #Constraints: 33532
2317.95/2325.40 c #Conflicts: 1201000 | #Constraints: 34532
2317.95/2325.40 c #Conflicts: 1202000 | #Constraints: 35532
2317.95/2325.40 c #Conflicts: 1203000 | #Constraints: 36532
2317.95/2325.40 c #Conflicts: 1204000 | #Constraints: 37532
2317.95/2325.40 c GLOBAL bounds - >= 0 @ 2304.93
2397.09/2404.84 c #Conflicts: 1205000 | #Constraints: 38534
2397.09/2404.84 c #Conflicts: 1206000 | #Constraints: 39534
2397.09/2404.84 c #Conflicts: 1207000 | #Constraints: 40534
2397.09/2404.84 c #Conflicts: 1208000 | #Constraints: 41534
2397.09/2404.84 c #Conflicts: 1209000 | #Constraints: 42534
2397.09/2404.84 c #Conflicts: 1210000 | #Constraints: 43534
2397.09/2404.84 c #Conflicts: 1211000 | #Constraints: 44534
2397.09/2404.84 c #Conflicts: 1212000 | #Constraints: 45534
2397.09/2404.84 c INPROCESSING
2397.09/2404.84 c GARBAGE COLLECT
2397.09/2404.84 c #Conflicts: 1213000 | #Constraints: 24717
2397.09/2404.84 c #Conflicts: 1214000 | #Constraints: 25717
2397.09/2404.84 c #Conflicts: 1215000 | #Constraints: 26717
2397.09/2404.84 c #Conflicts: 1216000 | #Constraints: 27717
2397.09/2404.84 c #Conflicts: 1217000 | #Constraints: 28717
2397.09/2404.84 c #Conflicts: 1218000 | #Constraints: 29717
2397.09/2404.84 c #Conflicts: 1219000 | #Constraints: 30717
2397.09/2404.84 c #Conflicts: 1220000 | #Constraints: 31717
2397.09/2404.84 c #Conflicts: 1221000 | #Constraints: 32717
2397.09/2404.84 c #Conflicts: 1222000 | #Constraints: 33717
2397.09/2404.84 c #Conflicts: 1223000 | #Constraints: 34717
2397.09/2404.84 c #Conflicts: 1224000 | #Constraints: 35717
2397.09/2404.84 c #Conflicts: 1225000 | #Constraints: 36717
2397.09/2404.84 c #Conflicts: 1226000 | #Constraints: 37717
2397.09/2404.84 c #Conflicts: 1227000 | #Constraints: 38717
2397.09/2404.84 c #Conflicts: 1228000 | #Constraints: 39717
2397.09/2404.84 c #Conflicts: 1229000 | #Constraints: 40717
2397.09/2404.84 c #Conflicts: 1230000 | #Constraints: 41717
2397.09/2404.84 c #Conflicts: 1231000 | #Constraints: 42717
2397.09/2404.84 c #Conflicts: 1232000 | #Constraints: 43717
2397.09/2404.84 c #Conflicts: 1233000 | #Constraints: 44717
2397.09/2404.84 c #Conflicts: 1234000 | #Constraints: 45717
2397.09/2404.84 c INPROCESSING
2397.09/2404.84 c GARBAGE COLLECT
2397.09/2404.84 c #Conflicts: 1235000 | #Constraints: 24723
2397.09/2404.84 c GLOBAL bounds - >= 0 @ 2383.78
2652.35/2661.00 c #Conflicts: 1236000 | #Constraints: 25725
2652.35/2661.00 c #Conflicts: 1237000 | #Constraints: 26725
2652.35/2661.00 c #Conflicts: 1238000 | #Constraints: 27725
2652.35/2661.00 c #Conflicts: 1239000 | #Constraints: 28725
2652.35/2661.00 c #Conflicts: 1240000 | #Constraints: 29725
2652.35/2661.00 c #Conflicts: 1241000 | #Constraints: 30725
2652.35/2661.00 c #Conflicts: 1242000 | #Constraints: 31725
2652.35/2661.00 c #Conflicts: 1243000 | #Constraints: 32725
2652.35/2661.00 c #Conflicts: 1244000 | #Constraints: 33725
2652.35/2661.00 c #Conflicts: 1245000 | #Constraints: 34725
2652.35/2661.00 c #Conflicts: 1246000 | #Constraints: 35725
2652.35/2661.00 c #Conflicts: 1247000 | #Constraints: 36725
2652.35/2661.00 c #Conflicts: 1248000 | #Constraints: 37725
2652.35/2661.00 c #Conflicts: 1249000 | #Constraints: 38725
2652.35/2661.00 c #Conflicts: 1250000 | #Constraints: 39725
2652.35/2661.00 c #Conflicts: 1251000 | #Constraints: 40725
2652.35/2661.00 c #Conflicts: 1252000 | #Constraints: 41725
2652.35/2661.00 c #Conflicts: 1253000 | #Constraints: 42725
2652.35/2661.00 c #Conflicts: 1254000 | #Constraints: 43725
2652.35/2661.00 c #Conflicts: 1255000 | #Constraints: 44725
2652.35/2661.00 c #Conflicts: 1256000 | #Constraints: 45725
2652.35/2661.00 c INPROCESSING
2652.35/2661.00 c GARBAGE COLLECT
2652.35/2661.00 c #Conflicts: 1257000 | #Constraints: 24529
2652.35/2661.00 c #Conflicts: 1258000 | #Constraints: 25529
2652.35/2661.00 c #Conflicts: 1259000 | #Constraints: 26529
2652.35/2661.00 c #Conflicts: 1260000 | #Constraints: 27529
2652.35/2661.00 c #Conflicts: 1261000 | #Constraints: 28529
2652.35/2661.00 c #Conflicts: 1262000 | #Constraints: 29529
2652.35/2661.00 c #Conflicts: 1263000 | #Constraints: 30529
2652.35/2661.00 c #Conflicts: 1264000 | #Constraints: 31529
2652.35/2661.00 c #Conflicts: 1265000 | #Constraints: 32529
2652.35/2661.00 c #Conflicts: 1266000 | #Constraints: 33529
2652.35/2661.00 c #Conflicts: 1267000 | #Constraints: 34529
2652.35/2661.00 c #Conflicts: 1268000 | #Constraints: 35529
2652.35/2661.00 c #Conflicts: 1269000 | #Constraints: 36529
2652.35/2661.00 c #Conflicts: 1270000 | #Constraints: 37529
2652.35/2661.00 c #Conflicts: 1271000 | #Constraints: 38529
2652.35/2661.00 c #Conflicts: 1272000 | #Constraints: 39529
2652.35/2661.00 c #Conflicts: 1273000 | #Constraints: 40529
2652.35/2661.00 c #Conflicts: 1274000 | #Constraints: 41529
2652.35/2661.00 c #Conflicts: 1275000 | #Constraints: 42529
2652.35/2661.00 c #Conflicts: 1276000 | #Constraints: 43529
2652.35/2661.00 c #Conflicts: 1277000 | #Constraints: 44529
2652.35/2661.00 c #Conflicts: 1278000 | #Constraints: 45529
2652.35/2661.00 c #Conflicts: 1279000 | #Constraints: 46529
2652.35/2661.00 c INPROCESSING
2652.35/2661.00 c GARBAGE COLLECT
2652.35/2661.00 c #Conflicts: 1280000 | #Constraints: 25135
2652.35/2661.00 c #Conflicts: 1281000 | #Constraints: 26135
2652.35/2661.00 c #Conflicts: 1282000 | #Constraints: 27135
2652.35/2661.00 c #Conflicts: 1283000 | #Constraints: 28135
2652.35/2661.00 c #Conflicts: 1284000 | #Constraints: 29135
2652.35/2661.00 c #Conflicts: 1285000 | #Constraints: 30135
2652.35/2661.00 c #Conflicts: 1286000 | #Constraints: 31135
2652.35/2661.00 c #Conflicts: 1287000 | #Constraints: 32135
2652.35/2661.00 c #Conflicts: 1288000 | #Constraints: 33135
2652.35/2661.00 c #Conflicts: 1289000 | #Constraints: 34135
2652.35/2661.00 c #Conflicts: 1290000 | #Constraints: 35135
2652.35/2661.00 c #Conflicts: 1291000 | #Constraints: 36135
2652.35/2661.00 c #Conflicts: 1292000 | #Constraints: 37135
2652.35/2661.00 c #Conflicts: 1293000 | #Constraints: 38135
2652.35/2661.00 c #Conflicts: 1294000 | #Constraints: 39135
2652.35/2661.00 c #Conflicts: 1295000 | #Constraints: 40135
2652.35/2661.00 c #Conflicts: 1296000 | #Constraints: 41135
2652.35/2661.00 c #Conflicts: 1297000 | #Constraints: 42135
2652.35/2661.00 c #Conflicts: 1298000 | #Constraints: 43135
2652.35/2661.00 c #Conflicts: 1299000 | #Constraints: 44135
2652.35/2661.00 c #Conflicts: 1300000 | #Constraints: 45135
2652.35/2661.00 c #Conflicts: 1301000 | #Constraints: 46135
2652.35/2661.00 c #Conflicts: 1302000 | #Constraints: 47135
2652.35/2661.00 c INPROCESSING
2652.35/2661.00 c GARBAGE COLLECT
2652.35/2661.00 c #Conflicts: 1303000 | #Constraints: 25535
2652.35/2661.00 c #Conflicts: 1304000 | #Constraints: 26535
2652.35/2661.00 c #Conflicts: 1305000 | #Constraints: 27535
2652.35/2661.00 c #Conflicts: 1306000 | #Constraints: 28535
2652.35/2661.00 c #Conflicts: 1307000 | #Constraints: 29535
2652.35/2661.00 c #Conflicts: 1308000 | #Constraints: 30535
2652.35/2661.00 c #Conflicts: 1309000 | #Constraints: 31535
2652.35/2661.00 c #Conflicts: 1310000 | #Constraints: 32535
2652.35/2661.00 c #Conflicts: 1311000 | #Constraints: 33535
2652.35/2661.00 c #Conflicts: 1312000 | #Constraints: 34535
2938.81/2948.34 c #Conflicts: 1313000 | #Constraints: 35535
2938.81/2948.34 c #Conflicts: 1314000 | #Constraints: 36535
2938.81/2948.34 c #Conflicts: 1315000 | #Constraints: 37535
2938.81/2948.34 c #Conflicts: 1316000 | #Constraints: 38535
2938.81/2948.34 c #Conflicts: 1317000 | #Constraints: 39535
2938.81/2948.34 c #Conflicts: 1318000 | #Constraints: 40535
2938.81/2948.34 c #Conflicts: 1319000 | #Constraints: 41535
2938.81/2948.34 c #Conflicts: 1320000 | #Constraints: 42535
2938.81/2948.34 c #Conflicts: 1321000 | #Constraints: 43535
2938.81/2948.34 c #Conflicts: 1322000 | #Constraints: 44535
2938.81/2948.34 c #Conflicts: 1323000 | #Constraints: 45535
2938.81/2948.34 c #Conflicts: 1324000 | #Constraints: 46535
2938.81/2948.34 c #Conflicts: 1325000 | #Constraints: 47535
2938.81/2948.34 c INPROCESSING
2938.81/2948.34 c GARBAGE COLLECT
2938.81/2948.34 c #Conflicts: 1326000 | #Constraints: 25733
2938.81/2948.34 c #Conflicts: 1327000 | #Constraints: 26733
2938.81/2948.34 c #Conflicts: 1328000 | #Constraints: 27733
2938.81/2948.34 c #Conflicts: 1329000 | #Constraints: 28733
2938.81/2948.34 c #Conflicts: 1330000 | #Constraints: 29733
2938.81/2948.34 c #Conflicts: 1331000 | #Constraints: 30733
2938.81/2948.34 c #Conflicts: 1332000 | #Constraints: 31733
2938.81/2948.34 c #Conflicts: 1333000 | #Constraints: 32733
2938.81/2948.34 c #Conflicts: 1334000 | #Constraints: 33733
2938.81/2948.34 c #Conflicts: 1335000 | #Constraints: 34733
2938.81/2948.34 c #Conflicts: 1336000 | #Constraints: 35733
2938.81/2948.34 c #Conflicts: 1337000 | #Constraints: 36733
2938.81/2948.34 c #Conflicts: 1338000 | #Constraints: 37733
2938.81/2948.34 c #Conflicts: 1339000 | #Constraints: 38733
2938.81/2948.34 c #Conflicts: 1340000 | #Constraints: 39733
2938.81/2948.34 c #Conflicts: 1341000 | #Constraints: 40733
2938.81/2948.34 c #Conflicts: 1342000 | #Constraints: 41733
2938.81/2948.34 c #Conflicts: 1343000 | #Constraints: 42733
2938.81/2948.34 c #Conflicts: 1344000 | #Constraints: 43733
2938.81/2948.34 c #Conflicts: 1345000 | #Constraints: 44733
2938.81/2948.34 c #Conflicts: 1346000 | #Constraints: 45733
2938.81/2948.34 c #Conflicts: 1347000 | #Constraints: 46733
2938.81/2948.34 c #Conflicts: 1348000 | #Constraints: 47733
2938.81/2948.34 c INPROCESSING
2938.81/2948.34 c GARBAGE COLLECT
2938.81/2948.34 c #Conflicts: 1349000 | #Constraints: 25746
2938.81/2948.34 c #Conflicts: 1350000 | #Constraints: 26746
2938.81/2948.34 c #Conflicts: 1351000 | #Constraints: 27746
2938.81/2948.34 c #Conflicts: 1352000 | #Constraints: 28746
2938.81/2948.34 c #Conflicts: 1353000 | #Constraints: 29746
2938.81/2948.34 c #Conflicts: 1354000 | #Constraints: 30746
2938.81/2948.34 c #Conflicts: 1355000 | #Constraints: 31746
2938.81/2948.34 c #Conflicts: 1356000 | #Constraints: 32746
2938.81/2948.34 c #Conflicts: 1357000 | #Constraints: 33746
2938.81/2948.34 c #Conflicts: 1358000 | #Constraints: 34746
2938.81/2948.34 c #Conflicts: 1359000 | #Constraints: 35746
2938.81/2948.34 c #Conflicts: 1360000 | #Constraints: 36746
2938.81/2948.34 c #Conflicts: 1361000 | #Constraints: 37746
2938.81/2948.34 c #Conflicts: 1362000 | #Constraints: 38746
2938.81/2948.34 c #Conflicts: 1363000 | #Constraints: 39746
2938.81/2948.34 c #Conflicts: 1364000 | #Constraints: 40746
2938.81/2948.34 c #Conflicts: 1365000 | #Constraints: 41746
2938.81/2948.34 c #Conflicts: 1366000 | #Constraints: 42746
2938.81/2948.34 c #Conflicts: 1367000 | #Constraints: 43746
2938.81/2948.34 c #Conflicts: 1368000 | #Constraints: 44746
2938.81/2948.34 c #Conflicts: 1369000 | #Constraints: 45746
2938.81/2948.34 c #Conflicts: 1370000 | #Constraints: 46746
2938.81/2948.34 c #Conflicts: 1371000 | #Constraints: 47746
2938.81/2948.34 c INPROCESSING
2938.81/2948.34 c GARBAGE COLLECT
2938.81/2948.34 c #Conflicts: 1372000 | #Constraints: 25551
2938.81/2948.34 c #Conflicts: 1373000 | #Constraints: 26551
2938.81/2948.34 c #Conflicts: 1374000 | #Constraints: 27551
2938.81/2948.34 c #Conflicts: 1375000 | #Constraints: 28551
2938.81/2948.34 c #Conflicts: 1376000 | #Constraints: 29551
2938.81/2948.34 c #Conflicts: 1377000 | #Constraints: 30551
2938.81/2948.34 c #Conflicts: 1378000 | #Constraints: 31551
2938.81/2948.34 c #Conflicts: 1379000 | #Constraints: 32551
2938.81/2948.34 c #Conflicts: 1380000 | #Constraints: 33551
2938.81/2948.34 c #Conflicts: 1381000 | #Constraints: 34551
2938.81/2948.34 c #Conflicts: 1382000 | #Constraints: 35551
2938.81/2948.34 c #Conflicts: 1383000 | #Constraints: 36551
2938.81/2948.34 c #Conflicts: 1384000 | #Constraints: 37551
2938.81/2948.34 c #Conflicts: 1385000 | #Constraints: 38551
2938.81/2948.34 c #Conflicts: 1386000 | #Constraints: 39551
2938.81/2948.34 c #Conflicts: 1387000 | #Constraints: 40551
2938.81/2948.34 c #Conflicts: 1388000 | #Constraints: 41551
2938.81/2948.34 c #Conflicts: 1389000 | #Constraints: 42551
3244.90/3255.49 c #Conflicts: 1390000 | #Constraints: 43551
3244.90/3255.49 c #Conflicts: 1391000 | #Constraints: 44551
3244.90/3255.49 c #Conflicts: 1392000 | #Constraints: 45551
3244.90/3255.49 c #Conflicts: 1393000 | #Constraints: 46551
3244.90/3255.49 c #Conflicts: 1394000 | #Constraints: 47551
3244.90/3255.49 c #Conflicts: 1395000 | #Constraints: 48551
3244.90/3255.49 c INPROCESSING
3244.90/3255.49 c GARBAGE COLLECT
3244.90/3255.49 c #Conflicts: 1396000 | #Constraints: 26140
3244.90/3255.49 c #Conflicts: 1397000 | #Constraints: 27140
3244.90/3255.49 c #Conflicts: 1398000 | #Constraints: 28140
3244.90/3255.49 c #Conflicts: 1399000 | #Constraints: 29140
3244.90/3255.49 c #Conflicts: 1400000 | #Constraints: 30140
3244.90/3255.49 c #Conflicts: 1401000 | #Constraints: 31140
3244.90/3255.49 c #Conflicts: 1402000 | #Constraints: 32140
3244.90/3255.49 c #Conflicts: 1403000 | #Constraints: 33140
3244.90/3255.49 c #Conflicts: 1404000 | #Constraints: 34140
3244.90/3255.49 c #Conflicts: 1405000 | #Constraints: 35140
3244.90/3255.49 c #Conflicts: 1406000 | #Constraints: 36140
3244.90/3255.49 c #Conflicts: 1407000 | #Constraints: 37140
3244.90/3255.49 c #Conflicts: 1408000 | #Constraints: 38140
3244.90/3255.49 c #Conflicts: 1409000 | #Constraints: 39140
3244.90/3255.49 c #Conflicts: 1410000 | #Constraints: 40140
3244.90/3255.49 c #Conflicts: 1411000 | #Constraints: 41140
3244.90/3255.49 c #Conflicts: 1412000 | #Constraints: 42140
3244.90/3255.49 c #Conflicts: 1413000 | #Constraints: 43140
3244.90/3255.49 c #Conflicts: 1414000 | #Constraints: 44140
3244.90/3255.49 c #Conflicts: 1415000 | #Constraints: 45140
3244.90/3255.49 c #Conflicts: 1416000 | #Constraints: 46140
3244.90/3255.49 c #Conflicts: 1417000 | #Constraints: 47140
3244.90/3255.49 c #Conflicts: 1418000 | #Constraints: 48140
3244.90/3255.49 c #Conflicts: 1419000 | #Constraints: 49140
3244.90/3255.49 c INPROCESSING
3244.90/3255.49 c GARBAGE COLLECT
3244.90/3255.49 c #Conflicts: 1420000 | #Constraints: 26558
3244.90/3255.49 c #Conflicts: 1421000 | #Constraints: 27558
3244.90/3255.49 c #Conflicts: 1422000 | #Constraints: 28558
3244.90/3255.49 c #Conflicts: 1423000 | #Constraints: 29558
3244.90/3255.49 c #Conflicts: 1424000 | #Constraints: 30558
3244.90/3255.49 c #Conflicts: 1425000 | #Constraints: 31558
3244.90/3255.49 c #Conflicts: 1426000 | #Constraints: 32558
3244.90/3255.49 c #Conflicts: 1427000 | #Constraints: 33558
3244.90/3255.49 c #Conflicts: 1428000 | #Constraints: 34558
3244.90/3255.49 c #Conflicts: 1429000 | #Constraints: 35558
3244.90/3255.49 c #Conflicts: 1430000 | #Constraints: 36558
3244.90/3255.49 c #Conflicts: 1431000 | #Constraints: 37558
3244.90/3255.49 c #Conflicts: 1432000 | #Constraints: 38558
3244.90/3255.49 c #Conflicts: 1433000 | #Constraints: 39558
3244.90/3255.49 c #Conflicts: 1434000 | #Constraints: 40558
3244.90/3255.49 c #Conflicts: 1435000 | #Constraints: 41558
3244.90/3255.49 c #Conflicts: 1436000 | #Constraints: 42558
3244.90/3255.49 c #Conflicts: 1437000 | #Constraints: 43558
3244.90/3255.49 c #Conflicts: 1438000 | #Constraints: 44558
3244.90/3255.49 c #Conflicts: 1439000 | #Constraints: 45558
3244.90/3255.49 c #Conflicts: 1440000 | #Constraints: 46558
3244.90/3255.49 c #Conflicts: 1441000 | #Constraints: 47558
3244.90/3255.49 c #Conflicts: 1442000 | #Constraints: 48558
3244.90/3255.49 c #Conflicts: 1443000 | #Constraints: 49558
3244.90/3255.49 c INPROCESSING
3244.90/3255.49 c GARBAGE COLLECT
3244.90/3255.49 c #Conflicts: 1444000 | #Constraints: 26758
3244.90/3255.49 c #Conflicts: 1445000 | #Constraints: 27758
3244.90/3255.49 c #Conflicts: 1446000 | #Constraints: 28758
3244.90/3255.49 c #Conflicts: 1447000 | #Constraints: 29758
3244.90/3255.49 c #Conflicts: 1448000 | #Constraints: 30758
3244.90/3255.49 c #Conflicts: 1449000 | #Constraints: 31758
3244.90/3255.49 c #Conflicts: 1450000 | #Constraints: 32758
3244.90/3255.49 c #Conflicts: 1451000 | #Constraints: 33758
3244.90/3255.49 c #Conflicts: 1452000 | #Constraints: 34758
3244.90/3255.49 c #Conflicts: 1453000 | #Constraints: 35758
3244.90/3255.49 c #Conflicts: 1454000 | #Constraints: 36758
3244.90/3255.49 c #Conflicts: 1455000 | #Constraints: 37758
3244.90/3255.49 c #Conflicts: 1456000 | #Constraints: 38758
3244.90/3255.49 c #Conflicts: 1457000 | #Constraints: 39758
3244.90/3255.49 c #Conflicts: 1458000 | #Constraints: 40758
3244.90/3255.49 c #Conflicts: 1459000 | #Constraints: 41758
3244.90/3255.49 c #Conflicts: 1460000 | #Constraints: 42758
3244.90/3255.49 c #Conflicts: 1461000 | #Constraints: 43758
3244.90/3255.49 c #Conflicts: 1462000 | #Constraints: 44758
3244.90/3255.49 c #Conflicts: 1463000 | #Constraints: 45758
3244.90/3255.49 c #Conflicts: 1464000 | #Constraints: 46758
3244.90/3255.49 c #Conflicts: 1465000 | #Constraints: 47758
3244.90/3255.49 c #Conflicts: 1466000 | #Constraints: 48758
3517.02/3528.46 c #Conflicts: 1467000 | #Constraints: 49758
3517.02/3528.46 c INPROCESSING
3517.02/3528.46 c GARBAGE COLLECT
3517.02/3528.46 c #Conflicts: 1468000 | #Constraints: 26756
3517.02/3528.46 c #Conflicts: 1469000 | #Constraints: 27756
3517.02/3528.46 c #Conflicts: 1470000 | #Constraints: 28756
3517.02/3528.46 c #Conflicts: 1471000 | #Constraints: 29756
3517.02/3528.46 c #Conflicts: 1472000 | #Constraints: 30756
3517.02/3528.46 c #Conflicts: 1473000 | #Constraints: 31756
3517.02/3528.46 c #Conflicts: 1474000 | #Constraints: 32756
3517.02/3528.46 c #Conflicts: 1475000 | #Constraints: 33756
3517.02/3528.46 c #Conflicts: 1476000 | #Constraints: 34756
3517.02/3528.46 c #Conflicts: 1477000 | #Constraints: 35756
3517.02/3528.46 c #Conflicts: 1478000 | #Constraints: 36756
3517.02/3528.46 c #Conflicts: 1479000 | #Constraints: 37756
3517.02/3528.46 c #Conflicts: 1480000 | #Constraints: 38756
3517.02/3528.46 c #Conflicts: 1481000 | #Constraints: 39756
3517.02/3528.46 c #Conflicts: 1482000 | #Constraints: 40756
3517.02/3528.46 c #Conflicts: 1483000 | #Constraints: 41756
3517.02/3528.46 c #Conflicts: 1484000 | #Constraints: 42756
3517.02/3528.46 c #Conflicts: 1485000 | #Constraints: 43756
3517.02/3528.46 c #Conflicts: 1486000 | #Constraints: 44756
3517.02/3528.46 c #Conflicts: 1487000 | #Constraints: 45756
3517.02/3528.46 c #Conflicts: 1488000 | #Constraints: 46756
3517.02/3528.46 c #Conflicts: 1489000 | #Constraints: 47756
3517.02/3528.46 c #Conflicts: 1490000 | #Constraints: 48756
3517.02/3528.46 c #Conflicts: 1491000 | #Constraints: 49756
3517.02/3528.46 c INPROCESSING
3517.02/3528.46 c GARBAGE COLLECT
3517.02/3528.46 c #Conflicts: 1492000 | #Constraints: 26547
3517.02/3528.46 c #Conflicts: 1493000 | #Constraints: 27547
3517.02/3528.46 c #Conflicts: 1494000 | #Constraints: 28547
3517.02/3528.46 c #Conflicts: 1495000 | #Constraints: 29547
3517.02/3528.46 c #Conflicts: 1496000 | #Constraints: 30547
3517.02/3528.46 c #Conflicts: 1497000 | #Constraints: 31547
3517.02/3528.46 c #Conflicts: 1498000 | #Constraints: 32547
3517.02/3528.46 c #Conflicts: 1499000 | #Constraints: 33547
3517.02/3528.46 c #Conflicts: 1500000 | #Constraints: 34547
3517.02/3528.46 c #Conflicts: 1501000 | #Constraints: 35547
3517.02/3528.46 c #Conflicts: 1502000 | #Constraints: 36547
3517.02/3528.46 c #Conflicts: 1503000 | #Constraints: 37547
3517.02/3528.46 c #Conflicts: 1504000 | #Constraints: 38547
3517.02/3528.46 c #Conflicts: 1505000 | #Constraints: 39547
3517.02/3528.46 c #Conflicts: 1506000 | #Constraints: 40547
3517.02/3528.46 c #Conflicts: 1507000 | #Constraints: 41547
3517.02/3528.46 c #Conflicts: 1508000 | #Constraints: 42547
3517.02/3528.46 c #Conflicts: 1509000 | #Constraints: 43547
3517.02/3528.46 c #Conflicts: 1510000 | #Constraints: 44547
3517.02/3528.46 c #Conflicts: 1511000 | #Constraints: 45547
3517.02/3528.46 c #Conflicts: 1512000 | #Constraints: 46547
3517.02/3528.46 c #Conflicts: 1513000 | #Constraints: 47547
3517.02/3528.46 c #Conflicts: 1514000 | #Constraints: 48547
3517.02/3528.46 c #Conflicts: 1515000 | #Constraints: 49547
3517.02/3528.46 c #Conflicts: 1516000 | #Constraints: 50547
3517.02/3528.46 c INPROCESSING
3517.02/3528.46 c GARBAGE COLLECT
3517.02/3528.46 c #Conflicts: 1517000 | #Constraints: 27152
3517.02/3528.46 c #Conflicts: 1518000 | #Constraints: 28152
3517.02/3528.46 c #Conflicts: 1519000 | #Constraints: 29152
3517.02/3528.46 c #Conflicts: 1520000 | #Constraints: 30152
3517.02/3528.46 c #Conflicts: 1521000 | #Constraints: 31152
3517.02/3528.46 c #Conflicts: 1522000 | #Constraints: 32152
3517.02/3528.46 c #Conflicts: 1523000 | #Constraints: 33152
3517.02/3528.46 c #Conflicts: 1524000 | #Constraints: 34152
3517.02/3528.46 c #Conflicts: 1525000 | #Constraints: 35152
3517.02/3528.46 c #Conflicts: 1526000 | #Constraints: 36152
3517.02/3528.46 c #Conflicts: 1527000 | #Constraints: 37152
3517.02/3528.46 c #Conflicts: 1528000 | #Constraints: 38152
3517.02/3528.46 c #Conflicts: 1529000 | #Constraints: 39152
3517.02/3528.46 c #Conflicts: 1530000 | #Constraints: 40152
3517.02/3528.46 c #Conflicts: 1531000 | #Constraints: 41152
3517.02/3528.46 c #Conflicts: 1532000 | #Constraints: 42152
3517.02/3528.46 c #Conflicts: 1533000 | #Constraints: 43152
3517.02/3528.46 c #Conflicts: 1534000 | #Constraints: 44152
3517.02/3528.46 c #Conflicts: 1535000 | #Constraints: 45152
3517.02/3528.46 c #Conflicts: 1536000 | #Constraints: 46152
3517.02/3528.46 c #Conflicts: 1537000 | #Constraints: 47152
3517.02/3528.46 c #Conflicts: 1538000 | #Constraints: 48152
3517.02/3528.46 c #Conflicts: 1539000 | #Constraints: 49152
3517.02/3528.46 c #Conflicts: 1540000 | #Constraints: 50152
3517.02/3528.46 c #Conflicts: 1541000 | #Constraints: 51152
3517.02/3528.46 c INPROCESSING
3517.02/3528.46 c GARBAGE COLLECT
3517.02/3528.46 c #Conflicts: 1542000 | #Constraints: 27545
3600.04/3611.70 c #Conflicts: 1543000 | #Constraints: 28545
3600.04/3611.70 c #Conflicts: 1544000 | #Constraints: 29545
3600.04/3611.70 c #Conflicts: 1545000 | #Constraints: 30545
3600.04/3611.70 c #Conflicts: 1546000 | #Constraints: 31545
3600.04/3611.70 c #Conflicts: 1547000 | #Constraints: 32545
3600.04/3611.70 c #Conflicts: 1548000 | #Constraints: 33545
3600.04/3611.70 c #Conflicts: 1549000 | #Constraints: 34545
3600.04/3611.70 c #Conflicts: 1550000 | #Constraints: 35545
3600.04/3611.70 c #Conflicts: 1551000 | #Constraints: 36545
3600.04/3611.70 c #Conflicts: 1552000 | #Constraints: 37545
3600.04/3611.70 c #Conflicts: 1553000 | #Constraints: 38545
3600.04/3611.70 c #Conflicts: 1554000 | #Constraints: 39545
3600.04/3611.70 c #Conflicts: 1555000 | #Constraints: 40545
3600.04/3611.70 c #Conflicts: 1556000 | #Constraints: 41545
3600.04/3611.70 c #Conflicts: 1557000 | #Constraints: 42545
3600.04/3611.70 c #Conflicts: 1558000 | #Constraints: 43545
3600.04/3611.70 c #Conflicts: 1559000 | #Constraints: 44545
3600.04/3611.70 c #Conflicts: 1560000 | #Constraints: 45545
3600.04/3611.70 c #Conflicts: 1561000 | #Constraints: 46545
3600.04/3611.70 c #Conflicts: 1562000 | #Constraints: 47545
3600.04/3611.70 c #Conflicts: 1563000 | #Constraints: 48545
3600.04/3611.70 c #Conflicts: 1564000 | #Constraints: 49545
3600.04/3611.70 c #Conflicts: 1565000 | #Constraints: 50545
3600.04/3611.70 c #Conflicts: 1566000 | #Constraints: 51545
3600.04/3611.70 c INPROCESSING
3600.04/3611.70 c GARBAGE COLLECT
3600.04/3611.70 c cpu time 3583.14 s
3600.04/3611.70 c deterministic time 1 1.00e+00
3600.04/3611.70 c optimization time 3583.13 s
3600.04/3611.70 c total solve time 0 s
3600.04/3611.70 c core-guided solve time 0 s
3600.04/3611.70 c propagation time 0.001417 s
3600.04/3611.70 c conflict analysis time 0 s
3600.04/3611.70 c propagations 0
3600.04/3611.70 c resolve steps 0
3600.04/3611.70 c decisions 0
3600.04/3611.70 c conflicts 0
3600.04/3611.70 c restarts 0
3600.04/3611.70 c inprocessing phases 0
3600.04/3611.70 c garbage collections 0 ,( -nan )
3600.04/3611.70 c input clauses 1600 ,( 100.00 )
3600.04/3611.70 c input cardinalities 0 ,( 0.00 )
3600.04/3611.70 c input general constraints 0 ,( 0.00 )
3600.04/3611.70 c input average constraint length 4.00
3600.04/3611.70 c input average constraint degree 1.00
3600.04/3611.70 c learned clauses 0 ,( 0.00 )
3600.04/3611.70 c learned cardinalities 0 ,( 0.00 )
3600.04/3611.70 c learned general constraints 0 ,( 0.00 )
3600.04/3611.70 c learned average constraint length 0.00
3600.04/3611.70 c learned average constraint degree 0.00
3600.04/3611.70 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3611.70 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3611.70 c watched constraints 0 ,( -nan )
3600.04/3611.70 c counting constraints 0 ,( -nan )
3600.04/3611.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3611.70 c gcd simplifications 0
3600.04/3611.70 c detected cardinalities 0
3600.04/3611.70 c weakened non-implied lits 0
3600.04/3611.70 c weakened non-implying lits 0
3600.04/3611.70 c original variables 1600
3600.04/3611.70 c clausal propagations 0
3600.04/3611.70 c cardinality propagations 0
3600.04/3611.70 c watched propagations 0
3600.04/3611.70 c counting propagations 0
3600.04/3611.70 c watch lookups 0
3600.04/3611.70 c watch backjump lookups 0
3600.04/3611.70 c watch checks 0
3600.04/3611.70 c propagation checks 0
3600.04/3611.70 c constraint additions 0
3600.04/3611.70 c trail pops 0
3600.04/3611.70 c formula constraints 1600
3600.04/3611.70 c learned constraints 0
3600.04/3611.70 c bound constraints 0
3600.04/3611.70 c core-guided constraints 0
3600.04/3611.70 c encountered formula constraints 0
3600.04/3611.70 c encountered learned constraints 0
3600.04/3611.70 c encountered bound constraints 0
3600.04/3611.70 c encountered core-guided constraints 0
3600.04/3611.70 c LP total time 0 s
3600.04/3611.70 c LP solve time 0 s
3600.04/3611.70 c LP constraints added 0
3600.04/3611.70 c LP constraints removed 0
3600.04/3611.70 c LP pivots internal 0
3600.04/3611.70 c LP pivots root 0
3600.04/3611.70 c LP calls 0
3600.04/3611.70 c LP optimalities 0
3600.04/3611.70 c LP no pivot count 0
3600.04/3611.70 c LP infeasibilities 0
3600.04/3611.70 c LP valid Farkas constraints 0
3600.04/3611.70 c LP learned Farkas constraints 0
3600.04/3611.70 c LP basis resets 0
3600.04/3611.70 c LP cycling count 0
3600.04/3611.70 c LP singular count 0
3600.04/3611.70 c LP no primal count 0
3600.04/3611.70 c LP no farkas count 0
3600.04/3611.70 c LP other issue count 0
3600.04/3611.70 c LP Gomory cuts 0
3600.04/3611.70 c LP learned cuts 0
3600.04/3611.70 c LP deleted cuts 0
3600.04/3611.70 c LP encountered Gomory constraints 0
3600.04/3611.70 c LP encountered Farkas constraints 0
3600.04/3611.70 c LP encountered learned Farkas constraints 0
3600.04/3611.70 c CG auxiliary variables introduced 0
3600.04/3611.70 c CG solutions found 0
3600.04/3611.70 c CG cores constructed 0
3600.04/3611.70 c CG core cardinality constraints returned 0
3600.04/3611.70 c CG unit cores 0
3600.04/3611.70 c CG single cores 0
3600.04/3611.70 c CG blocks removed during cardinality reduction 0
3600.04/3611.70 c CG first core best 0
3600.04/3611.70 c CG decision core best 0
3600.04/3611.70 c CG core reduction tie 0
3600.04/3611.70 c CG core degree average 0.00
3600.04/3611.70 c CG core slack average 0.00
3600.04/3611.70 c CG core upper bound improvements 0
3600.04/3611.70 c STR number of successful calls 0
3600.04/3611.70 c STR number of unsuccessful calls 0
3600.04/3611.70 c STR number of inconclusive calls 0
3600.04/3611.70 c STR number of successful attempts 0
3600.04/3611.70 c STR number of unsuccessful attempts 0
3600.04/3611.70 c STR number of inconclusive attempts 0
3600.04/3611.70 c STR average degree increase per successful call inf
3600.04/3611.70 c STR average degree increase per successful attempt inf
3600.04/3611.70 c STR total number of conflicts for successful attempts 0
3600.04/3611.70 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3611.70 c STR total number of conflicts for inconclusive attempts 0
3600.04/3611.70 c STR average number of conflicts per successful attempt inf
3600.04/3611.70 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3611.70 c STR average number of conflicts per inconclusive attempt inf
3600.04/3611.70 c AVG.sumWPerc -nan
3600.04/3611.70 c bigint constraints 0
3600.04/3611.70 s UNKNOWN
3600.04/3611.70 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: 63837 MiB (63122 MiB free)
memory of node 1: 64465 MiB (63737 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520802-1751578586/watcher-4520802-1751578586 -o /tmp/evaluation-result-4520802-1751578586/solver-4520802-1751578586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751574973-81857 --watchdog 3760 run-opt.sh HOME/instance-4520802-1751578586.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=82290, runsolver pid=82278
[startup+0.10007 s]*
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129873412/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=63332 memory=13652 CPUtime=0.08 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 1634 0 0 0 5 3 0 0 20 0 1 0 73537748 64851968 3413 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 15833 3413 2304 1147 0 3260 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67524 KiB
Current children cumulated memory: 16596 KiB
[startup+0.213504 s]*
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129857980/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=65840 memory=19464 CPUtime=0.18 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 2522 0 0 0 15 3 0 0 20 0 1 0 73537748 67420160 4866 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 16460 4866 2336 1147 0 3887 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 70032 KiB
Current children cumulated memory: 22408 KiB
[startup+0.313319 s]*
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129831708/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=69140 memory=22664 CPUtime=0.29 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 3343 0 0 0 24 5 0 0 20 0 1 0 73537748 70799360 5666 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 17285 5666 2336 1147 0 4712 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73332 KiB
Current children cumulated memory: 25608 KiB
[startup+0.700425 s]
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129793976/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=78632 memory=32404 CPUtime=0.66 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 5277 0 0 0 59 7 0 0 20 0 1 0 73537748 80519168 8101 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 19658 8101 2336 1147 0 7085 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 82824 KiB
Current children cumulated memory: 35348 KiB
[startup+1.5004 s]
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129687692/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=128480 memory=72656 CPUtime=1.45 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 13801 0 0 0 133 12 0 0 20 0 1 0 73537748 131563520 18164 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 32120 18164 2336 1147 0 19547 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 132672 KiB
Current children cumulated memory: 75600 KiB
[startup+3.1128 s]
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129236352/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=183268 memory=114452 CPUtime=3.06 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 22197 0 0 0 290 16 0 0 20 0 1 0 73537748 187666432 28613 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 45817 28613 2336 1147 0 33244 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 187460 KiB
Current children cumulated memory: 117396 KiB
[startup+6.30038 s]
/proc/loadavg: 4.08 4.13 4.16 5/256 82293
/proc/meminfo: memFree=128707544/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=211840 memory=146784 CPUtime=6.24 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 27728 0 0 0 600 24 0 0 20 0 1 0 73537748 216924160 36696 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 52960 36696 2336 1147 0 40387 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 216032 KiB
Current children cumulated memory: 149728 KiB
[startup+12.7004 s]
/proc/loadavg: 4.08 4.13 4.16 5/256 82293
/proc/meminfo: memFree=128274784/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=334192 memory=226760 CPUtime=12.62 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 44147 0 0 0 1227 35 0 0 20 0 1 0 73537748 342212608 56690 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 83548 56690 2336 1147 0 70975 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 338384 KiB
Current children cumulated memory: 229704 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.14 4.16 5/256 82294
/proc/meminfo: memFree=127224184/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=346736 memory=253388 CPUtime=25.38 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 48784 0 0 0 2486 52 0 0 20 0 1 0 73537748 355057664 63347 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 86684 63347 2336 1147 0 74111 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 350928 KiB
Current children cumulated memory: 256332 KiB
[startup+51.113 s]
/proc/loadavg: 4.09 4.12 4.15 5/255 82294
/proc/meminfo: memFree=126246728/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=357748 memory=291628 CPUtime=50.91 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 54239 0 0 0 5006 85 0 0 20 0 1 0 73537748 366333952 72907 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 89437 72907 2336 1147 0 76864 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 361940 KiB
Current children cumulated memory: 294572 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/255 82296
/proc/meminfo: memFree=125511796/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=549540 memory=403728 CPUtime=101.94 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 78208 0 0 0 10055 139 0 0 20 0 1 0 73537748 562728960 100932 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 137385 100932 2336 1147 0 124812 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 553732 KiB
Current children cumulated memory: 406672 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/255 82298
/proc/meminfo: memFree=125123356/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=620968 memory=491932 CPUtime=161.76 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 94149 0 0 0 15974 202 0 0 20 0 1 0 73537748 635871232 122983 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 155242 122983 2336 1147 0 142669 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 625160 KiB
Current children cumulated memory: 494876 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/255 82300
/proc/meminfo: memFree=124416512/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=627624 memory=513252 CPUtime=221.57 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 98443 0 0 0 21900 257 0 0 20 0 1 0 73537748 642686976 128313 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 156906 128313 2336 1147 0 144333 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 631816 KiB
################
# More data... #
################
/proc/82293/statm: 405981 334427 2336 1147 0 393408 0
Current children cumulated CPU time: 3092.3 s
Current children cumulated vsize: 1628116 KiB
Current children cumulated memory: 1340652 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.11 4.15 5/255 82464
/proc/meminfo: memFree=114713804/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=1655792 memory=1354860 CPUtime=3152.1 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 264488 0 0 0 313639 1571 0 0 20 0 1 0 73537748 1695531008 338715 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 413948 338715 2336 1147 0 401375 0
Current children cumulated CPU time: 3152.1 s
Current children cumulated vsize: 1659984 KiB
Current children cumulated memory: 1357804 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.15 5/255 82466
/proc/meminfo: memFree=114618052/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=1704108 memory=1381612 CPUtime=3211.9 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 271178 0 0 0 319606 1584 0 0 20 0 1 0 73537748 1745006592 345403 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 426027 345403 2336 1147 0 413454 0
Current children cumulated CPU time: 3211.9 s
Current children cumulated vsize: 1708300 KiB
Current children cumulated memory: 1384556 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/254 82473
/proc/meminfo: memFree=114489412/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=1746256 memory=1409900 CPUtime=3271.71 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 278247 0 0 0 325568 1603 0 0 20 0 1 0 73537748 1788166144 352475 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 436564 352475 2336 1147 0 423991 0
Current children cumulated CPU time: 3271.71 s
Current children cumulated vsize: 1750448 KiB
Current children cumulated memory: 1412844 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.14 5/253 82475
/proc/meminfo: memFree=114439520/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=1746256 memory=1409900 CPUtime=3331.51 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 278247 0 0 0 331531 1620 0 0 20 0 1 0 73537748 1788166144 352475 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 436564 352475 2336 1147 0 423991 0
Current children cumulated CPU time: 3331.51 s
Current children cumulated vsize: 1750448 KiB
Current children cumulated memory: 1412844 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.13 5/253 82476
/proc/meminfo: memFree=114435752/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=1746256 memory=1409900 CPUtime=3391.32 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 278296 0 0 0 337497 1635 0 0 20 0 1 0 73537748 1788166144 352475 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 436564 352475 2336 1147 0 423991 0
Current children cumulated CPU time: 3391.32 s
Current children cumulated vsize: 1750448 KiB
Current children cumulated memory: 1412844 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.13 5/254 82479
/proc/meminfo: memFree=114351388/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=1746256 memory=1409900 CPUtime=3451.13 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 278329 0 0 0 343460 1653 0 0 20 0 1 0 73537748 1788166144 352475 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 436564 352475 2336 1147 0 423991 0
Current children cumulated CPU time: 3451.13 s
Current children cumulated vsize: 1750448 KiB
Current children cumulated memory: 1412844 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/254 82481
/proc/meminfo: memFree=114337204/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=1746256 memory=1410028 CPUtime=3510.93 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 278344 0 0 0 349425 1668 0 0 20 0 1 0 73537748 1788166144 352507 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 436564 352507 2336 1147 0 423991 0
Current children cumulated CPU time: 3510.93 s
Current children cumulated vsize: 1750448 KiB
Current children cumulated memory: 1412972 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.11 5/254 82485
/proc/meminfo: memFree=114322436/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=1746256 memory=1410156 CPUtime=3570.73 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 278380 0 0 0 355390 1683 0 0 20 0 1 0 73537748 1788166144 352539 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 436564 352539 2336 1147 0 423991 0
Current children cumulated CPU time: 3570.73 s
Current children cumulated vsize: 1750448 KiB
Current children cumulated memory: 1413100 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.16 4.10 4.12 4/249 82495
/proc/meminfo: memFree=120107292/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=1746256 memory=1410156 CPUtime=3600.04 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 278391 0 0 0 358314 1690 0 0 20 0 1 0 73537748 1788166144 352539 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 436564 352539 2336 1147 0 423991 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1750448 KiB
Current children cumulated memory: 1413100 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.71 s]
# the end of solver process 82290 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002044 s, system=0.00391 s
Sleeping 2 seconds
[startup+3611.77 s]
# the end of solver process 82293 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.15 s, system=16.9804 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.16 4.10 4.12 4/249 82495
/proc/meminfo: memFree=120107292/131382120 swapFree=33010160/33010684
[pid=82290] ppid=82278 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/82290/stat : 82290 (run-opt.sh) S 82278 82290 81821 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 73537747 4292608 736 18446744073709551615 93899140009984 93899140904517 140736657183712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93899141143568 93899141191312 93899169038336 140736657189229 140736657189352 140736657189352 140736657194954 0
/proc/82290/statm: 1048 736 672 219 0 110 0
[pid=82293] ppid=82290 vsize=1746256 memory=1410156 CPUtime=3600.04 cores=5,7
/proc/82293/stat : 82293 (roundingsat) R 82290 82290 81821 0 -1 4194304 278391 0 0 0 358314 1690 0 0 20 0 1 0 73537748 1788166144 352539 18446744073709551615 4227072 8923433 140732422282960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31252480 140732422285730 140732422285864 140732422285864 140732422291434 0
/proc/82293/statm: 436564 352539 2336 1147 0 423991 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1750448 KiB
Current children cumulated memory: 1413100 KiB
Child status: 2
Real time (s): 3611.77
CPU time (s): 3600.13
CPU user time (s): 3583.15
CPU system time (s): 16.9804
CPU usage (%): 99.6775
Max. virtual memory (cumulated for all children) (KiB): 1750448
Max. memory (cumulated for all children) (KiB): 1413100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.15
system time used= 16.9804
maximum resident set size= 1410540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278619
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 178
involuntary context switches= 20954
# summary of solver processes directly reported to runsolver:
# pid: 82290,82293
# total CPU time (s): 3600.13
# total CPU user time (s): 3583.15
# total CPU system time (s): 16.9804
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.076 second user time and 36.1874 second system time
The end
Begin job on nodeC008 at 2025-07-03 23:36:26
IDJOB=4520802
IDBENCH=178130
IDSOLVER=3350
FILE ID=nodeC008/4520802-1751578586
RUNJOBID= nodeC008-1751574973-81857
SLURM_JOB_ID= 9598800
Free space on /tmp= 432808 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_160.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520802-1751578586/watcher-4520802-1751578586 -o /tmp/evaluation-result-4520802-1751578586/solver-4520802-1751578586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751574973-81857 --watchdog 3760 run-opt.sh HOME/instance-4520802-1751578586.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 789fc3771aff9bb0c01300f49f64e5c8
RANDOM SEED=1114294367
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.146
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.160
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.228
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.199
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.512
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.190
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.209
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.236
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129885732 kB
MemAvailable: 129954972 kB
Buffers: 2128 kB
Cached: 863976 kB
SwapCached: 16 kB
Active: 593048 kB
Inactive: 345132 kB
Active(anon): 53588 kB
Inactive(anon): 36408 kB
Active(file): 539460 kB
Inactive(file): 308724 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30308 kB
Writeback: 12 kB
AnonPages: 75164 kB
Mapped: 103540 kB
Shmem: 17920 kB
KReclaimable: 121368 kB
Slab: 206248 kB
SReclaimable: 121368 kB
SUnreclaim: 84880 kB
KernelStack: 3940 kB
PageTables: 2932 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 334264 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149320 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432784 MiB
End job on nodeC008 at 2025-07-04 00:36:38