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 3905 #constraints 4049
2.08/2.16 c #Conflicts: 1000 | #Constraints: 5048
2.08/2.16 c #Conflicts: 2000 | #Constraints: 6048
2.08/2.16 c INPROCESSING
2.08/2.16 c GARBAGE COLLECT
2.08/2.16 c rational objective 71
3.38/3.45 c #Conflicts: 3000 | #Constraints: 5537
3.38/3.45 c #Conflicts: 4000 | #Constraints: 6537
3.38/3.45 c INPROCESSING
3.38/3.45 c GARBAGE COLLECT
3.38/3.45 c rational objective 71
65.79/66.08 c #Conflicts: 5000 | #Constraints: 5997
65.79/66.08 c #Conflicts: 6000 | #Constraints: 6997
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 7000 | #Constraints: 6043
65.79/66.08 c #Conflicts: 8000 | #Constraints: 7043
65.79/66.08 c #Conflicts: 9000 | #Constraints: 8043
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 10000 | #Constraints: 6770
65.79/66.08 c #Conflicts: 11000 | #Constraints: 7770
65.79/66.08 c #Conflicts: 12000 | #Constraints: 8770
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 13000 | #Constraints: 7258
65.79/66.08 c #Conflicts: 14000 | #Constraints: 8260
65.79/66.08 c #Conflicts: 15000 | #Constraints: 9261
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 16000 | #Constraints: 7520
65.79/66.08 c #Conflicts: 17000 | #Constraints: 8520
65.79/66.08 c #Conflicts: 18000 | #Constraints: 9520
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 19000 | #Constraints: 7550
65.79/66.08 c #Conflicts: 20000 | #Constraints: 8550
65.79/66.08 c #Conflicts: 21000 | #Constraints: 9550
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 22000 | #Constraints: 7370
65.79/66.08 c #Conflicts: 23000 | #Constraints: 8371
65.79/66.08 c #Conflicts: 24000 | #Constraints: 9371
65.79/66.08 c #Conflicts: 25000 | #Constraints: 10371
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 26000 | #Constraints: 7993
65.79/66.08 c #Conflicts: 27000 | #Constraints: 8993
65.79/66.08 c #Conflicts: 28000 | #Constraints: 9993
65.79/66.08 c #Conflicts: 29000 | #Constraints: 10993
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 30000 | #Constraints: 8393
65.79/66.08 c #Conflicts: 31000 | #Constraints: 9393
65.79/66.08 c #Conflicts: 32000 | #Constraints: 10393
65.79/66.08 c #Conflicts: 33000 | #Constraints: 11393
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 34000 | #Constraints: 8630
65.79/66.08 c #Conflicts: 35000 | #Constraints: 9630
65.79/66.08 c #Conflicts: 36000 | #Constraints: 10630
65.79/66.08 c #Conflicts: 37000 | #Constraints: 11630
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 38000 | #Constraints: 8638
65.79/66.08 c #Conflicts: 39000 | #Constraints: 9638
65.79/66.08 c #Conflicts: 40000 | #Constraints: 10638
65.79/66.08 c #Conflicts: 41000 | #Constraints: 11638
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 42000 | #Constraints: 8449
65.79/66.08 c #Conflicts: 43000 | #Constraints: 9449
65.79/66.08 c #Conflicts: 44000 | #Constraints: 10449
65.79/66.08 c #Conflicts: 45000 | #Constraints: 11449
65.79/66.08 c #Conflicts: 46000 | #Constraints: 12449
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 47000 | #Constraints: 9047
65.79/66.08 c #Conflicts: 48000 | #Constraints: 10047
65.79/66.08 c #Conflicts: 49000 | #Constraints: 11047
65.79/66.08 c #Conflicts: 50000 | #Constraints: 12047
65.79/66.08 c #Conflicts: 51000 | #Constraints: 13048
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 52000 | #Constraints: 9474
65.79/66.08 c #Conflicts: 53000 | #Constraints: 10474
65.79/66.08 c #Conflicts: 54000 | #Constraints: 11474
65.79/66.08 c #Conflicts: 55000 | #Constraints: 12474
65.79/66.08 c #Conflicts: 56000 | #Constraints: 13474
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 57000 | #Constraints: 9650
65.79/66.08 c #Conflicts: 58000 | #Constraints: 10651
65.79/66.08 c #Conflicts: 59000 | #Constraints: 11651
65.79/66.08 c #Conflicts: 60000 | #Constraints: 12651
65.79/66.08 c #Conflicts: 61000 | #Constraints: 13651
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 62000 | #Constraints: 9671
65.79/66.08 c #Conflicts: 63000 | #Constraints: 10671
65.79/66.08 c #Conflicts: 64000 | #Constraints: 11671
65.79/66.08 c #Conflicts: 65000 | #Constraints: 12671
65.79/66.08 c #Conflicts: 66000 | #Constraints: 13671
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
65.79/66.08 c #Conflicts: 67000 | #Constraints: 9475
65.79/66.08 c #Conflicts: 68000 | #Constraints: 10475
65.79/66.08 c #Conflicts: 69000 | #Constraints: 11475
65.79/66.08 c #Conflicts: 70000 | #Constraints: 12475
65.79/66.08 c #Conflicts: 71000 | #Constraints: 13475
65.79/66.08 c #Conflicts: 72000 | #Constraints: 14475
65.79/66.08 c INPROCESSING
65.79/66.08 c GARBAGE COLLECT
125.30/125.79 c #Conflicts: 73000 | #Constraints: 10079
125.30/125.79 c #Conflicts: 74000 | #Constraints: 11079
125.30/125.79 c #Conflicts: 75000 | #Constraints: 12079
125.30/125.79 c #Conflicts: 76000 | #Constraints: 13079
125.30/125.79 c #Conflicts: 77000 | #Constraints: 14079
125.30/125.79 c #Conflicts: 78000 | #Constraints: 15079
125.30/125.79 c INPROCESSING
125.30/125.79 c GARBAGE COLLECT
125.30/125.79 c #Conflicts: 79000 | #Constraints: 10509
125.30/125.79 c #Conflicts: 80000 | #Constraints: 11509
125.30/125.79 c #Conflicts: 81000 | #Constraints: 12509
125.30/125.79 c #Conflicts: 82000 | #Constraints: 13509
125.30/125.79 c #Conflicts: 83000 | #Constraints: 14509
125.30/125.79 c #Conflicts: 84000 | #Constraints: 15509
125.30/125.79 c INPROCESSING
125.30/125.79 c GARBAGE COLLECT
125.30/125.79 c #Conflicts: 85000 | #Constraints: 10701
125.30/125.79 c #Conflicts: 86000 | #Constraints: 11701
125.30/125.79 c #Conflicts: 87000 | #Constraints: 12701
125.30/125.79 c #Conflicts: 88000 | #Constraints: 13701
125.30/125.79 c #Conflicts: 89000 | #Constraints: 14701
125.30/125.79 c #Conflicts: 90000 | #Constraints: 15701
125.30/125.79 c INPROCESSING
125.30/125.79 c GARBAGE COLLECT
125.30/125.79 c #Conflicts: 91000 | #Constraints: 10703
125.30/125.79 c #Conflicts: 92000 | #Constraints: 11703
125.30/125.79 c #Conflicts: 93000 | #Constraints: 12703
125.30/125.79 c #Conflicts: 94000 | #Constraints: 13703
125.30/125.79 c #Conflicts: 95000 | #Constraints: 14703
125.30/125.79 c #Conflicts: 96000 | #Constraints: 15704
125.30/125.79 c INPROCESSING
125.30/125.79 c GARBAGE COLLECT
125.30/125.79 c #Conflicts: 97000 | #Constraints: 10543
125.30/125.79 c #Conflicts: 98000 | #Constraints: 11543
125.30/125.79 c #Conflicts: 99000 | #Constraints: 12543
125.30/125.79 c #Conflicts: 100000 | #Constraints: 13543
125.30/125.79 c #Conflicts: 101000 | #Constraints: 14543
125.30/125.79 c #Conflicts: 102000 | #Constraints: 15543
125.30/125.79 c #Conflicts: 103000 | #Constraints: 16543
125.30/125.79 c INPROCESSING
125.30/125.79 c GARBAGE COLLECT
125.30/125.79 c #Conflicts: 104000 | #Constraints: 11147
125.30/125.79 c #Conflicts: 105000 | #Constraints: 12147
125.30/125.79 c #Conflicts: 106000 | #Constraints: 13147
125.30/125.79 c #Conflicts: 107000 | #Constraints: 14147
125.30/125.79 c #Conflicts: 108000 | #Constraints: 15147
125.30/125.79 c #Conflicts: 109000 | #Constraints: 16147
125.30/125.79 c #Conflicts: 110000 | #Constraints: 17147
125.30/125.79 c INPROCESSING
125.30/125.79 c GARBAGE COLLECT
125.30/125.79 c #Conflicts: 111000 | #Constraints: 11561
125.30/125.79 c #Conflicts: 112000 | #Constraints: 12561
125.30/125.79 c #Conflicts: 113000 | #Constraints: 13561
125.30/125.79 c #Conflicts: 114000 | #Constraints: 14561
125.30/125.79 c #Conflicts: 115000 | #Constraints: 15561
125.30/125.79 c #Conflicts: 116000 | #Constraints: 16561
125.30/125.79 c #Conflicts: 117000 | #Constraints: 17561
125.30/125.79 c INPROCESSING
125.30/125.79 c GARBAGE COLLECT
125.30/125.79 c #Conflicts: 118000 | #Constraints: 11754
125.30/125.79 c #Conflicts: 119000 | #Constraints: 12754
125.30/125.79 c #Conflicts: 120000 | #Constraints: 13754
125.30/125.79 c #Conflicts: 121000 | #Constraints: 14754
125.30/125.79 c #Conflicts: 122000 | #Constraints: 15754
125.30/125.79 c #Conflicts: 123000 | #Constraints: 16754
125.30/125.79 c #Conflicts: 124000 | #Constraints: 17754
125.30/125.79 c INPROCESSING
125.30/125.79 c GARBAGE COLLECT
125.30/125.79 c #Conflicts: 125000 | #Constraints: 11799
125.30/125.79 c #Conflicts: 126000 | #Constraints: 12799
125.30/125.79 c #Conflicts: 127000 | #Constraints: 13799
125.30/125.79 c #Conflicts: 128000 | #Constraints: 14799
125.30/125.79 c #Conflicts: 129000 | #Constraints: 15799
125.30/125.79 c #Conflicts: 130000 | #Constraints: 16799
125.30/125.79 c #Conflicts: 131000 | #Constraints: 17799
125.30/125.79 c INPROCESSING
125.30/125.79 c GARBAGE COLLECT
125.30/125.79 c #Conflicts: 132000 | #Constraints: 11591
125.30/125.79 c #Conflicts: 133000 | #Constraints: 12592
125.30/125.79 c #Conflicts: 134000 | #Constraints: 13592
125.30/125.79 c #Conflicts: 135000 | #Constraints: 14592
125.30/125.79 c #Conflicts: 136000 | #Constraints: 15592
125.30/125.79 c #Conflicts: 137000 | #Constraints: 16593
125.30/125.79 c #Conflicts: 138000 | #Constraints: 17593
125.30/125.79 c #Conflicts: 139000 | #Constraints: 18593
125.30/125.79 c INPROCESSING
125.30/125.79 c GARBAGE COLLECT
125.30/125.79 c #Conflicts: 140000 | #Constraints: 12199
125.30/125.79 c #Conflicts: 141000 | #Constraints: 13199
125.30/125.79 c #Conflicts: 142000 | #Constraints: 14199
125.30/125.79 c #Conflicts: 143000 | #Constraints: 15199
125.30/125.79 c #Conflicts: 144000 | #Constraints: 16199
125.30/125.79 c #Conflicts: 145000 | #Constraints: 17199
229.38/230.15 c #Conflicts: 146000 | #Constraints: 18199
229.38/230.15 c #Conflicts: 147000 | #Constraints: 19199
229.38/230.15 c #Conflicts: 148000 | #Constraints: 20199
229.38/230.15 c #Conflicts: 149000 | #Constraints: 21200
229.38/230.15 c #Conflicts: 150000 | #Constraints: 22202
229.38/230.15 c #Conflicts: 151000 | #Constraints: 23203
229.38/230.15 c #Conflicts: 152000 | #Constraints: 24203
229.38/230.15 c #Conflicts: 153000 | #Constraints: 25203
229.38/230.15 c #Conflicts: 154000 | #Constraints: 26203
229.38/230.15 c #Conflicts: 155000 | #Constraints: 27203
229.38/230.15 c #Conflicts: 156000 | #Constraints: 28203
229.38/230.15 c #Conflicts: 157000 | #Constraints: 29203
229.38/230.15 c #Conflicts: 158000 | #Constraints: 30203
229.38/230.15 c #Conflicts: 159000 | #Constraints: 31203
229.38/230.15 c #Conflicts: 160000 | #Constraints: 32203
229.38/230.15 c #Conflicts: 161000 | #Constraints: 33203
229.38/230.15 c #Conflicts: 162000 | #Constraints: 34203
229.38/230.15 c #Conflicts: 163000 | #Constraints: 35203
229.38/230.15 c #Conflicts: 164000 | #Constraints: 36203
229.38/230.15 c #Conflicts: 165000 | #Constraints: 37203
229.38/230.15 c #Conflicts: 166000 | #Constraints: 38203
229.38/230.15 c #Conflicts: 167000 | #Constraints: 39203
229.38/230.15 c #Conflicts: 168000 | #Constraints: 40203
229.38/230.15 c #Conflicts: 169000 | #Constraints: 41203
229.38/230.15 c #Conflicts: 170000 | #Constraints: 42203
229.38/230.15 c #Conflicts: 171000 | #Constraints: 43203
229.38/230.15 c #Conflicts: 172000 | #Constraints: 44204
229.38/230.15 c #Conflicts: 173000 | #Constraints: 45205
229.38/230.15 c #Conflicts: 174000 | #Constraints: 46205
229.38/230.15 c INPROCESSING
229.38/230.15 c GARBAGE COLLECT
229.38/230.15 c #Conflicts: 175000 | #Constraints: 26124
229.38/230.15 c #Conflicts: 176000 | #Constraints: 27124
229.38/230.15 c #Conflicts: 177000 | #Constraints: 28124
229.38/230.15 c #Conflicts: 178000 | #Constraints: 29124
229.38/230.15 c #Conflicts: 179000 | #Constraints: 30124
229.38/230.15 c #Conflicts: 180000 | #Constraints: 31124
229.38/230.15 c #Conflicts: 181000 | #Constraints: 32124
229.38/230.15 c #Conflicts: 182000 | #Constraints: 33124
229.38/230.15 c INPROCESSING
229.38/230.15 c GARBAGE COLLECT
229.38/230.15 c #Conflicts: 183000 | #Constraints: 19135
229.38/230.15 c #Conflicts: 184000 | #Constraints: 20136
229.38/230.15 c #Conflicts: 185000 | #Constraints: 21136
229.38/230.15 c #Conflicts: 186000 | #Constraints: 22136
229.38/230.15 c #Conflicts: 187000 | #Constraints: 23136
229.38/230.15 c #Conflicts: 188000 | #Constraints: 24136
229.38/230.15 c #Conflicts: 189000 | #Constraints: 25137
229.38/230.15 c #Conflicts: 190000 | #Constraints: 26138
229.38/230.15 c #Conflicts: 191000 | #Constraints: 27138
229.38/230.15 c #Conflicts: 192000 | #Constraints: 28139
229.38/230.15 c INPROCESSING
229.38/230.15 c GARBAGE COLLECT
229.38/230.15 c #Conflicts: 193000 | #Constraints: 17103
229.38/230.15 c #Conflicts: 194000 | #Constraints: 18104
229.38/230.15 c #Conflicts: 195000 | #Constraints: 19104
229.38/230.15 c #Conflicts: 196000 | #Constraints: 20104
229.38/230.15 c #Conflicts: 197000 | #Constraints: 21104
229.38/230.15 c #Conflicts: 198000 | #Constraints: 22104
229.38/230.15 c #Conflicts: 199000 | #Constraints: 23104
229.38/230.15 c #Conflicts: 200000 | #Constraints: 24104
229.38/230.15 c #Conflicts: 201000 | #Constraints: 25104
229.38/230.15 c INPROCESSING
229.38/230.15 c GARBAGE COLLECT
229.38/230.15 c #Conflicts: 202000 | #Constraints: 15438
229.38/230.15 c #Conflicts: 203000 | #Constraints: 16438
229.38/230.15 c #Conflicts: 204000 | #Constraints: 17439
229.38/230.15 c #Conflicts: 205000 | #Constraints: 18449
229.38/230.15 c #Conflicts: 206000 | #Constraints: 19453
229.38/230.15 c #Conflicts: 207000 | #Constraints: 20458
229.38/230.15 c #Conflicts: 208000 | #Constraints: 21460
229.38/230.15 c #Conflicts: 209000 | #Constraints: 22464
229.38/230.15 c #Conflicts: 210000 | #Constraints: 23472
229.38/230.15 c INPROCESSING
229.38/230.15 c GARBAGE COLLECT
229.38/230.15 c #Conflicts: 211000 | #Constraints: 14341
229.38/230.15 c #Conflicts: 212000 | #Constraints: 15342
229.38/230.15 c cpu time 225.44 s
229.38/230.15 c deterministic time 13403231194 1.34e+10
229.38/230.15 c optimization time 6.3e-05 s
229.38/230.15 c total solve time 225.424 s
229.38/230.15 c core-guided solve time 0 s
229.38/230.15 c propagation time 107.586 s
229.38/230.15 c conflict analysis time 39.978 s
229.38/230.15 c propagations 64083798
229.38/230.15 c resolve steps 6687808
229.38/230.15 c decisions 1297963
229.38/230.15 c conflicts 212012
229.38/230.15 c restarts 510
229.38/230.15 c inprocessing phases 34
229.38/230.15 c input clauses 3978
229.38/230.15 c input cardinalities 71
229.38/230.15 c input general constraints 0
229.38/230.15 c input average constraint length 6.01
229.38/230.15 c input average constraint degree 1.93
229.38/230.15 c learned clauses 141643
229.38/230.15 c learned cardinalities 7117
229.38/230.15 c learned general constraints 63320
229.38/230.15 c learned average constraint length 431.30
229.38/230.15 c learned average constraint degree 4208914.44
229.38/230.15 c watched constraints 49614
229.38/230.15 c counting constraints 13706
229.38/230.15 c gcd simplifications 398
229.38/230.15 c detected cardinalities 622
229.38/230.15 c weakened non-implied lits 21980783
229.38/230.15 c weakened non-implying lits 27267
229.38/230.15 c original variables 3905
229.38/230.15 c clausal propagations 27277628
229.38/230.15 c cardinality propagations 22083259
229.38/230.15 c watched propagations 3470316
229.38/230.15 c counting propagations 10537693
229.38/230.15 c watch lookups 1374476554
229.38/230.15 c watch backjump lookups 1099640909
229.38/230.15 c watch checks 8006634363
229.38/230.15 c propagation checks 2508804219
229.38/230.15 c constraint additions 282240516
229.38/230.15 c trail pops 65593167
229.38/230.15 c formula constraints 4049
229.38/230.15 c learned constraints 212012
229.38/230.15 c bound constraints 0
229.38/230.15 c core-guided constraints 0
229.38/230.15 c encountered formula constraints 4542457
229.38/230.15 c encountered learned constraints 2357352
229.38/230.15 c encountered bound constraints 0
229.38/230.15 c encountered core-guided constraints 0
229.38/230.15 c LP total time 122.036 s
229.38/230.15 c LP solve time 120.86 s
229.38/230.15 c LP constraints added 4104
229.38/230.15 c LP constraints removed 6
229.38/230.15 c LP pivots internal 212733
229.38/230.15 c LP pivots root 246971
229.38/230.15 c LP calls 81
229.38/230.15 c LP optimalities 2
229.38/230.15 c LP no pivot count 0
229.38/230.15 c LP infeasibilities 65
229.38/230.15 c LP valid Farkas constraints 65
229.38/230.15 c LP learned Farkas constraints 0
229.38/230.15 c LP basis resets 7
229.38/230.15 c LP cycling count 1
229.38/230.15 c LP singular count 6
229.38/230.15 c LP no primal count 0
229.38/230.15 c LP no farkas count 0
229.38/230.15 c LP other issue count 0
229.38/230.15 c LP Gomory cuts 3
229.38/230.15 c LP learned cuts 52
229.38/230.15 c LP deleted cuts 6
229.38/230.15 c LP encountered Gomory constraints 2
229.38/230.15 c LP encountered Farkas constraints 9
229.38/230.15 c LP encountered learned Farkas constraints 0
229.38/230.15 c CG auxiliary variables introduced 0
229.38/230.15 c CG solutions found 0
229.38/230.15 c CG cores constructed 0
229.38/230.15 c CG core cardinality constraints returned 0
229.38/230.15 c CG unit cores 0
229.38/230.15 c CG single cores 0
229.38/230.15 c CG blocks removed during cardinality reduction 0
229.38/230.15 c CG first core best 0
229.38/230.15 c CG decision core best 0
229.38/230.15 c CG core reduction tie 0
229.38/230.15 c CG core degree average 0.00
229.38/230.15 c CG core slack average 0.00
229.38/230.15 s SATISFIABLE
229.38/230.15 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 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 x3822 -x3823 x3824 -x3825 x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 x3904 x3905
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 (61645 MiB free)
memory of node 1: 64473 MiB (56354 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455614-1721464956/watcher-4455614-1721464956 -o /tmp/evaluation-result-4455614-1721464956/solver-4455614-1721464956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721457697-1054628 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455614-1721464956.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1059162, runsolver pid=1059159
[startup+0.100623 s]*
/proc/loadavg: 4.10 4.09 4.09 5/257 1059163
/proc/meminfo: memFree=120824584/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=44376 memory=13644 CPUtime=0.09 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 2254 0 0 0 9 0 0 0 20 0 1 0 198666459 45441024 3411 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 11094 3411 1678 922 0 3046 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44376 KiB
Current children cumulated memory: 13644 KiB
[startup+0.205585 s]*
/proc/loadavg: 4.10 4.09 4.09 5/257 1059163
/proc/meminfo: memFree=120823732/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=45168 memory=14436 CPUtime=0.19 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 2415 0 0 0 19 0 0 0 20 0 1 0 198666459 46252032 3609 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 11292 3609 1678 922 0 3244 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45168 KiB
Current children cumulated memory: 14436 KiB
[startup+0.305228 s]*
/proc/loadavg: 4.10 4.09 4.09 5/257 1059163
/proc/meminfo: memFree=120823600/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=45168 memory=14436 CPUtime=0.3 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 2439 0 0 0 29 1 0 0 20 0 1 0 198666459 46252032 3609 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 11292 3609 1678 922 0 3244 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45168 KiB
Current children cumulated memory: 14436 KiB
[startup+0.700154 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1059163
/proc/meminfo: memFree=120823452/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=45168 memory=15928 CPUtime=0.68 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 2771 0 0 0 65 3 0 0 20 0 1 0 198666459 46252032 3982 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 11292 3982 1724 922 0 3244 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45168 KiB
Current children cumulated memory: 15928 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1059163
/proc/meminfo: memFree=120818492/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=46208 memory=19556 CPUtime=1.49 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 3167 0 0 0 142 7 0 0 20 0 1 0 198666459 47316992 4889 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 11552 4889 1724 922 0 3504 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46208 KiB
Current children cumulated memory: 19556 KiB
[startup+3.10563 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1059165
/proc/meminfo: memFree=120802976/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=55776 memory=29328 CPUtime=3.08 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 5552 0 0 0 297 11 0 0 20 0 1 0 198666459 57114624 7332 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 13944 7332 1797 922 0 5896 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 55776 KiB
Current children cumulated memory: 29328 KiB
[startup+6.30019 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1059165
/proc/meminfo: memFree=120778816/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=62732 memory=33976 CPUtime=6.26 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 6951 0 0 0 608 18 0 0 20 0 1 0 198666459 64237568 8494 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 15683 8494 1813 922 0 7635 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 62732 KiB
Current children cumulated memory: 33976 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 1059165
/proc/meminfo: memFree=120741288/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=62732 memory=36284 CPUtime=12.64 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 7041 0 0 0 1233 31 0 0 20 0 1 0 198666459 64237568 9071 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 15683 9071 1813 922 0 7635 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 62732 KiB
Current children cumulated memory: 36284 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 1059168
/proc/meminfo: memFree=120725432/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=67152 memory=40060 CPUtime=25.41 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 7357 0 0 0 2487 54 0 0 20 0 1 0 198666459 68763648 10015 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 16788 10015 1940 922 0 8740 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 67152 KiB
Current children cumulated memory: 40060 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1059171
/proc/meminfo: memFree=120722528/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=76212 memory=46196 CPUtime=50.94 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 8895 0 0 0 4980 114 0 0 20 0 1 0 198666459 78041088 11549 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 19053 11549 1940 922 0 11005 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 76212 KiB
Current children cumulated memory: 46196 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/257 1059180
/proc/meminfo: memFree=120686908/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=93664 memory=66420 CPUtime=101.98 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 11542 0 0 0 9992 206 0 0 20 0 1 0 198666459 95911936 16605 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 23416 16605 1940 922 0 15368 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 93664 KiB
Current children cumulated memory: 66420 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1059190
/proc/meminfo: memFree=120581004/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=209252 memory=141744 CPUtime=161.79 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 17095 0 0 0 15864 315 0 0 20 0 1 0 198666459 214274048 35436 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 52313 35436 1940 922 0 44265 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 209252 KiB
Current children cumulated memory: 141744 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 1059200
/proc/meminfo: memFree=120526820/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=210252 memory=142980 CPUtime=221.6 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 18612 0 0 0 21773 387 0 0 20 0 1 0 198666459 215298048 35745 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 52563 35745 1940 922 0 44515 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 210252 KiB
Current children cumulated memory: 142980 KiB
[startup+230.157 s]
# the end of solver process 1059162 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=225.44 s, system=4.00247 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+224 s]*
/proc/loadavg: 4.08 4.09 4.09 5/254 1059202
/proc/meminfo: memFree=120516352/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=210252 memory=142980 CPUtime=223.3 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 18612 0 0 0 21940 390 0 0 20 0 1 0 198666459 215298048 35745 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 52563 35745 1940 922 0 44515 0
Current children cumulated CPU time: 223.3 s
Current children cumulated vsize: 210252 KiB
Current children cumulated memory: 142980 KiB
[startup+227.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 1059202
/proc/meminfo: memFree=120511504/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=210252 memory=142980 CPUtime=226.48 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 18612 0 0 0 22254 394 0 0 20 0 1 0 198666459 215298048 35745 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 52563 35745 1940 922 0 44515 0
Current children cumulated CPU time: 226.48 s
Current children cumulated vsize: 210252 KiB
Current children cumulated memory: 142980 KiB
[startup+228.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 1059202
/proc/meminfo: memFree=120508944/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=210252 memory=143108 CPUtime=228.08 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 18959 0 0 0 22411 397 0 0 20 0 1 0 198666459 215298048 35777 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 52563 35777 1940 922 0 44515 0
Current children cumulated CPU time: 228.08 s
Current children cumulated vsize: 210252 KiB
Current children cumulated memory: 143108 KiB
[startup+229.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 1059202
/proc/meminfo: memFree=120506764/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=210252 memory=143108 CPUtime=228.88 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 18959 0 0 0 22489 399 0 0 20 0 1 0 198666459 215298048 35777 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 52563 35777 1940 922 0 44515 0
Current children cumulated CPU time: 228.88 s
Current children cumulated vsize: 210252 KiB
Current children cumulated memory: 143108 KiB
[startup+230 s]*
/proc/loadavg: 4.08 4.09 4.09 5/254 1059202
/proc/meminfo: memFree=120504484/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=210252 memory=143108 CPUtime=229.28 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 18959 0 0 0 22529 399 0 0 20 0 1 0 198666459 215298048 35777 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 52563 35777 1940 922 0 44515 0
Current children cumulated CPU time: 229.28 s
Current children cumulated vsize: 210252 KiB
Current children cumulated memory: 143108 KiB
[startup+230.105 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 1059202
/proc/meminfo: memFree=120504484/131524600 swapFree=131071996/131071996
[pid=1059162] ppid=1059159 vsize=210252 memory=143108 CPUtime=229.38 cores=0,2
/proc/1059162/stat : 1059162 (roundingsat) R 1059159 1059162 1054618 0 -1 4194304 18959 0 0 0 22539 399 0 0 20 0 1 0 198666459 215298048 35777 134679101440 4194304 7968373 140735611811952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17252352 140735611818940 140735611819104 140735611819104 140735611826121 0
/proc/1059162/statm: 52563 35777 1940 922 0 44515 0
Current children cumulated CPU time: 229.38 s
Current children cumulated vsize: 210252 KiB
Current children cumulated memory: 143108 KiB
Child status: 0
Real time (s): 230.157
CPU time (s): 229.443
CPU user time (s): 225.44
CPU system time (s): 4.00247
CPU usage (%): 99.6896
Max. virtual memory (cumulated for all children) (KiB): 210904
Max. memory (cumulated for all children) (KiB): 143436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 225.44
system time used= 4.00247
maximum resident set size= 144292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18967
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= 1574
# summary of solver processes directly reported to runsolver:
# pid: 1059162
# total CPU time (s): 229.443
# total CPU user time (s): 225.44
# total CPU system time (s): 4.00247
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.489924 second user time and 0.963298 second system time
The end
Begin job on nodeC035 at 2024-07-20 10:42:49
IDJOB=4455614
IDBENCH=158375
IDSOLVER=3084
FILE ID=nodeC035/4455614-1721464956
RUNJOBID= nodeC035-1721457697-1054628
SLURM_JOB_ID= 7545698
Free space on /tmp= 889944 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K71.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-4455614-1721464956/watcher-4455614-1721464956 -o /tmp/evaluation-result-4455614-1721464956/solver-4455614-1721464956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721457697-1054628 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455614-1721464956.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9c6bc9cc94309c2493f896d524de96fb
RANDOM SEED=896670614
nodeC035.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 : 3655.407
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.65
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 : 3686.129
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.79
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 : 3646.655
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.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.158
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.79
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 : 3654.627
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.65
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 : 3686.349
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.79
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.094
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.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.899
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120832372 kB
MemAvailable: 124596876 kB
Buffers: 571260 kB
Cached: 3996816 kB
SwapCached: 0 kB
Active: 1172280 kB
Inactive: 8803836 kB
Active(anon): 1536 kB
Inactive(anon): 5452412 kB
Active(file): 1170744 kB
Inactive(file): 3351424 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5768 kB
Writeback: 12 kB
AnonPages: 5402572 kB
Mapped: 117444 kB
Shmem: 45916 kB
KReclaimable: 164316 kB
Slab: 284660 kB
SReclaimable: 164316 kB
SUnreclaim: 120344 kB
KernelStack: 4124 kB
PageTables: 20184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6442048 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3338240 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: 209620 kB
DirectMap2M: 19486720 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 889940 MiB
End job on nodeC035 at 2024-07-20 10:46:39