0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.08/0.20	c #variables 107808 #constraints 5184
0.08/0.21	c objective is ce64 
0.19/0.24	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.19/0.24	c initial counting CF 32, 64, 128, Arb: 5168 , 17 , 0 , 0
0.19/0.24	c GLOBAL bounds - >= 0 @ 0.183445
0.28/0.35	c GLOBAL bounds - >= 0 @ 0.230393
0.57/0.64	c GLOBAL bounds - >= 0 @ 0.488018
0.67/0.77	c GLOBAL bounds - >= 0 @ 0.545755
0.67/0.78	c GLOBAL bounds - >= 0 @ 0.553555
0.77/0.89	c GLOBAL bounds - >= 0 @ 0.597818
0.87/0.90	c GLOBAL bounds - >= 0 @ 0.605589
0.98/1.01	c GLOBAL bounds - >= 0 @ 0.65871
0.98/1.02	c GLOBAL bounds - >= 0 @ 0.66622
1.07/1.13	c GLOBAL bounds - >= 0 @ 0.707409
1.07/1.14	c GLOBAL bounds - >= 0 @ 0.717671
1.17/1.25	c GLOBAL bounds - >= 0 @ 0.763922
1.17/1.27	c GLOBAL bounds - >= 0 @ 0.772511
1.27/1.38	c GLOBAL bounds - >= 0 @ 0.825421
1.27/1.39	c GLOBAL bounds - >= 0 @ 0.834776
1.47/1.50	c GLOBAL bounds - >= 0 @ 0.890771
1.47/1.51	c GLOBAL bounds - >= 0 @ 0.899095
1.57/1.62	c GLOBAL bounds - >= 0 @ 0.954495
1.57/1.63	c GLOBAL bounds - >= 0 @ 0.962407
1.67/1.74	c GLOBAL bounds - >= 0 @ 1.0113
1.67/1.75	c GLOBAL bounds - >= 0 @ 1.01889
1.77/1.86	c GLOBAL bounds - >= 0 @ 1.06438
1.86/1.97	c GLOBAL bounds - >= 0 @ 1.11119
1.97/2.08	c GLOBAL bounds - >= 0 @ 1.17223
2.07/2.19	c GLOBAL bounds - >= 0 @ 1.21964
2.17/2.29	c GLOBAL bounds - >= 0 @ 1.27257
2.37/2.43	c GLOBAL bounds - >= 0 @ 1.35771
2.47/2.54	c GLOBAL bounds - >= 0 @ 1.41104
2.56/2.64	c GLOBAL bounds - >= 0 @ 1.45991
2.66/2.74	c GLOBAL bounds - >= 0 @ 1.50465
2.86/2.98	c GLOBAL bounds - >= 0 @ 1.68949
3.17/3.21	c GLOBAL bounds - >= 0 @ 1.87242
3.26/3.31	c GLOBAL bounds - >= 0 @ 1.93093
3.26/3.39	c GLOBAL bounds - >= 348224000 @ 2.01246
3.36/3.44	c GLOBAL bounds - >= 348224000 @ 2.0541
3.36/3.46	c GLOBAL bounds - >= 348224000 @ 2.0631
3.46/3.58	c GLOBAL bounds - >= 348224000 @ 2.12201
3.46/3.59	c GLOBAL bounds - >= 348224000 @ 2.12605
3.67/3.70	c GLOBAL bounds - >= 348224000 @ 2.17358
3.67/3.72	c GLOBAL bounds - >= 348224000 @ 2.17958
3.76/3.83	c GLOBAL bounds - >= 348224000 @ 2.23948
3.76/3.85	c GLOBAL bounds - >= 348224000 @ 2.2508
3.86/3.96	c GLOBAL bounds - >= 348224000 @ 2.30392
3.86/3.98	c GLOBAL bounds - >= 348224000 @ 2.31428
3.96/4.09	c GLOBAL bounds - >= 348224000 @ 2.36464
4.07/4.10	c GLOBAL bounds - >= 348224000 @ 2.37631
4.16/4.22	c GLOBAL bounds - >= 348224000 @ 2.43314
4.16/4.24	c GLOBAL bounds - >= 348224000 @ 2.44665
4.26/4.35	c GLOBAL bounds - >= 348224000 @ 2.49914
4.26/4.37	c GLOBAL bounds - >= 348224000 @ 2.51321
4.36/4.48	c GLOBAL bounds - >= 348224000 @ 2.56577
4.46/4.50	c GLOBAL bounds - >= 348224000 @ 2.57613
4.56/4.61	c GLOBAL bounds - >= 348224000 @ 2.62814
4.56/4.63	c GLOBAL bounds - >= 348224000 @ 2.6428
4.66/4.75	c GLOBAL bounds - >= 348224000 @ 2.6944
4.76/4.85	c GLOBAL bounds - >= 348224000 @ 2.74027
4.86/4.97	c GLOBAL bounds - >= 348224000 @ 2.8061
4.96/5.10	c GLOBAL bounds - >= 348224000 @ 2.86606
5.15/5.20	c GLOBAL bounds - >= 348224000 @ 2.92377
5.26/5.31	c GLOBAL bounds - >= 348224000 @ 2.96765
5.36/5.42	c GLOBAL bounds - >= 348224000 @ 3.02649
5.46/5.54	c GLOBAL bounds - >= 348224000 @ 3.09831
5.56/5.67	c GLOBAL bounds - >= 348224000 @ 3.1661
5.66/5.77	c GLOBAL bounds - >= 348224000 @ 3.2126
5.85/5.91	c GLOBAL bounds - >= 348224000 @ 3.29341
5.96/6.02	c GLOBAL bounds - >= 348224000 @ 3.3456
6.06/6.15	c GLOBAL bounds - >= 348224000 @ 3.43248
6.45/6.53	c GLOBAL bounds - >= 348224000 @ 3.75346
7.06/7.12	c GLOBAL bounds - >= 348224000 @ 4.28146
7.15/7.22	c GLOBAL bounds - >= 348224000 @ 4.33367
7.25/7.33	c GLOBAL bounds - >= 348224000 @ 4.38828
7.35/7.48	c GLOBAL bounds - >= 348224000 @ 4.49632
7.55/7.62	c GLOBAL bounds - >= 348224000 @ 4.58307
7.65/7.75	c GLOBAL bounds - >= 348224000 @ 4.64514
7.75/7.88	c GLOBAL bounds - >= 348224000 @ 4.71416
7.96/8.07	c GLOBAL bounds - >= 348224000 @ 4.85131
8.55/8.65	c GLOBAL bounds - >= 400062464 @ 5.41822
8.65/8.73	c GLOBAL bounds - >= 400062464 @ 5.48771
8.65/8.75	c GLOBAL bounds - >= 400062464 @ 5.49273
8.65/8.75	c GLOBAL bounds - >= 400062464 @ 5.49884
8.65/8.76	c GLOBAL bounds - >= 400062464 @ 5.50334
8.65/8.78	c GLOBAL bounds - >= 400062464 @ 5.51346
8.85/8.90	c GLOBAL bounds - >= 400062464 @ 5.56762
8.85/8.91	c GLOBAL bounds - >= 400062464 @ 5.5732
8.96/9.03	c GLOBAL bounds - >= 400062464 @ 5.63971
8.96/9.04	c GLOBAL bounds - >= 400062464 @ 5.64526
9.05/9.16	c GLOBAL bounds - >= 400062464 @ 5.69684
9.05/9.17	c GLOBAL bounds - >= 400062464 @ 5.707
9.14/9.29	c GLOBAL bounds - >= 400062464 @ 5.76268
9.24/9.30	c GLOBAL bounds - >= 400062464 @ 5.77021
9.35/9.42	c GLOBAL bounds - >= 400062464 @ 5.82274
9.35/9.43	c GLOBAL bounds - >= 400062464 @ 5.8312
9.45/9.55	c GLOBAL bounds - >= 400062464 @ 5.88444
9.45/9.56	c GLOBAL bounds - >= 400062464 @ 5.89363
9.54/9.68	c GLOBAL bounds - >= 400062464 @ 5.94788
9.54/9.69	c GLOBAL bounds - >= 400062464 @ 5.9572
9.74/9.81	c GLOBAL bounds - >= 400062464 @ 6.006
9.74/9.82	c GLOBAL bounds - >= 400062464 @ 6.01531
9.85/9.94	c GLOBAL bounds - >= 400062464 @ 6.06751
9.85/9.95	c GLOBAL bounds - >= 400062464 @ 6.07655
9.95/10.08	c GLOBAL bounds - >= 400062464 @ 6.13465
10.05/10.18	c GLOBAL bounds - >= 400062464 @ 6.18152
10.24/10.30	c GLOBAL bounds - >= 400062464 @ 6.24368
10.35/10.43	c GLOBAL bounds - >= 400062464 @ 6.3045
10.45/10.55	c GLOBAL bounds - >= 400062464 @ 6.37718
10.54/10.67	c GLOBAL bounds - >= 400062464 @ 6.4454
10.64/10.79	c GLOBAL bounds - >= 400062464 @ 6.50949
10.84/10.91	c GLOBAL bounds - >= 400062464 @ 6.56771
10.95/11.04	c GLOBAL bounds - >= 400062464 @ 6.6273
11.05/11.16	c GLOBAL bounds - >= 400062464 @ 6.69985
11.14/11.29	c GLOBAL bounds - >= 400062464 @ 6.76393
11.34/11.41	c GLOBAL bounds - >= 400062464 @ 6.83701
11.54/11.61	c GLOBAL bounds - >= 400062464 @ 6.97534
11.65/11.71	c GLOBAL bounds - >= 400062464 @ 7.02236
11.74/11.82	c GLOBAL bounds - >= 400062464 @ 7.07911
11.84/11.95	c GLOBAL bounds - >= 400062464 @ 7.14413
11.94/12.07	c GLOBAL bounds - >= 400062464 @ 7.21685
12.14/12.21	c GLOBAL bounds - >= 400062464 @ 7.29028
12.34/12.44	c GLOBAL bounds - >= 400062464 @ 7.46594
12.44/12.56	c GLOBAL bounds - >= 400062464 @ 7.53422
12.64/12.72	c GLOBAL bounds - >= 400062464 @ 7.6288
12.74/12.87	c GLOBAL bounds - >= 400124928 @ 7.7838
12.74/12.89	c GLOBAL bounds - >= 400124928 @ 7.79888
12.94/13.01	c GLOBAL bounds - >= 400124928 @ 7.85515
12.94/13.02	c GLOBAL bounds - >= 400124928 @ 7.86071
13.04/13.14	c GLOBAL bounds - >= 400124928 @ 7.91649
13.04/13.16	c GLOBAL bounds - >= 400124928 @ 7.92598
13.14/13.28	c GLOBAL bounds - >= 400124928 @ 7.98895
13.24/13.30	c GLOBAL bounds - >= 400124928 @ 7.99806
13.34/13.42	c GLOBAL bounds - >= 400124928 @ 8.05196
13.34/13.43	c GLOBAL bounds - >= 400124928 @ 8.06052
13.44/13.55	c GLOBAL bounds - >= 400124928 @ 8.12073
13.44/13.57	c GLOBAL bounds - >= 400124928 @ 8.13234
13.54/13.69	c GLOBAL bounds - >= 400124928 @ 8.17991
13.64/13.71	c GLOBAL bounds - >= 400124928 @ 8.19168
13.73/13.83	c GLOBAL bounds - >= 400124928 @ 8.2452
13.73/13.85	c GLOBAL bounds - >= 400124928 @ 8.25706
13.84/13.97	c GLOBAL bounds - >= 400124928 @ 8.30057
13.84/13.98	c GLOBAL bounds - >= 400124928 @ 8.31382
14.04/14.10	c GLOBAL bounds - >= 400124928 @ 8.36842
14.04/14.11	c GLOBAL bounds - >= 400124928 @ 8.37313
14.14/14.23	c GLOBAL bounds - >= 400124928 @ 8.43914
14.23/14.34	c GLOBAL bounds - >= 400124928 @ 8.49599
14.34/14.46	c GLOBAL bounds - >= 400124928 @ 8.5499
14.53/14.60	c GLOBAL bounds - >= 400124928 @ 8.62529
14.64/14.76	c GLOBAL bounds - >= 400124928 @ 8.73544
14.83/14.91	c GLOBAL bounds - >= 400124928 @ 8.82114
15.04/15.11	c GLOBAL bounds - >= 400124928 @ 8.96472
15.13/15.24	c GLOBAL bounds - >= 400124928 @ 9.03577
15.23/15.39	c GLOBAL bounds - >= 400124928 @ 9.13417
15.43/15.52	c GLOBAL bounds - >= 400124928 @ 9.20206
15.53/15.66	c GLOBAL bounds - >= 400124928 @ 9.28233
15.93/16.07	c GLOBAL bounds - >= 400124928 @ 9.63881
16.12/16.21	c GLOBAL bounds - >= 400124928 @ 9.71577
16.23/16.34	c GLOBAL bounds - >= 400124928 @ 9.78791
16.43/16.50	c GLOBAL bounds - >= 425986560 @ 9.94806
16.52/16.69	c GLOBAL bounds - >= 425986560 @ 10.1209
16.63/16.70	c GLOBAL bounds - >= 425986560 @ 10.1245
16.73/16.82	c GLOBAL bounds - >= 425986560 @ 10.1824
16.73/16.83	c GLOBAL bounds - >= 425986560 @ 10.1864
16.83/16.95	c GLOBAL bounds - >= 425986560 @ 10.2359
16.83/16.96	c GLOBAL bounds - >= 425986560 @ 10.2415
16.93/17.08	c GLOBAL bounds - >= 425986560 @ 10.3044
16.93/17.10	c GLOBAL bounds - >= 425986560 @ 10.3146
17.12/17.23	c GLOBAL bounds - >= 425986560 @ 10.3709
17.12/17.25	c GLOBAL bounds - >= 425986560 @ 10.3816
17.22/17.37	c GLOBAL bounds - >= 425986560 @ 10.4377
17.22/17.39	c GLOBAL bounds - >= 425986560 @ 10.4474
17.43/17.51	c GLOBAL bounds - >= 425986560 @ 10.5056
17.43/17.53	c GLOBAL bounds - >= 425986560 @ 10.5138
17.53/17.65	c GLOBAL bounds - >= 425986560 @ 10.572
17.53/17.67	c GLOBAL bounds - >= 425986560 @ 10.5811
17.62/17.79	c GLOBAL bounds - >= 425986560 @ 10.6284
17.72/17.80	c GLOBAL bounds - >= 425986560 @ 10.6409
17.82/17.92	c GLOBAL bounds - >= 425986560 @ 10.6991
17.82/17.94	c GLOBAL bounds - >= 425986560 @ 10.7082
17.93/18.06	c GLOBAL bounds - >= 425986560 @ 10.7569
18.03/18.17	c GLOBAL bounds - >= 425986560 @ 10.8066
18.12/18.27	c GLOBAL bounds - >= 425986560 @ 10.862
18.32/18.40	c GLOBAL bounds - >= 425986560 @ 10.9373
18.42/18.55	c GLOBAL bounds - >= 425986560 @ 11.03
18.52/18.69	c GLOBAL bounds - >= 425986560 @ 11.1053
18.72/18.82	c GLOBAL bounds - >= 425986560 @ 11.1876
18.83/18.97	c GLOBAL bounds - >= 425986560 @ 11.283
19.03/19.19	c GLOBAL bounds - >= 425986560 @ 11.4479
19.22/19.32	c GLOBAL bounds - >= 425986560 @ 11.5262
19.32/19.45	c GLOBAL bounds - >= 425986560 @ 11.596
19.52/19.61	c GLOBAL bounds - >= 425986560 @ 11.6781
19.81/19.96	c GLOBAL bounds - >= 425986560 @ 11.9583
19.93/20.06	c GLOBAL bounds - >= 425986560 @ 12.0112
20.03/20.16	c GLOBAL bounds - >= 425986560 @ 12.0611
20.12/20.27	c GLOBAL bounds - >= 425986560 @ 12.1156
20.22/20.37	c GLOBAL bounds - >= 425986560 @ 12.1698
20.32/20.49	c GLOBAL bounds - >= 425986560 @ 12.2386
20.52/20.61	c GLOBAL bounds - >= 425986560 @ 12.3055
20.62/20.76	c GLOBAL bounds - >= 425986560 @ 12.3932
21.02/21.17	c GLOBAL bounds - >= 425986560 @ 12.7428
21.32/21.40	c GLOBAL bounds - >= 435508736 @ 12.978
21.32/21.48	c GLOBAL bounds - >= 435508736 @ 13.0391
21.32/21.49	c GLOBAL bounds - >= 435508736 @ 13.0451
21.41/21.50	c GLOBAL bounds - >= 435508736 @ 13.0509
21.41/21.51	c GLOBAL bounds - >= 435508736 @ 13.0579
21.52/21.64	c GLOBAL bounds - >= 435508736 @ 13.1206
21.52/21.65	c GLOBAL bounds - >= 435508736 @ 13.1299
21.61/21.77	c GLOBAL bounds - >= 435508736 @ 13.1908
21.61/21.78	c GLOBAL bounds - >= 435508736 @ 13.1991
21.81/21.91	c GLOBAL bounds - >= 435508736 @ 13.256
21.81/21.92	c GLOBAL bounds - >= 435508736 @ 13.2653
21.92/22.04	c GLOBAL bounds - >= 435508736 @ 13.3219
21.92/22.06	c GLOBAL bounds - >= 435508736 @ 13.3323
22.02/22.18	c GLOBAL bounds - >= 435508736 @ 13.3883
22.02/22.19	c GLOBAL bounds - >= 435508736 @ 13.395
22.21/22.32	c GLOBAL bounds - >= 435508736 @ 13.464
22.21/22.33	c GLOBAL bounds - >= 435508736 @ 13.4721
22.31/22.45	c GLOBAL bounds - >= 435508736 @ 13.5359
22.31/22.46	c GLOBAL bounds - >= 435508736 @ 13.5431
22.41/22.59	c GLOBAL bounds - >= 435508736 @ 13.5997
22.51/22.61	c GLOBAL bounds - >= 435508736 @ 13.6112
22.61/22.73	c GLOBAL bounds - >= 435508736 @ 13.6605
22.61/22.74	c GLOBAL bounds - >= 435508736 @ 13.6687
22.71/22.87	c GLOBAL bounds - >= 435508736 @ 13.7289
22.81/22.97	c GLOBAL bounds - >= 435508736 @ 13.7842
22.91/23.08	c GLOBAL bounds - >= 435508736 @ 13.833
23.02/23.19	c GLOBAL bounds - >= 435508736 @ 13.8833
23.21/23.30	c GLOBAL bounds - >= 435508736 @ 13.9387
23.30/23.41	c GLOBAL bounds - >= 435508736 @ 13.9856
23.41/23.52	c GLOBAL bounds - >= 435508736 @ 14.0326
23.51/23.63	c GLOBAL bounds - >= 435508736 @ 14.0922
23.61/23.76	c GLOBAL bounds - >= 435508736 @ 14.1591
23.80/23.92	c GLOBAL bounds - >= 435508736 @ 14.262
24.01/24.12	c GLOBAL bounds - >= 435508736 @ 14.4044
24.31/24.44	c GLOBAL bounds - >= 435508736 @ 14.6618
24.91/25.08	c GLOBAL bounds - >= 435508736 @ 15.235
25.01/25.18	c GLOBAL bounds - >= 435508736 @ 15.2912
25.20/25.30	c GLOBAL bounds - >= 435508736 @ 15.3507
25.30/25.45	c GLOBAL bounds - >= 435508736 @ 15.4412
25.50/25.64	c GLOBAL bounds - >= 435508736 @ 15.57
25.70/25.83	c GLOBAL bounds - >= 435508736 @ 15.6925
26.20/26.30	c GLOBAL bounds - >= 447459840 @ 16.157
26.50/26.61	c GLOBAL bounds - >= 447459840 @ 16.4338
26.59/26.72	c GLOBAL bounds - >= 447459840 @ 16.4883
26.59/26.74	c GLOBAL bounds - >= 447459840 @ 16.501
26.70/26.86	c GLOBAL bounds - >= 447459840 @ 16.5622
26.70/26.87	c GLOBAL bounds - >= 447459840 @ 16.5681
26.80/27.00	c GLOBAL bounds - >= 447459840 @ 16.6349
26.90/27.01	c GLOBAL bounds - >= 447459840 @ 16.6378
27.00/27.13	c GLOBAL bounds - >= 447459840 @ 16.7034
27.00/27.15	c GLOBAL bounds - >= 447459840 @ 16.7175
27.10/27.28	c GLOBAL bounds - >= 447459840 @ 16.7785
27.10/27.29	c GLOBAL bounds - >= 447459840 @ 16.7846
27.30/27.41	c GLOBAL bounds - >= 447459840 @ 16.8443
27.30/27.42	c GLOBAL bounds - >= 447459840 @ 16.8499
27.40/27.54	c GLOBAL bounds - >= 447459840 @ 16.9114
27.40/27.56	c GLOBAL bounds - >= 447459840 @ 16.9253
27.50/27.69	c GLOBAL bounds - >= 447459840 @ 16.98
27.59/27.70	c GLOBAL bounds - >= 447459840 @ 16.9868
27.70/27.82	c GLOBAL bounds - >= 447459840 @ 17.051
27.70/27.83	c GLOBAL bounds - >= 447459840 @ 17.0579
27.80/27.96	c GLOBAL bounds - >= 447459840 @ 17.1135
27.90/28.07	c GLOBAL bounds - >= 447459840 @ 17.1683
28.09/28.20	c GLOBAL bounds - >= 447459840 @ 17.2475
28.19/28.34	c GLOBAL bounds - >= 447459840 @ 17.3236
28.39/28.50	c GLOBAL bounds - >= 447459840 @ 17.4196
28.50/28.66	c GLOBAL bounds - >= 447459840 @ 17.5146
28.70/28.81	c GLOBAL bounds - >= 447459840 @ 17.614
28.80/28.99	c GLOBAL bounds - >= 447459840 @ 17.7363
29.49/29.66	c GLOBAL bounds - >= 447459840 @ 18.339
29.59/29.77	c GLOBAL bounds - >= 447459840 @ 18.3948
29.69/29.88	c GLOBAL bounds - >= 447459840 @ 18.4593
32.09/32.23	c GLOBAL bounds - >= 447459840 @ 20.6992
40.56/40.76	c #Conflicts:       1000 | #Constraints:     847256
40.56/40.76	c GLOBAL bounds - >= 447459840 @ 29.075
40.76/40.91	c GLOBAL bounds - >= 447459840 @ 29.1673
40.86/41.07	c GLOBAL bounds - >= 447459840 @ 29.268
41.06/41.26	c GLOBAL bounds - >= 447459840 @ 29.3818
41.26/41.40	c GLOBAL bounds - >= 456833536 @ 29.5222
41.36/41.56	c GLOBAL bounds - >= 456833536 @ 29.6571
41.36/41.57	c GLOBAL bounds - >= 456833536 @ 29.6654
41.55/41.70	c GLOBAL bounds - >= 456833536 @ 29.7326
41.55/41.72	c GLOBAL bounds - >= 456833536 @ 29.7436
41.65/41.85	c GLOBAL bounds - >= 456833536 @ 29.8037
41.65/41.86	c GLOBAL bounds - >= 456833536 @ 29.815
41.76/41.99	c GLOBAL bounds - >= 456833536 @ 29.8826
41.86/42.00	c GLOBAL bounds - >= 456833536 @ 29.8926
41.96/42.13	c GLOBAL bounds - >= 456833536 @ 29.951
41.96/42.14	c GLOBAL bounds - >= 456833536 @ 29.9564
42.06/42.26	c GLOBAL bounds - >= 456833536 @ 30.0223
42.06/42.27	c GLOBAL bounds - >= 456833536 @ 30.0282
42.15/42.40	c GLOBAL bounds - >= 456833536 @ 30.0856
42.25/42.41	c GLOBAL bounds - >= 456833536 @ 30.0953
42.35/42.54	c GLOBAL bounds - >= 456833536 @ 30.1564
42.35/42.55	c GLOBAL bounds - >= 456833536 @ 30.1633
42.46/42.67	c GLOBAL bounds - >= 456833536 @ 30.2282
42.46/42.69	c GLOBAL bounds - >= 456833536 @ 30.2381
42.66/42.81	c GLOBAL bounds - >= 456833536 @ 30.2921
42.66/42.83	c GLOBAL bounds - >= 456833536 @ 30.3021
42.76/42.96	c GLOBAL bounds - >= 456833536 @ 30.3629
42.86/43.07	c GLOBAL bounds - >= 456833536 @ 30.4216
42.96/43.19	c GLOBAL bounds - >= 456833536 @ 30.4851
43.15/43.30	c GLOBAL bounds - >= 456833536 @ 30.5473
43.25/43.43	c GLOBAL bounds - >= 456833536 @ 30.6051
43.35/43.57	c GLOBAL bounds - >= 456833536 @ 30.6913
43.55/43.72	c GLOBAL bounds - >= 456833536 @ 30.7886
43.65/43.88	c GLOBAL bounds - >= 456833536 @ 30.8918
43.86/44.04	c GLOBAL bounds - >= 456833536 @ 31.0055
43.95/44.19	c GLOBAL bounds - >= 456833536 @ 31.0868
44.25/44.41	c GLOBAL bounds - >= 456833536 @ 31.2413
44.34/44.53	c GLOBAL bounds - >= 456833536 @ 31.3152
44.65/44.81	c GLOBAL bounds - >= 456833536 @ 31.5344
44.85/45.01	c GLOBAL bounds - >= 456833536 @ 31.6784
45.65/45.90	c GLOBAL bounds - >= 456833536 @ 32.4876
47.94/48.11	c GLOBAL bounds - >= 463577088 @ 34.6705
48.04/48.20	c GLOBAL bounds - >= 463577088 @ 34.7531
48.04/48.21	c GLOBAL bounds - >= 463577088 @ 34.7588
48.04/48.23	c GLOBAL bounds - >= 463577088 @ 34.7667
48.04/48.24	c GLOBAL bounds - >= 463577088 @ 34.775
48.14/48.37	c GLOBAL bounds - >= 463577088 @ 34.8276
48.14/48.38	c GLOBAL bounds - >= 463577088 @ 34.8381
48.34/48.51	c GLOBAL bounds - >= 463577088 @ 34.8934
48.34/48.53	c GLOBAL bounds - >= 463577088 @ 34.9055
48.44/48.65	c GLOBAL bounds - >= 463577088 @ 34.9591
48.44/48.67	c GLOBAL bounds - >= 463577088 @ 34.9706
48.54/48.79	c GLOBAL bounds - >= 463577088 @ 35.0222
48.64/48.81	c GLOBAL bounds - >= 463577088 @ 35.035
48.74/48.93	c GLOBAL bounds - >= 463577088 @ 35.094
48.74/48.95	c GLOBAL bounds - >= 463577088 @ 35.1065
48.84/49.07	c GLOBAL bounds - >= 463577088 @ 35.1674
48.84/49.09	c GLOBAL bounds - >= 463577088 @ 35.177
49.04/49.22	c GLOBAL bounds - >= 463577088 @ 35.239
49.04/49.23	c GLOBAL bounds - >= 463577088 @ 35.2484
49.14/49.36	c GLOBAL bounds - >= 463577088 @ 35.3131
49.14/49.38	c GLOBAL bounds - >= 463577088 @ 35.3228
49.33/49.50	c GLOBAL bounds - >= 463577088 @ 35.3877
49.33/49.52	c GLOBAL bounds - >= 463577088 @ 35.4011
49.43/49.64	c GLOBAL bounds - >= 463577088 @ 35.4625
49.53/49.76	c GLOBAL bounds - >= 463577088 @ 35.5228
49.64/49.87	c GLOBAL bounds - >= 463577088 @ 35.5787
49.84/50.03	c GLOBAL bounds - >= 463577088 @ 35.6808
50.03/50.25	c GLOBAL bounds - >= 463577088 @ 35.8439
50.13/50.37	c GLOBAL bounds - >= 463577088 @ 35.9012
50.33/50.56	c GLOBAL bounds - >= 463577088 @ 36.0253
50.53/50.72	c GLOBAL bounds - >= 463577088 @ 36.105
50.73/50.90	c GLOBAL bounds - >= 463577088 @ 36.2288
51.43/51.66	c GLOBAL bounds - >= 463577088 @ 36.9314
51.63/51.84	c GLOBAL bounds - >= 463577088 @ 37.0513
53.72/53.93	c GLOBAL bounds - >= 463577088 @ 39.0244
53.93/54.18	c GLOBAL bounds - >= 463577088 @ 39.2079
55.71/55.97	c GLOBAL bounds - >= 463577088 @ 40.9149
59.11/59.30	c GLOBAL bounds - >= 463577088 @ 44.1563
63.40/63.63	c #Conflicts:       2000 | #Constraints:    1080494
63.40/63.63	c INPROCESSING
63.40/63.63	c GARBAGE COLLECT
63.40/63.63	c GLOBAL bounds - >= 463577088 @ 48.3844
64.19/64.40	c GLOBAL bounds - >= 463577088 @ 49.1067
64.29/64.55	c GLOBAL bounds - >= 463577088 @ 49.2053
64.49/64.72	c GLOBAL bounds - >= 463577088 @ 49.3079
64.99/65.27	c GLOBAL bounds - >= 478106112 @ 49.861
65.19/65.46	c GLOBAL bounds - >= 478106112 @ 50.0292
65.19/65.47	c GLOBAL bounds - >= 478106112 @ 50.0375
65.19/65.49	c GLOBAL bounds - >= 478106112 @ 50.0444
65.28/65.50	c GLOBAL bounds - >= 478106112 @ 50.0537
65.39/65.63	c GLOBAL bounds - >= 478106112 @ 50.1163
65.39/65.65	c GLOBAL bounds - >= 478106112 @ 50.1273
65.48/65.77	c GLOBAL bounds - >= 478106112 @ 50.2016
65.48/65.79	c GLOBAL bounds - >= 478106112 @ 50.2134
65.69/65.92	c GLOBAL bounds - >= 478106112 @ 50.2765
65.69/65.93	c GLOBAL bounds - >= 478106112 @ 50.29
65.79/66.06	c GLOBAL bounds - >= 478106112 @ 50.3536
65.79/66.08	c GLOBAL bounds - >= 478106112 @ 50.3636
65.99/66.20	c GLOBAL bounds - >= 478106112 @ 50.4234
65.99/66.22	c GLOBAL bounds - >= 478106112 @ 50.438
66.08/66.35	c GLOBAL bounds - >= 478106112 @ 50.4972
66.08/66.36	c GLOBAL bounds - >= 478106112 @ 50.5084
66.18/66.49	c GLOBAL bounds - >= 478106112 @ 50.5732
66.28/66.50	c GLOBAL bounds - >= 478106112 @ 50.5836
66.38/66.63	c GLOBAL bounds - >= 478106112 @ 50.6428
66.38/66.65	c GLOBAL bounds - >= 478106112 @ 50.6523
66.48/66.77	c GLOBAL bounds - >= 478106112 @ 50.7096
66.48/66.79	c GLOBAL bounds - >= 478106112 @ 50.7218
66.68/66.91	c GLOBAL bounds - >= 478106112 @ 50.7914
66.79/67.09	c GLOBAL bounds - >= 478106112 @ 50.9001
66.98/67.22	c GLOBAL bounds - >= 478106112 @ 50.9742
67.08/67.38	c GLOBAL bounds - >= 478106112 @ 51.0775
67.28/67.56	c GLOBAL bounds - >= 478106112 @ 51.1872
67.48/67.72	c GLOBAL bounds - >= 478106112 @ 51.2829
67.58/67.89	c GLOBAL bounds - >= 478106112 @ 51.3848
67.79/68.02	c GLOBAL bounds - >= 478106112 @ 51.4688
68.18/68.43	c GLOBAL bounds - >= 478106112 @ 51.8163
68.38/68.62	c GLOBAL bounds - >= 478106112 @ 51.9479
68.58/68.84	c GLOBAL bounds - >= 478106112 @ 52.1087
69.68/69.91	c GLOBAL bounds - >= 478106112 @ 53.1135
70.78/71.05	c GLOBAL bounds - >= 478106112 @ 54.1951
72.97/73.26	c GLOBAL bounds - >= 478106112 @ 56.3488
73.06/73.38	c GLOBAL bounds - >= 478106112 @ 56.4132
73.26/73.54	c GLOBAL bounds - >= 478106112 @ 56.5145
73.36/73.68	c GLOBAL bounds - >= 478106112 @ 56.6118
73.56/73.85	c GLOBAL bounds - >= 478106112 @ 56.7185
73.96/74.25	c GLOBAL bounds - >= 483979264 @ 57.1158
74.06/74.35	c GLOBAL bounds - >= 483979264 @ 57.2116
74.16/74.48	c GLOBAL bounds - >= 483979264 @ 57.2778
74.26/74.50	c GLOBAL bounds - >= 483979264 @ 57.2914
74.36/74.63	c GLOBAL bounds - >= 483979264 @ 57.3576
74.36/74.65	c GLOBAL bounds - >= 483979264 @ 57.3705
74.46/74.77	c GLOBAL bounds - >= 483979264 @ 57.4382
74.46/74.79	c GLOBAL bounds - >= 483979264 @ 57.4511
74.66/74.92	c GLOBAL bounds - >= 483979264 @ 57.5092
74.66/74.93	c GLOBAL bounds - >= 483979264 @ 57.5218
74.76/75.06	c GLOBAL bounds - >= 483979264 @ 57.5866
74.76/75.08	c GLOBAL bounds - >= 483979264 @ 57.5983
74.96/75.20	c GLOBAL bounds - >= 483979264 @ 57.6578
74.96/75.22	c GLOBAL bounds - >= 483979264 @ 57.6662
75.06/75.35	c GLOBAL bounds - >= 483979264 @ 57.7324
75.06/75.36	c GLOBAL bounds - >= 483979264 @ 57.7459
75.15/75.49	c GLOBAL bounds - >= 483979264 @ 57.8124
75.25/75.51	c GLOBAL bounds - >= 483979264 @ 57.8272
75.36/75.63	c GLOBAL bounds - >= 483979264 @ 57.8835
75.36/75.65	c GLOBAL bounds - >= 483979264 @ 57.8953
75.46/75.78	c GLOBAL bounds - >= 483979264 @ 57.9539
75.56/75.90	c GLOBAL bounds - >= 483979264 @ 58.0127
75.76/76.03	c GLOBAL bounds - >= 483979264 @ 58.0797
75.86/76.15	c GLOBAL bounds - >= 483979264 @ 58.1424
75.96/76.28	c GLOBAL bounds - >= 483979264 @ 58.1991
76.16/76.40	c GLOBAL bounds - >= 483979264 @ 58.2621
76.26/76.56	c GLOBAL bounds - >= 483979264 @ 58.3685
77.35/77.69	c GLOBAL bounds - >= 483979264 @ 59.42
77.55/77.87	c GLOBAL bounds - >= 483979264 @ 59.5489
79.05/79.38	c GLOBAL bounds - >= 483979264 @ 60.9982
79.35/79.68	c GLOBAL bounds - >= 483979264 @ 61.234
83.93/84.29	c #Conflicts:       3000 | #Constraints:    1306652
83.93/84.29	c GLOBAL bounds - >= 489197568 @ 65.8287
84.13/84.44	c GLOBAL bounds - >= 489197568 @ 65.9632
84.23/84.57	c GLOBAL bounds - >= 489197568 @ 66.0266
84.23/84.59	c GLOBAL bounds - >= 489197568 @ 66.0401
84.43/84.72	c GLOBAL bounds - >= 489197568 @ 66.1163
84.43/84.74	c GLOBAL bounds - >= 489197568 @ 66.1311
84.53/84.87	c GLOBAL bounds - >= 489197568 @ 66.1932
84.53/84.89	c GLOBAL bounds - >= 489197568 @ 66.2063
84.73/85.02	c GLOBAL bounds - >= 489197568 @ 66.2791
84.73/85.03	c GLOBAL bounds - >= 489197568 @ 66.2945
84.84/85.16	c GLOBAL bounds - >= 489197568 @ 66.3576
84.84/85.18	c GLOBAL bounds - >= 489197568 @ 66.3719
85.03/85.31	c GLOBAL bounds - >= 489197568 @ 66.4294
85.03/85.33	c GLOBAL bounds - >= 489197568 @ 66.4432
85.12/85.46	c GLOBAL bounds - >= 489197568 @ 66.5112
85.12/85.48	c GLOBAL bounds - >= 489197568 @ 66.5238
85.33/85.60	c GLOBAL bounds - >= 489197568 @ 66.5894
85.33/85.62	c GLOBAL bounds - >= 489197568 @ 66.6023
85.43/85.75	c GLOBAL bounds - >= 489197568 @ 66.6585
85.43/85.77	c GLOBAL bounds - >= 489197568 @ 66.6704
85.63/85.90	c GLOBAL bounds - >= 489197568 @ 66.7261
85.73/86.01	c GLOBAL bounds - >= 489197568 @ 66.793
85.83/86.13	c GLOBAL bounds - >= 489197568 @ 66.8499
85.93/86.25	c GLOBAL bounds - >= 489197568 @ 66.909
86.12/86.40	c GLOBAL bounds - >= 489197568 @ 66.99
86.22/86.55	c GLOBAL bounds - >= 489197568 @ 67.0756
86.43/86.70	c GLOBAL bounds - >= 489197568 @ 67.1663
86.63/86.98	c GLOBAL bounds - >= 489197568 @ 67.3777
86.83/87.16	c GLOBAL bounds - >= 489197568 @ 67.5033
100.88/101.28	c #Conflicts:       4000 | #Constraints:    1387083
100.88/101.28	c GLOBAL bounds - >= 489197568 @ 81.4362
107.96/108.33	c INPROCESSING
107.96/108.33	c GARBAGE COLLECT
107.96/108.33	c GLOBAL bounds - >= 493359104 @ 88.4329
108.06/108.46	c GLOBAL bounds - >= 493359104 @ 88.5595
108.06/108.48	c GLOBAL bounds - >= 493359104 @ 88.5681
108.06/108.49	c GLOBAL bounds - >= 493359104 @ 88.5783
108.36/108.71	c GLOBAL bounds - >= 493359104 @ 88.723
108.36/108.73	c GLOBAL bounds - >= 493359104 @ 88.7363
108.45/108.85	c GLOBAL bounds - >= 493359104 @ 88.7998
108.45/108.87	c GLOBAL bounds - >= 493359104 @ 88.8147
108.66/109.01	c GLOBAL bounds - >= 493359104 @ 88.8805
108.66/109.03	c GLOBAL bounds - >= 493359104 @ 88.8906
108.76/109.15	c GLOBAL bounds - >= 493359104 @ 88.9493
108.76/109.17	c GLOBAL bounds - >= 493359104 @ 88.9613
108.96/109.30	c GLOBAL bounds - >= 493359104 @ 89.0196
108.96/109.32	c GLOBAL bounds - >= 493359104 @ 89.0318
109.05/109.44	c GLOBAL bounds - >= 493359104 @ 89.0967
109.05/109.46	c GLOBAL bounds - >= 493359104 @ 89.1098
109.15/109.58	c GLOBAL bounds - >= 493359104 @ 89.1714
109.25/109.60	c GLOBAL bounds - >= 493359104 @ 89.1813
109.35/109.73	c GLOBAL bounds - >= 493359104 @ 89.2385
109.35/109.75	c GLOBAL bounds - >= 493359104 @ 89.2498
109.46/109.87	c GLOBAL bounds - >= 493359104 @ 89.3133
109.46/109.89	c GLOBAL bounds - >= 493359104 @ 89.3251
109.66/110.02	c GLOBAL bounds - >= 493359104 @ 89.3843
109.76/110.14	c GLOBAL bounds - >= 493359104 @ 89.438
109.86/110.26	c GLOBAL bounds - >= 493359104 @ 89.4983
110.05/110.42	c GLOBAL bounds - >= 493359104 @ 89.585
110.25/110.61	c GLOBAL bounds - >= 493359104 @ 89.7042
110.35/110.73	c GLOBAL bounds - >= 493359104 @ 89.7555
110.46/110.85	c GLOBAL bounds - >= 493359104 @ 89.8126
110.55/110.98	c GLOBAL bounds - >= 493359104 @ 89.8754
111.35/111.75	c GLOBAL bounds - >= 493359104 @ 90.5867
112.34/112.71	c GLOBAL bounds - >= 493359104 @ 91.4759
113.15/113.51	c GLOBAL bounds - >= 493359104 @ 92.2117
113.24/113.66	c GLOBAL bounds - >= 493359104 @ 92.3
114.75/115.10	c GLOBAL bounds - >= 493359104 @ 93.6837
125.61/126.07	c #Conflicts:       5000 | #Constraints:    1487350
125.61/126.07	c GLOBAL bounds - >= 493359104 @ 104.536
131.18/131.64	c GLOBAL bounds - >= 494415872 @ 110.088
131.29/131.73	c GLOBAL bounds - >= 494415872 @ 110.162
131.29/131.74	c GLOBAL bounds - >= 494415872 @ 110.172
131.29/131.76	c GLOBAL bounds - >= 494415872 @ 110.182
131.29/131.78	c GLOBAL bounds - >= 494415872 @ 110.192
131.49/131.91	c GLOBAL bounds - >= 494415872 @ 110.265
131.49/131.93	c GLOBAL bounds - >= 494415872 @ 110.281
131.59/132.06	c GLOBAL bounds - >= 494415872 @ 110.35
131.59/132.08	c GLOBAL bounds - >= 494415872 @ 110.363
131.79/132.21	c GLOBAL bounds - >= 494415872 @ 110.431
131.79/132.23	c GLOBAL bounds - >= 494415872 @ 110.442
131.89/132.35	c GLOBAL bounds - >= 494415872 @ 110.513
131.89/132.37	c GLOBAL bounds - >= 494415872 @ 110.524
132.08/132.50	c GLOBAL bounds - >= 494415872 @ 110.578
132.08/132.52	c GLOBAL bounds - >= 494415872 @ 110.589
132.19/132.65	c GLOBAL bounds - >= 494415872 @ 110.644
132.19/132.67	c GLOBAL bounds - >= 494415872 @ 110.654
132.28/132.80	c GLOBAL bounds - >= 494415872 @ 110.719
132.39/132.81	c GLOBAL bounds - >= 494415872 @ 110.733
132.48/132.94	c GLOBAL bounds - >= 494415872 @ 110.791
132.48/132.96	c GLOBAL bounds - >= 494415872 @ 110.805
132.59/133.09	c GLOBAL bounds - >= 494415872 @ 110.867
132.69/133.11	c GLOBAL bounds - >= 494415872 @ 110.881
132.79/133.24	c GLOBAL bounds - >= 494415872 @ 110.943
132.88/133.35	c GLOBAL bounds - >= 494415872 @ 110.987
132.98/133.47	c GLOBAL bounds - >= 494415872 @ 111.044
133.18/133.64	c GLOBAL bounds - >= 494415872 @ 111.147
133.29/133.79	c GLOBAL bounds - >= 494415872 @ 111.227
133.49/133.95	c GLOBAL bounds - >= 494415872 @ 111.336
133.59/134.09	c GLOBAL bounds - >= 494415872 @ 111.411
133.78/134.25	c GLOBAL bounds - >= 494415872 @ 111.507
134.59/135.06	c GLOBAL bounds - >= 494415872 @ 112.265
134.69/135.19	c GLOBAL bounds - >= 494415872 @ 112.329
134.88/135.37	c GLOBAL bounds - >= 494415872 @ 112.419
140.06/140.57	c #Conflicts:       6000 | #Constraints:    1578999
140.06/140.57	c GLOBAL bounds - >= 494415872 @ 117.483
140.36/140.86	c GLOBAL bounds - >= 494415872 @ 117.704
161.51/162.10	c INPROCESSING
161.51/162.10	c GARBAGE COLLECT
161.51/162.10	c #Conflicts:       7000 | #Constraints:    1586701
161.51/162.10	c GLOBAL bounds - >= 494415872 @ 138.753
161.70/162.23	c GLOBAL bounds - >= 494415872 @ 138.829
161.90/162.42	c GLOBAL bounds - >= 494415872 @ 138.959
162.09/162.60	c GLOBAL bounds - >= 494415872 @ 139.077
175.85/176.44	c #Conflicts:       8000 | #Constraints:    1605414
175.85/176.44	c GLOBAL bounds - >= 496496640 @ 152.874
175.95/176.54	c GLOBAL bounds - >= 496496640 @ 152.958
175.95/176.56	c GLOBAL bounds - >= 496496640 @ 152.968
175.95/176.57	c GLOBAL bounds - >= 496496640 @ 152.981
175.95/176.59	c GLOBAL bounds - >= 496496640 @ 152.993
176.05/176.61	c GLOBAL bounds - >= 496496640 @ 153.005
176.15/176.75	c GLOBAL bounds - >= 496496640 @ 153.081
176.15/176.77	c GLOBAL bounds - >= 496496640 @ 153.095
176.35/176.92	c GLOBAL bounds - >= 496496640 @ 153.174
176.35/176.93	c GLOBAL bounds - >= 496496640 @ 153.186
176.46/177.08	c GLOBAL bounds - >= 496496640 @ 153.258
176.46/177.10	c GLOBAL bounds - >= 496496640 @ 153.271
176.65/177.25	c GLOBAL bounds - >= 496496640 @ 153.355
176.65/177.27	c GLOBAL bounds - >= 496496640 @ 153.372
176.85/177.41	c GLOBAL bounds - >= 496496640 @ 153.443
176.85/177.43	c GLOBAL bounds - >= 496496640 @ 153.459
176.95/177.56	c GLOBAL bounds - >= 496496640 @ 153.522
176.95/177.58	c GLOBAL bounds - >= 496496640 @ 153.535
177.15/177.71	c GLOBAL bounds - >= 496496640 @ 153.602
177.15/177.73	c GLOBAL bounds - >= 496496640 @ 153.616
177.25/177.87	c GLOBAL bounds - >= 496496640 @ 153.691
177.25/177.89	c GLOBAL bounds - >= 496496640 @ 153.704
177.46/178.01	c GLOBAL bounds - >= 496496640 @ 153.755
177.46/178.02	c GLOBAL bounds - >= 496496640 @ 153.769
177.55/178.17	c GLOBAL bounds - >= 496496640 @ 153.854
177.75/178.30	c GLOBAL bounds - >= 496496640 @ 153.912
177.85/178.43	c GLOBAL bounds - >= 496496640 @ 153.987
177.95/178.56	c GLOBAL bounds - >= 496496640 @ 154.046
178.15/178.72	c GLOBAL bounds - >= 496496640 @ 154.14
178.24/178.89	c GLOBAL bounds - >= 496496640 @ 154.237
178.56/179.12	c GLOBAL bounds - >= 496496640 @ 154.414
195.20/195.80	c #Conflicts:       9000 | #Constraints:    1676685
195.20/195.80	c INPROCESSING
195.20/195.80	c GARBAGE COLLECT
195.20/195.80	c GLOBAL bounds - >= 496496640 @ 170.915
195.40/196.01	c GLOBAL bounds - >= 496496640 @ 171.081
195.50/196.17	c GLOBAL bounds - >= 496496640 @ 171.181
195.69/196.37	c GLOBAL bounds - >= 496496640 @ 171.316
201.77/202.48	c GLOBAL bounds - >= 496496640 @ 177.348
205.26/205.98	c GLOBAL bounds - >= 496496640 @ 180.785
205.47/206.11	c GLOBAL bounds - >= 496496640 @ 180.865
215.23/215.91	c #Conflicts:      10000 | #Constraints:    1706379
215.23/215.91	c GLOBAL bounds - >= 498065408 @ 190.62
215.23/216.00	c GLOBAL bounds - >= 498065408 @ 190.708
215.34/216.02	c GLOBAL bounds - >= 498065408 @ 190.721
215.34/216.03	c GLOBAL bounds - >= 498065408 @ 190.731
215.54/216.25	c GLOBAL bounds - >= 498065408 @ 190.881
215.54/216.27	c GLOBAL bounds - >= 498065408 @ 190.897
215.73/216.41	c GLOBAL bounds - >= 498065408 @ 190.984
215.73/216.43	c GLOBAL bounds - >= 498065408 @ 190.997
215.84/216.56	c GLOBAL bounds - >= 498065408 @ 191.071
215.84/216.58	c GLOBAL bounds - >= 498065408 @ 191.083
216.03/216.71	c GLOBAL bounds - >= 498065408 @ 191.15
216.03/216.72	c GLOBAL bounds - >= 498065408 @ 191.163
216.14/216.85	c GLOBAL bounds - >= 498065408 @ 191.22
216.14/216.87	c GLOBAL bounds - >= 498065408 @ 191.232
216.23/216.98	c GLOBAL bounds - >= 498065408 @ 191.287
216.33/217.00	c GLOBAL bounds - >= 498065408 @ 191.298
216.44/217.13	c GLOBAL bounds - >= 498065408 @ 191.361
216.44/217.15	c GLOBAL bounds - >= 498065408 @ 191.372
216.53/217.28	c GLOBAL bounds - >= 498065408 @ 191.433
216.53/217.30	c GLOBAL bounds - >= 498065408 @ 191.445
216.73/217.42	c GLOBAL bounds - >= 498065408 @ 191.507
216.73/217.44	c GLOBAL bounds - >= 498065408 @ 191.517
216.83/217.57	c GLOBAL bounds - >= 498065408 @ 191.583
216.93/217.69	c GLOBAL bounds - >= 498065408 @ 191.64
217.13/217.80	c GLOBAL bounds - >= 498065408 @ 191.694
217.23/217.94	c GLOBAL bounds - >= 498065408 @ 191.768
217.33/218.06	c GLOBAL bounds - >= 498065408 @ 191.835
217.53/218.21	c GLOBAL bounds - >= 498065408 @ 191.906
217.63/218.36	c GLOBAL bounds - >= 498065408 @ 191.998
217.73/218.48	c GLOBAL bounds - >= 498065408 @ 192.059
217.92/218.68	c GLOBAL bounds - >= 498065408 @ 192.194
218.23/218.99	c GLOBAL bounds - >= 498065408 @ 192.436
219.92/220.67	c GLOBAL bounds - >= 498065408 @ 194.053
220.12/220.81	c GLOBAL bounds - >= 498065408 @ 194.133
220.22/220.97	c GLOBAL bounds - >= 498065408 @ 194.24
223.21/223.99	c GLOBAL bounds - >= 498065408 @ 197.204
227.80/228.59	c #Conflicts:      11000 | #Constraints:    1807730
227.80/228.59	c GLOBAL bounds - >= 498065408 @ 201.73
228.10/228.80	c GLOBAL bounds - >= 498065408 @ 201.882
235.77/236.52	c GLOBAL bounds - >= 498065408 @ 209.492
238.56/239.35	c GLOBAL bounds - >= 498065408 @ 212.258
271.56/272.44	c #Conflicts:      12000 | #Constraints:    1826375
271.56/272.44	c INPROCESSING
271.56/272.44	c GARBAGE COLLECT
271.56/272.44	c #Conflicts:      13000 | #Constraints:    1824799
271.56/272.44	c GLOBAL bounds - >= 500146176 @ 245.168
271.66/272.55	c GLOBAL bounds - >= 500146176 @ 245.274
271.66/272.56	c GLOBAL bounds - >= 500146176 @ 245.286
271.66/272.58	c GLOBAL bounds - >= 500146176 @ 245.297
271.66/272.59	c GLOBAL bounds - >= 500146176 @ 245.31
271.77/272.61	c GLOBAL bounds - >= 500146176 @ 245.321
271.87/272.79	c GLOBAL bounds - >= 500146176 @ 245.434
271.97/272.81	c GLOBAL bounds - >= 500146176 @ 245.446
272.06/272.94	c GLOBAL bounds - >= 500146176 @ 245.516
272.06/272.96	c GLOBAL bounds - >= 500146176 @ 245.528
272.17/273.09	c GLOBAL bounds - >= 500146176 @ 245.604
272.27/273.11	c GLOBAL bounds - >= 500146176 @ 245.617
272.36/273.23	c GLOBAL bounds - >= 500146176 @ 245.682
272.36/273.25	c GLOBAL bounds - >= 500146176 @ 245.694
272.46/273.37	c GLOBAL bounds - >= 500146176 @ 245.751
272.46/273.39	c GLOBAL bounds - >= 500146176 @ 245.763
272.66/273.52	c GLOBAL bounds - >= 500146176 @ 245.821
272.66/273.54	c GLOBAL bounds - >= 500146176 @ 245.834
272.76/273.67	c GLOBAL bounds - >= 500146176 @ 245.902
272.76/273.69	c GLOBAL bounds - >= 500146176 @ 245.912
272.96/273.82	c GLOBAL bounds - >= 500146176 @ 245.976
272.96/273.84	c GLOBAL bounds - >= 500146176 @ 245.988
273.06/273.96	c GLOBAL bounds - >= 500146176 @ 246.056
273.06/273.98	c GLOBAL bounds - >= 500146176 @ 246.072
273.27/274.11	c GLOBAL bounds - >= 500146176 @ 246.141
273.36/274.23	c GLOBAL bounds - >= 500146176 @ 246.202
273.46/274.37	c GLOBAL bounds - >= 500146176 @ 246.269
273.66/274.50	c GLOBAL bounds - >= 500146176 @ 246.338
273.76/274.64	c GLOBAL bounds - >= 500146176 @ 246.415
273.86/274.77	c GLOBAL bounds - >= 500146176 @ 246.491
273.96/274.89	c GLOBAL bounds - >= 500146176 @ 246.553
274.17/275.03	c GLOBAL bounds - >= 500146176 @ 246.624
274.26/275.15	c GLOBAL bounds - >= 500146176 @ 246.687
274.36/275.29	c GLOBAL bounds - >= 500146176 @ 246.76
274.55/275.43	c GLOBAL bounds - >= 500146176 @ 246.845
274.66/275.58	c GLOBAL bounds - >= 500146176 @ 246.934
274.85/275.71	c GLOBAL bounds - >= 500146176 @ 247.003
275.05/275.96	c GLOBAL bounds - >= 500146176 @ 247.195
275.95/276.81	c GLOBAL bounds - >= 500146176 @ 247.986
276.05/276.93	c GLOBAL bounds - >= 500146176 @ 248.044
276.16/277.04	c GLOBAL bounds - >= 500146176 @ 248.102
277.85/278.70	c GLOBAL bounds - >= 500146176 @ 249.701
279.25/280.13	c GLOBAL bounds - >= 500146176 @ 251.072
279.34/280.25	c GLOBAL bounds - >= 500146176 @ 251.14
279.54/280.41	c GLOBAL bounds - >= 500146176 @ 251.239
280.64/281.56	c GLOBAL bounds - >= 500146176 @ 252.331
280.84/281.75	c GLOBAL bounds - >= 500146176 @ 252.469
299.98/300.94	c #Conflicts:      14000 | #Constraints:    1964492
299.98/300.94	c GLOBAL bounds - >= 500146176 @ 271.531
330.89/331.98	c #Conflicts:      15000 | #Constraints:    1969918
330.89/331.98	c INPROCESSING
330.89/331.98	c GARBAGE COLLECT
330.89/331.98	c #Conflicts:      16000 | #Constraints:    1968114
330.89/331.98	c GLOBAL bounds - >= 502755328 @ 302.417
331.09/332.10	c GLOBAL bounds - >= 502755328 @ 302.531
331.09/332.12	c GLOBAL bounds - >= 502755328 @ 302.542
331.09/332.14	c GLOBAL bounds - >= 502755328 @ 302.555
331.09/332.16	c GLOBAL bounds - >= 502755328 @ 302.564
331.09/332.17	c GLOBAL bounds - >= 502755328 @ 302.574
331.09/332.19	c GLOBAL bounds - >= 502755328 @ 302.585
331.18/332.21	c GLOBAL bounds - >= 502755328 @ 302.595
331.18/332.22	c GLOBAL bounds - >= 502755328 @ 302.607
331.18/332.24	c GLOBAL bounds - >= 502755328 @ 302.615
331.29/332.38	c GLOBAL bounds - >= 502755328 @ 302.703
331.38/332.40	c GLOBAL bounds - >= 502755328 @ 302.717
331.48/332.55	c GLOBAL bounds - >= 502755328 @ 302.8
331.48/332.57	c GLOBAL bounds - >= 502755328 @ 302.813
331.69/332.70	c GLOBAL bounds - >= 502755328 @ 302.873
331.69/332.72	c GLOBAL bounds - >= 502755328 @ 302.888
331.78/332.85	c GLOBAL bounds - >= 502755328 @ 302.954
331.78/332.87	c GLOBAL bounds - >= 502755328 @ 302.968
331.88/333.00	c GLOBAL bounds - >= 502755328 @ 303.033
331.98/333.01	c GLOBAL bounds - >= 502755328 @ 303.045
332.09/333.14	c GLOBAL bounds - >= 502755328 @ 303.102
332.09/333.16	c GLOBAL bounds - >= 502755328 @ 303.114
332.19/333.28	c GLOBAL bounds - >= 502755328 @ 303.188
332.28/333.30	c GLOBAL bounds - >= 502755328 @ 303.2
332.38/333.43	c GLOBAL bounds - >= 502755328 @ 303.273
332.38/333.45	c GLOBAL bounds - >= 502755328 @ 303.285
332.48/333.57	c GLOBAL bounds - >= 502755328 @ 303.35
332.48/333.59	c GLOBAL bounds - >= 502755328 @ 303.361
332.68/333.72	c GLOBAL bounds - >= 502755328 @ 303.425
332.78/333.85	c GLOBAL bounds - >= 502755328 @ 303.491
332.98/334.02	c GLOBAL bounds - >= 502755328 @ 303.596
333.08/334.17	c GLOBAL bounds - >= 502755328 @ 303.685
333.28/334.31	c GLOBAL bounds - >= 502755328 @ 303.766
333.38/334.45	c GLOBAL bounds - >= 502755328 @ 303.845
333.57/334.66	c GLOBAL bounds - >= 502755328 @ 303.995
333.68/334.79	c GLOBAL bounds - >= 502755328 @ 304.067
333.88/334.93	c GLOBAL bounds - >= 502755328 @ 304.14
333.98/335.06	c GLOBAL bounds - >= 502755328 @ 304.208
334.18/335.27	c GLOBAL bounds - >= 502755328 @ 304.35
348.34/349.42	c #Conflicts:      17000 | #Constraints:    2054852
348.34/349.42	c GLOBAL bounds - >= 502755328 @ 318.4
383.62/384.87	c #Conflicts:      18000 | #Constraints:    2060216
383.62/384.87	c INPROCESSING
383.62/384.87	c GARBAGE COLLECT
383.62/384.87	c GLOBAL bounds - >= 502755328 @ 353.564
383.72/385.00	c GLOBAL bounds - >= 502755328 @ 353.63
386.71/387.98	c GLOBAL bounds - >= 502755328 @ 356.556
431.88/433.21	c #Conflicts:      19000 | #Constraints:    2071312
431.88/433.21	c #Conflicts:      20000 | #Constraints:    2072312
431.88/433.21	c GLOBAL bounds - >= 503787520 @ 401.614
431.88/433.29	c GLOBAL bounds - >= 503787520 @ 401.689
431.98/433.30	c GLOBAL bounds - >= 503787520 @ 401.697
431.98/433.32	c GLOBAL bounds - >= 503787520 @ 401.71
431.98/433.34	c GLOBAL bounds - >= 503787520 @ 401.723
431.98/433.36	c GLOBAL bounds - >= 503787520 @ 401.735
431.98/433.37	c GLOBAL bounds - >= 503787520 @ 401.744
432.17/433.50	c GLOBAL bounds - >= 503787520 @ 401.818
432.17/433.52	c GLOBAL bounds - >= 503787520 @ 401.834
432.28/433.65	c GLOBAL bounds - >= 503787520 @ 401.903
432.28/433.67	c GLOBAL bounds - >= 503787520 @ 401.917
432.37/433.79	c GLOBAL bounds - >= 503787520 @ 401.965
432.47/433.81	c GLOBAL bounds - >= 503787520 @ 401.975
432.57/433.94	c GLOBAL bounds - >= 503787520 @ 402.047
432.57/433.96	c GLOBAL bounds - >= 503787520 @ 402.063
432.68/434.09	c GLOBAL bounds - >= 503787520 @ 402.124
432.78/434.11	c GLOBAL bounds - >= 503787520 @ 402.136
432.88/434.24	c GLOBAL bounds - >= 503787520 @ 402.211
432.88/434.26	c GLOBAL bounds - >= 503787520 @ 402.225
432.98/434.39	c GLOBAL bounds - >= 503787520 @ 402.294
433.07/434.41	c GLOBAL bounds - >= 503787520 @ 402.306
433.17/434.54	c GLOBAL bounds - >= 503787520 @ 402.378
433.17/434.56	c GLOBAL bounds - >= 503787520 @ 402.391
433.27/434.68	c GLOBAL bounds - >= 503787520 @ 402.452
433.37/434.70	c GLOBAL bounds - >= 503787520 @ 402.463
433.47/434.83	c GLOBAL bounds - >= 503787520 @ 402.52
433.58/434.97	c GLOBAL bounds - >= 503787520 @ 402.589
433.77/435.11	c GLOBAL bounds - >= 503787520 @ 402.667
433.87/435.29	c #Conflicts:      21000 | #Constraints:    2123783
433.87/435.29	c GLOBAL bounds - >= 503787520 @ 402.777
434.07/435.49	c GLOBAL bounds - >= 503787520 @ 402.924
434.27/435.63	c GLOBAL bounds - >= 503787520 @ 403.006
434.37/435.77	c GLOBAL bounds - >= 503787520 @ 403.084
434.57/435.99	c GLOBAL bounds - >= 503787520 @ 403.227
434.78/436.18	c GLOBAL bounds - >= 503787520 @ 403.362
435.07/436.46	c GLOBAL bounds - >= 503787520 @ 403.588
435.27/436.65	c GLOBAL bounds - >= 503787520 @ 403.716
435.46/436.88	c GLOBAL bounds - >= 503787520 @ 403.891
435.67/437.03	c GLOBAL bounds - >= 503787520 @ 403.979
440.25/441.69	c GLOBAL bounds - >= 503787520 @ 408.552
441.05/442.49	c GLOBAL bounds - >= 503787520 @ 409.291
441.35/442.71	c GLOBAL bounds - >= 503787520 @ 409.438
441.55/442.96	c GLOBAL bounds - >= 503787520 @ 409.627
441.94/443.31	c GLOBAL bounds - >= 503787520 @ 409.922
445.93/447.33	c GLOBAL bounds - >= 503787520 @ 413.834
446.23/447.63	c GLOBAL bounds - >= 503787520 @ 414.071
612.42/614.34	c #Conflicts:      22000 | #Constraints:    2197712
612.42/614.34	c #Conflicts:      23000 | #Constraints:    2198712
612.42/614.34	c #Conflicts:      24000 | #Constraints:    2199712
612.42/614.34	c #Conflicts:      25000 | #Constraints:    2200712
612.42/614.34	c #Conflicts:      26000 | #Constraints:    2201712
612.42/614.34	c GLOBAL bounds - >= 506908672 @ 579.624
612.52/614.49	c GLOBAL bounds - >= 506908672 @ 579.76
612.62/614.51	c GLOBAL bounds - >= 506908672 @ 579.771
612.62/614.53	c GLOBAL bounds - >= 506908672 @ 579.786
612.62/614.54	c GLOBAL bounds - >= 506908672 @ 579.797
612.62/614.56	c GLOBAL bounds - >= 506908672 @ 579.809
612.82/614.70	c GLOBAL bounds - >= 506908672 @ 579.893
612.82/614.72	c GLOBAL bounds - >= 506908672 @ 579.906
612.92/614.86	c GLOBAL bounds - >= 506908672 @ 579.983
612.92/614.87	c GLOBAL bounds - >= 506908672 @ 579.995
613.12/615.01	c GLOBAL bounds - >= 506908672 @ 580.068
613.12/615.03	c GLOBAL bounds - >= 506908672 @ 580.082
613.23/615.16	c GLOBAL bounds - >= 506908672 @ 580.149
613.23/615.18	c GLOBAL bounds - >= 506908672 @ 580.16
613.42/615.31	c GLOBAL bounds - >= 506908672 @ 580.226
613.42/615.33	c GLOBAL bounds - >= 506908672 @ 580.239
613.52/615.46	c GLOBAL bounds - >= 506908672 @ 580.303
613.52/615.48	c GLOBAL bounds - >= 506908672 @ 580.315
613.72/615.61	c GLOBAL bounds - >= 506908672 @ 580.387
613.72/615.63	c GLOBAL bounds - >= 506908672 @ 580.401
613.82/615.77	c GLOBAL bounds - >= 506908672 @ 580.467
613.82/615.78	c GLOBAL bounds - >= 506908672 @ 580.477
614.01/615.92	c GLOBAL bounds - >= 506908672 @ 580.533
614.01/615.93	c GLOBAL bounds - >= 506908672 @ 580.545
614.12/616.07	c GLOBAL bounds - >= 506908672 @ 580.613
614.22/616.19	c GLOBAL bounds - >= 506908672 @ 580.682
614.41/616.32	c GLOBAL bounds - >= 506908672 @ 580.742
614.52/616.45	c GLOBAL bounds - >= 506908672 @ 580.814
614.62/616.59	c GLOBAL bounds - >= 506908672 @ 580.878
614.91/616.82	c GLOBAL bounds - >= 506908672 @ 581.025
615.22/617.19	c #Conflicts:      27000 | #Constraints:    2265822
615.22/617.19	c GLOBAL bounds - >= 506908672 @ 581.31
615.42/617.31	c GLOBAL bounds - >= 506908672 @ 581.384
617.51/619.43	c GLOBAL bounds - >= 506908672 @ 583.418
617.71/619.60	c GLOBAL bounds - >= 506908672 @ 583.537
617.91/619.87	c GLOBAL bounds - >= 506908672 @ 583.751
618.80/620.78	c GLOBAL bounds - >= 506908672 @ 584.594
624.88/626.89	c GLOBAL bounds - >= 506908672 @ 590.579
635.35/637.36	c #Conflicts:      28000 | #Constraints:    2296279
635.35/637.36	c GLOBAL bounds - >= 506908672 @ 600.889
635.65/637.62	c GLOBAL bounds - >= 506908672 @ 601.089
656.68/658.78	c INPROCESSING
656.68/658.78	c GARBAGE COLLECT
656.68/658.78	c #Conflicts:      29000 | #Constraints:    2298999
656.68/658.78	c GLOBAL bounds - >= 506908672 @ 622.039
656.88/658.94	c GLOBAL bounds - >= 506908672 @ 622.153
657.19/659.21	c GLOBAL bounds - >= 506908672 @ 622.351
657.48/659.56	c GLOBAL bounds - >= 506908672 @ 622.645
662.27/664.34	c GLOBAL bounds - >= 506908672 @ 627.338
689.18/691.35	c #Conflicts:      30000 | #Constraints:    2321714
689.18/691.35	c GLOBAL bounds - >= 506908672 @ 654.178
689.59/691.71	c GLOBAL bounds - >= 506908672 @ 654.476
704.64/706.82	c #Conflicts:      31000 | #Constraints:    2331424
704.64/706.82	c GLOBAL bounds - >= 506908672 @ 669.463
704.84/707.05	c GLOBAL bounds - >= 506908672 @ 669.633
705.43/707.62	c GLOBAL bounds - >= 506908672 @ 670.143
705.63/707.81	c GLOBAL bounds - >= 506908672 @ 670.275
757.28/759.65	c #Conflicts:      32000 | #Constraints:    2349886
757.28/759.65	c #Conflicts:      33000 | #Constraints:    2350886
757.28/759.65	c GLOBAL bounds - >= 506908672 @ 721.882
757.79/760.10	c GLOBAL bounds - >= 506908672 @ 722.28
757.88/760.27	c GLOBAL bounds - >= 506908672 @ 722.39
792.76/795.23	c INPROCESSING
792.76/795.23	c GARBAGE COLLECT
792.76/795.23	c #Conflicts:      34000 | #Constraints:    2359325
792.76/795.23	c GLOBAL bounds - >= 506916864 @ 757.197
792.76/795.27	c GLOBAL bounds - >= 506916864 @ 757.238
792.76/795.29	c GLOBAL bounds - >= 506916864 @ 757.25
792.87/795.31	c GLOBAL bounds - >= 506916864 @ 757.261
792.87/795.32	c GLOBAL bounds - >= 506916864 @ 757.273
793.26/795.78	c GLOBAL bounds - >= 506916864 @ 757.664
793.37/795.80	c GLOBAL bounds - >= 506916864 @ 757.675
793.47/795.94	c GLOBAL bounds - >= 506916864 @ 757.735
793.47/795.95	c GLOBAL bounds - >= 506916864 @ 757.746
793.57/796.08	c GLOBAL bounds - >= 506916864 @ 757.82
793.67/796.10	c GLOBAL bounds - >= 506916864 @ 757.831
793.77/796.24	c GLOBAL bounds - >= 506916864 @ 757.901
793.77/796.26	c GLOBAL bounds - >= 506916864 @ 757.913
793.86/796.39	c GLOBAL bounds - >= 506916864 @ 757.99
793.97/796.41	c GLOBAL bounds - >= 506916864 @ 758.003
794.06/796.58	c GLOBAL bounds - >= 506916864 @ 758.092
794.16/796.60	c GLOBAL bounds - >= 506916864 @ 758.107
794.26/796.73	c GLOBAL bounds - >= 506916864 @ 758.185
794.26/796.75	c GLOBAL bounds - >= 506916864 @ 758.201
794.36/796.89	c GLOBAL bounds - >= 506916864 @ 758.264
794.46/796.91	c GLOBAL bounds - >= 506916864 @ 758.274
794.57/797.05	c GLOBAL bounds - >= 506916864 @ 758.355
794.57/797.07	c GLOBAL bounds - >= 506916864 @ 758.368
794.76/797.20	c GLOBAL bounds - >= 506916864 @ 758.442
794.86/797.32	c GLOBAL bounds - >= 506916864 @ 758.499
794.96/797.45	c GLOBAL bounds - >= 506916864 @ 758.568
795.06/797.57	c GLOBAL bounds - >= 506916864 @ 758.631
795.25/797.78	c GLOBAL bounds - >= 506916864 @ 758.768
795.46/797.99	c GLOBAL bounds - >= 506916864 @ 758.9
795.86/798.30	c GLOBAL bounds - >= 506916864 @ 759.16
796.06/798.55	c GLOBAL bounds - >= 506916864 @ 759.347
819.88/822.40	c #Conflicts:      35000 | #Constraints:    2434225
819.88/822.40	c GLOBAL bounds - >= 506916864 @ 783.041
962.55/965.54	c #Conflicts:      36000 | #Constraints:    2439592
962.55/965.54	c #Conflicts:      37000 | #Constraints:    2440592
962.55/965.54	c #Conflicts:      38000 | #Constraints:    2441592
962.55/965.54	c INPROCESSING
962.55/965.54	c GARBAGE COLLECT
962.55/965.54	c #Conflicts:      39000 | #Constraints:    2437407
962.55/965.54	c #Conflicts:      40000 | #Constraints:    2438407
962.55/965.54	c #Conflicts:      41000 | #Constraints:    2439407
962.55/965.54	c GLOBAL bounds - >= 508493824 @ 925.656
962.64/965.63	c GLOBAL bounds - >= 508493824 @ 925.733
962.64/965.64	c GLOBAL bounds - >= 508493824 @ 925.743
962.64/965.66	c GLOBAL bounds - >= 508493824 @ 925.754
962.64/965.67	c GLOBAL bounds - >= 508493824 @ 925.763
962.64/965.69	c GLOBAL bounds - >= 508493824 @ 925.769
962.75/965.70	c GLOBAL bounds - >= 508493824 @ 925.776
962.75/965.71	c GLOBAL bounds - >= 508493824 @ 925.784
962.75/965.73	c GLOBAL bounds - >= 508493824 @ 925.794
962.94/965.91	c GLOBAL bounds - >= 508493824 @ 925.91
962.94/965.93	c GLOBAL bounds - >= 508493824 @ 925.922
963.05/966.06	c GLOBAL bounds - >= 508493824 @ 925.991
963.05/966.08	c GLOBAL bounds - >= 508493824 @ 926.005
963.24/966.22	c GLOBAL bounds - >= 508493824 @ 926.082
963.24/966.24	c GLOBAL bounds - >= 508493824 @ 926.098
963.34/966.37	c GLOBAL bounds - >= 508493824 @ 926.17
963.34/966.39	c GLOBAL bounds - >= 508493824 @ 926.181
963.54/966.52	c GLOBAL bounds - >= 508493824 @ 926.237
963.54/966.54	c GLOBAL bounds - >= 508493824 @ 926.252
963.74/966.70	c GLOBAL bounds - >= 508493824 @ 926.34
963.74/966.71	c GLOBAL bounds - >= 508493824 @ 926.348
963.84/966.85	c GLOBAL bounds - >= 508493824 @ 926.415
963.84/966.87	c GLOBAL bounds - >= 508493824 @ 926.426
963.94/967.00	c GLOBAL bounds - >= 508493824 @ 926.491
964.04/967.02	c GLOBAL bounds - >= 508493824 @ 926.504
964.14/967.15	c GLOBAL bounds - >= 508493824 @ 926.575
964.14/967.16	c GLOBAL bounds - >= 508493824 @ 926.585
964.24/967.29	c GLOBAL bounds - >= 508493824 @ 926.646
964.43/967.43	c GLOBAL bounds - >= 508493824 @ 926.725
964.54/967.59	c GLOBAL bounds - >= 508493824 @ 926.809
964.74/967.72	c GLOBAL bounds - >= 508493824 @ 926.887
964.84/967.85	c GLOBAL bounds - >= 508493824 @ 926.946
964.94/967.99	c GLOBAL bounds - >= 508493824 @ 927.019
965.14/968.12	c GLOBAL bounds - >= 508493824 @ 927.091
965.24/968.25	c GLOBAL bounds - >= 508493824 @ 927.151
965.34/968.38	c GLOBAL bounds - >= 508493824 @ 927.221
965.53/968.51	c GLOBAL bounds - >= 508493824 @ 927.296
965.64/968.69	c GLOBAL bounds - >= 508493824 @ 927.408
965.84/968.81	c GLOBAL bounds - >= 508493824 @ 927.482
966.14/969.16	c GLOBAL bounds - >= 508493824 @ 927.765
966.43/969.43	c GLOBAL bounds - >= 508493824 @ 927.986
974.91/977.92	c GLOBAL bounds - >= 508493824 @ 936.395
975.11/978.15	c GLOBAL bounds - >= 508493824 @ 936.564
985.17/988.24	c #Conflicts:      42000 | #Constraints:    2547715
985.17/988.24	c GLOBAL bounds - >= 508493824 @ 946.556
1006.92/1010.07	c INPROCESSING
1006.92/1010.07	c GARBAGE COLLECT
1006.92/1010.07	c #Conflicts:      43000 | #Constraints:    2548024
1006.92/1010.07	c GLOBAL bounds - >= 508493824 @ 968.214
1117.96/1121.40	c #Conflicts:      44000 | #Constraints:    2553391
1117.96/1121.40	c #Conflicts:      45000 | #Constraints:    2554391
1117.96/1121.40	c #Conflicts:      46000 | #Constraints:    2555391
1117.96/1121.40	c #Conflicts:      47000 | #Constraints:    2556391
1117.96/1121.40	c GLOBAL bounds - >= 509534208 @ 1079.11
1117.96/1121.46	c GLOBAL bounds - >= 509534208 @ 1079.16
1117.96/1121.48	c GLOBAL bounds - >= 509534208 @ 1079.17
1117.96/1121.49	c GLOBAL bounds - >= 509534208 @ 1079.18
1118.06/1121.51	c GLOBAL bounds - >= 509534208 @ 1079.19
1118.06/1121.52	c GLOBAL bounds - >= 509534208 @ 1079.2
1118.06/1121.54	c GLOBAL bounds - >= 509534208 @ 1079.21
1118.06/1121.56	c GLOBAL bounds - >= 509534208 @ 1079.23
1118.06/1121.57	c GLOBAL bounds - >= 509534208 @ 1079.23
1118.27/1121.72	c GLOBAL bounds - >= 509534208 @ 1079.31
1118.27/1121.74	c GLOBAL bounds - >= 509534208 @ 1079.32
1118.36/1121.88	c GLOBAL bounds - >= 509534208 @ 1079.41
1118.46/1121.90	c GLOBAL bounds - >= 509534208 @ 1079.42
1118.57/1122.03	c GLOBAL bounds - >= 509534208 @ 1079.49
1118.57/1122.05	c GLOBAL bounds - >= 509534208 @ 1079.5
1118.67/1122.19	c GLOBAL bounds - >= 509534208 @ 1079.57
1118.76/1122.21	c GLOBAL bounds - >= 509534208 @ 1079.58
1118.87/1122.34	c GLOBAL bounds - >= 509534208 @ 1079.65
1118.87/1122.36	c GLOBAL bounds - >= 509534208 @ 1079.66
1118.96/1122.49	c GLOBAL bounds - >= 509534208 @ 1079.73
1119.06/1122.51	c GLOBAL bounds - >= 509534208 @ 1079.74
1119.16/1122.64	c GLOBAL bounds - >= 509534208 @ 1079.8
1119.16/1122.66	c GLOBAL bounds - >= 509534208 @ 1079.81
1119.26/1122.79	c GLOBAL bounds - >= 509534208 @ 1079.88
1119.37/1122.81	c GLOBAL bounds - >= 509534208 @ 1079.89
1119.47/1122.94	c GLOBAL bounds - >= 509534208 @ 1079.96
1119.47/1122.96	c GLOBAL bounds - >= 509534208 @ 1079.97
1119.57/1123.09	c GLOBAL bounds - >= 509534208 @ 1080.04
1119.76/1123.22	c GLOBAL bounds - >= 509534208 @ 1080.1
1119.87/1123.37	c GLOBAL bounds - >= 509534208 @ 1080.19
1120.06/1123.51	c GLOBAL bounds - >= 509534208 @ 1080.27
1120.16/1123.64	c GLOBAL bounds - >= 509534208 @ 1080.33
1120.26/1123.78	c GLOBAL bounds - >= 509534208 @ 1080.4
1120.46/1123.92	c GLOBAL bounds - >= 509534208 @ 1080.49
1120.57/1124.06	c GLOBAL bounds - >= 509534208 @ 1080.58
1120.76/1124.23	c GLOBAL bounds - >= 509534208 @ 1080.68
1120.86/1124.36	c GLOBAL bounds - >= 509534208 @ 1080.75
1120.96/1124.48	c GLOBAL bounds - >= 509534208 @ 1080.81
1122.45/1125.99	c GLOBAL bounds - >= 509534208 @ 1082.27
1122.66/1126.13	c GLOBAL bounds - >= 509534208 @ 1082.35
1123.25/1126.73	c GLOBAL bounds - >= 509534208 @ 1082.9
1126.84/1130.37	c GLOBAL bounds - >= 509534208 @ 1086.47
1127.04/1130.54	c GLOBAL bounds - >= 509534208 @ 1086.58
1127.74/1131.22	c GLOBAL bounds - >= 509534208 @ 1087.18
1166.72/1170.39	c #Conflicts:      48000 | #Constraints:    2668457
1166.72/1170.39	c #Conflicts:      49000 | #Constraints:    2669457
1166.72/1170.39	c GLOBAL bounds - >= 509534208 @ 1126.15
1345.26/1349.44	c #Conflicts:      50000 | #Constraints:    2674824
1345.26/1349.44	c #Conflicts:      51000 | #Constraints:    2675824
1345.26/1349.44	c #Conflicts:      52000 | #Constraints:    2676824
1345.26/1349.44	c #Conflicts:      53000 | #Constraints:    2677824
1345.26/1349.44	c GLOBAL bounds - >= 511102976 @ 1304.18
1345.37/1349.53	c GLOBAL bounds - >= 511102976 @ 1304.26
1345.37/1349.55	c GLOBAL bounds - >= 511102976 @ 1304.27
1345.37/1349.56	c GLOBAL bounds - >= 511102976 @ 1304.28
1345.56/1349.74	c GLOBAL bounds - >= 511102976 @ 1304.4
1345.56/1349.76	c GLOBAL bounds - >= 511102976 @ 1304.41
1345.76/1349.90	c GLOBAL bounds - >= 511102976 @ 1304.49
1345.76/1349.91	c GLOBAL bounds - >= 511102976 @ 1304.5
1345.87/1350.05	c GLOBAL bounds - >= 511102976 @ 1304.56
1345.87/1350.07	c GLOBAL bounds - >= 511102976 @ 1304.57
1346.07/1350.20	c GLOBAL bounds - >= 511102976 @ 1304.65
1346.07/1350.22	c GLOBAL bounds - >= 511102976 @ 1304.66
1346.16/1350.36	c GLOBAL bounds - >= 511102976 @ 1304.73
1346.16/1350.38	c GLOBAL bounds - >= 511102976 @ 1304.75
1346.36/1350.51	c GLOBAL bounds - >= 511102976 @ 1304.82
1346.36/1350.53	c GLOBAL bounds - >= 511102976 @ 1304.84
1346.46/1350.67	c GLOBAL bounds - >= 511102976 @ 1304.9
1346.46/1350.69	c GLOBAL bounds - >= 511102976 @ 1304.92
1346.66/1350.82	c GLOBAL bounds - >= 511102976 @ 1304.99
1346.66/1350.84	c GLOBAL bounds - >= 511102976 @ 1305.01
1346.77/1350.98	c GLOBAL bounds - >= 511102976 @ 1305.07
1346.77/1351.00	c GLOBAL bounds - >= 511102976 @ 1305.08
1346.97/1351.13	c GLOBAL bounds - >= 511102976 @ 1305.16
1347.17/1351.30	c GLOBAL bounds - >= 511102976 @ 1305.26
1347.27/1351.44	c GLOBAL bounds - >= 511102976 @ 1305.34
1347.36/1351.57	c GLOBAL bounds - >= 511102976 @ 1305.41
1347.46/1351.69	c GLOBAL bounds - >= 511102976 @ 1305.48
1347.66/1351.82	c GLOBAL bounds - >= 511102976 @ 1305.55
1347.76/1351.97	c GLOBAL bounds - >= 511102976 @ 1305.63
1347.97/1352.11	c GLOBAL bounds - >= 511102976 @ 1305.71
1348.06/1352.24	c GLOBAL bounds - >= 511102976 @ 1305.78
1348.26/1352.49	c GLOBAL bounds - >= 511102976 @ 1305.96
1348.46/1352.62	c GLOBAL bounds - >= 511102976 @ 1306.03
1354.04/1358.25	c #Conflicts:      54000 | #Constraints:    2763281
1354.04/1358.25	c GLOBAL bounds - >= 511102976 @ 1311.54
1354.24/1358.43	c GLOBAL bounds - >= 511102976 @ 1311.66
1359.72/1363.97	c GLOBAL bounds - >= 511102976 @ 1317.09
1362.12/1366.39	c GLOBAL bounds - >= 511102976 @ 1319.41
1369.69/1373.99	c GLOBAL bounds - >= 511102976 @ 1326.9
1450.24/1454.70	c #Conflicts:      55000 | #Constraints:    2785990
1450.24/1454.70	c #Conflicts:      56000 | #Constraints:    2786990
1450.24/1454.70	c #Conflicts:      57000 | #Constraints:    2787990
1450.24/1454.70	c GLOBAL bounds - >= 511102976 @ 1407.03
1461.41/1465.99	c GLOBAL bounds - >= 511102976 @ 1418.18
1619.03/1624.01	c #Conflicts:      58000 | #Constraints:    2797673
1619.03/1624.01	c INPROCESSING
1619.03/1624.01	c GARBAGE COLLECT
1619.03/1624.01	c #Conflicts:      59000 | #Constraints:    2788163
1619.03/1624.01	c #Conflicts:      60000 | #Constraints:    2789163
1619.03/1624.01	c #Conflicts:      61000 | #Constraints:    2790163
1619.03/1624.01	c GLOBAL bounds - >= 511875072 @ 1575.52
1619.03/1624.10	c GLOBAL bounds - >= 511875072 @ 1575.61
1619.12/1624.12	c GLOBAL bounds - >= 511875072 @ 1575.62
1619.12/1624.13	c GLOBAL bounds - >= 511875072 @ 1575.63
1619.22/1624.29	c GLOBAL bounds - >= 511875072 @ 1575.72
1619.32/1624.31	c GLOBAL bounds - >= 511875072 @ 1575.73
1619.42/1624.44	c GLOBAL bounds - >= 511875072 @ 1575.8
1619.42/1624.46	c GLOBAL bounds - >= 511875072 @ 1575.81
1619.62/1624.60	c GLOBAL bounds - >= 511875072 @ 1575.89
1619.62/1624.62	c GLOBAL bounds - >= 511875072 @ 1575.9
1619.72/1624.75	c GLOBAL bounds - >= 511875072 @ 1575.97
1619.72/1624.77	c GLOBAL bounds - >= 511875072 @ 1575.98
1619.92/1624.90	c GLOBAL bounds - >= 511875072 @ 1576.04
1619.92/1624.92	c GLOBAL bounds - >= 511875072 @ 1576.06
1620.03/1625.05	c GLOBAL bounds - >= 511875072 @ 1576.13
1620.03/1625.07	c GLOBAL bounds - >= 511875072 @ 1576.14
1620.22/1625.20	c GLOBAL bounds - >= 511875072 @ 1576.2
1620.22/1625.22	c GLOBAL bounds - >= 511875072 @ 1576.21
1620.32/1625.35	c GLOBAL bounds - >= 511875072 @ 1576.29
1620.32/1625.37	c GLOBAL bounds - >= 511875072 @ 1576.3
1620.52/1625.50	c GLOBAL bounds - >= 511875072 @ 1576.35
1620.52/1625.52	c GLOBAL bounds - >= 511875072 @ 1576.37
1620.61/1625.65	c GLOBAL bounds - >= 511875072 @ 1576.43
1620.71/1625.78	c GLOBAL bounds - >= 511875072 @ 1576.5
1620.92/1625.93	c GLOBAL bounds - >= 511875072 @ 1576.58
1621.03/1626.05	c GLOBAL bounds - >= 511875072 @ 1576.65
1621.12/1626.19	c GLOBAL bounds - >= 511875072 @ 1576.72
1621.32/1626.32	c GLOBAL bounds - >= 511875072 @ 1576.79
1621.52/1626.56	c GLOBAL bounds - >= 511875072 @ 1576.96
1621.71/1626.76	c GLOBAL bounds - >= 511875072 @ 1577.1
1622.02/1627.01	c GLOBAL bounds - >= 511875072 @ 1577.29
1622.12/1627.15	c GLOBAL bounds - >= 511875072 @ 1577.38
1633.08/1638.12	c #Conflicts:      62000 | #Constraints:    2870973
1633.08/1638.12	c GLOBAL bounds - >= 511875072 @ 1588.25
1633.18/1638.26	c GLOBAL bounds - >= 511875072 @ 1588.34
1633.48/1638.53	c GLOBAL bounds - >= 511875072 @ 1588.55
1633.67/1638.78	c GLOBAL bounds - >= 511875072 @ 1588.74
1633.98/1639.04	c GLOBAL bounds - >= 511875072 @ 1588.94
1633.98/1639.10	c GLOBAL bounds - >= 511875072 @ 1589
1634.08/1639.14	c GLOBAL bounds - >= 511875072 @ 1589.03
1634.08/1639.15	c GLOBAL bounds - >= 511875072 @ 1589.04
1634.08/1639.17	c GLOBAL bounds - >= 511875072 @ 1589.05
1634.08/1639.19	c GLOBAL bounds - >= 511875072 @ 1589.06
1634.17/1639.20	c GLOBAL bounds - >= 511875072 @ 1589.07
1634.17/1639.22	c GLOBAL bounds - >= 511875072 @ 1589.08
1634.17/1639.24	c GLOBAL bounds - >= 511875072 @ 1589.1
1634.17/1639.25	c GLOBAL bounds - >= 511875072 @ 1589.11
1634.37/1639.40	c GLOBAL bounds - >= 511875072 @ 1589.19
1634.37/1639.42	c GLOBAL bounds - >= 511875072 @ 1589.2
1634.48/1639.57	c GLOBAL bounds - >= 511875072 @ 1589.28
1634.48/1639.59	c GLOBAL bounds - >= 511875072 @ 1589.29
1634.68/1639.72	c GLOBAL bounds - >= 511875072 @ 1589.36
1634.68/1639.74	c GLOBAL bounds - >= 511875072 @ 1589.38
1634.77/1639.87	c GLOBAL bounds - >= 511875072 @ 1589.44
1634.77/1639.89	c GLOBAL bounds - >= 511875072 @ 1589.46
1634.98/1640.03	c GLOBAL bounds - >= 511875072 @ 1589.53
1634.98/1640.04	c GLOBAL bounds - >= 511875072 @ 1589.54
1635.08/1640.18	c GLOBAL bounds - >= 511875072 @ 1589.6
1635.17/1640.20	c GLOBAL bounds - >= 511875072 @ 1589.61
1635.27/1640.33	c GLOBAL bounds - >= 511875072 @ 1589.67
1635.27/1640.35	c GLOBAL bounds - >= 511875072 @ 1589.69
1635.38/1640.48	c GLOBAL bounds - >= 511875072 @ 1589.76
1635.47/1640.50	c GLOBAL bounds - >= 511875072 @ 1589.77
1635.57/1640.63	c GLOBAL bounds - >= 511875072 @ 1589.84
1635.57/1640.65	c GLOBAL bounds - >= 511875072 @ 1589.86
1635.68/1640.78	c GLOBAL bounds - >= 511875072 @ 1589.93
1635.88/1640.90	c GLOBAL bounds - >= 511875072 @ 1589.99
1635.98/1641.08	c GLOBAL bounds - >= 511875072 @ 1590.1
1636.17/1641.21	c GLOBAL bounds - >= 511875072 @ 1590.17
1636.27/1641.35	c GLOBAL bounds - >= 511875072 @ 1590.25
1636.47/1641.52	c GLOBAL bounds - >= 511875072 @ 1590.36
1636.57/1641.65	c GLOBAL bounds - >= 511875072 @ 1590.43
1636.67/1641.77	c GLOBAL bounds - >= 511875072 @ 1590.48
1636.77/1641.88	c GLOBAL bounds - >= 511875072 @ 1590.54
1637.08/1642.15	c GLOBAL bounds - >= 511875072 @ 1590.75
1637.47/1642.58	c GLOBAL bounds - >= 511875072 @ 1591.12
1637.66/1642.76	c GLOBAL bounds - >= 511875072 @ 1591.25
1637.86/1642.94	c GLOBAL bounds - >= 511875072 @ 1591.37
1697.80/1703.07	c #Conflicts:      63000 | #Constraints:    2985960
1697.80/1703.07	c #Conflicts:      64000 | #Constraints:    2986960
1697.80/1703.07	c GLOBAL bounds - >= 511875072 @ 1651.18
1698.28/1703.52	c GLOBAL bounds - >= 511875072 @ 1651.58
1698.99/1704.22	c GLOBAL bounds - >= 511875072 @ 1652.21
1701.08/1706.39	c GLOBAL bounds - >= 511875072 @ 1654.32
1701.58/1706.88	c GLOBAL bounds - >= 511875072 @ 1654.75
1702.07/1707.37	c GLOBAL bounds - >= 511875072 @ 1655.19
1702.38/1707.63	c GLOBAL bounds - >= 511875072 @ 1655.39
1710.95/1716.21	c GLOBAL bounds - >= 511875072 @ 1663.89
1772.95/1778.43	c #Conflicts:      65000 | #Constraints:    3022695
1772.95/1778.43	c INPROCESSING
1772.95/1778.43	c GARBAGE COLLECT
1772.95/1778.43	c #Conflicts:      66000 | #Constraints:    3015319
1772.95/1778.43	c GLOBAL bounds - >= 511875072 @ 1725.8
1773.25/1778.74	c GLOBAL bounds - >= 511875072 @ 1726.04
1773.46/1778.97	c GLOBAL bounds - >= 511875072 @ 1726.21
1789.01/1794.50	c #Conflicts:      67000 | #Constraints:    3029345
1789.01/1794.50	c GLOBAL bounds - >= 511875072 @ 1741.62
1789.70/1795.25	c GLOBAL bounds - >= 511875072 @ 1742.31
2018.21/2024.48	c #Conflicts:      68000 | #Constraints:    3039028
2018.21/2024.48	c #Conflicts:      69000 | #Constraints:    3040028
2018.21/2024.48	c #Conflicts:      70000 | #Constraints:    3041028
2018.21/2024.48	c #Conflicts:      71000 | #Constraints:    3042028
2018.21/2024.48	c INPROCESSING
2018.21/2024.48	c GARBAGE COLLECT
2018.21/2024.48	c #Conflicts:      72000 | #Constraints:    3035660
2018.21/2024.48	c #Conflicts:      73000 | #Constraints:    3036660
2018.21/2024.48	c GLOBAL bounds - >= 512915456 @ 1970.68
2018.41/2024.60	c GLOBAL bounds - >= 512915456 @ 1970.78
2018.41/2024.62	c GLOBAL bounds - >= 512915456 @ 1970.79
2018.41/2024.63	c GLOBAL bounds - >= 512915456 @ 1970.8
2018.41/2024.65	c GLOBAL bounds - >= 512915456 @ 1970.81
2018.41/2024.66	c GLOBAL bounds - >= 512915456 @ 1970.82
2018.41/2024.68	c GLOBAL bounds - >= 512915456 @ 1970.82
2018.41/2024.69	c GLOBAL bounds - >= 512915456 @ 1970.84
2018.50/2024.71	c GLOBAL bounds - >= 512915456 @ 1970.85
2018.60/2024.85	c GLOBAL bounds - >= 512915456 @ 1970.92
2018.60/2024.87	c GLOBAL bounds - >= 512915456 @ 1970.93
2018.81/2025.02	c GLOBAL bounds - >= 512915456 @ 1971.04
2018.81/2025.04	c GLOBAL bounds - >= 512915456 @ 1971.05
2018.91/2025.18	c GLOBAL bounds - >= 512915456 @ 1971.12
2019.01/2025.20	c GLOBAL bounds - >= 512915456 @ 1971.13
2019.11/2025.33	c GLOBAL bounds - >= 512915456 @ 1971.21
2019.11/2025.35	c GLOBAL bounds - >= 512915456 @ 1971.22
2019.20/2025.48	c GLOBAL bounds - >= 512915456 @ 1971.28
2019.30/2025.50	c GLOBAL bounds - >= 512915456 @ 1971.29
2019.40/2025.64	c GLOBAL bounds - >= 512915456 @ 1971.36
2019.40/2025.66	c GLOBAL bounds - >= 512915456 @ 1971.37
2019.50/2025.79	c GLOBAL bounds - >= 512915456 @ 1971.44
2019.60/2025.81	c GLOBAL bounds - >= 512915456 @ 1971.45
2019.70/2025.94	c GLOBAL bounds - >= 512915456 @ 1971.52
2019.70/2025.96	c GLOBAL bounds - >= 512915456 @ 1971.54
2019.81/2026.09	c GLOBAL bounds - >= 512915456 @ 1971.61
2019.91/2026.11	c GLOBAL bounds - >= 512915456 @ 1971.62
2019.99/2026.24	c GLOBAL bounds - >= 512915456 @ 1971.69
2020.20/2026.43	c GLOBAL bounds - >= 512915456 @ 1971.82
2020.30/2026.58	c GLOBAL bounds - >= 512915456 @ 1971.92
2020.50/2026.73	c GLOBAL bounds - >= 512915456 @ 1972
2020.60/2026.87	c GLOBAL bounds - >= 512915456 @ 1972.08
2020.80/2027.03	c GLOBAL bounds - >= 512915456 @ 1972.17
2020.90/2027.17	c GLOBAL bounds - >= 512915456 @ 1972.24
2021.09/2027.32	c GLOBAL bounds - >= 512915456 @ 1972.32
2021.29/2027.56	c GLOBAL bounds - >= 512915456 @ 1972.5
2021.69/2027.90	c GLOBAL bounds - >= 512915456 @ 1972.78
2021.80/2028.06	c GLOBAL bounds - >= 512915456 @ 1972.87
2022.39/2028.68	c GLOBAL bounds - >= 512915456 @ 1973.44
2022.80/2029.05	c GLOBAL bounds - >= 512915456 @ 1973.74
2022.99/2029.20	c GLOBAL bounds - >= 512915456 @ 1973.83
2023.19/2029.42	c GLOBAL bounds - >= 512915456 @ 1974
2025.78/2032.03	c GLOBAL bounds - >= 512915456 @ 1976.53
2038.75/2045.08	c GLOBAL bounds - >= 512915456 @ 1989.47
2060.58/2066.93	c #Conflicts:      74000 | #Constraints:    3147646
2060.58/2066.93	c GLOBAL bounds - >= 512915456 @ 2011.18
2277.41/2284.49	c #Conflicts:      75000 | #Constraints:    3152986
2277.41/2284.49	c #Conflicts:      76000 | #Constraints:    3153986
2277.41/2284.49	c #Conflicts:      77000 | #Constraints:    3154986
2277.41/2284.49	c #Conflicts:      78000 | #Constraints:    3155986
2277.41/2284.49	c INPROCESSING
2277.41/2284.49	c GARBAGE COLLECT
2277.41/2284.49	c #Conflicts:      79000 | #Constraints:    3149981
2277.41/2284.49	c #Conflicts:      80000 | #Constraints:    3150981
2277.41/2284.49	c #Conflicts:      81000 | #Constraints:    3151981
2277.41/2284.49	c GLOBAL bounds - >= 513191936 @ 2227.92
2277.51/2284.56	c GLOBAL bounds - >= 513191936 @ 2227.98
2277.71/2284.71	c GLOBAL bounds - >= 513191936 @ 2228.06
2277.71/2284.73	c GLOBAL bounds - >= 513191936 @ 2228.07
2277.80/2284.87	c GLOBAL bounds - >= 513191936 @ 2228.15
2277.80/2284.89	c GLOBAL bounds - >= 513191936 @ 2228.16
2278.02/2285.04	c GLOBAL bounds - >= 513191936 @ 2228.24
2278.02/2285.05	c GLOBAL bounds - >= 513191936 @ 2228.24
2278.31/2285.34	c GLOBAL bounds - >= 513191936 @ 2228.47
2278.31/2285.36	c GLOBAL bounds - >= 513191936 @ 2228.48
2278.51/2285.51	c GLOBAL bounds - >= 513191936 @ 2228.57
2278.51/2285.53	c GLOBAL bounds - >= 513191936 @ 2228.58
2278.60/2285.67	c GLOBAL bounds - >= 513191936 @ 2228.65
2278.60/2285.69	c GLOBAL bounds - >= 513191936 @ 2228.67
2278.80/2285.83	c GLOBAL bounds - >= 513191936 @ 2228.74
2278.80/2285.85	c GLOBAL bounds - >= 513191936 @ 2228.76
2278.90/2285.98	c GLOBAL bounds - >= 513191936 @ 2228.82
2279.01/2286.00	c GLOBAL bounds - >= 513191936 @ 2228.83
2279.11/2286.14	c GLOBAL bounds - >= 513191936 @ 2228.91
2279.11/2286.16	c GLOBAL bounds - >= 513191936 @ 2228.92
2279.21/2286.29	c GLOBAL bounds - >= 513191936 @ 2229
2279.41/2286.42	c GLOBAL bounds - >= 513191936 @ 2229.06
2279.51/2286.55	c GLOBAL bounds - >= 513191936 @ 2229.13
2279.60/2286.67	c GLOBAL bounds - >= 513191936 @ 2229.19
2279.80/2286.80	c GLOBAL bounds - >= 513191936 @ 2229.27
2279.90/2286.94	c GLOBAL bounds - >= 513191936 @ 2229.33
2280.11/2287.11	c GLOBAL bounds - >= 513191936 @ 2229.44
2280.30/2287.37	c GLOBAL bounds - >= 513191936 @ 2229.64
2281.70/2288.79	c GLOBAL bounds - >= 513191936 @ 2230.98
2282.00/2289.04	c #Conflicts:      82000 | #Constraints:    3229596
2282.00/2289.04	c GLOBAL bounds - >= 513191936 @ 2231.2
2330.55/2337.78	c #Conflicts:      83000 | #Constraints:    3234939
2330.55/2337.78	c #Conflicts:      84000 | #Constraints:    3235939
2330.55/2337.78	c GLOBAL bounds - >= 513191936 @ 2279.69
2367.03/2374.34	c #Conflicts:      85000 | #Constraints:    3241282
2367.03/2374.34	c GLOBAL bounds - >= 513191936 @ 2316.05
2367.23/2374.52	c GLOBAL bounds - >= 513191936 @ 2316.17
2457.36/2464.98	c #Conflicts:      86000 | #Constraints:    3250968
2457.36/2464.98	c #Conflicts:      87000 | #Constraints:    3251968
2457.36/2464.98	c GLOBAL bounds - >= 513191936 @ 2406.26
2459.95/2467.55	c GLOBAL bounds - >= 513191936 @ 2408.74
2582.58/2590.56	c #Conflicts:      88000 | #Constraints:    3261654
2582.58/2590.56	c #Conflicts:      89000 | #Constraints:    3262654
2582.58/2590.56	c GLOBAL bounds - >= 513191936 @ 2531.27
3220.43/3230.34	c #Conflicts:      90000 | #Constraints:    3267997
3220.43/3230.34	c #Conflicts:      91000 | #Constraints:    3268997
3220.43/3230.34	c #Conflicts:      92000 | #Constraints:    3269997
3220.43/3230.34	c #Conflicts:      93000 | #Constraints:    3270997
3220.43/3230.34	c #Conflicts:      94000 | #Constraints:    3271997
3220.43/3230.34	c #Conflicts:      95000 | #Constraints:    3272997
3220.43/3230.34	c #Conflicts:      96000 | #Constraints:    3273997
3220.43/3230.34	c #Conflicts:      97000 | #Constraints:    3274997
3220.43/3230.34	c GLOBAL bounds - >= 517353472 @ 3168.32
3220.73/3230.63	c GLOBAL bounds - >= 517353472 @ 3168.59
3220.73/3230.65	c GLOBAL bounds - >= 517353472 @ 3168.6
3220.73/3230.67	c GLOBAL bounds - >= 517353472 @ 3168.62
3220.73/3230.68	c GLOBAL bounds - >= 517353472 @ 3168.63
3220.83/3230.70	c GLOBAL bounds - >= 517353472 @ 3168.64
3221.13/3231.08	c GLOBAL bounds - >= 517353472 @ 3168.95
3221.13/3231.10	c GLOBAL bounds - >= 517353472 @ 3168.96
3221.33/3231.25	c GLOBAL bounds - >= 517353472 @ 3169.07
3221.33/3231.27	c GLOBAL bounds - >= 517353472 @ 3169.08
3221.53/3231.41	c GLOBAL bounds - >= 517353472 @ 3169.15
3221.53/3231.43	c GLOBAL bounds - >= 517353472 @ 3169.16
3221.63/3231.56	c GLOBAL bounds - >= 517353472 @ 3169.23
3221.63/3231.58	c GLOBAL bounds - >= 517353472 @ 3169.25
3221.82/3231.72	c GLOBAL bounds - >= 517353472 @ 3169.32
3221.82/3231.74	c GLOBAL bounds - >= 517353472 @ 3169.33
3221.93/3231.87	c GLOBAL bounds - >= 517353472 @ 3169.4
3221.93/3231.89	c GLOBAL bounds - >= 517353472 @ 3169.42
3222.13/3232.02	c GLOBAL bounds - >= 517353472 @ 3169.48
3222.13/3232.04	c GLOBAL bounds - >= 517353472 @ 3169.5
3222.23/3232.17	c GLOBAL bounds - >= 517353472 @ 3169.56
3222.23/3232.19	c GLOBAL bounds - >= 517353472 @ 3169.58
3222.43/3232.32	c GLOBAL bounds - >= 517353472 @ 3169.64
3222.43/3232.34	c GLOBAL bounds - >= 517353472 @ 3169.65
3222.52/3232.47	c GLOBAL bounds - >= 517353472 @ 3169.72
3222.63/3232.59	c GLOBAL bounds - >= 517353472 @ 3169.79
3222.83/3232.71	c GLOBAL bounds - >= 517353472 @ 3169.85
3222.92/3232.83	c GLOBAL bounds - >= 517353472 @ 3169.91
3223.02/3232.97	c GLOBAL bounds - >= 517353472 @ 3169.99
3223.23/3233.10	c GLOBAL bounds - >= 517353472 @ 3170.07
3223.32/3233.24	c GLOBAL bounds - >= 517353472 @ 3170.14
3223.42/3233.38	c GLOBAL bounds - >= 517353472 @ 3170.21
3223.62/3233.51	c GLOBAL bounds - >= 517353472 @ 3170.29
3223.72/3233.65	c GLOBAL bounds - >= 517353472 @ 3170.36
3223.82/3233.79	c GLOBAL bounds - >= 517353472 @ 3170.44
3224.02/3233.93	c GLOBAL bounds - >= 517353472 @ 3170.51
3224.13/3234.06	c GLOBAL bounds - >= 517353472 @ 3170.58
3224.32/3234.27	c GLOBAL bounds - >= 517353472 @ 3170.73
3224.52/3234.43	c GLOBAL bounds - >= 517353472 @ 3170.83
3225.91/3235.80	c GLOBAL bounds - >= 517353472 @ 3172.11
3226.02/3235.95	c GLOBAL bounds - >= 517353472 @ 3172.21
3226.31/3236.27	c GLOBAL bounds - >= 517353472 @ 3172.48
3256.42/3266.48	c #Conflicts:      98000 | #Constraints:    3385103
3256.42/3266.48	c GLOBAL bounds - >= 517353472 @ 3202.46
3298.50/3308.65	c GLOBAL bounds - >= 517353472 @ 3244.38
3600.08/3611.10	c #Conflicts:      99000 | #Constraints:    3394786
3600.08/3611.10	c INPROCESSING
3600.08/3611.10	c GARBAGE COLLECT
3600.08/3611.10	c #Conflicts:     100000 | #Constraints:    3381650
3600.08/3611.10	c #Conflicts:     101000 | #Constraints:    3382650
3600.08/3611.10	c #Conflicts:     102000 | #Constraints:    3383650
3600.08/3611.10	c #Conflicts:     103000 | #Constraints:    3384650
3600.08/3611.10	c cpu time 3545.68 s
3600.08/3611.10	c deterministic time 128165236 1.28e+08
3600.08/3611.10	c optimization time 3541.7 s
3600.08/3611.10	c total solve time 3.81429 s
3600.08/3611.10	c core-guided solve time 0 s
3600.08/3611.10	c propagation time 1.89701 s
3600.08/3611.10	c conflict analysis time 0.983015 s
3600.08/3611.10	c propagations 17701326
3600.08/3611.10	c resolve steps 0
3600.08/3611.10	c decisions 7939299
3600.08/3611.10	c conflicts 314
3600.08/3611.10	c restarts 3
3600.08/3611.10	c inprocessing phases 0
3600.08/3611.10	c garbage collections 0 ,( -nan )
3600.08/3611.10	c input clauses 484 ,( 7.81 )
3600.08/3611.10	c input cardinalities 0 ,( 0.00 )
3600.08/3611.10	c input general constraints 5713 ,( 92.19 )
3600.08/3611.10	c input average constraint length 2584.75
3600.08/3611.10	c input average constraint degree 6341407479489.42
3600.08/3611.10	c learned clauses 7 ,( 1.53 )
3600.08/3611.10	c learned cardinalities 0 ,( 0.00 )
3600.08/3611.10	c learned general constraints 451 ,( 98.47 )
3600.08/3611.10	c learned average constraint length 216.53
3600.08/3611.10	c learned average constraint degree 874317251.83
3600.08/3611.10	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3611.10	c counting CF 32, 64, 128, Arb: 5712 , 453 , 0 , 0
3600.08/3611.10	c watched   constraints 0 ,( 0.00 ) 
3600.08/3611.10	c counting  constraints 6164 ,( 100.00 ) 
3600.08/3611.10	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 15347 , 0 , 23214532 ,( 0 , 23214532 )
3600.08/3611.10	c gcd simplifications 7
3600.08/3611.10	c detected cardinalities 0
3600.08/3611.10	c weakened non-implied lits 627
3600.08/3611.10	c weakened non-implying lits 0
3600.08/3611.10	c original variables 107808
3600.08/3611.10	c clausal propagations 4781
3600.08/3611.10	c cardinality propagations 0
3600.08/3611.10	c watched propagations 0
3600.08/3611.10	c counting propagations 9522113
3600.08/3611.10	c watch lookups 27479327
3600.08/3611.10	c watch backjump lookups 0
3600.08/3611.10	c watch checks 203593
3600.08/3611.10	c propagation checks 48998846
3600.08/3611.10	c constraint additions 238005
3600.08/3611.10	c trail pops 25601839
3600.08/3611.10	c formula constraints 5184
3600.08/3611.10	c learned constraints 458
3600.08/3611.10	c bound constraints 0
3600.08/3611.10	c core-guided constraints 0
3600.08/3611.10	c encountered formula constraints 172
3600.08/3611.10	c encountered learned constraints 81
3600.08/3611.10	c encountered bound constraints 0
3600.08/3611.10	c encountered core-guided constraints 0
3600.08/3611.10	c LP total time 0.242913 s
3600.08/3611.10	c LP solve time 0.21 s
3600.08/3611.10	c LP constraints added 5184
3600.08/3611.10	c LP constraints removed 0
3600.08/3611.10	c LP pivots internal 2000
3600.08/3611.10	c LP pivots root 1000
3600.08/3611.10	c LP calls 2
3600.08/3611.10	c LP optimalities 0
3600.08/3611.10	c LP no pivot count 0
3600.08/3611.10	c LP infeasibilities 0
3600.08/3611.10	c LP valid Farkas constraints 0
3600.08/3611.10	c LP learned Farkas constraints 0
3600.08/3611.10	c LP basis resets 0
3600.08/3611.10	c LP cycling count 0
3600.08/3611.10	c LP singular count 0
3600.08/3611.10	c LP no primal count 0
3600.08/3611.10	c LP no farkas count 0
3600.08/3611.10	c LP other issue count 0
3600.08/3611.10	c LP Gomory cuts 0
3600.08/3611.10	c LP learned cuts 0
3600.08/3611.10	c LP deleted cuts 0
3600.08/3611.10	c LP encountered Gomory constraints 0
3600.08/3611.10	c LP encountered Farkas constraints 0
3600.08/3611.10	c LP encountered learned Farkas constraints 0
3600.08/3611.10	c CG auxiliary variables introduced 677
3600.08/3611.10	c CG solutions found 0
3600.08/3611.10	c CG cores constructed 377
3600.08/3611.10	c CG core cardinality constraints returned 0
3600.08/3611.10	c CG unit cores 0
3600.08/3611.10	c CG single cores 0
3600.08/3611.10	c CG blocks removed during cardinality reduction 0
3600.08/3611.10	c CG first core best 0
3600.08/3611.10	c CG decision core best 0
3600.08/3611.10	c CG core reduction tie 0
3600.08/3611.10	c CG core degree average 0.00
3600.08/3611.10	c CG core slack average 0.00
3600.08/3611.10	c CG core upper bound improvements 0
3600.08/3611.10	c STR number of successful calls 0
3600.08/3611.10	c STR number of unsuccessful calls 0
3600.08/3611.10	c STR number of inconclusive calls 0
3600.08/3611.10	c STR number of successful attempts 0
3600.08/3611.10	c STR number of unsuccessful attempts 0
3600.08/3611.10	c STR number of inconclusive attempts 0
3600.08/3611.10	c STR average degree increase per successful call inf
3600.08/3611.10	c STR average degree increase per successful attempt inf
3600.08/3611.10	c STR total number of conflicts for successful attempts 0
3600.08/3611.10	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.10	c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.10	c STR average number of conflicts per successful attempt inf
3600.08/3611.10	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.10	c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.10	c AVG.sumWPerc 98.89 
3600.08/3611.10	c bigint constraints 453 
3600.08/3611.10	s UNKNOWN
3600.08/3611.10	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 (34792 MiB free)
  memory of node 1: 64465 MiB (63803 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485320-1751307726/watcher-4485320-1751307726 -o /tmp/evaluation-result-4485320-1751307726/solver-4485320-1751307726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751304114-41606 --watchdog 3760 run-opt.sh HOME/instance-4485320-1751307726.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=41928, runsolver pid=41925
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.05 4.08 4.05 4/265 41943
/proc/meminfo: memFree=100944500/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=80700 memory=35996 CPUtime=0.08 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 6486 0 0 0 7 1 0 0 20 0 1 0 46451218 82636800 8999 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 20175 8999 1952 1147 0 7602 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 84892 KiB
Current children cumulated memory: 38940 KiB

[startup+0.205799 s]*
/proc/loadavg: 4.05 4.08 4.05 4/264 41949
/proc/meminfo: memFree=100911620/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=116136 memory=73028 CPUtime=0.19 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 14770 0 0 0 16 3 0 0 20 0 1 0 46451218 118923264 18257 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 29034 18257 2272 1147 0 16461 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 120328 KiB
Current children cumulated memory: 75972 KiB

[startup+0.305696 s]*
/proc/loadavg: 4.05 4.08 4.05 5/263 41952
/proc/meminfo: memFree=101503492/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=137224 memory=90980 CPUtime=0.28 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 18127 0 0 0 20 8 0 0 20 0 1 0 46451218 140517376 22745 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 34306 22745 2368 1147 0 21733 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 141416 KiB
Current children cumulated memory: 93924 KiB

[startup+0.700186 s]
/proc/loadavg: 4.05 4.08 4.05 5/268 41962
/proc/meminfo: memFree=105895816/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=224136 memory=158364 CPUtime=0.67 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 30237 0 0 0 50 17 0 0 20 0 1 0 46451218 229515264 39591 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 56034 39591 2400 1147 0 43461 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 228328 KiB
Current children cumulated memory: 161308 KiB

[startup+1.5002 s]
/proc/loadavg: 4.04 4.08 4.05 5/268 41962
/proc/meminfo: memFree=118704136/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=237632 memory=170940 CPUtime=1.47 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 32843 0 0 0 89 58 0 0 20 0 1 0 46451218 243335168 42735 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 59408 42735 2400 1147 0 46835 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 241824 KiB
Current children cumulated memory: 173884 KiB

[startup+3.10565 s]
/proc/loadavg: 4.04 4.08 4.05 5/270 42054
/proc/meminfo: memFree=129524680/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=272384 memory=205936 CPUtime=3.07 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 39679 0 0 0 181 126 0 0 20 0 1 0 46451218 278921216 51484 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 68096 51484 2400 1147 0 55523 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 276576 KiB
Current children cumulated memory: 208880 KiB

[startup+6.30019 s]
/proc/loadavg: 4.04 4.08 4.05 5/270 42054
/proc/meminfo: memFree=129045576/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=346544 memory=276528 CPUtime=6.26 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 52321 0 0 0 357 269 0 0 20 0 1 0 46451218 354861056 69132 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 86636 69132 2400 1147 0 74063 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 350736 KiB
Current children cumulated memory: 279472 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.05 5/270 42054
/proc/meminfo: memFree=128182260/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=504160 memory=420500 CPUtime=12.64 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 82371 0 0 0 761 503 0 0 20 0 1 0 46451218 516259840 105125 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 126040 105125 2400 1147 0 113467 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 508352 KiB
Current children cumulated memory: 423444 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.05 5/269 42054
/proc/meminfo: memFree=127103968/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=787920 memory=702648 CPUtime=25.41 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 139766 0 0 0 1548 993 0 0 20 0 1 0 46451218 806830080 175662 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 196980 175662 2400 1147 0 184407 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 792112 KiB
Current children cumulated memory: 705592 KiB

[startup+51.1058 s]
/proc/loadavg: 4.12 4.10 4.06 5/269 42054
/proc/meminfo: memFree=125492104/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=1474552 memory=1358480 CPUtime=50.94 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 266972 0 0 0 3643 1451 0 0 20 0 1 0 46451218 1509941248 339620 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 368638 339620 2400 1147 0 356065 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1478744 KiB
Current children cumulated memory: 1361424 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.13 4.07 5/269 42056
/proc/meminfo: memFree=123510592/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=2145696 memory=1995432 CPUtime=101.98 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 395067 0 0 0 8244 1954 0 0 20 0 1 0 46451218 2197192704 498858 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 536424 498858 2400 1147 0 523851 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2149888 KiB
Current children cumulated memory: 1998376 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/270 42060
/proc/meminfo: memFree=122549248/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=2881204 memory=2424384 CPUtime=161.8 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 477415 0 0 0 13889 2291 0 0 20 0 1 0 46451218 2950352896 606096 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 720301 606096 2400 1147 0 707728 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2885396 KiB
Current children cumulated memory: 2427328 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.10 4.06 5/269 42062
/proc/meminfo: memFree=121873704/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=3041328 memory=2641572 CPUtime=221.62 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 507252 0 0 0 19556 2606 0 0 20 0 1 0 46451218 3114319872 660393 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 760332 660393 2400 1147 0 747759 0
Current children cumulated CPU time: 221.62 s

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

Current children cumulated CPU time: 3152.64 s
Current children cumulated vsize: 10028340 KiB
Current children cumulated memory: 8986512 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/268 42234
/proc/meminfo: memFree=103372124/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=10064596 memory=9119568 CPUtime=3212.46 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 1628415 0 0 0 316030 5216 0 0 20 0 1 0 46451218 10306146304 2279892 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 2516149 2279892 2400 1147 0 2503576 0
Current children cumulated CPU time: 3212.46 s
Current children cumulated vsize: 10068788 KiB
Current children cumulated memory: 9122512 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/268 42238
/proc/meminfo: memFree=103073064/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=10122312 memory=9363260 CPUtime=3272.28 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 1666761 0 0 0 321821 5407 0 0 20 0 1 0 46451218 10365247488 2340815 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 2530578 2340815 2400 1147 0 2518005 0
Current children cumulated CPU time: 3272.28 s
Current children cumulated vsize: 10126504 KiB
Current children cumulated memory: 9366204 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/269 42245
/proc/meminfo: memFree=102870008/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=10167880 memory=9502612 CPUtime=3332.09 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 1687502 0 0 0 327787 5422 0 0 20 0 1 0 46451218 10411909120 2375653 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 2541970 2375653 2400 1147 0 2529397 0
Current children cumulated CPU time: 3332.09 s
Current children cumulated vsize: 10172072 KiB
Current children cumulated memory: 9505556 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/269 42248
/proc/meminfo: memFree=102705196/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=10238996 memory=9568764 CPUtime=3391.91 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 1693459 0 0 0 333763 5428 0 0 20 0 1 0 46451218 10484731904 2392191 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 2559749 2392191 2400 1147 0 2547176 0
Current children cumulated CPU time: 3391.91 s
Current children cumulated vsize: 10243188 KiB
Current children cumulated memory: 9571708 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/269 42251
/proc/meminfo: memFree=102641096/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=10238996 memory=9568764 CPUtime=3451.72 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 1693683 0 0 0 339741 5431 0 0 20 0 1 0 46451218 10484731904 2392191 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 2559749 2392191 2400 1147 0 2547176 0
Current children cumulated CPU time: 3451.72 s
Current children cumulated vsize: 10243188 KiB
Current children cumulated memory: 9571708 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/270 42254
/proc/meminfo: memFree=102640688/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=10238996 memory=9568764 CPUtime=3511.55 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 1693957 0 0 0 345720 5435 0 0 20 0 1 0 46451218 10484731904 2392191 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 2559749 2392191 2400 1147 0 2547176 0
Current children cumulated CPU time: 3511.55 s
Current children cumulated vsize: 10243188 KiB
Current children cumulated memory: 9571708 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/270 42256
/proc/meminfo: memFree=102437916/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=10238996 memory=9568764 CPUtime=3571.36 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 1694267 0 0 0 351698 5438 0 0 20 0 1 0 46451218 10484731904 2392191 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 2559749 2392191 2400 1147 0 2547176 0
Current children cumulated CPU time: 3571.36 s
Current children cumulated vsize: 10243188 KiB
Current children cumulated memory: 9571708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.20 4.15 4.11 3/262 42265
/proc/meminfo: memFree=116604080/131249996 swapFree=33010684/33010684
[pid=41928] ppid=41925 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41928/stat : 41928 (run-opt.sh) S 41925 41928 41594 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 46451217 4292608 736 18446744073709551615 94074399318016 94074400212549 140729860844128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94074400451600 94074400499344 94074403954688 140729860852077 140729860852200 140729860852200 140729860857802 0
/proc/41928/statm: 1048 736 672 219 0 110 0
[pid=41931] ppid=41928 vsize=10238996 memory=9568764 CPUtime=3600.08 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41928 41928 41594 0 -1 4194304 1694428 0 0 0 354567 5441 0 0 20 0 1 0 46451218 10484731904 2392191 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 2559749 2392191 2400 1147 0 2547176 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 10243188 KiB
Current children cumulated memory: 9571708 KiB

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

[startup+3611.11 s]
# the end of solver process 41928 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.002113 s

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

# cumulated CPU time of all completed processes:  user=3545.79 s, system=54.7185 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.20 4.15 4.11 4/259 42273
/proc/meminfo: memFree=116727368/131249996 swapFree=33010684/33010684
[pid=41931] ppid=41925 vsize=10126836 memory=9433740 CPUtime=3600.18 cores=1,3
/proc/41931/stat : 41931 (roundingsat) R 41925 41928 41594 0 -1 4194304 1694474 0 0 0 354577 5441 0 0 20 0 1 0 46451218 10369880064 2358947 18446744073709551615 4227072 8923433 140727884872752 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32382976 140727884876194 140727884876328 140727884876328 140727884881898 0
/proc/41931/statm: 2531709 2358947 2496 1147 0 2519136 0
Current cumulated CPU time of completed processes: 0.002113 s
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 10126836 KiB
Current children cumulated memory: 9433740 KiB

[startup+3611.41 s]
/proc/loadavg: 4.20 4.15 4.11 3/259 42273
/proc/meminfo: memFree=120724248/131249996 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.002113 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3611.5 s]
/proc/loadavg: 4.20 4.15 4.11 3/259 42273
/proc/meminfo: memFree=120724248/131249996 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.002113 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3611.53
CPU time (s): 3600.51
CPU user time (s): 3545.79
CPU system time (s): 54.7185
CPU usage (%): 99.6949
Max. virtual memory (cumulated for all children) (KiB): 10289808
Max. memory (cumulated for all children) (KiB): 9618256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3545.79
system time used= 54.7185
maximum resident set size= 9615312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1694725
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 171
involuntary context switches= 2793


# summary of solver processes directly reported to runsolver:
#   pid: 41928,41931
#   total CPU time (s): 3600.51
#   total CPU user time (s): 3545.79
#   total CPU system time (s): 54.7185

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6035 second user time and 11.0295 second system time

The end

Begin job on nodeC032 at 2025-06-30 20:22:06
IDJOB=4485320
IDBENCH=146784
IDSOLVER=3350
FILE ID=nodeC032/4485320-1751307726
RUNJOBID= nodeC032-1751304114-41606
SLURM_JOB_ID= 9594298
Free space on /tmp= 432036 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485320-1751307726/watcher-4485320-1751307726 -o /tmp/evaluation-result-4485320-1751307726/solver-4485320-1751307726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751304114-41606 --watchdog 3760  run-opt.sh HOME/instance-4485320-1751307726.opb

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

MD5SUM BENCH= 46c70d7f28752ee0ae29660ce5b35655
RANDOM SEED=515696949

nodeC032 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.842
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.69
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.842
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.69
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		: 3614.248
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.69
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		: 3625.587
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.69
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.844
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.69
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		: 2639.585
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.69
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		: 3613.019
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.69
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		: 3600.031
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        100961840 kB
MemAvailable:   100745912 kB
Buffers:            3280 kB
Cached:           592256 kB
SwapCached:            0 kB
Active:         29280104 kB
Inactive:         338852 kB
Active(anon):   29041496 kB
Inactive(anon):        0 kB
Active(file):     238608 kB
Inactive(file):   338852 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11560 kB
Writeback:             0 kB
AnonPages:      29026512 kB
Mapped:           112672 kB
Shmem:             18068 kB
KReclaimable:      91700 kB
Slab:             176740 kB
SReclaimable:      91700 kB
SUnreclaim:        85040 kB
KernelStack:        4240 kB
PageTables:        65336 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   35190244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4902912 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432028 MiB
End job on nodeC032 at 2025-06-30 21:22:18