0.00/0.20 c RoundingSat 2
0.00/0.20 c branch pb25
0.00/0.20 c commit 63f22ad
0.00/0.20 c #variables 86 #constraints 2
0.00/0.20 c rational objective 1.09326
0.10/0.38 c #Conflicts: 1000 | #Constraints: 1002
0.10/0.38 c #Conflicts: 2000 | #Constraints: 2002
0.10/0.38 c INPROCESSING
0.10/0.38 c GARBAGE COLLECT
0.10/0.38 c rational objective 2
0.39/0.68 c #Conflicts: 3000 | #Constraints: 2005
0.39/0.68 c #Conflicts: 4000 | #Constraints: 3005
0.39/0.68 c INPROCESSING
0.39/0.68 c GARBAGE COLLECT
0.39/0.68 c rational objective 2
0.89/1.12 c #Conflicts: 5000 | #Constraints: 2504
0.89/1.12 c #Conflicts: 6000 | #Constraints: 3630
0.89/1.12 c INPROCESSING
0.89/1.12 c GARBAGE COLLECT
0.89/1.12 c rational objective 2
1.47/1.73 c #Conflicts: 7000 | #Constraints: 2780
1.47/1.73 c #Conflicts: 8000 | #Constraints: 3901
1.47/1.73 c #Conflicts: 9000 | #Constraints: 4992
1.47/1.73 c INPROCESSING
1.47/1.73 c GARBAGE COLLECT
1.47/1.73 c rational objective 2
2.27/2.54 c #Conflicts: 10000 | #Constraints: 3692
2.27/2.54 c #Conflicts: 11000 | #Constraints: 4812
2.27/2.54 c #Conflicts: 12000 | #Constraints: 5945
2.27/2.54 c INPROCESSING
2.27/2.54 c GARBAGE COLLECT
2.27/2.54 c rational objective 2
3.16/3.41 c #Conflicts: 13000 | #Constraints: 4285
3.16/3.41 c #Conflicts: 14000 | #Constraints: 5882
3.16/3.41 c #Conflicts: 15000 | #Constraints: 7213
3.16/3.41 c INPROCESSING
3.16/3.41 c GARBAGE COLLECT
3.16/3.41 c rational objective 2.00609
3.96/4.28 c #Conflicts: 16000 | #Constraints: 4675
3.96/4.28 c #Conflicts: 17000 | #Constraints: 5814
3.96/4.28 c #Conflicts: 18000 | #Constraints: 6877
3.96/4.28 c INPROCESSING
3.96/4.28 c GARBAGE COLLECT
3.96/4.28 c rational objective 2.61495
5.06/5.37 c #Conflicts: 19000 | #Constraints: 4410
5.06/5.37 c #Conflicts: 20000 | #Constraints: 5501
5.06/5.37 c #Conflicts: 21000 | #Constraints: 6562
5.06/5.37 c INPROCESSING
5.06/5.37 c GARBAGE COLLECT
5.06/5.37 c rational objective 2.41427
6.26/6.53 c #Conflicts: 22000 | #Constraints: 4064
6.26/6.53 c #Conflicts: 23000 | #Constraints: 5246
6.26/6.53 c #Conflicts: 24000 | #Constraints: 6513
6.26/6.53 c #Conflicts: 25000 | #Constraints: 7566
6.26/6.53 c INPROCESSING
6.26/6.53 c GARBAGE COLLECT
6.26/6.53 c rational objective 2.0603
7.36/7.69 c #Conflicts: 26000 | #Constraints: 5106
7.36/7.69 c #Conflicts: 27000 | #Constraints: 6683
7.36/7.69 c #Conflicts: 28000 | #Constraints: 8039
7.36/7.69 c #Conflicts: 29000 | #Constraints: 9240
7.36/7.69 c INPROCESSING
7.36/7.69 c GARBAGE COLLECT
7.36/7.69 c rational objective 2.0603
8.95/9.23 c #Conflicts: 30000 | #Constraints: 5709
8.95/9.23 c #Conflicts: 31000 | #Constraints: 6823
8.95/9.23 c #Conflicts: 32000 | #Constraints: 7882
8.95/9.23 c #Conflicts: 33000 | #Constraints: 8903
8.95/9.23 c INPROCESSING
8.95/9.23 c GARBAGE COLLECT
8.95/9.23 c rational objective 2.06035
10.45/10.70 c #Conflicts: 34000 | #Constraints: 5561
10.45/10.70 c #Conflicts: 35000 | #Constraints: 6784
10.45/10.70 c #Conflicts: 36000 | #Constraints: 7939
10.45/10.70 c #Conflicts: 37000 | #Constraints: 9076
10.45/10.70 c INPROCESSING
10.45/10.70 c GARBAGE COLLECT
10.45/10.70 c rational objective 2.06032
12.24/12.51 c #Conflicts: 38000 | #Constraints: 5728
12.24/12.51 c #Conflicts: 39000 | #Constraints: 6997
12.24/12.51 c #Conflicts: 40000 | #Constraints: 8608
12.24/12.51 c #Conflicts: 41000 | #Constraints: 10195
12.24/12.51 c INPROCESSING
12.24/12.51 c GARBAGE COLLECT
12.24/12.51 c rational objective 2.0014
14.14/14.44 c #Conflicts: 42000 | #Constraints: 5973
14.14/14.44 c #Conflicts: 43000 | #Constraints: 7039
14.14/14.44 c #Conflicts: 44000 | #Constraints: 8111
14.14/14.44 c #Conflicts: 45000 | #Constraints: 9193
14.14/14.44 c #Conflicts: 46000 | #Constraints: 10283
14.14/14.44 c INPROCESSING
14.14/14.44 c GARBAGE COLLECT
14.14/14.44 c rational objective 2.69236
16.14/16.49 c #Conflicts: 47000 | #Constraints: 6058
16.14/16.49 c #Conflicts: 48000 | #Constraints: 7063
16.14/16.49 c #Conflicts: 49000 | #Constraints: 8063
16.14/16.49 c #Conflicts: 50000 | #Constraints: 9063
16.14/16.49 c #Conflicts: 51000 | #Constraints: 10063
16.14/16.49 c INPROCESSING
16.14/16.49 c GARBAGE COLLECT
16.14/16.49 c rational objective 1.9217
18.12/18.45 c #Conflicts: 52000 | #Constraints: 6144
18.12/18.45 c #Conflicts: 53000 | #Constraints: 7267
18.12/18.45 c #Conflicts: 54000 | #Constraints: 8267
18.12/18.45 c #Conflicts: 55000 | #Constraints: 9267
18.12/18.45 c #Conflicts: 56000 | #Constraints: 10267
18.12/18.45 c INPROCESSING
18.12/18.45 c GARBAGE COLLECT
18.12/18.45 c rational objective 1.92059
20.32/20.61 c #Conflicts: 57000 | #Constraints: 6285
20.32/20.61 c #Conflicts: 58000 | #Constraints: 7379
20.32/20.61 c #Conflicts: 59000 | #Constraints: 8379
20.32/20.61 c #Conflicts: 60000 | #Constraints: 9453
20.32/20.61 c #Conflicts: 61000 | #Constraints: 10579
20.32/20.61 c INPROCESSING
20.32/20.61 c GARBAGE COLLECT
20.32/20.61 c rational objective 1.92059
22.82/23.13 c #Conflicts: 62000 | #Constraints: 6323
22.82/23.13 c #Conflicts: 63000 | #Constraints: 7474
22.82/23.13 c #Conflicts: 64000 | #Constraints: 8573
22.82/23.13 c #Conflicts: 65000 | #Constraints: 9831
22.82/23.13 c #Conflicts: 66000 | #Constraints: 11015
22.82/23.13 c INPROCESSING
22.82/23.13 c GARBAGE COLLECT
22.82/23.13 c rational objective 1.92061
25.11/25.48 c #Conflicts: 67000 | #Constraints: 6303
25.11/25.48 c #Conflicts: 68000 | #Constraints: 7378
25.11/25.48 c #Conflicts: 69000 | #Constraints: 8612
25.11/25.48 c #Conflicts: 70000 | #Constraints: 9795
25.11/25.48 c #Conflicts: 71000 | #Constraints: 11006
25.11/25.48 c #Conflicts: 72000 | #Constraints: 12166
25.11/25.48 c INPROCESSING
25.11/25.48 c GARBAGE COLLECT
25.11/25.48 c rational objective 1.92954
28.01/28.37 c #Conflicts: 73000 | #Constraints: 7048
28.01/28.37 c #Conflicts: 74000 | #Constraints: 8083
28.01/28.37 c #Conflicts: 75000 | #Constraints: 9180
28.01/28.37 c #Conflicts: 76000 | #Constraints: 10293
28.01/28.37 c #Conflicts: 77000 | #Constraints: 11351
28.01/28.37 c #Conflicts: 78000 | #Constraints: 12351
28.01/28.37 c INPROCESSING
28.01/28.37 c GARBAGE COLLECT
28.01/28.37 c rational objective 1.92062
30.70/31.07 c #Conflicts: 79000 | #Constraints: 7242
30.70/31.07 c #Conflicts: 80000 | #Constraints: 8242
30.70/31.07 c #Conflicts: 81000 | #Constraints: 9242
30.70/31.07 c #Conflicts: 82000 | #Constraints: 10242
30.70/31.07 c #Conflicts: 83000 | #Constraints: 11242
30.70/31.07 c #Conflicts: 84000 | #Constraints: 12242
30.70/31.07 c INPROCESSING
30.70/31.07 c GARBAGE COLLECT
30.70/31.07 c rational objective 1.95113
33.49/33.89 c #Conflicts: 85000 | #Constraints: 7137
33.49/33.89 c #Conflicts: 86000 | #Constraints: 8144
33.49/33.89 c #Conflicts: 87000 | #Constraints: 9144
33.49/33.89 c #Conflicts: 88000 | #Constraints: 10144
33.49/33.89 c #Conflicts: 89000 | #Constraints: 11144
33.49/33.89 c #Conflicts: 90000 | #Constraints: 12144
33.49/33.89 c INPROCESSING
33.49/33.89 c GARBAGE COLLECT
33.49/33.89 c rational objective 1.95116
36.69/37.01 c #Conflicts: 91000 | #Constraints: 7058
36.69/37.01 c #Conflicts: 92000 | #Constraints: 8112
36.69/37.01 c #Conflicts: 93000 | #Constraints: 9118
36.69/37.01 c #Conflicts: 94000 | #Constraints: 10118
36.69/37.01 c #Conflicts: 95000 | #Constraints: 11118
36.69/37.01 c #Conflicts: 96000 | #Constraints: 12138
36.69/37.01 c INPROCESSING
36.69/37.01 c GARBAGE COLLECT
36.69/37.01 c rational objective 1.95116
39.68/40.08 c #Conflicts: 97000 | #Constraints: 6785
39.68/40.08 c #Conflicts: 98000 | #Constraints: 7785
39.68/40.08 c #Conflicts: 99000 | #Constraints: 8843
39.68/40.08 c #Conflicts: 100000 | #Constraints: 9896
39.68/40.08 c #Conflicts: 101000 | #Constraints: 10899
39.68/40.08 c #Conflicts: 102000 | #Constraints: 11983
39.68/40.08 c #Conflicts: 103000 | #Constraints: 12983
39.68/40.08 c INPROCESSING
39.68/40.08 c GARBAGE COLLECT
39.68/40.08 c rational objective 1.95116
43.67/44.01 c #Conflicts: 104000 | #Constraints: 7439
43.67/44.01 c #Conflicts: 105000 | #Constraints: 8467
43.67/44.01 c #Conflicts: 106000 | #Constraints: 9558
43.67/44.01 c #Conflicts: 107000 | #Constraints: 10593
43.67/44.01 c #Conflicts: 108000 | #Constraints: 11618
43.67/44.01 c #Conflicts: 109000 | #Constraints: 12621
43.67/44.01 c #Conflicts: 110000 | #Constraints: 13621
43.67/44.01 c INPROCESSING
43.67/44.01 c GARBAGE COLLECT
43.67/44.01 c rational objective 1.95116
47.16/47.53 c #Conflicts: 111000 | #Constraints: 7883
47.16/47.53 c #Conflicts: 112000 | #Constraints: 8937
47.16/47.53 c #Conflicts: 113000 | #Constraints: 9968
47.16/47.53 c #Conflicts: 114000 | #Constraints: 10968
47.16/47.53 c #Conflicts: 115000 | #Constraints: 11968
47.16/47.53 c #Conflicts: 116000 | #Constraints: 12968
47.16/47.53 c #Conflicts: 117000 | #Constraints: 13968
47.16/47.53 c INPROCESSING
47.16/47.53 c GARBAGE COLLECT
47.16/47.53 c rational objective 1.95116
50.95/51.39 c #Conflicts: 118000 | #Constraints: 8048
50.95/51.39 c #Conflicts: 119000 | #Constraints: 9050
50.95/51.39 c #Conflicts: 120000 | #Constraints: 10050
50.95/51.39 c #Conflicts: 121000 | #Constraints: 11050
50.95/51.39 c #Conflicts: 122000 | #Constraints: 12050
50.95/51.39 c #Conflicts: 123000 | #Constraints: 13050
50.95/51.39 c #Conflicts: 124000 | #Constraints: 14050
50.95/51.39 c INPROCESSING
50.95/51.39 c GARBAGE COLLECT
50.95/51.39 c rational objective 1.95116
55.23/55.60 c #Conflicts: 125000 | #Constraints: 7998
55.23/55.60 c #Conflicts: 126000 | #Constraints: 9070
55.23/55.60 c #Conflicts: 127000 | #Constraints: 10085
55.23/55.60 c #Conflicts: 128000 | #Constraints: 11085
55.23/55.60 c #Conflicts: 129000 | #Constraints: 12085
55.23/55.60 c #Conflicts: 130000 | #Constraints: 13085
55.23/55.60 c #Conflicts: 131000 | #Constraints: 14085
55.23/55.60 c INPROCESSING
55.23/55.60 c GARBAGE COLLECT
55.23/55.60 c rational objective 1.95116
59.73/60.16 c #Conflicts: 132000 | #Constraints: 7766
59.73/60.16 c #Conflicts: 133000 | #Constraints: 9057
59.73/60.16 c #Conflicts: 134000 | #Constraints: 10085
59.73/60.16 c #Conflicts: 135000 | #Constraints: 11120
59.73/60.16 c #Conflicts: 136000 | #Constraints: 12179
59.73/60.16 c #Conflicts: 137000 | #Constraints: 13261
59.73/60.16 c #Conflicts: 138000 | #Constraints: 14373
59.73/60.16 c #Conflicts: 139000 | #Constraints: 15411
59.73/60.16 c INPROCESSING
59.73/60.16 c GARBAGE COLLECT
59.73/60.16 c rational objective 2.34489
65.72/66.15 c #Conflicts: 140000 | #Constraints: 8611
65.72/66.15 c #Conflicts: 141000 | #Constraints: 9613
65.72/66.15 c #Conflicts: 142000 | #Constraints: 10625
65.72/66.15 c #Conflicts: 143000 | #Constraints: 11657
65.72/66.15 c #Conflicts: 144000 | #Constraints: 12663
65.72/66.15 c #Conflicts: 145000 | #Constraints: 13680
65.72/66.15 c #Conflicts: 146000 | #Constraints: 14713
65.72/66.15 c #Conflicts: 147000 | #Constraints: 15734
65.72/66.15 c INPROCESSING
65.72/66.15 c GARBAGE COLLECT
65.72/66.15 c rational objective 1.95116
70.89/71.31 c #Conflicts: 148000 | #Constraints: 8879
70.89/71.31 c #Conflicts: 149000 | #Constraints: 9906
70.89/71.31 c #Conflicts: 150000 | #Constraints: 10906
70.89/71.31 c #Conflicts: 151000 | #Constraints: 11936
70.89/71.31 c #Conflicts: 152000 | #Constraints: 12974
70.89/71.31 c #Conflicts: 153000 | #Constraints: 13983
70.89/71.31 c #Conflicts: 154000 | #Constraints: 15005
70.89/71.31 c #Conflicts: 155000 | #Constraints: 16049
70.89/71.31 c INPROCESSING
70.89/71.31 c GARBAGE COLLECT
70.89/71.31 c rational objective 2.00012
75.78/76.25 c #Conflicts: 156000 | #Constraints: 9052
75.78/76.25 c #Conflicts: 157000 | #Constraints: 10052
75.78/76.25 c #Conflicts: 158000 | #Constraints: 11085
75.78/76.25 c #Conflicts: 159000 | #Constraints: 12127
75.78/76.25 c #Conflicts: 160000 | #Constraints: 13161
75.78/76.25 c #Conflicts: 161000 | #Constraints: 14161
75.78/76.25 c #Conflicts: 162000 | #Constraints: 15161
75.78/76.25 c #Conflicts: 163000 | #Constraints: 16161
75.78/76.25 c INPROCESSING
75.78/76.25 c GARBAGE COLLECT
75.78/76.25 c rational objective 2.00005
81.67/82.15 c #Conflicts: 164000 | #Constraints: 9042
81.67/82.15 c #Conflicts: 165000 | #Constraints: 10118
81.67/82.15 c #Conflicts: 166000 | #Constraints: 11200
81.67/82.15 c #Conflicts: 167000 | #Constraints: 12259
81.67/82.15 c #Conflicts: 168000 | #Constraints: 13347
81.67/82.15 c #Conflicts: 169000 | #Constraints: 14444
81.67/82.15 c #Conflicts: 170000 | #Constraints: 15514
81.67/82.15 c #Conflicts: 171000 | #Constraints: 16575
81.67/82.15 c INPROCESSING
81.67/82.15 c GARBAGE COLLECT
81.67/82.15 c rational objective 2.00101
87.35/87.86 c #Conflicts: 172000 | #Constraints: 9014
87.35/87.86 c #Conflicts: 173000 | #Constraints: 10033
87.35/87.86 c #Conflicts: 174000 | #Constraints: 11115
87.35/87.86 c #Conflicts: 175000 | #Constraints: 12193
87.35/87.86 c #Conflicts: 176000 | #Constraints: 13193
87.35/87.86 c #Conflicts: 177000 | #Constraints: 14238
87.35/87.86 c #Conflicts: 178000 | #Constraints: 15345
87.35/87.86 c #Conflicts: 179000 | #Constraints: 16485
87.35/87.86 c #Conflicts: 180000 | #Constraints: 17556
87.35/87.86 c INPROCESSING
87.35/87.86 c GARBAGE COLLECT
87.35/87.86 c rational objective 2.33933
93.63/94.16 c #Conflicts: 181000 | #Constraints: 9748
93.63/94.16 c #Conflicts: 182000 | #Constraints: 10755
93.63/94.16 c #Conflicts: 183000 | #Constraints: 11791
93.63/94.16 c #Conflicts: 184000 | #Constraints: 12795
93.63/94.16 c #Conflicts: 185000 | #Constraints: 13813
93.63/94.16 c #Conflicts: 186000 | #Constraints: 14815
93.63/94.16 c #Conflicts: 187000 | #Constraints: 15829
93.63/94.16 c #Conflicts: 188000 | #Constraints: 16829
93.63/94.16 c #Conflicts: 189000 | #Constraints: 17832
93.63/94.16 c INPROCESSING
93.63/94.16 c GARBAGE COLLECT
93.63/94.16 c rational objective 2.53061
100.61/101.15 c #Conflicts: 190000 | #Constraints: 9938
100.61/101.15 c #Conflicts: 191000 | #Constraints: 10943
100.61/101.15 c #Conflicts: 192000 | #Constraints: 11943
100.61/101.15 c #Conflicts: 193000 | #Constraints: 12943
100.61/101.15 c #Conflicts: 194000 | #Constraints: 13943
100.61/101.15 c #Conflicts: 195000 | #Constraints: 14943
100.61/101.15 c #Conflicts: 196000 | #Constraints: 15943
100.61/101.15 c #Conflicts: 197000 | #Constraints: 16943
100.61/101.15 c #Conflicts: 198000 | #Constraints: 17943
100.61/101.15 c INPROCESSING
100.61/101.15 c GARBAGE COLLECT
100.61/101.15 c rational objective 2.00074
107.68/108.27 c #Conflicts: 199000 | #Constraints: 10032
107.68/108.27 c #Conflicts: 200000 | #Constraints: 11107
107.68/108.27 c #Conflicts: 201000 | #Constraints: 12205
107.68/108.27 c #Conflicts: 202000 | #Constraints: 13335
107.68/108.27 c #Conflicts: 203000 | #Constraints: 14470
107.68/108.27 c #Conflicts: 204000 | #Constraints: 15578
107.68/108.27 c #Conflicts: 205000 | #Constraints: 16695
107.68/108.27 c #Conflicts: 206000 | #Constraints: 17739
107.68/108.27 c #Conflicts: 207000 | #Constraints: 18739
107.68/108.27 c INPROCESSING
107.68/108.27 c GARBAGE COLLECT
107.68/108.27 c rational objective 2.0015
115.46/116.00 c #Conflicts: 208000 | #Constraints: 10291
115.46/116.00 c #Conflicts: 209000 | #Constraints: 11291
115.46/116.00 c #Conflicts: 210000 | #Constraints: 12291
115.46/116.00 c #Conflicts: 211000 | #Constraints: 13291
115.46/116.00 c #Conflicts: 212000 | #Constraints: 14291
115.46/116.00 c #Conflicts: 213000 | #Constraints: 15291
115.46/116.00 c #Conflicts: 214000 | #Constraints: 16298
115.46/116.00 c #Conflicts: 215000 | #Constraints: 17302
115.46/116.00 c #Conflicts: 216000 | #Constraints: 18368
115.46/116.00 c INPROCESSING
115.46/116.00 c GARBAGE COLLECT
115.46/116.00 c rational objective 2.0015
123.13/123.74 c #Conflicts: 217000 | #Constraints: 9933
123.13/123.74 c #Conflicts: 218000 | #Constraints: 11034
123.13/123.74 c #Conflicts: 219000 | #Constraints: 12123
123.13/123.74 c #Conflicts: 220000 | #Constraints: 13249
123.13/123.74 c #Conflicts: 221000 | #Constraints: 14332
123.13/123.74 c #Conflicts: 222000 | #Constraints: 15421
123.13/123.74 c #Conflicts: 223000 | #Constraints: 16485
123.13/123.74 c #Conflicts: 224000 | #Constraints: 17485
123.13/123.74 c #Conflicts: 225000 | #Constraints: 18534
123.13/123.74 c #Conflicts: 226000 | #Constraints: 19536
123.13/123.74 c INPROCESSING
123.13/123.74 c GARBAGE COLLECT
123.13/123.74 c rational objective 2.0015
131.59/132.22 c #Conflicts: 227000 | #Constraints: 10697
131.59/132.22 c #Conflicts: 228000 | #Constraints: 11699
131.59/132.22 c #Conflicts: 229000 | #Constraints: 12715
131.59/132.22 c #Conflicts: 230000 | #Constraints: 13759
131.59/132.22 c #Conflicts: 231000 | #Constraints: 14801
131.59/132.22 c #Conflicts: 232000 | #Constraints: 15861
131.59/132.22 c #Conflicts: 233000 | #Constraints: 16901
131.59/132.22 c #Conflicts: 234000 | #Constraints: 17926
131.59/132.22 c #Conflicts: 235000 | #Constraints: 18976
131.59/132.22 c #Conflicts: 236000 | #Constraints: 19981
131.59/132.22 c INPROCESSING
131.59/132.22 c GARBAGE COLLECT
131.59/132.22 c rational objective 2.00345
139.16/139.86 c #Conflicts: 237000 | #Constraints: 11010
139.16/139.86 c #Conflicts: 238000 | #Constraints: 12014
139.16/139.86 c #Conflicts: 239000 | #Constraints: 13014
139.16/139.86 c #Conflicts: 240000 | #Constraints: 14014
139.16/139.86 c #Conflicts: 241000 | #Constraints: 15014
139.16/139.86 c #Conflicts: 242000 | #Constraints: 16014
139.16/139.86 c #Conflicts: 243000 | #Constraints: 17014
139.16/139.86 c #Conflicts: 244000 | #Constraints: 18014
139.16/139.86 c #Conflicts: 245000 | #Constraints: 19014
139.16/139.86 c #Conflicts: 246000 | #Constraints: 20014
139.16/139.86 c INPROCESSING
139.16/139.86 c GARBAGE COLLECT
139.16/139.86 c rational objective 2.00309
147.93/148.65 c #Conflicts: 247000 | #Constraints: 11056
147.93/148.65 c #Conflicts: 248000 | #Constraints: 12091
147.93/148.65 c #Conflicts: 249000 | #Constraints: 13127
147.93/148.65 c #Conflicts: 250000 | #Constraints: 14154
147.93/148.65 c #Conflicts: 251000 | #Constraints: 15164
147.93/148.65 c #Conflicts: 252000 | #Constraints: 16176
147.93/148.65 c #Conflicts: 253000 | #Constraints: 17186
147.93/148.65 c #Conflicts: 254000 | #Constraints: 18212
147.93/148.65 c #Conflicts: 255000 | #Constraints: 19228
147.93/148.65 c #Conflicts: 256000 | #Constraints: 20236
147.93/148.65 c INPROCESSING
147.93/148.65 c GARBAGE COLLECT
147.93/148.65 c rational objective 2.00309
157.31/158.00 c #Conflicts: 257000 | #Constraints: 11053
157.31/158.00 c #Conflicts: 258000 | #Constraints: 12075
157.31/158.00 c #Conflicts: 259000 | #Constraints: 13104
157.31/158.00 c #Conflicts: 260000 | #Constraints: 14125
157.31/158.00 c #Conflicts: 261000 | #Constraints: 15169
157.31/158.00 c #Conflicts: 262000 | #Constraints: 16226
157.31/158.00 c #Conflicts: 263000 | #Constraints: 17251
157.31/158.00 c #Conflicts: 264000 | #Constraints: 18254
157.31/158.00 c #Conflicts: 265000 | #Constraints: 19287
157.31/158.00 c #Conflicts: 266000 | #Constraints: 20320
157.31/158.00 c INPROCESSING
157.31/158.00 c GARBAGE COLLECT
157.31/158.00 c rational objective 2.00314
167.66/168.46 c #Conflicts: 267000 | #Constraints: 10874
167.66/168.46 c #Conflicts: 268000 | #Constraints: 11901
167.66/168.46 c #Conflicts: 269000 | #Constraints: 12945
167.66/168.46 c #Conflicts: 270000 | #Constraints: 13955
167.66/168.46 c #Conflicts: 271000 | #Constraints: 14975
167.66/168.46 c #Conflicts: 272000 | #Constraints: 15979
167.66/168.46 c #Conflicts: 273000 | #Constraints: 16980
167.66/168.46 c #Conflicts: 274000 | #Constraints: 17980
167.66/168.46 c #Conflicts: 275000 | #Constraints: 18980
167.66/168.46 c #Conflicts: 276000 | #Constraints: 19980
167.66/168.46 c #Conflicts: 277000 | #Constraints: 20980
167.66/168.46 c INPROCESSING
167.66/168.46 c GARBAGE COLLECT
167.66/168.46 c rational objective 2.00314
178.13/178.94 c #Conflicts: 278000 | #Constraints: 11433
178.13/178.94 c #Conflicts: 279000 | #Constraints: 12467
178.13/178.94 c #Conflicts: 280000 | #Constraints: 13506
178.13/178.94 c #Conflicts: 281000 | #Constraints: 14538
178.13/178.94 c #Conflicts: 282000 | #Constraints: 15585
178.13/178.94 c #Conflicts: 283000 | #Constraints: 16617
178.13/178.94 c #Conflicts: 284000 | #Constraints: 17623
178.13/178.94 c #Conflicts: 285000 | #Constraints: 18623
178.13/178.94 c #Conflicts: 286000 | #Constraints: 19623
178.13/178.94 c #Conflicts: 287000 | #Constraints: 20623
178.13/178.94 c #Conflicts: 288000 | #Constraints: 21623
178.13/178.94 c INPROCESSING
178.13/178.94 c GARBAGE COLLECT
178.13/178.94 c rational objective 2.00314
190.09/190.92 c #Conflicts: 289000 | #Constraints: 11845
190.09/190.92 c #Conflicts: 290000 | #Constraints: 12845
190.09/190.92 c #Conflicts: 291000 | #Constraints: 13845
190.09/190.92 c #Conflicts: 292000 | #Constraints: 14845
190.09/190.92 c #Conflicts: 293000 | #Constraints: 15845
190.09/190.92 c #Conflicts: 294000 | #Constraints: 16845
190.09/190.92 c #Conflicts: 295000 | #Constraints: 17845
190.09/190.92 c #Conflicts: 296000 | #Constraints: 18845
190.09/190.92 c #Conflicts: 297000 | #Constraints: 19845
190.09/190.92 c #Conflicts: 298000 | #Constraints: 20845
190.09/190.92 c #Conflicts: 299000 | #Constraints: 21845
190.09/190.92 c INPROCESSING
190.09/190.92 c GARBAGE COLLECT
190.09/190.92 c rational objective 2.0015
201.55/202.48 c #Conflicts: 300000 | #Constraints: 11956
201.55/202.48 c #Conflicts: 301000 | #Constraints: 12994
201.55/202.48 c #Conflicts: 302000 | #Constraints: 13994
201.55/202.48 c #Conflicts: 303000 | #Constraints: 15038
201.55/202.48 c #Conflicts: 304000 | #Constraints: 16100
201.55/202.48 c #Conflicts: 305000 | #Constraints: 17126
201.55/202.48 c #Conflicts: 306000 | #Constraints: 18167
201.55/202.48 c #Conflicts: 307000 | #Constraints: 19188
201.55/202.48 c #Conflicts: 308000 | #Constraints: 20188
201.55/202.48 c #Conflicts: 309000 | #Constraints: 21209
201.55/202.48 c #Conflicts: 310000 | #Constraints: 22270
201.55/202.48 c INPROCESSING
201.55/202.48 c GARBAGE COLLECT
201.55/202.48 c rational objective 2.00577
212.81/213.77 c #Conflicts: 311000 | #Constraints: 12042
212.81/213.77 c #Conflicts: 312000 | #Constraints: 13062
212.81/213.77 c #Conflicts: 313000 | #Constraints: 14092
212.81/213.77 c #Conflicts: 314000 | #Constraints: 15147
212.81/213.77 c #Conflicts: 315000 | #Constraints: 16215
212.81/213.77 c #Conflicts: 316000 | #Constraints: 17272
212.81/213.77 c #Conflicts: 317000 | #Constraints: 18272
212.81/213.77 c #Conflicts: 318000 | #Constraints: 19277
212.81/213.77 c #Conflicts: 319000 | #Constraints: 20289
212.81/213.77 c #Conflicts: 320000 | #Constraints: 21289
212.81/213.77 c #Conflicts: 321000 | #Constraints: 22292
212.81/213.77 c INPROCESSING
212.81/213.77 c GARBAGE COLLECT
212.81/213.77 c rational objective 2.00163
225.46/226.48 c #Conflicts: 322000 | #Constraints: 11885
225.46/226.48 c #Conflicts: 323000 | #Constraints: 12929
225.46/226.48 c #Conflicts: 324000 | #Constraints: 13933
225.46/226.48 c #Conflicts: 325000 | #Constraints: 14933
225.46/226.48 c #Conflicts: 326000 | #Constraints: 15933
225.46/226.48 c #Conflicts: 327000 | #Constraints: 16933
225.46/226.48 c #Conflicts: 328000 | #Constraints: 17933
225.46/226.48 c #Conflicts: 329000 | #Constraints: 18933
225.46/226.48 c #Conflicts: 330000 | #Constraints: 19933
225.46/226.48 c #Conflicts: 331000 | #Constraints: 20933
225.46/226.48 c #Conflicts: 332000 | #Constraints: 21933
225.46/226.48 c #Conflicts: 333000 | #Constraints: 22933
225.46/226.48 c INPROCESSING
225.46/226.48 c GARBAGE COLLECT
225.46/226.48 c rational objective 2.0016
225.56/226.53 c cpu time 223.471 s
225.56/226.53 c deterministic time 72488451564 7.25e+10
225.56/226.53 c optimization time 5e-05 s
225.56/226.53 c total solve time 223.471 s
225.56/226.53 c core-guided solve time 0 s
225.56/226.53 c propagation time 203.263 s
225.56/226.53 c conflict analysis time 16.3516 s
225.56/226.53 c propagations 2079212
225.56/226.53 c resolve steps 1134510
225.56/226.53 c decisions 502502
225.56/226.53 c conflicts 333205
225.56/226.53 c restarts 767
225.56/226.53 c inprocessing phases 49
225.56/226.53 c garbage collections 49 ,( 100.00 )
225.56/226.53 c input clauses 0 ,( 0.00 )
225.56/226.53 c input cardinalities 0 ,( 0.00 )
225.56/226.53 c input general constraints 2 ,( 100.00 )
225.56/226.53 c input average constraint length 86.00
225.56/226.53 c input average constraint degree 254207637.50
225.56/226.53 c learned clauses 151664 ,( 43.15 )
225.56/226.53 c learned cardinalities 0 ,( 0.00 )
225.56/226.53 c learned general constraints 199847 ,( 56.85 )
225.56/226.53 c learned average constraint length 63.74
225.56/226.53 c learned average constraint degree 89100447.14
225.56/226.53 c watched CF 32, 64, 128, Arb: 34086 , 0 , 0 , 0
225.56/226.53 c counting CF 32, 64, 128, Arb: 165763 , 0 , 0 , 0
225.56/226.53 c watched constraints 34086 ,( 17.06 )
225.56/226.53 c counting constraints 165763 ,( 82.94 )
225.56/226.53 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 14025941 , 0 , 3570230466 ,( 52670614 , 3517559852 )
225.56/226.53 c gcd simplifications 170102
225.56/226.53 c detected cardinalities 0
225.56/226.53 c weakened non-implied lits 1589516
225.56/226.53 c weakened non-implying lits 3196670
225.56/226.53 c original variables 86
225.56/226.53 c clausal propagations 222899
225.56/226.53 c cardinality propagations 0
225.56/226.53 c watched propagations 43912
225.56/226.53 c counting propagations 1466547
225.56/226.53 c watch lookups 3771447840
225.56/226.53 c watch backjump lookups 0
225.56/226.53 c watch checks 400825946
225.56/226.53 c propagation checks 68202879797
225.56/226.53 c constraint additions 107766858
225.56/226.53 c trail pops 2914919
225.56/226.53 c formula constraints 2
225.56/226.53 c learned constraints 333205
225.56/226.53 c bound constraints 0
225.56/226.53 c core-guided constraints 0
225.56/226.53 c encountered formula constraints 875606
225.56/226.53 c encountered learned constraints 592109
225.56/226.53 c encountered bound constraints 0
225.56/226.53 c encountered core-guided constraints 0
225.56/226.53 c LP total time 3.97617 s
225.56/226.53 c LP solve time 2.17 s
225.56/226.53 c LP constraints added 80
225.56/226.53 c LP constraints removed 72
225.56/226.53 c LP pivots internal 33321
225.56/226.53 c LP pivots root 1168
225.56/226.53 c LP calls 25286
225.56/226.53 c LP optimalities 6383
225.56/226.53 c LP no pivot count 636
225.56/226.53 c LP infeasibilities 18881
225.56/226.53 c LP valid Farkas constraints 18264
225.56/226.53 c LP learned Farkas constraints 0
225.56/226.53 c LP basis resets 22
225.56/226.53 c LP cycling count 9
225.56/226.53 c LP singular count 13
225.56/226.53 c LP no primal count 0
225.56/226.53 c LP no farkas count 0
225.56/226.53 c LP other issue count 0
225.56/226.53 c LP Gomory cuts 42
225.56/226.53 c LP learned cuts 38
225.56/226.53 c LP deleted cuts 74
225.56/226.53 c LP encountered Gomory constraints 0
225.56/226.53 c LP encountered Farkas constraints 0
225.56/226.53 c LP encountered learned Farkas constraints 0
225.56/226.53 c CG auxiliary variables introduced 0
225.56/226.53 c CG solutions found 0
225.56/226.53 c CG cores constructed 0
225.56/226.53 c CG core cardinality constraints returned 0
225.56/226.53 c CG unit cores 0
225.56/226.53 c CG single cores 0
225.56/226.53 c CG blocks removed during cardinality reduction 0
225.56/226.53 c CG first core best 0
225.56/226.53 c CG decision core best 0
225.56/226.53 c CG core reduction tie 0
225.56/226.53 c CG core degree average 0.00
225.56/226.53 c CG core slack average 0.00
225.56/226.53 c CG core upper bound improvements 0
225.56/226.53 c STR number of successful calls 0
225.56/226.53 c STR number of unsuccessful calls 0
225.56/226.53 c STR number of inconclusive calls 0
225.56/226.53 c STR number of successful attempts 0
225.56/226.53 c STR number of unsuccessful attempts 0
225.56/226.53 c STR number of inconclusive attempts 0
225.56/226.53 c STR average degree increase per successful call inf
225.56/226.53 c STR average degree increase per successful attempt inf
225.56/226.53 c STR total number of conflicts for successful attempts 0
225.56/226.53 c STR total number of conflicts for unsuccessful attempts 0
225.56/226.53 c STR total number of conflicts for inconclusive attempts 0
225.56/226.53 c STR average number of conflicts per successful attempt inf
225.56/226.53 c STR average number of conflicts per unsuccessful attempt inf
225.56/226.53 c STR average number of conflicts per inconclusive attempt inf
225.56/226.53 c AVG.sumWPerc 70.06
225.56/226.53 c bigint constraints 0
225.56/226.53 s SATISFIABLE
225.56/226.53 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 (63148 MiB free)
memory of node 1: 64465 MiB (63924 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496000-1751159806/watcher-4496000-1751159806 -o /tmp/evaluation-result-4496000-1751159806/solver-4496000-1751159806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751159806-16842 --watchdog 3760 run-dec.sh HOME/instance-4496000-1751159806.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=16888, runsolver pid=16882
[startup+0.100065 s]*
/proc/loadavg: 0.82 1.03 1.29 1/269 16905
/proc/meminfo: memFree=130117848/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=48720 memory=1024 CPUtime=0 cores=4,6
/proc/16894/stat : 16894 (roundingsat) D 16888 16888 16831 0 -1 4194304 94 0 3 0 0 0 0 0 20 0 1 0 31658517 49889280 256 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 12180 256 224 1147 0 131 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 52912 KiB
Current children cumulated memory: 3840 KiB
[startup+0.205584 s]*
/proc/loadavg: 0.82 1.03 1.29 1/269 16905
/proc/meminfo: memFree=130116360/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=55416 memory=9728 CPUtime=0 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 420 0 11 0 0 0 0 0 20 0 1 0 31658517 56745984 2432 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 13854 2432 2272 1147 0 1281 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 59608 KiB
Current children cumulated memory: 12544 KiB
[startup+0.305098 s]*
/proc/loadavg: 0.82 1.03 1.29 5/269 16905
/proc/meminfo: memFree=130106732/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=56888 memory=13268 CPUtime=0.1 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 799 0 11 0 10 0 0 0 20 0 1 0 31658517 58253312 3317 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 14222 3317 2272 1147 0 1649 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 61080 KiB
Current children cumulated memory: 16084 KiB
[startup+0.700155 s]
/proc/loadavg: 0.82 1.03 1.29 4/266 16905
/proc/meminfo: memFree=130102952/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=59136 memory=15316 CPUtime=0.49 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 1308 0 11 0 47 2 0 0 20 0 1 0 31658517 60555264 3829 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 14784 3829 2272 1147 0 2211 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 63328 KiB
Current children cumulated memory: 18132 KiB
[startup+1.50014 s]
/proc/loadavg: 0.82 1.03 1.29 3/259 16921
/proc/meminfo: memFree=130099944/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=60388 memory=16468 CPUtime=1.28 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 1595 0 11 0 123 5 0 0 20 0 1 0 31658517 61837312 4117 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 15097 4117 2272 1147 0 2524 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 64580 KiB
Current children cumulated memory: 19284 KiB
[startup+3.10481 s]
/proc/loadavg: 0.82 1.03 1.29 5/269 16997
/proc/meminfo: memFree=130094452/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=62340 memory=19972 CPUtime=2.87 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 1944 0 11 0 277 10 0 0 20 0 1 0 31658517 63836160 4993 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 15585 4993 2272 1147 0 3012 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 66532 KiB
Current children cumulated memory: 22788 KiB
[startup+6.30013 s]
/proc/loadavg: 1.08 1.08 1.31 5/269 16997
/proc/meminfo: memFree=130090356/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=64100 memory=21508 CPUtime=6.06 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 2347 0 11 0 591 15 0 0 20 0 1 0 31658517 65638400 5377 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 16025 5377 2272 1147 0 3452 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 68292 KiB
Current children cumulated memory: 24324 KiB
[startup+12.7002 s]
/proc/loadavg: 1.39 1.14 1.33 5/269 16997
/proc/meminfo: memFree=130076244/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=70324 memory=25092 CPUtime=12.45 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 3224 0 11 0 1221 24 0 0 20 0 1 0 31658517 72011776 6273 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 17581 6273 2272 1147 0 5008 0
Current children cumulated CPU time: 12.45 s
Current children cumulated vsize: 74516 KiB
Current children cumulated memory: 27908 KiB
[startup+25.5002 s]
/proc/loadavg: 1.97 1.28 1.37 5/269 16997
/proc/meminfo: memFree=130069212/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=74544 memory=29188 CPUtime=25.21 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 4195 0 11 0 2482 39 0 0 20 0 1 0 31658517 76333056 7297 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 18636 7297 2368 1147 0 6063 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 78736 KiB
Current children cumulated memory: 32004 KiB
[startup+51.1056 s]
/proc/loadavg: 2.66 1.50 1.44 5/271 17000
/proc/meminfo: memFree=130053344/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=76128 memory=31748 CPUtime=50.75 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 4789 0 11 0 5003 72 0 0 20 0 1 0 31658517 77955072 7937 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 19032 7937 2400 1147 0 6459 0
Current children cumulated CPU time: 50.75 s
Current children cumulated vsize: 80320 KiB
Current children cumulated memory: 34564 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 1.94 1.60 5/271 17002
/proc/meminfo: memFree=130004072/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=86864 memory=39172 CPUtime=101.8 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 7040 0 11 0 10058 122 0 0 20 0 1 0 31658517 88948736 9793 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 21716 9793 2400 1147 0 9143 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 91056 KiB
Current children cumulated memory: 41988 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.33 1.75 5/270 17006
/proc/meminfo: memFree=129964700/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=89960 memory=44676 CPUtime=161.59 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 7907 0 11 0 15992 167 0 0 20 0 1 0 31658517 92119040 11169 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 22490 11169 2400 1147 0 9917 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 94152 KiB
Current children cumulated memory: 47492 KiB
[startup+222.3 s]
/proc/loadavg: 3.97 2.64 1.90 5/271 17013
/proc/meminfo: memFree=129964656/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=91392 memory=46584 CPUtime=221.38 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 8600 0 11 0 21928 210 0 0 20 0 1 0 31658517 93585408 11646 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 22848 11646 2400 1147 0 10275 0
Current children cumulated CPU time: 221.38 s
Current children cumulated vsize: 95584 KiB
Current children cumulated memory: 49400 KiB
[startup+226.531 s]
# the end of solver process 16888 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=223.475 s, system=2.12975 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+224 s]*
/proc/loadavg: 4.05 2.68 1.91 5/271 17013
/proc/meminfo: memFree=129964664/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=91392 memory=46584 CPUtime=223.08 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 8613 0 11 0 22097 211 0 0 20 0 1 0 31658517 93585408 11646 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 22848 11646 2400 1147 0 10275 0
Current children cumulated CPU time: 223.08 s
Current children cumulated vsize: 95584 KiB
Current children cumulated memory: 49400 KiB
[startup+225.6 s]
/proc/loadavg: 4.05 2.68 1.91 5/271 17013
/proc/meminfo: memFree=129964664/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=91616 memory=46712 CPUtime=224.67 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 8635 0 11 0 22255 212 0 0 20 0 1 0 31658517 93814784 11678 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 22904 11678 2400 1147 0 10331 0
Current children cumulated CPU time: 224.67 s
Current children cumulated vsize: 95808 KiB
Current children cumulated memory: 49528 KiB
[startup+226 s]*
/proc/loadavg: 4.05 2.68 1.91 5/271 17013
/proc/meminfo: memFree=129964916/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=91616 memory=46712 CPUtime=225.07 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 8653 0 11 0 22295 212 0 0 20 0 1 0 31658517 93814784 11678 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 22904 11678 2400 1147 0 10331 0
Current children cumulated CPU time: 225.07 s
Current children cumulated vsize: 95808 KiB
Current children cumulated memory: 49528 KiB
[startup+226.4 s]
/proc/loadavg: 4.05 2.68 1.91 5/271 17013
/proc/meminfo: memFree=129964916/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=91872 memory=46968 CPUtime=225.46 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 8696 0 11 0 22334 212 0 0 20 0 1 0 31658517 94076928 11742 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 22968 11742 2400 1147 0 10395 0
Current children cumulated CPU time: 225.46 s
Current children cumulated vsize: 96064 KiB
Current children cumulated memory: 49784 KiB
[startup+226.5 s]
/proc/loadavg: 4.05 2.68 1.91 5/271 17013
/proc/meminfo: memFree=129964916/131249996 swapFree=33010684/33010684
[pid=16888] ppid=16882 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/16888/stat : 16888 (run-dec.sh) S 16882 16888 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31658516 4292608 704 18446744073709551615 94882356383744 94882357278277 140732537748848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882357517328 94882357565072 94882373521408 140732537751917 140732537752040 140732537752040 140732537757642 0
/proc/16888/statm: 1048 704 672 219 0 110 0
[pid=16894] ppid=16888 vsize=92160 memory=47224 CPUtime=225.56 cores=4,6
/proc/16894/stat : 16894 (roundingsat) R 16888 16888 16831 0 -1 4194304 8784 0 11 0 22344 212 0 0 20 0 1 0 31658517 94371840 11806 18446744073709551615 4227072 8923433 140723697884592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23740416 140723697891767 140723697891880 140723697891880 140723697897450 0
/proc/16894/statm: 23040 11806 2400 1147 0 10467 0
Current children cumulated CPU time: 225.56 s
Current children cumulated vsize: 96352 KiB
Current children cumulated memory: 50040 KiB
Child status: 0
Real time (s): 226.531
CPU time (s): 225.604
CPU user time (s): 223.475
CPU system time (s): 2.12975
CPU usage (%): 99.591
Max. virtual memory (cumulated for all children) (KiB): 96352
Max. memory (cumulated for all children) (KiB): 50040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 223.475
system time used= 2.12975
maximum resident set size= 47224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9016
page faults= 11
swaps= 0
block input operations= 6768
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 234
involuntary context switches= 256
# summary of solver processes directly reported to runsolver:
# pid: 16888
# total CPU time (s): 225.604
# total CPU user time (s): 223.475
# total CPU system time (s): 2.12975
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.447653 second user time and 1.05001 second system time
The end
Begin job on nodeC023 at 2025-06-29 03:16:46
IDJOB=4496000
IDBENCH=148104
IDSOLVER=3349
FILE ID=nodeC023/4496000-1751159806
RUNJOBID= nodeC023-1751159806-16842
SLURM_JOB_ID= 9587505
Free space on /tmp= 433064 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww5.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496000-1751159806/watcher-4496000-1751159806 -o /tmp/evaluation-result-4496000-1751159806/solver-4496000-1751159806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751159806-16842 --watchdog 3760 run-dec.sh HOME/instance-4496000-1751159806.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f50ea280ec2253a5ba14d185d456771a
RANDOM SEED=339942010
nodeC023 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 : 3592.919
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.78
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 : 3602.993
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.78
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.145
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.78
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.305
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.78
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.887
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.78
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 : 3580.023
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.78
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 : 3496.768
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.78
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 : 3599.450
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130123248 kB
MemAvailable: 129769752 kB
Buffers: 3280 kB
Cached: 457288 kB
SwapCached: 0 kB
Active: 289416 kB
Inactive: 250532 kB
Active(anon): 97444 kB
Inactive(anon): 0 kB
Active(file): 191972 kB
Inactive(file): 250532 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28196 kB
Writeback: 0 kB
AnonPages: 82728 kB
Mapped: 102124 kB
Shmem: 18064 kB
KReclaimable: 85864 kB
Slab: 170676 kB
SReclaimable: 85864 kB
SUnreclaim: 84812 kB
KernelStack: 4024 kB
PageTables: 2408 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 340056 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433036 MiB
End job on nodeC023 at 2025-06-29 03:20:33