0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.06 c [STEP] preprocessing with Papilo
0.00/0.08 c [STEP] solving with SCIP
299.23/300.27 c [STEP] preprocessing done, loading into solver
299.33/300.31 c [STEP] solving
299.33/300.31 c #variables 6014 #constraints 21245
299.33/300.31 c SMALL=int, LARGE=long long
299.33/300.31 d SCIPUB 19
299.33/300.31 c bounds - >= 0 @ 299.216
299.33/300.31 c stratification level: 0
299.33/300.33 c bounds - >= 1 @ 299.224
299.33/300.33 c bounds - >= 2 @ 299.225
299.33/300.33 c bounds - >= 3 @ 299.226
299.33/300.33 c bounds - >= 4 @ 299.228
299.33/300.33 c bounds - >= 5 @ 299.228
299.33/300.33 c bounds - >= 6 @ 299.229
299.33/300.33 c finalizing WCE round: reformulating cores
399.33/400.63 c #Conflicts: 1000 | #Constraints: 22260
399.33/400.63 c #Conflicts: 2000 | #Constraints: 23262
399.33/400.63 c INPROCESSING
399.33/400.63 c GARBAGE COLLECT
399.33/400.63 c #Conflicts: 3000 | #Constraints: 23270
399.33/400.63 c #Conflicts: 4000 | #Constraints: 24272
399.33/400.63 c INPROCESSING
399.33/400.63 c GARBAGE COLLECT
399.33/400.63 c #Conflicts: 5000 | #Constraints: 23682
399.33/400.63 c bounds 18 >= 6 @ 302.287
399.33/400.63 c bounds 18 >= 7 @ 302.329
399.33/400.63 c bounds 18 >= 8 @ 302.366
399.33/400.63 c #Conflicts: 6000 | #Constraints: 24705
399.33/400.63 c INPROCESSING
399.33/400.63 c GARBAGE COLLECT
399.33/400.63 c #Conflicts: 7000 | #Constraints: 23701
399.33/400.63 c #Conflicts: 8000 | #Constraints: 24701
399.33/400.63 c #Conflicts: 9000 | #Constraints: 25701
399.33/400.63 c INPROCESSING
399.33/400.63 c GARBAGE COLLECT
399.33/400.63 c #Conflicts: 10000 | #Constraints: 24408
399.33/400.63 c #Conflicts: 11000 | #Constraints: 25408
399.33/400.63 c #Conflicts: 12000 | #Constraints: 26408
399.33/400.63 c INPROCESSING
399.33/400.63 c GARBAGE COLLECT
399.33/400.63 c #Conflicts: 13000 | #Constraints: 24890
399.33/400.63 c #Conflicts: 14000 | #Constraints: 25890
399.33/400.63 c #Conflicts: 15000 | #Constraints: 26890
399.33/400.63 c INPROCESSING
399.33/400.63 c GARBAGE COLLECT
399.33/400.63 c #Conflicts: 16000 | #Constraints: 25141
399.33/400.63 c #Conflicts: 17000 | #Constraints: 26141
399.33/400.63 c #Conflicts: 18000 | #Constraints: 27141
399.33/400.63 c INPROCESSING
399.33/400.63 c GARBAGE COLLECT
399.33/400.63 c #Conflicts: 19000 | #Constraints: 25188
399.33/400.63 c #Conflicts: 20000 | #Constraints: 26188
399.33/400.63 c #Conflicts: 21000 | #Constraints: 27188
399.33/400.63 c INPROCESSING
399.33/400.63 c GARBAGE COLLECT
399.33/400.63 c #Conflicts: 22000 | #Constraints: 25013
399.33/400.63 c #Conflicts: 23000 | #Constraints: 26013
399.33/400.63 c #Conflicts: 24000 | #Constraints: 27013
399.33/400.63 c #Conflicts: 25000 | #Constraints: 28013
399.33/400.63 c INPROCESSING
399.33/400.63 c GARBAGE COLLECT
399.33/400.63 c #Conflicts: 26000 | #Constraints: 25654
399.33/400.63 c #Conflicts: 27000 | #Constraints: 26654
399.33/400.63 c #Conflicts: 28000 | #Constraints: 27654
399.33/400.63 c #Conflicts: 29000 | #Constraints: 28654
399.33/400.63 c INPROCESSING
399.33/400.63 c GARBAGE COLLECT
399.33/400.63 c #Conflicts: 30000 | #Constraints: 26051
399.33/400.63 c #Conflicts: 31000 | #Constraints: 27051
399.33/400.63 c #Conflicts: 32000 | #Constraints: 28051
399.33/400.63 c #Conflicts: 33000 | #Constraints: 29051
399.33/400.63 c INPROCESSING
399.33/400.63 c GARBAGE COLLECT
399.33/400.63 c #Conflicts: 34000 | #Constraints: 26281
399.33/400.63 c #Conflicts: 35000 | #Constraints: 27281
399.33/400.63 c #Conflicts: 36000 | #Constraints: 28281
399.33/400.63 c #Conflicts: 37000 | #Constraints: 29281
399.33/400.63 c INPROCESSING
399.33/400.63 c GARBAGE COLLECT
399.33/400.63 c #Conflicts: 38000 | #Constraints: 26306
399.33/400.63 c #Conflicts: 39000 | #Constraints: 27306
399.33/400.63 c #Conflicts: 40000 | #Constraints: 28306
399.33/400.63 c #Conflicts: 41000 | #Constraints: 29306
399.33/400.63 c INPROCESSING
399.33/400.63 c GARBAGE COLLECT
399.33/400.63 c #Conflicts: 42000 | #Constraints: 26170
399.33/400.63 c #Conflicts: 43000 | #Constraints: 27170
399.33/400.63 c #Conflicts: 44000 | #Constraints: 28170
399.33/400.63 c #Conflicts: 45000 | #Constraints: 29170
399.33/400.63 c #Conflicts: 46000 | #Constraints: 30170
399.33/400.63 c INPROCESSING
399.33/400.63 c GARBAGE COLLECT
399.33/400.63 c #Conflicts: 47000 | #Constraints: 26813
399.33/400.63 c #Conflicts: 48000 | #Constraints: 27813
399.33/400.63 c finalizing WCE round: reformulating cores
527.24/528.98 c #Conflicts: 49000 | #Constraints: 28818
527.24/528.98 c bounds 17 >= 8 @ 399.929
527.24/528.98 c bounds 17 >= 9 @ 403.137
527.24/528.98 c #Conflicts: 50000 | #Constraints: 29821
527.24/528.98 c #Conflicts: 51000 | #Constraints: 30821
527.24/528.98 c INPROCESSING
527.24/528.98 c GARBAGE COLLECT
527.24/528.98 c #Conflicts: 52000 | #Constraints: 27213
527.24/528.98 c bounds 17 >= 10 @ 412.864
527.24/528.98 c #Conflicts: 53000 | #Constraints: 28238
527.24/528.98 c #Conflicts: 54000 | #Constraints: 29238
527.24/528.98 c #Conflicts: 55000 | #Constraints: 30238
527.24/528.98 c #Conflicts: 56000 | #Constraints: 31238
527.24/528.98 c INPROCESSING
527.24/528.98 c GARBAGE COLLECT
527.24/528.98 c #Conflicts: 57000 | #Constraints: 27418
527.24/528.98 c #Conflicts: 58000 | #Constraints: 28418
527.24/528.98 c #Conflicts: 59000 | #Constraints: 29418
527.24/528.98 c #Conflicts: 60000 | #Constraints: 30418
527.24/528.98 c #Conflicts: 61000 | #Constraints: 31418
527.24/528.98 c INPROCESSING
527.24/528.98 c GARBAGE COLLECT
527.24/528.98 c #Conflicts: 62000 | #Constraints: 27424
527.24/528.98 c #Conflicts: 63000 | #Constraints: 28424
527.24/528.98 c #Conflicts: 64000 | #Constraints: 29424
527.24/528.98 c #Conflicts: 65000 | #Constraints: 30424
527.24/528.98 c #Conflicts: 66000 | #Constraints: 31424
527.24/528.98 c finalizing WCE round: reformulating cores
887.61/890.47 c INPROCESSING
887.61/890.47 c GARBAGE COLLECT
887.61/890.47 c #Conflicts: 67000 | #Constraints: 27242
887.61/890.47 c bounds 16 >= 10 @ 527.341
887.61/890.47 c #Conflicts: 68000 | #Constraints: 28242
887.61/890.47 c #Conflicts: 69000 | #Constraints: 29242
887.61/890.47 c #Conflicts: 70000 | #Constraints: 30242
887.61/890.47 c #Conflicts: 71000 | #Constraints: 31242
887.61/890.47 c #Conflicts: 72000 | #Constraints: 32242
887.61/890.47 c INPROCESSING
887.61/890.47 c GARBAGE COLLECT
887.61/890.47 c #Conflicts: 73000 | #Constraints: 27857
887.61/890.47 c #Conflicts: 74000 | #Constraints: 28857
887.61/890.47 c bounds 16 >= 11 @ 573.784
887.61/890.47 c #Conflicts: 75000 | #Constraints: 29882
887.61/890.47 c #Conflicts: 76000 | #Constraints: 30882
887.61/890.47 c #Conflicts: 77000 | #Constraints: 31882
887.61/890.47 c #Conflicts: 78000 | #Constraints: 32882
887.61/890.47 c INPROCESSING
887.61/890.47 c GARBAGE COLLECT
887.61/890.47 c #Conflicts: 79000 | #Constraints: 28304
887.61/890.47 c #Conflicts: 80000 | #Constraints: 29304
887.61/890.47 c #Conflicts: 81000 | #Constraints: 30304
887.61/890.47 c #Conflicts: 82000 | #Constraints: 31304
887.61/890.47 c #Conflicts: 83000 | #Constraints: 32304
887.61/890.47 c #Conflicts: 84000 | #Constraints: 33304
887.61/890.47 c INPROCESSING
887.61/890.47 c GARBAGE COLLECT
887.61/890.47 c #Conflicts: 85000 | #Constraints: 28556
887.61/890.47 c #Conflicts: 86000 | #Constraints: 29556
887.61/890.47 c #Conflicts: 87000 | #Constraints: 30556
887.61/890.47 c #Conflicts: 88000 | #Constraints: 31556
887.61/890.47 c #Conflicts: 89000 | #Constraints: 32556
887.61/890.47 c #Conflicts: 90000 | #Constraints: 33556
887.61/890.47 c INPROCESSING
887.61/890.47 c GARBAGE COLLECT
887.61/890.47 c #Conflicts: 91000 | #Constraints: 28563
887.61/890.47 c #Conflicts: 92000 | #Constraints: 29563
887.61/890.47 c #Conflicts: 93000 | #Constraints: 30563
887.61/890.47 c #Conflicts: 94000 | #Constraints: 31563
887.61/890.47 c #Conflicts: 95000 | #Constraints: 32563
887.61/890.47 c #Conflicts: 96000 | #Constraints: 33563
887.61/890.47 c INPROCESSING
887.61/890.47 c GARBAGE COLLECT
887.61/890.47 c #Conflicts: 97000 | #Constraints: 28336
887.61/890.47 c #Conflicts: 98000 | #Constraints: 29336
887.61/890.47 c #Conflicts: 99000 | #Constraints: 30336
887.61/890.47 c #Conflicts: 100000 | #Constraints: 31336
887.61/890.47 c #Conflicts: 101000 | #Constraints: 32336
887.61/890.47 c #Conflicts: 102000 | #Constraints: 33336
887.61/890.47 c #Conflicts: 103000 | #Constraints: 34336
887.61/890.47 c INPROCESSING
887.61/890.47 c GARBAGE COLLECT
887.61/890.47 c #Conflicts: 104000 | #Constraints: 28964
887.61/890.47 c #Conflicts: 105000 | #Constraints: 29964
887.61/890.47 c #Conflicts: 106000 | #Constraints: 30964
887.61/890.47 c #Conflicts: 107000 | #Constraints: 31964
887.61/890.47 c #Conflicts: 108000 | #Constraints: 32964
887.61/890.47 c #Conflicts: 109000 | #Constraints: 33964
887.61/890.47 c #Conflicts: 110000 | #Constraints: 34964
887.61/890.47 c INPROCESSING
887.61/890.47 c GARBAGE COLLECT
887.61/890.47 c #Conflicts: 111000 | #Constraints: 29418
887.61/890.47 c #Conflicts: 112000 | #Constraints: 30418
887.61/890.47 c #Conflicts: 113000 | #Constraints: 31418
887.61/890.47 c #Conflicts: 114000 | #Constraints: 32418
887.61/890.47 c #Conflicts: 115000 | #Constraints: 33418
887.61/890.47 c #Conflicts: 116000 | #Constraints: 34418
887.61/890.47 c #Conflicts: 117000 | #Constraints: 35418
887.61/890.47 c INPROCESSING
887.61/890.47 c GARBAGE COLLECT
887.61/890.47 c #Conflicts: 118000 | #Constraints: 29597
887.61/890.47 c #Conflicts: 119000 | #Constraints: 30597
887.61/890.47 c #Conflicts: 120000 | #Constraints: 31597
887.61/890.47 c #Conflicts: 121000 | #Constraints: 32597
887.61/890.47 c #Conflicts: 122000 | #Constraints: 33597
887.61/890.47 c #Conflicts: 123000 | #Constraints: 34597
887.61/890.47 c #Conflicts: 124000 | #Constraints: 35597
887.61/890.47 c INPROCESSING
887.61/890.47 c GARBAGE COLLECT
887.61/890.47 c #Conflicts: 125000 | #Constraints: 29600
887.61/890.47 c #Conflicts: 126000 | #Constraints: 30600
887.61/890.47 c #Conflicts: 127000 | #Constraints: 31600
887.61/890.47 c #Conflicts: 128000 | #Constraints: 32600
887.61/890.47 c #Conflicts: 129000 | #Constraints: 33600
887.61/890.47 c #Conflicts: 130000 | #Constraints: 34600
887.61/890.47 c #Conflicts: 131000 | #Constraints: 35600
887.61/890.47 c INPROCESSING
887.61/890.47 c GARBAGE COLLECT
887.61/890.47 c #Conflicts: 132000 | #Constraints: 29408
887.61/890.47 c #Conflicts: 133000 | #Constraints: 30408
887.61/890.47 c #Conflicts: 134000 | #Constraints: 31408
887.61/890.47 c #Conflicts: 135000 | #Constraints: 32408
887.61/890.47 c #Conflicts: 136000 | #Constraints: 33408
887.61/890.47 c #Conflicts: 137000 | #Constraints: 34408
1473.02/1477.71 c #Conflicts: 138000 | #Constraints: 35408
1473.02/1477.71 c #Conflicts: 139000 | #Constraints: 36408
1473.02/1477.71 c INPROCESSING
1473.02/1477.71 c GARBAGE COLLECT
1473.02/1477.71 c #Conflicts: 140000 | #Constraints: 30048
1473.02/1477.71 c #Conflicts: 141000 | #Constraints: 31048
1473.02/1477.71 c #Conflicts: 142000 | #Constraints: 32048
1473.02/1477.71 c #Conflicts: 143000 | #Constraints: 33048
1473.02/1477.71 c #Conflicts: 144000 | #Constraints: 34048
1473.02/1477.71 c #Conflicts: 145000 | #Constraints: 35048
1473.02/1477.71 c #Conflicts: 146000 | #Constraints: 36048
1473.02/1477.71 c #Conflicts: 147000 | #Constraints: 37048
1473.02/1477.71 c INPROCESSING
1473.02/1477.71 c GARBAGE COLLECT
1473.02/1477.71 c #Conflicts: 148000 | #Constraints: 30481
1473.02/1477.71 c #Conflicts: 149000 | #Constraints: 31481
1473.02/1477.71 c #Conflicts: 150000 | #Constraints: 32481
1473.02/1477.71 c #Conflicts: 151000 | #Constraints: 33481
1473.02/1477.71 c #Conflicts: 152000 | #Constraints: 34481
1473.02/1477.71 c #Conflicts: 153000 | #Constraints: 35481
1473.02/1477.71 c #Conflicts: 154000 | #Constraints: 36481
1473.02/1477.71 c #Conflicts: 155000 | #Constraints: 37481
1473.02/1477.71 c INPROCESSING
1473.02/1477.71 c GARBAGE COLLECT
1473.02/1477.71 c #Conflicts: 156000 | #Constraints: 30707
1473.02/1477.71 c #Conflicts: 157000 | #Constraints: 31707
1473.02/1477.71 c #Conflicts: 158000 | #Constraints: 32707
1473.02/1477.71 c #Conflicts: 159000 | #Constraints: 33707
1473.02/1477.71 c #Conflicts: 160000 | #Constraints: 34707
1473.02/1477.71 c #Conflicts: 161000 | #Constraints: 35707
1473.02/1477.71 c #Conflicts: 162000 | #Constraints: 36707
1473.02/1477.71 c #Conflicts: 163000 | #Constraints: 37707
1473.02/1477.71 c INPROCESSING
1473.02/1477.71 c GARBAGE COLLECT
1473.02/1477.71 c #Conflicts: 164000 | #Constraints: 30706
1473.02/1477.71 c #Conflicts: 165000 | #Constraints: 31706
1473.02/1477.71 c #Conflicts: 166000 | #Constraints: 32706
1473.02/1477.71 c #Conflicts: 167000 | #Constraints: 33706
1473.02/1477.71 c #Conflicts: 168000 | #Constraints: 34706
1473.02/1477.71 c #Conflicts: 169000 | #Constraints: 35706
1473.02/1477.71 c #Conflicts: 170000 | #Constraints: 36706
1473.02/1477.71 c #Conflicts: 171000 | #Constraints: 37706
1473.02/1477.71 c INPROCESSING
1473.02/1477.71 c GARBAGE COLLECT
1473.02/1477.71 c #Conflicts: 172000 | #Constraints: 30499
1473.02/1477.71 c #Conflicts: 173000 | #Constraints: 31499
1473.02/1477.71 c #Conflicts: 174000 | #Constraints: 32499
1473.02/1477.71 c #Conflicts: 175000 | #Constraints: 33499
1473.02/1477.71 c #Conflicts: 176000 | #Constraints: 34499
1473.02/1477.71 c #Conflicts: 177000 | #Constraints: 35499
1473.02/1477.71 c #Conflicts: 178000 | #Constraints: 36499
1473.02/1477.71 c #Conflicts: 179000 | #Constraints: 37499
1473.02/1477.71 c #Conflicts: 180000 | #Constraints: 38499
1473.02/1477.71 c INPROCESSING
1473.02/1477.71 c GARBAGE COLLECT
1473.02/1477.71 c #Conflicts: 181000 | #Constraints: 31114
1473.02/1477.71 c #Conflicts: 182000 | #Constraints: 32114
1473.02/1477.71 c #Conflicts: 183000 | #Constraints: 33114
1473.02/1477.71 c #Conflicts: 184000 | #Constraints: 34114
1473.02/1477.71 c #Conflicts: 185000 | #Constraints: 35114
1473.02/1477.71 c #Conflicts: 186000 | #Constraints: 36114
1473.02/1477.71 c #Conflicts: 187000 | #Constraints: 37114
1473.02/1477.71 c #Conflicts: 188000 | #Constraints: 38114
1473.02/1477.71 c #Conflicts: 189000 | #Constraints: 39114
1473.02/1477.71 c INPROCESSING
1473.02/1477.71 c GARBAGE COLLECT
1473.02/1477.71 c #Conflicts: 190000 | #Constraints: 31544
1473.02/1477.71 c #Conflicts: 191000 | #Constraints: 32544
1473.02/1477.71 c #Conflicts: 192000 | #Constraints: 33544
1473.02/1477.71 c #Conflicts: 193000 | #Constraints: 34544
1473.02/1477.71 c #Conflicts: 194000 | #Constraints: 35544
1473.02/1477.71 c #Conflicts: 195000 | #Constraints: 36544
1473.02/1477.71 c #Conflicts: 196000 | #Constraints: 37544
1473.02/1477.71 c #Conflicts: 197000 | #Constraints: 38544
1473.02/1477.71 c #Conflicts: 198000 | #Constraints: 39544
1473.02/1477.71 c INPROCESSING
1473.02/1477.71 c GARBAGE COLLECT
1473.02/1477.71 c #Conflicts: 199000 | #Constraints: 31744
1473.02/1477.71 c #Conflicts: 200000 | #Constraints: 32744
1473.02/1477.71 c #Conflicts: 201000 | #Constraints: 33744
1473.02/1477.71 c #Conflicts: 202000 | #Constraints: 34744
1473.02/1477.71 c #Conflicts: 203000 | #Constraints: 35744
1473.02/1477.71 c #Conflicts: 204000 | #Constraints: 36744
1473.02/1477.71 c #Conflicts: 205000 | #Constraints: 37744
1473.02/1477.71 c #Conflicts: 206000 | #Constraints: 38744
1473.02/1477.71 c #Conflicts: 207000 | #Constraints: 39744
1473.02/1477.71 c INPROCESSING
1473.02/1477.71 c GARBAGE COLLECT
1473.02/1477.71 c #Conflicts: 208000 | #Constraints: 31804
1473.02/1477.71 c #Conflicts: 209000 | #Constraints: 32804
1473.02/1477.71 c #Conflicts: 210000 | #Constraints: 33804
2173.85/2180.82 c #Conflicts: 211000 | #Constraints: 34804
2173.85/2180.82 c #Conflicts: 212000 | #Constraints: 35804
2173.85/2180.82 c #Conflicts: 213000 | #Constraints: 36804
2173.85/2180.82 c #Conflicts: 214000 | #Constraints: 37804
2173.85/2180.82 c #Conflicts: 215000 | #Constraints: 38804
2173.85/2180.82 c #Conflicts: 216000 | #Constraints: 39804
2173.85/2180.82 c INPROCESSING
2173.85/2180.82 c GARBAGE COLLECT
2173.85/2180.82 c #Conflicts: 217000 | #Constraints: 31613
2173.85/2180.82 c #Conflicts: 218000 | #Constraints: 32613
2173.85/2180.82 c #Conflicts: 219000 | #Constraints: 33613
2173.85/2180.82 c #Conflicts: 220000 | #Constraints: 34613
2173.85/2180.82 c #Conflicts: 221000 | #Constraints: 35613
2173.85/2180.82 c #Conflicts: 222000 | #Constraints: 36613
2173.85/2180.82 c #Conflicts: 223000 | #Constraints: 37613
2173.85/2180.82 c #Conflicts: 224000 | #Constraints: 38613
2173.85/2180.82 c #Conflicts: 225000 | #Constraints: 39613
2173.85/2180.82 c #Conflicts: 226000 | #Constraints: 40613
2173.85/2180.82 c INPROCESSING
2173.85/2180.82 c GARBAGE COLLECT
2173.85/2180.82 c #Conflicts: 227000 | #Constraints: 32268
2173.85/2180.82 c #Conflicts: 228000 | #Constraints: 33268
2173.85/2180.82 c #Conflicts: 229000 | #Constraints: 34268
2173.85/2180.82 c #Conflicts: 230000 | #Constraints: 35268
2173.85/2180.82 c #Conflicts: 231000 | #Constraints: 36268
2173.85/2180.82 c #Conflicts: 232000 | #Constraints: 37268
2173.85/2180.82 c #Conflicts: 233000 | #Constraints: 38268
2173.85/2180.82 c #Conflicts: 234000 | #Constraints: 39268
2173.85/2180.82 c #Conflicts: 235000 | #Constraints: 40268
2173.85/2180.82 c #Conflicts: 236000 | #Constraints: 41268
2173.85/2180.82 c INPROCESSING
2173.85/2180.82 c GARBAGE COLLECT
2173.85/2180.82 c #Conflicts: 237000 | #Constraints: 32678
2173.85/2180.82 c #Conflicts: 238000 | #Constraints: 33678
2173.85/2180.82 c #Conflicts: 239000 | #Constraints: 34678
2173.85/2180.82 c #Conflicts: 240000 | #Constraints: 35678
2173.85/2180.82 c #Conflicts: 241000 | #Constraints: 36678
2173.85/2180.82 c #Conflicts: 242000 | #Constraints: 37678
2173.85/2180.82 c #Conflicts: 243000 | #Constraints: 38678
2173.85/2180.82 c #Conflicts: 244000 | #Constraints: 39678
2173.85/2180.82 c #Conflicts: 245000 | #Constraints: 40678
2173.85/2180.82 c #Conflicts: 246000 | #Constraints: 41678
2173.85/2180.82 c INPROCESSING
2173.85/2180.82 c GARBAGE COLLECT
2173.85/2180.82 c #Conflicts: 247000 | #Constraints: 32758
2173.85/2180.82 c #Conflicts: 248000 | #Constraints: 33758
2173.85/2180.82 c #Conflicts: 249000 | #Constraints: 34758
2173.85/2180.82 c #Conflicts: 250000 | #Constraints: 35758
2173.85/2180.82 c #Conflicts: 251000 | #Constraints: 36758
2173.85/2180.82 c #Conflicts: 252000 | #Constraints: 37758
2173.85/2180.82 c #Conflicts: 253000 | #Constraints: 38758
2173.85/2180.82 c #Conflicts: 254000 | #Constraints: 39758
2173.85/2180.82 c #Conflicts: 255000 | #Constraints: 40758
2173.85/2180.82 c #Conflicts: 256000 | #Constraints: 41758
2173.85/2180.82 c INPROCESSING
2173.85/2180.82 c GARBAGE COLLECT
2173.85/2180.82 c #Conflicts: 257000 | #Constraints: 32708
2173.85/2180.82 c #Conflicts: 258000 | #Constraints: 33708
2173.85/2180.82 c #Conflicts: 259000 | #Constraints: 34708
2173.85/2180.82 c #Conflicts: 260000 | #Constraints: 35708
2173.85/2180.82 c #Conflicts: 261000 | #Constraints: 36708
2173.85/2180.82 c #Conflicts: 262000 | #Constraints: 37708
2173.85/2180.82 c #Conflicts: 263000 | #Constraints: 38708
2173.85/2180.82 c #Conflicts: 264000 | #Constraints: 39708
2173.85/2180.82 c #Conflicts: 265000 | #Constraints: 40708
2173.85/2180.82 c #Conflicts: 266000 | #Constraints: 41708
2173.85/2180.82 c INPROCESSING
2173.85/2180.82 c GARBAGE COLLECT
2173.85/2180.82 c #Conflicts: 267000 | #Constraints: 32592
2173.85/2180.82 c #Conflicts: 268000 | #Constraints: 33592
2173.85/2180.82 c #Conflicts: 269000 | #Constraints: 34592
2173.85/2180.82 c #Conflicts: 270000 | #Constraints: 35592
2173.85/2180.82 c #Conflicts: 271000 | #Constraints: 36592
2173.85/2180.82 c #Conflicts: 272000 | #Constraints: 37592
2173.85/2180.82 c #Conflicts: 273000 | #Constraints: 38592
2173.85/2180.82 c #Conflicts: 274000 | #Constraints: 39592
2173.85/2180.82 c #Conflicts: 275000 | #Constraints: 40592
2173.85/2180.82 c #Conflicts: 276000 | #Constraints: 41592
2173.85/2180.82 c #Conflicts: 277000 | #Constraints: 42592
2173.85/2180.82 c INPROCESSING
2173.85/2180.82 c GARBAGE COLLECT
2173.85/2180.82 c #Conflicts: 278000 | #Constraints: 33277
2173.85/2180.82 c #Conflicts: 279000 | #Constraints: 34277
2173.85/2180.82 c #Conflicts: 280000 | #Constraints: 35277
2173.85/2180.82 c #Conflicts: 281000 | #Constraints: 36277
2173.85/2180.82 c #Conflicts: 282000 | #Constraints: 37277
2173.85/2180.82 c #Conflicts: 283000 | #Constraints: 38277
2173.85/2180.82 c #Conflicts: 284000 | #Constraints: 39277
2173.85/2180.82 c #Conflicts: 285000 | #Constraints: 40277
2922.92/2932.16 c #Conflicts: 286000 | #Constraints: 41277
2922.92/2932.16 c #Conflicts: 287000 | #Constraints: 42277
2922.92/2932.16 c #Conflicts: 288000 | #Constraints: 43277
2922.92/2932.16 c INPROCESSING
2922.92/2932.16 c GARBAGE COLLECT
2922.92/2932.16 c #Conflicts: 289000 | #Constraints: 33661
2922.92/2932.16 c #Conflicts: 290000 | #Constraints: 34661
2922.92/2932.16 c #Conflicts: 291000 | #Constraints: 35661
2922.92/2932.16 c #Conflicts: 292000 | #Constraints: 36661
2922.92/2932.16 c #Conflicts: 293000 | #Constraints: 37661
2922.92/2932.16 c #Conflicts: 294000 | #Constraints: 38661
2922.92/2932.16 c #Conflicts: 295000 | #Constraints: 39661
2922.92/2932.16 c #Conflicts: 296000 | #Constraints: 40661
2922.92/2932.16 c #Conflicts: 297000 | #Constraints: 41661
2922.92/2932.16 c #Conflicts: 298000 | #Constraints: 42661
2922.92/2932.16 c #Conflicts: 299000 | #Constraints: 43661
2922.92/2932.16 c INPROCESSING
2922.92/2932.16 c GARBAGE COLLECT
2922.92/2932.16 c #Conflicts: 300000 | #Constraints: 33884
2922.92/2932.16 c #Conflicts: 301000 | #Constraints: 34884
2922.92/2932.16 c #Conflicts: 302000 | #Constraints: 35884
2922.92/2932.16 c #Conflicts: 303000 | #Constraints: 36884
2922.92/2932.16 c #Conflicts: 304000 | #Constraints: 37884
2922.92/2932.16 c #Conflicts: 305000 | #Constraints: 38884
2922.92/2932.16 c #Conflicts: 306000 | #Constraints: 39884
2922.92/2932.16 c #Conflicts: 307000 | #Constraints: 40884
2922.92/2932.16 c #Conflicts: 308000 | #Constraints: 41884
2922.92/2932.16 c #Conflicts: 309000 | #Constraints: 42884
2922.92/2932.16 c #Conflicts: 310000 | #Constraints: 43884
2922.92/2932.16 c INPROCESSING
2922.92/2932.16 c GARBAGE COLLECT
2922.92/2932.16 c #Conflicts: 311000 | #Constraints: 33864
2922.92/2932.16 c #Conflicts: 312000 | #Constraints: 34864
2922.92/2932.16 c #Conflicts: 313000 | #Constraints: 35864
2922.92/2932.16 c #Conflicts: 314000 | #Constraints: 36864
2922.92/2932.16 c #Conflicts: 315000 | #Constraints: 37864
2922.92/2932.16 c #Conflicts: 316000 | #Constraints: 38864
2922.92/2932.16 c #Conflicts: 317000 | #Constraints: 39864
2922.92/2932.16 c #Conflicts: 318000 | #Constraints: 40864
2922.92/2932.16 c #Conflicts: 319000 | #Constraints: 41864
2922.92/2932.16 c #Conflicts: 320000 | #Constraints: 42864
2922.92/2932.16 c #Conflicts: 321000 | #Constraints: 43864
2922.92/2932.16 c INPROCESSING
2922.92/2932.16 c GARBAGE COLLECT
2922.92/2932.16 c #Conflicts: 322000 | #Constraints: 33697
2922.92/2932.16 c #Conflicts: 323000 | #Constraints: 34697
2922.92/2932.16 c #Conflicts: 324000 | #Constraints: 35697
2922.92/2932.16 c #Conflicts: 325000 | #Constraints: 36697
2922.92/2932.16 c #Conflicts: 326000 | #Constraints: 37697
2922.92/2932.16 c #Conflicts: 327000 | #Constraints: 38697
2922.92/2932.16 c #Conflicts: 328000 | #Constraints: 39697
2922.92/2932.16 c #Conflicts: 329000 | #Constraints: 40697
2922.92/2932.16 c #Conflicts: 330000 | #Constraints: 41697
2922.92/2932.16 c #Conflicts: 331000 | #Constraints: 42697
2922.92/2932.16 c #Conflicts: 332000 | #Constraints: 43697
2922.92/2932.16 c #Conflicts: 333000 | #Constraints: 44697
2922.92/2932.16 c INPROCESSING
2922.92/2932.16 c GARBAGE COLLECT
2922.92/2932.16 c #Conflicts: 334000 | #Constraints: 34416
2922.92/2932.16 c #Conflicts: 335000 | #Constraints: 35416
2922.92/2932.16 c #Conflicts: 336000 | #Constraints: 36416
2922.92/2932.16 c #Conflicts: 337000 | #Constraints: 37416
2922.92/2932.16 c #Conflicts: 338000 | #Constraints: 38416
2922.92/2932.16 c #Conflicts: 339000 | #Constraints: 39416
2922.92/2932.16 c #Conflicts: 340000 | #Constraints: 40416
2922.92/2932.16 c #Conflicts: 341000 | #Constraints: 41416
2922.92/2932.16 c #Conflicts: 342000 | #Constraints: 42416
2922.92/2932.16 c #Conflicts: 343000 | #Constraints: 43416
2922.92/2932.16 c #Conflicts: 344000 | #Constraints: 44416
2922.92/2932.16 c #Conflicts: 345000 | #Constraints: 45416
2922.92/2932.16 c INPROCESSING
2922.92/2932.16 c GARBAGE COLLECT
2922.92/2932.16 c #Conflicts: 346000 | #Constraints: 34743
2922.92/2932.16 c #Conflicts: 347000 | #Constraints: 35743
2922.92/2932.16 c #Conflicts: 348000 | #Constraints: 36743
2922.92/2932.16 c #Conflicts: 349000 | #Constraints: 37743
2922.92/2932.16 c #Conflicts: 350000 | #Constraints: 38743
2922.92/2932.16 c #Conflicts: 351000 | #Constraints: 39743
2922.92/2932.16 c #Conflicts: 352000 | #Constraints: 40743
2922.92/2932.16 c #Conflicts: 353000 | #Constraints: 41743
2922.92/2932.16 c #Conflicts: 354000 | #Constraints: 42743
2922.92/2932.16 c #Conflicts: 355000 | #Constraints: 43743
2922.92/2932.16 c #Conflicts: 356000 | #Constraints: 44743
2922.92/2932.16 c #Conflicts: 357000 | #Constraints: 45743
2922.92/2932.16 c INPROCESSING
2922.92/2932.16 c GARBAGE COLLECT
2922.92/2932.16 c #Conflicts: 358000 | #Constraints: 34885
2922.92/2932.16 c #Conflicts: 359000 | #Constraints: 35885
3600.04/3611.10 c #Conflicts: 360000 | #Constraints: 36885
3600.04/3611.10 c #Conflicts: 361000 | #Constraints: 37885
3600.04/3611.10 c #Conflicts: 362000 | #Constraints: 38885
3600.04/3611.10 c #Conflicts: 363000 | #Constraints: 39885
3600.04/3611.10 c #Conflicts: 364000 | #Constraints: 40885
3600.04/3611.10 c #Conflicts: 365000 | #Constraints: 41885
3600.04/3611.10 c #Conflicts: 366000 | #Constraints: 42885
3600.04/3611.10 c #Conflicts: 367000 | #Constraints: 43885
3600.04/3611.10 c #Conflicts: 368000 | #Constraints: 44885
3600.04/3611.10 c #Conflicts: 369000 | #Constraints: 45885
3600.04/3611.10 c INPROCESSING
3600.04/3611.10 c GARBAGE COLLECT
3600.04/3611.10 c #Conflicts: 370000 | #Constraints: 34927
3600.04/3611.10 c #Conflicts: 371000 | #Constraints: 35927
3600.04/3611.10 c #Conflicts: 372000 | #Constraints: 36927
3600.04/3611.10 c #Conflicts: 373000 | #Constraints: 37927
3600.04/3611.10 c #Conflicts: 374000 | #Constraints: 38927
3600.04/3611.10 c #Conflicts: 375000 | #Constraints: 39927
3600.04/3611.10 c #Conflicts: 376000 | #Constraints: 40927
3600.04/3611.10 c #Conflicts: 377000 | #Constraints: 41927
3600.04/3611.10 c #Conflicts: 378000 | #Constraints: 42927
3600.04/3611.10 c #Conflicts: 379000 | #Constraints: 43927
3600.04/3611.10 c #Conflicts: 380000 | #Constraints: 44927
3600.04/3611.10 c #Conflicts: 381000 | #Constraints: 45927
3600.04/3611.10 c INPROCESSING
3600.04/3611.10 c GARBAGE COLLECT
3600.04/3611.10 c #Conflicts: 382000 | #Constraints: 34672
3600.04/3611.10 c #Conflicts: 383000 | #Constraints: 35672
3600.04/3611.10 c #Conflicts: 384000 | #Constraints: 36672
3600.04/3611.10 c #Conflicts: 385000 | #Constraints: 37672
3600.04/3611.10 c #Conflicts: 386000 | #Constraints: 38672
3600.04/3611.10 c #Conflicts: 387000 | #Constraints: 39672
3600.04/3611.10 c #Conflicts: 388000 | #Constraints: 40672
3600.04/3611.10 c #Conflicts: 389000 | #Constraints: 41672
3600.04/3611.10 c #Conflicts: 390000 | #Constraints: 42672
3600.04/3611.10 c #Conflicts: 391000 | #Constraints: 43672
3600.04/3611.10 c #Conflicts: 392000 | #Constraints: 44672
3600.04/3611.10 c #Conflicts: 393000 | #Constraints: 45672
3600.04/3611.10 c #Conflicts: 394000 | #Constraints: 46672
3600.04/3611.10 c INPROCESSING
3600.04/3611.10 c GARBAGE COLLECT
3600.04/3611.10 c #Conflicts: 395000 | #Constraints: 35238
3600.04/3611.10 c #Conflicts: 396000 | #Constraints: 36238
3600.04/3611.10 c #Conflicts: 397000 | #Constraints: 37238
3600.04/3611.10 c #Conflicts: 398000 | #Constraints: 38238
3600.04/3611.10 c #Conflicts: 399000 | #Constraints: 39238
3600.04/3611.10 c #Conflicts: 400000 | #Constraints: 40238
3600.04/3611.10 c #Conflicts: 401000 | #Constraints: 41238
3600.04/3611.10 c #Conflicts: 402000 | #Constraints: 42238
3600.04/3611.10 c #Conflicts: 403000 | #Constraints: 43238
3600.04/3611.10 c #Conflicts: 404000 | #Constraints: 44238
3600.04/3611.10 c #Conflicts: 405000 | #Constraints: 45238
3600.04/3611.10 c Program interrupted by user.
3600.04/3611.10 c cpu time 3588.72 s
3600.04/3611.10 c deterministic time 378669806677 3.79e+11
3600.04/3611.10 c optimization time 160.749 s
3600.04/3611.10 c total solve time 3128.76 s
3600.04/3611.10 c core-guided solve time 3128.76 s
3600.04/3611.10 c propagation time 2519.82 s
3600.04/3611.10 c conflict analysis time 739.886 s
3600.04/3611.10 c propagations 415639143
3600.04/3611.10 c resolve steps 40031252
3600.04/3611.10 c decisions 10076439
3600.04/3611.10 c conflicts 405237
3600.04/3611.10 c restarts 989
3600.04/3611.10 c inprocessing phases 54
3600.04/3611.10 c input clauses 21269
3600.04/3611.10 c input cardinalities 47
3600.04/3611.10 c input general constraints 33
3600.04/3611.10 c input average constraint length 3.19
3600.04/3611.10 c input average constraint degree 1.27
3600.04/3611.10 c learned clauses 104180
3600.04/3611.10 c learned cardinalities 1157
3600.04/3611.10 c learned general constraints 299903
3600.04/3611.10 c learned average constraint length 1014.60
3600.04/3611.10 c learned average constraint degree 57216928.03
3600.04/3611.10 c watched constraints 247647
3600.04/3611.10 c counting constraints 52289
3600.04/3611.10 c gcd simplifications 1796
3600.04/3611.10 c detected cardinalities 7
3600.04/3611.10 c weakened non-implied lits 14080854
3600.04/3611.10 c weakened non-implying lits 78837
3600.04/3611.10 c original variables 6027
3600.04/3611.10 c clausal propagations 320374844
3600.04/3611.10 c cardinality propagations 812812
3600.04/3611.10 c watched propagations 12643728
3600.04/3611.10 c counting propagations 81177171
3600.04/3611.10 c watch lookups 50328637006
3600.04/3611.10 c watch backjump lookups 44587170091
3600.04/3611.10 c watch checks 249018965100
3600.04/3611.10 c propagation checks 32036999536
3600.04/3611.10 c constraint additions 1846202058
3600.04/3611.10 c trail pops 426117303
3600.04/3611.10 c formula constraints 21245
3600.04/3611.10 c learned constraints 405240
3600.04/3611.10 c bound constraints 14
3600.04/3611.10 c core-guided constraints 90
3600.04/3611.10 c encountered formula constraints 33576615
3600.04/3611.10 c encountered learned constraints 6791250
3600.04/3611.10 c encountered bound constraints 38
3600.04/3611.10 c encountered core-guided constraints 68586
3600.04/3611.10 c LP total time 0 s
3600.04/3611.10 c LP solve time 0 s
3600.04/3611.10 c LP constraints added 0
3600.04/3611.10 c LP constraints removed 0
3600.04/3611.10 c LP pivots internal 0
3600.04/3611.10 c LP pivots root 0
3600.04/3611.10 c LP calls 0
3600.04/3611.10 c LP optimalities 0
3600.04/3611.10 c LP no pivot count 0
3600.04/3611.10 c LP infeasibilities 0
3600.04/3611.10 c LP valid Farkas constraints 0
3600.04/3611.10 c LP learned Farkas constraints 0
3600.04/3611.10 c LP basis resets 0
3600.04/3611.10 c LP cycling count 0
3600.04/3611.10 c LP singular count 0
3600.04/3611.10 c LP no primal count 0
3600.04/3611.10 c LP no farkas count 0
3600.04/3611.10 c LP other issue count 0
3600.04/3611.10 c LP Gomory cuts 0
3600.04/3611.10 c LP learned cuts 0
3600.04/3611.10 c LP deleted cuts 0
3600.04/3611.10 c LP encountered Gomory constraints 0
3600.04/3611.10 c LP encountered Farkas constraints 0
3600.04/3611.10 c LP encountered learned Farkas constraints 0
3600.04/3611.10 c CG auxiliary variables introduced 33
3600.04/3611.10 c CG solutions found 3
3600.04/3611.10 c CG cores constructed 10
3600.04/3611.10 c CG core cardinality constraints returned 0
3600.04/3611.10 c CG unit cores 0
3600.04/3611.10 c CG single cores 10
3600.04/3611.10 c CG blocks removed during cardinality reduction 0
3600.04/3611.10 c CG first core best 0
3600.04/3611.10 c CG decision core best 0
3600.04/3611.10 c CG core reduction tie 0
3600.04/3611.10 c CG core degree average 1.00
3600.04/3611.10 c CG core slack average 65.80
3600.04/3611.10 c CG exhausted 1
3600.04/3611.10 c CG exhaust time 10.5201 s
3600.04/3611.10 c CG trimmed 1
3600.04/3611.10 c CG trim time 0.019706 s
3600.04/3611.10 c CG minimized 0
3600.04/3611.10 c CG minimize time 0 s
3600.04/3611.10 c CG am1 prop time 0.006546 s
3600.04/3611.10 c CG # am1s reformulated 0
3600.04/3611.10 c CG lower bound derived from am1s 0
3600.04/3611.10 c CG # clausal cores 10
3600.04/3611.10 c CG # cardinality cores 0
3600.04/3611.10 c CG # pb cores 0
3600.04/3611.10 c CG # pb reforms 0
3600.04/3611.10 c CG # cores discarded because of pb reform 0
3600.04/3611.10 d LOWERBOUND 11
3600.04/3611.10 d NCORES 10
3600.04/3611.10 d NPBCORES 0
3600.04/3611.10 d NPBREFORM 0
3600.04/3611.10 d NTRIMMED 1
3600.04/3611.10 d NEXHAUSTED 1
3600.04/3611.10 d NAM1S 0
3600.04/3611.10 d AM1LB 0
3600.04/3611.10 c [Papilo Statistics]
3600.04/3611.10 c prepro time 0.0223373s
3600.04/3611.10 c # tsx applied 29
3600.04/3611.10 c # tsx conflicts 0
3600.04/3611.10 c # bound changes 5
3600.04/3611.10 c # side changes 18
3600.04/3611.10 c # coef changes 64
3600.04/3611.10 c # rounds 2
3600.04/3611.10 c # deted vars 14
3600.04/3611.10 c # deted constrs 33
3600.04/3611.10 c # consecutive rounds of only bound changes 0
3600.04/3611.10 c [STEP] postprocessing with Papilo
3600.04/3611.10 o 21
3600.04/3611.10 s SATISFIABLE
3600.04/3611.10 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 x1447 -x1448 -x1449 x1450 -x1451 x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 x1513 -x1514 x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 x1599 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 -x2221 x2222 -x2223 x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 x2268 x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 x2318 -x2319 x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 x3796 x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 x4035 -x4036 -x4037 x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 x4457 -x4458 -x4459 -x4460 -x4461 x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 x4587 -x4588 x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 -x4688 -x4689 -x4690 -x4691 x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 x5056 -x5057 -x5058 -x5059 -x5060 -x5061 x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 x5174 -x5175 x5176 -x5177 x5178 -x5179 -x5180 -x5181 -x5182 x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 x5252 -x5253 x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 x5285 -x5286 -x5287 -x5288 -x5289 x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 x5322 x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 x5855 x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 x5928 -x5929 x5930 -x5931 -x5932 -x5933 -x5934 x5935 -x5936 -x5937 -x5938 -x5939 x5940 x5941 -x5942 -x5943 -x5944 x5945 -x5946 x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 x6022 -x6023 x6024 -x6025 x6026 -x6027
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: 63708 MiB (61035 MiB free)
memory of node 1: 64465 MiB (61131 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497413-1751383088/watcher-4497413-1751383088 -o /tmp/evaluation-result-4497413-1751383088/solver-4497413-1751383088 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60448 --watchdog 3760 mixed-bag HOME/instance-4497413-1751383088.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62734, runsolver pid=62731
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.15 4.10 4.09 5/266 62735
/proc/meminfo: memFree=125054156/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=118372 memory=43644 CPUtime=0.08 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 9448 0 0 0 7 1 0 0 20 0 1 0 53987595 121212928 10911 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 29593 10911 3680 2842 0 11287 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 118372 KiB
Current children cumulated memory: 43644 KiB
[startup+0.205347 s]*
/proc/loadavg: 4.15 4.10 4.09 5/266 62735
/proc/meminfo: memFree=125006024/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=155196 memory=80292 CPUtime=0.18 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 19570 0 0 0 16 2 0 0 20 0 1 0 53987595 158920704 20073 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 38799 20073 4032 2842 0 20493 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 155196 KiB
Current children cumulated memory: 80292 KiB
[startup+0.305341 s]*
/proc/loadavg: 4.15 4.10 4.09 5/266 62735
/proc/meminfo: memFree=124997960/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=161864 memory=86052 CPUtime=0.28 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 21003 0 0 0 26 2 0 0 20 0 1 0 53987595 165748736 21513 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 40466 21513 4064 2842 0 22160 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 161864 KiB
Current children cumulated memory: 86052 KiB
[startup+0.700177 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 62735
/proc/meminfo: memFree=124974020/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=237644 memory=152228 CPUtime=0.68 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 37368 0 0 0 63 5 0 0 20 0 1 0 53987595 243347456 38057 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 59411 38057 4288 2842 0 41105 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 237644 KiB
Current children cumulated memory: 152228 KiB
[startup+1.50017 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 62735
/proc/meminfo: memFree=124828100/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=262184 memory=175396 CPUtime=1.46 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 43158 0 0 0 141 5 0 0 20 0 1 0 53987595 268476416 43849 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 65546 43849 4288 2842 0 47240 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 262184 KiB
Current children cumulated memory: 175396 KiB
[startup+3.10549 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 62735
/proc/meminfo: memFree=124657980/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=270044 memory=183844 CPUtime=3.07 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 45303 0 0 0 301 6 0 0 20 0 1 0 53987595 276525056 45961 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 67511 45961 4288 2842 0 49205 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 270044 KiB
Current children cumulated memory: 183844 KiB
[startup+6.30011 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 62735
/proc/meminfo: memFree=124634040/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=308888 memory=211364 CPUtime=6.26 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 52192 0 0 0 618 8 0 0 20 0 1 0 53987595 316301312 52841 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 77222 52841 4288 2842 0 58916 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 308888 KiB
Current children cumulated memory: 211364 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 62736
/proc/meminfo: memFree=124312256/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=363136 memory=259108 CPUtime=12.64 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 64129 0 0 0 1255 9 0 0 20 0 1 0 53987595 371851264 64777 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 90784 64777 4288 2842 0 72478 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 363136 KiB
Current children cumulated memory: 259108 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.11 4.09 5/266 62781
/proc/meminfo: memFree=123631448/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=366548 memory=264740 CPUtime=25.4 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 65585 0 0 0 2529 11 0 0 20 0 1 0 53987595 375345152 66185 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 91637 66185 4288 2842 0 73331 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 366548 KiB
Current children cumulated memory: 264740 KiB
[startup+51.1053 s]
/proc/loadavg: 4.17 4.11 4.10 5/266 62781
/proc/meminfo: memFree=123577880/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=366548 memory=264868 CPUtime=50.94 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 65605 0 0 0 5083 11 0 0 20 0 1 0 53987595 375345152 66217 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 91637 66217 4288 2842 0 73331 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 366548 KiB
Current children cumulated memory: 264868 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 62784
/proc/meminfo: memFree=123491988/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=366548 memory=265124 CPUtime=101.97 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 65659 0 0 0 10186 11 0 0 20 0 1 0 53987595 375345152 66281 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 91637 66281 4288 2842 0 73331 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 366548 KiB
Current children cumulated memory: 265124 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/266 62786
/proc/meminfo: memFree=123413852/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=366548 memory=265124 CPUtime=161.77 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 65676 0 0 0 16166 11 0 0 20 0 1 0 53987595 375345152 66281 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 91637 66281 4288 2842 0 73331 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 366548 KiB
Current children cumulated memory: 265124 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 62788
/proc/meminfo: memFree=123376516/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=366548 memory=265252 CPUtime=221.58 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 65700 0 0 0 22147 11 0 0 20 0 1 0 53987595 375345152 66313 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 91637 66313 4288 2842 0 73331 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 366548 KiB
Current children cumulated memory: 265252 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 62791
/proc/meminfo: memFree=123342132/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=366548 memory=265252 CPUtime=281.39 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 65956 0 0 0 28128 11 0 0 20 0 1 0 53987595 375345152 66313 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 91637 66313 4288 2842 0 73331 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 366548 KiB
Current children cumulated memory: 265252 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 62793
/proc/meminfo: memFree=123127288/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=381348 memory=287672 CPUtime=341.21 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 67594 0 0 0 34034 87 0 0 20 0 1 0 53987595 390500352 71918 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 95337 71918 4448 2842 0 77031 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 381348 KiB
Current children cumulated memory: 287672 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 62795
/proc/meminfo: memFree=122675920/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=381348 memory=292024 CPUtime=401.03 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 67672 0 0 0 39948 155 0 0 20 0 1 0 53987595 390500352 73006 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 95337 73006 4448 2842 0 77031 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 381348 KiB
Current children cumulated memory: 292024 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 62797
/proc/meminfo: memFree=121526128/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=400316 memory=310552 CPUtime=460.84 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 68210 0 0 0 45891 193 0 0 20 0 1 0 53987595 409923584 77638 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 100079 77638 4448 2842 0 81773 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
Current children cumulated memory: 393684 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/266 62980
/proc/meminfo: memFree=123993904/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=481224 memory=395740 CPUtime=2913.15 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 69902 0 0 0 290322 993 0 0 20 0 1 0 53987595 492773376 98935 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 120306 98935 4448 2842 0 102000 0
Current children cumulated CPU time: 2913.15 s
Current children cumulated vsize: 481224 KiB
Current children cumulated memory: 395740 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/266 62983
/proc/meminfo: memFree=123989356/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=481224 memory=395740 CPUtime=2972.98 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 69902 0 0 0 296289 1009 0 0 20 0 1 0 53987595 492773376 98935 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 120306 98935 4448 2842 0 102000 0
Current children cumulated CPU time: 2972.98 s
Current children cumulated vsize: 481224 KiB
Current children cumulated memory: 395740 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/266 62985
/proc/meminfo: memFree=123952904/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=481224 memory=410076 CPUtime=3032.81 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 69914 0 0 0 302263 1018 0 0 20 0 1 0 53987595 492773376 102519 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 120306 102519 4448 2842 0 102000 0
Current children cumulated CPU time: 3032.81 s
Current children cumulated vsize: 481224 KiB
Current children cumulated memory: 410076 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 62987
/proc/meminfo: memFree=123926576/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=562612 memory=438748 CPUtime=3092.65 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 70442 0 0 0 308238 1027 0 0 20 0 1 0 53987595 576114688 109687 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 140653 109687 4448 2842 0 122347 0
Current children cumulated CPU time: 3092.65 s
Current children cumulated vsize: 562612 KiB
Current children cumulated memory: 438748 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 62989
/proc/meminfo: memFree=123896084/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=562612 memory=438748 CPUtime=3152.48 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 70443 0 0 0 314206 1042 0 0 20 0 1 0 53987595 576114688 109687 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 140653 109687 4448 2842 0 122347 0
Current children cumulated CPU time: 3152.48 s
Current children cumulated vsize: 562612 KiB
Current children cumulated memory: 438748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 62991
/proc/meminfo: memFree=123888060/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=562612 memory=438748 CPUtime=3212.32 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 70443 0 0 0 320178 1054 0 0 20 0 1 0 53987595 576114688 109687 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 140653 109687 4448 2842 0 122347 0
Current children cumulated CPU time: 3212.32 s
Current children cumulated vsize: 562612 KiB
Current children cumulated memory: 438748 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 62993
/proc/meminfo: memFree=123891168/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=562612 memory=446940 CPUtime=3272.15 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 70563 0 0 0 326148 1067 0 0 20 0 1 0 53987595 576114688 111735 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 140653 111735 4448 2842 0 122347 0
Current children cumulated CPU time: 3272.15 s
Current children cumulated vsize: 562612 KiB
Current children cumulated memory: 446940 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 62995
/proc/meminfo: memFree=123890876/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=562612 memory=446940 CPUtime=3331.97 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 70590 0 0 0 332119 1078 0 0 20 0 1 0 53987595 576114688 111735 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 140653 111735 4448 2842 0 122347 0
Current children cumulated CPU time: 3331.97 s
Current children cumulated vsize: 562612 KiB
Current children cumulated memory: 446940 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/262 62997
/proc/meminfo: memFree=123888940/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=562612 memory=446940 CPUtime=3391.8 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 70610 0 0 0 338092 1088 0 0 20 0 1 0 53987595 576114688 111735 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 140653 111735 4448 2842 0 122347 0
Current children cumulated CPU time: 3391.8 s
Current children cumulated vsize: 562612 KiB
Current children cumulated memory: 446940 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 63000
/proc/meminfo: memFree=123864508/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=562612 memory=473564 CPUtime=3451.64 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 70633 0 0 0 344066 1098 0 0 20 0 1 0 53987595 576114688 118391 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 140653 118391 4448 2842 0 122347 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 562612 KiB
Current children cumulated memory: 473564 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 4/258 63040
/proc/meminfo: memFree=124370968/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=562612 memory=473564 CPUtime=3511.47 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 70633 0 0 0 350030 1117 0 0 20 0 1 0 53987595 576114688 118391 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 140653 118391 4448 2842 0 122347 0
Current children cumulated CPU time: 3511.47 s
Current children cumulated vsize: 562612 KiB
Current children cumulated memory: 473564 KiB
[startup+3582.3 s]
/proc/loadavg: 3.44 3.90 4.02 4/258 63042
/proc/meminfo: memFree=124362424/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=562612 memory=473564 CPUtime=3571.31 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 70633 0 0 0 356003 1128 0 0 20 0 1 0 53987595 576114688 118391 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 140653 118391 4448 2842 0 122347 0
Current children cumulated CPU time: 3571.31 s
Current children cumulated vsize: 562612 KiB
Current children cumulated memory: 473564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 3.27 3.81 3.99 4/258 63042
/proc/meminfo: memFree=124358580/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=562612 memory=473564 CPUtime=3600.04 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 70634 0 0 0 358872 1132 0 0 20 0 1 0 53987595 576114688 118391 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 140653 118391 4448 2842 0 122347 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 562612 KiB
Current children cumulated memory: 473564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.11 s]
# the end of solver process 62734 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.73 s, system=11.3233 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 3.27 3.81 3.99 4/258 63042
/proc/meminfo: memFree=124358580/131249992 swapFree=33010684/33010684
[pid=62734] ppid=62731 vsize=562612 memory=473564 CPUtime=3600.04 cores=0,2
/proc/62734/stat : 62734 (mixed-bag) R 62731 62734 60438 0 -1 4194304 70634 0 0 0 358872 1132 0 0 20 0 1 0 53987595 576114688 118391 18446744073709551615 4235264 15874749 140731810562992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 30752768 140731810564508 140731810564585 140731810564585 140731810570187 0
/proc/62734/statm: 140653 118391 4448 2842 0 122347 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 562612 KiB
Current children cumulated memory: 473564 KiB
Child status: 0
Real time (s): 3611.11
CPU time (s): 3600.05
CPU user time (s): 3588.73
CPU system time (s): 11.3233
CPU usage (%): 99.6938
Max. virtual memory (cumulated for all children) (KiB): 562612
Max. memory (cumulated for all children) (KiB): 473564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.73
system time used= 11.3233
maximum resident set size= 474716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70665
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= 206
involuntary context switches= 4606
# summary of solver processes directly reported to runsolver:
# pid: 62734
# total CPU time (s): 3600.05
# total CPU user time (s): 3588.73
# total CPU system time (s): 11.3233
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87262 second user time and 16.2325 second system time
The end
Begin job on nodeC025 at 2025-07-01 17:18:08
IDJOB=4497413
IDBENCH=148185
IDSOLVER=3340
FILE ID=nodeC025/4497413-1751383088
RUNJOBID= nodeC025-1751375766-60448
SLURM_JOB_ID= 9598215
Free space on /tmp= 432996 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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 -w /tmp/evaluation-result-4497413-1751383088/watcher-4497413-1751383088 -o /tmp/evaluation-result-4497413-1751383088/solver-4497413-1751383088 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60448 --watchdog 3760 mixed-bag HOME/instance-4497413-1751383088.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=1949625899
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.875
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.349
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3588.440
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3759.741
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.823
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.833
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.171
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 125098320 kB
MemAvailable: 127917996 kB
Buffers: 3280 kB
Cached: 3617596 kB
SwapCached: 0 kB
Active: 2167780 kB
Inactive: 3277904 kB
Active(anon): 1842892 kB
Inactive(anon): 0 kB
Active(file): 324888 kB
Inactive(file): 3277904 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 49316 kB
Writeback: 4 kB
AnonPages: 1827880 kB
Mapped: 135944 kB
Shmem: 18084 kB
KReclaimable: 112248 kB
Slab: 201160 kB
SReclaimable: 112248 kB
SUnreclaim: 88912 kB
KernelStack: 4288 kB
PageTables: 6980 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2312752 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 366592 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433012 MiB
End job on nodeC025 at 2025-07-01 18:18:20