0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
1.24/1.40 c #variables 45775 #constraints 104537
1.24/1.40 c objective is ce32
1.34/1.58 c initial watched CF 32, 64, 128, Arb: 25 , 0 , 0 , 0
1.34/1.58 c initial counting CF 32, 64, 128, Arb: 29126 , 0 , 0 , 0
1.34/1.58 c GLOBAL bounds - >= -25 @ 1.15117
1.44/1.66 c GLOBAL bounds - >= -25 @ 1.19058
1.53/1.73 c GLOBAL bounds - >= -25 @ 1.23479
1.64/1.81 c GLOBAL bounds - >= -25 @ 1.27424
1.64/1.87 c GLOBAL bounds - >= -25 @ 1.3162
1.74/1.93 c GLOBAL bounds - >= -25 @ 1.35348
1.74/1.99 c GLOBAL bounds - >= -25 @ 1.39546
1.85/2.05 c GLOBAL bounds - >= -25 @ 1.43351
1.95/2.11 c GLOBAL bounds - >= -25 @ 1.47019
1.95/2.19 c GLOBAL bounds - >= -25 @ 1.52658
2.04/2.25 c GLOBAL bounds - >= -25 @ 1.56388
2.14/2.31 c GLOBAL bounds - >= -25 @ 1.60485
2.14/2.37 c GLOBAL bounds - >= -25 @ 1.64006
2.23/2.45 c GLOBAL bounds - >= -25 @ 1.7011
2.33/2.51 c GLOBAL bounds - >= -25 @ 1.73502
2.33/2.56 c GLOBAL bounds - >= -25 @ 1.7697
2.44/2.62 c GLOBAL bounds - >= -25 @ 1.8039
2.44/2.67 c GLOBAL bounds - >= -25 @ 1.8372
2.54/2.75 c GLOBAL bounds - >= -25 @ 1.90141
2.63/2.81 c GLOBAL bounds - >= -25 @ 1.93825
2.63/2.88 c GLOBAL bounds - >= -25 @ 1.98222
2.74/2.93 c GLOBAL bounds - >= -25 @ 2.01708
2.74/2.98 c GLOBAL bounds - >= -25 @ 2.05626
2.85/3.05 c GLOBAL bounds - >= -25 @ 2.10278
2.95/3.12 c GLOBAL bounds - >= -25 @ 2.15166
3.03/3.22 c GLOBAL bounds - >= -25 @ 2.22055
3.14/3.32 c GLOBAL bounds - >= -25 @ 2.29637
3.23/3.43 c GLOBAL bounds - >= -25 @ 2.38324
3.34/3.56 c GLOBAL bounds - >= -25 @ 2.47399
3.54/3.70 c GLOBAL bounds - >= -25 @ 2.57692
3.63/3.85 c GLOBAL bounds - >= 26943 @ 2.7219
4.53/4.72 c GLOBAL bounds - >= 26943 @ 3.56161
4.63/4.80 c GLOBAL bounds - >= 26943 @ 3.62044
4.63/4.82 c GLOBAL bounds - >= 26943 @ 3.63301
4.63/4.87 c GLOBAL bounds - >= 26943 @ 3.66238
4.63/4.88 c GLOBAL bounds - >= 26943 @ 3.6735
4.73/4.93 c GLOBAL bounds - >= 26943 @ 3.70074
4.73/4.94 c GLOBAL bounds - >= 26943 @ 3.70633
4.73/4.99 c GLOBAL bounds - >= 26943 @ 3.73462
4.73/5.00 c GLOBAL bounds - >= 26943 @ 3.74381
4.85/5.05 c GLOBAL bounds - >= 26943 @ 3.76836
4.85/5.05 c GLOBAL bounds - >= 26943 @ 3.77101
4.85/5.08 c GLOBAL bounds - >= 26943 @ 3.7866
4.85/5.08 c GLOBAL bounds - >= 26943 @ 3.78706
4.95/5.11 c GLOBAL bounds - >= 26943 @ 3.79877
4.95/5.12 c GLOBAL bounds - >= 26943 @ 3.80593
4.95/5.15 c GLOBAL bounds - >= 26943 @ 3.81869
4.95/5.16 c GLOBAL bounds - >= 26943 @ 3.82751
5.03/5.21 c GLOBAL bounds - >= 26943 @ 3.85062
5.03/5.22 c GLOBAL bounds - >= 26943 @ 3.86105
5.03/5.25 c GLOBAL bounds - >= 26943 @ 3.86946
5.03/5.29 c GLOBAL bounds - >= 26943 @ 3.89118
5.13/5.33 c GLOBAL bounds - >= 26943 @ 3.91207
5.13/5.37 c GLOBAL bounds - >= 26943 @ 3.93569
5.23/5.46 c GLOBAL bounds - >= 26943 @ 4.00419
5.33/5.51 c GLOBAL bounds - >= 26943 @ 4.03206
5.33/5.56 c GLOBAL bounds - >= 26943 @ 4.06166
5.52/5.71 c GLOBAL bounds - >= 26943 @ 4.18596
5.52/5.76 c GLOBAL bounds - >= 26943 @ 4.21593
5.63/5.81 c GLOBAL bounds - >= 26943 @ 4.24995
5.63/5.89 c GLOBAL bounds - >= 26943 @ 4.32315
5.73/5.95 c GLOBAL bounds - >= 26943 @ 4.35395
5.95/6.17 c GLOBAL bounds - >= 26943 @ 4.54922
6.03/6.25 c GLOBAL bounds - >= 26943 @ 4.60903
6.33/6.59 c GLOBAL bounds - >= 26943 @ 4.92076
6.42/6.68 c GLOBAL bounds - >= 83495 @ 5.0134
6.52/6.70 c GLOBAL bounds - >= 83495 @ 5.03026
6.52/6.77 c GLOBAL bounds - >= 83495 @ 5.0682
6.52/6.78 c GLOBAL bounds - >= 83495 @ 5.07822
6.62/6.84 c GLOBAL bounds - >= 83495 @ 5.11788
6.62/6.86 c GLOBAL bounds - >= 83495 @ 5.12653
6.72/6.91 c GLOBAL bounds - >= 83495 @ 5.15886
6.72/6.92 c GLOBAL bounds - >= 83495 @ 5.166
6.72/6.98 c GLOBAL bounds - >= 83495 @ 5.19449
6.72/6.99 c GLOBAL bounds - >= 83495 @ 5.20321
6.84/7.04 c GLOBAL bounds - >= 83495 @ 5.23192
6.84/7.05 c GLOBAL bounds - >= 83495 @ 5.24107
6.84/7.10 c GLOBAL bounds - >= 83495 @ 5.27217
6.94/7.12 c GLOBAL bounds - >= 83495 @ 5.28326
6.94/7.16 c GLOBAL bounds - >= 83495 @ 5.31329
6.94/7.18 c GLOBAL bounds - >= 83495 @ 5.32308
7.03/7.22 c GLOBAL bounds - >= 83495 @ 5.34907
7.03/7.24 c GLOBAL bounds - >= 83495 @ 5.35669
7.03/7.28 c GLOBAL bounds - >= 83495 @ 5.381
7.13/7.30 c GLOBAL bounds - >= 83495 @ 5.38975
7.13/7.33 c GLOBAL bounds - >= 83495 @ 5.4069
7.13/7.39 c GLOBAL bounds - >= 83495 @ 5.4468
7.22/7.44 c GLOBAL bounds - >= 83495 @ 5.4837
7.33/7.52 c GLOBAL bounds - >= 83495 @ 5.54078
7.33/7.58 c GLOBAL bounds - >= 83495 @ 5.58312
7.42/7.65 c GLOBAL bounds - >= 83495 @ 5.63476
7.52/7.73 c GLOBAL bounds - >= 83495 @ 5.68915
7.63/7.86 c GLOBAL bounds - >= 83495 @ 5.79476
7.84/8.09 c GLOBAL bounds - >= 83495 @ 5.99238
8.12/8.37 c GLOBAL bounds - >= 83495 @ 6.24071
8.43/8.61 c GLOBAL bounds - >= 83495 @ 6.44419
9.32/9.52 c GLOBAL bounds - >= 83495 @ 7.31089
9.72/9.99 c GLOBAL bounds - >= 83495 @ 7.75576
10.42/10.63 c GLOBAL bounds - >= 126545 @ 8.367
10.42/10.65 c GLOBAL bounds - >= 126545 @ 8.38809
10.42/10.65 c GLOBAL bounds - >= 126545 @ 8.39141
10.51/10.72 c GLOBAL bounds - >= 126545 @ 8.43002
10.51/10.73 c GLOBAL bounds - >= 126545 @ 8.4418
10.51/10.79 c GLOBAL bounds - >= 126545 @ 8.47837
10.62/10.80 c GLOBAL bounds - >= 126545 @ 8.48993
10.62/10.86 c GLOBAL bounds - >= 126545 @ 8.52271
10.62/10.88 c GLOBAL bounds - >= 126545 @ 8.53087
10.72/10.93 c GLOBAL bounds - >= 126545 @ 8.56224
10.72/10.94 c GLOBAL bounds - >= 126545 @ 8.57259
10.72/11.00 c GLOBAL bounds - >= 126545 @ 8.60147
10.72/11.01 c GLOBAL bounds - >= 126545 @ 8.61113
10.83/11.06 c GLOBAL bounds - >= 126545 @ 8.63637
10.83/11.07 c GLOBAL bounds - >= 126545 @ 8.64554
10.93/11.12 c GLOBAL bounds - >= 126545 @ 8.67649
10.93/11.13 c GLOBAL bounds - >= 126545 @ 8.68383
10.93/11.19 c GLOBAL bounds - >= 126545 @ 8.71517
11.02/11.20 c GLOBAL bounds - >= 126545 @ 8.726
11.02/11.25 c GLOBAL bounds - >= 126545 @ 8.75131
11.02/11.26 c GLOBAL bounds - >= 126545 @ 8.76253
11.12/11.31 c GLOBAL bounds - >= 126545 @ 8.79198
11.12/11.37 c GLOBAL bounds - >= 126545 @ 8.83069
11.22/11.43 c GLOBAL bounds - >= 126545 @ 8.86563
11.31/11.50 c GLOBAL bounds - >= 126545 @ 8.92223
11.31/11.58 c GLOBAL bounds - >= 126545 @ 8.97703
11.41/11.65 c GLOBAL bounds - >= 126545 @ 9.02439
11.51/11.70 c GLOBAL bounds - >= 126545 @ 9.06111
11.62/11.81 c GLOBAL bounds - >= 126545 @ 9.14175
12.11/12.31 c GLOBAL bounds - >= 126545 @ 9.59776
12.21/12.48 c GLOBAL bounds - >= 126545 @ 9.74119
12.41/12.68 c GLOBAL bounds - >= 126545 @ 9.9189
12.61/12.88 c GLOBAL bounds - >= 126545 @ 10.0854
12.82/13.01 c GLOBAL bounds - >= 126545 @ 10.1961
13.00/13.22 c GLOBAL bounds - >= 126545 @ 10.3716
13.00/13.28 c GLOBAL bounds - >= 126545 @ 10.4039
14.82/15.02 c GLOBAL bounds - >= 126545 @ 12.0906
15.92/16.16 c GLOBAL bounds - >= 126545 @ 13.1688
16.00/16.23 c GLOBAL bounds - >= 126545 @ 13.2165
16.20/16.41 c GLOBAL bounds - >= 126545 @ 13.374
16.30/16.51 c GLOBAL bounds - >= 126545 @ 13.4546
16.40/16.62 c GLOBAL bounds - >= 126545 @ 13.5422
16.59/16.88 c GLOBAL bounds - >= 154672 @ 13.7943
16.70/16.91 c GLOBAL bounds - >= 154672 @ 13.8245
16.70/16.96 c GLOBAL bounds - >= 154672 @ 13.8513
16.70/16.97 c GLOBAL bounds - >= 154672 @ 13.8558
16.81/17.02 c GLOBAL bounds - >= 154672 @ 13.8873
16.81/17.04 c GLOBAL bounds - >= 154672 @ 13.8954
16.81/17.09 c GLOBAL bounds - >= 154672 @ 13.9253
16.81/17.10 c GLOBAL bounds - >= 154672 @ 13.9365
16.92/17.16 c GLOBAL bounds - >= 154672 @ 13.9648
16.92/17.17 c GLOBAL bounds - >= 154672 @ 13.9765
17.00/17.22 c GLOBAL bounds - >= 154672 @ 14.004
17.00/17.23 c GLOBAL bounds - >= 154672 @ 14.0134
17.00/17.28 c GLOBAL bounds - >= 154672 @ 14.0406
17.00/17.29 c GLOBAL bounds - >= 154672 @ 14.047
17.10/17.33 c GLOBAL bounds - >= 154672 @ 14.0678
17.10/17.35 c GLOBAL bounds - >= 154672 @ 14.0771
17.10/17.39 c GLOBAL bounds - >= 154672 @ 14.1029
17.19/17.41 c GLOBAL bounds - >= 154672 @ 14.1112
17.19/17.46 c GLOBAL bounds - >= 154672 @ 14.1353
17.19/17.47 c GLOBAL bounds - >= 154672 @ 14.1469
17.30/17.52 c GLOBAL bounds - >= 154672 @ 14.1712
17.40/17.63 c GLOBAL bounds - >= 154672 @ 14.2412
17.50/17.74 c GLOBAL bounds - >= 154672 @ 14.3139
18.09/18.34 c GLOBAL bounds - >= 154672 @ 14.8801
18.29/18.54 c GLOBAL bounds - >= 154672 @ 15.0524
18.59/18.87 c GLOBAL bounds - >= 154672 @ 15.3647
18.69/18.95 c GLOBAL bounds - >= 154672 @ 15.4204
18.69/19.00 c GLOBAL bounds - >= 154672 @ 15.4539
18.80/19.06 c GLOBAL bounds - >= 154672 @ 15.4935
18.98/19.22 c GLOBAL bounds - >= 154672 @ 15.6325
18.98/19.28 c GLOBAL bounds - >= 154672 @ 15.675
19.08/19.35 c GLOBAL bounds - >= 154672 @ 15.7228
19.19/19.48 c GLOBAL bounds - >= 154672 @ 15.8184
19.29/19.53 c GLOBAL bounds - >= 154672 @ 15.8602
19.29/19.59 c GLOBAL bounds - >= 154672 @ 15.8972
19.59/19.88 c GLOBAL bounds - >= 154672 @ 16.1618
19.69/19.97 c GLOBAL bounds - >= 154672 @ 16.2256
20.49/20.75 c GLOBAL bounds - >= 154672 @ 16.9643
20.90/21.13 c #Conflicts: 1000 | #Constraints: 358304
20.90/21.13 c GLOBAL bounds - >= 154672 @ 17.3133
20.98/21.22 c GLOBAL bounds - >= 154672 @ 17.3849
22.08/22.33 c GLOBAL bounds - >= 154672 @ 18.4316
22.68/22.91 c GLOBAL bounds - >= 154672 @ 18.986
24.38/24.63 c GLOBAL bounds - >= 154672 @ 20.6334
24.57/24.88 c GLOBAL bounds - >= 154672 @ 20.8644
28.56/28.85 c GLOBAL bounds - >= 191636 @ 24.7465
28.56/28.89 c GLOBAL bounds - >= 191636 @ 24.7817
28.66/28.90 c GLOBAL bounds - >= 191636 @ 24.7886
29.26/29.59 c GLOBAL bounds - >= 191636 @ 25.4332
29.37/29.60 c GLOBAL bounds - >= 191636 @ 25.4423
29.37/29.66 c GLOBAL bounds - >= 191636 @ 25.4786
29.37/29.68 c GLOBAL bounds - >= 191636 @ 25.4874
29.47/29.73 c GLOBAL bounds - >= 191636 @ 25.5238
29.47/29.75 c GLOBAL bounds - >= 191636 @ 25.5333
29.56/29.80 c GLOBAL bounds - >= 191636 @ 25.5579
29.56/29.81 c GLOBAL bounds - >= 191636 @ 25.5685
29.56/29.86 c GLOBAL bounds - >= 191636 @ 25.5973
29.56/29.88 c GLOBAL bounds - >= 191636 @ 25.6064
29.66/29.93 c GLOBAL bounds - >= 191636 @ 25.6379
29.66/29.94 c GLOBAL bounds - >= 191636 @ 25.6486
29.66/29.99 c GLOBAL bounds - >= 191636 @ 25.6754
29.66/30.00 c GLOBAL bounds - >= 191636 @ 25.6847
29.78/30.05 c GLOBAL bounds - >= 191636 @ 25.7148
29.78/30.07 c GLOBAL bounds - >= 191636 @ 25.7234
29.87/30.11 c GLOBAL bounds - >= 191636 @ 25.7501
29.87/30.13 c GLOBAL bounds - >= 191636 @ 25.7596
29.87/30.18 c GLOBAL bounds - >= 191636 @ 25.7963
29.96/30.24 c GLOBAL bounds - >= 191636 @ 25.8306
29.96/30.30 c GLOBAL bounds - >= 191636 @ 25.8657
30.06/30.35 c GLOBAL bounds - >= 191636 @ 25.8982
30.16/30.41 c GLOBAL bounds - >= 191636 @ 25.9363
30.16/30.48 c GLOBAL bounds - >= 191636 @ 25.9864
30.36/30.62 c GLOBAL bounds - >= 191636 @ 26.1019
30.36/30.67 c GLOBAL bounds - >= 191636 @ 26.1382
30.55/30.83 c GLOBAL bounds - >= 191636 @ 26.2639
30.66/30.90 c GLOBAL bounds - >= 191636 @ 26.315
30.78/31.07 c GLOBAL bounds - >= 191636 @ 26.4511
30.87/31.17 c GLOBAL bounds - >= 191636 @ 26.5351
31.06/31.32 c GLOBAL bounds - >= 191636 @ 26.6637
31.25/31.55 c GLOBAL bounds - >= 191636 @ 26.8645
31.36/31.61 c GLOBAL bounds - >= 191636 @ 26.9011
31.46/31.77 c GLOBAL bounds - >= 191636 @ 27.043
34.54/34.86 c GLOBAL bounds - >= 191636 @ 30.0174
38.74/39.04 c #Conflicts: 2000 | #Constraints: 415498
38.74/39.04 c INPROCESSING
38.74/39.04 c GARBAGE COLLECT
38.74/39.04 c GLOBAL bounds - >= 191636 @ 34.0974
49.61/49.90 c #Conflicts: 3000 | #Constraints: 417926
49.61/49.90 c GLOBAL bounds - >= 191636 @ 44.7324
86.87/87.33 c #Conflicts: 4000 | #Constraints: 422653
86.87/87.33 c INPROCESSING
86.87/87.33 c GARBAGE COLLECT
86.87/87.33 c #Conflicts: 5000 | #Constraints: 422062
86.87/87.33 c GLOBAL bounds - >= 191636 @ 81.3661
103.32/103.85 c #Conflicts: 6000 | #Constraints: 426789
103.32/103.85 c GLOBAL bounds - >= 263241 @ 97.5788
103.32/103.89 c GLOBAL bounds - >= 263241 @ 97.6135
103.42/103.97 c GLOBAL bounds - >= 263241 @ 97.6694
103.42/103.97 c GLOBAL bounds - >= 263241 @ 97.6718
103.54/104.03 c GLOBAL bounds - >= 263241 @ 97.7063
103.54/104.04 c GLOBAL bounds - >= 263241 @ 97.7151
103.54/104.10 c GLOBAL bounds - >= 263241 @ 97.7435
103.54/104.11 c GLOBAL bounds - >= 263241 @ 97.7505
103.63/104.16 c GLOBAL bounds - >= 263241 @ 97.7772
103.63/104.18 c GLOBAL bounds - >= 263241 @ 97.7892
103.73/104.23 c GLOBAL bounds - >= 263241 @ 97.82
103.73/104.24 c GLOBAL bounds - >= 263241 @ 97.8304
103.73/104.29 c GLOBAL bounds - >= 263241 @ 97.8627
103.82/104.31 c GLOBAL bounds - >= 263241 @ 97.8746
103.82/104.35 c GLOBAL bounds - >= 263241 @ 97.8929
103.82/104.36 c GLOBAL bounds - >= 263241 @ 97.9021
103.92/104.41 c GLOBAL bounds - >= 263241 @ 97.9283
103.92/104.43 c GLOBAL bounds - >= 263241 @ 97.9384
103.92/104.48 c GLOBAL bounds - >= 263241 @ 97.9637
103.92/104.49 c GLOBAL bounds - >= 263241 @ 97.9741
104.02/104.54 c GLOBAL bounds - >= 263241 @ 98.0002
104.02/104.59 c GLOBAL bounds - >= 263241 @ 98.0289
104.12/104.66 c GLOBAL bounds - >= 263241 @ 98.0693
104.22/104.72 c GLOBAL bounds - >= 263241 @ 98.1089
104.22/104.78 c GLOBAL bounds - >= 263241 @ 98.1504
104.32/104.85 c GLOBAL bounds - >= 263241 @ 98.1921
104.42/104.91 c GLOBAL bounds - >= 263241 @ 98.2323
104.53/105.07 c GLOBAL bounds - >= 263241 @ 98.3547
104.71/105.23 c GLOBAL bounds - >= 263241 @ 98.4437
105.52/106.01 c GLOBAL bounds - >= 263241 @ 99.1436
105.81/106.34 c GLOBAL bounds - >= 263241 @ 99.4217
106.31/106.82 c GLOBAL bounds - >= 263241 @ 99.8331
110.50/111.07 c INPROCESSING
110.50/111.07 c GARBAGE COLLECT
110.50/111.07 c GLOBAL bounds - >= 263241 @ 103.964
110.69/111.22 c GLOBAL bounds - >= 263241 @ 104.095
110.78/111.30 c GLOBAL bounds - >= 263241 @ 104.147
110.88/111.40 c GLOBAL bounds - >= 263241 @ 104.23
111.78/112.35 c GLOBAL bounds - >= 263241 @ 105.147
113.77/114.34 c GLOBAL bounds - >= 263241 @ 107.091
114.68/115.28 c GLOBAL bounds - >= 263241 @ 107.991
128.45/129.07 c #Conflicts: 7000 | #Constraints: 463367
128.45/129.07 c GLOBAL bounds - >= 263241 @ 121.523
128.55/129.18 c GLOBAL bounds - >= 263241 @ 121.612
129.33/129.96 c GLOBAL bounds - >= 263241 @ 122.364
151.07/151.71 c #Conflicts: 8000 | #Constraints: 474769
151.07/151.71 c #Conflicts: 9000 | #Constraints: 475769
151.07/151.71 c GLOBAL bounds - >= 266144 @ 143.678
151.07/151.74 c GLOBAL bounds - >= 266144 @ 143.705
151.07/151.75 c GLOBAL bounds - >= 266144 @ 143.713
151.07/151.76 c GLOBAL bounds - >= 266144 @ 143.721
151.67/152.31 c GLOBAL bounds - >= 266144 @ 144.233
151.67/152.33 c GLOBAL bounds - >= 266144 @ 144.243
151.67/152.38 c GLOBAL bounds - >= 266144 @ 144.278
151.67/152.39 c GLOBAL bounds - >= 266144 @ 144.287
151.78/152.45 c GLOBAL bounds - >= 266144 @ 144.315
151.78/152.46 c GLOBAL bounds - >= 266144 @ 144.325
151.88/152.51 c GLOBAL bounds - >= 266144 @ 144.362
151.88/152.53 c GLOBAL bounds - >= 266144 @ 144.371
151.88/152.58 c GLOBAL bounds - >= 266144 @ 144.405
151.88/152.59 c GLOBAL bounds - >= 266144 @ 144.415
151.97/152.64 c GLOBAL bounds - >= 266144 @ 144.446
151.97/152.66 c GLOBAL bounds - >= 266144 @ 144.456
152.07/152.71 c GLOBAL bounds - >= 266144 @ 144.484
152.07/152.72 c GLOBAL bounds - >= 266144 @ 144.491
152.07/152.77 c GLOBAL bounds - >= 266144 @ 144.526
152.07/152.79 c GLOBAL bounds - >= 266144 @ 144.535
152.17/152.84 c GLOBAL bounds - >= 266144 @ 144.568
152.17/152.85 c GLOBAL bounds - >= 266144 @ 144.578
152.27/152.90 c GLOBAL bounds - >= 266144 @ 144.606
152.27/152.95 c GLOBAL bounds - >= 266144 @ 144.634
152.38/153.01 c GLOBAL bounds - >= 266144 @ 144.675
152.38/153.07 c GLOBAL bounds - >= 266144 @ 144.721
152.49/153.13 c GLOBAL bounds - >= 266144 @ 144.764
152.58/153.22 c GLOBAL bounds - >= 266144 @ 144.83
155.07/155.76 c INPROCESSING
155.07/155.76 c GARBAGE COLLECT
155.07/155.76 c GLOBAL bounds - >= 266144 @ 147.313
155.76/156.42 c GLOBAL bounds - >= 266144 @ 147.924
157.26/157.99 c GLOBAL bounds - >= 266144 @ 149.445
157.96/158.61 c GLOBAL bounds - >= 266144 @ 150.028
158.06/158.75 c GLOBAL bounds - >= 266144 @ 150.147
158.65/159.33 c GLOBAL bounds - >= 266144 @ 150.712
159.25/159.92 c GLOBAL bounds - >= 266144 @ 151.267
159.25/159.98 c GLOBAL bounds - >= 266144 @ 151.311
159.46/160.13 c GLOBAL bounds - >= 266144 @ 151.444
159.85/160.56 c GLOBAL bounds - >= 266144 @ 151.842
162.24/162.90 c GLOBAL bounds - >= 266144 @ 154.14
165.64/166.30 c GLOBAL bounds - >= 266144 @ 157.46
171.33/172.06 c #Conflicts: 10000 | #Constraints: 511187
171.33/172.06 c GLOBAL bounds - >= 266144 @ 163.12
171.44/172.14 c GLOBAL bounds - >= 266144 @ 163.179
171.61/172.36 c GLOBAL bounds - >= 266144 @ 163.377
173.72/174.46 c GLOBAL bounds - >= 266144 @ 165.427
180.50/181.23 c GLOBAL bounds - >= 266144 @ 172.045
180.69/181.49 c GLOBAL bounds - >= 266144 @ 172.28
444.02/445.61 c #Conflicts: 11000 | #Constraints: 529867
444.02/445.61 c #Conflicts: 12000 | #Constraints: 530867
444.02/445.61 c INPROCESSING
444.02/445.61 c GARBAGE COLLECT
444.02/445.61 c #Conflicts: 13000 | #Constraints: 529308
444.02/445.61 c #Conflicts: 14000 | #Constraints: 530308
444.02/445.61 c #Conflicts: 15000 | #Constraints: 531308
444.02/445.61 c INPROCESSING
444.02/445.61 c GARBAGE COLLECT
444.02/445.61 c #Conflicts: 16000 | #Constraints: 529536
444.02/445.61 c #Conflicts: 17000 | #Constraints: 530536
444.02/445.61 c #Conflicts: 18000 | #Constraints: 531536
444.02/445.61 c INPROCESSING
444.02/445.61 c GARBAGE COLLECT
444.02/445.61 c #Conflicts: 19000 | #Constraints: 529566
444.02/445.61 c #Conflicts: 20000 | #Constraints: 530566
444.02/445.61 c #Conflicts: 21000 | #Constraints: 531566
444.02/445.61 c #Conflicts: 22000 | #Constraints: 532566
444.02/445.61 c #Conflicts: 23000 | #Constraints: 533566
444.02/445.61 c GLOBAL bounds - >= 266144 @ 431.654
445.42/447.05 c GLOBAL bounds - >= 266144 @ 433.055
445.62/447.24 c GLOBAL bounds - >= 266144 @ 433.219
445.71/447.36 c GLOBAL bounds - >= 266144 @ 433.323
446.52/448.19 c #Conflicts: 24000 | #Constraints: 548582
446.52/448.19 c GLOBAL bounds - >= 266144 @ 434.107
452.59/454.26 c GLOBAL bounds - >= 272793 @ 440.076
452.59/454.29 c GLOBAL bounds - >= 272793 @ 440.098
453.29/454.97 c GLOBAL bounds - >= 272793 @ 440.752
453.29/454.98 c GLOBAL bounds - >= 272793 @ 440.754
453.40/455.03 c GLOBAL bounds - >= 272793 @ 440.786
453.40/455.04 c GLOBAL bounds - >= 272793 @ 440.79
453.40/455.09 c GLOBAL bounds - >= 272793 @ 440.832
453.40/455.11 c GLOBAL bounds - >= 272793 @ 440.84
453.50/455.17 c GLOBAL bounds - >= 272793 @ 440.877
453.50/455.18 c GLOBAL bounds - >= 272793 @ 440.889
453.59/455.24 c GLOBAL bounds - >= 272793 @ 440.922
453.59/455.25 c GLOBAL bounds - >= 272793 @ 440.934
453.68/455.31 c GLOBAL bounds - >= 272793 @ 440.964
453.68/455.32 c GLOBAL bounds - >= 272793 @ 440.972
453.68/455.38 c GLOBAL bounds - >= 272793 @ 441.005
453.68/455.39 c GLOBAL bounds - >= 272793 @ 441.015
453.79/455.45 c GLOBAL bounds - >= 272793 @ 441.048
453.79/455.46 c GLOBAL bounds - >= 272793 @ 441.058
453.89/455.52 c GLOBAL bounds - >= 272793 @ 441.095
453.89/455.53 c GLOBAL bounds - >= 272793 @ 441.101
453.89/455.59 c GLOBAL bounds - >= 272793 @ 441.137
453.98/455.64 c GLOBAL bounds - >= 272793 @ 441.174
454.09/455.71 c GLOBAL bounds - >= 272793 @ 441.226
454.09/455.77 c GLOBAL bounds - >= 272793 @ 441.266
454.50/456.13 c GLOBAL bounds - >= 272793 @ 441.599
454.50/456.19 c GLOBAL bounds - >= 272793 @ 441.64
455.28/456.95 c GLOBAL bounds - >= 272793 @ 442.37
455.50/457.13 c GLOBAL bounds - >= 272793 @ 442.527
455.59/457.20 c GLOBAL bounds - >= 272793 @ 442.582
455.99/457.63 c GLOBAL bounds - >= 272793 @ 442.976
455.99/457.69 c GLOBAL bounds - >= 272793 @ 443.021
456.28/457.92 c GLOBAL bounds - >= 272793 @ 443.22
456.50/458.11 c GLOBAL bounds - >= 272793 @ 443.39
456.58/458.22 c GLOBAL bounds - >= 272793 @ 443.482
458.68/460.35 c GLOBAL bounds - >= 272793 @ 445.511
459.67/461.39 c GLOBAL bounds - >= 272793 @ 446.486
460.17/461.82 c GLOBAL bounds - >= 272793 @ 446.889
460.39/462.09 c GLOBAL bounds - >= 272793 @ 447.137
475.72/477.45 c #Conflicts: 25000 | #Constraints: 582727
475.72/477.45 c GLOBAL bounds - >= 272793 @ 462.111
477.52/479.27 c GLOBAL bounds - >= 295330 @ 463.898
477.62/479.33 c GLOBAL bounds - >= 295330 @ 463.956
477.62/479.34 c GLOBAL bounds - >= 295330 @ 463.965
477.62/479.35 c GLOBAL bounds - >= 295330 @ 463.973
477.62/479.37 c GLOBAL bounds - >= 295330 @ 463.981
477.62/479.38 c GLOBAL bounds - >= 295330 @ 463.986
477.62/479.39 c GLOBAL bounds - >= 295330 @ 463.992
478.71/480.48 c GLOBAL bounds - >= 295330 @ 465.027
478.71/480.49 c GLOBAL bounds - >= 295330 @ 465.036
478.92/480.60 c GLOBAL bounds - >= 295330 @ 465.113
478.92/480.61 c GLOBAL bounds - >= 295330 @ 465.123
478.92/480.67 c GLOBAL bounds - >= 295330 @ 465.165
478.92/480.69 c GLOBAL bounds - >= 295330 @ 465.175
479.01/480.75 c GLOBAL bounds - >= 295330 @ 465.214
479.01/480.76 c GLOBAL bounds - >= 295330 @ 465.224
479.11/480.82 c GLOBAL bounds - >= 295330 @ 465.263
479.11/480.84 c GLOBAL bounds - >= 295330 @ 465.275
479.11/480.89 c GLOBAL bounds - >= 295330 @ 465.312
479.21/480.91 c GLOBAL bounds - >= 295330 @ 465.32
479.21/480.96 c GLOBAL bounds - >= 295330 @ 465.357
479.21/480.98 c GLOBAL bounds - >= 295330 @ 465.365
479.32/481.03 c GLOBAL bounds - >= 295330 @ 465.406
479.32/481.05 c GLOBAL bounds - >= 295330 @ 465.415
479.32/481.10 c GLOBAL bounds - >= 295330 @ 465.45
479.42/481.12 c GLOBAL bounds - >= 295330 @ 465.458
479.42/481.17 c GLOBAL bounds - >= 295330 @ 465.493
479.52/481.23 c GLOBAL bounds - >= 295330 @ 465.528
479.52/481.28 c GLOBAL bounds - >= 295330 @ 465.563
479.61/481.34 c GLOBAL bounds - >= 295330 @ 465.602
479.61/481.39 c GLOBAL bounds - >= 295330 @ 465.635
479.72/481.46 c GLOBAL bounds - >= 295330 @ 465.679
479.81/481.56 c GLOBAL bounds - >= 295330 @ 465.754
479.91/481.63 c GLOBAL bounds - >= 295330 @ 465.8
480.01/481.72 c GLOBAL bounds - >= 295330 @ 465.873
480.01/481.79 c GLOBAL bounds - >= 295330 @ 465.926
480.11/481.85 c GLOBAL bounds - >= 295330 @ 465.963
480.21/481.93 c GLOBAL bounds - >= 295330 @ 466.024
480.32/482.05 c GLOBAL bounds - >= 295330 @ 466.127
480.51/482.23 c GLOBAL bounds - >= 295330 @ 466.277
480.71/482.45 c GLOBAL bounds - >= 295330 @ 466.469
481.61/483.36 c GLOBAL bounds - >= 295330 @ 467.336
481.80/483.56 c GLOBAL bounds - >= 295330 @ 467.521
482.01/483.73 c GLOBAL bounds - >= 295330 @ 467.669
483.01/484.76 c GLOBAL bounds - >= 295330 @ 468.657
483.60/485.36 c #Conflicts: 26000 | #Constraints: 619617
483.60/485.36 c GLOBAL bounds - >= 295330 @ 469.225
487.89/489.64 c GLOBAL bounds - >= 295330 @ 473.388
492.98/494.76 c GLOBAL bounds - >= 295330 @ 478.351
760.76/763.43 c #Conflicts: 27000 | #Constraints: 628146
760.76/763.43 c #Conflicts: 28000 | #Constraints: 629146
760.76/763.43 c INPROCESSING
760.76/763.43 c GARBAGE COLLECT
760.76/763.43 c #Conflicts: 29000 | #Constraints: 623285
760.76/763.43 c #Conflicts: 30000 | #Constraints: 624285
760.76/763.43 c #Conflicts: 31000 | #Constraints: 625285
760.76/763.43 c #Conflicts: 32000 | #Constraints: 626285
760.76/763.43 c #Conflicts: 33000 | #Constraints: 627285
760.76/763.43 c INPROCESSING
760.76/763.43 c GARBAGE COLLECT
760.76/763.43 c #Conflicts: 34000 | #Constraints: 622646
760.76/763.43 c #Conflicts: 35000 | #Constraints: 623646
760.76/763.43 c #Conflicts: 36000 | #Constraints: 624646
760.76/763.43 c #Conflicts: 37000 | #Constraints: 625646
760.76/763.43 c #Conflicts: 38000 | #Constraints: 626646
760.76/763.43 c INPROCESSING
760.76/763.43 c GARBAGE COLLECT
760.76/763.43 c #Conflicts: 39000 | #Constraints: 622472
760.76/763.43 c #Conflicts: 40000 | #Constraints: 623472
760.76/763.43 c GLOBAL bounds - >= 331137 @ 742.362
760.86/763.51 c GLOBAL bounds - >= 331137 @ 742.437
760.86/763.53 c GLOBAL bounds - >= 331137 @ 742.448
760.86/763.54 c GLOBAL bounds - >= 331137 @ 742.457
760.86/763.55 c GLOBAL bounds - >= 331137 @ 742.465
760.86/763.56 c GLOBAL bounds - >= 331137 @ 742.47
760.86/763.57 c GLOBAL bounds - >= 331137 @ 742.474
760.86/763.58 c GLOBAL bounds - >= 331137 @ 742.482
760.86/763.59 c GLOBAL bounds - >= 331137 @ 742.49
769.13/771.80 c GLOBAL bounds - >= 331137 @ 750.524
769.13/771.82 c GLOBAL bounds - >= 331137 @ 750.533
769.13/771.87 c GLOBAL bounds - >= 331137 @ 750.568
769.13/771.88 c GLOBAL bounds - >= 331137 @ 750.577
769.23/771.94 c GLOBAL bounds - >= 331137 @ 750.611
769.23/771.95 c GLOBAL bounds - >= 331137 @ 750.621
769.23/772.00 c GLOBAL bounds - >= 331137 @ 750.656
769.34/772.01 c GLOBAL bounds - >= 331137 @ 750.666
769.34/772.07 c GLOBAL bounds - >= 331137 @ 750.695
769.34/772.08 c GLOBAL bounds - >= 331137 @ 750.704
769.44/772.13 c GLOBAL bounds - >= 331137 @ 750.734
769.44/772.15 c GLOBAL bounds - >= 331137 @ 750.742
769.53/772.20 c GLOBAL bounds - >= 331137 @ 750.775
769.53/772.22 c GLOBAL bounds - >= 331137 @ 750.787
769.53/772.27 c GLOBAL bounds - >= 331137 @ 750.82
769.53/772.28 c GLOBAL bounds - >= 331137 @ 750.828
769.64/772.33 c GLOBAL bounds - >= 331137 @ 750.857
769.64/772.35 c GLOBAL bounds - >= 331137 @ 750.868
769.73/772.40 c GLOBAL bounds - >= 331137 @ 750.901
769.73/772.46 c GLOBAL bounds - >= 331137 @ 750.939
769.83/772.51 c GLOBAL bounds - >= 331137 @ 750.971
769.83/772.56 c GLOBAL bounds - >= 331137 @ 751.002
769.93/772.62 c GLOBAL bounds - >= 331137 @ 751.047
770.03/772.72 c GLOBAL bounds - >= 331137 @ 751.123
770.03/772.79 c GLOBAL bounds - >= 331137 @ 751.176
770.73/773.46 c GLOBAL bounds - >= 331137 @ 751.816
770.83/773.56 c GLOBAL bounds - >= 331137 @ 751.899
771.13/773.87 c GLOBAL bounds - >= 331137 @ 752.18
771.34/774.06 c GLOBAL bounds - >= 331137 @ 752.354
776.01/778.73 c GLOBAL bounds - >= 331137 @ 756.921
1020.82/1024.30 c #Conflicts: 41000 | #Constraints: 646512
1020.82/1024.30 c #Conflicts: 42000 | #Constraints: 647512
1020.82/1024.30 c #Conflicts: 43000 | #Constraints: 648512
1020.82/1024.30 c #Conflicts: 44000 | #Constraints: 649512
1020.82/1024.30 c #Conflicts: 45000 | #Constraints: 650512
1020.82/1024.30 c #Conflicts: 46000 | #Constraints: 651512
1020.82/1024.30 c #Conflicts: 47000 | #Constraints: 652512
1020.82/1024.30 c #Conflicts: 48000 | #Constraints: 653512
1020.82/1024.30 c #Conflicts: 49000 | #Constraints: 654512
1020.82/1024.30 c #Conflicts: 50000 | #Constraints: 655512
1020.82/1024.30 c GLOBAL bounds - >= 333996 @ 998.756
1020.82/1024.34 c GLOBAL bounds - >= 333996 @ 998.795
1020.82/1024.35 c GLOBAL bounds - >= 333996 @ 998.804
1020.82/1024.36 c GLOBAL bounds - >= 333996 @ 998.813
1020.82/1024.37 c GLOBAL bounds - >= 333996 @ 998.818
1020.82/1024.38 c GLOBAL bounds - >= 333996 @ 998.826
1020.92/1024.40 c GLOBAL bounds - >= 333996 @ 998.835
1020.92/1024.41 c GLOBAL bounds - >= 333996 @ 998.846
1020.92/1024.42 c GLOBAL bounds - >= 333996 @ 998.855
1020.92/1024.43 c GLOBAL bounds - >= 333996 @ 998.862
1020.92/1024.44 c GLOBAL bounds - >= 333996 @ 998.871
1020.92/1024.46 c GLOBAL bounds - >= 333996 @ 998.882
1020.92/1024.47 c GLOBAL bounds - >= 333996 @ 998.893
1022.71/1026.29 c GLOBAL bounds - >= 333996 @ 1000.65
1022.81/1026.30 c GLOBAL bounds - >= 333996 @ 1000.66
1022.81/1026.36 c GLOBAL bounds - >= 333996 @ 1000.7
1022.81/1026.38 c GLOBAL bounds - >= 333996 @ 1000.71
1022.91/1026.44 c GLOBAL bounds - >= 333996 @ 1000.75
1022.91/1026.46 c GLOBAL bounds - >= 333996 @ 1000.77
1023.01/1026.52 c GLOBAL bounds - >= 333996 @ 1000.81
1023.01/1026.53 c GLOBAL bounds - >= 333996 @ 1000.82
1023.01/1026.59 c GLOBAL bounds - >= 333996 @ 1000.86
1023.11/1026.61 c GLOBAL bounds - >= 333996 @ 1000.87
1023.11/1026.67 c GLOBAL bounds - >= 333996 @ 1000.91
1023.11/1026.69 c GLOBAL bounds - >= 333996 @ 1000.92
1023.21/1026.75 c GLOBAL bounds - >= 333996 @ 1000.96
1023.21/1026.76 c GLOBAL bounds - >= 333996 @ 1000.97
1023.31/1026.82 c GLOBAL bounds - >= 333996 @ 1001.01
1023.31/1026.84 c GLOBAL bounds - >= 333996 @ 1001.02
1023.41/1026.90 c GLOBAL bounds - >= 333996 @ 1001.06
1023.41/1026.91 c GLOBAL bounds - >= 333996 @ 1001.07
1023.41/1026.97 c GLOBAL bounds - >= 333996 @ 1001.11
1023.52/1027.04 c GLOBAL bounds - >= 333996 @ 1001.16
1023.52/1027.11 c GLOBAL bounds - >= 333996 @ 1001.21
1023.62/1027.17 c GLOBAL bounds - >= 333996 @ 1001.26
1023.70/1027.25 c GLOBAL bounds - >= 333996 @ 1001.31
1023.81/1027.35 c GLOBAL bounds - >= 333996 @ 1001.4
1023.91/1027.44 c GLOBAL bounds - >= 333996 @ 1001.46
1024.00/1027.50 c GLOBAL bounds - >= 333996 @ 1001.5
1024.31/1027.86 c GLOBAL bounds - >= 333996 @ 1001.83
1024.41/1028.00 c GLOBAL bounds - >= 333996 @ 1001.95
1024.51/1028.06 c GLOBAL bounds - >= 333996 @ 1001.98
1024.80/1028.30 c GLOBAL bounds - >= 333996 @ 1002.2
1024.91/1028.42 c GLOBAL bounds - >= 333996 @ 1002.3
1025.21/1028.71 c GLOBAL bounds - >= 333996 @ 1002.56
1025.21/1028.78 c GLOBAL bounds - >= 333996 @ 1002.6
1025.30/1028.84 c GLOBAL bounds - >= 333996 @ 1002.64
1025.40/1028.97 c GLOBAL bounds - >= 333996 @ 1002.76
1027.51/1031.02 c GLOBAL bounds - >= 333996 @ 1004.72
1027.89/1031.46 c GLOBAL bounds - >= 333996 @ 1005.12
1029.09/1032.64 c GLOBAL bounds - >= 333996 @ 1006.24
1040.06/1043.69 c #Conflicts: 51000 | #Constraints: 680607
1040.06/1043.69 c GLOBAL bounds - >= 333996 @ 1016.99
1085.81/1089.59 c #Conflicts: 52000 | #Constraints: 683640
1085.81/1089.59 c INPROCESSING
1085.81/1089.59 c GARBAGE COLLECT
1085.81/1089.59 c #Conflicts: 53000 | #Constraints: 674598
1085.81/1089.59 c GLOBAL bounds - >= 333996 @ 1062.04
1377.12/1381.77 c #Conflicts: 54000 | #Constraints: 678037
1377.12/1381.77 c #Conflicts: 55000 | #Constraints: 679037
1377.12/1381.77 c #Conflicts: 56000 | #Constraints: 680037
1377.12/1381.77 c #Conflicts: 57000 | #Constraints: 681037
1377.12/1381.77 c #Conflicts: 58000 | #Constraints: 682037
1377.12/1381.77 c INPROCESSING
1377.12/1381.77 c GARBAGE COLLECT
1377.12/1381.77 c #Conflicts: 59000 | #Constraints: 675054
1377.12/1381.77 c #Conflicts: 60000 | #Constraints: 676054
1377.12/1381.77 c #Conflicts: 61000 | #Constraints: 677054
1377.12/1381.77 c #Conflicts: 62000 | #Constraints: 678054
1377.12/1381.77 c #Conflicts: 63000 | #Constraints: 679054
1377.12/1381.77 c #Conflicts: 64000 | #Constraints: 680054
1377.12/1381.77 c #Conflicts: 65000 | #Constraints: 681054
1377.12/1381.77 c GLOBAL bounds - >= 337419 @ 1350.14
1377.12/1381.80 c GLOBAL bounds - >= 337419 @ 1350.18
1377.23/1381.82 c GLOBAL bounds - >= 337419 @ 1350.19
1377.23/1381.83 c GLOBAL bounds - >= 337419 @ 1350.2
1377.23/1381.84 c GLOBAL bounds - >= 337419 @ 1350.21
1377.23/1381.86 c GLOBAL bounds - >= 337419 @ 1350.21
1378.02/1382.60 c GLOBAL bounds - >= 337419 @ 1350.92
1378.02/1382.61 c GLOBAL bounds - >= 337419 @ 1350.93
1378.02/1382.69 c GLOBAL bounds - >= 337419 @ 1350.98
1378.12/1382.70 c GLOBAL bounds - >= 337419 @ 1350.99
1378.12/1382.76 c GLOBAL bounds - >= 337419 @ 1351.03
1378.12/1382.77 c GLOBAL bounds - >= 337419 @ 1351.03
1378.22/1382.83 c GLOBAL bounds - >= 337419 @ 1351.07
1378.22/1382.84 c GLOBAL bounds - >= 337419 @ 1351.08
1378.31/1382.90 c GLOBAL bounds - >= 337419 @ 1351.12
1378.31/1382.91 c GLOBAL bounds - >= 337419 @ 1351.13
1378.31/1382.97 c GLOBAL bounds - >= 337419 @ 1351.17
1378.31/1382.99 c GLOBAL bounds - >= 337419 @ 1351.18
1378.42/1383.05 c GLOBAL bounds - >= 337419 @ 1351.22
1378.42/1383.06 c GLOBAL bounds - >= 337419 @ 1351.23
1378.53/1383.12 c GLOBAL bounds - >= 337419 @ 1351.27
1378.53/1383.13 c GLOBAL bounds - >= 337419 @ 1351.28
1378.53/1383.19 c GLOBAL bounds - >= 337419 @ 1351.32
1378.62/1383.21 c GLOBAL bounds - >= 337419 @ 1351.33
1378.62/1383.26 c GLOBAL bounds - >= 337419 @ 1351.37
1378.71/1383.32 c GLOBAL bounds - >= 337419 @ 1351.41
1378.71/1383.39 c GLOBAL bounds - >= 337419 @ 1351.45
1378.81/1383.47 c GLOBAL bounds - >= 337419 @ 1351.51
1378.91/1383.57 c GLOBAL bounds - >= 337419 @ 1351.59
1379.21/1383.82 c GLOBAL bounds - >= 337419 @ 1351.82
1379.32/1383.93 c GLOBAL bounds - >= 337419 @ 1351.91
1379.43/1384.07 c GLOBAL bounds - >= 337419 @ 1352.03
1379.71/1384.32 c GLOBAL bounds - >= 337419 @ 1352.27
1379.81/1384.40 c GLOBAL bounds - >= 337419 @ 1352.32
1380.11/1384.76 c GLOBAL bounds - >= 337419 @ 1352.66
1381.60/1386.21 c GLOBAL bounds - >= 337419 @ 1354.07
1381.70/1386.35 c GLOBAL bounds - >= 337419 @ 1354.19
1387.79/1392.49 c #Conflicts: 66000 | #Constraints: 706605
1387.79/1392.49 c GLOBAL bounds - >= 337419 @ 1360.21
1387.89/1392.56 c GLOBAL bounds - >= 337419 @ 1360.26
1418.00/1422.76 c #Conflicts: 67000 | #Constraints: 711047
1418.00/1422.76 c GLOBAL bounds - >= 337419 @ 1389.95
1692.16/1697.87 c #Conflicts: 68000 | #Constraints: 713818
1692.16/1697.87 c #Conflicts: 69000 | #Constraints: 714818
1692.16/1697.87 c #Conflicts: 70000 | #Constraints: 715818
1692.16/1697.87 c #Conflicts: 71000 | #Constraints: 716818
1692.16/1697.87 c #Conflicts: 72000 | #Constraints: 717818
1692.16/1697.87 c #Conflicts: 73000 | #Constraints: 718818
1692.16/1697.87 c #Conflicts: 74000 | #Constraints: 719818
1692.16/1697.87 c #Conflicts: 75000 | #Constraints: 720818
1692.16/1697.87 c #Conflicts: 76000 | #Constraints: 721818
1692.16/1697.87 c INPROCESSING
1692.16/1697.87 c GARBAGE COLLECT
1692.16/1697.87 c #Conflicts: 77000 | #Constraints: 709846
1692.16/1697.87 c #Conflicts: 78000 | #Constraints: 710846
1692.16/1697.87 c #Conflicts: 79000 | #Constraints: 711846
1692.16/1697.87 c GLOBAL bounds - >= 337419 @ 1660.59
1692.27/1697.96 c GLOBAL bounds - >= 337419 @ 1660.66
1692.48/1698.15 c GLOBAL bounds - >= 337419 @ 1660.84
1829.94/1836.06 c #Conflicts: 80000 | #Constraints: 718167
1829.94/1836.06 c #Conflicts: 81000 | #Constraints: 719167
1829.94/1836.06 c #Conflicts: 82000 | #Constraints: 720167
1829.94/1836.06 c #Conflicts: 83000 | #Constraints: 721167
1829.94/1836.06 c #Conflicts: 84000 | #Constraints: 722167
1829.94/1836.06 c INPROCESSING
1829.94/1836.06 c GARBAGE COLLECT
1829.94/1836.06 c GLOBAL bounds - >= 337419 @ 1796.75
1830.22/1836.39 c GLOBAL bounds - >= 337419 @ 1797.06
1992.11/1998.71 c #Conflicts: 85000 | #Constraints: 717056
1992.11/1998.71 c #Conflicts: 86000 | #Constraints: 718056
1992.11/1998.71 c #Conflicts: 87000 | #Constraints: 719056
1992.11/1998.71 c #Conflicts: 88000 | #Constraints: 720056
1992.11/1998.71 c #Conflicts: 89000 | #Constraints: 721056
1992.11/1998.71 c #Conflicts: 90000 | #Constraints: 722056
1992.11/1998.71 c #Conflicts: 91000 | #Constraints: 723056
1992.11/1998.71 c GLOBAL bounds - >= 350266 @ 1956.99
1992.11/1998.75 c GLOBAL bounds - >= 350266 @ 1957.03
1992.11/1998.76 c GLOBAL bounds - >= 350266 @ 1957.04
1992.11/1998.78 c GLOBAL bounds - >= 350266 @ 1957.05
1992.11/1998.79 c GLOBAL bounds - >= 350266 @ 1957.06
1992.21/1998.80 c GLOBAL bounds - >= 350266 @ 1957.07
1992.21/1998.82 c GLOBAL bounds - >= 350266 @ 1957.09
1992.21/1998.83 c GLOBAL bounds - >= 350266 @ 1957.1
1992.21/1998.84 c GLOBAL bounds - >= 350266 @ 1957.11
1993.52/2000.18 c GLOBAL bounds - >= 350266 @ 1958.4
1993.52/2000.19 c GLOBAL bounds - >= 350266 @ 1958.41
1993.60/2000.26 c GLOBAL bounds - >= 350266 @ 1958.45
1993.60/2000.27 c GLOBAL bounds - >= 350266 @ 1958.46
1993.70/2000.33 c GLOBAL bounds - >= 350266 @ 1958.49
1993.70/2000.34 c GLOBAL bounds - >= 350266 @ 1958.5
1993.80/2000.40 c GLOBAL bounds - >= 350266 @ 1958.54
1993.80/2000.41 c GLOBAL bounds - >= 350266 @ 1958.55
1993.80/2000.47 c GLOBAL bounds - >= 350266 @ 1958.58
1993.80/2000.48 c GLOBAL bounds - >= 350266 @ 1958.59
1993.90/2000.54 c GLOBAL bounds - >= 350266 @ 1958.63
1993.90/2000.55 c GLOBAL bounds - >= 350266 @ 1958.64
1994.00/2000.62 c GLOBAL bounds - >= 350266 @ 1958.68
1994.00/2000.63 c GLOBAL bounds - >= 350266 @ 1958.69
1994.00/2000.69 c GLOBAL bounds - >= 350266 @ 1958.73
1994.10/2000.70 c GLOBAL bounds - >= 350266 @ 1958.73
1994.10/2000.79 c GLOBAL bounds - >= 350266 @ 1958.8
1994.20/2000.80 c GLOBAL bounds - >= 350266 @ 1958.8
1994.20/2000.86 c GLOBAL bounds - >= 350266 @ 1958.84
1994.30/2000.91 c GLOBAL bounds - >= 350266 @ 1958.88
1994.30/2000.97 c GLOBAL bounds - >= 350266 @ 1958.92
1994.41/2001.03 c GLOBAL bounds - >= 350266 @ 1958.96
1994.41/2001.09 c GLOBAL bounds - >= 350266 @ 1959.01
1994.51/2001.19 c GLOBAL bounds - >= 350266 @ 1959.08
1994.70/2001.33 c GLOBAL bounds - >= 350266 @ 1959.2
1994.80/2001.42 c GLOBAL bounds - >= 350266 @ 1959.27
1994.90/2001.54 c GLOBAL bounds - >= 350266 @ 1959.37
1995.00/2001.61 c GLOBAL bounds - >= 350266 @ 1959.42
1995.10/2001.76 c GLOBAL bounds - >= 350266 @ 1959.56
1995.20/2001.82 c GLOBAL bounds - >= 350266 @ 1959.61
1995.30/2001.96 c GLOBAL bounds - >= 350266 @ 1959.73
1995.41/2002.07 c GLOBAL bounds - >= 350266 @ 1959.81
1995.60/2002.21 c GLOBAL bounds - >= 350266 @ 1959.93
1995.69/2002.34 c GLOBAL bounds - >= 350266 @ 1960.04
1996.51/2003.14 c GLOBAL bounds - >= 350266 @ 1960.81
1998.00/2004.62 c GLOBAL bounds - >= 350266 @ 1962.25
2015.73/2022.42 c #Conflicts: 92000 | #Constraints: 740417
2015.73/2022.42 c GLOBAL bounds - >= 350266 @ 1979.64
2015.84/2022.54 c GLOBAL bounds - >= 350266 @ 1979.74
2016.73/2023.47 c #Conflicts: 93000 | #Constraints: 742597
2016.73/2023.47 c GLOBAL bounds - >= 350266 @ 1980.64
2016.83/2023.54 c GLOBAL bounds - >= 350266 @ 1980.69
2016.93/2023.69 c GLOBAL bounds - >= 350266 @ 1980.82
2020.44/2027.14 c GLOBAL bounds - >= 350266 @ 1984.19
2025.50/2032.21 c GLOBAL bounds - >= 350266 @ 1989.16
2025.60/2032.31 c GLOBAL bounds - >= 350266 @ 1989.23
2026.80/2033.56 c GLOBAL bounds - >= 350266 @ 1990.44
2088.58/2095.51 c #Conflicts: 94000 | #Constraints: 753670
2088.58/2095.51 c #Conflicts: 95000 | #Constraints: 754670
2088.58/2095.51 c #Conflicts: 96000 | #Constraints: 755670
2088.58/2095.51 c GLOBAL bounds - >= 350266 @ 2051.34
2088.69/2095.65 c GLOBAL bounds - >= 350266 @ 2051.46
2476.03/2484.38 c #Conflicts: 97000 | #Constraints: 760216
2476.03/2484.38 c #Conflicts: 98000 | #Constraints: 761216
2476.03/2484.38 c #Conflicts: 99000 | #Constraints: 762216
2476.03/2484.38 c #Conflicts: 100000 | #Constraints: 763216
2476.03/2484.38 c #Conflicts: 101000 | #Constraints: 764216
2476.03/2484.38 c #Conflicts: 102000 | #Constraints: 765216
2476.03/2484.38 c #Conflicts: 103000 | #Constraints: 766216
2476.03/2484.38 c #Conflicts: 104000 | #Constraints: 767216
2476.03/2484.38 c #Conflicts: 105000 | #Constraints: 768216
2476.03/2484.38 c INPROCESSING
2476.03/2484.38 c GARBAGE COLLECT
2476.03/2484.38 c #Conflicts: 106000 | #Constraints: 753609
2476.03/2484.38 c #Conflicts: 107000 | #Constraints: 754609
2476.03/2484.38 c #Conflicts: 108000 | #Constraints: 755609
2476.03/2484.38 c #Conflicts: 109000 | #Constraints: 756609
2476.03/2484.38 c GLOBAL bounds - >= 360951 @ 2434.2
2476.13/2484.45 c GLOBAL bounds - >= 360951 @ 2434.27
2476.13/2484.46 c GLOBAL bounds - >= 360951 @ 2434.27
2476.13/2484.47 c GLOBAL bounds - >= 360951 @ 2434.28
2476.13/2484.48 c GLOBAL bounds - >= 360951 @ 2434.29
2476.13/2484.49 c GLOBAL bounds - >= 360951 @ 2434.29
2490.88/2499.25 c #Conflicts: 110000 | #Constraints: 757613
2490.88/2499.25 c GLOBAL bounds - >= 360951 @ 2448.73
2490.88/2499.26 c GLOBAL bounds - >= 360951 @ 2448.74
2490.99/2499.32 c GLOBAL bounds - >= 360951 @ 2448.78
2490.99/2499.34 c GLOBAL bounds - >= 360951 @ 2448.79
2490.99/2499.40 c GLOBAL bounds - >= 360951 @ 2448.83
2491.09/2499.41 c GLOBAL bounds - >= 360951 @ 2448.84
2491.09/2499.46 c GLOBAL bounds - >= 360951 @ 2448.87
2491.09/2499.47 c GLOBAL bounds - >= 360951 @ 2448.88
2491.19/2499.53 c GLOBAL bounds - >= 360951 @ 2448.92
2491.19/2499.54 c GLOBAL bounds - >= 360951 @ 2448.93
2491.28/2499.60 c GLOBAL bounds - >= 360951 @ 2448.97
2491.28/2499.61 c GLOBAL bounds - >= 360951 @ 2448.97
2491.28/2499.67 c GLOBAL bounds - >= 360951 @ 2449.01
2491.28/2499.69 c GLOBAL bounds - >= 360951 @ 2449.02
2491.39/2499.75 c GLOBAL bounds - >= 360951 @ 2449.06
2491.39/2499.76 c GLOBAL bounds - >= 360951 @ 2449.06
2491.48/2499.81 c GLOBAL bounds - >= 360951 @ 2449.1
2491.48/2499.83 c GLOBAL bounds - >= 360951 @ 2449.1
2491.48/2499.88 c GLOBAL bounds - >= 360951 @ 2449.14
2491.58/2499.94 c GLOBAL bounds - >= 360951 @ 2449.18
2491.58/2499.99 c GLOBAL bounds - >= 360951 @ 2449.21
2491.69/2500.09 c GLOBAL bounds - >= 360951 @ 2449.29
2491.88/2500.25 c GLOBAL bounds - >= 360951 @ 2449.42
2491.98/2500.34 c GLOBAL bounds - >= 360951 @ 2449.48
2492.18/2500.51 c GLOBAL bounds - >= 360951 @ 2449.62
2492.18/2500.58 c GLOBAL bounds - >= 360951 @ 2449.68
2492.37/2500.70 c GLOBAL bounds - >= 360951 @ 2449.78
2492.48/2500.85 c GLOBAL bounds - >= 360951 @ 2449.91
2492.58/2500.92 c GLOBAL bounds - >= 360951 @ 2449.96
2492.58/2500.99 c GLOBAL bounds - >= 360951 @ 2450.01
2492.87/2501.22 c GLOBAL bounds - >= 360951 @ 2450.2
2492.87/2501.29 c GLOBAL bounds - >= 360951 @ 2450.26
2493.08/2501.46 c GLOBAL bounds - >= 360951 @ 2450.41
2493.47/2501.86 c GLOBAL bounds - >= 360951 @ 2450.79
2493.58/2501.93 c GLOBAL bounds - >= 360951 @ 2450.84
2493.88/2502.21 c GLOBAL bounds - >= 360951 @ 2451.11
2493.97/2502.35 c GLOBAL bounds - >= 360951 @ 2451.22
2497.86/2506.23 c GLOBAL bounds - >= 360951 @ 2455
2497.96/2506.30 c GLOBAL bounds - >= 360951 @ 2455.05
2497.96/2506.38 c GLOBAL bounds - >= 360951 @ 2455.11
2498.06/2506.46 c GLOBAL bounds - >= 360951 @ 2455.18
2531.06/2539.57 c #Conflicts: 111000 | #Constraints: 784089
2531.06/2539.57 c #Conflicts: 112000 | #Constraints: 785089
2531.06/2539.57 c GLOBAL bounds - >= 360951 @ 2487.66
2531.16/2539.67 c GLOBAL bounds - >= 360951 @ 2487.74
2531.26/2539.77 c GLOBAL bounds - >= 360951 @ 2487.81
2531.36/2539.88 c GLOBAL bounds - >= 360951 @ 2487.9
2540.23/2548.74 c #Conflicts: 113000 | #Constraints: 792029
2540.23/2548.74 c GLOBAL bounds - >= 360951 @ 2496.58
2561.47/2570.08 c INPROCESSING
2561.47/2570.08 c GARBAGE COLLECT
2561.47/2570.08 c GLOBAL bounds - >= 360951 @ 2517.52
2640.38/2649.22 c #Conflicts: 114000 | #Constraints: 784063
2640.38/2649.22 c #Conflicts: 115000 | #Constraints: 785063
2640.38/2649.22 c #Conflicts: 116000 | #Constraints: 786063
2640.38/2649.22 c #Conflicts: 117000 | #Constraints: 787063
2640.38/2649.22 c #Conflicts: 118000 | #Constraints: 788063
2640.38/2649.22 c GLOBAL bounds - >= 360951 @ 2595.21
3324.03/3335.20 c #Conflicts: 119000 | #Constraints: 790728
3324.03/3335.20 c #Conflicts: 120000 | #Constraints: 791728
3324.03/3335.20 c #Conflicts: 121000 | #Constraints: 792728
3324.03/3335.20 c #Conflicts: 122000 | #Constraints: 793728
3324.03/3335.20 c #Conflicts: 123000 | #Constraints: 794728
3324.03/3335.20 c #Conflicts: 124000 | #Constraints: 795728
3324.03/3335.20 c #Conflicts: 125000 | #Constraints: 796728
3324.03/3335.20 c #Conflicts: 126000 | #Constraints: 797728
3324.03/3335.20 c #Conflicts: 127000 | #Constraints: 798728
3324.03/3335.20 c #Conflicts: 128000 | #Constraints: 799728
3324.03/3335.20 c #Conflicts: 129000 | #Constraints: 800728
3324.03/3335.20 c #Conflicts: 130000 | #Constraints: 801728
3324.03/3335.20 c #Conflicts: 131000 | #Constraints: 802728
3324.03/3335.20 c #Conflicts: 132000 | #Constraints: 803728
3324.03/3335.20 c #Conflicts: 133000 | #Constraints: 804728
3324.03/3335.20 c #Conflicts: 134000 | #Constraints: 805728
3324.03/3335.20 c #Conflicts: 135000 | #Constraints: 806728
3324.03/3335.20 c #Conflicts: 136000 | #Constraints: 807728
3324.03/3335.20 c #Conflicts: 137000 | #Constraints: 808728
3324.03/3335.20 c GLOBAL bounds - >= 377892 @ 3272.82
3324.03/3335.28 c GLOBAL bounds - >= 377892 @ 3272.9
3324.13/3335.30 c GLOBAL bounds - >= 377892 @ 3272.91
3324.13/3335.31 c GLOBAL bounds - >= 377892 @ 3272.92
3340.66/3351.92 c GLOBAL bounds - >= 377892 @ 3289.24
3340.66/3351.93 c GLOBAL bounds - >= 377892 @ 3289.25
3340.77/3352.01 c GLOBAL bounds - >= 377892 @ 3289.31
3340.77/3352.03 c GLOBAL bounds - >= 377892 @ 3289.32
3340.77/3352.11 c GLOBAL bounds - >= 377892 @ 3289.37
3340.87/3352.12 c GLOBAL bounds - >= 377892 @ 3289.38
3340.96/3352.20 c GLOBAL bounds - >= 377892 @ 3289.43
3340.96/3352.21 c GLOBAL bounds - >= 377892 @ 3289.44
3340.96/3352.28 c GLOBAL bounds - >= 377892 @ 3289.49
3341.06/3352.30 c GLOBAL bounds - >= 377892 @ 3289.5
3341.06/3352.38 c GLOBAL bounds - >= 377892 @ 3289.56
3341.06/3352.39 c GLOBAL bounds - >= 377892 @ 3289.57
3341.16/3352.47 c GLOBAL bounds - >= 377892 @ 3289.63
3341.16/3352.48 c GLOBAL bounds - >= 377892 @ 3289.64
3341.25/3352.55 c GLOBAL bounds - >= 377892 @ 3289.69
3341.25/3352.57 c GLOBAL bounds - >= 377892 @ 3289.7
3341.35/3352.65 c GLOBAL bounds - >= 377892 @ 3289.76
3341.35/3352.66 c GLOBAL bounds - >= 377892 @ 3289.77
3341.46/3352.74 c GLOBAL bounds - >= 377892 @ 3289.82
3341.56/3352.87 c GLOBAL bounds - >= 377892 @ 3289.92
3341.66/3352.96 c GLOBAL bounds - >= 377892 @ 3289.99
3341.87/3353.14 c GLOBAL bounds - >= 377892 @ 3290.15
3341.95/3353.23 c GLOBAL bounds - >= 377892 @ 3290.22
3342.05/3353.39 c GLOBAL bounds - >= 377892 @ 3290.35
3342.15/3353.48 c GLOBAL bounds - >= 377892 @ 3290.43
3342.36/3353.67 c GLOBAL bounds - >= 377892 @ 3290.6
3342.55/3353.80 c GLOBAL bounds - >= 377892 @ 3290.71
3342.55/3353.88 c GLOBAL bounds - >= 377892 @ 3290.77
3351.92/3363.22 c INPROCESSING
3351.92/3363.22 c GARBAGE COLLECT
3351.92/3363.22 c GLOBAL bounds - >= 377892 @ 3299.92
3355.71/3367.11 c GLOBAL bounds - >= 377892 @ 3303.68
3384.70/3396.13 c #Conflicts: 138000 | #Constraints: 811561
3384.70/3396.13 c #Conflicts: 139000 | #Constraints: 812561
3384.70/3396.13 c GLOBAL bounds - >= 377892 @ 3332.14
3384.79/3396.22 c GLOBAL bounds - >= 377892 @ 3332.21
3600.06/3612.24 c #Conflicts: 140000 | #Constraints: 816855
3600.06/3612.24 c #Conflicts: 141000 | #Constraints: 817855
3600.06/3612.24 c #Conflicts: 142000 | #Constraints: 818855
3600.06/3612.24 c #Conflicts: 143000 | #Constraints: 819855
3600.06/3612.24 c #Conflicts: 144000 | #Constraints: 820855
3600.06/3612.24 c #Conflicts: 145000 | #Constraints: 821855
3600.06/3612.24 c #Conflicts: 146000 | #Constraints: 822855
3600.06/3612.24 c #Conflicts: 147000 | #Constraints: 823855
3600.06/3612.24 c INPROCESSING
3600.06/3612.24 c GARBAGE COLLECT
3600.06/3612.24 c #Conflicts: 148000 | #Constraints: 810869
3600.06/3612.24 c cpu time 3544.55 s
3600.06/3612.24 c deterministic time 65284864 6.53e+07
3600.06/3612.24 c optimization time 3541.09 s
3600.06/3612.24 c total solve time 2.43418 s
3600.06/3612.24 c core-guided solve time 0 s
3600.06/3612.24 c propagation time 1.44724 s
3600.06/3612.24 c conflict analysis time 0.503901 s
3600.06/3612.24 c propagations 12087513
3600.06/3612.24 c resolve steps 0
3600.06/3612.24 c decisions 4058886
3600.06/3612.24 c conflicts 149
3600.06/3612.24 c restarts 2
3600.06/3612.24 c inprocessing phases 0
3600.06/3612.24 c garbage collections 0 ,( -nan )
3600.06/3612.24 c input clauses 75667 ,( 72.05 )
3600.06/3612.24 c input cardinalities 39 ,( 0.04 )
3600.06/3612.24 c input general constraints 29313 ,( 27.91 )
3600.06/3612.24 c input average constraint length 29.45
3600.06/3612.24 c input average constraint degree 12092944.47
3600.06/3612.25 c learned clauses 93 ,( 50.82 )
3600.06/3612.25 c learned cardinalities 4 ,( 2.19 )
3600.06/3612.25 c learned general constraints 86 ,( 46.99 )
3600.06/3612.25 c learned average constraint length 387.84
3600.06/3612.25 c learned average constraint degree 11.43
3600.06/3612.25 c watched CF 32, 64, 128, Arb: 112 , 0 , 0 , 0
3600.06/3612.25 c counting CF 32, 64, 128, Arb: 29165 , 123 , 0 , 0
3600.06/3612.25 c watched constraints 112 ,( 0.38 )
3600.06/3612.25 c counting constraints 29287 ,( 99.62 )
3600.06/3612.25 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1587245 , 1152 , 8758903 ,( 32394 , 8726509 )
3600.06/3612.25 c gcd simplifications 1
3600.06/3612.25 c detected cardinalities 0
3600.06/3612.25 c weakened non-implied lits 0
3600.06/3612.25 c weakened non-implying lits 0
3600.06/3612.25 c original variables 45775
3600.06/3612.25 c clausal propagations 1566516
3600.06/3612.25 c cardinality propagations 305
3600.06/3612.25 c watched propagations 8209
3600.06/3612.25 c counting propagations 5538538
3600.06/3612.25 c watch lookups 10910200
3600.06/3612.25 c watch backjump lookups 0
3600.06/3612.25 c watch checks 2975708
3600.06/3612.25 c propagation checks 18992434
3600.06/3612.25 c constraint additions 111243
3600.06/3612.25 c trail pops 16146448
3600.06/3612.25 c formula constraints 104537
3600.06/3612.25 c learned constraints 183
3600.06/3612.25 c bound constraints 0
3600.06/3612.25 c core-guided constraints 0
3600.06/3612.25 c encountered formula constraints 67
3600.06/3612.25 c encountered learned constraints 33
3600.06/3612.25 c encountered bound constraints 0
3600.06/3612.25 c encountered core-guided constraints 0
3600.06/3612.25 c LP total time 0.821707 s
3600.06/3612.25 c LP solve time 0.78 s
3600.06/3612.25 c LP constraints added 104537
3600.06/3612.25 c LP constraints removed 0
3600.06/3612.25 c LP pivots internal 1431
3600.06/3612.25 c LP pivots root 1000
3600.06/3612.25 c LP calls 2
3600.06/3612.25 c LP optimalities 1
3600.06/3612.25 c LP no pivot count 0
3600.06/3612.25 c LP infeasibilities 0
3600.06/3612.25 c LP valid Farkas constraints 0
3600.06/3612.25 c LP learned Farkas constraints 0
3600.06/3612.25 c LP basis resets 0
3600.06/3612.25 c LP cycling count 0
3600.06/3612.25 c LP singular count 0
3600.06/3612.25 c LP no primal count 0
3600.06/3612.25 c LP no farkas count 0
3600.06/3612.25 c LP other issue count 0
3600.06/3612.25 c LP Gomory cuts 0
3600.06/3612.25 c LP learned cuts 0
3600.06/3612.25 c LP deleted cuts 0
3600.06/3612.25 c LP encountered Gomory constraints 0
3600.06/3612.25 c LP encountered Farkas constraints 0
3600.06/3612.25 c LP encountered learned Farkas constraints 0
3600.06/3612.25 c CG auxiliary variables introduced 448
3600.06/3612.25 c CG solutions found 0
3600.06/3612.25 c CG cores constructed 194
3600.06/3612.25 c CG core cardinality constraints returned 0
3600.06/3612.25 c CG unit cores 0
3600.06/3612.25 c CG single cores 0
3600.06/3612.25 c CG blocks removed during cardinality reduction 0
3600.06/3612.25 c CG first core best 0
3600.06/3612.25 c CG decision core best 0
3600.06/3612.25 c CG core reduction tie 0
3600.06/3612.25 c CG core degree average 0.00
3600.06/3612.25 c CG core slack average 0.00
3600.06/3612.25 c CG core upper bound improvements 0
3600.06/3612.25 c STR number of successful calls 0
3600.06/3612.25 c STR number of unsuccessful calls 0
3600.06/3612.25 c STR number of inconclusive calls 0
3600.06/3612.25 c STR number of successful attempts 0
3600.06/3612.25 c STR number of unsuccessful attempts 0
3600.06/3612.25 c STR number of inconclusive attempts 0
3600.06/3612.25 c STR average degree increase per successful call inf
3600.06/3612.25 c STR average degree increase per successful attempt inf
3600.06/3612.25 c STR total number of conflicts for successful attempts 0
3600.06/3612.25 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3612.25 c STR total number of conflicts for inconclusive attempts 0
3600.06/3612.25 c STR average number of conflicts per successful attempt inf
3600.06/3612.25 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3612.25 c STR average number of conflicts per inconclusive attempt inf
3600.06/3612.25 c AVG.sumWPerc 99.24
3600.06/3612.25 c bigint constraints 123
3600.06/3612.25 s UNKNOWN
3600.06/3612.25 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: 63794 MiB (40590 MiB free)
memory of node 1: 64507 MiB (46039 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504849-1751475369/watcher-4504849-1751475369 -o /tmp/evaluation-result-4504849-1751475369/solver-4504849-1751475369 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751471575-62689 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4504849-1751475369.opb PROOFDIR/proof-4504849-1751475369
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
solver pid=63430, runsolver pid=63427
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.51 4.34 4.19 4/261 63432
/proc/meminfo: memFree=88701268/131382112 swapFree=33010684/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=50796 memory=7552 CPUtime=0 cores=1,3
/proc/63432/stat : 63432 (roundingsat) D 63430 63430 62677 0 -1 4456448 301 0 0 0 0 0 0 0 20 0 1 0 63216590 52015104 1888 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+0.206782 s]*
/proc/loadavg: 4.51 4.34 4.19 5/261 63432
/proc/meminfo: memFree=88682620/131382112 swapFree=33010684/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=64932 memory=18308 CPUtime=0.06 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 3673 0 0 0 5 1 0 0 20 0 1 0 63216590 66490368 4577 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 16233 4577 1984 1147 0 3660 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 69124 KiB
Current children cumulated memory: 21380 KiB
[startup+0.306606 s]*
/proc/loadavg: 4.51 4.34 4.19 5/261 63432
/proc/meminfo: memFree=88678524/131382112 swapFree=33010684/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=66312 memory=21676 CPUtime=0.16 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 4022 0 0 0 13 3 0 0 20 0 1 0 63216590 67903488 5419 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 16578 5419 1984 1147 0 4005 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 70504 KiB
Current children cumulated memory: 24748 KiB
[startup+0.700438 s]
/proc/loadavg: 4.51 4.34 4.19 5/261 63432
/proc/meminfo: memFree=88676760/131382112 swapFree=33010684/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=70836 memory=27972 CPUtime=0.55 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 5077 0 0 0 43 12 0 0 20 0 1 0 63216590 72536064 6993 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 17709 6993 1984 1147 0 5136 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 75028 KiB
Current children cumulated memory: 31044 KiB
[startup+1.50041 s]
/proc/loadavg: 4.55 4.35 4.19 5/261 63432
/proc/meminfo: memFree=88661388/131382112 swapFree=33010684/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=195704 memory=135584 CPUtime=1.34 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 19309 0 0 0 110 24 0 0 20 0 1 0 63216590 200400896 33896 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 48926 33896 2336 1147 0 36353 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 199896 KiB
Current children cumulated memory: 138656 KiB
[startup+3.11377 s]
/proc/loadavg: 4.55 4.35 4.19 5/261 63432
/proc/meminfo: memFree=88441764/131382112 swapFree=33010684/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=219192 memory=162328 CPUtime=2.95 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 24964 0 0 0 214 81 0 0 20 0 1 0 63216590 224452608 40582 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 54798 40582 2368 1147 0 42225 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 223384 KiB
Current children cumulated memory: 165400 KiB
[startup+6.3004 s]
/proc/loadavg: 4.59 4.36 4.20 5/261 63432
/proc/meminfo: memFree=88207560/131382112 swapFree=33010684/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=348988 memory=283620 CPUtime=6.12 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 41642 0 0 0 465 147 0 0 20 0 1 0 63216590 357363712 70905 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 87247 70905 2400 1147 0 74674 0
Current children cumulated CPU time: 6.12 s
Current children cumulated vsize: 353180 KiB
Current children cumulated memory: 286692 KiB
[startup+12.7004 s]
/proc/loadavg: 4.62 4.37 4.20 5/261 63432
/proc/meminfo: memFree=87794948/131382112 swapFree=33010684/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=517996 memory=444128 CPUtime=12.51 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 74761 0 0 0 993 258 0 0 20 0 1 0 63216590 530427904 111032 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 129499 111032 2400 1147 0 116926 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 522188 KiB
Current children cumulated memory: 447200 KiB
[startup+25.5004 s]
/proc/loadavg: 4.76 4.41 4.21 5/260 63433
/proc/meminfo: memFree=86867964/131382112 swapFree=33010684/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=836668 memory=724720 CPUtime=25.27 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 127107 0 0 0 2145 382 0 0 20 0 1 0 63216590 856748032 181180 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 209167 181180 2400 1147 0 196594 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 840860 KiB
Current children cumulated memory: 727792 KiB
[startup+51.1139 s]
/proc/loadavg: 4.70 4.43 4.23 5/260 63433
/proc/meminfo: memFree=85265924/131382112 swapFree=33010684/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=1129696 memory=963920 CPUtime=50.82 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 172611 0 0 0 4591 491 0 0 20 0 1 0 63216590 1156808704 240980 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 282424 240980 2400 1147 0 269851 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 1133888 KiB
Current children cumulated memory: 966992 KiB
[startup+102.3 s]
/proc/loadavg: 4.35 4.38 4.22 5/261 63436
/proc/meminfo: memFree=82506780/131382112 swapFree=33010684/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=1407524 memory=1202304 CPUtime=101.82 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 211319 0 0 0 9605 577 0 0 20 0 1 0 63216590 1441304576 300576 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 351881 300576 2400 1147 0 339308 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 1411716 KiB
Current children cumulated memory: 1205376 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.34 4.21 5/262 63443
/proc/meminfo: memFree=79260444/131382112 swapFree=33010684/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=1804076 memory=1572092 CPUtime=161.64 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 283321 0 0 0 15355 809 0 0 20 0 1 0 63216590 1847373824 393023 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 451019 393023 2400 1147 0 438446 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 1808268 KiB
Current children cumulated memory: 1575164 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.31 4.21 5/262 63445
/proc/meminfo: memFree=76338692/131382112 swapFree=33010684/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=2171564 memory=1744544 CPUtime=221.45 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 314739 0 0 0 21230 915 0 0 20 0 1 0 63216590 2223681536 436136 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 542891 436136 2400 1147 0 530318 0
################
# More data... #
################
Current children cumulated memory: 7182124 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.19 4.20 5/260 63708
/proc/meminfo: memFree=1095608/131382112 swapFree=33010416/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=8550984 memory=7405348 CPUtime=3331.1 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 1728852 0 0 0 327980 5130 0 0 20 0 1 0 63216590 8756207616 1851337 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 2137746 1851337 2400 1147 0 2125173 0
Current children cumulated CPU time: 3331.1 s
Current children cumulated vsize: 8555176 KiB
Current children cumulated memory: 7408420 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.21 4.21 5/260 63709
/proc/meminfo: memFree=996104/131382112 swapFree=33010416/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=8657680 memory=7517752 CPUtime=3390.88 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 1856156 0 0 0 333819 5269 0 0 20 0 1 0 63216590 8865464320 1879438 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 2164420 1879438 2400 1147 0 2151847 0
Current children cumulated CPU time: 3390.88 s
Current children cumulated vsize: 8661872 KiB
Current children cumulated memory: 7520824 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.18 4.20 5/260 63757
/proc/meminfo: memFree=14158516/131382112 swapFree=33010416/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=8657680 memory=7517752 CPUtime=3450.65 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 1876400 0 0 0 339711 5354 0 0 20 0 1 0 63216590 8865464320 1879438 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 2164420 1879438 2400 1147 0 2151847 0
Current children cumulated CPU time: 3450.65 s
Current children cumulated vsize: 8661872 KiB
Current children cumulated memory: 7520824 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.21 4.20 5/260 63759
/proc/meminfo: memFree=10063844/131382112 swapFree=33010416/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=8657680 memory=7517752 CPUtime=3510.46 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 1905836 0 0 0 345614 5432 0 0 20 0 1 0 63216590 8865464320 1879438 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 2164420 1879438 2400 1147 0 2151847 0
Current children cumulated CPU time: 3510.46 s
Current children cumulated vsize: 8661872 KiB
Current children cumulated memory: 7520824 KiB
[startup+3582.3 s]
/proc/loadavg: 4.36 4.23 4.21 5/259 63761
/proc/meminfo: memFree=5266328/131382112 swapFree=33010416/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=8657680 memory=7517752 CPUtime=3570.26 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 1943408 0 0 0 351517 5509 0 0 20 0 1 0 63216590 8865464320 1879438 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 2164420 1879438 2400 1147 0 2151847 0
Current children cumulated CPU time: 3570.26 s
Current children cumulated vsize: 8661872 KiB
Current children cumulated memory: 7520824 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 4.36 4.24 4.21 5/259 63762
/proc/meminfo: memFree=3203508/131382112 swapFree=33010416/33010684
[pid=63430] ppid=63427 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/63430/stat : 63430 (run-opt-log.sh) S 63427 63430 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63216589 4292608 768 18446744073709551615 94822855696384 94822856590917 140722715619072 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94822856829968 94822856877712 94822859513856 140722715625761 140722715625956 140722715625956 140722715631558 0
/proc/63430/statm: 1048 768 704 219 0 110 0
[pid=63432] ppid=63430 vsize=8659324 memory=7519672 CPUtime=3600.06 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63430 63430 62677 0 -1 4194304 2044957 0 0 0 354454 5552 0 0 20 0 1 0 63216590 8867147776 1879918 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 2164831 1879918 2400 1147 0 2152258 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 8663516 KiB
Current children cumulated memory: 7522744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.21 s]
# the end of solver process 63430 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001046 s, system=0.004135 s
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.36 4.24 4.21 4/260 63764
/proc/meminfo: memFree=3068524/131382112 swapFree=33010416/33010684
[pid=63432] ppid=63427 vsize=8659324 memory=7520056 CPUtime=3600.46 cores=1,3
/proc/63432/stat : 63432 (roundingsat) D 63427 63430 62677 0 -1 4194304 2044962 0 1 0 354456 5590 0 0 20 0 1 0 63216590 8867147776 1880014 18446744073709551615 4227072 8923433 140725792949904 0 0 256 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 9
/proc/63432/statm: 2164831 1880014 2496 1147 0 2152258 0
??? kill 63432 sig 9
??? end of watcher thread
[startup+3615.24 s]
# the end of solver process 63432 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3544.57 s, system=56.337 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.36 4.24 4.21 8/260 63764
/proc/meminfo: memFree=3178968/131382112 swapFree=33010416/33010684
[pid=63432] ppid=63427 vsize=8659324 memory=7520056 CPUtime=3600.36 cores=1,3
/proc/63432/stat : 63432 (roundingsat) D 63427 63430 62677 0 -1 4194304 2044962 0 1 0 354455 5581 0 0 20 0 1 0 63216590 8867147776 1880014 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 2164831 1880014 2496 1147 0 2152258 0
Current cumulated CPU time of completed processes: 0.005181 s
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 8659324 KiB
Current children cumulated memory: 7520056 KiB
[startup+3613.6 s]
/proc/loadavg: 4.36 4.24 4.21 4/260 63764
/proc/meminfo: memFree=3150852/131382112 swapFree=33010416/33010684
[pid=63432] ppid=63427 vsize=8659324 memory=7520056 CPUtime=3600.42 cores=1,3
/proc/63432/stat : 63432 (roundingsat) D 63427 63430 62677 0 -1 4194304 2044962 0 1 0 354456 5586 0 0 20 0 1 0 63216590 8867147776 1880014 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 2164831 1880014 2496 1147 0 2152258 0
Current cumulated CPU time of completed processes: 0.005181 s
Current children cumulated CPU time: 3600.42 s
Current children cumulated vsize: 8659324 KiB
Current children cumulated memory: 7520056 KiB
[startup+3614 s]*
/proc/loadavg: 4.36 4.24 4.21 5/260 63764
/proc/meminfo: memFree=3074360/131382112 swapFree=33010416/33010684
[pid=63432] ppid=63427 vsize=8659324 memory=7520056 CPUtime=3600.45 cores=1,3
/proc/63432/stat : 63432 (roundingsat) R 63427 63430 62677 0 -1 4194304 2044962 0 1 0 354456 5589 0 0 20 0 1 0 63216590 8867147776 1880014 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 2164831 1880014 2496 1147 0 2152258 0
Current cumulated CPU time of completed processes: 0.005181 s
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 8659324 KiB
Current children cumulated memory: 7520056 KiB
[startup+3614.2 s]
/proc/loadavg: 4.36 4.24 4.21 5/260 63764
/proc/meminfo: memFree=3074360/131382112 swapFree=33010416/33010684
[pid=63432] ppid=63427 vsize=8659324 memory=7520056 CPUtime=3600.46 cores=1,3
/proc/63432/stat : 63432 (roundingsat) D 63427 63430 62677 0 -1 4194304 2044962 0 1 0 354456 5590 0 0 20 0 1 0 63216590 8867147776 1880014 18446744073709551615 4227072 8923433 140725792949904 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 39522304 140725792958802 140725792959016 140725792959016 140725792964586 0
/proc/63432/statm: 2164831 1880014 2496 1147 0 2152258 0
Current cumulated CPU time of completed processes: 0.005181 s
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 8659324 KiB
Current children cumulated memory: 7520056 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3615.24
CPU time (s): 3600.91
CPU user time (s): 3544.57
CPU system time (s): 56.337
CPU usage (%): 99.6036
Max. virtual memory (cumulated for all children) (KiB): 8663516
Max. memory (cumulated for all children) (KiB): 7522744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3544.57
system time used= 56.337
maximum resident set size= 7520056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2045170
page faults= 1
swaps= 0
block input operations= 4040
block output operations= 117952280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80322
involuntary context switches= 12069
# summary of solver processes directly reported to runsolver:
# pid: 63430,63432
# total CPU time (s): 3600.91
# total CPU user time (s): 3544.57
# total CPU system time (s): 56.337
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8793 second user time and 39.5148 second system time
The end
Begin job on nodeC012 at 2025-07-02 18:56:09
IDJOB=4504849
IDBENCH=155693
IDSOLVER=3351
FILE ID=nodeC012/4504849-1751475369
RUNJOBID= nodeC012-1751471575-62689
SLURM_JOB_ID= 9598495
Free space on /tmp= 432136 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_6_mh_ic.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504849-1751475369/watcher-4504849-1751475369 -o /tmp/evaluation-result-4504849-1751475369/solver-4504849-1751475369 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751471575-62689 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4504849-1751475369.opb PROOFDIR/proof-4504849-1751475369
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1bb082b6412719493b7deb7ac7dad108
RANDOM SEED=2095139563
nodeC012 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 : 3607.478
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.39
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 : 1197.150
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.39
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 : 1197.168
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.39
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 : 2994.101
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.39
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 : 3612.106
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.39
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 : 3691.279
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.39
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 : 3700.000
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.39
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.600
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 88709332 kB
MemAvailable: 123172912 kB
Buffers: 3280 kB
Cached: 35230552 kB
SwapCached: 0 kB
Active: 7071568 kB
Inactive: 34918712 kB
Active(anon): 6774468 kB
Inactive(anon): 0 kB
Active(file): 297100 kB
Inactive(file): 34918712 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1760588 kB
Writeback: 0 kB
AnonPages: 6758176 kB
Mapped: 116688 kB
Shmem: 17960 kB
KReclaimable: 174408 kB
Slab: 314748 kB
SReclaimable: 174408 kB
SUnreclaim: 140340 kB
KernelStack: 4192 kB
PageTables: 18228 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 8431292 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149592 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3532800 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431992 MiB
End job on nodeC012 at 2025-07-02 19:56:24