0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
2.18/2.21 c [STEP] preprocessing with Papilo
2.57/2.67 c Papilo could not simplify the problem
2.57/2.67 c [STEP] solving with SCIP
302.41/303.33 c [STEP] preprocessing done, loading into solver
302.91/303.86 c [STEP] solving
302.91/303.86 c #variables 7841 #constraints 65280
302.91/303.86 c SMALL=int, LARGE=long long
302.91/303.86 d SCIPUB 48
302.91/303.87 c bounds - >= 0 @ 301.707
302.91/303.87 c stratification level: 0
361.63/362.76 c bounds - >= 1 @ 301.791
361.63/362.76 c bounds - >= 2 @ 301.793
361.63/362.76 c bounds - >= 3 @ 301.8
361.63/362.76 c bounds - >= 4 @ 301.801
361.63/362.76 c bounds - >= 5 @ 301.802
361.63/362.76 c bounds - >= 6 @ 301.806
361.63/362.76 c bounds - >= 7 @ 301.806
361.63/362.76 c bounds - >= 8 @ 301.809
361.63/362.76 c bounds - >= 9 @ 301.811
361.63/362.76 c bounds - >= 10 @ 301.815
361.63/362.76 c bounds - >= 11 @ 301.816
361.63/362.76 c bounds - >= 12 @ 301.821
361.63/362.76 c bounds - >= 13 @ 301.822
361.63/362.76 c bounds - >= 14 @ 301.825
361.63/362.76 c bounds - >= 15 @ 301.828
361.63/362.76 c bounds - >= 16 @ 301.829
361.63/362.76 c bounds - >= 17 @ 301.852
361.63/362.76 c bounds - >= 18 @ 301.854
361.63/362.76 c bounds - >= 19 @ 301.857
361.63/362.76 c bounds - >= 20 @ 301.857
361.63/362.76 c bounds - >= 21 @ 301.859
361.63/362.76 c bounds - >= 22 @ 301.862
361.63/362.76 c bounds - >= 23 @ 301.867
361.63/362.76 c #Conflicts: 1000 | #Constraints: 66303
361.63/362.76 c #Conflicts: 2000 | #Constraints: 67303
361.63/362.76 c INPROCESSING
361.63/362.76 c GARBAGE COLLECT
361.63/362.76 c #Conflicts: 3000 | #Constraints: 67292
361.63/362.76 c #Conflicts: 4000 | #Constraints: 68292
361.63/362.76 c INPROCESSING
361.63/362.76 c GARBAGE COLLECT
361.63/362.76 c #Conflicts: 5000 | #Constraints: 67699
361.63/362.76 c #Conflicts: 6000 | #Constraints: 68699
361.63/362.76 c INPROCESSING
361.63/362.76 c GARBAGE COLLECT
361.63/362.76 c #Conflicts: 7000 | #Constraints: 67703
361.63/362.76 c #Conflicts: 8000 | #Constraints: 68703
361.63/362.76 c #Conflicts: 9000 | #Constraints: 69703
361.63/362.76 c INPROCESSING
361.63/362.76 c GARBAGE COLLECT
361.63/362.76 c #Conflicts: 10000 | #Constraints: 68407
361.63/362.76 c #Conflicts: 11000 | #Constraints: 69407
361.63/362.76 c #Conflicts: 12000 | #Constraints: 70407
361.63/362.76 c INPROCESSING
361.63/362.76 c GARBAGE COLLECT
361.63/362.76 c #Conflicts: 13000 | #Constraints: 68860
361.63/362.76 c #Conflicts: 14000 | #Constraints: 69860
361.63/362.76 c #Conflicts: 15000 | #Constraints: 70860
361.63/362.76 c INPROCESSING
361.63/362.76 c GARBAGE COLLECT
361.63/362.76 c #Conflicts: 16000 | #Constraints: 69093
361.63/362.76 c #Conflicts: 17000 | #Constraints: 70093
361.63/362.76 c #Conflicts: 18000 | #Constraints: 71093
361.63/362.76 c INPROCESSING
361.63/362.76 c GARBAGE COLLECT
361.63/362.76 c #Conflicts: 19000 | #Constraints: 69109
361.63/362.76 c #Conflicts: 20000 | #Constraints: 70109
361.63/362.76 c finalizing WCE round: reformulating cores
986.87/989.87 c #Conflicts: 21000 | #Constraints: 71117
986.87/989.87 c INPROCESSING
986.87/989.87 c GARBAGE COLLECT
986.87/989.87 c #Conflicts: 22000 | #Constraints: 68909
986.87/989.87 c #Conflicts: 23000 | #Constraints: 69911
986.87/989.87 c #Conflicts: 24000 | #Constraints: 70915
986.87/989.87 c #Conflicts: 25000 | #Constraints: 71917
986.87/989.87 c INPROCESSING
986.87/989.87 c GARBAGE COLLECT
986.87/989.87 c #Conflicts: 26000 | #Constraints: 69523
986.87/989.87 c #Conflicts: 27000 | #Constraints: 70525
986.87/989.87 c #Conflicts: 28000 | #Constraints: 71527
986.87/989.87 c #Conflicts: 29000 | #Constraints: 72531
986.87/989.87 c INPROCESSING
986.87/989.87 c GARBAGE COLLECT
986.87/989.87 c #Conflicts: 30000 | #Constraints: 69929
986.87/989.87 c #Conflicts: 31000 | #Constraints: 70931
986.87/989.87 c #Conflicts: 32000 | #Constraints: 71933
986.87/989.87 c #Conflicts: 33000 | #Constraints: 72937
986.87/989.87 c INPROCESSING
986.87/989.87 c GARBAGE COLLECT
986.87/989.87 c #Conflicts: 34000 | #Constraints: 70138
986.87/989.87 c #Conflicts: 35000 | #Constraints: 71140
986.87/989.87 c #Conflicts: 36000 | #Constraints: 72142
986.87/989.87 c #Conflicts: 37000 | #Constraints: 73146
986.87/989.87 c INPROCESSING
986.87/989.87 c GARBAGE COLLECT
986.87/989.87 c #Conflicts: 38000 | #Constraints: 70152
986.87/989.87 c bounds 46 >= 23 @ 435.687
986.87/989.87 c bounds 46 >= 24 @ 435.7
986.87/989.87 c bounds 46 >= 25 @ 435.706
986.87/989.87 c bounds 46 >= 26 @ 435.709
986.87/989.87 c bounds 46 >= 27 @ 435.718
986.87/989.87 c bounds 46 >= 28 @ 435.731
986.87/989.87 c bounds 46 >= 29 @ 435.744
986.87/989.87 c bounds 46 >= 30 @ 435.958
986.87/989.87 c #Conflicts: 39000 | #Constraints: 71244
986.87/989.87 c #Conflicts: 40000 | #Constraints: 72244
986.87/989.87 c #Conflicts: 41000 | #Constraints: 73244
986.87/989.87 c INPROCESSING
986.87/989.87 c GARBAGE COLLECT
986.87/989.87 c #Conflicts: 42000 | #Constraints: 70018
986.87/989.87 c #Conflicts: 43000 | #Constraints: 71018
986.87/989.87 c #Conflicts: 44000 | #Constraints: 72018
986.87/989.87 c #Conflicts: 45000 | #Constraints: 73018
986.87/989.87 c #Conflicts: 46000 | #Constraints: 74018
986.87/989.87 c INPROCESSING
986.87/989.87 c GARBAGE COLLECT
986.87/989.87 c #Conflicts: 47000 | #Constraints: 70609
986.87/989.87 c #Conflicts: 48000 | #Constraints: 71609
986.87/989.87 c #Conflicts: 49000 | #Constraints: 72609
986.87/989.87 c #Conflicts: 50000 | #Constraints: 73609
986.87/989.87 c #Conflicts: 51000 | #Constraints: 74609
986.87/989.87 c INPROCESSING
986.87/989.87 c GARBAGE COLLECT
986.87/989.87 c #Conflicts: 52000 | #Constraints: 71002
986.87/989.87 c #Conflicts: 53000 | #Constraints: 72002
986.87/989.87 c #Conflicts: 54000 | #Constraints: 73002
986.87/989.87 c #Conflicts: 55000 | #Constraints: 74002
986.87/989.87 c #Conflicts: 56000 | #Constraints: 75002
986.87/989.87 c INPROCESSING
986.87/989.87 c GARBAGE COLLECT
986.87/989.87 c #Conflicts: 57000 | #Constraints: 71205
986.87/989.87 c #Conflicts: 58000 | #Constraints: 72205
986.87/989.87 c #Conflicts: 59000 | #Constraints: 73205
986.87/989.87 c #Conflicts: 60000 | #Constraints: 74205
986.87/989.87 c #Conflicts: 61000 | #Constraints: 75205
986.87/989.87 c INPROCESSING
986.87/989.87 c GARBAGE COLLECT
986.87/989.87 c #Conflicts: 62000 | #Constraints: 71193
986.87/989.87 c #Conflicts: 63000 | #Constraints: 72193
986.87/989.87 c #Conflicts: 64000 | #Constraints: 73193
986.87/989.87 c #Conflicts: 65000 | #Constraints: 74193
986.87/989.87 c #Conflicts: 66000 | #Constraints: 75193
986.87/989.87 c INPROCESSING
986.87/989.87 c GARBAGE COLLECT
986.87/989.87 c #Conflicts: 67000 | #Constraints: 70999
986.87/989.87 c #Conflicts: 68000 | #Constraints: 71999
986.87/989.87 c #Conflicts: 69000 | #Constraints: 72999
986.87/989.87 c #Conflicts: 70000 | #Constraints: 73999
986.87/989.87 c #Conflicts: 71000 | #Constraints: 74999
986.87/989.87 c #Conflicts: 72000 | #Constraints: 75999
986.87/989.87 c INPROCESSING
986.87/989.87 c GARBAGE COLLECT
986.87/989.87 c #Conflicts: 73000 | #Constraints: 71600
986.87/989.87 c #Conflicts: 74000 | #Constraints: 72600
986.87/989.87 c #Conflicts: 75000 | #Constraints: 73600
986.87/989.87 c #Conflicts: 76000 | #Constraints: 74600
986.87/989.87 c #Conflicts: 77000 | #Constraints: 75600
986.87/989.87 c #Conflicts: 78000 | #Constraints: 76600
986.87/989.87 c INPROCESSING
986.87/989.87 c GARBAGE COLLECT
986.87/989.87 c #Conflicts: 79000 | #Constraints: 71998
986.87/989.87 c #Conflicts: 80000 | #Constraints: 72998
986.87/989.87 c #Conflicts: 81000 | #Constraints: 73998
986.87/989.87 c #Conflicts: 82000 | #Constraints: 74998
986.87/989.87 c #Conflicts: 83000 | #Constraints: 75998
986.87/989.87 c #Conflicts: 84000 | #Constraints: 76998
986.87/989.87 c INPROCESSING
986.87/989.87 c GARBAGE COLLECT
986.87/989.87 c #Conflicts: 85000 | #Constraints: 72201
986.87/989.87 c #Conflicts: 86000 | #Constraints: 73201
2304.94/2311.94 c #Conflicts: 87000 | #Constraints: 74201
2304.94/2311.94 c #Conflicts: 88000 | #Constraints: 75201
2304.94/2311.94 c #Conflicts: 89000 | #Constraints: 76201
2304.94/2311.94 c #Conflicts: 90000 | #Constraints: 77201
2304.94/2311.94 c INPROCESSING
2304.94/2311.94 c GARBAGE COLLECT
2304.94/2311.94 c #Conflicts: 91000 | #Constraints: 72201
2304.94/2311.94 c #Conflicts: 92000 | #Constraints: 73201
2304.94/2311.94 c #Conflicts: 93000 | #Constraints: 74201
2304.94/2311.94 c #Conflicts: 94000 | #Constraints: 75201
2304.94/2311.94 c #Conflicts: 95000 | #Constraints: 76201
2304.94/2311.94 c #Conflicts: 96000 | #Constraints: 77201
2304.94/2311.94 c INPROCESSING
2304.94/2311.94 c GARBAGE COLLECT
2304.94/2311.94 c #Conflicts: 97000 | #Constraints: 72001
2304.94/2311.94 c #Conflicts: 98000 | #Constraints: 73001
2304.94/2311.94 c #Conflicts: 99000 | #Constraints: 74001
2304.94/2311.94 c #Conflicts: 100000 | #Constraints: 75001
2304.94/2311.94 c #Conflicts: 101000 | #Constraints: 76001
2304.94/2311.94 c #Conflicts: 102000 | #Constraints: 77001
2304.94/2311.94 c #Conflicts: 103000 | #Constraints: 78001
2304.94/2311.94 c INPROCESSING
2304.94/2311.94 c GARBAGE COLLECT
2304.94/2311.94 c #Conflicts: 104000 | #Constraints: 72595
2304.94/2311.94 c #Conflicts: 105000 | #Constraints: 73595
2304.94/2311.94 c #Conflicts: 106000 | #Constraints: 74595
2304.94/2311.94 c #Conflicts: 107000 | #Constraints: 75595
2304.94/2311.94 c #Conflicts: 108000 | #Constraints: 76595
2304.94/2311.94 c #Conflicts: 109000 | #Constraints: 77595
2304.94/2311.94 c #Conflicts: 110000 | #Constraints: 78595
2304.94/2311.94 c INPROCESSING
2304.94/2311.94 c GARBAGE COLLECT
2304.94/2311.94 c #Conflicts: 111000 | #Constraints: 72998
2304.94/2311.94 c #Conflicts: 112000 | #Constraints: 73998
2304.94/2311.94 c #Conflicts: 113000 | #Constraints: 74998
2304.94/2311.94 c #Conflicts: 114000 | #Constraints: 75998
2304.94/2311.94 c #Conflicts: 115000 | #Constraints: 76998
2304.94/2311.94 c #Conflicts: 116000 | #Constraints: 77998
2304.94/2311.94 c #Conflicts: 117000 | #Constraints: 78998
2304.94/2311.94 c INPROCESSING
2304.94/2311.94 c GARBAGE COLLECT
2304.94/2311.94 c #Conflicts: 118000 | #Constraints: 73202
2304.94/2311.94 c #Conflicts: 119000 | #Constraints: 74202
2304.94/2311.94 c #Conflicts: 120000 | #Constraints: 75202
2304.94/2311.94 c #Conflicts: 121000 | #Constraints: 76202
2304.94/2311.94 c #Conflicts: 122000 | #Constraints: 77202
2304.94/2311.94 c #Conflicts: 123000 | #Constraints: 78202
2304.94/2311.94 c #Conflicts: 124000 | #Constraints: 79202
2304.94/2311.94 c INPROCESSING
2304.94/2311.94 c GARBAGE COLLECT
2304.94/2311.94 c #Conflicts: 125000 | #Constraints: 73194
2304.94/2311.94 c #Conflicts: 126000 | #Constraints: 74194
2304.94/2311.94 c #Conflicts: 127000 | #Constraints: 75194
2304.94/2311.94 c #Conflicts: 128000 | #Constraints: 76194
2304.94/2311.94 c #Conflicts: 129000 | #Constraints: 77194
2304.94/2311.94 c #Conflicts: 130000 | #Constraints: 78194
2304.94/2311.94 c #Conflicts: 131000 | #Constraints: 79194
2304.94/2311.94 c INPROCESSING
2304.94/2311.94 c GARBAGE COLLECT
2304.94/2311.94 c #Conflicts: 132000 | #Constraints: 72993
2304.94/2311.94 c #Conflicts: 133000 | #Constraints: 73993
2304.94/2311.94 c #Conflicts: 134000 | #Constraints: 74993
2304.94/2311.94 c #Conflicts: 135000 | #Constraints: 75993
2304.94/2311.94 c #Conflicts: 136000 | #Constraints: 76993
2304.94/2311.94 c #Conflicts: 137000 | #Constraints: 77993
2304.94/2311.94 c #Conflicts: 138000 | #Constraints: 78993
2304.94/2311.94 c #Conflicts: 139000 | #Constraints: 79993
2304.94/2311.94 c INPROCESSING
2304.94/2311.94 c GARBAGE COLLECT
2304.94/2311.94 c #Conflicts: 140000 | #Constraints: 73599
2304.94/2311.94 c #Conflicts: 141000 | #Constraints: 74599
2304.94/2311.94 c #Conflicts: 142000 | #Constraints: 75599
2304.94/2311.94 c #Conflicts: 143000 | #Constraints: 76599
2304.94/2311.94 c #Conflicts: 144000 | #Constraints: 77599
2304.94/2311.94 c #Conflicts: 145000 | #Constraints: 78599
2304.94/2311.94 c #Conflicts: 146000 | #Constraints: 79599
2304.94/2311.94 c #Conflicts: 147000 | #Constraints: 80599
2304.94/2311.94 c INPROCESSING
2304.94/2311.94 c GARBAGE COLLECT
2304.94/2311.94 c #Conflicts: 148000 | #Constraints: 73998
2304.94/2311.94 c #Conflicts: 149000 | #Constraints: 74998
2304.94/2311.94 c #Conflicts: 150000 | #Constraints: 75998
2304.94/2311.94 c #Conflicts: 151000 | #Constraints: 76998
2304.94/2311.94 c #Conflicts: 152000 | #Constraints: 77998
2304.94/2311.94 c #Conflicts: 153000 | #Constraints: 78998
2304.94/2311.94 c #Conflicts: 154000 | #Constraints: 79998
2304.94/2311.94 c #Conflicts: 155000 | #Constraints: 80998
2304.94/2311.94 c INPROCESSING
2304.94/2311.94 c GARBAGE COLLECT
2304.94/2311.94 c #Conflicts: 156000 | #Constraints: 74198
2304.94/2311.94 c #Conflicts: 157000 | #Constraints: 75198
2304.94/2311.94 c #Conflicts: 158000 | #Constraints: 76198
2304.94/2311.94 c #Conflicts: 159000 | #Constraints: 77198
3600.08/3611.10 c #Conflicts: 160000 | #Constraints: 78198
3600.08/3611.10 c #Conflicts: 161000 | #Constraints: 79198
3600.08/3611.10 c #Conflicts: 162000 | #Constraints: 80198
3600.08/3611.10 c #Conflicts: 163000 | #Constraints: 81198
3600.08/3611.10 c INPROCESSING
3600.08/3611.10 c GARBAGE COLLECT
3600.08/3611.10 c #Conflicts: 164000 | #Constraints: 74199
3600.08/3611.10 c #Conflicts: 165000 | #Constraints: 75199
3600.08/3611.10 c #Conflicts: 166000 | #Constraints: 76199
3600.08/3611.10 c #Conflicts: 167000 | #Constraints: 77199
3600.08/3611.10 c #Conflicts: 168000 | #Constraints: 78199
3600.08/3611.10 c #Conflicts: 169000 | #Constraints: 79199
3600.08/3611.10 c #Conflicts: 170000 | #Constraints: 80199
3600.08/3611.10 c #Conflicts: 171000 | #Constraints: 81199
3600.08/3611.10 c INPROCESSING
3600.08/3611.10 c GARBAGE COLLECT
3600.08/3611.10 c #Conflicts: 172000 | #Constraints: 73994
3600.08/3611.10 c #Conflicts: 173000 | #Constraints: 74994
3600.08/3611.10 c #Conflicts: 174000 | #Constraints: 75994
3600.08/3611.10 c #Conflicts: 175000 | #Constraints: 76994
3600.08/3611.10 c #Conflicts: 176000 | #Constraints: 77994
3600.08/3611.10 c #Conflicts: 177000 | #Constraints: 78994
3600.08/3611.10 c #Conflicts: 178000 | #Constraints: 79994
3600.08/3611.10 c #Conflicts: 179000 | #Constraints: 80994
3600.08/3611.10 c #Conflicts: 180000 | #Constraints: 81994
3600.08/3611.10 c INPROCESSING
3600.08/3611.10 c GARBAGE COLLECT
3600.08/3611.10 c #Conflicts: 181000 | #Constraints: 74598
3600.08/3611.10 c #Conflicts: 182000 | #Constraints: 75598
3600.08/3611.10 c #Conflicts: 183000 | #Constraints: 76598
3600.08/3611.10 c #Conflicts: 184000 | #Constraints: 77598
3600.08/3611.10 c #Conflicts: 185000 | #Constraints: 78598
3600.08/3611.10 c #Conflicts: 186000 | #Constraints: 79598
3600.08/3611.10 c #Conflicts: 187000 | #Constraints: 80598
3600.08/3611.10 c #Conflicts: 188000 | #Constraints: 81598
3600.08/3611.10 c #Conflicts: 189000 | #Constraints: 82598
3600.08/3611.10 c INPROCESSING
3600.08/3611.10 c GARBAGE COLLECT
3600.08/3611.10 c #Conflicts: 190000 | #Constraints: 75002
3600.08/3611.10 c #Conflicts: 191000 | #Constraints: 76002
3600.08/3611.10 c #Conflicts: 192000 | #Constraints: 77002
3600.08/3611.10 c #Conflicts: 193000 | #Constraints: 78002
3600.08/3611.10 c #Conflicts: 194000 | #Constraints: 79002
3600.08/3611.10 c #Conflicts: 195000 | #Constraints: 80002
3600.08/3611.10 c #Conflicts: 196000 | #Constraints: 81002
3600.08/3611.10 c #Conflicts: 197000 | #Constraints: 82002
3600.08/3611.10 c #Conflicts: 198000 | #Constraints: 83002
3600.08/3611.10 c INPROCESSING
3600.08/3611.10 c GARBAGE COLLECT
3600.08/3611.10 c #Conflicts: 199000 | #Constraints: 75205
3600.08/3611.10 c #Conflicts: 200000 | #Constraints: 76205
3600.08/3611.10 c #Conflicts: 201000 | #Constraints: 77205
3600.08/3611.10 c #Conflicts: 202000 | #Constraints: 78205
3600.08/3611.10 c #Conflicts: 203000 | #Constraints: 79205
3600.08/3611.10 c #Conflicts: 204000 | #Constraints: 80205
3600.08/3611.10 c #Conflicts: 205000 | #Constraints: 81205
3600.08/3611.10 c #Conflicts: 206000 | #Constraints: 82205
3600.08/3611.10 c #Conflicts: 207000 | #Constraints: 83205
3600.08/3611.10 c INPROCESSING
3600.08/3611.10 c GARBAGE COLLECT
3600.08/3611.10 c #Conflicts: 208000 | #Constraints: 75205
3600.08/3611.10 c #Conflicts: 209000 | #Constraints: 76205
3600.08/3611.10 c #Conflicts: 210000 | #Constraints: 77205
3600.08/3611.10 c #Conflicts: 211000 | #Constraints: 78205
3600.08/3611.10 c #Conflicts: 212000 | #Constraints: 79205
3600.08/3611.10 c #Conflicts: 213000 | #Constraints: 80205
3600.08/3611.10 c #Conflicts: 214000 | #Constraints: 81205
3600.08/3611.10 c #Conflicts: 215000 | #Constraints: 82205
3600.08/3611.10 c #Conflicts: 216000 | #Constraints: 83205
3600.08/3611.10 c INPROCESSING
3600.08/3611.10 c GARBAGE COLLECT
3600.08/3611.10 c #Conflicts: 217000 | #Constraints: 75006
3600.08/3611.10 c Program interrupted by user.
3600.08/3611.10 c cpu time 3361.47 s
3600.08/3611.10 c deterministic time 100903231104 1.01e+11
3600.08/3611.10 c optimization time 92.8536 s
3600.08/3611.10 c total solve time 2966.91 s
3600.08/3611.10 c core-guided solve time 2966.91 s
3600.08/3611.10 c propagation time 2492.31 s
3600.08/3611.10 c conflict analysis time 287.1 s
3600.08/3611.10 c propagations 160291461
3600.08/3611.10 c resolve steps 765832
3600.08/3611.10 c decisions 347029466
3600.08/3611.10 c conflicts 217719
3600.08/3611.10 c restarts 510
3600.08/3611.10 c inprocessing phases 38
3600.08/3611.10 c input clauses 65309
3600.08/3611.10 c input cardinalities 83
3600.08/3611.10 c input general constraints 51
3600.08/3611.10 c input average constraint length 58.61
3600.08/3611.10 c input average constraint degree 1.40
3600.08/3611.10 c learned clauses 6958
3600.08/3611.10 c learned cardinalities 2622
3600.08/3611.10 c learned general constraints 208140
3600.08/3611.10 c learned average constraint length 6647.50
3600.08/3611.10 c learned average constraint degree 48708.13
3600.08/3611.10 c watched constraints 1969
3600.08/3611.10 c counting constraints 206222
3600.08/3611.10 c gcd simplifications 321
3600.08/3611.10 c detected cardinalities 9
3600.08/3611.10 c weakened non-implied lits 47999398
3600.08/3611.10 c weakened non-implying lits 2626
3600.08/3611.10 c original variables 7840
3600.08/3611.10 c clausal propagations 2455818
3600.08/3611.10 c cardinality propagations 1388318
3600.08/3611.10 c watched propagations 133374
3600.08/3611.10 c counting propagations 154067726
3600.08/3611.10 c watch lookups 37521821051
3600.08/3611.10 c watch backjump lookups 37354213345
3600.08/3611.10 c watch checks 1195020479
3600.08/3611.10 c propagation checks 20680989506
3600.08/3611.10 c constraint additions 3136334009
3600.08/3611.10 c trail pops 507531786
3600.08/3611.10 c formula constraints 65280
3600.08/3611.10 c learned constraints 217720
3600.08/3611.10 c bound constraints 33
3600.08/3611.10 c core-guided constraints 130
3600.08/3611.10 c encountered formula constraints 444361
3600.08/3611.10 c encountered learned constraints 488590
3600.08/3611.10 c encountered bound constraints 339
3600.08/3611.10 c encountered core-guided constraints 50261
3600.08/3611.10 c LP total time 0 s
3600.08/3611.10 c LP solve time 0 s
3600.08/3611.10 c LP constraints added 0
3600.08/3611.10 c LP constraints removed 0
3600.08/3611.10 c LP pivots internal 0
3600.08/3611.10 c LP pivots root 0
3600.08/3611.10 c LP calls 0
3600.08/3611.10 c LP optimalities 0
3600.08/3611.10 c LP no pivot count 0
3600.08/3611.10 c LP infeasibilities 0
3600.08/3611.10 c LP valid Farkas constraints 0
3600.08/3611.10 c LP learned Farkas constraints 0
3600.08/3611.10 c LP basis resets 0
3600.08/3611.10 c LP cycling count 0
3600.08/3611.10 c LP singular count 0
3600.08/3611.10 c LP no primal count 0
3600.08/3611.10 c LP no farkas count 0
3600.08/3611.10 c LP other issue count 0
3600.08/3611.10 c LP Gomory cuts 0
3600.08/3611.10 c LP learned cuts 0
3600.08/3611.10 c LP deleted cuts 0
3600.08/3611.10 c LP encountered Gomory constraints 0
3600.08/3611.10 c LP encountered Farkas constraints 0
3600.08/3611.10 c LP encountered learned Farkas constraints 0
3600.08/3611.10 c CG auxiliary variables introduced 51
3600.08/3611.10 c CG solutions found 1
3600.08/3611.10 c CG cores constructed 30
3600.08/3611.10 c CG core cardinality constraints returned 0
3600.08/3611.10 c CG unit cores 0
3600.08/3611.10 c CG single cores 30
3600.08/3611.10 c CG blocks removed during cardinality reduction 0
3600.08/3611.10 c CG first core best 0
3600.08/3611.10 c CG decision core best 0
3600.08/3611.10 c CG core reduction tie 0
3600.08/3611.10 c CG core degree average 1.00
3600.08/3611.10 c CG core slack average 111.67
3600.08/3611.10 c CG exhausted 0
3600.08/3611.10 c CG exhaust time 76.3014 s
3600.08/3611.10 c CG trimmed 0
3600.08/3611.10 c CG trim time 0.006662 s
3600.08/3611.10 c CG minimized 0
3600.08/3611.10 c CG minimize time 0 s
3600.08/3611.10 c CG am1 prop time 0.020638 s
3600.08/3611.10 c CG # am1s reformulated 0
3600.08/3611.10 c CG lower bound derived from am1s 0
3600.08/3611.10 c CG # clausal cores 30
3600.08/3611.10 c CG # cardinality cores 0
3600.08/3611.10 c CG # pb cores 0
3600.08/3611.10 c CG # pb reforms 0
3600.08/3611.10 c CG # cores discarded because of pb reform 0
3600.08/3611.10 d LOWERBOUND 30
3600.08/3611.10 d NCORES 30
3600.08/3611.10 d NPBCORES 0
3600.08/3611.10 d NPBREFORM 0
3600.08/3611.10 d NTRIMMED 0
3600.08/3611.10 d NEXHAUSTED 0
3600.08/3611.10 d NAM1S 0
3600.08/3611.10 d AM1LB 0
3600.08/3611.10 c [Papilo Statistics]
3600.08/3611.10 c prepro time 0.454063s
3600.08/3611.10 c # tsx applied 0
3600.08/3611.10 c # tsx conflicts 0
3600.08/3611.10 c # bound changes 0
3600.08/3611.10 c # side changes 0
3600.08/3611.10 c # coef changes 0
3600.08/3611.10 c # rounds 1
3600.08/3611.10 c # deted vars 0
3600.08/3611.10 c # deted constrs 0
3600.08/3611.10 c # consecutive rounds of only bound changes 0
3600.08/3611.10 c [STEP] postprocessing with Papilo
3600.08/3611.14 o 46
3600.08/3611.14 s SATISFIABLE
3600.08/3611.14 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: 63665 MiB (59563 MiB free)
memory of node 1: 64507 MiB (62361 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529122-1752260161/watcher-4529122-1752260161 -o /tmp/evaluation-result-4529122-1752260161/solver-4529122-1752260161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752256328-122583 --watchdog 3760 mixed-bag HOME/instance-4529122-1752260161.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=124760, runsolver pid=124757
[startup+0.100059 s]*
/proc/loadavg: 4.44 4.21 4.12 5/264 124761
/proc/meminfo: memFree=124850372/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=92320 memory=18768 CPUtime=0.09 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 2990 0 0 0 8 1 0 0 20 0 1 0 141695675 94535680 4692 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 23080 4692 2144 2834 0 5832 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 92320 KiB
Current children cumulated memory: 18768 KiB
[startup+0.205444 s]*
/proc/loadavg: 4.44 4.21 4.12 5/264 124761
/proc/meminfo: memFree=124850372/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=100512 memory=25088 CPUtime=0.19 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 3554 0 0 0 18 1 0 0 20 0 1 0 141695675 102924288 6272 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 25128 6272 2144 2834 0 7880 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 100512 KiB
Current children cumulated memory: 25088 KiB
[startup+0.305433 s]*
/proc/loadavg: 4.44 4.21 4.12 5/264 124761
/proc/meminfo: memFree=124838084/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=116896 memory=31408 CPUtime=0.29 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 4120 0 0 0 27 2 0 0 20 0 1 0 141695675 119701504 7852 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 29224 7852 2144 2834 0 11976 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 116896 KiB
Current children cumulated memory: 31408 KiB
[startup+0.700176 s]
/proc/loadavg: 4.44 4.21 4.12 5/264 124761
/proc/meminfo: memFree=124838084/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=149664 memory=54560 CPUtime=0.68 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 4820 0 0 0 65 3 0 0 20 0 1 0 141695675 153255936 13640 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 37416 13640 2144 2834 0 20168 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 149664 KiB
Current children cumulated memory: 54560 KiB
[startup+1.50012 s]
/proc/loadavg: 4.44 4.21 4.12 5/264 124761
/proc/meminfo: memFree=124805316/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=215200 memory=100872 CPUtime=1.48 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 5710 0 0 0 142 6 0 0 20 0 1 0 141695675 220364800 25218 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 53800 25218 2144 2834 0 36552 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 215200 KiB
Current children cumulated memory: 100872 KiB
[startup+3.10537 s]
/proc/loadavg: 4.40 4.21 4.12 5/263 124761
/proc/meminfo: memFree=124244592/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=703880 memory=610296 CPUtime=3.08 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 89295 0 0 0 277 31 0 0 20 0 1 0 141695675 720773120 152574 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 175970 152574 3936 2834 0 158175 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 703880 KiB
Current children cumulated memory: 610296 KiB
[startup+6.30012 s]
/proc/loadavg: 4.40 4.21 4.12 5/263 124761
/proc/meminfo: memFree=123315436/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=1325396 memory=1223404 CPUtime=6.26 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 231568 0 0 0 560 66 0 0 20 0 1 0 141695675 1357205504 305851 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 331349 305851 3968 2834 0 313554 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1325396 KiB
Current children cumulated memory: 1223404 KiB
[startup+12.7002 s]
/proc/loadavg: 4.34 4.20 4.12 5/263 124761
/proc/meminfo: memFree=122689248/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=2875944 memory=2516652 CPUtime=12.65 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 257916 0 0 0 1171 94 0 0 20 0 1 0 141695675 2944966656 629163 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 718986 629163 4064 2834 0 701191 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2875944 KiB
Current children cumulated memory: 2516652 KiB
[startup+25.5001 s]
/proc/loadavg: 4.37 4.21 4.13 5/263 124761
/proc/meminfo: memFree=121866616/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3264268 memory=2895252 CPUtime=25.41 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 300505 0 0 0 2421 120 0 0 20 0 1 0 141695675 3342610432 723813 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 816067 723813 4224 2834 0 798272 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3264268 KiB
Current children cumulated memory: 2895252 KiB
[startup+51.1054 s]
/proc/loadavg: 4.24 4.19 4.12 5/263 124761
/proc/meminfo: memFree=121969748/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3264268 memory=2895252 CPUtime=50.94 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 300511 0 0 0 4974 120 0 0 20 0 1 0 141695675 3342610432 723813 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 816067 723813 4224 2834 0 798272 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3264268 KiB
Current children cumulated memory: 2895252 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.19 4.12 5/264 124768
/proc/meminfo: memFree=122000000/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3264268 memory=2895252 CPUtime=102 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 300522 0 0 0 10079 121 0 0 20 0 1 0 141695675 3342610432 723813 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 816067 723813 4224 2834 0 798272 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 3264268 KiB
Current children cumulated memory: 2895252 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/264 124904
/proc/meminfo: memFree=122784540/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3264268 memory=2895252 CPUtime=161.83 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 300522 0 0 0 16062 121 0 0 20 0 1 0 141695675 3342610432 723813 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 816067 723813 4224 2834 0 798272 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 3264268 KiB
Current children cumulated memory: 2895252 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/264 124906
/proc/meminfo: memFree=122554920/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3264268 memory=2895252 CPUtime=221.65 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 300589 0 0 0 22044 121 0 0 20 0 1 0 141695675 3342610432 723813 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 816067 723813 4224 2834 0 798272 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 3264268 KiB
Current children cumulated memory: 2895252 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/264 124908
/proc/meminfo: memFree=122535412/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3264268 memory=2895380 CPUtime=281.48 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 300611 0 0 0 28027 121 0 0 20 0 1 0 141695675 3342610432 723845 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 816067 723845 4224 2834 0 798272 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 3264268 KiB
Current children cumulated memory: 2895380 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/264 124922
/proc/meminfo: memFree=124009412/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=1394352 memory=1219972 CPUtime=341.3 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 306378 0 0 0 33909 221 0 0 20 0 1 0 141695675 1427816448 304993 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 348588 304993 4416 2834 0 330793 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 1394352 KiB
Current children cumulated memory: 1219972 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/263 124924
/proc/meminfo: memFree=123823676/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=1609276 memory=1343712 CPUtime=401.1 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 307164 0 0 0 39624 486 0 0 20 0 1 0 141695675 1647898624 335928 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 402319 335928 4416 2834 0 384524 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 1609276 KiB
Current children cumulated memory: 1343712 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/263 124926
/proc/meminfo: memFree=123599120/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=1609276 memory=1401260 CPUtime=460.93 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 307287 0 0 0 45117 976 0 0 20 0 1 0 141695675 1647898624 350315 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 402319 350315 4416 2834 0 384524 0
################
# More data... #
################
/proc/124760/statm: 819169 595724 4416 2834 0 801374 0
Current children cumulated CPU time: 2853.64 s
Current children cumulated vsize: 3276676 KiB
Current children cumulated memory: 2382896 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/262 125089
/proc/meminfo: memFree=113247052/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3276676 memory=2382896 CPUtime=2913.45 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 432115 0 0 0 271589 19756 0 0 20 0 1 0 141695675 3355316224 595724 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 819169 595724 4416 2834 0 801374 0
Current children cumulated CPU time: 2913.45 s
Current children cumulated vsize: 3276676 KiB
Current children cumulated memory: 2382896 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 125091
/proc/meminfo: memFree=113124928/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3450948 memory=2504444 CPUtime=2973.25 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 456874 0 0 0 277207 20118 0 0 20 0 1 0 141695675 3533770752 626111 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 862737 626111 4416 2834 0 844942 0
Current children cumulated CPU time: 2973.25 s
Current children cumulated vsize: 3450948 KiB
Current children cumulated memory: 2504444 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 125097
/proc/meminfo: memFree=113003144/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3450948 memory=2504444 CPUtime=3033.06 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 456874 0 0 0 282759 20547 0 0 20 0 1 0 141695675 3533770752 626111 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 862737 626111 4416 2834 0 844942 0
Current children cumulated CPU time: 3033.06 s
Current children cumulated vsize: 3450948 KiB
Current children cumulated memory: 2504444 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 125103
/proc/meminfo: memFree=112800548/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3450948 memory=2504444 CPUtime=3092.87 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 456874 0 0 0 288400 20887 0 0 20 0 1 0 141695675 3533770752 626111 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 862737 626111 4416 2834 0 844942 0
Current children cumulated CPU time: 3092.87 s
Current children cumulated vsize: 3450948 KiB
Current children cumulated memory: 2504444 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 125105
/proc/meminfo: memFree=112726308/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3544724 memory=2582256 CPUtime=3152.68 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 471754 0 0 0 294086 21182 0 0 20 0 1 0 141695675 3629797376 645564 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 886181 645564 4416 2834 0 868386 0
Current children cumulated CPU time: 3152.68 s
Current children cumulated vsize: 3544724 KiB
Current children cumulated memory: 2582256 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 125108
/proc/meminfo: memFree=112726056/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3544724 memory=2582256 CPUtime=3212.5 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 471754 0 0 0 299611 21639 0 0 20 0 1 0 141695675 3629797376 645564 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 886181 645564 4416 2834 0 868386 0
Current children cumulated CPU time: 3212.5 s
Current children cumulated vsize: 3544724 KiB
Current children cumulated memory: 2582256 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 125110
/proc/meminfo: memFree=112684448/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3544724 memory=2582256 CPUtime=3272.31 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 471754 0 0 0 305225 22006 0 0 20 0 1 0 141695675 3629797376 645564 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 886181 645564 4416 2834 0 868386 0
Current children cumulated CPU time: 3272.31 s
Current children cumulated vsize: 3544724 KiB
Current children cumulated memory: 2582256 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 125112
/proc/meminfo: memFree=112603740/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3544724 memory=2582256 CPUtime=3332.12 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 471761 0 0 0 310901 22311 0 0 20 0 1 0 141695675 3629797376 645564 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 886181 645564 4416 2834 0 868386 0
Current children cumulated CPU time: 3332.12 s
Current children cumulated vsize: 3544724 KiB
Current children cumulated memory: 2582256 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 125114
/proc/meminfo: memFree=112524284/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3589452 memory=2638380 CPUtime=3391.92 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 480184 0 0 0 316524 22668 0 0 20 0 1 0 141695675 3675598848 659595 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 897363 659595 4416 2834 0 879568 0
Current children cumulated CPU time: 3391.92 s
Current children cumulated vsize: 3589452 KiB
Current children cumulated memory: 2638380 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 125116
/proc/meminfo: memFree=112503268/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3589452 memory=2638380 CPUtime=3451.74 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 480184 0 0 0 322112 23062 0 0 20 0 1 0 141695675 3675598848 659595 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 897363 659595 4416 2834 0 879568 0
Current children cumulated CPU time: 3451.74 s
Current children cumulated vsize: 3589452 KiB
Current children cumulated memory: 2638380 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 125118
/proc/meminfo: memFree=112505464/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3589452 memory=2638380 CPUtime=3511.55 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 480184 0 0 0 327768 23387 0 0 20 0 1 0 141695675 3675598848 659595 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 897363 659595 4416 2834 0 879568 0
Current children cumulated CPU time: 3511.55 s
Current children cumulated vsize: 3589452 KiB
Current children cumulated memory: 2638380 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 125120
/proc/meminfo: memFree=112449456/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3616692 memory=2670792 CPUtime=3571.36 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 485242 0 0 0 333454 23682 0 0 20 0 1 0 141695675 3703492608 667698 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 904173 667698 4416 2834 0 886378 0
Current children cumulated CPU time: 3571.36 s
Current children cumulated vsize: 3616692 KiB
Current children cumulated memory: 2670792 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 125120
/proc/meminfo: memFree=112417272/131249996 swapFree=33005016/33010684
[pid=124760] ppid=124757 vsize=3632792 memory=2701556 CPUtime=3600.08 cores=5,7
/proc/124760/stat : 124760 (mixed-bag) R 124757 124760 122570 0 -1 4194304 489368 0 0 0 336147 23861 0 0 20 0 1 0 141695675 3719979008 675389 18446744073709551615 4235264 15840557 140734158725920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 53424128 140734158727578 140734158727655 140734158727655 140734158733259 0
/proc/124760/statm: 908198 675389 4416 2834 0 890403 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3632792 KiB
Current children cumulated memory: 2701556 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.22 s]
# the end of solver process 124760 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3361.5 s, system=238.704 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]*
/proc/loadavg: 4.13 4.10 4.09 5/263 125120
/proc/meminfo: memFree=113992504/131249996 swapFree=33005016/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3611.22
CPU time (s): 3600.2
CPU user time (s): 3361.5
CPU system time (s): 238.704
CPU usage (%): 99.6949
Max. virtual memory (cumulated for all children) (KiB): 3632792
Max. memory (cumulated for all children) (KiB): 2956292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3361.5
system time used= 238.704
maximum resident set size= 2999136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 492612
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= 100
involuntary context switches= 1771
# summary of solver processes directly reported to runsolver:
# pid: 124760
# total CPU time (s): 3600.2
# total CPU user time (s): 3361.5
# total CPU system time (s): 238.704
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62735 second user time and 14.8619 second system time
The end
Begin job on nodeC030 at 2025-07-11 20:56:01
IDJOB=4529122
IDBENCH=155400
IDSOLVER=3386
FILE ID=nodeC030/4529122-1752260161
RUNJOBID= nodeC030-1752256328-122583
SLURM_JOB_ID= 9682597
Free space on /tmp= 432432 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529122-1752260161/watcher-4529122-1752260161 -o /tmp/evaluation-result-4529122-1752260161/solver-4529122-1752260161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752256328-122583 --watchdog 3760 mixed-bag HOME/instance-4529122-1752260161.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=2079457942
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.319
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.315
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3642.760
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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.962
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.265
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3598.835
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3621.943
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.321
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 124850484 kB
MemAvailable: 127948324 kB
Buffers: 16 kB
Cached: 3882332 kB
SwapCached: 216 kB
Active: 1927940 kB
Inactive: 3774868 kB
Active(anon): 1772920 kB
Inactive(anon): 61088 kB
Active(file): 155020 kB
Inactive(file): 3713780 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005016 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 46424 kB
Writeback: 0 kB
AnonPages: 1823344 kB
Mapped: 134016 kB
Shmem: 13548 kB
KReclaimable: 136156 kB
Slab: 228796 kB
SReclaimable: 136156 kB
SUnreclaim: 92640 kB
KernelStack: 4256 kB
PageTables: 6880 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2352180 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 243712 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432324 MiB
End job on nodeC030 at 2025-07-11 21:56:12