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.00336
0.00/0.00 c stratification level: 2069
0.00/0.00 c bounds 50400 >= 6935 @ 0.0036
0.00/0.00 c stratification level: 2066
0.00/0.01 c bounds 50385 >= 6935 @ 0.005105
0.00/0.01 c stratification level: 2040
0.00/0.01 c bounds 50203 >= 6935 @ 0.005452
0.00/0.01 c stratification level: 2031
0.00/0.01 c bounds 50189 >= 6935 @ 0.006943
0.00/0.01 c stratification level: 2029
0.00/0.01 c bounds 50035 >= 6935 @ 0.007463
0.00/0.01 c stratification level: 2002
0.00/0.01 c bounds 49899 >= 6935 @ 0.011197
0.00/0.01 c stratification level: 1973
0.00/0.01 c bounds 49687 >= 6935 @ 0.011368
0.00/0.01 c stratification level: 1965
7.67/7.72 c #Conflicts: 1000 | #Constraints: 2780
7.67/7.72 c #Conflicts: 2000 | #Constraints: 3780
7.67/7.72 c INPROCESSING
7.67/7.72 c GARBAGE COLLECT
7.67/7.72 c #Conflicts: 3000 | #Constraints: 3774
7.67/7.72 c #Conflicts: 4000 | #Constraints: 4774
7.67/7.72 c INPROCESSING
7.67/7.72 c GARBAGE COLLECT
7.67/7.72 c #Conflicts: 5000 | #Constraints: 4189
7.67/7.72 c #Conflicts: 6000 | #Constraints: 5189
7.67/7.72 c INPROCESSING
7.67/7.72 c GARBAGE COLLECT
7.67/7.72 c #Conflicts: 7000 | #Constraints: 4192
7.67/7.72 c #Conflicts: 8000 | #Constraints: 5192
7.67/7.72 c #Conflicts: 9000 | #Constraints: 6192
7.67/7.72 c INPROCESSING
7.67/7.72 c GARBAGE COLLECT
7.67/7.72 c #Conflicts: 10000 | #Constraints: 4897
7.67/7.72 c #Conflicts: 11000 | #Constraints: 5897
7.67/7.72 c #Conflicts: 12000 | #Constraints: 6897
7.67/7.72 c INPROCESSING
7.67/7.72 c GARBAGE COLLECT
7.67/7.72 c #Conflicts: 13000 | #Constraints: 5350
7.67/7.72 c #Conflicts: 14000 | #Constraints: 6350
7.67/7.72 c #Conflicts: 15000 | #Constraints: 7350
7.67/7.72 c INPROCESSING
7.67/7.72 c GARBAGE COLLECT
7.67/7.72 c #Conflicts: 16000 | #Constraints: 5579
7.67/7.72 c #Conflicts: 17000 | #Constraints: 6579
7.67/7.72 c #Conflicts: 18000 | #Constraints: 7579
7.67/7.72 c INPROCESSING
7.67/7.72 c GARBAGE COLLECT
7.67/7.72 c #Conflicts: 19000 | #Constraints: 5606
7.67/7.72 c #Conflicts: 20000 | #Constraints: 6606
7.67/7.72 c #Conflicts: 21000 | #Constraints: 7606
7.67/7.72 c INPROCESSING
7.67/7.72 c GARBAGE COLLECT
7.67/7.72 c #Conflicts: 22000 | #Constraints: 5408
7.67/7.72 c #Conflicts: 23000 | #Constraints: 6408
7.67/7.72 c #Conflicts: 24000 | #Constraints: 7408
7.67/7.72 c #Conflicts: 25000 | #Constraints: 8408
7.67/7.72 c INPROCESSING
7.67/7.72 c GARBAGE COLLECT
7.67/7.72 c #Conflicts: 26000 | #Constraints: 6014
7.67/7.72 c #Conflicts: 27000 | #Constraints: 7014
7.67/7.72 c #Conflicts: 28000 | #Constraints: 8014
7.67/7.72 c #Conflicts: 29000 | #Constraints: 9014
7.67/7.72 c INPROCESSING
7.67/7.72 c GARBAGE COLLECT
7.67/7.72 c #Conflicts: 30000 | #Constraints: 6416
7.67/7.72 c #Conflicts: 31000 | #Constraints: 7416
7.67/7.72 c #Conflicts: 32000 | #Constraints: 8416
7.67/7.72 c #Conflicts: 33000 | #Constraints: 9416
7.67/7.72 c INPROCESSING
7.67/7.72 c GARBAGE COLLECT
7.67/7.72 c bounds 49623 >= 6935 @ 7.39457
7.67/7.72 c stratification level: 1953
7.67/7.73 c bounds 49611 >= 6935 @ 7.39621
7.67/7.73 c stratification level: 1944
7.67/7.75 c #Conflicts: 34000 | #Constraints: 6617
7.67/7.75 c bounds 49577 >= 6935 @ 7.42048
7.67/7.75 c stratification level: 1941
7.67/7.75 c bounds 49565 >= 6935 @ 7.42128
7.67/7.75 c stratification level: 1921
8.87/8.98 c #Conflicts: 35000 | #Constraints: 7619
8.87/8.98 c #Conflicts: 36000 | #Constraints: 8619
8.87/8.98 c #Conflicts: 37000 | #Constraints: 9619
8.87/8.98 c INPROCESSING
8.87/8.98 c GARBAGE COLLECT
8.87/8.98 c #Conflicts: 38000 | #Constraints: 6611
8.87/8.98 c #Conflicts: 39000 | #Constraints: 7611
8.87/8.98 c #Conflicts: 40000 | #Constraints: 8611
8.87/8.98 c bounds 49525 >= 6935 @ 8.60946
8.87/8.98 c stratification level: 1915
9.08/9.13 c #Conflicts: 41000 | #Constraints: 9612
9.08/9.13 c bounds 49493 >= 6935 @ 8.76033
9.08/9.13 c stratification level: 1910
9.08/9.13 c bounds 49481 >= 6935 @ 8.76207
9.08/9.13 c stratification level: 1903
9.08/9.17 c bounds 49450 >= 6935 @ 8.79213
9.08/9.17 c stratification level: 1892
9.08/9.17 c bounds 49438 >= 6935 @ 8.79502
9.08/9.17 c stratification level: 1889
9.08/9.18 c bounds 49386 >= 6935 @ 8.80569
9.08/9.18 c stratification level: 1886
9.08/9.18 c bounds 49374 >= 6935 @ 8.80847
9.08/9.18 c stratification level: 1880
9.08/9.18 c bounds 49316 >= 6935 @ 8.81077
9.08/9.18 c stratification level: 1874
9.17/9.21 c bounds 49264 >= 6935 @ 8.83507
9.17/9.21 c stratification level: 1872
9.17/9.21 c bounds 49252 >= 6935 @ 8.83799
9.17/9.21 c stratification level: 1871
15.15/15.20 c INPROCESSING
15.15/15.20 c GARBAGE COLLECT
15.15/15.20 c #Conflicts: 42000 | #Constraints: 6402
15.15/15.20 c #Conflicts: 43000 | #Constraints: 7402
15.15/15.20 c #Conflicts: 44000 | #Constraints: 8402
15.15/15.20 c #Conflicts: 45000 | #Constraints: 9402
15.15/15.20 c #Conflicts: 46000 | #Constraints: 10402
15.15/15.20 c INPROCESSING
15.15/15.20 c GARBAGE COLLECT
15.15/15.20 c #Conflicts: 47000 | #Constraints: 7000
15.15/15.20 c #Conflicts: 48000 | #Constraints: 8000
15.15/15.20 c #Conflicts: 49000 | #Constraints: 9000
15.15/15.20 c #Conflicts: 50000 | #Constraints: 10000
15.15/15.20 c #Conflicts: 51000 | #Constraints: 11000
15.15/15.20 c INPROCESSING
15.15/15.20 c GARBAGE COLLECT
15.15/15.20 c #Conflicts: 52000 | #Constraints: 7409
15.15/15.20 c #Conflicts: 53000 | #Constraints: 8409
15.15/15.20 c #Conflicts: 54000 | #Constraints: 9409
15.15/15.20 c #Conflicts: 55000 | #Constraints: 10409
15.15/15.20 c #Conflicts: 56000 | #Constraints: 11409
15.15/15.20 c INPROCESSING
15.15/15.20 c GARBAGE COLLECT
15.15/15.20 c #Conflicts: 57000 | #Constraints: 7598
15.15/15.20 c #Conflicts: 58000 | #Constraints: 8598
15.15/15.20 c #Conflicts: 59000 | #Constraints: 9598
15.15/15.20 c #Conflicts: 60000 | #Constraints: 10598
15.15/15.20 c #Conflicts: 61000 | #Constraints: 11598
15.15/15.20 c INPROCESSING
15.15/15.20 c GARBAGE COLLECT
15.15/15.20 c #Conflicts: 62000 | #Constraints: 7609
15.15/15.20 c #Conflicts: 63000 | #Constraints: 8609
15.15/15.20 c #Conflicts: 64000 | #Constraints: 9609
15.15/15.20 c #Conflicts: 65000 | #Constraints: 10609
15.15/15.20 c #Conflicts: 66000 | #Constraints: 11609
15.15/15.20 c bounds 49217 >= 6935 @ 14.6272
15.15/15.20 c stratification level: 1868
15.15/15.24 c bounds 49208 >= 6935 @ 14.6629
15.15/15.24 c stratification level: 1864
15.75/15.82 c INPROCESSING
15.75/15.82 c GARBAGE COLLECT
15.75/15.82 c #Conflicts: 67000 | #Constraints: 7424
15.75/15.82 c #Conflicts: 68000 | #Constraints: 8424
15.75/15.82 c bounds 49204 >= 6935 @ 15.2183
15.75/15.82 c stratification level: 1863
15.75/15.82 c bounds 49172 >= 6935 @ 15.2226
15.75/15.82 c stratification level: 1855
15.75/15.83 c bounds 49160 >= 6935 @ 15.2261
15.75/15.83 c stratification level: 1854
15.75/15.83 c bounds 49088 >= 6935 @ 15.2289
15.75/15.83 c stratification level: 1851
16.06/16.19 c #Conflicts: 69000 | #Constraints: 9428
16.06/16.19 c #Conflicts: 70000 | #Constraints: 10428
16.06/16.19 c bounds 49066 >= 6935 @ 15.5762
16.06/16.19 c stratification level: 1849
16.15/16.21 c bounds 49054 >= 6935 @ 15.5962
16.15/16.21 c stratification level: 1845
17.95/18.01 c #Conflicts: 71000 | #Constraints: 11430
17.95/18.01 c #Conflicts: 72000 | #Constraints: 12430
17.95/18.01 c INPROCESSING
17.95/18.01 c GARBAGE COLLECT
17.95/18.01 c #Conflicts: 73000 | #Constraints: 8026
17.95/18.01 c #Conflicts: 74000 | #Constraints: 9026
17.95/18.01 c #Conflicts: 75000 | #Constraints: 10026
17.95/18.01 c #Conflicts: 76000 | #Constraints: 11026
17.95/18.01 c bounds 49040 >= 6935 @ 17.3552
17.95/18.01 c stratification level: 1837
17.95/18.02 c bounds 49028 >= 6935 @ 17.3597
17.95/18.02 c stratification level: 1835
17.95/18.04 c bounds 49008 >= 6935 @ 17.3761
17.95/18.04 c stratification level: 1834
18.74/18.88 c #Conflicts: 77000 | #Constraints: 12029
18.74/18.88 c #Conflicts: 78000 | #Constraints: 13029
18.74/18.88 c INPROCESSING
18.74/18.88 c GARBAGE COLLECT
18.74/18.88 c bounds 49001 >= 6935 @ 18.1993
18.74/18.88 c stratification level: 1833
18.84/18.92 c bounds 48990 >= 6935 @ 18.238
18.84/18.92 c stratification level: 1828
18.84/18.92 c bounds 48982 >= 6935 @ 18.2406
18.84/18.92 c stratification level: 1820
19.74/19.86 c #Conflicts: 79000 | #Constraints: 8430
19.74/19.86 c #Conflicts: 80000 | #Constraints: 9430
19.74/19.86 c #Conflicts: 81000 | #Constraints: 10430
19.74/19.86 c #Conflicts: 82000 | #Constraints: 11430
19.74/19.86 c bounds 48967 >= 6935 @ 19.1425
19.74/19.86 c stratification level: 1817
19.84/19.95 c bounds 48958 >= 6935 @ 19.231
19.84/19.95 c stratification level: 1816
20.53/20.61 c #Conflicts: 83000 | #Constraints: 12432
20.53/20.61 c #Conflicts: 84000 | #Constraints: 13432
20.53/20.61 c INPROCESSING
20.53/20.61 c GARBAGE COLLECT
20.53/20.61 c bounds 48927 >= 6935 @ 19.8703
20.53/20.61 c stratification level: 1811
20.53/20.61 c bounds 48863 >= 6935 @ 19.8735
20.53/20.61 c stratification level: 1810
20.64/20.70 c #Conflicts: 85000 | #Constraints: 8630
20.64/20.70 c bounds 48854 >= 6935 @ 19.9629
20.64/20.70 c stratification level: 1807
20.94/21.05 c #Conflicts: 86000 | #Constraints: 9631
20.94/21.05 c bounds 48828 >= 6935 @ 20.3061
20.94/21.05 c stratification level: 1806
20.94/21.06 c bounds 48816 >= 6935 @ 20.3078
20.94/21.06 c stratification level: 1804
24.72/24.82 c #Conflicts: 87000 | #Constraints: 10633
24.72/24.82 c #Conflicts: 88000 | #Constraints: 11633
24.72/24.82 c #Conflicts: 89000 | #Constraints: 12633
24.72/24.82 c #Conflicts: 90000 | #Constraints: 13633
24.72/24.82 c INPROCESSING
24.72/24.82 c GARBAGE COLLECT
24.72/24.82 c #Conflicts: 91000 | #Constraints: 8616
24.72/24.82 c #Conflicts: 92000 | #Constraints: 9616
24.72/24.82 c #Conflicts: 93000 | #Constraints: 10616
24.72/24.82 c #Conflicts: 94000 | #Constraints: 11616
24.72/24.82 c #Conflicts: 95000 | #Constraints: 12616
24.72/24.82 c #Conflicts: 96000 | #Constraints: 13616
24.72/24.82 c INPROCESSING
24.72/24.82 c GARBAGE COLLECT
24.72/24.82 c bounds 48815 >= 6935 @ 23.9978
24.72/24.82 c stratification level: 1797
24.72/24.83 c bounds 48711 >= 6935 @ 24.0062
24.72/24.83 c stratification level: 1794
24.72/24.83 c bounds 48699 >= 6935 @ 24.0078
24.72/24.83 c stratification level: 1788
24.83/24.95 c #Conflicts: 97000 | #Constraints: 8407
24.83/24.95 c bounds 48597 >= 6935 @ 24.1182
24.83/24.95 c stratification level: 1782
24.83/24.95 c bounds 48585 >= 6935 @ 24.1204
24.83/24.95 c stratification level: 1779
24.94/25.01 c bounds 48521 >= 6935 @ 24.1732
24.94/25.01 c stratification level: 1778
25.43/25.55 c #Conflicts: 98000 | #Constraints: 9410
25.43/25.55 c #Conflicts: 99000 | #Constraints: 10410
25.43/25.55 c bounds 48489 >= 6935 @ 24.6957
25.43/25.55 c stratification level: 1776
25.43/25.56 c bounds 48481 >= 6935 @ 24.7003
25.43/25.56 c stratification level: 1775
25.43/25.56 c bounds 48417 >= 6935 @ 24.7019
25.43/25.56 c stratification level: 1768
25.82/25.94 c #Conflicts: 100000 | #Constraints: 11413
25.82/25.94 c #Conflicts: 101000 | #Constraints: 12413
25.82/25.94 c bounds 48405 >= 6935 @ 25.0711
25.82/25.94 c stratification level: 1761
46.17/46.33 c #Conflicts: 102000 | #Constraints: 13414
46.17/46.33 c #Conflicts: 103000 | #Constraints: 14414
46.17/46.33 c INPROCESSING
46.17/46.33 c GARBAGE COLLECT
46.17/46.33 c #Conflicts: 104000 | #Constraints: 9015
46.17/46.33 c #Conflicts: 105000 | #Constraints: 10015
46.17/46.33 c #Conflicts: 106000 | #Constraints: 11015
46.17/46.33 c #Conflicts: 107000 | #Constraints: 12015
46.17/46.33 c #Conflicts: 108000 | #Constraints: 13015
46.17/46.33 c #Conflicts: 109000 | #Constraints: 14015
46.17/46.33 c #Conflicts: 110000 | #Constraints: 15015
46.17/46.33 c INPROCESSING
46.17/46.33 c GARBAGE COLLECT
46.17/46.33 c #Conflicts: 111000 | #Constraints: 9428
46.17/46.33 c #Conflicts: 112000 | #Constraints: 10428
46.17/46.33 c #Conflicts: 113000 | #Constraints: 11428
46.17/46.33 c #Conflicts: 114000 | #Constraints: 12428
46.17/46.33 c #Conflicts: 115000 | #Constraints: 13428
46.17/46.33 c #Conflicts: 116000 | #Constraints: 14428
46.17/46.33 c #Conflicts: 117000 | #Constraints: 15428
46.17/46.33 c INPROCESSING
46.17/46.33 c GARBAGE COLLECT
46.17/46.33 c #Conflicts: 118000 | #Constraints: 9624
46.17/46.33 c #Conflicts: 119000 | #Constraints: 10624
46.17/46.33 c #Conflicts: 120000 | #Constraints: 11624
46.17/46.33 c #Conflicts: 121000 | #Constraints: 12624
46.17/46.33 c #Conflicts: 122000 | #Constraints: 13624
46.17/46.33 c #Conflicts: 123000 | #Constraints: 14624
46.17/46.33 c #Conflicts: 124000 | #Constraints: 15624
46.17/46.33 c INPROCESSING
46.17/46.33 c GARBAGE COLLECT
46.17/46.33 c #Conflicts: 125000 | #Constraints: 9632
46.17/46.33 c #Conflicts: 126000 | #Constraints: 10632
46.17/46.33 c #Conflicts: 127000 | #Constraints: 11632
46.17/46.33 c #Conflicts: 128000 | #Constraints: 12632
46.17/46.33 c #Conflicts: 129000 | #Constraints: 13632
46.17/46.33 c #Conflicts: 130000 | #Constraints: 14632
46.17/46.33 c #Conflicts: 131000 | #Constraints: 15632
46.17/46.33 c INPROCESSING
46.17/46.33 c GARBAGE COLLECT
46.17/46.33 c #Conflicts: 132000 | #Constraints: 9434
46.17/46.33 c #Conflicts: 133000 | #Constraints: 10434
46.17/46.33 c #Conflicts: 134000 | #Constraints: 11434
46.17/46.33 c #Conflicts: 135000 | #Constraints: 12434
46.17/46.33 c #Conflicts: 136000 | #Constraints: 13434
46.17/46.33 c #Conflicts: 137000 | #Constraints: 14434
46.17/46.33 c #Conflicts: 138000 | #Constraints: 15434
46.17/46.33 c #Conflicts: 139000 | #Constraints: 16434
46.17/46.33 c INPROCESSING
46.17/46.33 c GARBAGE COLLECT
46.17/46.33 c #Conflicts: 140000 | #Constraints: 10023
46.17/46.33 c #Conflicts: 141000 | #Constraints: 11023
46.17/46.33 c #Conflicts: 142000 | #Constraints: 12023
46.17/46.33 c #Conflicts: 143000 | #Constraints: 13023
46.17/46.33 c #Conflicts: 144000 | #Constraints: 14023
46.17/46.33 c #Conflicts: 145000 | #Constraints: 15023
46.17/46.33 c #Conflicts: 146000 | #Constraints: 16023
46.17/46.33 c #Conflicts: 147000 | #Constraints: 17023
46.17/46.33 c INPROCESSING
46.17/46.33 c GARBAGE COLLECT
46.17/46.33 c #Conflicts: 148000 | #Constraints: 10430
46.17/46.33 c #Conflicts: 149000 | #Constraints: 11430
46.17/46.33 c #Conflicts: 150000 | #Constraints: 12430
46.17/46.33 c #Conflicts: 151000 | #Constraints: 13430
46.17/46.33 c #Conflicts: 152000 | #Constraints: 14430
46.17/46.33 c #Conflicts: 153000 | #Constraints: 15430
46.17/46.33 c #Conflicts: 154000 | #Constraints: 16430
46.17/46.33 c #Conflicts: 155000 | #Constraints: 17430
46.17/46.33 c INPROCESSING
46.17/46.33 c GARBAGE COLLECT
46.17/46.33 c bounds 48333 >= 6935 @ 44.9251
46.17/46.33 c stratification level: 1759
48.46/48.67 c #Conflicts: 156000 | #Constraints: 10659
48.46/48.67 c #Conflicts: 157000 | #Constraints: 11659
48.46/48.67 c #Conflicts: 158000 | #Constraints: 12659
48.46/48.67 c #Conflicts: 159000 | #Constraints: 13659
48.46/48.67 c #Conflicts: 160000 | #Constraints: 14659
48.46/48.67 c #Conflicts: 161000 | #Constraints: 15659
48.46/48.67 c #Conflicts: 162000 | #Constraints: 16659
48.46/48.67 c bounds 48295 >= 6935 @ 47.2142
48.46/48.67 c stratification level: 1758
52.87/53.08 c #Conflicts: 163000 | #Constraints: 17660
52.87/53.08 c INPROCESSING
52.87/53.08 c GARBAGE COLLECT
52.87/53.08 c #Conflicts: 164000 | #Constraints: 10658
52.87/53.08 c #Conflicts: 165000 | #Constraints: 11658
52.87/53.08 c #Conflicts: 166000 | #Constraints: 12658
52.87/53.08 c #Conflicts: 167000 | #Constraints: 13658
52.87/53.08 c #Conflicts: 168000 | #Constraints: 14658
52.87/53.08 c #Conflicts: 169000 | #Constraints: 15658
52.87/53.08 c #Conflicts: 170000 | #Constraints: 16658
52.87/53.08 c #Conflicts: 171000 | #Constraints: 17658
52.87/53.08 c bounds 48290 >= 6935 @ 51.5378
52.87/53.08 c stratification level: 1750
52.87/53.09 c bounds 48278 >= 6935 @ 51.5455
52.87/53.09 c stratification level: 1746
86.47/86.72 c INPROCESSING
86.47/86.72 c GARBAGE COLLECT
86.47/86.72 c #Conflicts: 172000 | #Constraints: 10451
86.47/86.72 c #Conflicts: 173000 | #Constraints: 11451
86.47/86.72 c #Conflicts: 174000 | #Constraints: 12451
86.47/86.72 c #Conflicts: 175000 | #Constraints: 13451
86.47/86.72 c #Conflicts: 176000 | #Constraints: 14451
86.47/86.72 c #Conflicts: 177000 | #Constraints: 15451
86.47/86.72 c #Conflicts: 178000 | #Constraints: 16451
86.47/86.72 c #Conflicts: 179000 | #Constraints: 17451
86.47/86.72 c #Conflicts: 180000 | #Constraints: 18451
86.47/86.72 c INPROCESSING
86.47/86.72 c GARBAGE COLLECT
86.47/86.72 c #Conflicts: 181000 | #Constraints: 11060
86.47/86.72 c #Conflicts: 182000 | #Constraints: 12060
86.47/86.72 c #Conflicts: 183000 | #Constraints: 13060
86.47/86.72 c #Conflicts: 184000 | #Constraints: 14060
86.47/86.72 c #Conflicts: 185000 | #Constraints: 15060
86.47/86.72 c #Conflicts: 186000 | #Constraints: 16060
86.47/86.72 c #Conflicts: 187000 | #Constraints: 17060
86.47/86.72 c #Conflicts: 188000 | #Constraints: 18060
86.47/86.72 c #Conflicts: 189000 | #Constraints: 19060
86.47/86.72 c INPROCESSING
86.47/86.72 c GARBAGE COLLECT
86.47/86.72 c #Conflicts: 190000 | #Constraints: 11455
86.47/86.72 c #Conflicts: 191000 | #Constraints: 12455
86.47/86.72 c #Conflicts: 192000 | #Constraints: 13455
86.47/86.72 c #Conflicts: 193000 | #Constraints: 14455
86.47/86.72 c #Conflicts: 194000 | #Constraints: 15455
86.47/86.72 c #Conflicts: 195000 | #Constraints: 16455
86.47/86.72 c #Conflicts: 196000 | #Constraints: 17455
86.47/86.72 c #Conflicts: 197000 | #Constraints: 18455
86.47/86.72 c #Conflicts: 198000 | #Constraints: 19455
86.47/86.72 c INPROCESSING
86.47/86.72 c GARBAGE COLLECT
86.47/86.72 c #Conflicts: 199000 | #Constraints: 11667
86.47/86.72 c #Conflicts: 200000 | #Constraints: 12667
86.47/86.72 c #Conflicts: 201000 | #Constraints: 13667
86.47/86.72 c #Conflicts: 202000 | #Constraints: 14667
86.47/86.72 c #Conflicts: 203000 | #Constraints: 15667
86.47/86.72 c #Conflicts: 204000 | #Constraints: 16667
86.47/86.72 c #Conflicts: 205000 | #Constraints: 17667
86.47/86.72 c #Conflicts: 206000 | #Constraints: 18667
86.47/86.72 c #Conflicts: 207000 | #Constraints: 19667
86.47/86.72 c INPROCESSING
86.47/86.72 c GARBAGE COLLECT
86.47/86.72 c #Conflicts: 208000 | #Constraints: 11656
86.47/86.72 c #Conflicts: 209000 | #Constraints: 12656
86.47/86.72 c #Conflicts: 210000 | #Constraints: 13656
86.47/86.72 c #Conflicts: 211000 | #Constraints: 14656
86.47/86.72 c #Conflicts: 212000 | #Constraints: 15656
86.47/86.72 c #Conflicts: 213000 | #Constraints: 16656
86.47/86.72 c bounds 48278 >= 8681 @ 71.1061
86.47/86.72 c #Conflicts: 214000 | #Constraints: 17657
86.47/86.72 c #Conflicts: 215000 | #Constraints: 18657
86.47/86.72 c #Conflicts: 216000 | #Constraints: 19657
86.47/86.72 c INPROCESSING
86.47/86.72 c GARBAGE COLLECT
86.47/86.72 c #Conflicts: 217000 | #Constraints: 11468
86.47/86.72 c #Conflicts: 218000 | #Constraints: 12468
86.47/86.72 c #Conflicts: 219000 | #Constraints: 13468
86.47/86.72 c #Conflicts: 220000 | #Constraints: 14468
86.47/86.72 c #Conflicts: 221000 | #Constraints: 15468
86.47/86.72 c #Conflicts: 222000 | #Constraints: 16468
86.47/86.72 c #Conflicts: 223000 | #Constraints: 17468
86.47/86.72 c #Conflicts: 224000 | #Constraints: 18468
86.47/86.72 c #Conflicts: 225000 | #Constraints: 19468
86.47/86.72 c #Conflicts: 226000 | #Constraints: 20468
86.47/86.72 c INPROCESSING
86.47/86.72 c GARBAGE COLLECT
86.47/86.72 c #Conflicts: 227000 | #Constraints: 12069
86.47/86.72 c #Conflicts: 228000 | #Constraints: 13069
86.47/86.72 c #Conflicts: 229000 | #Constraints: 14069
86.47/86.72 c #Conflicts: 230000 | #Constraints: 15069
86.47/86.72 c #Conflicts: 231000 | #Constraints: 16069
86.47/86.72 c #Conflicts: 232000 | #Constraints: 17069
86.47/86.72 c #Conflicts: 233000 | #Constraints: 18069
86.47/86.72 c #Conflicts: 234000 | #Constraints: 19069
86.47/86.72 c #Conflicts: 235000 | #Constraints: 20069
86.47/86.72 c #Conflicts: 236000 | #Constraints: 21069
86.47/86.72 c INPROCESSING
86.47/86.72 c GARBAGE COLLECT
86.47/86.72 c #Conflicts: 237000 | #Constraints: 12459
86.47/86.72 c #Conflicts: 238000 | #Constraints: 13459
86.47/86.72 c #Conflicts: 239000 | #Constraints: 14459
86.47/86.72 c #Conflicts: 240000 | #Constraints: 15459
86.47/86.72 c #Conflicts: 241000 | #Constraints: 16459
86.47/86.72 c #Conflicts: 242000 | #Constraints: 17459
86.47/86.72 c #Conflicts: 243000 | #Constraints: 18459
86.47/86.72 c #Conflicts: 244000 | #Constraints: 19459
86.47/86.72 c #Conflicts: 245000 | #Constraints: 20459
119.68/120.05 c #Conflicts: 246000 | #Constraints: 21459
119.68/120.05 c INPROCESSING
119.68/120.05 c GARBAGE COLLECT
119.68/120.05 c #Conflicts: 247000 | #Constraints: 12654
119.68/120.05 c #Conflicts: 248000 | #Constraints: 13654
119.68/120.05 c #Conflicts: 249000 | #Constraints: 14654
119.68/120.05 c #Conflicts: 250000 | #Constraints: 15654
119.68/120.05 c #Conflicts: 251000 | #Constraints: 16654
119.68/120.05 c #Conflicts: 252000 | #Constraints: 17654
119.68/120.05 c #Conflicts: 253000 | #Constraints: 18654
119.68/120.05 c #Conflicts: 254000 | #Constraints: 19654
119.68/120.05 c #Conflicts: 255000 | #Constraints: 20654
119.68/120.05 c #Conflicts: 256000 | #Constraints: 21654
119.68/120.05 c INPROCESSING
119.68/120.05 c GARBAGE COLLECT
119.68/120.05 c #Conflicts: 257000 | #Constraints: 12662
119.68/120.05 c #Conflicts: 258000 | #Constraints: 13662
119.68/120.05 c #Conflicts: 259000 | #Constraints: 14662
119.68/120.05 c #Conflicts: 260000 | #Constraints: 15662
119.68/120.05 c #Conflicts: 261000 | #Constraints: 16662
119.68/120.05 c #Conflicts: 262000 | #Constraints: 17662
119.68/120.05 c #Conflicts: 263000 | #Constraints: 18662
119.68/120.05 c #Conflicts: 264000 | #Constraints: 19662
119.68/120.05 c #Conflicts: 265000 | #Constraints: 20662
119.68/120.05 c #Conflicts: 266000 | #Constraints: 21662
119.68/120.05 c INPROCESSING
119.68/120.05 c GARBAGE COLLECT
119.68/120.05 c #Conflicts: 267000 | #Constraints: 12457
119.68/120.05 c #Conflicts: 268000 | #Constraints: 13457
119.68/120.05 c #Conflicts: 269000 | #Constraints: 14457
119.68/120.05 c #Conflicts: 270000 | #Constraints: 15457
119.68/120.05 c #Conflicts: 271000 | #Constraints: 16457
119.68/120.05 c #Conflicts: 272000 | #Constraints: 17457
119.68/120.05 c #Conflicts: 273000 | #Constraints: 18457
119.68/120.05 c #Conflicts: 274000 | #Constraints: 19457
119.68/120.05 c #Conflicts: 275000 | #Constraints: 20457
119.68/120.05 c #Conflicts: 276000 | #Constraints: 21457
119.68/120.05 c #Conflicts: 277000 | #Constraints: 22457
119.68/120.05 c INPROCESSING
119.68/120.05 c GARBAGE COLLECT
119.68/120.05 c #Conflicts: 278000 | #Constraints: 13045
119.68/120.05 c #Conflicts: 279000 | #Constraints: 14045
119.68/120.05 c #Conflicts: 280000 | #Constraints: 15045
119.68/120.05 c #Conflicts: 281000 | #Constraints: 16045
119.68/120.05 c #Conflicts: 282000 | #Constraints: 17045
119.68/120.05 c #Conflicts: 283000 | #Constraints: 18045
119.68/120.05 c #Conflicts: 284000 | #Constraints: 19045
119.68/120.05 c #Conflicts: 285000 | #Constraints: 20045
119.68/120.05 c #Conflicts: 286000 | #Constraints: 21045
119.68/120.05 c #Conflicts: 287000 | #Constraints: 22045
119.68/120.05 c #Conflicts: 288000 | #Constraints: 23045
119.68/120.05 c INPROCESSING
119.68/120.05 c GARBAGE COLLECT
119.68/120.05 c #Conflicts: 289000 | #Constraints: 13451
119.68/120.05 c #Conflicts: 290000 | #Constraints: 14451
119.68/120.05 c #Conflicts: 291000 | #Constraints: 15451
119.68/120.05 c #Conflicts: 292000 | #Constraints: 16451
119.68/120.05 c #Conflicts: 293000 | #Constraints: 17451
119.68/120.05 c #Conflicts: 294000 | #Constraints: 18451
119.68/120.05 c #Conflicts: 295000 | #Constraints: 19451
119.68/120.05 c #Conflicts: 296000 | #Constraints: 20451
119.68/120.05 c #Conflicts: 297000 | #Constraints: 21451
119.68/120.05 c #Conflicts: 298000 | #Constraints: 22451
119.68/120.05 c #Conflicts: 299000 | #Constraints: 23451
119.68/120.05 c INPROCESSING
119.68/120.05 c GARBAGE COLLECT
119.68/120.05 c #Conflicts: 300000 | #Constraints: 13641
119.68/120.05 c #Conflicts: 301000 | #Constraints: 14641
119.68/120.05 c #Conflicts: 302000 | #Constraints: 15641
119.68/120.05 c #Conflicts: 303000 | #Constraints: 16641
119.68/120.05 c #Conflicts: 304000 | #Constraints: 17641
119.68/120.05 c #Conflicts: 305000 | #Constraints: 18641
119.68/120.05 c #Conflicts: 306000 | #Constraints: 19641
119.68/120.05 c #Conflicts: 307000 | #Constraints: 20641
119.68/120.05 c #Conflicts: 308000 | #Constraints: 21641
119.68/120.05 c #Conflicts: 309000 | #Constraints: 22641
119.68/120.05 c #Conflicts: 310000 | #Constraints: 23641
119.68/120.05 c INPROCESSING
119.68/120.05 c GARBAGE COLLECT
119.68/120.05 c #Conflicts: 311000 | #Constraints: 13651
119.68/120.05 c #Conflicts: 312000 | #Constraints: 14651
119.68/120.05 c #Conflicts: 313000 | #Constraints: 15651
119.68/120.05 c #Conflicts: 314000 | #Constraints: 16651
119.68/120.05 c #Conflicts: 315000 | #Constraints: 17651
119.68/120.05 c #Conflicts: 316000 | #Constraints: 18651
119.68/120.05 c #Conflicts: 317000 | #Constraints: 19651
119.68/120.05 c #Conflicts: 318000 | #Constraints: 20651
119.68/120.05 c #Conflicts: 319000 | #Constraints: 21651
149.09/149.51 c #Conflicts: 320000 | #Constraints: 22651
149.09/149.51 c #Conflicts: 321000 | #Constraints: 23651
149.09/149.51 c INPROCESSING
149.09/149.51 c GARBAGE COLLECT
149.09/149.51 c #Conflicts: 322000 | #Constraints: 13438
149.09/149.51 c #Conflicts: 323000 | #Constraints: 14438
149.09/149.51 c #Conflicts: 324000 | #Constraints: 15438
149.09/149.51 c #Conflicts: 325000 | #Constraints: 16438
149.09/149.51 c #Conflicts: 326000 | #Constraints: 17438
149.09/149.51 c #Conflicts: 327000 | #Constraints: 18438
149.09/149.51 c #Conflicts: 328000 | #Constraints: 19438
149.09/149.51 c #Conflicts: 329000 | #Constraints: 20438
149.09/149.51 c #Conflicts: 330000 | #Constraints: 21438
149.09/149.51 c #Conflicts: 331000 | #Constraints: 22438
149.09/149.51 c #Conflicts: 332000 | #Constraints: 23438
149.09/149.51 c #Conflicts: 333000 | #Constraints: 24438
149.09/149.51 c INPROCESSING
149.09/149.51 c GARBAGE COLLECT
149.09/149.51 c #Conflicts: 334000 | #Constraints: 14021
149.09/149.51 c #Conflicts: 335000 | #Constraints: 15021
149.09/149.51 c #Conflicts: 336000 | #Constraints: 16021
149.09/149.51 c #Conflicts: 337000 | #Constraints: 17021
149.09/149.51 c #Conflicts: 338000 | #Constraints: 18021
149.09/149.51 c #Conflicts: 339000 | #Constraints: 19021
149.09/149.51 c #Conflicts: 340000 | #Constraints: 20021
149.09/149.51 c #Conflicts: 341000 | #Constraints: 21021
149.09/149.51 c #Conflicts: 342000 | #Constraints: 22021
149.09/149.51 c #Conflicts: 343000 | #Constraints: 23021
149.09/149.51 c #Conflicts: 344000 | #Constraints: 24021
149.09/149.51 c #Conflicts: 345000 | #Constraints: 25021
149.09/149.51 c INPROCESSING
149.09/149.51 c GARBAGE COLLECT
149.09/149.51 c #Conflicts: 346000 | #Constraints: 14458
149.09/149.51 c #Conflicts: 347000 | #Constraints: 15458
149.09/149.51 c #Conflicts: 348000 | #Constraints: 16458
149.09/149.51 c #Conflicts: 349000 | #Constraints: 17458
149.09/149.51 c #Conflicts: 350000 | #Constraints: 18458
149.09/149.51 c #Conflicts: 351000 | #Constraints: 19458
149.09/149.51 c #Conflicts: 352000 | #Constraints: 20458
149.09/149.51 c #Conflicts: 353000 | #Constraints: 21458
149.09/149.51 c #Conflicts: 354000 | #Constraints: 22458
149.09/149.51 c #Conflicts: 355000 | #Constraints: 23458
149.09/149.51 c #Conflicts: 356000 | #Constraints: 24458
149.09/149.51 c #Conflicts: 357000 | #Constraints: 25458
149.09/149.51 c INPROCESSING
149.09/149.51 c GARBAGE COLLECT
149.09/149.51 c #Conflicts: 358000 | #Constraints: 14652
149.09/149.51 c #Conflicts: 359000 | #Constraints: 15652
149.09/149.51 c #Conflicts: 360000 | #Constraints: 16652
149.09/149.51 c #Conflicts: 361000 | #Constraints: 17652
149.09/149.51 c #Conflicts: 362000 | #Constraints: 18652
149.09/149.51 c #Conflicts: 363000 | #Constraints: 19652
149.09/149.51 c #Conflicts: 364000 | #Constraints: 20652
149.09/149.51 c #Conflicts: 365000 | #Constraints: 21652
149.09/149.51 c #Conflicts: 366000 | #Constraints: 22652
149.09/149.51 c #Conflicts: 367000 | #Constraints: 23652
149.09/149.51 c #Conflicts: 368000 | #Constraints: 24652
149.09/149.51 c #Conflicts: 369000 | #Constraints: 25652
149.09/149.51 c INPROCESSING
149.09/149.51 c GARBAGE COLLECT
149.09/149.51 c #Conflicts: 370000 | #Constraints: 14658
149.09/149.51 c #Conflicts: 371000 | #Constraints: 15658
149.09/149.51 c #Conflicts: 372000 | #Constraints: 16658
149.09/149.51 c #Conflicts: 373000 | #Constraints: 17658
149.09/149.51 c #Conflicts: 374000 | #Constraints: 18658
149.09/149.51 c #Conflicts: 375000 | #Constraints: 19658
149.09/149.51 c #Conflicts: 376000 | #Constraints: 20658
149.09/149.51 c #Conflicts: 377000 | #Constraints: 21658
149.09/149.51 c #Conflicts: 378000 | #Constraints: 22658
149.09/149.51 c #Conflicts: 379000 | #Constraints: 23658
149.09/149.51 c #Conflicts: 380000 | #Constraints: 24658
149.09/149.51 c #Conflicts: 381000 | #Constraints: 25658
149.09/149.51 c INPROCESSING
149.09/149.51 c GARBAGE COLLECT
149.09/149.51 c #Conflicts: 382000 | #Constraints: 14443
149.09/149.51 c #Conflicts: 383000 | #Constraints: 15443
149.09/149.51 c #Conflicts: 384000 | #Constraints: 16443
149.09/149.51 c #Conflicts: 385000 | #Constraints: 17443
149.09/149.51 c #Conflicts: 386000 | #Constraints: 18443
149.09/149.51 c #Conflicts: 387000 | #Constraints: 19443
149.09/149.51 c #Conflicts: 388000 | #Constraints: 20443
149.09/149.51 c #Conflicts: 389000 | #Constraints: 21443
149.09/149.51 c #Conflicts: 390000 | #Constraints: 22443
149.09/149.51 c #Conflicts: 391000 | #Constraints: 23443
149.09/149.51 c #Conflicts: 392000 | #Constraints: 24443
149.09/149.51 c #Conflicts: 393000 | #Constraints: 25443
149.09/149.51 c #Conflicts: 394000 | #Constraints: 26443
179.53/180.02 c INPROCESSING
179.53/180.02 c GARBAGE COLLECT
179.53/180.02 c #Conflicts: 395000 | #Constraints: 15024
179.53/180.02 c #Conflicts: 396000 | #Constraints: 16024
179.53/180.02 c #Conflicts: 397000 | #Constraints: 17024
179.53/180.02 c #Conflicts: 398000 | #Constraints: 18024
179.53/180.02 c #Conflicts: 399000 | #Constraints: 19024
179.53/180.02 c #Conflicts: 400000 | #Constraints: 20024
179.53/180.02 c #Conflicts: 401000 | #Constraints: 21024
179.53/180.02 c #Conflicts: 402000 | #Constraints: 22024
179.53/180.02 c #Conflicts: 403000 | #Constraints: 23024
179.53/180.02 c #Conflicts: 404000 | #Constraints: 24024
179.53/180.02 c #Conflicts: 405000 | #Constraints: 25024
179.53/180.02 c #Conflicts: 406000 | #Constraints: 26024
179.53/180.02 c #Conflicts: 407000 | #Constraints: 27024
179.53/180.02 c INPROCESSING
179.53/180.02 c GARBAGE COLLECT
179.53/180.02 c #Conflicts: 408000 | #Constraints: 15441
179.53/180.02 c #Conflicts: 409000 | #Constraints: 16441
179.53/180.02 c #Conflicts: 410000 | #Constraints: 17441
179.53/180.02 c #Conflicts: 411000 | #Constraints: 18441
179.53/180.02 c #Conflicts: 412000 | #Constraints: 19441
179.53/180.02 c #Conflicts: 413000 | #Constraints: 20441
179.53/180.02 c #Conflicts: 414000 | #Constraints: 21441
179.53/180.02 c #Conflicts: 415000 | #Constraints: 22441
179.53/180.02 c #Conflicts: 416000 | #Constraints: 23441
179.53/180.02 c #Conflicts: 417000 | #Constraints: 24441
179.53/180.02 c #Conflicts: 418000 | #Constraints: 25441
179.53/180.02 c #Conflicts: 419000 | #Constraints: 26441
179.53/180.02 c #Conflicts: 420000 | #Constraints: 27441
179.53/180.02 c INPROCESSING
179.53/180.02 c GARBAGE COLLECT
179.53/180.02 c #Conflicts: 421000 | #Constraints: 15640
179.53/180.02 c #Conflicts: 422000 | #Constraints: 16640
179.53/180.02 c #Conflicts: 423000 | #Constraints: 17640
179.53/180.02 c #Conflicts: 424000 | #Constraints: 18640
179.53/180.02 c #Conflicts: 425000 | #Constraints: 19640
179.53/180.02 c #Conflicts: 426000 | #Constraints: 20640
179.53/180.02 c #Conflicts: 427000 | #Constraints: 21640
179.53/180.02 c #Conflicts: 428000 | #Constraints: 22640
179.53/180.02 c #Conflicts: 429000 | #Constraints: 23640
179.53/180.02 c #Conflicts: 430000 | #Constraints: 24640
179.53/180.02 c #Conflicts: 431000 | #Constraints: 25640
179.53/180.02 c #Conflicts: 432000 | #Constraints: 26640
179.53/180.02 c #Conflicts: 433000 | #Constraints: 27640
179.53/180.02 c INPROCESSING
179.53/180.02 c GARBAGE COLLECT
179.53/180.02 c #Conflicts: 434000 | #Constraints: 15633
179.53/180.02 c #Conflicts: 435000 | #Constraints: 16633
179.53/180.02 c #Conflicts: 436000 | #Constraints: 17633
179.53/180.02 c #Conflicts: 437000 | #Constraints: 18633
179.53/180.02 c #Conflicts: 438000 | #Constraints: 19633
179.53/180.02 c #Conflicts: 439000 | #Constraints: 20633
179.53/180.02 c #Conflicts: 440000 | #Constraints: 21633
179.53/180.02 c #Conflicts: 441000 | #Constraints: 22633
179.53/180.02 c #Conflicts: 442000 | #Constraints: 23633
179.53/180.02 c #Conflicts: 443000 | #Constraints: 24633
179.53/180.02 c #Conflicts: 444000 | #Constraints: 25633
179.53/180.02 c #Conflicts: 445000 | #Constraints: 26633
179.53/180.02 c #Conflicts: 446000 | #Constraints: 27633
179.53/180.02 c INPROCESSING
179.53/180.02 c GARBAGE COLLECT
179.53/180.02 c #Conflicts: 447000 | #Constraints: 15449
179.53/180.02 c #Conflicts: 448000 | #Constraints: 16449
179.53/180.02 c #Conflicts: 449000 | #Constraints: 17449
179.53/180.02 c #Conflicts: 450000 | #Constraints: 18449
179.53/180.02 c #Conflicts: 451000 | #Constraints: 19449
179.53/180.02 c #Conflicts: 452000 | #Constraints: 20449
179.53/180.02 c #Conflicts: 453000 | #Constraints: 21449
179.53/180.02 c #Conflicts: 454000 | #Constraints: 22449
179.53/180.02 c #Conflicts: 455000 | #Constraints: 23449
179.53/180.02 c #Conflicts: 456000 | #Constraints: 24449
179.53/180.02 c #Conflicts: 457000 | #Constraints: 25449
179.53/180.02 c #Conflicts: 458000 | #Constraints: 26449
179.53/180.02 c #Conflicts: 459000 | #Constraints: 27449
179.53/180.02 c #Conflicts: 460000 | #Constraints: 28449
179.53/180.02 c INPROCESSING
179.53/180.02 c GARBAGE COLLECT
179.53/180.02 c #Conflicts: 461000 | #Constraints: 16049
179.53/180.02 c #Conflicts: 462000 | #Constraints: 17049
179.53/180.02 c #Conflicts: 463000 | #Constraints: 18049
179.53/180.02 c #Conflicts: 464000 | #Constraints: 19049
179.53/180.02 c #Conflicts: 465000 | #Constraints: 20049
179.53/180.02 c #Conflicts: 466000 | #Constraints: 21049
179.53/180.02 c #Conflicts: 467000 | #Constraints: 22049
179.53/180.02 c #Conflicts: 468000 | #Constraints: 23049
179.53/180.02 c #Conflicts: 469000 | #Constraints: 24049
192.19/192.75 c #Conflicts: 470000 | #Constraints: 25049
192.19/192.75 c #Conflicts: 471000 | #Constraints: 26049
192.19/192.75 c #Conflicts: 472000 | #Constraints: 27049
192.19/192.75 c #Conflicts: 473000 | #Constraints: 28049
192.19/192.75 c #Conflicts: 474000 | #Constraints: 29049
192.19/192.75 c INPROCESSING
192.19/192.75 c GARBAGE COLLECT
192.19/192.75 c #Conflicts: 475000 | #Constraints: 16449
192.19/192.75 c #Conflicts: 476000 | #Constraints: 17449
192.19/192.75 c #Conflicts: 477000 | #Constraints: 18449
192.19/192.75 c #Conflicts: 478000 | #Constraints: 19449
192.19/192.75 c #Conflicts: 479000 | #Constraints: 20449
192.19/192.75 c #Conflicts: 480000 | #Constraints: 21449
192.19/192.75 c #Conflicts: 481000 | #Constraints: 22449
192.19/192.75 c #Conflicts: 482000 | #Constraints: 23449
192.19/192.75 c #Conflicts: 483000 | #Constraints: 24449
192.19/192.75 c #Conflicts: 484000 | #Constraints: 25449
192.19/192.75 c #Conflicts: 485000 | #Constraints: 26449
192.19/192.75 c #Conflicts: 486000 | #Constraints: 27449
192.19/192.75 c #Conflicts: 487000 | #Constraints: 28449
192.19/192.75 c #Conflicts: 488000 | #Constraints: 29449
192.19/192.75 c INPROCESSING
192.19/192.75 c GARBAGE COLLECT
192.19/192.75 c #Conflicts: 489000 | #Constraints: 16648
192.19/192.75 c #Conflicts: 490000 | #Constraints: 17648
192.19/192.75 c #Conflicts: 491000 | #Constraints: 18648
192.19/192.75 c #Conflicts: 492000 | #Constraints: 19648
192.19/192.75 c #Conflicts: 493000 | #Constraints: 20648
192.19/192.75 c #Conflicts: 494000 | #Constraints: 21648
192.19/192.75 c #Conflicts: 495000 | #Constraints: 22648
192.19/192.75 c #Conflicts: 496000 | #Constraints: 23648
192.19/192.75 c #Conflicts: 497000 | #Constraints: 24648
192.19/192.75 c finalizing WCE round: reformulating cores
192.60/193.13 c bounds 47697 >= 8681 @ 188.584
192.60/193.13 c bounds 47685 >= 8681 @ 188.593
192.60/193.13 c stratification level: 1744
192.60/193.14 c bounds 47627 >= 8681 @ 188.601
192.60/193.14 c stratification level: 1741
192.79/193.38 c #Conflicts: 498000 | #Constraints: 25654
192.79/193.38 c #Conflicts: 499000 | #Constraints: 26654
192.79/193.38 c #Conflicts: 500000 | #Constraints: 27654
192.79/193.38 c bounds 47618 >= 8681 @ 188.84
192.79/193.38 c stratification level: 1740
223.12/223.75 c #Conflicts: 501000 | #Constraints: 28655
223.12/223.75 c #Conflicts: 502000 | #Constraints: 29655
223.12/223.75 c INPROCESSING
223.12/223.75 c GARBAGE COLLECT
223.12/223.75 c #Conflicts: 503000 | #Constraints: 16642
223.12/223.75 c #Conflicts: 504000 | #Constraints: 17642
223.12/223.75 c #Conflicts: 505000 | #Constraints: 18642
223.12/223.75 c #Conflicts: 506000 | #Constraints: 19642
223.12/223.75 c #Conflicts: 507000 | #Constraints: 20642
223.12/223.75 c #Conflicts: 508000 | #Constraints: 21642
223.12/223.75 c #Conflicts: 509000 | #Constraints: 22642
223.12/223.75 c #Conflicts: 510000 | #Constraints: 23642
223.12/223.75 c #Conflicts: 511000 | #Constraints: 24642
223.12/223.75 c #Conflicts: 512000 | #Constraints: 25642
223.12/223.75 c #Conflicts: 513000 | #Constraints: 26642
223.12/223.75 c #Conflicts: 514000 | #Constraints: 27642
223.12/223.75 c #Conflicts: 515000 | #Constraints: 28642
223.12/223.75 c #Conflicts: 516000 | #Constraints: 29642
223.12/223.75 c INPROCESSING
223.12/223.75 c GARBAGE COLLECT
223.12/223.75 c #Conflicts: 517000 | #Constraints: 16444
223.12/223.75 c #Conflicts: 518000 | #Constraints: 17444
223.12/223.75 c #Conflicts: 519000 | #Constraints: 18444
223.12/223.75 c #Conflicts: 520000 | #Constraints: 19444
223.12/223.75 c #Conflicts: 521000 | #Constraints: 20444
223.12/223.75 c #Conflicts: 522000 | #Constraints: 21444
223.12/223.75 c #Conflicts: 523000 | #Constraints: 22444
223.12/223.75 c #Conflicts: 524000 | #Constraints: 23444
223.12/223.75 c #Conflicts: 525000 | #Constraints: 24444
223.12/223.75 c #Conflicts: 526000 | #Constraints: 25444
223.12/223.75 c #Conflicts: 527000 | #Constraints: 26444
223.12/223.75 c #Conflicts: 528000 | #Constraints: 27444
223.12/223.75 c #Conflicts: 529000 | #Constraints: 28444
223.12/223.75 c #Conflicts: 530000 | #Constraints: 29444
223.12/223.75 c #Conflicts: 531000 | #Constraints: 30444
223.12/223.75 c INPROCESSING
223.12/223.75 c GARBAGE COLLECT
223.12/223.75 c #Conflicts: 532000 | #Constraints: 17096
223.12/223.75 c #Conflicts: 533000 | #Constraints: 18096
223.12/223.75 c #Conflicts: 534000 | #Constraints: 19096
223.12/223.75 c #Conflicts: 535000 | #Constraints: 20096
223.12/223.75 c #Conflicts: 536000 | #Constraints: 21096
223.12/223.75 c #Conflicts: 537000 | #Constraints: 22096
223.12/223.75 c #Conflicts: 538000 | #Constraints: 23096
223.12/223.75 c #Conflicts: 539000 | #Constraints: 24096
223.12/223.75 c #Conflicts: 540000 | #Constraints: 25096
223.12/223.75 c #Conflicts: 541000 | #Constraints: 26096
223.12/223.75 c #Conflicts: 542000 | #Constraints: 27096
223.12/223.75 c #Conflicts: 543000 | #Constraints: 28096
223.12/223.75 c #Conflicts: 544000 | #Constraints: 29096
223.12/223.75 c #Conflicts: 545000 | #Constraints: 30096
223.12/223.75 c #Conflicts: 546000 | #Constraints: 31096
223.12/223.75 c INPROCESSING
223.12/223.75 c GARBAGE COLLECT
223.12/223.75 c #Conflicts: 547000 | #Constraints: 17480
223.12/223.75 c #Conflicts: 548000 | #Constraints: 18480
223.12/223.75 c #Conflicts: 549000 | #Constraints: 19480
223.12/223.75 c bounds 47549 >= 8681 @ 218.714
223.12/223.75 c stratification level: 1733
223.12/223.75 c bounds 47453 >= 8681 @ 218.717
223.12/223.75 c stratification level: 1732
223.12/223.76 c #Conflicts: 550000 | #Constraints: 20482
223.12/223.76 c bounds 47395 >= 8681 @ 218.725
223.12/223.76 c stratification level: 1730
252.74/253.43 c #Conflicts: 551000 | #Constraints: 21483
252.74/253.43 c #Conflicts: 552000 | #Constraints: 22483
252.74/253.43 c #Conflicts: 553000 | #Constraints: 23483
252.74/253.43 c #Conflicts: 554000 | #Constraints: 24483
252.74/253.43 c #Conflicts: 555000 | #Constraints: 25483
252.74/253.43 c #Conflicts: 556000 | #Constraints: 26483
252.74/253.43 c #Conflicts: 557000 | #Constraints: 27483
252.74/253.43 c #Conflicts: 558000 | #Constraints: 28483
252.74/253.43 c #Conflicts: 559000 | #Constraints: 29483
252.74/253.43 c #Conflicts: 560000 | #Constraints: 30483
252.74/253.43 c #Conflicts: 561000 | #Constraints: 31483
252.74/253.43 c INPROCESSING
252.74/253.43 c GARBAGE COLLECT
252.74/253.43 c #Conflicts: 562000 | #Constraints: 17670
252.74/253.43 c #Conflicts: 563000 | #Constraints: 18670
252.74/253.43 c #Conflicts: 564000 | #Constraints: 19670
252.74/253.43 c #Conflicts: 565000 | #Constraints: 20670
252.74/253.43 c #Conflicts: 566000 | #Constraints: 21670
252.74/253.43 c #Conflicts: 567000 | #Constraints: 22670
252.74/253.43 c #Conflicts: 568000 | #Constraints: 23670
252.74/253.43 c #Conflicts: 569000 | #Constraints: 24670
252.74/253.43 c #Conflicts: 570000 | #Constraints: 25670
252.74/253.43 c #Conflicts: 571000 | #Constraints: 26670
252.74/253.43 c #Conflicts: 572000 | #Constraints: 27670
252.74/253.43 c #Conflicts: 573000 | #Constraints: 28670
252.74/253.43 c #Conflicts: 574000 | #Constraints: 29670
252.74/253.43 c #Conflicts: 575000 | #Constraints: 30670
252.74/253.43 c #Conflicts: 576000 | #Constraints: 31670
252.74/253.43 c INPROCESSING
252.74/253.43 c GARBAGE COLLECT
252.74/253.43 c #Conflicts: 577000 | #Constraints: 17666
252.74/253.43 c #Conflicts: 578000 | #Constraints: 18666
252.74/253.43 c #Conflicts: 579000 | #Constraints: 19666
252.74/253.43 c #Conflicts: 580000 | #Constraints: 20666
252.74/253.43 c #Conflicts: 581000 | #Constraints: 21666
252.74/253.43 c #Conflicts: 582000 | #Constraints: 22666
252.74/253.43 c #Conflicts: 583000 | #Constraints: 23666
252.74/253.43 c #Conflicts: 584000 | #Constraints: 24666
252.74/253.43 c #Conflicts: 585000 | #Constraints: 25666
252.74/253.43 c #Conflicts: 586000 | #Constraints: 26666
252.74/253.43 c #Conflicts: 587000 | #Constraints: 27666
252.74/253.43 c #Conflicts: 588000 | #Constraints: 28666
252.74/253.43 c #Conflicts: 589000 | #Constraints: 29666
252.74/253.43 c #Conflicts: 590000 | #Constraints: 30666
252.74/253.43 c #Conflicts: 591000 | #Constraints: 31666
252.74/253.43 c INPROCESSING
252.74/253.43 c GARBAGE COLLECT
252.74/253.43 c #Conflicts: 592000 | #Constraints: 17469
252.74/253.43 c #Conflicts: 593000 | #Constraints: 18469
252.74/253.43 c #Conflicts: 594000 | #Constraints: 19469
252.74/253.43 c #Conflicts: 595000 | #Constraints: 20469
252.74/253.43 c #Conflicts: 596000 | #Constraints: 21469
252.74/253.43 c #Conflicts: 597000 | #Constraints: 22469
252.74/253.43 c #Conflicts: 598000 | #Constraints: 23469
252.74/253.43 c bounds 47366 >= 8681 @ 247.929
252.74/253.43 c stratification level: 1724
306.23/307.01 c #Conflicts: 599000 | #Constraints: 24470
306.23/307.01 c #Conflicts: 600000 | #Constraints: 25470
306.23/307.01 c #Conflicts: 601000 | #Constraints: 26470
306.23/307.01 c #Conflicts: 602000 | #Constraints: 27470
306.23/307.01 c #Conflicts: 603000 | #Constraints: 28470
306.23/307.01 c #Conflicts: 604000 | #Constraints: 29470
306.23/307.01 c #Conflicts: 605000 | #Constraints: 30470
306.23/307.01 c #Conflicts: 606000 | #Constraints: 31470
306.23/307.01 c #Conflicts: 607000 | #Constraints: 32470
306.23/307.01 c INPROCESSING
306.23/307.01 c GARBAGE COLLECT
306.23/307.01 c #Conflicts: 608000 | #Constraints: 18072
306.23/307.01 c #Conflicts: 609000 | #Constraints: 19072
306.23/307.01 c #Conflicts: 610000 | #Constraints: 20072
306.23/307.01 c #Conflicts: 611000 | #Constraints: 21072
306.23/307.01 c #Conflicts: 612000 | #Constraints: 22072
306.23/307.01 c #Conflicts: 613000 | #Constraints: 23072
306.23/307.01 c #Conflicts: 614000 | #Constraints: 24072
306.23/307.01 c #Conflicts: 615000 | #Constraints: 25072
306.23/307.01 c #Conflicts: 616000 | #Constraints: 26072
306.23/307.01 c #Conflicts: 617000 | #Constraints: 27072
306.23/307.01 c #Conflicts: 618000 | #Constraints: 28072
306.23/307.01 c #Conflicts: 619000 | #Constraints: 29072
306.23/307.01 c #Conflicts: 620000 | #Constraints: 30072
306.23/307.01 c #Conflicts: 621000 | #Constraints: 31072
306.23/307.01 c #Conflicts: 622000 | #Constraints: 32072
306.23/307.01 c #Conflicts: 623000 | #Constraints: 33072
306.23/307.01 c INPROCESSING
306.23/307.01 c GARBAGE COLLECT
306.23/307.01 c #Conflicts: 624000 | #Constraints: 18479
306.23/307.01 c #Conflicts: 625000 | #Constraints: 19479
306.23/307.01 c #Conflicts: 626000 | #Constraints: 20479
306.23/307.01 c #Conflicts: 627000 | #Constraints: 21479
306.23/307.01 c #Conflicts: 628000 | #Constraints: 22479
306.23/307.01 c #Conflicts: 629000 | #Constraints: 23479
306.23/307.01 c #Conflicts: 630000 | #Constraints: 24479
306.23/307.01 c #Conflicts: 631000 | #Constraints: 25479
306.23/307.01 c #Conflicts: 632000 | #Constraints: 26479
306.23/307.01 c #Conflicts: 633000 | #Constraints: 27479
306.23/307.01 c #Conflicts: 634000 | #Constraints: 28479
306.23/307.01 c #Conflicts: 635000 | #Constraints: 29479
306.23/307.01 c #Conflicts: 636000 | #Constraints: 30479
306.23/307.01 c #Conflicts: 637000 | #Constraints: 31479
306.23/307.01 c #Conflicts: 638000 | #Constraints: 32479
306.23/307.01 c #Conflicts: 639000 | #Constraints: 33479
306.23/307.01 c INPROCESSING
306.23/307.01 c GARBAGE COLLECT
306.23/307.01 c #Conflicts: 640000 | #Constraints: 18678
306.23/307.01 c #Conflicts: 641000 | #Constraints: 19678
306.23/307.01 c #Conflicts: 642000 | #Constraints: 20678
306.23/307.01 c #Conflicts: 643000 | #Constraints: 21678
306.23/307.01 c #Conflicts: 644000 | #Constraints: 22678
306.23/307.01 c #Conflicts: 645000 | #Constraints: 23678
306.23/307.01 c #Conflicts: 646000 | #Constraints: 24678
306.23/307.01 c #Conflicts: 647000 | #Constraints: 25678
306.23/307.01 c #Conflicts: 648000 | #Constraints: 26678
306.23/307.01 c #Conflicts: 649000 | #Constraints: 27678
306.23/307.01 c #Conflicts: 650000 | #Constraints: 28678
306.23/307.01 c #Conflicts: 651000 | #Constraints: 29678
306.23/307.01 c #Conflicts: 652000 | #Constraints: 30678
306.23/307.01 c #Conflicts: 653000 | #Constraints: 31678
306.23/307.01 c #Conflicts: 654000 | #Constraints: 32678
306.23/307.01 c #Conflicts: 655000 | #Constraints: 33678
306.23/307.01 c INPROCESSING
306.23/307.01 c GARBAGE COLLECT
306.23/307.01 c #Conflicts: 656000 | #Constraints: 18674
306.23/307.01 c #Conflicts: 657000 | #Constraints: 19674
306.23/307.01 c #Conflicts: 658000 | #Constraints: 20674
306.23/307.01 c #Conflicts: 659000 | #Constraints: 21674
306.23/307.01 c #Conflicts: 660000 | #Constraints: 22674
306.23/307.01 c #Conflicts: 661000 | #Constraints: 23674
306.23/307.01 c #Conflicts: 662000 | #Constraints: 24674
306.23/307.01 c #Conflicts: 663000 | #Constraints: 25674
306.23/307.01 c #Conflicts: 664000 | #Constraints: 26674
306.23/307.01 c #Conflicts: 665000 | #Constraints: 27674
306.23/307.01 c #Conflicts: 666000 | #Constraints: 28674
306.23/307.01 c #Conflicts: 667000 | #Constraints: 29674
306.23/307.01 c #Conflicts: 668000 | #Constraints: 30674
306.23/307.01 c #Conflicts: 669000 | #Constraints: 31674
306.23/307.01 c #Conflicts: 670000 | #Constraints: 32674
306.23/307.01 c #Conflicts: 671000 | #Constraints: 33674
306.23/307.01 c INPROCESSING
306.23/307.01 c GARBAGE COLLECT
306.23/307.01 c #Conflicts: 672000 | #Constraints: 18466
306.23/307.01 c #Conflicts: 673000 | #Constraints: 19466
306.23/307.01 c #Conflicts: 674000 | #Constraints: 20466
341.03/341.94 c #Conflicts: 675000 | #Constraints: 21466
341.03/341.94 c #Conflicts: 676000 | #Constraints: 22466
341.03/341.94 c #Conflicts: 677000 | #Constraints: 23466
341.03/341.94 c #Conflicts: 678000 | #Constraints: 24466
341.03/341.94 c #Conflicts: 679000 | #Constraints: 25466
341.03/341.94 c #Conflicts: 680000 | #Constraints: 26466
341.03/341.94 c #Conflicts: 681000 | #Constraints: 27466
341.03/341.94 c #Conflicts: 682000 | #Constraints: 28466
341.03/341.94 c #Conflicts: 683000 | #Constraints: 29466
341.03/341.94 c #Conflicts: 684000 | #Constraints: 30466
341.03/341.94 c #Conflicts: 685000 | #Constraints: 31466
341.03/341.94 c #Conflicts: 686000 | #Constraints: 32466
341.03/341.94 c #Conflicts: 687000 | #Constraints: 33466
341.03/341.94 c #Conflicts: 688000 | #Constraints: 34466
341.03/341.94 c INPROCESSING
341.03/341.94 c GARBAGE COLLECT
341.03/341.94 c #Conflicts: 689000 | #Constraints: 19061
341.03/341.94 c #Conflicts: 690000 | #Constraints: 20061
341.03/341.94 c #Conflicts: 691000 | #Constraints: 21061
341.03/341.94 c #Conflicts: 692000 | #Constraints: 22061
341.03/341.94 c #Conflicts: 693000 | #Constraints: 23061
341.03/341.94 c #Conflicts: 694000 | #Constraints: 24061
341.03/341.94 c #Conflicts: 695000 | #Constraints: 25061
341.03/341.94 c #Conflicts: 696000 | #Constraints: 26061
341.03/341.94 c #Conflicts: 697000 | #Constraints: 27061
341.03/341.94 c #Conflicts: 698000 | #Constraints: 28061
341.03/341.94 c #Conflicts: 699000 | #Constraints: 29061
341.03/341.94 c #Conflicts: 700000 | #Constraints: 30061
341.03/341.94 c #Conflicts: 701000 | #Constraints: 31061
341.03/341.94 c #Conflicts: 702000 | #Constraints: 32061
341.03/341.94 c #Conflicts: 703000 | #Constraints: 33061
341.03/341.94 c #Conflicts: 704000 | #Constraints: 34061
341.03/341.94 c #Conflicts: 705000 | #Constraints: 35061
341.03/341.94 c INPROCESSING
341.03/341.94 c GARBAGE COLLECT
341.03/341.94 c #Conflicts: 706000 | #Constraints: 19447
341.03/341.94 c #Conflicts: 707000 | #Constraints: 20447
341.03/341.94 c #Conflicts: 708000 | #Constraints: 21447
341.03/341.94 c #Conflicts: 709000 | #Constraints: 22447
341.03/341.94 c #Conflicts: 710000 | #Constraints: 23447
341.03/341.94 c #Conflicts: 711000 | #Constraints: 24447
341.03/341.94 c #Conflicts: 712000 | #Constraints: 25447
341.03/341.94 c #Conflicts: 713000 | #Constraints: 26447
341.03/341.94 c #Conflicts: 714000 | #Constraints: 27447
341.03/341.94 c #Conflicts: 715000 | #Constraints: 28447
341.03/341.94 c #Conflicts: 716000 | #Constraints: 29447
341.03/341.94 c #Conflicts: 717000 | #Constraints: 30447
341.03/341.94 c #Conflicts: 718000 | #Constraints: 31447
341.03/341.94 c #Conflicts: 719000 | #Constraints: 32447
341.03/341.94 c #Conflicts: 720000 | #Constraints: 33447
341.03/341.94 c #Conflicts: 721000 | #Constraints: 34447
341.03/341.94 c #Conflicts: 722000 | #Constraints: 35447
341.03/341.94 c INPROCESSING
341.03/341.94 c GARBAGE COLLECT
341.03/341.94 c #Conflicts: 723000 | #Constraints: 19660
341.03/341.94 c #Conflicts: 724000 | #Constraints: 20660
341.03/341.94 c #Conflicts: 725000 | #Constraints: 21660
341.03/341.94 c #Conflicts: 726000 | #Constraints: 22660
341.03/341.94 c #Conflicts: 727000 | #Constraints: 23660
341.03/341.94 c #Conflicts: 728000 | #Constraints: 24660
341.03/341.94 c #Conflicts: 729000 | #Constraints: 25660
341.03/341.94 c #Conflicts: 730000 | #Constraints: 26660
341.03/341.94 c #Conflicts: 731000 | #Constraints: 27660
341.03/341.94 c #Conflicts: 732000 | #Constraints: 28660
341.03/341.94 c #Conflicts: 733000 | #Constraints: 29660
341.03/341.94 c #Conflicts: 734000 | #Constraints: 30660
341.03/341.94 c #Conflicts: 735000 | #Constraints: 31660
341.03/341.94 c #Conflicts: 736000 | #Constraints: 32660
341.03/341.94 c #Conflicts: 737000 | #Constraints: 33660
341.03/341.94 c #Conflicts: 738000 | #Constraints: 34660
341.03/341.94 c #Conflicts: 739000 | #Constraints: 35660
341.03/341.94 c bounds 47357 >= 8681 @ 335.145
341.03/341.94 c stratification level: 1723
341.03/342.00 c INPROCESSING
341.03/342.00 c GARBAGE COLLECT
341.03/342.00 c bounds 47351 >= 8681 @ 335.211
341.03/342.00 c stratification level: 1721
398.10/399.14 c #Conflicts: 740000 | #Constraints: 19638
398.10/399.14 c #Conflicts: 741000 | #Constraints: 20638
398.10/399.14 c #Conflicts: 742000 | #Constraints: 21638
398.10/399.14 c #Conflicts: 743000 | #Constraints: 22638
398.10/399.14 c #Conflicts: 744000 | #Constraints: 23638
398.10/399.14 c #Conflicts: 745000 | #Constraints: 24638
398.10/399.14 c #Conflicts: 746000 | #Constraints: 25638
398.10/399.14 c #Conflicts: 747000 | #Constraints: 26638
398.10/399.14 c #Conflicts: 748000 | #Constraints: 27638
398.10/399.14 c #Conflicts: 749000 | #Constraints: 28638
398.10/399.14 c #Conflicts: 750000 | #Constraints: 29638
398.10/399.14 c #Conflicts: 751000 | #Constraints: 30638
398.10/399.14 c #Conflicts: 752000 | #Constraints: 31638
398.10/399.14 c #Conflicts: 753000 | #Constraints: 32638
398.10/399.14 c #Conflicts: 754000 | #Constraints: 33638
398.10/399.14 c #Conflicts: 755000 | #Constraints: 34638
398.10/399.14 c #Conflicts: 756000 | #Constraints: 35638
398.10/399.14 c INPROCESSING
398.10/399.14 c GARBAGE COLLECT
398.10/399.14 c #Conflicts: 757000 | #Constraints: 19470
398.10/399.14 c #Conflicts: 758000 | #Constraints: 20470
398.10/399.14 c #Conflicts: 759000 | #Constraints: 21470
398.10/399.14 c #Conflicts: 760000 | #Constraints: 22470
398.10/399.14 c #Conflicts: 761000 | #Constraints: 23470
398.10/399.14 c #Conflicts: 762000 | #Constraints: 24470
398.10/399.14 c #Conflicts: 763000 | #Constraints: 25470
398.10/399.14 c #Conflicts: 764000 | #Constraints: 26470
398.10/399.14 c #Conflicts: 765000 | #Constraints: 27470
398.10/399.14 c #Conflicts: 766000 | #Constraints: 28470
398.10/399.14 c #Conflicts: 767000 | #Constraints: 29470
398.10/399.14 c #Conflicts: 768000 | #Constraints: 30470
398.10/399.14 c #Conflicts: 769000 | #Constraints: 31470
398.10/399.14 c #Conflicts: 770000 | #Constraints: 32470
398.10/399.14 c #Conflicts: 771000 | #Constraints: 33470
398.10/399.14 c #Conflicts: 772000 | #Constraints: 34470
398.10/399.14 c #Conflicts: 773000 | #Constraints: 35470
398.10/399.14 c #Conflicts: 774000 | #Constraints: 36470
398.10/399.14 c INPROCESSING
398.10/399.14 c GARBAGE COLLECT
398.10/399.14 c #Conflicts: 775000 | #Constraints: 20068
398.10/399.14 c #Conflicts: 776000 | #Constraints: 21068
398.10/399.14 c #Conflicts: 777000 | #Constraints: 22068
398.10/399.14 c #Conflicts: 778000 | #Constraints: 23068
398.10/399.14 c #Conflicts: 779000 | #Constraints: 24068
398.10/399.14 c #Conflicts: 780000 | #Constraints: 25068
398.10/399.14 c #Conflicts: 781000 | #Constraints: 26068
398.10/399.14 c #Conflicts: 782000 | #Constraints: 27068
398.10/399.14 c #Conflicts: 783000 | #Constraints: 28068
398.10/399.14 c #Conflicts: 784000 | #Constraints: 29068
398.10/399.14 c #Conflicts: 785000 | #Constraints: 30068
398.10/399.14 c #Conflicts: 786000 | #Constraints: 31068
398.10/399.14 c #Conflicts: 787000 | #Constraints: 32068
398.10/399.14 c #Conflicts: 788000 | #Constraints: 33068
398.10/399.14 c #Conflicts: 789000 | #Constraints: 34068
398.10/399.14 c #Conflicts: 790000 | #Constraints: 35068
398.10/399.14 c #Conflicts: 791000 | #Constraints: 36068
398.10/399.14 c #Conflicts: 792000 | #Constraints: 37068
398.10/399.14 c INPROCESSING
398.10/399.14 c GARBAGE COLLECT
398.10/399.14 c #Conflicts: 793000 | #Constraints: 20461
398.10/399.14 c #Conflicts: 794000 | #Constraints: 21461
398.10/399.14 c #Conflicts: 795000 | #Constraints: 22461
398.10/399.14 c #Conflicts: 796000 | #Constraints: 23461
398.10/399.14 c #Conflicts: 797000 | #Constraints: 24461
398.10/399.14 c #Conflicts: 798000 | #Constraints: 25461
398.10/399.14 c #Conflicts: 799000 | #Constraints: 26461
398.10/399.14 c #Conflicts: 800000 | #Constraints: 27461
398.10/399.14 c #Conflicts: 801000 | #Constraints: 28461
398.10/399.14 c #Conflicts: 802000 | #Constraints: 29461
398.10/399.14 c #Conflicts: 803000 | #Constraints: 30461
398.10/399.14 c #Conflicts: 804000 | #Constraints: 31461
398.10/399.14 c #Conflicts: 805000 | #Constraints: 32461
398.10/399.14 c #Conflicts: 806000 | #Constraints: 33461
398.10/399.14 c #Conflicts: 807000 | #Constraints: 34461
398.10/399.14 c #Conflicts: 808000 | #Constraints: 35461
398.10/399.14 c #Conflicts: 809000 | #Constraints: 36461
398.10/399.14 c #Conflicts: 810000 | #Constraints: 37461
398.10/399.14 c INPROCESSING
398.10/399.14 c GARBAGE COLLECT
398.10/399.14 c #Conflicts: 811000 | #Constraints: 20670
398.10/399.14 c #Conflicts: 812000 | #Constraints: 21670
398.10/399.14 c #Conflicts: 813000 | #Constraints: 22670
398.10/399.14 c #Conflicts: 814000 | #Constraints: 23670
398.10/399.14 c #Conflicts: 815000 | #Constraints: 24670
398.10/399.14 c #Conflicts: 816000 | #Constraints: 25670
458.75/459.97 c #Conflicts: 817000 | #Constraints: 26670
458.75/459.97 c #Conflicts: 818000 | #Constraints: 27670
458.75/459.97 c #Conflicts: 819000 | #Constraints: 28670
458.75/459.97 c #Conflicts: 820000 | #Constraints: 29670
458.75/459.97 c #Conflicts: 821000 | #Constraints: 30670
458.75/459.97 c #Conflicts: 822000 | #Constraints: 31670
458.75/459.97 c #Conflicts: 823000 | #Constraints: 32670
458.75/459.97 c #Conflicts: 824000 | #Constraints: 33670
458.75/459.97 c #Conflicts: 825000 | #Constraints: 34670
458.75/459.97 c #Conflicts: 826000 | #Constraints: 35670
458.75/459.97 c #Conflicts: 827000 | #Constraints: 36670
458.75/459.97 c #Conflicts: 828000 | #Constraints: 37670
458.75/459.97 c INPROCESSING
458.75/459.97 c GARBAGE COLLECT
458.75/459.97 c #Conflicts: 829000 | #Constraints: 20679
458.75/459.97 c #Conflicts: 830000 | #Constraints: 21679
458.75/459.97 c #Conflicts: 831000 | #Constraints: 22679
458.75/459.97 c #Conflicts: 832000 | #Constraints: 23679
458.75/459.97 c #Conflicts: 833000 | #Constraints: 24679
458.75/459.97 c #Conflicts: 834000 | #Constraints: 25679
458.75/459.97 c #Conflicts: 835000 | #Constraints: 26679
458.75/459.97 c #Conflicts: 836000 | #Constraints: 27679
458.75/459.97 c #Conflicts: 837000 | #Constraints: 28679
458.75/459.97 c #Conflicts: 838000 | #Constraints: 29679
458.75/459.97 c #Conflicts: 839000 | #Constraints: 30679
458.75/459.97 c #Conflicts: 840000 | #Constraints: 31679
458.75/459.97 c #Conflicts: 841000 | #Constraints: 32679
458.75/459.97 c #Conflicts: 842000 | #Constraints: 33679
458.75/459.97 c #Conflicts: 843000 | #Constraints: 34679
458.75/459.97 c #Conflicts: 844000 | #Constraints: 35679
458.75/459.97 c #Conflicts: 845000 | #Constraints: 36679
458.75/459.97 c #Conflicts: 846000 | #Constraints: 37679
458.75/459.97 c INPROCESSING
458.75/459.97 c GARBAGE COLLECT
458.75/459.97 c #Conflicts: 847000 | #Constraints: 20497
458.75/459.97 c #Conflicts: 848000 | #Constraints: 21497
458.75/459.97 c #Conflicts: 849000 | #Constraints: 22497
458.75/459.97 c #Conflicts: 850000 | #Constraints: 23497
458.75/459.97 c #Conflicts: 851000 | #Constraints: 24497
458.75/459.97 c #Conflicts: 852000 | #Constraints: 25497
458.75/459.97 c #Conflicts: 853000 | #Constraints: 26497
458.75/459.97 c #Conflicts: 854000 | #Constraints: 27497
458.75/459.97 c #Conflicts: 855000 | #Constraints: 28497
458.75/459.97 c #Conflicts: 856000 | #Constraints: 29497
458.75/459.97 c #Conflicts: 857000 | #Constraints: 30497
458.75/459.97 c #Conflicts: 858000 | #Constraints: 31497
458.75/459.97 c #Conflicts: 859000 | #Constraints: 32497
458.75/459.97 c #Conflicts: 860000 | #Constraints: 33497
458.75/459.97 c #Conflicts: 861000 | #Constraints: 34497
458.75/459.97 c #Conflicts: 862000 | #Constraints: 35497
458.75/459.97 c #Conflicts: 863000 | #Constraints: 36497
458.75/459.97 c #Conflicts: 864000 | #Constraints: 37497
458.75/459.97 c #Conflicts: 865000 | #Constraints: 38497
458.75/459.97 c INPROCESSING
458.75/459.97 c GARBAGE COLLECT
458.75/459.97 c #Conflicts: 866000 | #Constraints: 21073
458.75/459.97 c #Conflicts: 867000 | #Constraints: 22073
458.75/459.97 c #Conflicts: 868000 | #Constraints: 23073
458.75/459.97 c #Conflicts: 869000 | #Constraints: 24073
458.75/459.97 c #Conflicts: 870000 | #Constraints: 25073
458.75/459.97 c #Conflicts: 871000 | #Constraints: 26073
458.75/459.97 c #Conflicts: 872000 | #Constraints: 27073
458.75/459.97 c #Conflicts: 873000 | #Constraints: 28073
458.75/459.97 c #Conflicts: 874000 | #Constraints: 29073
458.75/459.97 c #Conflicts: 875000 | #Constraints: 30073
458.75/459.97 c #Conflicts: 876000 | #Constraints: 31073
458.75/459.97 c #Conflicts: 877000 | #Constraints: 32073
458.75/459.97 c #Conflicts: 878000 | #Constraints: 33073
458.75/459.97 c #Conflicts: 879000 | #Constraints: 34073
458.75/459.97 c #Conflicts: 880000 | #Constraints: 35073
458.75/459.97 c #Conflicts: 881000 | #Constraints: 36073
458.75/459.97 c #Conflicts: 882000 | #Constraints: 37073
458.75/459.97 c #Conflicts: 883000 | #Constraints: 38073
458.75/459.97 c #Conflicts: 884000 | #Constraints: 39073
458.75/459.97 c INPROCESSING
458.75/459.97 c GARBAGE COLLECT
458.75/459.97 c #Conflicts: 885000 | #Constraints: 21492
458.75/459.97 c #Conflicts: 886000 | #Constraints: 22492
458.75/459.97 c #Conflicts: 887000 | #Constraints: 23492
458.75/459.97 c #Conflicts: 888000 | #Constraints: 24492
458.75/459.97 c #Conflicts: 889000 | #Constraints: 25492
458.75/459.97 c #Conflicts: 890000 | #Constraints: 26492
458.75/459.97 c #Conflicts: 891000 | #Constraints: 27492
458.75/459.97 c #Conflicts: 892000 | #Constraints: 28492
478.09/479.39 c #Conflicts: 893000 | #Constraints: 29492
478.09/479.39 c #Conflicts: 894000 | #Constraints: 30492
478.09/479.39 c #Conflicts: 895000 | #Constraints: 31492
478.09/479.39 c #Conflicts: 896000 | #Constraints: 32492
478.09/479.39 c #Conflicts: 897000 | #Constraints: 33492
478.09/479.39 c #Conflicts: 898000 | #Constraints: 34492
478.09/479.39 c #Conflicts: 899000 | #Constraints: 35492
478.09/479.39 c #Conflicts: 900000 | #Constraints: 36492
478.09/479.39 c #Conflicts: 901000 | #Constraints: 37492
478.09/479.39 c #Conflicts: 902000 | #Constraints: 38492
478.09/479.39 c #Conflicts: 903000 | #Constraints: 39492
478.09/479.39 c INPROCESSING
478.09/479.39 c GARBAGE COLLECT
478.09/479.39 c #Conflicts: 904000 | #Constraints: 21683
478.09/479.39 c #Conflicts: 905000 | #Constraints: 22683
478.09/479.39 c #Conflicts: 906000 | #Constraints: 23683
478.09/479.39 c #Conflicts: 907000 | #Constraints: 24683
478.09/479.39 c #Conflicts: 908000 | #Constraints: 25683
478.09/479.39 c #Conflicts: 909000 | #Constraints: 26683
478.09/479.39 c bounds 47342 >= 8681 @ 470.813
478.09/479.39 c stratification level: 1720
545.64/547.05 c #Conflicts: 910000 | #Constraints: 27684
545.64/547.05 c #Conflicts: 911000 | #Constraints: 28684
545.64/547.05 c #Conflicts: 912000 | #Constraints: 29684
545.64/547.05 c #Conflicts: 913000 | #Constraints: 30684
545.64/547.05 c #Conflicts: 914000 | #Constraints: 31684
545.64/547.05 c #Conflicts: 915000 | #Constraints: 32684
545.64/547.05 c #Conflicts: 916000 | #Constraints: 33684
545.64/547.05 c #Conflicts: 917000 | #Constraints: 34684
545.64/547.05 c #Conflicts: 918000 | #Constraints: 35684
545.64/547.05 c #Conflicts: 919000 | #Constraints: 36684
545.64/547.05 c #Conflicts: 920000 | #Constraints: 37684
545.64/547.05 c #Conflicts: 921000 | #Constraints: 38684
545.64/547.05 c #Conflicts: 922000 | #Constraints: 39684
545.64/547.05 c INPROCESSING
545.64/547.05 c GARBAGE COLLECT
545.64/547.05 c #Conflicts: 923000 | #Constraints: 21683
545.64/547.05 c #Conflicts: 924000 | #Constraints: 22683
545.64/547.05 c #Conflicts: 925000 | #Constraints: 23683
545.64/547.05 c #Conflicts: 926000 | #Constraints: 24683
545.64/547.05 c #Conflicts: 927000 | #Constraints: 25683
545.64/547.05 c #Conflicts: 928000 | #Constraints: 26683
545.64/547.05 c #Conflicts: 929000 | #Constraints: 27683
545.64/547.05 c #Conflicts: 930000 | #Constraints: 28683
545.64/547.05 c #Conflicts: 931000 | #Constraints: 29683
545.64/547.05 c #Conflicts: 932000 | #Constraints: 30683
545.64/547.05 c #Conflicts: 933000 | #Constraints: 31683
545.64/547.05 c #Conflicts: 934000 | #Constraints: 32683
545.64/547.05 c #Conflicts: 935000 | #Constraints: 33683
545.64/547.05 c #Conflicts: 936000 | #Constraints: 34683
545.64/547.05 c #Conflicts: 937000 | #Constraints: 35683
545.64/547.05 c #Conflicts: 938000 | #Constraints: 36683
545.64/547.05 c #Conflicts: 939000 | #Constraints: 37683
545.64/547.05 c #Conflicts: 940000 | #Constraints: 38683
545.64/547.05 c #Conflicts: 941000 | #Constraints: 39683
545.64/547.05 c INPROCESSING
545.64/547.05 c GARBAGE COLLECT
545.64/547.05 c #Conflicts: 942000 | #Constraints: 21480
545.64/547.05 c #Conflicts: 943000 | #Constraints: 22480
545.64/547.05 c #Conflicts: 944000 | #Constraints: 23480
545.64/547.05 c #Conflicts: 945000 | #Constraints: 24480
545.64/547.05 c #Conflicts: 946000 | #Constraints: 25480
545.64/547.05 c #Conflicts: 947000 | #Constraints: 26480
545.64/547.05 c #Conflicts: 948000 | #Constraints: 27480
545.64/547.05 c #Conflicts: 949000 | #Constraints: 28480
545.64/547.05 c #Conflicts: 950000 | #Constraints: 29480
545.64/547.05 c #Conflicts: 951000 | #Constraints: 30480
545.64/547.05 c #Conflicts: 952000 | #Constraints: 31480
545.64/547.05 c #Conflicts: 953000 | #Constraints: 32480
545.64/547.05 c #Conflicts: 954000 | #Constraints: 33480
545.64/547.05 c #Conflicts: 955000 | #Constraints: 34480
545.64/547.05 c #Conflicts: 956000 | #Constraints: 35480
545.64/547.05 c #Conflicts: 957000 | #Constraints: 36480
545.64/547.05 c #Conflicts: 958000 | #Constraints: 37480
545.64/547.05 c bounds 47342 >= 10401 @ 516.856
545.64/547.05 c #Conflicts: 959000 | #Constraints: 38481
545.64/547.05 c #Conflicts: 960000 | #Constraints: 39481
545.64/547.05 c #Conflicts: 961000 | #Constraints: 40481
545.64/547.05 c INPROCESSING
545.64/547.05 c GARBAGE COLLECT
545.64/547.05 c #Conflicts: 962000 | #Constraints: 22087
545.64/547.05 c #Conflicts: 963000 | #Constraints: 23087
545.64/547.05 c #Conflicts: 964000 | #Constraints: 24087
545.64/547.05 c #Conflicts: 965000 | #Constraints: 25087
545.64/547.05 c #Conflicts: 966000 | #Constraints: 26087
545.64/547.05 c #Conflicts: 967000 | #Constraints: 27087
545.64/547.05 c #Conflicts: 968000 | #Constraints: 28087
545.64/547.05 c #Conflicts: 969000 | #Constraints: 29087
545.64/547.05 c #Conflicts: 970000 | #Constraints: 30087
545.64/547.05 c #Conflicts: 971000 | #Constraints: 31087
545.64/547.05 c #Conflicts: 972000 | #Constraints: 32087
545.64/547.05 c #Conflicts: 973000 | #Constraints: 33087
545.64/547.05 c #Conflicts: 974000 | #Constraints: 34087
545.64/547.05 c #Conflicts: 975000 | #Constraints: 35087
545.64/547.05 c #Conflicts: 976000 | #Constraints: 36087
545.64/547.05 c #Conflicts: 977000 | #Constraints: 37087
545.64/547.05 c #Conflicts: 978000 | #Constraints: 38087
545.64/547.05 c #Conflicts: 979000 | #Constraints: 39087
545.64/547.05 c #Conflicts: 980000 | #Constraints: 40087
545.64/547.05 c #Conflicts: 981000 | #Constraints: 41087
545.64/547.05 c INPROCESSING
545.64/547.05 c GARBAGE COLLECT
545.64/547.05 c #Conflicts: 982000 | #Constraints: 22491
545.64/547.05 c #Conflicts: 983000 | #Constraints: 23491
545.64/547.05 c #Conflicts: 984000 | #Constraints: 24491
545.64/547.05 c #Conflicts: 985000 | #Constraints: 25491
605.78/607.31 c #Conflicts: 986000 | #Constraints: 26491
605.78/607.31 c #Conflicts: 987000 | #Constraints: 27491
605.78/607.31 c #Conflicts: 988000 | #Constraints: 28491
605.78/607.31 c #Conflicts: 989000 | #Constraints: 29491
605.78/607.31 c #Conflicts: 990000 | #Constraints: 30491
605.78/607.31 c #Conflicts: 991000 | #Constraints: 31491
605.78/607.31 c #Conflicts: 992000 | #Constraints: 32491
605.78/607.31 c #Conflicts: 993000 | #Constraints: 33491
605.78/607.31 c #Conflicts: 994000 | #Constraints: 34491
605.78/607.31 c #Conflicts: 995000 | #Constraints: 35491
605.78/607.31 c #Conflicts: 996000 | #Constraints: 36491
605.78/607.31 c #Conflicts: 997000 | #Constraints: 37491
605.78/607.31 c #Conflicts: 998000 | #Constraints: 38491
605.78/607.31 c #Conflicts: 999000 | #Constraints: 39491
605.78/607.31 c #Conflicts: 1000000 | #Constraints: 40491
605.78/607.31 c #Conflicts: 1001000 | #Constraints: 41491
605.78/607.31 c INPROCESSING
605.78/607.31 c GARBAGE COLLECT
605.78/607.31 c #Conflicts: 1002000 | #Constraints: 22660
605.78/607.31 c #Conflicts: 1003000 | #Constraints: 23660
605.78/607.31 c #Conflicts: 1004000 | #Constraints: 24660
605.78/607.31 c #Conflicts: 1005000 | #Constraints: 25660
605.78/607.31 c #Conflicts: 1006000 | #Constraints: 26660
605.78/607.31 c #Conflicts: 1007000 | #Constraints: 27660
605.78/607.31 c #Conflicts: 1008000 | #Constraints: 28660
605.78/607.31 c #Conflicts: 1009000 | #Constraints: 29660
605.78/607.31 c #Conflicts: 1010000 | #Constraints: 30660
605.78/607.31 c #Conflicts: 1011000 | #Constraints: 31660
605.78/607.31 c #Conflicts: 1012000 | #Constraints: 32660
605.78/607.31 c #Conflicts: 1013000 | #Constraints: 33660
605.78/607.31 c #Conflicts: 1014000 | #Constraints: 34660
605.78/607.31 c #Conflicts: 1015000 | #Constraints: 35660
605.78/607.31 c #Conflicts: 1016000 | #Constraints: 36660
605.78/607.31 c #Conflicts: 1017000 | #Constraints: 37660
605.78/607.31 c #Conflicts: 1018000 | #Constraints: 38660
605.78/607.31 c #Conflicts: 1019000 | #Constraints: 39660
605.78/607.31 c #Conflicts: 1020000 | #Constraints: 40660
605.78/607.31 c #Conflicts: 1021000 | #Constraints: 41660
605.78/607.31 c INPROCESSING
605.78/607.31 c GARBAGE COLLECT
605.78/607.31 c #Conflicts: 1022000 | #Constraints: 22680
605.78/607.31 c #Conflicts: 1023000 | #Constraints: 23680
605.78/607.31 c #Conflicts: 1024000 | #Constraints: 24680
605.78/607.31 c #Conflicts: 1025000 | #Constraints: 25680
605.78/607.31 c #Conflicts: 1026000 | #Constraints: 26680
605.78/607.31 c #Conflicts: 1027000 | #Constraints: 27680
605.78/607.31 c #Conflicts: 1028000 | #Constraints: 28680
605.78/607.31 c #Conflicts: 1029000 | #Constraints: 29680
605.78/607.31 c #Conflicts: 1030000 | #Constraints: 30680
605.78/607.31 c #Conflicts: 1031000 | #Constraints: 31680
605.78/607.31 c #Conflicts: 1032000 | #Constraints: 32680
605.78/607.31 c #Conflicts: 1033000 | #Constraints: 33680
605.78/607.31 c #Conflicts: 1034000 | #Constraints: 34680
605.78/607.31 c #Conflicts: 1035000 | #Constraints: 35680
605.78/607.31 c #Conflicts: 1036000 | #Constraints: 36680
605.78/607.31 c #Conflicts: 1037000 | #Constraints: 37680
605.78/607.31 c #Conflicts: 1038000 | #Constraints: 38680
605.78/607.31 c #Conflicts: 1039000 | #Constraints: 39680
605.78/607.31 c #Conflicts: 1040000 | #Constraints: 40680
605.78/607.31 c #Conflicts: 1041000 | #Constraints: 41680
605.78/607.31 c INPROCESSING
605.78/607.31 c GARBAGE COLLECT
605.78/607.31 c #Conflicts: 1042000 | #Constraints: 22512
605.78/607.31 c #Conflicts: 1043000 | #Constraints: 23512
605.78/607.31 c #Conflicts: 1044000 | #Constraints: 24512
605.78/607.31 c #Conflicts: 1045000 | #Constraints: 25512
605.78/607.31 c #Conflicts: 1046000 | #Constraints: 26512
605.78/607.31 c #Conflicts: 1047000 | #Constraints: 27512
605.78/607.31 c #Conflicts: 1048000 | #Constraints: 28512
605.78/607.31 c #Conflicts: 1049000 | #Constraints: 29512
605.78/607.31 c #Conflicts: 1050000 | #Constraints: 30512
605.78/607.31 c #Conflicts: 1051000 | #Constraints: 31512
605.78/607.31 c #Conflicts: 1052000 | #Constraints: 32512
605.78/607.31 c #Conflicts: 1053000 | #Constraints: 33512
605.78/607.31 c #Conflicts: 1054000 | #Constraints: 34512
605.78/607.31 c #Conflicts: 1055000 | #Constraints: 35512
605.78/607.31 c #Conflicts: 1056000 | #Constraints: 36512
605.78/607.31 c #Conflicts: 1057000 | #Constraints: 37512
605.78/607.31 c #Conflicts: 1058000 | #Constraints: 38512
605.78/607.31 c #Conflicts: 1059000 | #Constraints: 39512
605.78/607.31 c #Conflicts: 1060000 | #Constraints: 40512
605.78/607.31 c #Conflicts: 1061000 | #Constraints: 41512
605.78/607.31 c #Conflicts: 1062000 | #Constraints: 42512
629.01/630.60 c INPROCESSING
629.01/630.60 c GARBAGE COLLECT
629.01/630.60 c #Conflicts: 1063000 | #Constraints: 23119
629.01/630.60 c #Conflicts: 1064000 | #Constraints: 24119
629.01/630.60 c #Conflicts: 1065000 | #Constraints: 25119
629.01/630.60 c #Conflicts: 1066000 | #Constraints: 26119
629.01/630.60 c #Conflicts: 1067000 | #Constraints: 27119
629.01/630.60 c #Conflicts: 1068000 | #Constraints: 28119
629.01/630.60 c #Conflicts: 1069000 | #Constraints: 29119
629.01/630.60 c #Conflicts: 1070000 | #Constraints: 30119
629.01/630.60 c #Conflicts: 1071000 | #Constraints: 31119
629.01/630.60 c #Conflicts: 1072000 | #Constraints: 32119
629.01/630.60 c #Conflicts: 1073000 | #Constraints: 33119
629.01/630.60 c #Conflicts: 1074000 | #Constraints: 34119
629.01/630.60 c #Conflicts: 1075000 | #Constraints: 35119
629.01/630.60 c #Conflicts: 1076000 | #Constraints: 36119
629.01/630.60 c #Conflicts: 1077000 | #Constraints: 37119
629.01/630.60 c #Conflicts: 1078000 | #Constraints: 38119
629.01/630.60 c #Conflicts: 1079000 | #Constraints: 39119
629.01/630.60 c bounds 47342 >= 12124 @ 613.275
629.01/630.60 c #Conflicts: 1080000 | #Constraints: 40120
629.01/630.60 c #Conflicts: 1081000 | #Constraints: 41120
629.01/630.60 c #Conflicts: 1082000 | #Constraints: 42120
629.01/630.60 c #Conflicts: 1083000 | #Constraints: 43120
629.01/630.60 c INPROCESSING
629.01/630.60 c GARBAGE COLLECT
629.01/630.60 c #Conflicts: 1084000 | #Constraints: 23557
629.01/630.60 c #Conflicts: 1085000 | #Constraints: 24557
629.01/630.60 c #Conflicts: 1086000 | #Constraints: 25557
629.01/630.60 c #Conflicts: 1087000 | #Constraints: 26557
629.01/630.60 c bounds 47342 >= 12124 @ 620.25
629.01/630.60 d SOLVEDBY oll
629.01/630.60 c cpu time 620.25 s
629.01/630.60 c deterministic time 82300285915 8.23e+10
629.01/630.60 c optimization time 0.38779 s
629.01/630.60 c total solve time 619.858 s
629.01/630.60 c core-guided solve time 619.858 s
629.01/630.60 c propagation time 394.418 s
629.01/630.60 c conflict analysis time 202.351 s
629.01/630.60 c propagations 227902476
629.01/630.60 c resolve steps 11763075
629.01/630.60 c decisions 7554040
629.01/630.60 c conflicts 1087340
629.01/630.60 c restarts 2046
629.01/630.60 c inprocessing phases 95
629.01/630.60 c input clauses 1774
629.01/630.60 c input cardinalities 1
629.01/630.60 c input general constraints 72
629.01/630.60 c input average constraint length 27.78
629.01/630.60 c input average constraint degree 36840.66
629.01/630.60 c learned clauses 637897
629.01/630.60 c learned cardinalities 1142
629.01/630.60 c learned general constraints 448300
629.01/630.60 c learned average constraint length 252.62
629.01/630.60 c learned average constraint degree 3917966.65
629.01/630.60 c watched constraints 109091
629.01/630.60 c counting constraints 339281
629.01/630.60 c gcd simplifications 89719
629.01/630.60 c detected cardinalities 309
629.01/630.60 c weakened non-implied lits 227930474
629.01/630.60 c weakened non-implying lits 42924
629.01/630.60 c original variables 1152
629.01/630.60 c clausal propagations 79532179
629.01/630.60 c cardinality propagations 320483
629.01/630.60 c watched propagations 2020475
629.01/630.60 c counting propagations 143610033
629.01/630.60 c watch lookups 19416777196
629.01/630.60 c watch backjump lookups 18911239659
629.01/630.60 c watch checks 25677344118
629.01/630.60 c propagation checks 16595308995
629.01/630.60 c constraint additions 1227616307
629.01/630.60 c trail pops 236543123
629.01/630.60 c formula constraints 1774
629.01/630.60 c learned constraints 1087339
629.01/630.60 c bound constraints 71
629.01/630.60 c core-guided constraints 2
629.01/630.60 c encountered formula constraints 8996304
629.01/630.60 c encountered learned constraints 3848020
629.01/630.60 c encountered bound constraints 3193
629.01/630.60 c encountered core-guided constraints 2898
629.01/630.60 c LP total time 0 s
629.01/630.60 c LP solve time 0 s
629.01/630.60 c LP constraints added 0
629.01/630.60 c LP constraints removed 0
629.01/630.60 c LP pivots internal 0
629.01/630.60 c LP pivots root 0
629.01/630.60 c LP calls 0
629.01/630.60 c LP optimalities 0
629.01/630.60 c LP no pivot count 0
629.01/630.60 c LP infeasibilities 0
629.01/630.60 c LP valid Farkas constraints 0
629.01/630.60 c LP learned Farkas constraints 0
629.01/630.60 c LP basis resets 0
629.01/630.60 c LP cycling count 0
629.01/630.60 c LP singular count 0
629.01/630.60 c LP no primal count 0
629.01/630.60 c LP no farkas count 0
629.01/630.60 c LP other issue count 0
629.01/630.60 c LP Gomory cuts 0
629.01/630.60 c LP learned cuts 0
629.01/630.60 c LP deleted cuts 0
629.01/630.60 c LP encountered Gomory constraints 0
629.01/630.60 c LP encountered Farkas constraints 0
629.01/630.60 c LP encountered learned Farkas constraints 0
629.01/630.60 c CG auxiliary variables introduced 1
629.01/630.60 c CG solutions found 67
629.01/630.60 c CG cores constructed 3
629.01/630.60 c CG core cardinality constraints returned 0
629.01/630.60 c CG unit cores 0
629.01/630.60 c CG single cores 3
629.01/630.60 c CG blocks removed during cardinality reduction 0
629.01/630.60 c CG first core best 0
629.01/630.60 c CG decision core best 0
629.01/630.60 c CG core reduction tie 0
629.01/630.60 c CG core degree average 1.00
629.01/630.60 c CG core slack average 49.00
629.01/630.60 c CG exhausted 0
629.01/630.60 c CG exhaust time 0.365028 s
629.01/630.60 c CG trimmed 0
629.01/630.60 c CG trim time 0.010109 s
629.01/630.60 c CG minimized 0
629.01/630.60 c CG minimize time 0 s
629.01/630.60 c CG am1 prop time 0.001025 s
629.01/630.60 c CG # am1s reformulated 0
629.01/630.60 c CG lower bound derived from am1s 0
629.01/630.60 c CG # clausal cores 3
629.01/630.60 c CG # cardinality cores 0
629.01/630.60 c CG # pb cores 0
629.01/630.60 c CG # pb reforms 0
629.01/630.60 c CG # cores discarded because of pb reform 0
629.01/630.60 d LOWERBOUND 12124
629.01/630.60 d NCORES 3
629.01/630.60 d NPBCORES 0
629.01/630.60 d NPBREFORM 0
629.01/630.60 d NTRIMMED 0
629.01/630.60 d NEXHAUSTED 0
629.01/630.60 d NAM1S 0
629.01/630.60 d AM1LB 0
629.01/630.60 o 47342
629.01/630.60 s OPTIMUM FOUND
629.01/630.60 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: 64059 MiB (62739 MiB free)
memory of node 1: 64510 MiB (62315 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454410-1721472086/watcher-4454410-1721472086 -o /tmp/evaluation-result-4454410-1721472086/solver-4454410-1721472086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721471663-1051933 --watchdog 3760 pb-oll-rs HOME/instance-4454410-1721472086.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux Starting watchdog threadmit, stack expansion wi
Linux Starting watchdog threadmit, stack expansion wi
Current StackSize limit: 8192 KiB
solver pid=1052578, runsolver pid=1052575
[startup+0.1001 s]*
/proc/loadavg: 4.11 3.43 2.41 5/243 1052579
/proc/meminfo: memFree=128052260/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=41660 memory=10056 CPUtime=0.1 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 1347 0 0 0 9 1 0 0 20 0 1 0 199365495 42659840 2514 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 10415 2514 1379 291 0 1949 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41660 KiB
Current children cumulated memory: 10056 KiB
[startup+0.213196 s]*
/proc/loadavg: 4.11 3.43 2.41 5/243 1052579
/proc/meminfo: memFree=128047160/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=43812 memory=14548 CPUtime=0.21 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 1916 0 0 0 20 1 0 0 20 0 1 0 199365495 44863488 3637 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 10953 3637 1379 291 0 2487 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43812 KiB
Current children cumulated memory: 14548 KiB
[startup+0.313081 s]*
/proc/loadavg: 4.11 3.43 2.41 5/243 1052579
/proc/meminfo: memFree=128046012/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=44492 memory=15076 CPUtime=0.31 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 2082 0 0 0 29 2 0 0 20 0 1 0 199365495 45559808 3769 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 11123 3769 1379 291 0 2657 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44492 KiB
Current children cumulated memory: 15076 KiB
[startup+0.700337 s]
/proc/loadavg: 4.11 3.43 2.41 5/243 1052579
/proc/meminfo: memFree=128044864/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=51636 memory=21588 CPUtime=0.69 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 3154 0 0 0 64 5 0 0 20 0 1 0 199365495 52875264 5397 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 12909 5397 1379 291 0 4443 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51636 KiB
Current children cumulated memory: 21588 KiB
[startup+1.50033 s]
/proc/loadavg: 4.11 3.43 2.41 5/243 1052579
/proc/meminfo: memFree=128038376/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=59484 memory=28172 CPUtime=1.49 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 4279 0 0 0 139 10 0 0 20 0 1 0 199365495 60911616 7043 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 14871 7043 1441 291 0 6405 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 59484 KiB
Current children cumulated memory: 28172 KiB
[startup+3.11269 s]
/proc/loadavg: 4.11 3.43 2.41 5/243 1052580
/proc/meminfo: memFree=128026372/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=60380 memory=28960 CPUtime=3.09 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 4430 0 0 0 294 15 0 0 20 0 1 0 199365495 61829120 7240 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 15095 7240 1441 291 0 6629 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60380 KiB
Current children cumulated memory: 28960 KiB
[startup+6.3003 s]
/proc/loadavg: 4.10 3.44 2.41 5/243 1052580
/proc/meminfo: memFree=128024396/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=62644 memory=30800 CPUtime=6.28 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 4917 0 0 0 602 26 0 0 20 0 1 0 199365495 64147456 7700 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 15661 7700 1441 291 0 7195 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 62644 KiB
Current children cumulated memory: 30800 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 3.45 2.42 5/243 1052580
/proc/meminfo: memFree=128020380/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=73188 memory=38500 CPUtime=12.65 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 6390 0 0 0 1218 47 0 0 20 0 1 0 199365495 74944512 9625 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 18297 9625 1441 291 0 9831 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 73188 KiB
Current children cumulated memory: 38500 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 3.48 2.45 5/243 1052583
/proc/meminfo: memFree=128001228/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=78276 memory=46344 CPUtime=25.43 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 7464 0 0 0 2464 79 0 0 20 0 1 0 199365495 80154624 11586 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 19569 11586 1441 291 0 11103 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 78276 KiB
Current children cumulated memory: 46344 KiB
[startup+51.1139 s]
/proc/loadavg: 4.05 3.52 2.49 5/243 1052586
/proc/meminfo: memFree=127979244/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=99524 memory=58532 CPUtime=50.98 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 9985 0 0 0 4960 138 0 0 20 0 1 0 199365495 101912576 14633 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 24881 14633 1441 291 0 16415 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 99524 KiB
Current children cumulated memory: 58532 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 3.61 2.58 5/243 1052595
/proc/meminfo: memFree=127965904/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=100636 memory=64180 CPUtime=102.02 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 10690 0 0 0 9964 238 0 0 20 0 1 0 199365495 103051264 16045 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 25159 16045 1441 291 0 16693 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 100636 KiB
Current children cumulated memory: 64180 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 3.72 2.68 5/243 1052606
/proc/meminfo: memFree=127955244/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=101620 memory=68840 CPUtime=161.87 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 11421 0 0 0 15828 359 0 0 20 0 1 0 199365495 104058880 17210 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 25405 17210 1441 291 0 16939 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 101620 KiB
Current children cumulated memory: 68840 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.79 2.77 5/243 1052617
/proc/meminfo: memFree=127935112/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=132008 memory=87324 CPUtime=221.72 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 14267 0 0 0 21728 444 0 0 20 0 1 0 199365495 135176192 21831 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 33002 21831 1441 291 0 24536 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 132008 KiB
Current children cumulated memory: 87324 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.84 2.86 5/243 1052627
/proc/meminfo: memFree=127927564/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=137720 memory=93196 CPUtime=281.57 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 15459 0 0 0 27638 519 0 0 20 0 1 0 199365495 141025280 23299 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 34430 23299 1441 291 0 25964 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 137720 KiB
Current children cumulated memory: 93196 KiB
[startup+342.3 s]
/proc/loadavg: 4.26 3.92 2.95 5/241 1052637
/proc/meminfo: memFree=127914780/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=148548 memory=103024 CPUtime=341.43 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 17636 0 0 0 33549 594 0 0 20 0 1 0 199365495 152113152 25756 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 37137 25756 1441 291 0 28671 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 148548 KiB
Current children cumulated memory: 103024 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.95 3.02 5/241 1052648
/proc/meminfo: memFree=127900176/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=154808 memory=111840 CPUtime=401.28 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 19006 0 0 0 39464 664 0 0 20 0 1 0 199365495 158523392 27960 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 38702 27960 1441 291 0 30236 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 154808 KiB
Current children cumulated memory: 111840 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.98 3.09 5/241 1052658
/proc/meminfo: memFree=127886868/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=156216 memory=117408 CPUtime=461.13 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 19579 0 0 0 45388 725 0 0 20 0 1 0 199365495 159965184 29352 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 39054 29352 1441 291 0 30588 0
Current children cumulated CPU time: 461.13 s
Current children cumulated vsize: 156216 KiB
Current children cumulated memory: 117408 KiB
[startup+522.3 s]
/proc/loadavg: 4.15 4.03 3.17 5/241 1052668
/proc/meminfo: memFree=127868068/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=157372 memory=118732 CPUtime=520.99 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 20199 0 0 0 51320 779 0 0 20 0 1 0 199365495 161148928 29683 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 39343 29683 1441 291 0 30877 0
Current children cumulated CPU time: 520.99 s
Current children cumulated vsize: 157372 KiB
Current children cumulated memory: 118732 KiB
[startup+582.3 s]
/proc/loadavg: 4.10 4.03 3.23 5/244 1052684
/proc/meminfo: memFree=127861660/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=157628 memory=119128 CPUtime=580.85 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 20832 0 0 0 57248 837 0 0 20 0 1 0 199365495 161411072 29782 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 39407 29782 1441 291 0 30941 0
Current children cumulated CPU time: 580.85 s
Current children cumulated vsize: 157628 KiB
Current children cumulated memory: 119128 KiB
[startup+630.603 s]
# the end of solver process 1052578 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=620.25 s, system=8.78022 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 4.17 4.05 3.24 5/244 1052685
/proc/meminfo: memFree=127859540/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=157628 memory=119128 CPUtime=587.33 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 20866 0 0 0 57890 843 0 0 20 0 1 0 199365495 161411072 29782 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 39407 29782 1441 291 0 30941 0
Current children cumulated CPU time: 587.33 s
Current children cumulated vsize: 157628 KiB
Current children cumulated memory: 119128 KiB
[startup+614.4 s]
/proc/loadavg: 4.16 4.06 3.27 5/244 1052691
/proc/meminfo: memFree=127851296/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=157948 memory=125896 CPUtime=612.86 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 21218 0 0 0 60420 866 0 0 20 0 1 0 199365495 161738752 31474 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 39487 31474 1441 291 0 31021 0
Current children cumulated CPU time: 612.86 s
Current children cumulated vsize: 157948 KiB
Current children cumulated memory: 125896 KiB
[startup+620.8 s]
/proc/loadavg: 4.23 4.07 3.28 5/244 1052691
/proc/meminfo: memFree=127848124/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=157948 memory=128840 CPUtime=619.24 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 21220 0 0 0 61054 870 0 0 20 0 1 0 199365495 161738752 32210 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 39487 32210 1441 291 0 31021 0
Current children cumulated CPU time: 619.24 s
Current children cumulated vsize: 157948 KiB
Current children cumulated memory: 128840 KiB
[startup+627.2 s]
/proc/loadavg: 4.21 4.07 3.28 5/244 1052692
/proc/meminfo: memFree=127845732/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=157948 memory=128840 CPUtime=625.63 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 21220 0 0 0 61689 874 0 0 20 0 1 0 199365495 161738752 32210 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 39487 32210 1441 291 0 31021 0
Current children cumulated CPU time: 625.63 s
Current children cumulated vsize: 157948 KiB
Current children cumulated memory: 128840 KiB
[startup+628.8 s]
/proc/loadavg: 4.21 4.07 3.28 5/244 1052692
/proc/meminfo: memFree=127845732/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=158140 memory=128840 CPUtime=627.22 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 21239 0 0 0 61848 874 0 0 20 0 1 0 199365495 161935360 32210 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 39535 32210 1441 291 0 31069 0
Current children cumulated CPU time: 627.22 s
Current children cumulated vsize: 158140 KiB
Current children cumulated memory: 128840 KiB
[startup+629.6 s]
/proc/loadavg: 4.27 4.09 3.29 5/244 1052692
/proc/meminfo: memFree=127845572/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=158204 memory=129044 CPUtime=628.02 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 21414 0 0 0 61926 876 0 0 20 0 1 0 199365495 162000896 32261 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 39551 32261 1441 291 0 31085 0
Current children cumulated CPU time: 628.02 s
Current children cumulated vsize: 158204 KiB
Current children cumulated memory: 129044 KiB
[startup+630.4 s]
/proc/loadavg: 4.27 4.09 3.29 5/244 1052692
/proc/meminfo: memFree=127845340/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=158204 memory=129044 CPUtime=628.82 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 21414 0 0 0 62005 877 0 0 20 0 1 0 199365495 162000896 32261 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 39551 32261 1441 291 0 31085 0
Current children cumulated CPU time: 628.82 s
Current children cumulated vsize: 158204 KiB
Current children cumulated memory: 129044 KiB
[startup+630.6 s]
/proc/loadavg: 4.27 4.09 3.29 5/244 1052692
/proc/meminfo: memFree=127845340/131655788 swapFree=131071996/131071996
[pid=1052578] ppid=1052575 vsize=158204 memory=129044 CPUtime=629.01 cores=5,7
/proc/1052578/stat : 1052578 (pb-oll-rs) R 1052575 1052578 1051920 0 -1 4194304 21414 0 0 0 62024 877 0 0 20 0 1 0 199365495 162000896 32261 134679101440 4194304 5384485 140730580514064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9986048 140730580517909 140730580517986 140730580517986 140730580525003 0
/proc/1052578/statm: 39551 32261 1441 291 0 31085 0
Current children cumulated CPU time: 629.01 s
Current children cumulated vsize: 158204 KiB
Current children cumulated memory: 129044 KiB
Child status: 0
Real time (s): 630.603
CPU time (s): 629.03
CPU user time (s): 620.25
CPU system time (s): 8.78022
CPU usage (%): 99.7505
Max. virtual memory (cumulated for all children) (KiB): 158288
Max. memory (cumulated for all children) (KiB): 129044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 620.25
system time used= 8.78022
maximum resident set size= 129356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21424
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= 42
involuntary context switches= 436
# summary of solver processes directly reported to runsolver:
# pid: 1052578
# total CPU time (s): 629.03
# total CPU user time (s): 620.25
# total CPU system time (s): 8.78022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.94931 second user time and 6.29967 second system time
The end
Begin job on nodeC012 at 2024-07-20 12:41:38
IDJOB=4454410
IDBENCH=148153
IDSOLVER=3082
FILE ID=nodeC012/4454410-1721472086
RUNJOBID= nodeC012-1721471663-1051933
SLURM_JOB_ID= 7545738
Free space on /tmp= 723768 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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-4454410-1721472086/watcher-4454410-1721472086 -o /tmp/evaluation-result-4454410-1721472086/solver-4454410-1721472086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721471663-1051933 --watchdog 3760 pb-oll-rs HOME/instance-4454410-1721472086.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cc2b167b604094044d9d141ee486a126
RANDOM SEED=1418096311
nodeC012.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 : 3506.136
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 : 6984.37
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 : 3668.308
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.510
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 : 6984.37
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.414
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3655.100
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 : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.234
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.573
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 : 6984.37
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.336
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128057048 kB
MemAvailable: 129600912 kB
Buffers: 560108 kB
Cached: 1827264 kB
SwapCached: 0 kB
Active: 1136248 kB
Inactive: 1904264 kB
Active(anon): 1440 kB
Inactive(anon): 697592 kB
Active(file): 1134808 kB
Inactive(file): 1206672 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2160 kB
Writeback: 0 kB
AnonPages: 653144 kB
Mapped: 111532 kB
Shmem: 45896 kB
KReclaimable: 84832 kB
Slab: 187504 kB
SReclaimable: 84832 kB
SUnreclaim: 102672 kB
KernelStack: 3920 kB
PageTables: 10832 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1014456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62400 kB
HardwareCorrupted: 0 kB
AnonHugePages: 395264 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: 312136 kB
DirectMap2M: 33146880 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723764 MiB
End job on nodeC012 at 2024-07-20 12:52:09