0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.11 c #variables 40998 #constraints 7000
0.08/0.11 c objective is ce32
0.08/0.14 c initial watched CF 32, 64, 128, Arb: 998 , 0 , 0 , 0
0.08/0.14 c initial counting CF 32, 64, 128, Arb: 999 , 0 , 0 , 0
0.08/0.14 c GLOBAL bounds - >= 0 @ 0.093953
0.08/0.19 c GLOBAL bounds - >= 0 @ 0.124545
0.19/0.24 c GLOBAL bounds - >= 0 @ 0.151679
0.19/0.28 c GLOBAL bounds - >= 0 @ 0.175385
0.29/0.33 c GLOBAL bounds - >= 0 @ 0.204423
0.29/0.38 c GLOBAL bounds - >= 0 @ 0.240518
0.39/0.44 c GLOBAL bounds - >= 0 @ 0.281097
0.49/0.53 c GLOBAL bounds - >= 0 @ 0.349771
0.67/0.70 c GLOBAL bounds - >= 15693 @ 0.514483
0.67/0.75 c rational objective 15693
0.77/0.80 c GLOBAL bounds - >= 15693 @ 0.577447
0.77/0.84 c GLOBAL bounds - >= 15693 @ 0.594488
0.77/0.87 c GLOBAL bounds - >= 15693 @ 0.608166
0.87/0.90 c GLOBAL bounds - >= 15693 @ 0.621321
0.87/0.94 c GLOBAL bounds - >= 15693 @ 0.635749
0.97/1.00 c GLOBAL bounds - >= 15693 @ 0.669368
0.97/1.04 c GLOBAL bounds - >= 15693 @ 0.680695
0.97/1.09 c GLOBAL bounds - >= 15693 @ 0.706288
1.08/1.12 c GLOBAL bounds - >= 15693 @ 0.715076
1.08/1.18 c GLOBAL bounds - >= 15693 @ 0.737935
1.17/1.21 c GLOBAL bounds - >= 15693 @ 0.751887
1.17/1.26 c GLOBAL bounds - >= 15693 @ 0.776869
1.27/1.30 c GLOBAL bounds - >= 15693 @ 0.789009
1.27/1.34 c GLOBAL bounds - >= 15693 @ 0.808588
1.27/1.38 c GLOBAL bounds - >= 15693 @ 0.825674
1.37/1.43 c GLOBAL bounds - >= 15693 @ 0.845859
1.37/1.47 c GLOBAL bounds - >= 15693 @ 0.866901
1.47/1.51 c GLOBAL bounds - >= 15693 @ 0.879805
1.47/1.54 c GLOBAL bounds - >= 15693 @ 0.888666
1.57/1.60 c GLOBAL bounds - >= 15693 @ 0.913336
1.57/1.64 c GLOBAL bounds - >= 15693 @ 0.931695
1.57/1.69 c GLOBAL bounds - >= 15693 @ 0.961265
1.67/1.74 c GLOBAL bounds - >= 15693 @ 0.982176
1.67/1.78 c GLOBAL bounds - >= 15693 @ 0.993389
1.78/1.81 c GLOBAL bounds - >= 15693 @ 1.0263
1.78/1.88 c GLOBAL bounds - >= 15693 @ 1.08657
1.88/1.94 c GLOBAL bounds - >= 15693 @ 1.13793
2.57/2.65 c GLOBAL bounds - >= 15693 @ 1.83163
2.87/2.95 c GLOBAL bounds - >= 15693 @ 2.12084
3.07/3.19 c GLOBAL bounds - >= 15693 @ 2.35608
3.16/3.22 c GLOBAL bounds - >= 15693 @ 2.37478
3.16/3.24 c GLOBAL bounds - >= 15693 @ 2.39559
3.16/3.29 c GLOBAL bounds - >= 15693 @ 2.43068
3.26/3.36 c GLOBAL bounds - >= 15693 @ 2.48056
4.07/4.16 c GLOBAL bounds - >= 15693 @ 3.23154
8.46/8.58 c GLOBAL bounds - >= 25816 @ 7.5666
8.55/8.65 c GLOBAL bounds - >= 25816 @ 7.60677
8.55/8.69 c GLOBAL bounds - >= 25816 @ 7.62436
8.66/8.73 c GLOBAL bounds - >= 25816 @ 7.64331
8.66/8.77 c GLOBAL bounds - >= 25816 @ 7.65711
8.76/8.81 c GLOBAL bounds - >= 25816 @ 7.67522
8.76/8.85 c GLOBAL bounds - >= 25816 @ 7.69556
8.76/8.90 c GLOBAL bounds - >= 25816 @ 7.71804
8.86/8.94 c GLOBAL bounds - >= 25816 @ 7.73941
8.86/8.98 c GLOBAL bounds - >= 25816 @ 7.76162
8.95/9.06 c GLOBAL bounds - >= 25816 @ 7.80082
8.95/9.10 c GLOBAL bounds - >= 25816 @ 7.81875
9.06/9.16 c GLOBAL bounds - >= 25816 @ 7.85044
9.15/9.20 c GLOBAL bounds - >= 25816 @ 7.8719
9.15/9.27 c GLOBAL bounds - >= 25816 @ 7.91423
9.26/9.32 c GLOBAL bounds - >= 25816 @ 7.93456
9.26/9.37 c GLOBAL bounds - >= 25816 @ 7.959
9.35/9.42 c GLOBAL bounds - >= 25816 @ 7.97889
9.35/9.48 c GLOBAL bounds - >= 25816 @ 8.00311
9.45/9.52 c GLOBAL bounds - >= 25816 @ 8.02684
9.45/9.58 c GLOBAL bounds - >= 25816 @ 8.04802
9.55/9.62 c GLOBAL bounds - >= 25816 @ 8.06848
9.55/9.67 c GLOBAL bounds - >= 25816 @ 8.08268
9.65/9.72 c GLOBAL bounds - >= 25816 @ 8.09954
9.65/9.77 c GLOBAL bounds - >= 25816 @ 8.12184
9.75/9.81 c GLOBAL bounds - >= 25816 @ 8.14589
9.75/9.86 c GLOBAL bounds - >= 25816 @ 8.16944
9.85/9.91 c GLOBAL bounds - >= 25816 @ 8.18823
9.85/9.96 c GLOBAL bounds - >= 25816 @ 8.21161
9.85/10.00 c GLOBAL bounds - >= 25816 @ 8.2347
10.06/10.19 c GLOBAL bounds - >= 25816 @ 8.41363
10.64/10.74 c GLOBAL bounds - >= 25816 @ 8.94167
10.75/10.86 c GLOBAL bounds - >= 25816 @ 9.05421
10.85/10.96 c GLOBAL bounds - >= 25816 @ 9.13068
10.85/10.97 c GLOBAL bounds - >= 25816 @ 9.1422
10.95/11.02 c GLOBAL bounds - >= 25816 @ 9.16784
10.95/11.07 c GLOBAL bounds - >= 25816 @ 9.18926
11.05/11.11 c GLOBAL bounds - >= 25816 @ 9.20794
11.05/11.15 c GLOBAL bounds - >= 25816 @ 9.22905
11.14/11.20 c GLOBAL bounds - >= 25816 @ 9.24596
11.14/11.24 c GLOBAL bounds - >= 25816 @ 9.26972
11.24/11.31 c GLOBAL bounds - >= 25816 @ 9.30375
11.24/11.35 c GLOBAL bounds - >= 25816 @ 9.32074
11.35/11.41 c GLOBAL bounds - >= 25816 @ 9.3498
11.35/11.46 c GLOBAL bounds - >= 25816 @ 9.37406
11.44/11.52 c GLOBAL bounds - >= 25816 @ 9.40538
11.44/11.56 c GLOBAL bounds - >= 25816 @ 9.42469
11.54/11.61 c GLOBAL bounds - >= 25816 @ 9.44847
11.54/11.66 c GLOBAL bounds - >= 25816 @ 9.46591
11.65/11.71 c GLOBAL bounds - >= 25816 @ 9.48236
11.65/11.76 c GLOBAL bounds - >= 25816 @ 9.4992
11.74/11.81 c GLOBAL bounds - >= 25816 @ 9.51687
11.74/11.86 c GLOBAL bounds - >= 25816 @ 9.53515
11.84/11.91 c GLOBAL bounds - >= 25816 @ 9.5532
11.84/11.96 c GLOBAL bounds - >= 25816 @ 9.57273
11.95/12.01 c GLOBAL bounds - >= 25816 @ 9.5921
11.95/12.06 c GLOBAL bounds - >= 25816 @ 9.61261
12.05/12.11 c GLOBAL bounds - >= 25816 @ 9.6405
12.05/12.16 c GLOBAL bounds - >= 25816 @ 9.66186
12.15/12.21 c GLOBAL bounds - >= 25816 @ 9.68834
12.15/12.25 c GLOBAL bounds - >= 25816 @ 9.71481
12.15/12.29 c GLOBAL bounds - >= 25816 @ 9.74972
12.35/12.43 c GLOBAL bounds - >= 25816 @ 9.87536
12.35/12.47 c GLOBAL bounds - >= 25816 @ 9.89936
12.45/12.57 c GLOBAL bounds - >= 25816 @ 9.9872
12.84/12.95 c GLOBAL bounds - >= 25816 @ 10.3372
12.95/13.10 c GLOBAL bounds - >= 25816 @ 10.4539
13.04/13.17 c GLOBAL bounds - >= 25816 @ 10.5157
13.04/13.19 c GLOBAL bounds - >= 25816 @ 10.527
13.14/13.24 c GLOBAL bounds - >= 25816 @ 10.5526
13.14/13.28 c GLOBAL bounds - >= 25816 @ 10.567
13.24/13.32 c GLOBAL bounds - >= 25816 @ 10.5868
13.24/13.37 c GLOBAL bounds - >= 25816 @ 10.6055
13.34/13.41 c GLOBAL bounds - >= 25816 @ 10.6276
13.34/13.46 c GLOBAL bounds - >= 25816 @ 10.6468
13.44/13.50 c GLOBAL bounds - >= 25816 @ 10.6649
13.44/13.54 c GLOBAL bounds - >= 25816 @ 10.686
13.44/13.59 c GLOBAL bounds - >= 25816 @ 10.7057
13.54/13.66 c GLOBAL bounds - >= 25816 @ 10.7362
13.64/13.70 c GLOBAL bounds - >= 25816 @ 10.7575
13.64/13.76 c GLOBAL bounds - >= 25816 @ 10.7841
13.74/13.81 c GLOBAL bounds - >= 25816 @ 10.8006
13.74/13.86 c GLOBAL bounds - >= 25816 @ 10.827
13.84/13.91 c GLOBAL bounds - >= 25816 @ 10.8501
13.84/13.96 c GLOBAL bounds - >= 25816 @ 10.8729
13.94/14.01 c GLOBAL bounds - >= 25816 @ 10.8915
13.94/14.06 c GLOBAL bounds - >= 25816 @ 10.9196
14.04/14.10 c GLOBAL bounds - >= 25816 @ 10.94
14.04/14.17 c GLOBAL bounds - >= 25816 @ 10.9677
14.14/14.22 c GLOBAL bounds - >= 25816 @ 10.9901
14.14/14.27 c GLOBAL bounds - >= 25816 @ 11.0196
14.24/14.32 c GLOBAL bounds - >= 25816 @ 11.0378
14.24/14.37 c GLOBAL bounds - >= 25816 @ 11.0535
14.34/14.42 c GLOBAL bounds - >= 25816 @ 11.0722
14.34/14.47 c GLOBAL bounds - >= 25816 @ 11.0984
14.44/14.52 c GLOBAL bounds - >= 25816 @ 11.1183
14.44/14.57 c GLOBAL bounds - >= 25816 @ 11.1433
14.54/14.67 c GLOBAL bounds - >= 25816 @ 11.2261
14.84/14.91 c GLOBAL bounds - >= 25816 @ 11.4296
16.63/16.72 c GLOBAL bounds - >= 25816 @ 13.177
16.63/16.78 c GLOBAL bounds - >= 25816 @ 13.2195
16.74/16.80 c GLOBAL bounds - >= 25816 @ 13.2316
16.74/16.85 c GLOBAL bounds - >= 25816 @ 13.2612
16.74/16.89 c GLOBAL bounds - >= 25816 @ 13.2779
16.84/16.94 c GLOBAL bounds - >= 25816 @ 13.2987
16.84/16.98 c GLOBAL bounds - >= 25816 @ 13.3235
16.94/17.03 c GLOBAL bounds - >= 25816 @ 13.3428
16.94/17.10 c GLOBAL bounds - >= 25816 @ 13.3789
17.04/17.14 c GLOBAL bounds - >= 25816 @ 13.4021
17.14/17.21 c GLOBAL bounds - >= 25816 @ 13.4387
17.14/17.26 c GLOBAL bounds - >= 25816 @ 13.4571
17.23/17.34 c GLOBAL bounds - >= 25816 @ 13.5032
17.23/17.39 c GLOBAL bounds - >= 25816 @ 13.5255
17.33/17.47 c GLOBAL bounds - >= 25816 @ 13.5774
17.43/17.51 c GLOBAL bounds - >= 25816 @ 13.5984
17.53/17.60 c GLOBAL bounds - >= 25816 @ 13.6432
17.53/17.64 c GLOBAL bounds - >= 25816 @ 13.6646
17.63/17.73 c GLOBAL bounds - >= 25816 @ 13.7061
17.63/17.77 c GLOBAL bounds - >= 25816 @ 13.7238
17.73/17.86 c GLOBAL bounds - >= 25816 @ 13.7725
17.83/17.90 c GLOBAL bounds - >= 25816 @ 13.794
17.83/17.99 c GLOBAL bounds - >= 25816 @ 13.8358
17.94/18.03 c GLOBAL bounds - >= 25816 @ 13.8543
18.03/18.12 c GLOBAL bounds - >= 25816 @ 13.9027
18.03/18.16 c GLOBAL bounds - >= 25816 @ 13.925
18.13/18.25 c GLOBAL bounds - >= 25816 @ 13.9731
20.62/20.74 c GLOBAL bounds - >= 25816 @ 16.4131
20.72/20.81 c GLOBAL bounds - >= 25816 @ 16.4624
20.72/20.82 c GLOBAL bounds - >= 25816 @ 16.4749
20.72/20.87 c GLOBAL bounds - >= 25816 @ 16.5058
20.82/20.92 c GLOBAL bounds - >= 25816 @ 16.5272
20.82/20.96 c GLOBAL bounds - >= 25816 @ 16.5431
20.93/21.03 c GLOBAL bounds - >= 25816 @ 16.5786
20.93/21.08 c GLOBAL bounds - >= 25816 @ 16.6014
21.03/21.15 c GLOBAL bounds - >= 25816 @ 16.6325
21.12/21.20 c GLOBAL bounds - >= 25816 @ 16.6552
21.12/21.27 c GLOBAL bounds - >= 25816 @ 16.6881
21.23/21.32 c GLOBAL bounds - >= 25816 @ 16.7085
21.32/21.40 c GLOBAL bounds - >= 25816 @ 16.7602
21.32/21.45 c GLOBAL bounds - >= 25816 @ 16.7842
21.42/21.54 c GLOBAL bounds - >= 25816 @ 16.8399
21.42/21.58 c GLOBAL bounds - >= 25816 @ 16.8613
21.52/21.66 c GLOBAL bounds - >= 25816 @ 16.9074
21.62/21.70 c GLOBAL bounds - >= 25816 @ 16.9318
21.62/21.77 c GLOBAL bounds - >= 25816 @ 16.9591
21.72/21.81 c GLOBAL bounds - >= 25816 @ 16.9777
21.72/21.87 c GLOBAL bounds - >= 25816 @ 17.0044
21.82/21.92 c GLOBAL bounds - >= 25816 @ 17.0249
21.82/21.97 c GLOBAL bounds - >= 25816 @ 17.0477
21.93/22.02 c GLOBAL bounds - >= 25816 @ 17.0663
21.93/22.08 c GLOBAL bounds - >= 25816 @ 17.0967
22.03/22.14 c GLOBAL bounds - >= 25816 @ 17.1504
22.03/22.18 c GLOBAL bounds - >= 25816 @ 17.1722
22.12/22.22 c GLOBAL bounds - >= 25816 @ 17.2003
25.81/25.92 c GLOBAL bounds - >= 25816 @ 20.8583
25.91/26.01 c GLOBAL bounds - >= 25816 @ 20.9349
25.91/26.09 c GLOBAL bounds - >= 25816 @ 20.9872
25.91/26.10 c GLOBAL bounds - >= 25816 @ 20.998
26.02/26.15 c GLOBAL bounds - >= 25816 @ 21.0238
26.02/26.19 c GLOBAL bounds - >= 25816 @ 21.0404
26.11/26.23 c GLOBAL bounds - >= 25816 @ 21.0563
26.11/26.28 c GLOBAL bounds - >= 25816 @ 21.0732
26.20/26.32 c GLOBAL bounds - >= 25816 @ 21.0964
26.20/26.36 c GLOBAL bounds - >= 25816 @ 21.1166
26.31/26.41 c GLOBAL bounds - >= 25816 @ 21.1368
26.31/26.49 c GLOBAL bounds - >= 25816 @ 21.1834
26.40/26.54 c GLOBAL bounds - >= 25816 @ 21.2038
26.51/26.60 c GLOBAL bounds - >= 25816 @ 21.2306
26.51/26.65 c GLOBAL bounds - >= 25816 @ 21.2489
26.61/26.70 c GLOBAL bounds - >= 25816 @ 21.2716
26.61/26.75 c GLOBAL bounds - >= 25816 @ 21.2894
26.71/26.80 c GLOBAL bounds - >= 25816 @ 21.3154
26.71/26.85 c GLOBAL bounds - >= 25816 @ 21.336
26.81/26.90 c GLOBAL bounds - >= 25816 @ 21.3633
26.81/26.95 c GLOBAL bounds - >= 25816 @ 21.3817
26.91/27.00 c GLOBAL bounds - >= 25816 @ 21.3953
26.91/27.05 c GLOBAL bounds - >= 25816 @ 21.4177
27.01/27.10 c GLOBAL bounds - >= 25816 @ 21.4402
27.01/27.15 c GLOBAL bounds - >= 25816 @ 21.4607
27.11/27.21 c GLOBAL bounds - >= 25816 @ 21.4849
27.11/27.25 c GLOBAL bounds - >= 25816 @ 21.5065
27.21/27.31 c GLOBAL bounds - >= 25816 @ 21.53
27.21/27.35 c GLOBAL bounds - >= 25816 @ 21.5483
27.30/27.41 c GLOBAL bounds - >= 25816 @ 21.5689
27.30/27.45 c GLOBAL bounds - >= 25816 @ 21.5878
27.41/27.57 c GLOBAL bounds - >= 25816 @ 21.6819
32.29/32.40 c #Conflicts: 1000 | #Constraints: 1465172
32.29/32.40 c GLOBAL bounds - >= 25816 @ 26.3394
32.29/32.48 c GLOBAL bounds - >= 25816 @ 26.4002
32.29/32.49 c GLOBAL bounds - >= 25816 @ 26.4111
32.39/32.55 c GLOBAL bounds - >= 25816 @ 26.4394
32.39/32.59 c GLOBAL bounds - >= 25816 @ 26.4598
32.49/32.63 c GLOBAL bounds - >= 25816 @ 26.482
32.49/32.68 c GLOBAL bounds - >= 25816 @ 26.5051
32.59/32.72 c GLOBAL bounds - >= 25816 @ 26.5233
32.69/32.80 c GLOBAL bounds - >= 25816 @ 26.5707
32.69/32.84 c GLOBAL bounds - >= 25816 @ 26.5921
32.79/32.92 c GLOBAL bounds - >= 25816 @ 26.6389
32.79/32.97 c GLOBAL bounds - >= 25816 @ 26.662
32.89/33.08 c GLOBAL bounds - >= 25816 @ 26.7404
33.00/33.12 c GLOBAL bounds - >= 25816 @ 26.7585
33.09/33.23 c GLOBAL bounds - >= 25816 @ 26.8312
33.09/33.27 c GLOBAL bounds - >= 25816 @ 26.847
33.19/33.36 c GLOBAL bounds - >= 25816 @ 26.905
33.29/33.41 c GLOBAL bounds - >= 25816 @ 26.9262
33.39/33.51 c GLOBAL bounds - >= 25816 @ 26.9944
33.39/33.55 c GLOBAL bounds - >= 25816 @ 27.0158
33.49/33.64 c GLOBAL bounds - >= 25816 @ 27.0626
33.49/33.68 c GLOBAL bounds - >= 25816 @ 27.0825
33.59/33.77 c GLOBAL bounds - >= 25816 @ 27.129
33.69/33.81 c GLOBAL bounds - >= 25816 @ 27.1476
33.79/33.96 c GLOBAL bounds - >= 25816 @ 27.2546
33.89/34.00 c GLOBAL bounds - >= 25816 @ 27.2671
33.99/34.10 c GLOBAL bounds - >= 25816 @ 27.326
34.08/34.24 c GLOBAL bounds - >= 25816 @ 27.4417
34.29/34.48 c GLOBAL bounds - >= 25816 @ 27.6611
35.89/36.02 c GLOBAL bounds - >= 25816 @ 29.1672
35.99/36.11 c GLOBAL bounds - >= 25816 @ 29.233
35.99/36.12 c GLOBAL bounds - >= 25816 @ 29.2437
35.99/36.17 c GLOBAL bounds - >= 25816 @ 29.2743
36.09/36.21 c GLOBAL bounds - >= 25816 @ 29.2986
36.09/36.25 c GLOBAL bounds - >= 25816 @ 29.3176
36.19/36.30 c GLOBAL bounds - >= 25816 @ 29.3415
36.19/36.34 c GLOBAL bounds - >= 25816 @ 29.3645
36.29/36.43 c GLOBAL bounds - >= 25816 @ 29.4257
36.29/36.48 c GLOBAL bounds - >= 25816 @ 29.4452
36.39/36.57 c GLOBAL bounds - >= 25816 @ 29.4994
36.49/36.61 c GLOBAL bounds - >= 25816 @ 29.5158
36.58/36.70 c GLOBAL bounds - >= 25816 @ 29.5673
36.58/36.74 c GLOBAL bounds - >= 25816 @ 29.5808
36.69/36.84 c GLOBAL bounds - >= 25816 @ 29.6451
36.69/36.89 c GLOBAL bounds - >= 25816 @ 29.6651
36.78/36.99 c GLOBAL bounds - >= 25816 @ 29.7348
36.89/37.04 c GLOBAL bounds - >= 25816 @ 29.7534
36.99/37.14 c GLOBAL bounds - >= 25816 @ 29.8206
36.99/37.18 c GLOBAL bounds - >= 25816 @ 29.8407
37.08/37.28 c GLOBAL bounds - >= 25816 @ 29.9074
37.18/37.33 c GLOBAL bounds - >= 25816 @ 29.9279
37.28/37.43 c GLOBAL bounds - >= 25816 @ 29.9949
37.28/37.48 c GLOBAL bounds - >= 25816 @ 30.0144
37.38/37.58 c GLOBAL bounds - >= 25816 @ 30.0776
37.48/37.62 c GLOBAL bounds - >= 25816 @ 30.102
37.57/37.72 c GLOBAL bounds - >= 25816 @ 30.17
37.57/37.78 c GLOBAL bounds - >= 25816 @ 30.2179
39.47/39.68 c GLOBAL bounds - >= 25816 @ 32.068
39.68/39.81 c GLOBAL bounds - >= 25816 @ 32.1869
43.46/43.63 c GLOBAL bounds - >= 27501 @ 35.962
43.56/43.70 c GLOBAL bounds - >= 27501 @ 36.0023
43.56/43.74 c GLOBAL bounds - >= 27501 @ 36.0224
43.56/43.78 c GLOBAL bounds - >= 27501 @ 36.0396
43.67/43.83 c GLOBAL bounds - >= 27501 @ 36.0578
43.76/43.90 c GLOBAL bounds - >= 27501 @ 36.0981
43.76/43.95 c GLOBAL bounds - >= 27501 @ 36.1238
43.87/44.03 c GLOBAL bounds - >= 27501 @ 36.1648
43.87/44.07 c GLOBAL bounds - >= 27501 @ 36.1837
43.97/44.14 c GLOBAL bounds - >= 27501 @ 36.219
43.97/44.19 c GLOBAL bounds - >= 27501 @ 36.2397
44.06/44.24 c GLOBAL bounds - >= 27501 @ 36.2705
44.06/44.29 c GLOBAL bounds - >= 27501 @ 36.2921
44.16/44.35 c GLOBAL bounds - >= 27501 @ 36.3126
44.16/44.39 c GLOBAL bounds - >= 27501 @ 36.3316
44.26/44.45 c GLOBAL bounds - >= 27501 @ 36.3514
44.36/44.50 c GLOBAL bounds - >= 27501 @ 36.3683
44.36/44.59 c GLOBAL bounds - >= 27501 @ 36.4092
44.46/44.64 c GLOBAL bounds - >= 27501 @ 36.4333
44.56/44.70 c GLOBAL bounds - >= 27501 @ 36.4581
44.56/44.74 c GLOBAL bounds - >= 27501 @ 36.4813
44.66/44.80 c GLOBAL bounds - >= 27501 @ 36.5058
44.66/44.85 c GLOBAL bounds - >= 27501 @ 36.523
44.76/44.92 c GLOBAL bounds - >= 27501 @ 36.5669
51.04/51.26 c GLOBAL bounds - >= 27501 @ 42.7948
51.24/51.49 c GLOBAL bounds - >= 27501 @ 43.0029
51.85/52.01 c GLOBAL bounds - >= 27501 @ 43.5039
53.84/54.09 c GLOBAL bounds - >= 27968 @ 45.545
53.94/54.16 c GLOBAL bounds - >= 27968 @ 45.5922
54.03/54.20 c GLOBAL bounds - >= 27968 @ 45.6113
54.03/54.25 c GLOBAL bounds - >= 27968 @ 45.6328
54.14/54.34 c GLOBAL bounds - >= 27968 @ 45.675
54.14/54.38 c GLOBAL bounds - >= 27968 @ 45.6961
54.24/54.44 c GLOBAL bounds - >= 27968 @ 45.7255
54.24/54.48 c GLOBAL bounds - >= 27968 @ 45.743
54.33/54.55 c GLOBAL bounds - >= 27968 @ 45.7686
54.33/54.59 c GLOBAL bounds - >= 27968 @ 45.7879
54.44/54.66 c GLOBAL bounds - >= 27968 @ 45.826
54.54/54.71 c GLOBAL bounds - >= 27968 @ 45.8461
54.54/54.77 c GLOBAL bounds - >= 27968 @ 45.8783
54.64/54.82 c GLOBAL bounds - >= 27968 @ 45.8994
54.64/54.87 c GLOBAL bounds - >= 27968 @ 45.9242
54.74/54.91 c GLOBAL bounds - >= 27968 @ 45.9372
54.74/54.97 c GLOBAL bounds - >= 27968 @ 45.9614
54.84/55.01 c GLOBAL bounds - >= 27968 @ 45.9834
54.84/55.06 c GLOBAL bounds - >= 27968 @ 46.0057
54.94/55.10 c GLOBAL bounds - >= 27968 @ 46.0226
54.94/55.15 c GLOBAL bounds - >= 27968 @ 46.0388
54.94/55.19 c GLOBAL bounds - >= 27968 @ 46.0593
55.04/55.24 c GLOBAL bounds - >= 27968 @ 46.0828
58.62/58.84 c #Conflicts: 2000 | #Constraints: 2174793
58.62/58.84 c INPROCESSING
58.62/58.84 c GARBAGE COLLECT
58.62/58.84 c GLOBAL bounds - >= 27968 @ 49.5813
58.62/58.89 c GLOBAL bounds - >= 27968 @ 49.6185
58.73/58.93 c GLOBAL bounds - >= 27968 @ 49.6572
58.73/58.99 c GLOBAL bounds - >= 27968 @ 49.6935
58.83/59.03 c GLOBAL bounds - >= 27968 @ 49.733
58.93/59.10 c GLOBAL bounds - >= 27968 @ 49.7958
60.22/60.43 c GLOBAL bounds - >= 27968 @ 51.1054
60.22/60.46 c GLOBAL bounds - >= 27968 @ 51.1241
60.42/60.67 c GLOBAL bounds - >= 27968 @ 51.3239
60.72/60.93 c GLOBAL bounds - >= 27968 @ 51.5763
63.21/63.46 c GLOBAL bounds - >= 27968 @ 54.0748
138.41/138.89 c #Conflicts: 3000 | #Constraints: 2250802
138.41/138.89 c #Conflicts: 4000 | #Constraints: 2251802
138.41/138.89 c #Conflicts: 5000 | #Constraints: 2252802
138.41/138.89 c GLOBAL bounds - >= 37088 @ 128.288
138.51/138.99 c GLOBAL bounds - >= 37088 @ 128.367
138.62/139.04 c GLOBAL bounds - >= 37088 @ 128.388
138.62/139.08 c GLOBAL bounds - >= 37088 @ 128.411
138.71/139.15 c GLOBAL bounds - >= 37088 @ 128.451
138.81/139.20 c GLOBAL bounds - >= 37088 @ 128.472
138.81/139.26 c GLOBAL bounds - >= 37088 @ 128.504
138.90/139.30 c GLOBAL bounds - >= 37088 @ 128.523
138.90/139.36 c GLOBAL bounds - >= 37088 @ 128.546
139.01/139.41 c GLOBAL bounds - >= 37088 @ 128.572
139.01/139.47 c GLOBAL bounds - >= 37088 @ 128.602
139.11/139.52 c GLOBAL bounds - >= 37088 @ 128.621
139.11/139.58 c GLOBAL bounds - >= 37088 @ 128.647
139.21/139.62 c GLOBAL bounds - >= 37088 @ 128.664
139.21/139.69 c GLOBAL bounds - >= 37088 @ 128.692
139.30/139.73 c GLOBAL bounds - >= 37088 @ 128.712
139.30/139.79 c GLOBAL bounds - >= 37088 @ 128.74
139.40/139.83 c GLOBAL bounds - >= 37088 @ 128.76
139.51/139.90 c GLOBAL bounds - >= 37088 @ 128.794
139.51/139.94 c GLOBAL bounds - >= 37088 @ 128.816
139.51/139.99 c GLOBAL bounds - >= 37088 @ 128.844
139.61/140.04 c GLOBAL bounds - >= 37088 @ 128.862
139.61/140.09 c GLOBAL bounds - >= 37088 @ 128.885
140.01/140.48 c GLOBAL bounds - >= 37088 @ 129.266
140.10/140.58 c GLOBAL bounds - >= 37088 @ 129.351
140.30/140.79 c GLOBAL bounds - >= 37088 @ 129.546
141.50/141.91 c GLOBAL bounds - >= 37088 @ 130.612
170.53/171.03 c #Conflicts: 6000 | #Constraints: 2347956
170.53/171.03 c INPROCESSING
170.53/171.03 c GARBAGE COLLECT
170.53/171.03 c GLOBAL bounds - >= 37088 @ 159.387
171.12/171.63 c GLOBAL bounds - >= 37088 @ 159.974
177.40/177.94 c GLOBAL bounds - >= 37088 @ 166.254
177.40/178.00 c GLOBAL bounds - >= 37088 @ 166.312
177.51/178.06 c GLOBAL bounds - >= 37088 @ 166.352
177.60/178.10 c GLOBAL bounds - >= 37088 @ 166.369
177.60/178.15 c GLOBAL bounds - >= 37088 @ 166.387
177.60/178.19 c GLOBAL bounds - >= 37088 @ 166.406
177.70/178.28 c GLOBAL bounds - >= 37088 @ 166.461
177.80/178.32 c GLOBAL bounds - >= 37088 @ 166.48
177.90/178.40 c GLOBAL bounds - >= 37088 @ 166.524
177.90/178.44 c GLOBAL bounds - >= 37088 @ 166.54
178.00/178.50 c GLOBAL bounds - >= 37088 @ 166.57
178.00/178.55 c GLOBAL bounds - >= 37088 @ 166.584
178.10/178.60 c GLOBAL bounds - >= 37088 @ 166.61
178.10/178.65 c GLOBAL bounds - >= 37088 @ 166.631
178.20/178.71 c GLOBAL bounds - >= 37088 @ 166.66
178.20/178.75 c GLOBAL bounds - >= 37088 @ 166.681
178.30/178.81 c GLOBAL bounds - >= 37088 @ 166.707
178.30/178.85 c GLOBAL bounds - >= 37088 @ 166.728
178.40/178.91 c GLOBAL bounds - >= 37088 @ 166.757
178.40/178.96 c GLOBAL bounds - >= 37088 @ 166.781
178.50/179.01 c GLOBAL bounds - >= 37088 @ 166.815
178.50/179.06 c GLOBAL bounds - >= 37088 @ 166.837
178.61/179.14 c GLOBAL bounds - >= 37088 @ 166.866
178.61/179.18 c GLOBAL bounds - >= 37088 @ 166.889
178.70/179.23 c GLOBAL bounds - >= 37088 @ 166.907
179.90/180.44 c GLOBAL bounds - >= 37088 @ 168.109
179.90/180.49 c GLOBAL bounds - >= 37088 @ 168.149
180.20/180.73 c GLOBAL bounds - >= 37088 @ 168.333
180.70/181.20 c GLOBAL bounds - >= 37088 @ 168.777
201.34/201.91 c #Conflicts: 7000 | #Constraints: 2486318
201.34/201.91 c GLOBAL bounds - >= 37088 @ 189.39
201.74/202.30 c GLOBAL bounds - >= 37088 @ 189.765
201.74/202.36 c GLOBAL bounds - >= 37088 @ 189.833
201.84/202.42 c GLOBAL bounds - >= 37088 @ 189.868
201.84/202.47 c GLOBAL bounds - >= 37088 @ 189.884
201.94/202.51 c GLOBAL bounds - >= 37088 @ 189.909
201.94/202.56 c GLOBAL bounds - >= 37088 @ 189.928
202.04/202.66 c GLOBAL bounds - >= 37088 @ 189.98
202.14/202.71 c GLOBAL bounds - >= 37088 @ 190.003
202.14/202.76 c GLOBAL bounds - >= 37088 @ 190.022
202.24/202.81 c GLOBAL bounds - >= 37088 @ 190.043
202.24/202.86 c GLOBAL bounds - >= 37088 @ 190.067
202.34/202.91 c GLOBAL bounds - >= 37088 @ 190.081
202.44/203.00 c GLOBAL bounds - >= 37088 @ 190.118
202.44/203.05 c GLOBAL bounds - >= 37088 @ 190.134
202.54/203.14 c GLOBAL bounds - >= 37088 @ 190.171
202.54/203.18 c GLOBAL bounds - >= 37088 @ 190.194
202.64/203.27 c GLOBAL bounds - >= 37088 @ 190.229
202.74/203.32 c GLOBAL bounds - >= 37088 @ 190.254
202.83/203.41 c GLOBAL bounds - >= 37088 @ 190.294
202.83/203.45 c GLOBAL bounds - >= 37088 @ 190.32
202.94/203.51 c GLOBAL bounds - >= 37088 @ 190.334
202.94/203.55 c GLOBAL bounds - >= 37088 @ 190.355
203.04/203.60 c GLOBAL bounds - >= 37088 @ 190.375
203.04/203.65 c GLOBAL bounds - >= 37088 @ 190.395
203.13/203.70 c GLOBAL bounds - >= 37088 @ 190.418
203.54/204.10 c GLOBAL bounds - >= 37088 @ 190.814
203.54/204.15 c GLOBAL bounds - >= 37088 @ 190.852
203.54/204.18 c GLOBAL bounds - >= 37088 @ 190.874
212.51/213.13 c GLOBAL bounds - >= 37088 @ 199.757
223.77/224.43 c #Conflicts: 8000 | #Constraints: 2612330
223.77/224.43 c GLOBAL bounds - >= 37088 @ 210.914
235.45/236.17 c GLOBAL bounds - >= 37088 @ 222.536
249.41/250.16 c #Conflicts: 9000 | #Constraints: 2638245
249.41/250.16 c GLOBAL bounds - >= 37088 @ 236.4
437.77/439.02 c #Conflicts: 10000 | #Constraints: 2653792
437.77/439.02 c #Conflicts: 11000 | #Constraints: 2654792
437.77/439.02 c #Conflicts: 12000 | #Constraints: 2655792
437.77/439.02 c INPROCESSING
437.77/439.02 c GARBAGE COLLECT
437.77/439.02 c #Conflicts: 13000 | #Constraints: 2653473
437.77/439.02 c GLOBAL bounds - >= 38636 @ 423.269
437.87/439.11 c GLOBAL bounds - >= 38636 @ 423.338
437.87/439.15 c GLOBAL bounds - >= 38636 @ 423.354
437.87/439.19 c GLOBAL bounds - >= 38636 @ 423.372
437.96/439.24 c GLOBAL bounds - >= 38636 @ 423.389
438.26/439.50 c GLOBAL bounds - >= 38636 @ 423.575
438.26/439.55 c GLOBAL bounds - >= 38636 @ 423.602
438.36/439.64 c GLOBAL bounds - >= 38636 @ 423.658
438.36/439.68 c GLOBAL bounds - >= 38636 @ 423.677
438.46/439.77 c GLOBAL bounds - >= 38636 @ 423.735
438.56/439.82 c GLOBAL bounds - >= 38636 @ 423.754
438.66/439.92 c GLOBAL bounds - >= 38636 @ 423.819
438.66/439.97 c GLOBAL bounds - >= 38636 @ 423.835
438.77/440.02 c GLOBAL bounds - >= 38636 @ 423.867
438.77/440.07 c GLOBAL bounds - >= 38636 @ 423.885
438.86/440.12 c GLOBAL bounds - >= 38636 @ 423.911
438.86/440.17 c GLOBAL bounds - >= 38636 @ 423.928
438.96/440.23 c GLOBAL bounds - >= 38636 @ 423.956
438.96/440.27 c GLOBAL bounds - >= 38636 @ 423.978
439.06/440.33 c GLOBAL bounds - >= 38636 @ 424.004
439.06/440.37 c GLOBAL bounds - >= 38636 @ 424.023
439.16/440.43 c GLOBAL bounds - >= 38636 @ 424.048
439.16/440.47 c GLOBAL bounds - >= 38636 @ 424.066
439.26/440.53 c GLOBAL bounds - >= 38636 @ 424.091
439.36/440.60 c GLOBAL bounds - >= 38636 @ 424.157
439.36/440.64 c GLOBAL bounds - >= 38636 @ 424.189
439.36/440.68 c GLOBAL bounds - >= 38636 @ 424.217
443.65/444.99 c GLOBAL bounds - >= 38636 @ 428.489
447.93/449.29 c GLOBAL bounds - >= 38636 @ 432.756
448.03/449.37 c GLOBAL bounds - >= 38636 @ 432.834
448.14/449.43 c GLOBAL bounds - >= 38636 @ 432.868
448.14/449.47 c GLOBAL bounds - >= 38636 @ 432.885
448.23/449.52 c GLOBAL bounds - >= 38636 @ 432.903
448.23/449.56 c GLOBAL bounds - >= 38636 @ 432.92
448.34/449.60 c GLOBAL bounds - >= 38636 @ 432.945
448.34/449.65 c GLOBAL bounds - >= 38636 @ 432.963
448.54/449.80 c GLOBAL bounds - >= 38636 @ 433.05
448.54/449.84 c GLOBAL bounds - >= 38636 @ 433.071
448.63/449.95 c GLOBAL bounds - >= 38636 @ 433.147
448.63/449.99 c GLOBAL bounds - >= 38636 @ 433.166
448.74/450.09 c GLOBAL bounds - >= 38636 @ 433.235
448.84/450.14 c GLOBAL bounds - >= 38636 @ 433.257
448.93/450.23 c GLOBAL bounds - >= 38636 @ 433.322
448.93/450.28 c GLOBAL bounds - >= 38636 @ 433.342
449.04/450.34 c GLOBAL bounds - >= 38636 @ 433.369
449.04/450.38 c GLOBAL bounds - >= 38636 @ 433.393
449.13/450.44 c GLOBAL bounds - >= 38636 @ 433.422
449.13/450.49 c GLOBAL bounds - >= 38636 @ 433.439
449.23/450.55 c GLOBAL bounds - >= 38636 @ 433.473
449.23/450.59 c GLOBAL bounds - >= 38636 @ 433.497
449.34/450.65 c GLOBAL bounds - >= 38636 @ 433.521
449.43/450.70 c GLOBAL bounds - >= 38636 @ 433.542
449.43/450.76 c GLOBAL bounds - >= 38636 @ 433.567
449.54/450.80 c GLOBAL bounds - >= 38636 @ 433.583
449.54/450.86 c GLOBAL bounds - >= 38636 @ 433.615
449.63/450.99 c GLOBAL bounds - >= 38636 @ 433.728
450.73/452.10 c GLOBAL bounds - >= 38636 @ 434.828
472.37/473.79 c #Conflicts: 14000 | #Constraints: 2914130
472.37/473.79 c GLOBAL bounds - >= 38636 @ 456.443
472.47/473.89 c GLOBAL bounds - >= 38636 @ 456.534
472.57/473.97 c GLOBAL bounds - >= 38636 @ 456.619
472.68/474.03 c GLOBAL bounds - >= 38636 @ 456.646
472.68/474.07 c GLOBAL bounds - >= 38636 @ 456.661
472.78/474.11 c GLOBAL bounds - >= 38636 @ 456.682
472.78/474.16 c GLOBAL bounds - >= 38636 @ 456.706
472.87/474.20 c GLOBAL bounds - >= 38636 @ 456.723
472.97/474.35 c GLOBAL bounds - >= 38636 @ 456.839
473.06/474.40 c GLOBAL bounds - >= 38636 @ 456.859
473.17/474.50 c GLOBAL bounds - >= 38636 @ 456.938
473.17/474.54 c GLOBAL bounds - >= 38636 @ 456.96
473.27/474.65 c GLOBAL bounds - >= 38636 @ 457.041
473.27/474.69 c GLOBAL bounds - >= 38636 @ 457.065
473.47/474.80 c GLOBAL bounds - >= 38636 @ 457.148
473.47/474.84 c GLOBAL bounds - >= 38636 @ 457.168
473.57/474.95 c GLOBAL bounds - >= 38636 @ 457.247
473.57/474.99 c GLOBAL bounds - >= 38636 @ 457.27
473.67/475.10 c GLOBAL bounds - >= 38636 @ 457.351
473.77/475.14 c GLOBAL bounds - >= 38636 @ 457.367
473.87/475.28 c GLOBAL bounds - >= 38636 @ 457.454
473.97/475.32 c GLOBAL bounds - >= 38636 @ 457.475
473.97/475.38 c GLOBAL bounds - >= 38636 @ 457.502
474.07/475.43 c GLOBAL bounds - >= 38636 @ 457.522
474.07/475.49 c GLOBAL bounds - >= 38636 @ 457.559
474.16/475.53 c GLOBAL bounds - >= 38636 @ 457.575
474.27/475.60 c GLOBAL bounds - >= 38636 @ 457.617
474.27/475.63 c GLOBAL bounds - >= 38636 @ 457.637
474.37/475.77 c GLOBAL bounds - >= 38636 @ 457.768
482.55/483.92 c GLOBAL bounds - >= 38636 @ 465.881
699.18/701.16 c #Conflicts: 15000 | #Constraints: 3071418
699.18/701.16 c #Conflicts: 16000 | #Constraints: 3072418
699.18/701.16 c #Conflicts: 17000 | #Constraints: 3073418
699.18/701.16 c #Conflicts: 18000 | #Constraints: 3074418
699.18/701.16 c #Conflicts: 19000 | #Constraints: 3075418
699.18/701.16 c GLOBAL bounds - >= 38636 @ 681.612
699.38/701.33 c GLOBAL bounds - >= 38636 @ 681.784
699.38/701.38 c GLOBAL bounds - >= 38636 @ 681.809
699.48/701.42 c GLOBAL bounds - >= 38636 @ 681.835
699.48/701.47 c GLOBAL bounds - >= 38636 @ 681.853
699.58/701.51 c GLOBAL bounds - >= 38636 @ 681.867
699.58/701.56 c GLOBAL bounds - >= 38636 @ 681.886
700.18/702.14 c GLOBAL bounds - >= 38636 @ 682.387
700.18/702.18 c GLOBAL bounds - >= 38636 @ 682.407
700.28/702.25 c GLOBAL bounds - >= 38636 @ 682.442
700.38/702.30 c GLOBAL bounds - >= 38636 @ 682.462
700.38/702.35 c GLOBAL bounds - >= 38636 @ 682.484
700.47/702.40 c GLOBAL bounds - >= 38636 @ 682.505
700.47/702.45 c GLOBAL bounds - >= 38636 @ 682.535
700.58/702.50 c GLOBAL bounds - >= 38636 @ 682.553
700.58/702.56 c GLOBAL bounds - >= 38636 @ 682.583
700.68/702.60 c GLOBAL bounds - >= 38636 @ 682.602
700.68/702.66 c GLOBAL bounds - >= 38636 @ 682.624
700.78/702.70 c GLOBAL bounds - >= 38636 @ 682.642
700.78/702.76 c GLOBAL bounds - >= 38636 @ 682.668
700.87/702.80 c GLOBAL bounds - >= 38636 @ 682.686
700.87/702.87 c GLOBAL bounds - >= 38636 @ 682.717
700.97/702.92 c GLOBAL bounds - >= 38636 @ 682.732
701.08/703.01 c GLOBAL bounds - >= 38636 @ 682.777
701.08/703.05 c GLOBAL bounds - >= 38636 @ 682.795
701.18/703.14 c GLOBAL bounds - >= 38636 @ 682.846
701.18/703.18 c GLOBAL bounds - >= 38636 @ 682.878
701.28/703.24 c GLOBAL bounds - >= 38636 @ 682.928
703.47/705.42 c GLOBAL bounds - >= 38636 @ 685.049
707.95/709.99 c GLOBAL bounds - >= 38636 @ 689.565
722.12/724.14 c GLOBAL bounds - >= 38636 @ 703.603
726.60/728.64 c GLOBAL bounds - >= 38636 @ 708.07
726.80/728.82 c GLOBAL bounds - >= 38636 @ 708.252
726.80/728.88 c GLOBAL bounds - >= 38636 @ 708.282
726.90/728.92 c GLOBAL bounds - >= 38636 @ 708.301
726.90/728.97 c GLOBAL bounds - >= 38636 @ 708.322
727.01/729.01 c GLOBAL bounds - >= 38636 @ 708.338
727.01/729.06 c GLOBAL bounds - >= 38636 @ 708.358
727.30/729.30 c GLOBAL bounds - >= 38636 @ 708.553
727.30/729.34 c GLOBAL bounds - >= 38636 @ 708.575
727.50/729.55 c GLOBAL bounds - >= 38636 @ 708.746
727.50/729.59 c GLOBAL bounds - >= 38636 @ 708.767
727.70/729.77 c GLOBAL bounds - >= 38636 @ 708.908
727.80/729.82 c GLOBAL bounds - >= 38636 @ 708.925
727.80/729.88 c GLOBAL bounds - >= 38636 @ 708.957
727.90/729.92 c GLOBAL bounds - >= 38636 @ 708.977
727.90/729.99 c GLOBAL bounds - >= 38636 @ 709.013
728.00/730.03 c GLOBAL bounds - >= 38636 @ 709.036
728.00/730.10 c GLOBAL bounds - >= 38636 @ 709.066
728.11/730.14 c GLOBAL bounds - >= 38636 @ 709.091
728.19/730.20 c GLOBAL bounds - >= 38636 @ 709.121
728.19/730.25 c GLOBAL bounds - >= 38636 @ 709.142
728.30/730.31 c GLOBAL bounds - >= 38636 @ 709.183
728.30/730.36 c GLOBAL bounds - >= 38636 @ 709.204
728.39/730.42 c GLOBAL bounds - >= 38636 @ 709.235
728.39/730.46 c GLOBAL bounds - >= 38636 @ 709.258
728.49/730.53 c GLOBAL bounds - >= 38636 @ 709.287
728.60/730.62 c GLOBAL bounds - >= 38636 @ 709.366
728.90/730.95 c GLOBAL bounds - >= 38636 @ 709.684
748.73/750.88 c #Conflicts: 20000 | #Constraints: 3324638
748.73/750.88 c INPROCESSING
748.73/750.88 c GARBAGE COLLECT
748.73/750.88 c GLOBAL bounds - >= 38636 @ 729.48
749.23/751.32 c GLOBAL bounds - >= 38636 @ 729.91
749.82/751.93 c GLOBAL bounds - >= 38636 @ 730.513
749.82/751.99 c GLOBAL bounds - >= 38636 @ 730.542
749.93/752.03 c GLOBAL bounds - >= 38636 @ 730.564
749.93/752.07 c GLOBAL bounds - >= 38636 @ 730.586
750.03/752.12 c GLOBAL bounds - >= 38636 @ 730.609
750.03/752.16 c GLOBAL bounds - >= 38636 @ 730.635
750.12/752.29 c GLOBAL bounds - >= 38636 @ 730.728
750.22/752.33 c GLOBAL bounds - >= 38636 @ 730.746
750.33/752.46 c GLOBAL bounds - >= 38636 @ 730.839
750.43/752.50 c GLOBAL bounds - >= 38636 @ 730.857
750.52/752.63 c GLOBAL bounds - >= 38636 @ 730.954
750.52/752.67 c GLOBAL bounds - >= 38636 @ 730.972
750.73/752.80 c GLOBAL bounds - >= 38636 @ 731.073
750.73/752.85 c GLOBAL bounds - >= 38636 @ 731.096
750.82/752.97 c GLOBAL bounds - >= 38636 @ 731.194
750.92/753.02 c GLOBAL bounds - >= 38636 @ 731.213
751.03/753.15 c GLOBAL bounds - >= 38636 @ 731.309
751.12/753.20 c GLOBAL bounds - >= 38636 @ 731.328
751.22/753.35 c GLOBAL bounds - >= 38636 @ 731.424
751.22/753.39 c GLOBAL bounds - >= 38636 @ 731.446
751.33/753.45 c GLOBAL bounds - >= 38636 @ 731.48
751.43/753.50 c GLOBAL bounds - >= 38636 @ 731.5
751.43/753.59 c GLOBAL bounds - >= 38636 @ 731.537
751.52/753.63 c GLOBAL bounds - >= 38636 @ 731.556
751.62/753.72 c GLOBAL bounds - >= 38636 @ 731.587
751.62/753.75 c GLOBAL bounds - >= 38636 @ 731.606
751.72/753.80 c GLOBAL bounds - >= 38636 @ 731.643
752.12/754.21 c GLOBAL bounds - >= 38636 @ 732.04
752.22/754.38 c GLOBAL bounds - >= 38636 @ 732.2
752.42/754.56 c GLOBAL bounds - >= 38636 @ 732.372
762.19/764.33 c GLOBAL bounds - >= 38636 @ 742.089
762.29/764.43 c GLOBAL bounds - >= 38636 @ 742.188
762.29/764.48 c GLOBAL bounds - >= 38636 @ 742.222
762.40/764.53 c GLOBAL bounds - >= 38636 @ 742.242
762.40/764.57 c GLOBAL bounds - >= 38636 @ 742.265
762.49/764.62 c GLOBAL bounds - >= 38636 @ 742.281
762.49/764.66 c GLOBAL bounds - >= 38636 @ 742.3
762.59/764.71 c GLOBAL bounds - >= 38636 @ 742.323
762.59/764.75 c GLOBAL bounds - >= 38636 @ 742.345
762.90/765.07 c GLOBAL bounds - >= 38636 @ 742.613
762.99/765.12 c GLOBAL bounds - >= 38636 @ 742.635
762.99/765.18 c GLOBAL bounds - >= 38636 @ 742.675
763.09/765.22 c GLOBAL bounds - >= 38636 @ 742.705
763.09/765.28 c GLOBAL bounds - >= 38636 @ 742.732
763.19/765.33 c GLOBAL bounds - >= 38636 @ 742.749
763.19/765.38 c GLOBAL bounds - >= 38636 @ 742.776
763.29/765.43 c GLOBAL bounds - >= 38636 @ 742.796
763.29/765.48 c GLOBAL bounds - >= 38636 @ 742.822
763.39/765.53 c GLOBAL bounds - >= 38636 @ 742.843
763.39/765.59 c GLOBAL bounds - >= 38636 @ 742.87
763.49/765.63 c GLOBAL bounds - >= 38636 @ 742.898
763.59/765.70 c GLOBAL bounds - >= 38636 @ 742.931
763.59/765.74 c GLOBAL bounds - >= 38636 @ 742.952
763.69/765.80 c GLOBAL bounds - >= 38636 @ 742.973
763.69/765.84 c GLOBAL bounds - >= 38636 @ 742.994
763.79/765.90 c GLOBAL bounds - >= 38636 @ 743.016
763.79/765.94 c GLOBAL bounds - >= 38636 @ 743.034
763.89/766.03 c GLOBAL bounds - >= 38636 @ 743.074
764.00/766.17 c GLOBAL bounds - >= 38636 @ 743.207
764.19/766.33 c GLOBAL bounds - >= 38636 @ 743.358
764.29/766.44 c GLOBAL bounds - >= 38636 @ 743.465
765.99/768.15 c GLOBAL bounds - >= 38636 @ 745.148
768.47/770.63 c GLOBAL bounds - >= 38636 @ 747.611
903.52/906.04 c #Conflicts: 21000 | #Constraints: 3619775
903.52/906.04 c #Conflicts: 22000 | #Constraints: 3620775
903.52/906.04 c #Conflicts: 23000 | #Constraints: 3621775
903.52/906.04 c GLOBAL bounds - >= 38636 @ 882.524
913.78/916.36 c GLOBAL bounds - >= 38636 @ 892.802
1832.87/1837.93 c #Conflicts: 24000 | #Constraints: 3646458
1832.87/1837.93 c #Conflicts: 25000 | #Constraints: 3647458
1832.87/1837.93 c #Conflicts: 26000 | #Constraints: 3648458
1832.87/1837.93 c #Conflicts: 27000 | #Constraints: 3649458
1832.87/1837.93 c #Conflicts: 28000 | #Constraints: 3650458
1832.87/1837.93 c #Conflicts: 29000 | #Constraints: 3651458
1832.87/1837.93 c #Conflicts: 30000 | #Constraints: 3652458
1832.87/1837.93 c INPROCESSING
1832.87/1837.93 c GARBAGE COLLECT
1832.87/1837.93 c #Conflicts: 31000 | #Constraints: 3646447
1832.87/1837.93 c #Conflicts: 32000 | #Constraints: 3647447
1832.87/1837.93 c #Conflicts: 33000 | #Constraints: 3648447
1832.87/1837.93 c #Conflicts: 34000 | #Constraints: 3649447
1832.87/1837.93 c GLOBAL bounds - >= 42229 @ 1807.9
1832.97/1838.02 c GLOBAL bounds - >= 42229 @ 1807.96
1832.97/1838.06 c GLOBAL bounds - >= 42229 @ 1807.98
1833.08/1838.11 c GLOBAL bounds - >= 42229 @ 1808
1833.08/1838.15 c GLOBAL bounds - >= 42229 @ 1808.02
1833.16/1838.20 c GLOBAL bounds - >= 42229 @ 1808.05
1833.16/1838.24 c GLOBAL bounds - >= 42229 @ 1808.06
1833.16/1838.29 c GLOBAL bounds - >= 42229 @ 1808.08
1833.96/1839.07 c GLOBAL bounds - >= 42229 @ 1808.82
1834.06/1839.12 c GLOBAL bounds - >= 42229 @ 1808.84
1834.06/1839.19 c GLOBAL bounds - >= 42229 @ 1808.88
1834.17/1839.23 c GLOBAL bounds - >= 42229 @ 1808.9
1834.26/1839.30 c GLOBAL bounds - >= 42229 @ 1808.94
1834.26/1839.35 c GLOBAL bounds - >= 42229 @ 1808.96
1834.36/1839.40 c GLOBAL bounds - >= 42229 @ 1808.99
1834.36/1839.45 c GLOBAL bounds - >= 42229 @ 1809
1834.46/1839.51 c GLOBAL bounds - >= 42229 @ 1809.03
1834.46/1839.55 c GLOBAL bounds - >= 42229 @ 1809.05
1834.56/1839.61 c GLOBAL bounds - >= 42229 @ 1809.08
1834.56/1839.66 c GLOBAL bounds - >= 42229 @ 1809.1
1834.66/1839.70 c GLOBAL bounds - >= 42229 @ 1809.12
1834.66/1839.75 c GLOBAL bounds - >= 42229 @ 1809.13
1834.66/1839.79 c GLOBAL bounds - >= 42229 @ 1809.15
1834.76/1839.84 c GLOBAL bounds - >= 42229 @ 1809.17
1834.76/1839.88 c GLOBAL bounds - >= 42229 @ 1809.19
1834.86/1839.93 c GLOBAL bounds - >= 42229 @ 1809.21
1834.86/1839.99 c GLOBAL bounds - >= 42229 @ 1809.25
1834.96/1840.04 c GLOBAL bounds - >= 42229 @ 1809.29
1834.96/1840.07 c GLOBAL bounds - >= 42229 @ 1809.31
1835.06/1840.14 c GLOBAL bounds - >= 42229 @ 1809.38
1835.26/1840.30 c GLOBAL bounds - >= 42229 @ 1809.53
1835.46/1840.59 c GLOBAL bounds - >= 42229 @ 1809.82
1836.65/1841.73 c GLOBAL bounds - >= 42229 @ 1810.95
1840.25/1845.34 c #Conflicts: 35000 | #Constraints: 3707900
1840.25/1845.34 c GLOBAL bounds - >= 42229 @ 1814.5
1841.54/1846.63 c GLOBAL bounds - >= 42229 @ 1815.77
1905.28/1910.54 c #Conflicts: 36000 | #Constraints: 3728247
1905.28/1910.54 c GLOBAL bounds - >= 42229 @ 1879.36
1905.78/1911.05 c GLOBAL bounds - >= 42229 @ 1879.87
1906.48/1911.72 c GLOBAL bounds - >= 42229 @ 1880.53
1906.58/1911.87 c GLOBAL bounds - >= 42229 @ 1880.69
1906.68/1911.94 c GLOBAL bounds - >= 42229 @ 1880.73
1906.68/1911.98 c GLOBAL bounds - >= 42229 @ 1880.74
1906.78/1912.03 c GLOBAL bounds - >= 42229 @ 1880.75
1906.78/1912.07 c GLOBAL bounds - >= 42229 @ 1880.77
1906.88/1912.12 c GLOBAL bounds - >= 42229 @ 1880.79
1907.17/1912.42 c GLOBAL bounds - >= 42229 @ 1881.04
1907.17/1912.47 c GLOBAL bounds - >= 42229 @ 1881.06
1907.28/1912.53 c GLOBAL bounds - >= 42229 @ 1881.09
1907.28/1912.57 c GLOBAL bounds - >= 42229 @ 1881.11
1907.37/1912.63 c GLOBAL bounds - >= 42229 @ 1881.13
1907.37/1912.67 c GLOBAL bounds - >= 42229 @ 1881.16
1907.48/1912.73 c GLOBAL bounds - >= 42229 @ 1881.19
1907.48/1912.77 c GLOBAL bounds - >= 42229 @ 1881.22
1907.57/1912.82 c GLOBAL bounds - >= 42229 @ 1881.25
1907.57/1912.87 c GLOBAL bounds - >= 42229 @ 1881.27
1907.67/1912.92 c GLOBAL bounds - >= 42229 @ 1881.29
1907.67/1912.97 c GLOBAL bounds - >= 42229 @ 1881.31
1907.78/1913.02 c GLOBAL bounds - >= 42229 @ 1881.34
1907.78/1913.07 c GLOBAL bounds - >= 42229 @ 1881.36
1907.88/1913.12 c GLOBAL bounds - >= 42229 @ 1881.38
1907.88/1913.17 c GLOBAL bounds - >= 42229 @ 1881.4
1907.97/1913.22 c GLOBAL bounds - >= 42229 @ 1881.43
1907.97/1913.27 c GLOBAL bounds - >= 42229 @ 1881.44
1908.07/1913.32 c GLOBAL bounds - >= 42229 @ 1881.47
1908.27/1913.50 c GLOBAL bounds - >= 42229 @ 1881.63
1910.27/1915.59 c GLOBAL bounds - >= 42229 @ 1883.7
1910.37/1915.64 c GLOBAL bounds - >= 42229 @ 1883.74
1915.56/1920.83 c GLOBAL bounds - >= 42229 @ 1888.9
1920.64/1925.90 c GLOBAL bounds - >= 42229 @ 1893.94
1920.75/1926.06 c GLOBAL bounds - >= 42229 @ 1894.1
1920.85/1926.12 c GLOBAL bounds - >= 42229 @ 1894.13
1920.85/1926.16 c GLOBAL bounds - >= 42229 @ 1894.15
1920.94/1926.20 c GLOBAL bounds - >= 42229 @ 1894.17
1920.94/1926.25 c GLOBAL bounds - >= 42229 @ 1894.19
1921.24/1926.52 c GLOBAL bounds - >= 42229 @ 1894.43
1921.24/1926.57 c GLOBAL bounds - >= 42229 @ 1894.45
1921.34/1926.64 c GLOBAL bounds - >= 42229 @ 1894.49
1921.34/1926.68 c GLOBAL bounds - >= 42229 @ 1894.51
1921.44/1926.74 c GLOBAL bounds - >= 42229 @ 1894.54
1921.44/1926.78 c GLOBAL bounds - >= 42229 @ 1894.55
1921.54/1926.84 c GLOBAL bounds - >= 42229 @ 1894.58
1921.54/1926.89 c GLOBAL bounds - >= 42229 @ 1894.6
1921.64/1926.95 c GLOBAL bounds - >= 42229 @ 1894.63
1921.64/1926.99 c GLOBAL bounds - >= 42229 @ 1894.66
1921.74/1927.05 c GLOBAL bounds - >= 42229 @ 1894.68
1921.74/1927.10 c GLOBAL bounds - >= 42229 @ 1894.71
1921.84/1927.16 c GLOBAL bounds - >= 42229 @ 1894.74
1921.94/1927.20 c GLOBAL bounds - >= 42229 @ 1894.76
1921.94/1927.26 c GLOBAL bounds - >= 42229 @ 1894.78
1922.03/1927.31 c GLOBAL bounds - >= 42229 @ 1894.8
1922.03/1927.37 c GLOBAL bounds - >= 42229 @ 1894.83
1922.14/1927.41 c GLOBAL bounds - >= 42229 @ 1894.86
1922.14/1927.47 c GLOBAL bounds - >= 42229 @ 1894.89
1922.23/1927.50 c GLOBAL bounds - >= 42229 @ 1894.91
1922.23/1927.53 c GLOBAL bounds - >= 42229 @ 1894.94
1922.44/1927.70 c GLOBAL bounds - >= 42229 @ 1895.11
1952.06/1957.48 c #Conflicts: 37000 | #Constraints: 3933278
1952.06/1957.48 c GLOBAL bounds - >= 42229 @ 1924.64
1952.16/1957.54 c GLOBAL bounds - >= 42229 @ 1924.68
1977.09/1982.56 c #Conflicts: 38000 | #Constraints: 3950148
1977.09/1982.56 c GLOBAL bounds - >= 42229 @ 1949.53
1977.60/1983.02 c GLOBAL bounds - >= 42229 @ 1949.99
1977.69/1983.19 c GLOBAL bounds - >= 42229 @ 1950.15
1977.79/1983.25 c GLOBAL bounds - >= 42229 @ 1950.19
1977.79/1983.30 c GLOBAL bounds - >= 42229 @ 1950.21
1977.89/1983.34 c GLOBAL bounds - >= 42229 @ 1950.24
1977.89/1983.38 c GLOBAL bounds - >= 42229 @ 1950.26
1977.99/1983.43 c GLOBAL bounds - >= 42229 @ 1950.28
1977.99/1983.47 c GLOBAL bounds - >= 42229 @ 1950.3
1978.28/1983.78 c GLOBAL bounds - >= 42229 @ 1950.59
1978.39/1983.82 c GLOBAL bounds - >= 42229 @ 1950.61
1978.79/1984.28 c GLOBAL bounds - >= 42229 @ 1951.04
1978.89/1984.32 c GLOBAL bounds - >= 42229 @ 1951.06
1979.39/1984.82 c GLOBAL bounds - >= 42229 @ 1951.51
1979.39/1984.86 c GLOBAL bounds - >= 42229 @ 1951.54
1979.49/1984.92 c GLOBAL bounds - >= 42229 @ 1951.57
1979.49/1984.96 c GLOBAL bounds - >= 42229 @ 1951.59
1979.59/1985.02 c GLOBAL bounds - >= 42229 @ 1951.61
1979.59/1985.06 c GLOBAL bounds - >= 42229 @ 1951.63
1979.69/1985.12 c GLOBAL bounds - >= 42229 @ 1951.66
1979.69/1985.16 c GLOBAL bounds - >= 42229 @ 1951.67
1979.78/1985.22 c GLOBAL bounds - >= 42229 @ 1951.7
1979.78/1985.27 c GLOBAL bounds - >= 42229 @ 1951.72
1979.88/1985.32 c GLOBAL bounds - >= 42229 @ 1951.74
1979.88/1985.36 c GLOBAL bounds - >= 42229 @ 1951.76
1979.99/1985.41 c GLOBAL bounds - >= 42229 @ 1951.79
1979.99/1985.45 c GLOBAL bounds - >= 42229 @ 1951.8
1980.08/1985.50 c GLOBAL bounds - >= 42229 @ 1951.83
1980.38/1985.86 c GLOBAL bounds - >= 42229 @ 1952.18
1980.69/1986.12 c GLOBAL bounds - >= 42229 @ 1952.42
2013.80/2019.35 c #Conflicts: 39000 | #Constraints: 4030168
2013.80/2019.35 c GLOBAL bounds - >= 42229 @ 1985.19
2030.85/2036.43 c #Conflicts: 40000 | #Constraints: 4036168
2030.85/2036.43 c GLOBAL bounds - >= 42229 @ 2002.02
2031.35/2036.95 c GLOBAL bounds - >= 42229 @ 2002.52
2031.65/2037.24 c GLOBAL bounds - >= 42229 @ 2002.8
2031.86/2037.41 c GLOBAL bounds - >= 42229 @ 2002.97
2031.86/2037.47 c GLOBAL bounds - >= 42229 @ 2003.01
2031.95/2037.51 c GLOBAL bounds - >= 42229 @ 2003.03
2031.95/2037.56 c GLOBAL bounds - >= 42229 @ 2003.06
2032.05/2037.60 c GLOBAL bounds - >= 42229 @ 2003.08
2032.05/2037.65 c GLOBAL bounds - >= 42229 @ 2003.1
2032.05/2037.69 c GLOBAL bounds - >= 42229 @ 2003.12
2032.46/2038.02 c GLOBAL bounds - >= 42229 @ 2003.4
2032.46/2038.06 c GLOBAL bounds - >= 42229 @ 2003.42
2032.76/2038.38 c GLOBAL bounds - >= 42229 @ 2003.7
2032.85/2038.42 c GLOBAL bounds - >= 42229 @ 2003.72
2032.95/2038.52 c GLOBAL bounds - >= 42229 @ 2003.78
2032.95/2038.56 c GLOBAL bounds - >= 42229 @ 2003.8
2033.05/2038.65 c GLOBAL bounds - >= 42229 @ 2003.85
2033.15/2038.70 c GLOBAL bounds - >= 42229 @ 2003.87
2033.15/2038.78 c GLOBAL bounds - >= 42229 @ 2003.92
2033.25/2038.83 c GLOBAL bounds - >= 42229 @ 2003.95
2033.35/2038.90 c GLOBAL bounds - >= 42229 @ 2003.99
2033.35/2038.94 c GLOBAL bounds - >= 42229 @ 2004
2033.45/2039.00 c GLOBAL bounds - >= 42229 @ 2004.04
2033.45/2039.05 c GLOBAL bounds - >= 42229 @ 2004.06
2033.55/2039.11 c GLOBAL bounds - >= 42229 @ 2004.1
2033.55/2039.15 c GLOBAL bounds - >= 42229 @ 2004.12
2033.65/2039.22 c GLOBAL bounds - >= 42229 @ 2004.15
2033.65/2039.27 c GLOBAL bounds - >= 42229 @ 2004.17
2033.75/2039.33 c GLOBAL bounds - >= 42229 @ 2004.21
2033.75/2039.35 c GLOBAL bounds - >= 42229 @ 2004.23
2033.75/2039.39 c GLOBAL bounds - >= 42229 @ 2004.27
2033.85/2039.44 c GLOBAL bounds - >= 42229 @ 2004.31
2033.85/2039.48 c GLOBAL bounds - >= 42229 @ 2004.34
2033.95/2039.52 c GLOBAL bounds - >= 42229 @ 2004.37
2034.05/2039.62 c GLOBAL bounds - >= 42229 @ 2004.46
2034.25/2039.85 c GLOBAL bounds - >= 42229 @ 2004.69
2038.14/2043.70 c GLOBAL bounds - >= 42229 @ 2008.48
2039.83/2045.46 c GLOBAL bounds - >= 42229 @ 2010.23
2047.02/2052.64 c GLOBAL bounds - >= 42229 @ 2017.36
2054.69/2060.30 c GLOBAL bounds - >= 42229 @ 2024.96
2054.79/2060.47 c GLOBAL bounds - >= 42229 @ 2025.13
2054.90/2060.53 c GLOBAL bounds - >= 42229 @ 2025.16
2054.90/2060.57 c GLOBAL bounds - >= 42229 @ 2025.18
2055.00/2060.62 c GLOBAL bounds - >= 42229 @ 2025.2
2055.10/2060.71 c GLOBAL bounds - >= 42229 @ 2025.26
2055.10/2060.76 c GLOBAL bounds - >= 42229 @ 2025.28
2055.19/2060.85 c GLOBAL bounds - >= 42229 @ 2025.33
2055.29/2060.90 c GLOBAL bounds - >= 42229 @ 2025.36
2055.29/2060.97 c GLOBAL bounds - >= 42229 @ 2025.41
2055.40/2061.02 c GLOBAL bounds - >= 42229 @ 2025.43
2055.50/2061.12 c GLOBAL bounds - >= 42229 @ 2025.48
2055.50/2061.17 c GLOBAL bounds - >= 42229 @ 2025.5
2055.60/2061.22 c GLOBAL bounds - >= 42229 @ 2025.53
2055.60/2061.27 c GLOBAL bounds - >= 42229 @ 2025.55
2055.69/2061.32 c GLOBAL bounds - >= 42229 @ 2025.58
2055.69/2061.37 c GLOBAL bounds - >= 42229 @ 2025.6
2055.80/2061.42 c GLOBAL bounds - >= 42229 @ 2025.62
2055.80/2061.47 c GLOBAL bounds - >= 42229 @ 2025.64
2055.89/2061.53 c GLOBAL bounds - >= 42229 @ 2025.67
2055.89/2061.57 c GLOBAL bounds - >= 42229 @ 2025.68
2056.00/2061.63 c GLOBAL bounds - >= 42229 @ 2025.71
2056.00/2061.67 c GLOBAL bounds - >= 42229 @ 2025.73
2056.10/2061.73 c GLOBAL bounds - >= 42229 @ 2025.76
2056.29/2061.92 c GLOBAL bounds - >= 42229 @ 2025.94
2084.82/2090.52 c #Conflicts: 41000 | #Constraints: 4251386
2084.82/2090.52 c GLOBAL bounds - >= 42229 @ 2054.16
2084.92/2090.62 c GLOBAL bounds - >= 42229 @ 2054.25
2085.01/2090.74 c GLOBAL bounds - >= 42229 @ 2054.36
2086.41/2092.12 c GLOBAL bounds - >= 42229 @ 2055.72
2087.21/2092.93 c GLOBAL bounds - >= 42229 @ 2056.51
2219.65/2225.79 c #Conflicts: 42000 | #Constraints: 4295097
2219.65/2225.79 c INPROCESSING
2219.65/2225.79 c GARBAGE COLLECT
2219.65/2225.79 c #Conflicts: 43000 | #Constraints: 4286961
2219.65/2225.79 c GLOBAL bounds - >= 42941 @ 2188.67
2219.75/2225.88 c GLOBAL bounds - >= 42941 @ 2188.74
2219.85/2225.93 c GLOBAL bounds - >= 42941 @ 2188.75
2219.85/2225.97 c GLOBAL bounds - >= 42941 @ 2188.77
2219.95/2226.01 c GLOBAL bounds - >= 42941 @ 2188.78
2220.25/2226.34 c GLOBAL bounds - >= 42941 @ 2189.07
2220.25/2226.38 c GLOBAL bounds - >= 42941 @ 2189.09
2220.35/2226.44 c GLOBAL bounds - >= 42941 @ 2189.13
2220.35/2226.49 c GLOBAL bounds - >= 42941 @ 2189.14
2220.45/2226.55 c GLOBAL bounds - >= 42941 @ 2189.17
2220.45/2226.59 c GLOBAL bounds - >= 42941 @ 2189.19
2220.55/2226.66 c GLOBAL bounds - >= 42941 @ 2189.22
2220.65/2226.70 c GLOBAL bounds - >= 42941 @ 2189.24
2220.65/2226.76 c GLOBAL bounds - >= 42941 @ 2189.27
2220.74/2226.81 c GLOBAL bounds - >= 42941 @ 2189.29
2220.74/2226.87 c GLOBAL bounds - >= 42941 @ 2189.33
2220.84/2226.91 c GLOBAL bounds - >= 42941 @ 2189.35
2220.84/2226.97 c GLOBAL bounds - >= 42941 @ 2189.39
2220.96/2227.01 c GLOBAL bounds - >= 42941 @ 2189.4
2220.96/2227.07 c GLOBAL bounds - >= 42941 @ 2189.43
2221.05/2227.11 c GLOBAL bounds - >= 42941 @ 2189.45
2221.05/2227.15 c GLOBAL bounds - >= 42941 @ 2189.46
2221.14/2227.20 c GLOBAL bounds - >= 42941 @ 2189.48
2221.14/2227.25 c GLOBAL bounds - >= 42941 @ 2189.51
2221.25/2227.39 c GLOBAL bounds - >= 42941 @ 2189.63
2221.85/2227.95 c GLOBAL bounds - >= 42941 @ 2190.18
2221.85/2227.97 c GLOBAL bounds - >= 42941 @ 2190.2
2221.95/2228.00 c GLOBAL bounds - >= 42941 @ 2190.23
2221.95/2228.03 c GLOBAL bounds - >= 42941 @ 2190.25
2222.14/2228.21 c GLOBAL bounds - >= 42941 @ 2190.43
2225.43/2231.54 c GLOBAL bounds - >= 42941 @ 2193.74
2229.72/2235.86 c GLOBAL bounds - >= 42941 @ 2198.03
2230.03/2236.20 c GLOBAL bounds - >= 42941 @ 2198.36
2234.02/2240.14 c GLOBAL bounds - >= 42941 @ 2202.29
2258.16/2264.34 c #Conflicts: 44000 | #Constraints: 4386819
2258.16/2264.34 c GLOBAL bounds - >= 42941 @ 2226.34
2259.35/2265.56 c GLOBAL bounds - >= 42941 @ 2227.55
2259.65/2265.82 c GLOBAL bounds - >= 42941 @ 2227.81
2259.65/2265.89 c GLOBAL bounds - >= 42941 @ 2227.86
2259.75/2265.93 c GLOBAL bounds - >= 42941 @ 2227.88
2259.75/2265.97 c GLOBAL bounds - >= 42941 @ 2227.9
2259.86/2266.01 c GLOBAL bounds - >= 42941 @ 2227.91
2259.86/2266.05 c GLOBAL bounds - >= 42941 @ 2227.93
2259.86/2266.10 c GLOBAL bounds - >= 42941 @ 2227.95
2259.96/2266.14 c GLOBAL bounds - >= 42941 @ 2227.97
2259.96/2266.18 c GLOBAL bounds - >= 42941 @ 2227.98
2260.05/2266.22 c GLOBAL bounds - >= 42941 @ 2228
2260.05/2266.26 c GLOBAL bounds - >= 42941 @ 2228.02
2260.16/2266.33 c GLOBAL bounds - >= 42941 @ 2228.06
2260.16/2266.38 c GLOBAL bounds - >= 42941 @ 2228.07
2260.26/2266.44 c GLOBAL bounds - >= 42941 @ 2228.11
2260.26/2266.48 c GLOBAL bounds - >= 42941 @ 2228.13
2260.36/2266.53 c GLOBAL bounds - >= 42941 @ 2228.14
2260.36/2266.57 c GLOBAL bounds - >= 42941 @ 2228.16
2260.46/2266.63 c GLOBAL bounds - >= 42941 @ 2228.2
2260.46/2266.67 c GLOBAL bounds - >= 42941 @ 2228.22
2260.55/2266.72 c GLOBAL bounds - >= 42941 @ 2228.25
2260.55/2266.77 c GLOBAL bounds - >= 42941 @ 2228.27
2260.66/2266.82 c GLOBAL bounds - >= 42941 @ 2228.3
2260.66/2266.87 c GLOBAL bounds - >= 42941 @ 2228.31
2260.75/2266.91 c GLOBAL bounds - >= 42941 @ 2228.33
2260.75/2266.95 c GLOBAL bounds - >= 42941 @ 2228.35
2260.86/2267.02 c GLOBAL bounds - >= 42941 @ 2228.37
2260.86/2267.06 c GLOBAL bounds - >= 42941 @ 2228.39
2260.96/2267.11 c GLOBAL bounds - >= 42941 @ 2228.42
2260.96/2267.16 c GLOBAL bounds - >= 42941 @ 2228.44
2261.05/2267.21 c GLOBAL bounds - >= 42941 @ 2228.47
2261.16/2267.31 c GLOBAL bounds - >= 42941 @ 2228.55
2261.16/2267.36 c GLOBAL bounds - >= 42941 @ 2228.6
2262.35/2268.59 c GLOBAL bounds - >= 42941 @ 2229.81
2262.55/2268.72 c GLOBAL bounds - >= 42941 @ 2229.93
2262.55/2268.75 c GLOBAL bounds - >= 42941 @ 2229.94
2262.65/2268.80 c GLOBAL bounds - >= 42941 @ 2229.98
2262.65/2268.84 c GLOBAL bounds - >= 42941 @ 2230.01
2264.44/2270.67 c GLOBAL bounds - >= 42941 @ 2231.83
2264.55/2270.70 c GLOBAL bounds - >= 42941 @ 2231.86
2264.55/2270.75 c GLOBAL bounds - >= 42941 @ 2231.89
2264.55/2270.77 c GLOBAL bounds - >= 42941 @ 2231.91
2264.65/2270.85 c GLOBAL bounds - >= 42941 @ 2231.97
2264.65/2270.89 c GLOBAL bounds - >= 42941 @ 2232.01
2264.74/2270.96 c GLOBAL bounds - >= 42941 @ 2232.07
2270.63/2276.90 c #Conflicts: 45000 | #Constraints: 4456726
2270.63/2276.90 c GLOBAL bounds - >= 42941 @ 2237.98
2391.73/2398.28 c #Conflicts: 46000 | #Constraints: 4468326
2391.73/2398.28 c #Conflicts: 47000 | #Constraints: 4469326
2391.73/2398.28 c #Conflicts: 48000 | #Constraints: 4470326
2391.73/2398.28 c GLOBAL bounds - >= 42941 @ 2358.81
2392.02/2398.57 c GLOBAL bounds - >= 42941 @ 2359.11
2392.12/2398.64 c GLOBAL bounds - >= 42941 @ 2359.16
2392.12/2398.69 c GLOBAL bounds - >= 42941 @ 2359.18
2392.23/2398.73 c GLOBAL bounds - >= 42941 @ 2359.2
2392.23/2398.77 c GLOBAL bounds - >= 42941 @ 2359.22
2392.33/2398.81 c GLOBAL bounds - >= 42941 @ 2359.24
2392.33/2398.86 c GLOBAL bounds - >= 42941 @ 2359.25
2392.43/2398.90 c GLOBAL bounds - >= 42941 @ 2359.27
2392.43/2398.94 c GLOBAL bounds - >= 42941 @ 2359.29
2392.43/2398.98 c GLOBAL bounds - >= 42941 @ 2359.3
2392.53/2399.02 c GLOBAL bounds - >= 42941 @ 2359.32
2392.53/2399.07 c GLOBAL bounds - >= 42941 @ 2359.34
2392.64/2399.14 c GLOBAL bounds - >= 42941 @ 2359.37
2392.64/2399.18 c GLOBAL bounds - >= 42941 @ 2359.39
2392.73/2399.24 c GLOBAL bounds - >= 42941 @ 2359.42
2392.73/2399.29 c GLOBAL bounds - >= 42941 @ 2359.44
2392.83/2399.35 c GLOBAL bounds - >= 42941 @ 2359.48
2392.83/2399.39 c GLOBAL bounds - >= 42941 @ 2359.49
2392.92/2399.45 c GLOBAL bounds - >= 42941 @ 2359.52
2392.92/2399.49 c GLOBAL bounds - >= 42941 @ 2359.54
2393.03/2399.55 c GLOBAL bounds - >= 42941 @ 2359.57
2393.03/2399.59 c GLOBAL bounds - >= 42941 @ 2359.59
2393.13/2399.65 c GLOBAL bounds - >= 42941 @ 2359.62
2393.13/2399.69 c GLOBAL bounds - >= 42941 @ 2359.64
2393.23/2399.75 c GLOBAL bounds - >= 42941 @ 2359.66
2393.23/2399.79 c GLOBAL bounds - >= 42941 @ 2359.68
2393.33/2399.83 c GLOBAL bounds - >= 42941 @ 2359.7
2393.33/2399.88 c GLOBAL bounds - >= 42941 @ 2359.72
2393.43/2399.92 c GLOBAL bounds - >= 42941 @ 2359.74
2393.43/2399.97 c GLOBAL bounds - >= 42941 @ 2359.76
2393.53/2400.01 c GLOBAL bounds - >= 42941 @ 2359.78
2393.53/2400.06 c GLOBAL bounds - >= 42941 @ 2359.81
2393.63/2400.18 c GLOBAL bounds - >= 42941 @ 2359.92
2394.63/2401.18 c GLOBAL bounds - >= 42941 @ 2360.91
2395.02/2401.53 c GLOBAL bounds - >= 42941 @ 2361.24
2395.02/2401.56 c GLOBAL bounds - >= 42941 @ 2361.27
2395.13/2401.61 c GLOBAL bounds - >= 42941 @ 2361.31
2395.23/2401.70 c GLOBAL bounds - >= 42941 @ 2361.39
2408.19/2414.80 c GLOBAL bounds - >= 42941 @ 2374.41
2482.12/2488.86 c #Conflicts: 49000 | #Constraints: 4528442
2482.12/2488.86 c #Conflicts: 50000 | #Constraints: 4529442
2482.12/2488.86 c GLOBAL bounds - >= 42941 @ 2447.99
2523.62/2530.45 c #Conflicts: 51000 | #Constraints: 4539933
2523.62/2530.45 c GLOBAL bounds - >= 42941 @ 2489.25
2534.39/2541.23 c GLOBAL bounds - >= 42941 @ 2499.94
2535.19/2542.09 c GLOBAL bounds - >= 42941 @ 2500.79
2599.01/2606.09 c GLOBAL bounds - >= 42941 @ 2564.38
2599.41/2606.45 c GLOBAL bounds - >= 42941 @ 2564.72
2599.50/2606.52 c GLOBAL bounds - >= 42941 @ 2564.76
2599.50/2606.56 c GLOBAL bounds - >= 42941 @ 2564.78
2599.60/2606.60 c GLOBAL bounds - >= 42941 @ 2564.8
2599.60/2606.65 c GLOBAL bounds - >= 42941 @ 2564.81
2599.60/2606.69 c GLOBAL bounds - >= 42941 @ 2564.84
2599.70/2606.73 c GLOBAL bounds - >= 42941 @ 2564.86
2599.70/2606.77 c GLOBAL bounds - >= 42941 @ 2564.87
2599.81/2606.81 c GLOBAL bounds - >= 42941 @ 2564.89
2599.81/2606.86 c GLOBAL bounds - >= 42941 @ 2564.9
2599.90/2606.90 c GLOBAL bounds - >= 42941 @ 2564.92
2599.90/2606.94 c GLOBAL bounds - >= 42941 @ 2564.94
2599.90/2606.98 c GLOBAL bounds - >= 42941 @ 2564.96
2600.01/2607.03 c GLOBAL bounds - >= 42941 @ 2564.98
2600.70/2607.78 c GLOBAL bounds - >= 42941 @ 2565.7
2600.80/2607.83 c GLOBAL bounds - >= 42941 @ 2565.72
2601.50/2608.52 c #Conflicts: 52000 | #Constraints: 4596005
2601.50/2608.52 c GLOBAL bounds - >= 42941 @ 2566.37
2601.50/2608.56 c GLOBAL bounds - >= 42941 @ 2566.39
2601.60/2608.64 c GLOBAL bounds - >= 42941 @ 2566.43
2601.60/2608.68 c GLOBAL bounds - >= 42941 @ 2566.45
2601.70/2608.76 c GLOBAL bounds - >= 42941 @ 2566.49
2601.79/2608.80 c GLOBAL bounds - >= 42941 @ 2566.51
2601.79/2608.87 c GLOBAL bounds - >= 42941 @ 2566.55
2601.90/2608.91 c GLOBAL bounds - >= 42941 @ 2566.57
2601.90/2608.98 c GLOBAL bounds - >= 42941 @ 2566.61
2602.00/2609.02 c GLOBAL bounds - >= 42941 @ 2566.63
2602.00/2609.08 c GLOBAL bounds - >= 42941 @ 2566.66
2602.10/2609.13 c GLOBAL bounds - >= 42941 @ 2566.68
2602.10/2609.19 c GLOBAL bounds - >= 42941 @ 2566.72
2602.20/2609.24 c GLOBAL bounds - >= 42941 @ 2566.73
2602.20/2609.28 c GLOBAL bounds - >= 42941 @ 2566.75
2602.30/2609.33 c GLOBAL bounds - >= 42941 @ 2566.77
2602.30/2609.38 c GLOBAL bounds - >= 42941 @ 2566.81
2602.40/2609.43 c GLOBAL bounds - >= 42941 @ 2566.84
2602.40/2609.49 c GLOBAL bounds - >= 42941 @ 2566.89
2605.10/2612.15 c GLOBAL bounds - >= 42941 @ 2569.46
2605.19/2612.20 c GLOBAL bounds - >= 42941 @ 2569.5
2605.19/2612.23 c GLOBAL bounds - >= 42941 @ 2569.53
2605.19/2612.27 c GLOBAL bounds - >= 42941 @ 2569.57
2605.38/2612.47 c GLOBAL bounds - >= 42941 @ 2569.76
2605.49/2612.52 c GLOBAL bounds - >= 42941 @ 2569.8
2605.49/2612.59 c GLOBAL bounds - >= 42941 @ 2569.86
2606.28/2613.36 c GLOBAL bounds - >= 42941 @ 2570.62
2624.95/2632.01 c GLOBAL bounds - >= 42941 @ 2589.03
2634.62/2641.72 c #Conflicts: 53000 | #Constraints: 4671551
2634.62/2641.72 c GLOBAL bounds - >= 42941 @ 2598.64
2660.75/2667.96 c GLOBAL bounds - >= 42941 @ 2624.64
2661.14/2668.32 c GLOBAL bounds - >= 42941 @ 2624.99
2661.55/2668.70 c GLOBAL bounds - >= 42941 @ 2625.36
2661.55/2668.76 c GLOBAL bounds - >= 42941 @ 2625.4
2661.64/2668.80 c GLOBAL bounds - >= 42941 @ 2625.42
2661.64/2668.84 c GLOBAL bounds - >= 42941 @ 2625.44
2661.64/2668.88 c GLOBAL bounds - >= 42941 @ 2625.45
2661.75/2668.93 c GLOBAL bounds - >= 42941 @ 2625.47
2661.75/2668.97 c GLOBAL bounds - >= 42941 @ 2625.49
2661.85/2669.01 c GLOBAL bounds - >= 42941 @ 2625.51
2661.85/2669.05 c GLOBAL bounds - >= 42941 @ 2625.52
2661.85/2669.10 c GLOBAL bounds - >= 42941 @ 2625.54
2661.94/2669.14 c GLOBAL bounds - >= 42941 @ 2625.56
2661.94/2669.18 c GLOBAL bounds - >= 42941 @ 2625.58
2662.54/2669.76 c GLOBAL bounds - >= 42941 @ 2626.13
2662.64/2669.80 c GLOBAL bounds - >= 42941 @ 2626.15
2662.74/2669.90 c GLOBAL bounds - >= 42941 @ 2626.22
2662.74/2669.94 c GLOBAL bounds - >= 42941 @ 2626.23
2662.84/2670.01 c GLOBAL bounds - >= 42941 @ 2626.27
2662.84/2670.05 c GLOBAL bounds - >= 42941 @ 2626.28
2662.95/2670.12 c GLOBAL bounds - >= 42941 @ 2626.32
2662.95/2670.16 c GLOBAL bounds - >= 42941 @ 2626.34
2663.04/2670.26 c GLOBAL bounds - >= 42941 @ 2626.38
2663.14/2670.30 c GLOBAL bounds - >= 42941 @ 2626.4
2663.14/2670.36 c GLOBAL bounds - >= 42941 @ 2626.43
2663.24/2670.41 c GLOBAL bounds - >= 42941 @ 2626.46
2663.24/2670.47 c GLOBAL bounds - >= 42941 @ 2626.49
2663.34/2670.51 c GLOBAL bounds - >= 42941 @ 2626.51
2663.34/2670.58 c GLOBAL bounds - >= 42941 @ 2626.55
2663.43/2670.62 c GLOBAL bounds - >= 42941 @ 2626.57
2663.43/2670.69 c GLOBAL bounds - >= 42941 @ 2626.61
2663.54/2670.73 c GLOBAL bounds - >= 42941 @ 2626.63
2663.54/2670.78 c GLOBAL bounds - >= 42941 @ 2626.66
2672.42/2679.62 c GLOBAL bounds - >= 42941 @ 2635.38
2672.62/2679.85 c GLOBAL bounds - >= 42941 @ 2635.61
2672.92/2680.13 c GLOBAL bounds - >= 42941 @ 2635.88
2673.01/2680.25 c #Conflicts: 54000 | #Constraints: 4784989
2673.01/2680.25 c GLOBAL bounds - >= 42941 @ 2636
2673.11/2680.39 c GLOBAL bounds - >= 42941 @ 2636.13
2673.52/2680.77 c GLOBAL bounds - >= 42941 @ 2636.49
2675.01/2682.25 c GLOBAL bounds - >= 42941 @ 2637.94
2912.30/2920.12 c #Conflicts: 55000 | #Constraints: 4821517
2912.30/2920.12 c #Conflicts: 56000 | #Constraints: 4822517
2912.30/2920.12 c INPROCESSING
2912.30/2920.12 c GARBAGE COLLECT
2912.30/2920.12 c #Conflicts: 57000 | #Constraints: 4812533
2912.30/2920.12 c GLOBAL bounds - >= 42941 @ 2874.26
2996.27/3004.39 c #Conflicts: 58000 | #Constraints: 4824389
2996.27/3004.39 c GLOBAL bounds - >= 42941 @ 2958.12
3159.80/3168.34 c #Conflicts: 59000 | #Constraints: 4836381
3159.80/3168.34 c #Conflicts: 60000 | #Constraints: 4837381
3159.80/3168.34 c GLOBAL bounds - >= 44657 @ 3121.3
3159.90/3168.41 c GLOBAL bounds - >= 44657 @ 3121.36
3159.90/3168.45 c GLOBAL bounds - >= 44657 @ 3121.38
3159.90/3168.50 c GLOBAL bounds - >= 44657 @ 3121.4
3160.00/3168.54 c GLOBAL bounds - >= 44657 @ 3121.42
3160.00/3168.58 c GLOBAL bounds - >= 44657 @ 3121.44
3160.09/3168.62 c GLOBAL bounds - >= 44657 @ 3121.45
3160.09/3168.66 c GLOBAL bounds - >= 44657 @ 3121.47
3160.19/3168.70 c GLOBAL bounds - >= 44657 @ 3121.49
3160.19/3168.75 c GLOBAL bounds - >= 44657 @ 3121.5
3160.19/3168.79 c GLOBAL bounds - >= 44657 @ 3121.53
3160.50/3169.05 c GLOBAL bounds - >= 44657 @ 3121.75
3160.50/3169.09 c GLOBAL bounds - >= 44657 @ 3121.77
3160.60/3169.16 c GLOBAL bounds - >= 44657 @ 3121.8
3160.69/3169.20 c GLOBAL bounds - >= 44657 @ 3121.82
3160.69/3169.26 c GLOBAL bounds - >= 44657 @ 3121.85
3160.79/3169.30 c GLOBAL bounds - >= 44657 @ 3121.87
3160.79/3169.35 c GLOBAL bounds - >= 44657 @ 3121.89
3160.79/3169.39 c GLOBAL bounds - >= 44657 @ 3121.9
3160.89/3169.44 c GLOBAL bounds - >= 44657 @ 3121.93
3160.89/3169.48 c GLOBAL bounds - >= 44657 @ 3121.95
3161.00/3169.53 c GLOBAL bounds - >= 44657 @ 3121.98
3161.00/3169.57 c GLOBAL bounds - >= 44657 @ 3122
3161.09/3169.62 c GLOBAL bounds - >= 44657 @ 3122.02
3161.09/3169.66 c GLOBAL bounds - >= 44657 @ 3122.04
3161.20/3169.70 c GLOBAL bounds - >= 44657 @ 3122.07
3161.20/3169.74 c GLOBAL bounds - >= 44657 @ 3122.09
3161.20/3169.79 c GLOBAL bounds - >= 44657 @ 3122.11
3161.29/3169.83 c GLOBAL bounds - >= 44657 @ 3122.13
3161.29/3169.88 c GLOBAL bounds - >= 44657 @ 3122.15
3161.39/3169.94 c GLOBAL bounds - >= 44657 @ 3122.19
3163.39/3171.97 c GLOBAL bounds - >= 44657 @ 3124.22
3163.69/3172.28 c GLOBAL bounds - >= 44657 @ 3124.52
3164.19/3172.73 c GLOBAL bounds - >= 44657 @ 3124.94
3247.68/3256.47 c #Conflicts: 61000 | #Constraints: 4877961
3247.68/3256.47 c #Conflicts: 62000 | #Constraints: 4878961
3247.68/3256.47 c GLOBAL bounds - >= 44657 @ 3208.28
3276.09/3284.91 c GLOBAL bounds - >= 44657 @ 3236.56
3276.39/3285.22 c GLOBAL bounds - >= 44657 @ 3236.87
3276.39/3285.27 c GLOBAL bounds - >= 44657 @ 3236.9
3276.49/3285.32 c GLOBAL bounds - >= 44657 @ 3236.91
3276.49/3285.36 c GLOBAL bounds - >= 44657 @ 3236.93
3276.59/3285.40 c GLOBAL bounds - >= 44657 @ 3236.95
3276.59/3285.47 c GLOBAL bounds - >= 44657 @ 3236.99
3276.69/3285.51 c GLOBAL bounds - >= 44657 @ 3237.01
3276.69/3285.57 c GLOBAL bounds - >= 44657 @ 3237.04
3276.79/3285.62 c GLOBAL bounds - >= 44657 @ 3237.06
3276.79/3285.67 c GLOBAL bounds - >= 44657 @ 3237.09
3276.89/3285.72 c GLOBAL bounds - >= 44657 @ 3237.11
3276.89/3285.77 c GLOBAL bounds - >= 44657 @ 3237.14
3276.99/3285.82 c GLOBAL bounds - >= 44657 @ 3237.16
3276.99/3285.88 c GLOBAL bounds - >= 44657 @ 3237.19
3277.09/3285.92 c GLOBAL bounds - >= 44657 @ 3237.21
3277.09/3285.97 c GLOBAL bounds - >= 44657 @ 3237.23
3277.19/3286.01 c GLOBAL bounds - >= 44657 @ 3237.25
3277.19/3286.06 c GLOBAL bounds - >= 44657 @ 3237.27
3277.29/3286.10 c GLOBAL bounds - >= 44657 @ 3237.29
3277.29/3286.15 c GLOBAL bounds - >= 44657 @ 3237.31
3277.39/3286.20 c GLOBAL bounds - >= 44657 @ 3237.33
3277.39/3286.24 c GLOBAL bounds - >= 44657 @ 3237.35
3277.39/3286.29 c GLOBAL bounds - >= 44657 @ 3237.37
3277.48/3286.33 c GLOBAL bounds - >= 44657 @ 3237.39
3277.69/3286.52 c GLOBAL bounds - >= 44657 @ 3237.54
3277.89/3286.77 c GLOBAL bounds - >= 44657 @ 3237.78
3278.19/3287.00 c GLOBAL bounds - >= 44657 @ 3238.01
3278.19/3287.07 c GLOBAL bounds - >= 44657 @ 3238.06
3278.48/3287.36 c GLOBAL bounds - >= 44657 @ 3238.32
3287.96/3296.83 c #Conflicts: 63000 | #Constraints: 4924483
3287.96/3296.83 c GLOBAL bounds - >= 44657 @ 3247.75
3318.28/3327.28 c GLOBAL bounds - >= 44657 @ 3278.04
3319.38/3328.38 c GLOBAL bounds - >= 44657 @ 3279.12
3319.78/3328.70 c GLOBAL bounds - >= 44657 @ 3279.45
3319.78/3328.76 c GLOBAL bounds - >= 44657 @ 3279.49
3319.88/3328.81 c GLOBAL bounds - >= 44657 @ 3279.51
3319.88/3328.85 c GLOBAL bounds - >= 44657 @ 3279.53
3319.88/3328.89 c GLOBAL bounds - >= 44657 @ 3279.55
3319.98/3328.93 c GLOBAL bounds - >= 44657 @ 3279.57
3319.98/3328.98 c GLOBAL bounds - >= 44657 @ 3279.59
3320.08/3329.04 c GLOBAL bounds - >= 44657 @ 3279.62
3320.08/3329.08 c GLOBAL bounds - >= 44657 @ 3279.63
3320.18/3329.13 c GLOBAL bounds - >= 44657 @ 3279.66
3320.18/3329.17 c GLOBAL bounds - >= 44657 @ 3279.68
3320.27/3329.23 c GLOBAL bounds - >= 44657 @ 3279.71
3320.27/3329.27 c GLOBAL bounds - >= 44657 @ 3279.73
3320.37/3329.32 c GLOBAL bounds - >= 44657 @ 3279.75
3320.37/3329.36 c GLOBAL bounds - >= 44657 @ 3279.77
3320.47/3329.40 c GLOBAL bounds - >= 44657 @ 3279.79
3320.47/3329.44 c GLOBAL bounds - >= 44657 @ 3279.81
3320.57/3329.50 c GLOBAL bounds - >= 44657 @ 3279.84
3320.57/3329.54 c GLOBAL bounds - >= 44657 @ 3279.86
3320.67/3329.60 c GLOBAL bounds - >= 44657 @ 3279.89
3320.67/3329.64 c GLOBAL bounds - >= 44657 @ 3279.91
3320.78/3329.71 c GLOBAL bounds - >= 44657 @ 3279.94
3320.78/3329.75 c GLOBAL bounds - >= 44657 @ 3279.96
3320.87/3329.81 c GLOBAL bounds - >= 44657 @ 3279.99
3320.87/3329.85 c GLOBAL bounds - >= 44657 @ 3280.01
3320.97/3329.91 c GLOBAL bounds - >= 44657 @ 3280.04
3320.97/3329.99 c GLOBAL bounds - >= 44657 @ 3280.11
3321.08/3330.05 c GLOBAL bounds - >= 44657 @ 3280.17
3321.08/3330.10 c GLOBAL bounds - >= 44657 @ 3280.2
3321.48/3330.43 c GLOBAL bounds - >= 44657 @ 3280.53
3321.48/3330.46 c GLOBAL bounds - >= 44657 @ 3280.55
3321.57/3330.52 c GLOBAL bounds - >= 44657 @ 3280.6
3321.67/3330.67 c GLOBAL bounds - >= 44657 @ 3280.75
3324.07/3333.00 c GLOBAL bounds - >= 44657 @ 3283.08
3324.07/3333.05 c GLOBAL bounds - >= 44657 @ 3283.1
3324.07/3333.10 c GLOBAL bounds - >= 44657 @ 3283.13
3324.57/3333.50 c GLOBAL bounds - >= 44657 @ 3283.5
3344.21/3353.20 c #Conflicts: 64000 | #Constraints: 4975412
3344.21/3353.20 c GLOBAL bounds - >= 44657 @ 3303.06
3346.12/3355.14 c GLOBAL bounds - >= 44657 @ 3304.99
3346.31/3355.34 c GLOBAL bounds - >= 44657 @ 3305.19
3346.40/3355.40 c GLOBAL bounds - >= 44657 @ 3305.23
3346.40/3355.45 c GLOBAL bounds - >= 44657 @ 3305.25
3346.40/3355.49 c GLOBAL bounds - >= 44657 @ 3305.27
3346.50/3355.53 c GLOBAL bounds - >= 44657 @ 3305.29
3346.60/3355.60 c GLOBAL bounds - >= 44657 @ 3305.33
3346.60/3355.64 c GLOBAL bounds - >= 44657 @ 3305.35
3346.71/3355.70 c GLOBAL bounds - >= 44657 @ 3305.39
3346.71/3355.75 c GLOBAL bounds - >= 44657 @ 3305.41
3346.81/3355.81 c GLOBAL bounds - >= 44657 @ 3305.44
3346.81/3355.85 c GLOBAL bounds - >= 44657 @ 3305.46
3346.90/3355.91 c GLOBAL bounds - >= 44657 @ 3305.49
3346.90/3355.96 c GLOBAL bounds - >= 44657 @ 3305.51
3347.01/3356.01 c GLOBAL bounds - >= 44657 @ 3305.54
3347.01/3356.05 c GLOBAL bounds - >= 44657 @ 3305.56
3347.11/3356.10 c GLOBAL bounds - >= 44657 @ 3305.58
3347.11/3356.15 c GLOBAL bounds - >= 44657 @ 3305.6
3347.21/3356.24 c GLOBAL bounds - >= 44657 @ 3305.64
3347.21/3356.28 c GLOBAL bounds - >= 44657 @ 3305.66
3347.30/3356.34 c GLOBAL bounds - >= 44657 @ 3305.68
3347.30/3356.38 c GLOBAL bounds - >= 44657 @ 3305.71
3347.41/3356.47 c GLOBAL bounds - >= 44657 @ 3305.74
3347.50/3356.51 c GLOBAL bounds - >= 44657 @ 3305.77
3347.61/3356.60 c GLOBAL bounds - >= 44657 @ 3305.81
3347.61/3356.64 c GLOBAL bounds - >= 44657 @ 3305.84
3347.81/3356.83 c GLOBAL bounds - >= 44657 @ 3306.02
3350.40/3359.47 c GLOBAL bounds - >= 44657 @ 3308.62
3350.50/3359.54 c GLOBAL bounds - >= 44657 @ 3308.69
3350.89/3359.95 c GLOBAL bounds - >= 44657 @ 3309.09
3351.01/3360.05 c GLOBAL bounds - >= 44657 @ 3309.19
3351.80/3360.89 c GLOBAL bounds - >= 44657 @ 3310
3383.51/3392.65 c #Conflicts: 65000 | #Constraints: 5035808
3383.51/3392.65 c GLOBAL bounds - >= 44657 @ 3341.59
3391.09/3400.25 c GLOBAL bounds - >= 44657 @ 3349.16
3391.89/3401.08 c GLOBAL bounds - >= 44657 @ 3349.98
3392.09/3401.29 c GLOBAL bounds - >= 44657 @ 3350.19
3392.19/3401.36 c GLOBAL bounds - >= 44657 @ 3350.23
3392.29/3401.40 c GLOBAL bounds - >= 44657 @ 3350.25
3392.29/3401.44 c GLOBAL bounds - >= 44657 @ 3350.27
3392.29/3401.49 c GLOBAL bounds - >= 44657 @ 3350.28
3392.39/3401.53 c GLOBAL bounds - >= 44657 @ 3350.3
3392.39/3401.57 c GLOBAL bounds - >= 44657 @ 3350.31
3392.49/3401.61 c GLOBAL bounds - >= 44657 @ 3350.33
3392.49/3401.65 c GLOBAL bounds - >= 44657 @ 3350.34
3392.49/3401.69 c GLOBAL bounds - >= 44657 @ 3350.37
3392.59/3401.75 c GLOBAL bounds - >= 44657 @ 3350.4
3392.59/3401.79 c GLOBAL bounds - >= 44657 @ 3350.42
3392.69/3401.84 c GLOBAL bounds - >= 44657 @ 3350.44
3392.69/3401.88 c GLOBAL bounds - >= 44657 @ 3350.46
3392.79/3401.93 c GLOBAL bounds - >= 44657 @ 3350.48
3392.79/3401.98 c GLOBAL bounds - >= 44657 @ 3350.5
3392.89/3402.03 c GLOBAL bounds - >= 44657 @ 3350.52
3392.89/3402.07 c GLOBAL bounds - >= 44657 @ 3350.54
3392.99/3402.12 c GLOBAL bounds - >= 44657 @ 3350.56
3392.99/3402.17 c GLOBAL bounds - >= 44657 @ 3350.58
3393.09/3402.22 c GLOBAL bounds - >= 44657 @ 3350.6
3393.09/3402.26 c GLOBAL bounds - >= 44657 @ 3350.62
3393.19/3402.31 c GLOBAL bounds - >= 44657 @ 3350.64
3393.19/3402.36 c GLOBAL bounds - >= 44657 @ 3350.66
3393.28/3402.41 c GLOBAL bounds - >= 44657 @ 3350.69
3393.28/3402.45 c GLOBAL bounds - >= 44657 @ 3350.7
3393.39/3402.50 c GLOBAL bounds - >= 44657 @ 3350.72
3393.39/3402.55 c GLOBAL bounds - >= 44657 @ 3350.75
3393.49/3402.60 c GLOBAL bounds - >= 44657 @ 3350.77
3393.68/3402.89 c GLOBAL bounds - >= 44657 @ 3351.04
3393.78/3402.96 c GLOBAL bounds - >= 44657 @ 3351.11
3395.18/3404.33 c GLOBAL bounds - >= 44657 @ 3352.46
3395.68/3404.87 c GLOBAL bounds - >= 44657 @ 3352.99
3395.78/3404.94 c GLOBAL bounds - >= 44657 @ 3353.05
3395.88/3405.04 c GLOBAL bounds - >= 44657 @ 3353.15
3399.77/3408.97 c GLOBAL bounds - >= 44657 @ 3357.05
3462.10/3471.44 c #Conflicts: 66000 | #Constraints: 5106319
3462.10/3471.44 c GLOBAL bounds - >= 44657 @ 3419.19
3513.95/3523.40 c #Conflicts: 67000 | #Constraints: 5117655
3513.95/3523.40 c GLOBAL bounds - >= 44657 @ 3470.81
3600.01/3609.70 c #Conflicts: 68000 | #Constraints: 5129255
3600.01/3609.70 c cpu time 3556.33 s
3600.01/3609.70 c deterministic time 195915632 1.96e+08
3600.01/3609.70 c optimization time 3545.93 s
3600.01/3609.70 c total solve time 10.3281 s
3600.01/3609.70 c core-guided solve time 0 s
3600.01/3609.70 c propagation time 6.12898 s
3600.01/3609.70 c conflict analysis time 0.913008 s
3600.01/3609.70 c propagations 969573
3600.01/3609.70 c resolve steps 0
3600.01/3609.70 c decisions 41680454
3600.01/3609.70 c conflicts 470
3600.01/3609.70 c restarts 4
3600.01/3609.70 c inprocessing phases 0
3600.01/3609.70 c garbage collections 0 ,( -nan )
3600.01/3609.70 c input clauses 603 ,( 7.83 )
3600.01/3609.70 c input cardinalities 5002 ,( 64.99 )
3600.01/3609.70 c input general constraints 2092 ,( 27.18 )
3600.01/3609.70 c input average constraint length 483.53
3600.01/3609.70 c input average constraint degree 5251505.92
3600.01/3609.70 c learned clauses 451 ,( 80.97 )
3600.01/3609.70 c learned cardinalities 0 ,( 0.00 )
3600.01/3609.70 c learned general constraints 106 ,( 19.03 )
3600.01/3609.70 c learned average constraint length 542.88
3600.01/3609.70 c learned average constraint degree 1.87
3600.01/3609.70 c watched CF 32, 64, 128, Arb: 1104 , 0 , 0 , 0
3600.01/3609.70 c counting CF 32, 64, 128, Arb: 1067 , 28 , 0 , 0
3600.01/3609.70 c watched constraints 1104 ,( 50.23 )
3600.01/3609.70 c counting constraints 1094 ,( 49.77 )
3600.01/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 274407 , 2602 , 1093958 ,( 736371 , 357587 )
3600.01/3609.70 c gcd simplifications 2
3600.01/3609.70 c detected cardinalities 0
3600.01/3609.70 c weakened non-implied lits 0
3600.01/3609.70 c weakened non-implying lits 0
3600.01/3609.70 c original variables 40998
3600.01/3609.70 c clausal propagations 1269
3600.01/3609.70 c cardinality propagations 5141
3600.01/3609.70 c watched propagations 334109
3600.01/3609.70 c counting propagations 286597
3600.01/3609.70 c watch lookups 2266147
3600.01/3609.70 c watch backjump lookups 0
3600.01/3609.70 c watch checks 52574878
3600.01/3609.70 c propagation checks 55258007
3600.01/3609.70 c constraint additions 516064
3600.01/3609.70 c trail pops 42650497
3600.01/3609.70 c formula constraints 7000
3600.01/3609.70 c learned constraints 555
3600.01/3609.70 c bound constraints 0
3600.01/3609.70 c core-guided constraints 0
3600.01/3609.70 c encountered formula constraints 308
3600.01/3609.70 c encountered learned constraints 94
3600.01/3609.70 c encountered bound constraints 0
3600.01/3609.70 c encountered core-guided constraints 0
3600.01/3609.70 c LP total time 2.89711 s
3600.01/3609.70 c LP solve time 2.36 s
3600.01/3609.70 c LP constraints added 7002
3600.01/3609.70 c LP constraints removed 0
3600.01/3609.70 c LP pivots internal 7
3600.01/3609.70 c LP pivots root 4
3600.01/3609.70 c LP calls 545
3600.01/3609.70 c LP optimalities 545
3600.01/3609.70 c LP no pivot count 543
3600.01/3609.70 c LP infeasibilities 0
3600.01/3609.70 c LP valid Farkas constraints 0
3600.01/3609.70 c LP learned Farkas constraints 0
3600.01/3609.70 c LP basis resets 0
3600.01/3609.70 c LP cycling count 0
3600.01/3609.70 c LP singular count 0
3600.01/3609.70 c LP no primal count 0
3600.01/3609.70 c LP no farkas count 0
3600.01/3609.70 c LP other issue count 0
3600.01/3609.70 c LP Gomory cuts 2
3600.01/3609.70 c LP learned cuts 0
3600.01/3609.70 c LP deleted cuts 0
3600.01/3609.70 c LP encountered Gomory constraints 0
3600.01/3609.70 c LP encountered Farkas constraints 0
3600.01/3609.70 c LP encountered learned Farkas constraints 0
3600.01/3609.70 c CG auxiliary variables introduced 218
3600.01/3609.70 c CG solutions found 0
3600.01/3609.70 c CG cores constructed 555
3600.01/3609.70 c CG core cardinality constraints returned 0
3600.01/3609.70 c CG unit cores 0
3600.01/3609.70 c CG single cores 0
3600.01/3609.70 c CG blocks removed during cardinality reduction 0
3600.01/3609.70 c CG first core best 0
3600.01/3609.70 c CG decision core best 0
3600.01/3609.70 c CG core reduction tie 0
3600.01/3609.70 c CG core degree average 0.00
3600.01/3609.70 c CG core slack average 0.00
3600.01/3609.70 c CG core upper bound improvements 0
3600.01/3609.70 c STR number of successful calls 0
3600.01/3609.70 c STR number of unsuccessful calls 0
3600.01/3609.70 c STR number of inconclusive calls 0
3600.01/3609.70 c STR number of successful attempts 0
3600.01/3609.70 c STR number of unsuccessful attempts 0
3600.01/3609.70 c STR number of inconclusive attempts 0
3600.01/3609.70 c STR average degree increase per successful call inf
3600.01/3609.70 c STR average degree increase per successful attempt inf
3600.01/3609.70 c STR total number of conflicts for successful attempts 0
3600.01/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.70 c STR average number of conflicts per successful attempt inf
3600.01/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.70 c AVG.sumWPerc 51.91
3600.01/3609.70 c bigint constraints 28
3600.01/3609.70 s UNKNOWN
3600.01/3609.70 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: 63665 MiB (60714 MiB free)
memory of node 1: 64507 MiB (37472 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498752-1751402813/watcher-4498752-1751402813 -o /tmp/evaluation-result-4498752-1751402813/solver-4498752-1751402813 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751394141-56559 --watchdog 3760 run-opt.sh HOME/instance-4498752-1751402813.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=57604, runsolver pid=57601
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.23 4.11 4.10 5/271 57606
/proc/meminfo: memFree=100630776/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=85708 memory=38048 CPUtime=0.08 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 8868 0 0 0 6 2 0 0 20 0 1 0 55958982 87764992 9512 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 21427 9512 2304 1147 0 8854 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89900 KiB
Current children cumulated memory: 41120 KiB
[startup+0.205852 s]*
/proc/loadavg: 4.23 4.11 4.10 5/271 57606
/proc/meminfo: memFree=100843356/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=102236 memory=55032 CPUtime=0.19 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 12529 0 0 0 13 6 0 0 20 0 1 0 55958982 104689664 13758 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 25559 13758 2400 1147 0 12986 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 106428 KiB
Current children cumulated memory: 58104 KiB
[startup+0.305734 s]*
/proc/loadavg: 4.23 4.11 4.10 5/271 57606
/proc/meminfo: memFree=100842852/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=107596 memory=59896 CPUtime=0.29 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 13771 0 0 0 19 10 0 0 20 0 1 0 55958982 110178304 14974 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 26899 14974 2400 1147 0 14326 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 111788 KiB
Current children cumulated memory: 62968 KiB
[startup+0.700203 s]
/proc/loadavg: 4.23 4.11 4.10 5/271 57606
/proc/meminfo: memFree=107363708/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=140868 memory=90632 CPUtime=0.67 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 20041 0 0 0 50 17 0 0 20 0 1 0 55958982 144248832 22658 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 35217 22658 2400 1147 0 22644 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 145060 KiB
Current children cumulated memory: 93704 KiB
[startup+1.50021 s]
/proc/loadavg: 4.23 4.11 4.10 5/271 57606
/proc/meminfo: memFree=121066972/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=180012 memory=125196 CPUtime=1.47 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 27561 0 0 0 87 60 0 0 20 0 1 0 55958982 184332288 31299 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 45003 31299 2432 1147 0 32430 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 184204 KiB
Current children cumulated memory: 128268 KiB
[startup+3.10558 s]
/proc/loadavg: 4.21 4.11 4.10 5/270 57652
/proc/meminfo: memFree=126437868/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=260216 memory=202448 CPUtime=3.07 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 43834 0 0 0 227 80 0 0 20 0 1 0 55958982 266461184 50612 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 65054 50612 2432 1147 0 52481 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 264408 KiB
Current children cumulated memory: 205520 KiB
[startup+6.30018 s]
/proc/loadavg: 4.21 4.11 4.10 5/270 57652
/proc/meminfo: memFree=126116152/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=521292 memory=458192 CPUtime=6.26 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 97518 0 0 0 530 96 0 0 20 0 1 0 55958982 533803008 114548 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 130323 114548 2464 1147 0 117750 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 525484 KiB
Current children cumulated memory: 461264 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.11 4.10 5/270 57652
/proc/meminfo: memFree=125478216/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=711716 memory=577104 CPUtime=12.64 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 110967 0 0 0 1011 253 0 0 20 0 1 0 55958982 728797184 144276 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 177929 144276 2464 1147 0 165356 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 715908 KiB
Current children cumulated memory: 580176 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.09 5/270 57652
/proc/meminfo: memFree=124326288/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=1194532 memory=1053532 CPUtime=25.41 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 194193 0 0 0 2044 497 0 0 20 0 1 0 55958982 1223200768 263383 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 298633 263383 2464 1147 0 286060 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1198724 KiB
Current children cumulated memory: 1056604 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 57653
/proc/meminfo: memFree=122003548/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=2110724 memory=1977856 CPUtime=50.94 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 353612 0 0 0 4264 830 0 0 20 0 1 0 55958982 2161381376 494464 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 527681 494464 2464 1147 0 515108 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2114916 KiB
Current children cumulated memory: 1980928 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 57655
/proc/meminfo: memFree=118285900/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=3555308 memory=3329620 CPUtime=102.01 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 595801 0 0 0 9233 968 0 0 20 0 1 0 55958982 3640635392 832405 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 888827 832405 2464 1147 0 876254 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 3559500 KiB
Current children cumulated memory: 3332692 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 57657
/proc/meminfo: memFree=113142964/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=6202268 memory=5428640 CPUtime=161.85 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 984653 0 0 0 15068 1117 0 0 20 0 1 0 55958982 6351122432 1357160 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 1550567 1357160 2464 1147 0 1537994 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 6206460 KiB
Current children cumulated memory: 5431712 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/270 57660
/proc/meminfo: memFree=111000416/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=7077024 memory=5646876 CPUtime=221.68 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 1017396 0 0 0 20881 1287 0 0 20 0 1 0 55958982 7246872576 1411719 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 1769256 1411719 2464 1147 0 1756683 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
Current children cumulated memory: 25083560 KiB
[startup+3162.3 s]
/proc/loadavg: 1.12 1.17 1.93 2/247 57981
/proc/meminfo: memFree=103369112/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=29448044 memory=25080488 CPUtime=3153.81 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 4657954 0 0 0 311527 3854 0 0 20 0 1 0 55958982 30154797056 6270122 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 7362011 6270122 2464 1147 0 7349438 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 29452236 KiB
Current children cumulated memory: 25083560 KiB
[startup+3222.3 s]
/proc/loadavg: 1.08 1.16 1.88 2/246 57982
/proc/meminfo: memFree=103372516/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=29448044 memory=25085536 CPUtime=3213.66 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 4663250 0 0 0 317423 3943 0 0 20 0 1 0 55958982 30154797056 6271384 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 7362011 6271384 2464 1147 0 7349438 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 29452236 KiB
Current children cumulated memory: 25088608 KiB
[startup+3282.3 s]
/proc/loadavg: 1.13 1.16 1.83 2/246 57984
/proc/meminfo: memFree=103399924/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=29448044 memory=25085536 CPUtime=3273.5 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 4665924 0 0 0 323396 3954 0 0 20 0 1 0 55958982 30154797056 6271384 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 7362011 6271384 2464 1147 0 7349438 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 29452236 KiB
Current children cumulated memory: 25088608 KiB
[startup+3342.3 s]
/proc/loadavg: 1.05 1.12 1.78 2/246 57986
/proc/meminfo: memFree=103389108/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=29468620 memory=25105196 CPUtime=3333.35 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 4673736 0 0 0 329225 4110 0 0 20 0 1 0 55958982 30175866880 6276299 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 7367155 6276299 2464 1147 0 7354582 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 29472812 KiB
Current children cumulated memory: 25108268 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.13 1.73 2/246 57988
/proc/meminfo: memFree=103382148/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=29472996 memory=25115336 CPUtime=3393.19 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 4678565 0 0 0 335063 4256 0 0 20 0 1 0 55958982 30180347904 6278834 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 7368249 6278834 2464 1147 0 7355676 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 29477188 KiB
Current children cumulated memory: 25118408 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.12 1.69 2/247 57994
/proc/meminfo: memFree=103375960/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=29473624 memory=25121480 CPUtime=3453.03 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 4685608 0 0 0 341013 4290 0 0 20 0 1 0 55958982 30180990976 6280370 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 7368406 6280370 2464 1147 0 7355833 0
Current children cumulated CPU time: 3453.03 s
Current children cumulated vsize: 29477816 KiB
Current children cumulated memory: 25124552 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.11 1.65 2/247 58000
/proc/meminfo: memFree=103198724/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=29473624 memory=25289584 CPUtime=3512.85 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 4711437 0 0 0 346973 4312 0 0 20 0 1 0 55958982 30180990976 6322396 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 7368406 6322396 2464 1147 0 7355833 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 29477816 KiB
Current children cumulated memory: 25292656 KiB
[startup+3582.3 s]
/proc/loadavg: 1.12 1.12 1.62 2/247 58002
/proc/meminfo: memFree=102519208/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=30132076 memory=25975024 CPUtime=3572.69 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 4843290 0 0 0 352918 4351 0 0 20 0 1 0 55958982 30855245824 6493756 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 7533019 6493756 2464 1147 0 7520446 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 30136268 KiB
Current children cumulated memory: 25978096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 1.15 1.12 1.60 2/248 58005
/proc/meminfo: memFree=102267752/131249996 swapFree=33010684/33010684
[pid=57604] ppid=57601 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/57604/stat : 57604 (run-opt.sh) S 57601 57604 56549 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55958982 4292608 768 18446744073709551615 94067095953408 94067096847941 140736412332912 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94067097086992 94067097134736 94067126824960 140736412338541 140736412338664 140736412338664 140736412344266 0
/proc/57604/statm: 1048 768 704 219 0 110 0
[pid=57606] ppid=57604 vsize=30210924 memory=26218072 CPUtime=3600.01 cores=0,2
/proc/57606/stat : 57606 (roundingsat) R 57604 57604 56549 0 -1 4194304 4882408 0 0 0 355633 4368 0 0 20 0 1 0 55958982 30935986176 6554518 18446744073709551615 4227072 8923433 140732406595488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29495296 140732406598050 140732406598184 140732406598184 140732406603754 0
/proc/57606/statm: 7552731 6554518 2464 1147 0 7540158 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 30215116 KiB
Current children cumulated memory: 26221144 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.7 s]
# the end of solver process 57604 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002266 s
Sleeping 2 seconds
[startup+3610.62 s]
# the end of solver process 57606 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3556.47 s, system=44.4632 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 1.15 1.12 1.60 2/247 58005
/proc/meminfo: memFree=116754904/131249996 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.002266 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3610.6 s]
/proc/loadavg: 1.15 1.12 1.60 2/247 58005
/proc/meminfo: memFree=116754904/131249996 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.002266 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): 3610.62
CPU time (s): 3600.93
CPU user time (s): 3556.47
CPU system time (s): 44.4632
CPU usage (%): 99.7318
Max. virtual memory (cumulated for all children) (KiB): 30215116
Max. memory (cumulated for all children) (KiB): 26221144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.47
system time used= 44.4632
maximum resident set size= 26218328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4882692
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 444
involuntary context switches= 4727
# summary of solver processes directly reported to runsolver:
# pid: 57604,57606
# total CPU time (s): 3600.93
# total CPU user time (s): 3556.47
# total CPU system time (s): 44.4632
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02574 second user time and 15.905 second system time
The end
Begin job on nodeC021 at 2025-07-01 22:46:53
IDJOB=4498752
IDBENCH=148728
IDSOLVER=3350
FILE ID=nodeC021/4498752-1751402813
RUNJOBID= nodeC021-1751394141-56559
SLURM_JOB_ID= 9598260
Free space on /tmp= 432308 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__8.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498752-1751402813/watcher-4498752-1751402813 -o /tmp/evaluation-result-4498752-1751402813/solver-4498752-1751402813 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751394141-56559 --watchdog 3760 run-opt.sh HOME/instance-4498752-1751402813.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d50eed7fc92c8c8c776f016813e402ac
RANDOM SEED=58860636
nodeC021 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 : 3611.484
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.869
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.754
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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.200
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.768
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.769
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3596.312
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 100518792 kB
MemAvailable: 101604500 kB
Buffers: 3280 kB
Cached: 1890720 kB
SwapCached: 0 kB
Active: 27362928 kB
Inactive: 1620948 kB
Active(anon): 27107992 kB
Inactive(anon): 0 kB
Active(file): 254936 kB
Inactive(file): 1620948 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8772 kB
Writeback: 0 kB
AnonPages: 27091240 kB
Mapped: 118040 kB
Shmem: 18060 kB
KReclaimable: 97728 kB
Slab: 186964 kB
SReclaimable: 97728 kB
SUnreclaim: 89236 kB
KernelStack: 4416 kB
PageTables: 60184 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 29598696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4599808 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: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432276 MiB
End job on nodeC021 at 2025-07-01 23:47:04