0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.03 c [STEP] solving
0.00/0.03 c #variables 1152 #constraints 1774
0.00/0.03 c SMALL=int, LARGE=long long
0.00/0.03 c bounds - >= 6935 @ 0.007902
0.00/0.03 c stratification level: 2069
0.00/0.03 c bounds 50400 >= 6935 @ 0.008419
0.00/0.03 c stratification level: 2066
0.00/0.04 c bounds 50385 >= 6935 @ 0.01086
0.00/0.04 c stratification level: 2040
0.00/0.04 c bounds 50203 >= 6935 @ 0.01183
0.00/0.04 c stratification level: 2031
0.00/0.04 c bounds 50189 >= 6935 @ 0.01447
0.00/0.04 c stratification level: 2029
0.00/0.04 c bounds 50035 >= 6935 @ 0.014901
0.00/0.04 c stratification level: 2002
0.00/0.06 c bounds 49899 >= 6935 @ 0.028958
0.00/0.06 c stratification level: 1973
0.00/0.06 c bounds 49687 >= 6935 @ 0.030485
0.00/0.06 c stratification level: 1965
8.83/8.96 c #Conflicts: 1000 | #Constraints: 2780
8.83/8.96 c #Conflicts: 2000 | #Constraints: 3780
8.83/8.96 c INPROCESSING
8.83/8.96 c GARBAGE COLLECT
8.83/8.96 c #Conflicts: 3000 | #Constraints: 3774
8.83/8.96 c #Conflicts: 4000 | #Constraints: 4774
8.83/8.96 c INPROCESSING
8.83/8.96 c GARBAGE COLLECT
8.83/8.96 c #Conflicts: 5000 | #Constraints: 4189
8.83/8.96 c #Conflicts: 6000 | #Constraints: 5189
8.83/8.96 c INPROCESSING
8.83/8.96 c GARBAGE COLLECT
8.83/8.96 c #Conflicts: 7000 | #Constraints: 4192
8.83/8.96 c #Conflicts: 8000 | #Constraints: 5192
8.83/8.96 c #Conflicts: 9000 | #Constraints: 6192
8.83/8.96 c INPROCESSING
8.83/8.96 c GARBAGE COLLECT
8.83/8.96 c #Conflicts: 10000 | #Constraints: 4897
8.83/8.96 c #Conflicts: 11000 | #Constraints: 5897
8.83/8.96 c #Conflicts: 12000 | #Constraints: 6897
8.83/8.96 c INPROCESSING
8.83/8.96 c GARBAGE COLLECT
8.83/8.96 c #Conflicts: 13000 | #Constraints: 5350
8.83/8.96 c #Conflicts: 14000 | #Constraints: 6350
8.83/8.96 c #Conflicts: 15000 | #Constraints: 7350
8.83/8.96 c INPROCESSING
8.83/8.96 c GARBAGE COLLECT
8.83/8.96 c #Conflicts: 16000 | #Constraints: 5579
8.83/8.96 c #Conflicts: 17000 | #Constraints: 6579
8.83/8.96 c #Conflicts: 18000 | #Constraints: 7579
8.83/8.96 c INPROCESSING
8.83/8.96 c GARBAGE COLLECT
8.83/8.96 c #Conflicts: 19000 | #Constraints: 5606
8.83/8.96 c #Conflicts: 20000 | #Constraints: 6606
8.83/8.96 c #Conflicts: 21000 | #Constraints: 7606
8.83/8.96 c INPROCESSING
8.83/8.96 c GARBAGE COLLECT
8.83/8.96 c #Conflicts: 22000 | #Constraints: 5408
8.83/8.96 c #Conflicts: 23000 | #Constraints: 6408
8.83/8.96 c #Conflicts: 24000 | #Constraints: 7408
8.83/8.96 c #Conflicts: 25000 | #Constraints: 8408
8.83/8.96 c INPROCESSING
8.83/8.96 c GARBAGE COLLECT
8.83/8.96 c #Conflicts: 26000 | #Constraints: 6014
8.83/8.96 c #Conflicts: 27000 | #Constraints: 7014
8.83/8.96 c #Conflicts: 28000 | #Constraints: 8014
8.83/8.96 c #Conflicts: 29000 | #Constraints: 9014
8.83/8.96 c INPROCESSING
8.83/8.96 c GARBAGE COLLECT
8.83/8.96 c #Conflicts: 30000 | #Constraints: 6416
8.83/8.96 c #Conflicts: 31000 | #Constraints: 7416
8.83/8.96 c #Conflicts: 32000 | #Constraints: 8416
8.83/8.96 c #Conflicts: 33000 | #Constraints: 9416
8.83/8.96 c INPROCESSING
8.83/8.96 c GARBAGE COLLECT
8.83/8.96 c bounds 49623 >= 6935 @ 8.5688
8.83/8.96 c stratification level: 1953
8.83/8.97 c bounds 49611 >= 6935 @ 8.57049
8.83/8.97 c stratification level: 1944
8.83/9.00 c #Conflicts: 34000 | #Constraints: 6617
8.83/9.00 c bounds 49577 >= 6935 @ 8.60193
8.83/9.00 c stratification level: 1941
8.83/9.00 c bounds 49565 >= 6935 @ 8.60262
8.83/9.00 c stratification level: 1921
10.33/10.42 c #Conflicts: 35000 | #Constraints: 7619
10.33/10.42 c #Conflicts: 36000 | #Constraints: 8619
10.33/10.42 c #Conflicts: 37000 | #Constraints: 9619
10.33/10.42 c INPROCESSING
10.33/10.42 c GARBAGE COLLECT
10.33/10.42 c #Conflicts: 38000 | #Constraints: 6611
10.33/10.42 c #Conflicts: 39000 | #Constraints: 7611
10.33/10.42 c #Conflicts: 40000 | #Constraints: 8611
10.33/10.42 c bounds 49525 >= 6935 @ 9.9921
10.33/10.42 c stratification level: 1915
10.43/10.59 c #Conflicts: 41000 | #Constraints: 9612
10.43/10.59 c bounds 49493 >= 6935 @ 10.1579
10.43/10.59 c stratification level: 1910
10.43/10.59 c bounds 49481 >= 6935 @ 10.1607
10.43/10.59 c stratification level: 1903
10.53/10.63 c bounds 49450 >= 6935 @ 10.1964
10.53/10.63 c stratification level: 1892
10.53/10.63 c bounds 49438 >= 6935 @ 10.1984
10.53/10.63 c stratification level: 1889
10.53/10.65 c bounds 49386 >= 6935 @ 10.2116
10.53/10.65 c stratification level: 1886
10.53/10.65 c bounds 49374 >= 6935 @ 10.2146
10.53/10.65 c stratification level: 1880
10.53/10.65 c bounds 49316 >= 6935 @ 10.2182
10.53/10.65 c stratification level: 1874
10.53/10.68 c bounds 49264 >= 6935 @ 10.2456
10.53/10.68 c stratification level: 1872
10.53/10.69 c bounds 49252 >= 6935 @ 10.2478
10.53/10.69 c stratification level: 1871
17.31/17.44 c INPROCESSING
17.31/17.44 c GARBAGE COLLECT
17.31/17.44 c #Conflicts: 42000 | #Constraints: 6402
17.31/17.44 c #Conflicts: 43000 | #Constraints: 7402
17.31/17.44 c #Conflicts: 44000 | #Constraints: 8402
17.31/17.44 c #Conflicts: 45000 | #Constraints: 9402
17.31/17.44 c #Conflicts: 46000 | #Constraints: 10402
17.31/17.44 c INPROCESSING
17.31/17.44 c GARBAGE COLLECT
17.31/17.44 c #Conflicts: 47000 | #Constraints: 7000
17.31/17.44 c #Conflicts: 48000 | #Constraints: 8000
17.31/17.44 c #Conflicts: 49000 | #Constraints: 9000
17.31/17.44 c #Conflicts: 50000 | #Constraints: 10000
17.31/17.44 c #Conflicts: 51000 | #Constraints: 11000
17.31/17.44 c INPROCESSING
17.31/17.44 c GARBAGE COLLECT
17.31/17.44 c #Conflicts: 52000 | #Constraints: 7409
17.31/17.44 c #Conflicts: 53000 | #Constraints: 8409
17.31/17.44 c #Conflicts: 54000 | #Constraints: 9409
17.31/17.44 c #Conflicts: 55000 | #Constraints: 10409
17.31/17.44 c #Conflicts: 56000 | #Constraints: 11409
17.31/17.44 c INPROCESSING
17.31/17.44 c GARBAGE COLLECT
17.31/17.44 c #Conflicts: 57000 | #Constraints: 7598
17.31/17.44 c #Conflicts: 58000 | #Constraints: 8598
17.31/17.44 c #Conflicts: 59000 | #Constraints: 9598
17.31/17.44 c #Conflicts: 60000 | #Constraints: 10598
17.31/17.44 c #Conflicts: 61000 | #Constraints: 11598
17.31/17.44 c INPROCESSING
17.31/17.44 c GARBAGE COLLECT
17.31/17.44 c #Conflicts: 62000 | #Constraints: 7609
17.31/17.44 c #Conflicts: 63000 | #Constraints: 8609
17.31/17.44 c #Conflicts: 64000 | #Constraints: 9609
17.31/17.44 c #Conflicts: 65000 | #Constraints: 10609
17.31/17.44 c #Conflicts: 66000 | #Constraints: 11609
17.31/17.44 c bounds 49217 >= 6935 @ 16.8388
17.31/17.44 c stratification level: 1868
17.31/17.48 c bounds 49208 >= 6935 @ 16.8816
17.31/17.48 c stratification level: 1864
18.02/18.13 c INPROCESSING
18.02/18.13 c GARBAGE COLLECT
18.02/18.13 c #Conflicts: 67000 | #Constraints: 7424
18.02/18.13 c #Conflicts: 68000 | #Constraints: 8424
18.02/18.13 c bounds 49204 >= 6935 @ 17.5093
18.02/18.13 c stratification level: 1863
18.02/18.14 c bounds 49172 >= 6935 @ 17.5153
18.02/18.14 c stratification level: 1855
18.02/18.14 c bounds 49160 >= 6935 @ 17.5191
18.02/18.14 c stratification level: 1854
18.02/18.15 c bounds 49088 >= 6935 @ 17.5221
18.02/18.15 c stratification level: 1851
18.41/18.56 c #Conflicts: 69000 | #Constraints: 9428
18.41/18.56 c #Conflicts: 70000 | #Constraints: 10428
18.41/18.56 c bounds 49066 >= 6935 @ 17.9313
18.41/18.56 c stratification level: 1849
18.41/18.59 c bounds 49054 >= 6935 @ 17.9534
18.41/18.59 c stratification level: 1845
20.51/20.61 c #Conflicts: 71000 | #Constraints: 11430
20.51/20.61 c #Conflicts: 72000 | #Constraints: 12430
20.51/20.61 c INPROCESSING
20.51/20.61 c GARBAGE COLLECT
20.51/20.61 c #Conflicts: 73000 | #Constraints: 8026
20.51/20.61 c #Conflicts: 74000 | #Constraints: 9026
20.51/20.61 c #Conflicts: 75000 | #Constraints: 10026
20.51/20.61 c #Conflicts: 76000 | #Constraints: 11026
20.51/20.61 c bounds 49040 >= 6935 @ 19.9307
20.51/20.61 c stratification level: 1837
20.51/20.61 c bounds 49028 >= 6935 @ 19.9352
20.51/20.61 c stratification level: 1835
20.51/20.63 c bounds 49008 >= 6935 @ 19.953
20.51/20.63 c stratification level: 1834
21.40/21.55 c #Conflicts: 77000 | #Constraints: 12029
21.40/21.55 c #Conflicts: 78000 | #Constraints: 13029
21.40/21.55 c INPROCESSING
21.40/21.55 c GARBAGE COLLECT
21.40/21.55 c bounds 49001 >= 6935 @ 20.8559
21.40/21.55 c stratification level: 1833
21.50/21.60 c bounds 48990 >= 6935 @ 20.901
21.50/21.60 c stratification level: 1828
21.50/21.60 c bounds 48982 >= 6935 @ 20.9027
21.50/21.60 c stratification level: 1820
22.50/22.66 c #Conflicts: 79000 | #Constraints: 8430
22.50/22.66 c #Conflicts: 80000 | #Constraints: 9430
22.50/22.66 c #Conflicts: 81000 | #Constraints: 10430
22.50/22.66 c #Conflicts: 82000 | #Constraints: 11430
22.50/22.66 c bounds 48967 >= 6935 @ 21.9287
22.50/22.66 c stratification level: 1817
22.59/22.76 c bounds 48958 >= 6935 @ 22.0324
22.59/22.76 c stratification level: 1816
23.30/23.49 c #Conflicts: 83000 | #Constraints: 12432
23.30/23.49 c #Conflicts: 84000 | #Constraints: 13432
23.30/23.49 c INPROCESSING
23.30/23.49 c GARBAGE COLLECT
23.30/23.49 c bounds 48927 >= 6935 @ 22.7468
23.30/23.49 c stratification level: 1811
23.40/23.50 c bounds 48863 >= 6935 @ 22.7517
23.40/23.50 c stratification level: 1810
23.49/23.61 c #Conflicts: 85000 | #Constraints: 8630
23.49/23.61 c bounds 48854 >= 6935 @ 22.8566
23.49/23.61 c stratification level: 1807
23.79/24.01 c #Conflicts: 86000 | #Constraints: 9631
23.79/24.01 c bounds 48828 >= 6935 @ 23.2468
23.79/24.01 c stratification level: 1806
23.91/24.01 c bounds 48816 >= 6935 @ 23.2495
23.91/24.01 c stratification level: 1804
28.08/28.23 c #Conflicts: 87000 | #Constraints: 10633
28.08/28.23 c #Conflicts: 88000 | #Constraints: 11633
28.08/28.23 c #Conflicts: 89000 | #Constraints: 12633
28.08/28.23 c #Conflicts: 90000 | #Constraints: 13633
28.08/28.23 c INPROCESSING
28.08/28.23 c GARBAGE COLLECT
28.08/28.23 c #Conflicts: 91000 | #Constraints: 8616
28.08/28.23 c #Conflicts: 92000 | #Constraints: 9616
28.08/28.23 c #Conflicts: 93000 | #Constraints: 10616
28.08/28.23 c #Conflicts: 94000 | #Constraints: 11616
28.08/28.23 c #Conflicts: 95000 | #Constraints: 12616
28.08/28.23 c #Conflicts: 96000 | #Constraints: 13616
28.08/28.23 c INPROCESSING
28.08/28.23 c GARBAGE COLLECT
28.08/28.23 c bounds 48815 >= 6935 @ 27.3925
28.08/28.23 c stratification level: 1797
28.08/28.24 c bounds 48711 >= 6935 @ 27.4016
28.08/28.24 c stratification level: 1794
28.08/28.25 c bounds 48699 >= 6935 @ 27.4033
28.08/28.25 c stratification level: 1788
28.18/28.38 c #Conflicts: 97000 | #Constraints: 8407
28.18/28.38 c bounds 48597 >= 6935 @ 27.5323
28.18/28.38 c stratification level: 1782
28.18/28.38 c bounds 48585 >= 6935 @ 27.5345
28.18/28.38 c stratification level: 1779
28.29/28.45 c bounds 48521 >= 6935 @ 27.5963
28.29/28.45 c stratification level: 1778
28.89/29.06 c #Conflicts: 98000 | #Constraints: 9410
28.89/29.06 c #Conflicts: 99000 | #Constraints: 10410
28.89/29.06 c bounds 48489 >= 6935 @ 28.1955
28.89/29.06 c stratification level: 1776
28.89/29.07 c bounds 48481 >= 6935 @ 28.2006
28.89/29.07 c stratification level: 1775
28.89/29.07 c bounds 48417 >= 6935 @ 28.204
28.89/29.07 c stratification level: 1768
29.38/29.51 c #Conflicts: 100000 | #Constraints: 11413
29.38/29.51 c #Conflicts: 101000 | #Constraints: 12413
29.38/29.51 c bounds 48405 >= 6935 @ 28.6268
29.38/29.51 c stratification level: 1761
51.72/51.97 c #Conflicts: 102000 | #Constraints: 13414
51.72/51.97 c #Conflicts: 103000 | #Constraints: 14414
51.72/51.97 c INPROCESSING
51.72/51.97 c GARBAGE COLLECT
51.72/51.97 c #Conflicts: 104000 | #Constraints: 9015
51.72/51.97 c #Conflicts: 105000 | #Constraints: 10015
51.72/51.97 c #Conflicts: 106000 | #Constraints: 11015
51.72/51.97 c #Conflicts: 107000 | #Constraints: 12015
51.72/51.97 c #Conflicts: 108000 | #Constraints: 13015
51.72/51.97 c #Conflicts: 109000 | #Constraints: 14015
51.72/51.97 c #Conflicts: 110000 | #Constraints: 15015
51.72/51.97 c INPROCESSING
51.72/51.97 c GARBAGE COLLECT
51.72/51.97 c #Conflicts: 111000 | #Constraints: 9428
51.72/51.97 c #Conflicts: 112000 | #Constraints: 10428
51.72/51.97 c #Conflicts: 113000 | #Constraints: 11428
51.72/51.97 c #Conflicts: 114000 | #Constraints: 12428
51.72/51.97 c #Conflicts: 115000 | #Constraints: 13428
51.72/51.97 c #Conflicts: 116000 | #Constraints: 14428
51.72/51.97 c #Conflicts: 117000 | #Constraints: 15428
51.72/51.97 c INPROCESSING
51.72/51.97 c GARBAGE COLLECT
51.72/51.97 c #Conflicts: 118000 | #Constraints: 9624
51.72/51.97 c #Conflicts: 119000 | #Constraints: 10624
51.72/51.97 c #Conflicts: 120000 | #Constraints: 11624
51.72/51.97 c #Conflicts: 121000 | #Constraints: 12624
51.72/51.97 c #Conflicts: 122000 | #Constraints: 13624
51.72/51.97 c #Conflicts: 123000 | #Constraints: 14624
51.72/51.97 c #Conflicts: 124000 | #Constraints: 15624
51.72/51.97 c INPROCESSING
51.72/51.97 c GARBAGE COLLECT
51.72/51.97 c #Conflicts: 125000 | #Constraints: 9632
51.72/51.97 c #Conflicts: 126000 | #Constraints: 10632
51.72/51.97 c #Conflicts: 127000 | #Constraints: 11632
51.72/51.97 c #Conflicts: 128000 | #Constraints: 12632
51.72/51.97 c #Conflicts: 129000 | #Constraints: 13632
51.72/51.97 c #Conflicts: 130000 | #Constraints: 14632
51.72/51.97 c #Conflicts: 131000 | #Constraints: 15632
51.72/51.97 c INPROCESSING
51.72/51.97 c GARBAGE COLLECT
51.72/51.97 c #Conflicts: 132000 | #Constraints: 9434
51.72/51.97 c #Conflicts: 133000 | #Constraints: 10434
51.72/51.97 c #Conflicts: 134000 | #Constraints: 11434
51.72/51.97 c #Conflicts: 135000 | #Constraints: 12434
51.72/51.97 c #Conflicts: 136000 | #Constraints: 13434
51.72/51.97 c #Conflicts: 137000 | #Constraints: 14434
51.72/51.97 c #Conflicts: 138000 | #Constraints: 15434
51.72/51.97 c #Conflicts: 139000 | #Constraints: 16434
51.72/51.97 c INPROCESSING
51.72/51.97 c GARBAGE COLLECT
51.72/51.97 c #Conflicts: 140000 | #Constraints: 10023
51.72/51.97 c #Conflicts: 141000 | #Constraints: 11023
51.72/51.97 c #Conflicts: 142000 | #Constraints: 12023
51.72/51.97 c #Conflicts: 143000 | #Constraints: 13023
51.72/51.97 c #Conflicts: 144000 | #Constraints: 14023
51.72/51.97 c #Conflicts: 145000 | #Constraints: 15023
51.72/51.97 c #Conflicts: 146000 | #Constraints: 16023
51.72/51.97 c #Conflicts: 147000 | #Constraints: 17023
51.72/51.97 c INPROCESSING
51.72/51.97 c GARBAGE COLLECT
51.72/51.97 c #Conflicts: 148000 | #Constraints: 10430
51.72/51.97 c #Conflicts: 149000 | #Constraints: 11430
51.72/51.97 c #Conflicts: 150000 | #Constraints: 12430
51.72/51.97 c #Conflicts: 151000 | #Constraints: 13430
51.72/51.97 c #Conflicts: 152000 | #Constraints: 14430
51.72/51.97 c #Conflicts: 153000 | #Constraints: 15430
51.72/51.97 c #Conflicts: 154000 | #Constraints: 16430
51.72/51.97 c #Conflicts: 155000 | #Constraints: 17430
51.72/51.97 c INPROCESSING
51.72/51.97 c GARBAGE COLLECT
51.72/51.97 c bounds 48333 >= 6935 @ 50.5686
51.72/51.97 c stratification level: 1759
54.31/54.58 c #Conflicts: 156000 | #Constraints: 10659
54.31/54.58 c #Conflicts: 157000 | #Constraints: 11659
54.31/54.58 c #Conflicts: 158000 | #Constraints: 12659
54.31/54.58 c #Conflicts: 159000 | #Constraints: 13659
54.31/54.58 c #Conflicts: 160000 | #Constraints: 14659
54.31/54.58 c #Conflicts: 161000 | #Constraints: 15659
54.31/54.58 c #Conflicts: 162000 | #Constraints: 16659
54.31/54.58 c bounds 48295 >= 6935 @ 53.1097
54.31/54.58 c stratification level: 1758
59.10/59.35 c #Conflicts: 163000 | #Constraints: 17660
59.10/59.35 c INPROCESSING
59.10/59.35 c GARBAGE COLLECT
59.10/59.35 c #Conflicts: 164000 | #Constraints: 10658
59.10/59.35 c #Conflicts: 165000 | #Constraints: 11658
59.10/59.35 c #Conflicts: 166000 | #Constraints: 12658
59.10/59.35 c #Conflicts: 167000 | #Constraints: 13658
59.10/59.35 c #Conflicts: 168000 | #Constraints: 14658
59.10/59.35 c #Conflicts: 169000 | #Constraints: 15658
59.10/59.35 c #Conflicts: 170000 | #Constraints: 16658
59.10/59.35 c #Conflicts: 171000 | #Constraints: 17658
59.10/59.35 c bounds 48290 >= 6935 @ 57.7763
59.10/59.35 c stratification level: 1750
59.10/59.36 c bounds 48278 >= 6935 @ 57.7852
59.10/59.36 c stratification level: 1746
94.30/94.61 c INPROCESSING
94.30/94.61 c GARBAGE COLLECT
94.30/94.61 c #Conflicts: 172000 | #Constraints: 10451
94.30/94.61 c #Conflicts: 173000 | #Constraints: 11451
94.30/94.61 c #Conflicts: 174000 | #Constraints: 12451
94.30/94.61 c #Conflicts: 175000 | #Constraints: 13451
94.30/94.61 c #Conflicts: 176000 | #Constraints: 14451
94.30/94.61 c #Conflicts: 177000 | #Constraints: 15451
94.30/94.61 c #Conflicts: 178000 | #Constraints: 16451
94.30/94.61 c #Conflicts: 179000 | #Constraints: 17451
94.30/94.61 c #Conflicts: 180000 | #Constraints: 18451
94.30/94.61 c INPROCESSING
94.30/94.61 c GARBAGE COLLECT
94.30/94.61 c #Conflicts: 181000 | #Constraints: 11060
94.30/94.61 c #Conflicts: 182000 | #Constraints: 12060
94.30/94.61 c #Conflicts: 183000 | #Constraints: 13060
94.30/94.61 c #Conflicts: 184000 | #Constraints: 14060
94.30/94.61 c #Conflicts: 185000 | #Constraints: 15060
94.30/94.61 c #Conflicts: 186000 | #Constraints: 16060
94.30/94.61 c #Conflicts: 187000 | #Constraints: 17060
94.30/94.61 c #Conflicts: 188000 | #Constraints: 18060
94.30/94.61 c #Conflicts: 189000 | #Constraints: 19060
94.30/94.61 c INPROCESSING
94.30/94.61 c GARBAGE COLLECT
94.30/94.61 c #Conflicts: 190000 | #Constraints: 11455
94.30/94.61 c #Conflicts: 191000 | #Constraints: 12455
94.30/94.61 c #Conflicts: 192000 | #Constraints: 13455
94.30/94.61 c #Conflicts: 193000 | #Constraints: 14455
94.30/94.61 c #Conflicts: 194000 | #Constraints: 15455
94.30/94.61 c #Conflicts: 195000 | #Constraints: 16455
94.30/94.61 c #Conflicts: 196000 | #Constraints: 17455
94.30/94.61 c #Conflicts: 197000 | #Constraints: 18455
94.30/94.61 c #Conflicts: 198000 | #Constraints: 19455
94.30/94.61 c INPROCESSING
94.30/94.61 c GARBAGE COLLECT
94.30/94.61 c #Conflicts: 199000 | #Constraints: 11667
94.30/94.61 c #Conflicts: 200000 | #Constraints: 12667
94.30/94.61 c #Conflicts: 201000 | #Constraints: 13667
94.30/94.61 c #Conflicts: 202000 | #Constraints: 14667
94.30/94.61 c #Conflicts: 203000 | #Constraints: 15667
94.30/94.61 c #Conflicts: 204000 | #Constraints: 16667
94.30/94.61 c #Conflicts: 205000 | #Constraints: 17667
94.30/94.61 c #Conflicts: 206000 | #Constraints: 18667
94.30/94.61 c #Conflicts: 207000 | #Constraints: 19667
94.30/94.61 c INPROCESSING
94.30/94.61 c GARBAGE COLLECT
94.30/94.61 c #Conflicts: 208000 | #Constraints: 11656
94.30/94.61 c #Conflicts: 209000 | #Constraints: 12656
94.30/94.61 c #Conflicts: 210000 | #Constraints: 13656
94.30/94.61 c #Conflicts: 211000 | #Constraints: 14656
94.30/94.61 c #Conflicts: 212000 | #Constraints: 15656
94.30/94.61 c #Conflicts: 213000 | #Constraints: 16656
94.30/94.61 c bounds 48278 >= 8681 @ 78.6464
94.30/94.61 c #Conflicts: 214000 | #Constraints: 17657
94.30/94.61 c #Conflicts: 215000 | #Constraints: 18657
94.30/94.61 c #Conflicts: 216000 | #Constraints: 19657
94.30/94.61 c INPROCESSING
94.30/94.61 c GARBAGE COLLECT
94.30/94.61 c #Conflicts: 217000 | #Constraints: 11468
94.30/94.61 c #Conflicts: 218000 | #Constraints: 12468
94.30/94.61 c #Conflicts: 219000 | #Constraints: 13468
94.30/94.61 c #Conflicts: 220000 | #Constraints: 14468
94.30/94.61 c #Conflicts: 221000 | #Constraints: 15468
94.30/94.61 c #Conflicts: 222000 | #Constraints: 16468
94.30/94.61 c #Conflicts: 223000 | #Constraints: 17468
94.30/94.61 c #Conflicts: 224000 | #Constraints: 18468
94.30/94.61 c #Conflicts: 225000 | #Constraints: 19468
94.30/94.61 c #Conflicts: 226000 | #Constraints: 20468
94.30/94.61 c INPROCESSING
94.30/94.61 c GARBAGE COLLECT
94.30/94.61 c #Conflicts: 227000 | #Constraints: 12069
94.30/94.61 c #Conflicts: 228000 | #Constraints: 13069
94.30/94.61 c #Conflicts: 229000 | #Constraints: 14069
94.30/94.61 c #Conflicts: 230000 | #Constraints: 15069
94.30/94.61 c #Conflicts: 231000 | #Constraints: 16069
94.30/94.61 c #Conflicts: 232000 | #Constraints: 17069
94.30/94.61 c #Conflicts: 233000 | #Constraints: 18069
94.30/94.61 c #Conflicts: 234000 | #Constraints: 19069
94.30/94.61 c #Conflicts: 235000 | #Constraints: 20069
94.30/94.61 c #Conflicts: 236000 | #Constraints: 21069
94.30/94.61 c INPROCESSING
94.30/94.61 c GARBAGE COLLECT
94.30/94.61 c #Conflicts: 237000 | #Constraints: 12459
94.30/94.61 c #Conflicts: 238000 | #Constraints: 13459
94.30/94.61 c #Conflicts: 239000 | #Constraints: 14459
94.30/94.61 c #Conflicts: 240000 | #Constraints: 15459
94.30/94.61 c #Conflicts: 241000 | #Constraints: 16459
94.30/94.61 c #Conflicts: 242000 | #Constraints: 17459
94.30/94.61 c #Conflicts: 243000 | #Constraints: 18459
94.30/94.61 c #Conflicts: 244000 | #Constraints: 19459
94.30/94.61 c #Conflicts: 245000 | #Constraints: 20459
129.51/130.00 c #Conflicts: 246000 | #Constraints: 21459
129.51/130.00 c INPROCESSING
129.51/130.00 c GARBAGE COLLECT
129.51/130.00 c #Conflicts: 247000 | #Constraints: 12654
129.51/130.00 c #Conflicts: 248000 | #Constraints: 13654
129.51/130.00 c #Conflicts: 249000 | #Constraints: 14654
129.51/130.00 c #Conflicts: 250000 | #Constraints: 15654
129.51/130.00 c #Conflicts: 251000 | #Constraints: 16654
129.51/130.00 c #Conflicts: 252000 | #Constraints: 17654
129.51/130.00 c #Conflicts: 253000 | #Constraints: 18654
129.51/130.00 c #Conflicts: 254000 | #Constraints: 19654
129.51/130.00 c #Conflicts: 255000 | #Constraints: 20654
129.51/130.00 c #Conflicts: 256000 | #Constraints: 21654
129.51/130.00 c INPROCESSING
129.51/130.00 c GARBAGE COLLECT
129.51/130.00 c #Conflicts: 257000 | #Constraints: 12662
129.51/130.00 c #Conflicts: 258000 | #Constraints: 13662
129.51/130.00 c #Conflicts: 259000 | #Constraints: 14662
129.51/130.00 c #Conflicts: 260000 | #Constraints: 15662
129.51/130.00 c #Conflicts: 261000 | #Constraints: 16662
129.51/130.00 c #Conflicts: 262000 | #Constraints: 17662
129.51/130.00 c #Conflicts: 263000 | #Constraints: 18662
129.51/130.00 c #Conflicts: 264000 | #Constraints: 19662
129.51/130.00 c #Conflicts: 265000 | #Constraints: 20662
129.51/130.00 c #Conflicts: 266000 | #Constraints: 21662
129.51/130.00 c INPROCESSING
129.51/130.00 c GARBAGE COLLECT
129.51/130.00 c #Conflicts: 267000 | #Constraints: 12457
129.51/130.00 c #Conflicts: 268000 | #Constraints: 13457
129.51/130.00 c #Conflicts: 269000 | #Constraints: 14457
129.51/130.00 c #Conflicts: 270000 | #Constraints: 15457
129.51/130.00 c #Conflicts: 271000 | #Constraints: 16457
129.51/130.00 c #Conflicts: 272000 | #Constraints: 17457
129.51/130.00 c #Conflicts: 273000 | #Constraints: 18457
129.51/130.00 c #Conflicts: 274000 | #Constraints: 19457
129.51/130.00 c #Conflicts: 275000 | #Constraints: 20457
129.51/130.00 c #Conflicts: 276000 | #Constraints: 21457
129.51/130.00 c #Conflicts: 277000 | #Constraints: 22457
129.51/130.00 c INPROCESSING
129.51/130.00 c GARBAGE COLLECT
129.51/130.00 c #Conflicts: 278000 | #Constraints: 13045
129.51/130.00 c #Conflicts: 279000 | #Constraints: 14045
129.51/130.00 c #Conflicts: 280000 | #Constraints: 15045
129.51/130.00 c #Conflicts: 281000 | #Constraints: 16045
129.51/130.00 c #Conflicts: 282000 | #Constraints: 17045
129.51/130.00 c #Conflicts: 283000 | #Constraints: 18045
129.51/130.00 c #Conflicts: 284000 | #Constraints: 19045
129.51/130.00 c #Conflicts: 285000 | #Constraints: 20045
129.51/130.00 c #Conflicts: 286000 | #Constraints: 21045
129.51/130.00 c #Conflicts: 287000 | #Constraints: 22045
129.51/130.00 c #Conflicts: 288000 | #Constraints: 23045
129.51/130.00 c INPROCESSING
129.51/130.00 c GARBAGE COLLECT
129.51/130.00 c #Conflicts: 289000 | #Constraints: 13451
129.51/130.00 c #Conflicts: 290000 | #Constraints: 14451
129.51/130.00 c #Conflicts: 291000 | #Constraints: 15451
129.51/130.00 c #Conflicts: 292000 | #Constraints: 16451
129.51/130.00 c #Conflicts: 293000 | #Constraints: 17451
129.51/130.00 c #Conflicts: 294000 | #Constraints: 18451
129.51/130.00 c #Conflicts: 295000 | #Constraints: 19451
129.51/130.00 c #Conflicts: 296000 | #Constraints: 20451
129.51/130.00 c #Conflicts: 297000 | #Constraints: 21451
129.51/130.00 c #Conflicts: 298000 | #Constraints: 22451
129.51/130.00 c #Conflicts: 299000 | #Constraints: 23451
129.51/130.00 c INPROCESSING
129.51/130.00 c GARBAGE COLLECT
129.51/130.00 c #Conflicts: 300000 | #Constraints: 13641
129.51/130.00 c #Conflicts: 301000 | #Constraints: 14641
129.51/130.00 c #Conflicts: 302000 | #Constraints: 15641
129.51/130.00 c #Conflicts: 303000 | #Constraints: 16641
129.51/130.00 c #Conflicts: 304000 | #Constraints: 17641
129.51/130.00 c #Conflicts: 305000 | #Constraints: 18641
129.51/130.00 c #Conflicts: 306000 | #Constraints: 19641
129.51/130.00 c #Conflicts: 307000 | #Constraints: 20641
129.51/130.00 c #Conflicts: 308000 | #Constraints: 21641
129.51/130.00 c #Conflicts: 309000 | #Constraints: 22641
129.51/130.00 c #Conflicts: 310000 | #Constraints: 23641
129.51/130.00 c INPROCESSING
129.51/130.00 c GARBAGE COLLECT
129.51/130.00 c #Conflicts: 311000 | #Constraints: 13651
129.51/130.00 c #Conflicts: 312000 | #Constraints: 14651
129.51/130.00 c #Conflicts: 313000 | #Constraints: 15651
129.51/130.00 c #Conflicts: 314000 | #Constraints: 16651
129.51/130.00 c #Conflicts: 315000 | #Constraints: 17651
129.51/130.00 c #Conflicts: 316000 | #Constraints: 18651
129.51/130.00 c #Conflicts: 317000 | #Constraints: 19651
129.51/130.00 c #Conflicts: 318000 | #Constraints: 20651
129.51/130.00 c #Conflicts: 319000 | #Constraints: 21651
164.22/164.76 c #Conflicts: 320000 | #Constraints: 22651
164.22/164.76 c #Conflicts: 321000 | #Constraints: 23651
164.22/164.76 c INPROCESSING
164.22/164.76 c GARBAGE COLLECT
164.22/164.76 c #Conflicts: 322000 | #Constraints: 13438
164.22/164.76 c #Conflicts: 323000 | #Constraints: 14438
164.22/164.76 c #Conflicts: 324000 | #Constraints: 15438
164.22/164.76 c #Conflicts: 325000 | #Constraints: 16438
164.22/164.76 c #Conflicts: 326000 | #Constraints: 17438
164.22/164.76 c #Conflicts: 327000 | #Constraints: 18438
164.22/164.76 c #Conflicts: 328000 | #Constraints: 19438
164.22/164.76 c #Conflicts: 329000 | #Constraints: 20438
164.22/164.76 c #Conflicts: 330000 | #Constraints: 21438
164.22/164.76 c #Conflicts: 331000 | #Constraints: 22438
164.22/164.76 c #Conflicts: 332000 | #Constraints: 23438
164.22/164.76 c #Conflicts: 333000 | #Constraints: 24438
164.22/164.76 c INPROCESSING
164.22/164.76 c GARBAGE COLLECT
164.22/164.76 c #Conflicts: 334000 | #Constraints: 14021
164.22/164.76 c #Conflicts: 335000 | #Constraints: 15021
164.22/164.76 c #Conflicts: 336000 | #Constraints: 16021
164.22/164.76 c #Conflicts: 337000 | #Constraints: 17021
164.22/164.76 c #Conflicts: 338000 | #Constraints: 18021
164.22/164.76 c #Conflicts: 339000 | #Constraints: 19021
164.22/164.76 c #Conflicts: 340000 | #Constraints: 20021
164.22/164.76 c #Conflicts: 341000 | #Constraints: 21021
164.22/164.76 c #Conflicts: 342000 | #Constraints: 22021
164.22/164.76 c #Conflicts: 343000 | #Constraints: 23021
164.22/164.76 c #Conflicts: 344000 | #Constraints: 24021
164.22/164.76 c #Conflicts: 345000 | #Constraints: 25021
164.22/164.76 c INPROCESSING
164.22/164.76 c GARBAGE COLLECT
164.22/164.76 c #Conflicts: 346000 | #Constraints: 14458
164.22/164.76 c #Conflicts: 347000 | #Constraints: 15458
164.22/164.76 c #Conflicts: 348000 | #Constraints: 16458
164.22/164.76 c #Conflicts: 349000 | #Constraints: 17458
164.22/164.76 c #Conflicts: 350000 | #Constraints: 18458
164.22/164.76 c #Conflicts: 351000 | #Constraints: 19458
164.22/164.76 c #Conflicts: 352000 | #Constraints: 20458
164.22/164.76 c #Conflicts: 353000 | #Constraints: 21458
164.22/164.76 c #Conflicts: 354000 | #Constraints: 22458
164.22/164.76 c #Conflicts: 355000 | #Constraints: 23458
164.22/164.76 c #Conflicts: 356000 | #Constraints: 24458
164.22/164.76 c #Conflicts: 357000 | #Constraints: 25458
164.22/164.76 c INPROCESSING
164.22/164.76 c GARBAGE COLLECT
164.22/164.76 c #Conflicts: 358000 | #Constraints: 14652
164.22/164.76 c #Conflicts: 359000 | #Constraints: 15652
164.22/164.76 c #Conflicts: 360000 | #Constraints: 16652
164.22/164.76 c #Conflicts: 361000 | #Constraints: 17652
164.22/164.76 c #Conflicts: 362000 | #Constraints: 18652
164.22/164.76 c #Conflicts: 363000 | #Constraints: 19652
164.22/164.76 c #Conflicts: 364000 | #Constraints: 20652
164.22/164.76 c #Conflicts: 365000 | #Constraints: 21652
164.22/164.76 c #Conflicts: 366000 | #Constraints: 22652
164.22/164.76 c #Conflicts: 367000 | #Constraints: 23652
164.22/164.76 c #Conflicts: 368000 | #Constraints: 24652
164.22/164.76 c #Conflicts: 369000 | #Constraints: 25652
164.22/164.76 c INPROCESSING
164.22/164.76 c GARBAGE COLLECT
164.22/164.76 c #Conflicts: 370000 | #Constraints: 14658
164.22/164.76 c #Conflicts: 371000 | #Constraints: 15658
164.22/164.76 c #Conflicts: 372000 | #Constraints: 16658
164.22/164.76 c #Conflicts: 373000 | #Constraints: 17658
164.22/164.76 c #Conflicts: 374000 | #Constraints: 18658
164.22/164.76 c #Conflicts: 375000 | #Constraints: 19658
164.22/164.76 c #Conflicts: 376000 | #Constraints: 20658
164.22/164.76 c #Conflicts: 377000 | #Constraints: 21658
164.22/164.76 c #Conflicts: 378000 | #Constraints: 22658
164.22/164.76 c #Conflicts: 379000 | #Constraints: 23658
164.22/164.76 c #Conflicts: 380000 | #Constraints: 24658
164.22/164.76 c #Conflicts: 381000 | #Constraints: 25658
164.22/164.76 c INPROCESSING
164.22/164.76 c GARBAGE COLLECT
164.22/164.76 c #Conflicts: 382000 | #Constraints: 14443
164.22/164.76 c #Conflicts: 383000 | #Constraints: 15443
164.22/164.76 c #Conflicts: 384000 | #Constraints: 16443
164.22/164.76 c #Conflicts: 385000 | #Constraints: 17443
164.22/164.76 c #Conflicts: 386000 | #Constraints: 18443
164.22/164.76 c #Conflicts: 387000 | #Constraints: 19443
164.22/164.76 c #Conflicts: 388000 | #Constraints: 20443
164.22/164.76 c #Conflicts: 389000 | #Constraints: 21443
164.22/164.76 c #Conflicts: 390000 | #Constraints: 22443
164.22/164.76 c #Conflicts: 391000 | #Constraints: 23443
164.22/164.76 c #Conflicts: 392000 | #Constraints: 24443
164.22/164.76 c #Conflicts: 393000 | #Constraints: 25443
164.22/164.76 c #Conflicts: 394000 | #Constraints: 26443
200.02/200.69 c INPROCESSING
200.02/200.69 c GARBAGE COLLECT
200.02/200.69 c #Conflicts: 395000 | #Constraints: 15024
200.02/200.69 c #Conflicts: 396000 | #Constraints: 16024
200.02/200.69 c #Conflicts: 397000 | #Constraints: 17024
200.02/200.69 c #Conflicts: 398000 | #Constraints: 18024
200.02/200.69 c #Conflicts: 399000 | #Constraints: 19024
200.02/200.69 c #Conflicts: 400000 | #Constraints: 20024
200.02/200.69 c #Conflicts: 401000 | #Constraints: 21024
200.02/200.69 c #Conflicts: 402000 | #Constraints: 22024
200.02/200.69 c #Conflicts: 403000 | #Constraints: 23024
200.02/200.69 c #Conflicts: 404000 | #Constraints: 24024
200.02/200.69 c #Conflicts: 405000 | #Constraints: 25024
200.02/200.69 c #Conflicts: 406000 | #Constraints: 26024
200.02/200.69 c #Conflicts: 407000 | #Constraints: 27024
200.02/200.69 c INPROCESSING
200.02/200.69 c GARBAGE COLLECT
200.02/200.69 c #Conflicts: 408000 | #Constraints: 15441
200.02/200.69 c #Conflicts: 409000 | #Constraints: 16441
200.02/200.69 c #Conflicts: 410000 | #Constraints: 17441
200.02/200.69 c #Conflicts: 411000 | #Constraints: 18441
200.02/200.69 c #Conflicts: 412000 | #Constraints: 19441
200.02/200.69 c #Conflicts: 413000 | #Constraints: 20441
200.02/200.69 c #Conflicts: 414000 | #Constraints: 21441
200.02/200.69 c #Conflicts: 415000 | #Constraints: 22441
200.02/200.69 c #Conflicts: 416000 | #Constraints: 23441
200.02/200.69 c #Conflicts: 417000 | #Constraints: 24441
200.02/200.69 c #Conflicts: 418000 | #Constraints: 25441
200.02/200.69 c #Conflicts: 419000 | #Constraints: 26441
200.02/200.69 c #Conflicts: 420000 | #Constraints: 27441
200.02/200.69 c INPROCESSING
200.02/200.69 c GARBAGE COLLECT
200.02/200.69 c #Conflicts: 421000 | #Constraints: 15640
200.02/200.69 c #Conflicts: 422000 | #Constraints: 16640
200.02/200.69 c #Conflicts: 423000 | #Constraints: 17640
200.02/200.69 c #Conflicts: 424000 | #Constraints: 18640
200.02/200.69 c #Conflicts: 425000 | #Constraints: 19640
200.02/200.69 c #Conflicts: 426000 | #Constraints: 20640
200.02/200.69 c #Conflicts: 427000 | #Constraints: 21640
200.02/200.69 c #Conflicts: 428000 | #Constraints: 22640
200.02/200.69 c #Conflicts: 429000 | #Constraints: 23640
200.02/200.69 c #Conflicts: 430000 | #Constraints: 24640
200.02/200.69 c #Conflicts: 431000 | #Constraints: 25640
200.02/200.69 c #Conflicts: 432000 | #Constraints: 26640
200.02/200.69 c #Conflicts: 433000 | #Constraints: 27640
200.02/200.69 c INPROCESSING
200.02/200.69 c GARBAGE COLLECT
200.02/200.69 c #Conflicts: 434000 | #Constraints: 15633
200.02/200.69 c #Conflicts: 435000 | #Constraints: 16633
200.02/200.69 c #Conflicts: 436000 | #Constraints: 17633
200.02/200.69 c #Conflicts: 437000 | #Constraints: 18633
200.02/200.69 c #Conflicts: 438000 | #Constraints: 19633
200.02/200.69 c #Conflicts: 439000 | #Constraints: 20633
200.02/200.69 c #Conflicts: 440000 | #Constraints: 21633
200.02/200.69 c #Conflicts: 441000 | #Constraints: 22633
200.02/200.69 c #Conflicts: 442000 | #Constraints: 23633
200.02/200.69 c #Conflicts: 443000 | #Constraints: 24633
200.02/200.69 c #Conflicts: 444000 | #Constraints: 25633
200.02/200.69 c #Conflicts: 445000 | #Constraints: 26633
200.02/200.69 c #Conflicts: 446000 | #Constraints: 27633
200.02/200.69 c INPROCESSING
200.02/200.69 c GARBAGE COLLECT
200.02/200.69 c #Conflicts: 447000 | #Constraints: 15449
200.02/200.69 c #Conflicts: 448000 | #Constraints: 16449
200.02/200.69 c #Conflicts: 449000 | #Constraints: 17449
200.02/200.69 c #Conflicts: 450000 | #Constraints: 18449
200.02/200.69 c #Conflicts: 451000 | #Constraints: 19449
200.02/200.69 c #Conflicts: 452000 | #Constraints: 20449
200.02/200.69 c #Conflicts: 453000 | #Constraints: 21449
200.02/200.69 c #Conflicts: 454000 | #Constraints: 22449
200.02/200.69 c #Conflicts: 455000 | #Constraints: 23449
200.02/200.69 c #Conflicts: 456000 | #Constraints: 24449
200.02/200.69 c #Conflicts: 457000 | #Constraints: 25449
200.02/200.69 c #Conflicts: 458000 | #Constraints: 26449
200.02/200.69 c #Conflicts: 459000 | #Constraints: 27449
200.02/200.69 c #Conflicts: 460000 | #Constraints: 28449
200.02/200.69 c INPROCESSING
200.02/200.69 c GARBAGE COLLECT
200.02/200.69 c #Conflicts: 461000 | #Constraints: 16049
200.02/200.69 c #Conflicts: 462000 | #Constraints: 17049
200.02/200.69 c #Conflicts: 463000 | #Constraints: 18049
200.02/200.69 c #Conflicts: 464000 | #Constraints: 19049
200.02/200.69 c #Conflicts: 465000 | #Constraints: 20049
200.02/200.69 c #Conflicts: 466000 | #Constraints: 21049
200.02/200.69 c #Conflicts: 467000 | #Constraints: 22049
200.02/200.69 c #Conflicts: 468000 | #Constraints: 23049
200.02/200.69 c #Conflicts: 469000 | #Constraints: 24049
214.98/215.65 c #Conflicts: 470000 | #Constraints: 25049
214.98/215.65 c #Conflicts: 471000 | #Constraints: 26049
214.98/215.65 c #Conflicts: 472000 | #Constraints: 27049
214.98/215.65 c #Conflicts: 473000 | #Constraints: 28049
214.98/215.65 c #Conflicts: 474000 | #Constraints: 29049
214.98/215.65 c INPROCESSING
214.98/215.65 c GARBAGE COLLECT
214.98/215.65 c #Conflicts: 475000 | #Constraints: 16449
214.98/215.65 c #Conflicts: 476000 | #Constraints: 17449
214.98/215.65 c #Conflicts: 477000 | #Constraints: 18449
214.98/215.65 c #Conflicts: 478000 | #Constraints: 19449
214.98/215.65 c #Conflicts: 479000 | #Constraints: 20449
214.98/215.65 c #Conflicts: 480000 | #Constraints: 21449
214.98/215.65 c #Conflicts: 481000 | #Constraints: 22449
214.98/215.65 c #Conflicts: 482000 | #Constraints: 23449
214.98/215.65 c #Conflicts: 483000 | #Constraints: 24449
214.98/215.65 c #Conflicts: 484000 | #Constraints: 25449
214.98/215.65 c #Conflicts: 485000 | #Constraints: 26449
214.98/215.65 c #Conflicts: 486000 | #Constraints: 27449
214.98/215.65 c #Conflicts: 487000 | #Constraints: 28449
214.98/215.65 c #Conflicts: 488000 | #Constraints: 29449
214.98/215.66 c INPROCESSING
214.98/215.66 c GARBAGE COLLECT
214.98/215.66 c #Conflicts: 489000 | #Constraints: 16648
214.98/215.66 c #Conflicts: 490000 | #Constraints: 17648
214.98/215.66 c #Conflicts: 491000 | #Constraints: 18648
214.98/215.66 c #Conflicts: 492000 | #Constraints: 19648
214.98/215.66 c #Conflicts: 493000 | #Constraints: 20648
214.98/215.66 c #Conflicts: 494000 | #Constraints: 21648
214.98/215.66 c #Conflicts: 495000 | #Constraints: 22648
214.98/215.66 c #Conflicts: 496000 | #Constraints: 23648
214.98/215.66 c #Conflicts: 497000 | #Constraints: 24648
214.98/215.66 c finalizing WCE round: reformulating cores
215.39/216.10 c bounds 47697 >= 8681 @ 211.446
215.39/216.10 c bounds 47685 >= 8681 @ 211.454
215.39/216.10 c stratification level: 1744
215.39/216.11 c bounds 47627 >= 8681 @ 211.463
215.39/216.11 c stratification level: 1741
215.78/216.40 c #Conflicts: 498000 | #Constraints: 25654
215.78/216.40 c #Conflicts: 499000 | #Constraints: 26654
215.78/216.40 c #Conflicts: 500000 | #Constraints: 27654
215.78/216.40 c bounds 47618 >= 8681 @ 211.742
215.78/216.40 c stratification level: 1740
251.18/251.96 c #Conflicts: 501000 | #Constraints: 28655
251.18/251.96 c #Conflicts: 502000 | #Constraints: 29655
251.18/251.96 c INPROCESSING
251.18/251.96 c GARBAGE COLLECT
251.18/251.96 c #Conflicts: 503000 | #Constraints: 16642
251.18/251.96 c #Conflicts: 504000 | #Constraints: 17642
251.18/251.96 c #Conflicts: 505000 | #Constraints: 18642
251.18/251.96 c #Conflicts: 506000 | #Constraints: 19642
251.18/251.96 c #Conflicts: 507000 | #Constraints: 20642
251.18/251.96 c #Conflicts: 508000 | #Constraints: 21642
251.18/251.96 c #Conflicts: 509000 | #Constraints: 22642
251.18/251.96 c #Conflicts: 510000 | #Constraints: 23642
251.18/251.96 c #Conflicts: 511000 | #Constraints: 24642
251.18/251.96 c #Conflicts: 512000 | #Constraints: 25642
251.18/251.96 c #Conflicts: 513000 | #Constraints: 26642
251.18/251.96 c #Conflicts: 514000 | #Constraints: 27642
251.18/251.96 c #Conflicts: 515000 | #Constraints: 28642
251.18/251.96 c #Conflicts: 516000 | #Constraints: 29642
251.18/251.96 c INPROCESSING
251.18/251.96 c GARBAGE COLLECT
251.18/251.96 c #Conflicts: 517000 | #Constraints: 16444
251.18/251.96 c #Conflicts: 518000 | #Constraints: 17444
251.18/251.96 c #Conflicts: 519000 | #Constraints: 18444
251.18/251.96 c #Conflicts: 520000 | #Constraints: 19444
251.18/251.96 c #Conflicts: 521000 | #Constraints: 20444
251.18/251.96 c #Conflicts: 522000 | #Constraints: 21444
251.18/251.96 c #Conflicts: 523000 | #Constraints: 22444
251.18/251.96 c #Conflicts: 524000 | #Constraints: 23444
251.18/251.96 c #Conflicts: 525000 | #Constraints: 24444
251.18/251.96 c #Conflicts: 526000 | #Constraints: 25444
251.18/251.96 c #Conflicts: 527000 | #Constraints: 26444
251.18/251.96 c #Conflicts: 528000 | #Constraints: 27444
251.18/251.96 c #Conflicts: 529000 | #Constraints: 28444
251.18/251.96 c #Conflicts: 530000 | #Constraints: 29444
251.18/251.96 c #Conflicts: 531000 | #Constraints: 30444
251.18/251.96 c INPROCESSING
251.18/251.96 c GARBAGE COLLECT
251.18/251.96 c #Conflicts: 532000 | #Constraints: 17096
251.18/251.96 c #Conflicts: 533000 | #Constraints: 18096
251.18/251.96 c #Conflicts: 534000 | #Constraints: 19096
251.18/251.96 c #Conflicts: 535000 | #Constraints: 20096
251.18/251.96 c #Conflicts: 536000 | #Constraints: 21096
251.18/251.96 c #Conflicts: 537000 | #Constraints: 22096
251.18/251.96 c #Conflicts: 538000 | #Constraints: 23096
251.18/251.96 c #Conflicts: 539000 | #Constraints: 24096
251.18/251.96 c #Conflicts: 540000 | #Constraints: 25096
251.18/251.96 c #Conflicts: 541000 | #Constraints: 26096
251.18/251.96 c #Conflicts: 542000 | #Constraints: 27096
251.18/251.96 c #Conflicts: 543000 | #Constraints: 28096
251.18/251.96 c #Conflicts: 544000 | #Constraints: 29096
251.18/251.96 c #Conflicts: 545000 | #Constraints: 30096
251.18/251.96 c #Conflicts: 546000 | #Constraints: 31096
251.18/251.96 c INPROCESSING
251.18/251.96 c GARBAGE COLLECT
251.18/251.96 c #Conflicts: 547000 | #Constraints: 17480
251.18/251.96 c #Conflicts: 548000 | #Constraints: 18480
251.18/251.96 c #Conflicts: 549000 | #Constraints: 19480
251.18/251.96 c bounds 47549 >= 8681 @ 246.726
251.18/251.96 c stratification level: 1733
251.18/251.96 c bounds 47453 >= 8681 @ 246.73
251.18/251.96 c stratification level: 1732
251.18/251.97 c #Conflicts: 550000 | #Constraints: 20482
251.18/251.97 c bounds 47395 >= 8681 @ 246.738
251.18/251.97 c stratification level: 1730
284.31/285.17 c #Conflicts: 551000 | #Constraints: 21483
284.31/285.17 c #Conflicts: 552000 | #Constraints: 22483
284.31/285.17 c #Conflicts: 553000 | #Constraints: 23483
284.31/285.17 c #Conflicts: 554000 | #Constraints: 24483
284.31/285.17 c #Conflicts: 555000 | #Constraints: 25483
284.31/285.17 c #Conflicts: 556000 | #Constraints: 26483
284.31/285.17 c #Conflicts: 557000 | #Constraints: 27483
284.31/285.17 c #Conflicts: 558000 | #Constraints: 28483
284.31/285.17 c #Conflicts: 559000 | #Constraints: 29483
284.31/285.17 c #Conflicts: 560000 | #Constraints: 30483
284.31/285.17 c #Conflicts: 561000 | #Constraints: 31483
284.31/285.17 c INPROCESSING
284.31/285.17 c GARBAGE COLLECT
284.31/285.17 c #Conflicts: 562000 | #Constraints: 17670
284.31/285.17 c #Conflicts: 563000 | #Constraints: 18670
284.31/285.17 c #Conflicts: 564000 | #Constraints: 19670
284.31/285.17 c #Conflicts: 565000 | #Constraints: 20670
284.31/285.17 c #Conflicts: 566000 | #Constraints: 21670
284.31/285.17 c #Conflicts: 567000 | #Constraints: 22670
284.31/285.17 c #Conflicts: 568000 | #Constraints: 23670
284.31/285.17 c #Conflicts: 569000 | #Constraints: 24670
284.31/285.17 c #Conflicts: 570000 | #Constraints: 25670
284.31/285.17 c #Conflicts: 571000 | #Constraints: 26670
284.31/285.17 c #Conflicts: 572000 | #Constraints: 27670
284.31/285.17 c #Conflicts: 573000 | #Constraints: 28670
284.31/285.17 c #Conflicts: 574000 | #Constraints: 29670
284.31/285.17 c #Conflicts: 575000 | #Constraints: 30670
284.31/285.17 c #Conflicts: 576000 | #Constraints: 31670
284.31/285.17 c INPROCESSING
284.31/285.17 c GARBAGE COLLECT
284.31/285.17 c #Conflicts: 577000 | #Constraints: 17666
284.31/285.17 c #Conflicts: 578000 | #Constraints: 18666
284.31/285.17 c #Conflicts: 579000 | #Constraints: 19666
284.31/285.17 c #Conflicts: 580000 | #Constraints: 20666
284.31/285.17 c #Conflicts: 581000 | #Constraints: 21666
284.31/285.17 c #Conflicts: 582000 | #Constraints: 22666
284.31/285.17 c #Conflicts: 583000 | #Constraints: 23666
284.31/285.17 c #Conflicts: 584000 | #Constraints: 24666
284.31/285.17 c #Conflicts: 585000 | #Constraints: 25666
284.31/285.17 c #Conflicts: 586000 | #Constraints: 26666
284.31/285.17 c #Conflicts: 587000 | #Constraints: 27666
284.31/285.17 c #Conflicts: 588000 | #Constraints: 28666
284.31/285.17 c #Conflicts: 589000 | #Constraints: 29666
284.31/285.17 c #Conflicts: 590000 | #Constraints: 30666
284.31/285.17 c #Conflicts: 591000 | #Constraints: 31666
284.31/285.17 c INPROCESSING
284.31/285.17 c GARBAGE COLLECT
284.31/285.17 c #Conflicts: 592000 | #Constraints: 17469
284.31/285.17 c #Conflicts: 593000 | #Constraints: 18469
284.31/285.17 c #Conflicts: 594000 | #Constraints: 19469
284.31/285.17 c #Conflicts: 595000 | #Constraints: 20469
284.31/285.17 c #Conflicts: 596000 | #Constraints: 21469
284.31/285.17 c #Conflicts: 597000 | #Constraints: 22469
284.31/285.17 c #Conflicts: 598000 | #Constraints: 23469
284.31/285.17 c bounds 47366 >= 8681 @ 279.404
284.31/285.17 c stratification level: 1724
344.53/345.58 c #Conflicts: 599000 | #Constraints: 24470
344.53/345.58 c #Conflicts: 600000 | #Constraints: 25470
344.53/345.58 c #Conflicts: 601000 | #Constraints: 26470
344.53/345.58 c #Conflicts: 602000 | #Constraints: 27470
344.53/345.58 c #Conflicts: 603000 | #Constraints: 28470
344.53/345.58 c #Conflicts: 604000 | #Constraints: 29470
344.53/345.58 c #Conflicts: 605000 | #Constraints: 30470
344.53/345.58 c #Conflicts: 606000 | #Constraints: 31470
344.53/345.58 c #Conflicts: 607000 | #Constraints: 32470
344.53/345.58 c INPROCESSING
344.53/345.58 c GARBAGE COLLECT
344.53/345.58 c #Conflicts: 608000 | #Constraints: 18072
344.53/345.58 c #Conflicts: 609000 | #Constraints: 19072
344.53/345.58 c #Conflicts: 610000 | #Constraints: 20072
344.53/345.58 c #Conflicts: 611000 | #Constraints: 21072
344.53/345.58 c #Conflicts: 612000 | #Constraints: 22072
344.53/345.58 c #Conflicts: 613000 | #Constraints: 23072
344.53/345.58 c #Conflicts: 614000 | #Constraints: 24072
344.53/345.58 c #Conflicts: 615000 | #Constraints: 25072
344.53/345.58 c #Conflicts: 616000 | #Constraints: 26072
344.53/345.58 c #Conflicts: 617000 | #Constraints: 27072
344.53/345.58 c #Conflicts: 618000 | #Constraints: 28072
344.53/345.58 c #Conflicts: 619000 | #Constraints: 29072
344.53/345.58 c #Conflicts: 620000 | #Constraints: 30072
344.53/345.58 c #Conflicts: 621000 | #Constraints: 31072
344.53/345.58 c #Conflicts: 622000 | #Constraints: 32072
344.53/345.58 c #Conflicts: 623000 | #Constraints: 33072
344.53/345.58 c INPROCESSING
344.53/345.58 c GARBAGE COLLECT
344.53/345.58 c #Conflicts: 624000 | #Constraints: 18479
344.53/345.58 c #Conflicts: 625000 | #Constraints: 19479
344.53/345.58 c #Conflicts: 626000 | #Constraints: 20479
344.53/345.58 c #Conflicts: 627000 | #Constraints: 21479
344.53/345.58 c #Conflicts: 628000 | #Constraints: 22479
344.53/345.58 c #Conflicts: 629000 | #Constraints: 23479
344.53/345.58 c #Conflicts: 630000 | #Constraints: 24479
344.53/345.58 c #Conflicts: 631000 | #Constraints: 25479
344.53/345.58 c #Conflicts: 632000 | #Constraints: 26479
344.53/345.58 c #Conflicts: 633000 | #Constraints: 27479
344.53/345.58 c #Conflicts: 634000 | #Constraints: 28479
344.53/345.58 c #Conflicts: 635000 | #Constraints: 29479
344.53/345.58 c #Conflicts: 636000 | #Constraints: 30479
344.53/345.58 c #Conflicts: 637000 | #Constraints: 31479
344.53/345.58 c #Conflicts: 638000 | #Constraints: 32479
344.53/345.58 c #Conflicts: 639000 | #Constraints: 33479
344.53/345.58 c INPROCESSING
344.53/345.58 c GARBAGE COLLECT
344.53/345.58 c #Conflicts: 640000 | #Constraints: 18678
344.53/345.58 c #Conflicts: 641000 | #Constraints: 19678
344.53/345.58 c #Conflicts: 642000 | #Constraints: 20678
344.53/345.58 c #Conflicts: 643000 | #Constraints: 21678
344.53/345.58 c #Conflicts: 644000 | #Constraints: 22678
344.53/345.58 c #Conflicts: 645000 | #Constraints: 23678
344.53/345.58 c #Conflicts: 646000 | #Constraints: 24678
344.53/345.58 c #Conflicts: 647000 | #Constraints: 25678
344.53/345.58 c #Conflicts: 648000 | #Constraints: 26678
344.53/345.58 c #Conflicts: 649000 | #Constraints: 27678
344.53/345.58 c #Conflicts: 650000 | #Constraints: 28678
344.53/345.58 c #Conflicts: 651000 | #Constraints: 29678
344.53/345.58 c #Conflicts: 652000 | #Constraints: 30678
344.53/345.58 c #Conflicts: 653000 | #Constraints: 31678
344.53/345.58 c #Conflicts: 654000 | #Constraints: 32678
344.53/345.58 c #Conflicts: 655000 | #Constraints: 33678
344.53/345.58 c INPROCESSING
344.53/345.58 c GARBAGE COLLECT
344.53/345.58 c #Conflicts: 656000 | #Constraints: 18674
344.53/345.58 c #Conflicts: 657000 | #Constraints: 19674
344.53/345.58 c #Conflicts: 658000 | #Constraints: 20674
344.53/345.58 c #Conflicts: 659000 | #Constraints: 21674
344.53/345.58 c #Conflicts: 660000 | #Constraints: 22674
344.53/345.58 c #Conflicts: 661000 | #Constraints: 23674
344.53/345.58 c #Conflicts: 662000 | #Constraints: 24674
344.53/345.58 c #Conflicts: 663000 | #Constraints: 25674
344.53/345.58 c #Conflicts: 664000 | #Constraints: 26674
344.53/345.58 c #Conflicts: 665000 | #Constraints: 27674
344.53/345.58 c #Conflicts: 666000 | #Constraints: 28674
344.53/345.58 c #Conflicts: 667000 | #Constraints: 29674
344.53/345.58 c #Conflicts: 668000 | #Constraints: 30674
344.53/345.58 c #Conflicts: 669000 | #Constraints: 31674
344.53/345.58 c #Conflicts: 670000 | #Constraints: 32674
344.53/345.58 c #Conflicts: 671000 | #Constraints: 33674
344.53/345.58 c INPROCESSING
344.53/345.58 c GARBAGE COLLECT
344.53/345.58 c #Conflicts: 672000 | #Constraints: 18466
344.53/345.58 c #Conflicts: 673000 | #Constraints: 19466
344.53/345.58 c #Conflicts: 674000 | #Constraints: 20466
385.22/386.38 c #Conflicts: 675000 | #Constraints: 21466
385.22/386.38 c #Conflicts: 676000 | #Constraints: 22466
385.22/386.38 c #Conflicts: 677000 | #Constraints: 23466
385.22/386.38 c #Conflicts: 678000 | #Constraints: 24466
385.22/386.38 c #Conflicts: 679000 | #Constraints: 25466
385.22/386.38 c #Conflicts: 680000 | #Constraints: 26466
385.22/386.38 c #Conflicts: 681000 | #Constraints: 27466
385.22/386.38 c #Conflicts: 682000 | #Constraints: 28466
385.22/386.38 c #Conflicts: 683000 | #Constraints: 29466
385.22/386.38 c #Conflicts: 684000 | #Constraints: 30466
385.22/386.38 c #Conflicts: 685000 | #Constraints: 31466
385.22/386.38 c #Conflicts: 686000 | #Constraints: 32466
385.22/386.38 c #Conflicts: 687000 | #Constraints: 33466
385.22/386.38 c #Conflicts: 688000 | #Constraints: 34466
385.22/386.38 c INPROCESSING
385.22/386.38 c GARBAGE COLLECT
385.22/386.38 c #Conflicts: 689000 | #Constraints: 19061
385.22/386.38 c #Conflicts: 690000 | #Constraints: 20061
385.22/386.38 c #Conflicts: 691000 | #Constraints: 21061
385.22/386.38 c #Conflicts: 692000 | #Constraints: 22061
385.22/386.38 c #Conflicts: 693000 | #Constraints: 23061
385.22/386.38 c #Conflicts: 694000 | #Constraints: 24061
385.22/386.38 c #Conflicts: 695000 | #Constraints: 25061
385.22/386.38 c #Conflicts: 696000 | #Constraints: 26061
385.22/386.38 c #Conflicts: 697000 | #Constraints: 27061
385.22/386.38 c #Conflicts: 698000 | #Constraints: 28061
385.22/386.38 c #Conflicts: 699000 | #Constraints: 29061
385.22/386.38 c #Conflicts: 700000 | #Constraints: 30061
385.22/386.38 c #Conflicts: 701000 | #Constraints: 31061
385.22/386.38 c #Conflicts: 702000 | #Constraints: 32061
385.22/386.38 c #Conflicts: 703000 | #Constraints: 33061
385.22/386.38 c #Conflicts: 704000 | #Constraints: 34061
385.22/386.38 c #Conflicts: 705000 | #Constraints: 35061
385.22/386.38 c INPROCESSING
385.22/386.38 c GARBAGE COLLECT
385.22/386.38 c #Conflicts: 706000 | #Constraints: 19447
385.22/386.38 c #Conflicts: 707000 | #Constraints: 20447
385.22/386.38 c #Conflicts: 708000 | #Constraints: 21447
385.22/386.38 c #Conflicts: 709000 | #Constraints: 22447
385.22/386.38 c #Conflicts: 710000 | #Constraints: 23447
385.22/386.38 c #Conflicts: 711000 | #Constraints: 24447
385.22/386.38 c #Conflicts: 712000 | #Constraints: 25447
385.22/386.38 c #Conflicts: 713000 | #Constraints: 26447
385.22/386.38 c #Conflicts: 714000 | #Constraints: 27447
385.22/386.38 c #Conflicts: 715000 | #Constraints: 28447
385.22/386.38 c #Conflicts: 716000 | #Constraints: 29447
385.22/386.38 c #Conflicts: 717000 | #Constraints: 30447
385.22/386.38 c #Conflicts: 718000 | #Constraints: 31447
385.22/386.38 c #Conflicts: 719000 | #Constraints: 32447
385.22/386.38 c #Conflicts: 720000 | #Constraints: 33447
385.22/386.38 c #Conflicts: 721000 | #Constraints: 34447
385.22/386.38 c #Conflicts: 722000 | #Constraints: 35447
385.22/386.38 c INPROCESSING
385.22/386.38 c GARBAGE COLLECT
385.22/386.38 c #Conflicts: 723000 | #Constraints: 19660
385.22/386.38 c #Conflicts: 724000 | #Constraints: 20660
385.22/386.38 c #Conflicts: 725000 | #Constraints: 21660
385.22/386.38 c #Conflicts: 726000 | #Constraints: 22660
385.22/386.38 c #Conflicts: 727000 | #Constraints: 23660
385.22/386.38 c #Conflicts: 728000 | #Constraints: 24660
385.22/386.38 c #Conflicts: 729000 | #Constraints: 25660
385.22/386.38 c #Conflicts: 730000 | #Constraints: 26660
385.22/386.38 c #Conflicts: 731000 | #Constraints: 27660
385.22/386.38 c #Conflicts: 732000 | #Constraints: 28660
385.22/386.38 c #Conflicts: 733000 | #Constraints: 29660
385.22/386.38 c #Conflicts: 734000 | #Constraints: 30660
385.22/386.38 c #Conflicts: 735000 | #Constraints: 31660
385.22/386.38 c #Conflicts: 736000 | #Constraints: 32660
385.22/386.38 c #Conflicts: 737000 | #Constraints: 33660
385.22/386.38 c #Conflicts: 738000 | #Constraints: 34660
385.22/386.38 c #Conflicts: 739000 | #Constraints: 35660
385.22/386.38 c bounds 47357 >= 8681 @ 379.143
385.22/386.38 c stratification level: 1723
385.32/386.45 c INPROCESSING
385.32/386.45 c GARBAGE COLLECT
385.32/386.45 c bounds 47351 >= 8681 @ 379.216
385.32/386.45 c stratification level: 1721
449.35/450.69 c #Conflicts: 740000 | #Constraints: 19638
449.35/450.69 c #Conflicts: 741000 | #Constraints: 20638
449.35/450.69 c #Conflicts: 742000 | #Constraints: 21638
449.35/450.69 c #Conflicts: 743000 | #Constraints: 22638
449.35/450.69 c #Conflicts: 744000 | #Constraints: 23638
449.35/450.69 c #Conflicts: 745000 | #Constraints: 24638
449.35/450.69 c #Conflicts: 746000 | #Constraints: 25638
449.35/450.69 c #Conflicts: 747000 | #Constraints: 26638
449.35/450.69 c #Conflicts: 748000 | #Constraints: 27638
449.35/450.69 c #Conflicts: 749000 | #Constraints: 28638
449.35/450.69 c #Conflicts: 750000 | #Constraints: 29638
449.35/450.69 c #Conflicts: 751000 | #Constraints: 30638
449.35/450.69 c #Conflicts: 752000 | #Constraints: 31638
449.35/450.69 c #Conflicts: 753000 | #Constraints: 32638
449.35/450.69 c #Conflicts: 754000 | #Constraints: 33638
449.35/450.69 c #Conflicts: 755000 | #Constraints: 34638
449.35/450.69 c #Conflicts: 756000 | #Constraints: 35638
449.35/450.69 c INPROCESSING
449.35/450.69 c GARBAGE COLLECT
449.35/450.69 c #Conflicts: 757000 | #Constraints: 19470
449.35/450.69 c #Conflicts: 758000 | #Constraints: 20470
449.35/450.69 c #Conflicts: 759000 | #Constraints: 21470
449.35/450.69 c #Conflicts: 760000 | #Constraints: 22470
449.35/450.69 c #Conflicts: 761000 | #Constraints: 23470
449.35/450.69 c #Conflicts: 762000 | #Constraints: 24470
449.35/450.69 c #Conflicts: 763000 | #Constraints: 25470
449.35/450.69 c #Conflicts: 764000 | #Constraints: 26470
449.35/450.69 c #Conflicts: 765000 | #Constraints: 27470
449.35/450.69 c #Conflicts: 766000 | #Constraints: 28470
449.35/450.69 c #Conflicts: 767000 | #Constraints: 29470
449.35/450.69 c #Conflicts: 768000 | #Constraints: 30470
449.35/450.69 c #Conflicts: 769000 | #Constraints: 31470
449.35/450.69 c #Conflicts: 770000 | #Constraints: 32470
449.35/450.69 c #Conflicts: 771000 | #Constraints: 33470
449.35/450.69 c #Conflicts: 772000 | #Constraints: 34470
449.35/450.69 c #Conflicts: 773000 | #Constraints: 35470
449.35/450.69 c #Conflicts: 774000 | #Constraints: 36470
449.35/450.69 c INPROCESSING
449.35/450.69 c GARBAGE COLLECT
449.35/450.69 c #Conflicts: 775000 | #Constraints: 20068
449.35/450.69 c #Conflicts: 776000 | #Constraints: 21068
449.35/450.69 c #Conflicts: 777000 | #Constraints: 22068
449.35/450.69 c #Conflicts: 778000 | #Constraints: 23068
449.35/450.69 c #Conflicts: 779000 | #Constraints: 24068
449.35/450.69 c #Conflicts: 780000 | #Constraints: 25068
449.35/450.69 c #Conflicts: 781000 | #Constraints: 26068
449.35/450.69 c #Conflicts: 782000 | #Constraints: 27068
449.35/450.69 c #Conflicts: 783000 | #Constraints: 28068
449.35/450.69 c #Conflicts: 784000 | #Constraints: 29068
449.35/450.69 c #Conflicts: 785000 | #Constraints: 30068
449.35/450.69 c #Conflicts: 786000 | #Constraints: 31068
449.35/450.69 c #Conflicts: 787000 | #Constraints: 32068
449.35/450.69 c #Conflicts: 788000 | #Constraints: 33068
449.35/450.69 c #Conflicts: 789000 | #Constraints: 34068
449.35/450.69 c #Conflicts: 790000 | #Constraints: 35068
449.35/450.69 c #Conflicts: 791000 | #Constraints: 36068
449.35/450.69 c #Conflicts: 792000 | #Constraints: 37068
449.35/450.69 c INPROCESSING
449.35/450.69 c GARBAGE COLLECT
449.35/450.69 c #Conflicts: 793000 | #Constraints: 20461
449.35/450.69 c #Conflicts: 794000 | #Constraints: 21461
449.35/450.69 c #Conflicts: 795000 | #Constraints: 22461
449.35/450.69 c #Conflicts: 796000 | #Constraints: 23461
449.35/450.69 c #Conflicts: 797000 | #Constraints: 24461
449.35/450.69 c #Conflicts: 798000 | #Constraints: 25461
449.35/450.69 c #Conflicts: 799000 | #Constraints: 26461
449.35/450.69 c #Conflicts: 800000 | #Constraints: 27461
449.35/450.69 c #Conflicts: 801000 | #Constraints: 28461
449.35/450.69 c #Conflicts: 802000 | #Constraints: 29461
449.35/450.69 c #Conflicts: 803000 | #Constraints: 30461
449.35/450.69 c #Conflicts: 804000 | #Constraints: 31461
449.35/450.69 c #Conflicts: 805000 | #Constraints: 32461
449.35/450.69 c #Conflicts: 806000 | #Constraints: 33461
449.35/450.69 c #Conflicts: 807000 | #Constraints: 34461
449.35/450.69 c #Conflicts: 808000 | #Constraints: 35461
449.35/450.69 c #Conflicts: 809000 | #Constraints: 36461
449.35/450.69 c #Conflicts: 810000 | #Constraints: 37461
449.35/450.69 c INPROCESSING
449.35/450.69 c GARBAGE COLLECT
449.35/450.69 c #Conflicts: 811000 | #Constraints: 20670
449.35/450.69 c #Conflicts: 812000 | #Constraints: 21670
449.35/450.69 c #Conflicts: 813000 | #Constraints: 22670
449.35/450.69 c #Conflicts: 814000 | #Constraints: 23670
449.35/450.69 c #Conflicts: 815000 | #Constraints: 24670
449.35/450.69 c #Conflicts: 816000 | #Constraints: 25670
517.26/518.74 c #Conflicts: 817000 | #Constraints: 26670
517.26/518.74 c #Conflicts: 818000 | #Constraints: 27670
517.26/518.74 c #Conflicts: 819000 | #Constraints: 28670
517.26/518.74 c #Conflicts: 820000 | #Constraints: 29670
517.26/518.74 c #Conflicts: 821000 | #Constraints: 30670
517.26/518.74 c #Conflicts: 822000 | #Constraints: 31670
517.26/518.74 c #Conflicts: 823000 | #Constraints: 32670
517.26/518.74 c #Conflicts: 824000 | #Constraints: 33670
517.26/518.74 c #Conflicts: 825000 | #Constraints: 34670
517.26/518.74 c #Conflicts: 826000 | #Constraints: 35670
517.26/518.74 c #Conflicts: 827000 | #Constraints: 36670
517.26/518.74 c #Conflicts: 828000 | #Constraints: 37670
517.26/518.74 c INPROCESSING
517.26/518.74 c GARBAGE COLLECT
517.26/518.74 c #Conflicts: 829000 | #Constraints: 20679
517.26/518.74 c #Conflicts: 830000 | #Constraints: 21679
517.26/518.74 c #Conflicts: 831000 | #Constraints: 22679
517.26/518.74 c #Conflicts: 832000 | #Constraints: 23679
517.26/518.74 c #Conflicts: 833000 | #Constraints: 24679
517.26/518.74 c #Conflicts: 834000 | #Constraints: 25679
517.26/518.74 c #Conflicts: 835000 | #Constraints: 26679
517.26/518.74 c #Conflicts: 836000 | #Constraints: 27679
517.26/518.74 c #Conflicts: 837000 | #Constraints: 28679
517.26/518.74 c #Conflicts: 838000 | #Constraints: 29679
517.26/518.74 c #Conflicts: 839000 | #Constraints: 30679
517.26/518.74 c #Conflicts: 840000 | #Constraints: 31679
517.26/518.74 c #Conflicts: 841000 | #Constraints: 32679
517.26/518.74 c #Conflicts: 842000 | #Constraints: 33679
517.26/518.74 c #Conflicts: 843000 | #Constraints: 34679
517.26/518.74 c #Conflicts: 844000 | #Constraints: 35679
517.26/518.74 c #Conflicts: 845000 | #Constraints: 36679
517.26/518.74 c #Conflicts: 846000 | #Constraints: 37679
517.26/518.74 c INPROCESSING
517.26/518.74 c GARBAGE COLLECT
517.26/518.74 c #Conflicts: 847000 | #Constraints: 20497
517.26/518.74 c #Conflicts: 848000 | #Constraints: 21497
517.26/518.74 c #Conflicts: 849000 | #Constraints: 22497
517.26/518.74 c #Conflicts: 850000 | #Constraints: 23497
517.26/518.74 c #Conflicts: 851000 | #Constraints: 24497
517.26/518.74 c #Conflicts: 852000 | #Constraints: 25497
517.26/518.74 c #Conflicts: 853000 | #Constraints: 26497
517.26/518.74 c #Conflicts: 854000 | #Constraints: 27497
517.26/518.74 c #Conflicts: 855000 | #Constraints: 28497
517.26/518.74 c #Conflicts: 856000 | #Constraints: 29497
517.26/518.74 c #Conflicts: 857000 | #Constraints: 30497
517.26/518.74 c #Conflicts: 858000 | #Constraints: 31497
517.26/518.74 c #Conflicts: 859000 | #Constraints: 32497
517.26/518.74 c #Conflicts: 860000 | #Constraints: 33497
517.26/518.74 c #Conflicts: 861000 | #Constraints: 34497
517.26/518.74 c #Conflicts: 862000 | #Constraints: 35497
517.26/518.74 c #Conflicts: 863000 | #Constraints: 36497
517.26/518.74 c #Conflicts: 864000 | #Constraints: 37497
517.26/518.74 c #Conflicts: 865000 | #Constraints: 38497
517.26/518.74 c INPROCESSING
517.26/518.74 c GARBAGE COLLECT
517.26/518.74 c #Conflicts: 866000 | #Constraints: 21073
517.26/518.74 c #Conflicts: 867000 | #Constraints: 22073
517.26/518.74 c #Conflicts: 868000 | #Constraints: 23073
517.26/518.74 c #Conflicts: 869000 | #Constraints: 24073
517.26/518.74 c #Conflicts: 870000 | #Constraints: 25073
517.26/518.74 c #Conflicts: 871000 | #Constraints: 26073
517.26/518.74 c #Conflicts: 872000 | #Constraints: 27073
517.26/518.74 c #Conflicts: 873000 | #Constraints: 28073
517.26/518.74 c #Conflicts: 874000 | #Constraints: 29073
517.26/518.74 c #Conflicts: 875000 | #Constraints: 30073
517.26/518.74 c #Conflicts: 876000 | #Constraints: 31073
517.26/518.74 c #Conflicts: 877000 | #Constraints: 32073
517.26/518.74 c #Conflicts: 878000 | #Constraints: 33073
517.26/518.74 c #Conflicts: 879000 | #Constraints: 34073
517.26/518.74 c #Conflicts: 880000 | #Constraints: 35073
517.26/518.74 c #Conflicts: 881000 | #Constraints: 36073
517.26/518.74 c #Conflicts: 882000 | #Constraints: 37073
517.26/518.74 c #Conflicts: 883000 | #Constraints: 38073
517.26/518.74 c #Conflicts: 884000 | #Constraints: 39073
517.26/518.74 c INPROCESSING
517.26/518.74 c GARBAGE COLLECT
517.26/518.74 c #Conflicts: 885000 | #Constraints: 21492
517.26/518.74 c #Conflicts: 886000 | #Constraints: 22492
517.26/518.74 c #Conflicts: 887000 | #Constraints: 23492
517.26/518.74 c #Conflicts: 888000 | #Constraints: 24492
517.26/518.74 c #Conflicts: 889000 | #Constraints: 25492
517.26/518.74 c #Conflicts: 890000 | #Constraints: 26492
517.26/518.74 c #Conflicts: 891000 | #Constraints: 27492
517.26/518.74 c #Conflicts: 892000 | #Constraints: 28492
538.21/539.79 c #Conflicts: 893000 | #Constraints: 29492
538.21/539.79 c #Conflicts: 894000 | #Constraints: 30492
538.21/539.79 c #Conflicts: 895000 | #Constraints: 31492
538.21/539.79 c #Conflicts: 896000 | #Constraints: 32492
538.21/539.79 c #Conflicts: 897000 | #Constraints: 33492
538.21/539.79 c #Conflicts: 898000 | #Constraints: 34492
538.21/539.79 c #Conflicts: 899000 | #Constraints: 35492
538.21/539.79 c #Conflicts: 900000 | #Constraints: 36492
538.21/539.79 c #Conflicts: 901000 | #Constraints: 37492
538.21/539.79 c #Conflicts: 902000 | #Constraints: 38492
538.21/539.79 c #Conflicts: 903000 | #Constraints: 39492
538.21/539.79 c INPROCESSING
538.21/539.79 c GARBAGE COLLECT
538.21/539.79 c #Conflicts: 904000 | #Constraints: 21683
538.21/539.79 c #Conflicts: 905000 | #Constraints: 22683
538.21/539.79 c #Conflicts: 906000 | #Constraints: 23683
538.21/539.79 c #Conflicts: 907000 | #Constraints: 24683
538.21/539.79 c #Conflicts: 908000 | #Constraints: 25683
538.21/539.79 c #Conflicts: 909000 | #Constraints: 26683
538.21/539.79 c bounds 47342 >= 8681 @ 530.523
538.21/539.79 c stratification level: 1720
611.21/612.92 c #Conflicts: 910000 | #Constraints: 27684
611.21/612.92 c #Conflicts: 911000 | #Constraints: 28684
611.21/612.92 c #Conflicts: 912000 | #Constraints: 29684
611.21/612.92 c #Conflicts: 913000 | #Constraints: 30684
611.21/612.92 c #Conflicts: 914000 | #Constraints: 31684
611.21/612.92 c #Conflicts: 915000 | #Constraints: 32684
611.21/612.92 c #Conflicts: 916000 | #Constraints: 33684
611.21/612.92 c #Conflicts: 917000 | #Constraints: 34684
611.21/612.92 c #Conflicts: 918000 | #Constraints: 35684
611.21/612.92 c #Conflicts: 919000 | #Constraints: 36684
611.21/612.92 c #Conflicts: 920000 | #Constraints: 37684
611.21/612.92 c #Conflicts: 921000 | #Constraints: 38684
611.21/612.92 c #Conflicts: 922000 | #Constraints: 39684
611.21/612.92 c INPROCESSING
611.21/612.92 c GARBAGE COLLECT
611.21/612.92 c #Conflicts: 923000 | #Constraints: 21683
611.21/612.92 c #Conflicts: 924000 | #Constraints: 22683
611.21/612.92 c #Conflicts: 925000 | #Constraints: 23683
611.21/612.92 c #Conflicts: 926000 | #Constraints: 24683
611.21/612.92 c #Conflicts: 927000 | #Constraints: 25683
611.21/612.92 c #Conflicts: 928000 | #Constraints: 26683
611.21/612.92 c #Conflicts: 929000 | #Constraints: 27683
611.21/612.92 c #Conflicts: 930000 | #Constraints: 28683
611.21/612.92 c #Conflicts: 931000 | #Constraints: 29683
611.21/612.92 c #Conflicts: 932000 | #Constraints: 30683
611.21/612.92 c #Conflicts: 933000 | #Constraints: 31683
611.21/612.92 c #Conflicts: 934000 | #Constraints: 32683
611.21/612.92 c #Conflicts: 935000 | #Constraints: 33683
611.21/612.92 c #Conflicts: 936000 | #Constraints: 34683
611.21/612.92 c #Conflicts: 937000 | #Constraints: 35683
611.21/612.92 c #Conflicts: 938000 | #Constraints: 36683
611.21/612.92 c #Conflicts: 939000 | #Constraints: 37683
611.21/612.92 c #Conflicts: 940000 | #Constraints: 38683
611.21/612.92 c #Conflicts: 941000 | #Constraints: 39683
611.21/612.92 c INPROCESSING
611.21/612.92 c GARBAGE COLLECT
611.21/612.92 c #Conflicts: 942000 | #Constraints: 21480
611.21/612.92 c #Conflicts: 943000 | #Constraints: 22480
611.21/612.92 c #Conflicts: 944000 | #Constraints: 23480
611.21/612.92 c #Conflicts: 945000 | #Constraints: 24480
611.21/612.92 c #Conflicts: 946000 | #Constraints: 25480
611.21/612.92 c #Conflicts: 947000 | #Constraints: 26480
611.21/612.92 c #Conflicts: 948000 | #Constraints: 27480
611.21/612.92 c #Conflicts: 949000 | #Constraints: 28480
611.21/612.92 c #Conflicts: 950000 | #Constraints: 29480
611.21/612.92 c #Conflicts: 951000 | #Constraints: 30480
611.21/612.92 c #Conflicts: 952000 | #Constraints: 31480
611.21/612.92 c #Conflicts: 953000 | #Constraints: 32480
611.21/612.92 c #Conflicts: 954000 | #Constraints: 33480
611.21/612.92 c #Conflicts: 955000 | #Constraints: 34480
611.21/612.92 c #Conflicts: 956000 | #Constraints: 35480
611.21/612.92 c #Conflicts: 957000 | #Constraints: 36480
611.21/612.92 c #Conflicts: 958000 | #Constraints: 37480
611.21/612.92 c bounds 47342 >= 10401 @ 580.215
611.21/612.92 c #Conflicts: 959000 | #Constraints: 38481
611.21/612.92 c #Conflicts: 960000 | #Constraints: 39481
611.21/612.92 c #Conflicts: 961000 | #Constraints: 40481
611.21/612.92 c INPROCESSING
611.21/612.92 c GARBAGE COLLECT
611.21/612.92 c #Conflicts: 962000 | #Constraints: 22087
611.21/612.92 c #Conflicts: 963000 | #Constraints: 23087
611.21/612.92 c #Conflicts: 964000 | #Constraints: 24087
611.21/612.92 c #Conflicts: 965000 | #Constraints: 25087
611.21/612.92 c #Conflicts: 966000 | #Constraints: 26087
611.21/612.92 c #Conflicts: 967000 | #Constraints: 27087
611.21/612.92 c #Conflicts: 968000 | #Constraints: 28087
611.21/612.92 c #Conflicts: 969000 | #Constraints: 29087
611.21/612.92 c #Conflicts: 970000 | #Constraints: 30087
611.21/612.92 c #Conflicts: 971000 | #Constraints: 31087
611.21/612.92 c #Conflicts: 972000 | #Constraints: 32087
611.21/612.92 c #Conflicts: 973000 | #Constraints: 33087
611.21/612.92 c #Conflicts: 974000 | #Constraints: 34087
611.21/612.92 c #Conflicts: 975000 | #Constraints: 35087
611.21/612.92 c #Conflicts: 976000 | #Constraints: 36087
611.21/612.92 c #Conflicts: 977000 | #Constraints: 37087
611.21/612.92 c #Conflicts: 978000 | #Constraints: 38087
611.21/612.92 c #Conflicts: 979000 | #Constraints: 39087
611.21/612.92 c #Conflicts: 980000 | #Constraints: 40087
611.21/612.92 c #Conflicts: 981000 | #Constraints: 41087
611.21/612.92 c INPROCESSING
611.21/612.92 c GARBAGE COLLECT
611.21/612.92 c #Conflicts: 982000 | #Constraints: 22491
611.21/612.92 c #Conflicts: 983000 | #Constraints: 23491
611.21/612.92 c #Conflicts: 984000 | #Constraints: 24491
611.21/612.92 c #Conflicts: 985000 | #Constraints: 25491
675.63/677.56 c #Conflicts: 986000 | #Constraints: 26491
675.63/677.56 c #Conflicts: 987000 | #Constraints: 27491
675.63/677.56 c #Conflicts: 988000 | #Constraints: 28491
675.63/677.56 c #Conflicts: 989000 | #Constraints: 29491
675.63/677.56 c #Conflicts: 990000 | #Constraints: 30491
675.63/677.56 c #Conflicts: 991000 | #Constraints: 31491
675.63/677.56 c #Conflicts: 992000 | #Constraints: 32491
675.63/677.56 c #Conflicts: 993000 | #Constraints: 33491
675.63/677.56 c #Conflicts: 994000 | #Constraints: 34491
675.63/677.56 c #Conflicts: 995000 | #Constraints: 35491
675.63/677.56 c #Conflicts: 996000 | #Constraints: 36491
675.63/677.56 c #Conflicts: 997000 | #Constraints: 37491
675.63/677.56 c #Conflicts: 998000 | #Constraints: 38491
675.63/677.56 c #Conflicts: 999000 | #Constraints: 39491
675.63/677.56 c #Conflicts: 1000000 | #Constraints: 40491
675.63/677.56 c #Conflicts: 1001000 | #Constraints: 41491
675.63/677.56 c INPROCESSING
675.63/677.56 c GARBAGE COLLECT
675.63/677.56 c #Conflicts: 1002000 | #Constraints: 22660
675.63/677.56 c #Conflicts: 1003000 | #Constraints: 23660
675.63/677.56 c #Conflicts: 1004000 | #Constraints: 24660
675.63/677.56 c #Conflicts: 1005000 | #Constraints: 25660
675.63/677.56 c #Conflicts: 1006000 | #Constraints: 26660
675.63/677.56 c #Conflicts: 1007000 | #Constraints: 27660
675.63/677.56 c #Conflicts: 1008000 | #Constraints: 28660
675.63/677.56 c #Conflicts: 1009000 | #Constraints: 29660
675.63/677.56 c #Conflicts: 1010000 | #Constraints: 30660
675.63/677.56 c #Conflicts: 1011000 | #Constraints: 31660
675.63/677.56 c #Conflicts: 1012000 | #Constraints: 32660
675.63/677.56 c #Conflicts: 1013000 | #Constraints: 33660
675.63/677.56 c #Conflicts: 1014000 | #Constraints: 34660
675.63/677.56 c #Conflicts: 1015000 | #Constraints: 35660
675.63/677.56 c #Conflicts: 1016000 | #Constraints: 36660
675.63/677.56 c #Conflicts: 1017000 | #Constraints: 37660
675.63/677.56 c #Conflicts: 1018000 | #Constraints: 38660
675.63/677.56 c #Conflicts: 1019000 | #Constraints: 39660
675.63/677.56 c #Conflicts: 1020000 | #Constraints: 40660
675.63/677.56 c #Conflicts: 1021000 | #Constraints: 41660
675.63/677.56 c INPROCESSING
675.63/677.56 c GARBAGE COLLECT
675.63/677.56 c #Conflicts: 1022000 | #Constraints: 22680
675.63/677.56 c #Conflicts: 1023000 | #Constraints: 23680
675.63/677.56 c #Conflicts: 1024000 | #Constraints: 24680
675.63/677.56 c #Conflicts: 1025000 | #Constraints: 25680
675.63/677.56 c #Conflicts: 1026000 | #Constraints: 26680
675.63/677.56 c #Conflicts: 1027000 | #Constraints: 27680
675.63/677.56 c #Conflicts: 1028000 | #Constraints: 28680
675.63/677.56 c #Conflicts: 1029000 | #Constraints: 29680
675.63/677.56 c #Conflicts: 1030000 | #Constraints: 30680
675.63/677.56 c #Conflicts: 1031000 | #Constraints: 31680
675.63/677.56 c #Conflicts: 1032000 | #Constraints: 32680
675.63/677.56 c #Conflicts: 1033000 | #Constraints: 33680
675.63/677.56 c #Conflicts: 1034000 | #Constraints: 34680
675.63/677.56 c #Conflicts: 1035000 | #Constraints: 35680
675.63/677.56 c #Conflicts: 1036000 | #Constraints: 36680
675.63/677.56 c #Conflicts: 1037000 | #Constraints: 37680
675.63/677.56 c #Conflicts: 1038000 | #Constraints: 38680
675.63/677.56 c #Conflicts: 1039000 | #Constraints: 39680
675.63/677.56 c #Conflicts: 1040000 | #Constraints: 40680
675.63/677.56 c #Conflicts: 1041000 | #Constraints: 41680
675.63/677.56 c INPROCESSING
675.63/677.56 c GARBAGE COLLECT
675.63/677.56 c #Conflicts: 1042000 | #Constraints: 22512
675.63/677.56 c #Conflicts: 1043000 | #Constraints: 23512
675.63/677.56 c #Conflicts: 1044000 | #Constraints: 24512
675.63/677.56 c #Conflicts: 1045000 | #Constraints: 25512
675.63/677.56 c #Conflicts: 1046000 | #Constraints: 26512
675.63/677.56 c #Conflicts: 1047000 | #Constraints: 27512
675.63/677.56 c #Conflicts: 1048000 | #Constraints: 28512
675.63/677.56 c #Conflicts: 1049000 | #Constraints: 29512
675.63/677.56 c #Conflicts: 1050000 | #Constraints: 30512
675.63/677.56 c #Conflicts: 1051000 | #Constraints: 31512
675.63/677.56 c #Conflicts: 1052000 | #Constraints: 32512
675.63/677.56 c #Conflicts: 1053000 | #Constraints: 33512
675.63/677.56 c #Conflicts: 1054000 | #Constraints: 34512
675.63/677.56 c #Conflicts: 1055000 | #Constraints: 35512
675.63/677.56 c #Conflicts: 1056000 | #Constraints: 36512
675.63/677.56 c #Conflicts: 1057000 | #Constraints: 37512
675.63/677.56 c #Conflicts: 1058000 | #Constraints: 38512
675.63/677.56 c #Conflicts: 1059000 | #Constraints: 39512
675.63/677.56 c #Conflicts: 1060000 | #Constraints: 40512
675.63/677.56 c #Conflicts: 1061000 | #Constraints: 41512
675.63/677.56 c #Conflicts: 1062000 | #Constraints: 42512
700.77/702.73 c INPROCESSING
700.77/702.73 c GARBAGE COLLECT
700.77/702.73 c #Conflicts: 1063000 | #Constraints: 23119
700.77/702.73 c #Conflicts: 1064000 | #Constraints: 24119
700.77/702.73 c #Conflicts: 1065000 | #Constraints: 25119
700.77/702.73 c #Conflicts: 1066000 | #Constraints: 26119
700.77/702.73 c #Conflicts: 1067000 | #Constraints: 27119
700.77/702.73 c #Conflicts: 1068000 | #Constraints: 28119
700.77/702.73 c #Conflicts: 1069000 | #Constraints: 29119
700.77/702.73 c #Conflicts: 1070000 | #Constraints: 30119
700.77/702.73 c #Conflicts: 1071000 | #Constraints: 31119
700.77/702.73 c #Conflicts: 1072000 | #Constraints: 32119
700.77/702.73 c #Conflicts: 1073000 | #Constraints: 33119
700.77/702.73 c #Conflicts: 1074000 | #Constraints: 34119
700.77/702.73 c #Conflicts: 1075000 | #Constraints: 35119
700.77/702.73 c #Conflicts: 1076000 | #Constraints: 36119
700.77/702.73 c #Conflicts: 1077000 | #Constraints: 37119
700.77/702.73 c #Conflicts: 1078000 | #Constraints: 38119
700.77/702.73 c #Conflicts: 1079000 | #Constraints: 39119
700.77/702.73 c bounds 47342 >= 12124 @ 684.242
700.77/702.73 c #Conflicts: 1080000 | #Constraints: 40120
700.77/702.73 c #Conflicts: 1081000 | #Constraints: 41120
700.77/702.73 c #Conflicts: 1082000 | #Constraints: 42120
700.77/702.73 c #Conflicts: 1083000 | #Constraints: 43120
700.77/702.73 c INPROCESSING
700.77/702.73 c GARBAGE COLLECT
700.77/702.73 c #Conflicts: 1084000 | #Constraints: 23557
700.77/702.73 c #Conflicts: 1085000 | #Constraints: 24557
700.77/702.73 c #Conflicts: 1086000 | #Constraints: 25557
700.77/702.73 c #Conflicts: 1087000 | #Constraints: 26557
700.77/702.73 c bounds 47342 >= 12124 @ 691.498
700.77/702.73 d SOLVEDBY oll
700.77/702.73 c cpu time 691.498 s
700.77/702.73 c deterministic time 82300285915 8.23e+10
700.77/702.73 c optimization time 0.448074 s
700.77/702.73 c total solve time 691.042 s
700.77/702.73 c core-guided solve time 691.042 s
700.77/702.73 c propagation time 426.795 s
700.77/702.73 c conflict analysis time 238.738 s
700.77/702.73 c propagations 227902476
700.77/702.73 c resolve steps 11763075
700.77/702.73 c decisions 7554040
700.77/702.73 c conflicts 1087340
700.77/702.73 c restarts 2046
700.77/702.73 c inprocessing phases 95
700.77/702.73 c input clauses 1774
700.77/702.73 c input cardinalities 1
700.77/702.73 c input general constraints 72
700.77/702.73 c input average constraint length 27.78
700.77/702.73 c input average constraint degree 36840.66
700.77/702.73 c learned clauses 637897
700.77/702.73 c learned cardinalities 1142
700.77/702.73 c learned general constraints 448300
700.77/702.73 c learned average constraint length 252.62
700.77/702.73 c learned average constraint degree 3917966.65
700.77/702.73 c watched constraints 109091
700.77/702.73 c counting constraints 339281
700.77/702.73 c gcd simplifications 89719
700.77/702.73 c detected cardinalities 309
700.77/702.73 c weakened non-implied lits 227930474
700.77/702.73 c weakened non-implying lits 42924
700.77/702.73 c original variables 1152
700.77/702.73 c clausal propagations 79532179
700.77/702.73 c cardinality propagations 320483
700.77/702.73 c watched propagations 2020475
700.77/702.73 c counting propagations 143610033
700.77/702.73 c watch lookups 19416777196
700.77/702.73 c watch backjump lookups 18911239659
700.77/702.73 c watch checks 25677344118
700.77/702.73 c propagation checks 16595308995
700.77/702.73 c constraint additions 1227616307
700.77/702.73 c trail pops 236543123
700.77/702.73 c formula constraints 1774
700.77/702.73 c learned constraints 1087339
700.77/702.73 c bound constraints 71
700.77/702.73 c core-guided constraints 2
700.77/702.73 c encountered formula constraints 8996304
700.77/702.73 c encountered learned constraints 3848020
700.77/702.73 c encountered bound constraints 3193
700.77/702.73 c encountered core-guided constraints 2898
700.77/702.73 c LP total time 0 s
700.77/702.73 c LP solve time 0 s
700.77/702.73 c LP constraints added 0
700.77/702.73 c LP constraints removed 0
700.77/702.73 c LP pivots internal 0
700.77/702.73 c LP pivots root 0
700.77/702.73 c LP calls 0
700.77/702.73 c LP optimalities 0
700.77/702.73 c LP no pivot count 0
700.77/702.73 c LP infeasibilities 0
700.77/702.73 c LP valid Farkas constraints 0
700.77/702.73 c LP learned Farkas constraints 0
700.77/702.73 c LP basis resets 0
700.77/702.73 c LP cycling count 0
700.77/702.73 c LP singular count 0
700.77/702.73 c LP no primal count 0
700.77/702.73 c LP no farkas count 0
700.77/702.73 c LP other issue count 0
700.77/702.73 c LP Gomory cuts 0
700.77/702.73 c LP learned cuts 0
700.77/702.73 c LP deleted cuts 0
700.77/702.73 c LP encountered Gomory constraints 0
700.77/702.73 c LP encountered Farkas constraints 0
700.77/702.73 c LP encountered learned Farkas constraints 0
700.77/702.73 c CG auxiliary variables introduced 1
700.77/702.73 c CG solutions found 67
700.77/702.73 c CG cores constructed 3
700.77/702.73 c CG core cardinality constraints returned 0
700.77/702.73 c CG unit cores 0
700.77/702.73 c CG single cores 3
700.77/702.73 c CG blocks removed during cardinality reduction 0
700.77/702.73 c CG first core best 0
700.77/702.73 c CG decision core best 0
700.77/702.73 c CG core reduction tie 0
700.77/702.73 c CG core degree average 1.00
700.77/702.73 c CG core slack average 49.00
700.77/702.73 c CG exhausted 0
700.77/702.73 c CG exhaust time 0.4245 s
700.77/702.73 c CG trimmed 0
700.77/702.73 c CG trim time 0.009157 s
700.77/702.73 c CG minimized 0
700.77/702.73 c CG minimize time 0 s
700.77/702.73 c CG am1 prop time 0.001146 s
700.77/702.73 c CG # am1s reformulated 0
700.77/702.73 c CG lower bound derived from am1s 0
700.77/702.73 c CG # clausal cores 3
700.77/702.73 c CG # cardinality cores 0
700.77/702.73 c CG # pb cores 0
700.77/702.73 c CG # pb reforms 0
700.77/702.73 c CG # cores discarded because of pb reform 0
700.77/702.73 d LOWERBOUND 12124
700.77/702.73 d NCORES 3
700.77/702.73 d NPBCORES 0
700.77/702.73 d NPBREFORM 0
700.77/702.73 d NTRIMMED 0
700.77/702.73 d NEXHAUSTED 0
700.77/702.73 d NAM1S 0
700.77/702.73 d AM1LB 0
700.77/702.73 o 47342
700.77/702.73 s OPTIMUM FOUND
700.77/702.73 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 x1126 x1127 -x1128 -x1129 -x1130 -x1131 x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 x1148 x1149 x1150 x1151 -x1152
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 (60829 MiB free)
memory of node 1: 64465 MiB (63557 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497096-1751390954/watcher-4497096-1751390954 -o /tmp/evaluation-result-4497096-1751390954/solver-4497096-1751390954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48628 --watchdog 3760 pb-oll-rs HOME/instance-4497096-1751390954.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=50239, runsolver pid=50236
[startup+0.100067 s]*
/proc/loadavg: 4.14 4.14 4.13 5/250 50240
/proc/meminfo: memFree=127372424/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=20728 memory=6784 CPUtime=0.08 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 540 0 0 0 6 2 0 0 20 0 1 0 54774190 21225472 1696 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 5182 1696 1344 243 0 1431 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 20728 KiB
Current children cumulated memory: 6784 KiB
[startup+0.214909 s]*
/proc/loadavg: 4.14 4.14 4.13 5/250 50240
/proc/meminfo: memFree=127372424/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=21512 memory=8064 CPUtime=0.19 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 864 0 0 0 16 3 0 0 20 0 1 0 54774190 22028288 2016 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 5378 2016 1344 243 0 1627 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 21512 KiB
Current children cumulated memory: 8064 KiB
[startup+0.313615 s]*
/proc/loadavg: 4.14 4.14 4.13 5/250 50240
/proc/meminfo: memFree=127366564/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=22936 memory=11896 CPUtime=0.29 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 1329 0 0 0 26 3 0 0 20 0 1 0 54774190 23486464 2974 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 5734 2974 1344 243 0 1983 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 22936 KiB
Current children cumulated memory: 11896 KiB
[startup+0.700338 s]
/proc/loadavg: 4.14 4.14 4.13 5/250 50240
/proc/meminfo: memFree=127360516/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=25772 memory=15352 CPUtime=0.66 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 2203 0 0 0 61 5 0 0 20 0 1 0 54774190 26390528 3838 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 6443 3838 1344 243 0 2692 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 25772 KiB
Current children cumulated memory: 15352 KiB
[startup+1.50034 s]
/proc/loadavg: 4.14 4.14 4.13 5/250 50240
/proc/meminfo: memFree=127357764/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=33364 memory=23032 CPUtime=1.46 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 4127 0 0 0 137 9 0 0 20 0 1 0 54774190 34164736 5758 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 8341 5758 1344 243 0 4590 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 33364 KiB
Current children cumulated memory: 23032 KiB
[startup+3.11316 s]
/proc/loadavg: 4.13 4.14 4.13 5/250 50240
/proc/meminfo: memFree=127353228/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=41544 memory=28128 CPUtime=3.06 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 4867 0 0 0 290 16 0 0 20 0 1 0 54774190 42541056 7032 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 10386 7032 1344 243 0 6635 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 41544 KiB
Current children cumulated memory: 28128 KiB
[startup+6.30033 s]
/proc/loadavg: 4.13 4.14 4.13 5/250 50240
/proc/meminfo: memFree=127335836/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=43200 memory=29536 CPUtime=6.24 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 5216 0 0 0 599 25 0 0 20 0 1 0 54774190 44236800 7384 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 10800 7384 1344 243 0 7049 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 43200 KiB
Current children cumulated memory: 29536 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.14 4.13 5/250 50240
/proc/meminfo: memFree=127326480/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=52608 memory=36160 CPUtime=12.62 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 6416 0 0 0 1221 41 0 0 20 0 1 0 54774190 53870592 9040 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 13152 9040 1344 243 0 9401 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 52608 KiB
Current children cumulated memory: 36160 KiB
[startup+25.5003 s]
/proc/loadavg: 4.24 4.16 4.14 5/250 50241
/proc/meminfo: memFree=127315764/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=55344 memory=41044 CPUtime=25.39 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 7204 0 0 0 2471 68 0 0 20 0 1 0 54774190 56672256 10261 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 13836 10261 1344 243 0 10085 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 55344 KiB
Current children cumulated memory: 41044 KiB
[startup+51.1133 s]
/proc/loadavg: 4.16 4.15 4.14 5/250 50241
/proc/meminfo: memFree=127277792/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=80352 memory=57060 CPUtime=50.94 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 10219 0 0 0 4973 121 0 0 20 0 1 0 54774190 82280448 14265 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 20088 14265 1344 243 0 16337 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 80352 KiB
Current children cumulated memory: 57060 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.17 4.14 5/251 50244
/proc/meminfo: memFree=127271400/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=81344 memory=63020 CPUtime=101.99 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 10940 0 0 0 9983 216 0 0 20 0 1 0 54774190 83296256 15755 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 20336 15755 1344 243 0 16585 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 81344 KiB
Current children cumulated memory: 63020 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.17 4.14 5/250 50246
/proc/meminfo: memFree=127253520/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=82344 memory=64028 CPUtime=161.82 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 11588 0 0 0 15861 321 0 0 20 0 1 0 54774190 84320256 16007 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 20586 16007 1344 243 0 16835 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 82344 KiB
Current children cumulated memory: 64028 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/250 50248
/proc/meminfo: memFree=127181200/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=90088 memory=75860 CPUtime=221.66 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 13778 0 0 0 21753 413 0 0 20 0 1 0 54774190 92250112 18965 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 22522 18965 1344 243 0 18771 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 90088 KiB
Current children cumulated memory: 75860 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/250 50250
/proc/meminfo: memFree=127135520/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=114708 memory=86512 CPUtime=281.5 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 15601 0 0 0 27659 491 0 0 20 0 1 0 54774190 117460992 21628 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 28677 21628 1344 243 0 24926 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 114708 KiB
Current children cumulated memory: 86512 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/250 50252
/proc/meminfo: memFree=127058076/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=118676 memory=91476 CPUtime=341.33 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 16532 0 0 0 33573 560 0 0 20 0 1 0 54774190 121524224 22869 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 29669 22869 1344 243 0 25918 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 118676 KiB
Current children cumulated memory: 91476 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/250 50254
/proc/meminfo: memFree=127053604/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=129620 memory=103844 CPUtime=401.17 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 18836 0 0 0 39479 638 0 0 20 0 1 0 54774190 132730880 25961 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 32405 25961 1344 243 0 28654 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 129620 KiB
Current children cumulated memory: 103844 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/249 50256
/proc/meminfo: memFree=127037488/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=136024 memory=112768 CPUtime=461.02 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 20190 0 0 0 45396 706 0 0 20 0 1 0 54774190 139288576 28192 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 34006 28192 1344 243 0 30255 0
Current children cumulated CPU time: 461.02 s
Current children cumulated vsize: 136024 KiB
Current children cumulated memory: 112768 KiB
[startup+522.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/250 50261
/proc/meminfo: memFree=127030044/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=137560 memory=116248 CPUtime=520.85 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 20714 0 0 0 51321 764 0 0 20 0 1 0 54774190 140861440 29062 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 34390 29062 1344 243 0 30639 0
Current children cumulated CPU time: 520.85 s
Current children cumulated vsize: 137560 KiB
Current children cumulated memory: 116248 KiB
[startup+582.3 s]
/proc/loadavg: 4.39 4.19 4.14 5/250 50307
/proc/meminfo: memFree=127172728/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=138584 memory=117880 CPUtime=580.69 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 21384 0 0 0 57252 817 0 0 20 0 1 0 54774190 141910016 29470 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 34646 29470 1344 243 0 30895 0
Current children cumulated CPU time: 580.69 s
Current children cumulated vsize: 138584 KiB
Current children cumulated memory: 117880 KiB
[startup+642.3 s]
/proc/loadavg: 4.68 4.32 4.19 5/250 50313
/proc/meminfo: memFree=127122520/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=138584 memory=117980 CPUtime=640.53 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 21784 0 0 0 63176 877 0 0 20 0 1 0 54774190 141910016 29495 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 34646 29495 1344 243 0 30895 0
Current children cumulated CPU time: 640.53 s
Current children cumulated vsize: 138584 KiB
Current children cumulated memory: 117980 KiB
[startup+702.3 s]
/proc/loadavg: 4.34 4.29 4.19 5/250 50315
/proc/meminfo: memFree=127065216/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=139288 memory=118624 CPUtime=700.38 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 22494 0 0 0 69107 931 0 0 20 0 1 0 54774190 142630912 29656 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 34822 29656 1344 243 0 31071 0
Current children cumulated CPU time: 700.38 s
Current children cumulated vsize: 139288 KiB
Current children cumulated memory: 118624 KiB
[startup+702.741 s]
# the end of solver process 50239 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=691.501 s, system=9.32078 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+702.4 s]
/proc/loadavg: 4.34 4.29 4.19 5/250 50315
/proc/meminfo: memFree=127065216/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=139288 memory=118624 CPUtime=700.47 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 22494 0 0 0 69116 931 0 0 20 0 1 0 54774190 142630912 29656 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 34822 29656 1344 243 0 31071 0
Current children cumulated CPU time: 700.47 s
Current children cumulated vsize: 139288 KiB
Current children cumulated memory: 118624 KiB
[startup+702.6 s]
/proc/loadavg: 4.34 4.29 4.19 5/250 50315
/proc/meminfo: memFree=127065216/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=139288 memory=118624 CPUtime=700.67 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 22494 0 0 0 69136 931 0 0 20 0 1 0 54774190 142630912 29656 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 34822 29656 1344 243 0 31071 0
Current children cumulated CPU time: 700.67 s
Current children cumulated vsize: 139288 KiB
Current children cumulated memory: 118624 KiB
[startup+702.7 s]
/proc/loadavg: 4.34 4.29 4.19 5/250 50315
/proc/meminfo: memFree=127065216/131382120 swapFree=33010416/33010684
[pid=50239] ppid=50236 vsize=139288 memory=118624 CPUtime=700.77 cores=4,6
/proc/50239/stat : 50239 (pb-oll-rs) R 50236 50239 48617 0 -1 4194304 22494 0 0 0 69146 931 0 0 20 0 1 0 54774190 142630912 29656 18446744073709551615 4218880 5211445 140730513487216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 25219072 140730513496476 140730513496553 140730513496553 140730513502155 0
/proc/50239/statm: 34822 29656 1344 243 0 31071 0
Current children cumulated CPU time: 700.77 s
Current children cumulated vsize: 139288 KiB
Current children cumulated memory: 118624 KiB
Child status: 0
Real time (s): 702.741
CPU time (s): 700.821
CPU user time (s): 691.501
CPU system time (s): 9.32078
CPU usage (%): 99.7269
Max. virtual memory (cumulated for all children) (KiB): 139540
Max. memory (cumulated for all children) (KiB): 118656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 691.501
system time used= 9.32078
maximum resident set size= 119168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22505
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= 82
involuntary context switches= 496
# summary of solver processes directly reported to runsolver:
# pid: 50239
# total CPU time (s): 700.821
# total CPU user time (s): 691.501
# total CPU system time (s): 9.32078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.51672 second user time and 7.14717 second system time
The end
Begin job on nodeC002 at 2025-07-01 19:29:14
IDJOB=4497096
IDBENCH=148153
IDSOLVER=3345
FILE ID=nodeC002/4497096-1751390954
RUNJOBID= nodeC002-1751383217-48628
SLURM_JOB_ID= 9598229
Free space on /tmp= 433052 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497096-1751390954/watcher-4497096-1751390954 -o /tmp/evaluation-result-4497096-1751390954/solver-4497096-1751390954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48628 --watchdog 3760 pb-oll-rs HOME/instance-4497096-1751390954.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cc2b167b604094044d9d141ee486a126
RANDOM SEED=1133313407
nodeC002 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 : 3660.358
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.420
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.81
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.654
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.81
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.267
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.81
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.857
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.81
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 : 3492.383
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.81
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.227
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.81
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 : 1198.123
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127372364 kB
MemAvailable: 127165924 kB
Buffers: 2128 kB
Cached: 602496 kB
SwapCached: 28 kB
Active: 3197216 kB
Inactive: 299916 kB
Active(anon): 2904036 kB
Inactive(anon): 6404 kB
Active(file): 293180 kB
Inactive(file): 293512 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1708 kB
Writeback: 0 kB
AnonPages: 2893824 kB
Mapped: 106752 kB
Shmem: 17932 kB
KReclaimable: 92992 kB
Slab: 176068 kB
SReclaimable: 92992 kB
SUnreclaim: 83076 kB
KernelStack: 4064 kB
PageTables: 9364 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 4165656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 497664 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: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433052 MiB
End job on nodeC002 at 2025-07-01 19:40:57