0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 86 #constraints 2
0.00/0.02 c rational objective 1.09326
0.29/0.42 c #Conflicts: 1000 | #Constraints: 1002
0.29/0.42 c #Conflicts: 2000 | #Constraints: 2002
0.29/0.42 c INPROCESSING
0.29/0.42 c GARBAGE COLLECT
0.29/0.42 c rational objective 2
0.77/0.87 c #Conflicts: 3000 | #Constraints: 2005
0.77/0.87 c #Conflicts: 4000 | #Constraints: 3005
0.77/0.87 c INPROCESSING
0.77/0.87 c GARBAGE COLLECT
0.77/0.87 c rational objective 2
1.37/1.42 c #Conflicts: 5000 | #Constraints: 2504
1.37/1.42 c #Conflicts: 6000 | #Constraints: 3630
1.37/1.42 c INPROCESSING
1.37/1.42 c GARBAGE COLLECT
1.37/1.42 c rational objective 2
2.08/2.14 c #Conflicts: 7000 | #Constraints: 2780
2.08/2.14 c #Conflicts: 8000 | #Constraints: 3901
2.08/2.14 c #Conflicts: 9000 | #Constraints: 4992
2.08/2.14 c INPROCESSING
2.08/2.14 c GARBAGE COLLECT
2.08/2.14 c rational objective 2
2.97/3.07 c #Conflicts: 10000 | #Constraints: 3692
2.97/3.07 c #Conflicts: 11000 | #Constraints: 4812
2.97/3.07 c #Conflicts: 12000 | #Constraints: 5945
2.97/3.07 c INPROCESSING
2.97/3.07 c GARBAGE COLLECT
2.97/3.07 c rational objective 2
3.98/4.07 c #Conflicts: 13000 | #Constraints: 4285
3.98/4.07 c #Conflicts: 14000 | #Constraints: 5882
3.98/4.07 c #Conflicts: 15000 | #Constraints: 7213
3.98/4.07 c INPROCESSING
3.98/4.07 c GARBAGE COLLECT
3.98/4.07 c rational objective 2.00609
4.96/5.08 c #Conflicts: 16000 | #Constraints: 4675
4.96/5.08 c #Conflicts: 17000 | #Constraints: 5814
4.96/5.08 c #Conflicts: 18000 | #Constraints: 6877
4.96/5.08 c INPROCESSING
4.96/5.08 c GARBAGE COLLECT
4.96/5.08 c rational objective 2.61495
6.25/6.31 c #Conflicts: 19000 | #Constraints: 4410
6.25/6.31 c #Conflicts: 20000 | #Constraints: 5501
6.25/6.31 c #Conflicts: 21000 | #Constraints: 6562
6.25/6.31 c INPROCESSING
6.25/6.31 c GARBAGE COLLECT
6.25/6.31 c rational objective 2.41427
7.54/7.61 c #Conflicts: 22000 | #Constraints: 4064
7.54/7.61 c #Conflicts: 23000 | #Constraints: 5246
7.54/7.61 c #Conflicts: 24000 | #Constraints: 6513
7.54/7.61 c #Conflicts: 25000 | #Constraints: 7566
7.54/7.61 c INPROCESSING
7.54/7.61 c GARBAGE COLLECT
7.54/7.61 c rational objective 2.0603
8.85/8.92 c #Conflicts: 26000 | #Constraints: 5106
8.85/8.92 c #Conflicts: 27000 | #Constraints: 6683
8.85/8.92 c #Conflicts: 28000 | #Constraints: 8039
8.85/8.92 c #Conflicts: 29000 | #Constraints: 9240
8.85/8.92 c INPROCESSING
8.85/8.92 c GARBAGE COLLECT
8.85/8.92 c rational objective 2.0603
10.54/10.61 c #Conflicts: 30000 | #Constraints: 5709
10.54/10.61 c #Conflicts: 31000 | #Constraints: 6823
10.54/10.61 c #Conflicts: 32000 | #Constraints: 7882
10.54/10.61 c #Conflicts: 33000 | #Constraints: 8903
10.54/10.61 c INPROCESSING
10.54/10.61 c GARBAGE COLLECT
10.54/10.61 c rational objective 2.06035
12.14/12.25 c #Conflicts: 34000 | #Constraints: 5561
12.14/12.25 c #Conflicts: 35000 | #Constraints: 6784
12.14/12.25 c #Conflicts: 36000 | #Constraints: 7939
12.14/12.25 c #Conflicts: 37000 | #Constraints: 9076
12.14/12.25 c INPROCESSING
12.14/12.25 c GARBAGE COLLECT
12.14/12.25 c rational objective 2.06032
14.13/14.25 c #Conflicts: 38000 | #Constraints: 5728
14.13/14.25 c #Conflicts: 39000 | #Constraints: 6997
14.13/14.25 c #Conflicts: 40000 | #Constraints: 8608
14.13/14.25 c #Conflicts: 41000 | #Constraints: 10195
14.13/14.25 c INPROCESSING
14.13/14.25 c GARBAGE COLLECT
14.13/14.25 c rational objective 2.0014
16.22/16.39 c #Conflicts: 42000 | #Constraints: 5973
16.22/16.39 c #Conflicts: 43000 | #Constraints: 7039
16.22/16.39 c #Conflicts: 44000 | #Constraints: 8111
16.22/16.39 c #Conflicts: 45000 | #Constraints: 9193
16.22/16.39 c #Conflicts: 46000 | #Constraints: 10283
16.22/16.39 c INPROCESSING
16.22/16.39 c GARBAGE COLLECT
16.22/16.39 c rational objective 2.69236
18.52/18.65 c #Conflicts: 47000 | #Constraints: 6058
18.52/18.65 c #Conflicts: 48000 | #Constraints: 7063
18.52/18.65 c #Conflicts: 49000 | #Constraints: 8063
18.52/18.65 c #Conflicts: 50000 | #Constraints: 9063
18.52/18.65 c #Conflicts: 51000 | #Constraints: 10063
18.52/18.65 c INPROCESSING
18.52/18.65 c GARBAGE COLLECT
18.52/18.65 c rational objective 1.9217
20.70/20.83 c #Conflicts: 52000 | #Constraints: 6144
20.70/20.83 c #Conflicts: 53000 | #Constraints: 7267
20.70/20.83 c #Conflicts: 54000 | #Constraints: 8267
20.70/20.83 c #Conflicts: 55000 | #Constraints: 9267
20.70/20.83 c #Conflicts: 56000 | #Constraints: 10267
20.70/20.83 c INPROCESSING
20.70/20.83 c GARBAGE COLLECT
20.70/20.83 c rational objective 1.92059
23.10/23.23 c #Conflicts: 57000 | #Constraints: 6285
23.10/23.23 c #Conflicts: 58000 | #Constraints: 7379
23.10/23.23 c #Conflicts: 59000 | #Constraints: 8379
23.10/23.23 c #Conflicts: 60000 | #Constraints: 9453
23.10/23.23 c #Conflicts: 61000 | #Constraints: 10579
23.10/23.23 c INPROCESSING
23.10/23.23 c GARBAGE COLLECT
23.10/23.23 c rational objective 1.92059
25.90/26.04 c #Conflicts: 62000 | #Constraints: 6323
25.90/26.04 c #Conflicts: 63000 | #Constraints: 7474
25.90/26.04 c #Conflicts: 64000 | #Constraints: 8573
25.90/26.04 c #Conflicts: 65000 | #Constraints: 9831
25.90/26.04 c #Conflicts: 66000 | #Constraints: 11015
25.90/26.04 c INPROCESSING
25.90/26.04 c GARBAGE COLLECT
25.90/26.04 c rational objective 1.92061
28.48/28.67 c #Conflicts: 67000 | #Constraints: 6303
28.48/28.67 c #Conflicts: 68000 | #Constraints: 7378
28.48/28.67 c #Conflicts: 69000 | #Constraints: 8612
28.48/28.67 c #Conflicts: 70000 | #Constraints: 9795
28.48/28.67 c #Conflicts: 71000 | #Constraints: 11006
28.48/28.67 c #Conflicts: 72000 | #Constraints: 12166
28.48/28.67 c INPROCESSING
28.48/28.67 c GARBAGE COLLECT
28.48/28.67 c rational objective 1.92954
31.67/31.87 c #Conflicts: 73000 | #Constraints: 7048
31.67/31.87 c #Conflicts: 74000 | #Constraints: 8083
31.67/31.87 c #Conflicts: 75000 | #Constraints: 9180
31.67/31.87 c #Conflicts: 76000 | #Constraints: 10293
31.67/31.87 c #Conflicts: 77000 | #Constraints: 11351
31.67/31.87 c #Conflicts: 78000 | #Constraints: 12351
31.67/31.87 c INPROCESSING
31.67/31.87 c GARBAGE COLLECT
31.67/31.87 c rational objective 1.92062
34.66/34.88 c #Conflicts: 79000 | #Constraints: 7242
34.66/34.88 c #Conflicts: 80000 | #Constraints: 8242
34.66/34.88 c #Conflicts: 81000 | #Constraints: 9242
34.66/34.88 c #Conflicts: 82000 | #Constraints: 10242
34.66/34.88 c #Conflicts: 83000 | #Constraints: 11242
34.66/34.88 c #Conflicts: 84000 | #Constraints: 12242
34.66/34.88 c INPROCESSING
34.66/34.88 c GARBAGE COLLECT
34.66/34.88 c rational objective 1.95113
37.86/38.02 c #Conflicts: 85000 | #Constraints: 7137
37.86/38.02 c #Conflicts: 86000 | #Constraints: 8144
37.86/38.02 c #Conflicts: 87000 | #Constraints: 9144
37.86/38.02 c #Conflicts: 88000 | #Constraints: 10144
37.86/38.02 c #Conflicts: 89000 | #Constraints: 11144
37.86/38.02 c #Conflicts: 90000 | #Constraints: 12144
37.86/38.02 c INPROCESSING
37.86/38.02 c GARBAGE COLLECT
37.86/38.02 c rational objective 1.95116
41.23/41.41 c #Conflicts: 91000 | #Constraints: 7058
41.23/41.41 c #Conflicts: 92000 | #Constraints: 8112
41.23/41.41 c #Conflicts: 93000 | #Constraints: 9118
41.23/41.41 c #Conflicts: 94000 | #Constraints: 10118
41.23/41.41 c #Conflicts: 95000 | #Constraints: 11118
41.23/41.41 c #Conflicts: 96000 | #Constraints: 12138
41.23/41.41 c INPROCESSING
41.23/41.41 c GARBAGE COLLECT
41.23/41.41 c rational objective 1.95116
44.53/44.75 c #Conflicts: 97000 | #Constraints: 6785
44.53/44.75 c #Conflicts: 98000 | #Constraints: 7785
44.53/44.75 c #Conflicts: 99000 | #Constraints: 8843
44.53/44.75 c #Conflicts: 100000 | #Constraints: 9896
44.53/44.75 c #Conflicts: 101000 | #Constraints: 10899
44.53/44.75 c #Conflicts: 102000 | #Constraints: 11983
44.53/44.75 c #Conflicts: 103000 | #Constraints: 12983
44.53/44.75 c INPROCESSING
44.53/44.75 c GARBAGE COLLECT
44.53/44.75 c rational objective 1.95116
48.83/49.05 c #Conflicts: 104000 | #Constraints: 7439
48.83/49.05 c #Conflicts: 105000 | #Constraints: 8467
48.83/49.05 c #Conflicts: 106000 | #Constraints: 9558
48.83/49.05 c #Conflicts: 107000 | #Constraints: 10593
48.83/49.05 c #Conflicts: 108000 | #Constraints: 11618
48.83/49.05 c #Conflicts: 109000 | #Constraints: 12621
48.83/49.05 c #Conflicts: 110000 | #Constraints: 13621
48.83/49.05 c INPROCESSING
48.83/49.05 c GARBAGE COLLECT
48.83/49.05 c rational objective 1.95116
52.70/52.96 c #Conflicts: 111000 | #Constraints: 7883
52.70/52.96 c #Conflicts: 112000 | #Constraints: 8937
52.70/52.96 c #Conflicts: 113000 | #Constraints: 9968
52.70/52.96 c #Conflicts: 114000 | #Constraints: 10968
52.70/52.96 c #Conflicts: 115000 | #Constraints: 11968
52.70/52.96 c #Conflicts: 116000 | #Constraints: 12968
52.70/52.96 c #Conflicts: 117000 | #Constraints: 13968
52.70/52.96 c INPROCESSING
52.70/52.96 c GARBAGE COLLECT
52.70/52.96 c rational objective 1.95116
56.98/57.25 c #Conflicts: 118000 | #Constraints: 8048
56.98/57.25 c #Conflicts: 119000 | #Constraints: 9050
56.98/57.25 c #Conflicts: 120000 | #Constraints: 10050
56.98/57.25 c #Conflicts: 121000 | #Constraints: 11050
56.98/57.25 c #Conflicts: 122000 | #Constraints: 12050
56.98/57.25 c #Conflicts: 123000 | #Constraints: 13050
56.98/57.25 c #Conflicts: 124000 | #Constraints: 14050
56.98/57.25 c INPROCESSING
56.98/57.25 c GARBAGE COLLECT
56.98/57.25 c rational objective 1.95116
61.58/61.82 c #Conflicts: 125000 | #Constraints: 7998
61.58/61.82 c #Conflicts: 126000 | #Constraints: 9070
61.58/61.82 c #Conflicts: 127000 | #Constraints: 10085
61.58/61.82 c #Conflicts: 128000 | #Constraints: 11085
61.58/61.82 c #Conflicts: 129000 | #Constraints: 12085
61.58/61.82 c #Conflicts: 130000 | #Constraints: 13085
61.58/61.82 c #Conflicts: 131000 | #Constraints: 14085
61.58/61.82 c INPROCESSING
61.58/61.82 c GARBAGE COLLECT
61.58/61.82 c rational objective 1.95116
66.36/66.66 c #Conflicts: 132000 | #Constraints: 7766
66.36/66.66 c #Conflicts: 133000 | #Constraints: 9057
66.36/66.66 c #Conflicts: 134000 | #Constraints: 10085
66.36/66.66 c #Conflicts: 135000 | #Constraints: 11120
66.36/66.66 c #Conflicts: 136000 | #Constraints: 12179
66.36/66.66 c #Conflicts: 137000 | #Constraints: 13261
66.36/66.66 c #Conflicts: 138000 | #Constraints: 14373
66.36/66.66 c #Conflicts: 139000 | #Constraints: 15411
66.36/66.66 c INPROCESSING
66.36/66.66 c GARBAGE COLLECT
66.36/66.66 c rational objective 2.34489
72.85/73.16 c #Conflicts: 140000 | #Constraints: 8611
72.85/73.16 c #Conflicts: 141000 | #Constraints: 9613
72.85/73.16 c #Conflicts: 142000 | #Constraints: 10625
72.85/73.16 c #Conflicts: 143000 | #Constraints: 11657
72.85/73.16 c #Conflicts: 144000 | #Constraints: 12663
72.85/73.16 c #Conflicts: 145000 | #Constraints: 13680
72.85/73.16 c #Conflicts: 146000 | #Constraints: 14713
72.85/73.16 c #Conflicts: 147000 | #Constraints: 15734
72.85/73.16 c INPROCESSING
72.85/73.16 c GARBAGE COLLECT
72.85/73.16 c rational objective 1.95116
78.52/78.82 c #Conflicts: 148000 | #Constraints: 8879
78.52/78.82 c #Conflicts: 149000 | #Constraints: 9906
78.52/78.82 c #Conflicts: 150000 | #Constraints: 10906
78.52/78.82 c #Conflicts: 151000 | #Constraints: 11936
78.52/78.82 c #Conflicts: 152000 | #Constraints: 12974
78.52/78.82 c #Conflicts: 153000 | #Constraints: 13983
78.52/78.82 c #Conflicts: 154000 | #Constraints: 15005
78.52/78.82 c #Conflicts: 155000 | #Constraints: 16049
78.52/78.82 c INPROCESSING
78.52/78.82 c GARBAGE COLLECT
78.52/78.82 c rational objective 2.00012
83.90/84.28 c #Conflicts: 156000 | #Constraints: 9052
83.90/84.28 c #Conflicts: 157000 | #Constraints: 10052
83.90/84.28 c #Conflicts: 158000 | #Constraints: 11085
83.90/84.28 c #Conflicts: 159000 | #Constraints: 12127
83.90/84.28 c #Conflicts: 160000 | #Constraints: 13161
83.90/84.28 c #Conflicts: 161000 | #Constraints: 14161
83.90/84.28 c #Conflicts: 162000 | #Constraints: 15161
83.90/84.28 c #Conflicts: 163000 | #Constraints: 16161
83.90/84.28 c INPROCESSING
83.90/84.28 c GARBAGE COLLECT
83.90/84.28 c rational objective 2.00005
90.28/90.62 c #Conflicts: 164000 | #Constraints: 9042
90.28/90.62 c #Conflicts: 165000 | #Constraints: 10118
90.28/90.62 c #Conflicts: 166000 | #Constraints: 11200
90.28/90.62 c #Conflicts: 167000 | #Constraints: 12259
90.28/90.62 c #Conflicts: 168000 | #Constraints: 13347
90.28/90.62 c #Conflicts: 169000 | #Constraints: 14444
90.28/90.62 c #Conflicts: 170000 | #Constraints: 15514
90.28/90.62 c #Conflicts: 171000 | #Constraints: 16575
90.28/90.62 c INPROCESSING
90.28/90.62 c GARBAGE COLLECT
90.28/90.62 c rational objective 2.00101
96.06/96.49 c #Conflicts: 172000 | #Constraints: 9014
96.06/96.49 c #Conflicts: 173000 | #Constraints: 10033
96.06/96.49 c #Conflicts: 174000 | #Constraints: 11115
96.06/96.49 c #Conflicts: 175000 | #Constraints: 12193
96.06/96.49 c #Conflicts: 176000 | #Constraints: 13193
96.06/96.49 c #Conflicts: 177000 | #Constraints: 14238
96.06/96.49 c #Conflicts: 178000 | #Constraints: 15345
96.06/96.49 c #Conflicts: 179000 | #Constraints: 16485
96.06/96.49 c #Conflicts: 180000 | #Constraints: 17556
96.06/96.49 c INPROCESSING
96.06/96.49 c GARBAGE COLLECT
96.06/96.49 c rational objective 2.33933
102.54/102.95 c #Conflicts: 181000 | #Constraints: 9748
102.54/102.95 c #Conflicts: 182000 | #Constraints: 10755
102.54/102.95 c #Conflicts: 183000 | #Constraints: 11791
102.54/102.95 c #Conflicts: 184000 | #Constraints: 12795
102.54/102.95 c #Conflicts: 185000 | #Constraints: 13813
102.54/102.95 c #Conflicts: 186000 | #Constraints: 14815
102.54/102.95 c #Conflicts: 187000 | #Constraints: 15829
102.54/102.95 c #Conflicts: 188000 | #Constraints: 16829
102.54/102.95 c #Conflicts: 189000 | #Constraints: 17832
102.54/102.95 c INPROCESSING
102.54/102.95 c GARBAGE COLLECT
102.54/102.95 c rational objective 2.53061
109.63/110.06 c #Conflicts: 190000 | #Constraints: 9938
109.63/110.06 c #Conflicts: 191000 | #Constraints: 10943
109.63/110.06 c #Conflicts: 192000 | #Constraints: 11943
109.63/110.06 c #Conflicts: 193000 | #Constraints: 12943
109.63/110.06 c #Conflicts: 194000 | #Constraints: 13943
109.63/110.06 c #Conflicts: 195000 | #Constraints: 14943
109.63/110.06 c #Conflicts: 196000 | #Constraints: 15943
109.63/110.06 c #Conflicts: 197000 | #Constraints: 16943
109.63/110.06 c #Conflicts: 198000 | #Constraints: 17943
109.63/110.06 c INPROCESSING
109.63/110.06 c GARBAGE COLLECT
109.63/110.06 c rational objective 2.00074
116.99/117.42 c #Conflicts: 199000 | #Constraints: 10032
116.99/117.42 c #Conflicts: 200000 | #Constraints: 11107
116.99/117.42 c #Conflicts: 201000 | #Constraints: 12205
116.99/117.42 c #Conflicts: 202000 | #Constraints: 13335
116.99/117.42 c #Conflicts: 203000 | #Constraints: 14470
116.99/117.42 c #Conflicts: 204000 | #Constraints: 15578
116.99/117.42 c #Conflicts: 205000 | #Constraints: 16695
116.99/117.42 c #Conflicts: 206000 | #Constraints: 17739
116.99/117.42 c #Conflicts: 207000 | #Constraints: 18739
116.99/117.42 c INPROCESSING
116.99/117.42 c GARBAGE COLLECT
116.99/117.42 c rational objective 2.0015
124.68/125.16 c #Conflicts: 208000 | #Constraints: 10291
124.68/125.16 c #Conflicts: 209000 | #Constraints: 11291
124.68/125.16 c #Conflicts: 210000 | #Constraints: 12291
124.68/125.16 c #Conflicts: 211000 | #Constraints: 13291
124.68/125.16 c #Conflicts: 212000 | #Constraints: 14291
124.68/125.16 c #Conflicts: 213000 | #Constraints: 15291
124.68/125.16 c #Conflicts: 214000 | #Constraints: 16298
124.68/125.16 c #Conflicts: 215000 | #Constraints: 17302
124.68/125.16 c #Conflicts: 216000 | #Constraints: 18368
124.68/125.16 c INPROCESSING
124.68/125.16 c GARBAGE COLLECT
124.68/125.16 c rational objective 2.0015
132.24/132.73 c #Conflicts: 217000 | #Constraints: 9933
132.24/132.73 c #Conflicts: 218000 | #Constraints: 11034
132.24/132.73 c #Conflicts: 219000 | #Constraints: 12123
132.24/132.73 c #Conflicts: 220000 | #Constraints: 13249
132.24/132.73 c #Conflicts: 221000 | #Constraints: 14332
132.24/132.73 c #Conflicts: 222000 | #Constraints: 15421
132.24/132.73 c #Conflicts: 223000 | #Constraints: 16485
132.24/132.73 c #Conflicts: 224000 | #Constraints: 17485
132.24/132.73 c #Conflicts: 225000 | #Constraints: 18534
132.24/132.73 c #Conflicts: 226000 | #Constraints: 19536
132.24/132.73 c INPROCESSING
132.24/132.73 c GARBAGE COLLECT
132.24/132.73 c rational objective 2.0015
140.53/141.09 c #Conflicts: 227000 | #Constraints: 10697
140.53/141.09 c #Conflicts: 228000 | #Constraints: 11699
140.53/141.09 c #Conflicts: 229000 | #Constraints: 12715
140.53/141.09 c #Conflicts: 230000 | #Constraints: 13759
140.53/141.09 c #Conflicts: 231000 | #Constraints: 14801
140.53/141.09 c #Conflicts: 232000 | #Constraints: 15861
140.53/141.09 c #Conflicts: 233000 | #Constraints: 16901
140.53/141.09 c #Conflicts: 234000 | #Constraints: 17926
140.53/141.09 c #Conflicts: 235000 | #Constraints: 18976
140.53/141.09 c #Conflicts: 236000 | #Constraints: 19981
140.53/141.09 c INPROCESSING
140.53/141.09 c GARBAGE COLLECT
140.53/141.09 c rational objective 2.00345
148.00/148.55 c #Conflicts: 237000 | #Constraints: 11010
148.00/148.55 c #Conflicts: 238000 | #Constraints: 12014
148.00/148.55 c #Conflicts: 239000 | #Constraints: 13014
148.00/148.55 c #Conflicts: 240000 | #Constraints: 14014
148.00/148.55 c #Conflicts: 241000 | #Constraints: 15014
148.00/148.55 c #Conflicts: 242000 | #Constraints: 16014
148.00/148.55 c #Conflicts: 243000 | #Constraints: 17014
148.00/148.55 c #Conflicts: 244000 | #Constraints: 18014
148.00/148.55 c #Conflicts: 245000 | #Constraints: 19014
148.00/148.55 c #Conflicts: 246000 | #Constraints: 20014
148.00/148.55 c INPROCESSING
148.00/148.55 c GARBAGE COLLECT
148.00/148.55 c rational objective 2.00309
156.38/156.92 c #Conflicts: 247000 | #Constraints: 11056
156.38/156.92 c #Conflicts: 248000 | #Constraints: 12091
156.38/156.92 c #Conflicts: 249000 | #Constraints: 13127
156.38/156.92 c #Conflicts: 250000 | #Constraints: 14154
156.38/156.92 c #Conflicts: 251000 | #Constraints: 15164
156.38/156.92 c #Conflicts: 252000 | #Constraints: 16176
156.38/156.92 c #Conflicts: 253000 | #Constraints: 17186
156.38/156.92 c #Conflicts: 254000 | #Constraints: 18212
156.38/156.92 c #Conflicts: 255000 | #Constraints: 19228
156.38/156.92 c #Conflicts: 256000 | #Constraints: 20236
156.38/156.92 c INPROCESSING
156.38/156.92 c GARBAGE COLLECT
156.38/156.92 c rational objective 2.00309
165.15/165.76 c #Conflicts: 257000 | #Constraints: 11053
165.15/165.76 c #Conflicts: 258000 | #Constraints: 12075
165.15/165.76 c #Conflicts: 259000 | #Constraints: 13104
165.15/165.76 c #Conflicts: 260000 | #Constraints: 14125
165.15/165.76 c #Conflicts: 261000 | #Constraints: 15169
165.15/165.76 c #Conflicts: 262000 | #Constraints: 16226
165.15/165.76 c #Conflicts: 263000 | #Constraints: 17251
165.15/165.76 c #Conflicts: 264000 | #Constraints: 18254
165.15/165.76 c #Conflicts: 265000 | #Constraints: 19287
165.15/165.76 c #Conflicts: 266000 | #Constraints: 20320
165.15/165.76 c INPROCESSING
165.15/165.76 c GARBAGE COLLECT
165.15/165.76 c rational objective 2.00314
174.72/175.35 c #Conflicts: 267000 | #Constraints: 10874
174.72/175.35 c #Conflicts: 268000 | #Constraints: 11901
174.72/175.35 c #Conflicts: 269000 | #Constraints: 12945
174.72/175.35 c #Conflicts: 270000 | #Constraints: 13955
174.72/175.35 c #Conflicts: 271000 | #Constraints: 14975
174.72/175.35 c #Conflicts: 272000 | #Constraints: 15979
174.72/175.35 c #Conflicts: 273000 | #Constraints: 16980
174.72/175.35 c #Conflicts: 274000 | #Constraints: 17980
174.72/175.35 c #Conflicts: 275000 | #Constraints: 18980
174.72/175.35 c #Conflicts: 276000 | #Constraints: 19980
174.72/175.35 c #Conflicts: 277000 | #Constraints: 20980
174.72/175.35 c INPROCESSING
174.72/175.35 c GARBAGE COLLECT
174.72/175.35 c rational objective 2.00314
184.41/185.09 c #Conflicts: 278000 | #Constraints: 11433
184.41/185.09 c #Conflicts: 279000 | #Constraints: 12467
184.41/185.09 c #Conflicts: 280000 | #Constraints: 13506
184.41/185.09 c #Conflicts: 281000 | #Constraints: 14538
184.41/185.09 c #Conflicts: 282000 | #Constraints: 15585
184.41/185.09 c #Conflicts: 283000 | #Constraints: 16617
184.41/185.09 c #Conflicts: 284000 | #Constraints: 17623
184.41/185.09 c #Conflicts: 285000 | #Constraints: 18623
184.41/185.09 c #Conflicts: 286000 | #Constraints: 19623
184.41/185.09 c #Conflicts: 287000 | #Constraints: 20623
184.41/185.09 c #Conflicts: 288000 | #Constraints: 21623
184.41/185.09 c INPROCESSING
184.41/185.09 c GARBAGE COLLECT
184.41/185.09 c rational objective 2.00314
195.67/196.37 c #Conflicts: 289000 | #Constraints: 11845
195.67/196.37 c #Conflicts: 290000 | #Constraints: 12845
195.67/196.37 c #Conflicts: 291000 | #Constraints: 13845
195.67/196.37 c #Conflicts: 292000 | #Constraints: 14845
195.67/196.37 c #Conflicts: 293000 | #Constraints: 15845
195.67/196.37 c #Conflicts: 294000 | #Constraints: 16845
195.67/196.37 c #Conflicts: 295000 | #Constraints: 17845
195.67/196.37 c #Conflicts: 296000 | #Constraints: 18845
195.67/196.37 c #Conflicts: 297000 | #Constraints: 19845
195.67/196.37 c #Conflicts: 298000 | #Constraints: 20845
195.67/196.37 c #Conflicts: 299000 | #Constraints: 21845
195.67/196.37 c INPROCESSING
195.67/196.37 c GARBAGE COLLECT
195.67/196.37 c rational objective 2.0015
206.73/207.43 c #Conflicts: 300000 | #Constraints: 11956
206.73/207.43 c #Conflicts: 301000 | #Constraints: 12994
206.73/207.43 c #Conflicts: 302000 | #Constraints: 13994
206.73/207.43 c #Conflicts: 303000 | #Constraints: 15038
206.73/207.43 c #Conflicts: 304000 | #Constraints: 16100
206.73/207.43 c #Conflicts: 305000 | #Constraints: 17126
206.73/207.43 c #Conflicts: 306000 | #Constraints: 18167
206.73/207.43 c #Conflicts: 307000 | #Constraints: 19188
206.73/207.43 c #Conflicts: 308000 | #Constraints: 20188
206.73/207.43 c #Conflicts: 309000 | #Constraints: 21209
206.73/207.43 c #Conflicts: 310000 | #Constraints: 22270
206.73/207.43 c INPROCESSING
206.73/207.43 c GARBAGE COLLECT
206.73/207.43 c rational objective 2.00577
216.70/217.40 c #Conflicts: 311000 | #Constraints: 12042
216.70/217.40 c #Conflicts: 312000 | #Constraints: 13062
216.70/217.40 c #Conflicts: 313000 | #Constraints: 14092
216.70/217.40 c #Conflicts: 314000 | #Constraints: 15147
216.70/217.40 c #Conflicts: 315000 | #Constraints: 16215
216.70/217.40 c #Conflicts: 316000 | #Constraints: 17272
216.70/217.40 c #Conflicts: 317000 | #Constraints: 18272
216.70/217.40 c #Conflicts: 318000 | #Constraints: 19277
216.70/217.40 c #Conflicts: 319000 | #Constraints: 20289
216.70/217.40 c #Conflicts: 320000 | #Constraints: 21289
216.70/217.40 c #Conflicts: 321000 | #Constraints: 22292
216.70/217.40 c INPROCESSING
216.70/217.40 c GARBAGE COLLECT
216.70/217.40 c rational objective 2.00163
227.97/228.71 c #Conflicts: 322000 | #Constraints: 11885
227.97/228.71 c #Conflicts: 323000 | #Constraints: 12929
227.97/228.71 c #Conflicts: 324000 | #Constraints: 13933
227.97/228.71 c #Conflicts: 325000 | #Constraints: 14933
227.97/228.71 c #Conflicts: 326000 | #Constraints: 15933
227.97/228.71 c #Conflicts: 327000 | #Constraints: 16933
227.97/228.71 c #Conflicts: 328000 | #Constraints: 17933
227.97/228.71 c #Conflicts: 329000 | #Constraints: 18933
227.97/228.71 c #Conflicts: 330000 | #Constraints: 19933
227.97/228.71 c #Conflicts: 331000 | #Constraints: 20933
227.97/228.71 c #Conflicts: 332000 | #Constraints: 21933
227.97/228.71 c #Conflicts: 333000 | #Constraints: 22933
227.97/228.71 c INPROCESSING
227.97/228.71 c GARBAGE COLLECT
227.97/228.71 c rational objective 2.0016
227.97/228.78 c cpu time 225.301 s
227.97/228.78 c deterministic time 72488451564 7.25e+10
227.97/228.78 c optimization time 5e-05 s
227.97/228.78 c total solve time 225.301 s
227.97/228.78 c core-guided solve time 0 s
227.97/228.78 c propagation time 198.039 s
227.97/228.78 c conflict analysis time 22.6288 s
227.97/228.78 c propagations 2079212
227.97/228.78 c resolve steps 1134510
227.97/228.78 c decisions 502502
227.97/228.78 c conflicts 333205
227.97/228.78 c restarts 767
227.97/228.78 c inprocessing phases 49
227.97/228.78 c garbage collections 49 ,( 100.00 )
227.97/228.78 c input clauses 0 ,( 0.00 )
227.97/228.78 c input cardinalities 0 ,( 0.00 )
227.97/228.78 c input general constraints 2 ,( 100.00 )
227.97/228.78 c input average constraint length 86.00
227.97/228.78 c input average constraint degree 254207637.50
227.97/228.78 c learned clauses 151664 ,( 43.15 )
227.97/228.78 c learned cardinalities 0 ,( 0.00 )
227.97/228.78 c learned general constraints 199847 ,( 56.85 )
227.97/228.78 c learned average constraint length 63.74
227.97/228.78 c learned average constraint degree 89100447.14
227.97/228.78 c watched CF 32, 64, 128, Arb: 34086 , 0 , 0 , 0
227.97/228.78 c counting CF 32, 64, 128, Arb: 165763 , 0 , 0 , 0
227.97/228.78 c watched constraints 34086 ,( 17.06 )
227.97/228.78 c counting constraints 165763 ,( 82.94 )
227.97/228.78 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 14025941 , 0 , 3570230466 ,( 52670614 , 3517559852 )
227.97/228.78 c gcd simplifications 170102
227.97/228.78 c detected cardinalities 0
227.97/228.78 c weakened non-implied lits 1589516
227.97/228.78 c weakened non-implying lits 3196670
227.97/228.78 c original variables 86
227.97/228.78 c clausal propagations 222899
227.97/228.78 c cardinality propagations 0
227.97/228.78 c watched propagations 43912
227.97/228.78 c counting propagations 1466547
227.97/228.78 c watch lookups 3771447840
227.97/228.78 c watch backjump lookups 0
227.97/228.78 c watch checks 400825946
227.97/228.78 c propagation checks 68202879797
227.97/228.78 c constraint additions 107766858
227.97/228.78 c trail pops 2914919
227.97/228.78 c formula constraints 2
227.97/228.78 c learned constraints 333205
227.97/228.78 c bound constraints 0
227.97/228.78 c core-guided constraints 0
227.97/228.78 c encountered formula constraints 875606
227.97/228.78 c encountered learned constraints 592109
227.97/228.78 c encountered bound constraints 0
227.97/228.78 c encountered core-guided constraints 0
227.97/228.78 c LP total time 4.66287 s
227.97/228.78 c LP solve time 2.29 s
227.97/228.78 c LP constraints added 80
227.97/228.78 c LP constraints removed 72
227.97/228.78 c LP pivots internal 33321
227.97/228.78 c LP pivots root 1168
227.97/228.78 c LP calls 25286
227.97/228.78 c LP optimalities 6383
227.97/228.78 c LP no pivot count 636
227.97/228.78 c LP infeasibilities 18881
227.97/228.78 c LP valid Farkas constraints 18264
227.97/228.78 c LP learned Farkas constraints 0
227.97/228.78 c LP basis resets 22
227.97/228.78 c LP cycling count 9
227.97/228.78 c LP singular count 13
227.97/228.78 c LP no primal count 0
227.97/228.78 c LP no farkas count 0
227.97/228.78 c LP other issue count 0
227.97/228.78 c LP Gomory cuts 42
227.97/228.78 c LP learned cuts 38
227.97/228.78 c LP deleted cuts 74
227.97/228.78 c LP encountered Gomory constraints 0
227.97/228.78 c LP encountered Farkas constraints 0
227.97/228.78 c LP encountered learned Farkas constraints 0
227.97/228.78 c CG auxiliary variables introduced 0
227.97/228.78 c CG solutions found 0
227.97/228.78 c CG cores constructed 0
227.97/228.78 c CG core cardinality constraints returned 0
227.97/228.78 c CG unit cores 0
227.97/228.78 c CG single cores 0
227.97/228.78 c CG blocks removed during cardinality reduction 0
227.97/228.78 c CG first core best 0
227.97/228.78 c CG decision core best 0
227.97/228.78 c CG core reduction tie 0
227.97/228.78 c CG core degree average 0.00
227.97/228.78 c CG core slack average 0.00
227.97/228.78 c CG core upper bound improvements 0
227.97/228.78 c STR number of successful calls 0
227.97/228.78 c STR number of unsuccessful calls 0
227.97/228.78 c STR number of inconclusive calls 0
227.97/228.78 c STR number of successful attempts 0
227.97/228.78 c STR number of unsuccessful attempts 0
227.97/228.78 c STR number of inconclusive attempts 0
227.97/228.78 c STR average degree increase per successful call inf
227.97/228.78 c STR average degree increase per successful attempt inf
227.97/228.78 c STR total number of conflicts for successful attempts 0
227.97/228.78 c STR total number of conflicts for unsuccessful attempts 0
227.97/228.78 c STR total number of conflicts for inconclusive attempts 0
227.97/228.78 c STR average number of conflicts per successful attempt inf
227.97/228.78 c STR average number of conflicts per unsuccessful attempt inf
227.97/228.78 c STR average number of conflicts per inconclusive attempt inf
227.97/228.78 c AVG.sumWPerc 70.06
227.97/228.78 c bigint constraints 0
227.97/228.78 s SATISFIABLE
227.97/228.78 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: 63794 MiB (61028 MiB free)
memory of node 1: 64507 MiB (58474 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496001-1751153838/watcher-4496001-1751153838 -o /tmp/evaluation-result-4496001-1751153838/solver-4496001-1751153838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751146607-15940 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4496001-1751153838.opb PROOFDIR/proof-4496001-1751153838
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19026, runsolver pid=19023
[startup+0.100072 s]*
/proc/loadavg: 4.15 4.18 4.18 5/260 19028
/proc/meminfo: memFree=122365256/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=56212 memory=13128 CPUtime=0.09 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 626 0 0 0 8 1 0 0 20 0 1 0 31063548 57561088 3282 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 14053 3282 2368 1147 0 1480 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60404 KiB
Current children cumulated memory: 16072 KiB
[startup+0.213837 s]*
/proc/loadavg: 4.15 4.18 4.18 5/260 19028
/proc/meminfo: memFree=122362232/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=56752 memory=13640 CPUtime=0.2 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 763 0 0 0 19 1 0 0 20 0 1 0 31063548 58114048 3410 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 14188 3410 2368 1147 0 1615 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 16584 KiB
[startup+0.313716 s]*
/proc/loadavg: 4.15 4.18 4.18 6/260 19028
/proc/meminfo: memFree=122354168/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=57160 memory=14024 CPUtime=0.29 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 847 0 0 0 28 1 0 0 20 0 1 0 31063548 58531840 3506 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 14290 3506 2368 1147 0 1717 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61352 KiB
Current children cumulated memory: 16968 KiB
[startup+0.700356 s]
/proc/loadavg: 4.15 4.18 4.18 5/260 19028
/proc/meminfo: memFree=122350184/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=58024 memory=15048 CPUtime=0.66 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 1096 0 0 0 63 3 0 0 20 0 1 0 31063548 59416576 3762 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 14506 3762 2368 1147 0 1933 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 62216 KiB
Current children cumulated memory: 17992 KiB
[startup+1.5004 s]
/proc/loadavg: 4.15 4.18 4.18 5/260 19028
/proc/meminfo: memFree=122348672/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=60532 memory=16968 CPUtime=1.46 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 1605 0 0 0 139 7 0 0 20 0 1 0 31063548 61984768 4242 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 15133 4242 2368 1147 0 2560 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 64724 KiB
Current children cumulated memory: 19912 KiB
[startup+3.1139 s]
/proc/loadavg: 4.14 4.18 4.18 5/260 19028
/proc/meminfo: memFree=122322400/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=62660 memory=20768 CPUtime=3.07 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 2037 0 0 0 296 11 0 0 20 0 1 0 31063548 64163840 5192 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 15665 5192 2368 1147 0 3092 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 66852 KiB
Current children cumulated memory: 23712 KiB
[startup+6.30035 s]
/proc/loadavg: 4.14 4.18 4.18 5/260 19028
/proc/meminfo: memFree=122298520/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=64388 memory=22304 CPUtime=6.25 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 2430 0 0 0 608 17 0 0 20 0 1 0 31063548 65933312 5576 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 16097 5576 2368 1147 0 3524 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 68580 KiB
Current children cumulated memory: 25248 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.19 4.18 5/259 19028
/proc/meminfo: memFree=122242484/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=70864 memory=25632 CPUtime=12.63 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 3258 0 0 0 1234 29 0 0 20 0 1 0 31063548 72564736 6408 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 17716 6408 2368 1147 0 5143 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 75056 KiB
Current children cumulated memory: 28576 KiB
[startup+25.5004 s]
/proc/loadavg: 4.24 4.20 4.18 5/259 19028
/proc/meminfo: memFree=122199356/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=74848 memory=28832 CPUtime=25.39 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 4022 0 0 0 2490 49 0 0 20 0 1 0 31063548 76644352 7208 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 18712 7208 2432 1147 0 6139 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 79040 KiB
Current children cumulated memory: 31776 KiB
[startup+51.1137 s]
/proc/loadavg: 4.16 4.18 4.18 5/259 19029
/proc/meminfo: memFree=122063008/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=77208 memory=32928 CPUtime=50.93 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 5011 0 0 0 4999 94 0 0 20 0 1 0 31063548 79060992 8232 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 19302 8232 2464 1147 0 6729 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 81400 KiB
Current children cumulated memory: 35872 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/259 19124
/proc/meminfo: memFree=127743172/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=87684 memory=38560 CPUtime=101.95 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 7154 0 0 0 10035 160 0 0 20 0 1 0 31063548 89788416 9640 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 21921 9640 2464 1147 0 9348 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 91876 KiB
Current children cumulated memory: 41504 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/261 19266
/proc/meminfo: memFree=126889064/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=91556 memory=46152 CPUtime=161.76 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 8223 0 0 0 15956 220 0 0 20 0 1 0 31063548 93753344 11538 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 22889 11538 2464 1147 0 10316 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 49096 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.17 4.18 5/261 19271
/proc/meminfo: memFree=126229828/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=92792 memory=48040 CPUtime=221.59 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 8862 0 0 0 21891 268 0 0 20 0 1 0 31063548 95019008 12010 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 23198 12010 2464 1147 0 10625 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 96984 KiB
Current children cumulated memory: 50984 KiB
[startup+228.785 s]
# the end of solver process 19026 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=225.308 s, system=2.74458 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+224 s]*
/proc/loadavg: 4.17 4.17 4.18 5/261 19272
/proc/meminfo: memFree=126191284/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=92792 memory=48040 CPUtime=223.29 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 8862 0 0 0 22060 269 0 0 20 0 1 0 31063548 95019008 12010 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 23198 12010 2464 1147 0 10625 0
Current children cumulated CPU time: 223.29 s
Current children cumulated vsize: 96984 KiB
Current children cumulated memory: 50984 KiB
[startup+227.2 s]
/proc/loadavg: 4.15 4.17 4.18 5/261 19272
/proc/meminfo: memFree=126132320/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=92792 memory=48040 CPUtime=226.47 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 8873 0 0 0 22375 272 0 0 20 0 1 0 31063548 95019008 12010 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 23198 12010 2464 1147 0 10625 0
Current children cumulated CPU time: 226.47 s
Current children cumulated vsize: 96984 KiB
Current children cumulated memory: 50984 KiB
[startup+228 s]*
/proc/loadavg: 4.15 4.17 4.18 5/261 19272
/proc/meminfo: memFree=126108144/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=93012 memory=48040 CPUtime=227.29 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 8892 0 0 0 22456 273 0 0 20 0 1 0 31063548 95244288 12010 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 23253 12010 2464 1147 0 10680 0
Current children cumulated CPU time: 227.29 s
Current children cumulated vsize: 97204 KiB
Current children cumulated memory: 50984 KiB
[startup+228.4 s]
/proc/loadavg: 4.15 4.17 4.18 5/261 19272
/proc/meminfo: memFree=126108144/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=93012 memory=48168 CPUtime=227.67 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 8894 0 0 0 22494 273 0 0 20 0 1 0 31063548 95244288 12042 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 23253 12042 2464 1147 0 10680 0
Current children cumulated CPU time: 227.67 s
Current children cumulated vsize: 97204 KiB
Current children cumulated memory: 51112 KiB
[startup+228.6 s]
/proc/loadavg: 4.15 4.17 4.18 5/261 19272
/proc/meminfo: memFree=126108144/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=93268 memory=48296 CPUtime=227.87 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 8931 0 0 0 22514 273 0 0 20 0 1 0 31063548 95506432 12074 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 23317 12074 2464 1147 0 10744 0
Current children cumulated CPU time: 227.87 s
Current children cumulated vsize: 97460 KiB
Current children cumulated memory: 51240 KiB
[startup+228.7 s]
/proc/loadavg: 4.15 4.17 4.18 5/261 19272
/proc/meminfo: memFree=126108144/131382112 swapFree=33010684/33010684
[pid=19026] ppid=19023 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19026/stat : 19026 (run-dec-log.sh) S 19023 19026 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31063547 4292608 736 18446744073709551615 94708092727296 94708093621829 140724076289200 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94708093860880 94708093908624 94708115021824 140724076292385 140724076292580 140724076292580 140724076298182 0
/proc/19026/statm: 1048 736 672 219 0 110 0
[pid=19028] ppid=19026 vsize=93616 memory=48552 CPUtime=227.97 cores=0,2
/proc/19028/stat : 19028 (roundingsat) R 19026 19026 15930 0 -1 4194304 9020 0 0 0 22524 273 0 0 20 0 1 0 31063548 95862784 12138 18446744073709551615 4227072 8923433 140735015488368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19275776 140735015491943 140735015492136 140735015492136 140735015497706 0
/proc/19028/statm: 23404 12138 2464 1147 0 10831 0
Current children cumulated CPU time: 227.97 s
Current children cumulated vsize: 97808 KiB
Current children cumulated memory: 51496 KiB
Child status: 0
Real time (s): 228.785
CPU time (s): 228.052
CPU user time (s): 225.308
CPU system time (s): 2.74458
CPU usage (%): 99.6799
Max. virtual memory (cumulated for all children) (KiB): 97808
Max. memory (cumulated for all children) (KiB): 51496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 225.308
system time used= 2.74458
maximum resident set size= 48552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9251
page faults= 0
swaps= 0
block input operations= 0
block output operations= 811400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 599
involuntary context switches= 527
# summary of solver processes directly reported to runsolver:
# pid: 19026
# total CPU time (s): 228.052
# total CPU user time (s): 225.308
# total CPU system time (s): 2.74458
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33951 second user time and 2.32062 second system time
The end
Begin job on nodeC009 at 2025-06-29 01:37:18
IDJOB=4496001
IDBENCH=148104
IDSOLVER=3352
FILE ID=nodeC009/4496001-1751153838
RUNJOBID= nodeC009-1751146607-15940
SLURM_JOB_ID= 9587463
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww5.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496001-1751153838/watcher-4496001-1751153838 -o /tmp/evaluation-result-4496001-1751153838/solver-4496001-1751153838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751146607-15940 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4496001-1751153838.opb PROOFDIR/proof-4496001-1751153838
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f50ea280ec2253a5ba14d185d456771a
RANDOM SEED=1415884218
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1996.008
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.683
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.225
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.652
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.500
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.660
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.322
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 122371036 kB
MemAvailable: 129403356 kB
Buffers: 3280 kB
Cached: 7834968 kB
SwapCached: 0 kB
Active: 887792 kB
Inactive: 7624416 kB
Active(anon): 691984 kB
Inactive(anon): 0 kB
Active(file): 195808 kB
Inactive(file): 7624416 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 40756 kB
Writeback: 16 kB
AnonPages: 667012 kB
Mapped: 116124 kB
Shmem: 17960 kB
KReclaimable: 103064 kB
Slab: 185556 kB
SReclaimable: 103064 kB
SUnreclaim: 82492 kB
KernelStack: 4112 kB
PageTables: 4440 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1069804 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 577536 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC009 at 2025-06-29 01:41:07