0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.03 c [STEP] solving
0.00/0.03 c #variables 5568 #constraints 412
0.00/0.03 c SMALL=int, LARGE=long long
0.00/0.03 c bounds - >= 0 @ 0.025428
0.00/0.03 c stratification level: 0
0.21/0.27 c bounds - >= 15 @ 0.026344
0.21/0.27 c finalizing WCE round: reformulating cores
77.05/77.39 c #Conflicts: 1000 | #Constraints: 1415
77.05/77.39 c bounds 23 >= 15 @ 0.559115
77.05/77.39 c #Conflicts: 2000 | #Constraints: 2415
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 3000 | #Constraints: 2422
77.05/77.39 c #Conflicts: 4000 | #Constraints: 3422
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 5000 | #Constraints: 2824
77.05/77.39 c #Conflicts: 6000 | #Constraints: 3824
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 7000 | #Constraints: 2829
77.05/77.39 c #Conflicts: 8000 | #Constraints: 3829
77.05/77.39 c #Conflicts: 9000 | #Constraints: 4829
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 10000 | #Constraints: 3537
77.05/77.39 c #Conflicts: 11000 | #Constraints: 4537
77.05/77.39 c #Conflicts: 12000 | #Constraints: 5537
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 13000 | #Constraints: 3983
77.05/77.39 c #Conflicts: 14000 | #Constraints: 4983
77.05/77.39 c #Conflicts: 15000 | #Constraints: 5983
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 16000 | #Constraints: 4213
77.05/77.39 c #Conflicts: 17000 | #Constraints: 5213
77.05/77.39 c #Conflicts: 18000 | #Constraints: 6213
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 19000 | #Constraints: 4235
77.05/77.39 c #Conflicts: 20000 | #Constraints: 5235
77.05/77.39 c #Conflicts: 21000 | #Constraints: 6235
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 22000 | #Constraints: 4033
77.05/77.39 c #Conflicts: 23000 | #Constraints: 5033
77.05/77.39 c #Conflicts: 24000 | #Constraints: 6033
77.05/77.39 c #Conflicts: 25000 | #Constraints: 7033
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 26000 | #Constraints: 4634
77.05/77.39 c #Conflicts: 27000 | #Constraints: 5634
77.05/77.39 c #Conflicts: 28000 | #Constraints: 6634
77.05/77.39 c #Conflicts: 29000 | #Constraints: 7634
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 30000 | #Constraints: 5036
77.05/77.39 c #Conflicts: 31000 | #Constraints: 6036
77.05/77.39 c #Conflicts: 32000 | #Constraints: 7036
77.05/77.39 c #Conflicts: 33000 | #Constraints: 8036
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 34000 | #Constraints: 5239
77.05/77.39 c #Conflicts: 35000 | #Constraints: 6239
77.05/77.39 c #Conflicts: 36000 | #Constraints: 7239
77.05/77.39 c #Conflicts: 37000 | #Constraints: 8239
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 38000 | #Constraints: 5241
77.05/77.39 c #Conflicts: 39000 | #Constraints: 6241
77.05/77.39 c #Conflicts: 40000 | #Constraints: 7241
77.05/77.39 c #Conflicts: 41000 | #Constraints: 8241
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 42000 | #Constraints: 5049
77.05/77.39 c #Conflicts: 43000 | #Constraints: 6049
77.05/77.39 c #Conflicts: 44000 | #Constraints: 7049
77.05/77.39 c #Conflicts: 45000 | #Constraints: 8049
77.05/77.39 c #Conflicts: 46000 | #Constraints: 9049
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 47000 | #Constraints: 5642
77.05/77.39 c #Conflicts: 48000 | #Constraints: 6642
77.05/77.39 c #Conflicts: 49000 | #Constraints: 7642
77.05/77.39 c #Conflicts: 50000 | #Constraints: 8642
77.05/77.39 c #Conflicts: 51000 | #Constraints: 9642
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 52000 | #Constraints: 6044
77.05/77.39 c #Conflicts: 53000 | #Constraints: 7044
77.05/77.39 c #Conflicts: 54000 | #Constraints: 8044
77.05/77.39 c #Conflicts: 55000 | #Constraints: 9044
77.05/77.39 c #Conflicts: 56000 | #Constraints: 10044
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 57000 | #Constraints: 6238
77.05/77.39 c #Conflicts: 58000 | #Constraints: 7238
77.05/77.39 c #Conflicts: 59000 | #Constraints: 8238
77.05/77.39 c #Conflicts: 60000 | #Constraints: 9238
77.05/77.39 c #Conflicts: 61000 | #Constraints: 10238
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 62000 | #Constraints: 6240
77.05/77.39 c #Conflicts: 63000 | #Constraints: 7240
77.05/77.39 c #Conflicts: 64000 | #Constraints: 8240
77.05/77.39 c #Conflicts: 65000 | #Constraints: 9240
77.05/77.39 c #Conflicts: 66000 | #Constraints: 10240
77.05/77.39 c INPROCESSING
77.05/77.39 c GARBAGE COLLECT
77.05/77.39 c #Conflicts: 67000 | #Constraints: 6041
259.39/260.20 c #Conflicts: 68000 | #Constraints: 7041
259.39/260.20 c #Conflicts: 69000 | #Constraints: 8041
259.39/260.20 c #Conflicts: 70000 | #Constraints: 9041
259.39/260.20 c #Conflicts: 71000 | #Constraints: 10041
259.39/260.20 c #Conflicts: 72000 | #Constraints: 11041
259.39/260.20 c INPROCESSING
259.39/260.20 c GARBAGE COLLECT
259.39/260.20 c #Conflicts: 73000 | #Constraints: 6636
259.39/260.20 c #Conflicts: 74000 | #Constraints: 7636
259.39/260.20 c #Conflicts: 75000 | #Constraints: 8636
259.39/260.20 c #Conflicts: 76000 | #Constraints: 9636
259.39/260.20 c #Conflicts: 77000 | #Constraints: 10636
259.39/260.20 c #Conflicts: 78000 | #Constraints: 11636
259.39/260.20 c INPROCESSING
259.39/260.20 c GARBAGE COLLECT
259.39/260.20 c #Conflicts: 79000 | #Constraints: 7037
259.39/260.20 c #Conflicts: 80000 | #Constraints: 8037
259.39/260.20 c #Conflicts: 81000 | #Constraints: 9037
259.39/260.20 c #Conflicts: 82000 | #Constraints: 10037
259.39/260.20 c #Conflicts: 83000 | #Constraints: 11037
259.39/260.20 c #Conflicts: 84000 | #Constraints: 12037
259.39/260.20 c INPROCESSING
259.39/260.20 c GARBAGE COLLECT
259.39/260.20 c #Conflicts: 85000 | #Constraints: 7237
259.39/260.20 c #Conflicts: 86000 | #Constraints: 8237
259.39/260.20 c #Conflicts: 87000 | #Constraints: 9237
259.39/260.20 c #Conflicts: 88000 | #Constraints: 10237
259.39/260.20 c #Conflicts: 89000 | #Constraints: 11237
259.39/260.20 c #Conflicts: 90000 | #Constraints: 12237
259.39/260.20 c INPROCESSING
259.39/260.20 c GARBAGE COLLECT
259.39/260.20 c #Conflicts: 91000 | #Constraints: 7241
259.39/260.20 c #Conflicts: 92000 | #Constraints: 8241
259.39/260.20 c #Conflicts: 93000 | #Constraints: 9241
259.39/260.20 c #Conflicts: 94000 | #Constraints: 10241
259.39/260.20 c #Conflicts: 95000 | #Constraints: 11241
259.39/260.20 c #Conflicts: 96000 | #Constraints: 12241
259.39/260.20 c INPROCESSING
259.39/260.20 c GARBAGE COLLECT
259.39/260.20 c #Conflicts: 97000 | #Constraints: 7050
259.39/260.20 c #Conflicts: 98000 | #Constraints: 8050
259.39/260.20 c #Conflicts: 99000 | #Constraints: 9050
259.39/260.20 c #Conflicts: 100000 | #Constraints: 10050
259.39/260.20 c #Conflicts: 101000 | #Constraints: 11050
259.39/260.20 c #Conflicts: 102000 | #Constraints: 12050
259.39/260.20 c #Conflicts: 103000 | #Constraints: 13050
259.39/260.20 c INPROCESSING
259.39/260.20 c GARBAGE COLLECT
259.39/260.20 c #Conflicts: 104000 | #Constraints: 7645
259.39/260.20 c #Conflicts: 105000 | #Constraints: 8645
259.39/260.20 c #Conflicts: 106000 | #Constraints: 9645
259.39/260.20 c #Conflicts: 107000 | #Constraints: 10645
259.39/260.20 c #Conflicts: 108000 | #Constraints: 11645
259.39/260.20 c #Conflicts: 109000 | #Constraints: 12645
259.39/260.20 c #Conflicts: 110000 | #Constraints: 13645
259.39/260.20 c INPROCESSING
259.39/260.20 c GARBAGE COLLECT
259.39/260.20 c #Conflicts: 111000 | #Constraints: 8047
259.39/260.20 c #Conflicts: 112000 | #Constraints: 9047
259.39/260.20 c #Conflicts: 113000 | #Constraints: 10047
259.39/260.20 c #Conflicts: 114000 | #Constraints: 11047
259.39/260.20 c #Conflicts: 115000 | #Constraints: 12047
259.39/260.20 c #Conflicts: 116000 | #Constraints: 13047
259.39/260.20 c #Conflicts: 117000 | #Constraints: 14047
259.39/260.20 c INPROCESSING
259.39/260.20 c GARBAGE COLLECT
259.39/260.20 c #Conflicts: 118000 | #Constraints: 8250
259.39/260.20 c #Conflicts: 119000 | #Constraints: 9250
259.39/260.20 c #Conflicts: 120000 | #Constraints: 10250
259.39/260.20 c #Conflicts: 121000 | #Constraints: 11250
259.39/260.20 c #Conflicts: 122000 | #Constraints: 12250
259.39/260.20 c #Conflicts: 123000 | #Constraints: 13250
259.39/260.20 c #Conflicts: 124000 | #Constraints: 14250
259.39/260.20 c INPROCESSING
259.39/260.20 c GARBAGE COLLECT
259.39/260.20 c #Conflicts: 125000 | #Constraints: 8244
259.39/260.20 c #Conflicts: 126000 | #Constraints: 9244
259.39/260.20 c #Conflicts: 127000 | #Constraints: 10244
259.39/260.20 c #Conflicts: 128000 | #Constraints: 11244
259.39/260.20 c #Conflicts: 129000 | #Constraints: 12244
259.39/260.20 c #Conflicts: 130000 | #Constraints: 13244
259.39/260.20 c #Conflicts: 131000 | #Constraints: 14244
259.39/260.20 c INPROCESSING
259.39/260.20 c GARBAGE COLLECT
259.39/260.20 c #Conflicts: 132000 | #Constraints: 8044
259.39/260.20 c #Conflicts: 133000 | #Constraints: 9044
259.39/260.20 c #Conflicts: 134000 | #Constraints: 10044
259.39/260.20 c #Conflicts: 135000 | #Constraints: 11044
259.39/260.20 c #Conflicts: 136000 | #Constraints: 12044
259.39/260.20 c #Conflicts: 137000 | #Constraints: 13044
259.39/260.20 c #Conflicts: 138000 | #Constraints: 14044
259.39/260.20 c #Conflicts: 139000 | #Constraints: 15044
259.39/260.20 c INPROCESSING
525.27/526.97 c GARBAGE COLLECT
525.27/526.97 c #Conflicts: 140000 | #Constraints: 8648
525.27/526.97 c #Conflicts: 141000 | #Constraints: 9648
525.27/526.97 c #Conflicts: 142000 | #Constraints: 10648
525.27/526.97 c #Conflicts: 143000 | #Constraints: 11648
525.27/526.97 c #Conflicts: 144000 | #Constraints: 12648
525.27/526.97 c #Conflicts: 145000 | #Constraints: 13648
525.27/526.97 c #Conflicts: 146000 | #Constraints: 14648
525.27/526.97 c #Conflicts: 147000 | #Constraints: 15648
525.27/526.97 c INPROCESSING
525.27/526.97 c GARBAGE COLLECT
525.27/526.97 c #Conflicts: 148000 | #Constraints: 9044
525.27/526.97 c #Conflicts: 149000 | #Constraints: 10044
525.27/526.97 c #Conflicts: 150000 | #Constraints: 11044
525.27/526.97 c #Conflicts: 151000 | #Constraints: 12044
525.27/526.97 c #Conflicts: 152000 | #Constraints: 13044
525.27/526.97 c #Conflicts: 153000 | #Constraints: 14044
525.27/526.97 c #Conflicts: 154000 | #Constraints: 15044
525.27/526.97 c #Conflicts: 155000 | #Constraints: 16044
525.27/526.97 c INPROCESSING
525.27/526.97 c GARBAGE COLLECT
525.27/526.97 c #Conflicts: 156000 | #Constraints: 9244
525.27/526.97 c #Conflicts: 157000 | #Constraints: 10244
525.27/526.97 c #Conflicts: 158000 | #Constraints: 11244
525.27/526.97 c #Conflicts: 159000 | #Constraints: 12244
525.27/526.97 c #Conflicts: 160000 | #Constraints: 13244
525.27/526.97 c #Conflicts: 161000 | #Constraints: 14244
525.27/526.97 c #Conflicts: 162000 | #Constraints: 15244
525.27/526.97 c #Conflicts: 163000 | #Constraints: 16244
525.27/526.97 c INPROCESSING
525.27/526.97 c GARBAGE COLLECT
525.27/526.97 c #Conflicts: 164000 | #Constraints: 9240
525.27/526.97 c #Conflicts: 165000 | #Constraints: 10240
525.27/526.97 c #Conflicts: 166000 | #Constraints: 11240
525.27/526.97 c #Conflicts: 167000 | #Constraints: 12240
525.27/526.97 c #Conflicts: 168000 | #Constraints: 13240
525.27/526.97 c #Conflicts: 169000 | #Constraints: 14240
525.27/526.97 c #Conflicts: 170000 | #Constraints: 15240
525.27/526.97 c #Conflicts: 171000 | #Constraints: 16240
525.27/526.97 c INPROCESSING
525.27/526.97 c GARBAGE COLLECT
525.27/526.97 c #Conflicts: 172000 | #Constraints: 9037
525.27/526.97 c #Conflicts: 173000 | #Constraints: 10037
525.27/526.97 c #Conflicts: 174000 | #Constraints: 11037
525.27/526.97 c #Conflicts: 175000 | #Constraints: 12037
525.27/526.97 c #Conflicts: 176000 | #Constraints: 13037
525.27/526.98 c #Conflicts: 177000 | #Constraints: 14037
525.27/526.98 c #Conflicts: 178000 | #Constraints: 15037
525.27/526.98 c #Conflicts: 179000 | #Constraints: 16037
525.27/526.98 c #Conflicts: 180000 | #Constraints: 17037
525.27/526.98 c INPROCESSING
525.27/526.98 c GARBAGE COLLECT
525.27/526.98 c #Conflicts: 181000 | #Constraints: 9641
525.27/526.98 c #Conflicts: 182000 | #Constraints: 10641
525.27/526.98 c #Conflicts: 183000 | #Constraints: 11641
525.27/526.98 c #Conflicts: 184000 | #Constraints: 12641
525.27/526.98 c #Conflicts: 185000 | #Constraints: 13641
525.27/526.98 c #Conflicts: 186000 | #Constraints: 14641
525.27/526.98 c #Conflicts: 187000 | #Constraints: 15641
525.27/526.98 c #Conflicts: 188000 | #Constraints: 16641
525.27/526.98 c #Conflicts: 189000 | #Constraints: 17641
525.27/526.98 c INPROCESSING
525.27/526.98 c GARBAGE COLLECT
525.27/526.98 c #Conflicts: 190000 | #Constraints: 10044
525.27/526.98 c #Conflicts: 191000 | #Constraints: 11044
525.27/526.98 c #Conflicts: 192000 | #Constraints: 12044
525.27/526.98 c #Conflicts: 193000 | #Constraints: 13044
525.27/526.98 c #Conflicts: 194000 | #Constraints: 14044
525.27/526.98 c #Conflicts: 195000 | #Constraints: 15044
525.27/526.98 c #Conflicts: 196000 | #Constraints: 16044
525.27/526.98 c #Conflicts: 197000 | #Constraints: 17044
525.27/526.98 c #Conflicts: 198000 | #Constraints: 18044
525.27/526.98 c INPROCESSING
525.27/526.98 c GARBAGE COLLECT
525.27/526.98 c #Conflicts: 199000 | #Constraints: 10249
525.27/526.98 c #Conflicts: 200000 | #Constraints: 11249
525.27/526.98 c #Conflicts: 201000 | #Constraints: 12249
525.27/526.98 c #Conflicts: 202000 | #Constraints: 13249
525.27/526.98 c #Conflicts: 203000 | #Constraints: 14249
525.27/526.98 c #Conflicts: 204000 | #Constraints: 15249
525.27/526.98 c #Conflicts: 205000 | #Constraints: 16249
525.27/526.98 c #Conflicts: 206000 | #Constraints: 17249
525.27/526.98 c #Conflicts: 207000 | #Constraints: 18249
525.27/526.98 c INPROCESSING
525.27/526.98 c GARBAGE COLLECT
525.27/526.98 c #Conflicts: 208000 | #Constraints: 10252
525.27/526.98 c #Conflicts: 209000 | #Constraints: 11252
525.27/526.98 c #Conflicts: 210000 | #Constraints: 12252
525.27/526.98 c #Conflicts: 211000 | #Constraints: 13252
525.27/526.98 c #Conflicts: 212000 | #Constraints: 14252
525.27/526.98 c #Conflicts: 213000 | #Constraints: 15252
879.58/882.33 c #Conflicts: 214000 | #Constraints: 16252
879.58/882.33 c #Conflicts: 215000 | #Constraints: 17252
879.58/882.33 c #Conflicts: 216000 | #Constraints: 18252
879.58/882.33 c INPROCESSING
879.58/882.33 c GARBAGE COLLECT
879.58/882.33 c #Conflicts: 217000 | #Constraints: 10054
879.58/882.33 c #Conflicts: 218000 | #Constraints: 11054
879.58/882.33 c #Conflicts: 219000 | #Constraints: 12054
879.58/882.33 c #Conflicts: 220000 | #Constraints: 13054
879.58/882.33 c #Conflicts: 221000 | #Constraints: 14054
879.58/882.33 c #Conflicts: 222000 | #Constraints: 15054
879.58/882.33 c #Conflicts: 223000 | #Constraints: 16054
879.58/882.33 c #Conflicts: 224000 | #Constraints: 17054
879.58/882.33 c #Conflicts: 225000 | #Constraints: 18054
879.58/882.33 c #Conflicts: 226000 | #Constraints: 19054
879.58/882.33 c INPROCESSING
879.58/882.33 c GARBAGE COLLECT
879.58/882.33 c #Conflicts: 227000 | #Constraints: 10651
879.58/882.33 c #Conflicts: 228000 | #Constraints: 11651
879.58/882.33 c #Conflicts: 229000 | #Constraints: 12651
879.58/882.33 c #Conflicts: 230000 | #Constraints: 13651
879.58/882.33 c #Conflicts: 231000 | #Constraints: 14651
879.58/882.33 c #Conflicts: 232000 | #Constraints: 15651
879.58/882.33 c #Conflicts: 233000 | #Constraints: 16651
879.58/882.33 c #Conflicts: 234000 | #Constraints: 17651
879.58/882.33 c #Conflicts: 235000 | #Constraints: 18651
879.58/882.33 c #Conflicts: 236000 | #Constraints: 19651
879.58/882.33 c INPROCESSING
879.58/882.33 c GARBAGE COLLECT
879.58/882.33 c #Conflicts: 237000 | #Constraints: 11051
879.58/882.33 c #Conflicts: 238000 | #Constraints: 12051
879.58/882.33 c #Conflicts: 239000 | #Constraints: 13051
879.58/882.33 c #Conflicts: 240000 | #Constraints: 14051
879.58/882.33 c #Conflicts: 241000 | #Constraints: 15051
879.58/882.33 c #Conflicts: 242000 | #Constraints: 16051
879.58/882.33 c #Conflicts: 243000 | #Constraints: 17051
879.58/882.33 c #Conflicts: 244000 | #Constraints: 18051
879.58/882.33 c #Conflicts: 245000 | #Constraints: 19051
879.58/882.33 c #Conflicts: 246000 | #Constraints: 20051
879.58/882.33 c INPROCESSING
879.58/882.33 c GARBAGE COLLECT
879.58/882.33 c #Conflicts: 247000 | #Constraints: 11245
879.58/882.33 c #Conflicts: 248000 | #Constraints: 12245
879.58/882.33 c #Conflicts: 249000 | #Constraints: 13245
879.58/882.33 c #Conflicts: 250000 | #Constraints: 14245
879.58/882.33 c #Conflicts: 251000 | #Constraints: 15245
879.58/882.33 c #Conflicts: 252000 | #Constraints: 16245
879.58/882.33 c #Conflicts: 253000 | #Constraints: 17245
879.58/882.33 c #Conflicts: 254000 | #Constraints: 18245
879.58/882.33 c #Conflicts: 255000 | #Constraints: 19245
879.58/882.33 c #Conflicts: 256000 | #Constraints: 20245
879.58/882.33 c INPROCESSING
879.58/882.33 c GARBAGE COLLECT
879.58/882.33 c #Conflicts: 257000 | #Constraints: 11248
879.58/882.33 c #Conflicts: 258000 | #Constraints: 12248
879.58/882.33 c #Conflicts: 259000 | #Constraints: 13248
879.58/882.33 c #Conflicts: 260000 | #Constraints: 14248
879.58/882.33 c #Conflicts: 261000 | #Constraints: 15248
879.58/882.33 c #Conflicts: 262000 | #Constraints: 16248
879.58/882.33 c #Conflicts: 263000 | #Constraints: 17248
879.58/882.33 c #Conflicts: 264000 | #Constraints: 18248
879.58/882.33 c #Conflicts: 265000 | #Constraints: 19248
879.58/882.33 c #Conflicts: 266000 | #Constraints: 20248
879.58/882.33 c INPROCESSING
879.58/882.33 c GARBAGE COLLECT
879.58/882.33 c #Conflicts: 267000 | #Constraints: 11044
879.58/882.33 c #Conflicts: 268000 | #Constraints: 12044
879.58/882.33 c #Conflicts: 269000 | #Constraints: 13044
879.58/882.33 c #Conflicts: 270000 | #Constraints: 14044
879.58/882.33 c #Conflicts: 271000 | #Constraints: 15044
879.58/882.33 c #Conflicts: 272000 | #Constraints: 16044
879.58/882.33 c #Conflicts: 273000 | #Constraints: 17044
879.58/882.33 c #Conflicts: 274000 | #Constraints: 18044
879.58/882.33 c #Conflicts: 275000 | #Constraints: 19044
879.58/882.33 c #Conflicts: 276000 | #Constraints: 20044
879.58/882.33 c #Conflicts: 277000 | #Constraints: 21044
879.58/882.33 c INPROCESSING
879.58/882.33 c GARBAGE COLLECT
879.58/882.33 c #Conflicts: 278000 | #Constraints: 11643
879.58/882.33 c #Conflicts: 279000 | #Constraints: 12643
879.58/882.33 c #Conflicts: 280000 | #Constraints: 13643
879.58/882.33 c #Conflicts: 281000 | #Constraints: 14643
879.58/882.33 c #Conflicts: 282000 | #Constraints: 15643
879.58/882.33 c #Conflicts: 283000 | #Constraints: 16643
879.58/882.33 c #Conflicts: 284000 | #Constraints: 17643
879.58/882.33 c #Conflicts: 285000 | #Constraints: 18643
879.58/882.33 c #Conflicts: 286000 | #Constraints: 19643
879.58/882.33 c #Conflicts: 287000 | #Constraints: 20643
1344.78/1348.87 c #Conflicts: 288000 | #Constraints: 21643
1344.78/1348.87 c INPROCESSING
1344.78/1348.87 c GARBAGE COLLECT
1344.78/1348.87 c #Conflicts: 289000 | #Constraints: 12041
1344.78/1348.87 c #Conflicts: 290000 | #Constraints: 13041
1344.78/1348.87 c #Conflicts: 291000 | #Constraints: 14041
1344.78/1348.87 c #Conflicts: 292000 | #Constraints: 15041
1344.78/1348.87 c #Conflicts: 293000 | #Constraints: 16041
1344.78/1348.87 c #Conflicts: 294000 | #Constraints: 17041
1344.78/1348.87 c #Conflicts: 295000 | #Constraints: 18041
1344.78/1348.87 c #Conflicts: 296000 | #Constraints: 19041
1344.78/1348.87 c #Conflicts: 297000 | #Constraints: 20041
1344.78/1348.87 c #Conflicts: 298000 | #Constraints: 21041
1344.78/1348.87 c #Conflicts: 299000 | #Constraints: 22041
1344.78/1348.87 c INPROCESSING
1344.78/1348.87 c GARBAGE COLLECT
1344.78/1348.87 c #Conflicts: 300000 | #Constraints: 12241
1344.78/1348.87 c #Conflicts: 301000 | #Constraints: 13241
1344.78/1348.87 c #Conflicts: 302000 | #Constraints: 14241
1344.78/1348.87 c #Conflicts: 303000 | #Constraints: 15241
1344.78/1348.87 c #Conflicts: 304000 | #Constraints: 16241
1344.78/1348.87 c #Conflicts: 305000 | #Constraints: 17241
1344.78/1348.87 c #Conflicts: 306000 | #Constraints: 18241
1344.78/1348.87 c #Conflicts: 307000 | #Constraints: 19241
1344.78/1348.87 c #Conflicts: 308000 | #Constraints: 20241
1344.78/1348.87 c #Conflicts: 309000 | #Constraints: 21241
1344.78/1348.87 c #Conflicts: 310000 | #Constraints: 22241
1344.78/1348.87 c INPROCESSING
1344.78/1348.87 c GARBAGE COLLECT
1344.78/1348.87 c #Conflicts: 311000 | #Constraints: 12245
1344.78/1348.87 c #Conflicts: 312000 | #Constraints: 13245
1344.78/1348.87 c #Conflicts: 313000 | #Constraints: 14245
1344.78/1348.87 c #Conflicts: 314000 | #Constraints: 15245
1344.78/1348.87 c #Conflicts: 315000 | #Constraints: 16245
1344.78/1348.87 c #Conflicts: 316000 | #Constraints: 17245
1344.78/1348.87 c #Conflicts: 317000 | #Constraints: 18245
1344.78/1348.87 c #Conflicts: 318000 | #Constraints: 19245
1344.78/1348.87 c #Conflicts: 319000 | #Constraints: 20245
1344.78/1348.87 c #Conflicts: 320000 | #Constraints: 21245
1344.78/1348.87 c #Conflicts: 321000 | #Constraints: 22245
1344.78/1348.87 c INPROCESSING
1344.78/1348.87 c GARBAGE COLLECT
1344.78/1348.87 c #Conflicts: 322000 | #Constraints: 12046
1344.78/1348.87 c #Conflicts: 323000 | #Constraints: 13046
1344.78/1348.87 c #Conflicts: 324000 | #Constraints: 14046
1344.78/1348.87 c #Conflicts: 325000 | #Constraints: 15046
1344.78/1348.87 c #Conflicts: 326000 | #Constraints: 16046
1344.78/1348.87 c #Conflicts: 327000 | #Constraints: 17046
1344.78/1348.87 c #Conflicts: 328000 | #Constraints: 18046
1344.78/1348.87 c #Conflicts: 329000 | #Constraints: 19046
1344.78/1348.87 c #Conflicts: 330000 | #Constraints: 20046
1344.78/1348.87 c #Conflicts: 331000 | #Constraints: 21046
1344.78/1348.87 c #Conflicts: 332000 | #Constraints: 22046
1344.78/1348.87 c #Conflicts: 333000 | #Constraints: 23046
1344.78/1348.87 c INPROCESSING
1344.78/1348.87 c GARBAGE COLLECT
1344.78/1348.87 c #Conflicts: 334000 | #Constraints: 12647
1344.78/1348.87 c #Conflicts: 335000 | #Constraints: 13647
1344.78/1348.87 c #Conflicts: 336000 | #Constraints: 14647
1344.78/1348.87 c #Conflicts: 337000 | #Constraints: 15647
1344.78/1348.87 c #Conflicts: 338000 | #Constraints: 16647
1344.78/1348.87 c #Conflicts: 339000 | #Constraints: 17647
1344.78/1348.87 c #Conflicts: 340000 | #Constraints: 18647
1344.78/1348.87 c #Conflicts: 341000 | #Constraints: 19647
1344.78/1348.87 c #Conflicts: 342000 | #Constraints: 20647
1344.78/1348.87 c #Conflicts: 343000 | #Constraints: 21647
1344.78/1348.87 c #Conflicts: 344000 | #Constraints: 22647
1344.78/1348.87 c #Conflicts: 345000 | #Constraints: 23647
1344.78/1348.87 c INPROCESSING
1344.78/1348.87 c GARBAGE COLLECT
1344.78/1348.87 c #Conflicts: 346000 | #Constraints: 13046
1344.78/1348.87 c #Conflicts: 347000 | #Constraints: 14046
1344.78/1348.87 c #Conflicts: 348000 | #Constraints: 15046
1344.78/1348.87 c #Conflicts: 349000 | #Constraints: 16046
1344.78/1348.87 c #Conflicts: 350000 | #Constraints: 17046
1344.78/1348.87 c #Conflicts: 351000 | #Constraints: 18046
1344.78/1348.87 c #Conflicts: 352000 | #Constraints: 19046
1344.78/1348.87 c #Conflicts: 353000 | #Constraints: 20046
1344.78/1348.87 c #Conflicts: 354000 | #Constraints: 21046
1344.78/1348.87 c #Conflicts: 355000 | #Constraints: 22046
1344.78/1348.87 c #Conflicts: 356000 | #Constraints: 23046
1344.78/1348.87 c #Conflicts: 357000 | #Constraints: 24046
1344.78/1348.87 c INPROCESSING
1344.78/1348.87 c GARBAGE COLLECT
1344.78/1348.87 c #Conflicts: 358000 | #Constraints: 13248
1344.78/1348.87 c #Conflicts: 359000 | #Constraints: 14248
1344.78/1348.87 c #Conflicts: 360000 | #Constraints: 15248
1344.78/1348.87 c #Conflicts: 361000 | #Constraints: 16248
1836.05/1841.49 c #Conflicts: 362000 | #Constraints: 17248
1836.05/1841.49 c #Conflicts: 363000 | #Constraints: 18248
1836.05/1841.49 c #Conflicts: 364000 | #Constraints: 19248
1836.05/1841.49 c #Conflicts: 365000 | #Constraints: 20248
1836.05/1841.49 c #Conflicts: 366000 | #Constraints: 21248
1836.05/1841.49 c #Conflicts: 367000 | #Constraints: 22248
1836.05/1841.49 c #Conflicts: 368000 | #Constraints: 23248
1836.05/1841.49 c #Conflicts: 369000 | #Constraints: 24248
1836.05/1841.49 c INPROCESSING
1836.05/1841.49 c GARBAGE COLLECT
1836.05/1841.49 c #Conflicts: 370000 | #Constraints: 13242
1836.05/1841.49 c #Conflicts: 371000 | #Constraints: 14242
1836.05/1841.49 c #Conflicts: 372000 | #Constraints: 15242
1836.05/1841.49 c #Conflicts: 373000 | #Constraints: 16242
1836.05/1841.49 c #Conflicts: 374000 | #Constraints: 17242
1836.05/1841.49 c #Conflicts: 375000 | #Constraints: 18242
1836.05/1841.49 c #Conflicts: 376000 | #Constraints: 19242
1836.05/1841.49 c #Conflicts: 377000 | #Constraints: 20242
1836.05/1841.49 c #Conflicts: 378000 | #Constraints: 21242
1836.05/1841.49 c #Conflicts: 379000 | #Constraints: 22242
1836.05/1841.49 c #Conflicts: 380000 | #Constraints: 23242
1836.05/1841.49 c #Conflicts: 381000 | #Constraints: 24242
1836.05/1841.49 c INPROCESSING
1836.05/1841.49 c GARBAGE COLLECT
1836.05/1841.49 c #Conflicts: 382000 | #Constraints: 13040
1836.05/1841.49 c #Conflicts: 383000 | #Constraints: 14040
1836.05/1841.49 c #Conflicts: 384000 | #Constraints: 15040
1836.05/1841.49 c #Conflicts: 385000 | #Constraints: 16040
1836.05/1841.49 c #Conflicts: 386000 | #Constraints: 17040
1836.05/1841.49 c #Conflicts: 387000 | #Constraints: 18040
1836.05/1841.49 c #Conflicts: 388000 | #Constraints: 19040
1836.05/1841.49 c #Conflicts: 389000 | #Constraints: 20040
1836.05/1841.49 c #Conflicts: 390000 | #Constraints: 21040
1836.05/1841.49 c #Conflicts: 391000 | #Constraints: 22040
1836.05/1841.49 c #Conflicts: 392000 | #Constraints: 23040
1836.05/1841.49 c #Conflicts: 393000 | #Constraints: 24040
1836.05/1841.49 c #Conflicts: 394000 | #Constraints: 25040
1836.05/1841.49 c INPROCESSING
1836.05/1841.49 c GARBAGE COLLECT
1836.05/1841.49 c #Conflicts: 395000 | #Constraints: 13644
1836.05/1841.49 c #Conflicts: 396000 | #Constraints: 14644
1836.05/1841.49 c #Conflicts: 397000 | #Constraints: 15644
1836.05/1841.49 c #Conflicts: 398000 | #Constraints: 16644
1836.05/1841.49 c #Conflicts: 399000 | #Constraints: 17644
1836.05/1841.49 c #Conflicts: 400000 | #Constraints: 18644
1836.05/1841.49 c #Conflicts: 401000 | #Constraints: 19644
1836.05/1841.49 c #Conflicts: 402000 | #Constraints: 20644
1836.05/1841.49 c #Conflicts: 403000 | #Constraints: 21644
1836.05/1841.49 c #Conflicts: 404000 | #Constraints: 22644
1836.05/1841.49 c #Conflicts: 405000 | #Constraints: 23644
1836.05/1841.49 c #Conflicts: 406000 | #Constraints: 24644
1836.05/1841.49 c #Conflicts: 407000 | #Constraints: 25644
1836.05/1841.49 c INPROCESSING
1836.05/1841.49 c GARBAGE COLLECT
1836.05/1841.49 c #Conflicts: 408000 | #Constraints: 14041
1836.05/1841.49 c #Conflicts: 409000 | #Constraints: 15041
1836.05/1841.49 c #Conflicts: 410000 | #Constraints: 16041
1836.05/1841.49 c #Conflicts: 411000 | #Constraints: 17041
1836.05/1841.49 c #Conflicts: 412000 | #Constraints: 18041
1836.05/1841.49 c #Conflicts: 413000 | #Constraints: 19041
1836.05/1841.49 c #Conflicts: 414000 | #Constraints: 20041
1836.05/1841.49 c #Conflicts: 415000 | #Constraints: 21041
1836.05/1841.49 c #Conflicts: 416000 | #Constraints: 22041
1836.05/1841.49 c #Conflicts: 417000 | #Constraints: 23041
1836.05/1841.49 c #Conflicts: 418000 | #Constraints: 24041
1836.05/1841.49 c #Conflicts: 419000 | #Constraints: 25041
1836.05/1841.49 c #Conflicts: 420000 | #Constraints: 26041
1836.05/1841.49 c INPROCESSING
1836.05/1841.49 c GARBAGE COLLECT
1836.05/1841.49 c #Conflicts: 421000 | #Constraints: 14254
1836.05/1841.49 c #Conflicts: 422000 | #Constraints: 15254
1836.05/1841.49 c #Conflicts: 423000 | #Constraints: 16254
1836.05/1841.49 c #Conflicts: 424000 | #Constraints: 17254
1836.05/1841.49 c #Conflicts: 425000 | #Constraints: 18254
1836.05/1841.49 c #Conflicts: 426000 | #Constraints: 19254
1836.05/1841.49 c #Conflicts: 427000 | #Constraints: 20254
1836.05/1841.49 c #Conflicts: 428000 | #Constraints: 21254
1836.05/1841.49 c #Conflicts: 429000 | #Constraints: 22254
1836.05/1841.49 c #Conflicts: 430000 | #Constraints: 23254
1836.05/1841.49 c #Conflicts: 431000 | #Constraints: 24254
1836.05/1841.49 c #Conflicts: 432000 | #Constraints: 25254
1836.05/1841.49 c #Conflicts: 433000 | #Constraints: 26254
1836.05/1841.49 c INPROCESSING
1836.05/1841.49 c GARBAGE COLLECT
1836.05/1841.49 c #Conflicts: 434000 | #Constraints: 14250
1836.05/1841.49 c #Conflicts: 435000 | #Constraints: 15250
1836.05/1841.49 c #Conflicts: 436000 | #Constraints: 16250
2734.53/2742.48 c #Conflicts: 437000 | #Constraints: 17250
2734.53/2742.48 c #Conflicts: 438000 | #Constraints: 18250
2734.53/2742.48 c #Conflicts: 439000 | #Constraints: 19250
2734.53/2742.48 c #Conflicts: 440000 | #Constraints: 20250
2734.53/2742.48 c #Conflicts: 441000 | #Constraints: 21250
2734.53/2742.48 c #Conflicts: 442000 | #Constraints: 22250
2734.53/2742.48 c #Conflicts: 443000 | #Constraints: 23250
2734.53/2742.48 c #Conflicts: 444000 | #Constraints: 24250
2734.53/2742.48 c #Conflicts: 445000 | #Constraints: 25250
2734.53/2742.48 c #Conflicts: 446000 | #Constraints: 26250
2734.53/2742.48 c INPROCESSING
2734.53/2742.48 c GARBAGE COLLECT
2734.53/2742.48 c #Conflicts: 447000 | #Constraints: 14053
2734.53/2742.48 c #Conflicts: 448000 | #Constraints: 15053
2734.53/2742.48 c #Conflicts: 449000 | #Constraints: 16053
2734.53/2742.48 c #Conflicts: 450000 | #Constraints: 17053
2734.53/2742.48 c #Conflicts: 451000 | #Constraints: 18053
2734.53/2742.48 c #Conflicts: 452000 | #Constraints: 19053
2734.53/2742.48 c #Conflicts: 453000 | #Constraints: 20053
2734.53/2742.48 c #Conflicts: 454000 | #Constraints: 21053
2734.53/2742.48 c #Conflicts: 455000 | #Constraints: 22053
2734.53/2742.48 c #Conflicts: 456000 | #Constraints: 23053
2734.53/2742.48 c #Conflicts: 457000 | #Constraints: 24053
2734.53/2742.48 c #Conflicts: 458000 | #Constraints: 25053
2734.53/2742.48 c #Conflicts: 459000 | #Constraints: 26053
2734.53/2742.48 c #Conflicts: 460000 | #Constraints: 27053
2734.53/2742.48 c INPROCESSING
2734.53/2742.48 c GARBAGE COLLECT
2734.53/2742.48 c #Conflicts: 461000 | #Constraints: 14658
2734.53/2742.48 c #Conflicts: 462000 | #Constraints: 15658
2734.53/2742.48 c #Conflicts: 463000 | #Constraints: 16658
2734.53/2742.48 c #Conflicts: 464000 | #Constraints: 17658
2734.53/2742.48 c #Conflicts: 465000 | #Constraints: 18658
2734.53/2742.48 c #Conflicts: 466000 | #Constraints: 19658
2734.53/2742.48 c #Conflicts: 467000 | #Constraints: 20658
2734.53/2742.48 c #Conflicts: 468000 | #Constraints: 21658
2734.53/2742.48 c #Conflicts: 469000 | #Constraints: 22658
2734.53/2742.48 c #Conflicts: 470000 | #Constraints: 23658
2734.53/2742.48 c #Conflicts: 471000 | #Constraints: 24658
2734.53/2742.48 c #Conflicts: 472000 | #Constraints: 25658
2734.53/2742.48 c #Conflicts: 473000 | #Constraints: 26658
2734.53/2742.48 c #Conflicts: 474000 | #Constraints: 27658
2734.53/2742.48 c INPROCESSING
2734.53/2742.48 c GARBAGE COLLECT
2734.53/2742.48 c #Conflicts: 475000 | #Constraints: 15050
2734.53/2742.48 c #Conflicts: 476000 | #Constraints: 16050
2734.53/2742.48 c #Conflicts: 477000 | #Constraints: 17050
2734.53/2742.48 c #Conflicts: 478000 | #Constraints: 18050
2734.53/2742.48 c #Conflicts: 479000 | #Constraints: 19050
2734.53/2742.48 c #Conflicts: 480000 | #Constraints: 20050
2734.53/2742.48 c #Conflicts: 481000 | #Constraints: 21050
2734.53/2742.48 c #Conflicts: 482000 | #Constraints: 22050
2734.53/2742.48 c #Conflicts: 483000 | #Constraints: 23050
2734.53/2742.48 c #Conflicts: 484000 | #Constraints: 24050
2734.53/2742.48 c #Conflicts: 485000 | #Constraints: 25050
2734.53/2742.48 c #Conflicts: 486000 | #Constraints: 26050
2734.53/2742.48 c #Conflicts: 487000 | #Constraints: 27050
2734.53/2742.48 c #Conflicts: 488000 | #Constraints: 28050
2734.53/2742.48 c INPROCESSING
2734.53/2742.48 c GARBAGE COLLECT
2734.53/2742.48 c #Conflicts: 489000 | #Constraints: 15251
2734.53/2742.48 c #Conflicts: 490000 | #Constraints: 16251
2734.53/2742.48 c #Conflicts: 491000 | #Constraints: 17251
2734.53/2742.48 c #Conflicts: 492000 | #Constraints: 18251
2734.53/2742.48 c #Conflicts: 493000 | #Constraints: 19251
2734.53/2742.48 c #Conflicts: 494000 | #Constraints: 20251
2734.53/2742.48 c #Conflicts: 495000 | #Constraints: 21251
2734.53/2742.48 c #Conflicts: 496000 | #Constraints: 22251
2734.53/2742.48 c #Conflicts: 497000 | #Constraints: 23251
2734.53/2742.48 c #Conflicts: 498000 | #Constraints: 24251
2734.53/2742.48 c #Conflicts: 499000 | #Constraints: 25251
2734.53/2742.48 c #Conflicts: 500000 | #Constraints: 26251
2734.53/2742.48 c #Conflicts: 501000 | #Constraints: 27251
2734.53/2742.48 c #Conflicts: 502000 | #Constraints: 28251
2734.53/2742.48 c INPROCESSING
2734.53/2742.48 c GARBAGE COLLECT
2734.53/2742.48 c #Conflicts: 503000 | #Constraints: 15254
2734.53/2742.48 c #Conflicts: 504000 | #Constraints: 16254
2734.53/2742.48 c #Conflicts: 505000 | #Constraints: 17254
2734.53/2742.48 c #Conflicts: 506000 | #Constraints: 18254
2734.53/2742.48 c #Conflicts: 507000 | #Constraints: 19254
2734.53/2742.48 c #Conflicts: 508000 | #Constraints: 20254
2734.53/2742.48 c #Conflicts: 509000 | #Constraints: 21254
2734.53/2742.48 c #Conflicts: 510000 | #Constraints: 22254
2734.53/2742.48 c #Conflicts: 511000 | #Constraints: 23254
2734.53/2742.48 c #Conflicts: 512000 | #Constraints: 24254
3410.49/3420.10 c #Conflicts: 513000 | #Constraints: 25254
3410.49/3420.10 c #Conflicts: 514000 | #Constraints: 26254
3410.49/3420.10 c #Conflicts: 515000 | #Constraints: 27254
3410.49/3420.10 c #Conflicts: 516000 | #Constraints: 28254
3410.49/3420.10 c INPROCESSING
3410.49/3420.10 c GARBAGE COLLECT
3410.49/3420.10 c #Conflicts: 517000 | #Constraints: 15046
3410.49/3420.10 c #Conflicts: 518000 | #Constraints: 16046
3410.49/3420.10 c #Conflicts: 519000 | #Constraints: 17046
3410.49/3420.10 c #Conflicts: 520000 | #Constraints: 18046
3410.49/3420.10 c #Conflicts: 521000 | #Constraints: 19046
3410.49/3420.10 c #Conflicts: 522000 | #Constraints: 20046
3410.49/3420.10 c #Conflicts: 523000 | #Constraints: 21046
3410.49/3420.10 c #Conflicts: 524000 | #Constraints: 22046
3410.49/3420.10 c #Conflicts: 525000 | #Constraints: 23046
3410.49/3420.10 c #Conflicts: 526000 | #Constraints: 24046
3410.49/3420.10 c #Conflicts: 527000 | #Constraints: 25046
3410.49/3420.10 c #Conflicts: 528000 | #Constraints: 26046
3410.49/3420.10 c #Conflicts: 529000 | #Constraints: 27046
3410.49/3420.10 c #Conflicts: 530000 | #Constraints: 28046
3410.49/3420.10 c #Conflicts: 531000 | #Constraints: 29046
3410.49/3420.10 c INPROCESSING
3410.49/3420.10 c GARBAGE COLLECT
3410.49/3420.10 c #Conflicts: 532000 | #Constraints: 15650
3410.49/3420.10 c #Conflicts: 533000 | #Constraints: 16650
3410.49/3420.10 c #Conflicts: 534000 | #Constraints: 17650
3410.49/3420.10 c #Conflicts: 535000 | #Constraints: 18650
3410.49/3420.10 c #Conflicts: 536000 | #Constraints: 19650
3410.49/3420.10 c #Conflicts: 537000 | #Constraints: 20650
3410.49/3420.10 c #Conflicts: 538000 | #Constraints: 21650
3410.49/3420.10 c #Conflicts: 539000 | #Constraints: 22650
3410.49/3420.10 c #Conflicts: 540000 | #Constraints: 23650
3410.49/3420.10 c #Conflicts: 541000 | #Constraints: 24650
3410.49/3420.10 c #Conflicts: 542000 | #Constraints: 25650
3410.49/3420.10 c #Conflicts: 543000 | #Constraints: 26650
3410.49/3420.10 c #Conflicts: 544000 | #Constraints: 27650
3410.49/3420.10 c #Conflicts: 545000 | #Constraints: 28650
3410.49/3420.10 c #Conflicts: 546000 | #Constraints: 29650
3410.49/3420.10 c INPROCESSING
3410.49/3420.10 c GARBAGE COLLECT
3410.49/3420.10 c #Conflicts: 547000 | #Constraints: 16055
3410.49/3420.10 c #Conflicts: 548000 | #Constraints: 17055
3410.49/3420.10 c #Conflicts: 549000 | #Constraints: 18055
3410.49/3420.10 c #Conflicts: 550000 | #Constraints: 19055
3410.49/3420.10 c #Conflicts: 551000 | #Constraints: 20055
3410.49/3420.10 c #Conflicts: 552000 | #Constraints: 21055
3410.49/3420.10 c #Conflicts: 553000 | #Constraints: 22055
3410.49/3420.10 c #Conflicts: 554000 | #Constraints: 23055
3410.49/3420.10 c #Conflicts: 555000 | #Constraints: 24055
3410.49/3420.10 c #Conflicts: 556000 | #Constraints: 25055
3410.49/3420.10 c #Conflicts: 557000 | #Constraints: 26055
3410.49/3420.10 c #Conflicts: 558000 | #Constraints: 27055
3410.49/3420.10 c #Conflicts: 559000 | #Constraints: 28055
3410.49/3420.10 c #Conflicts: 560000 | #Constraints: 29055
3410.49/3420.10 c #Conflicts: 561000 | #Constraints: 30055
3410.49/3420.10 c INPROCESSING
3410.49/3420.10 c GARBAGE COLLECT
3410.49/3420.10 c #Conflicts: 562000 | #Constraints: 16259
3410.49/3420.10 c #Conflicts: 563000 | #Constraints: 17259
3410.49/3420.10 c #Conflicts: 564000 | #Constraints: 18259
3410.49/3420.10 c #Conflicts: 565000 | #Constraints: 19259
3410.49/3420.10 c #Conflicts: 566000 | #Constraints: 20259
3410.49/3420.10 c #Conflicts: 567000 | #Constraints: 21259
3410.49/3420.10 c #Conflicts: 568000 | #Constraints: 22259
3410.49/3420.10 c #Conflicts: 569000 | #Constraints: 23259
3410.49/3420.10 c #Conflicts: 570000 | #Constraints: 24259
3410.49/3420.10 c #Conflicts: 571000 | #Constraints: 25259
3410.49/3420.10 c #Conflicts: 572000 | #Constraints: 26259
3410.49/3420.10 c #Conflicts: 573000 | #Constraints: 27259
3410.49/3420.10 c #Conflicts: 574000 | #Constraints: 28259
3410.49/3420.10 c #Conflicts: 575000 | #Constraints: 29259
3410.49/3420.10 c #Conflicts: 576000 | #Constraints: 30259
3410.49/3420.10 c INPROCESSING
3410.49/3420.10 c GARBAGE COLLECT
3410.49/3420.10 c #Conflicts: 577000 | #Constraints: 16253
3410.49/3420.10 c #Conflicts: 578000 | #Constraints: 17253
3410.49/3420.10 c #Conflicts: 579000 | #Constraints: 18253
3410.49/3420.10 c #Conflicts: 580000 | #Constraints: 19253
3410.49/3420.10 c #Conflicts: 581000 | #Constraints: 20253
3410.49/3420.10 c #Conflicts: 582000 | #Constraints: 21253
3410.49/3420.10 c #Conflicts: 583000 | #Constraints: 22253
3410.49/3420.10 c #Conflicts: 584000 | #Constraints: 23253
3410.49/3420.10 c #Conflicts: 585000 | #Constraints: 24253
3410.49/3420.10 c #Conflicts: 586000 | #Constraints: 25253
3410.49/3420.10 c #Conflicts: 587000 | #Constraints: 26253
3410.49/3420.10 c #Conflicts: 588000 | #Constraints: 27253
3600.08/3610.01 c #Conflicts: 589000 | #Constraints: 28253
3600.08/3610.01 c #Conflicts: 590000 | #Constraints: 29253
3600.08/3610.01 c #Conflicts: 591000 | #Constraints: 30253
3600.08/3610.01 c INPROCESSING
3600.08/3610.01 c GARBAGE COLLECT
3600.08/3610.01 c #Conflicts: 592000 | #Constraints: 16044
3600.08/3610.01 c #Conflicts: 593000 | #Constraints: 17044
3600.08/3610.01 c #Conflicts: 594000 | #Constraints: 18044
3600.08/3610.01 c #Conflicts: 595000 | #Constraints: 19044
3600.08/3610.01 c #Conflicts: 596000 | #Constraints: 20044
3600.08/3610.01 c #Conflicts: 597000 | #Constraints: 21044
3600.08/3610.01 c #Conflicts: 598000 | #Constraints: 22044
3600.08/3610.01 c #Conflicts: 599000 | #Constraints: 23044
3600.08/3610.01 c #Conflicts: 600000 | #Constraints: 24044
3600.08/3610.01 c #Conflicts: 601000 | #Constraints: 25044
3600.08/3610.01 c #Conflicts: 602000 | #Constraints: 26044
3600.08/3610.01 c #Conflicts: 603000 | #Constraints: 27044
3600.08/3610.01 c #Conflicts: 604000 | #Constraints: 28044
3600.08/3610.01 c #Conflicts: 605000 | #Constraints: 29044
3600.08/3610.01 c #Conflicts: 606000 | #Constraints: 30044
3600.08/3610.01 c #Conflicts: 607000 | #Constraints: 31044
3600.08/3610.01 c INPROCESSING
3600.08/3610.01 c GARBAGE COLLECT
3600.08/3610.01 c #Conflicts: 608000 | #Constraints: 16640
3600.08/3610.01 c #Conflicts: 609000 | #Constraints: 17640
3600.08/3610.01 c #Conflicts: 610000 | #Constraints: 18640
3600.08/3610.01 c Program interrupted by user.
3600.08/3610.01 c cpu time 3579.95 s
3600.08/3610.01 c deterministic time 478482780775 4.78e+11
3600.08/3610.01 c optimization time 10.9732 s
3600.08/3610.01 c total solve time 3568.96 s
3600.08/3610.01 c core-guided solve time 3568.96 s
3600.08/3610.01 c propagation time 3222.33 s
3600.08/3610.01 c conflict analysis time 264.371 s
3600.08/3610.01 c propagations 72589459
3600.08/3610.01 c resolve steps 3716453
3600.08/3610.01 c decisions 17125904
3600.08/3610.01 c conflicts 610055
3600.08/3610.01 c restarts 1277
3600.08/3610.01 c inprocessing phases 69
3600.08/3610.01 c input clauses 173
3600.08/3610.01 c input cardinalities 176
3600.08/3610.01 c input general constraints 67
3600.08/3610.01 c input average constraint length 53.85
3600.08/3610.01 c input average constraint degree 11066.13
3600.08/3610.01 c learned clauses 317
3600.08/3610.01 c learned cardinalities 0
3600.08/3610.01 c learned general constraints 609737
3600.08/3610.01 c learned average constraint length 1474.05
3600.08/3610.01 c learned average constraint degree 4506616.66
3600.08/3610.01 c watched constraints 279501
3600.08/3610.01 c counting constraints 330303
3600.08/3610.01 c gcd simplifications 881
3600.08/3610.01 c detected cardinalities 0
3600.08/3610.01 c weakened non-implied lits 21448019
3600.08/3610.01 c weakened non-implying lits 42215
3600.08/3610.01 c original variables 5568
3600.08/3610.01 c clausal propagations 2441320
3600.08/3610.01 c cardinality propagations 15580577
3600.08/3610.01 c watched propagations 3086612
3600.08/3610.01 c counting propagations 51339168
3600.08/3610.01 c watch lookups 51864557832
3600.08/3610.01 c watch backjump lookups 51226390179
3600.08/3610.01 c watch checks 269127750994
3600.08/3610.01 c propagation checks 104249090073
3600.08/3610.01 c constraint additions 1834956220
3600.08/3610.01 c trail pops 90320113
3600.08/3610.01 c formula constraints 412
3600.08/3610.01 c learned constraints 610054
3600.08/3610.01 c bound constraints 2
3600.08/3610.01 c core-guided constraints 2
3600.08/3610.01 c encountered formula constraints 2488729
3600.08/3610.01 c encountered learned constraints 1837493
3600.08/3610.01 c encountered bound constraints 4
3600.08/3610.01 c encountered core-guided constraints 282
3600.08/3610.01 c LP total time 0 s
3600.08/3610.01 c LP solve time 0 s
3600.08/3610.01 c LP constraints added 0
3600.08/3610.01 c LP constraints removed 0
3600.08/3610.01 c LP pivots internal 0
3600.08/3610.01 c LP pivots root 0
3600.08/3610.01 c LP calls 0
3600.08/3610.01 c LP optimalities 0
3600.08/3610.01 c LP no pivot count 0
3600.08/3610.01 c LP infeasibilities 0
3600.08/3610.01 c LP valid Farkas constraints 0
3600.08/3610.01 c LP learned Farkas constraints 0
3600.08/3610.01 c LP basis resets 0
3600.08/3610.01 c LP cycling count 0
3600.08/3610.01 c LP singular count 0
3600.08/3610.01 c LP no primal count 0
3600.08/3610.01 c LP no farkas count 0
3600.08/3610.01 c LP other issue count 0
3600.08/3610.01 c LP Gomory cuts 0
3600.08/3610.01 c LP learned cuts 0
3600.08/3610.01 c LP deleted cuts 0
3600.08/3610.01 c LP encountered Gomory constraints 0
3600.08/3610.01 c LP encountered Farkas constraints 0
3600.08/3610.01 c LP encountered learned Farkas constraints 0
3600.08/3610.01 c CG auxiliary variables introduced 1
3600.08/3610.01 c CG solutions found 1
3600.08/3610.01 c CG cores constructed 1
3600.08/3610.01 c CG core cardinality constraints returned 1
3600.08/3610.01 c CG unit cores 0
3600.08/3610.01 c CG single cores 1
3600.08/3610.01 c CG blocks removed during cardinality reduction 0
3600.08/3610.01 c CG first core best 0
3600.08/3610.01 c CG decision core best 0
3600.08/3610.01 c CG core reduction tie 0
3600.08/3610.01 c CG core degree average 15.00
3600.08/3610.01 c CG core slack average 17.00
3600.08/3610.01 c CG exhausted 0
3600.08/3610.01 c CG exhaust time 0.318579 s
3600.08/3610.01 c CG trimmed 0
3600.08/3610.01 c CG trim time 0.000371 s
3600.08/3610.01 c CG minimized 0
3600.08/3610.01 c CG minimize time 0 s
3600.08/3610.01 c CG am1 prop time 0.000992 s
3600.08/3610.01 c CG # am1s reformulated 0
3600.08/3610.01 c CG lower bound derived from am1s 0
3600.08/3610.01 c CG # clausal cores 0
3600.08/3610.01 c CG # cardinality cores 0
3600.08/3610.01 c CG # pb cores 1
3600.08/3610.01 c CG # pb reforms 0
3600.08/3610.01 c CG # cores discarded because of pb reform 0
3600.08/3610.01 d LOWERBOUND 15
3600.08/3610.01 d NCORES 1
3600.08/3610.01 d NPBCORES 1
3600.08/3610.01 d NPBREFORM 0
3600.08/3610.01 d NTRIMMED 0
3600.08/3610.01 d NEXHAUSTED 0
3600.08/3610.01 d NAM1S 0
3600.08/3610.01 d AM1LB 0
3600.08/3610.01 o 23
3600.08/3610.01 s SATISFIABLE
3600.08/3610.01 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
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: 64059 MiB (61850 MiB free)
memory of node 1: 64510 MiB (56921 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454602-1721478873/watcher-4454602-1721478873 -o /tmp/evaluation-result-4454602-1721478873/solver-4454602-1721478873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721471663-1051931 --watchdog 3760 pb-oll-rs HOME/instance-4454602-1721478873.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1056592, runsolver pid=1056589
[startup+0.100887 s]*
/proc/loadavg: 4.15 4.16 4.17 5/242 1056593
/proc/meminfo: memFree=121618388/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=40896 memory=8764 CPUtime=0.09 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 1003 0 0 0 9 0 0 0 20 0 1 0 200044251 41877504 2191 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 10224 2191 1378 291 0 1758 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40896 KiB
Current children cumulated memory: 8764 KiB
[startup+0.21268 s]*
/proc/loadavg: 4.15 4.16 4.17 5/242 1056593
/proc/meminfo: memFree=121614692/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=41060 memory=12128 CPUtime=0.21 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 1332 0 0 0 20 1 0 0 20 0 1 0 200044251 42045440 3032 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 10265 3032 1378 291 0 1799 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41060 KiB
Current children cumulated memory: 12128 KiB
[startup+0.312708 s]*
/proc/loadavg: 4.15 4.16 4.17 5/242 1056593
/proc/meminfo: memFree=121612952/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=45472 memory=16292 CPUtime=0.3 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 1904 0 0 0 28 2 0 0 20 0 1 0 200044251 46563328 4073 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 11368 4073 1378 291 0 2902 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45472 KiB
Current children cumulated memory: 16292 KiB
[startup+0.700297 s]
/proc/loadavg: 4.15 4.16 4.17 5/242 1056593
/proc/meminfo: memFree=121607768/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=52692 memory=22556 CPUtime=0.69 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 2948 0 0 0 65 4 0 0 20 0 1 0 200044251 53956608 5639 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 13173 5639 1378 291 0 4707 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52692 KiB
Current children cumulated memory: 22556 KiB
[startup+1.50029 s]
/proc/loadavg: 4.15 4.16 4.17 4/238 1056610
/proc/meminfo: memFree=121643456/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=64904 memory=31696 CPUtime=1.48 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 4681 0 0 0 143 5 0 0 20 0 1 0 200044251 66461696 7924 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 16226 7924 1440 291 0 7760 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64904 KiB
Current children cumulated memory: 31696 KiB
[startup+3.11253 s]
/proc/loadavg: 4.14 4.16 4.17 5/244 1056626
/proc/meminfo: memFree=121585296/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=84680 memory=44476 CPUtime=3.09 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 6872 0 0 0 299 10 0 0 20 0 1 0 200044251 86712320 11119 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 21170 11119 1440 291 0 12704 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 84680 KiB
Current children cumulated memory: 44476 KiB
[startup+6.3003 s]
/proc/loadavg: 4.14 4.16 4.17 5/244 1056628
/proc/meminfo: memFree=121538956/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=95920 memory=62744 CPUtime=6.27 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 9898 0 0 0 610 17 0 0 20 0 1 0 200044251 98222080 15686 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 23980 15686 1440 291 0 15514 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 95920 KiB
Current children cumulated memory: 62744 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.15 4.17 5/244 1056628
/proc/meminfo: memFree=121468168/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=128080 memory=83620 CPUtime=12.65 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 13593 0 0 0 1240 25 0 0 20 0 1 0 200044251 131153920 20905 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 32020 20905 1440 291 0 23554 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 128080 KiB
Current children cumulated memory: 83620 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.15 4.16 5/244 1056629
/proc/meminfo: memFree=121399132/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=148128 memory=113572 CPUtime=25.41 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 18513 0 0 0 2487 54 0 0 20 0 1 0 200044251 151683072 28393 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 37032 28393 1440 291 0 28566 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 148128 KiB
Current children cumulated memory: 113572 KiB
[startup+51.1125 s]
/proc/loadavg: 4.13 4.15 4.16 5/244 1056680
/proc/meminfo: memFree=121340048/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=225676 memory=176612 CPUtime=50.94 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 29229 0 0 0 5018 76 0 0 20 0 1 0 200044251 231092224 44153 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 56419 44153 1440 291 0 47953 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 225676 KiB
Current children cumulated memory: 176612 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/242 1056688
/proc/meminfo: memFree=121102444/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=254604 memory=206504 CPUtime=101.97 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 35705 0 0 0 10047 150 0 0 20 0 1 0 200044251 260714496 51626 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 63651 51626 1440 291 0 55185 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 254604 KiB
Current children cumulated memory: 206504 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/242 1056698
/proc/meminfo: memFree=120705212/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=354480 memory=286200 CPUtime=161.79 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 46432 0 0 0 15992 187 0 0 20 0 1 0 200044251 362987520 71550 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 88620 71550 1440 291 0 80154 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 354480 KiB
Current children cumulated memory: 286200 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/241 1056709
/proc/meminfo: memFree=120366576/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=427036 memory=348904 CPUtime=221.6 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 62133 0 0 0 21915 245 0 0 20 0 1 0 200044251 437284864 87226 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 106759 87226 1440 291 0 98293 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 427036 KiB
Current children cumulated memory: 348904 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/241 1056719
/proc/meminfo: memFree=120076948/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=427036 memory=351756 CPUtime=281.42 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 62425 0 0 0 27840 302 0 0 20 0 1 0 200044251 437284864 87939 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 106759 87939 1440 291 0 98293 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 427036 KiB
Current children cumulated memory: 351756 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/241 1056729
/proc/meminfo: memFree=119850764/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=428144 memory=357240 CPUtime=341.23 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 62809 0 0 0 33759 364 0 0 20 0 1 0 200044251 438419456 89310 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 107036 89310 1440 291 0 98570 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 428144 KiB
Current children cumulated memory: 357240 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/243 1056744
/proc/meminfo: memFree=119722188/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=435008 memory=367316 CPUtime=401.05 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 64353 0 0 0 39686 419 0 0 20 0 1 0 200044251 445448192 91829 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 108752 91829 1440 291 0 100286 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 435008 KiB
Current children cumulated memory: 367316 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/244 1056755
/proc/meminfo: memFree=119377876/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=521840 memory=386376 CPUtime=460.88 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 66096 0 0 0 45640 448 0 0 20 0 1 0 200044251 534364160 96594 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 130460 96594 1440 291 0 121994 0
################
# More data... #
################
Current children cumulated memory: 780476 KiB
[startup+2862.3 s]
/proc/loadavg: 2.11 2.30 2.78 3/230 1057822
/proc/meminfo: memFree=123804352/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=946780 memory=780736 CPUtime=2854.09 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 127607 0 0 0 283789 1620 0 0 20 0 1 0 200044251 969502720 195184 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 236695 195184 1440 291 0 228229 0
Current children cumulated CPU time: 2854.09 s
Current children cumulated vsize: 946780 KiB
Current children cumulated memory: 780736 KiB
[startup+2922.3 s]
/proc/loadavg: 2.16 2.28 2.74 3/229 1057832
/proc/meminfo: memFree=123804012/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=946780 memory=780736 CPUtime=2913.92 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 127818 0 0 0 289742 1650 0 0 20 0 1 0 200044251 969502720 195184 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 236695 195184 1440 291 0 228229 0
Current children cumulated CPU time: 2913.92 s
Current children cumulated vsize: 946780 KiB
Current children cumulated memory: 780736 KiB
[startup+2982.3 s]
/proc/loadavg: 2.12 2.24 2.70 3/229 1057843
/proc/meminfo: memFree=123803712/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=946780 memory=780736 CPUtime=2973.76 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 128091 0 0 0 295682 1694 0 0 20 0 1 0 200044251 969502720 195184 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 236695 195184 1440 291 0 228229 0
Current children cumulated CPU time: 2973.76 s
Current children cumulated vsize: 946780 KiB
Current children cumulated memory: 780736 KiB
[startup+3042.3 s]
/proc/loadavg: 2.09 2.21 2.66 3/229 1057854
/proc/meminfo: memFree=123791336/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=946780 memory=792792 CPUtime=3033.61 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 128252 0 0 0 301636 1725 0 0 20 0 1 0 200044251 969502720 198198 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 236695 198198 1440 291 0 228229 0
Current children cumulated CPU time: 3033.61 s
Current children cumulated vsize: 946780 KiB
Current children cumulated memory: 792792 KiB
[startup+3102.3 s]
/proc/loadavg: 2.14 2.20 2.63 3/229 1058248
/proc/meminfo: memFree=123744088/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=946780 memory=825292 CPUtime=3093.47 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 128607 0 0 0 307579 1768 0 0 20 0 1 0 200044251 969502720 206323 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 236695 206323 1440 291 0 228229 0
Current children cumulated CPU time: 3093.47 s
Current children cumulated vsize: 946780 KiB
Current children cumulated memory: 825292 KiB
[startup+3162.3 s]
/proc/loadavg: 2.10 2.18 2.59 3/229 1058258
/proc/meminfo: memFree=123724920/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=946780 memory=842740 CPUtime=3153.34 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 128902 0 0 0 313544 1790 0 0 20 0 1 0 200044251 969502720 210685 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 236695 210685 1440 291 0 228229 0
Current children cumulated CPU time: 3153.34 s
Current children cumulated vsize: 946780 KiB
Current children cumulated memory: 842740 KiB
[startup+3222.3 s]
/proc/loadavg: 2.14 2.17 2.56 3/229 1058269
/proc/meminfo: memFree=123724172/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=946960 memory=842924 CPUtime=3213.21 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 129377 0 0 0 319496 1825 0 0 20 0 1 0 200044251 969687040 210731 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 236740 210731 1440 291 0 228274 0
Current children cumulated CPU time: 3213.21 s
Current children cumulated vsize: 946960 KiB
Current children cumulated memory: 842924 KiB
[startup+3282.3 s]
/proc/loadavg: 2.08 2.15 2.53 3/230 1058448
/proc/meminfo: memFree=123723552/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=946960 memory=842924 CPUtime=3273.07 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 129753 0 0 0 325456 1851 0 0 20 0 1 0 200044251 969687040 210731 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 236740 210731 1440 291 0 228274 0
Current children cumulated CPU time: 3273.07 s
Current children cumulated vsize: 946960 KiB
Current children cumulated memory: 842924 KiB
[startup+3342.3 s]
/proc/loadavg: 2.07 2.14 2.50 3/230 1058458
/proc/meminfo: memFree=123723044/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=947220 memory=843176 CPUtime=3332.95 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 130249 0 0 0 331414 1881 0 0 20 0 1 0 200044251 969953280 210794 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 236805 210794 1440 291 0 228339 0
Current children cumulated CPU time: 3332.95 s
Current children cumulated vsize: 947220 KiB
Current children cumulated memory: 843176 KiB
[startup+3402.3 s]
/proc/loadavg: 2.13 2.14 2.48 3/231 1058527
/proc/meminfo: memFree=123721564/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=947220 memory=843176 CPUtime=3392.82 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 130610 0 0 0 337358 1924 0 0 20 0 1 0 200044251 969953280 210794 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 236805 210794 1440 291 0 228339 0
Current children cumulated CPU time: 3392.82 s
Current children cumulated vsize: 947220 KiB
Current children cumulated memory: 843176 KiB
[startup+3462.3 s]
/proc/loadavg: 2.10 2.13 2.45 3/231 1058537
/proc/meminfo: memFree=123721340/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=947220 memory=843180 CPUtime=3452.68 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 131040 0 0 0 343317 1951 0 0 20 0 1 0 200044251 969953280 210795 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 236805 210795 1440 291 0 228339 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 947220 KiB
Current children cumulated memory: 843180 KiB
[startup+3522.3 s]
/proc/loadavg: 2.12 2.12 2.42 3/231 1058547
/proc/meminfo: memFree=123720712/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=947220 memory=843180 CPUtime=3512.56 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 131408 0 0 0 349275 1981 0 0 20 0 1 0 200044251 969953280 210795 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 236805 210795 1440 291 0 228339 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 947220 KiB
Current children cumulated memory: 843180 KiB
[startup+3582.3 s]
/proc/loadavg: 2.18 2.13 2.41 3/230 1058558
/proc/meminfo: memFree=123719464/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=949148 memory=844136 CPUtime=3572.42 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 132090 0 0 0 355242 2000 0 0 20 0 1 0 200044251 971927552 211034 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 237287 211034 1440 291 0 228821 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 949148 KiB
Current children cumulated memory: 844136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 2.19 2.13 2.40 3/230 1058564
/proc/meminfo: memFree=123718316/131655788 swapFree=131071996/131071996
[pid=1056592] ppid=1056589 vsize=950680 memory=845292 CPUtime=3600.08 cores=4,6
/proc/1056592/stat : 1056592 (pb-oll-rs) R 1056589 1056592 1051920 0 -1 4194304 132499 0 0 0 357995 2013 0 0 20 0 1 0 200044251 973496320 211323 134679101440 4194304 5384485 140724493818464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11726848 140724493825045 140724493825122 140724493825122 140724493832139 0
/proc/1056592/statm: 237670 211323 1440 291 0 229204 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 950680 KiB
Current children cumulated memory: 845292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 1056592 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.96 s, system=20.1342 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.02
CPU time (s): 3600.09
CPU user time (s): 3579.96
CPU system time (s): 20.1342
CPU usage (%): 99.7251
Max. virtual memory (cumulated for all children) (KiB): 950920
Max. memory (cumulated for all children) (KiB): 845372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.96
system time used= 20.1342
maximum resident set size= 845372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132513
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= 121
involuntary context switches= 2735
# summary of solver processes directly reported to runsolver:
# pid: 1056592
# total CPU time (s): 3600.09
# total CPU user time (s): 3579.96
# total CPU system time (s): 20.1342
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3761 second user time and 33.2815 second system time
The end
Begin job on nodeC012 at 2024-07-20 14:34:45
IDJOB=4454602
IDBENCH=158621
IDSOLVER=3082
FILE ID=nodeC012/4454602-1721478873
RUNJOBID= nodeC012-1721471663-1051931
SLURM_JOB_ID= 7545738
Free space on /tmp= 723700 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454602-1721478873/watcher-4454602-1721478873 -o /tmp/evaluation-result-4454602-1721478873/solver-4454602-1721478873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721471663-1051931 --watchdog 3760 pb-oll-rs HOME/instance-4454602-1721478873.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=1533351787
nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3649.774
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
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 : 3650.171
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
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.485
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
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.386
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
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 : 3492.209
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
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 : 3650.342
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
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.325
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
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.439
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121622076 kB
MemAvailable: 124325896 kB
Buffers: 564736 kB
Cached: 2966068 kB
SwapCached: 0 kB
Active: 1207392 kB
Inactive: 8218084 kB
Active(anon): 1472 kB
Inactive(anon): 5939128 kB
Active(file): 1205920 kB
Inactive(file): 2278956 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 4944 kB
Writeback: 4 kB
AnonPages: 5894692 kB
Mapped: 110784 kB
Shmem: 45896 kB
KReclaimable: 117948 kB
Slab: 224608 kB
SReclaimable: 117948 kB
SUnreclaim: 106660 kB
KernelStack: 3868 kB
PageTables: 22296 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 7216060 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62656 kB
HardwareCorrupted: 0 kB
AnonHugePages: 935936 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 312136 kB
DirectMap2M: 33146880 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723772 MiB
End job on nodeC012 at 2024-07-20 15:34:56