0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
6.56/6.61 c #variables 214550 #constraints 1596582
6.56/6.61 c objective is ce32
6.56/6.69 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
6.56/6.69 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
6.56/6.69 c GLOBAL bounds - >= 0 @ 5.54572
6.87/6.90 c GLOBAL bounds - >= 0 @ 5.63655
6.87/6.90 c GLOBAL bounds - >= 4 @ 5.63846
6.87/6.94 c GLOBAL bounds - >= 4 @ 5.65814
7.07/7.14 c GLOBAL bounds - >= 4 @ 5.74152
7.07/7.18 c GLOBAL bounds - >= 4 @ 5.77155
7.27/7.39 c GLOBAL bounds - >= 4 @ 5.85274
7.36/7.40 c GLOBAL bounds - >= 4 @ 5.85635
7.57/7.60 c GLOBAL bounds - >= 4 @ 5.93375
7.57/7.62 c GLOBAL bounds - >= 4 @ 5.94358
7.76/7.82 c GLOBAL bounds - >= 4 @ 6.02167
7.76/7.83 c GLOBAL bounds - >= 4 @ 6.02666
7.97/8.04 c GLOBAL bounds - >= 4 @ 6.09861
7.97/8.08 c GLOBAL bounds - >= 4 @ 6.1193
8.16/8.28 c GLOBAL bounds - >= 4 @ 6.20883
8.26/8.30 c GLOBAL bounds - >= 4 @ 6.22127
8.46/8.51 c GLOBAL bounds - >= 4 @ 6.30219
8.46/8.53 c GLOBAL bounds - >= 4 @ 6.31496
8.66/8.74 c GLOBAL bounds - >= 4 @ 6.38321
8.66/8.77 c GLOBAL bounds - >= 4 @ 6.39743
8.86/8.98 c GLOBAL bounds - >= 4 @ 6.47428
8.96/9.00 c GLOBAL bounds - >= 4 @ 6.48978
9.16/9.22 c GLOBAL bounds - >= 4 @ 6.57075
9.36/9.42 c GLOBAL bounds - >= 4 @ 6.65503
9.56/9.64 c GLOBAL bounds - >= 4 @ 6.72699
9.76/9.86 c GLOBAL bounds - >= 4 @ 6.80879
9.96/10.08 c GLOBAL bounds - >= 4 @ 6.89095
10.16/10.29 c GLOBAL bounds - >= 4 @ 6.96985
10.36/10.49 c GLOBAL bounds - >= 4 @ 7.03564
10.46/10.51 c GLOBAL bounds - >= 1168 @ 7.05447
10.46/10.54 c GLOBAL bounds - >= 1168 @ 7.07516
10.46/10.56 c GLOBAL bounds - >= 1168 @ 7.08353
10.66/10.78 c GLOBAL bounds - >= 1168 @ 7.15224
10.76/10.80 c GLOBAL bounds - >= 1168 @ 7.16666
10.96/11.01 c GLOBAL bounds - >= 1168 @ 7.24017
10.96/11.04 c GLOBAL bounds - >= 1168 @ 7.2534
11.16/11.25 c GLOBAL bounds - >= 1168 @ 7.34063
11.16/11.27 c GLOBAL bounds - >= 1168 @ 7.35434
11.36/11.49 c GLOBAL bounds - >= 1168 @ 7.4327
11.45/11.54 c GLOBAL bounds - >= 1168 @ 7.46668
11.66/11.75 c GLOBAL bounds - >= 1168 @ 7.54118
11.66/11.77 c GLOBAL bounds - >= 1168 @ 7.55319
11.85/11.99 c GLOBAL bounds - >= 1168 @ 7.63906
11.96/12.02 c GLOBAL bounds - >= 1168 @ 7.65393
12.15/12.23 c GLOBAL bounds - >= 1168 @ 7.73592
12.15/12.26 c GLOBAL bounds - >= 1168 @ 7.74428
12.36/12.47 c GLOBAL bounds - >= 1168 @ 7.81963
12.36/12.48 c GLOBAL bounds - >= 1168 @ 7.82668
12.66/12.70 c GLOBAL bounds - >= 1168 @ 7.91216
12.66/12.71 c GLOBAL bounds - >= 1168 @ 7.91989
12.86/12.93 c GLOBAL bounds - >= 1168 @ 7.99603
13.06/13.14 c GLOBAL bounds - >= 1168 @ 8.08046
13.25/13.35 c GLOBAL bounds - >= 1168 @ 8.1644
13.45/13.56 c GLOBAL bounds - >= 1168 @ 8.24407
13.65/13.78 c GLOBAL bounds - >= 1168 @ 8.32317
13.85/13.99 c GLOBAL bounds - >= 1168 @ 8.39278
14.06/14.19 c GLOBAL bounds - >= 1168 @ 8.47873
14.35/14.41 c GLOBAL bounds - >= 1168 @ 8.58316
14.55/14.62 c GLOBAL bounds - >= 1168 @ 8.66857
14.75/14.83 c GLOBAL bounds - >= 1168 @ 8.76739
14.96/15.05 c GLOBAL bounds - >= 1168 @ 8.86295
15.15/15.26 c GLOBAL bounds - >= 1168 @ 8.95342
15.15/15.30 c GLOBAL bounds - >= 1751 @ 8.98169
15.25/15.32 c GLOBAL bounds - >= 1751 @ 9.00075
15.25/15.35 c GLOBAL bounds - >= 1751 @ 9.01029
15.25/15.37 c GLOBAL bounds - >= 1751 @ 9.02012
15.25/15.39 c GLOBAL bounds - >= 1751 @ 9.03168
15.35/15.41 c GLOBAL bounds - >= 1751 @ 9.04409
15.55/15.63 c GLOBAL bounds - >= 1751 @ 9.12269
15.55/15.64 c GLOBAL bounds - >= 1751 @ 9.13001
15.75/15.85 c GLOBAL bounds - >= 1751 @ 9.20821
15.75/15.88 c GLOBAL bounds - >= 1751 @ 9.22177
15.95/16.09 c GLOBAL bounds - >= 1751 @ 9.30009
16.05/16.11 c GLOBAL bounds - >= 1751 @ 9.31096
16.25/16.32 c GLOBAL bounds - >= 1751 @ 9.38662
16.25/16.36 c GLOBAL bounds - >= 1751 @ 9.39765
16.45/16.57 c GLOBAL bounds - >= 1751 @ 9.47456
16.45/16.59 c GLOBAL bounds - >= 1751 @ 9.49159
16.74/16.80 c GLOBAL bounds - >= 1751 @ 9.56427
16.74/16.83 c GLOBAL bounds - >= 1751 @ 9.57759
16.95/17.04 c GLOBAL bounds - >= 1751 @ 9.67407
16.95/17.07 c GLOBAL bounds - >= 1751 @ 9.68801
17.15/17.28 c GLOBAL bounds - >= 1751 @ 9.76437
17.25/17.30 c GLOBAL bounds - >= 1751 @ 9.77512
17.45/17.52 c GLOBAL bounds - >= 1751 @ 9.86212
17.45/17.54 c GLOBAL bounds - >= 1751 @ 9.87138
17.64/17.75 c GLOBAL bounds - >= 1751 @ 9.94869
17.85/17.96 c GLOBAL bounds - >= 1751 @ 10.0194
18.05/18.18 c GLOBAL bounds - >= 1751 @ 10.0996
18.34/18.40 c GLOBAL bounds - >= 1751 @ 10.188
18.54/18.62 c GLOBAL bounds - >= 1751 @ 10.2693
18.74/18.84 c GLOBAL bounds - >= 1751 @ 10.3624
18.94/19.06 c GLOBAL bounds - >= 1751 @ 10.4454
19.14/19.28 c GLOBAL bounds - >= 1751 @ 10.5356
19.54/19.61 c GLOBAL bounds - >= 1751 @ 10.7403
19.84/19.93 c GLOBAL bounds - >= 1751 @ 10.9074
20.14/20.23 c GLOBAL bounds - >= 1751 @ 11.07
20.34/20.49 c GLOBAL bounds - >= 1751 @ 11.1889
20.63/20.72 c GLOBAL bounds - >= 1751 @ 11.2938
20.63/20.76 c GLOBAL bounds - >= 2333 @ 11.3347
20.74/20.80 c GLOBAL bounds - >= 2333 @ 11.3574
20.94/21.01 c GLOBAL bounds - >= 2333 @ 11.4349
20.94/21.04 c GLOBAL bounds - >= 2333 @ 11.4465
21.14/21.25 c GLOBAL bounds - >= 2333 @ 11.5273
21.14/21.27 c GLOBAL bounds - >= 2333 @ 11.5375
21.33/21.49 c GLOBAL bounds - >= 2333 @ 11.6184
21.44/21.52 c GLOBAL bounds - >= 2333 @ 11.6329
21.64/21.73 c GLOBAL bounds - >= 2333 @ 11.716
21.64/21.76 c GLOBAL bounds - >= 2333 @ 11.7272
21.83/21.97 c GLOBAL bounds - >= 2333 @ 11.8088
21.94/22.00 c GLOBAL bounds - >= 2333 @ 11.8342
22.14/22.22 c GLOBAL bounds - >= 2333 @ 11.9138
22.14/22.25 c GLOBAL bounds - >= 2333 @ 11.936
22.34/22.46 c GLOBAL bounds - >= 2333 @ 12.0151
22.34/22.47 c GLOBAL bounds - >= 2333 @ 12.0165
22.53/22.68 c GLOBAL bounds - >= 2333 @ 12.0944
22.64/22.70 c GLOBAL bounds - >= 2333 @ 12.1047
22.83/22.92 c GLOBAL bounds - >= 2333 @ 12.1874
22.83/22.92 c GLOBAL bounds - >= 2333 @ 12.1896
23.04/23.13 c GLOBAL bounds - >= 2333 @ 12.2762
23.24/23.34 c GLOBAL bounds - >= 2333 @ 12.3569
23.43/23.56 c GLOBAL bounds - >= 2333 @ 12.4265
23.63/23.79 c GLOBAL bounds - >= 2333 @ 12.5094
23.93/24.03 c GLOBAL bounds - >= 2333 @ 12.6312
24.13/24.28 c GLOBAL bounds - >= 2333 @ 12.742
24.43/24.52 c GLOBAL bounds - >= 2333 @ 12.8566
24.53/24.64 c GLOBAL bounds - >= 3497 @ 12.9626
24.63/24.72 c GLOBAL bounds - >= 3497 @ 13.0346
24.63/24.74 c GLOBAL bounds - >= 3497 @ 13.0449
24.84/24.95 c GLOBAL bounds - >= 3497 @ 13.1136
24.84/24.98 c GLOBAL bounds - >= 3497 @ 13.1264
25.03/25.19 c GLOBAL bounds - >= 3497 @ 13.1968
25.12/25.22 c GLOBAL bounds - >= 3497 @ 13.2132
25.33/25.43 c GLOBAL bounds - >= 3497 @ 13.2955
25.33/25.45 c GLOBAL bounds - >= 3497 @ 13.3057
25.53/25.67 c GLOBAL bounds - >= 3497 @ 13.3847
25.62/25.71 c GLOBAL bounds - >= 3497 @ 13.4109
25.83/25.92 c GLOBAL bounds - >= 3497 @ 13.4906
25.83/25.95 c GLOBAL bounds - >= 3497 @ 13.5027
26.03/26.17 c GLOBAL bounds - >= 3497 @ 13.5862
26.13/26.20 c GLOBAL bounds - >= 3497 @ 13.6032
26.32/26.41 c GLOBAL bounds - >= 3497 @ 13.6791
26.32/26.49 c GLOBAL bounds - >= 3497 @ 13.7278
26.62/26.75 c GLOBAL bounds - >= 3497 @ 13.8209
26.72/26.80 c GLOBAL bounds - >= 3497 @ 13.8394
26.93/27.01 c GLOBAL bounds - >= 3497 @ 13.9223
26.93/27.04 c GLOBAL bounds - >= 3497 @ 13.9335
27.12/27.25 c GLOBAL bounds - >= 3497 @ 14.0324
27.33/27.46 c GLOBAL bounds - >= 3497 @ 14.1082
27.52/27.69 c GLOBAL bounds - >= 3497 @ 14.1909
27.82/27.91 c GLOBAL bounds - >= 3497 @ 14.2887
28.03/28.14 c GLOBAL bounds - >= 3497 @ 14.3784
28.22/28.36 c GLOBAL bounds - >= 3497 @ 14.4665
28.43/28.58 c GLOBAL bounds - >= 3497 @ 14.5554
28.72/28.81 c GLOBAL bounds - >= 3497 @ 14.653
28.93/29.03 c GLOBAL bounds - >= 3497 @ 14.7405
29.22/29.30 c GLOBAL bounds - >= 3497 @ 14.8634
29.43/29.55 c GLOBAL bounds - >= 3497 @ 14.9913
29.52/29.62 c GLOBAL bounds - >= 4079 @ 15.0551
29.52/29.66 c GLOBAL bounds - >= 4079 @ 15.0811
29.52/29.68 c GLOBAL bounds - >= 4079 @ 15.0883
29.72/29.89 c GLOBAL bounds - >= 4079 @ 15.1558
29.82/29.92 c GLOBAL bounds - >= 4079 @ 15.1715
30.02/30.13 c GLOBAL bounds - >= 4079 @ 15.2528
30.02/30.16 c GLOBAL bounds - >= 4079 @ 15.2709
30.22/30.37 c GLOBAL bounds - >= 4079 @ 15.3585
30.22/30.39 c GLOBAL bounds - >= 4079 @ 15.3719
30.52/30.60 c GLOBAL bounds - >= 4079 @ 15.4521
30.52/30.63 c GLOBAL bounds - >= 4079 @ 15.4671
30.72/30.84 c GLOBAL bounds - >= 4079 @ 15.5536
30.72/30.87 c GLOBAL bounds - >= 4079 @ 15.5724
30.92/31.08 c GLOBAL bounds - >= 4079 @ 15.6467
31.02/31.10 c GLOBAL bounds - >= 4079 @ 15.6626
31.22/31.31 c GLOBAL bounds - >= 4079 @ 15.7373
31.22/31.33 c GLOBAL bounds - >= 4079 @ 15.7471
31.42/31.55 c GLOBAL bounds - >= 4079 @ 15.8309
31.42/31.58 c GLOBAL bounds - >= 4079 @ 15.8517
31.72/31.80 c GLOBAL bounds - >= 4079 @ 15.9253
31.72/31.82 c GLOBAL bounds - >= 4079 @ 15.9392
31.92/32.04 c GLOBAL bounds - >= 4079 @ 16.0264
32.12/32.25 c GLOBAL bounds - >= 4079 @ 16.1009
32.32/32.46 c GLOBAL bounds - >= 4079 @ 16.1888
32.51/32.69 c GLOBAL bounds - >= 4079 @ 16.2748
32.81/32.91 c GLOBAL bounds - >= 4079 @ 16.3777
33.02/33.15 c GLOBAL bounds - >= 4079 @ 16.4814
33.21/33.39 c GLOBAL bounds - >= 4079 @ 16.5793
65.64/65.85 c #Conflicts: 1000 | #Constraints: 1273
65.64/65.85 c #Conflicts: 2000 | #Constraints: 2273
65.64/65.85 c INPROCESSING
65.64/65.85 c GARBAGE COLLECT
65.64/65.85 c #Conflicts: 3000 | #Constraints: 2237
65.64/65.85 c #Conflicts: 4000 | #Constraints: 3237
65.64/65.85 c INPROCESSING
65.64/65.85 c GARBAGE COLLECT
65.64/65.85 c #Conflicts: 5000 | #Constraints: 2646
65.64/65.85 c #Conflicts: 6000 | #Constraints: 3646
65.64/65.85 c #Conflicts: 7000 | #Constraints: 4646
65.64/65.85 c GLOBAL bounds - >= 4663 @ 48.6372
65.73/65.93 c GLOBAL bounds - >= 4663 @ 48.7018
65.73/65.96 c GLOBAL bounds - >= 4663 @ 48.7159
65.73/65.99 c GLOBAL bounds - >= 4663 @ 48.7365
65.84/66.02 c GLOBAL bounds - >= 4663 @ 48.7487
65.84/66.04 c GLOBAL bounds - >= 4663 @ 48.7645
66.04/66.26 c GLOBAL bounds - >= 4663 @ 48.8375
66.04/66.27 c GLOBAL bounds - >= 4663 @ 48.8475
66.24/66.49 c GLOBAL bounds - >= 4663 @ 48.9243
66.33/66.50 c GLOBAL bounds - >= 4663 @ 48.9315
66.53/66.71 c GLOBAL bounds - >= 4663 @ 49.0173
66.53/66.74 c GLOBAL bounds - >= 4663 @ 49.0253
66.74/66.95 c GLOBAL bounds - >= 4663 @ 49.1073
66.74/66.98 c GLOBAL bounds - >= 4663 @ 49.1204
66.94/67.19 c GLOBAL bounds - >= 4663 @ 49.1942
67.03/67.21 c GLOBAL bounds - >= 4663 @ 49.2062
67.24/67.43 c GLOBAL bounds - >= 4663 @ 49.2737
67.24/67.45 c GLOBAL bounds - >= 4663 @ 49.2841
67.43/67.66 c GLOBAL bounds - >= 4663 @ 49.3637
67.43/67.69 c GLOBAL bounds - >= 4663 @ 49.3739
67.73/67.90 c GLOBAL bounds - >= 4663 @ 49.4518
67.73/67.92 c GLOBAL bounds - >= 4663 @ 49.4657
67.94/68.14 c GLOBAL bounds - >= 4663 @ 49.5504
67.94/68.16 c GLOBAL bounds - >= 4663 @ 49.5651
68.14/68.38 c GLOBAL bounds - >= 4663 @ 49.6562
68.33/68.59 c GLOBAL bounds - >= 4663 @ 49.7303
68.63/68.80 c GLOBAL bounds - >= 4663 @ 49.8178
68.84/69.02 c GLOBAL bounds - >= 4663 @ 49.9
69.03/69.23 c GLOBAL bounds - >= 4663 @ 49.9799
69.23/69.45 c GLOBAL bounds - >= 4663 @ 50.0587
69.43/69.66 c GLOBAL bounds - >= 4663 @ 50.1411
69.73/69.91 c GLOBAL bounds - >= 4663 @ 50.2584
70.12/70.39 c GLOBAL bounds - >= 4663 @ 50.5974
71.52/71.75 c GLOBAL bounds - >= 4663 @ 51.68
72.23/72.42 c #Conflicts: 8000 | #Constraints: 5701
72.23/72.42 c GLOBAL bounds - >= 4663 @ 52.2045
72.42/72.67 c GLOBAL bounds - >= 4663 @ 52.3202
72.72/72.92 c GLOBAL bounds - >= 4663 @ 52.4262
75.22/75.47 c GLOBAL bounds - >= 5244 @ 54.9195
75.32/75.50 c GLOBAL bounds - >= 5244 @ 54.9464
75.32/75.52 c GLOBAL bounds - >= 5244 @ 54.9591
75.32/75.55 c GLOBAL bounds - >= 5244 @ 54.9701
75.32/75.57 c GLOBAL bounds - >= 5244 @ 54.9842
75.52/75.78 c GLOBAL bounds - >= 5244 @ 55.0652
75.62/75.81 c GLOBAL bounds - >= 5244 @ 55.0771
75.82/76.02 c GLOBAL bounds - >= 5244 @ 55.1564
75.82/76.04 c GLOBAL bounds - >= 5244 @ 55.1671
76.02/76.25 c GLOBAL bounds - >= 5244 @ 55.2371
76.02/76.28 c GLOBAL bounds - >= 5244 @ 55.2524
76.21/76.49 c GLOBAL bounds - >= 5244 @ 55.3192
76.32/76.52 c GLOBAL bounds - >= 5244 @ 55.3353
76.52/76.74 c GLOBAL bounds - >= 5244 @ 55.4189
76.52/76.76 c GLOBAL bounds - >= 5244 @ 55.4328
76.71/76.98 c GLOBAL bounds - >= 5244 @ 55.5182
76.82/77.01 c GLOBAL bounds - >= 5244 @ 55.5322
77.01/77.22 c GLOBAL bounds - >= 5244 @ 55.6193
77.01/77.25 c GLOBAL bounds - >= 5244 @ 55.6327
77.21/77.46 c GLOBAL bounds - >= 5244 @ 55.7142
77.31/77.52 c GLOBAL bounds - >= 5244 @ 55.7405
77.51/77.73 c GLOBAL bounds - >= 5244 @ 55.8201
77.51/77.76 c GLOBAL bounds - >= 5244 @ 55.8342
77.71/77.97 c GLOBAL bounds - >= 5244 @ 55.9018
77.91/78.18 c GLOBAL bounds - >= 5244 @ 55.977
78.21/78.40 c GLOBAL bounds - >= 5244 @ 56.0572
78.41/78.61 c GLOBAL bounds - >= 5244 @ 56.1406
78.62/78.82 c GLOBAL bounds - >= 5244 @ 56.209
78.82/79.04 c GLOBAL bounds - >= 5244 @ 56.294
79.01/79.25 c GLOBAL bounds - >= 5244 @ 56.3743
79.21/79.47 c GLOBAL bounds - >= 5244 @ 56.4528
79.51/79.71 c GLOBAL bounds - >= 5244 @ 56.554
79.82/80.01 c GLOBAL bounds - >= 5244 @ 56.7335
80.01/80.25 c GLOBAL bounds - >= 5244 @ 56.8422
80.91/81.18 c GLOBAL bounds - >= 5246 @ 57.7257
81.00/81.22 c GLOBAL bounds - >= 5246 @ 57.7455
81.00/81.24 c GLOBAL bounds - >= 5246 @ 57.7556
81.00/81.26 c GLOBAL bounds - >= 5246 @ 57.7696
81.11/81.30 c GLOBAL bounds - >= 5246 @ 57.7931
81.30/81.51 c GLOBAL bounds - >= 5246 @ 57.872
81.30/81.53 c GLOBAL bounds - >= 5246 @ 57.8833
81.50/81.74 c GLOBAL bounds - >= 5246 @ 57.9625
81.50/81.77 c GLOBAL bounds - >= 5246 @ 57.9766
81.70/81.98 c GLOBAL bounds - >= 5246 @ 58.0557
81.81/82.01 c GLOBAL bounds - >= 5246 @ 58.0732
82.01/82.22 c GLOBAL bounds - >= 5246 @ 58.1526
82.01/82.25 c GLOBAL bounds - >= 5246 @ 58.1651
82.20/82.46 c GLOBAL bounds - >= 5246 @ 58.2322
82.20/82.49 c GLOBAL bounds - >= 5246 @ 58.2429
82.50/82.70 c GLOBAL bounds - >= 5246 @ 58.3172
82.50/82.73 c GLOBAL bounds - >= 5246 @ 58.336
82.71/82.95 c GLOBAL bounds - >= 5246 @ 58.4171
82.71/82.98 c GLOBAL bounds - >= 5246 @ 58.4359
82.91/83.19 c GLOBAL bounds - >= 5246 @ 58.5164
83.00/83.22 c GLOBAL bounds - >= 5246 @ 58.5324
83.20/83.44 c GLOBAL bounds - >= 5246 @ 58.6167
83.30/83.51 c GLOBAL bounds - >= 5246 @ 58.6508
83.50/83.72 c GLOBAL bounds - >= 5246 @ 58.7267
83.70/83.93 c GLOBAL bounds - >= 5246 @ 58.8094
83.91/84.15 c GLOBAL bounds - >= 5246 @ 58.8946
84.10/84.37 c GLOBAL bounds - >= 5246 @ 58.9887
84.30/84.59 c GLOBAL bounds - >= 5246 @ 59.0602
84.60/84.80 c GLOBAL bounds - >= 5246 @ 59.1282
84.80/85.02 c GLOBAL bounds - >= 5246 @ 59.2087
85.00/85.23 c GLOBAL bounds - >= 5246 @ 59.2856
85.20/85.47 c GLOBAL bounds - >= 5246 @ 59.391
85.40/85.69 c GLOBAL bounds - >= 5246 @ 59.4807
85.70/85.91 c GLOBAL bounds - >= 5246 @ 59.5794
85.90/86.14 c GLOBAL bounds - >= 5246 @ 59.6544
85.90/86.14 c GLOBAL bounds - >= 5246 @ 59.6551
85.90/86.16 c GLOBAL bounds - >= 5246 @ 59.6647
85.90/86.19 c GLOBAL bounds - >= 5246 @ 59.678
86.00/86.22 c GLOBAL bounds - >= 5246 @ 59.6945
86.00/86.24 c GLOBAL bounds - >= 5246 @ 59.7045
86.00/86.27 c GLOBAL bounds - >= 5246 @ 59.7238
86.20/86.48 c GLOBAL bounds - >= 5246 @ 59.8063
86.30/86.51 c GLOBAL bounds - >= 5246 @ 59.8184
86.50/86.72 c GLOBAL bounds - >= 5246 @ 59.8862
86.50/86.74 c GLOBAL bounds - >= 5246 @ 59.903
86.69/86.95 c GLOBAL bounds - >= 5246 @ 59.9762
86.69/86.98 c GLOBAL bounds - >= 5246 @ 59.9924
86.90/87.19 c GLOBAL bounds - >= 5246 @ 60.0622
86.99/87.22 c GLOBAL bounds - >= 5246 @ 60.077
87.19/87.43 c GLOBAL bounds - >= 5246 @ 60.1587
87.19/87.46 c GLOBAL bounds - >= 5246 @ 60.1795
87.39/87.67 c GLOBAL bounds - >= 5246 @ 60.252
87.39/87.69 c GLOBAL bounds - >= 5246 @ 60.2678
87.69/87.90 c GLOBAL bounds - >= 5246 @ 60.3326
87.69/87.93 c GLOBAL bounds - >= 5246 @ 60.3491
87.90/88.14 c GLOBAL bounds - >= 5246 @ 60.4266
87.90/88.17 c GLOBAL bounds - >= 5246 @ 60.4457
88.10/88.38 c GLOBAL bounds - >= 5246 @ 60.5224
88.20/88.40 c GLOBAL bounds - >= 5246 @ 60.5351
88.39/88.61 c GLOBAL bounds - >= 5246 @ 60.6017
88.59/88.82 c GLOBAL bounds - >= 5246 @ 60.6853
88.80/89.04 c GLOBAL bounds - >= 5246 @ 60.7716
88.99/89.26 c GLOBAL bounds - >= 5246 @ 60.8531
89.19/89.47 c GLOBAL bounds - >= 5246 @ 60.9304
89.40/89.69 c GLOBAL bounds - >= 5246 @ 61.0172
89.69/89.91 c GLOBAL bounds - >= 5246 @ 61.1032
89.99/90.20 c GLOBAL bounds - >= 5246 @ 61.2551
90.19/90.48 c GLOBAL bounds - >= 5246 @ 61.4015
90.80/91.03 c GLOBAL bounds - >= 5246 @ 61.8139
91.09/91.32 c GLOBAL bounds - >= 5246 @ 61.9827
91.09/91.32 c GLOBAL bounds - >= 5246 @ 61.9835
91.09/91.35 c GLOBAL bounds - >= 5246 @ 61.9995
91.09/91.38 c GLOBAL bounds - >= 5246 @ 62.0081
91.19/91.40 c GLOBAL bounds - >= 5246 @ 62.0214
91.19/91.43 c GLOBAL bounds - >= 5246 @ 62.0337
91.19/91.45 c GLOBAL bounds - >= 5246 @ 62.0488
91.39/91.67 c GLOBAL bounds - >= 5246 @ 62.1294
91.49/91.70 c GLOBAL bounds - >= 5246 @ 62.1436
91.69/91.91 c GLOBAL bounds - >= 5246 @ 62.2206
91.69/91.94 c GLOBAL bounds - >= 5246 @ 62.2346
91.89/92.15 c GLOBAL bounds - >= 5246 @ 62.3076
91.89/92.17 c GLOBAL bounds - >= 5246 @ 62.3177
92.09/92.38 c GLOBAL bounds - >= 5246 @ 62.3844
92.19/92.41 c GLOBAL bounds - >= 5246 @ 62.3971
92.39/92.62 c GLOBAL bounds - >= 5246 @ 62.4801
92.39/92.65 c GLOBAL bounds - >= 5246 @ 62.4884
92.58/92.86 c GLOBAL bounds - >= 5246 @ 62.569
92.58/92.88 c GLOBAL bounds - >= 5246 @ 62.5837
92.79/93.09 c GLOBAL bounds - >= 5246 @ 62.6576
92.89/93.12 c GLOBAL bounds - >= 5246 @ 62.67
93.08/93.33 c GLOBAL bounds - >= 5246 @ 62.7384
93.08/93.36 c GLOBAL bounds - >= 5246 @ 62.7483
93.28/93.58 c GLOBAL bounds - >= 5246 @ 62.83
93.39/93.61 c GLOBAL bounds - >= 5246 @ 62.8468
93.58/93.82 c GLOBAL bounds - >= 5246 @ 62.9195
93.79/94.04 c GLOBAL bounds - >= 5246 @ 63.0139
93.98/94.27 c GLOBAL bounds - >= 5246 @ 63.0964
94.19/94.49 c GLOBAL bounds - >= 5246 @ 63.1789
94.48/94.72 c GLOBAL bounds - >= 5246 @ 63.2773
94.68/94.95 c GLOBAL bounds - >= 5246 @ 63.3573
94.89/95.19 c GLOBAL bounds - >= 5246 @ 63.4499
95.18/95.43 c GLOBAL bounds - >= 5246 @ 63.5475
95.48/95.74 c GLOBAL bounds - >= 5246 @ 63.7215
96.58/96.84 c #Conflicts: 9000 | #Constraints: 6814
96.58/96.84 c GLOBAL bounds - >= 5246 @ 64.6195
97.27/97.51 c GLOBAL bounds - >= 5246 @ 65.134
97.48/97.76 c GLOBAL bounds - >= 5246 @ 65.2401
97.78/98.05 c GLOBAL bounds - >= 5246 @ 65.3909
97.97/98.28 c GLOBAL bounds - >= 5246 @ 65.4948
98.28/98.57 c GLOBAL bounds - >= 5246 @ 65.6648
99.67/99.97 c INPROCESSING
99.67/99.97 c GARBAGE COLLECT
99.67/99.97 c GLOBAL bounds - >= 5247 @ 67.0162
99.67/100.00 c GLOBAL bounds - >= 5247 @ 67.0286
99.78/100.02 c GLOBAL bounds - >= 5247 @ 67.0401
99.78/100.04 c GLOBAL bounds - >= 5247 @ 67.0476
99.78/100.07 c GLOBAL bounds - >= 5247 @ 67.057
99.78/100.09 c GLOBAL bounds - >= 5247 @ 67.0689
99.87/100.12 c GLOBAL bounds - >= 5247 @ 67.0802
100.27/100.57 c GLOBAL bounds - >= 5247 @ 67.3901
100.27/100.59 c GLOBAL bounds - >= 5247 @ 67.3977
100.57/100.80 c GLOBAL bounds - >= 5247 @ 67.4676
100.57/100.82 c GLOBAL bounds - >= 5247 @ 67.4796
100.78/101.03 c GLOBAL bounds - >= 5247 @ 67.5517
100.78/101.06 c GLOBAL bounds - >= 5247 @ 67.5628
100.97/101.26 c GLOBAL bounds - >= 5247 @ 67.6444
100.97/101.29 c GLOBAL bounds - >= 5247 @ 67.6543
101.26/101.50 c GLOBAL bounds - >= 5247 @ 67.7301
101.26/101.52 c GLOBAL bounds - >= 5247 @ 67.7413
101.47/101.74 c GLOBAL bounds - >= 5247 @ 67.831
101.47/101.76 c GLOBAL bounds - >= 5247 @ 67.8479
101.67/101.97 c GLOBAL bounds - >= 5247 @ 67.9371
101.67/102.00 c GLOBAL bounds - >= 5247 @ 67.948
101.97/102.21 c GLOBAL bounds - >= 5247 @ 68.026
101.97/102.23 c GLOBAL bounds - >= 5247 @ 68.0342
102.16/102.44 c GLOBAL bounds - >= 5247 @ 68.1258
102.16/102.47 c GLOBAL bounds - >= 5247 @ 68.1404
102.37/102.68 c GLOBAL bounds - >= 5247 @ 68.2273
102.67/102.91 c GLOBAL bounds - >= 5247 @ 68.3195
102.87/103.13 c GLOBAL bounds - >= 5247 @ 68.4114
103.07/103.35 c GLOBAL bounds - >= 5247 @ 68.4901
103.26/103.57 c GLOBAL bounds - >= 5247 @ 68.579
103.57/103.81 c GLOBAL bounds - >= 5247 @ 68.6765
103.76/104.04 c GLOBAL bounds - >= 5247 @ 68.7869
103.97/104.28 c GLOBAL bounds - >= 5247 @ 68.8872
104.26/104.52 c GLOBAL bounds - >= 5247 @ 69.007
104.46/104.78 c GLOBAL bounds - >= 5247 @ 69.1424
104.77/105.07 c GLOBAL bounds - >= 5247 @ 69.2804
105.76/106.05 c GLOBAL bounds - >= 5247 @ 70.1135
106.16/106.45 c GLOBAL bounds - >= 5247 @ 70.3627
106.46/106.70 c GLOBAL bounds - >= 5247 @ 70.4824
106.87/107.19 c GLOBAL bounds - >= 5247 @ 70.8328
106.95/107.24 c GLOBAL bounds - >= 5248 @ 70.8876
106.95/107.27 c GLOBAL bounds - >= 5248 @ 70.9073
107.05/107.30 c GLOBAL bounds - >= 5248 @ 70.9183
107.05/107.32 c GLOBAL bounds - >= 5248 @ 70.9256
107.05/107.34 c GLOBAL bounds - >= 5248 @ 70.9347
107.05/107.37 c GLOBAL bounds - >= 5248 @ 70.9473
107.05/107.39 c GLOBAL bounds - >= 5248 @ 70.9613
107.16/107.41 c GLOBAL bounds - >= 5248 @ 70.9731
107.36/107.65 c GLOBAL bounds - >= 5248 @ 71.0513
107.36/107.67 c GLOBAL bounds - >= 5248 @ 71.064
107.55/107.88 c GLOBAL bounds - >= 5248 @ 71.1434
107.66/107.91 c GLOBAL bounds - >= 5248 @ 71.1563
107.86/108.13 c GLOBAL bounds - >= 5248 @ 71.2435
107.86/108.16 c GLOBAL bounds - >= 5248 @ 71.2566
108.16/108.40 c GLOBAL bounds - >= 5248 @ 71.3759
108.16/108.43 c GLOBAL bounds - >= 5248 @ 71.3911
108.35/108.64 c GLOBAL bounds - >= 5248 @ 71.4755
108.35/108.66 c GLOBAL bounds - >= 5248 @ 71.486
108.55/108.87 c GLOBAL bounds - >= 5248 @ 71.5564
108.65/108.90 c GLOBAL bounds - >= 5248 @ 71.5694
108.86/109.11 c GLOBAL bounds - >= 5248 @ 71.6471
108.86/109.14 c GLOBAL bounds - >= 5248 @ 71.6621
109.05/109.35 c GLOBAL bounds - >= 5248 @ 71.7391
109.05/109.38 c GLOBAL bounds - >= 5248 @ 71.7539
109.25/109.59 c GLOBAL bounds - >= 5248 @ 71.8221
109.35/109.64 c GLOBAL bounds - >= 5248 @ 71.8437
109.55/109.85 c GLOBAL bounds - >= 5248 @ 71.9199
109.75/110.07 c GLOBAL bounds - >= 5248 @ 72.0032
109.95/110.29 c GLOBAL bounds - >= 5248 @ 72.0944
110.25/110.52 c GLOBAL bounds - >= 5248 @ 72.1884
110.45/110.76 c GLOBAL bounds - >= 5248 @ 72.2933
110.65/110.99 c GLOBAL bounds - >= 5248 @ 72.3909
110.95/111.25 c GLOBAL bounds - >= 5248 @ 72.5036
111.35/111.61 c GLOBAL bounds - >= 5248 @ 72.7419
177.79/178.22 c #Conflicts: 10000 | #Constraints: 1978
177.79/178.22 c #Conflicts: 11000 | #Constraints: 2978
177.79/178.22 c #Conflicts: 12000 | #Constraints: 3978
177.79/178.22 c INPROCESSING
177.79/178.22 c GARBAGE COLLECT
177.79/178.22 c #Conflicts: 13000 | #Constraints: 2815
177.79/178.22 c #Conflicts: 14000 | #Constraints: 3815
177.79/178.22 c #Conflicts: 15000 | #Constraints: 4815
177.79/178.22 c #Conflicts: 16000 | #Constraints: 5815
177.79/178.22 c INPROCESSING
177.79/178.22 c GARBAGE COLLECT
177.79/178.22 c #Conflicts: 17000 | #Constraints: 3904
177.79/178.22 c #Conflicts: 18000 | #Constraints: 4904
177.79/178.22 c #Conflicts: 19000 | #Constraints: 5904
177.79/178.22 c #Conflicts: 20000 | #Constraints: 6904
177.79/178.22 c INPROCESSING
177.79/178.22 c GARBAGE COLLECT
177.79/178.22 c #Conflicts: 21000 | #Constraints: 4499
177.79/178.22 c #Conflicts: 22000 | #Constraints: 5499
177.79/178.22 c GLOBAL bounds - >= 5249 @ 139.006
177.79/178.25 c GLOBAL bounds - >= 5249 @ 139.033
177.79/178.27 c GLOBAL bounds - >= 5249 @ 139.044
177.89/178.30 c GLOBAL bounds - >= 5249 @ 139.057
177.89/178.32 c GLOBAL bounds - >= 5249 @ 139.069
178.39/178.86 c GLOBAL bounds - >= 5249 @ 139.454
178.39/178.89 c GLOBAL bounds - >= 5249 @ 139.467
178.59/179.10 c GLOBAL bounds - >= 5249 @ 139.539
178.69/179.12 c GLOBAL bounds - >= 5249 @ 139.555
178.88/179.34 c GLOBAL bounds - >= 5249 @ 139.635
178.88/179.36 c GLOBAL bounds - >= 5249 @ 139.654
179.09/179.57 c GLOBAL bounds - >= 5249 @ 139.727
179.18/179.60 c GLOBAL bounds - >= 5249 @ 139.741
179.38/179.81 c GLOBAL bounds - >= 5249 @ 139.821
179.38/179.84 c GLOBAL bounds - >= 5249 @ 139.837
179.59/180.05 c GLOBAL bounds - >= 5249 @ 139.908
179.59/180.07 c GLOBAL bounds - >= 5249 @ 139.923
179.79/180.28 c GLOBAL bounds - >= 5249 @ 140.001
179.89/180.31 c GLOBAL bounds - >= 5249 @ 140.017
180.08/180.52 c GLOBAL bounds - >= 5249 @ 140.094
180.08/180.55 c GLOBAL bounds - >= 5249 @ 140.105
180.28/180.76 c GLOBAL bounds - >= 5249 @ 140.184
180.28/180.79 c GLOBAL bounds - >= 5249 @ 140.193
180.59/181.00 c GLOBAL bounds - >= 5249 @ 140.275
180.78/181.21 c GLOBAL bounds - >= 5249 @ 140.355
180.98/181.43 c GLOBAL bounds - >= 5249 @ 140.448
181.18/181.66 c GLOBAL bounds - >= 5249 @ 140.534
181.38/181.88 c GLOBAL bounds - >= 5249 @ 140.619
181.68/182.13 c GLOBAL bounds - >= 5249 @ 140.725
181.88/182.35 c GLOBAL bounds - >= 5249 @ 140.814
182.08/182.58 c GLOBAL bounds - >= 5249 @ 140.914
182.38/182.81 c GLOBAL bounds - >= 5249 @ 141.02
182.58/183.04 c GLOBAL bounds - >= 5249 @ 141.115
183.58/184.07 c GLOBAL bounds - >= 5249 @ 142.004
226.67/227.21 c #Conflicts: 23000 | #Constraints: 6520
226.67/227.21 c #Conflicts: 24000 | #Constraints: 7520
226.67/227.21 c #Conflicts: 25000 | #Constraints: 8520
226.67/227.21 c #Conflicts: 26000 | #Constraints: 9520
226.67/227.21 c #Conflicts: 27000 | #Constraints: 10520
226.67/227.21 c GLOBAL bounds - >= 5250 @ 184.846
226.67/227.24 c GLOBAL bounds - >= 5250 @ 184.864
226.67/227.26 c GLOBAL bounds - >= 5250 @ 184.876
226.67/227.28 c GLOBAL bounds - >= 5250 @ 184.886
226.77/227.33 c GLOBAL bounds - >= 5250 @ 184.91
226.97/227.56 c GLOBAL bounds - >= 5250 @ 185.026
226.97/227.58 c GLOBAL bounds - >= 5250 @ 185.035
227.27/227.80 c GLOBAL bounds - >= 5250 @ 185.121
227.27/227.83 c GLOBAL bounds - >= 5250 @ 185.135
229.47/230.10 c GLOBAL bounds - >= 5250 @ 187.253
229.57/230.12 c GLOBAL bounds - >= 5250 @ 187.269
229.77/230.34 c GLOBAL bounds - >= 5250 @ 187.354
229.77/230.36 c GLOBAL bounds - >= 5250 @ 187.368
229.96/230.57 c GLOBAL bounds - >= 5250 @ 187.452
230.06/230.60 c GLOBAL bounds - >= 5250 @ 187.469
230.26/230.81 c GLOBAL bounds - >= 5250 @ 187.541
230.26/230.84 c GLOBAL bounds - >= 5250 @ 187.549
230.47/231.05 c GLOBAL bounds - >= 5250 @ 187.618
230.47/231.08 c GLOBAL bounds - >= 5250 @ 187.635
230.67/231.29 c GLOBAL bounds - >= 5250 @ 187.7
230.76/231.32 c GLOBAL bounds - >= 5250 @ 187.714
230.97/231.53 c GLOBAL bounds - >= 5250 @ 187.79
230.97/231.55 c GLOBAL bounds - >= 5250 @ 187.805
231.16/231.76 c GLOBAL bounds - >= 5250 @ 187.884
231.37/231.98 c GLOBAL bounds - >= 5250 @ 187.956
231.57/232.19 c GLOBAL bounds - >= 5250 @ 188.033
231.87/232.40 c GLOBAL bounds - >= 5250 @ 188.122
232.06/232.61 c GLOBAL bounds - >= 5250 @ 188.201
232.26/232.84 c GLOBAL bounds - >= 5250 @ 188.302
232.47/233.06 c GLOBAL bounds - >= 5250 @ 188.406
232.76/233.35 c GLOBAL bounds - >= 5250 @ 188.549
451.83/452.91 c #Conflicts: 28000 | #Constraints: 11532
451.83/452.91 c #Conflicts: 29000 | #Constraints: 12532
451.83/452.91 c #Conflicts: 30000 | #Constraints: 13532
451.83/452.91 c INPROCESSING
451.83/452.91 c GARBAGE COLLECT
451.83/452.91 c #Conflicts: 31000 | #Constraints: 7625
451.83/452.91 c #Conflicts: 32000 | #Constraints: 8625
451.83/452.91 c #Conflicts: 33000 | #Constraints: 9625
451.83/452.91 c #Conflicts: 34000 | #Constraints: 10625
451.83/452.91 c #Conflicts: 35000 | #Constraints: 11625
451.83/452.91 c #Conflicts: 36000 | #Constraints: 12625
451.83/452.91 c INPROCESSING
451.83/452.91 c GARBAGE COLLECT
451.83/452.91 c #Conflicts: 37000 | #Constraints: 7600
451.83/452.91 c #Conflicts: 38000 | #Constraints: 8600
451.83/452.91 c #Conflicts: 39000 | #Constraints: 9600
451.83/452.91 c #Conflicts: 40000 | #Constraints: 10600
451.83/452.91 c #Conflicts: 41000 | #Constraints: 11600
451.83/452.91 c INPROCESSING
451.83/452.91 c GARBAGE COLLECT
451.83/452.91 c #Conflicts: 42000 | #Constraints: 6861
451.83/452.91 c #Conflicts: 43000 | #Constraints: 7861
451.83/452.91 c #Conflicts: 44000 | #Constraints: 8861
451.83/452.91 c GLOBAL bounds - >= 5251 @ 406.942
451.83/452.94 c GLOBAL bounds - >= 5251 @ 406.963
451.83/452.97 c GLOBAL bounds - >= 5251 @ 406.974
451.83/452.99 c GLOBAL bounds - >= 5251 @ 406.985
451.93/453.02 c GLOBAL bounds - >= 5251 @ 406.998
452.13/453.29 c GLOBAL bounds - >= 5251 @ 407.132
452.23/453.32 c GLOBAL bounds - >= 5251 @ 407.146
452.43/453.53 c GLOBAL bounds - >= 5251 @ 407.235
452.43/453.56 c GLOBAL bounds - >= 5251 @ 407.249
452.62/453.77 c GLOBAL bounds - >= 5251 @ 407.323
452.62/453.80 c GLOBAL bounds - >= 5251 @ 407.336
452.93/454.01 c GLOBAL bounds - >= 5251 @ 407.411
452.93/454.03 c GLOBAL bounds - >= 5251 @ 407.429
453.13/454.24 c GLOBAL bounds - >= 5251 @ 407.494
453.13/454.27 c GLOBAL bounds - >= 5251 @ 407.506
453.33/454.48 c GLOBAL bounds - >= 5251 @ 407.587
453.42/454.51 c GLOBAL bounds - >= 5251 @ 407.603
453.63/454.72 c GLOBAL bounds - >= 5251 @ 407.689
453.63/454.74 c GLOBAL bounds - >= 5251 @ 407.698
453.83/454.95 c GLOBAL bounds - >= 5251 @ 407.782
453.83/454.99 c GLOBAL bounds - >= 5251 @ 407.811
454.12/455.20 c GLOBAL bounds - >= 5251 @ 407.89
454.22/455.34 c GLOBAL bounds - >= 5251 @ 407.974
454.42/455.56 c GLOBAL bounds - >= 5251 @ 408.048
454.63/455.77 c GLOBAL bounds - >= 5251 @ 408.114
454.83/455.98 c GLOBAL bounds - >= 5251 @ 408.189
455.03/456.19 c GLOBAL bounds - >= 5251 @ 408.262
455.33/456.40 c GLOBAL bounds - >= 5251 @ 408.341
455.53/456.61 c GLOBAL bounds - >= 5251 @ 408.424
455.72/456.82 c GLOBAL bounds - >= 5251 @ 408.502
455.92/457.03 c GLOBAL bounds - >= 5251 @ 408.582
456.13/457.29 c GLOBAL bounds - >= 5251 @ 408.711
456.42/457.58 c GLOBAL bounds - >= 5251 @ 408.872
458.52/459.66 c #Conflicts: 45000 | #Constraints: 9876
458.52/459.66 c GLOBAL bounds - >= 5252 @ 410.904
458.52/459.68 c GLOBAL bounds - >= 5252 @ 410.919
458.61/459.71 c GLOBAL bounds - >= 5252 @ 410.934
458.61/459.73 c GLOBAL bounds - >= 5252 @ 410.948
458.61/459.76 c GLOBAL bounds - >= 5252 @ 410.957
458.61/459.78 c GLOBAL bounds - >= 5252 @ 410.97
458.71/459.80 c GLOBAL bounds - >= 5252 @ 410.979
458.71/459.84 c GLOBAL bounds - >= 5252 @ 411.001
458.92/460.05 c GLOBAL bounds - >= 5252 @ 411.084
458.92/460.07 c GLOBAL bounds - >= 5252 @ 411.101
459.12/460.29 c GLOBAL bounds - >= 5252 @ 411.195
459.21/460.32 c GLOBAL bounds - >= 5252 @ 411.209
459.42/460.53 c GLOBAL bounds - >= 5252 @ 411.283
459.42/460.56 c GLOBAL bounds - >= 5252 @ 411.296
459.61/460.77 c GLOBAL bounds - >= 5252 @ 411.367
459.61/460.79 c GLOBAL bounds - >= 5252 @ 411.38
459.92/461.00 c GLOBAL bounds - >= 5252 @ 411.447
459.92/461.03 c GLOBAL bounds - >= 5252 @ 411.457
460.11/461.24 c GLOBAL bounds - >= 5252 @ 411.539
460.11/461.27 c GLOBAL bounds - >= 5252 @ 411.553
460.32/461.48 c GLOBAL bounds - >= 5252 @ 411.622
460.42/461.51 c GLOBAL bounds - >= 5252 @ 411.637
460.61/461.72 c GLOBAL bounds - >= 5252 @ 411.714
460.61/461.74 c GLOBAL bounds - >= 5252 @ 411.729
460.82/461.95 c GLOBAL bounds - >= 5252 @ 411.802
460.82/461.98 c GLOBAL bounds - >= 5252 @ 411.816
461.02/462.19 c GLOBAL bounds - >= 5252 @ 411.899
461.31/462.40 c GLOBAL bounds - >= 5252 @ 411.965
461.51/462.62 c GLOBAL bounds - >= 5252 @ 412.048
461.72/462.84 c GLOBAL bounds - >= 5252 @ 412.117
461.92/463.06 c GLOBAL bounds - >= 5252 @ 412.213
462.11/463.28 c GLOBAL bounds - >= 5252 @ 412.297
462.31/463.50 c GLOBAL bounds - >= 5252 @ 412.385
462.61/463.71 c GLOBAL bounds - >= 5252 @ 412.476
462.81/463.93 c GLOBAL bounds - >= 5252 @ 412.57
463.02/464.16 c GLOBAL bounds - >= 5252 @ 412.674
463.02/464.16 c GLOBAL bounds - >= 5252 @ 412.675
463.11/464.22 c GLOBAL bounds - >= 5252 @ 412.707
463.11/464.25 c GLOBAL bounds - >= 5252 @ 412.717
463.11/464.27 c GLOBAL bounds - >= 5252 @ 412.735
463.20/464.30 c GLOBAL bounds - >= 5252 @ 412.752
463.20/464.33 c GLOBAL bounds - >= 5252 @ 412.765
463.31/464.40 c GLOBAL bounds - >= 5252 @ 412.799
463.31/464.44 c GLOBAL bounds - >= 5252 @ 412.819
463.51/464.65 c GLOBAL bounds - >= 5252 @ 412.889
463.51/464.68 c GLOBAL bounds - >= 5252 @ 412.906
463.71/464.89 c GLOBAL bounds - >= 5252 @ 412.984
463.80/464.91 c GLOBAL bounds - >= 5252 @ 412.999
464.02/465.12 c GLOBAL bounds - >= 5252 @ 413.069
464.02/465.15 c GLOBAL bounds - >= 5252 @ 413.08
464.21/465.36 c GLOBAL bounds - >= 5252 @ 413.168
464.21/465.38 c GLOBAL bounds - >= 5252 @ 413.182
464.41/465.59 c GLOBAL bounds - >= 5252 @ 413.261
464.51/465.62 c GLOBAL bounds - >= 5252 @ 413.271
464.70/465.83 c GLOBAL bounds - >= 5252 @ 413.333
464.70/465.85 c GLOBAL bounds - >= 5252 @ 413.347
464.91/466.06 c GLOBAL bounds - >= 5252 @ 413.431
464.91/466.09 c GLOBAL bounds - >= 5252 @ 413.447
465.21/466.30 c GLOBAL bounds - >= 5252 @ 413.523
465.21/466.36 c GLOBAL bounds - >= 5252 @ 413.558
465.41/466.57 c GLOBAL bounds - >= 5252 @ 413.645
465.50/466.61 c GLOBAL bounds - >= 5252 @ 413.664
465.70/466.82 c GLOBAL bounds - >= 5252 @ 413.75
465.91/467.03 c GLOBAL bounds - >= 5252 @ 413.841
466.10/467.25 c GLOBAL bounds - >= 5252 @ 413.927
466.31/467.46 c GLOBAL bounds - >= 5252 @ 414.001
466.50/467.67 c GLOBAL bounds - >= 5252 @ 414.083
466.70/467.89 c GLOBAL bounds - >= 5252 @ 414.17
467.00/468.12 c GLOBAL bounds - >= 5252 @ 414.257
467.21/468.34 c GLOBAL bounds - >= 5252 @ 414.348
467.40/468.56 c GLOBAL bounds - >= 5252 @ 414.443
467.61/468.79 c GLOBAL bounds - >= 5252 @ 414.528
467.91/469.06 c GLOBAL bounds - >= 5252 @ 414.661
468.40/469.57 c GLOBAL bounds - >= 5252 @ 415.023
468.40/469.57 c GLOBAL bounds - >= 5252 @ 415.024
468.50/469.60 c GLOBAL bounds - >= 5252 @ 415.04
468.50/469.62 c GLOBAL bounds - >= 5252 @ 415.056
468.50/469.65 c GLOBAL bounds - >= 5252 @ 415.069
468.50/469.67 c GLOBAL bounds - >= 5252 @ 415.079
468.59/469.70 c GLOBAL bounds - >= 5252 @ 415.091
468.80/469.92 c GLOBAL bounds - >= 5252 @ 415.187
468.80/469.94 c GLOBAL bounds - >= 5252 @ 415.202
469.00/470.16 c GLOBAL bounds - >= 5252 @ 415.298
469.00/470.19 c GLOBAL bounds - >= 5252 @ 415.31
469.30/470.41 c GLOBAL bounds - >= 5252 @ 415.396
469.30/470.43 c GLOBAL bounds - >= 5252 @ 415.41
469.50/470.66 c GLOBAL bounds - >= 5252 @ 415.496
469.50/470.69 c GLOBAL bounds - >= 5252 @ 415.505
469.80/470.97 c GLOBAL bounds - >= 5252 @ 415.654
469.80/471.00 c GLOBAL bounds - >= 5252 @ 415.669
470.10/471.28 c GLOBAL bounds - >= 5252 @ 415.822
470.20/471.30 c GLOBAL bounds - >= 5252 @ 415.836
470.40/471.52 c GLOBAL bounds - >= 5252 @ 415.925
470.40/471.55 c GLOBAL bounds - >= 5252 @ 415.937
470.59/471.78 c GLOBAL bounds - >= 5252 @ 416.035
470.69/471.81 c GLOBAL bounds - >= 5252 @ 416.051
471.00/472.19 c GLOBAL bounds - >= 5252 @ 416.291
471.09/472.22 c GLOBAL bounds - >= 5252 @ 416.306
471.30/472.43 c GLOBAL bounds - >= 5252 @ 416.393
471.49/472.64 c GLOBAL bounds - >= 5252 @ 416.469
471.69/472.86 c GLOBAL bounds - >= 5252 @ 416.561
471.69/472.86 c GLOBAL bounds - >= 5252 @ 416.562
471.69/472.89 c GLOBAL bounds - >= 5252 @ 416.575
471.79/472.91 c GLOBAL bounds - >= 5252 @ 416.586
472.00/473.13 c GLOBAL bounds - >= 5252 @ 416.664
472.00/473.15 c GLOBAL bounds - >= 5252 @ 416.678
472.19/473.38 c GLOBAL bounds - >= 5252 @ 416.773
472.30/473.40 c GLOBAL bounds - >= 5252 @ 416.784
472.49/473.64 c GLOBAL bounds - >= 5252 @ 416.883
472.49/473.67 c GLOBAL bounds - >= 5252 @ 416.895
472.70/473.88 c GLOBAL bounds - >= 5252 @ 416.964
472.80/473.90 c GLOBAL bounds - >= 5252 @ 416.976
473.00/474.12 c GLOBAL bounds - >= 5252 @ 417.055
473.00/474.15 c GLOBAL bounds - >= 5252 @ 417.066
473.19/474.36 c GLOBAL bounds - >= 5252 @ 417.154
473.19/474.39 c GLOBAL bounds - >= 5252 @ 417.164
473.49/474.60 c GLOBAL bounds - >= 5252 @ 417.24
473.49/474.62 c GLOBAL bounds - >= 5252 @ 417.256
473.69/474.84 c GLOBAL bounds - >= 5252 @ 417.333
473.69/474.87 c GLOBAL bounds - >= 5252 @ 417.349
473.90/475.08 c GLOBAL bounds - >= 5252 @ 417.418
474.00/475.10 c GLOBAL bounds - >= 5252 @ 417.435
474.19/475.31 c GLOBAL bounds - >= 5252 @ 417.509
474.39/475.52 c GLOBAL bounds - >= 5252 @ 417.595
474.59/475.73 c GLOBAL bounds - >= 5252 @ 417.674
474.78/475.94 c GLOBAL bounds - >= 5252 @ 417.74
474.99/476.14 c GLOBAL bounds - >= 5252 @ 417.823
475.18/476.34 c GLOBAL bounds - >= 5252 @ 417.896
475.38/476.57 c GLOBAL bounds - >= 5252 @ 418.006
476.99/478.11 c GLOBAL bounds - >= 5252 @ 419.381
476.99/478.11 c GLOBAL bounds - >= 5252 @ 419.381
476.99/478.14 c GLOBAL bounds - >= 5252 @ 419.398
476.99/478.16 c GLOBAL bounds - >= 5252 @ 419.41
476.99/478.19 c GLOBAL bounds - >= 5252 @ 419.424
477.08/478.21 c GLOBAL bounds - >= 5252 @ 419.439
477.08/478.24 c GLOBAL bounds - >= 5252 @ 419.45
477.08/478.27 c GLOBAL bounds - >= 5252 @ 419.463
477.08/478.29 c GLOBAL bounds - >= 5252 @ 419.479
477.38/478.51 c GLOBAL bounds - >= 5252 @ 419.576
477.38/478.53 c GLOBAL bounds - >= 5252 @ 419.591
478.18/479.38 c GLOBAL bounds - >= 5252 @ 420.288
478.28/479.40 c GLOBAL bounds - >= 5252 @ 420.301
478.48/479.62 c GLOBAL bounds - >= 5252 @ 420.389
478.48/479.64 c GLOBAL bounds - >= 5252 @ 420.4
478.68/479.86 c GLOBAL bounds - >= 5252 @ 420.487
478.68/479.89 c GLOBAL bounds - >= 5252 @ 420.499
478.99/480.16 c GLOBAL bounds - >= 5252 @ 420.632
478.99/480.19 c GLOBAL bounds - >= 5252 @ 420.647
479.28/480.41 c GLOBAL bounds - >= 5252 @ 420.728
479.28/480.43 c GLOBAL bounds - >= 5252 @ 420.741
479.48/480.64 c GLOBAL bounds - >= 5252 @ 420.811
479.48/480.67 c GLOBAL bounds - >= 5252 @ 420.826
479.68/480.89 c GLOBAL bounds - >= 5252 @ 420.911
479.78/480.92 c GLOBAL bounds - >= 5252 @ 420.922
479.99/481.13 c GLOBAL bounds - >= 5252 @ 421.003
479.99/481.16 c GLOBAL bounds - >= 5252 @ 421.017
480.18/481.37 c GLOBAL bounds - >= 5252 @ 421.101
480.48/481.60 c GLOBAL bounds - >= 5252 @ 421.193
480.68/481.85 c GLOBAL bounds - >= 5252 @ 421.307
500.43/501.68 c #Conflicts: 46000 | #Constraints: 10950
500.43/501.68 c #Conflicts: 47000 | #Constraints: 11950
500.43/501.68 c INPROCESSING
500.43/501.68 c GARBAGE COLLECT
500.43/501.68 c #Conflicts: 48000 | #Constraints: 7286
500.43/501.68 c #Conflicts: 49000 | #Constraints: 8286
500.43/501.68 c GLOBAL bounds - >= 5253 @ 440.84
500.53/501.72 c GLOBAL bounds - >= 5253 @ 440.862
500.53/501.74 c GLOBAL bounds - >= 5253 @ 440.872
500.53/501.76 c GLOBAL bounds - >= 5253 @ 440.885
500.73/501.98 c GLOBAL bounds - >= 5253 @ 440.964
500.83/502.00 c GLOBAL bounds - >= 5253 @ 440.977
501.02/502.23 c GLOBAL bounds - >= 5253 @ 441.065
501.02/502.25 c GLOBAL bounds - >= 5253 @ 441.079
501.22/502.46 c GLOBAL bounds - >= 5253 @ 441.163
501.22/502.49 c GLOBAL bounds - >= 5253 @ 441.181
501.43/502.69 c GLOBAL bounds - >= 5253 @ 441.259
501.53/502.75 c GLOBAL bounds - >= 5253 @ 441.284
501.73/502.96 c GLOBAL bounds - >= 5253 @ 441.348
501.73/502.99 c GLOBAL bounds - >= 5253 @ 441.369
502.03/503.20 c GLOBAL bounds - >= 5253 @ 441.446
502.03/503.23 c GLOBAL bounds - >= 5253 @ 441.46
502.23/503.44 c GLOBAL bounds - >= 5253 @ 441.538
502.23/503.46 c GLOBAL bounds - >= 5253 @ 441.552
502.43/503.67 c GLOBAL bounds - >= 5253 @ 441.619
502.52/503.73 c GLOBAL bounds - >= 5253 @ 441.638
502.72/503.94 c GLOBAL bounds - >= 5253 @ 441.712
502.72/503.98 c GLOBAL bounds - >= 5253 @ 441.74
502.93/504.19 c GLOBAL bounds - >= 5253 @ 441.823
503.22/504.41 c GLOBAL bounds - >= 5253 @ 441.903
503.42/504.62 c GLOBAL bounds - >= 5253 @ 441.996
503.62/504.84 c GLOBAL bounds - >= 5253 @ 442.083
503.83/505.06 c GLOBAL bounds - >= 5253 @ 442.164
504.02/505.28 c GLOBAL bounds - >= 5253 @ 442.249
504.33/505.50 c GLOBAL bounds - >= 5253 @ 442.342
504.53/505.72 c GLOBAL bounds - >= 5253 @ 442.427
504.93/506.18 c GLOBAL bounds - >= 5253 @ 442.742
505.33/506.50 c GLOBAL bounds - >= 5253 @ 442.92
505.52/506.79 c GLOBAL bounds - >= 5253 @ 443.086
505.52/506.79 c GLOBAL bounds - >= 5253 @ 443.088
505.62/506.82 c GLOBAL bounds - >= 5253 @ 443.102
505.62/506.84 c GLOBAL bounds - >= 5253 @ 443.112
505.62/506.87 c GLOBAL bounds - >= 5253 @ 443.122
505.72/506.90 c GLOBAL bounds - >= 5253 @ 443.141
505.92/507.12 c GLOBAL bounds - >= 5253 @ 443.226
505.92/507.15 c GLOBAL bounds - >= 5253 @ 443.241
506.11/507.37 c GLOBAL bounds - >= 5253 @ 443.321
506.11/507.39 c GLOBAL bounds - >= 5253 @ 443.333
506.42/507.60 c GLOBAL bounds - >= 5253 @ 443.408
506.42/507.63 c GLOBAL bounds - >= 5253 @ 443.421
506.62/507.84 c GLOBAL bounds - >= 5253 @ 443.507
506.62/507.87 c GLOBAL bounds - >= 5253 @ 443.522
506.82/508.08 c GLOBAL bounds - >= 5253 @ 443.588
506.93/508.11 c #Conflicts: 1000 | #Constraints: 1598099
506.93/508.11 c GLOBAL bounds - >= 5253 @ 443.604
507.12/508.32 c GLOBAL bounds - >= 5253 @ 443.688
507.12/508.35 c GLOBAL bounds - >= 5253 @ 443.705
507.32/508.56 c GLOBAL bounds - >= 5253 @ 443.783
507.32/508.59 c GLOBAL bounds - >= 5253 @ 443.793
507.61/508.80 c GLOBAL bounds - >= 5253 @ 443.869
507.61/508.83 c GLOBAL bounds - >= 5253 @ 443.883
507.82/509.04 c GLOBAL bounds - >= 5253 @ 443.952
507.82/509.07 c GLOBAL bounds - >= 5253 @ 443.969
508.02/509.28 c GLOBAL bounds - >= 5253 @ 444.037
508.31/509.50 c GLOBAL bounds - >= 5253 @ 444.115
508.51/509.73 c GLOBAL bounds - >= 5253 @ 444.212
508.72/509.96 c GLOBAL bounds - >= 5253 @ 444.303
508.92/510.18 c GLOBAL bounds - >= 5253 @ 444.387
509.22/510.42 c GLOBAL bounds - >= 5253 @ 444.492
509.41/510.65 c GLOBAL bounds - >= 5253 @ 444.597
509.61/510.87 c GLOBAL bounds - >= 5253 @ 444.695
509.82/511.08 c GLOBAL bounds - >= 5253 @ 444.765
510.11/511.31 c GLOBAL bounds - >= 5253 @ 444.859
510.11/511.31 c GLOBAL bounds - >= 5253 @ 444.861
510.11/511.34 c GLOBAL bounds - >= 5253 @ 444.875
510.11/511.36 c GLOBAL bounds - >= 5253 @ 444.891
510.11/511.39 c GLOBAL bounds - >= 5253 @ 444.905
510.21/511.43 c GLOBAL bounds - >= 5253 @ 444.923
510.21/511.45 c GLOBAL bounds - >= 5253 @ 444.937
510.21/511.48 c GLOBAL bounds - >= 5253 @ 444.948
510.31/511.50 c GLOBAL bounds - >= 5253 @ 444.961
510.31/511.53 c GLOBAL bounds - >= 5253 @ 444.973
510.52/511.74 c GLOBAL bounds - >= 5253 @ 445.06
510.52/511.77 c GLOBAL bounds - >= 5253 @ 445.071
510.71/511.98 c GLOBAL bounds - >= 5253 @ 445.146
510.81/512.00 c GLOBAL bounds - >= 5253 @ 445.162
511.02/512.22 c GLOBAL bounds - >= 5253 @ 445.238
511.02/512.24 c GLOBAL bounds - >= 5253 @ 445.246
511.21/512.45 c GLOBAL bounds - >= 5253 @ 445.314
511.21/512.48 c GLOBAL bounds - >= 5253 @ 445.326
511.41/512.69 c GLOBAL bounds - >= 5253 @ 445.407
511.51/512.72 c GLOBAL bounds - >= 5253 @ 445.422
511.71/512.93 c GLOBAL bounds - >= 5253 @ 445.495
511.71/512.95 c GLOBAL bounds - >= 5253 @ 445.51
511.91/513.16 c GLOBAL bounds - >= 5253 @ 445.591
511.91/513.19 c GLOBAL bounds - >= 5253 @ 445.603
512.21/513.40 c GLOBAL bounds - >= 5253 @ 445.67
512.21/513.44 c GLOBAL bounds - >= 5253 @ 445.687
512.41/513.65 c GLOBAL bounds - >= 5253 @ 445.756
512.41/513.68 c GLOBAL bounds - >= 5253 @ 445.776
512.61/513.89 c GLOBAL bounds - >= 5253 @ 445.848
512.91/514.10 c GLOBAL bounds - >= 5253 @ 445.92
513.11/514.33 c GLOBAL bounds - >= 5253 @ 446.014
513.31/514.55 c GLOBAL bounds - >= 5253 @ 446.105
513.51/514.79 c GLOBAL bounds - >= 5253 @ 446.212
513.81/515.05 c GLOBAL bounds - >= 5253 @ 446.333
514.00/515.27 c GLOBAL bounds - >= 5253 @ 446.418
514.20/515.48 c GLOBAL bounds - >= 5253 @ 446.496
514.51/515.71 c GLOBAL bounds - >= 5253 @ 446.574
514.81/516.01 c GLOBAL bounds - >= 5253 @ 446.75
515.60/516.88 c GLOBAL bounds - >= 5253 @ 447.489
515.60/516.88 c GLOBAL bounds - >= 5253 @ 447.491
515.70/516.91 c GLOBAL bounds - >= 5253 @ 447.515
515.70/516.94 c GLOBAL bounds - >= 5253 @ 447.524
515.70/516.96 c GLOBAL bounds - >= 5253 @ 447.539
515.70/516.99 c GLOBAL bounds - >= 5253 @ 447.554
515.81/517.01 c GLOBAL bounds - >= 5253 @ 447.572
515.81/517.04 c GLOBAL bounds - >= 5253 @ 447.59
515.81/517.07 c GLOBAL bounds - >= 5253 @ 447.605
516.20/517.42 c GLOBAL bounds - >= 5253 @ 447.823
516.20/517.45 c GLOBAL bounds - >= 5253 @ 447.831
516.40/517.66 c GLOBAL bounds - >= 5253 @ 447.907
516.40/517.68 c GLOBAL bounds - >= 5253 @ 447.921
516.70/517.90 c GLOBAL bounds - >= 5253 @ 447.996
516.70/517.92 c GLOBAL bounds - >= 5253 @ 448.009
516.90/518.13 c GLOBAL bounds - >= 5253 @ 448.091
516.90/518.16 c GLOBAL bounds - >= 5253 @ 448.108
517.10/518.37 c GLOBAL bounds - >= 5253 @ 448.19
517.20/518.40 c GLOBAL bounds - >= 5253 @ 448.199
517.40/518.61 c GLOBAL bounds - >= 5253 @ 448.279
517.40/518.64 c GLOBAL bounds - >= 5253 @ 448.292
517.60/518.85 c GLOBAL bounds - >= 5253 @ 448.363
517.60/518.88 c GLOBAL bounds - >= 5253 @ 448.377
517.80/519.09 c GLOBAL bounds - >= 5253 @ 448.464
517.90/519.12 c GLOBAL bounds - >= 5253 @ 448.485
518.10/519.34 c GLOBAL bounds - >= 5253 @ 448.561
518.20/519.41 c GLOBAL bounds - >= 5253 @ 448.607
518.39/519.63 c GLOBAL bounds - >= 5253 @ 448.689
518.60/519.85 c GLOBAL bounds - >= 5253 @ 448.775
518.80/520.08 c GLOBAL bounds - >= 5253 @ 448.86
519.10/520.30 c GLOBAL bounds - >= 5253 @ 448.936
519.29/520.54 c GLOBAL bounds - >= 5253 @ 449.025
519.49/520.78 c GLOBAL bounds - >= 5253 @ 449.136
519.70/520.99 c GLOBAL bounds - >= 5253 @ 449.223
520.00/521.21 c GLOBAL bounds - >= 5253 @ 449.32
520.49/521.76 c GLOBAL bounds - >= 5253 @ 449.744
521.59/522.85 c GLOBAL bounds - >= 5253 @ 450.679
522.39/523.63 c GLOBAL bounds - >= 5253 @ 451.315
578.45/579.85 c #Conflicts: 50000 | #Constraints: 9367
578.45/579.85 c #Conflicts: 51000 | #Constraints: 10367
578.45/579.85 c #Conflicts: 52000 | #Constraints: 11367
578.45/579.85 c #Conflicts: 53000 | #Constraints: 12367
578.45/579.85 c #Conflicts: 54000 | #Constraints: 13367
578.45/579.85 c #Conflicts: 55000 | #Constraints: 14367
578.45/579.85 c #Conflicts: 56000 | #Constraints: 15367
578.45/579.85 c GLOBAL bounds - >= 5253 @ 506.602
578.45/579.85 c GLOBAL bounds - >= 5253 @ 506.605
578.45/579.88 c GLOBAL bounds - >= 5253 @ 506.621
578.56/579.91 c GLOBAL bounds - >= 5253 @ 506.632
578.56/579.94 c GLOBAL bounds - >= 5253 @ 506.646
578.56/579.96 c GLOBAL bounds - >= 5253 @ 506.659
578.56/579.99 c GLOBAL bounds - >= 5253 @ 506.676
578.66/580.01 c GLOBAL bounds - >= 5253 @ 506.692
578.66/580.04 c GLOBAL bounds - >= 5253 @ 506.708
578.76/580.13 c GLOBAL bounds - >= 5253 @ 506.76
578.76/580.17 c GLOBAL bounds - >= 5253 @ 506.785
578.86/580.23 c GLOBAL bounds - >= 5253 @ 506.827
579.06/580.46 c GLOBAL bounds - >= 5253 @ 506.928
579.06/580.48 c GLOBAL bounds - >= 5253 @ 506.944
579.35/580.70 c GLOBAL bounds - >= 5253 @ 507.039
579.35/580.73 c GLOBAL bounds - >= 5253 @ 507.053
579.55/580.99 c GLOBAL bounds - >= 5253 @ 507.188
579.66/581.02 c GLOBAL bounds - >= 5253 @ 507.201
579.85/581.23 c GLOBAL bounds - >= 5253 @ 507.296
579.85/581.26 c GLOBAL bounds - >= 5253 @ 507.31
580.06/581.49 c GLOBAL bounds - >= 5253 @ 507.426
580.16/581.51 c GLOBAL bounds - >= 5253 @ 507.445
580.36/581.73 c GLOBAL bounds - >= 5253 @ 507.536
580.36/581.76 c GLOBAL bounds - >= 5253 @ 507.553
580.55/582.00 c GLOBAL bounds - >= 5253 @ 507.669
580.66/582.02 c GLOBAL bounds - >= 5253 @ 507.682
580.85/582.24 c GLOBAL bounds - >= 5253 @ 507.772
580.85/582.27 c GLOBAL bounds - >= 5253 @ 507.783
581.15/582.50 c GLOBAL bounds - >= 5253 @ 507.893
581.15/582.52 c GLOBAL bounds - >= 5253 @ 507.906
581.46/582.87 c GLOBAL bounds - >= 5253 @ 508.139
581.46/582.87 c GLOBAL bounds - >= 5253 @ 508.142
581.56/582.90 c GLOBAL bounds - >= 5253 @ 508.163
581.76/583.12 c GLOBAL bounds - >= 5253 @ 508.257
581.76/583.14 c GLOBAL bounds - >= 5253 @ 508.272
582.34/583.73 c GLOBAL bounds - >= 5253 @ 508.719
582.34/583.75 c GLOBAL bounds - >= 5253 @ 508.733
582.55/583.97 c GLOBAL bounds - >= 5253 @ 508.823
582.55/584.00 c GLOBAL bounds - >= 5253 @ 508.838
582.85/584.23 c GLOBAL bounds - >= 5253 @ 508.96
582.85/584.26 c GLOBAL bounds - >= 5253 @ 508.974
583.05/584.48 c GLOBAL bounds - >= 5253 @ 509.058
583.15/584.51 c GLOBAL bounds - >= 5253 @ 509.072
583.35/584.77 c GLOBAL bounds - >= 5253 @ 509.196
583.35/584.79 c GLOBAL bounds - >= 5253 @ 509.213
583.65/585.02 c GLOBAL bounds - >= 5253 @ 509.318
583.65/585.05 c GLOBAL bounds - >= 5253 @ 509.335
583.85/585.27 c GLOBAL bounds - >= 5253 @ 509.421
583.85/585.29 c GLOBAL bounds - >= 5253 @ 509.436
584.15/585.50 c GLOBAL bounds - >= 5253 @ 509.516
584.15/585.53 c GLOBAL bounds - >= 5253 @ 509.533
584.34/585.75 c GLOBAL bounds - >= 5253 @ 509.615
584.54/585.95 c GLOBAL bounds - >= 5253 @ 509.681
584.75/586.16 c GLOBAL bounds - >= 5253 @ 509.762
584.94/586.38 c GLOBAL bounds - >= 5253 @ 509.862
585.24/586.60 c GLOBAL bounds - >= 5253 @ 509.961
585.75/587.16 c GLOBAL bounds - >= 5253 @ 510.374
585.94/587.39 c GLOBAL bounds - >= 5253 @ 510.452
586.24/587.67 c GLOBAL bounds - >= 5253 @ 510.607
586.54/587.90 c GLOBAL bounds - >= 5253 @ 510.702
588.54/589.99 c GLOBAL bounds - >= 5253 @ 512.617
588.54/590.00 c GLOBAL bounds - >= 5253 @ 512.621
588.64/590.03 c GLOBAL bounds - >= 5253 @ 512.638
588.64/590.05 c GLOBAL bounds - >= 5253 @ 512.653
588.64/590.08 c GLOBAL bounds - >= 5253 @ 512.666
588.74/590.10 c GLOBAL bounds - >= 5253 @ 512.676
588.74/590.13 c GLOBAL bounds - >= 5253 @ 512.688
588.94/590.34 c GLOBAL bounds - >= 5253 @ 512.773
588.94/590.37 c GLOBAL bounds - >= 5253 @ 512.784
589.14/590.58 c GLOBAL bounds - >= 5253 @ 512.856
589.23/590.61 c GLOBAL bounds - >= 5253 @ 512.872
589.43/590.82 c GLOBAL bounds - >= 5253 @ 512.941
589.43/590.85 c GLOBAL bounds - >= 5253 @ 512.95
589.64/591.06 c GLOBAL bounds - >= 5253 @ 513.034
589.64/591.09 c GLOBAL bounds - >= 5253 @ 513.047
589.93/591.30 c GLOBAL bounds - >= 5253 @ 513.119
589.93/591.33 c GLOBAL bounds - >= 5253 @ 513.132
590.13/591.54 c GLOBAL bounds - >= 5253 @ 513.215
590.13/591.57 c GLOBAL bounds - >= 5253 @ 513.228
590.34/591.78 c GLOBAL bounds - >= 5253 @ 513.306
590.43/591.81 c GLOBAL bounds - >= 5253 @ 513.324
590.64/592.03 c GLOBAL bounds - >= 5253 @ 513.401
590.64/592.05 c GLOBAL bounds - >= 5253 @ 513.415
590.83/592.27 c GLOBAL bounds - >= 5253 @ 513.503
590.93/592.31 c GLOBAL bounds - >= 5253 @ 513.526
591.13/592.52 c GLOBAL bounds - >= 5253 @ 513.607
591.33/592.73 c GLOBAL bounds - >= 5253 @ 513.685
591.53/592.94 c GLOBAL bounds - >= 5253 @ 513.766
591.74/593.15 c GLOBAL bounds - >= 5253 @ 513.847
591.93/593.36 c GLOBAL bounds - >= 5253 @ 513.924
592.13/593.57 c GLOBAL bounds - >= 5253 @ 514.015
592.33/593.79 c GLOBAL bounds - >= 5253 @ 514.11
592.63/594.02 c GLOBAL bounds - >= 5253 @ 514.207
592.83/594.23 c GLOBAL bounds - >= 5253 @ 514.295
593.03/594.46 c GLOBAL bounds - >= 5253 @ 514.402
595.02/596.48 c GLOBAL bounds - >= 5253 @ 516.234
595.02/596.48 c GLOBAL bounds - >= 5253 @ 516.237
595.12/596.51 c GLOBAL bounds - >= 5253 @ 516.256
595.12/596.53 c GLOBAL bounds - >= 5253 @ 516.268
595.12/596.56 c GLOBAL bounds - >= 5253 @ 516.283
595.12/596.58 c GLOBAL bounds - >= 5253 @ 516.298
595.22/596.61 c GLOBAL bounds - >= 5253 @ 516.314
595.22/596.64 c GLOBAL bounds - >= 5253 @ 516.325
595.22/596.67 c GLOBAL bounds - >= 5253 @ 516.346
595.22/596.69 c GLOBAL bounds - >= 5253 @ 516.358
595.52/596.93 c GLOBAL bounds - >= 5253 @ 516.474
595.52/596.95 c GLOBAL bounds - >= 5253 @ 516.486
595.82/597.20 c GLOBAL bounds - >= 5253 @ 516.602
595.82/597.23 c GLOBAL bounds - >= 5253 @ 516.618
596.02/597.46 c GLOBAL bounds - >= 5253 @ 516.724
596.02/597.49 c GLOBAL bounds - >= 5253 @ 516.739
596.82/598.20 c GLOBAL bounds - >= 5253 @ 517.304
596.82/598.22 c GLOBAL bounds - >= 5253 @ 517.319
597.02/598.47 c GLOBAL bounds - >= 5253 @ 517.438
597.12/598.50 c GLOBAL bounds - >= 5253 @ 517.456
597.42/598.82 c GLOBAL bounds - >= 5253 @ 517.635
597.42/598.84 c GLOBAL bounds - >= 5253 @ 517.646
597.62/599.06 c GLOBAL bounds - >= 5253 @ 517.733
597.62/599.09 c GLOBAL bounds - >= 5253 @ 517.749
597.92/599.30 c GLOBAL bounds - >= 5253 @ 517.827
597.92/599.33 c GLOBAL bounds - >= 5253 @ 517.841
598.12/599.54 c GLOBAL bounds - >= 5253 @ 517.922
598.12/599.57 c GLOBAL bounds - >= 5253 @ 517.933
598.32/599.78 c GLOBAL bounds - >= 5253 @ 518.001
598.62/600.00 c GLOBAL bounds - >= 5253 @ 518.085
598.82/600.23 c GLOBAL bounds - >= 5253 @ 518.186
599.02/600.44 c GLOBAL bounds - >= 5253 @ 518.267
600.21/601.65 c #Conflicts: 57000 | #Constraints: 16429
600.21/601.65 c GLOBAL bounds - >= 5253 @ 519.332
600.71/602.10 c GLOBAL bounds - >= 5253 @ 519.637
600.71/602.10 c GLOBAL bounds - >= 5253 @ 519.64
600.71/602.13 c GLOBAL bounds - >= 5253 @ 519.656
600.71/602.16 c GLOBAL bounds - >= 5253 @ 519.672
600.71/602.19 c GLOBAL bounds - >= 5253 @ 519.689
600.81/602.22 c GLOBAL bounds - >= 5253 @ 519.705
600.81/602.25 c GLOBAL bounds - >= 5253 @ 519.724
600.81/602.27 c GLOBAL bounds - >= 5253 @ 519.739
601.11/602.52 c GLOBAL bounds - >= 5253 @ 519.848
601.11/602.55 c GLOBAL bounds - >= 5253 @ 519.864
601.31/602.76 c GLOBAL bounds - >= 5253 @ 519.946
601.31/602.79 c GLOBAL bounds - >= 5253 @ 519.96
601.62/603.00 c GLOBAL bounds - >= 5253 @ 520.034
601.62/603.03 c GLOBAL bounds - >= 5253 @ 520.048
601.81/603.25 c GLOBAL bounds - >= 5253 @ 520.128
601.81/603.27 c GLOBAL bounds - >= 5253 @ 520.142
602.01/603.49 c GLOBAL bounds - >= 5253 @ 520.222
602.11/603.52 c GLOBAL bounds - >= 5253 @ 520.24
602.31/603.73 c GLOBAL bounds - >= 5253 @ 520.32
602.31/603.76 c GLOBAL bounds - >= 5253 @ 520.333
602.51/603.97 c GLOBAL bounds - >= 5253 @ 520.408
602.61/604.00 c GLOBAL bounds - >= 5253 @ 520.427
602.81/604.22 c GLOBAL bounds - >= 5253 @ 520.514
602.81/604.25 c GLOBAL bounds - >= 5253 @ 520.533
603.01/604.47 c GLOBAL bounds - >= 5253 @ 520.614
603.01/604.49 c GLOBAL bounds - >= 5253 @ 520.63
603.30/604.71 c GLOBAL bounds - >= 5253 @ 520.713
603.50/604.92 c GLOBAL bounds - >= 5253 @ 520.799
603.71/605.14 c GLOBAL bounds - >= 5253 @ 520.881
603.90/605.37 c GLOBAL bounds - >= 5253 @ 520.968
604.20/605.60 c GLOBAL bounds - >= 5253 @ 521.049
604.40/605.85 c GLOBAL bounds - >= 5253 @ 521.157
604.61/606.08 c GLOBAL bounds - >= 5253 @ 521.243
604.91/606.35 c GLOBAL bounds - >= 5253 @ 521.375
605.31/606.73 c GLOBAL bounds - >= 5253 @ 521.604
606.10/607.56 c GLOBAL bounds - >= 5253 @ 522.27
606.40/607.80 c GLOBAL bounds - >= 5253 @ 522.366
606.40/607.80 c GLOBAL bounds - >= 5253 @ 522.369
606.40/607.83 c GLOBAL bounds - >= 5253 @ 522.386
606.40/607.86 c GLOBAL bounds - >= 5253 @ 522.402
606.40/607.88 c GLOBAL bounds - >= 5253 @ 522.41
606.50/607.91 c GLOBAL bounds - >= 5253 @ 522.425
606.50/607.93 c GLOBAL bounds - >= 5253 @ 522.44
606.71/608.15 c GLOBAL bounds - >= 5253 @ 522.535
606.71/608.18 c GLOBAL bounds - >= 5253 @ 522.547
607.00/608.40 c GLOBAL bounds - >= 5253 @ 522.626
607.00/608.42 c GLOBAL bounds - >= 5253 @ 522.642
607.20/608.69 c GLOBAL bounds - >= 5253 @ 522.768
607.30/608.71 c GLOBAL bounds - >= 5253 @ 522.782
607.50/608.93 c GLOBAL bounds - >= 5253 @ 522.869
607.50/608.96 c GLOBAL bounds - >= 5253 @ 522.884
607.71/609.19 c GLOBAL bounds - >= 5253 @ 522.979
607.80/609.21 c GLOBAL bounds - >= 5253 @ 522.996
607.99/609.43 c GLOBAL bounds - >= 5253 @ 523.081
607.99/609.46 c GLOBAL bounds - >= 5253 @ 523.09
608.29/609.70 c GLOBAL bounds - >= 5253 @ 523.199
608.29/609.72 c GLOBAL bounds - >= 5253 @ 523.212
608.50/609.96 c GLOBAL bounds - >= 5253 @ 523.302
608.50/609.98 c GLOBAL bounds - >= 5253 @ 523.318
608.79/610.22 c GLOBAL bounds - >= 5253 @ 523.417
608.79/610.24 c GLOBAL bounds - >= 5253 @ 523.43
609.60/611.04 c GLOBAL bounds - >= 5253 @ 524.093
614.08/615.56 c GLOBAL bounds - >= 5253 @ 528.459
614.08/615.56 c GLOBAL bounds - >= 5253 @ 528.462
614.08/615.59 c GLOBAL bounds - >= 5253 @ 528.477
614.19/615.61 c GLOBAL bounds - >= 5253 @ 528.489
614.79/616.20 c GLOBAL bounds - >= 5253 @ 528.945
614.79/616.23 c GLOBAL bounds - >= 5253 @ 528.961
614.98/616.44 c GLOBAL bounds - >= 5253 @ 529.037
614.98/616.47 c GLOBAL bounds - >= 5253 @ 529.052
615.18/616.69 c GLOBAL bounds - >= 5253 @ 529.123
615.28/616.71 c GLOBAL bounds - >= 5253 @ 529.136
615.48/616.93 c GLOBAL bounds - >= 5253 @ 529.21
615.48/616.95 c GLOBAL bounds - >= 5253 @ 529.223
615.68/617.17 c GLOBAL bounds - >= 5253 @ 529.301
615.68/617.19 c GLOBAL bounds - >= 5253 @ 529.314
615.98/617.41 c GLOBAL bounds - >= 5253 @ 529.393
615.98/617.43 c GLOBAL bounds - >= 5253 @ 529.404
616.18/617.65 c GLOBAL bounds - >= 5253 @ 529.488
616.18/617.67 c GLOBAL bounds - >= 5253 @ 529.505
616.38/617.89 c GLOBAL bounds - >= 5253 @ 529.59
616.48/617.91 c GLOBAL bounds - >= 5253 @ 529.6
616.69/618.13 c GLOBAL bounds - >= 5253 @ 529.672
616.69/618.15 c GLOBAL bounds - >= 5253 @ 529.691
616.88/618.37 c GLOBAL bounds - >= 5253 @ 529.771
617.07/618.58 c GLOBAL bounds - >= 5253 @ 529.86
617.28/618.79 c GLOBAL bounds - >= 5253 @ 529.939
617.48/618.99 c GLOBAL bounds - >= 5253 @ 530.01
617.77/619.20 c GLOBAL bounds - >= 5253 @ 530.09
617.98/619.41 c GLOBAL bounds - >= 5253 @ 530.168
618.18/619.62 c GLOBAL bounds - >= 5253 @ 530.254
618.38/619.85 c GLOBAL bounds - >= 5253 @ 530.351
618.58/620.07 c GLOBAL bounds - >= 5253 @ 530.448
3234.71/3242.50 c #Conflicts: 58000 | #Constraints: 17466
3234.71/3242.50 c #Conflicts: 59000 | #Constraints: 18466
3234.71/3242.50 c #Conflicts: 60000 | #Constraints: 19466
3234.71/3242.50 c #Conflicts: 61000 | #Constraints: 20466
3234.71/3242.50 c #Conflicts: 62000 | #Constraints: 21466
3234.71/3242.50 c INPROCESSING
3234.71/3242.50 c GARBAGE COLLECT
3234.71/3242.50 c #Conflicts: 63000 | #Constraints: 11806
3234.71/3242.50 c #Conflicts: 64000 | #Constraints: 12806
3234.71/3242.50 c #Conflicts: 65000 | #Constraints: 13806
3234.71/3242.50 c #Conflicts: 66000 | #Constraints: 14806
3234.71/3242.50 c #Conflicts: 67000 | #Constraints: 15806
3234.71/3242.50 c #Conflicts: 68000 | #Constraints: 16806
3234.71/3242.50 c #Conflicts: 69000 | #Constraints: 17806
3234.71/3242.50 c INPROCESSING
3234.71/3242.50 c GARBAGE COLLECT
3234.71/3242.50 c #Conflicts: 70000 | #Constraints: 10046
3234.71/3242.50 c #Conflicts: 71000 | #Constraints: 11046
3234.71/3242.50 c #Conflicts: 72000 | #Constraints: 12046
3234.71/3242.50 c #Conflicts: 73000 | #Constraints: 13046
3234.71/3242.50 c #Conflicts: 74000 | #Constraints: 14046
3234.71/3242.50 c #Conflicts: 75000 | #Constraints: 15046
3234.71/3242.50 c #Conflicts: 76000 | #Constraints: 16046
3234.71/3242.50 c INPROCESSING
3234.71/3242.50 c GARBAGE COLLECT
3234.71/3242.50 c #Conflicts: 77000 | #Constraints: 9055
3234.71/3242.50 c #Conflicts: 78000 | #Constraints: 10055
3234.71/3242.50 c #Conflicts: 79000 | #Constraints: 11055
3234.71/3242.50 c #Conflicts: 80000 | #Constraints: 12055
3234.71/3242.50 c #Conflicts: 81000 | #Constraints: 13055
3234.71/3242.50 c #Conflicts: 82000 | #Constraints: 14055
3234.71/3242.50 c #Conflicts: 83000 | #Constraints: 15055
3234.71/3242.50 c #Conflicts: 84000 | #Constraints: 16055
3234.71/3242.50 c INPROCESSING
3234.71/3242.50 c GARBAGE COLLECT
3234.71/3242.50 c #Conflicts: 85000 | #Constraints: 9481
3234.71/3242.50 c #Conflicts: 86000 | #Constraints: 10481
3234.71/3242.50 c #Conflicts: 87000 | #Constraints: 11481
3234.71/3242.50 c #Conflicts: 88000 | #Constraints: 12481
3234.71/3242.50 c #Conflicts: 89000 | #Constraints: 13481
3234.71/3242.50 c #Conflicts: 90000 | #Constraints: 14481
3234.71/3242.50 c #Conflicts: 91000 | #Constraints: 15481
3234.71/3242.50 c INPROCESSING
3234.71/3242.50 c GARBAGE COLLECT
3234.71/3242.50 c #Conflicts: 92000 | #Constraints: 9013
3234.71/3242.50 c #Conflicts: 93000 | #Constraints: 10013
3234.71/3242.50 c #Conflicts: 94000 | #Constraints: 11013
3234.71/3242.50 c #Conflicts: 95000 | #Constraints: 12013
3234.71/3242.50 c #Conflicts: 96000 | #Constraints: 13013
3234.71/3242.50 c #Conflicts: 97000 | #Constraints: 14013
3234.71/3242.50 c #Conflicts: 98000 | #Constraints: 15013
3234.71/3242.50 c #Conflicts: 99000 | #Constraints: 16013
3234.71/3242.50 c INPROCESSING
3234.71/3242.50 c GARBAGE COLLECT
3234.71/3242.50 c #Conflicts: 100000 | #Constraints: 9346
3234.71/3242.50 c #Conflicts: 101000 | #Constraints: 10346
3234.71/3242.50 c #Conflicts: 102000 | #Constraints: 11346
3234.71/3242.50 c #Conflicts: 103000 | #Constraints: 12346
3234.71/3242.50 c #Conflicts: 104000 | #Constraints: 13346
3234.71/3242.50 c #Conflicts: 105000 | #Constraints: 14346
3234.71/3242.50 c #Conflicts: 106000 | #Constraints: 15346
3234.71/3242.50 c #Conflicts: 107000 | #Constraints: 16346
3234.71/3242.50 c #Conflicts: 108000 | #Constraints: 17346
3234.71/3242.50 c #Conflicts: 109000 | #Constraints: 18346
3234.71/3242.50 c #Conflicts: 110000 | #Constraints: 19346
3234.71/3242.50 c #Conflicts: 111000 | #Constraints: 20346
3234.71/3242.50 c #Conflicts: 112000 | #Constraints: 21346
3234.71/3242.50 c #Conflicts: 113000 | #Constraints: 22346
3234.71/3242.50 c #Conflicts: 114000 | #Constraints: 23346
3234.71/3242.50 c #Conflicts: 115000 | #Constraints: 24346
3234.71/3242.50 c #Conflicts: 116000 | #Constraints: 25346
3234.71/3242.50 c #Conflicts: 117000 | #Constraints: 26346
3234.71/3242.50 c #Conflicts: 118000 | #Constraints: 27346
3234.71/3242.50 c #Conflicts: 119000 | #Constraints: 28346
3234.71/3242.50 c #Conflicts: 120000 | #Constraints: 29346
3234.71/3242.50 c #Conflicts: 121000 | #Constraints: 30346
3234.71/3242.50 c #Conflicts: 122000 | #Constraints: 31346
3234.71/3242.50 c INPROCESSING
3234.71/3242.50 c GARBAGE COLLECT
3234.71/3242.50 c #Conflicts: 123000 | #Constraints: 16987
3234.71/3242.50 c #Conflicts: 124000 | #Constraints: 17987
3234.71/3242.50 c #Conflicts: 125000 | #Constraints: 18987
3234.71/3242.50 c #Conflicts: 126000 | #Constraints: 19987
3234.71/3242.50 c #Conflicts: 127000 | #Constraints: 20987
3234.71/3242.50 c #Conflicts: 128000 | #Constraints: 21987
3234.71/3242.50 c #Conflicts: 129000 | #Constraints: 22987
3234.71/3242.50 c #Conflicts: 130000 | #Constraints: 23987
3234.71/3242.50 c #Conflicts: 131000 | #Constraints: 24987
3234.71/3242.50 c INPROCESSING
3234.71/3242.50 c GARBAGE COLLECT
3403.40/3411.63 c #Conflicts: 132000 | #Constraints: 13810
3403.40/3411.63 c #Conflicts: 133000 | #Constraints: 14810
3403.40/3411.63 c #Conflicts: 134000 | #Constraints: 15810
3403.40/3411.63 c #Conflicts: 135000 | #Constraints: 16810
3403.40/3411.63 c #Conflicts: 136000 | #Constraints: 17810
3403.40/3411.63 c GLOBAL bounds - >= 5254 @ 3310.25
3403.40/3411.67 c GLOBAL bounds - >= 5254 @ 3310.28
3403.40/3411.69 c GLOBAL bounds - >= 5254 @ 3310.3
3403.50/3411.72 c GLOBAL bounds - >= 5254 @ 3310.31
3403.70/3412.00 c GLOBAL bounds - >= 5254 @ 3310.44
3403.81/3412.02 c GLOBAL bounds - >= 5254 @ 3310.45
3404.00/3412.24 c GLOBAL bounds - >= 5254 @ 3310.53
3404.00/3412.26 c GLOBAL bounds - >= 5254 @ 3310.54
3404.21/3412.49 c GLOBAL bounds - >= 5254 @ 3310.62
3404.30/3412.51 c GLOBAL bounds - >= 5254 @ 3310.63
3404.50/3412.74 c GLOBAL bounds - >= 5254 @ 3310.71
3404.50/3412.76 c GLOBAL bounds - >= 5254 @ 3310.72
3404.70/3413.00 c GLOBAL bounds - >= 5254 @ 3310.83
3404.81/3413.02 c GLOBAL bounds - >= 5254 @ 3310.85
3405.00/3413.27 c GLOBAL bounds - >= 5254 @ 3310.96
3405.10/3413.30 c GLOBAL bounds - >= 5254 @ 3310.97
3405.30/3413.52 c GLOBAL bounds - >= 5254 @ 3311.07
3405.30/3413.55 c GLOBAL bounds - >= 5254 @ 3311.08
3405.59/3413.80 c GLOBAL bounds - >= 5254 @ 3311.2
3405.59/3413.82 c GLOBAL bounds - >= 5254 @ 3311.21
3405.80/3414.05 c GLOBAL bounds - >= 5254 @ 3311.31
3405.80/3414.07 c GLOBAL bounds - >= 5254 @ 3311.33
3406.00/3414.28 c GLOBAL bounds - >= 5254 @ 3311.41
3406.10/3414.30 c GLOBAL bounds - >= 5254 @ 3311.43
3406.10/3414.34 c GLOBAL bounds - >= 5254 @ 3311.45
3406.70/3414.97 c GLOBAL bounds - >= 5254 @ 3311.95
3406.70/3415.00 c GLOBAL bounds - >= 5254 @ 3311.96
3407.00/3415.22 c GLOBAL bounds - >= 5254 @ 3312.05
3407.00/3415.25 c GLOBAL bounds - >= 5254 @ 3312.06
3407.19/3415.46 c GLOBAL bounds - >= 5254 @ 3312.14
3407.19/3415.49 c GLOBAL bounds - >= 5254 @ 3312.16
3407.50/3415.70 c GLOBAL bounds - >= 5254 @ 3312.24
3407.50/3415.72 c GLOBAL bounds - >= 5254 @ 3312.26
3407.69/3415.94 c GLOBAL bounds - >= 5254 @ 3312.35
3407.69/3415.96 c GLOBAL bounds - >= 5254 @ 3312.37
3407.90/3416.18 c GLOBAL bounds - >= 5254 @ 3312.45
3407.99/3416.20 c GLOBAL bounds - >= 5254 @ 3312.46
3408.19/3416.42 c GLOBAL bounds - >= 5254 @ 3312.55
3408.19/3416.44 c GLOBAL bounds - >= 5254 @ 3312.56
3408.39/3416.66 c GLOBAL bounds - >= 5254 @ 3312.62
3408.39/3416.68 c GLOBAL bounds - >= 5254 @ 3312.64
3408.69/3416.90 c GLOBAL bounds - >= 5254 @ 3312.72
3408.69/3416.92 c GLOBAL bounds - >= 5254 @ 3312.73
3408.90/3417.14 c GLOBAL bounds - >= 5254 @ 3312.82
3409.09/3417.36 c GLOBAL bounds - >= 5254 @ 3312.9
3409.29/3417.58 c GLOBAL bounds - >= 5254 @ 3312.99
3409.60/3417.81 c GLOBAL bounds - >= 5254 @ 3313.09
3409.79/3418.04 c GLOBAL bounds - >= 5254 @ 3313.18
3409.99/3418.28 c GLOBAL bounds - >= 5254 @ 3313.28
3410.29/3418.52 c #Conflicts: 137000 | #Constraints: 18830
3410.29/3418.52 c GLOBAL bounds - >= 5254 @ 3313.4
3410.59/3418.86 c GLOBAL bounds - >= 5254 @ 3313.59
3412.28/3420.51 c GLOBAL bounds - >= 5254 @ 3315.1
3415.27/3423.51 c GLOBAL bounds - >= 5254 @ 3317.87
3415.27/3423.53 c GLOBAL bounds - >= 5254 @ 3317.89
3415.27/3423.56 c GLOBAL bounds - >= 5254 @ 3317.9
3415.27/3423.59 c GLOBAL bounds - >= 5254 @ 3317.92
3415.38/3423.61 c GLOBAL bounds - >= 5254 @ 3317.93
3415.38/3423.64 c GLOBAL bounds - >= 5254 @ 3317.95
3415.38/3423.66 c GLOBAL bounds - >= 5254 @ 3317.96
3415.38/3423.69 c GLOBAL bounds - >= 5254 @ 3317.98
3415.68/3423.93 c GLOBAL bounds - >= 5254 @ 3318.07
3415.68/3423.95 c GLOBAL bounds - >= 5254 @ 3318.08
3416.47/3424.71 c GLOBAL bounds - >= 5254 @ 3318.7
3416.47/3424.74 c GLOBAL bounds - >= 5254 @ 3318.72
3416.68/3424.95 c GLOBAL bounds - >= 5254 @ 3318.8
3416.68/3424.98 c GLOBAL bounds - >= 5254 @ 3318.81
3416.97/3425.25 c GLOBAL bounds - >= 5254 @ 3318.94
3416.97/3425.27 c GLOBAL bounds - >= 5254 @ 3318.95
3417.38/3425.68 c GLOBAL bounds - >= 5254 @ 3319.23
3417.48/3425.71 c GLOBAL bounds - >= 5254 @ 3319.25
3417.67/3425.92 c GLOBAL bounds - >= 5254 @ 3319.33
3417.67/3425.95 c GLOBAL bounds - >= 5254 @ 3319.34
3417.88/3426.16 c GLOBAL bounds - >= 5254 @ 3319.41
3417.88/3426.19 c GLOBAL bounds - >= 5254 @ 3319.42
3418.18/3426.40 c GLOBAL bounds - >= 5254 @ 3319.5
3418.18/3426.43 c GLOBAL bounds - >= 5254 @ 3319.51
3418.37/3426.64 c GLOBAL bounds - >= 5254 @ 3319.6
3418.37/3426.67 c GLOBAL bounds - >= 5254 @ 3319.61
3418.57/3426.88 c GLOBAL bounds - >= 5254 @ 3319.68
3418.78/3427.10 c GLOBAL bounds - >= 5254 @ 3319.76
3419.07/3427.32 c GLOBAL bounds - >= 5254 @ 3319.84
3419.27/3427.53 c GLOBAL bounds - >= 5254 @ 3319.92
3419.47/3427.75 c GLOBAL bounds - >= 5254 @ 3320.02
3419.77/3428.03 c GLOBAL bounds - >= 5254 @ 3320.17
3587.66/3596.31 c #Conflicts: 138000 | #Constraints: 19844
3587.66/3596.31 c #Conflicts: 139000 | #Constraints: 20844
3587.66/3596.31 c #Conflicts: 140000 | #Constraints: 21844
3587.66/3596.31 c INPROCESSING
3587.66/3596.31 c GARBAGE COLLECT
3587.66/3596.31 c #Conflicts: 141000 | #Constraints: 12021
3587.66/3596.31 c #Conflicts: 142000 | #Constraints: 13021
3587.66/3596.31 c #Conflicts: 143000 | #Constraints: 14021
3587.66/3596.31 c #Conflicts: 144000 | #Constraints: 15021
3587.66/3596.31 c #Conflicts: 145000 | #Constraints: 16021
3587.66/3596.31 c #Conflicts: 146000 | #Constraints: 17021
3587.66/3596.31 c #Conflicts: 147000 | #Constraints: 18021
3587.66/3596.31 c #Conflicts: 148000 | #Constraints: 19021
3587.66/3596.31 c #Conflicts: 149000 | #Constraints: 20021
3587.66/3596.31 c #Conflicts: 150000 | #Constraints: 21021
3587.66/3596.31 c #Conflicts: 151000 | #Constraints: 22021
3587.66/3596.31 c #Conflicts: 152000 | #Constraints: 23021
3587.66/3596.31 c #Conflicts: 153000 | #Constraints: 24021
3587.66/3596.31 c #Conflicts: 154000 | #Constraints: 25021
3587.66/3596.31 c #Conflicts: 155000 | #Constraints: 26021
3587.66/3596.31 c #Conflicts: 156000 | #Constraints: 27021
3587.66/3596.31 c #Conflicts: 157000 | #Constraints: 28021
3587.66/3596.31 c #Conflicts: 158000 | #Constraints: 29021
3587.66/3596.31 c #Conflicts: 159000 | #Constraints: 30021
3587.66/3596.31 c #Conflicts: 160000 | #Constraints: 31021
3587.66/3596.31 c #Conflicts: 161000 | #Constraints: 32021
3587.66/3596.31 c #Conflicts: 162000 | #Constraints: 33021
3587.66/3596.31 c #Conflicts: 163000 | #Constraints: 34021
3587.66/3596.31 c GLOBAL bounds - >= 5255 @ 3486.49
3587.66/3596.35 c GLOBAL bounds - >= 5255 @ 3486.52
3587.66/3596.37 c GLOBAL bounds - >= 5255 @ 3486.53
3587.77/3596.40 c GLOBAL bounds - >= 5255 @ 3486.55
3587.77/3596.43 c GLOBAL bounds - >= 5255 @ 3486.56
3587.77/3596.45 c GLOBAL bounds - >= 5255 @ 3486.58
3587.97/3596.67 c GLOBAL bounds - >= 5255 @ 3486.65
3588.07/3596.70 c GLOBAL bounds - >= 5255 @ 3486.66
3588.27/3596.92 c GLOBAL bounds - >= 5255 @ 3486.75
3588.27/3596.95 c GLOBAL bounds - >= 5255 @ 3486.77
3588.47/3597.16 c GLOBAL bounds - >= 5255 @ 3486.85
3588.56/3597.20 c GLOBAL bounds - >= 5255 @ 3486.87
3588.76/3597.42 c GLOBAL bounds - >= 5255 @ 3486.96
3588.76/3597.44 c GLOBAL bounds - >= 5255 @ 3486.97
3588.96/3597.66 c GLOBAL bounds - >= 5255 @ 3487.06
3588.96/3597.70 c GLOBAL bounds - >= 5255 @ 3487.08
3589.26/3597.91 c GLOBAL bounds - >= 5255 @ 3487.17
3589.26/3597.94 c GLOBAL bounds - >= 5255 @ 3487.19
3589.46/3598.15 c GLOBAL bounds - >= 5255 @ 3487.27
3589.46/3598.18 c GLOBAL bounds - >= 5255 @ 3487.28
3589.76/3598.40 c GLOBAL bounds - >= 5255 @ 3487.36
3589.76/3598.43 c GLOBAL bounds - >= 5255 @ 3487.39
3589.96/3598.65 c GLOBAL bounds - >= 5255 @ 3487.47
3589.96/3598.68 c GLOBAL bounds - >= 5255 @ 3487.49
3590.26/3598.90 c GLOBAL bounds - >= 5255 @ 3487.57
3590.46/3599.11 c GLOBAL bounds - >= 5255 @ 3487.64
3590.66/3599.34 c GLOBAL bounds - >= 5255 @ 3487.73
3590.86/3599.57 c GLOBAL bounds - >= 5255 @ 3487.83
3591.16/3599.80 c GLOBAL bounds - >= 5255 @ 3487.92
3591.36/3600.02 c GLOBAL bounds - >= 5255 @ 3488.01
3591.56/3600.25 c GLOBAL bounds - >= 5255 @ 3488.11
3591.96/3600.61 c GLOBAL bounds - >= 5255 @ 3488.31
3592.25/3600.91 c GLOBAL bounds - >= 5255 @ 3488.46
3592.46/3601.17 c GLOBAL bounds - >= 5255 @ 3488.6
3592.46/3601.18 c GLOBAL bounds - >= 5255 @ 3488.6
3592.55/3601.21 c GLOBAL bounds - >= 5255 @ 3488.62
3592.55/3601.24 c GLOBAL bounds - >= 5255 @ 3488.64
3592.55/3601.26 c GLOBAL bounds - >= 5255 @ 3488.66
3592.55/3601.29 c GLOBAL bounds - >= 5255 @ 3488.67
3592.66/3601.31 c GLOBAL bounds - >= 5255 @ 3488.68
3592.85/3601.53 c GLOBAL bounds - >= 5255 @ 3488.76
3592.85/3601.56 c GLOBAL bounds - >= 5255 @ 3488.77
3593.05/3601.77 c GLOBAL bounds - >= 5255 @ 3488.86
3593.16/3601.80 c GLOBAL bounds - >= 5255 @ 3488.87
3593.36/3602.01 c GLOBAL bounds - >= 5255 @ 3488.95
3593.36/3602.04 c GLOBAL bounds - >= 5255 @ 3488.96
3593.55/3602.25 c GLOBAL bounds - >= 5255 @ 3489.04
3593.55/3602.29 c GLOBAL bounds - >= 5255 @ 3489.06
3593.85/3602.50 c GLOBAL bounds - >= 5255 @ 3489.14
3593.85/3602.53 c GLOBAL bounds - >= 5255 @ 3489.15
3594.05/3602.75 c GLOBAL bounds - >= 5255 @ 3489.24
3594.05/3602.77 c GLOBAL bounds - >= 5255 @ 3489.26
3594.25/3602.99 c GLOBAL bounds - >= 5255 @ 3489.33
3594.35/3603.02 c GLOBAL bounds - >= 5255 @ 3489.35
3594.55/3603.23 c GLOBAL bounds - >= 5255 @ 3489.43
3594.55/3603.26 c GLOBAL bounds - >= 5255 @ 3489.45
3594.75/3603.48 c GLOBAL bounds - >= 5255 @ 3489.53
3594.85/3603.51 c GLOBAL bounds - >= 5255 @ 3489.54
3595.05/3603.72 c GLOBAL bounds - >= 5255 @ 3489.63
3595.24/3603.95 c GLOBAL bounds - >= 5255 @ 3489.72
3595.46/3604.17 c GLOBAL bounds - >= 5255 @ 3489.81
3595.65/3604.39 c GLOBAL bounds - >= 5255 @ 3489.89
3595.95/3604.61 c GLOBAL bounds - >= 5255 @ 3489.99
3596.15/3604.85 c GLOBAL bounds - >= 5255 @ 3490.09
3596.36/3605.10 c GLOBAL bounds - >= 5255 @ 3490.2
3596.65/3605.35 c GLOBAL bounds - >= 5255 @ 3490.32
3596.95/3605.66 c GLOBAL bounds - >= 5255 @ 3490.48
3597.64/3606.34 c GLOBAL bounds - >= 5255 @ 3491.01
3600.04/3608.70 c cpu time 3493.29 s
3600.04/3608.70 c deterministic time 112014041 1.12e+08
3600.04/3608.70 c optimization time 3480.94 s
3600.04/3608.70 c total solve time 6.88007 s
3600.04/3608.70 c core-guided solve time 0 s
3600.04/3608.70 c propagation time 3.80337 s
3600.04/3608.70 c conflict analysis time 1.59515 s
3600.04/3608.70 c propagations 19955809
3600.04/3608.70 c resolve steps 41018
3600.04/3608.70 c decisions 18972863
3600.04/3608.70 c conflicts 1557
3600.04/3608.70 c restarts 10
3600.04/3608.70 c inprocessing phases 0
3600.04/3608.70 c garbage collections 0 ,( -nan )
3600.04/3608.70 c input clauses 1597280 ,( 99.99 )
3600.04/3608.70 c input cardinalities 0 ,( 0.00 )
3600.04/3608.70 c input general constraints 92 ,( 0.01 )
3600.04/3608.70 c input average constraint length 3.41
3600.04/3608.70 c input average constraint degree 551.06
3600.04/3608.70 c learned clauses 1577 ,( 100.00 )
3600.04/3608.70 c learned cardinalities 0 ,( 0.00 )
3600.04/3608.70 c learned general constraints 0 ,( 0.00 )
3600.04/3608.70 c learned average constraint length 129.94
3600.04/3608.70 c learned average constraint degree 1.00
3600.04/3608.70 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3608.70 c counting CF 32, 64, 128, Arb: 93 , 0 , 0 , 0
3600.04/3608.70 c watched constraints 0 ,( 0.00 )
3600.04/3608.70 c counting constraints 92 ,( 100.00 )
3600.04/3608.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 11831132 , 0 , 600039 ,( 0 , 600039 )
3600.04/3608.70 c gcd simplifications 0
3600.04/3608.70 c detected cardinalities 0
3600.04/3608.70 c weakened non-implied lits 0
3600.04/3608.70 c weakened non-implying lits 0
3600.04/3608.70 c original variables 214550
3600.04/3608.70 c clausal propagations 11206943
3600.04/3608.70 c cardinality propagations 0
3600.04/3608.70 c watched propagations 0
3600.04/3608.70 c counting propagations 31933
3600.04/3608.70 c watch lookups 12764591
3600.04/3608.70 c watch backjump lookups 0
3600.04/3608.70 c watch checks 9460489
3600.04/3608.70 c propagation checks 11267175
3600.04/3608.70 c constraint additions 779191
3600.04/3608.70 c trail pops 38813922
3600.04/3608.70 c formula constraints 1596582
3600.04/3608.70 c learned constraints 1577
3600.04/3608.70 c bound constraints 0
3600.04/3608.70 c core-guided constraints 0
3600.04/3608.70 c encountered formula constraints 40923
3600.04/3608.70 c encountered learned constraints 1652
3600.04/3608.70 c encountered bound constraints 0
3600.04/3608.70 c encountered core-guided constraints 0
3600.04/3608.70 c LP total time 0 s
3600.04/3608.70 c LP solve time 0 s
3600.04/3608.70 c LP constraints added 0
3600.04/3608.70 c LP constraints removed 0
3600.04/3608.70 c LP pivots internal 0
3600.04/3608.70 c LP pivots root 0
3600.04/3608.70 c LP calls 0
3600.04/3608.70 c LP optimalities 0
3600.04/3608.70 c LP no pivot count 0
3600.04/3608.70 c LP infeasibilities 0
3600.04/3608.70 c LP valid Farkas constraints 0
3600.04/3608.70 c LP learned Farkas constraints 0
3600.04/3608.70 c LP basis resets 0
3600.04/3608.70 c LP cycling count 0
3600.04/3608.70 c LP singular count 0
3600.04/3608.70 c LP no primal count 0
3600.04/3608.70 c LP no farkas count 0
3600.04/3608.70 c LP other issue count 0
3600.04/3608.70 c LP Gomory cuts 0
3600.04/3608.70 c LP learned cuts 0
3600.04/3608.70 c LP deleted cuts 0
3600.04/3608.70 c LP encountered Gomory constraints 0
3600.04/3608.70 c LP encountered Farkas constraints 0
3600.04/3608.70 c LP encountered learned Farkas constraints 0
3600.04/3608.70 c CG auxiliary variables introduced 143
3600.04/3608.70 c CG solutions found 0
3600.04/3608.70 c CG cores constructed 501
3600.04/3608.70 c CG core cardinality constraints returned 0
3600.04/3608.70 c CG unit cores 0
3600.04/3608.70 c CG single cores 0
3600.04/3608.70 c CG blocks removed during cardinality reduction 0
3600.04/3608.70 c CG first core best 0
3600.04/3608.70 c CG decision core best 0
3600.04/3608.70 c CG core reduction tie 0
3600.04/3608.70 c CG core degree average 0.00
3600.04/3608.70 c CG core slack average 0.00
3600.04/3608.70 c CG core upper bound improvements 0
3600.04/3608.70 c STR number of successful calls 0
3600.04/3608.70 c STR number of unsuccessful calls 0
3600.04/3608.70 c STR number of inconclusive calls 0
3600.04/3608.70 c STR number of successful attempts 0
3600.04/3608.70 c STR number of unsuccessful attempts 0
3600.04/3608.70 c STR number of inconclusive attempts 0
3600.04/3608.70 c STR average degree increase per successful call inf
3600.04/3608.70 c STR average degree increase per successful attempt inf
3600.04/3608.70 c STR total number of conflicts for successful attempts 0
3600.04/3608.70 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3608.70 c STR total number of conflicts for inconclusive attempts 0
3600.04/3608.70 c STR average number of conflicts per successful attempt inf
3600.04/3608.70 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3608.70 c STR average number of conflicts per inconclusive attempt inf
3600.04/3608.70 c AVG.sumWPerc 99.97
3600.04/3608.70 c bigint constraints 0
3600.04/3608.70 s UNKNOWN
3600.04/3608.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 (56399 MiB free)
memory of node 1: 64507 MiB (58509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506458-1751504293/watcher-4506458-1751504293 -o /tmp/evaluation-result-4506458-1751504293/solver-4506458-1751504293 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70774 --watchdog 3760 run-opt.sh HOME/instance-4506458-1751504293.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=71268, runsolver pid=71265
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.40 4.27 4.13 5/271 71270
/proc/meminfo: memFree=117641796/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=93508 memory=48500 CPUtime=0.08 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 6231 0 0 0 6 2 0 0 20 0 1 0 66107130 95752192 12125 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 23377 12125 1888 1147 0 10804 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 97700 KiB
Current children cumulated memory: 51572 KiB
[startup+0.205665 s]*
/proc/loadavg: 4.40 4.27 4.13 5/271 71270
/proc/meminfo: memFree=117638016/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=95848 memory=51316 CPUtime=0.19 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 6940 0 0 0 14 5 0 0 20 0 1 0 66107130 98148352 12829 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 23962 12829 1888 1147 0 11389 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 100040 KiB
Current children cumulated memory: 54388 KiB
[startup+0.305558 s]*
/proc/loadavg: 4.40 4.27 4.13 5/271 71270
/proc/meminfo: memFree=117632220/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=97692 memory=53748 CPUtime=0.29 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 7554 0 0 0 24 5 0 0 20 0 1 0 66107130 100036608 13437 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 24423 13437 1888 1147 0 11850 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101884 KiB
Current children cumulated memory: 56820 KiB
[startup+0.700178 s]
/proc/loadavg: 4.40 4.27 4.13 5/271 71270
/proc/meminfo: memFree=117621596/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=105800 memory=62140 CPUtime=0.68 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 9188 0 0 0 57 11 0 0 20 0 1 0 66107130 108339200 15535 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 26450 15535 1888 1147 0 13877 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109992 KiB
Current children cumulated memory: 65212 KiB
[startup+1.50018 s]
/proc/loadavg: 4.37 4.26 4.13 5/271 71270
/proc/meminfo: memFree=117604712/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=128516 memory=82852 CPUtime=1.48 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 12625 0 0 0 123 25 0 0 20 0 1 0 66107130 131600384 20713 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 32129 20713 1888 1147 0 19556 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 132708 KiB
Current children cumulated memory: 85924 KiB
[startup+3.10547 s]
/proc/loadavg: 4.37 4.26 4.13 5/271 71270
/proc/meminfo: memFree=117494404/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=182740 memory=121480 CPUtime=3.08 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 19645 0 0 0 255 53 0 0 20 0 1 0 66107130 187125760 30370 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 45685 30370 1888 1147 0 33112 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 186932 KiB
Current children cumulated memory: 124552 KiB
[startup+6.30017 s]
/proc/loadavg: 4.34 4.26 4.12 5/271 71270
/proc/meminfo: memFree=117316832/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=258660 memory=191484 CPUtime=6.27 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 29544 0 0 0 519 108 0 0 20 0 1 0 66107130 264867840 47871 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 64665 47871 1888 1147 0 52092 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 262852 KiB
Current children cumulated memory: 194556 KiB
[startup+12.7002 s]
/proc/loadavg: 4.31 4.25 4.12 5/271 71270
/proc/meminfo: memFree=117135252/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=391968 memory=296132 CPUtime=12.66 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 46997 0 0 0 791 475 0 0 20 0 1 0 66107130 401375232 74033 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 97992 74033 2048 1147 0 85419 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 396160 KiB
Current children cumulated memory: 299204 KiB
[startup+25.5002 s]
/proc/loadavg: 4.26 4.25 4.12 5/271 71270
/proc/meminfo: memFree=116649460/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=510216 memory=407328 CPUtime=25.43 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 66699 0 0 0 1332 1211 0 0 20 0 1 0 66107130 522461184 101832 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 127554 101832 2048 1147 0 114981 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 514408 KiB
Current children cumulated memory: 410400 KiB
[startup+51.1056 s]
/proc/loadavg: 4.22 4.24 4.12 5/271 71271
/proc/meminfo: memFree=115641304/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=920176 memory=760592 CPUtime=50.97 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 130023 0 0 0 3409 1688 0 0 20 0 1 0 66107130 942260224 190148 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 230044 190148 2048 1147 0 217471 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 924368 KiB
Current children cumulated memory: 763664 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.21 4.12 5/268 71272
/proc/meminfo: memFree=113811728/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=2195668 memory=1896464 CPUtime=102.06 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 339058 0 0 0 6806 3400 0 0 20 0 1 0 66107130 2248364032 474116 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 548917 474116 2048 1147 0 536344 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 2199860 KiB
Current children cumulated memory: 1899536 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.19 4.11 5/269 71275
/proc/meminfo: memFree=113598664/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=2195668 memory=1896464 CPUtime=161.93 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 342105 0 0 0 12316 3877 0 0 20 0 1 0 66107130 2248364032 474116 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 548917 474116 2048 1147 0 536344 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 2199860 KiB
Current children cumulated memory: 1899536 KiB
[startup+222.3 s]
/proc/loadavg: 4.39 4.25 4.13 5/269 71296
/proc/meminfo: memFree=113462796/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=2195804 memory=1898744 CPUtime=221.78 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 342177 0 0 0 17998 4180 0 0 20 0 1 0 66107130 2248503296 474686 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 548951 474686 2048 1147 0 536378 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 71537
/proc/meminfo: memFree=88982672/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=12371896 memory=10066568 CPUtime=3214.56 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 1926839 0 0 0 312148 9308 0 0 20 0 1 0 66107130 12668821504 2516642 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 3092974 2516642 2048 1147 0 3080401 0
Current children cumulated CPU time: 3214.56 s
Current children cumulated vsize: 12376088 KiB
Current children cumulated memory: 10069640 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 71539
/proc/meminfo: memFree=88598320/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=12371896 memory=10066568 CPUtime=3274.41 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 1926936 0 0 0 318130 9311 0 0 20 0 1 0 66107130 12668821504 2516642 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 3092974 2516642 2048 1147 0 3080401 0
Current children cumulated CPU time: 3274.41 s
Current children cumulated vsize: 12376088 KiB
Current children cumulated memory: 10069640 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/269 71587
/proc/meminfo: memFree=98633448/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=12371896 memory=10066568 CPUtime=3334.27 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 1927195 0 0 0 324110 9317 0 0 20 0 1 0 66107130 12668821504 2516642 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 3092974 2516642 2048 1147 0 3080401 0
Current children cumulated CPU time: 3334.27 s
Current children cumulated vsize: 12376088 KiB
Current children cumulated memory: 10069640 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/270 71590
/proc/meminfo: memFree=96829992/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=12371896 memory=10066568 CPUtime=3394.13 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 1927536 0 0 0 330094 9319 0 0 20 0 1 0 66107130 12668821504 2516642 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 3092974 2516642 2048 1147 0 3080401 0
Current children cumulated CPU time: 3394.13 s
Current children cumulated vsize: 12376088 KiB
Current children cumulated memory: 10069640 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/270 71592
/proc/meminfo: memFree=95917004/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=12371896 memory=10066568 CPUtime=3453.99 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 1928076 0 0 0 335417 9982 0 0 20 0 1 0 66107130 12668821504 2516642 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 3092974 2516642 2048 1147 0 3080401 0
Current children cumulated CPU time: 3453.99 s
Current children cumulated vsize: 12376088 KiB
Current children cumulated memory: 10069640 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 71594
/proc/meminfo: memFree=94887620/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=12371896 memory=10068616 CPUtime=3513.84 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 1929030 0 0 0 341325 10059 0 0 20 0 1 0 66107130 12668821504 2517154 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 3092974 2517154 2048 1147 0 3080401 0
Current children cumulated CPU time: 3513.84 s
Current children cumulated vsize: 12376088 KiB
Current children cumulated memory: 10071688 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 71597
/proc/meminfo: memFree=89173092/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=12371896 memory=10074632 CPUtime=3573.7 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 1931791 0 0 0 347259 10111 0 0 20 0 1 0 66107130 12668821504 2518658 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 3092974 2518658 2048 1147 0 3080401 0
Current children cumulated CPU time: 3573.7 s
Current children cumulated vsize: 12376088 KiB
Current children cumulated memory: 10077704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 71600
/proc/meminfo: memFree=92710084/131249996 swapFree=33010160/33010684
[pid=71268] ppid=71265 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71268/stat : 71268 (run-opt.sh) S 71265 71268 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66107129 4292608 768 18446744073709551615 94558306570240 94558307464773 140728488390272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94558307703824 94558307751568 94558312439808 140728488393069 140728488393192 140728488393192 140728488398794 0
/proc/71268/statm: 1048 768 704 219 0 110 0
[pid=71270] ppid=71268 vsize=13870528 memory=10297440 CPUtime=3600.04 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71268 71268 70763 0 -1 4194304 1953811 0 0 0 349328 10676 0 0 20 0 1 0 66107130 14203420672 2574360 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 3467632 2574360 2048 1147 0 3455059 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 13874720 KiB
Current children cumulated memory: 10300512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.7 s]
# the end of solver process 71268 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.002047 s
[startup+3609.14 s]
# the end of solver process 71270 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3493.32 s, system=107.164 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+3608.8 s]*
/proc/loadavg: 4.07 4.08 4.09 5/263 71606
/proc/meminfo: memFree=111201016/131249996 swapFree=33010160/33010684
[pid=71270] ppid=71265 vsize=11343220 memory=7669776 CPUtime=3600.15 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71265 71268 70763 0 -1 4194304 1953856 0 0 0 349329 10686 0 0 20 0 1 0 66107130 11615457280 1917444 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 2835805 1917444 2176 1147 0 2823232 0
Current cumulated CPU time of completed processes: 0.002047 s
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 11343220 KiB
Current children cumulated memory: 7669776 KiB
[startup+3609 s]*
/proc/loadavg: 4.07 4.08 4.09 4/264 71615
/proc/meminfo: memFree=116314360/131249996 swapFree=33010160/33010684
[pid=71270] ppid=71265 vsize=4830100 memory=2612856 CPUtime=3600.34 cores=4,6
/proc/71270/stat : 71270 (roundingsat) R 71265 71268 70763 0 -1 4194304 1953856 0 0 0 349331 10703 0 0 20 0 1 0 66107130 4946022400 653214 18446744073709551615 4227072 8923433 140723236727696 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41443328 140723236735394 140723236735528 140723236735528 140723236741098 0
/proc/71270/statm: 1207525 653214 2176 1147 0 1194952 0
Current cumulated CPU time of completed processes: 0.002047 s
Current children cumulated CPU time: 3600.34 s
Current children cumulated vsize: 4830100 KiB
Current children cumulated memory: 2612856 KiB
[startup+3609.11 s]*
/proc/loadavg: 4.07 4.08 4.09 4/263 71628
/proc/meminfo: memFree=118455216/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.002047 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): 3609.14
CPU time (s): 3600.48
CPU user time (s): 3493.32
CPU system time (s): 107.164
CPU usage (%): 99.7602
Max. virtual memory (cumulated for all children) (KiB): 13874720
Max. memory (cumulated for all children) (KiB): 10300512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3493.32
system time used= 107.164
maximum resident set size= 10298080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1954081
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= 144
involuntary context switches= 2402
# summary of solver processes directly reported to runsolver:
# pid: 71268,71270
# total CPU time (s): 3600.48
# total CPU user time (s): 3493.32
# total CPU system time (s): 107.164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04481 second user time and 16.4892 second system time
The end
Begin job on nodeC021 at 2025-07-03 02:58:14
IDJOB=4506458
IDBENCH=158210
IDSOLVER=3350
FILE ID=nodeC021/4506458-1751504293
RUNJOBID= nodeC021-1751500681-70774
SLURM_JOB_ID= 9598584
Free space on /tmp= 430612 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped2.G.recomb1-0.20-14.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506458-1751504293/watcher-4506458-1751504293 -o /tmp/evaluation-result-4506458-1751504293/solver-4506458-1751504293 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70774 --watchdog 3760 run-opt.sh HOME/instance-4506458-1751504293.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9031c16a74ff76df112c718c9324bf0f
RANDOM SEED=635744293
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 : 3599.782
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.956
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 : 3603.678
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 : 3375.155
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.661
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.777
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 : 3598.623
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: 117667064 kB
MemAvailable: 121814876 kB
Buffers: 2128 kB
Cached: 4886008 kB
SwapCached: 20 kB
Active: 8421644 kB
Inactive: 4407264 kB
Active(anon): 7947896 kB
Inactive(anon): 10924 kB
Active(file): 473748 kB
Inactive(file): 4396340 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 245612 kB
Writeback: 0 kB
AnonPages: 7942872 kB
Mapped: 116196 kB
Shmem: 18040 kB
KReclaimable: 233528 kB
Slab: 325068 kB
SReclaimable: 233528 kB
SUnreclaim: 91540 kB
KernelStack: 4368 kB
PageTables: 20552 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 9573096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3127296 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= 430780 MiB
End job on nodeC021 at 2025-07-03 03:58:24