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.018399
0.00/0.02 c stratification level: 2098
0.00/0.03 c bounds 36089 >= 4081 @ 0.019564
0.00/0.03 c stratification level: 2095
0.00/0.07 c bounds 35903 >= 4081 @ 0.061029
0.00/0.07 c stratification level: 2089
82.94/83.26 c #Conflicts: 1000 | #Constraints: 9611
82.94/83.26 c #Conflicts: 2000 | #Constraints: 10611
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 3000 | #Constraints: 10623
82.94/83.26 c #Conflicts: 4000 | #Constraints: 11623
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 5000 | #Constraints: 11022
82.94/83.26 c #Conflicts: 6000 | #Constraints: 12022
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 7000 | #Constraints: 11022
82.94/83.26 c #Conflicts: 8000 | #Constraints: 12022
82.94/83.26 c #Conflicts: 9000 | #Constraints: 13022
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 10000 | #Constraints: 11721
82.94/83.26 c #Conflicts: 11000 | #Constraints: 12721
82.94/83.26 c #Conflicts: 12000 | #Constraints: 13721
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 13000 | #Constraints: 12171
82.94/83.26 c #Conflicts: 14000 | #Constraints: 13171
82.94/83.26 c #Conflicts: 15000 | #Constraints: 14171
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 16000 | #Constraints: 12399
82.94/83.26 c #Conflicts: 17000 | #Constraints: 13399
82.94/83.26 c #Conflicts: 18000 | #Constraints: 14399
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 19000 | #Constraints: 12416
82.94/83.26 c #Conflicts: 20000 | #Constraints: 13416
82.94/83.26 c #Conflicts: 21000 | #Constraints: 14416
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 22000 | #Constraints: 12245
82.94/83.26 c #Conflicts: 23000 | #Constraints: 13245
82.94/83.26 c #Conflicts: 24000 | #Constraints: 14245
82.94/83.26 c #Conflicts: 25000 | #Constraints: 15245
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 26000 | #Constraints: 12840
82.94/83.26 c #Conflicts: 27000 | #Constraints: 13840
82.94/83.26 c #Conflicts: 28000 | #Constraints: 14840
82.94/83.26 c #Conflicts: 29000 | #Constraints: 15840
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 30000 | #Constraints: 13231
82.94/83.26 c #Conflicts: 31000 | #Constraints: 14231
82.94/83.26 c #Conflicts: 32000 | #Constraints: 15231
82.94/83.26 c #Conflicts: 33000 | #Constraints: 16231
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 34000 | #Constraints: 13433
82.94/83.26 c #Conflicts: 35000 | #Constraints: 14433
82.94/83.26 c #Conflicts: 36000 | #Constraints: 15433
82.94/83.26 c #Conflicts: 37000 | #Constraints: 16433
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 38000 | #Constraints: 13431
82.94/83.26 c #Conflicts: 39000 | #Constraints: 14431
82.94/83.26 c #Conflicts: 40000 | #Constraints: 15431
82.94/83.26 c #Conflicts: 41000 | #Constraints: 16431
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 42000 | #Constraints: 13248
82.94/83.26 c #Conflicts: 43000 | #Constraints: 14248
82.94/83.26 c #Conflicts: 44000 | #Constraints: 15248
82.94/83.26 c #Conflicts: 45000 | #Constraints: 16248
82.94/83.26 c #Conflicts: 46000 | #Constraints: 17248
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 47000 | #Constraints: 13848
82.94/83.26 c #Conflicts: 48000 | #Constraints: 14848
82.94/83.26 c #Conflicts: 49000 | #Constraints: 15848
82.94/83.26 c #Conflicts: 50000 | #Constraints: 16848
82.94/83.26 c #Conflicts: 51000 | #Constraints: 17848
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 52000 | #Constraints: 14237
82.94/83.26 c #Conflicts: 53000 | #Constraints: 15237
82.94/83.26 c #Conflicts: 54000 | #Constraints: 16237
82.94/83.26 c #Conflicts: 55000 | #Constraints: 17237
82.94/83.26 c #Conflicts: 56000 | #Constraints: 18237
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 57000 | #Constraints: 14438
82.94/83.26 c #Conflicts: 58000 | #Constraints: 15438
82.94/83.26 c #Conflicts: 59000 | #Constraints: 16438
82.94/83.26 c #Conflicts: 60000 | #Constraints: 17438
82.94/83.26 c #Conflicts: 61000 | #Constraints: 18438
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 62000 | #Constraints: 14437
82.94/83.26 c #Conflicts: 63000 | #Constraints: 15437
82.94/83.26 c #Conflicts: 64000 | #Constraints: 16437
82.94/83.26 c #Conflicts: 65000 | #Constraints: 17437
82.94/83.26 c #Conflicts: 66000 | #Constraints: 18437
82.94/83.26 c INPROCESSING
82.94/83.26 c GARBAGE COLLECT
82.94/83.26 c #Conflicts: 67000 | #Constraints: 14242
82.94/83.26 c #Conflicts: 68000 | #Constraints: 15242
211.47/212.11 c #Conflicts: 69000 | #Constraints: 16242
211.47/212.11 c #Conflicts: 70000 | #Constraints: 17242
211.47/212.11 c #Conflicts: 71000 | #Constraints: 18242
211.47/212.11 c #Conflicts: 72000 | #Constraints: 19242
211.47/212.11 c INPROCESSING
211.47/212.11 c GARBAGE COLLECT
211.47/212.11 c #Conflicts: 73000 | #Constraints: 14837
211.47/212.11 c #Conflicts: 74000 | #Constraints: 15837
211.47/212.11 c #Conflicts: 75000 | #Constraints: 16837
211.47/212.11 c #Conflicts: 76000 | #Constraints: 17837
211.47/212.11 c #Conflicts: 77000 | #Constraints: 18837
211.47/212.11 c #Conflicts: 78000 | #Constraints: 19837
211.47/212.11 c INPROCESSING
211.47/212.11 c GARBAGE COLLECT
211.47/212.11 c #Conflicts: 79000 | #Constraints: 15229
211.47/212.11 c #Conflicts: 80000 | #Constraints: 16229
211.47/212.11 c #Conflicts: 81000 | #Constraints: 17229
211.47/212.11 c #Conflicts: 82000 | #Constraints: 18229
211.47/212.11 c #Conflicts: 83000 | #Constraints: 19229
211.47/212.11 c #Conflicts: 84000 | #Constraints: 20229
211.47/212.11 c INPROCESSING
211.47/212.11 c GARBAGE COLLECT
211.47/212.11 c #Conflicts: 85000 | #Constraints: 15426
211.47/212.11 c #Conflicts: 86000 | #Constraints: 16426
211.47/212.11 c #Conflicts: 87000 | #Constraints: 17426
211.47/212.11 c #Conflicts: 88000 | #Constraints: 18426
211.47/212.11 c #Conflicts: 89000 | #Constraints: 19426
211.47/212.11 c #Conflicts: 90000 | #Constraints: 20426
211.47/212.11 c INPROCESSING
211.47/212.11 c GARBAGE COLLECT
211.47/212.11 c #Conflicts: 91000 | #Constraints: 15425
211.47/212.11 c #Conflicts: 92000 | #Constraints: 16425
211.47/212.11 c #Conflicts: 93000 | #Constraints: 17425
211.47/212.11 c #Conflicts: 94000 | #Constraints: 18425
211.47/212.11 c #Conflicts: 95000 | #Constraints: 19425
211.47/212.11 c #Conflicts: 96000 | #Constraints: 20425
211.47/212.11 c INPROCESSING
211.47/212.11 c GARBAGE COLLECT
211.47/212.11 c #Conflicts: 97000 | #Constraints: 15238
211.47/212.11 c #Conflicts: 98000 | #Constraints: 16238
211.47/212.11 c #Conflicts: 99000 | #Constraints: 17238
211.47/212.11 c #Conflicts: 100000 | #Constraints: 18238
211.47/212.11 c #Conflicts: 101000 | #Constraints: 19238
211.47/212.11 c #Conflicts: 102000 | #Constraints: 20238
211.47/212.11 c #Conflicts: 103000 | #Constraints: 21238
211.47/212.11 c INPROCESSING
211.47/212.11 c GARBAGE COLLECT
211.47/212.11 c #Conflicts: 104000 | #Constraints: 15832
211.47/212.11 c #Conflicts: 105000 | #Constraints: 16832
211.47/212.11 c #Conflicts: 106000 | #Constraints: 17832
211.47/212.11 c #Conflicts: 107000 | #Constraints: 18832
211.47/212.11 c #Conflicts: 108000 | #Constraints: 19832
211.47/212.11 c #Conflicts: 109000 | #Constraints: 20832
211.47/212.11 c #Conflicts: 110000 | #Constraints: 21832
211.47/212.11 c INPROCESSING
211.47/212.11 c GARBAGE COLLECT
211.47/212.11 c #Conflicts: 111000 | #Constraints: 16234
211.47/212.11 c #Conflicts: 112000 | #Constraints: 17234
211.47/212.11 c #Conflicts: 113000 | #Constraints: 18234
211.47/212.11 c #Conflicts: 114000 | #Constraints: 19234
211.47/212.11 c #Conflicts: 115000 | #Constraints: 20234
211.47/212.11 c #Conflicts: 116000 | #Constraints: 21234
211.47/212.11 c #Conflicts: 117000 | #Constraints: 22234
211.47/212.11 c INPROCESSING
211.47/212.11 c GARBAGE COLLECT
211.47/212.11 c #Conflicts: 118000 | #Constraints: 16431
211.47/212.11 c #Conflicts: 119000 | #Constraints: 17431
211.47/212.11 c #Conflicts: 120000 | #Constraints: 18431
211.47/212.11 c #Conflicts: 121000 | #Constraints: 19431
211.47/212.11 c #Conflicts: 122000 | #Constraints: 20431
211.47/212.11 c #Conflicts: 123000 | #Constraints: 21431
211.47/212.11 c #Conflicts: 124000 | #Constraints: 22431
211.47/212.11 c INPROCESSING
211.47/212.11 c GARBAGE COLLECT
211.47/212.11 c #Conflicts: 125000 | #Constraints: 16432
211.47/212.11 c #Conflicts: 126000 | #Constraints: 17432
211.47/212.11 c #Conflicts: 127000 | #Constraints: 18432
211.47/212.11 c #Conflicts: 128000 | #Constraints: 19432
211.47/212.11 c #Conflicts: 129000 | #Constraints: 20432
211.47/212.11 c #Conflicts: 130000 | #Constraints: 21432
211.47/212.11 c #Conflicts: 131000 | #Constraints: 22432
211.47/212.11 c INPROCESSING
211.47/212.11 c GARBAGE COLLECT
211.47/212.11 c #Conflicts: 132000 | #Constraints: 16257
211.47/212.11 c #Conflicts: 133000 | #Constraints: 17257
211.47/212.11 c #Conflicts: 134000 | #Constraints: 18257
211.47/212.11 c #Conflicts: 135000 | #Constraints: 19257
211.47/212.11 c #Conflicts: 136000 | #Constraints: 20257
211.47/212.11 c #Conflicts: 137000 | #Constraints: 21257
211.47/212.11 c #Conflicts: 138000 | #Constraints: 22257
211.47/212.11 c #Conflicts: 139000 | #Constraints: 23257
211.47/212.11 c INPROCESSING
211.47/212.11 c GARBAGE COLLECT
211.47/212.11 c #Conflicts: 140000 | #Constraints: 16865
357.71/358.82 c #Conflicts: 141000 | #Constraints: 17865
357.71/358.82 c #Conflicts: 142000 | #Constraints: 18865
357.71/358.82 c #Conflicts: 143000 | #Constraints: 19865
357.71/358.82 c #Conflicts: 144000 | #Constraints: 20865
357.71/358.82 c #Conflicts: 145000 | #Constraints: 21865
357.71/358.82 c #Conflicts: 146000 | #Constraints: 22865
357.71/358.82 c #Conflicts: 147000 | #Constraints: 23865
357.71/358.82 c INPROCESSING
357.71/358.82 c GARBAGE COLLECT
357.71/358.82 c #Conflicts: 148000 | #Constraints: 17282
357.71/358.82 c #Conflicts: 149000 | #Constraints: 18282
357.71/358.82 c #Conflicts: 150000 | #Constraints: 19282
357.71/358.82 c #Conflicts: 151000 | #Constraints: 20282
357.71/358.82 c #Conflicts: 152000 | #Constraints: 21282
357.71/358.82 c #Conflicts: 153000 | #Constraints: 22282
357.71/358.82 c #Conflicts: 154000 | #Constraints: 23282
357.71/358.82 c #Conflicts: 155000 | #Constraints: 24282
357.71/358.82 c INPROCESSING
357.71/358.82 c GARBAGE COLLECT
357.71/358.82 c #Conflicts: 156000 | #Constraints: 17468
357.71/358.82 c #Conflicts: 157000 | #Constraints: 18468
357.71/358.82 c #Conflicts: 158000 | #Constraints: 19468
357.71/358.82 c #Conflicts: 159000 | #Constraints: 20468
357.71/358.82 c #Conflicts: 160000 | #Constraints: 21468
357.71/358.82 c #Conflicts: 161000 | #Constraints: 22468
357.71/358.82 c #Conflicts: 162000 | #Constraints: 23468
357.71/358.82 c #Conflicts: 163000 | #Constraints: 24468
357.71/358.82 c INPROCESSING
357.71/358.82 c GARBAGE COLLECT
357.71/358.82 c #Conflicts: 164000 | #Constraints: 17560
357.71/358.82 c #Conflicts: 165000 | #Constraints: 18560
357.71/358.82 c #Conflicts: 166000 | #Constraints: 19560
357.71/358.82 c #Conflicts: 167000 | #Constraints: 20560
357.71/358.82 c #Conflicts: 168000 | #Constraints: 21560
357.71/358.82 c #Conflicts: 169000 | #Constraints: 22560
357.71/358.82 c #Conflicts: 170000 | #Constraints: 23560
357.71/358.82 c #Conflicts: 171000 | #Constraints: 24560
357.71/358.82 c INPROCESSING
357.71/358.82 c GARBAGE COLLECT
357.71/358.82 c #Conflicts: 172000 | #Constraints: 17308
357.71/358.82 c #Conflicts: 173000 | #Constraints: 18308
357.71/358.82 c #Conflicts: 174000 | #Constraints: 19308
357.71/358.82 c #Conflicts: 175000 | #Constraints: 20308
357.71/358.82 c #Conflicts: 176000 | #Constraints: 21308
357.71/358.82 c #Conflicts: 177000 | #Constraints: 22308
357.71/358.82 c #Conflicts: 178000 | #Constraints: 23308
357.71/358.82 c #Conflicts: 179000 | #Constraints: 24308
357.71/358.82 c #Conflicts: 180000 | #Constraints: 25308
357.71/358.82 c INPROCESSING
357.71/358.82 c GARBAGE COLLECT
357.71/358.82 c #Conflicts: 181000 | #Constraints: 17876
357.71/358.82 c #Conflicts: 182000 | #Constraints: 18876
357.71/358.82 c #Conflicts: 183000 | #Constraints: 19876
357.71/358.82 c #Conflicts: 184000 | #Constraints: 20876
357.71/358.82 c #Conflicts: 185000 | #Constraints: 21876
357.71/358.82 c #Conflicts: 186000 | #Constraints: 22876
357.71/358.82 c #Conflicts: 187000 | #Constraints: 23876
357.71/358.82 c #Conflicts: 188000 | #Constraints: 24876
357.71/358.82 c #Conflicts: 189000 | #Constraints: 25876
357.71/358.82 c INPROCESSING
357.71/358.82 c GARBAGE COLLECT
357.71/358.82 c #Conflicts: 190000 | #Constraints: 18279
357.71/358.82 c #Conflicts: 191000 | #Constraints: 19279
357.71/358.82 c #Conflicts: 192000 | #Constraints: 20279
357.71/358.82 c #Conflicts: 193000 | #Constraints: 21279
357.71/358.82 c #Conflicts: 194000 | #Constraints: 22279
357.71/358.82 c #Conflicts: 195000 | #Constraints: 23279
357.71/358.82 c #Conflicts: 196000 | #Constraints: 24279
357.71/358.82 c #Conflicts: 197000 | #Constraints: 25279
357.71/358.82 c #Conflicts: 198000 | #Constraints: 26279
357.71/358.82 c INPROCESSING
357.71/358.82 c GARBAGE COLLECT
357.71/358.82 c #Conflicts: 199000 | #Constraints: 18483
357.71/358.82 c #Conflicts: 200000 | #Constraints: 19483
357.71/358.82 c #Conflicts: 201000 | #Constraints: 20483
357.71/358.82 c #Conflicts: 202000 | #Constraints: 21483
357.71/358.82 c #Conflicts: 203000 | #Constraints: 22483
357.71/358.82 c #Conflicts: 204000 | #Constraints: 23483
357.71/358.82 c #Conflicts: 205000 | #Constraints: 24483
357.71/358.82 c #Conflicts: 206000 | #Constraints: 25483
357.71/358.82 c #Conflicts: 207000 | #Constraints: 26483
357.71/358.82 c INPROCESSING
357.71/358.82 c GARBAGE COLLECT
357.71/358.82 c #Conflicts: 208000 | #Constraints: 18528
357.71/358.82 c #Conflicts: 209000 | #Constraints: 19528
357.71/358.82 c #Conflicts: 210000 | #Constraints: 20528
357.71/358.82 c #Conflicts: 211000 | #Constraints: 21528
357.71/358.82 c #Conflicts: 212000 | #Constraints: 22528
357.71/358.82 c #Conflicts: 213000 | #Constraints: 23528
650.16/652.17 c #Conflicts: 214000 | #Constraints: 24528
650.16/652.17 c #Conflicts: 215000 | #Constraints: 25528
650.16/652.17 c #Conflicts: 216000 | #Constraints: 26528
650.16/652.17 c INPROCESSING
650.16/652.17 c GARBAGE COLLECT
650.16/652.17 c #Conflicts: 217000 | #Constraints: 18302
650.16/652.17 c #Conflicts: 218000 | #Constraints: 19302
650.16/652.17 c #Conflicts: 219000 | #Constraints: 20302
650.16/652.17 c #Conflicts: 220000 | #Constraints: 21302
650.16/652.17 c #Conflicts: 221000 | #Constraints: 22302
650.16/652.17 c #Conflicts: 222000 | #Constraints: 23302
650.16/652.17 c #Conflicts: 223000 | #Constraints: 24302
650.16/652.17 c #Conflicts: 224000 | #Constraints: 25302
650.16/652.17 c #Conflicts: 225000 | #Constraints: 26302
650.16/652.17 c #Conflicts: 226000 | #Constraints: 27302
650.16/652.17 c INPROCESSING
650.16/652.17 c GARBAGE COLLECT
650.16/652.17 c #Conflicts: 227000 | #Constraints: 18893
650.16/652.17 c #Conflicts: 228000 | #Constraints: 19893
650.16/652.17 c #Conflicts: 229000 | #Constraints: 20893
650.16/652.17 c #Conflicts: 230000 | #Constraints: 21893
650.16/652.17 c #Conflicts: 231000 | #Constraints: 22893
650.16/652.17 c #Conflicts: 232000 | #Constraints: 23893
650.16/652.17 c #Conflicts: 233000 | #Constraints: 24893
650.16/652.17 c #Conflicts: 234000 | #Constraints: 25893
650.16/652.17 c #Conflicts: 235000 | #Constraints: 26893
650.16/652.17 c #Conflicts: 236000 | #Constraints: 27893
650.16/652.17 c INPROCESSING
650.16/652.17 c GARBAGE COLLECT
650.16/652.17 c #Conflicts: 237000 | #Constraints: 19271
650.16/652.17 c #Conflicts: 238000 | #Constraints: 20271
650.16/652.17 c #Conflicts: 239000 | #Constraints: 21271
650.16/652.17 c #Conflicts: 240000 | #Constraints: 22271
650.16/652.17 c #Conflicts: 241000 | #Constraints: 23271
650.16/652.17 c #Conflicts: 242000 | #Constraints: 24271
650.16/652.17 c #Conflicts: 243000 | #Constraints: 25271
650.16/652.17 c #Conflicts: 244000 | #Constraints: 26271
650.16/652.17 c #Conflicts: 245000 | #Constraints: 27271
650.16/652.17 c #Conflicts: 246000 | #Constraints: 28271
650.16/652.17 c INPROCESSING
650.16/652.17 c GARBAGE COLLECT
650.16/652.17 c #Conflicts: 247000 | #Constraints: 19510
650.16/652.17 c #Conflicts: 248000 | #Constraints: 20510
650.16/652.17 c #Conflicts: 249000 | #Constraints: 21510
650.16/652.17 c #Conflicts: 250000 | #Constraints: 22510
650.16/652.17 c #Conflicts: 251000 | #Constraints: 23510
650.16/652.17 c #Conflicts: 252000 | #Constraints: 24510
650.16/652.17 c #Conflicts: 253000 | #Constraints: 25510
650.16/652.17 c #Conflicts: 254000 | #Constraints: 26510
650.16/652.17 c #Conflicts: 255000 | #Constraints: 27510
650.16/652.17 c #Conflicts: 256000 | #Constraints: 28510
650.16/652.17 c INPROCESSING
650.16/652.17 c GARBAGE COLLECT
650.16/652.17 c #Conflicts: 257000 | #Constraints: 19479
650.16/652.17 c #Conflicts: 258000 | #Constraints: 20479
650.16/652.17 c #Conflicts: 259000 | #Constraints: 21479
650.16/652.17 c #Conflicts: 260000 | #Constraints: 22479
650.16/652.17 c #Conflicts: 261000 | #Constraints: 23479
650.16/652.17 c #Conflicts: 262000 | #Constraints: 24479
650.16/652.17 c #Conflicts: 263000 | #Constraints: 25479
650.16/652.17 c #Conflicts: 264000 | #Constraints: 26479
650.16/652.17 c #Conflicts: 265000 | #Constraints: 27479
650.16/652.17 c #Conflicts: 266000 | #Constraints: 28479
650.16/652.17 c INPROCESSING
650.16/652.17 c GARBAGE COLLECT
650.16/652.17 c #Conflicts: 267000 | #Constraints: 19371
650.16/652.17 c #Conflicts: 268000 | #Constraints: 20371
650.16/652.17 c #Conflicts: 269000 | #Constraints: 21371
650.16/652.17 c #Conflicts: 270000 | #Constraints: 22371
650.16/652.17 c #Conflicts: 271000 | #Constraints: 23371
650.16/652.17 c #Conflicts: 272000 | #Constraints: 24371
650.16/652.17 c #Conflicts: 273000 | #Constraints: 25371
650.16/652.17 c #Conflicts: 274000 | #Constraints: 26371
650.16/652.17 c #Conflicts: 275000 | #Constraints: 27371
650.16/652.17 c #Conflicts: 276000 | #Constraints: 28371
650.16/652.17 c #Conflicts: 277000 | #Constraints: 29371
650.16/652.17 c INPROCESSING
650.16/652.17 c GARBAGE COLLECT
650.16/652.17 c #Conflicts: 278000 | #Constraints: 19905
650.16/652.17 c #Conflicts: 279000 | #Constraints: 20905
650.16/652.17 c #Conflicts: 280000 | #Constraints: 21905
650.16/652.17 c #Conflicts: 281000 | #Constraints: 22905
650.16/652.17 c #Conflicts: 282000 | #Constraints: 23905
650.16/652.17 c #Conflicts: 283000 | #Constraints: 24905
650.16/652.17 c #Conflicts: 284000 | #Constraints: 25905
650.16/652.17 c #Conflicts: 285000 | #Constraints: 26905
650.16/652.17 c #Conflicts: 286000 | #Constraints: 27905
650.16/652.17 c #Conflicts: 287000 | #Constraints: 28905
650.16/652.17 c #Conflicts: 288000 | #Constraints: 29905
870.50/873.15 c INPROCESSING
870.50/873.15 c GARBAGE COLLECT
870.50/873.15 c #Conflicts: 289000 | #Constraints: 20276
870.50/873.15 c #Conflicts: 290000 | #Constraints: 21276
870.50/873.15 c #Conflicts: 291000 | #Constraints: 22276
870.50/873.15 c #Conflicts: 292000 | #Constraints: 23276
870.50/873.15 c #Conflicts: 293000 | #Constraints: 24276
870.50/873.15 c #Conflicts: 294000 | #Constraints: 25276
870.50/873.15 c #Conflicts: 295000 | #Constraints: 26276
870.50/873.15 c #Conflicts: 296000 | #Constraints: 27276
870.50/873.15 c #Conflicts: 297000 | #Constraints: 28276
870.50/873.15 c #Conflicts: 298000 | #Constraints: 29276
870.50/873.15 c #Conflicts: 299000 | #Constraints: 30276
870.50/873.15 c INPROCESSING
870.50/873.15 c GARBAGE COLLECT
870.50/873.15 c #Conflicts: 300000 | #Constraints: 20478
870.50/873.15 c #Conflicts: 301000 | #Constraints: 21478
870.50/873.15 c #Conflicts: 302000 | #Constraints: 22478
870.50/873.15 c #Conflicts: 303000 | #Constraints: 23478
870.50/873.15 c #Conflicts: 304000 | #Constraints: 24478
870.50/873.15 c #Conflicts: 305000 | #Constraints: 25478
870.50/873.15 c #Conflicts: 306000 | #Constraints: 26478
870.50/873.15 c #Conflicts: 307000 | #Constraints: 27478
870.50/873.15 c #Conflicts: 308000 | #Constraints: 28478
870.50/873.15 c #Conflicts: 309000 | #Constraints: 29478
870.50/873.15 c #Conflicts: 310000 | #Constraints: 30478
870.50/873.15 c INPROCESSING
870.50/873.15 c GARBAGE COLLECT
870.50/873.15 c #Conflicts: 311000 | #Constraints: 20462
870.50/873.15 c #Conflicts: 312000 | #Constraints: 21462
870.50/873.15 c #Conflicts: 313000 | #Constraints: 22462
870.50/873.15 c #Conflicts: 314000 | #Constraints: 23462
870.50/873.15 c #Conflicts: 315000 | #Constraints: 24462
870.50/873.15 c #Conflicts: 316000 | #Constraints: 25462
870.50/873.15 c #Conflicts: 317000 | #Constraints: 26462
870.50/873.15 c #Conflicts: 318000 | #Constraints: 27462
870.50/873.15 c #Conflicts: 319000 | #Constraints: 28462
870.50/873.15 c #Conflicts: 320000 | #Constraints: 29462
870.50/873.15 c #Conflicts: 321000 | #Constraints: 30462
870.50/873.15 c INPROCESSING
870.50/873.15 c GARBAGE COLLECT
870.50/873.15 c #Conflicts: 322000 | #Constraints: 20304
870.50/873.15 c #Conflicts: 323000 | #Constraints: 21304
870.50/873.15 c #Conflicts: 324000 | #Constraints: 22304
870.50/873.16 c #Conflicts: 325000 | #Constraints: 23304
870.50/873.16 c #Conflicts: 326000 | #Constraints: 24304
870.50/873.16 c #Conflicts: 327000 | #Constraints: 25304
870.50/873.16 c #Conflicts: 328000 | #Constraints: 26304
870.50/873.16 c #Conflicts: 329000 | #Constraints: 27304
870.50/873.16 c #Conflicts: 330000 | #Constraints: 28304
870.50/873.16 c #Conflicts: 331000 | #Constraints: 29304
870.50/873.16 c #Conflicts: 332000 | #Constraints: 30304
870.50/873.16 c #Conflicts: 333000 | #Constraints: 31304
870.50/873.16 c INPROCESSING
870.50/873.16 c GARBAGE COLLECT
870.50/873.16 c #Conflicts: 334000 | #Constraints: 20886
870.50/873.16 c #Conflicts: 335000 | #Constraints: 21886
870.50/873.16 c #Conflicts: 336000 | #Constraints: 22886
870.50/873.16 c #Conflicts: 337000 | #Constraints: 23886
870.50/873.16 c #Conflicts: 338000 | #Constraints: 24886
870.50/873.16 c #Conflicts: 339000 | #Constraints: 25886
870.50/873.16 c #Conflicts: 340000 | #Constraints: 26886
870.50/873.16 c #Conflicts: 341000 | #Constraints: 27886
870.50/873.16 c #Conflicts: 342000 | #Constraints: 28886
870.50/873.16 c #Conflicts: 343000 | #Constraints: 29886
870.50/873.16 c #Conflicts: 344000 | #Constraints: 30886
870.50/873.16 c #Conflicts: 345000 | #Constraints: 31886
870.50/873.16 c INPROCESSING
870.50/873.16 c GARBAGE COLLECT
870.50/873.16 c #Conflicts: 346000 | #Constraints: 21262
870.50/873.16 c #Conflicts: 347000 | #Constraints: 22262
870.50/873.16 c #Conflicts: 348000 | #Constraints: 23262
870.50/873.16 c #Conflicts: 349000 | #Constraints: 24262
870.50/873.16 c #Conflicts: 350000 | #Constraints: 25262
870.50/873.16 c #Conflicts: 351000 | #Constraints: 26262
870.50/873.16 c #Conflicts: 352000 | #Constraints: 27262
870.50/873.16 c #Conflicts: 353000 | #Constraints: 28262
870.50/873.16 c #Conflicts: 354000 | #Constraints: 29262
870.50/873.16 c #Conflicts: 355000 | #Constraints: 30262
870.50/873.16 c #Conflicts: 356000 | #Constraints: 31262
870.50/873.16 c #Conflicts: 357000 | #Constraints: 32262
870.50/873.16 c INPROCESSING
870.50/873.16 c GARBAGE COLLECT
870.50/873.16 c #Conflicts: 358000 | #Constraints: 21475
870.50/873.16 c #Conflicts: 359000 | #Constraints: 22475
870.50/873.16 c #Conflicts: 360000 | #Constraints: 23475
870.50/873.16 c #Conflicts: 361000 | #Constraints: 24475
870.50/873.16 c #Conflicts: 362000 | #Constraints: 25475
1124.43/1127.87 c #Conflicts: 363000 | #Constraints: 26475
1124.43/1127.87 c #Conflicts: 364000 | #Constraints: 27475
1124.43/1127.87 c #Conflicts: 365000 | #Constraints: 28475
1124.43/1127.87 c #Conflicts: 366000 | #Constraints: 29475
1124.43/1127.87 c #Conflicts: 367000 | #Constraints: 30475
1124.43/1127.87 c #Conflicts: 368000 | #Constraints: 31475
1124.43/1127.87 c #Conflicts: 369000 | #Constraints: 32475
1124.43/1127.87 c INPROCESSING
1124.43/1127.87 c GARBAGE COLLECT
1124.43/1127.87 c #Conflicts: 370000 | #Constraints: 21471
1124.43/1127.87 c #Conflicts: 371000 | #Constraints: 22471
1124.43/1127.87 c #Conflicts: 372000 | #Constraints: 23471
1124.43/1127.87 c #Conflicts: 373000 | #Constraints: 24471
1124.43/1127.87 c #Conflicts: 374000 | #Constraints: 25471
1124.43/1127.87 c #Conflicts: 375000 | #Constraints: 26471
1124.43/1127.87 c #Conflicts: 376000 | #Constraints: 27471
1124.43/1127.87 c #Conflicts: 377000 | #Constraints: 28471
1124.43/1127.87 c #Conflicts: 378000 | #Constraints: 29471
1124.43/1127.87 c #Conflicts: 379000 | #Constraints: 30471
1124.43/1127.87 c #Conflicts: 380000 | #Constraints: 31471
1124.43/1127.87 c #Conflicts: 381000 | #Constraints: 32471
1124.43/1127.87 c INPROCESSING
1124.43/1127.87 c GARBAGE COLLECT
1124.43/1127.87 c #Conflicts: 382000 | #Constraints: 21267
1124.43/1127.87 c #Conflicts: 383000 | #Constraints: 22267
1124.43/1127.87 c #Conflicts: 384000 | #Constraints: 23267
1124.43/1127.87 c #Conflicts: 385000 | #Constraints: 24267
1124.43/1127.87 c #Conflicts: 386000 | #Constraints: 25267
1124.43/1127.87 c #Conflicts: 387000 | #Constraints: 26267
1124.43/1127.87 c #Conflicts: 388000 | #Constraints: 27267
1124.43/1127.87 c #Conflicts: 389000 | #Constraints: 28267
1124.43/1127.87 c #Conflicts: 390000 | #Constraints: 29267
1124.43/1127.87 c #Conflicts: 391000 | #Constraints: 30267
1124.43/1127.87 c #Conflicts: 392000 | #Constraints: 31267
1124.43/1127.87 c #Conflicts: 393000 | #Constraints: 32267
1124.43/1127.87 c #Conflicts: 394000 | #Constraints: 33267
1124.43/1127.87 c INPROCESSING
1124.43/1127.87 c GARBAGE COLLECT
1124.43/1127.87 c #Conflicts: 395000 | #Constraints: 21875
1124.43/1127.87 c #Conflicts: 396000 | #Constraints: 22875
1124.43/1127.87 c #Conflicts: 397000 | #Constraints: 23875
1124.43/1127.87 c #Conflicts: 398000 | #Constraints: 24875
1124.43/1127.87 c #Conflicts: 399000 | #Constraints: 25875
1124.43/1127.87 c #Conflicts: 400000 | #Constraints: 26875
1124.43/1127.87 c #Conflicts: 401000 | #Constraints: 27875
1124.43/1127.87 c #Conflicts: 402000 | #Constraints: 28875
1124.43/1127.87 c #Conflicts: 403000 | #Constraints: 29875
1124.43/1127.87 c #Conflicts: 404000 | #Constraints: 30875
1124.43/1127.87 c #Conflicts: 405000 | #Constraints: 31875
1124.43/1127.87 c #Conflicts: 406000 | #Constraints: 32875
1124.43/1127.87 c #Conflicts: 407000 | #Constraints: 33875
1124.43/1127.87 c INPROCESSING
1124.43/1127.87 c GARBAGE COLLECT
1124.43/1127.87 c #Conflicts: 408000 | #Constraints: 22256
1124.43/1127.87 c #Conflicts: 409000 | #Constraints: 23256
1124.43/1127.87 c #Conflicts: 410000 | #Constraints: 24256
1124.43/1127.87 c #Conflicts: 411000 | #Constraints: 25256
1124.43/1127.87 c #Conflicts: 412000 | #Constraints: 26256
1124.43/1127.87 c #Conflicts: 413000 | #Constraints: 27256
1124.43/1127.87 c #Conflicts: 414000 | #Constraints: 28256
1124.43/1127.87 c #Conflicts: 415000 | #Constraints: 29256
1124.43/1127.87 c #Conflicts: 416000 | #Constraints: 30256
1124.43/1127.87 c #Conflicts: 417000 | #Constraints: 31256
1124.43/1127.87 c #Conflicts: 418000 | #Constraints: 32256
1124.43/1127.87 c #Conflicts: 419000 | #Constraints: 33256
1124.43/1127.87 c #Conflicts: 420000 | #Constraints: 34256
1124.43/1127.87 c INPROCESSING
1124.43/1127.87 c GARBAGE COLLECT
1124.43/1127.87 c #Conflicts: 421000 | #Constraints: 22508
1124.43/1127.87 c #Conflicts: 422000 | #Constraints: 23508
1124.43/1127.87 c #Conflicts: 423000 | #Constraints: 24508
1124.43/1127.87 c #Conflicts: 424000 | #Constraints: 25508
1124.43/1127.87 c #Conflicts: 425000 | #Constraints: 26508
1124.43/1127.87 c #Conflicts: 426000 | #Constraints: 27508
1124.43/1127.87 c #Conflicts: 427000 | #Constraints: 28508
1124.43/1127.87 c #Conflicts: 428000 | #Constraints: 29508
1124.43/1127.87 c #Conflicts: 429000 | #Constraints: 30508
1124.43/1127.87 c #Conflicts: 430000 | #Constraints: 31508
1124.43/1127.87 c #Conflicts: 431000 | #Constraints: 32508
1124.43/1127.87 c #Conflicts: 432000 | #Constraints: 33508
1124.43/1127.87 c #Conflicts: 433000 | #Constraints: 34508
1124.43/1127.87 c INPROCESSING
1124.43/1127.87 c GARBAGE COLLECT
1124.43/1127.87 c #Conflicts: 434000 | #Constraints: 22478
1124.43/1127.87 c #Conflicts: 435000 | #Constraints: 23478
1124.43/1127.87 c #Conflicts: 436000 | #Constraints: 24478
1124.43/1127.87 c #Conflicts: 437000 | #Constraints: 25478
1332.50/1336.58 c #Conflicts: 438000 | #Constraints: 26478
1332.50/1336.58 c #Conflicts: 439000 | #Constraints: 27478
1332.50/1336.58 c #Conflicts: 440000 | #Constraints: 28478
1332.50/1336.58 c #Conflicts: 441000 | #Constraints: 29478
1332.50/1336.58 c #Conflicts: 442000 | #Constraints: 30478
1332.50/1336.58 c #Conflicts: 443000 | #Constraints: 31478
1332.50/1336.58 c #Conflicts: 444000 | #Constraints: 32478
1332.50/1336.58 c #Conflicts: 445000 | #Constraints: 33478
1332.50/1336.58 c #Conflicts: 446000 | #Constraints: 34478
1332.50/1336.58 c INPROCESSING
1332.50/1336.58 c GARBAGE COLLECT
1332.50/1336.58 c #Conflicts: 447000 | #Constraints: 22267
1332.50/1336.58 c #Conflicts: 448000 | #Constraints: 23267
1332.50/1336.58 c #Conflicts: 449000 | #Constraints: 24267
1332.50/1336.58 c #Conflicts: 450000 | #Constraints: 25267
1332.50/1336.58 c #Conflicts: 451000 | #Constraints: 26267
1332.50/1336.58 c #Conflicts: 452000 | #Constraints: 27267
1332.50/1336.58 c #Conflicts: 453000 | #Constraints: 28267
1332.50/1336.58 c #Conflicts: 454000 | #Constraints: 29267
1332.50/1336.58 c #Conflicts: 455000 | #Constraints: 30267
1332.50/1336.58 c #Conflicts: 456000 | #Constraints: 31267
1332.50/1336.58 c #Conflicts: 457000 | #Constraints: 32267
1332.50/1336.58 c #Conflicts: 458000 | #Constraints: 33267
1332.50/1336.58 c #Conflicts: 459000 | #Constraints: 34267
1332.50/1336.58 c #Conflicts: 460000 | #Constraints: 35267
1332.50/1336.58 c INPROCESSING
1332.50/1336.58 c GARBAGE COLLECT
1332.50/1336.58 c #Conflicts: 461000 | #Constraints: 22870
1332.50/1336.58 c #Conflicts: 462000 | #Constraints: 23870
1332.50/1336.58 c #Conflicts: 463000 | #Constraints: 24870
1332.50/1336.58 c #Conflicts: 464000 | #Constraints: 25870
1332.50/1336.58 c #Conflicts: 465000 | #Constraints: 26870
1332.50/1336.58 c #Conflicts: 466000 | #Constraints: 27870
1332.50/1336.58 c #Conflicts: 467000 | #Constraints: 28870
1332.50/1336.58 c #Conflicts: 468000 | #Constraints: 29870
1332.50/1336.58 c #Conflicts: 469000 | #Constraints: 30870
1332.50/1336.58 c #Conflicts: 470000 | #Constraints: 31870
1332.50/1336.58 c #Conflicts: 471000 | #Constraints: 32870
1332.50/1336.58 c #Conflicts: 472000 | #Constraints: 33870
1332.50/1336.58 c #Conflicts: 473000 | #Constraints: 34870
1332.50/1336.58 c #Conflicts: 474000 | #Constraints: 35870
1332.50/1336.58 c INPROCESSING
1332.50/1336.58 c GARBAGE COLLECT
1332.50/1336.58 c #Conflicts: 475000 | #Constraints: 23414
1332.50/1336.58 c #Conflicts: 476000 | #Constraints: 24414
1332.50/1336.58 c #Conflicts: 477000 | #Constraints: 25414
1332.50/1336.58 c #Conflicts: 478000 | #Constraints: 26414
1332.50/1336.58 c #Conflicts: 479000 | #Constraints: 27414
1332.50/1336.58 c #Conflicts: 480000 | #Constraints: 28414
1332.50/1336.58 c #Conflicts: 481000 | #Constraints: 29414
1332.50/1336.58 c #Conflicts: 482000 | #Constraints: 30414
1332.50/1336.58 c #Conflicts: 483000 | #Constraints: 31414
1332.50/1336.58 c #Conflicts: 484000 | #Constraints: 32414
1332.50/1336.58 c #Conflicts: 485000 | #Constraints: 33414
1332.50/1336.58 c #Conflicts: 486000 | #Constraints: 34414
1332.50/1336.58 c #Conflicts: 487000 | #Constraints: 35414
1332.50/1336.58 c #Conflicts: 488000 | #Constraints: 36414
1332.50/1336.58 c INPROCESSING
1332.50/1336.58 c GARBAGE COLLECT
1332.50/1336.58 c #Conflicts: 489000 | #Constraints: 23737
1332.50/1336.58 c #Conflicts: 490000 | #Constraints: 24737
1332.50/1336.58 c #Conflicts: 491000 | #Constraints: 25737
1332.50/1336.58 c #Conflicts: 492000 | #Constraints: 26737
1332.50/1336.58 c #Conflicts: 493000 | #Constraints: 27737
1332.50/1336.58 c #Conflicts: 494000 | #Constraints: 28737
1332.50/1336.58 c #Conflicts: 495000 | #Constraints: 29737
1332.50/1336.58 c #Conflicts: 496000 | #Constraints: 30737
1332.50/1336.58 c #Conflicts: 497000 | #Constraints: 31737
1332.50/1336.58 c #Conflicts: 498000 | #Constraints: 32737
1332.50/1336.58 c #Conflicts: 499000 | #Constraints: 33737
1332.50/1336.58 c #Conflicts: 500000 | #Constraints: 34737
1332.50/1336.58 c #Conflicts: 501000 | #Constraints: 35737
1332.50/1336.58 c #Conflicts: 502000 | #Constraints: 36737
1332.50/1336.58 c INPROCESSING
1332.50/1336.58 c GARBAGE COLLECT
1332.50/1336.58 c #Conflicts: 503000 | #Constraints: 23595
1332.50/1336.58 c #Conflicts: 504000 | #Constraints: 24595
1332.50/1336.58 c #Conflicts: 505000 | #Constraints: 25595
1332.50/1336.58 c #Conflicts: 506000 | #Constraints: 26595
1332.50/1336.58 c #Conflicts: 507000 | #Constraints: 27595
1332.50/1336.58 c #Conflicts: 508000 | #Constraints: 28595
1332.50/1336.58 c #Conflicts: 509000 | #Constraints: 29595
1332.50/1336.58 c #Conflicts: 510000 | #Constraints: 30595
1332.50/1336.58 c #Conflicts: 511000 | #Constraints: 31595
1332.50/1336.58 c #Conflicts: 512000 | #Constraints: 32595
1332.50/1336.58 c #Conflicts: 513000 | #Constraints: 33595
1664.29/1669.31 c #Conflicts: 514000 | #Constraints: 34595
1664.29/1669.31 c #Conflicts: 515000 | #Constraints: 35595
1664.29/1669.31 c #Conflicts: 516000 | #Constraints: 36595
1664.29/1669.31 c INPROCESSING
1664.29/1669.31 c GARBAGE COLLECT
1664.29/1669.31 c #Conflicts: 517000 | #Constraints: 23330
1664.29/1669.31 c #Conflicts: 518000 | #Constraints: 24330
1664.29/1669.31 c #Conflicts: 519000 | #Constraints: 25330
1664.29/1669.31 c #Conflicts: 520000 | #Constraints: 26330
1664.29/1669.31 c #Conflicts: 521000 | #Constraints: 27330
1664.29/1669.31 c #Conflicts: 522000 | #Constraints: 28330
1664.29/1669.31 c #Conflicts: 523000 | #Constraints: 29330
1664.29/1669.31 c #Conflicts: 524000 | #Constraints: 30330
1664.29/1669.31 c #Conflicts: 525000 | #Constraints: 31330
1664.29/1669.31 c #Conflicts: 526000 | #Constraints: 32330
1664.29/1669.31 c #Conflicts: 527000 | #Constraints: 33330
1664.29/1669.31 c #Conflicts: 528000 | #Constraints: 34330
1664.29/1669.31 c #Conflicts: 529000 | #Constraints: 35330
1664.29/1669.31 c #Conflicts: 530000 | #Constraints: 36330
1664.29/1669.31 c #Conflicts: 531000 | #Constraints: 37330
1664.29/1669.31 c INPROCESSING
1664.29/1669.31 c GARBAGE COLLECT
1664.29/1669.31 c #Conflicts: 532000 | #Constraints: 23965
1664.29/1669.31 c #Conflicts: 533000 | #Constraints: 24965
1664.29/1669.31 c #Conflicts: 534000 | #Constraints: 25965
1664.29/1669.31 c #Conflicts: 535000 | #Constraints: 26965
1664.29/1669.31 c #Conflicts: 536000 | #Constraints: 27965
1664.29/1669.31 c #Conflicts: 537000 | #Constraints: 28965
1664.29/1669.31 c #Conflicts: 538000 | #Constraints: 29965
1664.29/1669.31 c #Conflicts: 539000 | #Constraints: 30965
1664.29/1669.31 c #Conflicts: 540000 | #Constraints: 31965
1664.29/1669.31 c #Conflicts: 541000 | #Constraints: 32965
1664.29/1669.31 c #Conflicts: 542000 | #Constraints: 33965
1664.29/1669.31 c #Conflicts: 543000 | #Constraints: 34965
1664.29/1669.31 c #Conflicts: 544000 | #Constraints: 35965
1664.29/1669.31 c #Conflicts: 545000 | #Constraints: 36965
1664.29/1669.31 c #Conflicts: 546000 | #Constraints: 37965
1664.29/1669.31 c INPROCESSING
1664.29/1669.31 c GARBAGE COLLECT
1664.29/1669.31 c #Conflicts: 547000 | #Constraints: 24327
1664.29/1669.31 c #Conflicts: 548000 | #Constraints: 25327
1664.29/1669.31 c #Conflicts: 549000 | #Constraints: 26327
1664.29/1669.31 c #Conflicts: 550000 | #Constraints: 27327
1664.29/1669.31 c #Conflicts: 551000 | #Constraints: 28327
1664.29/1669.31 c #Conflicts: 552000 | #Constraints: 29327
1664.29/1669.31 c #Conflicts: 553000 | #Constraints: 30327
1664.29/1669.31 c #Conflicts: 554000 | #Constraints: 31327
1664.29/1669.31 c #Conflicts: 555000 | #Constraints: 32327
1664.29/1669.31 c #Conflicts: 556000 | #Constraints: 33327
1664.29/1669.31 c #Conflicts: 557000 | #Constraints: 34327
1664.29/1669.31 c #Conflicts: 558000 | #Constraints: 35327
1664.29/1669.31 c #Conflicts: 559000 | #Constraints: 36327
1664.29/1669.31 c #Conflicts: 560000 | #Constraints: 37327
1664.29/1669.31 c #Conflicts: 561000 | #Constraints: 38327
1664.29/1669.31 c INPROCESSING
1664.29/1669.31 c GARBAGE COLLECT
1664.29/1669.31 c #Conflicts: 562000 | #Constraints: 24483
1664.29/1669.31 c #Conflicts: 563000 | #Constraints: 25483
1664.29/1669.31 c #Conflicts: 564000 | #Constraints: 26483
1664.29/1669.31 c #Conflicts: 565000 | #Constraints: 27483
1664.29/1669.31 c #Conflicts: 566000 | #Constraints: 28483
1664.29/1669.31 c #Conflicts: 567000 | #Constraints: 29483
1664.29/1669.31 c #Conflicts: 568000 | #Constraints: 30483
1664.29/1669.31 c #Conflicts: 569000 | #Constraints: 31483
1664.29/1669.31 c #Conflicts: 570000 | #Constraints: 32483
1664.29/1669.31 c #Conflicts: 571000 | #Constraints: 33483
1664.29/1669.31 c #Conflicts: 572000 | #Constraints: 34483
1664.29/1669.31 c #Conflicts: 573000 | #Constraints: 35483
1664.29/1669.31 c #Conflicts: 574000 | #Constraints: 36483
1664.29/1669.31 c #Conflicts: 575000 | #Constraints: 37483
1664.29/1669.31 c #Conflicts: 576000 | #Constraints: 38483
1664.29/1669.31 c INPROCESSING
1664.29/1669.31 c GARBAGE COLLECT
1664.29/1669.31 c #Conflicts: 577000 | #Constraints: 24592
1664.29/1669.31 c #Conflicts: 578000 | #Constraints: 25592
1664.29/1669.31 c #Conflicts: 579000 | #Constraints: 26592
1664.29/1669.31 c #Conflicts: 580000 | #Constraints: 27592
1664.29/1669.31 c #Conflicts: 581000 | #Constraints: 28592
1664.29/1669.31 c #Conflicts: 582000 | #Constraints: 29592
1664.29/1669.31 c #Conflicts: 583000 | #Constraints: 30592
1664.29/1669.31 c #Conflicts: 584000 | #Constraints: 31592
1664.29/1669.31 c #Conflicts: 585000 | #Constraints: 32592
1664.29/1669.31 c #Conflicts: 586000 | #Constraints: 33592
1664.29/1669.31 c #Conflicts: 587000 | #Constraints: 34592
1664.29/1669.31 c #Conflicts: 588000 | #Constraints: 35592
1977.90/1983.87 c #Conflicts: 589000 | #Constraints: 36592
1977.90/1983.87 c #Conflicts: 590000 | #Constraints: 37592
1977.90/1983.87 c #Conflicts: 591000 | #Constraints: 38592
1977.90/1983.87 c INPROCESSING
1977.90/1983.87 c GARBAGE COLLECT
1977.90/1983.87 c #Conflicts: 592000 | #Constraints: 24337
1977.90/1983.87 c #Conflicts: 593000 | #Constraints: 25337
1977.90/1983.87 c #Conflicts: 594000 | #Constraints: 26337
1977.90/1983.87 c #Conflicts: 595000 | #Constraints: 27337
1977.90/1983.87 c #Conflicts: 596000 | #Constraints: 28337
1977.90/1983.87 c #Conflicts: 597000 | #Constraints: 29337
1977.90/1983.87 c #Conflicts: 598000 | #Constraints: 30337
1977.90/1983.87 c #Conflicts: 599000 | #Constraints: 31337
1977.90/1983.87 c #Conflicts: 600000 | #Constraints: 32337
1977.90/1983.87 c #Conflicts: 601000 | #Constraints: 33337
1977.90/1983.87 c #Conflicts: 602000 | #Constraints: 34337
1977.90/1983.87 c #Conflicts: 603000 | #Constraints: 35337
1977.90/1983.87 c #Conflicts: 604000 | #Constraints: 36337
1977.90/1983.87 c #Conflicts: 605000 | #Constraints: 37337
1977.90/1983.87 c #Conflicts: 606000 | #Constraints: 38337
1977.90/1983.87 c #Conflicts: 607000 | #Constraints: 39337
1977.90/1983.87 c INPROCESSING
1977.90/1983.87 c GARBAGE COLLECT
1977.90/1983.87 c #Conflicts: 608000 | #Constraints: 24965
1977.90/1983.87 c #Conflicts: 609000 | #Constraints: 25965
1977.90/1983.87 c #Conflicts: 610000 | #Constraints: 26965
1977.90/1983.87 c #Conflicts: 611000 | #Constraints: 27965
1977.90/1983.87 c #Conflicts: 612000 | #Constraints: 28965
1977.90/1983.87 c #Conflicts: 613000 | #Constraints: 29965
1977.90/1983.87 c #Conflicts: 614000 | #Constraints: 30965
1977.90/1983.87 c #Conflicts: 615000 | #Constraints: 31965
1977.90/1983.87 c #Conflicts: 616000 | #Constraints: 32965
1977.90/1983.87 c #Conflicts: 617000 | #Constraints: 33965
1977.90/1983.87 c #Conflicts: 618000 | #Constraints: 34965
1977.90/1983.87 c #Conflicts: 619000 | #Constraints: 35965
1977.90/1983.87 c #Conflicts: 620000 | #Constraints: 36965
1977.90/1983.87 c #Conflicts: 621000 | #Constraints: 37965
1977.90/1983.87 c #Conflicts: 622000 | #Constraints: 38965
1977.90/1983.87 c #Conflicts: 623000 | #Constraints: 39965
1977.90/1983.87 c INPROCESSING
1977.90/1983.87 c GARBAGE COLLECT
1977.90/1983.87 c #Conflicts: 624000 | #Constraints: 25327
1977.90/1983.87 c #Conflicts: 625000 | #Constraints: 26327
1977.90/1983.87 c #Conflicts: 626000 | #Constraints: 27327
1977.90/1983.87 c #Conflicts: 627000 | #Constraints: 28327
1977.90/1983.87 c #Conflicts: 628000 | #Constraints: 29327
1977.90/1983.87 c #Conflicts: 629000 | #Constraints: 30327
1977.90/1983.87 c #Conflicts: 630000 | #Constraints: 31327
1977.90/1983.87 c #Conflicts: 631000 | #Constraints: 32327
1977.90/1983.87 c #Conflicts: 632000 | #Constraints: 33327
1977.90/1983.87 c #Conflicts: 633000 | #Constraints: 34327
1977.90/1983.87 c #Conflicts: 634000 | #Constraints: 35327
1977.90/1983.87 c #Conflicts: 635000 | #Constraints: 36327
1977.90/1983.87 c #Conflicts: 636000 | #Constraints: 37327
1977.90/1983.87 c #Conflicts: 637000 | #Constraints: 38327
1977.90/1983.87 c #Conflicts: 638000 | #Constraints: 39327
1977.90/1983.87 c #Conflicts: 639000 | #Constraints: 40327
1977.90/1983.87 c INPROCESSING
1977.90/1983.87 c GARBAGE COLLECT
1977.90/1983.87 c #Conflicts: 640000 | #Constraints: 25493
1977.90/1983.87 c #Conflicts: 641000 | #Constraints: 26493
1977.90/1983.87 c #Conflicts: 642000 | #Constraints: 27493
1977.90/1983.87 c #Conflicts: 643000 | #Constraints: 28493
1977.90/1983.87 c #Conflicts: 644000 | #Constraints: 29493
1977.90/1983.87 c #Conflicts: 645000 | #Constraints: 30493
1977.90/1983.87 c #Conflicts: 646000 | #Constraints: 31493
1977.90/1983.87 c #Conflicts: 647000 | #Constraints: 32493
1977.90/1983.87 c #Conflicts: 648000 | #Constraints: 33493
1977.90/1983.87 c #Conflicts: 649000 | #Constraints: 34493
1977.90/1983.87 c #Conflicts: 650000 | #Constraints: 35493
1977.90/1983.87 c #Conflicts: 651000 | #Constraints: 36493
1977.90/1983.87 c #Conflicts: 652000 | #Constraints: 37493
1977.90/1983.87 c #Conflicts: 653000 | #Constraints: 38493
1977.90/1983.87 c #Conflicts: 654000 | #Constraints: 39493
1977.90/1983.87 c #Conflicts: 655000 | #Constraints: 40493
1977.90/1983.87 c INPROCESSING
1977.90/1983.87 c GARBAGE COLLECT
1977.90/1983.87 c #Conflicts: 656000 | #Constraints: 25477
1977.90/1983.87 c #Conflicts: 657000 | #Constraints: 26477
1977.90/1983.87 c #Conflicts: 658000 | #Constraints: 27477
1977.90/1983.87 c #Conflicts: 659000 | #Constraints: 28477
1977.90/1983.87 c #Conflicts: 660000 | #Constraints: 29477
1977.90/1983.87 c #Conflicts: 661000 | #Constraints: 30477
1977.90/1983.87 c #Conflicts: 662000 | #Constraints: 31477
1977.90/1983.87 c #Conflicts: 663000 | #Constraints: 32477
1977.90/1983.87 c #Conflicts: 664000 | #Constraints: 33477
2298.90/2305.68 c #Conflicts: 665000 | #Constraints: 34477
2298.90/2305.68 c #Conflicts: 666000 | #Constraints: 35477
2298.90/2305.68 c #Conflicts: 667000 | #Constraints: 36477
2298.90/2305.68 c #Conflicts: 668000 | #Constraints: 37477
2298.90/2305.68 c #Conflicts: 669000 | #Constraints: 38477
2298.90/2305.68 c #Conflicts: 670000 | #Constraints: 39477
2298.90/2305.68 c #Conflicts: 671000 | #Constraints: 40477
2298.90/2305.68 c INPROCESSING
2298.90/2305.68 c GARBAGE COLLECT
2298.90/2305.68 c #Conflicts: 672000 | #Constraints: 25257
2298.90/2305.68 c #Conflicts: 673000 | #Constraints: 26257
2298.90/2305.68 c #Conflicts: 674000 | #Constraints: 27257
2298.90/2305.68 c #Conflicts: 675000 | #Constraints: 28257
2298.90/2305.68 c #Conflicts: 676000 | #Constraints: 29257
2298.90/2305.68 c #Conflicts: 677000 | #Constraints: 30257
2298.90/2305.68 c #Conflicts: 678000 | #Constraints: 31257
2298.90/2305.68 c #Conflicts: 679000 | #Constraints: 32257
2298.90/2305.68 c #Conflicts: 680000 | #Constraints: 33257
2298.90/2305.68 c #Conflicts: 681000 | #Constraints: 34257
2298.90/2305.68 c #Conflicts: 682000 | #Constraints: 35257
2298.90/2305.68 c #Conflicts: 683000 | #Constraints: 36257
2298.90/2305.68 c #Conflicts: 684000 | #Constraints: 37257
2298.90/2305.68 c #Conflicts: 685000 | #Constraints: 38257
2298.90/2305.68 c #Conflicts: 686000 | #Constraints: 39257
2298.90/2305.68 c #Conflicts: 687000 | #Constraints: 40257
2298.90/2305.68 c #Conflicts: 688000 | #Constraints: 41257
2298.90/2305.68 c INPROCESSING
2298.90/2305.68 c GARBAGE COLLECT
2298.90/2305.68 c #Conflicts: 689000 | #Constraints: 25855
2298.90/2305.68 c #Conflicts: 690000 | #Constraints: 26855
2298.90/2305.68 c #Conflicts: 691000 | #Constraints: 27855
2298.90/2305.68 c #Conflicts: 692000 | #Constraints: 28855
2298.90/2305.68 c #Conflicts: 693000 | #Constraints: 29855
2298.90/2305.68 c #Conflicts: 694000 | #Constraints: 30855
2298.90/2305.68 c #Conflicts: 695000 | #Constraints: 31855
2298.90/2305.68 c #Conflicts: 696000 | #Constraints: 32855
2298.90/2305.68 c #Conflicts: 697000 | #Constraints: 33855
2298.90/2305.68 c #Conflicts: 698000 | #Constraints: 34855
2298.90/2305.68 c #Conflicts: 699000 | #Constraints: 35855
2298.90/2305.68 c #Conflicts: 700000 | #Constraints: 36855
2298.90/2305.68 c #Conflicts: 701000 | #Constraints: 37855
2298.90/2305.68 c #Conflicts: 702000 | #Constraints: 38855
2298.90/2305.68 c #Conflicts: 703000 | #Constraints: 39855
2298.90/2305.68 c #Conflicts: 704000 | #Constraints: 40855
2298.90/2305.68 c #Conflicts: 705000 | #Constraints: 41855
2298.90/2305.68 c INPROCESSING
2298.90/2305.68 c GARBAGE COLLECT
2298.90/2305.68 c #Conflicts: 706000 | #Constraints: 26268
2298.90/2305.68 c #Conflicts: 707000 | #Constraints: 27268
2298.90/2305.68 c #Conflicts: 708000 | #Constraints: 28268
2298.90/2305.68 c #Conflicts: 709000 | #Constraints: 29268
2298.90/2305.68 c #Conflicts: 710000 | #Constraints: 30268
2298.90/2305.68 c #Conflicts: 711000 | #Constraints: 31268
2298.90/2305.68 c #Conflicts: 712000 | #Constraints: 32268
2298.90/2305.68 c #Conflicts: 713000 | #Constraints: 33268
2298.90/2305.68 c #Conflicts: 714000 | #Constraints: 34268
2298.90/2305.68 c #Conflicts: 715000 | #Constraints: 35268
2298.90/2305.68 c #Conflicts: 716000 | #Constraints: 36268
2298.90/2305.68 c #Conflicts: 717000 | #Constraints: 37268
2298.90/2305.68 c #Conflicts: 718000 | #Constraints: 38268
2298.90/2305.68 c #Conflicts: 719000 | #Constraints: 39268
2298.90/2305.68 c #Conflicts: 720000 | #Constraints: 40268
2298.90/2305.68 c #Conflicts: 721000 | #Constraints: 41268
2298.90/2305.68 c #Conflicts: 722000 | #Constraints: 42268
2298.90/2305.68 c INPROCESSING
2298.90/2305.68 c GARBAGE COLLECT
2298.90/2305.68 c #Conflicts: 723000 | #Constraints: 26459
2298.90/2305.68 c #Conflicts: 724000 | #Constraints: 27459
2298.90/2305.68 c #Conflicts: 725000 | #Constraints: 28459
2298.90/2305.68 c #Conflicts: 726000 | #Constraints: 29459
2298.90/2305.68 c #Conflicts: 727000 | #Constraints: 30459
2298.90/2305.68 c #Conflicts: 728000 | #Constraints: 31459
2298.90/2305.68 c #Conflicts: 729000 | #Constraints: 32459
2298.90/2305.68 c #Conflicts: 730000 | #Constraints: 33459
2298.90/2305.68 c #Conflicts: 731000 | #Constraints: 34459
2298.90/2305.68 c #Conflicts: 732000 | #Constraints: 35459
2298.90/2305.68 c #Conflicts: 733000 | #Constraints: 36459
2298.90/2305.68 c #Conflicts: 734000 | #Constraints: 37459
2298.90/2305.68 c #Conflicts: 735000 | #Constraints: 38459
2298.90/2305.68 c #Conflicts: 736000 | #Constraints: 39459
2298.90/2305.68 c #Conflicts: 737000 | #Constraints: 40459
2298.90/2305.68 c #Conflicts: 738000 | #Constraints: 41459
2298.90/2305.68 c #Conflicts: 739000 | #Constraints: 42459
2298.90/2305.68 c INPROCESSING
2298.90/2305.68 c GARBAGE COLLECT
2631.26/2638.84 c #Conflicts: 740000 | #Constraints: 26708
2631.26/2638.84 c #Conflicts: 741000 | #Constraints: 27708
2631.26/2638.84 c #Conflicts: 742000 | #Constraints: 28708
2631.26/2638.84 c #Conflicts: 743000 | #Constraints: 29708
2631.26/2638.84 c #Conflicts: 744000 | #Constraints: 30708
2631.26/2638.84 c #Conflicts: 745000 | #Constraints: 31708
2631.26/2638.84 c #Conflicts: 746000 | #Constraints: 32708
2631.26/2638.84 c #Conflicts: 747000 | #Constraints: 33708
2631.26/2638.84 c #Conflicts: 748000 | #Constraints: 34708
2631.26/2638.84 c #Conflicts: 749000 | #Constraints: 35708
2631.26/2638.84 c #Conflicts: 750000 | #Constraints: 36708
2631.26/2638.84 c #Conflicts: 751000 | #Constraints: 37708
2631.26/2638.84 c #Conflicts: 752000 | #Constraints: 38708
2631.26/2638.84 c #Conflicts: 753000 | #Constraints: 39708
2631.26/2638.84 c #Conflicts: 754000 | #Constraints: 40708
2631.26/2638.84 c #Conflicts: 755000 | #Constraints: 41708
2631.26/2638.84 c #Conflicts: 756000 | #Constraints: 42708
2631.26/2638.84 c INPROCESSING
2631.26/2638.84 c GARBAGE COLLECT
2631.26/2638.84 c #Conflicts: 757000 | #Constraints: 26382
2631.26/2638.84 c #Conflicts: 758000 | #Constraints: 27382
2631.26/2638.84 c #Conflicts: 759000 | #Constraints: 28382
2631.26/2638.84 c #Conflicts: 760000 | #Constraints: 29382
2631.26/2638.84 c #Conflicts: 761000 | #Constraints: 30382
2631.26/2638.84 c #Conflicts: 762000 | #Constraints: 31382
2631.26/2638.84 c #Conflicts: 763000 | #Constraints: 32382
2631.26/2638.84 c #Conflicts: 764000 | #Constraints: 33382
2631.26/2638.84 c #Conflicts: 765000 | #Constraints: 34382
2631.26/2638.84 c #Conflicts: 766000 | #Constraints: 35382
2631.26/2638.84 c #Conflicts: 767000 | #Constraints: 36382
2631.26/2638.84 c #Conflicts: 768000 | #Constraints: 37382
2631.26/2638.84 c #Conflicts: 769000 | #Constraints: 38382
2631.26/2638.84 c #Conflicts: 770000 | #Constraints: 39382
2631.26/2638.84 c #Conflicts: 771000 | #Constraints: 40382
2631.26/2638.84 c #Conflicts: 772000 | #Constraints: 41382
2631.26/2638.84 c #Conflicts: 773000 | #Constraints: 42382
2631.26/2638.84 c #Conflicts: 774000 | #Constraints: 43382
2631.26/2638.84 c INPROCESSING
2631.26/2638.84 c GARBAGE COLLECT
2631.26/2638.84 c #Conflicts: 775000 | #Constraints: 26924
2631.26/2638.84 c #Conflicts: 776000 | #Constraints: 27924
2631.26/2638.84 c #Conflicts: 777000 | #Constraints: 28924
2631.26/2638.84 c #Conflicts: 778000 | #Constraints: 29924
2631.26/2638.84 c #Conflicts: 779000 | #Constraints: 30924
2631.26/2638.84 c #Conflicts: 780000 | #Constraints: 31924
2631.26/2638.84 c #Conflicts: 781000 | #Constraints: 32924
2631.26/2638.84 c #Conflicts: 782000 | #Constraints: 33924
2631.26/2638.84 c #Conflicts: 783000 | #Constraints: 34924
2631.26/2638.84 c #Conflicts: 784000 | #Constraints: 35924
2631.26/2638.84 c #Conflicts: 785000 | #Constraints: 36924
2631.26/2638.84 c #Conflicts: 786000 | #Constraints: 37924
2631.26/2638.84 c #Conflicts: 787000 | #Constraints: 38924
2631.26/2638.84 c #Conflicts: 788000 | #Constraints: 39924
2631.26/2638.84 c #Conflicts: 789000 | #Constraints: 40924
2631.26/2638.84 c #Conflicts: 790000 | #Constraints: 41924
2631.26/2638.84 c #Conflicts: 791000 | #Constraints: 42924
2631.26/2638.84 c #Conflicts: 792000 | #Constraints: 43924
2631.26/2638.84 c INPROCESSING
2631.26/2638.84 c GARBAGE COLLECT
2631.26/2638.84 c #Conflicts: 793000 | #Constraints: 27316
2631.26/2638.84 c #Conflicts: 794000 | #Constraints: 28316
2631.26/2638.84 c #Conflicts: 795000 | #Constraints: 29316
2631.26/2638.84 c #Conflicts: 796000 | #Constraints: 30316
2631.26/2638.84 c #Conflicts: 797000 | #Constraints: 31316
2631.26/2638.84 c #Conflicts: 798000 | #Constraints: 32316
2631.26/2638.84 c #Conflicts: 799000 | #Constraints: 33316
2631.26/2638.84 c #Conflicts: 800000 | #Constraints: 34316
2631.26/2638.84 c #Conflicts: 801000 | #Constraints: 35316
2631.26/2638.84 c #Conflicts: 802000 | #Constraints: 36316
2631.26/2638.84 c #Conflicts: 803000 | #Constraints: 37316
2631.26/2638.84 c #Conflicts: 804000 | #Constraints: 38316
2631.26/2638.84 c #Conflicts: 805000 | #Constraints: 39316
2631.26/2638.84 c #Conflicts: 806000 | #Constraints: 40316
2631.26/2638.84 c #Conflicts: 807000 | #Constraints: 41316
2631.26/2638.84 c #Conflicts: 808000 | #Constraints: 42316
2631.26/2638.84 c #Conflicts: 809000 | #Constraints: 43316
2631.26/2638.84 c #Conflicts: 810000 | #Constraints: 44316
2631.26/2638.84 c INPROCESSING
2631.26/2638.84 c GARBAGE COLLECT
2631.26/2638.84 c #Conflicts: 811000 | #Constraints: 27534
2631.26/2638.84 c #Conflicts: 812000 | #Constraints: 28534
2631.26/2638.84 c #Conflicts: 813000 | #Constraints: 29534
2631.26/2638.84 c #Conflicts: 814000 | #Constraints: 30534
2631.26/2638.84 c #Conflicts: 815000 | #Constraints: 31534
2631.26/2638.84 c #Conflicts: 816000 | #Constraints: 32534
2962.12/2970.54 c #Conflicts: 817000 | #Constraints: 33534
2962.12/2970.54 c #Conflicts: 818000 | #Constraints: 34534
2962.12/2970.54 c #Conflicts: 819000 | #Constraints: 35534
2962.12/2970.54 c #Conflicts: 820000 | #Constraints: 36534
2962.12/2970.54 c #Conflicts: 821000 | #Constraints: 37534
2962.12/2970.54 c #Conflicts: 822000 | #Constraints: 38534
2962.12/2970.54 c #Conflicts: 823000 | #Constraints: 39534
2962.12/2970.54 c #Conflicts: 824000 | #Constraints: 40534
2962.12/2970.54 c #Conflicts: 825000 | #Constraints: 41534
2962.12/2970.54 c #Conflicts: 826000 | #Constraints: 42534
2962.12/2970.54 c #Conflicts: 827000 | #Constraints: 43534
2962.12/2970.54 c #Conflicts: 828000 | #Constraints: 44534
2962.12/2970.54 c INPROCESSING
2962.12/2970.54 c GARBAGE COLLECT
2962.12/2970.54 c #Conflicts: 829000 | #Constraints: 27532
2962.12/2970.54 c #Conflicts: 830000 | #Constraints: 28532
2962.12/2970.54 c #Conflicts: 831000 | #Constraints: 29532
2962.12/2970.54 c #Conflicts: 832000 | #Constraints: 30532
2962.12/2970.54 c #Conflicts: 833000 | #Constraints: 31532
2962.12/2970.54 c #Conflicts: 834000 | #Constraints: 32532
2962.12/2970.54 c #Conflicts: 835000 | #Constraints: 33532
2962.12/2970.54 c #Conflicts: 836000 | #Constraints: 34532
2962.12/2970.54 c #Conflicts: 837000 | #Constraints: 35532
2962.12/2970.54 c #Conflicts: 838000 | #Constraints: 36532
2962.12/2970.54 c #Conflicts: 839000 | #Constraints: 37532
2962.12/2970.54 c #Conflicts: 840000 | #Constraints: 38532
2962.12/2970.54 c #Conflicts: 841000 | #Constraints: 39532
2962.12/2970.54 c #Conflicts: 842000 | #Constraints: 40532
2962.12/2970.54 c #Conflicts: 843000 | #Constraints: 41532
2962.12/2970.54 c #Conflicts: 844000 | #Constraints: 42532
2962.12/2970.54 c #Conflicts: 845000 | #Constraints: 43532
2962.12/2970.54 c #Conflicts: 846000 | #Constraints: 44532
2962.12/2970.54 c INPROCESSING
2962.12/2970.54 c GARBAGE COLLECT
2962.12/2970.54 c #Conflicts: 847000 | #Constraints: 27306
2962.12/2970.54 c #Conflicts: 848000 | #Constraints: 28306
2962.12/2970.54 c #Conflicts: 849000 | #Constraints: 29306
2962.12/2970.54 c #Conflicts: 850000 | #Constraints: 30306
2962.12/2970.54 c #Conflicts: 851000 | #Constraints: 31306
2962.12/2970.54 c #Conflicts: 852000 | #Constraints: 32306
2962.12/2970.54 c #Conflicts: 853000 | #Constraints: 33306
2962.12/2970.54 c #Conflicts: 854000 | #Constraints: 34306
2962.12/2970.54 c #Conflicts: 855000 | #Constraints: 35306
2962.12/2970.54 c #Conflicts: 856000 | #Constraints: 36306
2962.12/2970.54 c #Conflicts: 857000 | #Constraints: 37306
2962.12/2970.54 c #Conflicts: 858000 | #Constraints: 38306
2962.12/2970.54 c #Conflicts: 859000 | #Constraints: 39306
2962.12/2970.54 c #Conflicts: 860000 | #Constraints: 40306
2962.12/2970.54 c #Conflicts: 861000 | #Constraints: 41306
2962.12/2970.54 c #Conflicts: 862000 | #Constraints: 42306
2962.12/2970.54 c #Conflicts: 863000 | #Constraints: 43306
2962.12/2970.54 c #Conflicts: 864000 | #Constraints: 44306
2962.12/2970.54 c #Conflicts: 865000 | #Constraints: 45306
2962.12/2970.54 c INPROCESSING
2962.12/2970.54 c GARBAGE COLLECT
2962.12/2970.54 c #Conflicts: 866000 | #Constraints: 27880
2962.12/2970.54 c #Conflicts: 867000 | #Constraints: 28880
2962.12/2970.54 c #Conflicts: 868000 | #Constraints: 29880
2962.12/2970.54 c #Conflicts: 869000 | #Constraints: 30880
2962.12/2970.54 c #Conflicts: 870000 | #Constraints: 31880
2962.12/2970.54 c #Conflicts: 871000 | #Constraints: 32880
2962.12/2970.54 c #Conflicts: 872000 | #Constraints: 33880
2962.12/2970.54 c #Conflicts: 873000 | #Constraints: 34880
2962.12/2970.54 c #Conflicts: 874000 | #Constraints: 35880
2962.12/2970.54 c #Conflicts: 875000 | #Constraints: 36880
2962.12/2970.54 c #Conflicts: 876000 | #Constraints: 37880
2962.12/2970.54 c #Conflicts: 877000 | #Constraints: 38880
2962.12/2970.54 c #Conflicts: 878000 | #Constraints: 39880
2962.12/2970.54 c #Conflicts: 879000 | #Constraints: 40880
2962.12/2970.54 c #Conflicts: 880000 | #Constraints: 41880
2962.12/2970.54 c #Conflicts: 881000 | #Constraints: 42880
2962.12/2970.54 c #Conflicts: 882000 | #Constraints: 43880
2962.12/2970.54 c #Conflicts: 883000 | #Constraints: 44880
2962.12/2970.54 c #Conflicts: 884000 | #Constraints: 45880
2962.12/2970.54 c INPROCESSING
2962.12/2970.54 c GARBAGE COLLECT
2962.12/2970.54 c #Conflicts: 885000 | #Constraints: 28281
2962.12/2970.54 c #Conflicts: 886000 | #Constraints: 29281
2962.12/2970.54 c #Conflicts: 887000 | #Constraints: 30281
2962.12/2970.54 c #Conflicts: 888000 | #Constraints: 31281
2962.12/2970.54 c #Conflicts: 889000 | #Constraints: 32281
2962.12/2970.54 c #Conflicts: 890000 | #Constraints: 33281
2962.12/2970.54 c #Conflicts: 891000 | #Constraints: 34281
2962.12/2970.54 c #Conflicts: 892000 | #Constraints: 35281
3293.78/3303.11 c #Conflicts: 893000 | #Constraints: 36281
3293.78/3303.11 c #Conflicts: 894000 | #Constraints: 37281
3293.78/3303.11 c #Conflicts: 895000 | #Constraints: 38281
3293.78/3303.11 c #Conflicts: 896000 | #Constraints: 39281
3293.78/3303.11 c #Conflicts: 897000 | #Constraints: 40281
3293.78/3303.11 c #Conflicts: 898000 | #Constraints: 41281
3293.78/3303.11 c #Conflicts: 899000 | #Constraints: 42281
3293.78/3303.11 c #Conflicts: 900000 | #Constraints: 43281
3293.78/3303.11 c #Conflicts: 901000 | #Constraints: 44281
3293.78/3303.11 c #Conflicts: 902000 | #Constraints: 45281
3293.78/3303.11 c #Conflicts: 903000 | #Constraints: 46281
3293.78/3303.11 c INPROCESSING
3293.78/3303.11 c GARBAGE COLLECT
3293.78/3303.11 c #Conflicts: 904000 | #Constraints: 28471
3293.78/3303.11 c #Conflicts: 905000 | #Constraints: 29471
3293.78/3303.11 c #Conflicts: 906000 | #Constraints: 30471
3293.78/3303.11 c #Conflicts: 907000 | #Constraints: 31471
3293.78/3303.11 c #Conflicts: 908000 | #Constraints: 32471
3293.78/3303.11 c #Conflicts: 909000 | #Constraints: 33471
3293.78/3303.11 c #Conflicts: 910000 | #Constraints: 34471
3293.78/3303.11 c #Conflicts: 911000 | #Constraints: 35471
3293.78/3303.11 c #Conflicts: 912000 | #Constraints: 36471
3293.78/3303.11 c #Conflicts: 913000 | #Constraints: 37471
3293.78/3303.11 c #Conflicts: 914000 | #Constraints: 38471
3293.78/3303.11 c #Conflicts: 915000 | #Constraints: 39471
3293.78/3303.11 c #Conflicts: 916000 | #Constraints: 40471
3293.78/3303.11 c #Conflicts: 917000 | #Constraints: 41471
3293.78/3303.11 c #Conflicts: 918000 | #Constraints: 42471
3293.78/3303.11 c #Conflicts: 919000 | #Constraints: 43471
3293.78/3303.11 c #Conflicts: 920000 | #Constraints: 44471
3293.78/3303.11 c #Conflicts: 921000 | #Constraints: 45471
3293.78/3303.11 c #Conflicts: 922000 | #Constraints: 46471
3293.78/3303.11 c INPROCESSING
3293.78/3303.11 c GARBAGE COLLECT
3293.78/3303.11 c #Conflicts: 923000 | #Constraints: 28466
3293.78/3303.11 c #Conflicts: 924000 | #Constraints: 29466
3293.78/3303.11 c #Conflicts: 925000 | #Constraints: 30466
3293.78/3303.11 c #Conflicts: 926000 | #Constraints: 31466
3293.78/3303.11 c #Conflicts: 927000 | #Constraints: 32466
3293.78/3303.11 c #Conflicts: 928000 | #Constraints: 33466
3293.78/3303.11 c #Conflicts: 929000 | #Constraints: 34466
3293.78/3303.11 c #Conflicts: 930000 | #Constraints: 35466
3293.78/3303.11 c #Conflicts: 931000 | #Constraints: 36466
3293.78/3303.11 c #Conflicts: 932000 | #Constraints: 37466
3293.78/3303.11 c #Conflicts: 933000 | #Constraints: 38466
3293.78/3303.11 c #Conflicts: 934000 | #Constraints: 39466
3293.78/3303.11 c #Conflicts: 935000 | #Constraints: 40466
3293.78/3303.11 c #Conflicts: 936000 | #Constraints: 41466
3293.78/3303.11 c #Conflicts: 937000 | #Constraints: 42466
3293.78/3303.11 c #Conflicts: 938000 | #Constraints: 43466
3293.78/3303.11 c #Conflicts: 939000 | #Constraints: 44466
3293.78/3303.11 c #Conflicts: 940000 | #Constraints: 45466
3293.78/3303.11 c #Conflicts: 941000 | #Constraints: 46466
3293.78/3303.11 c INPROCESSING
3293.78/3303.11 c GARBAGE COLLECT
3293.78/3303.11 c #Conflicts: 942000 | #Constraints: 28352
3293.78/3303.11 c #Conflicts: 943000 | #Constraints: 29352
3293.78/3303.11 c #Conflicts: 944000 | #Constraints: 30352
3293.78/3303.11 c #Conflicts: 945000 | #Constraints: 31352
3293.78/3303.11 c #Conflicts: 946000 | #Constraints: 32352
3293.78/3303.11 c #Conflicts: 947000 | #Constraints: 33352
3293.78/3303.11 c #Conflicts: 948000 | #Constraints: 34352
3293.78/3303.11 c #Conflicts: 949000 | #Constraints: 35352
3293.78/3303.11 c #Conflicts: 950000 | #Constraints: 36352
3293.78/3303.11 c #Conflicts: 951000 | #Constraints: 37352
3293.78/3303.11 c #Conflicts: 952000 | #Constraints: 38352
3293.78/3303.11 c #Conflicts: 953000 | #Constraints: 39352
3293.78/3303.11 c #Conflicts: 954000 | #Constraints: 40352
3293.78/3303.11 c #Conflicts: 955000 | #Constraints: 41352
3293.78/3303.11 c #Conflicts: 956000 | #Constraints: 42352
3293.78/3303.11 c #Conflicts: 957000 | #Constraints: 43352
3293.78/3303.11 c #Conflicts: 958000 | #Constraints: 44352
3293.78/3303.11 c #Conflicts: 959000 | #Constraints: 45352
3293.78/3303.11 c #Conflicts: 960000 | #Constraints: 46352
3293.78/3303.11 c #Conflicts: 961000 | #Constraints: 47352
3293.78/3303.11 c INPROCESSING
3293.78/3303.11 c GARBAGE COLLECT
3293.78/3303.11 c #Conflicts: 962000 | #Constraints: 29056
3293.78/3303.11 c #Conflicts: 963000 | #Constraints: 30056
3293.78/3303.11 c #Conflicts: 964000 | #Constraints: 31056
3293.78/3303.11 c #Conflicts: 965000 | #Constraints: 32056
3293.78/3303.11 c #Conflicts: 966000 | #Constraints: 33056
3293.78/3303.11 c #Conflicts: 967000 | #Constraints: 34056
3293.78/3303.11 c #Conflicts: 968000 | #Constraints: 35056
3600.01/3610.02 c #Conflicts: 969000 | #Constraints: 36056
3600.01/3610.02 c #Conflicts: 970000 | #Constraints: 37056
3600.01/3610.02 c #Conflicts: 971000 | #Constraints: 38056
3600.01/3610.02 c #Conflicts: 972000 | #Constraints: 39056
3600.01/3610.02 c #Conflicts: 973000 | #Constraints: 40056
3600.01/3610.02 c #Conflicts: 974000 | #Constraints: 41056
3600.01/3610.02 c #Conflicts: 975000 | #Constraints: 42056
3600.01/3610.02 c #Conflicts: 976000 | #Constraints: 43056
3600.01/3610.02 c #Conflicts: 977000 | #Constraints: 44056
3600.01/3610.02 c #Conflicts: 978000 | #Constraints: 45056
3600.01/3610.02 c #Conflicts: 979000 | #Constraints: 46056
3600.01/3610.02 c #Conflicts: 980000 | #Constraints: 47056
3600.01/3610.02 c #Conflicts: 981000 | #Constraints: 48056
3600.01/3610.02 c INPROCESSING
3600.01/3610.02 c GARBAGE COLLECT
3600.01/3610.02 c #Conflicts: 982000 | #Constraints: 29463
3600.01/3610.02 c #Conflicts: 983000 | #Constraints: 30463
3600.01/3610.02 c #Conflicts: 984000 | #Constraints: 31463
3600.01/3610.02 c #Conflicts: 985000 | #Constraints: 32463
3600.01/3610.02 c #Conflicts: 986000 | #Constraints: 33463
3600.01/3610.02 c #Conflicts: 987000 | #Constraints: 34463
3600.01/3610.02 c #Conflicts: 988000 | #Constraints: 35463
3600.01/3610.02 c #Conflicts: 989000 | #Constraints: 36463
3600.01/3610.02 c #Conflicts: 990000 | #Constraints: 37463
3600.01/3610.02 c #Conflicts: 991000 | #Constraints: 38463
3600.01/3610.02 c #Conflicts: 992000 | #Constraints: 39463
3600.01/3610.02 c #Conflicts: 993000 | #Constraints: 40463
3600.01/3610.02 c #Conflicts: 994000 | #Constraints: 41463
3600.01/3610.02 c #Conflicts: 995000 | #Constraints: 42463
3600.01/3610.02 c #Conflicts: 996000 | #Constraints: 43463
3600.01/3610.02 c #Conflicts: 997000 | #Constraints: 44463
3600.01/3610.02 c Program interrupted by user.
3600.01/3610.02 c cpu time 3564.07 s
3600.01/3610.02 c deterministic time 314187040431 3.14e+11
3600.01/3610.02 c optimization time 222.391 s
3600.01/3610.02 c total solve time 3341.66 s
3600.01/3610.02 c core-guided solve time 3341.66 s
3600.01/3610.02 c propagation time 2540.1 s
3600.01/3610.02 c conflict analysis time 920.115 s
3600.01/3610.02 c propagations 1319126633
3600.01/3610.02 c resolve steps 15587372
3600.01/3610.02 c decisions 37196572
3600.01/3610.02 c conflicts 997938
3600.01/3610.02 c restarts 2045
3600.01/3610.02 c inprocessing phases 90
3600.01/3610.02 c input clauses 8610
3600.01/3610.02 c input cardinalities 0
3600.01/3610.02 c input general constraints 2
3600.01/3610.02 c input average constraint length 3.03
3600.01/3610.02 c input average constraint degree 841.19
3600.01/3610.02 c learned clauses 413362
3600.01/3610.02 c learned cardinalities 173
3600.01/3610.02 c learned general constraints 584403
3600.01/3610.02 c learned average constraint length 1152.64
3600.01/3610.02 c learned average constraint degree 9234705.97
3600.01/3610.02 c watched constraints 109363
3600.01/3610.02 c counting constraints 475042
3600.01/3610.02 c gcd simplifications 42443
3600.01/3610.02 c detected cardinalities 29
3600.01/3610.02 c weakened non-implied lits 623857784
3600.01/3610.02 c weakened non-implying lits 19339
3600.01/3610.02 c original variables 4360
3600.01/3610.02 c clausal propagations 518099869
3600.01/3610.02 c cardinality propagations 19011
3600.01/3610.02 c watched propagations 8400383
3600.01/3610.02 c counting propagations 784268091
3600.01/3610.02 c watch lookups 77963738312
3600.01/3610.02 c watch backjump lookups 77035172548
3600.01/3610.02 c watch checks 86933629785
3600.01/3610.02 c propagation checks 65924828839
3600.01/3610.02 c constraint additions 3616026909
3600.01/3610.02 c trail pops 1357320832
3600.01/3610.02 c formula constraints 8610
3600.01/3610.02 c learned constraints 997938
3600.01/3610.02 c bound constraints 2
3600.01/3610.02 c core-guided constraints 0
3600.01/3610.02 c encountered formula constraints 13759437
3600.01/3610.02 c encountered learned constraints 2825390
3600.01/3610.02 c encountered bound constraints 483
3600.01/3610.02 c encountered core-guided constraints 0
3600.01/3610.02 c LP total time 0 s
3600.01/3610.02 c LP solve time 0 s
3600.01/3610.02 c LP constraints added 0
3600.01/3610.02 c LP constraints removed 0
3600.01/3610.02 c LP pivots internal 0
3600.01/3610.02 c LP pivots root 0
3600.01/3610.02 c LP calls 0
3600.01/3610.02 c LP optimalities 0
3600.01/3610.02 c LP no pivot count 0
3600.01/3610.02 c LP infeasibilities 0
3600.01/3610.02 c LP valid Farkas constraints 0
3600.01/3610.02 c LP learned Farkas constraints 0
3600.01/3610.02 c LP basis resets 0
3600.01/3610.02 c LP cycling count 0
3600.01/3610.02 c LP singular count 0
3600.01/3610.02 c LP no primal count 0
3600.01/3610.02 c LP no farkas count 0
3600.01/3610.02 c LP other issue count 0
3600.01/3610.02 c LP Gomory cuts 0
3600.01/3610.02 c LP learned cuts 0
3600.01/3610.02 c LP deleted cuts 0
3600.01/3610.02 c LP encountered Gomory constraints 0
3600.01/3610.02 c LP encountered Farkas constraints 0
3600.01/3610.02 c LP encountered learned Farkas constraints 0
3600.01/3610.02 c CG auxiliary variables introduced 0
3600.01/3610.02 c CG solutions found 2
3600.01/3610.02 c CG cores constructed 0
3600.01/3610.02 c CG core cardinality constraints returned 0
3600.01/3610.02 c CG unit cores 0
3600.01/3610.02 c CG single cores 0
3600.01/3610.02 c CG blocks removed during cardinality reduction 0
3600.01/3610.02 c CG first core best 0
3600.01/3610.02 c CG decision core best 0
3600.01/3610.02 c CG core reduction tie 0
3600.01/3610.02 c CG core degree average 0.00
3600.01/3610.02 c CG core slack average 0.00
3600.01/3610.02 c CG exhausted 0
3600.01/3610.02 c CG exhaust time 0 s
3600.01/3610.02 c CG trimmed 0
3600.01/3610.02 c CG trim time 0 s
3600.01/3610.02 c CG minimized 0
3600.01/3610.02 c CG minimize time 0 s
3600.01/3610.02 c CG am1 prop time 7.9e-05 s
3600.01/3610.02 c CG # am1s reformulated 0
3600.01/3610.02 c CG lower bound derived from am1s 0
3600.01/3610.02 c CG # clausal cores 0
3600.01/3610.02 c CG # cardinality cores 0
3600.01/3610.02 c CG # pb cores 0
3600.01/3610.02 c CG # pb reforms 0
3600.01/3610.02 c CG # cores discarded because of pb reform 0
3600.01/3610.02 d LOWERBOUND 4081
3600.01/3610.02 d NCORES 0
3600.01/3610.02 d NPBCORES 0
3600.01/3610.02 d NPBREFORM 0
3600.01/3610.02 d NTRIMMED 0
3600.01/3610.02 d NEXHAUSTED 0
3600.01/3610.02 d NAM1S 0
3600.01/3610.02 d AM1LB 0
3600.01/3610.02 o 35903
3600.01/3610.02 s SATISFIABLE
3600.01/3610.02 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: 64059 MiB (62131 MiB free)
memory of node 1: 64510 MiB (63343 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435969-1721107915/watcher-4435969-1721107915 -o /tmp/evaluation-result-4435969-1721107915/solver-4435969-1721107915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828397 --watchdog 3760 pb-oll-rs HOME/instance-4435969-1721107915.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=831612, runsolver pid=831609
[startup+0.100108 s]*
/proc/loadavg: 4.09 4.28 4.18 5/245 831613
/proc/meminfo: memFree=128480848/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=41740 memory=10876 CPUtime=0.1 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 1106 0 0 0 9 1 0 0 20 0 1 0 162947974 42741760 2719 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 10435 2719 1377 291 0 1969 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41740 KiB
Current children cumulated memory: 10876 KiB
[startup+0.213329 s]*
/proc/loadavg: 4.09 4.28 4.18 5/245 831613
/proc/meminfo: memFree=128479672/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=42928 memory=12196 CPUtime=0.21 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 1389 0 0 0 19 2 0 0 20 0 1 0 162947974 43958272 3049 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 10732 3049 1377 291 0 2266 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42928 KiB
Current children cumulated memory: 12196 KiB
[startup+0.313295 s]*
/proc/loadavg: 4.09 4.28 4.18 5/245 831613
/proc/meminfo: memFree=128474572/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=48196 memory=16904 CPUtime=0.31 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 2072 0 0 0 28 3 0 0 20 0 1 0 162947974 49352704 4226 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 12049 4226 1377 291 0 3583 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 48196 KiB
Current children cumulated memory: 16904 KiB
[startup+0.70034 s]
/proc/loadavg: 4.09 4.28 4.18 5/245 831613
/proc/meminfo: memFree=128467040/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=65260 memory=35788 CPUtime=0.69 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 6265 0 0 0 63 6 0 0 20 0 1 0 162947974 66826240 8947 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 16315 8947 1377 291 0 7849 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 65260 KiB
Current children cumulated memory: 35788 KiB
[startup+1.50034 s]
/proc/loadavg: 4.09 4.28 4.18 5/245 831613
/proc/meminfo: memFree=128447908/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=76236 memory=47004 CPUtime=1.49 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 8093 0 0 0 140 9 0 0 20 0 1 0 162947974 78065664 11751 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 19059 11751 1377 291 0 10593 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 76236 KiB
Current children cumulated memory: 47004 KiB
[startup+3.11296 s]
/proc/loadavg: 4.08 4.28 4.18 5/245 831613
/proc/meminfo: memFree=128419060/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=105372 memory=68468 CPUtime=3.1 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 12417 0 0 0 295 15 0 0 20 0 1 0 162947974 107900928 17117 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 26343 17117 1377 291 0 17877 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 105372 KiB
Current children cumulated memory: 68468 KiB
[startup+6.30032 s]
/proc/loadavg: 4.08 4.28 4.18 5/245 831613
/proc/meminfo: memFree=128398620/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=129112 memory=87864 CPUtime=6.27 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 14692 0 0 0 604 23 0 0 20 0 1 0 162947974 132210688 21966 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 32278 21966 1433 291 0 23812 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 129112 KiB
Current children cumulated memory: 87864 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.27 4.18 5/245 831614
/proc/meminfo: memFree=128382184/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=147400 memory=100216 CPUtime=12.65 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 17775 0 0 0 1219 46 0 0 20 0 1 0 162947974 150937600 25054 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 36850 25054 1433 291 0 28384 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 147400 KiB
Current children cumulated memory: 100216 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.27 4.18 5/245 831617
/proc/meminfo: memFree=128228556/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=155056 memory=106768 CPUtime=25.41 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 19433 0 0 0 2434 107 0 0 20 0 1 0 162947974 158777344 26692 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 38764 26692 1433 291 0 30298 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 155056 KiB
Current children cumulated memory: 106768 KiB
[startup+51.1131 s]
/proc/loadavg: 4.09 4.25 4.18 5/245 831621
/proc/meminfo: memFree=128155104/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=209844 memory=160088 CPUtime=50.95 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 27092 0 0 0 4945 150 0 0 20 0 1 0 162947974 214880256 40022 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 52461 40022 1433 291 0 43995 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 209844 KiB
Current children cumulated memory: 160088 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.24 4.18 5/245 831630
/proc/meminfo: memFree=128066088/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=245836 memory=198584 CPUtime=101.99 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 33918 0 0 0 9890 309 0 0 20 0 1 0 162947974 251736064 49646 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 61459 49646 1433 291 0 52993 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 245836 KiB
Current children cumulated memory: 198584 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.22 4.18 5/245 831640
/proc/meminfo: memFree=127944448/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=347520 memory=274084 CPUtime=161.8 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 44133 0 0 0 15802 378 0 0 20 0 1 0 162947974 355860480 68521 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 86880 68521 1433 291 0 78414 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 347520 KiB
Current children cumulated memory: 274084 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.18 4.17 5/245 831652
/proc/meminfo: memFree=127848256/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=351888 memory=278168 CPUtime=221.63 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 45167 0 0 0 21663 500 0 0 20 0 1 0 162947974 360333312 69542 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 87972 69542 1433 291 0 79506 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 351888 KiB
Current children cumulated memory: 278168 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.18 4.17 5/241 831662
/proc/meminfo: memFree=127703512/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=356888 memory=283908 CPUtime=281.45 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 46632 0 0 0 27537 608 0 0 20 0 1 0 162947974 365453312 70977 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 89222 70977 1433 291 0 80756 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 356888 KiB
Current children cumulated memory: 283908 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/241 831672
/proc/meminfo: memFree=127684316/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=362396 memory=289808 CPUtime=341.27 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 48184 0 0 0 33440 687 0 0 20 0 1 0 162947974 371093504 72452 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 90599 72452 1433 291 0 82133 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 362396 KiB
Current children cumulated memory: 289808 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/241 831682
/proc/meminfo: memFree=127648276/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=451156 memory=320120 CPUtime=401.08 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 51193 0 0 0 39383 725 0 0 20 0 1 0 162947974 461983744 80030 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 112789 80030 1433 291 0 104323 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 451156 KiB
Current children cumulated memory: 320120 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/241 831693
/proc/meminfo: memFree=127528744/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=513024 memory=437844 CPUtime=460.9 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 65288 0 0 0 45332 758 0 0 20 0 1 0 162947974 525336576 109461 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
################
# More data... #
################
Current children cumulated memory: 600932 KiB
[startup+2862.3 s]
/proc/loadavg: 4.28 4.22 4.18 5/241 832785
/proc/meminfo: memFree=125842304/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=770152 memory=601132 CPUtime=2854.19 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 94004 0 0 0 282357 3062 0 0 20 0 1 0 162947974 788635648 150283 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 192538 150283 1433 291 0 184072 0
Current children cumulated CPU time: 2854.19 s
Current children cumulated vsize: 770152 KiB
Current children cumulated memory: 601132 KiB
[startup+2922.3 s]
/proc/loadavg: 4.34 4.26 4.19 5/243 832799
/proc/meminfo: memFree=125832156/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=770152 memory=601132 CPUtime=2914.04 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 94254 0 0 0 288274 3130 0 0 20 0 1 0 162947974 788635648 150283 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 192538 150283 1433 291 0 184072 0
Current children cumulated CPU time: 2914.04 s
Current children cumulated vsize: 770152 KiB
Current children cumulated memory: 601132 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.22 4.18 5/243 832809
/proc/meminfo: memFree=125821844/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=770316 memory=601288 CPUtime=2973.89 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 94556 0 0 0 294210 3179 0 0 20 0 1 0 162947974 788803584 150322 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 192579 150322 1433 291 0 184113 0
Current children cumulated CPU time: 2973.89 s
Current children cumulated vsize: 770316 KiB
Current children cumulated memory: 601288 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.19 4.17 5/243 832820
/proc/meminfo: memFree=125807964/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=770316 memory=601296 CPUtime=3033.73 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 94822 0 0 0 300155 3218 0 0 20 0 1 0 162947974 788803584 150324 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 192579 150324 1433 291 0 184113 0
Current children cumulated CPU time: 3033.73 s
Current children cumulated vsize: 770316 KiB
Current children cumulated memory: 601296 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.17 4.17 5/243 832830
/proc/meminfo: memFree=125781188/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=770316 memory=601312 CPUtime=3093.58 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 95071 0 0 0 306080 3278 0 0 20 0 1 0 162947974 788803584 150328 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 192579 150328 1433 291 0 184113 0
Current children cumulated CPU time: 3093.58 s
Current children cumulated vsize: 770316 KiB
Current children cumulated memory: 601312 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/243 832840
/proc/meminfo: memFree=125775312/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=770316 memory=601312 CPUtime=3153.43 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 95331 0 0 0 312007 3336 0 0 20 0 1 0 162947974 788803584 150328 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 192579 150328 1433 291 0 184113 0
Current children cumulated CPU time: 3153.43 s
Current children cumulated vsize: 770316 KiB
Current children cumulated memory: 601312 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/245 833236
/proc/meminfo: memFree=125735944/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=770316 memory=601312 CPUtime=3213.27 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 95600 0 0 0 317962 3365 0 0 20 0 1 0 162947974 788803584 150328 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 192579 150328 1433 291 0 184113 0
Current children cumulated CPU time: 3213.27 s
Current children cumulated vsize: 770316 KiB
Current children cumulated memory: 601312 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/243 833246
/proc/meminfo: memFree=125678392/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=772128 memory=602436 CPUtime=3273.12 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 96276 0 0 0 323900 3412 0 0 20 0 1 0 162947974 790659072 150609 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 193032 150609 1433 291 0 184566 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 772128 KiB
Current children cumulated memory: 602436 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.16 4.16 5/243 833256
/proc/meminfo: memFree=125672500/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=774688 memory=604692 CPUtime=3332.96 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 97205 0 0 0 329847 3449 0 0 20 0 1 0 162947974 793280512 151173 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 193672 151173 1433 291 0 185206 0
Current children cumulated CPU time: 3332.96 s
Current children cumulated vsize: 774688 KiB
Current children cumulated memory: 604692 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/244 833435
/proc/meminfo: memFree=125667072/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=775840 memory=605412 CPUtime=3392.8 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 97799 0 0 0 335789 3491 0 0 20 0 1 0 162947974 794460160 151353 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 193960 151353 1433 291 0 185494 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 775840 KiB
Current children cumulated memory: 605412 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/244 833492
/proc/meminfo: memFree=127770840/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=775840 memory=605412 CPUtime=3452.65 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 98051 0 0 0 341733 3532 0 0 20 0 1 0 162947974 794460160 151353 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 193960 151353 1433 291 0 185494 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 775840 KiB
Current children cumulated memory: 605412 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/244 833560
/proc/meminfo: memFree=127763820/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=775840 memory=605412 CPUtime=3512.5 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 98304 0 0 0 347686 3564 0 0 20 0 1 0 162947974 794460160 151353 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 193960 151353 1433 291 0 185494 0
Current children cumulated CPU time: 3512.5 s
Current children cumulated vsize: 775840 KiB
Current children cumulated memory: 605412 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/244 833570
/proc/meminfo: memFree=127732700/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=777120 memory=605824 CPUtime=3572.36 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 98719 0 0 0 353649 3587 0 0 20 0 1 0 162947974 795770880 151456 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 194280 151456 1433 291 0 185814 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 777120 KiB
Current children cumulated memory: 605824 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.15 4.14 4.15 5/244 833575
/proc/meminfo: memFree=127711312/131655788 swapFree=131071996/131071996
[pid=831612] ppid=831609 vsize=777120 memory=606132 CPUtime=3600.01 cores=1,3
/proc/831612/stat : 831612 (pb-oll-rs) R 831609 831612 828344 0 -1 4194304 98964 0 0 0 356405 3596 0 0 20 0 1 0 162947974 795770880 151533 134679101440 4194304 5384005 140722303814192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 28012544 140722303816727 140722303816804 140722303816804 140722303823819 0
/proc/831612/statm: 194280 151533 1433 291 0 185814 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 777120 KiB
Current children cumulated memory: 606132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.03 s]
# the end of solver process 831612 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.07 s, system=35.967 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.03
CPU time (s): 3600.04
CPU user time (s): 3564.07
CPU system time (s): 35.967
CPU usage (%): 99.7231
Max. virtual memory (cumulated for all children) (KiB): 777120
Max. memory (cumulated for all children) (KiB): 606132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.07
system time used= 35.967
maximum resident set size= 606132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98995
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= 135
involuntary context switches= 2037
# summary of solver processes directly reported to runsolver:
# pid: 831612
# total CPU time (s): 3600.04
# total CPU user time (s): 3564.07
# total CPU system time (s): 35.967
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6735 second user time and 36.17 second system time
The end
Begin job on nodeC008 at 2024-07-16 07:32:08
IDJOB=4435969
IDBENCH=148147
IDSOLVER=3067
FILE ID=nodeC008/4435969-1721107915
RUNJOBID= nodeC008-1721103905-828397
SLURM_JOB_ID= 7505622
Free space on /tmp= 723760 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4435969-1721107915/watcher-4435969-1721107915 -o /tmp/evaluation-result-4435969-1721107915/solver-4435969-1721107915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828397 --watchdog 3760 pb-oll-rs HOME/instance-4435969-1721107915.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 80638e9ab302f8cbcb0fef344ba23b43
RANDOM SEED=330185857
nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3549.265
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.981
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.453
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.245
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3514.675
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3541.506
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.437
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.332
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128487200 kB
MemAvailable: 128659592 kB
Buffers: 411084 kB
Cached: 605436 kB
SwapCached: 0 kB
Active: 645088 kB
Inactive: 2001500 kB
Active(anon): 1476 kB
Inactive(anon): 1666324 kB
Active(file): 643612 kB
Inactive(file): 335176 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2368 kB
Writeback: 0 kB
AnonPages: 1630104 kB
Mapped: 107824 kB
Shmem: 37704 kB
KReclaimable: 67272 kB
Slab: 160864 kB
SReclaimable: 67272 kB
SUnreclaim: 93592 kB
KernelStack: 3936 kB
PageTables: 12580 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1942596 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 395264 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: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723752 MiB
End job on nodeC008 at 2024-07-16 08:32:18