0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.06 c [STEP] solving
0.00/0.06 c #variables 6076 #constraints 21401
0.00/0.06 c SMALL=int, LARGE=long long
0.00/0.06 c bounds - >= 5 @ 0.035679
0.00/0.06 c stratification level: 0
0.09/0.11 c bounds - >= 6 @ 0.07953
0.09/0.11 c bounds - >= 7 @ 0.080866
0.09/0.11 c bounds - >= 8 @ 0.081612
0.09/0.11 c bounds - >= 9 @ 0.081846
0.09/0.11 c bounds - >= 10 @ 0.082684
0.09/0.11 c bounds - >= 11 @ 0.083474
0.09/0.11 c finalizing WCE round: reformulating cores
4.37/4.49 c #Conflicts: 1000 | #Constraints: 22419
4.37/4.49 c #Conflicts: 2000 | #Constraints: 23421
4.37/4.49 c INPROCESSING
4.37/4.49 c GARBAGE COLLECT
4.37/4.49 c #Conflicts: 3000 | #Constraints: 23428
4.37/4.49 c #Conflicts: 4000 | #Constraints: 24430
4.37/4.49 c INPROCESSING
4.37/4.49 c GARBAGE COLLECT
4.37/4.49 c bounds 28 >= 11 @ 3.66437
4.37/4.49 c bounds 28 >= 12 @ 3.66955
4.37/4.49 c bounds 28 >= 13 @ 3.7734
4.37/4.49 c #Conflicts: 5000 | #Constraints: 23848
4.37/4.49 c bounds 28 >= 14 @ 3.80236
4.37/4.49 c bounds 28 >= 15 @ 3.83171
4.37/4.49 c finalizing WCE round: reformulating cores
13.05/13.14 c #Conflicts: 6000 | #Constraints: 24859
13.05/13.14 c INPROCESSING
13.05/13.14 c GARBAGE COLLECT
13.05/13.14 c #Conflicts: 7000 | #Constraints: 23859
13.05/13.14 c #Conflicts: 8000 | #Constraints: 24861
13.05/13.14 c bounds 27 >= 15 @ 7.53665
13.05/13.14 c #Conflicts: 9000 | #Constraints: 25863
13.05/13.14 c INPROCESSING
13.05/13.14 c GARBAGE COLLECT
13.05/13.14 c bounds 27 >= 16 @ 8.08193
13.05/13.14 c #Conflicts: 10000 | #Constraints: 24615
13.05/13.14 c #Conflicts: 11000 | #Constraints: 25615
13.05/13.14 c #Conflicts: 12000 | #Constraints: 26615
13.05/13.14 c INPROCESSING
13.05/13.14 c GARBAGE COLLECT
13.05/13.14 c #Conflicts: 13000 | #Constraints: 25091
13.05/13.14 c bounds 27 >= 17 @ 12.7445
13.05/13.14 c finalizing WCE round: reformulating cores
420.87/422.06 c #Conflicts: 14000 | #Constraints: 26127
420.87/422.06 c bounds 26 >= 17 @ 14.8096
420.87/422.06 c #Conflicts: 15000 | #Constraints: 27127
420.87/422.06 c INPROCESSING
420.87/422.06 c GARBAGE COLLECT
420.87/422.06 c #Conflicts: 16000 | #Constraints: 25375
420.87/422.06 c #Conflicts: 17000 | #Constraints: 26375
420.87/422.06 c #Conflicts: 18000 | #Constraints: 27375
420.87/422.06 c INPROCESSING
420.87/422.06 c GARBAGE COLLECT
420.87/422.06 c #Conflicts: 19000 | #Constraints: 25409
420.87/422.06 c #Conflicts: 20000 | #Constraints: 26409
420.87/422.06 c #Conflicts: 21000 | #Constraints: 27409
420.87/422.06 c bounds 26 >= 18 @ 40.2009
420.87/422.06 c INPROCESSING
420.87/422.06 c GARBAGE COLLECT
420.87/422.06 c #Conflicts: 22000 | #Constraints: 25253
420.87/422.06 c #Conflicts: 23000 | #Constraints: 26253
420.87/422.06 c #Conflicts: 24000 | #Constraints: 27253
420.87/422.06 c #Conflicts: 25000 | #Constraints: 28253
420.87/422.06 c INPROCESSING
420.87/422.06 c GARBAGE COLLECT
420.87/422.06 c #Conflicts: 26000 | #Constraints: 25892
420.87/422.06 c #Conflicts: 27000 | #Constraints: 26892
420.87/422.06 c #Conflicts: 28000 | #Constraints: 27892
420.87/422.06 c #Conflicts: 29000 | #Constraints: 28892
420.87/422.06 c INPROCESSING
420.87/422.06 c GARBAGE COLLECT
420.87/422.06 c #Conflicts: 30000 | #Constraints: 26337
420.87/422.06 c #Conflicts: 31000 | #Constraints: 27337
420.87/422.06 c #Conflicts: 32000 | #Constraints: 28337
420.87/422.06 c #Conflicts: 33000 | #Constraints: 29337
420.87/422.06 c INPROCESSING
420.87/422.06 c GARBAGE COLLECT
420.87/422.06 c #Conflicts: 34000 | #Constraints: 26576
420.87/422.06 c #Conflicts: 35000 | #Constraints: 27576
420.87/422.06 c #Conflicts: 36000 | #Constraints: 28576
420.87/422.06 c #Conflicts: 37000 | #Constraints: 29576
420.87/422.06 c INPROCESSING
420.87/422.06 c GARBAGE COLLECT
420.87/422.06 c #Conflicts: 38000 | #Constraints: 26573
420.87/422.06 c #Conflicts: 39000 | #Constraints: 27573
420.87/422.06 c #Conflicts: 40000 | #Constraints: 28573
420.87/422.06 c #Conflicts: 41000 | #Constraints: 29573
420.87/422.06 c INPROCESSING
420.87/422.06 c GARBAGE COLLECT
420.87/422.06 c #Conflicts: 42000 | #Constraints: 26413
420.87/422.06 c #Conflicts: 43000 | #Constraints: 27413
420.87/422.06 c #Conflicts: 44000 | #Constraints: 28413
420.87/422.06 c #Conflicts: 45000 | #Constraints: 29413
420.87/422.06 c #Conflicts: 46000 | #Constraints: 30413
420.87/422.06 c INPROCESSING
420.87/422.06 c GARBAGE COLLECT
420.87/422.06 c #Conflicts: 47000 | #Constraints: 27035
420.87/422.06 c #Conflicts: 48000 | #Constraints: 28035
420.87/422.06 c #Conflicts: 49000 | #Constraints: 29035
420.87/422.06 c #Conflicts: 50000 | #Constraints: 30035
420.87/422.06 c #Conflicts: 51000 | #Constraints: 31035
420.87/422.06 c #Conflicts: 52000 | #Constraints: 32035
420.87/422.06 c #Conflicts: 53000 | #Constraints: 33035
420.87/422.06 c #Conflicts: 54000 | #Constraints: 34035
420.87/422.06 c #Conflicts: 55000 | #Constraints: 35035
420.87/422.06 c #Conflicts: 56000 | #Constraints: 36035
420.87/422.06 c #Conflicts: 57000 | #Constraints: 37035
420.87/422.06 c #Conflicts: 58000 | #Constraints: 38035
420.87/422.06 c #Conflicts: 59000 | #Constraints: 39035
420.87/422.06 c #Conflicts: 60000 | #Constraints: 40035
420.87/422.06 c #Conflicts: 61000 | #Constraints: 41035
420.87/422.06 c #Conflicts: 62000 | #Constraints: 42035
420.87/422.06 c #Conflicts: 63000 | #Constraints: 43035
420.87/422.06 c #Conflicts: 64000 | #Constraints: 44035
420.87/422.06 c INPROCESSING
420.87/422.06 c GARBAGE COLLECT
420.87/422.06 c #Conflicts: 65000 | #Constraints: 33794
420.87/422.06 c #Conflicts: 66000 | #Constraints: 34794
420.87/422.06 c #Conflicts: 67000 | #Constraints: 35794
420.87/422.06 c #Conflicts: 68000 | #Constraints: 36794
420.87/422.06 c #Conflicts: 69000 | #Constraints: 37794
420.87/422.06 c #Conflicts: 70000 | #Constraints: 38794
420.87/422.06 c INPROCESSING
420.87/422.06 c GARBAGE COLLECT
420.87/422.06 c #Conflicts: 71000 | #Constraints: 31251
420.87/422.06 c #Conflicts: 72000 | #Constraints: 32251
420.87/422.06 c #Conflicts: 73000 | #Constraints: 33251
420.87/422.06 c #Conflicts: 74000 | #Constraints: 34251
420.87/422.06 c #Conflicts: 75000 | #Constraints: 35251
420.87/422.06 c #Conflicts: 76000 | #Constraints: 36251
420.87/422.06 c INPROCESSING
420.87/422.06 c GARBAGE COLLECT
420.87/422.06 c #Conflicts: 77000 | #Constraints: 29874
420.87/422.06 c #Conflicts: 78000 | #Constraints: 30874
420.87/422.06 c #Conflicts: 79000 | #Constraints: 31874
420.87/422.06 c #Conflicts: 80000 | #Constraints: 32874
420.87/422.06 c #Conflicts: 81000 | #Constraints: 33874
420.87/422.06 c #Conflicts: 82000 | #Constraints: 34874
420.87/422.06 c INPROCESSING
420.87/422.06 c GARBAGE COLLECT
420.87/422.06 c #Conflicts: 83000 | #Constraints: 29095
675.58/677.41 c #Conflicts: 84000 | #Constraints: 30095
675.58/677.41 c #Conflicts: 85000 | #Constraints: 31095
675.58/677.41 c #Conflicts: 86000 | #Constraints: 32095
675.58/677.41 c #Conflicts: 87000 | #Constraints: 33095
675.58/677.41 c #Conflicts: 88000 | #Constraints: 34095
675.58/677.41 c #Conflicts: 89000 | #Constraints: 35095
675.58/677.41 c INPROCESSING
675.58/677.41 c GARBAGE COLLECT
675.58/677.41 c #Conflicts: 90000 | #Constraints: 29414
675.58/677.41 c #Conflicts: 91000 | #Constraints: 30414
675.58/677.41 c #Conflicts: 92000 | #Constraints: 31414
675.58/677.41 c #Conflicts: 93000 | #Constraints: 32414
675.58/677.41 c #Conflicts: 94000 | #Constraints: 33414
675.58/677.41 c #Conflicts: 95000 | #Constraints: 34414
675.58/677.41 c #Conflicts: 96000 | #Constraints: 35414
675.58/677.41 c INPROCESSING
675.58/677.41 c GARBAGE COLLECT
675.58/677.41 c #Conflicts: 97000 | #Constraints: 29744
675.58/677.41 c #Conflicts: 98000 | #Constraints: 30744
675.58/677.41 c #Conflicts: 99000 | #Constraints: 31744
675.58/677.41 c #Conflicts: 100000 | #Constraints: 32744
675.58/677.41 c #Conflicts: 101000 | #Constraints: 33744
675.58/677.41 c #Conflicts: 102000 | #Constraints: 34744
675.58/677.41 c #Conflicts: 103000 | #Constraints: 35744
675.58/677.41 c #Conflicts: 104000 | #Constraints: 36744
675.58/677.41 c #Conflicts: 105000 | #Constraints: 37744
675.58/677.41 c #Conflicts: 106000 | #Constraints: 38744
675.58/677.41 c #Conflicts: 107000 | #Constraints: 39744
675.58/677.41 c #Conflicts: 108000 | #Constraints: 40744
675.58/677.41 c #Conflicts: 109000 | #Constraints: 41744
675.58/677.41 c #Conflicts: 110000 | #Constraints: 42744
675.58/677.41 c #Conflicts: 111000 | #Constraints: 43744
675.58/677.41 c #Conflicts: 112000 | #Constraints: 44744
675.58/677.41 c bounds 26 >= 19 @ 656.912
675.58/677.41 c #Conflicts: 113000 | #Constraints: 45781
675.58/677.41 c finalizing WCE round: reformulating cores
2027.85/2033.40 c #Conflicts: 114000 | #Constraints: 46784
2027.85/2033.40 c #Conflicts: 115000 | #Constraints: 47786
2027.85/2033.40 c bounds 23 >= 19 @ 693.49
2027.85/2033.40 c #Conflicts: 116000 | #Constraints: 48786
2027.85/2033.40 c #Conflicts: 117000 | #Constraints: 49786
2027.85/2033.40 c #Conflicts: 118000 | #Constraints: 50786
2027.85/2033.40 c #Conflicts: 119000 | #Constraints: 51786
2027.85/2033.40 c #Conflicts: 120000 | #Constraints: 52786
2027.85/2033.40 c #Conflicts: 121000 | #Constraints: 53786
2027.85/2033.40 c INPROCESSING
2027.85/2033.40 c GARBAGE COLLECT
2027.85/2033.40 c #Conflicts: 122000 | #Constraints: 38644
2027.85/2033.40 c #Conflicts: 123000 | #Constraints: 39644
2027.85/2033.40 c #Conflicts: 124000 | #Constraints: 40644
2027.85/2033.40 c #Conflicts: 125000 | #Constraints: 41644
2027.85/2033.40 c #Conflicts: 126000 | #Constraints: 42644
2027.85/2033.40 c #Conflicts: 127000 | #Constraints: 43644
2027.85/2033.40 c #Conflicts: 128000 | #Constraints: 44644
2027.85/2033.40 c #Conflicts: 129000 | #Constraints: 45644
2027.85/2033.40 c INPROCESSING
2027.85/2033.40 c GARBAGE COLLECT
2027.85/2033.40 c #Conflicts: 130000 | #Constraints: 34565
2027.85/2033.40 c #Conflicts: 131000 | #Constraints: 35565
2027.85/2033.40 c #Conflicts: 132000 | #Constraints: 36565
2027.85/2033.40 c #Conflicts: 133000 | #Constraints: 37565
2027.85/2033.40 c #Conflicts: 134000 | #Constraints: 38565
2027.85/2033.40 c #Conflicts: 135000 | #Constraints: 39565
2027.85/2033.40 c #Conflicts: 136000 | #Constraints: 40565
2027.85/2033.40 c #Conflicts: 137000 | #Constraints: 41565
2027.85/2033.40 c #Conflicts: 138000 | #Constraints: 42565
2027.85/2033.40 c INPROCESSING
2027.85/2033.40 c GARBAGE COLLECT
2027.85/2033.40 c #Conflicts: 139000 | #Constraints: 33320
2027.85/2033.40 c #Conflicts: 140000 | #Constraints: 34320
2027.85/2033.40 c #Conflicts: 141000 | #Constraints: 35320
2027.85/2033.40 c #Conflicts: 142000 | #Constraints: 36320
2027.85/2033.40 c #Conflicts: 143000 | #Constraints: 37320
2027.85/2033.40 c #Conflicts: 144000 | #Constraints: 38320
2027.85/2033.40 c #Conflicts: 145000 | #Constraints: 39320
2027.85/2033.40 c #Conflicts: 146000 | #Constraints: 40320
2027.85/2033.40 c INPROCESSING
2027.85/2033.40 c GARBAGE COLLECT
2027.85/2033.40 c #Conflicts: 147000 | #Constraints: 31972
2027.85/2033.40 c #Conflicts: 148000 | #Constraints: 32972
2027.85/2033.40 c #Conflicts: 149000 | #Constraints: 33972
2027.85/2033.40 c #Conflicts: 150000 | #Constraints: 34972
2027.85/2033.40 c #Conflicts: 151000 | #Constraints: 35972
2027.85/2033.40 c #Conflicts: 152000 | #Constraints: 36972
2027.85/2033.40 c #Conflicts: 153000 | #Constraints: 37972
2027.85/2033.40 c #Conflicts: 154000 | #Constraints: 38972
2027.85/2033.40 c #Conflicts: 155000 | #Constraints: 39972
2027.85/2033.40 c #Conflicts: 156000 | #Constraints: 40972
2027.85/2033.40 c #Conflicts: 157000 | #Constraints: 41972
2027.85/2033.40 c #Conflicts: 158000 | #Constraints: 42972
2027.85/2033.40 c #Conflicts: 159000 | #Constraints: 43972
2027.85/2033.40 c #Conflicts: 160000 | #Constraints: 44972
2027.85/2033.40 c #Conflicts: 161000 | #Constraints: 45972
2027.85/2033.40 c #Conflicts: 162000 | #Constraints: 46972
2027.85/2033.40 c #Conflicts: 163000 | #Constraints: 47972
2027.85/2033.40 c #Conflicts: 164000 | #Constraints: 48972
2027.85/2033.40 c #Conflicts: 165000 | #Constraints: 49972
2027.85/2033.40 c #Conflicts: 166000 | #Constraints: 50972
2027.85/2033.40 c #Conflicts: 167000 | #Constraints: 51972
2027.85/2033.40 c #Conflicts: 168000 | #Constraints: 52972
2027.85/2033.40 c #Conflicts: 169000 | #Constraints: 53972
2027.85/2033.40 c #Conflicts: 170000 | #Constraints: 54972
2027.85/2033.40 c #Conflicts: 171000 | #Constraints: 55972
2027.85/2033.40 c #Conflicts: 172000 | #Constraints: 56972
2027.85/2033.40 c #Conflicts: 173000 | #Constraints: 57972
2027.85/2033.40 c #Conflicts: 174000 | #Constraints: 58972
2027.85/2033.40 c #Conflicts: 175000 | #Constraints: 59972
2027.85/2033.40 c #Conflicts: 176000 | #Constraints: 60972
2027.85/2033.40 c #Conflicts: 177000 | #Constraints: 61972
2027.85/2033.40 c INPROCESSING
2027.85/2033.40 c GARBAGE COLLECT
2027.85/2033.40 c #Conflicts: 178000 | #Constraints: 42950
2027.85/2033.40 c #Conflicts: 179000 | #Constraints: 43950
2027.85/2033.40 c #Conflicts: 180000 | #Constraints: 44950
2027.85/2033.40 c #Conflicts: 181000 | #Constraints: 45950
2027.85/2033.40 c #Conflicts: 182000 | #Constraints: 46950
2027.85/2033.40 c #Conflicts: 183000 | #Constraints: 47950
2027.85/2033.40 c #Conflicts: 184000 | #Constraints: 48950
2027.85/2033.40 c #Conflicts: 185000 | #Constraints: 49950
2027.85/2033.40 c #Conflicts: 186000 | #Constraints: 50950
2027.85/2033.40 c #Conflicts: 187000 | #Constraints: 51950
2027.85/2033.40 c INPROCESSING
2027.85/2033.40 c GARBAGE COLLECT
2027.85/2033.40 c #Conflicts: 188000 | #Constraints: 38045
2042.01/2047.64 c #Conflicts: 189000 | #Constraints: 39045
2042.01/2047.64 c #Conflicts: 190000 | #Constraints: 40045
2042.01/2047.64 c bounds 23 >= 20 @ 2034.78
2042.01/2047.64 c #Conflicts: 191000 | #Constraints: 41076
2042.01/2047.64 c finalizing WCE round: reformulating cores
3326.46/3335.76 c bounds 22 >= 20 @ 2042.66
3326.46/3335.76 c #Conflicts: 192000 | #Constraints: 42079
3326.46/3335.76 c #Conflicts: 193000 | #Constraints: 43079
3326.46/3335.76 c #Conflicts: 194000 | #Constraints: 44079
3326.46/3335.76 c #Conflicts: 195000 | #Constraints: 45079
3326.46/3335.76 c #Conflicts: 196000 | #Constraints: 46079
3326.46/3335.76 c #Conflicts: 197000 | #Constraints: 47079
3326.46/3335.76 c INPROCESSING
3326.46/3335.76 c GARBAGE COLLECT
3326.46/3335.76 c #Conflicts: 198000 | #Constraints: 35640
3326.46/3335.76 c #Conflicts: 199000 | #Constraints: 36640
3326.46/3335.76 c #Conflicts: 200000 | #Constraints: 37640
3326.46/3335.76 c #Conflicts: 201000 | #Constraints: 38640
3326.46/3335.76 c #Conflicts: 202000 | #Constraints: 39640
3326.46/3335.76 c #Conflicts: 203000 | #Constraints: 40640
3326.46/3335.76 c #Conflicts: 204000 | #Constraints: 41640
3326.46/3335.76 c #Conflicts: 205000 | #Constraints: 42640
3326.46/3335.76 c #Conflicts: 206000 | #Constraints: 43640
3326.46/3335.76 c #Conflicts: 207000 | #Constraints: 44640
3326.46/3335.76 c INPROCESSING
3326.46/3335.76 c GARBAGE COLLECT
3326.46/3335.76 c #Conflicts: 208000 | #Constraints: 34414
3326.46/3335.76 c #Conflicts: 209000 | #Constraints: 35414
3326.46/3335.76 c #Conflicts: 210000 | #Constraints: 36414
3326.46/3335.76 c #Conflicts: 211000 | #Constraints: 37414
3326.46/3335.76 c #Conflicts: 212000 | #Constraints: 38414
3326.46/3335.76 c #Conflicts: 213000 | #Constraints: 39414
3326.46/3335.76 c #Conflicts: 214000 | #Constraints: 40414
3326.46/3335.76 c #Conflicts: 215000 | #Constraints: 41414
3326.46/3335.76 c #Conflicts: 216000 | #Constraints: 42414
3326.46/3335.76 c #Conflicts: 217000 | #Constraints: 43414
3326.46/3335.76 c #Conflicts: 218000 | #Constraints: 44414
3326.46/3335.76 c #Conflicts: 219000 | #Constraints: 45414
3326.46/3335.76 c #Conflicts: 220000 | #Constraints: 46414
3326.46/3335.76 c #Conflicts: 221000 | #Constraints: 47414
3326.46/3335.76 c #Conflicts: 222000 | #Constraints: 48414
3326.46/3335.76 c #Conflicts: 223000 | #Constraints: 49414
3326.46/3335.76 c #Conflicts: 224000 | #Constraints: 50414
3326.46/3335.76 c #Conflicts: 225000 | #Constraints: 51414
3326.46/3335.76 c #Conflicts: 226000 | #Constraints: 52414
3326.46/3335.76 c #Conflicts: 227000 | #Constraints: 53414
3326.46/3335.76 c #Conflicts: 228000 | #Constraints: 54414
3326.46/3335.76 c #Conflicts: 229000 | #Constraints: 55414
3326.46/3335.76 c #Conflicts: 230000 | #Constraints: 56414
3326.46/3335.76 c #Conflicts: 231000 | #Constraints: 57414
3326.46/3335.76 c #Conflicts: 232000 | #Constraints: 58414
3326.46/3335.76 c #Conflicts: 233000 | #Constraints: 59414
3326.46/3335.76 c #Conflicts: 234000 | #Constraints: 60414
3326.46/3335.76 c #Conflicts: 235000 | #Constraints: 61414
3326.46/3335.76 c #Conflicts: 236000 | #Constraints: 62414
3326.46/3335.76 c #Conflicts: 237000 | #Constraints: 63414
3326.46/3335.76 c #Conflicts: 238000 | #Constraints: 64414
3326.46/3335.76 c #Conflicts: 239000 | #Constraints: 65414
3326.46/3335.76 c #Conflicts: 240000 | #Constraints: 66414
3326.46/3335.76 c #Conflicts: 241000 | #Constraints: 67414
3326.46/3335.76 c #Conflicts: 242000 | #Constraints: 68414
3326.46/3335.76 c #Conflicts: 243000 | #Constraints: 69414
3326.46/3335.76 c INPROCESSING
3326.46/3335.76 c GARBAGE COLLECT
3326.46/3335.76 c #Conflicts: 244000 | #Constraints: 46592
3326.46/3335.76 c #Conflicts: 245000 | #Constraints: 47592
3326.46/3335.76 c #Conflicts: 246000 | #Constraints: 48592
3326.46/3335.76 c #Conflicts: 247000 | #Constraints: 49592
3326.46/3335.76 c #Conflicts: 248000 | #Constraints: 50592
3326.46/3335.76 c #Conflicts: 249000 | #Constraints: 51592
3326.46/3335.76 c #Conflicts: 250000 | #Constraints: 52592
3326.46/3335.76 c #Conflicts: 251000 | #Constraints: 53592
3326.46/3335.76 c #Conflicts: 252000 | #Constraints: 54592
3326.46/3335.76 c #Conflicts: 253000 | #Constraints: 55592
3326.46/3335.76 c #Conflicts: 254000 | #Constraints: 56592
3326.46/3335.76 c #Conflicts: 255000 | #Constraints: 57592
3326.46/3335.76 c INPROCESSING
3326.46/3335.76 c GARBAGE COLLECT
3326.46/3335.76 c #Conflicts: 256000 | #Constraints: 40922
3326.46/3335.76 c #Conflicts: 257000 | #Constraints: 41922
3326.46/3335.76 c #Conflicts: 258000 | #Constraints: 42922
3326.46/3335.76 c #Conflicts: 259000 | #Constraints: 43922
3326.46/3335.76 c #Conflicts: 260000 | #Constraints: 44922
3326.46/3335.76 c #Conflicts: 261000 | #Constraints: 45922
3326.46/3335.76 c #Conflicts: 262000 | #Constraints: 46922
3326.46/3335.76 c #Conflicts: 263000 | #Constraints: 47922
3326.46/3335.76 c #Conflicts: 264000 | #Constraints: 48922
3326.46/3335.76 c #Conflicts: 265000 | #Constraints: 49922
3326.46/3335.76 c #Conflicts: 266000 | #Constraints: 50922
3326.46/3335.76 c INPROCESSING
3326.46/3335.76 c GARBAGE COLLECT
3326.46/3335.76 c #Conflicts: 267000 | #Constraints: 37390
3600.08/3610.10 c #Conflicts: 268000 | #Constraints: 38390
3600.08/3610.10 c #Conflicts: 269000 | #Constraints: 39390
3600.08/3610.10 c #Conflicts: 270000 | #Constraints: 40390
3600.08/3610.10 c #Conflicts: 271000 | #Constraints: 41390
3600.08/3610.10 c #Conflicts: 272000 | #Constraints: 42390
3600.08/3610.10 c #Conflicts: 273000 | #Constraints: 43390
3600.08/3610.10 c #Conflicts: 274000 | #Constraints: 44390
3600.08/3610.10 c #Conflicts: 275000 | #Constraints: 45390
3600.08/3610.10 c #Conflicts: 276000 | #Constraints: 46390
3600.08/3610.10 c #Conflicts: 277000 | #Constraints: 47390
3600.08/3610.10 c #Conflicts: 278000 | #Constraints: 48390
3600.08/3610.10 c INPROCESSING
3600.08/3610.10 c GARBAGE COLLECT
3600.08/3610.10 c #Conflicts: 279000 | #Constraints: 36202
3600.08/3610.10 c #Conflicts: 280000 | #Constraints: 37202
3600.08/3610.10 c #Conflicts: 281000 | #Constraints: 38202
3600.08/3610.10 c #Conflicts: 282000 | #Constraints: 39202
3600.08/3610.10 c #Conflicts: 283000 | #Constraints: 40202
3600.08/3610.10 c #Conflicts: 284000 | #Constraints: 41202
3600.08/3610.10 c #Conflicts: 285000 | #Constraints: 42202
3600.08/3610.10 c #Conflicts: 286000 | #Constraints: 43202
3600.08/3610.10 c #Conflicts: 287000 | #Constraints: 44202
3600.08/3610.10 c #Conflicts: 288000 | #Constraints: 45202
3600.08/3610.10 c #Conflicts: 289000 | #Constraints: 46202
3600.08/3610.10 c #Conflicts: 290000 | #Constraints: 47202
3600.08/3610.10 c #Conflicts: 291000 | #Constraints: 48202
3600.08/3610.10 c #Conflicts: 292000 | #Constraints: 49202
3600.08/3610.10 c Program interrupted by user.
3600.08/3610.10 c cpu time 3593.25 s
3600.08/3610.10 c deterministic time 403603424949 4.04e+11
3600.08/3610.10 c optimization time 183.351 s
3600.08/3610.10 c total solve time 3409.86 s
3600.08/3610.10 c core-guided solve time 3409.86 s
3600.08/3610.10 c propagation time 2939.22 s
3600.08/3610.10 c conflict analysis time 634.128 s
3600.08/3610.10 c propagations 271086811
3600.08/3610.10 c resolve steps 34561812
3600.08/3610.10 c decisions 4651671
3600.08/3610.10 c conflicts 292316
3600.08/3610.10 c restarts 700
3600.08/3610.10 c inprocessing phases 32
3600.08/3610.10 c input clauses 21450
3600.08/3610.10 c input cardinalities 86
3600.08/3610.10 c input general constraints 63
3600.08/3610.10 c input average constraint length 3.50
3600.08/3610.10 c input average constraint degree 1.37
3600.08/3610.10 c learned clauses 104622
3600.08/3610.10 c learned cardinalities 625
3600.08/3610.10 c learned general constraints 187074
3600.08/3610.10 c learned average constraint length 915.98
3600.08/3610.10 c learned average constraint degree 9468043.63
3600.08/3610.10 c watched constraints 157137
3600.08/3610.10 c counting constraints 30000
3600.08/3610.10 c gcd simplifications 1337
3600.08/3610.10 c detected cardinalities 1
3600.08/3610.10 c weakened non-implied lits 8356581
3600.08/3610.10 c weakened non-implying lits 44088
3600.08/3610.10 c original variables 6076
3600.08/3610.10 c clausal propagations 213521111
3600.08/3610.10 c cardinality propagations 449187
3600.08/3610.10 c watched propagations 7772839
3600.08/3610.10 c counting propagations 48936316
3600.08/3610.10 c watch lookups 46866415425
3600.08/3610.10 c watch backjump lookups 40072381411
3600.08/3610.10 c watch checks 299218100604
3600.08/3610.10 c propagation checks 15708727018
3600.08/3610.10 c constraint additions 1186035835
3600.08/3610.10 c trail pops 276026173
3600.08/3610.10 c formula constraints 21401
3600.08/3610.10 c learned constraints 292321
3600.08/3610.10 c bound constraints 21
3600.08/3610.10 c core-guided constraints 177
3600.08/3610.10 c encountered formula constraints 26942047
3600.08/3610.10 c encountered learned constraints 7784437
3600.08/3610.10 c encountered bound constraints 44
3600.08/3610.10 c encountered core-guided constraints 127600
3600.08/3610.10 c LP total time 0 s
3600.08/3610.10 c LP solve time 0 s
3600.08/3610.10 c LP constraints added 0
3600.08/3610.10 c LP constraints removed 0
3600.08/3610.10 c LP pivots internal 0
3600.08/3610.10 c LP pivots root 0
3600.08/3610.10 c LP calls 0
3600.08/3610.10 c LP optimalities 0
3600.08/3610.10 c LP no pivot count 0
3600.08/3610.10 c LP infeasibilities 0
3600.08/3610.10 c LP valid Farkas constraints 0
3600.08/3610.10 c LP learned Farkas constraints 0
3600.08/3610.10 c LP basis resets 0
3600.08/3610.10 c LP cycling count 0
3600.08/3610.10 c LP singular count 0
3600.08/3610.10 c LP no primal count 0
3600.08/3610.10 c LP no farkas count 0
3600.08/3610.10 c LP other issue count 0
3600.08/3610.10 c LP Gomory cuts 0
3600.08/3610.10 c LP learned cuts 0
3600.08/3610.10 c LP deleted cuts 0
3600.08/3610.10 c LP encountered Gomory constraints 0
3600.08/3610.10 c LP encountered Farkas constraints 0
3600.08/3610.10 c LP encountered learned Farkas constraints 0
3600.08/3610.10 c CG auxiliary variables introduced 64
3600.08/3610.10 c CG solutions found 5
3600.08/3610.10 c CG cores constructed 15
3600.08/3610.10 c CG core cardinality constraints returned 0
3600.08/3610.10 c CG unit cores 0
3600.08/3610.10 c CG single cores 15
3600.08/3610.10 c CG blocks removed during cardinality reduction 0
3600.08/3610.10 c CG first core best 0
3600.08/3610.10 c CG decision core best 0
3600.08/3610.10 c CG core reduction tie 0
3600.08/3610.10 c CG core degree average 1.00
3600.08/3610.10 c CG core slack average 46.33
3600.08/3610.10 c CG exhausted 0
3600.08/3610.10 c CG exhaust time 34.1057 s
3600.08/3610.10 c CG trimmed 1
3600.08/3610.10 c CG trim time 0.012739 s
3600.08/3610.10 c CG minimized 0
3600.08/3610.10 c CG minimize time 0 s
3600.08/3610.10 c CG am1 prop time 0.022429 s
3600.08/3610.10 c CG # am1s reformulated 0
3600.08/3610.10 c CG lower bound derived from am1s 0
3600.08/3610.10 c CG # clausal cores 15
3600.08/3610.10 c CG # cardinality cores 0
3600.08/3610.10 c CG # pb cores 0
3600.08/3610.10 c CG # pb reforms 0
3600.08/3610.10 c CG # cores discarded because of pb reform 0
3600.08/3610.10 d LOWERBOUND 20
3600.08/3610.10 d NCORES 15
3600.08/3610.10 d NPBCORES 0
3600.08/3610.10 d NPBREFORM 0
3600.08/3610.10 d NTRIMMED 1
3600.08/3610.10 d NEXHAUSTED 0
3600.08/3610.10 d NAM1S 0
3600.08/3610.10 d AM1LB 0
3600.08/3610.10 o 22
3600.08/3610.10 s SATISFIABLE
3600.08/3610.10 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 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 x3956 -x3957 x3958 -x3959 -x3960 -x3961 -x3962 x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x3990 x3991 -x3992 x3993 -x3994 -x3995 -x3996 -x3997 x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 x4073 x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 x4497 -x4498 -x4499 x4500 -x4501 -x4502 -x4503 x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 x4570 -x4571 x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 x4612 -x4613 x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 x4635 -x4636 -x4637 -x4638 -x4639 x4640 -x4641 x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 x4675 -x4676 -x4677 -x4678 -x4679 x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 -x5087 -x5088 -x5089 -x5090 x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 x5177 -x5178 x5179 -x5180 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 x5224 -x5225 x5226 x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 x5251 x5252 -x5253 x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 x5271 -x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 x5313 -x5314 x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 x5355 -x5356 x5357 -x5358 -x5359 -x5360 -x5361 x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 x5816 x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 x5859 -x5860 -x5861 x5862 -x5863 x5864 -x5865 -x5866 -x5867 -x5868 x5869 -x5870 x5871 -x5872 -x5873 -x5874 -x5875 x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 x5930 -x5931 x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 x5996 -x5997 x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 x6030 x6031 x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 x6055 -x6056 x6057 x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 x6071 -x6072 -x6073 -x6074 -x6075 -x6076
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: 63931 MiB (60859 MiB free)
memory of node 1: 64510 MiB (59048 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454399-1721472692/watcher-4454399-1721472692 -o /tmp/evaluation-result-4454399-1721472692/solver-4454399-1721472692 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721469094-1077168 --watchdog 3760 pb-oll-rs HOME/instance-4454399-1721472692.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1079189, runsolver pid=1079186
[startup+0.10068 s]*
/proc/loadavg: 4.08 4.12 4.06 4/254 1079196
/proc/meminfo: memFree=122771744/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=41244 memory=10364 CPUtime=0.09 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 985 0 0 0 7 2 0 0 20 0 1 0 199437450 42233856 2591 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 10311 2591 1288 291 0 1845 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41244 KiB
Current children cumulated memory: 10364 KiB
[startup+0.205445 s]*
/proc/loadavg: 4.08 4.12 4.06 5/253 1079217
/proc/meminfo: memFree=122766024/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=43068 memory=11732 CPUtime=0.2 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 1365 0 0 0 18 2 0 0 20 0 1 0 199437450 44101632 2933 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 10767 2933 1320 291 0 2301 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43068 KiB
Current children cumulated memory: 11732 KiB
[startup+0.305627 s]*
/proc/loadavg: 4.08 4.12 4.06 5/251 1079217
/proc/meminfo: memFree=122745448/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=43860 memory=12788 CPUtime=0.29 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 1606 0 0 0 27 2 0 0 20 0 1 0 199437450 44912640 3197 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 10965 3197 1320 291 0 2499 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43860 KiB
Current children cumulated memory: 12788 KiB
[startup+0.700229 s]
/proc/loadavg: 4.08 4.12 4.06 5/257 1079228
/proc/meminfo: memFree=122619524/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=49112 memory=18260 CPUtime=0.68 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 3002 0 0 0 64 4 0 0 20 0 1 0 199437450 50290688 4565 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 12278 4565 1320 291 0 3812 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49112 KiB
Current children cumulated memory: 18260 KiB
[startup+1.50023 s]
/proc/loadavg: 4.08 4.12 4.06 5/257 1079228
/proc/meminfo: memFree=122583192/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=55940 memory=23080 CPUtime=1.49 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 4247 0 0 0 142 7 0 0 20 0 1 0 199437450 57282560 5770 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 13985 5770 1320 291 0 5519 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55940 KiB
Current children cumulated memory: 23080 KiB
[startup+3.10528 s]
/proc/loadavg: 4.08 4.12 4.06 5/257 1079274
/proc/meminfo: memFree=122639348/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=66444 memory=32928 CPUtime=3.08 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 5684 0 0 0 299 9 0 0 20 0 1 0 199437450 68038656 8232 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 16611 8232 1381 291 0 8145 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 66444 KiB
Current children cumulated memory: 32928 KiB
[startup+6.3002 s]
/proc/loadavg: 4.16 4.13 4.06 5/257 1079276
/proc/meminfo: memFree=122303188/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=82396 memory=43016 CPUtime=6.27 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 7313 0 0 0 612 15 0 0 20 0 1 0 199437450 84373504 10754 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 20599 10754 1381 291 0 12133 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 82396 KiB
Current children cumulated memory: 43016 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.06 5/257 1079276
/proc/meminfo: memFree=121860316/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=85772 memory=47356 CPUtime=12.65 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 8331 0 0 0 1239 26 0 0 20 0 1 0 199437450 87830528 11839 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 21443 11839 1381 291 0 12977 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 85772 KiB
Current children cumulated memory: 47356 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.06 5/257 1079279
/proc/meminfo: memFree=120997380/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=99800 memory=69176 CPUtime=25.41 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 12004 0 0 0 2504 37 0 0 20 0 1 0 199437450 102195200 17294 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 24950 17294 1381 291 0 16484 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 99800 KiB
Current children cumulated memory: 69176 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.13 4.07 5/257 1079282
/proc/meminfo: memFree=119918256/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=106208 memory=75164 CPUtime=50.95 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 13818 0 0 0 5041 54 0 0 20 0 1 0 199437450 108756992 18791 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 26552 18791 1381 291 0 18086 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 106208 KiB
Current children cumulated memory: 75164 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.11 4.06 5/257 1079291
/proc/meminfo: memFree=117678196/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=108132 memory=76956 CPUtime=102.02 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 14835 0 0 0 10109 93 0 0 20 0 1 0 199437450 110727168 19239 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 27033 19239 1381 291 0 18567 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 108132 KiB
Current children cumulated memory: 76956 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.06 5/257 1079302
/proc/meminfo: memFree=114387140/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=169024 memory=109488 CPUtime=161.87 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 18585 0 0 0 16069 118 0 0 20 0 1 0 199437450 173080576 27372 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 42256 27372 1381 291 0 33790 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 169024 KiB
Current children cumulated memory: 109488 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.07 5/255 1079313
/proc/meminfo: memFree=112395920/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=187228 memory=147208 CPUtime=221.71 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 22385 0 0 0 22041 130 0 0 20 0 1 0 199437450 191721472 36802 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 46807 36802 1381 291 0 38341 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 187228 KiB
Current children cumulated memory: 147208 KiB
[startup+282.3 s]
/proc/loadavg: 4.53 4.22 4.10 5/257 1079711
/proc/meminfo: memFree=111777080/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=249336 memory=173844 CPUtime=281.55 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 25651 0 0 0 28015 140 0 0 20 0 1 0 199437450 255320064 43461 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 62334 43461 1381 291 0 53868 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 249336 KiB
Current children cumulated memory: 173844 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.17 4.09 5/258 1079722
/proc/meminfo: memFree=111579792/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=249452 memory=173968 CPUtime=341.38 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 25824 0 0 0 33986 152 0 0 20 0 1 0 199437450 255438848 43492 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 62363 43492 1381 291 0 53897 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 249452 KiB
Current children cumulated memory: 173968 KiB
[startup+402.3 s]
/proc/loadavg: 4.28 4.20 4.10 5/260 1079903
/proc/meminfo: memFree=111116828/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=249448 memory=173964 CPUtime=401.23 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 25955 0 0 0 39952 171 0 0 20 0 1 0 199437450 255434752 43491 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 62362 43491 1381 291 0 53896 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 249448 KiB
Current children cumulated memory: 173964 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.18 4.10 5/260 1079913
/proc/meminfo: memFree=108140396/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=249448 memory=173964 CPUtime=461.06 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 26206 0 0 0 45918 188 0 0 20 0 1 0 199437450 255434752 43491 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 62362 43491 1381 291 0 53896 0
################
# More data... #
################
Current children cumulated memory: 444968 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/257 1080999
/proc/meminfo: memFree=87966392/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=611116 memory=446760 CPUtime=2914.24 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 62048 0 0 0 290849 575 0 0 20 0 1 0 199437450 625782784 111690 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 152779 111690 1381 291 0 144313 0
Current children cumulated CPU time: 2914.24 s
Current children cumulated vsize: 611116 KiB
Current children cumulated memory: 446760 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/257 1081010
/proc/meminfo: memFree=87909436/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=612012 memory=447728 CPUtime=2974.07 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 62604 0 0 0 296824 583 0 0 20 0 1 0 199437450 626700288 111932 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 153003 111932 1381 291 0 144537 0
Current children cumulated CPU time: 2974.07 s
Current children cumulated vsize: 612012 KiB
Current children cumulated memory: 447728 KiB
[startup+3042.3 s]
/proc/loadavg: 4.42 4.20 4.12 5/259 1081076
/proc/meminfo: memFree=112683204/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=612012 memory=447728 CPUtime=3033.9 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 62615 0 0 0 302799 591 0 0 20 0 1 0 199437450 626700288 111932 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 153003 111932 1381 291 0 144537 0
Current children cumulated CPU time: 3033.9 s
Current children cumulated vsize: 612012 KiB
Current children cumulated memory: 447728 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.19 4.12 5/259 1081087
/proc/meminfo: memFree=112194584/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=612012 memory=447728 CPUtime=3093.72 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 62637 0 0 0 308775 597 0 0 20 0 1 0 199437450 626700288 111932 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 153003 111932 1381 291 0 144537 0
Current children cumulated CPU time: 3093.72 s
Current children cumulated vsize: 612012 KiB
Current children cumulated memory: 447728 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.18 4.12 5/259 1081098
/proc/meminfo: memFree=111744592/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=612012 memory=447728 CPUtime=3153.55 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 62659 0 0 0 314751 604 0 0 20 0 1 0 199437450 626700288 111932 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 153003 111932 1381 291 0 144537 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 612012 KiB
Current children cumulated memory: 447728 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/259 1081109
/proc/meminfo: memFree=111320348/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=612696 memory=448252 CPUtime=3213.38 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 62820 0 0 0 320724 614 0 0 20 0 1 0 199437450 627400704 112063 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 153174 112063 1381 291 0 144708 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 448252 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/257 1081119
/proc/meminfo: memFree=111248532/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=612696 memory=448252 CPUtime=3273.22 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 62842 0 0 0 326699 623 0 0 20 0 1 0 199437450 627400704 112063 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 153174 112063 1381 291 0 144708 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 448252 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/257 1081130
/proc/meminfo: memFree=110967444/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=612696 memory=448252 CPUtime=3333.04 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 62864 0 0 0 332672 632 0 0 20 0 1 0 199437450 627400704 112063 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 153174 112063 1381 291 0 144708 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 448252 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/256 1081142
/proc/meminfo: memFree=110637652/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=612696 memory=448284 CPUtime=3392.87 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 62886 0 0 0 338641 646 0 0 20 0 1 0 199437450 627400704 112071 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 153174 112071 1381 291 0 144708 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 448284 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/256 1081152
/proc/meminfo: memFree=110609900/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=612696 memory=448284 CPUtime=3452.7 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 62908 0 0 0 344614 656 0 0 20 0 1 0 199437450 627400704 112071 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 153174 112071 1381 291 0 144708 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 448284 KiB
[startup+3522.3 s]
/proc/loadavg: 4.49 4.22 4.14 5/258 1081167
/proc/meminfo: memFree=110598364/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=612696 memory=448284 CPUtime=3512.52 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 62930 0 0 0 350582 670 0 0 20 0 1 0 199437450 627400704 112071 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 153174 112071 1381 291 0 144708 0
Current children cumulated CPU time: 3512.52 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 448284 KiB
[startup+3582.3 s]
/proc/loadavg: 4.50 4.28 4.16 5/258 1081178
/proc/meminfo: memFree=110488932/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=612696 memory=448284 CPUtime=3572.35 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 62952 0 0 0 356555 680 0 0 20 0 1 0 199437450 627400704 112071 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 153174 112071 1381 291 0 144708 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 448284 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.33 4.26 4.16 5/258 1081183
/proc/meminfo: memFree=110417620/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=612696 memory=448284 CPUtime=3600.08 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 62963 0 0 0 359324 684 0 0 20 0 1 0 199437450 627400704 112071 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 153174 112071 1381 291 0 144708 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 448284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 1079189 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.25 s, system=6.85536 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.33 4.26 4.16 5/258 1081183
/proc/meminfo: memFree=110417620/131524600 swapFree=131071996/131071996
[pid=1079189] ppid=1079186 vsize=612696 memory=448284 CPUtime=3600.08 cores=4,6
/proc/1079189/stat : 1079189 (pb-oll-rs) R 1079186 1079189 1077157 0 -1 4194304 62963 0 0 0 359324 684 0 0 20 0 1 0 199437450 627400704 112071 134679101440 4194304 5384485 140729060561008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 21295104 140729060566037 140729060566114 140729060566114 140729060573131 0
/proc/1079189/statm: 153174 112071 1381 291 0 144708 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 448284 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.11
CPU user time (s): 3593.25
CPU system time (s): 6.85536
CPU usage (%): 99.7226
Max. virtual memory (cumulated for all children) (KiB): 612696
Max. memory (cumulated for all children) (KiB): 448284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.25
system time used= 6.85536
maximum resident set size= 448952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62980
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= 24
involuntary context switches= 3746
# summary of solver processes directly reported to runsolver:
# pid: 1079189
# total CPU time (s): 3600.11
# total CPU user time (s): 3593.25
# total CPU system time (s): 6.85536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27666 second user time and 16.3416 second system time
The end
Begin job on nodeC031 at 2024-07-20 12:51:45
IDJOB=4454399
IDBENCH=148194
IDSOLVER=3082
FILE ID=nodeC031/4454399-1721472692
RUNJOBID= nodeC031-1721469094-1077168
SLURM_JOB_ID= 7545727
Free space on /tmp= 890076 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454399-1721472692/watcher-4454399-1721472692 -o /tmp/evaluation-result-4454399-1721472692/solver-4454399-1721472692 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721469094-1077168 --watchdog 3760 pb-oll-rs HOME/instance-4454399-1721472692.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=942829975
nodeC031.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 : 3634.012
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.55
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 : 3604.392
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 : 7006.11
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 : 3601.735
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.55
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 : 3657.220
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 : 7006.11
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 : 3603.204
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.55
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 : 2444.270
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 : 7006.11
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 : 3623.051
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.55
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 : 3580.852
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 : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122787596 kB
MemAvailable: 129387068 kB
Buffers: 543252 kB
Cached: 6822336 kB
SwapCached: 0 kB
Active: 1091060 kB
Inactive: 6855952 kB
Active(anon): 1520 kB
Inactive(anon): 625808 kB
Active(file): 1089540 kB
Inactive(file): 6230144 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 4540 kB
Writeback: 4 kB
AnonPages: 571300 kB
Mapped: 109704 kB
Shmem: 45912 kB
KReclaimable: 238872 kB
Slab: 368864 kB
SReclaimable: 238872 kB
SUnreclaim: 129992 kB
KernelStack: 3996 kB
PageTables: 10216 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 945252 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 714752 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: 254676 kB
DirectMap2M: 39364608 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 889976 MiB
End job on nodeC031 at 2024-07-20 13:51:55