0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
2.18/2.21 c [STEP] preprocessing with Papilo
2.58/2.68 c Papilo could not simplify the problem
2.58/2.68 c [STEP] solving with SCIP
302.34/303.36 c [STEP] preprocessing done, loading into solver
302.83/303.87 c [STEP] solving
302.83/303.87 c #variables 7841 #constraints 65280
302.83/303.87 c SMALL=int, LARGE=long long
302.83/303.88 c bounds - >= 0 @ 301.559
302.83/303.88 c stratification level: 0
362.56/363.76 c bounds - >= 1 @ 301.641
362.56/363.76 c bounds - >= 2 @ 301.644
362.56/363.76 c bounds - >= 3 @ 301.653
362.56/363.76 c bounds - >= 4 @ 301.658
362.56/363.76 c bounds - >= 5 @ 301.66
362.56/363.76 c bounds - >= 6 @ 301.663
362.56/363.76 c bounds - >= 7 @ 301.666
362.56/363.76 c bounds - >= 8 @ 301.669
362.56/363.76 c bounds - >= 9 @ 301.672
362.56/363.76 c bounds - >= 10 @ 301.674
362.56/363.76 c bounds - >= 11 @ 301.676
362.56/363.76 c bounds - >= 12 @ 301.678
362.56/363.76 c bounds - >= 13 @ 301.68
362.56/363.76 c bounds - >= 14 @ 301.681
362.56/363.76 c bounds - >= 15 @ 301.684
362.56/363.76 c bounds - >= 16 @ 301.686
362.56/363.76 c bounds - >= 17 @ 301.708
362.56/363.76 c bounds - >= 18 @ 301.713
362.56/363.76 c bounds - >= 19 @ 301.717
362.56/363.76 c bounds - >= 20 @ 301.719
362.56/363.76 c bounds - >= 21 @ 301.721
362.56/363.76 c bounds - >= 22 @ 301.724
362.56/363.76 c bounds - >= 23 @ 301.728
362.56/363.76 c #Conflicts: 1000 | #Constraints: 66303
362.56/363.76 c #Conflicts: 2000 | #Constraints: 67303
362.56/363.76 c INPROCESSING
362.56/363.76 c GARBAGE COLLECT
362.56/363.76 c #Conflicts: 3000 | #Constraints: 67292
362.56/363.76 c #Conflicts: 4000 | #Constraints: 68292
362.56/363.76 c INPROCESSING
362.56/363.76 c GARBAGE COLLECT
362.56/363.76 c #Conflicts: 5000 | #Constraints: 67699
362.56/363.76 c #Conflicts: 6000 | #Constraints: 68699
362.56/363.76 c INPROCESSING
362.56/363.76 c GARBAGE COLLECT
362.56/363.76 c #Conflicts: 7000 | #Constraints: 67703
362.56/363.76 c #Conflicts: 8000 | #Constraints: 68703
362.56/363.76 c #Conflicts: 9000 | #Constraints: 69703
362.56/363.76 c INPROCESSING
362.56/363.76 c GARBAGE COLLECT
362.56/363.76 c #Conflicts: 10000 | #Constraints: 68407
362.56/363.76 c #Conflicts: 11000 | #Constraints: 69407
362.56/363.76 c #Conflicts: 12000 | #Constraints: 70407
362.56/363.76 c INPROCESSING
362.56/363.76 c GARBAGE COLLECT
362.56/363.76 c #Conflicts: 13000 | #Constraints: 68860
362.56/363.76 c #Conflicts: 14000 | #Constraints: 69860
362.56/363.76 c #Conflicts: 15000 | #Constraints: 70860
362.56/363.76 c INPROCESSING
362.56/363.76 c GARBAGE COLLECT
362.56/363.76 c #Conflicts: 16000 | #Constraints: 69093
362.56/363.76 c #Conflicts: 17000 | #Constraints: 70093
362.56/363.76 c #Conflicts: 18000 | #Constraints: 71093
362.56/363.76 c INPROCESSING
362.56/363.76 c GARBAGE COLLECT
362.56/363.76 c #Conflicts: 19000 | #Constraints: 69109
362.56/363.76 c #Conflicts: 20000 | #Constraints: 70109
362.56/363.76 c finalizing WCE round: reformulating cores
972.66/975.42 c #Conflicts: 21000 | #Constraints: 71117
972.66/975.42 c INPROCESSING
972.66/975.42 c GARBAGE COLLECT
972.66/975.42 c #Conflicts: 22000 | #Constraints: 68909
972.66/975.42 c #Conflicts: 23000 | #Constraints: 69911
972.66/975.42 c #Conflicts: 24000 | #Constraints: 70915
972.66/975.42 c #Conflicts: 25000 | #Constraints: 71917
972.66/975.42 c INPROCESSING
972.66/975.42 c GARBAGE COLLECT
972.66/975.42 c #Conflicts: 26000 | #Constraints: 69523
972.66/975.42 c #Conflicts: 27000 | #Constraints: 70525
972.66/975.42 c #Conflicts: 28000 | #Constraints: 71527
972.66/975.42 c #Conflicts: 29000 | #Constraints: 72531
972.66/975.42 c INPROCESSING
972.66/975.42 c GARBAGE COLLECT
972.66/975.42 c #Conflicts: 30000 | #Constraints: 69929
972.66/975.42 c #Conflicts: 31000 | #Constraints: 70931
972.66/975.42 c #Conflicts: 32000 | #Constraints: 71933
972.66/975.42 c #Conflicts: 33000 | #Constraints: 72937
972.66/975.42 c INPROCESSING
972.66/975.42 c GARBAGE COLLECT
972.66/975.42 c #Conflicts: 34000 | #Constraints: 70138
972.66/975.42 c #Conflicts: 35000 | #Constraints: 71140
972.66/975.42 c #Conflicts: 36000 | #Constraints: 72142
972.66/975.42 c #Conflicts: 37000 | #Constraints: 73146
972.66/975.42 c INPROCESSING
972.66/975.42 c GARBAGE COLLECT
972.66/975.42 c #Conflicts: 38000 | #Constraints: 70152
972.66/975.42 c bounds 46 >= 23 @ 443.881
972.66/975.42 c bounds 46 >= 24 @ 443.893
972.66/975.42 c bounds 46 >= 25 @ 443.902
972.66/975.42 c bounds 46 >= 26 @ 443.908
972.66/975.42 c bounds 46 >= 27 @ 443.915
972.66/975.42 c bounds 46 >= 28 @ 443.93
972.66/975.42 c bounds 46 >= 29 @ 443.944
972.66/975.42 c bounds 46 >= 30 @ 444.17
972.66/975.42 c #Conflicts: 39000 | #Constraints: 71244
972.66/975.42 c #Conflicts: 40000 | #Constraints: 72244
972.66/975.42 c #Conflicts: 41000 | #Constraints: 73244
972.66/975.42 c INPROCESSING
972.66/975.42 c GARBAGE COLLECT
972.66/975.42 c #Conflicts: 42000 | #Constraints: 70018
972.66/975.42 c #Conflicts: 43000 | #Constraints: 71018
972.66/975.42 c #Conflicts: 44000 | #Constraints: 72018
972.66/975.42 c #Conflicts: 45000 | #Constraints: 73018
972.66/975.42 c #Conflicts: 46000 | #Constraints: 74018
972.66/975.42 c INPROCESSING
972.66/975.42 c GARBAGE COLLECT
972.66/975.42 c #Conflicts: 47000 | #Constraints: 70609
972.66/975.42 c #Conflicts: 48000 | #Constraints: 71609
972.66/975.42 c #Conflicts: 49000 | #Constraints: 72609
972.66/975.42 c #Conflicts: 50000 | #Constraints: 73609
972.66/975.42 c #Conflicts: 51000 | #Constraints: 74609
972.66/975.42 c INPROCESSING
972.66/975.42 c GARBAGE COLLECT
972.66/975.42 c #Conflicts: 52000 | #Constraints: 71002
972.66/975.42 c #Conflicts: 53000 | #Constraints: 72002
972.66/975.42 c #Conflicts: 54000 | #Constraints: 73002
972.66/975.42 c #Conflicts: 55000 | #Constraints: 74002
972.66/975.42 c #Conflicts: 56000 | #Constraints: 75002
972.66/975.42 c INPROCESSING
972.66/975.42 c GARBAGE COLLECT
972.66/975.42 c #Conflicts: 57000 | #Constraints: 71205
972.66/975.42 c #Conflicts: 58000 | #Constraints: 72205
972.66/975.42 c #Conflicts: 59000 | #Constraints: 73205
972.66/975.42 c #Conflicts: 60000 | #Constraints: 74205
972.66/975.42 c #Conflicts: 61000 | #Constraints: 75205
972.66/975.42 c INPROCESSING
972.66/975.42 c GARBAGE COLLECT
972.66/975.42 c #Conflicts: 62000 | #Constraints: 71193
972.66/975.42 c #Conflicts: 63000 | #Constraints: 72193
972.66/975.42 c #Conflicts: 64000 | #Constraints: 73193
972.66/975.42 c #Conflicts: 65000 | #Constraints: 74193
972.66/975.42 c #Conflicts: 66000 | #Constraints: 75193
972.66/975.42 c INPROCESSING
972.66/975.42 c GARBAGE COLLECT
972.66/975.42 c #Conflicts: 67000 | #Constraints: 70999
972.66/975.42 c #Conflicts: 68000 | #Constraints: 71999
972.66/975.42 c #Conflicts: 69000 | #Constraints: 72999
972.66/975.42 c #Conflicts: 70000 | #Constraints: 73999
972.66/975.42 c #Conflicts: 71000 | #Constraints: 74999
972.66/975.42 c #Conflicts: 72000 | #Constraints: 75999
972.66/975.42 c INPROCESSING
972.66/975.42 c GARBAGE COLLECT
972.66/975.42 c #Conflicts: 73000 | #Constraints: 71600
972.66/975.42 c #Conflicts: 74000 | #Constraints: 72600
972.66/975.42 c #Conflicts: 75000 | #Constraints: 73600
972.66/975.42 c #Conflicts: 76000 | #Constraints: 74600
972.66/975.42 c #Conflicts: 77000 | #Constraints: 75600
972.66/975.42 c #Conflicts: 78000 | #Constraints: 76600
972.66/975.42 c INPROCESSING
972.66/975.42 c GARBAGE COLLECT
972.66/975.42 c #Conflicts: 79000 | #Constraints: 71998
972.66/975.42 c #Conflicts: 80000 | #Constraints: 72998
972.66/975.42 c #Conflicts: 81000 | #Constraints: 73998
972.66/975.42 c #Conflicts: 82000 | #Constraints: 74998
972.66/975.42 c #Conflicts: 83000 | #Constraints: 75998
972.66/975.42 c #Conflicts: 84000 | #Constraints: 76998
972.66/975.42 c INPROCESSING
972.66/975.42 c GARBAGE COLLECT
972.66/975.42 c #Conflicts: 85000 | #Constraints: 72201
972.66/975.42 c #Conflicts: 86000 | #Constraints: 73201
2253.82/2259.88 c #Conflicts: 87000 | #Constraints: 74201
2253.82/2259.88 c #Conflicts: 88000 | #Constraints: 75201
2253.82/2259.88 c #Conflicts: 89000 | #Constraints: 76201
2253.82/2259.88 c #Conflicts: 90000 | #Constraints: 77201
2253.82/2259.88 c INPROCESSING
2253.82/2259.88 c GARBAGE COLLECT
2253.82/2259.88 c #Conflicts: 91000 | #Constraints: 72201
2253.82/2259.88 c #Conflicts: 92000 | #Constraints: 73201
2253.82/2259.88 c #Conflicts: 93000 | #Constraints: 74201
2253.82/2259.88 c #Conflicts: 94000 | #Constraints: 75201
2253.82/2259.88 c #Conflicts: 95000 | #Constraints: 76201
2253.82/2259.88 c #Conflicts: 96000 | #Constraints: 77201
2253.82/2259.88 c INPROCESSING
2253.82/2259.88 c GARBAGE COLLECT
2253.82/2259.88 c #Conflicts: 97000 | #Constraints: 72001
2253.82/2259.88 c #Conflicts: 98000 | #Constraints: 73001
2253.82/2259.88 c #Conflicts: 99000 | #Constraints: 74001
2253.82/2259.88 c #Conflicts: 100000 | #Constraints: 75001
2253.82/2259.88 c #Conflicts: 101000 | #Constraints: 76001
2253.82/2259.88 c #Conflicts: 102000 | #Constraints: 77001
2253.82/2259.88 c #Conflicts: 103000 | #Constraints: 78001
2253.82/2259.88 c INPROCESSING
2253.82/2259.88 c GARBAGE COLLECT
2253.82/2259.88 c #Conflicts: 104000 | #Constraints: 72595
2253.82/2259.88 c #Conflicts: 105000 | #Constraints: 73595
2253.82/2259.88 c #Conflicts: 106000 | #Constraints: 74595
2253.82/2259.88 c #Conflicts: 107000 | #Constraints: 75595
2253.82/2259.88 c #Conflicts: 108000 | #Constraints: 76595
2253.82/2259.88 c #Conflicts: 109000 | #Constraints: 77595
2253.82/2259.88 c #Conflicts: 110000 | #Constraints: 78595
2253.82/2259.88 c INPROCESSING
2253.82/2259.88 c GARBAGE COLLECT
2253.82/2259.88 c #Conflicts: 111000 | #Constraints: 72998
2253.82/2259.88 c #Conflicts: 112000 | #Constraints: 73998
2253.82/2259.88 c #Conflicts: 113000 | #Constraints: 74998
2253.82/2259.88 c #Conflicts: 114000 | #Constraints: 75998
2253.82/2259.88 c #Conflicts: 115000 | #Constraints: 76998
2253.82/2259.88 c #Conflicts: 116000 | #Constraints: 77998
2253.82/2259.88 c #Conflicts: 117000 | #Constraints: 78998
2253.82/2259.88 c INPROCESSING
2253.82/2259.88 c GARBAGE COLLECT
2253.82/2259.88 c #Conflicts: 118000 | #Constraints: 73202
2253.82/2259.88 c #Conflicts: 119000 | #Constraints: 74202
2253.82/2259.88 c #Conflicts: 120000 | #Constraints: 75202
2253.82/2259.88 c #Conflicts: 121000 | #Constraints: 76202
2253.82/2259.88 c #Conflicts: 122000 | #Constraints: 77202
2253.82/2259.88 c #Conflicts: 123000 | #Constraints: 78202
2253.82/2259.88 c #Conflicts: 124000 | #Constraints: 79202
2253.82/2259.88 c INPROCESSING
2253.82/2259.88 c GARBAGE COLLECT
2253.82/2259.88 c #Conflicts: 125000 | #Constraints: 73194
2253.82/2259.88 c #Conflicts: 126000 | #Constraints: 74194
2253.82/2259.88 c #Conflicts: 127000 | #Constraints: 75194
2253.82/2259.88 c #Conflicts: 128000 | #Constraints: 76194
2253.82/2259.88 c #Conflicts: 129000 | #Constraints: 77194
2253.82/2259.88 c #Conflicts: 130000 | #Constraints: 78194
2253.82/2259.88 c #Conflicts: 131000 | #Constraints: 79194
2253.82/2259.88 c INPROCESSING
2253.82/2259.88 c GARBAGE COLLECT
2253.82/2259.88 c #Conflicts: 132000 | #Constraints: 72993
2253.82/2259.88 c #Conflicts: 133000 | #Constraints: 73993
2253.82/2259.88 c #Conflicts: 134000 | #Constraints: 74993
2253.82/2259.88 c #Conflicts: 135000 | #Constraints: 75993
2253.82/2259.88 c #Conflicts: 136000 | #Constraints: 76993
2253.82/2259.88 c #Conflicts: 137000 | #Constraints: 77993
2253.82/2259.88 c #Conflicts: 138000 | #Constraints: 78993
2253.82/2259.88 c #Conflicts: 139000 | #Constraints: 79993
2253.82/2259.88 c INPROCESSING
2253.82/2259.88 c GARBAGE COLLECT
2253.82/2259.88 c #Conflicts: 140000 | #Constraints: 73599
2253.82/2259.88 c #Conflicts: 141000 | #Constraints: 74599
2253.82/2259.88 c #Conflicts: 142000 | #Constraints: 75599
2253.82/2259.88 c #Conflicts: 143000 | #Constraints: 76599
2253.82/2259.88 c #Conflicts: 144000 | #Constraints: 77599
2253.82/2259.88 c #Conflicts: 145000 | #Constraints: 78599
2253.82/2259.88 c #Conflicts: 146000 | #Constraints: 79599
2253.82/2259.88 c #Conflicts: 147000 | #Constraints: 80599
2253.82/2259.88 c INPROCESSING
2253.82/2259.88 c GARBAGE COLLECT
2253.82/2259.88 c #Conflicts: 148000 | #Constraints: 73998
2253.82/2259.88 c #Conflicts: 149000 | #Constraints: 74998
2253.82/2259.88 c #Conflicts: 150000 | #Constraints: 75998
2253.82/2259.88 c #Conflicts: 151000 | #Constraints: 76998
2253.82/2259.88 c #Conflicts: 152000 | #Constraints: 77998
2253.82/2259.88 c #Conflicts: 153000 | #Constraints: 78998
2253.82/2259.88 c #Conflicts: 154000 | #Constraints: 79998
2253.82/2259.88 c #Conflicts: 155000 | #Constraints: 80998
2253.82/2259.88 c INPROCESSING
2253.82/2259.88 c GARBAGE COLLECT
2253.82/2259.88 c #Conflicts: 156000 | #Constraints: 74198
2253.82/2259.88 c #Conflicts: 157000 | #Constraints: 75198
2253.82/2259.88 c #Conflicts: 158000 | #Constraints: 76198
2253.82/2259.88 c #Conflicts: 159000 | #Constraints: 77198
3600.07/3609.50 c #Conflicts: 160000 | #Constraints: 78198
3600.07/3609.50 c #Conflicts: 161000 | #Constraints: 79198
3600.07/3609.50 c #Conflicts: 162000 | #Constraints: 80198
3600.07/3609.50 c #Conflicts: 163000 | #Constraints: 81198
3600.07/3609.50 c INPROCESSING
3600.07/3609.50 c GARBAGE COLLECT
3600.07/3609.50 c #Conflicts: 164000 | #Constraints: 74199
3600.07/3609.50 c #Conflicts: 165000 | #Constraints: 75199
3600.07/3609.50 c #Conflicts: 166000 | #Constraints: 76199
3600.07/3609.50 c #Conflicts: 167000 | #Constraints: 77199
3600.07/3609.50 c #Conflicts: 168000 | #Constraints: 78199
3600.07/3609.50 c #Conflicts: 169000 | #Constraints: 79199
3600.07/3609.50 c #Conflicts: 170000 | #Constraints: 80199
3600.07/3609.50 c #Conflicts: 171000 | #Constraints: 81199
3600.07/3609.50 c INPROCESSING
3600.07/3609.50 c GARBAGE COLLECT
3600.07/3609.50 c #Conflicts: 172000 | #Constraints: 73994
3600.07/3609.50 c #Conflicts: 173000 | #Constraints: 74994
3600.07/3609.50 c #Conflicts: 174000 | #Constraints: 75994
3600.07/3609.50 c #Conflicts: 175000 | #Constraints: 76994
3600.07/3609.50 c #Conflicts: 176000 | #Constraints: 77994
3600.07/3609.50 c #Conflicts: 177000 | #Constraints: 78994
3600.07/3609.50 c #Conflicts: 178000 | #Constraints: 79994
3600.07/3609.50 c #Conflicts: 179000 | #Constraints: 80994
3600.07/3609.50 c #Conflicts: 180000 | #Constraints: 81994
3600.07/3609.50 c INPROCESSING
3600.07/3609.50 c GARBAGE COLLECT
3600.07/3609.50 c #Conflicts: 181000 | #Constraints: 74598
3600.07/3609.50 c #Conflicts: 182000 | #Constraints: 75598
3600.07/3609.50 c #Conflicts: 183000 | #Constraints: 76598
3600.07/3609.50 c #Conflicts: 184000 | #Constraints: 77598
3600.07/3609.50 c #Conflicts: 185000 | #Constraints: 78598
3600.07/3609.50 c #Conflicts: 186000 | #Constraints: 79598
3600.07/3609.50 c #Conflicts: 187000 | #Constraints: 80598
3600.07/3609.50 c #Conflicts: 188000 | #Constraints: 81598
3600.07/3609.50 c #Conflicts: 189000 | #Constraints: 82598
3600.07/3609.50 c INPROCESSING
3600.07/3609.50 c GARBAGE COLLECT
3600.07/3609.50 c #Conflicts: 190000 | #Constraints: 75002
3600.07/3609.50 c #Conflicts: 191000 | #Constraints: 76002
3600.07/3609.50 c #Conflicts: 192000 | #Constraints: 77002
3600.07/3609.50 c #Conflicts: 193000 | #Constraints: 78002
3600.07/3609.50 c #Conflicts: 194000 | #Constraints: 79002
3600.07/3609.50 c #Conflicts: 195000 | #Constraints: 80002
3600.07/3609.50 c #Conflicts: 196000 | #Constraints: 81002
3600.07/3609.50 c #Conflicts: 197000 | #Constraints: 82002
3600.07/3609.50 c #Conflicts: 198000 | #Constraints: 83002
3600.07/3609.50 c INPROCESSING
3600.07/3609.50 c GARBAGE COLLECT
3600.07/3609.50 c #Conflicts: 199000 | #Constraints: 75205
3600.07/3609.50 c #Conflicts: 200000 | #Constraints: 76205
3600.07/3609.50 c #Conflicts: 201000 | #Constraints: 77205
3600.07/3609.50 c #Conflicts: 202000 | #Constraints: 78205
3600.07/3609.50 c #Conflicts: 203000 | #Constraints: 79205
3600.07/3609.50 c #Conflicts: 204000 | #Constraints: 80205
3600.07/3609.50 c #Conflicts: 205000 | #Constraints: 81205
3600.07/3609.50 c #Conflicts: 206000 | #Constraints: 82205
3600.07/3609.50 c #Conflicts: 207000 | #Constraints: 83205
3600.07/3609.50 c INPROCESSING
3600.07/3609.50 c GARBAGE COLLECT
3600.07/3609.50 c #Conflicts: 208000 | #Constraints: 75205
3600.07/3609.50 c #Conflicts: 209000 | #Constraints: 76205
3600.07/3609.50 c #Conflicts: 210000 | #Constraints: 77205
3600.07/3609.50 c #Conflicts: 211000 | #Constraints: 78205
3600.07/3609.50 c #Conflicts: 212000 | #Constraints: 79205
3600.07/3609.50 c #Conflicts: 213000 | #Constraints: 80205
3600.07/3609.50 c #Conflicts: 214000 | #Constraints: 81205
3600.07/3609.50 c #Conflicts: 215000 | #Constraints: 82205
3600.07/3609.50 c #Conflicts: 216000 | #Constraints: 83205
3600.07/3609.50 c INPROCESSING
3600.07/3609.50 c GARBAGE COLLECT
3600.07/3609.50 c #Conflicts: 217000 | #Constraints: 75006
3600.07/3609.50 c #Conflicts: 218000 | #Constraints: 76006
3600.07/3609.50 c #Conflicts: 219000 | #Constraints: 77006
3600.07/3609.50 c #Conflicts: 220000 | #Constraints: 78006
3600.07/3609.50 c #Conflicts: 221000 | #Constraints: 79006
3600.07/3609.50 c #Conflicts: 222000 | #Constraints: 80006
3600.07/3609.50 c Program interrupted by user.
3600.07/3609.50 c cpu time 3346.83 s
3600.07/3609.50 c deterministic time 103777914173 1.04e+11
3600.07/3609.50 c optimization time 186.151 s
3600.07/3609.50 c total solve time 2859.12 s
3600.07/3609.50 c core-guided solve time 2859.12 s
3600.07/3609.50 c propagation time 2498.61 s
3600.07/3609.50 c conflict analysis time 275.677 s
3600.07/3609.50 c propagations 163817142
3600.07/3609.50 c resolve steps 782829
3600.07/3609.50 c decisions 355874950
3600.07/3609.50 c conflicts 222314
3600.07/3609.50 c restarts 510
3600.07/3609.50 c inprocessing phases 38
3600.07/3609.50 c input clauses 65309
3600.07/3609.50 c input cardinalities 83
3600.07/3609.50 c input general constraints 51
3600.07/3609.50 c input average constraint length 58.61
3600.07/3609.50 c input average constraint degree 1.40
3600.07/3609.50 c learned clauses 6963
3600.07/3609.50 c learned cardinalities 2622
3600.07/3609.50 c learned general constraints 212730
3600.07/3609.50 c learned average constraint length 6651.31
3600.07/3609.50 c learned average constraint degree 48438.68
3600.07/3609.50 c watched constraints 2024
3600.07/3609.50 c counting constraints 210757
3600.07/3609.50 c gcd simplifications 323
3600.07/3609.50 c detected cardinalities 9
3600.07/3609.50 c weakened non-implied lits 47999398
3600.07/3609.50 c weakened non-implying lits 2626
3600.07/3609.50 c original variables 7840
3600.07/3609.50 c clausal propagations 2508789
3600.07/3609.50 c cardinality propagations 1388857
3600.07/3609.50 c watched propagations 137154
3600.07/3609.50 c counting propagations 157536112
3600.07/3609.50 c watch lookups 38626586948
3600.07/3609.50 c watch backjump lookups 38455837029
3600.07/3609.50 c watch checks 1232833574
3600.07/3609.50 c propagation checks 21215947420
3600.07/3609.50 c constraint additions 3207107911
3600.07/3609.50 c trail pops 519909198
3600.07/3609.50 c formula constraints 65280
3600.07/3609.50 c learned constraints 222315
3600.07/3609.50 c bound constraints 33
3600.07/3609.50 c core-guided constraints 130
3600.07/3609.50 c encountered formula constraints 453346
3600.07/3609.50 c encountered learned constraints 499781
3600.07/3609.50 c encountered bound constraints 346
3600.07/3609.50 c encountered core-guided constraints 51670
3600.07/3609.50 c LP total time 0 s
3600.07/3609.50 c LP solve time 0 s
3600.07/3609.50 c LP constraints added 0
3600.07/3609.50 c LP constraints removed 0
3600.07/3609.50 c LP pivots internal 0
3600.07/3609.50 c LP pivots root 0
3600.07/3609.50 c LP calls 0
3600.07/3609.50 c LP optimalities 0
3600.07/3609.50 c LP no pivot count 0
3600.07/3609.50 c LP infeasibilities 0
3600.07/3609.50 c LP valid Farkas constraints 0
3600.07/3609.50 c LP learned Farkas constraints 0
3600.07/3609.50 c LP basis resets 0
3600.07/3609.50 c LP cycling count 0
3600.07/3609.50 c LP singular count 0
3600.07/3609.50 c LP no primal count 0
3600.07/3609.50 c LP no farkas count 0
3600.07/3609.50 c LP other issue count 0
3600.07/3609.50 c LP Gomory cuts 0
3600.07/3609.50 c LP learned cuts 0
3600.07/3609.50 c LP deleted cuts 0
3600.07/3609.50 c LP encountered Gomory constraints 0
3600.07/3609.50 c LP encountered Farkas constraints 0
3600.07/3609.50 c LP encountered learned Farkas constraints 0
3600.07/3609.50 c CG auxiliary variables introduced 51
3600.07/3609.50 c CG solutions found 1
3600.07/3609.50 c CG cores constructed 30
3600.07/3609.50 c CG core cardinality constraints returned 0
3600.07/3609.50 c CG unit cores 0
3600.07/3609.50 c CG single cores 30
3600.07/3609.50 c CG blocks removed during cardinality reduction 0
3600.07/3609.50 c CG first core best 0
3600.07/3609.50 c CG decision core best 0
3600.07/3609.50 c CG core reduction tie 0
3600.07/3609.50 c CG core degree average 1.00
3600.07/3609.50 c CG core slack average 111.67
3600.07/3609.50 c CG exhausted 0
3600.07/3609.50 c CG exhaust time 83.7108 s
3600.07/3609.50 c CG trimmed 0
3600.07/3609.50 c CG trim time 0.007389 s
3600.07/3609.50 c CG minimized 0
3600.07/3609.50 c CG minimize time 0 s
3600.07/3609.50 c CG am1 prop time 0.022873 s
3600.07/3609.50 c CG # am1s reformulated 0
3600.07/3609.50 c CG lower bound derived from am1s 0
3600.07/3609.50 c CG # clausal cores 30
3600.07/3609.50 c CG # cardinality cores 0
3600.07/3609.50 c CG # pb cores 0
3600.07/3609.50 c CG # pb reforms 0
3600.07/3609.50 c CG # cores discarded because of pb reform 0
3600.07/3609.50 d LOWERBOUND 30
3600.07/3609.50 d NCORES 30
3600.07/3609.50 d NPBCORES 0
3600.07/3609.50 d NPBREFORM 0
3600.07/3609.50 d NTRIMMED 0
3600.07/3609.50 d NEXHAUSTED 0
3600.07/3609.50 d NAM1S 0
3600.07/3609.50 d AM1LB 0
3600.07/3609.50 c [STEP] postprocessing with Papilo
3600.07/3609.53 o 46
3600.07/3609.53 s SATISFIABLE
3600.07/3609.53 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: 63968 MiB (58363 MiB free)
memory of node 1: 64473 MiB (62879 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435660-1721131481/watcher-4435660-1721131481 -o /tmp/evaluation-result-4435660-1721131481/solver-4435660-1721131481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721127883-850379 --watchdog 3760 mixed-bag HOME/instance-4435660-1721131481.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=852322, runsolver pid=852319
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.14 4.12 4.13 5/256 852323
/proc/meminfo: memFree=124143248/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=86208 memory=15272 CPUtime=0.09 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 3083 0 0 0 9 0 0 0 20 0 1 0 165314768 88276992 3818 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 21552 3818 1639 3002 0 5842 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86208 KiB
Current children cumulated memory: 15272 KiB
[startup+0.205454 s]*
/proc/loadavg: 4.14 4.12 4.13 5/256 852323
/proc/meminfo: memFree=124135468/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=94400 memory=23588 CPUtime=0.19 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 3647 0 0 0 19 0 0 0 20 0 1 0 165314768 96665600 5897 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 23600 5897 1639 3002 0 7890 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 23588 KiB
[startup+0.305451 s]*
/proc/loadavg: 4.14 4.12 4.13 5/256 852323
/proc/meminfo: memFree=124704248/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=110784 memory=27912 CPUtime=0.3 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 4210 0 0 0 29 1 0 0 20 0 1 0 165314768 113442816 6978 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 27696 6978 1639 3002 0 11986 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110784 KiB
Current children cumulated memory: 27912 KiB
[startup+0.700212 s]
/proc/loadavg: 4.14 4.12 4.13 6/255 852337
/proc/meminfo: memFree=126897460/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=143552 memory=50900 CPUtime=0.69 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 4909 0 0 0 67 2 0 0 20 0 1 0 165314768 146997248 12725 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 35888 12725 1639 3002 0 20178 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 143552 KiB
Current children cumulated memory: 50900 KiB
[startup+1.50022 s]
/proc/loadavg: 4.14 4.12 4.13 4/251 852351
/proc/meminfo: memFree=127351736/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=209088 memory=99412 CPUtime=1.48 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 5802 0 0 0 144 4 0 0 20 0 1 0 165314768 214106112 24853 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 52272 24853 1639 3002 0 36562 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 209088 KiB
Current children cumulated memory: 99412 KiB
[startup+3.10529 s]
/proc/loadavg: 4.13 4.12 4.13 5/252 852450
/proc/meminfo: memFree=127695872/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=692404 memory=604624 CPUtime=3.08 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 87555 0 0 0 279 29 0 0 20 0 1 0 165314768 709021696 151156 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 173101 151156 3707 3002 0 156852 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 692404 KiB
Current children cumulated memory: 604624 KiB
[startup+6.30021 s]
/proc/loadavg: 4.13 4.12 4.13 5/256 852461
/proc/meminfo: memFree=125632608/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=1319280 memory=1222524 CPUtime=6.27 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 231959 0 0 0 564 63 0 0 20 0 1 0 165314768 1350942720 305631 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 329820 305631 3787 3002 0 313571 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1319280 KiB
Current children cumulated memory: 1222524 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.13 5/256 852463
/proc/meminfo: memFree=122072508/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=2925636 memory=2521044 CPUtime=12.65 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 257160 0 0 0 1173 92 0 0 20 0 1 0 165314768 2995851264 630261 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 731409 630261 3835 3002 0 715160 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2925636 KiB
Current children cumulated memory: 2521044 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.13 5/256 852464
/proc/meminfo: memFree=118057236/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3256544 memory=2879252 CPUtime=25.41 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 323338 0 0 0 2417 124 0 0 20 0 1 0 165314768 3334701056 719813 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 814136 719813 4021 3002 0 797887 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3256544 KiB
Current children cumulated memory: 2879252 KiB
[startup+51.1055 s]
/proc/loadavg: 4.13 4.12 4.13 5/256 852469
/proc/meminfo: memFree=113755300/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3256544 memory=2879320 CPUtime=50.94 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 323594 0 0 0 4969 125 0 0 20 0 1 0 165314768 3334701056 719830 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 814136 719830 4021 3002 0 797887 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3256544 KiB
Current children cumulated memory: 2879320 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/254 852477
/proc/meminfo: memFree=104482316/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3256544 memory=2879384 CPUtime=101.98 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 323771 0 0 0 10072 126 0 0 20 0 1 0 165314768 3334701056 719846 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 814136 719846 4037 3002 0 797887 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 3256544 KiB
Current children cumulated memory: 2879384 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/254 852489
/proc/meminfo: memFree=102108844/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3256544 memory=2879384 CPUtime=161.79 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 324013 0 0 0 16052 127 0 0 20 0 1 0 165314768 3334701056 719846 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 814136 719846 4037 3002 0 797887 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 3256544 KiB
Current children cumulated memory: 2879384 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/254 852545
/proc/meminfo: memFree=114477084/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3256544 memory=2879480 CPUtime=221.6 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 324143 0 0 0 22033 127 0 0 20 0 1 0 165314768 3334701056 719870 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 814136 719870 4037 3002 0 797887 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 3256544 KiB
Current children cumulated memory: 2879480 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/254 852555
/proc/meminfo: memFree=114582004/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3256544 memory=2879864 CPUtime=281.4 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 324369 0 0 0 28012 128 0 0 20 0 1 0 165314768 3334701056 719966 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 814136 719966 4037 3002 0 797887 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 3256544 KiB
Current children cumulated memory: 2879864 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/257 852570
/proc/meminfo: memFree=119554940/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=1402944 memory=1230032 CPUtime=341.22 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 331756 0 0 0 33889 233 0 0 20 0 1 0 165314768 1436614656 307508 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 350736 307508 4180 3002 0 334487 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 1402944 KiB
Current children cumulated memory: 1230032 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/257 852581
/proc/meminfo: memFree=119226860/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=1617868 memory=1357120 CPUtime=401.06 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 332775 0 0 0 39631 475 0 0 20 0 1 0 165314768 1656696832 339280 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 404467 339280 4196 3002 0 388218 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 1617868 KiB
Current children cumulated memory: 1357120 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/257 852591
/proc/meminfo: memFree=119065316/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=1617868 memory=1417672 CPUtime=460.89 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 332965 0 0 0 45172 917 0 0 20 0 1 0 165314768 1656696832 354418 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 404467 354418 4196 3002 0 388218 0
################
# More data... #
################
Current children cumulated memory: 2388700 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/256 853650
/proc/meminfo: memFree=115276128/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3448988 memory=2512740 CPUtime=2914.62 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 490208 0 0 0 270502 20960 0 0 20 0 1 0 165314768 3531763712 628185 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 862247 628185 4196 3002 0 845998 0
Current children cumulated CPU time: 2914.62 s
Current children cumulated vsize: 3448988 KiB
Current children cumulated memory: 2512740 KiB
[startup+2982.3 s]
/proc/loadavg: 4.37 4.19 4.12 5/256 853661
/proc/meminfo: memFree=115136548/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3448988 memory=2512740 CPUtime=2974.48 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 491164 0 0 0 276070 21378 0 0 20 0 1 0 165314768 3531763712 628185 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 862247 628185 4196 3002 0 845998 0
Current children cumulated CPU time: 2974.48 s
Current children cumulated vsize: 3448988 KiB
Current children cumulated memory: 2512740 KiB
[startup+3042.3 s]
/proc/loadavg: 4.28 4.21 4.13 5/256 854055
/proc/meminfo: memFree=114855048/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3448988 memory=2512740 CPUtime=3034.32 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 492030 0 0 0 281712 21720 0 0 20 0 1 0 165314768 3531763712 628185 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 862247 628185 4196 3002 0 845998 0
Current children cumulated CPU time: 3034.32 s
Current children cumulated vsize: 3448988 KiB
Current children cumulated memory: 2512740 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.19 4.13 5/256 854065
/proc/meminfo: memFree=114655860/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3546784 memory=2593112 CPUtime=3094.16 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 507727 0 0 0 287307 22109 0 0 20 0 1 0 165314768 3631906816 648278 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 886696 648278 4196 3002 0 870447 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 3546784 KiB
Current children cumulated memory: 2593112 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/257 854077
/proc/meminfo: memFree=114567996/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3546784 memory=2593112 CPUtime=3154.01 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 508465 0 0 0 292849 22552 0 0 20 0 1 0 165314768 3631906816 648278 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 886696 648278 4196 3002 0 870447 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 3546784 KiB
Current children cumulated memory: 2593112 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.18 4.13 5/257 854255
/proc/meminfo: memFree=114462912/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3546784 memory=2593112 CPUtime=3213.85 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 509293 0 0 0 298475 22910 0 0 20 0 1 0 165314768 3631906816 648278 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 886696 648278 4196 3002 0 870447 0
Current children cumulated CPU time: 3213.85 s
Current children cumulated vsize: 3546784 KiB
Current children cumulated memory: 2593112 KiB
[startup+3282.3 s]
/proc/loadavg: 4.47 4.26 4.16 5/257 854265
/proc/meminfo: memFree=114423916/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3581632 memory=2632504 CPUtime=3273.7 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 516271 0 0 0 304149 23221 0 0 20 0 1 0 165314768 3667591168 658126 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 895408 658126 4196 3002 0 879159 0
Current children cumulated CPU time: 3273.7 s
Current children cumulated vsize: 3581632 KiB
Current children cumulated memory: 2632504 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.22 4.15 5/258 854279
/proc/meminfo: memFree=114224544/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3591844 memory=2647216 CPUtime=3333.55 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 519138 0 0 0 309677 23678 0 0 20 0 1 0 165314768 3678048256 661804 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 897961 661804 4196 3002 0 881712 0
Current children cumulated CPU time: 3333.55 s
Current children cumulated vsize: 3591844 KiB
Current children cumulated memory: 2647216 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.20 4.14 5/258 854301
/proc/meminfo: memFree=114124336/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3591844 memory=2647216 CPUtime=3393.4 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 519838 0 0 0 315292 24048 0 0 20 0 1 0 165314768 3678048256 661804 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 897961 661804 4196 3002 0 881712 0
Current children cumulated CPU time: 3393.4 s
Current children cumulated vsize: 3591844 KiB
Current children cumulated memory: 2647216 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.17 4.14 5/257 854311
/proc/meminfo: memFree=114123968/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3591844 memory=2647216 CPUtime=3453.25 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 520846 0 0 0 320933 24392 0 0 20 0 1 0 165314768 3678048256 661804 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 897961 661804 4196 3002 0 881712 0
Current children cumulated CPU time: 3453.25 s
Current children cumulated vsize: 3591844 KiB
Current children cumulated memory: 2647216 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.15 4.13 5/256 854322
/proc/meminfo: memFree=113852292/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3633832 memory=2708620 CPUtime=3513.09 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 531193 0 0 0 326557 24752 0 0 20 0 1 0 165314768 3721043968 677155 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 908458 677155 4196 3002 0 892209 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 3633832 KiB
Current children cumulated memory: 2708620 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/256 854333
/proc/meminfo: memFree=113851876/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3633832 memory=2708620 CPUtime=3572.94 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 532187 0 0 0 332131 25163 0 0 20 0 1 0 165314768 3721043968 677155 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 908458 677155 4196 3002 0 892209 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 3633832 KiB
Current children cumulated memory: 2708620 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.11 4.14 4.13 5/255 854338
/proc/meminfo: memFree=113851744/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3633832 memory=2708620 CPUtime=3600.07 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 532453 0 0 0 334682 25325 0 0 20 0 1 0 165314768 3721043968 677155 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 908458 677155 4196 3002 0 892209 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3633832 KiB
Current children cumulated memory: 2708620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.58 s]
# the end of solver process 852322 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3346.85 s, system=253.31 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.11 4.14 4.13 5/255 854338
/proc/meminfo: memFree=113851744/131524600 swapFree=131071996/131071996
[pid=852322] ppid=852319 vsize=3633832 memory=2708620 CPUtime=3600.07 cores=5,7
/proc/852322/stat : 852322 (mixed-bag) R 852319 852322 850366 0 -1 4194304 532453 0 0 0 334682 25325 0 0 20 0 1 0 165314768 3721043968 677155 134679101440 4194304 16487941 140721918614432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42049536 140721918616599 140721918616676 140721918616676 140721918623691 0
/proc/852322/statm: 908458 677155 4196 3002 0 892209 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3633832 KiB
Current children cumulated memory: 2708620 KiB
Child status: 0
Real time (s): 3609.58
CPU time (s): 3600.16
CPU user time (s): 3346.85
CPU system time (s): 253.31
CPU usage (%): 99.739
Max. virtual memory (cumulated for all children) (KiB): 3633832
Max. memory (cumulated for all children) (KiB): 2951404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3346.85
system time used= 253.31
maximum resident set size= 2981272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 535179
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= 148
involuntary context switches= 1641
# summary of solver processes directly reported to runsolver:
# pid: 852322
# total CPU time (s): 3600.16
# total CPU user time (s): 3346.85
# total CPU system time (s): 253.31
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86734 second user time and 16.2456 second system time
The end
Begin job on nodeC027 at 2024-07-16 14:04:54
IDJOB=4435660
IDBENCH=155400
IDSOLVER=3066
FILE ID=nodeC027/4435660-1721131481
RUNJOBID= nodeC027-1721127883-850379
SLURM_JOB_ID= 7505687
Free space on /tmp= 889980 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435660-1721131481/watcher-4435660-1721131481 -o /tmp/evaluation-result-4435660-1721131481/solver-4435660-1721131481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721127883-850379 --watchdog 3760 mixed-bag HOME/instance-4435660-1721131481.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=2057914835
nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.811
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.982
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.536
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3607.486
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.802
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.467
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.297
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.970
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124153024 kB
MemAvailable: 124976344 kB
Buffers: 400684 kB
Cached: 1259308 kB
SwapCached: 0 kB
Active: 711348 kB
Inactive: 6059660 kB
Active(anon): 1560 kB
Inactive(anon): 5147152 kB
Active(file): 709788 kB
Inactive(file): 912508 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 47208 kB
Writeback: 12 kB
AnonPages: 5106252 kB
Mapped: 138596 kB
Shmem: 37720 kB
KReclaimable: 81692 kB
Slab: 185800 kB
SReclaimable: 81692 kB
SUnreclaim: 104108 kB
KernelStack: 4048 kB
PageTables: 19328 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6040788 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61664 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2342912 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 193236 kB
DirectMap2M: 15308800 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 889876 MiB
End job on nodeC027 at 2024-07-16 15:05:03