0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.08 c [STEP] solving
0.00/0.08 c #variables 4360 #constraints 8610
0.00/0.08 c SMALL=int, LARGE=long long
0.00/0.09 c bounds - >= 4081 @ 0.055041
0.00/0.09 c stratification level: 2098
0.00/0.09 c bounds 36089 >= 4081 @ 0.057922
0.00/0.09 c stratification level: 2095
0.18/0.26 c bounds 35903 >= 4081 @ 0.18877
0.18/0.26 c stratification level: 2089
92.82/93.37 c #Conflicts: 1000 | #Constraints: 9611
92.82/93.37 c #Conflicts: 2000 | #Constraints: 10611
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 3000 | #Constraints: 10623
92.82/93.37 c #Conflicts: 4000 | #Constraints: 11623
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 5000 | #Constraints: 11022
92.82/93.37 c #Conflicts: 6000 | #Constraints: 12022
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 7000 | #Constraints: 11022
92.82/93.37 c #Conflicts: 8000 | #Constraints: 12022
92.82/93.37 c #Conflicts: 9000 | #Constraints: 13022
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 10000 | #Constraints: 11721
92.82/93.37 c #Conflicts: 11000 | #Constraints: 12721
92.82/93.37 c #Conflicts: 12000 | #Constraints: 13721
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 13000 | #Constraints: 12171
92.82/93.37 c #Conflicts: 14000 | #Constraints: 13171
92.82/93.37 c #Conflicts: 15000 | #Constraints: 14171
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 16000 | #Constraints: 12399
92.82/93.37 c #Conflicts: 17000 | #Constraints: 13399
92.82/93.37 c #Conflicts: 18000 | #Constraints: 14399
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 19000 | #Constraints: 12416
92.82/93.37 c #Conflicts: 20000 | #Constraints: 13416
92.82/93.37 c #Conflicts: 21000 | #Constraints: 14416
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 22000 | #Constraints: 12245
92.82/93.37 c #Conflicts: 23000 | #Constraints: 13245
92.82/93.37 c #Conflicts: 24000 | #Constraints: 14245
92.82/93.37 c #Conflicts: 25000 | #Constraints: 15245
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 26000 | #Constraints: 12840
92.82/93.37 c #Conflicts: 27000 | #Constraints: 13840
92.82/93.37 c #Conflicts: 28000 | #Constraints: 14840
92.82/93.37 c #Conflicts: 29000 | #Constraints: 15840
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 30000 | #Constraints: 13231
92.82/93.37 c #Conflicts: 31000 | #Constraints: 14231
92.82/93.37 c #Conflicts: 32000 | #Constraints: 15231
92.82/93.37 c #Conflicts: 33000 | #Constraints: 16231
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 34000 | #Constraints: 13433
92.82/93.37 c #Conflicts: 35000 | #Constraints: 14433
92.82/93.37 c #Conflicts: 36000 | #Constraints: 15433
92.82/93.37 c #Conflicts: 37000 | #Constraints: 16433
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 38000 | #Constraints: 13431
92.82/93.37 c #Conflicts: 39000 | #Constraints: 14431
92.82/93.37 c #Conflicts: 40000 | #Constraints: 15431
92.82/93.37 c #Conflicts: 41000 | #Constraints: 16431
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 42000 | #Constraints: 13248
92.82/93.37 c #Conflicts: 43000 | #Constraints: 14248
92.82/93.37 c #Conflicts: 44000 | #Constraints: 15248
92.82/93.37 c #Conflicts: 45000 | #Constraints: 16248
92.82/93.37 c #Conflicts: 46000 | #Constraints: 17248
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 47000 | #Constraints: 13848
92.82/93.37 c #Conflicts: 48000 | #Constraints: 14848
92.82/93.37 c #Conflicts: 49000 | #Constraints: 15848
92.82/93.37 c #Conflicts: 50000 | #Constraints: 16848
92.82/93.37 c #Conflicts: 51000 | #Constraints: 17848
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 52000 | #Constraints: 14237
92.82/93.37 c #Conflicts: 53000 | #Constraints: 15237
92.82/93.37 c #Conflicts: 54000 | #Constraints: 16237
92.82/93.37 c #Conflicts: 55000 | #Constraints: 17237
92.82/93.37 c #Conflicts: 56000 | #Constraints: 18237
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 57000 | #Constraints: 14438
92.82/93.37 c #Conflicts: 58000 | #Constraints: 15438
92.82/93.37 c #Conflicts: 59000 | #Constraints: 16438
92.82/93.37 c #Conflicts: 60000 | #Constraints: 17438
92.82/93.37 c #Conflicts: 61000 | #Constraints: 18438
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 62000 | #Constraints: 14437
92.82/93.37 c #Conflicts: 63000 | #Constraints: 15437
92.82/93.37 c #Conflicts: 64000 | #Constraints: 16437
92.82/93.37 c #Conflicts: 65000 | #Constraints: 17437
92.82/93.37 c #Conflicts: 66000 | #Constraints: 18437
92.82/93.37 c INPROCESSING
92.82/93.37 c GARBAGE COLLECT
92.82/93.37 c #Conflicts: 67000 | #Constraints: 14242
92.82/93.37 c #Conflicts: 68000 | #Constraints: 15242
235.04/235.99 c #Conflicts: 69000 | #Constraints: 16242
235.04/235.99 c #Conflicts: 70000 | #Constraints: 17242
235.04/235.99 c #Conflicts: 71000 | #Constraints: 18242
235.04/235.99 c #Conflicts: 72000 | #Constraints: 19242
235.04/235.99 c INPROCESSING
235.04/235.99 c GARBAGE COLLECT
235.04/235.99 c #Conflicts: 73000 | #Constraints: 14837
235.04/235.99 c #Conflicts: 74000 | #Constraints: 15837
235.04/235.99 c #Conflicts: 75000 | #Constraints: 16837
235.04/235.99 c #Conflicts: 76000 | #Constraints: 17837
235.04/235.99 c #Conflicts: 77000 | #Constraints: 18837
235.04/235.99 c #Conflicts: 78000 | #Constraints: 19837
235.04/235.99 c INPROCESSING
235.04/235.99 c GARBAGE COLLECT
235.04/235.99 c #Conflicts: 79000 | #Constraints: 15229
235.04/235.99 c #Conflicts: 80000 | #Constraints: 16229
235.04/235.99 c #Conflicts: 81000 | #Constraints: 17229
235.04/235.99 c #Conflicts: 82000 | #Constraints: 18229
235.04/235.99 c #Conflicts: 83000 | #Constraints: 19229
235.04/235.99 c #Conflicts: 84000 | #Constraints: 20229
235.04/235.99 c INPROCESSING
235.04/235.99 c GARBAGE COLLECT
235.04/235.99 c #Conflicts: 85000 | #Constraints: 15426
235.04/235.99 c #Conflicts: 86000 | #Constraints: 16426
235.04/235.99 c #Conflicts: 87000 | #Constraints: 17426
235.04/235.99 c #Conflicts: 88000 | #Constraints: 18426
235.04/235.99 c #Conflicts: 89000 | #Constraints: 19426
235.04/235.99 c #Conflicts: 90000 | #Constraints: 20426
235.04/235.99 c INPROCESSING
235.04/235.99 c GARBAGE COLLECT
235.04/235.99 c #Conflicts: 91000 | #Constraints: 15425
235.04/235.99 c #Conflicts: 92000 | #Constraints: 16425
235.04/235.99 c #Conflicts: 93000 | #Constraints: 17425
235.04/235.99 c #Conflicts: 94000 | #Constraints: 18425
235.04/235.99 c #Conflicts: 95000 | #Constraints: 19425
235.04/235.99 c #Conflicts: 96000 | #Constraints: 20425
235.04/235.99 c INPROCESSING
235.04/235.99 c GARBAGE COLLECT
235.04/235.99 c #Conflicts: 97000 | #Constraints: 15238
235.04/235.99 c #Conflicts: 98000 | #Constraints: 16238
235.04/235.99 c #Conflicts: 99000 | #Constraints: 17238
235.04/235.99 c #Conflicts: 100000 | #Constraints: 18238
235.04/235.99 c #Conflicts: 101000 | #Constraints: 19238
235.04/235.99 c #Conflicts: 102000 | #Constraints: 20238
235.04/235.99 c #Conflicts: 103000 | #Constraints: 21238
235.04/235.99 c INPROCESSING
235.04/235.99 c GARBAGE COLLECT
235.04/235.99 c #Conflicts: 104000 | #Constraints: 15832
235.04/235.99 c #Conflicts: 105000 | #Constraints: 16832
235.04/235.99 c #Conflicts: 106000 | #Constraints: 17832
235.04/235.99 c #Conflicts: 107000 | #Constraints: 18832
235.04/235.99 c #Conflicts: 108000 | #Constraints: 19832
235.04/235.99 c #Conflicts: 109000 | #Constraints: 20832
235.04/235.99 c #Conflicts: 110000 | #Constraints: 21832
235.04/235.99 c INPROCESSING
235.04/235.99 c GARBAGE COLLECT
235.04/235.99 c #Conflicts: 111000 | #Constraints: 16234
235.04/235.99 c #Conflicts: 112000 | #Constraints: 17234
235.04/235.99 c #Conflicts: 113000 | #Constraints: 18234
235.04/235.99 c #Conflicts: 114000 | #Constraints: 19234
235.04/235.99 c #Conflicts: 115000 | #Constraints: 20234
235.04/235.99 c #Conflicts: 116000 | #Constraints: 21234
235.04/235.99 c #Conflicts: 117000 | #Constraints: 22234
235.04/235.99 c INPROCESSING
235.04/235.99 c GARBAGE COLLECT
235.04/235.99 c #Conflicts: 118000 | #Constraints: 16431
235.04/235.99 c #Conflicts: 119000 | #Constraints: 17431
235.04/235.99 c #Conflicts: 120000 | #Constraints: 18431
235.04/235.99 c #Conflicts: 121000 | #Constraints: 19431
235.04/235.99 c #Conflicts: 122000 | #Constraints: 20431
235.04/235.99 c #Conflicts: 123000 | #Constraints: 21431
235.04/235.99 c #Conflicts: 124000 | #Constraints: 22431
235.04/235.99 c INPROCESSING
235.04/235.99 c GARBAGE COLLECT
235.04/235.99 c #Conflicts: 125000 | #Constraints: 16432
235.04/235.99 c #Conflicts: 126000 | #Constraints: 17432
235.04/235.99 c #Conflicts: 127000 | #Constraints: 18432
235.04/235.99 c #Conflicts: 128000 | #Constraints: 19432
235.04/235.99 c #Conflicts: 129000 | #Constraints: 20432
235.04/235.99 c #Conflicts: 130000 | #Constraints: 21432
235.04/235.99 c #Conflicts: 131000 | #Constraints: 22432
235.04/235.99 c INPROCESSING
235.04/235.99 c GARBAGE COLLECT
235.04/235.99 c #Conflicts: 132000 | #Constraints: 16257
235.04/235.99 c #Conflicts: 133000 | #Constraints: 17257
235.04/235.99 c #Conflicts: 134000 | #Constraints: 18257
235.04/235.99 c #Conflicts: 135000 | #Constraints: 19257
235.04/235.99 c #Conflicts: 136000 | #Constraints: 20257
235.04/235.99 c #Conflicts: 137000 | #Constraints: 21257
235.04/235.99 c #Conflicts: 138000 | #Constraints: 22257
235.04/235.99 c #Conflicts: 139000 | #Constraints: 23257
235.04/235.99 c INPROCESSING
235.04/235.99 c GARBAGE COLLECT
235.04/235.99 c #Conflicts: 140000 | #Constraints: 16865
396.74/398.02 c #Conflicts: 141000 | #Constraints: 17865
396.74/398.02 c #Conflicts: 142000 | #Constraints: 18865
396.74/398.02 c #Conflicts: 143000 | #Constraints: 19865
396.74/398.02 c #Conflicts: 144000 | #Constraints: 20865
396.74/398.02 c #Conflicts: 145000 | #Constraints: 21865
396.74/398.02 c #Conflicts: 146000 | #Constraints: 22865
396.74/398.02 c #Conflicts: 147000 | #Constraints: 23865
396.74/398.02 c INPROCESSING
396.74/398.02 c GARBAGE COLLECT
396.74/398.02 c #Conflicts: 148000 | #Constraints: 17282
396.74/398.02 c #Conflicts: 149000 | #Constraints: 18282
396.74/398.02 c #Conflicts: 150000 | #Constraints: 19282
396.74/398.02 c #Conflicts: 151000 | #Constraints: 20282
396.74/398.02 c #Conflicts: 152000 | #Constraints: 21282
396.74/398.02 c #Conflicts: 153000 | #Constraints: 22282
396.74/398.02 c #Conflicts: 154000 | #Constraints: 23282
396.74/398.02 c #Conflicts: 155000 | #Constraints: 24282
396.74/398.02 c INPROCESSING
396.74/398.02 c GARBAGE COLLECT
396.74/398.02 c #Conflicts: 156000 | #Constraints: 17468
396.74/398.02 c #Conflicts: 157000 | #Constraints: 18468
396.74/398.02 c #Conflicts: 158000 | #Constraints: 19468
396.74/398.02 c #Conflicts: 159000 | #Constraints: 20468
396.74/398.02 c #Conflicts: 160000 | #Constraints: 21468
396.74/398.02 c #Conflicts: 161000 | #Constraints: 22468
396.74/398.02 c #Conflicts: 162000 | #Constraints: 23468
396.74/398.02 c #Conflicts: 163000 | #Constraints: 24468
396.74/398.02 c INPROCESSING
396.74/398.02 c GARBAGE COLLECT
396.74/398.02 c #Conflicts: 164000 | #Constraints: 17560
396.74/398.02 c #Conflicts: 165000 | #Constraints: 18560
396.74/398.02 c #Conflicts: 166000 | #Constraints: 19560
396.74/398.02 c #Conflicts: 167000 | #Constraints: 20560
396.74/398.02 c #Conflicts: 168000 | #Constraints: 21560
396.74/398.02 c #Conflicts: 169000 | #Constraints: 22560
396.74/398.02 c #Conflicts: 170000 | #Constraints: 23560
396.74/398.02 c #Conflicts: 171000 | #Constraints: 24560
396.74/398.02 c INPROCESSING
396.74/398.02 c GARBAGE COLLECT
396.74/398.02 c #Conflicts: 172000 | #Constraints: 17308
396.74/398.02 c #Conflicts: 173000 | #Constraints: 18308
396.74/398.02 c #Conflicts: 174000 | #Constraints: 19308
396.74/398.02 c #Conflicts: 175000 | #Constraints: 20308
396.74/398.02 c #Conflicts: 176000 | #Constraints: 21308
396.74/398.02 c #Conflicts: 177000 | #Constraints: 22308
396.74/398.02 c #Conflicts: 178000 | #Constraints: 23308
396.74/398.02 c #Conflicts: 179000 | #Constraints: 24308
396.74/398.02 c #Conflicts: 180000 | #Constraints: 25308
396.74/398.02 c INPROCESSING
396.74/398.02 c GARBAGE COLLECT
396.74/398.02 c #Conflicts: 181000 | #Constraints: 17876
396.74/398.02 c #Conflicts: 182000 | #Constraints: 18876
396.74/398.02 c #Conflicts: 183000 | #Constraints: 19876
396.74/398.02 c #Conflicts: 184000 | #Constraints: 20876
396.74/398.02 c #Conflicts: 185000 | #Constraints: 21876
396.74/398.02 c #Conflicts: 186000 | #Constraints: 22876
396.74/398.02 c #Conflicts: 187000 | #Constraints: 23876
396.74/398.02 c #Conflicts: 188000 | #Constraints: 24876
396.74/398.02 c #Conflicts: 189000 | #Constraints: 25876
396.74/398.02 c INPROCESSING
396.74/398.02 c GARBAGE COLLECT
396.74/398.02 c #Conflicts: 190000 | #Constraints: 18279
396.74/398.02 c #Conflicts: 191000 | #Constraints: 19279
396.74/398.02 c #Conflicts: 192000 | #Constraints: 20279
396.74/398.02 c #Conflicts: 193000 | #Constraints: 21279
396.74/398.02 c #Conflicts: 194000 | #Constraints: 22279
396.74/398.02 c #Conflicts: 195000 | #Constraints: 23279
396.74/398.02 c #Conflicts: 196000 | #Constraints: 24279
396.74/398.02 c #Conflicts: 197000 | #Constraints: 25279
396.74/398.02 c #Conflicts: 198000 | #Constraints: 26279
396.74/398.02 c INPROCESSING
396.74/398.02 c GARBAGE COLLECT
396.74/398.02 c #Conflicts: 199000 | #Constraints: 18483
396.74/398.02 c #Conflicts: 200000 | #Constraints: 19483
396.74/398.02 c #Conflicts: 201000 | #Constraints: 20483
396.74/398.02 c #Conflicts: 202000 | #Constraints: 21483
396.74/398.02 c #Conflicts: 203000 | #Constraints: 22483
396.74/398.02 c #Conflicts: 204000 | #Constraints: 23483
396.74/398.02 c #Conflicts: 205000 | #Constraints: 24483
396.74/398.02 c #Conflicts: 206000 | #Constraints: 25483
396.74/398.02 c #Conflicts: 207000 | #Constraints: 26483
396.74/398.02 c INPROCESSING
396.74/398.02 c GARBAGE COLLECT
396.74/398.02 c #Conflicts: 208000 | #Constraints: 18528
396.74/398.02 c #Conflicts: 209000 | #Constraints: 19528
396.74/398.02 c #Conflicts: 210000 | #Constraints: 20528
396.74/398.02 c #Conflicts: 211000 | #Constraints: 21528
396.74/398.02 c #Conflicts: 212000 | #Constraints: 22528
396.74/398.02 c #Conflicts: 213000 | #Constraints: 23528
696.72/698.89 c #Conflicts: 214000 | #Constraints: 24528
696.72/698.89 c #Conflicts: 215000 | #Constraints: 25528
696.72/698.89 c #Conflicts: 216000 | #Constraints: 26528
696.72/698.89 c INPROCESSING
696.72/698.89 c GARBAGE COLLECT
696.72/698.89 c #Conflicts: 217000 | #Constraints: 18302
696.72/698.89 c #Conflicts: 218000 | #Constraints: 19302
696.72/698.89 c #Conflicts: 219000 | #Constraints: 20302
696.72/698.89 c #Conflicts: 220000 | #Constraints: 21302
696.72/698.89 c #Conflicts: 221000 | #Constraints: 22302
696.72/698.89 c #Conflicts: 222000 | #Constraints: 23302
696.72/698.89 c #Conflicts: 223000 | #Constraints: 24302
696.72/698.89 c #Conflicts: 224000 | #Constraints: 25302
696.72/698.89 c #Conflicts: 225000 | #Constraints: 26302
696.72/698.89 c #Conflicts: 226000 | #Constraints: 27302
696.72/698.89 c INPROCESSING
696.72/698.89 c GARBAGE COLLECT
696.72/698.89 c #Conflicts: 227000 | #Constraints: 18893
696.72/698.89 c #Conflicts: 228000 | #Constraints: 19893
696.72/698.89 c #Conflicts: 229000 | #Constraints: 20893
696.72/698.89 c #Conflicts: 230000 | #Constraints: 21893
696.72/698.89 c #Conflicts: 231000 | #Constraints: 22893
696.72/698.89 c #Conflicts: 232000 | #Constraints: 23893
696.72/698.89 c #Conflicts: 233000 | #Constraints: 24893
696.72/698.89 c #Conflicts: 234000 | #Constraints: 25893
696.72/698.89 c #Conflicts: 235000 | #Constraints: 26893
696.72/698.89 c #Conflicts: 236000 | #Constraints: 27893
696.72/698.89 c INPROCESSING
696.72/698.89 c GARBAGE COLLECT
696.72/698.89 c #Conflicts: 237000 | #Constraints: 19271
696.72/698.89 c #Conflicts: 238000 | #Constraints: 20271
696.72/698.89 c #Conflicts: 239000 | #Constraints: 21271
696.72/698.89 c #Conflicts: 240000 | #Constraints: 22271
696.72/698.89 c #Conflicts: 241000 | #Constraints: 23271
696.72/698.89 c #Conflicts: 242000 | #Constraints: 24271
696.72/698.89 c #Conflicts: 243000 | #Constraints: 25271
696.72/698.89 c #Conflicts: 244000 | #Constraints: 26271
696.72/698.89 c #Conflicts: 245000 | #Constraints: 27271
696.72/698.89 c #Conflicts: 246000 | #Constraints: 28271
696.72/698.89 c INPROCESSING
696.72/698.89 c GARBAGE COLLECT
696.72/698.89 c #Conflicts: 247000 | #Constraints: 19510
696.72/698.89 c #Conflicts: 248000 | #Constraints: 20510
696.72/698.89 c #Conflicts: 249000 | #Constraints: 21510
696.72/698.89 c #Conflicts: 250000 | #Constraints: 22510
696.72/698.89 c #Conflicts: 251000 | #Constraints: 23510
696.72/698.89 c #Conflicts: 252000 | #Constraints: 24510
696.72/698.89 c #Conflicts: 253000 | #Constraints: 25510
696.72/698.89 c #Conflicts: 254000 | #Constraints: 26510
696.72/698.89 c #Conflicts: 255000 | #Constraints: 27510
696.72/698.89 c #Conflicts: 256000 | #Constraints: 28510
696.72/698.89 c INPROCESSING
696.72/698.89 c GARBAGE COLLECT
696.72/698.89 c #Conflicts: 257000 | #Constraints: 19479
696.72/698.89 c #Conflicts: 258000 | #Constraints: 20479
696.72/698.89 c #Conflicts: 259000 | #Constraints: 21479
696.72/698.89 c #Conflicts: 260000 | #Constraints: 22479
696.72/698.89 c #Conflicts: 261000 | #Constraints: 23479
696.72/698.89 c #Conflicts: 262000 | #Constraints: 24479
696.72/698.89 c #Conflicts: 263000 | #Constraints: 25479
696.72/698.89 c #Conflicts: 264000 | #Constraints: 26479
696.72/698.89 c #Conflicts: 265000 | #Constraints: 27479
696.72/698.89 c #Conflicts: 266000 | #Constraints: 28479
696.72/698.89 c INPROCESSING
696.72/698.89 c GARBAGE COLLECT
696.72/698.89 c #Conflicts: 267000 | #Constraints: 19371
696.72/698.89 c #Conflicts: 268000 | #Constraints: 20371
696.72/698.89 c #Conflicts: 269000 | #Constraints: 21371
696.72/698.89 c #Conflicts: 270000 | #Constraints: 22371
696.72/698.89 c #Conflicts: 271000 | #Constraints: 23371
696.72/698.89 c #Conflicts: 272000 | #Constraints: 24371
696.72/698.89 c #Conflicts: 273000 | #Constraints: 25371
696.72/698.89 c #Conflicts: 274000 | #Constraints: 26371
696.72/698.89 c #Conflicts: 275000 | #Constraints: 27371
696.72/698.89 c #Conflicts: 276000 | #Constraints: 28371
696.72/698.89 c #Conflicts: 277000 | #Constraints: 29371
696.72/698.89 c INPROCESSING
696.72/698.89 c GARBAGE COLLECT
696.72/698.89 c #Conflicts: 278000 | #Constraints: 19905
696.72/698.89 c #Conflicts: 279000 | #Constraints: 20905
696.72/698.89 c #Conflicts: 280000 | #Constraints: 21905
696.72/698.89 c #Conflicts: 281000 | #Constraints: 22905
696.72/698.89 c #Conflicts: 282000 | #Constraints: 23905
696.72/698.89 c #Conflicts: 283000 | #Constraints: 24905
696.72/698.89 c #Conflicts: 284000 | #Constraints: 25905
696.72/698.89 c #Conflicts: 285000 | #Constraints: 26905
696.72/698.89 c #Conflicts: 286000 | #Constraints: 27905
696.72/698.89 c #Conflicts: 287000 | #Constraints: 28905
696.72/698.89 c #Conflicts: 288000 | #Constraints: 29905
930.71/933.58 c INPROCESSING
930.71/933.58 c GARBAGE COLLECT
930.71/933.58 c #Conflicts: 289000 | #Constraints: 20276
930.71/933.58 c #Conflicts: 290000 | #Constraints: 21276
930.71/933.58 c #Conflicts: 291000 | #Constraints: 22276
930.71/933.58 c #Conflicts: 292000 | #Constraints: 23276
930.71/933.58 c #Conflicts: 293000 | #Constraints: 24276
930.71/933.58 c #Conflicts: 294000 | #Constraints: 25276
930.71/933.58 c #Conflicts: 295000 | #Constraints: 26276
930.71/933.58 c #Conflicts: 296000 | #Constraints: 27276
930.71/933.58 c #Conflicts: 297000 | #Constraints: 28276
930.71/933.58 c #Conflicts: 298000 | #Constraints: 29276
930.71/933.58 c #Conflicts: 299000 | #Constraints: 30276
930.71/933.58 c INPROCESSING
930.71/933.58 c GARBAGE COLLECT
930.71/933.58 c #Conflicts: 300000 | #Constraints: 20478
930.71/933.58 c #Conflicts: 301000 | #Constraints: 21478
930.71/933.58 c #Conflicts: 302000 | #Constraints: 22478
930.71/933.58 c #Conflicts: 303000 | #Constraints: 23478
930.71/933.58 c #Conflicts: 304000 | #Constraints: 24478
930.71/933.58 c #Conflicts: 305000 | #Constraints: 25478
930.71/933.58 c #Conflicts: 306000 | #Constraints: 26478
930.71/933.58 c #Conflicts: 307000 | #Constraints: 27478
930.71/933.58 c #Conflicts: 308000 | #Constraints: 28478
930.71/933.58 c #Conflicts: 309000 | #Constraints: 29478
930.71/933.58 c #Conflicts: 310000 | #Constraints: 30478
930.71/933.58 c INPROCESSING
930.71/933.58 c GARBAGE COLLECT
930.71/933.58 c #Conflicts: 311000 | #Constraints: 20462
930.71/933.58 c #Conflicts: 312000 | #Constraints: 21462
930.71/933.58 c #Conflicts: 313000 | #Constraints: 22462
930.71/933.58 c #Conflicts: 314000 | #Constraints: 23462
930.71/933.58 c #Conflicts: 315000 | #Constraints: 24462
930.71/933.58 c #Conflicts: 316000 | #Constraints: 25462
930.71/933.58 c #Conflicts: 317000 | #Constraints: 26462
930.71/933.58 c #Conflicts: 318000 | #Constraints: 27462
930.71/933.58 c #Conflicts: 319000 | #Constraints: 28462
930.71/933.58 c #Conflicts: 320000 | #Constraints: 29462
930.71/933.58 c #Conflicts: 321000 | #Constraints: 30462
930.71/933.58 c INPROCESSING
930.71/933.58 c GARBAGE COLLECT
930.71/933.58 c #Conflicts: 322000 | #Constraints: 20304
930.71/933.58 c #Conflicts: 323000 | #Constraints: 21304
930.71/933.58 c #Conflicts: 324000 | #Constraints: 22304
930.71/933.58 c #Conflicts: 325000 | #Constraints: 23304
930.71/933.58 c #Conflicts: 326000 | #Constraints: 24304
930.71/933.58 c #Conflicts: 327000 | #Constraints: 25304
930.71/933.58 c #Conflicts: 328000 | #Constraints: 26304
930.71/933.58 c #Conflicts: 329000 | #Constraints: 27304
930.71/933.58 c #Conflicts: 330000 | #Constraints: 28304
930.71/933.58 c #Conflicts: 331000 | #Constraints: 29304
930.71/933.58 c #Conflicts: 332000 | #Constraints: 30304
930.71/933.58 c #Conflicts: 333000 | #Constraints: 31304
930.71/933.58 c INPROCESSING
930.71/933.58 c GARBAGE COLLECT
930.71/933.58 c #Conflicts: 334000 | #Constraints: 20886
930.71/933.58 c #Conflicts: 335000 | #Constraints: 21886
930.71/933.58 c #Conflicts: 336000 | #Constraints: 22886
930.71/933.58 c #Conflicts: 337000 | #Constraints: 23886
930.71/933.58 c #Conflicts: 338000 | #Constraints: 24886
930.71/933.58 c #Conflicts: 339000 | #Constraints: 25886
930.71/933.58 c #Conflicts: 340000 | #Constraints: 26886
930.71/933.58 c #Conflicts: 341000 | #Constraints: 27886
930.71/933.58 c #Conflicts: 342000 | #Constraints: 28886
930.71/933.58 c #Conflicts: 343000 | #Constraints: 29886
930.71/933.58 c #Conflicts: 344000 | #Constraints: 30886
930.71/933.58 c #Conflicts: 345000 | #Constraints: 31886
930.71/933.58 c INPROCESSING
930.71/933.58 c GARBAGE COLLECT
930.71/933.58 c #Conflicts: 346000 | #Constraints: 21262
930.71/933.58 c #Conflicts: 347000 | #Constraints: 22262
930.71/933.58 c #Conflicts: 348000 | #Constraints: 23262
930.71/933.58 c #Conflicts: 349000 | #Constraints: 24262
930.71/933.58 c #Conflicts: 350000 | #Constraints: 25262
930.71/933.58 c #Conflicts: 351000 | #Constraints: 26262
930.71/933.58 c #Conflicts: 352000 | #Constraints: 27262
930.71/933.58 c #Conflicts: 353000 | #Constraints: 28262
930.71/933.58 c #Conflicts: 354000 | #Constraints: 29262
930.71/933.58 c #Conflicts: 355000 | #Constraints: 30262
930.71/933.58 c #Conflicts: 356000 | #Constraints: 31262
930.71/933.58 c #Conflicts: 357000 | #Constraints: 32262
930.71/933.58 c INPROCESSING
930.71/933.58 c GARBAGE COLLECT
930.71/933.58 c #Conflicts: 358000 | #Constraints: 21475
930.71/933.58 c #Conflicts: 359000 | #Constraints: 22475
930.71/933.58 c #Conflicts: 360000 | #Constraints: 23475
930.71/933.58 c #Conflicts: 361000 | #Constraints: 24475
930.71/933.58 c #Conflicts: 362000 | #Constraints: 25475
1155.86/1159.23 c #Conflicts: 363000 | #Constraints: 26475
1155.86/1159.23 c #Conflicts: 364000 | #Constraints: 27475
1155.86/1159.23 c #Conflicts: 365000 | #Constraints: 28475
1155.86/1159.23 c #Conflicts: 366000 | #Constraints: 29475
1155.86/1159.23 c #Conflicts: 367000 | #Constraints: 30475
1155.86/1159.23 c #Conflicts: 368000 | #Constraints: 31475
1155.86/1159.23 c #Conflicts: 369000 | #Constraints: 32475
1155.86/1159.23 c INPROCESSING
1155.86/1159.23 c GARBAGE COLLECT
1155.86/1159.23 c #Conflicts: 370000 | #Constraints: 21471
1155.86/1159.23 c #Conflicts: 371000 | #Constraints: 22471
1155.86/1159.23 c #Conflicts: 372000 | #Constraints: 23471
1155.86/1159.23 c #Conflicts: 373000 | #Constraints: 24471
1155.86/1159.23 c #Conflicts: 374000 | #Constraints: 25471
1155.86/1159.23 c #Conflicts: 375000 | #Constraints: 26471
1155.86/1159.23 c #Conflicts: 376000 | #Constraints: 27471
1155.86/1159.23 c #Conflicts: 377000 | #Constraints: 28471
1155.86/1159.23 c #Conflicts: 378000 | #Constraints: 29471
1155.86/1159.23 c #Conflicts: 379000 | #Constraints: 30471
1155.86/1159.23 c #Conflicts: 380000 | #Constraints: 31471
1155.86/1159.23 c #Conflicts: 381000 | #Constraints: 32471
1155.86/1159.23 c INPROCESSING
1155.86/1159.23 c GARBAGE COLLECT
1155.86/1159.23 c #Conflicts: 382000 | #Constraints: 21267
1155.86/1159.23 c #Conflicts: 383000 | #Constraints: 22267
1155.86/1159.23 c #Conflicts: 384000 | #Constraints: 23267
1155.86/1159.23 c #Conflicts: 385000 | #Constraints: 24267
1155.86/1159.23 c #Conflicts: 386000 | #Constraints: 25267
1155.86/1159.23 c #Conflicts: 387000 | #Constraints: 26267
1155.86/1159.23 c #Conflicts: 388000 | #Constraints: 27267
1155.86/1159.23 c #Conflicts: 389000 | #Constraints: 28267
1155.86/1159.23 c #Conflicts: 390000 | #Constraints: 29267
1155.86/1159.23 c #Conflicts: 391000 | #Constraints: 30267
1155.86/1159.23 c #Conflicts: 392000 | #Constraints: 31267
1155.86/1159.23 c #Conflicts: 393000 | #Constraints: 32267
1155.86/1159.23 c #Conflicts: 394000 | #Constraints: 33267
1155.86/1159.23 c INPROCESSING
1155.86/1159.23 c GARBAGE COLLECT
1155.86/1159.23 c #Conflicts: 395000 | #Constraints: 21875
1155.86/1159.23 c #Conflicts: 396000 | #Constraints: 22875
1155.86/1159.23 c #Conflicts: 397000 | #Constraints: 23875
1155.86/1159.23 c #Conflicts: 398000 | #Constraints: 24875
1155.86/1159.23 c #Conflicts: 399000 | #Constraints: 25875
1155.86/1159.23 c #Conflicts: 400000 | #Constraints: 26875
1155.86/1159.23 c #Conflicts: 401000 | #Constraints: 27875
1155.86/1159.23 c #Conflicts: 402000 | #Constraints: 28875
1155.86/1159.23 c #Conflicts: 403000 | #Constraints: 29875
1155.86/1159.23 c #Conflicts: 404000 | #Constraints: 30875
1155.86/1159.23 c #Conflicts: 405000 | #Constraints: 31875
1155.86/1159.23 c #Conflicts: 406000 | #Constraints: 32875
1155.86/1159.23 c #Conflicts: 407000 | #Constraints: 33875
1155.86/1159.23 c INPROCESSING
1155.86/1159.23 c GARBAGE COLLECT
1155.86/1159.23 c #Conflicts: 408000 | #Constraints: 22256
1155.86/1159.23 c #Conflicts: 409000 | #Constraints: 23256
1155.86/1159.23 c #Conflicts: 410000 | #Constraints: 24256
1155.86/1159.23 c #Conflicts: 411000 | #Constraints: 25256
1155.86/1159.23 c #Conflicts: 412000 | #Constraints: 26256
1155.86/1159.23 c #Conflicts: 413000 | #Constraints: 27256
1155.86/1159.23 c #Conflicts: 414000 | #Constraints: 28256
1155.86/1159.23 c #Conflicts: 415000 | #Constraints: 29256
1155.86/1159.23 c #Conflicts: 416000 | #Constraints: 30256
1155.86/1159.23 c #Conflicts: 417000 | #Constraints: 31256
1155.86/1159.23 c #Conflicts: 418000 | #Constraints: 32256
1155.86/1159.23 c #Conflicts: 419000 | #Constraints: 33256
1155.86/1159.23 c #Conflicts: 420000 | #Constraints: 34256
1155.86/1159.23 c INPROCESSING
1155.86/1159.23 c GARBAGE COLLECT
1155.86/1159.23 c #Conflicts: 421000 | #Constraints: 22508
1155.86/1159.23 c #Conflicts: 422000 | #Constraints: 23508
1155.86/1159.23 c #Conflicts: 423000 | #Constraints: 24508
1155.86/1159.23 c #Conflicts: 424000 | #Constraints: 25508
1155.86/1159.23 c #Conflicts: 425000 | #Constraints: 26508
1155.86/1159.23 c #Conflicts: 426000 | #Constraints: 27508
1155.86/1159.23 c #Conflicts: 427000 | #Constraints: 28508
1155.86/1159.23 c #Conflicts: 428000 | #Constraints: 29508
1155.86/1159.23 c #Conflicts: 429000 | #Constraints: 30508
1155.86/1159.23 c #Conflicts: 430000 | #Constraints: 31508
1155.86/1159.23 c #Conflicts: 431000 | #Constraints: 32508
1155.86/1159.23 c #Conflicts: 432000 | #Constraints: 33508
1155.86/1159.23 c #Conflicts: 433000 | #Constraints: 34508
1155.86/1159.23 c INPROCESSING
1155.86/1159.23 c GARBAGE COLLECT
1155.86/1159.23 c #Conflicts: 434000 | #Constraints: 22478
1155.86/1159.23 c #Conflicts: 435000 | #Constraints: 23478
1155.86/1159.23 c #Conflicts: 436000 | #Constraints: 24478
1155.86/1159.23 c #Conflicts: 437000 | #Constraints: 25478
1341.93/1345.74 c #Conflicts: 438000 | #Constraints: 26478
1341.93/1345.74 c #Conflicts: 439000 | #Constraints: 27478
1341.93/1345.74 c #Conflicts: 440000 | #Constraints: 28478
1341.93/1345.74 c #Conflicts: 441000 | #Constraints: 29478
1341.93/1345.74 c #Conflicts: 442000 | #Constraints: 30478
1341.93/1345.74 c #Conflicts: 443000 | #Constraints: 31478
1341.93/1345.74 c #Conflicts: 444000 | #Constraints: 32478
1341.93/1345.74 c #Conflicts: 445000 | #Constraints: 33478
1341.93/1345.74 c #Conflicts: 446000 | #Constraints: 34478
1341.93/1345.74 c INPROCESSING
1341.93/1345.74 c GARBAGE COLLECT
1341.93/1345.74 c #Conflicts: 447000 | #Constraints: 22267
1341.93/1345.74 c #Conflicts: 448000 | #Constraints: 23267
1341.93/1345.74 c #Conflicts: 449000 | #Constraints: 24267
1341.93/1345.74 c #Conflicts: 450000 | #Constraints: 25267
1341.93/1345.74 c #Conflicts: 451000 | #Constraints: 26267
1341.93/1345.74 c #Conflicts: 452000 | #Constraints: 27267
1341.93/1345.74 c #Conflicts: 453000 | #Constraints: 28267
1341.93/1345.74 c #Conflicts: 454000 | #Constraints: 29267
1341.93/1345.74 c #Conflicts: 455000 | #Constraints: 30267
1341.93/1345.74 c #Conflicts: 456000 | #Constraints: 31267
1341.93/1345.74 c #Conflicts: 457000 | #Constraints: 32267
1341.93/1345.74 c #Conflicts: 458000 | #Constraints: 33267
1341.93/1345.74 c #Conflicts: 459000 | #Constraints: 34267
1341.93/1345.74 c #Conflicts: 460000 | #Constraints: 35267
1341.93/1345.74 c INPROCESSING
1341.93/1345.74 c GARBAGE COLLECT
1341.93/1345.74 c #Conflicts: 461000 | #Constraints: 22870
1341.93/1345.74 c #Conflicts: 462000 | #Constraints: 23870
1341.93/1345.74 c #Conflicts: 463000 | #Constraints: 24870
1341.93/1345.74 c #Conflicts: 464000 | #Constraints: 25870
1341.93/1345.74 c #Conflicts: 465000 | #Constraints: 26870
1341.93/1345.74 c #Conflicts: 466000 | #Constraints: 27870
1341.93/1345.74 c #Conflicts: 467000 | #Constraints: 28870
1341.93/1345.74 c #Conflicts: 468000 | #Constraints: 29870
1341.93/1345.74 c #Conflicts: 469000 | #Constraints: 30870
1341.93/1345.74 c #Conflicts: 470000 | #Constraints: 31870
1341.93/1345.74 c #Conflicts: 471000 | #Constraints: 32870
1341.93/1345.74 c #Conflicts: 472000 | #Constraints: 33870
1341.93/1345.74 c #Conflicts: 473000 | #Constraints: 34870
1341.93/1345.74 c #Conflicts: 474000 | #Constraints: 35870
1341.93/1345.74 c INPROCESSING
1341.93/1345.74 c GARBAGE COLLECT
1341.93/1345.74 c #Conflicts: 475000 | #Constraints: 23414
1341.93/1345.74 c #Conflicts: 476000 | #Constraints: 24414
1341.93/1345.74 c #Conflicts: 477000 | #Constraints: 25414
1341.93/1345.74 c #Conflicts: 478000 | #Constraints: 26414
1341.93/1345.74 c #Conflicts: 479000 | #Constraints: 27414
1341.93/1345.74 c #Conflicts: 480000 | #Constraints: 28414
1341.93/1345.74 c #Conflicts: 481000 | #Constraints: 29414
1341.93/1345.74 c #Conflicts: 482000 | #Constraints: 30414
1341.93/1345.74 c #Conflicts: 483000 | #Constraints: 31414
1341.93/1345.74 c #Conflicts: 484000 | #Constraints: 32414
1341.93/1345.74 c #Conflicts: 485000 | #Constraints: 33414
1341.93/1345.74 c #Conflicts: 486000 | #Constraints: 34414
1341.93/1345.74 c #Conflicts: 487000 | #Constraints: 35414
1341.93/1345.74 c #Conflicts: 488000 | #Constraints: 36414
1341.93/1345.74 c INPROCESSING
1341.93/1345.74 c GARBAGE COLLECT
1341.93/1345.74 c #Conflicts: 489000 | #Constraints: 23737
1341.93/1345.74 c #Conflicts: 490000 | #Constraints: 24737
1341.93/1345.74 c #Conflicts: 491000 | #Constraints: 25737
1341.93/1345.74 c #Conflicts: 492000 | #Constraints: 26737
1341.93/1345.74 c #Conflicts: 493000 | #Constraints: 27737
1341.93/1345.74 c #Conflicts: 494000 | #Constraints: 28737
1341.93/1345.74 c #Conflicts: 495000 | #Constraints: 29737
1341.93/1345.74 c #Conflicts: 496000 | #Constraints: 30737
1341.93/1345.74 c #Conflicts: 497000 | #Constraints: 31737
1341.93/1345.74 c #Conflicts: 498000 | #Constraints: 32737
1341.93/1345.74 c #Conflicts: 499000 | #Constraints: 33737
1341.93/1345.74 c #Conflicts: 500000 | #Constraints: 34737
1341.93/1345.74 c #Conflicts: 501000 | #Constraints: 35737
1341.93/1345.74 c #Conflicts: 502000 | #Constraints: 36737
1341.93/1345.74 c INPROCESSING
1341.93/1345.74 c GARBAGE COLLECT
1341.93/1345.74 c #Conflicts: 503000 | #Constraints: 23595
1341.93/1345.74 c #Conflicts: 504000 | #Constraints: 24595
1341.93/1345.74 c #Conflicts: 505000 | #Constraints: 25595
1341.93/1345.74 c #Conflicts: 506000 | #Constraints: 26595
1341.93/1345.74 c #Conflicts: 507000 | #Constraints: 27595
1341.93/1345.74 c #Conflicts: 508000 | #Constraints: 28595
1341.93/1345.74 c #Conflicts: 509000 | #Constraints: 29595
1341.93/1345.74 c #Conflicts: 510000 | #Constraints: 30595
1341.93/1345.74 c #Conflicts: 511000 | #Constraints: 31595
1341.93/1345.74 c #Conflicts: 512000 | #Constraints: 32595
1341.93/1345.74 c #Conflicts: 513000 | #Constraints: 33595
1624.71/1629.12 c #Conflicts: 514000 | #Constraints: 34595
1624.71/1629.12 c #Conflicts: 515000 | #Constraints: 35595
1624.71/1629.12 c #Conflicts: 516000 | #Constraints: 36595
1624.71/1629.12 c INPROCESSING
1624.71/1629.12 c GARBAGE COLLECT
1624.71/1629.12 c #Conflicts: 517000 | #Constraints: 23330
1624.71/1629.12 c #Conflicts: 518000 | #Constraints: 24330
1624.71/1629.12 c #Conflicts: 519000 | #Constraints: 25330
1624.71/1629.12 c #Conflicts: 520000 | #Constraints: 26330
1624.71/1629.12 c #Conflicts: 521000 | #Constraints: 27330
1624.71/1629.12 c #Conflicts: 522000 | #Constraints: 28330
1624.71/1629.12 c #Conflicts: 523000 | #Constraints: 29330
1624.71/1629.12 c #Conflicts: 524000 | #Constraints: 30330
1624.71/1629.12 c #Conflicts: 525000 | #Constraints: 31330
1624.71/1629.12 c #Conflicts: 526000 | #Constraints: 32330
1624.71/1629.12 c #Conflicts: 527000 | #Constraints: 33330
1624.71/1629.12 c #Conflicts: 528000 | #Constraints: 34330
1624.71/1629.12 c #Conflicts: 529000 | #Constraints: 35330
1624.71/1629.12 c #Conflicts: 530000 | #Constraints: 36330
1624.71/1629.12 c #Conflicts: 531000 | #Constraints: 37330
1624.71/1629.12 c INPROCESSING
1624.71/1629.12 c GARBAGE COLLECT
1624.71/1629.12 c #Conflicts: 532000 | #Constraints: 23965
1624.71/1629.12 c #Conflicts: 533000 | #Constraints: 24965
1624.71/1629.12 c #Conflicts: 534000 | #Constraints: 25965
1624.71/1629.12 c #Conflicts: 535000 | #Constraints: 26965
1624.71/1629.12 c #Conflicts: 536000 | #Constraints: 27965
1624.71/1629.12 c #Conflicts: 537000 | #Constraints: 28965
1624.71/1629.12 c #Conflicts: 538000 | #Constraints: 29965
1624.71/1629.12 c #Conflicts: 539000 | #Constraints: 30965
1624.71/1629.12 c #Conflicts: 540000 | #Constraints: 31965
1624.71/1629.12 c #Conflicts: 541000 | #Constraints: 32965
1624.71/1629.12 c #Conflicts: 542000 | #Constraints: 33965
1624.71/1629.12 c #Conflicts: 543000 | #Constraints: 34965
1624.71/1629.12 c #Conflicts: 544000 | #Constraints: 35965
1624.71/1629.12 c #Conflicts: 545000 | #Constraints: 36965
1624.71/1629.12 c #Conflicts: 546000 | #Constraints: 37965
1624.71/1629.12 c INPROCESSING
1624.71/1629.12 c GARBAGE COLLECT
1624.71/1629.12 c #Conflicts: 547000 | #Constraints: 24327
1624.71/1629.12 c #Conflicts: 548000 | #Constraints: 25327
1624.71/1629.12 c #Conflicts: 549000 | #Constraints: 26327
1624.71/1629.12 c #Conflicts: 550000 | #Constraints: 27327
1624.71/1629.12 c #Conflicts: 551000 | #Constraints: 28327
1624.71/1629.12 c #Conflicts: 552000 | #Constraints: 29327
1624.71/1629.12 c #Conflicts: 553000 | #Constraints: 30327
1624.71/1629.12 c #Conflicts: 554000 | #Constraints: 31327
1624.71/1629.12 c #Conflicts: 555000 | #Constraints: 32327
1624.71/1629.12 c #Conflicts: 556000 | #Constraints: 33327
1624.71/1629.12 c #Conflicts: 557000 | #Constraints: 34327
1624.71/1629.12 c #Conflicts: 558000 | #Constraints: 35327
1624.71/1629.12 c #Conflicts: 559000 | #Constraints: 36327
1624.71/1629.12 c #Conflicts: 560000 | #Constraints: 37327
1624.71/1629.12 c #Conflicts: 561000 | #Constraints: 38327
1624.71/1629.12 c INPROCESSING
1624.71/1629.12 c GARBAGE COLLECT
1624.71/1629.12 c #Conflicts: 562000 | #Constraints: 24483
1624.71/1629.12 c #Conflicts: 563000 | #Constraints: 25483
1624.71/1629.12 c #Conflicts: 564000 | #Constraints: 26483
1624.71/1629.12 c #Conflicts: 565000 | #Constraints: 27483
1624.71/1629.12 c #Conflicts: 566000 | #Constraints: 28483
1624.71/1629.12 c #Conflicts: 567000 | #Constraints: 29483
1624.71/1629.12 c #Conflicts: 568000 | #Constraints: 30483
1624.71/1629.12 c #Conflicts: 569000 | #Constraints: 31483
1624.71/1629.12 c #Conflicts: 570000 | #Constraints: 32483
1624.71/1629.12 c #Conflicts: 571000 | #Constraints: 33483
1624.71/1629.12 c #Conflicts: 572000 | #Constraints: 34483
1624.71/1629.12 c #Conflicts: 573000 | #Constraints: 35483
1624.71/1629.12 c #Conflicts: 574000 | #Constraints: 36483
1624.71/1629.12 c #Conflicts: 575000 | #Constraints: 37483
1624.71/1629.12 c #Conflicts: 576000 | #Constraints: 38483
1624.71/1629.12 c INPROCESSING
1624.71/1629.12 c GARBAGE COLLECT
1624.71/1629.12 c #Conflicts: 577000 | #Constraints: 24592
1624.71/1629.12 c #Conflicts: 578000 | #Constraints: 25592
1624.71/1629.12 c #Conflicts: 579000 | #Constraints: 26592
1624.71/1629.12 c #Conflicts: 580000 | #Constraints: 27592
1624.71/1629.12 c #Conflicts: 581000 | #Constraints: 28592
1624.71/1629.12 c #Conflicts: 582000 | #Constraints: 29592
1624.71/1629.12 c #Conflicts: 583000 | #Constraints: 30592
1624.71/1629.12 c #Conflicts: 584000 | #Constraints: 31592
1624.71/1629.12 c #Conflicts: 585000 | #Constraints: 32592
1624.71/1629.12 c #Conflicts: 586000 | #Constraints: 33592
1624.71/1629.12 c #Conflicts: 587000 | #Constraints: 34592
1624.71/1629.12 c #Conflicts: 588000 | #Constraints: 35592
1886.12/1891.13 c #Conflicts: 589000 | #Constraints: 36592
1886.12/1891.13 c #Conflicts: 590000 | #Constraints: 37592
1886.12/1891.13 c #Conflicts: 591000 | #Constraints: 38592
1886.12/1891.13 c INPROCESSING
1886.12/1891.13 c GARBAGE COLLECT
1886.12/1891.13 c #Conflicts: 592000 | #Constraints: 24337
1886.12/1891.13 c #Conflicts: 593000 | #Constraints: 25337
1886.12/1891.13 c #Conflicts: 594000 | #Constraints: 26337
1886.12/1891.13 c #Conflicts: 595000 | #Constraints: 27337
1886.12/1891.13 c #Conflicts: 596000 | #Constraints: 28337
1886.12/1891.13 c #Conflicts: 597000 | #Constraints: 29337
1886.12/1891.13 c #Conflicts: 598000 | #Constraints: 30337
1886.12/1891.13 c #Conflicts: 599000 | #Constraints: 31337
1886.12/1891.13 c #Conflicts: 600000 | #Constraints: 32337
1886.12/1891.13 c #Conflicts: 601000 | #Constraints: 33337
1886.12/1891.13 c #Conflicts: 602000 | #Constraints: 34337
1886.12/1891.13 c #Conflicts: 603000 | #Constraints: 35337
1886.12/1891.13 c #Conflicts: 604000 | #Constraints: 36337
1886.12/1891.13 c #Conflicts: 605000 | #Constraints: 37337
1886.12/1891.13 c #Conflicts: 606000 | #Constraints: 38337
1886.12/1891.13 c #Conflicts: 607000 | #Constraints: 39337
1886.12/1891.13 c INPROCESSING
1886.12/1891.13 c GARBAGE COLLECT
1886.12/1891.13 c #Conflicts: 608000 | #Constraints: 24965
1886.12/1891.13 c #Conflicts: 609000 | #Constraints: 25965
1886.12/1891.13 c #Conflicts: 610000 | #Constraints: 26965
1886.12/1891.13 c #Conflicts: 611000 | #Constraints: 27965
1886.12/1891.13 c #Conflicts: 612000 | #Constraints: 28965
1886.12/1891.13 c #Conflicts: 613000 | #Constraints: 29965
1886.12/1891.13 c #Conflicts: 614000 | #Constraints: 30965
1886.12/1891.13 c #Conflicts: 615000 | #Constraints: 31965
1886.12/1891.13 c #Conflicts: 616000 | #Constraints: 32965
1886.12/1891.13 c #Conflicts: 617000 | #Constraints: 33965
1886.12/1891.13 c #Conflicts: 618000 | #Constraints: 34965
1886.12/1891.13 c #Conflicts: 619000 | #Constraints: 35965
1886.12/1891.13 c #Conflicts: 620000 | #Constraints: 36965
1886.12/1891.13 c #Conflicts: 621000 | #Constraints: 37965
1886.12/1891.13 c #Conflicts: 622000 | #Constraints: 38965
1886.12/1891.13 c #Conflicts: 623000 | #Constraints: 39965
1886.12/1891.13 c INPROCESSING
1886.12/1891.13 c GARBAGE COLLECT
1886.12/1891.13 c #Conflicts: 624000 | #Constraints: 25327
1886.12/1891.13 c #Conflicts: 625000 | #Constraints: 26327
1886.12/1891.13 c #Conflicts: 626000 | #Constraints: 27327
1886.12/1891.13 c #Conflicts: 627000 | #Constraints: 28327
1886.12/1891.13 c #Conflicts: 628000 | #Constraints: 29327
1886.12/1891.13 c #Conflicts: 629000 | #Constraints: 30327
1886.12/1891.13 c #Conflicts: 630000 | #Constraints: 31327
1886.12/1891.13 c #Conflicts: 631000 | #Constraints: 32327
1886.12/1891.13 c #Conflicts: 632000 | #Constraints: 33327
1886.12/1891.13 c #Conflicts: 633000 | #Constraints: 34327
1886.12/1891.13 c #Conflicts: 634000 | #Constraints: 35327
1886.12/1891.13 c #Conflicts: 635000 | #Constraints: 36327
1886.12/1891.13 c #Conflicts: 636000 | #Constraints: 37327
1886.12/1891.13 c #Conflicts: 637000 | #Constraints: 38327
1886.12/1891.13 c #Conflicts: 638000 | #Constraints: 39327
1886.12/1891.13 c #Conflicts: 639000 | #Constraints: 40327
1886.12/1891.13 c INPROCESSING
1886.12/1891.13 c GARBAGE COLLECT
1886.12/1891.13 c #Conflicts: 640000 | #Constraints: 25493
1886.12/1891.13 c #Conflicts: 641000 | #Constraints: 26493
1886.12/1891.13 c #Conflicts: 642000 | #Constraints: 27493
1886.12/1891.13 c #Conflicts: 643000 | #Constraints: 28493
1886.12/1891.13 c #Conflicts: 644000 | #Constraints: 29493
1886.12/1891.13 c #Conflicts: 645000 | #Constraints: 30493
1886.12/1891.13 c #Conflicts: 646000 | #Constraints: 31493
1886.12/1891.13 c #Conflicts: 647000 | #Constraints: 32493
1886.12/1891.13 c #Conflicts: 648000 | #Constraints: 33493
1886.12/1891.13 c #Conflicts: 649000 | #Constraints: 34493
1886.12/1891.13 c #Conflicts: 650000 | #Constraints: 35493
1886.12/1891.13 c #Conflicts: 651000 | #Constraints: 36493
1886.12/1891.13 c #Conflicts: 652000 | #Constraints: 37493
1886.12/1891.13 c #Conflicts: 653000 | #Constraints: 38493
1886.12/1891.13 c #Conflicts: 654000 | #Constraints: 39493
1886.12/1891.13 c #Conflicts: 655000 | #Constraints: 40493
1886.12/1891.13 c INPROCESSING
1886.12/1891.13 c GARBAGE COLLECT
1886.12/1891.13 c #Conflicts: 656000 | #Constraints: 25477
1886.12/1891.13 c #Conflicts: 657000 | #Constraints: 26477
1886.12/1891.13 c #Conflicts: 658000 | #Constraints: 27477
1886.12/1891.13 c #Conflicts: 659000 | #Constraints: 28477
1886.12/1891.13 c #Conflicts: 660000 | #Constraints: 29477
1886.12/1891.13 c #Conflicts: 661000 | #Constraints: 30477
1886.12/1891.13 c #Conflicts: 662000 | #Constraints: 31477
1886.12/1891.13 c #Conflicts: 663000 | #Constraints: 32477
1886.12/1891.13 c #Conflicts: 664000 | #Constraints: 33477
2194.93/2200.87 c #Conflicts: 665000 | #Constraints: 34477
2194.93/2200.87 c #Conflicts: 666000 | #Constraints: 35477
2194.93/2200.87 c #Conflicts: 667000 | #Constraints: 36477
2194.93/2200.87 c #Conflicts: 668000 | #Constraints: 37477
2194.93/2200.87 c #Conflicts: 669000 | #Constraints: 38477
2194.93/2200.87 c #Conflicts: 670000 | #Constraints: 39477
2194.93/2200.87 c #Conflicts: 671000 | #Constraints: 40477
2194.93/2200.87 c INPROCESSING
2194.93/2200.87 c GARBAGE COLLECT
2194.93/2200.87 c #Conflicts: 672000 | #Constraints: 25257
2194.93/2200.87 c #Conflicts: 673000 | #Constraints: 26257
2194.93/2200.87 c #Conflicts: 674000 | #Constraints: 27257
2194.93/2200.87 c #Conflicts: 675000 | #Constraints: 28257
2194.93/2200.87 c #Conflicts: 676000 | #Constraints: 29257
2194.93/2200.87 c #Conflicts: 677000 | #Constraints: 30257
2194.93/2200.87 c #Conflicts: 678000 | #Constraints: 31257
2194.93/2200.87 c #Conflicts: 679000 | #Constraints: 32257
2194.93/2200.87 c #Conflicts: 680000 | #Constraints: 33257
2194.93/2200.87 c #Conflicts: 681000 | #Constraints: 34257
2194.93/2200.87 c #Conflicts: 682000 | #Constraints: 35257
2194.93/2200.87 c #Conflicts: 683000 | #Constraints: 36257
2194.93/2200.87 c #Conflicts: 684000 | #Constraints: 37257
2194.93/2200.87 c #Conflicts: 685000 | #Constraints: 38257
2194.93/2200.87 c #Conflicts: 686000 | #Constraints: 39257
2194.93/2200.87 c #Conflicts: 687000 | #Constraints: 40257
2194.93/2200.87 c #Conflicts: 688000 | #Constraints: 41257
2194.93/2200.87 c INPROCESSING
2194.93/2200.87 c GARBAGE COLLECT
2194.93/2200.87 c #Conflicts: 689000 | #Constraints: 25855
2194.93/2200.87 c #Conflicts: 690000 | #Constraints: 26855
2194.93/2200.87 c #Conflicts: 691000 | #Constraints: 27855
2194.93/2200.87 c #Conflicts: 692000 | #Constraints: 28855
2194.93/2200.87 c #Conflicts: 693000 | #Constraints: 29855
2194.93/2200.87 c #Conflicts: 694000 | #Constraints: 30855
2194.93/2200.87 c #Conflicts: 695000 | #Constraints: 31855
2194.93/2200.87 c #Conflicts: 696000 | #Constraints: 32855
2194.93/2200.87 c #Conflicts: 697000 | #Constraints: 33855
2194.93/2200.87 c #Conflicts: 698000 | #Constraints: 34855
2194.93/2200.87 c #Conflicts: 699000 | #Constraints: 35855
2194.93/2200.87 c #Conflicts: 700000 | #Constraints: 36855
2194.93/2200.87 c #Conflicts: 701000 | #Constraints: 37855
2194.93/2200.87 c #Conflicts: 702000 | #Constraints: 38855
2194.93/2200.87 c #Conflicts: 703000 | #Constraints: 39855
2194.93/2200.87 c #Conflicts: 704000 | #Constraints: 40855
2194.93/2200.87 c #Conflicts: 705000 | #Constraints: 41855
2194.93/2200.87 c INPROCESSING
2194.93/2200.87 c GARBAGE COLLECT
2194.93/2200.87 c #Conflicts: 706000 | #Constraints: 26268
2194.93/2200.87 c #Conflicts: 707000 | #Constraints: 27268
2194.93/2200.87 c #Conflicts: 708000 | #Constraints: 28268
2194.93/2200.87 c #Conflicts: 709000 | #Constraints: 29268
2194.93/2200.87 c #Conflicts: 710000 | #Constraints: 30268
2194.93/2200.87 c #Conflicts: 711000 | #Constraints: 31268
2194.93/2200.87 c #Conflicts: 712000 | #Constraints: 32268
2194.93/2200.87 c #Conflicts: 713000 | #Constraints: 33268
2194.93/2200.87 c #Conflicts: 714000 | #Constraints: 34268
2194.93/2200.87 c #Conflicts: 715000 | #Constraints: 35268
2194.93/2200.87 c #Conflicts: 716000 | #Constraints: 36268
2194.93/2200.87 c #Conflicts: 717000 | #Constraints: 37268
2194.93/2200.87 c #Conflicts: 718000 | #Constraints: 38268
2194.93/2200.87 c #Conflicts: 719000 | #Constraints: 39268
2194.93/2200.87 c #Conflicts: 720000 | #Constraints: 40268
2194.93/2200.87 c #Conflicts: 721000 | #Constraints: 41268
2194.93/2200.87 c #Conflicts: 722000 | #Constraints: 42268
2194.93/2200.87 c INPROCESSING
2194.93/2200.87 c GARBAGE COLLECT
2194.93/2200.87 c #Conflicts: 723000 | #Constraints: 26459
2194.93/2200.87 c #Conflicts: 724000 | #Constraints: 27459
2194.93/2200.87 c #Conflicts: 725000 | #Constraints: 28459
2194.93/2200.87 c #Conflicts: 726000 | #Constraints: 29459
2194.93/2200.87 c #Conflicts: 727000 | #Constraints: 30459
2194.93/2200.87 c #Conflicts: 728000 | #Constraints: 31459
2194.93/2200.87 c #Conflicts: 729000 | #Constraints: 32459
2194.93/2200.87 c #Conflicts: 730000 | #Constraints: 33459
2194.93/2200.87 c #Conflicts: 731000 | #Constraints: 34459
2194.93/2200.87 c #Conflicts: 732000 | #Constraints: 35459
2194.93/2200.87 c #Conflicts: 733000 | #Constraints: 36459
2194.93/2200.87 c #Conflicts: 734000 | #Constraints: 37459
2194.93/2200.87 c #Conflicts: 735000 | #Constraints: 38459
2194.93/2200.87 c #Conflicts: 736000 | #Constraints: 39459
2194.93/2200.87 c #Conflicts: 737000 | #Constraints: 40459
2194.93/2200.87 c #Conflicts: 738000 | #Constraints: 41459
2194.93/2200.87 c #Conflicts: 739000 | #Constraints: 42459
2194.93/2200.87 c INPROCESSING
2194.93/2200.87 c GARBAGE COLLECT
2592.71/2599.86 c #Conflicts: 740000 | #Constraints: 26708
2592.71/2599.86 c #Conflicts: 741000 | #Constraints: 27708
2592.71/2599.86 c #Conflicts: 742000 | #Constraints: 28708
2592.71/2599.86 c #Conflicts: 743000 | #Constraints: 29708
2592.71/2599.86 c #Conflicts: 744000 | #Constraints: 30708
2592.71/2599.86 c #Conflicts: 745000 | #Constraints: 31708
2592.71/2599.86 c #Conflicts: 746000 | #Constraints: 32708
2592.71/2599.86 c #Conflicts: 747000 | #Constraints: 33708
2592.71/2599.86 c #Conflicts: 748000 | #Constraints: 34708
2592.71/2599.86 c #Conflicts: 749000 | #Constraints: 35708
2592.71/2599.86 c #Conflicts: 750000 | #Constraints: 36708
2592.71/2599.86 c #Conflicts: 751000 | #Constraints: 37708
2592.71/2599.86 c #Conflicts: 752000 | #Constraints: 38708
2592.71/2599.86 c #Conflicts: 753000 | #Constraints: 39708
2592.71/2599.86 c #Conflicts: 754000 | #Constraints: 40708
2592.71/2599.86 c #Conflicts: 755000 | #Constraints: 41708
2592.71/2599.86 c #Conflicts: 756000 | #Constraints: 42708
2592.71/2599.86 c INPROCESSING
2592.71/2599.86 c GARBAGE COLLECT
2592.71/2599.86 c #Conflicts: 757000 | #Constraints: 26382
2592.71/2599.86 c #Conflicts: 758000 | #Constraints: 27382
2592.71/2599.87 c #Conflicts: 759000 | #Constraints: 28382
2592.71/2599.87 c #Conflicts: 760000 | #Constraints: 29382
2592.71/2599.87 c #Conflicts: 761000 | #Constraints: 30382
2592.71/2599.87 c #Conflicts: 762000 | #Constraints: 31382
2592.71/2599.87 c #Conflicts: 763000 | #Constraints: 32382
2592.71/2599.87 c #Conflicts: 764000 | #Constraints: 33382
2592.71/2599.87 c #Conflicts: 765000 | #Constraints: 34382
2592.71/2599.87 c #Conflicts: 766000 | #Constraints: 35382
2592.71/2599.87 c #Conflicts: 767000 | #Constraints: 36382
2592.71/2599.87 c #Conflicts: 768000 | #Constraints: 37382
2592.71/2599.87 c #Conflicts: 769000 | #Constraints: 38382
2592.71/2599.87 c #Conflicts: 770000 | #Constraints: 39382
2592.71/2599.87 c #Conflicts: 771000 | #Constraints: 40382
2592.71/2599.87 c #Conflicts: 772000 | #Constraints: 41382
2592.71/2599.87 c #Conflicts: 773000 | #Constraints: 42382
2592.71/2599.87 c #Conflicts: 774000 | #Constraints: 43382
2592.71/2599.87 c INPROCESSING
2592.71/2599.87 c GARBAGE COLLECT
2592.71/2599.87 c #Conflicts: 775000 | #Constraints: 26924
2592.71/2599.87 c #Conflicts: 776000 | #Constraints: 27924
2592.71/2599.87 c #Conflicts: 777000 | #Constraints: 28924
2592.71/2599.87 c #Conflicts: 778000 | #Constraints: 29924
2592.71/2599.87 c #Conflicts: 779000 | #Constraints: 30924
2592.71/2599.87 c #Conflicts: 780000 | #Constraints: 31924
2592.71/2599.87 c #Conflicts: 781000 | #Constraints: 32924
2592.71/2599.87 c #Conflicts: 782000 | #Constraints: 33924
2592.71/2599.87 c #Conflicts: 783000 | #Constraints: 34924
2592.71/2599.87 c #Conflicts: 784000 | #Constraints: 35924
2592.71/2599.87 c #Conflicts: 785000 | #Constraints: 36924
2592.71/2599.87 c #Conflicts: 786000 | #Constraints: 37924
2592.71/2599.87 c #Conflicts: 787000 | #Constraints: 38924
2592.71/2599.87 c #Conflicts: 788000 | #Constraints: 39924
2592.71/2599.87 c #Conflicts: 789000 | #Constraints: 40924
2592.71/2599.87 c #Conflicts: 790000 | #Constraints: 41924
2592.71/2599.87 c #Conflicts: 791000 | #Constraints: 42924
2592.71/2599.87 c #Conflicts: 792000 | #Constraints: 43924
2592.71/2599.87 c INPROCESSING
2592.71/2599.87 c GARBAGE COLLECT
2592.71/2599.87 c #Conflicts: 793000 | #Constraints: 27316
2592.71/2599.87 c #Conflicts: 794000 | #Constraints: 28316
2592.71/2599.87 c #Conflicts: 795000 | #Constraints: 29316
2592.71/2599.87 c #Conflicts: 796000 | #Constraints: 30316
2592.71/2599.87 c #Conflicts: 797000 | #Constraints: 31316
2592.71/2599.87 c #Conflicts: 798000 | #Constraints: 32316
2592.71/2599.87 c #Conflicts: 799000 | #Constraints: 33316
2592.71/2599.87 c #Conflicts: 800000 | #Constraints: 34316
2592.71/2599.87 c #Conflicts: 801000 | #Constraints: 35316
2592.71/2599.87 c #Conflicts: 802000 | #Constraints: 36316
2592.71/2599.87 c #Conflicts: 803000 | #Constraints: 37316
2592.71/2599.87 c #Conflicts: 804000 | #Constraints: 38316
2592.71/2599.87 c #Conflicts: 805000 | #Constraints: 39316
2592.71/2599.87 c #Conflicts: 806000 | #Constraints: 40316
2592.71/2599.87 c #Conflicts: 807000 | #Constraints: 41316
2592.71/2599.87 c #Conflicts: 808000 | #Constraints: 42316
2592.71/2599.87 c #Conflicts: 809000 | #Constraints: 43316
2592.71/2599.87 c #Conflicts: 810000 | #Constraints: 44316
2592.71/2599.87 c INPROCESSING
2592.71/2599.87 c GARBAGE COLLECT
2592.71/2599.87 c #Conflicts: 811000 | #Constraints: 27534
2592.71/2599.87 c #Conflicts: 812000 | #Constraints: 28534
2592.71/2599.87 c #Conflicts: 813000 | #Constraints: 29534
2592.71/2599.87 c #Conflicts: 814000 | #Constraints: 30534
2592.71/2599.87 c #Conflicts: 815000 | #Constraints: 31534
2592.71/2599.87 c #Conflicts: 816000 | #Constraints: 32534
2992.99/3001.30 c #Conflicts: 817000 | #Constraints: 33534
2992.99/3001.30 c #Conflicts: 818000 | #Constraints: 34534
2992.99/3001.30 c #Conflicts: 819000 | #Constraints: 35534
2992.99/3001.30 c #Conflicts: 820000 | #Constraints: 36534
2992.99/3001.30 c #Conflicts: 821000 | #Constraints: 37534
2992.99/3001.30 c #Conflicts: 822000 | #Constraints: 38534
2992.99/3001.30 c #Conflicts: 823000 | #Constraints: 39534
2992.99/3001.30 c #Conflicts: 824000 | #Constraints: 40534
2992.99/3001.30 c #Conflicts: 825000 | #Constraints: 41534
2992.99/3001.30 c #Conflicts: 826000 | #Constraints: 42534
2992.99/3001.30 c #Conflicts: 827000 | #Constraints: 43534
2992.99/3001.30 c #Conflicts: 828000 | #Constraints: 44534
2992.99/3001.30 c INPROCESSING
2992.99/3001.30 c GARBAGE COLLECT
2992.99/3001.30 c #Conflicts: 829000 | #Constraints: 27532
2992.99/3001.30 c #Conflicts: 830000 | #Constraints: 28532
2992.99/3001.30 c #Conflicts: 831000 | #Constraints: 29532
2992.99/3001.30 c #Conflicts: 832000 | #Constraints: 30532
2992.99/3001.30 c #Conflicts: 833000 | #Constraints: 31532
2992.99/3001.30 c #Conflicts: 834000 | #Constraints: 32532
2992.99/3001.30 c #Conflicts: 835000 | #Constraints: 33532
2992.99/3001.30 c #Conflicts: 836000 | #Constraints: 34532
2992.99/3001.30 c #Conflicts: 837000 | #Constraints: 35532
2992.99/3001.30 c #Conflicts: 838000 | #Constraints: 36532
2992.99/3001.30 c #Conflicts: 839000 | #Constraints: 37532
2992.99/3001.30 c #Conflicts: 840000 | #Constraints: 38532
2992.99/3001.30 c #Conflicts: 841000 | #Constraints: 39532
2992.99/3001.30 c #Conflicts: 842000 | #Constraints: 40532
2992.99/3001.30 c #Conflicts: 843000 | #Constraints: 41532
2992.99/3001.30 c #Conflicts: 844000 | #Constraints: 42532
2992.99/3001.30 c #Conflicts: 845000 | #Constraints: 43532
2992.99/3001.30 c #Conflicts: 846000 | #Constraints: 44532
2992.99/3001.30 c INPROCESSING
2992.99/3001.30 c GARBAGE COLLECT
2992.99/3001.30 c #Conflicts: 847000 | #Constraints: 27306
2992.99/3001.30 c #Conflicts: 848000 | #Constraints: 28306
2992.99/3001.30 c #Conflicts: 849000 | #Constraints: 29306
2992.99/3001.30 c #Conflicts: 850000 | #Constraints: 30306
2992.99/3001.30 c #Conflicts: 851000 | #Constraints: 31306
2992.99/3001.30 c #Conflicts: 852000 | #Constraints: 32306
2992.99/3001.30 c #Conflicts: 853000 | #Constraints: 33306
2992.99/3001.30 c #Conflicts: 854000 | #Constraints: 34306
2992.99/3001.30 c #Conflicts: 855000 | #Constraints: 35306
2992.99/3001.30 c #Conflicts: 856000 | #Constraints: 36306
2992.99/3001.30 c #Conflicts: 857000 | #Constraints: 37306
2992.99/3001.30 c #Conflicts: 858000 | #Constraints: 38306
2992.99/3001.30 c #Conflicts: 859000 | #Constraints: 39306
2992.99/3001.30 c #Conflicts: 860000 | #Constraints: 40306
2992.99/3001.30 c #Conflicts: 861000 | #Constraints: 41306
2992.99/3001.30 c #Conflicts: 862000 | #Constraints: 42306
2992.99/3001.30 c #Conflicts: 863000 | #Constraints: 43306
2992.99/3001.30 c #Conflicts: 864000 | #Constraints: 44306
2992.99/3001.30 c #Conflicts: 865000 | #Constraints: 45306
2992.99/3001.30 c INPROCESSING
2992.99/3001.30 c GARBAGE COLLECT
2992.99/3001.30 c #Conflicts: 866000 | #Constraints: 27880
2992.99/3001.30 c #Conflicts: 867000 | #Constraints: 28880
2992.99/3001.30 c #Conflicts: 868000 | #Constraints: 29880
2992.99/3001.30 c #Conflicts: 869000 | #Constraints: 30880
2992.99/3001.30 c #Conflicts: 870000 | #Constraints: 31880
2992.99/3001.30 c #Conflicts: 871000 | #Constraints: 32880
2992.99/3001.30 c #Conflicts: 872000 | #Constraints: 33880
2992.99/3001.30 c #Conflicts: 873000 | #Constraints: 34880
2992.99/3001.30 c #Conflicts: 874000 | #Constraints: 35880
2992.99/3001.30 c #Conflicts: 875000 | #Constraints: 36880
2992.99/3001.30 c #Conflicts: 876000 | #Constraints: 37880
2992.99/3001.30 c #Conflicts: 877000 | #Constraints: 38880
2992.99/3001.30 c #Conflicts: 878000 | #Constraints: 39880
2992.99/3001.30 c #Conflicts: 879000 | #Constraints: 40880
2992.99/3001.30 c #Conflicts: 880000 | #Constraints: 41880
2992.99/3001.30 c #Conflicts: 881000 | #Constraints: 42880
2992.99/3001.30 c #Conflicts: 882000 | #Constraints: 43880
2992.99/3001.30 c #Conflicts: 883000 | #Constraints: 44880
2992.99/3001.30 c #Conflicts: 884000 | #Constraints: 45880
2992.99/3001.30 c INPROCESSING
2992.99/3001.30 c GARBAGE COLLECT
2992.99/3001.30 c #Conflicts: 885000 | #Constraints: 28281
2992.99/3001.30 c #Conflicts: 886000 | #Constraints: 29281
2992.99/3001.30 c #Conflicts: 887000 | #Constraints: 30281
2992.99/3001.30 c #Conflicts: 888000 | #Constraints: 31281
2992.99/3001.30 c #Conflicts: 889000 | #Constraints: 32281
2992.99/3001.30 c #Conflicts: 890000 | #Constraints: 33281
2992.99/3001.30 c #Conflicts: 891000 | #Constraints: 34281
2992.99/3001.30 c #Conflicts: 892000 | #Constraints: 35281
3345.28/3354.52 c #Conflicts: 893000 | #Constraints: 36281
3345.28/3354.52 c #Conflicts: 894000 | #Constraints: 37281
3345.28/3354.52 c #Conflicts: 895000 | #Constraints: 38281
3345.28/3354.52 c #Conflicts: 896000 | #Constraints: 39281
3345.28/3354.52 c #Conflicts: 897000 | #Constraints: 40281
3345.28/3354.52 c #Conflicts: 898000 | #Constraints: 41281
3345.28/3354.52 c #Conflicts: 899000 | #Constraints: 42281
3345.28/3354.52 c #Conflicts: 900000 | #Constraints: 43281
3345.28/3354.52 c #Conflicts: 901000 | #Constraints: 44281
3345.28/3354.52 c #Conflicts: 902000 | #Constraints: 45281
3345.28/3354.52 c #Conflicts: 903000 | #Constraints: 46281
3345.28/3354.52 c INPROCESSING
3345.28/3354.52 c GARBAGE COLLECT
3345.28/3354.52 c #Conflicts: 904000 | #Constraints: 28471
3345.28/3354.52 c #Conflicts: 905000 | #Constraints: 29471
3345.28/3354.52 c #Conflicts: 906000 | #Constraints: 30471
3345.28/3354.52 c #Conflicts: 907000 | #Constraints: 31471
3345.28/3354.52 c #Conflicts: 908000 | #Constraints: 32471
3345.28/3354.52 c #Conflicts: 909000 | #Constraints: 33471
3345.28/3354.52 c #Conflicts: 910000 | #Constraints: 34471
3345.28/3354.52 c #Conflicts: 911000 | #Constraints: 35471
3345.28/3354.52 c #Conflicts: 912000 | #Constraints: 36471
3345.28/3354.52 c #Conflicts: 913000 | #Constraints: 37471
3345.28/3354.52 c #Conflicts: 914000 | #Constraints: 38471
3345.28/3354.52 c #Conflicts: 915000 | #Constraints: 39471
3345.28/3354.52 c #Conflicts: 916000 | #Constraints: 40471
3345.28/3354.52 c #Conflicts: 917000 | #Constraints: 41471
3345.28/3354.52 c #Conflicts: 918000 | #Constraints: 42471
3345.28/3354.52 c #Conflicts: 919000 | #Constraints: 43471
3345.28/3354.52 c #Conflicts: 920000 | #Constraints: 44471
3345.28/3354.52 c #Conflicts: 921000 | #Constraints: 45471
3345.28/3354.52 c #Conflicts: 922000 | #Constraints: 46471
3345.28/3354.52 c INPROCESSING
3345.28/3354.52 c GARBAGE COLLECT
3345.28/3354.52 c #Conflicts: 923000 | #Constraints: 28466
3345.28/3354.52 c #Conflicts: 924000 | #Constraints: 29466
3345.28/3354.52 c #Conflicts: 925000 | #Constraints: 30466
3345.28/3354.52 c #Conflicts: 926000 | #Constraints: 31466
3345.28/3354.52 c #Conflicts: 927000 | #Constraints: 32466
3345.28/3354.52 c #Conflicts: 928000 | #Constraints: 33466
3345.28/3354.52 c #Conflicts: 929000 | #Constraints: 34466
3345.28/3354.52 c #Conflicts: 930000 | #Constraints: 35466
3345.28/3354.52 c #Conflicts: 931000 | #Constraints: 36466
3345.28/3354.52 c #Conflicts: 932000 | #Constraints: 37466
3345.28/3354.52 c #Conflicts: 933000 | #Constraints: 38466
3345.28/3354.52 c #Conflicts: 934000 | #Constraints: 39466
3345.28/3354.52 c #Conflicts: 935000 | #Constraints: 40466
3345.28/3354.52 c #Conflicts: 936000 | #Constraints: 41466
3345.28/3354.52 c #Conflicts: 937000 | #Constraints: 42466
3345.28/3354.52 c #Conflicts: 938000 | #Constraints: 43466
3345.28/3354.52 c #Conflicts: 939000 | #Constraints: 44466
3345.28/3354.52 c #Conflicts: 940000 | #Constraints: 45466
3345.28/3354.52 c #Conflicts: 941000 | #Constraints: 46466
3345.28/3354.52 c INPROCESSING
3345.28/3354.52 c GARBAGE COLLECT
3345.28/3354.52 c #Conflicts: 942000 | #Constraints: 28352
3345.28/3354.52 c #Conflicts: 943000 | #Constraints: 29352
3345.28/3354.52 c #Conflicts: 944000 | #Constraints: 30352
3345.28/3354.52 c #Conflicts: 945000 | #Constraints: 31352
3345.28/3354.52 c #Conflicts: 946000 | #Constraints: 32352
3345.28/3354.52 c #Conflicts: 947000 | #Constraints: 33352
3345.28/3354.52 c #Conflicts: 948000 | #Constraints: 34352
3345.28/3354.52 c #Conflicts: 949000 | #Constraints: 35352
3345.28/3354.52 c #Conflicts: 950000 | #Constraints: 36352
3345.28/3354.52 c #Conflicts: 951000 | #Constraints: 37352
3345.28/3354.52 c #Conflicts: 952000 | #Constraints: 38352
3345.28/3354.52 c #Conflicts: 953000 | #Constraints: 39352
3345.28/3354.52 c #Conflicts: 954000 | #Constraints: 40352
3345.28/3354.52 c #Conflicts: 955000 | #Constraints: 41352
3345.28/3354.52 c #Conflicts: 956000 | #Constraints: 42352
3345.28/3354.52 c #Conflicts: 957000 | #Constraints: 43352
3345.28/3354.52 c #Conflicts: 958000 | #Constraints: 44352
3345.28/3354.52 c #Conflicts: 959000 | #Constraints: 45352
3345.28/3354.52 c #Conflicts: 960000 | #Constraints: 46352
3345.28/3354.52 c #Conflicts: 961000 | #Constraints: 47352
3345.28/3354.52 c INPROCESSING
3345.28/3354.52 c GARBAGE COLLECT
3345.28/3354.52 c #Conflicts: 962000 | #Constraints: 29056
3345.28/3354.52 c #Conflicts: 963000 | #Constraints: 30056
3345.28/3354.52 c #Conflicts: 964000 | #Constraints: 31056
3345.28/3354.52 c #Conflicts: 965000 | #Constraints: 32056
3345.28/3354.52 c #Conflicts: 966000 | #Constraints: 33056
3345.28/3354.52 c #Conflicts: 967000 | #Constraints: 34056
3345.28/3354.52 c #Conflicts: 968000 | #Constraints: 35056
3600.06/3609.90 c #Conflicts: 969000 | #Constraints: 36056
3600.06/3609.90 c #Conflicts: 970000 | #Constraints: 37056
3600.06/3609.90 c #Conflicts: 971000 | #Constraints: 38056
3600.06/3609.90 c #Conflicts: 972000 | #Constraints: 39056
3600.06/3609.90 c #Conflicts: 973000 | #Constraints: 40056
3600.06/3609.90 c #Conflicts: 974000 | #Constraints: 41056
3600.06/3609.90 c #Conflicts: 975000 | #Constraints: 42056
3600.06/3609.90 c #Conflicts: 976000 | #Constraints: 43056
3600.06/3609.90 c #Conflicts: 977000 | #Constraints: 44056
3600.06/3609.90 c #Conflicts: 978000 | #Constraints: 45056
3600.06/3609.90 c #Conflicts: 979000 | #Constraints: 46056
3600.06/3609.90 c #Conflicts: 980000 | #Constraints: 47056
3600.06/3609.90 c #Conflicts: 981000 | #Constraints: 48056
3600.06/3609.90 c INPROCESSING
3600.06/3609.90 c GARBAGE COLLECT
3600.06/3609.90 c #Conflicts: 982000 | #Constraints: 29463
3600.06/3609.90 c #Conflicts: 983000 | #Constraints: 30463
3600.06/3609.90 c #Conflicts: 984000 | #Constraints: 31463
3600.06/3609.90 c #Conflicts: 985000 | #Constraints: 32463
3600.06/3609.90 c #Conflicts: 986000 | #Constraints: 33463
3600.06/3609.90 c #Conflicts: 987000 | #Constraints: 34463
3600.06/3609.90 c #Conflicts: 988000 | #Constraints: 35463
3600.06/3609.90 c #Conflicts: 989000 | #Constraints: 36463
3600.06/3609.90 c #Conflicts: 990000 | #Constraints: 37463
3600.06/3609.90 c #Conflicts: 991000 | #Constraints: 38463
3600.06/3609.90 c #Conflicts: 992000 | #Constraints: 39463
3600.06/3609.90 c #Conflicts: 993000 | #Constraints: 40463
3600.06/3609.90 c #Conflicts: 994000 | #Constraints: 41463
3600.06/3609.90 c #Conflicts: 995000 | #Constraints: 42463
3600.06/3609.90 c #Conflicts: 996000 | #Constraints: 43463
3600.06/3609.90 c #Conflicts: 997000 | #Constraints: 44463
3600.06/3609.90 c Program interrupted by user.
3600.06/3609.90 c cpu time 3565.32 s
3600.06/3609.90 c deterministic time 311770315498 3.12e+11
3600.06/3609.90 c optimization time 171.851 s
3600.06/3609.90 c total solve time 3393.42 s
3600.06/3609.90 c core-guided solve time 3393.42 s
3600.06/3609.90 c propagation time 2461.1 s
3600.06/3609.90 c conflict analysis time 997.45 s
3600.06/3609.90 c propagations 1318643656
3600.06/3609.90 c resolve steps 15586795
3600.06/3609.90 c decisions 37076825
3600.06/3609.90 c conflicts 997363
3600.06/3609.90 c restarts 2045
3600.06/3609.90 c inprocessing phases 90
3600.06/3609.90 c input clauses 8610
3600.06/3609.90 c input cardinalities 0
3600.06/3609.90 c input general constraints 2
3600.06/3609.90 c input average constraint length 3.03
3600.06/3609.90 c input average constraint degree 841.19
3600.06/3609.90 c learned clauses 413361
3600.06/3609.90 c learned cardinalities 173
3600.06/3609.90 c learned general constraints 583829
3600.06/3609.90 c learned average constraint length 1152.65
3600.06/3609.90 c learned average constraint degree 9240029.50
3600.06/3609.90 c watched constraints 108789
3600.06/3609.90 c counting constraints 475042
3600.06/3609.90 c gcd simplifications 42443
3600.06/3609.90 c detected cardinalities 29
3600.06/3609.90 c weakened non-implied lits 623854504
3600.06/3609.90 c weakened non-implying lits 19339
3600.06/3609.90 c original variables 4360
3600.06/3609.90 c clausal propagations 517903503
3600.06/3609.90 c cardinality propagations 19011
3600.06/3609.90 c watched propagations 8117309
3600.06/3609.90 c counting propagations 784264556
3600.06/3609.90 c watch lookups 77101793361
3600.06/3609.90 c watch backjump lookups 76174577550
3600.06/3609.90 c watch checks 86312384788
3600.06/3609.90 c propagation checks 65853747203
3600.06/3609.90 c constraint additions 3615374579
3600.06/3609.90 c trail pops 1356717535
3600.06/3609.90 c formula constraints 8610
3600.06/3609.90 c learned constraints 997363
3600.06/3609.90 c bound constraints 2
3600.06/3609.90 c core-guided constraints 0
3600.06/3609.90 c encountered formula constraints 13758861
3600.06/3609.90 c encountered learned constraints 2824814
3600.06/3609.90 c encountered bound constraints 483
3600.06/3609.90 c encountered core-guided constraints 0
3600.06/3609.90 c LP total time 0 s
3600.06/3609.90 c LP solve time 0 s
3600.06/3609.90 c LP constraints added 0
3600.06/3609.90 c LP constraints removed 0
3600.06/3609.90 c LP pivots internal 0
3600.06/3609.90 c LP pivots root 0
3600.06/3609.90 c LP calls 0
3600.06/3609.90 c LP optimalities 0
3600.06/3609.90 c LP no pivot count 0
3600.06/3609.90 c LP infeasibilities 0
3600.06/3609.90 c LP valid Farkas constraints 0
3600.06/3609.90 c LP learned Farkas constraints 0
3600.06/3609.90 c LP basis resets 0
3600.06/3609.90 c LP cycling count 0
3600.06/3609.90 c LP singular count 0
3600.06/3609.90 c LP no primal count 0
3600.06/3609.90 c LP no farkas count 0
3600.06/3609.90 c LP other issue count 0
3600.06/3609.90 c LP Gomory cuts 0
3600.06/3609.90 c LP learned cuts 0
3600.06/3609.90 c LP deleted cuts 0
3600.06/3609.90 c LP encountered Gomory constraints 0
3600.06/3609.90 c LP encountered Farkas constraints 0
3600.06/3609.90 c LP encountered learned Farkas constraints 0
3600.06/3609.90 c CG auxiliary variables introduced 0
3600.06/3609.90 c CG solutions found 2
3600.06/3609.90 c CG cores constructed 0
3600.06/3609.90 c CG core cardinality constraints returned 0
3600.06/3609.90 c CG unit cores 0
3600.06/3609.90 c CG single cores 0
3600.06/3609.90 c CG blocks removed during cardinality reduction 0
3600.06/3609.90 c CG first core best 0
3600.06/3609.90 c CG decision core best 0
3600.06/3609.90 c CG core reduction tie 0
3600.06/3609.90 c CG core degree average 0.00
3600.06/3609.90 c CG core slack average 0.00
3600.06/3609.90 c CG exhausted 0
3600.06/3609.90 c CG exhaust time 0 s
3600.06/3609.90 c CG trimmed 0
3600.06/3609.90 c CG trim time 0 s
3600.06/3609.90 c CG minimized 0
3600.06/3609.90 c CG minimize time 0 s
3600.06/3609.90 c CG am1 prop time 0.000163 s
3600.06/3609.90 c CG # am1s reformulated 0
3600.06/3609.90 c CG lower bound derived from am1s 0
3600.06/3609.90 c CG # clausal cores 0
3600.06/3609.90 c CG # cardinality cores 0
3600.06/3609.90 c CG # pb cores 0
3600.06/3609.90 c CG # pb reforms 0
3600.06/3609.90 c CG # cores discarded because of pb reform 0
3600.06/3609.90 d LOWERBOUND 4081
3600.06/3609.90 d NCORES 0
3600.06/3609.90 d NPBCORES 0
3600.06/3609.90 d NPBREFORM 0
3600.06/3609.90 d NTRIMMED 0
3600.06/3609.90 d NEXHAUSTED 0
3600.06/3609.90 d NAM1S 0
3600.06/3609.90 d AM1LB 0
3600.06/3609.90 o 35903
3600.06/3609.90 s SATISFIABLE
3600.06/3609.90 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: 63837 MiB (63005 MiB free)
memory of node 1: 64465 MiB (62540 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496820-1751387294/watcher-4496820-1751387294 -o /tmp/evaluation-result-4496820-1751387294/solver-4496820-1751387294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48628 --watchdog 3760 pb-oll-rs HOME/instance-4496820-1751387294.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=49789, runsolver pid=49786
[startup+0.100069 s]*
/proc/loadavg: 4.11 4.09 4.07 5/251 49790
/proc/meminfo: memFree=128556372/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=21600 memory=7692 CPUtime=0.08 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 895 0 0 0 6 2 0 0 20 0 1 0 54408222 22118400 1923 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 5400 1923 1344 243 0 1649 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 21600 KiB
Current children cumulated memory: 7692 KiB
[startup+0.213129 s]*
/proc/loadavg: 4.11 4.09 4.07 5/251 49790
/proc/meminfo: memFree=128564148/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=22364 memory=8972 CPUtime=0.18 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 1184 0 0 0 15 3 0 0 20 0 1 0 54408222 22900736 2243 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 5591 2243 1376 243 0 1840 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 22364 KiB
Current children cumulated memory: 8972 KiB
[startup+0.313088 s]*
/proc/loadavg: 4.11 4.09 4.07 5/251 49790
/proc/meminfo: memFree=128564148/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=22904 memory=9868 CPUtime=0.27 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 1403 0 0 0 23 4 0 0 20 0 1 0 54408222 23453696 2467 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 5726 2467 1376 243 0 1975 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 22904 KiB
Current children cumulated memory: 9868 KiB
[startup+0.700261 s]
/proc/loadavg: 4.11 4.09 4.07 5/251 49790
/proc/meminfo: memFree=128560052/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=24108 memory=13056 CPUtime=0.61 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 1699 0 0 0 56 5 0 0 20 0 1 0 54408222 24686592 3264 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 6027 3264 1376 243 0 2276 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 13056 KiB
[startup+1.50024 s]
/proc/loadavg: 4.11 4.09 4.07 5/251 49790
/proc/meminfo: memFree=128560352/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=45352 memory=33984 CPUtime=1.4 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 5899 0 0 0 131 9 0 0 20 0 1 0 54408222 46440448 8496 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 11338 8496 1376 243 0 7587 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 45352 KiB
Current children cumulated memory: 33984 KiB
[startup+3.10534 s]
/proc/loadavg: 4.10 4.09 4.07 5/251 49790
/proc/meminfo: memFree=128516816/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=83784 memory=63264 CPUtime=2.99 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 11178 0 0 0 285 14 0 0 20 0 1 0 54408222 85794816 15816 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 20946 15816 1376 243 0 17195 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 83784 KiB
Current children cumulated memory: 63264 KiB
[startup+6.30021 s]
/proc/loadavg: 4.10 4.09 4.07 5/251 49790
/proc/meminfo: memFree=128493628/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=109660 memory=83128 CPUtime=6.15 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 14109 0 0 0 593 22 0 0 20 0 1 0 54408222 112291840 20782 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 27415 20782 1376 243 0 23664 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 109660 KiB
Current children cumulated memory: 83128 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.08 5/251 49790
/proc/meminfo: memFree=128441912/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=111864 memory=89508 CPUtime=12.48 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 14671 0 0 0 1208 40 0 0 20 0 1 0 54408222 114548736 22377 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 27966 22377 1376 243 0 24215 0
Current children cumulated CPU time: 12.48 s
Current children cumulated vsize: 111864 KiB
Current children cumulated memory: 89508 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.10 4.08 5/251 49790
/proc/meminfo: memFree=128412928/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=131916 memory=103588 CPUtime=25.2 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 18198 0 0 0 2434 86 0 0 20 0 1 0 54408222 135081984 25897 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 32979 25897 1376 243 0 29228 0
Current children cumulated CPU time: 25.2 s
Current children cumulated vsize: 131916 KiB
Current children cumulated memory: 103588 KiB
[startup+51.113 s]
/proc/loadavg: 4.09 4.09 4.07 5/251 49790
/proc/meminfo: memFree=128338512/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=189908 memory=152936 CPUtime=50.74 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 25434 0 0 0 4930 144 0 0 20 0 1 0 54408222 194465792 38234 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 47477 38234 1376 243 0 43726 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 189908 KiB
Current children cumulated memory: 152936 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.10 4.08 5/251 49792
/proc/meminfo: memFree=128292132/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=197440 memory=166472 CPUtime=101.79 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 27921 0 0 0 9889 290 0 0 20 0 1 0 54408222 202178560 41618 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 49360 41618 1376 243 0 45609 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 197440 KiB
Current children cumulated memory: 166472 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/250 49795
/proc/meminfo: memFree=128041404/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=326784 memory=273056 CPUtime=161.64 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 42386 0 0 0 15802 362 0 0 20 0 1 0 54408222 334626816 68264 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 81696 68264 1376 243 0 77945 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 326784 KiB
Current children cumulated memory: 273056 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.08 5/250 49797
/proc/meminfo: memFree=128004940/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=330760 memory=276512 CPUtime=221.48 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 43248 0 0 0 21677 471 0 0 20 0 1 0 54408222 338698240 69128 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 82690 69128 1376 243 0 78939 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 330760 KiB
Current children cumulated memory: 276512 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 49799
/proc/meminfo: memFree=127913632/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=337680 memory=283808 CPUtime=281.33 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 45090 0 0 0 27557 576 0 0 20 0 1 0 54408222 345784320 70952 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 84420 70952 1376 243 0 80669 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 337680 KiB
Current children cumulated memory: 283808 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.11 4.09 5/249 49801
/proc/meminfo: memFree=127888676/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=339072 memory=286624 CPUtime=341.18 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 45788 0 0 0 33453 665 0 0 20 0 1 0 54408222 347209728 71656 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 84768 71656 1376 243 0 81017 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 339072 KiB
Current children cumulated memory: 286624 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/249 49803
/proc/meminfo: memFree=127742436/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=344156 memory=293152 CPUtime=401.01 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 47427 0 0 0 39372 729 0 0 20 0 1 0 54408222 352415744 73288 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 86039 73288 1376 243 0 82288 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 344156 KiB
Current children cumulated memory: 293152 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 49809
/proc/meminfo: memFree=127657924/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=441584 memory=362180 CPUtime=460.86 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 52946 0 0 0 45330 756 0 0 20 0 1 0 54408222 452182016 90545 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 110396 90545 1376 243 0 106645 0
Current children cumulated CPU time: 460.86 s
################
# More data... #
################
Current children cumulated memory: 584764 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/249 50023
/proc/meminfo: memFree=125197524/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=750588 memory=584764 CPUtime=2914.23 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 92175 0 0 0 288419 3004 0 0 20 0 1 0 54408222 768602112 146191 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 187647 146191 1376 243 0 183896 0
Current children cumulated CPU time: 2914.23 s
Current children cumulated vsize: 750588 KiB
Current children cumulated memory: 584764 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/250 50030
/proc/meminfo: memFree=125197108/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=750716 memory=584904 CPUtime=2974.05 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 92337 0 0 0 294360 3045 0 0 20 0 1 0 54408222 768733184 146226 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 187679 146226 1376 243 0 183928 0
Current children cumulated CPU time: 2974.05 s
Current children cumulated vsize: 750716 KiB
Current children cumulated memory: 584904 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.16 5/251 50033
/proc/meminfo: memFree=125188680/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=750716 memory=585800 CPUtime=3033.86 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 92338 0 0 0 300289 3097 0 0 20 0 1 0 54408222 768733184 146450 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 187679 146450 1376 243 0 183928 0
Current children cumulated CPU time: 3033.86 s
Current children cumulated vsize: 750716 KiB
Current children cumulated memory: 585800 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/251 50035
/proc/meminfo: memFree=125150108/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=750716 memory=603976 CPUtime=3093.7 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 92344 0 0 0 306235 3135 0 0 20 0 1 0 54408222 768733184 150994 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 187679 150994 1376 243 0 183928 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 750716 KiB
Current children cumulated memory: 603976 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.15 5/251 50037
/proc/meminfo: memFree=125141048/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=750716 memory=610760 CPUtime=3153.53 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 92707 0 0 0 312156 3197 0 0 20 0 1 0 54408222 768733184 152690 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 187679 152690 1376 243 0 183928 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 750716 KiB
Current children cumulated memory: 610760 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/251 50039
/proc/meminfo: memFree=125141336/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=750716 memory=610760 CPUtime=3213.37 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 92860 0 0 0 318089 3248 0 0 20 0 1 0 54408222 768733184 152690 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 187679 152690 1376 243 0 183928 0
Current children cumulated CPU time: 3213.37 s
Current children cumulated vsize: 750716 KiB
Current children cumulated memory: 610760 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/250 50041
/proc/meminfo: memFree=125148164/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=751484 memory=611236 CPUtime=3273.24 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 93107 0 0 0 324041 3283 0 0 20 0 1 0 54408222 769519616 152809 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 187871 152809 1376 243 0 184120 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 751484 KiB
Current children cumulated memory: 611236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/250 50043
/proc/meminfo: memFree=125165528/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=754556 memory=613028 CPUtime=3333.11 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 93569 0 0 0 329987 3324 0 0 20 0 1 0 54408222 772665344 153257 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 188639 153257 1376 243 0 184888 0
Current children cumulated CPU time: 3333.11 s
Current children cumulated vsize: 754556 KiB
Current children cumulated memory: 613028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/249 50045
/proc/meminfo: memFree=125147040/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=754556 memory=613240 CPUtime=3392.97 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 93737 0 0 0 335939 3358 0 0 20 0 1 0 54408222 772665344 153310 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 188639 153310 1376 243 0 184888 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 754556 KiB
Current children cumulated memory: 613240 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/249 50047
/proc/meminfo: memFree=125125920/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=755324 memory=613832 CPUtime=3452.83 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 93990 0 0 0 341882 3401 0 0 20 0 1 0 54408222 773451776 153458 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 188831 153458 1376 243 0 185080 0
Current children cumulated CPU time: 3452.83 s
Current children cumulated vsize: 755324 KiB
Current children cumulated memory: 613832 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.14 4.14 5/250 50142
/proc/meminfo: memFree=127130500/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=755324 memory=613832 CPUtime=3512.7 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 93990 0 0 0 347831 3439 0 0 20 0 1 0 54408222 773451776 153458 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 188831 153458 1376 243 0 185080 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 755324 KiB
Current children cumulated memory: 613832 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/250 50148
/proc/meminfo: memFree=126716756/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=755324 memory=613832 CPUtime=3572.53 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 93990 0 0 0 353787 3466 0 0 20 0 1 0 54408222 773451776 153458 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 188831 153458 1376 243 0 185080 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 755324 KiB
Current children cumulated memory: 613832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.13 4.13 4.13 5/250 50149
/proc/meminfo: memFree=126715032/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=756348 memory=614216 CPUtime=3600.06 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 94243 0 0 0 356532 3474 0 0 20 0 1 0 54408222 774500352 153554 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 189087 153554 1376 243 0 185336 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 756348 KiB
Current children cumulated memory: 614216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 49789 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3565.32 s, system=34.7452 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.13 4.13 4.13 5/250 50149
/proc/meminfo: memFree=126715032/131382120 swapFree=33010416/33010684
[pid=49789] ppid=49786 vsize=756348 memory=614216 CPUtime=3600.06 cores=4,6
/proc/49789/stat : 49789 (pb-oll-rs) R 49786 49789 48617 0 -1 4194304 94243 0 0 0 356532 3474 0 0 20 0 1 0 54408222 774500352 153554 18446744073709551615 4218880 5211445 140729377875680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 20033536 140729377880476 140729377880553 140729377880553 140729377886155 0
/proc/49789/statm: 189087 153554 1376 243 0 185336 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 756348 KiB
Current children cumulated memory: 614216 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.07
CPU user time (s): 3565.32
CPU system time (s): 34.7452
CPU usage (%): 99.7275
Max. virtual memory (cumulated for all children) (KiB): 756348
Max. memory (cumulated for all children) (KiB): 614216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.32
system time used= 34.7452
maximum resident set size= 614472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94269
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= 261
involuntary context switches= 2182
# summary of solver processes directly reported to runsolver:
# pid: 49789
# total CPU time (s): 3600.07
# total CPU user time (s): 3565.32
# total CPU system time (s): 34.7452
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2322 second user time and 36.3794 second system time
The end
Begin job on nodeC002 at 2025-07-01 18:28:14
IDJOB=4496820
IDBENCH=148147
IDSOLVER=3345
FILE ID=nodeC002/4496820-1751387294
RUNJOBID= nodeC002-1751383217-48628
SLURM_JOB_ID= 9598229
Free space on /tmp= 433052 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
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 -w /tmp/evaluation-result-4496820-1751387294/watcher-4496820-1751387294 -o /tmp/evaluation-result-4496820-1751387294/solver-4496820-1751387294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48628 --watchdog 3760 pb-oll-rs HOME/instance-4496820-1751387294.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 80638e9ab302f8cbcb0fef344ba23b43
RANDOM SEED=1049188576
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3565.324
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 3544.216
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.064
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.366
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 2494.476
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 3591.628
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.223
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.218
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128560132 kB
MemAvailable: 128354016 kB
Buffers: 2128 kB
Cached: 602828 kB
SwapCached: 28 kB
Active: 1896344 kB
Inactive: 300244 kB
Active(anon): 1603164 kB
Inactive(anon): 6404 kB
Active(file): 293180 kB
Inactive(file): 293840 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1644 kB
Writeback: 0 kB
AnonPages: 1594776 kB
Mapped: 106800 kB
Shmem: 17932 kB
KReclaimable: 92984 kB
Slab: 176992 kB
SReclaimable: 92984 kB
SUnreclaim: 84008 kB
KernelStack: 4064 kB
PageTables: 6344 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2065544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 462848 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433052 MiB
End job on nodeC002 at 2025-07-01 19:28:24