0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.06 c [STEP] solving
0.00/0.06 c #variables 10272 #constraints 706
0.00/0.06 c SMALL=int, LARGE=long long
0.00/0.06 c bounds - >= 0 @ 0.04753
0.00/0.06 c stratification level: 0
1.88/2.01 c bounds - >= 27 @ 0.049745
1.88/2.01 c #Conflicts: 1000 | #Constraints: 1706
1.88/2.01 c #Conflicts: 2000 | #Constraints: 2706
1.88/2.01 c INPROCESSING
1.88/2.01 c GARBAGE COLLECT
1.88/2.01 c finalizing WCE round: reformulating cores
86.64/86.99 c #Conflicts: 3000 | #Constraints: 2719
86.64/86.99 c bounds 32 >= 27 @ 2.47108
86.64/86.99 c #Conflicts: 4000 | #Constraints: 3719
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 5000 | #Constraints: 3124
86.64/86.99 c #Conflicts: 6000 | #Constraints: 4124
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 7000 | #Constraints: 3132
86.64/86.99 c #Conflicts: 8000 | #Constraints: 4132
86.64/86.99 c #Conflicts: 9000 | #Constraints: 5132
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 10000 | #Constraints: 3831
86.64/86.99 c #Conflicts: 11000 | #Constraints: 4831
86.64/86.99 c #Conflicts: 12000 | #Constraints: 5831
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 13000 | #Constraints: 4277
86.64/86.99 c #Conflicts: 14000 | #Constraints: 5277
86.64/86.99 c #Conflicts: 15000 | #Constraints: 6277
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 16000 | #Constraints: 4504
86.64/86.99 c #Conflicts: 17000 | #Constraints: 5504
86.64/86.99 c #Conflicts: 18000 | #Constraints: 6504
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 19000 | #Constraints: 4527
86.64/86.99 c #Conflicts: 20000 | #Constraints: 5527
86.64/86.99 c #Conflicts: 21000 | #Constraints: 6527
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 22000 | #Constraints: 4328
86.64/86.99 c #Conflicts: 23000 | #Constraints: 5328
86.64/86.99 c #Conflicts: 24000 | #Constraints: 6328
86.64/86.99 c #Conflicts: 25000 | #Constraints: 7328
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 26000 | #Constraints: 4934
86.64/86.99 c #Conflicts: 27000 | #Constraints: 5934
86.64/86.99 c #Conflicts: 28000 | #Constraints: 6934
86.64/86.99 c #Conflicts: 29000 | #Constraints: 7934
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 30000 | #Constraints: 5330
86.64/86.99 c #Conflicts: 31000 | #Constraints: 6330
86.64/86.99 c #Conflicts: 32000 | #Constraints: 7330
86.64/86.99 c #Conflicts: 33000 | #Constraints: 8330
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 34000 | #Constraints: 5537
86.64/86.99 c #Conflicts: 35000 | #Constraints: 6537
86.64/86.99 c #Conflicts: 36000 | #Constraints: 7537
86.64/86.99 c #Conflicts: 37000 | #Constraints: 8537
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 38000 | #Constraints: 5538
86.64/86.99 c #Conflicts: 39000 | #Constraints: 6538
86.64/86.99 c #Conflicts: 40000 | #Constraints: 7538
86.64/86.99 c #Conflicts: 41000 | #Constraints: 8538
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 42000 | #Constraints: 5341
86.64/86.99 c #Conflicts: 43000 | #Constraints: 6341
86.64/86.99 c #Conflicts: 44000 | #Constraints: 7341
86.64/86.99 c #Conflicts: 45000 | #Constraints: 8341
86.64/86.99 c #Conflicts: 46000 | #Constraints: 9341
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 47000 | #Constraints: 5936
86.64/86.99 c #Conflicts: 48000 | #Constraints: 6936
86.64/86.99 c #Conflicts: 49000 | #Constraints: 7936
86.64/86.99 c #Conflicts: 50000 | #Constraints: 8936
86.64/86.99 c #Conflicts: 51000 | #Constraints: 9936
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 52000 | #Constraints: 6342
86.64/86.99 c #Conflicts: 53000 | #Constraints: 7342
86.64/86.99 c #Conflicts: 54000 | #Constraints: 8342
86.64/86.99 c #Conflicts: 55000 | #Constraints: 9342
86.64/86.99 c #Conflicts: 56000 | #Constraints: 10342
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 57000 | #Constraints: 6537
86.64/86.99 c #Conflicts: 58000 | #Constraints: 7537
86.64/86.99 c #Conflicts: 59000 | #Constraints: 8537
86.64/86.99 c #Conflicts: 60000 | #Constraints: 9537
86.64/86.99 c #Conflicts: 61000 | #Constraints: 10537
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 62000 | #Constraints: 6539
86.64/86.99 c #Conflicts: 63000 | #Constraints: 7539
86.64/86.99 c #Conflicts: 64000 | #Constraints: 8539
86.64/86.99 c #Conflicts: 65000 | #Constraints: 9539
86.64/86.99 c #Conflicts: 66000 | #Constraints: 10539
86.64/86.99 c INPROCESSING
86.64/86.99 c GARBAGE COLLECT
86.64/86.99 c #Conflicts: 67000 | #Constraints: 6336
86.64/86.99 c #Conflicts: 68000 | #Constraints: 7336
86.64/86.99 c #Conflicts: 69000 | #Constraints: 8336
86.64/86.99 c #Conflicts: 70000 | #Constraints: 9336
272.91/273.78 c #Conflicts: 71000 | #Constraints: 10336
272.91/273.78 c #Conflicts: 72000 | #Constraints: 11336
272.91/273.78 c INPROCESSING
272.91/273.78 c GARBAGE COLLECT
272.91/273.78 c #Conflicts: 73000 | #Constraints: 6936
272.91/273.78 c #Conflicts: 74000 | #Constraints: 7936
272.91/273.78 c #Conflicts: 75000 | #Constraints: 8936
272.91/273.78 c #Conflicts: 76000 | #Constraints: 9936
272.91/273.78 c #Conflicts: 77000 | #Constraints: 10936
272.91/273.78 c #Conflicts: 78000 | #Constraints: 11936
272.91/273.78 c INPROCESSING
272.91/273.78 c GARBAGE COLLECT
272.91/273.78 c #Conflicts: 79000 | #Constraints: 7332
272.91/273.78 c #Conflicts: 80000 | #Constraints: 8332
272.91/273.78 c #Conflicts: 81000 | #Constraints: 9332
272.91/273.78 c #Conflicts: 82000 | #Constraints: 10332
272.91/273.78 c #Conflicts: 83000 | #Constraints: 11332
272.91/273.78 c #Conflicts: 84000 | #Constraints: 12332
272.91/273.78 c INPROCESSING
272.91/273.78 c GARBAGE COLLECT
272.91/273.78 c #Conflicts: 85000 | #Constraints: 7537
272.91/273.78 c #Conflicts: 86000 | #Constraints: 8537
272.91/273.78 c #Conflicts: 87000 | #Constraints: 9537
272.91/273.78 c #Conflicts: 88000 | #Constraints: 10537
272.91/273.78 c #Conflicts: 89000 | #Constraints: 11537
272.91/273.78 c #Conflicts: 90000 | #Constraints: 12537
272.91/273.78 c INPROCESSING
272.91/273.78 c GARBAGE COLLECT
272.91/273.78 c #Conflicts: 91000 | #Constraints: 7537
272.91/273.78 c #Conflicts: 92000 | #Constraints: 8537
272.91/273.78 c #Conflicts: 93000 | #Constraints: 9537
272.91/273.78 c #Conflicts: 94000 | #Constraints: 10537
272.91/273.78 c #Conflicts: 95000 | #Constraints: 11537
272.91/273.78 c #Conflicts: 96000 | #Constraints: 12537
272.91/273.78 c INPROCESSING
272.91/273.78 c GARBAGE COLLECT
272.91/273.78 c #Conflicts: 97000 | #Constraints: 7348
272.91/273.78 c #Conflicts: 98000 | #Constraints: 8348
272.91/273.78 c #Conflicts: 99000 | #Constraints: 9348
272.91/273.78 c #Conflicts: 100000 | #Constraints: 10348
272.91/273.78 c #Conflicts: 101000 | #Constraints: 11348
272.91/273.78 c #Conflicts: 102000 | #Constraints: 12348
272.91/273.78 c #Conflicts: 103000 | #Constraints: 13348
272.91/273.78 c INPROCESSING
272.91/273.78 c GARBAGE COLLECT
272.91/273.78 c #Conflicts: 104000 | #Constraints: 7945
272.91/273.78 c #Conflicts: 105000 | #Constraints: 8945
272.91/273.78 c #Conflicts: 106000 | #Constraints: 9945
272.91/273.78 c #Conflicts: 107000 | #Constraints: 10945
272.91/273.78 c #Conflicts: 108000 | #Constraints: 11945
272.91/273.78 c #Conflicts: 109000 | #Constraints: 12945
272.91/273.78 c #Conflicts: 110000 | #Constraints: 13945
272.91/273.78 c INPROCESSING
272.91/273.78 c GARBAGE COLLECT
272.91/273.78 c #Conflicts: 111000 | #Constraints: 8338
272.91/273.78 c #Conflicts: 112000 | #Constraints: 9338
272.91/273.78 c #Conflicts: 113000 | #Constraints: 10338
272.91/273.78 c #Conflicts: 114000 | #Constraints: 11338
272.91/273.78 c #Conflicts: 115000 | #Constraints: 12338
272.91/273.78 c #Conflicts: 116000 | #Constraints: 13338
272.91/273.78 c #Conflicts: 117000 | #Constraints: 14338
272.91/273.78 c INPROCESSING
272.91/273.78 c GARBAGE COLLECT
272.91/273.78 c #Conflicts: 118000 | #Constraints: 8537
272.91/273.78 c #Conflicts: 119000 | #Constraints: 9537
272.91/273.78 c #Conflicts: 120000 | #Constraints: 10537
272.91/273.78 c #Conflicts: 121000 | #Constraints: 11537
272.91/273.78 c #Conflicts: 122000 | #Constraints: 12537
272.91/273.78 c #Conflicts: 123000 | #Constraints: 13537
272.91/273.78 c #Conflicts: 124000 | #Constraints: 14537
272.91/273.78 c INPROCESSING
272.91/273.78 c GARBAGE COLLECT
272.91/273.78 c #Conflicts: 125000 | #Constraints: 8538
272.91/273.78 c #Conflicts: 126000 | #Constraints: 9538
272.91/273.78 c #Conflicts: 127000 | #Constraints: 10538
272.91/273.78 c #Conflicts: 128000 | #Constraints: 11538
272.91/273.78 c #Conflicts: 129000 | #Constraints: 12538
272.91/273.78 c #Conflicts: 130000 | #Constraints: 13538
272.91/273.78 c #Conflicts: 131000 | #Constraints: 14538
272.91/273.78 c INPROCESSING
272.91/273.78 c GARBAGE COLLECT
272.91/273.78 c #Conflicts: 132000 | #Constraints: 8334
272.91/273.78 c #Conflicts: 133000 | #Constraints: 9334
272.91/273.78 c #Conflicts: 134000 | #Constraints: 10334
272.91/273.78 c #Conflicts: 135000 | #Constraints: 11334
272.91/273.78 c #Conflicts: 136000 | #Constraints: 12334
272.91/273.78 c #Conflicts: 137000 | #Constraints: 13334
272.91/273.78 c #Conflicts: 138000 | #Constraints: 14334
272.91/273.78 c #Conflicts: 139000 | #Constraints: 15334
272.91/273.78 c INPROCESSING
272.91/273.78 c GARBAGE COLLECT
272.91/273.78 c #Conflicts: 140000 | #Constraints: 8938
272.91/273.78 c #Conflicts: 141000 | #Constraints: 9938
272.91/273.78 c #Conflicts: 142000 | #Constraints: 10938
472.13/473.59 c #Conflicts: 143000 | #Constraints: 11938
472.13/473.59 c #Conflicts: 144000 | #Constraints: 12938
472.13/473.59 c #Conflicts: 145000 | #Constraints: 13938
472.13/473.59 c #Conflicts: 146000 | #Constraints: 14938
472.13/473.59 c #Conflicts: 147000 | #Constraints: 15938
472.13/473.59 c INPROCESSING
472.13/473.59 c GARBAGE COLLECT
472.13/473.59 c #Conflicts: 148000 | #Constraints: 9343
472.13/473.59 c #Conflicts: 149000 | #Constraints: 10343
472.13/473.59 c #Conflicts: 150000 | #Constraints: 11343
472.13/473.59 c #Conflicts: 151000 | #Constraints: 12343
472.13/473.59 c #Conflicts: 152000 | #Constraints: 13343
472.13/473.59 c #Conflicts: 153000 | #Constraints: 14343
472.13/473.59 c #Conflicts: 154000 | #Constraints: 15343
472.13/473.59 c #Conflicts: 155000 | #Constraints: 16343
472.13/473.59 c INPROCESSING
472.13/473.59 c GARBAGE COLLECT
472.13/473.59 c #Conflicts: 156000 | #Constraints: 9545
472.13/473.59 c #Conflicts: 157000 | #Constraints: 10545
472.13/473.59 c #Conflicts: 158000 | #Constraints: 11545
472.13/473.59 c #Conflicts: 159000 | #Constraints: 12545
472.13/473.59 c #Conflicts: 160000 | #Constraints: 13545
472.13/473.59 c #Conflicts: 161000 | #Constraints: 14545
472.13/473.59 c #Conflicts: 162000 | #Constraints: 15545
472.13/473.59 c #Conflicts: 163000 | #Constraints: 16545
472.13/473.59 c INPROCESSING
472.13/473.59 c GARBAGE COLLECT
472.13/473.59 c #Conflicts: 164000 | #Constraints: 9540
472.13/473.59 c #Conflicts: 165000 | #Constraints: 10540
472.13/473.59 c #Conflicts: 166000 | #Constraints: 11540
472.13/473.59 c #Conflicts: 167000 | #Constraints: 12540
472.13/473.59 c #Conflicts: 168000 | #Constraints: 13540
472.13/473.59 c #Conflicts: 169000 | #Constraints: 14540
472.13/473.59 c #Conflicts: 170000 | #Constraints: 15540
472.13/473.59 c #Conflicts: 171000 | #Constraints: 16540
472.13/473.59 c INPROCESSING
472.13/473.59 c GARBAGE COLLECT
472.13/473.59 c #Conflicts: 172000 | #Constraints: 9333
472.13/473.59 c #Conflicts: 173000 | #Constraints: 10333
472.13/473.59 c #Conflicts: 174000 | #Constraints: 11333
472.13/473.59 c #Conflicts: 175000 | #Constraints: 12333
472.13/473.59 c #Conflicts: 176000 | #Constraints: 13333
472.13/473.59 c #Conflicts: 177000 | #Constraints: 14333
472.13/473.59 c #Conflicts: 178000 | #Constraints: 15333
472.13/473.59 c #Conflicts: 179000 | #Constraints: 16333
472.13/473.59 c #Conflicts: 180000 | #Constraints: 17333
472.13/473.59 c INPROCESSING
472.13/473.59 c GARBAGE COLLECT
472.13/473.59 c #Conflicts: 181000 | #Constraints: 9934
472.13/473.59 c #Conflicts: 182000 | #Constraints: 10934
472.13/473.59 c #Conflicts: 183000 | #Constraints: 11934
472.13/473.59 c #Conflicts: 184000 | #Constraints: 12934
472.13/473.59 c #Conflicts: 185000 | #Constraints: 13934
472.13/473.59 c #Conflicts: 186000 | #Constraints: 14934
472.13/473.59 c #Conflicts: 187000 | #Constraints: 15934
472.13/473.59 c #Conflicts: 188000 | #Constraints: 16934
472.13/473.59 c #Conflicts: 189000 | #Constraints: 17934
472.13/473.59 c INPROCESSING
472.13/473.59 c GARBAGE COLLECT
472.13/473.59 c #Conflicts: 190000 | #Constraints: 10341
472.13/473.59 c #Conflicts: 191000 | #Constraints: 11341
472.13/473.59 c #Conflicts: 192000 | #Constraints: 12341
472.13/473.59 c #Conflicts: 193000 | #Constraints: 13341
472.13/473.59 c #Conflicts: 194000 | #Constraints: 14341
472.13/473.59 c #Conflicts: 195000 | #Constraints: 15341
472.13/473.59 c #Conflicts: 196000 | #Constraints: 16341
472.13/473.59 c #Conflicts: 197000 | #Constraints: 17341
472.13/473.59 c #Conflicts: 198000 | #Constraints: 18341
472.13/473.59 c INPROCESSING
472.13/473.59 c GARBAGE COLLECT
472.13/473.59 c #Conflicts: 199000 | #Constraints: 10549
472.13/473.59 c #Conflicts: 200000 | #Constraints: 11549
472.13/473.59 c #Conflicts: 201000 | #Constraints: 12549
472.13/473.59 c #Conflicts: 202000 | #Constraints: 13549
472.13/473.59 c #Conflicts: 203000 | #Constraints: 14549
472.13/473.59 c #Conflicts: 204000 | #Constraints: 15549
472.13/473.59 c #Conflicts: 205000 | #Constraints: 16549
472.13/473.59 c #Conflicts: 206000 | #Constraints: 17549
472.13/473.59 c #Conflicts: 207000 | #Constraints: 18549
472.13/473.59 c INPROCESSING
472.13/473.59 c GARBAGE COLLECT
472.13/473.59 c #Conflicts: 208000 | #Constraints: 10553
472.13/473.59 c #Conflicts: 209000 | #Constraints: 11553
472.13/473.59 c #Conflicts: 210000 | #Constraints: 12553
472.13/473.59 c #Conflicts: 211000 | #Constraints: 13553
472.13/473.59 c #Conflicts: 212000 | #Constraints: 14553
472.13/473.59 c #Conflicts: 213000 | #Constraints: 15553
472.13/473.59 c #Conflicts: 214000 | #Constraints: 16553
472.13/473.59 c #Conflicts: 215000 | #Constraints: 17553
670.78/672.71 c #Conflicts: 216000 | #Constraints: 18553
670.78/672.71 c INPROCESSING
670.78/672.71 c GARBAGE COLLECT
670.78/672.71 c #Conflicts: 217000 | #Constraints: 10339
670.78/672.71 c #Conflicts: 218000 | #Constraints: 11339
670.78/672.71 c #Conflicts: 219000 | #Constraints: 12339
670.78/672.71 c #Conflicts: 220000 | #Constraints: 13339
670.78/672.71 c #Conflicts: 221000 | #Constraints: 14339
670.78/672.71 c #Conflicts: 222000 | #Constraints: 15339
670.78/672.71 c #Conflicts: 223000 | #Constraints: 16339
670.78/672.71 c #Conflicts: 224000 | #Constraints: 17339
670.78/672.71 c #Conflicts: 225000 | #Constraints: 18339
670.78/672.71 c #Conflicts: 226000 | #Constraints: 19339
670.78/672.71 c INPROCESSING
670.78/672.71 c GARBAGE COLLECT
670.78/672.71 c #Conflicts: 227000 | #Constraints: 10954
670.78/672.71 c #Conflicts: 228000 | #Constraints: 11954
670.78/672.71 c #Conflicts: 229000 | #Constraints: 12954
670.78/672.71 c #Conflicts: 230000 | #Constraints: 13954
670.78/672.71 c #Conflicts: 231000 | #Constraints: 14954
670.78/672.71 c #Conflicts: 232000 | #Constraints: 15954
670.78/672.71 c #Conflicts: 233000 | #Constraints: 16954
670.78/672.71 c #Conflicts: 234000 | #Constraints: 17954
670.78/672.71 c #Conflicts: 235000 | #Constraints: 18954
670.78/672.71 c #Conflicts: 236000 | #Constraints: 19954
670.78/672.71 c INPROCESSING
670.78/672.71 c GARBAGE COLLECT
670.78/672.71 c #Conflicts: 237000 | #Constraints: 11342
670.78/672.71 c #Conflicts: 238000 | #Constraints: 12342
670.78/672.71 c #Conflicts: 239000 | #Constraints: 13342
670.78/672.71 c #Conflicts: 240000 | #Constraints: 14342
670.78/672.71 c #Conflicts: 241000 | #Constraints: 15342
670.78/672.71 c #Conflicts: 242000 | #Constraints: 16342
670.78/672.71 c #Conflicts: 243000 | #Constraints: 17342
670.78/672.71 c #Conflicts: 244000 | #Constraints: 18342
670.78/672.71 c #Conflicts: 245000 | #Constraints: 19342
670.78/672.71 c #Conflicts: 246000 | #Constraints: 20342
670.78/672.71 c INPROCESSING
670.78/672.71 c GARBAGE COLLECT
670.78/672.71 c #Conflicts: 247000 | #Constraints: 11538
670.78/672.71 c #Conflicts: 248000 | #Constraints: 12538
670.78/672.71 c #Conflicts: 249000 | #Constraints: 13538
670.78/672.71 c #Conflicts: 250000 | #Constraints: 14538
670.78/672.71 c #Conflicts: 251000 | #Constraints: 15538
670.78/672.71 c #Conflicts: 252000 | #Constraints: 16538
670.78/672.71 c #Conflicts: 253000 | #Constraints: 17538
670.78/672.71 c #Conflicts: 254000 | #Constraints: 18538
670.78/672.71 c #Conflicts: 255000 | #Constraints: 19538
670.78/672.71 c #Conflicts: 256000 | #Constraints: 20538
670.78/672.71 c INPROCESSING
670.78/672.71 c GARBAGE COLLECT
670.78/672.71 c #Conflicts: 257000 | #Constraints: 11542
670.78/672.71 c #Conflicts: 258000 | #Constraints: 12542
670.78/672.71 c #Conflicts: 259000 | #Constraints: 13542
670.78/672.71 c #Conflicts: 260000 | #Constraints: 14542
670.78/672.71 c #Conflicts: 261000 | #Constraints: 15542
670.78/672.71 c #Conflicts: 262000 | #Constraints: 16542
670.78/672.71 c #Conflicts: 263000 | #Constraints: 17542
670.78/672.71 c #Conflicts: 264000 | #Constraints: 18542
670.78/672.71 c #Conflicts: 265000 | #Constraints: 19542
670.78/672.71 c #Conflicts: 266000 | #Constraints: 20542
670.78/672.71 c INPROCESSING
670.78/672.71 c GARBAGE COLLECT
670.78/672.71 c #Conflicts: 267000 | #Constraints: 11348
670.78/672.71 c #Conflicts: 268000 | #Constraints: 12348
670.78/672.71 c #Conflicts: 269000 | #Constraints: 13348
670.78/672.71 c #Conflicts: 270000 | #Constraints: 14348
670.78/672.71 c #Conflicts: 271000 | #Constraints: 15348
670.78/672.71 c #Conflicts: 272000 | #Constraints: 16348
670.78/672.71 c #Conflicts: 273000 | #Constraints: 17348
670.78/672.71 c #Conflicts: 274000 | #Constraints: 18348
670.78/672.71 c #Conflicts: 275000 | #Constraints: 19348
670.78/672.71 c #Conflicts: 276000 | #Constraints: 20348
670.78/672.71 c #Conflicts: 277000 | #Constraints: 21348
670.78/672.71 c INPROCESSING
670.78/672.71 c GARBAGE COLLECT
670.78/672.71 c #Conflicts: 278000 | #Constraints: 11937
670.78/672.71 c #Conflicts: 279000 | #Constraints: 12937
670.78/672.71 c #Conflicts: 280000 | #Constraints: 13937
670.78/672.71 c #Conflicts: 281000 | #Constraints: 14937
670.78/672.71 c #Conflicts: 282000 | #Constraints: 15937
670.78/672.71 c #Conflicts: 283000 | #Constraints: 16937
670.78/672.71 c #Conflicts: 284000 | #Constraints: 17937
670.78/672.71 c #Conflicts: 285000 | #Constraints: 18937
670.78/672.71 c #Conflicts: 286000 | #Constraints: 19937
670.78/672.71 c #Conflicts: 287000 | #Constraints: 20937
670.78/672.71 c #Conflicts: 288000 | #Constraints: 21937
670.78/672.71 c INPROCESSING
670.78/672.71 c GARBAGE COLLECT
670.78/672.71 c #Conflicts: 289000 | #Constraints: 12338
956.19/958.92 c #Conflicts: 290000 | #Constraints: 13338
956.19/958.92 c #Conflicts: 291000 | #Constraints: 14338
956.19/958.92 c #Conflicts: 292000 | #Constraints: 15338
956.19/958.92 c #Conflicts: 293000 | #Constraints: 16338
956.19/958.92 c #Conflicts: 294000 | #Constraints: 17338
956.19/958.92 c #Conflicts: 295000 | #Constraints: 18338
956.19/958.92 c #Conflicts: 296000 | #Constraints: 19338
956.19/958.92 c #Conflicts: 297000 | #Constraints: 20338
956.19/958.92 c #Conflicts: 298000 | #Constraints: 21338
956.19/958.92 c #Conflicts: 299000 | #Constraints: 22338
956.19/958.92 c INPROCESSING
956.19/958.92 c GARBAGE COLLECT
956.19/958.92 c #Conflicts: 300000 | #Constraints: 12532
956.19/958.92 c #Conflicts: 301000 | #Constraints: 13532
956.19/958.92 c #Conflicts: 302000 | #Constraints: 14532
956.19/958.92 c #Conflicts: 303000 | #Constraints: 15532
956.19/958.92 c #Conflicts: 304000 | #Constraints: 16532
956.19/958.92 c #Conflicts: 305000 | #Constraints: 17532
956.19/958.92 c #Conflicts: 306000 | #Constraints: 18532
956.19/958.92 c #Conflicts: 307000 | #Constraints: 19532
956.19/958.92 c #Conflicts: 308000 | #Constraints: 20532
956.19/958.92 c #Conflicts: 309000 | #Constraints: 21532
956.19/958.92 c #Conflicts: 310000 | #Constraints: 22532
956.19/958.92 c INPROCESSING
956.19/958.92 c GARBAGE COLLECT
956.19/958.92 c #Conflicts: 311000 | #Constraints: 12540
956.19/958.92 c #Conflicts: 312000 | #Constraints: 13540
956.19/958.92 c #Conflicts: 313000 | #Constraints: 14540
956.19/958.92 c #Conflicts: 314000 | #Constraints: 15540
956.19/958.92 c #Conflicts: 315000 | #Constraints: 16540
956.19/958.92 c #Conflicts: 316000 | #Constraints: 17540
956.19/958.92 c #Conflicts: 317000 | #Constraints: 18540
956.19/958.92 c #Conflicts: 318000 | #Constraints: 19540
956.19/958.92 c #Conflicts: 319000 | #Constraints: 20540
956.19/958.92 c #Conflicts: 320000 | #Constraints: 21540
956.19/958.92 c #Conflicts: 321000 | #Constraints: 22540
956.19/958.92 c INPROCESSING
956.19/958.92 c GARBAGE COLLECT
956.19/958.92 c #Conflicts: 322000 | #Constraints: 12345
956.19/958.92 c #Conflicts: 323000 | #Constraints: 13345
956.19/958.92 c #Conflicts: 324000 | #Constraints: 14345
956.19/958.92 c #Conflicts: 325000 | #Constraints: 15345
956.19/958.92 c #Conflicts: 326000 | #Constraints: 16345
956.19/958.92 c #Conflicts: 327000 | #Constraints: 17345
956.19/958.92 c #Conflicts: 328000 | #Constraints: 18345
956.19/958.92 c #Conflicts: 329000 | #Constraints: 19345
956.19/958.92 c #Conflicts: 330000 | #Constraints: 20345
956.19/958.92 c #Conflicts: 331000 | #Constraints: 21345
956.19/958.92 c #Conflicts: 332000 | #Constraints: 22345
956.19/958.92 c #Conflicts: 333000 | #Constraints: 23345
956.19/958.92 c INPROCESSING
956.19/958.92 c GARBAGE COLLECT
956.19/958.92 c #Conflicts: 334000 | #Constraints: 12934
956.19/958.92 c #Conflicts: 335000 | #Constraints: 13934
956.19/958.92 c #Conflicts: 336000 | #Constraints: 14934
956.19/958.92 c #Conflicts: 337000 | #Constraints: 15934
956.19/958.92 c #Conflicts: 338000 | #Constraints: 16934
956.19/958.92 c #Conflicts: 339000 | #Constraints: 17934
956.19/958.92 c #Conflicts: 340000 | #Constraints: 18934
956.19/958.92 c #Conflicts: 341000 | #Constraints: 19934
956.19/958.92 c #Conflicts: 342000 | #Constraints: 20934
956.19/958.92 c #Conflicts: 343000 | #Constraints: 21934
956.19/958.92 c #Conflicts: 344000 | #Constraints: 22934
956.19/958.92 c #Conflicts: 345000 | #Constraints: 23934
956.19/958.92 c INPROCESSING
956.19/958.92 c GARBAGE COLLECT
956.19/958.92 c #Conflicts: 346000 | #Constraints: 13341
956.19/958.92 c #Conflicts: 347000 | #Constraints: 14341
956.19/958.92 c #Conflicts: 348000 | #Constraints: 15341
956.19/958.92 c #Conflicts: 349000 | #Constraints: 16341
956.19/958.92 c #Conflicts: 350000 | #Constraints: 17341
956.19/958.92 c #Conflicts: 351000 | #Constraints: 18341
956.19/958.92 c #Conflicts: 352000 | #Constraints: 19341
956.19/958.92 c #Conflicts: 353000 | #Constraints: 20341
956.19/958.92 c #Conflicts: 354000 | #Constraints: 21341
956.19/958.92 c #Conflicts: 355000 | #Constraints: 22341
956.19/958.92 c #Conflicts: 356000 | #Constraints: 23341
956.19/958.92 c #Conflicts: 357000 | #Constraints: 24341
956.19/958.92 c INPROCESSING
956.19/958.92 c GARBAGE COLLECT
956.19/958.92 c #Conflicts: 358000 | #Constraints: 13534
956.19/958.92 c #Conflicts: 359000 | #Constraints: 14534
956.19/958.92 c #Conflicts: 360000 | #Constraints: 15534
956.19/958.92 c #Conflicts: 361000 | #Constraints: 16534
956.19/958.92 c #Conflicts: 362000 | #Constraints: 17534
956.19/958.92 c #Conflicts: 363000 | #Constraints: 18534
956.19/958.92 c #Conflicts: 364000 | #Constraints: 19534
1269.60/1273.34 c #Conflicts: 365000 | #Constraints: 20534
1269.60/1273.34 c #Conflicts: 366000 | #Constraints: 21534
1269.60/1273.34 c #Conflicts: 367000 | #Constraints: 22534
1269.60/1273.34 c #Conflicts: 368000 | #Constraints: 23534
1269.60/1273.34 c #Conflicts: 369000 | #Constraints: 24534
1269.60/1273.34 c INPROCESSING
1269.60/1273.34 c GARBAGE COLLECT
1269.60/1273.34 c #Conflicts: 370000 | #Constraints: 13538
1269.60/1273.34 c #Conflicts: 371000 | #Constraints: 14538
1269.60/1273.34 c #Conflicts: 372000 | #Constraints: 15538
1269.60/1273.34 c #Conflicts: 373000 | #Constraints: 16538
1269.60/1273.34 c #Conflicts: 374000 | #Constraints: 17538
1269.60/1273.34 c #Conflicts: 375000 | #Constraints: 18538
1269.60/1273.34 c #Conflicts: 376000 | #Constraints: 19538
1269.60/1273.34 c #Conflicts: 377000 | #Constraints: 20538
1269.60/1273.34 c #Conflicts: 378000 | #Constraints: 21538
1269.60/1273.34 c #Conflicts: 379000 | #Constraints: 22538
1269.60/1273.34 c #Conflicts: 380000 | #Constraints: 23538
1269.60/1273.34 c #Conflicts: 381000 | #Constraints: 24538
1269.60/1273.34 c INPROCESSING
1269.60/1273.34 c GARBAGE COLLECT
1269.60/1273.34 c #Conflicts: 382000 | #Constraints: 13334
1269.60/1273.34 c #Conflicts: 383000 | #Constraints: 14334
1269.60/1273.34 c #Conflicts: 384000 | #Constraints: 15334
1269.60/1273.34 c #Conflicts: 385000 | #Constraints: 16334
1269.60/1273.34 c #Conflicts: 386000 | #Constraints: 17334
1269.60/1273.34 c #Conflicts: 387000 | #Constraints: 18334
1269.60/1273.34 c #Conflicts: 388000 | #Constraints: 19334
1269.60/1273.34 c #Conflicts: 389000 | #Constraints: 20334
1269.60/1273.34 c #Conflicts: 390000 | #Constraints: 21334
1269.60/1273.34 c #Conflicts: 391000 | #Constraints: 22334
1269.60/1273.34 c #Conflicts: 392000 | #Constraints: 23334
1269.60/1273.34 c #Conflicts: 393000 | #Constraints: 24334
1269.60/1273.34 c #Conflicts: 394000 | #Constraints: 25334
1269.60/1273.34 c INPROCESSING
1269.60/1273.34 c GARBAGE COLLECT
1269.60/1273.34 c #Conflicts: 395000 | #Constraints: 13937
1269.60/1273.34 c #Conflicts: 396000 | #Constraints: 14937
1269.60/1273.34 c #Conflicts: 397000 | #Constraints: 15937
1269.60/1273.34 c #Conflicts: 398000 | #Constraints: 16937
1269.60/1273.34 c #Conflicts: 399000 | #Constraints: 17937
1269.60/1273.34 c #Conflicts: 400000 | #Constraints: 18937
1269.60/1273.34 c #Conflicts: 401000 | #Constraints: 19937
1269.60/1273.34 c #Conflicts: 402000 | #Constraints: 20937
1269.60/1273.34 c #Conflicts: 403000 | #Constraints: 21937
1269.60/1273.34 c #Conflicts: 404000 | #Constraints: 22937
1269.60/1273.34 c #Conflicts: 405000 | #Constraints: 23937
1269.60/1273.34 c #Conflicts: 406000 | #Constraints: 24937
1269.60/1273.34 c #Conflicts: 407000 | #Constraints: 25937
1269.60/1273.34 c INPROCESSING
1269.60/1273.34 c GARBAGE COLLECT
1269.60/1273.34 c #Conflicts: 408000 | #Constraints: 14334
1269.60/1273.34 c #Conflicts: 409000 | #Constraints: 15334
1269.60/1273.34 c #Conflicts: 410000 | #Constraints: 16334
1269.60/1273.34 c #Conflicts: 411000 | #Constraints: 17334
1269.60/1273.34 c #Conflicts: 412000 | #Constraints: 18334
1269.60/1273.34 c #Conflicts: 413000 | #Constraints: 19334
1269.60/1273.34 c #Conflicts: 414000 | #Constraints: 20334
1269.60/1273.34 c #Conflicts: 415000 | #Constraints: 21334
1269.60/1273.34 c #Conflicts: 416000 | #Constraints: 22334
1269.60/1273.34 c #Conflicts: 417000 | #Constraints: 23334
1269.60/1273.34 c #Conflicts: 418000 | #Constraints: 24334
1269.60/1273.34 c #Conflicts: 419000 | #Constraints: 25334
1269.60/1273.34 c #Conflicts: 420000 | #Constraints: 26334
1269.60/1273.34 c INPROCESSING
1269.60/1273.34 c GARBAGE COLLECT
1269.60/1273.34 c #Conflicts: 421000 | #Constraints: 14539
1269.60/1273.34 c #Conflicts: 422000 | #Constraints: 15539
1269.60/1273.34 c #Conflicts: 423000 | #Constraints: 16539
1269.60/1273.34 c #Conflicts: 424000 | #Constraints: 17539
1269.60/1273.34 c #Conflicts: 425000 | #Constraints: 18539
1269.60/1273.34 c #Conflicts: 426000 | #Constraints: 19539
1269.60/1273.34 c #Conflicts: 427000 | #Constraints: 20539
1269.60/1273.34 c #Conflicts: 428000 | #Constraints: 21539
1269.60/1273.34 c #Conflicts: 429000 | #Constraints: 22539
1269.60/1273.34 c #Conflicts: 430000 | #Constraints: 23539
1269.60/1273.34 c #Conflicts: 431000 | #Constraints: 24539
1269.60/1273.34 c #Conflicts: 432000 | #Constraints: 25539
1269.60/1273.34 c #Conflicts: 433000 | #Constraints: 26539
1269.60/1273.34 c INPROCESSING
1269.60/1273.34 c GARBAGE COLLECT
1269.60/1273.34 c #Conflicts: 434000 | #Constraints: 14546
1269.60/1273.34 c #Conflicts: 435000 | #Constraints: 15546
1269.60/1273.34 c #Conflicts: 436000 | #Constraints: 16546
1269.60/1273.34 c #Conflicts: 437000 | #Constraints: 17546
1269.60/1273.34 c #Conflicts: 438000 | #Constraints: 18546
1269.60/1273.34 c #Conflicts: 439000 | #Constraints: 19546
1789.07/1794.32 c #Conflicts: 440000 | #Constraints: 20546
1789.07/1794.32 c #Conflicts: 441000 | #Constraints: 21546
1789.07/1794.32 c #Conflicts: 442000 | #Constraints: 22546
1789.07/1794.32 c #Conflicts: 443000 | #Constraints: 23546
1789.07/1794.32 c #Conflicts: 444000 | #Constraints: 24546
1789.07/1794.32 c #Conflicts: 445000 | #Constraints: 25546
1789.07/1794.32 c #Conflicts: 446000 | #Constraints: 26546
1789.07/1794.32 c INPROCESSING
1789.07/1794.32 c GARBAGE COLLECT
1789.07/1794.32 c #Conflicts: 447000 | #Constraints: 14359
1789.07/1794.32 c #Conflicts: 448000 | #Constraints: 15359
1789.07/1794.32 c #Conflicts: 449000 | #Constraints: 16359
1789.07/1794.32 c #Conflicts: 450000 | #Constraints: 17359
1789.07/1794.32 c #Conflicts: 451000 | #Constraints: 18359
1789.07/1794.32 c #Conflicts: 452000 | #Constraints: 19359
1789.07/1794.32 c #Conflicts: 453000 | #Constraints: 20359
1789.07/1794.32 c #Conflicts: 454000 | #Constraints: 21359
1789.07/1794.32 c #Conflicts: 455000 | #Constraints: 22359
1789.07/1794.32 c #Conflicts: 456000 | #Constraints: 23359
1789.07/1794.32 c #Conflicts: 457000 | #Constraints: 24359
1789.07/1794.32 c #Conflicts: 458000 | #Constraints: 25359
1789.07/1794.32 c #Conflicts: 459000 | #Constraints: 26359
1789.07/1794.32 c #Conflicts: 460000 | #Constraints: 27359
1789.07/1794.32 c INPROCESSING
1789.07/1794.32 c GARBAGE COLLECT
1789.07/1794.32 c #Conflicts: 461000 | #Constraints: 14968
1789.07/1794.32 c #Conflicts: 462000 | #Constraints: 15968
1789.07/1794.32 c #Conflicts: 463000 | #Constraints: 16968
1789.07/1794.32 c #Conflicts: 464000 | #Constraints: 17968
1789.07/1794.32 c #Conflicts: 465000 | #Constraints: 18968
1789.07/1794.32 c #Conflicts: 466000 | #Constraints: 19968
1789.07/1794.32 c #Conflicts: 467000 | #Constraints: 20968
1789.07/1794.32 c #Conflicts: 468000 | #Constraints: 21968
1789.07/1794.32 c #Conflicts: 469000 | #Constraints: 22968
1789.07/1794.32 c #Conflicts: 470000 | #Constraints: 23968
1789.07/1794.32 c #Conflicts: 471000 | #Constraints: 24968
1789.07/1794.32 c #Conflicts: 472000 | #Constraints: 25968
1789.07/1794.32 c #Conflicts: 473000 | #Constraints: 26968
1789.07/1794.32 c #Conflicts: 474000 | #Constraints: 27968
1789.07/1794.32 c INPROCESSING
1789.07/1794.32 c GARBAGE COLLECT
1789.07/1794.32 c #Conflicts: 475000 | #Constraints: 15364
1789.07/1794.32 c #Conflicts: 476000 | #Constraints: 16364
1789.07/1794.32 c #Conflicts: 477000 | #Constraints: 17364
1789.07/1794.32 c #Conflicts: 478000 | #Constraints: 18364
1789.07/1794.32 c #Conflicts: 479000 | #Constraints: 19364
1789.07/1794.32 c #Conflicts: 480000 | #Constraints: 20364
1789.07/1794.32 c #Conflicts: 481000 | #Constraints: 21364
1789.07/1794.32 c #Conflicts: 482000 | #Constraints: 22364
1789.07/1794.32 c #Conflicts: 483000 | #Constraints: 23364
1789.07/1794.32 c #Conflicts: 484000 | #Constraints: 24364
1789.07/1794.32 c #Conflicts: 485000 | #Constraints: 25364
1789.07/1794.32 c #Conflicts: 486000 | #Constraints: 26364
1789.07/1794.32 c #Conflicts: 487000 | #Constraints: 27364
1789.07/1794.32 c #Conflicts: 488000 | #Constraints: 28364
1789.07/1794.32 c INPROCESSING
1789.07/1794.32 c GARBAGE COLLECT
1789.07/1794.32 c #Conflicts: 489000 | #Constraints: 15565
1789.07/1794.32 c #Conflicts: 490000 | #Constraints: 16565
1789.07/1794.32 c #Conflicts: 491000 | #Constraints: 17565
1789.07/1794.32 c #Conflicts: 492000 | #Constraints: 18565
1789.07/1794.32 c #Conflicts: 493000 | #Constraints: 19565
1789.07/1794.32 c #Conflicts: 494000 | #Constraints: 20565
1789.07/1794.32 c #Conflicts: 495000 | #Constraints: 21565
1789.07/1794.32 c #Conflicts: 496000 | #Constraints: 22565
1789.07/1794.32 c #Conflicts: 497000 | #Constraints: 23565
1789.07/1794.32 c #Conflicts: 498000 | #Constraints: 24565
1789.07/1794.32 c #Conflicts: 499000 | #Constraints: 25565
1789.07/1794.32 c #Conflicts: 500000 | #Constraints: 26565
1789.07/1794.32 c #Conflicts: 501000 | #Constraints: 27565
1789.07/1794.32 c #Conflicts: 502000 | #Constraints: 28565
1789.07/1794.32 c INPROCESSING
1789.07/1794.32 c GARBAGE COLLECT
1789.07/1794.32 c #Conflicts: 503000 | #Constraints: 15563
1789.07/1794.32 c #Conflicts: 504000 | #Constraints: 16563
1789.07/1794.32 c #Conflicts: 505000 | #Constraints: 17563
1789.07/1794.32 c #Conflicts: 506000 | #Constraints: 18563
1789.07/1794.32 c #Conflicts: 507000 | #Constraints: 19563
1789.07/1794.32 c #Conflicts: 508000 | #Constraints: 20563
1789.07/1794.32 c #Conflicts: 509000 | #Constraints: 21563
1789.07/1794.32 c #Conflicts: 510000 | #Constraints: 22563
1789.07/1794.32 c #Conflicts: 511000 | #Constraints: 23563
1789.07/1794.32 c #Conflicts: 512000 | #Constraints: 24563
1789.07/1794.32 c #Conflicts: 513000 | #Constraints: 25563
1789.07/1794.32 c #Conflicts: 514000 | #Constraints: 26563
1789.07/1794.32 c #Conflicts: 515000 | #Constraints: 27563
2079.37/2085.30 c #Conflicts: 516000 | #Constraints: 28563
2079.37/2085.30 c INPROCESSING
2079.37/2085.30 c GARBAGE COLLECT
2079.37/2085.30 c #Conflicts: 517000 | #Constraints: 15350
2079.37/2085.30 c #Conflicts: 518000 | #Constraints: 16350
2079.37/2085.30 c #Conflicts: 519000 | #Constraints: 17350
2079.37/2085.30 c #Conflicts: 520000 | #Constraints: 18350
2079.37/2085.30 c #Conflicts: 521000 | #Constraints: 19350
2079.37/2085.30 c #Conflicts: 522000 | #Constraints: 20350
2079.37/2085.30 c #Conflicts: 523000 | #Constraints: 21350
2079.37/2085.30 c #Conflicts: 524000 | #Constraints: 22350
2079.37/2085.30 c #Conflicts: 525000 | #Constraints: 23350
2079.37/2085.30 c #Conflicts: 526000 | #Constraints: 24350
2079.37/2085.30 c #Conflicts: 527000 | #Constraints: 25350
2079.37/2085.30 c #Conflicts: 528000 | #Constraints: 26350
2079.37/2085.30 c #Conflicts: 529000 | #Constraints: 27350
2079.37/2085.30 c #Conflicts: 530000 | #Constraints: 28350
2079.37/2085.30 c #Conflicts: 531000 | #Constraints: 29350
2079.37/2085.30 c INPROCESSING
2079.37/2085.30 c GARBAGE COLLECT
2079.37/2085.30 c #Conflicts: 532000 | #Constraints: 15955
2079.37/2085.30 c #Conflicts: 533000 | #Constraints: 16955
2079.37/2085.30 c #Conflicts: 534000 | #Constraints: 17955
2079.37/2085.30 c #Conflicts: 535000 | #Constraints: 18955
2079.37/2085.30 c #Conflicts: 536000 | #Constraints: 19955
2079.37/2085.30 c #Conflicts: 537000 | #Constraints: 20955
2079.37/2085.30 c #Conflicts: 538000 | #Constraints: 21955
2079.37/2085.30 c #Conflicts: 539000 | #Constraints: 22955
2079.37/2085.30 c #Conflicts: 540000 | #Constraints: 23955
2079.37/2085.30 c #Conflicts: 541000 | #Constraints: 24955
2079.37/2085.30 c #Conflicts: 542000 | #Constraints: 25955
2079.37/2085.30 c #Conflicts: 543000 | #Constraints: 26955
2079.37/2085.30 c #Conflicts: 544000 | #Constraints: 27955
2079.37/2085.30 c #Conflicts: 545000 | #Constraints: 28955
2079.37/2085.30 c #Conflicts: 546000 | #Constraints: 29955
2079.37/2085.30 c INPROCESSING
2079.37/2085.30 c GARBAGE COLLECT
2079.37/2085.30 c #Conflicts: 547000 | #Constraints: 16344
2079.37/2085.30 c #Conflicts: 548000 | #Constraints: 17344
2079.37/2085.30 c #Conflicts: 549000 | #Constraints: 18344
2079.37/2085.30 c #Conflicts: 550000 | #Constraints: 19344
2079.37/2085.30 c #Conflicts: 551000 | #Constraints: 20344
2079.37/2085.30 c #Conflicts: 552000 | #Constraints: 21344
2079.37/2085.30 c #Conflicts: 553000 | #Constraints: 22344
2079.37/2085.30 c #Conflicts: 554000 | #Constraints: 23344
2079.37/2085.30 c #Conflicts: 555000 | #Constraints: 24344
2079.37/2085.30 c #Conflicts: 556000 | #Constraints: 25344
2079.37/2085.30 c #Conflicts: 557000 | #Constraints: 26344
2079.37/2085.30 c #Conflicts: 558000 | #Constraints: 27344
2079.37/2085.30 c #Conflicts: 559000 | #Constraints: 28344
2079.37/2085.30 c #Conflicts: 560000 | #Constraints: 29344
2079.37/2085.30 c #Conflicts: 561000 | #Constraints: 30344
2079.37/2085.30 c INPROCESSING
2079.37/2085.30 c GARBAGE COLLECT
2079.37/2085.30 c #Conflicts: 562000 | #Constraints: 16548
2079.37/2085.30 c #Conflicts: 563000 | #Constraints: 17548
2079.37/2085.30 c #Conflicts: 564000 | #Constraints: 18548
2079.37/2085.30 c #Conflicts: 565000 | #Constraints: 19548
2079.37/2085.30 c #Conflicts: 566000 | #Constraints: 20548
2079.37/2085.30 c #Conflicts: 567000 | #Constraints: 21548
2079.37/2085.30 c #Conflicts: 568000 | #Constraints: 22548
2079.37/2085.30 c #Conflicts: 569000 | #Constraints: 23548
2079.37/2085.30 c #Conflicts: 570000 | #Constraints: 24548
2079.37/2085.30 c #Conflicts: 571000 | #Constraints: 25548
2079.37/2085.30 c #Conflicts: 572000 | #Constraints: 26548
2079.37/2085.30 c #Conflicts: 573000 | #Constraints: 27548
2079.37/2085.30 c #Conflicts: 574000 | #Constraints: 28548
2079.37/2085.30 c #Conflicts: 575000 | #Constraints: 29548
2079.37/2085.30 c #Conflicts: 576000 | #Constraints: 30548
2079.37/2085.30 c INPROCESSING
2079.37/2085.30 c GARBAGE COLLECT
2079.37/2085.30 c #Conflicts: 577000 | #Constraints: 16541
2079.37/2085.30 c #Conflicts: 578000 | #Constraints: 17541
2079.37/2085.30 c #Conflicts: 579000 | #Constraints: 18541
2079.37/2085.30 c #Conflicts: 580000 | #Constraints: 19541
2079.37/2085.30 c #Conflicts: 581000 | #Constraints: 20541
2079.37/2085.30 c #Conflicts: 582000 | #Constraints: 21541
2079.37/2085.30 c #Conflicts: 583000 | #Constraints: 22541
2079.37/2085.30 c #Conflicts: 584000 | #Constraints: 23541
2079.37/2085.30 c #Conflicts: 585000 | #Constraints: 24541
2079.37/2085.30 c #Conflicts: 586000 | #Constraints: 25541
2079.37/2085.30 c #Conflicts: 587000 | #Constraints: 26541
2079.37/2085.30 c #Conflicts: 588000 | #Constraints: 27541
2079.37/2085.30 c #Conflicts: 589000 | #Constraints: 28541
2079.37/2085.30 c #Conflicts: 590000 | #Constraints: 29541
2410.03/2417.04 c #Conflicts: 591000 | #Constraints: 30541
2410.03/2417.04 c INPROCESSING
2410.03/2417.04 c GARBAGE COLLECT
2410.03/2417.04 c #Conflicts: 592000 | #Constraints: 16347
2410.03/2417.04 c #Conflicts: 593000 | #Constraints: 17347
2410.03/2417.04 c #Conflicts: 594000 | #Constraints: 18347
2410.03/2417.04 c #Conflicts: 595000 | #Constraints: 19347
2410.03/2417.04 c #Conflicts: 596000 | #Constraints: 20347
2410.03/2417.04 c #Conflicts: 597000 | #Constraints: 21347
2410.03/2417.04 c #Conflicts: 598000 | #Constraints: 22347
2410.03/2417.04 c #Conflicts: 599000 | #Constraints: 23347
2410.03/2417.04 c #Conflicts: 600000 | #Constraints: 24347
2410.03/2417.04 c #Conflicts: 601000 | #Constraints: 25347
2410.03/2417.04 c #Conflicts: 602000 | #Constraints: 26347
2410.03/2417.04 c #Conflicts: 603000 | #Constraints: 27347
2410.03/2417.04 c #Conflicts: 604000 | #Constraints: 28347
2410.03/2417.04 c #Conflicts: 605000 | #Constraints: 29347
2410.03/2417.04 c #Conflicts: 606000 | #Constraints: 30347
2410.03/2417.04 c #Conflicts: 607000 | #Constraints: 31347
2410.03/2417.04 c INPROCESSING
2410.03/2417.04 c GARBAGE COLLECT
2410.03/2417.04 c #Conflicts: 608000 | #Constraints: 16956
2410.03/2417.04 c #Conflicts: 609000 | #Constraints: 17956
2410.03/2417.04 c #Conflicts: 610000 | #Constraints: 18956
2410.03/2417.04 c #Conflicts: 611000 | #Constraints: 19956
2410.03/2417.04 c #Conflicts: 612000 | #Constraints: 20956
2410.03/2417.04 c #Conflicts: 613000 | #Constraints: 21956
2410.03/2417.04 c #Conflicts: 614000 | #Constraints: 22956
2410.03/2417.04 c #Conflicts: 615000 | #Constraints: 23956
2410.03/2417.04 c #Conflicts: 616000 | #Constraints: 24956
2410.03/2417.04 c #Conflicts: 617000 | #Constraints: 25956
2410.03/2417.04 c #Conflicts: 618000 | #Constraints: 26956
2410.03/2417.04 c #Conflicts: 619000 | #Constraints: 27956
2410.03/2417.04 c #Conflicts: 620000 | #Constraints: 28956
2410.03/2417.04 c #Conflicts: 621000 | #Constraints: 29956
2410.03/2417.04 c #Conflicts: 622000 | #Constraints: 30956
2410.03/2417.04 c #Conflicts: 623000 | #Constraints: 31956
2410.03/2417.04 c INPROCESSING
2410.03/2417.04 c GARBAGE COLLECT
2410.03/2417.04 c #Conflicts: 624000 | #Constraints: 17345
2410.03/2417.04 c #Conflicts: 625000 | #Constraints: 18345
2410.03/2417.04 c #Conflicts: 626000 | #Constraints: 19345
2410.03/2417.04 c #Conflicts: 627000 | #Constraints: 20345
2410.03/2417.04 c #Conflicts: 628000 | #Constraints: 21345
2410.03/2417.04 c #Conflicts: 629000 | #Constraints: 22345
2410.03/2417.04 c #Conflicts: 630000 | #Constraints: 23345
2410.03/2417.04 c #Conflicts: 631000 | #Constraints: 24345
2410.03/2417.04 c #Conflicts: 632000 | #Constraints: 25345
2410.03/2417.04 c #Conflicts: 633000 | #Constraints: 26345
2410.03/2417.04 c #Conflicts: 634000 | #Constraints: 27345
2410.03/2417.04 c #Conflicts: 635000 | #Constraints: 28345
2410.03/2417.04 c #Conflicts: 636000 | #Constraints: 29345
2410.03/2417.04 c #Conflicts: 637000 | #Constraints: 30345
2410.03/2417.04 c #Conflicts: 638000 | #Constraints: 31345
2410.03/2417.04 c #Conflicts: 639000 | #Constraints: 32345
2410.03/2417.04 c INPROCESSING
2410.03/2417.04 c GARBAGE COLLECT
2410.03/2417.04 c #Conflicts: 640000 | #Constraints: 17542
2410.03/2417.04 c #Conflicts: 641000 | #Constraints: 18542
2410.03/2417.04 c #Conflicts: 642000 | #Constraints: 19542
2410.03/2417.04 c #Conflicts: 643000 | #Constraints: 20542
2410.03/2417.04 c #Conflicts: 644000 | #Constraints: 21542
2410.03/2417.04 c #Conflicts: 645000 | #Constraints: 22542
2410.03/2417.04 c #Conflicts: 646000 | #Constraints: 23542
2410.03/2417.04 c #Conflicts: 647000 | #Constraints: 24542
2410.03/2417.04 c #Conflicts: 648000 | #Constraints: 25542
2410.03/2417.04 c #Conflicts: 649000 | #Constraints: 26542
2410.03/2417.04 c #Conflicts: 650000 | #Constraints: 27542
2410.03/2417.04 c #Conflicts: 651000 | #Constraints: 28542
2410.03/2417.04 c #Conflicts: 652000 | #Constraints: 29542
2410.03/2417.04 c #Conflicts: 653000 | #Constraints: 30542
2410.03/2417.04 c #Conflicts: 654000 | #Constraints: 31542
2410.03/2417.04 c #Conflicts: 655000 | #Constraints: 32542
2410.03/2417.04 c INPROCESSING
2410.03/2417.04 c GARBAGE COLLECT
2410.03/2417.04 c #Conflicts: 656000 | #Constraints: 17549
2410.03/2417.04 c #Conflicts: 657000 | #Constraints: 18549
2410.03/2417.04 c #Conflicts: 658000 | #Constraints: 19549
2410.03/2417.04 c #Conflicts: 659000 | #Constraints: 20549
2410.03/2417.04 c #Conflicts: 660000 | #Constraints: 21549
2410.03/2417.04 c #Conflicts: 661000 | #Constraints: 22549
2410.03/2417.04 c #Conflicts: 662000 | #Constraints: 23549
2410.03/2417.04 c #Conflicts: 663000 | #Constraints: 24549
2410.03/2417.04 c #Conflicts: 664000 | #Constraints: 25549
2410.03/2417.04 c #Conflicts: 665000 | #Constraints: 26549
2410.03/2417.04 c #Conflicts: 666000 | #Constraints: 27549
2777.58/2785.77 c #Conflicts: 667000 | #Constraints: 28549
2777.58/2785.77 c #Conflicts: 668000 | #Constraints: 29549
2777.58/2785.77 c #Conflicts: 669000 | #Constraints: 30549
2777.58/2785.77 c #Conflicts: 670000 | #Constraints: 31549
2777.58/2785.77 c #Conflicts: 671000 | #Constraints: 32549
2777.58/2785.77 c INPROCESSING
2777.58/2785.77 c GARBAGE COLLECT
2777.58/2785.77 c #Conflicts: 672000 | #Constraints: 17348
2777.58/2785.77 c #Conflicts: 673000 | #Constraints: 18348
2777.58/2785.77 c #Conflicts: 674000 | #Constraints: 19348
2777.58/2785.77 c #Conflicts: 675000 | #Constraints: 20348
2777.58/2785.77 c #Conflicts: 676000 | #Constraints: 21348
2777.58/2785.77 c #Conflicts: 677000 | #Constraints: 22348
2777.58/2785.77 c #Conflicts: 678000 | #Constraints: 23348
2777.58/2785.77 c #Conflicts: 679000 | #Constraints: 24348
2777.58/2785.77 c #Conflicts: 680000 | #Constraints: 25348
2777.58/2785.77 c #Conflicts: 681000 | #Constraints: 26348
2777.58/2785.77 c #Conflicts: 682000 | #Constraints: 27348
2777.58/2785.77 c #Conflicts: 683000 | #Constraints: 28348
2777.58/2785.77 c #Conflicts: 684000 | #Constraints: 29348
2777.58/2785.77 c #Conflicts: 685000 | #Constraints: 30348
2777.58/2785.77 c #Conflicts: 686000 | #Constraints: 31348
2777.58/2785.77 c #Conflicts: 687000 | #Constraints: 32348
2777.58/2785.77 c #Conflicts: 688000 | #Constraints: 33348
2777.58/2785.77 c INPROCESSING
2777.58/2785.77 c GARBAGE COLLECT
2777.58/2785.77 c #Conflicts: 689000 | #Constraints: 17946
2777.58/2785.77 c #Conflicts: 690000 | #Constraints: 18946
2777.58/2785.77 c #Conflicts: 691000 | #Constraints: 19946
2777.58/2785.77 c #Conflicts: 692000 | #Constraints: 20946
2777.58/2785.77 c #Conflicts: 693000 | #Constraints: 21946
2777.58/2785.77 c #Conflicts: 694000 | #Constraints: 22946
2777.58/2785.77 c #Conflicts: 695000 | #Constraints: 23946
2777.58/2785.77 c #Conflicts: 696000 | #Constraints: 24946
2777.58/2785.77 c #Conflicts: 697000 | #Constraints: 25946
2777.58/2785.77 c #Conflicts: 698000 | #Constraints: 26946
2777.58/2785.77 c #Conflicts: 699000 | #Constraints: 27946
2777.58/2785.77 c #Conflicts: 700000 | #Constraints: 28946
2777.58/2785.77 c #Conflicts: 701000 | #Constraints: 29946
2777.58/2785.77 c #Conflicts: 702000 | #Constraints: 30946
2777.58/2785.77 c #Conflicts: 703000 | #Constraints: 31946
2777.58/2785.77 c #Conflicts: 704000 | #Constraints: 32946
2777.58/2785.77 c #Conflicts: 705000 | #Constraints: 33946
2777.58/2785.77 c INPROCESSING
2777.58/2785.77 c GARBAGE COLLECT
2777.58/2785.77 c #Conflicts: 706000 | #Constraints: 18345
2777.58/2785.77 c #Conflicts: 707000 | #Constraints: 19345
2777.58/2785.77 c #Conflicts: 708000 | #Constraints: 20345
2777.58/2785.77 c #Conflicts: 709000 | #Constraints: 21345
2777.58/2785.77 c #Conflicts: 710000 | #Constraints: 22345
2777.58/2785.77 c #Conflicts: 711000 | #Constraints: 23345
2777.58/2785.77 c #Conflicts: 712000 | #Constraints: 24345
2777.58/2785.77 c #Conflicts: 713000 | #Constraints: 25345
2777.58/2785.77 c #Conflicts: 714000 | #Constraints: 26345
2777.58/2785.77 c #Conflicts: 715000 | #Constraints: 27345
2777.58/2785.77 c #Conflicts: 716000 | #Constraints: 28345
2777.58/2785.77 c #Conflicts: 717000 | #Constraints: 29345
2777.58/2785.77 c #Conflicts: 718000 | #Constraints: 30345
2777.58/2785.77 c #Conflicts: 719000 | #Constraints: 31345
2777.58/2785.77 c #Conflicts: 720000 | #Constraints: 32345
2777.58/2785.77 c #Conflicts: 721000 | #Constraints: 33345
2777.58/2785.77 c #Conflicts: 722000 | #Constraints: 34345
2777.58/2785.77 c INPROCESSING
2777.58/2785.77 c GARBAGE COLLECT
2777.58/2785.77 c #Conflicts: 723000 | #Constraints: 18549
2777.58/2785.77 c #Conflicts: 724000 | #Constraints: 19549
2777.58/2785.77 c #Conflicts: 725000 | #Constraints: 20549
2777.58/2785.77 c #Conflicts: 726000 | #Constraints: 21549
2777.58/2785.77 c #Conflicts: 727000 | #Constraints: 22549
2777.58/2785.77 c #Conflicts: 728000 | #Constraints: 23549
2777.58/2785.77 c #Conflicts: 729000 | #Constraints: 24549
2777.58/2785.77 c #Conflicts: 730000 | #Constraints: 25549
2777.58/2785.77 c #Conflicts: 731000 | #Constraints: 26549
2777.58/2785.77 c #Conflicts: 732000 | #Constraints: 27549
2777.58/2785.77 c #Conflicts: 733000 | #Constraints: 28549
2777.58/2785.77 c #Conflicts: 734000 | #Constraints: 29549
2777.58/2785.77 c #Conflicts: 735000 | #Constraints: 30549
2777.58/2785.77 c #Conflicts: 736000 | #Constraints: 31549
2777.58/2785.77 c #Conflicts: 737000 | #Constraints: 32549
2777.58/2785.77 c #Conflicts: 738000 | #Constraints: 33549
2777.58/2785.77 c #Conflicts: 739000 | #Constraints: 34549
2777.58/2785.77 c INPROCESSING
2777.58/2785.77 c GARBAGE COLLECT
2777.58/2785.77 c #Conflicts: 740000 | #Constraints: 18549
2777.58/2785.77 c #Conflicts: 741000 | #Constraints: 19549
3127.29/3136.51 c #Conflicts: 742000 | #Constraints: 20549
3127.29/3136.51 c #Conflicts: 743000 | #Constraints: 21549
3127.29/3136.51 c #Conflicts: 744000 | #Constraints: 22549
3127.29/3136.51 c #Conflicts: 745000 | #Constraints: 23549
3127.29/3136.51 c #Conflicts: 746000 | #Constraints: 24549
3127.29/3136.51 c #Conflicts: 747000 | #Constraints: 25549
3127.29/3136.51 c #Conflicts: 748000 | #Constraints: 26549
3127.29/3136.51 c #Conflicts: 749000 | #Constraints: 27549
3127.29/3136.51 c #Conflicts: 750000 | #Constraints: 28549
3127.29/3136.51 c #Conflicts: 751000 | #Constraints: 29549
3127.29/3136.51 c #Conflicts: 752000 | #Constraints: 30549
3127.29/3136.51 c #Conflicts: 753000 | #Constraints: 31549
3127.29/3136.51 c #Conflicts: 754000 | #Constraints: 32549
3127.29/3136.51 c #Conflicts: 755000 | #Constraints: 33549
3127.29/3136.51 c #Conflicts: 756000 | #Constraints: 34549
3127.29/3136.51 c INPROCESSING
3127.29/3136.51 c GARBAGE COLLECT
3127.29/3136.51 c #Conflicts: 757000 | #Constraints: 18346
3127.29/3136.51 c #Conflicts: 758000 | #Constraints: 19346
3127.29/3136.51 c #Conflicts: 759000 | #Constraints: 20346
3127.29/3136.51 c #Conflicts: 760000 | #Constraints: 21346
3127.29/3136.51 c #Conflicts: 761000 | #Constraints: 22346
3127.29/3136.51 c #Conflicts: 762000 | #Constraints: 23346
3127.29/3136.51 c #Conflicts: 763000 | #Constraints: 24346
3127.29/3136.51 c #Conflicts: 764000 | #Constraints: 25346
3127.29/3136.51 c #Conflicts: 765000 | #Constraints: 26346
3127.29/3136.51 c #Conflicts: 766000 | #Constraints: 27346
3127.29/3136.51 c #Conflicts: 767000 | #Constraints: 28346
3127.29/3136.51 c #Conflicts: 768000 | #Constraints: 29346
3127.29/3136.51 c #Conflicts: 769000 | #Constraints: 30346
3127.29/3136.51 c #Conflicts: 770000 | #Constraints: 31346
3127.29/3136.51 c #Conflicts: 771000 | #Constraints: 32346
3127.29/3136.51 c #Conflicts: 772000 | #Constraints: 33346
3127.29/3136.51 c #Conflicts: 773000 | #Constraints: 34346
3127.29/3136.51 c #Conflicts: 774000 | #Constraints: 35346
3127.29/3136.51 c INPROCESSING
3127.29/3136.51 c GARBAGE COLLECT
3127.29/3136.51 c #Conflicts: 775000 | #Constraints: 18938
3127.29/3136.51 c #Conflicts: 776000 | #Constraints: 19938
3127.29/3136.51 c #Conflicts: 777000 | #Constraints: 20938
3127.29/3136.51 c #Conflicts: 778000 | #Constraints: 21938
3127.29/3136.51 c #Conflicts: 779000 | #Constraints: 22938
3127.29/3136.51 c #Conflicts: 780000 | #Constraints: 23938
3127.29/3136.51 c #Conflicts: 781000 | #Constraints: 24938
3127.29/3136.51 c #Conflicts: 782000 | #Constraints: 25938
3127.29/3136.51 c #Conflicts: 783000 | #Constraints: 26938
3127.29/3136.51 c #Conflicts: 784000 | #Constraints: 27938
3127.29/3136.51 c #Conflicts: 785000 | #Constraints: 28938
3127.29/3136.51 c #Conflicts: 786000 | #Constraints: 29938
3127.29/3136.51 c #Conflicts: 787000 | #Constraints: 30938
3127.29/3136.51 c #Conflicts: 788000 | #Constraints: 31938
3127.29/3136.51 c #Conflicts: 789000 | #Constraints: 32938
3127.29/3136.51 c #Conflicts: 790000 | #Constraints: 33938
3127.29/3136.51 c #Conflicts: 791000 | #Constraints: 34938
3127.29/3136.51 c #Conflicts: 792000 | #Constraints: 35938
3127.29/3136.51 c INPROCESSING
3127.29/3136.51 c GARBAGE COLLECT
3127.29/3136.51 c #Conflicts: 793000 | #Constraints: 19333
3127.29/3136.51 c #Conflicts: 794000 | #Constraints: 20333
3127.29/3136.51 c #Conflicts: 795000 | #Constraints: 21333
3127.29/3136.51 c #Conflicts: 796000 | #Constraints: 22333
3127.29/3136.51 c #Conflicts: 797000 | #Constraints: 23333
3127.29/3136.51 c #Conflicts: 798000 | #Constraints: 24333
3127.29/3136.51 c #Conflicts: 799000 | #Constraints: 25333
3127.29/3136.51 c #Conflicts: 800000 | #Constraints: 26333
3127.29/3136.51 c #Conflicts: 801000 | #Constraints: 27333
3127.29/3136.51 c #Conflicts: 802000 | #Constraints: 28333
3127.29/3136.51 c #Conflicts: 803000 | #Constraints: 29333
3127.29/3136.51 c #Conflicts: 804000 | #Constraints: 30333
3127.29/3136.51 c #Conflicts: 805000 | #Constraints: 31333
3127.29/3136.51 c #Conflicts: 806000 | #Constraints: 32333
3127.29/3136.51 c #Conflicts: 807000 | #Constraints: 33333
3127.29/3136.51 c #Conflicts: 808000 | #Constraints: 34333
3127.29/3136.51 c #Conflicts: 809000 | #Constraints: 35333
3127.29/3136.51 c #Conflicts: 810000 | #Constraints: 36333
3127.29/3136.51 c INPROCESSING
3127.29/3136.51 c GARBAGE COLLECT
3127.29/3136.51 c #Conflicts: 811000 | #Constraints: 19541
3127.29/3136.51 c #Conflicts: 812000 | #Constraints: 20541
3127.29/3136.51 c #Conflicts: 813000 | #Constraints: 21541
3127.29/3136.51 c #Conflicts: 814000 | #Constraints: 22541
3127.29/3136.51 c #Conflicts: 815000 | #Constraints: 23541
3127.29/3136.51 c #Conflicts: 816000 | #Constraints: 24541
3127.29/3136.51 c #Conflicts: 817000 | #Constraints: 25541
3127.29/3136.51 c #Conflicts: 818000 | #Constraints: 26541
3465.93/3476.25 c #Conflicts: 819000 | #Constraints: 27541
3465.93/3476.25 c #Conflicts: 820000 | #Constraints: 28541
3465.93/3476.25 c #Conflicts: 821000 | #Constraints: 29541
3465.93/3476.25 c #Conflicts: 822000 | #Constraints: 30541
3465.93/3476.25 c #Conflicts: 823000 | #Constraints: 31541
3465.93/3476.25 c #Conflicts: 824000 | #Constraints: 32541
3465.93/3476.25 c #Conflicts: 825000 | #Constraints: 33541
3465.93/3476.25 c #Conflicts: 826000 | #Constraints: 34541
3465.93/3476.25 c #Conflicts: 827000 | #Constraints: 35541
3465.93/3476.25 c #Conflicts: 828000 | #Constraints: 36541
3465.93/3476.25 c INPROCESSING
3465.93/3476.25 c GARBAGE COLLECT
3465.93/3476.25 c #Conflicts: 829000 | #Constraints: 19547
3465.93/3476.25 c #Conflicts: 830000 | #Constraints: 20547
3465.93/3476.25 c #Conflicts: 831000 | #Constraints: 21547
3465.93/3476.25 c #Conflicts: 832000 | #Constraints: 22547
3465.93/3476.25 c #Conflicts: 833000 | #Constraints: 23547
3465.93/3476.25 c #Conflicts: 834000 | #Constraints: 24547
3465.93/3476.25 c #Conflicts: 835000 | #Constraints: 25547
3465.93/3476.25 c #Conflicts: 836000 | #Constraints: 26547
3465.93/3476.25 c #Conflicts: 837000 | #Constraints: 27547
3465.93/3476.25 c #Conflicts: 838000 | #Constraints: 28547
3465.93/3476.25 c #Conflicts: 839000 | #Constraints: 29547
3465.93/3476.25 c #Conflicts: 840000 | #Constraints: 30547
3465.93/3476.25 c #Conflicts: 841000 | #Constraints: 31547
3465.93/3476.25 c #Conflicts: 842000 | #Constraints: 32547
3465.93/3476.25 c #Conflicts: 843000 | #Constraints: 33547
3465.93/3476.25 c #Conflicts: 844000 | #Constraints: 34547
3465.93/3476.25 c #Conflicts: 845000 | #Constraints: 35547
3465.93/3476.25 c #Conflicts: 846000 | #Constraints: 36547
3465.93/3476.25 c INPROCESSING
3465.93/3476.25 c GARBAGE COLLECT
3465.93/3476.25 c #Conflicts: 847000 | #Constraints: 19341
3465.93/3476.25 c #Conflicts: 848000 | #Constraints: 20341
3465.93/3476.25 c #Conflicts: 849000 | #Constraints: 21341
3465.93/3476.25 c #Conflicts: 850000 | #Constraints: 22341
3465.93/3476.25 c #Conflicts: 851000 | #Constraints: 23341
3465.93/3476.25 c #Conflicts: 852000 | #Constraints: 24341
3465.93/3476.25 c #Conflicts: 853000 | #Constraints: 25341
3465.93/3476.25 c #Conflicts: 854000 | #Constraints: 26341
3465.93/3476.25 c #Conflicts: 855000 | #Constraints: 27341
3465.93/3476.25 c #Conflicts: 856000 | #Constraints: 28341
3465.93/3476.25 c #Conflicts: 857000 | #Constraints: 29341
3465.93/3476.25 c #Conflicts: 858000 | #Constraints: 30341
3465.93/3476.25 c #Conflicts: 859000 | #Constraints: 31341
3465.93/3476.25 c #Conflicts: 860000 | #Constraints: 32341
3465.93/3476.25 c #Conflicts: 861000 | #Constraints: 33341
3465.93/3476.25 c #Conflicts: 862000 | #Constraints: 34341
3465.93/3476.25 c #Conflicts: 863000 | #Constraints: 35341
3465.93/3476.25 c #Conflicts: 864000 | #Constraints: 36341
3465.93/3476.25 c #Conflicts: 865000 | #Constraints: 37341
3465.93/3476.25 c INPROCESSING
3465.93/3476.25 c GARBAGE COLLECT
3465.93/3476.25 c #Conflicts: 866000 | #Constraints: 19950
3465.93/3476.25 c #Conflicts: 867000 | #Constraints: 20950
3465.93/3476.25 c #Conflicts: 868000 | #Constraints: 21950
3465.93/3476.25 c #Conflicts: 869000 | #Constraints: 22950
3465.93/3476.25 c #Conflicts: 870000 | #Constraints: 23950
3465.93/3476.25 c #Conflicts: 871000 | #Constraints: 24950
3465.93/3476.25 c #Conflicts: 872000 | #Constraints: 25950
3465.93/3476.25 c #Conflicts: 873000 | #Constraints: 26950
3465.93/3476.25 c #Conflicts: 874000 | #Constraints: 27950
3465.93/3476.25 c #Conflicts: 875000 | #Constraints: 28950
3465.93/3476.25 c #Conflicts: 876000 | #Constraints: 29950
3465.93/3476.25 c #Conflicts: 877000 | #Constraints: 30950
3465.93/3476.25 c #Conflicts: 878000 | #Constraints: 31950
3465.93/3476.25 c #Conflicts: 879000 | #Constraints: 32950
3465.93/3476.25 c #Conflicts: 880000 | #Constraints: 33950
3465.93/3476.25 c #Conflicts: 881000 | #Constraints: 34950
3465.93/3476.25 c #Conflicts: 882000 | #Constraints: 35950
3465.93/3476.25 c #Conflicts: 883000 | #Constraints: 36950
3465.93/3476.25 c #Conflicts: 884000 | #Constraints: 37950
3465.93/3476.25 c INPROCESSING
3465.93/3476.25 c GARBAGE COLLECT
3465.93/3476.25 c #Conflicts: 885000 | #Constraints: 20341
3465.93/3476.25 c #Conflicts: 886000 | #Constraints: 21341
3465.93/3476.25 c #Conflicts: 887000 | #Constraints: 22341
3465.93/3476.25 c #Conflicts: 888000 | #Constraints: 23341
3465.93/3476.25 c #Conflicts: 889000 | #Constraints: 24341
3465.93/3476.25 c #Conflicts: 890000 | #Constraints: 25341
3465.93/3476.25 c #Conflicts: 891000 | #Constraints: 26341
3465.93/3476.25 c #Conflicts: 892000 | #Constraints: 27341
3465.93/3476.25 c #Conflicts: 893000 | #Constraints: 28341
3465.93/3476.25 c #Conflicts: 894000 | #Constraints: 29341
3600.02/3610.70 c #Conflicts: 895000 | #Constraints: 30341
3600.02/3610.70 c #Conflicts: 896000 | #Constraints: 31341
3600.02/3610.70 c #Conflicts: 897000 | #Constraints: 32341
3600.02/3610.70 c #Conflicts: 898000 | #Constraints: 33341
3600.02/3610.70 c #Conflicts: 899000 | #Constraints: 34341
3600.02/3610.70 c #Conflicts: 900000 | #Constraints: 35341
3600.02/3610.70 c #Conflicts: 901000 | #Constraints: 36341
3600.02/3610.70 c #Conflicts: 902000 | #Constraints: 37341
3600.02/3610.70 c #Conflicts: 903000 | #Constraints: 38341
3600.02/3610.70 c INPROCESSING
3600.02/3610.70 c GARBAGE COLLECT
3600.02/3610.70 c #Conflicts: 904000 | #Constraints: 20544
3600.02/3610.70 c #Conflicts: 905000 | #Constraints: 21544
3600.02/3610.70 c #Conflicts: 906000 | #Constraints: 22544
3600.02/3610.70 c #Conflicts: 907000 | #Constraints: 23544
3600.02/3610.70 c #Conflicts: 908000 | #Constraints: 24544
3600.02/3610.70 c #Conflicts: 909000 | #Constraints: 25544
3600.02/3610.70 c #Conflicts: 910000 | #Constraints: 26544
3600.02/3610.70 c #Conflicts: 911000 | #Constraints: 27544
3600.02/3610.70 c #Conflicts: 912000 | #Constraints: 28544
3600.02/3610.70 c #Conflicts: 913000 | #Constraints: 29544
3600.02/3610.70 c #Conflicts: 914000 | #Constraints: 30544
3600.02/3610.70 c #Conflicts: 915000 | #Constraints: 31544
3600.02/3610.70 c #Conflicts: 916000 | #Constraints: 32544
3600.02/3610.70 c Program interrupted by user.
3600.02/3610.70 c cpu time 3576.17 s
3600.02/3610.70 c deterministic time 450637441578 4.51e+11
3600.02/3610.70 c optimization time 76.3504 s
3600.02/3610.70 c total solve time 3499.77 s
3600.02/3610.70 c core-guided solve time 3499.77 s
3600.02/3610.70 c propagation time 2769.56 s
3600.02/3610.70 c conflict analysis time 599.024 s
3600.02/3610.70 c propagations 147806746
3600.02/3610.70 c resolve steps 4559313
3600.02/3610.70 c decisions 21346067
3600.02/3610.70 c conflicts 916900
3600.02/3610.70 c restarts 2010
3600.02/3610.70 c inprocessing phases 86
3600.02/3610.70 c input clauses 321
3600.02/3610.70 c input cardinalities 322
3600.02/3610.70 c input general constraints 67
3600.02/3610.70 c input average constraint length 58.05
3600.02/3610.70 c input average constraint degree 11888.15
3600.02/3610.70 c learned clauses 670
3600.02/3610.70 c learned cardinalities 5
3600.02/3610.70 c learned general constraints 916225
3600.02/3610.70 c learned average constraint length 1890.52
3600.02/3610.70 c learned average constraint degree 7411639.29
3600.02/3610.70 c watched constraints 362322
3600.02/3610.70 c counting constraints 553970
3600.02/3610.70 c gcd simplifications 1355
3600.02/3610.70 c detected cardinalities 2
3600.02/3610.70 c weakened non-implied lits 97064159
3600.02/3610.70 c weakened non-implying lits 93044
3600.02/3610.70 c original variables 10272
3600.02/3610.70 c clausal propagations 3668384
3600.02/3610.70 c cardinality propagations 15315317
3600.02/3610.70 c watched propagations 5094059
3600.02/3610.70 c counting propagations 123138942
3600.02/3610.70 c watch lookups 51280159551
3600.02/3610.70 c watch backjump lookups 50838913601
3600.02/3610.70 c watch checks 271379673607
3600.02/3610.70 c propagation checks 72782189504
3600.02/3610.70 c constraint additions 4017291947
3600.02/3610.70 c trail pops 170060554
3600.02/3610.70 c formula constraints 706
3600.02/3610.70 c learned constraints 916900
3600.02/3610.70 c bound constraints 2
3600.02/3610.70 c core-guided constraints 2
3600.02/3610.70 c encountered formula constraints 3124413
3600.02/3610.70 c encountered learned constraints 2351581
3600.02/3610.70 c encountered bound constraints 0
3600.02/3610.70 c encountered core-guided constraints 219
3600.02/3610.70 c LP total time 0 s
3600.02/3610.70 c LP solve time 0 s
3600.02/3610.70 c LP constraints added 0
3600.02/3610.70 c LP constraints removed 0
3600.02/3610.70 c LP pivots internal 0
3600.02/3610.70 c LP pivots root 0
3600.02/3610.70 c LP calls 0
3600.02/3610.70 c LP optimalities 0
3600.02/3610.70 c LP no pivot count 0
3600.02/3610.70 c LP infeasibilities 0
3600.02/3610.70 c LP valid Farkas constraints 0
3600.02/3610.70 c LP learned Farkas constraints 0
3600.02/3610.70 c LP basis resets 0
3600.02/3610.70 c LP cycling count 0
3600.02/3610.70 c LP singular count 0
3600.02/3610.70 c LP no primal count 0
3600.02/3610.70 c LP no farkas count 0
3600.02/3610.70 c LP other issue count 0
3600.02/3610.70 c LP Gomory cuts 0
3600.02/3610.70 c LP learned cuts 0
3600.02/3610.70 c LP deleted cuts 0
3600.02/3610.70 c LP encountered Gomory constraints 0
3600.02/3610.70 c LP encountered Farkas constraints 0
3600.02/3610.70 c LP encountered learned Farkas constraints 0
3600.02/3610.70 c CG auxiliary variables introduced 1
3600.02/3610.70 c CG solutions found 1
3600.02/3610.70 c CG cores constructed 1
3600.02/3610.70 c CG core cardinality constraints returned 1
3600.02/3610.70 c CG unit cores 0
3600.02/3610.70 c CG single cores 1
3600.02/3610.70 c CG blocks removed during cardinality reduction 0
3600.02/3610.70 c CG first core best 0
3600.02/3610.70 c CG decision core best 0
3600.02/3610.70 c CG core reduction tie 0
3600.02/3610.70 c CG core degree average 27.00
3600.02/3610.70 c CG core slack average 5.00
3600.02/3610.70 c CG exhausted 0
3600.02/3610.70 c CG exhaust time 0.604064 s
3600.02/3610.70 c CG trimmed 0
3600.02/3610.70 c CG trim time 0.000218 s
3600.02/3610.70 c CG minimized 0
3600.02/3610.70 c CG minimize time 0 s
3600.02/3610.70 c CG am1 prop time 0.00173 s
3600.02/3610.70 c CG # am1s reformulated 0
3600.02/3610.70 c CG lower bound derived from am1s 0
3600.02/3610.70 c CG # clausal cores 0
3600.02/3610.70 c CG # cardinality cores 0
3600.02/3610.70 c CG # pb cores 1
3600.02/3610.70 c CG # pb reforms 0
3600.02/3610.70 c CG # cores discarded because of pb reform 0
3600.02/3610.70 d LOWERBOUND 27
3600.02/3610.70 d NCORES 1
3600.02/3610.70 d NPBCORES 1
3600.02/3610.70 d NPBREFORM 0
3600.02/3610.70 d NTRIMMED 0
3600.02/3610.70 d NEXHAUSTED 0
3600.02/3610.70 d NAM1S 0
3600.02/3610.70 d AM1LB 0
3600.02/3610.70 o 32
3600.02/3610.70 s SATISFIABLE
3600.02/3610.70 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 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 x7938 x7939 -x7940 x7941 -x7942 -x7943 x7944 -x7945 -x7946 -x7947 -x7948 -x7949 x7950 x7951 -x7952 -x7953 x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 x8077 x8078 -x8079 x8080 -x8081 -x8082 x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 x8360 -x8361 -x8362 -x8363 x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 x8820 x8821 -x8822 x8823 -x8824 -x8825 -x8826 x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 x8863 x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 x9060 -x9061 -x9062 x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 x9286 x9287 x9288 -x9289 -x9290 x9291 x9292 x9293 x9294 x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 x9321 x9322 -x9323 -x9324 -x9325 x9326 x9327 -x9328 -x9329 -x9330 -x9331 x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 x9385 -x9386 -x9387 x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 x9494 -x9495 -x9496 -x9497 x9498 -x9499 x9500 -x9501 x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 x9579 x9580 x9581 x9582 -x9583 x9584 x9585 x9586 x9587 x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 x9620 -x9621 -x9622 -x9623 -x9624 x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 x10269 -x10270 -x10271 -x10272
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: 63794 MiB (59683 MiB free)
memory of node 1: 64507 MiB (59429 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509420-1751525306/watcher-4509420-1751525306 -o /tmp/evaluation-result-4509420-1751525306/solver-4509420-1751525306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70846 --watchdog 3760 pb-oll-rs HOME/instance-4509420-1751525306.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=71597, runsolver pid=71594
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 4.14 4.24 4.18 5/249 71598
/proc/meminfo: memFree=121969612/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=23808 memory=9856 CPUtime=0.09 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 1312 0 0 0 7 2 0 0 20 0 1 0 68210318 24379392 2464 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 5952 2464 1344 243 0 2201 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23808 KiB
Current children cumulated memory: 9856 KiB
[startup+0.213374 s]*
/proc/loadavg: 4.14 4.24 4.18 5/249 71598
/proc/meminfo: memFree=121969612/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=23932 memory=10752 CPUtime=0.21 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 1496 0 0 0 18 3 0 0 20 0 1 0 68210318 24506368 2688 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 5983 2688 1376 243 0 2232 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23932 KiB
Current children cumulated memory: 10752 KiB
[startup+0.313265 s]*
/proc/loadavg: 4.14 4.24 4.18 5/249 71598
/proc/meminfo: memFree=121967596/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=24196 memory=13128 CPUtime=0.31 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 1602 0 0 0 27 4 0 0 20 0 1 0 68210318 24776704 3282 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 6049 3282 1376 243 0 2298 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 24196 KiB
Current children cumulated memory: 13128 KiB
[startup+0.700314 s]
/proc/loadavg: 4.14 4.24 4.18 5/249 71598
/proc/meminfo: memFree=121967344/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=29756 memory=17608 CPUtime=0.68 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 2706 0 0 0 62 6 0 0 20 0 1 0 68210318 30470144 4402 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 7439 4402 1376 243 0 3688 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29756 KiB
Current children cumulated memory: 17608 KiB
[startup+1.50032 s]
/proc/loadavg: 4.14 4.24 4.18 5/248 71604
/proc/meminfo: memFree=121968532/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=49264 memory=33672 CPUtime=1.48 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 6199 0 0 0 138 10 0 0 20 0 1 0 68210318 50446336 8418 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 12316 8418 1376 243 0 8565 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49264 KiB
Current children cumulated memory: 33672 KiB
[startup+3.11284 s]
/proc/loadavg: 4.14 4.24 4.18 5/250 71629
/proc/meminfo: memFree=121951988/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=74996 memory=55304 CPUtime=3.08 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 10300 0 0 0 291 17 0 0 20 0 1 0 68210318 76795904 13826 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 18749 13826 1376 243 0 14998 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 74996 KiB
Current children cumulated memory: 55304 KiB
[startup+6.3003 s]
/proc/loadavg: 4.21 4.26 4.19 5/250 71629
/proc/meminfo: memFree=121884040/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=117540 memory=92572 CPUtime=6.27 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 16536 0 0 0 600 27 0 0 20 0 1 0 68210318 120360960 23143 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 29385 23143 1376 243 0 25634 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 117540 KiB
Current children cumulated memory: 92572 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.25 4.19 5/250 71629
/proc/meminfo: memFree=121821692/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=139368 memory=116264 CPUtime=12.64 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 21963 0 0 0 1216 48 0 0 20 0 1 0 68210318 142712832 29066 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 34842 29066 1376 243 0 31091 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 139368 KiB
Current children cumulated memory: 116264 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.24 4.18 5/250 71629
/proc/meminfo: memFree=121737032/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=195088 memory=156856 CPUtime=25.41 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 28538 0 0 0 2467 74 0 0 20 0 1 0 68210318 199770112 39214 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 48772 39214 1376 243 0 45021 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 195088 KiB
Current children cumulated memory: 156856 KiB
[startup+51.1129 s]
/proc/loadavg: 4.18 4.23 4.18 5/250 71630
/proc/meminfo: memFree=121534380/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=269948 memory=250412 CPUtime=50.95 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 45784 0 0 0 4990 105 0 0 20 0 1 0 68210318 276426752 62603 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 67487 62603 1376 243 0 63736 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 269948 KiB
Current children cumulated memory: 250412 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.21 4.18 5/250 71634
/proc/meminfo: memFree=121319972/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=406196 memory=357236 CPUtime=101.99 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 64829 0 0 0 10007 192 0 0 20 0 1 0 68210318 415944704 89309 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 101549 89309 1376 243 0 97798 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 406196 KiB
Current children cumulated memory: 357236 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/249 71637
/proc/meminfo: memFree=120922408/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=635956 memory=562620 CPUtime=161.82 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 95245 0 0 0 15947 235 0 0 20 0 1 0 68210318 651218944 140655 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 158989 140655 1376 243 0 155238 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 635956 KiB
Current children cumulated memory: 562620 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/249 71639
/proc/meminfo: memFree=120703028/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=811844 memory=618516 CPUtime=221.65 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 105117 0 0 0 21872 293 0 0 20 0 1 0 68210318 831328256 154629 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 202961 154629 1376 243 0 199210 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 811844 KiB
Current children cumulated memory: 618516 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/249 71685
/proc/meminfo: memFree=125024620/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=828872 memory=633492 CPUtime=281.48 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 108877 0 0 0 27787 361 0 0 20 0 1 0 68210318 848764928 158373 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 207218 158373 1376 243 0 203467 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 828872 KiB
Current children cumulated memory: 633492 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.14 4.15 5/249 71687
/proc/meminfo: memFree=124799572/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=886452 memory=677396 CPUtime=341.31 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 119842 0 0 0 33715 416 0 0 20 0 1 0 68210318 907726848 169349 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 221613 169349 1376 243 0 217862 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 886452 KiB
Current children cumulated memory: 677396 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/250 71690
/proc/meminfo: memFree=124697952/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=891176 memory=681236 CPUtime=401.14 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 120937 0 0 0 39637 477 0 0 20 0 1 0 68210318 912564224 170309 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 222794 170309 1376 243 0 219043 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 891176 KiB
Current children cumulated memory: 681236 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/250 71696
/proc/meminfo: memFree=124515580/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=965104 memory=738836 CPUtime=460.96 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 135322 0 0 0 45586 510 0 0 20 0 1 0 68210318 988266496 184709 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 241276 184709 1376 243 0 237525 0
Current children cumulated CPU time: 460.96 s
################
# More data... #
################
Current children cumulated memory: 1793948 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.12 5/249 71951
/proc/meminfo: memFree=125737336/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=1959040 memory=1796124 CPUtime=2913.75 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 286100 0 0 0 289382 1993 0 0 20 0 1 0 68210318 2006056960 449031 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 489760 449031 1376 243 0 486009 0
Current children cumulated CPU time: 2913.75 s
Current children cumulated vsize: 1959040 KiB
Current children cumulated memory: 1796124 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.12 5/251 71959
/proc/meminfo: memFree=125672604/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=1962048 memory=1798044 CPUtime=2973.56 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 286579 0 0 0 295326 2030 0 0 20 0 1 0 68210318 2009137152 449511 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 490512 449511 1376 243 0 486761 0
Current children cumulated CPU time: 2973.56 s
Current children cumulated vsize: 1962048 KiB
Current children cumulated memory: 1798044 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.08 4.10 5/251 71961
/proc/meminfo: memFree=125592408/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=1962348 memory=1798300 CPUtime=3033.38 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 286675 0 0 0 301269 2069 0 0 20 0 1 0 68210318 2009444352 449575 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 490587 449575 1376 243 0 486836 0
Current children cumulated CPU time: 3033.38 s
Current children cumulated vsize: 1962348 KiB
Current children cumulated memory: 1798300 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.10 5/251 71963
/proc/meminfo: memFree=125473840/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=1962348 memory=1798300 CPUtime=3093.19 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 286844 0 0 0 307228 2091 0 0 20 0 1 0 68210318 2009444352 449575 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 490587 449575 1376 243 0 486836 0
Current children cumulated CPU time: 3093.19 s
Current children cumulated vsize: 1962348 KiB
Current children cumulated memory: 1798300 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.10 5/251 71967
/proc/meminfo: memFree=125252528/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=1962348 memory=1798300 CPUtime=3153 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 286853 0 0 0 313168 2132 0 0 20 0 1 0 68210318 2009444352 449575 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 490587 449575 1376 243 0 486836 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 1962348 KiB
Current children cumulated memory: 1798300 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 71969
/proc/meminfo: memFree=125099300/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=1962348 memory=1798300 CPUtime=3212.81 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 286854 0 0 0 319122 2159 0 0 20 0 1 0 68210318 2009444352 449575 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 490587 449575 1376 243 0 486836 0
Current children cumulated CPU time: 3212.81 s
Current children cumulated vsize: 1962348 KiB
Current children cumulated memory: 1798300 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/249 71971
/proc/meminfo: memFree=125070524/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=1965196 memory=1800220 CPUtime=3272.63 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 287329 0 0 0 325072 2191 0 0 20 0 1 0 68210318 2012360704 450055 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 491299 450055 1376 243 0 487548 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 1965196 KiB
Current children cumulated memory: 1800220 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/249 71973
/proc/meminfo: memFree=125049652/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=1965196 memory=1800220 CPUtime=3332.45 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 287479 0 0 0 331014 2231 0 0 20 0 1 0 68210318 2012360704 450055 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 491299 450055 1376 243 0 487548 0
Current children cumulated CPU time: 3332.45 s
Current children cumulated vsize: 1965196 KiB
Current children cumulated memory: 1800220 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/249 71975
/proc/meminfo: memFree=124999524/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=1965196 memory=1800220 CPUtime=3392.26 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 287497 0 0 0 336949 2277 0 0 20 0 1 0 68210318 2012360704 450055 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 491299 450055 1376 243 0 487548 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 1965196 KiB
Current children cumulated memory: 1800220 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/249 71977
/proc/meminfo: memFree=124891656/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=1965196 memory=1800220 CPUtime=3452.07 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 287504 0 0 0 342904 2303 0 0 20 0 1 0 68210318 2012360704 450055 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 491299 450055 1376 243 0 487548 0
Current children cumulated CPU time: 3452.07 s
Current children cumulated vsize: 1965196 KiB
Current children cumulated memory: 1800220 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 71979
/proc/meminfo: memFree=124882320/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=1965196 memory=1800220 CPUtime=3511.89 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 287504 0 0 0 348856 2333 0 0 20 0 1 0 68210318 2012360704 450055 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 491299 450055 1376 243 0 487548 0
Current children cumulated CPU time: 3511.89 s
Current children cumulated vsize: 1965196 KiB
Current children cumulated memory: 1800220 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/250 71986
/proc/meminfo: memFree=124844044/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=1965196 memory=1800220 CPUtime=3571.7 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 287628 0 0 0 354797 2373 0 0 20 0 1 0 68210318 2012360704 450055 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 491299 450055 1376 243 0 487548 0
Current children cumulated CPU time: 3571.7 s
Current children cumulated vsize: 1965196 KiB
Current children cumulated memory: 1800220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 71988
/proc/meminfo: memFree=124826352/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=1965196 memory=1800220 CPUtime=3600.02 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 287652 0 0 0 357617 2385 0 0 20 0 1 0 68210318 2012360704 450055 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 491299 450055 1376 243 0 487548 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1965196 KiB
Current children cumulated memory: 1800220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 71597 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.18 s, system=23.8622 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 71988
/proc/meminfo: memFree=124826352/131382112 swapFree=33010416/33010684
[pid=71597] ppid=71594 vsize=1965196 memory=1800220 CPUtime=3600.02 cores=4,6
/proc/71597/stat : 71597 (pb-oll-rs) R 71594 71597 70835 0 -1 4194304 287652 0 0 0 357617 2385 0 0 20 0 1 0 68210318 2012360704 450055 18446744073709551615 4218880 5211445 140728951331312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 35340288 140728951339420 140728951339497 140728951339497 140728951345099 0
/proc/71597/statm: 491299 450055 1376 243 0 487548 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1965196 KiB
Current children cumulated memory: 1800220 KiB
Child status: 0
Real time (s): 3610.72
CPU time (s): 3600.04
CPU user time (s): 3576.18
CPU system time (s): 23.8622
CPU usage (%): 99.7043
Max. virtual memory (cumulated for all children) (KiB): 1965196
Max. memory (cumulated for all children) (KiB): 1800220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.18
system time used= 23.8622
maximum resident set size= 1800476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287737
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= 364
involuntary context switches= 2457
# summary of solver processes directly reported to runsolver:
# pid: 71597
# total CPU time (s): 3600.04
# total CPU user time (s): 3576.18
# total CPU system time (s): 23.8622
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4148 second user time and 36.1833 second system time
The end
Begin job on nodeC012 at 2025-07-03 08:48:26
IDJOB=4509420
IDBENCH=158618
IDSOLVER=3345
FILE ID=nodeC012/4509420-1751525306
RUNJOBID= nodeC012-1751518082-70846
SLURM_JOB_ID= 9598636
Free space on /tmp= 431868 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509420-1751525306/watcher-4509420-1751525306 -o /tmp/evaluation-result-4509420-1751525306/solver-4509420-1751525306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70846 --watchdog 3760 pb-oll-rs HOME/instance-4509420-1751525306.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a65412b792c5c6c9e427350dbe88f8fc
RANDOM SEED=625671465
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.653
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1696.065
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.115
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.687
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.234
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.482
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.150
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.988
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 121971724 kB
MemAvailable: 121994692 kB
Buffers: 2136 kB
Cached: 824420 kB
SwapCached: 16 kB
Active: 8613488 kB
Inactive: 206716 kB
Active(anon): 8004596 kB
Inactive(anon): 6996 kB
Active(file): 608892 kB
Inactive(file): 199720 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3424 kB
Writeback: 20 kB
AnonPages: 7996748 kB
Mapped: 106372 kB
Shmem: 17944 kB
KReclaimable: 107584 kB
Slab: 192748 kB
SReclaimable: 107584 kB
SUnreclaim: 85164 kB
KernelStack: 4064 kB
PageTables: 20352 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 9720456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1138688 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431868 MiB
End job on nodeC012 at 2025-07-03 09:48:37