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.02 c [STEP] solving
0.00/0.02 c #variables 4360 #constraints 8610
0.00/0.02 c SMALL=int, LARGE=long long
0.00/0.02 c bounds - >= 4081 @ 0.013075
0.00/0.02 c stratification level: 2098
0.00/0.02 c bounds 36089 >= 4081 @ 0.014132
0.00/0.02 c stratification level: 2095
0.00/0.07 c bounds 35903 >= 4081 @ 0.051889
0.00/0.07 c stratification level: 2089
77.02/77.24 c #Conflicts: 1000 | #Constraints: 9611
77.02/77.24 c #Conflicts: 2000 | #Constraints: 10611
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 3000 | #Constraints: 10623
77.02/77.24 c #Conflicts: 4000 | #Constraints: 11623
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 5000 | #Constraints: 11022
77.02/77.24 c #Conflicts: 6000 | #Constraints: 12022
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 7000 | #Constraints: 11022
77.02/77.24 c #Conflicts: 8000 | #Constraints: 12022
77.02/77.24 c #Conflicts: 9000 | #Constraints: 13022
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 10000 | #Constraints: 11721
77.02/77.24 c #Conflicts: 11000 | #Constraints: 12721
77.02/77.24 c #Conflicts: 12000 | #Constraints: 13721
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 13000 | #Constraints: 12171
77.02/77.24 c #Conflicts: 14000 | #Constraints: 13171
77.02/77.24 c #Conflicts: 15000 | #Constraints: 14171
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 16000 | #Constraints: 12399
77.02/77.24 c #Conflicts: 17000 | #Constraints: 13399
77.02/77.24 c #Conflicts: 18000 | #Constraints: 14399
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 19000 | #Constraints: 12416
77.02/77.24 c #Conflicts: 20000 | #Constraints: 13416
77.02/77.24 c #Conflicts: 21000 | #Constraints: 14416
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 22000 | #Constraints: 12245
77.02/77.24 c #Conflicts: 23000 | #Constraints: 13245
77.02/77.24 c #Conflicts: 24000 | #Constraints: 14245
77.02/77.24 c #Conflicts: 25000 | #Constraints: 15245
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 26000 | #Constraints: 12840
77.02/77.24 c #Conflicts: 27000 | #Constraints: 13840
77.02/77.24 c #Conflicts: 28000 | #Constraints: 14840
77.02/77.24 c #Conflicts: 29000 | #Constraints: 15840
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 30000 | #Constraints: 13231
77.02/77.24 c #Conflicts: 31000 | #Constraints: 14231
77.02/77.24 c #Conflicts: 32000 | #Constraints: 15231
77.02/77.24 c #Conflicts: 33000 | #Constraints: 16231
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 34000 | #Constraints: 13433
77.02/77.24 c #Conflicts: 35000 | #Constraints: 14433
77.02/77.24 c #Conflicts: 36000 | #Constraints: 15433
77.02/77.24 c #Conflicts: 37000 | #Constraints: 16433
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 38000 | #Constraints: 13431
77.02/77.24 c #Conflicts: 39000 | #Constraints: 14431
77.02/77.24 c #Conflicts: 40000 | #Constraints: 15431
77.02/77.24 c #Conflicts: 41000 | #Constraints: 16431
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 42000 | #Constraints: 13248
77.02/77.24 c #Conflicts: 43000 | #Constraints: 14248
77.02/77.24 c #Conflicts: 44000 | #Constraints: 15248
77.02/77.24 c #Conflicts: 45000 | #Constraints: 16248
77.02/77.24 c #Conflicts: 46000 | #Constraints: 17248
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 47000 | #Constraints: 13848
77.02/77.24 c #Conflicts: 48000 | #Constraints: 14848
77.02/77.24 c #Conflicts: 49000 | #Constraints: 15848
77.02/77.24 c #Conflicts: 50000 | #Constraints: 16848
77.02/77.24 c #Conflicts: 51000 | #Constraints: 17848
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 52000 | #Constraints: 14237
77.02/77.24 c #Conflicts: 53000 | #Constraints: 15237
77.02/77.24 c #Conflicts: 54000 | #Constraints: 16237
77.02/77.24 c #Conflicts: 55000 | #Constraints: 17237
77.02/77.24 c #Conflicts: 56000 | #Constraints: 18237
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 57000 | #Constraints: 14438
77.02/77.24 c #Conflicts: 58000 | #Constraints: 15438
77.02/77.24 c #Conflicts: 59000 | #Constraints: 16438
77.02/77.24 c #Conflicts: 60000 | #Constraints: 17438
77.02/77.24 c #Conflicts: 61000 | #Constraints: 18438
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 62000 | #Constraints: 14437
77.02/77.24 c #Conflicts: 63000 | #Constraints: 15437
77.02/77.24 c #Conflicts: 64000 | #Constraints: 16437
77.02/77.24 c #Conflicts: 65000 | #Constraints: 17437
77.02/77.24 c #Conflicts: 66000 | #Constraints: 18437
77.02/77.24 c INPROCESSING
77.02/77.24 c GARBAGE COLLECT
77.02/77.24 c #Conflicts: 67000 | #Constraints: 14242
77.02/77.24 c #Conflicts: 68000 | #Constraints: 15242
199.14/199.68 c #Conflicts: 69000 | #Constraints: 16242
199.14/199.68 c #Conflicts: 70000 | #Constraints: 17242
199.14/199.68 c #Conflicts: 71000 | #Constraints: 18242
199.14/199.68 c #Conflicts: 72000 | #Constraints: 19242
199.14/199.68 c INPROCESSING
199.14/199.68 c GARBAGE COLLECT
199.14/199.68 c #Conflicts: 73000 | #Constraints: 14837
199.14/199.68 c #Conflicts: 74000 | #Constraints: 15837
199.14/199.68 c #Conflicts: 75000 | #Constraints: 16837
199.14/199.68 c #Conflicts: 76000 | #Constraints: 17837
199.14/199.68 c #Conflicts: 77000 | #Constraints: 18837
199.14/199.68 c #Conflicts: 78000 | #Constraints: 19837
199.14/199.68 c INPROCESSING
199.14/199.68 c GARBAGE COLLECT
199.14/199.68 c #Conflicts: 79000 | #Constraints: 15229
199.14/199.68 c #Conflicts: 80000 | #Constraints: 16229
199.14/199.68 c #Conflicts: 81000 | #Constraints: 17229
199.14/199.68 c #Conflicts: 82000 | #Constraints: 18229
199.14/199.68 c #Conflicts: 83000 | #Constraints: 19229
199.14/199.68 c #Conflicts: 84000 | #Constraints: 20229
199.14/199.68 c INPROCESSING
199.14/199.68 c GARBAGE COLLECT
199.14/199.68 c #Conflicts: 85000 | #Constraints: 15426
199.14/199.68 c #Conflicts: 86000 | #Constraints: 16426
199.14/199.68 c #Conflicts: 87000 | #Constraints: 17426
199.14/199.68 c #Conflicts: 88000 | #Constraints: 18426
199.14/199.68 c #Conflicts: 89000 | #Constraints: 19426
199.14/199.68 c #Conflicts: 90000 | #Constraints: 20426
199.14/199.68 c INPROCESSING
199.14/199.68 c GARBAGE COLLECT
199.14/199.68 c #Conflicts: 91000 | #Constraints: 15425
199.14/199.68 c #Conflicts: 92000 | #Constraints: 16425
199.14/199.68 c #Conflicts: 93000 | #Constraints: 17425
199.14/199.68 c #Conflicts: 94000 | #Constraints: 18425
199.14/199.68 c #Conflicts: 95000 | #Constraints: 19425
199.14/199.68 c #Conflicts: 96000 | #Constraints: 20425
199.14/199.68 c INPROCESSING
199.14/199.68 c GARBAGE COLLECT
199.14/199.68 c #Conflicts: 97000 | #Constraints: 15238
199.14/199.68 c #Conflicts: 98000 | #Constraints: 16238
199.14/199.68 c #Conflicts: 99000 | #Constraints: 17238
199.14/199.68 c #Conflicts: 100000 | #Constraints: 18238
199.14/199.68 c #Conflicts: 101000 | #Constraints: 19238
199.14/199.68 c #Conflicts: 102000 | #Constraints: 20238
199.14/199.68 c #Conflicts: 103000 | #Constraints: 21238
199.14/199.68 c INPROCESSING
199.14/199.68 c GARBAGE COLLECT
199.14/199.68 c #Conflicts: 104000 | #Constraints: 15832
199.14/199.68 c #Conflicts: 105000 | #Constraints: 16832
199.14/199.68 c #Conflicts: 106000 | #Constraints: 17832
199.14/199.68 c #Conflicts: 107000 | #Constraints: 18832
199.14/199.68 c #Conflicts: 108000 | #Constraints: 19832
199.14/199.68 c #Conflicts: 109000 | #Constraints: 20832
199.14/199.68 c #Conflicts: 110000 | #Constraints: 21832
199.14/199.68 c INPROCESSING
199.14/199.68 c GARBAGE COLLECT
199.14/199.68 c #Conflicts: 111000 | #Constraints: 16234
199.14/199.68 c #Conflicts: 112000 | #Constraints: 17234
199.14/199.68 c #Conflicts: 113000 | #Constraints: 18234
199.14/199.68 c #Conflicts: 114000 | #Constraints: 19234
199.14/199.68 c #Conflicts: 115000 | #Constraints: 20234
199.14/199.68 c #Conflicts: 116000 | #Constraints: 21234
199.14/199.68 c #Conflicts: 117000 | #Constraints: 22234
199.14/199.68 c INPROCESSING
199.14/199.68 c GARBAGE COLLECT
199.14/199.68 c #Conflicts: 118000 | #Constraints: 16431
199.14/199.68 c #Conflicts: 119000 | #Constraints: 17431
199.14/199.68 c #Conflicts: 120000 | #Constraints: 18431
199.14/199.68 c #Conflicts: 121000 | #Constraints: 19431
199.14/199.68 c #Conflicts: 122000 | #Constraints: 20431
199.14/199.68 c #Conflicts: 123000 | #Constraints: 21431
199.14/199.68 c #Conflicts: 124000 | #Constraints: 22431
199.14/199.68 c INPROCESSING
199.14/199.68 c GARBAGE COLLECT
199.14/199.68 c #Conflicts: 125000 | #Constraints: 16432
199.14/199.68 c #Conflicts: 126000 | #Constraints: 17432
199.14/199.68 c #Conflicts: 127000 | #Constraints: 18432
199.14/199.68 c #Conflicts: 128000 | #Constraints: 19432
199.14/199.68 c #Conflicts: 129000 | #Constraints: 20432
199.14/199.68 c #Conflicts: 130000 | #Constraints: 21432
199.14/199.68 c #Conflicts: 131000 | #Constraints: 22432
199.14/199.68 c INPROCESSING
199.14/199.68 c GARBAGE COLLECT
199.14/199.68 c #Conflicts: 132000 | #Constraints: 16257
199.14/199.68 c #Conflicts: 133000 | #Constraints: 17257
199.14/199.68 c #Conflicts: 134000 | #Constraints: 18257
199.14/199.68 c #Conflicts: 135000 | #Constraints: 19257
199.14/199.68 c #Conflicts: 136000 | #Constraints: 20257
199.14/199.68 c #Conflicts: 137000 | #Constraints: 21257
199.14/199.68 c #Conflicts: 138000 | #Constraints: 22257
199.14/199.68 c #Conflicts: 139000 | #Constraints: 23257
199.14/199.68 c INPROCESSING
199.14/199.68 c GARBAGE COLLECT
199.14/199.68 c #Conflicts: 140000 | #Constraints: 16865
339.33/340.12 c #Conflicts: 141000 | #Constraints: 17865
339.33/340.12 c #Conflicts: 142000 | #Constraints: 18865
339.33/340.12 c #Conflicts: 143000 | #Constraints: 19865
339.33/340.12 c #Conflicts: 144000 | #Constraints: 20865
339.33/340.12 c #Conflicts: 145000 | #Constraints: 21865
339.33/340.12 c #Conflicts: 146000 | #Constraints: 22865
339.33/340.12 c #Conflicts: 147000 | #Constraints: 23865
339.33/340.12 c INPROCESSING
339.33/340.12 c GARBAGE COLLECT
339.33/340.12 c #Conflicts: 148000 | #Constraints: 17282
339.33/340.12 c #Conflicts: 149000 | #Constraints: 18282
339.33/340.12 c #Conflicts: 150000 | #Constraints: 19282
339.33/340.12 c #Conflicts: 151000 | #Constraints: 20282
339.33/340.12 c #Conflicts: 152000 | #Constraints: 21282
339.33/340.12 c #Conflicts: 153000 | #Constraints: 22282
339.33/340.12 c #Conflicts: 154000 | #Constraints: 23282
339.33/340.12 c #Conflicts: 155000 | #Constraints: 24282
339.33/340.12 c INPROCESSING
339.33/340.12 c GARBAGE COLLECT
339.33/340.12 c #Conflicts: 156000 | #Constraints: 17468
339.33/340.12 c #Conflicts: 157000 | #Constraints: 18468
339.33/340.12 c #Conflicts: 158000 | #Constraints: 19468
339.33/340.12 c #Conflicts: 159000 | #Constraints: 20468
339.33/340.12 c #Conflicts: 160000 | #Constraints: 21468
339.33/340.12 c #Conflicts: 161000 | #Constraints: 22468
339.33/340.12 c #Conflicts: 162000 | #Constraints: 23468
339.33/340.12 c #Conflicts: 163000 | #Constraints: 24468
339.33/340.12 c INPROCESSING
339.33/340.12 c GARBAGE COLLECT
339.33/340.12 c #Conflicts: 164000 | #Constraints: 17560
339.33/340.12 c #Conflicts: 165000 | #Constraints: 18560
339.33/340.12 c #Conflicts: 166000 | #Constraints: 19560
339.33/340.12 c #Conflicts: 167000 | #Constraints: 20560
339.33/340.12 c #Conflicts: 168000 | #Constraints: 21560
339.33/340.12 c #Conflicts: 169000 | #Constraints: 22560
339.33/340.12 c #Conflicts: 170000 | #Constraints: 23560
339.33/340.12 c #Conflicts: 171000 | #Constraints: 24560
339.33/340.12 c INPROCESSING
339.33/340.12 c GARBAGE COLLECT
339.33/340.12 c #Conflicts: 172000 | #Constraints: 17308
339.33/340.12 c #Conflicts: 173000 | #Constraints: 18308
339.33/340.12 c #Conflicts: 174000 | #Constraints: 19308
339.33/340.12 c #Conflicts: 175000 | #Constraints: 20308
339.33/340.12 c #Conflicts: 176000 | #Constraints: 21308
339.33/340.12 c #Conflicts: 177000 | #Constraints: 22308
339.33/340.12 c #Conflicts: 178000 | #Constraints: 23308
339.33/340.12 c #Conflicts: 179000 | #Constraints: 24308
339.33/340.12 c #Conflicts: 180000 | #Constraints: 25308
339.33/340.12 c INPROCESSING
339.33/340.12 c GARBAGE COLLECT
339.33/340.12 c #Conflicts: 181000 | #Constraints: 17876
339.33/340.12 c #Conflicts: 182000 | #Constraints: 18876
339.33/340.12 c #Conflicts: 183000 | #Constraints: 19876
339.33/340.12 c #Conflicts: 184000 | #Constraints: 20876
339.33/340.12 c #Conflicts: 185000 | #Constraints: 21876
339.33/340.12 c #Conflicts: 186000 | #Constraints: 22876
339.33/340.12 c #Conflicts: 187000 | #Constraints: 23876
339.33/340.12 c #Conflicts: 188000 | #Constraints: 24876
339.33/340.12 c #Conflicts: 189000 | #Constraints: 25876
339.33/340.12 c INPROCESSING
339.33/340.12 c GARBAGE COLLECT
339.33/340.12 c #Conflicts: 190000 | #Constraints: 18279
339.33/340.12 c #Conflicts: 191000 | #Constraints: 19279
339.33/340.12 c #Conflicts: 192000 | #Constraints: 20279
339.33/340.12 c #Conflicts: 193000 | #Constraints: 21279
339.33/340.12 c #Conflicts: 194000 | #Constraints: 22279
339.33/340.12 c #Conflicts: 195000 | #Constraints: 23279
339.33/340.12 c #Conflicts: 196000 | #Constraints: 24279
339.33/340.12 c #Conflicts: 197000 | #Constraints: 25279
339.33/340.12 c #Conflicts: 198000 | #Constraints: 26279
339.33/340.12 c INPROCESSING
339.33/340.12 c GARBAGE COLLECT
339.33/340.12 c #Conflicts: 199000 | #Constraints: 18483
339.33/340.12 c #Conflicts: 200000 | #Constraints: 19483
339.33/340.12 c #Conflicts: 201000 | #Constraints: 20483
339.33/340.12 c #Conflicts: 202000 | #Constraints: 21483
339.33/340.12 c #Conflicts: 203000 | #Constraints: 22483
339.33/340.12 c #Conflicts: 204000 | #Constraints: 23483
339.33/340.12 c #Conflicts: 205000 | #Constraints: 24483
339.33/340.12 c #Conflicts: 206000 | #Constraints: 25483
339.33/340.12 c #Conflicts: 207000 | #Constraints: 26483
339.33/340.12 c INPROCESSING
339.33/340.12 c GARBAGE COLLECT
339.33/340.12 c #Conflicts: 208000 | #Constraints: 18528
339.33/340.12 c #Conflicts: 209000 | #Constraints: 19528
339.33/340.12 c #Conflicts: 210000 | #Constraints: 20528
339.33/340.12 c #Conflicts: 211000 | #Constraints: 21528
339.33/340.12 c #Conflicts: 212000 | #Constraints: 22528
339.33/340.12 c #Conflicts: 213000 | #Constraints: 23528
620.29/621.76 c #Conflicts: 214000 | #Constraints: 24528
620.29/621.76 c #Conflicts: 215000 | #Constraints: 25528
620.29/621.76 c #Conflicts: 216000 | #Constraints: 26528
620.29/621.76 c INPROCESSING
620.29/621.76 c GARBAGE COLLECT
620.29/621.76 c #Conflicts: 217000 | #Constraints: 18302
620.29/621.76 c #Conflicts: 218000 | #Constraints: 19302
620.29/621.76 c #Conflicts: 219000 | #Constraints: 20302
620.29/621.76 c #Conflicts: 220000 | #Constraints: 21302
620.29/621.76 c #Conflicts: 221000 | #Constraints: 22302
620.29/621.76 c #Conflicts: 222000 | #Constraints: 23302
620.29/621.76 c #Conflicts: 223000 | #Constraints: 24302
620.29/621.76 c #Conflicts: 224000 | #Constraints: 25302
620.29/621.76 c #Conflicts: 225000 | #Constraints: 26302
620.29/621.76 c #Conflicts: 226000 | #Constraints: 27302
620.29/621.76 c INPROCESSING
620.29/621.76 c GARBAGE COLLECT
620.29/621.76 c #Conflicts: 227000 | #Constraints: 18893
620.29/621.76 c #Conflicts: 228000 | #Constraints: 19893
620.29/621.76 c #Conflicts: 229000 | #Constraints: 20893
620.29/621.76 c #Conflicts: 230000 | #Constraints: 21893
620.29/621.76 c #Conflicts: 231000 | #Constraints: 22893
620.29/621.76 c #Conflicts: 232000 | #Constraints: 23893
620.29/621.76 c #Conflicts: 233000 | #Constraints: 24893
620.29/621.76 c #Conflicts: 234000 | #Constraints: 25893
620.29/621.76 c #Conflicts: 235000 | #Constraints: 26893
620.29/621.76 c #Conflicts: 236000 | #Constraints: 27893
620.29/621.76 c INPROCESSING
620.29/621.76 c GARBAGE COLLECT
620.29/621.76 c #Conflicts: 237000 | #Constraints: 19271
620.29/621.76 c #Conflicts: 238000 | #Constraints: 20271
620.29/621.76 c #Conflicts: 239000 | #Constraints: 21271
620.29/621.76 c #Conflicts: 240000 | #Constraints: 22271
620.29/621.76 c #Conflicts: 241000 | #Constraints: 23271
620.29/621.76 c #Conflicts: 242000 | #Constraints: 24271
620.29/621.76 c #Conflicts: 243000 | #Constraints: 25271
620.29/621.76 c #Conflicts: 244000 | #Constraints: 26271
620.29/621.76 c #Conflicts: 245000 | #Constraints: 27271
620.29/621.76 c #Conflicts: 246000 | #Constraints: 28271
620.29/621.76 c INPROCESSING
620.29/621.76 c GARBAGE COLLECT
620.29/621.76 c #Conflicts: 247000 | #Constraints: 19510
620.29/621.76 c #Conflicts: 248000 | #Constraints: 20510
620.29/621.76 c #Conflicts: 249000 | #Constraints: 21510
620.29/621.76 c #Conflicts: 250000 | #Constraints: 22510
620.29/621.76 c #Conflicts: 251000 | #Constraints: 23510
620.29/621.76 c #Conflicts: 252000 | #Constraints: 24510
620.29/621.76 c #Conflicts: 253000 | #Constraints: 25510
620.29/621.76 c #Conflicts: 254000 | #Constraints: 26510
620.29/621.76 c #Conflicts: 255000 | #Constraints: 27510
620.29/621.76 c #Conflicts: 256000 | #Constraints: 28510
620.29/621.76 c INPROCESSING
620.29/621.76 c GARBAGE COLLECT
620.29/621.76 c #Conflicts: 257000 | #Constraints: 19479
620.29/621.76 c #Conflicts: 258000 | #Constraints: 20479
620.29/621.76 c #Conflicts: 259000 | #Constraints: 21479
620.29/621.76 c #Conflicts: 260000 | #Constraints: 22479
620.29/621.76 c #Conflicts: 261000 | #Constraints: 23479
620.29/621.76 c #Conflicts: 262000 | #Constraints: 24479
620.29/621.76 c #Conflicts: 263000 | #Constraints: 25479
620.29/621.76 c #Conflicts: 264000 | #Constraints: 26479
620.29/621.76 c #Conflicts: 265000 | #Constraints: 27479
620.29/621.76 c #Conflicts: 266000 | #Constraints: 28479
620.29/621.76 c INPROCESSING
620.29/621.76 c GARBAGE COLLECT
620.29/621.76 c #Conflicts: 267000 | #Constraints: 19371
620.29/621.76 c #Conflicts: 268000 | #Constraints: 20371
620.29/621.76 c #Conflicts: 269000 | #Constraints: 21371
620.29/621.76 c #Conflicts: 270000 | #Constraints: 22371
620.29/621.76 c #Conflicts: 271000 | #Constraints: 23371
620.29/621.76 c #Conflicts: 272000 | #Constraints: 24371
620.29/621.76 c #Conflicts: 273000 | #Constraints: 25371
620.29/621.76 c #Conflicts: 274000 | #Constraints: 26371
620.29/621.76 c #Conflicts: 275000 | #Constraints: 27371
620.29/621.76 c #Conflicts: 276000 | #Constraints: 28371
620.29/621.76 c #Conflicts: 277000 | #Constraints: 29371
620.29/621.76 c INPROCESSING
620.29/621.76 c GARBAGE COLLECT
620.29/621.76 c #Conflicts: 278000 | #Constraints: 19905
620.29/621.76 c #Conflicts: 279000 | #Constraints: 20905
620.29/621.76 c #Conflicts: 280000 | #Constraints: 21905
620.29/621.76 c #Conflicts: 281000 | #Constraints: 22905
620.29/621.76 c #Conflicts: 282000 | #Constraints: 23905
620.29/621.76 c #Conflicts: 283000 | #Constraints: 24905
620.29/621.76 c #Conflicts: 284000 | #Constraints: 25905
620.29/621.76 c #Conflicts: 285000 | #Constraints: 26905
620.29/621.76 c #Conflicts: 286000 | #Constraints: 27905
620.29/621.76 c #Conflicts: 287000 | #Constraints: 28905
620.29/621.76 c #Conflicts: 288000 | #Constraints: 29905
841.38/843.39 c INPROCESSING
841.38/843.39 c GARBAGE COLLECT
841.38/843.39 c #Conflicts: 289000 | #Constraints: 20276
841.38/843.39 c #Conflicts: 290000 | #Constraints: 21276
841.38/843.39 c #Conflicts: 291000 | #Constraints: 22276
841.38/843.39 c #Conflicts: 292000 | #Constraints: 23276
841.38/843.39 c #Conflicts: 293000 | #Constraints: 24276
841.38/843.39 c #Conflicts: 294000 | #Constraints: 25276
841.38/843.39 c #Conflicts: 295000 | #Constraints: 26276
841.38/843.39 c #Conflicts: 296000 | #Constraints: 27276
841.38/843.39 c #Conflicts: 297000 | #Constraints: 28276
841.38/843.39 c #Conflicts: 298000 | #Constraints: 29276
841.38/843.39 c #Conflicts: 299000 | #Constraints: 30276
841.38/843.39 c INPROCESSING
841.38/843.39 c GARBAGE COLLECT
841.38/843.39 c #Conflicts: 300000 | #Constraints: 20478
841.38/843.39 c #Conflicts: 301000 | #Constraints: 21478
841.38/843.39 c #Conflicts: 302000 | #Constraints: 22478
841.38/843.39 c #Conflicts: 303000 | #Constraints: 23478
841.38/843.39 c #Conflicts: 304000 | #Constraints: 24478
841.38/843.39 c #Conflicts: 305000 | #Constraints: 25478
841.38/843.39 c #Conflicts: 306000 | #Constraints: 26478
841.38/843.39 c #Conflicts: 307000 | #Constraints: 27478
841.38/843.39 c #Conflicts: 308000 | #Constraints: 28478
841.38/843.39 c #Conflicts: 309000 | #Constraints: 29478
841.38/843.39 c #Conflicts: 310000 | #Constraints: 30478
841.38/843.39 c INPROCESSING
841.38/843.39 c GARBAGE COLLECT
841.38/843.39 c #Conflicts: 311000 | #Constraints: 20462
841.38/843.39 c #Conflicts: 312000 | #Constraints: 21462
841.38/843.39 c #Conflicts: 313000 | #Constraints: 22462
841.38/843.39 c #Conflicts: 314000 | #Constraints: 23462
841.38/843.39 c #Conflicts: 315000 | #Constraints: 24462
841.38/843.39 c #Conflicts: 316000 | #Constraints: 25462
841.38/843.39 c #Conflicts: 317000 | #Constraints: 26462
841.38/843.39 c #Conflicts: 318000 | #Constraints: 27462
841.38/843.39 c #Conflicts: 319000 | #Constraints: 28462
841.38/843.39 c #Conflicts: 320000 | #Constraints: 29462
841.38/843.39 c #Conflicts: 321000 | #Constraints: 30462
841.38/843.39 c INPROCESSING
841.38/843.39 c GARBAGE COLLECT
841.38/843.39 c #Conflicts: 322000 | #Constraints: 20304
841.38/843.39 c #Conflicts: 323000 | #Constraints: 21304
841.38/843.39 c #Conflicts: 324000 | #Constraints: 22304
841.38/843.39 c #Conflicts: 325000 | #Constraints: 23304
841.38/843.39 c #Conflicts: 326000 | #Constraints: 24304
841.38/843.39 c #Conflicts: 327000 | #Constraints: 25304
841.38/843.39 c #Conflicts: 328000 | #Constraints: 26304
841.38/843.39 c #Conflicts: 329000 | #Constraints: 27304
841.38/843.39 c #Conflicts: 330000 | #Constraints: 28304
841.38/843.39 c #Conflicts: 331000 | #Constraints: 29304
841.38/843.39 c #Conflicts: 332000 | #Constraints: 30304
841.38/843.39 c #Conflicts: 333000 | #Constraints: 31304
841.38/843.39 c INPROCESSING
841.38/843.39 c GARBAGE COLLECT
841.38/843.39 c #Conflicts: 334000 | #Constraints: 20886
841.38/843.39 c #Conflicts: 335000 | #Constraints: 21886
841.38/843.39 c #Conflicts: 336000 | #Constraints: 22886
841.38/843.39 c #Conflicts: 337000 | #Constraints: 23886
841.38/843.39 c #Conflicts: 338000 | #Constraints: 24886
841.38/843.39 c #Conflicts: 339000 | #Constraints: 25886
841.38/843.39 c #Conflicts: 340000 | #Constraints: 26886
841.38/843.39 c #Conflicts: 341000 | #Constraints: 27886
841.38/843.39 c #Conflicts: 342000 | #Constraints: 28886
841.38/843.39 c #Conflicts: 343000 | #Constraints: 29886
841.38/843.39 c #Conflicts: 344000 | #Constraints: 30886
841.38/843.39 c #Conflicts: 345000 | #Constraints: 31886
841.38/843.39 c INPROCESSING
841.38/843.39 c GARBAGE COLLECT
841.38/843.39 c #Conflicts: 346000 | #Constraints: 21262
841.38/843.39 c #Conflicts: 347000 | #Constraints: 22262
841.38/843.39 c #Conflicts: 348000 | #Constraints: 23262
841.38/843.39 c #Conflicts: 349000 | #Constraints: 24262
841.38/843.39 c #Conflicts: 350000 | #Constraints: 25262
841.38/843.39 c #Conflicts: 351000 | #Constraints: 26262
841.38/843.39 c #Conflicts: 352000 | #Constraints: 27262
841.38/843.39 c #Conflicts: 353000 | #Constraints: 28262
841.38/843.39 c #Conflicts: 354000 | #Constraints: 29262
841.38/843.39 c #Conflicts: 355000 | #Constraints: 30262
841.38/843.39 c #Conflicts: 356000 | #Constraints: 31262
841.38/843.39 c #Conflicts: 357000 | #Constraints: 32262
841.38/843.39 c INPROCESSING
841.38/843.39 c GARBAGE COLLECT
841.38/843.39 c #Conflicts: 358000 | #Constraints: 21475
841.38/843.39 c #Conflicts: 359000 | #Constraints: 22475
841.38/843.39 c #Conflicts: 360000 | #Constraints: 23475
841.38/843.39 c #Conflicts: 361000 | #Constraints: 24475
841.38/843.39 c #Conflicts: 362000 | #Constraints: 25475
1091.59/1094.13 c #Conflicts: 363000 | #Constraints: 26475
1091.59/1094.13 c #Conflicts: 364000 | #Constraints: 27475
1091.59/1094.13 c #Conflicts: 365000 | #Constraints: 28475
1091.59/1094.13 c #Conflicts: 366000 | #Constraints: 29475
1091.59/1094.13 c #Conflicts: 367000 | #Constraints: 30475
1091.59/1094.13 c #Conflicts: 368000 | #Constraints: 31475
1091.59/1094.13 c #Conflicts: 369000 | #Constraints: 32475
1091.59/1094.13 c INPROCESSING
1091.59/1094.13 c GARBAGE COLLECT
1091.59/1094.13 c #Conflicts: 370000 | #Constraints: 21471
1091.59/1094.13 c #Conflicts: 371000 | #Constraints: 22471
1091.59/1094.13 c #Conflicts: 372000 | #Constraints: 23471
1091.59/1094.13 c #Conflicts: 373000 | #Constraints: 24471
1091.59/1094.13 c #Conflicts: 374000 | #Constraints: 25471
1091.59/1094.13 c #Conflicts: 375000 | #Constraints: 26471
1091.59/1094.13 c #Conflicts: 376000 | #Constraints: 27471
1091.59/1094.13 c #Conflicts: 377000 | #Constraints: 28471
1091.59/1094.13 c #Conflicts: 378000 | #Constraints: 29471
1091.59/1094.13 c #Conflicts: 379000 | #Constraints: 30471
1091.59/1094.13 c #Conflicts: 380000 | #Constraints: 31471
1091.59/1094.13 c #Conflicts: 381000 | #Constraints: 32471
1091.59/1094.13 c INPROCESSING
1091.59/1094.13 c GARBAGE COLLECT
1091.59/1094.13 c #Conflicts: 382000 | #Constraints: 21267
1091.59/1094.13 c #Conflicts: 383000 | #Constraints: 22267
1091.59/1094.13 c #Conflicts: 384000 | #Constraints: 23267
1091.59/1094.13 c #Conflicts: 385000 | #Constraints: 24267
1091.59/1094.13 c #Conflicts: 386000 | #Constraints: 25267
1091.59/1094.13 c #Conflicts: 387000 | #Constraints: 26267
1091.59/1094.13 c #Conflicts: 388000 | #Constraints: 27267
1091.59/1094.13 c #Conflicts: 389000 | #Constraints: 28267
1091.59/1094.13 c #Conflicts: 390000 | #Constraints: 29267
1091.59/1094.13 c #Conflicts: 391000 | #Constraints: 30267
1091.59/1094.13 c #Conflicts: 392000 | #Constraints: 31267
1091.59/1094.13 c #Conflicts: 393000 | #Constraints: 32267
1091.59/1094.13 c #Conflicts: 394000 | #Constraints: 33267
1091.59/1094.13 c INPROCESSING
1091.59/1094.13 c GARBAGE COLLECT
1091.59/1094.13 c #Conflicts: 395000 | #Constraints: 21875
1091.59/1094.13 c #Conflicts: 396000 | #Constraints: 22875
1091.59/1094.13 c #Conflicts: 397000 | #Constraints: 23875
1091.59/1094.13 c #Conflicts: 398000 | #Constraints: 24875
1091.59/1094.13 c #Conflicts: 399000 | #Constraints: 25875
1091.59/1094.13 c #Conflicts: 400000 | #Constraints: 26875
1091.59/1094.13 c #Conflicts: 401000 | #Constraints: 27875
1091.59/1094.13 c #Conflicts: 402000 | #Constraints: 28875
1091.59/1094.13 c #Conflicts: 403000 | #Constraints: 29875
1091.59/1094.13 c #Conflicts: 404000 | #Constraints: 30875
1091.59/1094.13 c #Conflicts: 405000 | #Constraints: 31875
1091.59/1094.13 c #Conflicts: 406000 | #Constraints: 32875
1091.59/1094.13 c #Conflicts: 407000 | #Constraints: 33875
1091.59/1094.13 c INPROCESSING
1091.59/1094.13 c GARBAGE COLLECT
1091.59/1094.13 c #Conflicts: 408000 | #Constraints: 22256
1091.59/1094.13 c #Conflicts: 409000 | #Constraints: 23256
1091.59/1094.13 c #Conflicts: 410000 | #Constraints: 24256
1091.59/1094.13 c #Conflicts: 411000 | #Constraints: 25256
1091.59/1094.13 c #Conflicts: 412000 | #Constraints: 26256
1091.59/1094.13 c #Conflicts: 413000 | #Constraints: 27256
1091.59/1094.13 c #Conflicts: 414000 | #Constraints: 28256
1091.59/1094.13 c #Conflicts: 415000 | #Constraints: 29256
1091.59/1094.13 c #Conflicts: 416000 | #Constraints: 30256
1091.59/1094.13 c #Conflicts: 417000 | #Constraints: 31256
1091.59/1094.13 c #Conflicts: 418000 | #Constraints: 32256
1091.59/1094.13 c #Conflicts: 419000 | #Constraints: 33256
1091.59/1094.13 c #Conflicts: 420000 | #Constraints: 34256
1091.59/1094.13 c INPROCESSING
1091.59/1094.13 c GARBAGE COLLECT
1091.59/1094.13 c #Conflicts: 421000 | #Constraints: 22508
1091.59/1094.13 c #Conflicts: 422000 | #Constraints: 23508
1091.59/1094.13 c #Conflicts: 423000 | #Constraints: 24508
1091.59/1094.13 c #Conflicts: 424000 | #Constraints: 25508
1091.59/1094.13 c #Conflicts: 425000 | #Constraints: 26508
1091.59/1094.13 c #Conflicts: 426000 | #Constraints: 27508
1091.59/1094.13 c #Conflicts: 427000 | #Constraints: 28508
1091.59/1094.13 c #Conflicts: 428000 | #Constraints: 29508
1091.59/1094.13 c #Conflicts: 429000 | #Constraints: 30508
1091.59/1094.13 c #Conflicts: 430000 | #Constraints: 31508
1091.59/1094.13 c #Conflicts: 431000 | #Constraints: 32508
1091.59/1094.13 c #Conflicts: 432000 | #Constraints: 33508
1091.59/1094.13 c #Conflicts: 433000 | #Constraints: 34508
1091.59/1094.13 c INPROCESSING
1091.59/1094.13 c GARBAGE COLLECT
1091.59/1094.13 c #Conflicts: 434000 | #Constraints: 22478
1091.59/1094.13 c #Conflicts: 435000 | #Constraints: 23478
1091.59/1094.13 c #Conflicts: 436000 | #Constraints: 24478
1091.59/1094.13 c #Conflicts: 437000 | #Constraints: 25478
1281.92/1284.95 c #Conflicts: 438000 | #Constraints: 26478
1281.92/1284.95 c #Conflicts: 439000 | #Constraints: 27478
1281.92/1284.95 c #Conflicts: 440000 | #Constraints: 28478
1281.92/1284.95 c #Conflicts: 441000 | #Constraints: 29478
1281.92/1284.95 c #Conflicts: 442000 | #Constraints: 30478
1281.92/1284.95 c #Conflicts: 443000 | #Constraints: 31478
1281.92/1284.95 c #Conflicts: 444000 | #Constraints: 32478
1281.92/1284.95 c #Conflicts: 445000 | #Constraints: 33478
1281.92/1284.95 c #Conflicts: 446000 | #Constraints: 34478
1281.92/1284.95 c INPROCESSING
1281.92/1284.95 c GARBAGE COLLECT
1281.92/1284.95 c #Conflicts: 447000 | #Constraints: 22267
1281.92/1284.95 c #Conflicts: 448000 | #Constraints: 23267
1281.92/1284.95 c #Conflicts: 449000 | #Constraints: 24267
1281.92/1284.95 c #Conflicts: 450000 | #Constraints: 25267
1281.92/1284.95 c #Conflicts: 451000 | #Constraints: 26267
1281.92/1284.95 c #Conflicts: 452000 | #Constraints: 27267
1281.92/1284.95 c #Conflicts: 453000 | #Constraints: 28267
1281.92/1284.95 c #Conflicts: 454000 | #Constraints: 29267
1281.92/1284.95 c #Conflicts: 455000 | #Constraints: 30267
1281.92/1284.95 c #Conflicts: 456000 | #Constraints: 31267
1281.92/1284.95 c #Conflicts: 457000 | #Constraints: 32267
1281.92/1284.95 c #Conflicts: 458000 | #Constraints: 33267
1281.92/1284.95 c #Conflicts: 459000 | #Constraints: 34267
1281.92/1284.95 c #Conflicts: 460000 | #Constraints: 35267
1281.92/1284.95 c INPROCESSING
1281.92/1284.95 c GARBAGE COLLECT
1281.92/1284.95 c #Conflicts: 461000 | #Constraints: 22870
1281.92/1284.95 c #Conflicts: 462000 | #Constraints: 23870
1281.92/1284.95 c #Conflicts: 463000 | #Constraints: 24870
1281.92/1284.95 c #Conflicts: 464000 | #Constraints: 25870
1281.92/1284.95 c #Conflicts: 465000 | #Constraints: 26870
1281.92/1284.95 c #Conflicts: 466000 | #Constraints: 27870
1281.92/1284.95 c #Conflicts: 467000 | #Constraints: 28870
1281.92/1284.95 c #Conflicts: 468000 | #Constraints: 29870
1281.92/1284.95 c #Conflicts: 469000 | #Constraints: 30870
1281.92/1284.95 c #Conflicts: 470000 | #Constraints: 31870
1281.92/1284.95 c #Conflicts: 471000 | #Constraints: 32870
1281.92/1284.95 c #Conflicts: 472000 | #Constraints: 33870
1281.92/1284.95 c #Conflicts: 473000 | #Constraints: 34870
1281.92/1284.95 c #Conflicts: 474000 | #Constraints: 35870
1281.92/1284.95 c INPROCESSING
1281.92/1284.95 c GARBAGE COLLECT
1281.92/1284.95 c #Conflicts: 475000 | #Constraints: 23414
1281.92/1284.95 c #Conflicts: 476000 | #Constraints: 24414
1281.92/1284.95 c #Conflicts: 477000 | #Constraints: 25414
1281.92/1284.95 c #Conflicts: 478000 | #Constraints: 26414
1281.92/1284.95 c #Conflicts: 479000 | #Constraints: 27414
1281.92/1284.95 c #Conflicts: 480000 | #Constraints: 28414
1281.92/1284.95 c #Conflicts: 481000 | #Constraints: 29414
1281.92/1284.95 c #Conflicts: 482000 | #Constraints: 30414
1281.92/1284.95 c #Conflicts: 483000 | #Constraints: 31414
1281.92/1284.95 c #Conflicts: 484000 | #Constraints: 32414
1281.92/1284.95 c #Conflicts: 485000 | #Constraints: 33414
1281.92/1284.95 c #Conflicts: 486000 | #Constraints: 34414
1281.92/1284.95 c #Conflicts: 487000 | #Constraints: 35414
1281.92/1284.95 c #Conflicts: 488000 | #Constraints: 36414
1281.92/1284.95 c INPROCESSING
1281.92/1284.95 c GARBAGE COLLECT
1281.92/1284.95 c #Conflicts: 489000 | #Constraints: 23737
1281.92/1284.95 c #Conflicts: 490000 | #Constraints: 24737
1281.92/1284.95 c #Conflicts: 491000 | #Constraints: 25737
1281.92/1284.95 c #Conflicts: 492000 | #Constraints: 26737
1281.92/1284.95 c #Conflicts: 493000 | #Constraints: 27737
1281.92/1284.95 c #Conflicts: 494000 | #Constraints: 28737
1281.92/1284.95 c #Conflicts: 495000 | #Constraints: 29737
1281.92/1284.95 c #Conflicts: 496000 | #Constraints: 30737
1281.92/1284.95 c #Conflicts: 497000 | #Constraints: 31737
1281.92/1284.95 c #Conflicts: 498000 | #Constraints: 32737
1281.92/1284.95 c #Conflicts: 499000 | #Constraints: 33737
1281.92/1284.95 c #Conflicts: 500000 | #Constraints: 34737
1281.92/1284.95 c #Conflicts: 501000 | #Constraints: 35737
1281.92/1284.95 c #Conflicts: 502000 | #Constraints: 36737
1281.92/1284.95 c INPROCESSING
1281.92/1284.95 c GARBAGE COLLECT
1281.92/1284.95 c #Conflicts: 503000 | #Constraints: 23595
1281.92/1284.95 c #Conflicts: 504000 | #Constraints: 24595
1281.92/1284.95 c #Conflicts: 505000 | #Constraints: 25595
1281.92/1284.95 c #Conflicts: 506000 | #Constraints: 26595
1281.92/1284.95 c #Conflicts: 507000 | #Constraints: 27595
1281.92/1284.95 c #Conflicts: 508000 | #Constraints: 28595
1281.92/1284.95 c #Conflicts: 509000 | #Constraints: 29595
1281.92/1284.95 c #Conflicts: 510000 | #Constraints: 30595
1281.92/1284.95 c #Conflicts: 511000 | #Constraints: 31595
1281.92/1284.95 c #Conflicts: 512000 | #Constraints: 32595
1281.92/1284.95 c #Conflicts: 513000 | #Constraints: 33595
1545.35/1549.00 c #Conflicts: 514000 | #Constraints: 34595
1545.35/1549.00 c #Conflicts: 515000 | #Constraints: 35595
1545.35/1549.00 c #Conflicts: 516000 | #Constraints: 36595
1545.35/1549.00 c INPROCESSING
1545.35/1549.00 c GARBAGE COLLECT
1545.35/1549.00 c #Conflicts: 517000 | #Constraints: 23330
1545.35/1549.00 c #Conflicts: 518000 | #Constraints: 24330
1545.35/1549.00 c #Conflicts: 519000 | #Constraints: 25330
1545.35/1549.00 c #Conflicts: 520000 | #Constraints: 26330
1545.35/1549.00 c #Conflicts: 521000 | #Constraints: 27330
1545.35/1549.00 c #Conflicts: 522000 | #Constraints: 28330
1545.35/1549.00 c #Conflicts: 523000 | #Constraints: 29330
1545.35/1549.00 c #Conflicts: 524000 | #Constraints: 30330
1545.35/1549.00 c #Conflicts: 525000 | #Constraints: 31330
1545.35/1549.00 c #Conflicts: 526000 | #Constraints: 32330
1545.35/1549.00 c #Conflicts: 527000 | #Constraints: 33330
1545.35/1549.00 c #Conflicts: 528000 | #Constraints: 34330
1545.35/1549.00 c #Conflicts: 529000 | #Constraints: 35330
1545.35/1549.00 c #Conflicts: 530000 | #Constraints: 36330
1545.35/1549.00 c #Conflicts: 531000 | #Constraints: 37330
1545.35/1549.00 c INPROCESSING
1545.35/1549.00 c GARBAGE COLLECT
1545.35/1549.00 c #Conflicts: 532000 | #Constraints: 23965
1545.35/1549.00 c #Conflicts: 533000 | #Constraints: 24965
1545.35/1549.00 c #Conflicts: 534000 | #Constraints: 25965
1545.35/1549.00 c #Conflicts: 535000 | #Constraints: 26965
1545.35/1549.00 c #Conflicts: 536000 | #Constraints: 27965
1545.35/1549.00 c #Conflicts: 537000 | #Constraints: 28965
1545.35/1549.00 c #Conflicts: 538000 | #Constraints: 29965
1545.35/1549.00 c #Conflicts: 539000 | #Constraints: 30965
1545.35/1549.00 c #Conflicts: 540000 | #Constraints: 31965
1545.35/1549.00 c #Conflicts: 541000 | #Constraints: 32965
1545.35/1549.00 c #Conflicts: 542000 | #Constraints: 33965
1545.35/1549.00 c #Conflicts: 543000 | #Constraints: 34965
1545.35/1549.00 c #Conflicts: 544000 | #Constraints: 35965
1545.35/1549.00 c #Conflicts: 545000 | #Constraints: 36965
1545.35/1549.00 c #Conflicts: 546000 | #Constraints: 37965
1545.35/1549.00 c INPROCESSING
1545.35/1549.00 c GARBAGE COLLECT
1545.35/1549.00 c #Conflicts: 547000 | #Constraints: 24327
1545.35/1549.00 c #Conflicts: 548000 | #Constraints: 25327
1545.35/1549.00 c #Conflicts: 549000 | #Constraints: 26327
1545.35/1549.00 c #Conflicts: 550000 | #Constraints: 27327
1545.35/1549.00 c #Conflicts: 551000 | #Constraints: 28327
1545.35/1549.00 c #Conflicts: 552000 | #Constraints: 29327
1545.35/1549.00 c #Conflicts: 553000 | #Constraints: 30327
1545.35/1549.00 c #Conflicts: 554000 | #Constraints: 31327
1545.35/1549.00 c #Conflicts: 555000 | #Constraints: 32327
1545.35/1549.00 c #Conflicts: 556000 | #Constraints: 33327
1545.35/1549.00 c #Conflicts: 557000 | #Constraints: 34327
1545.35/1549.00 c #Conflicts: 558000 | #Constraints: 35327
1545.35/1549.00 c #Conflicts: 559000 | #Constraints: 36327
1545.35/1549.00 c #Conflicts: 560000 | #Constraints: 37327
1545.35/1549.00 c #Conflicts: 561000 | #Constraints: 38327
1545.35/1549.00 c INPROCESSING
1545.35/1549.00 c GARBAGE COLLECT
1545.35/1549.00 c #Conflicts: 562000 | #Constraints: 24483
1545.35/1549.00 c #Conflicts: 563000 | #Constraints: 25483
1545.35/1549.00 c #Conflicts: 564000 | #Constraints: 26483
1545.35/1549.00 c #Conflicts: 565000 | #Constraints: 27483
1545.35/1549.00 c #Conflicts: 566000 | #Constraints: 28483
1545.35/1549.00 c #Conflicts: 567000 | #Constraints: 29483
1545.35/1549.00 c #Conflicts: 568000 | #Constraints: 30483
1545.35/1549.00 c #Conflicts: 569000 | #Constraints: 31483
1545.35/1549.00 c #Conflicts: 570000 | #Constraints: 32483
1545.35/1549.00 c #Conflicts: 571000 | #Constraints: 33483
1545.35/1549.00 c #Conflicts: 572000 | #Constraints: 34483
1545.35/1549.00 c #Conflicts: 573000 | #Constraints: 35483
1545.35/1549.00 c #Conflicts: 574000 | #Constraints: 36483
1545.35/1549.00 c #Conflicts: 575000 | #Constraints: 37483
1545.35/1549.00 c #Conflicts: 576000 | #Constraints: 38483
1545.35/1549.00 c INPROCESSING
1545.35/1549.00 c GARBAGE COLLECT
1545.35/1549.00 c #Conflicts: 577000 | #Constraints: 24592
1545.35/1549.00 c #Conflicts: 578000 | #Constraints: 25592
1545.35/1549.00 c #Conflicts: 579000 | #Constraints: 26592
1545.35/1549.00 c #Conflicts: 580000 | #Constraints: 27592
1545.35/1549.00 c #Conflicts: 581000 | #Constraints: 28592
1545.35/1549.00 c #Conflicts: 582000 | #Constraints: 29592
1545.35/1549.00 c #Conflicts: 583000 | #Constraints: 30592
1545.35/1549.00 c #Conflicts: 584000 | #Constraints: 31592
1545.35/1549.00 c #Conflicts: 585000 | #Constraints: 32592
1545.35/1549.00 c #Conflicts: 586000 | #Constraints: 33592
1545.35/1549.00 c #Conflicts: 587000 | #Constraints: 34592
1545.35/1549.00 c #Conflicts: 588000 | #Constraints: 35592
1812.55/1816.76 c #Conflicts: 589000 | #Constraints: 36592
1812.55/1816.76 c #Conflicts: 590000 | #Constraints: 37592
1812.55/1816.76 c #Conflicts: 591000 | #Constraints: 38592
1812.55/1816.76 c INPROCESSING
1812.55/1816.76 c GARBAGE COLLECT
1812.55/1816.76 c #Conflicts: 592000 | #Constraints: 24337
1812.55/1816.76 c #Conflicts: 593000 | #Constraints: 25337
1812.55/1816.76 c #Conflicts: 594000 | #Constraints: 26337
1812.55/1816.76 c #Conflicts: 595000 | #Constraints: 27337
1812.55/1816.76 c #Conflicts: 596000 | #Constraints: 28337
1812.55/1816.76 c #Conflicts: 597000 | #Constraints: 29337
1812.55/1816.76 c #Conflicts: 598000 | #Constraints: 30337
1812.55/1816.76 c #Conflicts: 599000 | #Constraints: 31337
1812.55/1816.76 c #Conflicts: 600000 | #Constraints: 32337
1812.55/1816.76 c #Conflicts: 601000 | #Constraints: 33337
1812.55/1816.76 c #Conflicts: 602000 | #Constraints: 34337
1812.55/1816.76 c #Conflicts: 603000 | #Constraints: 35337
1812.55/1816.76 c #Conflicts: 604000 | #Constraints: 36337
1812.55/1816.76 c #Conflicts: 605000 | #Constraints: 37337
1812.55/1816.76 c #Conflicts: 606000 | #Constraints: 38337
1812.55/1816.76 c #Conflicts: 607000 | #Constraints: 39337
1812.55/1816.76 c INPROCESSING
1812.55/1816.76 c GARBAGE COLLECT
1812.55/1816.76 c #Conflicts: 608000 | #Constraints: 24965
1812.55/1816.76 c #Conflicts: 609000 | #Constraints: 25965
1812.55/1816.76 c #Conflicts: 610000 | #Constraints: 26965
1812.55/1816.76 c #Conflicts: 611000 | #Constraints: 27965
1812.55/1816.76 c #Conflicts: 612000 | #Constraints: 28965
1812.55/1816.76 c #Conflicts: 613000 | #Constraints: 29965
1812.55/1816.76 c #Conflicts: 614000 | #Constraints: 30965
1812.55/1816.76 c #Conflicts: 615000 | #Constraints: 31965
1812.55/1816.76 c #Conflicts: 616000 | #Constraints: 32965
1812.55/1816.76 c #Conflicts: 617000 | #Constraints: 33965
1812.55/1816.76 c #Conflicts: 618000 | #Constraints: 34965
1812.55/1816.76 c #Conflicts: 619000 | #Constraints: 35965
1812.55/1816.76 c #Conflicts: 620000 | #Constraints: 36965
1812.55/1816.76 c #Conflicts: 621000 | #Constraints: 37965
1812.55/1816.76 c #Conflicts: 622000 | #Constraints: 38965
1812.55/1816.76 c #Conflicts: 623000 | #Constraints: 39965
1812.55/1816.76 c INPROCESSING
1812.55/1816.76 c GARBAGE COLLECT
1812.55/1816.76 c #Conflicts: 624000 | #Constraints: 25327
1812.55/1816.76 c #Conflicts: 625000 | #Constraints: 26327
1812.55/1816.76 c #Conflicts: 626000 | #Constraints: 27327
1812.55/1816.76 c #Conflicts: 627000 | #Constraints: 28327
1812.55/1816.76 c #Conflicts: 628000 | #Constraints: 29327
1812.55/1816.76 c #Conflicts: 629000 | #Constraints: 30327
1812.55/1816.76 c #Conflicts: 630000 | #Constraints: 31327
1812.55/1816.76 c #Conflicts: 631000 | #Constraints: 32327
1812.55/1816.76 c #Conflicts: 632000 | #Constraints: 33327
1812.55/1816.76 c #Conflicts: 633000 | #Constraints: 34327
1812.55/1816.76 c #Conflicts: 634000 | #Constraints: 35327
1812.55/1816.76 c #Conflicts: 635000 | #Constraints: 36327
1812.55/1816.76 c #Conflicts: 636000 | #Constraints: 37327
1812.55/1816.76 c #Conflicts: 637000 | #Constraints: 38327
1812.55/1816.76 c #Conflicts: 638000 | #Constraints: 39327
1812.55/1816.76 c #Conflicts: 639000 | #Constraints: 40327
1812.55/1816.76 c INPROCESSING
1812.55/1816.76 c GARBAGE COLLECT
1812.55/1816.76 c #Conflicts: 640000 | #Constraints: 25493
1812.55/1816.76 c #Conflicts: 641000 | #Constraints: 26493
1812.55/1816.76 c #Conflicts: 642000 | #Constraints: 27493
1812.55/1816.76 c #Conflicts: 643000 | #Constraints: 28493
1812.55/1816.76 c #Conflicts: 644000 | #Constraints: 29493
1812.55/1816.76 c #Conflicts: 645000 | #Constraints: 30493
1812.55/1816.76 c #Conflicts: 646000 | #Constraints: 31493
1812.55/1816.76 c #Conflicts: 647000 | #Constraints: 32493
1812.55/1816.76 c #Conflicts: 648000 | #Constraints: 33493
1812.55/1816.76 c #Conflicts: 649000 | #Constraints: 34493
1812.55/1816.76 c #Conflicts: 650000 | #Constraints: 35493
1812.55/1816.76 c #Conflicts: 651000 | #Constraints: 36493
1812.55/1816.76 c #Conflicts: 652000 | #Constraints: 37493
1812.55/1816.76 c #Conflicts: 653000 | #Constraints: 38493
1812.55/1816.76 c #Conflicts: 654000 | #Constraints: 39493
1812.55/1816.76 c #Conflicts: 655000 | #Constraints: 40493
1812.55/1816.76 c INPROCESSING
1812.55/1816.76 c GARBAGE COLLECT
1812.55/1816.76 c #Conflicts: 656000 | #Constraints: 25477
1812.55/1816.76 c #Conflicts: 657000 | #Constraints: 26477
1812.55/1816.76 c #Conflicts: 658000 | #Constraints: 27477
1812.55/1816.76 c #Conflicts: 659000 | #Constraints: 28477
1812.55/1816.76 c #Conflicts: 660000 | #Constraints: 29477
1812.55/1816.76 c #Conflicts: 661000 | #Constraints: 30477
1812.55/1816.76 c #Conflicts: 662000 | #Constraints: 31477
1812.55/1816.76 c #Conflicts: 663000 | #Constraints: 32477
1812.55/1816.76 c #Conflicts: 664000 | #Constraints: 33477
2132.55/2137.41 c #Conflicts: 665000 | #Constraints: 34477
2132.55/2137.41 c #Conflicts: 666000 | #Constraints: 35477
2132.55/2137.41 c #Conflicts: 667000 | #Constraints: 36477
2132.55/2137.41 c #Conflicts: 668000 | #Constraints: 37477
2132.55/2137.41 c #Conflicts: 669000 | #Constraints: 38477
2132.55/2137.41 c #Conflicts: 670000 | #Constraints: 39477
2132.55/2137.41 c #Conflicts: 671000 | #Constraints: 40477
2132.55/2137.41 c INPROCESSING
2132.55/2137.41 c GARBAGE COLLECT
2132.55/2137.41 c #Conflicts: 672000 | #Constraints: 25257
2132.55/2137.41 c #Conflicts: 673000 | #Constraints: 26257
2132.55/2137.41 c #Conflicts: 674000 | #Constraints: 27257
2132.55/2137.41 c #Conflicts: 675000 | #Constraints: 28257
2132.55/2137.41 c #Conflicts: 676000 | #Constraints: 29257
2132.55/2137.41 c #Conflicts: 677000 | #Constraints: 30257
2132.55/2137.41 c #Conflicts: 678000 | #Constraints: 31257
2132.55/2137.41 c #Conflicts: 679000 | #Constraints: 32257
2132.55/2137.41 c #Conflicts: 680000 | #Constraints: 33257
2132.55/2137.41 c #Conflicts: 681000 | #Constraints: 34257
2132.55/2137.41 c #Conflicts: 682000 | #Constraints: 35257
2132.55/2137.41 c #Conflicts: 683000 | #Constraints: 36257
2132.55/2137.41 c #Conflicts: 684000 | #Constraints: 37257
2132.55/2137.41 c #Conflicts: 685000 | #Constraints: 38257
2132.55/2137.41 c #Conflicts: 686000 | #Constraints: 39257
2132.55/2137.41 c #Conflicts: 687000 | #Constraints: 40257
2132.55/2137.41 c #Conflicts: 688000 | #Constraints: 41257
2132.55/2137.41 c INPROCESSING
2132.55/2137.41 c GARBAGE COLLECT
2132.55/2137.41 c #Conflicts: 689000 | #Constraints: 25855
2132.55/2137.41 c #Conflicts: 690000 | #Constraints: 26855
2132.55/2137.41 c #Conflicts: 691000 | #Constraints: 27855
2132.55/2137.41 c #Conflicts: 692000 | #Constraints: 28855
2132.55/2137.41 c #Conflicts: 693000 | #Constraints: 29855
2132.55/2137.41 c #Conflicts: 694000 | #Constraints: 30855
2132.55/2137.41 c #Conflicts: 695000 | #Constraints: 31855
2132.55/2137.41 c #Conflicts: 696000 | #Constraints: 32855
2132.55/2137.41 c #Conflicts: 697000 | #Constraints: 33855
2132.55/2137.41 c #Conflicts: 698000 | #Constraints: 34855
2132.55/2137.41 c #Conflicts: 699000 | #Constraints: 35855
2132.55/2137.41 c #Conflicts: 700000 | #Constraints: 36855
2132.55/2137.41 c #Conflicts: 701000 | #Constraints: 37855
2132.55/2137.41 c #Conflicts: 702000 | #Constraints: 38855
2132.55/2137.41 c #Conflicts: 703000 | #Constraints: 39855
2132.55/2137.41 c #Conflicts: 704000 | #Constraints: 40855
2132.55/2137.41 c #Conflicts: 705000 | #Constraints: 41855
2132.55/2137.41 c INPROCESSING
2132.55/2137.41 c GARBAGE COLLECT
2132.55/2137.41 c #Conflicts: 706000 | #Constraints: 26268
2132.55/2137.41 c #Conflicts: 707000 | #Constraints: 27268
2132.55/2137.41 c #Conflicts: 708000 | #Constraints: 28268
2132.55/2137.41 c #Conflicts: 709000 | #Constraints: 29268
2132.55/2137.41 c #Conflicts: 710000 | #Constraints: 30268
2132.55/2137.41 c #Conflicts: 711000 | #Constraints: 31268
2132.55/2137.41 c #Conflicts: 712000 | #Constraints: 32268
2132.55/2137.41 c #Conflicts: 713000 | #Constraints: 33268
2132.55/2137.41 c #Conflicts: 714000 | #Constraints: 34268
2132.55/2137.41 c #Conflicts: 715000 | #Constraints: 35268
2132.55/2137.41 c #Conflicts: 716000 | #Constraints: 36268
2132.55/2137.41 c #Conflicts: 717000 | #Constraints: 37268
2132.55/2137.41 c #Conflicts: 718000 | #Constraints: 38268
2132.55/2137.41 c #Conflicts: 719000 | #Constraints: 39268
2132.55/2137.41 c #Conflicts: 720000 | #Constraints: 40268
2132.55/2137.41 c #Conflicts: 721000 | #Constraints: 41268
2132.55/2137.41 c #Conflicts: 722000 | #Constraints: 42268
2132.55/2137.41 c INPROCESSING
2132.55/2137.41 c GARBAGE COLLECT
2132.55/2137.41 c #Conflicts: 723000 | #Constraints: 26459
2132.55/2137.41 c #Conflicts: 724000 | #Constraints: 27459
2132.55/2137.41 c #Conflicts: 725000 | #Constraints: 28459
2132.55/2137.41 c #Conflicts: 726000 | #Constraints: 29459
2132.55/2137.41 c #Conflicts: 727000 | #Constraints: 30459
2132.55/2137.41 c #Conflicts: 728000 | #Constraints: 31459
2132.55/2137.41 c #Conflicts: 729000 | #Constraints: 32459
2132.55/2137.41 c #Conflicts: 730000 | #Constraints: 33459
2132.55/2137.41 c #Conflicts: 731000 | #Constraints: 34459
2132.55/2137.41 c #Conflicts: 732000 | #Constraints: 35459
2132.55/2137.41 c #Conflicts: 733000 | #Constraints: 36459
2132.55/2137.41 c #Conflicts: 734000 | #Constraints: 37459
2132.55/2137.41 c #Conflicts: 735000 | #Constraints: 38459
2132.55/2137.41 c #Conflicts: 736000 | #Constraints: 39459
2132.55/2137.41 c #Conflicts: 737000 | #Constraints: 40459
2132.55/2137.41 c #Conflicts: 738000 | #Constraints: 41459
2132.55/2137.41 c #Conflicts: 739000 | #Constraints: 42459
2132.55/2137.41 c INPROCESSING
2132.55/2137.41 c GARBAGE COLLECT
2462.96/2468.66 c #Conflicts: 740000 | #Constraints: 26708
2462.96/2468.66 c #Conflicts: 741000 | #Constraints: 27708
2462.96/2468.66 c #Conflicts: 742000 | #Constraints: 28708
2462.96/2468.66 c #Conflicts: 743000 | #Constraints: 29708
2462.96/2468.66 c #Conflicts: 744000 | #Constraints: 30708
2462.96/2468.66 c #Conflicts: 745000 | #Constraints: 31708
2462.96/2468.66 c #Conflicts: 746000 | #Constraints: 32708
2462.96/2468.66 c #Conflicts: 747000 | #Constraints: 33708
2462.96/2468.66 c #Conflicts: 748000 | #Constraints: 34708
2462.96/2468.66 c #Conflicts: 749000 | #Constraints: 35708
2462.96/2468.66 c #Conflicts: 750000 | #Constraints: 36708
2462.96/2468.66 c #Conflicts: 751000 | #Constraints: 37708
2462.96/2468.66 c #Conflicts: 752000 | #Constraints: 38708
2462.96/2468.66 c #Conflicts: 753000 | #Constraints: 39708
2462.96/2468.66 c #Conflicts: 754000 | #Constraints: 40708
2462.96/2468.66 c #Conflicts: 755000 | #Constraints: 41708
2462.96/2468.66 c #Conflicts: 756000 | #Constraints: 42708
2462.96/2468.66 c INPROCESSING
2462.96/2468.66 c GARBAGE COLLECT
2462.96/2468.66 c #Conflicts: 757000 | #Constraints: 26382
2462.96/2468.66 c #Conflicts: 758000 | #Constraints: 27382
2462.96/2468.66 c #Conflicts: 759000 | #Constraints: 28382
2462.96/2468.66 c #Conflicts: 760000 | #Constraints: 29382
2462.96/2468.66 c #Conflicts: 761000 | #Constraints: 30382
2462.96/2468.66 c #Conflicts: 762000 | #Constraints: 31382
2462.96/2468.66 c #Conflicts: 763000 | #Constraints: 32382
2462.96/2468.66 c #Conflicts: 764000 | #Constraints: 33382
2462.96/2468.66 c #Conflicts: 765000 | #Constraints: 34382
2462.96/2468.66 c #Conflicts: 766000 | #Constraints: 35382
2462.96/2468.66 c #Conflicts: 767000 | #Constraints: 36382
2462.96/2468.66 c #Conflicts: 768000 | #Constraints: 37382
2462.96/2468.66 c #Conflicts: 769000 | #Constraints: 38382
2462.96/2468.66 c #Conflicts: 770000 | #Constraints: 39382
2462.96/2468.66 c #Conflicts: 771000 | #Constraints: 40382
2462.96/2468.66 c #Conflicts: 772000 | #Constraints: 41382
2462.96/2468.66 c #Conflicts: 773000 | #Constraints: 42382
2462.96/2468.66 c #Conflicts: 774000 | #Constraints: 43382
2462.96/2468.66 c INPROCESSING
2462.96/2468.66 c GARBAGE COLLECT
2462.96/2468.66 c #Conflicts: 775000 | #Constraints: 26924
2462.96/2468.66 c #Conflicts: 776000 | #Constraints: 27924
2462.96/2468.66 c #Conflicts: 777000 | #Constraints: 28924
2462.96/2468.66 c #Conflicts: 778000 | #Constraints: 29924
2462.96/2468.66 c #Conflicts: 779000 | #Constraints: 30924
2462.96/2468.66 c #Conflicts: 780000 | #Constraints: 31924
2462.96/2468.66 c #Conflicts: 781000 | #Constraints: 32924
2462.96/2468.66 c #Conflicts: 782000 | #Constraints: 33924
2462.96/2468.66 c #Conflicts: 783000 | #Constraints: 34924
2462.96/2468.66 c #Conflicts: 784000 | #Constraints: 35924
2462.96/2468.66 c #Conflicts: 785000 | #Constraints: 36924
2462.96/2468.66 c #Conflicts: 786000 | #Constraints: 37924
2462.96/2468.66 c #Conflicts: 787000 | #Constraints: 38924
2462.96/2468.66 c #Conflicts: 788000 | #Constraints: 39924
2462.96/2468.66 c #Conflicts: 789000 | #Constraints: 40924
2462.96/2468.66 c #Conflicts: 790000 | #Constraints: 41924
2462.96/2468.66 c #Conflicts: 791000 | #Constraints: 42924
2462.96/2468.66 c #Conflicts: 792000 | #Constraints: 43924
2462.96/2468.66 c INPROCESSING
2462.96/2468.66 c GARBAGE COLLECT
2462.96/2468.66 c #Conflicts: 793000 | #Constraints: 27316
2462.96/2468.66 c #Conflicts: 794000 | #Constraints: 28316
2462.96/2468.66 c #Conflicts: 795000 | #Constraints: 29316
2462.96/2468.66 c #Conflicts: 796000 | #Constraints: 30316
2462.96/2468.66 c #Conflicts: 797000 | #Constraints: 31316
2462.96/2468.66 c #Conflicts: 798000 | #Constraints: 32316
2462.96/2468.66 c #Conflicts: 799000 | #Constraints: 33316
2462.96/2468.66 c #Conflicts: 800000 | #Constraints: 34316
2462.96/2468.66 c #Conflicts: 801000 | #Constraints: 35316
2462.96/2468.66 c #Conflicts: 802000 | #Constraints: 36316
2462.96/2468.66 c #Conflicts: 803000 | #Constraints: 37316
2462.96/2468.66 c #Conflicts: 804000 | #Constraints: 38316
2462.96/2468.66 c #Conflicts: 805000 | #Constraints: 39316
2462.96/2468.66 c #Conflicts: 806000 | #Constraints: 40316
2462.96/2468.66 c #Conflicts: 807000 | #Constraints: 41316
2462.96/2468.66 c #Conflicts: 808000 | #Constraints: 42316
2462.96/2468.66 c #Conflicts: 809000 | #Constraints: 43316
2462.96/2468.66 c #Conflicts: 810000 | #Constraints: 44316
2462.96/2468.66 c INPROCESSING
2462.96/2468.66 c GARBAGE COLLECT
2462.96/2468.66 c #Conflicts: 811000 | #Constraints: 27534
2462.96/2468.66 c #Conflicts: 812000 | #Constraints: 28534
2462.96/2468.66 c #Conflicts: 813000 | #Constraints: 29534
2462.96/2468.66 c #Conflicts: 814000 | #Constraints: 30534
2462.96/2468.66 c #Conflicts: 815000 | #Constraints: 31534
2462.96/2468.66 c #Conflicts: 816000 | #Constraints: 32534
2792.50/2799.09 c #Conflicts: 817000 | #Constraints: 33534
2792.50/2799.09 c #Conflicts: 818000 | #Constraints: 34534
2792.50/2799.09 c #Conflicts: 819000 | #Constraints: 35534
2792.50/2799.09 c #Conflicts: 820000 | #Constraints: 36534
2792.50/2799.09 c #Conflicts: 821000 | #Constraints: 37534
2792.50/2799.09 c #Conflicts: 822000 | #Constraints: 38534
2792.50/2799.09 c #Conflicts: 823000 | #Constraints: 39534
2792.50/2799.09 c #Conflicts: 824000 | #Constraints: 40534
2792.50/2799.09 c #Conflicts: 825000 | #Constraints: 41534
2792.50/2799.09 c #Conflicts: 826000 | #Constraints: 42534
2792.50/2799.09 c #Conflicts: 827000 | #Constraints: 43534
2792.50/2799.09 c #Conflicts: 828000 | #Constraints: 44534
2792.50/2799.09 c INPROCESSING
2792.50/2799.09 c GARBAGE COLLECT
2792.50/2799.09 c #Conflicts: 829000 | #Constraints: 27532
2792.50/2799.09 c #Conflicts: 830000 | #Constraints: 28532
2792.50/2799.09 c #Conflicts: 831000 | #Constraints: 29532
2792.50/2799.09 c #Conflicts: 832000 | #Constraints: 30532
2792.50/2799.09 c #Conflicts: 833000 | #Constraints: 31532
2792.50/2799.09 c #Conflicts: 834000 | #Constraints: 32532
2792.50/2799.09 c #Conflicts: 835000 | #Constraints: 33532
2792.50/2799.09 c #Conflicts: 836000 | #Constraints: 34532
2792.50/2799.09 c #Conflicts: 837000 | #Constraints: 35532
2792.50/2799.09 c #Conflicts: 838000 | #Constraints: 36532
2792.50/2799.09 c #Conflicts: 839000 | #Constraints: 37532
2792.50/2799.09 c #Conflicts: 840000 | #Constraints: 38532
2792.50/2799.09 c #Conflicts: 841000 | #Constraints: 39532
2792.50/2799.09 c #Conflicts: 842000 | #Constraints: 40532
2792.50/2799.09 c #Conflicts: 843000 | #Constraints: 41532
2792.50/2799.09 c #Conflicts: 844000 | #Constraints: 42532
2792.50/2799.09 c #Conflicts: 845000 | #Constraints: 43532
2792.50/2799.09 c #Conflicts: 846000 | #Constraints: 44532
2792.50/2799.09 c INPROCESSING
2792.50/2799.09 c GARBAGE COLLECT
2792.50/2799.09 c #Conflicts: 847000 | #Constraints: 27306
2792.50/2799.09 c #Conflicts: 848000 | #Constraints: 28306
2792.50/2799.09 c #Conflicts: 849000 | #Constraints: 29306
2792.50/2799.09 c #Conflicts: 850000 | #Constraints: 30306
2792.50/2799.09 c #Conflicts: 851000 | #Constraints: 31306
2792.50/2799.09 c #Conflicts: 852000 | #Constraints: 32306
2792.50/2799.09 c #Conflicts: 853000 | #Constraints: 33306
2792.50/2799.09 c #Conflicts: 854000 | #Constraints: 34306
2792.50/2799.09 c #Conflicts: 855000 | #Constraints: 35306
2792.50/2799.09 c #Conflicts: 856000 | #Constraints: 36306
2792.50/2799.09 c #Conflicts: 857000 | #Constraints: 37306
2792.50/2799.09 c #Conflicts: 858000 | #Constraints: 38306
2792.50/2799.09 c #Conflicts: 859000 | #Constraints: 39306
2792.50/2799.09 c #Conflicts: 860000 | #Constraints: 40306
2792.50/2799.09 c #Conflicts: 861000 | #Constraints: 41306
2792.50/2799.09 c #Conflicts: 862000 | #Constraints: 42306
2792.50/2799.09 c #Conflicts: 863000 | #Constraints: 43306
2792.50/2799.09 c #Conflicts: 864000 | #Constraints: 44306
2792.50/2799.09 c #Conflicts: 865000 | #Constraints: 45306
2792.50/2799.09 c INPROCESSING
2792.50/2799.09 c GARBAGE COLLECT
2792.50/2799.09 c #Conflicts: 866000 | #Constraints: 27880
2792.50/2799.09 c #Conflicts: 867000 | #Constraints: 28880
2792.50/2799.09 c #Conflicts: 868000 | #Constraints: 29880
2792.50/2799.09 c #Conflicts: 869000 | #Constraints: 30880
2792.50/2799.09 c #Conflicts: 870000 | #Constraints: 31880
2792.50/2799.09 c #Conflicts: 871000 | #Constraints: 32880
2792.50/2799.09 c #Conflicts: 872000 | #Constraints: 33880
2792.50/2799.09 c #Conflicts: 873000 | #Constraints: 34880
2792.50/2799.09 c #Conflicts: 874000 | #Constraints: 35880
2792.50/2799.09 c #Conflicts: 875000 | #Constraints: 36880
2792.50/2799.09 c #Conflicts: 876000 | #Constraints: 37880
2792.50/2799.09 c #Conflicts: 877000 | #Constraints: 38880
2792.50/2799.09 c #Conflicts: 878000 | #Constraints: 39880
2792.50/2799.09 c #Conflicts: 879000 | #Constraints: 40880
2792.50/2799.09 c #Conflicts: 880000 | #Constraints: 41880
2792.50/2799.09 c #Conflicts: 881000 | #Constraints: 42880
2792.50/2799.09 c #Conflicts: 882000 | #Constraints: 43880
2792.50/2799.09 c #Conflicts: 883000 | #Constraints: 44880
2792.50/2799.09 c #Conflicts: 884000 | #Constraints: 45880
2792.50/2799.09 c INPROCESSING
2792.50/2799.09 c GARBAGE COLLECT
2792.50/2799.09 c #Conflicts: 885000 | #Constraints: 28281
2792.50/2799.09 c #Conflicts: 886000 | #Constraints: 29281
2792.50/2799.09 c #Conflicts: 887000 | #Constraints: 30281
2792.50/2799.09 c #Conflicts: 888000 | #Constraints: 31281
2792.50/2799.09 c #Conflicts: 889000 | #Constraints: 32281
2792.50/2799.09 c #Conflicts: 890000 | #Constraints: 33281
2792.50/2799.09 c #Conflicts: 891000 | #Constraints: 34281
2792.50/2799.09 c #Conflicts: 892000 | #Constraints: 35281
3126.31/3133.71 c #Conflicts: 893000 | #Constraints: 36281
3126.31/3133.71 c #Conflicts: 894000 | #Constraints: 37281
3126.31/3133.71 c #Conflicts: 895000 | #Constraints: 38281
3126.31/3133.71 c #Conflicts: 896000 | #Constraints: 39281
3126.31/3133.71 c #Conflicts: 897000 | #Constraints: 40281
3126.31/3133.71 c #Conflicts: 898000 | #Constraints: 41281
3126.31/3133.71 c #Conflicts: 899000 | #Constraints: 42281
3126.31/3133.71 c #Conflicts: 900000 | #Constraints: 43281
3126.31/3133.71 c #Conflicts: 901000 | #Constraints: 44281
3126.31/3133.71 c #Conflicts: 902000 | #Constraints: 45281
3126.31/3133.71 c #Conflicts: 903000 | #Constraints: 46281
3126.31/3133.71 c INPROCESSING
3126.31/3133.71 c GARBAGE COLLECT
3126.31/3133.71 c #Conflicts: 904000 | #Constraints: 28471
3126.31/3133.71 c #Conflicts: 905000 | #Constraints: 29471
3126.31/3133.71 c #Conflicts: 906000 | #Constraints: 30471
3126.31/3133.71 c #Conflicts: 907000 | #Constraints: 31471
3126.31/3133.71 c #Conflicts: 908000 | #Constraints: 32471
3126.31/3133.71 c #Conflicts: 909000 | #Constraints: 33471
3126.31/3133.71 c #Conflicts: 910000 | #Constraints: 34471
3126.31/3133.71 c #Conflicts: 911000 | #Constraints: 35471
3126.31/3133.71 c #Conflicts: 912000 | #Constraints: 36471
3126.31/3133.71 c #Conflicts: 913000 | #Constraints: 37471
3126.31/3133.71 c #Conflicts: 914000 | #Constraints: 38471
3126.31/3133.71 c #Conflicts: 915000 | #Constraints: 39471
3126.31/3133.71 c #Conflicts: 916000 | #Constraints: 40471
3126.31/3133.71 c #Conflicts: 917000 | #Constraints: 41471
3126.31/3133.71 c #Conflicts: 918000 | #Constraints: 42471
3126.31/3133.71 c #Conflicts: 919000 | #Constraints: 43471
3126.31/3133.71 c #Conflicts: 920000 | #Constraints: 44471
3126.31/3133.71 c #Conflicts: 921000 | #Constraints: 45471
3126.31/3133.71 c #Conflicts: 922000 | #Constraints: 46471
3126.31/3133.71 c INPROCESSING
3126.31/3133.71 c GARBAGE COLLECT
3126.31/3133.71 c #Conflicts: 923000 | #Constraints: 28466
3126.31/3133.71 c #Conflicts: 924000 | #Constraints: 29466
3126.31/3133.71 c #Conflicts: 925000 | #Constraints: 30466
3126.31/3133.71 c #Conflicts: 926000 | #Constraints: 31466
3126.31/3133.71 c #Conflicts: 927000 | #Constraints: 32466
3126.31/3133.71 c #Conflicts: 928000 | #Constraints: 33466
3126.31/3133.71 c #Conflicts: 929000 | #Constraints: 34466
3126.31/3133.71 c #Conflicts: 930000 | #Constraints: 35466
3126.31/3133.71 c #Conflicts: 931000 | #Constraints: 36466
3126.31/3133.71 c #Conflicts: 932000 | #Constraints: 37466
3126.31/3133.71 c #Conflicts: 933000 | #Constraints: 38466
3126.31/3133.71 c #Conflicts: 934000 | #Constraints: 39466
3126.31/3133.71 c #Conflicts: 935000 | #Constraints: 40466
3126.31/3133.71 c #Conflicts: 936000 | #Constraints: 41466
3126.31/3133.71 c #Conflicts: 937000 | #Constraints: 42466
3126.31/3133.71 c #Conflicts: 938000 | #Constraints: 43466
3126.31/3133.71 c #Conflicts: 939000 | #Constraints: 44466
3126.31/3133.71 c #Conflicts: 940000 | #Constraints: 45466
3126.31/3133.71 c #Conflicts: 941000 | #Constraints: 46466
3126.31/3133.71 c INPROCESSING
3126.31/3133.71 c GARBAGE COLLECT
3126.31/3133.71 c #Conflicts: 942000 | #Constraints: 28352
3126.31/3133.71 c #Conflicts: 943000 | #Constraints: 29352
3126.31/3133.71 c #Conflicts: 944000 | #Constraints: 30352
3126.31/3133.71 c #Conflicts: 945000 | #Constraints: 31352
3126.31/3133.71 c #Conflicts: 946000 | #Constraints: 32352
3126.31/3133.71 c #Conflicts: 947000 | #Constraints: 33352
3126.31/3133.71 c #Conflicts: 948000 | #Constraints: 34352
3126.31/3133.71 c #Conflicts: 949000 | #Constraints: 35352
3126.31/3133.71 c #Conflicts: 950000 | #Constraints: 36352
3126.31/3133.71 c #Conflicts: 951000 | #Constraints: 37352
3126.31/3133.71 c #Conflicts: 952000 | #Constraints: 38352
3126.31/3133.71 c #Conflicts: 953000 | #Constraints: 39352
3126.31/3133.71 c #Conflicts: 954000 | #Constraints: 40352
3126.31/3133.71 c #Conflicts: 955000 | #Constraints: 41352
3126.31/3133.71 c #Conflicts: 956000 | #Constraints: 42352
3126.31/3133.71 c #Conflicts: 957000 | #Constraints: 43352
3126.31/3133.71 c #Conflicts: 958000 | #Constraints: 44352
3126.31/3133.71 c #Conflicts: 959000 | #Constraints: 45352
3126.31/3133.71 c #Conflicts: 960000 | #Constraints: 46352
3126.31/3133.71 c #Conflicts: 961000 | #Constraints: 47352
3126.31/3133.71 c INPROCESSING
3126.31/3133.71 c GARBAGE COLLECT
3126.31/3133.71 c #Conflicts: 962000 | #Constraints: 29056
3126.31/3133.71 c #Conflicts: 963000 | #Constraints: 30056
3126.31/3133.71 c #Conflicts: 964000 | #Constraints: 31056
3126.31/3133.71 c #Conflicts: 965000 | #Constraints: 32056
3126.31/3133.71 c #Conflicts: 966000 | #Constraints: 33056
3126.31/3133.71 c #Conflicts: 967000 | #Constraints: 34056
3126.31/3133.71 c #Conflicts: 968000 | #Constraints: 35056
3600.08/3608.70 c #Conflicts: 969000 | #Constraints: 36056
3600.08/3608.70 c #Conflicts: 970000 | #Constraints: 37056
3600.08/3608.70 c #Conflicts: 971000 | #Constraints: 38056
3600.08/3608.70 c #Conflicts: 972000 | #Constraints: 39056
3600.08/3608.70 c #Conflicts: 973000 | #Constraints: 40056
3600.08/3608.70 c #Conflicts: 974000 | #Constraints: 41056
3600.08/3608.70 c #Conflicts: 975000 | #Constraints: 42056
3600.08/3608.70 c #Conflicts: 976000 | #Constraints: 43056
3600.08/3608.70 c #Conflicts: 977000 | #Constraints: 44056
3600.08/3608.70 c #Conflicts: 978000 | #Constraints: 45056
3600.08/3608.70 c #Conflicts: 979000 | #Constraints: 46056
3600.08/3608.70 c #Conflicts: 980000 | #Constraints: 47056
3600.08/3608.70 c #Conflicts: 981000 | #Constraints: 48056
3600.08/3608.70 c INPROCESSING
3600.08/3608.70 c GARBAGE COLLECT
3600.08/3608.70 c #Conflicts: 982000 | #Constraints: 29463
3600.08/3608.70 c #Conflicts: 983000 | #Constraints: 30463
3600.08/3608.70 c #Conflicts: 984000 | #Constraints: 31463
3600.08/3608.70 c #Conflicts: 985000 | #Constraints: 32463
3600.08/3608.70 c #Conflicts: 986000 | #Constraints: 33463
3600.08/3608.70 c #Conflicts: 987000 | #Constraints: 34463
3600.08/3608.70 c #Conflicts: 988000 | #Constraints: 35463
3600.08/3608.70 c #Conflicts: 989000 | #Constraints: 36463
3600.08/3608.70 c #Conflicts: 990000 | #Constraints: 37463
3600.08/3608.70 c #Conflicts: 991000 | #Constraints: 38463
3600.08/3608.70 c #Conflicts: 992000 | #Constraints: 39463
3600.08/3608.70 c #Conflicts: 993000 | #Constraints: 40463
3600.08/3608.70 c #Conflicts: 994000 | #Constraints: 41463
3600.08/3608.70 c #Conflicts: 995000 | #Constraints: 42463
3600.08/3608.70 c #Conflicts: 996000 | #Constraints: 43463
3600.08/3608.70 c #Conflicts: 997000 | #Constraints: 44463
3600.08/3608.70 c #Conflicts: 998000 | #Constraints: 45463
3600.08/3608.70 c #Conflicts: 999000 | #Constraints: 46463
3600.08/3608.70 c #Conflicts: 1000000 | #Constraints: 47463
3600.08/3608.70 c Program interrupted by user.
3600.08/3608.70 c cpu time 3565.61 s
3600.08/3608.70 c deterministic time 323230440103 3.23e+11
3600.08/3608.70 c optimization time 389.111 s
3600.08/3608.70 c total solve time 3176.48 s
3600.08/3608.70 c core-guided solve time 3176.48 s
3600.08/3608.70 c propagation time 2583.07 s
3600.08/3608.70 c conflict analysis time 883.451 s
3600.08/3608.70 c propagations 1320885845
3600.08/3608.70 c resolve steps 15589501
3600.08/3608.70 c decisions 37608785
3600.08/3608.70 c conflicts 1000061
3600.08/3608.70 c restarts 2045
3600.08/3608.70 c inprocessing phases 90
3600.08/3608.70 c input clauses 8610
3600.08/3608.70 c input cardinalities 0
3600.08/3608.70 c input general constraints 2
3600.08/3608.70 c input average constraint length 3.03
3600.08/3608.70 c input average constraint degree 841.19
3600.08/3608.70 c learned clauses 413366
3600.08/3608.70 c learned cardinalities 173
3600.08/3608.70 c learned general constraints 586522
3600.08/3608.70 c learned average constraint length 1152.52
3600.08/3608.70 c learned average constraint degree 9215103.57
3600.08/3608.70 c watched constraints 111482
3600.08/3608.70 c counting constraints 475042
3600.08/3608.70 c gcd simplifications 42443
3600.08/3608.70 c detected cardinalities 29
3600.08/3608.70 c weakened non-implied lits 623863326
3600.08/3608.70 c weakened non-implying lits 19339
3600.08/3608.70 c original variables 4360
3600.08/3608.70 c clausal propagations 518805184
3600.08/3608.70 c cardinality propagations 19011
3600.08/3608.70 c watched propagations 9447216
3600.08/3608.70 c counting propagations 784275151
3600.08/3608.70 c watch lookups 81444721702
3600.08/3608.70 c watch backjump lookups 80511266192
3600.08/3608.70 c watch checks 88696577593
3600.08/3608.70 c propagation checks 66241509647
3600.08/3608.70 c constraint additions 3618376108
3600.08/3608.70 c trail pops 1359494230
3600.08/3608.70 c formula constraints 8610
3600.08/3608.70 c learned constraints 1000061
3600.08/3608.70 c bound constraints 2
3600.08/3608.70 c core-guided constraints 0
3600.08/3608.70 c encountered formula constraints 13761563
3600.08/3608.70 c encountered learned constraints 2827516
3600.08/3608.70 c encountered bound constraints 483
3600.08/3608.70 c encountered core-guided constraints 0
3600.08/3608.70 c LP total time 0 s
3600.08/3608.70 c LP solve time 0 s
3600.08/3608.70 c LP constraints added 0
3600.08/3608.70 c LP constraints removed 0
3600.08/3608.70 c LP pivots internal 0
3600.08/3608.70 c LP pivots root 0
3600.08/3608.70 c LP calls 0
3600.08/3608.70 c LP optimalities 0
3600.08/3608.70 c LP no pivot count 0
3600.08/3608.70 c LP infeasibilities 0
3600.08/3608.70 c LP valid Farkas constraints 0
3600.08/3608.70 c LP learned Farkas constraints 0
3600.08/3608.70 c LP basis resets 0
3600.08/3608.70 c LP cycling count 0
3600.08/3608.70 c LP singular count 0
3600.08/3608.70 c LP no primal count 0
3600.08/3608.70 c LP no farkas count 0
3600.08/3608.70 c LP other issue count 0
3600.08/3608.70 c LP Gomory cuts 0
3600.08/3608.70 c LP learned cuts 0
3600.08/3608.70 c LP deleted cuts 0
3600.08/3608.70 c LP encountered Gomory constraints 0
3600.08/3608.70 c LP encountered Farkas constraints 0
3600.08/3608.70 c LP encountered learned Farkas constraints 0
3600.08/3608.70 c CG auxiliary variables introduced 0
3600.08/3608.70 c CG solutions found 2
3600.08/3608.70 c CG cores constructed 0
3600.08/3608.70 c CG core cardinality constraints returned 0
3600.08/3608.70 c CG unit cores 0
3600.08/3608.70 c CG single cores 0
3600.08/3608.70 c CG blocks removed during cardinality reduction 0
3600.08/3608.70 c CG first core best 0
3600.08/3608.70 c CG decision core best 0
3600.08/3608.70 c CG core reduction tie 0
3600.08/3608.70 c CG core degree average 0.00
3600.08/3608.70 c CG core slack average 0.00
3600.08/3608.70 c CG exhausted 0
3600.08/3608.70 c CG exhaust time 0 s
3600.08/3608.70 c CG trimmed 0
3600.08/3608.70 c CG trim time 0 s
3600.08/3608.70 c CG minimized 0
3600.08/3608.70 c CG minimize time 0 s
3600.08/3608.70 c CG am1 prop time 2.2e-05 s
3600.08/3608.70 c CG # am1s reformulated 0
3600.08/3608.70 c CG lower bound derived from am1s 0
3600.08/3608.70 c CG # clausal cores 0
3600.08/3608.70 c CG # cardinality cores 0
3600.08/3608.70 c CG # pb cores 0
3600.08/3608.70 c CG # pb reforms 0
3600.08/3608.70 c CG # cores discarded because of pb reform 0
3600.08/3608.70 d LOWERBOUND 4081
3600.08/3608.70 d NCORES 0
3600.08/3608.70 d NPBCORES 0
3600.08/3608.70 d NPBREFORM 0
3600.08/3608.70 d NTRIMMED 0
3600.08/3608.70 d NEXHAUSTED 0
3600.08/3608.70 d NAM1S 0
3600.08/3608.70 d AM1LB 0
3600.08/3608.70 o 35903
3600.08/3608.70 s SATISFIABLE
3600.08/3608.70 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 x2658 x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 x3287 x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 x3979 x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 x4131 x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 x4288 x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 x4344 x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4356 x4357 x4358 -x4359 x4360
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61341 MiB free)
memory of node 1: 64473 MiB (61469 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454411-1721471915/watcher-4454411-1721471915 -o /tmp/evaluation-result-4454411-1721471915/solver-4454411-1721471915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721471928-1066116 --watchdog 3760 pb-oll-rs HOME/instance-4454411-1721471915.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
solver pid=1066170, runsolver pid=1066159
Current StackSize limit: 8192 KiB
[startup+0.100078 s]*
/proc/loadavg: 1.12 1.16 1.64 5/254 1066178
/proc/meminfo: memFree=125740364/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=41740 memory=10012 CPUtime=0.1 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 1370 0 0 0 8 2 0 0 20 0 1 0 199362075 42741760 2503 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 10435 2503 1406 291 0 1969 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41740 KiB
Current children cumulated memory: 10012 KiB
[startup+0.206347 s]*
/proc/loadavg: 1.12 1.16 1.64 5/251 1066186
/proc/meminfo: memFree=125729532/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=42928 memory=13376 CPUtime=0.2 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 1700 0 0 0 18 2 0 0 20 0 1 0 199362075 43958272 3344 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 10732 3344 1406 291 0 2266 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42928 KiB
Current children cumulated memory: 13376 KiB
[startup+0.306162 s]*
/proc/loadavg: 1.12 1.16 1.64 5/253 1066192
/proc/meminfo: memFree=125722228/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=48196 memory=19068 CPUtime=0.3 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 2578 0 0 0 26 4 0 0 20 0 1 0 199362075 49352704 4767 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 12049 4767 1406 291 0 3583 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 19068 KiB
[startup+0.700209 s]
/proc/loadavg: 1.12 1.16 1.64 5/256 1066224
/proc/meminfo: memFree=125699784/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=65392 memory=36696 CPUtime=0.69 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 6494 0 0 0 63 6 0 0 20 0 1 0 199362075 66961408 9174 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 16348 9174 1406 291 0 7882 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 65392 KiB
Current children cumulated memory: 36696 KiB
[startup+1.50022 s]
/proc/loadavg: 1.12 1.16 1.64 6/256 1066224
/proc/meminfo: memFree=125640452/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=88184 memory=48132 CPUtime=1.49 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 7837 0 0 0 140 9 0 0 20 0 1 0 199362075 90300416 12033 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 22046 12033 1406 291 0 13580 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 88184 KiB
Current children cumulated memory: 48132 KiB
[startup+3.10622 s]
/proc/loadavg: 1.35 1.21 1.66 6/256 1066226
/proc/meminfo: memFree=125513780/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=105372 memory=67788 CPUtime=3.09 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 11706 0 0 0 294 15 0 0 20 0 1 0 199362075 107900928 16947 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 26343 16947 1406 291 0 17877 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 105372 KiB
Current children cumulated memory: 67788 KiB
[startup+6.30017 s]
/proc/loadavg: 1.35 1.21 1.66 7/256 1066226
/proc/meminfo: memFree=125374960/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=129276 memory=87464 CPUtime=6.27 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 14035 0 0 0 602 25 0 0 20 0 1 0 199362075 132378624 21866 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 32319 21866 1469 291 0 23853 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 129276 KiB
Current children cumulated memory: 87464 KiB
[startup+12.7002 s]
/proc/loadavg: 1.57 1.26 1.67 6/256 1066226
/proc/meminfo: memFree=125266848/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=147536 memory=99828 CPUtime=12.66 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 17098 0 0 0 1215 51 0 0 20 0 1 0 199362075 151076864 24957 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 36884 24957 1469 291 0 28418 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 147536 KiB
Current children cumulated memory: 99828 KiB
[startup+25.5002 s]
/proc/loadavg: 2.11 1.39 1.71 6/256 1066229
/proc/meminfo: memFree=125086176/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=155056 memory=106116 CPUtime=25.44 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 18723 0 0 0 2424 120 0 0 20 0 1 0 199362075 158777344 26529 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 38764 26529 1469 291 0 30298 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 155056 KiB
Current children cumulated memory: 106116 KiB
[startup+51.1062 s]
/proc/loadavg: 2.82 1.62 1.77 6/256 1066232
/proc/meminfo: memFree=124833348/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=214108 memory=164708 CPUtime=50.99 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 26753 0 0 0 4948 151 0 0 20 0 1 0 199362075 219246592 41177 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 53527 41177 1469 291 0 45061 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 214108 KiB
Current children cumulated memory: 164708 KiB
[startup+102.3 s]
/proc/loadavg: 3.90 2.11 1.93 6/258 1066244
/proc/meminfo: memFree=124521944/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=322236 memory=224108 CPUtime=102.07 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 37667 0 0 0 9890 317 0 0 20 0 1 0 199362075 329969664 56027 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 80559 56027 1469 291 0 72093 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 322236 KiB
Current children cumulated memory: 224108 KiB
[startup+162.3 s]
/proc/loadavg: 4.44 2.60 2.12 8/258 1066256
/proc/meminfo: memFree=124451156/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=349128 memory=274520 CPUtime=161.94 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 43174 0 0 0 15791 403 0 0 20 0 1 0 199362075 357507072 68630 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 87282 68630 1469 291 0 78816 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 349128 KiB
Current children cumulated memory: 274520 KiB
[startup+222.3 s]
/proc/loadavg: 4.37 2.93 2.27 6/258 1066267
/proc/meminfo: memFree=124277480/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=352528 memory=279640 CPUtime=221.8 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 44467 0 0 0 21656 524 0 0 20 0 1 0 199362075 360988672 69910 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 88132 69910 1469 291 0 79666 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 352528 KiB
Current children cumulated memory: 279640 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 3.16 2.39 6/258 1066277
/proc/meminfo: memFree=124119932/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=357720 memory=285096 CPUtime=281.66 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 45862 0 0 0 27527 639 0 0 20 0 1 0 199362075 366305280 71274 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 89430 71274 1469 291 0 80964 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 357720 KiB
Current children cumulated memory: 285096 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.33 2.50 6/256 1066288
/proc/meminfo: memFree=123963508/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=363616 memory=292036 CPUtime=341.52 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 47681 0 0 0 33446 706 0 0 20 0 1 0 199362075 372342784 73009 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 90904 73009 1469 291 0 82438 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 363616 KiB
Current children cumulated memory: 292036 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.48 2.60 9/257 1066300
/proc/meminfo: memFree=123820096/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=470680 memory=372768 CPUtime=401.38 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 55136 0 0 0 39405 733 0 0 20 0 1 0 199362075 481976320 93192 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 117670 93192 1469 291 0 109204 0
Current children cumulated CPU time: 401.38 s
Current children cumulated vsize: 470680 KiB
Current children cumulated memory: 372768 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.60 2.70 6/255 1066310
/proc/meminfo: memFree=123746852/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=513024 memory=436956 CPUtime=461.25 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 64064 0 0 0 45348 777 0 0 20 0 1 0 199362075 525336576 109239 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 128256 109239 1469 291 0 119790 0
################
# More data... #
################
Current children cumulated memory: 590456 KiB
[startup+2922.3 s]
/proc/loadavg: 4.28 4.14 4.04 7/256 1067719
/proc/meminfo: memFree=121628164/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=770316 memory=590476 CPUtime=2915.47 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 95679 0 0 0 288450 3097 0 0 20 0 1 0 199362075 788803584 147619 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 192579 147619 1469 291 0 184113 0
Current children cumulated CPU time: 2915.47 s
Current children cumulated vsize: 770316 KiB
Current children cumulated memory: 590476 KiB
[startup+2982.3 s]
/proc/loadavg: 4.27 4.17 4.06 7/257 1067731
/proc/meminfo: memFree=121408376/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=770316 memory=590476 CPUtime=2975.31 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 95922 0 0 0 294377 3154 0 0 20 0 1 0 199362075 788803584 147619 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 192579 147619 1469 291 0 184113 0
Current children cumulated CPU time: 2975.31 s
Current children cumulated vsize: 770316 KiB
Current children cumulated memory: 590476 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.16 4.06 8/257 1067910
/proc/meminfo: memFree=121422632/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=770316 memory=590480 CPUtime=3035.16 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 96147 0 0 0 300328 3188 0 0 20 0 1 0 199362075 788803584 147620 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 192579 147620 1469 291 0 184113 0
Current children cumulated CPU time: 3035.16 s
Current children cumulated vsize: 770316 KiB
Current children cumulated memory: 590480 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.14 4.06 7/260 1067925
/proc/meminfo: memFree=121282740/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=770848 memory=590768 CPUtime=3095 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 96577 0 0 0 306266 3234 0 0 20 0 1 0 199362075 789348352 147692 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 192712 147692 1469 291 0 184246 0
Current children cumulated CPU time: 3095 s
Current children cumulated vsize: 770848 KiB
Current children cumulated memory: 590768 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.06 6/260 1067990
/proc/meminfo: memFree=121365048/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=774688 memory=593924 CPUtime=3154.84 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 97707 0 0 0 312214 3270 0 0 20 0 1 0 199362075 793280512 148481 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 193672 148481 1469 291 0 185206 0
Current children cumulated CPU time: 3154.84 s
Current children cumulated vsize: 774688 KiB
Current children cumulated memory: 593924 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.06 6/260 1068001
/proc/meminfo: memFree=121349956/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=775840 memory=594648 CPUtime=3214.69 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 98270 0 0 0 318172 3297 0 0 20 0 1 0 199362075 794460160 148662 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 193960 148662 1469 291 0 185494 0
Current children cumulated CPU time: 3214.69 s
Current children cumulated vsize: 775840 KiB
Current children cumulated memory: 594648 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.11 4.06 7/260 1068011
/proc/meminfo: memFree=121347884/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=775840 memory=594648 CPUtime=3274.53 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 98474 0 0 0 324116 3337 0 0 20 0 1 0 199362075 794460160 148662 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 193960 148662 1469 291 0 185494 0
Current children cumulated CPU time: 3274.53 s
Current children cumulated vsize: 775840 KiB
Current children cumulated memory: 594648 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.06 6/258 1068022
/proc/meminfo: memFree=121346560/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=775840 memory=594648 CPUtime=3334.38 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 98695 0 0 0 330071 3367 0 0 20 0 1 0 199362075 794460160 148662 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 193960 148662 1469 291 0 185494 0
Current children cumulated CPU time: 3334.38 s
Current children cumulated vsize: 775840 KiB
Current children cumulated memory: 594648 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.07 7/258 1068032
/proc/meminfo: memFree=121341328/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=777120 memory=595260 CPUtime=3394.23 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 99072 0 0 0 336035 3388 0 0 20 0 1 0 199362075 795770880 148815 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 194280 148815 1469 291 0 185814 0
Current children cumulated CPU time: 3394.23 s
Current children cumulated vsize: 777120 KiB
Current children cumulated memory: 595260 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.07 6/254 1068042
/proc/meminfo: memFree=121327440/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=778144 memory=595928 CPUtime=3454.07 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 99466 0 0 0 342001 3406 0 0 20 0 1 0 199362075 796819456 148982 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 194536 148982 1469 291 0 186070 0
Current children cumulated CPU time: 3454.07 s
Current children cumulated vsize: 778144 KiB
Current children cumulated memory: 595928 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.07 8/254 1068053
/proc/meminfo: memFree=121306780/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=779168 memory=596644 CPUtime=3513.91 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 99877 0 0 0 347966 3425 0 0 20 0 1 0 199362075 797868032 149161 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 194792 149161 1469 291 0 186326 0
Current children cumulated CPU time: 3513.91 s
Current children cumulated vsize: 779168 KiB
Current children cumulated memory: 596644 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.08 6/254 1068065
/proc/meminfo: memFree=121302112/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=780448 memory=597712 CPUtime=3573.76 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 100367 0 0 0 353933 3443 0 0 20 0 1 0 199362075 799178752 149428 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 195112 149428 1469 291 0 186646 0
Current children cumulated CPU time: 3573.76 s
Current children cumulated vsize: 780448 KiB
Current children cumulated memory: 597712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.08 4.11 4.07 6/254 1068070
/proc/meminfo: memFree=121297940/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=780448 memory=597952 CPUtime=3600.08 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 100532 0 0 0 356560 3448 0 0 20 0 1 0 199362075 799178752 149488 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 195112 149488 1469 291 0 186646 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 780448 KiB
Current children cumulated memory: 597952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.71 s]
# the end of solver process 1066170 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3565.61 s, system=34.4938 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.08 4.11 4.07 6/254 1068070
/proc/meminfo: memFree=121297940/131524596 swapFree=131071996/131071996
[pid=1066170] ppid=1066159 vsize=780448 memory=597952 CPUtime=3600.08 cores=4,6
/proc/1066170/stat : 1066170 (pb-oll-rs) R 1066159 1066170 1066105 0 -1 4194304 100532 0 0 0 356560 3448 0 0 20 0 1 0 199362075 799178752 149488 134679101440 4194304 5384485 140733050621488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32022528 140733050622997 140733050623074 140733050623074 140733050630091 0
/proc/1066170/statm: 195112 149488 1469 291 0 186646 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 780448 KiB
Current children cumulated memory: 597952 KiB
Child status: 0
Real time (s): 3608.71
CPU time (s): 3600.1
CPU user time (s): 3565.61
CPU system time (s): 34.4938
CPU usage (%): 99.7616
Max. virtual memory (cumulated for all children) (KiB): 780448
Max. memory (cumulated for all children) (KiB): 597952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.61
system time used= 34.4938
maximum resident set size= 598020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100559
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= 101
involuntary context switches= 2043
# summary of solver processes directly reported to runsolver:
# pid: 1066170
# total CPU time (s): 3600.1
# total CPU user time (s): 3565.61
# total CPU system time (s): 34.4938
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.46913 second user time and 18.6487 second system time
The end
Begin job on nodeC034 at 2024-07-20 12:38:48
IDJOB=4454411
IDBENCH=148147
IDSOLVER=3082
FILE ID=nodeC034/4454411-1721471915
RUNJOBID= nodeC034-1721471928-1066116
SLURM_JOB_ID= 7545740
Free space on /tmp= 890084 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454411-1721471915/watcher-4454411-1721471915 -o /tmp/evaluation-result-4454411-1721471915/solver-4454411-1721471915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721471928-1066116 --watchdog 3760 pb-oll-rs HOME/instance-4454411-1721471915.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 80638e9ab302f8cbcb0fef344ba23b43
RANDOM SEED=722145046
nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3527.195
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3530.243
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3492.814
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.525
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3680.407
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3696.504
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3621.032
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3615.186
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524596 kB
MemFree: 125761072 kB
MemAvailable: 129646492 kB
Buffers: 553144 kB
Cached: 4134276 kB
SwapCached: 0 kB
Active: 1114632 kB
Inactive: 3934036 kB
Active(anon): 1444 kB
Inactive(anon): 405708 kB
Active(file): 1113188 kB
Inactive(file): 3528328 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 7496 kB
Writeback: 0 kB
AnonPages: 361384 kB
Mapped: 108172 kB
Shmem: 45912 kB
KReclaimable: 167452 kB
Slab: 291036 kB
SReclaimable: 167452 kB
SUnreclaim: 123584 kB
KernelStack: 3856 kB
PageTables: 9484 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 787752 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74912 kB
HardwareCorrupted: 0 kB
AnonHugePages: 284672 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: 320212 kB
DirectMap2M: 44541952 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC034 at 2024-07-20 13:38:57