0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.01 c #variables 3740 #constraints 3878
9.56/9.64 c #Conflicts: 1000 | #Constraints: 4877
9.56/9.64 c #Conflicts: 2000 | #Constraints: 5877
9.56/9.64 c INPROCESSING
9.56/9.64 c GARBAGE COLLECT
9.56/9.64 c #Conflicts: 3000 | #Constraints: 5362
9.56/9.64 c #Conflicts: 4000 | #Constraints: 6363
9.56/9.64 c INPROCESSING
9.56/9.64 c GARBAGE COLLECT
9.56/9.64 c #Conflicts: 5000 | #Constraints: 5810
9.56/9.64 c #Conflicts: 6000 | #Constraints: 6810
9.56/9.64 c INPROCESSING
9.56/9.64 c GARBAGE COLLECT
9.56/9.64 c #Conflicts: 7000 | #Constraints: 5863
9.56/9.64 c #Conflicts: 8000 | #Constraints: 6864
9.56/9.64 c #Conflicts: 9000 | #Constraints: 7864
9.56/9.64 c INPROCESSING
9.56/9.64 c GARBAGE COLLECT
9.56/9.64 c #Conflicts: 10000 | #Constraints: 6574
9.56/9.64 c #Conflicts: 11000 | #Constraints: 7574
9.56/9.64 c #Conflicts: 12000 | #Constraints: 8574
9.56/9.64 c INPROCESSING
9.56/9.64 c GARBAGE COLLECT
9.56/9.64 c #Conflicts: 13000 | #Constraints: 7066
9.56/9.64 c #Conflicts: 14000 | #Constraints: 8066
9.56/9.64 c #Conflicts: 15000 | #Constraints: 9066
9.56/9.64 c INPROCESSING
9.56/9.64 c GARBAGE COLLECT
9.56/9.64 c rational objective 68
11.46/11.56 c #Conflicts: 16000 | #Constraints: 7315
11.46/11.56 c #Conflicts: 17000 | #Constraints: 8315
11.46/11.56 c #Conflicts: 18000 | #Constraints: 9315
11.46/11.56 c INPROCESSING
11.46/11.56 c GARBAGE COLLECT
11.46/11.56 c rational objective 68
14.86/14.97 c #Conflicts: 19000 | #Constraints: 7375
14.86/14.97 c #Conflicts: 20000 | #Constraints: 8375
14.86/14.97 c #Conflicts: 21000 | #Constraints: 9376
14.86/14.97 c INPROCESSING
14.86/14.97 c GARBAGE COLLECT
14.86/14.97 c rational objective 68
17.85/17.97 c #Conflicts: 22000 | #Constraints: 7195
17.85/17.97 c #Conflicts: 23000 | #Constraints: 8195
17.85/17.97 c #Conflicts: 24000 | #Constraints: 9195
17.85/17.97 c #Conflicts: 25000 | #Constraints: 10195
17.85/17.97 c INPROCESSING
17.85/17.97 c GARBAGE COLLECT
17.85/17.97 c rational objective 68
19.74/19.84 c #Conflicts: 26000 | #Constraints: 7819
19.74/19.84 c #Conflicts: 27000 | #Constraints: 8819
19.74/19.84 c #Conflicts: 28000 | #Constraints: 9819
19.74/19.84 c #Conflicts: 29000 | #Constraints: 10819
19.74/19.84 c INPROCESSING
19.74/19.84 c GARBAGE COLLECT
19.74/19.84 c rational objective 68
25.33/25.44 c #Conflicts: 30000 | #Constraints: 8235
25.33/25.44 c #Conflicts: 31000 | #Constraints: 9236
25.33/25.44 c #Conflicts: 32000 | #Constraints: 10236
25.33/25.44 c #Conflicts: 33000 | #Constraints: 11236
25.33/25.44 c INPROCESSING
25.33/25.44 c GARBAGE COLLECT
25.33/25.44 c rational objective 68
28.42/28.59 c #Conflicts: 34000 | #Constraints: 8449
28.42/28.59 c #Conflicts: 35000 | #Constraints: 9450
28.42/28.59 c #Conflicts: 36000 | #Constraints: 10450
28.42/28.59 c #Conflicts: 37000 | #Constraints: 11450
28.42/28.59 c INPROCESSING
28.42/28.59 c GARBAGE COLLECT
28.42/28.59 c rational objective 68
35.21/35.30 c #Conflicts: 38000 | #Constraints: 8463
35.21/35.30 c #Conflicts: 39000 | #Constraints: 9463
35.21/35.30 c #Conflicts: 40000 | #Constraints: 10463
35.21/35.30 c #Conflicts: 41000 | #Constraints: 11464
35.21/35.30 c INPROCESSING
35.21/35.30 c GARBAGE COLLECT
35.21/35.30 c rational objective 68
41.30/41.47 c #Conflicts: 42000 | #Constraints: 8293
41.30/41.47 c #Conflicts: 43000 | #Constraints: 9293
41.30/41.47 c #Conflicts: 44000 | #Constraints: 10293
41.30/41.47 c #Conflicts: 45000 | #Constraints: 11293
41.30/41.47 c #Conflicts: 46000 | #Constraints: 12294
41.30/41.47 c INPROCESSING
41.30/41.47 c GARBAGE COLLECT
41.30/41.47 c #Conflicts: 47000 | #Constraints: 8864
41.30/41.47 c #Conflicts: 48000 | #Constraints: 9864
41.30/41.47 c #Conflicts: 49000 | #Constraints: 10864
41.30/41.47 c #Conflicts: 50000 | #Constraints: 11864
41.30/41.47 c #Conflicts: 51000 | #Constraints: 12864
41.30/41.47 c INPROCESSING
41.30/41.47 c GARBAGE COLLECT
41.30/41.47 c rational objective 68
44.28/44.44 c #Conflicts: 52000 | #Constraints: 9308
44.28/44.44 c #Conflicts: 53000 | #Constraints: 10308
44.28/44.44 c #Conflicts: 54000 | #Constraints: 11308
44.28/44.44 c #Conflicts: 55000 | #Constraints: 12308
44.28/44.44 c #Conflicts: 56000 | #Constraints: 13308
44.28/44.44 c INPROCESSING
44.28/44.44 c GARBAGE COLLECT
44.28/44.44 c rational objective 68
48.38/48.53 c #Conflicts: 57000 | #Constraints: 9484
48.38/48.53 c #Conflicts: 58000 | #Constraints: 10484
48.38/48.53 c #Conflicts: 59000 | #Constraints: 11484
48.38/48.53 c #Conflicts: 60000 | #Constraints: 12484
48.38/48.53 c #Conflicts: 61000 | #Constraints: 13484
48.38/48.53 c INPROCESSING
48.38/48.53 c GARBAGE COLLECT
48.38/48.53 c rational objective 68
52.87/53.03 c #Conflicts: 62000 | #Constraints: 9521
52.87/53.03 c #Conflicts: 63000 | #Constraints: 10521
52.87/53.03 c #Conflicts: 64000 | #Constraints: 11521
52.87/53.03 c #Conflicts: 65000 | #Constraints: 12523
52.87/53.03 c #Conflicts: 66000 | #Constraints: 13523
52.87/53.03 c INPROCESSING
52.87/53.03 c GARBAGE COLLECT
52.87/53.03 c rational objective 68
59.65/59.88 c #Conflicts: 67000 | #Constraints: 9353
59.65/59.88 c #Conflicts: 68000 | #Constraints: 10353
59.65/59.88 c #Conflicts: 69000 | #Constraints: 11353
59.65/59.88 c #Conflicts: 70000 | #Constraints: 12353
59.65/59.88 c #Conflicts: 71000 | #Constraints: 13353
59.65/59.88 c #Conflicts: 72000 | #Constraints: 14354
59.65/59.88 c INPROCESSING
59.65/59.88 c GARBAGE COLLECT
59.65/59.88 c rational objective 68
64.04/64.26 c #Conflicts: 73000 | #Constraints: 9954
64.04/64.26 c #Conflicts: 74000 | #Constraints: 10954
64.04/64.26 c #Conflicts: 75000 | #Constraints: 11954
64.04/64.26 c #Conflicts: 76000 | #Constraints: 12954
64.04/64.26 c #Conflicts: 77000 | #Constraints: 13954
64.04/64.26 c #Conflicts: 78000 | #Constraints: 14954
64.04/64.26 c INPROCESSING
64.04/64.26 c GARBAGE COLLECT
64.04/64.26 c rational objective 68
67.54/67.78 c #Conflicts: 79000 | #Constraints: 10327
67.54/67.78 c #Conflicts: 80000 | #Constraints: 11327
67.54/67.78 c #Conflicts: 81000 | #Constraints: 12327
67.54/67.78 c #Conflicts: 82000 | #Constraints: 13327
67.54/67.78 c #Conflicts: 83000 | #Constraints: 14329
67.54/67.78 c #Conflicts: 84000 | #Constraints: 15329
67.54/67.78 c INPROCESSING
67.54/67.78 c GARBAGE COLLECT
67.54/67.78 c rational objective 68
71.53/71.76 c #Conflicts: 85000 | #Constraints: 10542
71.53/71.76 c #Conflicts: 86000 | #Constraints: 11542
71.53/71.76 c #Conflicts: 87000 | #Constraints: 12543
71.53/71.76 c #Conflicts: 88000 | #Constraints: 13544
71.53/71.76 c #Conflicts: 89000 | #Constraints: 14544
71.53/71.76 c #Conflicts: 90000 | #Constraints: 15544
71.53/71.76 c INPROCESSING
71.53/71.76 c GARBAGE COLLECT
71.53/71.76 c rational objective 68
78.11/78.34 c #Conflicts: 91000 | #Constraints: 10522
78.11/78.34 c #Conflicts: 92000 | #Constraints: 11522
78.11/78.34 c #Conflicts: 93000 | #Constraints: 12523
78.11/78.34 c #Conflicts: 94000 | #Constraints: 13523
78.11/78.34 c #Conflicts: 95000 | #Constraints: 14523
78.11/78.34 c #Conflicts: 96000 | #Constraints: 15524
78.11/78.34 c INPROCESSING
78.11/78.34 c GARBAGE COLLECT
78.11/78.34 c rational objective 68
84.40/84.65 c #Conflicts: 97000 | #Constraints: 10340
84.40/84.65 c #Conflicts: 98000 | #Constraints: 11340
84.40/84.65 c #Conflicts: 99000 | #Constraints: 12340
84.40/84.65 c #Conflicts: 100000 | #Constraints: 13341
84.40/84.65 c #Conflicts: 101000 | #Constraints: 14341
84.40/84.65 c #Conflicts: 102000 | #Constraints: 15341
84.40/84.65 c #Conflicts: 103000 | #Constraints: 16341
84.40/84.65 c INPROCESSING
84.40/84.65 c GARBAGE COLLECT
84.40/84.65 c rational objective 68
87.90/88.14 c #Conflicts: 104000 | #Constraints: 10953
87.90/88.14 c #Conflicts: 105000 | #Constraints: 11953
87.90/88.14 c #Conflicts: 106000 | #Constraints: 12953
87.90/88.14 c #Conflicts: 107000 | #Constraints: 13953
87.90/88.14 c #Conflicts: 108000 | #Constraints: 14953
87.90/88.14 c #Conflicts: 109000 | #Constraints: 15953
87.90/88.14 c #Conflicts: 110000 | #Constraints: 16953
87.90/88.14 c INPROCESSING
87.90/88.14 c GARBAGE COLLECT
87.90/88.14 c rational objective 68
94.37/94.68 c #Conflicts: 111000 | #Constraints: 11349
94.37/94.68 c #Conflicts: 112000 | #Constraints: 12350
94.37/94.68 c #Conflicts: 113000 | #Constraints: 13350
94.37/94.68 c #Conflicts: 114000 | #Constraints: 14350
94.37/94.68 c #Conflicts: 115000 | #Constraints: 15350
94.37/94.68 c #Conflicts: 116000 | #Constraints: 16350
94.37/94.68 c #Conflicts: 117000 | #Constraints: 17350
94.37/94.68 c INPROCESSING
94.37/94.68 c GARBAGE COLLECT
94.37/94.68 c rational objective 68
99.26/99.53 c #Conflicts: 118000 | #Constraints: 11549
99.26/99.53 c #Conflicts: 119000 | #Constraints: 12549
99.26/99.53 c #Conflicts: 120000 | #Constraints: 13549
99.26/99.53 c #Conflicts: 121000 | #Constraints: 14549
99.26/99.53 c #Conflicts: 122000 | #Constraints: 15549
99.26/99.53 c #Conflicts: 123000 | #Constraints: 16549
99.26/99.53 c #Conflicts: 124000 | #Constraints: 17549
99.26/99.53 c INPROCESSING
99.26/99.53 c GARBAGE COLLECT
99.26/99.53 c rational objective 68
107.04/107.31 c #Conflicts: 125000 | #Constraints: 11573
107.04/107.31 c #Conflicts: 126000 | #Constraints: 12573
107.04/107.31 c #Conflicts: 127000 | #Constraints: 13573
107.04/107.31 c #Conflicts: 128000 | #Constraints: 14573
107.04/107.31 c #Conflicts: 129000 | #Constraints: 15573
107.04/107.31 c #Conflicts: 130000 | #Constraints: 16573
107.04/107.31 c #Conflicts: 131000 | #Constraints: 17574
107.04/107.31 c INPROCESSING
107.04/107.31 c GARBAGE COLLECT
107.04/107.31 c rational objective 68
113.13/113.43 c #Conflicts: 132000 | #Constraints: 11372
113.13/113.43 c #Conflicts: 133000 | #Constraints: 12372
113.13/113.43 c #Conflicts: 134000 | #Constraints: 13373
113.13/113.43 c #Conflicts: 135000 | #Constraints: 14374
113.13/113.43 c #Conflicts: 136000 | #Constraints: 15375
113.13/113.43 c #Conflicts: 137000 | #Constraints: 16375
113.13/113.43 c #Conflicts: 138000 | #Constraints: 17375
113.13/113.43 c #Conflicts: 139000 | #Constraints: 18376
113.13/113.43 c INPROCESSING
113.13/113.43 c GARBAGE COLLECT
113.13/113.43 c rational objective 68
151.74/152.15 c #Conflicts: 140000 | #Constraints: 11977
151.74/152.15 c #Conflicts: 141000 | #Constraints: 12978
151.74/152.15 c #Conflicts: 142000 | #Constraints: 13978
151.74/152.15 c #Conflicts: 143000 | #Constraints: 14978
151.74/152.15 c #Conflicts: 144000 | #Constraints: 15978
151.74/152.15 c #Conflicts: 145000 | #Constraints: 16978
151.74/152.15 c #Conflicts: 146000 | #Constraints: 17978
151.74/152.15 c #Conflicts: 147000 | #Constraints: 18978
151.74/152.15 c #Conflicts: 148000 | #Constraints: 19978
151.74/152.15 c #Conflicts: 149000 | #Constraints: 20978
151.74/152.15 c #Conflicts: 150000 | #Constraints: 21978
151.74/152.15 c #Conflicts: 151000 | #Constraints: 22979
151.74/152.15 c #Conflicts: 152000 | #Constraints: 23979
151.74/152.15 c #Conflicts: 153000 | #Constraints: 24979
151.74/152.15 c #Conflicts: 154000 | #Constraints: 25979
151.74/152.15 c #Conflicts: 155000 | #Constraints: 26979
151.74/152.15 c #Conflicts: 156000 | #Constraints: 27980
151.74/152.15 c #Conflicts: 157000 | #Constraints: 28980
151.74/152.15 c #Conflicts: 158000 | #Constraints: 29980
151.74/152.15 c #Conflicts: 159000 | #Constraints: 30980
151.74/152.15 c #Conflicts: 160000 | #Constraints: 31980
151.74/152.15 c #Conflicts: 161000 | #Constraints: 32980
151.74/152.15 c #Conflicts: 162000 | #Constraints: 33980
151.74/152.15 c #Conflicts: 163000 | #Constraints: 34981
151.74/152.15 c #Conflicts: 164000 | #Constraints: 35981
151.74/152.15 c #Conflicts: 165000 | #Constraints: 36981
151.74/152.15 c #Conflicts: 166000 | #Constraints: 37981
151.74/152.15 c #Conflicts: 167000 | #Constraints: 38981
151.74/152.15 c #Conflicts: 168000 | #Constraints: 39981
151.74/152.15 c #Conflicts: 169000 | #Constraints: 40981
151.74/152.15 c #Conflicts: 170000 | #Constraints: 41981
151.74/152.15 c #Conflicts: 171000 | #Constraints: 42981
151.74/152.15 c #Conflicts: 172000 | #Constraints: 43981
151.74/152.15 c #Conflicts: 173000 | #Constraints: 44982
151.74/152.15 c #Conflicts: 174000 | #Constraints: 45982
151.74/152.15 c INPROCESSING
151.74/152.15 c GARBAGE COLLECT
151.74/152.15 c rational objective 68
162.72/163.13 c #Conflicts: 175000 | #Constraints: 25927
162.72/163.13 c #Conflicts: 176000 | #Constraints: 26929
162.72/163.13 c #Conflicts: 177000 | #Constraints: 27929
162.72/163.13 c #Conflicts: 178000 | #Constraints: 28929
162.72/163.13 c #Conflicts: 179000 | #Constraints: 29930
162.72/163.13 c #Conflicts: 180000 | #Constraints: 30930
162.72/163.13 c #Conflicts: 181000 | #Constraints: 31932
162.72/163.13 c #Conflicts: 182000 | #Constraints: 32932
162.72/163.13 c INPROCESSING
162.72/163.13 c GARBAGE COLLECT
162.72/163.13 c rational objective 68
170.00/170.42 c #Conflicts: 183000 | #Constraints: 18966
170.00/170.42 c #Conflicts: 184000 | #Constraints: 19966
170.00/170.42 c #Conflicts: 185000 | #Constraints: 20966
170.00/170.42 c #Conflicts: 186000 | #Constraints: 21966
170.00/170.42 c #Conflicts: 187000 | #Constraints: 22966
170.00/170.42 c #Conflicts: 188000 | #Constraints: 23966
170.00/170.42 c #Conflicts: 189000 | #Constraints: 24966
170.00/170.42 c #Conflicts: 190000 | #Constraints: 25966
170.00/170.42 c #Conflicts: 191000 | #Constraints: 26966
170.00/170.42 c #Conflicts: 192000 | #Constraints: 27966
170.00/170.42 c INPROCESSING
170.00/170.42 c GARBAGE COLLECT
170.00/170.42 c rational objective 68
181.76/182.23 c #Conflicts: 193000 | #Constraints: 16933
181.76/182.23 c #Conflicts: 194000 | #Constraints: 17933
181.76/182.23 c #Conflicts: 195000 | #Constraints: 18933
181.76/182.23 c #Conflicts: 196000 | #Constraints: 19933
181.76/182.23 c #Conflicts: 197000 | #Constraints: 20933
181.76/182.23 c #Conflicts: 198000 | #Constraints: 21933
181.76/182.23 c #Conflicts: 199000 | #Constraints: 22933
181.76/182.23 c #Conflicts: 200000 | #Constraints: 23934
181.76/182.23 c #Conflicts: 201000 | #Constraints: 24934
181.76/182.23 c INPROCESSING
181.76/182.23 c GARBAGE COLLECT
181.76/182.23 c rational objective 68
190.84/191.39 c #Conflicts: 202000 | #Constraints: 15264
190.84/191.39 c #Conflicts: 203000 | #Constraints: 16265
190.84/191.39 c #Conflicts: 204000 | #Constraints: 17265
190.84/191.39 c #Conflicts: 205000 | #Constraints: 18265
190.84/191.39 c #Conflicts: 206000 | #Constraints: 19266
190.84/191.39 c #Conflicts: 207000 | #Constraints: 20266
190.84/191.39 c #Conflicts: 208000 | #Constraints: 21266
190.84/191.39 c #Conflicts: 209000 | #Constraints: 22266
190.84/191.39 c #Conflicts: 210000 | #Constraints: 23266
190.84/191.39 c INPROCESSING
190.84/191.39 c GARBAGE COLLECT
190.84/191.39 c rational objective 68
198.03/198.51 c #Conflicts: 211000 | #Constraints: 14208
198.03/198.51 c #Conflicts: 212000 | #Constraints: 15208
198.03/198.51 c #Conflicts: 213000 | #Constraints: 16208
198.03/198.51 c #Conflicts: 214000 | #Constraints: 17208
198.03/198.51 c #Conflicts: 215000 | #Constraints: 18208
198.03/198.51 c #Conflicts: 216000 | #Constraints: 19208
198.03/198.51 c #Conflicts: 217000 | #Constraints: 20208
198.03/198.51 c #Conflicts: 218000 | #Constraints: 21208
198.03/198.51 c #Conflicts: 219000 | #Constraints: 22208
198.03/198.51 c #Conflicts: 220000 | #Constraints: 23208
198.03/198.51 c INPROCESSING
198.03/198.51 c GARBAGE COLLECT
198.03/198.51 c rational objective 68
207.11/207.63 c #Conflicts: 221000 | #Constraints: 14290
207.11/207.63 c #Conflicts: 222000 | #Constraints: 15290
207.11/207.63 c #Conflicts: 223000 | #Constraints: 16290
207.11/207.63 c #Conflicts: 224000 | #Constraints: 17290
207.11/207.63 c #Conflicts: 225000 | #Constraints: 18290
207.11/207.63 c #Conflicts: 226000 | #Constraints: 19291
207.11/207.63 c #Conflicts: 227000 | #Constraints: 20292
207.11/207.63 c #Conflicts: 228000 | #Constraints: 21292
207.11/207.63 c #Conflicts: 229000 | #Constraints: 22292
207.11/207.63 c #Conflicts: 230000 | #Constraints: 23292
207.11/207.63 c INPROCESSING
207.11/207.63 c GARBAGE COLLECT
207.11/207.63 c rational objective 68
263.58/264.23 c #Conflicts: 231000 | #Constraints: 14384
263.58/264.23 c #Conflicts: 232000 | #Constraints: 15384
263.58/264.23 c #Conflicts: 233000 | #Constraints: 16384
263.58/264.23 c #Conflicts: 234000 | #Constraints: 17384
263.58/264.23 c #Conflicts: 235000 | #Constraints: 18384
263.58/264.23 c #Conflicts: 236000 | #Constraints: 19385
263.58/264.23 c #Conflicts: 237000 | #Constraints: 20385
263.58/264.23 c #Conflicts: 238000 | #Constraints: 21385
263.58/264.23 c #Conflicts: 239000 | #Constraints: 22385
263.58/264.23 c #Conflicts: 240000 | #Constraints: 23385
263.58/264.23 c #Conflicts: 241000 | #Constraints: 24385
263.58/264.23 c #Conflicts: 242000 | #Constraints: 25385
263.58/264.23 c #Conflicts: 243000 | #Constraints: 26385
263.58/264.23 c #Conflicts: 244000 | #Constraints: 27385
263.58/264.23 c #Conflicts: 245000 | #Constraints: 28385
263.58/264.23 c #Conflicts: 246000 | #Constraints: 29385
263.58/264.23 c #Conflicts: 247000 | #Constraints: 30385
263.58/264.23 c #Conflicts: 248000 | #Constraints: 31385
263.58/264.23 c #Conflicts: 249000 | #Constraints: 32385
263.58/264.23 c #Conflicts: 250000 | #Constraints: 33385
263.58/264.23 c #Conflicts: 251000 | #Constraints: 34385
263.58/264.23 c #Conflicts: 252000 | #Constraints: 35385
263.58/264.23 c #Conflicts: 253000 | #Constraints: 36385
263.58/264.23 c #Conflicts: 254000 | #Constraints: 37385
263.58/264.23 c #Conflicts: 255000 | #Constraints: 38385
263.58/264.23 c #Conflicts: 256000 | #Constraints: 39385
263.58/264.23 c #Conflicts: 257000 | #Constraints: 40385
263.58/264.23 c #Conflicts: 258000 | #Constraints: 41385
263.58/264.23 c #Conflicts: 259000 | #Constraints: 42385
263.58/264.23 c #Conflicts: 260000 | #Constraints: 43385
263.58/264.23 c #Conflicts: 261000 | #Constraints: 44385
263.58/264.23 c #Conflicts: 262000 | #Constraints: 45385
263.58/264.23 c #Conflicts: 263000 | #Constraints: 46385
263.58/264.23 c #Conflicts: 264000 | #Constraints: 47385
263.58/264.23 c #Conflicts: 265000 | #Constraints: 48385
263.58/264.23 c #Conflicts: 266000 | #Constraints: 49386
263.58/264.23 c #Conflicts: 267000 | #Constraints: 50386
263.58/264.23 c #Conflicts: 268000 | #Constraints: 51386
263.58/264.23 c #Conflicts: 269000 | #Constraints: 52386
263.58/264.23 c #Conflicts: 270000 | #Constraints: 53387
263.58/264.23 c #Conflicts: 271000 | #Constraints: 54387
263.58/264.23 c #Conflicts: 272000 | #Constraints: 55387
263.58/264.23 c #Conflicts: 273000 | #Constraints: 56387
263.58/264.23 c INPROCESSING
263.58/264.23 c GARBAGE COLLECT
263.58/264.23 c rational objective 68
269.56/270.27 c #Conflicts: 274000 | #Constraints: 30773
269.56/270.27 c #Conflicts: 275000 | #Constraints: 31774
269.56/270.27 c #Conflicts: 276000 | #Constraints: 32774
269.56/270.27 c #Conflicts: 277000 | #Constraints: 33774
269.56/270.27 c #Conflicts: 278000 | #Constraints: 34774
269.56/270.27 c cpu time 265.322 s
269.56/270.27 c deterministic time 23224938772 2.32e+10
269.56/270.27 c optimization time 8.1e-05 s
269.56/270.27 c total solve time 265.309 s
269.56/270.27 c core-guided solve time 0 s
269.56/270.27 c propagation time 156.318 s
269.56/270.27 c conflict analysis time 58.9541 s
269.56/270.27 c propagations 85034928
269.56/270.27 c resolve steps 8851888
269.56/270.27 c decisions 1641946
269.56/270.27 c conflicts 278574
269.56/270.27 c restarts 652
269.56/270.27 c inprocessing phases 37
269.56/270.27 c input clauses 3810
269.56/270.27 c input cardinalities 68
269.56/270.27 c input general constraints 0
269.56/270.27 c input average constraint length 6.00
269.56/270.27 c input average constraint degree 1.93
269.56/270.27 c learned clauses 188195
269.56/270.27 c learned cardinalities 7940
269.56/270.27 c learned general constraints 82510
269.56/270.27 c learned average constraint length 458.47
269.56/270.27 c learned average constraint degree 26490465.81
269.56/270.27 c watched constraints 65971
269.56/270.27 c counting constraints 16539
269.56/270.27 c gcd simplifications 717
269.56/270.27 c detected cardinalities 712
269.56/270.27 c weakened non-implied lits 29459328
269.56/270.27 c weakened non-implying lits 45903
269.56/270.27 c original variables 3740
269.56/270.27 c clausal propagations 35028997
269.56/270.27 c cardinality propagations 28658595
269.56/270.27 c watched propagations 5196023
269.56/270.27 c counting propagations 15262523
269.56/270.27 c watch lookups 2348419060
269.56/270.27 c watch backjump lookups 1867211847
269.56/270.27 c watch checks 14613080506
269.56/270.27 c propagation checks 3829798424
269.56/270.27 c constraint additions 392386446
269.56/270.27 c trail pops 86954794
269.56/270.27 c formula constraints 3878
269.56/270.27 c learned constraints 278527
269.56/270.27 c bound constraints 0
269.56/270.27 c core-guided constraints 0
269.56/270.27 c encountered formula constraints 5793942
269.56/270.27 c encountered learned constraints 3336197
269.56/270.27 c encountered bound constraints 0
269.56/270.27 c encountered core-guided constraints 0
269.56/270.27 c LP total time 91.9616 s
269.56/270.27 c LP solve time 76.66 s
269.56/270.27 c LP constraints added 5195
269.56/270.27 c LP constraints removed 1230
269.56/270.27 c LP pivots internal 278629
269.56/270.27 c LP pivots root 132191
269.56/270.27 c LP calls 111
269.56/270.27 c LP optimalities 60
269.56/270.27 c LP no pivot count 3
269.56/270.27 c LP infeasibilities 47
269.56/270.27 c LP valid Farkas constraints 47
269.56/270.27 c LP learned Farkas constraints 47
269.56/270.27 c LP basis resets 0
269.56/270.27 c LP cycling count 0
269.56/270.27 c LP singular count 0
269.56/270.27 c LP no primal count 0
269.56/270.27 c LP no farkas count 0
269.56/270.27 c LP other issue count 0
269.56/270.27 c LP Gomory cuts 24
269.56/270.27 c LP learned cuts 1293
269.56/270.27 c LP deleted cuts 1230
269.56/270.27 c LP encountered Gomory constraints 0
269.56/270.27 c LP encountered Farkas constraints 160
269.56/270.27 c LP encountered learned Farkas constraints 116
269.56/270.27 c CG auxiliary variables introduced 0
269.56/270.27 c CG solutions found 0
269.56/270.27 c CG cores constructed 0
269.56/270.27 c CG core cardinality constraints returned 0
269.56/270.27 c CG unit cores 0
269.56/270.27 c CG single cores 0
269.56/270.27 c CG blocks removed during cardinality reduction 0
269.56/270.27 c CG first core best 0
269.56/270.27 c CG decision core best 0
269.56/270.27 c CG core reduction tie 0
269.56/270.27 c CG core degree average 0.00
269.56/270.27 c CG core slack average 0.00
269.56/270.27 s SATISFIABLE
269.56/270.27 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 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 x2684 -x2685 x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 x3658 -x3659 x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3740
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: 63968 MiB (57467 MiB free)
memory of node 1: 64473 MiB (55612 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455612-1721464984/watcher-4455612-1721464984 -o /tmp/evaluation-result-4455612-1721464984/solver-4455612-1721464984 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721460068-1056504 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455612-1721464984.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1059859, runsolver pid=1059856
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.27 4.15 4.10 5/257 1059860
/proc/meminfo: memFree=115787392/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=44012 memory=13648 CPUtime=0.09 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 2196 0 0 0 9 0 0 0 20 0 1 0 198664623 45068288 3412 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 11003 3412 1679 922 0 2955 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44012 KiB
Current children cumulated memory: 13648 KiB
[startup+0.205599 s]*
/proc/loadavg: 4.27 4.15 4.10 5/257 1059860
/proc/meminfo: memFree=115784924/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=44012 memory=13648 CPUtime=0.2 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 2210 0 0 0 20 0 0 0 20 0 1 0 198664623 45068288 3412 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 11003 3412 1679 922 0 2955 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44012 KiB
Current children cumulated memory: 13648 KiB
[startup+0.305574 s]*
/proc/loadavg: 4.27 4.15 4.10 5/257 1059860
/proc/meminfo: memFree=115784252/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=44676 memory=13912 CPUtime=0.3 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 2313 0 0 0 30 0 0 0 20 0 1 0 198664623 45748224 3478 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 11169 3478 1679 922 0 3121 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44676 KiB
Current children cumulated memory: 13912 KiB
[startup+0.700233 s]
/proc/loadavg: 4.27 4.15 4.10 5/257 1059860
/proc/meminfo: memFree=115783580/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=45212 memory=17716 CPUtime=0.69 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 2681 0 0 0 66 3 0 0 20 0 1 0 198664623 46297088 4429 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 11303 4429 1725 922 0 3255 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45212 KiB
Current children cumulated memory: 17716 KiB
[startup+1.50024 s]
/proc/loadavg: 4.27 4.15 4.10 5/257 1059860
/proc/meminfo: memFree=115778720/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=46232 memory=19060 CPUtime=1.49 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 2930 0 0 0 144 5 0 0 20 0 1 0 198664623 47341568 4765 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 11558 4765 1803 922 0 3510 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46232 KiB
Current children cumulated memory: 19060 KiB
[startup+3.10539 s]
/proc/loadavg: 4.24 4.15 4.10 5/257 1059860
/proc/meminfo: memFree=115772668/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=46856 memory=19848 CPUtime=3.09 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 3144 0 0 0 300 9 0 0 20 0 1 0 198664623 47980544 4962 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 11714 4962 1803 922 0 3666 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46856 KiB
Current children cumulated memory: 19848 KiB
[startup+6.30022 s]
/proc/loadavg: 4.24 4.15 4.10 5/257 1059860
/proc/meminfo: memFree=115760464/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=47788 memory=21432 CPUtime=6.27 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 3547 0 0 0 612 15 0 0 20 0 1 0 198664623 48934912 5358 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 11947 5358 1803 922 0 3899 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47788 KiB
Current children cumulated memory: 21432 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.14 4.10 5/257 1059862
/proc/meminfo: memFree=115726452/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=68540 memory=40252 CPUtime=12.67 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 7742 0 0 0 1233 34 0 0 20 0 1 0 198664623 70184960 10063 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 17135 10063 1819 922 0 9087 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 68540 KiB
Current children cumulated memory: 40252 KiB
[startup+25.5003 s]
/proc/loadavg: 4.25 4.16 4.10 5/257 1059863
/proc/meminfo: memFree=115690380/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=68472 memory=40224 CPUtime=25.43 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 9217 0 0 0 2487 56 0 0 20 0 1 0 198664623 70115328 10056 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 17118 10056 1819 922 0 9070 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 68472 KiB
Current children cumulated memory: 40224 KiB
[startup+51.1055 s]
/proc/loadavg: 4.17 4.14 4.10 5/257 1059868
/proc/meminfo: memFree=115574792/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=80800 memory=51680 CPUtime=50.98 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 11043 0 0 0 4992 106 0 0 20 0 1 0 198664623 82739200 12920 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 20200 12920 1819 922 0 12152 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 80800 KiB
Current children cumulated memory: 51680 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 1059878
/proc/meminfo: memFree=115310048/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=98800 memory=67764 CPUtime=102.06 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 14611 0 0 0 10002 204 0 0 20 0 1 0 198664623 101171200 16941 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 24700 16941 1819 922 0 16652 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 98800 KiB
Current children cumulated memory: 67764 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/254 1059888
/proc/meminfo: memFree=115143796/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=214316 memory=148088 CPUtime=161.92 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 19877 0 0 0 15896 296 0 0 20 0 1 0 198664623 219459584 37022 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 53579 37022 1819 922 0 45531 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 214316 KiB
Current children cumulated memory: 148088 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 1059899
/proc/meminfo: memFree=114430096/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=217356 memory=151400 CPUtime=221.78 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 20888 0 0 0 21797 381 0 0 20 0 1 0 198664623 222572544 37850 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 54339 37850 1819 922 0 46291 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 217356 KiB
Current children cumulated memory: 151400 KiB
[startup+270.284 s]
# the end of solver process 1059859 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=265.324 s, system=4.33397 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 1059900
/proc/meminfo: memFree=114353676/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=217356 memory=151400 CPUtime=229.86 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 20903 0 0 0 22594 392 0 0 20 0 1 0 198664623 222572544 37850 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 54339 37850 1819 922 0 46291 0
Current children cumulated CPU time: 229.86 s
Current children cumulated vsize: 217356 KiB
Current children cumulated memory: 151400 KiB
[startup+256 s]*
/proc/loadavg: 4.12 4.13 4.09 5/254 1059905
/proc/meminfo: memFree=113777712/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=220544 memory=164384 CPUtime=255.4 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 21644 0 0 0 25123 417 0 0 20 0 1 0 198664623 225837056 41096 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 55136 41096 1819 922 0 47088 0
Current children cumulated CPU time: 255.4 s
Current children cumulated vsize: 220544 KiB
Current children cumulated memory: 164384 KiB
[startup+262.4 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 1059907
/proc/meminfo: memFree=113724080/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=222360 memory=182580 CPUtime=261.79 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 22116 0 0 0 25757 422 0 0 20 0 1 0 198664623 227696640 45645 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 55590 45645 1819 922 0 47542 0
Current children cumulated CPU time: 261.79 s
Current children cumulated vsize: 222360 KiB
Current children cumulated memory: 182580 KiB
[startup+265.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 1059907
/proc/meminfo: memFree=113696636/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=225656 memory=186004 CPUtime=264.98 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 22936 0 0 0 26072 426 0 0 20 0 1 0 198664623 231071744 46501 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 56414 46501 1819 922 0 48366 0
Current children cumulated CPU time: 264.98 s
Current children cumulated vsize: 225656 KiB
Current children cumulated memory: 186004 KiB
[startup+268.8 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 1059907
/proc/meminfo: memFree=113658244/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=225656 memory=186004 CPUtime=268.17 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 22945 0 0 0 26386 431 0 0 20 0 1 0 198664623 231071744 46501 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 56414 46501 1819 922 0 48366 0
Current children cumulated CPU time: 268.17 s
Current children cumulated vsize: 225656 KiB
Current children cumulated memory: 186004 KiB
[startup+269.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 1059907
/proc/meminfo: memFree=113641116/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=225656 memory=186004 CPUtime=268.96 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 22945 0 0 0 26465 431 0 0 20 0 1 0 198664623 231071744 46501 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 56414 46501 1819 922 0 48366 0
Current children cumulated CPU time: 268.96 s
Current children cumulated vsize: 225656 KiB
Current children cumulated memory: 186004 KiB
[startup+270 s]*
/proc/loadavg: 4.10 4.12 4.09 5/254 1059909
/proc/meminfo: memFree=113624096/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=225656 memory=186004 CPUtime=269.37 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 22945 0 0 0 26505 432 0 0 20 0 1 0 198664623 231071744 46501 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 56414 46501 1819 922 0 48366 0
Current children cumulated CPU time: 269.37 s
Current children cumulated vsize: 225656 KiB
Current children cumulated memory: 186004 KiB
[startup+270.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 1059909
/proc/meminfo: memFree=113624096/131524600 swapFree=131071996/131071996
[pid=1059859] ppid=1059856 vsize=225656 memory=186004 CPUtime=269.56 cores=1,3
/proc/1059859/stat : 1059859 (roundingsat) R 1059856 1059859 1056492 0 -1 4194304 22945 0 0 0 26524 432 0 0 20 0 1 0 198664623 231071744 46501 134679101440 4194304 7968373 140725188014656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 39514112 140725188023228 140725188023392 140725188023392 140725188030409 0
/proc/1059859/statm: 56414 46501 1819 922 0 48366 0
Current children cumulated CPU time: 269.56 s
Current children cumulated vsize: 225656 KiB
Current children cumulated memory: 186004 KiB
Child status: 0
Real time (s): 270.284
CPU time (s): 269.658
CPU user time (s): 265.324
CPU system time (s): 4.33397
CPU usage (%): 99.7683
Max. virtual memory (cumulated for all children) (KiB): 225656
Max. memory (cumulated for all children) (KiB): 186004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 265.324
system time used= 4.33397
maximum resident set size= 186004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22953
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= 5
involuntary context switches= 269
# summary of solver processes directly reported to runsolver:
# pid: 1059859
# total CPU time (s): 269.658
# total CPU user time (s): 265.324
# total CPU system time (s): 4.33397
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.12799 second user time and 0.630176 second system time
The end
Begin job on nodeC026 at 2024-07-20 10:43:17
IDJOB=4455612
IDBENCH=158383
IDSOLVER=3084
FILE ID=nodeC026/4455612-1721464984
RUNJOBID= nodeC026-1721460068-1056504
SLURM_JOB_ID= 7545710
Free space on /tmp= 889980 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455612-1721464984/watcher-4455612-1721464984 -o /tmp/evaluation-result-4455612-1721464984/solver-4455612-1721464984 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721460068-1056504 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455612-1721464984.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 903b294a72b72fbd6778e100307d5973
RANDOM SEED=771506876
nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3661.335
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
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 : 3655.791
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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.196
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
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 : 3653.523
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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 : 3661.332
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
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 : 3663.175
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.078
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
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 : 3600.127
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 115794712 kB
MemAvailable: 117670960 kB
Buffers: 600552 kB
Cached: 2105736 kB
SwapCached: 0 kB
Active: 1214968 kB
Inactive: 13845504 kB
Active(anon): 1580 kB
Inactive(anon): 12398544 kB
Active(file): 1213388 kB
Inactive(file): 1446960 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5492 kB
Writeback: 0 kB
AnonPages: 12350892 kB
Mapped: 117388 kB
Shmem: 45912 kB
KReclaimable: 111448 kB
Slab: 225728 kB
SReclaimable: 111448 kB
SUnreclaim: 114280 kB
KernelStack: 4140 kB
PageTables: 34156 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 14390688 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4587520 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 283348 kB
DirectMap2M: 33044480 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC026 at 2024-07-20 10:47:48