0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
2.61/2.74 c [STEP] preprocessing with Papilo
3.10/3.22 c Papilo could not simplify the problem
3.10/3.22 c [STEP] solving with SCIP
300.92/303.86 c [STEP] preprocessing done, loading into solver
301.42/304.39 c [STEP] solving
301.42/304.39 c #variables 7841 #constraints 65280
301.42/304.39 c SMALL=int, LARGE=long long
301.42/304.39 d SCIPUB 48
301.42/304.39 c bounds - >= 0 @ 300.051
301.42/304.39 c stratification level: 0
360.72/364.24 c bounds - >= 1 @ 300.128
360.72/364.24 c bounds - >= 2 @ 300.129
360.72/364.24 c bounds - >= 3 @ 300.136
360.72/364.24 c bounds - >= 4 @ 300.138
360.72/364.24 c bounds - >= 5 @ 300.141
360.72/364.24 c bounds - >= 6 @ 300.143
360.72/364.24 c bounds - >= 7 @ 300.146
360.72/364.24 c bounds - >= 8 @ 300.149
360.72/364.24 c bounds - >= 9 @ 300.151
360.72/364.24 c bounds - >= 10 @ 300.152
360.72/364.24 c bounds - >= 11 @ 300.156
360.72/364.24 c bounds - >= 12 @ 300.159
360.72/364.24 c bounds - >= 13 @ 300.164
360.72/364.24 c bounds - >= 14 @ 300.165
360.72/364.24 c bounds - >= 15 @ 300.167
360.72/364.24 c bounds - >= 16 @ 300.167
360.72/364.24 c bounds - >= 17 @ 300.19
360.72/364.24 c bounds - >= 18 @ 300.193
360.72/364.24 c bounds - >= 19 @ 300.196
360.72/364.24 c bounds - >= 20 @ 300.199
360.72/364.24 c bounds - >= 21 @ 300.202
360.72/364.24 c bounds - >= 22 @ 300.205
360.72/364.24 c bounds - >= 23 @ 300.209
360.72/364.24 c #Conflicts: 1000 | #Constraints: 66303
360.72/364.24 c #Conflicts: 2000 | #Constraints: 67303
360.72/364.24 c INPROCESSING
360.72/364.24 c GARBAGE COLLECT
360.72/364.24 c #Conflicts: 3000 | #Constraints: 67292
360.72/364.24 c #Conflicts: 4000 | #Constraints: 68292
360.72/364.24 c INPROCESSING
360.72/364.24 c GARBAGE COLLECT
360.72/364.24 c #Conflicts: 5000 | #Constraints: 67699
360.72/364.24 c #Conflicts: 6000 | #Constraints: 68699
360.72/364.24 c INPROCESSING
360.72/364.24 c GARBAGE COLLECT
360.72/364.24 c #Conflicts: 7000 | #Constraints: 67703
360.72/364.24 c #Conflicts: 8000 | #Constraints: 68703
360.72/364.24 c #Conflicts: 9000 | #Constraints: 69703
360.72/364.24 c INPROCESSING
360.72/364.24 c GARBAGE COLLECT
360.72/364.24 c #Conflicts: 10000 | #Constraints: 68407
360.72/364.24 c #Conflicts: 11000 | #Constraints: 69407
360.72/364.24 c #Conflicts: 12000 | #Constraints: 70407
360.72/364.24 c INPROCESSING
360.72/364.24 c GARBAGE COLLECT
360.72/364.24 c #Conflicts: 13000 | #Constraints: 68860
360.72/364.24 c #Conflicts: 14000 | #Constraints: 69860
360.72/364.24 c #Conflicts: 15000 | #Constraints: 70860
360.72/364.24 c INPROCESSING
360.72/364.24 c GARBAGE COLLECT
360.72/364.24 c #Conflicts: 16000 | #Constraints: 69093
360.72/364.24 c #Conflicts: 17000 | #Constraints: 70093
360.72/364.24 c #Conflicts: 18000 | #Constraints: 71093
360.72/364.24 c INPROCESSING
360.72/364.24 c GARBAGE COLLECT
360.72/364.24 c #Conflicts: 19000 | #Constraints: 69109
360.72/364.24 c #Conflicts: 20000 | #Constraints: 70109
360.72/364.24 c finalizing WCE round: reformulating cores
991.14/996.65 c #Conflicts: 21000 | #Constraints: 71117
991.14/996.65 c INPROCESSING
991.14/996.65 c GARBAGE COLLECT
991.14/996.65 c #Conflicts: 22000 | #Constraints: 68909
991.14/996.65 c #Conflicts: 23000 | #Constraints: 69911
991.14/996.65 c #Conflicts: 24000 | #Constraints: 70915
991.14/996.65 c #Conflicts: 25000 | #Constraints: 71917
991.14/996.65 c INPROCESSING
991.14/996.65 c GARBAGE COLLECT
991.14/996.65 c #Conflicts: 26000 | #Constraints: 69523
991.14/996.65 c #Conflicts: 27000 | #Constraints: 70525
991.14/996.65 c #Conflicts: 28000 | #Constraints: 71527
991.14/996.65 c #Conflicts: 29000 | #Constraints: 72531
991.14/996.65 c INPROCESSING
991.14/996.65 c GARBAGE COLLECT
991.14/996.65 c #Conflicts: 30000 | #Constraints: 69929
991.14/996.65 c #Conflicts: 31000 | #Constraints: 70931
991.14/996.65 c #Conflicts: 32000 | #Constraints: 71933
991.14/996.65 c #Conflicts: 33000 | #Constraints: 72937
991.14/996.65 c INPROCESSING
991.14/996.65 c GARBAGE COLLECT
991.14/996.65 c #Conflicts: 34000 | #Constraints: 70138
991.14/996.65 c #Conflicts: 35000 | #Constraints: 71140
991.14/996.65 c #Conflicts: 36000 | #Constraints: 72142
991.14/996.65 c #Conflicts: 37000 | #Constraints: 73146
991.14/996.65 c INPROCESSING
991.14/996.65 c GARBAGE COLLECT
991.14/996.65 c #Conflicts: 38000 | #Constraints: 70152
991.14/996.65 c bounds 46 >= 23 @ 438.377
991.14/996.65 c bounds 46 >= 24 @ 438.389
991.14/996.65 c bounds 46 >= 25 @ 438.394
991.14/996.65 c bounds 46 >= 26 @ 438.399
991.14/996.65 c bounds 46 >= 27 @ 438.406
991.14/996.65 c bounds 46 >= 28 @ 438.42
991.14/996.65 c bounds 46 >= 29 @ 438.436
991.14/996.65 c bounds 46 >= 30 @ 438.651
991.14/996.65 c #Conflicts: 39000 | #Constraints: 71244
991.14/996.65 c #Conflicts: 40000 | #Constraints: 72244
991.14/996.65 c #Conflicts: 41000 | #Constraints: 73244
991.14/996.65 c INPROCESSING
991.14/996.65 c GARBAGE COLLECT
991.14/996.65 c #Conflicts: 42000 | #Constraints: 70018
991.14/996.65 c #Conflicts: 43000 | #Constraints: 71018
991.14/996.65 c #Conflicts: 44000 | #Constraints: 72018
991.14/996.65 c #Conflicts: 45000 | #Constraints: 73018
991.14/996.65 c #Conflicts: 46000 | #Constraints: 74018
991.14/996.65 c INPROCESSING
991.14/996.65 c GARBAGE COLLECT
991.14/996.65 c #Conflicts: 47000 | #Constraints: 70609
991.14/996.65 c #Conflicts: 48000 | #Constraints: 71609
991.14/996.65 c #Conflicts: 49000 | #Constraints: 72609
991.14/996.65 c #Conflicts: 50000 | #Constraints: 73609
991.14/996.65 c #Conflicts: 51000 | #Constraints: 74609
991.14/996.65 c INPROCESSING
991.14/996.65 c GARBAGE COLLECT
991.14/996.65 c #Conflicts: 52000 | #Constraints: 71002
991.14/996.65 c #Conflicts: 53000 | #Constraints: 72002
991.14/996.65 c #Conflicts: 54000 | #Constraints: 73002
991.14/996.65 c #Conflicts: 55000 | #Constraints: 74002
991.14/996.65 c #Conflicts: 56000 | #Constraints: 75002
991.14/996.65 c INPROCESSING
991.14/996.65 c GARBAGE COLLECT
991.14/996.65 c #Conflicts: 57000 | #Constraints: 71205
991.14/996.65 c #Conflicts: 58000 | #Constraints: 72205
991.14/996.65 c #Conflicts: 59000 | #Constraints: 73205
991.14/996.65 c #Conflicts: 60000 | #Constraints: 74205
991.14/996.65 c #Conflicts: 61000 | #Constraints: 75205
991.14/996.65 c INPROCESSING
991.14/996.65 c GARBAGE COLLECT
991.14/996.65 c #Conflicts: 62000 | #Constraints: 71193
991.14/996.65 c #Conflicts: 63000 | #Constraints: 72193
991.14/996.65 c #Conflicts: 64000 | #Constraints: 73193
991.14/996.65 c #Conflicts: 65000 | #Constraints: 74193
991.14/996.65 c #Conflicts: 66000 | #Constraints: 75193
991.14/996.65 c INPROCESSING
991.14/996.65 c GARBAGE COLLECT
991.14/996.65 c #Conflicts: 67000 | #Constraints: 70999
991.14/996.65 c #Conflicts: 68000 | #Constraints: 71999
991.14/996.65 c #Conflicts: 69000 | #Constraints: 72999
991.14/996.65 c #Conflicts: 70000 | #Constraints: 73999
991.14/996.65 c #Conflicts: 71000 | #Constraints: 74999
991.14/996.65 c #Conflicts: 72000 | #Constraints: 75999
991.14/996.65 c INPROCESSING
991.14/996.65 c GARBAGE COLLECT
991.14/996.65 c #Conflicts: 73000 | #Constraints: 71600
991.14/996.65 c #Conflicts: 74000 | #Constraints: 72600
991.14/996.65 c #Conflicts: 75000 | #Constraints: 73600
991.14/996.65 c #Conflicts: 76000 | #Constraints: 74600
991.14/996.65 c #Conflicts: 77000 | #Constraints: 75600
991.14/996.65 c #Conflicts: 78000 | #Constraints: 76600
991.14/996.65 c INPROCESSING
991.14/996.65 c GARBAGE COLLECT
991.14/996.65 c #Conflicts: 79000 | #Constraints: 71998
991.14/996.65 c #Conflicts: 80000 | #Constraints: 72998
991.14/996.65 c #Conflicts: 81000 | #Constraints: 73998
991.14/996.65 c #Conflicts: 82000 | #Constraints: 74998
991.14/996.65 c #Conflicts: 83000 | #Constraints: 75998
991.14/996.65 c #Conflicts: 84000 | #Constraints: 76998
991.14/996.65 c INPROCESSING
991.14/996.65 c GARBAGE COLLECT
991.14/996.65 c #Conflicts: 85000 | #Constraints: 72201
991.14/996.65 c #Conflicts: 86000 | #Constraints: 73201
2261.39/2270.84 c #Conflicts: 87000 | #Constraints: 74201
2261.39/2270.84 c #Conflicts: 88000 | #Constraints: 75201
2261.39/2270.84 c #Conflicts: 89000 | #Constraints: 76201
2261.39/2270.84 c #Conflicts: 90000 | #Constraints: 77201
2261.39/2270.84 c INPROCESSING
2261.39/2270.84 c GARBAGE COLLECT
2261.39/2270.84 c #Conflicts: 91000 | #Constraints: 72201
2261.39/2270.84 c #Conflicts: 92000 | #Constraints: 73201
2261.39/2270.84 c #Conflicts: 93000 | #Constraints: 74201
2261.39/2270.84 c #Conflicts: 94000 | #Constraints: 75201
2261.39/2270.84 c #Conflicts: 95000 | #Constraints: 76201
2261.39/2270.84 c #Conflicts: 96000 | #Constraints: 77201
2261.39/2270.84 c INPROCESSING
2261.39/2270.84 c GARBAGE COLLECT
2261.39/2270.84 c #Conflicts: 97000 | #Constraints: 72001
2261.39/2270.84 c #Conflicts: 98000 | #Constraints: 73001
2261.39/2270.84 c #Conflicts: 99000 | #Constraints: 74001
2261.39/2270.84 c #Conflicts: 100000 | #Constraints: 75001
2261.39/2270.84 c #Conflicts: 101000 | #Constraints: 76001
2261.39/2270.84 c #Conflicts: 102000 | #Constraints: 77001
2261.39/2270.84 c #Conflicts: 103000 | #Constraints: 78001
2261.39/2270.84 c INPROCESSING
2261.39/2270.84 c GARBAGE COLLECT
2261.39/2270.84 c #Conflicts: 104000 | #Constraints: 72595
2261.39/2270.84 c #Conflicts: 105000 | #Constraints: 73595
2261.39/2270.84 c #Conflicts: 106000 | #Constraints: 74595
2261.39/2270.84 c #Conflicts: 107000 | #Constraints: 75595
2261.39/2270.84 c #Conflicts: 108000 | #Constraints: 76595
2261.39/2270.84 c #Conflicts: 109000 | #Constraints: 77595
2261.39/2270.84 c #Conflicts: 110000 | #Constraints: 78595
2261.39/2270.84 c INPROCESSING
2261.39/2270.84 c GARBAGE COLLECT
2261.39/2270.84 c #Conflicts: 111000 | #Constraints: 72998
2261.39/2270.84 c #Conflicts: 112000 | #Constraints: 73998
2261.39/2270.84 c #Conflicts: 113000 | #Constraints: 74998
2261.39/2270.84 c #Conflicts: 114000 | #Constraints: 75998
2261.39/2270.84 c #Conflicts: 115000 | #Constraints: 76998
2261.39/2270.84 c #Conflicts: 116000 | #Constraints: 77998
2261.39/2270.84 c #Conflicts: 117000 | #Constraints: 78998
2261.39/2270.84 c INPROCESSING
2261.39/2270.84 c GARBAGE COLLECT
2261.39/2270.84 c #Conflicts: 118000 | #Constraints: 73202
2261.39/2270.84 c #Conflicts: 119000 | #Constraints: 74202
2261.39/2270.84 c #Conflicts: 120000 | #Constraints: 75202
2261.39/2270.84 c #Conflicts: 121000 | #Constraints: 76202
2261.39/2270.84 c #Conflicts: 122000 | #Constraints: 77202
2261.39/2270.85 c #Conflicts: 123000 | #Constraints: 78202
2261.39/2270.85 c #Conflicts: 124000 | #Constraints: 79202
2261.39/2270.85 c INPROCESSING
2261.39/2270.85 c GARBAGE COLLECT
2261.39/2270.85 c #Conflicts: 125000 | #Constraints: 73194
2261.39/2270.85 c #Conflicts: 126000 | #Constraints: 74194
2261.39/2270.85 c #Conflicts: 127000 | #Constraints: 75194
2261.39/2270.85 c #Conflicts: 128000 | #Constraints: 76194
2261.39/2270.85 c #Conflicts: 129000 | #Constraints: 77194
2261.39/2270.85 c #Conflicts: 130000 | #Constraints: 78194
2261.39/2270.85 c #Conflicts: 131000 | #Constraints: 79194
2261.39/2270.85 c INPROCESSING
2261.39/2270.85 c GARBAGE COLLECT
2261.39/2270.85 c #Conflicts: 132000 | #Constraints: 72993
2261.39/2270.85 c #Conflicts: 133000 | #Constraints: 73993
2261.39/2270.85 c #Conflicts: 134000 | #Constraints: 74993
2261.39/2270.85 c #Conflicts: 135000 | #Constraints: 75993
2261.39/2270.85 c #Conflicts: 136000 | #Constraints: 76993
2261.39/2270.85 c #Conflicts: 137000 | #Constraints: 77993
2261.39/2270.85 c #Conflicts: 138000 | #Constraints: 78993
2261.39/2270.85 c #Conflicts: 139000 | #Constraints: 79993
2261.39/2270.85 c INPROCESSING
2261.39/2270.85 c GARBAGE COLLECT
2261.39/2270.85 c #Conflicts: 140000 | #Constraints: 73599
2261.39/2270.85 c #Conflicts: 141000 | #Constraints: 74599
2261.39/2270.85 c #Conflicts: 142000 | #Constraints: 75599
2261.39/2270.85 c #Conflicts: 143000 | #Constraints: 76599
2261.39/2270.85 c #Conflicts: 144000 | #Constraints: 77599
2261.39/2270.85 c #Conflicts: 145000 | #Constraints: 78599
2261.39/2270.85 c #Conflicts: 146000 | #Constraints: 79599
2261.39/2270.85 c #Conflicts: 147000 | #Constraints: 80599
2261.39/2270.85 c INPROCESSING
2261.39/2270.85 c GARBAGE COLLECT
2261.39/2270.85 c #Conflicts: 148000 | #Constraints: 73998
2261.39/2270.85 c #Conflicts: 149000 | #Constraints: 74998
2261.39/2270.85 c #Conflicts: 150000 | #Constraints: 75998
2261.39/2270.85 c #Conflicts: 151000 | #Constraints: 76998
2261.39/2270.85 c #Conflicts: 152000 | #Constraints: 77998
2261.39/2270.85 c #Conflicts: 153000 | #Constraints: 78998
2261.39/2270.85 c #Conflicts: 154000 | #Constraints: 79998
2261.39/2270.85 c #Conflicts: 155000 | #Constraints: 80998
2261.39/2270.85 c INPROCESSING
2261.39/2270.85 c GARBAGE COLLECT
2261.39/2270.85 c #Conflicts: 156000 | #Constraints: 74198
2261.39/2270.85 c #Conflicts: 157000 | #Constraints: 75198
2261.39/2270.85 c #Conflicts: 158000 | #Constraints: 76198
2261.39/2270.85 c #Conflicts: 159000 | #Constraints: 77198
3600.01/3613.30 c #Conflicts: 160000 | #Constraints: 78198
3600.01/3613.30 c #Conflicts: 161000 | #Constraints: 79198
3600.01/3613.30 c #Conflicts: 162000 | #Constraints: 80198
3600.01/3613.30 c #Conflicts: 163000 | #Constraints: 81198
3600.01/3613.30 c INPROCESSING
3600.01/3613.30 c GARBAGE COLLECT
3600.01/3613.30 c #Conflicts: 164000 | #Constraints: 74199
3600.01/3613.30 c #Conflicts: 165000 | #Constraints: 75199
3600.01/3613.30 c #Conflicts: 166000 | #Constraints: 76199
3600.01/3613.30 c #Conflicts: 167000 | #Constraints: 77199
3600.01/3613.30 c #Conflicts: 168000 | #Constraints: 78199
3600.01/3613.30 c #Conflicts: 169000 | #Constraints: 79199
3600.01/3613.30 c #Conflicts: 170000 | #Constraints: 80199
3600.01/3613.30 c #Conflicts: 171000 | #Constraints: 81199
3600.01/3613.30 c INPROCESSING
3600.01/3613.30 c GARBAGE COLLECT
3600.01/3613.30 c #Conflicts: 172000 | #Constraints: 73994
3600.01/3613.30 c #Conflicts: 173000 | #Constraints: 74994
3600.01/3613.30 c #Conflicts: 174000 | #Constraints: 75994
3600.01/3613.30 c #Conflicts: 175000 | #Constraints: 76994
3600.01/3613.30 c #Conflicts: 176000 | #Constraints: 77994
3600.01/3613.30 c #Conflicts: 177000 | #Constraints: 78994
3600.01/3613.30 c #Conflicts: 178000 | #Constraints: 79994
3600.01/3613.30 c #Conflicts: 179000 | #Constraints: 80994
3600.01/3613.30 c #Conflicts: 180000 | #Constraints: 81994
3600.01/3613.30 c INPROCESSING
3600.01/3613.30 c GARBAGE COLLECT
3600.01/3613.30 c #Conflicts: 181000 | #Constraints: 74598
3600.01/3613.30 c #Conflicts: 182000 | #Constraints: 75598
3600.01/3613.30 c #Conflicts: 183000 | #Constraints: 76598
3600.01/3613.30 c #Conflicts: 184000 | #Constraints: 77598
3600.01/3613.30 c #Conflicts: 185000 | #Constraints: 78598
3600.01/3613.30 c #Conflicts: 186000 | #Constraints: 79598
3600.01/3613.30 c #Conflicts: 187000 | #Constraints: 80598
3600.01/3613.30 c #Conflicts: 188000 | #Constraints: 81598
3600.01/3613.30 c #Conflicts: 189000 | #Constraints: 82598
3600.01/3613.30 c INPROCESSING
3600.01/3613.30 c GARBAGE COLLECT
3600.01/3613.30 c #Conflicts: 190000 | #Constraints: 75002
3600.01/3613.30 c #Conflicts: 191000 | #Constraints: 76002
3600.01/3613.30 c #Conflicts: 192000 | #Constraints: 77002
3600.01/3613.30 c #Conflicts: 193000 | #Constraints: 78002
3600.01/3613.30 c #Conflicts: 194000 | #Constraints: 79002
3600.01/3613.30 c #Conflicts: 195000 | #Constraints: 80002
3600.01/3613.30 c #Conflicts: 196000 | #Constraints: 81002
3600.01/3613.30 c #Conflicts: 197000 | #Constraints: 82002
3600.01/3613.30 c #Conflicts: 198000 | #Constraints: 83002
3600.01/3613.30 c INPROCESSING
3600.01/3613.30 c GARBAGE COLLECT
3600.01/3613.30 c #Conflicts: 199000 | #Constraints: 75205
3600.01/3613.30 c #Conflicts: 200000 | #Constraints: 76205
3600.01/3613.30 c #Conflicts: 201000 | #Constraints: 77205
3600.01/3613.30 c #Conflicts: 202000 | #Constraints: 78205
3600.01/3613.30 c #Conflicts: 203000 | #Constraints: 79205
3600.01/3613.30 c #Conflicts: 204000 | #Constraints: 80205
3600.01/3613.30 c #Conflicts: 205000 | #Constraints: 81205
3600.01/3613.30 c #Conflicts: 206000 | #Constraints: 82205
3600.01/3613.30 c #Conflicts: 207000 | #Constraints: 83205
3600.01/3613.30 c INPROCESSING
3600.01/3613.30 c GARBAGE COLLECT
3600.01/3613.30 c #Conflicts: 208000 | #Constraints: 75205
3600.01/3613.30 c #Conflicts: 209000 | #Constraints: 76205
3600.01/3613.30 c #Conflicts: 210000 | #Constraints: 77205
3600.01/3613.30 c #Conflicts: 211000 | #Constraints: 78205
3600.01/3613.30 c #Conflicts: 212000 | #Constraints: 79205
3600.01/3613.30 c #Conflicts: 213000 | #Constraints: 80205
3600.01/3613.30 c #Conflicts: 214000 | #Constraints: 81205
3600.01/3613.30 c #Conflicts: 215000 | #Constraints: 82205
3600.01/3613.30 c #Conflicts: 216000 | #Constraints: 83205
3600.01/3613.30 c INPROCESSING
3600.01/3613.30 c GARBAGE COLLECT
3600.01/3613.30 c #Conflicts: 217000 | #Constraints: 75006
3600.01/3613.30 c #Conflicts: 218000 | #Constraints: 76006
3600.01/3613.30 c #Conflicts: 219000 | #Constraints: 77006
3600.01/3613.30 c #Conflicts: 220000 | #Constraints: 78006
3600.01/3613.30 c #Conflicts: 221000 | #Constraints: 79006
3600.01/3613.30 c #Conflicts: 222000 | #Constraints: 80006
3600.01/3613.30 c Program interrupted by user.
3600.01/3613.30 c cpu time 3347.57 s
3600.01/3613.30 c deterministic time 104306129875 1.04e+11
3600.01/3613.30 c optimization time 199.932 s
3600.01/3613.30 c total solve time 2847.59 s
3600.01/3613.30 c core-guided solve time 2847.59 s
3600.01/3613.30 c propagation time 2471.21 s
3600.01/3613.30 c conflict analysis time 294.623 s
3600.01/3613.30 c propagations 164275384
3600.01/3613.30 c resolve steps 785301
3600.01/3613.30 c decisions 357215464
3600.01/3613.30 c conflicts 222986
3600.01/3613.30 c restarts 510
3600.01/3613.30 c inprocessing phases 38
3600.01/3613.30 c input clauses 65309
3600.01/3613.30 c input cardinalities 83
3600.01/3613.30 c input general constraints 51
3600.01/3613.30 c input average constraint length 58.61
3600.01/3613.30 c input average constraint degree 1.40
3600.01/3613.30 c learned clauses 6963
3600.01/3613.30 c learned cardinalities 2622
3600.01/3613.30 c learned general constraints 213402
3600.01/3613.30 c learned average constraint length 6651.56
3600.01/3613.30 c learned average constraint degree 48378.26
3600.01/3613.30 c watched constraints 2031
3600.01/3613.30 c counting constraints 211422
3600.01/3613.30 c gcd simplifications 323
3600.01/3613.30 c detected cardinalities 9
3600.01/3613.30 c weakened non-implied lits 47999398
3600.01/3613.30 c weakened non-implying lits 2626
3600.01/3613.30 c original variables 7840
3600.01/3613.30 c clausal propagations 2516068
3600.01/3613.30 c cardinality propagations 1388880
3600.01/3613.30 c watched propagations 138200
3600.01/3613.30 c counting propagations 157986006
3600.01/3613.30 c watch lookups 38836022929
3600.01/3613.30 c watch backjump lookups 38664912117
3600.01/3613.30 c watch checks 1240542240
3600.01/3613.30 c propagation checks 21303729156
3600.01/3613.30 c constraint additions 3217723551
3600.01/3613.30 c trail pops 521709033
3600.01/3613.30 c formula constraints 65280
3600.01/3613.30 c learned constraints 222987
3600.01/3613.30 c bound constraints 33
3600.01/3613.30 c core-guided constraints 130
3600.01/3613.30 c encountered formula constraints 454531
3600.01/3613.30 c encountered learned constraints 501507
3600.01/3613.30 c encountered bound constraints 346
3600.01/3613.30 c encountered core-guided constraints 51903
3600.01/3613.30 c LP total time 0 s
3600.01/3613.30 c LP solve time 0 s
3600.01/3613.30 c LP constraints added 0
3600.01/3613.30 c LP constraints removed 0
3600.01/3613.30 c LP pivots internal 0
3600.01/3613.30 c LP pivots root 0
3600.01/3613.30 c LP calls 0
3600.01/3613.30 c LP optimalities 0
3600.01/3613.30 c LP no pivot count 0
3600.01/3613.30 c LP infeasibilities 0
3600.01/3613.30 c LP valid Farkas constraints 0
3600.01/3613.30 c LP learned Farkas constraints 0
3600.01/3613.30 c LP basis resets 0
3600.01/3613.30 c LP cycling count 0
3600.01/3613.30 c LP singular count 0
3600.01/3613.30 c LP no primal count 0
3600.01/3613.30 c LP no farkas count 0
3600.01/3613.30 c LP other issue count 0
3600.01/3613.30 c LP Gomory cuts 0
3600.01/3613.30 c LP learned cuts 0
3600.01/3613.30 c LP deleted cuts 0
3600.01/3613.30 c LP encountered Gomory constraints 0
3600.01/3613.30 c LP encountered Farkas constraints 0
3600.01/3613.30 c LP encountered learned Farkas constraints 0
3600.01/3613.30 c CG auxiliary variables introduced 51
3600.01/3613.30 c CG solutions found 1
3600.01/3613.30 c CG cores constructed 30
3600.01/3613.30 c CG core cardinality constraints returned 0
3600.01/3613.30 c CG unit cores 0
3600.01/3613.30 c CG single cores 30
3600.01/3613.30 c CG blocks removed during cardinality reduction 0
3600.01/3613.30 c CG first core best 0
3600.01/3613.30 c CG decision core best 0
3600.01/3613.30 c CG core reduction tie 0
3600.01/3613.30 c CG core degree average 1.00
3600.01/3613.30 c CG core slack average 111.67
3600.01/3613.30 c CG exhausted 0
3600.01/3613.30 c CG exhaust time 80.1293 s
3600.01/3613.30 c CG trimmed 0
3600.01/3613.30 c CG trim time 0.007734 s
3600.01/3613.30 c CG minimized 0
3600.01/3613.30 c CG minimize time 0 s
3600.01/3613.30 c CG am1 prop time 0.019527 s
3600.01/3613.30 c CG # am1s reformulated 0
3600.01/3613.30 c CG lower bound derived from am1s 0
3600.01/3613.30 c CG # clausal cores 30
3600.01/3613.30 c CG # cardinality cores 0
3600.01/3613.30 c CG # pb cores 0
3600.01/3613.30 c CG # pb reforms 0
3600.01/3613.30 c CG # cores discarded because of pb reform 0
3600.01/3613.30 d LOWERBOUND 30
3600.01/3613.30 d NCORES 30
3600.01/3613.30 d NPBCORES 0
3600.01/3613.30 d NPBREFORM 0
3600.01/3613.30 d NTRIMMED 0
3600.01/3613.30 d NEXHAUSTED 0
3600.01/3613.30 d NAM1S 0
3600.01/3613.30 d AM1LB 0
3600.01/3613.30 c [Papilo Statistics]
3600.01/3613.30 c prepro time 0.475926s
3600.01/3613.30 c # tsx applied 0
3600.01/3613.30 c # tsx conflicts 0
3600.01/3613.30 c # bound changes 0
3600.01/3613.30 c # side changes 0
3600.01/3613.30 c # coef changes 0
3600.01/3613.30 c # rounds 1
3600.01/3613.30 c # deted vars 0
3600.01/3613.30 c # deted constrs 0
3600.01/3613.30 c # consecutive rounds of only bound changes 0
3600.01/3613.30 c [STEP] postprocessing with Papilo
3600.01/3613.34 o 46
3600.01/3613.34 s SATISFIABLE
3600.01/3613.34 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: 63837 MiB (62353 MiB free)
memory of node 1: 64465 MiB (63420 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502867-1751435994/watcher-4502867-1751435994 -o /tmp/evaluation-result-4502867-1751435994/solver-4502867-1751435994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751435684-72016 --watchdog 3760 mixed-bag HOME/instance-4502867-1751435994.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=72204, runsolver pid=72201
[startup+0.100063 s]*
/proc/loadavg: 2.99 2.53 2.73 3/238 72205
/proc/meminfo: memFree=128787468/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=90388 memory=15348 CPUtime=0.08 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 2606 0 0 0 7 1 0 0 20 0 1 0 59278585 92557312 3837 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 22597 3837 2176 2842 0 4830 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 90388 KiB
Current children cumulated memory: 15348 KiB
[startup+0.208716 s]*
/proc/loadavg: 2.99 2.53 2.73 3/238 72205
/proc/meminfo: memFree=128787468/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=94484 memory=17456 CPUtime=0.18 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 3146 0 0 0 17 1 0 0 20 0 1 0 59278585 96751616 4364 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 23621 4364 2176 2842 0 5854 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 94484 KiB
Current children cumulated memory: 17456 KiB
[startup+0.308743 s]*
/proc/loadavg: 2.99 2.53 2.73 3/238 72205
/proc/meminfo: memFree=128779024/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=110872 memory=29868 CPUtime=0.26 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 3684 0 0 0 25 1 0 0 20 0 1 0 59278585 113532928 7467 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 27718 7467 2176 2842 0 9951 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 110872 KiB
Current children cumulated memory: 29868 KiB
[startup+0.700214 s]
/proc/loadavg: 2.99 2.53 2.73 3/238 72205
/proc/meminfo: memFree=128779024/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=119060 memory=36400 CPUtime=0.64 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 4311 0 0 0 62 2 0 0 20 0 1 0 59278585 121917440 9100 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 29765 9100 2176 2842 0 11998 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 119060 KiB
Current children cumulated memory: 36400 KiB
[startup+1.50017 s]
/proc/loadavg: 2.99 2.53 2.73 3/238 72205
/proc/meminfo: memFree=128728960/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=151828 memory=76400 CPUtime=1.43 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 5130 0 0 0 139 4 0 0 20 0 1 0 59278585 155471872 19100 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 37957 19100 2176 2842 0 20190 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 151828 KiB
Current children cumulated memory: 76400 KiB
[startup+3.10502 s]
/proc/loadavg: 2.99 2.54 2.73 3/238 72205
/proc/meminfo: memFree=128324448/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=515600 memory=417156 CPUtime=3.01 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 15572 0 0 0 279 22 0 0 20 0 1 0 59278585 527974400 104289 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 128900 104289 2336 2842 0 110594 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 515600 KiB
Current children cumulated memory: 417156 KiB
[startup+6.3002 s]
/proc/loadavg: 2.99 2.54 2.73 3/238 72205
/proc/meminfo: memFree=127417108/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=1038120 memory=933820 CPUtime=6.18 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 158923 0 0 0 554 64 0 0 20 0 1 0 59278585 1063034880 233455 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 259530 233455 4064 2842 0 241224 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 1038120 KiB
Current children cumulated memory: 933820 KiB
[startup+12.7002 s]
/proc/loadavg: 3.00 2.54 2.74 3/238 72205
/proc/meminfo: memFree=126603316/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=2538428 memory=2193616 CPUtime=12.52 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 243914 0 0 0 1150 102 0 0 20 0 1 0 59278585 2599350272 548404 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 634607 548404 4096 2842 0 616301 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 2538428 KiB
Current children cumulated memory: 2193616 KiB
[startup+25.5002 s]
/proc/loadavg: 2.99 2.57 2.74 3/238 72206
/proc/meminfo: memFree=125799048/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3309192 memory=2941800 CPUtime=25.21 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 298286 0 0 0 2382 139 0 0 20 0 1 0 59278585 3388612608 735450 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 827298 735450 4288 2842 0 808992 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 3309192 KiB
Current children cumulated memory: 2941800 KiB
[startup+51.105 s]
/proc/loadavg: 2.65 2.52 2.72 3/237 72206
/proc/meminfo: memFree=125835072/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3309192 memory=2941800 CPUtime=50.56 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 298287 0 0 0 4917 139 0 0 20 0 1 0 59278585 3388612608 735450 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 827298 735450 4288 2842 0 808992 0
Current children cumulated CPU time: 50.56 s
Current children cumulated vsize: 3309192 KiB
Current children cumulated memory: 2941800 KiB
[startup+102.3 s]
/proc/loadavg: 2.33 2.45 2.69 3/237 72219
/proc/meminfo: memFree=125821248/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3309192 memory=2941928 CPUtime=101.28 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 298288 0 0 0 9989 139 0 0 20 0 1 0 59278585 3388612608 735482 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 827298 735482 4320 2842 0 808992 0
Current children cumulated CPU time: 101.28 s
Current children cumulated vsize: 3309192 KiB
Current children cumulated memory: 2941928 KiB
[startup+162.3 s]
/proc/loadavg: 2.15 2.38 2.64 3/237 72221
/proc/meminfo: memFree=125813360/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3309192 memory=2941928 CPUtime=160.71 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 298357 0 0 0 15932 139 0 0 20 0 1 0 59278585 3388612608 735482 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 827298 735482 4320 2842 0 808992 0
Current children cumulated CPU time: 160.71 s
Current children cumulated vsize: 3309192 KiB
Current children cumulated memory: 2941928 KiB
[startup+222.3 s]
/proc/loadavg: 2.10 2.32 2.61 3/237 72223
/proc/meminfo: memFree=125813604/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3309192 memory=2941928 CPUtime=220.15 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 298358 0 0 0 21876 139 0 0 20 0 1 0 59278585 3388612608 735482 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 827298 735482 4320 2842 0 808992 0
Current children cumulated CPU time: 220.15 s
Current children cumulated vsize: 3309192 KiB
Current children cumulated memory: 2941928 KiB
[startup+282.3 s]
/proc/loadavg: 2.19 2.31 2.58 3/237 72225
/proc/meminfo: memFree=125813684/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3309192 memory=2942312 CPUtime=279.62 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 298440 0 0 0 27822 140 0 0 20 0 1 0 59278585 3388612608 735578 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 827298 735578 4320 2842 0 808992 0
Current children cumulated CPU time: 279.62 s
Current children cumulated vsize: 3309192 KiB
Current children cumulated memory: 2942312 KiB
[startup+342.3 s]
/proc/loadavg: 2.13 2.27 2.55 3/238 72230
/proc/meminfo: memFree=127514728/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=1396508 memory=1218044 CPUtime=339.04 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 303014 0 0 0 33666 238 0 0 20 0 1 0 59278585 1430024192 304511 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 349127 304511 4480 2842 0 330821 0
Current children cumulated CPU time: 339.04 s
Current children cumulated vsize: 1396508 KiB
Current children cumulated memory: 1218044 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.21 2.51 3/238 72232
/proc/meminfo: memFree=127391804/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=1611432 memory=1345152 CPUtime=398.65 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 303650 0 0 0 39377 488 0 0 20 0 1 0 59278585 1650106368 336288 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 402858 336288 4480 2842 0 384552 0
Current children cumulated CPU time: 398.65 s
Current children cumulated vsize: 1611432 KiB
Current children cumulated memory: 1345152 KiB
[startup+462.3 s]
/proc/loadavg: 2.12 2.20 2.49 3/238 72234
/proc/meminfo: memFree=127336472/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=1611432 memory=1402572 CPUtime=458.46 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 303934 0 0 0 44897 949 0 0 20 0 1 0 59278585 1650106368 350643 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 402858 350643 4480 2842 0 384552 0
################
# More data... #
################
Current children cumulated memory: 2517712 KiB
[startup+2922.3 s]
/proc/loadavg: 2.12 2.11 2.12 3/238 72346
/proc/meminfo: memFree=126211404/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3453104 memory=2517712 CPUtime=2911.11 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 436394 0 0 0 270114 20997 0 0 20 0 1 0 59278585 3535978496 629428 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 863276 629428 4480 2842 0 844970 0
Current children cumulated CPU time: 2911.11 s
Current children cumulated vsize: 3453104 KiB
Current children cumulated memory: 2517712 KiB
[startup+2982.3 s]
/proc/loadavg: 2.09 2.10 2.11 3/237 72348
/proc/meminfo: memFree=126211408/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3453104 memory=2517712 CPUtime=2970.94 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 436394 0 0 0 275734 21360 0 0 20 0 1 0 59278585 3535978496 629428 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 863276 629428 4480 2842 0 844970 0
Current children cumulated CPU time: 2970.94 s
Current children cumulated vsize: 3453104 KiB
Current children cumulated memory: 2517712 KiB
[startup+3042.3 s]
/proc/loadavg: 2.13 2.11 2.11 3/238 72355
/proc/meminfo: memFree=126204604/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3470616 memory=2528080 CPUtime=3030.77 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 438988 0 0 0 281411 21666 0 0 20 0 1 0 59278585 3553910784 632020 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 867654 632020 4480 2842 0 849348 0
Current children cumulated CPU time: 3030.77 s
Current children cumulated vsize: 3470616 KiB
Current children cumulated memory: 2528080 KiB
[startup+3102.3 s]
/proc/loadavg: 2.10 2.11 2.11 3/238 72358
/proc/meminfo: memFree=126141348/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3547388 memory=2594264 CPUtime=3090.6 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 450937 0 0 0 286953 22107 0 0 20 0 1 0 59278585 3632525312 648566 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 886847 648566 4480 2842 0 868541 0
Current children cumulated CPU time: 3090.6 s
Current children cumulated vsize: 3547388 KiB
Current children cumulated memory: 2594264 KiB
[startup+3162.3 s]
/proc/loadavg: 2.08 2.10 2.10 3/238 72360
/proc/meminfo: memFree=126142108/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3547388 memory=2594264 CPUtime=3150.42 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 450937 0 0 0 292548 22494 0 0 20 0 1 0 59278585 3632525312 648566 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 886847 648566 4480 2842 0 868541 0
Current children cumulated CPU time: 3150.42 s
Current children cumulated vsize: 3547388 KiB
Current children cumulated memory: 2594264 KiB
[startup+3222.3 s]
/proc/loadavg: 2.12 2.11 2.10 3/238 72362
/proc/meminfo: memFree=126143412/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3547388 memory=2594264 CPUtime=3210.23 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 450937 0 0 0 298208 22815 0 0 20 0 1 0 59278585 3632525312 648566 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 886847 648566 4480 2842 0 868541 0
Current children cumulated CPU time: 3210.23 s
Current children cumulated vsize: 3547388 KiB
Current children cumulated memory: 2594264 KiB
[startup+3282.3 s]
/proc/loadavg: 2.09 2.10 2.10 3/238 72364
/proc/meminfo: memFree=126090176/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3594936 memory=2649280 CPUtime=3270.06 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 459603 0 0 0 303869 23137 0 0 20 0 1 0 59278585 3681214464 662320 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 898734 662320 4480 2842 0 880428 0
Current children cumulated CPU time: 3270.06 s
Current children cumulated vsize: 3594936 KiB
Current children cumulated memory: 2649280 KiB
[startup+3342.3 s]
/proc/loadavg: 2.17 2.12 2.10 3/238 72413
/proc/meminfo: memFree=124187228/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3594936 memory=2670016 CPUtime=3329.87 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 459604 0 0 0 309391 23596 0 0 20 0 1 0 59278585 3681214464 667504 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 898734 667504 4480 2842 0 880428 0
Current children cumulated CPU time: 3329.87 s
Current children cumulated vsize: 3594936 KiB
Current children cumulated memory: 2670016 KiB
[startup+3402.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/239 72416
/proc/meminfo: memFree=112003164/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3594936 memory=2706368 CPUtime=3389.68 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 459614 0 0 0 315019 23949 0 0 20 0 1 0 59278585 3681214464 676592 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 898734 676592 4480 2842 0 880428 0
Current children cumulated CPU time: 3389.68 s
Current children cumulated vsize: 3594936 KiB
Current children cumulated memory: 2706368 KiB
[startup+3462.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/239 72418
/proc/meminfo: memFree=108759444/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3598624 memory=2751808 CPUtime=3449.5 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 460151 0 0 0 320676 24274 0 0 20 0 1 0 59278585 3684990976 687952 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 899656 687952 4480 2842 0 881350 0
Current children cumulated CPU time: 3449.5 s
Current children cumulated vsize: 3598624 KiB
Current children cumulated memory: 2751808 KiB
[startup+3522.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/239 72420
/proc/meminfo: memFree=97812188/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3638788 memory=2853000 CPUtime=3509.31 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 467681 0 0 0 326258 24673 0 0 20 0 1 0 59278585 3726118912 713250 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 909697 713250 4480 2842 0 891391 0
Current children cumulated CPU time: 3509.31 s
Current children cumulated vsize: 3638788 KiB
Current children cumulated memory: 2853000 KiB
[startup+3582.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/239 72467
/proc/meminfo: memFree=121484024/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3638788 memory=2895368 CPUtime=3569.11 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 467692 0 0 0 331834 25077 0 0 20 0 1 0 59278585 3726118912 723842 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 909697 723842 4480 2842 0 891391 0
Current children cumulated CPU time: 3569.11 s
Current children cumulated vsize: 3638788 KiB
Current children cumulated memory: 2895368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/239 72467
/proc/meminfo: memFree=121509832/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3638788 memory=2916616 CPUtime=3600.01 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 467704 0 0 0 334757 25244 0 0 20 0 1 0 59278585 3726118912 729154 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 909697 729154 4480 2842 0 891391 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3638788 KiB
Current children cumulated memory: 2916616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.37 s]
# the end of solver process 72204 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3347.59 s, system=252.493 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/239 72467
/proc/meminfo: memFree=121509832/131382112 swapFree=33005784/33010684
[pid=72204] ppid=72201 vsize=3638788 memory=2916616 CPUtime=3600.01 cores=4,6
/proc/72204/stat : 72204 (mixed-bag) R 72201 72204 71499 0 -1 4194304 467704 0 0 0 334757 25244 0 0 20 0 1 0 59278585 3726118912 729154 18446744073709551615 4235264 15874749 140733116308528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 45101056 140733116316060 140733116316137 140733116316137 140733116321739 0
/proc/72204/statm: 909697 729154 4480 2842 0 891391 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3638788 KiB
Current children cumulated memory: 2916616 KiB
Child status: 0
Real time (s): 3613.37
CPU time (s): 3600.09
CPU user time (s): 3347.59
CPU system time (s): 252.493
CPU usage (%): 99.6323
Max. virtual memory (cumulated for all children) (KiB): 3638788
Max. memory (cumulated for all children) (KiB): 3001976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3347.59
system time used= 252.493
maximum resident set size= 3003312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470948
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= 591
involuntary context switches= 6940
# summary of solver processes directly reported to runsolver:
# pid: 72204
# total CPU time (s): 3600.09
# total CPU user time (s): 3347.59
# total CPU system time (s): 252.493
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8074 second user time and 32.8019 second system time
The end
Begin job on nodeC007 at 2025-07-02 07:59:54
IDJOB=4502867
IDBENCH=155400
IDSOLVER=3340
FILE ID=nodeC007/4502867-1751435994
RUNJOBID= nodeC007-1751435684-72016
SLURM_JOB_ID= 9598383
Free space on /tmp= 431976 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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 -w /tmp/evaluation-result-4502867-1751435994/watcher-4502867-1751435994 -o /tmp/evaluation-result-4502867-1751435994/solver-4502867-1751435994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751435684-72016 --watchdog 3760 mixed-bag HOME/instance-4502867-1751435994.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=246110283
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.395
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.518
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.208
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.214
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.814
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128767140 kB
MemAvailable: 129618060 kB
Buffers: 16 kB
Cached: 1542648 kB
SwapCached: 216 kB
Active: 387808 kB
Inactive: 1402608 kB
Active(anon): 212340 kB
Inactive(anon): 48904 kB
Active(file): 175468 kB
Inactive(file): 1353704 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 46516 kB
Writeback: 0 kB
AnonPages: 250608 kB
Mapped: 111692 kB
Shmem: 13492 kB
KReclaimable: 322752 kB
Slab: 410252 kB
SReclaimable: 322752 kB
SUnreclaim: 87500 kB
KernelStack: 3840 kB
PageTables: 3220 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 546536 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 167936 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431916 MiB
End job on nodeC007 at 2025-07-02 09:00:08