0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.38/0.43 c #variables 21106 #constraints 99914
0.38/0.43 c objective is ce64
0.38/0.44 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.38/0.44 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.38/0.44 c GLOBAL bounds - >= 0 @ 0.319709
0.38/0.46 c GLOBAL bounds - >= 0 @ 0.329726
0.38/0.46 c GLOBAL bounds - >= 475711958016 @ 0.330087
0.58/0.68 c GLOBAL bounds - >= 475711958016 @ 0.525782
0.67/0.70 c GLOBAL bounds - >= 475711958016 @ 0.534193
0.67/0.70 c GLOBAL bounds - >= 475711958016 @ 0.534772
0.67/0.72 c GLOBAL bounds - >= 475711958016 @ 0.541939
0.67/0.72 c GLOBAL bounds - >= 475711958016 @ 0.542202
0.67/0.74 c GLOBAL bounds - >= 475711958016 @ 0.550115
0.67/0.74 c GLOBAL bounds - >= 475711958016 @ 0.550569
0.67/0.76 c GLOBAL bounds - >= 475711958016 @ 0.558672
0.67/0.76 c GLOBAL bounds - >= 475711958016 @ 0.559168
0.67/0.78 c GLOBAL bounds - >= 475711958016 @ 0.565111
0.67/0.78 c GLOBAL bounds - >= 475711958016 @ 0.565551
0.77/0.80 c GLOBAL bounds - >= 475711958016 @ 0.575597
0.77/0.80 c GLOBAL bounds - >= 475711958016 @ 0.575911
0.77/0.82 c GLOBAL bounds - >= 475711958016 @ 0.582807
0.77/0.82 c GLOBAL bounds - >= 475711958016 @ 0.583167
0.77/0.84 c GLOBAL bounds - >= 475711958016 @ 0.593563
0.77/0.84 c GLOBAL bounds - >= 475711958016 @ 0.594087
0.77/0.86 c GLOBAL bounds - >= 475711958016 @ 0.603083
0.77/0.86 c GLOBAL bounds - >= 475711958016 @ 0.603338
0.77/0.87 c GLOBAL bounds - >= 475711958016 @ 0.608524
0.77/0.89 c GLOBAL bounds - >= 475711958016 @ 0.615056
0.87/0.91 c GLOBAL bounds - >= 475711958016 @ 0.62105
0.87/0.92 c GLOBAL bounds - >= 1110013024320 @ 0.625034
0.87/0.92 c GLOBAL bounds - >= 1110013024320 @ 0.628156
0.87/0.94 c GLOBAL bounds - >= 1110013024320 @ 0.635027
0.87/0.94 c GLOBAL bounds - >= 1110013024320 @ 0.635027
0.87/0.96 c GLOBAL bounds - >= 1110013024320 @ 0.639412
0.87/0.96 c GLOBAL bounds - >= 1110013024320 @ 0.639906
0.87/0.98 c GLOBAL bounds - >= 1110013024320 @ 0.648937
0.87/0.98 c GLOBAL bounds - >= 1110013024320 @ 0.649519
0.87/1.00 c GLOBAL bounds - >= 1110013024320 @ 0.65667
0.87/1.00 c GLOBAL bounds - >= 1110013024320 @ 0.65707
0.98/1.02 c GLOBAL bounds - >= 1110013024320 @ 0.662654
0.98/1.02 c GLOBAL bounds - >= 1110013024320 @ 0.663073
0.98/1.04 c GLOBAL bounds - >= 1110013024320 @ 0.670387
0.98/1.04 c GLOBAL bounds - >= 1110013024320 @ 0.670741
0.98/1.06 c GLOBAL bounds - >= 1110013024320 @ 0.677915
0.98/1.06 c GLOBAL bounds - >= 1110013024320 @ 0.677915
0.98/1.08 c GLOBAL bounds - >= 1110013024320 @ 0.686909
0.98/1.08 c GLOBAL bounds - >= 1110013024320 @ 0.687463
0.98/1.09 c GLOBAL bounds - >= 1110013024320 @ 0.692691
0.98/1.10 c GLOBAL bounds - >= 1110013024320 @ 0.6931
1.07/1.11 c GLOBAL bounds - >= 1110013024320 @ 0.698453
1.07/1.13 c GLOBAL bounds - >= 1110013024320 @ 0.705917
1.07/1.14 c GLOBAL bounds - >= 1110013024320 @ 0.709196
1.07/1.16 c GLOBAL bounds - >= 1110013024320 @ 0.714576
1.07/1.17 c GLOBAL bounds - >= 1110013024320 @ 0.720686
1.07/1.19 c GLOBAL bounds - >= 1110013024320 @ 0.727732
1.17/1.20 c GLOBAL bounds - >= 1110013024320 @ 0.733922
1.17/1.21 c GLOBAL bounds - >= 1427172785280 @ 0.740905
1.17/1.21 c GLOBAL bounds - >= 1427172785280 @ 0.747843
1.17/1.23 c GLOBAL bounds - >= 1427172785280 @ 0.755671
1.17/1.23 c GLOBAL bounds - >= 1427172785280 @ 0.755833
1.17/1.25 c GLOBAL bounds - >= 1427172785280 @ 0.760678
1.17/1.25 c GLOBAL bounds - >= 1427172785280 @ 0.761439
1.17/1.27 c GLOBAL bounds - >= 1427172785280 @ 0.767676
1.17/1.27 c GLOBAL bounds - >= 1427172785280 @ 0.767822
1.17/1.29 c GLOBAL bounds - >= 1427172785280 @ 0.773568
1.17/1.29 c GLOBAL bounds - >= 1427172785280 @ 0.774092
1.27/1.31 c GLOBAL bounds - >= 1427172785280 @ 0.779428
1.27/1.31 c GLOBAL bounds - >= 1427172785280 @ 0.779851
1.27/1.33 c GLOBAL bounds - >= 1427172785280 @ 0.784739
1.27/1.34 c GLOBAL bounds - >= 1427172785280 @ 0.784739
1.27/1.35 c GLOBAL bounds - >= 1427172785280 @ 0.791764
1.27/1.36 c GLOBAL bounds - >= 1427172785280 @ 0.792597
1.27/1.37 c GLOBAL bounds - >= 1427172785280 @ 0.799194
1.27/1.38 c GLOBAL bounds - >= 1427172785280 @ 0.799775
1.37/1.40 c GLOBAL bounds - >= 1427172785280 @ 0.806569
1.37/1.40 c GLOBAL bounds - >= 1427172785280 @ 0.807559
1.37/1.42 c GLOBAL bounds - >= 1427172785280 @ 0.818573
1.37/1.44 c GLOBAL bounds - >= 1427172785280 @ 0.830217
1.37/1.45 c GLOBAL bounds - >= 1823673239424 @ 0.838866
1.37/1.46 c GLOBAL bounds - >= 1823673239424 @ 0.850653
1.37/1.48 c GLOBAL bounds - >= 1823673239424 @ 0.858016
1.37/1.48 c GLOBAL bounds - >= 1823673239424 @ 0.858761
1.47/1.50 c GLOBAL bounds - >= 1823673239424 @ 0.865913
1.47/1.50 c GLOBAL bounds - >= 1823673239424 @ 0.866626
1.47/1.52 c GLOBAL bounds - >= 1823673239424 @ 0.874032
1.47/1.52 c GLOBAL bounds - >= 1823673239424 @ 0.87453
1.47/1.54 c GLOBAL bounds - >= 1823673239424 @ 0.883516
1.47/1.54 c GLOBAL bounds - >= 1823673239424 @ 0.88415
1.47/1.56 c GLOBAL bounds - >= 1823673239424 @ 0.891817
1.47/1.56 c GLOBAL bounds - >= 1823673239424 @ 0.892827
1.47/1.58 c GLOBAL bounds - >= 1823673239424 @ 0.901351
1.47/1.58 c GLOBAL bounds - >= 1823673239424 @ 0.901548
1.57/1.60 c GLOBAL bounds - >= 1823673239424 @ 0.910887
1.57/1.60 c GLOBAL bounds - >= 1823673239424 @ 0.911527
1.57/1.63 c GLOBAL bounds - >= 1823673239424 @ 0.921095
1.57/1.63 c GLOBAL bounds - >= 1823673239424 @ 0.921508
1.57/1.65 c GLOBAL bounds - >= 1823673239424 @ 0.93142
1.57/1.65 c GLOBAL bounds - >= 1823673239424 @ 0.931534
1.57/1.67 c GLOBAL bounds - >= 1823673239424 @ 0.939152
1.76/1.80 c GLOBAL bounds - >= 1823673239424 @ 1.04803
1.76/1.83 c GLOBAL bounds - >= 1823673239424 @ 1.06802
1.76/1.88 c GLOBAL bounds - >= 1903087755072 @ 1.11817
1.76/1.89 c GLOBAL bounds - >= 1903087755072 @ 1.12511
1.76/1.89 c GLOBAL bounds - >= 1903087755072 @ 1.12589
1.86/1.91 c GLOBAL bounds - >= 1903087755072 @ 1.13278
1.86/1.91 c GLOBAL bounds - >= 1903087755072 @ 1.1337
1.86/1.93 c GLOBAL bounds - >= 1903087755072 @ 1.14177
1.86/1.93 c GLOBAL bounds - >= 1903087755072 @ 1.14264
1.86/1.95 c GLOBAL bounds - >= 1903087755072 @ 1.1505
1.86/1.95 c GLOBAL bounds - >= 1903087755072 @ 1.15092
1.86/1.97 c GLOBAL bounds - >= 1903087755072 @ 1.15665
1.86/1.97 c GLOBAL bounds - >= 1903087755072 @ 1.15691
1.86/1.99 c GLOBAL bounds - >= 1903087755072 @ 1.16362
1.86/1.99 c GLOBAL bounds - >= 1903087755072 @ 1.16423
1.97/2.01 c GLOBAL bounds - >= 1903087755072 @ 1.17087
1.97/2.01 c GLOBAL bounds - >= 1903087755072 @ 1.17178
1.97/2.03 c GLOBAL bounds - >= 1903087755072 @ 1.1771
1.97/2.03 c GLOBAL bounds - >= 1903087755072 @ 1.17807
1.97/2.05 c GLOBAL bounds - >= 1903087755072 @ 1.18354
1.97/2.05 c GLOBAL bounds - >= 1903087755072 @ 1.18376
1.97/2.07 c GLOBAL bounds - >= 1903087755072 @ 1.1911
1.97/2.07 c GLOBAL bounds - >= 1903087755072 @ 1.19218
1.97/2.09 c GLOBAL bounds - >= 1903087755072 @ 1.20251
2.07/2.16 c GLOBAL bounds - >= 1903087755072 @ 1.25552
2.16/2.24 c GLOBAL bounds - >= 1903087755072 @ 1.31884
2.16/2.28 c GLOBAL bounds - >= 1903087755072 @ 1.35632
2.26/2.31 c GLOBAL bounds - >= 1903087755072 @ 1.36805
2.26/2.33 c GLOBAL bounds - >= 1903087755072 @ 1.37949
2.47/2.54 c GLOBAL bounds - >= 1982465359488 @ 1.5776
2.47/2.55 c GLOBAL bounds - >= 1982465359488 @ 1.58251
2.47/2.55 c GLOBAL bounds - >= 1982465359488 @ 1.58269
2.47/2.57 c GLOBAL bounds - >= 1982465359488 @ 1.5883
2.47/2.57 c GLOBAL bounds - >= 1982465359488 @ 1.58868
2.47/2.59 c GLOBAL bounds - >= 1982465359488 @ 1.59735
2.47/2.59 c GLOBAL bounds - >= 1982465359488 @ 1.59767
2.57/2.61 c GLOBAL bounds - >= 1982465359488 @ 1.60729
2.57/2.61 c GLOBAL bounds - >= 1982465359488 @ 1.60764
2.57/2.63 c GLOBAL bounds - >= 1982465359488 @ 1.61691
2.57/2.63 c GLOBAL bounds - >= 1982465359488 @ 1.61763
2.57/2.65 c GLOBAL bounds - >= 1982465359488 @ 1.62635
2.57/2.65 c GLOBAL bounds - >= 1982465359488 @ 1.62661
2.57/2.67 c GLOBAL bounds - >= 1982465359488 @ 1.63348
2.57/2.67 c GLOBAL bounds - >= 1982465359488 @ 1.63445
2.57/2.69 c GLOBAL bounds - >= 1982465359488 @ 1.64298
2.57/2.69 c GLOBAL bounds - >= 1982465359488 @ 1.64408
2.66/2.71 c GLOBAL bounds - >= 1982465359488 @ 1.64949
2.66/2.71 c GLOBAL bounds - >= 1982465359488 @ 1.65048
2.66/2.73 c GLOBAL bounds - >= 1982465359488 @ 1.65778
2.66/2.73 c GLOBAL bounds - >= 1982465359488 @ 1.65877
2.66/2.75 c GLOBAL bounds - >= 1982465359488 @ 1.66527
3.46/3.50 c #Conflicts: 1000 | #Constraints: 2403
3.46/3.50 c GLOBAL bounds - >= 2061935241984 @ 2.36186
3.46/3.52 c GLOBAL bounds - >= 2061935241984 @ 2.37661
3.46/3.54 c GLOBAL bounds - >= 2061935241984 @ 2.38402
3.46/3.54 c GLOBAL bounds - >= 2061935241984 @ 2.3846
3.46/3.57 c GLOBAL bounds - >= 2061935241984 @ 2.39517
3.46/3.57 c GLOBAL bounds - >= 2061935241984 @ 2.39558
3.46/3.59 c GLOBAL bounds - >= 2061935241984 @ 2.40303
3.46/3.59 c GLOBAL bounds - >= 2061935241984 @ 2.40356
3.56/3.61 c GLOBAL bounds - >= 2061935241984 @ 2.41128
3.56/3.62 c GLOBAL bounds - >= 2061935241984 @ 2.41258
3.56/3.64 c GLOBAL bounds - >= 2061935241984 @ 2.42538
3.56/3.64 c GLOBAL bounds - >= 2061935241984 @ 2.42652
3.56/3.66 c GLOBAL bounds - >= 2061935241984 @ 2.43544
3.56/3.66 c GLOBAL bounds - >= 2061935241984 @ 2.43683
3.56/3.69 c GLOBAL bounds - >= 2061935241984 @ 2.44653
3.56/3.69 c GLOBAL bounds - >= 2061935241984 @ 2.44798
3.67/3.71 c GLOBAL bounds - >= 2061935241984 @ 2.45375
3.67/3.71 c GLOBAL bounds - >= 2061935241984 @ 2.45447
3.67/3.73 c GLOBAL bounds - >= 2061935241984 @ 2.46248
3.67/3.73 c GLOBAL bounds - >= 2061935241984 @ 2.46373
3.67/3.75 c GLOBAL bounds - >= 2061935241984 @ 2.47346
3.67/3.77 c GLOBAL bounds - >= 2061935241984 @ 2.4842
4.07/4.16 c #Conflicts: 2000 | #Constraints: 3445
4.07/4.16 c INPROCESSING
4.07/4.16 c GARBAGE COLLECT
4.07/4.16 c GLOBAL bounds - >= 2061935241984 @ 2.85026
4.36/4.44 c GLOBAL bounds - >= 2062082886912 @ 3.09058
4.36/4.45 c GLOBAL bounds - >= 2062082886912 @ 3.1001
4.36/4.47 c GLOBAL bounds - >= 2062082886912 @ 3.11116
4.36/4.47 c GLOBAL bounds - >= 2062082886912 @ 3.11157
4.36/4.49 c GLOBAL bounds - >= 2062082886912 @ 3.11993
4.36/4.49 c GLOBAL bounds - >= 2062082886912 @ 3.12131
4.46/4.51 c GLOBAL bounds - >= 2062082886912 @ 3.13091
4.46/4.51 c GLOBAL bounds - >= 2062082886912 @ 3.13152
4.46/4.53 c GLOBAL bounds - >= 2062082886912 @ 3.13745
4.46/4.53 c GLOBAL bounds - >= 2062082886912 @ 3.13851
4.46/4.55 c GLOBAL bounds - >= 2062082886912 @ 3.15018
4.46/4.55 c GLOBAL bounds - >= 2062082886912 @ 3.15069
4.46/4.57 c GLOBAL bounds - >= 2062082886912 @ 3.16184
4.46/4.58 c GLOBAL bounds - >= 2062082886912 @ 3.16247
4.56/4.60 c GLOBAL bounds - >= 2062082886912 @ 3.16824
4.56/4.60 c GLOBAL bounds - >= 2062082886912 @ 3.16946
4.56/4.62 c GLOBAL bounds - >= 2062082886912 @ 3.1772
4.56/4.62 c GLOBAL bounds - >= 2062082886912 @ 3.17789
4.56/4.64 c GLOBAL bounds - >= 2062082886912 @ 3.19027
4.56/4.64 c GLOBAL bounds - >= 2062082886912 @ 3.19141
4.56/4.67 c GLOBAL bounds - >= 2062082886912 @ 3.20117
4.56/4.68 c GLOBAL bounds - >= 2062082886912 @ 3.20883
8.25/8.34 c #Conflicts: 3000 | #Constraints: 3460
8.25/8.34 c #Conflicts: 4000 | #Constraints: 4460
8.25/8.34 c INPROCESSING
8.25/8.34 c GARBAGE COLLECT
8.25/8.34 c #Conflicts: 5000 | #Constraints: 3859
8.25/8.34 c #Conflicts: 6000 | #Constraints: 4859
8.25/8.34 c INPROCESSING
8.25/8.34 c GARBAGE COLLECT
8.25/8.34 c GLOBAL bounds - >= 2141515858176 @ 6.72347
8.25/8.36 c GLOBAL bounds - >= 2141515858176 @ 6.73749
8.25/8.36 c GLOBAL bounds - >= 2141515858176 @ 6.73882
8.25/8.39 c GLOBAL bounds - >= 2141515858176 @ 6.75324
8.25/8.39 c GLOBAL bounds - >= 2141515858176 @ 6.75507
8.36/8.41 c GLOBAL bounds - >= 2141515858176 @ 6.76364
8.36/8.41 c GLOBAL bounds - >= 2141515858176 @ 6.76545
8.36/8.43 c GLOBAL bounds - >= 2141515858176 @ 6.77704
8.36/8.44 c GLOBAL bounds - >= 2141515858176 @ 6.77801
8.36/8.46 c GLOBAL bounds - >= 2141515858176 @ 6.79363
8.36/8.46 c GLOBAL bounds - >= 2141515858176 @ 6.79392
8.36/8.48 c GLOBAL bounds - >= 2141515858176 @ 6.80496
8.36/8.48 c GLOBAL bounds - >= 2141515858176 @ 6.8059
8.45/8.50 c GLOBAL bounds - >= 2141515858176 @ 6.81636
8.45/8.51 c GLOBAL bounds - >= 2141515858176 @ 6.81823
8.45/8.53 c GLOBAL bounds - >= 2141515858176 @ 6.82494
8.45/8.53 c GLOBAL bounds - >= 2141515858176 @ 6.82586
8.45/8.55 c GLOBAL bounds - >= 2141515858176 @ 6.8342
8.45/8.55 c GLOBAL bounds - >= 2141515858176 @ 6.83485
8.45/8.57 c GLOBAL bounds - >= 2141515858176 @ 6.8414
8.45/8.57 c GLOBAL bounds - >= 2141515858176 @ 6.84188
8.45/8.59 c GLOBAL bounds - >= 2141515858176 @ 6.85185
8.55/8.61 c GLOBAL bounds - >= 2141515858176 @ 6.86018
8.55/8.63 c GLOBAL bounds - >= 2141515858176 @ 6.86845
8.55/8.65 c GLOBAL bounds - >= 2141515858176 @ 6.88175
8.55/8.66 c GLOBAL bounds - >= 2141515858176 @ 6.892
9.45/9.54 c #Conflicts: 7000 | #Constraints: 3920
9.45/9.54 c #Conflicts: 8000 | #Constraints: 4920
9.45/9.54 c GLOBAL bounds - >= 2141515858176 @ 7.74809
11.64/11.77 c #Conflicts: 9000 | #Constraints: 5920
11.64/11.77 c INPROCESSING
11.64/11.77 c GARBAGE COLLECT
11.64/11.77 c #Conflicts: 10000 | #Constraints: 4604
11.64/11.77 c GLOBAL bounds - >= 2141515858176 @ 9.9156
11.64/11.78 c GLOBAL bounds - >= 2141515858176 @ 9.92384
11.74/11.80 c GLOBAL bounds - >= 2141515858176 @ 9.93221
11.74/11.82 c GLOBAL bounds - >= 2141515858176 @ 9.94015
11.74/11.85 c GLOBAL bounds - >= 2141515858176 @ 9.94805
11.74/11.87 c GLOBAL bounds - >= 2141515858176 @ 9.96206
12.34/12.48 c #Conflicts: 11000 | #Constraints: 5616
12.34/12.48 c GLOBAL bounds - >= 2141515858176 @ 10.546
18.23/18.33 c #Conflicts: 12000 | #Constraints: 6619
18.23/18.33 c INPROCESSING
18.23/18.33 c GARBAGE COLLECT
18.23/18.33 c #Conflicts: 13000 | #Constraints: 5069
18.23/18.33 c #Conflicts: 14000 | #Constraints: 6069
18.23/18.33 c #Conflicts: 15000 | #Constraints: 7069
18.23/18.33 c INPROCESSING
18.23/18.33 c GARBAGE COLLECT
18.23/18.33 c #Conflicts: 16000 | #Constraints: 5294
18.23/18.33 c #Conflicts: 17000 | #Constraints: 6294
18.23/18.33 c GLOBAL bounds - >= 2220838095744 @ 16.1708
18.23/18.34 c GLOBAL bounds - >= 2220838095744 @ 16.1841
18.23/18.34 c GLOBAL bounds - >= 2220838095744 @ 16.1853
18.23/18.34 c GLOBAL bounds - >= 2220838095744 @ 16.1861
18.23/18.35 c GLOBAL bounds - >= 2220838095744 @ 16.1861
18.23/18.35 c GLOBAL bounds - >= 2220838095744 @ 16.1874
18.23/18.38 c GLOBAL bounds - >= 2220838095744 @ 16.2021
18.23/18.38 c GLOBAL bounds - >= 2220838095744 @ 16.2033
18.32/18.41 c GLOBAL bounds - >= 2220838095744 @ 16.2196
18.32/18.41 c GLOBAL bounds - >= 2220838095744 @ 16.22
18.32/18.44 c GLOBAL bounds - >= 2220838095744 @ 16.2352
18.32/18.44 c GLOBAL bounds - >= 2220838095744 @ 16.2362
18.32/18.47 c GLOBAL bounds - >= 2220838095744 @ 16.2526
18.32/18.47 c GLOBAL bounds - >= 2220838095744 @ 16.2536
18.43/18.50 c GLOBAL bounds - >= 2220838095744 @ 16.2712
18.43/18.50 c GLOBAL bounds - >= 2220838095744 @ 16.2731
18.43/18.53 c GLOBAL bounds - >= 2220838095744 @ 16.2877
18.43/18.53 c GLOBAL bounds - >= 2220838095744 @ 16.2887
18.43/18.56 c GLOBAL bounds - >= 2220838095744 @ 16.3062
18.43/18.56 c GLOBAL bounds - >= 2220838095744 @ 16.3078
18.43/18.59 c GLOBAL bounds - >= 2220838095744 @ 16.3237
18.43/18.59 c GLOBAL bounds - >= 2220838095744 @ 16.3258
18.53/18.62 c GLOBAL bounds - >= 2220838095744 @ 16.3393
18.53/18.62 c GLOBAL bounds - >= 2220838095744 @ 16.3397
18.53/18.65 c GLOBAL bounds - >= 2220838095744 @ 16.3557
19.72/19.86 c #Conflicts: 18000 | #Constraints: 7337
19.72/19.86 c INPROCESSING
19.72/19.86 c GARBAGE COLLECT
19.72/19.86 c GLOBAL bounds - >= 2221151841216 @ 17.531
19.72/19.88 c GLOBAL bounds - >= 2221151841216 @ 17.5462
19.82/19.90 c GLOBAL bounds - >= 2221151841216 @ 17.5582
19.82/19.90 c GLOBAL bounds - >= 2221151841216 @ 17.5586
19.82/19.93 c GLOBAL bounds - >= 2221151841216 @ 17.5702
19.82/19.93 c GLOBAL bounds - >= 2221151841216 @ 17.5721
19.82/19.95 c GLOBAL bounds - >= 2221151841216 @ 17.5818
19.82/19.95 c GLOBAL bounds - >= 2221151841216 @ 17.5829
19.82/19.98 c GLOBAL bounds - >= 2221151841216 @ 17.5947
19.82/19.98 c GLOBAL bounds - >= 2221151841216 @ 17.5967
19.92/20.00 c GLOBAL bounds - >= 2221151841216 @ 17.6057
19.92/20.00 c GLOBAL bounds - >= 2221151841216 @ 17.6073
19.92/20.03 c GLOBAL bounds - >= 2221151841216 @ 17.6202
19.92/20.03 c GLOBAL bounds - >= 2221151841216 @ 17.6213
19.92/20.05 c GLOBAL bounds - >= 2221151841216 @ 17.6315
19.92/20.06 c GLOBAL bounds - >= 2221151841216 @ 17.6325
19.92/20.08 c GLOBAL bounds - >= 2221151841216 @ 17.6482
19.92/20.08 c GLOBAL bounds - >= 2221151841216 @ 17.6502
20.02/20.10 c GLOBAL bounds - >= 2221151841216 @ 17.6591
20.02/20.11 c GLOBAL bounds - >= 2221151841216 @ 17.6601
20.02/20.13 c GLOBAL bounds - >= 2221151841216 @ 17.673
20.42/20.56 c #Conflicts: 19000 | #Constraints: 5379
20.42/20.56 c GLOBAL bounds - >= 2221336397376 @ 18.0776
20.42/20.58 c GLOBAL bounds - >= 2221336397376 @ 18.091
20.52/20.60 c GLOBAL bounds - >= 2221336397376 @ 18.1002
20.52/20.60 c GLOBAL bounds - >= 2221336397376 @ 18.1013
20.52/20.63 c GLOBAL bounds - >= 2221336397376 @ 18.1113
20.52/20.63 c GLOBAL bounds - >= 2221336397376 @ 18.1132
20.52/20.65 c GLOBAL bounds - >= 2221336397376 @ 18.1203
20.52/20.65 c GLOBAL bounds - >= 2221336397376 @ 18.1212
20.52/20.67 c GLOBAL bounds - >= 2221336397376 @ 18.1282
20.52/20.68 c GLOBAL bounds - >= 2221336397376 @ 18.1292
20.61/20.70 c GLOBAL bounds - >= 2221336397376 @ 18.1389
20.61/20.70 c GLOBAL bounds - >= 2221336397376 @ 18.1399
20.61/20.72 c GLOBAL bounds - >= 2221336397376 @ 18.1497
20.61/20.72 c GLOBAL bounds - >= 2221336397376 @ 18.1506
20.61/20.74 c GLOBAL bounds - >= 2221336397376 @ 18.1604
20.61/20.74 c GLOBAL bounds - >= 2221336397376 @ 18.1619
20.61/20.76 c GLOBAL bounds - >= 2221336397376 @ 18.1702
20.61/20.77 c GLOBAL bounds - >= 2221336397376 @ 18.1709
20.61/20.79 c GLOBAL bounds - >= 2221336397376 @ 18.1801
20.61/20.79 c GLOBAL bounds - >= 2221336397376 @ 18.1821
20.72/20.81 c GLOBAL bounds - >= 2221336397376 @ 18.1919
81.06/81.35 c #Conflicts: 20000 | #Constraints: 6412
81.06/81.35 c #Conflicts: 21000 | #Constraints: 7412
81.06/81.35 c INPROCESSING
81.06/81.35 c GARBAGE COLLECT
81.06/81.35 c #Conflicts: 22000 | #Constraints: 5212
81.06/81.35 c #Conflicts: 23000 | #Constraints: 6212
81.06/81.35 c #Conflicts: 24000 | #Constraints: 7212
81.06/81.35 c #Conflicts: 25000 | #Constraints: 8212
81.06/81.35 c INPROCESSING
81.06/81.35 c GARBAGE COLLECT
81.06/81.35 c #Conflicts: 26000 | #Constraints: 5821
81.06/81.35 c #Conflicts: 27000 | #Constraints: 6821
81.06/81.35 c #Conflicts: 28000 | #Constraints: 7821
81.06/81.35 c #Conflicts: 29000 | #Constraints: 8821
81.06/81.35 c INPROCESSING
81.06/81.35 c GARBAGE COLLECT
81.06/81.35 c #Conflicts: 30000 | #Constraints: 6224
81.06/81.35 c #Conflicts: 31000 | #Constraints: 7224
81.06/81.35 c #Conflicts: 32000 | #Constraints: 8224
81.06/81.35 c #Conflicts: 33000 | #Constraints: 9224
81.06/81.35 c INPROCESSING
81.06/81.35 c GARBAGE COLLECT
81.06/81.35 c #Conflicts: 34000 | #Constraints: 6420
81.06/81.35 c #Conflicts: 35000 | #Constraints: 7420
81.06/81.35 c #Conflicts: 36000 | #Constraints: 8420
81.06/81.35 c #Conflicts: 37000 | #Constraints: 9420
81.06/81.35 c INPROCESSING
81.06/81.35 c GARBAGE COLLECT
81.06/81.35 c #Conflicts: 38000 | #Constraints: 6420
81.06/81.35 c #Conflicts: 39000 | #Constraints: 7420
81.06/81.35 c #Conflicts: 40000 | #Constraints: 8420
81.06/81.35 c #Conflicts: 41000 | #Constraints: 9420
81.06/81.35 c INPROCESSING
81.06/81.35 c GARBAGE COLLECT
81.06/81.35 c #Conflicts: 42000 | #Constraints: 6216
81.06/81.35 c #Conflicts: 43000 | #Constraints: 7216
81.06/81.35 c #Conflicts: 44000 | #Constraints: 8216
81.06/81.35 c #Conflicts: 45000 | #Constraints: 9216
81.06/81.35 c #Conflicts: 46000 | #Constraints: 10216
81.06/81.35 c INPROCESSING
81.06/81.35 c GARBAGE COLLECT
81.06/81.35 c #Conflicts: 47000 | #Constraints: 6815
81.06/81.35 c #Conflicts: 48000 | #Constraints: 7815
81.06/81.35 c #Conflicts: 49000 | #Constraints: 8815
81.06/81.35 c #Conflicts: 50000 | #Constraints: 9815
81.06/81.35 c #Conflicts: 51000 | #Constraints: 10815
81.06/81.35 c INPROCESSING
81.06/81.35 c GARBAGE COLLECT
81.06/81.35 c #Conflicts: 52000 | #Constraints: 7222
81.06/81.35 c #Conflicts: 53000 | #Constraints: 8222
81.06/81.35 c #Conflicts: 54000 | #Constraints: 9222
81.06/81.35 c #Conflicts: 55000 | #Constraints: 10222
81.06/81.35 c #Conflicts: 56000 | #Constraints: 11222
81.06/81.35 c INPROCESSING
81.06/81.35 c GARBAGE COLLECT
81.06/81.35 c #Conflicts: 57000 | #Constraints: 7426
81.06/81.35 c #Conflicts: 58000 | #Constraints: 8426
81.06/81.35 c #Conflicts: 59000 | #Constraints: 9426
81.06/81.35 c #Conflicts: 60000 | #Constraints: 10426
81.06/81.35 c #Conflicts: 61000 | #Constraints: 11426
81.06/81.35 c INPROCESSING
81.06/81.35 c GARBAGE COLLECT
81.06/81.35 c #Conflicts: 62000 | #Constraints: 7429
81.06/81.35 c #Conflicts: 63000 | #Constraints: 8429
81.06/81.35 c #Conflicts: 64000 | #Constraints: 9429
81.06/81.35 c #Conflicts: 65000 | #Constraints: 10429
81.06/81.35 c #Conflicts: 66000 | #Constraints: 11429
81.06/81.35 c INPROCESSING
81.06/81.35 c GARBAGE COLLECT
81.06/81.35 c #Conflicts: 67000 | #Constraints: 7225
81.06/81.35 c #Conflicts: 68000 | #Constraints: 8225
81.06/81.35 c #Conflicts: 69000 | #Constraints: 9225
81.06/81.35 c #Conflicts: 70000 | #Constraints: 10225
81.06/81.35 c #Conflicts: 71000 | #Constraints: 11225
81.06/81.35 c #Conflicts: 72000 | #Constraints: 12225
81.06/81.35 c INPROCESSING
81.06/81.35 c GARBAGE COLLECT
81.06/81.35 c #Conflicts: 73000 | #Constraints: 7821
81.06/81.35 c #Conflicts: 74000 | #Constraints: 8821
81.06/81.35 c #Conflicts: 75000 | #Constraints: 9821
81.06/81.35 c #Conflicts: 76000 | #Constraints: 10821
81.06/81.35 c #Conflicts: 77000 | #Constraints: 11821
81.06/81.35 c #Conflicts: 78000 | #Constraints: 12821
81.06/81.35 c INPROCESSING
81.06/81.35 c GARBAGE COLLECT
81.06/81.35 c #Conflicts: 79000 | #Constraints: 8226
81.06/81.35 c #Conflicts: 80000 | #Constraints: 9226
81.06/81.35 c #Conflicts: 81000 | #Constraints: 10226
81.06/81.35 c #Conflicts: 82000 | #Constraints: 11226
81.06/81.35 c #Conflicts: 83000 | #Constraints: 12226
81.06/81.35 c #Conflicts: 84000 | #Constraints: 13226
81.06/81.35 c INPROCESSING
81.06/81.35 c GARBAGE COLLECT
81.06/81.35 c #Conflicts: 85000 | #Constraints: 8416
81.06/81.35 c #Conflicts: 86000 | #Constraints: 9416
81.06/81.35 c #Conflicts: 87000 | #Constraints: 10416
81.06/81.35 c #Conflicts: 88000 | #Constraints: 11416
81.06/81.35 c #Conflicts: 89000 | #Constraints: 12416
82.45/82.78 c #Conflicts: 90000 | #Constraints: 13416
82.45/82.78 c GLOBAL bounds - >= 2380054694976 @ 78.6812
82.55/82.81 c GLOBAL bounds - >= 2380054694976 @ 78.7051
82.55/82.83 c GLOBAL bounds - >= 2380054694976 @ 78.716
82.55/82.83 c GLOBAL bounds - >= 2380054694976 @ 78.7165
82.55/82.86 c GLOBAL bounds - >= 2380054694976 @ 78.7279
82.55/82.86 c GLOBAL bounds - >= 2380054694976 @ 78.7285
82.55/82.88 c GLOBAL bounds - >= 2380054694976 @ 78.7409
82.55/82.88 c GLOBAL bounds - >= 2380054694976 @ 78.7425
82.65/82.91 c GLOBAL bounds - >= 2380054694976 @ 78.7518
82.65/82.91 c GLOBAL bounds - >= 2380054694976 @ 78.7541
82.65/82.93 c GLOBAL bounds - >= 2380054694976 @ 78.7697
82.65/82.94 c GLOBAL bounds - >= 2380054694976 @ 78.7704
82.65/82.96 c GLOBAL bounds - >= 2380054694976 @ 78.7805
82.65/82.96 c GLOBAL bounds - >= 2380054694976 @ 78.7824
82.65/82.99 c GLOBAL bounds - >= 2380054694976 @ 78.7905
82.65/82.99 c GLOBAL bounds - >= 2380054694976 @ 78.7923
82.75/83.01 c GLOBAL bounds - >= 2380054694976 @ 78.8003
82.75/83.01 c GLOBAL bounds - >= 2380054694976 @ 78.8007
82.75/83.04 c GLOBAL bounds - >= 2380054694976 @ 78.8154
82.75/83.04 c GLOBAL bounds - >= 2380054694976 @ 78.8167
82.75/83.06 c GLOBAL bounds - >= 2380054694976 @ 78.8272
157.92/158.46 c INPROCESSING
157.92/158.46 c GARBAGE COLLECT
157.92/158.46 c #Conflicts: 91000 | #Constraints: 8439
157.92/158.46 c #Conflicts: 92000 | #Constraints: 9439
157.92/158.46 c #Conflicts: 93000 | #Constraints: 10439
157.92/158.46 c #Conflicts: 94000 | #Constraints: 11439
157.92/158.46 c #Conflicts: 95000 | #Constraints: 12439
157.92/158.46 c #Conflicts: 96000 | #Constraints: 13439
157.92/158.46 c INPROCESSING
157.92/158.46 c GARBAGE COLLECT
157.92/158.46 c #Conflicts: 97000 | #Constraints: 8249
157.92/158.46 c #Conflicts: 98000 | #Constraints: 9249
157.92/158.46 c #Conflicts: 99000 | #Constraints: 10249
157.92/158.46 c #Conflicts: 100000 | #Constraints: 11249
157.92/158.46 c #Conflicts: 101000 | #Constraints: 12249
157.92/158.46 c #Conflicts: 102000 | #Constraints: 13249
157.92/158.46 c #Conflicts: 103000 | #Constraints: 14249
157.92/158.46 c INPROCESSING
157.92/158.46 c GARBAGE COLLECT
157.92/158.46 c #Conflicts: 104000 | #Constraints: 8848
157.92/158.46 c #Conflicts: 105000 | #Constraints: 9848
157.92/158.46 c #Conflicts: 106000 | #Constraints: 10848
157.92/158.46 c #Conflicts: 107000 | #Constraints: 11848
157.92/158.46 c #Conflicts: 108000 | #Constraints: 12848
157.92/158.46 c #Conflicts: 109000 | #Constraints: 13848
157.92/158.46 c #Conflicts: 110000 | #Constraints: 14848
157.92/158.46 c INPROCESSING
157.92/158.46 c GARBAGE COLLECT
157.92/158.46 c #Conflicts: 111000 | #Constraints: 9248
157.92/158.46 c #Conflicts: 112000 | #Constraints: 10248
157.92/158.46 c #Conflicts: 113000 | #Constraints: 11248
157.92/158.46 c #Conflicts: 114000 | #Constraints: 12248
157.92/158.46 c #Conflicts: 115000 | #Constraints: 13248
157.92/158.46 c #Conflicts: 116000 | #Constraints: 14248
157.92/158.46 c #Conflicts: 117000 | #Constraints: 15248
157.92/158.46 c INPROCESSING
157.92/158.46 c GARBAGE COLLECT
157.92/158.46 c #Conflicts: 118000 | #Constraints: 9444
157.92/158.46 c #Conflicts: 119000 | #Constraints: 10444
157.92/158.46 c #Conflicts: 120000 | #Constraints: 11444
157.92/158.46 c #Conflicts: 121000 | #Constraints: 12444
157.92/158.46 c #Conflicts: 122000 | #Constraints: 13444
157.92/158.46 c #Conflicts: 123000 | #Constraints: 14444
157.92/158.46 c #Conflicts: 124000 | #Constraints: 15444
157.92/158.46 c INPROCESSING
157.92/158.46 c GARBAGE COLLECT
157.92/158.46 c #Conflicts: 125000 | #Constraints: 9446
157.92/158.46 c #Conflicts: 126000 | #Constraints: 10446
157.92/158.46 c #Conflicts: 127000 | #Constraints: 11446
157.92/158.46 c #Conflicts: 128000 | #Constraints: 12446
157.92/158.46 c #Conflicts: 129000 | #Constraints: 13446
157.92/158.46 c #Conflicts: 130000 | #Constraints: 14446
157.92/158.46 c #Conflicts: 131000 | #Constraints: 15446
157.92/158.46 c INPROCESSING
157.92/158.46 c GARBAGE COLLECT
157.92/158.46 c #Conflicts: 132000 | #Constraints: 9240
157.92/158.46 c #Conflicts: 133000 | #Constraints: 10240
157.92/158.46 c #Conflicts: 134000 | #Constraints: 11240
157.92/158.46 c #Conflicts: 135000 | #Constraints: 12240
157.92/158.46 c #Conflicts: 136000 | #Constraints: 13240
157.92/158.46 c #Conflicts: 137000 | #Constraints: 14240
157.92/158.46 c #Conflicts: 138000 | #Constraints: 15240
157.92/158.46 c #Conflicts: 139000 | #Constraints: 16240
157.92/158.46 c INPROCESSING
157.92/158.46 c GARBAGE COLLECT
157.92/158.46 c #Conflicts: 140000 | #Constraints: 9843
157.92/158.46 c #Conflicts: 141000 | #Constraints: 10843
157.92/158.46 c #Conflicts: 142000 | #Constraints: 11843
157.92/158.46 c #Conflicts: 143000 | #Constraints: 12843
157.92/158.46 c #Conflicts: 144000 | #Constraints: 13843
157.92/158.46 c #Conflicts: 145000 | #Constraints: 14843
157.92/158.46 c #Conflicts: 146000 | #Constraints: 15843
157.92/158.46 c #Conflicts: 147000 | #Constraints: 16843
157.92/158.46 c INPROCESSING
157.92/158.46 c GARBAGE COLLECT
157.92/158.46 c #Conflicts: 148000 | #Constraints: 10248
157.92/158.46 c #Conflicts: 149000 | #Constraints: 11248
157.92/158.46 c #Conflicts: 150000 | #Constraints: 12248
157.92/158.46 c #Conflicts: 151000 | #Constraints: 13248
157.92/158.46 c #Conflicts: 152000 | #Constraints: 14248
157.92/158.46 c #Conflicts: 153000 | #Constraints: 15248
157.92/158.46 c #Conflicts: 154000 | #Constraints: 16248
157.92/158.46 c #Conflicts: 155000 | #Constraints: 17248
157.92/158.46 c INPROCESSING
157.92/158.46 c GARBAGE COLLECT
157.92/158.46 c #Conflicts: 156000 | #Constraints: 10443
157.92/158.46 c #Conflicts: 157000 | #Constraints: 11443
157.92/158.46 c #Conflicts: 158000 | #Constraints: 12443
157.92/158.46 c #Conflicts: 159000 | #Constraints: 13443
157.92/158.46 c #Conflicts: 160000 | #Constraints: 14443
157.92/158.46 c #Conflicts: 161000 | #Constraints: 15443
157.92/158.46 c #Conflicts: 162000 | #Constraints: 16443
157.92/158.46 c #Conflicts: 163000 | #Constraints: 17443
183.95/184.53 c INPROCESSING
183.95/184.53 c GARBAGE COLLECT
183.95/184.53 c #Conflicts: 164000 | #Constraints: 10445
183.95/184.53 c #Conflicts: 165000 | #Constraints: 11445
183.95/184.53 c #Conflicts: 166000 | #Constraints: 12445
183.95/184.53 c #Conflicts: 167000 | #Constraints: 13445
183.95/184.53 c #Conflicts: 168000 | #Constraints: 14445
183.95/184.53 c #Conflicts: 169000 | #Constraints: 15445
183.95/184.53 c #Conflicts: 170000 | #Constraints: 16445
183.95/184.53 c #Conflicts: 171000 | #Constraints: 17445
183.95/184.53 c INPROCESSING
183.95/184.53 c GARBAGE COLLECT
183.95/184.53 c #Conflicts: 172000 | #Constraints: 10242
183.95/184.53 c #Conflicts: 173000 | #Constraints: 11242
183.95/184.53 c #Conflicts: 174000 | #Constraints: 12242
183.95/184.53 c #Conflicts: 175000 | #Constraints: 13242
183.95/184.53 c #Conflicts: 176000 | #Constraints: 14242
183.95/184.53 c #Conflicts: 177000 | #Constraints: 15242
183.95/184.53 c #Conflicts: 178000 | #Constraints: 16242
183.95/184.53 c #Conflicts: 179000 | #Constraints: 17242
183.95/184.53 c #Conflicts: 180000 | #Constraints: 18242
183.95/184.53 c INPROCESSING
183.95/184.53 c GARBAGE COLLECT
183.95/184.53 c #Conflicts: 181000 | #Constraints: 10845
183.95/184.53 c #Conflicts: 182000 | #Constraints: 11845
183.95/184.53 c #Conflicts: 183000 | #Constraints: 12845
183.95/184.53 c #Conflicts: 184000 | #Constraints: 13845
183.95/184.53 c GLOBAL bounds - >= 2380239251136 @ 178.319
183.95/184.54 c GLOBAL bounds - >= 2380239251136 @ 178.331
183.95/184.57 c GLOBAL bounds - >= 2380239251136 @ 178.345
183.95/184.57 c GLOBAL bounds - >= 2380239251136 @ 178.347
183.95/184.59 c GLOBAL bounds - >= 2380239251136 @ 178.357
183.95/184.59 c GLOBAL bounds - >= 2380239251136 @ 178.358
184.04/184.62 c GLOBAL bounds - >= 2380239251136 @ 178.368
184.04/184.62 c GLOBAL bounds - >= 2380239251136 @ 178.369
184.04/184.64 c GLOBAL bounds - >= 2380239251136 @ 178.378
184.04/184.65 c GLOBAL bounds - >= 2380239251136 @ 178.379
184.04/184.67 c GLOBAL bounds - >= 2380239251136 @ 178.386
184.04/184.67 c GLOBAL bounds - >= 2380239251136 @ 178.387
184.04/184.69 c GLOBAL bounds - >= 2380239251136 @ 178.399
184.15/184.70 c GLOBAL bounds - >= 2380239251136 @ 178.4
184.15/184.72 c GLOBAL bounds - >= 2380239251136 @ 178.407
184.15/184.72 c GLOBAL bounds - >= 2380239251136 @ 178.409
184.15/184.74 c GLOBAL bounds - >= 2380239251136 @ 178.421
184.15/184.74 c GLOBAL bounds - >= 2380239251136 @ 178.423
184.15/184.77 c GLOBAL bounds - >= 2380239251136 @ 178.43
184.15/184.77 c GLOBAL bounds - >= 2380239251136 @ 178.43
184.15/184.79 c GLOBAL bounds - >= 2380239251136 @ 178.439
251.15/251.96 c #Conflicts: 185000 | #Constraints: 14874
251.15/251.96 c #Conflicts: 186000 | #Constraints: 15874
251.15/251.96 c #Conflicts: 187000 | #Constraints: 16874
251.15/251.96 c #Conflicts: 188000 | #Constraints: 17874
251.15/251.96 c #Conflicts: 189000 | #Constraints: 18874
251.15/251.96 c INPROCESSING
251.15/251.96 c GARBAGE COLLECT
251.15/251.96 c #Conflicts: 190000 | #Constraints: 11281
251.15/251.96 c #Conflicts: 191000 | #Constraints: 12281
251.15/251.96 c #Conflicts: 192000 | #Constraints: 13281
251.15/251.96 c #Conflicts: 193000 | #Constraints: 14281
251.15/251.96 c #Conflicts: 194000 | #Constraints: 15281
251.15/251.96 c #Conflicts: 195000 | #Constraints: 16281
251.15/251.96 c #Conflicts: 196000 | #Constraints: 17281
251.15/251.96 c #Conflicts: 197000 | #Constraints: 18281
251.15/251.96 c #Conflicts: 198000 | #Constraints: 19281
251.15/251.96 c INPROCESSING
251.15/251.96 c GARBAGE COLLECT
251.15/251.96 c #Conflicts: 199000 | #Constraints: 11480
251.15/251.96 c #Conflicts: 200000 | #Constraints: 12480
251.15/251.96 c #Conflicts: 201000 | #Constraints: 13480
251.15/251.96 c #Conflicts: 202000 | #Constraints: 14480
251.15/251.96 c #Conflicts: 203000 | #Constraints: 15480
251.15/251.96 c #Conflicts: 204000 | #Constraints: 16480
251.15/251.96 c #Conflicts: 205000 | #Constraints: 17480
251.15/251.96 c #Conflicts: 206000 | #Constraints: 18480
251.15/251.96 c #Conflicts: 207000 | #Constraints: 19480
251.15/251.96 c INPROCESSING
251.15/251.96 c GARBAGE COLLECT
251.15/251.96 c #Conflicts: 208000 | #Constraints: 11477
251.15/251.96 c #Conflicts: 209000 | #Constraints: 12477
251.15/251.96 c #Conflicts: 210000 | #Constraints: 13477
251.15/251.96 c #Conflicts: 211000 | #Constraints: 14477
251.15/251.96 c #Conflicts: 212000 | #Constraints: 15477
251.15/251.96 c #Conflicts: 213000 | #Constraints: 16477
251.15/251.96 c #Conflicts: 214000 | #Constraints: 17477
251.15/251.96 c #Conflicts: 215000 | #Constraints: 18477
251.15/251.96 c #Conflicts: 216000 | #Constraints: 19477
251.15/251.96 c INPROCESSING
251.15/251.96 c GARBAGE COLLECT
251.15/251.96 c #Conflicts: 217000 | #Constraints: 11279
251.15/251.96 c #Conflicts: 218000 | #Constraints: 12279
251.15/251.96 c #Conflicts: 219000 | #Constraints: 13279
251.15/251.96 c #Conflicts: 220000 | #Constraints: 14279
251.15/251.96 c #Conflicts: 221000 | #Constraints: 15279
251.15/251.96 c #Conflicts: 222000 | #Constraints: 16279
251.15/251.96 c #Conflicts: 223000 | #Constraints: 17279
251.15/251.96 c #Conflicts: 224000 | #Constraints: 18279
251.15/251.96 c #Conflicts: 225000 | #Constraints: 19279
251.15/251.96 c #Conflicts: 226000 | #Constraints: 20279
251.15/251.96 c INPROCESSING
251.15/251.96 c GARBAGE COLLECT
251.15/251.96 c #Conflicts: 227000 | #Constraints: 11876
251.15/251.96 c #Conflicts: 228000 | #Constraints: 12876
251.15/251.96 c #Conflicts: 229000 | #Constraints: 13876
251.15/251.96 c #Conflicts: 230000 | #Constraints: 14876
251.15/251.96 c #Conflicts: 231000 | #Constraints: 15876
251.15/251.96 c #Conflicts: 232000 | #Constraints: 16876
251.15/251.96 c #Conflicts: 233000 | #Constraints: 17876
251.15/251.96 c #Conflicts: 234000 | #Constraints: 18876
251.15/251.96 c GLOBAL bounds - >= 2380423807296 @ 244.714
251.15/251.98 c GLOBAL bounds - >= 2380423807296 @ 244.728
251.25/252.00 c GLOBAL bounds - >= 2380423807296 @ 244.737
251.25/252.01 c GLOBAL bounds - >= 2380423807296 @ 244.739
251.25/252.03 c GLOBAL bounds - >= 2380423807296 @ 244.753
251.25/252.03 c GLOBAL bounds - >= 2380423807296 @ 244.754
251.25/252.06 c GLOBAL bounds - >= 2380423807296 @ 244.767
251.25/252.06 c GLOBAL bounds - >= 2380423807296 @ 244.768
251.25/252.09 c GLOBAL bounds - >= 2380423807296 @ 244.778
251.25/252.09 c GLOBAL bounds - >= 2380423807296 @ 244.781
251.35/252.12 c GLOBAL bounds - >= 2380423807296 @ 244.793
251.35/252.12 c GLOBAL bounds - >= 2380423807296 @ 244.795
251.35/252.14 c GLOBAL bounds - >= 2380423807296 @ 244.806
251.35/252.15 c GLOBAL bounds - >= 2380423807296 @ 244.807
251.35/252.17 c GLOBAL bounds - >= 2380423807296 @ 244.822
251.35/252.17 c GLOBAL bounds - >= 2380423807296 @ 244.823
251.44/252.20 c GLOBAL bounds - >= 2380423807296 @ 244.839
251.44/252.20 c GLOBAL bounds - >= 2380423807296 @ 244.842
251.44/252.23 c GLOBAL bounds - >= 2380423807296 @ 244.853
251.44/252.23 c GLOBAL bounds - >= 2380423807296 @ 244.855
251.44/252.25 c GLOBAL bounds - >= 2380423807296 @ 244.868
341.58/342.68 c #Conflicts: 235000 | #Constraints: 19905
341.58/342.68 c #Conflicts: 236000 | #Constraints: 20905
341.58/342.68 c INPROCESSING
341.58/342.68 c GARBAGE COLLECT
341.58/342.68 c #Conflicts: 237000 | #Constraints: 12300
341.58/342.68 c #Conflicts: 238000 | #Constraints: 13300
341.58/342.68 c #Conflicts: 239000 | #Constraints: 14300
341.58/342.68 c #Conflicts: 240000 | #Constraints: 15300
341.58/342.68 c #Conflicts: 241000 | #Constraints: 16300
341.58/342.68 c #Conflicts: 242000 | #Constraints: 17300
341.58/342.68 c #Conflicts: 243000 | #Constraints: 18300
341.58/342.68 c #Conflicts: 244000 | #Constraints: 19300
341.58/342.68 c #Conflicts: 245000 | #Constraints: 20300
341.58/342.68 c #Conflicts: 246000 | #Constraints: 21300
341.58/342.68 c INPROCESSING
341.58/342.68 c GARBAGE COLLECT
341.58/342.68 c #Conflicts: 247000 | #Constraints: 12503
341.58/342.68 c #Conflicts: 248000 | #Constraints: 13503
341.58/342.68 c #Conflicts: 249000 | #Constraints: 14503
341.58/342.68 c #Conflicts: 250000 | #Constraints: 15503
341.58/342.68 c #Conflicts: 251000 | #Constraints: 16503
341.58/342.68 c #Conflicts: 252000 | #Constraints: 17503
341.58/342.68 c #Conflicts: 253000 | #Constraints: 18503
341.58/342.68 c #Conflicts: 254000 | #Constraints: 19503
341.58/342.68 c #Conflicts: 255000 | #Constraints: 20503
341.58/342.68 c #Conflicts: 256000 | #Constraints: 21503
341.58/342.68 c INPROCESSING
341.58/342.68 c GARBAGE COLLECT
341.58/342.68 c #Conflicts: 257000 | #Constraints: 12499
341.58/342.68 c #Conflicts: 258000 | #Constraints: 13499
341.58/342.68 c #Conflicts: 259000 | #Constraints: 14499
341.58/342.68 c #Conflicts: 260000 | #Constraints: 15499
341.58/342.68 c #Conflicts: 261000 | #Constraints: 16499
341.58/342.68 c #Conflicts: 262000 | #Constraints: 17499
341.58/342.68 c #Conflicts: 263000 | #Constraints: 18499
341.58/342.68 c #Conflicts: 264000 | #Constraints: 19499
341.58/342.68 c #Conflicts: 265000 | #Constraints: 20499
341.58/342.68 c #Conflicts: 266000 | #Constraints: 21499
341.58/342.68 c INPROCESSING
341.58/342.68 c GARBAGE COLLECT
341.58/342.68 c #Conflicts: 267000 | #Constraints: 12304
341.58/342.68 c #Conflicts: 268000 | #Constraints: 13304
341.58/342.68 c #Conflicts: 269000 | #Constraints: 14304
341.58/342.68 c #Conflicts: 270000 | #Constraints: 15304
341.58/342.68 c #Conflicts: 271000 | #Constraints: 16304
341.58/342.68 c #Conflicts: 272000 | #Constraints: 17304
341.58/342.68 c #Conflicts: 273000 | #Constraints: 18304
341.58/342.68 c #Conflicts: 274000 | #Constraints: 19304
341.58/342.68 c #Conflicts: 275000 | #Constraints: 20304
341.58/342.68 c #Conflicts: 276000 | #Constraints: 21304
341.58/342.68 c #Conflicts: 277000 | #Constraints: 22304
341.58/342.68 c INPROCESSING
341.58/342.68 c GARBAGE COLLECT
341.58/342.68 c #Conflicts: 278000 | #Constraints: 12902
341.58/342.68 c #Conflicts: 279000 | #Constraints: 13902
341.58/342.68 c #Conflicts: 280000 | #Constraints: 14902
341.58/342.68 c #Conflicts: 281000 | #Constraints: 15902
341.58/342.68 c #Conflicts: 282000 | #Constraints: 16902
341.58/342.68 c #Conflicts: 283000 | #Constraints: 17902
341.58/342.68 c #Conflicts: 284000 | #Constraints: 18902
341.58/342.68 c #Conflicts: 285000 | #Constraints: 19902
341.58/342.68 c #Conflicts: 286000 | #Constraints: 20902
341.58/342.68 c #Conflicts: 287000 | #Constraints: 21902
341.58/342.68 c #Conflicts: 288000 | #Constraints: 22902
341.58/342.68 c INPROCESSING
341.58/342.68 c GARBAGE COLLECT
341.58/342.68 c #Conflicts: 289000 | #Constraints: 13300
341.58/342.68 c #Conflicts: 290000 | #Constraints: 14300
341.58/342.68 c #Conflicts: 291000 | #Constraints: 15300
341.58/342.68 c #Conflicts: 292000 | #Constraints: 16300
341.58/342.68 c #Conflicts: 293000 | #Constraints: 17300
341.58/342.68 c #Conflicts: 294000 | #Constraints: 18300
341.58/342.68 c #Conflicts: 295000 | #Constraints: 19300
341.58/342.68 c #Conflicts: 296000 | #Constraints: 20300
341.58/342.68 c #Conflicts: 297000 | #Constraints: 21300
341.58/342.68 c #Conflicts: 298000 | #Constraints: 22300
341.58/342.68 c #Conflicts: 299000 | #Constraints: 23300
341.58/342.68 c INPROCESSING
341.58/342.68 c GARBAGE COLLECT
341.58/342.68 c #Conflicts: 300000 | #Constraints: 13505
341.58/342.68 c #Conflicts: 301000 | #Constraints: 14505
341.58/342.68 c #Conflicts: 302000 | #Constraints: 15505
341.58/342.68 c #Conflicts: 303000 | #Constraints: 16505
341.58/342.68 c #Conflicts: 304000 | #Constraints: 17505
341.58/342.68 c #Conflicts: 305000 | #Constraints: 18505
341.58/342.68 c #Conflicts: 306000 | #Constraints: 19505
341.58/342.68 c #Conflicts: 307000 | #Constraints: 20505
341.58/342.68 c #Conflicts: 308000 | #Constraints: 21505
341.58/342.68 c #Conflicts: 309000 | #Constraints: 22505
401.10/402.36 c #Conflicts: 310000 | #Constraints: 23505
401.10/402.36 c INPROCESSING
401.10/402.36 c GARBAGE COLLECT
401.10/402.36 c #Conflicts: 311000 | #Constraints: 13510
401.10/402.36 c #Conflicts: 312000 | #Constraints: 14510
401.10/402.36 c #Conflicts: 313000 | #Constraints: 15510
401.10/402.36 c #Conflicts: 314000 | #Constraints: 16510
401.10/402.36 c #Conflicts: 315000 | #Constraints: 17510
401.10/402.36 c #Conflicts: 316000 | #Constraints: 18510
401.10/402.36 c #Conflicts: 317000 | #Constraints: 19510
401.10/402.36 c #Conflicts: 318000 | #Constraints: 20510
401.10/402.36 c #Conflicts: 319000 | #Constraints: 21510
401.10/402.36 c #Conflicts: 320000 | #Constraints: 22510
401.10/402.36 c #Conflicts: 321000 | #Constraints: 23510
401.10/402.36 c INPROCESSING
401.10/402.36 c GARBAGE COLLECT
401.10/402.36 c #Conflicts: 322000 | #Constraints: 13304
401.10/402.36 c #Conflicts: 323000 | #Constraints: 14304
401.10/402.36 c #Conflicts: 324000 | #Constraints: 15304
401.10/402.36 c #Conflicts: 325000 | #Constraints: 16304
401.10/402.36 c #Conflicts: 326000 | #Constraints: 17304
401.10/402.36 c #Conflicts: 327000 | #Constraints: 18304
401.10/402.36 c #Conflicts: 328000 | #Constraints: 19304
401.10/402.36 c #Conflicts: 329000 | #Constraints: 20304
401.10/402.36 c #Conflicts: 330000 | #Constraints: 21304
401.10/402.36 c #Conflicts: 331000 | #Constraints: 22304
401.10/402.36 c #Conflicts: 332000 | #Constraints: 23304
401.10/402.36 c #Conflicts: 333000 | #Constraints: 24304
401.10/402.36 c INPROCESSING
401.10/402.36 c GARBAGE COLLECT
401.10/402.36 c #Conflicts: 334000 | #Constraints: 13901
401.10/402.36 c #Conflicts: 335000 | #Constraints: 14901
401.10/402.36 c #Conflicts: 336000 | #Constraints: 15901
401.10/402.36 c #Conflicts: 337000 | #Constraints: 16901
401.10/402.36 c #Conflicts: 338000 | #Constraints: 17901
401.10/402.36 c #Conflicts: 339000 | #Constraints: 18901
401.10/402.36 c #Conflicts: 340000 | #Constraints: 19901
401.10/402.36 c #Conflicts: 341000 | #Constraints: 20901
401.10/402.36 c #Conflicts: 342000 | #Constraints: 21901
401.10/402.36 c #Conflicts: 343000 | #Constraints: 22901
401.10/402.36 c #Conflicts: 344000 | #Constraints: 23901
401.10/402.36 c GLOBAL bounds - >= 2380608363456 @ 392.741
401.10/402.38 c GLOBAL bounds - >= 2380608363456 @ 392.759
401.19/402.41 c GLOBAL bounds - >= 2380608363456 @ 392.775
401.19/402.41 c GLOBAL bounds - >= 2380608363456 @ 392.777
401.19/402.44 c GLOBAL bounds - >= 2380608363456 @ 392.793
401.19/402.45 c GLOBAL bounds - >= 2380608363456 @ 392.795
401.19/402.47 c GLOBAL bounds - >= 2380608363456 @ 392.811
401.19/402.48 c GLOBAL bounds - >= 2380608363456 @ 392.813
401.30/402.51 c GLOBAL bounds - >= 2380608363456 @ 392.826
401.30/402.51 c GLOBAL bounds - >= 2380608363456 @ 392.829
401.30/402.54 c GLOBAL bounds - >= 2380608363456 @ 392.848
401.30/402.54 c GLOBAL bounds - >= 2380608363456 @ 392.849
401.30/402.57 c GLOBAL bounds - >= 2380608363456 @ 392.864
401.30/402.57 c GLOBAL bounds - >= 2380608363456 @ 392.867
401.39/402.60 c GLOBAL bounds - >= 2380608363456 @ 392.883
401.39/402.60 c GLOBAL bounds - >= 2380608363456 @ 392.885
401.39/402.63 c GLOBAL bounds - >= 2380608363456 @ 392.898
401.39/402.63 c GLOBAL bounds - >= 2380608363456 @ 392.899
401.39/402.66 c GLOBAL bounds - >= 2380608363456 @ 392.918
401.39/402.67 c GLOBAL bounds - >= 2380608363456 @ 392.92
401.39/402.70 c GLOBAL bounds - >= 2380608363456 @ 392.936
498.31/499.89 c #Conflicts: 345000 | #Constraints: 24930
498.31/499.89 c INPROCESSING
498.31/499.89 c GARBAGE COLLECT
498.31/499.89 c #Conflicts: 346000 | #Constraints: 14330
498.31/499.89 c #Conflicts: 347000 | #Constraints: 15330
498.31/499.89 c #Conflicts: 348000 | #Constraints: 16330
498.31/499.89 c #Conflicts: 349000 | #Constraints: 17330
498.31/499.89 c #Conflicts: 350000 | #Constraints: 18330
498.31/499.89 c #Conflicts: 351000 | #Constraints: 19330
498.31/499.89 c #Conflicts: 352000 | #Constraints: 20330
498.31/499.89 c #Conflicts: 353000 | #Constraints: 21330
498.31/499.89 c #Conflicts: 354000 | #Constraints: 22330
498.31/499.89 c #Conflicts: 355000 | #Constraints: 23330
498.31/499.89 c #Conflicts: 356000 | #Constraints: 24330
498.31/499.89 c #Conflicts: 357000 | #Constraints: 25330
498.31/499.89 c INPROCESSING
498.31/499.89 c GARBAGE COLLECT
498.31/499.89 c #Conflicts: 358000 | #Constraints: 14526
498.31/499.89 c #Conflicts: 359000 | #Constraints: 15526
498.31/499.89 c #Conflicts: 360000 | #Constraints: 16526
498.31/499.89 c #Conflicts: 361000 | #Constraints: 17526
498.31/499.89 c #Conflicts: 362000 | #Constraints: 18526
498.31/499.89 c #Conflicts: 363000 | #Constraints: 19526
498.31/499.89 c #Conflicts: 364000 | #Constraints: 20526
498.31/499.89 c #Conflicts: 365000 | #Constraints: 21526
498.31/499.89 c #Conflicts: 366000 | #Constraints: 22526
498.31/499.89 c #Conflicts: 367000 | #Constraints: 23526
498.31/499.89 c #Conflicts: 368000 | #Constraints: 24526
498.31/499.89 c #Conflicts: 369000 | #Constraints: 25526
498.31/499.89 c INPROCESSING
498.31/499.89 c GARBAGE COLLECT
498.31/499.89 c #Conflicts: 370000 | #Constraints: 14532
498.31/499.89 c #Conflicts: 371000 | #Constraints: 15532
498.31/499.89 c #Conflicts: 372000 | #Constraints: 16532
498.31/499.89 c #Conflicts: 373000 | #Constraints: 17532
498.31/499.89 c #Conflicts: 374000 | #Constraints: 18532
498.31/499.89 c #Conflicts: 375000 | #Constraints: 19532
498.31/499.89 c #Conflicts: 376000 | #Constraints: 20532
498.31/499.89 c #Conflicts: 377000 | #Constraints: 21532
498.31/499.89 c #Conflicts: 378000 | #Constraints: 22532
498.31/499.89 c #Conflicts: 379000 | #Constraints: 23532
498.31/499.89 c #Conflicts: 380000 | #Constraints: 24532
498.31/499.89 c #Conflicts: 381000 | #Constraints: 25532
498.31/499.89 c INPROCESSING
498.31/499.89 c GARBAGE COLLECT
498.31/499.89 c #Conflicts: 382000 | #Constraints: 14332
498.31/499.89 c #Conflicts: 383000 | #Constraints: 15332
498.31/499.89 c #Conflicts: 384000 | #Constraints: 16332
498.31/499.89 c #Conflicts: 385000 | #Constraints: 17332
498.31/499.89 c #Conflicts: 386000 | #Constraints: 18332
498.31/499.89 c #Conflicts: 387000 | #Constraints: 19332
498.31/499.89 c #Conflicts: 388000 | #Constraints: 20332
498.31/499.89 c #Conflicts: 389000 | #Constraints: 21332
498.31/499.89 c #Conflicts: 390000 | #Constraints: 22332
498.31/499.89 c #Conflicts: 391000 | #Constraints: 23332
498.31/499.89 c #Conflicts: 392000 | #Constraints: 24332
498.31/499.89 c #Conflicts: 393000 | #Constraints: 25332
498.31/499.89 c #Conflicts: 394000 | #Constraints: 26332
498.31/499.89 c INPROCESSING
498.31/499.89 c GARBAGE COLLECT
498.31/499.89 c #Conflicts: 395000 | #Constraints: 14927
498.31/499.89 c #Conflicts: 396000 | #Constraints: 15927
498.31/499.89 c #Conflicts: 397000 | #Constraints: 16927
498.31/499.89 c #Conflicts: 398000 | #Constraints: 17927
498.31/499.89 c #Conflicts: 399000 | #Constraints: 18927
498.31/499.89 c #Conflicts: 400000 | #Constraints: 19927
498.31/499.89 c #Conflicts: 401000 | #Constraints: 20927
498.31/499.89 c #Conflicts: 402000 | #Constraints: 21927
498.31/499.89 c #Conflicts: 403000 | #Constraints: 22927
498.31/499.89 c #Conflicts: 404000 | #Constraints: 23927
498.31/499.89 c #Conflicts: 405000 | #Constraints: 24927
498.31/499.89 c #Conflicts: 406000 | #Constraints: 25927
498.31/499.89 c #Conflicts: 407000 | #Constraints: 26927
498.31/499.89 c INPROCESSING
498.31/499.89 c GARBAGE COLLECT
498.31/499.89 c #Conflicts: 408000 | #Constraints: 15335
498.31/499.89 c #Conflicts: 409000 | #Constraints: 16335
498.31/499.89 c #Conflicts: 410000 | #Constraints: 17335
498.31/499.89 c #Conflicts: 411000 | #Constraints: 18335
498.31/499.89 c #Conflicts: 412000 | #Constraints: 19335
498.31/499.89 c #Conflicts: 413000 | #Constraints: 20335
498.31/499.89 c #Conflicts: 414000 | #Constraints: 21335
498.31/499.89 c #Conflicts: 415000 | #Constraints: 22335
498.31/499.89 c #Conflicts: 416000 | #Constraints: 23335
498.31/499.89 c #Conflicts: 417000 | #Constraints: 24335
498.31/499.89 c #Conflicts: 418000 | #Constraints: 25335
498.31/499.89 c #Conflicts: 419000 | #Constraints: 26335
579.96/581.72 c #Conflicts: 420000 | #Constraints: 27335
579.96/581.72 c INPROCESSING
579.96/581.72 c GARBAGE COLLECT
579.96/581.72 c #Conflicts: 421000 | #Constraints: 15536
579.96/581.72 c #Conflicts: 422000 | #Constraints: 16536
579.96/581.72 c #Conflicts: 423000 | #Constraints: 17536
579.96/581.72 c #Conflicts: 424000 | #Constraints: 18536
579.96/581.72 c #Conflicts: 425000 | #Constraints: 19536
579.96/581.72 c #Conflicts: 426000 | #Constraints: 20536
579.96/581.72 c #Conflicts: 427000 | #Constraints: 21536
579.96/581.72 c #Conflicts: 428000 | #Constraints: 22536
579.96/581.72 c #Conflicts: 429000 | #Constraints: 23536
579.96/581.72 c #Conflicts: 430000 | #Constraints: 24536
579.96/581.72 c #Conflicts: 431000 | #Constraints: 25536
579.96/581.72 c #Conflicts: 432000 | #Constraints: 26536
579.96/581.72 c #Conflicts: 433000 | #Constraints: 27536
579.96/581.72 c INPROCESSING
579.96/581.72 c GARBAGE COLLECT
579.96/581.72 c #Conflicts: 434000 | #Constraints: 15538
579.96/581.72 c #Conflicts: 435000 | #Constraints: 16538
579.96/581.72 c #Conflicts: 436000 | #Constraints: 17538
579.96/581.72 c #Conflicts: 437000 | #Constraints: 18538
579.96/581.72 c #Conflicts: 438000 | #Constraints: 19538
579.96/581.72 c #Conflicts: 439000 | #Constraints: 20538
579.96/581.72 c #Conflicts: 440000 | #Constraints: 21538
579.96/581.72 c #Conflicts: 441000 | #Constraints: 22538
579.96/581.72 c #Conflicts: 442000 | #Constraints: 23538
579.96/581.72 c #Conflicts: 443000 | #Constraints: 24538
579.96/581.72 c #Conflicts: 444000 | #Constraints: 25538
579.96/581.72 c #Conflicts: 445000 | #Constraints: 26538
579.96/581.72 c #Conflicts: 446000 | #Constraints: 27538
579.96/581.72 c INPROCESSING
579.96/581.72 c GARBAGE COLLECT
579.96/581.72 c #Conflicts: 447000 | #Constraints: 15330
579.96/581.72 c #Conflicts: 448000 | #Constraints: 16330
579.96/581.72 c #Conflicts: 449000 | #Constraints: 17330
579.96/581.72 c #Conflicts: 450000 | #Constraints: 18330
579.96/581.72 c #Conflicts: 451000 | #Constraints: 19330
579.96/581.72 c #Conflicts: 452000 | #Constraints: 20330
579.96/581.72 c #Conflicts: 453000 | #Constraints: 21330
579.96/581.72 c #Conflicts: 454000 | #Constraints: 22330
579.96/581.72 c #Conflicts: 455000 | #Constraints: 23330
579.96/581.72 c #Conflicts: 456000 | #Constraints: 24330
579.96/581.72 c #Conflicts: 457000 | #Constraints: 25330
579.96/581.72 c #Conflicts: 458000 | #Constraints: 26330
579.96/581.72 c #Conflicts: 459000 | #Constraints: 27330
579.96/581.72 c #Conflicts: 460000 | #Constraints: 28330
579.96/581.72 c INPROCESSING
579.96/581.72 c GARBAGE COLLECT
579.96/581.72 c #Conflicts: 461000 | #Constraints: 15941
579.96/581.72 c #Conflicts: 462000 | #Constraints: 16941
579.96/581.72 c #Conflicts: 463000 | #Constraints: 17941
579.96/581.72 c #Conflicts: 464000 | #Constraints: 18941
579.96/581.72 c #Conflicts: 465000 | #Constraints: 19941
579.96/581.72 c #Conflicts: 466000 | #Constraints: 20941
579.96/581.72 c #Conflicts: 467000 | #Constraints: 21941
579.96/581.72 c #Conflicts: 468000 | #Constraints: 22941
579.96/581.72 c #Conflicts: 469000 | #Constraints: 23941
579.96/581.72 c #Conflicts: 470000 | #Constraints: 24941
579.96/581.72 c #Conflicts: 471000 | #Constraints: 25941
579.96/581.72 c #Conflicts: 472000 | #Constraints: 26941
579.96/581.72 c #Conflicts: 473000 | #Constraints: 27941
579.96/581.72 c #Conflicts: 474000 | #Constraints: 28941
579.96/581.72 c INPROCESSING
579.96/581.72 c GARBAGE COLLECT
579.96/581.72 c #Conflicts: 475000 | #Constraints: 16340
579.96/581.72 c #Conflicts: 476000 | #Constraints: 17340
579.96/581.72 c GLOBAL bounds - >= 2380792919616 @ 569.424
579.96/581.73 c GLOBAL bounds - >= 2380792919616 @ 569.44
579.96/581.76 c GLOBAL bounds - >= 2380792919616 @ 569.455
579.96/581.76 c GLOBAL bounds - >= 2380792919616 @ 569.456
579.96/581.79 c GLOBAL bounds - >= 2380792919616 @ 569.469
579.96/581.79 c GLOBAL bounds - >= 2380792919616 @ 569.471
580.06/581.82 c GLOBAL bounds - >= 2380792919616 @ 569.486
580.06/581.82 c GLOBAL bounds - >= 2380792919616 @ 569.487
580.06/581.84 c GLOBAL bounds - >= 2380792919616 @ 569.498
580.06/581.85 c GLOBAL bounds - >= 2380792919616 @ 569.5
580.06/581.87 c GLOBAL bounds - >= 2380792919616 @ 569.516
580.06/581.87 c GLOBAL bounds - >= 2380792919616 @ 569.518
580.16/581.90 c GLOBAL bounds - >= 2380792919616 @ 569.533
580.16/581.90 c GLOBAL bounds - >= 2380792919616 @ 569.535
580.16/581.93 c GLOBAL bounds - >= 2380792919616 @ 569.549
580.16/581.93 c GLOBAL bounds - >= 2380792919616 @ 569.55
580.16/581.96 c GLOBAL bounds - >= 2380792919616 @ 569.563
580.16/581.96 c GLOBAL bounds - >= 2380792919616 @ 569.566
580.16/581.99 c GLOBAL bounds - >= 2380792919616 @ 569.58
580.16/581.99 c GLOBAL bounds - >= 2380792919616 @ 569.583
580.26/582.01 c GLOBAL bounds - >= 2380792919616 @ 569.593
665.70/667.72 c #Conflicts: 477000 | #Constraints: 18369
665.70/667.72 c #Conflicts: 478000 | #Constraints: 19369
665.70/667.72 c #Conflicts: 479000 | #Constraints: 20369
665.70/667.72 c #Conflicts: 480000 | #Constraints: 21369
665.70/667.72 c #Conflicts: 481000 | #Constraints: 22369
665.70/667.72 c #Conflicts: 482000 | #Constraints: 23369
665.70/667.72 c #Conflicts: 483000 | #Constraints: 24369
665.70/667.72 c #Conflicts: 484000 | #Constraints: 25369
665.70/667.72 c #Conflicts: 485000 | #Constraints: 26369
665.70/667.72 c #Conflicts: 486000 | #Constraints: 27369
665.70/667.72 c #Conflicts: 487000 | #Constraints: 28369
665.70/667.72 c #Conflicts: 488000 | #Constraints: 29369
665.70/667.72 c INPROCESSING
665.70/667.72 c GARBAGE COLLECT
665.70/667.72 c #Conflicts: 489000 | #Constraints: 16575
665.70/667.72 c #Conflicts: 490000 | #Constraints: 17575
665.70/667.72 c #Conflicts: 491000 | #Constraints: 18575
665.70/667.72 c #Conflicts: 492000 | #Constraints: 19575
665.70/667.72 c #Conflicts: 493000 | #Constraints: 20575
665.70/667.72 c #Conflicts: 494000 | #Constraints: 21575
665.70/667.72 c #Conflicts: 495000 | #Constraints: 22575
665.70/667.72 c #Conflicts: 496000 | #Constraints: 23575
665.70/667.72 c #Conflicts: 497000 | #Constraints: 24575
665.70/667.72 c #Conflicts: 498000 | #Constraints: 25575
665.70/667.72 c #Conflicts: 499000 | #Constraints: 26575
665.70/667.72 c #Conflicts: 500000 | #Constraints: 27575
665.70/667.72 c #Conflicts: 501000 | #Constraints: 28575
665.70/667.72 c #Conflicts: 502000 | #Constraints: 29575
665.70/667.72 c INPROCESSING
665.70/667.72 c GARBAGE COLLECT
665.70/667.72 c #Conflicts: 503000 | #Constraints: 16571
665.70/667.72 c #Conflicts: 504000 | #Constraints: 17571
665.70/667.72 c #Conflicts: 505000 | #Constraints: 18571
665.70/667.72 c #Conflicts: 506000 | #Constraints: 19571
665.70/667.72 c #Conflicts: 507000 | #Constraints: 20571
665.70/667.72 c #Conflicts: 508000 | #Constraints: 21571
665.70/667.72 c #Conflicts: 509000 | #Constraints: 22571
665.70/667.72 c #Conflicts: 510000 | #Constraints: 23571
665.70/667.72 c #Conflicts: 511000 | #Constraints: 24571
665.70/667.72 c #Conflicts: 512000 | #Constraints: 25571
665.70/667.72 c #Conflicts: 513000 | #Constraints: 26571
665.70/667.72 c #Conflicts: 514000 | #Constraints: 27571
665.70/667.72 c #Conflicts: 515000 | #Constraints: 28571
665.70/667.72 c #Conflicts: 516000 | #Constraints: 29571
665.70/667.72 c INPROCESSING
665.70/667.72 c GARBAGE COLLECT
665.70/667.72 c #Conflicts: 517000 | #Constraints: 16365
665.70/667.72 c #Conflicts: 518000 | #Constraints: 17365
665.70/667.72 c #Conflicts: 519000 | #Constraints: 18365
665.70/667.72 c #Conflicts: 520000 | #Constraints: 19365
665.70/667.72 c #Conflicts: 521000 | #Constraints: 20365
665.70/667.72 c #Conflicts: 522000 | #Constraints: 21365
665.70/667.72 c #Conflicts: 523000 | #Constraints: 22365
665.70/667.72 c #Conflicts: 524000 | #Constraints: 23365
665.70/667.72 c #Conflicts: 525000 | #Constraints: 24365
665.70/667.72 c #Conflicts: 526000 | #Constraints: 25365
665.70/667.72 c #Conflicts: 527000 | #Constraints: 26365
665.70/667.72 c #Conflicts: 528000 | #Constraints: 27365
665.70/667.72 c #Conflicts: 529000 | #Constraints: 28365
665.70/667.72 c #Conflicts: 530000 | #Constraints: 29365
665.70/667.72 c #Conflicts: 531000 | #Constraints: 30365
665.70/667.72 c INPROCESSING
665.70/667.72 c GARBAGE COLLECT
665.70/667.72 c #Conflicts: 532000 | #Constraints: 16964
665.70/667.72 c #Conflicts: 533000 | #Constraints: 17964
665.70/667.72 c #Conflicts: 534000 | #Constraints: 18964
665.70/667.72 c #Conflicts: 535000 | #Constraints: 19964
665.70/667.72 c #Conflicts: 536000 | #Constraints: 20964
665.70/667.72 c #Conflicts: 537000 | #Constraints: 21964
665.70/667.72 c #Conflicts: 538000 | #Constraints: 22964
665.70/667.72 c #Conflicts: 539000 | #Constraints: 23964
665.70/667.72 c #Conflicts: 540000 | #Constraints: 24964
665.70/667.72 c #Conflicts: 541000 | #Constraints: 25964
665.70/667.72 c #Conflicts: 542000 | #Constraints: 26964
665.70/667.72 c #Conflicts: 543000 | #Constraints: 27964
665.70/667.72 c #Conflicts: 544000 | #Constraints: 28964
665.70/667.72 c #Conflicts: 545000 | #Constraints: 29964
665.70/667.72 c #Conflicts: 546000 | #Constraints: 30964
665.70/667.72 c INPROCESSING
665.70/667.72 c GARBAGE COLLECT
665.70/667.72 c #Conflicts: 547000 | #Constraints: 17371
665.70/667.72 c #Conflicts: 548000 | #Constraints: 18371
665.70/667.72 c #Conflicts: 549000 | #Constraints: 19371
665.70/667.72 c #Conflicts: 550000 | #Constraints: 20371
665.70/667.72 c #Conflicts: 551000 | #Constraints: 21371
665.70/667.72 c #Conflicts: 552000 | #Constraints: 22371
768.70/771.08 c #Conflicts: 553000 | #Constraints: 23371
768.70/771.08 c #Conflicts: 554000 | #Constraints: 24371
768.70/771.08 c #Conflicts: 555000 | #Constraints: 25371
768.70/771.08 c #Conflicts: 556000 | #Constraints: 26371
768.70/771.08 c #Conflicts: 557000 | #Constraints: 27371
768.70/771.08 c #Conflicts: 558000 | #Constraints: 28371
768.70/771.08 c #Conflicts: 559000 | #Constraints: 29371
768.70/771.08 c #Conflicts: 560000 | #Constraints: 30371
768.70/771.08 c #Conflicts: 561000 | #Constraints: 31371
768.70/771.08 c INPROCESSING
768.70/771.08 c GARBAGE COLLECT
768.70/771.08 c #Conflicts: 562000 | #Constraints: 17575
768.70/771.08 c #Conflicts: 563000 | #Constraints: 18575
768.70/771.08 c #Conflicts: 564000 | #Constraints: 19575
768.70/771.08 c #Conflicts: 565000 | #Constraints: 20575
768.70/771.08 c #Conflicts: 566000 | #Constraints: 21575
768.70/771.08 c #Conflicts: 567000 | #Constraints: 22575
768.70/771.08 c #Conflicts: 568000 | #Constraints: 23575
768.70/771.08 c #Conflicts: 569000 | #Constraints: 24575
768.70/771.08 c #Conflicts: 570000 | #Constraints: 25575
768.70/771.08 c #Conflicts: 571000 | #Constraints: 26575
768.70/771.08 c #Conflicts: 572000 | #Constraints: 27575
768.70/771.08 c #Conflicts: 573000 | #Constraints: 28575
768.70/771.08 c #Conflicts: 574000 | #Constraints: 29575
768.70/771.08 c #Conflicts: 575000 | #Constraints: 30575
768.70/771.08 c #Conflicts: 576000 | #Constraints: 31575
768.70/771.08 c INPROCESSING
768.70/771.08 c GARBAGE COLLECT
768.70/771.08 c #Conflicts: 577000 | #Constraints: 17571
768.70/771.08 c #Conflicts: 578000 | #Constraints: 18571
768.70/771.08 c #Conflicts: 579000 | #Constraints: 19571
768.70/771.08 c #Conflicts: 580000 | #Constraints: 20571
768.70/771.08 c #Conflicts: 581000 | #Constraints: 21571
768.70/771.08 c #Conflicts: 582000 | #Constraints: 22571
768.70/771.08 c #Conflicts: 583000 | #Constraints: 23571
768.70/771.08 c #Conflicts: 584000 | #Constraints: 24571
768.70/771.08 c #Conflicts: 585000 | #Constraints: 25571
768.70/771.08 c #Conflicts: 586000 | #Constraints: 26571
768.70/771.08 c #Conflicts: 587000 | #Constraints: 27571
768.70/771.08 c #Conflicts: 588000 | #Constraints: 28571
768.70/771.08 c #Conflicts: 589000 | #Constraints: 29571
768.70/771.08 c #Conflicts: 590000 | #Constraints: 30571
768.70/771.08 c #Conflicts: 591000 | #Constraints: 31571
768.70/771.08 c INPROCESSING
768.70/771.08 c GARBAGE COLLECT
768.70/771.08 c #Conflicts: 592000 | #Constraints: 17368
768.70/771.08 c #Conflicts: 593000 | #Constraints: 18368
768.70/771.08 c #Conflicts: 594000 | #Constraints: 19368
768.70/771.08 c #Conflicts: 595000 | #Constraints: 20368
768.70/771.08 c #Conflicts: 596000 | #Constraints: 21368
768.70/771.08 c #Conflicts: 597000 | #Constraints: 22368
768.70/771.08 c #Conflicts: 598000 | #Constraints: 23368
768.70/771.08 c #Conflicts: 599000 | #Constraints: 24368
768.70/771.08 c #Conflicts: 600000 | #Constraints: 25368
768.70/771.08 c #Conflicts: 601000 | #Constraints: 26368
768.70/771.08 c #Conflicts: 602000 | #Constraints: 27368
768.70/771.08 c #Conflicts: 603000 | #Constraints: 28368
768.70/771.08 c #Conflicts: 604000 | #Constraints: 29368
768.70/771.08 c #Conflicts: 605000 | #Constraints: 30368
768.70/771.08 c #Conflicts: 606000 | #Constraints: 31368
768.70/771.08 c #Conflicts: 607000 | #Constraints: 32368
768.70/771.08 c INPROCESSING
768.70/771.08 c GARBAGE COLLECT
768.70/771.08 c #Conflicts: 608000 | #Constraints: 17968
768.70/771.08 c #Conflicts: 609000 | #Constraints: 18968
768.70/771.08 c #Conflicts: 610000 | #Constraints: 19968
768.70/771.08 c #Conflicts: 611000 | #Constraints: 20968
768.70/771.08 c #Conflicts: 612000 | #Constraints: 21968
768.70/771.08 c #Conflicts: 613000 | #Constraints: 22968
768.70/771.08 c #Conflicts: 614000 | #Constraints: 23968
768.70/771.08 c #Conflicts: 615000 | #Constraints: 24968
768.70/771.08 c #Conflicts: 616000 | #Constraints: 25968
768.70/771.08 c #Conflicts: 617000 | #Constraints: 26968
768.70/771.08 c #Conflicts: 618000 | #Constraints: 27968
768.70/771.08 c #Conflicts: 619000 | #Constraints: 28968
768.70/771.08 c #Conflicts: 620000 | #Constraints: 29968
768.70/771.08 c #Conflicts: 621000 | #Constraints: 30968
768.70/771.08 c #Conflicts: 622000 | #Constraints: 31968
768.70/771.08 c #Conflicts: 623000 | #Constraints: 32968
768.70/771.08 c INPROCESSING
768.70/771.08 c GARBAGE COLLECT
768.70/771.08 c #Conflicts: 624000 | #Constraints: 18370
768.70/771.08 c #Conflicts: 625000 | #Constraints: 19370
768.70/771.08 c #Conflicts: 626000 | #Constraints: 20370
768.70/771.08 c #Conflicts: 627000 | #Constraints: 21370
768.70/771.08 c #Conflicts: 628000 | #Constraints: 22370
831.30/833.86 c #Conflicts: 629000 | #Constraints: 23370
831.30/833.86 c #Conflicts: 630000 | #Constraints: 24370
831.30/833.86 c #Conflicts: 631000 | #Constraints: 25370
831.30/833.86 c #Conflicts: 632000 | #Constraints: 26370
831.30/833.86 c #Conflicts: 633000 | #Constraints: 27370
831.30/833.86 c #Conflicts: 634000 | #Constraints: 28370
831.30/833.86 c #Conflicts: 635000 | #Constraints: 29370
831.30/833.86 c #Conflicts: 636000 | #Constraints: 30370
831.30/833.86 c #Conflicts: 637000 | #Constraints: 31370
831.30/833.86 c #Conflicts: 638000 | #Constraints: 32370
831.30/833.86 c #Conflicts: 639000 | #Constraints: 33370
831.30/833.86 c INPROCESSING
831.30/833.86 c GARBAGE COLLECT
831.30/833.86 c #Conflicts: 640000 | #Constraints: 18571
831.30/833.86 c #Conflicts: 641000 | #Constraints: 19571
831.30/833.86 c #Conflicts: 642000 | #Constraints: 20571
831.30/833.86 c #Conflicts: 643000 | #Constraints: 21571
831.30/833.86 c #Conflicts: 644000 | #Constraints: 22571
831.30/833.86 c #Conflicts: 645000 | #Constraints: 23571
831.30/833.86 c #Conflicts: 646000 | #Constraints: 24571
831.30/833.86 c #Conflicts: 647000 | #Constraints: 25571
831.30/833.86 c #Conflicts: 648000 | #Constraints: 26571
831.30/833.86 c #Conflicts: 649000 | #Constraints: 27571
831.30/833.86 c #Conflicts: 650000 | #Constraints: 28571
831.30/833.86 c #Conflicts: 651000 | #Constraints: 29571
831.30/833.86 c #Conflicts: 652000 | #Constraints: 30571
831.30/833.86 c #Conflicts: 653000 | #Constraints: 31571
831.30/833.86 c #Conflicts: 654000 | #Constraints: 32571
831.30/833.86 c #Conflicts: 655000 | #Constraints: 33571
831.30/833.86 c INPROCESSING
831.30/833.86 c GARBAGE COLLECT
831.30/833.86 c #Conflicts: 656000 | #Constraints: 18573
831.30/833.86 c #Conflicts: 657000 | #Constraints: 19573
831.30/833.86 c #Conflicts: 658000 | #Constraints: 20573
831.30/833.86 c #Conflicts: 659000 | #Constraints: 21573
831.30/833.86 c #Conflicts: 660000 | #Constraints: 22573
831.30/833.86 c #Conflicts: 661000 | #Constraints: 23573
831.30/833.86 c #Conflicts: 662000 | #Constraints: 24573
831.30/833.86 c #Conflicts: 663000 | #Constraints: 25573
831.30/833.86 c #Conflicts: 664000 | #Constraints: 26573
831.30/833.86 c GLOBAL bounds - >= 2380977475776 @ 818.165
831.30/833.88 c GLOBAL bounds - >= 2380977475776 @ 818.186
831.40/833.92 c GLOBAL bounds - >= 2380977475776 @ 818.204
831.40/833.92 c GLOBAL bounds - >= 2380977475776 @ 818.206
831.40/833.95 c GLOBAL bounds - >= 2380977475776 @ 818.231
831.40/833.95 c GLOBAL bounds - >= 2380977475776 @ 818.234
831.40/833.98 c GLOBAL bounds - >= 2380977475776 @ 818.252
831.40/833.99 c GLOBAL bounds - >= 2380977475776 @ 818.254
831.50/834.02 c GLOBAL bounds - >= 2380977475776 @ 818.276
831.50/834.02 c GLOBAL bounds - >= 2380977475776 @ 818.278
831.50/834.06 c GLOBAL bounds - >= 2380977475776 @ 818.299
831.50/834.06 c GLOBAL bounds - >= 2380977475776 @ 818.3
831.50/834.09 c GLOBAL bounds - >= 2380977475776 @ 818.319
831.50/834.09 c GLOBAL bounds - >= 2380977475776 @ 818.322
831.60/834.13 c GLOBAL bounds - >= 2380977475776 @ 818.345
831.60/834.13 c GLOBAL bounds - >= 2380977475776 @ 818.347
831.60/834.16 c GLOBAL bounds - >= 2380977475776 @ 818.366
831.60/834.17 c GLOBAL bounds - >= 2380977475776 @ 818.368
831.70/834.20 c GLOBAL bounds - >= 2380977475776 @ 818.389
831.70/834.20 c GLOBAL bounds - >= 2380977475776 @ 818.39
831.70/834.23 c GLOBAL bounds - >= 2380977475776 @ 818.408
925.32/928.19 c #Conflicts: 665000 | #Constraints: 27602
925.32/928.19 c #Conflicts: 666000 | #Constraints: 28602
925.32/928.19 c #Conflicts: 667000 | #Constraints: 29602
925.32/928.19 c #Conflicts: 668000 | #Constraints: 30602
925.32/928.19 c #Conflicts: 669000 | #Constraints: 31602
925.32/928.19 c #Conflicts: 670000 | #Constraints: 32602
925.32/928.19 c #Conflicts: 671000 | #Constraints: 33602
925.32/928.19 c INPROCESSING
925.32/928.19 c GARBAGE COLLECT
925.32/928.19 c #Conflicts: 672000 | #Constraints: 18400
925.32/928.19 c #Conflicts: 673000 | #Constraints: 19400
925.32/928.19 c #Conflicts: 674000 | #Constraints: 20400
925.32/928.19 c #Conflicts: 675000 | #Constraints: 21400
925.32/928.19 c #Conflicts: 676000 | #Constraints: 22400
925.32/928.19 c #Conflicts: 677000 | #Constraints: 23400
925.32/928.19 c #Conflicts: 678000 | #Constraints: 24400
925.32/928.19 c #Conflicts: 679000 | #Constraints: 25400
925.32/928.19 c #Conflicts: 680000 | #Constraints: 26400
925.32/928.19 c #Conflicts: 681000 | #Constraints: 27400
925.32/928.19 c #Conflicts: 682000 | #Constraints: 28400
925.32/928.19 c #Conflicts: 683000 | #Constraints: 29400
925.32/928.19 c #Conflicts: 684000 | #Constraints: 30400
925.32/928.19 c #Conflicts: 685000 | #Constraints: 31400
925.32/928.19 c #Conflicts: 686000 | #Constraints: 32400
925.32/928.19 c #Conflicts: 687000 | #Constraints: 33400
925.32/928.19 c #Conflicts: 688000 | #Constraints: 34400
925.32/928.19 c INPROCESSING
925.32/928.19 c GARBAGE COLLECT
925.32/928.19 c #Conflicts: 689000 | #Constraints: 19001
925.32/928.19 c #Conflicts: 690000 | #Constraints: 20001
925.32/928.19 c #Conflicts: 691000 | #Constraints: 21001
925.32/928.19 c #Conflicts: 692000 | #Constraints: 22001
925.32/928.19 c #Conflicts: 693000 | #Constraints: 23001
925.32/928.19 c #Conflicts: 694000 | #Constraints: 24001
925.32/928.19 c #Conflicts: 695000 | #Constraints: 25001
925.32/928.19 c #Conflicts: 696000 | #Constraints: 26001
925.32/928.19 c #Conflicts: 697000 | #Constraints: 27001
925.32/928.19 c #Conflicts: 698000 | #Constraints: 28001
925.32/928.19 c #Conflicts: 699000 | #Constraints: 29001
925.32/928.19 c #Conflicts: 700000 | #Constraints: 30001
925.32/928.19 c #Conflicts: 701000 | #Constraints: 31001
925.32/928.19 c #Conflicts: 702000 | #Constraints: 32001
925.32/928.19 c #Conflicts: 703000 | #Constraints: 33001
925.32/928.19 c #Conflicts: 704000 | #Constraints: 34001
925.32/928.19 c #Conflicts: 705000 | #Constraints: 35001
925.32/928.19 c INPROCESSING
925.32/928.19 c GARBAGE COLLECT
925.32/928.19 c #Conflicts: 706000 | #Constraints: 19404
925.32/928.19 c #Conflicts: 707000 | #Constraints: 20404
925.32/928.19 c #Conflicts: 708000 | #Constraints: 21404
925.32/928.19 c #Conflicts: 709000 | #Constraints: 22404
925.32/928.19 c #Conflicts: 710000 | #Constraints: 23404
925.32/928.19 c #Conflicts: 711000 | #Constraints: 24404
925.32/928.19 c #Conflicts: 712000 | #Constraints: 25404
925.32/928.19 c #Conflicts: 713000 | #Constraints: 26404
925.32/928.19 c #Conflicts: 714000 | #Constraints: 27404
925.32/928.19 c #Conflicts: 715000 | #Constraints: 28404
925.32/928.19 c #Conflicts: 716000 | #Constraints: 29404
925.32/928.19 c #Conflicts: 717000 | #Constraints: 30404
925.32/928.19 c #Conflicts: 718000 | #Constraints: 31404
925.32/928.19 c #Conflicts: 719000 | #Constraints: 32404
925.32/928.19 c #Conflicts: 720000 | #Constraints: 33404
925.32/928.19 c #Conflicts: 721000 | #Constraints: 34404
925.32/928.19 c #Conflicts: 722000 | #Constraints: 35404
925.32/928.19 c INPROCESSING
925.32/928.19 c GARBAGE COLLECT
925.32/928.19 c #Conflicts: 723000 | #Constraints: 19597
925.32/928.19 c #Conflicts: 724000 | #Constraints: 20597
925.32/928.19 c #Conflicts: 725000 | #Constraints: 21597
925.32/928.19 c #Conflicts: 726000 | #Constraints: 22597
925.32/928.19 c #Conflicts: 727000 | #Constraints: 23597
925.32/928.19 c #Conflicts: 728000 | #Constraints: 24597
925.32/928.19 c #Conflicts: 729000 | #Constraints: 25597
925.32/928.19 c #Conflicts: 730000 | #Constraints: 26597
925.32/928.19 c #Conflicts: 731000 | #Constraints: 27597
925.32/928.19 c #Conflicts: 732000 | #Constraints: 28597
925.32/928.19 c #Conflicts: 733000 | #Constraints: 29597
925.32/928.19 c #Conflicts: 734000 | #Constraints: 30597
925.32/928.19 c #Conflicts: 735000 | #Constraints: 31597
925.32/928.19 c #Conflicts: 736000 | #Constraints: 32597
925.32/928.19 c #Conflicts: 737000 | #Constraints: 33597
925.32/928.19 c #Conflicts: 738000 | #Constraints: 34597
925.32/928.19 c #Conflicts: 739000 | #Constraints: 35597
925.32/928.19 c INPROCESSING
925.32/928.19 c GARBAGE COLLECT
925.32/928.19 c #Conflicts: 740000 | #Constraints: 19599
1054.53/1057.70 c #Conflicts: 741000 | #Constraints: 20599
1054.53/1057.70 c #Conflicts: 742000 | #Constraints: 21599
1054.53/1057.70 c #Conflicts: 743000 | #Constraints: 22599
1054.53/1057.70 c #Conflicts: 744000 | #Constraints: 23599
1054.53/1057.70 c #Conflicts: 745000 | #Constraints: 24599
1054.53/1057.70 c #Conflicts: 746000 | #Constraints: 25599
1054.53/1057.70 c #Conflicts: 747000 | #Constraints: 26599
1054.53/1057.70 c #Conflicts: 748000 | #Constraints: 27599
1054.53/1057.70 c #Conflicts: 749000 | #Constraints: 28599
1054.53/1057.70 c #Conflicts: 750000 | #Constraints: 29599
1054.53/1057.70 c #Conflicts: 751000 | #Constraints: 30599
1054.53/1057.70 c #Conflicts: 752000 | #Constraints: 31599
1054.53/1057.70 c #Conflicts: 753000 | #Constraints: 32599
1054.53/1057.70 c #Conflicts: 754000 | #Constraints: 33599
1054.53/1057.70 c #Conflicts: 755000 | #Constraints: 34599
1054.53/1057.70 c #Conflicts: 756000 | #Constraints: 35599
1054.53/1057.70 c INPROCESSING
1054.53/1057.70 c GARBAGE COLLECT
1054.53/1057.70 c #Conflicts: 757000 | #Constraints: 19400
1054.53/1057.70 c #Conflicts: 758000 | #Constraints: 20400
1054.53/1057.70 c #Conflicts: 759000 | #Constraints: 21400
1054.53/1057.70 c #Conflicts: 760000 | #Constraints: 22400
1054.53/1057.70 c #Conflicts: 761000 | #Constraints: 23400
1054.53/1057.70 c #Conflicts: 762000 | #Constraints: 24400
1054.53/1057.70 c #Conflicts: 763000 | #Constraints: 25400
1054.53/1057.70 c #Conflicts: 764000 | #Constraints: 26400
1054.53/1057.70 c #Conflicts: 765000 | #Constraints: 27400
1054.53/1057.70 c #Conflicts: 766000 | #Constraints: 28400
1054.53/1057.70 c #Conflicts: 767000 | #Constraints: 29400
1054.53/1057.70 c #Conflicts: 768000 | #Constraints: 30400
1054.53/1057.70 c #Conflicts: 769000 | #Constraints: 31400
1054.53/1057.70 c #Conflicts: 770000 | #Constraints: 32400
1054.53/1057.70 c #Conflicts: 771000 | #Constraints: 33400
1054.53/1057.70 c #Conflicts: 772000 | #Constraints: 34400
1054.53/1057.70 c #Conflicts: 773000 | #Constraints: 35400
1054.53/1057.70 c #Conflicts: 774000 | #Constraints: 36400
1054.53/1057.70 c INPROCESSING
1054.53/1057.70 c GARBAGE COLLECT
1054.53/1057.70 c #Conflicts: 775000 | #Constraints: 20003
1054.53/1057.70 c #Conflicts: 776000 | #Constraints: 21003
1054.53/1057.70 c #Conflicts: 777000 | #Constraints: 22003
1054.53/1057.70 c #Conflicts: 778000 | #Constraints: 23003
1054.53/1057.70 c #Conflicts: 779000 | #Constraints: 24003
1054.53/1057.70 c #Conflicts: 780000 | #Constraints: 25003
1054.53/1057.70 c #Conflicts: 781000 | #Constraints: 26003
1054.53/1057.70 c #Conflicts: 782000 | #Constraints: 27003
1054.53/1057.70 c #Conflicts: 783000 | #Constraints: 28003
1054.53/1057.70 c #Conflicts: 784000 | #Constraints: 29003
1054.53/1057.70 c #Conflicts: 785000 | #Constraints: 30003
1054.53/1057.70 c #Conflicts: 786000 | #Constraints: 31003
1054.53/1057.70 c #Conflicts: 787000 | #Constraints: 32003
1054.53/1057.70 c #Conflicts: 788000 | #Constraints: 33003
1054.53/1057.70 c #Conflicts: 789000 | #Constraints: 34003
1054.53/1057.70 c #Conflicts: 790000 | #Constraints: 35003
1054.53/1057.70 c #Conflicts: 791000 | #Constraints: 36003
1054.53/1057.70 c #Conflicts: 792000 | #Constraints: 37003
1054.53/1057.70 c INPROCESSING
1054.53/1057.70 c GARBAGE COLLECT
1054.53/1057.70 c #Conflicts: 793000 | #Constraints: 20400
1054.53/1057.70 c #Conflicts: 794000 | #Constraints: 21400
1054.53/1057.70 c #Conflicts: 795000 | #Constraints: 22400
1054.53/1057.70 c #Conflicts: 796000 | #Constraints: 23400
1054.53/1057.70 c #Conflicts: 797000 | #Constraints: 24400
1054.53/1057.70 c #Conflicts: 798000 | #Constraints: 25400
1054.53/1057.70 c #Conflicts: 799000 | #Constraints: 26400
1054.53/1057.70 c #Conflicts: 800000 | #Constraints: 27400
1054.53/1057.70 c #Conflicts: 801000 | #Constraints: 28400
1054.53/1057.70 c #Conflicts: 802000 | #Constraints: 29400
1054.53/1057.70 c #Conflicts: 803000 | #Constraints: 30400
1054.53/1057.70 c #Conflicts: 804000 | #Constraints: 31400
1054.53/1057.70 c #Conflicts: 805000 | #Constraints: 32400
1054.53/1057.70 c #Conflicts: 806000 | #Constraints: 33400
1054.53/1057.70 c #Conflicts: 807000 | #Constraints: 34400
1054.53/1057.70 c #Conflicts: 808000 | #Constraints: 35400
1054.53/1057.70 c #Conflicts: 809000 | #Constraints: 36400
1054.53/1057.70 c #Conflicts: 810000 | #Constraints: 37400
1054.53/1057.70 c INPROCESSING
1054.53/1057.70 c GARBAGE COLLECT
1054.53/1057.70 c #Conflicts: 811000 | #Constraints: 20599
1054.53/1057.70 c #Conflicts: 812000 | #Constraints: 21599
1054.53/1057.70 c #Conflicts: 813000 | #Constraints: 22599
1054.53/1057.70 c #Conflicts: 814000 | #Constraints: 23599
1054.53/1057.70 c #Conflicts: 815000 | #Constraints: 24599
1054.53/1057.70 c #Conflicts: 816000 | #Constraints: 25599
1141.97/1145.47 c #Conflicts: 817000 | #Constraints: 26599
1141.97/1145.47 c #Conflicts: 818000 | #Constraints: 27599
1141.97/1145.47 c #Conflicts: 819000 | #Constraints: 28599
1141.97/1145.47 c #Conflicts: 820000 | #Constraints: 29599
1141.97/1145.47 c #Conflicts: 821000 | #Constraints: 30599
1141.97/1145.47 c #Conflicts: 822000 | #Constraints: 31599
1141.97/1145.47 c #Conflicts: 823000 | #Constraints: 32599
1141.97/1145.47 c #Conflicts: 824000 | #Constraints: 33599
1141.97/1145.47 c #Conflicts: 825000 | #Constraints: 34599
1141.97/1145.47 c #Conflicts: 826000 | #Constraints: 35599
1141.97/1145.47 c #Conflicts: 827000 | #Constraints: 36599
1141.97/1145.47 c #Conflicts: 828000 | #Constraints: 37599
1141.97/1145.47 c INPROCESSING
1141.97/1145.47 c GARBAGE COLLECT
1141.97/1145.47 c #Conflicts: 829000 | #Constraints: 20607
1141.97/1145.47 c #Conflicts: 830000 | #Constraints: 21607
1141.97/1145.47 c #Conflicts: 831000 | #Constraints: 22607
1141.97/1145.47 c #Conflicts: 832000 | #Constraints: 23607
1141.97/1145.47 c #Conflicts: 833000 | #Constraints: 24607
1141.97/1145.47 c #Conflicts: 834000 | #Constraints: 25607
1141.97/1145.47 c #Conflicts: 835000 | #Constraints: 26607
1141.97/1145.47 c #Conflicts: 836000 | #Constraints: 27607
1141.97/1145.47 c #Conflicts: 837000 | #Constraints: 28607
1141.97/1145.47 c #Conflicts: 838000 | #Constraints: 29607
1141.97/1145.47 c #Conflicts: 839000 | #Constraints: 30607
1141.97/1145.47 c #Conflicts: 840000 | #Constraints: 31607
1141.97/1145.47 c #Conflicts: 841000 | #Constraints: 32607
1141.97/1145.47 c #Conflicts: 842000 | #Constraints: 33607
1141.97/1145.47 c #Conflicts: 843000 | #Constraints: 34607
1141.97/1145.47 c #Conflicts: 844000 | #Constraints: 35607
1141.97/1145.47 c #Conflicts: 845000 | #Constraints: 36607
1141.97/1145.47 c #Conflicts: 846000 | #Constraints: 37607
1141.97/1145.47 c INPROCESSING
1141.97/1145.47 c GARBAGE COLLECT
1141.97/1145.47 c #Conflicts: 847000 | #Constraints: 20412
1141.97/1145.47 c #Conflicts: 848000 | #Constraints: 21412
1141.97/1145.47 c #Conflicts: 849000 | #Constraints: 22412
1141.97/1145.47 c #Conflicts: 850000 | #Constraints: 23412
1141.97/1145.47 c #Conflicts: 851000 | #Constraints: 24412
1141.97/1145.47 c #Conflicts: 852000 | #Constraints: 25412
1141.97/1145.47 c #Conflicts: 853000 | #Constraints: 26412
1141.97/1145.47 c #Conflicts: 854000 | #Constraints: 27412
1141.97/1145.47 c #Conflicts: 855000 | #Constraints: 28412
1141.97/1145.47 c #Conflicts: 856000 | #Constraints: 29412
1141.97/1145.47 c #Conflicts: 857000 | #Constraints: 30412
1141.97/1145.47 c #Conflicts: 858000 | #Constraints: 31412
1141.97/1145.47 c GLOBAL bounds - >= 2460428902656 @ 1125.95
1141.97/1145.50 c GLOBAL bounds - >= 2460428902656 @ 1125.97
1142.06/1145.53 c GLOBAL bounds - >= 2460428902656 @ 1125.98
1142.06/1145.53 c GLOBAL bounds - >= 2460428902656 @ 1125.99
1142.06/1145.56 c GLOBAL bounds - >= 2460428902656 @ 1126
1142.06/1145.56 c GLOBAL bounds - >= 2460428902656 @ 1126.01
1142.06/1145.59 c GLOBAL bounds - >= 2460428902656 @ 1126.03
1142.06/1145.59 c GLOBAL bounds - >= 2460428902656 @ 1126.03
1142.16/1145.62 c GLOBAL bounds - >= 2460428902656 @ 1126.04
1142.16/1145.63 c GLOBAL bounds - >= 2460428902656 @ 1126.05
1142.16/1145.66 c GLOBAL bounds - >= 2460428902656 @ 1126.07
1142.16/1145.66 c GLOBAL bounds - >= 2460428902656 @ 1126.07
1142.16/1145.69 c GLOBAL bounds - >= 2460428902656 @ 1126.09
1142.16/1145.69 c GLOBAL bounds - >= 2460428902656 @ 1126.09
1142.26/1145.72 c GLOBAL bounds - >= 2460428902656 @ 1126.11
1142.26/1145.72 c GLOBAL bounds - >= 2460428902656 @ 1126.11
1142.26/1145.75 c GLOBAL bounds - >= 2460428902656 @ 1126.13
1142.26/1145.76 c GLOBAL bounds - >= 2460428902656 @ 1126.13
1142.26/1145.79 c GLOBAL bounds - >= 2460428902656 @ 1126.15
1142.26/1145.79 c GLOBAL bounds - >= 2460428902656 @ 1126.15
1142.36/1145.82 c GLOBAL bounds - >= 2460428902656 @ 1126.17
1241.26/1245.06 c #Conflicts: 859000 | #Constraints: 32441
1241.26/1245.06 c #Conflicts: 860000 | #Constraints: 33441
1241.26/1245.06 c #Conflicts: 861000 | #Constraints: 34441
1241.26/1245.06 c #Conflicts: 862000 | #Constraints: 35441
1241.26/1245.06 c #Conflicts: 863000 | #Constraints: 36441
1241.26/1245.06 c #Conflicts: 864000 | #Constraints: 37441
1241.26/1245.06 c #Conflicts: 865000 | #Constraints: 38441
1241.26/1245.06 c INPROCESSING
1241.26/1245.06 c GARBAGE COLLECT
1241.26/1245.06 c #Conflicts: 866000 | #Constraints: 21030
1241.26/1245.06 c #Conflicts: 867000 | #Constraints: 22030
1241.26/1245.06 c #Conflicts: 868000 | #Constraints: 23030
1241.26/1245.06 c #Conflicts: 869000 | #Constraints: 24030
1241.26/1245.06 c #Conflicts: 870000 | #Constraints: 25030
1241.26/1245.06 c #Conflicts: 871000 | #Constraints: 26030
1241.26/1245.06 c #Conflicts: 872000 | #Constraints: 27030
1241.26/1245.06 c #Conflicts: 873000 | #Constraints: 28030
1241.26/1245.06 c #Conflicts: 874000 | #Constraints: 29030
1241.26/1245.06 c #Conflicts: 875000 | #Constraints: 30030
1241.26/1245.06 c #Conflicts: 876000 | #Constraints: 31030
1241.26/1245.06 c #Conflicts: 877000 | #Constraints: 32030
1241.26/1245.06 c #Conflicts: 878000 | #Constraints: 33030
1241.26/1245.06 c #Conflicts: 879000 | #Constraints: 34030
1241.26/1245.06 c #Conflicts: 880000 | #Constraints: 35030
1241.26/1245.06 c #Conflicts: 881000 | #Constraints: 36030
1241.26/1245.06 c #Conflicts: 882000 | #Constraints: 37030
1241.26/1245.06 c #Conflicts: 883000 | #Constraints: 38030
1241.26/1245.06 c #Conflicts: 884000 | #Constraints: 39030
1241.26/1245.06 c INPROCESSING
1241.26/1245.06 c GARBAGE COLLECT
1241.26/1245.06 c #Conflicts: 885000 | #Constraints: 21431
1241.26/1245.06 c #Conflicts: 886000 | #Constraints: 22431
1241.26/1245.06 c #Conflicts: 887000 | #Constraints: 23431
1241.26/1245.06 c #Conflicts: 888000 | #Constraints: 24431
1241.26/1245.06 c #Conflicts: 889000 | #Constraints: 25431
1241.26/1245.06 c #Conflicts: 890000 | #Constraints: 26431
1241.26/1245.06 c #Conflicts: 891000 | #Constraints: 27431
1241.26/1245.06 c #Conflicts: 892000 | #Constraints: 28431
1241.26/1245.06 c #Conflicts: 893000 | #Constraints: 29431
1241.26/1245.06 c #Conflicts: 894000 | #Constraints: 30431
1241.26/1245.06 c #Conflicts: 895000 | #Constraints: 31431
1241.26/1245.06 c #Conflicts: 896000 | #Constraints: 32431
1241.26/1245.06 c #Conflicts: 897000 | #Constraints: 33431
1241.26/1245.06 c #Conflicts: 898000 | #Constraints: 34431
1241.26/1245.06 c #Conflicts: 899000 | #Constraints: 35431
1241.26/1245.06 c #Conflicts: 900000 | #Constraints: 36431
1241.26/1245.06 c #Conflicts: 901000 | #Constraints: 37431
1241.26/1245.06 c #Conflicts: 902000 | #Constraints: 38431
1241.26/1245.06 c #Conflicts: 903000 | #Constraints: 39431
1241.26/1245.06 c INPROCESSING
1241.26/1245.06 c GARBAGE COLLECT
1241.26/1245.06 c #Conflicts: 904000 | #Constraints: 21627
1241.26/1245.06 c #Conflicts: 905000 | #Constraints: 22627
1241.26/1245.06 c #Conflicts: 906000 | #Constraints: 23627
1241.26/1245.06 c #Conflicts: 907000 | #Constraints: 24627
1241.26/1245.06 c #Conflicts: 908000 | #Constraints: 25627
1241.26/1245.06 c #Conflicts: 909000 | #Constraints: 26627
1241.26/1245.06 c #Conflicts: 910000 | #Constraints: 27627
1241.26/1245.06 c #Conflicts: 911000 | #Constraints: 28627
1241.26/1245.06 c #Conflicts: 912000 | #Constraints: 29627
1241.26/1245.06 c #Conflicts: 913000 | #Constraints: 30627
1241.26/1245.06 c #Conflicts: 914000 | #Constraints: 31627
1241.26/1245.06 c #Conflicts: 915000 | #Constraints: 32627
1241.26/1245.06 c #Conflicts: 916000 | #Constraints: 33627
1241.26/1245.06 c #Conflicts: 917000 | #Constraints: 34627
1241.26/1245.06 c #Conflicts: 918000 | #Constraints: 35627
1241.26/1245.06 c #Conflicts: 919000 | #Constraints: 36627
1241.26/1245.06 c #Conflicts: 920000 | #Constraints: 37627
1241.26/1245.06 c #Conflicts: 921000 | #Constraints: 38627
1241.26/1245.06 c #Conflicts: 922000 | #Constraints: 39627
1241.26/1245.06 c INPROCESSING
1241.26/1245.06 c GARBAGE COLLECT
1241.26/1245.06 c #Conflicts: 923000 | #Constraints: 21624
1241.26/1245.06 c #Conflicts: 924000 | #Constraints: 22624
1241.26/1245.06 c #Conflicts: 925000 | #Constraints: 23624
1241.26/1245.06 c #Conflicts: 926000 | #Constraints: 24624
1241.26/1245.06 c #Conflicts: 927000 | #Constraints: 25624
1241.26/1245.06 c #Conflicts: 928000 | #Constraints: 26624
1241.26/1245.06 c #Conflicts: 929000 | #Constraints: 27624
1241.26/1245.06 c #Conflicts: 930000 | #Constraints: 28624
1241.26/1245.06 c #Conflicts: 931000 | #Constraints: 29624
1241.26/1245.06 c #Conflicts: 932000 | #Constraints: 30624
1241.26/1245.06 c #Conflicts: 933000 | #Constraints: 31624
1241.26/1245.06 c #Conflicts: 934000 | #Constraints: 32624
1241.26/1245.06 c #Conflicts: 935000 | #Constraints: 33624
1379.84/1384.03 c #Conflicts: 936000 | #Constraints: 34624
1379.84/1384.03 c #Conflicts: 937000 | #Constraints: 35624
1379.84/1384.03 c #Conflicts: 938000 | #Constraints: 36624
1379.84/1384.03 c #Conflicts: 939000 | #Constraints: 37624
1379.84/1384.03 c #Conflicts: 940000 | #Constraints: 38624
1379.84/1384.03 c #Conflicts: 941000 | #Constraints: 39624
1379.84/1384.03 c INPROCESSING
1379.84/1384.03 c GARBAGE COLLECT
1379.84/1384.03 c #Conflicts: 942000 | #Constraints: 21422
1379.84/1384.03 c #Conflicts: 943000 | #Constraints: 22422
1379.84/1384.03 c #Conflicts: 944000 | #Constraints: 23422
1379.84/1384.03 c #Conflicts: 945000 | #Constraints: 24422
1379.84/1384.03 c #Conflicts: 946000 | #Constraints: 25422
1379.84/1384.03 c #Conflicts: 947000 | #Constraints: 26422
1379.84/1384.03 c #Conflicts: 948000 | #Constraints: 27422
1379.84/1384.03 c #Conflicts: 949000 | #Constraints: 28422
1379.84/1384.03 c #Conflicts: 950000 | #Constraints: 29422
1379.84/1384.03 c #Conflicts: 951000 | #Constraints: 30422
1379.84/1384.03 c #Conflicts: 952000 | #Constraints: 31422
1379.84/1384.03 c #Conflicts: 953000 | #Constraints: 32422
1379.84/1384.03 c #Conflicts: 954000 | #Constraints: 33422
1379.84/1384.03 c #Conflicts: 955000 | #Constraints: 34422
1379.84/1384.03 c #Conflicts: 956000 | #Constraints: 35422
1379.84/1384.03 c #Conflicts: 957000 | #Constraints: 36422
1379.84/1384.03 c #Conflicts: 958000 | #Constraints: 37422
1379.84/1384.03 c #Conflicts: 959000 | #Constraints: 38422
1379.84/1384.03 c #Conflicts: 960000 | #Constraints: 39422
1379.84/1384.03 c #Conflicts: 961000 | #Constraints: 40422
1379.84/1384.03 c INPROCESSING
1379.84/1384.03 c GARBAGE COLLECT
1379.84/1384.03 c #Conflicts: 962000 | #Constraints: 22021
1379.84/1384.03 c #Conflicts: 963000 | #Constraints: 23021
1379.84/1384.03 c #Conflicts: 964000 | #Constraints: 24021
1379.84/1384.03 c #Conflicts: 965000 | #Constraints: 25021
1379.84/1384.03 c #Conflicts: 966000 | #Constraints: 26021
1379.84/1384.03 c #Conflicts: 967000 | #Constraints: 27021
1379.84/1384.03 c #Conflicts: 968000 | #Constraints: 28021
1379.84/1384.03 c #Conflicts: 969000 | #Constraints: 29021
1379.84/1384.03 c #Conflicts: 970000 | #Constraints: 30021
1379.84/1384.03 c #Conflicts: 971000 | #Constraints: 31021
1379.84/1384.03 c #Conflicts: 972000 | #Constraints: 32021
1379.84/1384.03 c #Conflicts: 973000 | #Constraints: 33021
1379.84/1384.03 c #Conflicts: 974000 | #Constraints: 34021
1379.84/1384.03 c #Conflicts: 975000 | #Constraints: 35021
1379.84/1384.03 c #Conflicts: 976000 | #Constraints: 36021
1379.84/1384.03 c #Conflicts: 977000 | #Constraints: 37021
1379.84/1384.03 c #Conflicts: 978000 | #Constraints: 38021
1379.84/1384.03 c #Conflicts: 979000 | #Constraints: 39021
1379.84/1384.03 c #Conflicts: 980000 | #Constraints: 40021
1379.84/1384.03 c #Conflicts: 981000 | #Constraints: 41021
1379.84/1384.03 c INPROCESSING
1379.84/1384.03 c GARBAGE COLLECT
1379.84/1384.03 c #Conflicts: 982000 | #Constraints: 22432
1379.84/1384.03 c #Conflicts: 983000 | #Constraints: 23432
1379.84/1384.03 c #Conflicts: 984000 | #Constraints: 24432
1379.84/1384.03 c #Conflicts: 985000 | #Constraints: 25432
1379.84/1384.03 c #Conflicts: 986000 | #Constraints: 26432
1379.84/1384.03 c #Conflicts: 987000 | #Constraints: 27432
1379.84/1384.03 c #Conflicts: 988000 | #Constraints: 28432
1379.84/1384.03 c #Conflicts: 989000 | #Constraints: 29432
1379.84/1384.03 c #Conflicts: 990000 | #Constraints: 30432
1379.84/1384.03 c #Conflicts: 991000 | #Constraints: 31432
1379.84/1384.03 c #Conflicts: 992000 | #Constraints: 32432
1379.84/1384.03 c #Conflicts: 993000 | #Constraints: 33432
1379.84/1384.03 c #Conflicts: 994000 | #Constraints: 34432
1379.84/1384.03 c #Conflicts: 995000 | #Constraints: 35432
1379.84/1384.03 c #Conflicts: 996000 | #Constraints: 36432
1379.84/1384.03 c #Conflicts: 997000 | #Constraints: 37432
1379.84/1384.03 c #Conflicts: 998000 | #Constraints: 38432
1379.84/1384.03 c #Conflicts: 999000 | #Constraints: 39432
1379.84/1384.03 c #Conflicts: 1000000 | #Constraints: 40432
1379.84/1384.03 c #Conflicts: 1001000 | #Constraints: 41432
1379.84/1384.03 c INPROCESSING
1379.84/1384.03 c GARBAGE COLLECT
1379.84/1384.03 c #Conflicts: 1002000 | #Constraints: 22631
1379.84/1384.03 c #Conflicts: 1003000 | #Constraints: 23631
1379.84/1384.03 c #Conflicts: 1004000 | #Constraints: 24631
1379.84/1384.03 c #Conflicts: 1005000 | #Constraints: 25631
1379.84/1384.03 c #Conflicts: 1006000 | #Constraints: 26631
1379.84/1384.03 c #Conflicts: 1007000 | #Constraints: 27631
1379.84/1384.03 c #Conflicts: 1008000 | #Constraints: 28631
1379.84/1384.03 c #Conflicts: 1009000 | #Constraints: 29631
1379.84/1384.03 c #Conflicts: 1010000 | #Constraints: 30631
1379.84/1384.03 c #Conflicts: 1011000 | #Constraints: 31631
1604.34/1609.20 c #Conflicts: 1012000 | #Constraints: 32631
1604.34/1609.20 c #Conflicts: 1013000 | #Constraints: 33631
1604.34/1609.20 c #Conflicts: 1014000 | #Constraints: 34631
1604.34/1609.20 c #Conflicts: 1015000 | #Constraints: 35631
1604.34/1609.20 c #Conflicts: 1016000 | #Constraints: 36631
1604.34/1609.20 c #Conflicts: 1017000 | #Constraints: 37631
1604.34/1609.20 c #Conflicts: 1018000 | #Constraints: 38631
1604.34/1609.20 c #Conflicts: 1019000 | #Constraints: 39631
1604.34/1609.20 c #Conflicts: 1020000 | #Constraints: 40631
1604.34/1609.20 c #Conflicts: 1021000 | #Constraints: 41631
1604.34/1609.20 c INPROCESSING
1604.34/1609.20 c GARBAGE COLLECT
1604.34/1609.20 c #Conflicts: 1022000 | #Constraints: 22615
1604.34/1609.20 c #Conflicts: 1023000 | #Constraints: 23615
1604.34/1609.20 c #Conflicts: 1024000 | #Constraints: 24615
1604.34/1609.20 c #Conflicts: 1025000 | #Constraints: 25615
1604.34/1609.20 c #Conflicts: 1026000 | #Constraints: 26615
1604.34/1609.20 c #Conflicts: 1027000 | #Constraints: 27615
1604.34/1609.20 c #Conflicts: 1028000 | #Constraints: 28615
1604.34/1609.20 c #Conflicts: 1029000 | #Constraints: 29615
1604.34/1609.20 c #Conflicts: 1030000 | #Constraints: 30615
1604.34/1609.20 c #Conflicts: 1031000 | #Constraints: 31615
1604.34/1609.20 c #Conflicts: 1032000 | #Constraints: 32615
1604.34/1609.20 c #Conflicts: 1033000 | #Constraints: 33615
1604.34/1609.20 c #Conflicts: 1034000 | #Constraints: 34615
1604.34/1609.20 c #Conflicts: 1035000 | #Constraints: 35615
1604.34/1609.20 c #Conflicts: 1036000 | #Constraints: 36615
1604.34/1609.20 c #Conflicts: 1037000 | #Constraints: 37615
1604.34/1609.20 c #Conflicts: 1038000 | #Constraints: 38615
1604.34/1609.20 c #Conflicts: 1039000 | #Constraints: 39615
1604.34/1609.20 c #Conflicts: 1040000 | #Constraints: 40615
1604.34/1609.20 c #Conflicts: 1041000 | #Constraints: 41615
1604.34/1609.20 c INPROCESSING
1604.34/1609.20 c GARBAGE COLLECT
1604.34/1609.20 c #Conflicts: 1042000 | #Constraints: 22422
1604.34/1609.20 c #Conflicts: 1043000 | #Constraints: 23422
1604.34/1609.20 c #Conflicts: 1044000 | #Constraints: 24422
1604.34/1609.20 c #Conflicts: 1045000 | #Constraints: 25422
1604.34/1609.20 c #Conflicts: 1046000 | #Constraints: 26422
1604.34/1609.20 c #Conflicts: 1047000 | #Constraints: 27422
1604.34/1609.20 c #Conflicts: 1048000 | #Constraints: 28422
1604.34/1609.20 c #Conflicts: 1049000 | #Constraints: 29422
1604.34/1609.20 c #Conflicts: 1050000 | #Constraints: 30422
1604.34/1609.20 c #Conflicts: 1051000 | #Constraints: 31422
1604.34/1609.20 c #Conflicts: 1052000 | #Constraints: 32422
1604.34/1609.20 c #Conflicts: 1053000 | #Constraints: 33422
1604.34/1609.20 c #Conflicts: 1054000 | #Constraints: 34422
1604.34/1609.20 c #Conflicts: 1055000 | #Constraints: 35422
1604.34/1609.20 c #Conflicts: 1056000 | #Constraints: 36422
1604.34/1609.20 c #Conflicts: 1057000 | #Constraints: 37422
1604.34/1609.20 c #Conflicts: 1058000 | #Constraints: 38422
1604.34/1609.20 c #Conflicts: 1059000 | #Constraints: 39422
1604.34/1609.20 c #Conflicts: 1060000 | #Constraints: 40422
1604.34/1609.20 c #Conflicts: 1061000 | #Constraints: 41422
1604.34/1609.20 c #Conflicts: 1062000 | #Constraints: 42422
1604.34/1609.20 c INPROCESSING
1604.34/1609.20 c GARBAGE COLLECT
1604.34/1609.20 c #Conflicts: 1063000 | #Constraints: 23007
1604.34/1609.20 c #Conflicts: 1064000 | #Constraints: 24007
1604.34/1609.20 c #Conflicts: 1065000 | #Constraints: 25007
1604.34/1609.20 c #Conflicts: 1066000 | #Constraints: 26007
1604.34/1609.20 c #Conflicts: 1067000 | #Constraints: 27007
1604.34/1609.20 c #Conflicts: 1068000 | #Constraints: 28007
1604.34/1609.20 c #Conflicts: 1069000 | #Constraints: 29007
1604.34/1609.20 c #Conflicts: 1070000 | #Constraints: 30007
1604.34/1609.20 c #Conflicts: 1071000 | #Constraints: 31007
1604.34/1609.20 c #Conflicts: 1072000 | #Constraints: 32007
1604.34/1609.20 c #Conflicts: 1073000 | #Constraints: 33007
1604.34/1609.20 c #Conflicts: 1074000 | #Constraints: 34007
1604.34/1609.20 c #Conflicts: 1075000 | #Constraints: 35007
1604.34/1609.20 c #Conflicts: 1076000 | #Constraints: 36007
1604.34/1609.20 c #Conflicts: 1077000 | #Constraints: 37007
1604.34/1609.20 c #Conflicts: 1078000 | #Constraints: 38007
1604.34/1609.20 c #Conflicts: 1079000 | #Constraints: 39007
1604.34/1609.20 c #Conflicts: 1080000 | #Constraints: 40007
1604.34/1609.20 c #Conflicts: 1081000 | #Constraints: 41007
1604.34/1609.20 c #Conflicts: 1082000 | #Constraints: 42007
1604.34/1609.20 c #Conflicts: 1083000 | #Constraints: 43007
1604.34/1609.20 c INPROCESSING
1604.34/1609.20 c GARBAGE COLLECT
1604.34/1609.20 c #Conflicts: 1084000 | #Constraints: 23412
1604.34/1609.20 c #Conflicts: 1085000 | #Constraints: 24412
1604.34/1609.20 c #Conflicts: 1086000 | #Constraints: 25412
1604.34/1609.20 c #Conflicts: 1087000 | #Constraints: 26412
1785.68/1791.14 c #Conflicts: 1088000 | #Constraints: 27412
1785.68/1791.14 c #Conflicts: 1089000 | #Constraints: 28412
1785.68/1791.14 c #Conflicts: 1090000 | #Constraints: 29412
1785.68/1791.14 c #Conflicts: 1091000 | #Constraints: 30412
1785.68/1791.14 c #Conflicts: 1092000 | #Constraints: 31412
1785.68/1791.14 c #Conflicts: 1093000 | #Constraints: 32412
1785.68/1791.14 c #Conflicts: 1094000 | #Constraints: 33412
1785.68/1791.14 c #Conflicts: 1095000 | #Constraints: 34412
1785.68/1791.14 c #Conflicts: 1096000 | #Constraints: 35412
1785.68/1791.14 c #Conflicts: 1097000 | #Constraints: 36412
1785.68/1791.14 c #Conflicts: 1098000 | #Constraints: 37412
1785.68/1791.14 c #Conflicts: 1099000 | #Constraints: 38412
1785.68/1791.14 c #Conflicts: 1100000 | #Constraints: 39412
1785.68/1791.14 c #Conflicts: 1101000 | #Constraints: 40412
1785.68/1791.14 c #Conflicts: 1102000 | #Constraints: 41412
1785.68/1791.14 c #Conflicts: 1103000 | #Constraints: 42412
1785.68/1791.14 c #Conflicts: 1104000 | #Constraints: 43412
1785.68/1791.14 c INPROCESSING
1785.68/1791.14 c GARBAGE COLLECT
1785.68/1791.14 c #Conflicts: 1105000 | #Constraints: 23617
1785.68/1791.14 c #Conflicts: 1106000 | #Constraints: 24617
1785.68/1791.14 c #Conflicts: 1107000 | #Constraints: 25617
1785.68/1791.14 c #Conflicts: 1108000 | #Constraints: 26617
1785.68/1791.14 c #Conflicts: 1109000 | #Constraints: 27617
1785.68/1791.14 c #Conflicts: 1110000 | #Constraints: 28617
1785.68/1791.14 c #Conflicts: 1111000 | #Constraints: 29617
1785.68/1791.14 c #Conflicts: 1112000 | #Constraints: 30617
1785.68/1791.14 c #Conflicts: 1113000 | #Constraints: 31617
1785.68/1791.14 c #Conflicts: 1114000 | #Constraints: 32617
1785.68/1791.14 c #Conflicts: 1115000 | #Constraints: 33617
1785.68/1791.14 c #Conflicts: 1116000 | #Constraints: 34617
1785.68/1791.14 c #Conflicts: 1117000 | #Constraints: 35617
1785.68/1791.14 c #Conflicts: 1118000 | #Constraints: 36617
1785.68/1791.14 c #Conflicts: 1119000 | #Constraints: 37617
1785.68/1791.14 c #Conflicts: 1120000 | #Constraints: 38617
1785.68/1791.14 c #Conflicts: 1121000 | #Constraints: 39617
1785.68/1791.14 c #Conflicts: 1122000 | #Constraints: 40617
1785.68/1791.14 c #Conflicts: 1123000 | #Constraints: 41617
1785.68/1791.14 c #Conflicts: 1124000 | #Constraints: 42617
1785.68/1791.14 c #Conflicts: 1125000 | #Constraints: 43617
1785.68/1791.14 c INPROCESSING
1785.68/1791.14 c GARBAGE COLLECT
1785.68/1791.14 c #Conflicts: 1126000 | #Constraints: 23622
1785.68/1791.14 c #Conflicts: 1127000 | #Constraints: 24622
1785.68/1791.14 c #Conflicts: 1128000 | #Constraints: 25622
1785.68/1791.14 c #Conflicts: 1129000 | #Constraints: 26622
1785.68/1791.14 c #Conflicts: 1130000 | #Constraints: 27622
1785.68/1791.14 c #Conflicts: 1131000 | #Constraints: 28622
1785.68/1791.14 c #Conflicts: 1132000 | #Constraints: 29622
1785.68/1791.14 c #Conflicts: 1133000 | #Constraints: 30622
1785.68/1791.14 c #Conflicts: 1134000 | #Constraints: 31622
1785.68/1791.14 c #Conflicts: 1135000 | #Constraints: 32622
1785.68/1791.14 c #Conflicts: 1136000 | #Constraints: 33622
1785.68/1791.14 c #Conflicts: 1137000 | #Constraints: 34622
1785.68/1791.14 c #Conflicts: 1138000 | #Constraints: 35622
1785.68/1791.14 c #Conflicts: 1139000 | #Constraints: 36622
1785.68/1791.14 c #Conflicts: 1140000 | #Constraints: 37622
1785.68/1791.14 c #Conflicts: 1141000 | #Constraints: 38622
1785.68/1791.14 c #Conflicts: 1142000 | #Constraints: 39622
1785.68/1791.14 c #Conflicts: 1143000 | #Constraints: 40622
1785.68/1791.14 c #Conflicts: 1144000 | #Constraints: 41622
1785.68/1791.14 c #Conflicts: 1145000 | #Constraints: 42622
1785.68/1791.14 c #Conflicts: 1146000 | #Constraints: 43622
1785.68/1791.14 c INPROCESSING
1785.68/1791.14 c GARBAGE COLLECT
1785.68/1791.14 c #Conflicts: 1147000 | #Constraints: 23419
1785.68/1791.14 c #Conflicts: 1148000 | #Constraints: 24419
1785.68/1791.14 c #Conflicts: 1149000 | #Constraints: 25419
1785.68/1791.14 c #Conflicts: 1150000 | #Constraints: 26419
1785.68/1791.14 c #Conflicts: 1151000 | #Constraints: 27419
1785.68/1791.14 c #Conflicts: 1152000 | #Constraints: 28419
1785.68/1791.14 c #Conflicts: 1153000 | #Constraints: 29419
1785.68/1791.14 c #Conflicts: 1154000 | #Constraints: 30419
1785.68/1791.14 c #Conflicts: 1155000 | #Constraints: 31419
1785.68/1791.14 c #Conflicts: 1156000 | #Constraints: 32419
1785.68/1791.14 c #Conflicts: 1157000 | #Constraints: 33419
1785.68/1791.14 c #Conflicts: 1158000 | #Constraints: 34419
1785.68/1791.14 c #Conflicts: 1159000 | #Constraints: 35419
1785.68/1791.14 c #Conflicts: 1160000 | #Constraints: 36419
1785.68/1791.14 c #Conflicts: 1161000 | #Constraints: 37419
1785.68/1791.14 c #Conflicts: 1162000 | #Constraints: 38419
1785.68/1791.14 c #Conflicts: 1163000 | #Constraints: 39419
1785.68/1791.14 c #Conflicts: 1164000 | #Constraints: 40419
1937.50/1943.46 c #Conflicts: 1165000 | #Constraints: 41419
1937.50/1943.46 c #Conflicts: 1166000 | #Constraints: 42419
1937.50/1943.46 c #Conflicts: 1167000 | #Constraints: 43419
1937.50/1943.46 c #Conflicts: 1168000 | #Constraints: 44419
1937.50/1943.46 c INPROCESSING
1937.50/1943.46 c GARBAGE COLLECT
1937.50/1943.46 c #Conflicts: 1169000 | #Constraints: 24027
1937.50/1943.46 c #Conflicts: 1170000 | #Constraints: 25027
1937.50/1943.46 c #Conflicts: 1171000 | #Constraints: 26027
1937.50/1943.46 c #Conflicts: 1172000 | #Constraints: 27027
1937.50/1943.46 c #Conflicts: 1173000 | #Constraints: 28027
1937.50/1943.46 c #Conflicts: 1174000 | #Constraints: 29027
1937.50/1943.46 c #Conflicts: 1175000 | #Constraints: 30027
1937.50/1943.46 c #Conflicts: 1176000 | #Constraints: 31027
1937.50/1943.46 c #Conflicts: 1177000 | #Constraints: 32027
1937.50/1943.46 c #Conflicts: 1178000 | #Constraints: 33027
1937.50/1943.46 c #Conflicts: 1179000 | #Constraints: 34027
1937.50/1943.46 c #Conflicts: 1180000 | #Constraints: 35027
1937.50/1943.46 c #Conflicts: 1181000 | #Constraints: 36027
1937.50/1943.46 c #Conflicts: 1182000 | #Constraints: 37027
1937.50/1943.46 c #Conflicts: 1183000 | #Constraints: 38027
1937.50/1943.46 c #Conflicts: 1184000 | #Constraints: 39027
1937.50/1943.46 c #Conflicts: 1185000 | #Constraints: 40027
1937.50/1943.46 c #Conflicts: 1186000 | #Constraints: 41027
1937.50/1943.46 c #Conflicts: 1187000 | #Constraints: 42027
1937.50/1943.46 c #Conflicts: 1188000 | #Constraints: 43027
1937.50/1943.46 c #Conflicts: 1189000 | #Constraints: 44027
1937.50/1943.46 c #Conflicts: 1190000 | #Constraints: 45027
1937.50/1943.46 c INPROCESSING
1937.50/1943.46 c GARBAGE COLLECT
1937.50/1943.46 c #Conflicts: 1191000 | #Constraints: 24429
1937.50/1943.46 c #Conflicts: 1192000 | #Constraints: 25429
1937.50/1943.46 c #Conflicts: 1193000 | #Constraints: 26429
1937.50/1943.46 c #Conflicts: 1194000 | #Constraints: 27429
1937.50/1943.46 c #Conflicts: 1195000 | #Constraints: 28429
1937.50/1943.46 c #Conflicts: 1196000 | #Constraints: 29429
1937.50/1943.46 c #Conflicts: 1197000 | #Constraints: 30429
1937.50/1943.46 c #Conflicts: 1198000 | #Constraints: 31429
1937.50/1943.46 c #Conflicts: 1199000 | #Constraints: 32429
1937.50/1943.46 c #Conflicts: 1200000 | #Constraints: 33429
1937.50/1943.46 c #Conflicts: 1201000 | #Constraints: 34429
1937.50/1943.46 c #Conflicts: 1202000 | #Constraints: 35429
1937.50/1943.46 c #Conflicts: 1203000 | #Constraints: 36429
1937.50/1943.46 c #Conflicts: 1204000 | #Constraints: 37429
1937.50/1943.46 c #Conflicts: 1205000 | #Constraints: 38429
1937.50/1943.46 c #Conflicts: 1206000 | #Constraints: 39429
1937.50/1943.46 c #Conflicts: 1207000 | #Constraints: 40429
1937.50/1943.46 c #Conflicts: 1208000 | #Constraints: 41429
1937.50/1943.46 c #Conflicts: 1209000 | #Constraints: 42429
1937.50/1943.46 c #Conflicts: 1210000 | #Constraints: 43429
1937.50/1943.46 c #Conflicts: 1211000 | #Constraints: 44429
1937.50/1943.46 c #Conflicts: 1212000 | #Constraints: 45429
1937.50/1943.46 c INPROCESSING
1937.50/1943.46 c GARBAGE COLLECT
1937.50/1943.46 c #Conflicts: 1213000 | #Constraints: 24625
1937.50/1943.46 c #Conflicts: 1214000 | #Constraints: 25625
1937.50/1943.46 c #Conflicts: 1215000 | #Constraints: 26625
1937.50/1943.46 c #Conflicts: 1216000 | #Constraints: 27625
1937.50/1943.46 c #Conflicts: 1217000 | #Constraints: 28625
1937.50/1943.46 c #Conflicts: 1218000 | #Constraints: 29625
1937.50/1943.46 c #Conflicts: 1219000 | #Constraints: 30625
1937.50/1943.46 c #Conflicts: 1220000 | #Constraints: 31625
1937.50/1943.46 c #Conflicts: 1221000 | #Constraints: 32625
1937.50/1943.46 c #Conflicts: 1222000 | #Constraints: 33625
1937.50/1943.46 c #Conflicts: 1223000 | #Constraints: 34625
1937.50/1943.46 c #Conflicts: 1224000 | #Constraints: 35625
1937.50/1943.46 c #Conflicts: 1225000 | #Constraints: 36625
1937.50/1943.46 c #Conflicts: 1226000 | #Constraints: 37625
1937.50/1943.46 c #Conflicts: 1227000 | #Constraints: 38625
1937.50/1943.46 c #Conflicts: 1228000 | #Constraints: 39625
1937.50/1943.46 c #Conflicts: 1229000 | #Constraints: 40625
1937.50/1943.46 c #Conflicts: 1230000 | #Constraints: 41625
1937.50/1943.46 c #Conflicts: 1231000 | #Constraints: 42625
1937.50/1943.46 c #Conflicts: 1232000 | #Constraints: 43625
1937.50/1943.46 c #Conflicts: 1233000 | #Constraints: 44625
1937.50/1943.46 c #Conflicts: 1234000 | #Constraints: 45625
1937.50/1943.46 c INPROCESSING
1937.50/1943.46 c GARBAGE COLLECT
1937.50/1943.46 c #Conflicts: 1235000 | #Constraints: 24646
1937.50/1943.46 c #Conflicts: 1236000 | #Constraints: 25646
1937.50/1943.46 c #Conflicts: 1237000 | #Constraints: 26646
1937.50/1943.46 c #Conflicts: 1238000 | #Constraints: 27646
1937.50/1943.46 c #Conflicts: 1239000 | #Constraints: 28646
1937.50/1943.46 c #Conflicts: 1240000 | #Constraints: 29646
2093.95/2100.35 c #Conflicts: 1241000 | #Constraints: 30646
2093.95/2100.35 c #Conflicts: 1242000 | #Constraints: 31646
2093.95/2100.35 c #Conflicts: 1243000 | #Constraints: 32646
2093.95/2100.35 c #Conflicts: 1244000 | #Constraints: 33646
2093.95/2100.35 c #Conflicts: 1245000 | #Constraints: 34646
2093.95/2100.35 c #Conflicts: 1246000 | #Constraints: 35646
2093.95/2100.35 c #Conflicts: 1247000 | #Constraints: 36646
2093.95/2100.35 c #Conflicts: 1248000 | #Constraints: 37646
2093.95/2100.35 c #Conflicts: 1249000 | #Constraints: 38646
2093.95/2100.35 c #Conflicts: 1250000 | #Constraints: 39646
2093.95/2100.35 c #Conflicts: 1251000 | #Constraints: 40646
2093.95/2100.35 c #Conflicts: 1252000 | #Constraints: 41646
2093.95/2100.35 c #Conflicts: 1253000 | #Constraints: 42646
2093.95/2100.35 c #Conflicts: 1254000 | #Constraints: 43646
2093.95/2100.35 c #Conflicts: 1255000 | #Constraints: 44646
2093.95/2100.35 c #Conflicts: 1256000 | #Constraints: 45646
2093.95/2100.35 c INPROCESSING
2093.95/2100.35 c GARBAGE COLLECT
2093.95/2100.35 c #Conflicts: 1257000 | #Constraints: 24435
2093.95/2100.35 c #Conflicts: 1258000 | #Constraints: 25435
2093.95/2100.35 c #Conflicts: 1259000 | #Constraints: 26435
2093.95/2100.35 c #Conflicts: 1260000 | #Constraints: 27435
2093.95/2100.35 c #Conflicts: 1261000 | #Constraints: 28435
2093.95/2100.35 c #Conflicts: 1262000 | #Constraints: 29435
2093.95/2100.35 c #Conflicts: 1263000 | #Constraints: 30435
2093.95/2100.35 c #Conflicts: 1264000 | #Constraints: 31435
2093.95/2100.35 c #Conflicts: 1265000 | #Constraints: 32435
2093.95/2100.35 c #Conflicts: 1266000 | #Constraints: 33435
2093.95/2100.35 c #Conflicts: 1267000 | #Constraints: 34435
2093.95/2100.35 c #Conflicts: 1268000 | #Constraints: 35435
2093.95/2100.35 c #Conflicts: 1269000 | #Constraints: 36435
2093.95/2100.35 c #Conflicts: 1270000 | #Constraints: 37435
2093.95/2100.35 c #Conflicts: 1271000 | #Constraints: 38435
2093.95/2100.35 c #Conflicts: 1272000 | #Constraints: 39435
2093.95/2100.35 c #Conflicts: 1273000 | #Constraints: 40435
2093.95/2100.35 c #Conflicts: 1274000 | #Constraints: 41435
2093.95/2100.35 c #Conflicts: 1275000 | #Constraints: 42435
2093.95/2100.35 c #Conflicts: 1276000 | #Constraints: 43435
2093.95/2100.35 c #Conflicts: 1277000 | #Constraints: 44435
2093.95/2100.35 c #Conflicts: 1278000 | #Constraints: 45435
2093.95/2100.35 c #Conflicts: 1279000 | #Constraints: 46435
2093.95/2100.35 c INPROCESSING
2093.95/2100.35 c GARBAGE COLLECT
2093.95/2100.35 c #Conflicts: 1280000 | #Constraints: 25040
2093.95/2100.35 c #Conflicts: 1281000 | #Constraints: 26040
2093.95/2100.35 c #Conflicts: 1282000 | #Constraints: 27040
2093.95/2100.35 c #Conflicts: 1283000 | #Constraints: 28040
2093.95/2100.35 c #Conflicts: 1284000 | #Constraints: 29040
2093.95/2100.35 c #Conflicts: 1285000 | #Constraints: 30040
2093.95/2100.35 c #Conflicts: 1286000 | #Constraints: 31040
2093.95/2100.35 c #Conflicts: 1287000 | #Constraints: 32040
2093.95/2100.35 c #Conflicts: 1288000 | #Constraints: 33040
2093.95/2100.35 c #Conflicts: 1289000 | #Constraints: 34040
2093.95/2100.35 c #Conflicts: 1290000 | #Constraints: 35040
2093.95/2100.35 c #Conflicts: 1291000 | #Constraints: 36040
2093.95/2100.35 c #Conflicts: 1292000 | #Constraints: 37040
2093.95/2100.35 c #Conflicts: 1293000 | #Constraints: 38040
2093.95/2100.35 c #Conflicts: 1294000 | #Constraints: 39040
2093.95/2100.35 c #Conflicts: 1295000 | #Constraints: 40040
2093.95/2100.35 c #Conflicts: 1296000 | #Constraints: 41040
2093.95/2100.35 c #Conflicts: 1297000 | #Constraints: 42040
2093.95/2100.35 c #Conflicts: 1298000 | #Constraints: 43040
2093.95/2100.35 c #Conflicts: 1299000 | #Constraints: 44040
2093.95/2100.35 c #Conflicts: 1300000 | #Constraints: 45040
2093.95/2100.35 c #Conflicts: 1301000 | #Constraints: 46040
2093.95/2100.35 c #Conflicts: 1302000 | #Constraints: 47040
2093.95/2100.35 c INPROCESSING
2093.95/2100.35 c GARBAGE COLLECT
2093.95/2100.35 c #Conflicts: 1303000 | #Constraints: 25434
2093.95/2100.35 c #Conflicts: 1304000 | #Constraints: 26434
2093.95/2100.35 c #Conflicts: 1305000 | #Constraints: 27434
2093.95/2100.35 c #Conflicts: 1306000 | #Constraints: 28434
2093.95/2100.35 c #Conflicts: 1307000 | #Constraints: 29434
2093.95/2100.35 c #Conflicts: 1308000 | #Constraints: 30434
2093.95/2100.35 c #Conflicts: 1309000 | #Constraints: 31434
2093.95/2100.35 c #Conflicts: 1310000 | #Constraints: 32434
2093.95/2100.35 c #Conflicts: 1311000 | #Constraints: 33434
2093.95/2100.35 c #Conflicts: 1312000 | #Constraints: 34434
2093.95/2100.35 c #Conflicts: 1313000 | #Constraints: 35434
2093.95/2100.35 c #Conflicts: 1314000 | #Constraints: 36434
2093.95/2100.35 c #Conflicts: 1315000 | #Constraints: 37434
2093.95/2100.35 c #Conflicts: 1316000 | #Constraints: 38434
2093.95/2100.35 c #Conflicts: 1317000 | #Constraints: 39434
2271.95/2278.88 c #Conflicts: 1318000 | #Constraints: 40434
2271.95/2278.88 c #Conflicts: 1319000 | #Constraints: 41434
2271.95/2278.88 c #Conflicts: 1320000 | #Constraints: 42434
2271.95/2278.88 c #Conflicts: 1321000 | #Constraints: 43434
2271.95/2278.88 c #Conflicts: 1322000 | #Constraints: 44434
2271.95/2278.88 c #Conflicts: 1323000 | #Constraints: 45434
2271.95/2278.88 c #Conflicts: 1324000 | #Constraints: 46434
2271.95/2278.88 c #Conflicts: 1325000 | #Constraints: 47434
2271.95/2278.88 c INPROCESSING
2271.95/2278.88 c GARBAGE COLLECT
2271.95/2278.88 c #Conflicts: 1326000 | #Constraints: 25636
2271.95/2278.88 c #Conflicts: 1327000 | #Constraints: 26636
2271.95/2278.88 c #Conflicts: 1328000 | #Constraints: 27636
2271.95/2278.88 c #Conflicts: 1329000 | #Constraints: 28636
2271.95/2278.88 c #Conflicts: 1330000 | #Constraints: 29636
2271.95/2278.88 c #Conflicts: 1331000 | #Constraints: 30636
2271.95/2278.88 c #Conflicts: 1332000 | #Constraints: 31636
2271.95/2278.88 c #Conflicts: 1333000 | #Constraints: 32636
2271.95/2278.88 c #Conflicts: 1334000 | #Constraints: 33636
2271.95/2278.88 c #Conflicts: 1335000 | #Constraints: 34636
2271.95/2278.88 c #Conflicts: 1336000 | #Constraints: 35636
2271.95/2278.88 c #Conflicts: 1337000 | #Constraints: 36636
2271.95/2278.88 c #Conflicts: 1338000 | #Constraints: 37636
2271.95/2278.88 c #Conflicts: 1339000 | #Constraints: 38636
2271.95/2278.88 c #Conflicts: 1340000 | #Constraints: 39636
2271.95/2278.88 c #Conflicts: 1341000 | #Constraints: 40636
2271.95/2278.88 c #Conflicts: 1342000 | #Constraints: 41636
2271.95/2278.88 c #Conflicts: 1343000 | #Constraints: 42636
2271.95/2278.88 c #Conflicts: 1344000 | #Constraints: 43636
2271.95/2278.88 c #Conflicts: 1345000 | #Constraints: 44636
2271.95/2278.88 c #Conflicts: 1346000 | #Constraints: 45636
2271.95/2278.88 c #Conflicts: 1347000 | #Constraints: 46636
2271.95/2278.88 c #Conflicts: 1348000 | #Constraints: 47636
2271.95/2278.88 c INPROCESSING
2271.95/2278.88 c GARBAGE COLLECT
2271.95/2278.88 c #Conflicts: 1349000 | #Constraints: 25634
2271.95/2278.88 c #Conflicts: 1350000 | #Constraints: 26634
2271.95/2278.88 c #Conflicts: 1351000 | #Constraints: 27634
2271.95/2278.88 c #Conflicts: 1352000 | #Constraints: 28634
2271.95/2278.88 c #Conflicts: 1353000 | #Constraints: 29634
2271.95/2278.88 c #Conflicts: 1354000 | #Constraints: 30634
2271.95/2278.88 c #Conflicts: 1355000 | #Constraints: 31634
2271.95/2278.88 c #Conflicts: 1356000 | #Constraints: 32634
2271.95/2278.88 c #Conflicts: 1357000 | #Constraints: 33634
2271.95/2278.88 c #Conflicts: 1358000 | #Constraints: 34634
2271.95/2278.88 c #Conflicts: 1359000 | #Constraints: 35634
2271.95/2278.88 c #Conflicts: 1360000 | #Constraints: 36634
2271.95/2278.88 c #Conflicts: 1361000 | #Constraints: 37634
2271.95/2278.88 c #Conflicts: 1362000 | #Constraints: 38634
2271.95/2278.88 c #Conflicts: 1363000 | #Constraints: 39634
2271.95/2278.88 c #Conflicts: 1364000 | #Constraints: 40634
2271.95/2278.88 c #Conflicts: 1365000 | #Constraints: 41634
2271.95/2278.88 c #Conflicts: 1366000 | #Constraints: 42634
2271.95/2278.88 c #Conflicts: 1367000 | #Constraints: 43634
2271.95/2278.88 c #Conflicts: 1368000 | #Constraints: 44634
2271.95/2278.88 c #Conflicts: 1369000 | #Constraints: 45634
2271.95/2278.88 c #Conflicts: 1370000 | #Constraints: 46634
2271.95/2278.88 c #Conflicts: 1371000 | #Constraints: 47634
2271.95/2278.88 c INPROCESSING
2271.95/2278.88 c GARBAGE COLLECT
2271.95/2278.88 c #Conflicts: 1372000 | #Constraints: 25448
2271.95/2278.88 c #Conflicts: 1373000 | #Constraints: 26448
2271.95/2278.88 c #Conflicts: 1374000 | #Constraints: 27448
2271.95/2278.88 c #Conflicts: 1375000 | #Constraints: 28448
2271.95/2278.88 c #Conflicts: 1376000 | #Constraints: 29448
2271.95/2278.88 c #Conflicts: 1377000 | #Constraints: 30448
2271.95/2278.88 c #Conflicts: 1378000 | #Constraints: 31448
2271.95/2278.88 c #Conflicts: 1379000 | #Constraints: 32448
2271.95/2278.88 c #Conflicts: 1380000 | #Constraints: 33448
2271.95/2278.88 c #Conflicts: 1381000 | #Constraints: 34448
2271.95/2278.88 c #Conflicts: 1382000 | #Constraints: 35448
2271.95/2278.88 c #Conflicts: 1383000 | #Constraints: 36448
2271.95/2278.88 c #Conflicts: 1384000 | #Constraints: 37448
2271.95/2278.88 c #Conflicts: 1385000 | #Constraints: 38448
2271.95/2278.88 c #Conflicts: 1386000 | #Constraints: 39448
2271.95/2278.88 c #Conflicts: 1387000 | #Constraints: 40448
2271.95/2278.88 c #Conflicts: 1388000 | #Constraints: 41448
2271.95/2278.88 c #Conflicts: 1389000 | #Constraints: 42448
2271.95/2278.88 c #Conflicts: 1390000 | #Constraints: 43448
2271.95/2278.88 c #Conflicts: 1391000 | #Constraints: 44448
2271.95/2278.88 c #Conflicts: 1392000 | #Constraints: 45448
2271.95/2278.88 c #Conflicts: 1393000 | #Constraints: 46448
2271.95/2278.88 c #Conflicts: 1394000 | #Constraints: 47448
2458.93/2466.34 c #Conflicts: 1395000 | #Constraints: 48448
2458.93/2466.34 c INPROCESSING
2458.93/2466.34 c GARBAGE COLLECT
2458.93/2466.34 c #Conflicts: 1396000 | #Constraints: 26048
2458.93/2466.34 c #Conflicts: 1397000 | #Constraints: 27048
2458.93/2466.34 c #Conflicts: 1398000 | #Constraints: 28048
2458.93/2466.34 c #Conflicts: 1399000 | #Constraints: 29048
2458.93/2466.34 c #Conflicts: 1400000 | #Constraints: 30048
2458.93/2466.34 c #Conflicts: 1401000 | #Constraints: 31048
2458.93/2466.34 c #Conflicts: 1402000 | #Constraints: 32048
2458.93/2466.34 c #Conflicts: 1403000 | #Constraints: 33048
2458.93/2466.34 c #Conflicts: 1404000 | #Constraints: 34048
2458.93/2466.34 c #Conflicts: 1405000 | #Constraints: 35048
2458.93/2466.34 c #Conflicts: 1406000 | #Constraints: 36048
2458.93/2466.34 c #Conflicts: 1407000 | #Constraints: 37048
2458.93/2466.34 c #Conflicts: 1408000 | #Constraints: 38048
2458.93/2466.34 c #Conflicts: 1409000 | #Constraints: 39048
2458.93/2466.34 c #Conflicts: 1410000 | #Constraints: 40048
2458.93/2466.34 c #Conflicts: 1411000 | #Constraints: 41048
2458.93/2466.34 c #Conflicts: 1412000 | #Constraints: 42048
2458.93/2466.34 c #Conflicts: 1413000 | #Constraints: 43048
2458.93/2466.34 c #Conflicts: 1414000 | #Constraints: 44048
2458.93/2466.34 c #Conflicts: 1415000 | #Constraints: 45048
2458.93/2466.34 c #Conflicts: 1416000 | #Constraints: 46048
2458.93/2466.34 c #Conflicts: 1417000 | #Constraints: 47048
2458.93/2466.34 c #Conflicts: 1418000 | #Constraints: 48048
2458.93/2466.34 c #Conflicts: 1419000 | #Constraints: 49048
2458.93/2466.34 c INPROCESSING
2458.93/2466.34 c GARBAGE COLLECT
2458.93/2466.34 c #Conflicts: 1420000 | #Constraints: 26437
2458.93/2466.34 c #Conflicts: 1421000 | #Constraints: 27437
2458.93/2466.34 c #Conflicts: 1422000 | #Constraints: 28437
2458.93/2466.34 c #Conflicts: 1423000 | #Constraints: 29437
2458.93/2466.34 c #Conflicts: 1424000 | #Constraints: 30437
2458.93/2466.34 c #Conflicts: 1425000 | #Constraints: 31437
2458.93/2466.34 c #Conflicts: 1426000 | #Constraints: 32437
2458.93/2466.34 c #Conflicts: 1427000 | #Constraints: 33437
2458.93/2466.34 c #Conflicts: 1428000 | #Constraints: 34437
2458.93/2466.34 c #Conflicts: 1429000 | #Constraints: 35437
2458.93/2466.34 c #Conflicts: 1430000 | #Constraints: 36437
2458.93/2466.34 c #Conflicts: 1431000 | #Constraints: 37437
2458.93/2466.34 c #Conflicts: 1432000 | #Constraints: 38437
2458.93/2466.34 c #Conflicts: 1433000 | #Constraints: 39437
2458.93/2466.34 c #Conflicts: 1434000 | #Constraints: 40437
2458.93/2466.34 c #Conflicts: 1435000 | #Constraints: 41437
2458.93/2466.34 c #Conflicts: 1436000 | #Constraints: 42437
2458.93/2466.34 c #Conflicts: 1437000 | #Constraints: 43437
2458.93/2466.34 c #Conflicts: 1438000 | #Constraints: 44437
2458.93/2466.34 c #Conflicts: 1439000 | #Constraints: 45437
2458.93/2466.34 c #Conflicts: 1440000 | #Constraints: 46437
2458.93/2466.34 c #Conflicts: 1441000 | #Constraints: 47437
2458.93/2466.34 c #Conflicts: 1442000 | #Constraints: 48437
2458.93/2466.34 c #Conflicts: 1443000 | #Constraints: 49437
2458.93/2466.34 c INPROCESSING
2458.93/2466.34 c GARBAGE COLLECT
2458.93/2466.34 c #Conflicts: 1444000 | #Constraints: 26637
2458.93/2466.34 c #Conflicts: 1445000 | #Constraints: 27637
2458.93/2466.34 c #Conflicts: 1446000 | #Constraints: 28637
2458.93/2466.34 c #Conflicts: 1447000 | #Constraints: 29637
2458.93/2466.34 c #Conflicts: 1448000 | #Constraints: 30637
2458.93/2466.34 c #Conflicts: 1449000 | #Constraints: 31637
2458.93/2466.34 c #Conflicts: 1450000 | #Constraints: 32637
2458.93/2466.34 c #Conflicts: 1451000 | #Constraints: 33637
2458.93/2466.34 c #Conflicts: 1452000 | #Constraints: 34637
2458.93/2466.34 c #Conflicts: 1453000 | #Constraints: 35637
2458.93/2466.34 c #Conflicts: 1454000 | #Constraints: 36637
2458.93/2466.34 c #Conflicts: 1455000 | #Constraints: 37637
2458.93/2466.34 c #Conflicts: 1456000 | #Constraints: 38637
2458.93/2466.34 c #Conflicts: 1457000 | #Constraints: 39637
2458.93/2466.34 c #Conflicts: 1458000 | #Constraints: 40637
2458.93/2466.34 c #Conflicts: 1459000 | #Constraints: 41637
2458.93/2466.34 c #Conflicts: 1460000 | #Constraints: 42637
2458.93/2466.34 c #Conflicts: 1461000 | #Constraints: 43637
2458.93/2466.34 c #Conflicts: 1462000 | #Constraints: 44637
2458.93/2466.34 c #Conflicts: 1463000 | #Constraints: 45637
2458.93/2466.34 c #Conflicts: 1464000 | #Constraints: 46637
2458.93/2466.34 c #Conflicts: 1465000 | #Constraints: 47637
2458.93/2466.34 c #Conflicts: 1466000 | #Constraints: 48637
2458.93/2466.34 c #Conflicts: 1467000 | #Constraints: 49637
2458.93/2466.34 c INPROCESSING
2458.93/2466.34 c GARBAGE COLLECT
2458.93/2466.34 c #Conflicts: 1468000 | #Constraints: 26637
2458.93/2466.34 c #Conflicts: 1469000 | #Constraints: 27637
2458.93/2466.34 c #Conflicts: 1470000 | #Constraints: 28637
2630.83/2638.75 c #Conflicts: 1471000 | #Constraints: 29637
2630.83/2638.75 c #Conflicts: 1472000 | #Constraints: 30637
2630.83/2638.75 c #Conflicts: 1473000 | #Constraints: 31637
2630.83/2638.75 c #Conflicts: 1474000 | #Constraints: 32637
2630.83/2638.75 c #Conflicts: 1475000 | #Constraints: 33637
2630.83/2638.75 c #Conflicts: 1476000 | #Constraints: 34637
2630.83/2638.75 c #Conflicts: 1477000 | #Constraints: 35637
2630.83/2638.75 c #Conflicts: 1478000 | #Constraints: 36637
2630.83/2638.75 c #Conflicts: 1479000 | #Constraints: 37637
2630.83/2638.75 c #Conflicts: 1480000 | #Constraints: 38637
2630.83/2638.75 c #Conflicts: 1481000 | #Constraints: 39637
2630.83/2638.75 c #Conflicts: 1482000 | #Constraints: 40637
2630.83/2638.75 c #Conflicts: 1483000 | #Constraints: 41637
2630.83/2638.75 c #Conflicts: 1484000 | #Constraints: 42637
2630.83/2638.75 c #Conflicts: 1485000 | #Constraints: 43637
2630.83/2638.75 c #Conflicts: 1486000 | #Constraints: 44637
2630.83/2638.75 c #Conflicts: 1487000 | #Constraints: 45637
2630.83/2638.75 c #Conflicts: 1488000 | #Constraints: 46637
2630.83/2638.75 c #Conflicts: 1489000 | #Constraints: 47637
2630.83/2638.75 c #Conflicts: 1490000 | #Constraints: 48637
2630.83/2638.75 c #Conflicts: 1491000 | #Constraints: 49637
2630.83/2638.75 c INPROCESSING
2630.83/2638.75 c GARBAGE COLLECT
2630.83/2638.75 c #Conflicts: 1492000 | #Constraints: 26433
2630.83/2638.75 c #Conflicts: 1493000 | #Constraints: 27433
2630.83/2638.75 c #Conflicts: 1494000 | #Constraints: 28433
2630.83/2638.75 c #Conflicts: 1495000 | #Constraints: 29433
2630.83/2638.75 c #Conflicts: 1496000 | #Constraints: 30433
2630.83/2638.75 c #Conflicts: 1497000 | #Constraints: 31433
2630.83/2638.75 c #Conflicts: 1498000 | #Constraints: 32433
2630.83/2638.75 c #Conflicts: 1499000 | #Constraints: 33433
2630.83/2638.75 c #Conflicts: 1500000 | #Constraints: 34433
2630.83/2638.75 c #Conflicts: 1501000 | #Constraints: 35433
2630.83/2638.75 c #Conflicts: 1502000 | #Constraints: 36433
2630.83/2638.75 c #Conflicts: 1503000 | #Constraints: 37433
2630.83/2638.75 c #Conflicts: 1504000 | #Constraints: 38433
2630.83/2638.75 c #Conflicts: 1505000 | #Constraints: 39433
2630.83/2638.75 c #Conflicts: 1506000 | #Constraints: 40433
2630.83/2638.75 c #Conflicts: 1507000 | #Constraints: 41433
2630.83/2638.75 c #Conflicts: 1508000 | #Constraints: 42433
2630.83/2638.75 c #Conflicts: 1509000 | #Constraints: 43433
2630.83/2638.75 c #Conflicts: 1510000 | #Constraints: 44433
2630.83/2638.75 c #Conflicts: 1511000 | #Constraints: 45433
2630.83/2638.75 c #Conflicts: 1512000 | #Constraints: 46433
2630.83/2638.75 c #Conflicts: 1513000 | #Constraints: 47433
2630.83/2638.75 c #Conflicts: 1514000 | #Constraints: 48433
2630.83/2638.75 c #Conflicts: 1515000 | #Constraints: 49433
2630.83/2638.75 c #Conflicts: 1516000 | #Constraints: 50433
2630.83/2638.75 c INPROCESSING
2630.83/2638.75 c GARBAGE COLLECT
2630.83/2638.75 c #Conflicts: 1517000 | #Constraints: 27035
2630.83/2638.75 c #Conflicts: 1518000 | #Constraints: 28035
2630.83/2638.75 c #Conflicts: 1519000 | #Constraints: 29035
2630.83/2638.75 c #Conflicts: 1520000 | #Constraints: 30035
2630.83/2638.75 c #Conflicts: 1521000 | #Constraints: 31035
2630.83/2638.75 c #Conflicts: 1522000 | #Constraints: 32035
2630.83/2638.75 c #Conflicts: 1523000 | #Constraints: 33035
2630.83/2638.75 c #Conflicts: 1524000 | #Constraints: 34035
2630.83/2638.75 c #Conflicts: 1525000 | #Constraints: 35035
2630.83/2638.75 c #Conflicts: 1526000 | #Constraints: 36035
2630.83/2638.75 c #Conflicts: 1527000 | #Constraints: 37035
2630.83/2638.75 c #Conflicts: 1528000 | #Constraints: 38035
2630.83/2638.75 c #Conflicts: 1529000 | #Constraints: 39035
2630.83/2638.75 c #Conflicts: 1530000 | #Constraints: 40035
2630.83/2638.75 c #Conflicts: 1531000 | #Constraints: 41035
2630.83/2638.75 c #Conflicts: 1532000 | #Constraints: 42035
2630.83/2638.75 c #Conflicts: 1533000 | #Constraints: 43035
2630.83/2638.75 c #Conflicts: 1534000 | #Constraints: 44035
2630.83/2638.75 c #Conflicts: 1535000 | #Constraints: 45035
2630.83/2638.75 c #Conflicts: 1536000 | #Constraints: 46035
2630.83/2638.75 c #Conflicts: 1537000 | #Constraints: 47035
2630.83/2638.75 c #Conflicts: 1538000 | #Constraints: 48035
2630.83/2638.75 c #Conflicts: 1539000 | #Constraints: 49035
2630.83/2638.75 c #Conflicts: 1540000 | #Constraints: 50035
2630.83/2638.75 c #Conflicts: 1541000 | #Constraints: 51035
2630.83/2638.75 c INPROCESSING
2630.83/2638.75 c GARBAGE COLLECT
2630.83/2638.75 c #Conflicts: 1542000 | #Constraints: 27435
2630.83/2638.75 c #Conflicts: 1543000 | #Constraints: 28435
2630.83/2638.75 c #Conflicts: 1544000 | #Constraints: 29435
2630.83/2638.75 c #Conflicts: 1545000 | #Constraints: 30435
2630.83/2638.75 c #Conflicts: 1546000 | #Constraints: 31435
2630.83/2638.75 c #Conflicts: 1547000 | #Constraints: 32435
2767.33/2775.70 c #Conflicts: 1548000 | #Constraints: 33435
2767.33/2775.70 c #Conflicts: 1549000 | #Constraints: 34435
2767.33/2775.70 c #Conflicts: 1550000 | #Constraints: 35435
2767.33/2775.70 c #Conflicts: 1551000 | #Constraints: 36435
2767.33/2775.70 c #Conflicts: 1552000 | #Constraints: 37435
2767.33/2775.70 c #Conflicts: 1553000 | #Constraints: 38435
2767.33/2775.70 c #Conflicts: 1554000 | #Constraints: 39435
2767.33/2775.70 c #Conflicts: 1555000 | #Constraints: 40435
2767.33/2775.70 c #Conflicts: 1556000 | #Constraints: 41435
2767.33/2775.70 c #Conflicts: 1557000 | #Constraints: 42435
2767.33/2775.70 c #Conflicts: 1558000 | #Constraints: 43435
2767.33/2775.70 c #Conflicts: 1559000 | #Constraints: 44435
2767.33/2775.70 c #Conflicts: 1560000 | #Constraints: 45435
2767.33/2775.70 c #Conflicts: 1561000 | #Constraints: 46435
2767.33/2775.70 c #Conflicts: 1562000 | #Constraints: 47435
2767.33/2775.70 c #Conflicts: 1563000 | #Constraints: 48435
2767.33/2775.70 c #Conflicts: 1564000 | #Constraints: 49435
2767.33/2775.70 c #Conflicts: 1565000 | #Constraints: 50435
2767.33/2775.70 c #Conflicts: 1566000 | #Constraints: 51435
2767.33/2775.70 c INPROCESSING
2767.33/2775.70 c GARBAGE COLLECT
2767.33/2775.70 c #Conflicts: 1567000 | #Constraints: 27627
2767.33/2775.70 c #Conflicts: 1568000 | #Constraints: 28627
2767.33/2775.70 c #Conflicts: 1569000 | #Constraints: 29627
2767.33/2775.70 c #Conflicts: 1570000 | #Constraints: 30627
2767.33/2775.70 c #Conflicts: 1571000 | #Constraints: 31627
2767.33/2775.70 c #Conflicts: 1572000 | #Constraints: 32627
2767.33/2775.70 c #Conflicts: 1573000 | #Constraints: 33627
2767.33/2775.70 c #Conflicts: 1574000 | #Constraints: 34627
2767.33/2775.70 c #Conflicts: 1575000 | #Constraints: 35627
2767.33/2775.70 c #Conflicts: 1576000 | #Constraints: 36627
2767.33/2775.70 c #Conflicts: 1577000 | #Constraints: 37627
2767.33/2775.70 c #Conflicts: 1578000 | #Constraints: 38627
2767.33/2775.70 c #Conflicts: 1579000 | #Constraints: 39627
2767.33/2775.70 c #Conflicts: 1580000 | #Constraints: 40627
2767.33/2775.70 c #Conflicts: 1581000 | #Constraints: 41627
2767.33/2775.70 c #Conflicts: 1582000 | #Constraints: 42627
2767.33/2775.70 c #Conflicts: 1583000 | #Constraints: 43627
2767.33/2775.70 c #Conflicts: 1584000 | #Constraints: 44627
2767.33/2775.70 c #Conflicts: 1585000 | #Constraints: 45627
2767.33/2775.70 c #Conflicts: 1586000 | #Constraints: 46627
2767.33/2775.70 c #Conflicts: 1587000 | #Constraints: 47627
2767.33/2775.70 c #Conflicts: 1588000 | #Constraints: 48627
2767.33/2775.70 c #Conflicts: 1589000 | #Constraints: 49627
2767.33/2775.70 c #Conflicts: 1590000 | #Constraints: 50627
2767.33/2775.70 c #Conflicts: 1591000 | #Constraints: 51627
2767.33/2775.70 c INPROCESSING
2767.33/2775.70 c GARBAGE COLLECT
2767.33/2775.70 c #Conflicts: 1592000 | #Constraints: 27635
2767.33/2775.70 c #Conflicts: 1593000 | #Constraints: 28635
2767.33/2775.70 c #Conflicts: 1594000 | #Constraints: 29635
2767.33/2775.70 c #Conflicts: 1595000 | #Constraints: 30635
2767.33/2775.70 c #Conflicts: 1596000 | #Constraints: 31635
2767.33/2775.70 c #Conflicts: 1597000 | #Constraints: 32635
2767.33/2775.70 c #Conflicts: 1598000 | #Constraints: 33635
2767.33/2775.70 c #Conflicts: 1599000 | #Constraints: 34635
2767.33/2775.70 c #Conflicts: 1600000 | #Constraints: 35635
2767.33/2775.70 c #Conflicts: 1601000 | #Constraints: 36635
2767.33/2775.70 c #Conflicts: 1602000 | #Constraints: 37635
2767.33/2775.70 c #Conflicts: 1603000 | #Constraints: 38635
2767.33/2775.70 c #Conflicts: 1604000 | #Constraints: 39635
2767.33/2775.70 c #Conflicts: 1605000 | #Constraints: 40635
2767.33/2775.70 c #Conflicts: 1606000 | #Constraints: 41635
2767.33/2775.70 c #Conflicts: 1607000 | #Constraints: 42635
2767.33/2775.70 c #Conflicts: 1608000 | #Constraints: 43635
2767.33/2775.70 c #Conflicts: 1609000 | #Constraints: 44635
2767.33/2775.70 c #Conflicts: 1610000 | #Constraints: 45635
2767.33/2775.70 c #Conflicts: 1611000 | #Constraints: 46635
2767.33/2775.70 c #Conflicts: 1612000 | #Constraints: 47635
2767.33/2775.70 c #Conflicts: 1613000 | #Constraints: 48635
2767.33/2775.70 c #Conflicts: 1614000 | #Constraints: 49635
2767.33/2775.70 c #Conflicts: 1615000 | #Constraints: 50635
2767.33/2775.70 c #Conflicts: 1616000 | #Constraints: 51635
2767.33/2775.70 c INPROCESSING
2767.33/2775.70 c GARBAGE COLLECT
2767.33/2775.70 c #Conflicts: 1617000 | #Constraints: 27436
2767.33/2775.70 c #Conflicts: 1618000 | #Constraints: 28436
2767.33/2775.70 c #Conflicts: 1619000 | #Constraints: 29436
2767.33/2775.70 c #Conflicts: 1620000 | #Constraints: 30436
2767.33/2775.70 c #Conflicts: 1621000 | #Constraints: 31436
2767.33/2775.70 c #Conflicts: 1622000 | #Constraints: 32436
2767.33/2775.70 c #Conflicts: 1623000 | #Constraints: 33436
2767.33/2775.70 c #Conflicts: 1624000 | #Constraints: 34436
2956.80/2965.62 c #Conflicts: 1625000 | #Constraints: 35436
2956.80/2965.62 c #Conflicts: 1626000 | #Constraints: 36436
2956.80/2965.62 c #Conflicts: 1627000 | #Constraints: 37436
2956.80/2965.62 c #Conflicts: 1628000 | #Constraints: 38436
2956.80/2965.62 c #Conflicts: 1629000 | #Constraints: 39436
2956.80/2965.62 c #Conflicts: 1630000 | #Constraints: 40436
2956.80/2965.62 c #Conflicts: 1631000 | #Constraints: 41436
2956.80/2965.62 c #Conflicts: 1632000 | #Constraints: 42436
2956.80/2965.62 c #Conflicts: 1633000 | #Constraints: 43436
2956.80/2965.62 c #Conflicts: 1634000 | #Constraints: 44436
2956.80/2965.62 c #Conflicts: 1635000 | #Constraints: 45436
2956.80/2965.62 c #Conflicts: 1636000 | #Constraints: 46436
2956.80/2965.62 c #Conflicts: 1637000 | #Constraints: 47436
2956.80/2965.62 c #Conflicts: 1638000 | #Constraints: 48436
2956.80/2965.62 c #Conflicts: 1639000 | #Constraints: 49436
2956.80/2965.62 c #Conflicts: 1640000 | #Constraints: 50436
2956.80/2965.62 c #Conflicts: 1641000 | #Constraints: 51436
2956.80/2965.62 c #Conflicts: 1642000 | #Constraints: 52436
2956.80/2965.62 c INPROCESSING
2956.80/2965.62 c GARBAGE COLLECT
2956.80/2965.62 c #Conflicts: 1643000 | #Constraints: 28033
2956.80/2965.62 c #Conflicts: 1644000 | #Constraints: 29033
2956.80/2965.62 c #Conflicts: 1645000 | #Constraints: 30033
2956.80/2965.62 c #Conflicts: 1646000 | #Constraints: 31033
2956.80/2965.62 c #Conflicts: 1647000 | #Constraints: 32033
2956.80/2965.62 c #Conflicts: 1648000 | #Constraints: 33033
2956.80/2965.62 c #Conflicts: 1649000 | #Constraints: 34033
2956.80/2965.62 c #Conflicts: 1650000 | #Constraints: 35033
2956.80/2965.62 c #Conflicts: 1651000 | #Constraints: 36033
2956.80/2965.62 c #Conflicts: 1652000 | #Constraints: 37033
2956.80/2965.62 c #Conflicts: 1653000 | #Constraints: 38033
2956.80/2965.62 c #Conflicts: 1654000 | #Constraints: 39033
2956.80/2965.62 c #Conflicts: 1655000 | #Constraints: 40033
2956.80/2965.62 c #Conflicts: 1656000 | #Constraints: 41033
2956.80/2965.62 c #Conflicts: 1657000 | #Constraints: 42033
2956.80/2965.62 c #Conflicts: 1658000 | #Constraints: 43033
2956.80/2965.62 c #Conflicts: 1659000 | #Constraints: 44033
2956.80/2965.62 c #Conflicts: 1660000 | #Constraints: 45033
2956.80/2965.62 c #Conflicts: 1661000 | #Constraints: 46033
2956.80/2965.62 c #Conflicts: 1662000 | #Constraints: 47033
2956.80/2965.62 c #Conflicts: 1663000 | #Constraints: 48033
2956.80/2965.62 c #Conflicts: 1664000 | #Constraints: 49033
2956.80/2965.62 c #Conflicts: 1665000 | #Constraints: 50033
2956.80/2965.62 c #Conflicts: 1666000 | #Constraints: 51033
2956.80/2965.62 c #Conflicts: 1667000 | #Constraints: 52033
2956.80/2965.62 c #Conflicts: 1668000 | #Constraints: 53033
2956.80/2965.62 c INPROCESSING
2956.80/2965.62 c GARBAGE COLLECT
2956.80/2965.62 c #Conflicts: 1669000 | #Constraints: 28422
2956.80/2965.62 c #Conflicts: 1670000 | #Constraints: 29422
2956.80/2965.62 c #Conflicts: 1671000 | #Constraints: 30422
2956.80/2965.62 c #Conflicts: 1672000 | #Constraints: 31422
2956.80/2965.62 c #Conflicts: 1673000 | #Constraints: 32422
2956.80/2965.62 c #Conflicts: 1674000 | #Constraints: 33422
2956.80/2965.62 c #Conflicts: 1675000 | #Constraints: 34422
2956.80/2965.62 c #Conflicts: 1676000 | #Constraints: 35422
2956.80/2965.62 c #Conflicts: 1677000 | #Constraints: 36422
2956.80/2965.62 c #Conflicts: 1678000 | #Constraints: 37422
2956.80/2965.62 c #Conflicts: 1679000 | #Constraints: 38422
2956.80/2965.62 c #Conflicts: 1680000 | #Constraints: 39422
2956.80/2965.62 c #Conflicts: 1681000 | #Constraints: 40422
2956.80/2965.62 c #Conflicts: 1682000 | #Constraints: 41422
2956.80/2965.62 c #Conflicts: 1683000 | #Constraints: 42422
2956.80/2965.62 c #Conflicts: 1684000 | #Constraints: 43422
2956.80/2965.62 c #Conflicts: 1685000 | #Constraints: 44422
2956.80/2965.62 c #Conflicts: 1686000 | #Constraints: 45422
2956.80/2965.62 c #Conflicts: 1687000 | #Constraints: 46422
2956.80/2965.62 c #Conflicts: 1688000 | #Constraints: 47422
2956.80/2965.62 c #Conflicts: 1689000 | #Constraints: 48422
2956.80/2965.62 c #Conflicts: 1690000 | #Constraints: 49422
2956.80/2965.62 c #Conflicts: 1691000 | #Constraints: 50422
2956.80/2965.62 c #Conflicts: 1692000 | #Constraints: 51422
2956.80/2965.62 c #Conflicts: 1693000 | #Constraints: 52422
2956.80/2965.62 c #Conflicts: 1694000 | #Constraints: 53422
2956.80/2965.62 c INPROCESSING
2956.80/2965.62 c GARBAGE COLLECT
2956.80/2965.62 c #Conflicts: 1695000 | #Constraints: 28632
2956.80/2965.62 c #Conflicts: 1696000 | #Constraints: 29632
2956.80/2965.62 c #Conflicts: 1697000 | #Constraints: 30632
2956.80/2965.62 c #Conflicts: 1698000 | #Constraints: 31632
2956.80/2965.62 c #Conflicts: 1699000 | #Constraints: 32632
2956.80/2965.62 c #Conflicts: 1700000 | #Constraints: 33632
2956.80/2965.62 c #Conflicts: 1701000 | #Constraints: 34632
3162.13/3171.54 c #Conflicts: 1702000 | #Constraints: 35632
3162.13/3171.54 c #Conflicts: 1703000 | #Constraints: 36632
3162.13/3171.54 c #Conflicts: 1704000 | #Constraints: 37632
3162.13/3171.54 c #Conflicts: 1705000 | #Constraints: 38632
3162.13/3171.54 c #Conflicts: 1706000 | #Constraints: 39632
3162.13/3171.54 c #Conflicts: 1707000 | #Constraints: 40632
3162.13/3171.54 c #Conflicts: 1708000 | #Constraints: 41632
3162.13/3171.54 c #Conflicts: 1709000 | #Constraints: 42632
3162.13/3171.54 c #Conflicts: 1710000 | #Constraints: 43632
3162.13/3171.54 c #Conflicts: 1711000 | #Constraints: 44632
3162.13/3171.54 c #Conflicts: 1712000 | #Constraints: 45632
3162.13/3171.54 c #Conflicts: 1713000 | #Constraints: 46632
3162.13/3171.54 c #Conflicts: 1714000 | #Constraints: 47632
3162.13/3171.54 c #Conflicts: 1715000 | #Constraints: 48632
3162.13/3171.54 c #Conflicts: 1716000 | #Constraints: 49632
3162.13/3171.54 c #Conflicts: 1717000 | #Constraints: 50632
3162.13/3171.54 c #Conflicts: 1718000 | #Constraints: 51632
3162.13/3171.54 c #Conflicts: 1719000 | #Constraints: 52632
3162.13/3171.54 c #Conflicts: 1720000 | #Constraints: 53632
3162.13/3171.54 c INPROCESSING
3162.13/3171.54 c GARBAGE COLLECT
3162.13/3171.54 c #Conflicts: 1721000 | #Constraints: 28630
3162.13/3171.54 c #Conflicts: 1722000 | #Constraints: 29630
3162.13/3171.54 c #Conflicts: 1723000 | #Constraints: 30630
3162.13/3171.54 c #Conflicts: 1724000 | #Constraints: 31630
3162.13/3171.54 c #Conflicts: 1725000 | #Constraints: 32630
3162.13/3171.54 c #Conflicts: 1726000 | #Constraints: 33630
3162.13/3171.54 c #Conflicts: 1727000 | #Constraints: 34630
3162.13/3171.54 c #Conflicts: 1728000 | #Constraints: 35630
3162.13/3171.54 c #Conflicts: 1729000 | #Constraints: 36630
3162.13/3171.54 c #Conflicts: 1730000 | #Constraints: 37630
3162.13/3171.54 c #Conflicts: 1731000 | #Constraints: 38630
3162.13/3171.54 c #Conflicts: 1732000 | #Constraints: 39630
3162.13/3171.54 c #Conflicts: 1733000 | #Constraints: 40630
3162.13/3171.54 c #Conflicts: 1734000 | #Constraints: 41630
3162.13/3171.54 c #Conflicts: 1735000 | #Constraints: 42630
3162.13/3171.54 c #Conflicts: 1736000 | #Constraints: 43630
3162.13/3171.54 c #Conflicts: 1737000 | #Constraints: 44630
3162.13/3171.54 c #Conflicts: 1738000 | #Constraints: 45630
3162.13/3171.54 c #Conflicts: 1739000 | #Constraints: 46630
3162.13/3171.54 c #Conflicts: 1740000 | #Constraints: 47630
3162.13/3171.54 c #Conflicts: 1741000 | #Constraints: 48630
3162.13/3171.54 c #Conflicts: 1742000 | #Constraints: 49630
3162.13/3171.54 c #Conflicts: 1743000 | #Constraints: 50630
3162.13/3171.54 c #Conflicts: 1744000 | #Constraints: 51630
3162.13/3171.54 c #Conflicts: 1745000 | #Constraints: 52630
3162.13/3171.54 c #Conflicts: 1746000 | #Constraints: 53630
3162.13/3171.54 c INPROCESSING
3162.13/3171.54 c GARBAGE COLLECT
3162.13/3171.54 c #Conflicts: 1747000 | #Constraints: 28427
3162.13/3171.54 c #Conflicts: 1748000 | #Constraints: 29427
3162.13/3171.54 c #Conflicts: 1749000 | #Constraints: 30427
3162.13/3171.54 c #Conflicts: 1750000 | #Constraints: 31427
3162.13/3171.54 c #Conflicts: 1751000 | #Constraints: 32427
3162.13/3171.54 c #Conflicts: 1752000 | #Constraints: 33427
3162.13/3171.54 c #Conflicts: 1753000 | #Constraints: 34427
3162.13/3171.54 c #Conflicts: 1754000 | #Constraints: 35427
3162.13/3171.54 c #Conflicts: 1755000 | #Constraints: 36427
3162.13/3171.54 c #Conflicts: 1756000 | #Constraints: 37427
3162.13/3171.54 c #Conflicts: 1757000 | #Constraints: 38427
3162.13/3171.54 c #Conflicts: 1758000 | #Constraints: 39427
3162.13/3171.54 c #Conflicts: 1759000 | #Constraints: 40427
3162.13/3171.54 c #Conflicts: 1760000 | #Constraints: 41427
3162.13/3171.54 c #Conflicts: 1761000 | #Constraints: 42427
3162.13/3171.54 c #Conflicts: 1762000 | #Constraints: 43427
3162.13/3171.54 c #Conflicts: 1763000 | #Constraints: 44427
3162.13/3171.54 c #Conflicts: 1764000 | #Constraints: 45427
3162.13/3171.54 c #Conflicts: 1765000 | #Constraints: 46427
3162.13/3171.54 c #Conflicts: 1766000 | #Constraints: 47427
3162.13/3171.54 c #Conflicts: 1767000 | #Constraints: 48427
3162.13/3171.54 c #Conflicts: 1768000 | #Constraints: 49427
3162.13/3171.54 c #Conflicts: 1769000 | #Constraints: 50427
3162.13/3171.54 c #Conflicts: 1770000 | #Constraints: 51427
3162.13/3171.54 c #Conflicts: 1771000 | #Constraints: 52427
3162.13/3171.54 c #Conflicts: 1772000 | #Constraints: 53427
3162.13/3171.54 c #Conflicts: 1773000 | #Constraints: 54427
3162.13/3171.54 c INPROCESSING
3162.13/3171.54 c GARBAGE COLLECT
3162.13/3171.54 c #Conflicts: 1774000 | #Constraints: 29029
3162.13/3171.54 c #Conflicts: 1775000 | #Constraints: 30029
3162.13/3171.54 c #Conflicts: 1776000 | #Constraints: 31029
3162.13/3171.54 c #Conflicts: 1777000 | #Constraints: 32029
3162.13/3171.54 c #Conflicts: 1778000 | #Constraints: 33029
3359.38/3369.38 c #Conflicts: 1779000 | #Constraints: 34029
3359.38/3369.38 c #Conflicts: 1780000 | #Constraints: 35029
3359.38/3369.38 c #Conflicts: 1781000 | #Constraints: 36029
3359.38/3369.38 c #Conflicts: 1782000 | #Constraints: 37029
3359.38/3369.38 c #Conflicts: 1783000 | #Constraints: 38029
3359.38/3369.38 c #Conflicts: 1784000 | #Constraints: 39029
3359.38/3369.38 c #Conflicts: 1785000 | #Constraints: 40029
3359.38/3369.38 c #Conflicts: 1786000 | #Constraints: 41029
3359.38/3369.38 c #Conflicts: 1787000 | #Constraints: 42029
3359.38/3369.38 c #Conflicts: 1788000 | #Constraints: 43029
3359.38/3369.38 c #Conflicts: 1789000 | #Constraints: 44029
3359.38/3369.38 c #Conflicts: 1790000 | #Constraints: 45029
3359.38/3369.38 c #Conflicts: 1791000 | #Constraints: 46029
3359.38/3369.38 c #Conflicts: 1792000 | #Constraints: 47029
3359.38/3369.38 c #Conflicts: 1793000 | #Constraints: 48029
3359.38/3369.38 c #Conflicts: 1794000 | #Constraints: 49029
3359.38/3369.38 c #Conflicts: 1795000 | #Constraints: 50029
3359.38/3369.38 c #Conflicts: 1796000 | #Constraints: 51029
3359.38/3369.38 c #Conflicts: 1797000 | #Constraints: 52029
3359.38/3369.38 c #Conflicts: 1798000 | #Constraints: 53029
3359.38/3369.38 c #Conflicts: 1799000 | #Constraints: 54029
3359.38/3369.38 c #Conflicts: 1800000 | #Constraints: 55029
3359.38/3369.38 c INPROCESSING
3359.38/3369.38 c GARBAGE COLLECT
3359.38/3369.38 c #Conflicts: 1801000 | #Constraints: 29449
3359.38/3369.38 c #Conflicts: 1802000 | #Constraints: 30449
3359.38/3369.38 c #Conflicts: 1803000 | #Constraints: 31449
3359.38/3369.38 c #Conflicts: 1804000 | #Constraints: 32449
3359.38/3369.38 c #Conflicts: 1805000 | #Constraints: 33449
3359.38/3369.38 c #Conflicts: 1806000 | #Constraints: 34449
3359.38/3369.38 c #Conflicts: 1807000 | #Constraints: 35449
3359.38/3369.38 c #Conflicts: 1808000 | #Constraints: 36449
3359.38/3369.38 c #Conflicts: 1809000 | #Constraints: 37449
3359.38/3369.38 c #Conflicts: 1810000 | #Constraints: 38449
3359.38/3369.38 c #Conflicts: 1811000 | #Constraints: 39449
3359.38/3369.38 c #Conflicts: 1812000 | #Constraints: 40449
3359.38/3369.38 c #Conflicts: 1813000 | #Constraints: 41449
3359.38/3369.38 c #Conflicts: 1814000 | #Constraints: 42449
3359.38/3369.38 c #Conflicts: 1815000 | #Constraints: 43449
3359.38/3369.38 c #Conflicts: 1816000 | #Constraints: 44449
3359.38/3369.38 c #Conflicts: 1817000 | #Constraints: 45449
3359.38/3369.38 c #Conflicts: 1818000 | #Constraints: 46449
3359.38/3369.38 c #Conflicts: 1819000 | #Constraints: 47449
3359.38/3369.38 c #Conflicts: 1820000 | #Constraints: 48449
3359.38/3369.38 c #Conflicts: 1821000 | #Constraints: 49449
3359.38/3369.38 c #Conflicts: 1822000 | #Constraints: 50449
3359.38/3369.38 c #Conflicts: 1823000 | #Constraints: 51449
3359.38/3369.38 c #Conflicts: 1824000 | #Constraints: 52449
3359.38/3369.38 c #Conflicts: 1825000 | #Constraints: 53449
3359.38/3369.38 c #Conflicts: 1826000 | #Constraints: 54449
3359.38/3369.38 c #Conflicts: 1827000 | #Constraints: 55449
3359.38/3369.38 c INPROCESSING
3359.38/3369.38 c GARBAGE COLLECT
3359.38/3369.38 c #Conflicts: 1828000 | #Constraints: 29646
3359.38/3369.38 c #Conflicts: 1829000 | #Constraints: 30646
3359.38/3369.38 c #Conflicts: 1830000 | #Constraints: 31646
3359.38/3369.38 c #Conflicts: 1831000 | #Constraints: 32646
3359.38/3369.38 c #Conflicts: 1832000 | #Constraints: 33646
3359.38/3369.38 c #Conflicts: 1833000 | #Constraints: 34646
3359.38/3369.38 c #Conflicts: 1834000 | #Constraints: 35646
3359.38/3369.38 c #Conflicts: 1835000 | #Constraints: 36646
3359.38/3369.38 c #Conflicts: 1836000 | #Constraints: 37646
3359.38/3369.38 c #Conflicts: 1837000 | #Constraints: 38646
3359.38/3369.38 c #Conflicts: 1838000 | #Constraints: 39646
3359.38/3369.38 c #Conflicts: 1839000 | #Constraints: 40646
3359.38/3369.38 c #Conflicts: 1840000 | #Constraints: 41646
3359.38/3369.38 c #Conflicts: 1841000 | #Constraints: 42646
3359.38/3369.38 c #Conflicts: 1842000 | #Constraints: 43646
3359.38/3369.38 c #Conflicts: 1843000 | #Constraints: 44646
3359.38/3369.38 c #Conflicts: 1844000 | #Constraints: 45646
3359.38/3369.38 c #Conflicts: 1845000 | #Constraints: 46646
3359.38/3369.38 c #Conflicts: 1846000 | #Constraints: 47646
3359.38/3369.38 c #Conflicts: 1847000 | #Constraints: 48646
3359.38/3369.38 c #Conflicts: 1848000 | #Constraints: 49646
3359.38/3369.38 c #Conflicts: 1849000 | #Constraints: 50646
3359.38/3369.38 c #Conflicts: 1850000 | #Constraints: 51646
3359.38/3369.38 c #Conflicts: 1851000 | #Constraints: 52646
3359.38/3369.38 c #Conflicts: 1852000 | #Constraints: 53646
3359.38/3369.38 c #Conflicts: 1853000 | #Constraints: 54646
3359.38/3369.38 c #Conflicts: 1854000 | #Constraints: 55646
3359.38/3369.38 c INPROCESSING
3359.38/3369.38 c GARBAGE COLLECT
3359.38/3369.38 c #Conflicts: 1855000 | #Constraints: 29643
3566.81/3577.32 c #Conflicts: 1856000 | #Constraints: 30643
3566.81/3577.32 c #Conflicts: 1857000 | #Constraints: 31643
3566.81/3577.32 c #Conflicts: 1858000 | #Constraints: 32643
3566.81/3577.32 c #Conflicts: 1859000 | #Constraints: 33643
3566.81/3577.32 c #Conflicts: 1860000 | #Constraints: 34643
3566.81/3577.32 c #Conflicts: 1861000 | #Constraints: 35643
3566.81/3577.32 c #Conflicts: 1862000 | #Constraints: 36643
3566.81/3577.32 c #Conflicts: 1863000 | #Constraints: 37643
3566.81/3577.32 c #Conflicts: 1864000 | #Constraints: 38643
3566.81/3577.32 c #Conflicts: 1865000 | #Constraints: 39643
3566.81/3577.32 c #Conflicts: 1866000 | #Constraints: 40643
3566.81/3577.32 c #Conflicts: 1867000 | #Constraints: 41643
3566.81/3577.32 c #Conflicts: 1868000 | #Constraints: 42643
3566.81/3577.32 c #Conflicts: 1869000 | #Constraints: 43643
3566.81/3577.32 c #Conflicts: 1870000 | #Constraints: 44643
3566.81/3577.32 c #Conflicts: 1871000 | #Constraints: 45643
3566.81/3577.32 c #Conflicts: 1872000 | #Constraints: 46643
3566.81/3577.32 c #Conflicts: 1873000 | #Constraints: 47643
3566.81/3577.32 c #Conflicts: 1874000 | #Constraints: 48643
3566.81/3577.32 c #Conflicts: 1875000 | #Constraints: 49643
3566.81/3577.32 c #Conflicts: 1876000 | #Constraints: 50643
3566.81/3577.32 c #Conflicts: 1877000 | #Constraints: 51643
3566.81/3577.32 c #Conflicts: 1878000 | #Constraints: 52643
3566.81/3577.32 c #Conflicts: 1879000 | #Constraints: 53643
3566.81/3577.32 c #Conflicts: 1880000 | #Constraints: 54643
3566.81/3577.32 c #Conflicts: 1881000 | #Constraints: 55643
3566.81/3577.32 c INPROCESSING
3566.81/3577.32 c GARBAGE COLLECT
3566.81/3577.32 c #Conflicts: 1882000 | #Constraints: 29452
3566.81/3577.32 c #Conflicts: 1883000 | #Constraints: 30452
3566.81/3577.32 c #Conflicts: 1884000 | #Constraints: 31452
3566.81/3577.32 c #Conflicts: 1885000 | #Constraints: 32452
3566.81/3577.32 c #Conflicts: 1886000 | #Constraints: 33452
3566.81/3577.32 c #Conflicts: 1887000 | #Constraints: 34452
3566.81/3577.32 c #Conflicts: 1888000 | #Constraints: 35452
3566.81/3577.32 c #Conflicts: 1889000 | #Constraints: 36452
3566.81/3577.32 c #Conflicts: 1890000 | #Constraints: 37452
3566.81/3577.32 c #Conflicts: 1891000 | #Constraints: 38452
3566.81/3577.32 c #Conflicts: 1892000 | #Constraints: 39452
3566.81/3577.32 c #Conflicts: 1893000 | #Constraints: 40452
3566.81/3577.32 c #Conflicts: 1894000 | #Constraints: 41452
3566.81/3577.32 c #Conflicts: 1895000 | #Constraints: 42452
3566.81/3577.32 c #Conflicts: 1896000 | #Constraints: 43452
3566.81/3577.32 c #Conflicts: 1897000 | #Constraints: 44452
3566.81/3577.32 c #Conflicts: 1898000 | #Constraints: 45452
3566.81/3577.32 c #Conflicts: 1899000 | #Constraints: 46452
3566.81/3577.32 c #Conflicts: 1900000 | #Constraints: 47452
3566.81/3577.32 c #Conflicts: 1901000 | #Constraints: 48452
3566.81/3577.32 c #Conflicts: 1902000 | #Constraints: 49452
3566.81/3577.32 c #Conflicts: 1903000 | #Constraints: 50452
3566.81/3577.32 c #Conflicts: 1904000 | #Constraints: 51452
3566.81/3577.32 c #Conflicts: 1905000 | #Constraints: 52452
3566.81/3577.32 c #Conflicts: 1906000 | #Constraints: 53452
3566.81/3577.32 c #Conflicts: 1907000 | #Constraints: 54452
3566.81/3577.32 c #Conflicts: 1908000 | #Constraints: 55452
3566.81/3577.32 c #Conflicts: 1909000 | #Constraints: 56452
3566.81/3577.32 c INPROCESSING
3566.81/3577.32 c GARBAGE COLLECT
3566.81/3577.32 c #Conflicts: 1910000 | #Constraints: 30035
3566.81/3577.32 c #Conflicts: 1911000 | #Constraints: 31035
3566.81/3577.32 c #Conflicts: 1912000 | #Constraints: 32035
3566.81/3577.32 c #Conflicts: 1913000 | #Constraints: 33035
3566.81/3577.32 c #Conflicts: 1914000 | #Constraints: 34035
3566.81/3577.32 c #Conflicts: 1915000 | #Constraints: 35035
3566.81/3577.32 c #Conflicts: 1916000 | #Constraints: 36035
3566.81/3577.32 c #Conflicts: 1917000 | #Constraints: 37035
3566.81/3577.32 c #Conflicts: 1918000 | #Constraints: 38035
3566.81/3577.32 c #Conflicts: 1919000 | #Constraints: 39035
3566.81/3577.32 c #Conflicts: 1920000 | #Constraints: 40035
3566.81/3577.32 c #Conflicts: 1921000 | #Constraints: 41035
3566.81/3577.32 c #Conflicts: 1922000 | #Constraints: 42035
3566.81/3577.32 c #Conflicts: 1923000 | #Constraints: 43035
3566.81/3577.32 c #Conflicts: 1924000 | #Constraints: 44035
3566.81/3577.32 c #Conflicts: 1925000 | #Constraints: 45035
3566.81/3577.32 c #Conflicts: 1926000 | #Constraints: 46035
3566.81/3577.32 c #Conflicts: 1927000 | #Constraints: 47035
3566.81/3577.32 c #Conflicts: 1928000 | #Constraints: 48035
3566.81/3577.32 c #Conflicts: 1929000 | #Constraints: 49035
3566.81/3577.32 c #Conflicts: 1930000 | #Constraints: 50035
3566.81/3577.32 c #Conflicts: 1931000 | #Constraints: 51035
3566.81/3577.32 c #Conflicts: 1932000 | #Constraints: 52035
3600.09/3610.70 c #Conflicts: 1933000 | #Constraints: 53035
3600.09/3610.70 c #Conflicts: 1934000 | #Constraints: 54035
3600.09/3610.70 c #Conflicts: 1935000 | #Constraints: 55035
3600.09/3610.70 c #Conflicts: 1936000 | #Constraints: 56035
3600.09/3610.70 c #Conflicts: 1937000 | #Constraints: 57035
3600.09/3610.70 c INPROCESSING
3600.09/3610.70 c GARBAGE COLLECT
3600.09/3610.70 c #Conflicts: 1938000 | #Constraints: 30441
3600.09/3610.70 c #Conflicts: 1939000 | #Constraints: 31441
3600.09/3610.70 c #Conflicts: 1940000 | #Constraints: 32441
3600.09/3610.70 c cpu time 3570.71 s
3600.09/3610.70 c deterministic time 4259792 4.26e+06
3600.09/3610.70 c optimization time 3570.03 s
3600.09/3610.70 c total solve time 0.374766 s
3600.09/3610.70 c core-guided solve time 0 s
3600.09/3610.70 c propagation time 0.22184 s
3600.09/3610.70 c conflict analysis time 0.022092 s
3600.09/3610.70 c propagations 429279
3600.09/3610.70 c resolve steps 0
3600.09/3610.70 c decisions 412328
3600.09/3610.70 c conflicts 13
3600.09/3610.70 c restarts 1
3600.09/3610.70 c inprocessing phases 0
3600.09/3610.70 c garbage collections 0 ,( -nan )
3600.09/3610.70 c input clauses 98732 ,( 98.24 )
3600.09/3610.70 c input cardinalities 1562 ,( 1.55 )
3600.09/3610.70 c input general constraints 208 ,( 0.21 )
3600.09/3610.70 c input average constraint length 17.56
3600.09/3610.70 c input average constraint degree 425891360699.04
3600.09/3610.70 c learned clauses 156 ,( 82.98 )
3600.09/3610.70 c learned cardinalities 0 ,( 0.00 )
3600.09/3610.70 c learned general constraints 32 ,( 17.02 )
3600.09/3610.70 c learned average constraint length 3.20
3600.09/3610.70 c learned average constraint degree 1.21
3600.09/3610.70 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3610.70 c counting CF 32, 64, 128, Arb: 56 , 185 , 0 , 0
3600.09/3610.70 c watched constraints 0 ,( 0.00 )
3600.09/3610.70 c counting constraints 240 ,( 100.00 )
3600.09/3610.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 232703 , 9808 , 941087 ,( 0 , 941087 )
3600.09/3610.70 c gcd simplifications 0
3600.09/3610.70 c detected cardinalities 0
3600.09/3610.70 c weakened non-implied lits 0
3600.09/3610.70 c weakened non-implying lits 0
3600.09/3610.70 c original variables 21106
3600.09/3610.70 c clausal propagations 224095
3600.09/3610.70 c cardinality propagations 94
3600.09/3610.70 c watched propagations 0
3600.09/3610.70 c counting propagations 15889
3600.09/3610.70 c watch lookups 2165406
3600.09/3610.70 c watch backjump lookups 0
3600.09/3610.70 c watch checks 120160
3600.09/3610.70 c propagation checks 284480
3600.09/3610.70 c constraint additions 4791
3600.09/3610.70 c trail pops 840347
3600.09/3610.70 c formula constraints 99914
3600.09/3610.70 c learned constraints 188
3600.09/3610.70 c bound constraints 0
3600.09/3610.70 c core-guided constraints 0
3600.09/3610.70 c encountered formula constraints 13
3600.09/3610.70 c encountered learned constraints 0
3600.09/3610.70 c encountered bound constraints 0
3600.09/3610.70 c encountered core-guided constraints 0
3600.09/3610.70 c LP total time 0.194881 s
3600.09/3610.70 c LP solve time 0.15 s
3600.09/3610.70 c LP constraints added 99914
3600.09/3610.70 c LP constraints removed 0
3600.09/3610.70 c LP pivots internal 2000
3600.09/3610.70 c LP pivots root 1000
3600.09/3610.70 c LP calls 2
3600.09/3610.70 c LP optimalities 0
3600.09/3610.70 c LP no pivot count 0
3600.09/3610.70 c LP infeasibilities 0
3600.09/3610.70 c LP valid Farkas constraints 0
3600.09/3610.70 c LP learned Farkas constraints 0
3600.09/3610.70 c LP basis resets 0
3600.09/3610.70 c LP cycling count 0
3600.09/3610.70 c LP singular count 0
3600.09/3610.70 c LP no primal count 0
3600.09/3610.70 c LP no farkas count 0
3600.09/3610.70 c LP other issue count 0
3600.09/3610.70 c LP Gomory cuts 0
3600.09/3610.70 c LP learned cuts 0
3600.09/3610.70 c LP deleted cuts 0
3600.09/3610.70 c LP encountered Gomory constraints 0
3600.09/3610.70 c LP encountered Farkas constraints 0
3600.09/3610.70 c LP encountered learned Farkas constraints 0
3600.09/3610.70 c CG auxiliary variables introduced 212
3600.09/3610.70 c CG solutions found 0
3600.09/3610.70 c CG cores constructed 197
3600.09/3610.70 c CG core cardinality constraints returned 0
3600.09/3610.70 c CG unit cores 9
3600.09/3610.70 c CG single cores 0
3600.09/3610.70 c CG blocks removed during cardinality reduction 0
3600.09/3610.70 c CG first core best 0
3600.09/3610.70 c CG decision core best 0
3600.09/3610.70 c CG core reduction tie 0
3600.09/3610.70 c CG core degree average 0.00
3600.09/3610.70 c CG core slack average 0.00
3600.09/3610.70 c CG core upper bound improvements 0
3600.09/3610.70 c STR number of successful calls 0
3600.09/3610.70 c STR number of unsuccessful calls 0
3600.09/3610.70 c STR number of inconclusive calls 0
3600.09/3610.70 c STR number of successful attempts 0
3600.09/3610.70 c STR number of unsuccessful attempts 0
3600.09/3610.70 c STR number of inconclusive attempts 0
3600.09/3610.70 c STR average degree increase per successful call inf
3600.09/3610.70 c STR average degree increase per successful attempt inf
3600.09/3610.70 c STR total number of conflicts for successful attempts 0
3600.09/3610.70 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.70 c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.70 c STR average number of conflicts per successful attempt inf
3600.09/3610.70 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.70 c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.70 c AVG.sumWPerc 96.01
3600.09/3610.70 c bigint constraints 185
3600.09/3610.70 s UNKNOWN
3600.09/3610.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62079 MiB free)
memory of node 1: 64465 MiB (56524 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500822-1751473650/watcher-4500822-1751473650 -o /tmp/evaluation-result-4500822-1751473650/solver-4500822-1751473650 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66042 --watchdog 3760 run-opt.sh HOME/instance-4500822-1751473650.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=67113, runsolver pid=67110
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.09 4.15 4.14 5/267 67115
/proc/meminfo: memFree=121436820/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=61232 memory=16040 CPUtime=0.08 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 2291 0 0 0 6 2 0 0 20 0 1 0 63041582 62701568 4010 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 15308 4010 1888 1147 0 2735 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65424 KiB
Current children cumulated memory: 18856 KiB
[startup+0.205549 s]*
/proc/loadavg: 4.09 4.15 4.14 5/267 67115
/proc/meminfo: memFree=121428944/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=64312 memory=20732 CPUtime=0.18 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 2951 0 0 0 13 5 0 0 20 0 1 0 63041582 65855488 5183 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 16078 5183 1888 1147 0 3505 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 68504 KiB
Current children cumulated memory: 23548 KiB
[startup+0.305448 s]*
/proc/loadavg: 4.09 4.15 4.14 5/267 67115
/proc/meminfo: memFree=121403552/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=93408 memory=42224 CPUtime=0.28 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 6707 0 0 0 20 8 0 0 20 0 1 0 63041582 95649792 10556 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 23352 10556 2240 1147 0 10779 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 97600 KiB
Current children cumulated memory: 45040 KiB
[startup+0.70018 s]
/proc/loadavg: 4.08 4.14 4.14 5/267 67115
/proc/meminfo: memFree=121301352/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=215724 memory=148412 CPUtime=0.67 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 18648 0 0 0 53 14 0 0 20 0 1 0 63041582 220901376 37103 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 53931 37103 2368 1147 0 41358 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 219916 KiB
Current children cumulated memory: 151228 KiB
[startup+1.50018 s]
/proc/loadavg: 4.08 4.14 4.14 5/267 67115
/proc/meminfo: memFree=121301604/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=223272 memory=158748 CPUtime=1.47 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 20685 0 0 0 86 61 0 0 20 0 1 0 63041582 228630528 39687 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 55818 39687 2400 1147 0 43245 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 227464 KiB
Current children cumulated memory: 161564 KiB
[startup+3.10533 s]
/proc/loadavg: 4.08 4.14 4.14 5/267 67115
/proc/meminfo: memFree=121071472/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=361064 memory=282044 CPUtime=3.06 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 41811 0 0 0 198 108 0 0 20 0 1 0 63041582 369729536 70511 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 90266 70511 2400 1147 0 77693 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 365256 KiB
Current children cumulated memory: 284860 KiB
[startup+6.30018 s]
/proc/loadavg: 4.07 4.14 4.14 5/267 67115
/proc/meminfo: memFree=120910576/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=526220 memory=409580 CPUtime=6.26 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 67085 0 0 0 475 151 0 0 20 0 1 0 63041582 538849280 102395 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 131555 102395 2400 1147 0 118982 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 530412 KiB
Current children cumulated memory: 412396 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.14 4.14 5/267 67115
/proc/meminfo: memFree=120828360/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=581528 memory=473588 CPUtime=12.64 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 76449 0 0 0 1074 190 0 0 20 0 1 0 63041582 595484672 118397 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 145382 118397 2400 1147 0 132809 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 585720 KiB
Current children cumulated memory: 476404 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.15 4.15 5/267 67115
/proc/meminfo: memFree=120416876/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=798124 memory=636104 CPUtime=25.4 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 110937 0 0 0 2274 266 0 0 20 0 1 0 63041582 817278976 159026 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 199531 159026 2400 1147 0 186958 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 802316 KiB
Current children cumulated memory: 638920 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.14 4.14 5/267 67116
/proc/meminfo: memFree=120188104/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=887192 memory=732896 CPUtime=50.95 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 124915 0 0 0 4783 312 0 0 20 0 1 0 63041582 908484608 183224 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 221798 183224 2400 1147 0 209225 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 891384 KiB
Current children cumulated memory: 735712 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/267 67163
/proc/meminfo: memFree=122441756/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=1442524 memory=1078928 CPUtime=101.99 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 196165 0 0 0 9774 425 0 0 20 0 1 0 63041582 1477144576 269732 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 360631 269732 2400 1147 0 348058 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1446716 KiB
Current children cumulated memory: 1081744 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.13 4.14 5/267 67165
/proc/meminfo: memFree=121075380/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=1448020 memory=1144180 CPUtime=161.81 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 205309 0 0 0 15662 519 0 0 20 0 1 0 63041582 1482772480 286045 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 362005 286045 2400 1147 0 349432 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1452212 KiB
Current children cumulated memory: 1146996 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.12 4.13 5/266 67167
/proc/meminfo: memFree=120893824/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=1459544 memory=1233976 CPUtime=221.64 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 218061 0 0 0 21545 619 0 0 20 0 1 0 63041582 1494573056 308494 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 364886 308494 2400 1147 0 352313 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/67115/statm: 1148822 913835 2400 1147 0 1136249 0
Current children cumulated CPU time: 3093.12 s
Current children cumulated vsize: 4599480 KiB
Current children cumulated memory: 3658156 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/267 67367
/proc/meminfo: memFree=115204656/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=4595288 memory=3655340 CPUtime=3152.96 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 694512 0 0 0 312565 2731 0 0 20 0 1 0 63041582 4705574912 913835 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 1148822 913835 2400 1147 0 1136249 0
Current children cumulated CPU time: 3152.96 s
Current children cumulated vsize: 4599480 KiB
Current children cumulated memory: 3658156 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 67370
/proc/meminfo: memFree=115198052/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=4595288 memory=3655340 CPUtime=3212.79 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 695308 0 0 0 318516 2763 0 0 20 0 1 0 63041582 4705574912 913835 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 1148822 913835 2400 1147 0 1136249 0
Current children cumulated CPU time: 3212.79 s
Current children cumulated vsize: 4599480 KiB
Current children cumulated memory: 3658156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/267 67372
/proc/meminfo: memFree=115199976/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=4595288 memory=3655340 CPUtime=3272.62 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 695414 0 0 0 324472 2790 0 0 20 0 1 0 63041582 4705574912 913835 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 1148822 913835 2400 1147 0 1136249 0
Current children cumulated CPU time: 3272.62 s
Current children cumulated vsize: 4599480 KiB
Current children cumulated memory: 3658156 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 67374
/proc/meminfo: memFree=115191356/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=4595288 memory=3662508 CPUtime=3332.45 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 695538 0 0 0 330421 2824 0 0 20 0 1 0 63041582 4705574912 915627 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 1148822 915627 2400 1147 0 1136249 0
Current children cumulated CPU time: 3332.45 s
Current children cumulated vsize: 4599480 KiB
Current children cumulated memory: 3665324 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 67376
/proc/meminfo: memFree=115010892/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=4598360 memory=3718820 CPUtime=3392.29 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 698931 0 0 0 336378 2851 0 0 20 0 1 0 63041582 4708720640 929705 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 1149590 929705 2400 1147 0 1137017 0
Current children cumulated CPU time: 3392.29 s
Current children cumulated vsize: 4602552 KiB
Current children cumulated memory: 3721636 KiB
[startup+3462.3 s]
/proc/loadavg: 4.39 4.17 4.11 5/267 67378
/proc/meminfo: memFree=114926988/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=4598360 memory=3764516 CPUtime=3452.12 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 699037 0 0 0 342339 2873 0 0 20 0 1 0 63041582 4708720640 941129 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 1149590 941129 2400 1147 0 1137017 0
Current children cumulated CPU time: 3452.12 s
Current children cumulated vsize: 4602552 KiB
Current children cumulated memory: 3767332 KiB
[startup+3522.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/267 67387
/proc/meminfo: memFree=114841412/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=4598360 memory=3810084 CPUtime=3511.96 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 699127 0 0 0 348306 2890 0 0 20 0 1 0 63041582 4708720640 952521 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 1149590 952521 2400 1147 0 1137017 0
Current children cumulated CPU time: 3511.96 s
Current children cumulated vsize: 4602552 KiB
Current children cumulated memory: 3812900 KiB
[startup+3582.3 s]
/proc/loadavg: 4.46 4.24 4.14 5/267 67389
/proc/meminfo: memFree=113966364/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=4598360 memory=3848228 CPUtime=3571.8 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 699152 0 0 0 354253 2927 0 0 20 0 1 0 63041582 4708720640 962057 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 1149590 962057 2400 1147 0 1137017 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 4602552 KiB
Current children cumulated memory: 3851044 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.36 4.24 4.14 4/260 67421
/proc/meminfo: memFree=117963352/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=4598360 memory=3871012 CPUtime=3600.09 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 699174 0 0 0 357071 2938 0 0 20 0 1 0 63041582 4708720640 967753 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 1149590 967753 2400 1147 0 1137017 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4602552 KiB
Current children cumulated memory: 3873828 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.7 s]
# the end of solver process 67113 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00071 s, system=0.001407 s
Sleeping 2 seconds
[startup+3610.75 s]
# the end of solver process 67115 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3570.72 s, system=29.4272 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.36 4.24 4.14 4/260 67421
/proc/meminfo: memFree=117963352/131250000 swapFree=33010672/33010684
[pid=67113] ppid=67110 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67113/stat : 67113 (run-opt.sh) S 67110 67113 66032 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 63041581 4292608 704 18446744073709551615 94732878028800 94732878923333 140724324379152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732879162384 94732879210128 94732891230208 140724324383085 140724324383208 140724324383208 140724324388810 0
/proc/67113/statm: 1048 704 672 219 0 110 0
[pid=67115] ppid=67113 vsize=4598360 memory=3871012 CPUtime=3600.09 cores=0,2
/proc/67115/stat : 67115 (roundingsat) R 67113 67113 66032 0 -1 4194304 699174 0 0 0 357071 2938 0 0 20 0 1 0 63041582 4708720640 967753 18446744073709551615 4227072 8923433 140726011055696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35917824 140726011058594 140726011058728 140726011058728 140726011064298 0
/proc/67115/statm: 1149590 967753 2400 1147 0 1137017 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4602552 KiB
Current children cumulated memory: 3873828 KiB
Child status: 2
Real time (s): 3610.75
CPU time (s): 3600.15
CPU user time (s): 3570.72
CPU system time (s): 29.4272
CPU usage (%): 99.7064
Max. virtual memory (cumulated for all children) (KiB): 4602552
Max. memory (cumulated for all children) (KiB): 3873828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.72
system time used= 29.4272
maximum resident set size= 3871396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 699411
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= 450
involuntary context switches= 4697
# summary of solver processes directly reported to runsolver:
# pid: 67113,67115
# total CPU time (s): 3600.15
# total CPU user time (s): 3570.72
# total CPU system time (s): 29.4272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.01882 second user time and 14.3844 second system time
The end
Begin job on nodeC014 at 2025-07-02 18:27:30
IDJOB=4500822
IDBENCH=150960
IDSOLVER=3350
FILE ID=nodeC014/4500822-1751473650
RUNJOBID= nodeC014-1751466415-66042
SLURM_JOB_ID= 9598484
Free space on /tmp= 430504 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500822-1751473650/watcher-4500822-1751473650 -o /tmp/evaluation-result-4500822-1751473650/solver-4500822-1751473650 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66042 --watchdog 3760 run-opt.sh HOME/instance-4500822-1751473650.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c99b915a584a6a8e4cc5b128c0dbe406
RANDOM SEED=1218811718
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.116
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.030
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.066
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3618.879
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.110
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.121
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.579
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.567
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121451868 kB
MemAvailable: 123196240 kB
Buffers: 2508 kB
Cached: 2540120 kB
SwapCached: 4 kB
Active: 7174032 kB
Inactive: 1992704 kB
Active(anon): 6638320 kB
Inactive(anon): 3852 kB
Active(file): 535712 kB
Inactive(file): 1988852 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13364 kB
Writeback: 0 kB
AnonPages: 6627220 kB
Mapped: 117864 kB
Shmem: 18064 kB
KReclaimable: 118092 kB
Slab: 208688 kB
SReclaimable: 118092 kB
SUnreclaim: 90596 kB
KernelStack: 4300 kB
PageTables: 17740 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 8168376 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1406976 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430508 MiB
End job on nodeC014 at 2025-07-02 19:27:41