0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.10/0.14 c [STEP] preprocessing with Papilo
0.10/0.21 c [STEP] solving with SCIP
299.44/300.35 c [STEP] preprocessing done, loading into solver
299.44/300.39 c [STEP] solving
299.44/300.39 c #variables 6014 #constraints 21245
299.44/300.39 c SMALL=int, LARGE=long long
299.44/300.39 c bounds - >= 0 @ 299.331
299.44/300.39 c stratification level: 0
299.55/300.41 c bounds - >= 1 @ 299.338
299.55/300.41 c bounds - >= 2 @ 299.339
299.55/300.41 c bounds - >= 3 @ 299.34
299.55/300.41 c bounds - >= 4 @ 299.341
299.55/300.41 c bounds - >= 5 @ 299.341
299.55/300.41 c bounds - >= 6 @ 299.342
299.55/300.41 c finalizing WCE round: reformulating cores
400.39/401.50 c #Conflicts: 1000 | #Constraints: 22260
400.39/401.50 c #Conflicts: 2000 | #Constraints: 23262
400.39/401.50 c INPROCESSING
400.39/401.50 c GARBAGE COLLECT
400.39/401.50 c #Conflicts: 3000 | #Constraints: 23270
400.39/401.50 c #Conflicts: 4000 | #Constraints: 24272
400.39/401.50 c INPROCESSING
400.39/401.50 c GARBAGE COLLECT
400.39/401.50 c #Conflicts: 5000 | #Constraints: 23682
400.39/401.50 c bounds 18 >= 6 @ 302.193
400.39/401.50 c bounds 18 >= 7 @ 302.23
400.39/401.50 c bounds 18 >= 8 @ 302.262
400.39/401.50 c #Conflicts: 6000 | #Constraints: 24705
400.39/401.50 c INPROCESSING
400.39/401.50 c GARBAGE COLLECT
400.39/401.50 c #Conflicts: 7000 | #Constraints: 23701
400.39/401.50 c #Conflicts: 8000 | #Constraints: 24701
400.39/401.50 c #Conflicts: 9000 | #Constraints: 25701
400.39/401.50 c INPROCESSING
400.39/401.50 c GARBAGE COLLECT
400.39/401.50 c #Conflicts: 10000 | #Constraints: 24408
400.39/401.50 c #Conflicts: 11000 | #Constraints: 25408
400.39/401.50 c #Conflicts: 12000 | #Constraints: 26408
400.39/401.50 c INPROCESSING
400.39/401.50 c GARBAGE COLLECT
400.39/401.50 c #Conflicts: 13000 | #Constraints: 24890
400.39/401.50 c #Conflicts: 14000 | #Constraints: 25890
400.39/401.50 c #Conflicts: 15000 | #Constraints: 26890
400.39/401.50 c INPROCESSING
400.39/401.50 c GARBAGE COLLECT
400.39/401.50 c #Conflicts: 16000 | #Constraints: 25141
400.39/401.50 c #Conflicts: 17000 | #Constraints: 26141
400.39/401.50 c #Conflicts: 18000 | #Constraints: 27141
400.39/401.50 c INPROCESSING
400.39/401.50 c GARBAGE COLLECT
400.39/401.50 c #Conflicts: 19000 | #Constraints: 25188
400.39/401.50 c #Conflicts: 20000 | #Constraints: 26188
400.39/401.50 c #Conflicts: 21000 | #Constraints: 27188
400.39/401.50 c INPROCESSING
400.39/401.50 c GARBAGE COLLECT
400.39/401.50 c #Conflicts: 22000 | #Constraints: 25013
400.39/401.50 c #Conflicts: 23000 | #Constraints: 26013
400.39/401.50 c #Conflicts: 24000 | #Constraints: 27013
400.39/401.50 c #Conflicts: 25000 | #Constraints: 28013
400.39/401.50 c INPROCESSING
400.39/401.50 c GARBAGE COLLECT
400.39/401.50 c #Conflicts: 26000 | #Constraints: 25654
400.39/401.50 c #Conflicts: 27000 | #Constraints: 26654
400.39/401.50 c #Conflicts: 28000 | #Constraints: 27654
400.39/401.50 c #Conflicts: 29000 | #Constraints: 28654
400.39/401.50 c INPROCESSING
400.39/401.50 c GARBAGE COLLECT
400.39/401.50 c #Conflicts: 30000 | #Constraints: 26051
400.39/401.50 c #Conflicts: 31000 | #Constraints: 27051
400.39/401.50 c #Conflicts: 32000 | #Constraints: 28051
400.39/401.50 c #Conflicts: 33000 | #Constraints: 29051
400.39/401.50 c INPROCESSING
400.39/401.50 c GARBAGE COLLECT
400.39/401.50 c #Conflicts: 34000 | #Constraints: 26281
400.39/401.50 c #Conflicts: 35000 | #Constraints: 27281
400.39/401.50 c #Conflicts: 36000 | #Constraints: 28281
400.39/401.50 c #Conflicts: 37000 | #Constraints: 29281
400.39/401.50 c INPROCESSING
400.39/401.50 c GARBAGE COLLECT
400.39/401.50 c #Conflicts: 38000 | #Constraints: 26306
400.39/401.50 c #Conflicts: 39000 | #Constraints: 27306
400.39/401.50 c #Conflicts: 40000 | #Constraints: 28306
400.39/401.50 c #Conflicts: 41000 | #Constraints: 29306
400.39/401.50 c INPROCESSING
400.39/401.50 c GARBAGE COLLECT
400.39/401.50 c #Conflicts: 42000 | #Constraints: 26170
400.39/401.50 c #Conflicts: 43000 | #Constraints: 27170
400.39/401.50 c #Conflicts: 44000 | #Constraints: 28170
400.39/401.50 c #Conflicts: 45000 | #Constraints: 29170
400.39/401.50 c #Conflicts: 46000 | #Constraints: 30170
400.39/401.50 c INPROCESSING
400.39/401.50 c GARBAGE COLLECT
400.39/401.50 c #Conflicts: 47000 | #Constraints: 26813
400.39/401.50 c #Conflicts: 48000 | #Constraints: 27813
400.39/401.50 c finalizing WCE round: reformulating cores
535.96/537.42 c #Conflicts: 49000 | #Constraints: 28818
535.96/537.42 c bounds 17 >= 8 @ 400.843
535.96/537.42 c bounds 17 >= 9 @ 404.158
535.96/537.42 c #Conflicts: 50000 | #Constraints: 29821
535.96/537.42 c #Conflicts: 51000 | #Constraints: 30821
535.96/537.42 c INPROCESSING
535.96/537.42 c GARBAGE COLLECT
535.96/537.42 c #Conflicts: 52000 | #Constraints: 27213
535.96/537.42 c bounds 17 >= 10 @ 414.2
535.96/537.42 c #Conflicts: 53000 | #Constraints: 28238
535.96/537.42 c #Conflicts: 54000 | #Constraints: 29238
535.96/537.42 c #Conflicts: 55000 | #Constraints: 30238
535.96/537.42 c #Conflicts: 56000 | #Constraints: 31238
535.96/537.42 c INPROCESSING
535.96/537.42 c GARBAGE COLLECT
535.96/537.42 c #Conflicts: 57000 | #Constraints: 27418
535.96/537.42 c #Conflicts: 58000 | #Constraints: 28418
535.96/537.42 c #Conflicts: 59000 | #Constraints: 29418
535.96/537.42 c #Conflicts: 60000 | #Constraints: 30418
535.96/537.42 c #Conflicts: 61000 | #Constraints: 31418
535.96/537.42 c INPROCESSING
535.96/537.42 c GARBAGE COLLECT
535.96/537.42 c #Conflicts: 62000 | #Constraints: 27424
535.96/537.42 c #Conflicts: 63000 | #Constraints: 28424
535.96/537.42 c #Conflicts: 64000 | #Constraints: 29424
535.96/537.42 c #Conflicts: 65000 | #Constraints: 30424
535.96/537.42 c #Conflicts: 66000 | #Constraints: 31424
535.96/537.42 c finalizing WCE round: reformulating cores
894.07/896.49 c INPROCESSING
894.07/896.49 c GARBAGE COLLECT
894.07/896.49 c #Conflicts: 67000 | #Constraints: 27242
894.07/896.49 c bounds 16 >= 10 @ 535.923
894.07/896.49 c #Conflicts: 68000 | #Constraints: 28242
894.07/896.49 c #Conflicts: 69000 | #Constraints: 29242
894.07/896.49 c #Conflicts: 70000 | #Constraints: 30242
894.07/896.49 c #Conflicts: 71000 | #Constraints: 31242
894.07/896.49 c #Conflicts: 72000 | #Constraints: 32242
894.07/896.49 c INPROCESSING
894.07/896.49 c GARBAGE COLLECT
894.07/896.49 c #Conflicts: 73000 | #Constraints: 27857
894.07/896.49 c #Conflicts: 74000 | #Constraints: 28857
894.07/896.49 c bounds 16 >= 11 @ 584.757
894.07/896.49 c #Conflicts: 75000 | #Constraints: 29882
894.07/896.49 c #Conflicts: 76000 | #Constraints: 30882
894.07/896.49 c #Conflicts: 77000 | #Constraints: 31882
894.07/896.49 c #Conflicts: 78000 | #Constraints: 32882
894.07/896.49 c INPROCESSING
894.07/896.49 c GARBAGE COLLECT
894.07/896.49 c #Conflicts: 79000 | #Constraints: 28304
894.07/896.49 c #Conflicts: 80000 | #Constraints: 29304
894.07/896.49 c #Conflicts: 81000 | #Constraints: 30304
894.07/896.49 c #Conflicts: 82000 | #Constraints: 31304
894.07/896.49 c #Conflicts: 83000 | #Constraints: 32304
894.07/896.49 c #Conflicts: 84000 | #Constraints: 33304
894.07/896.49 c INPROCESSING
894.07/896.49 c GARBAGE COLLECT
894.07/896.49 c #Conflicts: 85000 | #Constraints: 28556
894.07/896.49 c #Conflicts: 86000 | #Constraints: 29556
894.07/896.49 c #Conflicts: 87000 | #Constraints: 30556
894.07/896.49 c #Conflicts: 88000 | #Constraints: 31556
894.07/896.49 c #Conflicts: 89000 | #Constraints: 32556
894.07/896.49 c #Conflicts: 90000 | #Constraints: 33556
894.07/896.49 c INPROCESSING
894.07/896.49 c GARBAGE COLLECT
894.07/896.49 c #Conflicts: 91000 | #Constraints: 28563
894.07/896.49 c #Conflicts: 92000 | #Constraints: 29563
894.07/896.49 c #Conflicts: 93000 | #Constraints: 30563
894.07/896.49 c #Conflicts: 94000 | #Constraints: 31563
894.07/896.49 c #Conflicts: 95000 | #Constraints: 32563
894.07/896.49 c #Conflicts: 96000 | #Constraints: 33563
894.07/896.49 c INPROCESSING
894.07/896.49 c GARBAGE COLLECT
894.07/896.49 c #Conflicts: 97000 | #Constraints: 28336
894.07/896.49 c #Conflicts: 98000 | #Constraints: 29336
894.07/896.49 c #Conflicts: 99000 | #Constraints: 30336
894.07/896.49 c #Conflicts: 100000 | #Constraints: 31336
894.07/896.49 c #Conflicts: 101000 | #Constraints: 32336
894.07/896.49 c #Conflicts: 102000 | #Constraints: 33336
894.07/896.49 c #Conflicts: 103000 | #Constraints: 34336
894.07/896.49 c INPROCESSING
894.07/896.49 c GARBAGE COLLECT
894.07/896.49 c #Conflicts: 104000 | #Constraints: 28964
894.07/896.49 c #Conflicts: 105000 | #Constraints: 29964
894.07/896.49 c #Conflicts: 106000 | #Constraints: 30964
894.07/896.49 c #Conflicts: 107000 | #Constraints: 31964
894.07/896.49 c #Conflicts: 108000 | #Constraints: 32964
894.07/896.49 c #Conflicts: 109000 | #Constraints: 33964
894.07/896.49 c #Conflicts: 110000 | #Constraints: 34964
894.07/896.49 c INPROCESSING
894.07/896.49 c GARBAGE COLLECT
894.07/896.49 c #Conflicts: 111000 | #Constraints: 29418
894.07/896.49 c #Conflicts: 112000 | #Constraints: 30418
894.07/896.49 c #Conflicts: 113000 | #Constraints: 31418
894.07/896.49 c #Conflicts: 114000 | #Constraints: 32418
894.07/896.49 c #Conflicts: 115000 | #Constraints: 33418
894.07/896.49 c #Conflicts: 116000 | #Constraints: 34418
894.07/896.49 c #Conflicts: 117000 | #Constraints: 35418
894.07/896.49 c INPROCESSING
894.07/896.49 c GARBAGE COLLECT
894.07/896.49 c #Conflicts: 118000 | #Constraints: 29597
894.07/896.49 c #Conflicts: 119000 | #Constraints: 30597
894.07/896.49 c #Conflicts: 120000 | #Constraints: 31597
894.07/896.49 c #Conflicts: 121000 | #Constraints: 32597
894.07/896.49 c #Conflicts: 122000 | #Constraints: 33597
894.07/896.49 c #Conflicts: 123000 | #Constraints: 34597
894.07/896.49 c #Conflicts: 124000 | #Constraints: 35597
894.07/896.49 c INPROCESSING
894.07/896.49 c GARBAGE COLLECT
894.07/896.49 c #Conflicts: 125000 | #Constraints: 29600
894.07/896.49 c #Conflicts: 126000 | #Constraints: 30600
894.07/896.49 c #Conflicts: 127000 | #Constraints: 31600
894.07/896.49 c #Conflicts: 128000 | #Constraints: 32600
894.07/896.49 c #Conflicts: 129000 | #Constraints: 33600
894.07/896.49 c #Conflicts: 130000 | #Constraints: 34600
894.07/896.49 c #Conflicts: 131000 | #Constraints: 35600
894.07/896.49 c INPROCESSING
894.07/896.49 c GARBAGE COLLECT
894.07/896.49 c #Conflicts: 132000 | #Constraints: 29408
894.07/896.49 c #Conflicts: 133000 | #Constraints: 30408
894.07/896.49 c #Conflicts: 134000 | #Constraints: 31408
894.07/896.49 c #Conflicts: 135000 | #Constraints: 32408
894.07/896.49 c #Conflicts: 136000 | #Constraints: 33408
894.07/896.49 c #Conflicts: 137000 | #Constraints: 34408
1474.88/1478.71 c #Conflicts: 138000 | #Constraints: 35408
1474.88/1478.71 c #Conflicts: 139000 | #Constraints: 36408
1474.88/1478.71 c INPROCESSING
1474.88/1478.71 c GARBAGE COLLECT
1474.88/1478.71 c #Conflicts: 140000 | #Constraints: 30048
1474.88/1478.71 c #Conflicts: 141000 | #Constraints: 31048
1474.88/1478.71 c #Conflicts: 142000 | #Constraints: 32048
1474.88/1478.71 c #Conflicts: 143000 | #Constraints: 33048
1474.88/1478.71 c #Conflicts: 144000 | #Constraints: 34048
1474.88/1478.71 c #Conflicts: 145000 | #Constraints: 35048
1474.88/1478.71 c #Conflicts: 146000 | #Constraints: 36048
1474.88/1478.71 c #Conflicts: 147000 | #Constraints: 37048
1474.88/1478.71 c INPROCESSING
1474.88/1478.71 c GARBAGE COLLECT
1474.88/1478.71 c #Conflicts: 148000 | #Constraints: 30481
1474.88/1478.71 c #Conflicts: 149000 | #Constraints: 31481
1474.88/1478.71 c #Conflicts: 150000 | #Constraints: 32481
1474.88/1478.71 c #Conflicts: 151000 | #Constraints: 33481
1474.88/1478.71 c #Conflicts: 152000 | #Constraints: 34481
1474.88/1478.71 c #Conflicts: 153000 | #Constraints: 35481
1474.88/1478.71 c #Conflicts: 154000 | #Constraints: 36481
1474.88/1478.71 c #Conflicts: 155000 | #Constraints: 37481
1474.88/1478.71 c INPROCESSING
1474.88/1478.71 c GARBAGE COLLECT
1474.88/1478.71 c #Conflicts: 156000 | #Constraints: 30707
1474.88/1478.71 c #Conflicts: 157000 | #Constraints: 31707
1474.88/1478.71 c #Conflicts: 158000 | #Constraints: 32707
1474.88/1478.71 c #Conflicts: 159000 | #Constraints: 33707
1474.88/1478.71 c #Conflicts: 160000 | #Constraints: 34707
1474.88/1478.71 c #Conflicts: 161000 | #Constraints: 35707
1474.88/1478.71 c #Conflicts: 162000 | #Constraints: 36707
1474.88/1478.71 c #Conflicts: 163000 | #Constraints: 37707
1474.88/1478.71 c INPROCESSING
1474.88/1478.71 c GARBAGE COLLECT
1474.88/1478.71 c #Conflicts: 164000 | #Constraints: 30706
1474.88/1478.71 c #Conflicts: 165000 | #Constraints: 31706
1474.88/1478.71 c #Conflicts: 166000 | #Constraints: 32706
1474.88/1478.71 c #Conflicts: 167000 | #Constraints: 33706
1474.88/1478.71 c #Conflicts: 168000 | #Constraints: 34706
1474.88/1478.71 c #Conflicts: 169000 | #Constraints: 35706
1474.88/1478.71 c #Conflicts: 170000 | #Constraints: 36706
1474.88/1478.71 c #Conflicts: 171000 | #Constraints: 37706
1474.88/1478.71 c INPROCESSING
1474.88/1478.71 c GARBAGE COLLECT
1474.88/1478.71 c #Conflicts: 172000 | #Constraints: 30499
1474.88/1478.71 c #Conflicts: 173000 | #Constraints: 31499
1474.88/1478.71 c #Conflicts: 174000 | #Constraints: 32499
1474.88/1478.71 c #Conflicts: 175000 | #Constraints: 33499
1474.88/1478.71 c #Conflicts: 176000 | #Constraints: 34499
1474.88/1478.71 c #Conflicts: 177000 | #Constraints: 35499
1474.88/1478.71 c #Conflicts: 178000 | #Constraints: 36499
1474.88/1478.71 c #Conflicts: 179000 | #Constraints: 37499
1474.88/1478.71 c #Conflicts: 180000 | #Constraints: 38499
1474.88/1478.71 c INPROCESSING
1474.88/1478.71 c GARBAGE COLLECT
1474.88/1478.71 c #Conflicts: 181000 | #Constraints: 31114
1474.88/1478.71 c #Conflicts: 182000 | #Constraints: 32114
1474.88/1478.71 c #Conflicts: 183000 | #Constraints: 33114
1474.88/1478.71 c #Conflicts: 184000 | #Constraints: 34114
1474.88/1478.71 c #Conflicts: 185000 | #Constraints: 35114
1474.88/1478.71 c #Conflicts: 186000 | #Constraints: 36114
1474.88/1478.71 c #Conflicts: 187000 | #Constraints: 37114
1474.88/1478.71 c #Conflicts: 188000 | #Constraints: 38114
1474.88/1478.71 c #Conflicts: 189000 | #Constraints: 39114
1474.88/1478.71 c INPROCESSING
1474.88/1478.71 c GARBAGE COLLECT
1474.88/1478.71 c #Conflicts: 190000 | #Constraints: 31544
1474.88/1478.71 c #Conflicts: 191000 | #Constraints: 32544
1474.88/1478.71 c #Conflicts: 192000 | #Constraints: 33544
1474.88/1478.71 c #Conflicts: 193000 | #Constraints: 34544
1474.88/1478.71 c #Conflicts: 194000 | #Constraints: 35544
1474.88/1478.71 c #Conflicts: 195000 | #Constraints: 36544
1474.88/1478.71 c #Conflicts: 196000 | #Constraints: 37544
1474.88/1478.71 c #Conflicts: 197000 | #Constraints: 38544
1474.88/1478.71 c #Conflicts: 198000 | #Constraints: 39544
1474.88/1478.71 c INPROCESSING
1474.88/1478.71 c GARBAGE COLLECT
1474.88/1478.71 c #Conflicts: 199000 | #Constraints: 31744
1474.88/1478.71 c #Conflicts: 200000 | #Constraints: 32744
1474.88/1478.71 c #Conflicts: 201000 | #Constraints: 33744
1474.88/1478.71 c #Conflicts: 202000 | #Constraints: 34744
1474.88/1478.71 c #Conflicts: 203000 | #Constraints: 35744
1474.88/1478.71 c #Conflicts: 204000 | #Constraints: 36744
1474.88/1478.71 c #Conflicts: 205000 | #Constraints: 37744
1474.88/1478.71 c #Conflicts: 206000 | #Constraints: 38744
1474.88/1478.71 c #Conflicts: 207000 | #Constraints: 39744
1474.88/1478.71 c INPROCESSING
1474.88/1478.71 c GARBAGE COLLECT
1474.88/1478.71 c #Conflicts: 208000 | #Constraints: 31804
1474.88/1478.71 c #Conflicts: 209000 | #Constraints: 32804
1474.88/1478.71 c #Conflicts: 210000 | #Constraints: 33804
2165.47/2171.15 c #Conflicts: 211000 | #Constraints: 34804
2165.47/2171.15 c #Conflicts: 212000 | #Constraints: 35804
2165.47/2171.15 c #Conflicts: 213000 | #Constraints: 36804
2165.47/2171.15 c #Conflicts: 214000 | #Constraints: 37804
2165.47/2171.15 c #Conflicts: 215000 | #Constraints: 38804
2165.47/2171.15 c #Conflicts: 216000 | #Constraints: 39804
2165.47/2171.15 c INPROCESSING
2165.47/2171.15 c GARBAGE COLLECT
2165.47/2171.15 c #Conflicts: 217000 | #Constraints: 31613
2165.47/2171.15 c #Conflicts: 218000 | #Constraints: 32613
2165.47/2171.15 c #Conflicts: 219000 | #Constraints: 33613
2165.47/2171.15 c #Conflicts: 220000 | #Constraints: 34613
2165.47/2171.15 c #Conflicts: 221000 | #Constraints: 35613
2165.47/2171.15 c #Conflicts: 222000 | #Constraints: 36613
2165.47/2171.15 c #Conflicts: 223000 | #Constraints: 37613
2165.47/2171.15 c #Conflicts: 224000 | #Constraints: 38613
2165.47/2171.15 c #Conflicts: 225000 | #Constraints: 39613
2165.47/2171.15 c #Conflicts: 226000 | #Constraints: 40613
2165.47/2171.15 c INPROCESSING
2165.47/2171.15 c GARBAGE COLLECT
2165.47/2171.15 c #Conflicts: 227000 | #Constraints: 32268
2165.47/2171.15 c #Conflicts: 228000 | #Constraints: 33268
2165.47/2171.15 c #Conflicts: 229000 | #Constraints: 34268
2165.47/2171.15 c #Conflicts: 230000 | #Constraints: 35268
2165.47/2171.15 c #Conflicts: 231000 | #Constraints: 36268
2165.47/2171.15 c #Conflicts: 232000 | #Constraints: 37268
2165.47/2171.15 c #Conflicts: 233000 | #Constraints: 38268
2165.47/2171.15 c #Conflicts: 234000 | #Constraints: 39268
2165.47/2171.15 c #Conflicts: 235000 | #Constraints: 40268
2165.47/2171.15 c #Conflicts: 236000 | #Constraints: 41268
2165.47/2171.15 c INPROCESSING
2165.47/2171.15 c GARBAGE COLLECT
2165.47/2171.15 c #Conflicts: 237000 | #Constraints: 32678
2165.47/2171.15 c #Conflicts: 238000 | #Constraints: 33678
2165.47/2171.15 c #Conflicts: 239000 | #Constraints: 34678
2165.47/2171.15 c #Conflicts: 240000 | #Constraints: 35678
2165.47/2171.15 c #Conflicts: 241000 | #Constraints: 36678
2165.47/2171.15 c #Conflicts: 242000 | #Constraints: 37678
2165.47/2171.15 c #Conflicts: 243000 | #Constraints: 38678
2165.47/2171.15 c #Conflicts: 244000 | #Constraints: 39678
2165.47/2171.15 c #Conflicts: 245000 | #Constraints: 40678
2165.47/2171.15 c #Conflicts: 246000 | #Constraints: 41678
2165.47/2171.15 c INPROCESSING
2165.47/2171.15 c GARBAGE COLLECT
2165.47/2171.15 c #Conflicts: 247000 | #Constraints: 32758
2165.47/2171.15 c #Conflicts: 248000 | #Constraints: 33758
2165.47/2171.15 c #Conflicts: 249000 | #Constraints: 34758
2165.47/2171.15 c #Conflicts: 250000 | #Constraints: 35758
2165.47/2171.15 c #Conflicts: 251000 | #Constraints: 36758
2165.47/2171.15 c #Conflicts: 252000 | #Constraints: 37758
2165.47/2171.15 c #Conflicts: 253000 | #Constraints: 38758
2165.47/2171.15 c #Conflicts: 254000 | #Constraints: 39758
2165.47/2171.15 c #Conflicts: 255000 | #Constraints: 40758
2165.47/2171.15 c #Conflicts: 256000 | #Constraints: 41758
2165.47/2171.15 c INPROCESSING
2165.47/2171.15 c GARBAGE COLLECT
2165.47/2171.15 c #Conflicts: 257000 | #Constraints: 32708
2165.47/2171.15 c #Conflicts: 258000 | #Constraints: 33708
2165.47/2171.15 c #Conflicts: 259000 | #Constraints: 34708
2165.47/2171.15 c #Conflicts: 260000 | #Constraints: 35708
2165.47/2171.15 c #Conflicts: 261000 | #Constraints: 36708
2165.47/2171.15 c #Conflicts: 262000 | #Constraints: 37708
2165.47/2171.15 c #Conflicts: 263000 | #Constraints: 38708
2165.47/2171.15 c #Conflicts: 264000 | #Constraints: 39708
2165.47/2171.15 c #Conflicts: 265000 | #Constraints: 40708
2165.47/2171.15 c #Conflicts: 266000 | #Constraints: 41708
2165.47/2171.15 c INPROCESSING
2165.47/2171.15 c GARBAGE COLLECT
2165.47/2171.15 c #Conflicts: 267000 | #Constraints: 32592
2165.47/2171.15 c #Conflicts: 268000 | #Constraints: 33592
2165.47/2171.15 c #Conflicts: 269000 | #Constraints: 34592
2165.47/2171.15 c #Conflicts: 270000 | #Constraints: 35592
2165.47/2171.15 c #Conflicts: 271000 | #Constraints: 36592
2165.47/2171.15 c #Conflicts: 272000 | #Constraints: 37592
2165.47/2171.15 c #Conflicts: 273000 | #Constraints: 38592
2165.47/2171.15 c #Conflicts: 274000 | #Constraints: 39592
2165.47/2171.15 c #Conflicts: 275000 | #Constraints: 40592
2165.47/2171.15 c #Conflicts: 276000 | #Constraints: 41592
2165.47/2171.15 c #Conflicts: 277000 | #Constraints: 42592
2165.47/2171.15 c INPROCESSING
2165.47/2171.15 c GARBAGE COLLECT
2165.47/2171.15 c #Conflicts: 278000 | #Constraints: 33277
2165.47/2171.15 c #Conflicts: 279000 | #Constraints: 34277
2165.47/2171.15 c #Conflicts: 280000 | #Constraints: 35277
2165.47/2171.15 c #Conflicts: 281000 | #Constraints: 36277
2165.47/2171.15 c #Conflicts: 282000 | #Constraints: 37277
2165.47/2171.15 c #Conflicts: 283000 | #Constraints: 38277
2165.47/2171.15 c #Conflicts: 284000 | #Constraints: 39277
2165.47/2171.15 c #Conflicts: 285000 | #Constraints: 40277
2922.29/2929.91 c #Conflicts: 286000 | #Constraints: 41277
2922.29/2929.91 c #Conflicts: 287000 | #Constraints: 42277
2922.29/2929.91 c #Conflicts: 288000 | #Constraints: 43277
2922.29/2929.91 c INPROCESSING
2922.29/2929.91 c GARBAGE COLLECT
2922.29/2929.91 c #Conflicts: 289000 | #Constraints: 33661
2922.29/2929.91 c #Conflicts: 290000 | #Constraints: 34661
2922.29/2929.91 c #Conflicts: 291000 | #Constraints: 35661
2922.29/2929.91 c #Conflicts: 292000 | #Constraints: 36661
2922.29/2929.91 c #Conflicts: 293000 | #Constraints: 37661
2922.29/2929.91 c #Conflicts: 294000 | #Constraints: 38661
2922.29/2929.91 c #Conflicts: 295000 | #Constraints: 39661
2922.29/2929.91 c #Conflicts: 296000 | #Constraints: 40661
2922.29/2929.91 c #Conflicts: 297000 | #Constraints: 41661
2922.29/2929.91 c #Conflicts: 298000 | #Constraints: 42661
2922.29/2929.91 c #Conflicts: 299000 | #Constraints: 43661
2922.29/2929.91 c INPROCESSING
2922.29/2929.91 c GARBAGE COLLECT
2922.29/2929.91 c #Conflicts: 300000 | #Constraints: 33884
2922.29/2929.91 c #Conflicts: 301000 | #Constraints: 34884
2922.29/2929.91 c #Conflicts: 302000 | #Constraints: 35884
2922.29/2929.91 c #Conflicts: 303000 | #Constraints: 36884
2922.29/2929.91 c #Conflicts: 304000 | #Constraints: 37884
2922.29/2929.91 c #Conflicts: 305000 | #Constraints: 38884
2922.29/2929.91 c #Conflicts: 306000 | #Constraints: 39884
2922.29/2929.91 c #Conflicts: 307000 | #Constraints: 40884
2922.29/2929.91 c #Conflicts: 308000 | #Constraints: 41884
2922.29/2929.91 c #Conflicts: 309000 | #Constraints: 42884
2922.29/2929.91 c #Conflicts: 310000 | #Constraints: 43884
2922.29/2929.91 c INPROCESSING
2922.29/2929.91 c GARBAGE COLLECT
2922.29/2929.91 c #Conflicts: 311000 | #Constraints: 33864
2922.29/2929.91 c #Conflicts: 312000 | #Constraints: 34864
2922.29/2929.91 c #Conflicts: 313000 | #Constraints: 35864
2922.29/2929.91 c #Conflicts: 314000 | #Constraints: 36864
2922.29/2929.91 c #Conflicts: 315000 | #Constraints: 37864
2922.29/2929.91 c #Conflicts: 316000 | #Constraints: 38864
2922.29/2929.91 c #Conflicts: 317000 | #Constraints: 39864
2922.29/2929.91 c #Conflicts: 318000 | #Constraints: 40864
2922.29/2929.91 c #Conflicts: 319000 | #Constraints: 41864
2922.29/2929.91 c #Conflicts: 320000 | #Constraints: 42864
2922.29/2929.91 c #Conflicts: 321000 | #Constraints: 43864
2922.29/2929.91 c INPROCESSING
2922.29/2929.91 c GARBAGE COLLECT
2922.29/2929.91 c #Conflicts: 322000 | #Constraints: 33697
2922.29/2929.91 c #Conflicts: 323000 | #Constraints: 34697
2922.29/2929.91 c #Conflicts: 324000 | #Constraints: 35697
2922.29/2929.91 c #Conflicts: 325000 | #Constraints: 36697
2922.29/2929.91 c #Conflicts: 326000 | #Constraints: 37697
2922.29/2929.91 c #Conflicts: 327000 | #Constraints: 38697
2922.29/2929.91 c #Conflicts: 328000 | #Constraints: 39697
2922.29/2929.91 c #Conflicts: 329000 | #Constraints: 40697
2922.29/2929.91 c #Conflicts: 330000 | #Constraints: 41697
2922.29/2929.91 c #Conflicts: 331000 | #Constraints: 42697
2922.29/2929.91 c #Conflicts: 332000 | #Constraints: 43697
2922.29/2929.91 c #Conflicts: 333000 | #Constraints: 44697
2922.29/2929.91 c INPROCESSING
2922.29/2929.91 c GARBAGE COLLECT
2922.29/2929.91 c #Conflicts: 334000 | #Constraints: 34416
2922.29/2929.91 c #Conflicts: 335000 | #Constraints: 35416
2922.29/2929.91 c #Conflicts: 336000 | #Constraints: 36416
2922.29/2929.91 c #Conflicts: 337000 | #Constraints: 37416
2922.29/2929.91 c #Conflicts: 338000 | #Constraints: 38416
2922.29/2929.91 c #Conflicts: 339000 | #Constraints: 39416
2922.29/2929.91 c #Conflicts: 340000 | #Constraints: 40416
2922.29/2929.91 c #Conflicts: 341000 | #Constraints: 41416
2922.29/2929.91 c #Conflicts: 342000 | #Constraints: 42416
2922.29/2929.91 c #Conflicts: 343000 | #Constraints: 43416
2922.29/2929.91 c #Conflicts: 344000 | #Constraints: 44416
2922.29/2929.91 c #Conflicts: 345000 | #Constraints: 45416
2922.29/2929.91 c INPROCESSING
2922.29/2929.91 c GARBAGE COLLECT
2922.29/2929.91 c #Conflicts: 346000 | #Constraints: 34743
2922.29/2929.91 c #Conflicts: 347000 | #Constraints: 35743
2922.29/2929.91 c #Conflicts: 348000 | #Constraints: 36743
2922.29/2929.91 c #Conflicts: 349000 | #Constraints: 37743
2922.29/2929.91 c #Conflicts: 350000 | #Constraints: 38743
2922.29/2929.91 c #Conflicts: 351000 | #Constraints: 39743
2922.29/2929.91 c #Conflicts: 352000 | #Constraints: 40743
2922.29/2929.91 c #Conflicts: 353000 | #Constraints: 41743
2922.29/2929.91 c #Conflicts: 354000 | #Constraints: 42743
2922.29/2929.91 c #Conflicts: 355000 | #Constraints: 43743
2922.29/2929.91 c #Conflicts: 356000 | #Constraints: 44743
2922.29/2929.91 c #Conflicts: 357000 | #Constraints: 45743
2922.29/2929.91 c INPROCESSING
2922.29/2929.91 c GARBAGE COLLECT
2922.29/2929.91 c #Conflicts: 358000 | #Constraints: 34885
2922.29/2929.91 c #Conflicts: 359000 | #Constraints: 35885
3600.08/3609.42 c #Conflicts: 360000 | #Constraints: 36885
3600.08/3609.42 c #Conflicts: 361000 | #Constraints: 37885
3600.08/3609.42 c #Conflicts: 362000 | #Constraints: 38885
3600.08/3609.42 c #Conflicts: 363000 | #Constraints: 39885
3600.08/3609.42 c #Conflicts: 364000 | #Constraints: 40885
3600.08/3609.42 c #Conflicts: 365000 | #Constraints: 41885
3600.08/3609.42 c #Conflicts: 366000 | #Constraints: 42885
3600.08/3609.42 c #Conflicts: 367000 | #Constraints: 43885
3600.08/3609.42 c #Conflicts: 368000 | #Constraints: 44885
3600.08/3609.42 c #Conflicts: 369000 | #Constraints: 45885
3600.08/3609.42 c INPROCESSING
3600.08/3609.42 c GARBAGE COLLECT
3600.08/3609.42 c #Conflicts: 370000 | #Constraints: 34927
3600.08/3609.42 c #Conflicts: 371000 | #Constraints: 35927
3600.08/3609.42 c #Conflicts: 372000 | #Constraints: 36927
3600.08/3609.42 c #Conflicts: 373000 | #Constraints: 37927
3600.08/3609.42 c #Conflicts: 374000 | #Constraints: 38927
3600.08/3609.42 c #Conflicts: 375000 | #Constraints: 39927
3600.08/3609.42 c #Conflicts: 376000 | #Constraints: 40927
3600.08/3609.42 c #Conflicts: 377000 | #Constraints: 41927
3600.08/3609.42 c #Conflicts: 378000 | #Constraints: 42927
3600.08/3609.42 c #Conflicts: 379000 | #Constraints: 43927
3600.08/3609.42 c #Conflicts: 380000 | #Constraints: 44927
3600.08/3609.42 c #Conflicts: 381000 | #Constraints: 45927
3600.08/3609.42 c INPROCESSING
3600.08/3609.42 c GARBAGE COLLECT
3600.08/3609.42 c #Conflicts: 382000 | #Constraints: 34672
3600.08/3609.42 c #Conflicts: 383000 | #Constraints: 35672
3600.08/3609.42 c #Conflicts: 384000 | #Constraints: 36672
3600.08/3609.42 c #Conflicts: 385000 | #Constraints: 37672
3600.08/3609.42 c #Conflicts: 386000 | #Constraints: 38672
3600.08/3609.42 c #Conflicts: 387000 | #Constraints: 39672
3600.08/3609.42 c #Conflicts: 388000 | #Constraints: 40672
3600.08/3609.42 c #Conflicts: 389000 | #Constraints: 41672
3600.08/3609.42 c #Conflicts: 390000 | #Constraints: 42672
3600.08/3609.42 c #Conflicts: 391000 | #Constraints: 43672
3600.08/3609.42 c #Conflicts: 392000 | #Constraints: 44672
3600.08/3609.42 c #Conflicts: 393000 | #Constraints: 45672
3600.08/3609.42 c #Conflicts: 394000 | #Constraints: 46672
3600.08/3609.42 c INPROCESSING
3600.08/3609.42 c GARBAGE COLLECT
3600.08/3609.42 c #Conflicts: 395000 | #Constraints: 35238
3600.08/3609.42 c #Conflicts: 396000 | #Constraints: 36238
3600.08/3609.42 c #Conflicts: 397000 | #Constraints: 37238
3600.08/3609.42 c #Conflicts: 398000 | #Constraints: 38238
3600.08/3609.42 c #Conflicts: 399000 | #Constraints: 39238
3600.08/3609.42 c #Conflicts: 400000 | #Constraints: 40238
3600.08/3609.42 c #Conflicts: 401000 | #Constraints: 41238
3600.08/3609.42 c #Conflicts: 402000 | #Constraints: 42238
3600.08/3609.42 c #Conflicts: 403000 | #Constraints: 43238
3600.08/3609.42 c Program interrupted by user.
3600.08/3609.42 c cpu time 3587.69 s
3600.08/3609.42 c deterministic time 372341221288 3.72e+11
3600.08/3609.42 c optimization time 144.081 s
3600.08/3609.42 c total solve time 3144.28 s
3600.08/3609.42 c core-guided solve time 3144.28 s
3600.08/3609.42 c propagation time 2553.07 s
3600.08/3609.42 c conflict analysis time 706.531 s
3600.08/3609.42 c propagations 414056629
3600.08/3609.42 c resolve steps 39854245
3600.08/3609.42 c decisions 10042358
3600.08/3609.42 c conflicts 403558
3600.08/3609.42 c restarts 986
3600.08/3609.42 c inprocessing phases 54
3600.08/3609.42 c input clauses 21269
3600.08/3609.42 c input cardinalities 47
3600.08/3609.42 c input general constraints 33
3600.08/3609.42 c input average constraint length 3.19
3600.08/3609.42 c input average constraint degree 1.27
3600.08/3609.42 c learned clauses 103694
3600.08/3609.42 c learned cardinalities 1157
3600.08/3609.42 c learned general constraints 298710
3600.08/3609.42 c learned average constraint length 1009.94
3600.08/3609.42 c learned average constraint degree 57260060.81
3600.08/3609.42 c watched constraints 246545
3600.08/3609.42 c counting constraints 52198
3600.08/3609.42 c gcd simplifications 1783
3600.08/3609.42 c detected cardinalities 7
3600.08/3609.42 c weakened non-implied lits 14006449
3600.08/3609.42 c weakened non-implying lits 76147
3600.08/3609.42 c original variables 6027
3600.08/3609.42 c clausal propagations 319299684
3600.08/3609.42 c cardinality propagations 812781
3600.08/3609.42 c watched propagations 12523243
3600.08/3609.42 c counting propagations 80790851
3600.08/3609.42 c watch lookups 49923193469
3600.08/3609.42 c watch backjump lookups 44244775077
3600.08/3609.42 c watch checks 243868335359
3600.08/3609.42 c propagation checks 31625167932
3600.08/3609.42 c constraint additions 1831151083
3600.08/3609.42 c trail pops 424499380
3600.08/3609.42 c formula constraints 21245
3600.08/3609.42 c learned constraints 403561
3600.08/3609.42 c bound constraints 14
3600.08/3609.42 c core-guided constraints 90
3600.08/3609.42 c encountered formula constraints 33428073
3600.08/3609.42 c encountered learned constraints 6761275
3600.08/3609.42 c encountered bound constraints 38
3600.08/3609.42 c encountered core-guided constraints 68417
3600.08/3609.42 c LP total time 0 s
3600.08/3609.42 c LP solve time 0 s
3600.08/3609.42 c LP constraints added 0
3600.08/3609.42 c LP constraints removed 0
3600.08/3609.42 c LP pivots internal 0
3600.08/3609.42 c LP pivots root 0
3600.08/3609.42 c LP calls 0
3600.08/3609.42 c LP optimalities 0
3600.08/3609.42 c LP no pivot count 0
3600.08/3609.42 c LP infeasibilities 0
3600.08/3609.42 c LP valid Farkas constraints 0
3600.08/3609.42 c LP learned Farkas constraints 0
3600.08/3609.42 c LP basis resets 0
3600.08/3609.42 c LP cycling count 0
3600.08/3609.42 c LP singular count 0
3600.08/3609.42 c LP no primal count 0
3600.08/3609.42 c LP no farkas count 0
3600.08/3609.42 c LP other issue count 0
3600.08/3609.42 c LP Gomory cuts 0
3600.08/3609.42 c LP learned cuts 0
3600.08/3609.42 c LP deleted cuts 0
3600.08/3609.42 c LP encountered Gomory constraints 0
3600.08/3609.42 c LP encountered Farkas constraints 0
3600.08/3609.42 c LP encountered learned Farkas constraints 0
3600.08/3609.42 c CG auxiliary variables introduced 33
3600.08/3609.42 c CG solutions found 3
3600.08/3609.42 c CG cores constructed 10
3600.08/3609.42 c CG core cardinality constraints returned 0
3600.08/3609.42 c CG unit cores 0
3600.08/3609.42 c CG single cores 10
3600.08/3609.42 c CG blocks removed during cardinality reduction 0
3600.08/3609.42 c CG first core best 0
3600.08/3609.42 c CG decision core best 0
3600.08/3609.42 c CG core reduction tie 0
3600.08/3609.42 c CG core degree average 1.00
3600.08/3609.42 c CG core slack average 65.80
3600.08/3609.42 c CG exhausted 1
3600.08/3609.42 c CG exhaust time 10.5206 s
3600.08/3609.42 c CG trimmed 1
3600.08/3609.42 c CG trim time 0.017714 s
3600.08/3609.42 c CG minimized 0
3600.08/3609.42 c CG minimize time 0 s
3600.08/3609.42 c CG am1 prop time 0.005526 s
3600.08/3609.42 c CG # am1s reformulated 0
3600.08/3609.42 c CG lower bound derived from am1s 0
3600.08/3609.42 c CG # clausal cores 10
3600.08/3609.42 c CG # cardinality cores 0
3600.08/3609.42 c CG # pb cores 0
3600.08/3609.42 c CG # pb reforms 0
3600.08/3609.42 c CG # cores discarded because of pb reform 0
3600.08/3609.42 d LOWERBOUND 11
3600.08/3609.42 d NCORES 10
3600.08/3609.42 d NPBCORES 0
3600.08/3609.42 d NPBREFORM 0
3600.08/3609.42 d NTRIMMED 1
3600.08/3609.42 d NEXHAUSTED 1
3600.08/3609.42 d NAM1S 0
3600.08/3609.42 d AM1LB 0
3600.08/3609.42 c [STEP] postprocessing with Papilo
3600.08/3609.42 o 21
3600.08/3609.42 s SATISFIABLE
3600.08/3609.42 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
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: 64059 MiB (62957 MiB free)
memory of node 1: 64510 MiB (63014 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435557-1721105435/watcher-4435557-1721105435 -o /tmp/evaluation-result-4435557-1721105435/solver-4435557-1721105435 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830111 --watchdog 3760 mixed-bag HOME/instance-4435557-1721105435.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=834115, runsolver pid=834112
[startup+0.100103 s]*
/proc/loadavg: 4.58 4.21 4.13 5/243 834116
/proc/meminfo: memFree=128990256/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=77528 memory=10864 CPUtime=0.1 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 1802 0 0 0 10 0 0 0 20 0 1 0 162702779 79388672 2716 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 19382 2716 1620 3002 0 3672 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77528 KiB
Current children cumulated memory: 10864 KiB
[startup+0.213165 s]*
/proc/loadavg: 4.58 4.21 4.13 5/243 834116
/proc/meminfo: memFree=128981224/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=100304 memory=32360 CPUtime=0.22 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 6937 0 0 0 20 2 0 0 20 0 1 0 162702779 102711296 8090 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 25112 8090 3308 3002 0 8863 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 100304 KiB
Current children cumulated memory: 32360 KiB
[startup+0.313069 s]*
/proc/loadavg: 4.58 4.21 4.13 5/243 834116
/proc/meminfo: memFree=128943116/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=134540 memory=66716 CPUtime=0.31 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 15166 0 0 0 27 4 0 0 20 0 1 0 162702779 137768960 16679 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 33635 16679 3740 3002 0 17386 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 134540 KiB
Current children cumulated memory: 66716 KiB
[startup+0.700367 s]
/proc/loadavg: 4.58 4.21 4.13 5/243 834116
/proc/meminfo: memFree=128928696/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=153584 memory=84712 CPUtime=0.69 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 20935 0 0 0 63 6 0 0 20 0 1 0 162702779 157270016 21178 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 38396 21178 3772 3002 0 22147 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 153584 KiB
Current children cumulated memory: 84712 KiB
[startup+1.50033 s]
/proc/loadavg: 4.58 4.21 4.13 5/243 834116
/proc/meminfo: memFree=128900192/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=229368 memory=151172 CPUtime=1.48 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 37308 0 0 0 140 8 0 0 20 0 1 0 162702779 234872832 37793 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 57342 37793 3994 3002 0 41093 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 229368 KiB
Current children cumulated memory: 151172 KiB
[startup+3.11267 s]
/proc/loadavg: 4.62 4.23 4.14 5/243 834162
/proc/meminfo: memFree=129110932/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=254540 memory=177988 CPUtime=3.09 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 44062 0 0 0 299 10 0 0 20 0 1 0 162702779 260648960 44497 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 63635 44497 4017 3002 0 47386 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 254540 KiB
Current children cumulated memory: 177988 KiB
[startup+6.30025 s]
/proc/loadavg: 4.62 4.23 4.14 5/243 834163
/proc/meminfo: memFree=128639000/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=295876 memory=208612 CPUtime=6.27 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 51710 0 0 0 615 12 0 0 20 0 1 0 162702779 302977024 52153 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 73969 52153 4017 3002 0 57720 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 295876 KiB
Current children cumulated memory: 208612 KiB
[startup+12.7002 s]
/proc/loadavg: 4.65 4.24 4.14 5/243 834209
/proc/meminfo: memFree=127958300/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=354860 memory=257620 CPUtime=12.65 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 64024 0 0 0 1250 15 0 0 20 0 1 0 162702779 363376640 64405 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 88715 64405 4017 3002 0 72466 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 354860 KiB
Current children cumulated memory: 257620 KiB
[startup+25.5003 s]
/proc/loadavg: 4.81 4.29 4.16 5/243 834212
/proc/meminfo: memFree=127863328/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=358144 memory=263084 CPUtime=25.4 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 65416 0 0 0 2524 16 0 0 20 0 1 0 162702779 366739456 65771 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 89536 65771 4017 3002 0 73287 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 358144 KiB
Current children cumulated memory: 263084 KiB
[startup+51.1126 s]
/proc/loadavg: 4.71 4.32 4.18 5/243 834261
/proc/meminfo: memFree=127564436/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=358144 memory=263344 CPUtime=50.93 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 65443 0 0 0 5075 18 0 0 20 0 1 0 162702779 366739456 65836 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 89536 65836 4017 3002 0 73287 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 358144 KiB
Current children cumulated memory: 263344 KiB
[startup+102.3 s]
/proc/loadavg: 4.31 4.27 4.17 5/243 834271
/proc/meminfo: memFree=127432360/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=358144 memory=266916 CPUtime=101.98 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 65710 0 0 0 10179 19 0 0 20 0 1 0 162702779 366739456 66729 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 89536 66729 4033 3002 0 73287 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 358144 KiB
Current children cumulated memory: 266916 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.23 4.16 5/243 834281
/proc/meminfo: memFree=127424040/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=358144 memory=273048 CPUtime=161.81 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 65871 0 0 0 16162 19 0 0 20 0 1 0 162702779 366739456 68262 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 89536 68262 4033 3002 0 73287 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 358144 KiB
Current children cumulated memory: 273048 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.23 4.17 5/243 834292
/proc/meminfo: memFree=127392748/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=358144 memory=294532 CPUtime=221.65 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 66046 0 0 0 22146 19 0 0 20 0 1 0 162702779 366739456 73633 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 89536 73633 4033 3002 0 73287 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 358144 KiB
Current children cumulated memory: 294532 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.20 4.16 5/243 834302
/proc/meminfo: memFree=127376336/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=358144 memory=294532 CPUtime=281.49 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 66233 0 0 0 28130 19 0 0 20 0 1 0 162702779 366739456 73633 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 89536 73633 4033 3002 0 73287 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 358144 KiB
Current children cumulated memory: 294532 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.19 4.16 5/243 834696
/proc/meminfo: memFree=127239316/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=372944 memory=310708 CPUtime=341.34 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 68772 0 0 0 34038 96 0 0 20 0 1 0 162702779 381894656 77677 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 93236 77677 4176 3002 0 76987 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 372944 KiB
Current children cumulated memory: 310708 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.17 4.15 5/243 834706
/proc/meminfo: memFree=127092832/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=372944 memory=316852 CPUtime=401.19 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 68831 0 0 0 39949 170 0 0 20 0 1 0 162702779 381894656 79213 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 93236 79213 4176 3002 0 76987 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 372944 KiB
Current children cumulated memory: 316852 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.15 4.15 5/243 834716
/proc/meminfo: memFree=127030584/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=391912 memory=335452 CPUtime=461.05 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 69458 0 0 0 45900 205 0 0 20 0 1 0 162702779 401317888 83863 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 97978 83863 4176 3002 0 81729 0
################
# More data... #
################
Current children cumulated memory: 394000 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/241 835941
/proc/meminfo: memFree=126235872/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=472820 memory=394000 CPUtime=2854.87 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 73969 0 0 0 284419 1068 0 0 20 0 1 0 162702779 484167680 98500 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 118205 98500 4176 3002 0 101956 0
Current children cumulated CPU time: 2854.87 s
Current children cumulated vsize: 472820 KiB
Current children cumulated memory: 394000 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/241 835952
/proc/meminfo: memFree=126233512/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=472820 memory=396048 CPUtime=2914.71 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 74101 0 0 0 290393 1078 0 0 20 0 1 0 162702779 484167680 99012 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 118205 99012 4176 3002 0 101956 0
Current children cumulated CPU time: 2914.71 s
Current children cumulated vsize: 472820 KiB
Current children cumulated memory: 396048 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/241 835962
/proc/meminfo: memFree=126233252/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=472820 memory=396048 CPUtime=2974.57 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 74213 0 0 0 296358 1099 0 0 20 0 1 0 162702779 484167680 99012 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 118205 99012 4176 3002 0 101956 0
Current children cumulated CPU time: 2974.57 s
Current children cumulated vsize: 472820 KiB
Current children cumulated memory: 396048 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.12 4.16 5/244 835977
/proc/meminfo: memFree=126220872/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=472820 memory=408336 CPUtime=3034.41 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 74360 0 0 0 302333 1108 0 0 20 0 1 0 162702779 484167680 102084 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 118205 102084 4176 3002 0 101956 0
Current children cumulated CPU time: 3034.41 s
Current children cumulated vsize: 472820 KiB
Current children cumulated memory: 408336 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/244 835988
/proc/meminfo: memFree=126187824/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=554208 memory=439056 CPUtime=3094.26 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 75034 0 0 0 308305 1121 0 0 20 0 1 0 162702779 567508992 109764 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 138552 109764 4176 3002 0 122303 0
Current children cumulated CPU time: 3094.26 s
Current children cumulated vsize: 554208 KiB
Current children cumulated memory: 439056 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.10 4.15 5/244 835998
/proc/meminfo: memFree=126162824/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=554208 memory=441104 CPUtime=3154.11 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 75160 0 0 0 314273 1138 0 0 20 0 1 0 162702779 567508992 110276 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 138552 110276 4176 3002 0 122303 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 554208 KiB
Current children cumulated memory: 441104 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.14 4.16 5/244 836009
/proc/meminfo: memFree=126162500/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=554208 memory=441104 CPUtime=3213.95 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 75317 0 0 0 320244 1151 0 0 20 0 1 0 162702779 567508992 110276 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 138552 110276 4176 3002 0 122303 0
Current children cumulated CPU time: 3213.95 s
Current children cumulated vsize: 554208 KiB
Current children cumulated memory: 441104 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/245 836020
/proc/meminfo: memFree=126139412/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=554208 memory=449296 CPUtime=3273.8 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 75489 0 0 0 326213 1167 0 0 20 0 1 0 162702779 567508992 112324 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 138552 112324 4176 3002 0 122303 0
Current children cumulated CPU time: 3273.8 s
Current children cumulated vsize: 554208 KiB
Current children cumulated memory: 449296 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/242 836031
/proc/meminfo: memFree=126139160/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=554208 memory=449296 CPUtime=3333.64 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 75621 0 0 0 332178 1186 0 0 20 0 1 0 162702779 567508992 112324 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 138552 112324 4176 3002 0 122303 0
Current children cumulated CPU time: 3333.64 s
Current children cumulated vsize: 554208 KiB
Current children cumulated memory: 449296 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/242 836041
/proc/meminfo: memFree=126138900/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=554208 memory=449296 CPUtime=3393.49 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 75786 0 0 0 338152 1197 0 0 20 0 1 0 162702779 567508992 112324 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 138552 112324 4176 3002 0 122303 0
Current children cumulated CPU time: 3393.49 s
Current children cumulated vsize: 554208 KiB
Current children cumulated memory: 449296 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.14 5/242 836051
/proc/meminfo: memFree=126102364/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=554208 memory=467728 CPUtime=3453.35 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 75975 0 0 0 344128 1207 0 0 20 0 1 0 162702779 567508992 116932 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 138552 116932 4176 3002 0 122303 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 554208 KiB
Current children cumulated memory: 467728 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/242 836062
/proc/meminfo: memFree=126095976/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=554208 memory=473872 CPUtime=3513.2 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 76106 0 0 0 350092 1228 0 0 20 0 1 0 162702779 567508992 118468 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 138552 118468 4176 3002 0 122303 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 554208 KiB
Current children cumulated memory: 473872 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/241 836072
/proc/meminfo: memFree=126095696/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=554208 memory=473872 CPUtime=3573.05 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 76273 0 0 0 356067 1238 0 0 20 0 1 0 162702779 567508992 118468 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 138552 118468 4176 3002 0 122303 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 554208 KiB
Current children cumulated memory: 473872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.23 4.14 4.14 5/243 836081
/proc/meminfo: memFree=126072964/131655788 swapFree=131071996/131071996
[pid=834115] ppid=834112 vsize=554208 memory=473872 CPUtime=3600.08 cores=5,7
/proc/834115/stat : 834115 (mixed-bag) R 834112 834115 830098 0 -1 4194304 76370 0 0 0 358767 1241 0 0 20 0 1 0 162702779 567508992 118468 134679101440 4194304 16487941 140727915095472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 35688448 140727915099159 140727915099236 140727915099236 140727915106251 0
/proc/834115/statm: 138552 118468 4176 3002 0 122303 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 554208 KiB
Current children cumulated memory: 473872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.43 s]
# the end of solver process 834115 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.7 s, system=12.4216 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.43
CPU time (s): 3600.12
CPU user time (s): 3587.7
CPU system time (s): 12.4216
CPU usage (%): 99.7421
Max. virtual memory (cumulated for all children) (KiB): 554208
Max. memory (cumulated for all children) (KiB): 473872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.7
system time used= 12.4216
maximum resident set size= 474660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76391
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= 81
involuntary context switches= 1253
# summary of solver processes directly reported to runsolver:
# pid: 834115
# total CPU time (s): 3600.12
# total CPU user time (s): 3587.7
# total CPU system time (s): 12.4216
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4147 second user time and 33.4694 second system time
The end
Begin job on nodeC010 at 2024-07-16 06:50:47
IDJOB=4435557
IDBENCH=148185
IDSOLVER=3066
FILE ID=nodeC010/4435557-1721105435
RUNJOBID= nodeC010-1721098226-830111
SLURM_JOB_ID= 7505613
Free space on /tmp= 723732 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435557-1721105435/watcher-4435557-1721105435 -o /tmp/evaluation-result-4435557-1721105435/solver-4435557-1721105435 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830111 --watchdog 3760 mixed-bag HOME/instance-4435557-1721105435.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=1251765061
nodeC010.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 : 0xb00001f
cpu MHz : 3657.615
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3663.827
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.366
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.206
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3659.759
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1392.035
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.368
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.179
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128995528 kB
MemAvailable: 129389544 kB
Buffers: 397292 kB
Cached: 840048 kB
SwapCached: 0 kB
Active: 733224 kB
Inactive: 1405076 kB
Active(anon): 1440 kB
Inactive(anon): 937216 kB
Active(file): 731784 kB
Inactive(file): 467860 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17004 kB
Writeback: 0 kB
AnonPages: 898028 kB
Mapped: 139176 kB
Shmem: 37704 kB
KReclaimable: 68808 kB
Slab: 161824 kB
SReclaimable: 68808 kB
SUnreclaim: 93016 kB
KernelStack: 3904 kB
PageTables: 11320 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1433088 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 763904 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: 187208 kB
DirectMap2M: 18591744 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 723712 MiB
End job on nodeC010 at 2024-07-16 07:50:56