0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 1152 #constraints 1774
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 6935 @ 0.004805
0.00/0.00 c stratification level: 2069
0.00/0.00 c bounds 50400 >= 6935 @ 0.005013
0.00/0.00 c stratification level: 2066
0.00/0.01 c bounds 50385 >= 6935 @ 0.005234
0.00/0.01 c stratification level: 2040
0.00/0.01 c bounds 50203 >= 6935 @ 0.005573
0.00/0.01 c stratification level: 2031
0.00/0.01 c bounds 50189 >= 6935 @ 0.007047
0.00/0.01 c stratification level: 2029
0.00/0.01 c bounds 50035 >= 6935 @ 0.007556
0.00/0.01 c stratification level: 2002
0.00/0.01 c bounds 49899 >= 6935 @ 0.012158
0.00/0.01 c stratification level: 1973
0.00/0.01 c bounds 49687 >= 6935 @ 0.012905
0.00/0.01 c stratification level: 1965
6.98/7.09 c #Conflicts: 1000 | #Constraints: 2780
6.98/7.09 c #Conflicts: 2000 | #Constraints: 3780
6.98/7.09 c INPROCESSING
6.98/7.09 c GARBAGE COLLECT
6.98/7.09 c #Conflicts: 3000 | #Constraints: 3774
6.98/7.09 c #Conflicts: 4000 | #Constraints: 4774
6.98/7.09 c INPROCESSING
6.98/7.09 c GARBAGE COLLECT
6.98/7.09 c #Conflicts: 5000 | #Constraints: 4189
6.98/7.09 c #Conflicts: 6000 | #Constraints: 5189
6.98/7.09 c INPROCESSING
6.98/7.09 c GARBAGE COLLECT
6.98/7.09 c #Conflicts: 7000 | #Constraints: 4192
6.98/7.09 c #Conflicts: 8000 | #Constraints: 5192
6.98/7.09 c #Conflicts: 9000 | #Constraints: 6192
6.98/7.09 c INPROCESSING
6.98/7.09 c GARBAGE COLLECT
6.98/7.09 c #Conflicts: 10000 | #Constraints: 4897
6.98/7.09 c #Conflicts: 11000 | #Constraints: 5897
6.98/7.09 c #Conflicts: 12000 | #Constraints: 6897
6.98/7.09 c INPROCESSING
6.98/7.09 c GARBAGE COLLECT
6.98/7.09 c #Conflicts: 13000 | #Constraints: 5350
6.98/7.09 c #Conflicts: 14000 | #Constraints: 6350
6.98/7.09 c #Conflicts: 15000 | #Constraints: 7350
6.98/7.09 c INPROCESSING
6.98/7.09 c GARBAGE COLLECT
6.98/7.09 c #Conflicts: 16000 | #Constraints: 5579
6.98/7.09 c #Conflicts: 17000 | #Constraints: 6579
6.98/7.09 c #Conflicts: 18000 | #Constraints: 7579
6.98/7.09 c INPROCESSING
6.98/7.09 c GARBAGE COLLECT
6.98/7.09 c #Conflicts: 19000 | #Constraints: 5606
6.98/7.09 c #Conflicts: 20000 | #Constraints: 6606
6.98/7.09 c #Conflicts: 21000 | #Constraints: 7606
6.98/7.09 c INPROCESSING
6.98/7.09 c GARBAGE COLLECT
6.98/7.09 c #Conflicts: 22000 | #Constraints: 5408
6.98/7.09 c #Conflicts: 23000 | #Constraints: 6408
6.98/7.09 c #Conflicts: 24000 | #Constraints: 7408
6.98/7.09 c #Conflicts: 25000 | #Constraints: 8408
6.98/7.09 c INPROCESSING
6.98/7.09 c GARBAGE COLLECT
6.98/7.09 c #Conflicts: 26000 | #Constraints: 6014
6.98/7.09 c #Conflicts: 27000 | #Constraints: 7014
6.98/7.09 c #Conflicts: 28000 | #Constraints: 8014
6.98/7.09 c #Conflicts: 29000 | #Constraints: 9014
6.98/7.09 c INPROCESSING
6.98/7.09 c GARBAGE COLLECT
6.98/7.09 c #Conflicts: 30000 | #Constraints: 6416
6.98/7.09 c #Conflicts: 31000 | #Constraints: 7416
6.98/7.09 c #Conflicts: 32000 | #Constraints: 8416
6.98/7.09 c #Conflicts: 33000 | #Constraints: 9416
6.98/7.09 c INPROCESSING
6.98/7.09 c GARBAGE COLLECT
6.98/7.09 c bounds 49623 >= 6935 @ 6.7991
6.98/7.09 c stratification level: 1953
6.98/7.09 c bounds 49611 >= 6935 @ 6.80074
6.98/7.09 c stratification level: 1944
7.08/7.11 c #Conflicts: 34000 | #Constraints: 6617
7.08/7.11 c bounds 49577 >= 6935 @ 6.82473
7.08/7.11 c stratification level: 1941
7.08/7.12 c bounds 49565 >= 6935 @ 6.82636
7.08/7.12 c stratification level: 1921
8.27/8.36 c #Conflicts: 35000 | #Constraints: 7619
8.27/8.36 c #Conflicts: 36000 | #Constraints: 8619
8.27/8.36 c #Conflicts: 37000 | #Constraints: 9619
8.27/8.36 c INPROCESSING
8.27/8.36 c GARBAGE COLLECT
8.27/8.36 c #Conflicts: 38000 | #Constraints: 6611
8.27/8.36 c #Conflicts: 39000 | #Constraints: 7611
8.27/8.36 c #Conflicts: 40000 | #Constraints: 8611
8.27/8.36 c bounds 49525 >= 6935 @ 8.01737
8.27/8.36 c stratification level: 1915
8.47/8.51 c #Conflicts: 41000 | #Constraints: 9612
8.47/8.51 c bounds 49493 >= 6935 @ 8.17228
8.47/8.51 c stratification level: 1910
8.47/8.52 c bounds 49481 >= 6935 @ 8.17406
8.47/8.52 c stratification level: 1903
8.47/8.55 c bounds 49450 >= 6935 @ 8.20299
8.47/8.55 c stratification level: 1892
8.47/8.55 c bounds 49438 >= 6935 @ 8.20577
8.47/8.55 c stratification level: 1889
8.47/8.56 c bounds 49386 >= 6935 @ 8.21524
8.47/8.56 c stratification level: 1886
8.47/8.56 c bounds 49374 >= 6935 @ 8.21702
8.47/8.56 c stratification level: 1880
8.47/8.57 c bounds 49316 >= 6935 @ 8.21921
8.47/8.57 c stratification level: 1874
8.47/8.59 c bounds 49264 >= 6935 @ 8.24104
8.47/8.59 c stratification level: 1872
8.47/8.59 c bounds 49252 >= 6935 @ 8.2428
8.47/8.59 c stratification level: 1871
14.56/14.64 c INPROCESSING
14.56/14.64 c GARBAGE COLLECT
14.56/14.64 c #Conflicts: 42000 | #Constraints: 6402
14.56/14.64 c #Conflicts: 43000 | #Constraints: 7402
14.56/14.64 c #Conflicts: 44000 | #Constraints: 8402
14.56/14.64 c #Conflicts: 45000 | #Constraints: 9402
14.56/14.64 c #Conflicts: 46000 | #Constraints: 10402
14.56/14.64 c INPROCESSING
14.56/14.64 c GARBAGE COLLECT
14.56/14.64 c #Conflicts: 47000 | #Constraints: 7000
14.56/14.64 c #Conflicts: 48000 | #Constraints: 8000
14.56/14.64 c #Conflicts: 49000 | #Constraints: 9000
14.56/14.64 c #Conflicts: 50000 | #Constraints: 10000
14.56/14.64 c #Conflicts: 51000 | #Constraints: 11000
14.56/14.64 c INPROCESSING
14.56/14.64 c GARBAGE COLLECT
14.56/14.64 c #Conflicts: 52000 | #Constraints: 7409
14.56/14.64 c #Conflicts: 53000 | #Constraints: 8409
14.56/14.64 c #Conflicts: 54000 | #Constraints: 9409
14.56/14.64 c #Conflicts: 55000 | #Constraints: 10409
14.56/14.64 c #Conflicts: 56000 | #Constraints: 11409
14.56/14.64 c INPROCESSING
14.56/14.64 c GARBAGE COLLECT
14.56/14.64 c #Conflicts: 57000 | #Constraints: 7598
14.56/14.64 c #Conflicts: 58000 | #Constraints: 8598
14.56/14.64 c #Conflicts: 59000 | #Constraints: 9598
14.56/14.64 c #Conflicts: 60000 | #Constraints: 10598
14.56/14.64 c #Conflicts: 61000 | #Constraints: 11598
14.56/14.64 c INPROCESSING
14.56/14.64 c GARBAGE COLLECT
14.56/14.64 c #Conflicts: 62000 | #Constraints: 7609
14.56/14.64 c #Conflicts: 63000 | #Constraints: 8609
14.56/14.64 c #Conflicts: 64000 | #Constraints: 9609
14.56/14.64 c #Conflicts: 65000 | #Constraints: 10609
14.56/14.64 c #Conflicts: 66000 | #Constraints: 11609
14.56/14.64 c bounds 49217 >= 6935 @ 14.0841
14.56/14.64 c stratification level: 1868
14.56/14.68 c bounds 49208 >= 6935 @ 14.1211
14.56/14.68 c stratification level: 1864
15.16/15.26 c INPROCESSING
15.16/15.26 c GARBAGE COLLECT
15.16/15.26 c #Conflicts: 67000 | #Constraints: 7424
15.16/15.26 c #Conflicts: 68000 | #Constraints: 8424
15.16/15.26 c bounds 49204 >= 6935 @ 14.683
15.16/15.26 c stratification level: 1863
15.16/15.26 c bounds 49172 >= 6935 @ 14.6872
15.16/15.26 c stratification level: 1855
15.16/15.27 c bounds 49160 >= 6935 @ 14.6905
15.16/15.27 c stratification level: 1854
15.16/15.27 c bounds 49088 >= 6935 @ 14.6933
15.16/15.27 c stratification level: 1851
15.55/15.63 c #Conflicts: 69000 | #Constraints: 9428
15.55/15.63 c #Conflicts: 70000 | #Constraints: 10428
15.55/15.63 c bounds 49066 >= 6935 @ 15.0395
15.55/15.63 c stratification level: 1849
15.55/15.65 c bounds 49054 >= 6935 @ 15.0574
15.55/15.65 c stratification level: 1845
17.35/17.48 c #Conflicts: 71000 | #Constraints: 11430
17.35/17.48 c #Conflicts: 72000 | #Constraints: 12430
17.35/17.48 c INPROCESSING
17.35/17.48 c GARBAGE COLLECT
17.35/17.48 c #Conflicts: 73000 | #Constraints: 8026
17.35/17.48 c #Conflicts: 74000 | #Constraints: 9026
17.35/17.48 c #Conflicts: 75000 | #Constraints: 10026
17.35/17.48 c #Conflicts: 76000 | #Constraints: 11026
17.35/17.48 c bounds 49040 >= 6935 @ 16.8304
17.35/17.48 c stratification level: 1837
17.35/17.48 c bounds 49028 >= 6935 @ 16.836
17.35/17.48 c stratification level: 1835
17.45/17.50 c bounds 49008 >= 6935 @ 16.8536
17.45/17.50 c stratification level: 1834
18.25/18.34 c #Conflicts: 77000 | #Constraints: 12029
18.25/18.34 c #Conflicts: 78000 | #Constraints: 13029
18.25/18.34 c INPROCESSING
18.25/18.34 c GARBAGE COLLECT
18.25/18.34 c bounds 49001 >= 6935 @ 17.6757
18.25/18.34 c stratification level: 1833
18.25/18.38 c bounds 48990 >= 6935 @ 17.7149
18.25/18.38 c stratification level: 1828
18.25/18.39 c bounds 48982 >= 6935 @ 17.7174
18.25/18.39 c stratification level: 1820
19.24/19.32 c #Conflicts: 79000 | #Constraints: 8430
19.24/19.32 c #Conflicts: 80000 | #Constraints: 9430
19.24/19.32 c #Conflicts: 81000 | #Constraints: 10430
19.24/19.32 c #Conflicts: 82000 | #Constraints: 11430
19.24/19.32 c bounds 48967 >= 6935 @ 18.6284
19.24/19.32 c stratification level: 1817
19.35/19.41 c bounds 48958 >= 6935 @ 18.7176
19.35/19.41 c stratification level: 1816
19.96/20.07 c #Conflicts: 83000 | #Constraints: 12432
19.96/20.07 c #Conflicts: 84000 | #Constraints: 13432
19.96/20.07 c INPROCESSING
19.96/20.07 c GARBAGE COLLECT
19.96/20.07 c bounds 48927 >= 6935 @ 19.3574
19.96/20.07 c stratification level: 1811
19.96/20.07 c bounds 48863 >= 6935 @ 19.3606
19.96/20.07 c stratification level: 1810
20.05/20.16 c #Conflicts: 85000 | #Constraints: 8630
20.05/20.16 c bounds 48854 >= 6935 @ 19.4498
20.05/20.16 c stratification level: 1807
20.44/20.52 c #Conflicts: 86000 | #Constraints: 9631
20.44/20.52 c bounds 48828 >= 6935 @ 19.8036
20.44/20.52 c stratification level: 1806
20.44/20.53 c bounds 48816 >= 6935 @ 19.8053
20.44/20.53 c stratification level: 1804
24.23/24.34 c #Conflicts: 87000 | #Constraints: 10633
24.23/24.34 c #Conflicts: 88000 | #Constraints: 11633
24.23/24.34 c #Conflicts: 89000 | #Constraints: 12633
24.23/24.34 c #Conflicts: 90000 | #Constraints: 13633
24.23/24.34 c INPROCESSING
24.23/24.34 c GARBAGE COLLECT
24.23/24.34 c #Conflicts: 91000 | #Constraints: 8616
24.23/24.34 c #Conflicts: 92000 | #Constraints: 9616
24.23/24.34 c #Conflicts: 93000 | #Constraints: 10616
24.23/24.34 c #Conflicts: 94000 | #Constraints: 11616
24.23/24.34 c #Conflicts: 95000 | #Constraints: 12616
24.23/24.34 c #Conflicts: 96000 | #Constraints: 13616
24.23/24.34 c INPROCESSING
24.23/24.34 c GARBAGE COLLECT
24.23/24.34 c bounds 48815 >= 6935 @ 23.5388
24.23/24.34 c stratification level: 1797
24.23/24.35 c bounds 48711 >= 6935 @ 23.547
24.23/24.35 c stratification level: 1794
24.23/24.35 c bounds 48699 >= 6935 @ 23.5476
24.23/24.35 c stratification level: 1788
24.33/24.46 c #Conflicts: 97000 | #Constraints: 8407
24.33/24.46 c bounds 48597 >= 6935 @ 23.6585
24.33/24.46 c stratification level: 1782
24.33/24.47 c bounds 48585 >= 6935 @ 23.6596
24.33/24.47 c stratification level: 1779
24.43/24.52 c bounds 48521 >= 6935 @ 23.7142
24.43/24.52 c stratification level: 1778
24.94/25.06 c #Conflicts: 98000 | #Constraints: 9410
24.94/25.06 c #Conflicts: 99000 | #Constraints: 10410
24.94/25.06 c bounds 48489 >= 6935 @ 24.2404
24.94/25.06 c stratification level: 1776
24.94/25.07 c bounds 48481 >= 6935 @ 24.2437
24.94/25.07 c stratification level: 1775
24.94/25.07 c bounds 48417 >= 6935 @ 24.2469
24.94/25.07 c stratification level: 1768
25.33/25.45 c #Conflicts: 100000 | #Constraints: 11413
25.33/25.45 c #Conflicts: 101000 | #Constraints: 12413
25.33/25.45 c bounds 48405 >= 6935 @ 24.6197
25.33/25.45 c stratification level: 1761
45.47/45.68 c #Conflicts: 102000 | #Constraints: 13414
45.47/45.68 c #Conflicts: 103000 | #Constraints: 14414
45.47/45.68 c INPROCESSING
45.47/45.68 c GARBAGE COLLECT
45.47/45.68 c #Conflicts: 104000 | #Constraints: 9015
45.47/45.68 c #Conflicts: 105000 | #Constraints: 10015
45.47/45.68 c #Conflicts: 106000 | #Constraints: 11015
45.47/45.68 c #Conflicts: 107000 | #Constraints: 12015
45.47/45.68 c #Conflicts: 108000 | #Constraints: 13015
45.47/45.68 c #Conflicts: 109000 | #Constraints: 14015
45.47/45.68 c #Conflicts: 110000 | #Constraints: 15015
45.47/45.68 c INPROCESSING
45.47/45.68 c GARBAGE COLLECT
45.47/45.68 c #Conflicts: 111000 | #Constraints: 9428
45.47/45.68 c #Conflicts: 112000 | #Constraints: 10428
45.47/45.68 c #Conflicts: 113000 | #Constraints: 11428
45.47/45.68 c #Conflicts: 114000 | #Constraints: 12428
45.47/45.68 c #Conflicts: 115000 | #Constraints: 13428
45.47/45.68 c #Conflicts: 116000 | #Constraints: 14428
45.47/45.68 c #Conflicts: 117000 | #Constraints: 15428
45.47/45.68 c INPROCESSING
45.47/45.68 c GARBAGE COLLECT
45.47/45.68 c #Conflicts: 118000 | #Constraints: 9624
45.47/45.68 c #Conflicts: 119000 | #Constraints: 10624
45.47/45.68 c #Conflicts: 120000 | #Constraints: 11624
45.47/45.68 c #Conflicts: 121000 | #Constraints: 12624
45.47/45.68 c #Conflicts: 122000 | #Constraints: 13624
45.47/45.68 c #Conflicts: 123000 | #Constraints: 14624
45.47/45.68 c #Conflicts: 124000 | #Constraints: 15624
45.47/45.68 c INPROCESSING
45.47/45.68 c GARBAGE COLLECT
45.47/45.68 c #Conflicts: 125000 | #Constraints: 9632
45.47/45.68 c #Conflicts: 126000 | #Constraints: 10632
45.47/45.68 c #Conflicts: 127000 | #Constraints: 11632
45.47/45.68 c #Conflicts: 128000 | #Constraints: 12632
45.47/45.68 c #Conflicts: 129000 | #Constraints: 13632
45.47/45.68 c #Conflicts: 130000 | #Constraints: 14632
45.47/45.68 c #Conflicts: 131000 | #Constraints: 15632
45.47/45.68 c INPROCESSING
45.47/45.68 c GARBAGE COLLECT
45.47/45.68 c #Conflicts: 132000 | #Constraints: 9434
45.47/45.68 c #Conflicts: 133000 | #Constraints: 10434
45.47/45.68 c #Conflicts: 134000 | #Constraints: 11434
45.47/45.68 c #Conflicts: 135000 | #Constraints: 12434
45.47/45.68 c #Conflicts: 136000 | #Constraints: 13434
45.47/45.68 c #Conflicts: 137000 | #Constraints: 14434
45.47/45.68 c #Conflicts: 138000 | #Constraints: 15434
45.47/45.68 c #Conflicts: 139000 | #Constraints: 16434
45.47/45.68 c INPROCESSING
45.47/45.68 c GARBAGE COLLECT
45.47/45.68 c #Conflicts: 140000 | #Constraints: 10023
45.47/45.68 c #Conflicts: 141000 | #Constraints: 11023
45.47/45.68 c #Conflicts: 142000 | #Constraints: 12023
45.47/45.68 c #Conflicts: 143000 | #Constraints: 13023
45.47/45.68 c #Conflicts: 144000 | #Constraints: 14023
45.47/45.68 c #Conflicts: 145000 | #Constraints: 15023
45.47/45.68 c #Conflicts: 146000 | #Constraints: 16023
45.47/45.68 c #Conflicts: 147000 | #Constraints: 17023
45.47/45.68 c INPROCESSING
45.47/45.68 c GARBAGE COLLECT
45.47/45.68 c #Conflicts: 148000 | #Constraints: 10430
45.47/45.68 c #Conflicts: 149000 | #Constraints: 11430
45.47/45.68 c #Conflicts: 150000 | #Constraints: 12430
45.47/45.68 c #Conflicts: 151000 | #Constraints: 13430
45.47/45.68 c #Conflicts: 152000 | #Constraints: 14430
45.47/45.68 c #Conflicts: 153000 | #Constraints: 15430
45.47/45.68 c #Conflicts: 154000 | #Constraints: 16430
45.47/45.68 c #Conflicts: 155000 | #Constraints: 17430
45.47/45.68 c INPROCESSING
45.47/45.68 c GARBAGE COLLECT
45.47/45.68 c bounds 48333 >= 6935 @ 44.3866
45.47/45.68 c stratification level: 1759
47.89/48.03 c #Conflicts: 156000 | #Constraints: 10659
47.89/48.03 c #Conflicts: 157000 | #Constraints: 11659
47.89/48.03 c #Conflicts: 158000 | #Constraints: 12659
47.89/48.03 c #Conflicts: 159000 | #Constraints: 13659
47.89/48.03 c #Conflicts: 160000 | #Constraints: 14659
47.89/48.03 c #Conflicts: 161000 | #Constraints: 15659
47.89/48.03 c #Conflicts: 162000 | #Constraints: 16659
47.89/48.03 c bounds 48295 >= 6935 @ 46.6881
47.89/48.03 c stratification level: 1758
52.26/52.43 c #Conflicts: 163000 | #Constraints: 17660
52.26/52.43 c INPROCESSING
52.26/52.43 c GARBAGE COLLECT
52.26/52.43 c #Conflicts: 164000 | #Constraints: 10658
52.26/52.43 c #Conflicts: 165000 | #Constraints: 11658
52.26/52.43 c #Conflicts: 166000 | #Constraints: 12658
52.26/52.43 c #Conflicts: 167000 | #Constraints: 13658
52.26/52.43 c #Conflicts: 168000 | #Constraints: 14658
52.26/52.43 c #Conflicts: 169000 | #Constraints: 15658
52.26/52.43 c #Conflicts: 170000 | #Constraints: 16658
52.26/52.43 c #Conflicts: 171000 | #Constraints: 17658
52.26/52.43 c bounds 48290 >= 6935 @ 50.9927
52.26/52.43 c stratification level: 1750
52.26/52.44 c bounds 48278 >= 6935 @ 51.0006
52.26/52.44 c stratification level: 1746
84.79/85.09 c INPROCESSING
84.79/85.09 c GARBAGE COLLECT
84.79/85.09 c #Conflicts: 172000 | #Constraints: 10451
84.79/85.09 c #Conflicts: 173000 | #Constraints: 11451
84.79/85.09 c #Conflicts: 174000 | #Constraints: 12451
84.79/85.09 c #Conflicts: 175000 | #Constraints: 13451
84.79/85.09 c #Conflicts: 176000 | #Constraints: 14451
84.79/85.09 c #Conflicts: 177000 | #Constraints: 15451
84.79/85.09 c #Conflicts: 178000 | #Constraints: 16451
84.79/85.09 c #Conflicts: 179000 | #Constraints: 17451
84.79/85.09 c #Conflicts: 180000 | #Constraints: 18451
84.79/85.09 c INPROCESSING
84.79/85.09 c GARBAGE COLLECT
84.79/85.09 c #Conflicts: 181000 | #Constraints: 11060
84.79/85.09 c #Conflicts: 182000 | #Constraints: 12060
84.79/85.09 c #Conflicts: 183000 | #Constraints: 13060
84.79/85.09 c #Conflicts: 184000 | #Constraints: 14060
84.79/85.09 c #Conflicts: 185000 | #Constraints: 15060
84.79/85.09 c #Conflicts: 186000 | #Constraints: 16060
84.79/85.09 c #Conflicts: 187000 | #Constraints: 17060
84.79/85.09 c #Conflicts: 188000 | #Constraints: 18060
84.79/85.09 c #Conflicts: 189000 | #Constraints: 19060
84.79/85.09 c INPROCESSING
84.79/85.09 c GARBAGE COLLECT
84.79/85.09 c #Conflicts: 190000 | #Constraints: 11455
84.79/85.09 c #Conflicts: 191000 | #Constraints: 12455
84.79/85.09 c #Conflicts: 192000 | #Constraints: 13455
84.79/85.09 c #Conflicts: 193000 | #Constraints: 14455
84.79/85.09 c #Conflicts: 194000 | #Constraints: 15455
84.79/85.09 c #Conflicts: 195000 | #Constraints: 16455
84.79/85.09 c #Conflicts: 196000 | #Constraints: 17455
84.79/85.09 c #Conflicts: 197000 | #Constraints: 18455
84.79/85.09 c #Conflicts: 198000 | #Constraints: 19455
84.79/85.09 c INPROCESSING
84.79/85.09 c GARBAGE COLLECT
84.79/85.09 c #Conflicts: 199000 | #Constraints: 11667
84.79/85.09 c #Conflicts: 200000 | #Constraints: 12667
84.79/85.09 c #Conflicts: 201000 | #Constraints: 13667
84.79/85.09 c #Conflicts: 202000 | #Constraints: 14667
84.79/85.09 c #Conflicts: 203000 | #Constraints: 15667
84.79/85.09 c #Conflicts: 204000 | #Constraints: 16667
84.79/85.09 c #Conflicts: 205000 | #Constraints: 17667
84.79/85.09 c #Conflicts: 206000 | #Constraints: 18667
84.79/85.09 c #Conflicts: 207000 | #Constraints: 19667
84.79/85.09 c INPROCESSING
84.79/85.09 c GARBAGE COLLECT
84.79/85.09 c #Conflicts: 208000 | #Constraints: 11656
84.79/85.09 c #Conflicts: 209000 | #Constraints: 12656
84.79/85.09 c #Conflicts: 210000 | #Constraints: 13656
84.79/85.09 c #Conflicts: 211000 | #Constraints: 14656
84.79/85.09 c #Conflicts: 212000 | #Constraints: 15656
84.79/85.09 c #Conflicts: 213000 | #Constraints: 16656
84.79/85.09 c bounds 48278 >= 8681 @ 70.0288
84.79/85.09 c #Conflicts: 214000 | #Constraints: 17657
84.79/85.09 c #Conflicts: 215000 | #Constraints: 18657
84.79/85.09 c #Conflicts: 216000 | #Constraints: 19657
84.79/85.09 c INPROCESSING
84.79/85.09 c GARBAGE COLLECT
84.79/85.09 c #Conflicts: 217000 | #Constraints: 11468
84.79/85.09 c #Conflicts: 218000 | #Constraints: 12468
84.79/85.09 c #Conflicts: 219000 | #Constraints: 13468
84.79/85.09 c #Conflicts: 220000 | #Constraints: 14468
84.79/85.09 c #Conflicts: 221000 | #Constraints: 15468
84.79/85.09 c #Conflicts: 222000 | #Constraints: 16468
84.79/85.09 c #Conflicts: 223000 | #Constraints: 17468
84.79/85.09 c #Conflicts: 224000 | #Constraints: 18468
84.79/85.09 c #Conflicts: 225000 | #Constraints: 19468
84.79/85.09 c #Conflicts: 226000 | #Constraints: 20468
84.79/85.09 c INPROCESSING
84.79/85.09 c GARBAGE COLLECT
84.79/85.09 c #Conflicts: 227000 | #Constraints: 12069
84.79/85.09 c #Conflicts: 228000 | #Constraints: 13069
84.79/85.09 c #Conflicts: 229000 | #Constraints: 14069
84.79/85.09 c #Conflicts: 230000 | #Constraints: 15069
84.79/85.09 c #Conflicts: 231000 | #Constraints: 16069
84.79/85.09 c #Conflicts: 232000 | #Constraints: 17069
84.79/85.09 c #Conflicts: 233000 | #Constraints: 18069
84.79/85.09 c #Conflicts: 234000 | #Constraints: 19069
84.79/85.09 c #Conflicts: 235000 | #Constraints: 20069
84.79/85.09 c #Conflicts: 236000 | #Constraints: 21069
84.79/85.09 c INPROCESSING
84.79/85.09 c GARBAGE COLLECT
84.79/85.09 c #Conflicts: 237000 | #Constraints: 12459
84.79/85.09 c #Conflicts: 238000 | #Constraints: 13459
84.79/85.09 c #Conflicts: 239000 | #Constraints: 14459
84.79/85.09 c #Conflicts: 240000 | #Constraints: 15459
84.79/85.09 c #Conflicts: 241000 | #Constraints: 16459
84.79/85.09 c #Conflicts: 242000 | #Constraints: 17459
84.79/85.09 c #Conflicts: 243000 | #Constraints: 18459
84.79/85.09 c #Conflicts: 244000 | #Constraints: 19459
84.79/85.09 c #Conflicts: 245000 | #Constraints: 20459
117.71/118.08 c #Conflicts: 246000 | #Constraints: 21459
117.71/118.08 c INPROCESSING
117.71/118.08 c GARBAGE COLLECT
117.71/118.08 c #Conflicts: 247000 | #Constraints: 12654
117.71/118.08 c #Conflicts: 248000 | #Constraints: 13654
117.71/118.08 c #Conflicts: 249000 | #Constraints: 14654
117.71/118.08 c #Conflicts: 250000 | #Constraints: 15654
117.71/118.08 c #Conflicts: 251000 | #Constraints: 16654
117.71/118.08 c #Conflicts: 252000 | #Constraints: 17654
117.71/118.08 c #Conflicts: 253000 | #Constraints: 18654
117.71/118.08 c #Conflicts: 254000 | #Constraints: 19654
117.71/118.08 c #Conflicts: 255000 | #Constraints: 20654
117.71/118.08 c #Conflicts: 256000 | #Constraints: 21654
117.71/118.08 c INPROCESSING
117.71/118.08 c GARBAGE COLLECT
117.71/118.08 c #Conflicts: 257000 | #Constraints: 12662
117.71/118.08 c #Conflicts: 258000 | #Constraints: 13662
117.71/118.08 c #Conflicts: 259000 | #Constraints: 14662
117.71/118.08 c #Conflicts: 260000 | #Constraints: 15662
117.71/118.08 c #Conflicts: 261000 | #Constraints: 16662
117.71/118.08 c #Conflicts: 262000 | #Constraints: 17662
117.71/118.08 c #Conflicts: 263000 | #Constraints: 18662
117.71/118.08 c #Conflicts: 264000 | #Constraints: 19662
117.71/118.08 c #Conflicts: 265000 | #Constraints: 20662
117.71/118.08 c #Conflicts: 266000 | #Constraints: 21662
117.71/118.08 c INPROCESSING
117.71/118.08 c GARBAGE COLLECT
117.71/118.08 c #Conflicts: 267000 | #Constraints: 12457
117.71/118.08 c #Conflicts: 268000 | #Constraints: 13457
117.71/118.08 c #Conflicts: 269000 | #Constraints: 14457
117.71/118.08 c #Conflicts: 270000 | #Constraints: 15457
117.71/118.08 c #Conflicts: 271000 | #Constraints: 16457
117.71/118.08 c #Conflicts: 272000 | #Constraints: 17457
117.71/118.08 c #Conflicts: 273000 | #Constraints: 18457
117.71/118.08 c #Conflicts: 274000 | #Constraints: 19457
117.71/118.08 c #Conflicts: 275000 | #Constraints: 20457
117.71/118.08 c #Conflicts: 276000 | #Constraints: 21457
117.71/118.08 c #Conflicts: 277000 | #Constraints: 22457
117.71/118.08 c INPROCESSING
117.71/118.08 c GARBAGE COLLECT
117.71/118.08 c #Conflicts: 278000 | #Constraints: 13045
117.71/118.08 c #Conflicts: 279000 | #Constraints: 14045
117.71/118.08 c #Conflicts: 280000 | #Constraints: 15045
117.71/118.08 c #Conflicts: 281000 | #Constraints: 16045
117.71/118.08 c #Conflicts: 282000 | #Constraints: 17045
117.71/118.08 c #Conflicts: 283000 | #Constraints: 18045
117.71/118.08 c #Conflicts: 284000 | #Constraints: 19045
117.71/118.08 c #Conflicts: 285000 | #Constraints: 20045
117.71/118.08 c #Conflicts: 286000 | #Constraints: 21045
117.71/118.08 c #Conflicts: 287000 | #Constraints: 22045
117.71/118.08 c #Conflicts: 288000 | #Constraints: 23045
117.71/118.08 c INPROCESSING
117.71/118.08 c GARBAGE COLLECT
117.71/118.08 c #Conflicts: 289000 | #Constraints: 13451
117.71/118.08 c #Conflicts: 290000 | #Constraints: 14451
117.71/118.08 c #Conflicts: 291000 | #Constraints: 15451
117.71/118.08 c #Conflicts: 292000 | #Constraints: 16451
117.71/118.08 c #Conflicts: 293000 | #Constraints: 17451
117.71/118.08 c #Conflicts: 294000 | #Constraints: 18451
117.71/118.08 c #Conflicts: 295000 | #Constraints: 19451
117.71/118.08 c #Conflicts: 296000 | #Constraints: 20451
117.71/118.08 c #Conflicts: 297000 | #Constraints: 21451
117.71/118.08 c #Conflicts: 298000 | #Constraints: 22451
117.71/118.08 c #Conflicts: 299000 | #Constraints: 23451
117.71/118.08 c INPROCESSING
117.71/118.08 c GARBAGE COLLECT
117.71/118.08 c #Conflicts: 300000 | #Constraints: 13641
117.71/118.08 c #Conflicts: 301000 | #Constraints: 14641
117.71/118.08 c #Conflicts: 302000 | #Constraints: 15641
117.71/118.08 c #Conflicts: 303000 | #Constraints: 16641
117.71/118.08 c #Conflicts: 304000 | #Constraints: 17641
117.71/118.08 c #Conflicts: 305000 | #Constraints: 18641
117.71/118.08 c #Conflicts: 306000 | #Constraints: 19641
117.71/118.08 c #Conflicts: 307000 | #Constraints: 20641
117.71/118.08 c #Conflicts: 308000 | #Constraints: 21641
117.71/118.08 c #Conflicts: 309000 | #Constraints: 22641
117.71/118.08 c #Conflicts: 310000 | #Constraints: 23641
117.71/118.08 c INPROCESSING
117.71/118.08 c GARBAGE COLLECT
117.71/118.08 c #Conflicts: 311000 | #Constraints: 13651
117.71/118.08 c #Conflicts: 312000 | #Constraints: 14651
117.71/118.08 c #Conflicts: 313000 | #Constraints: 15651
117.71/118.08 c #Conflicts: 314000 | #Constraints: 16651
117.71/118.08 c #Conflicts: 315000 | #Constraints: 17651
117.71/118.08 c #Conflicts: 316000 | #Constraints: 18651
117.71/118.08 c #Conflicts: 317000 | #Constraints: 19651
117.71/118.08 c #Conflicts: 318000 | #Constraints: 20651
117.71/118.08 c #Conflicts: 319000 | #Constraints: 21651
150.41/150.89 c #Conflicts: 320000 | #Constraints: 22651
150.41/150.89 c #Conflicts: 321000 | #Constraints: 23651
150.41/150.89 c INPROCESSING
150.41/150.89 c GARBAGE COLLECT
150.41/150.89 c #Conflicts: 322000 | #Constraints: 13438
150.41/150.89 c #Conflicts: 323000 | #Constraints: 14438
150.41/150.89 c #Conflicts: 324000 | #Constraints: 15438
150.41/150.89 c #Conflicts: 325000 | #Constraints: 16438
150.41/150.89 c #Conflicts: 326000 | #Constraints: 17438
150.41/150.89 c #Conflicts: 327000 | #Constraints: 18438
150.41/150.89 c #Conflicts: 328000 | #Constraints: 19438
150.41/150.89 c #Conflicts: 329000 | #Constraints: 20438
150.41/150.89 c #Conflicts: 330000 | #Constraints: 21438
150.41/150.89 c #Conflicts: 331000 | #Constraints: 22438
150.41/150.89 c #Conflicts: 332000 | #Constraints: 23438
150.41/150.89 c #Conflicts: 333000 | #Constraints: 24438
150.41/150.89 c INPROCESSING
150.41/150.89 c GARBAGE COLLECT
150.41/150.89 c #Conflicts: 334000 | #Constraints: 14021
150.41/150.89 c #Conflicts: 335000 | #Constraints: 15021
150.41/150.89 c #Conflicts: 336000 | #Constraints: 16021
150.41/150.89 c #Conflicts: 337000 | #Constraints: 17021
150.41/150.89 c #Conflicts: 338000 | #Constraints: 18021
150.41/150.89 c #Conflicts: 339000 | #Constraints: 19021
150.41/150.89 c #Conflicts: 340000 | #Constraints: 20021
150.41/150.89 c #Conflicts: 341000 | #Constraints: 21021
150.41/150.89 c #Conflicts: 342000 | #Constraints: 22021
150.41/150.89 c #Conflicts: 343000 | #Constraints: 23021
150.41/150.89 c #Conflicts: 344000 | #Constraints: 24021
150.41/150.89 c #Conflicts: 345000 | #Constraints: 25021
150.41/150.89 c INPROCESSING
150.41/150.89 c GARBAGE COLLECT
150.41/150.89 c #Conflicts: 346000 | #Constraints: 14458
150.41/150.89 c #Conflicts: 347000 | #Constraints: 15458
150.41/150.89 c #Conflicts: 348000 | #Constraints: 16458
150.41/150.89 c #Conflicts: 349000 | #Constraints: 17458
150.41/150.89 c #Conflicts: 350000 | #Constraints: 18458
150.41/150.89 c #Conflicts: 351000 | #Constraints: 19458
150.41/150.89 c #Conflicts: 352000 | #Constraints: 20458
150.41/150.89 c #Conflicts: 353000 | #Constraints: 21458
150.41/150.89 c #Conflicts: 354000 | #Constraints: 22458
150.41/150.89 c #Conflicts: 355000 | #Constraints: 23458
150.41/150.89 c #Conflicts: 356000 | #Constraints: 24458
150.41/150.89 c #Conflicts: 357000 | #Constraints: 25458
150.41/150.89 c INPROCESSING
150.41/150.89 c GARBAGE COLLECT
150.41/150.89 c #Conflicts: 358000 | #Constraints: 14652
150.41/150.89 c #Conflicts: 359000 | #Constraints: 15652
150.41/150.89 c #Conflicts: 360000 | #Constraints: 16652
150.41/150.89 c #Conflicts: 361000 | #Constraints: 17652
150.41/150.89 c #Conflicts: 362000 | #Constraints: 18652
150.41/150.89 c #Conflicts: 363000 | #Constraints: 19652
150.41/150.89 c #Conflicts: 364000 | #Constraints: 20652
150.41/150.89 c #Conflicts: 365000 | #Constraints: 21652
150.41/150.89 c #Conflicts: 366000 | #Constraints: 22652
150.41/150.89 c #Conflicts: 367000 | #Constraints: 23652
150.41/150.89 c #Conflicts: 368000 | #Constraints: 24652
150.41/150.89 c #Conflicts: 369000 | #Constraints: 25652
150.41/150.89 c INPROCESSING
150.41/150.89 c GARBAGE COLLECT
150.41/150.89 c #Conflicts: 370000 | #Constraints: 14658
150.41/150.89 c #Conflicts: 371000 | #Constraints: 15658
150.41/150.89 c #Conflicts: 372000 | #Constraints: 16658
150.41/150.89 c #Conflicts: 373000 | #Constraints: 17658
150.41/150.89 c #Conflicts: 374000 | #Constraints: 18658
150.41/150.89 c #Conflicts: 375000 | #Constraints: 19658
150.41/150.89 c #Conflicts: 376000 | #Constraints: 20658
150.41/150.89 c #Conflicts: 377000 | #Constraints: 21658
150.41/150.89 c #Conflicts: 378000 | #Constraints: 22658
150.41/150.89 c #Conflicts: 379000 | #Constraints: 23658
150.41/150.89 c #Conflicts: 380000 | #Constraints: 24658
150.41/150.89 c #Conflicts: 381000 | #Constraints: 25658
150.41/150.89 c INPROCESSING
150.41/150.89 c GARBAGE COLLECT
150.41/150.89 c #Conflicts: 382000 | #Constraints: 14443
150.41/150.89 c #Conflicts: 383000 | #Constraints: 15443
150.41/150.89 c #Conflicts: 384000 | #Constraints: 16443
150.41/150.89 c #Conflicts: 385000 | #Constraints: 17443
150.41/150.89 c #Conflicts: 386000 | #Constraints: 18443
150.41/150.89 c #Conflicts: 387000 | #Constraints: 19443
150.41/150.89 c #Conflicts: 388000 | #Constraints: 20443
150.41/150.89 c #Conflicts: 389000 | #Constraints: 21443
150.41/150.89 c #Conflicts: 390000 | #Constraints: 22443
150.41/150.89 c #Conflicts: 391000 | #Constraints: 23443
150.41/150.89 c #Conflicts: 392000 | #Constraints: 24443
150.41/150.89 c #Conflicts: 393000 | #Constraints: 25443
150.41/150.89 c #Conflicts: 394000 | #Constraints: 26443
183.64/184.17 c INPROCESSING
183.64/184.17 c GARBAGE COLLECT
183.64/184.17 c #Conflicts: 395000 | #Constraints: 15024
183.64/184.17 c #Conflicts: 396000 | #Constraints: 16024
183.64/184.17 c #Conflicts: 397000 | #Constraints: 17024
183.64/184.17 c #Conflicts: 398000 | #Constraints: 18024
183.64/184.17 c #Conflicts: 399000 | #Constraints: 19024
183.64/184.17 c #Conflicts: 400000 | #Constraints: 20024
183.64/184.17 c #Conflicts: 401000 | #Constraints: 21024
183.64/184.17 c #Conflicts: 402000 | #Constraints: 22024
183.64/184.17 c #Conflicts: 403000 | #Constraints: 23024
183.64/184.17 c #Conflicts: 404000 | #Constraints: 24024
183.64/184.17 c #Conflicts: 405000 | #Constraints: 25024
183.64/184.17 c #Conflicts: 406000 | #Constraints: 26024
183.64/184.17 c #Conflicts: 407000 | #Constraints: 27024
183.64/184.17 c INPROCESSING
183.64/184.17 c GARBAGE COLLECT
183.64/184.17 c #Conflicts: 408000 | #Constraints: 15441
183.64/184.17 c #Conflicts: 409000 | #Constraints: 16441
183.64/184.17 c #Conflicts: 410000 | #Constraints: 17441
183.64/184.17 c #Conflicts: 411000 | #Constraints: 18441
183.64/184.17 c #Conflicts: 412000 | #Constraints: 19441
183.64/184.17 c #Conflicts: 413000 | #Constraints: 20441
183.64/184.17 c #Conflicts: 414000 | #Constraints: 21441
183.64/184.17 c #Conflicts: 415000 | #Constraints: 22441
183.64/184.17 c #Conflicts: 416000 | #Constraints: 23441
183.64/184.17 c #Conflicts: 417000 | #Constraints: 24441
183.64/184.17 c #Conflicts: 418000 | #Constraints: 25441
183.64/184.17 c #Conflicts: 419000 | #Constraints: 26441
183.64/184.17 c #Conflicts: 420000 | #Constraints: 27441
183.64/184.17 c INPROCESSING
183.64/184.17 c GARBAGE COLLECT
183.64/184.17 c #Conflicts: 421000 | #Constraints: 15640
183.64/184.17 c #Conflicts: 422000 | #Constraints: 16640
183.64/184.17 c #Conflicts: 423000 | #Constraints: 17640
183.64/184.17 c #Conflicts: 424000 | #Constraints: 18640
183.64/184.17 c #Conflicts: 425000 | #Constraints: 19640
183.64/184.17 c #Conflicts: 426000 | #Constraints: 20640
183.64/184.17 c #Conflicts: 427000 | #Constraints: 21640
183.64/184.17 c #Conflicts: 428000 | #Constraints: 22640
183.64/184.17 c #Conflicts: 429000 | #Constraints: 23640
183.64/184.17 c #Conflicts: 430000 | #Constraints: 24640
183.64/184.17 c #Conflicts: 431000 | #Constraints: 25640
183.64/184.17 c #Conflicts: 432000 | #Constraints: 26640
183.64/184.17 c #Conflicts: 433000 | #Constraints: 27640
183.64/184.17 c INPROCESSING
183.64/184.17 c GARBAGE COLLECT
183.64/184.17 c #Conflicts: 434000 | #Constraints: 15633
183.64/184.17 c #Conflicts: 435000 | #Constraints: 16633
183.64/184.17 c #Conflicts: 436000 | #Constraints: 17633
183.64/184.17 c #Conflicts: 437000 | #Constraints: 18633
183.64/184.17 c #Conflicts: 438000 | #Constraints: 19633
183.64/184.17 c #Conflicts: 439000 | #Constraints: 20633
183.64/184.17 c #Conflicts: 440000 | #Constraints: 21633
183.64/184.17 c #Conflicts: 441000 | #Constraints: 22633
183.64/184.17 c #Conflicts: 442000 | #Constraints: 23633
183.64/184.17 c #Conflicts: 443000 | #Constraints: 24633
183.64/184.17 c #Conflicts: 444000 | #Constraints: 25633
183.64/184.17 c #Conflicts: 445000 | #Constraints: 26633
183.64/184.17 c #Conflicts: 446000 | #Constraints: 27633
183.64/184.17 c INPROCESSING
183.64/184.17 c GARBAGE COLLECT
183.64/184.17 c #Conflicts: 447000 | #Constraints: 15449
183.64/184.17 c #Conflicts: 448000 | #Constraints: 16449
183.64/184.17 c #Conflicts: 449000 | #Constraints: 17449
183.64/184.17 c #Conflicts: 450000 | #Constraints: 18449
183.64/184.17 c #Conflicts: 451000 | #Constraints: 19449
183.64/184.17 c #Conflicts: 452000 | #Constraints: 20449
183.64/184.17 c #Conflicts: 453000 | #Constraints: 21449
183.64/184.17 c #Conflicts: 454000 | #Constraints: 22449
183.64/184.17 c #Conflicts: 455000 | #Constraints: 23449
183.64/184.17 c #Conflicts: 456000 | #Constraints: 24449
183.64/184.17 c #Conflicts: 457000 | #Constraints: 25449
183.64/184.17 c #Conflicts: 458000 | #Constraints: 26449
183.64/184.17 c #Conflicts: 459000 | #Constraints: 27449
183.64/184.17 c #Conflicts: 460000 | #Constraints: 28449
183.64/184.17 c INPROCESSING
183.64/184.17 c GARBAGE COLLECT
183.64/184.17 c #Conflicts: 461000 | #Constraints: 16049
183.64/184.17 c #Conflicts: 462000 | #Constraints: 17049
183.64/184.17 c #Conflicts: 463000 | #Constraints: 18049
183.64/184.17 c #Conflicts: 464000 | #Constraints: 19049
183.64/184.17 c #Conflicts: 465000 | #Constraints: 20049
183.64/184.17 c #Conflicts: 466000 | #Constraints: 21049
183.64/184.17 c #Conflicts: 467000 | #Constraints: 22049
183.64/184.17 c #Conflicts: 468000 | #Constraints: 23049
183.64/184.17 c #Conflicts: 469000 | #Constraints: 24049
197.39/197.96 c #Conflicts: 470000 | #Constraints: 25049
197.39/197.96 c #Conflicts: 471000 | #Constraints: 26049
197.39/197.96 c #Conflicts: 472000 | #Constraints: 27049
197.39/197.96 c #Conflicts: 473000 | #Constraints: 28049
197.39/197.96 c #Conflicts: 474000 | #Constraints: 29049
197.39/197.96 c INPROCESSING
197.39/197.96 c GARBAGE COLLECT
197.39/197.96 c #Conflicts: 475000 | #Constraints: 16449
197.39/197.96 c #Conflicts: 476000 | #Constraints: 17449
197.39/197.96 c #Conflicts: 477000 | #Constraints: 18449
197.39/197.96 c #Conflicts: 478000 | #Constraints: 19449
197.39/197.96 c #Conflicts: 479000 | #Constraints: 20449
197.39/197.96 c #Conflicts: 480000 | #Constraints: 21449
197.39/197.96 c #Conflicts: 481000 | #Constraints: 22449
197.39/197.96 c #Conflicts: 482000 | #Constraints: 23449
197.39/197.96 c #Conflicts: 483000 | #Constraints: 24449
197.39/197.96 c #Conflicts: 484000 | #Constraints: 25449
197.39/197.96 c #Conflicts: 485000 | #Constraints: 26449
197.39/197.96 c #Conflicts: 486000 | #Constraints: 27449
197.39/197.96 c #Conflicts: 487000 | #Constraints: 28449
197.39/197.96 c #Conflicts: 488000 | #Constraints: 29449
197.39/197.96 c INPROCESSING
197.39/197.96 c GARBAGE COLLECT
197.39/197.96 c #Conflicts: 489000 | #Constraints: 16648
197.39/197.96 c #Conflicts: 490000 | #Constraints: 17648
197.39/197.96 c #Conflicts: 491000 | #Constraints: 18648
197.39/197.96 c #Conflicts: 492000 | #Constraints: 19648
197.39/197.96 c #Conflicts: 493000 | #Constraints: 20648
197.39/197.96 c #Conflicts: 494000 | #Constraints: 21648
197.39/197.96 c #Conflicts: 495000 | #Constraints: 22648
197.39/197.96 c #Conflicts: 496000 | #Constraints: 23648
197.39/197.96 c #Conflicts: 497000 | #Constraints: 24648
197.39/197.96 c finalizing WCE round: reformulating cores
197.79/198.37 c bounds 47697 >= 8681 @ 193.93
197.79/198.37 c bounds 47685 >= 8681 @ 193.939
197.79/198.37 c stratification level: 1744
197.79/198.38 c bounds 47627 >= 8681 @ 193.946
197.79/198.38 c stratification level: 1741
198.09/198.62 c #Conflicts: 498000 | #Constraints: 25654
198.09/198.62 c #Conflicts: 499000 | #Constraints: 26654
198.09/198.62 c #Conflicts: 500000 | #Constraints: 27654
198.09/198.62 c bounds 47618 >= 8681 @ 194.182
198.09/198.62 c stratification level: 1740
230.52/231.17 c #Conflicts: 501000 | #Constraints: 28655
230.52/231.17 c #Conflicts: 502000 | #Constraints: 29655
230.52/231.17 c INPROCESSING
230.52/231.17 c GARBAGE COLLECT
230.52/231.17 c #Conflicts: 503000 | #Constraints: 16642
230.52/231.17 c #Conflicts: 504000 | #Constraints: 17642
230.52/231.17 c #Conflicts: 505000 | #Constraints: 18642
230.52/231.17 c #Conflicts: 506000 | #Constraints: 19642
230.52/231.17 c #Conflicts: 507000 | #Constraints: 20642
230.52/231.17 c #Conflicts: 508000 | #Constraints: 21642
230.52/231.17 c #Conflicts: 509000 | #Constraints: 22642
230.52/231.17 c #Conflicts: 510000 | #Constraints: 23642
230.52/231.17 c #Conflicts: 511000 | #Constraints: 24642
230.52/231.17 c #Conflicts: 512000 | #Constraints: 25642
230.52/231.17 c #Conflicts: 513000 | #Constraints: 26642
230.52/231.17 c #Conflicts: 514000 | #Constraints: 27642
230.52/231.17 c #Conflicts: 515000 | #Constraints: 28642
230.52/231.17 c #Conflicts: 516000 | #Constraints: 29642
230.52/231.17 c INPROCESSING
230.52/231.17 c GARBAGE COLLECT
230.52/231.17 c #Conflicts: 517000 | #Constraints: 16444
230.52/231.17 c #Conflicts: 518000 | #Constraints: 17444
230.52/231.17 c #Conflicts: 519000 | #Constraints: 18444
230.52/231.17 c #Conflicts: 520000 | #Constraints: 19444
230.52/231.17 c #Conflicts: 521000 | #Constraints: 20444
230.52/231.17 c #Conflicts: 522000 | #Constraints: 21444
230.52/231.17 c #Conflicts: 523000 | #Constraints: 22444
230.52/231.17 c #Conflicts: 524000 | #Constraints: 23444
230.52/231.17 c #Conflicts: 525000 | #Constraints: 24444
230.52/231.17 c #Conflicts: 526000 | #Constraints: 25444
230.52/231.17 c #Conflicts: 527000 | #Constraints: 26444
230.52/231.17 c #Conflicts: 528000 | #Constraints: 27444
230.52/231.17 c #Conflicts: 529000 | #Constraints: 28444
230.52/231.17 c #Conflicts: 530000 | #Constraints: 29444
230.52/231.17 c #Conflicts: 531000 | #Constraints: 30444
230.52/231.17 c INPROCESSING
230.52/231.17 c GARBAGE COLLECT
230.52/231.17 c #Conflicts: 532000 | #Constraints: 17096
230.52/231.17 c #Conflicts: 533000 | #Constraints: 18096
230.52/231.17 c #Conflicts: 534000 | #Constraints: 19096
230.52/231.17 c #Conflicts: 535000 | #Constraints: 20096
230.52/231.17 c #Conflicts: 536000 | #Constraints: 21096
230.52/231.17 c #Conflicts: 537000 | #Constraints: 22096
230.52/231.17 c #Conflicts: 538000 | #Constraints: 23096
230.52/231.17 c #Conflicts: 539000 | #Constraints: 24096
230.52/231.17 c #Conflicts: 540000 | #Constraints: 25096
230.52/231.17 c #Conflicts: 541000 | #Constraints: 26096
230.52/231.17 c #Conflicts: 542000 | #Constraints: 27096
230.52/231.17 c #Conflicts: 543000 | #Constraints: 28096
230.52/231.17 c #Conflicts: 544000 | #Constraints: 29096
230.52/231.17 c #Conflicts: 545000 | #Constraints: 30096
230.52/231.17 c #Conflicts: 546000 | #Constraints: 31096
230.52/231.17 c INPROCESSING
230.52/231.17 c GARBAGE COLLECT
230.52/231.17 c #Conflicts: 547000 | #Constraints: 17480
230.52/231.17 c #Conflicts: 548000 | #Constraints: 18480
230.52/231.17 c #Conflicts: 549000 | #Constraints: 19480
230.52/231.17 c bounds 47549 >= 8681 @ 226.151
230.52/231.17 c stratification level: 1733
230.52/231.18 c bounds 47453 >= 8681 @ 226.154
230.52/231.18 c stratification level: 1732
230.52/231.19 c #Conflicts: 550000 | #Constraints: 20482
230.52/231.19 c bounds 47395 >= 8681 @ 226.161
230.52/231.19 c stratification level: 1730
261.24/261.93 c #Conflicts: 551000 | #Constraints: 21483
261.24/261.93 c #Conflicts: 552000 | #Constraints: 22483
261.24/261.93 c #Conflicts: 553000 | #Constraints: 23483
261.24/261.93 c #Conflicts: 554000 | #Constraints: 24483
261.24/261.93 c #Conflicts: 555000 | #Constraints: 25483
261.24/261.93 c #Conflicts: 556000 | #Constraints: 26483
261.24/261.93 c #Conflicts: 557000 | #Constraints: 27483
261.24/261.93 c #Conflicts: 558000 | #Constraints: 28483
261.24/261.93 c #Conflicts: 559000 | #Constraints: 29483
261.24/261.93 c #Conflicts: 560000 | #Constraints: 30483
261.24/261.93 c #Conflicts: 561000 | #Constraints: 31483
261.24/261.93 c INPROCESSING
261.24/261.93 c GARBAGE COLLECT
261.24/261.93 c #Conflicts: 562000 | #Constraints: 17670
261.24/261.93 c #Conflicts: 563000 | #Constraints: 18670
261.24/261.93 c #Conflicts: 564000 | #Constraints: 19670
261.24/261.93 c #Conflicts: 565000 | #Constraints: 20670
261.24/261.93 c #Conflicts: 566000 | #Constraints: 21670
261.24/261.93 c #Conflicts: 567000 | #Constraints: 22670
261.24/261.93 c #Conflicts: 568000 | #Constraints: 23670
261.24/261.93 c #Conflicts: 569000 | #Constraints: 24670
261.24/261.93 c #Conflicts: 570000 | #Constraints: 25670
261.24/261.93 c #Conflicts: 571000 | #Constraints: 26670
261.24/261.93 c #Conflicts: 572000 | #Constraints: 27670
261.24/261.93 c #Conflicts: 573000 | #Constraints: 28670
261.24/261.93 c #Conflicts: 574000 | #Constraints: 29670
261.24/261.93 c #Conflicts: 575000 | #Constraints: 30670
261.24/261.93 c #Conflicts: 576000 | #Constraints: 31670
261.24/261.93 c INPROCESSING
261.24/261.93 c GARBAGE COLLECT
261.24/261.93 c #Conflicts: 577000 | #Constraints: 17666
261.24/261.93 c #Conflicts: 578000 | #Constraints: 18666
261.24/261.93 c #Conflicts: 579000 | #Constraints: 19666
261.24/261.93 c #Conflicts: 580000 | #Constraints: 20666
261.24/261.93 c #Conflicts: 581000 | #Constraints: 21666
261.24/261.93 c #Conflicts: 582000 | #Constraints: 22666
261.24/261.93 c #Conflicts: 583000 | #Constraints: 23666
261.24/261.93 c #Conflicts: 584000 | #Constraints: 24666
261.24/261.93 c #Conflicts: 585000 | #Constraints: 25666
261.24/261.93 c #Conflicts: 586000 | #Constraints: 26666
261.24/261.93 c #Conflicts: 587000 | #Constraints: 27666
261.24/261.93 c #Conflicts: 588000 | #Constraints: 28666
261.24/261.93 c #Conflicts: 589000 | #Constraints: 29666
261.24/261.93 c #Conflicts: 590000 | #Constraints: 30666
261.24/261.93 c #Conflicts: 591000 | #Constraints: 31666
261.24/261.93 c INPROCESSING
261.24/261.93 c GARBAGE COLLECT
261.24/261.93 c #Conflicts: 592000 | #Constraints: 17469
261.24/261.93 c #Conflicts: 593000 | #Constraints: 18469
261.24/261.93 c #Conflicts: 594000 | #Constraints: 19469
261.24/261.93 c #Conflicts: 595000 | #Constraints: 20469
261.24/261.93 c #Conflicts: 596000 | #Constraints: 21469
261.24/261.93 c #Conflicts: 597000 | #Constraints: 22469
261.24/261.93 c #Conflicts: 598000 | #Constraints: 23469
261.24/261.93 c bounds 47366 >= 8681 @ 256.377
261.24/261.93 c stratification level: 1724
316.99/317.80 c #Conflicts: 599000 | #Constraints: 24470
316.99/317.80 c #Conflicts: 600000 | #Constraints: 25470
316.99/317.80 c #Conflicts: 601000 | #Constraints: 26470
316.99/317.80 c #Conflicts: 602000 | #Constraints: 27470
316.99/317.80 c #Conflicts: 603000 | #Constraints: 28470
316.99/317.80 c #Conflicts: 604000 | #Constraints: 29470
316.99/317.80 c #Conflicts: 605000 | #Constraints: 30470
316.99/317.80 c #Conflicts: 606000 | #Constraints: 31470
316.99/317.80 c #Conflicts: 607000 | #Constraints: 32470
316.99/317.80 c INPROCESSING
316.99/317.80 c GARBAGE COLLECT
316.99/317.80 c #Conflicts: 608000 | #Constraints: 18072
316.99/317.80 c #Conflicts: 609000 | #Constraints: 19072
316.99/317.80 c #Conflicts: 610000 | #Constraints: 20072
316.99/317.80 c #Conflicts: 611000 | #Constraints: 21072
316.99/317.80 c #Conflicts: 612000 | #Constraints: 22072
316.99/317.80 c #Conflicts: 613000 | #Constraints: 23072
316.99/317.80 c #Conflicts: 614000 | #Constraints: 24072
316.99/317.80 c #Conflicts: 615000 | #Constraints: 25072
316.99/317.80 c #Conflicts: 616000 | #Constraints: 26072
316.99/317.80 c #Conflicts: 617000 | #Constraints: 27072
316.99/317.80 c #Conflicts: 618000 | #Constraints: 28072
316.99/317.80 c #Conflicts: 619000 | #Constraints: 29072
316.99/317.80 c #Conflicts: 620000 | #Constraints: 30072
316.99/317.80 c #Conflicts: 621000 | #Constraints: 31072
316.99/317.80 c #Conflicts: 622000 | #Constraints: 32072
316.99/317.80 c #Conflicts: 623000 | #Constraints: 33072
316.99/317.80 c INPROCESSING
316.99/317.80 c GARBAGE COLLECT
316.99/317.80 c #Conflicts: 624000 | #Constraints: 18479
316.99/317.80 c #Conflicts: 625000 | #Constraints: 19479
316.99/317.80 c #Conflicts: 626000 | #Constraints: 20479
316.99/317.80 c #Conflicts: 627000 | #Constraints: 21479
316.99/317.80 c #Conflicts: 628000 | #Constraints: 22479
316.99/317.80 c #Conflicts: 629000 | #Constraints: 23479
316.99/317.80 c #Conflicts: 630000 | #Constraints: 24479
316.99/317.80 c #Conflicts: 631000 | #Constraints: 25479
316.99/317.80 c #Conflicts: 632000 | #Constraints: 26479
316.99/317.80 c #Conflicts: 633000 | #Constraints: 27479
316.99/317.80 c #Conflicts: 634000 | #Constraints: 28479
316.99/317.80 c #Conflicts: 635000 | #Constraints: 29479
316.99/317.80 c #Conflicts: 636000 | #Constraints: 30479
316.99/317.80 c #Conflicts: 637000 | #Constraints: 31479
316.99/317.80 c #Conflicts: 638000 | #Constraints: 32479
316.99/317.80 c #Conflicts: 639000 | #Constraints: 33479
316.99/317.80 c INPROCESSING
316.99/317.80 c GARBAGE COLLECT
316.99/317.80 c #Conflicts: 640000 | #Constraints: 18678
316.99/317.80 c #Conflicts: 641000 | #Constraints: 19678
316.99/317.80 c #Conflicts: 642000 | #Constraints: 20678
316.99/317.80 c #Conflicts: 643000 | #Constraints: 21678
316.99/317.80 c #Conflicts: 644000 | #Constraints: 22678
316.99/317.80 c #Conflicts: 645000 | #Constraints: 23678
316.99/317.80 c #Conflicts: 646000 | #Constraints: 24678
316.99/317.80 c #Conflicts: 647000 | #Constraints: 25678
316.99/317.80 c #Conflicts: 648000 | #Constraints: 26678
316.99/317.80 c #Conflicts: 649000 | #Constraints: 27678
316.99/317.80 c #Conflicts: 650000 | #Constraints: 28678
316.99/317.80 c #Conflicts: 651000 | #Constraints: 29678
316.99/317.80 c #Conflicts: 652000 | #Constraints: 30678
316.99/317.80 c #Conflicts: 653000 | #Constraints: 31678
316.99/317.80 c #Conflicts: 654000 | #Constraints: 32678
316.99/317.80 c #Conflicts: 655000 | #Constraints: 33678
316.99/317.80 c INPROCESSING
316.99/317.80 c GARBAGE COLLECT
316.99/317.80 c #Conflicts: 656000 | #Constraints: 18674
316.99/317.80 c #Conflicts: 657000 | #Constraints: 19674
316.99/317.80 c #Conflicts: 658000 | #Constraints: 20674
316.99/317.80 c #Conflicts: 659000 | #Constraints: 21674
316.99/317.80 c #Conflicts: 660000 | #Constraints: 22674
316.99/317.80 c #Conflicts: 661000 | #Constraints: 23674
316.99/317.80 c #Conflicts: 662000 | #Constraints: 24674
316.99/317.80 c #Conflicts: 663000 | #Constraints: 25674
316.99/317.80 c #Conflicts: 664000 | #Constraints: 26674
316.99/317.80 c #Conflicts: 665000 | #Constraints: 27674
316.99/317.80 c #Conflicts: 666000 | #Constraints: 28674
316.99/317.80 c #Conflicts: 667000 | #Constraints: 29674
316.99/317.80 c #Conflicts: 668000 | #Constraints: 30674
316.99/317.80 c #Conflicts: 669000 | #Constraints: 31674
316.99/317.80 c #Conflicts: 670000 | #Constraints: 32674
316.99/317.80 c #Conflicts: 671000 | #Constraints: 33674
316.99/317.80 c INPROCESSING
316.99/317.80 c GARBAGE COLLECT
316.99/317.80 c #Conflicts: 672000 | #Constraints: 18466
316.99/317.80 c #Conflicts: 673000 | #Constraints: 19466
316.99/317.80 c #Conflicts: 674000 | #Constraints: 20466
353.60/354.58 c #Conflicts: 675000 | #Constraints: 21466
353.60/354.58 c #Conflicts: 676000 | #Constraints: 22466
353.60/354.58 c #Conflicts: 677000 | #Constraints: 23466
353.60/354.58 c #Conflicts: 678000 | #Constraints: 24466
353.60/354.58 c #Conflicts: 679000 | #Constraints: 25466
353.60/354.58 c #Conflicts: 680000 | #Constraints: 26466
353.60/354.58 c #Conflicts: 681000 | #Constraints: 27466
353.60/354.58 c #Conflicts: 682000 | #Constraints: 28466
353.60/354.58 c #Conflicts: 683000 | #Constraints: 29466
353.60/354.58 c #Conflicts: 684000 | #Constraints: 30466
353.60/354.58 c #Conflicts: 685000 | #Constraints: 31466
353.60/354.58 c #Conflicts: 686000 | #Constraints: 32466
353.60/354.58 c #Conflicts: 687000 | #Constraints: 33466
353.60/354.58 c #Conflicts: 688000 | #Constraints: 34466
353.60/354.58 c INPROCESSING
353.60/354.58 c GARBAGE COLLECT
353.60/354.58 c #Conflicts: 689000 | #Constraints: 19061
353.60/354.58 c #Conflicts: 690000 | #Constraints: 20061
353.60/354.58 c #Conflicts: 691000 | #Constraints: 21061
353.60/354.58 c #Conflicts: 692000 | #Constraints: 22061
353.60/354.58 c #Conflicts: 693000 | #Constraints: 23061
353.60/354.58 c #Conflicts: 694000 | #Constraints: 24061
353.60/354.58 c #Conflicts: 695000 | #Constraints: 25061
353.60/354.58 c #Conflicts: 696000 | #Constraints: 26061
353.60/354.58 c #Conflicts: 697000 | #Constraints: 27061
353.60/354.58 c #Conflicts: 698000 | #Constraints: 28061
353.60/354.58 c #Conflicts: 699000 | #Constraints: 29061
353.60/354.58 c #Conflicts: 700000 | #Constraints: 30061
353.60/354.58 c #Conflicts: 701000 | #Constraints: 31061
353.60/354.58 c #Conflicts: 702000 | #Constraints: 32061
353.60/354.58 c #Conflicts: 703000 | #Constraints: 33061
353.60/354.58 c #Conflicts: 704000 | #Constraints: 34061
353.60/354.58 c #Conflicts: 705000 | #Constraints: 35061
353.60/354.58 c INPROCESSING
353.60/354.58 c GARBAGE COLLECT
353.60/354.58 c #Conflicts: 706000 | #Constraints: 19447
353.60/354.58 c #Conflicts: 707000 | #Constraints: 20447
353.60/354.58 c #Conflicts: 708000 | #Constraints: 21447
353.60/354.58 c #Conflicts: 709000 | #Constraints: 22447
353.60/354.58 c #Conflicts: 710000 | #Constraints: 23447
353.60/354.58 c #Conflicts: 711000 | #Constraints: 24447
353.60/354.58 c #Conflicts: 712000 | #Constraints: 25447
353.60/354.58 c #Conflicts: 713000 | #Constraints: 26447
353.60/354.58 c #Conflicts: 714000 | #Constraints: 27447
353.60/354.58 c #Conflicts: 715000 | #Constraints: 28447
353.60/354.58 c #Conflicts: 716000 | #Constraints: 29447
353.60/354.58 c #Conflicts: 717000 | #Constraints: 30447
353.60/354.58 c #Conflicts: 718000 | #Constraints: 31447
353.60/354.58 c #Conflicts: 719000 | #Constraints: 32447
353.60/354.58 c #Conflicts: 720000 | #Constraints: 33447
353.60/354.58 c #Conflicts: 721000 | #Constraints: 34447
353.60/354.58 c #Conflicts: 722000 | #Constraints: 35447
353.60/354.58 c INPROCESSING
353.60/354.58 c GARBAGE COLLECT
353.60/354.58 c #Conflicts: 723000 | #Constraints: 19660
353.60/354.58 c #Conflicts: 724000 | #Constraints: 20660
353.60/354.58 c #Conflicts: 725000 | #Constraints: 21660
353.60/354.58 c #Conflicts: 726000 | #Constraints: 22660
353.60/354.58 c #Conflicts: 727000 | #Constraints: 23660
353.60/354.58 c #Conflicts: 728000 | #Constraints: 24660
353.60/354.58 c #Conflicts: 729000 | #Constraints: 25660
353.60/354.58 c #Conflicts: 730000 | #Constraints: 26660
353.60/354.58 c #Conflicts: 731000 | #Constraints: 27660
353.60/354.58 c #Conflicts: 732000 | #Constraints: 28660
353.60/354.58 c #Conflicts: 733000 | #Constraints: 29660
353.60/354.58 c #Conflicts: 734000 | #Constraints: 30660
353.60/354.58 c #Conflicts: 735000 | #Constraints: 31660
353.60/354.58 c #Conflicts: 736000 | #Constraints: 32660
353.60/354.58 c #Conflicts: 737000 | #Constraints: 33660
353.60/354.58 c #Conflicts: 738000 | #Constraints: 34660
353.60/354.58 c #Conflicts: 739000 | #Constraints: 35660
353.60/354.58 c bounds 47357 >= 8681 @ 347.595
353.60/354.58 c stratification level: 1723
353.70/354.64 c INPROCESSING
353.70/354.64 c GARBAGE COLLECT
353.70/354.64 c bounds 47351 >= 8681 @ 347.661
353.70/354.64 c stratification level: 1721
413.45/414.51 c #Conflicts: 740000 | #Constraints: 19638
413.45/414.51 c #Conflicts: 741000 | #Constraints: 20638
413.45/414.51 c #Conflicts: 742000 | #Constraints: 21638
413.45/414.51 c #Conflicts: 743000 | #Constraints: 22638
413.45/414.51 c #Conflicts: 744000 | #Constraints: 23638
413.45/414.51 c #Conflicts: 745000 | #Constraints: 24638
413.45/414.51 c #Conflicts: 746000 | #Constraints: 25638
413.45/414.51 c #Conflicts: 747000 | #Constraints: 26638
413.45/414.51 c #Conflicts: 748000 | #Constraints: 27638
413.45/414.51 c #Conflicts: 749000 | #Constraints: 28638
413.45/414.51 c #Conflicts: 750000 | #Constraints: 29638
413.45/414.51 c #Conflicts: 751000 | #Constraints: 30638
413.45/414.51 c #Conflicts: 752000 | #Constraints: 31638
413.45/414.51 c #Conflicts: 753000 | #Constraints: 32638
413.45/414.51 c #Conflicts: 754000 | #Constraints: 33638
413.45/414.51 c #Conflicts: 755000 | #Constraints: 34638
413.45/414.51 c #Conflicts: 756000 | #Constraints: 35638
413.45/414.51 c INPROCESSING
413.45/414.51 c GARBAGE COLLECT
413.45/414.51 c #Conflicts: 757000 | #Constraints: 19470
413.45/414.51 c #Conflicts: 758000 | #Constraints: 20470
413.45/414.51 c #Conflicts: 759000 | #Constraints: 21470
413.45/414.51 c #Conflicts: 760000 | #Constraints: 22470
413.45/414.51 c #Conflicts: 761000 | #Constraints: 23470
413.45/414.51 c #Conflicts: 762000 | #Constraints: 24470
413.45/414.51 c #Conflicts: 763000 | #Constraints: 25470
413.45/414.51 c #Conflicts: 764000 | #Constraints: 26470
413.45/414.51 c #Conflicts: 765000 | #Constraints: 27470
413.45/414.51 c #Conflicts: 766000 | #Constraints: 28470
413.45/414.51 c #Conflicts: 767000 | #Constraints: 29470
413.45/414.51 c #Conflicts: 768000 | #Constraints: 30470
413.45/414.51 c #Conflicts: 769000 | #Constraints: 31470
413.45/414.51 c #Conflicts: 770000 | #Constraints: 32470
413.45/414.51 c #Conflicts: 771000 | #Constraints: 33470
413.45/414.51 c #Conflicts: 772000 | #Constraints: 34470
413.45/414.51 c #Conflicts: 773000 | #Constraints: 35470
413.45/414.51 c #Conflicts: 774000 | #Constraints: 36470
413.45/414.51 c INPROCESSING
413.45/414.51 c GARBAGE COLLECT
413.45/414.51 c #Conflicts: 775000 | #Constraints: 20068
413.45/414.51 c #Conflicts: 776000 | #Constraints: 21068
413.45/414.51 c #Conflicts: 777000 | #Constraints: 22068
413.45/414.51 c #Conflicts: 778000 | #Constraints: 23068
413.45/414.51 c #Conflicts: 779000 | #Constraints: 24068
413.45/414.51 c #Conflicts: 780000 | #Constraints: 25068
413.45/414.51 c #Conflicts: 781000 | #Constraints: 26068
413.45/414.51 c #Conflicts: 782000 | #Constraints: 27068
413.45/414.51 c #Conflicts: 783000 | #Constraints: 28068
413.45/414.51 c #Conflicts: 784000 | #Constraints: 29068
413.45/414.51 c #Conflicts: 785000 | #Constraints: 30068
413.45/414.51 c #Conflicts: 786000 | #Constraints: 31068
413.45/414.51 c #Conflicts: 787000 | #Constraints: 32068
413.45/414.51 c #Conflicts: 788000 | #Constraints: 33068
413.45/414.51 c #Conflicts: 789000 | #Constraints: 34068
413.45/414.51 c #Conflicts: 790000 | #Constraints: 35068
413.45/414.51 c #Conflicts: 791000 | #Constraints: 36068
413.45/414.51 c #Conflicts: 792000 | #Constraints: 37068
413.45/414.51 c INPROCESSING
413.45/414.51 c GARBAGE COLLECT
413.45/414.51 c #Conflicts: 793000 | #Constraints: 20461
413.45/414.51 c #Conflicts: 794000 | #Constraints: 21461
413.45/414.51 c #Conflicts: 795000 | #Constraints: 22461
413.45/414.51 c #Conflicts: 796000 | #Constraints: 23461
413.45/414.51 c #Conflicts: 797000 | #Constraints: 24461
413.45/414.51 c #Conflicts: 798000 | #Constraints: 25461
413.45/414.51 c #Conflicts: 799000 | #Constraints: 26461
413.45/414.51 c #Conflicts: 800000 | #Constraints: 27461
413.45/414.51 c #Conflicts: 801000 | #Constraints: 28461
413.45/414.51 c #Conflicts: 802000 | #Constraints: 29461
413.45/414.51 c #Conflicts: 803000 | #Constraints: 30461
413.45/414.51 c #Conflicts: 804000 | #Constraints: 31461
413.45/414.51 c #Conflicts: 805000 | #Constraints: 32461
413.45/414.51 c #Conflicts: 806000 | #Constraints: 33461
413.45/414.51 c #Conflicts: 807000 | #Constraints: 34461
413.45/414.51 c #Conflicts: 808000 | #Constraints: 35461
413.45/414.51 c #Conflicts: 809000 | #Constraints: 36461
413.45/414.51 c #Conflicts: 810000 | #Constraints: 37461
413.45/414.51 c INPROCESSING
413.45/414.51 c GARBAGE COLLECT
413.45/414.51 c #Conflicts: 811000 | #Constraints: 20670
413.45/414.51 c #Conflicts: 812000 | #Constraints: 21670
413.45/414.51 c #Conflicts: 813000 | #Constraints: 22670
413.45/414.51 c #Conflicts: 814000 | #Constraints: 23670
413.45/414.51 c #Conflicts: 815000 | #Constraints: 24670
413.45/414.51 c #Conflicts: 816000 | #Constraints: 25670
473.20/474.45 c #Conflicts: 817000 | #Constraints: 26670
473.20/474.45 c #Conflicts: 818000 | #Constraints: 27670
473.20/474.45 c #Conflicts: 819000 | #Constraints: 28670
473.20/474.45 c #Conflicts: 820000 | #Constraints: 29670
473.20/474.45 c #Conflicts: 821000 | #Constraints: 30670
473.20/474.45 c #Conflicts: 822000 | #Constraints: 31670
473.20/474.45 c #Conflicts: 823000 | #Constraints: 32670
473.20/474.45 c #Conflicts: 824000 | #Constraints: 33670
473.20/474.45 c #Conflicts: 825000 | #Constraints: 34670
473.20/474.45 c #Conflicts: 826000 | #Constraints: 35670
473.20/474.45 c #Conflicts: 827000 | #Constraints: 36670
473.20/474.45 c #Conflicts: 828000 | #Constraints: 37670
473.20/474.45 c INPROCESSING
473.20/474.45 c GARBAGE COLLECT
473.20/474.45 c #Conflicts: 829000 | #Constraints: 20679
473.20/474.45 c #Conflicts: 830000 | #Constraints: 21679
473.20/474.45 c #Conflicts: 831000 | #Constraints: 22679
473.20/474.45 c #Conflicts: 832000 | #Constraints: 23679
473.20/474.45 c #Conflicts: 833000 | #Constraints: 24679
473.20/474.45 c #Conflicts: 834000 | #Constraints: 25679
473.20/474.45 c #Conflicts: 835000 | #Constraints: 26679
473.20/474.45 c #Conflicts: 836000 | #Constraints: 27679
473.20/474.45 c #Conflicts: 837000 | #Constraints: 28679
473.20/474.45 c #Conflicts: 838000 | #Constraints: 29679
473.20/474.45 c #Conflicts: 839000 | #Constraints: 30679
473.20/474.45 c #Conflicts: 840000 | #Constraints: 31679
473.20/474.45 c #Conflicts: 841000 | #Constraints: 32679
473.20/474.45 c #Conflicts: 842000 | #Constraints: 33679
473.20/474.45 c #Conflicts: 843000 | #Constraints: 34679
473.20/474.45 c #Conflicts: 844000 | #Constraints: 35679
473.20/474.45 c #Conflicts: 845000 | #Constraints: 36679
473.20/474.45 c #Conflicts: 846000 | #Constraints: 37679
473.20/474.45 c INPROCESSING
473.20/474.45 c GARBAGE COLLECT
473.20/474.45 c #Conflicts: 847000 | #Constraints: 20497
473.20/474.45 c #Conflicts: 848000 | #Constraints: 21497
473.20/474.45 c #Conflicts: 849000 | #Constraints: 22497
473.20/474.45 c #Conflicts: 850000 | #Constraints: 23497
473.20/474.45 c #Conflicts: 851000 | #Constraints: 24497
473.20/474.45 c #Conflicts: 852000 | #Constraints: 25497
473.20/474.45 c #Conflicts: 853000 | #Constraints: 26497
473.20/474.45 c #Conflicts: 854000 | #Constraints: 27497
473.20/474.45 c #Conflicts: 855000 | #Constraints: 28497
473.20/474.45 c #Conflicts: 856000 | #Constraints: 29497
473.20/474.45 c #Conflicts: 857000 | #Constraints: 30497
473.20/474.45 c #Conflicts: 858000 | #Constraints: 31497
473.20/474.45 c #Conflicts: 859000 | #Constraints: 32497
473.20/474.45 c #Conflicts: 860000 | #Constraints: 33497
473.20/474.45 c #Conflicts: 861000 | #Constraints: 34497
473.20/474.45 c #Conflicts: 862000 | #Constraints: 35497
473.20/474.45 c #Conflicts: 863000 | #Constraints: 36497
473.20/474.45 c #Conflicts: 864000 | #Constraints: 37497
473.20/474.45 c #Conflicts: 865000 | #Constraints: 38497
473.20/474.45 c INPROCESSING
473.20/474.45 c GARBAGE COLLECT
473.20/474.45 c #Conflicts: 866000 | #Constraints: 21073
473.20/474.45 c #Conflicts: 867000 | #Constraints: 22073
473.20/474.45 c #Conflicts: 868000 | #Constraints: 23073
473.20/474.45 c #Conflicts: 869000 | #Constraints: 24073
473.20/474.45 c #Conflicts: 870000 | #Constraints: 25073
473.20/474.45 c #Conflicts: 871000 | #Constraints: 26073
473.20/474.45 c #Conflicts: 872000 | #Constraints: 27073
473.20/474.45 c #Conflicts: 873000 | #Constraints: 28073
473.20/474.45 c #Conflicts: 874000 | #Constraints: 29073
473.20/474.45 c #Conflicts: 875000 | #Constraints: 30073
473.20/474.45 c #Conflicts: 876000 | #Constraints: 31073
473.20/474.45 c #Conflicts: 877000 | #Constraints: 32073
473.20/474.45 c #Conflicts: 878000 | #Constraints: 33073
473.20/474.45 c #Conflicts: 879000 | #Constraints: 34073
473.20/474.45 c #Conflicts: 880000 | #Constraints: 35073
473.20/474.45 c #Conflicts: 881000 | #Constraints: 36073
473.20/474.45 c #Conflicts: 882000 | #Constraints: 37073
473.20/474.45 c #Conflicts: 883000 | #Constraints: 38073
473.20/474.45 c #Conflicts: 884000 | #Constraints: 39073
473.20/474.45 c INPROCESSING
473.20/474.45 c GARBAGE COLLECT
473.20/474.45 c #Conflicts: 885000 | #Constraints: 21492
473.20/474.45 c #Conflicts: 886000 | #Constraints: 22492
473.20/474.45 c #Conflicts: 887000 | #Constraints: 23492
473.20/474.45 c #Conflicts: 888000 | #Constraints: 24492
473.20/474.45 c #Conflicts: 889000 | #Constraints: 25492
473.20/474.45 c #Conflicts: 890000 | #Constraints: 26492
473.20/474.45 c #Conflicts: 891000 | #Constraints: 27492
473.20/474.45 c #Conflicts: 892000 | #Constraints: 28492
492.25/493.54 c #Conflicts: 893000 | #Constraints: 29492
492.25/493.54 c #Conflicts: 894000 | #Constraints: 30492
492.25/493.54 c #Conflicts: 895000 | #Constraints: 31492
492.25/493.54 c #Conflicts: 896000 | #Constraints: 32492
492.25/493.54 c #Conflicts: 897000 | #Constraints: 33492
492.25/493.54 c #Conflicts: 898000 | #Constraints: 34492
492.25/493.54 c #Conflicts: 899000 | #Constraints: 35492
492.25/493.54 c #Conflicts: 900000 | #Constraints: 36492
492.25/493.54 c #Conflicts: 901000 | #Constraints: 37492
492.25/493.54 c #Conflicts: 902000 | #Constraints: 38492
492.25/493.54 c #Conflicts: 903000 | #Constraints: 39492
492.25/493.54 c INPROCESSING
492.25/493.54 c GARBAGE COLLECT
492.25/493.54 c #Conflicts: 904000 | #Constraints: 21683
492.25/493.54 c #Conflicts: 905000 | #Constraints: 22683
492.25/493.54 c #Conflicts: 906000 | #Constraints: 23683
492.25/493.54 c #Conflicts: 907000 | #Constraints: 24683
492.25/493.54 c #Conflicts: 908000 | #Constraints: 25683
492.25/493.54 c #Conflicts: 909000 | #Constraints: 26683
492.25/493.54 c bounds 47342 >= 8681 @ 484.57
492.25/493.54 c stratification level: 1720
562.86/564.36 c #Conflicts: 910000 | #Constraints: 27684
562.86/564.36 c #Conflicts: 911000 | #Constraints: 28684
562.86/564.36 c #Conflicts: 912000 | #Constraints: 29684
562.86/564.36 c #Conflicts: 913000 | #Constraints: 30684
562.86/564.36 c #Conflicts: 914000 | #Constraints: 31684
562.86/564.36 c #Conflicts: 915000 | #Constraints: 32684
562.86/564.36 c #Conflicts: 916000 | #Constraints: 33684
562.86/564.36 c #Conflicts: 917000 | #Constraints: 34684
562.86/564.36 c #Conflicts: 918000 | #Constraints: 35684
562.86/564.36 c #Conflicts: 919000 | #Constraints: 36684
562.86/564.36 c #Conflicts: 920000 | #Constraints: 37684
562.86/564.36 c #Conflicts: 921000 | #Constraints: 38684
562.86/564.36 c #Conflicts: 922000 | #Constraints: 39684
562.86/564.36 c INPROCESSING
562.86/564.36 c GARBAGE COLLECT
562.86/564.36 c #Conflicts: 923000 | #Constraints: 21683
562.86/564.36 c #Conflicts: 924000 | #Constraints: 22683
562.86/564.36 c #Conflicts: 925000 | #Constraints: 23683
562.86/564.36 c #Conflicts: 926000 | #Constraints: 24683
562.86/564.36 c #Conflicts: 927000 | #Constraints: 25683
562.86/564.36 c #Conflicts: 928000 | #Constraints: 26683
562.86/564.36 c #Conflicts: 929000 | #Constraints: 27683
562.86/564.36 c #Conflicts: 930000 | #Constraints: 28683
562.86/564.36 c #Conflicts: 931000 | #Constraints: 29683
562.86/564.36 c #Conflicts: 932000 | #Constraints: 30683
562.86/564.36 c #Conflicts: 933000 | #Constraints: 31683
562.86/564.36 c #Conflicts: 934000 | #Constraints: 32683
562.86/564.36 c #Conflicts: 935000 | #Constraints: 33683
562.86/564.36 c #Conflicts: 936000 | #Constraints: 34683
562.86/564.36 c #Conflicts: 937000 | #Constraints: 35683
562.86/564.36 c #Conflicts: 938000 | #Constraints: 36683
562.86/564.36 c #Conflicts: 939000 | #Constraints: 37683
562.86/564.36 c #Conflicts: 940000 | #Constraints: 38683
562.86/564.36 c #Conflicts: 941000 | #Constraints: 39683
562.86/564.36 c INPROCESSING
562.86/564.36 c GARBAGE COLLECT
562.86/564.36 c #Conflicts: 942000 | #Constraints: 21480
562.86/564.36 c #Conflicts: 943000 | #Constraints: 22480
562.86/564.36 c #Conflicts: 944000 | #Constraints: 23480
562.86/564.36 c #Conflicts: 945000 | #Constraints: 24480
562.86/564.36 c #Conflicts: 946000 | #Constraints: 25480
562.86/564.36 c #Conflicts: 947000 | #Constraints: 26480
562.86/564.36 c #Conflicts: 948000 | #Constraints: 27480
562.86/564.36 c #Conflicts: 949000 | #Constraints: 28480
562.86/564.36 c #Conflicts: 950000 | #Constraints: 29480
562.86/564.36 c #Conflicts: 951000 | #Constraints: 30480
562.86/564.36 c #Conflicts: 952000 | #Constraints: 31480
562.86/564.36 c #Conflicts: 953000 | #Constraints: 32480
562.86/564.36 c #Conflicts: 954000 | #Constraints: 33480
562.86/564.36 c #Conflicts: 955000 | #Constraints: 34480
562.86/564.36 c #Conflicts: 956000 | #Constraints: 35480
562.86/564.36 c #Conflicts: 957000 | #Constraints: 36480
562.86/564.36 c #Conflicts: 958000 | #Constraints: 37480
562.86/564.36 c bounds 47342 >= 10401 @ 532.344
562.86/564.36 c #Conflicts: 959000 | #Constraints: 38481
562.86/564.36 c #Conflicts: 960000 | #Constraints: 39481
562.86/564.36 c #Conflicts: 961000 | #Constraints: 40481
562.86/564.36 c INPROCESSING
562.86/564.36 c GARBAGE COLLECT
562.86/564.36 c #Conflicts: 962000 | #Constraints: 22087
562.86/564.36 c #Conflicts: 963000 | #Constraints: 23087
562.86/564.36 c #Conflicts: 964000 | #Constraints: 24087
562.86/564.36 c #Conflicts: 965000 | #Constraints: 25087
562.86/564.36 c #Conflicts: 966000 | #Constraints: 26087
562.86/564.36 c #Conflicts: 967000 | #Constraints: 27087
562.86/564.36 c #Conflicts: 968000 | #Constraints: 28087
562.86/564.36 c #Conflicts: 969000 | #Constraints: 29087
562.86/564.36 c #Conflicts: 970000 | #Constraints: 30087
562.86/564.36 c #Conflicts: 971000 | #Constraints: 31087
562.86/564.36 c #Conflicts: 972000 | #Constraints: 32087
562.86/564.36 c #Conflicts: 973000 | #Constraints: 33087
562.86/564.36 c #Conflicts: 974000 | #Constraints: 34087
562.86/564.36 c #Conflicts: 975000 | #Constraints: 35087
562.86/564.36 c #Conflicts: 976000 | #Constraints: 36087
562.86/564.36 c #Conflicts: 977000 | #Constraints: 37087
562.86/564.36 c #Conflicts: 978000 | #Constraints: 38087
562.86/564.36 c #Conflicts: 979000 | #Constraints: 39087
562.86/564.36 c #Conflicts: 980000 | #Constraints: 40087
562.86/564.36 c #Conflicts: 981000 | #Constraints: 41087
562.86/564.36 c INPROCESSING
562.86/564.36 c GARBAGE COLLECT
562.86/564.36 c #Conflicts: 982000 | #Constraints: 22491
562.86/564.36 c #Conflicts: 983000 | #Constraints: 23491
562.86/564.36 c #Conflicts: 984000 | #Constraints: 24491
562.86/564.36 c #Conflicts: 985000 | #Constraints: 25491
624.61/626.26 c #Conflicts: 986000 | #Constraints: 26491
624.61/626.26 c #Conflicts: 987000 | #Constraints: 27491
624.61/626.26 c #Conflicts: 988000 | #Constraints: 28491
624.61/626.26 c #Conflicts: 989000 | #Constraints: 29491
624.61/626.26 c #Conflicts: 990000 | #Constraints: 30491
624.61/626.26 c #Conflicts: 991000 | #Constraints: 31491
624.61/626.26 c #Conflicts: 992000 | #Constraints: 32491
624.61/626.26 c #Conflicts: 993000 | #Constraints: 33491
624.61/626.26 c #Conflicts: 994000 | #Constraints: 34491
624.61/626.26 c #Conflicts: 995000 | #Constraints: 35491
624.61/626.26 c #Conflicts: 996000 | #Constraints: 36491
624.61/626.26 c #Conflicts: 997000 | #Constraints: 37491
624.61/626.26 c #Conflicts: 998000 | #Constraints: 38491
624.61/626.26 c #Conflicts: 999000 | #Constraints: 39491
624.61/626.26 c #Conflicts: 1000000 | #Constraints: 40491
624.61/626.26 c #Conflicts: 1001000 | #Constraints: 41491
624.61/626.26 c INPROCESSING
624.61/626.26 c GARBAGE COLLECT
624.61/626.26 c #Conflicts: 1002000 | #Constraints: 22660
624.61/626.26 c #Conflicts: 1003000 | #Constraints: 23660
624.61/626.26 c #Conflicts: 1004000 | #Constraints: 24660
624.61/626.26 c #Conflicts: 1005000 | #Constraints: 25660
624.61/626.26 c #Conflicts: 1006000 | #Constraints: 26660
624.61/626.26 c #Conflicts: 1007000 | #Constraints: 27660
624.61/626.26 c #Conflicts: 1008000 | #Constraints: 28660
624.61/626.26 c #Conflicts: 1009000 | #Constraints: 29660
624.61/626.26 c #Conflicts: 1010000 | #Constraints: 30660
624.61/626.26 c #Conflicts: 1011000 | #Constraints: 31660
624.61/626.26 c #Conflicts: 1012000 | #Constraints: 32660
624.61/626.26 c #Conflicts: 1013000 | #Constraints: 33660
624.61/626.26 c #Conflicts: 1014000 | #Constraints: 34660
624.61/626.26 c #Conflicts: 1015000 | #Constraints: 35660
624.61/626.26 c #Conflicts: 1016000 | #Constraints: 36660
624.61/626.26 c #Conflicts: 1017000 | #Constraints: 37660
624.61/626.26 c #Conflicts: 1018000 | #Constraints: 38660
624.61/626.26 c #Conflicts: 1019000 | #Constraints: 39660
624.61/626.26 c #Conflicts: 1020000 | #Constraints: 40660
624.61/626.26 c #Conflicts: 1021000 | #Constraints: 41660
624.61/626.26 c INPROCESSING
624.61/626.26 c GARBAGE COLLECT
624.61/626.26 c #Conflicts: 1022000 | #Constraints: 22680
624.61/626.26 c #Conflicts: 1023000 | #Constraints: 23680
624.61/626.26 c #Conflicts: 1024000 | #Constraints: 24680
624.61/626.26 c #Conflicts: 1025000 | #Constraints: 25680
624.61/626.26 c #Conflicts: 1026000 | #Constraints: 26680
624.61/626.26 c #Conflicts: 1027000 | #Constraints: 27680
624.61/626.26 c #Conflicts: 1028000 | #Constraints: 28680
624.61/626.26 c #Conflicts: 1029000 | #Constraints: 29680
624.61/626.26 c #Conflicts: 1030000 | #Constraints: 30680
624.61/626.26 c #Conflicts: 1031000 | #Constraints: 31680
624.61/626.26 c #Conflicts: 1032000 | #Constraints: 32680
624.61/626.26 c #Conflicts: 1033000 | #Constraints: 33680
624.61/626.26 c #Conflicts: 1034000 | #Constraints: 34680
624.61/626.26 c #Conflicts: 1035000 | #Constraints: 35680
624.61/626.26 c #Conflicts: 1036000 | #Constraints: 36680
624.61/626.26 c #Conflicts: 1037000 | #Constraints: 37680
624.61/626.26 c #Conflicts: 1038000 | #Constraints: 38680
624.61/626.26 c #Conflicts: 1039000 | #Constraints: 39680
624.61/626.26 c #Conflicts: 1040000 | #Constraints: 40680
624.61/626.26 c #Conflicts: 1041000 | #Constraints: 41680
624.61/626.26 c INPROCESSING
624.61/626.26 c GARBAGE COLLECT
624.61/626.26 c #Conflicts: 1042000 | #Constraints: 22512
624.61/626.26 c #Conflicts: 1043000 | #Constraints: 23512
624.61/626.26 c #Conflicts: 1044000 | #Constraints: 24512
624.61/626.26 c #Conflicts: 1045000 | #Constraints: 25512
624.61/626.26 c #Conflicts: 1046000 | #Constraints: 26512
624.61/626.26 c #Conflicts: 1047000 | #Constraints: 27512
624.61/626.26 c #Conflicts: 1048000 | #Constraints: 28512
624.61/626.26 c #Conflicts: 1049000 | #Constraints: 29512
624.61/626.26 c #Conflicts: 1050000 | #Constraints: 30512
624.61/626.26 c #Conflicts: 1051000 | #Constraints: 31512
624.61/626.26 c #Conflicts: 1052000 | #Constraints: 32512
624.61/626.26 c #Conflicts: 1053000 | #Constraints: 33512
624.61/626.26 c #Conflicts: 1054000 | #Constraints: 34512
624.61/626.26 c #Conflicts: 1055000 | #Constraints: 35512
624.61/626.26 c #Conflicts: 1056000 | #Constraints: 36512
624.61/626.26 c #Conflicts: 1057000 | #Constraints: 37512
624.61/626.26 c #Conflicts: 1058000 | #Constraints: 38512
624.61/626.26 c #Conflicts: 1059000 | #Constraints: 39512
624.61/626.26 c #Conflicts: 1060000 | #Constraints: 40512
624.61/626.26 c #Conflicts: 1061000 | #Constraints: 41512
624.61/626.26 c #Conflicts: 1062000 | #Constraints: 42512
648.64/650.39 c INPROCESSING
648.64/650.39 c GARBAGE COLLECT
648.64/650.39 c #Conflicts: 1063000 | #Constraints: 23119
648.64/650.39 c #Conflicts: 1064000 | #Constraints: 24119
648.64/650.39 c #Conflicts: 1065000 | #Constraints: 25119
648.64/650.39 c #Conflicts: 1066000 | #Constraints: 26119
648.64/650.39 c #Conflicts: 1067000 | #Constraints: 27119
648.64/650.39 c #Conflicts: 1068000 | #Constraints: 28119
648.64/650.39 c #Conflicts: 1069000 | #Constraints: 29119
648.64/650.39 c #Conflicts: 1070000 | #Constraints: 30119
648.64/650.39 c #Conflicts: 1071000 | #Constraints: 31119
648.64/650.39 c #Conflicts: 1072000 | #Constraints: 32119
648.64/650.39 c #Conflicts: 1073000 | #Constraints: 33119
648.64/650.39 c #Conflicts: 1074000 | #Constraints: 34119
648.64/650.39 c #Conflicts: 1075000 | #Constraints: 35119
648.64/650.39 c #Conflicts: 1076000 | #Constraints: 36119
648.64/650.39 c #Conflicts: 1077000 | #Constraints: 37119
648.64/650.39 c #Conflicts: 1078000 | #Constraints: 38119
648.64/650.39 c #Conflicts: 1079000 | #Constraints: 39119
648.64/650.39 c bounds 47342 >= 12124 @ 632.445
648.64/650.39 c #Conflicts: 1080000 | #Constraints: 40120
648.64/650.39 c #Conflicts: 1081000 | #Constraints: 41120
648.64/650.39 c #Conflicts: 1082000 | #Constraints: 42120
648.64/650.39 c #Conflicts: 1083000 | #Constraints: 43120
648.64/650.39 c INPROCESSING
648.64/650.39 c GARBAGE COLLECT
648.64/650.39 c #Conflicts: 1084000 | #Constraints: 23557
648.64/650.39 c #Conflicts: 1085000 | #Constraints: 24557
648.64/650.39 c #Conflicts: 1086000 | #Constraints: 25557
648.64/650.39 c #Conflicts: 1087000 | #Constraints: 26557
648.64/650.39 d SOLVEDBY oll
648.64/650.39 c cpu time 639.469 s
648.64/650.39 c deterministic time 82300285915 8.23e+10
648.64/650.39 c optimization time 0.416279 s
648.64/650.39 c total solve time 639.048 s
648.64/650.39 c core-guided solve time 639.048 s
648.64/650.39 c propagation time 408.249 s
648.64/650.39 c conflict analysis time 207.072 s
648.64/650.39 c propagations 227902476
648.64/650.39 c resolve steps 11763075
648.64/650.39 c decisions 7554040
648.64/650.39 c conflicts 1087340
648.64/650.39 c restarts 2046
648.64/650.39 c inprocessing phases 95
648.64/650.39 c input clauses 1774
648.64/650.39 c input cardinalities 1
648.64/650.39 c input general constraints 72
648.64/650.39 c input average constraint length 27.78
648.64/650.39 c input average constraint degree 36840.66
648.64/650.39 c learned clauses 637897
648.64/650.39 c learned cardinalities 1142
648.64/650.39 c learned general constraints 448300
648.64/650.39 c learned average constraint length 252.62
648.64/650.39 c learned average constraint degree 3917966.65
648.64/650.39 c watched constraints 109091
648.64/650.39 c counting constraints 339281
648.64/650.39 c gcd simplifications 89719
648.64/650.39 c detected cardinalities 309
648.64/650.39 c weakened non-implied lits 227930474
648.64/650.39 c weakened non-implying lits 42924
648.64/650.39 c original variables 1152
648.64/650.39 c clausal propagations 79532179
648.64/650.39 c cardinality propagations 320483
648.64/650.39 c watched propagations 2020475
648.64/650.39 c counting propagations 143610033
648.64/650.39 c watch lookups 19416777196
648.64/650.39 c watch backjump lookups 18911239659
648.64/650.39 c watch checks 25677344118
648.64/650.39 c propagation checks 16595308995
648.64/650.39 c constraint additions 1227616307
648.64/650.39 c trail pops 236543123
648.64/650.39 c formula constraints 1774
648.64/650.39 c learned constraints 1087339
648.64/650.39 c bound constraints 71
648.64/650.39 c core-guided constraints 2
648.64/650.39 c encountered formula constraints 8996304
648.64/650.39 c encountered learned constraints 3848020
648.64/650.39 c encountered bound constraints 3193
648.64/650.39 c encountered core-guided constraints 2898
648.64/650.39 c LP total time 0 s
648.64/650.39 c LP solve time 0 s
648.64/650.39 c LP constraints added 0
648.64/650.39 c LP constraints removed 0
648.64/650.39 c LP pivots internal 0
648.64/650.39 c LP pivots root 0
648.64/650.39 c LP calls 0
648.64/650.39 c LP optimalities 0
648.64/650.39 c LP no pivot count 0
648.64/650.39 c LP infeasibilities 0
648.64/650.39 c LP valid Farkas constraints 0
648.64/650.39 c LP learned Farkas constraints 0
648.64/650.39 c LP basis resets 0
648.64/650.39 c LP cycling count 0
648.64/650.39 c LP singular count 0
648.64/650.39 c LP no primal count 0
648.64/650.39 c LP no farkas count 0
648.64/650.39 c LP other issue count 0
648.64/650.39 c LP Gomory cuts 0
648.64/650.39 c LP learned cuts 0
648.64/650.39 c LP deleted cuts 0
648.64/650.39 c LP encountered Gomory constraints 0
648.64/650.39 c LP encountered Farkas constraints 0
648.64/650.39 c LP encountered learned Farkas constraints 0
648.64/650.39 c CG auxiliary variables introduced 1
648.64/650.39 c CG solutions found 67
648.64/650.39 c CG cores constructed 3
648.64/650.39 c CG core cardinality constraints returned 0
648.64/650.39 c CG unit cores 0
648.64/650.39 c CG single cores 3
648.64/650.39 c CG blocks removed during cardinality reduction 0
648.64/650.39 c CG first core best 0
648.64/650.39 c CG decision core best 0
648.64/650.39 c CG core reduction tie 0
648.64/650.39 c CG core degree average 1.00
648.64/650.39 c CG core slack average 49.00
648.64/650.39 c CG exhausted 0
648.64/650.39 c CG exhaust time 0.393188 s
648.64/650.39 c CG trimmed 0
648.64/650.39 c CG trim time 0.010285 s
648.64/650.39 c CG minimized 0
648.64/650.39 c CG minimize time 0 s
648.64/650.39 c CG am1 prop time 0.001072 s
648.64/650.39 c CG # am1s reformulated 0
648.64/650.39 c CG lower bound derived from am1s 0
648.64/650.39 c CG # clausal cores 3
648.64/650.39 c CG # cardinality cores 0
648.64/650.39 c CG # pb cores 0
648.64/650.39 c CG # pb reforms 0
648.64/650.39 c CG # cores discarded because of pb reform 0
648.64/650.39 d LOWERBOUND 12124
648.64/650.39 d NCORES 3
648.64/650.39 d NPBCORES 0
648.64/650.39 d NPBREFORM 0
648.64/650.39 d NTRIMMED 0
648.64/650.39 d NEXHAUSTED 0
648.64/650.39 d NAM1S 0
648.64/650.39 d AM1LB 0
648.64/650.39 o 47342
648.64/650.39 s OPTIMUM FOUND
648.64/650.39 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: 64096 MiB (63218 MiB free)
memory of node 1: 64473 MiB (61233 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435968-1721108221/watcher-4435968-1721108221 -o /tmp/evaluation-result-4435968-1721108221/solver-4435968-1721108221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721104478-836654 --watchdog 3760 pb-oll-rs HOME/instance-4435968-1721108221.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=838987, runsolver pid=838984
[startup+0.100103 s]*
/proc/loadavg: 4.12 4.13 4.19 5/241 838988
/proc/meminfo: memFree=127432024/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=42048 memory=11684 CPUtime=0.11 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 1224 0 0 0 10 1 0 0 20 0 1 0 162980918 43057152 2921 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 10512 2921 1358 291 0 2046 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 42048 KiB
Current children cumulated memory: 11684 KiB
[startup+0.212716 s]*
/proc/loadavg: 4.12 4.13 4.19 5/241 838988
/proc/meminfo: memFree=127428160/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=44764 memory=15640 CPUtime=0.22 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 2235 0 0 0 20 2 0 0 20 0 1 0 162980918 45838336 3910 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 11191 3910 1358 291 0 2725 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 44764 KiB
Current children cumulated memory: 15640 KiB
[startup+0.312463 s]*
/proc/loadavg: 4.12 4.13 4.19 5/241 838988
/proc/meminfo: memFree=127424696/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=50932 memory=19568 CPUtime=0.31 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 3234 0 0 0 29 2 0 0 20 0 1 0 162980918 52154368 4892 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 12733 4892 1358 291 0 4267 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50932 KiB
Current children cumulated memory: 19568 KiB
[startup+0.700325 s]
/proc/loadavg: 4.12 4.13 4.19 5/241 838988
/proc/meminfo: memFree=127419212/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=56764 memory=24456 CPUtime=0.69 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 4398 0 0 0 65 4 0 0 20 0 1 0 162980918 58126336 6114 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 14191 6114 1419 291 0 5725 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 56764 KiB
Current children cumulated memory: 24456 KiB
[startup+1.50032 s]
/proc/loadavg: 4.12 4.13 4.19 5/241 838988
/proc/meminfo: memFree=127412900/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=60380 memory=27488 CPUtime=1.48 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 5103 0 0 0 141 7 0 0 20 0 1 0 162980918 61829120 6872 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 15095 6872 1419 291 0 6629 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60380 KiB
Current children cumulated memory: 27488 KiB
[startup+3.11224 s]
/proc/loadavg: 4.11 4.13 4.18 5/241 838988
/proc/meminfo: memFree=127411980/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=60380 memory=27488 CPUtime=3.09 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 5123 0 0 0 296 13 0 0 20 0 1 0 162980918 61829120 6872 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 15095 6872 1419 291 0 6629 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60380 KiB
Current children cumulated memory: 27488 KiB
[startup+6.30031 s]
/proc/loadavg: 4.11 4.13 4.18 5/241 838988
/proc/meminfo: memFree=127407356/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=62964 memory=32328 CPUtime=6.27 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 5817 0 0 0 603 24 0 0 20 0 1 0 162980918 64475136 8082 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 15741 8082 1419 291 0 7275 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 62964 KiB
Current children cumulated memory: 32328 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.14 4.19 5/241 838989
/proc/meminfo: memFree=127400220/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=73188 memory=37248 CPUtime=12.65 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 7120 0 0 0 1219 46 0 0 20 0 1 0 162980918 74944512 9312 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 18297 9312 1419 291 0 9831 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 73188 KiB
Current children cumulated memory: 37248 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.13 4.18 5/241 838991
/proc/meminfo: memFree=127387912/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=81476 memory=48212 CPUtime=25.43 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 8956 0 0 0 2466 77 0 0 20 0 1 0 162980918 83431424 12053 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 20369 12053 1419 291 0 11903 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 81476 KiB
Current children cumulated memory: 48212 KiB
[startup+51.1125 s]
/proc/loadavg: 4.17 4.14 4.18 5/241 838995
/proc/meminfo: memFree=127364384/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=99524 memory=59556 CPUtime=50.97 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 10772 0 0 0 4968 129 0 0 20 0 1 0 162980918 101912576 14889 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 24881 14889 1419 291 0 16415 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 99524 KiB
Current children cumulated memory: 59556 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.18 5/241 839004
/proc/meminfo: memFree=127200792/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=100636 memory=63156 CPUtime=102.04 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 11475 0 0 0 9977 227 0 0 20 0 1 0 162980918 103051264 15789 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 25159 15789 1419 291 0 16693 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 100636 KiB
Current children cumulated memory: 63156 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.17 5/241 839015
/proc/meminfo: memFree=127050704/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=101620 memory=64184 CPUtime=161.89 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 12148 0 0 0 15853 336 0 0 20 0 1 0 162980918 104058880 16046 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 25405 16046 1419 291 0 16939 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 101620 KiB
Current children cumulated memory: 64184 KiB
[startup+222.3 s]
/proc/loadavg: 4.59 4.24 4.21 5/244 839030
/proc/meminfo: memFree=126882428/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=132008 memory=85072 CPUtime=221.73 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 15560 0 0 0 21739 434 0 0 20 0 1 0 162980918 135176192 21268 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 33002 21268 1419 291 0 24536 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 132008 KiB
Current children cumulated memory: 85072 KiB
[startup+282.3 s]
/proc/loadavg: 4.49 4.30 4.23 5/244 839040
/proc/meminfo: memFree=126820144/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=134200 memory=87024 CPUtime=281.58 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 16236 0 0 0 27639 519 0 0 20 0 1 0 162980918 137420800 21756 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 33550 21756 1419 291 0 25084 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 134200 KiB
Current children cumulated memory: 87024 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.25 4.22 5/244 839051
/proc/meminfo: memFree=126792712/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=141696 memory=98340 CPUtime=341.43 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 17708 0 0 0 33551 592 0 0 20 0 1 0 162980918 145096704 24585 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 35424 24585 1419 291 0 26958 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 141696 KiB
Current children cumulated memory: 98340 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 4.25 4.22 5/244 839061
/proc/meminfo: memFree=126683972/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=151352 memory=107676 CPUtime=401.29 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 19709 0 0 0 39459 670 0 0 20 0 1 0 162980918 154984448 26919 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 37838 26919 1419 291 0 29372 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 151352 KiB
Current children cumulated memory: 107676 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.23 4.22 5/244 839072
/proc/meminfo: memFree=126636224/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=155448 memory=113340 CPUtime=461.13 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 20792 0 0 0 45371 742 0 0 20 0 1 0 162980918 159178752 28335 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 38862 28335 1419 291 0 30396 0
Current children cumulated CPU time: 461.13 s
Current children cumulated vsize: 155448 KiB
Current children cumulated memory: 113340 KiB
[startup+522.3 s]
/proc/loadavg: 4.18 4.22 4.21 5/245 839084
/proc/meminfo: memFree=126607864/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=157688 memory=118652 CPUtime=520.98 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 21789 0 0 0 51295 803 0 0 20 0 1 0 162980918 161472512 29663 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 39422 29663 1419 291 0 30956 0
Current children cumulated CPU time: 520.98 s
Current children cumulated vsize: 157688 KiB
Current children cumulated memory: 118652 KiB
[startup+582.3 s]
/proc/loadavg: 4.12 4.19 4.20 5/242 839094
/proc/meminfo: memFree=126570088/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=157500 memory=118728 CPUtime=580.82 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 22315 0 0 0 57216 866 0 0 20 0 1 0 162980918 161280000 29682 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 39375 29682 1419 291 0 30909 0
Current children cumulated CPU time: 580.82 s
Current children cumulated vsize: 157500 KiB
Current children cumulated memory: 118728 KiB
[startup+642.3 s]
/proc/loadavg: 4.12 4.17 4.19 5/242 839104
/proc/meminfo: memFree=126521160/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=157948 memory=119132 CPUtime=640.67 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 22840 0 0 0 63146 921 0 0 20 0 1 0 162980918 161738752 29783 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 39487 29783 1419 291 0 31021 0
Current children cumulated CPU time: 640.67 s
Current children cumulated vsize: 157948 KiB
Current children cumulated memory: 119132 KiB
[startup+650.399 s]
# the end of solver process 838987 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=639.472 s, system=9.28064 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+646.4 s]
/proc/loadavg: 4.12 4.17 4.19 5/242 839104
/proc/meminfo: memFree=126520932/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=157948 memory=119132 CPUtime=644.76 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 22840 0 0 0 63553 923 0 0 20 0 1 0 162980918 161738752 29783 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 39487 29783 1419 291 0 31021 0
Current children cumulated CPU time: 644.76 s
Current children cumulated vsize: 157948 KiB
Current children cumulated memory: 119132 KiB
[startup+648 s]*
/proc/loadavg: 4.11 4.17 4.18 5/242 839105
/proc/meminfo: memFree=126519608/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=158140 memory=119132 CPUtime=646.36 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 22870 0 0 0 63712 924 0 0 20 0 1 0 162980918 161935360 29783 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 39535 29783 1419 291 0 31069 0
Current children cumulated CPU time: 646.36 s
Current children cumulated vsize: 158140 KiB
Current children cumulated memory: 119132 KiB
[startup+649.6 s]
/proc/loadavg: 4.11 4.17 4.18 5/242 839105
/proc/meminfo: memFree=126516908/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=158204 memory=119352 CPUtime=647.94 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 23046 0 0 0 63868 926 0 0 20 0 1 0 162980918 162000896 29838 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 39551 29838 1419 291 0 31085 0
Current children cumulated CPU time: 647.94 s
Current children cumulated vsize: 158204 KiB
Current children cumulated memory: 119352 KiB
[startup+650 s]*
/proc/loadavg: 4.11 4.17 4.18 5/242 839105
/proc/meminfo: memFree=126515696/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=158204 memory=119352 CPUtime=648.36 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 23046 0 0 0 63909 927 0 0 20 0 1 0 162980918 162000896 29838 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 39551 29838 1419 291 0 31085 0
Current children cumulated CPU time: 648.36 s
Current children cumulated vsize: 158204 KiB
Current children cumulated memory: 119352 KiB
[startup+650.2 s]
/proc/loadavg: 4.11 4.17 4.18 5/242 839105
/proc/meminfo: memFree=126515696/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=158204 memory=119352 CPUtime=648.54 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 23046 0 0 0 63927 927 0 0 20 0 1 0 162980918 162000896 29838 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 39551 29838 1419 291 0 31085 0
Current children cumulated CPU time: 648.54 s
Current children cumulated vsize: 158204 KiB
Current children cumulated memory: 119352 KiB
[startup+650.3 s]
/proc/loadavg: 4.11 4.17 4.18 5/242 839105
/proc/meminfo: memFree=126515696/131655788 swapFree=131071996/131071996
[pid=838987] ppid=838984 vsize=158204 memory=119352 CPUtime=648.64 cores=1,3
/proc/838987/stat : 838987 (pb-oll-rs) R 838984 838987 836642 0 -1 4194304 23046 0 0 0 63937 927 0 0 20 0 1 0 162980918 162000896 29838 134679101440 4194304 5384005 140724528326176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14835712 140724528329751 140724528329828 140724528329828 140724528336843 0
/proc/838987/statm: 39551 29838 1419 291 0 31085 0
Current children cumulated CPU time: 648.64 s
Current children cumulated vsize: 158204 KiB
Current children cumulated memory: 119352 KiB
Child status: 0
Real time (s): 650.399
CPU time (s): 648.753
CPU user time (s): 639.472
CPU system time (s): 9.28064
CPU usage (%): 99.7469
Max. virtual memory (cumulated for all children) (KiB): 158688
Max. memory (cumulated for all children) (KiB): 119452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 639.472
system time used= 9.28064
maximum resident set size= 119880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23056
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= 6
involuntary context switches= 469
# summary of solver processes directly reported to runsolver:
# pid: 838987
# total CPU time (s): 648.753
# total CPU user time (s): 639.472
# total CPU system time (s): 9.28064
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.04259 second user time and 6.20898 second system time
The end
Begin job on nodeC005 at 2024-07-16 07:37:13
IDJOB=4435968
IDBENCH=148153
IDSOLVER=3067
FILE ID=nodeC005/4435968-1721108221
RUNJOBID= nodeC005-1721104478-836654
SLURM_JOB_ID= 7505626
Free space on /tmp= 723776 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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 --file-size-limit 102400 -w /tmp/evaluation-result-4435968-1721108221/watcher-4435968-1721108221 -o /tmp/evaluation-result-4435968-1721108221/solver-4435968-1721108221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721104478-836654 --watchdog 3760 pb-oll-rs HOME/instance-4435968-1721108221.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cc2b167b604094044d9d141ee486a126
RANDOM SEED=2010941007
nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3669.435
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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 : 3491.779
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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.325
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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.182
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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 : 3664.402
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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 : 3506.522
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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.339
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.320
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127439376 kB
MemAvailable: 128923124 kB
Buffers: 383532 kB
Cached: 1926108 kB
SwapCached: 0 kB
Active: 694452 kB
Inactive: 2955412 kB
Active(anon): 3456 kB
Inactive(anon): 1374184 kB
Active(file): 690996 kB
Inactive(file): 1581228 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 1804 kB
Writeback: 8 kB
AnonPages: 1339316 kB
Mapped: 109172 kB
Shmem: 37704 kB
KReclaimable: 103444 kB
Slab: 204808 kB
SReclaimable: 103444 kB
SUnreclaim: 101364 kB
KernelStack: 3920 kB
PageTables: 11744 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1853964 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52928 kB
HardwareCorrupted: 0 kB
AnonHugePages: 413696 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203592 kB
DirectMap2M: 11235328 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 723772 MiB
End job on nodeC005 at 2024-07-16 07:48:04