0.00/0.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
0.03/0.11	c #variables 4360 #constraints 8610
0.03/0.11	c objective is ce32 
0.03/0.11	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.03/0.11	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.03/0.11	c GLOBAL bounds - >= 0 @ 0.033177
0.03/0.11	c GLOBAL bounds - >= 0 @ 0.03804
0.03/0.12	c GLOBAL bounds - >= 0 @ 0.040287
0.03/0.12	c GLOBAL bounds - >= 5421 @ 0.040333
0.14/0.21	c GLOBAL bounds - >= 5421 @ 0.12732
0.14/0.21	c GLOBAL bounds - >= 5421 @ 0.129634
0.14/0.22	c GLOBAL bounds - >= 5421 @ 0.130215
0.14/0.22	c GLOBAL bounds - >= 5421 @ 0.131973
0.14/0.22	c GLOBAL bounds - >= 5421 @ 0.133288
0.14/0.23	c GLOBAL bounds - >= 5421 @ 0.137494
0.14/0.23	c GLOBAL bounds - >= 5421 @ 0.138237
0.14/0.23	c GLOBAL bounds - >= 5421 @ 0.140423
0.14/0.24	c GLOBAL bounds - >= 5421 @ 0.142459
0.14/0.24	c GLOBAL bounds - >= 5421 @ 0.145669
0.14/0.24	c GLOBAL bounds - >= 5421 @ 0.146247
0.14/0.25	c GLOBAL bounds - >= 5421 @ 0.147157
0.14/0.25	c GLOBAL bounds - >= 5421 @ 0.147766
0.14/0.25	c GLOBAL bounds - >= 5421 @ 0.15192
0.14/0.26	c GLOBAL bounds - >= 5421 @ 0.152284
0.14/0.26	c GLOBAL bounds - >= 5421 @ 0.152671
0.14/0.26	c GLOBAL bounds - >= 5421 @ 0.154181
0.14/0.27	c GLOBAL bounds - >= 5421 @ 0.157154
0.14/0.27	c GLOBAL bounds - >= 5421 @ 0.158308
0.14/0.27	c GLOBAL bounds - >= 5421 @ 0.159325
0.14/0.28	c GLOBAL bounds - >= 5421 @ 0.162775
0.14/0.28	c GLOBAL bounds - >= 5421 @ 0.164828
0.14/0.29	c GLOBAL bounds - >= 5421 @ 0.167812
0.14/0.29	c GLOBAL bounds - >= 5421 @ 0.169045
0.14/0.30	c GLOBAL bounds - >= 5421 @ 0.172198
0.14/0.30	c GLOBAL bounds - >= 5421 @ 0.174787
0.24/0.31	c GLOBAL bounds - >= 5421 @ 0.178412
0.24/0.37	c GLOBAL bounds - >= 5421 @ 0.233471
0.24/0.37	c GLOBAL bounds - >= 5421 @ 0.235713
0.24/0.37	c GLOBAL bounds - >= 5421 @ 0.23799
0.24/0.38	c GLOBAL bounds - >= 5421 @ 0.24062
0.34/0.43	c GLOBAL bounds - >= 5421 @ 0.286423
0.34/0.47	c GLOBAL bounds - >= 5421 @ 0.31761
1.13/1.20	c #Conflicts:       1000 | #Constraints:       1074
1.13/1.20	c GLOBAL bounds - >= 17098 @ 1.00138
1.13/1.20	c GLOBAL bounds - >= 17098 @ 1.00472
1.13/1.20	c GLOBAL bounds - >= 17098 @ 1.00505
1.13/1.20	c GLOBAL bounds - >= 17098 @ 1.00573
1.13/1.20	c GLOBAL bounds - >= 17098 @ 1.00737
1.13/1.21	c GLOBAL bounds - >= 17098 @ 1.01084
1.13/1.21	c GLOBAL bounds - >= 17098 @ 1.01171
1.13/1.22	c GLOBAL bounds - >= 17098 @ 1.01348
1.13/1.22	c GLOBAL bounds - >= 17098 @ 1.01503
1.13/1.22	c GLOBAL bounds - >= 17098 @ 1.01571
1.13/1.23	c GLOBAL bounds - >= 17098 @ 1.01669
1.13/1.23	c GLOBAL bounds - >= 17098 @ 1.01974
1.13/1.23	c GLOBAL bounds - >= 17098 @ 1.02071
1.13/1.24	c GLOBAL bounds - >= 17098 @ 1.02149
1.13/1.24	c GLOBAL bounds - >= 17098 @ 1.0223
1.13/1.24	c GLOBAL bounds - >= 17098 @ 1.0244
1.13/1.25	c GLOBAL bounds - >= 17098 @ 1.02472
1.13/1.25	c GLOBAL bounds - >= 17098 @ 1.02736
1.13/1.25	c GLOBAL bounds - >= 17098 @ 1.02919
1.13/1.26	c GLOBAL bounds - >= 17098 @ 1.03034
1.13/1.26	c GLOBAL bounds - >= 17098 @ 1.0322
1.13/1.27	c GLOBAL bounds - >= 17098 @ 1.03371
1.13/1.27	c GLOBAL bounds - >= 17098 @ 1.03372
1.13/1.27	c GLOBAL bounds - >= 17098 @ 1.03528
1.13/1.28	c GLOBAL bounds - >= 17098 @ 1.03625
1.13/1.29	c GLOBAL bounds - >= 17098 @ 1.04385
1.13/1.29	c GLOBAL bounds - >= 17098 @ 1.0481
1.23/1.33	c GLOBAL bounds - >= 17098 @ 1.08374
1.23/1.35	c GLOBAL bounds - >= 17098 @ 1.10016
1.23/1.36	c GLOBAL bounds - >= 17098 @ 1.10455
1.23/1.36	c GLOBAL bounds - >= 17098 @ 1.10954
1.33/1.47	c GLOBAL bounds - >= 17098 @ 1.20667
1.43/1.54	c GLOBAL bounds - >= 17098 @ 1.26972
1.43/1.57	c GLOBAL bounds - >= 17098 @ 1.2924
2.82/3.00	c #Conflicts:       2000 | #Constraints:       2138
2.82/3.00	c INPROCESSING
2.82/3.00	c GARBAGE COLLECT
2.82/3.00	c GLOBAL bounds - >= 17098 @ 2.66282
3.22/3.39	c #Conflicts:       3000 | #Constraints:       2124
3.22/3.39	c GLOBAL bounds - >= 17098 @ 3.02743
4.62/4.72	c #Conflicts:       4000 | #Constraints:       3127
4.62/4.72	c INPROCESSING
4.62/4.72	c GARBAGE COLLECT
4.62/4.72	c GLOBAL bounds - >= 21766 @ 4.30538
4.62/4.72	c GLOBAL bounds - >= 21766 @ 4.30795
4.62/4.73	c GLOBAL bounds - >= 21766 @ 4.30796
4.62/4.73	c GLOBAL bounds - >= 21766 @ 4.30796
4.62/4.73	c GLOBAL bounds - >= 21766 @ 4.30992
4.71/4.88	c GLOBAL bounds - >= 21766 @ 4.44992
4.71/4.88	c GLOBAL bounds - >= 21766 @ 4.45181
4.71/4.88	c GLOBAL bounds - >= 21766 @ 4.45496
4.71/4.89	c GLOBAL bounds - >= 21766 @ 4.4567
4.71/4.89	c GLOBAL bounds - >= 21766 @ 4.45987
4.71/4.89	c GLOBAL bounds - >= 21766 @ 4.46158
4.82/4.90	c GLOBAL bounds - >= 21766 @ 4.46574
4.82/4.90	c GLOBAL bounds - >= 21766 @ 4.46661
4.82/4.90	c GLOBAL bounds - >= 21766 @ 4.46857
4.82/4.91	c GLOBAL bounds - >= 21766 @ 4.47052
4.82/4.91	c GLOBAL bounds - >= 21766 @ 4.47363
4.82/4.91	c GLOBAL bounds - >= 21766 @ 4.47566
4.82/4.92	c GLOBAL bounds - >= 21766 @ 4.47778
4.82/4.92	c GLOBAL bounds - >= 21766 @ 4.47959
4.82/4.93	c GLOBAL bounds - >= 21766 @ 4.48001
4.82/4.93	c GLOBAL bounds - >= 21766 @ 4.48055
4.82/4.93	c GLOBAL bounds - >= 21766 @ 4.48313
4.82/4.93	c GLOBAL bounds - >= 21766 @ 4.48354
4.82/4.94	c GLOBAL bounds - >= 21766 @ 4.48629
4.82/4.95	c GLOBAL bounds - >= 21766 @ 4.4901
4.82/4.95	c GLOBAL bounds - >= 21766 @ 4.49395
4.82/4.96	c GLOBAL bounds - >= 21766 @ 4.50154
4.82/4.97	c GLOBAL bounds - >= 21766 @ 4.50581
4.82/4.97	c GLOBAL bounds - >= 21766 @ 4.50934
4.93/5.01	c GLOBAL bounds - >= 21766 @ 4.54791
5.12/5.20	c GLOBAL bounds - >= 21766 @ 4.72034
5.12/5.20	c GLOBAL bounds - >= 21766 @ 4.72592
5.32/5.42	c #Conflicts:       5000 | #Constraints:       2596
5.32/5.42	c GLOBAL bounds - >= 21766 @ 4.91972
5.32/5.42	c GLOBAL bounds - >= 21766 @ 4.92217
5.32/5.44	c GLOBAL bounds - >= 21766 @ 4.93674
5.42/5.59	c GLOBAL bounds - >= 21766 @ 5.07583
5.62/5.77	c GLOBAL bounds - >= 21766 @ 5.25329
5.62/5.79	c GLOBAL bounds - >= 21766 @ 5.26532
5.71/5.81	c GLOBAL bounds - >= 21766 @ 5.28982
5.71/5.82	c GLOBAL bounds - >= 21766 @ 5.29285
6.81/6.92	c #Conflicts:       6000 | #Constraints:       3620
6.81/6.92	c INPROCESSING
6.81/6.92	c GARBAGE COLLECT
6.81/6.92	c GLOBAL bounds - >= 21766 @ 6.34666
6.81/6.96	c GLOBAL bounds - >= 21766 @ 6.38083
7.81/7.90	c #Conflicts:       7000 | #Constraints:       2607
7.81/7.90	c GLOBAL bounds - >= 21766 @ 7.28943
7.81/7.96	c GLOBAL bounds - >= 21766 @ 7.34264
8.20/8.38	c #Conflicts:       8000 | #Constraints:       3613
8.20/8.38	c GLOBAL bounds - >= 21766 @ 7.74516
8.31/8.45	c GLOBAL bounds - >= 21766 @ 7.80891
57.78/58.06	c #Conflicts:       9000 | #Constraints:       4619
57.78/58.06	c INPROCESSING
57.78/58.06	c GARBAGE COLLECT
57.78/58.06	c #Conflicts:      10000 | #Constraints:       3314
57.78/58.06	c #Conflicts:      11000 | #Constraints:       4314
57.78/58.06	c #Conflicts:      12000 | #Constraints:       5314
57.78/58.06	c INPROCESSING
57.78/58.06	c GARBAGE COLLECT
57.78/58.06	c #Conflicts:      13000 | #Constraints:       3769
57.78/58.06	c #Conflicts:      14000 | #Constraints:       4769
57.78/58.06	c #Conflicts:      15000 | #Constraints:       5769
57.78/58.06	c INPROCESSING
57.78/58.06	c GARBAGE COLLECT
57.78/58.06	c #Conflicts:      16000 | #Constraints:       3994
57.78/58.06	c #Conflicts:      17000 | #Constraints:       4994
57.78/58.06	c #Conflicts:      18000 | #Constraints:       5994
57.78/58.06	c INPROCESSING
57.78/58.06	c GARBAGE COLLECT
57.78/58.06	c #Conflicts:      19000 | #Constraints:       4009
57.78/58.06	c #Conflicts:      20000 | #Constraints:       5009
57.78/58.06	c #Conflicts:      21000 | #Constraints:       6009
57.78/58.06	c INPROCESSING
57.78/58.06	c GARBAGE COLLECT
57.78/58.06	c #Conflicts:      22000 | #Constraints:       3816
57.78/58.06	c #Conflicts:      23000 | #Constraints:       4816
57.78/58.06	c #Conflicts:      24000 | #Constraints:       5816
57.78/58.06	c #Conflicts:      25000 | #Constraints:       6816
57.78/58.06	c INPROCESSING
57.78/58.06	c GARBAGE COLLECT
57.78/58.06	c #Conflicts:      26000 | #Constraints:       4422
57.78/58.06	c #Conflicts:      27000 | #Constraints:       5422
57.78/58.06	c #Conflicts:      28000 | #Constraints:       6422
57.78/58.06	c #Conflicts:      29000 | #Constraints:       7422
57.78/58.06	c INPROCESSING
57.78/58.06	c GARBAGE COLLECT
57.78/58.06	c #Conflicts:      30000 | #Constraints:       4824
57.78/58.06	c #Conflicts:      31000 | #Constraints:       5824
57.78/58.06	c #Conflicts:      32000 | #Constraints:       6824
57.78/58.06	c #Conflicts:      33000 | #Constraints:       7824
57.78/58.06	c INPROCESSING
57.78/58.06	c GARBAGE COLLECT
57.78/58.06	c #Conflicts:      34000 | #Constraints:       5032
57.78/58.06	c #Conflicts:      35000 | #Constraints:       6032
57.78/58.06	c #Conflicts:      36000 | #Constraints:       7032
57.78/58.06	c #Conflicts:      37000 | #Constraints:       8032
57.78/58.06	c INPROCESSING
57.78/58.06	c GARBAGE COLLECT
57.78/58.06	c #Conflicts:      38000 | #Constraints:       5027
57.78/58.06	c #Conflicts:      39000 | #Constraints:       6027
57.78/58.06	c #Conflicts:      40000 | #Constraints:       7027
57.78/58.06	c #Conflicts:      41000 | #Constraints:       8027
57.78/58.06	c INPROCESSING
57.78/58.06	c GARBAGE COLLECT
57.78/58.06	c #Conflicts:      42000 | #Constraints:       4823
57.78/58.06	c #Conflicts:      43000 | #Constraints:       5823
57.78/58.06	c #Conflicts:      44000 | #Constraints:       6823
57.78/58.06	c #Conflicts:      45000 | #Constraints:       7823
57.78/58.06	c #Conflicts:      46000 | #Constraints:       8823
57.78/58.06	c INPROCESSING
57.78/58.06	c GARBAGE COLLECT
57.78/58.06	c #Conflicts:      47000 | #Constraints:       5432
57.78/58.06	c #Conflicts:      48000 | #Constraints:       6432
57.78/58.06	c #Conflicts:      49000 | #Constraints:       7432
57.78/58.06	c #Conflicts:      50000 | #Constraints:       8432
57.78/58.06	c GLOBAL bounds - >= 26270 @ 55.6397
57.78/58.06	c GLOBAL bounds - >= 26270 @ 55.6442
57.78/58.06	c GLOBAL bounds - >= 26270 @ 55.6448
57.78/58.07	c GLOBAL bounds - >= 26270 @ 55.6454
57.78/58.07	c GLOBAL bounds - >= 26270 @ 55.646
57.78/58.08	c GLOBAL bounds - >= 26270 @ 55.6521
57.78/58.08	c GLOBAL bounds - >= 26270 @ 55.6528
57.78/58.08	c GLOBAL bounds - >= 26270 @ 55.6563
57.78/58.09	c GLOBAL bounds - >= 26270 @ 55.6573
57.78/58.09	c GLOBAL bounds - >= 26270 @ 55.6606
57.78/58.09	c GLOBAL bounds - >= 26270 @ 55.6627
57.78/58.10	c GLOBAL bounds - >= 26270 @ 55.6653
57.88/58.10	c GLOBAL bounds - >= 26270 @ 55.6664
57.88/58.11	c GLOBAL bounds - >= 26270 @ 55.6689
57.88/58.11	c GLOBAL bounds - >= 26270 @ 55.6693
57.88/58.12	c GLOBAL bounds - >= 26270 @ 55.6725
57.88/58.12	c GLOBAL bounds - >= 26270 @ 55.6737
57.88/58.12	c GLOBAL bounds - >= 26270 @ 55.6752
57.88/58.13	c GLOBAL bounds - >= 26270 @ 55.6764
57.88/58.13	c GLOBAL bounds - >= 26270 @ 55.6788
57.88/58.13	c GLOBAL bounds - >= 26270 @ 55.6803
57.88/58.14	c GLOBAL bounds - >= 26270 @ 55.6825
57.88/58.14	c GLOBAL bounds - >= 26270 @ 55.6837
57.88/58.15	c GLOBAL bounds - >= 26270 @ 55.6863
57.88/58.15	c GLOBAL bounds - >= 26270 @ 55.6885
57.88/58.16	c GLOBAL bounds - >= 26270 @ 55.6927
57.88/58.16	c GLOBAL bounds - >= 26270 @ 55.6959
57.88/58.17	c GLOBAL bounds - >= 26270 @ 55.6999
57.88/58.18	c GLOBAL bounds - >= 26270 @ 55.7023
57.88/58.18	c GLOBAL bounds - >= 26270 @ 55.7046
57.88/58.19	c GLOBAL bounds - >= 26270 @ 55.7084
57.98/58.20	c GLOBAL bounds - >= 26270 @ 55.7094
57.98/58.20	c GLOBAL bounds - >= 26270 @ 55.7134
57.98/58.21	c GLOBAL bounds - >= 26270 @ 55.7193
58.58/58.84	c #Conflicts:      51000 | #Constraints:       9500
58.58/58.84	c INPROCESSING
58.58/58.84	c GARBAGE COLLECT
58.58/58.84	c GLOBAL bounds - >= 26270 @ 56.3355
58.58/58.86	c GLOBAL bounds - >= 26270 @ 56.3452
58.58/58.89	c GLOBAL bounds - >= 26270 @ 56.3728
59.07/59.36	c GLOBAL bounds - >= 26270 @ 56.8263
60.06/60.34	c #Conflicts:      52000 | #Constraints:       5884
60.06/60.34	c GLOBAL bounds - >= 26270 @ 57.7623
60.57/60.83	c GLOBAL bounds - >= 26270 @ 58.2078
60.57/60.84	c GLOBAL bounds - >= 26270 @ 58.2134
60.96/61.23	c #Conflicts:      53000 | #Constraints:       6893
60.96/61.23	c GLOBAL bounds - >= 26270 @ 58.5627
61.36/61.61	c GLOBAL bounds - >= 26270 @ 58.919
65.26/65.55	c #Conflicts:      54000 | #Constraints:       7899
65.26/65.55	c #Conflicts:      55000 | #Constraints:       8899
65.26/65.55	c #Conflicts:      56000 | #Constraints:       9899
65.26/65.55	c INPROCESSING
65.26/65.55	c GARBAGE COLLECT
65.26/65.55	c #Conflicts:      57000 | #Constraints:       6088
65.26/65.55	c GLOBAL bounds - >= 26270 @ 62.669
83.19/83.53	c #Conflicts:      58000 | #Constraints:       7091
83.19/83.53	c #Conflicts:      59000 | #Constraints:       8091
83.19/83.53	c #Conflicts:      60000 | #Constraints:       9091
83.19/83.53	c #Conflicts:      61000 | #Constraints:      10091
83.19/83.53	c INPROCESSING
83.19/83.53	c GARBAGE COLLECT
83.19/83.53	c #Conflicts:      62000 | #Constraints:       6092
83.19/83.53	c #Conflicts:      63000 | #Constraints:       7092
83.19/83.53	c #Conflicts:      64000 | #Constraints:       8092
83.19/83.53	c #Conflicts:      65000 | #Constraints:       9092
83.19/83.53	c #Conflicts:      66000 | #Constraints:      10092
83.19/83.53	c INPROCESSING
83.19/83.53	c GARBAGE COLLECT
83.19/83.53	c #Conflicts:      67000 | #Constraints:       5891
83.19/83.53	c #Conflicts:      68000 | #Constraints:       6891
83.19/83.53	c #Conflicts:      69000 | #Constraints:       7891
83.19/83.53	c #Conflicts:      70000 | #Constraints:       8891
83.19/83.53	c #Conflicts:      71000 | #Constraints:       9891
83.19/83.53	c #Conflicts:      72000 | #Constraints:      10891
83.19/83.53	c INPROCESSING
83.19/83.53	c GARBAGE COLLECT
83.19/83.53	c #Conflicts:      73000 | #Constraints:       6494
83.19/83.53	c GLOBAL bounds - >= 26270 @ 80.0168
83.59/83.90	c GLOBAL bounds - >= 26270 @ 80.3648
94.56/94.99	c #Conflicts:      74000 | #Constraints:       7500
94.56/94.99	c #Conflicts:      75000 | #Constraints:       8500
94.56/94.99	c #Conflicts:      76000 | #Constraints:       9500
94.56/94.99	c #Conflicts:      77000 | #Constraints:      10500
94.56/94.99	c #Conflicts:      78000 | #Constraints:      11500
94.56/94.99	c INPROCESSING
94.56/94.99	c GARBAGE COLLECT
94.56/94.99	c #Conflicts:      79000 | #Constraints:       6903
94.56/94.99	c #Conflicts:      80000 | #Constraints:       7903
94.56/94.99	c #Conflicts:      81000 | #Constraints:       8903
94.56/94.99	c #Conflicts:      82000 | #Constraints:       9903
94.56/94.99	c #Conflicts:      83000 | #Constraints:      10903
94.56/94.99	c GLOBAL bounds - >= 26270 @ 91.0926
112.61/113.04	c #Conflicts:      84000 | #Constraints:      11906
112.61/113.04	c INPROCESSING
112.61/113.04	c GARBAGE COLLECT
112.61/113.04	c #Conflicts:      85000 | #Constraints:       7104
112.61/113.04	c #Conflicts:      86000 | #Constraints:       8104
112.61/113.04	c #Conflicts:      87000 | #Constraints:       9104
112.61/113.04	c #Conflicts:      88000 | #Constraints:      10104
112.61/113.04	c #Conflicts:      89000 | #Constraints:      11104
112.61/113.04	c #Conflicts:      90000 | #Constraints:      12104
112.61/113.04	c INPROCESSING
112.61/113.04	c GARBAGE COLLECT
112.61/113.04	c #Conflicts:      91000 | #Constraints:       7103
112.61/113.04	c #Conflicts:      92000 | #Constraints:       8103
112.61/113.04	c #Conflicts:      93000 | #Constraints:       9103
112.61/113.04	c #Conflicts:      94000 | #Constraints:      10103
112.61/113.04	c #Conflicts:      95000 | #Constraints:      11103
112.61/113.04	c #Conflicts:      96000 | #Constraints:      12103
112.61/113.04	c INPROCESSING
112.61/113.04	c GARBAGE COLLECT
112.61/113.04	c #Conflicts:      97000 | #Constraints:       6907
112.61/113.04	c #Conflicts:      98000 | #Constraints:       7907
112.61/113.04	c GLOBAL bounds - >= 26270 @ 108.596
202.86/203.68	c #Conflicts:      99000 | #Constraints:       8910
202.86/203.68	c #Conflicts:     100000 | #Constraints:       9910
202.86/203.68	c #Conflicts:     101000 | #Constraints:      10910
202.86/203.68	c #Conflicts:     102000 | #Constraints:      11910
202.86/203.68	c #Conflicts:     103000 | #Constraints:      12910
202.86/203.68	c INPROCESSING
202.86/203.68	c GARBAGE COLLECT
202.86/203.68	c #Conflicts:     104000 | #Constraints:       7504
202.86/203.68	c #Conflicts:     105000 | #Constraints:       8504
202.86/203.68	c #Conflicts:     106000 | #Constraints:       9504
202.86/203.68	c #Conflicts:     107000 | #Constraints:      10504
202.86/203.68	c #Conflicts:     108000 | #Constraints:      11504
202.86/203.68	c #Conflicts:     109000 | #Constraints:      12504
202.86/203.68	c #Conflicts:     110000 | #Constraints:      13504
202.86/203.68	c INPROCESSING
202.86/203.68	c GARBAGE COLLECT
202.86/203.68	c #Conflicts:     111000 | #Constraints:       7906
202.86/203.68	c #Conflicts:     112000 | #Constraints:       8906
202.86/203.68	c #Conflicts:     113000 | #Constraints:       9906
202.86/203.68	c #Conflicts:     114000 | #Constraints:      10906
202.86/203.68	c #Conflicts:     115000 | #Constraints:      11906
202.86/203.68	c #Conflicts:     116000 | #Constraints:      12906
202.86/203.68	c #Conflicts:     117000 | #Constraints:      13906
202.86/203.68	c INPROCESSING
202.86/203.68	c GARBAGE COLLECT
202.86/203.68	c #Conflicts:     118000 | #Constraints:       8112
202.86/203.68	c #Conflicts:     119000 | #Constraints:       9112
202.86/203.68	c #Conflicts:     120000 | #Constraints:      10112
202.86/203.68	c #Conflicts:     121000 | #Constraints:      11112
202.86/203.68	c #Conflicts:     122000 | #Constraints:      12112
202.86/203.68	c #Conflicts:     123000 | #Constraints:      13112
202.86/203.68	c #Conflicts:     124000 | #Constraints:      14112
202.86/203.68	c INPROCESSING
202.86/203.68	c GARBAGE COLLECT
202.86/203.68	c #Conflicts:     125000 | #Constraints:       8110
202.86/203.68	c #Conflicts:     126000 | #Constraints:       9110
202.86/203.68	c #Conflicts:     127000 | #Constraints:      10110
202.86/203.68	c #Conflicts:     128000 | #Constraints:      11110
202.86/203.68	c #Conflicts:     129000 | #Constraints:      12110
202.86/203.68	c #Conflicts:     130000 | #Constraints:      13110
202.86/203.68	c #Conflicts:     131000 | #Constraints:      14110
202.86/203.68	c INPROCESSING
202.86/203.68	c GARBAGE COLLECT
202.86/203.68	c #Conflicts:     132000 | #Constraints:       7908
202.86/203.68	c #Conflicts:     133000 | #Constraints:       8908
202.86/203.68	c #Conflicts:     134000 | #Constraints:       9908
202.86/203.68	c #Conflicts:     135000 | #Constraints:      10908
202.86/203.68	c #Conflicts:     136000 | #Constraints:      11908
202.86/203.68	c #Conflicts:     137000 | #Constraints:      12908
202.86/203.68	c #Conflicts:     138000 | #Constraints:      13908
202.86/203.68	c #Conflicts:     139000 | #Constraints:      14908
202.86/203.68	c INPROCESSING
202.86/203.68	c GARBAGE COLLECT
202.86/203.68	c #Conflicts:     140000 | #Constraints:       8509
202.86/203.68	c #Conflicts:     141000 | #Constraints:       9509
202.86/203.68	c #Conflicts:     142000 | #Constraints:      10509
202.86/203.68	c #Conflicts:     143000 | #Constraints:      11509
202.86/203.68	c #Conflicts:     144000 | #Constraints:      12509
202.86/203.68	c #Conflicts:     145000 | #Constraints:      13509
202.86/203.68	c #Conflicts:     146000 | #Constraints:      14509
202.86/203.68	c #Conflicts:     147000 | #Constraints:      15509
202.86/203.68	c INPROCESSING
202.86/203.68	c GARBAGE COLLECT
202.86/203.68	c #Conflicts:     148000 | #Constraints:       8918
202.86/203.68	c #Conflicts:     149000 | #Constraints:       9918
202.86/203.68	c #Conflicts:     150000 | #Constraints:      10918
202.86/203.68	c #Conflicts:     151000 | #Constraints:      11918
202.86/203.68	c #Conflicts:     152000 | #Constraints:      12918
202.86/203.68	c #Conflicts:     153000 | #Constraints:      13918
202.86/203.68	c #Conflicts:     154000 | #Constraints:      14918
202.86/203.68	c #Conflicts:     155000 | #Constraints:      15918
202.86/203.68	c INPROCESSING
202.86/203.68	c GARBAGE COLLECT
202.86/203.68	c #Conflicts:     156000 | #Constraints:       9121
202.86/203.68	c #Conflicts:     157000 | #Constraints:      10121
202.86/203.68	c #Conflicts:     158000 | #Constraints:      11121
202.86/203.68	c #Conflicts:     159000 | #Constraints:      12121
202.86/203.68	c #Conflicts:     160000 | #Constraints:      13121
202.86/203.68	c #Conflicts:     161000 | #Constraints:      14121
202.86/203.68	c #Conflicts:     162000 | #Constraints:      15121
202.86/203.68	c #Conflicts:     163000 | #Constraints:      16121
202.86/203.68	c INPROCESSING
202.86/203.68	c GARBAGE COLLECT
202.86/203.68	c #Conflicts:     164000 | #Constraints:       9119
202.86/203.68	c #Conflicts:     165000 | #Constraints:      10119
202.86/203.68	c #Conflicts:     166000 | #Constraints:      11119
202.86/203.68	c #Conflicts:     167000 | #Constraints:      12119
202.86/203.68	c #Conflicts:     168000 | #Constraints:      13119
202.86/203.68	c #Conflicts:     169000 | #Constraints:      14119
202.86/203.68	c #Conflicts:     170000 | #Constraints:      15119
202.86/203.68	c #Conflicts:     171000 | #Constraints:      16119
202.86/203.68	c INPROCESSING
303.53/304.69	c GARBAGE COLLECT
303.53/304.69	c #Conflicts:     172000 | #Constraints:       8926
303.53/304.69	c #Conflicts:     173000 | #Constraints:       9926
303.53/304.69	c #Conflicts:     174000 | #Constraints:      10926
303.53/304.69	c #Conflicts:     175000 | #Constraints:      11926
303.53/304.69	c #Conflicts:     176000 | #Constraints:      12926
303.53/304.69	c #Conflicts:     177000 | #Constraints:      13926
303.53/304.69	c #Conflicts:     178000 | #Constraints:      14926
303.53/304.69	c #Conflicts:     179000 | #Constraints:      15926
303.53/304.69	c #Conflicts:     180000 | #Constraints:      16926
303.53/304.69	c INPROCESSING
303.53/304.69	c GARBAGE COLLECT
303.53/304.69	c #Conflicts:     181000 | #Constraints:       9515
303.53/304.69	c #Conflicts:     182000 | #Constraints:      10515
303.53/304.69	c #Conflicts:     183000 | #Constraints:      11515
303.53/304.69	c #Conflicts:     184000 | #Constraints:      12515
303.53/304.69	c #Conflicts:     185000 | #Constraints:      13515
303.53/304.69	c #Conflicts:     186000 | #Constraints:      14515
303.53/304.69	c #Conflicts:     187000 | #Constraints:      15515
303.53/304.69	c #Conflicts:     188000 | #Constraints:      16515
303.53/304.69	c #Conflicts:     189000 | #Constraints:      17515
303.53/304.69	c INPROCESSING
303.53/304.69	c GARBAGE COLLECT
303.53/304.69	c #Conflicts:     190000 | #Constraints:       9911
303.53/304.69	c #Conflicts:     191000 | #Constraints:      10911
303.53/304.69	c #Conflicts:     192000 | #Constraints:      11911
303.53/304.69	c #Conflicts:     193000 | #Constraints:      12911
303.53/304.69	c #Conflicts:     194000 | #Constraints:      13911
303.53/304.69	c #Conflicts:     195000 | #Constraints:      14911
303.53/304.69	c #Conflicts:     196000 | #Constraints:      15911
303.53/304.69	c #Conflicts:     197000 | #Constraints:      16911
303.53/304.69	c #Conflicts:     198000 | #Constraints:      17911
303.53/304.69	c INPROCESSING
303.53/304.69	c GARBAGE COLLECT
303.53/304.69	c #Conflicts:     199000 | #Constraints:      10112
303.53/304.69	c #Conflicts:     200000 | #Constraints:      11112
303.53/304.69	c #Conflicts:     201000 | #Constraints:      12112
303.53/304.69	c #Conflicts:     202000 | #Constraints:      13112
303.53/304.69	c #Conflicts:     203000 | #Constraints:      14112
303.53/304.69	c #Conflicts:     204000 | #Constraints:      15112
303.53/304.69	c #Conflicts:     205000 | #Constraints:      16112
303.53/304.69	c #Conflicts:     206000 | #Constraints:      17112
303.53/304.69	c #Conflicts:     207000 | #Constraints:      18112
303.53/304.69	c INPROCESSING
303.53/304.69	c GARBAGE COLLECT
303.53/304.69	c #Conflicts:     208000 | #Constraints:      10120
303.53/304.69	c #Conflicts:     209000 | #Constraints:      11120
303.53/304.69	c #Conflicts:     210000 | #Constraints:      12120
303.53/304.69	c #Conflicts:     211000 | #Constraints:      13120
303.53/304.69	c #Conflicts:     212000 | #Constraints:      14120
303.53/304.69	c #Conflicts:     213000 | #Constraints:      15120
303.53/304.69	c #Conflicts:     214000 | #Constraints:      16120
303.53/304.69	c #Conflicts:     215000 | #Constraints:      17120
303.53/304.69	c #Conflicts:     216000 | #Constraints:      18120
303.53/304.69	c INPROCESSING
303.53/304.69	c GARBAGE COLLECT
303.53/304.69	c #Conflicts:     217000 | #Constraints:       9921
303.53/304.69	c #Conflicts:     218000 | #Constraints:      10921
303.53/304.69	c #Conflicts:     219000 | #Constraints:      11921
303.53/304.69	c #Conflicts:     220000 | #Constraints:      12921
303.53/304.69	c #Conflicts:     221000 | #Constraints:      13921
303.53/304.69	c #Conflicts:     222000 | #Constraints:      14921
303.53/304.69	c #Conflicts:     223000 | #Constraints:      15921
303.53/304.69	c #Conflicts:     224000 | #Constraints:      16921
303.53/304.69	c #Conflicts:     225000 | #Constraints:      17921
303.53/304.69	c #Conflicts:     226000 | #Constraints:      18921
303.53/304.69	c INPROCESSING
303.53/304.69	c GARBAGE COLLECT
303.53/304.69	c #Conflicts:     227000 | #Constraints:      10527
303.53/304.69	c #Conflicts:     228000 | #Constraints:      11527
303.53/304.69	c #Conflicts:     229000 | #Constraints:      12527
303.53/304.69	c #Conflicts:     230000 | #Constraints:      13527
303.53/304.69	c #Conflicts:     231000 | #Constraints:      14527
303.53/304.69	c #Conflicts:     232000 | #Constraints:      15527
303.53/304.69	c #Conflicts:     233000 | #Constraints:      16527
303.53/304.69	c #Conflicts:     234000 | #Constraints:      17527
303.53/304.69	c #Conflicts:     235000 | #Constraints:      18527
303.53/304.69	c #Conflicts:     236000 | #Constraints:      19527
303.53/304.69	c INPROCESSING
303.53/304.69	c GARBAGE COLLECT
303.53/304.69	c #Conflicts:     237000 | #Constraints:      10922
303.53/304.69	c #Conflicts:     238000 | #Constraints:      11922
303.53/304.69	c #Conflicts:     239000 | #Constraints:      12922
303.53/304.69	c #Conflicts:     240000 | #Constraints:      13922
303.53/304.69	c #Conflicts:     241000 | #Constraints:      14922
303.53/304.69	c #Conflicts:     242000 | #Constraints:      15922
303.53/304.69	c #Conflicts:     243000 | #Constraints:      16922
303.53/304.69	c #Conflicts:     244000 | #Constraints:      17922
303.53/304.69	c #Conflicts:     245000 | #Constraints:      18922
406.61/408.07	c #Conflicts:     246000 | #Constraints:      19922
406.61/408.07	c INPROCESSING
406.61/408.07	c GARBAGE COLLECT
406.61/408.07	c #Conflicts:     247000 | #Constraints:      11123
406.61/408.07	c #Conflicts:     248000 | #Constraints:      12123
406.61/408.07	c #Conflicts:     249000 | #Constraints:      13123
406.61/408.07	c #Conflicts:     250000 | #Constraints:      14123
406.61/408.07	c #Conflicts:     251000 | #Constraints:      15123
406.61/408.07	c #Conflicts:     252000 | #Constraints:      16123
406.61/408.07	c #Conflicts:     253000 | #Constraints:      17123
406.61/408.07	c #Conflicts:     254000 | #Constraints:      18123
406.61/408.07	c #Conflicts:     255000 | #Constraints:      19123
406.61/408.07	c #Conflicts:     256000 | #Constraints:      20123
406.61/408.07	c INPROCESSING
406.61/408.07	c GARBAGE COLLECT
406.61/408.07	c #Conflicts:     257000 | #Constraints:      11133
406.61/408.07	c #Conflicts:     258000 | #Constraints:      12133
406.61/408.07	c #Conflicts:     259000 | #Constraints:      13133
406.61/408.07	c #Conflicts:     260000 | #Constraints:      14133
406.61/408.07	c #Conflicts:     261000 | #Constraints:      15133
406.61/408.07	c #Conflicts:     262000 | #Constraints:      16133
406.61/408.07	c #Conflicts:     263000 | #Constraints:      17133
406.61/408.07	c #Conflicts:     264000 | #Constraints:      18133
406.61/408.07	c #Conflicts:     265000 | #Constraints:      19133
406.61/408.07	c #Conflicts:     266000 | #Constraints:      20133
406.61/408.07	c INPROCESSING
406.61/408.07	c GARBAGE COLLECT
406.61/408.07	c #Conflicts:     267000 | #Constraints:      10933
406.61/408.07	c #Conflicts:     268000 | #Constraints:      11933
406.61/408.07	c #Conflicts:     269000 | #Constraints:      12933
406.61/408.07	c #Conflicts:     270000 | #Constraints:      13933
406.61/408.07	c #Conflicts:     271000 | #Constraints:      14933
406.61/408.07	c #Conflicts:     272000 | #Constraints:      15933
406.61/408.07	c #Conflicts:     273000 | #Constraints:      16933
406.61/408.07	c #Conflicts:     274000 | #Constraints:      17933
406.61/408.07	c #Conflicts:     275000 | #Constraints:      18933
406.61/408.07	c #Conflicts:     276000 | #Constraints:      19933
406.61/408.07	c #Conflicts:     277000 | #Constraints:      20933
406.61/408.07	c INPROCESSING
406.61/408.07	c GARBAGE COLLECT
406.61/408.07	c #Conflicts:     278000 | #Constraints:      11535
406.61/408.07	c #Conflicts:     279000 | #Constraints:      12535
406.61/408.07	c #Conflicts:     280000 | #Constraints:      13535
406.61/408.07	c #Conflicts:     281000 | #Constraints:      14535
406.61/408.07	c #Conflicts:     282000 | #Constraints:      15535
406.61/408.07	c #Conflicts:     283000 | #Constraints:      16535
406.61/408.07	c #Conflicts:     284000 | #Constraints:      17535
406.61/408.07	c #Conflicts:     285000 | #Constraints:      18535
406.61/408.07	c #Conflicts:     286000 | #Constraints:      19535
406.61/408.07	c #Conflicts:     287000 | #Constraints:      20535
406.61/408.07	c #Conflicts:     288000 | #Constraints:      21535
406.61/408.07	c INPROCESSING
406.61/408.07	c GARBAGE COLLECT
406.61/408.07	c #Conflicts:     289000 | #Constraints:      11947
406.61/408.07	c #Conflicts:     290000 | #Constraints:      12947
406.61/408.07	c #Conflicts:     291000 | #Constraints:      13947
406.61/408.07	c #Conflicts:     292000 | #Constraints:      14947
406.61/408.07	c #Conflicts:     293000 | #Constraints:      15947
406.61/408.07	c #Conflicts:     294000 | #Constraints:      16947
406.61/408.07	c #Conflicts:     295000 | #Constraints:      17947
406.61/408.07	c #Conflicts:     296000 | #Constraints:      18947
406.61/408.07	c #Conflicts:     297000 | #Constraints:      19947
406.61/408.07	c #Conflicts:     298000 | #Constraints:      20947
406.61/408.07	c #Conflicts:     299000 | #Constraints:      21947
406.61/408.07	c INPROCESSING
406.61/408.07	c GARBAGE COLLECT
406.61/408.07	c #Conflicts:     300000 | #Constraints:      12139
406.61/408.07	c #Conflicts:     301000 | #Constraints:      13139
406.61/408.07	c #Conflicts:     302000 | #Constraints:      14139
406.61/408.07	c #Conflicts:     303000 | #Constraints:      15139
406.61/408.07	c #Conflicts:     304000 | #Constraints:      16139
406.61/408.07	c #Conflicts:     305000 | #Constraints:      17139
406.61/408.07	c #Conflicts:     306000 | #Constraints:      18139
406.61/408.07	c #Conflicts:     307000 | #Constraints:      19139
406.61/408.07	c #Conflicts:     308000 | #Constraints:      20139
406.61/408.07	c #Conflicts:     309000 | #Constraints:      21139
406.61/408.07	c #Conflicts:     310000 | #Constraints:      22139
406.61/408.07	c INPROCESSING
406.61/408.07	c GARBAGE COLLECT
406.61/408.07	c #Conflicts:     311000 | #Constraints:      12132
406.61/408.07	c #Conflicts:     312000 | #Constraints:      13132
406.61/408.07	c #Conflicts:     313000 | #Constraints:      14132
406.61/408.07	c GLOBAL bounds - >= 29195 @ 394.627
406.61/408.07	c GLOBAL bounds - >= 29195 @ 394.631
406.61/408.07	c GLOBAL bounds - >= 29195 @ 394.633
406.61/408.08	c GLOBAL bounds - >= 29195 @ 394.635
406.61/408.08	c GLOBAL bounds - >= 29195 @ 394.635
406.61/408.08	c GLOBAL bounds - >= 29195 @ 394.635
407.40/408.84	c GLOBAL bounds - >= 29195 @ 395.368
407.40/408.84	c GLOBAL bounds - >= 29195 @ 395.368
407.40/408.85	c GLOBAL bounds - >= 29195 @ 395.371
407.40/408.85	c GLOBAL bounds - >= 29195 @ 395.372
407.40/408.86	c GLOBAL bounds - >= 29195 @ 395.377
407.40/408.86	c GLOBAL bounds - >= 29195 @ 395.378
407.40/408.87	c GLOBAL bounds - >= 29195 @ 395.38
407.40/408.87	c GLOBAL bounds - >= 29195 @ 395.381
407.40/408.88	c GLOBAL bounds - >= 29195 @ 395.384
407.40/408.88	c GLOBAL bounds - >= 29195 @ 395.385
407.40/408.88	c GLOBAL bounds - >= 29195 @ 395.389
407.40/408.89	c GLOBAL bounds - >= 29195 @ 395.391
407.40/408.89	c GLOBAL bounds - >= 29195 @ 395.394
407.40/408.89	c GLOBAL bounds - >= 29195 @ 395.395
407.50/408.90	c GLOBAL bounds - >= 29195 @ 395.398
407.50/408.90	c GLOBAL bounds - >= 29195 @ 395.4
407.50/408.91	c GLOBAL bounds - >= 29195 @ 395.402
407.50/408.91	c GLOBAL bounds - >= 29195 @ 395.403
407.50/408.92	c GLOBAL bounds - >= 29195 @ 395.405
407.50/408.92	c GLOBAL bounds - >= 29195 @ 395.41
407.50/408.93	c GLOBAL bounds - >= 29195 @ 395.413
407.50/408.94	c GLOBAL bounds - >= 29195 @ 395.421
407.50/408.95	c GLOBAL bounds - >= 29195 @ 395.436
407.50/408.96	c GLOBAL bounds - >= 29195 @ 395.439
407.50/408.97	c GLOBAL bounds - >= 29195 @ 395.442
407.50/408.97	c GLOBAL bounds - >= 29195 @ 395.445
407.50/408.98	c GLOBAL bounds - >= 29195 @ 395.449
407.60/409.08	c #Conflicts:     314000 | #Constraints:      15196
407.60/409.08	c GLOBAL bounds - >= 29195 @ 395.538
407.60/409.08	c GLOBAL bounds - >= 29195 @ 395.543
407.80/409.23	c GLOBAL bounds - >= 29195 @ 395.677
408.10/409.59	c GLOBAL bounds - >= 29195 @ 396.024
408.30/409.75	c GLOBAL bounds - >= 29195 @ 396.185
408.40/409.80	c GLOBAL bounds - >= 29195 @ 396.226
408.40/409.81	c GLOBAL bounds - >= 29195 @ 396.233
408.51/409.90	c GLOBAL bounds - >= 29195 @ 396.324
408.90/410.40	c #Conflicts:     315000 | #Constraints:      16220
408.90/410.40	c GLOBAL bounds - >= 29195 @ 396.795
409.00/410.41	c GLOBAL bounds - >= 29195 @ 396.811
409.00/410.45	c GLOBAL bounds - >= 29195 @ 396.846
409.00/410.46	c GLOBAL bounds - >= 29195 @ 396.854
417.17/418.60	c #Conflicts:     316000 | #Constraints:      17232
417.17/418.60	c #Conflicts:     317000 | #Constraints:      18232
417.17/418.60	c #Conflicts:     318000 | #Constraints:      19232
417.17/418.60	c #Conflicts:     319000 | #Constraints:      20232
417.17/418.60	c #Conflicts:     320000 | #Constraints:      21232
417.17/418.60	c #Conflicts:     321000 | #Constraints:      22232
417.17/418.60	c INPROCESSING
417.17/418.60	c GARBAGE COLLECT
417.17/418.60	c GLOBAL bounds - >= 29195 @ 404.716
426.74/428.24	c #Conflicts:     322000 | #Constraints:      12000
426.74/428.24	c #Conflicts:     323000 | #Constraints:      13000
426.74/428.24	c #Conflicts:     324000 | #Constraints:      14000
426.74/428.24	c #Conflicts:     325000 | #Constraints:      15000
426.74/428.24	c #Conflicts:     326000 | #Constraints:      16000
426.74/428.24	c #Conflicts:     327000 | #Constraints:      17000
426.74/428.24	c #Conflicts:     328000 | #Constraints:      18000
426.74/428.24	c #Conflicts:     329000 | #Constraints:      19000
426.74/428.24	c GLOBAL bounds - >= 29195 @ 414.029
426.74/428.25	c GLOBAL bounds - >= 29195 @ 414.036
427.74/429.23	c #Conflicts:     330000 | #Constraints:      20006
427.74/429.23	c GLOBAL bounds - >= 29195 @ 414.977
432.23/433.77	c #Conflicts:     331000 | #Constraints:      21009
432.23/433.77	c #Conflicts:     332000 | #Constraints:      22009
432.23/433.77	c #Conflicts:     333000 | #Constraints:      23009
432.23/433.77	c INPROCESSING
432.23/433.77	c GARBAGE COLLECT
432.23/433.77	c GLOBAL bounds - >= 29195 @ 419.359
432.33/433.80	c GLOBAL bounds - >= 29195 @ 419.391
434.73/436.29	c #Conflicts:     334000 | #Constraints:      12598
434.73/436.29	c #Conflicts:     335000 | #Constraints:      13598
434.73/436.29	c GLOBAL bounds - >= 29195 @ 421.779
451.75/453.38	c #Conflicts:     336000 | #Constraints:      14601
451.75/453.38	c #Conflicts:     337000 | #Constraints:      15601
451.75/453.38	c #Conflicts:     338000 | #Constraints:      16601
451.75/453.38	c #Conflicts:     339000 | #Constraints:      17601
451.75/453.38	c #Conflicts:     340000 | #Constraints:      18601
451.75/453.38	c #Conflicts:     341000 | #Constraints:      19601
451.75/453.38	c #Conflicts:     342000 | #Constraints:      20601
451.75/453.38	c #Conflicts:     343000 | #Constraints:      21601
451.75/453.38	c #Conflicts:     344000 | #Constraints:      22601
451.75/453.38	c #Conflicts:     345000 | #Constraints:      23601
451.75/453.38	c INPROCESSING
451.75/453.38	c GARBAGE COLLECT
451.75/453.38	c #Conflicts:     346000 | #Constraints:      13003
451.75/453.38	c #Conflicts:     347000 | #Constraints:      14003
451.75/453.38	c GLOBAL bounds - >= 29195 @ 438.195
452.15/453.76	c #Conflicts:     348000 | #Constraints:      15006
452.15/453.76	c GLOBAL bounds - >= 29195 @ 438.561
561.16/563.13	c #Conflicts:     349000 | #Constraints:      16009
561.16/563.13	c #Conflicts:     350000 | #Constraints:      17009
561.16/563.13	c #Conflicts:     351000 | #Constraints:      18009
561.16/563.13	c #Conflicts:     352000 | #Constraints:      19009
561.16/563.13	c #Conflicts:     353000 | #Constraints:      20009
561.16/563.13	c #Conflicts:     354000 | #Constraints:      21009
561.16/563.13	c #Conflicts:     355000 | #Constraints:      22009
561.16/563.13	c #Conflicts:     356000 | #Constraints:      23009
561.16/563.13	c #Conflicts:     357000 | #Constraints:      24009
561.16/563.13	c INPROCESSING
561.16/563.13	c GARBAGE COLLECT
561.16/563.13	c #Conflicts:     358000 | #Constraints:      13207
561.16/563.13	c #Conflicts:     359000 | #Constraints:      14207
561.16/563.13	c #Conflicts:     360000 | #Constraints:      15207
561.16/563.13	c #Conflicts:     361000 | #Constraints:      16207
561.16/563.13	c #Conflicts:     362000 | #Constraints:      17207
561.16/563.13	c #Conflicts:     363000 | #Constraints:      18207
561.16/563.13	c #Conflicts:     364000 | #Constraints:      19207
561.16/563.13	c #Conflicts:     365000 | #Constraints:      20207
561.16/563.13	c #Conflicts:     366000 | #Constraints:      21207
561.16/563.13	c #Conflicts:     367000 | #Constraints:      22207
561.16/563.13	c #Conflicts:     368000 | #Constraints:      23207
561.16/563.13	c #Conflicts:     369000 | #Constraints:      24207
561.16/563.13	c INPROCESSING
561.16/563.13	c GARBAGE COLLECT
561.16/563.13	c #Conflicts:     370000 | #Constraints:      13208
561.16/563.13	c #Conflicts:     371000 | #Constraints:      14208
561.16/563.13	c #Conflicts:     372000 | #Constraints:      15208
561.16/563.13	c #Conflicts:     373000 | #Constraints:      16208
561.16/563.13	c #Conflicts:     374000 | #Constraints:      17208
561.16/563.13	c #Conflicts:     375000 | #Constraints:      18208
561.16/563.13	c #Conflicts:     376000 | #Constraints:      19208
561.16/563.13	c #Conflicts:     377000 | #Constraints:      20208
561.16/563.13	c #Conflicts:     378000 | #Constraints:      21208
561.16/563.13	c #Conflicts:     379000 | #Constraints:      22208
561.16/563.13	c #Conflicts:     380000 | #Constraints:      23208
561.16/563.13	c #Conflicts:     381000 | #Constraints:      24208
561.16/563.13	c INPROCESSING
561.16/563.13	c GARBAGE COLLECT
561.16/563.13	c #Conflicts:     382000 | #Constraints:      12999
561.16/563.13	c #Conflicts:     383000 | #Constraints:      13999
561.16/563.13	c #Conflicts:     384000 | #Constraints:      14999
561.16/563.13	c #Conflicts:     385000 | #Constraints:      15999
561.16/563.13	c #Conflicts:     386000 | #Constraints:      16999
561.16/563.13	c #Conflicts:     387000 | #Constraints:      17999
561.16/563.13	c #Conflicts:     388000 | #Constraints:      18999
561.16/563.13	c #Conflicts:     389000 | #Constraints:      19999
561.16/563.13	c #Conflicts:     390000 | #Constraints:      20999
561.16/563.13	c #Conflicts:     391000 | #Constraints:      21999
561.16/563.13	c #Conflicts:     392000 | #Constraints:      22999
561.16/563.13	c #Conflicts:     393000 | #Constraints:      23999
561.16/563.13	c #Conflicts:     394000 | #Constraints:      24999
561.16/563.13	c INPROCESSING
561.16/563.13	c GARBAGE COLLECT
561.16/563.13	c #Conflicts:     395000 | #Constraints:      13606
561.16/563.13	c #Conflicts:     396000 | #Constraints:      14606
561.16/563.13	c #Conflicts:     397000 | #Constraints:      15606
561.16/563.13	c #Conflicts:     398000 | #Constraints:      16606
561.16/563.13	c #Conflicts:     399000 | #Constraints:      17606
561.16/563.13	c #Conflicts:     400000 | #Constraints:      18606
561.16/563.13	c #Conflicts:     401000 | #Constraints:      19606
561.16/563.13	c #Conflicts:     402000 | #Constraints:      20606
561.16/563.13	c #Conflicts:     403000 | #Constraints:      21606
561.16/563.13	c #Conflicts:     404000 | #Constraints:      22606
561.16/563.13	c #Conflicts:     405000 | #Constraints:      23606
561.16/563.13	c #Conflicts:     406000 | #Constraints:      24606
561.16/563.13	c #Conflicts:     407000 | #Constraints:      25606
561.16/563.13	c INPROCESSING
561.16/563.13	c GARBAGE COLLECT
561.16/563.13	c #Conflicts:     408000 | #Constraints:      14006
561.16/563.13	c #Conflicts:     409000 | #Constraints:      15006
561.16/563.13	c #Conflicts:     410000 | #Constraints:      16006
561.16/563.13	c #Conflicts:     411000 | #Constraints:      17006
561.16/563.13	c #Conflicts:     412000 | #Constraints:      18006
561.16/563.13	c #Conflicts:     413000 | #Constraints:      19006
561.16/563.13	c #Conflicts:     414000 | #Constraints:      20006
561.16/563.13	c #Conflicts:     415000 | #Constraints:      21006
561.16/563.13	c #Conflicts:     416000 | #Constraints:      22006
561.16/563.13	c #Conflicts:     417000 | #Constraints:      23006
561.16/563.13	c #Conflicts:     418000 | #Constraints:      24006
561.16/563.13	c #Conflicts:     419000 | #Constraints:      25006
561.16/563.13	c #Conflicts:     420000 | #Constraints:      26006
561.16/563.13	c INPROCESSING
561.16/563.13	c GARBAGE COLLECT
561.16/563.13	c #Conflicts:     421000 | #Constraints:      14213
561.16/563.13	c #Conflicts:     422000 | #Constraints:      15213
561.16/563.13	c #Conflicts:     423000 | #Constraints:      16213
674.12/676.41	c #Conflicts:     424000 | #Constraints:      17213
674.12/676.41	c #Conflicts:     425000 | #Constraints:      18213
674.12/676.41	c #Conflicts:     426000 | #Constraints:      19213
674.12/676.41	c #Conflicts:     427000 | #Constraints:      20213
674.12/676.41	c #Conflicts:     428000 | #Constraints:      21213
674.12/676.41	c #Conflicts:     429000 | #Constraints:      22213
674.12/676.41	c #Conflicts:     430000 | #Constraints:      23213
674.12/676.41	c #Conflicts:     431000 | #Constraints:      24213
674.12/676.41	c #Conflicts:     432000 | #Constraints:      25213
674.12/676.41	c #Conflicts:     433000 | #Constraints:      26213
674.12/676.41	c INPROCESSING
674.12/676.41	c GARBAGE COLLECT
674.12/676.41	c #Conflicts:     434000 | #Constraints:      14219
674.12/676.41	c #Conflicts:     435000 | #Constraints:      15219
674.12/676.41	c #Conflicts:     436000 | #Constraints:      16219
674.12/676.41	c #Conflicts:     437000 | #Constraints:      17219
674.12/676.41	c #Conflicts:     438000 | #Constraints:      18219
674.12/676.41	c #Conflicts:     439000 | #Constraints:      19219
674.12/676.41	c #Conflicts:     440000 | #Constraints:      20219
674.12/676.41	c #Conflicts:     441000 | #Constraints:      21219
674.12/676.41	c #Conflicts:     442000 | #Constraints:      22219
674.12/676.41	c #Conflicts:     443000 | #Constraints:      23219
674.12/676.41	c #Conflicts:     444000 | #Constraints:      24219
674.12/676.41	c #Conflicts:     445000 | #Constraints:      25219
674.12/676.41	c #Conflicts:     446000 | #Constraints:      26219
674.12/676.41	c INPROCESSING
674.12/676.41	c GARBAGE COLLECT
674.12/676.41	c #Conflicts:     447000 | #Constraints:      14015
674.12/676.41	c #Conflicts:     448000 | #Constraints:      15015
674.12/676.41	c #Conflicts:     449000 | #Constraints:      16015
674.12/676.41	c #Conflicts:     450000 | #Constraints:      17015
674.12/676.41	c #Conflicts:     451000 | #Constraints:      18015
674.12/676.41	c #Conflicts:     452000 | #Constraints:      19015
674.12/676.41	c #Conflicts:     453000 | #Constraints:      20015
674.12/676.41	c #Conflicts:     454000 | #Constraints:      21015
674.12/676.41	c #Conflicts:     455000 | #Constraints:      22015
674.12/676.41	c #Conflicts:     456000 | #Constraints:      23015
674.12/676.41	c #Conflicts:     457000 | #Constraints:      24015
674.12/676.41	c #Conflicts:     458000 | #Constraints:      25015
674.12/676.41	c #Conflicts:     459000 | #Constraints:      26015
674.12/676.41	c #Conflicts:     460000 | #Constraints:      27015
674.12/676.41	c INPROCESSING
674.12/676.41	c GARBAGE COLLECT
674.12/676.41	c #Conflicts:     461000 | #Constraints:      14625
674.12/676.41	c #Conflicts:     462000 | #Constraints:      15625
674.12/676.41	c #Conflicts:     463000 | #Constraints:      16625
674.12/676.41	c #Conflicts:     464000 | #Constraints:      17625
674.12/676.41	c #Conflicts:     465000 | #Constraints:      18625
674.12/676.41	c #Conflicts:     466000 | #Constraints:      19625
674.12/676.41	c #Conflicts:     467000 | #Constraints:      20625
674.12/676.41	c #Conflicts:     468000 | #Constraints:      21625
674.12/676.41	c #Conflicts:     469000 | #Constraints:      22625
674.12/676.41	c #Conflicts:     470000 | #Constraints:      23625
674.12/676.41	c #Conflicts:     471000 | #Constraints:      24625
674.12/676.41	c #Conflicts:     472000 | #Constraints:      25625
674.12/676.41	c #Conflicts:     473000 | #Constraints:      26625
674.12/676.41	c #Conflicts:     474000 | #Constraints:      27625
674.12/676.41	c INPROCESSING
674.12/676.41	c GARBAGE COLLECT
674.12/676.41	c #Conflicts:     475000 | #Constraints:      15012
674.12/676.41	c #Conflicts:     476000 | #Constraints:      16012
674.12/676.41	c #Conflicts:     477000 | #Constraints:      17012
674.12/676.41	c #Conflicts:     478000 | #Constraints:      18012
674.12/676.41	c #Conflicts:     479000 | #Constraints:      19012
674.12/676.41	c #Conflicts:     480000 | #Constraints:      20012
674.12/676.41	c #Conflicts:     481000 | #Constraints:      21012
674.12/676.41	c #Conflicts:     482000 | #Constraints:      22012
674.12/676.41	c #Conflicts:     483000 | #Constraints:      23012
674.12/676.41	c #Conflicts:     484000 | #Constraints:      24012
674.12/676.41	c #Conflicts:     485000 | #Constraints:      25012
674.12/676.41	c #Conflicts:     486000 | #Constraints:      26012
674.12/676.41	c #Conflicts:     487000 | #Constraints:      27012
674.12/676.41	c #Conflicts:     488000 | #Constraints:      28012
674.12/676.41	c INPROCESSING
674.12/676.41	c GARBAGE COLLECT
674.12/676.41	c #Conflicts:     489000 | #Constraints:      15211
674.12/676.41	c #Conflicts:     490000 | #Constraints:      16211
674.12/676.41	c #Conflicts:     491000 | #Constraints:      17211
674.12/676.41	c #Conflicts:     492000 | #Constraints:      18211
674.12/676.41	c #Conflicts:     493000 | #Constraints:      19211
674.12/676.41	c #Conflicts:     494000 | #Constraints:      20211
674.12/676.41	c #Conflicts:     495000 | #Constraints:      21211
674.12/676.41	c #Conflicts:     496000 | #Constraints:      22211
674.12/676.41	c #Conflicts:     497000 | #Constraints:      23211
674.12/676.41	c #Conflicts:     498000 | #Constraints:      24211
674.12/676.41	c #Conflicts:     499000 | #Constraints:      25211
785.93/788.78	c #Conflicts:     500000 | #Constraints:      26211
785.93/788.78	c #Conflicts:     501000 | #Constraints:      27211
785.93/788.78	c #Conflicts:     502000 | #Constraints:      28211
785.93/788.78	c INPROCESSING
785.93/788.78	c GARBAGE COLLECT
785.93/788.78	c #Conflicts:     503000 | #Constraints:      15213
785.93/788.78	c #Conflicts:     504000 | #Constraints:      16213
785.93/788.78	c #Conflicts:     505000 | #Constraints:      17213
785.93/788.78	c #Conflicts:     506000 | #Constraints:      18213
785.93/788.78	c #Conflicts:     507000 | #Constraints:      19213
785.93/788.78	c #Conflicts:     508000 | #Constraints:      20213
785.93/788.78	c #Conflicts:     509000 | #Constraints:      21213
785.93/788.78	c #Conflicts:     510000 | #Constraints:      22213
785.93/788.78	c #Conflicts:     511000 | #Constraints:      23213
785.93/788.78	c #Conflicts:     512000 | #Constraints:      24213
785.93/788.78	c #Conflicts:     513000 | #Constraints:      25213
785.93/788.78	c #Conflicts:     514000 | #Constraints:      26213
785.93/788.78	c #Conflicts:     515000 | #Constraints:      27213
785.93/788.78	c #Conflicts:     516000 | #Constraints:      28213
785.93/788.78	c INPROCESSING
785.93/788.78	c GARBAGE COLLECT
785.93/788.78	c #Conflicts:     517000 | #Constraints:      15009
785.93/788.78	c #Conflicts:     518000 | #Constraints:      16009
785.93/788.78	c #Conflicts:     519000 | #Constraints:      17009
785.93/788.78	c #Conflicts:     520000 | #Constraints:      18009
785.93/788.78	c #Conflicts:     521000 | #Constraints:      19009
785.93/788.78	c #Conflicts:     522000 | #Constraints:      20009
785.93/788.78	c #Conflicts:     523000 | #Constraints:      21009
785.93/788.78	c #Conflicts:     524000 | #Constraints:      22009
785.93/788.78	c #Conflicts:     525000 | #Constraints:      23009
785.93/788.78	c #Conflicts:     526000 | #Constraints:      24009
785.93/788.78	c #Conflicts:     527000 | #Constraints:      25009
785.93/788.78	c #Conflicts:     528000 | #Constraints:      26009
785.93/788.78	c #Conflicts:     529000 | #Constraints:      27009
785.93/788.78	c #Conflicts:     530000 | #Constraints:      28009
785.93/788.78	c #Conflicts:     531000 | #Constraints:      29009
785.93/788.78	c INPROCESSING
785.93/788.78	c GARBAGE COLLECT
785.93/788.78	c #Conflicts:     532000 | #Constraints:      15615
785.93/788.78	c #Conflicts:     533000 | #Constraints:      16615
785.93/788.78	c #Conflicts:     534000 | #Constraints:      17615
785.93/788.78	c #Conflicts:     535000 | #Constraints:      18615
785.93/788.78	c #Conflicts:     536000 | #Constraints:      19615
785.93/788.78	c #Conflicts:     537000 | #Constraints:      20615
785.93/788.78	c #Conflicts:     538000 | #Constraints:      21615
785.93/788.78	c #Conflicts:     539000 | #Constraints:      22615
785.93/788.78	c #Conflicts:     540000 | #Constraints:      23615
785.93/788.78	c #Conflicts:     541000 | #Constraints:      24615
785.93/788.78	c #Conflicts:     542000 | #Constraints:      25615
785.93/788.78	c #Conflicts:     543000 | #Constraints:      26615
785.93/788.78	c #Conflicts:     544000 | #Constraints:      27615
785.93/788.78	c #Conflicts:     545000 | #Constraints:      28615
785.93/788.78	c #Conflicts:     546000 | #Constraints:      29615
785.93/788.78	c INPROCESSING
785.93/788.78	c GARBAGE COLLECT
785.93/788.78	c #Conflicts:     547000 | #Constraints:      16015
785.93/788.78	c #Conflicts:     548000 | #Constraints:      17015
785.93/788.78	c #Conflicts:     549000 | #Constraints:      18015
785.93/788.78	c #Conflicts:     550000 | #Constraints:      19015
785.93/788.78	c #Conflicts:     551000 | #Constraints:      20015
785.93/788.78	c #Conflicts:     552000 | #Constraints:      21015
785.93/788.78	c #Conflicts:     553000 | #Constraints:      22015
785.93/788.78	c #Conflicts:     554000 | #Constraints:      23015
785.93/788.78	c #Conflicts:     555000 | #Constraints:      24015
785.93/788.78	c #Conflicts:     556000 | #Constraints:      25015
785.93/788.78	c #Conflicts:     557000 | #Constraints:      26015
785.93/788.78	c #Conflicts:     558000 | #Constraints:      27015
785.93/788.78	c #Conflicts:     559000 | #Constraints:      28015
785.93/788.78	c #Conflicts:     560000 | #Constraints:      29015
785.93/788.78	c #Conflicts:     561000 | #Constraints:      30015
785.93/788.78	c INPROCESSING
785.93/788.78	c GARBAGE COLLECT
785.93/788.78	c #Conflicts:     562000 | #Constraints:      16209
785.93/788.78	c #Conflicts:     563000 | #Constraints:      17209
785.93/788.78	c #Conflicts:     564000 | #Constraints:      18209
785.93/788.78	c #Conflicts:     565000 | #Constraints:      19209
785.93/788.78	c #Conflicts:     566000 | #Constraints:      20209
785.93/788.78	c #Conflicts:     567000 | #Constraints:      21209
785.93/788.78	c #Conflicts:     568000 | #Constraints:      22209
785.93/788.78	c #Conflicts:     569000 | #Constraints:      23209
785.93/788.78	c #Conflicts:     570000 | #Constraints:      24209
785.93/788.78	c #Conflicts:     571000 | #Constraints:      25209
785.93/788.78	c #Conflicts:     572000 | #Constraints:      26209
785.93/788.78	c #Conflicts:     573000 | #Constraints:      27209
785.93/788.78	c #Conflicts:     574000 | #Constraints:      28209
785.93/788.78	c #Conflicts:     575000 | #Constraints:      29209
893.70/896.96	c #Conflicts:     576000 | #Constraints:      30209
893.70/896.96	c INPROCESSING
893.70/896.96	c GARBAGE COLLECT
893.70/896.96	c #Conflicts:     577000 | #Constraints:      16207
893.70/896.96	c #Conflicts:     578000 | #Constraints:      17207
893.70/896.96	c #Conflicts:     579000 | #Constraints:      18207
893.70/896.96	c #Conflicts:     580000 | #Constraints:      19207
893.70/896.96	c #Conflicts:     581000 | #Constraints:      20207
893.70/896.96	c #Conflicts:     582000 | #Constraints:      21207
893.70/896.96	c #Conflicts:     583000 | #Constraints:      22207
893.70/896.96	c #Conflicts:     584000 | #Constraints:      23207
893.70/896.96	c #Conflicts:     585000 | #Constraints:      24207
893.70/896.96	c #Conflicts:     586000 | #Constraints:      25207
893.70/896.96	c #Conflicts:     587000 | #Constraints:      26207
893.70/896.96	c #Conflicts:     588000 | #Constraints:      27207
893.70/896.96	c #Conflicts:     589000 | #Constraints:      28207
893.70/896.96	c #Conflicts:     590000 | #Constraints:      29207
893.70/896.96	c #Conflicts:     591000 | #Constraints:      30207
893.70/896.96	c INPROCESSING
893.70/896.96	c GARBAGE COLLECT
893.70/896.96	c #Conflicts:     592000 | #Constraints:      16010
893.70/896.96	c #Conflicts:     593000 | #Constraints:      17010
893.70/896.96	c #Conflicts:     594000 | #Constraints:      18010
893.70/896.96	c #Conflicts:     595000 | #Constraints:      19010
893.70/896.96	c #Conflicts:     596000 | #Constraints:      20010
893.70/896.96	c #Conflicts:     597000 | #Constraints:      21010
893.70/896.96	c #Conflicts:     598000 | #Constraints:      22010
893.70/896.96	c #Conflicts:     599000 | #Constraints:      23010
893.70/896.96	c #Conflicts:     600000 | #Constraints:      24010
893.70/896.96	c #Conflicts:     601000 | #Constraints:      25010
893.70/896.96	c #Conflicts:     602000 | #Constraints:      26010
893.70/896.96	c #Conflicts:     603000 | #Constraints:      27010
893.70/896.96	c #Conflicts:     604000 | #Constraints:      28010
893.70/896.96	c #Conflicts:     605000 | #Constraints:      29010
893.70/896.96	c #Conflicts:     606000 | #Constraints:      30010
893.70/896.96	c #Conflicts:     607000 | #Constraints:      31010
893.70/896.96	c INPROCESSING
893.70/896.96	c GARBAGE COLLECT
893.70/896.96	c #Conflicts:     608000 | #Constraints:      16614
893.70/896.96	c #Conflicts:     609000 | #Constraints:      17614
893.70/896.96	c #Conflicts:     610000 | #Constraints:      18614
893.70/896.96	c #Conflicts:     611000 | #Constraints:      19614
893.70/896.96	c #Conflicts:     612000 | #Constraints:      20614
893.70/896.96	c #Conflicts:     613000 | #Constraints:      21614
893.70/896.96	c #Conflicts:     614000 | #Constraints:      22614
893.70/896.96	c #Conflicts:     615000 | #Constraints:      23614
893.70/896.96	c #Conflicts:     616000 | #Constraints:      24614
893.70/896.96	c #Conflicts:     617000 | #Constraints:      25614
893.70/896.96	c #Conflicts:     618000 | #Constraints:      26614
893.70/896.96	c #Conflicts:     619000 | #Constraints:      27614
893.70/896.96	c #Conflicts:     620000 | #Constraints:      28614
893.70/896.96	c #Conflicts:     621000 | #Constraints:      29614
893.70/896.96	c #Conflicts:     622000 | #Constraints:      30614
893.70/896.96	c #Conflicts:     623000 | #Constraints:      31614
893.70/896.96	c INPROCESSING
893.70/896.96	c GARBAGE COLLECT
893.70/896.96	c #Conflicts:     624000 | #Constraints:      17010
893.70/896.96	c #Conflicts:     625000 | #Constraints:      18010
893.70/896.96	c #Conflicts:     626000 | #Constraints:      19010
893.70/896.96	c #Conflicts:     627000 | #Constraints:      20010
893.70/896.96	c #Conflicts:     628000 | #Constraints:      21010
893.70/896.96	c #Conflicts:     629000 | #Constraints:      22010
893.70/896.96	c #Conflicts:     630000 | #Constraints:      23010
893.70/896.96	c #Conflicts:     631000 | #Constraints:      24010
893.70/896.96	c #Conflicts:     632000 | #Constraints:      25010
893.70/896.96	c #Conflicts:     633000 | #Constraints:      26010
893.70/896.96	c #Conflicts:     634000 | #Constraints:      27010
893.70/896.96	c #Conflicts:     635000 | #Constraints:      28010
893.70/896.96	c #Conflicts:     636000 | #Constraints:      29010
893.70/896.96	c #Conflicts:     637000 | #Constraints:      30010
893.70/896.96	c #Conflicts:     638000 | #Constraints:      31010
893.70/896.96	c #Conflicts:     639000 | #Constraints:      32010
893.70/896.96	c INPROCESSING
893.70/896.96	c GARBAGE COLLECT
893.70/896.96	c #Conflicts:     640000 | #Constraints:      17216
893.70/896.96	c #Conflicts:     641000 | #Constraints:      18216
893.70/896.96	c #Conflicts:     642000 | #Constraints:      19216
893.70/896.96	c #Conflicts:     643000 | #Constraints:      20216
893.70/896.96	c #Conflicts:     644000 | #Constraints:      21216
893.70/896.96	c #Conflicts:     645000 | #Constraints:      22216
893.70/896.96	c #Conflicts:     646000 | #Constraints:      23216
893.70/896.96	c #Conflicts:     647000 | #Constraints:      24216
893.70/896.96	c #Conflicts:     648000 | #Constraints:      25216
893.70/896.96	c #Conflicts:     649000 | #Constraints:      26216
893.70/896.96	c #Conflicts:     650000 | #Constraints:      27216
1001.97/1005.56	c #Conflicts:     651000 | #Constraints:      28216
1001.97/1005.56	c #Conflicts:     652000 | #Constraints:      29216
1001.97/1005.56	c #Conflicts:     653000 | #Constraints:      30216
1001.97/1005.56	c #Conflicts:     654000 | #Constraints:      31216
1001.97/1005.56	c #Conflicts:     655000 | #Constraints:      32216
1001.97/1005.56	c INPROCESSING
1001.97/1005.56	c GARBAGE COLLECT
1001.97/1005.56	c #Conflicts:     656000 | #Constraints:      17218
1001.97/1005.56	c #Conflicts:     657000 | #Constraints:      18218
1001.97/1005.56	c #Conflicts:     658000 | #Constraints:      19218
1001.97/1005.56	c #Conflicts:     659000 | #Constraints:      20218
1001.97/1005.56	c #Conflicts:     660000 | #Constraints:      21218
1001.97/1005.56	c #Conflicts:     661000 | #Constraints:      22218
1001.97/1005.56	c #Conflicts:     662000 | #Constraints:      23218
1001.97/1005.56	c #Conflicts:     663000 | #Constraints:      24218
1001.97/1005.56	c #Conflicts:     664000 | #Constraints:      25218
1001.97/1005.56	c #Conflicts:     665000 | #Constraints:      26218
1001.97/1005.56	c #Conflicts:     666000 | #Constraints:      27218
1001.97/1005.56	c #Conflicts:     667000 | #Constraints:      28218
1001.97/1005.56	c #Conflicts:     668000 | #Constraints:      29218
1001.97/1005.56	c #Conflicts:     669000 | #Constraints:      30218
1001.97/1005.56	c #Conflicts:     670000 | #Constraints:      31218
1001.97/1005.56	c #Conflicts:     671000 | #Constraints:      32218
1001.97/1005.56	c INPROCESSING
1001.97/1005.56	c GARBAGE COLLECT
1001.97/1005.56	c #Conflicts:     672000 | #Constraints:      17017
1001.97/1005.56	c #Conflicts:     673000 | #Constraints:      18017
1001.97/1005.56	c #Conflicts:     674000 | #Constraints:      19017
1001.97/1005.56	c #Conflicts:     675000 | #Constraints:      20017
1001.97/1005.56	c #Conflicts:     676000 | #Constraints:      21017
1001.97/1005.56	c #Conflicts:     677000 | #Constraints:      22017
1001.97/1005.56	c #Conflicts:     678000 | #Constraints:      23017
1001.97/1005.56	c #Conflicts:     679000 | #Constraints:      24017
1001.97/1005.56	c #Conflicts:     680000 | #Constraints:      25017
1001.97/1005.56	c #Conflicts:     681000 | #Constraints:      26017
1001.97/1005.56	c #Conflicts:     682000 | #Constraints:      27017
1001.97/1005.56	c #Conflicts:     683000 | #Constraints:      28017
1001.97/1005.56	c #Conflicts:     684000 | #Constraints:      29017
1001.97/1005.56	c #Conflicts:     685000 | #Constraints:      30017
1001.97/1005.56	c #Conflicts:     686000 | #Constraints:      31017
1001.97/1005.56	c #Conflicts:     687000 | #Constraints:      32017
1001.97/1005.56	c #Conflicts:     688000 | #Constraints:      33017
1001.97/1005.56	c INPROCESSING
1001.97/1005.56	c GARBAGE COLLECT
1001.97/1005.56	c #Conflicts:     689000 | #Constraints:      17621
1001.97/1005.56	c #Conflicts:     690000 | #Constraints:      18621
1001.97/1005.56	c #Conflicts:     691000 | #Constraints:      19621
1001.97/1005.56	c #Conflicts:     692000 | #Constraints:      20621
1001.97/1005.56	c #Conflicts:     693000 | #Constraints:      21621
1001.97/1005.56	c #Conflicts:     694000 | #Constraints:      22621
1001.97/1005.56	c #Conflicts:     695000 | #Constraints:      23621
1001.97/1005.56	c #Conflicts:     696000 | #Constraints:      24621
1001.97/1005.56	c #Conflicts:     697000 | #Constraints:      25621
1001.97/1005.56	c #Conflicts:     698000 | #Constraints:      26621
1001.97/1005.56	c #Conflicts:     699000 | #Constraints:      27621
1001.97/1005.56	c #Conflicts:     700000 | #Constraints:      28621
1001.97/1005.56	c #Conflicts:     701000 | #Constraints:      29621
1001.97/1005.56	c #Conflicts:     702000 | #Constraints:      30621
1001.97/1005.56	c #Conflicts:     703000 | #Constraints:      31621
1001.97/1005.56	c #Conflicts:     704000 | #Constraints:      32621
1001.97/1005.56	c #Conflicts:     705000 | #Constraints:      33621
1001.97/1005.56	c INPROCESSING
1001.97/1005.56	c GARBAGE COLLECT
1001.97/1005.56	c #Conflicts:     706000 | #Constraints:      18015
1001.97/1005.56	c #Conflicts:     707000 | #Constraints:      19015
1001.97/1005.56	c #Conflicts:     708000 | #Constraints:      20015
1001.97/1005.56	c #Conflicts:     709000 | #Constraints:      21015
1001.97/1005.56	c #Conflicts:     710000 | #Constraints:      22015
1001.97/1005.56	c #Conflicts:     711000 | #Constraints:      23015
1001.97/1005.56	c #Conflicts:     712000 | #Constraints:      24015
1001.97/1005.56	c #Conflicts:     713000 | #Constraints:      25015
1001.97/1005.56	c #Conflicts:     714000 | #Constraints:      26015
1001.97/1005.56	c #Conflicts:     715000 | #Constraints:      27015
1001.97/1005.56	c #Conflicts:     716000 | #Constraints:      28015
1001.97/1005.56	c #Conflicts:     717000 | #Constraints:      29015
1001.97/1005.56	c #Conflicts:     718000 | #Constraints:      30015
1001.97/1005.56	c #Conflicts:     719000 | #Constraints:      31015
1001.97/1005.56	c #Conflicts:     720000 | #Constraints:      32015
1001.97/1005.56	c #Conflicts:     721000 | #Constraints:      33015
1001.97/1005.56	c #Conflicts:     722000 | #Constraints:      34015
1001.97/1005.56	c INPROCESSING
1001.97/1005.56	c GARBAGE COLLECT
1001.97/1005.56	c #Conflicts:     723000 | #Constraints:      18220
1001.97/1005.56	c #Conflicts:     724000 | #Constraints:      19220
1001.97/1005.56	c #Conflicts:     725000 | #Constraints:      20220
1001.97/1005.56	c #Conflicts:     726000 | #Constraints:      21220
1115.29/1119.23	c #Conflicts:     727000 | #Constraints:      22220
1115.29/1119.23	c #Conflicts:     728000 | #Constraints:      23220
1115.29/1119.23	c #Conflicts:     729000 | #Constraints:      24220
1115.29/1119.23	c #Conflicts:     730000 | #Constraints:      25220
1115.29/1119.23	c #Conflicts:     731000 | #Constraints:      26220
1115.29/1119.23	c #Conflicts:     732000 | #Constraints:      27220
1115.29/1119.23	c #Conflicts:     733000 | #Constraints:      28220
1115.29/1119.23	c #Conflicts:     734000 | #Constraints:      29220
1115.29/1119.23	c #Conflicts:     735000 | #Constraints:      30220
1115.29/1119.23	c #Conflicts:     736000 | #Constraints:      31220
1115.29/1119.23	c #Conflicts:     737000 | #Constraints:      32220
1115.29/1119.23	c #Conflicts:     738000 | #Constraints:      33220
1115.29/1119.23	c #Conflicts:     739000 | #Constraints:      34220
1115.29/1119.23	c INPROCESSING
1115.29/1119.23	c GARBAGE COLLECT
1115.29/1119.23	c #Conflicts:     740000 | #Constraints:      18232
1115.29/1119.23	c #Conflicts:     741000 | #Constraints:      19232
1115.29/1119.23	c #Conflicts:     742000 | #Constraints:      20232
1115.29/1119.23	c #Conflicts:     743000 | #Constraints:      21232
1115.29/1119.23	c #Conflicts:     744000 | #Constraints:      22232
1115.29/1119.23	c #Conflicts:     745000 | #Constraints:      23232
1115.29/1119.23	c #Conflicts:     746000 | #Constraints:      24232
1115.29/1119.23	c #Conflicts:     747000 | #Constraints:      25232
1115.29/1119.23	c #Conflicts:     748000 | #Constraints:      26232
1115.29/1119.23	c #Conflicts:     749000 | #Constraints:      27232
1115.29/1119.23	c #Conflicts:     750000 | #Constraints:      28232
1115.29/1119.23	c #Conflicts:     751000 | #Constraints:      29232
1115.29/1119.23	c #Conflicts:     752000 | #Constraints:      30232
1115.29/1119.23	c #Conflicts:     753000 | #Constraints:      31232
1115.29/1119.23	c #Conflicts:     754000 | #Constraints:      32232
1115.29/1119.23	c #Conflicts:     755000 | #Constraints:      33232
1115.29/1119.23	c #Conflicts:     756000 | #Constraints:      34232
1115.29/1119.23	c INPROCESSING
1115.29/1119.23	c GARBAGE COLLECT
1115.29/1119.23	c #Conflicts:     757000 | #Constraints:      18028
1115.29/1119.23	c #Conflicts:     758000 | #Constraints:      19028
1115.29/1119.23	c #Conflicts:     759000 | #Constraints:      20028
1115.29/1119.23	c #Conflicts:     760000 | #Constraints:      21028
1115.29/1119.23	c #Conflicts:     761000 | #Constraints:      22028
1115.29/1119.23	c #Conflicts:     762000 | #Constraints:      23028
1115.29/1119.23	c #Conflicts:     763000 | #Constraints:      24028
1115.29/1119.23	c #Conflicts:     764000 | #Constraints:      25028
1115.29/1119.23	c #Conflicts:     765000 | #Constraints:      26028
1115.29/1119.23	c #Conflicts:     766000 | #Constraints:      27028
1115.29/1119.23	c #Conflicts:     767000 | #Constraints:      28028
1115.29/1119.23	c #Conflicts:     768000 | #Constraints:      29028
1115.29/1119.23	c #Conflicts:     769000 | #Constraints:      30028
1115.29/1119.23	c #Conflicts:     770000 | #Constraints:      31028
1115.29/1119.23	c #Conflicts:     771000 | #Constraints:      32028
1115.29/1119.23	c #Conflicts:     772000 | #Constraints:      33028
1115.29/1119.23	c #Conflicts:     773000 | #Constraints:      34028
1115.29/1119.23	c #Conflicts:     774000 | #Constraints:      35028
1115.29/1119.23	c INPROCESSING
1115.29/1119.23	c GARBAGE COLLECT
1115.29/1119.23	c #Conflicts:     775000 | #Constraints:      18625
1115.29/1119.23	c #Conflicts:     776000 | #Constraints:      19625
1115.29/1119.23	c #Conflicts:     777000 | #Constraints:      20625
1115.29/1119.23	c #Conflicts:     778000 | #Constraints:      21625
1115.29/1119.23	c #Conflicts:     779000 | #Constraints:      22625
1115.29/1119.23	c #Conflicts:     780000 | #Constraints:      23625
1115.29/1119.23	c #Conflicts:     781000 | #Constraints:      24625
1115.29/1119.23	c #Conflicts:     782000 | #Constraints:      25625
1115.29/1119.23	c #Conflicts:     783000 | #Constraints:      26625
1115.29/1119.23	c #Conflicts:     784000 | #Constraints:      27625
1115.29/1119.23	c #Conflicts:     785000 | #Constraints:      28625
1115.29/1119.23	c #Conflicts:     786000 | #Constraints:      29625
1115.29/1119.23	c #Conflicts:     787000 | #Constraints:      30625
1115.29/1119.23	c #Conflicts:     788000 | #Constraints:      31625
1115.29/1119.23	c #Conflicts:     789000 | #Constraints:      32625
1115.29/1119.23	c #Conflicts:     790000 | #Constraints:      33625
1115.29/1119.23	c #Conflicts:     791000 | #Constraints:      34625
1115.29/1119.23	c #Conflicts:     792000 | #Constraints:      35625
1115.29/1119.23	c INPROCESSING
1115.29/1119.23	c GARBAGE COLLECT
1115.29/1119.23	c #Conflicts:     793000 | #Constraints:      19020
1115.29/1119.23	c #Conflicts:     794000 | #Constraints:      20020
1115.29/1119.23	c #Conflicts:     795000 | #Constraints:      21020
1115.29/1119.23	c #Conflicts:     796000 | #Constraints:      22020
1115.29/1119.23	c #Conflicts:     797000 | #Constraints:      23020
1115.29/1119.23	c #Conflicts:     798000 | #Constraints:      24020
1115.29/1119.23	c #Conflicts:     799000 | #Constraints:      25020
1115.29/1119.23	c #Conflicts:     800000 | #Constraints:      26020
1115.29/1119.23	c #Conflicts:     801000 | #Constraints:      27020
1115.29/1119.23	c #Conflicts:     802000 | #Constraints:      28020
1238.04/1242.45	c #Conflicts:     803000 | #Constraints:      29020
1238.04/1242.45	c #Conflicts:     804000 | #Constraints:      30020
1238.04/1242.45	c #Conflicts:     805000 | #Constraints:      31020
1238.04/1242.45	c #Conflicts:     806000 | #Constraints:      32020
1238.04/1242.45	c #Conflicts:     807000 | #Constraints:      33020
1238.04/1242.45	c #Conflicts:     808000 | #Constraints:      34020
1238.04/1242.45	c #Conflicts:     809000 | #Constraints:      35020
1238.04/1242.45	c #Conflicts:     810000 | #Constraints:      36020
1238.04/1242.45	c INPROCESSING
1238.04/1242.45	c GARBAGE COLLECT
1238.04/1242.45	c #Conflicts:     811000 | #Constraints:      19222
1238.04/1242.45	c #Conflicts:     812000 | #Constraints:      20222
1238.04/1242.45	c #Conflicts:     813000 | #Constraints:      21222
1238.04/1242.45	c #Conflicts:     814000 | #Constraints:      22222
1238.04/1242.45	c #Conflicts:     815000 | #Constraints:      23222
1238.04/1242.45	c #Conflicts:     816000 | #Constraints:      24222
1238.04/1242.45	c #Conflicts:     817000 | #Constraints:      25222
1238.04/1242.45	c #Conflicts:     818000 | #Constraints:      26222
1238.04/1242.45	c #Conflicts:     819000 | #Constraints:      27222
1238.04/1242.45	c #Conflicts:     820000 | #Constraints:      28222
1238.04/1242.45	c #Conflicts:     821000 | #Constraints:      29222
1238.04/1242.45	c #Conflicts:     822000 | #Constraints:      30222
1238.04/1242.45	c #Conflicts:     823000 | #Constraints:      31222
1238.04/1242.45	c #Conflicts:     824000 | #Constraints:      32222
1238.04/1242.45	c #Conflicts:     825000 | #Constraints:      33222
1238.04/1242.45	c #Conflicts:     826000 | #Constraints:      34222
1238.04/1242.45	c #Conflicts:     827000 | #Constraints:      35222
1238.04/1242.45	c #Conflicts:     828000 | #Constraints:      36222
1238.04/1242.45	c INPROCESSING
1238.04/1242.45	c GARBAGE COLLECT
1238.04/1242.45	c #Conflicts:     829000 | #Constraints:      19218
1238.04/1242.45	c #Conflicts:     830000 | #Constraints:      20218
1238.04/1242.45	c #Conflicts:     831000 | #Constraints:      21218
1238.04/1242.45	c #Conflicts:     832000 | #Constraints:      22218
1238.04/1242.45	c #Conflicts:     833000 | #Constraints:      23218
1238.04/1242.45	c #Conflicts:     834000 | #Constraints:      24218
1238.04/1242.45	c #Conflicts:     835000 | #Constraints:      25218
1238.04/1242.45	c #Conflicts:     836000 | #Constraints:      26218
1238.04/1242.45	c #Conflicts:     837000 | #Constraints:      27218
1238.04/1242.45	c #Conflicts:     838000 | #Constraints:      28218
1238.04/1242.45	c #Conflicts:     839000 | #Constraints:      29218
1238.04/1242.45	c #Conflicts:     840000 | #Constraints:      30218
1238.04/1242.45	c #Conflicts:     841000 | #Constraints:      31218
1238.04/1242.45	c #Conflicts:     842000 | #Constraints:      32218
1238.04/1242.45	c #Conflicts:     843000 | #Constraints:      33218
1238.04/1242.45	c #Conflicts:     844000 | #Constraints:      34218
1238.04/1242.45	c #Conflicts:     845000 | #Constraints:      35218
1238.04/1242.45	c #Conflicts:     846000 | #Constraints:      36218
1238.04/1242.45	c INPROCESSING
1238.04/1242.45	c GARBAGE COLLECT
1238.04/1242.45	c #Conflicts:     847000 | #Constraints:      19014
1238.04/1242.45	c #Conflicts:     848000 | #Constraints:      20014
1238.04/1242.45	c #Conflicts:     849000 | #Constraints:      21014
1238.04/1242.45	c #Conflicts:     850000 | #Constraints:      22014
1238.04/1242.45	c #Conflicts:     851000 | #Constraints:      23014
1238.04/1242.45	c #Conflicts:     852000 | #Constraints:      24014
1238.04/1242.45	c #Conflicts:     853000 | #Constraints:      25014
1238.04/1242.45	c #Conflicts:     854000 | #Constraints:      26014
1238.04/1242.45	c #Conflicts:     855000 | #Constraints:      27014
1238.04/1242.45	c #Conflicts:     856000 | #Constraints:      28014
1238.04/1242.45	c #Conflicts:     857000 | #Constraints:      29014
1238.04/1242.45	c #Conflicts:     858000 | #Constraints:      30014
1238.04/1242.45	c #Conflicts:     859000 | #Constraints:      31014
1238.04/1242.45	c #Conflicts:     860000 | #Constraints:      32014
1238.04/1242.45	c #Conflicts:     861000 | #Constraints:      33014
1238.04/1242.45	c #Conflicts:     862000 | #Constraints:      34014
1238.04/1242.45	c #Conflicts:     863000 | #Constraints:      35014
1238.04/1242.45	c #Conflicts:     864000 | #Constraints:      36014
1238.04/1242.45	c #Conflicts:     865000 | #Constraints:      37014
1238.04/1242.45	c INPROCESSING
1238.04/1242.45	c GARBAGE COLLECT
1238.04/1242.45	c #Conflicts:     866000 | #Constraints:      19618
1238.04/1242.45	c #Conflicts:     867000 | #Constraints:      20618
1238.04/1242.45	c #Conflicts:     868000 | #Constraints:      21618
1238.04/1242.45	c #Conflicts:     869000 | #Constraints:      22618
1238.04/1242.45	c #Conflicts:     870000 | #Constraints:      23618
1238.04/1242.45	c #Conflicts:     871000 | #Constraints:      24618
1238.04/1242.45	c #Conflicts:     872000 | #Constraints:      25618
1238.04/1242.45	c #Conflicts:     873000 | #Constraints:      26618
1238.04/1242.45	c #Conflicts:     874000 | #Constraints:      27618
1238.04/1242.45	c #Conflicts:     875000 | #Constraints:      28618
1238.04/1242.45	c #Conflicts:     876000 | #Constraints:      29618
1238.04/1242.45	c #Conflicts:     877000 | #Constraints:      30618
1238.04/1242.45	c #Conflicts:     878000 | #Constraints:      31618
1363.29/1368.13	c #Conflicts:     879000 | #Constraints:      32618
1363.29/1368.13	c #Conflicts:     880000 | #Constraints:      33618
1363.29/1368.13	c #Conflicts:     881000 | #Constraints:      34618
1363.29/1368.13	c #Conflicts:     882000 | #Constraints:      35618
1363.29/1368.13	c #Conflicts:     883000 | #Constraints:      36618
1363.29/1368.13	c #Conflicts:     884000 | #Constraints:      37618
1363.29/1368.13	c INPROCESSING
1363.29/1368.13	c GARBAGE COLLECT
1363.29/1368.13	c #Conflicts:     885000 | #Constraints:      20017
1363.29/1368.13	c #Conflicts:     886000 | #Constraints:      21017
1363.29/1368.13	c #Conflicts:     887000 | #Constraints:      22017
1363.29/1368.13	c #Conflicts:     888000 | #Constraints:      23017
1363.29/1368.13	c #Conflicts:     889000 | #Constraints:      24017
1363.29/1368.13	c #Conflicts:     890000 | #Constraints:      25017
1363.29/1368.13	c #Conflicts:     891000 | #Constraints:      26017
1363.29/1368.13	c #Conflicts:     892000 | #Constraints:      27017
1363.29/1368.13	c #Conflicts:     893000 | #Constraints:      28017
1363.29/1368.13	c #Conflicts:     894000 | #Constraints:      29017
1363.29/1368.13	c #Conflicts:     895000 | #Constraints:      30017
1363.29/1368.13	c #Conflicts:     896000 | #Constraints:      31017
1363.29/1368.13	c #Conflicts:     897000 | #Constraints:      32017
1363.29/1368.13	c #Conflicts:     898000 | #Constraints:      33017
1363.29/1368.13	c #Conflicts:     899000 | #Constraints:      34017
1363.29/1368.13	c #Conflicts:     900000 | #Constraints:      35017
1363.29/1368.13	c #Conflicts:     901000 | #Constraints:      36017
1363.29/1368.13	c #Conflicts:     902000 | #Constraints:      37017
1363.29/1368.13	c #Conflicts:     903000 | #Constraints:      38017
1363.29/1368.13	c INPROCESSING
1363.29/1368.13	c GARBAGE COLLECT
1363.29/1368.13	c #Conflicts:     904000 | #Constraints:      20213
1363.29/1368.13	c #Conflicts:     905000 | #Constraints:      21213
1363.29/1368.13	c #Conflicts:     906000 | #Constraints:      22213
1363.29/1368.13	c #Conflicts:     907000 | #Constraints:      23213
1363.29/1368.13	c #Conflicts:     908000 | #Constraints:      24213
1363.29/1368.13	c #Conflicts:     909000 | #Constraints:      25213
1363.29/1368.13	c #Conflicts:     910000 | #Constraints:      26213
1363.29/1368.13	c #Conflicts:     911000 | #Constraints:      27213
1363.29/1368.13	c #Conflicts:     912000 | #Constraints:      28213
1363.29/1368.13	c #Conflicts:     913000 | #Constraints:      29213
1363.29/1368.13	c #Conflicts:     914000 | #Constraints:      30213
1363.29/1368.13	c #Conflicts:     915000 | #Constraints:      31213
1363.29/1368.13	c #Conflicts:     916000 | #Constraints:      32213
1363.29/1368.13	c #Conflicts:     917000 | #Constraints:      33213
1363.29/1368.13	c #Conflicts:     918000 | #Constraints:      34213
1363.29/1368.13	c #Conflicts:     919000 | #Constraints:      35213
1363.29/1368.13	c #Conflicts:     920000 | #Constraints:      36213
1363.29/1368.13	c #Conflicts:     921000 | #Constraints:      37213
1363.29/1368.13	c #Conflicts:     922000 | #Constraints:      38213
1363.29/1368.13	c INPROCESSING
1363.29/1368.13	c GARBAGE COLLECT
1363.29/1368.13	c #Conflicts:     923000 | #Constraints:      20216
1363.29/1368.13	c #Conflicts:     924000 | #Constraints:      21216
1363.29/1368.13	c #Conflicts:     925000 | #Constraints:      22216
1363.29/1368.13	c #Conflicts:     926000 | #Constraints:      23216
1363.29/1368.13	c #Conflicts:     927000 | #Constraints:      24216
1363.29/1368.13	c #Conflicts:     928000 | #Constraints:      25216
1363.29/1368.13	c #Conflicts:     929000 | #Constraints:      26216
1363.29/1368.13	c #Conflicts:     930000 | #Constraints:      27216
1363.29/1368.13	c #Conflicts:     931000 | #Constraints:      28216
1363.29/1368.13	c #Conflicts:     932000 | #Constraints:      29216
1363.29/1368.13	c #Conflicts:     933000 | #Constraints:      30216
1363.29/1368.13	c #Conflicts:     934000 | #Constraints:      31216
1363.29/1368.13	c #Conflicts:     935000 | #Constraints:      32216
1363.29/1368.13	c #Conflicts:     936000 | #Constraints:      33216
1363.29/1368.13	c #Conflicts:     937000 | #Constraints:      34216
1363.29/1368.13	c #Conflicts:     938000 | #Constraints:      35216
1363.29/1368.13	c #Conflicts:     939000 | #Constraints:      36216
1363.29/1368.13	c #Conflicts:     940000 | #Constraints:      37216
1363.29/1368.13	c #Conflicts:     941000 | #Constraints:      38216
1363.29/1368.13	c INPROCESSING
1363.29/1368.13	c GARBAGE COLLECT
1363.29/1368.13	c #Conflicts:     942000 | #Constraints:      20024
1363.29/1368.13	c #Conflicts:     943000 | #Constraints:      21024
1363.29/1368.13	c #Conflicts:     944000 | #Constraints:      22024
1363.29/1368.13	c #Conflicts:     945000 | #Constraints:      23024
1363.29/1368.13	c #Conflicts:     946000 | #Constraints:      24024
1363.29/1368.13	c #Conflicts:     947000 | #Constraints:      25024
1363.29/1368.13	c #Conflicts:     948000 | #Constraints:      26024
1363.29/1368.13	c #Conflicts:     949000 | #Constraints:      27024
1363.29/1368.13	c #Conflicts:     950000 | #Constraints:      28024
1363.29/1368.13	c #Conflicts:     951000 | #Constraints:      29024
1363.29/1368.13	c #Conflicts:     952000 | #Constraints:      30024
1363.29/1368.13	c #Conflicts:     953000 | #Constraints:      31024
1363.29/1368.13	c #Conflicts:     954000 | #Constraints:      32024
1363.29/1368.13	c #Conflicts:     955000 | #Constraints:      33024
1493.69/1499.04	c #Conflicts:     956000 | #Constraints:      34024
1493.69/1499.04	c #Conflicts:     957000 | #Constraints:      35024
1493.69/1499.04	c #Conflicts:     958000 | #Constraints:      36024
1493.69/1499.04	c #Conflicts:     959000 | #Constraints:      37024
1493.69/1499.04	c #Conflicts:     960000 | #Constraints:      38024
1493.69/1499.04	c #Conflicts:     961000 | #Constraints:      39024
1493.69/1499.04	c INPROCESSING
1493.69/1499.04	c GARBAGE COLLECT
1493.69/1499.04	c #Conflicts:     962000 | #Constraints:      20622
1493.69/1499.04	c #Conflicts:     963000 | #Constraints:      21622
1493.69/1499.04	c #Conflicts:     964000 | #Constraints:      22622
1493.69/1499.04	c #Conflicts:     965000 | #Constraints:      23622
1493.69/1499.04	c #Conflicts:     966000 | #Constraints:      24622
1493.69/1499.04	c #Conflicts:     967000 | #Constraints:      25622
1493.69/1499.04	c #Conflicts:     968000 | #Constraints:      26622
1493.69/1499.04	c #Conflicts:     969000 | #Constraints:      27622
1493.69/1499.04	c #Conflicts:     970000 | #Constraints:      28622
1493.69/1499.04	c #Conflicts:     971000 | #Constraints:      29622
1493.69/1499.04	c #Conflicts:     972000 | #Constraints:      30622
1493.69/1499.04	c #Conflicts:     973000 | #Constraints:      31622
1493.69/1499.04	c #Conflicts:     974000 | #Constraints:      32622
1493.69/1499.04	c #Conflicts:     975000 | #Constraints:      33622
1493.69/1499.04	c #Conflicts:     976000 | #Constraints:      34622
1493.69/1499.04	c #Conflicts:     977000 | #Constraints:      35622
1493.69/1499.04	c #Conflicts:     978000 | #Constraints:      36622
1493.69/1499.04	c #Conflicts:     979000 | #Constraints:      37622
1493.69/1499.04	c #Conflicts:     980000 | #Constraints:      38622
1493.69/1499.04	c #Conflicts:     981000 | #Constraints:      39622
1493.69/1499.04	c INPROCESSING
1493.69/1499.04	c GARBAGE COLLECT
1493.69/1499.04	c #Conflicts:     982000 | #Constraints:      21024
1493.69/1499.04	c #Conflicts:     983000 | #Constraints:      22024
1493.69/1499.04	c #Conflicts:     984000 | #Constraints:      23024
1493.69/1499.04	c #Conflicts:     985000 | #Constraints:      24024
1493.69/1499.04	c #Conflicts:     986000 | #Constraints:      25024
1493.69/1499.04	c #Conflicts:     987000 | #Constraints:      26024
1493.69/1499.04	c #Conflicts:     988000 | #Constraints:      27024
1493.69/1499.04	c #Conflicts:     989000 | #Constraints:      28024
1493.69/1499.04	c #Conflicts:     990000 | #Constraints:      29024
1493.69/1499.04	c #Conflicts:     991000 | #Constraints:      30024
1493.69/1499.04	c #Conflicts:     992000 | #Constraints:      31024
1493.69/1499.04	c #Conflicts:     993000 | #Constraints:      32024
1493.69/1499.04	c #Conflicts:     994000 | #Constraints:      33024
1493.69/1499.04	c #Conflicts:     995000 | #Constraints:      34024
1493.69/1499.04	c #Conflicts:     996000 | #Constraints:      35024
1493.69/1499.04	c #Conflicts:     997000 | #Constraints:      36024
1493.69/1499.04	c #Conflicts:     998000 | #Constraints:      37024
1493.69/1499.04	c #Conflicts:     999000 | #Constraints:      38024
1493.69/1499.04	c #Conflicts:    1000000 | #Constraints:      39024
1493.69/1499.04	c #Conflicts:    1001000 | #Constraints:      40024
1493.69/1499.04	c INPROCESSING
1493.69/1499.04	c GARBAGE COLLECT
1493.69/1499.04	c #Conflicts:    1002000 | #Constraints:      21226
1493.69/1499.04	c #Conflicts:    1003000 | #Constraints:      22226
1493.69/1499.04	c #Conflicts:    1004000 | #Constraints:      23226
1493.69/1499.04	c #Conflicts:    1005000 | #Constraints:      24226
1493.69/1499.04	c #Conflicts:    1006000 | #Constraints:      25226
1493.69/1499.04	c #Conflicts:    1007000 | #Constraints:      26226
1493.69/1499.04	c #Conflicts:    1008000 | #Constraints:      27226
1493.69/1499.04	c #Conflicts:    1009000 | #Constraints:      28226
1493.69/1499.04	c #Conflicts:    1010000 | #Constraints:      29226
1493.69/1499.04	c #Conflicts:    1011000 | #Constraints:      30226
1493.69/1499.04	c #Conflicts:    1012000 | #Constraints:      31226
1493.69/1499.04	c #Conflicts:    1013000 | #Constraints:      32226
1493.69/1499.04	c #Conflicts:    1014000 | #Constraints:      33226
1493.69/1499.04	c #Conflicts:    1015000 | #Constraints:      34226
1493.69/1499.04	c #Conflicts:    1016000 | #Constraints:      35226
1493.69/1499.04	c #Conflicts:    1017000 | #Constraints:      36226
1493.69/1499.04	c #Conflicts:    1018000 | #Constraints:      37226
1493.69/1499.04	c #Conflicts:    1019000 | #Constraints:      38226
1493.69/1499.04	c #Conflicts:    1020000 | #Constraints:      39226
1493.69/1499.04	c #Conflicts:    1021000 | #Constraints:      40226
1493.69/1499.04	c INPROCESSING
1493.69/1499.04	c GARBAGE COLLECT
1493.69/1499.04	c #Conflicts:    1022000 | #Constraints:      21229
1493.69/1499.04	c #Conflicts:    1023000 | #Constraints:      22229
1493.69/1499.04	c #Conflicts:    1024000 | #Constraints:      23229
1493.69/1499.04	c #Conflicts:    1025000 | #Constraints:      24229
1493.69/1499.04	c #Conflicts:    1026000 | #Constraints:      25229
1493.69/1499.04	c #Conflicts:    1027000 | #Constraints:      26229
1493.69/1499.04	c #Conflicts:    1028000 | #Constraints:      27229
1493.69/1499.04	c #Conflicts:    1029000 | #Constraints:      28229
1493.69/1499.04	c #Conflicts:    1030000 | #Constraints:      29229
1493.69/1499.04	c #Conflicts:    1031000 | #Constraints:      30229
1633.16/1638.92	c #Conflicts:    1032000 | #Constraints:      31229
1633.16/1638.92	c #Conflicts:    1033000 | #Constraints:      32229
1633.16/1638.92	c #Conflicts:    1034000 | #Constraints:      33229
1633.16/1638.92	c #Conflicts:    1035000 | #Constraints:      34229
1633.16/1638.92	c #Conflicts:    1036000 | #Constraints:      35229
1633.16/1638.92	c #Conflicts:    1037000 | #Constraints:      36229
1633.16/1638.92	c #Conflicts:    1038000 | #Constraints:      37229
1633.16/1638.92	c #Conflicts:    1039000 | #Constraints:      38229
1633.16/1638.92	c #Conflicts:    1040000 | #Constraints:      39229
1633.16/1638.92	c #Conflicts:    1041000 | #Constraints:      40229
1633.16/1638.92	c INPROCESSING
1633.16/1638.92	c GARBAGE COLLECT
1633.16/1638.92	c #Conflicts:    1042000 | #Constraints:      21039
1633.16/1638.92	c #Conflicts:    1043000 | #Constraints:      22039
1633.16/1638.92	c #Conflicts:    1044000 | #Constraints:      23039
1633.16/1638.92	c #Conflicts:    1045000 | #Constraints:      24039
1633.16/1638.92	c #Conflicts:    1046000 | #Constraints:      25039
1633.16/1638.92	c #Conflicts:    1047000 | #Constraints:      26039
1633.16/1638.92	c #Conflicts:    1048000 | #Constraints:      27039
1633.16/1638.92	c #Conflicts:    1049000 | #Constraints:      28039
1633.16/1638.92	c #Conflicts:    1050000 | #Constraints:      29039
1633.16/1638.92	c #Conflicts:    1051000 | #Constraints:      30039
1633.16/1638.92	c #Conflicts:    1052000 | #Constraints:      31039
1633.16/1638.92	c #Conflicts:    1053000 | #Constraints:      32039
1633.16/1638.92	c #Conflicts:    1054000 | #Constraints:      33039
1633.16/1638.92	c #Conflicts:    1055000 | #Constraints:      34039
1633.16/1638.92	c #Conflicts:    1056000 | #Constraints:      35039
1633.16/1638.92	c #Conflicts:    1057000 | #Constraints:      36039
1633.16/1638.92	c #Conflicts:    1058000 | #Constraints:      37039
1633.16/1638.92	c #Conflicts:    1059000 | #Constraints:      38039
1633.16/1638.92	c #Conflicts:    1060000 | #Constraints:      39039
1633.16/1638.92	c #Conflicts:    1061000 | #Constraints:      40039
1633.16/1638.92	c #Conflicts:    1062000 | #Constraints:      41039
1633.16/1638.92	c INPROCESSING
1633.16/1638.92	c GARBAGE COLLECT
1633.16/1638.92	c #Conflicts:    1063000 | #Constraints:      21631
1633.16/1638.92	c #Conflicts:    1064000 | #Constraints:      22631
1633.16/1638.92	c #Conflicts:    1065000 | #Constraints:      23631
1633.16/1638.92	c #Conflicts:    1066000 | #Constraints:      24631
1633.16/1638.92	c #Conflicts:    1067000 | #Constraints:      25631
1633.16/1638.92	c #Conflicts:    1068000 | #Constraints:      26631
1633.16/1638.92	c #Conflicts:    1069000 | #Constraints:      27631
1633.16/1638.92	c #Conflicts:    1070000 | #Constraints:      28631
1633.16/1638.92	c #Conflicts:    1071000 | #Constraints:      29631
1633.16/1638.92	c #Conflicts:    1072000 | #Constraints:      30631
1633.16/1638.92	c #Conflicts:    1073000 | #Constraints:      31631
1633.16/1638.92	c #Conflicts:    1074000 | #Constraints:      32631
1633.16/1638.92	c #Conflicts:    1075000 | #Constraints:      33631
1633.16/1638.92	c #Conflicts:    1076000 | #Constraints:      34631
1633.16/1638.92	c #Conflicts:    1077000 | #Constraints:      35631
1633.16/1638.92	c #Conflicts:    1078000 | #Constraints:      36631
1633.16/1638.92	c #Conflicts:    1079000 | #Constraints:      37631
1633.16/1638.92	c #Conflicts:    1080000 | #Constraints:      38631
1633.16/1638.92	c #Conflicts:    1081000 | #Constraints:      39631
1633.16/1638.92	c #Conflicts:    1082000 | #Constraints:      40631
1633.16/1638.92	c #Conflicts:    1083000 | #Constraints:      41631
1633.16/1638.92	c INPROCESSING
1633.16/1638.92	c GARBAGE COLLECT
1633.16/1638.92	c #Conflicts:    1084000 | #Constraints:      22030
1633.16/1638.92	c #Conflicts:    1085000 | #Constraints:      23030
1633.16/1638.92	c #Conflicts:    1086000 | #Constraints:      24030
1633.16/1638.92	c #Conflicts:    1087000 | #Constraints:      25030
1633.16/1638.92	c #Conflicts:    1088000 | #Constraints:      26030
1633.16/1638.92	c #Conflicts:    1089000 | #Constraints:      27030
1633.16/1638.92	c #Conflicts:    1090000 | #Constraints:      28030
1633.16/1638.92	c #Conflicts:    1091000 | #Constraints:      29030
1633.16/1638.92	c #Conflicts:    1092000 | #Constraints:      30030
1633.16/1638.92	c #Conflicts:    1093000 | #Constraints:      31030
1633.16/1638.92	c #Conflicts:    1094000 | #Constraints:      32030
1633.16/1638.92	c #Conflicts:    1095000 | #Constraints:      33030
1633.16/1638.92	c #Conflicts:    1096000 | #Constraints:      34030
1633.16/1638.92	c #Conflicts:    1097000 | #Constraints:      35030
1633.16/1638.92	c #Conflicts:    1098000 | #Constraints:      36030
1633.16/1638.92	c #Conflicts:    1099000 | #Constraints:      37030
1633.16/1638.92	c #Conflicts:    1100000 | #Constraints:      38030
1633.16/1638.92	c #Conflicts:    1101000 | #Constraints:      39030
1633.16/1638.92	c #Conflicts:    1102000 | #Constraints:      40030
1633.16/1638.92	c #Conflicts:    1103000 | #Constraints:      41030
1633.16/1638.92	c #Conflicts:    1104000 | #Constraints:      42030
1633.16/1638.92	c INPROCESSING
1633.16/1638.92	c GARBAGE COLLECT
1633.16/1638.92	c #Conflicts:    1105000 | #Constraints:      22230
1633.16/1638.92	c #Conflicts:    1106000 | #Constraints:      23230
1633.16/1638.92	c #Conflicts:    1107000 | #Constraints:      24230
1774.89/1781.16	c #Conflicts:    1108000 | #Constraints:      25230
1774.89/1781.16	c #Conflicts:    1109000 | #Constraints:      26230
1774.89/1781.16	c #Conflicts:    1110000 | #Constraints:      27230
1774.89/1781.16	c #Conflicts:    1111000 | #Constraints:      28230
1774.89/1781.16	c #Conflicts:    1112000 | #Constraints:      29230
1774.89/1781.16	c #Conflicts:    1113000 | #Constraints:      30230
1774.89/1781.16	c #Conflicts:    1114000 | #Constraints:      31230
1774.89/1781.16	c #Conflicts:    1115000 | #Constraints:      32230
1774.89/1781.16	c #Conflicts:    1116000 | #Constraints:      33230
1774.89/1781.16	c #Conflicts:    1117000 | #Constraints:      34230
1774.89/1781.16	c #Conflicts:    1118000 | #Constraints:      35230
1774.89/1781.16	c #Conflicts:    1119000 | #Constraints:      36230
1774.89/1781.16	c #Conflicts:    1120000 | #Constraints:      37230
1774.89/1781.16	c #Conflicts:    1121000 | #Constraints:      38230
1774.89/1781.16	c #Conflicts:    1122000 | #Constraints:      39230
1774.89/1781.16	c #Conflicts:    1123000 | #Constraints:      40230
1774.89/1781.16	c #Conflicts:    1124000 | #Constraints:      41230
1774.89/1781.16	c #Conflicts:    1125000 | #Constraints:      42230
1774.89/1781.16	c INPROCESSING
1774.89/1781.16	c GARBAGE COLLECT
1774.89/1781.16	c #Conflicts:    1126000 | #Constraints:      22242
1774.89/1781.16	c #Conflicts:    1127000 | #Constraints:      23242
1774.89/1781.16	c #Conflicts:    1128000 | #Constraints:      24242
1774.89/1781.16	c #Conflicts:    1129000 | #Constraints:      25242
1774.89/1781.16	c #Conflicts:    1130000 | #Constraints:      26242
1774.89/1781.16	c #Conflicts:    1131000 | #Constraints:      27242
1774.89/1781.16	c #Conflicts:    1132000 | #Constraints:      28242
1774.89/1781.16	c #Conflicts:    1133000 | #Constraints:      29242
1774.89/1781.16	c #Conflicts:    1134000 | #Constraints:      30242
1774.89/1781.16	c #Conflicts:    1135000 | #Constraints:      31242
1774.89/1781.16	c #Conflicts:    1136000 | #Constraints:      32242
1774.89/1781.16	c #Conflicts:    1137000 | #Constraints:      33242
1774.89/1781.16	c #Conflicts:    1138000 | #Constraints:      34242
1774.89/1781.16	c #Conflicts:    1139000 | #Constraints:      35242
1774.89/1781.16	c #Conflicts:    1140000 | #Constraints:      36242
1774.89/1781.16	c #Conflicts:    1141000 | #Constraints:      37242
1774.89/1781.16	c #Conflicts:    1142000 | #Constraints:      38242
1774.89/1781.16	c #Conflicts:    1143000 | #Constraints:      39242
1774.89/1781.16	c #Conflicts:    1144000 | #Constraints:      40242
1774.89/1781.16	c #Conflicts:    1145000 | #Constraints:      41242
1774.89/1781.16	c #Conflicts:    1146000 | #Constraints:      42242
1774.89/1781.16	c INPROCESSING
1774.89/1781.16	c GARBAGE COLLECT
1774.89/1781.16	c #Conflicts:    1147000 | #Constraints:      22050
1774.89/1781.16	c #Conflicts:    1148000 | #Constraints:      23050
1774.89/1781.16	c #Conflicts:    1149000 | #Constraints:      24050
1774.89/1781.16	c #Conflicts:    1150000 | #Constraints:      25050
1774.89/1781.16	c #Conflicts:    1151000 | #Constraints:      26050
1774.89/1781.16	c #Conflicts:    1152000 | #Constraints:      27050
1774.89/1781.16	c #Conflicts:    1153000 | #Constraints:      28050
1774.89/1781.16	c #Conflicts:    1154000 | #Constraints:      29050
1774.89/1781.16	c #Conflicts:    1155000 | #Constraints:      30050
1774.89/1781.16	c #Conflicts:    1156000 | #Constraints:      31050
1774.89/1781.16	c #Conflicts:    1157000 | #Constraints:      32050
1774.89/1781.16	c #Conflicts:    1158000 | #Constraints:      33050
1774.89/1781.16	c #Conflicts:    1159000 | #Constraints:      34050
1774.89/1781.16	c #Conflicts:    1160000 | #Constraints:      35050
1774.89/1781.16	c #Conflicts:    1161000 | #Constraints:      36050
1774.89/1781.16	c #Conflicts:    1162000 | #Constraints:      37050
1774.89/1781.16	c #Conflicts:    1163000 | #Constraints:      38050
1774.89/1781.16	c #Conflicts:    1164000 | #Constraints:      39050
1774.89/1781.16	c #Conflicts:    1165000 | #Constraints:      40050
1774.89/1781.16	c #Conflicts:    1166000 | #Constraints:      41050
1774.89/1781.16	c #Conflicts:    1167000 | #Constraints:      42050
1774.89/1781.16	c #Conflicts:    1168000 | #Constraints:      43050
1774.89/1781.16	c INPROCESSING
1774.89/1781.16	c GARBAGE COLLECT
1774.89/1781.16	c #Conflicts:    1169000 | #Constraints:      22642
1774.89/1781.16	c #Conflicts:    1170000 | #Constraints:      23642
1774.89/1781.16	c #Conflicts:    1171000 | #Constraints:      24642
1774.89/1781.16	c #Conflicts:    1172000 | #Constraints:      25642
1774.89/1781.16	c #Conflicts:    1173000 | #Constraints:      26642
1774.89/1781.16	c #Conflicts:    1174000 | #Constraints:      27642
1774.89/1781.16	c #Conflicts:    1175000 | #Constraints:      28642
1774.89/1781.16	c #Conflicts:    1176000 | #Constraints:      29642
1774.89/1781.16	c #Conflicts:    1177000 | #Constraints:      30642
1774.89/1781.16	c #Conflicts:    1178000 | #Constraints:      31642
1774.89/1781.16	c #Conflicts:    1179000 | #Constraints:      32642
1774.89/1781.16	c #Conflicts:    1180000 | #Constraints:      33642
1774.89/1781.16	c #Conflicts:    1181000 | #Constraints:      34642
1774.89/1781.16	c #Conflicts:    1182000 | #Constraints:      35642
1774.89/1781.16	c #Conflicts:    1183000 | #Constraints:      36642
1774.89/1781.16	c #Conflicts:    1184000 | #Constraints:      37642
1907.33/1914.06	c #Conflicts:    1185000 | #Constraints:      38642
1907.33/1914.06	c #Conflicts:    1186000 | #Constraints:      39642
1907.33/1914.06	c #Conflicts:    1187000 | #Constraints:      40642
1907.33/1914.06	c #Conflicts:    1188000 | #Constraints:      41642
1907.33/1914.06	c #Conflicts:    1189000 | #Constraints:      42642
1907.33/1914.06	c #Conflicts:    1190000 | #Constraints:      43642
1907.33/1914.06	c INPROCESSING
1907.33/1914.06	c GARBAGE COLLECT
1907.33/1914.06	c #Conflicts:    1191000 | #Constraints:      23053
1907.33/1914.06	c #Conflicts:    1192000 | #Constraints:      24053
1907.33/1914.06	c #Conflicts:    1193000 | #Constraints:      25053
1907.33/1914.06	c #Conflicts:    1194000 | #Constraints:      26053
1907.33/1914.06	c #Conflicts:    1195000 | #Constraints:      27053
1907.33/1914.06	c #Conflicts:    1196000 | #Constraints:      28053
1907.33/1914.06	c #Conflicts:    1197000 | #Constraints:      29053
1907.33/1914.06	c #Conflicts:    1198000 | #Constraints:      30053
1907.33/1914.06	c #Conflicts:    1199000 | #Constraints:      31053
1907.33/1914.06	c #Conflicts:    1200000 | #Constraints:      32053
1907.33/1914.06	c #Conflicts:    1201000 | #Constraints:      33053
1907.33/1914.06	c #Conflicts:    1202000 | #Constraints:      34053
1907.33/1914.06	c #Conflicts:    1203000 | #Constraints:      35053
1907.33/1914.06	c #Conflicts:    1204000 | #Constraints:      36053
1907.33/1914.06	c #Conflicts:    1205000 | #Constraints:      37053
1907.33/1914.06	c #Conflicts:    1206000 | #Constraints:      38053
1907.33/1914.06	c #Conflicts:    1207000 | #Constraints:      39053
1907.33/1914.06	c #Conflicts:    1208000 | #Constraints:      40053
1907.33/1914.06	c #Conflicts:    1209000 | #Constraints:      41053
1907.33/1914.06	c #Conflicts:    1210000 | #Constraints:      42053
1907.33/1914.06	c #Conflicts:    1211000 | #Constraints:      43053
1907.33/1914.06	c #Conflicts:    1212000 | #Constraints:      44053
1907.33/1914.06	c INPROCESSING
1907.33/1914.06	c GARBAGE COLLECT
1907.33/1914.06	c #Conflicts:    1213000 | #Constraints:      23254
1907.33/1914.06	c #Conflicts:    1214000 | #Constraints:      24254
1907.33/1914.06	c #Conflicts:    1215000 | #Constraints:      25254
1907.33/1914.06	c #Conflicts:    1216000 | #Constraints:      26254
1907.33/1914.06	c #Conflicts:    1217000 | #Constraints:      27254
1907.33/1914.06	c #Conflicts:    1218000 | #Constraints:      28254
1907.33/1914.06	c #Conflicts:    1219000 | #Constraints:      29254
1907.33/1914.06	c #Conflicts:    1220000 | #Constraints:      30254
1907.33/1914.06	c #Conflicts:    1221000 | #Constraints:      31254
1907.33/1914.06	c #Conflicts:    1222000 | #Constraints:      32254
1907.33/1914.06	c #Conflicts:    1223000 | #Constraints:      33254
1907.33/1914.06	c #Conflicts:    1224000 | #Constraints:      34254
1907.33/1914.06	c #Conflicts:    1225000 | #Constraints:      35254
1907.33/1914.06	c #Conflicts:    1226000 | #Constraints:      36254
1907.33/1914.06	c #Conflicts:    1227000 | #Constraints:      37254
1907.33/1914.06	c #Conflicts:    1228000 | #Constraints:      38254
1907.33/1914.06	c #Conflicts:    1229000 | #Constraints:      39254
1907.33/1914.06	c #Conflicts:    1230000 | #Constraints:      40254
1907.33/1914.06	c #Conflicts:    1231000 | #Constraints:      41254
1907.33/1914.06	c #Conflicts:    1232000 | #Constraints:      42254
1907.33/1914.06	c #Conflicts:    1233000 | #Constraints:      43254
1907.33/1914.06	c #Conflicts:    1234000 | #Constraints:      44254
1907.33/1914.06	c INPROCESSING
1907.33/1914.06	c GARBAGE COLLECT
1907.33/1914.06	c #Conflicts:    1235000 | #Constraints:      23258
1907.33/1914.06	c #Conflicts:    1236000 | #Constraints:      24258
1907.33/1914.06	c #Conflicts:    1237000 | #Constraints:      25258
1907.33/1914.06	c #Conflicts:    1238000 | #Constraints:      26258
1907.33/1914.06	c #Conflicts:    1239000 | #Constraints:      27258
1907.33/1914.06	c #Conflicts:    1240000 | #Constraints:      28258
1907.33/1914.06	c #Conflicts:    1241000 | #Constraints:      29258
1907.33/1914.06	c #Conflicts:    1242000 | #Constraints:      30258
1907.33/1914.06	c #Conflicts:    1243000 | #Constraints:      31258
1907.33/1914.06	c #Conflicts:    1244000 | #Constraints:      32258
1907.33/1914.06	c #Conflicts:    1245000 | #Constraints:      33258
1907.33/1914.06	c #Conflicts:    1246000 | #Constraints:      34258
1907.33/1914.06	c #Conflicts:    1247000 | #Constraints:      35258
1907.33/1914.06	c #Conflicts:    1248000 | #Constraints:      36258
1907.33/1914.06	c #Conflicts:    1249000 | #Constraints:      37258
1907.33/1914.06	c #Conflicts:    1250000 | #Constraints:      38258
1907.33/1914.06	c #Conflicts:    1251000 | #Constraints:      39258
1907.33/1914.06	c #Conflicts:    1252000 | #Constraints:      40258
1907.33/1914.06	c #Conflicts:    1253000 | #Constraints:      41258
1907.33/1914.06	c #Conflicts:    1254000 | #Constraints:      42258
1907.33/1914.06	c #Conflicts:    1255000 | #Constraints:      43258
1907.33/1914.06	c #Conflicts:    1256000 | #Constraints:      44258
1907.33/1914.06	c GLOBAL bounds - >= 29372 @ 1858.58
1907.33/1914.07	c GLOBAL bounds - >= 29372 @ 1858.58
1907.33/1914.07	c GLOBAL bounds - >= 29372 @ 1858.59
1907.33/1914.07	c GLOBAL bounds - >= 29372 @ 1858.59
1907.33/1914.07	c GLOBAL bounds - >= 29372 @ 1858.59
1907.33/1914.07	c GLOBAL bounds - >= 29372 @ 1858.59
1907.33/1914.07	c GLOBAL bounds - >= 29372 @ 1858.59
1907.33/1914.08	c GLOBAL bounds - >= 29372 @ 1858.59
1907.33/1914.08	c GLOBAL bounds - >= 29372 @ 1858.59
1907.33/1914.08	c GLOBAL bounds - >= 29372 @ 1858.59
1907.61/1914.31	c GLOBAL bounds - >= 29372 @ 1858.81
1907.61/1914.31	c GLOBAL bounds - >= 29372 @ 1858.81
1907.61/1914.32	c GLOBAL bounds - >= 29372 @ 1858.82
1907.61/1914.32	c GLOBAL bounds - >= 29372 @ 1858.82
1907.61/1914.33	c GLOBAL bounds - >= 29372 @ 1858.82
1907.61/1914.34	c GLOBAL bounds - >= 29372 @ 1858.82
1907.61/1914.34	c GLOBAL bounds - >= 29372 @ 1858.83
1907.61/1914.35	c GLOBAL bounds - >= 29372 @ 1858.83
1907.61/1914.35	c GLOBAL bounds - >= 29372 @ 1858.84
1907.61/1914.36	c GLOBAL bounds - >= 29372 @ 1858.84
1907.61/1914.37	c GLOBAL bounds - >= 29372 @ 1858.85
1907.61/1914.37	c GLOBAL bounds - >= 29372 @ 1858.85
1907.61/1914.38	c GLOBAL bounds - >= 29372 @ 1858.85
1907.61/1914.38	c GLOBAL bounds - >= 29372 @ 1858.85
1907.61/1914.39	c GLOBAL bounds - >= 29372 @ 1858.86
1907.61/1914.39	c GLOBAL bounds - >= 29372 @ 1858.86
1907.72/1914.40	c GLOBAL bounds - >= 29372 @ 1858.87
1907.72/1914.40	c GLOBAL bounds - >= 29372 @ 1858.87
1907.72/1914.41	c GLOBAL bounds - >= 29372 @ 1858.88
1907.72/1914.42	c GLOBAL bounds - >= 29372 @ 1858.88
1907.72/1914.43	c GLOBAL bounds - >= 29372 @ 1858.89
1907.72/1914.44	c GLOBAL bounds - >= 29372 @ 1858.89
1907.72/1914.45	c GLOBAL bounds - >= 29372 @ 1858.9
1907.72/1914.46	c GLOBAL bounds - >= 29372 @ 1858.91
1907.72/1914.49	c GLOBAL bounds - >= 29372 @ 1858.94
1907.82/1914.50	c GLOBAL bounds - >= 29372 @ 1858.94
1907.82/1914.51	c GLOBAL bounds - >= 29372 @ 1858.95
1907.82/1914.52	c GLOBAL bounds - >= 29372 @ 1858.96
1907.82/1914.53	c GLOBAL bounds - >= 29372 @ 1858.97
1907.82/1914.55	c GLOBAL bounds - >= 29372 @ 1858.99
1907.82/1914.56	c GLOBAL bounds - >= 29372 @ 1859
1908.43/1915.13	c INPROCESSING
1908.43/1915.13	c GARBAGE COLLECT
1908.43/1915.13	c GLOBAL bounds - >= 29372 @ 1859.54
1908.43/1915.13	c GLOBAL bounds - >= 29372 @ 1859.54
1908.43/1915.15	c GLOBAL bounds - >= 29372 @ 1859.55
1909.11/1915.86	c #Conflicts:    1257000 | #Constraints:      23091
1909.11/1915.86	c GLOBAL bounds - >= 29372 @ 1860.24
1909.22/1915.98	c GLOBAL bounds - >= 29372 @ 1860.35
1909.61/1916.39	c GLOBAL bounds - >= 29372 @ 1860.74
1909.72/1916.48	c GLOBAL bounds - >= 29372 @ 1860.82
1909.81/1916.50	c GLOBAL bounds - >= 29372 @ 1860.84
1909.81/1916.51	c GLOBAL bounds - >= 29372 @ 1860.85
1909.81/1916.53	c GLOBAL bounds - >= 29372 @ 1860.86
1910.31/1917.08	c #Conflicts:    1258000 | #Constraints:      24109
1910.31/1917.08	c GLOBAL bounds - >= 29372 @ 1861.38
1910.31/1917.08	c GLOBAL bounds - >= 29372 @ 1861.38
1910.31/1917.09	c GLOBAL bounds - >= 29372 @ 1861.39
1910.42/1917.10	c GLOBAL bounds - >= 29372 @ 1861.4
1910.91/1917.70	c GLOBAL bounds - >= 29372 @ 1861.96
1951.06/1957.94	c #Conflicts:    1259000 | #Constraints:      25124
1951.06/1957.94	c #Conflicts:    1260000 | #Constraints:      26124
1951.06/1957.94	c #Conflicts:    1261000 | #Constraints:      27124
1951.06/1957.94	c #Conflicts:    1262000 | #Constraints:      28124
1951.06/1957.94	c #Conflicts:    1263000 | #Constraints:      29124
1951.06/1957.94	c #Conflicts:    1264000 | #Constraints:      30124
1951.06/1957.94	c #Conflicts:    1265000 | #Constraints:      31124
1951.06/1957.94	c #Conflicts:    1266000 | #Constraints:      32124
1951.06/1957.94	c #Conflicts:    1267000 | #Constraints:      33124
1951.06/1957.94	c #Conflicts:    1268000 | #Constraints:      34124
1951.06/1957.94	c #Conflicts:    1269000 | #Constraints:      35124
1951.06/1957.94	c #Conflicts:    1270000 | #Constraints:      36124
1951.06/1957.94	c #Conflicts:    1271000 | #Constraints:      37124
1951.06/1957.94	c #Conflicts:    1272000 | #Constraints:      38124
1951.06/1957.94	c #Conflicts:    1273000 | #Constraints:      39124
1951.06/1957.94	c #Conflicts:    1274000 | #Constraints:      40124
1951.06/1957.94	c #Conflicts:    1275000 | #Constraints:      41124
1951.06/1957.94	c #Conflicts:    1276000 | #Constraints:      42124
1951.06/1957.94	c #Conflicts:    1277000 | #Constraints:      43124
1951.06/1957.94	c #Conflicts:    1278000 | #Constraints:      44124
1951.06/1957.94	c #Conflicts:    1279000 | #Constraints:      45124
1951.06/1957.94	c INPROCESSING
1951.06/1957.94	c GARBAGE COLLECT
1951.06/1957.94	c #Conflicts:    1280000 | #Constraints:      23719
1951.06/1957.94	c GLOBAL bounds - >= 29496 @ 1901.17
1951.06/1957.95	c GLOBAL bounds - >= 29496 @ 1901.17
1951.06/1957.95	c GLOBAL bounds - >= 29496 @ 1901.17
1951.06/1957.95	c GLOBAL bounds - >= 29496 @ 1901.17
1951.06/1957.95	c GLOBAL bounds - >= 29496 @ 1901.17
1951.06/1957.96	c GLOBAL bounds - >= 29496 @ 1901.17
1951.06/1957.96	c GLOBAL bounds - >= 29496 @ 1901.17
1951.06/1957.96	c GLOBAL bounds - >= 29496 @ 1901.17
1951.06/1957.96	c GLOBAL bounds - >= 29496 @ 1901.17
1951.06/1957.96	c GLOBAL bounds - >= 29496 @ 1901.17
1951.06/1957.96	c GLOBAL bounds - >= 29496 @ 1901.18
1951.06/1957.97	c GLOBAL bounds - >= 29496 @ 1901.18
1951.06/1957.97	c GLOBAL bounds - >= 29496 @ 1901.18
1951.06/1957.97	c GLOBAL bounds - >= 29496 @ 1901.18
1951.67/1958.52	c #Conflicts:    1281000 | #Constraints:      24731
1951.67/1958.52	c GLOBAL bounds - >= 29496 @ 1901.71
1951.67/1958.52	c GLOBAL bounds - >= 29496 @ 1901.71
1951.67/1958.53	c GLOBAL bounds - >= 29496 @ 1901.72
1951.67/1958.53	c GLOBAL bounds - >= 29496 @ 1901.72
1951.67/1958.54	c GLOBAL bounds - >= 29496 @ 1901.72
1951.67/1958.54	c GLOBAL bounds - >= 29496 @ 1901.72
1951.67/1958.55	c GLOBAL bounds - >= 29496 @ 1901.73
1951.67/1958.55	c GLOBAL bounds - >= 29496 @ 1901.73
1951.67/1958.56	c GLOBAL bounds - >= 29496 @ 1901.73
1951.67/1958.56	c GLOBAL bounds - >= 29496 @ 1901.74
1951.67/1958.57	c GLOBAL bounds - >= 29496 @ 1901.74
1951.67/1958.57	c GLOBAL bounds - >= 29496 @ 1901.74
1951.67/1958.58	c GLOBAL bounds - >= 29496 @ 1901.75
1951.67/1958.58	c GLOBAL bounds - >= 29496 @ 1901.75
1951.67/1958.59	c GLOBAL bounds - >= 29496 @ 1901.75
1951.67/1958.59	c GLOBAL bounds - >= 29496 @ 1901.76
1951.67/1958.60	c GLOBAL bounds - >= 29496 @ 1901.76
1951.76/1958.60	c GLOBAL bounds - >= 29496 @ 1901.76
1951.76/1958.61	c GLOBAL bounds - >= 29496 @ 1901.77
1951.76/1958.61	c GLOBAL bounds - >= 29496 @ 1901.77
1951.76/1958.62	c GLOBAL bounds - >= 29496 @ 1901.77
1951.76/1958.62	c GLOBAL bounds - >= 29496 @ 1901.78
1951.76/1958.63	c GLOBAL bounds - >= 29496 @ 1901.78
1951.76/1958.66	c GLOBAL bounds - >= 29496 @ 1901.81
1951.76/1958.67	c GLOBAL bounds - >= 29496 @ 1901.81
1951.76/1958.68	c GLOBAL bounds - >= 29496 @ 1901.82
1951.76/1958.69	c GLOBAL bounds - >= 29496 @ 1901.83
1951.86/1958.77	c GLOBAL bounds - >= 29496 @ 1901.9
1951.96/1958.84	c GLOBAL bounds - >= 29496 @ 1901.96
1951.96/1958.85	c GLOBAL bounds - >= 29496 @ 1901.97
1952.46/1959.30	c GLOBAL bounds - >= 29496 @ 1902.41
1953.06/1959.98	c #Conflicts:    1282000 | #Constraints:      25800
1953.06/1959.98	c GLOBAL bounds - >= 29496 @ 1903.06
1954.16/1961.09	c #Conflicts:    1283000 | #Constraints:      26803
1954.16/1961.09	c GLOBAL bounds - >= 29496 @ 1904.11
1954.26/1961.11	c GLOBAL bounds - >= 29496 @ 1904.12
1954.26/1961.13	c GLOBAL bounds - >= 29496 @ 1904.15
1955.16/1962.07	c #Conflicts:    1284000 | #Constraints:      27812
1955.16/1962.07	c GLOBAL bounds - >= 29496 @ 1905.04
1955.95/1962.88	c GLOBAL bounds - >= 29496 @ 1905.83
1959.54/1966.41	c #Conflicts:    1285000 | #Constraints:      28818
1959.54/1966.41	c #Conflicts:    1286000 | #Constraints:      29818
1959.54/1966.41	c #Conflicts:    1287000 | #Constraints:      30818
1959.54/1966.41	c GLOBAL bounds - >= 29496 @ 1909.2
1959.84/1966.78	c GLOBAL bounds - >= 29496 @ 1909.56
1961.83/1968.77	c #Conflicts:    1288000 | #Constraints:      31824
1961.83/1968.77	c #Conflicts:    1289000 | #Constraints:      32824
1961.83/1968.77	c GLOBAL bounds - >= 29496 @ 1911.47
1974.18/1981.13	c #Conflicts:    1290000 | #Constraints:      33827
1974.18/1981.13	c #Conflicts:    1291000 | #Constraints:      34827
1974.18/1981.13	c #Conflicts:    1292000 | #Constraints:      35827
1974.18/1981.13	c #Conflicts:    1293000 | #Constraints:      36827
1974.18/1981.13	c #Conflicts:    1294000 | #Constraints:      37827
1974.18/1981.13	c #Conflicts:    1295000 | #Constraints:      38827
1974.18/1981.13	c #Conflicts:    1296000 | #Constraints:      39827
1974.18/1981.13	c #Conflicts:    1297000 | #Constraints:      40827
1974.18/1981.13	c GLOBAL bounds - >= 29496 @ 1923.39
1983.02/1990.00	c #Conflicts:    1298000 | #Constraints:      41830
1983.02/1990.00	c #Conflicts:    1299000 | #Constraints:      42830
1983.02/1990.00	c #Conflicts:    1300000 | #Constraints:      43830
1983.02/1990.00	c #Conflicts:    1301000 | #Constraints:      44830
1983.02/1990.00	c #Conflicts:    1302000 | #Constraints:      45830
1983.02/1990.00	c INPROCESSING
1983.02/1990.00	c GARBAGE COLLECT
1983.02/1990.00	c #Conflicts:    1303000 | #Constraints:      24185
1983.02/1990.00	c GLOBAL bounds - >= 29496 @ 1931.89
1984.21/1991.24	c #Conflicts:    1304000 | #Constraints:      25188
1984.21/1991.24	c GLOBAL bounds - >= 29496 @ 1933.09
1985.70/1992.71	c #Conflicts:    1305000 | #Constraints:      26191
1985.70/1992.71	c #Conflicts:    1306000 | #Constraints:      27191
1985.70/1992.71	c GLOBAL bounds - >= 29496 @ 1934.5
1998.47/2005.53	c #Conflicts:    1307000 | #Constraints:      28194
1998.47/2005.53	c #Conflicts:    1308000 | #Constraints:      29194
1998.47/2005.53	c #Conflicts:    1309000 | #Constraints:      30194
1998.47/2005.53	c #Conflicts:    1310000 | #Constraints:      31194
1998.47/2005.53	c #Conflicts:    1311000 | #Constraints:      32194
1998.47/2005.53	c #Conflicts:    1312000 | #Constraints:      33194
1998.47/2005.53	c #Conflicts:    1313000 | #Constraints:      34194
1998.47/2005.53	c GLOBAL bounds - >= 29577 @ 1947.03
1998.47/2005.53	c GLOBAL bounds - >= 29577 @ 1947.04
1998.47/2005.54	c GLOBAL bounds - >= 29577 @ 1947.04
1998.47/2005.54	c GLOBAL bounds - >= 29577 @ 1947.04
1998.47/2005.54	c GLOBAL bounds - >= 29577 @ 1947.04
1998.47/2005.54	c GLOBAL bounds - >= 29577 @ 1947.04
1998.47/2005.54	c GLOBAL bounds - >= 29577 @ 1947.04
1998.47/2005.55	c GLOBAL bounds - >= 29577 @ 1947.04
1998.47/2005.55	c GLOBAL bounds - >= 29577 @ 1947.04
1998.47/2005.55	c GLOBAL bounds - >= 29577 @ 1947.04
1998.47/2005.55	c GLOBAL bounds - >= 29577 @ 1947.04
1998.47/2005.56	c GLOBAL bounds - >= 29577 @ 1947.05
1998.47/2005.56	c GLOBAL bounds - >= 29577 @ 1947.05
1998.47/2005.57	c GLOBAL bounds - >= 29577 @ 1947.05
1998.47/2005.57	c GLOBAL bounds - >= 29577 @ 1947.05
1998.47/2005.58	c GLOBAL bounds - >= 29577 @ 1947.06
1998.47/2005.58	c GLOBAL bounds - >= 29577 @ 1947.06
1998.47/2005.59	c GLOBAL bounds - >= 29577 @ 1947.06
1998.47/2005.59	c GLOBAL bounds - >= 29577 @ 1947.06
1998.57/2005.60	c GLOBAL bounds - >= 29577 @ 1947.07
1998.57/2005.60	c GLOBAL bounds - >= 29577 @ 1947.07
1998.57/2005.61	c GLOBAL bounds - >= 29577 @ 1947.07
1998.57/2005.61	c GLOBAL bounds - >= 29577 @ 1947.07
1998.57/2005.62	c GLOBAL bounds - >= 29577 @ 1947.08
1998.57/2005.62	c GLOBAL bounds - >= 29577 @ 1947.08
1998.57/2005.63	c GLOBAL bounds - >= 29577 @ 1947.09
1998.57/2005.63	c GLOBAL bounds - >= 29577 @ 1947.09
1998.57/2005.64	c GLOBAL bounds - >= 29577 @ 1947.09
1998.57/2005.65	c GLOBAL bounds - >= 29577 @ 1947.09
1998.57/2005.65	c GLOBAL bounds - >= 29577 @ 1947.1
1998.57/2005.66	c GLOBAL bounds - >= 29577 @ 1947.11
1998.57/2005.67	c GLOBAL bounds - >= 29577 @ 1947.11
1998.57/2005.68	c GLOBAL bounds - >= 29577 @ 1947.12
1998.57/2005.69	c GLOBAL bounds - >= 29577 @ 1947.12
1998.67/2005.70	c GLOBAL bounds - >= 29577 @ 1947.13
1999.57/2006.69	c #Conflicts:    1314000 | #Constraints:      35257
1999.57/2006.69	c GLOBAL bounds - >= 29577 @ 1948.08
1999.77/2006.81	c GLOBAL bounds - >= 29577 @ 1948.19
1999.77/2006.87	c GLOBAL bounds - >= 29577 @ 1948.25
1999.87/2006.90	c GLOBAL bounds - >= 29577 @ 1948.27
1999.87/2006.93	c GLOBAL bounds - >= 29577 @ 1948.29
1999.87/2006.94	c GLOBAL bounds - >= 29577 @ 1948.31
2007.05/2014.17	c #Conflicts:    1315000 | #Constraints:      36275
2007.05/2014.17	c #Conflicts:    1316000 | #Constraints:      37275
2007.05/2014.17	c #Conflicts:    1317000 | #Constraints:      38275
2007.05/2014.17	c #Conflicts:    1318000 | #Constraints:      39275
2007.05/2014.17	c #Conflicts:    1319000 | #Constraints:      40275
2007.05/2014.17	c #Conflicts:    1320000 | #Constraints:      41275
2007.05/2014.17	c GLOBAL bounds - >= 29577 @ 1955.33
2007.05/2014.19	c GLOBAL bounds - >= 29577 @ 1955.34
2014.62/2021.70	c #Conflicts:    1321000 | #Constraints:      42281
2014.62/2021.70	c #Conflicts:    1322000 | #Constraints:      43281
2014.62/2021.70	c #Conflicts:    1323000 | #Constraints:      44281
2014.62/2021.70	c #Conflicts:    1324000 | #Constraints:      45281
2014.62/2021.70	c #Conflicts:    1325000 | #Constraints:      46281
2014.62/2021.70	c INPROCESSING
2014.62/2021.70	c GARBAGE COLLECT
2014.62/2021.70	c #Conflicts:    1326000 | #Constraints:      24446
2014.62/2021.70	c GLOBAL bounds - >= 29577 @ 1962.63
2026.49/2033.63	c #Conflicts:    1327000 | #Constraints:      25449
2026.49/2033.63	c #Conflicts:    1328000 | #Constraints:      26449
2026.49/2033.63	c #Conflicts:    1329000 | #Constraints:      27449
2026.49/2033.63	c #Conflicts:    1330000 | #Constraints:      28449
2026.49/2033.63	c #Conflicts:    1331000 | #Constraints:      29449
2026.49/2033.63	c #Conflicts:    1332000 | #Constraints:      30449
2026.49/2033.63	c #Conflicts:    1333000 | #Constraints:      31449
2026.49/2033.63	c #Conflicts:    1334000 | #Constraints:      32449
2026.49/2033.63	c #Conflicts:    1335000 | #Constraints:      33449
2026.49/2033.63	c #Conflicts:    1336000 | #Constraints:      34449
2026.49/2033.63	c GLOBAL bounds - >= 29577 @ 1974.16
2060.89/2068.16	c #Conflicts:    1337000 | #Constraints:      35452
2060.89/2068.16	c #Conflicts:    1338000 | #Constraints:      36452
2060.89/2068.16	c #Conflicts:    1339000 | #Constraints:      37452
2060.89/2068.16	c #Conflicts:    1340000 | #Constraints:      38452
2060.89/2068.16	c #Conflicts:    1341000 | #Constraints:      39452
2060.89/2068.16	c #Conflicts:    1342000 | #Constraints:      40452
2060.89/2068.16	c #Conflicts:    1343000 | #Constraints:      41452
2060.89/2068.16	c #Conflicts:    1344000 | #Constraints:      42452
2060.89/2068.16	c #Conflicts:    1345000 | #Constraints:      43452
2060.89/2068.16	c #Conflicts:    1346000 | #Constraints:      44452
2060.89/2068.16	c #Conflicts:    1347000 | #Constraints:      45452
2060.89/2068.16	c #Conflicts:    1348000 | #Constraints:      46452
2060.89/2068.16	c INPROCESSING
2060.89/2068.16	c GARBAGE COLLECT
2060.89/2068.16	c #Conflicts:    1349000 | #Constraints:      24451
2060.89/2068.16	c #Conflicts:    1350000 | #Constraints:      25451
2060.89/2068.16	c #Conflicts:    1351000 | #Constraints:      26451
2060.89/2068.16	c #Conflicts:    1352000 | #Constraints:      27451
2060.89/2068.16	c #Conflicts:    1353000 | #Constraints:      28451
2060.89/2068.16	c #Conflicts:    1354000 | #Constraints:      29451
2060.89/2068.16	c #Conflicts:    1355000 | #Constraints:      30451
2060.89/2068.16	c #Conflicts:    1356000 | #Constraints:      31451
2060.89/2068.16	c #Conflicts:    1357000 | #Constraints:      32451
2060.89/2068.16	c #Conflicts:    1358000 | #Constraints:      33451
2060.89/2068.16	c #Conflicts:    1359000 | #Constraints:      34451
2060.89/2068.16	c #Conflicts:    1360000 | #Constraints:      35451
2060.89/2068.16	c #Conflicts:    1361000 | #Constraints:      36451
2060.89/2068.16	c #Conflicts:    1362000 | #Constraints:      37451
2060.89/2068.16	c #Conflicts:    1363000 | #Constraints:      38451
2060.89/2068.16	c GLOBAL bounds - >= 29577 @ 2007.7
2061.57/2068.88	c GLOBAL bounds - >= 29577 @ 2008.38
2065.46/2072.78	c #Conflicts:    1364000 | #Constraints:      39457
2065.46/2072.78	c #Conflicts:    1365000 | #Constraints:      40457
2065.46/2072.78	c #Conflicts:    1366000 | #Constraints:      41457
2065.46/2072.78	c GLOBAL bounds - >= 29577 @ 2012.12
2066.75/2074.09	c #Conflicts:    1367000 | #Constraints:      42460
2066.75/2074.09	c GLOBAL bounds - >= 29577 @ 2013.38
2066.75/2074.10	c GLOBAL bounds - >= 29577 @ 2013.39
2071.63/2078.98	c #Conflicts:    1368000 | #Constraints:      43466
2071.63/2078.98	c #Conflicts:    1369000 | #Constraints:      44466
2071.63/2078.98	c #Conflicts:    1370000 | #Constraints:      45466
2071.63/2078.98	c GLOBAL bounds - >= 29577 @ 2018.07
2072.43/2079.74	c #Conflicts:    1371000 | #Constraints:      46469
2072.43/2079.74	c GLOBAL bounds - >= 29577 @ 2018.79
2074.82/2082.12	c INPROCESSING
2074.82/2082.12	c GARBAGE COLLECT
2074.82/2082.12	c #Conflicts:    1372000 | #Constraints:      24261
2074.82/2082.12	c GLOBAL bounds - >= 29577 @ 2021.1
2080.90/2088.27	c #Conflicts:    1373000 | #Constraints:      25264
2080.90/2088.27	c #Conflicts:    1374000 | #Constraints:      26264
2080.90/2088.27	c #Conflicts:    1375000 | #Constraints:      27264
2080.90/2088.27	c #Conflicts:    1376000 | #Constraints:      28264
2080.90/2088.27	c #Conflicts:    1377000 | #Constraints:      29264
2080.90/2088.27	c GLOBAL bounds - >= 29577 @ 2027
2178.95/2186.65	c #Conflicts:    1378000 | #Constraints:      30267
2178.95/2186.65	c #Conflicts:    1379000 | #Constraints:      31267
2178.95/2186.65	c #Conflicts:    1380000 | #Constraints:      32267
2178.95/2186.65	c #Conflicts:    1381000 | #Constraints:      33267
2178.95/2186.65	c #Conflicts:    1382000 | #Constraints:      34267
2178.95/2186.65	c #Conflicts:    1383000 | #Constraints:      35267
2178.95/2186.65	c #Conflicts:    1384000 | #Constraints:      36267
2178.95/2186.65	c #Conflicts:    1385000 | #Constraints:      37267
2178.95/2186.65	c #Conflicts:    1386000 | #Constraints:      38267
2178.95/2186.65	c #Conflicts:    1387000 | #Constraints:      39267
2178.95/2186.65	c #Conflicts:    1388000 | #Constraints:      40267
2178.95/2186.65	c #Conflicts:    1389000 | #Constraints:      41267
2178.95/2186.65	c #Conflicts:    1390000 | #Constraints:      42267
2178.95/2186.65	c #Conflicts:    1391000 | #Constraints:      43267
2178.95/2186.65	c #Conflicts:    1392000 | #Constraints:      44267
2178.95/2186.65	c #Conflicts:    1393000 | #Constraints:      45267
2178.95/2186.65	c #Conflicts:    1394000 | #Constraints:      46267
2178.95/2186.65	c #Conflicts:    1395000 | #Constraints:      47267
2178.95/2186.65	c INPROCESSING
2178.95/2186.65	c GARBAGE COLLECT
2178.95/2186.65	c #Conflicts:    1396000 | #Constraints:      24865
2178.95/2186.65	c #Conflicts:    1397000 | #Constraints:      25865
2178.95/2186.65	c #Conflicts:    1398000 | #Constraints:      26865
2178.95/2186.65	c #Conflicts:    1399000 | #Constraints:      27865
2178.95/2186.65	c #Conflicts:    1400000 | #Constraints:      28865
2178.95/2186.65	c #Conflicts:    1401000 | #Constraints:      29865
2178.95/2186.65	c #Conflicts:    1402000 | #Constraints:      30865
2178.95/2186.65	c #Conflicts:    1403000 | #Constraints:      31865
2178.95/2186.65	c #Conflicts:    1404000 | #Constraints:      32865
2178.95/2186.65	c #Conflicts:    1405000 | #Constraints:      33865
2178.95/2186.65	c #Conflicts:    1406000 | #Constraints:      34865
2178.95/2186.65	c #Conflicts:    1407000 | #Constraints:      35865
2178.95/2186.65	c #Conflicts:    1408000 | #Constraints:      36865
2178.95/2186.65	c #Conflicts:    1409000 | #Constraints:      37865
2178.95/2186.65	c #Conflicts:    1410000 | #Constraints:      38865
2178.95/2186.65	c #Conflicts:    1411000 | #Constraints:      39865
2178.95/2186.65	c #Conflicts:    1412000 | #Constraints:      40865
2178.95/2186.65	c #Conflicts:    1413000 | #Constraints:      41865
2178.95/2186.65	c #Conflicts:    1414000 | #Constraints:      42865
2178.95/2186.65	c #Conflicts:    1415000 | #Constraints:      43865
2178.95/2186.65	c #Conflicts:    1416000 | #Constraints:      44865
2178.95/2186.65	c #Conflicts:    1417000 | #Constraints:      45865
2178.95/2186.65	c #Conflicts:    1418000 | #Constraints:      46865
2178.95/2186.65	c #Conflicts:    1419000 | #Constraints:      47865
2178.95/2186.65	c INPROCESSING
2178.95/2186.65	c GARBAGE COLLECT
2178.95/2186.65	c #Conflicts:    1420000 | #Constraints:      25280
2178.95/2186.65	c #Conflicts:    1421000 | #Constraints:      26280
2178.95/2186.65	c #Conflicts:    1422000 | #Constraints:      27280
2178.95/2186.65	c #Conflicts:    1423000 | #Constraints:      28280
2178.95/2186.65	c #Conflicts:    1424000 | #Constraints:      29280
2178.95/2186.65	c #Conflicts:    1425000 | #Constraints:      30280
2178.95/2186.65	c #Conflicts:    1426000 | #Constraints:      31280
2178.95/2186.65	c #Conflicts:    1427000 | #Constraints:      32280
2178.95/2186.65	c #Conflicts:    1428000 | #Constraints:      33280
2178.95/2186.65	c #Conflicts:    1429000 | #Constraints:      34280
2178.95/2186.65	c #Conflicts:    1430000 | #Constraints:      35280
2178.95/2186.65	c #Conflicts:    1431000 | #Constraints:      36280
2178.95/2186.65	c #Conflicts:    1432000 | #Constraints:      37280
2178.95/2186.65	c #Conflicts:    1433000 | #Constraints:      38280
2178.95/2186.65	c #Conflicts:    1434000 | #Constraints:      39280
2178.95/2186.65	c #Conflicts:    1435000 | #Constraints:      40280
2178.95/2186.65	c #Conflicts:    1436000 | #Constraints:      41280
2178.95/2186.65	c #Conflicts:    1437000 | #Constraints:      42280
2178.95/2186.65	c #Conflicts:    1438000 | #Constraints:      43280
2178.95/2186.65	c #Conflicts:    1439000 | #Constraints:      44280
2178.95/2186.65	c #Conflicts:    1440000 | #Constraints:      45280
2178.95/2186.65	c #Conflicts:    1441000 | #Constraints:      46280
2178.95/2186.65	c #Conflicts:    1442000 | #Constraints:      47280
2178.95/2186.65	c #Conflicts:    1443000 | #Constraints:      48280
2178.95/2186.65	c INPROCESSING
2178.95/2186.65	c GARBAGE COLLECT
2178.95/2186.65	c #Conflicts:    1444000 | #Constraints:      25482
2178.95/2186.65	c #Conflicts:    1445000 | #Constraints:      26482
2178.95/2186.65	c #Conflicts:    1446000 | #Constraints:      27482
2178.95/2186.65	c #Conflicts:    1447000 | #Constraints:      28482
2178.95/2186.65	c #Conflicts:    1448000 | #Constraints:      29482
2178.95/2186.65	c #Conflicts:    1449000 | #Constraints:      30482
2178.95/2186.65	c #Conflicts:    1450000 | #Constraints:      31482
2178.95/2186.65	c GLOBAL bounds - >= 29577 @ 2122.05
2183.94/2191.65	c #Conflicts:    1451000 | #Constraints:      32485
2183.94/2191.65	c #Conflicts:    1452000 | #Constraints:      33485
2183.94/2191.65	c #Conflicts:    1453000 | #Constraints:      34485
2183.94/2191.65	c #Conflicts:    1454000 | #Constraints:      35485
2183.94/2191.65	c GLOBAL bounds - >= 29577 @ 2126.91
2196.19/2203.95	c #Conflicts:    1455000 | #Constraints:      36488
2196.19/2203.95	c #Conflicts:    1456000 | #Constraints:      37488
2196.19/2203.95	c #Conflicts:    1457000 | #Constraints:      38488
2196.19/2203.95	c #Conflicts:    1458000 | #Constraints:      39488
2196.19/2203.95	c #Conflicts:    1459000 | #Constraints:      40488
2196.19/2203.95	c #Conflicts:    1460000 | #Constraints:      41488
2196.19/2203.95	c #Conflicts:    1461000 | #Constraints:      42488
2196.19/2203.95	c #Conflicts:    1462000 | #Constraints:      43488
2196.19/2203.95	c GLOBAL bounds - >= 29577 @ 2138.82
2196.19/2203.98	c GLOBAL bounds - >= 29577 @ 2138.84
2320.99/2329.12	c #Conflicts:    1463000 | #Constraints:      44494
2320.99/2329.12	c #Conflicts:    1464000 | #Constraints:      45494
2320.99/2329.12	c #Conflicts:    1465000 | #Constraints:      46494
2320.99/2329.12	c #Conflicts:    1466000 | #Constraints:      47494
2320.99/2329.12	c #Conflicts:    1467000 | #Constraints:      48494
2320.99/2329.12	c INPROCESSING
2320.99/2329.12	c GARBAGE COLLECT
2320.99/2329.12	c #Conflicts:    1468000 | #Constraints:      25482
2320.99/2329.12	c #Conflicts:    1469000 | #Constraints:      26482
2320.99/2329.12	c #Conflicts:    1470000 | #Constraints:      27482
2320.99/2329.12	c #Conflicts:    1471000 | #Constraints:      28482
2320.99/2329.12	c #Conflicts:    1472000 | #Constraints:      29482
2320.99/2329.12	c #Conflicts:    1473000 | #Constraints:      30482
2320.99/2329.12	c #Conflicts:    1474000 | #Constraints:      31482
2320.99/2329.12	c #Conflicts:    1475000 | #Constraints:      32482
2320.99/2329.12	c #Conflicts:    1476000 | #Constraints:      33482
2320.99/2329.12	c #Conflicts:    1477000 | #Constraints:      34482
2320.99/2329.12	c #Conflicts:    1478000 | #Constraints:      35482
2320.99/2329.12	c #Conflicts:    1479000 | #Constraints:      36482
2320.99/2329.12	c #Conflicts:    1480000 | #Constraints:      37482
2320.99/2329.12	c #Conflicts:    1481000 | #Constraints:      38482
2320.99/2329.12	c #Conflicts:    1482000 | #Constraints:      39482
2320.99/2329.12	c #Conflicts:    1483000 | #Constraints:      40482
2320.99/2329.12	c #Conflicts:    1484000 | #Constraints:      41482
2320.99/2329.12	c #Conflicts:    1485000 | #Constraints:      42482
2320.99/2329.12	c #Conflicts:    1486000 | #Constraints:      43482
2320.99/2329.12	c #Conflicts:    1487000 | #Constraints:      44482
2320.99/2329.12	c #Conflicts:    1488000 | #Constraints:      45482
2320.99/2329.12	c #Conflicts:    1489000 | #Constraints:      46482
2320.99/2329.12	c #Conflicts:    1490000 | #Constraints:      47482
2320.99/2329.12	c #Conflicts:    1491000 | #Constraints:      48482
2320.99/2329.12	c INPROCESSING
2320.99/2329.12	c GARBAGE COLLECT
2320.99/2329.12	c #Conflicts:    1492000 | #Constraints:      25284
2320.99/2329.12	c #Conflicts:    1493000 | #Constraints:      26284
2320.99/2329.12	c #Conflicts:    1494000 | #Constraints:      27284
2320.99/2329.12	c #Conflicts:    1495000 | #Constraints:      28284
2320.99/2329.12	c #Conflicts:    1496000 | #Constraints:      29284
2320.99/2329.12	c #Conflicts:    1497000 | #Constraints:      30284
2320.99/2329.12	c #Conflicts:    1498000 | #Constraints:      31284
2320.99/2329.12	c #Conflicts:    1499000 | #Constraints:      32284
2320.99/2329.12	c #Conflicts:    1500000 | #Constraints:      33284
2320.99/2329.12	c #Conflicts:    1501000 | #Constraints:      34284
2320.99/2329.12	c #Conflicts:    1502000 | #Constraints:      35284
2320.99/2329.12	c #Conflicts:    1503000 | #Constraints:      36284
2320.99/2329.12	c #Conflicts:    1504000 | #Constraints:      37284
2320.99/2329.12	c #Conflicts:    1505000 | #Constraints:      38284
2320.99/2329.12	c #Conflicts:    1506000 | #Constraints:      39284
2320.99/2329.12	c #Conflicts:    1507000 | #Constraints:      40284
2320.99/2329.12	c #Conflicts:    1508000 | #Constraints:      41284
2320.99/2329.12	c #Conflicts:    1509000 | #Constraints:      42284
2320.99/2329.12	c #Conflicts:    1510000 | #Constraints:      43284
2320.99/2329.12	c #Conflicts:    1511000 | #Constraints:      44284
2320.99/2329.12	c #Conflicts:    1512000 | #Constraints:      45284
2320.99/2329.12	c #Conflicts:    1513000 | #Constraints:      46284
2320.99/2329.12	c #Conflicts:    1514000 | #Constraints:      47284
2320.99/2329.12	c #Conflicts:    1515000 | #Constraints:      48284
2320.99/2329.12	c #Conflicts:    1516000 | #Constraints:      49284
2320.99/2329.12	c INPROCESSING
2320.99/2329.12	c GARBAGE COLLECT
2320.99/2329.12	c #Conflicts:    1517000 | #Constraints:      25879
2320.99/2329.12	c #Conflicts:    1518000 | #Constraints:      26879
2320.99/2329.12	c #Conflicts:    1519000 | #Constraints:      27879
2320.99/2329.12	c #Conflicts:    1520000 | #Constraints:      28879
2320.99/2329.12	c #Conflicts:    1521000 | #Constraints:      29879
2320.99/2329.12	c #Conflicts:    1522000 | #Constraints:      30879
2320.99/2329.12	c #Conflicts:    1523000 | #Constraints:      31879
2320.99/2329.12	c #Conflicts:    1524000 | #Constraints:      32879
2320.99/2329.12	c #Conflicts:    1525000 | #Constraints:      33879
2320.99/2329.12	c #Conflicts:    1526000 | #Constraints:      34879
2320.99/2329.12	c #Conflicts:    1527000 | #Constraints:      35879
2320.99/2329.12	c #Conflicts:    1528000 | #Constraints:      36879
2320.99/2329.12	c #Conflicts:    1529000 | #Constraints:      37879
2320.99/2329.12	c #Conflicts:    1530000 | #Constraints:      38879
2320.99/2329.12	c #Conflicts:    1531000 | #Constraints:      39879
2320.99/2329.12	c #Conflicts:    1532000 | #Constraints:      40879
2320.99/2329.12	c #Conflicts:    1533000 | #Constraints:      41879
2320.99/2329.12	c #Conflicts:    1534000 | #Constraints:      42879
2320.99/2329.12	c #Conflicts:    1535000 | #Constraints:      43879
2320.99/2329.12	c #Conflicts:    1536000 | #Constraints:      44879
2320.99/2329.12	c #Conflicts:    1537000 | #Constraints:      45879
2320.99/2329.12	c #Conflicts:    1538000 | #Constraints:      46879
2320.99/2329.12	c #Conflicts:    1539000 | #Constraints:      47879
2446.55/2455.19	c #Conflicts:    1540000 | #Constraints:      48879
2446.55/2455.19	c #Conflicts:    1541000 | #Constraints:      49879
2446.55/2455.19	c INPROCESSING
2446.55/2455.19	c GARBAGE COLLECT
2446.55/2455.19	c #Conflicts:    1542000 | #Constraints:      26283
2446.55/2455.19	c #Conflicts:    1543000 | #Constraints:      27283
2446.55/2455.19	c #Conflicts:    1544000 | #Constraints:      28283
2446.55/2455.19	c #Conflicts:    1545000 | #Constraints:      29283
2446.55/2455.19	c #Conflicts:    1546000 | #Constraints:      30283
2446.55/2455.19	c #Conflicts:    1547000 | #Constraints:      31283
2446.55/2455.19	c #Conflicts:    1548000 | #Constraints:      32283
2446.55/2455.19	c #Conflicts:    1549000 | #Constraints:      33283
2446.55/2455.19	c #Conflicts:    1550000 | #Constraints:      34283
2446.55/2455.19	c #Conflicts:    1551000 | #Constraints:      35283
2446.55/2455.19	c #Conflicts:    1552000 | #Constraints:      36283
2446.55/2455.19	c #Conflicts:    1553000 | #Constraints:      37283
2446.55/2455.19	c #Conflicts:    1554000 | #Constraints:      38283
2446.55/2455.19	c #Conflicts:    1555000 | #Constraints:      39283
2446.55/2455.19	c #Conflicts:    1556000 | #Constraints:      40283
2446.55/2455.19	c #Conflicts:    1557000 | #Constraints:      41283
2446.55/2455.19	c #Conflicts:    1558000 | #Constraints:      42283
2446.55/2455.19	c #Conflicts:    1559000 | #Constraints:      43283
2446.55/2455.19	c #Conflicts:    1560000 | #Constraints:      44283
2446.55/2455.19	c #Conflicts:    1561000 | #Constraints:      45283
2446.55/2455.19	c #Conflicts:    1562000 | #Constraints:      46283
2446.55/2455.19	c #Conflicts:    1563000 | #Constraints:      47283
2446.55/2455.19	c #Conflicts:    1564000 | #Constraints:      48283
2446.55/2455.19	c #Conflicts:    1565000 | #Constraints:      49283
2446.55/2455.19	c #Conflicts:    1566000 | #Constraints:      50283
2446.55/2455.19	c INPROCESSING
2446.55/2455.19	c GARBAGE COLLECT
2446.55/2455.19	c #Conflicts:    1567000 | #Constraints:      26477
2446.55/2455.19	c #Conflicts:    1568000 | #Constraints:      27477
2446.55/2455.19	c #Conflicts:    1569000 | #Constraints:      28477
2446.55/2455.19	c #Conflicts:    1570000 | #Constraints:      29477
2446.55/2455.19	c #Conflicts:    1571000 | #Constraints:      30477
2446.55/2455.19	c #Conflicts:    1572000 | #Constraints:      31477
2446.55/2455.19	c #Conflicts:    1573000 | #Constraints:      32477
2446.55/2455.19	c #Conflicts:    1574000 | #Constraints:      33477
2446.55/2455.19	c #Conflicts:    1575000 | #Constraints:      34477
2446.55/2455.19	c #Conflicts:    1576000 | #Constraints:      35477
2446.55/2455.19	c #Conflicts:    1577000 | #Constraints:      36477
2446.55/2455.19	c #Conflicts:    1578000 | #Constraints:      37477
2446.55/2455.19	c #Conflicts:    1579000 | #Constraints:      38477
2446.55/2455.19	c #Conflicts:    1580000 | #Constraints:      39477
2446.55/2455.19	c #Conflicts:    1581000 | #Constraints:      40477
2446.55/2455.19	c #Conflicts:    1582000 | #Constraints:      41477
2446.55/2455.19	c #Conflicts:    1583000 | #Constraints:      42477
2446.55/2455.19	c #Conflicts:    1584000 | #Constraints:      43477
2446.55/2455.19	c #Conflicts:    1585000 | #Constraints:      44477
2446.55/2455.19	c #Conflicts:    1586000 | #Constraints:      45477
2446.55/2455.19	c #Conflicts:    1587000 | #Constraints:      46477
2446.55/2455.19	c #Conflicts:    1588000 | #Constraints:      47477
2446.55/2455.19	c #Conflicts:    1589000 | #Constraints:      48477
2446.55/2455.19	c #Conflicts:    1590000 | #Constraints:      49477
2446.55/2455.19	c #Conflicts:    1591000 | #Constraints:      50477
2446.55/2455.19	c INPROCESSING
2446.55/2455.19	c GARBAGE COLLECT
2446.55/2455.19	c #Conflicts:    1592000 | #Constraints:      26477
2446.55/2455.19	c #Conflicts:    1593000 | #Constraints:      27477
2446.55/2455.19	c #Conflicts:    1594000 | #Constraints:      28477
2446.55/2455.19	c #Conflicts:    1595000 | #Constraints:      29477
2446.55/2455.19	c #Conflicts:    1596000 | #Constraints:      30477
2446.55/2455.19	c #Conflicts:    1597000 | #Constraints:      31477
2446.55/2455.19	c #Conflicts:    1598000 | #Constraints:      32477
2446.55/2455.19	c #Conflicts:    1599000 | #Constraints:      33477
2446.55/2455.19	c #Conflicts:    1600000 | #Constraints:      34477
2446.55/2455.19	c #Conflicts:    1601000 | #Constraints:      35477
2446.55/2455.19	c #Conflicts:    1602000 | #Constraints:      36477
2446.55/2455.19	c #Conflicts:    1603000 | #Constraints:      37477
2446.55/2455.19	c #Conflicts:    1604000 | #Constraints:      38477
2446.55/2455.19	c #Conflicts:    1605000 | #Constraints:      39477
2446.55/2455.19	c #Conflicts:    1606000 | #Constraints:      40477
2446.55/2455.19	c #Conflicts:    1607000 | #Constraints:      41477
2446.55/2455.19	c #Conflicts:    1608000 | #Constraints:      42477
2446.55/2455.19	c #Conflicts:    1609000 | #Constraints:      43477
2446.55/2455.19	c #Conflicts:    1610000 | #Constraints:      44477
2446.55/2455.19	c #Conflicts:    1611000 | #Constraints:      45477
2446.55/2455.19	c #Conflicts:    1612000 | #Constraints:      46477
2446.55/2455.19	c #Conflicts:    1613000 | #Constraints:      47477
2446.55/2455.19	c #Conflicts:    1614000 | #Constraints:      48477
2446.55/2455.19	c #Conflicts:    1615000 | #Constraints:      49477
2446.55/2455.19	c #Conflicts:    1616000 | #Constraints:      50477
2565.46/2574.59	c INPROCESSING
2565.46/2574.59	c GARBAGE COLLECT
2565.46/2574.59	c #Conflicts:    1617000 | #Constraints:      26288
2565.46/2574.59	c #Conflicts:    1618000 | #Constraints:      27288
2565.46/2574.59	c #Conflicts:    1619000 | #Constraints:      28288
2565.46/2574.59	c #Conflicts:    1620000 | #Constraints:      29288
2565.46/2574.59	c #Conflicts:    1621000 | #Constraints:      30288
2565.46/2574.59	c #Conflicts:    1622000 | #Constraints:      31288
2565.46/2574.59	c #Conflicts:    1623000 | #Constraints:      32288
2565.46/2574.59	c #Conflicts:    1624000 | #Constraints:      33288
2565.46/2574.59	c #Conflicts:    1625000 | #Constraints:      34288
2565.46/2574.59	c #Conflicts:    1626000 | #Constraints:      35288
2565.46/2574.59	c #Conflicts:    1627000 | #Constraints:      36288
2565.46/2574.59	c #Conflicts:    1628000 | #Constraints:      37288
2565.46/2574.59	c #Conflicts:    1629000 | #Constraints:      38288
2565.46/2574.59	c #Conflicts:    1630000 | #Constraints:      39288
2565.46/2574.59	c #Conflicts:    1631000 | #Constraints:      40288
2565.46/2574.59	c #Conflicts:    1632000 | #Constraints:      41288
2565.46/2574.59	c #Conflicts:    1633000 | #Constraints:      42288
2565.46/2574.59	c #Conflicts:    1634000 | #Constraints:      43288
2565.46/2574.59	c #Conflicts:    1635000 | #Constraints:      44288
2565.46/2574.59	c #Conflicts:    1636000 | #Constraints:      45288
2565.46/2574.59	c #Conflicts:    1637000 | #Constraints:      46288
2565.46/2574.59	c #Conflicts:    1638000 | #Constraints:      47288
2565.46/2574.59	c #Conflicts:    1639000 | #Constraints:      48288
2565.46/2574.59	c #Conflicts:    1640000 | #Constraints:      49288
2565.46/2574.59	c #Conflicts:    1641000 | #Constraints:      50288
2565.46/2574.59	c #Conflicts:    1642000 | #Constraints:      51288
2565.46/2574.59	c INPROCESSING
2565.46/2574.59	c GARBAGE COLLECT
2565.46/2574.59	c #Conflicts:    1643000 | #Constraints:      26891
2565.46/2574.59	c #Conflicts:    1644000 | #Constraints:      27891
2565.46/2574.59	c #Conflicts:    1645000 | #Constraints:      28891
2565.46/2574.59	c #Conflicts:    1646000 | #Constraints:      29891
2565.46/2574.59	c #Conflicts:    1647000 | #Constraints:      30891
2565.46/2574.59	c #Conflicts:    1648000 | #Constraints:      31891
2565.46/2574.59	c #Conflicts:    1649000 | #Constraints:      32891
2565.46/2574.59	c #Conflicts:    1650000 | #Constraints:      33891
2565.46/2574.59	c #Conflicts:    1651000 | #Constraints:      34891
2565.46/2574.59	c #Conflicts:    1652000 | #Constraints:      35891
2565.46/2574.59	c #Conflicts:    1653000 | #Constraints:      36891
2565.46/2574.59	c #Conflicts:    1654000 | #Constraints:      37891
2565.46/2574.59	c #Conflicts:    1655000 | #Constraints:      38891
2565.46/2574.59	c #Conflicts:    1656000 | #Constraints:      39891
2565.46/2574.59	c #Conflicts:    1657000 | #Constraints:      40891
2565.46/2574.59	c #Conflicts:    1658000 | #Constraints:      41891
2565.46/2574.59	c #Conflicts:    1659000 | #Constraints:      42891
2565.46/2574.59	c #Conflicts:    1660000 | #Constraints:      43891
2565.46/2574.59	c #Conflicts:    1661000 | #Constraints:      44891
2565.46/2574.59	c #Conflicts:    1662000 | #Constraints:      45891
2565.46/2574.59	c #Conflicts:    1663000 | #Constraints:      46891
2565.46/2574.59	c #Conflicts:    1664000 | #Constraints:      47891
2565.46/2574.59	c #Conflicts:    1665000 | #Constraints:      48891
2565.46/2574.59	c #Conflicts:    1666000 | #Constraints:      49891
2565.46/2574.59	c #Conflicts:    1667000 | #Constraints:      50891
2565.46/2574.59	c #Conflicts:    1668000 | #Constraints:      51891
2565.46/2574.59	c INPROCESSING
2565.46/2574.59	c GARBAGE COLLECT
2565.46/2574.59	c #Conflicts:    1669000 | #Constraints:      27290
2565.46/2574.59	c #Conflicts:    1670000 | #Constraints:      28290
2565.46/2574.59	c #Conflicts:    1671000 | #Constraints:      29290
2565.46/2574.59	c #Conflicts:    1672000 | #Constraints:      30290
2565.46/2574.59	c #Conflicts:    1673000 | #Constraints:      31290
2565.46/2574.59	c #Conflicts:    1674000 | #Constraints:      32290
2565.46/2574.59	c #Conflicts:    1675000 | #Constraints:      33290
2565.46/2574.59	c #Conflicts:    1676000 | #Constraints:      34290
2565.46/2574.59	c #Conflicts:    1677000 | #Constraints:      35290
2565.46/2574.59	c #Conflicts:    1678000 | #Constraints:      36290
2565.46/2574.59	c #Conflicts:    1679000 | #Constraints:      37290
2565.46/2574.59	c #Conflicts:    1680000 | #Constraints:      38290
2565.46/2574.59	c #Conflicts:    1681000 | #Constraints:      39290
2565.46/2574.59	c #Conflicts:    1682000 | #Constraints:      40290
2565.46/2574.59	c #Conflicts:    1683000 | #Constraints:      41290
2565.46/2574.59	c #Conflicts:    1684000 | #Constraints:      42290
2565.46/2574.59	c #Conflicts:    1685000 | #Constraints:      43290
2565.46/2574.59	c #Conflicts:    1686000 | #Constraints:      44290
2565.46/2574.59	c #Conflicts:    1687000 | #Constraints:      45290
2565.46/2574.59	c #Conflicts:    1688000 | #Constraints:      46290
2565.46/2574.59	c #Conflicts:    1689000 | #Constraints:      47290
2565.46/2574.59	c #Conflicts:    1690000 | #Constraints:      48290
2565.46/2574.59	c #Conflicts:    1691000 | #Constraints:      49290
2565.46/2574.59	c #Conflicts:    1692000 | #Constraints:      50290
2565.46/2574.59	c #Conflicts:    1693000 | #Constraints:      51290
2693.61/2703.11	c #Conflicts:    1694000 | #Constraints:      52290
2693.61/2703.11	c INPROCESSING
2693.61/2703.11	c GARBAGE COLLECT
2693.61/2703.11	c #Conflicts:    1695000 | #Constraints:      27495
2693.61/2703.11	c #Conflicts:    1696000 | #Constraints:      28495
2693.61/2703.11	c #Conflicts:    1697000 | #Constraints:      29495
2693.61/2703.11	c #Conflicts:    1698000 | #Constraints:      30495
2693.61/2703.11	c #Conflicts:    1699000 | #Constraints:      31495
2693.61/2703.11	c #Conflicts:    1700000 | #Constraints:      32495
2693.61/2703.11	c #Conflicts:    1701000 | #Constraints:      33495
2693.61/2703.11	c #Conflicts:    1702000 | #Constraints:      34495
2693.61/2703.11	c #Conflicts:    1703000 | #Constraints:      35495
2693.61/2703.11	c #Conflicts:    1704000 | #Constraints:      36495
2693.61/2703.11	c #Conflicts:    1705000 | #Constraints:      37495
2693.61/2703.11	c #Conflicts:    1706000 | #Constraints:      38495
2693.61/2703.11	c #Conflicts:    1707000 | #Constraints:      39495
2693.61/2703.11	c #Conflicts:    1708000 | #Constraints:      40495
2693.61/2703.11	c #Conflicts:    1709000 | #Constraints:      41495
2693.61/2703.11	c #Conflicts:    1710000 | #Constraints:      42495
2693.61/2703.11	c #Conflicts:    1711000 | #Constraints:      43495
2693.61/2703.11	c #Conflicts:    1712000 | #Constraints:      44495
2693.61/2703.11	c #Conflicts:    1713000 | #Constraints:      45495
2693.61/2703.11	c #Conflicts:    1714000 | #Constraints:      46495
2693.61/2703.11	c #Conflicts:    1715000 | #Constraints:      47495
2693.61/2703.11	c #Conflicts:    1716000 | #Constraints:      48495
2693.61/2703.11	c #Conflicts:    1717000 | #Constraints:      49495
2693.61/2703.11	c #Conflicts:    1718000 | #Constraints:      50495
2693.61/2703.11	c #Conflicts:    1719000 | #Constraints:      51495
2693.61/2703.11	c #Conflicts:    1720000 | #Constraints:      52495
2693.61/2703.11	c INPROCESSING
2693.61/2703.11	c GARBAGE COLLECT
2693.61/2703.11	c #Conflicts:    1721000 | #Constraints:      27488
2693.61/2703.11	c #Conflicts:    1722000 | #Constraints:      28488
2693.61/2703.11	c #Conflicts:    1723000 | #Constraints:      29488
2693.61/2703.11	c #Conflicts:    1724000 | #Constraints:      30488
2693.61/2703.11	c #Conflicts:    1725000 | #Constraints:      31488
2693.61/2703.11	c #Conflicts:    1726000 | #Constraints:      32488
2693.61/2703.11	c #Conflicts:    1727000 | #Constraints:      33488
2693.61/2703.11	c #Conflicts:    1728000 | #Constraints:      34488
2693.61/2703.11	c #Conflicts:    1729000 | #Constraints:      35488
2693.61/2703.11	c #Conflicts:    1730000 | #Constraints:      36488
2693.61/2703.11	c #Conflicts:    1731000 | #Constraints:      37488
2693.61/2703.11	c #Conflicts:    1732000 | #Constraints:      38488
2693.61/2703.11	c #Conflicts:    1733000 | #Constraints:      39488
2693.61/2703.11	c #Conflicts:    1734000 | #Constraints:      40488
2693.61/2703.11	c #Conflicts:    1735000 | #Constraints:      41488
2693.61/2703.11	c #Conflicts:    1736000 | #Constraints:      42488
2693.61/2703.11	c #Conflicts:    1737000 | #Constraints:      43488
2693.61/2703.11	c #Conflicts:    1738000 | #Constraints:      44488
2693.61/2703.11	c #Conflicts:    1739000 | #Constraints:      45488
2693.61/2703.11	c #Conflicts:    1740000 | #Constraints:      46488
2693.61/2703.11	c #Conflicts:    1741000 | #Constraints:      47488
2693.61/2703.11	c #Conflicts:    1742000 | #Constraints:      48488
2693.61/2703.11	c #Conflicts:    1743000 | #Constraints:      49488
2693.61/2703.11	c #Conflicts:    1744000 | #Constraints:      50488
2693.61/2703.11	c #Conflicts:    1745000 | #Constraints:      51488
2693.61/2703.11	c #Conflicts:    1746000 | #Constraints:      52488
2693.61/2703.11	c INPROCESSING
2693.61/2703.11	c GARBAGE COLLECT
2693.61/2703.11	c #Conflicts:    1747000 | #Constraints:      27300
2693.61/2703.11	c #Conflicts:    1748000 | #Constraints:      28300
2693.61/2703.11	c #Conflicts:    1749000 | #Constraints:      29300
2693.61/2703.11	c #Conflicts:    1750000 | #Constraints:      30300
2693.61/2703.11	c #Conflicts:    1751000 | #Constraints:      31300
2693.61/2703.11	c #Conflicts:    1752000 | #Constraints:      32300
2693.61/2703.11	c #Conflicts:    1753000 | #Constraints:      33300
2693.61/2703.11	c #Conflicts:    1754000 | #Constraints:      34300
2693.61/2703.11	c #Conflicts:    1755000 | #Constraints:      35300
2693.61/2703.11	c #Conflicts:    1756000 | #Constraints:      36300
2693.61/2703.11	c #Conflicts:    1757000 | #Constraints:      37300
2693.61/2703.11	c #Conflicts:    1758000 | #Constraints:      38300
2693.61/2703.11	c #Conflicts:    1759000 | #Constraints:      39300
2693.61/2703.11	c #Conflicts:    1760000 | #Constraints:      40300
2693.61/2703.11	c #Conflicts:    1761000 | #Constraints:      41300
2693.61/2703.11	c #Conflicts:    1762000 | #Constraints:      42300
2693.61/2703.11	c #Conflicts:    1763000 | #Constraints:      43300
2693.61/2703.11	c #Conflicts:    1764000 | #Constraints:      44300
2693.61/2703.11	c #Conflicts:    1765000 | #Constraints:      45300
2693.61/2703.11	c #Conflicts:    1766000 | #Constraints:      46300
2693.61/2703.11	c #Conflicts:    1767000 | #Constraints:      47300
2693.61/2703.11	c #Conflicts:    1768000 | #Constraints:      48300
2693.61/2703.11	c #Conflicts:    1769000 | #Constraints:      49300
2693.61/2703.11	c #Conflicts:    1770000 | #Constraints:      50300
2829.06/2839.08	c #Conflicts:    1771000 | #Constraints:      51300
2829.06/2839.08	c #Conflicts:    1772000 | #Constraints:      52300
2829.06/2839.08	c #Conflicts:    1773000 | #Constraints:      53300
2829.06/2839.08	c INPROCESSING
2829.06/2839.08	c GARBAGE COLLECT
2829.06/2839.08	c #Conflicts:    1774000 | #Constraints:      27890
2829.06/2839.08	c #Conflicts:    1775000 | #Constraints:      28890
2829.06/2839.08	c #Conflicts:    1776000 | #Constraints:      29890
2829.06/2839.08	c #Conflicts:    1777000 | #Constraints:      30890
2829.06/2839.08	c #Conflicts:    1778000 | #Constraints:      31890
2829.06/2839.08	c #Conflicts:    1779000 | #Constraints:      32890
2829.06/2839.08	c #Conflicts:    1780000 | #Constraints:      33890
2829.06/2839.08	c #Conflicts:    1781000 | #Constraints:      34890
2829.06/2839.08	c #Conflicts:    1782000 | #Constraints:      35890
2829.06/2839.08	c #Conflicts:    1783000 | #Constraints:      36890
2829.06/2839.08	c #Conflicts:    1784000 | #Constraints:      37890
2829.06/2839.08	c #Conflicts:    1785000 | #Constraints:      38890
2829.06/2839.08	c #Conflicts:    1786000 | #Constraints:      39890
2829.06/2839.08	c #Conflicts:    1787000 | #Constraints:      40890
2829.06/2839.08	c #Conflicts:    1788000 | #Constraints:      41890
2829.06/2839.08	c #Conflicts:    1789000 | #Constraints:      42890
2829.06/2839.08	c #Conflicts:    1790000 | #Constraints:      43890
2829.06/2839.08	c #Conflicts:    1791000 | #Constraints:      44890
2829.06/2839.08	c #Conflicts:    1792000 | #Constraints:      45890
2829.06/2839.08	c #Conflicts:    1793000 | #Constraints:      46890
2829.06/2839.08	c #Conflicts:    1794000 | #Constraints:      47890
2829.06/2839.08	c #Conflicts:    1795000 | #Constraints:      48890
2829.06/2839.08	c #Conflicts:    1796000 | #Constraints:      49890
2829.06/2839.08	c #Conflicts:    1797000 | #Constraints:      50890
2829.06/2839.08	c #Conflicts:    1798000 | #Constraints:      51890
2829.06/2839.08	c #Conflicts:    1799000 | #Constraints:      52890
2829.06/2839.08	c #Conflicts:    1800000 | #Constraints:      53890
2829.06/2839.08	c INPROCESSING
2829.06/2839.08	c GARBAGE COLLECT
2829.06/2839.08	c #Conflicts:    1801000 | #Constraints:      28285
2829.06/2839.08	c #Conflicts:    1802000 | #Constraints:      29285
2829.06/2839.08	c #Conflicts:    1803000 | #Constraints:      30285
2829.06/2839.08	c #Conflicts:    1804000 | #Constraints:      31285
2829.06/2839.08	c #Conflicts:    1805000 | #Constraints:      32285
2829.06/2839.08	c #Conflicts:    1806000 | #Constraints:      33285
2829.06/2839.08	c #Conflicts:    1807000 | #Constraints:      34285
2829.06/2839.08	c #Conflicts:    1808000 | #Constraints:      35285
2829.06/2839.08	c #Conflicts:    1809000 | #Constraints:      36285
2829.06/2839.08	c #Conflicts:    1810000 | #Constraints:      37285
2829.06/2839.08	c #Conflicts:    1811000 | #Constraints:      38285
2829.06/2839.08	c #Conflicts:    1812000 | #Constraints:      39285
2829.06/2839.08	c #Conflicts:    1813000 | #Constraints:      40285
2829.06/2839.08	c #Conflicts:    1814000 | #Constraints:      41285
2829.06/2839.08	c #Conflicts:    1815000 | #Constraints:      42285
2829.06/2839.08	c #Conflicts:    1816000 | #Constraints:      43285
2829.06/2839.08	c #Conflicts:    1817000 | #Constraints:      44285
2829.06/2839.08	c #Conflicts:    1818000 | #Constraints:      45285
2829.06/2839.08	c #Conflicts:    1819000 | #Constraints:      46285
2829.06/2839.08	c #Conflicts:    1820000 | #Constraints:      47285
2829.06/2839.08	c #Conflicts:    1821000 | #Constraints:      48285
2829.06/2839.08	c #Conflicts:    1822000 | #Constraints:      49285
2829.06/2839.08	c #Conflicts:    1823000 | #Constraints:      50285
2829.06/2839.08	c #Conflicts:    1824000 | #Constraints:      51285
2829.06/2839.08	c #Conflicts:    1825000 | #Constraints:      52285
2829.06/2839.08	c #Conflicts:    1826000 | #Constraints:      53285
2829.06/2839.08	c #Conflicts:    1827000 | #Constraints:      54285
2829.06/2839.08	c INPROCESSING
2829.06/2839.08	c GARBAGE COLLECT
2829.06/2839.08	c #Conflicts:    1828000 | #Constraints:      28488
2829.06/2839.08	c #Conflicts:    1829000 | #Constraints:      29488
2829.06/2839.08	c #Conflicts:    1830000 | #Constraints:      30488
2829.06/2839.08	c #Conflicts:    1831000 | #Constraints:      31488
2829.06/2839.08	c #Conflicts:    1832000 | #Constraints:      32488
2829.06/2839.08	c #Conflicts:    1833000 | #Constraints:      33488
2829.06/2839.08	c #Conflicts:    1834000 | #Constraints:      34488
2829.06/2839.08	c #Conflicts:    1835000 | #Constraints:      35488
2829.06/2839.08	c #Conflicts:    1836000 | #Constraints:      36488
2829.06/2839.08	c #Conflicts:    1837000 | #Constraints:      37488
2829.06/2839.08	c #Conflicts:    1838000 | #Constraints:      38488
2829.06/2839.08	c #Conflicts:    1839000 | #Constraints:      39488
2829.06/2839.08	c #Conflicts:    1840000 | #Constraints:      40488
2829.06/2839.08	c #Conflicts:    1841000 | #Constraints:      41488
2829.06/2839.08	c #Conflicts:    1842000 | #Constraints:      42488
2829.06/2839.08	c #Conflicts:    1843000 | #Constraints:      43488
2829.06/2839.08	c #Conflicts:    1844000 | #Constraints:      44488
2829.06/2839.08	c #Conflicts:    1845000 | #Constraints:      45488
2829.06/2839.08	c #Conflicts:    1846000 | #Constraints:      46488
2829.06/2839.08	c #Conflicts:    1847000 | #Constraints:      47488
2967.88/2978.39	c #Conflicts:    1848000 | #Constraints:      48488
2967.88/2978.39	c #Conflicts:    1849000 | #Constraints:      49488
2967.88/2978.39	c #Conflicts:    1850000 | #Constraints:      50488
2967.88/2978.39	c #Conflicts:    1851000 | #Constraints:      51488
2967.88/2978.39	c #Conflicts:    1852000 | #Constraints:      52488
2967.88/2978.39	c #Conflicts:    1853000 | #Constraints:      53488
2967.88/2978.39	c #Conflicts:    1854000 | #Constraints:      54488
2967.88/2978.39	c INPROCESSING
2967.88/2978.39	c GARBAGE COLLECT
2967.88/2978.39	c #Conflicts:    1855000 | #Constraints:      28491
2967.88/2978.39	c #Conflicts:    1856000 | #Constraints:      29491
2967.88/2978.39	c #Conflicts:    1857000 | #Constraints:      30491
2967.88/2978.39	c #Conflicts:    1858000 | #Constraints:      31491
2967.88/2978.39	c #Conflicts:    1859000 | #Constraints:      32491
2967.88/2978.39	c #Conflicts:    1860000 | #Constraints:      33491
2967.88/2978.39	c #Conflicts:    1861000 | #Constraints:      34491
2967.88/2978.39	c #Conflicts:    1862000 | #Constraints:      35491
2967.88/2978.39	c #Conflicts:    1863000 | #Constraints:      36491
2967.88/2978.39	c #Conflicts:    1864000 | #Constraints:      37491
2967.88/2978.39	c #Conflicts:    1865000 | #Constraints:      38491
2967.88/2978.39	c #Conflicts:    1866000 | #Constraints:      39491
2967.88/2978.39	c #Conflicts:    1867000 | #Constraints:      40491
2967.88/2978.39	c #Conflicts:    1868000 | #Constraints:      41491
2967.88/2978.39	c #Conflicts:    1869000 | #Constraints:      42491
2967.88/2978.39	c #Conflicts:    1870000 | #Constraints:      43491
2967.88/2978.39	c #Conflicts:    1871000 | #Constraints:      44491
2967.88/2978.39	c #Conflicts:    1872000 | #Constraints:      45491
2967.88/2978.39	c #Conflicts:    1873000 | #Constraints:      46491
2967.88/2978.39	c #Conflicts:    1874000 | #Constraints:      47491
2967.88/2978.39	c #Conflicts:    1875000 | #Constraints:      48491
2967.88/2978.39	c #Conflicts:    1876000 | #Constraints:      49491
2967.88/2978.39	c #Conflicts:    1877000 | #Constraints:      50491
2967.88/2978.39	c #Conflicts:    1878000 | #Constraints:      51491
2967.88/2978.39	c #Conflicts:    1879000 | #Constraints:      52491
2967.88/2978.39	c #Conflicts:    1880000 | #Constraints:      53491
2967.88/2978.39	c #Conflicts:    1881000 | #Constraints:      54491
2967.88/2978.39	c INPROCESSING
2967.88/2978.39	c GARBAGE COLLECT
2967.88/2978.39	c #Conflicts:    1882000 | #Constraints:      28300
2967.88/2978.39	c #Conflicts:    1883000 | #Constraints:      29300
2967.88/2978.39	c #Conflicts:    1884000 | #Constraints:      30300
2967.88/2978.39	c #Conflicts:    1885000 | #Constraints:      31300
2967.88/2978.39	c #Conflicts:    1886000 | #Constraints:      32300
2967.88/2978.39	c #Conflicts:    1887000 | #Constraints:      33300
2967.88/2978.39	c #Conflicts:    1888000 | #Constraints:      34300
2967.88/2978.39	c #Conflicts:    1889000 | #Constraints:      35300
2967.88/2978.39	c #Conflicts:    1890000 | #Constraints:      36300
2967.88/2978.39	c #Conflicts:    1891000 | #Constraints:      37300
2967.88/2978.39	c #Conflicts:    1892000 | #Constraints:      38300
2967.88/2978.39	c #Conflicts:    1893000 | #Constraints:      39300
2967.88/2978.39	c #Conflicts:    1894000 | #Constraints:      40300
2967.88/2978.39	c #Conflicts:    1895000 | #Constraints:      41300
2967.88/2978.39	c #Conflicts:    1896000 | #Constraints:      42300
2967.88/2978.39	c #Conflicts:    1897000 | #Constraints:      43300
2967.88/2978.39	c #Conflicts:    1898000 | #Constraints:      44300
2967.88/2978.39	c #Conflicts:    1899000 | #Constraints:      45300
2967.88/2978.39	c #Conflicts:    1900000 | #Constraints:      46300
2967.88/2978.39	c #Conflicts:    1901000 | #Constraints:      47300
2967.88/2978.39	c #Conflicts:    1902000 | #Constraints:      48300
2967.88/2978.39	c #Conflicts:    1903000 | #Constraints:      49300
2967.88/2978.39	c #Conflicts:    1904000 | #Constraints:      50300
2967.88/2978.39	c #Conflicts:    1905000 | #Constraints:      51300
2967.88/2978.39	c #Conflicts:    1906000 | #Constraints:      52300
2967.88/2978.39	c #Conflicts:    1907000 | #Constraints:      53300
2967.88/2978.39	c #Conflicts:    1908000 | #Constraints:      54300
2967.88/2978.39	c #Conflicts:    1909000 | #Constraints:      55300
2967.88/2978.39	c INPROCESSING
2967.88/2978.39	c GARBAGE COLLECT
2967.88/2978.39	c #Conflicts:    1910000 | #Constraints:      28901
2967.88/2978.39	c #Conflicts:    1911000 | #Constraints:      29901
2967.88/2978.39	c #Conflicts:    1912000 | #Constraints:      30901
2967.88/2978.39	c #Conflicts:    1913000 | #Constraints:      31901
2967.88/2978.39	c #Conflicts:    1914000 | #Constraints:      32901
2967.88/2978.39	c #Conflicts:    1915000 | #Constraints:      33901
2967.88/2978.39	c #Conflicts:    1916000 | #Constraints:      34901
2967.88/2978.39	c #Conflicts:    1917000 | #Constraints:      35901
2967.88/2978.39	c #Conflicts:    1918000 | #Constraints:      36901
2967.88/2978.39	c #Conflicts:    1919000 | #Constraints:      37901
2967.88/2978.39	c #Conflicts:    1920000 | #Constraints:      38901
2967.88/2978.39	c #Conflicts:    1921000 | #Constraints:      39901
2967.88/2978.39	c #Conflicts:    1922000 | #Constraints:      40901
2967.88/2978.39	c #Conflicts:    1923000 | #Constraints:      41901
2967.88/2978.39	c #Conflicts:    1924000 | #Constraints:      42901
3102.43/3113.34	c #Conflicts:    1925000 | #Constraints:      43901
3102.43/3113.34	c #Conflicts:    1926000 | #Constraints:      44901
3102.43/3113.34	c #Conflicts:    1927000 | #Constraints:      45901
3102.43/3113.34	c #Conflicts:    1928000 | #Constraints:      46901
3102.43/3113.34	c #Conflicts:    1929000 | #Constraints:      47901
3102.43/3113.34	c #Conflicts:    1930000 | #Constraints:      48901
3102.43/3113.34	c #Conflicts:    1931000 | #Constraints:      49901
3102.43/3113.34	c #Conflicts:    1932000 | #Constraints:      50901
3102.43/3113.34	c #Conflicts:    1933000 | #Constraints:      51901
3102.43/3113.34	c #Conflicts:    1934000 | #Constraints:      52901
3102.43/3113.34	c #Conflicts:    1935000 | #Constraints:      53901
3102.43/3113.34	c #Conflicts:    1936000 | #Constraints:      54901
3102.43/3113.34	c #Conflicts:    1937000 | #Constraints:      55901
3102.43/3113.34	c INPROCESSING
3102.43/3113.34	c GARBAGE COLLECT
3102.43/3113.34	c #Conflicts:    1938000 | #Constraints:      29311
3102.43/3113.34	c #Conflicts:    1939000 | #Constraints:      30311
3102.43/3113.34	c #Conflicts:    1940000 | #Constraints:      31311
3102.43/3113.34	c #Conflicts:    1941000 | #Constraints:      32311
3102.43/3113.34	c #Conflicts:    1942000 | #Constraints:      33311
3102.43/3113.34	c #Conflicts:    1943000 | #Constraints:      34311
3102.43/3113.34	c #Conflicts:    1944000 | #Constraints:      35311
3102.43/3113.34	c #Conflicts:    1945000 | #Constraints:      36311
3102.43/3113.34	c #Conflicts:    1946000 | #Constraints:      37311
3102.43/3113.34	c #Conflicts:    1947000 | #Constraints:      38311
3102.43/3113.34	c #Conflicts:    1948000 | #Constraints:      39311
3102.43/3113.34	c #Conflicts:    1949000 | #Constraints:      40311
3102.43/3113.34	c #Conflicts:    1950000 | #Constraints:      41311
3102.43/3113.34	c #Conflicts:    1951000 | #Constraints:      42311
3102.43/3113.34	c #Conflicts:    1952000 | #Constraints:      43311
3102.43/3113.34	c #Conflicts:    1953000 | #Constraints:      44311
3102.43/3113.34	c #Conflicts:    1954000 | #Constraints:      45311
3102.43/3113.34	c #Conflicts:    1955000 | #Constraints:      46311
3102.43/3113.34	c #Conflicts:    1956000 | #Constraints:      47311
3102.43/3113.34	c #Conflicts:    1957000 | #Constraints:      48311
3102.43/3113.34	c #Conflicts:    1958000 | #Constraints:      49311
3102.43/3113.34	c #Conflicts:    1959000 | #Constraints:      50311
3102.43/3113.34	c #Conflicts:    1960000 | #Constraints:      51311
3102.43/3113.34	c #Conflicts:    1961000 | #Constraints:      52311
3102.43/3113.34	c #Conflicts:    1962000 | #Constraints:      53311
3102.43/3113.34	c #Conflicts:    1963000 | #Constraints:      54311
3102.43/3113.34	c #Conflicts:    1964000 | #Constraints:      55311
3102.43/3113.34	c #Conflicts:    1965000 | #Constraints:      56311
3102.43/3113.34	c INPROCESSING
3102.43/3113.34	c GARBAGE COLLECT
3102.43/3113.34	c #Conflicts:    1966000 | #Constraints:      29513
3102.43/3113.34	c #Conflicts:    1967000 | #Constraints:      30513
3102.43/3113.34	c #Conflicts:    1968000 | #Constraints:      31513
3102.43/3113.34	c #Conflicts:    1969000 | #Constraints:      32513
3102.43/3113.34	c #Conflicts:    1970000 | #Constraints:      33513
3102.43/3113.34	c #Conflicts:    1971000 | #Constraints:      34513
3102.43/3113.34	c #Conflicts:    1972000 | #Constraints:      35513
3102.43/3113.34	c #Conflicts:    1973000 | #Constraints:      36513
3102.43/3113.34	c #Conflicts:    1974000 | #Constraints:      37513
3102.43/3113.34	c #Conflicts:    1975000 | #Constraints:      38513
3102.43/3113.34	c #Conflicts:    1976000 | #Constraints:      39513
3102.43/3113.34	c #Conflicts:    1977000 | #Constraints:      40513
3102.43/3113.34	c #Conflicts:    1978000 | #Constraints:      41513
3102.43/3113.34	c #Conflicts:    1979000 | #Constraints:      42513
3102.43/3113.34	c #Conflicts:    1980000 | #Constraints:      43513
3102.43/3113.34	c #Conflicts:    1981000 | #Constraints:      44513
3102.43/3113.34	c #Conflicts:    1982000 | #Constraints:      45513
3102.43/3113.34	c #Conflicts:    1983000 | #Constraints:      46513
3102.43/3113.34	c #Conflicts:    1984000 | #Constraints:      47513
3102.43/3113.34	c #Conflicts:    1985000 | #Constraints:      48513
3102.43/3113.34	c #Conflicts:    1986000 | #Constraints:      49513
3102.43/3113.34	c #Conflicts:    1987000 | #Constraints:      50513
3102.43/3113.34	c #Conflicts:    1988000 | #Constraints:      51513
3102.43/3113.34	c #Conflicts:    1989000 | #Constraints:      52513
3102.43/3113.34	c #Conflicts:    1990000 | #Constraints:      53513
3102.43/3113.34	c #Conflicts:    1991000 | #Constraints:      54513
3102.43/3113.34	c #Conflicts:    1992000 | #Constraints:      55513
3102.43/3113.34	c #Conflicts:    1993000 | #Constraints:      56513
3102.43/3113.34	c INPROCESSING
3102.43/3113.34	c GARBAGE COLLECT
3102.43/3113.34	c #Conflicts:    1994000 | #Constraints:      29504
3102.43/3113.34	c #Conflicts:    1995000 | #Constraints:      30504
3102.43/3113.34	c #Conflicts:    1996000 | #Constraints:      31504
3102.43/3113.34	c #Conflicts:    1997000 | #Constraints:      32504
3102.43/3113.34	c #Conflicts:    1998000 | #Constraints:      33504
3102.43/3113.34	c #Conflicts:    1999000 | #Constraints:      34504
3102.43/3113.34	c #Conflicts:    2000000 | #Constraints:      35504
3102.43/3113.34	c #Conflicts:    2001000 | #Constraints:      36504
3137.03/3148.10	c #Conflicts:    2002000 | #Constraints:      37504
3137.03/3148.10	c #Conflicts:    2003000 | #Constraints:      38504
3137.03/3148.10	c #Conflicts:    2004000 | #Constraints:      39504
3137.03/3148.10	c #Conflicts:    2005000 | #Constraints:      40504
3137.03/3148.10	c #Conflicts:    2006000 | #Constraints:      41504
3137.03/3148.10	c #Conflicts:    2007000 | #Constraints:      42504
3137.03/3148.10	c #Conflicts:    2008000 | #Constraints:      43504
3137.03/3148.10	c #Conflicts:    2009000 | #Constraints:      44504
3137.03/3148.10	c #Conflicts:    2010000 | #Constraints:      45504
3137.03/3148.10	c #Conflicts:    2011000 | #Constraints:      46504
3137.03/3148.10	c #Conflicts:    2012000 | #Constraints:      47504
3137.03/3148.10	c #Conflicts:    2013000 | #Constraints:      48504
3137.03/3148.10	c #Conflicts:    2014000 | #Constraints:      49504
3137.03/3148.10	c #Conflicts:    2015000 | #Constraints:      50504
3137.03/3148.10	c #Conflicts:    2016000 | #Constraints:      51504
3137.03/3148.10	c #Conflicts:    2017000 | #Constraints:      52504
3137.03/3148.10	c #Conflicts:    2018000 | #Constraints:      53504
3137.03/3148.10	c #Conflicts:    2019000 | #Constraints:      54504
3137.03/3148.10	c #Conflicts:    2020000 | #Constraints:      55504
3137.03/3148.10	c GLOBAL bounds - >= 31047 @ 3055.46
3137.13/3148.11	c GLOBAL bounds - >= 31047 @ 3055.47
3137.13/3148.11	c GLOBAL bounds - >= 31047 @ 3055.47
3137.13/3148.11	c GLOBAL bounds - >= 31047 @ 3055.47
3137.13/3148.11	c GLOBAL bounds - >= 31047 @ 3055.47
3137.13/3148.11	c GLOBAL bounds - >= 31047 @ 3055.47
3137.13/3148.12	c GLOBAL bounds - >= 31047 @ 3055.48
3137.13/3148.18	c GLOBAL bounds - >= 31047 @ 3055.54
3137.13/3148.19	c GLOBAL bounds - >= 31047 @ 3055.54
3137.13/3148.19	c GLOBAL bounds - >= 31047 @ 3055.54
3137.22/3148.20	c GLOBAL bounds - >= 31047 @ 3055.54
3137.22/3148.20	c GLOBAL bounds - >= 31047 @ 3055.55
3137.22/3148.21	c GLOBAL bounds - >= 31047 @ 3055.55
3137.22/3148.21	c GLOBAL bounds - >= 31047 @ 3055.56
3137.22/3148.22	c GLOBAL bounds - >= 31047 @ 3055.56
3137.22/3148.22	c GLOBAL bounds - >= 31047 @ 3055.56
3137.22/3148.23	c GLOBAL bounds - >= 31047 @ 3055.56
3137.22/3148.23	c GLOBAL bounds - >= 31047 @ 3055.57
3137.22/3148.24	c GLOBAL bounds - >= 31047 @ 3055.57
3137.22/3148.24	c GLOBAL bounds - >= 31047 @ 3055.57
3137.22/3148.25	c GLOBAL bounds - >= 31047 @ 3055.57
3137.22/3148.25	c GLOBAL bounds - >= 31047 @ 3055.58
3137.22/3148.26	c GLOBAL bounds - >= 31047 @ 3055.58
3137.22/3148.26	c GLOBAL bounds - >= 31047 @ 3055.59
3137.22/3148.27	c GLOBAL bounds - >= 31047 @ 3055.59
3137.22/3148.27	c GLOBAL bounds - >= 31047 @ 3055.59
3137.33/3148.35	c GLOBAL bounds - >= 31047 @ 3055.66
3137.33/3148.39	c GLOBAL bounds - >= 31047 @ 3055.7
3137.43/3148.46	c GLOBAL bounds - >= 31047 @ 3055.76
3137.43/3148.46	c GLOBAL bounds - >= 31047 @ 3055.76
3137.43/3148.47	c GLOBAL bounds - >= 31047 @ 3055.77
3137.43/3148.48	c GLOBAL bounds - >= 31047 @ 3055.78
3137.43/3148.49	c GLOBAL bounds - >= 31047 @ 3055.79
3137.53/3148.51	c GLOBAL bounds - >= 31047 @ 3055.8
3137.53/3148.53	c GLOBAL bounds - >= 31047 @ 3055.82
3137.53/3148.54	c GLOBAL bounds - >= 31047 @ 3055.83
3137.53/3148.55	c GLOBAL bounds - >= 31047 @ 3055.83
3137.53/3148.58	c GLOBAL bounds - >= 31047 @ 3055.86
3140.22/3151.21	c #Conflicts:    2021000 | #Constraints:      56584
3140.22/3151.21	c INPROCESSING
3140.22/3151.21	c GARBAGE COLLECT
3140.22/3151.21	c #Conflicts:    2022000 | #Constraints:      29339
3140.22/3151.21	c GLOBAL bounds - >= 31047 @ 3058.4
3141.02/3152.03	c #Conflicts:    2023000 | #Constraints:      30342
3141.02/3152.03	c GLOBAL bounds - >= 31047 @ 3059.18
3141.12/3152.11	c GLOBAL bounds - >= 31047 @ 3059.26
3145.70/3156.80	c #Conflicts:    2024000 | #Constraints:      31348
3145.70/3156.80	c #Conflicts:    2025000 | #Constraints:      32348
3145.70/3156.80	c #Conflicts:    2026000 | #Constraints:      33348
3145.70/3156.80	c #Conflicts:    2027000 | #Constraints:      34348
3145.70/3156.80	c GLOBAL bounds - >= 31047 @ 3063.79
3145.81/3156.80	c GLOBAL bounds - >= 31047 @ 3063.8
3146.50/3157.56	c GLOBAL bounds - >= 31047 @ 3064.52
3157.07/3168.19	c #Conflicts:    2028000 | #Constraints:      35357
3157.07/3168.19	c #Conflicts:    2029000 | #Constraints:      36357
3157.07/3168.19	c #Conflicts:    2030000 | #Constraints:      37357
3157.07/3168.19	c #Conflicts:    2031000 | #Constraints:      38357
3157.07/3168.19	c #Conflicts:    2032000 | #Constraints:      39357
3157.07/3168.19	c #Conflicts:    2033000 | #Constraints:      40357
3157.07/3168.19	c #Conflicts:    2034000 | #Constraints:      41357
3157.07/3168.19	c #Conflicts:    2035000 | #Constraints:      42357
3157.07/3168.19	c GLOBAL bounds - >= 31047 @ 3074.76
3160.26/3171.30	c #Conflicts:    2036000 | #Constraints:      43360
3160.26/3171.30	c #Conflicts:    2037000 | #Constraints:      44360
3160.26/3171.30	c GLOBAL bounds - >= 31047 @ 3077.75
0.00/3268.26	HOME/run-opt-log.sh: line 2: 56831 File size limit exceeded(core dumped) ./roundingsat "$1" --lp-maxconstr=1000000 --opt-mode=ihs --reified-ub=1 --proof-log="$2"

ERROR: no interpretation found !

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62717 MiB free)
  memory of node 1: 64465 MiB (63549 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496825-1751394202/watcher-4496825-1751394202 -o /tmp/evaluation-result-4496825-1751394202/solver-4496825-1751394202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751394202-56776 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4496825-1751394202.opb PROOFDIR/proof-4496825-1751394202 

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=56821, runsolver pid=56815

[startup+0.100058 s]*
/proc/loadavg: 1.84 3.47 3.88 5/270 56838
/proc/meminfo: memFree=129262352/131249988 swapFree=33010684/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=63392 memory=17232 CPUtime=0.03 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 2760 0 0 0 2 1 0 0 20 0 1 0 55097747 64913408 4308 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 15848 4308 2272 1147 0 3275 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 67584 KiB
Current children cumulated memory: 20176 KiB

[startup+0.20567 s]*
/proc/loadavg: 1.84 3.47 3.88 5/270 56838
/proc/meminfo: memFree=129219256/131249988 swapFree=33010684/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=79984 memory=26872 CPUtime=0.14 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 5204 0 0 0 12 2 0 0 20 0 1 0 55097747 81903616 6718 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 19996 6718 2368 1147 0 7423 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 84176 KiB
Current children cumulated memory: 29816 KiB

[startup+0.30564 s]*
/proc/loadavg: 1.84 3.47 3.88 5/270 56838
/proc/meminfo: memFree=129141828/131249988 swapFree=33010684/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=80528 memory=28024 CPUtime=0.24 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 5491 0 0 0 17 7 0 0 20 0 1 0 55097747 82460672 7006 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 20132 7006 2368 1147 0 7559 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 84720 KiB
Current children cumulated memory: 30968 KiB

[startup+0.700184 s]
/proc/loadavg: 1.84 3.47 3.88 5/270 56838
/proc/meminfo: memFree=129061700/131249988 swapFree=33010684/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=86108 memory=35836 CPUtime=0.63 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 6892 0 0 0 53 10 0 0 20 0 1 0 55097747 88174592 8959 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 21527 8959 2400 1147 0 8954 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 90300 KiB
Current children cumulated memory: 38780 KiB

[startup+1.50017 s]
/proc/loadavg: 1.84 3.47 3.88 5/270 56838
/proc/meminfo: memFree=129005252/131249988 swapFree=33010684/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=95300 memory=46684 CPUtime=1.43 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 9096 0 0 0 123 20 0 0 20 0 1 0 55097747 97587200 11671 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 23825 11671 2400 1147 0 11252 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 99492 KiB
Current children cumulated memory: 49628 KiB

[startup+3.10537 s]
/proc/loadavg: 2.02 3.48 3.88 5/270 56838
/proc/meminfo: memFree=128739824/131249988 swapFree=33010684/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=106448 memory=56540 CPUtime=3.03 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 11576 0 0 0 276 27 0 0 20 0 1 0 55097747 109002752 14135 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 26612 14135 2400 1147 0 14039 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 110640 KiB
Current children cumulated memory: 59484 KiB

[startup+6.30017 s]
/proc/loadavg: 2.02 3.48 3.88 5/271 56839
/proc/meminfo: memFree=128361744/131249988 swapFree=33010684/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=132740 memory=76816 CPUtime=6.22 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 15616 0 0 0 575 47 0 0 20 0 1 0 55097747 135925760 19204 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 33185 19204 2400 1147 0 20612 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 136932 KiB
Current children cumulated memory: 79760 KiB

[startup+12.7002 s]
/proc/loadavg: 2.17 3.49 3.88 5/273 56841
/proc/meminfo: memFree=127579224/131249988 swapFree=33010684/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=146812 memory=93820 CPUtime=12.59 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 18851 0 0 0 1185 74 0 0 20 0 1 0 55097747 150335488 23455 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 36703 23455 2400 1147 0 24130 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 151004 KiB
Current children cumulated memory: 96764 KiB

[startup+25.5002 s]
/proc/loadavg: 2.58 3.52 3.88 5/273 56841
/proc/meminfo: memFree=125927792/131249988 swapFree=33010684/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=163460 memory=99836 CPUtime=25.36 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 20357 0 0 0 2411 125 0 0 20 0 1 0 55097747 167383040 24959 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 40865 24959 2400 1147 0 28292 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 167652 KiB
Current children cumulated memory: 102780 KiB

[startup+51.1056 s]
/proc/loadavg: 3.12 3.57 3.89 5/275 56844
/proc/meminfo: memFree=122921148/131249988 swapFree=33010684/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=186616 memory=124748 CPUtime=50.9 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 25063 0 0 0 4886 204 0 0 20 0 1 0 55097747 191094784 31187 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 46654 31187 2400 1147 0 34081 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 190808 KiB
Current children cumulated memory: 127692 KiB

[startup+102.3 s]
/proc/loadavg: 3.67 3.65 3.91 5/273 56846
/proc/meminfo: memFree=117014332/131249988 swapFree=33010684/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=241988 memory=172552 CPUtime=101.94 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 33931 0 0 0 9817 377 0 0 20 0 1 0 55097747 247795712 43138 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 60497 43138 2400 1147 0 47924 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 246180 KiB
Current children cumulated memory: 175496 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 3.74 3.92 5/274 56851
/proc/meminfo: memFree=110366336/131249988 swapFree=33010684/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=244156 memory=185060 CPUtime=161.69 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 36041 0 0 0 15614 555 0 0 20 0 1 0 55097747 250015744 46265 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 61039 46265 2400 1147 0 48466 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 248348 KiB
Current children cumulated memory: 188004 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.80 3.93 5/274 56852
/proc/meminfo: memFree=103895780/131249988 swapFree=33010684/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=246796 memory=186468 CPUtime=221.51 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 36421 0 0 0 21426 725 0 0 20 0 1 0 55097747 252719104 46617 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 61699 46617 2400 1147 0 49126 0

################
# More data... #
################

/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=714856 memory=555740 CPUtime=2971.86 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 99622 0 0 0 289413 7773 0 0 20 0 1 0 55097747 732012544 138935 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 178714 138935 2400 1147 0 166141 0
Current children cumulated CPU time: 2971.86 s
Current children cumulated vsize: 719048 KiB
Current children cumulated memory: 558684 KiB

[startup+3042.3 s]
/proc/loadavg: 4.40 4.23 4.19 5/277 57070
/proc/meminfo: memFree=51207252/131249988 swapFree=33010672/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=714856 memory=555740 CPUtime=3031.63 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 99678 0 0 0 295243 7920 0 0 20 0 1 0 55097747 732012544 138935 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 178714 138935 2400 1147 0 166141 0
Current children cumulated CPU time: 3031.63 s
Current children cumulated vsize: 719048 KiB
Current children cumulated memory: 558684 KiB

[startup+3102.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/276 57072
/proc/meminfo: memFree=45640896/131249988 swapFree=33010672/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=717172 memory=557276 CPUtime=3091.46 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 100090 0 0 0 301087 8059 0 0 20 0 1 0 55097747 734384128 139319 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 179293 139319 2400 1147 0 166720 0
Current children cumulated CPU time: 3091.46 s
Current children cumulated vsize: 721364 KiB
Current children cumulated memory: 560220 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/276 57080
/proc/meminfo: memFree=39875348/131249988 swapFree=33010672/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=718108 memory=558172 CPUtime=3151.28 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 100319 0 0 0 306905 8223 0 0 20 0 1 0 55097747 735342592 139543 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 179527 139543 2400 1147 0 166954 0
Current children cumulated CPU time: 3151.28 s
Current children cumulated vsize: 722300 KiB
Current children cumulated memory: 561116 KiB

[startup+3222.3 s]
/proc/loadavg: 4.26 4.19 4.18 5/276 57082
/proc/meminfo: memFree=34277176/131249988 swapFree=33010672/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=721664 memory=560732 CPUtime=3211.11 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 100961 0 0 0 312717 8394 0 0 20 0 1 0 55097747 738983936 140183 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 180416 140183 2400 1147 0 167843 0
Current children cumulated CPU time: 3211.11 s
Current children cumulated vsize: 725856 KiB
Current children cumulated memory: 563676 KiB

[startup+3268.26 s]
# the end of solver process 56821 was just reported to runsolver
# Child status: 153

# cumulated CPU time of all completed processes:  user=3160.07 s, system=86.1552 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3225.6 s]
/proc/loadavg: 4.24 4.19 4.18 5/276 57082
/proc/meminfo: memFree=34001784/131249988 swapFree=33010672/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=721664 memory=560732 CPUtime=3214.4 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 100962 0 0 0 313038 8402 0 0 20 0 1 0 55097747 738983936 140183 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 180416 140183 2400 1147 0 167843 0
Current children cumulated CPU time: 3214.4 s
Current children cumulated vsize: 725856 KiB
Current children cumulated memory: 563676 KiB

[startup+3251.2 s]
/proc/loadavg: 4.16 4.17 4.17 5/276 57083
/proc/meminfo: memFree=31598976/131249988 swapFree=33010672/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=721664 memory=560860 CPUtime=3239.93 cores=4,6
/proc/56831/stat : 56831 (roundingsat) R 56821 56821 56765 0 -1 4194304 100971 0 0 0 315520 8473 0 0 20 0 1 0 55097747 738983936 140215 18446744073709551615 4227072 8923433 140730107300416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 0
/proc/56831/statm: 180416 140215 2400 1147 0 167843 0
Current children cumulated CPU time: 3239.93 s
Current children cumulated vsize: 725856 KiB
Current children cumulated memory: 563804 KiB

[startup+3257.6 s]
/proc/loadavg: 4.22 4.18 4.18 5/278 57086
/proc/meminfo: memFree=30310716/131249988 swapFree=33010672/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
[pid=56831] ppid=56821 vsize=721664 memory=560860 CPUtime=3245.3 cores=4,6
/proc/56831/stat : 56831 (roundingsat) S 56821 56821 56765 0 -1 4195840 100972 0 0 0 316004 8526 0 0 20 0 1 0 55097747 738983936 140215 18446744073709551615 4227072 8923433 140730107300416 140730107296408 140209934055255 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 26689536 140730107304274 140730107304488 140730107304488 140730107310058 25
/proc/56831/statm: 180416 140215 2400 1147 0 167843 0
Current children cumulated CPU time: 3245.3 s
Current children cumulated vsize: 725856 KiB
Current children cumulated memory: 563804 KiB

[startup+3264 s]*
/proc/loadavg: 4.27 4.19 4.18 4/276 57091
/proc/meminfo: memFree=31075756/131249988 swapFree=33010672/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3265.6 s]
/proc/loadavg: 4.27 4.19 4.18 4/276 57091
/proc/meminfo: memFree=31011356/131249988 swapFree=33010672/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3267.2 s]
/proc/loadavg: 4.27 4.19 4.18 4/276 57092
/proc/meminfo: memFree=30930088/131249988 swapFree=33010672/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3268 s]*
/proc/loadavg: 4.27 4.19 4.18 5/276 57092
/proc/meminfo: memFree=30916696/131249988 swapFree=33010672/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3268.2 s]
/proc/loadavg: 4.27 4.19 4.18 5/276 57092
/proc/meminfo: memFree=30916696/131249988 swapFree=33010672/33010684
[pid=56821] ppid=56815 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/56821/stat : 56821 (run-opt-log.sh) S 56815 56821 56765 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 55097745 4292608 736 18446744073709551615 94540166807552 94540167702085 140724163685952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94540167941136 94540167988880 94540192194560 140724163688737 140724163688932 140724163688932 140724163694534 0
/proc/56821/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 153

Real time (s): 3268.26
CPU time (s): 3246.23
CPU user time (s): 3160.07
CPU system time (s): 86.1552
CPU usage (%): 99.3259
Max. virtual memory (cumulated for all children) (KiB): 725856
Max. memory (cumulated for all children) (KiB): 563804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3160.07
system time used= 86.1552
maximum resident set size= 560860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101193
page faults= 0
swaps= 0
block input operations= 0
block output operations= 204800000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 210369
involuntary context switches= 25803


# summary of solver processes directly reported to runsolver:
#   pid: 56821
#   total CPU time (s): 3246.23
#   total CPU user time (s): 3160.07
#   total CPU system time (s): 86.1552

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83768 second user time and 15.0357 second system time

The end

Begin job on nodeC020 at 2025-07-01 20:23:22
IDJOB=4496825
IDBENCH=148147
IDSOLVER=3351
FILE ID=nodeC020/4496825-1751394202
RUNJOBID= nodeC020-1751394202-56776
SLURM_JOB_ID= 9598261
Free space on /tmp= 432948 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496825-1751394202/watcher-4496825-1751394202 -o /tmp/evaluation-result-4496825-1751394202/solver-4496825-1751394202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751394202-56776 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4496825-1751394202.opb PROOFDIR/proof-4496825-1751394202

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 80638e9ab302f8cbcb0fef344ba23b43
RANDOM SEED=912983212

nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.110
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.891
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3645.627
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3493.101
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3767.476
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.422
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.890
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.894
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129299224 kB
MemAvailable:   129778948 kB
Buffers:            3280 kB
Cached:          1283612 kB
SwapCached:            0 kB
Active:           389164 kB
Inactive:         974560 kB
Active(anon):      94888 kB
Inactive(anon):        0 kB
Active(file):     294276 kB
Inactive(file):   974560 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29808 kB
Writeback:             0 kB
AnonPages:         79840 kB
Mapped:           102996 kB
Shmem:             18056 kB
KReclaimable:     100256 kB
Slab:             188304 kB
SReclaimable:     100256 kB
SUnreclaim:        88048 kB
KernelStack:        4056 kB
PageTables:         2720 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     341236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432684 MiB
End job on nodeC020 at 2025-07-01 21:17:50