0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
2.86/2.90	c #variables 73150 #constraints 421178
2.86/2.90	c objective is ce32 
2.96/3.01	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.96/3.01	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
2.96/3.01	c GLOBAL bounds - >= 0 @ 2.54544
2.96/3.09	c GLOBAL bounds - >= 0 @ 2.57504
2.96/3.09	c GLOBAL bounds - >= 2 @ 2.57637
5.56/5.69	c GLOBAL bounds - >= 2 @ 5.11864
5.66/5.77	c GLOBAL bounds - >= 2 @ 5.15224
5.66/5.77	c GLOBAL bounds - >= 2 @ 5.15361
5.75/5.84	c GLOBAL bounds - >= 2 @ 5.18752
5.75/5.84	c GLOBAL bounds - >= 2 @ 5.18868
5.85/5.91	c GLOBAL bounds - >= 2 @ 5.21684
5.85/5.91	c GLOBAL bounds - >= 2 @ 5.21801
5.85/5.98	c GLOBAL bounds - >= 2 @ 5.24569
5.85/5.98	c GLOBAL bounds - >= 2 @ 5.24684
5.95/6.05	c GLOBAL bounds - >= 2 @ 5.27627
5.95/6.06	c GLOBAL bounds - >= 2 @ 5.2776
6.05/6.13	c GLOBAL bounds - >= 2 @ 5.29987
6.05/6.13	c GLOBAL bounds - >= 2 @ 5.30073
6.15/6.20	c GLOBAL bounds - >= 2 @ 5.331
6.15/6.20	c GLOBAL bounds - >= 2 @ 5.33266
6.15/6.27	c GLOBAL bounds - >= 2 @ 5.35518
6.15/6.27	c GLOBAL bounds - >= 2 @ 5.35697
6.25/6.35	c GLOBAL bounds - >= 2 @ 5.39119
6.25/6.35	c GLOBAL bounds - >= 2 @ 5.39252
6.35/6.42	c GLOBAL bounds - >= 2 @ 5.42596
6.35/6.49	c GLOBAL bounds - >= 2 @ 5.44446
6.45/6.55	c GLOBAL bounds - >= 2 @ 5.46415
6.55/6.62	c GLOBAL bounds - >= 2 @ 5.4887
6.55/6.69	c GLOBAL bounds - >= 2 @ 5.51527
6.65/6.76	c GLOBAL bounds - >= 2 @ 5.54771
6.75/6.83	c GLOBAL bounds - >= 2 @ 5.58154
6.75/6.89	c GLOBAL bounds - >= 2 @ 5.60606
6.85/6.96	c GLOBAL bounds - >= 2 @ 5.62897
6.85/6.96	c GLOBAL bounds - >= 684 @ 5.63216
6.85/6.96	c GLOBAL bounds - >= 684 @ 5.63433
6.85/6.96	c GLOBAL bounds - >= 684 @ 5.63484
6.85/6.96	c GLOBAL bounds - >= 684 @ 5.63503
6.85/6.96	c GLOBAL bounds - >= 684 @ 5.6354
6.95/7.03	c GLOBAL bounds - >= 684 @ 5.65868
6.95/7.03	c GLOBAL bounds - >= 684 @ 5.6594
7.05/7.10	c GLOBAL bounds - >= 684 @ 5.68686
7.05/7.10	c GLOBAL bounds - >= 684 @ 5.6876
7.05/7.17	c GLOBAL bounds - >= 684 @ 5.71235
7.05/7.17	c GLOBAL bounds - >= 684 @ 5.71297
7.15/7.24	c GLOBAL bounds - >= 684 @ 5.73763
7.15/7.24	c GLOBAL bounds - >= 684 @ 5.73974
7.24/7.31	c GLOBAL bounds - >= 684 @ 5.76636
7.24/7.31	c GLOBAL bounds - >= 684 @ 5.76714
7.24/7.38	c GLOBAL bounds - >= 684 @ 5.79405
7.24/7.38	c GLOBAL bounds - >= 684 @ 5.79469
7.35/7.45	c GLOBAL bounds - >= 684 @ 5.81907
7.35/7.46	c GLOBAL bounds - >= 684 @ 5.82007
7.45/7.53	c GLOBAL bounds - >= 684 @ 5.8435
7.45/7.53	c GLOBAL bounds - >= 684 @ 5.84648
7.55/7.60	c GLOBAL bounds - >= 684 @ 5.86984
7.55/7.60	c GLOBAL bounds - >= 684 @ 5.87186
7.55/7.68	c GLOBAL bounds - >= 684 @ 5.9059
7.65/7.74	c GLOBAL bounds - >= 684 @ 5.93478
7.75/7.81	c GLOBAL bounds - >= 684 @ 5.95568
7.75/7.88	c GLOBAL bounds - >= 684 @ 5.98588
7.85/7.94	c GLOBAL bounds - >= 684 @ 6.00259
7.96/8.01	c GLOBAL bounds - >= 684 @ 6.03597
7.96/8.09	c GLOBAL bounds - >= 684 @ 6.07421
8.05/8.17	c GLOBAL bounds - >= 684 @ 6.11038
8.05/8.17	c GLOBAL bounds - >= 2048 @ 6.11713
8.05/8.18	c GLOBAL bounds - >= 2048 @ 6.122
8.15/8.25	c GLOBAL bounds - >= 2048 @ 6.14878
8.15/8.25	c GLOBAL bounds - >= 2048 @ 6.15022
8.25/8.32	c GLOBAL bounds - >= 2048 @ 6.17383
8.25/8.32	c GLOBAL bounds - >= 2048 @ 6.17549
8.25/8.39	c GLOBAL bounds - >= 2048 @ 6.20216
8.35/8.40	c GLOBAL bounds - >= 2048 @ 6.20426
8.35/8.46	c GLOBAL bounds - >= 2048 @ 6.22556
8.35/8.47	c GLOBAL bounds - >= 2048 @ 6.22705
8.44/8.54	c GLOBAL bounds - >= 2048 @ 6.25618
8.44/8.54	c GLOBAL bounds - >= 2048 @ 6.25971
8.54/8.62	c GLOBAL bounds - >= 2048 @ 6.28702
8.54/8.62	c GLOBAL bounds - >= 2048 @ 6.28957
8.54/8.69	c GLOBAL bounds - >= 2048 @ 6.3151
8.64/8.70	c GLOBAL bounds - >= 2048 @ 6.3182
8.64/8.77	c GLOBAL bounds - >= 2048 @ 6.35012
8.64/8.78	c GLOBAL bounds - >= 2048 @ 6.35378
8.75/8.85	c GLOBAL bounds - >= 2048 @ 6.38112
8.75/8.86	c GLOBAL bounds - >= 2048 @ 6.38435
8.84/8.93	c GLOBAL bounds - >= 2048 @ 6.40726
8.95/9.01	c GLOBAL bounds - >= 2048 @ 6.43974
8.95/9.09	c GLOBAL bounds - >= 2048 @ 6.47258
9.05/9.17	c GLOBAL bounds - >= 2048 @ 6.50167
9.14/9.25	c GLOBAL bounds - >= 2048 @ 6.54844
9.14/9.26	c GLOBAL bounds - >= 4094 @ 6.56045
9.14/9.27	c GLOBAL bounds - >= 4094 @ 6.56624
9.14/9.28	c GLOBAL bounds - >= 4094 @ 6.56747
9.14/9.28	c GLOBAL bounds - >= 4094 @ 6.56893
9.24/9.35	c GLOBAL bounds - >= 4094 @ 6.59737
9.24/9.36	c GLOBAL bounds - >= 4094 @ 6.59786
9.34/9.43	c GLOBAL bounds - >= 4094 @ 6.6173
9.34/9.43	c GLOBAL bounds - >= 4094 @ 6.61881
9.44/9.50	c GLOBAL bounds - >= 4094 @ 6.64123
9.44/9.51	c GLOBAL bounds - >= 4094 @ 6.64276
9.44/9.58	c GLOBAL bounds - >= 4094 @ 6.66871
9.44/9.59	c GLOBAL bounds - >= 4094 @ 6.67309
9.54/9.66	c GLOBAL bounds - >= 4094 @ 6.70012
9.54/9.67	c GLOBAL bounds - >= 4094 @ 6.70461
9.64/9.74	c GLOBAL bounds - >= 4094 @ 6.74056
9.64/9.75	c GLOBAL bounds - >= 4094 @ 6.74423
9.74/9.82	c GLOBAL bounds - >= 4094 @ 6.76831
9.74/9.83	c GLOBAL bounds - >= 4094 @ 6.77151
9.84/9.90	c GLOBAL bounds - >= 4094 @ 6.79671
9.84/9.91	c GLOBAL bounds - >= 4094 @ 6.80001
9.84/9.98	c GLOBAL bounds - >= 4094 @ 6.82708
9.84/9.99	c GLOBAL bounds - >= 4094 @ 6.8329
9.95/10.06	c GLOBAL bounds - >= 4094 @ 6.86864
10.05/10.14	c GLOBAL bounds - >= 4094 @ 6.90414
10.15/10.22	c GLOBAL bounds - >= 4094 @ 6.93642
10.15/10.29	c GLOBAL bounds - >= 4094 @ 6.96659
10.24/10.37	c GLOBAL bounds - >= 4094 @ 7.00132
10.34/10.47	c GLOBAL bounds - >= 4094 @ 7.0396
10.44/10.55	c GLOBAL bounds - >= 4094 @ 7.07259
10.44/10.58	c GLOBAL bounds - >= 5799 @ 7.09497
10.44/10.59	c GLOBAL bounds - >= 5799 @ 7.10507
10.54/10.66	c GLOBAL bounds - >= 5799 @ 7.13141
10.54/10.67	c GLOBAL bounds - >= 5799 @ 7.13674
10.64/10.74	c GLOBAL bounds - >= 5799 @ 7.16526
10.64/10.75	c GLOBAL bounds - >= 5799 @ 7.17072
10.74/10.82	c GLOBAL bounds - >= 5799 @ 7.19422
10.74/10.83	c GLOBAL bounds - >= 5799 @ 7.1995
10.84/10.90	c GLOBAL bounds - >= 5799 @ 7.22581
10.84/10.91	c GLOBAL bounds - >= 5799 @ 7.22974
10.84/10.99	c GLOBAL bounds - >= 5799 @ 7.2546
10.84/10.99	c GLOBAL bounds - >= 5799 @ 7.25893
10.95/11.07	c GLOBAL bounds - >= 5799 @ 7.28273
10.95/11.08	c GLOBAL bounds - >= 5799 @ 7.28816
11.05/11.15	c GLOBAL bounds - >= 5799 @ 7.3258
11.05/11.16	c GLOBAL bounds - >= 5799 @ 7.32815
11.14/11.23	c GLOBAL bounds - >= 5799 @ 7.35936
11.14/11.24	c GLOBAL bounds - >= 5799 @ 7.36449
11.24/11.32	c GLOBAL bounds - >= 5799 @ 7.39298
11.24/11.33	c GLOBAL bounds - >= 5799 @ 7.40378
11.34/11.41	c GLOBAL bounds - >= 5799 @ 7.43793
11.34/11.48	c GLOBAL bounds - >= 5799 @ 7.46253
11.44/11.56	c GLOBAL bounds - >= 5799 @ 7.49779
11.54/11.64	c GLOBAL bounds - >= 5799 @ 7.53306
11.64/11.72	c GLOBAL bounds - >= 5799 @ 7.56615
11.74/11.80	c GLOBAL bounds - >= 5799 @ 7.60643
11.74/11.89	c GLOBAL bounds - >= 5799 @ 7.64876
11.84/11.97	c GLOBAL bounds - >= 5799 @ 7.6907
11.84/11.99	c GLOBAL bounds - >= 7163 @ 7.7077
11.94/12.00	c GLOBAL bounds - >= 7163 @ 7.71862
11.94/12.01	c GLOBAL bounds - >= 7163 @ 7.72316
11.94/12.02	c GLOBAL bounds - >= 7163 @ 7.731
11.94/12.09	c GLOBAL bounds - >= 7163 @ 7.758
11.94/12.10	c GLOBAL bounds - >= 7163 @ 7.76178
12.04/12.17	c GLOBAL bounds - >= 7163 @ 7.78496
12.04/12.17	c GLOBAL bounds - >= 7163 @ 7.78956
12.13/12.24	c GLOBAL bounds - >= 7163 @ 7.81556
12.13/12.25	c GLOBAL bounds - >= 7163 @ 7.81839
12.24/12.32	c GLOBAL bounds - >= 7163 @ 7.84378
12.24/12.33	c GLOBAL bounds - >= 7163 @ 7.85139
12.34/12.40	c GLOBAL bounds - >= 7163 @ 7.87679
12.34/12.41	c GLOBAL bounds - >= 7163 @ 7.88205
12.34/12.48	c GLOBAL bounds - >= 7163 @ 7.90863
12.34/12.49	c GLOBAL bounds - >= 7163 @ 7.91544
12.43/12.57	c GLOBAL bounds - >= 7163 @ 7.93802
12.43/12.58	c GLOBAL bounds - >= 7163 @ 7.94627
12.54/12.65	c GLOBAL bounds - >= 7163 @ 7.98018
12.54/12.66	c GLOBAL bounds - >= 7163 @ 7.9875
12.64/12.73	c GLOBAL bounds - >= 7163 @ 8.01485
12.64/12.74	c GLOBAL bounds - >= 7163 @ 8.02088
12.73/12.82	c GLOBAL bounds - >= 7163 @ 8.04634
12.73/12.89	c GLOBAL bounds - >= 7163 @ 8.08102
12.84/12.97	c GLOBAL bounds - >= 7163 @ 8.10414
12.94/13.04	c GLOBAL bounds - >= 7163 @ 8.13412
13.04/13.15	c GLOBAL bounds - >= 7163 @ 8.18695
13.13/13.28	c GLOBAL bounds - >= 7163 @ 8.26788
13.33/13.40	c GLOBAL bounds - >= 7163 @ 8.34002
13.33/13.49	c GLOBAL bounds - >= 7163 @ 8.38152
13.43/13.59	c GLOBAL bounds - >= 7163 @ 8.43388
13.53/13.65	c GLOBAL bounds - >= 7165 @ 8.48493
13.53/13.66	c GLOBAL bounds - >= 7165 @ 8.4935
13.53/13.67	c GLOBAL bounds - >= 7165 @ 8.49676
13.53/13.67	c GLOBAL bounds - >= 7165 @ 8.50223
13.64/13.75	c GLOBAL bounds - >= 7165 @ 8.53258
13.64/13.76	c GLOBAL bounds - >= 7165 @ 8.53588
13.74/13.83	c GLOBAL bounds - >= 7165 @ 8.56217
13.74/13.84	c GLOBAL bounds - >= 7165 @ 8.56843
13.83/13.91	c GLOBAL bounds - >= 7165 @ 8.59501
13.83/13.92	c GLOBAL bounds - >= 7165 @ 8.59786
13.83/14.00	c GLOBAL bounds - >= 7165 @ 8.63032
13.94/14.00	c GLOBAL bounds - >= 7165 @ 8.6346
13.94/14.08	c GLOBAL bounds - >= 7165 @ 8.66437
13.94/14.09	c GLOBAL bounds - >= 7165 @ 8.66858
14.04/14.16	c GLOBAL bounds - >= 7165 @ 8.7028
14.04/14.17	c GLOBAL bounds - >= 7165 @ 8.706
14.13/14.24	c GLOBAL bounds - >= 7165 @ 8.73202
14.13/14.25	c GLOBAL bounds - >= 7165 @ 8.73746
14.23/14.33	c GLOBAL bounds - >= 7165 @ 8.75756
14.23/14.34	c GLOBAL bounds - >= 7165 @ 8.76345
14.33/14.41	c GLOBAL bounds - >= 7165 @ 8.78911
14.33/14.42	c GLOBAL bounds - >= 7165 @ 8.79542
14.33/14.49	c GLOBAL bounds - >= 7165 @ 8.82001
14.43/14.57	c GLOBAL bounds - >= 7165 @ 8.84612
14.53/14.64	c GLOBAL bounds - >= 7165 @ 8.86901
14.63/14.71	c GLOBAL bounds - >= 7165 @ 8.90113
14.63/14.79	c GLOBAL bounds - >= 7165 @ 8.93259
14.83/14.96	c GLOBAL bounds - >= 7165 @ 9.05634
14.94/15.09	c GLOBAL bounds - >= 7165 @ 9.1275
15.13/15.21	c GLOBAL bounds - >= 7165 @ 9.20768
15.13/15.26	c GLOBAL bounds - >= 7507 @ 9.25286
15.13/15.28	c GLOBAL bounds - >= 7507 @ 9.26104
15.13/15.28	c GLOBAL bounds - >= 7507 @ 9.26435
15.13/15.29	c GLOBAL bounds - >= 7507 @ 9.26704
15.23/15.30	c GLOBAL bounds - >= 7507 @ 9.26939
15.23/15.31	c GLOBAL bounds - >= 7507 @ 9.27539
15.23/15.38	c GLOBAL bounds - >= 7507 @ 9.30278
15.23/15.39	c GLOBAL bounds - >= 7507 @ 9.30748
15.33/15.46	c GLOBAL bounds - >= 7507 @ 9.33475
15.33/15.47	c GLOBAL bounds - >= 7507 @ 9.33904
15.43/15.55	c GLOBAL bounds - >= 7507 @ 9.36666
15.43/15.56	c GLOBAL bounds - >= 7507 @ 9.37154
15.52/15.63	c GLOBAL bounds - >= 7507 @ 9.40467
15.52/15.64	c GLOBAL bounds - >= 7507 @ 9.41089
15.63/15.71	c GLOBAL bounds - >= 7507 @ 9.44359
15.63/15.72	c GLOBAL bounds - >= 7507 @ 9.44654
15.73/15.80	c GLOBAL bounds - >= 7507 @ 9.48685
15.73/15.81	c GLOBAL bounds - >= 7507 @ 9.49375
15.73/15.88	c GLOBAL bounds - >= 7507 @ 9.52328
15.73/15.90	c GLOBAL bounds - >= 7507 @ 9.52864
15.83/15.97	c GLOBAL bounds - >= 7507 @ 9.55716
15.83/15.98	c GLOBAL bounds - >= 7507 @ 9.56365
15.93/16.06	c GLOBAL bounds - >= 7507 @ 9.59226
15.93/16.06	c GLOBAL bounds - >= 7507 @ 9.59726
16.03/16.14	c GLOBAL bounds - >= 7507 @ 9.62091
16.13/16.21	c GLOBAL bounds - >= 7507 @ 9.65023
16.13/16.29	c GLOBAL bounds - >= 7507 @ 9.6761
16.23/16.36	c GLOBAL bounds - >= 7507 @ 9.70675
16.32/16.44	c GLOBAL bounds - >= 7507 @ 9.73724
16.42/16.52	c GLOBAL bounds - >= 7507 @ 9.77363
16.53/16.60	c GLOBAL bounds - >= 7507 @ 9.80588
16.53/16.68	c GLOBAL bounds - >= 7507 @ 9.83871
16.72/16.81	c GLOBAL bounds - >= 7510 @ 9.96041
16.72/16.82	c GLOBAL bounds - >= 7510 @ 9.96903
16.72/16.83	c GLOBAL bounds - >= 7510 @ 9.97486
16.72/16.84	c GLOBAL bounds - >= 7510 @ 9.97965
16.72/16.85	c GLOBAL bounds - >= 7510 @ 9.98454
16.83/16.99	c GLOBAL bounds - >= 7510 @ 10.0795
16.83/17.00	c GLOBAL bounds - >= 7510 @ 10.083
16.93/17.08	c GLOBAL bounds - >= 7510 @ 10.1269
16.93/17.09	c GLOBAL bounds - >= 7510 @ 10.1322
17.03/17.16	c GLOBAL bounds - >= 7510 @ 10.1606
17.03/17.17	c GLOBAL bounds - >= 7510 @ 10.1639
17.13/17.24	c GLOBAL bounds - >= 7510 @ 10.1845
17.13/17.25	c GLOBAL bounds - >= 7510 @ 10.1904
17.22/17.32	c GLOBAL bounds - >= 7510 @ 10.2177
17.22/17.33	c GLOBAL bounds - >= 7510 @ 10.225
17.32/17.40	c GLOBAL bounds - >= 7510 @ 10.2523
17.32/17.41	c GLOBAL bounds - >= 7510 @ 10.2562
17.32/17.48	c GLOBAL bounds - >= 7510 @ 10.2804
17.42/17.50	c GLOBAL bounds - >= 7510 @ 10.2847
17.42/17.57	c GLOBAL bounds - >= 7510 @ 10.3095
17.42/17.58	c GLOBAL bounds - >= 7510 @ 10.3134
17.53/17.65	c GLOBAL bounds - >= 7510 @ 10.3401
17.53/17.67	c GLOBAL bounds - >= 7510 @ 10.3493
17.63/17.74	c GLOBAL bounds - >= 7510 @ 10.3771
17.72/17.81	c GLOBAL bounds - >= 7510 @ 10.3984
17.72/17.89	c GLOBAL bounds - >= 7510 @ 10.4296
17.82/17.96	c GLOBAL bounds - >= 7510 @ 10.4531
17.93/18.05	c GLOBAL bounds - >= 7510 @ 10.4893
18.03/18.13	c GLOBAL bounds - >= 7510 @ 10.529
18.12/18.21	c GLOBAL bounds - >= 7510 @ 10.5728
18.22/18.31	c GLOBAL bounds - >= 7510 @ 10.6402
18.22/18.38	c GLOBAL bounds - >= 7510 @ 10.6676
18.33/18.49	c GLOBAL bounds - >= 7510 @ 10.7311
19.12/19.28	c #Conflicts:       1000 | #Constraints:       1278
19.12/19.28	c GLOBAL bounds - >= 7511 @ 11.4757
19.12/19.29	c GLOBAL bounds - >= 7511 @ 11.4841
19.32/19.43	c GLOBAL bounds - >= 7511 @ 11.5611
19.32/19.43	c GLOBAL bounds - >= 7511 @ 11.5623
19.41/19.51	c GLOBAL bounds - >= 7511 @ 11.5812
19.41/19.51	c GLOBAL bounds - >= 7511 @ 11.5852
19.41/19.58	c GLOBAL bounds - >= 7511 @ 11.6091
19.41/19.59	c GLOBAL bounds - >= 7511 @ 11.6131
19.52/19.66	c GLOBAL bounds - >= 7511 @ 11.6447
19.52/19.67	c GLOBAL bounds - >= 7511 @ 11.6491
19.61/19.74	c GLOBAL bounds - >= 7511 @ 11.6737
19.61/19.75	c GLOBAL bounds - >= 7511 @ 11.6777
19.71/19.83	c GLOBAL bounds - >= 7511 @ 11.7134
19.71/19.84	c GLOBAL bounds - >= 7511 @ 11.7178
19.82/19.91	c GLOBAL bounds - >= 7511 @ 11.7524
19.82/19.92	c GLOBAL bounds - >= 7511 @ 11.7553
19.82/19.99	c GLOBAL bounds - >= 7511 @ 11.7865
19.93/20.00	c GLOBAL bounds - >= 7511 @ 11.7912
19.93/20.08	c GLOBAL bounds - >= 7511 @ 11.8167
19.93/20.09	c GLOBAL bounds - >= 7511 @ 11.8225
20.02/20.16	c GLOBAL bounds - >= 7511 @ 11.8499
20.12/20.24	c GLOBAL bounds - >= 7511 @ 11.8794
20.21/20.31	c GLOBAL bounds - >= 7511 @ 11.9012
20.21/20.38	c GLOBAL bounds - >= 7511 @ 11.9288
20.31/20.45	c GLOBAL bounds - >= 7511 @ 11.9592
20.42/20.52	c GLOBAL bounds - >= 7511 @ 11.9844
20.51/20.60	c GLOBAL bounds - >= 7511 @ 12.0088
20.51/20.67	c GLOBAL bounds - >= 7511 @ 12.0411
20.61/20.76	c GLOBAL bounds - >= 7511 @ 12.075
20.72/20.87	c GLOBAL bounds - >= 7511 @ 12.1417
21.01/21.18	c GLOBAL bounds - >= 7853 @ 12.4334
21.01/21.19	c GLOBAL bounds - >= 7853 @ 12.4482
21.12/21.20	c GLOBAL bounds - >= 7853 @ 12.4519
21.12/21.21	c GLOBAL bounds - >= 7853 @ 12.4557
21.12/21.22	c GLOBAL bounds - >= 7853 @ 12.4606
21.12/21.23	c GLOBAL bounds - >= 7853 @ 12.4625
21.12/21.23	c GLOBAL bounds - >= 7853 @ 12.468
21.12/21.24	c GLOBAL bounds - >= 7853 @ 12.4718
21.12/21.25	c GLOBAL bounds - >= 7853 @ 12.4783
21.22/21.32	c GLOBAL bounds - >= 7853 @ 12.4946
21.22/21.33	c GLOBAL bounds - >= 7853 @ 12.4989
21.32/21.40	c GLOBAL bounds - >= 7853 @ 12.5231
21.32/21.41	c GLOBAL bounds - >= 7853 @ 12.5255
21.32/21.48	c GLOBAL bounds - >= 7853 @ 12.555
21.32/21.49	c GLOBAL bounds - >= 7853 @ 12.5593
21.42/21.57	c GLOBAL bounds - >= 7853 @ 12.5796
21.42/21.58	c GLOBAL bounds - >= 7853 @ 12.5867
21.52/21.65	c GLOBAL bounds - >= 7853 @ 12.6154
21.52/21.66	c GLOBAL bounds - >= 7853 @ 12.6188
21.61/21.73	c GLOBAL bounds - >= 7853 @ 12.6472
21.61/21.74	c GLOBAL bounds - >= 7853 @ 12.6523
21.72/21.84	c GLOBAL bounds - >= 7853 @ 12.6965
21.72/21.84	c GLOBAL bounds - >= 7853 @ 12.7006
21.81/21.92	c GLOBAL bounds - >= 7853 @ 12.7263
21.81/21.93	c GLOBAL bounds - >= 7853 @ 12.7356
21.91/22.01	c GLOBAL bounds - >= 7853 @ 12.7602
21.91/22.02	c GLOBAL bounds - >= 7853 @ 12.7663
21.91/22.09	c GLOBAL bounds - >= 7853 @ 12.797
22.02/22.16	c GLOBAL bounds - >= 7853 @ 12.8203
22.11/22.24	c GLOBAL bounds - >= 7853 @ 12.8443
22.21/22.31	c GLOBAL bounds - >= 7853 @ 12.8778
22.21/22.39	c GLOBAL bounds - >= 7853 @ 12.9092
22.31/22.46	c GLOBAL bounds - >= 7853 @ 12.9424
22.41/22.53	c GLOBAL bounds - >= 7853 @ 12.9647
22.51/22.60	c GLOBAL bounds - >= 7853 @ 12.9908
22.51/22.67	c GLOBAL bounds - >= 7853 @ 13.011
22.61/22.75	c GLOBAL bounds - >= 7853 @ 13.0482
22.71/22.84	c GLOBAL bounds - >= 7853 @ 13.0801
22.81/22.94	c GLOBAL bounds - >= 7853 @ 13.139
23.10/23.28	c GLOBAL bounds - >= 7853 @ 13.4242
23.41/23.58	c GLOBAL bounds - >= 7853 @ 13.6708
35.38/35.56	c #Conflicts:       2000 | #Constraints:       2347
35.38/35.56	c INPROCESSING
35.38/35.56	c GARBAGE COLLECT
35.38/35.56	c #Conflicts:       3000 | #Constraints:       2327
35.38/35.56	c #Conflicts:       4000 | #Constraints:       3327
35.38/35.56	c INPROCESSING
35.38/35.56	c GARBAGE COLLECT
35.38/35.56	c #Conflicts:       5000 | #Constraints:       2769
35.38/35.56	c #Conflicts:       6000 | #Constraints:       3769
35.38/35.56	c GLOBAL bounds - >= 8194 @ 25.3148
35.38/35.58	c GLOBAL bounds - >= 8194 @ 25.3313
35.38/35.59	c GLOBAL bounds - >= 8194 @ 25.3341
35.47/35.60	c GLOBAL bounds - >= 8194 @ 25.3398
35.47/35.61	c GLOBAL bounds - >= 8194 @ 25.347
35.47/35.62	c GLOBAL bounds - >= 8194 @ 25.3491
35.78/35.93	c INPROCESSING
35.78/35.93	c GARBAGE COLLECT
35.78/35.93	c GLOBAL bounds - >= 8194 @ 25.615
35.78/35.94	c GLOBAL bounds - >= 8194 @ 25.6182
36.18/36.32	c GLOBAL bounds - >= 8194 @ 25.9454
36.18/36.33	c GLOBAL bounds - >= 8194 @ 25.949
36.37/36.50	c GLOBAL bounds - >= 8194 @ 26.0794
36.37/36.51	c GLOBAL bounds - >= 8194 @ 26.0845
36.37/36.58	c GLOBAL bounds - >= 8194 @ 26.1164
36.37/36.59	c GLOBAL bounds - >= 8194 @ 26.122
36.47/36.68	c GLOBAL bounds - >= 8194 @ 26.1659
36.47/36.70	c GLOBAL bounds - >= 8194 @ 26.173
36.57/36.77	c GLOBAL bounds - >= 8194 @ 26.1965
36.57/36.78	c GLOBAL bounds - >= 8194 @ 26.2033
36.68/36.85	c GLOBAL bounds - >= 8194 @ 26.2306
36.68/36.86	c GLOBAL bounds - >= 8194 @ 26.2366
36.77/36.94	c GLOBAL bounds - >= 8194 @ 26.2713
36.77/36.95	c GLOBAL bounds - >= 8194 @ 26.2752
36.88/37.02	c GLOBAL bounds - >= 8194 @ 26.3066
36.88/37.03	c GLOBAL bounds - >= 8194 @ 26.3124
36.98/37.11	c GLOBAL bounds - >= 8194 @ 26.3379
36.98/37.18	c GLOBAL bounds - >= 8194 @ 26.3701
37.07/37.25	c GLOBAL bounds - >= 8194 @ 26.3944
37.17/37.32	c GLOBAL bounds - >= 8194 @ 26.4181
37.17/37.39	c GLOBAL bounds - >= 8194 @ 26.4413
37.27/37.49	c GLOBAL bounds - >= 8194 @ 26.5011
37.37/37.55	c GLOBAL bounds - >= 8194 @ 26.5278
37.47/37.64	c GLOBAL bounds - >= 8194 @ 26.5566
201.64/202.22	c #Conflicts:       7000 | #Constraints:       2776
201.64/202.22	c #Conflicts:       8000 | #Constraints:       3776
201.64/202.22	c #Conflicts:       9000 | #Constraints:       4776
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      10000 | #Constraints:       3469
201.64/202.22	c #Conflicts:      11000 | #Constraints:       4469
201.64/202.22	c #Conflicts:      12000 | #Constraints:       5469
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      13000 | #Constraints:       3925
201.64/202.22	c #Conflicts:      14000 | #Constraints:       4925
201.64/202.22	c #Conflicts:      15000 | #Constraints:       5925
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      16000 | #Constraints:       4155
201.64/202.22	c #Conflicts:      17000 | #Constraints:       5155
201.64/202.22	c #Conflicts:      18000 | #Constraints:       6155
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      19000 | #Constraints:       4178
201.64/202.22	c #Conflicts:      20000 | #Constraints:       5178
201.64/202.22	c #Conflicts:      21000 | #Constraints:       6178
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      22000 | #Constraints:       3981
201.64/202.22	c #Conflicts:      23000 | #Constraints:       4981
201.64/202.22	c #Conflicts:      24000 | #Constraints:       5981
201.64/202.22	c #Conflicts:      25000 | #Constraints:       6981
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      26000 | #Constraints:       4577
201.64/202.22	c #Conflicts:      27000 | #Constraints:       5577
201.64/202.22	c #Conflicts:      28000 | #Constraints:       6577
201.64/202.22	c #Conflicts:      29000 | #Constraints:       7577
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      30000 | #Constraints:       4974
201.64/202.22	c #Conflicts:      31000 | #Constraints:       5974
201.64/202.22	c #Conflicts:      32000 | #Constraints:       6974
201.64/202.22	c #Conflicts:      33000 | #Constraints:       7974
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      34000 | #Constraints:       5183
201.64/202.22	c #Conflicts:      35000 | #Constraints:       6183
201.64/202.22	c #Conflicts:      36000 | #Constraints:       7183
201.64/202.22	c #Conflicts:      37000 | #Constraints:       8183
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      38000 | #Constraints:       5185
201.64/202.22	c #Conflicts:      39000 | #Constraints:       6185
201.64/202.22	c #Conflicts:      40000 | #Constraints:       7185
201.64/202.22	c #Conflicts:      41000 | #Constraints:       8185
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      42000 | #Constraints:       4989
201.64/202.22	c #Conflicts:      43000 | #Constraints:       5989
201.64/202.22	c #Conflicts:      44000 | #Constraints:       6989
201.64/202.22	c #Conflicts:      45000 | #Constraints:       7989
201.64/202.22	c #Conflicts:      46000 | #Constraints:       8989
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      47000 | #Constraints:       5589
201.64/202.22	c #Conflicts:      48000 | #Constraints:       6589
201.64/202.22	c #Conflicts:      49000 | #Constraints:       7589
201.64/202.22	c #Conflicts:      50000 | #Constraints:       8589
201.64/202.22	c #Conflicts:      51000 | #Constraints:       9589
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      52000 | #Constraints:       6005
201.64/202.22	c #Conflicts:      53000 | #Constraints:       7005
201.64/202.22	c #Conflicts:      54000 | #Constraints:       8005
201.64/202.22	c #Conflicts:      55000 | #Constraints:       9005
201.64/202.22	c #Conflicts:      56000 | #Constraints:      10005
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      57000 | #Constraints:       6198
201.64/202.22	c #Conflicts:      58000 | #Constraints:       7198
201.64/202.22	c #Conflicts:      59000 | #Constraints:       8198
201.64/202.22	c #Conflicts:      60000 | #Constraints:       9198
201.64/202.22	c #Conflicts:      61000 | #Constraints:      10198
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      62000 | #Constraints:       6202
201.64/202.22	c #Conflicts:      63000 | #Constraints:       7202
201.64/202.22	c #Conflicts:      64000 | #Constraints:       8202
201.64/202.22	c #Conflicts:      65000 | #Constraints:       9202
201.64/202.22	c #Conflicts:      66000 | #Constraints:      10202
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      67000 | #Constraints:       5990
201.64/202.22	c #Conflicts:      68000 | #Constraints:       6990
201.64/202.22	c #Conflicts:      69000 | #Constraints:       7990
201.64/202.22	c #Conflicts:      70000 | #Constraints:       8990
201.64/202.22	c #Conflicts:      71000 | #Constraints:       9990
201.64/202.22	c #Conflicts:      72000 | #Constraints:      10990
201.64/202.22	c INPROCESSING
201.64/202.22	c GARBAGE COLLECT
201.64/202.22	c #Conflicts:      73000 | #Constraints:       6587
201.64/202.22	c #Conflicts:      74000 | #Constraints:       7587
201.64/202.22	c #Conflicts:      75000 | #Constraints:       8587
375.56/376.67	c #Conflicts:      76000 | #Constraints:       9587
375.56/376.67	c #Conflicts:      77000 | #Constraints:      10587
375.56/376.67	c #Conflicts:      78000 | #Constraints:      11587
375.56/376.67	c INPROCESSING
375.56/376.67	c GARBAGE COLLECT
375.56/376.67	c #Conflicts:      79000 | #Constraints:       7001
375.56/376.67	c #Conflicts:      80000 | #Constraints:       8001
375.56/376.67	c #Conflicts:      81000 | #Constraints:       9001
375.56/376.67	c #Conflicts:      82000 | #Constraints:      10001
375.56/376.67	c #Conflicts:      83000 | #Constraints:      11001
375.56/376.67	c #Conflicts:      84000 | #Constraints:      12001
375.56/376.67	c INPROCESSING
375.56/376.67	c GARBAGE COLLECT
375.56/376.67	c #Conflicts:      85000 | #Constraints:       7202
375.56/376.67	c #Conflicts:      86000 | #Constraints:       8202
375.56/376.67	c #Conflicts:      87000 | #Constraints:       9202
375.56/376.67	c #Conflicts:      88000 | #Constraints:      10202
375.56/376.67	c #Conflicts:      89000 | #Constraints:      11202
375.56/376.67	c #Conflicts:      90000 | #Constraints:      12202
375.56/376.67	c INPROCESSING
375.56/376.67	c GARBAGE COLLECT
375.56/376.67	c #Conflicts:      91000 | #Constraints:       7201
375.56/376.67	c #Conflicts:      92000 | #Constraints:       8201
375.56/376.67	c #Conflicts:      93000 | #Constraints:       9201
375.56/376.67	c #Conflicts:      94000 | #Constraints:      10201
375.56/376.67	c #Conflicts:      95000 | #Constraints:      11201
375.56/376.67	c #Conflicts:      96000 | #Constraints:      12201
375.56/376.67	c INPROCESSING
375.56/376.67	c GARBAGE COLLECT
375.56/376.67	c #Conflicts:      97000 | #Constraints:       6997
375.56/376.67	c #Conflicts:      98000 | #Constraints:       7997
375.56/376.67	c #Conflicts:      99000 | #Constraints:       8997
375.56/376.67	c #Conflicts:     100000 | #Constraints:       9997
375.56/376.67	c #Conflicts:     101000 | #Constraints:      10997
375.56/376.67	c #Conflicts:     102000 | #Constraints:      11997
375.56/376.67	c #Conflicts:     103000 | #Constraints:      12997
375.56/376.67	c INPROCESSING
375.56/376.67	c GARBAGE COLLECT
375.56/376.67	c #Conflicts:     104000 | #Constraints:       7593
375.56/376.67	c #Conflicts:     105000 | #Constraints:       8593
375.56/376.67	c #Conflicts:     106000 | #Constraints:       9593
375.56/376.67	c #Conflicts:     107000 | #Constraints:      10593
375.56/376.67	c #Conflicts:     108000 | #Constraints:      11593
375.56/376.67	c #Conflicts:     109000 | #Constraints:      12593
375.56/376.67	c #Conflicts:     110000 | #Constraints:      13593
375.56/376.67	c INPROCESSING
375.56/376.67	c GARBAGE COLLECT
375.56/376.67	c #Conflicts:     111000 | #Constraints:       7999
375.56/376.67	c #Conflicts:     112000 | #Constraints:       8999
375.56/376.67	c #Conflicts:     113000 | #Constraints:       9999
375.56/376.67	c #Conflicts:     114000 | #Constraints:      10999
375.56/376.67	c #Conflicts:     115000 | #Constraints:      11999
375.56/376.67	c #Conflicts:     116000 | #Constraints:      12999
375.56/376.67	c #Conflicts:     117000 | #Constraints:      13999
375.56/376.67	c INPROCESSING
375.56/376.67	c GARBAGE COLLECT
375.56/376.67	c #Conflicts:     118000 | #Constraints:       8201
375.56/376.67	c #Conflicts:     119000 | #Constraints:       9201
375.56/376.67	c #Conflicts:     120000 | #Constraints:      10201
375.56/376.67	c #Conflicts:     121000 | #Constraints:      11201
375.56/376.67	c #Conflicts:     122000 | #Constraints:      12201
375.56/376.67	c #Conflicts:     123000 | #Constraints:      13201
375.56/376.67	c #Conflicts:     124000 | #Constraints:      14201
375.56/376.67	c INPROCESSING
375.56/376.67	c GARBAGE COLLECT
375.56/376.67	c #Conflicts:     125000 | #Constraints:       8214
375.56/376.67	c #Conflicts:     126000 | #Constraints:       9214
375.56/376.67	c #Conflicts:     127000 | #Constraints:      10214
375.56/376.67	c #Conflicts:     128000 | #Constraints:      11214
375.56/376.67	c #Conflicts:     129000 | #Constraints:      12214
375.56/376.67	c #Conflicts:     130000 | #Constraints:      13214
375.56/376.67	c #Conflicts:     131000 | #Constraints:      14214
375.56/376.67	c INPROCESSING
375.56/376.67	c GARBAGE COLLECT
375.56/376.67	c #Conflicts:     132000 | #Constraints:       8021
375.56/376.67	c #Conflicts:     133000 | #Constraints:       9021
375.56/376.67	c #Conflicts:     134000 | #Constraints:      10021
375.56/376.67	c #Conflicts:     135000 | #Constraints:      11021
375.56/376.67	c #Conflicts:     136000 | #Constraints:      12021
375.56/376.67	c #Conflicts:     137000 | #Constraints:      13021
375.56/376.67	c #Conflicts:     138000 | #Constraints:      14021
375.56/376.67	c #Conflicts:     139000 | #Constraints:      15021
375.56/376.67	c INPROCESSING
375.56/376.67	c GARBAGE COLLECT
375.56/376.67	c GLOBAL bounds - >= 8195 @ 358.927
375.56/376.68	c GLOBAL bounds - >= 8195 @ 358.934
375.56/376.69	c GLOBAL bounds - >= 8195 @ 358.94
375.66/376.70	c GLOBAL bounds - >= 8195 @ 358.943
375.66/376.77	c GLOBAL bounds - >= 8195 @ 358.976
375.66/376.78	c GLOBAL bounds - >= 8195 @ 358.981
375.76/376.85	c GLOBAL bounds - >= 8195 @ 359.007
375.76/376.86	c GLOBAL bounds - >= 8195 @ 359.012
375.85/376.93	c GLOBAL bounds - >= 8195 @ 359.044
375.85/376.94	c GLOBAL bounds - >= 8195 @ 359.051
375.96/377.01	c GLOBAL bounds - >= 8195 @ 359.083
375.96/377.02	c GLOBAL bounds - >= 8195 @ 359.087
375.96/377.09	c GLOBAL bounds - >= 8195 @ 359.112
375.96/377.10	c GLOBAL bounds - >= 8195 @ 359.116
376.06/377.17	c GLOBAL bounds - >= 8195 @ 359.145
376.06/377.18	c GLOBAL bounds - >= 8195 @ 359.152
376.16/377.26	c GLOBAL bounds - >= 8195 @ 359.181
376.16/377.27	c GLOBAL bounds - >= 8195 @ 359.186
376.26/377.34	c GLOBAL bounds - >= 8195 @ 359.216
376.26/377.35	c GLOBAL bounds - >= 8195 @ 359.222
376.35/377.43	c GLOBAL bounds - >= 8195 @ 359.251
376.35/377.44	c GLOBAL bounds - >= 8195 @ 359.259
385.24/386.36	c #Conflicts:     140000 | #Constraints:       8634
385.24/386.36	c #Conflicts:     141000 | #Constraints:       9634
385.24/386.36	c #Conflicts:     142000 | #Constraints:      10634
385.24/386.36	c GLOBAL bounds - >= 8195 @ 367.95
385.34/386.45	c GLOBAL bounds - >= 8195 @ 367.995
385.43/386.55	c GLOBAL bounds - >= 8195 @ 368.046
385.54/386.64	c GLOBAL bounds - >= 8195 @ 368.097
385.63/386.72	c GLOBAL bounds - >= 8195 @ 368.128
385.74/386.81	c GLOBAL bounds - >= 8195 @ 368.166
385.83/386.90	c GLOBAL bounds - >= 8195 @ 368.206
385.94/387.02	c GLOBAL bounds - >= 8195 @ 368.283
386.43/387.54	c #Conflicts:     143000 | #Constraints:      11655
386.43/387.54	c GLOBAL bounds - >= 8195 @ 368.76
448.06/449.38	c #Conflicts:     144000 | #Constraints:      12658
448.06/449.38	c #Conflicts:     145000 | #Constraints:      13658
448.06/449.38	c #Conflicts:     146000 | #Constraints:      14658
448.06/449.38	c #Conflicts:     147000 | #Constraints:      15658
448.06/449.38	c INPROCESSING
448.06/449.38	c GARBAGE COLLECT
448.06/449.38	c #Conflicts:     148000 | #Constraints:       9042
448.06/449.38	c #Conflicts:     149000 | #Constraints:      10042
448.06/449.38	c #Conflicts:     150000 | #Constraints:      11042
448.06/449.38	c #Conflicts:     151000 | #Constraints:      12042
448.06/449.38	c #Conflicts:     152000 | #Constraints:      13042
448.06/449.38	c #Conflicts:     153000 | #Constraints:      14042
448.06/449.38	c #Conflicts:     154000 | #Constraints:      15042
448.06/449.38	c #Conflicts:     155000 | #Constraints:      16042
448.06/449.38	c INPROCESSING
448.06/449.38	c GARBAGE COLLECT
448.06/449.38	c #Conflicts:     156000 | #Constraints:       9234
448.06/449.38	c #Conflicts:     157000 | #Constraints:      10234
448.06/449.38	c #Conflicts:     158000 | #Constraints:      11234
448.06/449.38	c #Conflicts:     159000 | #Constraints:      12234
448.06/449.38	c #Conflicts:     160000 | #Constraints:      13234
448.06/449.38	c #Conflicts:     161000 | #Constraints:      14234
448.06/449.38	c #Conflicts:     162000 | #Constraints:      15234
448.06/449.38	c #Conflicts:     163000 | #Constraints:      16234
448.06/449.38	c INPROCESSING
448.06/449.38	c GARBAGE COLLECT
448.06/449.38	c #Conflicts:     164000 | #Constraints:       9235
448.06/449.38	c #Conflicts:     165000 | #Constraints:      10235
448.06/449.38	c #Conflicts:     166000 | #Constraints:      11235
448.06/449.38	c #Conflicts:     167000 | #Constraints:      12235
448.06/449.38	c GLOBAL bounds - >= 8537 @ 429.271
448.16/449.40	c GLOBAL bounds - >= 8537 @ 429.286
448.16/449.40	c GLOBAL bounds - >= 8537 @ 429.287
448.16/449.47	c GLOBAL bounds - >= 8537 @ 429.314
448.16/449.47	c GLOBAL bounds - >= 8537 @ 429.314
448.26/449.55	c GLOBAL bounds - >= 8537 @ 429.352
448.26/449.55	c GLOBAL bounds - >= 8537 @ 429.352
448.36/449.63	c GLOBAL bounds - >= 8537 @ 429.386
448.36/449.64	c GLOBAL bounds - >= 8537 @ 429.387
448.56/449.80	c GLOBAL bounds - >= 8537 @ 429.499
448.56/449.80	c GLOBAL bounds - >= 8537 @ 429.5
448.56/449.87	c GLOBAL bounds - >= 8537 @ 429.526
448.56/449.87	c GLOBAL bounds - >= 8537 @ 429.527
448.66/449.94	c GLOBAL bounds - >= 8537 @ 429.555
448.66/449.94	c GLOBAL bounds - >= 8537 @ 429.556
448.77/450.02	c GLOBAL bounds - >= 8537 @ 429.588
448.77/450.02	c GLOBAL bounds - >= 8537 @ 429.589
448.77/450.10	c GLOBAL bounds - >= 8537 @ 429.624
448.77/450.10	c GLOBAL bounds - >= 8537 @ 429.625
448.86/450.17	c GLOBAL bounds - >= 8537 @ 429.651
448.86/450.17	c GLOBAL bounds - >= 8537 @ 429.653
448.96/450.25	c GLOBAL bounds - >= 8537 @ 429.679
448.96/450.25	c GLOBAL bounds - >= 8537 @ 429.682
448.96/450.26	c GLOBAL bounds - >= 8537 @ 429.69
449.06/450.33	c GLOBAL bounds - >= 8537 @ 429.718
449.06/450.34	c GLOBAL bounds - >= 8537 @ 429.724
449.16/450.46	c GLOBAL bounds - >= 8537 @ 429.794
449.16/450.46	c GLOBAL bounds - >= 8537 @ 429.8
449.26/450.54	c GLOBAL bounds - >= 8537 @ 429.824
449.26/450.55	c GLOBAL bounds - >= 8537 @ 429.829
449.36/450.62	c GLOBAL bounds - >= 8537 @ 429.858
449.36/450.63	c GLOBAL bounds - >= 8537 @ 429.863
449.46/450.70	c GLOBAL bounds - >= 8537 @ 429.893
449.46/450.71	c GLOBAL bounds - >= 8537 @ 429.896
449.46/450.79	c GLOBAL bounds - >= 8537 @ 429.924
449.56/450.80	c GLOBAL bounds - >= 8537 @ 429.928
449.56/450.87	c GLOBAL bounds - >= 8537 @ 429.95
449.56/450.88	c GLOBAL bounds - >= 8537 @ 429.955
449.66/450.95	c GLOBAL bounds - >= 8537 @ 429.989
449.66/450.96	c GLOBAL bounds - >= 8537 @ 429.995
449.76/451.04	c GLOBAL bounds - >= 8537 @ 430.03
449.76/451.05	c GLOBAL bounds - >= 8537 @ 430.035
449.86/451.12	c GLOBAL bounds - >= 8537 @ 430.064
449.86/451.20	c GLOBAL bounds - >= 8537 @ 430.092
449.96/451.27	c GLOBAL bounds - >= 8537 @ 430.127
450.26/451.54	c GLOBAL bounds - >= 8537 @ 430.361
558.77/560.36	c #Conflicts:     168000 | #Constraints:      13254
558.77/560.36	c #Conflicts:     169000 | #Constraints:      14254
558.77/560.36	c #Conflicts:     170000 | #Constraints:      15254
558.77/560.36	c #Conflicts:     171000 | #Constraints:      16254
558.77/560.36	c INPROCESSING
558.77/560.36	c GARBAGE COLLECT
558.77/560.36	c #Conflicts:     172000 | #Constraints:       9048
558.77/560.36	c #Conflicts:     173000 | #Constraints:      10048
558.77/560.36	c #Conflicts:     174000 | #Constraints:      11048
558.77/560.36	c #Conflicts:     175000 | #Constraints:      12048
558.77/560.36	c #Conflicts:     176000 | #Constraints:      13048
558.77/560.36	c #Conflicts:     177000 | #Constraints:      14048
558.77/560.36	c #Conflicts:     178000 | #Constraints:      15048
558.77/560.36	c #Conflicts:     179000 | #Constraints:      16048
558.77/560.36	c #Conflicts:     180000 | #Constraints:      17048
558.77/560.36	c INPROCESSING
558.77/560.36	c GARBAGE COLLECT
558.77/560.36	c #Conflicts:     181000 | #Constraints:       9648
558.77/560.36	c #Conflicts:     182000 | #Constraints:      10648
558.77/560.36	c #Conflicts:     183000 | #Constraints:      11648
558.77/560.36	c #Conflicts:     184000 | #Constraints:      12648
558.77/560.36	c #Conflicts:     185000 | #Constraints:      13648
558.77/560.36	c #Conflicts:     186000 | #Constraints:      14648
558.77/560.36	c #Conflicts:     187000 | #Constraints:      15648
558.77/560.36	c #Conflicts:     188000 | #Constraints:      16648
558.77/560.36	c #Conflicts:     189000 | #Constraints:      17648
558.77/560.36	c INPROCESSING
558.77/560.36	c GARBAGE COLLECT
558.77/560.36	c #Conflicts:     190000 | #Constraints:      10057
558.77/560.36	c #Conflicts:     191000 | #Constraints:      11057
558.77/560.36	c #Conflicts:     192000 | #Constraints:      12057
558.77/560.36	c #Conflicts:     193000 | #Constraints:      13057
558.77/560.36	c #Conflicts:     194000 | #Constraints:      14057
558.77/560.36	c #Conflicts:     195000 | #Constraints:      15057
558.77/560.36	c #Conflicts:     196000 | #Constraints:      16057
558.77/560.36	c #Conflicts:     197000 | #Constraints:      17057
558.77/560.36	c #Conflicts:     198000 | #Constraints:      18057
558.77/560.36	c INPROCESSING
558.77/560.36	c GARBAGE COLLECT
558.77/560.36	c #Conflicts:     199000 | #Constraints:      10243
558.77/560.36	c #Conflicts:     200000 | #Constraints:      11243
558.77/560.36	c #Conflicts:     201000 | #Constraints:      12243
558.77/560.36	c #Conflicts:     202000 | #Constraints:      13243
558.77/560.36	c #Conflicts:     203000 | #Constraints:      14243
558.77/560.36	c #Conflicts:     204000 | #Constraints:      15243
558.77/560.36	c #Conflicts:     205000 | #Constraints:      16243
558.77/560.36	c #Conflicts:     206000 | #Constraints:      17243
558.77/560.36	c #Conflicts:     207000 | #Constraints:      18243
558.77/560.36	c INPROCESSING
558.77/560.36	c GARBAGE COLLECT
558.77/560.36	c #Conflicts:     208000 | #Constraints:      10257
558.77/560.36	c #Conflicts:     209000 | #Constraints:      11257
558.77/560.36	c #Conflicts:     210000 | #Constraints:      12257
558.77/560.36	c GLOBAL bounds - >= 8538 @ 536.861
558.77/560.37	c GLOBAL bounds - >= 8538 @ 536.871
558.77/560.38	c GLOBAL bounds - >= 8538 @ 536.876
558.97/560.52	c GLOBAL bounds - >= 8538 @ 536.965
558.97/560.52	c GLOBAL bounds - >= 8538 @ 536.968
559.07/560.60	c GLOBAL bounds - >= 8538 @ 536.996
559.07/560.61	c GLOBAL bounds - >= 8538 @ 537
559.07/560.68	c GLOBAL bounds - >= 8538 @ 537.033
559.07/560.69	c GLOBAL bounds - >= 8538 @ 537.038
559.17/560.77	c GLOBAL bounds - >= 8538 @ 537.073
559.17/560.78	c GLOBAL bounds - >= 8538 @ 537.077
559.27/560.86	c GLOBAL bounds - >= 8538 @ 537.119
559.27/560.87	c GLOBAL bounds - >= 8538 @ 537.124
559.37/560.95	c GLOBAL bounds - >= 8538 @ 537.149
559.37/560.95	c GLOBAL bounds - >= 8538 @ 537.155
559.47/561.03	c GLOBAL bounds - >= 8538 @ 537.186
559.47/561.04	c GLOBAL bounds - >= 8538 @ 537.189
559.57/561.11	c GLOBAL bounds - >= 8538 @ 537.211
559.57/561.12	c GLOBAL bounds - >= 8538 @ 537.216
559.67/561.20	c GLOBAL bounds - >= 8538 @ 537.246
559.67/561.21	c GLOBAL bounds - >= 8538 @ 537.254
559.67/561.28	c GLOBAL bounds - >= 8538 @ 537.278
559.77/561.36	c GLOBAL bounds - >= 8538 @ 537.311
559.87/561.44	c GLOBAL bounds - >= 8538 @ 537.345
559.97/561.52	c GLOBAL bounds - >= 8538 @ 537.374
560.06/561.60	c GLOBAL bounds - >= 8538 @ 537.408
560.06/561.68	c GLOBAL bounds - >= 8538 @ 537.453
560.17/561.76	c GLOBAL bounds - >= 8538 @ 537.484
641.54/643.33	c #Conflicts:     211000 | #Constraints:      13267
641.54/643.33	c #Conflicts:     212000 | #Constraints:      14267
641.54/643.33	c #Conflicts:     213000 | #Constraints:      15267
641.54/643.33	c #Conflicts:     214000 | #Constraints:      16267
641.54/643.33	c #Conflicts:     215000 | #Constraints:      17267
641.54/643.33	c #Conflicts:     216000 | #Constraints:      18267
641.54/643.33	c INPROCESSING
641.54/643.33	c GARBAGE COLLECT
641.54/643.33	c #Conflicts:     217000 | #Constraints:      10070
641.54/643.33	c #Conflicts:     218000 | #Constraints:      11070
641.54/643.33	c #Conflicts:     219000 | #Constraints:      12070
641.54/643.33	c #Conflicts:     220000 | #Constraints:      13070
641.54/643.33	c #Conflicts:     221000 | #Constraints:      14070
641.54/643.33	c #Conflicts:     222000 | #Constraints:      15070
641.54/643.33	c #Conflicts:     223000 | #Constraints:      16070
641.54/643.33	c #Conflicts:     224000 | #Constraints:      17070
641.54/643.33	c #Conflicts:     225000 | #Constraints:      18070
641.54/643.33	c #Conflicts:     226000 | #Constraints:      19070
641.54/643.33	c INPROCESSING
641.54/643.33	c GARBAGE COLLECT
641.54/643.33	c #Conflicts:     227000 | #Constraints:      10694
641.54/643.33	c #Conflicts:     228000 | #Constraints:      11694
641.54/643.33	c #Conflicts:     229000 | #Constraints:      12694
641.54/643.33	c #Conflicts:     230000 | #Constraints:      13694
641.54/643.33	c #Conflicts:     231000 | #Constraints:      14694
641.54/643.33	c #Conflicts:     232000 | #Constraints:      15694
641.54/643.33	c #Conflicts:     233000 | #Constraints:      16694
641.54/643.33	c #Conflicts:     234000 | #Constraints:      17694
641.54/643.33	c #Conflicts:     235000 | #Constraints:      18694
641.54/643.33	c #Conflicts:     236000 | #Constraints:      19694
641.54/643.33	c INPROCESSING
641.54/643.33	c GARBAGE COLLECT
641.54/643.33	c #Conflicts:     237000 | #Constraints:      11086
641.54/643.33	c #Conflicts:     238000 | #Constraints:      12086
641.54/643.33	c GLOBAL bounds - >= 8538 @ 617.536
641.54/643.33	c GLOBAL bounds - >= 8538 @ 617.537
641.54/643.34	c GLOBAL bounds - >= 8538 @ 617.544
641.54/643.35	c GLOBAL bounds - >= 8538 @ 617.547
641.54/643.35	c GLOBAL bounds - >= 8538 @ 617.55
641.54/643.36	c GLOBAL bounds - >= 8538 @ 617.555
641.64/643.47	c GLOBAL bounds - >= 8538 @ 617.611
641.64/643.48	c GLOBAL bounds - >= 8538 @ 617.617
641.75/643.56	c GLOBAL bounds - >= 8538 @ 617.653
641.75/643.57	c GLOBAL bounds - >= 8538 @ 617.655
641.84/643.64	c GLOBAL bounds - >= 8538 @ 617.685
641.84/643.65	c GLOBAL bounds - >= 8538 @ 617.689
641.94/643.73	c GLOBAL bounds - >= 8538 @ 617.728
641.94/643.75	c GLOBAL bounds - >= 8538 @ 617.734
642.04/643.82	c GLOBAL bounds - >= 8538 @ 617.765
642.04/643.83	c GLOBAL bounds - >= 8538 @ 617.771
642.14/643.91	c GLOBAL bounds - >= 8538 @ 617.79
642.14/643.92	c GLOBAL bounds - >= 8538 @ 617.795
642.14/644.00	c GLOBAL bounds - >= 8538 @ 617.836
642.25/644.00	c GLOBAL bounds - >= 8538 @ 617.84
642.25/644.09	c GLOBAL bounds - >= 8538 @ 617.884
642.25/644.10	c GLOBAL bounds - >= 8538 @ 617.891
642.35/644.17	c GLOBAL bounds - >= 8538 @ 617.921
642.35/644.19	c GLOBAL bounds - >= 8538 @ 617.932
642.44/644.26	c GLOBAL bounds - >= 8538 @ 617.963
642.54/644.34	c GLOBAL bounds - >= 8538 @ 617.987
642.64/644.42	c GLOBAL bounds - >= 8538 @ 618.024
642.74/644.50	c GLOBAL bounds - >= 8538 @ 618.064
642.84/644.60	c GLOBAL bounds - >= 8538 @ 618.13
644.25/646.05	c #Conflicts:     239000 | #Constraints:      13098
644.25/646.05	c GLOBAL bounds - >= 8538 @ 619.514
656.01/657.84	c #Conflicts:     240000 | #Constraints:      14098
656.01/657.84	c #Conflicts:     241000 | #Constraints:      15098
656.01/657.84	c #Conflicts:     242000 | #Constraints:      16098
656.01/657.84	c #Conflicts:     243000 | #Constraints:      17098
656.01/657.84	c #Conflicts:     244000 | #Constraints:      18098
656.01/657.84	c GLOBAL bounds - >= 8539 @ 631.085
656.01/657.86	c GLOBAL bounds - >= 8539 @ 631.095
656.01/657.86	c GLOBAL bounds - >= 8539 @ 631.098
656.01/657.87	c GLOBAL bounds - >= 8539 @ 631.104
656.01/657.88	c GLOBAL bounds - >= 8539 @ 631.109
656.01/657.89	c GLOBAL bounds - >= 8539 @ 631.115
656.21/658.03	c GLOBAL bounds - >= 8539 @ 631.219
656.21/658.04	c GLOBAL bounds - >= 8539 @ 631.224
658.20/660.07	c #Conflicts:     245000 | #Constraints:      19103
658.20/660.07	c GLOBAL bounds - >= 8539 @ 633.163
658.20/660.08	c GLOBAL bounds - >= 8539 @ 633.167
658.40/660.24	c GLOBAL bounds - >= 8539 @ 633.292
658.40/660.25	c GLOBAL bounds - >= 8539 @ 633.299
658.50/660.33	c GLOBAL bounds - >= 8539 @ 633.338
658.50/660.34	c GLOBAL bounds - >= 8539 @ 633.34
658.60/660.42	c GLOBAL bounds - >= 8539 @ 633.375
658.60/660.43	c GLOBAL bounds - >= 8539 @ 633.378
658.70/660.51	c GLOBAL bounds - >= 8539 @ 633.413
658.70/660.52	c GLOBAL bounds - >= 8539 @ 633.416
658.80/660.61	c GLOBAL bounds - >= 8539 @ 633.452
658.80/660.62	c GLOBAL bounds - >= 8539 @ 633.457
658.80/660.69	c GLOBAL bounds - >= 8539 @ 633.481
658.90/660.70	c GLOBAL bounds - >= 8539 @ 633.487
658.90/660.78	c GLOBAL bounds - >= 8539 @ 633.518
658.90/660.79	c GLOBAL bounds - >= 8539 @ 633.525
658.99/660.87	c GLOBAL bounds - >= 8539 @ 633.553
659.10/660.95	c GLOBAL bounds - >= 8539 @ 633.591
659.20/661.03	c GLOBAL bounds - >= 8539 @ 633.629
659.30/661.12	c GLOBAL bounds - >= 8539 @ 633.67
659.39/661.21	c GLOBAL bounds - >= 8539 @ 633.714
660.79/662.61	c GLOBAL bounds - >= 8539 @ 635.033
660.89/662.76	c GLOBAL bounds - >= 8539 @ 635.149
660.89/662.77	c GLOBAL bounds - >= 8539 @ 635.153
660.89/662.78	c GLOBAL bounds - >= 8539 @ 635.161
660.89/662.78	c GLOBAL bounds - >= 8539 @ 635.164
662.49/664.38	c #Conflicts:     246000 | #Constraints:      20112
662.49/664.38	c INPROCESSING
662.49/664.38	c GARBAGE COLLECT
662.49/664.38	c GLOBAL bounds - >= 8539 @ 636.695
662.49/664.39	c GLOBAL bounds - >= 8539 @ 636.696
662.59/664.46	c GLOBAL bounds - >= 8539 @ 636.729
662.59/664.47	c GLOBAL bounds - >= 8539 @ 636.736
662.69/664.55	c GLOBAL bounds - >= 8539 @ 636.766
662.69/664.56	c GLOBAL bounds - >= 8539 @ 636.769
662.79/664.63	c GLOBAL bounds - >= 8539 @ 636.796
662.79/664.64	c GLOBAL bounds - >= 8539 @ 636.801
662.88/664.72	c GLOBAL bounds - >= 8539 @ 636.827
662.88/664.72	c GLOBAL bounds - >= 8539 @ 636.831
662.99/664.80	c GLOBAL bounds - >= 8539 @ 636.863
662.99/664.81	c GLOBAL bounds - >= 8539 @ 636.872
662.99/664.89	c GLOBAL bounds - >= 8539 @ 636.895
662.99/664.90	c GLOBAL bounds - >= 8539 @ 636.902
663.09/664.97	c GLOBAL bounds - >= 8539 @ 636.939
663.09/664.98	c GLOBAL bounds - >= 8539 @ 636.944
663.19/665.06	c GLOBAL bounds - >= 8539 @ 636.975
663.19/665.09	c GLOBAL bounds - >= 8539 @ 636.994
663.29/665.17	c GLOBAL bounds - >= 8539 @ 637.026
663.38/665.24	c GLOBAL bounds - >= 8539 @ 637.051
663.49/665.32	c GLOBAL bounds - >= 8539 @ 637.079
663.49/665.39	c GLOBAL bounds - >= 8539 @ 637.108
663.59/665.47	c GLOBAL bounds - >= 8539 @ 637.138
663.69/665.54	c GLOBAL bounds - >= 8539 @ 637.172
663.78/665.62	c GLOBAL bounds - >= 8539 @ 637.208
663.88/665.70	c GLOBAL bounds - >= 8539 @ 637.243
663.88/665.78	c GLOBAL bounds - >= 8539 @ 637.27
664.28/666.14	c GLOBAL bounds - >= 8539 @ 637.586
666.28/668.13	c #Conflicts:     247000 | #Constraints:      11340
666.28/668.13	c GLOBAL bounds - >= 8539 @ 639.491
672.16/674.02	c #Conflicts:     248000 | #Constraints:      12340
672.16/674.02	c #Conflicts:     249000 | #Constraints:      13340
672.16/674.02	c #Conflicts:     250000 | #Constraints:      14340
672.16/674.02	c GLOBAL bounds - >= 8539 @ 645.248
673.06/674.93	c GLOBAL bounds - >= 8539 @ 646.12
673.06/674.94	c GLOBAL bounds - >= 8539 @ 646.122
673.06/674.95	c GLOBAL bounds - >= 8539 @ 646.13
673.06/674.96	c GLOBAL bounds - >= 8539 @ 646.135
673.06/674.96	c GLOBAL bounds - >= 8539 @ 646.138
673.16/675.05	c GLOBAL bounds - >= 8539 @ 646.179
673.16/675.06	c GLOBAL bounds - >= 8539 @ 646.185
673.26/675.15	c GLOBAL bounds - >= 8539 @ 646.222
673.26/675.16	c GLOBAL bounds - >= 8539 @ 646.228
673.36/675.23	c GLOBAL bounds - >= 8539 @ 646.262
673.36/675.24	c GLOBAL bounds - >= 8539 @ 646.27
673.45/675.32	c GLOBAL bounds - >= 8539 @ 646.296
673.45/675.33	c GLOBAL bounds - >= 8539 @ 646.303
673.55/675.40	c GLOBAL bounds - >= 8539 @ 646.331
673.55/675.41	c GLOBAL bounds - >= 8539 @ 646.336
673.55/675.49	c GLOBAL bounds - >= 8539 @ 646.372
673.65/675.50	c GLOBAL bounds - >= 8539 @ 646.379
673.65/675.57	c GLOBAL bounds - >= 8539 @ 646.413
673.65/675.58	c GLOBAL bounds - >= 8539 @ 646.418
673.76/675.66	c GLOBAL bounds - >= 8539 @ 646.447
673.76/675.67	c GLOBAL bounds - >= 8539 @ 646.451
673.86/675.75	c GLOBAL bounds - >= 8539 @ 646.488
673.86/675.76	c GLOBAL bounds - >= 8539 @ 646.495
673.95/675.83	c GLOBAL bounds - >= 8539 @ 646.524
674.05/675.91	c GLOBAL bounds - >= 8539 @ 646.554
674.05/675.99	c GLOBAL bounds - >= 8539 @ 646.578
674.16/676.07	c GLOBAL bounds - >= 8539 @ 646.605
674.26/676.14	c GLOBAL bounds - >= 8539 @ 646.637
674.35/676.22	c GLOBAL bounds - >= 8539 @ 646.667
674.35/676.29	c GLOBAL bounds - >= 8539 @ 646.693
674.45/676.37	c GLOBAL bounds - >= 8539 @ 646.717
674.55/676.45	c GLOBAL bounds - >= 8539 @ 646.754
674.75/676.63	c GLOBAL bounds - >= 8539 @ 646.888
675.16/677.08	c GLOBAL bounds - >= 8539 @ 647.293
675.16/677.08	c GLOBAL bounds - >= 8539 @ 647.295
675.16/677.09	c GLOBAL bounds - >= 8539 @ 647.301
675.16/677.10	c GLOBAL bounds - >= 8539 @ 647.304
675.26/677.11	c GLOBAL bounds - >= 8539 @ 647.307
675.26/677.12	c GLOBAL bounds - >= 8539 @ 647.313
675.26/677.13	c GLOBAL bounds - >= 8539 @ 647.317
675.26/677.14	c GLOBAL bounds - >= 8539 @ 647.323
675.26/677.15	c GLOBAL bounds - >= 8539 @ 647.33
675.26/677.16	c GLOBAL bounds - >= 8539 @ 647.335
675.55/677.43	c GLOBAL bounds - >= 8539 @ 647.565
675.55/677.44	c GLOBAL bounds - >= 8539 @ 647.569
675.65/677.51	c GLOBAL bounds - >= 8539 @ 647.599
675.65/677.52	c GLOBAL bounds - >= 8539 @ 647.603
675.65/677.60	c GLOBAL bounds - >= 8539 @ 647.636
675.75/677.61	c GLOBAL bounds - >= 8539 @ 647.643
675.75/677.68	c GLOBAL bounds - >= 8539 @ 647.665
675.75/677.69	c GLOBAL bounds - >= 8539 @ 647.668
675.85/677.76	c GLOBAL bounds - >= 8539 @ 647.698
675.85/677.77	c GLOBAL bounds - >= 8539 @ 647.703
675.96/677.85	c GLOBAL bounds - >= 8539 @ 647.733
675.96/677.87	c GLOBAL bounds - >= 8539 @ 647.752
676.05/677.94	c GLOBAL bounds - >= 8539 @ 647.775
676.05/677.96	c GLOBAL bounds - >= 8539 @ 647.785
676.16/678.04	c GLOBAL bounds - >= 8539 @ 647.816
676.16/678.05	c GLOBAL bounds - >= 8539 @ 647.824
676.26/678.13	c GLOBAL bounds - >= 8539 @ 647.856
676.26/678.14	c GLOBAL bounds - >= 8539 @ 647.862
676.35/678.21	c GLOBAL bounds - >= 8539 @ 647.902
676.35/678.30	c GLOBAL bounds - >= 8539 @ 647.937
676.45/678.38	c #Conflicts:     251000 | #Constraints:      15391
676.45/678.38	c GLOBAL bounds - >= 8539 @ 647.981
676.55/678.46	c GLOBAL bounds - >= 8539 @ 648.014
676.65/678.54	c GLOBAL bounds - >= 8539 @ 648.042
676.75/678.63	c GLOBAL bounds - >= 8539 @ 648.081
676.85/678.71	c GLOBAL bounds - >= 8539 @ 648.11
676.95/678.80	c GLOBAL bounds - >= 8539 @ 648.162
677.15/679.04	c GLOBAL bounds - >= 8539 @ 648.351
677.35/679.21	c GLOBAL bounds - >= 8539 @ 648.473
678.75/680.67	c GLOBAL bounds - >= 8539 @ 649.832
683.14/685.07	c #Conflicts:     252000 | #Constraints:      16397
683.14/685.07	c #Conflicts:     253000 | #Constraints:      17397
683.14/685.07	c GLOBAL bounds - >= 8539 @ 654.103
735.90/737.99	c #Conflicts:     254000 | #Constraints:      18397
735.90/737.99	c #Conflicts:     255000 | #Constraints:      19397
735.90/737.99	c #Conflicts:     256000 | #Constraints:      20397
735.90/737.99	c INPROCESSING
735.90/737.99	c GARBAGE COLLECT
735.90/737.99	c #Conflicts:     257000 | #Constraints:      11370
735.90/737.99	c #Conflicts:     258000 | #Constraints:      12370
735.90/737.99	c #Conflicts:     259000 | #Constraints:      13370
735.90/737.99	c #Conflicts:     260000 | #Constraints:      14370
735.90/737.99	c #Conflicts:     261000 | #Constraints:      15370
735.90/737.99	c #Conflicts:     262000 | #Constraints:      16370
735.90/737.99	c #Conflicts:     263000 | #Constraints:      17370
735.90/737.99	c #Conflicts:     264000 | #Constraints:      18370
735.90/737.99	c #Conflicts:     265000 | #Constraints:      19370
735.90/737.99	c #Conflicts:     266000 | #Constraints:      20370
735.90/737.99	c INPROCESSING
735.90/737.99	c GARBAGE COLLECT
735.90/737.99	c #Conflicts:     267000 | #Constraints:      11186
735.90/737.99	c #Conflicts:     268000 | #Constraints:      12186
735.90/737.99	c #Conflicts:     269000 | #Constraints:      13186
735.90/737.99	c #Conflicts:     270000 | #Constraints:      14186
735.90/737.99	c #Conflicts:     271000 | #Constraints:      15186
735.90/737.99	c #Conflicts:     272000 | #Constraints:      16186
735.90/737.99	c GLOBAL bounds - >= 8881 @ 705.918
736.00/738.02	c GLOBAL bounds - >= 8881 @ 705.942
736.00/738.03	c GLOBAL bounds - >= 8881 @ 705.948
736.00/738.04	c GLOBAL bounds - >= 8881 @ 705.953
736.00/738.04	c GLOBAL bounds - >= 8881 @ 705.957
736.00/738.05	c GLOBAL bounds - >= 8881 @ 705.963
736.00/738.06	c GLOBAL bounds - >= 8881 @ 705.965
736.10/738.13	c GLOBAL bounds - >= 8881 @ 705.992
736.10/738.14	c GLOBAL bounds - >= 8881 @ 705.997
736.19/738.22	c GLOBAL bounds - >= 8881 @ 706.037
736.19/738.23	c GLOBAL bounds - >= 8881 @ 706.041
736.30/738.36	c GLOBAL bounds - >= 8881 @ 706.127
736.30/738.37	c GLOBAL bounds - >= 8881 @ 706.131
736.39/738.45	c GLOBAL bounds - >= 8881 @ 706.171
736.39/738.46	c GLOBAL bounds - >= 8881 @ 706.175
736.49/738.54	c GLOBAL bounds - >= 8881 @ 706.207
736.49/738.54	c GLOBAL bounds - >= 8881 @ 706.21
736.60/738.69	c GLOBAL bounds - >= 8881 @ 706.303
736.60/738.69	c GLOBAL bounds - >= 8881 @ 706.306
736.69/738.77	c GLOBAL bounds - >= 8881 @ 706.338
736.69/738.78	c GLOBAL bounds - >= 8881 @ 706.343
736.79/738.87	c GLOBAL bounds - >= 8881 @ 706.395
736.79/738.88	c GLOBAL bounds - >= 8881 @ 706.401
736.89/738.96	c GLOBAL bounds - >= 8881 @ 706.435
736.89/738.97	c GLOBAL bounds - >= 8881 @ 706.439
746.17/748.24	c #Conflicts:     273000 | #Constraints:      17200
746.17/748.24	c #Conflicts:     274000 | #Constraints:      18200
746.17/748.24	c #Conflicts:     275000 | #Constraints:      19200
746.17/748.24	c GLOBAL bounds - >= 8881 @ 715.468
752.05/754.19	c #Conflicts:     276000 | #Constraints:      20200
752.05/754.19	c #Conflicts:     277000 | #Constraints:      21200
752.05/754.19	c INPROCESSING
752.05/754.19	c GARBAGE COLLECT
752.05/754.19	c GLOBAL bounds - >= 8881 @ 721.285
752.55/754.66	c GLOBAL bounds - >= 8881 @ 721.703
752.55/754.66	c GLOBAL bounds - >= 8881 @ 721.704
752.55/754.67	c GLOBAL bounds - >= 8881 @ 721.71
752.55/754.68	c GLOBAL bounds - >= 8881 @ 721.715
752.75/754.83	c GLOBAL bounds - >= 8881 @ 721.825
752.75/754.84	c GLOBAL bounds - >= 8881 @ 721.829
752.85/754.92	c GLOBAL bounds - >= 8881 @ 721.869
752.85/754.93	c GLOBAL bounds - >= 8881 @ 721.874
752.96/755.01	c GLOBAL bounds - >= 8881 @ 721.905
752.96/755.02	c GLOBAL bounds - >= 8881 @ 721.907
752.96/755.09	c GLOBAL bounds - >= 8881 @ 721.939
752.96/755.10	c GLOBAL bounds - >= 8881 @ 721.944
753.05/755.17	c GLOBAL bounds - >= 8881 @ 721.974
753.05/755.18	c GLOBAL bounds - >= 8881 @ 721.981
753.14/755.26	c GLOBAL bounds - >= 8881 @ 722.009
753.14/755.26	c GLOBAL bounds - >= 8881 @ 722.013
753.24/755.34	c GLOBAL bounds - >= 8881 @ 722.042
753.24/755.35	c GLOBAL bounds - >= 8881 @ 722.046
753.35/755.43	c GLOBAL bounds - >= 8881 @ 722.078
753.35/755.44	c GLOBAL bounds - >= 8881 @ 722.084
753.44/755.51	c GLOBAL bounds - >= 8881 @ 722.118
753.44/755.52	c GLOBAL bounds - >= 8881 @ 722.123
753.55/755.60	c GLOBAL bounds - >= 8881 @ 722.155
753.55/755.67	c GLOBAL bounds - >= 8881 @ 722.185
753.64/755.75	c GLOBAL bounds - >= 8881 @ 722.218
753.75/755.82	c GLOBAL bounds - >= 8881 @ 722.25
753.84/756.00	c GLOBAL bounds - >= 8881 @ 722.372
754.74/756.89	c #Conflicts:     278000 | #Constraints:      11820
754.74/756.89	c GLOBAL bounds - >= 8881 @ 723.19
754.84/756.98	c GLOBAL bounds - >= 8881 @ 723.238
757.04/759.16	c #Conflicts:     279000 | #Constraints:      12820
757.04/759.16	c GLOBAL bounds - >= 8881 @ 725.335
966.83/969.50	c #Conflicts:     280000 | #Constraints:      13820
966.83/969.50	c #Conflicts:     281000 | #Constraints:      14820
966.83/969.50	c #Conflicts:     282000 | #Constraints:      15820
966.83/969.50	c #Conflicts:     283000 | #Constraints:      16820
966.83/969.50	c #Conflicts:     284000 | #Constraints:      17820
966.83/969.50	c #Conflicts:     285000 | #Constraints:      18820
966.83/969.50	c #Conflicts:     286000 | #Constraints:      19820
966.83/969.50	c #Conflicts:     287000 | #Constraints:      20820
966.83/969.50	c #Conflicts:     288000 | #Constraints:      21820
966.83/969.50	c INPROCESSING
966.83/969.50	c GARBAGE COLLECT
966.83/969.50	c #Conflicts:     289000 | #Constraints:      12222
966.83/969.50	c #Conflicts:     290000 | #Constraints:      13222
966.83/969.50	c #Conflicts:     291000 | #Constraints:      14222
966.83/969.50	c #Conflicts:     292000 | #Constraints:      15222
966.83/969.50	c #Conflicts:     293000 | #Constraints:      16222
966.83/969.50	c #Conflicts:     294000 | #Constraints:      17222
966.83/969.50	c #Conflicts:     295000 | #Constraints:      18222
966.83/969.50	c #Conflicts:     296000 | #Constraints:      19222
966.83/969.50	c #Conflicts:     297000 | #Constraints:      20222
966.83/969.50	c #Conflicts:     298000 | #Constraints:      21222
966.83/969.50	c #Conflicts:     299000 | #Constraints:      22222
966.83/969.50	c INPROCESSING
966.83/969.50	c GARBAGE COLLECT
966.83/969.50	c #Conflicts:     300000 | #Constraints:      12422
966.83/969.50	c #Conflicts:     301000 | #Constraints:      13422
966.83/969.50	c #Conflicts:     302000 | #Constraints:      14422
966.83/969.50	c #Conflicts:     303000 | #Constraints:      15422
966.83/969.50	c #Conflicts:     304000 | #Constraints:      16422
966.83/969.50	c #Conflicts:     305000 | #Constraints:      17422
966.83/969.50	c #Conflicts:     306000 | #Constraints:      18422
966.83/969.50	c #Conflicts:     307000 | #Constraints:      19422
966.83/969.50	c #Conflicts:     308000 | #Constraints:      20422
966.83/969.50	c #Conflicts:     309000 | #Constraints:      21422
966.83/969.50	c #Conflicts:     310000 | #Constraints:      22422
966.83/969.50	c INPROCESSING
966.83/969.50	c GARBAGE COLLECT
966.83/969.50	c #Conflicts:     311000 | #Constraints:      12429
966.83/969.50	c #Conflicts:     312000 | #Constraints:      13429
966.83/969.50	c #Conflicts:     313000 | #Constraints:      14429
966.83/969.50	c #Conflicts:     314000 | #Constraints:      15429
966.83/969.50	c #Conflicts:     315000 | #Constraints:      16429
966.83/969.50	c #Conflicts:     316000 | #Constraints:      17429
966.83/969.50	c #Conflicts:     317000 | #Constraints:      18429
966.83/969.50	c #Conflicts:     318000 | #Constraints:      19429
966.83/969.50	c #Conflicts:     319000 | #Constraints:      20429
966.83/969.50	c #Conflicts:     320000 | #Constraints:      21429
966.83/969.50	c #Conflicts:     321000 | #Constraints:      22429
966.83/969.50	c INPROCESSING
966.83/969.50	c GARBAGE COLLECT
966.83/969.50	c #Conflicts:     322000 | #Constraints:      12225
966.83/969.50	c #Conflicts:     323000 | #Constraints:      13225
966.83/969.50	c #Conflicts:     324000 | #Constraints:      14225
966.83/969.50	c #Conflicts:     325000 | #Constraints:      15225
966.83/969.50	c #Conflicts:     326000 | #Constraints:      16225
966.83/969.50	c #Conflicts:     327000 | #Constraints:      17225
966.83/969.50	c #Conflicts:     328000 | #Constraints:      18225
966.83/969.50	c #Conflicts:     329000 | #Constraints:      19225
966.83/969.50	c #Conflicts:     330000 | #Constraints:      20225
966.83/969.50	c #Conflicts:     331000 | #Constraints:      21225
966.83/969.50	c #Conflicts:     332000 | #Constraints:      22225
966.83/969.50	c #Conflicts:     333000 | #Constraints:      23225
966.83/969.50	c INPROCESSING
966.83/969.50	c GARBAGE COLLECT
966.83/969.50	c #Conflicts:     334000 | #Constraints:      12842
966.83/969.50	c #Conflicts:     335000 | #Constraints:      13842
966.83/969.50	c #Conflicts:     336000 | #Constraints:      14842
966.83/969.50	c #Conflicts:     337000 | #Constraints:      15842
966.83/969.50	c #Conflicts:     338000 | #Constraints:      16842
966.83/969.50	c #Conflicts:     339000 | #Constraints:      17842
966.83/969.50	c #Conflicts:     340000 | #Constraints:      18842
966.83/969.50	c #Conflicts:     341000 | #Constraints:      19842
966.83/969.50	c #Conflicts:     342000 | #Constraints:      20842
966.83/969.50	c #Conflicts:     343000 | #Constraints:      21842
966.83/969.50	c #Conflicts:     344000 | #Constraints:      22842
966.83/969.50	c #Conflicts:     345000 | #Constraints:      23842
966.83/969.50	c INPROCESSING
966.83/969.50	c GARBAGE COLLECT
966.83/969.50	c #Conflicts:     346000 | #Constraints:      13233
966.83/969.50	c #Conflicts:     347000 | #Constraints:      14233
966.83/969.50	c #Conflicts:     348000 | #Constraints:      15233
966.83/969.50	c #Conflicts:     349000 | #Constraints:      16233
966.83/969.50	c #Conflicts:     350000 | #Constraints:      17233
966.83/969.50	c #Conflicts:     351000 | #Constraints:      18233
966.83/969.50	c #Conflicts:     352000 | #Constraints:      19233
966.83/969.50	c #Conflicts:     353000 | #Constraints:      20233
966.83/969.50	c #Conflicts:     354000 | #Constraints:      21233
1181.24/1184.54	c #Conflicts:     355000 | #Constraints:      22233
1181.24/1184.54	c #Conflicts:     356000 | #Constraints:      23233
1181.24/1184.54	c #Conflicts:     357000 | #Constraints:      24233
1181.24/1184.54	c INPROCESSING
1181.24/1184.54	c GARBAGE COLLECT
1181.24/1184.54	c #Conflicts:     358000 | #Constraints:      13430
1181.24/1184.54	c #Conflicts:     359000 | #Constraints:      14430
1181.24/1184.54	c #Conflicts:     360000 | #Constraints:      15430
1181.24/1184.54	c #Conflicts:     361000 | #Constraints:      16430
1181.24/1184.54	c #Conflicts:     362000 | #Constraints:      17430
1181.24/1184.54	c #Conflicts:     363000 | #Constraints:      18430
1181.24/1184.54	c #Conflicts:     364000 | #Constraints:      19430
1181.24/1184.54	c #Conflicts:     365000 | #Constraints:      20430
1181.24/1184.54	c #Conflicts:     366000 | #Constraints:      21430
1181.24/1184.54	c #Conflicts:     367000 | #Constraints:      22430
1181.24/1184.54	c #Conflicts:     368000 | #Constraints:      23430
1181.24/1184.54	c #Conflicts:     369000 | #Constraints:      24430
1181.24/1184.54	c INPROCESSING
1181.24/1184.54	c GARBAGE COLLECT
1181.24/1184.54	c #Conflicts:     370000 | #Constraints:      13424
1181.24/1184.54	c #Conflicts:     371000 | #Constraints:      14424
1181.24/1184.54	c #Conflicts:     372000 | #Constraints:      15424
1181.24/1184.54	c #Conflicts:     373000 | #Constraints:      16424
1181.24/1184.54	c #Conflicts:     374000 | #Constraints:      17424
1181.24/1184.54	c #Conflicts:     375000 | #Constraints:      18424
1181.24/1184.54	c #Conflicts:     376000 | #Constraints:      19424
1181.24/1184.54	c #Conflicts:     377000 | #Constraints:      20424
1181.24/1184.54	c #Conflicts:     378000 | #Constraints:      21424
1181.24/1184.54	c #Conflicts:     379000 | #Constraints:      22424
1181.24/1184.54	c #Conflicts:     380000 | #Constraints:      23424
1181.24/1184.54	c #Conflicts:     381000 | #Constraints:      24424
1181.24/1184.54	c INPROCESSING
1181.24/1184.54	c GARBAGE COLLECT
1181.24/1184.54	c #Conflicts:     382000 | #Constraints:      13226
1181.24/1184.54	c #Conflicts:     383000 | #Constraints:      14226
1181.24/1184.54	c #Conflicts:     384000 | #Constraints:      15226
1181.24/1184.54	c #Conflicts:     385000 | #Constraints:      16226
1181.24/1184.54	c #Conflicts:     386000 | #Constraints:      17226
1181.24/1184.54	c #Conflicts:     387000 | #Constraints:      18226
1181.24/1184.54	c #Conflicts:     388000 | #Constraints:      19226
1181.24/1184.54	c #Conflicts:     389000 | #Constraints:      20226
1181.24/1184.54	c #Conflicts:     390000 | #Constraints:      21226
1181.24/1184.54	c #Conflicts:     391000 | #Constraints:      22226
1181.24/1184.54	c #Conflicts:     392000 | #Constraints:      23226
1181.24/1184.54	c #Conflicts:     393000 | #Constraints:      24226
1181.24/1184.54	c #Conflicts:     394000 | #Constraints:      25226
1181.24/1184.54	c INPROCESSING
1181.24/1184.54	c GARBAGE COLLECT
1181.24/1184.54	c #Conflicts:     395000 | #Constraints:      13836
1181.24/1184.54	c #Conflicts:     396000 | #Constraints:      14836
1181.24/1184.54	c #Conflicts:     397000 | #Constraints:      15836
1181.24/1184.54	c #Conflicts:     398000 | #Constraints:      16836
1181.24/1184.54	c #Conflicts:     399000 | #Constraints:      17836
1181.24/1184.54	c #Conflicts:     400000 | #Constraints:      18836
1181.24/1184.54	c #Conflicts:     401000 | #Constraints:      19836
1181.24/1184.54	c #Conflicts:     402000 | #Constraints:      20836
1181.24/1184.54	c #Conflicts:     403000 | #Constraints:      21836
1181.24/1184.54	c #Conflicts:     404000 | #Constraints:      22836
1181.24/1184.54	c #Conflicts:     405000 | #Constraints:      23836
1181.24/1184.54	c #Conflicts:     406000 | #Constraints:      24836
1181.24/1184.54	c #Conflicts:     407000 | #Constraints:      25836
1181.24/1184.54	c INPROCESSING
1181.24/1184.54	c GARBAGE COLLECT
1181.24/1184.54	c #Conflicts:     408000 | #Constraints:      14236
1181.24/1184.54	c #Conflicts:     409000 | #Constraints:      15236
1181.24/1184.54	c #Conflicts:     410000 | #Constraints:      16236
1181.24/1184.54	c #Conflicts:     411000 | #Constraints:      17236
1181.24/1184.54	c #Conflicts:     412000 | #Constraints:      18236
1181.24/1184.54	c #Conflicts:     413000 | #Constraints:      19236
1181.24/1184.54	c #Conflicts:     414000 | #Constraints:      20236
1181.24/1184.54	c #Conflicts:     415000 | #Constraints:      21236
1181.24/1184.54	c #Conflicts:     416000 | #Constraints:      22236
1181.24/1184.54	c #Conflicts:     417000 | #Constraints:      23236
1181.24/1184.54	c #Conflicts:     418000 | #Constraints:      24236
1181.24/1184.54	c #Conflicts:     419000 | #Constraints:      25236
1181.24/1184.54	c #Conflicts:     420000 | #Constraints:      26236
1181.24/1184.54	c INPROCESSING
1181.24/1184.54	c GARBAGE COLLECT
1181.24/1184.54	c #Conflicts:     421000 | #Constraints:      14440
1181.24/1184.54	c #Conflicts:     422000 | #Constraints:      15440
1181.24/1184.54	c #Conflicts:     423000 | #Constraints:      16440
1181.24/1184.54	c #Conflicts:     424000 | #Constraints:      17440
1181.24/1184.54	c #Conflicts:     425000 | #Constraints:      18440
1181.24/1184.54	c #Conflicts:     426000 | #Constraints:      19440
1181.24/1184.54	c #Conflicts:     427000 | #Constraints:      20440
1181.24/1184.54	c #Conflicts:     428000 | #Constraints:      21440
1181.24/1184.54	c #Conflicts:     429000 | #Constraints:      22440
1400.39/1404.30	c #Conflicts:     430000 | #Constraints:      23440
1400.39/1404.30	c #Conflicts:     431000 | #Constraints:      24440
1400.39/1404.30	c #Conflicts:     432000 | #Constraints:      25440
1400.39/1404.30	c #Conflicts:     433000 | #Constraints:      26440
1400.39/1404.30	c INPROCESSING
1400.39/1404.30	c GARBAGE COLLECT
1400.39/1404.30	c #Conflicts:     434000 | #Constraints:      14438
1400.39/1404.30	c #Conflicts:     435000 | #Constraints:      15438
1400.39/1404.30	c #Conflicts:     436000 | #Constraints:      16438
1400.39/1404.30	c #Conflicts:     437000 | #Constraints:      17438
1400.39/1404.30	c #Conflicts:     438000 | #Constraints:      18438
1400.39/1404.30	c #Conflicts:     439000 | #Constraints:      19438
1400.39/1404.30	c #Conflicts:     440000 | #Constraints:      20438
1400.39/1404.30	c #Conflicts:     441000 | #Constraints:      21438
1400.39/1404.30	c #Conflicts:     442000 | #Constraints:      22438
1400.39/1404.30	c #Conflicts:     443000 | #Constraints:      23438
1400.39/1404.30	c #Conflicts:     444000 | #Constraints:      24438
1400.39/1404.30	c #Conflicts:     445000 | #Constraints:      25438
1400.39/1404.30	c #Conflicts:     446000 | #Constraints:      26438
1400.39/1404.30	c INPROCESSING
1400.39/1404.30	c GARBAGE COLLECT
1400.39/1404.30	c #Conflicts:     447000 | #Constraints:      14241
1400.39/1404.30	c #Conflicts:     448000 | #Constraints:      15241
1400.39/1404.30	c #Conflicts:     449000 | #Constraints:      16241
1400.39/1404.30	c #Conflicts:     450000 | #Constraints:      17241
1400.39/1404.30	c #Conflicts:     451000 | #Constraints:      18241
1400.39/1404.30	c #Conflicts:     452000 | #Constraints:      19241
1400.39/1404.30	c #Conflicts:     453000 | #Constraints:      20241
1400.39/1404.30	c #Conflicts:     454000 | #Constraints:      21241
1400.39/1404.30	c #Conflicts:     455000 | #Constraints:      22241
1400.39/1404.30	c #Conflicts:     456000 | #Constraints:      23241
1400.39/1404.30	c #Conflicts:     457000 | #Constraints:      24241
1400.39/1404.30	c #Conflicts:     458000 | #Constraints:      25241
1400.39/1404.30	c #Conflicts:     459000 | #Constraints:      26241
1400.39/1404.30	c #Conflicts:     460000 | #Constraints:      27241
1400.39/1404.30	c INPROCESSING
1400.39/1404.30	c GARBAGE COLLECT
1400.39/1404.30	c #Conflicts:     461000 | #Constraints:      14843
1400.39/1404.30	c #Conflicts:     462000 | #Constraints:      15843
1400.39/1404.30	c #Conflicts:     463000 | #Constraints:      16843
1400.39/1404.30	c #Conflicts:     464000 | #Constraints:      17843
1400.39/1404.30	c #Conflicts:     465000 | #Constraints:      18843
1400.39/1404.30	c #Conflicts:     466000 | #Constraints:      19843
1400.39/1404.30	c #Conflicts:     467000 | #Constraints:      20843
1400.39/1404.30	c #Conflicts:     468000 | #Constraints:      21843
1400.39/1404.30	c #Conflicts:     469000 | #Constraints:      22843
1400.39/1404.30	c #Conflicts:     470000 | #Constraints:      23843
1400.39/1404.30	c #Conflicts:     471000 | #Constraints:      24843
1400.39/1404.30	c #Conflicts:     472000 | #Constraints:      25843
1400.39/1404.30	c #Conflicts:     473000 | #Constraints:      26843
1400.39/1404.30	c #Conflicts:     474000 | #Constraints:      27843
1400.39/1404.30	c INPROCESSING
1400.39/1404.30	c GARBAGE COLLECT
1400.39/1404.30	c #Conflicts:     475000 | #Constraints:      15238
1400.39/1404.30	c #Conflicts:     476000 | #Constraints:      16238
1400.39/1404.30	c #Conflicts:     477000 | #Constraints:      17238
1400.39/1404.30	c #Conflicts:     478000 | #Constraints:      18238
1400.39/1404.30	c #Conflicts:     479000 | #Constraints:      19238
1400.39/1404.30	c #Conflicts:     480000 | #Constraints:      20238
1400.39/1404.30	c #Conflicts:     481000 | #Constraints:      21238
1400.39/1404.30	c #Conflicts:     482000 | #Constraints:      22238
1400.39/1404.30	c #Conflicts:     483000 | #Constraints:      23238
1400.39/1404.30	c #Conflicts:     484000 | #Constraints:      24238
1400.39/1404.30	c #Conflicts:     485000 | #Constraints:      25238
1400.39/1404.30	c #Conflicts:     486000 | #Constraints:      26238
1400.39/1404.30	c #Conflicts:     487000 | #Constraints:      27238
1400.39/1404.30	c #Conflicts:     488000 | #Constraints:      28238
1400.39/1404.30	c INPROCESSING
1400.39/1404.30	c GARBAGE COLLECT
1400.39/1404.30	c #Conflicts:     489000 | #Constraints:      15441
1400.39/1404.30	c #Conflicts:     490000 | #Constraints:      16441
1400.39/1404.30	c #Conflicts:     491000 | #Constraints:      17441
1400.39/1404.30	c #Conflicts:     492000 | #Constraints:      18441
1400.39/1404.30	c #Conflicts:     493000 | #Constraints:      19441
1400.39/1404.30	c #Conflicts:     494000 | #Constraints:      20441
1400.39/1404.30	c #Conflicts:     495000 | #Constraints:      21441
1400.39/1404.30	c #Conflicts:     496000 | #Constraints:      22441
1400.39/1404.30	c #Conflicts:     497000 | #Constraints:      23441
1400.39/1404.30	c #Conflicts:     498000 | #Constraints:      24441
1400.39/1404.30	c #Conflicts:     499000 | #Constraints:      25441
1400.39/1404.30	c #Conflicts:     500000 | #Constraints:      26441
1400.39/1404.30	c #Conflicts:     501000 | #Constraints:      27441
1400.39/1404.30	c #Conflicts:     502000 | #Constraints:      28441
1400.39/1404.30	c INPROCESSING
1400.39/1404.30	c GARBAGE COLLECT
1400.39/1404.30	c #Conflicts:     503000 | #Constraints:      15437
1400.39/1404.30	c #Conflicts:     504000 | #Constraints:      16437
1591.34/1595.90	c #Conflicts:     505000 | #Constraints:      17437
1591.34/1595.90	c #Conflicts:     506000 | #Constraints:      18437
1591.34/1595.90	c #Conflicts:     507000 | #Constraints:      19437
1591.34/1595.90	c #Conflicts:     508000 | #Constraints:      20437
1591.34/1595.90	c #Conflicts:     509000 | #Constraints:      21437
1591.34/1595.90	c #Conflicts:     510000 | #Constraints:      22437
1591.34/1595.90	c #Conflicts:     511000 | #Constraints:      23437
1591.34/1595.90	c #Conflicts:     512000 | #Constraints:      24437
1591.34/1595.90	c #Conflicts:     513000 | #Constraints:      25437
1591.34/1595.90	c #Conflicts:     514000 | #Constraints:      26437
1591.34/1595.90	c #Conflicts:     515000 | #Constraints:      27437
1591.34/1595.90	c #Conflicts:     516000 | #Constraints:      28437
1591.34/1595.90	c INPROCESSING
1591.34/1595.90	c GARBAGE COLLECT
1591.34/1595.90	c #Conflicts:     517000 | #Constraints:      15233
1591.34/1595.90	c #Conflicts:     518000 | #Constraints:      16233
1591.34/1595.90	c #Conflicts:     519000 | #Constraints:      17233
1591.34/1595.90	c #Conflicts:     520000 | #Constraints:      18233
1591.34/1595.90	c #Conflicts:     521000 | #Constraints:      19233
1591.34/1595.90	c #Conflicts:     522000 | #Constraints:      20233
1591.34/1595.90	c #Conflicts:     523000 | #Constraints:      21233
1591.34/1595.90	c #Conflicts:     524000 | #Constraints:      22233
1591.34/1595.90	c #Conflicts:     525000 | #Constraints:      23233
1591.34/1595.90	c #Conflicts:     526000 | #Constraints:      24233
1591.34/1595.90	c #Conflicts:     527000 | #Constraints:      25233
1591.34/1595.90	c #Conflicts:     528000 | #Constraints:      26233
1591.34/1595.90	c #Conflicts:     529000 | #Constraints:      27233
1591.34/1595.90	c #Conflicts:     530000 | #Constraints:      28233
1591.34/1595.90	c #Conflicts:     531000 | #Constraints:      29233
1591.34/1595.90	c INPROCESSING
1591.34/1595.90	c GARBAGE COLLECT
1591.34/1595.90	c #Conflicts:     532000 | #Constraints:      15826
1591.34/1595.90	c #Conflicts:     533000 | #Constraints:      16826
1591.34/1595.90	c #Conflicts:     534000 | #Constraints:      17826
1591.34/1595.90	c #Conflicts:     535000 | #Constraints:      18826
1591.34/1595.90	c #Conflicts:     536000 | #Constraints:      19826
1591.34/1595.90	c #Conflicts:     537000 | #Constraints:      20826
1591.34/1595.90	c #Conflicts:     538000 | #Constraints:      21826
1591.34/1595.90	c #Conflicts:     539000 | #Constraints:      22826
1591.34/1595.90	c #Conflicts:     540000 | #Constraints:      23826
1591.34/1595.90	c #Conflicts:     541000 | #Constraints:      24826
1591.34/1595.90	c #Conflicts:     542000 | #Constraints:      25826
1591.34/1595.90	c #Conflicts:     543000 | #Constraints:      26826
1591.34/1595.90	c #Conflicts:     544000 | #Constraints:      27826
1591.34/1595.90	c #Conflicts:     545000 | #Constraints:      28826
1591.34/1595.90	c #Conflicts:     546000 | #Constraints:      29826
1591.34/1595.90	c INPROCESSING
1591.34/1595.90	c GARBAGE COLLECT
1591.34/1595.90	c #Conflicts:     547000 | #Constraints:      16225
1591.34/1595.90	c #Conflicts:     548000 | #Constraints:      17225
1591.34/1595.90	c #Conflicts:     549000 | #Constraints:      18225
1591.34/1595.90	c #Conflicts:     550000 | #Constraints:      19225
1591.34/1595.90	c #Conflicts:     551000 | #Constraints:      20225
1591.34/1595.90	c #Conflicts:     552000 | #Constraints:      21225
1591.34/1595.90	c #Conflicts:     553000 | #Constraints:      22225
1591.34/1595.90	c #Conflicts:     554000 | #Constraints:      23225
1591.34/1595.90	c #Conflicts:     555000 | #Constraints:      24225
1591.34/1595.90	c #Conflicts:     556000 | #Constraints:      25225
1591.34/1595.90	c #Conflicts:     557000 | #Constraints:      26225
1591.34/1595.90	c #Conflicts:     558000 | #Constraints:      27225
1591.34/1595.90	c #Conflicts:     559000 | #Constraints:      28225
1591.34/1595.90	c #Conflicts:     560000 | #Constraints:      29225
1591.34/1595.90	c #Conflicts:     561000 | #Constraints:      30225
1591.34/1595.90	c INPROCESSING
1591.34/1595.90	c GARBAGE COLLECT
1591.34/1595.90	c #Conflicts:     562000 | #Constraints:      16431
1591.34/1595.90	c #Conflicts:     563000 | #Constraints:      17431
1591.34/1595.90	c #Conflicts:     564000 | #Constraints:      18431
1591.34/1595.90	c #Conflicts:     565000 | #Constraints:      19431
1591.34/1595.90	c #Conflicts:     566000 | #Constraints:      20431
1591.34/1595.90	c #Conflicts:     567000 | #Constraints:      21431
1591.34/1595.90	c #Conflicts:     568000 | #Constraints:      22431
1591.34/1595.90	c #Conflicts:     569000 | #Constraints:      23431
1591.34/1595.90	c #Conflicts:     570000 | #Constraints:      24431
1591.34/1595.90	c #Conflicts:     571000 | #Constraints:      25431
1591.34/1595.90	c #Conflicts:     572000 | #Constraints:      26431
1591.34/1595.90	c #Conflicts:     573000 | #Constraints:      27431
1591.34/1595.90	c #Conflicts:     574000 | #Constraints:      28431
1591.34/1595.90	c #Conflicts:     575000 | #Constraints:      29431
1591.34/1595.90	c #Conflicts:     576000 | #Constraints:      30431
1591.34/1595.90	c INPROCESSING
1591.34/1595.90	c GARBAGE COLLECT
1591.34/1595.90	c #Conflicts:     577000 | #Constraints:      16436
1591.34/1595.90	c #Conflicts:     578000 | #Constraints:      17436
1591.34/1595.90	c #Conflicts:     579000 | #Constraints:      18436
1591.34/1595.90	c #Conflicts:     580000 | #Constraints:      19436
1794.87/1800.11	c #Conflicts:     581000 | #Constraints:      20436
1794.87/1800.11	c #Conflicts:     582000 | #Constraints:      21436
1794.87/1800.11	c #Conflicts:     583000 | #Constraints:      22436
1794.87/1800.11	c #Conflicts:     584000 | #Constraints:      23436
1794.87/1800.11	c #Conflicts:     585000 | #Constraints:      24436
1794.87/1800.11	c #Conflicts:     586000 | #Constraints:      25436
1794.87/1800.11	c #Conflicts:     587000 | #Constraints:      26436
1794.87/1800.11	c #Conflicts:     588000 | #Constraints:      27436
1794.87/1800.11	c #Conflicts:     589000 | #Constraints:      28436
1794.87/1800.11	c #Conflicts:     590000 | #Constraints:      29436
1794.87/1800.11	c #Conflicts:     591000 | #Constraints:      30436
1794.87/1800.11	c INPROCESSING
1794.87/1800.11	c GARBAGE COLLECT
1794.87/1800.11	c #Conflicts:     592000 | #Constraints:      16236
1794.87/1800.11	c #Conflicts:     593000 | #Constraints:      17236
1794.87/1800.11	c #Conflicts:     594000 | #Constraints:      18236
1794.87/1800.11	c #Conflicts:     595000 | #Constraints:      19236
1794.87/1800.11	c #Conflicts:     596000 | #Constraints:      20236
1794.87/1800.11	c #Conflicts:     597000 | #Constraints:      21236
1794.87/1800.11	c #Conflicts:     598000 | #Constraints:      22236
1794.87/1800.11	c #Conflicts:     599000 | #Constraints:      23236
1794.87/1800.11	c #Conflicts:     600000 | #Constraints:      24236
1794.87/1800.11	c #Conflicts:     601000 | #Constraints:      25236
1794.87/1800.11	c #Conflicts:     602000 | #Constraints:      26236
1794.87/1800.11	c #Conflicts:     603000 | #Constraints:      27236
1794.87/1800.11	c #Conflicts:     604000 | #Constraints:      28236
1794.87/1800.11	c #Conflicts:     605000 | #Constraints:      29236
1794.87/1800.11	c #Conflicts:     606000 | #Constraints:      30236
1794.87/1800.11	c #Conflicts:     607000 | #Constraints:      31236
1794.87/1800.11	c INPROCESSING
1794.87/1800.11	c GARBAGE COLLECT
1794.87/1800.11	c #Conflicts:     608000 | #Constraints:      16837
1794.87/1800.11	c #Conflicts:     609000 | #Constraints:      17837
1794.87/1800.11	c #Conflicts:     610000 | #Constraints:      18837
1794.87/1800.11	c #Conflicts:     611000 | #Constraints:      19837
1794.87/1800.11	c #Conflicts:     612000 | #Constraints:      20837
1794.87/1800.11	c #Conflicts:     613000 | #Constraints:      21837
1794.87/1800.11	c #Conflicts:     614000 | #Constraints:      22837
1794.87/1800.11	c #Conflicts:     615000 | #Constraints:      23837
1794.87/1800.11	c #Conflicts:     616000 | #Constraints:      24837
1794.87/1800.11	c #Conflicts:     617000 | #Constraints:      25837
1794.87/1800.11	c #Conflicts:     618000 | #Constraints:      26837
1794.87/1800.11	c #Conflicts:     619000 | #Constraints:      27837
1794.87/1800.11	c #Conflicts:     620000 | #Constraints:      28837
1794.87/1800.11	c #Conflicts:     621000 | #Constraints:      29837
1794.87/1800.11	c #Conflicts:     622000 | #Constraints:      30837
1794.87/1800.11	c #Conflicts:     623000 | #Constraints:      31837
1794.87/1800.11	c INPROCESSING
1794.87/1800.11	c GARBAGE COLLECT
1794.87/1800.11	c #Conflicts:     624000 | #Constraints:      17230
1794.87/1800.11	c #Conflicts:     625000 | #Constraints:      18230
1794.87/1800.11	c #Conflicts:     626000 | #Constraints:      19230
1794.87/1800.11	c #Conflicts:     627000 | #Constraints:      20230
1794.87/1800.11	c #Conflicts:     628000 | #Constraints:      21230
1794.87/1800.11	c #Conflicts:     629000 | #Constraints:      22230
1794.87/1800.11	c #Conflicts:     630000 | #Constraints:      23230
1794.87/1800.11	c #Conflicts:     631000 | #Constraints:      24230
1794.87/1800.11	c #Conflicts:     632000 | #Constraints:      25230
1794.87/1800.11	c #Conflicts:     633000 | #Constraints:      26230
1794.87/1800.11	c #Conflicts:     634000 | #Constraints:      27230
1794.87/1800.11	c #Conflicts:     635000 | #Constraints:      28230
1794.87/1800.11	c #Conflicts:     636000 | #Constraints:      29230
1794.87/1800.11	c #Conflicts:     637000 | #Constraints:      30230
1794.87/1800.11	c #Conflicts:     638000 | #Constraints:      31230
1794.87/1800.11	c #Conflicts:     639000 | #Constraints:      32230
1794.87/1800.11	c INPROCESSING
1794.87/1800.11	c GARBAGE COLLECT
1794.87/1800.11	c #Conflicts:     640000 | #Constraints:      17430
1794.87/1800.11	c #Conflicts:     641000 | #Constraints:      18430
1794.87/1800.11	c #Conflicts:     642000 | #Constraints:      19430
1794.87/1800.11	c #Conflicts:     643000 | #Constraints:      20430
1794.87/1800.11	c #Conflicts:     644000 | #Constraints:      21430
1794.87/1800.11	c #Conflicts:     645000 | #Constraints:      22430
1794.87/1800.11	c #Conflicts:     646000 | #Constraints:      23430
1794.87/1800.11	c #Conflicts:     647000 | #Constraints:      24430
1794.87/1800.11	c #Conflicts:     648000 | #Constraints:      25430
1794.87/1800.11	c #Conflicts:     649000 | #Constraints:      26430
1794.87/1800.11	c #Conflicts:     650000 | #Constraints:      27430
1794.87/1800.11	c #Conflicts:     651000 | #Constraints:      28430
1794.87/1800.11	c #Conflicts:     652000 | #Constraints:      29430
1794.87/1800.11	c #Conflicts:     653000 | #Constraints:      30430
1794.87/1800.11	c #Conflicts:     654000 | #Constraints:      31430
1794.87/1800.11	c #Conflicts:     655000 | #Constraints:      32430
1794.87/1800.11	c INPROCESSING
1794.87/1800.11	c GARBAGE COLLECT
1794.87/1800.11	c #Conflicts:     656000 | #Constraints:      17426
2008.60/2014.57	c #Conflicts:     657000 | #Constraints:      18426
2008.60/2014.57	c #Conflicts:     658000 | #Constraints:      19426
2008.60/2014.57	c #Conflicts:     659000 | #Constraints:      20426
2008.60/2014.57	c #Conflicts:     660000 | #Constraints:      21426
2008.60/2014.57	c #Conflicts:     661000 | #Constraints:      22426
2008.60/2014.57	c #Conflicts:     662000 | #Constraints:      23426
2008.60/2014.57	c #Conflicts:     663000 | #Constraints:      24426
2008.60/2014.57	c #Conflicts:     664000 | #Constraints:      25426
2008.60/2014.57	c #Conflicts:     665000 | #Constraints:      26426
2008.60/2014.57	c #Conflicts:     666000 | #Constraints:      27426
2008.60/2014.57	c #Conflicts:     667000 | #Constraints:      28426
2008.60/2014.57	c #Conflicts:     668000 | #Constraints:      29426
2008.60/2014.57	c #Conflicts:     669000 | #Constraints:      30426
2008.60/2014.57	c #Conflicts:     670000 | #Constraints:      31426
2008.60/2014.57	c #Conflicts:     671000 | #Constraints:      32426
2008.60/2014.57	c INPROCESSING
2008.60/2014.57	c GARBAGE COLLECT
2008.60/2014.57	c #Conflicts:     672000 | #Constraints:      17233
2008.60/2014.57	c #Conflicts:     673000 | #Constraints:      18233
2008.60/2014.57	c #Conflicts:     674000 | #Constraints:      19233
2008.60/2014.57	c #Conflicts:     675000 | #Constraints:      20233
2008.60/2014.57	c #Conflicts:     676000 | #Constraints:      21233
2008.60/2014.57	c #Conflicts:     677000 | #Constraints:      22233
2008.60/2014.57	c #Conflicts:     678000 | #Constraints:      23233
2008.60/2014.57	c #Conflicts:     679000 | #Constraints:      24233
2008.60/2014.57	c #Conflicts:     680000 | #Constraints:      25233
2008.60/2014.57	c #Conflicts:     681000 | #Constraints:      26233
2008.60/2014.57	c #Conflicts:     682000 | #Constraints:      27233
2008.60/2014.57	c #Conflicts:     683000 | #Constraints:      28233
2008.60/2014.57	c #Conflicts:     684000 | #Constraints:      29233
2008.60/2014.57	c #Conflicts:     685000 | #Constraints:      30233
2008.60/2014.57	c #Conflicts:     686000 | #Constraints:      31233
2008.60/2014.57	c #Conflicts:     687000 | #Constraints:      32233
2008.60/2014.57	c #Conflicts:     688000 | #Constraints:      33233
2008.60/2014.57	c INPROCESSING
2008.60/2014.57	c GARBAGE COLLECT
2008.60/2014.57	c #Conflicts:     689000 | #Constraints:      17826
2008.60/2014.57	c #Conflicts:     690000 | #Constraints:      18826
2008.60/2014.57	c #Conflicts:     691000 | #Constraints:      19826
2008.60/2014.57	c #Conflicts:     692000 | #Constraints:      20826
2008.60/2014.57	c #Conflicts:     693000 | #Constraints:      21826
2008.60/2014.57	c #Conflicts:     694000 | #Constraints:      22826
2008.60/2014.57	c #Conflicts:     695000 | #Constraints:      23826
2008.60/2014.57	c #Conflicts:     696000 | #Constraints:      24826
2008.60/2014.57	c #Conflicts:     697000 | #Constraints:      25826
2008.60/2014.57	c #Conflicts:     698000 | #Constraints:      26826
2008.60/2014.57	c #Conflicts:     699000 | #Constraints:      27826
2008.60/2014.57	c #Conflicts:     700000 | #Constraints:      28826
2008.60/2014.57	c #Conflicts:     701000 | #Constraints:      29826
2008.60/2014.57	c #Conflicts:     702000 | #Constraints:      30826
2008.60/2014.57	c #Conflicts:     703000 | #Constraints:      31826
2008.60/2014.57	c #Conflicts:     704000 | #Constraints:      32826
2008.60/2014.57	c #Conflicts:     705000 | #Constraints:      33826
2008.60/2014.57	c INPROCESSING
2008.60/2014.57	c GARBAGE COLLECT
2008.60/2014.57	c #Conflicts:     706000 | #Constraints:      18227
2008.60/2014.57	c #Conflicts:     707000 | #Constraints:      19227
2008.60/2014.57	c #Conflicts:     708000 | #Constraints:      20227
2008.60/2014.57	c #Conflicts:     709000 | #Constraints:      21227
2008.60/2014.57	c #Conflicts:     710000 | #Constraints:      22227
2008.60/2014.57	c #Conflicts:     711000 | #Constraints:      23227
2008.60/2014.57	c #Conflicts:     712000 | #Constraints:      24227
2008.60/2014.57	c #Conflicts:     713000 | #Constraints:      25227
2008.60/2014.57	c #Conflicts:     714000 | #Constraints:      26227
2008.60/2014.57	c #Conflicts:     715000 | #Constraints:      27227
2008.60/2014.57	c #Conflicts:     716000 | #Constraints:      28227
2008.60/2014.57	c #Conflicts:     717000 | #Constraints:      29227
2008.60/2014.57	c #Conflicts:     718000 | #Constraints:      30227
2008.60/2014.57	c #Conflicts:     719000 | #Constraints:      31227
2008.60/2014.57	c #Conflicts:     720000 | #Constraints:      32227
2008.60/2014.57	c #Conflicts:     721000 | #Constraints:      33227
2008.60/2014.57	c #Conflicts:     722000 | #Constraints:      34227
2008.60/2014.57	c INPROCESSING
2008.60/2014.57	c GARBAGE COLLECT
2008.60/2014.57	c #Conflicts:     723000 | #Constraints:      18430
2008.60/2014.57	c #Conflicts:     724000 | #Constraints:      19430
2008.60/2014.57	c #Conflicts:     725000 | #Constraints:      20430
2008.60/2014.57	c #Conflicts:     726000 | #Constraints:      21430
2008.60/2014.57	c #Conflicts:     727000 | #Constraints:      22430
2008.60/2014.57	c #Conflicts:     728000 | #Constraints:      23430
2008.60/2014.57	c #Conflicts:     729000 | #Constraints:      24430
2008.60/2014.57	c #Conflicts:     730000 | #Constraints:      25430
2008.60/2014.57	c #Conflicts:     731000 | #Constraints:      26430
2008.60/2014.57	c #Conflicts:     732000 | #Constraints:      27430
2215.08/2221.60	c #Conflicts:     733000 | #Constraints:      28430
2215.08/2221.60	c #Conflicts:     734000 | #Constraints:      29430
2215.08/2221.60	c #Conflicts:     735000 | #Constraints:      30430
2215.08/2221.60	c #Conflicts:     736000 | #Constraints:      31430
2215.08/2221.60	c #Conflicts:     737000 | #Constraints:      32430
2215.08/2221.60	c #Conflicts:     738000 | #Constraints:      33430
2215.08/2221.60	c #Conflicts:     739000 | #Constraints:      34430
2215.08/2221.60	c INPROCESSING
2215.08/2221.60	c GARBAGE COLLECT
2215.08/2221.60	c #Conflicts:     740000 | #Constraints:      18436
2215.08/2221.60	c #Conflicts:     741000 | #Constraints:      19436
2215.08/2221.60	c #Conflicts:     742000 | #Constraints:      20436
2215.08/2221.60	c #Conflicts:     743000 | #Constraints:      21436
2215.08/2221.60	c #Conflicts:     744000 | #Constraints:      22436
2215.08/2221.60	c #Conflicts:     745000 | #Constraints:      23436
2215.08/2221.60	c #Conflicts:     746000 | #Constraints:      24436
2215.08/2221.60	c #Conflicts:     747000 | #Constraints:      25436
2215.08/2221.60	c #Conflicts:     748000 | #Constraints:      26436
2215.08/2221.60	c #Conflicts:     749000 | #Constraints:      27436
2215.08/2221.60	c #Conflicts:     750000 | #Constraints:      28436
2215.08/2221.60	c #Conflicts:     751000 | #Constraints:      29436
2215.08/2221.60	c #Conflicts:     752000 | #Constraints:      30436
2215.08/2221.60	c #Conflicts:     753000 | #Constraints:      31436
2215.08/2221.60	c #Conflicts:     754000 | #Constraints:      32436
2215.08/2221.60	c #Conflicts:     755000 | #Constraints:      33436
2215.08/2221.60	c #Conflicts:     756000 | #Constraints:      34436
2215.08/2221.60	c INPROCESSING
2215.08/2221.60	c GARBAGE COLLECT
2215.08/2221.60	c #Conflicts:     757000 | #Constraints:      18237
2215.08/2221.60	c #Conflicts:     758000 | #Constraints:      19237
2215.08/2221.60	c #Conflicts:     759000 | #Constraints:      20237
2215.08/2221.60	c #Conflicts:     760000 | #Constraints:      21237
2215.08/2221.60	c #Conflicts:     761000 | #Constraints:      22237
2215.08/2221.60	c #Conflicts:     762000 | #Constraints:      23237
2215.08/2221.60	c #Conflicts:     763000 | #Constraints:      24237
2215.08/2221.60	c #Conflicts:     764000 | #Constraints:      25237
2215.08/2221.60	c #Conflicts:     765000 | #Constraints:      26237
2215.08/2221.60	c #Conflicts:     766000 | #Constraints:      27237
2215.08/2221.60	c #Conflicts:     767000 | #Constraints:      28237
2215.08/2221.60	c #Conflicts:     768000 | #Constraints:      29237
2215.08/2221.60	c #Conflicts:     769000 | #Constraints:      30237
2215.08/2221.60	c #Conflicts:     770000 | #Constraints:      31237
2215.08/2221.60	c #Conflicts:     771000 | #Constraints:      32237
2215.08/2221.60	c #Conflicts:     772000 | #Constraints:      33237
2215.08/2221.60	c #Conflicts:     773000 | #Constraints:      34237
2215.08/2221.60	c #Conflicts:     774000 | #Constraints:      35237
2215.08/2221.60	c INPROCESSING
2215.08/2221.60	c GARBAGE COLLECT
2215.08/2221.60	c #Conflicts:     775000 | #Constraints:      18843
2215.08/2221.60	c #Conflicts:     776000 | #Constraints:      19843
2215.08/2221.60	c #Conflicts:     777000 | #Constraints:      20843
2215.08/2221.60	c #Conflicts:     778000 | #Constraints:      21843
2215.08/2221.60	c #Conflicts:     779000 | #Constraints:      22843
2215.08/2221.60	c #Conflicts:     780000 | #Constraints:      23843
2215.08/2221.60	c #Conflicts:     781000 | #Constraints:      24843
2215.08/2221.60	c #Conflicts:     782000 | #Constraints:      25843
2215.08/2221.60	c #Conflicts:     783000 | #Constraints:      26843
2215.08/2221.60	c #Conflicts:     784000 | #Constraints:      27843
2215.08/2221.60	c #Conflicts:     785000 | #Constraints:      28843
2215.08/2221.60	c #Conflicts:     786000 | #Constraints:      29843
2215.08/2221.60	c #Conflicts:     787000 | #Constraints:      30843
2215.08/2221.60	c #Conflicts:     788000 | #Constraints:      31843
2215.08/2221.60	c #Conflicts:     789000 | #Constraints:      32843
2215.08/2221.60	c #Conflicts:     790000 | #Constraints:      33843
2215.08/2221.60	c #Conflicts:     791000 | #Constraints:      34843
2215.08/2221.60	c #Conflicts:     792000 | #Constraints:      35843
2215.08/2221.60	c INPROCESSING
2215.08/2221.60	c GARBAGE COLLECT
2215.08/2221.60	c #Conflicts:     793000 | #Constraints:      19243
2215.08/2221.60	c #Conflicts:     794000 | #Constraints:      20243
2215.08/2221.60	c #Conflicts:     795000 | #Constraints:      21243
2215.08/2221.60	c #Conflicts:     796000 | #Constraints:      22243
2215.08/2221.60	c #Conflicts:     797000 | #Constraints:      23243
2215.08/2221.60	c #Conflicts:     798000 | #Constraints:      24243
2215.08/2221.60	c #Conflicts:     799000 | #Constraints:      25243
2215.08/2221.60	c #Conflicts:     800000 | #Constraints:      26243
2215.08/2221.60	c #Conflicts:     801000 | #Constraints:      27243
2215.08/2221.60	c #Conflicts:     802000 | #Constraints:      28243
2215.08/2221.60	c #Conflicts:     803000 | #Constraints:      29243
2215.08/2221.60	c #Conflicts:     804000 | #Constraints:      30243
2215.08/2221.60	c #Conflicts:     805000 | #Constraints:      31243
2215.08/2221.60	c #Conflicts:     806000 | #Constraints:      32243
2215.08/2221.60	c #Conflicts:     807000 | #Constraints:      33243
2215.08/2221.60	c #Conflicts:     808000 | #Constraints:      34243
2362.56/2369.57	c #Conflicts:     809000 | #Constraints:      35243
2362.56/2369.57	c #Conflicts:     810000 | #Constraints:      36243
2362.56/2369.57	c INPROCESSING
2362.56/2369.57	c GARBAGE COLLECT
2362.56/2369.57	c #Conflicts:     811000 | #Constraints:      19442
2362.56/2369.57	c #Conflicts:     812000 | #Constraints:      20442
2362.56/2369.57	c #Conflicts:     813000 | #Constraints:      21442
2362.56/2369.57	c #Conflicts:     814000 | #Constraints:      22442
2362.56/2369.57	c #Conflicts:     815000 | #Constraints:      23442
2362.56/2369.57	c #Conflicts:     816000 | #Constraints:      24442
2362.56/2369.57	c #Conflicts:     817000 | #Constraints:      25442
2362.56/2369.57	c #Conflicts:     818000 | #Constraints:      26442
2362.56/2369.57	c #Conflicts:     819000 | #Constraints:      27442
2362.56/2369.57	c #Conflicts:     820000 | #Constraints:      28442
2362.56/2369.57	c #Conflicts:     821000 | #Constraints:      29442
2362.56/2369.57	c #Conflicts:     822000 | #Constraints:      30442
2362.56/2369.57	c #Conflicts:     823000 | #Constraints:      31442
2362.56/2369.57	c #Conflicts:     824000 | #Constraints:      32442
2362.56/2369.57	c #Conflicts:     825000 | #Constraints:      33442
2362.56/2369.57	c #Conflicts:     826000 | #Constraints:      34442
2362.56/2369.57	c #Conflicts:     827000 | #Constraints:      35442
2362.56/2369.57	c #Conflicts:     828000 | #Constraints:      36442
2362.56/2369.57	c INPROCESSING
2362.56/2369.57	c GARBAGE COLLECT
2362.56/2369.57	c #Conflicts:     829000 | #Constraints:      19443
2362.56/2369.57	c #Conflicts:     830000 | #Constraints:      20443
2362.56/2369.57	c #Conflicts:     831000 | #Constraints:      21443
2362.56/2369.57	c #Conflicts:     832000 | #Constraints:      22443
2362.56/2369.57	c #Conflicts:     833000 | #Constraints:      23443
2362.56/2369.57	c #Conflicts:     834000 | #Constraints:      24443
2362.56/2369.57	c #Conflicts:     835000 | #Constraints:      25443
2362.56/2369.57	c #Conflicts:     836000 | #Constraints:      26443
2362.56/2369.57	c #Conflicts:     837000 | #Constraints:      27443
2362.56/2369.57	c #Conflicts:     838000 | #Constraints:      28443
2362.56/2369.57	c #Conflicts:     839000 | #Constraints:      29443
2362.56/2369.57	c #Conflicts:     840000 | #Constraints:      30443
2362.56/2369.57	c #Conflicts:     841000 | #Constraints:      31443
2362.56/2369.57	c #Conflicts:     842000 | #Constraints:      32443
2362.56/2369.57	c #Conflicts:     843000 | #Constraints:      33443
2362.56/2369.57	c #Conflicts:     844000 | #Constraints:      34443
2362.56/2369.57	c #Conflicts:     845000 | #Constraints:      35443
2362.56/2369.57	c #Conflicts:     846000 | #Constraints:      36443
2362.56/2369.57	c INPROCESSING
2362.56/2369.57	c GARBAGE COLLECT
2362.56/2369.57	c #Conflicts:     847000 | #Constraints:      19242
2362.56/2369.57	c #Conflicts:     848000 | #Constraints:      20242
2362.56/2369.57	c #Conflicts:     849000 | #Constraints:      21242
2362.56/2369.57	c #Conflicts:     850000 | #Constraints:      22242
2362.56/2369.57	c #Conflicts:     851000 | #Constraints:      23242
2362.56/2369.57	c #Conflicts:     852000 | #Constraints:      24242
2362.56/2369.57	c #Conflicts:     853000 | #Constraints:      25242
2362.56/2369.57	c #Conflicts:     854000 | #Constraints:      26242
2362.56/2369.57	c #Conflicts:     855000 | #Constraints:      27242
2362.56/2369.57	c #Conflicts:     856000 | #Constraints:      28242
2362.56/2369.57	c #Conflicts:     857000 | #Constraints:      29242
2362.56/2369.57	c #Conflicts:     858000 | #Constraints:      30242
2362.56/2369.57	c GLOBAL bounds - >= 8883 @ 2308.56
2362.56/2369.58	c GLOBAL bounds - >= 8883 @ 2308.58
2362.56/2369.59	c GLOBAL bounds - >= 8883 @ 2308.58
2362.66/2369.60	c GLOBAL bounds - >= 8883 @ 2308.58
2362.66/2369.61	c GLOBAL bounds - >= 8883 @ 2308.59
2362.66/2369.62	c GLOBAL bounds - >= 8883 @ 2308.59
2362.76/2369.71	c GLOBAL bounds - >= 8883 @ 2308.64
2362.76/2369.72	c GLOBAL bounds - >= 8883 @ 2308.64
2362.86/2369.80	c GLOBAL bounds - >= 8883 @ 2308.68
2362.86/2369.81	c GLOBAL bounds - >= 8883 @ 2308.69
2362.86/2369.89	c GLOBAL bounds - >= 8883 @ 2308.72
2362.96/2369.90	c GLOBAL bounds - >= 8883 @ 2308.72
2362.96/2369.98	c GLOBAL bounds - >= 8883 @ 2308.75
2362.96/2369.99	c GLOBAL bounds - >= 8883 @ 2308.75
2363.07/2370.07	c GLOBAL bounds - >= 8883 @ 2308.79
2363.07/2370.08	c GLOBAL bounds - >= 8883 @ 2308.79
2363.16/2370.16	c GLOBAL bounds - >= 8883 @ 2308.83
2363.16/2370.17	c GLOBAL bounds - >= 8883 @ 2308.83
2363.26/2370.24	c GLOBAL bounds - >= 8883 @ 2308.87
2363.26/2370.26	c GLOBAL bounds - >= 8883 @ 2308.88
2363.36/2370.34	c GLOBAL bounds - >= 8883 @ 2308.91
2363.36/2370.35	c GLOBAL bounds - >= 8883 @ 2308.92
2363.46/2370.43	c GLOBAL bounds - >= 8883 @ 2308.96
2363.46/2370.44	c GLOBAL bounds - >= 8883 @ 2308.97
2363.56/2370.52	c GLOBAL bounds - >= 8883 @ 2309.01
2363.66/2370.60	c GLOBAL bounds - >= 8883 @ 2309.04
2363.66/2370.69	c GLOBAL bounds - >= 8883 @ 2309.07
2363.75/2370.77	c GLOBAL bounds - >= 8883 @ 2309.11
2363.85/2370.85	c GLOBAL bounds - >= 8883 @ 2309.15
2363.96/2370.93	c GLOBAL bounds - >= 8883 @ 2309.18
2364.06/2371.01	c GLOBAL bounds - >= 8883 @ 2309.22
2364.06/2371.09	c GLOBAL bounds - >= 8883 @ 2309.25
2364.16/2371.18	c GLOBAL bounds - >= 8883 @ 2309.29
2364.36/2371.32	c GLOBAL bounds - >= 8883 @ 2309.38
2364.46/2371.42	c GLOBAL bounds - >= 8883 @ 2309.44
2365.95/2372.95	c #Conflicts:     859000 | #Constraints:      31268
2365.95/2372.95	c GLOBAL bounds - >= 8883 @ 2310.9
2591.68/2599.37	c #Conflicts:     860000 | #Constraints:      32268
2591.68/2599.37	c #Conflicts:     861000 | #Constraints:      33268
2591.68/2599.37	c #Conflicts:     862000 | #Constraints:      34268
2591.68/2599.37	c #Conflicts:     863000 | #Constraints:      35268
2591.68/2599.37	c #Conflicts:     864000 | #Constraints:      36268
2591.68/2599.37	c #Conflicts:     865000 | #Constraints:      37268
2591.68/2599.37	c INPROCESSING
2591.68/2599.37	c GARBAGE COLLECT
2591.68/2599.37	c #Conflicts:     866000 | #Constraints:      19846
2591.68/2599.37	c #Conflicts:     867000 | #Constraints:      20846
2591.68/2599.37	c #Conflicts:     868000 | #Constraints:      21846
2591.68/2599.37	c #Conflicts:     869000 | #Constraints:      22846
2591.68/2599.37	c #Conflicts:     870000 | #Constraints:      23846
2591.68/2599.37	c #Conflicts:     871000 | #Constraints:      24846
2591.68/2599.37	c #Conflicts:     872000 | #Constraints:      25846
2591.68/2599.37	c #Conflicts:     873000 | #Constraints:      26846
2591.68/2599.37	c #Conflicts:     874000 | #Constraints:      27846
2591.68/2599.37	c #Conflicts:     875000 | #Constraints:      28846
2591.68/2599.37	c #Conflicts:     876000 | #Constraints:      29846
2591.68/2599.37	c #Conflicts:     877000 | #Constraints:      30846
2591.68/2599.37	c #Conflicts:     878000 | #Constraints:      31846
2591.68/2599.37	c #Conflicts:     879000 | #Constraints:      32846
2591.68/2599.37	c #Conflicts:     880000 | #Constraints:      33846
2591.68/2599.37	c #Conflicts:     881000 | #Constraints:      34846
2591.68/2599.37	c #Conflicts:     882000 | #Constraints:      35846
2591.68/2599.37	c #Conflicts:     883000 | #Constraints:      36846
2591.68/2599.37	c #Conflicts:     884000 | #Constraints:      37846
2591.68/2599.37	c INPROCESSING
2591.68/2599.37	c GARBAGE COLLECT
2591.68/2599.37	c #Conflicts:     885000 | #Constraints:      20234
2591.68/2599.37	c #Conflicts:     886000 | #Constraints:      21234
2591.68/2599.37	c #Conflicts:     887000 | #Constraints:      22234
2591.68/2599.37	c #Conflicts:     888000 | #Constraints:      23234
2591.68/2599.37	c #Conflicts:     889000 | #Constraints:      24234
2591.68/2599.37	c #Conflicts:     890000 | #Constraints:      25234
2591.68/2599.37	c #Conflicts:     891000 | #Constraints:      26234
2591.68/2599.37	c #Conflicts:     892000 | #Constraints:      27234
2591.68/2599.37	c #Conflicts:     893000 | #Constraints:      28234
2591.68/2599.37	c #Conflicts:     894000 | #Constraints:      29234
2591.68/2599.37	c #Conflicts:     895000 | #Constraints:      30234
2591.68/2599.37	c #Conflicts:     896000 | #Constraints:      31234
2591.68/2599.37	c #Conflicts:     897000 | #Constraints:      32234
2591.68/2599.37	c #Conflicts:     898000 | #Constraints:      33234
2591.68/2599.37	c #Conflicts:     899000 | #Constraints:      34234
2591.68/2599.37	c #Conflicts:     900000 | #Constraints:      35234
2591.68/2599.37	c #Conflicts:     901000 | #Constraints:      36234
2591.68/2599.37	c #Conflicts:     902000 | #Constraints:      37234
2591.68/2599.37	c #Conflicts:     903000 | #Constraints:      38234
2591.68/2599.37	c INPROCESSING
2591.68/2599.37	c GARBAGE COLLECT
2591.68/2599.37	c #Conflicts:     904000 | #Constraints:      20440
2591.68/2599.37	c #Conflicts:     905000 | #Constraints:      21440
2591.68/2599.37	c #Conflicts:     906000 | #Constraints:      22440
2591.68/2599.37	c #Conflicts:     907000 | #Constraints:      23440
2591.68/2599.37	c #Conflicts:     908000 | #Constraints:      24440
2591.68/2599.37	c #Conflicts:     909000 | #Constraints:      25440
2591.68/2599.37	c #Conflicts:     910000 | #Constraints:      26440
2591.68/2599.37	c #Conflicts:     911000 | #Constraints:      27440
2591.68/2599.37	c #Conflicts:     912000 | #Constraints:      28440
2591.68/2599.37	c #Conflicts:     913000 | #Constraints:      29440
2591.68/2599.37	c #Conflicts:     914000 | #Constraints:      30440
2591.68/2599.37	c #Conflicts:     915000 | #Constraints:      31440
2591.68/2599.37	c #Conflicts:     916000 | #Constraints:      32440
2591.68/2599.37	c #Conflicts:     917000 | #Constraints:      33440
2591.68/2599.37	c #Conflicts:     918000 | #Constraints:      34440
2591.68/2599.37	c #Conflicts:     919000 | #Constraints:      35440
2591.68/2599.37	c #Conflicts:     920000 | #Constraints:      36440
2591.68/2599.37	c #Conflicts:     921000 | #Constraints:      37440
2591.68/2599.37	c #Conflicts:     922000 | #Constraints:      38440
2591.68/2599.37	c INPROCESSING
2591.68/2599.37	c GARBAGE COLLECT
2591.68/2599.37	c #Conflicts:     923000 | #Constraints:      20424
2591.68/2599.37	c #Conflicts:     924000 | #Constraints:      21424
2591.68/2599.37	c #Conflicts:     925000 | #Constraints:      22424
2591.68/2599.37	c #Conflicts:     926000 | #Constraints:      23424
2591.68/2599.37	c #Conflicts:     927000 | #Constraints:      24424
2591.68/2599.37	c #Conflicts:     928000 | #Constraints:      25424
2591.68/2599.37	c #Conflicts:     929000 | #Constraints:      26424
2591.68/2599.37	c #Conflicts:     930000 | #Constraints:      27424
2591.68/2599.37	c #Conflicts:     931000 | #Constraints:      28424
2591.68/2599.37	c #Conflicts:     932000 | #Constraints:      29424
2591.68/2599.37	c #Conflicts:     933000 | #Constraints:      30424
2591.68/2599.37	c #Conflicts:     934000 | #Constraints:      31424
2591.68/2599.37	c #Conflicts:     935000 | #Constraints:      32424
2591.68/2599.37	c #Conflicts:     936000 | #Constraints:      33424
2839.73/2848.14	c #Conflicts:     937000 | #Constraints:      34424
2839.73/2848.14	c #Conflicts:     938000 | #Constraints:      35424
2839.73/2848.14	c #Conflicts:     939000 | #Constraints:      36424
2839.73/2848.14	c #Conflicts:     940000 | #Constraints:      37424
2839.73/2848.14	c #Conflicts:     941000 | #Constraints:      38424
2839.73/2848.14	c INPROCESSING
2839.73/2848.14	c GARBAGE COLLECT
2839.73/2848.14	c #Conflicts:     942000 | #Constraints:      20242
2839.73/2848.14	c #Conflicts:     943000 | #Constraints:      21242
2839.73/2848.14	c #Conflicts:     944000 | #Constraints:      22242
2839.73/2848.14	c #Conflicts:     945000 | #Constraints:      23242
2839.73/2848.14	c #Conflicts:     946000 | #Constraints:      24242
2839.73/2848.14	c #Conflicts:     947000 | #Constraints:      25242
2839.73/2848.14	c #Conflicts:     948000 | #Constraints:      26242
2839.73/2848.14	c #Conflicts:     949000 | #Constraints:      27242
2839.73/2848.14	c #Conflicts:     950000 | #Constraints:      28242
2839.73/2848.14	c #Conflicts:     951000 | #Constraints:      29242
2839.73/2848.14	c #Conflicts:     952000 | #Constraints:      30242
2839.73/2848.14	c #Conflicts:     953000 | #Constraints:      31242
2839.73/2848.14	c #Conflicts:     954000 | #Constraints:      32242
2839.73/2848.14	c #Conflicts:     955000 | #Constraints:      33242
2839.73/2848.14	c #Conflicts:     956000 | #Constraints:      34242
2839.73/2848.14	c #Conflicts:     957000 | #Constraints:      35242
2839.73/2848.14	c #Conflicts:     958000 | #Constraints:      36242
2839.73/2848.14	c #Conflicts:     959000 | #Constraints:      37242
2839.73/2848.14	c #Conflicts:     960000 | #Constraints:      38242
2839.73/2848.14	c #Conflicts:     961000 | #Constraints:      39242
2839.73/2848.14	c INPROCESSING
2839.73/2848.14	c GARBAGE COLLECT
2839.73/2848.14	c #Conflicts:     962000 | #Constraints:      20846
2839.73/2848.14	c #Conflicts:     963000 | #Constraints:      21846
2839.73/2848.14	c #Conflicts:     964000 | #Constraints:      22846
2839.73/2848.14	c #Conflicts:     965000 | #Constraints:      23846
2839.73/2848.14	c #Conflicts:     966000 | #Constraints:      24846
2839.73/2848.14	c #Conflicts:     967000 | #Constraints:      25846
2839.73/2848.14	c #Conflicts:     968000 | #Constraints:      26846
2839.73/2848.14	c #Conflicts:     969000 | #Constraints:      27846
2839.73/2848.14	c #Conflicts:     970000 | #Constraints:      28846
2839.73/2848.14	c #Conflicts:     971000 | #Constraints:      29846
2839.73/2848.14	c #Conflicts:     972000 | #Constraints:      30846
2839.73/2848.14	c #Conflicts:     973000 | #Constraints:      31846
2839.73/2848.14	c #Conflicts:     974000 | #Constraints:      32846
2839.73/2848.14	c #Conflicts:     975000 | #Constraints:      33846
2839.73/2848.14	c #Conflicts:     976000 | #Constraints:      34846
2839.73/2848.14	c #Conflicts:     977000 | #Constraints:      35846
2839.73/2848.14	c #Conflicts:     978000 | #Constraints:      36846
2839.73/2848.14	c #Conflicts:     979000 | #Constraints:      37846
2839.73/2848.14	c #Conflicts:     980000 | #Constraints:      38846
2839.73/2848.14	c #Conflicts:     981000 | #Constraints:      39846
2839.73/2848.14	c INPROCESSING
2839.73/2848.14	c GARBAGE COLLECT
2839.73/2848.14	c #Conflicts:     982000 | #Constraints:      21250
2839.73/2848.14	c #Conflicts:     983000 | #Constraints:      22250
2839.73/2848.14	c #Conflicts:     984000 | #Constraints:      23250
2839.73/2848.14	c #Conflicts:     985000 | #Constraints:      24250
2839.73/2848.14	c #Conflicts:     986000 | #Constraints:      25250
2839.73/2848.14	c #Conflicts:     987000 | #Constraints:      26250
2839.73/2848.14	c #Conflicts:     988000 | #Constraints:      27250
2839.73/2848.14	c #Conflicts:     989000 | #Constraints:      28250
2839.73/2848.14	c #Conflicts:     990000 | #Constraints:      29250
2839.73/2848.14	c #Conflicts:     991000 | #Constraints:      30250
2839.73/2848.14	c #Conflicts:     992000 | #Constraints:      31250
2839.73/2848.14	c #Conflicts:     993000 | #Constraints:      32250
2839.73/2848.14	c #Conflicts:     994000 | #Constraints:      33250
2839.73/2848.14	c #Conflicts:     995000 | #Constraints:      34250
2839.73/2848.14	c #Conflicts:     996000 | #Constraints:      35250
2839.73/2848.14	c #Conflicts:     997000 | #Constraints:      36250
2839.73/2848.14	c #Conflicts:     998000 | #Constraints:      37250
2839.73/2848.14	c #Conflicts:     999000 | #Constraints:      38250
2839.73/2848.14	c #Conflicts:    1000000 | #Constraints:      39250
2839.73/2848.14	c #Conflicts:    1001000 | #Constraints:      40250
2839.73/2848.14	c INPROCESSING
2839.73/2848.14	c GARBAGE COLLECT
2839.73/2848.14	c #Conflicts:    1002000 | #Constraints:      21452
2839.73/2848.14	c #Conflicts:    1003000 | #Constraints:      22452
2839.73/2848.14	c #Conflicts:    1004000 | #Constraints:      23452
2839.73/2848.14	c #Conflicts:    1005000 | #Constraints:      24452
2839.73/2848.14	c #Conflicts:    1006000 | #Constraints:      25452
2839.73/2848.14	c #Conflicts:    1007000 | #Constraints:      26452
2839.73/2848.14	c #Conflicts:    1008000 | #Constraints:      27452
2839.73/2848.14	c #Conflicts:    1009000 | #Constraints:      28452
2839.73/2848.14	c #Conflicts:    1010000 | #Constraints:      29452
2839.73/2848.14	c #Conflicts:    1011000 | #Constraints:      30452
2839.73/2848.14	c #Conflicts:    1012000 | #Constraints:      31452
3051.10/3060.16	c #Conflicts:    1013000 | #Constraints:      32452
3051.10/3060.16	c #Conflicts:    1014000 | #Constraints:      33452
3051.10/3060.16	c #Conflicts:    1015000 | #Constraints:      34452
3051.10/3060.16	c #Conflicts:    1016000 | #Constraints:      35452
3051.10/3060.16	c #Conflicts:    1017000 | #Constraints:      36452
3051.10/3060.16	c #Conflicts:    1018000 | #Constraints:      37452
3051.10/3060.16	c #Conflicts:    1019000 | #Constraints:      38452
3051.10/3060.16	c #Conflicts:    1020000 | #Constraints:      39452
3051.10/3060.16	c #Conflicts:    1021000 | #Constraints:      40452
3051.10/3060.16	c INPROCESSING
3051.10/3060.16	c GARBAGE COLLECT
3051.10/3060.16	c #Conflicts:    1022000 | #Constraints:      21453
3051.10/3060.16	c #Conflicts:    1023000 | #Constraints:      22453
3051.10/3060.16	c #Conflicts:    1024000 | #Constraints:      23453
3051.10/3060.16	c #Conflicts:    1025000 | #Constraints:      24453
3051.10/3060.16	c #Conflicts:    1026000 | #Constraints:      25453
3051.10/3060.16	c #Conflicts:    1027000 | #Constraints:      26453
3051.10/3060.16	c #Conflicts:    1028000 | #Constraints:      27453
3051.10/3060.16	c #Conflicts:    1029000 | #Constraints:      28453
3051.10/3060.16	c #Conflicts:    1030000 | #Constraints:      29453
3051.10/3060.16	c #Conflicts:    1031000 | #Constraints:      30453
3051.10/3060.16	c #Conflicts:    1032000 | #Constraints:      31453
3051.10/3060.16	c #Conflicts:    1033000 | #Constraints:      32453
3051.10/3060.16	c #Conflicts:    1034000 | #Constraints:      33453
3051.10/3060.16	c #Conflicts:    1035000 | #Constraints:      34453
3051.10/3060.16	c #Conflicts:    1036000 | #Constraints:      35453
3051.10/3060.16	c #Conflicts:    1037000 | #Constraints:      36453
3051.10/3060.16	c #Conflicts:    1038000 | #Constraints:      37453
3051.10/3060.16	c #Conflicts:    1039000 | #Constraints:      38453
3051.10/3060.16	c #Conflicts:    1040000 | #Constraints:      39453
3051.10/3060.16	c #Conflicts:    1041000 | #Constraints:      40453
3051.10/3060.16	c INPROCESSING
3051.10/3060.16	c GARBAGE COLLECT
3051.10/3060.16	c #Conflicts:    1042000 | #Constraints:      21256
3051.10/3060.16	c #Conflicts:    1043000 | #Constraints:      22256
3051.10/3060.16	c #Conflicts:    1044000 | #Constraints:      23256
3051.10/3060.16	c #Conflicts:    1045000 | #Constraints:      24256
3051.10/3060.16	c #Conflicts:    1046000 | #Constraints:      25256
3051.10/3060.16	c #Conflicts:    1047000 | #Constraints:      26256
3051.10/3060.16	c #Conflicts:    1048000 | #Constraints:      27256
3051.10/3060.16	c #Conflicts:    1049000 | #Constraints:      28256
3051.10/3060.16	c #Conflicts:    1050000 | #Constraints:      29256
3051.10/3060.16	c #Conflicts:    1051000 | #Constraints:      30256
3051.10/3060.16	c #Conflicts:    1052000 | #Constraints:      31256
3051.10/3060.16	c #Conflicts:    1053000 | #Constraints:      32256
3051.10/3060.16	c #Conflicts:    1054000 | #Constraints:      33256
3051.10/3060.16	c #Conflicts:    1055000 | #Constraints:      34256
3051.10/3060.16	c #Conflicts:    1056000 | #Constraints:      35256
3051.10/3060.16	c #Conflicts:    1057000 | #Constraints:      36256
3051.10/3060.16	c #Conflicts:    1058000 | #Constraints:      37256
3051.10/3060.16	c #Conflicts:    1059000 | #Constraints:      38256
3051.10/3060.16	c #Conflicts:    1060000 | #Constraints:      39256
3051.10/3060.16	c #Conflicts:    1061000 | #Constraints:      40256
3051.10/3060.16	c #Conflicts:    1062000 | #Constraints:      41256
3051.10/3060.16	c INPROCESSING
3051.10/3060.16	c GARBAGE COLLECT
3051.10/3060.16	c #Conflicts:    1063000 | #Constraints:      21850
3051.10/3060.16	c #Conflicts:    1064000 | #Constraints:      22850
3051.10/3060.16	c #Conflicts:    1065000 | #Constraints:      23850
3051.10/3060.16	c #Conflicts:    1066000 | #Constraints:      24850
3051.10/3060.16	c #Conflicts:    1067000 | #Constraints:      25850
3051.10/3060.16	c #Conflicts:    1068000 | #Constraints:      26850
3051.10/3060.16	c #Conflicts:    1069000 | #Constraints:      27850
3051.10/3060.16	c #Conflicts:    1070000 | #Constraints:      28850
3051.10/3060.16	c #Conflicts:    1071000 | #Constraints:      29850
3051.10/3060.16	c #Conflicts:    1072000 | #Constraints:      30850
3051.10/3060.16	c #Conflicts:    1073000 | #Constraints:      31850
3051.10/3060.16	c #Conflicts:    1074000 | #Constraints:      32850
3051.10/3060.16	c #Conflicts:    1075000 | #Constraints:      33850
3051.10/3060.16	c #Conflicts:    1076000 | #Constraints:      34850
3051.10/3060.16	c #Conflicts:    1077000 | #Constraints:      35850
3051.10/3060.16	c #Conflicts:    1078000 | #Constraints:      36850
3051.10/3060.16	c #Conflicts:    1079000 | #Constraints:      37850
3051.10/3060.16	c #Conflicts:    1080000 | #Constraints:      38850
3051.10/3060.16	c #Conflicts:    1081000 | #Constraints:      39850
3051.10/3060.16	c #Conflicts:    1082000 | #Constraints:      40850
3051.10/3060.16	c #Conflicts:    1083000 | #Constraints:      41850
3051.10/3060.16	c INPROCESSING
3051.10/3060.16	c GARBAGE COLLECT
3051.10/3060.16	c #Conflicts:    1084000 | #Constraints:      22247
3051.10/3060.16	c #Conflicts:    1085000 | #Constraints:      23247
3051.10/3060.16	c #Conflicts:    1086000 | #Constraints:      24247
3051.10/3060.16	c #Conflicts:    1087000 | #Constraints:      25247
3051.10/3060.16	c #Conflicts:    1088000 | #Constraints:      26247
3293.61/3303.46	c #Conflicts:    1089000 | #Constraints:      27247
3293.61/3303.46	c #Conflicts:    1090000 | #Constraints:      28247
3293.61/3303.46	c #Conflicts:    1091000 | #Constraints:      29247
3293.61/3303.46	c #Conflicts:    1092000 | #Constraints:      30247
3293.61/3303.46	c #Conflicts:    1093000 | #Constraints:      31247
3293.61/3303.46	c #Conflicts:    1094000 | #Constraints:      32247
3293.61/3303.46	c #Conflicts:    1095000 | #Constraints:      33247
3293.61/3303.46	c #Conflicts:    1096000 | #Constraints:      34247
3293.61/3303.46	c #Conflicts:    1097000 | #Constraints:      35247
3293.61/3303.46	c #Conflicts:    1098000 | #Constraints:      36247
3293.61/3303.46	c #Conflicts:    1099000 | #Constraints:      37247
3293.61/3303.46	c #Conflicts:    1100000 | #Constraints:      38247
3293.61/3303.46	c #Conflicts:    1101000 | #Constraints:      39247
3293.61/3303.46	c #Conflicts:    1102000 | #Constraints:      40247
3293.61/3303.46	c #Conflicts:    1103000 | #Constraints:      41247
3293.61/3303.46	c #Conflicts:    1104000 | #Constraints:      42247
3293.61/3303.46	c INPROCESSING
3293.61/3303.46	c GARBAGE COLLECT
3293.61/3303.46	c #Conflicts:    1105000 | #Constraints:      22459
3293.61/3303.46	c #Conflicts:    1106000 | #Constraints:      23459
3293.61/3303.46	c #Conflicts:    1107000 | #Constraints:      24459
3293.61/3303.46	c #Conflicts:    1108000 | #Constraints:      25459
3293.61/3303.46	c #Conflicts:    1109000 | #Constraints:      26459
3293.61/3303.46	c #Conflicts:    1110000 | #Constraints:      27459
3293.61/3303.46	c #Conflicts:    1111000 | #Constraints:      28459
3293.61/3303.46	c #Conflicts:    1112000 | #Constraints:      29459
3293.61/3303.46	c #Conflicts:    1113000 | #Constraints:      30459
3293.61/3303.46	c #Conflicts:    1114000 | #Constraints:      31459
3293.61/3303.46	c #Conflicts:    1115000 | #Constraints:      32459
3293.61/3303.46	c #Conflicts:    1116000 | #Constraints:      33459
3293.61/3303.46	c #Conflicts:    1117000 | #Constraints:      34459
3293.61/3303.46	c #Conflicts:    1118000 | #Constraints:      35459
3293.61/3303.46	c #Conflicts:    1119000 | #Constraints:      36459
3293.61/3303.46	c #Conflicts:    1120000 | #Constraints:      37459
3293.61/3303.46	c #Conflicts:    1121000 | #Constraints:      38459
3293.61/3303.46	c #Conflicts:    1122000 | #Constraints:      39459
3293.61/3303.46	c #Conflicts:    1123000 | #Constraints:      40459
3293.61/3303.46	c #Conflicts:    1124000 | #Constraints:      41459
3293.61/3303.46	c #Conflicts:    1125000 | #Constraints:      42459
3293.61/3303.46	c INPROCESSING
3293.61/3303.46	c GARBAGE COLLECT
3293.61/3303.46	c #Conflicts:    1126000 | #Constraints:      22448
3293.61/3303.46	c #Conflicts:    1127000 | #Constraints:      23448
3293.61/3303.46	c #Conflicts:    1128000 | #Constraints:      24448
3293.61/3303.46	c #Conflicts:    1129000 | #Constraints:      25448
3293.61/3303.46	c #Conflicts:    1130000 | #Constraints:      26448
3293.61/3303.46	c #Conflicts:    1131000 | #Constraints:      27448
3293.61/3303.46	c #Conflicts:    1132000 | #Constraints:      28448
3293.61/3303.46	c #Conflicts:    1133000 | #Constraints:      29448
3293.61/3303.46	c #Conflicts:    1134000 | #Constraints:      30448
3293.61/3303.46	c #Conflicts:    1135000 | #Constraints:      31448
3293.61/3303.46	c #Conflicts:    1136000 | #Constraints:      32448
3293.61/3303.46	c #Conflicts:    1137000 | #Constraints:      33448
3293.61/3303.46	c #Conflicts:    1138000 | #Constraints:      34448
3293.61/3303.46	c #Conflicts:    1139000 | #Constraints:      35448
3293.61/3303.46	c #Conflicts:    1140000 | #Constraints:      36448
3293.61/3303.46	c #Conflicts:    1141000 | #Constraints:      37448
3293.61/3303.46	c #Conflicts:    1142000 | #Constraints:      38448
3293.61/3303.46	c #Conflicts:    1143000 | #Constraints:      39448
3293.61/3303.46	c #Conflicts:    1144000 | #Constraints:      40448
3293.61/3303.46	c #Conflicts:    1145000 | #Constraints:      41448
3293.61/3303.46	c #Conflicts:    1146000 | #Constraints:      42448
3293.61/3303.46	c INPROCESSING
3293.61/3303.46	c GARBAGE COLLECT
3293.61/3303.46	c #Conflicts:    1147000 | #Constraints:      22247
3293.61/3303.46	c #Conflicts:    1148000 | #Constraints:      23247
3293.61/3303.46	c #Conflicts:    1149000 | #Constraints:      24247
3293.61/3303.46	c #Conflicts:    1150000 | #Constraints:      25247
3293.61/3303.46	c #Conflicts:    1151000 | #Constraints:      26247
3293.61/3303.46	c #Conflicts:    1152000 | #Constraints:      27247
3293.61/3303.46	c #Conflicts:    1153000 | #Constraints:      28247
3293.61/3303.46	c #Conflicts:    1154000 | #Constraints:      29247
3293.61/3303.46	c #Conflicts:    1155000 | #Constraints:      30247
3293.61/3303.46	c #Conflicts:    1156000 | #Constraints:      31247
3293.61/3303.46	c #Conflicts:    1157000 | #Constraints:      32247
3293.61/3303.46	c #Conflicts:    1158000 | #Constraints:      33247
3293.61/3303.46	c #Conflicts:    1159000 | #Constraints:      34247
3293.61/3303.46	c #Conflicts:    1160000 | #Constraints:      35247
3293.61/3303.46	c #Conflicts:    1161000 | #Constraints:      36247
3293.61/3303.46	c #Conflicts:    1162000 | #Constraints:      37247
3293.61/3303.46	c #Conflicts:    1163000 | #Constraints:      38247
3293.61/3303.46	c #Conflicts:    1164000 | #Constraints:      39247
3293.61/3303.46	c #Conflicts:    1165000 | #Constraints:      40247
3507.32/3517.83	c #Conflicts:    1166000 | #Constraints:      41247
3507.32/3517.83	c #Conflicts:    1167000 | #Constraints:      42247
3507.32/3517.83	c #Conflicts:    1168000 | #Constraints:      43247
3507.32/3517.83	c INPROCESSING
3507.32/3517.83	c GARBAGE COLLECT
3507.32/3517.83	c #Conflicts:    1169000 | #Constraints:      22846
3507.32/3517.83	c #Conflicts:    1170000 | #Constraints:      23846
3507.32/3517.83	c #Conflicts:    1171000 | #Constraints:      24846
3507.32/3517.83	c #Conflicts:    1172000 | #Constraints:      25846
3507.32/3517.83	c #Conflicts:    1173000 | #Constraints:      26846
3507.32/3517.83	c #Conflicts:    1174000 | #Constraints:      27846
3507.32/3517.83	c #Conflicts:    1175000 | #Constraints:      28846
3507.32/3517.83	c #Conflicts:    1176000 | #Constraints:      29846
3507.32/3517.83	c #Conflicts:    1177000 | #Constraints:      30846
3507.32/3517.83	c #Conflicts:    1178000 | #Constraints:      31846
3507.32/3517.83	c #Conflicts:    1179000 | #Constraints:      32846
3507.32/3517.83	c #Conflicts:    1180000 | #Constraints:      33846
3507.32/3517.83	c #Conflicts:    1181000 | #Constraints:      34846
3507.32/3517.83	c #Conflicts:    1182000 | #Constraints:      35846
3507.32/3517.83	c #Conflicts:    1183000 | #Constraints:      36846
3507.32/3517.83	c #Conflicts:    1184000 | #Constraints:      37846
3507.32/3517.83	c #Conflicts:    1185000 | #Constraints:      38846
3507.32/3517.83	c #Conflicts:    1186000 | #Constraints:      39846
3507.32/3517.83	c #Conflicts:    1187000 | #Constraints:      40846
3507.32/3517.83	c #Conflicts:    1188000 | #Constraints:      41846
3507.32/3517.83	c #Conflicts:    1189000 | #Constraints:      42846
3507.32/3517.83	c #Conflicts:    1190000 | #Constraints:      43846
3507.32/3517.83	c INPROCESSING
3507.32/3517.83	c GARBAGE COLLECT
3507.32/3517.83	c #Conflicts:    1191000 | #Constraints:      23235
3507.32/3517.83	c #Conflicts:    1192000 | #Constraints:      24235
3507.32/3517.83	c #Conflicts:    1193000 | #Constraints:      25235
3507.32/3517.83	c #Conflicts:    1194000 | #Constraints:      26235
3507.32/3517.83	c #Conflicts:    1195000 | #Constraints:      27235
3507.32/3517.83	c #Conflicts:    1196000 | #Constraints:      28235
3507.32/3517.83	c #Conflicts:    1197000 | #Constraints:      29235
3507.32/3517.83	c #Conflicts:    1198000 | #Constraints:      30235
3507.32/3517.83	c #Conflicts:    1199000 | #Constraints:      31235
3507.32/3517.83	c #Conflicts:    1200000 | #Constraints:      32235
3507.32/3517.83	c #Conflicts:    1201000 | #Constraints:      33235
3507.32/3517.83	c #Conflicts:    1202000 | #Constraints:      34235
3507.32/3517.83	c #Conflicts:    1203000 | #Constraints:      35235
3507.32/3517.83	c #Conflicts:    1204000 | #Constraints:      36235
3507.32/3517.83	c #Conflicts:    1205000 | #Constraints:      37235
3507.32/3517.83	c #Conflicts:    1206000 | #Constraints:      38235
3507.32/3517.83	c #Conflicts:    1207000 | #Constraints:      39235
3507.32/3517.83	c #Conflicts:    1208000 | #Constraints:      40235
3507.32/3517.83	c #Conflicts:    1209000 | #Constraints:      41235
3507.32/3517.83	c #Conflicts:    1210000 | #Constraints:      42235
3507.32/3517.83	c #Conflicts:    1211000 | #Constraints:      43235
3507.32/3517.83	c #Conflicts:    1212000 | #Constraints:      44235
3507.32/3517.83	c INPROCESSING
3507.32/3517.83	c GARBAGE COLLECT
3507.32/3517.83	c #Conflicts:    1213000 | #Constraints:      23437
3507.32/3517.83	c #Conflicts:    1214000 | #Constraints:      24437
3507.32/3517.83	c #Conflicts:    1215000 | #Constraints:      25437
3507.32/3517.83	c #Conflicts:    1216000 | #Constraints:      26437
3507.32/3517.83	c #Conflicts:    1217000 | #Constraints:      27437
3507.32/3517.83	c #Conflicts:    1218000 | #Constraints:      28437
3507.32/3517.83	c #Conflicts:    1219000 | #Constraints:      29437
3507.32/3517.83	c #Conflicts:    1220000 | #Constraints:      30437
3507.32/3517.83	c #Conflicts:    1221000 | #Constraints:      31437
3507.32/3517.83	c #Conflicts:    1222000 | #Constraints:      32437
3507.32/3517.83	c #Conflicts:    1223000 | #Constraints:      33437
3507.32/3517.83	c #Conflicts:    1224000 | #Constraints:      34437
3507.32/3517.83	c #Conflicts:    1225000 | #Constraints:      35437
3507.32/3517.83	c #Conflicts:    1226000 | #Constraints:      36437
3507.32/3517.83	c #Conflicts:    1227000 | #Constraints:      37437
3507.32/3517.83	c #Conflicts:    1228000 | #Constraints:      38437
3507.32/3517.83	c #Conflicts:    1229000 | #Constraints:      39437
3507.32/3517.83	c #Conflicts:    1230000 | #Constraints:      40437
3507.32/3517.83	c #Conflicts:    1231000 | #Constraints:      41437
3507.32/3517.83	c #Conflicts:    1232000 | #Constraints:      42437
3507.32/3517.83	c #Conflicts:    1233000 | #Constraints:      43437
3507.32/3517.83	c #Conflicts:    1234000 | #Constraints:      44437
3507.32/3517.83	c INPROCESSING
3507.32/3517.83	c GARBAGE COLLECT
3507.32/3517.83	c #Conflicts:    1235000 | #Constraints:      23442
3507.32/3517.83	c #Conflicts:    1236000 | #Constraints:      24442
3507.32/3517.83	c #Conflicts:    1237000 | #Constraints:      25442
3507.32/3517.83	c #Conflicts:    1238000 | #Constraints:      26442
3507.32/3517.83	c #Conflicts:    1239000 | #Constraints:      27442
3507.32/3517.83	c #Conflicts:    1240000 | #Constraints:      28442
3507.32/3517.83	c #Conflicts:    1241000 | #Constraints:      29442
3600.06/3610.83	c #Conflicts:    1242000 | #Constraints:      30442
3600.06/3610.83	c #Conflicts:    1243000 | #Constraints:      31442
3600.06/3610.83	c #Conflicts:    1244000 | #Constraints:      32442
3600.06/3610.83	c #Conflicts:    1245000 | #Constraints:      33442
3600.06/3610.83	c #Conflicts:    1246000 | #Constraints:      34442
3600.06/3610.83	c #Conflicts:    1247000 | #Constraints:      35442
3600.06/3610.83	c #Conflicts:    1248000 | #Constraints:      36442
3600.06/3610.83	c #Conflicts:    1249000 | #Constraints:      37442
3600.06/3610.83	c #Conflicts:    1250000 | #Constraints:      38442
3600.06/3610.83	c #Conflicts:    1251000 | #Constraints:      39442
3600.06/3610.83	c #Conflicts:    1252000 | #Constraints:      40442
3600.06/3610.83	c #Conflicts:    1253000 | #Constraints:      41442
3600.06/3610.83	c #Conflicts:    1254000 | #Constraints:      42442
3600.06/3610.83	c #Conflicts:    1255000 | #Constraints:      43442
3600.06/3610.83	c #Conflicts:    1256000 | #Constraints:      44442
3600.06/3610.83	c INPROCESSING
3600.06/3610.83	c GARBAGE COLLECT
3600.06/3610.83	c #Conflicts:    1257000 | #Constraints:      23254
3600.06/3610.83	c #Conflicts:    1258000 | #Constraints:      24254
3600.06/3610.83	c #Conflicts:    1259000 | #Constraints:      25254
3600.06/3610.83	c #Conflicts:    1260000 | #Constraints:      26254
3600.06/3610.83	c #Conflicts:    1261000 | #Constraints:      27254
3600.06/3610.83	c #Conflicts:    1262000 | #Constraints:      28254
3600.06/3610.83	c #Conflicts:    1263000 | #Constraints:      29254
3600.06/3610.83	c #Conflicts:    1264000 | #Constraints:      30254
3600.06/3610.83	c #Conflicts:    1265000 | #Constraints:      31254
3600.06/3610.83	c #Conflicts:    1266000 | #Constraints:      32254
3600.06/3610.83	c #Conflicts:    1267000 | #Constraints:      33254
3600.06/3610.83	c #Conflicts:    1268000 | #Constraints:      34254
3600.06/3610.83	c #Conflicts:    1269000 | #Constraints:      35254
3600.06/3610.83	c #Conflicts:    1270000 | #Constraints:      36254
3600.06/3610.83	c #Conflicts:    1271000 | #Constraints:      37254
3600.06/3610.83	c cpu time 3526.23 s
3600.06/3610.83	c deterministic time 19877825 1.99e+07
3600.06/3610.83	c optimization time 3520.05 s
3600.06/3610.83	c total solve time 3.73137 s
3600.06/3610.83	c core-guided solve time 0 s
3600.06/3610.83	c propagation time 2.80713 s
3600.06/3610.83	c conflict analysis time 0.252317 s
3600.06/3610.83	c propagations 3610962
3600.06/3610.83	c resolve steps 16583
3600.06/3610.83	c decisions 2875714
3600.06/3610.83	c conflicts 756
3600.06/3610.83	c restarts 6
3600.06/3610.83	c inprocessing phases 0
3600.06/3610.83	c garbage collections 0 ,( -nan )
3600.06/3610.83	c input clauses 421619 ,( 99.97 )
3600.06/3610.83	c input cardinalities 0 ,( 0.00 )
3600.06/3610.83	c input general constraints 132 ,( 0.03 )
3600.06/3610.83	c input average constraint length 4.14
3600.06/3610.83	c input average constraint degree 448.95
3600.06/3610.83	c learned clauses 833 ,( 100.00 )
3600.06/3610.83	c learned cardinalities 0 ,( 0.00 )
3600.06/3610.83	c learned general constraints 0 ,( 0.00 )
3600.06/3610.83	c learned average constraint length 58.07
3600.06/3610.83	c learned average constraint degree 1.00
3600.06/3610.83	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3610.83	c counting CF 32, 64, 128, Arb: 133 , 0 , 0 , 0
3600.06/3610.83	c watched   constraints 0 ,( 0.00 ) 
3600.06/3610.83	c counting  constraints 132 ,( 100.00 ) 
3600.06/3610.83	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2252820 , 0 , 305370 ,( 0 , 305370 )
3600.06/3610.83	c gcd simplifications 0
3600.06/3610.83	c detected cardinalities 0
3600.06/3610.83	c weakened non-implied lits 0
3600.06/3610.83	c weakened non-implying lits 0
3600.06/3610.83	c original variables 73150
3600.06/3610.83	c clausal propagations 2066469
3600.06/3610.83	c cardinality propagations 0
3600.06/3610.83	c watched propagations 0
3600.06/3610.83	c counting propagations 17493
3600.06/3610.83	c watch lookups 2956764
3600.06/3610.83	c watch backjump lookups 0
3600.06/3610.83	c watch checks 1676803
3600.06/3610.83	c propagation checks 2097699
3600.06/3610.83	c constraint additions 203482
3600.06/3610.83	c trail pops 6453400
3600.06/3610.83	c formula constraints 421178
3600.06/3610.83	c learned constraints 833
3600.06/3610.83	c bound constraints 0
3600.06/3610.83	c core-guided constraints 0
3600.06/3610.83	c encountered formula constraints 16742
3600.06/3610.83	c encountered learned constraints 597
3600.06/3610.83	c encountered bound constraints 0
3600.06/3610.83	c encountered core-guided constraints 0
3600.06/3610.83	c LP total time 2.53692 s
3600.06/3610.83	c LP solve time 2.32 s
3600.06/3610.83	c LP constraints added 421178
3600.06/3610.83	c LP constraints removed 0
3600.06/3610.83	c LP pivots internal 2000
3600.06/3610.83	c LP pivots root 1000
3600.06/3610.83	c LP calls 2
3600.06/3610.83	c LP optimalities 0
3600.06/3610.83	c LP no pivot count 0
3600.06/3610.83	c LP infeasibilities 0
3600.06/3610.83	c LP valid Farkas constraints 0
3600.06/3610.83	c LP learned Farkas constraints 0
3600.06/3610.83	c LP basis resets 0
3600.06/3610.83	c LP cycling count 0
3600.06/3610.83	c LP singular count 0
3600.06/3610.83	c LP no primal count 0
3600.06/3610.83	c LP no farkas count 0
3600.06/3610.83	c LP other issue count 0
3600.06/3610.83	c LP Gomory cuts 0
3600.06/3610.83	c LP learned cuts 0
3600.06/3610.83	c LP deleted cuts 0
3600.06/3610.83	c LP encountered Gomory constraints 0
3600.06/3610.83	c LP encountered Farkas constraints 0
3600.06/3610.83	c LP encountered learned Farkas constraints 0
3600.06/3610.83	c CG auxiliary variables introduced 139
3600.06/3610.83	c CG solutions found 0
3600.06/3610.83	c CG cores constructed 298
3600.06/3610.83	c CG core cardinality constraints returned 0
3600.06/3610.83	c CG unit cores 0
3600.06/3610.83	c CG single cores 0
3600.06/3610.83	c CG blocks removed during cardinality reduction 0
3600.06/3610.83	c CG first core best 0
3600.06/3610.83	c CG decision core best 0
3600.06/3610.83	c CG core reduction tie 0
3600.06/3610.83	c CG core degree average 0.00
3600.06/3610.83	c CG core slack average 0.00
3600.06/3610.83	c CG core upper bound improvements 0
3600.06/3610.83	c STR number of successful calls 0
3600.06/3610.83	c STR number of unsuccessful calls 0
3600.06/3610.83	c STR number of inconclusive calls 0
3600.06/3610.83	c STR number of successful attempts 0
3600.06/3610.83	c STR number of unsuccessful attempts 0
3600.06/3610.83	c STR number of inconclusive attempts 0
3600.06/3610.83	c STR average degree increase per successful call inf
3600.06/3610.83	c STR average degree increase per successful attempt inf
3600.06/3610.83	c STR total number of conflicts for successful attempts 0
3600.06/3610.83	c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.83	c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.83	c STR average number of conflicts per successful attempt inf
3600.06/3610.83	c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.83	c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.83	c AVG.sumWPerc 99.66 
3600.06/3610.83	c bigint constraints 0 
3600.06/3610.83	s UNKNOWN
3600.06/3610.83	c Program interrupted by user.

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 (42594 MiB free)
  memory of node 1: 64465 MiB (42370 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=72090, runsolver pid=72087

[startup+0.100066 s]*
/proc/loadavg: 4.12 4.13 4.10 5/276 72092
/proc/meminfo: memFree=86987932/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=73388 memory=27080 CPUtime=0.08 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 4234 0 0 0 6 2 0 0 20 0 1 0 66055689 75149312 6770 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 18347 6770 1952 1147 0 5774 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77580 KiB
Current children cumulated memory: 30024 KiB

[startup+0.205956 s]*
/proc/loadavg: 4.12 4.13 4.10 5/276 72092
/proc/meminfo: memFree=86986168/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=76000 memory=30792 CPUtime=0.18 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 5124 0 0 0 14 4 0 0 20 0 1 0 66055689 77824000 7698 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 19000 7698 1952 1147 0 6427 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 80192 KiB
Current children cumulated memory: 33736 KiB

[startup+0.305847 s]*
/proc/loadavg: 4.11 4.13 4.09 5/276 72092
/proc/meminfo: memFree=86984404/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=78480 memory=35316 CPUtime=0.28 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 5755 0 0 0 22 6 0 0 20 0 1 0 66055689 80363520 8829 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 19620 8829 1952 1147 0 7047 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 82672 KiB
Current children cumulated memory: 38260 KiB

[startup+0.700203 s]
/proc/loadavg: 4.11 4.13 4.09 5/276 72092
/proc/meminfo: memFree=86978356/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=89804 memory=44528 CPUtime=0.67 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 8663 0 0 0 56 11 0 0 20 0 1 0 66055689 91959296 11132 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 22451 11132 1952 1147 0 9878 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 93996 KiB
Current children cumulated memory: 47472 KiB

[startup+1.5002 s]
/proc/loadavg: 4.11 4.13 4.09 5/276 72092
/proc/meminfo: memFree=86935200/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=119080 memory=69288 CPUtime=1.47 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 15615 0 0 0 124 23 0 0 20 0 1 0 66055689 121937920 17322 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 29770 17322 1952 1147 0 17197 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 123272 KiB
Current children cumulated memory: 72232 KiB

[startup+3.10564 s]
/proc/loadavg: 4.11 4.13 4.09 5/276 72092
/proc/meminfo: memFree=86547704/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=548460 memory=393876 CPUtime=3.07 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 36930 0 0 0 258 49 0 0 20 0 1 0 66055689 561623040 98469 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 137115 98469 2336 1147 0 124542 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 552652 KiB
Current children cumulated memory: 396820 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.12 4.09 5/276 72092
/proc/meminfo: memFree=86271736/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=634632 memory=521828 CPUtime=6.25 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 49409 0 0 0 536 89 0 0 20 0 1 0 66055689 649863168 130457 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 158658 130457 2368 1147 0 146085 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 638824 KiB
Current children cumulated memory: 524772 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.14 4.10 5/276 72093
/proc/meminfo: memFree=86087560/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=678480 memory=566596 CPUtime=12.64 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 57727 0 0 0 800 464 0 0 20 0 1 0 66055689 694763520 141649 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 169620 141649 2400 1147 0 157047 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 682672 KiB
Current children cumulated memory: 569540 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.10 5/276 72093
/proc/meminfo: memFree=85527232/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=922880 memory=792836 CPUtime=25.4 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 97432 0 0 0 1553 987 0 0 20 0 1 0 66055689 945029120 198209 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 230720 198209 2400 1147 0 218147 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 927072 KiB
Current children cumulated memory: 795780 KiB

[startup+51.1058 s]
/proc/loadavg: 4.09 4.12 4.09 5/276 72093
/proc/meminfo: memFree=83291492/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=1153692 memory=987528 CPUtime=50.94 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 134870 0 0 0 3973 1121 0 0 20 0 1 0 66055689 1181380608 246882 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 288423 246882 2400 1147 0 275850 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1157884 KiB
Current children cumulated memory: 990472 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/275 72096
/proc/meminfo: memFree=80886180/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=1595912 memory=1292380 CPUtime=102 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 196784 0 0 0 8992 1208 0 0 20 0 1 0 66055689 1634213888 323095 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 398978 323095 2400 1147 0 386405 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1600104 KiB
Current children cumulated memory: 1295324 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/274 72103
/proc/meminfo: memFree=78212140/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=1730988 memory=1380784 CPUtime=161.83 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 209186 0 0 0 14876 1307 0 0 20 0 1 0 66055689 1772531712 345196 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 432747 345196 2400 1147 0 420174 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1735180 KiB
Current children cumulated memory: 1383728 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/275 72108
/proc/meminfo: memFree=75257096/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=1736368 memory=1453188 CPUtime=221.67 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 219101 0 0 0 20756 1411 0 0 20 0 1 0 66055689 1778040832 363297 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 434092 363297 2400 1147 0 421519 0

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

/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=5045828 memory=4203304 CPUtime=3152.97 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 997238 0 0 0 308559 6738 0 0 20 0 1 0 66055689 5166927872 1050826 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 1261457 1050826 2400 1147 0 1248884 0
Current children cumulated CPU time: 3152.97 s
Current children cumulated vsize: 5050020 KiB
Current children cumulated memory: 4206248 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.11 4.14 5/275 72480
/proc/meminfo: memFree=1140636/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=5052484 memory=4368936 CPUtime=3212.77 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 1022544 0 0 0 314451 6826 0 0 20 0 1 0 66055689 5173743616 1092234 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 1263121 1092234 2400 1147 0 1250548 0
Current children cumulated CPU time: 3212.77 s
Current children cumulated vsize: 5056676 KiB
Current children cumulated memory: 4371880 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/275 72484
/proc/meminfo: memFree=1140748/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=5053508 memory=4387880 CPUtime=3272.58 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 1048286 0 0 0 320342 6916 0 0 20 0 1 0 66055689 5174792192 1096970 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 1263377 1096970 2400 1147 0 1250804 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 5057700 KiB
Current children cumulated memory: 4390824 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/275 72486
/proc/meminfo: memFree=1231216/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=5088836 memory=4552244 CPUtime=3332.38 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 1108211 0 0 0 326228 7010 0 0 20 0 1 0 66055689 5210968064 1138061 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 1272209 1138061 2400 1147 0 1259636 0
Current children cumulated CPU time: 3332.38 s
Current children cumulated vsize: 5093028 KiB
Current children cumulated memory: 4555188 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/275 72488
/proc/meminfo: memFree=1211008/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=5109316 memory=4599604 CPUtime=3392.21 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 1118456 0 0 0 332126 7095 0 0 20 0 1 0 66055689 5231939584 1149901 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 1277329 1149901 2400 1147 0 1264756 0
Current children cumulated CPU time: 3392.21 s
Current children cumulated vsize: 5113508 KiB
Current children cumulated memory: 4602548 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/276 72491
/proc/meminfo: memFree=1302308/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=5109316 memory=4609844 CPUtime=3451.99 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 1128541 0 0 0 338020 7179 0 0 20 0 1 0 66055689 5231939584 1152461 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 1277329 1152461 2400 1147 0 1264756 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 5113508 KiB
Current children cumulated memory: 4612788 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/275 72493
/proc/meminfo: memFree=1157152/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=5109316 memory=4620468 CPUtime=3511.81 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 1139854 0 0 0 343920 7261 0 0 20 0 1 0 66055689 5231939584 1155117 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 1277329 1155117 2400 1147 0 1264756 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 5113508 KiB
Current children cumulated memory: 4623412 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.14 4.12 5/274 72495
/proc/meminfo: memFree=1147028/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=5111876 memory=4632628 CPUtime=3571.64 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 1153127 0 0 0 349823 7341 0 0 20 0 1 0 66055689 5234561024 1158157 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 1277969 1158157 2400 1147 0 1265396 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 5116068 KiB
Current children cumulated memory: 4635572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.23 4.14 4.12 5/274 72495
/proc/meminfo: memFree=1202116/131249988 swapFree=33010160/33010684
[pid=72090] ppid=72087 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72090/stat : 72090 (run-opt-log.sh) S 72087 72090 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 66055688 4292608 736 18446744073709551615 94227376205824 94227377100357 140726386352432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94227377339408 94227377387152 94227377463296 140726386354465 140726386354660 140726386354660 140726386360262 0
/proc/72090/statm: 1048 736 672 219 0 110 0
[pid=72092] ppid=72090 vsize=5111876 memory=4638516 CPUtime=3600.06 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72090 72090 71409 0 -1 4194304 1159061 0 0 0 352622 7384 0 0 20 0 1 0 66055689 5234561024 1159629 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 1277969 1159629 2400 1147 0 1265396 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5116068 KiB
Current children cumulated memory: 4641460 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.8 s]
# the end of solver process 72090 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0 s, system=0.002264 s

[startup+3611.44 s]
# the end of solver process 72092 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3526.28 s, system=73.9548 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611.2 s]
/proc/loadavg: 4.21 4.14 4.12 4/273 72495
/proc/meminfo: memFree=1183132/131249988 swapFree=33010160/33010684
[pid=72092] ppid=72087 vsize=5111876 memory=4638900 CPUtime=3600.13 cores=0,2
/proc/72092/stat : 72092 (roundingsat) D 72087 72090 71409 0 -1 4194304 1159068 0 1 0 352623 7390 0 0 20 0 1 0 66055689 5234561024 1159725 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 1277969 1159725 2496 1147 0 1265396 0
Current cumulated CPU time of completed processes: 0.002264 s
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 5111876 KiB
Current children cumulated memory: 4638900 KiB

[startup+3611.4 s]
/proc/loadavg: 4.21 4.14 4.12 4/273 72495
/proc/meminfo: memFree=1183132/131249988 swapFree=33010160/33010684
[pid=72092] ppid=72087 vsize=1823360 memory=1780720 CPUtime=3600.18 cores=0,2
/proc/72092/stat : 72092 (roundingsat) R 72087 72090 71409 0 -1 4194304 1159121 0 1 0 352624 7394 0 0 20 0 1 0 66055689 1867120640 445180 18446744073709551615 4227072 8923433 140733617126384 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 25550848 140733617129810 140733617130024 140733617130024 140733617135594 0
/proc/72092/statm: 455840 445180 2496 1147 0 443267 0
Current cumulated CPU time of completed processes: 0.002264 s
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 1823360 KiB
Current children cumulated memory: 1780720 KiB

Child status: 2

Real time (s): 3611.44
CPU time (s): 3600.24
CPU user time (s): 3526.28
CPU system time (s): 73.9548
CPU usage (%): 99.6898
Max. virtual memory (cumulated for all children) (KiB): 5116068
Max. memory (cumulated for all children) (KiB): 4641460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3526.28
system time used= 73.9548
maximum resident set size= 4638900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1159343
page faults= 1
swaps= 0
block input operations= 4040
block output operations= 119076648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20744
involuntary context switches= 8770


# summary of solver processes directly reported to runsolver:
#   pid: 72090,72092
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3526.28
#   total CPU system time (s): 73.9548

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.61723 second user time and 16.963 second system time

The end

Begin job on nodeC020 at 2025-07-03 02:49:41
IDJOB=4506321
IDBENCH=158170
IDSOLVER=3351
FILE ID=nodeC020/4506321-1751503781
RUNJOBID= nodeC020-1751497800-71419
SLURM_JOB_ID= 9598575
Free space on /tmp= 431780 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped3.E.recomb10-0.20-11.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506321-1751503781/watcher-4506321-1751503781 -o /tmp/evaluation-result-4506321-1751503781/solver-4506321-1751503781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751497800-71419 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4506321-1751503781.opb PROOFDIR/proof-4506321-1751503781

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

MD5SUM BENCH= 551838940c89f9d2ab4aca2b8dd410a0
RANDOM SEED=2133942525

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		: 3599.852
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.857
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		: 3567.538
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		: 3597.691
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		: 3599.904
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.898
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.835
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		: 3700.000
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:        87005072 kB
MemAvailable:   106220176 kB
Buffers:            2128 kB
Cached:         19995152 kB
SwapCached:           12 kB
Active:         24055672 kB
Inactive:       19459544 kB
Active(anon):   23510932 kB
Inactive(anon):    25084 kB
Active(file):     544740 kB
Inactive(file): 19434460 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            202120 kB
Writeback:            72 kB
AnonPages:      23515900 kB
Mapped:           117568 kB
Shmem:             18040 kB
KReclaimable:     150288 kB
Slab:             246472 kB
SReclaimable:     150288 kB
SUnreclaim:        96184 kB
KernelStack:        4432 kB
PageTables:        52736 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   27536076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150744 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4261888 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= 431640 MiB
End job on nodeC020 at 2025-07-03 03:49:53