0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 86 #constraints 2
0.00/0.01 c rational objective 1.09326
0.08/0.19 c #Conflicts: 1000 | #Constraints: 1002
0.08/0.19 c #Conflicts: 2000 | #Constraints: 2002
0.08/0.19 c INPROCESSING
0.08/0.19 c GARBAGE COLLECT
0.08/0.19 c rational objective 2
0.39/0.49 c #Conflicts: 3000 | #Constraints: 2005
0.39/0.49 c #Conflicts: 4000 | #Constraints: 3005
0.39/0.49 c INPROCESSING
0.39/0.49 c GARBAGE COLLECT
0.39/0.49 c rational objective 2
0.88/0.93 c #Conflicts: 5000 | #Constraints: 2504
0.88/0.93 c #Conflicts: 6000 | #Constraints: 3630
0.88/0.93 c INPROCESSING
0.88/0.93 c GARBAGE COLLECT
0.88/0.93 c rational objective 2
1.48/1.54 c #Conflicts: 7000 | #Constraints: 2780
1.48/1.54 c #Conflicts: 8000 | #Constraints: 3901
1.48/1.54 c #Conflicts: 9000 | #Constraints: 4992
1.48/1.54 c INPROCESSING
1.48/1.54 c GARBAGE COLLECT
1.48/1.54 c rational objective 2
2.27/2.35 c #Conflicts: 10000 | #Constraints: 3692
2.27/2.35 c #Conflicts: 11000 | #Constraints: 4812
2.27/2.35 c #Conflicts: 12000 | #Constraints: 5945
2.27/2.35 c INPROCESSING
2.27/2.35 c GARBAGE COLLECT
2.27/2.35 c rational objective 2
3.17/3.23 c #Conflicts: 13000 | #Constraints: 4285
3.17/3.23 c #Conflicts: 14000 | #Constraints: 5882
3.17/3.23 c #Conflicts: 15000 | #Constraints: 7213
3.17/3.23 c INPROCESSING
3.17/3.23 c GARBAGE COLLECT
3.17/3.23 c rational objective 2.00609
3.98/4.10 c #Conflicts: 16000 | #Constraints: 4675
3.98/4.10 c #Conflicts: 17000 | #Constraints: 5814
3.98/4.10 c #Conflicts: 18000 | #Constraints: 6877
3.98/4.10 c INPROCESSING
3.98/4.10 c GARBAGE COLLECT
3.98/4.10 c rational objective 2.61495
5.08/5.19 c #Conflicts: 19000 | #Constraints: 4410
5.08/5.19 c #Conflicts: 20000 | #Constraints: 5501
5.08/5.19 c #Conflicts: 21000 | #Constraints: 6562
5.08/5.19 c INPROCESSING
5.08/5.19 c GARBAGE COLLECT
5.08/5.19 c rational objective 2.41427
6.26/6.36 c #Conflicts: 22000 | #Constraints: 4064
6.26/6.36 c #Conflicts: 23000 | #Constraints: 5246
6.26/6.36 c #Conflicts: 24000 | #Constraints: 6513
6.26/6.36 c #Conflicts: 25000 | #Constraints: 7566
6.26/6.36 c INPROCESSING
6.26/6.36 c GARBAGE COLLECT
6.26/6.36 c rational objective 2.0603
7.46/7.53 c #Conflicts: 26000 | #Constraints: 5106
7.46/7.53 c #Conflicts: 27000 | #Constraints: 6683
7.46/7.53 c #Conflicts: 28000 | #Constraints: 8039
7.46/7.53 c #Conflicts: 29000 | #Constraints: 9240
7.46/7.53 c INPROCESSING
7.46/7.53 c GARBAGE COLLECT
7.46/7.53 c rational objective 2.0603
8.96/9.07 c #Conflicts: 30000 | #Constraints: 5709
8.96/9.07 c #Conflicts: 31000 | #Constraints: 6823
8.96/9.07 c #Conflicts: 32000 | #Constraints: 7882
8.96/9.07 c #Conflicts: 33000 | #Constraints: 8903
8.96/9.07 c INPROCESSING
8.96/9.07 c GARBAGE COLLECT
8.96/9.07 c rational objective 2.06035
10.45/10.55 c #Conflicts: 34000 | #Constraints: 5561
10.45/10.55 c #Conflicts: 35000 | #Constraints: 6784
10.45/10.55 c #Conflicts: 36000 | #Constraints: 7939
10.45/10.55 c #Conflicts: 37000 | #Constraints: 9076
10.45/10.55 c INPROCESSING
10.45/10.55 c GARBAGE COLLECT
10.45/10.55 c rational objective 2.06032
12.25/12.37 c #Conflicts: 38000 | #Constraints: 5728
12.25/12.37 c #Conflicts: 39000 | #Constraints: 6997
12.25/12.37 c #Conflicts: 40000 | #Constraints: 8608
12.25/12.37 c #Conflicts: 41000 | #Constraints: 10195
12.25/12.37 c INPROCESSING
12.25/12.37 c GARBAGE COLLECT
12.25/12.37 c rational objective 2.0014
14.24/14.31 c #Conflicts: 42000 | #Constraints: 5973
14.24/14.31 c #Conflicts: 43000 | #Constraints: 7039
14.24/14.31 c #Conflicts: 44000 | #Constraints: 8111
14.24/14.31 c #Conflicts: 45000 | #Constraints: 9193
14.24/14.31 c #Conflicts: 46000 | #Constraints: 10283
14.24/14.31 c INPROCESSING
14.24/14.31 c GARBAGE COLLECT
14.24/14.31 c rational objective 2.69236
16.23/16.36 c #Conflicts: 47000 | #Constraints: 6058
16.23/16.36 c #Conflicts: 48000 | #Constraints: 7063
16.23/16.36 c #Conflicts: 49000 | #Constraints: 8063
16.23/16.36 c #Conflicts: 50000 | #Constraints: 9063
16.23/16.36 c #Conflicts: 51000 | #Constraints: 10063
16.23/16.36 c INPROCESSING
16.23/16.36 c GARBAGE COLLECT
16.23/16.36 c rational objective 1.9217
18.23/18.34 c #Conflicts: 52000 | #Constraints: 6144
18.23/18.34 c #Conflicts: 53000 | #Constraints: 7267
18.23/18.34 c #Conflicts: 54000 | #Constraints: 8267
18.23/18.34 c #Conflicts: 55000 | #Constraints: 9267
18.23/18.34 c #Conflicts: 56000 | #Constraints: 10267
18.23/18.34 c INPROCESSING
18.23/18.34 c GARBAGE COLLECT
18.23/18.34 c rational objective 1.92059
20.42/20.51 c #Conflicts: 57000 | #Constraints: 6285
20.42/20.51 c #Conflicts: 58000 | #Constraints: 7379
20.42/20.51 c #Conflicts: 59000 | #Constraints: 8379
20.42/20.51 c #Conflicts: 60000 | #Constraints: 9453
20.42/20.51 c #Conflicts: 61000 | #Constraints: 10579
20.42/20.51 c INPROCESSING
20.42/20.51 c GARBAGE COLLECT
20.42/20.51 c rational objective 1.92059
22.92/23.03 c #Conflicts: 62000 | #Constraints: 6323
22.92/23.03 c #Conflicts: 63000 | #Constraints: 7474
22.92/23.03 c #Conflicts: 64000 | #Constraints: 8573
22.92/23.03 c #Conflicts: 65000 | #Constraints: 9831
22.92/23.03 c #Conflicts: 66000 | #Constraints: 11015
22.92/23.03 c INPROCESSING
22.92/23.03 c GARBAGE COLLECT
22.92/23.03 c rational objective 1.92061
25.21/25.39 c #Conflicts: 67000 | #Constraints: 6303
25.21/25.39 c #Conflicts: 68000 | #Constraints: 7378
25.21/25.39 c #Conflicts: 69000 | #Constraints: 8612
25.21/25.39 c #Conflicts: 70000 | #Constraints: 9795
25.21/25.39 c #Conflicts: 71000 | #Constraints: 11006
25.21/25.39 c #Conflicts: 72000 | #Constraints: 12166
25.21/25.39 c INPROCESSING
25.21/25.39 c GARBAGE COLLECT
25.21/25.39 c rational objective 1.92954
28.10/28.29 c #Conflicts: 73000 | #Constraints: 7048
28.10/28.29 c #Conflicts: 74000 | #Constraints: 8083
28.10/28.29 c #Conflicts: 75000 | #Constraints: 9180
28.10/28.29 c #Conflicts: 76000 | #Constraints: 10293
28.10/28.29 c #Conflicts: 77000 | #Constraints: 11351
28.10/28.29 c #Conflicts: 78000 | #Constraints: 12351
28.10/28.29 c INPROCESSING
28.10/28.29 c GARBAGE COLLECT
28.10/28.29 c rational objective 1.92062
30.90/31.01 c #Conflicts: 79000 | #Constraints: 7242
30.90/31.01 c #Conflicts: 80000 | #Constraints: 8242
30.90/31.01 c #Conflicts: 81000 | #Constraints: 9242
30.90/31.01 c #Conflicts: 82000 | #Constraints: 10242
30.90/31.01 c #Conflicts: 83000 | #Constraints: 11242
30.90/31.01 c #Conflicts: 84000 | #Constraints: 12242
30.90/31.01 c INPROCESSING
30.90/31.01 c GARBAGE COLLECT
30.90/31.01 c rational objective 1.95113
33.69/33.83 c #Conflicts: 85000 | #Constraints: 7137
33.69/33.83 c #Conflicts: 86000 | #Constraints: 8144
33.69/33.83 c #Conflicts: 87000 | #Constraints: 9144
33.69/33.83 c #Conflicts: 88000 | #Constraints: 10144
33.69/33.83 c #Conflicts: 89000 | #Constraints: 11144
33.69/33.83 c #Conflicts: 90000 | #Constraints: 12144
33.69/33.83 c INPROCESSING
33.69/33.83 c GARBAGE COLLECT
33.69/33.83 c rational objective 1.95116
36.78/36.95 c #Conflicts: 91000 | #Constraints: 7058
36.78/36.95 c #Conflicts: 92000 | #Constraints: 8112
36.78/36.95 c #Conflicts: 93000 | #Constraints: 9118
36.78/36.95 c #Conflicts: 94000 | #Constraints: 10118
36.78/36.95 c #Conflicts: 95000 | #Constraints: 11118
36.78/36.95 c #Conflicts: 96000 | #Constraints: 12138
36.78/36.95 c INPROCESSING
36.78/36.95 c GARBAGE COLLECT
36.78/36.95 c rational objective 1.95116
39.88/40.04 c #Conflicts: 97000 | #Constraints: 6785
39.88/40.04 c #Conflicts: 98000 | #Constraints: 7785
39.88/40.04 c #Conflicts: 99000 | #Constraints: 8843
39.88/40.04 c #Conflicts: 100000 | #Constraints: 9896
39.88/40.04 c #Conflicts: 101000 | #Constraints: 10899
39.88/40.04 c #Conflicts: 102000 | #Constraints: 11983
39.88/40.04 c #Conflicts: 103000 | #Constraints: 12983
39.88/40.04 c INPROCESSING
39.88/40.04 c GARBAGE COLLECT
39.88/40.04 c rational objective 1.95116
43.77/43.97 c #Conflicts: 104000 | #Constraints: 7439
43.77/43.97 c #Conflicts: 105000 | #Constraints: 8467
43.77/43.97 c #Conflicts: 106000 | #Constraints: 9558
43.77/43.97 c #Conflicts: 107000 | #Constraints: 10593
43.77/43.97 c #Conflicts: 108000 | #Constraints: 11618
43.77/43.97 c #Conflicts: 109000 | #Constraints: 12621
43.77/43.97 c #Conflicts: 110000 | #Constraints: 13621
43.77/43.97 c INPROCESSING
43.77/43.97 c GARBAGE COLLECT
43.77/43.97 c rational objective 1.95116
47.36/47.50 c #Conflicts: 111000 | #Constraints: 7883
47.36/47.50 c #Conflicts: 112000 | #Constraints: 8937
47.36/47.50 c #Conflicts: 113000 | #Constraints: 9968
47.36/47.50 c #Conflicts: 114000 | #Constraints: 10968
47.36/47.50 c #Conflicts: 115000 | #Constraints: 11968
47.36/47.50 c #Conflicts: 116000 | #Constraints: 12968
47.36/47.50 c #Conflicts: 117000 | #Constraints: 13968
47.36/47.50 c INPROCESSING
47.36/47.50 c GARBAGE COLLECT
47.36/47.50 c rational objective 1.95116
51.14/51.39 c #Conflicts: 118000 | #Constraints: 8048
51.14/51.39 c #Conflicts: 119000 | #Constraints: 9050
51.14/51.39 c #Conflicts: 120000 | #Constraints: 10050
51.14/51.39 c #Conflicts: 121000 | #Constraints: 11050
51.14/51.39 c #Conflicts: 122000 | #Constraints: 12050
51.14/51.39 c #Conflicts: 123000 | #Constraints: 13050
51.14/51.39 c #Conflicts: 124000 | #Constraints: 14050
51.14/51.39 c INPROCESSING
51.14/51.39 c GARBAGE COLLECT
51.14/51.39 c rational objective 1.95116
55.43/55.63 c #Conflicts: 125000 | #Constraints: 7998
55.43/55.63 c #Conflicts: 126000 | #Constraints: 9070
55.43/55.63 c #Conflicts: 127000 | #Constraints: 10085
55.43/55.63 c #Conflicts: 128000 | #Constraints: 11085
55.43/55.63 c #Conflicts: 129000 | #Constraints: 12085
55.43/55.63 c #Conflicts: 130000 | #Constraints: 13085
55.43/55.63 c #Conflicts: 131000 | #Constraints: 14085
55.43/55.63 c INPROCESSING
55.43/55.63 c GARBAGE COLLECT
55.43/55.63 c rational objective 1.95116
59.92/60.18 c #Conflicts: 132000 | #Constraints: 7766
59.92/60.18 c #Conflicts: 133000 | #Constraints: 9057
59.92/60.18 c #Conflicts: 134000 | #Constraints: 10085
59.92/60.18 c #Conflicts: 135000 | #Constraints: 11120
59.92/60.18 c #Conflicts: 136000 | #Constraints: 12179
59.92/60.18 c #Conflicts: 137000 | #Constraints: 13261
59.92/60.18 c #Conflicts: 138000 | #Constraints: 14373
59.92/60.18 c #Conflicts: 139000 | #Constraints: 15411
59.92/60.18 c INPROCESSING
59.92/60.18 c GARBAGE COLLECT
59.92/60.18 c rational objective 2.34489
66.00/66.21 c #Conflicts: 140000 | #Constraints: 8611
66.00/66.21 c #Conflicts: 141000 | #Constraints: 9613
66.00/66.21 c #Conflicts: 142000 | #Constraints: 10625
66.00/66.21 c #Conflicts: 143000 | #Constraints: 11657
66.00/66.21 c #Conflicts: 144000 | #Constraints: 12663
66.00/66.21 c #Conflicts: 145000 | #Constraints: 13680
66.00/66.21 c #Conflicts: 146000 | #Constraints: 14713
66.00/66.21 c #Conflicts: 147000 | #Constraints: 15734
66.00/66.21 c INPROCESSING
66.00/66.21 c GARBAGE COLLECT
66.00/66.21 c rational objective 1.95116
71.09/71.32 c #Conflicts: 148000 | #Constraints: 8879
71.09/71.32 c #Conflicts: 149000 | #Constraints: 9906
71.09/71.32 c #Conflicts: 150000 | #Constraints: 10906
71.09/71.32 c #Conflicts: 151000 | #Constraints: 11936
71.09/71.32 c #Conflicts: 152000 | #Constraints: 12974
71.09/71.32 c #Conflicts: 153000 | #Constraints: 13983
71.09/71.32 c #Conflicts: 154000 | #Constraints: 15005
71.09/71.32 c #Conflicts: 155000 | #Constraints: 16049
71.09/71.32 c INPROCESSING
71.09/71.32 c GARBAGE COLLECT
71.09/71.32 c rational objective 2.00012
75.98/76.22 c #Conflicts: 156000 | #Constraints: 9052
75.98/76.22 c #Conflicts: 157000 | #Constraints: 10052
75.98/76.22 c #Conflicts: 158000 | #Constraints: 11085
75.98/76.22 c #Conflicts: 159000 | #Constraints: 12127
75.98/76.22 c #Conflicts: 160000 | #Constraints: 13161
75.98/76.22 c #Conflicts: 161000 | #Constraints: 14161
75.98/76.22 c #Conflicts: 162000 | #Constraints: 15161
75.98/76.22 c #Conflicts: 163000 | #Constraints: 16161
75.98/76.22 c INPROCESSING
75.98/76.22 c GARBAGE COLLECT
75.98/76.22 c rational objective 2.00005
81.77/82.07 c #Conflicts: 164000 | #Constraints: 9042
81.77/82.07 c #Conflicts: 165000 | #Constraints: 10118
81.77/82.07 c #Conflicts: 166000 | #Constraints: 11200
81.77/82.07 c #Conflicts: 167000 | #Constraints: 12259
81.77/82.07 c #Conflicts: 168000 | #Constraints: 13347
81.77/82.07 c #Conflicts: 169000 | #Constraints: 14444
81.77/82.07 c #Conflicts: 170000 | #Constraints: 15514
81.77/82.07 c #Conflicts: 171000 | #Constraints: 16575
81.77/82.07 c INPROCESSING
81.77/82.07 c GARBAGE COLLECT
81.77/82.07 c rational objective 2.00101
87.44/87.72 c #Conflicts: 172000 | #Constraints: 9014
87.44/87.72 c #Conflicts: 173000 | #Constraints: 10033
87.44/87.72 c #Conflicts: 174000 | #Constraints: 11115
87.44/87.72 c #Conflicts: 175000 | #Constraints: 12193
87.44/87.72 c #Conflicts: 176000 | #Constraints: 13193
87.44/87.72 c #Conflicts: 177000 | #Constraints: 14238
87.44/87.72 c #Conflicts: 178000 | #Constraints: 15345
87.44/87.72 c #Conflicts: 179000 | #Constraints: 16485
87.44/87.72 c #Conflicts: 180000 | #Constraints: 17556
87.44/87.72 c INPROCESSING
87.44/87.72 c GARBAGE COLLECT
87.44/87.72 c rational objective 2.33933
93.83/94.13 c #Conflicts: 181000 | #Constraints: 9748
93.83/94.13 c #Conflicts: 182000 | #Constraints: 10755
93.83/94.13 c #Conflicts: 183000 | #Constraints: 11791
93.83/94.13 c #Conflicts: 184000 | #Constraints: 12795
93.83/94.13 c #Conflicts: 185000 | #Constraints: 13813
93.83/94.13 c #Conflicts: 186000 | #Constraints: 14815
93.83/94.13 c #Conflicts: 187000 | #Constraints: 15829
93.83/94.13 c #Conflicts: 188000 | #Constraints: 16829
93.83/94.13 c #Conflicts: 189000 | #Constraints: 17832
93.83/94.13 c INPROCESSING
93.83/94.13 c GARBAGE COLLECT
93.83/94.13 c rational objective 2.53061
100.81/101.15 c #Conflicts: 190000 | #Constraints: 9938
100.81/101.15 c #Conflicts: 191000 | #Constraints: 10943
100.81/101.15 c #Conflicts: 192000 | #Constraints: 11943
100.81/101.15 c #Conflicts: 193000 | #Constraints: 12943
100.81/101.15 c #Conflicts: 194000 | #Constraints: 13943
100.81/101.15 c #Conflicts: 195000 | #Constraints: 14943
100.81/101.15 c #Conflicts: 196000 | #Constraints: 15943
100.81/101.15 c #Conflicts: 197000 | #Constraints: 16943
100.81/101.15 c #Conflicts: 198000 | #Constraints: 17943
100.81/101.15 c INPROCESSING
100.81/101.15 c GARBAGE COLLECT
100.81/101.15 c rational objective 2.00074
108.18/108.54 c #Conflicts: 199000 | #Constraints: 10032
108.18/108.54 c #Conflicts: 200000 | #Constraints: 11107
108.18/108.54 c #Conflicts: 201000 | #Constraints: 12205
108.18/108.54 c #Conflicts: 202000 | #Constraints: 13335
108.18/108.54 c #Conflicts: 203000 | #Constraints: 14470
108.18/108.54 c #Conflicts: 204000 | #Constraints: 15578
108.18/108.54 c #Conflicts: 205000 | #Constraints: 16695
108.18/108.54 c #Conflicts: 206000 | #Constraints: 17739
108.18/108.54 c #Conflicts: 207000 | #Constraints: 18739
108.18/108.54 c INPROCESSING
108.18/108.54 c GARBAGE COLLECT
108.18/108.54 c rational objective 2.0015
116.05/116.44 c #Conflicts: 208000 | #Constraints: 10291
116.05/116.44 c #Conflicts: 209000 | #Constraints: 11291
116.05/116.44 c #Conflicts: 210000 | #Constraints: 12291
116.05/116.44 c #Conflicts: 211000 | #Constraints: 13291
116.05/116.44 c #Conflicts: 212000 | #Constraints: 14291
116.05/116.44 c #Conflicts: 213000 | #Constraints: 15291
116.05/116.44 c #Conflicts: 214000 | #Constraints: 16298
116.05/116.44 c #Conflicts: 215000 | #Constraints: 17302
116.05/116.44 c #Conflicts: 216000 | #Constraints: 18368
116.05/116.44 c INPROCESSING
116.05/116.44 c GARBAGE COLLECT
116.05/116.44 c rational objective 2.0015
124.22/124.60 c #Conflicts: 217000 | #Constraints: 9933
124.22/124.60 c #Conflicts: 218000 | #Constraints: 11034
124.22/124.60 c #Conflicts: 219000 | #Constraints: 12123
124.22/124.60 c #Conflicts: 220000 | #Constraints: 13249
124.22/124.60 c #Conflicts: 221000 | #Constraints: 14332
124.22/124.60 c #Conflicts: 222000 | #Constraints: 15421
124.22/124.60 c #Conflicts: 223000 | #Constraints: 16485
124.22/124.60 c #Conflicts: 224000 | #Constraints: 17485
124.22/124.60 c #Conflicts: 225000 | #Constraints: 18534
124.22/124.60 c #Conflicts: 226000 | #Constraints: 19536
124.22/124.60 c INPROCESSING
124.22/124.60 c GARBAGE COLLECT
124.22/124.60 c rational objective 2.0015
132.60/133.09 c #Conflicts: 227000 | #Constraints: 10697
132.60/133.09 c #Conflicts: 228000 | #Constraints: 11699
132.60/133.09 c #Conflicts: 229000 | #Constraints: 12715
132.60/133.09 c #Conflicts: 230000 | #Constraints: 13759
132.60/133.09 c #Conflicts: 231000 | #Constraints: 14801
132.60/133.09 c #Conflicts: 232000 | #Constraints: 15861
132.60/133.09 c #Conflicts: 233000 | #Constraints: 16901
132.60/133.09 c #Conflicts: 234000 | #Constraints: 17926
132.60/133.09 c #Conflicts: 235000 | #Constraints: 18976
132.60/133.09 c #Conflicts: 236000 | #Constraints: 19981
132.60/133.09 c INPROCESSING
132.60/133.09 c GARBAGE COLLECT
132.60/133.09 c rational objective 2.00345
140.58/141.01 c #Conflicts: 237000 | #Constraints: 11010
140.58/141.01 c #Conflicts: 238000 | #Constraints: 12014
140.58/141.01 c #Conflicts: 239000 | #Constraints: 13014
140.58/141.01 c #Conflicts: 240000 | #Constraints: 14014
140.58/141.01 c #Conflicts: 241000 | #Constraints: 15014
140.58/141.01 c #Conflicts: 242000 | #Constraints: 16014
140.58/141.01 c #Conflicts: 243000 | #Constraints: 17014
140.58/141.01 c #Conflicts: 244000 | #Constraints: 18014
140.58/141.01 c #Conflicts: 245000 | #Constraints: 19014
140.58/141.01 c #Conflicts: 246000 | #Constraints: 20014
140.58/141.01 c INPROCESSING
140.58/141.01 c GARBAGE COLLECT
140.58/141.01 c rational objective 2.00309
149.24/149.79 c #Conflicts: 247000 | #Constraints: 11056
149.24/149.79 c #Conflicts: 248000 | #Constraints: 12091
149.24/149.79 c #Conflicts: 249000 | #Constraints: 13127
149.24/149.79 c #Conflicts: 250000 | #Constraints: 14154
149.24/149.79 c #Conflicts: 251000 | #Constraints: 15164
149.24/149.79 c #Conflicts: 252000 | #Constraints: 16176
149.24/149.79 c #Conflicts: 253000 | #Constraints: 17186
149.24/149.79 c #Conflicts: 254000 | #Constraints: 18212
149.24/149.79 c #Conflicts: 255000 | #Constraints: 19228
149.24/149.79 c #Conflicts: 256000 | #Constraints: 20236
149.24/149.79 c INPROCESSING
149.24/149.79 c GARBAGE COLLECT
149.24/149.79 c rational objective 2.00309
158.42/158.93 c #Conflicts: 257000 | #Constraints: 11053
158.42/158.93 c #Conflicts: 258000 | #Constraints: 12075
158.42/158.93 c #Conflicts: 259000 | #Constraints: 13104
158.42/158.93 c #Conflicts: 260000 | #Constraints: 14125
158.42/158.93 c #Conflicts: 261000 | #Constraints: 15169
158.42/158.93 c #Conflicts: 262000 | #Constraints: 16226
158.42/158.93 c #Conflicts: 263000 | #Constraints: 17251
158.42/158.93 c #Conflicts: 264000 | #Constraints: 18254
158.42/158.93 c #Conflicts: 265000 | #Constraints: 19287
158.42/158.93 c #Conflicts: 266000 | #Constraints: 20320
158.42/158.93 c INPROCESSING
158.42/158.93 c GARBAGE COLLECT
158.42/158.93 c rational objective 2.00314
168.39/168.97 c #Conflicts: 267000 | #Constraints: 10874
168.39/168.97 c #Conflicts: 268000 | #Constraints: 11901
168.39/168.97 c #Conflicts: 269000 | #Constraints: 12945
168.39/168.97 c #Conflicts: 270000 | #Constraints: 13955
168.39/168.97 c #Conflicts: 271000 | #Constraints: 14975
168.39/168.97 c #Conflicts: 272000 | #Constraints: 15979
168.39/168.97 c #Conflicts: 273000 | #Constraints: 16980
168.39/168.97 c #Conflicts: 274000 | #Constraints: 17980
168.39/168.97 c #Conflicts: 275000 | #Constraints: 18980
168.39/168.97 c #Conflicts: 276000 | #Constraints: 19980
168.39/168.97 c #Conflicts: 277000 | #Constraints: 20980
168.39/168.97 c INPROCESSING
168.39/168.97 c GARBAGE COLLECT
168.39/168.97 c rational objective 2.00314
178.35/178.97 c #Conflicts: 278000 | #Constraints: 11433
178.35/178.97 c #Conflicts: 279000 | #Constraints: 12467
178.35/178.97 c #Conflicts: 280000 | #Constraints: 13506
178.35/178.97 c #Conflicts: 281000 | #Constraints: 14538
178.35/178.97 c #Conflicts: 282000 | #Constraints: 15585
178.35/178.97 c #Conflicts: 283000 | #Constraints: 16617
178.35/178.97 c #Conflicts: 284000 | #Constraints: 17623
178.35/178.97 c #Conflicts: 285000 | #Constraints: 18623
178.35/178.97 c #Conflicts: 286000 | #Constraints: 19623
178.35/178.97 c #Conflicts: 287000 | #Constraints: 20623
178.35/178.97 c #Conflicts: 288000 | #Constraints: 21623
178.35/178.97 c INPROCESSING
178.35/178.97 c GARBAGE COLLECT
178.35/178.97 c rational objective 2.00314
189.82/190.47 c #Conflicts: 289000 | #Constraints: 11845
189.82/190.47 c #Conflicts: 290000 | #Constraints: 12845
189.82/190.47 c #Conflicts: 291000 | #Constraints: 13845
189.82/190.47 c #Conflicts: 292000 | #Constraints: 14845
189.82/190.47 c #Conflicts: 293000 | #Constraints: 15845
189.82/190.47 c #Conflicts: 294000 | #Constraints: 16845
189.82/190.47 c #Conflicts: 295000 | #Constraints: 17845
189.82/190.47 c #Conflicts: 296000 | #Constraints: 18845
189.82/190.47 c #Conflicts: 297000 | #Constraints: 19845
189.82/190.47 c #Conflicts: 298000 | #Constraints: 20845
189.82/190.47 c #Conflicts: 299000 | #Constraints: 21845
189.82/190.47 c INPROCESSING
189.82/190.47 c GARBAGE COLLECT
189.82/190.47 c rational objective 2.0015
201.08/201.78 c #Conflicts: 300000 | #Constraints: 11956
201.08/201.78 c #Conflicts: 301000 | #Constraints: 12994
201.08/201.78 c #Conflicts: 302000 | #Constraints: 13994
201.08/201.78 c #Conflicts: 303000 | #Constraints: 15038
201.08/201.78 c #Conflicts: 304000 | #Constraints: 16100
201.08/201.78 c #Conflicts: 305000 | #Constraints: 17126
201.08/201.78 c #Conflicts: 306000 | #Constraints: 18167
201.08/201.78 c #Conflicts: 307000 | #Constraints: 19188
201.08/201.78 c #Conflicts: 308000 | #Constraints: 20188
201.08/201.78 c #Conflicts: 309000 | #Constraints: 21209
201.08/201.78 c #Conflicts: 310000 | #Constraints: 22270
201.08/201.78 c INPROCESSING
201.08/201.78 c GARBAGE COLLECT
201.08/201.78 c rational objective 2.00577
211.85/212.59 c #Conflicts: 311000 | #Constraints: 12042
211.85/212.59 c #Conflicts: 312000 | #Constraints: 13062
211.85/212.59 c #Conflicts: 313000 | #Constraints: 14092
211.85/212.59 c #Conflicts: 314000 | #Constraints: 15147
211.85/212.59 c #Conflicts: 315000 | #Constraints: 16215
211.85/212.59 c #Conflicts: 316000 | #Constraints: 17272
211.85/212.59 c #Conflicts: 317000 | #Constraints: 18272
211.85/212.59 c #Conflicts: 318000 | #Constraints: 19277
211.85/212.59 c #Conflicts: 319000 | #Constraints: 20289
211.85/212.59 c #Conflicts: 320000 | #Constraints: 21289
211.85/212.59 c #Conflicts: 321000 | #Constraints: 22292
211.85/212.59 c INPROCESSING
211.85/212.59 c GARBAGE COLLECT
211.85/212.59 c rational objective 2.00163
224.42/225.16 c #Conflicts: 322000 | #Constraints: 11885
224.42/225.16 c #Conflicts: 323000 | #Constraints: 12929
224.42/225.16 c #Conflicts: 324000 | #Constraints: 13933
224.42/225.16 c #Conflicts: 325000 | #Constraints: 14933
224.42/225.16 c #Conflicts: 326000 | #Constraints: 15933
224.42/225.16 c #Conflicts: 327000 | #Constraints: 16933
224.42/225.16 c #Conflicts: 328000 | #Constraints: 17933
224.42/225.16 c #Conflicts: 329000 | #Constraints: 18933
224.42/225.16 c #Conflicts: 330000 | #Constraints: 19933
224.42/225.16 c #Conflicts: 331000 | #Constraints: 20933
224.42/225.16 c #Conflicts: 332000 | #Constraints: 21933
224.42/225.16 c #Conflicts: 333000 | #Constraints: 22933
224.42/225.16 c INPROCESSING
224.42/225.16 c GARBAGE COLLECT
224.42/225.16 c rational objective 2.0016
224.51/225.21 c cpu time 222.403 s
224.51/225.21 c deterministic time 72488451564 7.25e+10
224.51/225.21 c optimization time 5.4e-05 s
224.51/225.21 c total solve time 222.402 s
224.51/225.21 c core-guided solve time 0 s
224.51/225.21 c propagation time 201.898 s
224.51/225.21 c conflict analysis time 16.3414 s
224.51/225.21 c propagations 2079212
224.51/225.21 c resolve steps 1134510
224.51/225.21 c decisions 502502
224.51/225.21 c conflicts 333205
224.51/225.21 c restarts 767
224.51/225.21 c inprocessing phases 49
224.51/225.21 c garbage collections 49 ,( 100.00 )
224.51/225.21 c input clauses 0 ,( 0.00 )
224.51/225.21 c input cardinalities 0 ,( 0.00 )
224.51/225.21 c input general constraints 2 ,( 100.00 )
224.51/225.21 c input average constraint length 86.00
224.51/225.21 c input average constraint degree 254207637.50
224.51/225.21 c learned clauses 151664 ,( 43.15 )
224.51/225.21 c learned cardinalities 0 ,( 0.00 )
224.51/225.21 c learned general constraints 199847 ,( 56.85 )
224.51/225.21 c learned average constraint length 63.74
224.51/225.21 c learned average constraint degree 89100447.14
224.51/225.21 c watched CF 32, 64, 128, Arb: 34086 , 0 , 0 , 0
224.51/225.21 c counting CF 32, 64, 128, Arb: 165763 , 0 , 0 , 0
224.51/225.21 c watched constraints 34086 ,( 17.06 )
224.51/225.21 c counting constraints 165763 ,( 82.94 )
224.51/225.21 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 14025941 , 0 , 3570230466 ,( 52670614 , 3517559852 )
224.51/225.21 c gcd simplifications 170102
224.51/225.21 c detected cardinalities 0
224.51/225.21 c weakened non-implied lits 1589516
224.51/225.21 c weakened non-implying lits 3196670
224.51/225.21 c original variables 86
224.51/225.21 c clausal propagations 222899
224.51/225.21 c cardinality propagations 0
224.51/225.21 c watched propagations 43912
224.51/225.21 c counting propagations 1466547
224.51/225.21 c watch lookups 3771447840
224.51/225.21 c watch backjump lookups 0
224.51/225.21 c watch checks 400825946
224.51/225.21 c propagation checks 68202879797
224.51/225.21 c constraint additions 107766858
224.51/225.21 c trail pops 2914919
224.51/225.21 c formula constraints 2
224.51/225.21 c learned constraints 333205
224.51/225.21 c bound constraints 0
224.51/225.21 c core-guided constraints 0
224.51/225.21 c encountered formula constraints 875606
224.51/225.21 c encountered learned constraints 592109
224.51/225.21 c encountered bound constraints 0
224.51/225.21 c encountered core-guided constraints 0
224.51/225.21 c LP total time 4.04573 s
224.51/225.21 c LP solve time 1.9 s
224.51/225.21 c LP constraints added 80
224.51/225.21 c LP constraints removed 72
224.51/225.21 c LP pivots internal 33321
224.51/225.21 c LP pivots root 1168
224.51/225.21 c LP calls 25286
224.51/225.21 c LP optimalities 6383
224.51/225.21 c LP no pivot count 636
224.51/225.21 c LP infeasibilities 18881
224.51/225.21 c LP valid Farkas constraints 18264
224.51/225.21 c LP learned Farkas constraints 0
224.51/225.21 c LP basis resets 22
224.51/225.21 c LP cycling count 9
224.51/225.21 c LP singular count 13
224.51/225.21 c LP no primal count 0
224.51/225.21 c LP no farkas count 0
224.51/225.21 c LP other issue count 0
224.51/225.21 c LP Gomory cuts 42
224.51/225.21 c LP learned cuts 38
224.51/225.21 c LP deleted cuts 74
224.51/225.21 c LP encountered Gomory constraints 0
224.51/225.21 c LP encountered Farkas constraints 0
224.51/225.21 c LP encountered learned Farkas constraints 0
224.51/225.21 c CG auxiliary variables introduced 0
224.51/225.21 c CG solutions found 0
224.51/225.21 c CG cores constructed 0
224.51/225.21 c CG core cardinality constraints returned 0
224.51/225.21 c CG unit cores 0
224.51/225.21 c CG single cores 0
224.51/225.21 c CG blocks removed during cardinality reduction 0
224.51/225.21 c CG first core best 0
224.51/225.21 c CG decision core best 0
224.51/225.21 c CG core reduction tie 0
224.51/225.21 c CG core degree average 0.00
224.51/225.21 c CG core slack average 0.00
224.51/225.21 c CG core upper bound improvements 0
224.51/225.21 c STR number of successful calls 0
224.51/225.21 c STR number of unsuccessful calls 0
224.51/225.21 c STR number of inconclusive calls 0
224.51/225.21 c STR number of successful attempts 0
224.51/225.21 c STR number of unsuccessful attempts 0
224.51/225.21 c STR number of inconclusive attempts 0
224.51/225.21 c STR average degree increase per successful call inf
224.51/225.21 c STR average degree increase per successful attempt inf
224.51/225.21 c STR total number of conflicts for successful attempts 0
224.51/225.21 c STR total number of conflicts for unsuccessful attempts 0
224.51/225.21 c STR total number of conflicts for inconclusive attempts 0
224.51/225.21 c STR average number of conflicts per successful attempt inf
224.51/225.21 c STR average number of conflicts per unsuccessful attempt inf
224.51/225.21 c STR average number of conflicts per inconclusive attempt inf
224.51/225.21 c AVG.sumWPerc 70.06
224.51/225.21 c bigint constraints 0
224.51/225.21 s SATISFIABLE
224.51/225.21 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 x15 x16 -x17 -x18 -x19 x20 -x21 x22 x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86
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 (63040 MiB free)
memory of node 1: 64465 MiB (63760 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496002-1751154124/watcher-4496002-1751154124 -o /tmp/evaluation-result-4496002-1751154124/solver-4496002-1751154124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751146607-16318 --watchdog 3760 run-dec-ls.sh HOME/instance-4496002-1751154124.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=20704, runsolver pid=20701
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 4.09 4.15 4.12 5/270 20706
/proc/meminfo: memFree=129839828/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=56760 memory=13572 CPUtime=0.08 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 770 0 0 0 8 0 0 0 20 0 1 0 31090844 58122240 3393 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 14190 3393 2336 1147 0 1617 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60952 KiB
Current children cumulated memory: 16644 KiB
[startup+0.205592 s]*
/proc/loadavg: 4.09 4.15 4.12 6/270 20706
/proc/meminfo: memFree=129839828/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=57604 memory=14212 CPUtime=0.19 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 935 0 0 0 18 1 0 0 20 0 1 0 31090844 58986496 3553 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 14401 3553 2336 1147 0 1828 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61796 KiB
Current children cumulated memory: 17284 KiB
[startup+0.304605 s]*
/proc/loadavg: 4.09 4.15 4.12 5/270 20706
/proc/meminfo: memFree=129839828/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=57748 memory=14468 CPUtime=0.28 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 1002 0 0 0 27 1 0 0 20 0 1 0 31090844 59133952 3617 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 14437 3617 2336 1147 0 1864 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 61940 KiB
Current children cumulated memory: 17540 KiB
[startup+0.700132 s]
/proc/loadavg: 4.09 4.15 4.12 5/270 20706
/proc/meminfo: memFree=129839828/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=59444 memory=15748 CPUtime=0.68 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 1332 0 0 0 65 3 0 0 20 0 1 0 31090844 60870656 3937 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 14861 3937 2336 1147 0 2288 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63636 KiB
Current children cumulated memory: 18820 KiB
[startup+1.50017 s]
/proc/loadavg: 4.09 4.15 4.12 5/270 20706
/proc/meminfo: memFree=129839828/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=60564 memory=19052 CPUtime=1.48 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 1654 0 0 0 143 5 0 0 20 0 1 0 31090844 62017536 4763 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 15141 4763 2336 1147 0 2568 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64756 KiB
Current children cumulated memory: 22124 KiB
[startup+3.10548 s]
/proc/loadavg: 4.09 4.15 4.12 5/270 20706
/proc/meminfo: memFree=129839852/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=62964 memory=20716 CPUtime=3.08 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 2060 0 0 0 300 8 0 0 20 0 1 0 31090844 64475136 5179 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 15741 5179 2336 1147 0 3168 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 67156 KiB
Current children cumulated memory: 23788 KiB
[startup+6.30018 s]
/proc/loadavg: 4.16 4.17 4.12 5/270 20706
/proc/meminfo: memFree=129839988/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=64052 memory=21868 CPUtime=6.26 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 2365 0 0 0 613 13 0 0 20 0 1 0 31090844 65589248 5467 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 16013 5467 2336 1147 0 3440 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 68244 KiB
Current children cumulated memory: 24940 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.18 4.13 5/270 20706
/proc/meminfo: memFree=129835920/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=70172 memory=25452 CPUtime=12.64 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 3236 0 0 0 1242 22 0 0 20 0 1 0 31090844 71856128 6363 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 17543 6363 2336 1147 0 4970 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 74364 KiB
Current children cumulated memory: 28524 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.17 4.12 5/270 20706
/proc/meminfo: memFree=129834164/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=74396 memory=29292 CPUtime=25.41 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 4153 0 0 0 2502 39 0 0 20 0 1 0 31090844 76181504 7323 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 18599 7323 2400 1147 0 6026 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 78588 KiB
Current children cumulated memory: 32364 KiB
[startup+51.1057 s]
/proc/loadavg: 4.53 4.25 4.15 5/269 20706
/proc/meminfo: memFree=129834164/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=75452 memory=31468 CPUtime=50.95 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 4682 0 0 0 5021 74 0 0 20 0 1 0 31090844 77262848 7867 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 18863 7867 2432 1147 0 6290 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 79644 KiB
Current children cumulated memory: 34540 KiB
[startup+102.3 s]
/proc/loadavg: 4.29 4.23 4.15 5/269 20709
/proc/meminfo: memFree=129817648/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=86964 memory=37612 CPUtime=102 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 7138 0 0 0 10079 121 0 0 20 0 1 0 31090844 89051136 9403 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 21741 9403 2432 1147 0 9168 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 91156 KiB
Current children cumulated memory: 40684 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.20 4.14 5/269 20757
/proc/meminfo: memFree=129819508/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=90072 memory=44884 CPUtime=161.81 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 8030 0 0 0 16012 169 0 0 20 0 1 0 31090844 92233728 11221 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 22518 11221 2432 1147 0 9945 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 94264 KiB
Current children cumulated memory: 47956 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.19 4.14 5/269 20759
/proc/meminfo: memFree=129806444/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=91640 memory=46928 CPUtime=221.62 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 8762 0 0 0 21952 210 0 0 20 0 1 0 31090844 93839360 11732 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 22910 11732 2432 1147 0 10337 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 95832 KiB
Current children cumulated memory: 50000 KiB
[startup+225.214 s]
# the end of solver process 20704 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=222.409 s, system=2.13081 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+222.4 s]
/proc/loadavg: 4.17 4.19 4.14 5/269 20759
/proc/meminfo: memFree=129806444/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=91640 memory=46928 CPUtime=221.72 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 8762 0 0 0 21962 210 0 0 20 0 1 0 31090844 93839360 11732 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 22910 11732 2432 1147 0 10337 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 95832 KiB
Current children cumulated memory: 50000 KiB
[startup+224 s]*
/proc/loadavg: 4.16 4.19 4.14 5/269 20759
/proc/meminfo: memFree=129805940/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=91640 memory=46928 CPUtime=223.32 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 8775 0 0 0 22121 211 0 0 20 0 1 0 31090844 93839360 11732 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 22910 11732 2432 1147 0 10337 0
Current children cumulated CPU time: 223.32 s
Current children cumulated vsize: 95832 KiB
Current children cumulated memory: 50000 KiB
[startup+224.8 s]
/proc/loadavg: 4.16 4.19 4.14 5/269 20759
/proc/meminfo: memFree=129805940/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=91864 memory=46928 CPUtime=224.11 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 8794 0 0 0 22199 212 0 0 20 0 1 0 31090844 94068736 11732 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 22966 11732 2432 1147 0 10393 0
Current children cumulated CPU time: 224.11 s
Current children cumulated vsize: 96056 KiB
Current children cumulated memory: 50000 KiB
[startup+225.2 s]
/proc/loadavg: 4.16 4.19 4.14 5/269 20759
/proc/meminfo: memFree=129805940/131249996 swapFree=33010684/33010684
[pid=20704] ppid=20701 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20704/stat : 20704 (run-dec-ls.sh) S 20701 20704 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31090844 4292608 768 18446744073709551615 94249223266304 94249224160837 140730462262864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94249224399888 94249224447632 94249234182144 140730462267751 140730462267877 140730462267877 140730462273479 0
/proc/20704/statm: 1048 768 704 219 0 110 0
[pid=20706] ppid=20704 vsize=92408 memory=47396 CPUtime=224.51 cores=0,2
/proc/20706/stat : 20706 (roundingsat) R 20704 20704 16308 0 -1 4194304 8938 0 0 0 22239 212 0 0 20 0 1 0 31090844 94625792 11849 18446744073709551615 4227072 8923433 140733695099184 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19431424 140733695105440 140733695105576 140733695105576 140733695111146 0
/proc/20706/statm: 23102 11849 2432 1147 0 10529 0
Current children cumulated CPU time: 224.51 s
Current children cumulated vsize: 96600 KiB
Current children cumulated memory: 50468 KiB
Child status: 0
Real time (s): 225.214
CPU time (s): 224.539
CPU user time (s): 222.409
CPU system time (s): 2.13081
CPU usage (%): 99.7005
Max. virtual memory (cumulated for all children) (KiB): 96600
Max. memory (cumulated for all children) (KiB): 50468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 222.409
system time used= 2.13081
maximum resident set size= 47568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9167
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= 154
involuntary context switches= 505
# summary of solver processes directly reported to runsolver:
# pid: 20704
# total CPU time (s): 224.539
# total CPU user time (s): 222.409
# total CPU system time (s): 2.13081
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.487837 second user time and 1.05421 second system time
The end
Begin job on nodeC029 at 2025-06-29 01:42:04
IDJOB=4496002
IDBENCH=148104
IDSOLVER=3353
FILE ID=nodeC029/4496002-1751154124
RUNJOBID= nodeC029-1751146607-16318
SLURM_JOB_ID= 9587465
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww5.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496002-1751154124/watcher-4496002-1751154124 -o /tmp/evaluation-result-4496002-1751154124/solver-4496002-1751154124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751146607-16318 --watchdog 3760 run-dec-ls.sh HOME/instance-4496002-1751154124.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f50ea280ec2253a5ba14d185d456771a
RANDOM SEED=1809869800
nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.711
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.742
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 3600.615
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 3612.287
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.715
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.721
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 3602.999
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129843924 kB
MemAvailable: 129482428 kB
Buffers: 3280 kB
Cached: 440760 kB
SwapCached: 0 kB
Active: 604292 kB
Inactive: 221848 kB
Active(anon): 400164 kB
Inactive(anon): 0 kB
Active(file): 204128 kB
Inactive(file): 221848 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7148 kB
Writeback: 4 kB
AnonPages: 385232 kB
Mapped: 117104 kB
Shmem: 18060 kB
KReclaimable: 86388 kB
Slab: 169472 kB
SReclaimable: 86388 kB
SUnreclaim: 83084 kB
KernelStack: 4352 kB
PageTables: 4016 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 774552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 227328 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC029 at 2025-06-29 01:45:50