0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.98/1.10 c #variables 21106 #constraints 99914
0.98/1.10 c objective is ce64
1.08/1.14 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.08/1.14 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
1.08/1.14 c GLOBAL bounds - >= 0 @ 0.909402
1.08/1.18 c GLOBAL bounds - >= 0 @ 0.925143
1.08/1.18 c GLOBAL bounds - >= 475711958016 @ 0.925694
1.37/1.47 c GLOBAL bounds - >= 475711958016 @ 1.19607
1.47/1.50 c GLOBAL bounds - >= 475711958016 @ 1.20574
1.47/1.50 c GLOBAL bounds - >= 475711958016 @ 1.20627
1.47/1.53 c GLOBAL bounds - >= 475711958016 @ 1.2189
1.47/1.53 c GLOBAL bounds - >= 475711958016 @ 1.21925
1.47/1.56 c GLOBAL bounds - >= 475711958016 @ 1.23336
1.47/1.56 c GLOBAL bounds - >= 475711958016 @ 1.23391
1.47/1.59 c GLOBAL bounds - >= 475711958016 @ 1.24264
1.47/1.59 c GLOBAL bounds - >= 475711958016 @ 1.24321
1.57/1.62 c GLOBAL bounds - >= 475711958016 @ 1.25808
1.57/1.62 c GLOBAL bounds - >= 475711958016 @ 1.2587
1.57/1.65 c GLOBAL bounds - >= 475711958016 @ 1.27292
1.57/1.65 c GLOBAL bounds - >= 475711958016 @ 1.27315
1.57/1.68 c GLOBAL bounds - >= 475711958016 @ 1.28617
1.57/1.68 c GLOBAL bounds - >= 475711958016 @ 1.28678
1.67/1.71 c GLOBAL bounds - >= 475711958016 @ 1.2955
1.67/1.71 c GLOBAL bounds - >= 475711958016 @ 1.29605
1.67/1.73 c GLOBAL bounds - >= 475711958016 @ 1.30627
1.67/1.74 c GLOBAL bounds - >= 475711958016 @ 1.30661
1.67/1.76 c GLOBAL bounds - >= 475711958016 @ 1.31788
1.67/1.79 c GLOBAL bounds - >= 475711958016 @ 1.32393
1.77/1.80 c GLOBAL bounds - >= 475711958016 @ 1.32906
1.77/1.81 c GLOBAL bounds - >= 1110013024320 @ 1.33271
1.77/1.82 c GLOBAL bounds - >= 1110013024320 @ 1.33605
1.77/1.84 c GLOBAL bounds - >= 1110013024320 @ 1.34139
1.77/1.84 c GLOBAL bounds - >= 1110013024320 @ 1.34165
1.77/1.86 c GLOBAL bounds - >= 1110013024320 @ 1.35344
1.77/1.86 c GLOBAL bounds - >= 1110013024320 @ 1.35399
1.77/1.88 c GLOBAL bounds - >= 1110013024320 @ 1.36343
1.77/1.88 c GLOBAL bounds - >= 1110013024320 @ 1.3639
1.86/1.91 c GLOBAL bounds - >= 1110013024320 @ 1.37203
1.86/1.91 c GLOBAL bounds - >= 1110013024320 @ 1.37261
1.86/1.93 c GLOBAL bounds - >= 1110013024320 @ 1.38046
1.86/1.93 c GLOBAL bounds - >= 1110013024320 @ 1.38092
1.86/1.96 c GLOBAL bounds - >= 1110013024320 @ 1.38856
1.86/1.96 c GLOBAL bounds - >= 1110013024320 @ 1.38907
1.86/1.98 c GLOBAL bounds - >= 1110013024320 @ 1.4047
1.86/1.98 c GLOBAL bounds - >= 1110013024320 @ 1.40569
1.86/2.01 c GLOBAL bounds - >= 1110013024320 @ 1.42039
1.86/2.01 c GLOBAL bounds - >= 1110013024320 @ 1.42106
1.98/2.03 c GLOBAL bounds - >= 1110013024320 @ 1.43225
1.98/2.03 c GLOBAL bounds - >= 1110013024320 @ 1.4327
1.98/2.05 c GLOBAL bounds - >= 1110013024320 @ 1.44227
1.98/2.07 c GLOBAL bounds - >= 1110013024320 @ 1.45088
1.98/2.09 c GLOBAL bounds - >= 1110013024320 @ 1.45736
1.98/2.11 c GLOBAL bounds - >= 1110013024320 @ 1.46626
2.08/2.12 c GLOBAL bounds - >= 1110013024320 @ 1.4733
2.08/2.14 c GLOBAL bounds - >= 1110013024320 @ 1.47938
2.08/2.16 c GLOBAL bounds - >= 1110013024320 @ 1.4892
2.08/2.18 c GLOBAL bounds - >= 1427172785280 @ 1.50417
2.08/2.18 c GLOBAL bounds - >= 1427172785280 @ 1.51233
2.17/2.21 c GLOBAL bounds - >= 1427172785280 @ 1.52233
2.17/2.21 c GLOBAL bounds - >= 1427172785280 @ 1.52336
2.17/2.23 c GLOBAL bounds - >= 1427172785280 @ 1.53747
2.17/2.23 c GLOBAL bounds - >= 1427172785280 @ 1.53747
2.17/2.26 c GLOBAL bounds - >= 1427172785280 @ 1.54662
2.17/2.26 c GLOBAL bounds - >= 1427172785280 @ 1.54734
2.17/2.28 c GLOBAL bounds - >= 1427172785280 @ 1.5613
2.17/2.28 c GLOBAL bounds - >= 1427172785280 @ 1.5616
2.27/2.31 c GLOBAL bounds - >= 1427172785280 @ 1.57103
2.27/2.31 c GLOBAL bounds - >= 1427172785280 @ 1.57156
2.27/2.33 c GLOBAL bounds - >= 1427172785280 @ 1.58259
2.27/2.33 c GLOBAL bounds - >= 1427172785280 @ 1.58353
2.27/2.35 c GLOBAL bounds - >= 1427172785280 @ 1.59737
2.27/2.35 c GLOBAL bounds - >= 1427172785280 @ 1.59822
2.27/2.38 c GLOBAL bounds - >= 1427172785280 @ 1.60704
2.27/2.38 c GLOBAL bounds - >= 1427172785280 @ 1.60772
2.37/2.40 c GLOBAL bounds - >= 1427172785280 @ 1.61642
2.37/2.40 c GLOBAL bounds - >= 1427172785280 @ 1.61743
2.37/2.43 c GLOBAL bounds - >= 1427172785280 @ 1.62928
2.37/2.45 c GLOBAL bounds - >= 1427172785280 @ 1.64324
2.37/2.47 c GLOBAL bounds - >= 1823673239424 @ 1.655
2.37/2.48 c GLOBAL bounds - >= 1823673239424 @ 1.66733
2.47/2.50 c GLOBAL bounds - >= 1823673239424 @ 1.68279
2.47/2.50 c GLOBAL bounds - >= 1823673239424 @ 1.68334
2.47/2.53 c GLOBAL bounds - >= 1823673239424 @ 1.69244
2.47/2.53 c GLOBAL bounds - >= 1823673239424 @ 1.69348
2.47/2.55 c GLOBAL bounds - >= 1823673239424 @ 1.70011
2.47/2.55 c GLOBAL bounds - >= 1823673239424 @ 1.70059
2.47/2.57 c GLOBAL bounds - >= 1823673239424 @ 1.70935
2.47/2.57 c GLOBAL bounds - >= 1823673239424 @ 1.70989
2.57/2.60 c GLOBAL bounds - >= 1823673239424 @ 1.72184
2.57/2.60 c GLOBAL bounds - >= 1823673239424 @ 1.72268
2.57/2.62 c GLOBAL bounds - >= 1823673239424 @ 1.73072
2.57/2.62 c GLOBAL bounds - >= 1823673239424 @ 1.73125
2.57/2.64 c GLOBAL bounds - >= 1823673239424 @ 1.74021
2.57/2.65 c GLOBAL bounds - >= 1823673239424 @ 1.74119
2.57/2.67 c GLOBAL bounds - >= 1823673239424 @ 1.75301
2.57/2.67 c GLOBAL bounds - >= 1823673239424 @ 1.75416
2.57/2.69 c GLOBAL bounds - >= 1823673239424 @ 1.76613
2.57/2.70 c GLOBAL bounds - >= 1823673239424 @ 1.76613
2.67/2.72 c GLOBAL bounds - >= 1823673239424 @ 1.77177
2.86/2.90 c GLOBAL bounds - >= 1823673239424 @ 1.92732
2.86/2.94 c GLOBAL bounds - >= 1823673239424 @ 1.95168
2.98/3.02 c GLOBAL bounds - >= 1903087755072 @ 2.02378
2.98/3.03 c GLOBAL bounds - >= 1903087755072 @ 2.02952
2.98/3.03 c GLOBAL bounds - >= 1903087755072 @ 2.02952
2.98/3.05 c GLOBAL bounds - >= 1903087755072 @ 2.04093
2.98/3.05 c GLOBAL bounds - >= 1903087755072 @ 2.04149
2.98/3.08 c GLOBAL bounds - >= 1903087755072 @ 2.05746
2.98/3.08 c GLOBAL bounds - >= 1903087755072 @ 2.05746
2.98/3.10 c GLOBAL bounds - >= 1903087755072 @ 2.06725
2.98/3.10 c GLOBAL bounds - >= 1903087755072 @ 2.06803
3.08/3.12 c GLOBAL bounds - >= 1903087755072 @ 2.07657
3.08/3.12 c GLOBAL bounds - >= 1903087755072 @ 2.07743
3.08/3.15 c GLOBAL bounds - >= 1903087755072 @ 2.09348
3.08/3.15 c GLOBAL bounds - >= 1903087755072 @ 2.09453
3.08/3.17 c GLOBAL bounds - >= 1903087755072 @ 2.10519
3.08/3.17 c GLOBAL bounds - >= 1903087755072 @ 2.1064
3.17/3.20 c GLOBAL bounds - >= 1903087755072 @ 2.11718
3.17/3.20 c GLOBAL bounds - >= 1903087755072 @ 2.11739
3.17/3.22 c GLOBAL bounds - >= 1903087755072 @ 2.13018
3.17/3.22 c GLOBAL bounds - >= 1903087755072 @ 2.13054
3.17/3.24 c GLOBAL bounds - >= 1903087755072 @ 2.13772
3.17/3.25 c GLOBAL bounds - >= 1903087755072 @ 2.13827
3.17/3.27 c GLOBAL bounds - >= 1903087755072 @ 2.15034
3.26/3.36 c GLOBAL bounds - >= 1903087755072 @ 2.22923
3.37/3.45 c GLOBAL bounds - >= 1903087755072 @ 2.3144
3.46/3.51 c GLOBAL bounds - >= 1903087755072 @ 2.35756
3.46/3.54 c GLOBAL bounds - >= 1903087755072 @ 2.37315
3.46/3.57 c GLOBAL bounds - >= 1903087755072 @ 2.38716
3.76/3.83 c GLOBAL bounds - >= 1982465359488 @ 2.63332
3.76/3.84 c GLOBAL bounds - >= 1982465359488 @ 2.63858
3.76/3.84 c GLOBAL bounds - >= 1982465359488 @ 2.63957
3.76/3.86 c GLOBAL bounds - >= 1982465359488 @ 2.64862
3.76/3.86 c GLOBAL bounds - >= 1982465359488 @ 2.64978
3.76/3.88 c GLOBAL bounds - >= 1982465359488 @ 2.66041
3.76/3.88 c GLOBAL bounds - >= 1982465359488 @ 2.66062
3.87/3.91 c GLOBAL bounds - >= 1982465359488 @ 2.67247
3.87/3.91 c GLOBAL bounds - >= 1982465359488 @ 2.67378
3.87/3.93 c GLOBAL bounds - >= 1982465359488 @ 2.68482
3.87/3.93 c GLOBAL bounds - >= 1982465359488 @ 2.68555
3.87/3.96 c GLOBAL bounds - >= 1982465359488 @ 2.69061
3.87/3.96 c GLOBAL bounds - >= 1982465359488 @ 2.69175
3.87/3.98 c GLOBAL bounds - >= 1982465359488 @ 2.70229
3.87/3.98 c GLOBAL bounds - >= 1982465359488 @ 2.70251
3.87/4.00 c GLOBAL bounds - >= 1982465359488 @ 2.715
3.87/4.01 c GLOBAL bounds - >= 1982465359488 @ 2.71547
3.98/4.03 c GLOBAL bounds - >= 1982465359488 @ 2.72987
3.98/4.03 c GLOBAL bounds - >= 1982465359488 @ 2.73128
3.98/4.05 c GLOBAL bounds - >= 1982465359488 @ 2.74102
3.98/4.05 c GLOBAL bounds - >= 1982465359488 @ 2.74139
3.98/4.08 c GLOBAL bounds - >= 1982465359488 @ 2.75141
4.97/5.02 c #Conflicts: 1000 | #Constraints: 2403
4.97/5.02 c GLOBAL bounds - >= 2061935241984 @ 3.64405
4.97/5.04 c GLOBAL bounds - >= 2061935241984 @ 3.66059
4.97/5.06 c GLOBAL bounds - >= 2061935241984 @ 3.673
4.97/5.07 c GLOBAL bounds - >= 2061935241984 @ 3.6745
4.97/5.09 c GLOBAL bounds - >= 2061935241984 @ 3.69066
4.97/5.09 c GLOBAL bounds - >= 2061935241984 @ 3.69192
5.07/5.12 c GLOBAL bounds - >= 2061935241984 @ 3.70804
5.07/5.12 c GLOBAL bounds - >= 2061935241984 @ 3.70813
5.07/5.15 c GLOBAL bounds - >= 2061935241984 @ 3.72458
5.07/5.15 c GLOBAL bounds - >= 2061935241984 @ 3.72603
5.07/5.17 c GLOBAL bounds - >= 2061935241984 @ 3.74039
5.07/5.18 c GLOBAL bounds - >= 2061935241984 @ 3.74191
5.16/5.20 c GLOBAL bounds - >= 2061935241984 @ 3.755
5.16/5.20 c GLOBAL bounds - >= 2061935241984 @ 3.75599
5.16/5.23 c GLOBAL bounds - >= 2061935241984 @ 3.76878
5.16/5.23 c GLOBAL bounds - >= 2061935241984 @ 3.77034
5.16/5.25 c GLOBAL bounds - >= 2061935241984 @ 3.78549
5.16/5.26 c GLOBAL bounds - >= 2061935241984 @ 3.78592
5.16/5.28 c GLOBAL bounds - >= 2061935241984 @ 3.79531
5.16/5.28 c GLOBAL bounds - >= 2061935241984 @ 3.79589
5.26/5.30 c GLOBAL bounds - >= 2061935241984 @ 3.80679
5.26/5.33 c GLOBAL bounds - >= 2061935241984 @ 3.82143
5.66/5.78 c #Conflicts: 2000 | #Constraints: 3445
5.66/5.78 c INPROCESSING
5.66/5.78 c GARBAGE COLLECT
5.66/5.78 c GLOBAL bounds - >= 2061935241984 @ 4.25173
6.07/6.13 c GLOBAL bounds - >= 2062082886912 @ 4.56576
6.07/6.14 c GLOBAL bounds - >= 2062082886912 @ 4.57627
6.07/6.17 c GLOBAL bounds - >= 2062082886912 @ 4.58952
6.07/6.17 c GLOBAL bounds - >= 2062082886912 @ 4.5911
6.07/6.19 c GLOBAL bounds - >= 2062082886912 @ 4.6027
6.07/6.19 c GLOBAL bounds - >= 2062082886912 @ 4.6033
6.15/6.22 c GLOBAL bounds - >= 2062082886912 @ 4.61391
6.15/6.22 c GLOBAL bounds - >= 2062082886912 @ 4.61427
6.15/6.24 c GLOBAL bounds - >= 2062082886912 @ 4.62492
6.15/6.24 c GLOBAL bounds - >= 2062082886912 @ 4.62532
6.15/6.26 c GLOBAL bounds - >= 2062082886912 @ 4.63474
6.15/6.27 c GLOBAL bounds - >= 2062082886912 @ 4.63521
6.15/6.29 c GLOBAL bounds - >= 2062082886912 @ 4.64591
6.15/6.29 c GLOBAL bounds - >= 2062082886912 @ 4.64735
6.26/6.31 c GLOBAL bounds - >= 2062082886912 @ 4.65796
6.26/6.31 c GLOBAL bounds - >= 2062082886912 @ 4.65929
6.26/6.34 c GLOBAL bounds - >= 2062082886912 @ 4.67068
6.26/6.34 c GLOBAL bounds - >= 2062082886912 @ 4.6721
6.26/6.36 c GLOBAL bounds - >= 2062082886912 @ 4.68257
6.26/6.37 c GLOBAL bounds - >= 2062082886912 @ 4.68307
6.26/6.39 c GLOBAL bounds - >= 2062082886912 @ 4.69497
6.36/6.41 c GLOBAL bounds - >= 2062082886912 @ 4.70694
10.84/11.00 c #Conflicts: 3000 | #Constraints: 3460
10.84/11.00 c #Conflicts: 4000 | #Constraints: 4460
10.84/11.00 c INPROCESSING
10.84/11.00 c GARBAGE COLLECT
10.84/11.00 c #Conflicts: 5000 | #Constraints: 3859
10.84/11.00 c #Conflicts: 6000 | #Constraints: 4859
10.84/11.00 c INPROCESSING
10.84/11.00 c GARBAGE COLLECT
10.84/11.00 c GLOBAL bounds - >= 2141515858176 @ 9.08414
10.95/11.01 c GLOBAL bounds - >= 2141515858176 @ 9.09956
10.95/11.01 c GLOBAL bounds - >= 2141515858176 @ 9.10104
10.95/11.05 c GLOBAL bounds - >= 2141515858176 @ 9.11818
10.95/11.05 c GLOBAL bounds - >= 2141515858176 @ 9.12021
10.95/11.07 c GLOBAL bounds - >= 2141515858176 @ 9.13002
10.95/11.08 c GLOBAL bounds - >= 2141515858176 @ 9.13137
10.95/11.10 c GLOBAL bounds - >= 2141515858176 @ 9.14488
10.95/11.10 c GLOBAL bounds - >= 2141515858176 @ 9.14583
11.06/11.13 c GLOBAL bounds - >= 2141515858176 @ 9.15767
11.06/11.13 c GLOBAL bounds - >= 2141515858176 @ 9.15829
11.06/11.16 c GLOBAL bounds - >= 2141515858176 @ 9.16893
11.06/11.16 c GLOBAL bounds - >= 2141515858176 @ 9.17026
11.06/11.19 c GLOBAL bounds - >= 2141515858176 @ 9.18485
11.06/11.19 c GLOBAL bounds - >= 2141515858176 @ 9.18618
11.14/11.21 c GLOBAL bounds - >= 2141515858176 @ 9.19827
11.14/11.22 c GLOBAL bounds - >= 2141515858176 @ 9.19943
11.14/11.24 c GLOBAL bounds - >= 2141515858176 @ 9.21114
11.14/11.24 c GLOBAL bounds - >= 2141515858176 @ 9.21209
11.14/11.26 c GLOBAL bounds - >= 2141515858176 @ 9.21962
11.14/11.27 c GLOBAL bounds - >= 2141515858176 @ 9.2203
11.14/11.29 c GLOBAL bounds - >= 2141515858176 @ 9.23074
11.24/11.31 c GLOBAL bounds - >= 2141515858176 @ 9.24198
11.24/11.34 c GLOBAL bounds - >= 2141515858176 @ 9.25491
11.24/11.36 c GLOBAL bounds - >= 2141515858176 @ 9.26442
11.24/11.38 c GLOBAL bounds - >= 2141515858176 @ 9.27439
12.44/12.50 c #Conflicts: 7000 | #Constraints: 3920
12.44/12.50 c #Conflicts: 8000 | #Constraints: 4920
12.44/12.50 c GLOBAL bounds - >= 2141515858176 @ 10.3523
15.13/15.29 c #Conflicts: 9000 | #Constraints: 5920
15.13/15.29 c INPROCESSING
15.13/15.29 c GARBAGE COLLECT
15.13/15.29 c #Conflicts: 10000 | #Constraints: 4604
15.13/15.29 c GLOBAL bounds - >= 2141515858176 @ 13.051
15.23/15.31 c GLOBAL bounds - >= 2141515858176 @ 13.0609
15.23/15.33 c GLOBAL bounds - >= 2141515858176 @ 13.0741
15.23/15.35 c GLOBAL bounds - >= 2141515858176 @ 13.0862
15.23/15.38 c GLOBAL bounds - >= 2141515858176 @ 13.0991
15.33/15.41 c GLOBAL bounds - >= 2141515858176 @ 13.1167
16.04/16.16 c #Conflicts: 11000 | #Constraints: 5616
16.04/16.16 c GLOBAL bounds - >= 2141515858176 @ 13.832
23.20/23.36 c #Conflicts: 12000 | #Constraints: 6619
23.20/23.36 c INPROCESSING
23.20/23.36 c GARBAGE COLLECT
23.20/23.36 c #Conflicts: 13000 | #Constraints: 5069
23.20/23.36 c #Conflicts: 14000 | #Constraints: 6069
23.20/23.36 c #Conflicts: 15000 | #Constraints: 7069
23.20/23.36 c INPROCESSING
23.20/23.36 c GARBAGE COLLECT
23.20/23.36 c #Conflicts: 16000 | #Constraints: 5294
23.20/23.36 c #Conflicts: 17000 | #Constraints: 6294
23.20/23.36 c GLOBAL bounds - >= 2220838095744 @ 20.7467
23.20/23.37 c GLOBAL bounds - >= 2220838095744 @ 20.7618
23.20/23.37 c GLOBAL bounds - >= 2220838095744 @ 20.763
23.20/23.37 c GLOBAL bounds - >= 2220838095744 @ 20.7639
23.20/23.38 c GLOBAL bounds - >= 2220838095744 @ 20.7649
23.20/23.38 c GLOBAL bounds - >= 2220838095744 @ 20.7657
23.30/23.41 c GLOBAL bounds - >= 2220838095744 @ 20.785
23.30/23.41 c GLOBAL bounds - >= 2220838095744 @ 20.7859
23.30/23.44 c GLOBAL bounds - >= 2220838095744 @ 20.8067
23.30/23.45 c GLOBAL bounds - >= 2220838095744 @ 20.8079
23.30/23.48 c GLOBAL bounds - >= 2220838095744 @ 20.8251
23.30/23.48 c GLOBAL bounds - >= 2220838095744 @ 20.8271
23.40/23.51 c GLOBAL bounds - >= 2220838095744 @ 20.8514
23.40/23.51 c GLOBAL bounds - >= 2220838095744 @ 20.8536
23.40/23.55 c GLOBAL bounds - >= 2220838095744 @ 20.8756
23.40/23.55 c GLOBAL bounds - >= 2220838095744 @ 20.8769
23.40/23.58 c GLOBAL bounds - >= 2220838095744 @ 20.8909
23.40/23.58 c GLOBAL bounds - >= 2220838095744 @ 20.893
23.50/23.62 c GLOBAL bounds - >= 2220838095744 @ 20.9102
23.50/23.62 c GLOBAL bounds - >= 2220838095744 @ 20.9115
23.50/23.65 c GLOBAL bounds - >= 2220838095744 @ 20.9325
23.50/23.65 c GLOBAL bounds - >= 2220838095744 @ 20.9347
23.50/23.68 c GLOBAL bounds - >= 2220838095744 @ 20.9568
23.50/23.69 c GLOBAL bounds - >= 2220838095744 @ 20.958
23.59/23.72 c GLOBAL bounds - >= 2220838095744 @ 20.9723
25.10/25.23 c #Conflicts: 18000 | #Constraints: 7337
25.10/25.23 c INPROCESSING
25.10/25.23 c GARBAGE COLLECT
25.10/25.23 c GLOBAL bounds - >= 2221151841216 @ 22.4199
25.10/25.25 c GLOBAL bounds - >= 2221151841216 @ 22.4359
25.10/25.28 c GLOBAL bounds - >= 2221151841216 @ 22.446
25.10/25.28 c GLOBAL bounds - >= 2221151841216 @ 22.4482
25.20/25.30 c GLOBAL bounds - >= 2221151841216 @ 22.4636
25.20/25.31 c GLOBAL bounds - >= 2221151841216 @ 22.4659
25.20/25.33 c GLOBAL bounds - >= 2221151841216 @ 22.4774
25.20/25.34 c GLOBAL bounds - >= 2221151841216 @ 22.4786
25.20/25.36 c GLOBAL bounds - >= 2221151841216 @ 22.4888
25.20/25.36 c GLOBAL bounds - >= 2221151841216 @ 22.49
25.20/25.39 c GLOBAL bounds - >= 2221151841216 @ 22.5001
25.20/25.39 c GLOBAL bounds - >= 2221151841216 @ 22.5012
25.29/25.42 c GLOBAL bounds - >= 2221151841216 @ 22.5147
25.29/25.42 c GLOBAL bounds - >= 2221151841216 @ 22.515
25.29/25.45 c GLOBAL bounds - >= 2221151841216 @ 22.5352
25.29/25.45 c GLOBAL bounds - >= 2221151841216 @ 22.5366
25.29/25.48 c GLOBAL bounds - >= 2221151841216 @ 22.5493
25.29/25.48 c GLOBAL bounds - >= 2221151841216 @ 22.5506
25.40/25.51 c GLOBAL bounds - >= 2221151841216 @ 22.5624
25.40/25.51 c GLOBAL bounds - >= 2221151841216 @ 22.5636
25.40/25.53 c GLOBAL bounds - >= 2221151841216 @ 22.5785
26.00/26.12 c #Conflicts: 19000 | #Constraints: 5379
26.00/26.12 c GLOBAL bounds - >= 2221336397376 @ 23.126
26.00/26.13 c GLOBAL bounds - >= 2221336397376 @ 23.1388
26.00/26.16 c GLOBAL bounds - >= 2221336397376 @ 23.15
26.00/26.16 c GLOBAL bounds - >= 2221336397376 @ 23.1512
26.00/26.19 c GLOBAL bounds - >= 2221336397376 @ 23.1667
26.00/26.19 c GLOBAL bounds - >= 2221336397376 @ 23.1688
26.09/26.22 c GLOBAL bounds - >= 2221336397376 @ 23.1788
26.09/26.22 c GLOBAL bounds - >= 2221336397376 @ 23.1799
26.09/26.24 c GLOBAL bounds - >= 2221336397376 @ 23.1899
26.09/26.25 c GLOBAL bounds - >= 2221336397376 @ 23.1906
26.09/26.27 c GLOBAL bounds - >= 2221336397376 @ 23.201
26.09/26.27 c GLOBAL bounds - >= 2221336397376 @ 23.2026
26.19/26.30 c GLOBAL bounds - >= 2221336397376 @ 23.2122
26.19/26.30 c GLOBAL bounds - >= 2221336397376 @ 23.2126
26.19/26.32 c GLOBAL bounds - >= 2221336397376 @ 23.2263
26.19/26.32 c GLOBAL bounds - >= 2221336397376 @ 23.2285
26.19/26.35 c GLOBAL bounds - >= 2221336397376 @ 23.2403
26.19/26.35 c GLOBAL bounds - >= 2221336397376 @ 23.2424
26.19/26.37 c GLOBAL bounds - >= 2221336397376 @ 23.2523
26.19/26.38 c GLOBAL bounds - >= 2221336397376 @ 23.2535
26.29/26.40 c GLOBAL bounds - >= 2221336397376 @ 23.2644
99.25/99.67 c #Conflicts: 20000 | #Constraints: 6412
99.25/99.67 c #Conflicts: 21000 | #Constraints: 7412
99.25/99.67 c INPROCESSING
99.25/99.67 c GARBAGE COLLECT
99.25/99.67 c #Conflicts: 22000 | #Constraints: 5212
99.25/99.67 c #Conflicts: 23000 | #Constraints: 6212
99.25/99.67 c #Conflicts: 24000 | #Constraints: 7212
99.25/99.67 c #Conflicts: 25000 | #Constraints: 8212
99.25/99.67 c INPROCESSING
99.25/99.67 c GARBAGE COLLECT
99.25/99.67 c #Conflicts: 26000 | #Constraints: 5821
99.25/99.67 c #Conflicts: 27000 | #Constraints: 6821
99.25/99.67 c #Conflicts: 28000 | #Constraints: 7821
99.25/99.67 c #Conflicts: 29000 | #Constraints: 8821
99.25/99.67 c INPROCESSING
99.25/99.67 c GARBAGE COLLECT
99.25/99.67 c #Conflicts: 30000 | #Constraints: 6224
99.25/99.67 c #Conflicts: 31000 | #Constraints: 7224
99.25/99.67 c #Conflicts: 32000 | #Constraints: 8224
99.25/99.67 c #Conflicts: 33000 | #Constraints: 9224
99.25/99.67 c INPROCESSING
99.25/99.67 c GARBAGE COLLECT
99.25/99.67 c #Conflicts: 34000 | #Constraints: 6420
99.25/99.67 c #Conflicts: 35000 | #Constraints: 7420
99.25/99.67 c #Conflicts: 36000 | #Constraints: 8420
99.25/99.67 c #Conflicts: 37000 | #Constraints: 9420
99.25/99.67 c INPROCESSING
99.25/99.67 c GARBAGE COLLECT
99.25/99.67 c #Conflicts: 38000 | #Constraints: 6420
99.25/99.67 c #Conflicts: 39000 | #Constraints: 7420
99.25/99.67 c #Conflicts: 40000 | #Constraints: 8420
99.25/99.67 c #Conflicts: 41000 | #Constraints: 9420
99.25/99.67 c INPROCESSING
99.25/99.67 c GARBAGE COLLECT
99.25/99.67 c #Conflicts: 42000 | #Constraints: 6216
99.25/99.67 c #Conflicts: 43000 | #Constraints: 7216
99.25/99.67 c #Conflicts: 44000 | #Constraints: 8216
99.25/99.67 c #Conflicts: 45000 | #Constraints: 9216
99.25/99.67 c #Conflicts: 46000 | #Constraints: 10216
99.25/99.67 c INPROCESSING
99.25/99.67 c GARBAGE COLLECT
99.25/99.67 c #Conflicts: 47000 | #Constraints: 6815
99.25/99.67 c #Conflicts: 48000 | #Constraints: 7815
99.25/99.67 c #Conflicts: 49000 | #Constraints: 8815
99.25/99.67 c #Conflicts: 50000 | #Constraints: 9815
99.25/99.67 c #Conflicts: 51000 | #Constraints: 10815
99.25/99.67 c INPROCESSING
99.25/99.67 c GARBAGE COLLECT
99.25/99.67 c #Conflicts: 52000 | #Constraints: 7222
99.25/99.67 c #Conflicts: 53000 | #Constraints: 8222
99.25/99.67 c #Conflicts: 54000 | #Constraints: 9222
99.25/99.67 c #Conflicts: 55000 | #Constraints: 10222
99.25/99.67 c #Conflicts: 56000 | #Constraints: 11222
99.25/99.67 c INPROCESSING
99.25/99.67 c GARBAGE COLLECT
99.25/99.67 c #Conflicts: 57000 | #Constraints: 7426
99.25/99.67 c #Conflicts: 58000 | #Constraints: 8426
99.25/99.67 c #Conflicts: 59000 | #Constraints: 9426
99.25/99.67 c #Conflicts: 60000 | #Constraints: 10426
99.25/99.67 c #Conflicts: 61000 | #Constraints: 11426
99.25/99.67 c INPROCESSING
99.25/99.67 c GARBAGE COLLECT
99.25/99.67 c #Conflicts: 62000 | #Constraints: 7429
99.25/99.67 c #Conflicts: 63000 | #Constraints: 8429
99.25/99.67 c #Conflicts: 64000 | #Constraints: 9429
99.25/99.67 c #Conflicts: 65000 | #Constraints: 10429
99.25/99.67 c #Conflicts: 66000 | #Constraints: 11429
99.25/99.67 c INPROCESSING
99.25/99.67 c GARBAGE COLLECT
99.25/99.67 c #Conflicts: 67000 | #Constraints: 7225
99.25/99.67 c #Conflicts: 68000 | #Constraints: 8225
99.25/99.67 c #Conflicts: 69000 | #Constraints: 9225
99.25/99.67 c #Conflicts: 70000 | #Constraints: 10225
99.25/99.67 c #Conflicts: 71000 | #Constraints: 11225
99.25/99.67 c #Conflicts: 72000 | #Constraints: 12225
99.25/99.67 c INPROCESSING
99.25/99.67 c GARBAGE COLLECT
99.25/99.67 c #Conflicts: 73000 | #Constraints: 7821
99.25/99.67 c #Conflicts: 74000 | #Constraints: 8821
99.25/99.67 c #Conflicts: 75000 | #Constraints: 9821
99.25/99.67 c #Conflicts: 76000 | #Constraints: 10821
99.25/99.67 c #Conflicts: 77000 | #Constraints: 11821
99.25/99.67 c #Conflicts: 78000 | #Constraints: 12821
99.25/99.67 c INPROCESSING
99.25/99.67 c GARBAGE COLLECT
99.25/99.67 c #Conflicts: 79000 | #Constraints: 8226
99.25/99.67 c #Conflicts: 80000 | #Constraints: 9226
99.25/99.67 c #Conflicts: 81000 | #Constraints: 10226
99.25/99.67 c #Conflicts: 82000 | #Constraints: 11226
99.25/99.67 c #Conflicts: 83000 | #Constraints: 12226
99.25/99.67 c #Conflicts: 84000 | #Constraints: 13226
99.25/99.67 c INPROCESSING
99.25/99.67 c GARBAGE COLLECT
99.25/99.67 c #Conflicts: 85000 | #Constraints: 8416
99.25/99.67 c #Conflicts: 86000 | #Constraints: 9416
99.25/99.67 c #Conflicts: 87000 | #Constraints: 10416
99.25/99.67 c #Conflicts: 88000 | #Constraints: 11416
99.25/99.67 c #Conflicts: 89000 | #Constraints: 12416
100.95/101.38 c #Conflicts: 90000 | #Constraints: 13416
100.95/101.38 c GLOBAL bounds - >= 2380054694976 @ 96.2498
101.05/101.41 c GLOBAL bounds - >= 2380054694976 @ 96.2755
101.05/101.43 c GLOBAL bounds - >= 2380054694976 @ 96.2852
101.05/101.43 c GLOBAL bounds - >= 2380054694976 @ 96.2856
101.05/101.46 c GLOBAL bounds - >= 2380054694976 @ 96.3003
101.05/101.46 c GLOBAL bounds - >= 2380054694976 @ 96.3017
101.05/101.49 c GLOBAL bounds - >= 2380054694976 @ 96.3163
101.05/101.49 c GLOBAL bounds - >= 2380054694976 @ 96.3178
101.15/101.52 c GLOBAL bounds - >= 2380054694976 @ 96.3306
101.15/101.52 c GLOBAL bounds - >= 2380054694976 @ 96.332
101.15/101.55 c GLOBAL bounds - >= 2380054694976 @ 96.3468
101.15/101.55 c GLOBAL bounds - >= 2380054694976 @ 96.3493
101.15/101.58 c GLOBAL bounds - >= 2380054694976 @ 96.36
101.15/101.58 c GLOBAL bounds - >= 2380054694976 @ 96.3615
101.25/101.61 c GLOBAL bounds - >= 2380054694976 @ 96.3782
101.25/101.61 c GLOBAL bounds - >= 2380054694976 @ 96.3807
101.25/101.64 c GLOBAL bounds - >= 2380054694976 @ 96.3935
101.25/101.64 c GLOBAL bounds - >= 2380054694976 @ 96.3949
101.25/101.67 c GLOBAL bounds - >= 2380054694976 @ 96.408
101.25/101.67 c GLOBAL bounds - >= 2380054694976 @ 96.4096
101.34/101.70 c GLOBAL bounds - >= 2380054694976 @ 96.4245
189.77/190.44 c INPROCESSING
189.77/190.44 c GARBAGE COLLECT
189.77/190.44 c #Conflicts: 91000 | #Constraints: 8439
189.77/190.44 c #Conflicts: 92000 | #Constraints: 9439
189.77/190.44 c #Conflicts: 93000 | #Constraints: 10439
189.77/190.44 c #Conflicts: 94000 | #Constraints: 11439
189.77/190.44 c #Conflicts: 95000 | #Constraints: 12439
189.77/190.44 c #Conflicts: 96000 | #Constraints: 13439
189.77/190.44 c INPROCESSING
189.77/190.44 c GARBAGE COLLECT
189.77/190.44 c #Conflicts: 97000 | #Constraints: 8249
189.77/190.44 c #Conflicts: 98000 | #Constraints: 9249
189.77/190.44 c #Conflicts: 99000 | #Constraints: 10249
189.77/190.44 c #Conflicts: 100000 | #Constraints: 11249
189.77/190.44 c #Conflicts: 101000 | #Constraints: 12249
189.77/190.44 c #Conflicts: 102000 | #Constraints: 13249
189.77/190.44 c #Conflicts: 103000 | #Constraints: 14249
189.77/190.44 c INPROCESSING
189.77/190.44 c GARBAGE COLLECT
189.77/190.44 c #Conflicts: 104000 | #Constraints: 8848
189.77/190.44 c #Conflicts: 105000 | #Constraints: 9848
189.77/190.44 c #Conflicts: 106000 | #Constraints: 10848
189.77/190.44 c #Conflicts: 107000 | #Constraints: 11848
189.77/190.44 c #Conflicts: 108000 | #Constraints: 12848
189.77/190.44 c #Conflicts: 109000 | #Constraints: 13848
189.77/190.44 c #Conflicts: 110000 | #Constraints: 14848
189.77/190.44 c INPROCESSING
189.77/190.44 c GARBAGE COLLECT
189.77/190.44 c #Conflicts: 111000 | #Constraints: 9248
189.77/190.44 c #Conflicts: 112000 | #Constraints: 10248
189.77/190.44 c #Conflicts: 113000 | #Constraints: 11248
189.77/190.44 c #Conflicts: 114000 | #Constraints: 12248
189.77/190.44 c #Conflicts: 115000 | #Constraints: 13248
189.77/190.44 c #Conflicts: 116000 | #Constraints: 14248
189.77/190.44 c #Conflicts: 117000 | #Constraints: 15248
189.77/190.44 c INPROCESSING
189.77/190.44 c GARBAGE COLLECT
189.77/190.44 c #Conflicts: 118000 | #Constraints: 9444
189.77/190.44 c #Conflicts: 119000 | #Constraints: 10444
189.77/190.44 c #Conflicts: 120000 | #Constraints: 11444
189.77/190.44 c #Conflicts: 121000 | #Constraints: 12444
189.77/190.44 c #Conflicts: 122000 | #Constraints: 13444
189.77/190.44 c #Conflicts: 123000 | #Constraints: 14444
189.77/190.44 c #Conflicts: 124000 | #Constraints: 15444
189.77/190.44 c INPROCESSING
189.77/190.44 c GARBAGE COLLECT
189.77/190.44 c #Conflicts: 125000 | #Constraints: 9446
189.77/190.44 c #Conflicts: 126000 | #Constraints: 10446
189.77/190.44 c #Conflicts: 127000 | #Constraints: 11446
189.77/190.44 c #Conflicts: 128000 | #Constraints: 12446
189.77/190.44 c #Conflicts: 129000 | #Constraints: 13446
189.77/190.44 c #Conflicts: 130000 | #Constraints: 14446
189.77/190.44 c #Conflicts: 131000 | #Constraints: 15446
189.77/190.44 c INPROCESSING
189.77/190.44 c GARBAGE COLLECT
189.77/190.44 c #Conflicts: 132000 | #Constraints: 9240
189.77/190.44 c #Conflicts: 133000 | #Constraints: 10240
189.77/190.44 c #Conflicts: 134000 | #Constraints: 11240
189.77/190.44 c #Conflicts: 135000 | #Constraints: 12240
189.77/190.44 c #Conflicts: 136000 | #Constraints: 13240
189.77/190.44 c #Conflicts: 137000 | #Constraints: 14240
189.77/190.44 c #Conflicts: 138000 | #Constraints: 15240
189.77/190.44 c #Conflicts: 139000 | #Constraints: 16240
189.77/190.44 c INPROCESSING
189.77/190.44 c GARBAGE COLLECT
189.77/190.44 c #Conflicts: 140000 | #Constraints: 9843
189.77/190.44 c #Conflicts: 141000 | #Constraints: 10843
189.77/190.44 c #Conflicts: 142000 | #Constraints: 11843
189.77/190.44 c #Conflicts: 143000 | #Constraints: 12843
189.77/190.44 c #Conflicts: 144000 | #Constraints: 13843
189.77/190.44 c #Conflicts: 145000 | #Constraints: 14843
189.77/190.44 c #Conflicts: 146000 | #Constraints: 15843
189.77/190.44 c #Conflicts: 147000 | #Constraints: 16843
189.77/190.44 c INPROCESSING
189.77/190.44 c GARBAGE COLLECT
189.77/190.44 c #Conflicts: 148000 | #Constraints: 10248
189.77/190.44 c #Conflicts: 149000 | #Constraints: 11248
189.77/190.44 c #Conflicts: 150000 | #Constraints: 12248
189.77/190.44 c #Conflicts: 151000 | #Constraints: 13248
189.77/190.44 c #Conflicts: 152000 | #Constraints: 14248
189.77/190.44 c #Conflicts: 153000 | #Constraints: 15248
189.77/190.44 c #Conflicts: 154000 | #Constraints: 16248
189.77/190.44 c #Conflicts: 155000 | #Constraints: 17248
189.77/190.44 c INPROCESSING
189.77/190.44 c GARBAGE COLLECT
189.77/190.44 c #Conflicts: 156000 | #Constraints: 10443
189.77/190.44 c #Conflicts: 157000 | #Constraints: 11443
189.77/190.44 c #Conflicts: 158000 | #Constraints: 12443
189.77/190.44 c #Conflicts: 159000 | #Constraints: 13443
189.77/190.44 c #Conflicts: 160000 | #Constraints: 14443
189.77/190.44 c #Conflicts: 161000 | #Constraints: 15443
189.77/190.44 c #Conflicts: 162000 | #Constraints: 16443
189.77/190.44 c #Conflicts: 163000 | #Constraints: 17443
220.29/221.03 c INPROCESSING
220.29/221.03 c GARBAGE COLLECT
220.29/221.03 c #Conflicts: 164000 | #Constraints: 10445
220.29/221.03 c #Conflicts: 165000 | #Constraints: 11445
220.29/221.03 c #Conflicts: 166000 | #Constraints: 12445
220.29/221.03 c #Conflicts: 167000 | #Constraints: 13445
220.29/221.03 c #Conflicts: 168000 | #Constraints: 14445
220.29/221.03 c #Conflicts: 169000 | #Constraints: 15445
220.29/221.03 c #Conflicts: 170000 | #Constraints: 16445
220.29/221.03 c #Conflicts: 171000 | #Constraints: 17445
220.29/221.03 c INPROCESSING
220.29/221.03 c GARBAGE COLLECT
220.29/221.03 c #Conflicts: 172000 | #Constraints: 10242
220.29/221.03 c #Conflicts: 173000 | #Constraints: 11242
220.29/221.03 c #Conflicts: 174000 | #Constraints: 12242
220.29/221.03 c #Conflicts: 175000 | #Constraints: 13242
220.29/221.03 c #Conflicts: 176000 | #Constraints: 14242
220.29/221.03 c #Conflicts: 177000 | #Constraints: 15242
220.29/221.03 c #Conflicts: 178000 | #Constraints: 16242
220.29/221.03 c #Conflicts: 179000 | #Constraints: 17242
220.29/221.03 c #Conflicts: 180000 | #Constraints: 18242
220.29/221.03 c INPROCESSING
220.29/221.03 c GARBAGE COLLECT
220.29/221.03 c #Conflicts: 181000 | #Constraints: 10845
220.29/221.03 c #Conflicts: 182000 | #Constraints: 11845
220.29/221.03 c #Conflicts: 183000 | #Constraints: 12845
220.29/221.03 c #Conflicts: 184000 | #Constraints: 13845
220.29/221.03 c GLOBAL bounds - >= 2380239251136 @ 213.11
220.29/221.04 c GLOBAL bounds - >= 2380239251136 @ 213.121
220.29/221.07 c GLOBAL bounds - >= 2380239251136 @ 213.134
220.29/221.07 c GLOBAL bounds - >= 2380239251136 @ 213.136
220.29/221.10 c GLOBAL bounds - >= 2380239251136 @ 213.149
220.29/221.10 c GLOBAL bounds - >= 2380239251136 @ 213.15
220.39/221.13 c GLOBAL bounds - >= 2380239251136 @ 213.165
220.39/221.13 c GLOBAL bounds - >= 2380239251136 @ 213.167
220.39/221.15 c GLOBAL bounds - >= 2380239251136 @ 213.176
220.39/221.16 c GLOBAL bounds - >= 2380239251136 @ 213.179
220.39/221.18 c GLOBAL bounds - >= 2380239251136 @ 213.191
220.39/221.18 c GLOBAL bounds - >= 2380239251136 @ 213.193
220.47/221.21 c GLOBAL bounds - >= 2380239251136 @ 213.205
220.47/221.21 c GLOBAL bounds - >= 2380239251136 @ 213.206
220.47/221.24 c GLOBAL bounds - >= 2380239251136 @ 213.22
220.47/221.24 c GLOBAL bounds - >= 2380239251136 @ 213.22
220.47/221.26 c GLOBAL bounds - >= 2380239251136 @ 213.23
220.47/221.27 c GLOBAL bounds - >= 2380239251136 @ 213.232
220.47/221.29 c GLOBAL bounds - >= 2380239251136 @ 213.245
220.57/221.30 c GLOBAL bounds - >= 2380239251136 @ 213.247
220.57/221.32 c GLOBAL bounds - >= 2380239251136 @ 213.26
299.22/300.23 c #Conflicts: 185000 | #Constraints: 14874
299.22/300.23 c #Conflicts: 186000 | #Constraints: 15874
299.22/300.23 c #Conflicts: 187000 | #Constraints: 16874
299.22/300.23 c #Conflicts: 188000 | #Constraints: 17874
299.22/300.23 c #Conflicts: 189000 | #Constraints: 18874
299.22/300.23 c INPROCESSING
299.22/300.23 c GARBAGE COLLECT
299.22/300.23 c #Conflicts: 190000 | #Constraints: 11281
299.22/300.23 c #Conflicts: 191000 | #Constraints: 12281
299.22/300.23 c #Conflicts: 192000 | #Constraints: 13281
299.22/300.23 c #Conflicts: 193000 | #Constraints: 14281
299.22/300.23 c #Conflicts: 194000 | #Constraints: 15281
299.22/300.23 c #Conflicts: 195000 | #Constraints: 16281
299.22/300.23 c #Conflicts: 196000 | #Constraints: 17281
299.22/300.23 c #Conflicts: 197000 | #Constraints: 18281
299.22/300.23 c #Conflicts: 198000 | #Constraints: 19281
299.22/300.23 c INPROCESSING
299.22/300.23 c GARBAGE COLLECT
299.22/300.23 c #Conflicts: 199000 | #Constraints: 11480
299.22/300.23 c #Conflicts: 200000 | #Constraints: 12480
299.22/300.23 c #Conflicts: 201000 | #Constraints: 13480
299.22/300.23 c #Conflicts: 202000 | #Constraints: 14480
299.22/300.23 c #Conflicts: 203000 | #Constraints: 15480
299.22/300.23 c #Conflicts: 204000 | #Constraints: 16480
299.22/300.23 c #Conflicts: 205000 | #Constraints: 17480
299.22/300.23 c #Conflicts: 206000 | #Constraints: 18480
299.22/300.23 c #Conflicts: 207000 | #Constraints: 19480
299.22/300.23 c INPROCESSING
299.22/300.23 c GARBAGE COLLECT
299.22/300.23 c #Conflicts: 208000 | #Constraints: 11477
299.22/300.23 c #Conflicts: 209000 | #Constraints: 12477
299.22/300.23 c #Conflicts: 210000 | #Constraints: 13477
299.22/300.23 c #Conflicts: 211000 | #Constraints: 14477
299.22/300.23 c #Conflicts: 212000 | #Constraints: 15477
299.22/300.23 c #Conflicts: 213000 | #Constraints: 16477
299.22/300.23 c #Conflicts: 214000 | #Constraints: 17477
299.22/300.23 c #Conflicts: 215000 | #Constraints: 18477
299.22/300.23 c #Conflicts: 216000 | #Constraints: 19477
299.22/300.23 c INPROCESSING
299.22/300.23 c GARBAGE COLLECT
299.22/300.23 c #Conflicts: 217000 | #Constraints: 11279
299.22/300.23 c #Conflicts: 218000 | #Constraints: 12279
299.22/300.23 c #Conflicts: 219000 | #Constraints: 13279
299.22/300.23 c #Conflicts: 220000 | #Constraints: 14279
299.22/300.23 c #Conflicts: 221000 | #Constraints: 15279
299.22/300.23 c #Conflicts: 222000 | #Constraints: 16279
299.22/300.23 c #Conflicts: 223000 | #Constraints: 17279
299.22/300.23 c #Conflicts: 224000 | #Constraints: 18279
299.22/300.23 c #Conflicts: 225000 | #Constraints: 19279
299.22/300.23 c #Conflicts: 226000 | #Constraints: 20279
299.22/300.23 c INPROCESSING
299.22/300.23 c GARBAGE COLLECT
299.22/300.23 c #Conflicts: 227000 | #Constraints: 11876
299.22/300.23 c #Conflicts: 228000 | #Constraints: 12876
299.22/300.23 c #Conflicts: 229000 | #Constraints: 13876
299.22/300.23 c #Conflicts: 230000 | #Constraints: 14876
299.22/300.23 c #Conflicts: 231000 | #Constraints: 15876
299.22/300.23 c #Conflicts: 232000 | #Constraints: 16876
299.22/300.23 c #Conflicts: 233000 | #Constraints: 17876
299.22/300.23 c #Conflicts: 234000 | #Constraints: 18876
299.22/300.23 c GLOBAL bounds - >= 2380423807296 @ 290.75
299.22/300.24 c GLOBAL bounds - >= 2380423807296 @ 290.764
299.22/300.27 c GLOBAL bounds - >= 2380423807296 @ 290.78
299.22/300.27 c GLOBAL bounds - >= 2380423807296 @ 290.781
299.32/300.30 c GLOBAL bounds - >= 2380423807296 @ 290.799
299.32/300.30 c GLOBAL bounds - >= 2380423807296 @ 290.801
299.32/300.33 c GLOBAL bounds - >= 2380423807296 @ 290.816
299.32/300.34 c GLOBAL bounds - >= 2380423807296 @ 290.818
299.32/300.36 c GLOBAL bounds - >= 2380423807296 @ 290.835
299.32/300.37 c GLOBAL bounds - >= 2380423807296 @ 290.837
299.32/300.40 c GLOBAL bounds - >= 2380423807296 @ 290.854
299.42/300.40 c GLOBAL bounds - >= 2380423807296 @ 290.856
299.42/300.43 c GLOBAL bounds - >= 2380423807296 @ 290.868
299.42/300.43 c GLOBAL bounds - >= 2380423807296 @ 290.869
299.42/300.46 c GLOBAL bounds - >= 2380423807296 @ 290.89
299.42/300.46 c GLOBAL bounds - >= 2380423807296 @ 290.891
299.42/300.49 c GLOBAL bounds - >= 2380423807296 @ 290.905
299.42/300.49 c GLOBAL bounds - >= 2380423807296 @ 290.907
299.52/300.52 c GLOBAL bounds - >= 2380423807296 @ 290.925
299.52/300.52 c GLOBAL bounds - >= 2380423807296 @ 290.926
299.52/300.55 c GLOBAL bounds - >= 2380423807296 @ 290.937
405.82/407.15 c #Conflicts: 235000 | #Constraints: 19905
405.82/407.15 c #Conflicts: 236000 | #Constraints: 20905
405.82/407.15 c INPROCESSING
405.82/407.15 c GARBAGE COLLECT
405.82/407.15 c #Conflicts: 237000 | #Constraints: 12300
405.82/407.15 c #Conflicts: 238000 | #Constraints: 13300
405.82/407.15 c #Conflicts: 239000 | #Constraints: 14300
405.82/407.15 c #Conflicts: 240000 | #Constraints: 15300
405.82/407.15 c #Conflicts: 241000 | #Constraints: 16300
405.82/407.15 c #Conflicts: 242000 | #Constraints: 17300
405.82/407.15 c #Conflicts: 243000 | #Constraints: 18300
405.82/407.15 c #Conflicts: 244000 | #Constraints: 19300
405.82/407.15 c #Conflicts: 245000 | #Constraints: 20300
405.82/407.15 c #Conflicts: 246000 | #Constraints: 21300
405.82/407.15 c INPROCESSING
405.82/407.15 c GARBAGE COLLECT
405.82/407.15 c #Conflicts: 247000 | #Constraints: 12503
405.82/407.15 c #Conflicts: 248000 | #Constraints: 13503
405.82/407.15 c #Conflicts: 249000 | #Constraints: 14503
405.82/407.15 c #Conflicts: 250000 | #Constraints: 15503
405.82/407.15 c #Conflicts: 251000 | #Constraints: 16503
405.82/407.15 c #Conflicts: 252000 | #Constraints: 17503
405.82/407.15 c #Conflicts: 253000 | #Constraints: 18503
405.82/407.15 c #Conflicts: 254000 | #Constraints: 19503
405.82/407.15 c #Conflicts: 255000 | #Constraints: 20503
405.82/407.15 c #Conflicts: 256000 | #Constraints: 21503
405.82/407.15 c INPROCESSING
405.82/407.15 c GARBAGE COLLECT
405.82/407.15 c #Conflicts: 257000 | #Constraints: 12499
405.82/407.15 c #Conflicts: 258000 | #Constraints: 13499
405.82/407.15 c #Conflicts: 259000 | #Constraints: 14499
405.82/407.15 c #Conflicts: 260000 | #Constraints: 15499
405.82/407.15 c #Conflicts: 261000 | #Constraints: 16499
405.82/407.15 c #Conflicts: 262000 | #Constraints: 17499
405.82/407.15 c #Conflicts: 263000 | #Constraints: 18499
405.82/407.15 c #Conflicts: 264000 | #Constraints: 19499
405.82/407.15 c #Conflicts: 265000 | #Constraints: 20499
405.82/407.15 c #Conflicts: 266000 | #Constraints: 21499
405.82/407.15 c INPROCESSING
405.82/407.15 c GARBAGE COLLECT
405.82/407.15 c #Conflicts: 267000 | #Constraints: 12304
405.82/407.15 c #Conflicts: 268000 | #Constraints: 13304
405.82/407.15 c #Conflicts: 269000 | #Constraints: 14304
405.82/407.15 c #Conflicts: 270000 | #Constraints: 15304
405.82/407.15 c #Conflicts: 271000 | #Constraints: 16304
405.82/407.15 c #Conflicts: 272000 | #Constraints: 17304
405.82/407.15 c #Conflicts: 273000 | #Constraints: 18304
405.82/407.15 c #Conflicts: 274000 | #Constraints: 19304
405.82/407.15 c #Conflicts: 275000 | #Constraints: 20304
405.82/407.15 c #Conflicts: 276000 | #Constraints: 21304
405.82/407.15 c #Conflicts: 277000 | #Constraints: 22304
405.82/407.15 c INPROCESSING
405.82/407.15 c GARBAGE COLLECT
405.82/407.15 c #Conflicts: 278000 | #Constraints: 12902
405.82/407.15 c #Conflicts: 279000 | #Constraints: 13902
405.82/407.15 c #Conflicts: 280000 | #Constraints: 14902
405.82/407.15 c #Conflicts: 281000 | #Constraints: 15902
405.82/407.15 c #Conflicts: 282000 | #Constraints: 16902
405.82/407.15 c #Conflicts: 283000 | #Constraints: 17902
405.82/407.15 c #Conflicts: 284000 | #Constraints: 18902
405.82/407.15 c #Conflicts: 285000 | #Constraints: 19902
405.82/407.15 c #Conflicts: 286000 | #Constraints: 20902
405.82/407.15 c #Conflicts: 287000 | #Constraints: 21902
405.82/407.15 c #Conflicts: 288000 | #Constraints: 22902
405.82/407.15 c INPROCESSING
405.82/407.15 c GARBAGE COLLECT
405.82/407.15 c #Conflicts: 289000 | #Constraints: 13300
405.82/407.15 c #Conflicts: 290000 | #Constraints: 14300
405.82/407.15 c #Conflicts: 291000 | #Constraints: 15300
405.82/407.15 c #Conflicts: 292000 | #Constraints: 16300
405.82/407.15 c #Conflicts: 293000 | #Constraints: 17300
405.82/407.15 c #Conflicts: 294000 | #Constraints: 18300
405.82/407.15 c #Conflicts: 295000 | #Constraints: 19300
405.82/407.15 c #Conflicts: 296000 | #Constraints: 20300
405.82/407.15 c #Conflicts: 297000 | #Constraints: 21300
405.82/407.15 c #Conflicts: 298000 | #Constraints: 22300
405.82/407.15 c #Conflicts: 299000 | #Constraints: 23300
405.82/407.15 c INPROCESSING
405.82/407.15 c GARBAGE COLLECT
405.82/407.15 c #Conflicts: 300000 | #Constraints: 13505
405.82/407.15 c #Conflicts: 301000 | #Constraints: 14505
405.82/407.15 c #Conflicts: 302000 | #Constraints: 15505
405.82/407.15 c #Conflicts: 303000 | #Constraints: 16505
405.82/407.15 c #Conflicts: 304000 | #Constraints: 17505
405.82/407.15 c #Conflicts: 305000 | #Constraints: 18505
405.82/407.15 c #Conflicts: 306000 | #Constraints: 19505
405.82/407.15 c #Conflicts: 307000 | #Constraints: 20505
405.82/407.15 c #Conflicts: 308000 | #Constraints: 21505
405.82/407.15 c #Conflicts: 309000 | #Constraints: 22505
475.41/476.98 c #Conflicts: 310000 | #Constraints: 23505
475.41/476.98 c INPROCESSING
475.41/476.98 c GARBAGE COLLECT
475.41/476.98 c #Conflicts: 311000 | #Constraints: 13510
475.41/476.98 c #Conflicts: 312000 | #Constraints: 14510
475.41/476.98 c #Conflicts: 313000 | #Constraints: 15510
475.41/476.98 c #Conflicts: 314000 | #Constraints: 16510
475.41/476.98 c #Conflicts: 315000 | #Constraints: 17510
475.41/476.98 c #Conflicts: 316000 | #Constraints: 18510
475.41/476.98 c #Conflicts: 317000 | #Constraints: 19510
475.41/476.98 c #Conflicts: 318000 | #Constraints: 20510
475.41/476.98 c #Conflicts: 319000 | #Constraints: 21510
475.41/476.98 c #Conflicts: 320000 | #Constraints: 22510
475.41/476.98 c #Conflicts: 321000 | #Constraints: 23510
475.41/476.98 c INPROCESSING
475.41/476.98 c GARBAGE COLLECT
475.41/476.98 c #Conflicts: 322000 | #Constraints: 13304
475.41/476.98 c #Conflicts: 323000 | #Constraints: 14304
475.41/476.98 c #Conflicts: 324000 | #Constraints: 15304
475.41/476.98 c #Conflicts: 325000 | #Constraints: 16304
475.41/476.98 c #Conflicts: 326000 | #Constraints: 17304
475.41/476.98 c #Conflicts: 327000 | #Constraints: 18304
475.41/476.98 c #Conflicts: 328000 | #Constraints: 19304
475.41/476.98 c #Conflicts: 329000 | #Constraints: 20304
475.41/476.98 c #Conflicts: 330000 | #Constraints: 21304
475.41/476.98 c #Conflicts: 331000 | #Constraints: 22304
475.41/476.98 c #Conflicts: 332000 | #Constraints: 23304
475.41/476.98 c #Conflicts: 333000 | #Constraints: 24304
475.41/476.98 c INPROCESSING
475.41/476.98 c GARBAGE COLLECT
475.41/476.98 c #Conflicts: 334000 | #Constraints: 13901
475.41/476.98 c #Conflicts: 335000 | #Constraints: 14901
475.41/476.98 c #Conflicts: 336000 | #Constraints: 15901
475.41/476.98 c #Conflicts: 337000 | #Constraints: 16901
475.41/476.98 c #Conflicts: 338000 | #Constraints: 17901
475.41/476.98 c #Conflicts: 339000 | #Constraints: 18901
475.41/476.98 c #Conflicts: 340000 | #Constraints: 19901
475.41/476.98 c #Conflicts: 341000 | #Constraints: 20901
475.41/476.98 c #Conflicts: 342000 | #Constraints: 21901
475.41/476.98 c #Conflicts: 343000 | #Constraints: 22901
475.41/476.98 c #Conflicts: 344000 | #Constraints: 23901
475.41/476.98 c GLOBAL bounds - >= 2380608363456 @ 464.207
475.41/477.00 c GLOBAL bounds - >= 2380608363456 @ 464.225
475.53/477.03 c GLOBAL bounds - >= 2380608363456 @ 464.244
475.53/477.04 c GLOBAL bounds - >= 2380608363456 @ 464.245
475.53/477.07 c GLOBAL bounds - >= 2380608363456 @ 464.269
475.53/477.07 c GLOBAL bounds - >= 2380608363456 @ 464.27
475.53/477.10 c GLOBAL bounds - >= 2380608363456 @ 464.289
475.53/477.11 c GLOBAL bounds - >= 2380608363456 @ 464.29
475.62/477.14 c GLOBAL bounds - >= 2380608363456 @ 464.306
475.62/477.14 c GLOBAL bounds - >= 2380608363456 @ 464.308
475.62/477.17 c GLOBAL bounds - >= 2380608363456 @ 464.328
475.62/477.18 c GLOBAL bounds - >= 2380608363456 @ 464.331
475.71/477.21 c GLOBAL bounds - >= 2380608363456 @ 464.346
475.71/477.21 c GLOBAL bounds - >= 2380608363456 @ 464.347
475.71/477.24 c GLOBAL bounds - >= 2380608363456 @ 464.369
475.71/477.25 c GLOBAL bounds - >= 2380608363456 @ 464.372
475.71/477.28 c GLOBAL bounds - >= 2380608363456 @ 464.394
475.71/477.28 c GLOBAL bounds - >= 2380608363456 @ 464.396
475.81/477.31 c GLOBAL bounds - >= 2380608363456 @ 464.413
475.81/477.32 c GLOBAL bounds - >= 2380608363456 @ 464.415
475.81/477.35 c GLOBAL bounds - >= 2380608363456 @ 464.438
591.19/593.06 c #Conflicts: 345000 | #Constraints: 24930
591.19/593.06 c INPROCESSING
591.19/593.06 c GARBAGE COLLECT
591.19/593.06 c #Conflicts: 346000 | #Constraints: 14330
591.19/593.06 c #Conflicts: 347000 | #Constraints: 15330
591.19/593.06 c #Conflicts: 348000 | #Constraints: 16330
591.19/593.06 c #Conflicts: 349000 | #Constraints: 17330
591.19/593.06 c #Conflicts: 350000 | #Constraints: 18330
591.19/593.06 c #Conflicts: 351000 | #Constraints: 19330
591.19/593.06 c #Conflicts: 352000 | #Constraints: 20330
591.19/593.06 c #Conflicts: 353000 | #Constraints: 21330
591.19/593.06 c #Conflicts: 354000 | #Constraints: 22330
591.19/593.06 c #Conflicts: 355000 | #Constraints: 23330
591.19/593.06 c #Conflicts: 356000 | #Constraints: 24330
591.19/593.06 c #Conflicts: 357000 | #Constraints: 25330
591.19/593.06 c INPROCESSING
591.19/593.06 c GARBAGE COLLECT
591.19/593.06 c #Conflicts: 358000 | #Constraints: 14526
591.19/593.06 c #Conflicts: 359000 | #Constraints: 15526
591.19/593.06 c #Conflicts: 360000 | #Constraints: 16526
591.19/593.06 c #Conflicts: 361000 | #Constraints: 17526
591.19/593.06 c #Conflicts: 362000 | #Constraints: 18526
591.19/593.06 c #Conflicts: 363000 | #Constraints: 19526
591.19/593.06 c #Conflicts: 364000 | #Constraints: 20526
591.19/593.06 c #Conflicts: 365000 | #Constraints: 21526
591.19/593.06 c #Conflicts: 366000 | #Constraints: 22526
591.19/593.06 c #Conflicts: 367000 | #Constraints: 23526
591.19/593.06 c #Conflicts: 368000 | #Constraints: 24526
591.19/593.06 c #Conflicts: 369000 | #Constraints: 25526
591.19/593.06 c INPROCESSING
591.19/593.06 c GARBAGE COLLECT
591.19/593.06 c #Conflicts: 370000 | #Constraints: 14532
591.19/593.06 c #Conflicts: 371000 | #Constraints: 15532
591.19/593.06 c #Conflicts: 372000 | #Constraints: 16532
591.19/593.06 c #Conflicts: 373000 | #Constraints: 17532
591.19/593.06 c #Conflicts: 374000 | #Constraints: 18532
591.19/593.06 c #Conflicts: 375000 | #Constraints: 19532
591.19/593.06 c #Conflicts: 376000 | #Constraints: 20532
591.19/593.06 c #Conflicts: 377000 | #Constraints: 21532
591.19/593.06 c #Conflicts: 378000 | #Constraints: 22532
591.19/593.06 c #Conflicts: 379000 | #Constraints: 23532
591.19/593.06 c #Conflicts: 380000 | #Constraints: 24532
591.19/593.06 c #Conflicts: 381000 | #Constraints: 25532
591.19/593.06 c INPROCESSING
591.19/593.06 c GARBAGE COLLECT
591.19/593.06 c #Conflicts: 382000 | #Constraints: 14332
591.19/593.06 c #Conflicts: 383000 | #Constraints: 15332
591.19/593.06 c #Conflicts: 384000 | #Constraints: 16332
591.19/593.06 c #Conflicts: 385000 | #Constraints: 17332
591.19/593.06 c #Conflicts: 386000 | #Constraints: 18332
591.19/593.06 c #Conflicts: 387000 | #Constraints: 19332
591.19/593.06 c #Conflicts: 388000 | #Constraints: 20332
591.19/593.06 c #Conflicts: 389000 | #Constraints: 21332
591.19/593.06 c #Conflicts: 390000 | #Constraints: 22332
591.19/593.06 c #Conflicts: 391000 | #Constraints: 23332
591.19/593.06 c #Conflicts: 392000 | #Constraints: 24332
591.19/593.06 c #Conflicts: 393000 | #Constraints: 25332
591.19/593.06 c #Conflicts: 394000 | #Constraints: 26332
591.19/593.06 c INPROCESSING
591.19/593.06 c GARBAGE COLLECT
591.19/593.06 c #Conflicts: 395000 | #Constraints: 14927
591.19/593.06 c #Conflicts: 396000 | #Constraints: 15927
591.19/593.06 c #Conflicts: 397000 | #Constraints: 16927
591.19/593.06 c #Conflicts: 398000 | #Constraints: 17927
591.19/593.06 c #Conflicts: 399000 | #Constraints: 18927
591.19/593.06 c #Conflicts: 400000 | #Constraints: 19927
591.19/593.06 c #Conflicts: 401000 | #Constraints: 20927
591.19/593.06 c #Conflicts: 402000 | #Constraints: 21927
591.19/593.06 c #Conflicts: 403000 | #Constraints: 22927
591.19/593.06 c #Conflicts: 404000 | #Constraints: 23927
591.19/593.06 c #Conflicts: 405000 | #Constraints: 24927
591.19/593.06 c #Conflicts: 406000 | #Constraints: 25927
591.19/593.06 c #Conflicts: 407000 | #Constraints: 26927
591.19/593.06 c INPROCESSING
591.19/593.06 c GARBAGE COLLECT
591.19/593.06 c #Conflicts: 408000 | #Constraints: 15335
591.19/593.06 c #Conflicts: 409000 | #Constraints: 16335
591.19/593.06 c #Conflicts: 410000 | #Constraints: 17335
591.19/593.06 c #Conflicts: 411000 | #Constraints: 18335
591.19/593.06 c #Conflicts: 412000 | #Constraints: 19335
591.19/593.06 c #Conflicts: 413000 | #Constraints: 20335
591.19/593.06 c #Conflicts: 414000 | #Constraints: 21335
591.19/593.06 c #Conflicts: 415000 | #Constraints: 22335
591.19/593.06 c #Conflicts: 416000 | #Constraints: 23335
591.19/593.06 c #Conflicts: 417000 | #Constraints: 24335
591.19/593.06 c #Conflicts: 418000 | #Constraints: 25335
591.19/593.06 c #Conflicts: 419000 | #Constraints: 26335
687.62/689.79 c #Conflicts: 420000 | #Constraints: 27335
687.62/689.79 c INPROCESSING
687.62/689.79 c GARBAGE COLLECT
687.62/689.79 c #Conflicts: 421000 | #Constraints: 15536
687.62/689.79 c #Conflicts: 422000 | #Constraints: 16536
687.62/689.79 c #Conflicts: 423000 | #Constraints: 17536
687.62/689.79 c #Conflicts: 424000 | #Constraints: 18536
687.62/689.79 c #Conflicts: 425000 | #Constraints: 19536
687.62/689.79 c #Conflicts: 426000 | #Constraints: 20536
687.62/689.79 c #Conflicts: 427000 | #Constraints: 21536
687.62/689.79 c #Conflicts: 428000 | #Constraints: 22536
687.62/689.79 c #Conflicts: 429000 | #Constraints: 23536
687.62/689.79 c #Conflicts: 430000 | #Constraints: 24536
687.62/689.79 c #Conflicts: 431000 | #Constraints: 25536
687.62/689.79 c #Conflicts: 432000 | #Constraints: 26536
687.62/689.79 c #Conflicts: 433000 | #Constraints: 27536
687.62/689.79 c INPROCESSING
687.62/689.79 c GARBAGE COLLECT
687.62/689.79 c #Conflicts: 434000 | #Constraints: 15538
687.62/689.79 c #Conflicts: 435000 | #Constraints: 16538
687.62/689.79 c #Conflicts: 436000 | #Constraints: 17538
687.62/689.79 c #Conflicts: 437000 | #Constraints: 18538
687.62/689.79 c #Conflicts: 438000 | #Constraints: 19538
687.62/689.79 c #Conflicts: 439000 | #Constraints: 20538
687.62/689.79 c #Conflicts: 440000 | #Constraints: 21538
687.62/689.79 c #Conflicts: 441000 | #Constraints: 22538
687.62/689.79 c #Conflicts: 442000 | #Constraints: 23538
687.62/689.79 c #Conflicts: 443000 | #Constraints: 24538
687.62/689.79 c #Conflicts: 444000 | #Constraints: 25538
687.62/689.79 c #Conflicts: 445000 | #Constraints: 26538
687.62/689.79 c #Conflicts: 446000 | #Constraints: 27538
687.62/689.79 c INPROCESSING
687.62/689.79 c GARBAGE COLLECT
687.62/689.79 c #Conflicts: 447000 | #Constraints: 15330
687.62/689.79 c #Conflicts: 448000 | #Constraints: 16330
687.62/689.79 c #Conflicts: 449000 | #Constraints: 17330
687.62/689.79 c #Conflicts: 450000 | #Constraints: 18330
687.62/689.79 c #Conflicts: 451000 | #Constraints: 19330
687.62/689.79 c #Conflicts: 452000 | #Constraints: 20330
687.62/689.79 c #Conflicts: 453000 | #Constraints: 21330
687.62/689.79 c #Conflicts: 454000 | #Constraints: 22330
687.62/689.79 c #Conflicts: 455000 | #Constraints: 23330
687.62/689.79 c #Conflicts: 456000 | #Constraints: 24330
687.62/689.79 c #Conflicts: 457000 | #Constraints: 25330
687.62/689.79 c #Conflicts: 458000 | #Constraints: 26330
687.62/689.79 c #Conflicts: 459000 | #Constraints: 27330
687.62/689.79 c #Conflicts: 460000 | #Constraints: 28330
687.62/689.79 c INPROCESSING
687.62/689.79 c GARBAGE COLLECT
687.62/689.79 c #Conflicts: 461000 | #Constraints: 15941
687.62/689.79 c #Conflicts: 462000 | #Constraints: 16941
687.62/689.79 c #Conflicts: 463000 | #Constraints: 17941
687.62/689.79 c #Conflicts: 464000 | #Constraints: 18941
687.62/689.79 c #Conflicts: 465000 | #Constraints: 19941
687.62/689.79 c #Conflicts: 466000 | #Constraints: 20941
687.62/689.79 c #Conflicts: 467000 | #Constraints: 21941
687.62/689.79 c #Conflicts: 468000 | #Constraints: 22941
687.62/689.79 c #Conflicts: 469000 | #Constraints: 23941
687.62/689.79 c #Conflicts: 470000 | #Constraints: 24941
687.62/689.79 c #Conflicts: 471000 | #Constraints: 25941
687.62/689.79 c #Conflicts: 472000 | #Constraints: 26941
687.62/689.79 c #Conflicts: 473000 | #Constraints: 27941
687.62/689.79 c #Conflicts: 474000 | #Constraints: 28941
687.62/689.79 c INPROCESSING
687.62/689.79 c GARBAGE COLLECT
687.62/689.79 c #Conflicts: 475000 | #Constraints: 16340
687.62/689.79 c #Conflicts: 476000 | #Constraints: 17340
687.62/689.79 c GLOBAL bounds - >= 2380792919616 @ 673.276
687.72/689.81 c GLOBAL bounds - >= 2380792919616 @ 673.291
687.72/689.84 c GLOBAL bounds - >= 2380792919616 @ 673.308
687.72/689.84 c GLOBAL bounds - >= 2380792919616 @ 673.311
687.72/689.87 c GLOBAL bounds - >= 2380792919616 @ 673.329
687.72/689.87 c GLOBAL bounds - >= 2380792919616 @ 673.331
687.81/689.90 c GLOBAL bounds - >= 2380792919616 @ 673.348
687.81/689.91 c GLOBAL bounds - >= 2380792919616 @ 673.351
687.81/689.93 c GLOBAL bounds - >= 2380792919616 @ 673.364
687.81/689.94 c GLOBAL bounds - >= 2380792919616 @ 673.367
687.81/689.97 c GLOBAL bounds - >= 2380792919616 @ 673.383
687.81/689.97 c GLOBAL bounds - >= 2380792919616 @ 673.385
687.81/690.00 c GLOBAL bounds - >= 2380792919616 @ 673.401
687.81/690.00 c GLOBAL bounds - >= 2380792919616 @ 673.403
687.93/690.03 c GLOBAL bounds - >= 2380792919616 @ 673.416
687.93/690.03 c GLOBAL bounds - >= 2380792919616 @ 673.418
687.93/690.06 c GLOBAL bounds - >= 2380792919616 @ 673.436
687.93/690.07 c GLOBAL bounds - >= 2380792919616 @ 673.437
687.93/690.09 c GLOBAL bounds - >= 2380792919616 @ 673.451
687.93/690.10 c GLOBAL bounds - >= 2380792919616 @ 673.454
688.03/690.13 c GLOBAL bounds - >= 2380792919616 @ 673.474
786.34/788.79 c #Conflicts: 477000 | #Constraints: 18369
786.34/788.79 c #Conflicts: 478000 | #Constraints: 19369
786.34/788.79 c #Conflicts: 479000 | #Constraints: 20369
786.34/788.79 c #Conflicts: 480000 | #Constraints: 21369
786.34/788.79 c #Conflicts: 481000 | #Constraints: 22369
786.34/788.79 c #Conflicts: 482000 | #Constraints: 23369
786.34/788.79 c #Conflicts: 483000 | #Constraints: 24369
786.34/788.79 c #Conflicts: 484000 | #Constraints: 25369
786.34/788.79 c #Conflicts: 485000 | #Constraints: 26369
786.34/788.79 c #Conflicts: 486000 | #Constraints: 27369
786.34/788.79 c #Conflicts: 487000 | #Constraints: 28369
786.34/788.79 c #Conflicts: 488000 | #Constraints: 29369
786.34/788.79 c INPROCESSING
786.34/788.79 c GARBAGE COLLECT
786.34/788.79 c #Conflicts: 489000 | #Constraints: 16575
786.34/788.79 c #Conflicts: 490000 | #Constraints: 17575
786.34/788.79 c #Conflicts: 491000 | #Constraints: 18575
786.34/788.79 c #Conflicts: 492000 | #Constraints: 19575
786.34/788.79 c #Conflicts: 493000 | #Constraints: 20575
786.34/788.79 c #Conflicts: 494000 | #Constraints: 21575
786.34/788.79 c #Conflicts: 495000 | #Constraints: 22575
786.34/788.79 c #Conflicts: 496000 | #Constraints: 23575
786.34/788.79 c #Conflicts: 497000 | #Constraints: 24575
786.34/788.79 c #Conflicts: 498000 | #Constraints: 25575
786.34/788.79 c #Conflicts: 499000 | #Constraints: 26575
786.34/788.79 c #Conflicts: 500000 | #Constraints: 27575
786.34/788.79 c #Conflicts: 501000 | #Constraints: 28575
786.34/788.79 c #Conflicts: 502000 | #Constraints: 29575
786.34/788.79 c INPROCESSING
786.34/788.79 c GARBAGE COLLECT
786.34/788.79 c #Conflicts: 503000 | #Constraints: 16571
786.34/788.79 c #Conflicts: 504000 | #Constraints: 17571
786.34/788.79 c #Conflicts: 505000 | #Constraints: 18571
786.34/788.79 c #Conflicts: 506000 | #Constraints: 19571
786.34/788.79 c #Conflicts: 507000 | #Constraints: 20571
786.34/788.79 c #Conflicts: 508000 | #Constraints: 21571
786.34/788.79 c #Conflicts: 509000 | #Constraints: 22571
786.34/788.79 c #Conflicts: 510000 | #Constraints: 23571
786.34/788.79 c #Conflicts: 511000 | #Constraints: 24571
786.34/788.79 c #Conflicts: 512000 | #Constraints: 25571
786.34/788.79 c #Conflicts: 513000 | #Constraints: 26571
786.34/788.79 c #Conflicts: 514000 | #Constraints: 27571
786.34/788.79 c #Conflicts: 515000 | #Constraints: 28571
786.34/788.79 c #Conflicts: 516000 | #Constraints: 29571
786.34/788.79 c INPROCESSING
786.34/788.79 c GARBAGE COLLECT
786.34/788.79 c #Conflicts: 517000 | #Constraints: 16365
786.34/788.79 c #Conflicts: 518000 | #Constraints: 17365
786.34/788.79 c #Conflicts: 519000 | #Constraints: 18365
786.34/788.79 c #Conflicts: 520000 | #Constraints: 19365
786.34/788.79 c #Conflicts: 521000 | #Constraints: 20365
786.34/788.79 c #Conflicts: 522000 | #Constraints: 21365
786.34/788.79 c #Conflicts: 523000 | #Constraints: 22365
786.34/788.79 c #Conflicts: 524000 | #Constraints: 23365
786.34/788.79 c #Conflicts: 525000 | #Constraints: 24365
786.34/788.79 c #Conflicts: 526000 | #Constraints: 25365
786.34/788.79 c #Conflicts: 527000 | #Constraints: 26365
786.34/788.79 c #Conflicts: 528000 | #Constraints: 27365
786.34/788.79 c #Conflicts: 529000 | #Constraints: 28365
786.34/788.79 c #Conflicts: 530000 | #Constraints: 29365
786.34/788.79 c #Conflicts: 531000 | #Constraints: 30365
786.34/788.79 c INPROCESSING
786.34/788.79 c GARBAGE COLLECT
786.34/788.79 c #Conflicts: 532000 | #Constraints: 16964
786.34/788.79 c #Conflicts: 533000 | #Constraints: 17964
786.34/788.79 c #Conflicts: 534000 | #Constraints: 18964
786.34/788.79 c #Conflicts: 535000 | #Constraints: 19964
786.34/788.79 c #Conflicts: 536000 | #Constraints: 20964
786.34/788.79 c #Conflicts: 537000 | #Constraints: 21964
786.34/788.79 c #Conflicts: 538000 | #Constraints: 22964
786.34/788.79 c #Conflicts: 539000 | #Constraints: 23964
786.34/788.79 c #Conflicts: 540000 | #Constraints: 24964
786.34/788.79 c #Conflicts: 541000 | #Constraints: 25964
786.34/788.79 c #Conflicts: 542000 | #Constraints: 26964
786.34/788.79 c #Conflicts: 543000 | #Constraints: 27964
786.34/788.79 c #Conflicts: 544000 | #Constraints: 28964
786.34/788.79 c #Conflicts: 545000 | #Constraints: 29964
786.34/788.79 c #Conflicts: 546000 | #Constraints: 30964
786.34/788.79 c INPROCESSING
786.34/788.79 c GARBAGE COLLECT
786.34/788.79 c #Conflicts: 547000 | #Constraints: 17371
786.34/788.79 c #Conflicts: 548000 | #Constraints: 18371
786.34/788.79 c #Conflicts: 549000 | #Constraints: 19371
786.34/788.79 c #Conflicts: 550000 | #Constraints: 20371
786.34/788.79 c #Conflicts: 551000 | #Constraints: 21371
786.34/788.79 c #Conflicts: 552000 | #Constraints: 22371
903.99/906.79 c #Conflicts: 553000 | #Constraints: 23371
903.99/906.79 c #Conflicts: 554000 | #Constraints: 24371
903.99/906.79 c #Conflicts: 555000 | #Constraints: 25371
903.99/906.79 c #Conflicts: 556000 | #Constraints: 26371
903.99/906.79 c #Conflicts: 557000 | #Constraints: 27371
903.99/906.79 c #Conflicts: 558000 | #Constraints: 28371
903.99/906.79 c #Conflicts: 559000 | #Constraints: 29371
903.99/906.79 c #Conflicts: 560000 | #Constraints: 30371
903.99/906.79 c #Conflicts: 561000 | #Constraints: 31371
903.99/906.79 c INPROCESSING
903.99/906.79 c GARBAGE COLLECT
903.99/906.79 c #Conflicts: 562000 | #Constraints: 17575
903.99/906.79 c #Conflicts: 563000 | #Constraints: 18575
903.99/906.79 c #Conflicts: 564000 | #Constraints: 19575
903.99/906.79 c #Conflicts: 565000 | #Constraints: 20575
903.99/906.79 c #Conflicts: 566000 | #Constraints: 21575
903.99/906.79 c #Conflicts: 567000 | #Constraints: 22575
903.99/906.79 c #Conflicts: 568000 | #Constraints: 23575
903.99/906.79 c #Conflicts: 569000 | #Constraints: 24575
903.99/906.79 c #Conflicts: 570000 | #Constraints: 25575
903.99/906.79 c #Conflicts: 571000 | #Constraints: 26575
903.99/906.79 c #Conflicts: 572000 | #Constraints: 27575
903.99/906.79 c #Conflicts: 573000 | #Constraints: 28575
903.99/906.79 c #Conflicts: 574000 | #Constraints: 29575
903.99/906.79 c #Conflicts: 575000 | #Constraints: 30575
903.99/906.79 c #Conflicts: 576000 | #Constraints: 31575
903.99/906.79 c INPROCESSING
903.99/906.79 c GARBAGE COLLECT
903.99/906.79 c #Conflicts: 577000 | #Constraints: 17571
903.99/906.79 c #Conflicts: 578000 | #Constraints: 18571
903.99/906.79 c #Conflicts: 579000 | #Constraints: 19571
903.99/906.79 c #Conflicts: 580000 | #Constraints: 20571
903.99/906.79 c #Conflicts: 581000 | #Constraints: 21571
903.99/906.79 c #Conflicts: 582000 | #Constraints: 22571
903.99/906.79 c #Conflicts: 583000 | #Constraints: 23571
903.99/906.79 c #Conflicts: 584000 | #Constraints: 24571
903.99/906.79 c #Conflicts: 585000 | #Constraints: 25571
903.99/906.79 c #Conflicts: 586000 | #Constraints: 26571
903.99/906.79 c #Conflicts: 587000 | #Constraints: 27571
903.99/906.79 c #Conflicts: 588000 | #Constraints: 28571
903.99/906.79 c #Conflicts: 589000 | #Constraints: 29571
903.99/906.79 c #Conflicts: 590000 | #Constraints: 30571
903.99/906.79 c #Conflicts: 591000 | #Constraints: 31571
903.99/906.79 c INPROCESSING
903.99/906.79 c GARBAGE COLLECT
903.99/906.79 c #Conflicts: 592000 | #Constraints: 17368
903.99/906.79 c #Conflicts: 593000 | #Constraints: 18368
903.99/906.79 c #Conflicts: 594000 | #Constraints: 19368
903.99/906.79 c #Conflicts: 595000 | #Constraints: 20368
903.99/906.79 c #Conflicts: 596000 | #Constraints: 21368
903.99/906.79 c #Conflicts: 597000 | #Constraints: 22368
903.99/906.79 c #Conflicts: 598000 | #Constraints: 23368
903.99/906.79 c #Conflicts: 599000 | #Constraints: 24368
903.99/906.79 c #Conflicts: 600000 | #Constraints: 25368
903.99/906.79 c #Conflicts: 601000 | #Constraints: 26368
903.99/906.79 c #Conflicts: 602000 | #Constraints: 27368
903.99/906.79 c #Conflicts: 603000 | #Constraints: 28368
903.99/906.79 c #Conflicts: 604000 | #Constraints: 29368
903.99/906.79 c #Conflicts: 605000 | #Constraints: 30368
903.99/906.79 c #Conflicts: 606000 | #Constraints: 31368
903.99/906.79 c #Conflicts: 607000 | #Constraints: 32368
903.99/906.79 c INPROCESSING
903.99/906.79 c GARBAGE COLLECT
903.99/906.79 c #Conflicts: 608000 | #Constraints: 17968
903.99/906.79 c #Conflicts: 609000 | #Constraints: 18968
903.99/906.79 c #Conflicts: 610000 | #Constraints: 19968
903.99/906.79 c #Conflicts: 611000 | #Constraints: 20968
903.99/906.79 c #Conflicts: 612000 | #Constraints: 21968
903.99/906.79 c #Conflicts: 613000 | #Constraints: 22968
903.99/906.79 c #Conflicts: 614000 | #Constraints: 23968
903.99/906.79 c #Conflicts: 615000 | #Constraints: 24968
903.99/906.79 c #Conflicts: 616000 | #Constraints: 25968
903.99/906.79 c #Conflicts: 617000 | #Constraints: 26968
903.99/906.79 c #Conflicts: 618000 | #Constraints: 27968
903.99/906.79 c #Conflicts: 619000 | #Constraints: 28968
903.99/906.79 c #Conflicts: 620000 | #Constraints: 29968
903.99/906.79 c #Conflicts: 621000 | #Constraints: 30968
903.99/906.79 c #Conflicts: 622000 | #Constraints: 31968
903.99/906.79 c #Conflicts: 623000 | #Constraints: 32968
903.99/906.79 c INPROCESSING
903.99/906.79 c GARBAGE COLLECT
903.99/906.79 c #Conflicts: 624000 | #Constraints: 18370
903.99/906.79 c #Conflicts: 625000 | #Constraints: 19370
903.99/906.79 c #Conflicts: 626000 | #Constraints: 20370
903.99/906.79 c #Conflicts: 627000 | #Constraints: 21370
903.99/906.79 c #Conflicts: 628000 | #Constraints: 22370
974.37/977.30 c #Conflicts: 629000 | #Constraints: 23370
974.37/977.30 c #Conflicts: 630000 | #Constraints: 24370
974.37/977.30 c #Conflicts: 631000 | #Constraints: 25370
974.37/977.30 c #Conflicts: 632000 | #Constraints: 26370
974.37/977.30 c #Conflicts: 633000 | #Constraints: 27370
974.37/977.30 c #Conflicts: 634000 | #Constraints: 28370
974.37/977.30 c #Conflicts: 635000 | #Constraints: 29370
974.37/977.30 c #Conflicts: 636000 | #Constraints: 30370
974.37/977.30 c #Conflicts: 637000 | #Constraints: 31370
974.37/977.30 c #Conflicts: 638000 | #Constraints: 32370
974.37/977.30 c #Conflicts: 639000 | #Constraints: 33370
974.37/977.30 c INPROCESSING
974.37/977.30 c GARBAGE COLLECT
974.37/977.30 c #Conflicts: 640000 | #Constraints: 18571
974.37/977.30 c #Conflicts: 641000 | #Constraints: 19571
974.37/977.30 c #Conflicts: 642000 | #Constraints: 20571
974.37/977.30 c #Conflicts: 643000 | #Constraints: 21571
974.37/977.30 c #Conflicts: 644000 | #Constraints: 22571
974.37/977.30 c #Conflicts: 645000 | #Constraints: 23571
974.37/977.30 c #Conflicts: 646000 | #Constraints: 24571
974.37/977.30 c #Conflicts: 647000 | #Constraints: 25571
974.37/977.30 c #Conflicts: 648000 | #Constraints: 26571
974.37/977.30 c #Conflicts: 649000 | #Constraints: 27571
974.37/977.30 c #Conflicts: 650000 | #Constraints: 28571
974.37/977.30 c #Conflicts: 651000 | #Constraints: 29571
974.37/977.30 c #Conflicts: 652000 | #Constraints: 30571
974.37/977.30 c #Conflicts: 653000 | #Constraints: 31571
974.37/977.30 c #Conflicts: 654000 | #Constraints: 32571
974.37/977.30 c #Conflicts: 655000 | #Constraints: 33571
974.37/977.30 c INPROCESSING
974.37/977.30 c GARBAGE COLLECT
974.37/977.30 c #Conflicts: 656000 | #Constraints: 18573
974.37/977.30 c #Conflicts: 657000 | #Constraints: 19573
974.37/977.30 c #Conflicts: 658000 | #Constraints: 20573
974.37/977.30 c #Conflicts: 659000 | #Constraints: 21573
974.37/977.30 c #Conflicts: 660000 | #Constraints: 22573
974.37/977.30 c #Conflicts: 661000 | #Constraints: 23573
974.37/977.30 c #Conflicts: 662000 | #Constraints: 24573
974.37/977.30 c #Conflicts: 663000 | #Constraints: 25573
974.37/977.30 c #Conflicts: 664000 | #Constraints: 26573
974.37/977.30 c GLOBAL bounds - >= 2380977475776 @ 956.23
974.37/977.32 c GLOBAL bounds - >= 2380977475776 @ 956.252
974.37/977.36 c GLOBAL bounds - >= 2380977475776 @ 956.276
974.37/977.36 c GLOBAL bounds - >= 2380977475776 @ 956.277
974.47/977.40 c GLOBAL bounds - >= 2380977475776 @ 956.298
974.47/977.40 c GLOBAL bounds - >= 2380977475776 @ 956.3
974.47/977.43 c GLOBAL bounds - >= 2380977475776 @ 956.324
974.47/977.44 c GLOBAL bounds - >= 2380977475776 @ 956.327
974.47/977.47 c GLOBAL bounds - >= 2380977475776 @ 956.353
974.47/977.48 c GLOBAL bounds - >= 2380977475776 @ 956.355
974.58/977.51 c GLOBAL bounds - >= 2380977475776 @ 956.376
974.58/977.52 c GLOBAL bounds - >= 2380977475776 @ 956.377
974.58/977.55 c GLOBAL bounds - >= 2380977475776 @ 956.403
974.58/977.56 c GLOBAL bounds - >= 2380977475776 @ 956.405
974.58/977.59 c GLOBAL bounds - >= 2380977475776 @ 956.43
974.58/977.59 c GLOBAL bounds - >= 2380977475776 @ 956.433
974.67/977.63 c GLOBAL bounds - >= 2380977475776 @ 956.457
974.67/977.63 c GLOBAL bounds - >= 2380977475776 @ 956.46
974.67/977.67 c GLOBAL bounds - >= 2380977475776 @ 956.479
974.67/977.67 c GLOBAL bounds - >= 2380977475776 @ 956.482
974.77/977.71 c GLOBAL bounds - >= 2380977475776 @ 956.505
1082.74/1086.04 c #Conflicts: 665000 | #Constraints: 27602
1082.74/1086.04 c #Conflicts: 666000 | #Constraints: 28602
1082.74/1086.04 c #Conflicts: 667000 | #Constraints: 29602
1082.74/1086.04 c #Conflicts: 668000 | #Constraints: 30602
1082.74/1086.04 c #Conflicts: 669000 | #Constraints: 31602
1082.74/1086.04 c #Conflicts: 670000 | #Constraints: 32602
1082.74/1086.04 c #Conflicts: 671000 | #Constraints: 33602
1082.74/1086.04 c INPROCESSING
1082.74/1086.04 c GARBAGE COLLECT
1082.74/1086.04 c #Conflicts: 672000 | #Constraints: 18400
1082.74/1086.04 c #Conflicts: 673000 | #Constraints: 19400
1082.74/1086.04 c #Conflicts: 674000 | #Constraints: 20400
1082.74/1086.04 c #Conflicts: 675000 | #Constraints: 21400
1082.74/1086.04 c #Conflicts: 676000 | #Constraints: 22400
1082.74/1086.04 c #Conflicts: 677000 | #Constraints: 23400
1082.74/1086.04 c #Conflicts: 678000 | #Constraints: 24400
1082.74/1086.04 c #Conflicts: 679000 | #Constraints: 25400
1082.74/1086.04 c #Conflicts: 680000 | #Constraints: 26400
1082.74/1086.04 c #Conflicts: 681000 | #Constraints: 27400
1082.74/1086.04 c #Conflicts: 682000 | #Constraints: 28400
1082.74/1086.04 c #Conflicts: 683000 | #Constraints: 29400
1082.74/1086.04 c #Conflicts: 684000 | #Constraints: 30400
1082.74/1086.04 c #Conflicts: 685000 | #Constraints: 31400
1082.74/1086.04 c #Conflicts: 686000 | #Constraints: 32400
1082.74/1086.04 c #Conflicts: 687000 | #Constraints: 33400
1082.74/1086.04 c #Conflicts: 688000 | #Constraints: 34400
1082.74/1086.04 c INPROCESSING
1082.74/1086.04 c GARBAGE COLLECT
1082.74/1086.04 c #Conflicts: 689000 | #Constraints: 19001
1082.74/1086.04 c #Conflicts: 690000 | #Constraints: 20001
1082.74/1086.04 c #Conflicts: 691000 | #Constraints: 21001
1082.74/1086.04 c #Conflicts: 692000 | #Constraints: 22001
1082.74/1086.04 c #Conflicts: 693000 | #Constraints: 23001
1082.74/1086.04 c #Conflicts: 694000 | #Constraints: 24001
1082.74/1086.04 c #Conflicts: 695000 | #Constraints: 25001
1082.74/1086.04 c #Conflicts: 696000 | #Constraints: 26001
1082.74/1086.04 c #Conflicts: 697000 | #Constraints: 27001
1082.74/1086.04 c #Conflicts: 698000 | #Constraints: 28001
1082.74/1086.04 c #Conflicts: 699000 | #Constraints: 29001
1082.74/1086.04 c #Conflicts: 700000 | #Constraints: 30001
1082.74/1086.04 c #Conflicts: 701000 | #Constraints: 31001
1082.74/1086.04 c #Conflicts: 702000 | #Constraints: 32001
1082.74/1086.04 c #Conflicts: 703000 | #Constraints: 33001
1082.74/1086.04 c #Conflicts: 704000 | #Constraints: 34001
1082.74/1086.04 c #Conflicts: 705000 | #Constraints: 35001
1082.74/1086.04 c INPROCESSING
1082.74/1086.04 c GARBAGE COLLECT
1082.74/1086.04 c #Conflicts: 706000 | #Constraints: 19404
1082.74/1086.04 c #Conflicts: 707000 | #Constraints: 20404
1082.74/1086.04 c #Conflicts: 708000 | #Constraints: 21404
1082.74/1086.04 c #Conflicts: 709000 | #Constraints: 22404
1082.74/1086.04 c #Conflicts: 710000 | #Constraints: 23404
1082.74/1086.04 c #Conflicts: 711000 | #Constraints: 24404
1082.74/1086.04 c #Conflicts: 712000 | #Constraints: 25404
1082.74/1086.04 c #Conflicts: 713000 | #Constraints: 26404
1082.74/1086.04 c #Conflicts: 714000 | #Constraints: 27404
1082.74/1086.04 c #Conflicts: 715000 | #Constraints: 28404
1082.74/1086.04 c #Conflicts: 716000 | #Constraints: 29404
1082.74/1086.04 c #Conflicts: 717000 | #Constraints: 30404
1082.74/1086.04 c #Conflicts: 718000 | #Constraints: 31404
1082.74/1086.04 c #Conflicts: 719000 | #Constraints: 32404
1082.74/1086.04 c #Conflicts: 720000 | #Constraints: 33404
1082.74/1086.04 c #Conflicts: 721000 | #Constraints: 34404
1082.74/1086.04 c #Conflicts: 722000 | #Constraints: 35404
1082.74/1086.04 c INPROCESSING
1082.74/1086.04 c GARBAGE COLLECT
1082.74/1086.04 c #Conflicts: 723000 | #Constraints: 19597
1082.74/1086.04 c #Conflicts: 724000 | #Constraints: 20597
1082.74/1086.04 c #Conflicts: 725000 | #Constraints: 21597
1082.74/1086.04 c #Conflicts: 726000 | #Constraints: 22597
1082.74/1086.04 c #Conflicts: 727000 | #Constraints: 23597
1082.74/1086.04 c #Conflicts: 728000 | #Constraints: 24597
1082.74/1086.04 c #Conflicts: 729000 | #Constraints: 25597
1082.74/1086.04 c #Conflicts: 730000 | #Constraints: 26597
1082.74/1086.04 c #Conflicts: 731000 | #Constraints: 27597
1082.74/1086.04 c #Conflicts: 732000 | #Constraints: 28597
1082.74/1086.04 c #Conflicts: 733000 | #Constraints: 29597
1082.74/1086.04 c #Conflicts: 734000 | #Constraints: 30597
1082.74/1086.04 c #Conflicts: 735000 | #Constraints: 31597
1082.74/1086.04 c #Conflicts: 736000 | #Constraints: 32597
1082.74/1086.04 c #Conflicts: 737000 | #Constraints: 33597
1082.74/1086.04 c #Conflicts: 738000 | #Constraints: 34597
1082.74/1086.04 c #Conflicts: 739000 | #Constraints: 35597
1082.74/1086.04 c INPROCESSING
1082.74/1086.04 c GARBAGE COLLECT
1082.74/1086.04 c #Conflicts: 740000 | #Constraints: 19599
1228.67/1232.44 c #Conflicts: 741000 | #Constraints: 20599
1228.67/1232.44 c #Conflicts: 742000 | #Constraints: 21599
1228.67/1232.44 c #Conflicts: 743000 | #Constraints: 22599
1228.67/1232.44 c #Conflicts: 744000 | #Constraints: 23599
1228.67/1232.44 c #Conflicts: 745000 | #Constraints: 24599
1228.67/1232.44 c #Conflicts: 746000 | #Constraints: 25599
1228.67/1232.44 c #Conflicts: 747000 | #Constraints: 26599
1228.67/1232.44 c #Conflicts: 748000 | #Constraints: 27599
1228.67/1232.44 c #Conflicts: 749000 | #Constraints: 28599
1228.67/1232.44 c #Conflicts: 750000 | #Constraints: 29599
1228.67/1232.44 c #Conflicts: 751000 | #Constraints: 30599
1228.67/1232.44 c #Conflicts: 752000 | #Constraints: 31599
1228.67/1232.44 c #Conflicts: 753000 | #Constraints: 32599
1228.67/1232.44 c #Conflicts: 754000 | #Constraints: 33599
1228.67/1232.44 c #Conflicts: 755000 | #Constraints: 34599
1228.67/1232.44 c #Conflicts: 756000 | #Constraints: 35599
1228.67/1232.44 c INPROCESSING
1228.67/1232.44 c GARBAGE COLLECT
1228.67/1232.44 c #Conflicts: 757000 | #Constraints: 19400
1228.67/1232.44 c #Conflicts: 758000 | #Constraints: 20400
1228.67/1232.44 c #Conflicts: 759000 | #Constraints: 21400
1228.67/1232.44 c #Conflicts: 760000 | #Constraints: 22400
1228.67/1232.44 c #Conflicts: 761000 | #Constraints: 23400
1228.67/1232.44 c #Conflicts: 762000 | #Constraints: 24400
1228.67/1232.44 c #Conflicts: 763000 | #Constraints: 25400
1228.67/1232.44 c #Conflicts: 764000 | #Constraints: 26400
1228.67/1232.44 c #Conflicts: 765000 | #Constraints: 27400
1228.67/1232.44 c #Conflicts: 766000 | #Constraints: 28400
1228.67/1232.44 c #Conflicts: 767000 | #Constraints: 29400
1228.67/1232.44 c #Conflicts: 768000 | #Constraints: 30400
1228.67/1232.44 c #Conflicts: 769000 | #Constraints: 31400
1228.67/1232.44 c #Conflicts: 770000 | #Constraints: 32400
1228.67/1232.44 c #Conflicts: 771000 | #Constraints: 33400
1228.67/1232.44 c #Conflicts: 772000 | #Constraints: 34400
1228.67/1232.44 c #Conflicts: 773000 | #Constraints: 35400
1228.67/1232.44 c #Conflicts: 774000 | #Constraints: 36400
1228.67/1232.44 c INPROCESSING
1228.67/1232.44 c GARBAGE COLLECT
1228.67/1232.44 c #Conflicts: 775000 | #Constraints: 20003
1228.67/1232.44 c #Conflicts: 776000 | #Constraints: 21003
1228.67/1232.44 c #Conflicts: 777000 | #Constraints: 22003
1228.67/1232.44 c #Conflicts: 778000 | #Constraints: 23003
1228.67/1232.44 c #Conflicts: 779000 | #Constraints: 24003
1228.67/1232.44 c #Conflicts: 780000 | #Constraints: 25003
1228.67/1232.44 c #Conflicts: 781000 | #Constraints: 26003
1228.67/1232.44 c #Conflicts: 782000 | #Constraints: 27003
1228.67/1232.44 c #Conflicts: 783000 | #Constraints: 28003
1228.67/1232.44 c #Conflicts: 784000 | #Constraints: 29003
1228.67/1232.44 c #Conflicts: 785000 | #Constraints: 30003
1228.67/1232.44 c #Conflicts: 786000 | #Constraints: 31003
1228.67/1232.44 c #Conflicts: 787000 | #Constraints: 32003
1228.67/1232.44 c #Conflicts: 788000 | #Constraints: 33003
1228.67/1232.44 c #Conflicts: 789000 | #Constraints: 34003
1228.67/1232.44 c #Conflicts: 790000 | #Constraints: 35003
1228.67/1232.44 c #Conflicts: 791000 | #Constraints: 36003
1228.67/1232.44 c #Conflicts: 792000 | #Constraints: 37003
1228.67/1232.44 c INPROCESSING
1228.67/1232.44 c GARBAGE COLLECT
1228.67/1232.44 c #Conflicts: 793000 | #Constraints: 20400
1228.67/1232.44 c #Conflicts: 794000 | #Constraints: 21400
1228.67/1232.44 c #Conflicts: 795000 | #Constraints: 22400
1228.67/1232.44 c #Conflicts: 796000 | #Constraints: 23400
1228.67/1232.44 c #Conflicts: 797000 | #Constraints: 24400
1228.67/1232.44 c #Conflicts: 798000 | #Constraints: 25400
1228.67/1232.44 c #Conflicts: 799000 | #Constraints: 26400
1228.67/1232.44 c #Conflicts: 800000 | #Constraints: 27400
1228.67/1232.44 c #Conflicts: 801000 | #Constraints: 28400
1228.67/1232.44 c #Conflicts: 802000 | #Constraints: 29400
1228.67/1232.44 c #Conflicts: 803000 | #Constraints: 30400
1228.67/1232.44 c #Conflicts: 804000 | #Constraints: 31400
1228.67/1232.44 c #Conflicts: 805000 | #Constraints: 32400
1228.67/1232.44 c #Conflicts: 806000 | #Constraints: 33400
1228.67/1232.44 c #Conflicts: 807000 | #Constraints: 34400
1228.67/1232.44 c #Conflicts: 808000 | #Constraints: 35400
1228.67/1232.44 c #Conflicts: 809000 | #Constraints: 36400
1228.67/1232.44 c #Conflicts: 810000 | #Constraints: 37400
1228.67/1232.44 c INPROCESSING
1228.67/1232.44 c GARBAGE COLLECT
1228.67/1232.44 c #Conflicts: 811000 | #Constraints: 20599
1228.67/1232.44 c #Conflicts: 812000 | #Constraints: 21599
1228.67/1232.44 c #Conflicts: 813000 | #Constraints: 22599
1228.67/1232.44 c #Conflicts: 814000 | #Constraints: 23599
1228.67/1232.44 c #Conflicts: 815000 | #Constraints: 24599
1228.67/1232.44 c #Conflicts: 816000 | #Constraints: 25599
1326.79/1330.87 c #Conflicts: 817000 | #Constraints: 26599
1326.79/1330.87 c #Conflicts: 818000 | #Constraints: 27599
1326.79/1330.87 c #Conflicts: 819000 | #Constraints: 28599
1326.79/1330.87 c #Conflicts: 820000 | #Constraints: 29599
1326.79/1330.87 c #Conflicts: 821000 | #Constraints: 30599
1326.79/1330.87 c #Conflicts: 822000 | #Constraints: 31599
1326.79/1330.87 c #Conflicts: 823000 | #Constraints: 32599
1326.79/1330.87 c #Conflicts: 824000 | #Constraints: 33599
1326.79/1330.87 c #Conflicts: 825000 | #Constraints: 34599
1326.79/1330.87 c #Conflicts: 826000 | #Constraints: 35599
1326.79/1330.87 c #Conflicts: 827000 | #Constraints: 36599
1326.79/1330.87 c #Conflicts: 828000 | #Constraints: 37599
1326.79/1330.87 c INPROCESSING
1326.79/1330.87 c GARBAGE COLLECT
1326.79/1330.87 c #Conflicts: 829000 | #Constraints: 20607
1326.79/1330.87 c #Conflicts: 830000 | #Constraints: 21607
1326.79/1330.87 c #Conflicts: 831000 | #Constraints: 22607
1326.79/1330.87 c #Conflicts: 832000 | #Constraints: 23607
1326.79/1330.87 c #Conflicts: 833000 | #Constraints: 24607
1326.79/1330.87 c #Conflicts: 834000 | #Constraints: 25607
1326.79/1330.87 c #Conflicts: 835000 | #Constraints: 26607
1326.79/1330.87 c #Conflicts: 836000 | #Constraints: 27607
1326.79/1330.87 c #Conflicts: 837000 | #Constraints: 28607
1326.79/1330.87 c #Conflicts: 838000 | #Constraints: 29607
1326.79/1330.87 c #Conflicts: 839000 | #Constraints: 30607
1326.79/1330.87 c #Conflicts: 840000 | #Constraints: 31607
1326.79/1330.87 c #Conflicts: 841000 | #Constraints: 32607
1326.79/1330.87 c #Conflicts: 842000 | #Constraints: 33607
1326.79/1330.87 c #Conflicts: 843000 | #Constraints: 34607
1326.79/1330.87 c #Conflicts: 844000 | #Constraints: 35607
1326.79/1330.87 c #Conflicts: 845000 | #Constraints: 36607
1326.79/1330.87 c #Conflicts: 846000 | #Constraints: 37607
1326.79/1330.87 c INPROCESSING
1326.79/1330.87 c GARBAGE COLLECT
1326.79/1330.87 c #Conflicts: 847000 | #Constraints: 20412
1326.79/1330.87 c #Conflicts: 848000 | #Constraints: 21412
1326.79/1330.87 c #Conflicts: 849000 | #Constraints: 22412
1326.79/1330.87 c #Conflicts: 850000 | #Constraints: 23412
1326.79/1330.87 c #Conflicts: 851000 | #Constraints: 24412
1326.79/1330.87 c #Conflicts: 852000 | #Constraints: 25412
1326.79/1330.87 c #Conflicts: 853000 | #Constraints: 26412
1326.79/1330.87 c #Conflicts: 854000 | #Constraints: 27412
1326.79/1330.87 c #Conflicts: 855000 | #Constraints: 28412
1326.79/1330.87 c #Conflicts: 856000 | #Constraints: 29412
1326.79/1330.87 c #Conflicts: 857000 | #Constraints: 30412
1326.79/1330.87 c #Conflicts: 858000 | #Constraints: 31412
1326.79/1330.87 c GLOBAL bounds - >= 2460428902656 @ 1304.39
1326.79/1330.89 c GLOBAL bounds - >= 2460428902656 @ 1304.41
1326.88/1330.92 c GLOBAL bounds - >= 2460428902656 @ 1304.43
1326.88/1330.92 c GLOBAL bounds - >= 2460428902656 @ 1304.43
1326.88/1330.96 c GLOBAL bounds - >= 2460428902656 @ 1304.45
1326.88/1330.96 c GLOBAL bounds - >= 2460428902656 @ 1304.45
1326.88/1330.99 c GLOBAL bounds - >= 2460428902656 @ 1304.47
1326.88/1331.00 c GLOBAL bounds - >= 2460428902656 @ 1304.47
1327.00/1331.03 c GLOBAL bounds - >= 2460428902656 @ 1304.5
1327.00/1331.03 c GLOBAL bounds - >= 2460428902656 @ 1304.5
1327.00/1331.06 c GLOBAL bounds - >= 2460428902656 @ 1304.52
1327.00/1331.07 c GLOBAL bounds - >= 2460428902656 @ 1304.52
1327.00/1331.10 c GLOBAL bounds - >= 2460428902656 @ 1304.54
1327.00/1331.10 c GLOBAL bounds - >= 2460428902656 @ 1304.54
1327.10/1331.14 c GLOBAL bounds - >= 2460428902656 @ 1304.56
1327.10/1331.14 c GLOBAL bounds - >= 2460428902656 @ 1304.57
1327.10/1331.17 c GLOBAL bounds - >= 2460428902656 @ 1304.58
1327.10/1331.18 c GLOBAL bounds - >= 2460428902656 @ 1304.58
1327.18/1331.21 c GLOBAL bounds - >= 2460428902656 @ 1304.6
1327.18/1331.21 c GLOBAL bounds - >= 2460428902656 @ 1304.6
1327.18/1331.25 c GLOBAL bounds - >= 2460428902656 @ 1304.63
1439.55/1443.91 c #Conflicts: 859000 | #Constraints: 32441
1439.55/1443.91 c #Conflicts: 860000 | #Constraints: 33441
1439.55/1443.91 c #Conflicts: 861000 | #Constraints: 34441
1439.55/1443.91 c #Conflicts: 862000 | #Constraints: 35441
1439.55/1443.91 c #Conflicts: 863000 | #Constraints: 36441
1439.55/1443.91 c #Conflicts: 864000 | #Constraints: 37441
1439.55/1443.91 c #Conflicts: 865000 | #Constraints: 38441
1439.55/1443.91 c INPROCESSING
1439.55/1443.91 c GARBAGE COLLECT
1439.55/1443.91 c #Conflicts: 866000 | #Constraints: 21030
1439.55/1443.91 c #Conflicts: 867000 | #Constraints: 22030
1439.55/1443.91 c #Conflicts: 868000 | #Constraints: 23030
1439.55/1443.91 c #Conflicts: 869000 | #Constraints: 24030
1439.55/1443.91 c #Conflicts: 870000 | #Constraints: 25030
1439.55/1443.91 c #Conflicts: 871000 | #Constraints: 26030
1439.55/1443.91 c #Conflicts: 872000 | #Constraints: 27030
1439.55/1443.91 c #Conflicts: 873000 | #Constraints: 28030
1439.55/1443.91 c #Conflicts: 874000 | #Constraints: 29030
1439.55/1443.91 c #Conflicts: 875000 | #Constraints: 30030
1439.55/1443.91 c #Conflicts: 876000 | #Constraints: 31030
1439.55/1443.91 c #Conflicts: 877000 | #Constraints: 32030
1439.55/1443.91 c #Conflicts: 878000 | #Constraints: 33030
1439.55/1443.91 c #Conflicts: 879000 | #Constraints: 34030
1439.55/1443.91 c #Conflicts: 880000 | #Constraints: 35030
1439.55/1443.91 c #Conflicts: 881000 | #Constraints: 36030
1439.55/1443.91 c #Conflicts: 882000 | #Constraints: 37030
1439.55/1443.91 c #Conflicts: 883000 | #Constraints: 38030
1439.55/1443.91 c #Conflicts: 884000 | #Constraints: 39030
1439.55/1443.91 c INPROCESSING
1439.55/1443.91 c GARBAGE COLLECT
1439.55/1443.91 c #Conflicts: 885000 | #Constraints: 21431
1439.55/1443.91 c #Conflicts: 886000 | #Constraints: 22431
1439.55/1443.91 c #Conflicts: 887000 | #Constraints: 23431
1439.55/1443.91 c #Conflicts: 888000 | #Constraints: 24431
1439.55/1443.91 c #Conflicts: 889000 | #Constraints: 25431
1439.55/1443.91 c #Conflicts: 890000 | #Constraints: 26431
1439.55/1443.91 c #Conflicts: 891000 | #Constraints: 27431
1439.55/1443.91 c #Conflicts: 892000 | #Constraints: 28431
1439.55/1443.91 c #Conflicts: 893000 | #Constraints: 29431
1439.55/1443.91 c #Conflicts: 894000 | #Constraints: 30431
1439.55/1443.91 c #Conflicts: 895000 | #Constraints: 31431
1439.55/1443.91 c #Conflicts: 896000 | #Constraints: 32431
1439.55/1443.91 c #Conflicts: 897000 | #Constraints: 33431
1439.55/1443.91 c #Conflicts: 898000 | #Constraints: 34431
1439.55/1443.91 c #Conflicts: 899000 | #Constraints: 35431
1439.55/1443.91 c #Conflicts: 900000 | #Constraints: 36431
1439.55/1443.91 c #Conflicts: 901000 | #Constraints: 37431
1439.55/1443.91 c #Conflicts: 902000 | #Constraints: 38431
1439.55/1443.91 c #Conflicts: 903000 | #Constraints: 39431
1439.55/1443.91 c INPROCESSING
1439.55/1443.91 c GARBAGE COLLECT
1439.55/1443.91 c #Conflicts: 904000 | #Constraints: 21627
1439.55/1443.91 c #Conflicts: 905000 | #Constraints: 22627
1439.55/1443.91 c #Conflicts: 906000 | #Constraints: 23627
1439.55/1443.91 c #Conflicts: 907000 | #Constraints: 24627
1439.55/1443.91 c #Conflicts: 908000 | #Constraints: 25627
1439.55/1443.91 c #Conflicts: 909000 | #Constraints: 26627
1439.55/1443.91 c #Conflicts: 910000 | #Constraints: 27627
1439.55/1443.91 c #Conflicts: 911000 | #Constraints: 28627
1439.55/1443.91 c #Conflicts: 912000 | #Constraints: 29627
1439.55/1443.91 c #Conflicts: 913000 | #Constraints: 30627
1439.55/1443.91 c #Conflicts: 914000 | #Constraints: 31627
1439.55/1443.91 c #Conflicts: 915000 | #Constraints: 32627
1439.55/1443.91 c #Conflicts: 916000 | #Constraints: 33627
1439.55/1443.91 c #Conflicts: 917000 | #Constraints: 34627
1439.55/1443.91 c #Conflicts: 918000 | #Constraints: 35627
1439.55/1443.91 c #Conflicts: 919000 | #Constraints: 36627
1439.55/1443.91 c #Conflicts: 920000 | #Constraints: 37627
1439.55/1443.91 c #Conflicts: 921000 | #Constraints: 38627
1439.55/1443.91 c #Conflicts: 922000 | #Constraints: 39627
1439.55/1443.91 c INPROCESSING
1439.55/1443.91 c GARBAGE COLLECT
1439.55/1443.91 c #Conflicts: 923000 | #Constraints: 21624
1439.55/1443.91 c #Conflicts: 924000 | #Constraints: 22624
1439.55/1443.91 c #Conflicts: 925000 | #Constraints: 23624
1439.55/1443.91 c #Conflicts: 926000 | #Constraints: 24624
1439.55/1443.91 c #Conflicts: 927000 | #Constraints: 25624
1439.55/1443.91 c #Conflicts: 928000 | #Constraints: 26624
1439.55/1443.91 c #Conflicts: 929000 | #Constraints: 27624
1439.55/1443.91 c #Conflicts: 930000 | #Constraints: 28624
1439.55/1443.91 c #Conflicts: 931000 | #Constraints: 29624
1439.55/1443.91 c #Conflicts: 932000 | #Constraints: 30624
1439.55/1443.91 c #Conflicts: 933000 | #Constraints: 31624
1439.55/1443.91 c #Conflicts: 934000 | #Constraints: 32624
1439.55/1443.91 c #Conflicts: 935000 | #Constraints: 33624
1594.50/1599.38 c #Conflicts: 936000 | #Constraints: 34624
1594.50/1599.38 c #Conflicts: 937000 | #Constraints: 35624
1594.50/1599.38 c #Conflicts: 938000 | #Constraints: 36624
1594.50/1599.38 c #Conflicts: 939000 | #Constraints: 37624
1594.50/1599.38 c #Conflicts: 940000 | #Constraints: 38624
1594.50/1599.38 c #Conflicts: 941000 | #Constraints: 39624
1594.50/1599.38 c INPROCESSING
1594.50/1599.38 c GARBAGE COLLECT
1594.50/1599.38 c #Conflicts: 942000 | #Constraints: 21422
1594.50/1599.38 c #Conflicts: 943000 | #Constraints: 22422
1594.50/1599.38 c #Conflicts: 944000 | #Constraints: 23422
1594.50/1599.38 c #Conflicts: 945000 | #Constraints: 24422
1594.50/1599.38 c #Conflicts: 946000 | #Constraints: 25422
1594.50/1599.38 c #Conflicts: 947000 | #Constraints: 26422
1594.50/1599.38 c #Conflicts: 948000 | #Constraints: 27422
1594.50/1599.38 c #Conflicts: 949000 | #Constraints: 28422
1594.50/1599.38 c #Conflicts: 950000 | #Constraints: 29422
1594.50/1599.38 c #Conflicts: 951000 | #Constraints: 30422
1594.50/1599.38 c #Conflicts: 952000 | #Constraints: 31422
1594.50/1599.38 c #Conflicts: 953000 | #Constraints: 32422
1594.50/1599.38 c #Conflicts: 954000 | #Constraints: 33422
1594.50/1599.38 c #Conflicts: 955000 | #Constraints: 34422
1594.50/1599.38 c #Conflicts: 956000 | #Constraints: 35422
1594.50/1599.38 c #Conflicts: 957000 | #Constraints: 36422
1594.50/1599.38 c #Conflicts: 958000 | #Constraints: 37422
1594.50/1599.38 c #Conflicts: 959000 | #Constraints: 38422
1594.50/1599.38 c #Conflicts: 960000 | #Constraints: 39422
1594.50/1599.38 c #Conflicts: 961000 | #Constraints: 40422
1594.50/1599.38 c INPROCESSING
1594.50/1599.38 c GARBAGE COLLECT
1594.50/1599.38 c #Conflicts: 962000 | #Constraints: 22021
1594.50/1599.38 c #Conflicts: 963000 | #Constraints: 23021
1594.50/1599.38 c #Conflicts: 964000 | #Constraints: 24021
1594.50/1599.38 c #Conflicts: 965000 | #Constraints: 25021
1594.50/1599.38 c #Conflicts: 966000 | #Constraints: 26021
1594.50/1599.38 c #Conflicts: 967000 | #Constraints: 27021
1594.50/1599.38 c #Conflicts: 968000 | #Constraints: 28021
1594.50/1599.38 c #Conflicts: 969000 | #Constraints: 29021
1594.50/1599.38 c #Conflicts: 970000 | #Constraints: 30021
1594.50/1599.38 c #Conflicts: 971000 | #Constraints: 31021
1594.50/1599.38 c #Conflicts: 972000 | #Constraints: 32021
1594.50/1599.38 c #Conflicts: 973000 | #Constraints: 33021
1594.50/1599.38 c #Conflicts: 974000 | #Constraints: 34021
1594.50/1599.38 c #Conflicts: 975000 | #Constraints: 35021
1594.50/1599.38 c #Conflicts: 976000 | #Constraints: 36021
1594.50/1599.38 c #Conflicts: 977000 | #Constraints: 37021
1594.50/1599.38 c #Conflicts: 978000 | #Constraints: 38021
1594.50/1599.38 c #Conflicts: 979000 | #Constraints: 39021
1594.50/1599.38 c #Conflicts: 980000 | #Constraints: 40021
1594.50/1599.38 c #Conflicts: 981000 | #Constraints: 41021
1594.50/1599.38 c INPROCESSING
1594.50/1599.38 c GARBAGE COLLECT
1594.50/1599.38 c #Conflicts: 982000 | #Constraints: 22432
1594.50/1599.38 c #Conflicts: 983000 | #Constraints: 23432
1594.50/1599.38 c #Conflicts: 984000 | #Constraints: 24432
1594.50/1599.38 c #Conflicts: 985000 | #Constraints: 25432
1594.50/1599.38 c #Conflicts: 986000 | #Constraints: 26432
1594.50/1599.38 c #Conflicts: 987000 | #Constraints: 27432
1594.50/1599.38 c #Conflicts: 988000 | #Constraints: 28432
1594.50/1599.38 c #Conflicts: 989000 | #Constraints: 29432
1594.50/1599.38 c #Conflicts: 990000 | #Constraints: 30432
1594.50/1599.38 c #Conflicts: 991000 | #Constraints: 31432
1594.50/1599.38 c #Conflicts: 992000 | #Constraints: 32432
1594.50/1599.38 c #Conflicts: 993000 | #Constraints: 33432
1594.50/1599.38 c #Conflicts: 994000 | #Constraints: 34432
1594.50/1599.38 c #Conflicts: 995000 | #Constraints: 35432
1594.50/1599.38 c #Conflicts: 996000 | #Constraints: 36432
1594.50/1599.38 c #Conflicts: 997000 | #Constraints: 37432
1594.50/1599.38 c #Conflicts: 998000 | #Constraints: 38432
1594.50/1599.38 c #Conflicts: 999000 | #Constraints: 39432
1594.50/1599.38 c #Conflicts: 1000000 | #Constraints: 40432
1594.50/1599.38 c #Conflicts: 1001000 | #Constraints: 41432
1594.50/1599.38 c INPROCESSING
1594.50/1599.38 c GARBAGE COLLECT
1594.50/1599.38 c #Conflicts: 1002000 | #Constraints: 22631
1594.50/1599.38 c #Conflicts: 1003000 | #Constraints: 23631
1594.50/1599.38 c #Conflicts: 1004000 | #Constraints: 24631
1594.50/1599.38 c #Conflicts: 1005000 | #Constraints: 25631
1594.50/1599.38 c #Conflicts: 1006000 | #Constraints: 26631
1594.50/1599.38 c #Conflicts: 1007000 | #Constraints: 27631
1594.50/1599.38 c #Conflicts: 1008000 | #Constraints: 28631
1594.50/1599.38 c #Conflicts: 1009000 | #Constraints: 29631
1594.50/1599.38 c #Conflicts: 1010000 | #Constraints: 30631
1594.50/1599.38 c #Conflicts: 1011000 | #Constraints: 31631
1838.20/1843.80 c #Conflicts: 1012000 | #Constraints: 32631
1838.20/1843.80 c #Conflicts: 1013000 | #Constraints: 33631
1838.20/1843.80 c #Conflicts: 1014000 | #Constraints: 34631
1838.20/1843.80 c #Conflicts: 1015000 | #Constraints: 35631
1838.20/1843.80 c #Conflicts: 1016000 | #Constraints: 36631
1838.20/1843.80 c #Conflicts: 1017000 | #Constraints: 37631
1838.20/1843.80 c #Conflicts: 1018000 | #Constraints: 38631
1838.20/1843.80 c #Conflicts: 1019000 | #Constraints: 39631
1838.20/1843.80 c #Conflicts: 1020000 | #Constraints: 40631
1838.20/1843.80 c #Conflicts: 1021000 | #Constraints: 41631
1838.20/1843.80 c INPROCESSING
1838.20/1843.80 c GARBAGE COLLECT
1838.20/1843.80 c #Conflicts: 1022000 | #Constraints: 22615
1838.20/1843.80 c #Conflicts: 1023000 | #Constraints: 23615
1838.20/1843.80 c #Conflicts: 1024000 | #Constraints: 24615
1838.20/1843.80 c #Conflicts: 1025000 | #Constraints: 25615
1838.20/1843.80 c #Conflicts: 1026000 | #Constraints: 26615
1838.20/1843.80 c #Conflicts: 1027000 | #Constraints: 27615
1838.20/1843.80 c #Conflicts: 1028000 | #Constraints: 28615
1838.20/1843.80 c #Conflicts: 1029000 | #Constraints: 29615
1838.20/1843.80 c #Conflicts: 1030000 | #Constraints: 30615
1838.20/1843.80 c #Conflicts: 1031000 | #Constraints: 31615
1838.20/1843.80 c #Conflicts: 1032000 | #Constraints: 32615
1838.20/1843.80 c #Conflicts: 1033000 | #Constraints: 33615
1838.20/1843.80 c #Conflicts: 1034000 | #Constraints: 34615
1838.20/1843.80 c #Conflicts: 1035000 | #Constraints: 35615
1838.20/1843.80 c #Conflicts: 1036000 | #Constraints: 36615
1838.20/1843.80 c #Conflicts: 1037000 | #Constraints: 37615
1838.20/1843.80 c #Conflicts: 1038000 | #Constraints: 38615
1838.20/1843.80 c #Conflicts: 1039000 | #Constraints: 39615
1838.20/1843.80 c #Conflicts: 1040000 | #Constraints: 40615
1838.20/1843.80 c #Conflicts: 1041000 | #Constraints: 41615
1838.20/1843.80 c INPROCESSING
1838.20/1843.80 c GARBAGE COLLECT
1838.20/1843.80 c #Conflicts: 1042000 | #Constraints: 22422
1838.20/1843.80 c #Conflicts: 1043000 | #Constraints: 23422
1838.20/1843.80 c #Conflicts: 1044000 | #Constraints: 24422
1838.20/1843.80 c #Conflicts: 1045000 | #Constraints: 25422
1838.20/1843.80 c #Conflicts: 1046000 | #Constraints: 26422
1838.20/1843.80 c #Conflicts: 1047000 | #Constraints: 27422
1838.20/1843.80 c #Conflicts: 1048000 | #Constraints: 28422
1838.20/1843.80 c #Conflicts: 1049000 | #Constraints: 29422
1838.20/1843.80 c #Conflicts: 1050000 | #Constraints: 30422
1838.20/1843.80 c #Conflicts: 1051000 | #Constraints: 31422
1838.20/1843.80 c #Conflicts: 1052000 | #Constraints: 32422
1838.20/1843.80 c #Conflicts: 1053000 | #Constraints: 33422
1838.20/1843.80 c #Conflicts: 1054000 | #Constraints: 34422
1838.20/1843.80 c #Conflicts: 1055000 | #Constraints: 35422
1838.20/1843.80 c #Conflicts: 1056000 | #Constraints: 36422
1838.20/1843.80 c #Conflicts: 1057000 | #Constraints: 37422
1838.20/1843.80 c #Conflicts: 1058000 | #Constraints: 38422
1838.20/1843.80 c #Conflicts: 1059000 | #Constraints: 39422
1838.20/1843.80 c #Conflicts: 1060000 | #Constraints: 40422
1838.20/1843.80 c #Conflicts: 1061000 | #Constraints: 41422
1838.20/1843.80 c #Conflicts: 1062000 | #Constraints: 42422
1838.20/1843.80 c INPROCESSING
1838.20/1843.80 c GARBAGE COLLECT
1838.20/1843.80 c #Conflicts: 1063000 | #Constraints: 23007
1838.20/1843.80 c #Conflicts: 1064000 | #Constraints: 24007
1838.20/1843.80 c #Conflicts: 1065000 | #Constraints: 25007
1838.20/1843.80 c #Conflicts: 1066000 | #Constraints: 26007
1838.20/1843.80 c #Conflicts: 1067000 | #Constraints: 27007
1838.20/1843.80 c #Conflicts: 1068000 | #Constraints: 28007
1838.20/1843.80 c #Conflicts: 1069000 | #Constraints: 29007
1838.20/1843.80 c #Conflicts: 1070000 | #Constraints: 30007
1838.20/1843.80 c #Conflicts: 1071000 | #Constraints: 31007
1838.20/1843.80 c #Conflicts: 1072000 | #Constraints: 32007
1838.20/1843.80 c #Conflicts: 1073000 | #Constraints: 33007
1838.20/1843.80 c #Conflicts: 1074000 | #Constraints: 34007
1838.20/1843.80 c #Conflicts: 1075000 | #Constraints: 35007
1838.20/1843.80 c #Conflicts: 1076000 | #Constraints: 36007
1838.20/1843.80 c #Conflicts: 1077000 | #Constraints: 37007
1838.20/1843.80 c #Conflicts: 1078000 | #Constraints: 38007
1838.20/1843.80 c #Conflicts: 1079000 | #Constraints: 39007
1838.20/1843.80 c #Conflicts: 1080000 | #Constraints: 40007
1838.20/1843.80 c #Conflicts: 1081000 | #Constraints: 41007
1838.20/1843.80 c #Conflicts: 1082000 | #Constraints: 42007
1838.20/1843.80 c #Conflicts: 1083000 | #Constraints: 43007
1838.20/1843.80 c INPROCESSING
1838.20/1843.80 c GARBAGE COLLECT
1838.20/1843.80 c #Conflicts: 1084000 | #Constraints: 23412
1838.20/1843.80 c #Conflicts: 1085000 | #Constraints: 24412
1838.20/1843.80 c #Conflicts: 1086000 | #Constraints: 25412
1838.20/1843.80 c #Conflicts: 1087000 | #Constraints: 26412
2033.24/2039.33 c #Conflicts: 1088000 | #Constraints: 27412
2033.24/2039.33 c #Conflicts: 1089000 | #Constraints: 28412
2033.24/2039.33 c #Conflicts: 1090000 | #Constraints: 29412
2033.24/2039.33 c #Conflicts: 1091000 | #Constraints: 30412
2033.24/2039.33 c #Conflicts: 1092000 | #Constraints: 31412
2033.24/2039.33 c #Conflicts: 1093000 | #Constraints: 32412
2033.24/2039.33 c #Conflicts: 1094000 | #Constraints: 33412
2033.24/2039.33 c #Conflicts: 1095000 | #Constraints: 34412
2033.24/2039.33 c #Conflicts: 1096000 | #Constraints: 35412
2033.24/2039.33 c #Conflicts: 1097000 | #Constraints: 36412
2033.24/2039.33 c #Conflicts: 1098000 | #Constraints: 37412
2033.24/2039.33 c #Conflicts: 1099000 | #Constraints: 38412
2033.24/2039.33 c #Conflicts: 1100000 | #Constraints: 39412
2033.24/2039.33 c #Conflicts: 1101000 | #Constraints: 40412
2033.24/2039.33 c #Conflicts: 1102000 | #Constraints: 41412
2033.24/2039.33 c #Conflicts: 1103000 | #Constraints: 42412
2033.24/2039.33 c #Conflicts: 1104000 | #Constraints: 43412
2033.24/2039.33 c INPROCESSING
2033.24/2039.33 c GARBAGE COLLECT
2033.24/2039.33 c #Conflicts: 1105000 | #Constraints: 23617
2033.24/2039.33 c #Conflicts: 1106000 | #Constraints: 24617
2033.24/2039.33 c #Conflicts: 1107000 | #Constraints: 25617
2033.24/2039.33 c #Conflicts: 1108000 | #Constraints: 26617
2033.24/2039.33 c #Conflicts: 1109000 | #Constraints: 27617
2033.24/2039.33 c #Conflicts: 1110000 | #Constraints: 28617
2033.24/2039.33 c #Conflicts: 1111000 | #Constraints: 29617
2033.24/2039.33 c #Conflicts: 1112000 | #Constraints: 30617
2033.24/2039.33 c #Conflicts: 1113000 | #Constraints: 31617
2033.24/2039.33 c #Conflicts: 1114000 | #Constraints: 32617
2033.24/2039.33 c #Conflicts: 1115000 | #Constraints: 33617
2033.24/2039.33 c #Conflicts: 1116000 | #Constraints: 34617
2033.24/2039.33 c #Conflicts: 1117000 | #Constraints: 35617
2033.24/2039.33 c #Conflicts: 1118000 | #Constraints: 36617
2033.24/2039.33 c #Conflicts: 1119000 | #Constraints: 37617
2033.24/2039.33 c #Conflicts: 1120000 | #Constraints: 38617
2033.24/2039.33 c #Conflicts: 1121000 | #Constraints: 39617
2033.24/2039.33 c #Conflicts: 1122000 | #Constraints: 40617
2033.24/2039.33 c #Conflicts: 1123000 | #Constraints: 41617
2033.24/2039.33 c #Conflicts: 1124000 | #Constraints: 42617
2033.24/2039.33 c #Conflicts: 1125000 | #Constraints: 43617
2033.24/2039.33 c INPROCESSING
2033.24/2039.33 c GARBAGE COLLECT
2033.24/2039.33 c #Conflicts: 1126000 | #Constraints: 23622
2033.24/2039.33 c #Conflicts: 1127000 | #Constraints: 24622
2033.24/2039.33 c #Conflicts: 1128000 | #Constraints: 25622
2033.24/2039.33 c #Conflicts: 1129000 | #Constraints: 26622
2033.24/2039.33 c #Conflicts: 1130000 | #Constraints: 27622
2033.24/2039.33 c #Conflicts: 1131000 | #Constraints: 28622
2033.24/2039.33 c #Conflicts: 1132000 | #Constraints: 29622
2033.24/2039.33 c #Conflicts: 1133000 | #Constraints: 30622
2033.24/2039.33 c #Conflicts: 1134000 | #Constraints: 31622
2033.24/2039.33 c #Conflicts: 1135000 | #Constraints: 32622
2033.24/2039.33 c #Conflicts: 1136000 | #Constraints: 33622
2033.24/2039.33 c #Conflicts: 1137000 | #Constraints: 34622
2033.24/2039.33 c #Conflicts: 1138000 | #Constraints: 35622
2033.24/2039.33 c #Conflicts: 1139000 | #Constraints: 36622
2033.24/2039.33 c #Conflicts: 1140000 | #Constraints: 37622
2033.24/2039.33 c #Conflicts: 1141000 | #Constraints: 38622
2033.24/2039.33 c #Conflicts: 1142000 | #Constraints: 39622
2033.24/2039.33 c #Conflicts: 1143000 | #Constraints: 40622
2033.24/2039.33 c #Conflicts: 1144000 | #Constraints: 41622
2033.24/2039.33 c #Conflicts: 1145000 | #Constraints: 42622
2033.24/2039.33 c #Conflicts: 1146000 | #Constraints: 43622
2033.24/2039.33 c INPROCESSING
2033.24/2039.33 c GARBAGE COLLECT
2033.24/2039.33 c #Conflicts: 1147000 | #Constraints: 23419
2033.24/2039.33 c #Conflicts: 1148000 | #Constraints: 24419
2033.24/2039.33 c #Conflicts: 1149000 | #Constraints: 25419
2033.24/2039.33 c #Conflicts: 1150000 | #Constraints: 26419
2033.24/2039.33 c #Conflicts: 1151000 | #Constraints: 27419
2033.24/2039.33 c #Conflicts: 1152000 | #Constraints: 28419
2033.24/2039.33 c #Conflicts: 1153000 | #Constraints: 29419
2033.24/2039.33 c #Conflicts: 1154000 | #Constraints: 30419
2033.24/2039.33 c #Conflicts: 1155000 | #Constraints: 31419
2033.24/2039.33 c #Conflicts: 1156000 | #Constraints: 32419
2033.24/2039.33 c #Conflicts: 1157000 | #Constraints: 33419
2033.24/2039.33 c #Conflicts: 1158000 | #Constraints: 34419
2033.24/2039.33 c #Conflicts: 1159000 | #Constraints: 35419
2033.24/2039.33 c #Conflicts: 1160000 | #Constraints: 36419
2033.24/2039.33 c #Conflicts: 1161000 | #Constraints: 37419
2033.24/2039.33 c #Conflicts: 1162000 | #Constraints: 38419
2033.24/2039.33 c #Conflicts: 1163000 | #Constraints: 39419
2033.24/2039.33 c #Conflicts: 1164000 | #Constraints: 40419
2195.40/2202.00 c #Conflicts: 1165000 | #Constraints: 41419
2195.40/2202.00 c #Conflicts: 1166000 | #Constraints: 42419
2195.40/2202.00 c #Conflicts: 1167000 | #Constraints: 43419
2195.40/2202.00 c #Conflicts: 1168000 | #Constraints: 44419
2195.40/2202.00 c INPROCESSING
2195.40/2202.00 c GARBAGE COLLECT
2195.40/2202.00 c #Conflicts: 1169000 | #Constraints: 24027
2195.40/2202.00 c #Conflicts: 1170000 | #Constraints: 25027
2195.40/2202.00 c #Conflicts: 1171000 | #Constraints: 26027
2195.40/2202.00 c #Conflicts: 1172000 | #Constraints: 27027
2195.40/2202.00 c #Conflicts: 1173000 | #Constraints: 28027
2195.40/2202.00 c #Conflicts: 1174000 | #Constraints: 29027
2195.40/2202.00 c #Conflicts: 1175000 | #Constraints: 30027
2195.40/2202.00 c #Conflicts: 1176000 | #Constraints: 31027
2195.40/2202.00 c #Conflicts: 1177000 | #Constraints: 32027
2195.40/2202.00 c #Conflicts: 1178000 | #Constraints: 33027
2195.40/2202.00 c #Conflicts: 1179000 | #Constraints: 34027
2195.40/2202.00 c #Conflicts: 1180000 | #Constraints: 35027
2195.40/2202.00 c #Conflicts: 1181000 | #Constraints: 36027
2195.40/2202.00 c #Conflicts: 1182000 | #Constraints: 37027
2195.40/2202.00 c #Conflicts: 1183000 | #Constraints: 38027
2195.40/2202.00 c #Conflicts: 1184000 | #Constraints: 39027
2195.40/2202.00 c #Conflicts: 1185000 | #Constraints: 40027
2195.40/2202.00 c #Conflicts: 1186000 | #Constraints: 41027
2195.40/2202.00 c #Conflicts: 1187000 | #Constraints: 42027
2195.40/2202.00 c #Conflicts: 1188000 | #Constraints: 43027
2195.40/2202.00 c #Conflicts: 1189000 | #Constraints: 44027
2195.40/2202.00 c #Conflicts: 1190000 | #Constraints: 45027
2195.40/2202.00 c INPROCESSING
2195.40/2202.00 c GARBAGE COLLECT
2195.40/2202.00 c #Conflicts: 1191000 | #Constraints: 24429
2195.40/2202.00 c #Conflicts: 1192000 | #Constraints: 25429
2195.40/2202.00 c #Conflicts: 1193000 | #Constraints: 26429
2195.40/2202.00 c #Conflicts: 1194000 | #Constraints: 27429
2195.40/2202.00 c #Conflicts: 1195000 | #Constraints: 28429
2195.40/2202.00 c #Conflicts: 1196000 | #Constraints: 29429
2195.40/2202.00 c #Conflicts: 1197000 | #Constraints: 30429
2195.40/2202.00 c #Conflicts: 1198000 | #Constraints: 31429
2195.40/2202.00 c #Conflicts: 1199000 | #Constraints: 32429
2195.40/2202.00 c #Conflicts: 1200000 | #Constraints: 33429
2195.40/2202.00 c #Conflicts: 1201000 | #Constraints: 34429
2195.40/2202.00 c #Conflicts: 1202000 | #Constraints: 35429
2195.40/2202.00 c #Conflicts: 1203000 | #Constraints: 36429
2195.40/2202.00 c #Conflicts: 1204000 | #Constraints: 37429
2195.40/2202.00 c #Conflicts: 1205000 | #Constraints: 38429
2195.40/2202.00 c #Conflicts: 1206000 | #Constraints: 39429
2195.40/2202.00 c #Conflicts: 1207000 | #Constraints: 40429
2195.40/2202.00 c #Conflicts: 1208000 | #Constraints: 41429
2195.40/2202.00 c #Conflicts: 1209000 | #Constraints: 42429
2195.40/2202.00 c #Conflicts: 1210000 | #Constraints: 43429
2195.40/2202.00 c #Conflicts: 1211000 | #Constraints: 44429
2195.40/2202.00 c #Conflicts: 1212000 | #Constraints: 45429
2195.40/2202.00 c INPROCESSING
2195.40/2202.00 c GARBAGE COLLECT
2195.40/2202.00 c #Conflicts: 1213000 | #Constraints: 24625
2195.40/2202.00 c #Conflicts: 1214000 | #Constraints: 25625
2195.40/2202.00 c #Conflicts: 1215000 | #Constraints: 26625
2195.40/2202.00 c #Conflicts: 1216000 | #Constraints: 27625
2195.40/2202.00 c #Conflicts: 1217000 | #Constraints: 28625
2195.40/2202.00 c #Conflicts: 1218000 | #Constraints: 29625
2195.40/2202.00 c #Conflicts: 1219000 | #Constraints: 30625
2195.40/2202.00 c #Conflicts: 1220000 | #Constraints: 31625
2195.40/2202.00 c #Conflicts: 1221000 | #Constraints: 32625
2195.40/2202.00 c #Conflicts: 1222000 | #Constraints: 33625
2195.40/2202.00 c #Conflicts: 1223000 | #Constraints: 34625
2195.40/2202.00 c #Conflicts: 1224000 | #Constraints: 35625
2195.40/2202.00 c #Conflicts: 1225000 | #Constraints: 36625
2195.40/2202.00 c #Conflicts: 1226000 | #Constraints: 37625
2195.40/2202.00 c #Conflicts: 1227000 | #Constraints: 38625
2195.40/2202.00 c #Conflicts: 1228000 | #Constraints: 39625
2195.40/2202.00 c #Conflicts: 1229000 | #Constraints: 40625
2195.40/2202.00 c #Conflicts: 1230000 | #Constraints: 41625
2195.40/2202.00 c #Conflicts: 1231000 | #Constraints: 42625
2195.40/2202.00 c #Conflicts: 1232000 | #Constraints: 43625
2195.40/2202.00 c #Conflicts: 1233000 | #Constraints: 44625
2195.40/2202.00 c #Conflicts: 1234000 | #Constraints: 45625
2195.40/2202.00 c INPROCESSING
2195.40/2202.00 c GARBAGE COLLECT
2195.40/2202.00 c #Conflicts: 1235000 | #Constraints: 24646
2195.40/2202.00 c #Conflicts: 1236000 | #Constraints: 25646
2195.40/2202.00 c #Conflicts: 1237000 | #Constraints: 26646
2195.40/2202.00 c #Conflicts: 1238000 | #Constraints: 27646
2195.40/2202.00 c #Conflicts: 1239000 | #Constraints: 28646
2195.40/2202.00 c #Conflicts: 1240000 | #Constraints: 29646
2356.05/2363.07 c #Conflicts: 1241000 | #Constraints: 30646
2356.05/2363.07 c #Conflicts: 1242000 | #Constraints: 31646
2356.05/2363.07 c #Conflicts: 1243000 | #Constraints: 32646
2356.05/2363.07 c #Conflicts: 1244000 | #Constraints: 33646
2356.05/2363.07 c #Conflicts: 1245000 | #Constraints: 34646
2356.05/2363.07 c #Conflicts: 1246000 | #Constraints: 35646
2356.05/2363.07 c #Conflicts: 1247000 | #Constraints: 36646
2356.05/2363.07 c #Conflicts: 1248000 | #Constraints: 37646
2356.05/2363.07 c #Conflicts: 1249000 | #Constraints: 38646
2356.05/2363.07 c #Conflicts: 1250000 | #Constraints: 39646
2356.05/2363.07 c #Conflicts: 1251000 | #Constraints: 40646
2356.05/2363.07 c #Conflicts: 1252000 | #Constraints: 41646
2356.05/2363.07 c #Conflicts: 1253000 | #Constraints: 42646
2356.05/2363.07 c #Conflicts: 1254000 | #Constraints: 43646
2356.05/2363.07 c #Conflicts: 1255000 | #Constraints: 44646
2356.05/2363.07 c #Conflicts: 1256000 | #Constraints: 45646
2356.05/2363.07 c INPROCESSING
2356.05/2363.07 c GARBAGE COLLECT
2356.05/2363.07 c #Conflicts: 1257000 | #Constraints: 24435
2356.05/2363.07 c #Conflicts: 1258000 | #Constraints: 25435
2356.05/2363.07 c #Conflicts: 1259000 | #Constraints: 26435
2356.05/2363.07 c #Conflicts: 1260000 | #Constraints: 27435
2356.05/2363.07 c #Conflicts: 1261000 | #Constraints: 28435
2356.05/2363.07 c #Conflicts: 1262000 | #Constraints: 29435
2356.05/2363.07 c #Conflicts: 1263000 | #Constraints: 30435
2356.05/2363.07 c #Conflicts: 1264000 | #Constraints: 31435
2356.05/2363.07 c #Conflicts: 1265000 | #Constraints: 32435
2356.05/2363.07 c #Conflicts: 1266000 | #Constraints: 33435
2356.05/2363.07 c #Conflicts: 1267000 | #Constraints: 34435
2356.05/2363.07 c #Conflicts: 1268000 | #Constraints: 35435
2356.05/2363.07 c #Conflicts: 1269000 | #Constraints: 36435
2356.05/2363.07 c #Conflicts: 1270000 | #Constraints: 37435
2356.05/2363.07 c #Conflicts: 1271000 | #Constraints: 38435
2356.05/2363.07 c #Conflicts: 1272000 | #Constraints: 39435
2356.05/2363.07 c #Conflicts: 1273000 | #Constraints: 40435
2356.05/2363.07 c #Conflicts: 1274000 | #Constraints: 41435
2356.05/2363.07 c #Conflicts: 1275000 | #Constraints: 42435
2356.05/2363.07 c #Conflicts: 1276000 | #Constraints: 43435
2356.05/2363.07 c #Conflicts: 1277000 | #Constraints: 44435
2356.05/2363.07 c #Conflicts: 1278000 | #Constraints: 45435
2356.05/2363.07 c #Conflicts: 1279000 | #Constraints: 46435
2356.05/2363.07 c INPROCESSING
2356.05/2363.07 c GARBAGE COLLECT
2356.05/2363.07 c #Conflicts: 1280000 | #Constraints: 25040
2356.05/2363.07 c #Conflicts: 1281000 | #Constraints: 26040
2356.05/2363.07 c #Conflicts: 1282000 | #Constraints: 27040
2356.05/2363.07 c #Conflicts: 1283000 | #Constraints: 28040
2356.05/2363.07 c #Conflicts: 1284000 | #Constraints: 29040
2356.05/2363.07 c #Conflicts: 1285000 | #Constraints: 30040
2356.05/2363.07 c #Conflicts: 1286000 | #Constraints: 31040
2356.05/2363.07 c #Conflicts: 1287000 | #Constraints: 32040
2356.05/2363.07 c #Conflicts: 1288000 | #Constraints: 33040
2356.05/2363.07 c #Conflicts: 1289000 | #Constraints: 34040
2356.05/2363.07 c #Conflicts: 1290000 | #Constraints: 35040
2356.05/2363.07 c #Conflicts: 1291000 | #Constraints: 36040
2356.05/2363.07 c #Conflicts: 1292000 | #Constraints: 37040
2356.05/2363.07 c #Conflicts: 1293000 | #Constraints: 38040
2356.05/2363.07 c #Conflicts: 1294000 | #Constraints: 39040
2356.05/2363.07 c #Conflicts: 1295000 | #Constraints: 40040
2356.05/2363.07 c #Conflicts: 1296000 | #Constraints: 41040
2356.05/2363.07 c #Conflicts: 1297000 | #Constraints: 42040
2356.05/2363.07 c #Conflicts: 1298000 | #Constraints: 43040
2356.05/2363.07 c #Conflicts: 1299000 | #Constraints: 44040
2356.05/2363.07 c #Conflicts: 1300000 | #Constraints: 45040
2356.05/2363.07 c #Conflicts: 1301000 | #Constraints: 46040
2356.05/2363.07 c #Conflicts: 1302000 | #Constraints: 47040
2356.05/2363.07 c INPROCESSING
2356.05/2363.07 c GARBAGE COLLECT
2356.05/2363.07 c #Conflicts: 1303000 | #Constraints: 25434
2356.05/2363.07 c #Conflicts: 1304000 | #Constraints: 26434
2356.05/2363.07 c #Conflicts: 1305000 | #Constraints: 27434
2356.05/2363.07 c #Conflicts: 1306000 | #Constraints: 28434
2356.05/2363.07 c #Conflicts: 1307000 | #Constraints: 29434
2356.05/2363.07 c #Conflicts: 1308000 | #Constraints: 30434
2356.05/2363.07 c #Conflicts: 1309000 | #Constraints: 31434
2356.05/2363.07 c #Conflicts: 1310000 | #Constraints: 32434
2356.05/2363.07 c #Conflicts: 1311000 | #Constraints: 33434
2356.05/2363.07 c #Conflicts: 1312000 | #Constraints: 34434
2356.05/2363.07 c #Conflicts: 1313000 | #Constraints: 35434
2356.05/2363.07 c #Conflicts: 1314000 | #Constraints: 36434
2356.05/2363.07 c #Conflicts: 1315000 | #Constraints: 37434
2356.05/2363.07 c #Conflicts: 1316000 | #Constraints: 38434
2356.05/2363.07 c #Conflicts: 1317000 | #Constraints: 39434
2522.44/2529.95 c #Conflicts: 1318000 | #Constraints: 40434
2522.44/2529.95 c #Conflicts: 1319000 | #Constraints: 41434
2522.44/2529.95 c #Conflicts: 1320000 | #Constraints: 42434
2522.44/2529.95 c #Conflicts: 1321000 | #Constraints: 43434
2522.44/2529.95 c #Conflicts: 1322000 | #Constraints: 44434
2522.44/2529.95 c #Conflicts: 1323000 | #Constraints: 45434
2522.44/2529.95 c #Conflicts: 1324000 | #Constraints: 46434
2522.44/2529.95 c #Conflicts: 1325000 | #Constraints: 47434
2522.44/2529.95 c INPROCESSING
2522.44/2529.95 c GARBAGE COLLECT
2522.44/2529.95 c #Conflicts: 1326000 | #Constraints: 25636
2522.44/2529.95 c #Conflicts: 1327000 | #Constraints: 26636
2522.44/2529.95 c #Conflicts: 1328000 | #Constraints: 27636
2522.44/2529.95 c #Conflicts: 1329000 | #Constraints: 28636
2522.44/2529.95 c #Conflicts: 1330000 | #Constraints: 29636
2522.44/2529.95 c #Conflicts: 1331000 | #Constraints: 30636
2522.44/2529.95 c #Conflicts: 1332000 | #Constraints: 31636
2522.44/2529.95 c #Conflicts: 1333000 | #Constraints: 32636
2522.44/2529.95 c #Conflicts: 1334000 | #Constraints: 33636
2522.44/2529.95 c #Conflicts: 1335000 | #Constraints: 34636
2522.44/2529.95 c #Conflicts: 1336000 | #Constraints: 35636
2522.44/2529.95 c #Conflicts: 1337000 | #Constraints: 36636
2522.44/2529.95 c #Conflicts: 1338000 | #Constraints: 37636
2522.44/2529.95 c #Conflicts: 1339000 | #Constraints: 38636
2522.44/2529.95 c #Conflicts: 1340000 | #Constraints: 39636
2522.44/2529.95 c #Conflicts: 1341000 | #Constraints: 40636
2522.44/2529.95 c #Conflicts: 1342000 | #Constraints: 41636
2522.44/2529.95 c #Conflicts: 1343000 | #Constraints: 42636
2522.44/2529.95 c #Conflicts: 1344000 | #Constraints: 43636
2522.44/2529.95 c #Conflicts: 1345000 | #Constraints: 44636
2522.44/2529.95 c #Conflicts: 1346000 | #Constraints: 45636
2522.44/2529.95 c #Conflicts: 1347000 | #Constraints: 46636
2522.44/2529.95 c #Conflicts: 1348000 | #Constraints: 47636
2522.44/2529.95 c INPROCESSING
2522.44/2529.95 c GARBAGE COLLECT
2522.44/2529.95 c #Conflicts: 1349000 | #Constraints: 25634
2522.44/2529.95 c #Conflicts: 1350000 | #Constraints: 26634
2522.44/2529.95 c #Conflicts: 1351000 | #Constraints: 27634
2522.44/2529.95 c #Conflicts: 1352000 | #Constraints: 28634
2522.44/2529.95 c #Conflicts: 1353000 | #Constraints: 29634
2522.44/2529.95 c #Conflicts: 1354000 | #Constraints: 30634
2522.44/2529.95 c #Conflicts: 1355000 | #Constraints: 31634
2522.44/2529.95 c #Conflicts: 1356000 | #Constraints: 32634
2522.44/2529.95 c #Conflicts: 1357000 | #Constraints: 33634
2522.44/2529.95 c #Conflicts: 1358000 | #Constraints: 34634
2522.44/2529.95 c #Conflicts: 1359000 | #Constraints: 35634
2522.44/2529.95 c #Conflicts: 1360000 | #Constraints: 36634
2522.44/2529.95 c #Conflicts: 1361000 | #Constraints: 37634
2522.44/2529.95 c #Conflicts: 1362000 | #Constraints: 38634
2522.44/2529.95 c #Conflicts: 1363000 | #Constraints: 39634
2522.44/2529.95 c #Conflicts: 1364000 | #Constraints: 40634
2522.44/2529.95 c #Conflicts: 1365000 | #Constraints: 41634
2522.44/2529.95 c #Conflicts: 1366000 | #Constraints: 42634
2522.44/2529.95 c #Conflicts: 1367000 | #Constraints: 43634
2522.44/2529.95 c #Conflicts: 1368000 | #Constraints: 44634
2522.44/2529.95 c #Conflicts: 1369000 | #Constraints: 45634
2522.44/2529.95 c #Conflicts: 1370000 | #Constraints: 46634
2522.44/2529.95 c #Conflicts: 1371000 | #Constraints: 47634
2522.44/2529.95 c INPROCESSING
2522.44/2529.95 c GARBAGE COLLECT
2522.44/2529.95 c #Conflicts: 1372000 | #Constraints: 25448
2522.44/2529.95 c #Conflicts: 1373000 | #Constraints: 26448
2522.44/2529.95 c #Conflicts: 1374000 | #Constraints: 27448
2522.44/2529.95 c #Conflicts: 1375000 | #Constraints: 28448
2522.44/2529.95 c #Conflicts: 1376000 | #Constraints: 29448
2522.44/2529.95 c #Conflicts: 1377000 | #Constraints: 30448
2522.44/2529.95 c #Conflicts: 1378000 | #Constraints: 31448
2522.44/2529.95 c #Conflicts: 1379000 | #Constraints: 32448
2522.44/2529.95 c #Conflicts: 1380000 | #Constraints: 33448
2522.44/2529.95 c #Conflicts: 1381000 | #Constraints: 34448
2522.44/2529.95 c #Conflicts: 1382000 | #Constraints: 35448
2522.44/2529.95 c #Conflicts: 1383000 | #Constraints: 36448
2522.44/2529.95 c #Conflicts: 1384000 | #Constraints: 37448
2522.44/2529.95 c #Conflicts: 1385000 | #Constraints: 38448
2522.44/2529.95 c #Conflicts: 1386000 | #Constraints: 39448
2522.44/2529.95 c #Conflicts: 1387000 | #Constraints: 40448
2522.44/2529.95 c #Conflicts: 1388000 | #Constraints: 41448
2522.44/2529.95 c #Conflicts: 1389000 | #Constraints: 42448
2522.44/2529.95 c #Conflicts: 1390000 | #Constraints: 43448
2522.44/2529.95 c #Conflicts: 1391000 | #Constraints: 44448
2522.44/2529.95 c #Conflicts: 1392000 | #Constraints: 45448
2522.44/2529.95 c #Conflicts: 1393000 | #Constraints: 46448
2522.44/2529.95 c #Conflicts: 1394000 | #Constraints: 47448
2698.18/2706.28 c #Conflicts: 1395000 | #Constraints: 48448
2698.18/2706.28 c INPROCESSING
2698.18/2706.28 c GARBAGE COLLECT
2698.18/2706.28 c #Conflicts: 1396000 | #Constraints: 26048
2698.18/2706.28 c #Conflicts: 1397000 | #Constraints: 27048
2698.18/2706.28 c #Conflicts: 1398000 | #Constraints: 28048
2698.18/2706.28 c #Conflicts: 1399000 | #Constraints: 29048
2698.18/2706.28 c #Conflicts: 1400000 | #Constraints: 30048
2698.18/2706.28 c #Conflicts: 1401000 | #Constraints: 31048
2698.18/2706.28 c #Conflicts: 1402000 | #Constraints: 32048
2698.18/2706.28 c #Conflicts: 1403000 | #Constraints: 33048
2698.18/2706.28 c #Conflicts: 1404000 | #Constraints: 34048
2698.18/2706.28 c #Conflicts: 1405000 | #Constraints: 35048
2698.18/2706.28 c #Conflicts: 1406000 | #Constraints: 36048
2698.18/2706.28 c #Conflicts: 1407000 | #Constraints: 37048
2698.18/2706.28 c #Conflicts: 1408000 | #Constraints: 38048
2698.18/2706.28 c #Conflicts: 1409000 | #Constraints: 39048
2698.18/2706.28 c #Conflicts: 1410000 | #Constraints: 40048
2698.18/2706.28 c #Conflicts: 1411000 | #Constraints: 41048
2698.18/2706.28 c #Conflicts: 1412000 | #Constraints: 42048
2698.18/2706.28 c #Conflicts: 1413000 | #Constraints: 43048
2698.18/2706.28 c #Conflicts: 1414000 | #Constraints: 44048
2698.18/2706.28 c #Conflicts: 1415000 | #Constraints: 45048
2698.18/2706.28 c #Conflicts: 1416000 | #Constraints: 46048
2698.18/2706.28 c #Conflicts: 1417000 | #Constraints: 47048
2698.18/2706.28 c #Conflicts: 1418000 | #Constraints: 48048
2698.18/2706.28 c #Conflicts: 1419000 | #Constraints: 49048
2698.18/2706.28 c INPROCESSING
2698.18/2706.28 c GARBAGE COLLECT
2698.18/2706.28 c #Conflicts: 1420000 | #Constraints: 26437
2698.18/2706.28 c #Conflicts: 1421000 | #Constraints: 27437
2698.18/2706.28 c #Conflicts: 1422000 | #Constraints: 28437
2698.18/2706.28 c #Conflicts: 1423000 | #Constraints: 29437
2698.18/2706.28 c #Conflicts: 1424000 | #Constraints: 30437
2698.18/2706.28 c #Conflicts: 1425000 | #Constraints: 31437
2698.18/2706.28 c #Conflicts: 1426000 | #Constraints: 32437
2698.18/2706.28 c #Conflicts: 1427000 | #Constraints: 33437
2698.18/2706.28 c #Conflicts: 1428000 | #Constraints: 34437
2698.18/2706.28 c #Conflicts: 1429000 | #Constraints: 35437
2698.18/2706.28 c #Conflicts: 1430000 | #Constraints: 36437
2698.18/2706.28 c #Conflicts: 1431000 | #Constraints: 37437
2698.18/2706.28 c #Conflicts: 1432000 | #Constraints: 38437
2698.18/2706.28 c #Conflicts: 1433000 | #Constraints: 39437
2698.18/2706.28 c #Conflicts: 1434000 | #Constraints: 40437
2698.18/2706.28 c #Conflicts: 1435000 | #Constraints: 41437
2698.18/2706.28 c #Conflicts: 1436000 | #Constraints: 42437
2698.18/2706.28 c #Conflicts: 1437000 | #Constraints: 43437
2698.18/2706.28 c #Conflicts: 1438000 | #Constraints: 44437
2698.18/2706.28 c #Conflicts: 1439000 | #Constraints: 45437
2698.18/2706.28 c #Conflicts: 1440000 | #Constraints: 46437
2698.18/2706.28 c #Conflicts: 1441000 | #Constraints: 47437
2698.18/2706.28 c #Conflicts: 1442000 | #Constraints: 48437
2698.18/2706.28 c #Conflicts: 1443000 | #Constraints: 49437
2698.18/2706.28 c INPROCESSING
2698.18/2706.28 c GARBAGE COLLECT
2698.18/2706.28 c #Conflicts: 1444000 | #Constraints: 26637
2698.18/2706.28 c #Conflicts: 1445000 | #Constraints: 27637
2698.18/2706.28 c #Conflicts: 1446000 | #Constraints: 28637
2698.18/2706.28 c #Conflicts: 1447000 | #Constraints: 29637
2698.18/2706.28 c #Conflicts: 1448000 | #Constraints: 30637
2698.18/2706.28 c #Conflicts: 1449000 | #Constraints: 31637
2698.18/2706.28 c #Conflicts: 1450000 | #Constraints: 32637
2698.18/2706.28 c #Conflicts: 1451000 | #Constraints: 33637
2698.18/2706.28 c #Conflicts: 1452000 | #Constraints: 34637
2698.18/2706.28 c #Conflicts: 1453000 | #Constraints: 35637
2698.18/2706.28 c #Conflicts: 1454000 | #Constraints: 36637
2698.18/2706.28 c #Conflicts: 1455000 | #Constraints: 37637
2698.18/2706.28 c #Conflicts: 1456000 | #Constraints: 38637
2698.18/2706.28 c #Conflicts: 1457000 | #Constraints: 39637
2698.18/2706.28 c #Conflicts: 1458000 | #Constraints: 40637
2698.18/2706.28 c #Conflicts: 1459000 | #Constraints: 41637
2698.18/2706.28 c #Conflicts: 1460000 | #Constraints: 42637
2698.18/2706.28 c #Conflicts: 1461000 | #Constraints: 43637
2698.18/2706.28 c #Conflicts: 1462000 | #Constraints: 44637
2698.18/2706.28 c #Conflicts: 1463000 | #Constraints: 45637
2698.18/2706.28 c #Conflicts: 1464000 | #Constraints: 46637
2698.18/2706.28 c #Conflicts: 1465000 | #Constraints: 47637
2698.18/2706.28 c #Conflicts: 1466000 | #Constraints: 48637
2698.18/2706.28 c #Conflicts: 1467000 | #Constraints: 49637
2698.18/2706.28 c INPROCESSING
2698.18/2706.28 c GARBAGE COLLECT
2698.18/2706.28 c #Conflicts: 1468000 | #Constraints: 26637
2698.18/2706.28 c #Conflicts: 1469000 | #Constraints: 27637
2698.18/2706.28 c #Conflicts: 1470000 | #Constraints: 28637
2860.58/2869.16 c #Conflicts: 1471000 | #Constraints: 29637
2860.58/2869.16 c #Conflicts: 1472000 | #Constraints: 30637
2860.58/2869.16 c #Conflicts: 1473000 | #Constraints: 31637
2860.58/2869.16 c #Conflicts: 1474000 | #Constraints: 32637
2860.58/2869.16 c #Conflicts: 1475000 | #Constraints: 33637
2860.58/2869.16 c #Conflicts: 1476000 | #Constraints: 34637
2860.58/2869.16 c #Conflicts: 1477000 | #Constraints: 35637
2860.58/2869.16 c #Conflicts: 1478000 | #Constraints: 36637
2860.58/2869.16 c #Conflicts: 1479000 | #Constraints: 37637
2860.58/2869.16 c #Conflicts: 1480000 | #Constraints: 38637
2860.58/2869.16 c #Conflicts: 1481000 | #Constraints: 39637
2860.58/2869.16 c #Conflicts: 1482000 | #Constraints: 40637
2860.58/2869.16 c #Conflicts: 1483000 | #Constraints: 41637
2860.58/2869.16 c #Conflicts: 1484000 | #Constraints: 42637
2860.58/2869.16 c #Conflicts: 1485000 | #Constraints: 43637
2860.58/2869.16 c #Conflicts: 1486000 | #Constraints: 44637
2860.58/2869.16 c #Conflicts: 1487000 | #Constraints: 45637
2860.58/2869.16 c #Conflicts: 1488000 | #Constraints: 46637
2860.58/2869.16 c #Conflicts: 1489000 | #Constraints: 47637
2860.58/2869.16 c #Conflicts: 1490000 | #Constraints: 48637
2860.58/2869.16 c #Conflicts: 1491000 | #Constraints: 49637
2860.58/2869.16 c INPROCESSING
2860.58/2869.16 c GARBAGE COLLECT
2860.58/2869.16 c #Conflicts: 1492000 | #Constraints: 26433
2860.58/2869.16 c #Conflicts: 1493000 | #Constraints: 27433
2860.58/2869.16 c #Conflicts: 1494000 | #Constraints: 28433
2860.58/2869.16 c #Conflicts: 1495000 | #Constraints: 29433
2860.58/2869.16 c #Conflicts: 1496000 | #Constraints: 30433
2860.58/2869.16 c #Conflicts: 1497000 | #Constraints: 31433
2860.58/2869.16 c #Conflicts: 1498000 | #Constraints: 32433
2860.58/2869.16 c #Conflicts: 1499000 | #Constraints: 33433
2860.58/2869.16 c #Conflicts: 1500000 | #Constraints: 34433
2860.58/2869.16 c #Conflicts: 1501000 | #Constraints: 35433
2860.58/2869.16 c #Conflicts: 1502000 | #Constraints: 36433
2860.58/2869.16 c #Conflicts: 1503000 | #Constraints: 37433
2860.58/2869.16 c #Conflicts: 1504000 | #Constraints: 38433
2860.58/2869.16 c #Conflicts: 1505000 | #Constraints: 39433
2860.58/2869.16 c #Conflicts: 1506000 | #Constraints: 40433
2860.58/2869.16 c #Conflicts: 1507000 | #Constraints: 41433
2860.58/2869.16 c #Conflicts: 1508000 | #Constraints: 42433
2860.58/2869.16 c #Conflicts: 1509000 | #Constraints: 43433
2860.58/2869.16 c #Conflicts: 1510000 | #Constraints: 44433
2860.58/2869.16 c #Conflicts: 1511000 | #Constraints: 45433
2860.58/2869.16 c #Conflicts: 1512000 | #Constraints: 46433
2860.58/2869.16 c #Conflicts: 1513000 | #Constraints: 47433
2860.58/2869.16 c #Conflicts: 1514000 | #Constraints: 48433
2860.58/2869.16 c #Conflicts: 1515000 | #Constraints: 49433
2860.58/2869.16 c #Conflicts: 1516000 | #Constraints: 50433
2860.58/2869.16 c INPROCESSING
2860.58/2869.16 c GARBAGE COLLECT
2860.58/2869.16 c #Conflicts: 1517000 | #Constraints: 27035
2860.58/2869.16 c #Conflicts: 1518000 | #Constraints: 28035
2860.58/2869.16 c #Conflicts: 1519000 | #Constraints: 29035
2860.58/2869.16 c #Conflicts: 1520000 | #Constraints: 30035
2860.58/2869.16 c #Conflicts: 1521000 | #Constraints: 31035
2860.58/2869.16 c #Conflicts: 1522000 | #Constraints: 32035
2860.58/2869.16 c #Conflicts: 1523000 | #Constraints: 33035
2860.58/2869.16 c #Conflicts: 1524000 | #Constraints: 34035
2860.58/2869.16 c #Conflicts: 1525000 | #Constraints: 35035
2860.58/2869.16 c #Conflicts: 1526000 | #Constraints: 36035
2860.58/2869.16 c #Conflicts: 1527000 | #Constraints: 37035
2860.58/2869.16 c #Conflicts: 1528000 | #Constraints: 38035
2860.58/2869.16 c #Conflicts: 1529000 | #Constraints: 39035
2860.58/2869.16 c #Conflicts: 1530000 | #Constraints: 40035
2860.58/2869.16 c #Conflicts: 1531000 | #Constraints: 41035
2860.58/2869.16 c #Conflicts: 1532000 | #Constraints: 42035
2860.58/2869.16 c #Conflicts: 1533000 | #Constraints: 43035
2860.58/2869.16 c #Conflicts: 1534000 | #Constraints: 44035
2860.58/2869.16 c #Conflicts: 1535000 | #Constraints: 45035
2860.58/2869.16 c #Conflicts: 1536000 | #Constraints: 46035
2860.58/2869.16 c #Conflicts: 1537000 | #Constraints: 47035
2860.58/2869.16 c #Conflicts: 1538000 | #Constraints: 48035
2860.58/2869.16 c #Conflicts: 1539000 | #Constraints: 49035
2860.58/2869.16 c #Conflicts: 1540000 | #Constraints: 50035
2860.58/2869.16 c #Conflicts: 1541000 | #Constraints: 51035
2860.58/2869.16 c INPROCESSING
2860.58/2869.16 c GARBAGE COLLECT
2860.58/2869.16 c #Conflicts: 1542000 | #Constraints: 27435
2860.58/2869.16 c #Conflicts: 1543000 | #Constraints: 28435
2860.58/2869.16 c #Conflicts: 1544000 | #Constraints: 29435
2860.58/2869.16 c #Conflicts: 1545000 | #Constraints: 30435
2860.58/2869.16 c #Conflicts: 1546000 | #Constraints: 31435
2860.58/2869.16 c #Conflicts: 1547000 | #Constraints: 32435
2998.71/3007.70 c #Conflicts: 1548000 | #Constraints: 33435
2998.71/3007.70 c #Conflicts: 1549000 | #Constraints: 34435
2998.71/3007.70 c #Conflicts: 1550000 | #Constraints: 35435
2998.71/3007.70 c #Conflicts: 1551000 | #Constraints: 36435
2998.71/3007.70 c #Conflicts: 1552000 | #Constraints: 37435
2998.71/3007.70 c #Conflicts: 1553000 | #Constraints: 38435
2998.71/3007.70 c #Conflicts: 1554000 | #Constraints: 39435
2998.71/3007.70 c #Conflicts: 1555000 | #Constraints: 40435
2998.71/3007.70 c #Conflicts: 1556000 | #Constraints: 41435
2998.71/3007.70 c #Conflicts: 1557000 | #Constraints: 42435
2998.71/3007.70 c #Conflicts: 1558000 | #Constraints: 43435
2998.71/3007.70 c #Conflicts: 1559000 | #Constraints: 44435
2998.71/3007.70 c #Conflicts: 1560000 | #Constraints: 45435
2998.71/3007.70 c #Conflicts: 1561000 | #Constraints: 46435
2998.71/3007.70 c #Conflicts: 1562000 | #Constraints: 47435
2998.71/3007.70 c #Conflicts: 1563000 | #Constraints: 48435
2998.71/3007.70 c #Conflicts: 1564000 | #Constraints: 49435
2998.71/3007.70 c #Conflicts: 1565000 | #Constraints: 50435
2998.71/3007.70 c #Conflicts: 1566000 | #Constraints: 51435
2998.71/3007.70 c INPROCESSING
2998.71/3007.70 c GARBAGE COLLECT
2998.71/3007.70 c #Conflicts: 1567000 | #Constraints: 27627
2998.71/3007.70 c #Conflicts: 1568000 | #Constraints: 28627
2998.71/3007.70 c #Conflicts: 1569000 | #Constraints: 29627
2998.71/3007.70 c #Conflicts: 1570000 | #Constraints: 30627
2998.71/3007.70 c #Conflicts: 1571000 | #Constraints: 31627
2998.71/3007.70 c #Conflicts: 1572000 | #Constraints: 32627
2998.71/3007.70 c #Conflicts: 1573000 | #Constraints: 33627
2998.71/3007.70 c #Conflicts: 1574000 | #Constraints: 34627
2998.71/3007.70 c #Conflicts: 1575000 | #Constraints: 35627
2998.71/3007.70 c #Conflicts: 1576000 | #Constraints: 36627
2998.71/3007.70 c #Conflicts: 1577000 | #Constraints: 37627
2998.71/3007.70 c #Conflicts: 1578000 | #Constraints: 38627
2998.71/3007.70 c #Conflicts: 1579000 | #Constraints: 39627
2998.71/3007.70 c #Conflicts: 1580000 | #Constraints: 40627
2998.71/3007.70 c #Conflicts: 1581000 | #Constraints: 41627
2998.71/3007.70 c #Conflicts: 1582000 | #Constraints: 42627
2998.71/3007.70 c #Conflicts: 1583000 | #Constraints: 43627
2998.71/3007.70 c #Conflicts: 1584000 | #Constraints: 44627
2998.71/3007.70 c #Conflicts: 1585000 | #Constraints: 45627
2998.71/3007.70 c #Conflicts: 1586000 | #Constraints: 46627
2998.71/3007.70 c #Conflicts: 1587000 | #Constraints: 47627
2998.71/3007.70 c #Conflicts: 1588000 | #Constraints: 48627
2998.71/3007.70 c #Conflicts: 1589000 | #Constraints: 49627
2998.71/3007.70 c #Conflicts: 1590000 | #Constraints: 50627
2998.71/3007.70 c #Conflicts: 1591000 | #Constraints: 51627
2998.71/3007.70 c INPROCESSING
2998.71/3007.70 c GARBAGE COLLECT
2998.71/3007.70 c #Conflicts: 1592000 | #Constraints: 27635
2998.71/3007.70 c #Conflicts: 1593000 | #Constraints: 28635
2998.71/3007.70 c #Conflicts: 1594000 | #Constraints: 29635
2998.71/3007.70 c #Conflicts: 1595000 | #Constraints: 30635
2998.71/3007.70 c #Conflicts: 1596000 | #Constraints: 31635
2998.71/3007.70 c #Conflicts: 1597000 | #Constraints: 32635
2998.71/3007.70 c #Conflicts: 1598000 | #Constraints: 33635
2998.71/3007.70 c #Conflicts: 1599000 | #Constraints: 34635
2998.71/3007.70 c #Conflicts: 1600000 | #Constraints: 35635
2998.71/3007.70 c #Conflicts: 1601000 | #Constraints: 36635
2998.71/3007.70 c #Conflicts: 1602000 | #Constraints: 37635
2998.71/3007.70 c #Conflicts: 1603000 | #Constraints: 38635
2998.71/3007.70 c #Conflicts: 1604000 | #Constraints: 39635
2998.71/3007.70 c #Conflicts: 1605000 | #Constraints: 40635
2998.71/3007.70 c #Conflicts: 1606000 | #Constraints: 41635
2998.71/3007.70 c #Conflicts: 1607000 | #Constraints: 42635
2998.71/3007.70 c #Conflicts: 1608000 | #Constraints: 43635
2998.71/3007.70 c #Conflicts: 1609000 | #Constraints: 44635
2998.71/3007.70 c #Conflicts: 1610000 | #Constraints: 45635
2998.71/3007.70 c #Conflicts: 1611000 | #Constraints: 46635
2998.71/3007.70 c #Conflicts: 1612000 | #Constraints: 47635
2998.71/3007.70 c #Conflicts: 1613000 | #Constraints: 48635
2998.71/3007.70 c #Conflicts: 1614000 | #Constraints: 49635
2998.71/3007.70 c #Conflicts: 1615000 | #Constraints: 50635
2998.71/3007.70 c #Conflicts: 1616000 | #Constraints: 51635
2998.71/3007.70 c INPROCESSING
2998.71/3007.70 c GARBAGE COLLECT
2998.71/3007.70 c #Conflicts: 1617000 | #Constraints: 27436
2998.71/3007.70 c #Conflicts: 1618000 | #Constraints: 28436
2998.71/3007.70 c #Conflicts: 1619000 | #Constraints: 29436
2998.71/3007.70 c #Conflicts: 1620000 | #Constraints: 30436
2998.71/3007.70 c #Conflicts: 1621000 | #Constraints: 31436
2998.71/3007.70 c #Conflicts: 1622000 | #Constraints: 32436
2998.71/3007.70 c #Conflicts: 1623000 | #Constraints: 33436
2998.71/3007.70 c #Conflicts: 1624000 | #Constraints: 34436
3185.70/3195.30 c #Conflicts: 1625000 | #Constraints: 35436
3185.70/3195.30 c #Conflicts: 1626000 | #Constraints: 36436
3185.70/3195.30 c #Conflicts: 1627000 | #Constraints: 37436
3185.70/3195.30 c #Conflicts: 1628000 | #Constraints: 38436
3185.70/3195.30 c #Conflicts: 1629000 | #Constraints: 39436
3185.70/3195.30 c #Conflicts: 1630000 | #Constraints: 40436
3185.70/3195.30 c #Conflicts: 1631000 | #Constraints: 41436
3185.70/3195.30 c #Conflicts: 1632000 | #Constraints: 42436
3185.70/3195.30 c #Conflicts: 1633000 | #Constraints: 43436
3185.70/3195.30 c #Conflicts: 1634000 | #Constraints: 44436
3185.70/3195.30 c #Conflicts: 1635000 | #Constraints: 45436
3185.70/3195.30 c #Conflicts: 1636000 | #Constraints: 46436
3185.70/3195.30 c #Conflicts: 1637000 | #Constraints: 47436
3185.70/3195.30 c #Conflicts: 1638000 | #Constraints: 48436
3185.70/3195.30 c #Conflicts: 1639000 | #Constraints: 49436
3185.70/3195.30 c #Conflicts: 1640000 | #Constraints: 50436
3185.70/3195.30 c #Conflicts: 1641000 | #Constraints: 51436
3185.70/3195.30 c #Conflicts: 1642000 | #Constraints: 52436
3185.70/3195.30 c INPROCESSING
3185.70/3195.30 c GARBAGE COLLECT
3185.70/3195.30 c #Conflicts: 1643000 | #Constraints: 28033
3185.70/3195.30 c #Conflicts: 1644000 | #Constraints: 29033
3185.70/3195.30 c #Conflicts: 1645000 | #Constraints: 30033
3185.70/3195.30 c #Conflicts: 1646000 | #Constraints: 31033
3185.70/3195.30 c #Conflicts: 1647000 | #Constraints: 32033
3185.70/3195.30 c #Conflicts: 1648000 | #Constraints: 33033
3185.70/3195.30 c #Conflicts: 1649000 | #Constraints: 34033
3185.70/3195.30 c #Conflicts: 1650000 | #Constraints: 35033
3185.70/3195.30 c #Conflicts: 1651000 | #Constraints: 36033
3185.70/3195.30 c #Conflicts: 1652000 | #Constraints: 37033
3185.70/3195.30 c #Conflicts: 1653000 | #Constraints: 38033
3185.70/3195.30 c #Conflicts: 1654000 | #Constraints: 39033
3185.70/3195.30 c #Conflicts: 1655000 | #Constraints: 40033
3185.70/3195.30 c #Conflicts: 1656000 | #Constraints: 41033
3185.70/3195.30 c #Conflicts: 1657000 | #Constraints: 42033
3185.70/3195.30 c #Conflicts: 1658000 | #Constraints: 43033
3185.70/3195.30 c #Conflicts: 1659000 | #Constraints: 44033
3185.70/3195.30 c #Conflicts: 1660000 | #Constraints: 45033
3185.70/3195.30 c #Conflicts: 1661000 | #Constraints: 46033
3185.70/3195.30 c #Conflicts: 1662000 | #Constraints: 47033
3185.70/3195.30 c #Conflicts: 1663000 | #Constraints: 48033
3185.70/3195.30 c #Conflicts: 1664000 | #Constraints: 49033
3185.70/3195.30 c #Conflicts: 1665000 | #Constraints: 50033
3185.70/3195.30 c #Conflicts: 1666000 | #Constraints: 51033
3185.70/3195.30 c #Conflicts: 1667000 | #Constraints: 52033
3185.70/3195.30 c #Conflicts: 1668000 | #Constraints: 53033
3185.70/3195.30 c INPROCESSING
3185.70/3195.30 c GARBAGE COLLECT
3185.70/3195.30 c #Conflicts: 1669000 | #Constraints: 28422
3185.70/3195.30 c #Conflicts: 1670000 | #Constraints: 29422
3185.70/3195.30 c #Conflicts: 1671000 | #Constraints: 30422
3185.70/3195.30 c #Conflicts: 1672000 | #Constraints: 31422
3185.70/3195.30 c #Conflicts: 1673000 | #Constraints: 32422
3185.70/3195.30 c #Conflicts: 1674000 | #Constraints: 33422
3185.70/3195.30 c #Conflicts: 1675000 | #Constraints: 34422
3185.70/3195.30 c #Conflicts: 1676000 | #Constraints: 35422
3185.70/3195.30 c #Conflicts: 1677000 | #Constraints: 36422
3185.70/3195.30 c #Conflicts: 1678000 | #Constraints: 37422
3185.70/3195.30 c #Conflicts: 1679000 | #Constraints: 38422
3185.70/3195.30 c #Conflicts: 1680000 | #Constraints: 39422
3185.70/3195.30 c #Conflicts: 1681000 | #Constraints: 40422
3185.70/3195.30 c #Conflicts: 1682000 | #Constraints: 41422
3185.70/3195.30 c #Conflicts: 1683000 | #Constraints: 42422
3185.70/3195.30 c #Conflicts: 1684000 | #Constraints: 43422
3185.70/3195.30 c #Conflicts: 1685000 | #Constraints: 44422
3185.70/3195.30 c #Conflicts: 1686000 | #Constraints: 45422
3185.70/3195.30 c #Conflicts: 1687000 | #Constraints: 46422
3185.70/3195.30 c #Conflicts: 1688000 | #Constraints: 47422
3185.70/3195.30 c #Conflicts: 1689000 | #Constraints: 48422
3185.70/3195.30 c #Conflicts: 1690000 | #Constraints: 49422
3185.70/3195.30 c #Conflicts: 1691000 | #Constraints: 50422
3185.70/3195.30 c #Conflicts: 1692000 | #Constraints: 51422
3185.70/3195.30 c #Conflicts: 1693000 | #Constraints: 52422
3185.70/3195.30 c #Conflicts: 1694000 | #Constraints: 53422
3185.70/3195.30 c INPROCESSING
3185.70/3195.30 c GARBAGE COLLECT
3185.70/3195.30 c #Conflicts: 1695000 | #Constraints: 28632
3185.70/3195.30 c #Conflicts: 1696000 | #Constraints: 29632
3185.70/3195.30 c #Conflicts: 1697000 | #Constraints: 30632
3185.70/3195.30 c #Conflicts: 1698000 | #Constraints: 31632
3185.70/3195.30 c #Conflicts: 1699000 | #Constraints: 32632
3185.70/3195.30 c #Conflicts: 1700000 | #Constraints: 33632
3185.70/3195.30 c #Conflicts: 1701000 | #Constraints: 34632
3386.77/3397.10 c #Conflicts: 1702000 | #Constraints: 35632
3386.77/3397.10 c #Conflicts: 1703000 | #Constraints: 36632
3386.77/3397.10 c #Conflicts: 1704000 | #Constraints: 37632
3386.77/3397.10 c #Conflicts: 1705000 | #Constraints: 38632
3386.77/3397.10 c #Conflicts: 1706000 | #Constraints: 39632
3386.77/3397.10 c #Conflicts: 1707000 | #Constraints: 40632
3386.77/3397.10 c #Conflicts: 1708000 | #Constraints: 41632
3386.77/3397.10 c #Conflicts: 1709000 | #Constraints: 42632
3386.77/3397.10 c #Conflicts: 1710000 | #Constraints: 43632
3386.77/3397.10 c #Conflicts: 1711000 | #Constraints: 44632
3386.77/3397.10 c #Conflicts: 1712000 | #Constraints: 45632
3386.77/3397.10 c #Conflicts: 1713000 | #Constraints: 46632
3386.77/3397.10 c #Conflicts: 1714000 | #Constraints: 47632
3386.77/3397.10 c #Conflicts: 1715000 | #Constraints: 48632
3386.77/3397.10 c #Conflicts: 1716000 | #Constraints: 49632
3386.77/3397.10 c #Conflicts: 1717000 | #Constraints: 50632
3386.77/3397.10 c #Conflicts: 1718000 | #Constraints: 51632
3386.77/3397.10 c #Conflicts: 1719000 | #Constraints: 52632
3386.77/3397.10 c #Conflicts: 1720000 | #Constraints: 53632
3386.77/3397.10 c INPROCESSING
3386.77/3397.10 c GARBAGE COLLECT
3386.77/3397.10 c #Conflicts: 1721000 | #Constraints: 28630
3386.77/3397.10 c #Conflicts: 1722000 | #Constraints: 29630
3386.77/3397.10 c #Conflicts: 1723000 | #Constraints: 30630
3386.77/3397.10 c #Conflicts: 1724000 | #Constraints: 31630
3386.77/3397.10 c #Conflicts: 1725000 | #Constraints: 32630
3386.77/3397.10 c #Conflicts: 1726000 | #Constraints: 33630
3386.77/3397.10 c #Conflicts: 1727000 | #Constraints: 34630
3386.77/3397.10 c #Conflicts: 1728000 | #Constraints: 35630
3386.77/3397.10 c #Conflicts: 1729000 | #Constraints: 36630
3386.77/3397.10 c #Conflicts: 1730000 | #Constraints: 37630
3386.77/3397.10 c #Conflicts: 1731000 | #Constraints: 38630
3386.77/3397.10 c #Conflicts: 1732000 | #Constraints: 39630
3386.77/3397.10 c #Conflicts: 1733000 | #Constraints: 40630
3386.77/3397.10 c #Conflicts: 1734000 | #Constraints: 41630
3386.77/3397.10 c #Conflicts: 1735000 | #Constraints: 42630
3386.77/3397.10 c #Conflicts: 1736000 | #Constraints: 43630
3386.77/3397.10 c #Conflicts: 1737000 | #Constraints: 44630
3386.77/3397.10 c #Conflicts: 1738000 | #Constraints: 45630
3386.77/3397.10 c #Conflicts: 1739000 | #Constraints: 46630
3386.77/3397.10 c #Conflicts: 1740000 | #Constraints: 47630
3386.77/3397.10 c #Conflicts: 1741000 | #Constraints: 48630
3386.77/3397.10 c #Conflicts: 1742000 | #Constraints: 49630
3386.77/3397.10 c #Conflicts: 1743000 | #Constraints: 50630
3386.77/3397.10 c #Conflicts: 1744000 | #Constraints: 51630
3386.77/3397.10 c #Conflicts: 1745000 | #Constraints: 52630
3386.77/3397.10 c #Conflicts: 1746000 | #Constraints: 53630
3386.77/3397.10 c INPROCESSING
3386.77/3397.10 c GARBAGE COLLECT
3386.77/3397.10 c #Conflicts: 1747000 | #Constraints: 28427
3386.77/3397.10 c #Conflicts: 1748000 | #Constraints: 29427
3386.77/3397.10 c #Conflicts: 1749000 | #Constraints: 30427
3386.77/3397.10 c #Conflicts: 1750000 | #Constraints: 31427
3386.77/3397.10 c #Conflicts: 1751000 | #Constraints: 32427
3386.77/3397.10 c #Conflicts: 1752000 | #Constraints: 33427
3386.77/3397.10 c #Conflicts: 1753000 | #Constraints: 34427
3386.77/3397.10 c #Conflicts: 1754000 | #Constraints: 35427
3386.77/3397.10 c #Conflicts: 1755000 | #Constraints: 36427
3386.77/3397.10 c #Conflicts: 1756000 | #Constraints: 37427
3386.77/3397.10 c #Conflicts: 1757000 | #Constraints: 38427
3386.77/3397.10 c #Conflicts: 1758000 | #Constraints: 39427
3386.77/3397.10 c #Conflicts: 1759000 | #Constraints: 40427
3386.77/3397.10 c #Conflicts: 1760000 | #Constraints: 41427
3386.77/3397.10 c #Conflicts: 1761000 | #Constraints: 42427
3386.77/3397.10 c #Conflicts: 1762000 | #Constraints: 43427
3386.77/3397.10 c #Conflicts: 1763000 | #Constraints: 44427
3386.77/3397.10 c #Conflicts: 1764000 | #Constraints: 45427
3386.77/3397.10 c #Conflicts: 1765000 | #Constraints: 46427
3386.77/3397.10 c #Conflicts: 1766000 | #Constraints: 47427
3386.77/3397.10 c #Conflicts: 1767000 | #Constraints: 48427
3386.77/3397.10 c #Conflicts: 1768000 | #Constraints: 49427
3386.77/3397.10 c #Conflicts: 1769000 | #Constraints: 50427
3386.77/3397.10 c #Conflicts: 1770000 | #Constraints: 51427
3386.77/3397.10 c #Conflicts: 1771000 | #Constraints: 52427
3386.77/3397.10 c #Conflicts: 1772000 | #Constraints: 53427
3386.77/3397.10 c #Conflicts: 1773000 | #Constraints: 54427
3386.77/3397.10 c INPROCESSING
3386.77/3397.10 c GARBAGE COLLECT
3386.77/3397.10 c #Conflicts: 1774000 | #Constraints: 29029
3386.77/3397.10 c #Conflicts: 1775000 | #Constraints: 30029
3386.77/3397.10 c #Conflicts: 1776000 | #Constraints: 31029
3386.77/3397.10 c #Conflicts: 1777000 | #Constraints: 32029
3386.77/3397.10 c #Conflicts: 1778000 | #Constraints: 33029
3580.42/3591.29 c #Conflicts: 1779000 | #Constraints: 34029
3580.42/3591.29 c #Conflicts: 1780000 | #Constraints: 35029
3580.42/3591.29 c #Conflicts: 1781000 | #Constraints: 36029
3580.42/3591.29 c #Conflicts: 1782000 | #Constraints: 37029
3580.42/3591.29 c #Conflicts: 1783000 | #Constraints: 38029
3580.42/3591.29 c #Conflicts: 1784000 | #Constraints: 39029
3580.42/3591.29 c #Conflicts: 1785000 | #Constraints: 40029
3580.42/3591.29 c #Conflicts: 1786000 | #Constraints: 41029
3580.42/3591.29 c #Conflicts: 1787000 | #Constraints: 42029
3580.42/3591.29 c #Conflicts: 1788000 | #Constraints: 43029
3580.42/3591.29 c #Conflicts: 1789000 | #Constraints: 44029
3580.42/3591.29 c #Conflicts: 1790000 | #Constraints: 45029
3580.42/3591.29 c #Conflicts: 1791000 | #Constraints: 46029
3580.42/3591.29 c #Conflicts: 1792000 | #Constraints: 47029
3580.42/3591.29 c #Conflicts: 1793000 | #Constraints: 48029
3580.42/3591.29 c #Conflicts: 1794000 | #Constraints: 49029
3580.42/3591.29 c #Conflicts: 1795000 | #Constraints: 50029
3580.42/3591.29 c #Conflicts: 1796000 | #Constraints: 51029
3580.42/3591.29 c #Conflicts: 1797000 | #Constraints: 52029
3580.42/3591.29 c #Conflicts: 1798000 | #Constraints: 53029
3580.42/3591.29 c #Conflicts: 1799000 | #Constraints: 54029
3580.42/3591.29 c #Conflicts: 1800000 | #Constraints: 55029
3580.42/3591.29 c INPROCESSING
3580.42/3591.29 c GARBAGE COLLECT
3580.42/3591.29 c #Conflicts: 1801000 | #Constraints: 29449
3580.42/3591.29 c #Conflicts: 1802000 | #Constraints: 30449
3580.42/3591.29 c #Conflicts: 1803000 | #Constraints: 31449
3580.42/3591.29 c #Conflicts: 1804000 | #Constraints: 32449
3580.42/3591.29 c #Conflicts: 1805000 | #Constraints: 33449
3580.42/3591.29 c #Conflicts: 1806000 | #Constraints: 34449
3580.42/3591.29 c #Conflicts: 1807000 | #Constraints: 35449
3580.42/3591.29 c #Conflicts: 1808000 | #Constraints: 36449
3580.42/3591.29 c #Conflicts: 1809000 | #Constraints: 37449
3580.42/3591.29 c #Conflicts: 1810000 | #Constraints: 38449
3580.42/3591.29 c #Conflicts: 1811000 | #Constraints: 39449
3580.42/3591.29 c #Conflicts: 1812000 | #Constraints: 40449
3580.42/3591.29 c #Conflicts: 1813000 | #Constraints: 41449
3580.42/3591.29 c #Conflicts: 1814000 | #Constraints: 42449
3580.42/3591.29 c #Conflicts: 1815000 | #Constraints: 43449
3580.42/3591.29 c #Conflicts: 1816000 | #Constraints: 44449
3580.42/3591.29 c #Conflicts: 1817000 | #Constraints: 45449
3580.42/3591.29 c #Conflicts: 1818000 | #Constraints: 46449
3580.42/3591.29 c #Conflicts: 1819000 | #Constraints: 47449
3580.42/3591.29 c #Conflicts: 1820000 | #Constraints: 48449
3580.42/3591.29 c #Conflicts: 1821000 | #Constraints: 49449
3580.42/3591.29 c #Conflicts: 1822000 | #Constraints: 50449
3580.42/3591.29 c #Conflicts: 1823000 | #Constraints: 51449
3580.42/3591.29 c #Conflicts: 1824000 | #Constraints: 52449
3580.42/3591.29 c #Conflicts: 1825000 | #Constraints: 53449
3580.42/3591.29 c #Conflicts: 1826000 | #Constraints: 54449
3580.42/3591.29 c #Conflicts: 1827000 | #Constraints: 55449
3580.42/3591.29 c INPROCESSING
3580.42/3591.29 c GARBAGE COLLECT
3580.42/3591.29 c #Conflicts: 1828000 | #Constraints: 29646
3580.42/3591.29 c #Conflicts: 1829000 | #Constraints: 30646
3580.42/3591.29 c #Conflicts: 1830000 | #Constraints: 31646
3580.42/3591.29 c #Conflicts: 1831000 | #Constraints: 32646
3580.42/3591.29 c #Conflicts: 1832000 | #Constraints: 33646
3580.42/3591.29 c #Conflicts: 1833000 | #Constraints: 34646
3580.42/3591.29 c #Conflicts: 1834000 | #Constraints: 35646
3580.42/3591.29 c #Conflicts: 1835000 | #Constraints: 36646
3580.42/3591.29 c #Conflicts: 1836000 | #Constraints: 37646
3580.42/3591.29 c #Conflicts: 1837000 | #Constraints: 38646
3580.42/3591.29 c #Conflicts: 1838000 | #Constraints: 39646
3580.42/3591.29 c #Conflicts: 1839000 | #Constraints: 40646
3580.42/3591.29 c #Conflicts: 1840000 | #Constraints: 41646
3580.42/3591.29 c #Conflicts: 1841000 | #Constraints: 42646
3580.42/3591.29 c #Conflicts: 1842000 | #Constraints: 43646
3580.42/3591.29 c #Conflicts: 1843000 | #Constraints: 44646
3580.42/3591.29 c #Conflicts: 1844000 | #Constraints: 45646
3580.42/3591.29 c #Conflicts: 1845000 | #Constraints: 46646
3580.42/3591.29 c #Conflicts: 1846000 | #Constraints: 47646
3580.42/3591.29 c #Conflicts: 1847000 | #Constraints: 48646
3580.42/3591.29 c #Conflicts: 1848000 | #Constraints: 49646
3580.42/3591.29 c #Conflicts: 1849000 | #Constraints: 50646
3580.42/3591.29 c #Conflicts: 1850000 | #Constraints: 51646
3580.42/3591.29 c #Conflicts: 1851000 | #Constraints: 52646
3580.42/3591.29 c #Conflicts: 1852000 | #Constraints: 53646
3580.42/3591.29 c #Conflicts: 1853000 | #Constraints: 54646
3580.42/3591.29 c #Conflicts: 1854000 | #Constraints: 55646
3580.42/3591.29 c INPROCESSING
3580.42/3591.29 c GARBAGE COLLECT
3580.42/3591.29 c #Conflicts: 1855000 | #Constraints: 29643
3600.08/3610.90 c #Conflicts: 1856000 | #Constraints: 30643
3600.08/3610.90 c #Conflicts: 1857000 | #Constraints: 31643
3600.08/3610.90 c #Conflicts: 1858000 | #Constraints: 32643
3600.08/3610.90 c #Conflicts: 1859000 | #Constraints: 33643
3600.08/3610.90 c #Conflicts: 1860000 | #Constraints: 34643
3600.08/3610.90 c #Conflicts: 1861000 | #Constraints: 35643
3600.08/3610.90 c #Conflicts: 1862000 | #Constraints: 36643
3600.08/3610.90 c #Conflicts: 1863000 | #Constraints: 37643
3600.08/3610.90 c #Conflicts: 1864000 | #Constraints: 38643
3600.08/3610.90 c cpu time 3559.85 s
3600.08/3610.90 c deterministic time 4259792 4.26e+06
3600.08/3610.90 c optimization time 3558.52 s
3600.08/3610.90 c total solve time 0.46593 s
3600.08/3610.90 c core-guided solve time 0 s
3600.08/3610.90 c propagation time 0.313181 s
3600.08/3610.90 c conflict analysis time 0.024994 s
3600.08/3610.90 c propagations 429279
3600.08/3610.90 c resolve steps 0
3600.08/3610.90 c decisions 412328
3600.08/3610.90 c conflicts 13
3600.08/3610.90 c restarts 1
3600.08/3610.90 c inprocessing phases 0
3600.08/3610.90 c garbage collections 0 ,( -nan )
3600.08/3610.90 c input clauses 98732 ,( 98.24 )
3600.08/3610.90 c input cardinalities 1562 ,( 1.55 )
3600.08/3610.90 c input general constraints 208 ,( 0.21 )
3600.08/3610.90 c input average constraint length 17.56
3600.08/3610.90 c input average constraint degree 425891360699.04
3600.08/3610.90 c learned clauses 156 ,( 82.98 )
3600.08/3610.90 c learned cardinalities 0 ,( 0.00 )
3600.08/3610.90 c learned general constraints 32 ,( 17.02 )
3600.08/3610.90 c learned average constraint length 3.20
3600.08/3610.90 c learned average constraint degree 1.21
3600.08/3610.90 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3610.90 c counting CF 32, 64, 128, Arb: 56 , 185 , 0 , 0
3600.08/3610.90 c watched constraints 0 ,( 0.00 )
3600.08/3610.90 c counting constraints 240 ,( 100.00 )
3600.08/3610.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 232703 , 9808 , 941087 ,( 0 , 941087 )
3600.08/3610.90 c gcd simplifications 0
3600.08/3610.90 c detected cardinalities 0
3600.08/3610.90 c weakened non-implied lits 0
3600.08/3610.90 c weakened non-implying lits 0
3600.08/3610.90 c original variables 21106
3600.08/3610.90 c clausal propagations 224095
3600.08/3610.90 c cardinality propagations 94
3600.08/3610.90 c watched propagations 0
3600.08/3610.90 c counting propagations 15889
3600.08/3610.90 c watch lookups 2165406
3600.08/3610.90 c watch backjump lookups 0
3600.08/3610.90 c watch checks 120160
3600.08/3610.90 c propagation checks 284480
3600.08/3610.90 c constraint additions 4791
3600.08/3610.90 c trail pops 840347
3600.08/3610.90 c formula constraints 99914
3600.08/3610.90 c learned constraints 188
3600.08/3610.90 c bound constraints 0
3600.08/3610.90 c core-guided constraints 0
3600.08/3610.90 c encountered formula constraints 13
3600.08/3610.90 c encountered learned constraints 0
3600.08/3610.90 c encountered bound constraints 0
3600.08/3610.90 c encountered core-guided constraints 0
3600.08/3610.90 c LP total time 0.266443 s
3600.08/3610.90 c LP solve time 0.2 s
3600.08/3610.90 c LP constraints added 99914
3600.08/3610.90 c LP constraints removed 0
3600.08/3610.90 c LP pivots internal 2000
3600.08/3610.90 c LP pivots root 1000
3600.08/3610.90 c LP calls 2
3600.08/3610.90 c LP optimalities 0
3600.08/3610.90 c LP no pivot count 0
3600.08/3610.90 c LP infeasibilities 0
3600.08/3610.90 c LP valid Farkas constraints 0
3600.08/3610.90 c LP learned Farkas constraints 0
3600.08/3610.90 c LP basis resets 0
3600.08/3610.90 c LP cycling count 0
3600.08/3610.90 c LP singular count 0
3600.08/3610.90 c LP no primal count 0
3600.08/3610.90 c LP no farkas count 0
3600.08/3610.90 c LP other issue count 0
3600.08/3610.90 c LP Gomory cuts 0
3600.08/3610.90 c LP learned cuts 0
3600.08/3610.90 c LP deleted cuts 0
3600.08/3610.90 c LP encountered Gomory constraints 0
3600.08/3610.90 c LP encountered Farkas constraints 0
3600.08/3610.90 c LP encountered learned Farkas constraints 0
3600.08/3610.90 c CG auxiliary variables introduced 212
3600.08/3610.90 c CG solutions found 0
3600.08/3610.90 c CG cores constructed 197
3600.08/3610.90 c CG core cardinality constraints returned 0
3600.08/3610.90 c CG unit cores 9
3600.08/3610.90 c CG single cores 0
3600.08/3610.90 c CG blocks removed during cardinality reduction 0
3600.08/3610.90 c CG first core best 0
3600.08/3610.90 c CG decision core best 0
3600.08/3610.90 c CG core reduction tie 0
3600.08/3610.90 c CG core degree average 0.00
3600.08/3610.90 c CG core slack average 0.00
3600.08/3610.90 c CG core upper bound improvements 0
3600.08/3610.90 c STR number of successful calls 0
3600.08/3610.90 c STR number of unsuccessful calls 0
3600.08/3610.90 c STR number of inconclusive calls 0
3600.08/3610.90 c STR number of successful attempts 0
3600.08/3610.90 c STR number of unsuccessful attempts 0
3600.08/3610.90 c STR number of inconclusive attempts 0
3600.08/3610.90 c STR average degree increase per successful call inf
3600.08/3610.90 c STR average degree increase per successful attempt inf
3600.08/3610.90 c STR total number of conflicts for successful attempts 0
3600.08/3610.90 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.90 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.90 c STR average number of conflicts per successful attempt inf
3600.08/3610.90 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.90 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.90 c AVG.sumWPerc 96.01
3600.08/3610.90 c bigint constraints 185
3600.08/3610.90 s UNKNOWN
3600.08/3610.90 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: 63794 MiB (61721 MiB free)
memory of node 1: 64507 MiB (55563 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500823-1751472338/watcher-4500823-1751472338 -o /tmp/evaluation-result-4500823-1751472338/solver-4500823-1751472338 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751471575-62688 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4500823-1751472338.opb PROOFDIR/proof-4500823-1751472338
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=63132, runsolver pid=63129
[startup+0.100096 s]*
/proc/loadavg: 4.08 3.94 3.24 5/261 63134
/proc/meminfo: memFree=120100056/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=60180 memory=15828 CPUtime=0.09 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 2059 0 0 0 7 2 0 0 20 0 1 0 62913548 61624320 3957 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 15045 3957 2048 1147 0 2472 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64372 KiB
Current children cumulated memory: 18900 KiB
[startup+0.211811 s]*
/proc/loadavg: 4.08 3.94 3.24 5/261 63134
/proc/meminfo: memFree=120100280/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=61432 memory=16980 CPUtime=0.2 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 2346 0 0 0 15 5 0 0 20 0 1 0 62913548 62906368 4245 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 15358 4245 2048 1147 0 2785 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65624 KiB
Current children cumulated memory: 20052 KiB
[startup+0.311356 s]*
/proc/loadavg: 4.08 3.94 3.24 5/261 63134
/proc/meminfo: memFree=120101076/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=62544 memory=18132 CPUtime=0.3 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 2633 0 0 0 24 6 0 0 20 0 1 0 62913548 64045056 4533 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 15636 4533 2048 1147 0 3063 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66736 KiB
Current children cumulated memory: 21204 KiB
[startup+0.700389 s]
/proc/loadavg: 4.08 3.95 3.25 8/261 63134
/proc/meminfo: memFree=120109412/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=68244 memory=25432 CPUtime=0.67 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 3953 0 0 0 52 15 0 0 20 0 1 0 62913548 69881856 6358 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 17061 6358 2048 1147 0 4488 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 72436 KiB
Current children cumulated memory: 28504 KiB
[startup+1.50039 s]
/proc/loadavg: 4.08 3.95 3.25 5/261 63134
/proc/meminfo: memFree=120066984/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=221492 memory=153784 CPUtime=1.47 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 19917 0 0 0 120 27 0 0 20 0 1 0 62913548 226807808 38446 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 55373 38446 2432 1147 0 42800 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 225684 KiB
Current children cumulated memory: 156856 KiB
[startup+3.11313 s]
/proc/loadavg: 4.08 3.95 3.25 5/261 63134
/proc/meminfo: memFree=119956792/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=245456 memory=181200 CPUtime=3.08 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 26230 0 0 0 207 101 0 0 20 0 1 0 62913548 251346944 45300 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 61364 45300 2464 1147 0 48791 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 249648 KiB
Current children cumulated memory: 184272 KiB
[startup+6.30035 s]
/proc/loadavg: 4.07 3.95 3.25 5/256 63161
/proc/meminfo: memFree=121235128/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=394376 memory=321408 CPUtime=6.26 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 49028 0 0 0 465 161 0 0 20 0 1 0 62913548 403841024 80352 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 98594 80352 2464 1147 0 86021 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 398568 KiB
Current children cumulated memory: 324480 KiB
[startup+12.7003 s]
/proc/loadavg: 4.06 3.95 3.26 5/256 63161
/proc/meminfo: memFree=120775324/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=536944 memory=444516 CPUtime=12.63 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 72670 0 0 0 1054 209 0 0 20 0 1 0 62913548 549830656 111129 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 134236 111129 2464 1147 0 121663 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 541136 KiB
Current children cumulated memory: 447588 KiB
[startup+25.5004 s]
/proc/loadavg: 4.05 3.95 3.26 4/256 63161
/proc/meminfo: memFree=120076264/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=806288 memory=616824 CPUtime=25.4 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 109621 0 0 0 2256 284 0 0 20 0 1 0 62913548 825638912 154206 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 201572 154206 2464 1147 0 188999 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 810480 KiB
Current children cumulated memory: 619896 KiB
[startup+51.1132 s]
/proc/loadavg: 4.10 3.97 3.29 5/256 63162
/proc/meminfo: memFree=118976408/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=893548 memory=717592 CPUtime=50.92 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 124080 0 0 0 4736 356 0 0 20 0 1 0 62913548 914993152 179398 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 223387 179398 2464 1147 0 210814 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 897740 KiB
Current children cumulated memory: 720664 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 3.99 3.34 5/261 63183
/proc/meminfo: memFree=117982704/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=1317132 memory=1030964 CPUtime=101.94 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 190187 0 0 0 9702 492 0 0 20 0 1 0 62913548 1348743168 257741 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 329283 257741 2464 1147 0 316710 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1321324 KiB
Current children cumulated memory: 1034036 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.01 3.39 5/262 63190
/proc/meminfo: memFree=116456404/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=1451304 memory=1132116 CPUtime=161.76 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 204251 0 0 0 15583 593 0 0 20 0 1 0 62913548 1486135296 283029 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 362826 283029 2464 1147 0 350253 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1455496 KiB
Current children cumulated memory: 1135188 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.04 3.44 5/262 63193
/proc/meminfo: memFree=114876532/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=1453232 memory=1151672 CPUtime=221.56 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 207111 0 0 0 21421 735 0 0 20 0 1 0 62913548 1488109568 287918 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 363308 287918 2464 1147 0 350735 0
################
# More data... #
################
/proc/63134/statm: 1149387 912173 2464 1147 0 1136814 0
Current children cumulated CPU time: 3093 s
Current children cumulated vsize: 4601740 KiB
Current children cumulated memory: 3651764 KiB
[startup+3162.3 s]
/proc/loadavg: 4.27 4.36 4.22 5/262 63442
/proc/meminfo: memFree=80930108/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=4598572 memory=3657268 CPUtime=3152.82 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 660465 0 0 0 311583 3699 0 0 20 0 1 0 62913548 4708937728 914317 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 1149643 914317 2464 1147 0 1137070 0
Current children cumulated CPU time: 3152.82 s
Current children cumulated vsize: 4602764 KiB
Current children cumulated memory: 3660340 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.31 4.21 5/262 63444
/proc/meminfo: memFree=77850956/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=4598572 memory=3657268 CPUtime=3212.62 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 660531 0 0 0 317526 3736 0 0 20 0 1 0 62913548 4708937728 914317 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 1149643 914317 2464 1147 0 1137070 0
Current children cumulated CPU time: 3212.62 s
Current children cumulated vsize: 4602764 KiB
Current children cumulated memory: 3660340 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.29 4.21 5/264 63448
/proc/meminfo: memFree=74790204/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=4598572 memory=3657268 CPUtime=3272.42 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 660816 0 0 0 323455 3787 0 0 20 0 1 0 62913548 4708937728 914317 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 1149643 914317 2464 1147 0 1137070 0
Current children cumulated CPU time: 3272.42 s
Current children cumulated vsize: 4602764 KiB
Current children cumulated memory: 3660340 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.27 4.20 5/264 63461
/proc/meminfo: memFree=71763252/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=4598572 memory=3678060 CPUtime=3332.23 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 663048 0 0 0 329400 3823 0 0 20 0 1 0 62913548 4708937728 919515 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 1149643 919515 2464 1147 0 1137070 0
Current children cumulated CPU time: 3332.23 s
Current children cumulated vsize: 4602764 KiB
Current children cumulated memory: 3681132 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.25 4.19 5/264 63463
/proc/meminfo: memFree=68966088/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=4598572 memory=3678060 CPUtime=3392.04 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 663176 0 0 0 335333 3871 0 0 20 0 1 0 62913548 4708937728 919515 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 1149643 919515 2464 1147 0 1137070 0
Current children cumulated CPU time: 3392.04 s
Current children cumulated vsize: 4602764 KiB
Current children cumulated memory: 3681132 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.25 4.19 5/263 63465
/proc/meminfo: memFree=66112356/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=4598572 memory=3678060 CPUtime=3451.87 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 663427 0 0 0 341272 3915 0 0 20 0 1 0 62913548 4708937728 919515 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 1149643 919515 2464 1147 0 1137070 0
Current children cumulated CPU time: 3451.87 s
Current children cumulated vsize: 4602764 KiB
Current children cumulated memory: 3681132 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.20 4.18 5/263 63467
/proc/meminfo: memFree=63004408/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=4598572 memory=3678060 CPUtime=3511.71 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 663552 0 0 0 347219 3952 0 0 20 0 1 0 62913548 4708937728 919515 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 1149643 919515 2464 1147 0 1137070 0
Current children cumulated CPU time: 3511.71 s
Current children cumulated vsize: 4602764 KiB
Current children cumulated memory: 3681132 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.19 4.18 5/265 63471
/proc/meminfo: memFree=60029276/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=4598572 memory=3678060 CPUtime=3571.54 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 663798 0 0 0 353149 4005 0 0 20 0 1 0 62913548 4708937728 919515 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 1149643 919515 2464 1147 0 1137070 0
Current children cumulated CPU time: 3571.54 s
Current children cumulated vsize: 4602764 KiB
Current children cumulated memory: 3681132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.08 4.17 4.17 5/266 63473
/proc/meminfo: memFree=58828376/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=4600620 memory=3693720 CPUtime=3600.08 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 666221 0 0 0 355985 4023 0 0 20 0 1 0 62913548 4711034880 923430 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 1150155 923430 2464 1147 0 1137582 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4604812 KiB
Current children cumulated memory: 3696792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 63132 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002113 s, system=0.002115 s
[startup+3610.99 s]
# the end of solver process 63134 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3559.86 s, system=40.2774 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.9 s]
/proc/loadavg: 4.08 4.17 4.17 5/266 63473
/proc/meminfo: memFree=58828376/131382112 swapFree=33010684/33010684
[pid=63132] ppid=63129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63132/stat : 63132 (run-opt-log.sh) S 63129 63132 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 62913547 4292608 768 18446744073709551615 94442035429376 94442036323909 140722565142720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94442036562960 94442036610704 94442044309504 140722565146913 140722565147108 140722565147108 140722565152710 0
/proc/63132/statm: 1048 768 704 219 0 110 0
[pid=63134] ppid=63132 vsize=4600620 memory=3693720 CPUtime=3600.08 cores=4,6
/proc/63134/stat : 63134 (roundingsat) R 63132 63132 62677 0 -1 4194304 666221 0 0 0 355985 4023 0 0 20 0 1 0 62913548 4711034880 923430 18446744073709551615 4227072 8923433 140732910240672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 32112640 140732910242130 140732910242344 140732910242344 140732910247914 0
/proc/63134/statm: 1150155 923430 2464 1147 0 1137582 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4604812 KiB
Current children cumulated memory: 3696792 KiB
Child status: 2
Real time (s): 3610.99
CPU time (s): 3600.14
CPU user time (s): 3559.86
CPU system time (s): 40.2774
CPU usage (%): 99.6994
Max. virtual memory (cumulated for all children) (KiB): 4604812
Max. memory (cumulated for all children) (KiB): 3696792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.86
system time used= 40.2774
maximum resident set size= 3693976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 666454
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33711248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1002
involuntary context switches= 5064
# summary of solver processes directly reported to runsolver:
# pid: 63132,63134
# total CPU time (s): 3600.14
# total CPU user time (s): 3559.86
# total CPU system time (s): 40.2774
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2255 second user time and 36.8147 second system time
The end
Begin job on nodeC012 at 2025-07-02 18:05:38
IDJOB=4500823
IDBENCH=150960
IDSOLVER=3351
FILE ID=nodeC012/4500823-1751472338
RUNJOBID= nodeC012-1751471575-62688
SLURM_JOB_ID= 9598495
Free space on /tmp= 432140 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500823-1751472338/watcher-4500823-1751472338 -o /tmp/evaluation-result-4500823-1751472338/solver-4500823-1751472338 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751471575-62688 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4500823-1751472338.opb PROOFDIR/proof-4500823-1751472338
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c99b915a584a6a8e4cc5b128c0dbe406
RANDOM SEED=84802367
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.780
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.476
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.335
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.323
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.151
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.463
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.364
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 120100072 kB
MemAvailable: 127534076 kB
Buffers: 3280 kB
Cached: 8231416 kB
SwapCached: 0 kB
Active: 2742264 kB
Inactive: 7919488 kB
Active(anon): 2445164 kB
Inactive(anon): 0 kB
Active(file): 297100 kB
Inactive(file): 7919488 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 366436 kB
Writeback: 4 kB
AnonPages: 2429700 kB
Mapped: 116800 kB
Shmem: 17960 kB
KReclaimable: 113700 kB
Slab: 209236 kB
SReclaimable: 113700 kB
SUnreclaim: 95536 kB
KernelStack: 4192 kB
PageTables: 8412 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3203116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1191936 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432128 MiB
End job on nodeC012 at 2025-07-02 19:05:50