0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
9.61/9.74 c #variables 214550 #constraints 1596582
9.61/9.74 c objective is ce32
10.02/10.13 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
10.02/10.13 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
10.02/10.13 c GLOBAL bounds - >= 0 @ 8.76455
10.20/10.38 c GLOBAL bounds - >= 0 @ 8.86584
10.20/10.38 c GLOBAL bounds - >= 4 @ 8.86779
10.31/10.42 c GLOBAL bounds - >= 4 @ 8.88847
10.50/10.63 c GLOBAL bounds - >= 4 @ 8.96157
10.50/10.67 c GLOBAL bounds - >= 4 @ 8.99331
10.71/10.89 c GLOBAL bounds - >= 4 @ 9.07306
10.71/10.90 c GLOBAL bounds - >= 4 @ 9.07824
11.02/11.11 c GLOBAL bounds - >= 4 @ 9.15527
11.02/11.14 c GLOBAL bounds - >= 4 @ 9.16685
11.20/11.36 c GLOBAL bounds - >= 4 @ 9.23907
11.20/11.37 c GLOBAL bounds - >= 4 @ 9.24453
11.41/11.59 c GLOBAL bounds - >= 4 @ 9.32124
11.50/11.63 c GLOBAL bounds - >= 4 @ 9.34004
11.70/11.85 c GLOBAL bounds - >= 4 @ 9.43061
11.70/11.87 c GLOBAL bounds - >= 4 @ 9.44383
11.92/12.09 c GLOBAL bounds - >= 4 @ 9.53396
12.01/12.12 c GLOBAL bounds - >= 4 @ 9.54706
12.20/12.34 c GLOBAL bounds - >= 4 @ 9.62794
12.20/12.37 c GLOBAL bounds - >= 4 @ 9.64325
12.40/12.59 c GLOBAL bounds - >= 4 @ 9.73656
12.50/12.61 c GLOBAL bounds - >= 4 @ 9.74612
12.70/12.83 c GLOBAL bounds - >= 4 @ 9.82765
12.92/13.05 c GLOBAL bounds - >= 4 @ 9.90473
13.10/13.26 c GLOBAL bounds - >= 4 @ 9.98432
13.30/13.49 c GLOBAL bounds - >= 4 @ 10.0795
13.59/13.72 c GLOBAL bounds - >= 4 @ 10.1823
13.80/13.95 c GLOBAL bounds - >= 4 @ 10.2713
14.01/14.15 c GLOBAL bounds - >= 4 @ 10.3543
14.01/14.17 c GLOBAL bounds - >= 1168 @ 10.3743
14.09/14.21 c GLOBAL bounds - >= 1168 @ 10.3964
14.09/14.23 c GLOBAL bounds - >= 1168 @ 10.4098
14.29/14.45 c GLOBAL bounds - >= 1168 @ 10.4875
14.29/14.48 c GLOBAL bounds - >= 1168 @ 10.502
14.60/14.70 c GLOBAL bounds - >= 1168 @ 10.5979
14.60/14.72 c GLOBAL bounds - >= 1168 @ 10.607
14.79/14.95 c GLOBAL bounds - >= 1168 @ 10.701
14.79/14.97 c GLOBAL bounds - >= 1168 @ 10.713
15.00/15.19 c GLOBAL bounds - >= 1168 @ 10.7885
15.09/15.24 c GLOBAL bounds - >= 1168 @ 10.8265
15.30/15.46 c GLOBAL bounds - >= 1168 @ 10.9054
15.30/15.49 c GLOBAL bounds - >= 1168 @ 10.9191
15.59/15.71 c GLOBAL bounds - >= 1168 @ 11.0022
15.59/15.74 c GLOBAL bounds - >= 1168 @ 11.0114
15.80/15.96 c GLOBAL bounds - >= 1168 @ 11.0917
15.80/15.99 c GLOBAL bounds - >= 1168 @ 11.1061
16.09/16.21 c GLOBAL bounds - >= 1168 @ 11.1821
16.09/16.23 c GLOBAL bounds - >= 1168 @ 11.1894
16.29/16.45 c GLOBAL bounds - >= 1168 @ 11.2754
16.29/16.46 c GLOBAL bounds - >= 1168 @ 11.2808
16.49/16.68 c GLOBAL bounds - >= 1168 @ 11.369
16.79/16.91 c GLOBAL bounds - >= 1168 @ 11.4359
17.00/17.13 c GLOBAL bounds - >= 1168 @ 11.5116
17.19/17.35 c GLOBAL bounds - >= 1168 @ 11.6001
17.39/17.57 c GLOBAL bounds - >= 1168 @ 11.6766
17.59/17.79 c GLOBAL bounds - >= 1168 @ 11.7587
17.79/18.00 c GLOBAL bounds - >= 1168 @ 11.8325
18.09/18.22 c GLOBAL bounds - >= 1168 @ 11.9158
18.28/18.43 c GLOBAL bounds - >= 1168 @ 11.9934
18.49/18.65 c GLOBAL bounds - >= 1168 @ 12.081
18.69/18.87 c GLOBAL bounds - >= 1168 @ 12.1683
18.90/19.10 c GLOBAL bounds - >= 1168 @ 12.27
19.00/19.13 c GLOBAL bounds - >= 1751 @ 12.3001
19.00/19.16 c GLOBAL bounds - >= 1751 @ 12.3174
19.00/19.18 c GLOBAL bounds - >= 1751 @ 12.3252
19.08/19.20 c GLOBAL bounds - >= 1751 @ 12.3363
19.08/19.22 c GLOBAL bounds - >= 1751 @ 12.3454
19.08/19.24 c GLOBAL bounds - >= 1751 @ 12.3523
19.29/19.47 c GLOBAL bounds - >= 1751 @ 12.4365
19.29/19.48 c GLOBAL bounds - >= 1751 @ 12.4467
19.48/19.70 c GLOBAL bounds - >= 1751 @ 12.5139
19.58/19.72 c GLOBAL bounds - >= 1751 @ 12.529
19.78/19.93 c GLOBAL bounds - >= 1751 @ 12.6097
19.78/19.96 c GLOBAL bounds - >= 1751 @ 12.6197
20.00/20.18 c GLOBAL bounds - >= 1751 @ 12.7052
20.08/20.21 c GLOBAL bounds - >= 1751 @ 12.7141
20.28/20.42 c GLOBAL bounds - >= 1751 @ 12.7784
20.28/20.45 c GLOBAL bounds - >= 1751 @ 12.7908
20.48/20.67 c GLOBAL bounds - >= 1751 @ 12.8716
20.48/20.69 c GLOBAL bounds - >= 1751 @ 12.8855
20.78/20.92 c GLOBAL bounds - >= 1751 @ 12.965
20.78/20.94 c GLOBAL bounds - >= 1751 @ 12.9763
20.99/21.16 c GLOBAL bounds - >= 1751 @ 13.0643
20.99/21.18 c GLOBAL bounds - >= 1751 @ 13.0744
21.28/21.41 c GLOBAL bounds - >= 1751 @ 13.1604
21.28/21.43 c GLOBAL bounds - >= 1751 @ 13.1681
21.48/21.65 c GLOBAL bounds - >= 1751 @ 13.2516
21.68/21.87 c GLOBAL bounds - >= 1751 @ 13.3331
21.89/22.09 c GLOBAL bounds - >= 1751 @ 13.4169
22.17/22.32 c GLOBAL bounds - >= 1751 @ 13.5085
22.38/22.55 c GLOBAL bounds - >= 1751 @ 13.5975
22.57/22.78 c GLOBAL bounds - >= 1751 @ 13.6949
22.78/23.00 c GLOBAL bounds - >= 1751 @ 13.7756
23.07/23.23 c GLOBAL bounds - >= 1751 @ 13.861
23.37/23.58 c GLOBAL bounds - >= 1751 @ 14.0691
23.77/23.91 c GLOBAL bounds - >= 1751 @ 14.2549
24.07/24.24 c GLOBAL bounds - >= 1751 @ 14.4314
24.37/24.50 c GLOBAL bounds - >= 1751 @ 14.5743
24.57/24.73 c GLOBAL bounds - >= 1751 @ 14.6779
24.57/24.78 c GLOBAL bounds - >= 2333 @ 14.7207
24.67/24.82 c GLOBAL bounds - >= 2333 @ 14.7504
24.88/25.04 c GLOBAL bounds - >= 2333 @ 14.8332
24.88/25.07 c GLOBAL bounds - >= 2333 @ 14.8478
25.06/25.29 c GLOBAL bounds - >= 2333 @ 14.9375
25.17/25.31 c GLOBAL bounds - >= 2333 @ 14.9482
25.37/25.53 c GLOBAL bounds - >= 2333 @ 15.0341
25.37/25.56 c GLOBAL bounds - >= 2333 @ 15.0537
25.57/25.79 c GLOBAL bounds - >= 2333 @ 15.1411
25.67/25.81 c GLOBAL bounds - >= 2333 @ 15.15
25.88/26.03 c GLOBAL bounds - >= 2333 @ 15.2315
25.88/26.07 c GLOBAL bounds - >= 2333 @ 15.2525
26.06/26.29 c GLOBAL bounds - >= 2333 @ 15.3315
26.16/26.32 c GLOBAL bounds - >= 2333 @ 15.3484
26.36/26.54 c GLOBAL bounds - >= 2333 @ 15.439
26.36/26.55 c GLOBAL bounds - >= 2333 @ 15.4417
26.57/26.77 c GLOBAL bounds - >= 2333 @ 15.5284
26.57/26.80 c GLOBAL bounds - >= 2333 @ 15.5405
26.88/27.02 c GLOBAL bounds - >= 2333 @ 15.6245
26.88/27.02 c GLOBAL bounds - >= 2333 @ 15.6268
27.06/27.24 c GLOBAL bounds - >= 2333 @ 15.7153
27.26/27.45 c GLOBAL bounds - >= 2333 @ 15.776
27.47/27.68 c GLOBAL bounds - >= 2333 @ 15.8565
27.76/27.90 c GLOBAL bounds - >= 2333 @ 15.9438
27.97/28.16 c GLOBAL bounds - >= 2333 @ 16.0584
28.27/28.41 c GLOBAL bounds - >= 2333 @ 16.173
28.46/28.66 c GLOBAL bounds - >= 2333 @ 16.3065
28.56/28.78 c GLOBAL bounds - >= 3497 @ 16.4199
28.66/28.87 c GLOBAL bounds - >= 3497 @ 16.4933
28.66/28.89 c GLOBAL bounds - >= 3497 @ 16.5011
28.87/29.10 c GLOBAL bounds - >= 3497 @ 16.5755
28.97/29.12 c GLOBAL bounds - >= 3497 @ 16.5895
29.16/29.35 c GLOBAL bounds - >= 3497 @ 16.6729
29.16/29.37 c GLOBAL bounds - >= 3497 @ 16.6857
29.36/29.58 c GLOBAL bounds - >= 3497 @ 16.7481
29.45/29.61 c GLOBAL bounds - >= 3497 @ 16.7614
29.66/29.83 c GLOBAL bounds - >= 3497 @ 16.864
29.66/29.88 c GLOBAL bounds - >= 3497 @ 16.8969
29.87/30.10 c GLOBAL bounds - >= 3497 @ 16.9835
29.97/30.13 c GLOBAL bounds - >= 3497 @ 17.0018
30.16/30.35 c GLOBAL bounds - >= 3497 @ 17.0846
30.16/30.38 c GLOBAL bounds - >= 3497 @ 17.1037
30.46/30.60 c GLOBAL bounds - >= 3497 @ 17.198
30.46/30.69 c GLOBAL bounds - >= 3497 @ 17.2509
30.76/30.96 c GLOBAL bounds - >= 3497 @ 17.3463
30.76/31.00 c GLOBAL bounds - >= 3497 @ 17.3709
31.05/31.22 c GLOBAL bounds - >= 3497 @ 17.4526
31.05/31.25 c GLOBAL bounds - >= 3497 @ 17.4657
31.25/31.47 c GLOBAL bounds - >= 3497 @ 17.5434
31.46/31.70 c GLOBAL bounds - >= 3497 @ 17.6275
31.75/31.93 c GLOBAL bounds - >= 3497 @ 17.7237
31.96/32.16 c GLOBAL bounds - >= 3497 @ 17.827
32.25/32.40 c GLOBAL bounds - >= 3497 @ 17.9402
32.45/32.63 c GLOBAL bounds - >= 3497 @ 18.0188
32.65/32.85 c GLOBAL bounds - >= 3497 @ 18.1028
32.86/33.09 c GLOBAL bounds - >= 3497 @ 18.196
33.15/33.30 c GLOBAL bounds - >= 3497 @ 18.2765
33.34/33.58 c GLOBAL bounds - >= 3497 @ 18.4148
33.65/33.84 c GLOBAL bounds - >= 3497 @ 18.5425
33.74/33.91 c GLOBAL bounds - >= 4079 @ 18.6133
33.74/33.96 c GLOBAL bounds - >= 4079 @ 18.6411
33.74/33.98 c GLOBAL bounds - >= 4079 @ 18.6521
33.96/34.19 c GLOBAL bounds - >= 4079 @ 18.7168
34.05/34.22 c GLOBAL bounds - >= 4079 @ 18.7332
34.24/34.44 c GLOBAL bounds - >= 4079 @ 18.8176
34.24/34.46 c GLOBAL bounds - >= 4079 @ 18.8311
34.44/34.68 c GLOBAL bounds - >= 4079 @ 18.9028
34.54/34.70 c GLOBAL bounds - >= 4079 @ 18.9167
34.74/34.91 c GLOBAL bounds - >= 4079 @ 18.9915
34.74/34.94 c GLOBAL bounds - >= 4079 @ 19.0044
34.96/35.15 c GLOBAL bounds - >= 4079 @ 19.0818
34.96/35.18 c GLOBAL bounds - >= 4079 @ 19.1001
35.14/35.40 c GLOBAL bounds - >= 4079 @ 19.1752
35.25/35.42 c GLOBAL bounds - >= 4079 @ 19.1828
35.44/35.63 c GLOBAL bounds - >= 4079 @ 19.2535
35.44/35.66 c GLOBAL bounds - >= 4079 @ 19.267
35.64/35.87 c GLOBAL bounds - >= 4079 @ 19.3493
35.74/35.91 c GLOBAL bounds - >= 4079 @ 19.3668
35.95/36.13 c GLOBAL bounds - >= 4079 @ 19.456
35.95/36.16 c GLOBAL bounds - >= 4079 @ 19.4654
36.14/36.38 c GLOBAL bounds - >= 4079 @ 19.5562
36.34/36.59 c GLOBAL bounds - >= 4079 @ 19.636
36.64/36.81 c GLOBAL bounds - >= 4079 @ 19.7136
36.85/37.05 c GLOBAL bounds - >= 4079 @ 19.8201
37.04/37.28 c GLOBAL bounds - >= 4079 @ 19.913
37.34/37.53 c GLOBAL bounds - >= 4079 @ 20.0237
37.54/37.78 c GLOBAL bounds - >= 4079 @ 20.1248
90.29/90.69 c #Conflicts: 1000 | #Constraints: 1273
90.29/90.69 c #Conflicts: 2000 | #Constraints: 2273
90.29/90.69 c INPROCESSING
90.29/90.69 c GARBAGE COLLECT
90.29/90.69 c #Conflicts: 3000 | #Constraints: 2237
90.29/90.69 c #Conflicts: 4000 | #Constraints: 3237
90.29/90.69 c INPROCESSING
90.29/90.69 c GARBAGE COLLECT
90.29/90.69 c #Conflicts: 5000 | #Constraints: 2646
90.29/90.69 c #Conflicts: 6000 | #Constraints: 3646
90.29/90.69 c #Conflicts: 7000 | #Constraints: 4646
90.29/90.69 c GLOBAL bounds - >= 4663 @ 71.7488
90.38/90.78 c GLOBAL bounds - >= 4663 @ 71.819
90.49/90.80 c GLOBAL bounds - >= 4663 @ 71.8336
90.49/90.83 c GLOBAL bounds - >= 4663 @ 71.8519
90.49/90.86 c GLOBAL bounds - >= 4663 @ 71.8656
90.49/90.89 c GLOBAL bounds - >= 4663 @ 71.8792
90.70/91.11 c GLOBAL bounds - >= 4663 @ 71.9684
90.80/91.12 c GLOBAL bounds - >= 4663 @ 71.973
90.98/91.34 c GLOBAL bounds - >= 4663 @ 72.0584
90.98/91.36 c GLOBAL bounds - >= 4663 @ 72.0653
91.18/91.58 c GLOBAL bounds - >= 4663 @ 72.1367
91.29/91.61 c GLOBAL bounds - >= 4663 @ 72.1477
91.49/91.83 c GLOBAL bounds - >= 4663 @ 72.2242
91.49/91.85 c GLOBAL bounds - >= 4663 @ 72.2361
91.70/92.07 c GLOBAL bounds - >= 4663 @ 72.323
91.70/92.10 c GLOBAL bounds - >= 4663 @ 72.3341
91.98/92.32 c GLOBAL bounds - >= 4663 @ 72.4176
91.98/92.34 c GLOBAL bounds - >= 4663 @ 72.4296
92.18/92.57 c GLOBAL bounds - >= 4663 @ 72.5128
92.18/92.59 c GLOBAL bounds - >= 4663 @ 72.5248
92.48/92.81 c GLOBAL bounds - >= 4663 @ 72.6237
92.48/92.84 c GLOBAL bounds - >= 4663 @ 72.6334
92.70/93.06 c GLOBAL bounds - >= 4663 @ 72.7165
92.70/93.08 c GLOBAL bounds - >= 4663 @ 72.7321
92.98/93.31 c GLOBAL bounds - >= 4663 @ 72.8198
93.19/93.52 c GLOBAL bounds - >= 4663 @ 72.8928
93.38/93.75 c GLOBAL bounds - >= 4663 @ 72.9877
93.58/93.97 c GLOBAL bounds - >= 4663 @ 73.0685
93.80/94.19 c GLOBAL bounds - >= 4663 @ 73.1516
94.08/94.42 c GLOBAL bounds - >= 4663 @ 73.2317
94.28/94.64 c GLOBAL bounds - >= 4663 @ 73.3123
94.58/94.91 c GLOBAL bounds - >= 4663 @ 73.4473
95.08/95.43 c GLOBAL bounds - >= 4663 @ 73.8149
96.87/97.25 c GLOBAL bounds - >= 4663 @ 75.3293
97.79/98.16 c #Conflicts: 8000 | #Constraints: 5701
97.79/98.16 c GLOBAL bounds - >= 4663 @ 76.0811
98.07/98.42 c GLOBAL bounds - >= 4663 @ 76.2074
98.27/98.67 c GLOBAL bounds - >= 4663 @ 76.3379
101.68/102.04 c GLOBAL bounds - >= 5244 @ 79.6066
101.68/102.07 c GLOBAL bounds - >= 5244 @ 79.6335
101.68/102.09 c GLOBAL bounds - >= 5244 @ 79.6465
101.77/102.12 c GLOBAL bounds - >= 5244 @ 79.6605
101.77/102.14 c GLOBAL bounds - >= 5244 @ 79.6706
101.96/102.36 c GLOBAL bounds - >= 5244 @ 79.7559
101.96/102.38 c GLOBAL bounds - >= 5244 @ 79.7689
102.16/102.59 c GLOBAL bounds - >= 5244 @ 79.8506
102.26/102.62 c GLOBAL bounds - >= 5244 @ 79.8616
102.46/102.83 c GLOBAL bounds - >= 5244 @ 79.9285
102.46/102.86 c GLOBAL bounds - >= 5244 @ 79.942
102.67/103.08 c GLOBAL bounds - >= 5244 @ 80.0293
102.67/103.11 c GLOBAL bounds - >= 5244 @ 80.0464
102.96/103.33 c GLOBAL bounds - >= 5244 @ 80.1371
102.96/103.36 c GLOBAL bounds - >= 5244 @ 80.1461
103.15/103.58 c GLOBAL bounds - >= 5244 @ 80.2333
103.25/103.61 c GLOBAL bounds - >= 5244 @ 80.2548
103.46/103.83 c GLOBAL bounds - >= 5244 @ 80.3477
103.46/103.86 c GLOBAL bounds - >= 5244 @ 80.3596
103.68/104.08 c GLOBAL bounds - >= 5244 @ 80.4471
103.77/104.13 c GLOBAL bounds - >= 5244 @ 80.4695
103.96/104.36 c GLOBAL bounds - >= 5244 @ 80.5438
103.96/104.39 c GLOBAL bounds - >= 5244 @ 80.5582
104.26/104.61 c GLOBAL bounds - >= 5244 @ 80.6467
104.45/104.82 c GLOBAL bounds - >= 5244 @ 80.7269
104.67/105.04 c GLOBAL bounds - >= 5244 @ 80.8024
104.85/105.25 c GLOBAL bounds - >= 5244 @ 80.8591
105.05/105.47 c GLOBAL bounds - >= 5244 @ 80.9342
105.25/105.70 c GLOBAL bounds - >= 5244 @ 81.0229
105.55/105.92 c GLOBAL bounds - >= 5244 @ 81.1073
105.77/106.14 c GLOBAL bounds - >= 5244 @ 81.1975
105.95/106.38 c GLOBAL bounds - >= 5244 @ 81.3013
106.25/106.69 c GLOBAL bounds - >= 5244 @ 81.482
106.55/106.94 c GLOBAL bounds - >= 5244 @ 81.5934
107.66/108.11 c GLOBAL bounds - >= 5246 @ 82.6962
107.76/108.14 c GLOBAL bounds - >= 5246 @ 82.7213
107.76/108.17 c GLOBAL bounds - >= 5246 @ 82.7326
107.76/108.19 c GLOBAL bounds - >= 5246 @ 82.7435
107.84/108.23 c GLOBAL bounds - >= 5246 @ 82.7633
108.04/108.44 c GLOBAL bounds - >= 5246 @ 82.8325
108.04/108.46 c GLOBAL bounds - >= 5246 @ 82.8448
108.25/108.68 c GLOBAL bounds - >= 5246 @ 82.9336
108.34/108.70 c GLOBAL bounds - >= 5246 @ 82.9435
108.54/108.92 c GLOBAL bounds - >= 5246 @ 83.0134
108.54/108.95 c GLOBAL bounds - >= 5246 @ 83.0292
108.76/109.17 c GLOBAL bounds - >= 5246 @ 83.1208
108.84/109.20 c GLOBAL bounds - >= 5246 @ 83.1402
109.05/109.43 c GLOBAL bounds - >= 5246 @ 83.226
109.05/109.45 c GLOBAL bounds - >= 5246 @ 83.2391
109.25/109.67 c GLOBAL bounds - >= 5246 @ 83.3249
109.34/109.71 c GLOBAL bounds - >= 5246 @ 83.3407
109.54/109.93 c GLOBAL bounds - >= 5246 @ 83.4236
109.54/109.97 c GLOBAL bounds - >= 5246 @ 83.4418
109.75/110.19 c GLOBAL bounds - >= 5246 @ 83.5255
109.84/110.22 c GLOBAL bounds - >= 5246 @ 83.5416
110.04/110.44 c GLOBAL bounds - >= 5246 @ 83.6256
110.14/110.51 c GLOBAL bounds - >= 5246 @ 83.6634
110.34/110.73 c GLOBAL bounds - >= 5246 @ 83.7528
110.54/110.95 c GLOBAL bounds - >= 5246 @ 83.8407
110.75/111.17 c GLOBAL bounds - >= 5246 @ 83.9208
111.04/111.40 c GLOBAL bounds - >= 5246 @ 84.0253
111.23/111.62 c GLOBAL bounds - >= 5246 @ 84.1044
111.43/111.83 c GLOBAL bounds - >= 5246 @ 84.1835
111.65/112.05 c GLOBAL bounds - >= 5246 @ 84.264
111.84/112.26 c GLOBAL bounds - >= 5246 @ 84.335
112.13/112.51 c GLOBAL bounds - >= 5246 @ 84.4405
112.34/112.74 c GLOBAL bounds - >= 5246 @ 84.5355
112.54/112.96 c GLOBAL bounds - >= 5246 @ 84.6198
112.75/113.19 c GLOBAL bounds - >= 5246 @ 84.7138
112.75/113.19 c GLOBAL bounds - >= 5246 @ 84.7145
112.84/113.22 c GLOBAL bounds - >= 5246 @ 84.7257
112.84/113.24 c GLOBAL bounds - >= 5246 @ 84.7373
112.84/113.27 c GLOBAL bounds - >= 5246 @ 84.7484
112.84/113.29 c GLOBAL bounds - >= 5246 @ 84.7612
112.93/113.32 c GLOBAL bounds - >= 5246 @ 84.7749
113.13/113.53 c GLOBAL bounds - >= 5246 @ 84.846
113.13/113.56 c GLOBAL bounds - >= 5246 @ 84.86
113.33/113.77 c GLOBAL bounds - >= 5246 @ 84.9356
113.44/113.80 c GLOBAL bounds - >= 5246 @ 84.9476
113.64/114.01 c GLOBAL bounds - >= 5246 @ 85.0261
113.64/114.04 c GLOBAL bounds - >= 5246 @ 85.0406
113.83/114.25 c GLOBAL bounds - >= 5246 @ 85.122
113.83/114.28 c GLOBAL bounds - >= 5246 @ 85.1373
114.03/114.50 c GLOBAL bounds - >= 5246 @ 85.2107
114.13/114.52 c GLOBAL bounds - >= 5246 @ 85.2242
114.33/114.74 c GLOBAL bounds - >= 5246 @ 85.3028
114.33/114.77 c GLOBAL bounds - >= 5246 @ 85.3201
114.52/114.98 c GLOBAL bounds - >= 5246 @ 85.3932
114.52/115.00 c GLOBAL bounds - >= 5246 @ 85.4073
114.82/115.22 c GLOBAL bounds - >= 5246 @ 85.4912
114.82/115.24 c GLOBAL bounds - >= 5246 @ 85.5036
115.03/115.46 c GLOBAL bounds - >= 5246 @ 85.5696
115.03/115.48 c GLOBAL bounds - >= 5246 @ 85.5837
115.23/115.69 c GLOBAL bounds - >= 5246 @ 85.6648
115.52/115.90 c GLOBAL bounds - >= 5246 @ 85.748
115.74/116.12 c GLOBAL bounds - >= 5246 @ 85.823
115.92/116.34 c GLOBAL bounds - >= 5246 @ 85.8997
116.12/116.56 c GLOBAL bounds - >= 5246 @ 85.9803
116.32/116.78 c GLOBAL bounds - >= 5246 @ 86.0677
116.53/117.00 c GLOBAL bounds - >= 5246 @ 86.1452
116.93/117.30 c GLOBAL bounds - >= 5246 @ 86.312
117.12/117.59 c GLOBAL bounds - >= 5246 @ 86.4575
117.73/118.19 c GLOBAL bounds - >= 5246 @ 86.9157
118.02/118.49 c GLOBAL bounds - >= 5246 @ 87.0718
118.02/118.49 c GLOBAL bounds - >= 5246 @ 87.0726
118.12/118.52 c GLOBAL bounds - >= 5246 @ 87.0908
118.12/118.55 c GLOBAL bounds - >= 5246 @ 87.1031
118.12/118.57 c GLOBAL bounds - >= 5246 @ 87.1134
118.22/118.60 c GLOBAL bounds - >= 5246 @ 87.1278
118.22/118.62 c GLOBAL bounds - >= 5246 @ 87.1387
118.42/118.85 c GLOBAL bounds - >= 5246 @ 87.2143
118.42/118.87 c GLOBAL bounds - >= 5246 @ 87.2252
118.64/119.09 c GLOBAL bounds - >= 5246 @ 87.3054
118.74/119.11 c GLOBAL bounds - >= 5246 @ 87.3191
118.92/119.33 c GLOBAL bounds - >= 5246 @ 87.388
118.92/119.35 c GLOBAL bounds - >= 5246 @ 87.4033
119.12/119.56 c GLOBAL bounds - >= 5246 @ 87.4708
119.12/119.59 c GLOBAL bounds - >= 5246 @ 87.4817
119.42/119.80 c GLOBAL bounds - >= 5246 @ 87.5399
119.42/119.83 c GLOBAL bounds - >= 5246 @ 87.5554
119.63/120.04 c GLOBAL bounds - >= 5246 @ 87.6223
119.63/120.07 c GLOBAL bounds - >= 5246 @ 87.6374
119.82/120.28 c GLOBAL bounds - >= 5246 @ 87.7191
119.92/120.30 c GLOBAL bounds - >= 5246 @ 87.7343
120.12/120.52 c GLOBAL bounds - >= 5246 @ 87.8171
120.12/120.55 c GLOBAL bounds - >= 5246 @ 87.8308
120.31/120.77 c GLOBAL bounds - >= 5246 @ 87.9155
120.41/120.80 c GLOBAL bounds - >= 5246 @ 87.9337
120.63/121.02 c GLOBAL bounds - >= 5246 @ 88.003
120.81/121.25 c GLOBAL bounds - >= 5246 @ 88.1091
121.01/121.48 c GLOBAL bounds - >= 5246 @ 88.2012
121.32/121.70 c GLOBAL bounds - >= 5246 @ 88.2896
121.51/121.94 c GLOBAL bounds - >= 5246 @ 88.388
121.73/122.17 c GLOBAL bounds - >= 5246 @ 88.4838
122.01/122.41 c GLOBAL bounds - >= 5246 @ 88.5902
122.21/122.65 c GLOBAL bounds - >= 5246 @ 88.6994
122.51/122.98 c GLOBAL bounds - >= 5246 @ 88.885
123.72/124.19 c #Conflicts: 9000 | #Constraints: 6814
123.72/124.19 c GLOBAL bounds - >= 5246 @ 89.8663
124.62/125.10 c GLOBAL bounds - >= 5246 @ 90.596
124.90/125.35 c GLOBAL bounds - >= 5246 @ 90.7083
125.20/125.64 c GLOBAL bounds - >= 5246 @ 90.8757
125.41/125.89 c GLOBAL bounds - >= 5246 @ 90.9941
125.71/126.18 c GLOBAL bounds - >= 5246 @ 91.1541
127.30/127.78 c INPROCESSING
127.30/127.78 c GARBAGE COLLECT
127.30/127.78 c GLOBAL bounds - >= 5247 @ 92.6935
127.40/127.80 c GLOBAL bounds - >= 5247 @ 92.7115
127.40/127.83 c GLOBAL bounds - >= 5247 @ 92.7246
127.40/127.85 c GLOBAL bounds - >= 5247 @ 92.739
127.40/127.87 c GLOBAL bounds - >= 5247 @ 92.751
127.50/127.90 c GLOBAL bounds - >= 5247 @ 92.7658
127.50/127.92 c GLOBAL bounds - >= 5247 @ 92.7802
128.00/128.40 c GLOBAL bounds - >= 5247 @ 93.1242
128.00/128.42 c GLOBAL bounds - >= 5247 @ 93.1324
128.20/128.63 c GLOBAL bounds - >= 5247 @ 93.2065
128.20/128.66 c GLOBAL bounds - >= 5247 @ 93.2148
128.40/128.87 c GLOBAL bounds - >= 5247 @ 93.286
128.40/128.89 c GLOBAL bounds - >= 5247 @ 93.2942
128.61/129.10 c GLOBAL bounds - >= 5247 @ 93.3732
128.71/129.13 c GLOBAL bounds - >= 5247 @ 93.3838
128.89/129.34 c GLOBAL bounds - >= 5247 @ 93.4554
128.89/129.36 c GLOBAL bounds - >= 5247 @ 93.4624
129.09/129.58 c GLOBAL bounds - >= 5247 @ 93.5431
129.20/129.61 c GLOBAL bounds - >= 5247 @ 93.5517
129.39/129.83 c GLOBAL bounds - >= 5247 @ 93.625
129.39/129.86 c GLOBAL bounds - >= 5247 @ 93.6317
129.61/130.08 c GLOBAL bounds - >= 5247 @ 93.7007
129.61/130.09 c GLOBAL bounds - >= 5247 @ 93.7087
129.89/130.31 c GLOBAL bounds - >= 5247 @ 93.7927
129.89/130.34 c GLOBAL bounds - >= 5247 @ 93.8036
130.09/130.56 c GLOBAL bounds - >= 5247 @ 93.8982
130.29/130.79 c GLOBAL bounds - >= 5247 @ 93.994
130.60/131.02 c GLOBAL bounds - >= 5247 @ 94.0761
130.79/131.25 c GLOBAL bounds - >= 5247 @ 94.1616
131.00/131.47 c GLOBAL bounds - >= 5247 @ 94.2438
131.29/131.72 c GLOBAL bounds - >= 5247 @ 94.3438
131.49/131.96 c GLOBAL bounds - >= 5247 @ 94.4421
131.70/132.20 c GLOBAL bounds - >= 5247 @ 94.5431
131.99/132.45 c GLOBAL bounds - >= 5247 @ 94.6541
132.29/132.72 c GLOBAL bounds - >= 5247 @ 94.8016
132.48/133.01 c GLOBAL bounds - >= 5247 @ 94.9336
133.78/134.21 c GLOBAL bounds - >= 5247 @ 95.9675
134.18/134.62 c GLOBAL bounds - >= 5247 @ 96.228
134.39/134.88 c GLOBAL bounds - >= 5247 @ 96.3448
134.98/135.41 c GLOBAL bounds - >= 5247 @ 96.7304
134.98/135.48 c GLOBAL bounds - >= 5248 @ 96.7952
135.08/135.51 c GLOBAL bounds - >= 5248 @ 96.8091
135.08/135.53 c GLOBAL bounds - >= 5248 @ 96.8242
135.08/135.56 c GLOBAL bounds - >= 5248 @ 96.8352
135.08/135.58 c GLOBAL bounds - >= 5248 @ 96.8462
135.18/135.61 c GLOBAL bounds - >= 5248 @ 96.8628
135.18/135.63 c GLOBAL bounds - >= 5248 @ 96.8727
135.18/135.65 c GLOBAL bounds - >= 5248 @ 96.8827
135.38/135.89 c GLOBAL bounds - >= 5248 @ 96.9804
135.48/135.92 c GLOBAL bounds - >= 5248 @ 96.9917
135.69/136.13 c GLOBAL bounds - >= 5248 @ 97.0751
135.69/136.15 c GLOBAL bounds - >= 5248 @ 97.0864
135.87/136.38 c GLOBAL bounds - >= 5248 @ 97.1752
135.98/136.41 c GLOBAL bounds - >= 5248 @ 97.1874
136.18/136.66 c GLOBAL bounds - >= 5248 @ 97.3003
136.18/136.68 c GLOBAL bounds - >= 5248 @ 97.3128
136.47/136.90 c GLOBAL bounds - >= 5248 @ 97.3858
136.47/136.92 c GLOBAL bounds - >= 5248 @ 97.3957
136.69/137.13 c GLOBAL bounds - >= 5248 @ 97.4793
136.69/137.16 c GLOBAL bounds - >= 5248 @ 97.491
136.87/137.37 c GLOBAL bounds - >= 5248 @ 97.5672
136.98/137.40 c GLOBAL bounds - >= 5248 @ 97.5839
137.17/137.61 c GLOBAL bounds - >= 5248 @ 97.661
137.17/137.64 c GLOBAL bounds - >= 5248 @ 97.6783
137.37/137.85 c GLOBAL bounds - >= 5248 @ 97.7522
137.48/137.90 c GLOBAL bounds - >= 5248 @ 97.7794
137.69/138.11 c GLOBAL bounds - >= 5248 @ 97.8541
137.87/138.34 c GLOBAL bounds - >= 5248 @ 97.9548
138.08/138.57 c GLOBAL bounds - >= 5248 @ 98.038
138.37/138.80 c GLOBAL bounds - >= 5248 @ 98.1362
138.58/139.04 c GLOBAL bounds - >= 5248 @ 98.2314
138.77/139.28 c GLOBAL bounds - >= 5248 @ 98.3349
139.07/139.54 c GLOBAL bounds - >= 5248 @ 98.4543
139.47/139.93 c GLOBAL bounds - >= 5248 @ 98.7207
252.14/252.95 c #Conflicts: 10000 | #Constraints: 1978
252.14/252.95 c #Conflicts: 11000 | #Constraints: 2978
252.14/252.95 c #Conflicts: 12000 | #Constraints: 3978
252.14/252.95 c INPROCESSING
252.14/252.95 c GARBAGE COLLECT
252.14/252.95 c #Conflicts: 13000 | #Constraints: 2815
252.14/252.95 c #Conflicts: 14000 | #Constraints: 3815
252.14/252.95 c #Conflicts: 15000 | #Constraints: 4815
252.14/252.95 c #Conflicts: 16000 | #Constraints: 5815
252.14/252.95 c INPROCESSING
252.14/252.95 c GARBAGE COLLECT
252.14/252.95 c #Conflicts: 17000 | #Constraints: 3904
252.14/252.95 c #Conflicts: 18000 | #Constraints: 4904
252.14/252.95 c #Conflicts: 19000 | #Constraints: 5904
252.14/252.95 c #Conflicts: 20000 | #Constraints: 6904
252.14/252.95 c INPROCESSING
252.14/252.95 c GARBAGE COLLECT
252.14/252.95 c #Conflicts: 21000 | #Constraints: 4499
252.14/252.95 c #Conflicts: 22000 | #Constraints: 5499
252.14/252.95 c GLOBAL bounds - >= 5249 @ 209.459
252.14/252.98 c GLOBAL bounds - >= 5249 @ 209.484
252.14/253.01 c GLOBAL bounds - >= 5249 @ 209.496
252.26/253.03 c GLOBAL bounds - >= 5249 @ 209.508
252.26/253.06 c GLOBAL bounds - >= 5249 @ 209.52
252.84/253.66 c GLOBAL bounds - >= 5249 @ 209.957
252.84/253.68 c GLOBAL bounds - >= 5249 @ 209.97
253.04/253.89 c GLOBAL bounds - >= 5249 @ 210.052
253.13/253.92 c GLOBAL bounds - >= 5249 @ 210.067
253.35/254.13 c GLOBAL bounds - >= 5249 @ 210.133
253.35/254.16 c GLOBAL bounds - >= 5249 @ 210.149
253.53/254.37 c GLOBAL bounds - >= 5249 @ 210.23
253.64/254.40 c GLOBAL bounds - >= 5249 @ 210.249
253.83/254.61 c GLOBAL bounds - >= 5249 @ 210.315
253.83/254.64 c GLOBAL bounds - >= 5249 @ 210.338
254.04/254.85 c GLOBAL bounds - >= 5249 @ 210.408
254.04/254.88 c GLOBAL bounds - >= 5249 @ 210.424
254.25/255.09 c GLOBAL bounds - >= 5249 @ 210.501
254.35/255.11 c GLOBAL bounds - >= 5249 @ 210.513
254.53/255.33 c GLOBAL bounds - >= 5249 @ 210.594
254.53/255.37 c GLOBAL bounds - >= 5249 @ 210.606
254.73/255.59 c GLOBAL bounds - >= 5249 @ 210.68
254.84/255.61 c GLOBAL bounds - >= 5249 @ 210.695
255.03/255.83 c GLOBAL bounds - >= 5249 @ 210.782
255.25/256.04 c GLOBAL bounds - >= 5249 @ 210.842
255.43/256.27 c GLOBAL bounds - >= 5249 @ 210.923
255.64/256.49 c GLOBAL bounds - >= 5249 @ 211.01
255.93/256.72 c GLOBAL bounds - >= 5249 @ 211.097
256.13/256.97 c GLOBAL bounds - >= 5249 @ 211.194
256.43/257.20 c GLOBAL bounds - >= 5249 @ 211.282
256.63/257.43 c GLOBAL bounds - >= 5249 @ 211.375
256.83/257.66 c GLOBAL bounds - >= 5249 @ 211.475
257.13/257.90 c GLOBAL bounds - >= 5249 @ 211.582
258.34/259.11 c GLOBAL bounds - >= 5249 @ 212.629
319.05/320.04 c #Conflicts: 23000 | #Constraints: 6520
319.05/320.04 c #Conflicts: 24000 | #Constraints: 7520
319.05/320.04 c #Conflicts: 25000 | #Constraints: 8520
319.05/320.04 c #Conflicts: 26000 | #Constraints: 9520
319.05/320.04 c #Conflicts: 27000 | #Constraints: 10520
319.05/320.04 c GLOBAL bounds - >= 5250 @ 272.579
319.05/320.08 c GLOBAL bounds - >= 5250 @ 272.599
319.05/320.10 c GLOBAL bounds - >= 5250 @ 272.613
319.16/320.12 c GLOBAL bounds - >= 5250 @ 272.62
319.16/320.16 c GLOBAL bounds - >= 5250 @ 272.646
319.44/320.40 c GLOBAL bounds - >= 5250 @ 272.763
319.44/320.43 c GLOBAL bounds - >= 5250 @ 272.774
319.64/320.65 c GLOBAL bounds - >= 5250 @ 272.861
319.64/320.67 c GLOBAL bounds - >= 5250 @ 272.874
322.43/323.44 c GLOBAL bounds - >= 5250 @ 275.463
322.43/323.47 c GLOBAL bounds - >= 5250 @ 275.479
322.62/323.68 c GLOBAL bounds - >= 5250 @ 275.544
322.73/323.71 c GLOBAL bounds - >= 5250 @ 275.558
322.93/323.93 c GLOBAL bounds - >= 5250 @ 275.633
322.93/323.95 c GLOBAL bounds - >= 5250 @ 275.646
323.15/324.17 c GLOBAL bounds - >= 5250 @ 275.724
323.15/324.19 c GLOBAL bounds - >= 5250 @ 275.736
323.42/324.40 c GLOBAL bounds - >= 5250 @ 275.817
323.42/324.44 c GLOBAL bounds - >= 5250 @ 275.832
323.62/324.65 c GLOBAL bounds - >= 5250 @ 275.917
323.62/324.68 c GLOBAL bounds - >= 5250 @ 275.937
323.82/324.89 c GLOBAL bounds - >= 5250 @ 276.017
323.93/324.92 c GLOBAL bounds - >= 5250 @ 276.027
324.14/325.13 c GLOBAL bounds - >= 5250 @ 276.09
324.32/325.35 c GLOBAL bounds - >= 5250 @ 276.161
324.52/325.56 c GLOBAL bounds - >= 5250 @ 276.225
324.73/325.77 c GLOBAL bounds - >= 5250 @ 276.305
324.93/325.98 c GLOBAL bounds - >= 5250 @ 276.387
325.22/326.22 c GLOBAL bounds - >= 5250 @ 276.484
325.43/326.44 c GLOBAL bounds - >= 5250 @ 276.569
325.72/326.74 c GLOBAL bounds - >= 5250 @ 276.73
619.16/621.09 c #Conflicts: 28000 | #Constraints: 11532
619.16/621.09 c #Conflicts: 29000 | #Constraints: 12532
619.16/621.09 c #Conflicts: 30000 | #Constraints: 13532
619.16/621.09 c INPROCESSING
619.16/621.09 c GARBAGE COLLECT
619.16/621.09 c #Conflicts: 31000 | #Constraints: 7625
619.16/621.09 c #Conflicts: 32000 | #Constraints: 8625
619.16/621.09 c #Conflicts: 33000 | #Constraints: 9625
619.16/621.09 c #Conflicts: 34000 | #Constraints: 10625
619.16/621.09 c #Conflicts: 35000 | #Constraints: 11625
619.16/621.09 c #Conflicts: 36000 | #Constraints: 12625
619.16/621.09 c INPROCESSING
619.16/621.09 c GARBAGE COLLECT
619.16/621.09 c #Conflicts: 37000 | #Constraints: 7600
619.16/621.09 c #Conflicts: 38000 | #Constraints: 8600
619.16/621.09 c #Conflicts: 39000 | #Constraints: 9600
619.16/621.09 c #Conflicts: 40000 | #Constraints: 10600
619.16/621.09 c #Conflicts: 41000 | #Constraints: 11600
619.16/621.09 c INPROCESSING
619.16/621.09 c GARBAGE COLLECT
619.16/621.09 c #Conflicts: 42000 | #Constraints: 6861
619.16/621.09 c #Conflicts: 43000 | #Constraints: 7861
619.16/621.09 c #Conflicts: 44000 | #Constraints: 8861
619.16/621.09 c GLOBAL bounds - >= 5251 @ 567.153
619.27/621.12 c GLOBAL bounds - >= 5251 @ 567.179
619.27/621.15 c GLOBAL bounds - >= 5251 @ 567.198
619.27/621.18 c GLOBAL bounds - >= 5251 @ 567.214
619.35/621.20 c GLOBAL bounds - >= 5251 @ 567.224
619.65/621.50 c GLOBAL bounds - >= 5251 @ 567.38
619.65/621.52 c GLOBAL bounds - >= 5251 @ 567.394
619.85/621.74 c GLOBAL bounds - >= 5251 @ 567.459
619.85/621.77 c GLOBAL bounds - >= 5251 @ 567.476
620.04/621.98 c GLOBAL bounds - >= 5251 @ 567.555
620.04/622.01 c GLOBAL bounds - >= 5251 @ 567.572
620.35/622.22 c GLOBAL bounds - >= 5251 @ 567.651
620.35/622.25 c GLOBAL bounds - >= 5251 @ 567.666
620.55/622.46 c GLOBAL bounds - >= 5251 @ 567.744
620.55/622.49 c GLOBAL bounds - >= 5251 @ 567.758
620.84/622.70 c GLOBAL bounds - >= 5251 @ 567.826
620.84/622.73 c GLOBAL bounds - >= 5251 @ 567.842
621.04/622.94 c GLOBAL bounds - >= 5251 @ 567.921
621.04/622.97 c GLOBAL bounds - >= 5251 @ 567.93
621.26/623.18 c GLOBAL bounds - >= 5251 @ 568.006
621.34/623.22 c GLOBAL bounds - >= 5251 @ 568.032
621.55/623.43 c GLOBAL bounds - >= 5251 @ 568.117
621.64/623.58 c GLOBAL bounds - >= 5251 @ 568.185
621.94/623.80 c GLOBAL bounds - >= 5251 @ 568.272
622.16/624.01 c GLOBAL bounds - >= 5251 @ 568.351
622.35/624.22 c GLOBAL bounds - >= 5251 @ 568.427
622.54/624.44 c GLOBAL bounds - >= 5251 @ 568.497
622.74/624.65 c GLOBAL bounds - >= 5251 @ 568.572
622.94/624.86 c GLOBAL bounds - >= 5251 @ 568.631
623.15/625.07 c GLOBAL bounds - >= 5251 @ 568.709
623.35/625.28 c GLOBAL bounds - >= 5251 @ 568.783
623.64/625.55 c GLOBAL bounds - >= 5251 @ 568.916
623.94/625.86 c GLOBAL bounds - >= 5251 @ 569.095
626.54/628.41 c #Conflicts: 45000 | #Constraints: 9876
626.54/628.41 c GLOBAL bounds - >= 5252 @ 571.577
626.54/628.44 c GLOBAL bounds - >= 5252 @ 571.596
626.54/628.46 c GLOBAL bounds - >= 5252 @ 571.609
626.54/628.49 c GLOBAL bounds - >= 5252 @ 571.627
626.63/628.51 c GLOBAL bounds - >= 5252 @ 571.643
626.63/628.54 c GLOBAL bounds - >= 5252 @ 571.661
626.63/628.56 c GLOBAL bounds - >= 5252 @ 571.673
626.63/628.59 c GLOBAL bounds - >= 5252 @ 571.698
626.93/628.81 c GLOBAL bounds - >= 5252 @ 571.782
626.93/628.84 c GLOBAL bounds - >= 5252 @ 571.795
627.15/629.06 c GLOBAL bounds - >= 5252 @ 571.892
627.15/629.09 c GLOBAL bounds - >= 5252 @ 571.903
627.43/629.30 c GLOBAL bounds - >= 5252 @ 571.974
627.43/629.32 c GLOBAL bounds - >= 5252 @ 571.985
627.63/629.54 c GLOBAL bounds - >= 5252 @ 572.066
627.63/629.56 c GLOBAL bounds - >= 5252 @ 572.08
627.83/629.78 c GLOBAL bounds - >= 5252 @ 572.152
627.93/629.80 c GLOBAL bounds - >= 5252 @ 572.166
628.14/630.01 c GLOBAL bounds - >= 5252 @ 572.235
628.14/630.04 c GLOBAL bounds - >= 5252 @ 572.251
628.33/630.25 c GLOBAL bounds - >= 5252 @ 572.329
628.33/630.28 c GLOBAL bounds - >= 5252 @ 572.345
628.53/630.49 c GLOBAL bounds - >= 5252 @ 572.409
628.63/630.52 c GLOBAL bounds - >= 5252 @ 572.422
628.83/630.74 c GLOBAL bounds - >= 5252 @ 572.493
628.83/630.76 c GLOBAL bounds - >= 5252 @ 572.503
629.03/630.97 c GLOBAL bounds - >= 5252 @ 572.585
629.24/631.18 c GLOBAL bounds - >= 5252 @ 572.658
629.52/631.41 c GLOBAL bounds - >= 5252 @ 572.739
629.73/631.62 c GLOBAL bounds - >= 5252 @ 572.816
629.92/631.85 c GLOBAL bounds - >= 5252 @ 572.889
630.14/632.07 c GLOBAL bounds - >= 5252 @ 572.98
630.32/632.29 c GLOBAL bounds - >= 5252 @ 573.065
630.63/632.51 c GLOBAL bounds - >= 5252 @ 573.144
630.82/632.73 c GLOBAL bounds - >= 5252 @ 573.225
631.02/632.97 c GLOBAL bounds - >= 5252 @ 573.328
631.02/632.97 c GLOBAL bounds - >= 5252 @ 573.329
631.14/633.03 c GLOBAL bounds - >= 5252 @ 573.361
631.14/633.06 c GLOBAL bounds - >= 5252 @ 573.375
631.14/633.08 c GLOBAL bounds - >= 5252 @ 573.386
631.14/633.11 c GLOBAL bounds - >= 5252 @ 573.4
631.24/633.14 c GLOBAL bounds - >= 5252 @ 573.415
631.32/633.22 c GLOBAL bounds - >= 5252 @ 573.454
631.32/633.26 c GLOBAL bounds - >= 5252 @ 573.474
631.52/633.47 c GLOBAL bounds - >= 5252 @ 573.537
631.52/633.49 c GLOBAL bounds - >= 5252 @ 573.548
631.82/633.71 c GLOBAL bounds - >= 5252 @ 573.628
631.82/633.73 c GLOBAL bounds - >= 5252 @ 573.643
632.02/633.95 c GLOBAL bounds - >= 5252 @ 573.733
632.02/633.97 c GLOBAL bounds - >= 5252 @ 573.751
632.24/634.19 c GLOBAL bounds - >= 5252 @ 573.822
632.32/634.21 c GLOBAL bounds - >= 5252 @ 573.837
632.52/634.42 c GLOBAL bounds - >= 5252 @ 573.907
632.52/634.44 c GLOBAL bounds - >= 5252 @ 573.92
632.72/634.65 c GLOBAL bounds - >= 5252 @ 573.997
632.72/634.68 c GLOBAL bounds - >= 5252 @ 574.009
632.92/634.88 c GLOBAL bounds - >= 5252 @ 574.088
633.02/634.91 c GLOBAL bounds - >= 5252 @ 574.099
633.24/635.12 c GLOBAL bounds - >= 5252 @ 574.186
633.24/635.19 c GLOBAL bounds - >= 5252 @ 574.222
633.52/635.41 c GLOBAL bounds - >= 5252 @ 574.298
633.52/635.44 c GLOBAL bounds - >= 5252 @ 574.313
633.72/635.66 c GLOBAL bounds - >= 5252 @ 574.394
633.92/635.87 c GLOBAL bounds - >= 5252 @ 574.462
634.13/636.09 c GLOBAL bounds - >= 5252 @ 574.547
634.42/636.31 c GLOBAL bounds - >= 5252 @ 574.629
634.61/636.52 c GLOBAL bounds - >= 5252 @ 574.695
634.81/636.75 c GLOBAL bounds - >= 5252 @ 574.772
635.02/636.97 c GLOBAL bounds - >= 5252 @ 574.867
635.32/637.21 c GLOBAL bounds - >= 5252 @ 574.964
635.52/637.43 c GLOBAL bounds - >= 5252 @ 575.04
635.71/637.66 c GLOBAL bounds - >= 5252 @ 575.148
636.01/637.94 c GLOBAL bounds - >= 5252 @ 575.273
636.51/638.48 c GLOBAL bounds - >= 5252 @ 575.672
636.51/638.48 c GLOBAL bounds - >= 5252 @ 575.672
636.61/638.51 c GLOBAL bounds - >= 5252 @ 575.69
636.61/638.54 c GLOBAL bounds - >= 5252 @ 575.701
636.61/638.56 c GLOBAL bounds - >= 5252 @ 575.715
636.61/638.59 c GLOBAL bounds - >= 5252 @ 575.729
636.71/638.61 c GLOBAL bounds - >= 5252 @ 575.741
636.92/638.83 c GLOBAL bounds - >= 5252 @ 575.826
636.92/638.86 c GLOBAL bounds - >= 5252 @ 575.84
637.12/639.08 c GLOBAL bounds - >= 5252 @ 575.931
637.12/639.11 c GLOBAL bounds - >= 5252 @ 575.942
637.42/639.33 c GLOBAL bounds - >= 5252 @ 576.032
637.42/639.36 c GLOBAL bounds - >= 5252 @ 576.045
637.61/639.59 c GLOBAL bounds - >= 5252 @ 576.148
637.71/639.61 c GLOBAL bounds - >= 5252 @ 576.159
638.01/639.92 c GLOBAL bounds - >= 5252 @ 576.335
638.01/639.94 c GLOBAL bounds - >= 5252 @ 576.347
638.30/640.24 c GLOBAL bounds - >= 5252 @ 576.513
638.30/640.27 c GLOBAL bounds - >= 5252 @ 576.528
638.51/640.49 c GLOBAL bounds - >= 5252 @ 576.612
638.60/640.52 c GLOBAL bounds - >= 5252 @ 576.625
638.81/640.75 c GLOBAL bounds - >= 5252 @ 576.727
638.81/640.78 c GLOBAL bounds - >= 5252 @ 576.742
639.31/641.20 c GLOBAL bounds - >= 5252 @ 577.023
639.31/641.23 c GLOBAL bounds - >= 5252 @ 577.036
639.50/641.44 c GLOBAL bounds - >= 5252 @ 577.109
639.70/641.65 c GLOBAL bounds - >= 5252 @ 577.182
639.90/641.88 c GLOBAL bounds - >= 5252 @ 577.282
639.90/641.88 c GLOBAL bounds - >= 5252 @ 577.283
640.01/641.90 c GLOBAL bounds - >= 5252 @ 577.302
640.01/641.93 c GLOBAL bounds - >= 5252 @ 577.317
640.22/642.15 c GLOBAL bounds - >= 5252 @ 577.4
640.22/642.18 c GLOBAL bounds - >= 5252 @ 577.417
640.51/642.40 c GLOBAL bounds - >= 5252 @ 577.509
640.51/642.43 c GLOBAL bounds - >= 5252 @ 577.526
640.70/642.68 c GLOBAL bounds - >= 5252 @ 577.624
640.80/642.70 c GLOBAL bounds - >= 5252 @ 577.637
641.00/642.92 c GLOBAL bounds - >= 5252 @ 577.72
641.00/642.94 c GLOBAL bounds - >= 5252 @ 577.735
641.21/643.17 c GLOBAL bounds - >= 5252 @ 577.817
641.21/643.20 c GLOBAL bounds - >= 5252 @ 577.834
641.50/643.41 c GLOBAL bounds - >= 5252 @ 577.903
641.50/643.43 c GLOBAL bounds - >= 5252 @ 577.914
641.70/643.65 c GLOBAL bounds - >= 5252 @ 577.993
641.70/643.67 c GLOBAL bounds - >= 5252 @ 578.007
641.90/643.89 c GLOBAL bounds - >= 5252 @ 578.092
642.01/643.92 c GLOBAL bounds - >= 5252 @ 578.109
642.21/644.13 c GLOBAL bounds - >= 5252 @ 578.185
642.21/644.16 c GLOBAL bounds - >= 5252 @ 578.198
642.40/644.37 c GLOBAL bounds - >= 5252 @ 578.262
642.60/644.58 c GLOBAL bounds - >= 5252 @ 578.339
642.80/644.79 c GLOBAL bounds - >= 5252 @ 578.422
643.00/645.00 c GLOBAL bounds - >= 5252 @ 578.506
643.30/645.21 c GLOBAL bounds - >= 5252 @ 578.594
643.50/645.41 c GLOBAL bounds - >= 5252 @ 578.677
643.70/645.64 c GLOBAL bounds - >= 5252 @ 578.774
645.48/647.44 c GLOBAL bounds - >= 5252 @ 580.379
645.48/647.44 c GLOBAL bounds - >= 5252 @ 580.38
645.48/647.46 c GLOBAL bounds - >= 5252 @ 580.391
645.48/647.49 c GLOBAL bounds - >= 5252 @ 580.408
645.59/647.52 c GLOBAL bounds - >= 5252 @ 580.418
645.59/647.54 c GLOBAL bounds - >= 5252 @ 580.434
645.59/647.57 c GLOBAL bounds - >= 5252 @ 580.448
645.68/647.60 c GLOBAL bounds - >= 5252 @ 580.466
645.68/647.62 c GLOBAL bounds - >= 5252 @ 580.48
645.89/647.84 c GLOBAL bounds - >= 5252 @ 580.554
645.89/647.87 c GLOBAL bounds - >= 5252 @ 580.571
646.88/648.87 c GLOBAL bounds - >= 5252 @ 581.416
646.98/648.90 c GLOBAL bounds - >= 5252 @ 581.429
647.20/649.11 c GLOBAL bounds - >= 5252 @ 581.505
647.20/649.14 c GLOBAL bounds - >= 5252 @ 581.524
647.38/649.36 c GLOBAL bounds - >= 5252 @ 581.589
647.38/649.39 c GLOBAL bounds - >= 5252 @ 581.603
647.68/649.67 c GLOBAL bounds - >= 5252 @ 581.749
647.78/649.70 c GLOBAL bounds - >= 5252 @ 581.763
647.98/649.92 c GLOBAL bounds - >= 5252 @ 581.835
647.98/649.95 c GLOBAL bounds - >= 5252 @ 581.851
648.20/650.16 c GLOBAL bounds - >= 5252 @ 581.923
648.20/650.19 c GLOBAL bounds - >= 5252 @ 581.94
648.48/650.41 c GLOBAL bounds - >= 5252 @ 582.016
648.48/650.44 c GLOBAL bounds - >= 5252 @ 582.03
648.68/650.66 c GLOBAL bounds - >= 5252 @ 582.11
648.68/650.69 c GLOBAL bounds - >= 5252 @ 582.126
648.98/650.90 c GLOBAL bounds - >= 5252 @ 582.201
649.20/651.13 c GLOBAL bounds - >= 5252 @ 582.294
649.38/651.38 c GLOBAL bounds - >= 5252 @ 582.414
677.80/679.87 c #Conflicts: 46000 | #Constraints: 10950
677.80/679.87 c #Conflicts: 47000 | #Constraints: 11950
677.80/679.87 c INPROCESSING
677.80/679.87 c GARBAGE COLLECT
677.80/679.87 c #Conflicts: 48000 | #Constraints: 7286
677.80/679.87 c #Conflicts: 49000 | #Constraints: 8286
677.80/679.87 c GLOBAL bounds - >= 5253 @ 610.274
677.90/679.90 c GLOBAL bounds - >= 5253 @ 610.294
677.90/679.92 c GLOBAL bounds - >= 5253 @ 610.305
677.90/679.95 c GLOBAL bounds - >= 5253 @ 610.315
678.12/680.17 c GLOBAL bounds - >= 5253 @ 610.391
678.12/680.19 c GLOBAL bounds - >= 5253 @ 610.404
678.40/680.42 c GLOBAL bounds - >= 5253 @ 610.501
678.40/680.45 c GLOBAL bounds - >= 5253 @ 610.513
678.60/680.66 c GLOBAL bounds - >= 5253 @ 610.589
678.60/680.68 c GLOBAL bounds - >= 5253 @ 610.603
678.90/680.90 c GLOBAL bounds - >= 5253 @ 610.683
678.90/680.95 c GLOBAL bounds - >= 5253 @ 610.716
679.12/681.16 c GLOBAL bounds - >= 5253 @ 610.788
679.12/681.19 c GLOBAL bounds - >= 5253 @ 610.813
679.40/681.41 c GLOBAL bounds - >= 5253 @ 610.9
679.40/681.44 c GLOBAL bounds - >= 5253 @ 610.914
679.60/681.65 c GLOBAL bounds - >= 5253 @ 610.991
679.60/681.68 c GLOBAL bounds - >= 5253 @ 611.005
679.80/681.89 c GLOBAL bounds - >= 5253 @ 611.072
679.90/681.94 c GLOBAL bounds - >= 5253 @ 611.103
680.11/682.15 c GLOBAL bounds - >= 5253 @ 611.176
680.20/682.21 c GLOBAL bounds - >= 5253 @ 611.203
680.39/682.42 c GLOBAL bounds - >= 5253 @ 611.282
680.59/682.63 c GLOBAL bounds - >= 5253 @ 611.364
680.79/682.85 c GLOBAL bounds - >= 5253 @ 611.442
681.01/683.07 c GLOBAL bounds - >= 5253 @ 611.521
681.19/683.29 c GLOBAL bounds - >= 5253 @ 611.611
681.49/683.52 c GLOBAL bounds - >= 5253 @ 611.703
681.69/683.74 c GLOBAL bounds - >= 5253 @ 611.796
681.90/683.96 c GLOBAL bounds - >= 5253 @ 611.88
682.40/684.47 c GLOBAL bounds - >= 5253 @ 612.248
682.79/684.80 c GLOBAL bounds - >= 5253 @ 612.446
683.10/685.11 c GLOBAL bounds - >= 5253 @ 612.615
683.10/685.11 c GLOBAL bounds - >= 5253 @ 612.617
683.10/685.14 c GLOBAL bounds - >= 5253 @ 612.636
683.10/685.17 c GLOBAL bounds - >= 5253 @ 612.648
683.10/685.19 c GLOBAL bounds - >= 5253 @ 612.66
683.19/685.23 c GLOBAL bounds - >= 5253 @ 612.68
683.39/685.45 c GLOBAL bounds - >= 5253 @ 612.762
683.39/685.48 c GLOBAL bounds - >= 5253 @ 612.775
683.69/685.70 c GLOBAL bounds - >= 5253 @ 612.857
683.69/685.73 c GLOBAL bounds - >= 5253 @ 612.871
683.89/685.94 c GLOBAL bounds - >= 5253 @ 612.946
683.89/685.97 c GLOBAL bounds - >= 5253 @ 612.964
684.10/686.18 c GLOBAL bounds - >= 5253 @ 613.033
684.19/686.21 c GLOBAL bounds - >= 5253 @ 613.045
684.38/686.42 c GLOBAL bounds - >= 5253 @ 613.113
684.38/686.45 c #Conflicts: 1000 | #Constraints: 1598099
684.38/686.45 c GLOBAL bounds - >= 5253 @ 613.133
684.59/686.67 c GLOBAL bounds - >= 5253 @ 613.213
684.69/686.70 c GLOBAL bounds - >= 5253 @ 613.233
684.89/686.91 c GLOBAL bounds - >= 5253 @ 613.322
684.89/686.94 c GLOBAL bounds - >= 5253 @ 613.343
685.10/687.15 c GLOBAL bounds - >= 5253 @ 613.427
685.10/687.18 c GLOBAL bounds - >= 5253 @ 613.443
685.29/687.39 c GLOBAL bounds - >= 5253 @ 613.518
685.39/687.43 c GLOBAL bounds - >= 5253 @ 613.532
685.59/687.64 c GLOBAL bounds - >= 5253 @ 613.609
685.79/687.86 c GLOBAL bounds - >= 5253 @ 613.692
686.00/688.10 c GLOBAL bounds - >= 5253 @ 613.786
686.28/688.33 c GLOBAL bounds - >= 5253 @ 613.879
686.48/688.56 c GLOBAL bounds - >= 5253 @ 613.979
686.78/688.81 c GLOBAL bounds - >= 5253 @ 614.09
687.00/689.04 c GLOBAL bounds - >= 5253 @ 614.193
687.18/689.26 c GLOBAL bounds - >= 5253 @ 614.275
687.38/689.48 c GLOBAL bounds - >= 5253 @ 614.362
687.68/689.70 c GLOBAL bounds - >= 5253 @ 614.45
687.68/689.71 c GLOBAL bounds - >= 5253 @ 614.453
687.68/689.74 c GLOBAL bounds - >= 5253 @ 614.467
687.68/689.76 c GLOBAL bounds - >= 5253 @ 614.484
687.68/689.79 c GLOBAL bounds - >= 5253 @ 614.497
687.78/689.83 c GLOBAL bounds - >= 5253 @ 614.521
687.78/689.86 c GLOBAL bounds - >= 5253 @ 614.538
687.78/689.88 c GLOBAL bounds - >= 5253 @ 614.553
687.89/689.91 c GLOBAL bounds - >= 5253 @ 614.565
687.89/689.94 c GLOBAL bounds - >= 5253 @ 614.578
688.10/690.15 c GLOBAL bounds - >= 5253 @ 614.651
688.10/690.18 c GLOBAL bounds - >= 5253 @ 614.664
688.29/690.39 c GLOBAL bounds - >= 5253 @ 614.735
688.38/690.42 c GLOBAL bounds - >= 5253 @ 614.746
688.58/690.63 c GLOBAL bounds - >= 5253 @ 614.812
688.58/690.66 c GLOBAL bounds - >= 5253 @ 614.832
688.78/690.87 c GLOBAL bounds - >= 5253 @ 614.9
688.78/690.89 c GLOBAL bounds - >= 5253 @ 614.917
689.00/691.11 c GLOBAL bounds - >= 5253 @ 614.992
689.09/691.13 c GLOBAL bounds - >= 5253 @ 615.008
689.28/691.35 c GLOBAL bounds - >= 5253 @ 615.087
689.28/691.37 c GLOBAL bounds - >= 5253 @ 615.103
689.48/691.59 c GLOBAL bounds - >= 5253 @ 615.188
689.58/691.61 c GLOBAL bounds - >= 5253 @ 615.203
689.78/691.82 c GLOBAL bounds - >= 5253 @ 615.286
689.78/691.86 c GLOBAL bounds - >= 5253 @ 615.302
689.99/692.07 c GLOBAL bounds - >= 5253 @ 615.39
689.99/692.11 c GLOBAL bounds - >= 5253 @ 615.41
690.27/692.32 c GLOBAL bounds - >= 5253 @ 615.483
690.48/692.53 c GLOBAL bounds - >= 5253 @ 615.562
690.67/692.76 c GLOBAL bounds - >= 5253 @ 615.656
690.88/692.99 c GLOBAL bounds - >= 5253 @ 615.744
691.17/693.23 c GLOBAL bounds - >= 5253 @ 615.842
691.48/693.50 c GLOBAL bounds - >= 5253 @ 615.969
691.67/693.72 c GLOBAL bounds - >= 5253 @ 616.05
691.88/693.93 c GLOBAL bounds - >= 5253 @ 616.127
692.09/694.15 c GLOBAL bounds - >= 5253 @ 616.212
692.38/694.47 c GLOBAL bounds - >= 5253 @ 616.378
693.37/695.45 c GLOBAL bounds - >= 5253 @ 617.225
693.37/695.45 c GLOBAL bounds - >= 5253 @ 617.227
693.37/695.49 c GLOBAL bounds - >= 5253 @ 617.252
693.47/695.51 c GLOBAL bounds - >= 5253 @ 617.268
693.47/695.54 c GLOBAL bounds - >= 5253 @ 617.282
693.47/695.56 c GLOBAL bounds - >= 5253 @ 617.302
693.47/695.59 c GLOBAL bounds - >= 5253 @ 617.317
693.57/695.62 c GLOBAL bounds - >= 5253 @ 617.333
693.57/695.65 c GLOBAL bounds - >= 5253 @ 617.345
693.98/696.03 c GLOBAL bounds - >= 5253 @ 617.588
693.98/696.06 c GLOBAL bounds - >= 5253 @ 617.604
694.17/696.27 c GLOBAL bounds - >= 5253 @ 617.675
694.27/696.30 c GLOBAL bounds - >= 5253 @ 617.689
694.47/696.51 c GLOBAL bounds - >= 5253 @ 617.761
694.47/696.54 c GLOBAL bounds - >= 5253 @ 617.771
694.67/696.75 c GLOBAL bounds - >= 5253 @ 617.84
694.67/696.78 c GLOBAL bounds - >= 5253 @ 617.86
694.86/696.99 c GLOBAL bounds - >= 5253 @ 617.935
694.98/697.02 c GLOBAL bounds - >= 5253 @ 617.949
695.17/697.23 c GLOBAL bounds - >= 5253 @ 618.03
695.17/697.26 c GLOBAL bounds - >= 5253 @ 618.046
695.36/697.48 c GLOBAL bounds - >= 5253 @ 618.138
695.47/697.50 c GLOBAL bounds - >= 5253 @ 618.152
695.67/697.73 c GLOBAL bounds - >= 5253 @ 618.254
695.67/697.76 c GLOBAL bounds - >= 5253 @ 618.273
695.86/697.98 c GLOBAL bounds - >= 5253 @ 618.356
695.98/698.06 c GLOBAL bounds - >= 5253 @ 618.394
696.16/698.28 c GLOBAL bounds - >= 5253 @ 618.478
696.46/698.51 c GLOBAL bounds - >= 5253 @ 618.567
696.67/698.74 c GLOBAL bounds - >= 5253 @ 618.66
696.87/698.97 c GLOBAL bounds - >= 5253 @ 618.75
697.16/699.21 c GLOBAL bounds - >= 5253 @ 618.861
697.36/699.46 c GLOBAL bounds - >= 5253 @ 618.977
697.56/699.69 c GLOBAL bounds - >= 5253 @ 619.073
697.86/699.91 c GLOBAL bounds - >= 5253 @ 619.173
698.36/700.47 c GLOBAL bounds - >= 5253 @ 619.601
699.56/701.66 c GLOBAL bounds - >= 5253 @ 620.619
700.45/702.52 c GLOBAL bounds - >= 5253 @ 621.334
782.74/785.08 c #Conflicts: 50000 | #Constraints: 9367
782.74/785.08 c #Conflicts: 51000 | #Constraints: 10367
782.74/785.08 c #Conflicts: 52000 | #Constraints: 11367
782.74/785.08 c #Conflicts: 53000 | #Constraints: 12367
782.74/785.08 c #Conflicts: 54000 | #Constraints: 13367
782.74/785.08 c #Conflicts: 55000 | #Constraints: 14367
782.74/785.08 c #Conflicts: 56000 | #Constraints: 15367
782.74/785.08 c GLOBAL bounds - >= 5253 @ 701.924
782.74/785.09 c GLOBAL bounds - >= 5253 @ 701.927
782.83/785.12 c GLOBAL bounds - >= 5253 @ 701.949
782.83/785.14 c GLOBAL bounds - >= 5253 @ 701.962
782.83/785.17 c GLOBAL bounds - >= 5253 @ 701.977
782.92/785.20 c GLOBAL bounds - >= 5253 @ 701.993
782.92/785.23 c GLOBAL bounds - >= 5253 @ 702.004
782.92/785.25 c GLOBAL bounds - >= 5253 @ 702.017
782.92/785.28 c GLOBAL bounds - >= 5253 @ 702.03
783.02/785.37 c GLOBAL bounds - >= 5253 @ 702.083
783.13/785.41 c GLOBAL bounds - >= 5253 @ 702.105
783.13/785.47 c GLOBAL bounds - >= 5253 @ 702.149
783.42/785.70 c GLOBAL bounds - >= 5253 @ 702.244
783.42/785.73 c GLOBAL bounds - >= 5253 @ 702.262
783.62/785.94 c GLOBAL bounds - >= 5253 @ 702.346
783.62/785.97 c GLOBAL bounds - >= 5253 @ 702.362
783.92/786.24 c GLOBAL bounds - >= 5253 @ 702.506
783.92/786.27 c GLOBAL bounds - >= 5253 @ 702.519
784.11/786.49 c GLOBAL bounds - >= 5253 @ 702.605
784.22/786.51 c GLOBAL bounds - >= 5253 @ 702.622
784.41/786.74 c GLOBAL bounds - >= 5253 @ 702.739
784.41/786.77 c GLOBAL bounds - >= 5253 @ 702.753
784.62/786.99 c GLOBAL bounds - >= 5253 @ 702.839
784.73/787.02 c GLOBAL bounds - >= 5253 @ 702.856
784.92/787.26 c GLOBAL bounds - >= 5253 @ 702.978
784.92/787.29 c GLOBAL bounds - >= 5253 @ 702.993
785.21/787.51 c GLOBAL bounds - >= 5253 @ 703.102
785.21/787.53 c GLOBAL bounds - >= 5253 @ 703.116
785.42/787.77 c GLOBAL bounds - >= 5253 @ 703.229
785.42/787.79 c GLOBAL bounds - >= 5253 @ 703.244
785.83/788.15 c GLOBAL bounds - >= 5253 @ 703.481
785.83/788.16 c GLOBAL bounds - >= 5253 @ 703.484
785.83/788.19 c GLOBAL bounds - >= 5253 @ 703.5
786.12/788.40 c GLOBAL bounds - >= 5253 @ 703.591
786.12/788.43 c GLOBAL bounds - >= 5253 @ 703.603
786.72/789.11 c GLOBAL bounds - >= 5253 @ 704.136
786.83/789.14 c GLOBAL bounds - >= 5253 @ 704.154
787.01/789.36 c GLOBAL bounds - >= 5253 @ 704.241
787.01/789.38 c GLOBAL bounds - >= 5253 @ 704.256
787.31/789.63 c GLOBAL bounds - >= 5253 @ 704.369
787.31/789.65 c GLOBAL bounds - >= 5253 @ 704.38
787.51/789.87 c GLOBAL bounds - >= 5253 @ 704.475
787.61/789.90 c GLOBAL bounds - >= 5253 @ 704.486
787.83/790.17 c GLOBAL bounds - >= 5253 @ 704.624
787.92/790.20 c GLOBAL bounds - >= 5253 @ 704.639
788.11/790.43 c GLOBAL bounds - >= 5253 @ 704.744
788.11/790.46 c GLOBAL bounds - >= 5253 @ 704.761
788.31/790.68 c GLOBAL bounds - >= 5253 @ 704.849
788.41/790.70 c GLOBAL bounds - >= 5253 @ 704.866
788.61/790.92 c GLOBAL bounds - >= 5253 @ 704.932
788.61/790.94 c GLOBAL bounds - >= 5253 @ 704.946
788.82/791.17 c GLOBAL bounds - >= 5253 @ 705.026
789.01/791.37 c GLOBAL bounds - >= 5253 @ 705.103
789.21/791.58 c GLOBAL bounds - >= 5253 @ 705.184
789.50/791.80 c GLOBAL bounds - >= 5253 @ 705.268
789.73/792.03 c GLOBAL bounds - >= 5253 @ 705.363
790.31/792.63 c GLOBAL bounds - >= 5253 @ 705.808
790.50/792.86 c GLOBAL bounds - >= 5253 @ 705.9
790.81/793.16 c GLOBAL bounds - >= 5253 @ 706.049
791.10/793.40 c GLOBAL bounds - >= 5253 @ 706.153
793.71/796.04 c GLOBAL bounds - >= 5253 @ 708.583
793.71/796.04 c GLOBAL bounds - >= 5253 @ 708.586
793.71/796.07 c GLOBAL bounds - >= 5253 @ 708.604
793.71/796.10 c GLOBAL bounds - >= 5253 @ 708.616
793.81/796.12 c GLOBAL bounds - >= 5253 @ 708.629
793.81/796.15 c GLOBAL bounds - >= 5253 @ 708.642
793.81/796.17 c GLOBAL bounds - >= 5253 @ 708.654
793.99/796.39 c GLOBAL bounds - >= 5253 @ 708.735
794.10/796.42 c GLOBAL bounds - >= 5253 @ 708.75
794.29/796.63 c GLOBAL bounds - >= 5253 @ 708.815
794.29/796.66 c GLOBAL bounds - >= 5253 @ 708.832
794.50/796.88 c GLOBAL bounds - >= 5253 @ 708.905
794.59/796.90 c GLOBAL bounds - >= 5253 @ 708.915
794.81/797.12 c GLOBAL bounds - >= 5253 @ 708.999
794.81/797.14 c GLOBAL bounds - >= 5253 @ 709.011
794.99/797.36 c GLOBAL bounds - >= 5253 @ 709.099
794.99/797.38 c GLOBAL bounds - >= 5253 @ 709.113
795.29/797.60 c GLOBAL bounds - >= 5253 @ 709.195
795.29/797.63 c GLOBAL bounds - >= 5253 @ 709.208
795.50/797.84 c GLOBAL bounds - >= 5253 @ 709.282
795.50/797.87 c GLOBAL bounds - >= 5253 @ 709.303
795.71/798.09 c GLOBAL bounds - >= 5253 @ 709.387
795.81/798.12 c GLOBAL bounds - >= 5253 @ 709.408
795.99/798.33 c GLOBAL bounds - >= 5253 @ 709.484
795.99/798.37 c GLOBAL bounds - >= 5253 @ 709.509
796.19/798.59 c GLOBAL bounds - >= 5253 @ 709.591
796.49/798.80 c GLOBAL bounds - >= 5253 @ 709.681
796.59/799.01 c GLOBAL bounds - >= 5253 @ 709.756
796.89/799.22 c GLOBAL bounds - >= 5253 @ 709.842
797.09/799.44 c GLOBAL bounds - >= 5253 @ 709.927
797.29/799.65 c GLOBAL bounds - >= 5253 @ 710.007
797.50/799.87 c GLOBAL bounds - >= 5253 @ 710.105
797.70/800.10 c GLOBAL bounds - >= 5253 @ 710.188
797.99/800.32 c GLOBAL bounds - >= 5253 @ 710.285
798.19/800.55 c GLOBAL bounds - >= 5253 @ 710.397
801.08/803.45 c GLOBAL bounds - >= 5253 @ 713.106
801.08/803.45 c GLOBAL bounds - >= 5253 @ 713.11
801.08/803.48 c GLOBAL bounds - >= 5253 @ 713.126
801.18/803.50 c GLOBAL bounds - >= 5253 @ 713.139
801.18/803.53 c GLOBAL bounds - >= 5253 @ 713.153
801.18/803.56 c GLOBAL bounds - >= 5253 @ 713.163
801.18/803.59 c GLOBAL bounds - >= 5253 @ 713.178
801.28/803.62 c GLOBAL bounds - >= 5253 @ 713.196
801.28/803.64 c GLOBAL bounds - >= 5253 @ 713.209
801.28/803.67 c GLOBAL bounds - >= 5253 @ 713.22
801.58/803.91 c GLOBAL bounds - >= 5253 @ 713.318
801.58/803.94 c GLOBAL bounds - >= 5253 @ 713.333
801.79/804.19 c GLOBAL bounds - >= 5253 @ 713.444
801.88/804.21 c GLOBAL bounds - >= 5253 @ 713.463
802.08/804.45 c GLOBAL bounds - >= 5253 @ 713.566
802.08/804.48 c GLOBAL bounds - >= 5253 @ 713.577
802.88/805.27 c GLOBAL bounds - >= 5253 @ 714.226
802.88/805.29 c GLOBAL bounds - >= 5253 @ 714.241
803.18/805.54 c GLOBAL bounds - >= 5253 @ 714.362
803.18/805.57 c GLOBAL bounds - >= 5253 @ 714.379
803.58/805.91 c GLOBAL bounds - >= 5253 @ 714.557
803.58/805.94 c GLOBAL bounds - >= 5253 @ 714.573
803.79/806.16 c GLOBAL bounds - >= 5253 @ 714.659
803.79/806.18 c GLOBAL bounds - >= 5253 @ 714.674
804.08/806.40 c GLOBAL bounds - >= 5253 @ 714.761
804.08/806.43 c GLOBAL bounds - >= 5253 @ 714.778
804.28/806.64 c GLOBAL bounds - >= 5253 @ 714.852
804.28/806.67 c GLOBAL bounds - >= 5253 @ 714.866
804.48/806.89 c GLOBAL bounds - >= 5253 @ 714.943
804.69/807.11 c GLOBAL bounds - >= 5253 @ 715.045
804.97/807.34 c GLOBAL bounds - >= 5253 @ 715.147
805.17/807.55 c GLOBAL bounds - >= 5253 @ 715.24
806.47/808.87 c #Conflicts: 57000 | #Constraints: 16429
806.47/808.87 c GLOBAL bounds - >= 5253 @ 716.4
806.97/809.34 c GLOBAL bounds - >= 5253 @ 716.732
806.97/809.34 c GLOBAL bounds - >= 5253 @ 716.734
806.97/809.37 c GLOBAL bounds - >= 5253 @ 716.751
807.07/809.40 c GLOBAL bounds - >= 5253 @ 716.769
807.07/809.43 c GLOBAL bounds - >= 5253 @ 716.791
807.07/809.46 c GLOBAL bounds - >= 5253 @ 716.807
807.07/809.49 c GLOBAL bounds - >= 5253 @ 716.826
807.17/809.52 c GLOBAL bounds - >= 5253 @ 716.842
807.37/809.77 c GLOBAL bounds - >= 5253 @ 716.961
807.47/809.80 c GLOBAL bounds - >= 5253 @ 716.972
807.68/810.02 c GLOBAL bounds - >= 5253 @ 717.056
807.68/810.04 c GLOBAL bounds - >= 5253 @ 717.07
807.86/810.26 c GLOBAL bounds - >= 5253 @ 717.148
807.86/810.28 c GLOBAL bounds - >= 5253 @ 717.164
808.16/810.50 c GLOBAL bounds - >= 5253 @ 717.259
808.16/810.53 c GLOBAL bounds - >= 5253 @ 717.273
808.37/810.75 c GLOBAL bounds - >= 5253 @ 717.357
808.37/810.78 c GLOBAL bounds - >= 5253 @ 717.376
808.57/810.99 c GLOBAL bounds - >= 5253 @ 717.451
808.68/811.02 c GLOBAL bounds - >= 5253 @ 717.467
808.86/811.24 c GLOBAL bounds - >= 5253 @ 717.54
808.86/811.26 c GLOBAL bounds - >= 5253 @ 717.553
809.06/811.48 c GLOBAL bounds - >= 5253 @ 717.633
809.16/811.51 c GLOBAL bounds - >= 5253 @ 717.655
809.36/811.73 c GLOBAL bounds - >= 5253 @ 717.733
809.36/811.76 c GLOBAL bounds - >= 5253 @ 717.752
809.56/811.98 c GLOBAL bounds - >= 5253 @ 717.827
809.78/812.19 c GLOBAL bounds - >= 5253 @ 717.9
810.07/812.41 c GLOBAL bounds - >= 5253 @ 717.995
810.27/812.64 c GLOBAL bounds - >= 5253 @ 718.086
810.47/812.87 c GLOBAL bounds - >= 5253 @ 718.178
810.77/813.13 c GLOBAL bounds - >= 5253 @ 718.289
810.96/813.37 c GLOBAL bounds - >= 5253 @ 718.403
811.26/813.64 c GLOBAL bounds - >= 5253 @ 718.538
811.67/814.03 c GLOBAL bounds - >= 5253 @ 718.778
812.56/814.95 c GLOBAL bounds - >= 5253 @ 719.527
812.78/815.19 c GLOBAL bounds - >= 5253 @ 719.628
812.78/815.19 c GLOBAL bounds - >= 5253 @ 719.631
812.85/815.22 c GLOBAL bounds - >= 5253 @ 719.643
812.85/815.25 c GLOBAL bounds - >= 5253 @ 719.66
812.85/815.28 c GLOBAL bounds - >= 5253 @ 719.673
812.95/815.30 c GLOBAL bounds - >= 5253 @ 719.691
812.95/815.33 c GLOBAL bounds - >= 5253 @ 719.709
813.16/815.55 c GLOBAL bounds - >= 5253 @ 719.795
813.16/815.58 c GLOBAL bounds - >= 5253 @ 719.808
813.45/815.80 c GLOBAL bounds - >= 5253 @ 719.885
813.45/815.82 c GLOBAL bounds - >= 5253 @ 719.899
813.67/816.09 c GLOBAL bounds - >= 5253 @ 720.023
813.77/816.12 c GLOBAL bounds - >= 5253 @ 720.036
813.95/816.34 c GLOBAL bounds - >= 5253 @ 720.12
813.95/816.37 c GLOBAL bounds - >= 5253 @ 720.136
814.25/816.60 c GLOBAL bounds - >= 5253 @ 720.235
814.25/816.63 c GLOBAL bounds - >= 5253 @ 720.251
814.45/816.84 c GLOBAL bounds - >= 5253 @ 720.334
814.45/816.87 c GLOBAL bounds - >= 5253 @ 720.348
814.76/817.12 c GLOBAL bounds - >= 5253 @ 720.459
814.76/817.14 c GLOBAL bounds - >= 5253 @ 720.475
814.96/817.38 c GLOBAL bounds - >= 5253 @ 720.585
815.05/817.41 c GLOBAL bounds - >= 5253 @ 720.597
815.25/817.64 c GLOBAL bounds - >= 5253 @ 720.69
815.25/817.67 c GLOBAL bounds - >= 5253 @ 720.705
816.35/818.71 c GLOBAL bounds - >= 5253 @ 721.599
821.83/824.24 c GLOBAL bounds - >= 5253 @ 726.927
821.83/824.24 c GLOBAL bounds - >= 5253 @ 726.93
821.83/824.27 c GLOBAL bounds - >= 5253 @ 726.943
821.83/824.29 c GLOBAL bounds - >= 5253 @ 726.958
822.53/824.93 c GLOBAL bounds - >= 5253 @ 727.45
822.53/824.96 c GLOBAL bounds - >= 5253 @ 727.463
822.75/825.18 c GLOBAL bounds - >= 5253 @ 727.55
822.83/825.20 c GLOBAL bounds - >= 5253 @ 727.566
823.03/825.42 c GLOBAL bounds - >= 5253 @ 727.641
823.03/825.45 c GLOBAL bounds - >= 5253 @ 727.655
823.23/825.66 c GLOBAL bounds - >= 5253 @ 727.735
823.23/825.69 c GLOBAL bounds - >= 5253 @ 727.747
823.53/825.91 c GLOBAL bounds - >= 5253 @ 727.817
823.53/825.93 c GLOBAL bounds - >= 5253 @ 727.829
823.74/826.15 c GLOBAL bounds - >= 5253 @ 727.913
823.74/826.18 c GLOBAL bounds - >= 5253 @ 727.924
823.93/826.39 c GLOBAL bounds - >= 5253 @ 727.997
824.03/826.42 c GLOBAL bounds - >= 5253 @ 728.009
824.23/826.64 c GLOBAL bounds - >= 5253 @ 728.085
824.23/826.66 c GLOBAL bounds - >= 5253 @ 728.098
824.43/826.88 c GLOBAL bounds - >= 5253 @ 728.188
824.52/826.91 c GLOBAL bounds - >= 5253 @ 728.2
824.74/827.12 c GLOBAL bounds - >= 5253 @ 728.282
824.93/827.34 c GLOBAL bounds - >= 5253 @ 728.361
825.12/827.54 c GLOBAL bounds - >= 5253 @ 728.447
825.33/827.75 c GLOBAL bounds - >= 5253 @ 728.524
825.53/827.96 c GLOBAL bounds - >= 5253 @ 728.602
825.74/828.17 c GLOBAL bounds - >= 5253 @ 728.688
825.92/828.38 c GLOBAL bounds - >= 5253 @ 728.779
826.22/828.62 c GLOBAL bounds - >= 5253 @ 728.895
826.42/828.84 c GLOBAL bounds - >= 5253 @ 728.992
3600.00/3610.26 c #Conflicts: 58000 | #Constraints: 17466
3600.00/3610.26 c #Conflicts: 59000 | #Constraints: 18466
3600.00/3610.26 c #Conflicts: 60000 | #Constraints: 19466
3600.00/3610.26 c #Conflicts: 61000 | #Constraints: 20466
3600.00/3610.26 c #Conflicts: 62000 | #Constraints: 21466
3600.00/3610.26 c INPROCESSING
3600.00/3610.26 c GARBAGE COLLECT
3600.00/3610.26 c #Conflicts: 63000 | #Constraints: 11806
3600.00/3610.26 c #Conflicts: 64000 | #Constraints: 12806
3600.00/3610.26 c #Conflicts: 65000 | #Constraints: 13806
3600.00/3610.26 c #Conflicts: 66000 | #Constraints: 14806
3600.00/3610.26 c #Conflicts: 67000 | #Constraints: 15806
3600.00/3610.26 c #Conflicts: 68000 | #Constraints: 16806
3600.00/3610.26 c #Conflicts: 69000 | #Constraints: 17806
3600.00/3610.26 c INPROCESSING
3600.00/3610.26 c GARBAGE COLLECT
3600.00/3610.26 c #Conflicts: 70000 | #Constraints: 10046
3600.00/3610.26 c #Conflicts: 71000 | #Constraints: 11046
3600.00/3610.26 c #Conflicts: 72000 | #Constraints: 12046
3600.00/3610.26 c #Conflicts: 73000 | #Constraints: 13046
3600.00/3610.26 c #Conflicts: 74000 | #Constraints: 14046
3600.00/3610.26 c #Conflicts: 75000 | #Constraints: 15046
3600.00/3610.26 c #Conflicts: 76000 | #Constraints: 16046
3600.00/3610.27 c INPROCESSING
3600.00/3610.27 c GARBAGE COLLECT
3600.00/3610.27 c #Conflicts: 77000 | #Constraints: 9055
3600.00/3610.27 c #Conflicts: 78000 | #Constraints: 10055
3600.00/3610.27 c #Conflicts: 79000 | #Constraints: 11055
3600.00/3610.27 c #Conflicts: 80000 | #Constraints: 12055
3600.00/3610.27 c #Conflicts: 81000 | #Constraints: 13055
3600.00/3610.27 c #Conflicts: 82000 | #Constraints: 14055
3600.00/3610.27 c #Conflicts: 83000 | #Constraints: 15055
3600.00/3610.27 c #Conflicts: 84000 | #Constraints: 16055
3600.00/3610.27 c INPROCESSING
3600.00/3610.27 c GARBAGE COLLECT
3600.00/3610.27 c #Conflicts: 85000 | #Constraints: 9481
3600.00/3610.27 c #Conflicts: 86000 | #Constraints: 10481
3600.00/3610.27 c #Conflicts: 87000 | #Constraints: 11481
3600.00/3610.27 c #Conflicts: 88000 | #Constraints: 12481
3600.00/3610.27 c #Conflicts: 89000 | #Constraints: 13481
3600.00/3610.27 c #Conflicts: 90000 | #Constraints: 14481
3600.00/3610.27 c #Conflicts: 91000 | #Constraints: 15481
3600.00/3610.27 c INPROCESSING
3600.00/3610.27 c GARBAGE COLLECT
3600.00/3610.27 c #Conflicts: 92000 | #Constraints: 9013
3600.00/3610.27 c #Conflicts: 93000 | #Constraints: 10013
3600.00/3610.27 c #Conflicts: 94000 | #Constraints: 11013
3600.00/3610.27 c #Conflicts: 95000 | #Constraints: 12013
3600.00/3610.27 c #Conflicts: 96000 | #Constraints: 13013
3600.00/3610.27 c #Conflicts: 97000 | #Constraints: 14013
3600.00/3610.27 c #Conflicts: 98000 | #Constraints: 15013
3600.00/3610.27 c #Conflicts: 99000 | #Constraints: 16013
3600.00/3610.27 c INPROCESSING
3600.00/3610.27 c GARBAGE COLLECT
3600.00/3610.27 c #Conflicts: 100000 | #Constraints: 9346
3600.00/3610.27 c #Conflicts: 101000 | #Constraints: 10346
3600.00/3610.27 c #Conflicts: 102000 | #Constraints: 11346
3600.00/3610.27 c #Conflicts: 103000 | #Constraints: 12346
3600.00/3610.27 c #Conflicts: 104000 | #Constraints: 13346
3600.00/3610.27 c #Conflicts: 105000 | #Constraints: 14346
3600.00/3610.27 c #Conflicts: 106000 | #Constraints: 15346
3600.00/3610.27 c #Conflicts: 107000 | #Constraints: 16346
3600.00/3610.27 c #Conflicts: 108000 | #Constraints: 17346
3600.00/3610.27 c #Conflicts: 109000 | #Constraints: 18346
3600.00/3610.27 c #Conflicts: 110000 | #Constraints: 19346
3600.00/3610.27 c #Conflicts: 111000 | #Constraints: 20346
3600.00/3610.27 c #Conflicts: 112000 | #Constraints: 21346
3600.00/3610.27 c #Conflicts: 113000 | #Constraints: 22346
3600.00/3610.27 c #Conflicts: 114000 | #Constraints: 23346
3600.00/3610.27 c #Conflicts: 115000 | #Constraints: 24346
3600.00/3610.27 c #Conflicts: 116000 | #Constraints: 25346
3600.00/3610.27 c #Conflicts: 117000 | #Constraints: 26346
3600.00/3610.27 c #Conflicts: 118000 | #Constraints: 27346
3600.00/3610.27 c #Conflicts: 119000 | #Constraints: 28346
3600.00/3610.27 c #Conflicts: 120000 | #Constraints: 29346
3600.00/3610.27 c #Conflicts: 121000 | #Constraints: 30346
3600.00/3610.27 c #Conflicts: 122000 | #Constraints: 31346
3600.00/3610.27 c INPROCESSING
3600.00/3610.27 c GARBAGE COLLECT
3600.00/3610.27 c #Conflicts: 123000 | #Constraints: 16987
3600.00/3610.27 c cpu time 3488.69 s
3600.00/3610.27 c deterministic time 97356472 9.74e+07
3600.00/3610.27 c optimization time 3474.15 s
3600.00/3610.27 c total solve time 6.15696 s
3600.00/3610.27 c core-guided solve time 0 s
3600.00/3610.27 c propagation time 3.48455 s
3600.00/3610.27 c conflict analysis time 1.47708 s
3600.00/3610.27 c propagations 17305039
3600.00/3610.27 c resolve steps 39718
3600.00/3610.27 c decisions 16512742
3600.00/3610.27 c conflicts 1423
3600.00/3610.27 c restarts 9
3600.00/3610.27 c inprocessing phases 0
3600.00/3610.27 c garbage collections 0 ,( -nan )
3600.00/3610.27 c input clauses 1597184 ,( 99.99 )
3600.00/3610.27 c input cardinalities 0 ,( 0.00 )
3600.00/3610.27 c input general constraints 91 ,( 0.01 )
3600.00/3610.27 c input average constraint length 3.39
3600.00/3610.27 c input average constraint degree 429.50
3600.00/3610.27 c learned clauses 1442 ,( 100.00 )
3600.00/3610.27 c learned cardinalities 0 ,( 0.00 )
3600.00/3610.27 c learned general constraints 0 ,( 0.00 )
3600.00/3610.27 c learned average constraint length 124.20
3600.00/3610.27 c learned average constraint degree 1.00
3600.00/3610.27 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3610.27 c counting CF 32, 64, 128, Arb: 92 , 0 , 0 , 0
3600.00/3610.27 c watched constraints 0 ,( 0.00 )
3600.00/3610.27 c counting constraints 91 ,( 100.00 )
3600.00/3610.27 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 10407342 , 0 , 504931 ,( 0 , 504931 )
3600.00/3610.27 c gcd simplifications 0
3600.00/3610.27 c detected cardinalities 0
3600.00/3610.27 c weakened non-implied lits 0
3600.00/3610.27 c weakened non-implying lits 0
3600.00/3610.27 c original variables 214550
3600.00/3610.27 c clausal propagations 9803040
3600.00/3610.27 c cardinality propagations 0
3600.00/3610.27 c watched propagations 0
3600.00/3610.27 c counting propagations 27362
3600.00/3610.27 c watch lookups 11192620
3600.00/3610.27 c watch backjump lookups 0
3600.00/3610.27 c watch checks 8099990
3600.00/3610.27 c propagation checks 9855536
3600.00/3610.27 c constraint additions 687647
3600.00/3610.27 c trail pops 33702897
3600.00/3610.27 c formula constraints 1596582
3600.00/3610.27 c learned constraints 1442
3600.00/3610.27 c bound constraints 0
3600.00/3610.27 c core-guided constraints 0
3600.00/3610.27 c encountered formula constraints 39672
3600.00/3610.27 c encountered learned constraints 1469
3600.00/3610.27 c encountered bound constraints 0
3600.00/3610.27 c encountered core-guided constraints 0
3600.00/3610.27 c LP total time 0 s
3600.00/3610.27 c LP solve time 0 s
3600.00/3610.27 c LP constraints added 0
3600.00/3610.27 c LP constraints removed 0
3600.00/3610.27 c LP pivots internal 0
3600.00/3610.27 c LP pivots root 0
3600.00/3610.27 c LP calls 0
3600.00/3610.27 c LP optimalities 0
3600.00/3610.27 c LP no pivot count 0
3600.00/3610.27 c LP infeasibilities 0
3600.00/3610.27 c LP valid Farkas constraints 0
3600.00/3610.27 c LP learned Farkas constraints 0
3600.00/3610.27 c LP basis resets 0
3600.00/3610.27 c LP cycling count 0
3600.00/3610.27 c LP singular count 0
3600.00/3610.27 c LP no primal count 0
3600.00/3610.27 c LP no farkas count 0
3600.00/3610.27 c LP other issue count 0
3600.00/3610.27 c LP Gomory cuts 0
3600.00/3610.27 c LP learned cuts 0
3600.00/3610.27 c LP deleted cuts 0
3600.00/3610.27 c LP encountered Gomory constraints 0
3600.00/3610.27 c LP encountered Farkas constraints 0
3600.00/3610.27 c LP encountered learned Farkas constraints 0
3600.00/3610.27 c CG auxiliary variables introduced 142
3600.00/3610.27 c CG solutions found 0
3600.00/3610.27 c CG cores constructed 436
3600.00/3610.27 c CG core cardinality constraints returned 0
3600.00/3610.27 c CG unit cores 0
3600.00/3610.27 c CG single cores 0
3600.00/3610.27 c CG blocks removed during cardinality reduction 0
3600.00/3610.27 c CG first core best 0
3600.00/3610.27 c CG decision core best 0
3600.00/3610.27 c CG core reduction tie 0
3600.00/3610.27 c CG core degree average 0.00
3600.00/3610.27 c CG core slack average 0.00
3600.00/3610.27 c CG core upper bound improvements 0
3600.00/3610.27 c STR number of successful calls 0
3600.00/3610.27 c STR number of unsuccessful calls 0
3600.00/3610.27 c STR number of inconclusive calls 0
3600.00/3610.27 c STR number of successful attempts 0
3600.00/3610.27 c STR number of unsuccessful attempts 0
3600.00/3610.27 c STR number of inconclusive attempts 0
3600.00/3610.27 c STR average degree increase per successful call inf
3600.00/3610.27 c STR average degree increase per successful attempt inf
3600.00/3610.27 c STR total number of conflicts for successful attempts 0
3600.00/3610.27 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.27 c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.27 c STR average number of conflicts per successful attempt inf
3600.00/3610.27 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.27 c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.27 c AVG.sumWPerc 99.97
3600.00/3610.27 c bigint constraints 0
3600.00/3610.27 s UNKNOWN
3600.00/3610.27 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: 63837 MiB (62327 MiB free)
memory of node 1: 64465 MiB (63300 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506459-1751505018/watcher-4506459-1751505018 -o /tmp/evaluation-result-4506459-1751505018/solver-4506459-1751505018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751501401-69614 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4506459-1751505018.opb PROOFDIR/proof-4506459-1751505018
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=70038, runsolver pid=70035
[startup+0.100061 s]*
/proc/loadavg: 4.12 4.11 4.09 3/251 70050
/proc/meminfo: memFree=128759012/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=93688 memory=49012 CPUtime=0.04 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 5236 0 0 0 3 1 0 0 20 0 1 0 66181030 95936512 12253 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 23422 12253 1984 1147 0 10849 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 97880 KiB
Current children cumulated memory: 52084 KiB
[startup+0.206413 s]*
/proc/loadavg: 4.12 4.11 4.09 5/256 70060
/proc/meminfo: memFree=128713664/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=97208 memory=52340 CPUtime=0.15 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 6068 0 0 0 12 3 0 0 20 0 1 0 66181030 99540992 13085 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 24302 13085 1984 1147 0 11729 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 101400 KiB
Current children cumulated memory: 55412 KiB
[startup+0.306434 s]*
/proc/loadavg: 4.12 4.11 4.09 6/256 70060
/proc/meminfo: memFree=128660108/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=98388 memory=53620 CPUtime=0.25 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 6399 0 0 0 19 6 0 0 20 0 1 0 66181030 100749312 13405 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 24597 13405 1984 1147 0 12024 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 102580 KiB
Current children cumulated memory: 56692 KiB
[startup+0.700205 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 70060
/proc/meminfo: memFree=128548380/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=101908 memory=57844 CPUtime=0.63 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 7461 0 0 0 51 12 0 0 20 0 1 0 66181030 104353792 14461 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 25477 14461 1984 1147 0 12904 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 106100 KiB
Current children cumulated memory: 60916 KiB
[startup+1.50039 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 70071
/proc/meminfo: memFree=128432744/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=112460 memory=68084 CPUtime=1.43 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 10165 0 0 0 120 23 0 0 20 0 1 0 66181030 115159040 17021 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 28115 17021 1984 1147 0 15542 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 71156 KiB
[startup+3.11485 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 70075
/proc/meminfo: memFree=128604512/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=152160 memory=106440 CPUtime=3.04 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 17883 0 0 0 261 43 0 0 20 0 1 0 66181030 155811840 26610 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 38040 26610 1984 1147 0 25467 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 156352 KiB
Current children cumulated memory: 109512 KiB
[startup+6.30035 s]
/proc/loadavg: 4.11 4.11 4.09 4/255 70098
/proc/meminfo: memFree=128059616/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=243344 memory=190820 CPUtime=6.22 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 33808 0 0 0 537 85 0 0 20 0 1 0 66181030 249184256 47705 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 60836 47705 1984 1147 0 48263 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 247536 KiB
Current children cumulated memory: 193892 KiB
[startup+12.7004 s]
/proc/loadavg: 4.10 4.10 4.09 5/260 70118
/proc/meminfo: memFree=127162000/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=474168 memory=370124 CPUtime=12.6 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 59360 0 0 0 977 283 0 0 20 0 1 0 66181030 485548032 92531 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 118542 92531 2080 1147 0 105969 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 478360 KiB
Current children cumulated memory: 373196 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 70119
/proc/meminfo: memFree=126076864/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=593900 memory=487736 CPUtime=25.37 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 78556 0 0 0 1502 1035 0 0 20 0 1 0 66181030 608153600 121934 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 148475 121934 2112 1147 0 135902 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 598092 KiB
Current children cumulated memory: 490808 KiB
[startup+51.1151 s]
/proc/loadavg: 4.12 4.10 4.09 5/261 70121
/proc/meminfo: memFree=122805604/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=1036268 memory=856908 CPUtime=50.91 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 145751 0 0 0 3308 1783 0 0 20 0 1 0 66181030 1061138432 214227 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 259067 214227 2112 1147 0 246494 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1040460 KiB
Current children cumulated memory: 859980 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/262 70123
/proc/meminfo: memFree=116523484/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=2100480 memory=1805064 CPUtime=101.96 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 329219 0 0 0 7973 2223 0 0 20 0 1 0 66181030 2150891520 451266 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 525120 451266 2112 1147 0 512547 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2104672 KiB
Current children cumulated memory: 1808136 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 70126
/proc/meminfo: memFree=110117376/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=2317328 memory=2025692 CPUtime=161.8 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 356086 0 0 0 12065 4115 0 0 20 0 1 0 66181030 2372943872 506423 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 579332 506423 2112 1147 0 566759 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2321520 KiB
Current children cumulated memory: 2028764 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 70128
/proc/meminfo: memFree=103471424/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=2317328 memory=2027740 CPUtime=221.63 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 356197 0 0 0 17947 4216 0 0 20 0 1 0 66181030 2372943872 506935 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
################
# More data... #
################
/proc/meminfo: memFree=1542640/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=7835716 memory=7234484 CPUtime=3213.17 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 1107086 0 0 0 310437 10880 0 0 20 0 1 0 66181030 8023773184 1808621 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 1958929 1808621 2112 1147 0 1946356 0
Current children cumulated CPU time: 3213.17 s
Current children cumulated vsize: 7839908 KiB
Current children cumulated memory: 7237556 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.21 4.24 5/281 70333
/proc/meminfo: memFree=1590656/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=7839556 memory=7341400 CPUtime=3273 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 1110548 0 0 0 316407 10893 0 0 20 0 1 0 66181030 8027705344 1835350 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 1959889 1835350 2112 1147 0 1947316 0
Current children cumulated CPU time: 3273 s
Current children cumulated vsize: 7843748 KiB
Current children cumulated memory: 7344472 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.20 4.24 5/281 70337
/proc/meminfo: memFree=1462556/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=7840324 memory=7449956 CPUtime=3332.84 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 1112827 0 0 0 322365 10919 0 0 20 0 1 0 66181030 8028491776 1862489 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 1960081 1862489 2112 1147 0 1947508 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 7844516 KiB
Current children cumulated memory: 7453028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.46 4.26 4.25 5/280 70339
/proc/meminfo: memFree=1734008/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=12544468 memory=9941908 CPUtime=3392.68 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 1715492 0 0 0 328238 11030 0 0 20 0 1 0 66181030 12845535232 2485477 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 3136117 2485477 2112 1147 0 3123544 0
Current children cumulated CPU time: 3392.68 s
Current children cumulated vsize: 12548660 KiB
Current children cumulated memory: 9944980 KiB
[startup+3462.3 s]
/proc/loadavg: 4.84 4.41 4.31 5/275 70341
/proc/meminfo: memFree=1433844/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=12571092 memory=10081612 CPUtime=3452.51 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 1738095 0 0 0 334201 11050 0 0 20 0 1 0 66181030 12872798208 2520403 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 3142773 2520403 2112 1147 0 3130200 0
Current children cumulated CPU time: 3452.51 s
Current children cumulated vsize: 12575284 KiB
Current children cumulated memory: 10084684 KiB
[startup+3522.3 s]
/proc/loadavg: 4.47 4.38 4.30 5/262 70343
/proc/meminfo: memFree=1492100/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=12612564 memory=10242360 CPUtime=3512.34 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 1763359 0 0 0 340163 11071 0 0 20 0 1 0 66181030 12915265536 2560590 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 3153141 2560590 2112 1147 0 3140568 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 12616756 KiB
Current children cumulated memory: 10245432 KiB
[startup+3582.3 s]
/proc/loadavg: 4.35 4.36 4.30 5/261 70350
/proc/meminfo: memFree=1680700/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=12619220 memory=10292468 CPUtime=3572.18 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 1890537 0 0 0 346100 11118 0 0 20 0 1 0 66181030 12922081280 2573117 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 3154805 2573117 2112 1147 0 3142232 0
Current children cumulated CPU time: 3572.18 s
Current children cumulated vsize: 12623412 KiB
Current children cumulated memory: 10295540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.21 4.32 4.28 5/261 70350
/proc/meminfo: memFree=1554924/131382120 swapFree=33010160/33010684
[pid=70038] ppid=70035 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70038/stat : 70038 (run-opt-log.sh) S 70035 70038 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181029 4292608 768 18446744073709551615 93869746475008 93869747369541 140730684534368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93869747608592 93869747656336 93869753155584 140730684541217 140730684541412 140730684541412 140730684547014 0
/proc/70038/statm: 1048 768 704 219 0 110 0
[pid=70040] ppid=70038 vsize=12619220 memory=10292468 CPUtime=3600 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70038 70038 69604 0 -1 4194304 1894953 0 0 0 348868 11132 0 0 20 0 1 0 66181030 12922081280 2573117 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 3154805 2573117 2112 1147 0 3142232 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 12623412 KiB
Current children cumulated memory: 10295540 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.21 s]
# the end of solver process 70038 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.002561 s
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 70040 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3488.9 s, system=111.486 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.42 s]
/proc/loadavg: 4.21 4.32 4.28 4/260 70350
/proc/meminfo: memFree=1547424/131382120 swapFree=33010160/33010684
[pid=70040] ppid=70035 vsize=10303888 memory=8785204 CPUtime=3600.1 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70035 70038 69604 0 -1 4194304 1894980 0 1 0 348870 11140 0 0 20 0 1 0 66181030 10551181312 2197981 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 2575972 2197141 2240 1147 0 2563399 0
Current cumulated CPU time of completed processes: 0.002561 s
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 10303888 KiB
Current children cumulated memory: 8785204 KiB
[startup+3610.6 s]
/proc/loadavg: 4.21 4.32 4.28 4/260 70350
/proc/meminfo: memFree=1547424/131382120 swapFree=33010160/33010684
[pid=70040] ppid=70035 vsize=5201112 memory=5151304 CPUtime=3600.28 cores=0,2
/proc/70040/stat : 70040 (roundingsat) R 70035 70038 69604 0 -1 4194304 1895020 0 1 0 348881 11147 0 0 20 0 1 0 66181030 5325938688 1287826 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 1300278 1287826 2240 1147 0 1287705 0
Current cumulated CPU time of completed processes: 0.002561 s
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 5201112 KiB
Current children cumulated memory: 5151304 KiB
[startup+3610.7 s]
/proc/loadavg: 4.21 4.32 4.28 4/260 70350
/proc/meminfo: memFree=1547424/131382120 swapFree=33010160/33010684
[pid=70040] ppid=70035 vsize=1801096 memory=1751288 CPUtime=3600.37 cores=0,2
/proc/70040/stat : 70040 (roundingsat) D 70035 70038 69604 0 -1 4194304 1895020 0 1 0 348890 11147 0 0 20 0 1 0 66181030 1844322304 437822 18446744073709551615 4227072 8923433 140733318535008 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 42700800 140733318543698 140733318543912 140733318543912 140733318549482 0
/proc/70040/statm: 450274 437822 2240 1147 0 437701 0
Current cumulated CPU time of completed processes: 0.002561 s
Current children cumulated CPU time: 3600.37 s
Current children cumulated vsize: 1801096 KiB
Current children cumulated memory: 1751288 KiB
Child status: 2
Real time (s): 3610.71
CPU time (s): 3600.39
CPU user time (s): 3488.9
CPU system time (s): 111.486
CPU usage (%): 99.7142
Max. virtual memory (cumulated for all children) (KiB): 12623412
Max. memory (cumulated for all children) (KiB): 10295540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3488.9
system time used= 111.486
maximum resident set size= 10292980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1895244
page faults= 2
swaps= 0
block input operations= 7904
block output operations= 60650040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3616
involuntary context switches= 9816
# summary of solver processes directly reported to runsolver:
# pid: 70038,70040
# total CPU time (s): 3600.39
# total CPU user time (s): 3488.9
# total CPU system time (s): 111.486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3729 second user time and 44.2222 second system time
The end
Begin job on nodeC008 at 2025-07-03 03:10:19
IDJOB=4506459
IDBENCH=158210
IDSOLVER=3351
FILE ID=nodeC008/4506459-1751505018
RUNJOBID= nodeC008-1751501401-69614
SLURM_JOB_ID= 9598586
Free space on /tmp= 432544 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped2.G.recomb1-0.20-14.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506459-1751505018/watcher-4506459-1751505018 -o /tmp/evaluation-result-4506459-1751505018/solver-4506459-1751505018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751501401-69614 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4506459-1751505018.opb PROOFDIR/proof-4506459-1751505018
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9031c16a74ff76df112c718c9324bf0f
RANDOM SEED=454567091
nodeC008 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 : 0xb00001f
cpu MHz : 1196.895
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 2294.692
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3491.837
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.563
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.324
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3491.864
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 2993.040
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.587
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127688216 kB
MemAvailable: 129864308 kB
Buffers: 2144 kB
Cached: 2970328 kB
SwapCached: 16 kB
Active: 363420 kB
Inactive: 2738756 kB
Active(anon): 111100 kB
Inactive(anon): 36568 kB
Active(file): 252320 kB
Inactive(file): 2702188 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 257492 kB
Writeback: 0 kB
AnonPages: 132864 kB
Mapped: 108112 kB
Shmem: 17920 kB
KReclaimable: 121776 kB
Slab: 206596 kB
SReclaimable: 121776 kB
SUnreclaim: 84820 kB
KernelStack: 4032 kB
PageTables: 3156 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 415416 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32768 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432532 MiB
End job on nodeC008 at 2025-07-03 04:10:30