0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.38/0.44 c #variables 45775 #constraints 104537
0.38/0.44 c objective is ce32
0.48/0.52 c initial watched CF 32, 64, 128, Arb: 25 , 0 , 0 , 0
0.48/0.52 c initial counting CF 32, 64, 128, Arb: 29126 , 0 , 0 , 0
0.48/0.52 c GLOBAL bounds - >= -25 @ 0.369845
0.48/0.57 c GLOBAL bounds - >= -25 @ 0.389107
0.58/0.61 c GLOBAL bounds - >= -25 @ 0.414052
0.58/0.65 c GLOBAL bounds - >= -25 @ 0.441754
0.58/0.69 c GLOBAL bounds - >= -25 @ 0.462251
0.67/0.72 c GLOBAL bounds - >= -25 @ 0.486886
0.67/0.76 c GLOBAL bounds - >= -25 @ 0.505496
0.77/0.80 c GLOBAL bounds - >= -25 @ 0.522523
0.77/0.84 c GLOBAL bounds - >= -25 @ 0.541704
0.77/0.88 c GLOBAL bounds - >= -25 @ 0.566225
0.87/0.92 c GLOBAL bounds - >= -25 @ 0.590533
0.87/0.96 c GLOBAL bounds - >= -25 @ 0.611729
0.87/1.00 c GLOBAL bounds - >= -25 @ 0.631376
0.98/1.05 c GLOBAL bounds - >= -25 @ 0.667269
0.98/1.09 c GLOBAL bounds - >= -25 @ 0.690425
1.08/1.13 c GLOBAL bounds - >= -25 @ 0.711959
1.08/1.17 c GLOBAL bounds - >= -25 @ 0.731636
1.17/1.21 c GLOBAL bounds - >= -25 @ 0.752822
1.17/1.27 c GLOBAL bounds - >= -25 @ 0.79335
1.27/1.31 c GLOBAL bounds - >= -25 @ 0.817302
1.27/1.35 c GLOBAL bounds - >= -25 @ 0.841253
1.27/1.39 c GLOBAL bounds - >= -25 @ 0.85722
1.37/1.43 c GLOBAL bounds - >= -25 @ 0.876387
1.37/1.47 c GLOBAL bounds - >= -25 @ 0.903513
1.47/1.52 c GLOBAL bounds - >= -25 @ 0.935057
1.47/1.59 c GLOBAL bounds - >= -25 @ 0.972978
1.57/1.65 c GLOBAL bounds - >= -25 @ 1.00944
1.67/1.72 c GLOBAL bounds - >= -25 @ 1.05637
1.67/1.80 c GLOBAL bounds - >= -25 @ 1.11094
1.77/1.88 c GLOBAL bounds - >= -25 @ 1.17319
1.87/1.96 c GLOBAL bounds - >= 26943 @ 1.25498
2.76/2.82 c GLOBAL bounds - >= 26943 @ 2.09306
2.76/2.88 c GLOBAL bounds - >= 26943 @ 2.12368
2.76/2.89 c GLOBAL bounds - >= 26943 @ 2.1332
2.86/2.94 c GLOBAL bounds - >= 26943 @ 2.15449
2.86/2.95 c GLOBAL bounds - >= 26943 @ 2.16594
2.86/2.99 c GLOBAL bounds - >= 26943 @ 2.18912
2.86/3.00 c GLOBAL bounds - >= 26943 @ 2.196
2.97/3.04 c GLOBAL bounds - >= 26943 @ 2.2129
2.97/3.05 c GLOBAL bounds - >= 26943 @ 2.22103
2.97/3.09 c GLOBAL bounds - >= 26943 @ 2.23735
2.97/3.09 c GLOBAL bounds - >= 26943 @ 2.23981
3.07/3.12 c GLOBAL bounds - >= 26943 @ 2.25555
3.07/3.12 c GLOBAL bounds - >= 26943 @ 2.25597
3.07/3.15 c GLOBAL bounds - >= 26943 @ 2.26893
3.07/3.16 c GLOBAL bounds - >= 26943 @ 2.27357
3.07/3.19 c GLOBAL bounds - >= 26943 @ 2.28741
3.17/3.21 c GLOBAL bounds - >= 26943 @ 2.29506
3.17/3.24 c GLOBAL bounds - >= 26943 @ 2.31515
3.17/3.26 c GLOBAL bounds - >= 26943 @ 2.32461
3.17/3.29 c GLOBAL bounds - >= 26943 @ 2.33472
3.27/3.32 c GLOBAL bounds - >= 26943 @ 2.35242
3.27/3.36 c GLOBAL bounds - >= 26943 @ 2.37094
3.36/3.40 c GLOBAL bounds - >= 26943 @ 2.38612
3.36/3.46 c GLOBAL bounds - >= 26943 @ 2.42896
3.46/3.50 c GLOBAL bounds - >= 26943 @ 2.45588
3.46/3.54 c GLOBAL bounds - >= 26943 @ 2.47683
3.56/3.64 c GLOBAL bounds - >= 26943 @ 2.56878
3.56/3.68 c GLOBAL bounds - >= 26943 @ 2.59175
3.66/3.72 c GLOBAL bounds - >= 26943 @ 2.61671
3.66/3.79 c GLOBAL bounds - >= 26943 @ 2.66091
3.76/3.83 c GLOBAL bounds - >= 26943 @ 2.68595
3.86/3.96 c GLOBAL bounds - >= 26943 @ 2.7884
3.97/4.02 c GLOBAL bounds - >= 26943 @ 2.81969
4.16/4.21 c GLOBAL bounds - >= 26943 @ 2.98033
4.16/4.27 c GLOBAL bounds - >= 83495 @ 3.03595
4.16/4.28 c GLOBAL bounds - >= 83495 @ 3.05062
4.26/4.33 c GLOBAL bounds - >= 83495 @ 3.07187
4.26/4.34 c GLOBAL bounds - >= 83495 @ 3.08127
4.26/4.39 c GLOBAL bounds - >= 83495 @ 3.10382
4.36/4.40 c GLOBAL bounds - >= 83495 @ 3.11242
4.36/4.44 c GLOBAL bounds - >= 83495 @ 3.12701
4.36/4.46 c GLOBAL bounds - >= 83495 @ 3.13432
4.46/4.50 c GLOBAL bounds - >= 83495 @ 3.15295
4.46/4.51 c GLOBAL bounds - >= 83495 @ 3.16236
4.46/4.55 c GLOBAL bounds - >= 83495 @ 3.18888
4.46/4.56 c GLOBAL bounds - >= 83495 @ 3.19841
4.57/4.60 c GLOBAL bounds - >= 83495 @ 3.22384
4.57/4.61 c GLOBAL bounds - >= 83495 @ 3.2347
4.57/4.65 c GLOBAL bounds - >= 83495 @ 3.2537
4.57/4.66 c GLOBAL bounds - >= 83495 @ 3.26128
4.66/4.70 c GLOBAL bounds - >= 83495 @ 3.28118
4.66/4.72 c GLOBAL bounds - >= 83495 @ 3.29136
4.66/4.76 c GLOBAL bounds - >= 83495 @ 3.31393
4.66/4.77 c GLOBAL bounds - >= 83495 @ 3.32183
4.76/4.80 c GLOBAL bounds - >= 83495 @ 3.33555
4.76/4.85 c GLOBAL bounds - >= 83495 @ 3.35823
4.76/4.89 c GLOBAL bounds - >= 83495 @ 3.38219
4.86/4.94 c GLOBAL bounds - >= 83495 @ 3.41837
4.86/4.98 c GLOBAL bounds - >= 83495 @ 3.4443
4.96/5.03 c GLOBAL bounds - >= 83495 @ 3.47208
4.96/5.09 c GLOBAL bounds - >= 83495 @ 3.5081
5.07/5.17 c GLOBAL bounds - >= 83495 @ 3.57101
5.16/5.29 c GLOBAL bounds - >= 83495 @ 3.67477
5.36/5.46 c GLOBAL bounds - >= 83495 @ 3.80499
5.46/5.59 c GLOBAL bounds - >= 83495 @ 3.91521
5.96/6.10 c GLOBAL bounds - >= 83495 @ 4.38944
6.35/6.41 c GLOBAL bounds - >= 83495 @ 4.67702
6.75/6.80 c GLOBAL bounds - >= 126545 @ 5.06084
6.75/6.82 c GLOBAL bounds - >= 126545 @ 5.07892
6.75/6.82 c GLOBAL bounds - >= 126545 @ 5.08112
6.75/6.87 c GLOBAL bounds - >= 126545 @ 5.1067
6.75/6.89 c GLOBAL bounds - >= 126545 @ 5.11455
6.86/6.93 c GLOBAL bounds - >= 126545 @ 5.13945
6.86/6.94 c GLOBAL bounds - >= 126545 @ 5.14934
6.86/6.99 c GLOBAL bounds - >= 126545 @ 5.17218
6.86/7.00 c GLOBAL bounds - >= 126545 @ 5.1802
6.96/7.04 c GLOBAL bounds - >= 126545 @ 5.20329
6.96/7.06 c GLOBAL bounds - >= 126545 @ 5.21101
6.96/7.10 c GLOBAL bounds - >= 126545 @ 5.23302
7.06/7.11 c GLOBAL bounds - >= 126545 @ 5.24287
7.06/7.15 c GLOBAL bounds - >= 126545 @ 5.26298
7.06/7.16 c GLOBAL bounds - >= 126545 @ 5.2716
7.15/7.20 c GLOBAL bounds - >= 126545 @ 5.2909
7.15/7.21 c GLOBAL bounds - >= 126545 @ 5.29847
7.15/7.26 c GLOBAL bounds - >= 126545 @ 5.31584
7.15/7.27 c GLOBAL bounds - >= 126545 @ 5.32641
7.26/7.31 c GLOBAL bounds - >= 126545 @ 5.34768
7.26/7.32 c GLOBAL bounds - >= 126545 @ 5.35704
7.26/7.36 c GLOBAL bounds - >= 126545 @ 5.37771
7.35/7.41 c GLOBAL bounds - >= 126545 @ 5.40368
7.35/7.45 c GLOBAL bounds - >= 126545 @ 5.42514
7.45/7.50 c GLOBAL bounds - >= 126545 @ 5.46059
7.45/7.55 c GLOBAL bounds - >= 126545 @ 5.49388
7.55/7.60 c GLOBAL bounds - >= 126545 @ 5.5216
7.55/7.65 c GLOBAL bounds - >= 126545 @ 5.54328
7.65/7.72 c GLOBAL bounds - >= 126545 @ 5.59744
7.96/8.01 c GLOBAL bounds - >= 126545 @ 5.85565
8.06/8.12 c GLOBAL bounds - >= 126545 @ 5.95043
8.15/8.24 c GLOBAL bounds - >= 126545 @ 6.0482
8.25/8.37 c GLOBAL bounds - >= 126545 @ 6.15097
8.35/8.46 c GLOBAL bounds - >= 126545 @ 6.22173
8.45/8.59 c GLOBAL bounds - >= 126545 @ 6.32758
8.55/8.63 c GLOBAL bounds - >= 126545 @ 6.34555
9.56/9.63 c GLOBAL bounds - >= 126545 @ 7.30332
10.25/10.30 c GLOBAL bounds - >= 126545 @ 7.94182
10.25/10.35 c GLOBAL bounds - >= 126545 @ 7.97554
10.35/10.48 c GLOBAL bounds - >= 126545 @ 8.08051
10.45/10.56 c GLOBAL bounds - >= 126545 @ 8.13414
10.54/10.64 c GLOBAL bounds - >= 126545 @ 8.19525
10.65/10.80 c GLOBAL bounds - >= 154672 @ 8.34718
10.74/10.82 c GLOBAL bounds - >= 154672 @ 8.37233
10.74/10.87 c GLOBAL bounds - >= 154672 @ 8.39593
10.74/10.87 c GLOBAL bounds - >= 154672 @ 8.39913
10.85/10.92 c GLOBAL bounds - >= 154672 @ 8.42618
10.85/10.93 c GLOBAL bounds - >= 154672 @ 8.4337
10.85/10.97 c GLOBAL bounds - >= 154672 @ 8.45954
10.85/10.99 c GLOBAL bounds - >= 154672 @ 8.46862
10.95/11.03 c GLOBAL bounds - >= 154672 @ 8.48957
10.95/11.04 c GLOBAL bounds - >= 154672 @ 8.49634
10.95/11.08 c GLOBAL bounds - >= 154672 @ 8.51301
10.95/11.10 c GLOBAL bounds - >= 154672 @ 8.52292
11.05/11.14 c GLOBAL bounds - >= 154672 @ 8.54345
11.05/11.15 c GLOBAL bounds - >= 154672 @ 8.54984
11.05/11.18 c GLOBAL bounds - >= 154672 @ 8.5623
11.15/11.20 c GLOBAL bounds - >= 154672 @ 8.56974
11.15/11.24 c GLOBAL bounds - >= 154672 @ 8.59833
11.15/11.25 c GLOBAL bounds - >= 154672 @ 8.6072
11.15/11.29 c GLOBAL bounds - >= 154672 @ 8.62627
11.25/11.30 c GLOBAL bounds - >= 154672 @ 8.63773
11.25/11.34 c GLOBAL bounds - >= 154672 @ 8.66115
11.25/11.38 c GLOBAL bounds - >= 154672 @ 8.67816
11.34/11.43 c GLOBAL bounds - >= 154672 @ 8.71009
11.65/11.74 c GLOBAL bounds - >= 154672 @ 9.00628
11.74/11.86 c GLOBAL bounds - >= 154672 @ 9.09776
11.95/12.07 c GLOBAL bounds - >= 154672 @ 9.28759
12.05/12.12 c GLOBAL bounds - >= 154672 @ 9.31866
12.05/12.16 c GLOBAL bounds - >= 154672 @ 9.3446
12.14/12.21 c GLOBAL bounds - >= 154672 @ 9.37154
12.24/12.31 c GLOBAL bounds - >= 154672 @ 9.45517
12.24/12.36 c GLOBAL bounds - >= 154672 @ 9.48305
12.34/12.41 c GLOBAL bounds - >= 154672 @ 9.51407
12.34/12.49 c GLOBAL bounds - >= 154672 @ 9.57335
12.44/12.54 c GLOBAL bounds - >= 154672 @ 9.59904
12.44/12.58 c GLOBAL bounds - >= 154672 @ 9.62299
12.64/12.76 c GLOBAL bounds - >= 154672 @ 9.77675
12.74/12.82 c GLOBAL bounds - >= 154672 @ 9.82451
13.14/13.28 c GLOBAL bounds - >= 154672 @ 10.2494
13.44/13.53 c #Conflicts: 1000 | #Constraints: 358304
13.44/13.53 c GLOBAL bounds - >= 154672 @ 10.474
13.54/13.60 c GLOBAL bounds - >= 154672 @ 10.5199
14.14/14.22 c GLOBAL bounds - >= 154672 @ 11.0963
14.44/14.59 c GLOBAL bounds - >= 154672 @ 11.4357
15.54/15.64 c GLOBAL bounds - >= 154672 @ 12.4514
15.74/15.82 c GLOBAL bounds - >= 154672 @ 12.6072
18.13/18.25 c GLOBAL bounds - >= 191636 @ 15.0136
18.23/18.30 c GLOBAL bounds - >= 191636 @ 15.0537
18.23/18.31 c GLOBAL bounds - >= 191636 @ 15.063
18.63/18.77 c GLOBAL bounds - >= 191636 @ 15.4949
18.63/18.78 c GLOBAL bounds - >= 191636 @ 15.5029
18.73/18.83 c GLOBAL bounds - >= 191636 @ 15.5298
18.73/18.85 c GLOBAL bounds - >= 191636 @ 15.5385
18.83/18.90 c GLOBAL bounds - >= 191636 @ 15.5647
18.83/18.91 c GLOBAL bounds - >= 191636 @ 15.5725
18.83/18.96 c GLOBAL bounds - >= 191636 @ 15.5957
18.83/18.97 c GLOBAL bounds - >= 191636 @ 15.6079
18.94/19.01 c GLOBAL bounds - >= 191636 @ 15.6256
18.94/19.03 c GLOBAL bounds - >= 191636 @ 15.637
18.94/19.07 c GLOBAL bounds - >= 191636 @ 15.6629
18.94/19.09 c GLOBAL bounds - >= 191636 @ 15.671
19.03/19.13 c GLOBAL bounds - >= 191636 @ 15.6909
19.03/19.15 c GLOBAL bounds - >= 191636 @ 15.7018
19.03/19.19 c GLOBAL bounds - >= 191636 @ 15.7242
19.13/19.20 c GLOBAL bounds - >= 191636 @ 15.7335
19.13/19.24 c GLOBAL bounds - >= 191636 @ 15.7563
19.13/19.26 c GLOBAL bounds - >= 191636 @ 15.7661
19.22/19.30 c GLOBAL bounds - >= 191636 @ 15.7921
19.22/19.35 c GLOBAL bounds - >= 191636 @ 15.8201
19.32/19.40 c GLOBAL bounds - >= 191636 @ 15.85
19.32/19.45 c GLOBAL bounds - >= 191636 @ 15.8788
19.42/19.50 c GLOBAL bounds - >= 191636 @ 15.9089
19.42/19.56 c GLOBAL bounds - >= 191636 @ 15.9369
19.53/19.65 c GLOBAL bounds - >= 191636 @ 16.0087
19.53/19.70 c GLOBAL bounds - >= 191636 @ 16.0366
19.73/19.81 c GLOBAL bounds - >= 191636 @ 16.1214
19.73/19.87 c GLOBAL bounds - >= 191636 @ 16.1632
19.83/19.98 c GLOBAL bounds - >= 191636 @ 16.2602
19.93/20.06 c GLOBAL bounds - >= 191636 @ 16.3235
20.04/20.17 c GLOBAL bounds - >= 191636 @ 16.4049
20.22/20.31 c GLOBAL bounds - >= 191636 @ 16.5334
20.22/20.36 c GLOBAL bounds - >= 191636 @ 16.5644
20.32/20.48 c GLOBAL bounds - >= 191636 @ 16.6578
22.32/22.43 c GLOBAL bounds - >= 191636 @ 18.5613
24.92/25.08 c #Conflicts: 2000 | #Constraints: 415498
24.92/25.08 c INPROCESSING
24.92/25.08 c GARBAGE COLLECT
24.92/25.08 c GLOBAL bounds - >= 191636 @ 21.1701
31.69/31.82 c #Conflicts: 3000 | #Constraints: 417926
31.69/31.82 c GLOBAL bounds - >= 191636 @ 27.8263
56.33/56.55 c #Conflicts: 4000 | #Constraints: 422653
56.33/56.55 c INPROCESSING
56.33/56.55 c GARBAGE COLLECT
56.33/56.55 c #Conflicts: 5000 | #Constraints: 422062
56.33/56.55 c GLOBAL bounds - >= 191636 @ 52.3441
67.92/68.18 c #Conflicts: 6000 | #Constraints: 426789
67.92/68.18 c GLOBAL bounds - >= 263241 @ 63.8896
68.01/68.21 c GLOBAL bounds - >= 263241 @ 63.9237
68.01/68.28 c GLOBAL bounds - >= 263241 @ 63.9725
68.01/68.28 c GLOBAL bounds - >= 263241 @ 63.9748
68.11/68.33 c GLOBAL bounds - >= 263241 @ 63.9991
68.11/68.34 c GLOBAL bounds - >= 263241 @ 64.0064
68.11/68.39 c GLOBAL bounds - >= 263241 @ 64.0314
68.21/68.40 c GLOBAL bounds - >= 263241 @ 64.0382
68.21/68.45 c GLOBAL bounds - >= 263241 @ 64.0633
68.21/68.46 c GLOBAL bounds - >= 263241 @ 64.0712
68.31/68.50 c GLOBAL bounds - >= 263241 @ 64.0923
68.31/68.51 c GLOBAL bounds - >= 263241 @ 64.1002
68.31/68.56 c GLOBAL bounds - >= 263241 @ 64.1249
68.31/68.57 c GLOBAL bounds - >= 263241 @ 64.1304
68.41/68.61 c GLOBAL bounds - >= 263241 @ 64.1519
68.41/68.62 c GLOBAL bounds - >= 263241 @ 64.1617
68.41/68.67 c GLOBAL bounds - >= 263241 @ 64.1867
68.41/68.68 c GLOBAL bounds - >= 263241 @ 64.1974
68.51/68.72 c GLOBAL bounds - >= 263241 @ 64.2185
68.51/68.74 c GLOBAL bounds - >= 263241 @ 64.2277
68.51/68.78 c GLOBAL bounds - >= 263241 @ 64.2462
68.61/68.83 c GLOBAL bounds - >= 263241 @ 64.2743
68.61/68.88 c GLOBAL bounds - >= 263241 @ 64.3075
68.71/68.93 c GLOBAL bounds - >= 263241 @ 64.3384
68.71/68.99 c GLOBAL bounds - >= 263241 @ 64.3733
68.81/69.04 c GLOBAL bounds - >= 263241 @ 64.4072
68.81/69.09 c GLOBAL bounds - >= 263241 @ 64.4402
69.01/69.21 c GLOBAL bounds - >= 263241 @ 64.5294
69.01/69.26 c GLOBAL bounds - >= 263241 @ 64.5559
69.21/69.47 c GLOBAL bounds - >= 263241 @ 64.7463
69.30/69.56 c GLOBAL bounds - >= 263241 @ 64.8202
69.41/69.69 c GLOBAL bounds - >= 263241 @ 64.9276
72.10/72.36 c INPROCESSING
72.10/72.36 c GARBAGE COLLECT
72.10/72.36 c GLOBAL bounds - >= 263241 @ 67.5474
72.20/72.46 c GLOBAL bounds - >= 263241 @ 67.6312
72.30/72.52 c GLOBAL bounds - >= 263241 @ 67.6636
72.30/72.59 c GLOBAL bounds - >= 263241 @ 67.718
72.91/73.17 c GLOBAL bounds - >= 263241 @ 68.2667
74.09/74.33 c GLOBAL bounds - >= 263241 @ 69.402
74.69/74.91 c GLOBAL bounds - >= 263241 @ 69.9527
83.37/83.66 c #Conflicts: 7000 | #Constraints: 463367
83.37/83.66 c GLOBAL bounds - >= 263241 @ 78.6377
83.47/83.75 c GLOBAL bounds - >= 263241 @ 78.7065
84.07/84.32 c GLOBAL bounds - >= 263241 @ 79.2521
99.63/99.95 c #Conflicts: 8000 | #Constraints: 474769
99.63/99.95 c #Conflicts: 9000 | #Constraints: 475769
99.63/99.95 c GLOBAL bounds - >= 266144 @ 94.7448
99.63/99.97 c GLOBAL bounds - >= 266144 @ 94.7698
99.63/99.98 c GLOBAL bounds - >= 266144 @ 94.7772
99.63/99.99 c GLOBAL bounds - >= 266144 @ 94.7834
100.02/100.37 c GLOBAL bounds - >= 266144 @ 95.1323
100.02/100.38 c GLOBAL bounds - >= 266144 @ 95.1388
100.13/100.43 c GLOBAL bounds - >= 266144 @ 95.1632
100.13/100.44 c GLOBAL bounds - >= 266144 @ 95.1738
100.13/100.49 c GLOBAL bounds - >= 266144 @ 95.2012
100.23/100.50 c GLOBAL bounds - >= 266144 @ 95.2123
100.23/100.54 c GLOBAL bounds - >= 266144 @ 95.237
100.23/100.56 c GLOBAL bounds - >= 266144 @ 95.2456
100.33/100.60 c GLOBAL bounds - >= 266144 @ 95.268
100.33/100.61 c GLOBAL bounds - >= 266144 @ 95.2752
100.33/100.66 c GLOBAL bounds - >= 266144 @ 95.2998
100.33/100.67 c GLOBAL bounds - >= 266144 @ 95.3077
100.43/100.71 c GLOBAL bounds - >= 266144 @ 95.3289
100.43/100.73 c GLOBAL bounds - >= 266144 @ 95.3374
100.43/100.77 c GLOBAL bounds - >= 266144 @ 95.3677
100.43/100.78 c GLOBAL bounds - >= 266144 @ 95.3765
100.52/100.83 c GLOBAL bounds - >= 266144 @ 95.3971
100.52/100.84 c GLOBAL bounds - >= 266144 @ 95.4073
100.52/100.89 c GLOBAL bounds - >= 266144 @ 95.4316
100.62/100.93 c GLOBAL bounds - >= 266144 @ 95.456
100.62/100.98 c GLOBAL bounds - >= 266144 @ 95.478
100.74/101.03 c GLOBAL bounds - >= 266144 @ 95.5024
100.74/101.07 c GLOBAL bounds - >= 266144 @ 95.5325
100.83/101.14 c GLOBAL bounds - >= 266144 @ 95.5753
102.73/103.06 c INPROCESSING
102.73/103.06 c GARBAGE COLLECT
102.73/103.06 c GLOBAL bounds - >= 266144 @ 97.4562
103.13/103.45 c GLOBAL bounds - >= 266144 @ 97.8223
104.11/104.40 c GLOBAL bounds - >= 266144 @ 98.7419
104.42/104.79 c GLOBAL bounds - >= 266144 @ 99.1106
104.51/104.89 c GLOBAL bounds - >= 266144 @ 99.1897
104.92/105.26 c GLOBAL bounds - >= 266144 @ 99.5388
105.31/105.64 c GLOBAL bounds - >= 266144 @ 99.9018
105.31/105.69 c GLOBAL bounds - >= 266144 @ 99.9331
105.51/105.80 c GLOBAL bounds - >= 266144 @ 100.02
105.71/106.09 c GLOBAL bounds - >= 266144 @ 100.289
107.31/107.65 c GLOBAL bounds - >= 266144 @ 101.823
109.60/109.91 c GLOBAL bounds - >= 266144 @ 104.057
113.59/113.91 c #Conflicts: 10000 | #Constraints: 511187
113.59/113.91 c GLOBAL bounds - >= 266144 @ 108.015
113.59/113.97 c GLOBAL bounds - >= 266144 @ 108.056
113.79/114.14 c GLOBAL bounds - >= 266144 @ 108.209
115.29/115.61 c GLOBAL bounds - >= 266144 @ 109.643
119.88/120.26 c GLOBAL bounds - >= 266144 @ 114.256
120.08/120.47 c GLOBAL bounds - >= 266144 @ 114.446
305.57/306.45 c #Conflicts: 11000 | #Constraints: 529867
305.57/306.45 c #Conflicts: 12000 | #Constraints: 530867
305.57/306.45 c INPROCESSING
305.57/306.45 c GARBAGE COLLECT
305.57/306.45 c #Conflicts: 13000 | #Constraints: 529308
305.57/306.45 c #Conflicts: 14000 | #Constraints: 530308
305.57/306.45 c #Conflicts: 15000 | #Constraints: 531308
305.57/306.45 c INPROCESSING
305.57/306.45 c GARBAGE COLLECT
305.57/306.45 c #Conflicts: 16000 | #Constraints: 529536
305.57/306.45 c #Conflicts: 17000 | #Constraints: 530536
305.57/306.45 c #Conflicts: 18000 | #Constraints: 531536
305.57/306.45 c INPROCESSING
305.57/306.45 c GARBAGE COLLECT
305.57/306.45 c #Conflicts: 19000 | #Constraints: 529566
305.57/306.45 c #Conflicts: 20000 | #Constraints: 530566
305.57/306.45 c #Conflicts: 21000 | #Constraints: 531566
305.57/306.45 c #Conflicts: 22000 | #Constraints: 532566
305.57/306.45 c #Conflicts: 23000 | #Constraints: 533566
305.57/306.45 c GLOBAL bounds - >= 266144 @ 299.293
306.67/307.59 c GLOBAL bounds - >= 266144 @ 300.393
306.86/307.75 c GLOBAL bounds - >= 266144 @ 300.529
306.96/307.86 c GLOBAL bounds - >= 266144 @ 300.618
307.66/308.53 c #Conflicts: 24000 | #Constraints: 548582
307.66/308.53 c GLOBAL bounds - >= 266144 @ 301.263
312.45/313.35 c GLOBAL bounds - >= 272793 @ 306.039
312.45/313.37 c GLOBAL bounds - >= 272793 @ 306.06
313.04/313.91 c GLOBAL bounds - >= 272793 @ 306.566
313.04/313.91 c GLOBAL bounds - >= 272793 @ 306.568
313.04/313.96 c GLOBAL bounds - >= 272793 @ 306.601
313.04/313.96 c GLOBAL bounds - >= 272793 @ 306.606
313.15/314.01 c GLOBAL bounds - >= 272793 @ 306.634
313.15/314.03 c GLOBAL bounds - >= 272793 @ 306.645
313.15/314.08 c GLOBAL bounds - >= 272793 @ 306.676
313.15/314.09 c GLOBAL bounds - >= 272793 @ 306.684
313.25/314.14 c GLOBAL bounds - >= 272793 @ 306.711
313.25/314.15 c GLOBAL bounds - >= 272793 @ 306.717
313.35/314.20 c GLOBAL bounds - >= 272793 @ 306.747
313.35/314.21 c GLOBAL bounds - >= 272793 @ 306.757
313.35/314.26 c GLOBAL bounds - >= 272793 @ 306.789
313.35/314.28 c GLOBAL bounds - >= 272793 @ 306.795
313.45/314.33 c GLOBAL bounds - >= 272793 @ 306.824
313.45/314.34 c GLOBAL bounds - >= 272793 @ 306.835
313.45/314.39 c GLOBAL bounds - >= 272793 @ 306.866
313.55/314.40 c GLOBAL bounds - >= 272793 @ 306.874
313.55/314.45 c GLOBAL bounds - >= 272793 @ 306.9
313.64/314.50 c GLOBAL bounds - >= 272793 @ 306.925
313.64/314.55 c GLOBAL bounds - >= 272793 @ 306.959
313.74/314.60 c GLOBAL bounds - >= 272793 @ 306.988
313.94/314.82 c GLOBAL bounds - >= 272793 @ 307.189
313.94/314.87 c GLOBAL bounds - >= 272793 @ 307.222
314.44/315.36 c GLOBAL bounds - >= 272793 @ 307.681
314.54/315.49 c GLOBAL bounds - >= 272793 @ 307.787
314.64/315.54 c GLOBAL bounds - >= 272793 @ 307.82
314.94/315.82 c GLOBAL bounds - >= 272793 @ 308.083
314.94/315.88 c GLOBAL bounds - >= 272793 @ 308.123
315.15/316.03 c GLOBAL bounds - >= 272793 @ 308.248
315.24/316.17 c GLOBAL bounds - >= 272793 @ 308.367
315.34/316.25 c GLOBAL bounds - >= 272793 @ 308.432
316.74/317.68 c GLOBAL bounds - >= 272793 @ 309.796
317.43/318.37 c GLOBAL bounds - >= 272793 @ 310.455
317.74/318.68 c GLOBAL bounds - >= 272793 @ 310.745
317.93/318.88 c GLOBAL bounds - >= 272793 @ 310.915
328.31/329.25 c #Conflicts: 25000 | #Constraints: 582727
328.31/329.25 c GLOBAL bounds - >= 272793 @ 321.125
329.80/330.75 c GLOBAL bounds - >= 295330 @ 322.621
329.90/330.81 c GLOBAL bounds - >= 295330 @ 322.673
329.90/330.82 c GLOBAL bounds - >= 295330 @ 322.678
329.90/330.83 c GLOBAL bounds - >= 295330 @ 322.685
329.90/330.84 c GLOBAL bounds - >= 295330 @ 322.696
329.90/330.85 c GLOBAL bounds - >= 295330 @ 322.703
329.90/330.86 c GLOBAL bounds - >= 295330 @ 322.711
330.70/331.62 c GLOBAL bounds - >= 295330 @ 323.441
330.70/331.63 c GLOBAL bounds - >= 295330 @ 323.451
330.80/331.72 c GLOBAL bounds - >= 295330 @ 323.508
330.80/331.73 c GLOBAL bounds - >= 295330 @ 323.518
330.80/331.78 c GLOBAL bounds - >= 295330 @ 323.555
330.80/331.80 c GLOBAL bounds - >= 295330 @ 323.561
330.90/331.85 c GLOBAL bounds - >= 295330 @ 323.597
330.90/331.86 c GLOBAL bounds - >= 295330 @ 323.606
331.00/331.91 c GLOBAL bounds - >= 295330 @ 323.637
331.00/331.93 c GLOBAL bounds - >= 295330 @ 323.646
331.00/331.98 c GLOBAL bounds - >= 295330 @ 323.679
331.00/331.99 c GLOBAL bounds - >= 295330 @ 323.69
331.11/332.04 c GLOBAL bounds - >= 295330 @ 323.722
331.11/332.06 c GLOBAL bounds - >= 295330 @ 323.73
331.20/332.11 c GLOBAL bounds - >= 295330 @ 323.76
331.20/332.12 c GLOBAL bounds - >= 295330 @ 323.769
331.20/332.17 c GLOBAL bounds - >= 295330 @ 323.796
331.20/332.18 c GLOBAL bounds - >= 295330 @ 323.807
331.30/332.23 c GLOBAL bounds - >= 295330 @ 323.832
331.30/332.28 c GLOBAL bounds - >= 295330 @ 323.858
331.40/332.33 c GLOBAL bounds - >= 295330 @ 323.889
331.40/332.38 c GLOBAL bounds - >= 295330 @ 323.912
331.50/332.43 c GLOBAL bounds - >= 295330 @ 323.941
331.50/332.48 c GLOBAL bounds - >= 295330 @ 323.974
331.60/332.57 c GLOBAL bounds - >= 295330 @ 324.032
331.70/332.62 c GLOBAL bounds - >= 295330 @ 324.073
331.80/332.70 c GLOBAL bounds - >= 295330 @ 324.125
331.80/332.76 c GLOBAL bounds - >= 295330 @ 324.166
331.90/332.81 c GLOBAL bounds - >= 295330 @ 324.195
331.90/332.87 c GLOBAL bounds - >= 295330 @ 324.233
332.00/332.97 c GLOBAL bounds - >= 295330 @ 324.304
332.10/333.09 c GLOBAL bounds - >= 295330 @ 324.407
332.29/333.25 c GLOBAL bounds - >= 295330 @ 324.544
332.89/333.86 c GLOBAL bounds - >= 295330 @ 325.128
333.10/334.02 c GLOBAL bounds - >= 295330 @ 325.263
333.20/334.16 c GLOBAL bounds - >= 295330 @ 325.382
333.89/334.86 c GLOBAL bounds - >= 295330 @ 326.063
334.39/335.30 c #Conflicts: 26000 | #Constraints: 619617
334.39/335.30 c GLOBAL bounds - >= 295330 @ 326.468
337.38/338.32 c GLOBAL bounds - >= 295330 @ 329.429
340.88/341.89 c GLOBAL bounds - >= 295330 @ 332.929
533.74/535.26 c #Conflicts: 27000 | #Constraints: 628146
533.74/535.26 c #Conflicts: 28000 | #Constraints: 629146
533.74/535.26 c INPROCESSING
533.74/535.26 c GARBAGE COLLECT
533.74/535.26 c #Conflicts: 29000 | #Constraints: 623285
533.74/535.26 c #Conflicts: 30000 | #Constraints: 624285
533.74/535.26 c #Conflicts: 31000 | #Constraints: 625285
533.74/535.26 c #Conflicts: 32000 | #Constraints: 626285
533.74/535.26 c #Conflicts: 33000 | #Constraints: 627285
533.74/535.26 c INPROCESSING
533.74/535.26 c GARBAGE COLLECT
533.74/535.26 c #Conflicts: 34000 | #Constraints: 622646
533.74/535.26 c #Conflicts: 35000 | #Constraints: 623646
533.74/535.26 c #Conflicts: 36000 | #Constraints: 624646
533.74/535.26 c #Conflicts: 37000 | #Constraints: 625646
533.74/535.26 c #Conflicts: 38000 | #Constraints: 626646
533.74/535.26 c INPROCESSING
533.74/535.26 c GARBAGE COLLECT
533.74/535.26 c #Conflicts: 39000 | #Constraints: 622472
533.74/535.26 c #Conflicts: 40000 | #Constraints: 623472
533.74/535.26 c GLOBAL bounds - >= 331137 @ 525.221
533.85/535.34 c GLOBAL bounds - >= 331137 @ 525.288
533.85/535.35 c GLOBAL bounds - >= 331137 @ 525.298
533.85/535.36 c GLOBAL bounds - >= 331137 @ 525.307
533.85/535.37 c GLOBAL bounds - >= 331137 @ 525.314
533.85/535.39 c GLOBAL bounds - >= 331137 @ 525.32
533.85/535.40 c GLOBAL bounds - >= 331137 @ 525.327
533.94/535.41 c GLOBAL bounds - >= 331137 @ 525.333
533.94/535.42 c GLOBAL bounds - >= 331137 @ 525.344
539.23/540.72 c GLOBAL bounds - >= 331137 @ 530.605
539.23/540.74 c GLOBAL bounds - >= 331137 @ 530.612
539.23/540.78 c GLOBAL bounds - >= 331137 @ 530.639
539.33/540.80 c GLOBAL bounds - >= 331137 @ 530.648
539.33/540.84 c GLOBAL bounds - >= 331137 @ 530.673
539.33/540.86 c GLOBAL bounds - >= 331137 @ 530.685
539.43/540.90 c GLOBAL bounds - >= 331137 @ 530.713
539.43/540.92 c GLOBAL bounds - >= 331137 @ 530.724
539.43/540.97 c GLOBAL bounds - >= 331137 @ 530.753
539.43/540.98 c GLOBAL bounds - >= 331137 @ 530.764
539.53/541.02 c GLOBAL bounds - >= 331137 @ 530.784
539.53/541.04 c GLOBAL bounds - >= 331137 @ 530.797
539.53/541.08 c GLOBAL bounds - >= 331137 @ 530.82
539.53/541.10 c GLOBAL bounds - >= 331137 @ 530.828
539.63/541.14 c GLOBAL bounds - >= 331137 @ 530.854
539.63/541.16 c GLOBAL bounds - >= 331137 @ 530.862
539.73/541.20 c GLOBAL bounds - >= 331137 @ 530.885
539.73/541.21 c GLOBAL bounds - >= 331137 @ 530.893
539.73/541.26 c GLOBAL bounds - >= 331137 @ 530.916
539.83/541.31 c GLOBAL bounds - >= 331137 @ 530.943
539.83/541.35 c GLOBAL bounds - >= 331137 @ 530.962
539.83/541.39 c GLOBAL bounds - >= 331137 @ 530.984
539.92/541.45 c GLOBAL bounds - >= 331137 @ 531.014
540.03/541.52 c GLOBAL bounds - >= 331137 @ 531.062
540.03/541.58 c GLOBAL bounds - >= 331137 @ 531.105
540.53/542.05 c GLOBAL bounds - >= 331137 @ 531.551
540.63/542.13 c GLOBAL bounds - >= 331137 @ 531.612
540.82/542.34 c GLOBAL bounds - >= 331137 @ 531.8
540.92/542.49 c GLOBAL bounds - >= 331137 @ 531.927
544.31/545.83 c GLOBAL bounds - >= 331137 @ 535.235
738.76/740.81 c #Conflicts: 41000 | #Constraints: 646512
738.76/740.81 c #Conflicts: 42000 | #Constraints: 647512
738.76/740.81 c #Conflicts: 43000 | #Constraints: 648512
738.76/740.81 c #Conflicts: 44000 | #Constraints: 649512
738.76/740.81 c #Conflicts: 45000 | #Constraints: 650512
738.76/740.81 c #Conflicts: 46000 | #Constraints: 651512
738.76/740.81 c #Conflicts: 47000 | #Constraints: 652512
738.76/740.81 c #Conflicts: 48000 | #Constraints: 653512
738.76/740.81 c #Conflicts: 49000 | #Constraints: 654512
738.76/740.81 c #Conflicts: 50000 | #Constraints: 655512
738.76/740.81 c GLOBAL bounds - >= 333996 @ 729.025
738.76/740.85 c GLOBAL bounds - >= 333996 @ 729.065
738.76/740.87 c GLOBAL bounds - >= 333996 @ 729.075
738.76/740.88 c GLOBAL bounds - >= 333996 @ 729.087
738.76/740.89 c GLOBAL bounds - >= 333996 @ 729.097
738.86/740.90 c GLOBAL bounds - >= 333996 @ 729.103
738.86/740.91 c GLOBAL bounds - >= 333996 @ 729.111
738.86/740.92 c GLOBAL bounds - >= 333996 @ 729.118
738.86/740.93 c GLOBAL bounds - >= 333996 @ 729.124
738.86/740.94 c GLOBAL bounds - >= 333996 @ 729.131
738.86/740.95 c GLOBAL bounds - >= 333996 @ 729.139
738.86/740.96 c GLOBAL bounds - >= 333996 @ 729.146
738.86/740.97 c GLOBAL bounds - >= 333996 @ 729.15
740.25/742.32 c GLOBAL bounds - >= 333996 @ 730.459
740.25/742.33 c GLOBAL bounds - >= 333996 @ 730.467
740.25/742.38 c GLOBAL bounds - >= 333996 @ 730.503
740.35/742.40 c GLOBAL bounds - >= 333996 @ 730.513
740.35/742.45 c GLOBAL bounds - >= 333996 @ 730.542
740.35/742.46 c GLOBAL bounds - >= 333996 @ 730.553
740.45/742.52 c GLOBAL bounds - >= 333996 @ 730.592
740.45/742.53 c GLOBAL bounds - >= 333996 @ 730.6
740.45/742.59 c GLOBAL bounds - >= 333996 @ 730.635
740.55/742.60 c GLOBAL bounds - >= 333996 @ 730.645
740.55/742.66 c GLOBAL bounds - >= 333996 @ 730.675
740.55/742.67 c GLOBAL bounds - >= 333996 @ 730.684
740.65/742.72 c GLOBAL bounds - >= 333996 @ 730.721
740.65/742.74 c GLOBAL bounds - >= 333996 @ 730.73
740.65/742.79 c GLOBAL bounds - >= 333996 @ 730.771
740.74/742.80 c GLOBAL bounds - >= 333996 @ 730.783
740.74/742.86 c GLOBAL bounds - >= 333996 @ 730.813
740.74/742.87 c GLOBAL bounds - >= 333996 @ 730.82
740.85/742.92 c GLOBAL bounds - >= 333996 @ 730.852
740.85/742.98 c GLOBAL bounds - >= 333996 @ 730.889
740.96/743.03 c GLOBAL bounds - >= 333996 @ 730.929
740.96/743.09 c GLOBAL bounds - >= 333996 @ 730.965
741.05/743.15 c GLOBAL bounds - >= 333996 @ 731.002
741.15/743.24 c GLOBAL bounds - >= 333996 @ 731.061
741.25/743.31 c GLOBAL bounds - >= 333996 @ 731.111
741.25/743.36 c GLOBAL bounds - >= 333996 @ 731.142
741.44/743.59 c GLOBAL bounds - >= 333996 @ 731.352
741.64/743.70 c GLOBAL bounds - >= 333996 @ 731.437
741.64/743.75 c GLOBAL bounds - >= 333996 @ 731.472
741.85/743.93 c GLOBAL bounds - >= 333996 @ 731.62
741.95/744.03 c GLOBAL bounds - >= 333996 @ 731.695
742.14/744.24 c GLOBAL bounds - >= 333996 @ 731.877
742.14/744.29 c GLOBAL bounds - >= 333996 @ 731.918
742.25/744.35 c GLOBAL bounds - >= 333996 @ 731.951
742.35/744.45 c GLOBAL bounds - >= 333996 @ 732.034
743.74/745.85 c GLOBAL bounds - >= 333996 @ 733.367
744.05/746.15 c GLOBAL bounds - >= 333996 @ 733.645
744.84/746.97 c GLOBAL bounds - >= 333996 @ 734.423
752.61/754.79 c #Conflicts: 51000 | #Constraints: 680607
752.61/754.79 c GLOBAL bounds - >= 333996 @ 742.112
785.52/787.75 c #Conflicts: 52000 | #Constraints: 683640
785.52/787.75 c INPROCESSING
785.52/787.75 c GARBAGE COLLECT
785.52/787.75 c #Conflicts: 53000 | #Constraints: 674598
785.52/787.75 c GLOBAL bounds - >= 333996 @ 774.792
1010.88/1013.73 c #Conflicts: 54000 | #Constraints: 678037
1010.88/1013.73 c #Conflicts: 55000 | #Constraints: 679037
1010.88/1013.73 c #Conflicts: 56000 | #Constraints: 680037
1010.88/1013.73 c #Conflicts: 57000 | #Constraints: 681037
1010.88/1013.73 c #Conflicts: 58000 | #Constraints: 682037
1010.88/1013.73 c INPROCESSING
1010.88/1013.73 c GARBAGE COLLECT
1010.88/1013.73 c #Conflicts: 59000 | #Constraints: 675054
1010.88/1013.73 c #Conflicts: 60000 | #Constraints: 676054
1010.88/1013.73 c #Conflicts: 61000 | #Constraints: 677054
1010.88/1013.73 c #Conflicts: 62000 | #Constraints: 678054
1010.88/1013.73 c #Conflicts: 63000 | #Constraints: 679054
1010.88/1013.73 c #Conflicts: 64000 | #Constraints: 680054
1010.88/1013.73 c #Conflicts: 65000 | #Constraints: 681054
1010.88/1013.73 c GLOBAL bounds - >= 337419 @ 999.833
1010.88/1013.77 c GLOBAL bounds - >= 337419 @ 999.867
1010.88/1013.78 c GLOBAL bounds - >= 337419 @ 999.877
1010.88/1013.79 c GLOBAL bounds - >= 337419 @ 999.886
1010.98/1013.81 c GLOBAL bounds - >= 337419 @ 999.897
1010.98/1013.82 c GLOBAL bounds - >= 337419 @ 999.906
1011.47/1014.32 c GLOBAL bounds - >= 337419 @ 1000.39
1011.47/1014.34 c GLOBAL bounds - >= 337419 @ 1000.4
1011.57/1014.40 c GLOBAL bounds - >= 337419 @ 1000.44
1011.57/1014.41 c GLOBAL bounds - >= 337419 @ 1000.45
1011.57/1014.46 c GLOBAL bounds - >= 337419 @ 1000.48
1011.57/1014.48 c GLOBAL bounds - >= 337419 @ 1000.49
1011.68/1014.53 c GLOBAL bounds - >= 337419 @ 1000.52
1011.68/1014.54 c GLOBAL bounds - >= 337419 @ 1000.53
1011.78/1014.60 c GLOBAL bounds - >= 337419 @ 1000.57
1011.78/1014.61 c GLOBAL bounds - >= 337419 @ 1000.58
1011.78/1014.66 c GLOBAL bounds - >= 337419 @ 1000.61
1011.78/1014.67 c GLOBAL bounds - >= 337419 @ 1000.62
1011.88/1014.72 c GLOBAL bounds - >= 337419 @ 1000.65
1011.88/1014.74 c GLOBAL bounds - >= 337419 @ 1000.66
1011.88/1014.79 c GLOBAL bounds - >= 337419 @ 1000.69
1011.97/1014.80 c GLOBAL bounds - >= 337419 @ 1000.7
1011.97/1014.85 c GLOBAL bounds - >= 337419 @ 1000.73
1011.97/1014.86 c GLOBAL bounds - >= 337419 @ 1000.74
1012.07/1014.91 c GLOBAL bounds - >= 337419 @ 1000.76
1012.07/1014.97 c GLOBAL bounds - >= 337419 @ 1000.8
1012.18/1015.02 c GLOBAL bounds - >= 337419 @ 1000.84
1012.18/1015.09 c GLOBAL bounds - >= 337419 @ 1000.88
1012.28/1015.17 c GLOBAL bounds - >= 337419 @ 1000.94
1012.47/1015.36 c GLOBAL bounds - >= 337419 @ 1001.11
1012.57/1015.45 c GLOBAL bounds - >= 337419 @ 1001.18
1012.67/1015.55 c GLOBAL bounds - >= 337419 @ 1001.27
1012.87/1015.75 c GLOBAL bounds - >= 337419 @ 1001.44
1012.97/1015.81 c GLOBAL bounds - >= 337419 @ 1001.48
1013.17/1016.07 c GLOBAL bounds - >= 337419 @ 1001.72
1014.17/1017.09 c GLOBAL bounds - >= 337419 @ 1002.72
1014.37/1017.20 c GLOBAL bounds - >= 337419 @ 1002.8
1018.56/1021.40 c #Conflicts: 66000 | #Constraints: 706605
1018.56/1021.40 c GLOBAL bounds - >= 337419 @ 1006.97
1018.56/1021.47 c GLOBAL bounds - >= 337419 @ 1007.02
1040.10/1043.03 c #Conflicts: 67000 | #Constraints: 711047
1040.10/1043.03 c GLOBAL bounds - >= 337419 @ 1028.45
1254.39/1257.94 c #Conflicts: 68000 | #Constraints: 713818
1254.39/1257.94 c #Conflicts: 69000 | #Constraints: 714818
1254.39/1257.94 c #Conflicts: 70000 | #Constraints: 715818
1254.39/1257.94 c #Conflicts: 71000 | #Constraints: 716818
1254.39/1257.94 c #Conflicts: 72000 | #Constraints: 717818
1254.39/1257.94 c #Conflicts: 73000 | #Constraints: 718818
1254.39/1257.94 c #Conflicts: 74000 | #Constraints: 719818
1254.39/1257.94 c #Conflicts: 75000 | #Constraints: 720818
1254.39/1257.94 c #Conflicts: 76000 | #Constraints: 721818
1254.39/1257.94 c INPROCESSING
1254.39/1257.94 c GARBAGE COLLECT
1254.39/1257.94 c #Conflicts: 77000 | #Constraints: 709846
1254.39/1257.94 c #Conflicts: 78000 | #Constraints: 710846
1254.39/1257.94 c #Conflicts: 79000 | #Constraints: 711846
1254.39/1257.94 c GLOBAL bounds - >= 337419 @ 1242.03
1254.49/1258.02 c GLOBAL bounds - >= 337419 @ 1242.09
1254.59/1258.18 c GLOBAL bounds - >= 337419 @ 1242.23
1363.28/1367.14 c #Conflicts: 80000 | #Constraints: 718167
1363.28/1367.14 c #Conflicts: 81000 | #Constraints: 719167
1363.28/1367.14 c #Conflicts: 82000 | #Constraints: 720167
1363.28/1367.14 c #Conflicts: 83000 | #Constraints: 721167
1363.28/1367.14 c #Conflicts: 84000 | #Constraints: 722167
1363.28/1367.14 c INPROCESSING
1363.28/1367.14 c GARBAGE COLLECT
1363.28/1367.14 c GLOBAL bounds - >= 337419 @ 1350.74
1363.48/1367.39 c GLOBAL bounds - >= 337419 @ 1350.97
1488.82/1493.06 c #Conflicts: 85000 | #Constraints: 717056
1488.82/1493.06 c #Conflicts: 86000 | #Constraints: 718056
1488.82/1493.06 c #Conflicts: 87000 | #Constraints: 719056
1488.82/1493.06 c #Conflicts: 88000 | #Constraints: 720056
1488.82/1493.06 c #Conflicts: 89000 | #Constraints: 721056
1488.82/1493.06 c #Conflicts: 90000 | #Constraints: 722056
1488.82/1493.06 c #Conflicts: 91000 | #Constraints: 723056
1488.82/1493.06 c GLOBAL bounds - >= 350266 @ 1476.1
1488.92/1493.10 c GLOBAL bounds - >= 350266 @ 1476.14
1488.92/1493.12 c GLOBAL bounds - >= 350266 @ 1476.15
1488.92/1493.13 c GLOBAL bounds - >= 350266 @ 1476.16
1488.92/1493.14 c GLOBAL bounds - >= 350266 @ 1476.17
1488.92/1493.15 c GLOBAL bounds - >= 350266 @ 1476.18
1488.92/1493.17 c GLOBAL bounds - >= 350266 @ 1476.19
1488.92/1493.18 c GLOBAL bounds - >= 350266 @ 1476.2
1488.92/1493.19 c GLOBAL bounds - >= 350266 @ 1476.21
1489.92/1494.17 c GLOBAL bounds - >= 350266 @ 1477.15
1489.92/1494.18 c GLOBAL bounds - >= 350266 @ 1477.16
1490.01/1494.23 c GLOBAL bounds - >= 350266 @ 1477.2
1490.01/1494.24 c GLOBAL bounds - >= 350266 @ 1477.21
1490.11/1494.30 c GLOBAL bounds - >= 350266 @ 1477.24
1490.11/1494.31 c GLOBAL bounds - >= 350266 @ 1477.25
1490.11/1494.36 c GLOBAL bounds - >= 350266 @ 1477.27
1490.11/1494.37 c GLOBAL bounds - >= 350266 @ 1477.29
1490.21/1494.42 c GLOBAL bounds - >= 350266 @ 1477.32
1490.21/1494.44 c GLOBAL bounds - >= 350266 @ 1477.33
1490.21/1494.49 c GLOBAL bounds - >= 350266 @ 1477.36
1490.31/1494.50 c GLOBAL bounds - >= 350266 @ 1477.36
1490.31/1494.56 c GLOBAL bounds - >= 350266 @ 1477.4
1490.31/1494.57 c GLOBAL bounds - >= 350266 @ 1477.41
1490.41/1494.62 c GLOBAL bounds - >= 350266 @ 1477.44
1490.41/1494.63 c GLOBAL bounds - >= 350266 @ 1477.45
1490.51/1494.70 c GLOBAL bounds - >= 350266 @ 1477.49
1490.51/1494.71 c GLOBAL bounds - >= 350266 @ 1477.5
1490.51/1494.76 c GLOBAL bounds - >= 350266 @ 1477.53
1490.61/1494.81 c GLOBAL bounds - >= 350266 @ 1477.56
1490.61/1494.87 c GLOBAL bounds - >= 350266 @ 1477.6
1490.71/1494.92 c GLOBAL bounds - >= 350266 @ 1477.63
1490.71/1494.97 c GLOBAL bounds - >= 350266 @ 1477.67
1490.81/1495.05 c GLOBAL bounds - >= 350266 @ 1477.72
1490.91/1495.16 c GLOBAL bounds - >= 350266 @ 1477.81
1491.01/1495.23 c GLOBAL bounds - >= 350266 @ 1477.87
1491.10/1495.32 c GLOBAL bounds - >= 350266 @ 1477.94
1491.10/1495.38 c GLOBAL bounds - >= 350266 @ 1477.98
1491.21/1495.49 c GLOBAL bounds - >= 350266 @ 1478.08
1491.31/1495.55 c GLOBAL bounds - >= 350266 @ 1478.12
1491.41/1495.65 c GLOBAL bounds - >= 350266 @ 1478.2
1491.50/1495.73 c GLOBAL bounds - >= 350266 @ 1478.27
1491.61/1495.84 c GLOBAL bounds - >= 350266 @ 1478.35
1491.71/1495.93 c GLOBAL bounds - >= 350266 @ 1478.43
1492.21/1496.42 c GLOBAL bounds - >= 350266 @ 1478.89
1493.10/1497.35 c GLOBAL bounds - >= 350266 @ 1479.79
1504.18/1508.43 c #Conflicts: 92000 | #Constraints: 740417
1504.18/1508.43 c GLOBAL bounds - >= 350266 @ 1490.8
1504.27/1508.53 c GLOBAL bounds - >= 350266 @ 1490.88
1504.88/1509.16 c #Conflicts: 93000 | #Constraints: 742597
1504.88/1509.16 c GLOBAL bounds - >= 350266 @ 1491.49
1504.97/1509.23 c GLOBAL bounds - >= 350266 @ 1491.53
1505.07/1509.35 c GLOBAL bounds - >= 350266 @ 1491.63
1507.57/1511.85 c GLOBAL bounds - >= 350266 @ 1494.1
1511.25/1515.55 c GLOBAL bounds - >= 350266 @ 1497.76
1511.35/1515.63 c GLOBAL bounds - >= 350266 @ 1497.82
1512.25/1516.58 c GLOBAL bounds - >= 350266 @ 1498.75
1558.41/1562.81 c #Conflicts: 94000 | #Constraints: 753670
1558.41/1562.81 c #Conflicts: 95000 | #Constraints: 754670
1558.41/1562.81 c #Conflicts: 96000 | #Constraints: 755670
1558.41/1562.81 c GLOBAL bounds - >= 350266 @ 1544.77
1558.52/1562.94 c GLOBAL bounds - >= 350266 @ 1544.87
1870.71/1876.03 c #Conflicts: 97000 | #Constraints: 760216
1870.71/1876.03 c #Conflicts: 98000 | #Constraints: 761216
1870.71/1876.03 c #Conflicts: 99000 | #Constraints: 762216
1870.71/1876.03 c #Conflicts: 100000 | #Constraints: 763216
1870.71/1876.03 c #Conflicts: 101000 | #Constraints: 764216
1870.71/1876.03 c #Conflicts: 102000 | #Constraints: 765216
1870.71/1876.03 c #Conflicts: 103000 | #Constraints: 766216
1870.71/1876.03 c #Conflicts: 104000 | #Constraints: 767216
1870.71/1876.03 c #Conflicts: 105000 | #Constraints: 768216
1870.71/1876.03 c INPROCESSING
1870.71/1876.03 c GARBAGE COLLECT
1870.71/1876.03 c #Conflicts: 106000 | #Constraints: 753609
1870.71/1876.03 c #Conflicts: 107000 | #Constraints: 754609
1870.71/1876.03 c #Conflicts: 108000 | #Constraints: 755609
1870.71/1876.03 c #Conflicts: 109000 | #Constraints: 756609
1870.71/1876.03 c GLOBAL bounds - >= 360951 @ 1856.13
1870.71/1876.10 c GLOBAL bounds - >= 360951 @ 1856.2
1870.81/1876.11 c GLOBAL bounds - >= 360951 @ 1856.2
1870.81/1876.13 c GLOBAL bounds - >= 360951 @ 1856.21
1870.81/1876.14 c GLOBAL bounds - >= 360951 @ 1856.22
1870.81/1876.15 c GLOBAL bounds - >= 360951 @ 1856.23
1881.38/1886.72 c #Conflicts: 110000 | #Constraints: 757613
1881.38/1886.72 c GLOBAL bounds - >= 360951 @ 1866.73
1881.38/1886.74 c GLOBAL bounds - >= 360951 @ 1866.74
1881.38/1886.79 c GLOBAL bounds - >= 360951 @ 1866.78
1881.48/1886.80 c GLOBAL bounds - >= 360951 @ 1866.79
1881.48/1886.86 c GLOBAL bounds - >= 360951 @ 1866.82
1881.48/1886.87 c GLOBAL bounds - >= 360951 @ 1866.83
1881.57/1886.92 c GLOBAL bounds - >= 360951 @ 1866.86
1881.57/1886.93 c GLOBAL bounds - >= 360951 @ 1866.87
1881.57/1886.98 c GLOBAL bounds - >= 360951 @ 1866.9
1881.57/1886.99 c GLOBAL bounds - >= 360951 @ 1866.91
1881.68/1887.05 c GLOBAL bounds - >= 360951 @ 1866.94
1881.68/1887.06 c GLOBAL bounds - >= 360951 @ 1866.95
1881.78/1887.11 c GLOBAL bounds - >= 360951 @ 1866.98
1881.78/1887.12 c GLOBAL bounds - >= 360951 @ 1866.99
1881.78/1887.17 c GLOBAL bounds - >= 360951 @ 1867.02
1881.78/1887.18 c GLOBAL bounds - >= 360951 @ 1867.03
1881.88/1887.23 c GLOBAL bounds - >= 360951 @ 1867.06
1881.88/1887.25 c GLOBAL bounds - >= 360951 @ 1867.07
1881.98/1887.30 c GLOBAL bounds - >= 360951 @ 1867.1
1881.98/1887.35 c GLOBAL bounds - >= 360951 @ 1867.13
1882.07/1887.40 c GLOBAL bounds - >= 360951 @ 1867.16
1882.07/1887.47 c GLOBAL bounds - >= 360951 @ 1867.21
1882.17/1887.59 c GLOBAL bounds - >= 360951 @ 1867.31
1882.28/1887.66 c GLOBAL bounds - >= 360951 @ 1867.36
1882.38/1887.77 c GLOBAL bounds - >= 360951 @ 1867.45
1882.48/1887.83 c GLOBAL bounds - >= 360951 @ 1867.49
1882.57/1887.92 c GLOBAL bounds - >= 360951 @ 1867.56
1882.68/1888.03 c GLOBAL bounds - >= 360951 @ 1867.65
1882.68/1888.09 c GLOBAL bounds - >= 360951 @ 1867.69
1882.78/1888.15 c GLOBAL bounds - >= 360951 @ 1867.73
1882.97/1888.31 c GLOBAL bounds - >= 360951 @ 1867.87
1882.97/1888.37 c GLOBAL bounds - >= 360951 @ 1867.9
1883.07/1888.49 c GLOBAL bounds - >= 360951 @ 1868.01
1883.37/1888.79 c GLOBAL bounds - >= 360951 @ 1868.28
1883.47/1888.85 c GLOBAL bounds - >= 360951 @ 1868.33
1883.68/1889.06 c GLOBAL bounds - >= 360951 @ 1868.51
1883.77/1889.17 c GLOBAL bounds - >= 360951 @ 1868.6
1886.57/1891.90 c GLOBAL bounds - >= 360951 @ 1871.3
1886.57/1891.96 c GLOBAL bounds - >= 360951 @ 1871.35
1886.67/1892.03 c GLOBAL bounds - >= 360951 @ 1871.4
1886.77/1892.10 c GLOBAL bounds - >= 360951 @ 1871.45
1911.10/1916.50 c #Conflicts: 111000 | #Constraints: 784089
1911.10/1916.50 c #Conflicts: 112000 | #Constraints: 785089
1911.10/1916.50 c GLOBAL bounds - >= 360951 @ 1895.71
1911.10/1916.59 c GLOBAL bounds - >= 360951 @ 1895.78
1911.19/1916.68 c GLOBAL bounds - >= 360951 @ 1895.85
1911.29/1916.78 c GLOBAL bounds - >= 360951 @ 1895.93
1917.88/1923.31 c #Conflicts: 113000 | #Constraints: 792029
1917.88/1923.31 c GLOBAL bounds - >= 360951 @ 1902.4
1934.53/1940.07 c INPROCESSING
1934.53/1940.07 c GARBAGE COLLECT
1934.53/1940.07 c GLOBAL bounds - >= 360951 @ 1919.06
1993.76/1999.40 c #Conflicts: 114000 | #Constraints: 784063
1993.76/1999.40 c #Conflicts: 115000 | #Constraints: 785063
1993.76/1999.40 c #Conflicts: 116000 | #Constraints: 786063
1993.76/1999.40 c #Conflicts: 117000 | #Constraints: 787063
1993.76/1999.40 c #Conflicts: 118000 | #Constraints: 788063
1993.76/1999.40 c GLOBAL bounds - >= 360951 @ 1978.08
2568.65/2575.98 c #Conflicts: 119000 | #Constraints: 790728
2568.65/2575.98 c #Conflicts: 120000 | #Constraints: 791728
2568.65/2575.98 c #Conflicts: 121000 | #Constraints: 792728
2568.65/2575.98 c #Conflicts: 122000 | #Constraints: 793728
2568.65/2575.98 c #Conflicts: 123000 | #Constraints: 794728
2568.65/2575.98 c #Conflicts: 124000 | #Constraints: 795728
2568.65/2575.98 c #Conflicts: 125000 | #Constraints: 796728
2568.65/2575.98 c #Conflicts: 126000 | #Constraints: 797728
2568.65/2575.98 c #Conflicts: 127000 | #Constraints: 798728
2568.65/2575.98 c #Conflicts: 128000 | #Constraints: 799728
2568.65/2575.98 c #Conflicts: 129000 | #Constraints: 800728
2568.65/2575.98 c #Conflicts: 130000 | #Constraints: 801728
2568.65/2575.98 c #Conflicts: 131000 | #Constraints: 802728
2568.65/2575.98 c #Conflicts: 132000 | #Constraints: 803728
2568.65/2575.98 c #Conflicts: 133000 | #Constraints: 804728
2568.65/2575.98 c #Conflicts: 134000 | #Constraints: 805728
2568.65/2575.98 c #Conflicts: 135000 | #Constraints: 806728
2568.65/2575.98 c #Conflicts: 136000 | #Constraints: 807728
2568.65/2575.98 c #Conflicts: 137000 | #Constraints: 808728
2568.65/2575.98 c GLOBAL bounds - >= 377892 @ 2552.18
2568.75/2576.06 c GLOBAL bounds - >= 377892 @ 2552.26
2568.75/2576.07 c GLOBAL bounds - >= 377892 @ 2552.27
2568.75/2576.09 c GLOBAL bounds - >= 377892 @ 2552.28
2581.91/2589.25 c GLOBAL bounds - >= 377892 @ 2565.33
2581.91/2589.26 c GLOBAL bounds - >= 377892 @ 2565.34
2582.01/2589.33 c GLOBAL bounds - >= 377892 @ 2565.39
2582.01/2589.35 c GLOBAL bounds - >= 377892 @ 2565.4
2582.11/2589.42 c GLOBAL bounds - >= 377892 @ 2565.46
2582.11/2589.44 c GLOBAL bounds - >= 377892 @ 2565.47
2582.21/2589.51 c GLOBAL bounds - >= 377892 @ 2565.52
2582.21/2589.52 c GLOBAL bounds - >= 377892 @ 2565.53
2582.21/2589.59 c GLOBAL bounds - >= 377892 @ 2565.59
2582.31/2589.61 c GLOBAL bounds - >= 377892 @ 2565.6
2582.31/2589.68 c GLOBAL bounds - >= 377892 @ 2565.66
2582.41/2589.70 c GLOBAL bounds - >= 377892 @ 2565.66
2582.41/2589.77 c GLOBAL bounds - >= 377892 @ 2565.72
2582.41/2589.78 c GLOBAL bounds - >= 377892 @ 2565.72
2582.51/2589.85 c GLOBAL bounds - >= 377892 @ 2565.77
2582.51/2589.87 c GLOBAL bounds - >= 377892 @ 2565.78
2582.60/2589.94 c GLOBAL bounds - >= 377892 @ 2565.83
2582.60/2589.96 c GLOBAL bounds - >= 377892 @ 2565.84
2582.71/2590.03 c GLOBAL bounds - >= 377892 @ 2565.9
2582.81/2590.14 c GLOBAL bounds - >= 377892 @ 2565.98
2582.91/2590.22 c GLOBAL bounds - >= 377892 @ 2566.04
2583.01/2590.36 c GLOBAL bounds - >= 377892 @ 2566.16
2583.11/2590.45 c GLOBAL bounds - >= 377892 @ 2566.22
2583.20/2590.58 c GLOBAL bounds - >= 377892 @ 2566.32
2583.31/2590.66 c GLOBAL bounds - >= 377892 @ 2566.38
2583.50/2590.81 c GLOBAL bounds - >= 377892 @ 2566.51
2583.61/2590.92 c GLOBAL bounds - >= 377892 @ 2566.6
2583.61/2590.99 c GLOBAL bounds - >= 377892 @ 2566.65
2592.09/2599.44 c INPROCESSING
2592.09/2599.44 c GARBAGE COLLECT
2592.09/2599.44 c GLOBAL bounds - >= 377892 @ 2575.03
2594.78/2602.14 c GLOBAL bounds - >= 377892 @ 2577.7
2616.22/2623.60 c #Conflicts: 138000 | #Constraints: 811561
2616.22/2623.60 c #Conflicts: 139000 | #Constraints: 812561
2616.22/2623.60 c GLOBAL bounds - >= 377892 @ 2599.05
2616.22/2623.68 c GLOBAL bounds - >= 377892 @ 2599.1
3600.04/3610.21 c #Conflicts: 140000 | #Constraints: 816855
3600.04/3610.21 c #Conflicts: 141000 | #Constraints: 817855
3600.04/3610.21 c #Conflicts: 142000 | #Constraints: 818855
3600.04/3610.21 c #Conflicts: 143000 | #Constraints: 819855
3600.04/3610.21 c #Conflicts: 144000 | #Constraints: 820855
3600.04/3610.21 c #Conflicts: 145000 | #Constraints: 821855
3600.04/3610.21 c #Conflicts: 146000 | #Constraints: 822855
3600.04/3610.21 c #Conflicts: 147000 | #Constraints: 823855
3600.04/3610.21 c INPROCESSING
3600.04/3610.21 c GARBAGE COLLECT
3600.04/3610.21 c #Conflicts: 148000 | #Constraints: 810869
3600.04/3610.21 c #Conflicts: 149000 | #Constraints: 811869
3600.04/3610.21 c #Conflicts: 150000 | #Constraints: 812869
3600.04/3610.21 c #Conflicts: 151000 | #Constraints: 813869
3600.04/3610.21 c #Conflicts: 152000 | #Constraints: 814869
3600.04/3610.21 c #Conflicts: 153000 | #Constraints: 815869
3600.04/3610.21 c #Conflicts: 154000 | #Constraints: 816869
3600.04/3610.21 c #Conflicts: 155000 | #Constraints: 817869
3600.04/3610.21 c #Conflicts: 156000 | #Constraints: 818869
3600.04/3610.21 c #Conflicts: 157000 | #Constraints: 819869
3600.04/3610.21 c #Conflicts: 158000 | #Constraints: 820869
3600.04/3610.21 c #Conflicts: 159000 | #Constraints: 821869
3600.04/3610.21 c #Conflicts: 160000 | #Constraints: 822869
3600.04/3610.21 c #Conflicts: 161000 | #Constraints: 823869
3600.04/3610.21 c #Conflicts: 162000 | #Constraints: 824869
3600.04/3610.21 c #Conflicts: 163000 | #Constraints: 825869
3600.04/3610.21 c #Conflicts: 164000 | #Constraints: 826869
3600.04/3610.21 c #Conflicts: 165000 | #Constraints: 827869
3600.04/3610.21 c #Conflicts: 166000 | #Constraints: 828869
3600.04/3610.21 c #Conflicts: 167000 | #Constraints: 829869
3600.04/3610.21 c #Conflicts: 168000 | #Constraints: 830869
3600.04/3610.21 c #Conflicts: 169000 | #Constraints: 831869
3600.04/3610.21 c #Conflicts: 170000 | #Constraints: 832869
3600.04/3610.21 c #Conflicts: 171000 | #Constraints: 833869
3600.04/3610.21 c #Conflicts: 172000 | #Constraints: 834869
3600.04/3610.21 c #Conflicts: 173000 | #Constraints: 835869
3600.04/3610.21 c #Conflicts: 174000 | #Constraints: 836869
3600.04/3610.21 c cpu time 3581.38 s
3600.04/3610.21 c deterministic time 65284864 6.53e+07
3600.04/3610.21 c optimization time 3578.68 s
3600.04/3610.21 c total solve time 2.37953 s
3600.04/3610.21 c core-guided solve time 0 s
3600.04/3610.21 c propagation time 1.36665 s
3600.04/3610.21 c conflict analysis time 0.476602 s
3600.04/3610.21 c propagations 12087513
3600.04/3610.21 c resolve steps 0
3600.04/3610.21 c decisions 4058886
3600.04/3610.21 c conflicts 149
3600.04/3610.21 c restarts 2
3600.04/3610.21 c inprocessing phases 0
3600.04/3610.21 c garbage collections 0 ,( -nan )
3600.04/3610.21 c input clauses 75667 ,( 72.05 )
3600.04/3610.21 c input cardinalities 39 ,( 0.04 )
3600.04/3610.21 c input general constraints 29313 ,( 27.91 )
3600.04/3610.21 c input average constraint length 29.45
3600.04/3610.21 c input average constraint degree 12092944.47
3600.04/3610.21 c learned clauses 93 ,( 50.82 )
3600.04/3610.21 c learned cardinalities 4 ,( 2.19 )
3600.04/3610.21 c learned general constraints 86 ,( 46.99 )
3600.04/3610.21 c learned average constraint length 387.84
3600.04/3610.21 c learned average constraint degree 11.43
3600.04/3610.21 c watched CF 32, 64, 128, Arb: 112 , 0 , 0 , 0
3600.04/3610.21 c counting CF 32, 64, 128, Arb: 29165 , 123 , 0 , 0
3600.04/3610.21 c watched constraints 112 ,( 0.38 )
3600.04/3610.21 c counting constraints 29287 ,( 99.62 )
3600.04/3610.21 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1587245 , 1152 , 8758903 ,( 32394 , 8726509 )
3600.04/3610.21 c gcd simplifications 1
3600.04/3610.21 c detected cardinalities 0
3600.04/3610.21 c weakened non-implied lits 0
3600.04/3610.21 c weakened non-implying lits 0
3600.04/3610.21 c original variables 45775
3600.04/3610.21 c clausal propagations 1566516
3600.04/3610.21 c cardinality propagations 305
3600.04/3610.21 c watched propagations 8209
3600.04/3610.21 c counting propagations 5538538
3600.04/3610.21 c watch lookups 10910200
3600.04/3610.21 c watch backjump lookups 0
3600.04/3610.21 c watch checks 2975708
3600.04/3610.21 c propagation checks 18992434
3600.04/3610.21 c constraint additions 111243
3600.04/3610.21 c trail pops 16146448
3600.04/3610.21 c formula constraints 104537
3600.04/3610.21 c learned constraints 183
3600.04/3610.21 c bound constraints 0
3600.04/3610.21 c core-guided constraints 0
3600.04/3610.21 c encountered formula constraints 67
3600.04/3610.21 c encountered learned constraints 33
3600.04/3610.21 c encountered bound constraints 0
3600.04/3610.21 c encountered core-guided constraints 0
3600.04/3610.21 c LP total time 0.821019 s
3600.04/3610.21 c LP solve time 0.78 s
3600.04/3610.21 c LP constraints added 104537
3600.04/3610.21 c LP constraints removed 0
3600.04/3610.21 c LP pivots internal 1431
3600.04/3610.21 c LP pivots root 1000
3600.04/3610.21 c LP calls 2
3600.04/3610.21 c LP optimalities 1
3600.04/3610.21 c LP no pivot count 0
3600.04/3610.21 c LP infeasibilities 0
3600.04/3610.21 c LP valid Farkas constraints 0
3600.04/3610.21 c LP learned Farkas constraints 0
3600.04/3610.21 c LP basis resets 0
3600.04/3610.21 c LP cycling count 0
3600.04/3610.21 c LP singular count 0
3600.04/3610.21 c LP no primal count 0
3600.04/3610.21 c LP no farkas count 0
3600.04/3610.21 c LP other issue count 0
3600.04/3610.21 c LP Gomory cuts 0
3600.04/3610.21 c LP learned cuts 0
3600.04/3610.21 c LP deleted cuts 0
3600.04/3610.21 c LP encountered Gomory constraints 0
3600.04/3610.21 c LP encountered Farkas constraints 0
3600.04/3610.21 c LP encountered learned Farkas constraints 0
3600.04/3610.21 c CG auxiliary variables introduced 448
3600.04/3610.21 c CG solutions found 0
3600.04/3610.21 c CG cores constructed 194
3600.04/3610.21 c CG core cardinality constraints returned 0
3600.04/3610.21 c CG unit cores 0
3600.04/3610.21 c CG single cores 0
3600.04/3610.21 c CG blocks removed during cardinality reduction 0
3600.04/3610.21 c CG first core best 0
3600.04/3610.21 c CG decision core best 0
3600.04/3610.21 c CG core reduction tie 0
3600.04/3610.21 c CG core degree average 0.00
3600.04/3610.21 c CG core slack average 0.00
3600.04/3610.21 c CG core upper bound improvements 0
3600.04/3610.21 c STR number of successful calls 0
3600.04/3610.21 c STR number of unsuccessful calls 0
3600.04/3610.21 c STR number of inconclusive calls 0
3600.04/3610.21 c STR number of successful attempts 0
3600.04/3610.21 c STR number of unsuccessful attempts 0
3600.04/3610.21 c STR number of inconclusive attempts 0
3600.04/3610.21 c STR average degree increase per successful call inf
3600.04/3610.21 c STR average degree increase per successful attempt inf
3600.04/3610.21 c STR total number of conflicts for successful attempts 0
3600.04/3610.21 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.21 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.21 c STR average number of conflicts per successful attempt inf
3600.04/3610.21 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.21 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.21 c AVG.sumWPerc 99.24
3600.04/3610.21 c bigint constraints 123
3600.04/3610.21 s UNKNOWN
3600.04/3610.21 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62369 MiB free)
memory of node 1: 64465 MiB (62589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504848-1751466415/watcher-4504848-1751466415 -o /tmp/evaluation-result-4504848-1751466415/solver-4504848-1751466415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66045 --watchdog 3760 run-opt.sh HOME/instance-4504848-1751466415.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=66084, runsolver pid=66080
[startup+0.100065 s]*
/proc/loadavg: 0.71 1.01 1.35 5/263 66095
/proc/meminfo: memFree=127896408/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=66680 memory=21724 CPUtime=0.07 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 4079 0 0 0 5 2 0 0 20 0 1 0 62318099 68280320 5431 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 16670 5431 1920 1147 0 4097 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 70872 KiB
Current children cumulated memory: 24668 KiB
[startup+0.20562 s]*
/proc/loadavg: 0.71 1.01 1.35 4/264 66101
/proc/meminfo: memFree=127894276/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=69948 memory=26464 CPUtime=0.18 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 4765 0 0 0 13 5 0 0 20 0 1 0 62318099 71626752 6616 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 17487 6616 1920 1147 0 4914 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 74140 KiB
Current children cumulated memory: 29408 KiB
[startup+0.30469 s]*
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=127776988/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=91684 memory=48212 CPUtime=0.28 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 9827 0 0 0 20 8 0 0 20 0 1 0 62318099 93884416 12053 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 22921 12053 2240 1147 0 10348 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 95876 KiB
Current children cumulated memory: 51156 KiB
[startup+0.700201 s]
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=127670880/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=193828 memory=136076 CPUtime=0.67 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 18921 0 0 0 47 20 0 0 20 0 1 0 62318099 198479872 34019 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 48457 34019 2336 1147 0 35884 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 198020 KiB
Current children cumulated memory: 139020 KiB
[startup+1.50019 s]
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=127520356/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=207540 memory=150796 CPUtime=1.47 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 22599 0 0 0 92 55 0 0 20 0 1 0 62318099 212520960 37699 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 51885 37699 2336 1147 0 39312 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 211732 KiB
Current children cumulated memory: 153740 KiB
[startup+3.1056 s]
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=126674768/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=297040 memory=235284 CPUtime=3.07 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 35107 0 0 0 224 83 0 0 20 0 1 0 62318099 304168960 58821 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 74260 58821 2368 1147 0 61687 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 301232 KiB
Current children cumulated memory: 238228 KiB
[startup+6.30019 s]
/proc/loadavg: 0.98 1.06 1.36 5/269 66106
/proc/meminfo: memFree=125845652/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=431748 memory=359424 CPUtime=6.26 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 58098 0 0 0 458 168 0 0 20 0 1 0 62318099 442109952 89856 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 107937 89856 2368 1147 0 95364 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 435940 KiB
Current children cumulated memory: 362368 KiB
[startup+12.7002 s]
/proc/loadavg: 1.22 1.11 1.38 5/269 66106
/proc/meminfo: memFree=125341564/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=667232 memory=551836 CPUtime=12.64 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 96086 0 0 0 973 291 0 0 20 0 1 0 62318099 683245568 137959 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 166808 137959 2368 1147 0 154235 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 671424 KiB
Current children cumulated memory: 554780 KiB
[startup+25.5002 s]
/proc/loadavg: 1.91 1.27 1.42 5/269 66106
/proc/meminfo: memFree=123845064/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=1004140 memory=853404 CPUtime=25.42 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 151561 0 0 0 2158 384 0 0 20 0 1 0 62318099 1028239360 213351 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 251035 213351 2368 1147 0 238462 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1008332 KiB
Current children cumulated memory: 856348 KiB
[startup+51.1056 s]
/proc/loadavg: 2.62 1.49 1.49 5/268 66107
/proc/meminfo: memFree=121775152/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=1376736 memory=1134368 CPUtime=50.95 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 203406 0 0 0 4693 402 0 0 20 0 1 0 62318099 1409777664 283592 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 344184 283592 2368 1147 0 331611 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1380928 KiB
Current children cumulated memory: 1137312 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.89 1.63 5/268 66109
/proc/meminfo: memFree=119296108/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=1774820 memory=1544236 CPUtime=102.02 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 279314 0 0 0 9671 531 0 0 20 0 1 0 62318099 1817415680 386059 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 443705 386059 2368 1147 0 431132 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1779012 KiB
Current children cumulated memory: 1547180 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.31 1.79 5/269 66112
/proc/meminfo: memFree=116560848/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=2141284 memory=1717628 CPUtime=161.86 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 310911 0 0 0 15601 585 0 0 20 0 1 0 62318099 2192674816 429407 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 535321 429407 2368 1147 0 522748 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2145476 KiB
Current children cumulated memory: 1720572 KiB
[startup+222.3 s]
/proc/loadavg: 3.97 2.62 1.93 5/269 66114
/proc/meminfo: memFree=114963380/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=2185456 memory=1803508 CPUtime=221.7 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 324278 0 0 0 21568 602 0 0 20 0 1 0 62318099 2237906944 450877 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 546364 450877 2368 1147 0 533791 0
################
# More data... #
################
Current children cumulated memory: 7490252 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.06 5/266 66263
/proc/meminfo: memFree=77422392/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=8631148 memory=7487308 CPUtime=3153.45 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 1360123 0 0 0 313552 1793 0 0 20 0 1 0 62318099 8838295552 1871827 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 2157787 1871827 2368 1147 0 2145214 0
Current children cumulated CPU time: 3153.45 s
Current children cumulated vsize: 8635340 KiB
Current children cumulated memory: 7490252 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.07 5/267 66266
/proc/meminfo: memFree=77150872/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=8631148 memory=7487308 CPUtime=3213.28 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 1360325 0 0 0 319530 1798 0 0 20 0 1 0 62318099 8838295552 1871827 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 2157787 1871827 2368 1147 0 2145214 0
Current children cumulated CPU time: 3213.28 s
Current children cumulated vsize: 8635340 KiB
Current children cumulated memory: 7490252 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/267 66267
/proc/meminfo: memFree=76836344/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=8631148 memory=7487692 CPUtime=3273.11 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 1360753 0 0 0 325508 1803 0 0 20 0 1 0 62318099 8838295552 1871923 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 2157787 1871923 2368 1147 0 2145214 0
Current children cumulated CPU time: 3273.11 s
Current children cumulated vsize: 8635340 KiB
Current children cumulated memory: 7490636 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/268 66270
/proc/meminfo: memFree=76227592/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=8631148 memory=7488076 CPUtime=3332.94 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 1361235 0 0 0 331485 1809 0 0 20 0 1 0 62318099 8838295552 1872019 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 2157787 1872019 2368 1147 0 2145214 0
Current children cumulated CPU time: 3332.94 s
Current children cumulated vsize: 8635340 KiB
Current children cumulated memory: 7491020 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/268 66272
/proc/meminfo: memFree=75917664/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=8697980 memory=7577052 CPUtime=3392.78 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 1373886 0 0 0 337462 1816 0 0 20 0 1 0 62318099 8906731520 1894263 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 2174495 1894263 2368 1147 0 2161922 0
Current children cumulated CPU time: 3392.78 s
Current children cumulated vsize: 8702172 KiB
Current children cumulated memory: 7579996 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/268 66320
/proc/meminfo: memFree=103750200/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=9053828 memory=7863368 CPUtime=3452.6 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 1432494 0 0 0 343430 1830 0 0 20 0 1 0 62318099 9271119872 1965842 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 2263457 1965842 2368 1147 0 2250884 0
Current children cumulated CPU time: 3452.6 s
Current children cumulated vsize: 9058020 KiB
Current children cumulated memory: 7866312 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/268 66329
/proc/meminfo: memFree=103370128/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=9459336 memory=8172564 CPUtime=3512.41 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 1497114 0 0 0 349394 1847 0 0 20 0 1 0 62318099 9686360064 2043141 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 2364834 2043141 2368 1147 0 2352261 0
Current children cumulated CPU time: 3512.41 s
Current children cumulated vsize: 9463528 KiB
Current children cumulated memory: 8175508 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/269 66332
/proc/meminfo: memFree=103060340/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=9841296 memory=8469344 CPUtime=3572.23 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 1558648 0 0 0 355361 1862 0 0 20 0 1 0 62318099 10077487104 2117336 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 2460324 2117336 2368 1147 0 2447751 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 9845488 KiB
Current children cumulated memory: 8472288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.12 4.11 4.08 5/269 66334
/proc/meminfo: memFree=102933700/131250000 swapFree=33010672/33010684
[pid=66084] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66084/stat : 66084 (run-opt.sh) S 66080 66084 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318098 4292608 736 18446744073709551615 94104034242560 94104035137093 140733197024480 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94104035376144 94104035423888 94104048599040 140733197031789 140733197031912 140733197031912 140733197037514 0
/proc/66084/statm: 1048 736 672 219 0 110 0
[pid=66088] ppid=66084 vsize=9998992 memory=8592780 CPUtime=3600.04 cores=5,7
/proc/66088/stat : 66088 (roundingsat) R 66084 66084 66032 0 -1 4194304 1584234 0 0 0 358136 1868 0 0 20 0 1 0 62318099 10238967808 2148195 18446744073709551615 4227072 8923433 140734581385936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26951680 140734581393826 140734581393960 140734581393960 140734581399530 0
/proc/66088/statm: 2499748 2148195 2368 1147 0 2487175 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 10003184 KiB
Current children cumulated memory: 8595724 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.2 s]
# the end of solver process 66084 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002232 s, system=0 s
Sleeping 2 seconds
[startup+3610.55 s]
# the end of solver process 66088 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3581.43 s, system=18.9795 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.41 s]*
/proc/loadavg: 4.12 4.11 4.08 5/268 66334
/proc/meminfo: memFree=108335864/131250000 swapFree=33010672/33010684
Current cumulated CPU time of completed processes: 0.002232 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3610.51 s]
/proc/loadavg: 4.12 4.11 4.08 5/268 66334
/proc/meminfo: memFree=108335864/131250000 swapFree=33010672/33010684
Current cumulated CPU time of completed processes: 0.002232 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3610.55
CPU time (s): 3600.41
CPU user time (s): 3581.43
CPU system time (s): 18.9795
CPU usage (%): 99.7191
Max. virtual memory (cumulated for all children) (KiB): 10003184
Max. memory (cumulated for all children) (KiB): 8595724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.43
system time used= 18.9795
maximum resident set size= 8593292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1584497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 170
involuntary context switches= 2727
# summary of solver processes directly reported to runsolver:
# pid: 66084,66088
# total CPU time (s): 3600.41
# total CPU user time (s): 3581.43
# total CPU system time (s): 18.9795
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35978 second user time and 16.8297 second system time
The end
Begin job on nodeC014 at 2025-07-02 16:26:55
IDJOB=4504848
IDBENCH=155693
IDSOLVER=3350
FILE ID=nodeC014/4504848-1751466415
RUNJOBID= nodeC014-1751466415-66045
SLURM_JOB_ID= 9598484
Free space on /tmp= 430516 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_6_mh_ic.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504848-1751466415/watcher-4504848-1751466415 -o /tmp/evaluation-result-4504848-1751466415/solver-4504848-1751466415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66045 --watchdog 3760 run-opt.sh HOME/instance-4504848-1751466415.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1bb082b6412719493b7deb7ac7dad108
RANDOM SEED=1285562696
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.314
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.123
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3563.777
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.278
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.117
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.120
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.360
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.866
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127976912 kB
MemAvailable: 129717948 kB
Buffers: 2508 kB
Cached: 2536592 kB
SwapCached: 4 kB
Active: 633868 kB
Inactive: 1989452 kB
Active(anon): 98172 kB
Inactive(anon): 3852 kB
Active(file): 535696 kB
Inactive(file): 1985600 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 45384 kB
Writeback: 4 kB
AnonPages: 87460 kB
Mapped: 104116 kB
Shmem: 18064 kB
KReclaimable: 117960 kB
Slab: 208448 kB
SReclaimable: 117960 kB
SUnreclaim: 90488 kB
KernelStack: 4128 kB
PageTables: 3064 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 359076 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430492 MiB
End job on nodeC014 at 2025-07-02 17:27:06