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 82 #constraints 2
0.00/0.01 c rational objective 1.12346
0.18/0.26 c #Conflicts: 1000 | #Constraints: 1183
0.18/0.26 c #Conflicts: 2000 | #Constraints: 2303
0.18/0.26 c INPROCESSING
0.18/0.26 c GARBAGE COLLECT
0.18/0.26 c rational objective 2
0.48/0.58 c #Conflicts: 3000 | #Constraints: 2274
0.48/0.58 c #Conflicts: 4000 | #Constraints: 3405
0.48/0.58 c INPROCESSING
0.48/0.58 c GARBAGE COLLECT
0.48/0.58 c rational objective 2
0.87/0.94 c #Conflicts: 5000 | #Constraints: 2622
0.87/0.94 c #Conflicts: 6000 | #Constraints: 3751
0.87/0.94 c INPROCESSING
0.87/0.94 c GARBAGE COLLECT
0.87/0.94 c rational objective 2
1.27/1.35 c #Conflicts: 7000 | #Constraints: 2623
1.27/1.35 c #Conflicts: 8000 | #Constraints: 3625
1.27/1.35 c #Conflicts: 9000 | #Constraints: 4657
1.27/1.35 c INPROCESSING
1.27/1.35 c GARBAGE COLLECT
1.27/1.35 c rational objective 2
1.67/1.70 c #Conflicts: 10000 | #Constraints: 3246
1.67/1.70 c #Conflicts: 11000 | #Constraints: 4246
1.67/1.70 c #Conflicts: 12000 | #Constraints: 5246
1.67/1.70 c INPROCESSING
1.67/1.70 c GARBAGE COLLECT
1.67/1.70 c rational objective 2
2.26/2.35 c #Conflicts: 13000 | #Constraints: 3632
2.26/2.35 c #Conflicts: 14000 | #Constraints: 4632
2.26/2.35 c #Conflicts: 15000 | #Constraints: 5663
2.26/2.35 c INPROCESSING
2.26/2.35 c GARBAGE COLLECT
2.26/2.35 c rational objective 2
2.86/2.94 c #Conflicts: 16000 | #Constraints: 3862
2.86/2.94 c #Conflicts: 17000 | #Constraints: 4955
2.86/2.94 c #Conflicts: 18000 | #Constraints: 6039
2.86/2.94 c INPROCESSING
2.86/2.94 c GARBAGE COLLECT
2.86/2.94 c rational objective 2
3.66/3.78 c #Conflicts: 19000 | #Constraints: 3971
3.66/3.78 c #Conflicts: 20000 | #Constraints: 5054
3.66/3.78 c #Conflicts: 21000 | #Constraints: 6157
3.66/3.78 c INPROCESSING
3.66/3.78 c GARBAGE COLLECT
3.66/3.78 c rational objective 2
4.86/4.94 c #Conflicts: 22000 | #Constraints: 3822
4.86/4.94 c #Conflicts: 23000 | #Constraints: 4896
4.86/4.94 c #Conflicts: 24000 | #Constraints: 5941
4.86/4.94 c #Conflicts: 25000 | #Constraints: 7062
4.86/4.94 c INPROCESSING
4.86/4.94 c GARBAGE COLLECT
4.86/4.94 c rational objective 2
5.86/5.97 c #Conflicts: 26000 | #Constraints: 4452
5.86/5.97 c #Conflicts: 27000 | #Constraints: 5452
5.86/5.97 c #Conflicts: 28000 | #Constraints: 6452
5.86/5.97 c #Conflicts: 29000 | #Constraints: 7503
5.86/5.97 c INPROCESSING
5.86/5.97 c GARBAGE COLLECT
5.86/5.97 c rational objective 2
7.25/7.38 c #Conflicts: 30000 | #Constraints: 4809
7.25/7.38 c #Conflicts: 31000 | #Constraints: 5876
7.25/7.38 c #Conflicts: 32000 | #Constraints: 6913
7.25/7.38 c #Conflicts: 33000 | #Constraints: 7991
7.25/7.38 c INPROCESSING
7.25/7.38 c GARBAGE COLLECT
7.25/7.38 c rational objective 2
8.55/8.63 c #Conflicts: 34000 | #Constraints: 5117
8.55/8.63 c #Conflicts: 35000 | #Constraints: 6394
8.55/8.63 c #Conflicts: 36000 | #Constraints: 7911
8.55/8.63 c #Conflicts: 37000 | #Constraints: 9283
8.55/8.63 c INPROCESSING
8.55/8.63 c GARBAGE COLLECT
8.55/8.63 c rational objective 2
10.64/10.71 c #Conflicts: 38000 | #Constraints: 5647
10.64/10.71 c #Conflicts: 39000 | #Constraints: 6698
10.64/10.71 c #Conflicts: 40000 | #Constraints: 7734
10.64/10.71 c #Conflicts: 41000 | #Constraints: 8813
10.64/10.71 c INPROCESSING
10.64/10.71 c GARBAGE COLLECT
10.64/10.71 c rational objective 2
13.33/13.45 c #Conflicts: 42000 | #Constraints: 5150
13.33/13.45 c #Conflicts: 43000 | #Constraints: 6276
13.33/13.45 c #Conflicts: 44000 | #Constraints: 7381
13.33/13.45 c #Conflicts: 45000 | #Constraints: 8505
13.33/13.45 c #Conflicts: 46000 | #Constraints: 9607
13.33/13.45 c INPROCESSING
13.33/13.45 c GARBAGE COLLECT
13.33/13.45 c rational objective 2
15.53/15.65 c #Conflicts: 47000 | #Constraints: 5745
15.53/15.65 c #Conflicts: 48000 | #Constraints: 6809
15.53/15.65 c #Conflicts: 49000 | #Constraints: 7857
15.53/15.65 c #Conflicts: 50000 | #Constraints: 8920
15.53/15.65 c #Conflicts: 51000 | #Constraints: 9965
15.53/15.65 c INPROCESSING
15.53/15.65 c GARBAGE COLLECT
15.53/15.65 c rational objective 2
17.73/17.87 c #Conflicts: 52000 | #Constraints: 5992
17.73/17.87 c #Conflicts: 53000 | #Constraints: 6992
17.73/17.87 c #Conflicts: 54000 | #Constraints: 8061
17.73/17.87 c #Conflicts: 55000 | #Constraints: 9112
17.73/17.87 c #Conflicts: 56000 | #Constraints: 10209
17.73/17.87 c INPROCESSING
17.73/17.87 c GARBAGE COLLECT
17.73/17.87 c rational objective 2
19.93/20.07 c #Conflicts: 57000 | #Constraints: 6113
19.93/20.07 c #Conflicts: 58000 | #Constraints: 7122
19.93/20.07 c #Conflicts: 59000 | #Constraints: 8126
19.93/20.07 c #Conflicts: 60000 | #Constraints: 9126
19.93/20.07 c #Conflicts: 61000 | #Constraints: 10126
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c rational objective 2
22.92/23.00 c #Conflicts: 62000 | #Constraints: 6038
22.92/23.00 c #Conflicts: 63000 | #Constraints: 7245
22.92/23.00 c #Conflicts: 64000 | #Constraints: 8343
22.92/23.00 c #Conflicts: 65000 | #Constraints: 9486
22.92/23.00 c #Conflicts: 66000 | #Constraints: 10575
22.92/23.00 c INPROCESSING
22.92/23.00 c GARBAGE COLLECT
22.92/23.00 c rational objective 2
26.21/26.32 c #Conflicts: 67000 | #Constraints: 6036
26.21/26.32 c #Conflicts: 68000 | #Constraints: 7086
26.21/26.32 c #Conflicts: 69000 | #Constraints: 8086
26.21/26.32 c #Conflicts: 70000 | #Constraints: 9086
26.21/26.32 c #Conflicts: 71000 | #Constraints: 10086
26.21/26.32 c #Conflicts: 72000 | #Constraints: 11086
26.21/26.32 c INPROCESSING
26.21/26.32 c GARBAGE COLLECT
26.21/26.32 c rational objective 2
29.01/29.13 c #Conflicts: 73000 | #Constraints: 6480
29.01/29.13 c #Conflicts: 74000 | #Constraints: 7544
29.01/29.13 c #Conflicts: 75000 | #Constraints: 8617
29.01/29.13 c #Conflicts: 76000 | #Constraints: 9645
29.01/29.13 c #Conflicts: 77000 | #Constraints: 10654
29.01/29.13 c #Conflicts: 78000 | #Constraints: 11707
29.01/29.13 c INPROCESSING
29.01/29.13 c GARBAGE COLLECT
29.01/29.13 c rational objective 2
32.49/32.68 c #Conflicts: 79000 | #Constraints: 6964
32.49/32.68 c #Conflicts: 80000 | #Constraints: 8047
32.49/32.68 c #Conflicts: 81000 | #Constraints: 9087
32.49/32.68 c #Conflicts: 82000 | #Constraints: 10159
32.49/32.68 c #Conflicts: 83000 | #Constraints: 11251
32.49/32.68 c #Conflicts: 84000 | #Constraints: 12358
32.49/32.68 c INPROCESSING
32.49/32.68 c GARBAGE COLLECT
32.49/32.68 c rational objective 2
35.69/35.89 c #Conflicts: 85000 | #Constraints: 7278
35.69/35.89 c #Conflicts: 86000 | #Constraints: 8349
35.69/35.89 c #Conflicts: 87000 | #Constraints: 9434
35.69/35.89 c #Conflicts: 88000 | #Constraints: 10540
35.69/35.89 c #Conflicts: 89000 | #Constraints: 11616
35.69/35.89 c #Conflicts: 90000 | #Constraints: 12700
35.69/35.89 c INPROCESSING
35.69/35.89 c GARBAGE COLLECT
35.69/35.89 c rational objective 2
37.98/38.19 c #Conflicts: 91000 | #Constraints: 7328
37.98/38.19 c #Conflicts: 92000 | #Constraints: 8405
37.98/38.19 c #Conflicts: 93000 | #Constraints: 9507
37.98/38.19 c #Conflicts: 94000 | #Constraints: 10602
37.98/38.19 c #Conflicts: 95000 | #Constraints: 11669
37.98/38.19 c #Conflicts: 96000 | #Constraints: 12729
37.98/38.19 c INPROCESSING
37.98/38.19 c GARBAGE COLLECT
37.98/38.19 c rational objective 2
40.98/41.15 c #Conflicts: 97000 | #Constraints: 7119
40.98/41.15 c #Conflicts: 98000 | #Constraints: 8222
40.98/41.15 c #Conflicts: 99000 | #Constraints: 9322
40.98/41.15 c #Conflicts: 100000 | #Constraints: 10411
40.98/41.15 c #Conflicts: 101000 | #Constraints: 11475
40.98/41.15 c #Conflicts: 102000 | #Constraints: 12544
40.98/41.15 c #Conflicts: 103000 | #Constraints: 13608
40.98/41.15 c INPROCESSING
40.98/41.15 c GARBAGE COLLECT
40.98/41.15 c rational objective 2
44.16/44.32 c #Conflicts: 104000 | #Constraints: 7733
44.16/44.32 c #Conflicts: 105000 | #Constraints: 8733
44.16/44.32 c #Conflicts: 106000 | #Constraints: 9755
44.16/44.32 c #Conflicts: 107000 | #Constraints: 10855
44.16/44.32 c #Conflicts: 108000 | #Constraints: 11931
44.16/44.32 c #Conflicts: 109000 | #Constraints: 13066
44.16/44.32 c #Conflicts: 110000 | #Constraints: 14186
44.16/44.32 c INPROCESSING
44.16/44.32 c GARBAGE COLLECT
44.16/44.32 c rational objective 2
47.86/48.07 c #Conflicts: 111000 | #Constraints: 8182
47.86/48.07 c #Conflicts: 112000 | #Constraints: 9244
47.86/48.07 c #Conflicts: 113000 | #Constraints: 10329
47.86/48.07 c #Conflicts: 114000 | #Constraints: 11406
47.86/48.07 c #Conflicts: 115000 | #Constraints: 12470
47.86/48.07 c #Conflicts: 116000 | #Constraints: 13474
47.86/48.07 c #Conflicts: 117000 | #Constraints: 14505
47.86/48.07 c INPROCESSING
47.86/48.07 c GARBAGE COLLECT
47.86/48.07 c rational objective 2
51.95/52.18 c #Conflicts: 118000 | #Constraints: 8281
51.95/52.18 c #Conflicts: 119000 | #Constraints: 9420
51.95/52.18 c #Conflicts: 120000 | #Constraints: 10484
51.95/52.18 c #Conflicts: 121000 | #Constraints: 11576
51.95/52.18 c #Conflicts: 122000 | #Constraints: 12711
51.95/52.18 c #Conflicts: 123000 | #Constraints: 13836
51.95/52.18 c #Conflicts: 124000 | #Constraints: 14927
51.95/52.18 c INPROCESSING
51.95/52.18 c GARBAGE COLLECT
51.95/52.18 c rational objective 2
55.84/56.01 c #Conflicts: 125000 | #Constraints: 8381
55.84/56.01 c #Conflicts: 126000 | #Constraints: 9457
55.84/56.01 c #Conflicts: 127000 | #Constraints: 10599
55.84/56.01 c #Conflicts: 128000 | #Constraints: 11718
55.84/56.01 c #Conflicts: 129000 | #Constraints: 12840
55.84/56.01 c #Conflicts: 130000 | #Constraints: 13910
55.84/56.01 c #Conflicts: 131000 | #Constraints: 14982
55.84/56.01 c INPROCESSING
55.84/56.01 c GARBAGE COLLECT
55.84/56.01 c rational objective 2
59.72/59.92 c #Conflicts: 132000 | #Constraints: 8257
59.72/59.92 c #Conflicts: 133000 | #Constraints: 9341
59.72/59.92 c #Conflicts: 134000 | #Constraints: 10396
59.72/59.92 c #Conflicts: 135000 | #Constraints: 11478
59.72/59.92 c #Conflicts: 136000 | #Constraints: 12561
59.72/59.92 c #Conflicts: 137000 | #Constraints: 13629
59.72/59.92 c #Conflicts: 138000 | #Constraints: 14695
59.72/59.92 c #Conflicts: 139000 | #Constraints: 15754
59.72/59.92 c INPROCESSING
59.72/59.92 c GARBAGE COLLECT
59.72/59.92 c rational objective 2
66.30/66.53 c #Conflicts: 140000 | #Constraints: 9069
66.30/66.53 c #Conflicts: 141000 | #Constraints: 10489
66.30/66.53 c #Conflicts: 142000 | #Constraints: 11808
66.30/66.53 c #Conflicts: 143000 | #Constraints: 13536
66.30/66.53 c #Conflicts: 144000 | #Constraints: 15315
66.30/66.53 c #Conflicts: 145000 | #Constraints: 16992
66.30/66.53 c #Conflicts: 146000 | #Constraints: 18883
66.30/66.53 c #Conflicts: 147000 | #Constraints: 20618
66.30/66.53 c INPROCESSING
66.30/66.53 c GARBAGE COLLECT
66.30/66.53 c rational objective 2
73.29/73.52 c #Conflicts: 148000 | #Constraints: 11496
73.29/73.52 c #Conflicts: 149000 | #Constraints: 12572
73.29/73.52 c #Conflicts: 150000 | #Constraints: 13680
73.29/73.52 c #Conflicts: 151000 | #Constraints: 14801
73.29/73.52 c #Conflicts: 152000 | #Constraints: 15883
73.29/73.52 c #Conflicts: 153000 | #Constraints: 16963
73.29/73.52 c #Conflicts: 154000 | #Constraints: 18033
73.29/73.52 c #Conflicts: 155000 | #Constraints: 19089
73.29/73.52 c INPROCESSING
73.29/73.52 c GARBAGE COLLECT
73.29/73.52 c rational objective 2
78.47/78.79 c #Conflicts: 156000 | #Constraints: 10571
78.47/78.79 c #Conflicts: 157000 | #Constraints: 11641
78.47/78.79 c #Conflicts: 158000 | #Constraints: 12769
78.47/78.79 c #Conflicts: 159000 | #Constraints: 13859
78.47/78.79 c #Conflicts: 160000 | #Constraints: 14913
78.47/78.79 c #Conflicts: 161000 | #Constraints: 16015
78.47/78.79 c #Conflicts: 162000 | #Constraints: 17082
78.47/78.79 c #Conflicts: 163000 | #Constraints: 18180
78.47/78.79 c INPROCESSING
78.47/78.79 c GARBAGE COLLECT
78.47/78.79 c rational objective 2
83.36/83.66 c #Conflicts: 164000 | #Constraints: 10013
83.36/83.66 c #Conflicts: 165000 | #Constraints: 11013
83.36/83.66 c #Conflicts: 166000 | #Constraints: 12013
83.36/83.66 c #Conflicts: 167000 | #Constraints: 13013
83.36/83.66 c #Conflicts: 168000 | #Constraints: 14013
83.36/83.66 c #Conflicts: 169000 | #Constraints: 15013
83.36/83.66 c #Conflicts: 170000 | #Constraints: 16013
83.36/83.66 c #Conflicts: 171000 | #Constraints: 17013
83.36/83.66 c INPROCESSING
83.36/83.66 c GARBAGE COLLECT
83.36/83.66 c rational objective 2
89.64/89.96 c #Conflicts: 172000 | #Constraints: 9247
89.64/89.96 c #Conflicts: 173000 | #Constraints: 10340
89.64/89.96 c #Conflicts: 174000 | #Constraints: 11444
89.64/89.96 c #Conflicts: 175000 | #Constraints: 12551
89.64/89.96 c #Conflicts: 176000 | #Constraints: 13659
89.64/89.96 c #Conflicts: 177000 | #Constraints: 14757
89.64/89.96 c #Conflicts: 178000 | #Constraints: 15847
89.64/89.96 c #Conflicts: 179000 | #Constraints: 16957
89.64/89.96 c #Conflicts: 180000 | #Constraints: 18041
89.64/89.96 c INPROCESSING
89.64/89.96 c GARBAGE COLLECT
89.64/89.96 c rational objective 2
94.34/94.64 c #Conflicts: 181000 | #Constraints: 9956
94.34/94.64 c #Conflicts: 182000 | #Constraints: 11084
94.34/94.64 c #Conflicts: 183000 | #Constraints: 12172
94.34/94.64 c #Conflicts: 184000 | #Constraints: 13252
94.34/94.64 c #Conflicts: 185000 | #Constraints: 14347
94.34/94.64 c #Conflicts: 186000 | #Constraints: 15423
94.34/94.64 c #Conflicts: 187000 | #Constraints: 16548
94.34/94.64 c #Conflicts: 188000 | #Constraints: 17651
94.34/94.64 c #Conflicts: 189000 | #Constraints: 18759
94.34/94.64 c INPROCESSING
94.34/94.64 c GARBAGE COLLECT
94.34/94.64 c rational objective 2
100.31/100.63 c #Conflicts: 190000 | #Constraints: 10389
100.31/100.63 c #Conflicts: 191000 | #Constraints: 11389
100.31/100.63 c #Conflicts: 192000 | #Constraints: 12389
100.31/100.63 c #Conflicts: 193000 | #Constraints: 13389
100.31/100.63 c #Conflicts: 194000 | #Constraints: 14389
100.31/100.63 c #Conflicts: 195000 | #Constraints: 15389
100.31/100.63 c #Conflicts: 196000 | #Constraints: 16389
100.31/100.63 c #Conflicts: 197000 | #Constraints: 17389
100.31/100.63 c #Conflicts: 198000 | #Constraints: 18389
100.31/100.63 c INPROCESSING
100.31/100.63 c GARBAGE COLLECT
100.31/100.63 c rational objective 2
109.59/109.90 c #Conflicts: 199000 | #Constraints: 10216
109.59/109.90 c #Conflicts: 200000 | #Constraints: 11216
109.59/109.90 c #Conflicts: 201000 | #Constraints: 12216
109.59/109.90 c #Conflicts: 202000 | #Constraints: 13216
109.59/109.90 c #Conflicts: 203000 | #Constraints: 14216
109.59/109.90 c #Conflicts: 204000 | #Constraints: 15216
109.59/109.90 c #Conflicts: 205000 | #Constraints: 16216
109.59/109.90 c #Conflicts: 206000 | #Constraints: 17240
109.59/109.90 c #Conflicts: 207000 | #Constraints: 18264
109.59/109.90 c INPROCESSING
109.59/109.90 c GARBAGE COLLECT
109.59/109.90 c rational objective 2
116.47/116.85 c #Conflicts: 208000 | #Constraints: 10039
116.47/116.85 c #Conflicts: 209000 | #Constraints: 11039
116.47/116.85 c #Conflicts: 210000 | #Constraints: 12039
116.47/116.85 c #Conflicts: 211000 | #Constraints: 13039
116.47/116.85 c #Conflicts: 212000 | #Constraints: 14039
116.47/116.85 c #Conflicts: 213000 | #Constraints: 15039
116.47/116.85 c #Conflicts: 214000 | #Constraints: 16039
116.47/116.85 c #Conflicts: 215000 | #Constraints: 17039
116.47/116.85 c #Conflicts: 216000 | #Constraints: 18039
116.47/116.85 c INPROCESSING
116.47/116.85 c GARBAGE COLLECT
116.47/116.85 c rational objective 2
131.52/131.95 c #Conflicts: 217000 | #Constraints: 9791
131.52/131.95 c #Conflicts: 218000 | #Constraints: 11217
131.52/131.95 c #Conflicts: 219000 | #Constraints: 13162
131.52/131.95 c #Conflicts: 220000 | #Constraints: 14755
131.52/131.95 c #Conflicts: 221000 | #Constraints: 16431
131.52/131.95 c #Conflicts: 222000 | #Constraints: 18402
131.52/131.95 c #Conflicts: 223000 | #Constraints: 20013
131.52/131.95 c #Conflicts: 224000 | #Constraints: 21792
131.52/131.95 c #Conflicts: 225000 | #Constraints: 23507
131.52/131.95 c #Conflicts: 226000 | #Constraints: 25380
131.52/131.95 c INPROCESSING
131.52/131.95 c GARBAGE COLLECT
131.52/131.95 c rational objective 2
144.48/144.90 c #Conflicts: 227000 | #Constraints: 14474
144.48/144.90 c #Conflicts: 228000 | #Constraints: 16011
144.48/144.90 c #Conflicts: 229000 | #Constraints: 17115
144.48/144.90 c #Conflicts: 230000 | #Constraints: 18242
144.48/144.90 c #Conflicts: 231000 | #Constraints: 19345
144.48/144.90 c #Conflicts: 232000 | #Constraints: 20475
144.48/144.90 c #Conflicts: 233000 | #Constraints: 21627
144.48/144.90 c #Conflicts: 234000 | #Constraints: 22735
144.48/144.90 c #Conflicts: 235000 | #Constraints: 23884
144.48/144.90 c #Conflicts: 236000 | #Constraints: 24957
144.48/144.90 c INPROCESSING
144.48/144.90 c GARBAGE COLLECT
144.48/144.90 c rational objective 2
156.26/156.70 c #Conflicts: 237000 | #Constraints: 13486
156.26/156.70 c #Conflicts: 238000 | #Constraints: 14486
156.26/156.70 c #Conflicts: 239000 | #Constraints: 15486
156.26/156.70 c #Conflicts: 240000 | #Constraints: 16486
156.26/156.70 c #Conflicts: 241000 | #Constraints: 17552
156.26/156.70 c #Conflicts: 242000 | #Constraints: 18655
156.26/156.70 c #Conflicts: 243000 | #Constraints: 19782
156.26/156.70 c #Conflicts: 244000 | #Constraints: 20875
156.26/156.70 c #Conflicts: 245000 | #Constraints: 21954
156.26/156.70 c #Conflicts: 246000 | #Constraints: 23018
156.26/156.70 c INPROCESSING
156.26/156.70 c GARBAGE COLLECT
156.26/156.70 c rational objective 2
165.23/165.76 c #Conflicts: 247000 | #Constraints: 12600
165.23/165.76 c #Conflicts: 248000 | #Constraints: 13725
165.23/165.76 c #Conflicts: 249000 | #Constraints: 14880
165.23/165.76 c #Conflicts: 250000 | #Constraints: 16038
165.23/165.76 c #Conflicts: 251000 | #Constraints: 17131
165.23/165.76 c #Conflicts: 252000 | #Constraints: 18286
165.23/165.76 c #Conflicts: 253000 | #Constraints: 19383
165.23/165.76 c #Conflicts: 254000 | #Constraints: 20484
165.23/165.76 c #Conflicts: 255000 | #Constraints: 21620
165.23/165.76 c #Conflicts: 256000 | #Constraints: 22762
165.23/165.76 c INPROCESSING
165.23/165.76 c GARBAGE COLLECT
165.23/165.76 c rational objective 2.01894
174.80/175.31 c #Conflicts: 257000 | #Constraints: 12337
174.80/175.31 c #Conflicts: 258000 | #Constraints: 13372
174.80/175.31 c #Conflicts: 259000 | #Constraints: 14395
174.80/175.31 c #Conflicts: 260000 | #Constraints: 15428
174.80/175.31 c #Conflicts: 261000 | #Constraints: 16487
174.80/175.31 c #Conflicts: 262000 | #Constraints: 17519
174.80/175.31 c #Conflicts: 263000 | #Constraints: 18546
174.80/175.31 c #Conflicts: 264000 | #Constraints: 19643
174.80/175.31 c #Conflicts: 265000 | #Constraints: 20749
174.80/175.31 c #Conflicts: 266000 | #Constraints: 21919
174.80/175.31 c INPROCESSING
174.80/175.31 c GARBAGE COLLECT
174.80/175.31 c rational objective 2.08144
185.88/186.45 c #Conflicts: 267000 | #Constraints: 11716
185.88/186.45 c #Conflicts: 268000 | #Constraints: 12733
185.88/186.45 c #Conflicts: 269000 | #Constraints: 13739
185.88/186.45 c #Conflicts: 270000 | #Constraints: 14753
185.88/186.45 c #Conflicts: 271000 | #Constraints: 15755
185.88/186.45 c #Conflicts: 272000 | #Constraints: 16757
185.88/186.45 c #Conflicts: 273000 | #Constraints: 17763
185.88/186.45 c #Conflicts: 274000 | #Constraints: 18777
185.88/186.45 c #Conflicts: 275000 | #Constraints: 19796
185.88/186.45 c #Conflicts: 276000 | #Constraints: 20822
185.88/186.45 c #Conflicts: 277000 | #Constraints: 21840
185.88/186.45 c INPROCESSING
185.88/186.45 c GARBAGE COLLECT
185.88/186.45 c rational objective 2.37458
196.65/197.24 c #Conflicts: 278000 | #Constraints: 11835
196.65/197.24 c #Conflicts: 279000 | #Constraints: 12839
196.65/197.24 c #Conflicts: 280000 | #Constraints: 13864
196.65/197.24 c #Conflicts: 281000 | #Constraints: 14864
196.65/197.24 c #Conflicts: 282000 | #Constraints: 15869
196.65/197.24 c #Conflicts: 283000 | #Constraints: 16869
196.65/197.24 c #Conflicts: 284000 | #Constraints: 17873
196.65/197.24 c #Conflicts: 285000 | #Constraints: 18878
196.65/197.24 c #Conflicts: 286000 | #Constraints: 19900
196.65/197.24 c #Conflicts: 287000 | #Constraints: 20918
196.65/197.24 c #Conflicts: 288000 | #Constraints: 21925
196.65/197.24 c INPROCESSING
196.65/197.24 c GARBAGE COLLECT
196.65/197.24 c rational objective 2.38068
207.42/208.10 c #Conflicts: 289000 | #Constraints: 11982
207.42/208.10 c #Conflicts: 290000 | #Constraints: 12984
207.42/208.10 c #Conflicts: 291000 | #Constraints: 13984
207.42/208.10 c #Conflicts: 292000 | #Constraints: 14996
207.42/208.10 c #Conflicts: 293000 | #Constraints: 16003
207.42/208.10 c #Conflicts: 294000 | #Constraints: 17007
207.42/208.10 c #Conflicts: 295000 | #Constraints: 18007
207.42/208.10 c #Conflicts: 296000 | #Constraints: 19014
207.42/208.10 c #Conflicts: 297000 | #Constraints: 20014
207.42/208.10 c #Conflicts: 298000 | #Constraints: 21014
207.42/208.10 c #Conflicts: 299000 | #Constraints: 22014
207.42/208.10 c INPROCESSING
207.42/208.10 c GARBAGE COLLECT
207.42/208.10 c rational objective 2.00002
217.40/218.09 c #Conflicts: 300000 | #Constraints: 12037
217.40/218.09 c #Conflicts: 301000 | #Constraints: 13037
217.40/218.09 c #Conflicts: 302000 | #Constraints: 14037
217.40/218.09 c #Conflicts: 303000 | #Constraints: 15037
217.40/218.09 c #Conflicts: 304000 | #Constraints: 16037
217.40/218.09 c #Conflicts: 305000 | #Constraints: 17037
217.40/218.09 c #Conflicts: 306000 | #Constraints: 18037
217.40/218.09 c #Conflicts: 307000 | #Constraints: 19037
217.40/218.09 c #Conflicts: 308000 | #Constraints: 20037
217.40/218.09 c #Conflicts: 309000 | #Constraints: 21037
217.40/218.09 c #Conflicts: 310000 | #Constraints: 22037
217.40/218.09 c INPROCESSING
217.40/218.09 c GARBAGE COLLECT
217.40/218.09 c rational objective 2.00002
226.27/226.97 c #Conflicts: 311000 | #Constraints: 11942
226.27/226.97 c #Conflicts: 312000 | #Constraints: 12946
226.27/226.97 c #Conflicts: 313000 | #Constraints: 13949
226.27/226.97 c #Conflicts: 314000 | #Constraints: 15001
226.27/226.97 c #Conflicts: 315000 | #Constraints: 16004
226.27/226.97 c #Conflicts: 316000 | #Constraints: 17021
226.27/226.97 c #Conflicts: 317000 | #Constraints: 18048
226.27/226.97 c #Conflicts: 318000 | #Constraints: 19059
226.27/226.97 c #Conflicts: 319000 | #Constraints: 20065
226.27/226.97 c #Conflicts: 320000 | #Constraints: 21082
226.27/226.97 c #Conflicts: 321000 | #Constraints: 22118
226.27/226.97 c INPROCESSING
226.27/226.97 c GARBAGE COLLECT
226.27/226.97 c rational objective 2.00002
241.13/241.83 c #Conflicts: 322000 | #Constraints: 11768
241.13/241.83 c #Conflicts: 323000 | #Constraints: 12785
241.13/241.83 c #Conflicts: 324000 | #Constraints: 13789
241.13/241.83 c #Conflicts: 325000 | #Constraints: 14796
241.13/241.83 c #Conflicts: 326000 | #Constraints: 15802
241.13/241.83 c #Conflicts: 327000 | #Constraints: 16803
241.13/241.83 c #Conflicts: 328000 | #Constraints: 17811
241.13/241.83 c #Conflicts: 329000 | #Constraints: 18834
241.13/241.83 c #Conflicts: 330000 | #Constraints: 19834
241.13/241.83 c #Conflicts: 331000 | #Constraints: 20847
241.13/241.83 c #Conflicts: 332000 | #Constraints: 21856
241.13/241.83 c #Conflicts: 333000 | #Constraints: 22856
241.13/241.83 c INPROCESSING
241.13/241.83 c GARBAGE COLLECT
241.13/241.83 c rational objective 2.00002
254.19/254.92 c #Conflicts: 334000 | #Constraints: 12345
254.19/254.92 c #Conflicts: 335000 | #Constraints: 13357
254.19/254.92 c #Conflicts: 336000 | #Constraints: 14365
254.19/254.92 c #Conflicts: 337000 | #Constraints: 15369
254.19/254.92 c #Conflicts: 338000 | #Constraints: 16378
254.19/254.92 c #Conflicts: 339000 | #Constraints: 17379
254.19/254.92 c #Conflicts: 340000 | #Constraints: 18379
254.19/254.92 c #Conflicts: 341000 | #Constraints: 19379
254.19/254.92 c #Conflicts: 342000 | #Constraints: 20379
254.19/254.92 c #Conflicts: 343000 | #Constraints: 21379
254.19/254.92 c #Conflicts: 344000 | #Constraints: 22379
254.19/254.92 c #Conflicts: 345000 | #Constraints: 23379
254.19/254.92 c INPROCESSING
254.19/254.92 c GARBAGE COLLECT
254.19/254.92 c rational objective 2.00002
263.17/263.99 c #Conflicts: 346000 | #Constraints: 12710
263.17/263.99 c #Conflicts: 347000 | #Constraints: 13718
263.17/263.99 c #Conflicts: 348000 | #Constraints: 14736
263.17/263.99 c #Conflicts: 349000 | #Constraints: 15736
263.17/263.99 c #Conflicts: 350000 | #Constraints: 16736
263.17/263.99 c #Conflicts: 351000 | #Constraints: 17736
263.17/263.99 c #Conflicts: 352000 | #Constraints: 18736
263.17/263.99 c #Conflicts: 353000 | #Constraints: 19736
263.17/263.99 c #Conflicts: 354000 | #Constraints: 20736
263.17/263.99 c #Conflicts: 355000 | #Constraints: 21736
263.17/263.99 c #Conflicts: 356000 | #Constraints: 22736
263.17/263.99 c #Conflicts: 357000 | #Constraints: 23736
263.17/263.99 c INPROCESSING
263.17/263.99 c GARBAGE COLLECT
263.17/263.99 c rational objective 2.00002
275.84/276.65 c #Conflicts: 358000 | #Constraints: 12875
275.84/276.65 c #Conflicts: 359000 | #Constraints: 13875
275.84/276.65 c #Conflicts: 360000 | #Constraints: 14875
275.84/276.65 c #Conflicts: 361000 | #Constraints: 15875
275.84/276.65 c #Conflicts: 362000 | #Constraints: 16876
275.84/276.65 c #Conflicts: 363000 | #Constraints: 17895
275.84/276.65 c #Conflicts: 364000 | #Constraints: 18896
275.84/276.65 c #Conflicts: 365000 | #Constraints: 19896
275.84/276.65 c #Conflicts: 366000 | #Constraints: 20907
275.84/276.65 c #Conflicts: 367000 | #Constraints: 21913
275.84/276.65 c #Conflicts: 368000 | #Constraints: 22915
275.84/276.65 c #Conflicts: 369000 | #Constraints: 23926
275.84/276.65 c INPROCESSING
275.84/276.65 c GARBAGE COLLECT
275.84/276.65 c rational objective 2.02983
288.60/289.49 c #Conflicts: 370000 | #Constraints: 12878
288.60/289.49 c #Conflicts: 371000 | #Constraints: 13886
288.60/289.49 c #Conflicts: 372000 | #Constraints: 14899
288.60/289.49 c #Conflicts: 373000 | #Constraints: 15910
288.60/289.49 c #Conflicts: 374000 | #Constraints: 16916
288.60/289.49 c #Conflicts: 375000 | #Constraints: 17923
288.60/289.49 c #Conflicts: 376000 | #Constraints: 18923
288.60/289.49 c #Conflicts: 377000 | #Constraints: 19923
288.60/289.49 c #Conflicts: 378000 | #Constraints: 20923
288.60/289.49 c #Conflicts: 379000 | #Constraints: 21923
288.60/289.49 c #Conflicts: 380000 | #Constraints: 22924
288.60/289.49 c #Conflicts: 381000 | #Constraints: 23927
288.60/289.49 c INPROCESSING
288.60/289.49 c GARBAGE COLLECT
288.60/289.49 c rational objective 2.00002
301.67/302.58 c #Conflicts: 382000 | #Constraints: 12677
301.67/302.58 c #Conflicts: 383000 | #Constraints: 13677
301.67/302.58 c #Conflicts: 384000 | #Constraints: 14677
301.67/302.58 c #Conflicts: 385000 | #Constraints: 15677
301.67/302.58 c #Conflicts: 386000 | #Constraints: 16687
301.67/302.58 c #Conflicts: 387000 | #Constraints: 17694
301.67/302.58 c #Conflicts: 388000 | #Constraints: 18694
301.67/302.58 c #Conflicts: 389000 | #Constraints: 19694
301.67/302.58 c #Conflicts: 390000 | #Constraints: 20694
301.67/302.58 c #Conflicts: 391000 | #Constraints: 21694
301.67/302.58 c #Conflicts: 392000 | #Constraints: 22694
301.67/302.58 c #Conflicts: 393000 | #Constraints: 23694
301.67/302.58 c #Conflicts: 394000 | #Constraints: 24694
301.67/302.58 c INPROCESSING
301.67/302.58 c GARBAGE COLLECT
301.67/302.58 c rational objective 2.00002
315.13/316.00 c #Conflicts: 395000 | #Constraints: 13261
315.13/316.00 c #Conflicts: 396000 | #Constraints: 14268
315.13/316.00 c #Conflicts: 397000 | #Constraints: 15283
315.13/316.00 c #Conflicts: 398000 | #Constraints: 16284
315.13/316.00 c #Conflicts: 399000 | #Constraints: 17289
315.13/316.00 c #Conflicts: 400000 | #Constraints: 18290
315.13/316.00 c #Conflicts: 401000 | #Constraints: 19300
315.13/316.00 c #Conflicts: 402000 | #Constraints: 20310
315.13/316.00 c #Conflicts: 403000 | #Constraints: 21318
315.13/316.00 c #Conflicts: 404000 | #Constraints: 22318
315.13/316.00 c #Conflicts: 405000 | #Constraints: 23318
315.13/316.00 c #Conflicts: 406000 | #Constraints: 24325
315.13/316.00 c #Conflicts: 407000 | #Constraints: 25325
315.13/316.00 c INPROCESSING
315.13/316.00 c GARBAGE COLLECT
315.13/316.00 c rational objective 2.00005
327.99/328.91 c #Conflicts: 408000 | #Constraints: 13678
327.99/328.91 c #Conflicts: 409000 | #Constraints: 14679
327.99/328.91 c #Conflicts: 410000 | #Constraints: 15816
327.99/328.91 c #Conflicts: 411000 | #Constraints: 16887
327.99/328.91 c #Conflicts: 412000 | #Constraints: 18112
327.99/328.91 c #Conflicts: 413000 | #Constraints: 19656
327.99/328.91 c #Conflicts: 414000 | #Constraints: 21005
327.99/328.91 c #Conflicts: 415000 | #Constraints: 22332
327.99/328.91 c #Conflicts: 416000 | #Constraints: 23604
327.99/328.91 c #Conflicts: 417000 | #Constraints: 24852
327.99/328.91 c #Conflicts: 418000 | #Constraints: 26456
327.99/328.91 c #Conflicts: 419000 | #Constraints: 27835
327.99/328.91 c #Conflicts: 420000 | #Constraints: 29067
327.99/328.91 c INPROCESSING
327.99/328.91 c GARBAGE COLLECT
327.99/328.91 c rational objective 2.00006
340.94/341.92 c #Conflicts: 421000 | #Constraints: 15563
340.94/341.92 c #Conflicts: 422000 | #Constraints: 16655
340.94/341.92 c #Conflicts: 423000 | #Constraints: 17691
340.94/341.92 c #Conflicts: 424000 | #Constraints: 18811
340.94/341.92 c #Conflicts: 425000 | #Constraints: 20354
340.94/341.92 c #Conflicts: 426000 | #Constraints: 21944
340.94/341.92 c #Conflicts: 427000 | #Constraints: 23402
340.94/341.92 c #Conflicts: 428000 | #Constraints: 24970
340.94/341.92 c #Conflicts: 429000 | #Constraints: 26415
340.94/341.92 c #Conflicts: 430000 | #Constraints: 27456
340.94/341.92 c #Conflicts: 431000 | #Constraints: 28585
340.94/341.92 c #Conflicts: 432000 | #Constraints: 29585
340.94/341.92 c #Conflicts: 433000 | #Constraints: 30585
340.94/341.92 c INPROCESSING
340.94/341.92 c GARBAGE COLLECT
340.94/341.92 c rational objective 2.00005
340.94/341.96 c cpu time 335.602 s
340.94/341.96 c deterministic time 63264069445 6.33e+10
340.94/341.96 c optimization time 5.1e-05 s
340.94/341.96 c total solve time 335.601 s
340.94/341.96 c core-guided solve time 0 s
340.94/341.96 c propagation time 292.312 s
340.94/341.96 c conflict analysis time 36.9888 s
340.94/341.96 c propagations 5624001
340.94/341.96 c resolve steps 1151808
340.94/341.96 c decisions 3794559
340.94/341.96 c conflicts 433200
340.94/341.96 c restarts 1020
340.94/341.96 c inprocessing phases 57
340.94/341.96 c garbage collections 57 ,( 100.00 )
340.94/341.96 c input clauses 0 ,( 0.00 )
340.94/341.96 c input cardinalities 0 ,( 0.00 )
340.94/341.96 c input general constraints 2 ,( 100.00 )
340.94/341.96 c input average constraint length 82.00
340.94/341.96 c input average constraint degree 486858570.50
340.94/341.96 c learned clauses 351946 ,( 74.80 )
340.94/341.96 c learned cardinalities 0 ,( 0.00 )
340.94/341.96 c learned general constraints 118549 ,( 25.20 )
340.94/341.96 c learned average constraint length 45.99
340.94/341.96 c learned average constraint degree 73348024.49
340.94/341.96 c watched CF 32, 64, 128, Arb: 14624 , 0 , 0 , 0
340.94/341.96 c counting CF 32, 64, 128, Arb: 103927 , 0 , 0 , 0
340.94/341.96 c watched constraints 14624 ,( 12.34 )
340.94/341.96 c counting constraints 103927 ,( 87.66 )
340.94/341.96 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 37544953 , 0 , 9275792409 ,( 11018855 , 9264773554 )
340.94/341.96 c gcd simplifications 261717
340.94/341.96 c detected cardinalities 0
340.94/341.96 c weakened non-implied lits 2213609
340.94/341.96 c weakened non-implying lits 4326428
340.94/341.96 c original variables 82
340.94/341.96 c clausal propagations 392510
340.94/341.96 c cardinality propagations 0
340.94/341.96 c watched propagations 15393
340.94/341.96 c counting propagations 4771436
340.94/341.96 c watch lookups 10600969566
340.94/341.96 c watch backjump lookups 0
340.94/341.96 c watch checks 259546788
340.94/341.96 c propagation checks 52281108226
340.94/341.96 c constraint additions 103130595
340.94/341.96 c trail pops 9851759
340.94/341.96 c formula constraints 2
340.94/341.96 c learned constraints 433200
340.94/341.96 c bound constraints 0
340.94/341.96 c core-guided constraints 0
340.94/341.96 c encountered formula constraints 968528
340.94/341.96 c encountered learned constraints 616450
340.94/341.96 c encountered bound constraints 0
340.94/341.96 c encountered core-guided constraints 0
340.94/341.96 c LP total time 5.63986 s
340.94/341.96 c LP solve time 2.81 s
340.94/341.96 c LP constraints added 105
340.94/341.96 c LP constraints removed 95
340.94/341.96 c LP pivots internal 43327
340.94/341.96 c LP pivots root 623
340.94/341.96 c LP calls 62260
340.94/341.96 c LP optimalities 24438
340.94/341.96 c LP no pivot count 18358
340.94/341.96 c LP infeasibilities 37701
340.94/341.96 c LP valid Farkas constraints 37246
340.94/341.96 c LP learned Farkas constraints 0
340.94/341.96 c LP basis resets 121
340.94/341.96 c LP cycling count 105
340.94/341.96 c LP singular count 16
340.94/341.96 c LP no primal count 0
340.94/341.96 c LP no farkas count 0
340.94/341.96 c LP other issue count 0
340.94/341.96 c LP Gomory cuts 49
340.94/341.96 c LP learned cuts 54
340.94/341.96 c LP deleted cuts 97
340.94/341.96 c LP encountered Gomory constraints 1
340.94/341.96 c LP encountered Farkas constraints 29
340.94/341.96 c LP encountered learned Farkas constraints 0
340.94/341.96 c CG auxiliary variables introduced 0
340.94/341.96 c CG solutions found 0
340.94/341.96 c CG cores constructed 0
340.94/341.96 c CG core cardinality constraints returned 0
340.94/341.96 c CG unit cores 0
340.94/341.96 c CG single cores 0
340.94/341.96 c CG blocks removed during cardinality reduction 0
340.94/341.96 c CG first core best 0
340.94/341.96 c CG decision core best 0
340.94/341.96 c CG core reduction tie 0
340.94/341.96 c CG core degree average 0.00
340.94/341.96 c CG core slack average 0.00
340.94/341.96 c CG core upper bound improvements 0
340.94/341.96 c STR number of successful calls 0
340.94/341.96 c STR number of unsuccessful calls 0
340.94/341.96 c STR number of inconclusive calls 0
340.94/341.96 c STR number of successful attempts 0
340.94/341.96 c STR number of unsuccessful attempts 0
340.94/341.96 c STR number of inconclusive attempts 0
340.94/341.96 c STR average degree increase per successful call inf
340.94/341.96 c STR average degree increase per successful attempt inf
340.94/341.96 c STR total number of conflicts for successful attempts 0
340.94/341.96 c STR total number of conflicts for unsuccessful attempts 0
340.94/341.96 c STR total number of conflicts for inconclusive attempts 0
340.94/341.96 c STR average number of conflicts per successful attempt inf
340.94/341.96 c STR average number of conflicts per unsuccessful attempt inf
340.94/341.96 c STR average number of conflicts per inconclusive attempt inf
340.94/341.96 c AVG.sumWPerc 72.14
340.94/341.96 c bigint constraints 0
340.94/341.96 s SATISFIABLE
340.94/341.96 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
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 (62816 MiB free)
memory of node 1: 64465 MiB (63789 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495930-1751153912/watcher-4495930-1751153912 -o /tmp/evaluation-result-4495930-1751153912/solver-4495930-1751153912 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751146607-16321 --watchdog 3760 run-dec-ls.sh HOME/instance-4495930-1751153912.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
solver pid=20602, runsolver pid=20599
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.06 4.12 4.10 5/270 20604
/proc/meminfo: memFree=129644068/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=56220 memory=13152 CPUtime=0.07 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 627 0 0 0 7 0 0 0 20 0 1 0 31069620 57569280 3288 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 14055 3288 2368 1147 0 1482 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 60412 KiB
Current children cumulated memory: 16224 KiB
[startup+0.205254 s]*
/proc/loadavg: 4.06 4.12 4.10 5/270 20604
/proc/meminfo: memFree=129644068/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=56764 memory=13664 CPUtime=0.18 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 763 0 0 0 17 1 0 0 20 0 1 0 31069620 58126336 3416 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 14191 3416 2368 1147 0 1618 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 60956 KiB
Current children cumulated memory: 16736 KiB
[startup+0.305411 s]*
/proc/loadavg: 4.06 4.12 4.10 5/270 20604
/proc/meminfo: memFree=129644068/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=57028 memory=13920 CPUtime=0.28 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 841 0 0 0 27 1 0 0 20 0 1 0 31069620 58396672 3480 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 14257 3480 2368 1147 0 1684 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 61220 KiB
Current children cumulated memory: 16992 KiB
[startup+0.700171 s]
/proc/loadavg: 4.06 4.12 4.10 5/270 20604
/proc/meminfo: memFree=129644068/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=57732 memory=14432 CPUtime=0.67 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 971 0 0 0 63 4 0 0 20 0 1 0 31069620 59117568 3608 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 14433 3608 2368 1147 0 1860 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 61924 KiB
Current children cumulated memory: 17504 KiB
[startup+1.50016 s]
/proc/loadavg: 4.06 4.12 4.10 5/270 20604
/proc/meminfo: memFree=129644068/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=58036 memory=14816 CPUtime=1.46 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 1073 0 0 0 136 10 0 0 20 0 1 0 31069620 59428864 3704 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 14509 3704 2368 1147 0 1936 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 62228 KiB
Current children cumulated memory: 17888 KiB
[startup+3.10538 s]
/proc/loadavg: 4.21 4.15 4.11 5/270 20604
/proc/meminfo: memFree=129644084/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=59504 memory=15960 CPUtime=3.07 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 1375 0 0 0 287 20 0 0 20 0 1 0 31069620 60932096 3990 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 14876 3990 2368 1147 0 2303 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 63696 KiB
Current children cumulated memory: 19032 KiB
[startup+6.30014 s]
/proc/loadavg: 4.21 4.15 4.11 5/270 20604
/proc/meminfo: memFree=129644096/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=60096 memory=16600 CPUtime=6.26 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 1559 0 0 0 592 34 0 0 20 0 1 0 31069620 61538304 4150 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 15024 4150 2368 1147 0 2451 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 64288 KiB
Current children cumulated memory: 19672 KiB
[startup+12.7002 s]
/proc/loadavg: 4.33 4.18 4.12 5/270 20604
/proc/meminfo: memFree=129640364/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=64552 memory=22224 CPUtime=12.64 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 2440 0 0 0 1216 48 0 0 20 0 1 0 31069620 66101248 5556 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 16138 5556 2368 1147 0 3565 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 68744 KiB
Current children cumulated memory: 25296 KiB
[startup+25.5002 s]
/proc/loadavg: 4.44 4.21 4.13 5/270 20604
/proc/meminfo: memFree=129638096/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=64872 memory=22992 CPUtime=25.41 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 2566 0 0 0 2459 82 0 0 20 0 1 0 31069620 66428928 5748 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 16218 5748 2464 1147 0 3645 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 69064 KiB
Current children cumulated memory: 26064 KiB
[startup+51.1055 s]
/proc/loadavg: 4.35 4.21 4.13 5/269 20605
/proc/meminfo: memFree=129622584/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=66784 memory=24920 CPUtime=50.95 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 3327 0 0 0 4955 140 0 0 20 0 1 0 31069620 68386816 6230 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 16696 6230 2464 1147 0 4123 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 70976 KiB
Current children cumulated memory: 27992 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.18 4.13 5/269 20607
/proc/meminfo: memFree=129604340/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=85348 memory=39680 CPUtime=102.02 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 6512 0 0 0 9971 231 0 0 20 0 1 0 31069620 87396352 9920 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 21337 9920 2464 1147 0 8764 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 89540 KiB
Current children cumulated memory: 42752 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/270 20610
/proc/meminfo: memFree=129590496/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=96468 memory=50176 CPUtime=161.84 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 9152 0 0 0 15879 305 0 0 20 0 1 0 31069620 98783232 12544 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 24117 12544 2464 1147 0 11544 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 100660 KiB
Current children cumulated memory: 53248 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.18 4.13 5/270 20706
/proc/meminfo: memFree=129835920/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=96468 memory=50304 CPUtime=221.69 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 9162 0 0 0 21777 392 0 0 20 0 1 0 31069620 98783232 12576 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 24117 12576 2464 1147 0 11544 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 100660 KiB
Current children cumulated memory: 53376 KiB
[startup+282.3 s]
/proc/loadavg: 4.38 4.24 4.15 5/268 20708
/proc/meminfo: memFree=129834016/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=96468 memory=50304 CPUtime=281.52 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 9186 0 0 0 27685 467 0 0 20 0 1 0 31069620 98783232 12576 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 24117 12576 2464 1147 0 11544 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 100660 KiB
Current children cumulated memory: 53376 KiB
[startup+341.968 s]
# the end of solver process 20602 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=335.605 s, system=5.42165 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.2 s]
/proc/loadavg: 4.32 4.23 4.15 5/269 20709
/proc/meminfo: memFree=129825840/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=96468 memory=50432 CPUtime=306.36 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 9196 0 0 0 30131 505 0 0 20 0 1 0 31069620 98783232 12608 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 24117 12608 2464 1147 0 11544 0
Current children cumulated CPU time: 306.36 s
Current children cumulated vsize: 100660 KiB
Current children cumulated memory: 53504 KiB
[startup+320 s]*
/proc/loadavg: 4.27 4.22 4.15 5/269 20709
/proc/meminfo: memFree=129817648/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=96468 memory=50432 CPUtime=319.12 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 9210 0 0 0 31391 521 0 0 20 0 1 0 31069620 98783232 12608 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 24117 12608 2464 1147 0 11544 0
Current children cumulated CPU time: 319.12 s
Current children cumulated vsize: 100660 KiB
Current children cumulated memory: 53504 KiB
[startup+332.8 s]
/proc/loadavg: 4.21 4.21 4.15 5/269 20709
/proc/meminfo: memFree=129809204/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=96468 memory=50688 CPUtime=331.88 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 9280 0 0 0 32655 533 0 0 20 0 1 0 31069620 98783232 12672 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 24117 12672 2464 1147 0 11544 0
Current children cumulated CPU time: 331.88 s
Current children cumulated vsize: 100660 KiB
Current children cumulated memory: 53760 KiB
[startup+336 s]*
/proc/loadavg: 4.21 4.21 4.15 5/269 20711
/proc/meminfo: memFree=129804992/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=98772 memory=52096 CPUtime=335.07 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 9641 0 0 0 32969 538 0 0 20 0 1 0 31069620 101142528 13024 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 24693 13024 2464 1147 0 12120 0
Current children cumulated CPU time: 335.07 s
Current children cumulated vsize: 102964 KiB
Current children cumulated memory: 55168 KiB
[startup+339.2 s]
/proc/loadavg: 4.19 4.21 4.14 5/269 20711
/proc/meminfo: memFree=129794912/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=100308 memory=52992 CPUtime=338.25 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 9866 0 0 0 33285 540 0 0 20 0 1 0 31069620 102715392 13248 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 25077 13248 2464 1147 0 12504 0
Current children cumulated CPU time: 338.25 s
Current children cumulated vsize: 104500 KiB
Current children cumulated memory: 56064 KiB
[startup+340.8 s]
/proc/loadavg: 4.19 4.21 4.14 5/269 20711
/proc/meminfo: memFree=129794912/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=101076 memory=53504 CPUtime=339.85 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 9974 0 0 0 33444 541 0 0 20 0 1 0 31069620 103501824 13376 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 25269 13376 2464 1147 0 12696 0
Current children cumulated CPU time: 339.85 s
Current children cumulated vsize: 105268 KiB
Current children cumulated memory: 56576 KiB
[startup+341.6 s]
/proc/loadavg: 4.19 4.21 4.14 5/269 20711
/proc/meminfo: memFree=129794912/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=101332 memory=53632 CPUtime=340.65 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 10018 0 0 0 33524 541 0 0 20 0 1 0 31069620 103763968 13408 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 25333 13408 2464 1147 0 12760 0
Current children cumulated CPU time: 340.65 s
Current children cumulated vsize: 105524 KiB
Current children cumulated memory: 56704 KiB
[startup+341.8 s]
/proc/loadavg: 4.19 4.21 4.14 5/269 20711
/proc/meminfo: memFree=129794912/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=101332 memory=53632 CPUtime=340.84 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 10019 0 0 0 33543 541 0 0 20 0 1 0 31069620 103763968 13408 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 25333 13408 2464 1147 0 12760 0
Current children cumulated CPU time: 340.84 s
Current children cumulated vsize: 105524 KiB
Current children cumulated memory: 56704 KiB
[startup+341.9 s]
/proc/loadavg: 4.19 4.21 4.14 5/269 20711
/proc/meminfo: memFree=129794912/131249996 swapFree=33010684/33010684
[pid=20602] ppid=20599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20602/stat : 20602 (run-dec-ls.sh) S 20599 20602 16308 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31069619 4292608 768 18446744073709551615 94055277191168 94055278085701 140736859754320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94055278324752 94055278372496 94055311073280 140736859756903 140736859757029 140736859757029 140736859762631 0
/proc/20602/statm: 1048 768 704 219 0 110 0
[pid=20604] ppid=20602 vsize=101332 memory=53632 CPUtime=340.94 cores=5,7
/proc/20604/stat : 20604 (roundingsat) R 20602 20602 16308 0 -1 4194304 10019 0 0 0 33553 541 0 0 20 0 1 0 31069620 103763968 13408 18446744073709551615 4227072 8923433 140724554939888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24731648 140724554946976 140724554947112 140724554947112 140724554952682 0
/proc/20604/statm: 25333 13408 2464 1147 0 12760 0
Current children cumulated CPU time: 340.94 s
Current children cumulated vsize: 105524 KiB
Current children cumulated memory: 56704 KiB
Child status: 0
Real time (s): 341.968
CPU time (s): 341.026
CPU user time (s): 335.605
CPU system time (s): 5.42165
CPU usage (%): 99.7247
Max. virtual memory (cumulated for all children) (KiB): 105524
Max. memory (cumulated for all children) (KiB): 56704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 335.605
system time used= 5.42165
maximum resident set size= 53888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10310
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= 150
involuntary context switches= 355
# summary of solver processes directly reported to runsolver:
# pid: 20602
# total CPU time (s): 341.026
# total CPU user time (s): 335.605
# total CPU system time (s): 5.42165
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.734808 second user time and 1.52936 second system time
The end
Begin job on nodeC029 at 2025-06-29 01:38:32
IDJOB=4495930
IDBENCH=148102
IDSOLVER=3353
FILE ID=nodeC029/4495930-1751153912
RUNJOBID= nodeC029-1751146607-16321
SLURM_JOB_ID= 9587465
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww4.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495930-1751153912/watcher-4495930-1751153912 -o /tmp/evaluation-result-4495930-1751153912/solver-4495930-1751153912 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751146607-16321 --watchdog 3760 run-dec-ls.sh HOME/instance-4495930-1751153912.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13439fe0222d33319b9169d149c100b9
RANDOM SEED=1960840060
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.749
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.249
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.247
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 : 3600.234
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.728
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 : 3582.240
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.163
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 : 3599.721
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: 129643732 kB
MemAvailable: 129283544 kB
Buffers: 3280 kB
Cached: 443384 kB
SwapCached: 0 kB
Active: 811116 kB
Inactive: 224468 kB
Active(anon): 606988 kB
Inactive(anon): 0 kB
Active(file): 204128 kB
Inactive(file): 224468 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14596 kB
Writeback: 0 kB
AnonPages: 592036 kB
Mapped: 116972 kB
Shmem: 18060 kB
KReclaimable: 86380 kB
Slab: 169428 kB
SReclaimable: 86380 kB
SUnreclaim: 83048 kB
KernelStack: 4432 kB
PageTables: 4460 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 997708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 468992 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:44:14