0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
2.18/2.27 c [STEP] preprocessing with Papilo
2.68/2.75 c Papilo could not simplify the problem
2.68/2.75 c [STEP] solving with SCIP
302.35/303.44 c [STEP] preprocessing done, loading into solver
302.85/303.94 c [STEP] solving
302.85/303.94 c #variables 7841 #constraints 65280
302.85/303.94 c SMALL=int, LARGE=long long
302.85/303.94 d SCIPUB 48
302.85/303.94 c bounds - >= 0 @ 301.459
302.85/303.94 c stratification level: 0
360.38/361.61 c bounds - >= 1 @ 301.537
360.38/361.61 c bounds - >= 2 @ 301.54
360.38/361.61 c bounds - >= 3 @ 301.548
360.38/361.61 c bounds - >= 4 @ 301.55
360.38/361.61 c bounds - >= 5 @ 301.552
360.38/361.61 c bounds - >= 6 @ 301.555
360.38/361.61 c bounds - >= 7 @ 301.557
360.38/361.61 c bounds - >= 8 @ 301.56
360.38/361.61 c bounds - >= 9 @ 301.564
360.38/361.61 c bounds - >= 10 @ 301.565
360.38/361.61 c bounds - >= 11 @ 301.568
360.38/361.61 c bounds - >= 12 @ 301.573
360.38/361.61 c bounds - >= 13 @ 301.576
360.38/361.61 c bounds - >= 14 @ 301.577
360.38/361.61 c bounds - >= 15 @ 301.578
360.38/361.61 c bounds - >= 16 @ 301.581
360.38/361.61 c bounds - >= 17 @ 301.602
360.38/361.61 c bounds - >= 18 @ 301.605
360.38/361.61 c bounds - >= 19 @ 301.609
360.38/361.61 c bounds - >= 20 @ 301.611
360.38/361.61 c bounds - >= 21 @ 301.615
360.38/361.61 c bounds - >= 22 @ 301.618
360.38/361.61 c bounds - >= 23 @ 301.625
360.38/361.61 c #Conflicts: 1000 | #Constraints: 66303
360.38/361.61 c #Conflicts: 2000 | #Constraints: 67303
360.38/361.61 c INPROCESSING
360.38/361.61 c GARBAGE COLLECT
360.38/361.61 c #Conflicts: 3000 | #Constraints: 67292
360.38/361.61 c #Conflicts: 4000 | #Constraints: 68292
360.38/361.61 c INPROCESSING
360.38/361.61 c GARBAGE COLLECT
360.38/361.61 c #Conflicts: 5000 | #Constraints: 67699
360.38/361.61 c #Conflicts: 6000 | #Constraints: 68699
360.38/361.61 c INPROCESSING
360.38/361.61 c GARBAGE COLLECT
360.38/361.61 c #Conflicts: 7000 | #Constraints: 67703
360.38/361.61 c #Conflicts: 8000 | #Constraints: 68703
360.38/361.61 c #Conflicts: 9000 | #Constraints: 69703
360.38/361.61 c INPROCESSING
360.38/361.61 c GARBAGE COLLECT
360.38/361.61 c #Conflicts: 10000 | #Constraints: 68407
360.38/361.61 c #Conflicts: 11000 | #Constraints: 69407
360.38/361.61 c #Conflicts: 12000 | #Constraints: 70407
360.38/361.61 c INPROCESSING
360.38/361.61 c GARBAGE COLLECT
360.38/361.61 c #Conflicts: 13000 | #Constraints: 68860
360.38/361.61 c #Conflicts: 14000 | #Constraints: 69860
360.38/361.61 c #Conflicts: 15000 | #Constraints: 70860
360.38/361.61 c INPROCESSING
360.38/361.61 c GARBAGE COLLECT
360.38/361.61 c #Conflicts: 16000 | #Constraints: 69093
360.38/361.61 c #Conflicts: 17000 | #Constraints: 70093
360.38/361.61 c #Conflicts: 18000 | #Constraints: 71093
360.38/361.61 c INPROCESSING
360.38/361.61 c GARBAGE COLLECT
360.38/361.61 c #Conflicts: 19000 | #Constraints: 69109
360.38/361.61 c #Conflicts: 20000 | #Constraints: 70109
360.38/361.61 c finalizing WCE round: reformulating cores
935.57/938.40 c #Conflicts: 21000 | #Constraints: 71117
935.57/938.40 c INPROCESSING
935.57/938.40 c GARBAGE COLLECT
935.57/938.40 c #Conflicts: 22000 | #Constraints: 68909
935.57/938.40 c #Conflicts: 23000 | #Constraints: 69911
935.57/938.40 c #Conflicts: 24000 | #Constraints: 70915
935.57/938.40 c #Conflicts: 25000 | #Constraints: 71917
935.57/938.40 c INPROCESSING
935.57/938.40 c GARBAGE COLLECT
935.57/938.40 c #Conflicts: 26000 | #Constraints: 69523
935.57/938.40 c #Conflicts: 27000 | #Constraints: 70525
935.57/938.40 c #Conflicts: 28000 | #Constraints: 71527
935.57/938.40 c #Conflicts: 29000 | #Constraints: 72531
935.57/938.40 c INPROCESSING
935.57/938.40 c GARBAGE COLLECT
935.57/938.40 c #Conflicts: 30000 | #Constraints: 69929
935.57/938.40 c #Conflicts: 31000 | #Constraints: 70931
935.57/938.40 c #Conflicts: 32000 | #Constraints: 71933
935.57/938.40 c #Conflicts: 33000 | #Constraints: 72937
935.57/938.40 c INPROCESSING
935.57/938.40 c GARBAGE COLLECT
935.57/938.40 c #Conflicts: 34000 | #Constraints: 70138
935.57/938.40 c #Conflicts: 35000 | #Constraints: 71140
935.57/938.40 c #Conflicts: 36000 | #Constraints: 72142
935.57/938.40 c #Conflicts: 37000 | #Constraints: 73146
935.57/938.40 c INPROCESSING
935.57/938.40 c GARBAGE COLLECT
935.57/938.40 c #Conflicts: 38000 | #Constraints: 70152
935.57/938.40 c bounds 46 >= 23 @ 429.406
935.57/938.40 c bounds 46 >= 24 @ 429.415
935.57/938.40 c bounds 46 >= 25 @ 429.419
935.57/938.40 c bounds 46 >= 26 @ 429.425
935.57/938.40 c bounds 46 >= 27 @ 429.43
935.57/938.40 c bounds 46 >= 28 @ 429.44
935.57/938.40 c bounds 46 >= 29 @ 429.451
935.57/938.40 c bounds 46 >= 30 @ 429.653
935.57/938.40 c #Conflicts: 39000 | #Constraints: 71244
935.57/938.40 c #Conflicts: 40000 | #Constraints: 72244
935.57/938.40 c #Conflicts: 41000 | #Constraints: 73244
935.57/938.40 c INPROCESSING
935.57/938.40 c GARBAGE COLLECT
935.57/938.40 c #Conflicts: 42000 | #Constraints: 70018
935.57/938.40 c #Conflicts: 43000 | #Constraints: 71018
935.57/938.40 c #Conflicts: 44000 | #Constraints: 72018
935.57/938.40 c #Conflicts: 45000 | #Constraints: 73018
935.57/938.40 c #Conflicts: 46000 | #Constraints: 74018
935.57/938.40 c INPROCESSING
935.57/938.40 c GARBAGE COLLECT
935.57/938.40 c #Conflicts: 47000 | #Constraints: 70609
935.57/938.40 c #Conflicts: 48000 | #Constraints: 71609
935.57/938.40 c #Conflicts: 49000 | #Constraints: 72609
935.57/938.40 c #Conflicts: 50000 | #Constraints: 73609
935.57/938.40 c #Conflicts: 51000 | #Constraints: 74609
935.57/938.40 c INPROCESSING
935.57/938.40 c GARBAGE COLLECT
935.57/938.40 c #Conflicts: 52000 | #Constraints: 71002
935.57/938.40 c #Conflicts: 53000 | #Constraints: 72002
935.57/938.40 c #Conflicts: 54000 | #Constraints: 73002
935.57/938.40 c #Conflicts: 55000 | #Constraints: 74002
935.57/938.40 c #Conflicts: 56000 | #Constraints: 75002
935.57/938.40 c INPROCESSING
935.57/938.40 c GARBAGE COLLECT
935.57/938.40 c #Conflicts: 57000 | #Constraints: 71205
935.57/938.40 c #Conflicts: 58000 | #Constraints: 72205
935.57/938.40 c #Conflicts: 59000 | #Constraints: 73205
935.57/938.40 c #Conflicts: 60000 | #Constraints: 74205
935.57/938.40 c #Conflicts: 61000 | #Constraints: 75205
935.57/938.40 c INPROCESSING
935.57/938.40 c GARBAGE COLLECT
935.57/938.40 c #Conflicts: 62000 | #Constraints: 71193
935.57/938.40 c #Conflicts: 63000 | #Constraints: 72193
935.57/938.40 c #Conflicts: 64000 | #Constraints: 73193
935.57/938.40 c #Conflicts: 65000 | #Constraints: 74193
935.57/938.40 c #Conflicts: 66000 | #Constraints: 75193
935.57/938.40 c INPROCESSING
935.57/938.40 c GARBAGE COLLECT
935.57/938.40 c #Conflicts: 67000 | #Constraints: 70999
935.57/938.40 c #Conflicts: 68000 | #Constraints: 71999
935.57/938.40 c #Conflicts: 69000 | #Constraints: 72999
935.57/938.40 c #Conflicts: 70000 | #Constraints: 73999
935.57/938.40 c #Conflicts: 71000 | #Constraints: 74999
935.57/938.40 c #Conflicts: 72000 | #Constraints: 75999
935.57/938.40 c INPROCESSING
935.57/938.40 c GARBAGE COLLECT
935.57/938.40 c #Conflicts: 73000 | #Constraints: 71600
935.57/938.40 c #Conflicts: 74000 | #Constraints: 72600
935.57/938.40 c #Conflicts: 75000 | #Constraints: 73600
935.57/938.40 c #Conflicts: 76000 | #Constraints: 74600
935.57/938.40 c #Conflicts: 77000 | #Constraints: 75600
935.57/938.40 c #Conflicts: 78000 | #Constraints: 76600
935.57/938.40 c INPROCESSING
935.57/938.40 c GARBAGE COLLECT
935.57/938.40 c #Conflicts: 79000 | #Constraints: 71998
935.57/938.40 c #Conflicts: 80000 | #Constraints: 72998
935.57/938.40 c #Conflicts: 81000 | #Constraints: 73998
935.57/938.40 c #Conflicts: 82000 | #Constraints: 74998
935.57/938.40 c #Conflicts: 83000 | #Constraints: 75998
935.57/938.40 c #Conflicts: 84000 | #Constraints: 76998
935.57/938.40 c INPROCESSING
935.57/938.40 c GARBAGE COLLECT
935.57/938.40 c #Conflicts: 85000 | #Constraints: 72201
935.57/938.40 c #Conflicts: 86000 | #Constraints: 73201
2211.17/2217.65 c #Conflicts: 87000 | #Constraints: 74201
2211.17/2217.65 c #Conflicts: 88000 | #Constraints: 75201
2211.17/2217.65 c #Conflicts: 89000 | #Constraints: 76201
2211.17/2217.65 c #Conflicts: 90000 | #Constraints: 77201
2211.17/2217.65 c INPROCESSING
2211.17/2217.65 c GARBAGE COLLECT
2211.17/2217.65 c #Conflicts: 91000 | #Constraints: 72201
2211.17/2217.65 c #Conflicts: 92000 | #Constraints: 73201
2211.17/2217.65 c #Conflicts: 93000 | #Constraints: 74201
2211.17/2217.65 c #Conflicts: 94000 | #Constraints: 75201
2211.17/2217.65 c #Conflicts: 95000 | #Constraints: 76201
2211.17/2217.65 c #Conflicts: 96000 | #Constraints: 77201
2211.17/2217.65 c INPROCESSING
2211.17/2217.65 c GARBAGE COLLECT
2211.17/2217.65 c #Conflicts: 97000 | #Constraints: 72001
2211.17/2217.65 c #Conflicts: 98000 | #Constraints: 73001
2211.17/2217.65 c #Conflicts: 99000 | #Constraints: 74001
2211.17/2217.65 c #Conflicts: 100000 | #Constraints: 75001
2211.17/2217.65 c #Conflicts: 101000 | #Constraints: 76001
2211.17/2217.65 c #Conflicts: 102000 | #Constraints: 77001
2211.17/2217.65 c #Conflicts: 103000 | #Constraints: 78001
2211.17/2217.65 c INPROCESSING
2211.17/2217.65 c GARBAGE COLLECT
2211.17/2217.65 c #Conflicts: 104000 | #Constraints: 72595
2211.17/2217.65 c #Conflicts: 105000 | #Constraints: 73595
2211.17/2217.65 c #Conflicts: 106000 | #Constraints: 74595
2211.17/2217.65 c #Conflicts: 107000 | #Constraints: 75595
2211.17/2217.65 c #Conflicts: 108000 | #Constraints: 76595
2211.17/2217.65 c #Conflicts: 109000 | #Constraints: 77595
2211.17/2217.65 c #Conflicts: 110000 | #Constraints: 78595
2211.17/2217.65 c INPROCESSING
2211.17/2217.65 c GARBAGE COLLECT
2211.17/2217.65 c #Conflicts: 111000 | #Constraints: 72998
2211.17/2217.65 c #Conflicts: 112000 | #Constraints: 73998
2211.17/2217.65 c #Conflicts: 113000 | #Constraints: 74998
2211.17/2217.65 c #Conflicts: 114000 | #Constraints: 75998
2211.17/2217.65 c #Conflicts: 115000 | #Constraints: 76998
2211.17/2217.65 c #Conflicts: 116000 | #Constraints: 77998
2211.17/2217.65 c #Conflicts: 117000 | #Constraints: 78998
2211.17/2217.65 c INPROCESSING
2211.17/2217.65 c GARBAGE COLLECT
2211.17/2217.65 c #Conflicts: 118000 | #Constraints: 73202
2211.17/2217.65 c #Conflicts: 119000 | #Constraints: 74202
2211.17/2217.65 c #Conflicts: 120000 | #Constraints: 75202
2211.17/2217.65 c #Conflicts: 121000 | #Constraints: 76202
2211.17/2217.65 c #Conflicts: 122000 | #Constraints: 77202
2211.17/2217.65 c #Conflicts: 123000 | #Constraints: 78202
2211.17/2217.65 c #Conflicts: 124000 | #Constraints: 79202
2211.17/2217.65 c INPROCESSING
2211.17/2217.65 c GARBAGE COLLECT
2211.17/2217.65 c #Conflicts: 125000 | #Constraints: 73194
2211.17/2217.65 c #Conflicts: 126000 | #Constraints: 74194
2211.17/2217.65 c #Conflicts: 127000 | #Constraints: 75194
2211.17/2217.65 c #Conflicts: 128000 | #Constraints: 76194
2211.17/2217.65 c #Conflicts: 129000 | #Constraints: 77194
2211.17/2217.65 c #Conflicts: 130000 | #Constraints: 78194
2211.17/2217.65 c #Conflicts: 131000 | #Constraints: 79194
2211.17/2217.65 c INPROCESSING
2211.17/2217.65 c GARBAGE COLLECT
2211.17/2217.65 c #Conflicts: 132000 | #Constraints: 72993
2211.17/2217.65 c #Conflicts: 133000 | #Constraints: 73993
2211.17/2217.65 c #Conflicts: 134000 | #Constraints: 74993
2211.17/2217.65 c #Conflicts: 135000 | #Constraints: 75993
2211.17/2217.65 c #Conflicts: 136000 | #Constraints: 76993
2211.17/2217.65 c #Conflicts: 137000 | #Constraints: 77993
2211.17/2217.65 c #Conflicts: 138000 | #Constraints: 78993
2211.17/2217.65 c #Conflicts: 139000 | #Constraints: 79993
2211.17/2217.65 c INPROCESSING
2211.17/2217.65 c GARBAGE COLLECT
2211.17/2217.65 c #Conflicts: 140000 | #Constraints: 73599
2211.17/2217.65 c #Conflicts: 141000 | #Constraints: 74599
2211.17/2217.65 c #Conflicts: 142000 | #Constraints: 75599
2211.17/2217.65 c #Conflicts: 143000 | #Constraints: 76599
2211.17/2217.65 c #Conflicts: 144000 | #Constraints: 77599
2211.17/2217.65 c #Conflicts: 145000 | #Constraints: 78599
2211.17/2217.65 c #Conflicts: 146000 | #Constraints: 79599
2211.17/2217.65 c #Conflicts: 147000 | #Constraints: 80599
2211.17/2217.65 c INPROCESSING
2211.17/2217.65 c GARBAGE COLLECT
2211.17/2217.65 c #Conflicts: 148000 | #Constraints: 73998
2211.17/2217.65 c #Conflicts: 149000 | #Constraints: 74998
2211.17/2217.65 c #Conflicts: 150000 | #Constraints: 75998
2211.17/2217.65 c #Conflicts: 151000 | #Constraints: 76998
2211.17/2217.65 c #Conflicts: 152000 | #Constraints: 77998
2211.17/2217.65 c #Conflicts: 153000 | #Constraints: 78998
2211.17/2217.65 c #Conflicts: 154000 | #Constraints: 79998
2211.17/2217.65 c #Conflicts: 155000 | #Constraints: 80998
2211.17/2217.65 c INPROCESSING
2211.17/2217.65 c GARBAGE COLLECT
2211.17/2217.65 c #Conflicts: 156000 | #Constraints: 74198
2211.17/2217.65 c #Conflicts: 157000 | #Constraints: 75198
2211.17/2217.65 c #Conflicts: 158000 | #Constraints: 76198
2211.17/2217.65 c #Conflicts: 159000 | #Constraints: 77198
3600.03/3610.40 c #Conflicts: 160000 | #Constraints: 78198
3600.03/3610.40 c #Conflicts: 161000 | #Constraints: 79198
3600.03/3610.40 c #Conflicts: 162000 | #Constraints: 80198
3600.03/3610.40 c #Conflicts: 163000 | #Constraints: 81198
3600.03/3610.40 c INPROCESSING
3600.03/3610.40 c GARBAGE COLLECT
3600.03/3610.40 c #Conflicts: 164000 | #Constraints: 74199
3600.03/3610.40 c #Conflicts: 165000 | #Constraints: 75199
3600.03/3610.40 c #Conflicts: 166000 | #Constraints: 76199
3600.03/3610.40 c #Conflicts: 167000 | #Constraints: 77199
3600.03/3610.40 c #Conflicts: 168000 | #Constraints: 78199
3600.03/3610.40 c #Conflicts: 169000 | #Constraints: 79199
3600.03/3610.40 c #Conflicts: 170000 | #Constraints: 80199
3600.03/3610.40 c #Conflicts: 171000 | #Constraints: 81199
3600.03/3610.40 c INPROCESSING
3600.03/3610.40 c GARBAGE COLLECT
3600.03/3610.40 c #Conflicts: 172000 | #Constraints: 73994
3600.03/3610.40 c #Conflicts: 173000 | #Constraints: 74994
3600.03/3610.40 c #Conflicts: 174000 | #Constraints: 75994
3600.03/3610.40 c #Conflicts: 175000 | #Constraints: 76994
3600.03/3610.40 c #Conflicts: 176000 | #Constraints: 77994
3600.03/3610.40 c #Conflicts: 177000 | #Constraints: 78994
3600.03/3610.40 c #Conflicts: 178000 | #Constraints: 79994
3600.03/3610.40 c #Conflicts: 179000 | #Constraints: 80994
3600.03/3610.40 c #Conflicts: 180000 | #Constraints: 81994
3600.03/3610.40 c INPROCESSING
3600.03/3610.40 c GARBAGE COLLECT
3600.03/3610.40 c #Conflicts: 181000 | #Constraints: 74598
3600.03/3610.40 c #Conflicts: 182000 | #Constraints: 75598
3600.03/3610.40 c #Conflicts: 183000 | #Constraints: 76598
3600.03/3610.40 c #Conflicts: 184000 | #Constraints: 77598
3600.03/3610.40 c #Conflicts: 185000 | #Constraints: 78598
3600.03/3610.40 c #Conflicts: 186000 | #Constraints: 79598
3600.03/3610.40 c #Conflicts: 187000 | #Constraints: 80598
3600.03/3610.40 c #Conflicts: 188000 | #Constraints: 81598
3600.03/3610.40 c #Conflicts: 189000 | #Constraints: 82598
3600.03/3610.40 c INPROCESSING
3600.03/3610.40 c GARBAGE COLLECT
3600.03/3610.40 c #Conflicts: 190000 | #Constraints: 75002
3600.03/3610.40 c #Conflicts: 191000 | #Constraints: 76002
3600.03/3610.40 c #Conflicts: 192000 | #Constraints: 77002
3600.03/3610.40 c #Conflicts: 193000 | #Constraints: 78002
3600.03/3610.40 c #Conflicts: 194000 | #Constraints: 79002
3600.03/3610.40 c #Conflicts: 195000 | #Constraints: 80002
3600.03/3610.40 c #Conflicts: 196000 | #Constraints: 81002
3600.03/3610.40 c #Conflicts: 197000 | #Constraints: 82002
3600.03/3610.40 c #Conflicts: 198000 | #Constraints: 83002
3600.03/3610.40 c INPROCESSING
3600.03/3610.40 c GARBAGE COLLECT
3600.03/3610.40 c #Conflicts: 199000 | #Constraints: 75205
3600.03/3610.40 c #Conflicts: 200000 | #Constraints: 76205
3600.03/3610.40 c #Conflicts: 201000 | #Constraints: 77205
3600.03/3610.40 c #Conflicts: 202000 | #Constraints: 78205
3600.03/3610.40 c #Conflicts: 203000 | #Constraints: 79205
3600.03/3610.40 c #Conflicts: 204000 | #Constraints: 80205
3600.03/3610.40 c #Conflicts: 205000 | #Constraints: 81205
3600.03/3610.40 c #Conflicts: 206000 | #Constraints: 82205
3600.03/3610.40 c #Conflicts: 207000 | #Constraints: 83205
3600.03/3610.40 c INPROCESSING
3600.03/3610.40 c GARBAGE COLLECT
3600.03/3610.40 c #Conflicts: 208000 | #Constraints: 75205
3600.03/3610.40 c #Conflicts: 209000 | #Constraints: 76205
3600.03/3610.40 c #Conflicts: 210000 | #Constraints: 77205
3600.03/3610.40 c #Conflicts: 211000 | #Constraints: 78205
3600.03/3610.40 c #Conflicts: 212000 | #Constraints: 79205
3600.03/3610.40 c #Conflicts: 213000 | #Constraints: 80205
3600.03/3610.40 c #Conflicts: 214000 | #Constraints: 81205
3600.03/3610.40 c #Conflicts: 215000 | #Constraints: 82205
3600.03/3610.40 c #Conflicts: 216000 | #Constraints: 83205
3600.03/3610.40 c INPROCESSING
3600.03/3610.40 c GARBAGE COLLECT
3600.03/3610.40 c #Conflicts: 217000 | #Constraints: 75006
3600.03/3610.40 c #Conflicts: 218000 | #Constraints: 76006
3600.03/3610.40 c #Conflicts: 219000 | #Constraints: 77006
3600.03/3610.40 c #Conflicts: 220000 | #Constraints: 78006
3600.03/3610.40 c #Conflicts: 221000 | #Constraints: 79006
3600.03/3610.40 c #Conflicts: 222000 | #Constraints: 80006
3600.03/3610.40 c #Conflicts: 223000 | #Constraints: 81006
3600.03/3610.40 c #Conflicts: 224000 | #Constraints: 82006
3600.03/3610.40 c Program interrupted by user.
3600.03/3610.40 c cpu time 3342.49 s
3600.03/3610.40 c deterministic time 105741952167 1.06e+11
3600.03/3610.40 c optimization time 232.446 s
3600.03/3610.40 c total solve time 2808.59 s
3600.03/3610.40 c core-guided solve time 2808.59 s
3600.03/3610.40 c propagation time 2491.05 s
3600.03/3610.40 c conflict analysis time 274.385 s
3600.03/3610.40 c propagations 165538763
3600.03/3610.40 c resolve steps 791458
3600.03/3610.40 c decisions 360745261
3600.03/3610.40 c conflicts 224787
3600.03/3610.40 c restarts 510
3600.03/3610.40 c inprocessing phases 38
3600.03/3610.40 c input clauses 65309
3600.03/3610.40 c input cardinalities 83
3600.03/3610.40 c input general constraints 51
3600.03/3610.40 c input average constraint length 58.61
3600.03/3610.40 c input average constraint degree 1.40
3600.03/3610.40 c learned clauses 6963
3600.03/3610.40 c learned cardinalities 2622
3600.03/3610.40 c learned general constraints 215203
3600.03/3610.40 c learned average constraint length 6653.34
3600.03/3610.40 c learned average constraint degree 48279.64
3600.03/3610.40 c watched constraints 2048
3600.03/3610.40 c counting constraints 213206
3600.03/3610.40 c gcd simplifications 323
3600.03/3610.40 c detected cardinalities 9
3600.03/3610.40 c weakened non-implied lits 47999398
3600.03/3610.40 c weakened non-implying lits 2626
3600.03/3610.40 c original variables 7840
3600.03/3610.40 c clausal propagations 2537832
3600.03/3610.40 c cardinality propagations 1389447
3600.03/3610.40 c watched propagations 139301
3600.03/3610.40 c counting propagations 159225953
3600.03/3610.40 c watch lookups 39425842974
3600.03/3610.40 c watch backjump lookups 39253196422
3600.03/3610.40 c watch checks 1263523914
3600.03/3610.40 c propagation checks 21503114704
3600.03/3610.40 c constraint additions 3243486946
3600.03/3610.40 c trail pops 526503182
3600.03/3610.40 c formula constraints 65280
3600.03/3610.40 c learned constraints 224788
3600.03/3610.40 c bound constraints 33
3600.03/3610.40 c core-guided constraints 130
3600.03/3610.40 c encountered formula constraints 457998
3600.03/3610.40 c encountered learned constraints 505554
3600.03/3610.40 c encountered bound constraints 351
3600.03/3610.40 c encountered core-guided constraints 52342
3600.03/3610.40 c LP total time 0 s
3600.03/3610.40 c LP solve time 0 s
3600.03/3610.40 c LP constraints added 0
3600.03/3610.40 c LP constraints removed 0
3600.03/3610.40 c LP pivots internal 0
3600.03/3610.40 c LP pivots root 0
3600.03/3610.40 c LP calls 0
3600.03/3610.40 c LP optimalities 0
3600.03/3610.40 c LP no pivot count 0
3600.03/3610.40 c LP infeasibilities 0
3600.03/3610.40 c LP valid Farkas constraints 0
3600.03/3610.40 c LP learned Farkas constraints 0
3600.03/3610.40 c LP basis resets 0
3600.03/3610.40 c LP cycling count 0
3600.03/3610.40 c LP singular count 0
3600.03/3610.40 c LP no primal count 0
3600.03/3610.40 c LP no farkas count 0
3600.03/3610.40 c LP other issue count 0
3600.03/3610.40 c LP Gomory cuts 0
3600.03/3610.40 c LP learned cuts 0
3600.03/3610.40 c LP deleted cuts 0
3600.03/3610.40 c LP encountered Gomory constraints 0
3600.03/3610.40 c LP encountered Farkas constraints 0
3600.03/3610.40 c LP encountered learned Farkas constraints 0
3600.03/3610.40 c CG auxiliary variables introduced 51
3600.03/3610.40 c CG solutions found 1
3600.03/3610.40 c CG cores constructed 30
3600.03/3610.40 c CG core cardinality constraints returned 0
3600.03/3610.40 c CG unit cores 0
3600.03/3610.40 c CG single cores 30
3600.03/3610.40 c CG blocks removed during cardinality reduction 0
3600.03/3610.40 c CG first core best 0
3600.03/3610.40 c CG decision core best 0
3600.03/3610.40 c CG core reduction tie 0
3600.03/3610.40 c CG core degree average 1.00
3600.03/3610.40 c CG core slack average 111.67
3600.03/3610.40 c CG exhausted 0
3600.03/3610.40 c CG exhaust time 71.5792 s
3600.03/3610.40 c CG trimmed 0
3600.03/3610.40 c CG trim time 0.006881 s
3600.03/3610.40 c CG minimized 0
3600.03/3610.40 c CG minimize time 0 s
3600.03/3610.40 c CG am1 prop time 0.019893 s
3600.03/3610.40 c CG # am1s reformulated 0
3600.03/3610.40 c CG lower bound derived from am1s 0
3600.03/3610.40 c CG # clausal cores 30
3600.03/3610.40 c CG # cardinality cores 0
3600.03/3610.40 c CG # pb cores 0
3600.03/3610.40 c CG # pb reforms 0
3600.03/3610.40 c CG # cores discarded because of pb reform 0
3600.03/3610.40 d LOWERBOUND 30
3600.03/3610.40 d NCORES 30
3600.03/3610.40 d NPBCORES 0
3600.03/3610.40 d NPBREFORM 0
3600.03/3610.40 d NTRIMMED 0
3600.03/3610.40 d NEXHAUSTED 0
3600.03/3610.40 d NAM1S 0
3600.03/3610.40 d AM1LB 0
3600.03/3610.40 c [Papilo Statistics]
3600.03/3610.40 c prepro time 0.472063s
3600.03/3610.40 c # tsx applied 0
3600.03/3610.40 c # tsx conflicts 0
3600.03/3610.40 c # bound changes 0
3600.03/3610.40 c # side changes 0
3600.03/3610.40 c # coef changes 0
3600.03/3610.40 c # rounds 1
3600.03/3610.40 c # deted vars 0
3600.03/3610.40 c # deted constrs 0
3600.03/3610.40 c # consecutive rounds of only bound changes 0
3600.03/3610.40 c [STEP] postprocessing with Papilo
3600.03/3610.43 o 46
3600.03/3610.43 s SATISFIABLE
3600.03/3610.43 v x1 x2 x3 x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 x1886 x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 x2594 x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 x3411 x3412 x3413 x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 x4445 x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 x6035 x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 x6245 x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 x6429 -x6430 -x6431 -x6432 -x6433 -x6434 x6435 x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60853 MiB free)
memory of node 1: 64510 MiB (59281 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454918-1721473279/watcher-4454918-1721473279 -o /tmp/evaluation-result-4454918-1721473279/solver-4454918-1721473279 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721465999-1079550 --watchdog 3760 mixed-bag HOME/instance-4454918-1721473279.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1085236, runsolver pid=1085233
Current StackSize limit: 8192 KiB
[startup+0.10091 s]*
/proc/loadavg: 4.05 4.14 4.14 5/258 1085237
/proc/meminfo: memFree=123092296/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=86216 memory=15988 CPUtime=0.09 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 2726 0 0 0 9 0 0 0 20 0 1 0 199489754 88285184 3997 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 21554 3997 1660 3002 0 5842 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86216 KiB
Current children cumulated memory: 15988 KiB
[startup+0.205867 s]*
/proc/loadavg: 4.05 4.14 4.14 5/258 1085237
/proc/meminfo: memFree=123083636/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=94408 memory=22256 CPUtime=0.19 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 3290 0 0 0 19 0 0 0 20 0 1 0 199489754 96673792 5564 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 23602 5564 1660 3002 0 7890 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 94408 KiB
Current children cumulated memory: 22256 KiB
[startup+0.30576 s]*
/proc/loadavg: 4.05 4.14 4.14 5/258 1085237
/proc/meminfo: memFree=123072796/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=110792 memory=28628 CPUtime=0.3 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 3851 0 0 0 29 1 0 0 20 0 1 0 199489754 113451008 7157 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 27698 7157 1660 3002 0 11986 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110792 KiB
Current children cumulated memory: 28628 KiB
[startup+0.700237 s]
/proc/loadavg: 4.05 4.14 4.14 5/258 1085237
/proc/meminfo: memFree=123060108/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=143560 memory=51616 CPUtime=0.68 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 4551 0 0 0 66 2 0 0 20 0 1 0 199489754 147005440 12904 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 35890 12904 1660 3002 0 20178 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 143560 KiB
Current children cumulated memory: 51616 KiB
[startup+1.50022 s]
/proc/loadavg: 4.05 4.14 4.14 5/258 1085238
/proc/meminfo: memFree=122911060/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=209096 memory=98076 CPUtime=1.48 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 5434 0 0 0 143 5 0 0 20 0 1 0 199489754 214114304 24519 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 52274 24519 1660 3002 0 36562 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 209096 KiB
Current children cumulated memory: 98076 KiB
[startup+3.10559 s]
/proc/loadavg: 4.04 4.14 4.14 5/258 1085238
/proc/meminfo: memFree=121859920/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=639492 memory=554588 CPUtime=3.08 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 74978 0 0 0 280 28 0 0 20 0 1 0 199489754 654839808 138647 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 159873 138647 3780 3002 0 143622 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 639492 KiB
Current children cumulated memory: 554588 KiB
[startup+6.30023 s]
/proc/loadavg: 4.04 4.14 4.14 5/258 1085238
/proc/meminfo: memFree=120922092/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=1263132 memory=1165308 CPUtime=6.27 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 218045 0 0 0 563 64 0 0 20 0 1 0 199489754 1293447168 291327 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 315783 291327 3860 3002 0 299532 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1263132 KiB
Current children cumulated memory: 1165308 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.13 4.14 5/258 1085240
/proc/meminfo: memFree=118207024/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=2536296 memory=2197596 CPUtime=12.65 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 244141 0 0 0 1178 87 0 0 20 0 1 0 199489754 2597167104 549399 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 634074 549399 3892 3002 0 617823 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2536296 KiB
Current children cumulated memory: 2197596 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.14 4.14 5/258 1085241
/proc/meminfo: memFree=115923832/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3254344 memory=2877740 CPUtime=25.41 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 324117 0 0 0 2415 126 0 0 20 0 1 0 199489754 3332448256 719435 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 813586 719435 4092 3002 0 797335 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3254344 KiB
Current children cumulated memory: 2877740 KiB
[startup+51.1057 s]
/proc/loadavg: 4.13 4.15 4.15 5/258 1085246
/proc/meminfo: memFree=116048936/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3256552 memory=2878916 CPUtime=50.93 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 324467 0 0 0 4966 127 0 0 20 0 1 0 199489754 3334709248 719729 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 814138 719729 4092 3002 0 797887 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 3256552 KiB
Current children cumulated memory: 2878916 KiB
[startup+102.3 s]
/proc/loadavg: 4.30 4.18 4.16 5/258 1085254
/proc/meminfo: memFree=110929828/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3256552 memory=2878980 CPUtime=101.95 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 324645 0 0 0 10066 129 0 0 20 0 1 0 199489754 3334709248 719745 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 814138 719745 4108 3002 0 797887 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 3256552 KiB
Current children cumulated memory: 2878980 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.16 4.15 5/256 1085267
/proc/meminfo: memFree=110918224/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3256552 memory=2878980 CPUtime=161.74 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 324879 0 0 0 16043 131 0 0 20 0 1 0 199489754 3334709248 719745 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 814138 719745 4108 3002 0 797887 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 3256552 KiB
Current children cumulated memory: 2878980 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.14 4.15 5/256 1085277
/proc/meminfo: memFree=110191904/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3256552 memory=2878980 CPUtime=221.53 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 325115 0 0 0 22020 133 0 0 20 0 1 0 199489754 3334709248 719745 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 814138 719745 4108 3002 0 797887 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 3256552 KiB
Current children cumulated memory: 2878980 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.13 4.14 5/255 1085287
/proc/meminfo: memFree=104576004/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3256552 memory=2879012 CPUtime=281.32 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 325313 0 0 0 27997 135 0 0 20 0 1 0 199489754 3334709248 719753 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 814138 719753 4108 3002 0 797887 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 3256552 KiB
Current children cumulated memory: 2879012 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/254 1085297
/proc/meminfo: memFree=109088868/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=1402952 memory=1248432 CPUtime=341.14 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 331859 0 0 0 33870 244 0 0 20 0 1 0 199489754 1436622848 312108 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 350738 312108 4265 3002 0 334487 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 1402952 KiB
Current children cumulated memory: 1248432 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/252 1085322
/proc/meminfo: memFree=121266576/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=1617876 memory=1357152 CPUtime=400.97 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 332522 0 0 0 39549 548 0 0 20 0 1 0 199489754 1656705024 339288 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 404469 339288 4281 3002 0 388218 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 1617876 KiB
Current children cumulated memory: 1357152 KiB
[startup+462.3 s]
/proc/loadavg: 4.36 4.18 4.15 5/254 1085363
/proc/meminfo: memFree=120901612/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=1617876 memory=1426872 CPUtime=460.8 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 332714 0 0 0 44979 1101 0 0 20 0 1 0 199489754 1656705024 356718 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 404469 356718 4281 3002 0 388218 0
################
# More data... #
################
/proc/1085236/statm: 862249 626540 4281 3002 0 845998 0
Current children cumulated CPU time: 2854.05 s
Current children cumulated vsize: 3448996 KiB
Current children cumulated memory: 2506160 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1086423
/proc/meminfo: memFree=113386532/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3448996 memory=2506160 CPUtime=2913.88 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 491677 0 0 0 270001 21387 0 0 20 0 1 0 199489754 3531771904 626540 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 862249 626540 4281 3002 0 845998 0
Current children cumulated CPU time: 2913.88 s
Current children cumulated vsize: 3448996 KiB
Current children cumulated memory: 2506160 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1086434
/proc/meminfo: memFree=113075496/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3448996 memory=2506160 CPUtime=2973.7 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 491938 0 0 0 275617 21753 0 0 20 0 1 0 199489754 3531771904 626540 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 862249 626540 4281 3002 0 845998 0
Current children cumulated CPU time: 2973.7 s
Current children cumulated vsize: 3448996 KiB
Current children cumulated memory: 2506160 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1086444
/proc/meminfo: memFree=112766528/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3546792 memory=2585616 CPUtime=3033.53 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 508042 0 0 0 281231 22122 0 0 20 0 1 0 199489754 3631915008 646404 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 886698 646404 4281 3002 0 870447 0
Current children cumulated CPU time: 3033.53 s
Current children cumulated vsize: 3546792 KiB
Current children cumulated memory: 2585616 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1086454
/proc/meminfo: memFree=112712096/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3546792 memory=2585616 CPUtime=3093.36 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 508201 0 0 0 286746 22590 0 0 20 0 1 0 199489754 3631915008 646404 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 886698 646404 4281 3002 0 870447 0
Current children cumulated CPU time: 3093.36 s
Current children cumulated vsize: 3546792 KiB
Current children cumulated memory: 2585616 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 1086467
/proc/meminfo: memFree=112645484/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3546792 memory=2585616 CPUtime=3153.2 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 508839 0 0 0 292363 22957 0 0 20 0 1 0 199489754 3631915008 646404 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 886698 646404 4281 3002 0 870447 0
Current children cumulated CPU time: 3153.2 s
Current children cumulated vsize: 3546792 KiB
Current children cumulated memory: 2585616 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 1086861
/proc/meminfo: memFree=112569328/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3572680 memory=2617056 CPUtime=3213.02 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 513862 0 0 0 298036 23266 0 0 20 0 1 0 199489754 3658424320 654264 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 893170 654264 4281 3002 0 876919 0
Current children cumulated CPU time: 3213.02 s
Current children cumulated vsize: 3572680 KiB
Current children cumulated memory: 2617056 KiB
[startup+3282.3 s]
/proc/loadavg: 4.25 4.16 4.11 5/257 1086871
/proc/meminfo: memFree=112498604/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3591852 memory=2642476 CPUtime=3272.86 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 517775 0 0 0 303564 23722 0 0 20 0 1 0 199489754 3678056448 660619 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 897963 660619 4281 3002 0 881712 0
Current children cumulated CPU time: 3272.86 s
Current children cumulated vsize: 3591852 KiB
Current children cumulated memory: 2642476 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/257 1086881
/proc/meminfo: memFree=112322572/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3591852 memory=2642476 CPUtime=3332.69 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 519032 0 0 0 309168 24101 0 0 20 0 1 0 199489754 3678056448 660619 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 897963 660619 4281 3002 0 881712 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 3591852 KiB
Current children cumulated memory: 2642476 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/257 1087060
/proc/meminfo: memFree=112275068/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3591852 memory=2642480 CPUtime=3392.52 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 519334 0 0 0 314808 24444 0 0 20 0 1 0 199489754 3678056448 660620 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 897963 660620 4281 3002 0 881712 0
Current children cumulated CPU time: 3392.52 s
Current children cumulated vsize: 3591852 KiB
Current children cumulated memory: 2642480 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 1087070
/proc/meminfo: memFree=112008076/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3633840 memory=2704600 CPUtime=3452.35 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 529095 0 0 0 320411 24824 0 0 20 0 1 0 199489754 3721052160 676150 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 908460 676150 4281 3002 0 892209 0
Current children cumulated CPU time: 3452.35 s
Current children cumulated vsize: 3633840 KiB
Current children cumulated memory: 2704600 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/257 1087083
/proc/meminfo: memFree=111924900/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3633840 memory=2704600 CPUtime=3512.18 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 529775 0 0 0 325959 25259 0 0 20 0 1 0 199489754 3721052160 676150 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 908460 676150 4281 3002 0 892209 0
Current children cumulated CPU time: 3512.18 s
Current children cumulated vsize: 3633840 KiB
Current children cumulated memory: 2704600 KiB
[startup+3582.3 s]
/proc/loadavg: 4.44 4.21 4.12 5/256 1087105
/proc/meminfo: memFree=111887156/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3633840 memory=2704600 CPUtime=3572.01 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 530059 0 0 0 331594 25607 0 0 20 0 1 0 199489754 3721052160 676150 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 908460 676150 4281 3002 0 892209 0
Current children cumulated CPU time: 3572.01 s
Current children cumulated vsize: 3633840 KiB
Current children cumulated memory: 2704600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.04 4.14 4.10 3/242 1087171
/proc/meminfo: memFree=124065832/131524600 swapFree=131071996/131071996
[pid=1085236] ppid=1085233 vsize=3633840 memory=2704600 CPUtime=3600.03 cores=1,3
/proc/1085236/stat : 1085236 (mixed-bag) R 1085233 1085236 1079538 0 -1 4194304 530200 0 0 0 334249 25754 0 0 20 0 1 0 199489754 3721052160 676150 134679101440 4194304 16488053 140726836276480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 45801472 140726836282389 140726836282466 140726836282466 140726836289483 0
/proc/1085236/statm: 908460 676150 4281 3002 0 892209 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3633840 KiB
Current children cumulated memory: 2704600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.52 s]
# the end of solver process 1085236 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3342.52 s, system=257.64 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]*
/proc/loadavg: 4.04 4.14 4.10 3/242 1087171
/proc/meminfo: memFree=125703560/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3610.52
CPU time (s): 3600.16
CPU user time (s): 3342.52
CPU system time (s): 257.64
CPU usage (%): 99.713
Max. virtual memory (cumulated for all children) (KiB): 3633840
Max. memory (cumulated for all children) (KiB): 2952784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3342.52
system time used= 257.64
maximum resident set size= 2982036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 532955
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= 11
involuntary context switches= 1846
# summary of solver processes directly reported to runsolver:
# pid: 1085236
# total CPU time (s): 3600.16
# total CPU user time (s): 3342.52
# total CPU system time (s): 257.64
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04007 second user time and 17.1679 second system time
The end
Begin job on nodeC017 at 2024-07-20 13:01:32
IDJOB=4454918
IDBENCH=155400
IDSOLVER=3083
FILE ID=nodeC017/4454918-1721473279
RUNJOBID= nodeC017-1721465999-1079550
SLURM_JOB_ID= 7545717
Free space on /tmp= 889720 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454918-1721473279/watcher-4454918-1721473279 -o /tmp/evaluation-result-4454918-1721473279/solver-4454918-1721473279 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721465999-1079550 --watchdog 3760 mixed-bag HOME/instance-4454918-1721473279.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=1905472032
nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.372
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
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 : 3665.615
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3599.900
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
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 : 3679.025
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3687.469
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
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 : 3679.483
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.028
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.761
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123081592 kB
MemAvailable: 125984232 kB
Buffers: 610676 kB
Cached: 3113752 kB
SwapCached: 0 kB
Active: 1606692 kB
Inactive: 6159384 kB
Active(anon): 1552 kB
Inactive(anon): 4086324 kB
Active(file): 1605140 kB
Inactive(file): 2073060 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 128924 kB
Writeback: 40 kB
AnonPages: 4041932 kB
Mapped: 123560 kB
Shmem: 45912 kB
KReclaimable: 128176 kB
Slab: 244544 kB
SReclaimable: 128176 kB
SUnreclaim: 116368 kB
KernelStack: 4112 kB
PageTables: 17412 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4717024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3592192 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 305876 kB
DirectMap2M: 43507712 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC017 at 2024-07-20 14:01:42