0.00/0.07 c RoundingSat 2
0.00/0.07 c branch pb25
0.00/0.07 c commit 63f22ad
0.21/0.38 c #variables 107808 #constraints 5184
0.21/0.38 c objective is ce64
0.31/0.44 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.31/0.44 c initial counting CF 32, 64, 128, Arb: 5168 , 17 , 0 , 0
0.31/0.44 c GLOBAL bounds - >= 0 @ 0.289853
0.49/0.62 c GLOBAL bounds - >= 0 @ 0.403308
0.79/0.92 c GLOBAL bounds - >= 0 @ 0.663541
0.89/1.10 c GLOBAL bounds - >= 0 @ 0.773075
0.99/1.11 c GLOBAL bounds - >= 0 @ 0.778062
1.09/1.25 c GLOBAL bounds - >= 0 @ 0.856306
1.09/1.26 c GLOBAL bounds - >= 0 @ 0.863237
1.29/1.41 c GLOBAL bounds - >= 0 @ 0.940846
1.29/1.42 c GLOBAL bounds - >= 0 @ 0.946674
1.39/1.56 c GLOBAL bounds - >= 0 @ 1.02923
1.39/1.57 c GLOBAL bounds - >= 0 @ 1.03818
1.59/1.71 c GLOBAL bounds - >= 0 @ 1.12168
1.59/1.73 c GLOBAL bounds - >= 0 @ 1.13379
1.69/1.86 c GLOBAL bounds - >= 0 @ 1.21231
1.69/1.88 c GLOBAL bounds - >= 0 @ 1.22196
1.89/2.01 c GLOBAL bounds - >= 0 @ 1.30108
1.89/2.03 c GLOBAL bounds - >= 0 @ 1.31185
1.99/2.17 c GLOBAL bounds - >= 0 @ 1.39435
1.99/2.18 c GLOBAL bounds - >= 0 @ 1.40299
2.19/2.32 c GLOBAL bounds - >= 0 @ 1.48308
2.19/2.33 c GLOBAL bounds - >= 0 @ 1.49406
2.28/2.47 c GLOBAL bounds - >= 0 @ 1.57445
2.48/2.60 c GLOBAL bounds - >= 0 @ 1.64882
2.59/2.76 c GLOBAL bounds - >= 0 @ 1.73058
2.69/2.89 c GLOBAL bounds - >= 0 @ 1.81322
2.89/3.03 c GLOBAL bounds - >= 0 @ 1.8959
3.08/3.22 c GLOBAL bounds - >= 0 @ 2.03109
3.18/3.37 c GLOBAL bounds - >= 0 @ 2.13468
3.38/3.50 c GLOBAL bounds - >= 0 @ 2.2101
3.48/3.63 c GLOBAL bounds - >= 0 @ 2.29255
3.88/4.03 c GLOBAL bounds - >= 0 @ 2.63329
4.28/4.40 c GLOBAL bounds - >= 0 @ 2.92487
4.38/4.53 c GLOBAL bounds - >= 0 @ 2.9977
4.48/4.67 c GLOBAL bounds - >= 348224000 @ 3.14559
4.58/4.72 c GLOBAL bounds - >= 348224000 @ 3.19002
4.58/4.74 c GLOBAL bounds - >= 348224000 @ 3.19772
4.67/4.89 c GLOBAL bounds - >= 348224000 @ 3.27792
4.78/4.90 c GLOBAL bounds - >= 348224000 @ 3.28112
4.88/5.04 c GLOBAL bounds - >= 348224000 @ 3.35772
4.88/5.05 c GLOBAL bounds - >= 348224000 @ 3.36582
5.08/5.20 c GLOBAL bounds - >= 348224000 @ 3.45025
5.08/5.21 c GLOBAL bounds - >= 348224000 @ 3.45721
5.18/5.35 c GLOBAL bounds - >= 348224000 @ 3.53748
5.18/5.37 c GLOBAL bounds - >= 348224000 @ 3.55104
5.38/5.51 c GLOBAL bounds - >= 348224000 @ 3.63396
5.38/5.53 c GLOBAL bounds - >= 348224000 @ 3.64418
5.48/5.67 c GLOBAL bounds - >= 348224000 @ 3.72563
5.48/5.69 c GLOBAL bounds - >= 348224000 @ 3.73694
5.67/5.83 c GLOBAL bounds - >= 348224000 @ 3.81331
5.67/5.84 c GLOBAL bounds - >= 348224000 @ 3.82253
5.77/5.98 c GLOBAL bounds - >= 348224000 @ 3.90624
5.88/6.00 c GLOBAL bounds - >= 348224000 @ 3.91878
5.97/6.15 c GLOBAL bounds - >= 348224000 @ 3.99711
5.97/6.16 c GLOBAL bounds - >= 348224000 @ 4.00525
6.17/6.31 c GLOBAL bounds - >= 348224000 @ 4.08222
6.27/6.45 c GLOBAL bounds - >= 348224000 @ 4.16143
6.47/6.61 c GLOBAL bounds - >= 348224000 @ 4.25905
6.57/6.78 c GLOBAL bounds - >= 348224000 @ 4.36682
6.77/6.91 c GLOBAL bounds - >= 348224000 @ 4.44149
6.87/7.05 c GLOBAL bounds - >= 348224000 @ 4.52155
6.97/7.18 c GLOBAL bounds - >= 348224000 @ 4.59993
7.17/7.35 c GLOBAL bounds - >= 348224000 @ 4.70695
7.37/7.52 c GLOBAL bounds - >= 348224000 @ 4.79971
7.47/7.65 c GLOBAL bounds - >= 348224000 @ 4.86975
7.66/7.85 c GLOBAL bounds - >= 348224000 @ 5.00633
7.76/7.99 c GLOBAL bounds - >= 348224000 @ 5.08994
7.97/8.19 c GLOBAL bounds - >= 348224000 @ 5.23752
8.56/8.76 c GLOBAL bounds - >= 348224000 @ 5.73381
9.46/9.64 c GLOBAL bounds - >= 348224000 @ 6.54641
9.56/9.78 c GLOBAL bounds - >= 348224000 @ 6.62192
9.77/9.91 c GLOBAL bounds - >= 348224000 @ 6.71336
9.97/10.14 c GLOBAL bounds - >= 348224000 @ 6.88784
10.16/10.33 c GLOBAL bounds - >= 348224000 @ 7.01602
10.26/10.50 c GLOBAL bounds - >= 348224000 @ 7.12308
10.46/10.66 c GLOBAL bounds - >= 348224000 @ 7.22548
10.76/10.95 c GLOBAL bounds - >= 348224000 @ 7.44791
11.76/11.98 c GLOBAL bounds - >= 400062464 @ 8.45401
11.86/12.06 c GLOBAL bounds - >= 400062464 @ 8.52018
11.86/12.07 c GLOBAL bounds - >= 400062464 @ 8.52494
11.86/12.08 c GLOBAL bounds - >= 400062464 @ 8.53139
11.86/12.09 c GLOBAL bounds - >= 400062464 @ 8.53466
11.96/12.10 c GLOBAL bounds - >= 400062464 @ 8.54373
12.05/12.25 c GLOBAL bounds - >= 400062464 @ 8.61459
12.05/12.26 c GLOBAL bounds - >= 400062464 @ 8.62055
12.26/12.41 c GLOBAL bounds - >= 400062464 @ 8.70632
12.26/12.42 c GLOBAL bounds - >= 400062464 @ 8.71115
12.35/12.57 c GLOBAL bounds - >= 400062464 @ 8.78932
12.35/12.58 c GLOBAL bounds - >= 400062464 @ 8.79989
12.55/12.73 c GLOBAL bounds - >= 400062464 @ 8.87669
12.55/12.74 c GLOBAL bounds - >= 400062464 @ 8.88628
12.66/12.89 c GLOBAL bounds - >= 400062464 @ 8.97141
12.75/12.90 c GLOBAL bounds - >= 400062464 @ 8.9801
12.86/13.05 c GLOBAL bounds - >= 400062464 @ 9.05336
12.86/13.06 c GLOBAL bounds - >= 400062464 @ 9.0619
13.06/13.20 c GLOBAL bounds - >= 400062464 @ 9.14713
13.06/13.22 c GLOBAL bounds - >= 400062464 @ 9.15679
13.15/13.36 c GLOBAL bounds - >= 400062464 @ 9.23349
13.15/13.38 c GLOBAL bounds - >= 400062464 @ 9.24299
13.35/13.52 c GLOBAL bounds - >= 400062464 @ 9.32571
13.35/13.54 c GLOBAL bounds - >= 400062464 @ 9.33374
13.45/13.69 c GLOBAL bounds - >= 400062464 @ 9.41676
13.65/13.83 c GLOBAL bounds - >= 400062464 @ 9.49674
13.75/13.98 c GLOBAL bounds - >= 400062464 @ 9.59133
13.96/14.14 c GLOBAL bounds - >= 400062464 @ 9.68678
14.15/14.31 c GLOBAL bounds - >= 400062464 @ 9.78488
14.25/14.46 c GLOBAL bounds - >= 400062464 @ 9.88369
14.44/14.62 c GLOBAL bounds - >= 400062464 @ 9.98878
14.55/14.78 c GLOBAL bounds - >= 400062464 @ 10.0979
14.75/14.95 c GLOBAL bounds - >= 400062464 @ 10.2006
14.95/15.11 c GLOBAL bounds - >= 400062464 @ 10.3066
15.05/15.28 c GLOBAL bounds - >= 400062464 @ 10.4149
15.24/15.46 c GLOBAL bounds - >= 400062464 @ 10.5325
15.54/15.75 c GLOBAL bounds - >= 400062464 @ 10.7527
15.64/15.88 c GLOBAL bounds - >= 400062464 @ 10.8382
15.85/16.01 c GLOBAL bounds - >= 400062464 @ 10.9197
15.95/16.18 c GLOBAL bounds - >= 400062464 @ 11.0235
16.15/16.35 c GLOBAL bounds - >= 400062464 @ 11.1269
16.35/16.52 c GLOBAL bounds - >= 400062464 @ 11.2423
16.65/16.85 c GLOBAL bounds - >= 400062464 @ 11.5204
16.84/17.02 c GLOBAL bounds - >= 400062464 @ 11.6214
17.04/17.22 c GLOBAL bounds - >= 400062464 @ 11.7502
17.24/17.47 c GLOBAL bounds - >= 400124928 @ 11.9946
17.24/17.49 c GLOBAL bounds - >= 400124928 @ 12.0121
17.44/17.64 c GLOBAL bounds - >= 400124928 @ 12.1018
17.44/17.65 c GLOBAL bounds - >= 400124928 @ 12.1085
17.64/17.80 c GLOBAL bounds - >= 400124928 @ 12.1962
17.64/17.81 c GLOBAL bounds - >= 400124928 @ 12.2056
17.74/17.97 c GLOBAL bounds - >= 400124928 @ 12.3004
17.74/17.98 c GLOBAL bounds - >= 400124928 @ 12.3108
17.95/18.13 c GLOBAL bounds - >= 400124928 @ 12.3946
17.95/18.15 c GLOBAL bounds - >= 400124928 @ 12.4052
18.13/18.30 c GLOBAL bounds - >= 400124928 @ 12.4802
18.13/18.31 c GLOBAL bounds - >= 400124928 @ 12.4921
18.24/18.46 c GLOBAL bounds - >= 400124928 @ 12.5759
18.24/18.48 c GLOBAL bounds - >= 400124928 @ 12.5871
18.43/18.63 c GLOBAL bounds - >= 400124928 @ 12.6691
18.43/18.65 c GLOBAL bounds - >= 400124928 @ 12.6802
18.64/18.80 c GLOBAL bounds - >= 400124928 @ 12.757
18.64/18.82 c GLOBAL bounds - >= 400124928 @ 12.7669
18.74/18.96 c GLOBAL bounds - >= 400124928 @ 12.8521
18.74/18.98 c GLOBAL bounds - >= 400124928 @ 12.8565
18.94/19.12 c GLOBAL bounds - >= 400124928 @ 12.9414
19.04/19.26 c GLOBAL bounds - >= 400124928 @ 13.0244
19.23/19.42 c GLOBAL bounds - >= 400124928 @ 13.1331
19.43/19.61 c GLOBAL bounds - >= 400124928 @ 13.2556
19.64/19.83 c GLOBAL bounds - >= 400124928 @ 13.4147
19.83/20.04 c GLOBAL bounds - >= 400124928 @ 13.5489
20.13/20.34 c GLOBAL bounds - >= 400124928 @ 13.791
20.33/20.51 c GLOBAL bounds - >= 400124928 @ 13.896
20.53/20.71 c GLOBAL bounds - >= 400124928 @ 14.0354
20.63/20.88 c GLOBAL bounds - >= 400124928 @ 14.1415
20.83/21.07 c GLOBAL bounds - >= 400124928 @ 14.2637
21.42/21.69 c GLOBAL bounds - >= 400124928 @ 14.8145
21.63/21.87 c GLOBAL bounds - >= 400124928 @ 14.9287
21.83/22.03 c GLOBAL bounds - >= 400124928 @ 15.0472
22.02/22.29 c GLOBAL bounds - >= 425986560 @ 15.3015
22.23/22.49 c GLOBAL bounds - >= 425986560 @ 15.4792
22.33/22.50 c GLOBAL bounds - >= 425986560 @ 15.4846
22.42/22.65 c GLOBAL bounds - >= 425986560 @ 15.5666
22.42/22.66 c GLOBAL bounds - >= 425986560 @ 15.5745
22.62/22.81 c GLOBAL bounds - >= 425986560 @ 15.6501
22.62/22.83 c GLOBAL bounds - >= 425986560 @ 15.6557
22.72/22.98 c GLOBAL bounds - >= 425986560 @ 15.7379
22.72/22.99 c GLOBAL bounds - >= 425986560 @ 15.7486
22.93/23.16 c GLOBAL bounds - >= 425986560 @ 15.8444
22.93/23.18 c GLOBAL bounds - >= 425986560 @ 15.8565
23.12/23.33 c GLOBAL bounds - >= 425986560 @ 15.9444
23.12/23.34 c GLOBAL bounds - >= 425986560 @ 15.9565
23.23/23.49 c GLOBAL bounds - >= 425986560 @ 16.0381
23.32/23.51 c GLOBAL bounds - >= 425986560 @ 16.0499
23.43/23.66 c GLOBAL bounds - >= 425986560 @ 16.1459
23.43/23.68 c GLOBAL bounds - >= 425986560 @ 16.156
23.62/23.83 c GLOBAL bounds - >= 425986560 @ 16.2406
23.62/23.85 c GLOBAL bounds - >= 425986560 @ 16.2491
23.72/23.99 c GLOBAL bounds - >= 425986560 @ 16.3256
23.83/24.01 c GLOBAL bounds - >= 425986560 @ 16.3398
23.92/24.16 c GLOBAL bounds - >= 425986560 @ 16.4255
24.02/24.29 c GLOBAL bounds - >= 425986560 @ 16.507
24.22/24.43 c GLOBAL bounds - >= 425986560 @ 16.5893
24.42/24.60 c GLOBAL bounds - >= 425986560 @ 16.7073
24.52/24.80 c GLOBAL bounds - >= 425986560 @ 16.8375
24.72/24.97 c GLOBAL bounds - >= 425986560 @ 16.9588
24.93/25.15 c GLOBAL bounds - >= 425986560 @ 17.0752
25.12/25.34 c GLOBAL bounds - >= 425986560 @ 17.2177
25.42/25.66 c GLOBAL bounds - >= 425986560 @ 17.4696
25.61/25.83 c GLOBAL bounds - >= 425986560 @ 17.5729
25.82/26.00 c GLOBAL bounds - >= 425986560 @ 17.6879
26.02/26.21 c GLOBAL bounds - >= 425986560 @ 17.8325
26.51/26.71 c GLOBAL bounds - >= 425986560 @ 18.2674
26.62/26.85 c GLOBAL bounds - >= 425986560 @ 18.3522
26.71/26.98 c GLOBAL bounds - >= 425986560 @ 18.4244
26.92/27.11 c GLOBAL bounds - >= 425986560 @ 18.5069
27.01/27.25 c GLOBAL bounds - >= 425986560 @ 18.593
27.22/27.41 c GLOBAL bounds - >= 425986560 @ 18.7006
27.31/27.57 c GLOBAL bounds - >= 425986560 @ 18.8022
27.52/27.76 c GLOBAL bounds - >= 425986560 @ 18.9437
28.12/28.36 c GLOBAL bounds - >= 425986560 @ 19.484
28.51/28.72 c GLOBAL bounds - >= 435508736 @ 19.8389
28.61/28.80 c GLOBAL bounds - >= 435508736 @ 19.8985
28.61/28.81 c GLOBAL bounds - >= 435508736 @ 19.9048
28.61/28.82 c GLOBAL bounds - >= 435508736 @ 19.9127
28.61/28.83 c GLOBAL bounds - >= 435508736 @ 19.9204
28.71/28.98 c GLOBAL bounds - >= 435508736 @ 20.0085
28.71/29.00 c GLOBAL bounds - >= 435508736 @ 20.017
28.91/29.15 c GLOBAL bounds - >= 435508736 @ 20.1089
28.91/29.16 c GLOBAL bounds - >= 435508736 @ 20.1154
29.11/29.31 c GLOBAL bounds - >= 435508736 @ 20.2101
29.11/29.33 c GLOBAL bounds - >= 435508736 @ 20.2194
29.21/29.48 c GLOBAL bounds - >= 435508736 @ 20.3032
29.21/29.49 c GLOBAL bounds - >= 435508736 @ 20.3096
29.41/29.64 c GLOBAL bounds - >= 435508736 @ 20.3938
29.41/29.66 c GLOBAL bounds - >= 435508736 @ 20.4014
29.61/29.81 c GLOBAL bounds - >= 435508736 @ 20.4928
29.61/29.82 c GLOBAL bounds - >= 435508736 @ 20.5022
29.71/29.97 c GLOBAL bounds - >= 435508736 @ 20.5834
29.71/29.99 c GLOBAL bounds - >= 435508736 @ 20.5909
29.91/30.14 c GLOBAL bounds - >= 435508736 @ 20.6813
29.91/30.16 c GLOBAL bounds - >= 435508736 @ 20.6896
30.10/30.31 c GLOBAL bounds - >= 435508736 @ 20.78
30.10/30.32 c GLOBAL bounds - >= 435508736 @ 20.7919
30.20/30.47 c GLOBAL bounds - >= 435508736 @ 20.872
30.40/30.61 c GLOBAL bounds - >= 435508736 @ 20.9616
30.51/30.75 c GLOBAL bounds - >= 435508736 @ 21.046
30.60/30.89 c GLOBAL bounds - >= 435508736 @ 21.1276
30.81/31.03 c GLOBAL bounds - >= 435508736 @ 21.2082
30.91/31.16 c GLOBAL bounds - >= 435508736 @ 21.2938
31.10/31.30 c GLOBAL bounds - >= 435508736 @ 21.3733
31.20/31.44 c GLOBAL bounds - >= 435508736 @ 21.448
31.40/31.64 c GLOBAL bounds - >= 435508736 @ 21.5863
31.60/31.88 c GLOBAL bounds - >= 435508736 @ 21.769
31.90/32.18 c GLOBAL bounds - >= 435508736 @ 22.0033
32.40/32.64 c GLOBAL bounds - >= 435508736 @ 22.3884
33.39/33.62 c GLOBAL bounds - >= 435508736 @ 23.2859
33.50/33.75 c GLOBAL bounds - >= 435508736 @ 23.3771
33.69/33.91 c GLOBAL bounds - >= 435508736 @ 23.4792
33.90/34.11 c GLOBAL bounds - >= 435508736 @ 23.6333
34.10/34.38 c GLOBAL bounds - >= 435508736 @ 23.8368
34.40/34.64 c GLOBAL bounds - >= 435508736 @ 24.025
35.19/35.43 c GLOBAL bounds - >= 447459840 @ 24.8085
35.49/35.73 c GLOBAL bounds - >= 447459840 @ 25.0887
35.60/35.86 c GLOBAL bounds - >= 447459840 @ 25.1411
35.60/35.87 c GLOBAL bounds - >= 447459840 @ 25.1503
35.80/36.03 c GLOBAL bounds - >= 447459840 @ 25.238
35.80/36.04 c GLOBAL bounds - >= 447459840 @ 25.2429
35.90/36.19 c GLOBAL bounds - >= 447459840 @ 25.3305
35.99/36.20 c GLOBAL bounds - >= 447459840 @ 25.3382
36.10/36.35 c GLOBAL bounds - >= 447459840 @ 25.4311
36.10/36.37 c GLOBAL bounds - >= 447459840 @ 25.4438
36.29/36.52 c GLOBAL bounds - >= 447459840 @ 25.5313
36.29/36.53 c GLOBAL bounds - >= 447459840 @ 25.538
36.40/36.69 c GLOBAL bounds - >= 447459840 @ 25.6187
36.49/36.70 c GLOBAL bounds - >= 447459840 @ 25.6256
36.59/36.85 c GLOBAL bounds - >= 447459840 @ 25.7184
36.59/36.87 c GLOBAL bounds - >= 447459840 @ 25.7311
36.80/37.02 c GLOBAL bounds - >= 447459840 @ 25.8222
36.80/37.03 c GLOBAL bounds - >= 447459840 @ 25.8283
36.90/37.19 c GLOBAL bounds - >= 447459840 @ 25.9111
36.99/37.20 c GLOBAL bounds - >= 447459840 @ 25.9171
37.09/37.35 c GLOBAL bounds - >= 447459840 @ 26.0091
37.29/37.50 c GLOBAL bounds - >= 447459840 @ 26.0929
37.39/37.67 c GLOBAL bounds - >= 447459840 @ 26.2017
37.59/37.85 c GLOBAL bounds - >= 447459840 @ 26.3194
37.80/38.06 c GLOBAL bounds - >= 447459840 @ 26.4703
37.99/38.27 c GLOBAL bounds - >= 447459840 @ 26.6221
38.19/38.48 c GLOBAL bounds - >= 447459840 @ 26.7734
38.49/38.73 c GLOBAL bounds - >= 447459840 @ 26.9508
39.49/39.77 c GLOBAL bounds - >= 447459840 @ 27.9181
39.68/39.91 c GLOBAL bounds - >= 447459840 @ 27.9958
39.78/40.05 c GLOBAL bounds - >= 447459840 @ 28.0801
43.27/43.51 c GLOBAL bounds - >= 447459840 @ 31.3771
54.65/54.96 c #Conflicts: 1000 | #Constraints: 847256
54.65/54.96 c GLOBAL bounds - >= 447459840 @ 42.5798
54.86/55.15 c GLOBAL bounds - >= 447459840 @ 42.7066
55.05/55.35 c GLOBAL bounds - >= 447459840 @ 42.8534
55.24/55.57 c GLOBAL bounds - >= 447459840 @ 43.0137
55.45/55.75 c GLOBAL bounds - >= 456833536 @ 43.1902
55.65/55.92 c GLOBAL bounds - >= 456833536 @ 43.3224
55.65/55.93 c GLOBAL bounds - >= 456833536 @ 43.3293
55.76/56.08 c GLOBAL bounds - >= 456833536 @ 43.4152
55.85/56.10 c GLOBAL bounds - >= 456833536 @ 43.427
55.94/56.26 c GLOBAL bounds - >= 456833536 @ 43.5178
55.94/56.27 c GLOBAL bounds - >= 456833536 @ 43.5296
56.14/56.43 c GLOBAL bounds - >= 456833536 @ 43.6152
56.14/56.44 c GLOBAL bounds - >= 456833536 @ 43.6253
56.24/56.60 c GLOBAL bounds - >= 456833536 @ 43.7055
56.34/56.61 c GLOBAL bounds - >= 456833536 @ 43.7122
56.45/56.76 c GLOBAL bounds - >= 456833536 @ 43.7863
56.45/56.77 c GLOBAL bounds - >= 456833536 @ 43.792
56.64/56.92 c GLOBAL bounds - >= 456833536 @ 43.8833
56.64/56.94 c GLOBAL bounds - >= 456833536 @ 43.8945
56.75/57.09 c GLOBAL bounds - >= 456833536 @ 43.9786
56.75/57.10 c GLOBAL bounds - >= 456833536 @ 43.9854
56.94/57.25 c GLOBAL bounds - >= 456833536 @ 44.072
56.94/57.27 c GLOBAL bounds - >= 456833536 @ 44.0851
57.14/57.42 c GLOBAL bounds - >= 456833536 @ 44.1752
57.14/57.44 c GLOBAL bounds - >= 456833536 @ 44.1881
57.24/57.59 c GLOBAL bounds - >= 456833536 @ 44.2725
57.44/57.73 c GLOBAL bounds - >= 456833536 @ 44.3599
57.54/57.87 c GLOBAL bounds - >= 456833536 @ 44.447
57.75/58.02 c GLOBAL bounds - >= 456833536 @ 44.5281
57.84/58.18 c GLOBAL bounds - >= 456833536 @ 44.6318
58.04/58.36 c GLOBAL bounds - >= 456833536 @ 44.7439
58.24/58.56 c GLOBAL bounds - >= 456833536 @ 44.8858
58.44/58.77 c GLOBAL bounds - >= 456833536 @ 45.0542
58.64/58.98 c GLOBAL bounds - >= 456833536 @ 45.1977
58.84/59.17 c GLOBAL bounds - >= 456833536 @ 45.3228
59.14/59.46 c GLOBAL bounds - >= 456833536 @ 45.5543
59.34/59.62 c GLOBAL bounds - >= 456833536 @ 45.6631
59.75/60.01 c GLOBAL bounds - >= 456833536 @ 45.9911
59.93/60.28 c GLOBAL bounds - >= 456833536 @ 46.2069
61.24/61.56 c GLOBAL bounds - >= 456833536 @ 47.3885
64.43/64.71 c GLOBAL bounds - >= 463577088 @ 50.4807
64.52/64.82 c GLOBAL bounds - >= 463577088 @ 50.5745
64.52/64.83 c GLOBAL bounds - >= 463577088 @ 50.5773
64.52/64.84 c GLOBAL bounds - >= 463577088 @ 50.5843
64.52/64.86 c GLOBAL bounds - >= 463577088 @ 50.5914
64.73/65.01 c GLOBAL bounds - >= 463577088 @ 50.6721
64.73/65.03 c GLOBAL bounds - >= 463577088 @ 50.6865
64.82/65.18 c GLOBAL bounds - >= 463577088 @ 50.7756
64.92/65.20 c GLOBAL bounds - >= 463577088 @ 50.7888
65.02/65.35 c GLOBAL bounds - >= 463577088 @ 50.8787
65.02/65.37 c GLOBAL bounds - >= 463577088 @ 50.8897
65.23/65.52 c GLOBAL bounds - >= 463577088 @ 50.9687
65.23/65.54 c GLOBAL bounds - >= 463577088 @ 50.98
65.32/65.69 c GLOBAL bounds - >= 463577088 @ 51.0643
65.43/65.71 c GLOBAL bounds - >= 463577088 @ 51.0755
65.52/65.86 c GLOBAL bounds - >= 463577088 @ 51.1642
65.52/65.88 c GLOBAL bounds - >= 463577088 @ 51.176
65.73/66.03 c GLOBAL bounds - >= 463577088 @ 51.2524
65.73/66.04 c GLOBAL bounds - >= 463577088 @ 51.2624
65.92/66.20 c GLOBAL bounds - >= 463577088 @ 51.3479
65.92/66.21 c GLOBAL bounds - >= 463577088 @ 51.3599
66.02/66.37 c GLOBAL bounds - >= 463577088 @ 51.4501
66.02/66.38 c GLOBAL bounds - >= 463577088 @ 51.462
66.22/66.53 c GLOBAL bounds - >= 463577088 @ 51.5519
66.32/66.68 c GLOBAL bounds - >= 463577088 @ 51.6232
66.52/66.82 c GLOBAL bounds - >= 463577088 @ 51.708
66.72/67.04 c GLOBAL bounds - >= 463577088 @ 51.8551
67.02/67.37 c GLOBAL bounds - >= 463577088 @ 52.1221
67.22/67.51 c GLOBAL bounds - >= 463577088 @ 52.2077
67.42/67.78 c GLOBAL bounds - >= 463577088 @ 52.4114
67.62/67.99 c GLOBAL bounds - >= 463577088 @ 52.5537
67.92/68.24 c GLOBAL bounds - >= 463577088 @ 52.7398
69.02/69.37 c GLOBAL bounds - >= 463577088 @ 53.7941
69.32/69.61 c GLOBAL bounds - >= 463577088 @ 53.9684
72.21/72.58 c GLOBAL bounds - >= 463577088 @ 56.8028
72.61/72.91 c GLOBAL bounds - >= 463577088 @ 57.0774
75.09/75.42 c GLOBAL bounds - >= 463577088 @ 59.4698
79.48/79.88 c GLOBAL bounds - >= 463577088 @ 63.8019
85.17/85.59 c #Conflicts: 2000 | #Constraints: 1080494
85.17/85.59 c INPROCESSING
85.17/85.59 c GARBAGE COLLECT
85.17/85.59 c GLOBAL bounds - >= 463577088 @ 69.3436
86.37/86.70 c GLOBAL bounds - >= 463577088 @ 70.3867
86.56/86.91 c GLOBAL bounds - >= 463577088 @ 70.5401
86.76/87.13 c GLOBAL bounds - >= 463577088 @ 70.6898
87.56/87.98 c GLOBAL bounds - >= 478106112 @ 71.5271
87.76/88.16 c GLOBAL bounds - >= 478106112 @ 71.7023
87.76/88.18 c GLOBAL bounds - >= 478106112 @ 71.7119
87.76/88.20 c GLOBAL bounds - >= 478106112 @ 71.7192
87.86/88.21 c GLOBAL bounds - >= 478106112 @ 71.729
87.96/88.37 c GLOBAL bounds - >= 478106112 @ 71.8214
87.96/88.38 c GLOBAL bounds - >= 478106112 @ 71.8307
88.16/88.54 c GLOBAL bounds - >= 478106112 @ 71.9199
88.16/88.56 c GLOBAL bounds - >= 478106112 @ 71.9302
88.36/88.71 c GLOBAL bounds - >= 478106112 @ 72.0214
88.36/88.73 c GLOBAL bounds - >= 478106112 @ 72.0331
88.45/88.88 c GLOBAL bounds - >= 478106112 @ 72.1174
88.56/88.90 c GLOBAL bounds - >= 478106112 @ 72.1284
88.66/89.05 c GLOBAL bounds - >= 478106112 @ 72.2094
88.66/89.07 c GLOBAL bounds - >= 478106112 @ 72.2205
88.86/89.22 c GLOBAL bounds - >= 478106112 @ 72.3027
88.86/89.24 c GLOBAL bounds - >= 478106112 @ 72.3119
88.96/89.39 c GLOBAL bounds - >= 478106112 @ 72.3986
89.06/89.41 c GLOBAL bounds - >= 478106112 @ 72.4136
89.16/89.56 c GLOBAL bounds - >= 478106112 @ 72.5016
89.16/89.58 c GLOBAL bounds - >= 478106112 @ 72.5126
89.36/89.73 c GLOBAL bounds - >= 478106112 @ 72.5963
89.36/89.75 c GLOBAL bounds - >= 478106112 @ 72.608
89.56/89.91 c GLOBAL bounds - >= 478106112 @ 72.6922
89.76/90.15 c GLOBAL bounds - >= 478106112 @ 72.861
89.96/90.31 c GLOBAL bounds - >= 478106112 @ 72.9634
90.15/90.53 c GLOBAL bounds - >= 478106112 @ 73.1183
90.36/90.75 c GLOBAL bounds - >= 478106112 @ 73.2831
90.55/90.98 c GLOBAL bounds - >= 478106112 @ 73.4456
90.76/91.18 c GLOBAL bounds - >= 478106112 @ 73.5883
90.96/91.36 c GLOBAL bounds - >= 478106112 @ 73.7044
91.55/91.91 c GLOBAL bounds - >= 478106112 @ 74.1843
91.75/92.17 c GLOBAL bounds - >= 478106112 @ 74.3913
92.05/92.47 c GLOBAL bounds - >= 478106112 @ 74.634
93.66/94.04 c GLOBAL bounds - >= 478106112 @ 76.1249
95.24/95.69 c GLOBAL bounds - >= 478106112 @ 77.7147
98.41/98.88 c GLOBAL bounds - >= 478106112 @ 80.766
98.62/99.02 c GLOBAL bounds - >= 478106112 @ 80.8601
98.81/99.22 c GLOBAL bounds - >= 478106112 @ 80.9954
99.01/99.41 c GLOBAL bounds - >= 478106112 @ 81.1305
99.21/99.62 c GLOBAL bounds - >= 478106112 @ 81.2912
99.71/100.16 c GLOBAL bounds - >= 483979264 @ 81.8252
99.81/100.27 c GLOBAL bounds - >= 483979264 @ 81.9287
100.00/100.43 c GLOBAL bounds - >= 483979264 @ 82.0186
100.00/100.45 c GLOBAL bounds - >= 483979264 @ 82.0286
100.21/100.60 c GLOBAL bounds - >= 483979264 @ 82.1265
100.21/100.62 c GLOBAL bounds - >= 483979264 @ 82.1388
100.31/100.78 c GLOBAL bounds - >= 483979264 @ 82.2278
100.31/100.79 c GLOBAL bounds - >= 483979264 @ 82.24
100.51/100.95 c GLOBAL bounds - >= 483979264 @ 82.3232
100.51/100.97 c GLOBAL bounds - >= 483979264 @ 82.3372
100.71/101.12 c GLOBAL bounds - >= 483979264 @ 82.43
100.71/101.14 c GLOBAL bounds - >= 483979264 @ 82.4441
100.81/101.29 c GLOBAL bounds - >= 483979264 @ 82.5333
100.90/101.31 c GLOBAL bounds - >= 483979264 @ 82.5455
101.01/101.46 c GLOBAL bounds - >= 483979264 @ 82.6217
101.01/101.48 c GLOBAL bounds - >= 483979264 @ 82.6337
101.20/101.63 c GLOBAL bounds - >= 483979264 @ 82.7172
101.20/101.65 c GLOBAL bounds - >= 483979264 @ 82.728
101.40/101.80 c GLOBAL bounds - >= 483979264 @ 82.8201
101.40/101.82 c GLOBAL bounds - >= 483979264 @ 82.8333
101.51/101.97 c GLOBAL bounds - >= 483979264 @ 82.9202
101.71/102.12 c GLOBAL bounds - >= 483979264 @ 83.0004
101.81/102.29 c GLOBAL bounds - >= 483979264 @ 83.1022
102.00/102.44 c GLOBAL bounds - >= 483979264 @ 83.1892
102.10/102.59 c GLOBAL bounds - >= 483979264 @ 83.2739
102.31/102.74 c GLOBAL bounds - >= 483979264 @ 83.3638
102.50/102.95 c GLOBAL bounds - >= 483979264 @ 83.5024
104.29/104.73 c GLOBAL bounds - >= 483979264 @ 85.1818
104.50/104.98 c GLOBAL bounds - >= 483979264 @ 85.3719
106.79/107.22 c GLOBAL bounds - >= 483979264 @ 87.526
107.19/107.62 c GLOBAL bounds - >= 483979264 @ 87.8619
113.68/114.11 c #Conflicts: 3000 | #Constraints: 1306652
113.68/114.11 c GLOBAL bounds - >= 489197568 @ 94.2584
113.77/114.24 c GLOBAL bounds - >= 489197568 @ 94.3758
113.88/114.39 c GLOBAL bounds - >= 489197568 @ 94.4641
113.97/114.41 c GLOBAL bounds - >= 489197568 @ 94.4744
114.07/114.57 c GLOBAL bounds - >= 489197568 @ 94.566
114.07/114.59 c GLOBAL bounds - >= 489197568 @ 94.5774
114.27/114.75 c GLOBAL bounds - >= 489197568 @ 94.6718
114.27/114.76 c GLOBAL bounds - >= 489197568 @ 94.6832
114.47/114.92 c GLOBAL bounds - >= 489197568 @ 94.7755
114.47/114.94 c GLOBAL bounds - >= 489197568 @ 94.7882
114.58/115.09 c GLOBAL bounds - >= 489197568 @ 94.8684
114.68/115.11 c GLOBAL bounds - >= 489197568 @ 94.8822
114.78/115.27 c GLOBAL bounds - >= 489197568 @ 94.9707
114.78/115.28 c GLOBAL bounds - >= 489197568 @ 94.983
114.97/115.44 c GLOBAL bounds - >= 489197568 @ 95.0702
114.97/115.45 c GLOBAL bounds - >= 489197568 @ 95.0816
115.17/115.61 c GLOBAL bounds - >= 489197568 @ 95.1712
115.17/115.63 c GLOBAL bounds - >= 489197568 @ 95.1841
115.28/115.78 c GLOBAL bounds - >= 489197568 @ 95.2788
115.37/115.80 c GLOBAL bounds - >= 489197568 @ 95.2916
115.48/115.95 c GLOBAL bounds - >= 489197568 @ 95.3823
115.58/116.10 c GLOBAL bounds - >= 489197568 @ 95.4632
115.77/116.24 c GLOBAL bounds - >= 489197568 @ 95.5488
115.87/116.39 c GLOBAL bounds - >= 489197568 @ 95.6356
116.07/116.58 c GLOBAL bounds - >= 489197568 @ 95.7466
116.27/116.78 c GLOBAL bounds - >= 489197568 @ 95.8934
116.47/116.99 c GLOBAL bounds - >= 489197568 @ 96.036
116.87/117.38 c GLOBAL bounds - >= 489197568 @ 96.3643
117.17/117.64 c GLOBAL bounds - >= 489197568 @ 96.5538
136.22/136.78 c #Conflicts: 4000 | #Constraints: 1387083
136.22/136.78 c GLOBAL bounds - >= 489197568 @ 115.327
145.00/145.53 c INPROCESSING
145.00/145.53 c GARBAGE COLLECT
145.00/145.53 c GLOBAL bounds - >= 493359104 @ 123.977
145.10/145.66 c GLOBAL bounds - >= 493359104 @ 124.096
145.10/145.67 c GLOBAL bounds - >= 493359104 @ 124.102
145.10/145.69 c GLOBAL bounds - >= 493359104 @ 124.109
145.39/145.97 c GLOBAL bounds - >= 493359104 @ 124.31
145.39/145.99 c GLOBAL bounds - >= 493359104 @ 124.322
145.60/146.14 c GLOBAL bounds - >= 493359104 @ 124.406
145.60/146.16 c GLOBAL bounds - >= 493359104 @ 124.418
145.80/146.33 c GLOBAL bounds - >= 493359104 @ 124.518
145.80/146.35 c GLOBAL bounds - >= 493359104 @ 124.532
146.00/146.50 c GLOBAL bounds - >= 493359104 @ 124.618
146.00/146.52 c GLOBAL bounds - >= 493359104 @ 124.629
146.09/146.68 c GLOBAL bounds - >= 493359104 @ 124.72
146.09/146.69 c GLOBAL bounds - >= 493359104 @ 124.732
146.29/146.85 c GLOBAL bounds - >= 493359104 @ 124.826
146.29/146.87 c GLOBAL bounds - >= 493359104 @ 124.836
146.50/147.02 c GLOBAL bounds - >= 493359104 @ 124.93
146.50/147.04 c GLOBAL bounds - >= 493359104 @ 124.943
146.69/147.20 c GLOBAL bounds - >= 493359104 @ 125.019
146.69/147.22 c GLOBAL bounds - >= 493359104 @ 125.03
146.79/147.37 c GLOBAL bounds - >= 493359104 @ 125.124
146.79/147.39 c GLOBAL bounds - >= 493359104 @ 125.137
146.99/147.54 c GLOBAL bounds - >= 493359104 @ 125.217
147.09/147.69 c GLOBAL bounds - >= 493359104 @ 125.304
147.40/147.91 c GLOBAL bounds - >= 493359104 @ 125.456
147.60/148.13 c GLOBAL bounds - >= 493359104 @ 125.605
147.89/148.42 c GLOBAL bounds - >= 493359104 @ 125.833
147.99/148.57 c GLOBAL bounds - >= 493359104 @ 125.918
148.19/148.71 c GLOBAL bounds - >= 493359104 @ 125.997
148.29/148.86 c GLOBAL bounds - >= 493359104 @ 126.088
149.39/149.92 c GLOBAL bounds - >= 493359104 @ 127.07
150.68/151.21 c GLOBAL bounds - >= 493359104 @ 128.281
151.68/152.22 c GLOBAL bounds - >= 493359104 @ 129.227
151.88/152.41 c GLOBAL bounds - >= 493359104 @ 129.354
153.88/154.42 c GLOBAL bounds - >= 493359104 @ 131.277
167.74/168.36 c #Conflicts: 5000 | #Constraints: 1487350
167.74/168.36 c GLOBAL bounds - >= 493359104 @ 144.999
174.82/175.48 c GLOBAL bounds - >= 494415872 @ 152.043
174.93/175.55 c GLOBAL bounds - >= 494415872 @ 152.111
174.93/175.57 c GLOBAL bounds - >= 494415872 @ 152.121
174.93/175.58 c GLOBAL bounds - >= 494415872 @ 152.13
175.02/175.60 c GLOBAL bounds - >= 494415872 @ 152.14
175.12/175.76 c GLOBAL bounds - >= 494415872 @ 152.226
175.12/175.78 c GLOBAL bounds - >= 494415872 @ 152.238
175.32/175.94 c GLOBAL bounds - >= 494415872 @ 152.333
175.32/175.95 c GLOBAL bounds - >= 494415872 @ 152.345
175.52/176.11 c GLOBAL bounds - >= 494415872 @ 152.433
175.52/176.13 c GLOBAL bounds - >= 494415872 @ 152.445
175.62/176.28 c GLOBAL bounds - >= 494415872 @ 152.534
175.72/176.30 c GLOBAL bounds - >= 494415872 @ 152.547
175.82/176.45 c GLOBAL bounds - >= 494415872 @ 152.629
175.82/176.47 c GLOBAL bounds - >= 494415872 @ 152.64
176.02/176.63 c GLOBAL bounds - >= 494415872 @ 152.72
176.02/176.64 c GLOBAL bounds - >= 494415872 @ 152.731
176.22/176.80 c GLOBAL bounds - >= 494415872 @ 152.821
176.22/176.81 c GLOBAL bounds - >= 494415872 @ 152.833
176.31/176.97 c GLOBAL bounds - >= 494415872 @ 152.925
176.31/176.99 c GLOBAL bounds - >= 494415872 @ 152.937
176.52/177.14 c GLOBAL bounds - >= 494415872 @ 153.018
176.52/177.16 c GLOBAL bounds - >= 494415872 @ 153.026
176.72/177.31 c GLOBAL bounds - >= 494415872 @ 153.111
176.81/177.43 c GLOBAL bounds - >= 494415872 @ 153.173
176.92/177.58 c GLOBAL bounds - >= 494415872 @ 153.258
177.12/177.80 c GLOBAL bounds - >= 494415872 @ 153.406
177.32/177.98 c GLOBAL bounds - >= 494415872 @ 153.52
177.52/178.19 c GLOBAL bounds - >= 494415872 @ 153.653
177.72/178.36 c GLOBAL bounds - >= 494415872 @ 153.76
177.91/178.56 c GLOBAL bounds - >= 494415872 @ 153.902
179.11/179.73 c GLOBAL bounds - >= 494415872 @ 154.992
179.21/179.89 c GLOBAL bounds - >= 494415872 @ 155.101
179.42/180.10 c GLOBAL bounds - >= 494415872 @ 155.23
186.80/187.45 c #Conflicts: 6000 | #Constraints: 1578999
186.80/187.45 c GLOBAL bounds - >= 494415872 @ 162.35
187.19/187.82 c GLOBAL bounds - >= 494415872 @ 162.662
212.62/213.31 c INPROCESSING
212.62/213.31 c GARBAGE COLLECT
212.62/213.31 c #Conflicts: 7000 | #Constraints: 1586701
212.62/213.31 c GLOBAL bounds - >= 494415872 @ 187.813
212.73/213.47 c GLOBAL bounds - >= 494415872 @ 187.914
212.93/213.69 c GLOBAL bounds - >= 494415872 @ 188.065
213.23/213.90 c GLOBAL bounds - >= 494415872 @ 188.224
230.68/231.46 c #Conflicts: 8000 | #Constraints: 1605414
230.68/231.46 c GLOBAL bounds - >= 496496640 @ 205.602
230.78/231.55 c GLOBAL bounds - >= 496496640 @ 205.68
230.78/231.56 c GLOBAL bounds - >= 496496640 @ 205.688
230.78/231.57 c GLOBAL bounds - >= 496496640 @ 205.696
230.78/231.59 c GLOBAL bounds - >= 496496640 @ 205.705
230.88/231.60 c GLOBAL bounds - >= 496496640 @ 205.713
230.98/231.77 c GLOBAL bounds - >= 496496640 @ 205.804
230.98/231.79 c GLOBAL bounds - >= 496496640 @ 205.818
231.18/231.96 c GLOBAL bounds - >= 496496640 @ 205.928
231.18/231.98 c GLOBAL bounds - >= 496496640 @ 205.941
231.39/232.14 c GLOBAL bounds - >= 496496640 @ 206.039
231.39/232.16 c GLOBAL bounds - >= 496496640 @ 206.054
231.58/232.35 c GLOBAL bounds - >= 496496640 @ 206.177
231.58/232.37 c GLOBAL bounds - >= 496496640 @ 206.192
231.78/232.53 c GLOBAL bounds - >= 496496640 @ 206.295
231.78/232.55 c GLOBAL bounds - >= 496496640 @ 206.304
231.88/232.69 c GLOBAL bounds - >= 496496640 @ 206.373
231.98/232.71 c GLOBAL bounds - >= 496496640 @ 206.384
232.08/232.85 c GLOBAL bounds - >= 496496640 @ 206.468
232.08/232.86 c GLOBAL bounds - >= 496496640 @ 206.483
232.28/233.01 c GLOBAL bounds - >= 496496640 @ 206.567
232.28/233.03 c GLOBAL bounds - >= 496496640 @ 206.577
232.39/233.16 c GLOBAL bounds - >= 496496640 @ 206.645
232.39/233.18 c GLOBAL bounds - >= 496496640 @ 206.658
232.57/233.36 c GLOBAL bounds - >= 496496640 @ 206.768
232.77/233.50 c GLOBAL bounds - >= 496496640 @ 206.852
232.87/233.67 c GLOBAL bounds - >= 496496640 @ 206.959
233.08/233.81 c GLOBAL bounds - >= 496496640 @ 207.034
233.28/234.00 c GLOBAL bounds - >= 496496640 @ 207.156
233.47/234.21 c GLOBAL bounds - >= 496496640 @ 207.302
233.68/234.49 c GLOBAL bounds - >= 496496640 @ 207.512
254.02/254.86 c #Conflicts: 9000 | #Constraints: 1676685
254.02/254.86 c INPROCESSING
254.02/254.86 c GARBAGE COLLECT
254.02/254.86 c GLOBAL bounds - >= 496496640 @ 227.555
254.33/255.13 c GLOBAL bounds - >= 496496640 @ 227.771
254.53/255.33 c GLOBAL bounds - >= 496496640 @ 227.902
254.72/255.56 c GLOBAL bounds - >= 496496640 @ 228.066
263.20/264.01 c GLOBAL bounds - >= 496496640 @ 236.363
267.68/268.53 c GLOBAL bounds - >= 496496640 @ 240.787
267.78/268.68 c GLOBAL bounds - >= 496496640 @ 240.888
280.14/281.09 c #Conflicts: 10000 | #Constraints: 1706379
280.14/281.09 c GLOBAL bounds - >= 498065408 @ 253.145
280.25/281.19 c GLOBAL bounds - >= 498065408 @ 253.238
280.34/281.20 c GLOBAL bounds - >= 498065408 @ 253.25
280.34/281.22 c GLOBAL bounds - >= 498065408 @ 253.262
280.64/281.50 c GLOBAL bounds - >= 498065408 @ 253.477
280.64/281.52 c GLOBAL bounds - >= 498065408 @ 253.488
280.85/281.70 c GLOBAL bounds - >= 498065408 @ 253.605
280.85/281.72 c GLOBAL bounds - >= 498065408 @ 253.618
280.94/281.88 c GLOBAL bounds - >= 498065408 @ 253.709
281.05/281.90 c GLOBAL bounds - >= 498065408 @ 253.722
281.14/282.05 c GLOBAL bounds - >= 498065408 @ 253.818
281.14/282.07 c GLOBAL bounds - >= 498065408 @ 253.831
281.34/282.22 c GLOBAL bounds - >= 498065408 @ 253.926
281.34/282.24 c GLOBAL bounds - >= 498065408 @ 253.941
281.44/282.37 c GLOBAL bounds - >= 498065408 @ 254
281.44/282.39 c GLOBAL bounds - >= 498065408 @ 254.013
281.64/282.54 c GLOBAL bounds - >= 498065408 @ 254.103
281.64/282.56 c GLOBAL bounds - >= 498065408 @ 254.117
281.84/282.72 c GLOBAL bounds - >= 498065408 @ 254.199
281.84/282.74 c GLOBAL bounds - >= 498065408 @ 254.211
282.04/282.90 c GLOBAL bounds - >= 498065408 @ 254.298
282.04/282.92 c GLOBAL bounds - >= 498065408 @ 254.309
282.15/283.08 c GLOBAL bounds - >= 498065408 @ 254.399
282.34/283.23 c GLOBAL bounds - >= 498065408 @ 254.488
282.44/283.35 c GLOBAL bounds - >= 498065408 @ 254.554
282.64/283.54 c GLOBAL bounds - >= 498065408 @ 254.679
282.74/283.69 c GLOBAL bounds - >= 498065408 @ 254.766
282.93/283.88 c GLOBAL bounds - >= 498065408 @ 254.887
283.14/284.08 c GLOBAL bounds - >= 498065408 @ 255.024
283.34/284.22 c GLOBAL bounds - >= 498065408 @ 255.103
283.53/284.49 c GLOBAL bounds - >= 498065408 @ 255.313
284.03/284.90 c GLOBAL bounds - >= 498065408 @ 255.648
286.42/287.36 c GLOBAL bounds - >= 498065408 @ 258.022
286.62/287.53 c GLOBAL bounds - >= 498065408 @ 258.13
286.82/287.74 c GLOBAL bounds - >= 498065408 @ 258.279
291.12/292.06 c GLOBAL bounds - >= 498065408 @ 262.479
297.39/298.39 c #Conflicts: 11000 | #Constraints: 1807730
297.39/298.39 c GLOBAL bounds - >= 498065408 @ 268.676
297.70/298.65 c GLOBAL bounds - >= 498065408 @ 268.869
307.87/308.86 c GLOBAL bounds - >= 498065408 @ 278.901
311.46/312.49 c GLOBAL bounds - >= 498065408 @ 282.418
354.46/355.50 c #Conflicts: 12000 | #Constraints: 1826375
354.46/355.50 c INPROCESSING
354.46/355.50 c GARBAGE COLLECT
354.46/355.50 c #Conflicts: 13000 | #Constraints: 1824799
354.46/355.50 c GLOBAL bounds - >= 500146176 @ 324.919
354.56/355.62 c GLOBAL bounds - >= 500146176 @ 325.026
354.56/355.63 c GLOBAL bounds - >= 500146176 @ 325.036
354.56/355.65 c GLOBAL bounds - >= 500146176 @ 325.049
354.56/355.67 c GLOBAL bounds - >= 500146176 @ 325.055
354.56/355.68 c GLOBAL bounds - >= 500146176 @ 325.065
354.85/355.90 c GLOBAL bounds - >= 500146176 @ 325.223
354.85/355.92 c GLOBAL bounds - >= 500146176 @ 325.237
354.96/356.08 c GLOBAL bounds - >= 500146176 @ 325.323
354.96/356.10 c GLOBAL bounds - >= 500146176 @ 325.334
355.16/356.26 c GLOBAL bounds - >= 500146176 @ 325.419
355.16/356.28 c GLOBAL bounds - >= 500146176 @ 325.434
355.35/356.43 c GLOBAL bounds - >= 500146176 @ 325.526
355.35/356.45 c GLOBAL bounds - >= 500146176 @ 325.539
355.46/356.58 c GLOBAL bounds - >= 500146176 @ 325.604
355.55/356.60 c GLOBAL bounds - >= 500146176 @ 325.616
355.65/356.75 c GLOBAL bounds - >= 500146176 @ 325.709
355.65/356.77 c GLOBAL bounds - >= 500146176 @ 325.722
355.85/356.93 c GLOBAL bounds - >= 500146176 @ 325.807
355.85/356.95 c GLOBAL bounds - >= 500146176 @ 325.822
355.96/357.10 c GLOBAL bounds - >= 500146176 @ 325.906
356.05/357.12 c GLOBAL bounds - >= 500146176 @ 325.923
356.15/357.27 c GLOBAL bounds - >= 500146176 @ 326.011
356.15/357.29 c GLOBAL bounds - >= 500146176 @ 326.025
356.35/357.45 c GLOBAL bounds - >= 500146176 @ 326.118
356.55/357.60 c GLOBAL bounds - >= 500146176 @ 326.207
356.65/357.76 c GLOBAL bounds - >= 500146176 @ 326.316
356.85/357.93 c GLOBAL bounds - >= 500146176 @ 326.419
356.96/358.10 c GLOBAL bounds - >= 500146176 @ 326.522
357.15/358.26 c GLOBAL bounds - >= 500146176 @ 326.622
357.35/358.41 c GLOBAL bounds - >= 500146176 @ 326.714
357.44/358.58 c GLOBAL bounds - >= 500146176 @ 326.819
357.64/358.73 c GLOBAL bounds - >= 500146176 @ 326.904
357.85/358.90 c GLOBAL bounds - >= 500146176 @ 327.005
357.95/359.08 c GLOBAL bounds - >= 500146176 @ 327.12
358.15/359.27 c GLOBAL bounds - >= 500146176 @ 327.243
358.34/359.44 c GLOBAL bounds - >= 500146176 @ 327.36
358.64/359.77 c GLOBAL bounds - >= 500146176 @ 327.624
359.85/361.00 c GLOBAL bounds - >= 500146176 @ 328.777
360.05/361.14 c GLOBAL bounds - >= 500146176 @ 328.863
360.14/361.26 c GLOBAL bounds - >= 500146176 @ 328.921
362.54/363.62 c GLOBAL bounds - >= 500146176 @ 331.205
364.53/365.64 c GLOBAL bounds - >= 500146176 @ 333.139
364.64/365.79 c GLOBAL bounds - >= 500146176 @ 333.23
364.83/365.98 c GLOBAL bounds - >= 500146176 @ 333.369
366.43/367.52 c GLOBAL bounds - >= 500146176 @ 334.833
366.63/367.76 c GLOBAL bounds - >= 500146176 @ 335.002
391.07/392.24 c #Conflicts: 14000 | #Constraints: 1964492
391.07/392.24 c GLOBAL bounds - >= 500146176 @ 359.147
430.73/432.09 c #Conflicts: 15000 | #Constraints: 1969918
430.73/432.09 c INPROCESSING
430.73/432.09 c GARBAGE COLLECT
430.73/432.09 c #Conflicts: 16000 | #Constraints: 1968114
430.73/432.09 c GLOBAL bounds - >= 502755328 @ 398.43
430.93/432.20 c GLOBAL bounds - >= 502755328 @ 398.535
430.93/432.22 c GLOBAL bounds - >= 502755328 @ 398.548
430.93/432.24 c GLOBAL bounds - >= 502755328 @ 398.56
430.93/432.25 c GLOBAL bounds - >= 502755328 @ 398.57
430.93/432.27 c GLOBAL bounds - >= 502755328 @ 398.58
430.93/432.29 c GLOBAL bounds - >= 502755328 @ 398.594
431.03/432.30 c GLOBAL bounds - >= 502755328 @ 398.603
431.03/432.32 c GLOBAL bounds - >= 502755328 @ 398.617
431.03/432.34 c GLOBAL bounds - >= 502755328 @ 398.63
431.23/432.51 c GLOBAL bounds - >= 502755328 @ 398.743
431.23/432.53 c GLOBAL bounds - >= 502755328 @ 398.754
431.43/432.71 c GLOBAL bounds - >= 502755328 @ 398.869
431.43/432.73 c GLOBAL bounds - >= 502755328 @ 398.88
431.53/432.89 c GLOBAL bounds - >= 502755328 @ 398.968
431.63/432.91 c GLOBAL bounds - >= 502755328 @ 398.981
431.73/433.06 c GLOBAL bounds - >= 502755328 @ 399.07
431.73/433.08 c GLOBAL bounds - >= 502755328 @ 399.084
431.93/433.24 c GLOBAL bounds - >= 502755328 @ 399.167
431.93/433.26 c GLOBAL bounds - >= 502755328 @ 399.181
432.13/433.41 c GLOBAL bounds - >= 502755328 @ 399.266
432.13/433.43 c GLOBAL bounds - >= 502755328 @ 399.277
432.23/433.58 c GLOBAL bounds - >= 502755328 @ 399.365
432.33/433.60 c GLOBAL bounds - >= 502755328 @ 399.377
432.43/433.75 c GLOBAL bounds - >= 502755328 @ 399.461
432.43/433.77 c GLOBAL bounds - >= 502755328 @ 399.473
432.62/433.92 c GLOBAL bounds - >= 502755328 @ 399.566
432.62/433.94 c GLOBAL bounds - >= 502755328 @ 399.577
432.73/434.10 c GLOBAL bounds - >= 502755328 @ 399.673
432.93/434.26 c GLOBAL bounds - >= 502755328 @ 399.78
433.13/434.49 c GLOBAL bounds - >= 502755328 @ 399.946
433.43/434.70 c GLOBAL bounds - >= 502755328 @ 400.077
433.52/434.87 c GLOBAL bounds - >= 502755328 @ 400.182
433.73/435.04 c GLOBAL bounds - >= 502755328 @ 400.29
434.03/435.33 c GLOBAL bounds - >= 502755328 @ 400.522
434.23/435.50 c GLOBAL bounds - >= 502755328 @ 400.626
434.33/435.67 c GLOBAL bounds - >= 502755328 @ 400.739
434.52/435.84 c GLOBAL bounds - >= 502755328 @ 400.848
434.83/436.11 c GLOBAL bounds - >= 502755328 @ 401.057
453.56/454.95 c #Conflicts: 17000 | #Constraints: 2054852
453.56/454.95 c GLOBAL bounds - >= 502755328 @ 419.57
497.89/499.47 c #Conflicts: 18000 | #Constraints: 2060216
497.89/499.47 c INPROCESSING
497.89/499.47 c GARBAGE COLLECT
497.89/499.47 c GLOBAL bounds - >= 502755328 @ 463.359
498.10/499.63 c GLOBAL bounds - >= 502755328 @ 463.469
501.97/503.54 c GLOBAL bounds - >= 502755328 @ 467.256
556.41/558.16 c #Conflicts: 19000 | #Constraints: 2071312
556.41/558.16 c #Conflicts: 20000 | #Constraints: 2072312
556.41/558.16 c GLOBAL bounds - >= 503787520 @ 521.27
556.50/558.25 c GLOBAL bounds - >= 503787520 @ 521.353
556.50/558.27 c GLOBAL bounds - >= 503787520 @ 521.365
556.50/558.28 c GLOBAL bounds - >= 503787520 @ 521.376
556.60/558.30 c GLOBAL bounds - >= 503787520 @ 521.386
556.60/558.32 c GLOBAL bounds - >= 503787520 @ 521.397
556.60/558.34 c GLOBAL bounds - >= 503787520 @ 521.409
556.80/558.50 c GLOBAL bounds - >= 503787520 @ 521.51
556.80/558.52 c GLOBAL bounds - >= 503787520 @ 521.525
556.90/558.68 c GLOBAL bounds - >= 503787520 @ 521.617
556.90/558.69 c GLOBAL bounds - >= 503787520 @ 521.632
557.10/558.82 c GLOBAL bounds - >= 503787520 @ 521.691
557.10/558.84 c GLOBAL bounds - >= 503787520 @ 521.706
557.20/559.00 c GLOBAL bounds - >= 503787520 @ 521.792
557.30/559.02 c GLOBAL bounds - >= 503787520 @ 521.806
557.41/559.17 c GLOBAL bounds - >= 503787520 @ 521.894
557.41/559.19 c GLOBAL bounds - >= 503787520 @ 521.904
557.59/559.35 c GLOBAL bounds - >= 503787520 @ 522.001
557.59/559.37 c GLOBAL bounds - >= 503787520 @ 522.014
557.79/559.53 c GLOBAL bounds - >= 503787520 @ 522.1
557.79/559.55 c GLOBAL bounds - >= 503787520 @ 522.113
558.00/559.70 c GLOBAL bounds - >= 503787520 @ 522.206
558.00/559.72 c GLOBAL bounds - >= 503787520 @ 522.219
558.10/559.88 c GLOBAL bounds - >= 503787520 @ 522.313
558.19/559.90 c GLOBAL bounds - >= 503787520 @ 522.329
558.30/560.05 c GLOBAL bounds - >= 503787520 @ 522.427
558.49/560.23 c GLOBAL bounds - >= 503787520 @ 522.532
558.69/560.40 c GLOBAL bounds - >= 503787520 @ 522.636
558.90/560.62 c #Conflicts: 21000 | #Constraints: 2123783
558.90/560.62 c GLOBAL bounds - >= 503787520 @ 522.783
559.09/560.88 c GLOBAL bounds - >= 503787520 @ 522.978
559.29/561.06 c GLOBAL bounds - >= 503787520 @ 523.087
559.49/561.23 c GLOBAL bounds - >= 503787520 @ 523.203
559.69/561.50 c GLOBAL bounds - >= 503787520 @ 523.405
559.99/561.76 c GLOBAL bounds - >= 503787520 @ 523.594
560.39/562.18 c GLOBAL bounds - >= 503787520 @ 523.952
560.69/562.41 c GLOBAL bounds - >= 503787520 @ 524.133
560.99/562.74 c GLOBAL bounds - >= 503787520 @ 524.401
561.18/562.93 c GLOBAL bounds - >= 503787520 @ 524.53
567.56/569.30 c GLOBAL bounds - >= 503787520 @ 530.712
568.55/570.33 c GLOBAL bounds - >= 503787520 @ 531.668
568.75/570.58 c GLOBAL bounds - >= 503787520 @ 531.85
569.15/570.90 c GLOBAL bounds - >= 503787520 @ 532.107
569.55/571.34 c GLOBAL bounds - >= 503787520 @ 532.492
574.24/576.04 c GLOBAL bounds - >= 503787520 @ 537.065
574.63/576.43 c GLOBAL bounds - >= 503787520 @ 537.393
763.22/765.79 c #Conflicts: 22000 | #Constraints: 2197712
763.22/765.79 c #Conflicts: 23000 | #Constraints: 2198712
763.22/765.79 c #Conflicts: 24000 | #Constraints: 2199712
763.22/765.79 c #Conflicts: 25000 | #Constraints: 2200712
763.22/765.79 c #Conflicts: 26000 | #Constraints: 2201712
763.22/765.79 c GLOBAL bounds - >= 506908672 @ 724.318
763.42/765.94 c GLOBAL bounds - >= 506908672 @ 724.457
763.42/765.95 c GLOBAL bounds - >= 506908672 @ 724.467
763.42/765.97 c GLOBAL bounds - >= 506908672 @ 724.479
763.42/765.99 c GLOBAL bounds - >= 506908672 @ 724.488
763.52/766.00 c GLOBAL bounds - >= 506908672 @ 724.496
763.62/766.17 c GLOBAL bounds - >= 506908672 @ 724.599
763.62/766.19 c GLOBAL bounds - >= 506908672 @ 724.612
763.81/766.35 c GLOBAL bounds - >= 506908672 @ 724.715
763.81/766.37 c GLOBAL bounds - >= 506908672 @ 724.726
764.02/766.54 c GLOBAL bounds - >= 506908672 @ 724.824
764.02/766.55 c GLOBAL bounds - >= 506908672 @ 724.836
764.22/766.71 c GLOBAL bounds - >= 506908672 @ 724.923
764.22/766.73 c GLOBAL bounds - >= 506908672 @ 724.932
764.32/766.89 c GLOBAL bounds - >= 506908672 @ 725.025
764.42/766.90 c GLOBAL bounds - >= 506908672 @ 725.039
764.52/767.06 c GLOBAL bounds - >= 506908672 @ 725.13
764.52/767.08 c GLOBAL bounds - >= 506908672 @ 725.142
764.72/767.24 c GLOBAL bounds - >= 506908672 @ 725.23
764.72/767.26 c GLOBAL bounds - >= 506908672 @ 725.244
764.91/767.42 c GLOBAL bounds - >= 506908672 @ 725.335
764.91/767.43 c GLOBAL bounds - >= 506908672 @ 725.346
765.01/767.59 c GLOBAL bounds - >= 506908672 @ 725.442
765.11/767.61 c GLOBAL bounds - >= 506908672 @ 725.456
765.21/767.77 c GLOBAL bounds - >= 506908672 @ 725.55
765.41/767.92 c GLOBAL bounds - >= 506908672 @ 725.645
765.51/768.07 c GLOBAL bounds - >= 506908672 @ 725.732
765.72/768.23 c GLOBAL bounds - >= 506908672 @ 725.817
765.91/768.40 c GLOBAL bounds - >= 506908672 @ 725.925
766.12/768.67 c GLOBAL bounds - >= 506908672 @ 726.123
766.52/769.10 c #Conflicts: 27000 | #Constraints: 2265822
766.52/769.10 c GLOBAL bounds - >= 506908672 @ 726.467
766.71/769.25 c GLOBAL bounds - >= 506908672 @ 726.56
769.80/772.33 c GLOBAL bounds - >= 506908672 @ 729.501
770.00/772.54 c GLOBAL bounds - >= 506908672 @ 729.649
770.30/772.88 c GLOBAL bounds - >= 506908672 @ 729.924
771.40/773.93 c GLOBAL bounds - >= 506908672 @ 730.902
778.98/781.50 c GLOBAL bounds - >= 506908672 @ 738.294
790.93/793.51 c #Conflicts: 28000 | #Constraints: 2296279
790.93/793.51 c GLOBAL bounds - >= 506908672 @ 750.053
791.23/793.84 c GLOBAL bounds - >= 506908672 @ 750.309
815.65/818.38 c INPROCESSING
815.65/818.38 c GARBAGE COLLECT
815.65/818.38 c #Conflicts: 29000 | #Constraints: 2298999
815.65/818.38 c GLOBAL bounds - >= 506908672 @ 774.489
815.85/818.59 c GLOBAL bounds - >= 506908672 @ 774.645
816.25/818.93 c GLOBAL bounds - >= 506908672 @ 774.923
816.65/819.36 c GLOBAL bounds - >= 506908672 @ 775.28
822.53/825.28 c GLOBAL bounds - >= 506908672 @ 781.081
853.44/856.28 c #Conflicts: 30000 | #Constraints: 2321714
853.44/856.28 c GLOBAL bounds - >= 506908672 @ 811.777
853.95/856.74 c GLOBAL bounds - >= 506908672 @ 812.157
871.50/874.39 c #Conflicts: 31000 | #Constraints: 2331424
871.50/874.39 c GLOBAL bounds - >= 506908672 @ 829.593
871.80/874.65 c GLOBAL bounds - >= 506908672 @ 829.793
872.50/875.32 c GLOBAL bounds - >= 506908672 @ 830.394
872.69/875.53 c GLOBAL bounds - >= 506908672 @ 830.546
930.65/933.67 c #Conflicts: 32000 | #Constraints: 2349886
930.65/933.67 c #Conflicts: 33000 | #Constraints: 2350886
930.65/933.67 c GLOBAL bounds - >= 506908672 @ 888.23
931.25/934.20 c GLOBAL bounds - >= 506908672 @ 888.687
931.35/934.37 c GLOBAL bounds - >= 506908672 @ 888.815
971.20/974.34 c INPROCESSING
971.20/974.34 c GARBAGE COLLECT
971.20/974.34 c #Conflicts: 34000 | #Constraints: 2359325
971.20/974.34 c GLOBAL bounds - >= 506916864 @ 928.341
971.20/974.39 c GLOBAL bounds - >= 506916864 @ 928.384
971.30/974.41 c GLOBAL bounds - >= 506916864 @ 928.394
971.30/974.43 c GLOBAL bounds - >= 506916864 @ 928.407
971.30/974.45 c GLOBAL bounds - >= 506916864 @ 928.418
971.91/975.02 c GLOBAL bounds - >= 506916864 @ 928.928
971.91/975.04 c GLOBAL bounds - >= 506916864 @ 928.941
972.10/975.20 c GLOBAL bounds - >= 506916864 @ 929.045
972.10/975.22 c GLOBAL bounds - >= 506916864 @ 929.058
972.20/975.38 c GLOBAL bounds - >= 506916864 @ 929.148
972.30/975.40 c GLOBAL bounds - >= 506916864 @ 929.165
972.40/975.56 c GLOBAL bounds - >= 506916864 @ 929.268
972.40/975.58 c GLOBAL bounds - >= 506916864 @ 929.282
972.60/975.74 c GLOBAL bounds - >= 506916864 @ 929.379
972.60/975.76 c GLOBAL bounds - >= 506916864 @ 929.39
972.79/975.96 c GLOBAL bounds - >= 506916864 @ 929.528
972.79/975.98 c GLOBAL bounds - >= 506916864 @ 929.542
973.00/976.14 c GLOBAL bounds - >= 506916864 @ 929.635
973.00/976.16 c GLOBAL bounds - >= 506916864 @ 929.647
973.20/976.32 c GLOBAL bounds - >= 506916864 @ 929.737
973.20/976.34 c GLOBAL bounds - >= 506916864 @ 929.749
973.40/976.50 c GLOBAL bounds - >= 506916864 @ 929.841
973.40/976.52 c GLOBAL bounds - >= 506916864 @ 929.858
973.50/976.68 c GLOBAL bounds - >= 506916864 @ 929.957
973.70/976.81 c GLOBAL bounds - >= 506916864 @ 930.024
973.79/976.97 c GLOBAL bounds - >= 506916864 @ 930.111
973.90/977.09 c GLOBAL bounds - >= 506916864 @ 930.174
974.19/977.35 c GLOBAL bounds - >= 506916864 @ 930.366
974.40/977.59 c GLOBAL bounds - >= 506916864 @ 930.528
974.79/977.97 c GLOBAL bounds - >= 506916864 @ 930.853
975.09/978.27 c GLOBAL bounds - >= 506916864 @ 931.092
1004.79/1008.06 c #Conflicts: 35000 | #Constraints: 2434225
1004.79/1008.06 c GLOBAL bounds - >= 506916864 @ 960.436
1170.10/1173.84 c #Conflicts: 36000 | #Constraints: 2439592
1170.10/1173.84 c #Conflicts: 37000 | #Constraints: 2440592
1170.10/1173.84 c #Conflicts: 38000 | #Constraints: 2441592
1170.10/1173.84 c INPROCESSING
1170.10/1173.84 c GARBAGE COLLECT
1170.10/1173.84 c #Conflicts: 39000 | #Constraints: 2437407
1170.10/1173.84 c #Conflicts: 40000 | #Constraints: 2438407
1170.10/1173.84 c #Conflicts: 41000 | #Constraints: 2439407
1170.10/1173.84 c GLOBAL bounds - >= 508493824 @ 1124.69
1170.20/1173.94 c GLOBAL bounds - >= 508493824 @ 1124.78
1170.20/1173.96 c GLOBAL bounds - >= 508493824 @ 1124.79
1170.20/1173.98 c GLOBAL bounds - >= 508493824 @ 1124.81
1170.20/1173.99 c GLOBAL bounds - >= 508493824 @ 1124.82
1170.30/1174.01 c GLOBAL bounds - >= 508493824 @ 1124.83
1170.30/1174.03 c GLOBAL bounds - >= 508493824 @ 1124.84
1170.30/1174.05 c GLOBAL bounds - >= 508493824 @ 1124.85
1170.30/1174.07 c GLOBAL bounds - >= 508493824 @ 1124.86
1170.50/1174.30 c GLOBAL bounds - >= 508493824 @ 1125.03
1170.59/1174.32 c GLOBAL bounds - >= 508493824 @ 1125.04
1170.69/1174.47 c GLOBAL bounds - >= 508493824 @ 1125.14
1170.69/1174.49 c GLOBAL bounds - >= 508493824 @ 1125.15
1170.89/1174.66 c GLOBAL bounds - >= 508493824 @ 1125.25
1170.89/1174.68 c GLOBAL bounds - >= 508493824 @ 1125.26
1171.09/1174.84 c GLOBAL bounds - >= 508493824 @ 1125.36
1171.09/1174.86 c GLOBAL bounds - >= 508493824 @ 1125.37
1171.30/1175.02 c GLOBAL bounds - >= 508493824 @ 1125.47
1171.30/1175.04 c GLOBAL bounds - >= 508493824 @ 1125.48
1171.49/1175.22 c GLOBAL bounds - >= 508493824 @ 1125.61
1171.49/1175.24 c GLOBAL bounds - >= 508493824 @ 1125.62
1171.69/1175.40 c GLOBAL bounds - >= 508493824 @ 1125.71
1171.69/1175.42 c GLOBAL bounds - >= 508493824 @ 1125.72
1171.79/1175.58 c GLOBAL bounds - >= 508493824 @ 1125.82
1171.89/1175.60 c GLOBAL bounds - >= 508493824 @ 1125.83
1171.99/1175.76 c GLOBAL bounds - >= 508493824 @ 1125.92
1171.99/1175.78 c GLOBAL bounds - >= 508493824 @ 1125.93
1172.19/1175.94 c GLOBAL bounds - >= 508493824 @ 1126.01
1172.40/1176.11 c GLOBAL bounds - >= 508493824 @ 1126.11
1172.59/1176.30 c GLOBAL bounds - >= 508493824 @ 1126.25
1172.69/1176.48 c GLOBAL bounds - >= 508493824 @ 1126.36
1172.89/1176.63 c GLOBAL bounds - >= 508493824 @ 1126.44
1173.09/1176.80 c GLOBAL bounds - >= 508493824 @ 1126.56
1173.19/1176.96 c GLOBAL bounds - >= 508493824 @ 1126.64
1173.39/1177.11 c GLOBAL bounds - >= 508493824 @ 1126.73
1173.48/1177.26 c GLOBAL bounds - >= 508493824 @ 1126.82
1173.69/1177.42 c GLOBAL bounds - >= 508493824 @ 1126.92
1173.88/1177.64 c GLOBAL bounds - >= 508493824 @ 1127.07
1173.99/1177.79 c GLOBAL bounds - >= 508493824 @ 1127.17
1174.49/1178.27 c GLOBAL bounds - >= 508493824 @ 1127.58
1174.88/1178.64 c GLOBAL bounds - >= 508493824 @ 1127.89
1186.62/1190.45 c GLOBAL bounds - >= 508493824 @ 1139.42
1186.92/1190.72 c GLOBAL bounds - >= 508493824 @ 1139.64
1199.37/1203.21 c #Conflicts: 42000 | #Constraints: 2547715
1199.37/1203.21 c GLOBAL bounds - >= 508493824 @ 1151.91
1225.08/1229.03 c INPROCESSING
1225.08/1229.03 c GARBAGE COLLECT
1225.08/1229.03 c #Conflicts: 43000 | #Constraints: 2548024
1225.08/1229.03 c GLOBAL bounds - >= 508493824 @ 1177.38
1354.07/1358.40 c #Conflicts: 44000 | #Constraints: 2553391
1354.07/1358.40 c #Conflicts: 45000 | #Constraints: 2554391
1354.07/1358.40 c #Conflicts: 46000 | #Constraints: 2555391
1354.07/1358.40 c #Conflicts: 47000 | #Constraints: 2556391
1354.07/1358.40 c GLOBAL bounds - >= 509534208 @ 1305.49
1354.07/1358.47 c GLOBAL bounds - >= 509534208 @ 1305.55
1354.07/1358.49 c GLOBAL bounds - >= 509534208 @ 1305.57
1354.17/1358.50 c GLOBAL bounds - >= 509534208 @ 1305.58
1354.17/1358.52 c GLOBAL bounds - >= 509534208 @ 1305.59
1354.17/1358.54 c GLOBAL bounds - >= 509534208 @ 1305.6
1354.17/1358.56 c GLOBAL bounds - >= 509534208 @ 1305.61
1354.17/1358.58 c GLOBAL bounds - >= 509534208 @ 1305.62
1354.17/1358.59 c GLOBAL bounds - >= 509534208 @ 1305.64
1354.37/1358.76 c GLOBAL bounds - >= 509534208 @ 1305.74
1354.37/1358.78 c GLOBAL bounds - >= 509534208 @ 1305.75
1354.57/1358.93 c GLOBAL bounds - >= 509534208 @ 1305.84
1354.57/1358.95 c GLOBAL bounds - >= 509534208 @ 1305.85
1354.77/1359.12 c GLOBAL bounds - >= 509534208 @ 1305.95
1354.77/1359.13 c GLOBAL bounds - >= 509534208 @ 1305.96
1354.97/1359.30 c GLOBAL bounds - >= 509534208 @ 1306.06
1354.97/1359.32 c GLOBAL bounds - >= 509534208 @ 1306.07
1355.07/1359.48 c GLOBAL bounds - >= 509534208 @ 1306.18
1355.17/1359.50 c GLOBAL bounds - >= 509534208 @ 1306.18
1355.27/1359.66 c GLOBAL bounds - >= 509534208 @ 1306.28
1355.27/1359.68 c GLOBAL bounds - >= 509534208 @ 1306.3
1355.47/1359.84 c GLOBAL bounds - >= 509534208 @ 1306.38
1355.47/1359.86 c GLOBAL bounds - >= 509534208 @ 1306.39
1355.67/1360.02 c GLOBAL bounds - >= 509534208 @ 1306.48
1355.67/1360.04 c GLOBAL bounds - >= 509534208 @ 1306.5
1355.77/1360.19 c GLOBAL bounds - >= 509534208 @ 1306.6
1355.86/1360.21 c GLOBAL bounds - >= 509534208 @ 1306.61
1355.97/1360.37 c GLOBAL bounds - >= 509534208 @ 1306.7
1356.16/1360.53 c GLOBAL bounds - >= 509534208 @ 1306.79
1356.37/1360.72 c GLOBAL bounds - >= 509534208 @ 1306.92
1356.46/1360.89 c GLOBAL bounds - >= 509534208 @ 1307.03
1356.67/1361.06 c GLOBAL bounds - >= 509534208 @ 1307.14
1356.86/1361.23 c GLOBAL bounds - >= 509534208 @ 1307.25
1357.06/1361.41 c GLOBAL bounds - >= 509534208 @ 1307.36
1357.16/1361.58 c GLOBAL bounds - >= 509534208 @ 1307.46
1357.46/1361.81 c GLOBAL bounds - >= 509534208 @ 1307.63
1357.56/1361.97 c GLOBAL bounds - >= 509534208 @ 1307.72
1357.76/1362.12 c GLOBAL bounds - >= 509534208 @ 1307.81
1359.95/1364.33 c GLOBAL bounds - >= 509534208 @ 1309.93
1360.16/1364.50 c GLOBAL bounds - >= 509534208 @ 1310.04
1360.95/1365.38 c GLOBAL bounds - >= 509534208 @ 1310.84
1365.94/1370.38 c GLOBAL bounds - >= 509534208 @ 1315.73
1366.14/1370.60 c GLOBAL bounds - >= 509534208 @ 1315.88
1367.14/1371.50 c GLOBAL bounds - >= 509534208 @ 1316.73
1414.42/1418.95 c #Conflicts: 48000 | #Constraints: 2668457
1414.42/1418.95 c #Conflicts: 49000 | #Constraints: 2669457
1414.42/1418.95 c GLOBAL bounds - >= 509534208 @ 1363.69
1612.57/1617.69 c #Conflicts: 50000 | #Constraints: 2674824
1612.57/1617.69 c #Conflicts: 51000 | #Constraints: 2675824
1612.57/1617.69 c #Conflicts: 52000 | #Constraints: 2676824
1612.57/1617.69 c #Conflicts: 53000 | #Constraints: 2677824
1612.57/1617.69 c GLOBAL bounds - >= 511102976 @ 1560.62
1612.67/1617.77 c GLOBAL bounds - >= 511102976 @ 1560.69
1612.67/1617.79 c GLOBAL bounds - >= 511102976 @ 1560.7
1612.76/1617.81 c GLOBAL bounds - >= 511102976 @ 1560.72
1612.97/1618.02 c GLOBAL bounds - >= 511102976 @ 1560.87
1612.97/1618.04 c GLOBAL bounds - >= 511102976 @ 1560.88
1613.16/1618.21 c GLOBAL bounds - >= 511102976 @ 1560.98
1613.16/1618.23 c GLOBAL bounds - >= 511102976 @ 1560.99
1613.27/1618.39 c GLOBAL bounds - >= 511102976 @ 1561.08
1613.36/1618.41 c GLOBAL bounds - >= 511102976 @ 1561.1
1613.46/1618.57 c GLOBAL bounds - >= 511102976 @ 1561.19
1613.46/1618.59 c GLOBAL bounds - >= 511102976 @ 1561.21
1613.66/1618.75 c GLOBAL bounds - >= 511102976 @ 1561.31
1613.66/1618.76 c GLOBAL bounds - >= 511102976 @ 1561.32
1613.86/1618.93 c GLOBAL bounds - >= 511102976 @ 1561.42
1613.86/1618.95 c GLOBAL bounds - >= 511102976 @ 1561.43
1614.07/1619.11 c GLOBAL bounds - >= 511102976 @ 1561.52
1614.07/1619.13 c GLOBAL bounds - >= 511102976 @ 1561.54
1614.16/1619.29 c GLOBAL bounds - >= 511102976 @ 1561.62
1614.26/1619.30 c GLOBAL bounds - >= 511102976 @ 1561.63
1614.36/1619.47 c GLOBAL bounds - >= 511102976 @ 1561.73
1614.36/1619.49 c GLOBAL bounds - >= 511102976 @ 1561.74
1614.57/1619.64 c GLOBAL bounds - >= 511102976 @ 1561.84
1614.76/1619.85 c GLOBAL bounds - >= 511102976 @ 1561.99
1614.97/1620.03 c GLOBAL bounds - >= 511102976 @ 1562.09
1615.07/1620.18 c GLOBAL bounds - >= 511102976 @ 1562.18
1615.26/1620.31 c GLOBAL bounds - >= 511102976 @ 1562.25
1615.36/1620.46 c GLOBAL bounds - >= 511102976 @ 1562.34
1615.56/1620.64 c GLOBAL bounds - >= 511102976 @ 1562.45
1615.77/1620.81 c GLOBAL bounds - >= 511102976 @ 1562.56
1615.86/1620.97 c GLOBAL bounds - >= 511102976 @ 1562.65
1616.16/1621.29 c GLOBAL bounds - >= 511102976 @ 1562.91
1616.36/1621.44 c GLOBAL bounds - >= 511102976 @ 1563.01
1624.14/1629.20 c #Conflicts: 54000 | #Constraints: 2763281
1624.14/1629.20 c GLOBAL bounds - >= 511102976 @ 1570.56
1624.33/1629.42 c GLOBAL bounds - >= 511102976 @ 1570.73
1631.72/1636.86 c GLOBAL bounds - >= 511102976 @ 1577.99
1634.81/1639.90 c GLOBAL bounds - >= 511102976 @ 1580.91
1643.79/1648.90 c GLOBAL bounds - >= 511102976 @ 1589.74
1735.62/1741.07 c #Conflicts: 55000 | #Constraints: 2785990
1735.62/1741.07 c #Conflicts: 56000 | #Constraints: 2786990
1735.62/1741.07 c #Conflicts: 57000 | #Constraints: 2787990
1735.62/1741.07 c GLOBAL bounds - >= 511102976 @ 1680.83
1748.38/1753.84 c GLOBAL bounds - >= 511102976 @ 1693.41
1924.10/1930.19 c #Conflicts: 58000 | #Constraints: 2797673
1924.10/1930.19 c INPROCESSING
1924.10/1930.19 c GARBAGE COLLECT
1924.10/1930.19 c #Conflicts: 59000 | #Constraints: 2788163
1924.10/1930.19 c #Conflicts: 60000 | #Constraints: 2789163
1924.10/1930.19 c #Conflicts: 61000 | #Constraints: 2790163
1924.10/1930.19 c GLOBAL bounds - >= 511875072 @ 1868.12
1924.20/1930.29 c GLOBAL bounds - >= 511875072 @ 1868.22
1924.29/1930.31 c GLOBAL bounds - >= 511875072 @ 1868.23
1924.29/1930.33 c GLOBAL bounds - >= 511875072 @ 1868.24
1924.49/1930.53 c GLOBAL bounds - >= 511875072 @ 1868.37
1924.49/1930.55 c GLOBAL bounds - >= 511875072 @ 1868.38
1924.69/1930.72 c GLOBAL bounds - >= 511875072 @ 1868.48
1924.69/1930.74 c GLOBAL bounds - >= 511875072 @ 1868.5
1924.89/1930.90 c GLOBAL bounds - >= 511875072 @ 1868.59
1924.89/1930.92 c GLOBAL bounds - >= 511875072 @ 1868.6
1924.99/1931.08 c GLOBAL bounds - >= 511875072 @ 1868.7
1925.10/1931.10 c GLOBAL bounds - >= 511875072 @ 1868.71
1925.19/1931.26 c GLOBAL bounds - >= 511875072 @ 1868.79
1925.19/1931.28 c GLOBAL bounds - >= 511875072 @ 1868.81
1925.39/1931.44 c GLOBAL bounds - >= 511875072 @ 1868.89
1925.39/1931.46 c GLOBAL bounds - >= 511875072 @ 1868.91
1925.58/1931.62 c GLOBAL bounds - >= 511875072 @ 1869
1925.58/1931.64 c GLOBAL bounds - >= 511875072 @ 1869.01
1925.79/1931.80 c GLOBAL bounds - >= 511875072 @ 1869.1
1925.79/1931.83 c GLOBAL bounds - >= 511875072 @ 1869.11
1925.88/1931.99 c GLOBAL bounds - >= 511875072 @ 1869.21
1926.00/1932.01 c GLOBAL bounds - >= 511875072 @ 1869.23
1926.10/1932.17 c GLOBAL bounds - >= 511875072 @ 1869.32
1926.29/1932.32 c GLOBAL bounds - >= 511875072 @ 1869.42
1926.49/1932.51 c GLOBAL bounds - >= 511875072 @ 1869.54
1926.59/1932.66 c GLOBAL bounds - >= 511875072 @ 1869.62
1926.79/1932.83 c GLOBAL bounds - >= 511875072 @ 1869.72
1926.88/1932.98 c GLOBAL bounds - >= 511875072 @ 1869.82
1927.29/1933.31 c GLOBAL bounds - >= 511875072 @ 1870.07
1927.49/1933.58 c GLOBAL bounds - >= 511875072 @ 1870.26
1927.89/1933.92 c GLOBAL bounds - >= 511875072 @ 1870.54
1927.99/1934.10 c GLOBAL bounds - >= 511875072 @ 1870.66
1942.42/1948.55 c #Conflicts: 62000 | #Constraints: 2870973
1942.42/1948.55 c GLOBAL bounds - >= 511875072 @ 1884.86
1942.63/1948.72 c GLOBAL bounds - >= 511875072 @ 1884.98
1942.93/1949.05 c GLOBAL bounds - >= 511875072 @ 1885.24
1943.23/1949.36 c GLOBAL bounds - >= 511875072 @ 1885.49
1943.52/1949.66 c GLOBAL bounds - >= 511875072 @ 1885.73
1943.62/1949.73 c GLOBAL bounds - >= 511875072 @ 1885.8
1943.62/1949.76 c GLOBAL bounds - >= 511875072 @ 1885.82
1943.62/1949.78 c GLOBAL bounds - >= 511875072 @ 1885.84
1943.72/1949.80 c GLOBAL bounds - >= 511875072 @ 1885.85
1943.72/1949.82 c GLOBAL bounds - >= 511875072 @ 1885.86
1943.72/1949.83 c GLOBAL bounds - >= 511875072 @ 1885.87
1943.72/1949.85 c GLOBAL bounds - >= 511875072 @ 1885.89
1943.72/1949.87 c GLOBAL bounds - >= 511875072 @ 1885.9
1943.72/1949.88 c GLOBAL bounds - >= 511875072 @ 1885.91
1943.93/1950.06 c GLOBAL bounds - >= 511875072 @ 1886.02
1943.93/1950.08 c GLOBAL bounds - >= 511875072 @ 1886.03
1944.12/1950.25 c GLOBAL bounds - >= 511875072 @ 1886.13
1944.12/1950.27 c GLOBAL bounds - >= 511875072 @ 1886.14
1944.32/1950.43 c GLOBAL bounds - >= 511875072 @ 1886.24
1944.32/1950.45 c GLOBAL bounds - >= 511875072 @ 1886.26
1944.52/1950.61 c GLOBAL bounds - >= 511875072 @ 1886.35
1944.52/1950.63 c GLOBAL bounds - >= 511875072 @ 1886.37
1944.62/1950.79 c GLOBAL bounds - >= 511875072 @ 1886.45
1944.72/1950.81 c GLOBAL bounds - >= 511875072 @ 1886.47
1944.82/1950.97 c GLOBAL bounds - >= 511875072 @ 1886.56
1944.82/1950.99 c GLOBAL bounds - >= 511875072 @ 1886.57
1945.03/1951.15 c GLOBAL bounds - >= 511875072 @ 1886.65
1945.03/1951.16 c GLOBAL bounds - >= 511875072 @ 1886.67
1945.22/1951.32 c GLOBAL bounds - >= 511875072 @ 1886.76
1945.22/1951.34 c GLOBAL bounds - >= 511875072 @ 1886.77
1945.42/1951.50 c GLOBAL bounds - >= 511875072 @ 1886.87
1945.42/1951.52 c GLOBAL bounds - >= 511875072 @ 1886.88
1945.72/1951.81 c GLOBAL bounds - >= 511875072 @ 1887.09
1945.82/1951.96 c GLOBAL bounds - >= 511875072 @ 1887.18
1946.02/1952.19 c GLOBAL bounds - >= 511875072 @ 1887.36
1946.22/1952.35 c GLOBAL bounds - >= 511875072 @ 1887.44
1946.42/1952.52 c GLOBAL bounds - >= 511875072 @ 1887.54
1946.72/1952.81 c GLOBAL bounds - >= 511875072 @ 1887.75
1946.82/1952.96 c GLOBAL bounds - >= 511875072 @ 1887.84
1946.92/1953.08 c GLOBAL bounds - >= 511875072 @ 1887.91
1947.12/1953.21 c GLOBAL bounds - >= 511875072 @ 1887.98
1947.41/1953.59 c GLOBAL bounds - >= 511875072 @ 1888.3
1948.02/1954.19 c GLOBAL bounds - >= 511875072 @ 1888.82
1948.32/1954.42 c GLOBAL bounds - >= 511875072 @ 1888.99
1948.51/1954.66 c GLOBAL bounds - >= 511875072 @ 1889.17
2019.58/2025.97 c #Conflicts: 63000 | #Constraints: 2985960
2019.58/2025.97 c #Conflicts: 64000 | #Constraints: 2986960
2019.58/2025.97 c GLOBAL bounds - >= 511875072 @ 1959.62
2020.08/2026.47 c GLOBAL bounds - >= 511875072 @ 1960.06
2020.88/2027.25 c GLOBAL bounds - >= 511875072 @ 1960.77
2023.37/2029.73 c GLOBAL bounds - >= 511875072 @ 1963.18
2023.87/2030.28 c GLOBAL bounds - >= 511875072 @ 1963.67
2024.47/2030.85 c GLOBAL bounds - >= 511875072 @ 1964.18
2024.77/2031.14 c GLOBAL bounds - >= 511875072 @ 1964.39
2034.23/2040.67 c GLOBAL bounds - >= 511875072 @ 1973.79
2107.29/2113.99 c #Conflicts: 65000 | #Constraints: 3022695
2107.29/2113.99 c INPROCESSING
2107.29/2113.99 c GARBAGE COLLECT
2107.29/2113.99 c #Conflicts: 66000 | #Constraints: 3015319
2107.29/2113.99 c GLOBAL bounds - >= 511875072 @ 2046.29
2107.68/2114.34 c GLOBAL bounds - >= 511875072 @ 2046.58
2107.98/2114.63 c GLOBAL bounds - >= 511875072 @ 2046.8
2126.52/2133.24 c #Conflicts: 67000 | #Constraints: 3029345
2126.52/2133.24 c GLOBAL bounds - >= 511875072 @ 2065.15
2127.42/2134.13 c GLOBAL bounds - >= 511875072 @ 2065.97
2381.79/2389.22 c #Conflicts: 68000 | #Constraints: 3039028
2381.79/2389.22 c #Conflicts: 69000 | #Constraints: 3040028
2381.79/2389.22 c #Conflicts: 70000 | #Constraints: 3041028
2381.79/2389.22 c #Conflicts: 71000 | #Constraints: 3042028
2381.79/2389.22 c INPROCESSING
2381.79/2389.22 c GARBAGE COLLECT
2381.79/2389.22 c #Conflicts: 72000 | #Constraints: 3035660
2381.79/2389.22 c #Conflicts: 73000 | #Constraints: 3036660
2381.79/2389.22 c GLOBAL bounds - >= 512915456 @ 2319.08
2381.89/2389.36 c GLOBAL bounds - >= 512915456 @ 2319.21
2381.89/2389.37 c GLOBAL bounds - >= 512915456 @ 2319.22
2381.89/2389.39 c GLOBAL bounds - >= 512915456 @ 2319.23
2381.99/2389.41 c GLOBAL bounds - >= 512915456 @ 2319.24
2381.99/2389.43 c GLOBAL bounds - >= 512915456 @ 2319.25
2381.99/2389.44 c GLOBAL bounds - >= 512915456 @ 2319.26
2381.99/2389.46 c GLOBAL bounds - >= 512915456 @ 2319.27
2381.99/2389.48 c GLOBAL bounds - >= 512915456 @ 2319.28
2382.19/2389.65 c GLOBAL bounds - >= 512915456 @ 2319.38
2382.19/2389.66 c GLOBAL bounds - >= 512915456 @ 2319.4
2382.40/2389.86 c GLOBAL bounds - >= 512915456 @ 2319.53
2382.40/2389.88 c GLOBAL bounds - >= 512915456 @ 2319.55
2382.59/2390.04 c GLOBAL bounds - >= 512915456 @ 2319.64
2382.59/2390.06 c GLOBAL bounds - >= 512915456 @ 2319.65
2382.79/2390.23 c GLOBAL bounds - >= 512915456 @ 2319.75
2382.79/2390.25 c GLOBAL bounds - >= 512915456 @ 2319.77
2382.99/2390.41 c GLOBAL bounds - >= 512915456 @ 2319.87
2382.99/2390.43 c GLOBAL bounds - >= 512915456 @ 2319.88
2383.08/2390.59 c GLOBAL bounds - >= 512915456 @ 2319.98
2383.19/2390.61 c GLOBAL bounds - >= 512915456 @ 2319.99
2383.28/2390.77 c GLOBAL bounds - >= 512915456 @ 2320.09
2383.28/2390.79 c GLOBAL bounds - >= 512915456 @ 2320.1
2383.49/2390.95 c GLOBAL bounds - >= 512915456 @ 2320.19
2383.49/2390.97 c GLOBAL bounds - >= 512915456 @ 2320.2
2383.69/2391.13 c GLOBAL bounds - >= 512915456 @ 2320.3
2383.69/2391.15 c GLOBAL bounds - >= 512915456 @ 2320.31
2383.89/2391.31 c GLOBAL bounds - >= 512915456 @ 2320.4
2384.08/2391.56 c GLOBAL bounds - >= 512915456 @ 2320.58
2384.28/2391.75 c GLOBAL bounds - >= 512915456 @ 2320.7
2384.48/2391.94 c GLOBAL bounds - >= 512915456 @ 2320.83
2384.69/2392.12 c GLOBAL bounds - >= 512915456 @ 2320.94
2384.89/2392.32 c GLOBAL bounds - >= 512915456 @ 2321.08
2384.98/2392.49 c GLOBAL bounds - >= 512915456 @ 2321.19
2385.18/2392.68 c GLOBAL bounds - >= 512915456 @ 2321.3
2385.48/2393.00 c GLOBAL bounds - >= 512915456 @ 2321.55
2385.98/2393.48 c GLOBAL bounds - >= 512915456 @ 2321.96
2386.18/2393.66 c GLOBAL bounds - >= 512915456 @ 2322.07
2386.98/2394.44 c GLOBAL bounds - >= 512915456 @ 2322.79
2387.47/2394.92 c GLOBAL bounds - >= 512915456 @ 2323.19
2387.58/2395.10 c GLOBAL bounds - >= 512915456 @ 2323.31
2387.88/2395.38 c GLOBAL bounds - >= 512915456 @ 2323.53
2391.46/2398.94 c GLOBAL bounds - >= 512915456 @ 2326.98
2408.03/2415.59 c GLOBAL bounds - >= 512915456 @ 2343.39
2434.63/2442.20 c #Conflicts: 74000 | #Constraints: 3147646
2434.63/2442.20 c GLOBAL bounds - >= 512915456 @ 2369.61
2682.71/2691.12 c #Conflicts: 75000 | #Constraints: 3152986
2682.71/2691.12 c #Conflicts: 76000 | #Constraints: 3153986
2682.71/2691.12 c #Conflicts: 77000 | #Constraints: 3154986
2682.71/2691.12 c #Conflicts: 78000 | #Constraints: 3155986
2682.71/2691.12 c INPROCESSING
2682.71/2691.12 c GARBAGE COLLECT
2682.71/2691.12 c #Conflicts: 79000 | #Constraints: 3149981
2682.71/2691.12 c #Conflicts: 80000 | #Constraints: 3150981
2682.71/2691.12 c #Conflicts: 81000 | #Constraints: 3151981
2682.71/2691.12 c GLOBAL bounds - >= 513191936 @ 2616.16
2682.71/2691.19 c GLOBAL bounds - >= 513191936 @ 2616.22
2682.90/2691.36 c GLOBAL bounds - >= 513191936 @ 2616.32
2682.90/2691.38 c GLOBAL bounds - >= 513191936 @ 2616.33
2683.11/2691.56 c GLOBAL bounds - >= 513191936 @ 2616.44
2683.11/2691.58 c GLOBAL bounds - >= 513191936 @ 2616.45
2683.31/2691.75 c GLOBAL bounds - >= 513191936 @ 2616.56
2683.31/2691.76 c GLOBAL bounds - >= 513191936 @ 2616.57
2683.71/2692.12 c GLOBAL bounds - >= 513191936 @ 2616.85
2683.71/2692.14 c GLOBAL bounds - >= 513191936 @ 2616.87
2683.90/2692.33 c GLOBAL bounds - >= 513191936 @ 2616.99
2683.90/2692.35 c GLOBAL bounds - >= 513191936 @ 2617.01
2684.10/2692.51 c GLOBAL bounds - >= 513191936 @ 2617.11
2684.10/2692.53 c GLOBAL bounds - >= 513191936 @ 2617.12
2684.20/2692.69 c GLOBAL bounds - >= 513191936 @ 2617.22
2684.31/2692.71 c GLOBAL bounds - >= 513191936 @ 2617.23
2684.40/2692.87 c GLOBAL bounds - >= 513191936 @ 2617.32
2684.40/2692.89 c GLOBAL bounds - >= 513191936 @ 2617.34
2684.61/2693.05 c GLOBAL bounds - >= 513191936 @ 2617.43
2684.61/2693.07 c GLOBAL bounds - >= 513191936 @ 2617.44
2684.80/2693.23 c GLOBAL bounds - >= 513191936 @ 2617.54
2684.90/2693.39 c GLOBAL bounds - >= 513191936 @ 2617.63
2685.10/2693.54 c GLOBAL bounds - >= 513191936 @ 2617.72
2685.20/2693.69 c GLOBAL bounds - >= 513191936 @ 2617.82
2685.40/2693.85 c GLOBAL bounds - >= 513191936 @ 2617.91
2685.61/2694.01 c GLOBAL bounds - >= 513191936 @ 2618.01
2685.80/2694.22 c GLOBAL bounds - >= 513191936 @ 2618.16
2686.10/2694.54 c GLOBAL bounds - >= 513191936 @ 2618.42
2687.79/2696.27 c GLOBAL bounds - >= 513191936 @ 2620.07
2688.09/2696.59 c #Conflicts: 82000 | #Constraints: 3229596
2688.09/2696.59 c GLOBAL bounds - >= 513191936 @ 2620.33
2746.11/2754.72 c #Conflicts: 83000 | #Constraints: 3234939
2746.11/2754.72 c #Conflicts: 84000 | #Constraints: 3235939
2746.11/2754.72 c GLOBAL bounds - >= 513191936 @ 2677.82
2785.58/2794.33 c #Conflicts: 85000 | #Constraints: 3241282
2785.58/2794.33 c GLOBAL bounds - >= 513191936 @ 2717.04
2785.78/2794.54 c GLOBAL bounds - >= 513191936 @ 2717.2
2883.19/2892.27 c #Conflicts: 86000 | #Constraints: 3250968
2883.19/2892.27 c #Conflicts: 87000 | #Constraints: 3251968
2883.19/2892.27 c GLOBAL bounds - >= 513191936 @ 2814.18
2885.98/2895.06 c GLOBAL bounds - >= 513191936 @ 2816.88
3015.81/3025.27 c #Conflicts: 88000 | #Constraints: 3261654
3015.81/3025.27 c #Conflicts: 89000 | #Constraints: 3262654
3015.81/3025.27 c GLOBAL bounds - >= 513191936 @ 2946.3
3600.08/3611.38 c #Conflicts: 90000 | #Constraints: 3267997
3600.08/3611.38 c #Conflicts: 91000 | #Constraints: 3268997
3600.08/3611.38 c #Conflicts: 92000 | #Constraints: 3269997
3600.08/3611.38 c #Conflicts: 93000 | #Constraints: 3270997
3600.08/3611.38 c #Conflicts: 94000 | #Constraints: 3271997
3600.08/3611.38 c #Conflicts: 95000 | #Constraints: 3272997
3600.08/3611.38 c #Conflicts: 96000 | #Constraints: 3273997
3600.08/3611.38 c cpu time 3528.68 s
3600.08/3611.38 c deterministic time 122108455 1.22e+08
3600.08/3611.38 c optimization time 3524.74 s
3600.08/3611.38 c total solve time 3.7013 s
3600.08/3611.38 c core-guided solve time 0 s
3600.08/3611.38 c propagation time 1.80809 s
3600.08/3611.38 c conflict analysis time 0.991573 s
3600.08/3611.38 c propagations 16968697
3600.08/3611.38 c resolve steps 0
3600.08/3611.38 c decisions 7623567
3600.08/3611.38 c conflicts 301
3600.08/3611.38 c restarts 3
3600.08/3611.38 c inprocessing phases 0
3600.08/3611.38 c garbage collections 0 ,( -nan )
3600.08/3611.38 c input clauses 466 ,( 7.61 )
3600.08/3611.38 c input cardinalities 0 ,( 0.00 )
3600.08/3611.38 c input general constraints 5656 ,( 92.39 )
3600.08/3611.38 c input average constraint length 2331.30
3600.08/3611.38 c input average constraint degree 5699647005251.50
3600.08/3611.38 c learned clauses 7 ,( 1.59 )
3600.08/3611.38 c learned cardinalities 0 ,( 0.00 )
3600.08/3611.38 c learned general constraints 434 ,( 98.41 )
3600.08/3611.38 c learned average constraint length 215.09
3600.08/3611.38 c learned average constraint degree 861992900.98
3600.08/3611.38 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3611.38 c counting CF 32, 64, 128, Arb: 5687 , 404 , 0 , 0
3600.08/3611.38 c watched constraints 0 ,( 0.00 )
3600.08/3611.38 c counting constraints 6090 ,( 100.00 )
3600.08/3611.38 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 14417 , 0 , 22162894 ,( 0 , 22162894 )
3600.08/3611.38 c gcd simplifications 7
3600.08/3611.38 c detected cardinalities 0
3600.08/3611.38 c weakened non-implied lits 627
3600.08/3611.38 c weakened non-implying lits 0
3600.08/3611.38 c original variables 107808
3600.08/3611.38 c clausal propagations 4567
3600.08/3611.38 c cardinality propagations 0
3600.08/3611.38 c watched propagations 0
3600.08/3611.38 c counting propagations 9125707
3600.08/3611.38 c watch lookups 26067630
3600.08/3611.38 c watch backjump lookups 0
3600.08/3611.38 c watch checks 193538
3600.08/3611.38 c propagation checks 46471355
3600.08/3611.38 c constraint additions 227202
3600.08/3611.38 c trail pops 24553465
3600.08/3611.38 c formula constraints 5184
3600.08/3611.38 c learned constraints 441
3600.08/3611.38 c bound constraints 0
3600.08/3611.38 c core-guided constraints 0
3600.08/3611.38 c encountered formula constraints 165
3600.08/3611.38 c encountered learned constraints 76
3600.08/3611.38 c encountered bound constraints 0
3600.08/3611.38 c encountered core-guided constraints 0
3600.08/3611.38 c LP total time 0.240968 s
3600.08/3611.38 c LP solve time 0.2 s
3600.08/3611.38 c LP constraints added 5184
3600.08/3611.38 c LP constraints removed 0
3600.08/3611.38 c LP pivots internal 2000
3600.08/3611.38 c LP pivots root 1000
3600.08/3611.38 c LP calls 2
3600.08/3611.38 c LP optimalities 0
3600.08/3611.38 c LP no pivot count 0
3600.08/3611.38 c LP infeasibilities 0
3600.08/3611.38 c LP valid Farkas constraints 0
3600.08/3611.38 c LP learned Farkas constraints 0
3600.08/3611.38 c LP basis resets 0
3600.08/3611.38 c LP cycling count 0
3600.08/3611.38 c LP singular count 0
3600.08/3611.38 c LP no primal count 0
3600.08/3611.38 c LP no farkas count 0
3600.08/3611.38 c LP other issue count 0
3600.08/3611.38 c LP Gomory cuts 0
3600.08/3611.38 c LP learned cuts 0
3600.08/3611.38 c LP deleted cuts 0
3600.08/3611.38 c LP encountered Gomory constraints 0
3600.08/3611.38 c LP encountered Farkas constraints 0
3600.08/3611.38 c LP encountered learned Farkas constraints 0
3600.08/3611.38 c CG auxiliary variables introduced 652
3600.08/3611.38 c CG solutions found 0
3600.08/3611.38 c CG cores constructed 363
3600.08/3611.38 c CG core cardinality constraints returned 0
3600.08/3611.38 c CG unit cores 0
3600.08/3611.38 c CG single cores 0
3600.08/3611.38 c CG blocks removed during cardinality reduction 0
3600.08/3611.38 c CG first core best 0
3600.08/3611.38 c CG decision core best 0
3600.08/3611.38 c CG core reduction tie 0
3600.08/3611.38 c CG core degree average 0.00
3600.08/3611.38 c CG core slack average 0.00
3600.08/3611.38 c CG core upper bound improvements 0
3600.08/3611.38 c STR number of successful calls 0
3600.08/3611.38 c STR number of unsuccessful calls 0
3600.08/3611.38 c STR number of inconclusive calls 0
3600.08/3611.38 c STR number of successful attempts 0
3600.08/3611.38 c STR number of unsuccessful attempts 0
3600.08/3611.38 c STR number of inconclusive attempts 0
3600.08/3611.38 c STR average degree increase per successful call inf
3600.08/3611.38 c STR average degree increase per successful attempt inf
3600.08/3611.38 c STR total number of conflicts for successful attempts 0
3600.08/3611.38 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.38 c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.38 c STR average number of conflicts per successful attempt inf
3600.08/3611.38 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.38 c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.38 c AVG.sumWPerc 98.88
3600.08/3611.38 c bigint constraints 404
3600.08/3611.38 s UNKNOWN
3600.08/3611.38 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (16995 MiB free)
memory of node 1: 64465 MiB (25240 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485321-1751307907/watcher-4485321-1751307907 -o /tmp/evaluation-result-4485321-1751307907/solver-4485321-1751307907 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751304294-40740 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4485321-1751307907.opb PROOFDIR/proof-4485321-1751307907
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=41070, runsolver pid=41064
[startup+0.100062 s]*
/proc/loadavg: 4.11 4.11 4.09 4/268 41072
/proc/meminfo: memFree=44848436/131249996 swapFree=33010684/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=73188 memory=25156 CPUtime=0.01 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 2530 0 0 0 0 1 0 0 20 0 1 0 46468250 74944512 6289 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 18297 6289 1920 1147 0 5724 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 77380 KiB
Current children cumulated memory: 27972 KiB
[startup+0.206373 s]*
/proc/loadavg: 4.11 4.11 4.09 3/264 41081
/proc/meminfo: memFree=44982968/131249996 swapFree=33010684/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=82580 memory=37824 CPUtime=0.11 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 6944 0 0 0 9 2 0 0 20 0 1 0 46468250 84561920 9456 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 20645 9456 1984 1147 0 8072 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 86772 KiB
Current children cumulated memory: 40640 KiB
[startup+0.306309 s]*
/proc/loadavg: 4.11 4.11 4.09 4/264 41090
/proc/meminfo: memFree=44975656/131249996 swapFree=33010684/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=88648 memory=45908 CPUtime=0.21 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 8447 0 0 0 18 3 0 0 20 0 1 0 46468250 90775552 11477 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 22162 11477 1984 1147 0 9589 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 92840 KiB
Current children cumulated memory: 48724 KiB
[startup+0.700224 s]
/proc/loadavg: 4.11 4.11 4.09 4/264 41101
/proc/meminfo: memFree=44927956/131249996 swapFree=33010684/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=226132 memory=160708 CPUtime=0.59 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 31849 0 0 0 46 13 0 0 20 0 1 0 46468250 231559168 40177 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 56533 40177 2400 1147 0 43960 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 230324 KiB
Current children cumulated memory: 163524 KiB
[startup+1.5002 s]
/proc/loadavg: 4.10 4.11 4.09 2/261 41104
/proc/meminfo: memFree=44856356/131249996 swapFree=33010684/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=254432 memory=182352 CPUtime=1.39 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 36229 0 0 0 98 41 0 0 20 0 1 0 46468250 260538368 45588 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 63608 45588 2400 1147 0 51035 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 258624 KiB
Current children cumulated memory: 185168 KiB
[startup+3.10631 s]
/proc/loadavg: 4.10 4.11 4.09 2/267 41124
/proc/meminfo: memFree=52843540/131249996 swapFree=33010684/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=285208 memory=212256 CPUtime=2.99 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 42332 0 0 0 195 104 0 0 20 0 1 0 46468250 292052992 53064 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 71302 53064 2432 1147 0 58729 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 289400 KiB
Current children cumulated memory: 215072 KiB
[startup+6.30019 s]
/proc/loadavg: 4.10 4.11 4.09 4/263 41150
/proc/meminfo: memFree=86584916/131249996 swapFree=33010684/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=338564 memory=262788 CPUtime=6.17 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 53542 0 0 0 407 210 0 0 20 0 1 0 46468250 346689536 65697 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 84641 65697 2432 1147 0 72068 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 342756 KiB
Current children cumulated memory: 265604 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/275 41190
/proc/meminfo: memFree=124248864/131249996 swapFree=33010684/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=463840 memory=385344 CPUtime=12.55 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 77174 0 0 0 884 371 0 0 20 0 1 0 46468250 474972160 96336 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 115960 96336 2432 1147 0 103387 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 468032 KiB
Current children cumulated memory: 388160 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.09 5/275 41190
/proc/meminfo: memFree=122361596/131249996 swapFree=33010684/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=716164 memory=602812 CPUtime=25.32 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 123164 0 0 0 1736 796 0 0 20 0 1 0 46468250 733351936 150703 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 179041 150703 2432 1147 0 166468 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 720356 KiB
Current children cumulated memory: 605628 KiB
[startup+51.1055 s]
/proc/loadavg: 4.17 4.12 4.09 5/274 41190
/proc/meminfo: memFree=119346188/131249996 swapFree=33010684/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=1283436 memory=1104232 CPUtime=50.86 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 218950 0 0 0 3884 1202 0 0 20 0 1 0 46468250 1314238464 276058 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 320859 276058 2432 1147 0 308286 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 1287628 KiB
Current children cumulated memory: 1107048 KiB
[startup+102.3 s]
/proc/loadavg: 4.55 4.22 4.13 5/273 41192
/proc/meminfo: memFree=113973240/131249996 swapFree=33010684/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=2085680 memory=1823972 CPUtime=101.9 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 355712 0 0 0 8310 1880 0 0 20 0 1 0 46468250 2135736320 455993 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 521420 455993 2432 1147 0 508847 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 2089872 KiB
Current children cumulated memory: 1826788 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.20 4.13 5/273 41194
/proc/meminfo: memFree=109477500/131249996 swapFree=33010684/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=2318208 memory=2186896 CPUtime=161.75 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 411584 0 0 0 13906 2269 0 0 20 0 1 0 46468250 2373844992 546724 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 579552 546724 2432 1147 0 566979 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 2322400 KiB
Current children cumulated memory: 2189712 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.21 4.13 5/271 41196
/proc/meminfo: memFree=105319704/131249996 swapFree=33010684/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=2969528 memory=2530144 CPUtime=221.6 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 482553 0 0 0 19652 2508 0 0 20 0 1 0 46468250 3040796672 632536 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/277 41370
/proc/meminfo: memFree=640072/131249996 swapFree=33010416/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=9848996 memory=8355208 CPUtime=3212.24 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 1536041 0 0 0 314200 7024 0 0 20 0 1 0 46468250 10085371904 2088802 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 2462249 2088802 2432 1147 0 2449676 0
Current children cumulated CPU time: 3212.24 s
Current children cumulated vsize: 9853188 KiB
Current children cumulated memory: 8358024 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/277 41372
/proc/meminfo: memFree=584580/131249996 swapFree=33010416/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=9926308 memory=8524376 CPUtime=3272.08 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 1558334 0 0 0 320167 7041 0 0 20 0 1 0 46468250 10164539392 2131094 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 2481577 2131094 2432 1147 0 2469004 0
Current children cumulated CPU time: 3272.08 s
Current children cumulated vsize: 9930500 KiB
Current children cumulated memory: 8527192 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.13 5/276 41374
/proc/meminfo: memFree=622848/131249996 swapFree=33010416/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=9996968 memory=8686408 CPUtime=3331.92 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 1579634 0 0 0 326131 7061 0 0 20 0 1 0 46468250 10236895232 2171602 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 2499242 2171602 2432 1147 0 2486669 0
Current children cumulated CPU time: 3331.92 s
Current children cumulated vsize: 10001160 KiB
Current children cumulated memory: 8689224 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/276 41377
/proc/meminfo: memFree=570360/131249996 swapFree=33010416/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=10016424 memory=8824200 CPUtime=3391.64 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 1595592 0 0 0 332079 7085 0 0 20 0 1 0 46468250 10256818176 2206050 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 2504106 2206050 2432 1147 0 2491533 0
Current children cumulated CPU time: 3391.64 s
Current children cumulated vsize: 10020616 KiB
Current children cumulated memory: 8827016 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/277 41380
/proc/meminfo: memFree=540844/131249996 swapFree=33010416/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=10055848 memory=8956824 CPUtime=3451.48 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 1611403 0 0 0 338050 7098 0 0 20 0 1 0 46468250 10297188352 2239206 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 2513962 2239206 2432 1147 0 2501389 0
Current children cumulated CPU time: 3451.48 s
Current children cumulated vsize: 10060040 KiB
Current children cumulated memory: 8959640 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/275 41388
/proc/meminfo: memFree=500124/131249996 swapFree=33010416/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=10129580 memory=9123848 CPUtime=3511.31 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 1633247 0 0 0 344010 7121 0 0 20 0 1 0 46468250 10372689920 2280962 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 2532395 2280962 2432 1147 0 2519822 0
Current children cumulated CPU time: 3511.31 s
Current children cumulated vsize: 10133772 KiB
Current children cumulated memory: 9126664 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.12 4.12 5/274 41390
/proc/meminfo: memFree=549444/131249996 swapFree=33010416/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=10130604 memory=9219556 CPUtime=3571.15 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 1641884 0 0 0 349979 7136 0 0 20 0 1 0 46468250 10373738496 2304889 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 2532651 2304889 2432 1147 0 2520078 0
Current children cumulated CPU time: 3571.15 s
Current children cumulated vsize: 10134796 KiB
Current children cumulated memory: 9222372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.20 4.13 4.12 5/274 41390
/proc/meminfo: memFree=669016/131249996 swapFree=33010416/33010684
[pid=41070] ppid=41064 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/41070/stat : 41070 (run-opt-log.sh) S 41064 41070 40729 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46468247 4292608 704 18446744073709551615 93863508836352 93863509730885 140732926442752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93863509969936 93863510017680 93863530389504 140732926445857 140732926446052 140732926446052 140732926451654 0
/proc/41070/statm: 1048 704 640 219 0 110 0
[pid=41072] ppid=41070 vsize=10182828 memory=9299336 CPUtime=3600.08 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41070 41070 40729 0 -1 4194304 1655098 0 0 0 352863 7145 0 0 20 0 1 0 46468250 10427215872 2324834 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 2545707 2324834 2432 1147 0 2533134 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 10187020 KiB
Current children cumulated memory: 9302152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.3 s]
# the end of solver process 41070 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002793 s, system=0 s
[startup+3612.16 s]
# the end of solver process 41072 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3529.27 s, system=71.5655 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.6 s]
/proc/loadavg: 4.18 4.13 4.12 5/273 41390
/proc/meminfo: memFree=656464/131249996 swapFree=33010416/33010684
[pid=41072] ppid=41064 vsize=9517208 memory=8887060 CPUtime=3600.26 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41064 41070 40729 0 -1 4194304 1655223 0 1 0 352879 7147 0 0 20 0 1 0 46468250 9745620992 2221765 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 2379302 2221765 2496 1147 0 2366729 0
Current cumulated CPU time of completed processes: 0.002793 s
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 9517208 KiB
Current children cumulated memory: 8887060 KiB
[startup+3612 s]*
/proc/loadavg: 4.18 4.13 4.12 5/273 41390
/proc/meminfo: memFree=3327464/131249996 swapFree=33010416/33010684
[pid=41072] ppid=41064 vsize=6999280 memory=6624568 CPUtime=3600.67 cores=4,6
/proc/41072/stat : 41072 (roundingsat) R 41064 41070 40729 0 -1 4194304 1655335 0 1 0 352917 7150 0 0 20 0 1 0 46468250 7167262720 1656142 18446744073709551615 4227072 8923433 140724587487200 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34762752 140724587489618 140724587489832 140724587489832 140724587495402 0
/proc/41072/statm: 1749820 1656142 2496 1147 0 1737247 0
Current cumulated CPU time of completed processes: 0.002793 s
Current children cumulated CPU time: 3600.67 s
Current children cumulated vsize: 6999280 KiB
Current children cumulated memory: 6624568 KiB
[startup+3612.11 s]*
/proc/loadavg: 4.18 4.13 4.12 5/273 41390
/proc/meminfo: memFree=6150656/131249996 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.002793 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): 3612.16
CPU time (s): 3600.83
CPU user time (s): 3529.27
CPU system time (s): 71.5655
CPU usage (%): 99.6864
Max. virtual memory (cumulated for all children) (KiB): 10187020
Max. memory (cumulated for all children) (KiB): 9302152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3529.27
system time used= 71.5655
maximum resident set size= 9299592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1655556
page faults= 1
swaps= 0
block input operations= 3912
block output operations= 62649152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1428
involuntary context switches= 8696
# summary of solver processes directly reported to runsolver:
# pid: 41070,41072
# total CPU time (s): 3600.83
# total CPU user time (s): 3529.27
# total CPU system time (s): 71.5655
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16528 second user time and 17.0796 second system time
The end
Begin job on nodeC015 at 2025-06-30 20:25:07
IDJOB=4485321
IDBENCH=146784
IDSOLVER=3351
FILE ID=nodeC015/4485321-1751307907
RUNJOBID= nodeC015-1751304294-40740
SLURM_JOB_ID= 9594299
Free space on /tmp= 432984 MiB
SOLVER NAME= roundingsat-ihs-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485321-1751307907/watcher-4485321-1751307907 -o /tmp/evaluation-result-4485321-1751307907/solver-4485321-1751307907 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751304294-40740 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4485321-1751307907.opb PROOFDIR/proof-4485321-1751307907
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 46c70d7f28752ee0ae29660ce5b35655
RANDOM SEED=1284465345
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.060
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.075
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.222
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3601.628
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3652.212
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3601.692
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.056
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.959
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 39356828 kB
MemAvailable: 116054724 kB
Buffers: 3280 kB
Cached: 77419360 kB
SwapCached: 0 kB
Active: 13599936 kB
Inactive: 77108892 kB
Active(anon): 13303704 kB
Inactive(anon): 884 kB
Active(file): 296232 kB
Inactive(file): 77108008 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 11700 kB
Writeback: 4082016 kB
AnonPages: 13279548 kB
Mapped: 109880 kB
Shmem: 18076 kB
KReclaimable: 265792 kB
Slab: 509676 kB
SReclaimable: 265792 kB
SUnreclaim: 243884 kB
KernelStack: 4336 kB
PageTables: 31624 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 15515420 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5836800 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432972 MiB
End job on nodeC015 at 2025-06-30 21:25:20