0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.09 c [STEP] preprocessing with Papilo
0.11/0.12 c [STEP] solving with SCIP
299.35/300.25 c [STEP] preprocessing done, loading into solver
299.35/300.27 c [STEP] solving
299.35/300.27 c #variables 11713 #constraints 796
347.03/348.02 c #Conflicts: 1000 | #Constraints: 1795
347.03/348.02 c #Conflicts: 2000 | #Constraints: 2795
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 3000 | #Constraints: 2807
347.03/348.02 c #Conflicts: 4000 | #Constraints: 3807
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 5000 | #Constraints: 3209
347.03/348.02 c #Conflicts: 6000 | #Constraints: 4209
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 7000 | #Constraints: 3211
347.03/348.02 c #Conflicts: 8000 | #Constraints: 4211
347.03/348.02 c #Conflicts: 9000 | #Constraints: 5211
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 10000 | #Constraints: 3914
347.03/348.02 c #Conflicts: 11000 | #Constraints: 4914
347.03/348.02 c #Conflicts: 12000 | #Constraints: 5914
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 13000 | #Constraints: 4364
347.03/348.02 c #Conflicts: 14000 | #Constraints: 5364
347.03/348.02 c #Conflicts: 15000 | #Constraints: 6364
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 16000 | #Constraints: 4598
347.03/348.02 c #Conflicts: 17000 | #Constraints: 5598
347.03/348.02 c #Conflicts: 18000 | #Constraints: 6598
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 19000 | #Constraints: 4613
347.03/348.02 c #Conflicts: 20000 | #Constraints: 5613
347.03/348.02 c #Conflicts: 21000 | #Constraints: 6613
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 22000 | #Constraints: 4415
347.03/348.02 c #Conflicts: 23000 | #Constraints: 5415
347.03/348.02 c #Conflicts: 24000 | #Constraints: 6415
347.03/348.02 c #Conflicts: 25000 | #Constraints: 7415
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 26000 | #Constraints: 5017
347.03/348.02 c #Conflicts: 27000 | #Constraints: 6017
347.03/348.02 c #Conflicts: 28000 | #Constraints: 7017
347.03/348.02 c #Conflicts: 29000 | #Constraints: 8017
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 30000 | #Constraints: 5413
347.03/348.02 c #Conflicts: 31000 | #Constraints: 6413
347.03/348.02 c #Conflicts: 32000 | #Constraints: 7413
347.03/348.02 c #Conflicts: 33000 | #Constraints: 8413
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 34000 | #Constraints: 5616
347.03/348.02 c #Conflicts: 35000 | #Constraints: 6616
347.03/348.02 c #Conflicts: 36000 | #Constraints: 7616
347.03/348.02 c #Conflicts: 37000 | #Constraints: 8616
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 38000 | #Constraints: 5616
347.03/348.02 c #Conflicts: 39000 | #Constraints: 6616
347.03/348.02 c #Conflicts: 40000 | #Constraints: 7616
347.03/348.02 c #Conflicts: 41000 | #Constraints: 8616
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 42000 | #Constraints: 5415
347.03/348.02 c #Conflicts: 43000 | #Constraints: 6415
347.03/348.02 c #Conflicts: 44000 | #Constraints: 7415
347.03/348.02 c #Conflicts: 45000 | #Constraints: 8415
347.03/348.02 c #Conflicts: 46000 | #Constraints: 9415
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 47000 | #Constraints: 6015
347.03/348.02 c #Conflicts: 48000 | #Constraints: 7015
347.03/348.02 c #Conflicts: 49000 | #Constraints: 8015
347.03/348.02 c #Conflicts: 50000 | #Constraints: 9015
347.03/348.02 c #Conflicts: 51000 | #Constraints: 10015
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 52000 | #Constraints: 6419
347.03/348.02 c #Conflicts: 53000 | #Constraints: 7419
347.03/348.02 c #Conflicts: 54000 | #Constraints: 8419
347.03/348.02 c #Conflicts: 55000 | #Constraints: 9419
347.03/348.02 c #Conflicts: 56000 | #Constraints: 10419
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 57000 | #Constraints: 6630
347.03/348.02 c #Conflicts: 58000 | #Constraints: 7630
347.03/348.02 c #Conflicts: 59000 | #Constraints: 8630
347.03/348.02 c #Conflicts: 60000 | #Constraints: 9630
347.03/348.02 c #Conflicts: 61000 | #Constraints: 10630
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 62000 | #Constraints: 6625
347.03/348.02 c #Conflicts: 63000 | #Constraints: 7625
347.03/348.02 c #Conflicts: 64000 | #Constraints: 8625
347.03/348.02 c #Conflicts: 65000 | #Constraints: 9625
347.03/348.02 c #Conflicts: 66000 | #Constraints: 10625
347.03/348.02 c INPROCESSING
347.03/348.02 c GARBAGE COLLECT
347.03/348.02 c #Conflicts: 67000 | #Constraints: 6426
347.03/348.02 c #Conflicts: 68000 | #Constraints: 7426
484.47/485.85 c #Conflicts: 69000 | #Constraints: 8426
484.47/485.85 c #Conflicts: 70000 | #Constraints: 9426
484.47/485.85 c #Conflicts: 71000 | #Constraints: 10426
484.47/485.85 c #Conflicts: 72000 | #Constraints: 11426
484.47/485.85 c INPROCESSING
484.47/485.85 c GARBAGE COLLECT
484.47/485.85 c #Conflicts: 73000 | #Constraints: 7018
484.47/485.85 c #Conflicts: 74000 | #Constraints: 8018
484.47/485.85 c #Conflicts: 75000 | #Constraints: 9018
484.47/485.85 c #Conflicts: 76000 | #Constraints: 10018
484.47/485.85 c #Conflicts: 77000 | #Constraints: 11018
484.47/485.85 c #Conflicts: 78000 | #Constraints: 12018
484.47/485.85 c INPROCESSING
484.47/485.85 c GARBAGE COLLECT
484.47/485.85 c #Conflicts: 79000 | #Constraints: 7420
484.47/485.85 c #Conflicts: 80000 | #Constraints: 8420
484.47/485.85 c #Conflicts: 81000 | #Constraints: 9420
484.47/485.85 c #Conflicts: 82000 | #Constraints: 10420
484.47/485.85 c #Conflicts: 83000 | #Constraints: 11420
484.47/485.85 c #Conflicts: 84000 | #Constraints: 12420
484.47/485.85 c INPROCESSING
484.47/485.85 c GARBAGE COLLECT
484.47/485.85 c #Conflicts: 85000 | #Constraints: 7624
484.47/485.85 c #Conflicts: 86000 | #Constraints: 8624
484.47/485.85 c #Conflicts: 87000 | #Constraints: 9624
484.47/485.85 c #Conflicts: 88000 | #Constraints: 10624
484.47/485.85 c #Conflicts: 89000 | #Constraints: 11624
484.47/485.85 c #Conflicts: 90000 | #Constraints: 12624
484.47/485.85 c INPROCESSING
484.47/485.85 c GARBAGE COLLECT
484.47/485.85 c #Conflicts: 91000 | #Constraints: 7626
484.47/485.85 c #Conflicts: 92000 | #Constraints: 8626
484.47/485.85 c #Conflicts: 93000 | #Constraints: 9626
484.47/485.85 c #Conflicts: 94000 | #Constraints: 10626
484.47/485.85 c #Conflicts: 95000 | #Constraints: 11626
484.47/485.85 c #Conflicts: 96000 | #Constraints: 12626
484.47/485.85 c INPROCESSING
484.47/485.85 c GARBAGE COLLECT
484.47/485.85 c #Conflicts: 97000 | #Constraints: 7429
484.47/485.85 c #Conflicts: 98000 | #Constraints: 8429
484.47/485.85 c #Conflicts: 99000 | #Constraints: 9429
484.47/485.85 c #Conflicts: 100000 | #Constraints: 10429
484.47/485.85 c #Conflicts: 101000 | #Constraints: 11429
484.47/485.85 c #Conflicts: 102000 | #Constraints: 12429
484.47/485.85 c #Conflicts: 103000 | #Constraints: 13429
484.47/485.85 c INPROCESSING
484.47/485.85 c GARBAGE COLLECT
484.47/485.85 c #Conflicts: 104000 | #Constraints: 8018
484.47/485.85 c #Conflicts: 105000 | #Constraints: 9018
484.47/485.85 c #Conflicts: 106000 | #Constraints: 10018
484.47/485.85 c #Conflicts: 107000 | #Constraints: 11018
484.47/485.85 c #Conflicts: 108000 | #Constraints: 12018
484.47/485.85 c #Conflicts: 109000 | #Constraints: 13018
484.47/485.85 c #Conflicts: 110000 | #Constraints: 14018
484.47/485.85 c INPROCESSING
484.47/485.85 c GARBAGE COLLECT
484.47/485.85 c #Conflicts: 111000 | #Constraints: 8422
484.47/485.85 c #Conflicts: 112000 | #Constraints: 9422
484.47/485.85 c #Conflicts: 113000 | #Constraints: 10422
484.47/485.85 c #Conflicts: 114000 | #Constraints: 11422
484.47/485.85 c #Conflicts: 115000 | #Constraints: 12422
484.47/485.85 c #Conflicts: 116000 | #Constraints: 13422
484.47/485.85 c #Conflicts: 117000 | #Constraints: 14422
484.47/485.85 c INPROCESSING
484.47/485.85 c GARBAGE COLLECT
484.47/485.85 c #Conflicts: 118000 | #Constraints: 8617
484.47/485.85 c #Conflicts: 119000 | #Constraints: 9617
484.47/485.85 c #Conflicts: 120000 | #Constraints: 10617
484.47/485.85 c #Conflicts: 121000 | #Constraints: 11617
484.47/485.85 c #Conflicts: 122000 | #Constraints: 12617
484.47/485.85 c #Conflicts: 123000 | #Constraints: 13617
484.47/485.85 c #Conflicts: 124000 | #Constraints: 14617
484.47/485.85 c INPROCESSING
484.47/485.85 c GARBAGE COLLECT
484.47/485.85 c #Conflicts: 125000 | #Constraints: 8618
484.47/485.85 c #Conflicts: 126000 | #Constraints: 9618
484.47/485.85 c #Conflicts: 127000 | #Constraints: 10618
484.47/485.85 c #Conflicts: 128000 | #Constraints: 11618
484.47/485.85 c #Conflicts: 129000 | #Constraints: 12618
484.47/485.85 c #Conflicts: 130000 | #Constraints: 13618
484.47/485.85 c #Conflicts: 131000 | #Constraints: 14618
484.47/485.85 c INPROCESSING
484.47/485.85 c GARBAGE COLLECT
484.47/485.85 c #Conflicts: 132000 | #Constraints: 8413
484.47/485.85 c #Conflicts: 133000 | #Constraints: 9413
484.47/485.85 c #Conflicts: 134000 | #Constraints: 10413
484.47/485.85 c #Conflicts: 135000 | #Constraints: 11413
484.47/485.85 c #Conflicts: 136000 | #Constraints: 12413
484.47/485.85 c #Conflicts: 137000 | #Constraints: 13413
484.47/485.85 c #Conflicts: 138000 | #Constraints: 14413
484.47/485.85 c #Conflicts: 139000 | #Constraints: 15413
484.47/485.85 c INPROCESSING
484.47/485.85 c GARBAGE COLLECT
484.47/485.85 c #Conflicts: 140000 | #Constraints: 9014
570.45/572.06 c #Conflicts: 141000 | #Constraints: 10014
570.45/572.06 c #Conflicts: 142000 | #Constraints: 11014
570.45/572.06 c #Conflicts: 143000 | #Constraints: 12014
570.45/572.06 c #Conflicts: 144000 | #Constraints: 13014
570.45/572.06 c #Conflicts: 145000 | #Constraints: 14014
570.45/572.06 c #Conflicts: 146000 | #Constraints: 15014
570.45/572.06 c #Conflicts: 147000 | #Constraints: 16014
570.45/572.06 c INPROCESSING
570.45/572.06 c GARBAGE COLLECT
570.45/572.06 c #Conflicts: 148000 | #Constraints: 9421
570.45/572.06 c #Conflicts: 149000 | #Constraints: 10421
570.45/572.06 c #Conflicts: 150000 | #Constraints: 11421
570.45/572.06 c #Conflicts: 151000 | #Constraints: 12421
570.45/572.06 c #Conflicts: 152000 | #Constraints: 13421
570.45/572.06 c #Conflicts: 153000 | #Constraints: 14421
570.45/572.06 c #Conflicts: 154000 | #Constraints: 15421
570.45/572.06 c #Conflicts: 155000 | #Constraints: 16421
570.45/572.06 c INPROCESSING
570.45/572.06 c GARBAGE COLLECT
570.45/572.06 c #Conflicts: 156000 | #Constraints: 9625
570.45/572.06 c #Conflicts: 157000 | #Constraints: 10625
570.45/572.06 c #Conflicts: 158000 | #Constraints: 11625
570.45/572.06 c #Conflicts: 159000 | #Constraints: 12625
570.45/572.06 c #Conflicts: 160000 | #Constraints: 13625
570.45/572.06 c #Conflicts: 161000 | #Constraints: 14625
570.45/572.06 c #Conflicts: 162000 | #Constraints: 15625
570.45/572.06 c #Conflicts: 163000 | #Constraints: 16625
570.45/572.06 c INPROCESSING
570.45/572.06 c GARBAGE COLLECT
570.45/572.06 c #Conflicts: 164000 | #Constraints: 9626
570.45/572.06 c #Conflicts: 165000 | #Constraints: 10626
570.45/572.06 c #Conflicts: 166000 | #Constraints: 11626
570.45/572.06 c #Conflicts: 167000 | #Constraints: 12626
570.45/572.06 c #Conflicts: 168000 | #Constraints: 13626
570.45/572.06 c #Conflicts: 169000 | #Constraints: 14626
570.45/572.06 c #Conflicts: 170000 | #Constraints: 15626
570.45/572.06 c #Conflicts: 171000 | #Constraints: 16626
570.45/572.06 c INPROCESSING
570.45/572.06 c GARBAGE COLLECT
570.45/572.06 c #Conflicts: 172000 | #Constraints: 9422
570.45/572.06 c #Conflicts: 173000 | #Constraints: 10422
570.45/572.06 c #Conflicts: 174000 | #Constraints: 11422
570.45/572.06 c #Conflicts: 175000 | #Constraints: 12422
570.45/572.06 c #Conflicts: 176000 | #Constraints: 13422
570.45/572.06 c #Conflicts: 177000 | #Constraints: 14422
570.45/572.06 c #Conflicts: 178000 | #Constraints: 15422
570.45/572.06 c #Conflicts: 179000 | #Constraints: 16422
570.45/572.06 c #Conflicts: 180000 | #Constraints: 17422
570.45/572.06 c INPROCESSING
570.45/572.06 c GARBAGE COLLECT
570.45/572.06 c #Conflicts: 181000 | #Constraints: 10016
570.45/572.06 c #Conflicts: 182000 | #Constraints: 11016
570.45/572.06 c #Conflicts: 183000 | #Constraints: 12016
570.45/572.06 c #Conflicts: 184000 | #Constraints: 13016
570.45/572.06 c #Conflicts: 185000 | #Constraints: 14016
570.45/572.06 c #Conflicts: 186000 | #Constraints: 15016
570.45/572.06 c #Conflicts: 187000 | #Constraints: 16016
570.45/572.06 c #Conflicts: 188000 | #Constraints: 17016
570.45/572.06 c #Conflicts: 189000 | #Constraints: 18016
570.45/572.06 c INPROCESSING
570.45/572.06 c GARBAGE COLLECT
570.45/572.06 c #Conflicts: 190000 | #Constraints: 10425
570.45/572.06 c #Conflicts: 191000 | #Constraints: 11425
570.45/572.06 c #Conflicts: 192000 | #Constraints: 12425
570.45/572.06 c #Conflicts: 193000 | #Constraints: 13425
570.45/572.06 c #Conflicts: 194000 | #Constraints: 14425
570.45/572.06 c #Conflicts: 195000 | #Constraints: 15425
570.45/572.06 c #Conflicts: 196000 | #Constraints: 16425
570.45/572.06 c #Conflicts: 197000 | #Constraints: 17425
570.45/572.06 c #Conflicts: 198000 | #Constraints: 18425
570.45/572.06 c INPROCESSING
570.45/572.06 c GARBAGE COLLECT
570.45/572.06 c #Conflicts: 199000 | #Constraints: 10636
570.45/572.06 c #Conflicts: 200000 | #Constraints: 11636
570.45/572.06 c #Conflicts: 201000 | #Constraints: 12636
570.45/572.06 c #Conflicts: 202000 | #Constraints: 13636
570.45/572.06 c #Conflicts: 203000 | #Constraints: 14636
570.45/572.06 c #Conflicts: 204000 | #Constraints: 15636
570.45/572.06 c #Conflicts: 205000 | #Constraints: 16636
570.45/572.06 c #Conflicts: 206000 | #Constraints: 17636
570.45/572.06 c #Conflicts: 207000 | #Constraints: 18636
570.45/572.06 c INPROCESSING
570.45/572.06 c GARBAGE COLLECT
570.45/572.06 c #Conflicts: 208000 | #Constraints: 10633
570.45/572.06 c #Conflicts: 209000 | #Constraints: 11633
570.45/572.06 c #Conflicts: 210000 | #Constraints: 12633
570.45/572.06 c #Conflicts: 211000 | #Constraints: 13633
570.45/572.06 c #Conflicts: 212000 | #Constraints: 14633
570.45/572.06 c #Conflicts: 213000 | #Constraints: 15633
700.90/702.83 c #Conflicts: 214000 | #Constraints: 16633
700.90/702.83 c #Conflicts: 215000 | #Constraints: 17633
700.90/702.83 c #Conflicts: 216000 | #Constraints: 18633
700.90/702.83 c INPROCESSING
700.90/702.83 c GARBAGE COLLECT
700.90/702.83 c #Conflicts: 217000 | #Constraints: 10435
700.90/702.83 c #Conflicts: 218000 | #Constraints: 11435
700.90/702.83 c #Conflicts: 219000 | #Constraints: 12435
700.90/702.83 c #Conflicts: 220000 | #Constraints: 13435
700.90/702.83 c #Conflicts: 221000 | #Constraints: 14435
700.90/702.83 c #Conflicts: 222000 | #Constraints: 15435
700.90/702.83 c #Conflicts: 223000 | #Constraints: 16435
700.90/702.83 c #Conflicts: 224000 | #Constraints: 17435
700.90/702.83 c #Conflicts: 225000 | #Constraints: 18435
700.90/702.83 c #Conflicts: 226000 | #Constraints: 19435
700.90/702.83 c INPROCESSING
700.90/702.83 c GARBAGE COLLECT
700.90/702.83 c #Conflicts: 227000 | #Constraints: 11041
700.90/702.83 c #Conflicts: 228000 | #Constraints: 12041
700.90/702.83 c #Conflicts: 229000 | #Constraints: 13041
700.90/702.83 c #Conflicts: 230000 | #Constraints: 14041
700.90/702.83 c #Conflicts: 231000 | #Constraints: 15041
700.90/702.83 c #Conflicts: 232000 | #Constraints: 16041
700.90/702.83 c #Conflicts: 233000 | #Constraints: 17041
700.90/702.83 c #Conflicts: 234000 | #Constraints: 18041
700.90/702.83 c #Conflicts: 235000 | #Constraints: 19041
700.90/702.83 c #Conflicts: 236000 | #Constraints: 20041
700.90/702.83 c INPROCESSING
700.90/702.83 c GARBAGE COLLECT
700.90/702.83 c #Conflicts: 237000 | #Constraints: 11426
700.90/702.83 c #Conflicts: 238000 | #Constraints: 12426
700.90/702.83 c #Conflicts: 239000 | #Constraints: 13426
700.90/702.83 c #Conflicts: 240000 | #Constraints: 14426
700.90/702.83 c #Conflicts: 241000 | #Constraints: 15426
700.90/702.83 c #Conflicts: 242000 | #Constraints: 16426
700.90/702.83 c #Conflicts: 243000 | #Constraints: 17426
700.90/702.83 c #Conflicts: 244000 | #Constraints: 18426
700.90/702.83 c #Conflicts: 245000 | #Constraints: 19426
700.90/702.83 c #Conflicts: 246000 | #Constraints: 20426
700.90/702.83 c INPROCESSING
700.90/702.83 c GARBAGE COLLECT
700.90/702.83 c #Conflicts: 247000 | #Constraints: 11622
700.90/702.83 c #Conflicts: 248000 | #Constraints: 12622
700.90/702.83 c #Conflicts: 249000 | #Constraints: 13622
700.90/702.83 c #Conflicts: 250000 | #Constraints: 14622
700.90/702.83 c #Conflicts: 251000 | #Constraints: 15622
700.90/702.83 c #Conflicts: 252000 | #Constraints: 16622
700.90/702.83 c #Conflicts: 253000 | #Constraints: 17622
700.90/702.83 c #Conflicts: 254000 | #Constraints: 18622
700.90/702.83 c #Conflicts: 255000 | #Constraints: 19622
700.90/702.83 c #Conflicts: 256000 | #Constraints: 20622
700.90/702.83 c INPROCESSING
700.90/702.83 c GARBAGE COLLECT
700.90/702.83 c #Conflicts: 257000 | #Constraints: 11620
700.90/702.83 c #Conflicts: 258000 | #Constraints: 12620
700.90/702.83 c #Conflicts: 259000 | #Constraints: 13620
700.90/702.83 c #Conflicts: 260000 | #Constraints: 14620
700.90/702.83 c #Conflicts: 261000 | #Constraints: 15620
700.90/702.83 c #Conflicts: 262000 | #Constraints: 16620
700.90/702.83 c #Conflicts: 263000 | #Constraints: 17620
700.90/702.83 c #Conflicts: 264000 | #Constraints: 18620
700.90/702.83 c #Conflicts: 265000 | #Constraints: 19620
700.90/702.83 c #Conflicts: 266000 | #Constraints: 20620
700.90/702.83 c INPROCESSING
700.90/702.83 c GARBAGE COLLECT
700.90/702.83 c #Conflicts: 267000 | #Constraints: 11419
700.90/702.83 c #Conflicts: 268000 | #Constraints: 12419
700.90/702.83 c #Conflicts: 269000 | #Constraints: 13419
700.90/702.83 c #Conflicts: 270000 | #Constraints: 14419
700.90/702.83 c #Conflicts: 271000 | #Constraints: 15419
700.90/702.83 c #Conflicts: 272000 | #Constraints: 16419
700.90/702.83 c #Conflicts: 273000 | #Constraints: 17419
700.90/702.83 c #Conflicts: 274000 | #Constraints: 18419
700.90/702.83 c #Conflicts: 275000 | #Constraints: 19419
700.90/702.83 c #Conflicts: 276000 | #Constraints: 20419
700.90/702.83 c #Conflicts: 277000 | #Constraints: 21419
700.90/702.83 c INPROCESSING
700.90/702.83 c GARBAGE COLLECT
700.90/702.83 c #Conflicts: 278000 | #Constraints: 12017
700.90/702.83 c #Conflicts: 279000 | #Constraints: 13017
700.90/702.83 c #Conflicts: 280000 | #Constraints: 14017
700.90/702.83 c #Conflicts: 281000 | #Constraints: 15017
700.90/702.83 c #Conflicts: 282000 | #Constraints: 16017
700.90/702.83 c #Conflicts: 283000 | #Constraints: 17017
700.90/702.83 c #Conflicts: 284000 | #Constraints: 18017
700.90/702.83 c #Conflicts: 285000 | #Constraints: 19017
700.90/702.83 c #Conflicts: 286000 | #Constraints: 20017
700.90/702.83 c #Conflicts: 287000 | #Constraints: 21017
700.90/702.83 c #Conflicts: 288000 | #Constraints: 22017
913.64/916.15 c INPROCESSING
913.64/916.15 c GARBAGE COLLECT
913.64/916.15 c #Conflicts: 289000 | #Constraints: 12418
913.64/916.15 c #Conflicts: 290000 | #Constraints: 13418
913.64/916.15 c #Conflicts: 291000 | #Constraints: 14418
913.64/916.15 c #Conflicts: 292000 | #Constraints: 15418
913.64/916.15 c #Conflicts: 293000 | #Constraints: 16418
913.64/916.15 c #Conflicts: 294000 | #Constraints: 17418
913.64/916.15 c #Conflicts: 295000 | #Constraints: 18418
913.64/916.15 c #Conflicts: 296000 | #Constraints: 19418
913.64/916.15 c #Conflicts: 297000 | #Constraints: 20418
913.64/916.15 c #Conflicts: 298000 | #Constraints: 21418
913.64/916.15 c #Conflicts: 299000 | #Constraints: 22418
913.64/916.15 c INPROCESSING
913.64/916.15 c GARBAGE COLLECT
913.64/916.15 c #Conflicts: 300000 | #Constraints: 12617
913.64/916.15 c #Conflicts: 301000 | #Constraints: 13617
913.64/916.15 c #Conflicts: 302000 | #Constraints: 14617
913.64/916.15 c #Conflicts: 303000 | #Constraints: 15617
913.64/916.15 c #Conflicts: 304000 | #Constraints: 16617
913.64/916.15 c #Conflicts: 305000 | #Constraints: 17617
913.64/916.15 c #Conflicts: 306000 | #Constraints: 18617
913.64/916.15 c #Conflicts: 307000 | #Constraints: 19617
913.64/916.15 c #Conflicts: 308000 | #Constraints: 20617
913.64/916.15 c #Conflicts: 309000 | #Constraints: 21617
913.64/916.15 c #Conflicts: 310000 | #Constraints: 22617
913.64/916.15 c INPROCESSING
913.64/916.15 c GARBAGE COLLECT
913.64/916.15 c #Conflicts: 311000 | #Constraints: 12622
913.64/916.15 c #Conflicts: 312000 | #Constraints: 13622
913.64/916.15 c #Conflicts: 313000 | #Constraints: 14622
913.64/916.15 c #Conflicts: 314000 | #Constraints: 15622
913.64/916.15 c #Conflicts: 315000 | #Constraints: 16622
913.64/916.15 c #Conflicts: 316000 | #Constraints: 17622
913.64/916.15 c #Conflicts: 317000 | #Constraints: 18622
913.64/916.15 c #Conflicts: 318000 | #Constraints: 19622
913.64/916.15 c #Conflicts: 319000 | #Constraints: 20622
913.64/916.15 c #Conflicts: 320000 | #Constraints: 21622
913.64/916.15 c #Conflicts: 321000 | #Constraints: 22622
913.64/916.15 c INPROCESSING
913.64/916.15 c GARBAGE COLLECT
913.64/916.15 c #Conflicts: 322000 | #Constraints: 12430
913.64/916.15 c #Conflicts: 323000 | #Constraints: 13430
913.64/916.15 c #Conflicts: 324000 | #Constraints: 14430
913.64/916.15 c #Conflicts: 325000 | #Constraints: 15430
913.64/916.15 c #Conflicts: 326000 | #Constraints: 16430
913.64/916.15 c #Conflicts: 327000 | #Constraints: 17430
913.64/916.15 c #Conflicts: 328000 | #Constraints: 18430
913.64/916.15 c #Conflicts: 329000 | #Constraints: 19430
913.64/916.15 c #Conflicts: 330000 | #Constraints: 20430
913.64/916.15 c #Conflicts: 331000 | #Constraints: 21430
913.64/916.15 c #Conflicts: 332000 | #Constraints: 22430
913.64/916.15 c #Conflicts: 333000 | #Constraints: 23430
913.64/916.15 c INPROCESSING
913.64/916.15 c GARBAGE COLLECT
913.64/916.15 c #Conflicts: 334000 | #Constraints: 13023
913.64/916.15 c #Conflicts: 335000 | #Constraints: 14023
913.64/916.15 c #Conflicts: 336000 | #Constraints: 15023
913.64/916.15 c #Conflicts: 337000 | #Constraints: 16023
913.64/916.15 c #Conflicts: 338000 | #Constraints: 17023
913.64/916.15 c #Conflicts: 339000 | #Constraints: 18023
913.64/916.15 c #Conflicts: 340000 | #Constraints: 19023
913.64/916.15 c #Conflicts: 341000 | #Constraints: 20023
913.64/916.15 c #Conflicts: 342000 | #Constraints: 21023
913.64/916.15 c #Conflicts: 343000 | #Constraints: 22023
913.64/916.15 c #Conflicts: 344000 | #Constraints: 23023
913.64/916.15 c #Conflicts: 345000 | #Constraints: 24023
913.64/916.15 c INPROCESSING
913.64/916.15 c GARBAGE COLLECT
913.64/916.15 c #Conflicts: 346000 | #Constraints: 13419
913.64/916.15 c #Conflicts: 347000 | #Constraints: 14419
913.64/916.15 c #Conflicts: 348000 | #Constraints: 15419
913.64/916.15 c #Conflicts: 349000 | #Constraints: 16419
913.64/916.15 c #Conflicts: 350000 | #Constraints: 17419
913.64/916.15 c #Conflicts: 351000 | #Constraints: 18419
913.64/916.15 c #Conflicts: 352000 | #Constraints: 19419
913.64/916.15 c #Conflicts: 353000 | #Constraints: 20419
913.64/916.15 c #Conflicts: 354000 | #Constraints: 21419
913.64/916.15 c #Conflicts: 355000 | #Constraints: 22419
913.64/916.15 c #Conflicts: 356000 | #Constraints: 23419
913.64/916.15 c #Conflicts: 357000 | #Constraints: 24419
913.64/916.15 c INPROCESSING
913.64/916.15 c GARBAGE COLLECT
913.64/916.15 c #Conflicts: 358000 | #Constraints: 13615
913.64/916.15 c #Conflicts: 359000 | #Constraints: 14615
913.64/916.15 c #Conflicts: 360000 | #Constraints: 15615
913.64/916.15 c #Conflicts: 361000 | #Constraints: 16615
913.64/916.15 c #Conflicts: 362000 | #Constraints: 17615
1099.35/1102.35 c #Conflicts: 363000 | #Constraints: 18615
1099.35/1102.35 c #Conflicts: 364000 | #Constraints: 19615
1099.35/1102.35 c #Conflicts: 365000 | #Constraints: 20615
1099.35/1102.35 c #Conflicts: 366000 | #Constraints: 21615
1099.35/1102.35 c #Conflicts: 367000 | #Constraints: 22615
1099.35/1102.35 c #Conflicts: 368000 | #Constraints: 23615
1099.35/1102.35 c #Conflicts: 369000 | #Constraints: 24615
1099.35/1102.35 c INPROCESSING
1099.35/1102.35 c GARBAGE COLLECT
1099.35/1102.35 c #Conflicts: 370000 | #Constraints: 13625
1099.35/1102.35 c #Conflicts: 371000 | #Constraints: 14625
1099.35/1102.35 c #Conflicts: 372000 | #Constraints: 15625
1099.35/1102.35 c #Conflicts: 373000 | #Constraints: 16625
1099.35/1102.35 c #Conflicts: 374000 | #Constraints: 17625
1099.35/1102.35 c #Conflicts: 375000 | #Constraints: 18625
1099.35/1102.35 c #Conflicts: 376000 | #Constraints: 19625
1099.35/1102.35 c #Conflicts: 377000 | #Constraints: 20625
1099.35/1102.35 c #Conflicts: 378000 | #Constraints: 21625
1099.35/1102.35 c #Conflicts: 379000 | #Constraints: 22625
1099.35/1102.35 c #Conflicts: 380000 | #Constraints: 23625
1099.35/1102.35 c #Conflicts: 381000 | #Constraints: 24625
1099.35/1102.35 c INPROCESSING
1099.35/1102.35 c GARBAGE COLLECT
1099.35/1102.35 c #Conflicts: 382000 | #Constraints: 13420
1099.35/1102.35 c #Conflicts: 383000 | #Constraints: 14420
1099.35/1102.35 c #Conflicts: 384000 | #Constraints: 15420
1099.35/1102.35 c #Conflicts: 385000 | #Constraints: 16420
1099.35/1102.35 c #Conflicts: 386000 | #Constraints: 17420
1099.35/1102.35 c #Conflicts: 387000 | #Constraints: 18420
1099.35/1102.35 c #Conflicts: 388000 | #Constraints: 19420
1099.35/1102.35 c #Conflicts: 389000 | #Constraints: 20420
1099.35/1102.35 c #Conflicts: 390000 | #Constraints: 21420
1099.35/1102.35 c #Conflicts: 391000 | #Constraints: 22420
1099.35/1102.35 c #Conflicts: 392000 | #Constraints: 23420
1099.35/1102.35 c #Conflicts: 393000 | #Constraints: 24420
1099.35/1102.35 c #Conflicts: 394000 | #Constraints: 25420
1099.35/1102.35 c INPROCESSING
1099.35/1102.35 c GARBAGE COLLECT
1099.35/1102.35 c #Conflicts: 395000 | #Constraints: 14018
1099.35/1102.35 c #Conflicts: 396000 | #Constraints: 15018
1099.35/1102.35 c #Conflicts: 397000 | #Constraints: 16018
1099.35/1102.35 c #Conflicts: 398000 | #Constraints: 17018
1099.35/1102.35 c #Conflicts: 399000 | #Constraints: 18018
1099.35/1102.35 c #Conflicts: 400000 | #Constraints: 19018
1099.35/1102.35 c #Conflicts: 401000 | #Constraints: 20018
1099.35/1102.35 c #Conflicts: 402000 | #Constraints: 21018
1099.35/1102.35 c #Conflicts: 403000 | #Constraints: 22018
1099.35/1102.35 c #Conflicts: 404000 | #Constraints: 23018
1099.35/1102.35 c #Conflicts: 405000 | #Constraints: 24018
1099.35/1102.35 c #Conflicts: 406000 | #Constraints: 25018
1099.35/1102.35 c #Conflicts: 407000 | #Constraints: 26018
1099.35/1102.35 c INPROCESSING
1099.35/1102.35 c GARBAGE COLLECT
1099.35/1102.35 c #Conflicts: 408000 | #Constraints: 14417
1099.35/1102.35 c #Conflicts: 409000 | #Constraints: 15417
1099.35/1102.35 c #Conflicts: 410000 | #Constraints: 16417
1099.35/1102.35 c #Conflicts: 411000 | #Constraints: 17417
1099.35/1102.35 c #Conflicts: 412000 | #Constraints: 18417
1099.35/1102.35 c #Conflicts: 413000 | #Constraints: 19417
1099.35/1102.35 c #Conflicts: 414000 | #Constraints: 20417
1099.35/1102.35 c #Conflicts: 415000 | #Constraints: 21417
1099.35/1102.35 c #Conflicts: 416000 | #Constraints: 22417
1099.35/1102.35 c #Conflicts: 417000 | #Constraints: 23417
1099.35/1102.35 c #Conflicts: 418000 | #Constraints: 24417
1099.35/1102.35 c #Conflicts: 419000 | #Constraints: 25417
1099.35/1102.35 c #Conflicts: 420000 | #Constraints: 26417
1099.35/1102.35 c INPROCESSING
1099.35/1102.35 c GARBAGE COLLECT
1099.35/1102.35 c #Conflicts: 421000 | #Constraints: 14621
1099.35/1102.35 c #Conflicts: 422000 | #Constraints: 15621
1099.35/1102.35 c #Conflicts: 423000 | #Constraints: 16621
1099.35/1102.35 c #Conflicts: 424000 | #Constraints: 17621
1099.35/1102.35 c #Conflicts: 425000 | #Constraints: 18621
1099.35/1102.35 c #Conflicts: 426000 | #Constraints: 19621
1099.35/1102.35 c #Conflicts: 427000 | #Constraints: 20621
1099.35/1102.35 c #Conflicts: 428000 | #Constraints: 21621
1099.35/1102.35 c #Conflicts: 429000 | #Constraints: 22621
1099.35/1102.35 c #Conflicts: 430000 | #Constraints: 23621
1099.35/1102.35 c #Conflicts: 431000 | #Constraints: 24621
1099.35/1102.35 c #Conflicts: 432000 | #Constraints: 25621
1099.35/1102.35 c #Conflicts: 433000 | #Constraints: 26621
1099.35/1102.35 c INPROCESSING
1099.35/1102.35 c GARBAGE COLLECT
1099.35/1102.35 c #Conflicts: 434000 | #Constraints: 14625
1099.35/1102.35 c #Conflicts: 435000 | #Constraints: 15625
1099.35/1102.35 c #Conflicts: 436000 | #Constraints: 16625
1099.35/1102.35 c #Conflicts: 437000 | #Constraints: 17625
1628.83/1633.23 c #Conflicts: 438000 | #Constraints: 18625
1628.83/1633.23 c #Conflicts: 439000 | #Constraints: 19625
1628.83/1633.23 c #Conflicts: 440000 | #Constraints: 20625
1628.83/1633.23 c #Conflicts: 441000 | #Constraints: 21625
1628.83/1633.23 c #Conflicts: 442000 | #Constraints: 22625
1628.83/1633.23 c #Conflicts: 443000 | #Constraints: 23625
1628.83/1633.23 c #Conflicts: 444000 | #Constraints: 24625
1628.83/1633.23 c #Conflicts: 445000 | #Constraints: 25625
1628.83/1633.23 c #Conflicts: 446000 | #Constraints: 26625
1628.83/1633.23 c INPROCESSING
1628.83/1633.23 c GARBAGE COLLECT
1628.83/1633.23 c #Conflicts: 447000 | #Constraints: 14429
1628.83/1633.23 c #Conflicts: 448000 | #Constraints: 15429
1628.83/1633.23 c #Conflicts: 449000 | #Constraints: 16429
1628.83/1633.23 c #Conflicts: 450000 | #Constraints: 17429
1628.83/1633.23 c #Conflicts: 451000 | #Constraints: 18429
1628.83/1633.23 c #Conflicts: 452000 | #Constraints: 19429
1628.83/1633.23 c #Conflicts: 453000 | #Constraints: 20429
1628.83/1633.23 c #Conflicts: 454000 | #Constraints: 21429
1628.83/1633.23 c #Conflicts: 455000 | #Constraints: 22429
1628.83/1633.23 c #Conflicts: 456000 | #Constraints: 23429
1628.83/1633.23 c #Conflicts: 457000 | #Constraints: 24429
1628.83/1633.23 c #Conflicts: 458000 | #Constraints: 25429
1628.83/1633.23 c #Conflicts: 459000 | #Constraints: 26429
1628.83/1633.23 c #Conflicts: 460000 | #Constraints: 27429
1628.83/1633.23 c INPROCESSING
1628.83/1633.23 c GARBAGE COLLECT
1628.83/1633.23 c #Conflicts: 461000 | #Constraints: 15034
1628.83/1633.23 c #Conflicts: 462000 | #Constraints: 16034
1628.83/1633.23 c #Conflicts: 463000 | #Constraints: 17034
1628.83/1633.23 c #Conflicts: 464000 | #Constraints: 18034
1628.83/1633.23 c #Conflicts: 465000 | #Constraints: 19034
1628.83/1633.23 c #Conflicts: 466000 | #Constraints: 20034
1628.83/1633.23 c #Conflicts: 467000 | #Constraints: 21034
1628.83/1633.23 c #Conflicts: 468000 | #Constraints: 22034
1628.83/1633.23 c #Conflicts: 469000 | #Constraints: 23034
1628.83/1633.23 c #Conflicts: 470000 | #Constraints: 24034
1628.83/1633.23 c #Conflicts: 471000 | #Constraints: 25034
1628.83/1633.23 c #Conflicts: 472000 | #Constraints: 26034
1628.83/1633.23 c #Conflicts: 473000 | #Constraints: 27034
1628.83/1633.23 c #Conflicts: 474000 | #Constraints: 28034
1628.83/1633.23 c INPROCESSING
1628.83/1633.23 c GARBAGE COLLECT
1628.83/1633.23 c #Conflicts: 475000 | #Constraints: 15431
1628.83/1633.23 c #Conflicts: 476000 | #Constraints: 16431
1628.83/1633.23 c #Conflicts: 477000 | #Constraints: 17431
1628.83/1633.23 c #Conflicts: 478000 | #Constraints: 18431
1628.83/1633.23 c #Conflicts: 479000 | #Constraints: 19431
1628.83/1633.23 c #Conflicts: 480000 | #Constraints: 20431
1628.83/1633.23 c #Conflicts: 481000 | #Constraints: 21431
1628.83/1633.23 c #Conflicts: 482000 | #Constraints: 22431
1628.83/1633.23 c #Conflicts: 483000 | #Constraints: 23431
1628.83/1633.23 c #Conflicts: 484000 | #Constraints: 24431
1628.83/1633.23 c #Conflicts: 485000 | #Constraints: 25431
1628.83/1633.23 c #Conflicts: 486000 | #Constraints: 26431
1628.83/1633.23 c #Conflicts: 487000 | #Constraints: 27431
1628.83/1633.23 c #Conflicts: 488000 | #Constraints: 28431
1628.83/1633.23 c INPROCESSING
1628.83/1633.23 c GARBAGE COLLECT
1628.83/1633.23 c #Conflicts: 489000 | #Constraints: 15634
1628.83/1633.23 c #Conflicts: 490000 | #Constraints: 16634
1628.83/1633.23 c #Conflicts: 491000 | #Constraints: 17634
1628.83/1633.23 c #Conflicts: 492000 | #Constraints: 18634
1628.83/1633.23 c #Conflicts: 493000 | #Constraints: 19634
1628.83/1633.23 c #Conflicts: 494000 | #Constraints: 20634
1628.83/1633.23 c #Conflicts: 495000 | #Constraints: 21634
1628.83/1633.23 c #Conflicts: 496000 | #Constraints: 22634
1628.83/1633.23 c #Conflicts: 497000 | #Constraints: 23634
1628.83/1633.23 c #Conflicts: 498000 | #Constraints: 24634
1628.83/1633.23 c #Conflicts: 499000 | #Constraints: 25634
1628.83/1633.23 c #Conflicts: 500000 | #Constraints: 26634
1628.83/1633.23 c #Conflicts: 501000 | #Constraints: 27634
1628.83/1633.23 c #Conflicts: 502000 | #Constraints: 28634
1628.83/1633.23 c INPROCESSING
1628.83/1633.23 c GARBAGE COLLECT
1628.83/1633.23 c #Conflicts: 503000 | #Constraints: 15642
1628.83/1633.23 c #Conflicts: 504000 | #Constraints: 16642
1628.83/1633.23 c #Conflicts: 505000 | #Constraints: 17642
1628.83/1633.23 c #Conflicts: 506000 | #Constraints: 18642
1628.83/1633.23 c #Conflicts: 507000 | #Constraints: 19642
1628.83/1633.23 c #Conflicts: 508000 | #Constraints: 20642
1628.83/1633.23 c #Conflicts: 509000 | #Constraints: 21642
1628.83/1633.23 c #Conflicts: 510000 | #Constraints: 22642
1628.83/1633.23 c #Conflicts: 511000 | #Constraints: 23642
1628.83/1633.23 c #Conflicts: 512000 | #Constraints: 24642
1628.83/1633.23 c #Conflicts: 513000 | #Constraints: 25642
1784.53/1789.39 c #Conflicts: 514000 | #Constraints: 26642
1784.53/1789.39 c #Conflicts: 515000 | #Constraints: 27642
1784.53/1789.39 c #Conflicts: 516000 | #Constraints: 28642
1784.53/1789.39 c INPROCESSING
1784.53/1789.39 c GARBAGE COLLECT
1784.53/1789.39 c #Conflicts: 517000 | #Constraints: 15432
1784.53/1789.39 c #Conflicts: 518000 | #Constraints: 16432
1784.53/1789.39 c #Conflicts: 519000 | #Constraints: 17432
1784.53/1789.39 c #Conflicts: 520000 | #Constraints: 18432
1784.53/1789.39 c #Conflicts: 521000 | #Constraints: 19432
1784.53/1789.39 c #Conflicts: 522000 | #Constraints: 20432
1784.53/1789.39 c #Conflicts: 523000 | #Constraints: 21432
1784.53/1789.39 c #Conflicts: 524000 | #Constraints: 22432
1784.53/1789.39 c #Conflicts: 525000 | #Constraints: 23432
1784.53/1789.39 c #Conflicts: 526000 | #Constraints: 24432
1784.53/1789.39 c #Conflicts: 527000 | #Constraints: 25432
1784.53/1789.39 c #Conflicts: 528000 | #Constraints: 26432
1784.53/1789.39 c #Conflicts: 529000 | #Constraints: 27432
1784.53/1789.39 c #Conflicts: 530000 | #Constraints: 28432
1784.53/1789.39 c #Conflicts: 531000 | #Constraints: 29432
1784.53/1789.39 c INPROCESSING
1784.53/1789.39 c GARBAGE COLLECT
1784.53/1789.39 c #Conflicts: 532000 | #Constraints: 16029
1784.53/1789.39 c #Conflicts: 533000 | #Constraints: 17029
1784.53/1789.39 c #Conflicts: 534000 | #Constraints: 18029
1784.53/1789.39 c #Conflicts: 535000 | #Constraints: 19029
1784.53/1789.39 c #Conflicts: 536000 | #Constraints: 20029
1784.53/1789.39 c #Conflicts: 537000 | #Constraints: 21029
1784.53/1789.39 c #Conflicts: 538000 | #Constraints: 22029
1784.53/1789.39 c #Conflicts: 539000 | #Constraints: 23029
1784.53/1789.39 c #Conflicts: 540000 | #Constraints: 24029
1784.53/1789.39 c #Conflicts: 541000 | #Constraints: 25029
1784.53/1789.39 c #Conflicts: 542000 | #Constraints: 26029
1784.53/1789.39 c #Conflicts: 543000 | #Constraints: 27029
1784.53/1789.39 c #Conflicts: 544000 | #Constraints: 28029
1784.53/1789.39 c #Conflicts: 545000 | #Constraints: 29029
1784.53/1789.39 c #Conflicts: 546000 | #Constraints: 30029
1784.53/1789.39 c INPROCESSING
1784.53/1789.39 c GARBAGE COLLECT
1784.53/1789.39 c #Conflicts: 547000 | #Constraints: 16425
1784.53/1789.39 c #Conflicts: 548000 | #Constraints: 17425
1784.53/1789.39 c #Conflicts: 549000 | #Constraints: 18425
1784.53/1789.39 c #Conflicts: 550000 | #Constraints: 19425
1784.53/1789.39 c #Conflicts: 551000 | #Constraints: 20425
1784.53/1789.39 c #Conflicts: 552000 | #Constraints: 21425
1784.53/1789.39 c #Conflicts: 553000 | #Constraints: 22425
1784.53/1789.39 c #Conflicts: 554000 | #Constraints: 23425
1784.53/1789.39 c #Conflicts: 555000 | #Constraints: 24425
1784.53/1789.39 c #Conflicts: 556000 | #Constraints: 25425
1784.53/1789.39 c #Conflicts: 557000 | #Constraints: 26425
1784.53/1789.39 c #Conflicts: 558000 | #Constraints: 27425
1784.53/1789.39 c #Conflicts: 559000 | #Constraints: 28425
1784.53/1789.39 c #Conflicts: 560000 | #Constraints: 29425
1784.53/1789.39 c #Conflicts: 561000 | #Constraints: 30425
1784.53/1789.39 c INPROCESSING
1784.53/1789.39 c GARBAGE COLLECT
1784.53/1789.39 c #Conflicts: 562000 | #Constraints: 16631
1784.53/1789.39 c #Conflicts: 563000 | #Constraints: 17631
1784.53/1789.39 c #Conflicts: 564000 | #Constraints: 18631
1784.53/1789.39 c #Conflicts: 565000 | #Constraints: 19631
1784.53/1789.39 c #Conflicts: 566000 | #Constraints: 20631
1784.53/1789.39 c #Conflicts: 567000 | #Constraints: 21631
1784.53/1789.39 c #Conflicts: 568000 | #Constraints: 22631
1784.53/1789.39 c #Conflicts: 569000 | #Constraints: 23631
1784.53/1789.39 c #Conflicts: 570000 | #Constraints: 24631
1784.53/1789.39 c #Conflicts: 571000 | #Constraints: 25631
1784.53/1789.39 c #Conflicts: 572000 | #Constraints: 26631
1784.53/1789.39 c #Conflicts: 573000 | #Constraints: 27631
1784.53/1789.39 c #Conflicts: 574000 | #Constraints: 28631
1784.53/1789.39 c #Conflicts: 575000 | #Constraints: 29631
1784.53/1789.39 c #Conflicts: 576000 | #Constraints: 30631
1784.53/1789.39 c INPROCESSING
1784.53/1789.39 c GARBAGE COLLECT
1784.53/1789.39 c #Conflicts: 577000 | #Constraints: 16633
1784.53/1789.39 c #Conflicts: 578000 | #Constraints: 17633
1784.53/1789.39 c #Conflicts: 579000 | #Constraints: 18633
1784.53/1789.39 c #Conflicts: 580000 | #Constraints: 19633
1784.53/1789.39 c #Conflicts: 581000 | #Constraints: 20633
1784.53/1789.39 c #Conflicts: 582000 | #Constraints: 21633
1784.53/1789.39 c #Conflicts: 583000 | #Constraints: 22633
1784.53/1789.39 c #Conflicts: 584000 | #Constraints: 23633
1784.53/1789.39 c #Conflicts: 585000 | #Constraints: 24633
1784.53/1789.39 c #Conflicts: 586000 | #Constraints: 25633
1784.53/1789.39 c #Conflicts: 587000 | #Constraints: 26633
1784.53/1789.39 c #Conflicts: 588000 | #Constraints: 27633
1942.02/1947.26 c #Conflicts: 589000 | #Constraints: 28633
1942.02/1947.26 c #Conflicts: 590000 | #Constraints: 29633
1942.02/1947.26 c #Conflicts: 591000 | #Constraints: 30633
1942.02/1947.26 c INPROCESSING
1942.02/1947.26 c GARBAGE COLLECT
1942.02/1947.26 c #Conflicts: 592000 | #Constraints: 16429
1942.02/1947.26 c #Conflicts: 593000 | #Constraints: 17429
1942.02/1947.26 c #Conflicts: 594000 | #Constraints: 18429
1942.02/1947.26 c #Conflicts: 595000 | #Constraints: 19429
1942.02/1947.26 c #Conflicts: 596000 | #Constraints: 20429
1942.02/1947.26 c #Conflicts: 597000 | #Constraints: 21429
1942.02/1947.26 c #Conflicts: 598000 | #Constraints: 22429
1942.02/1947.26 c #Conflicts: 599000 | #Constraints: 23429
1942.02/1947.26 c #Conflicts: 600000 | #Constraints: 24429
1942.02/1947.26 c #Conflicts: 601000 | #Constraints: 25429
1942.02/1947.26 c #Conflicts: 602000 | #Constraints: 26429
1942.02/1947.26 c #Conflicts: 603000 | #Constraints: 27429
1942.02/1947.26 c #Conflicts: 604000 | #Constraints: 28429
1942.02/1947.26 c #Conflicts: 605000 | #Constraints: 29429
1942.02/1947.26 c #Conflicts: 606000 | #Constraints: 30429
1942.02/1947.26 c #Conflicts: 607000 | #Constraints: 31429
1942.02/1947.26 c INPROCESSING
1942.02/1947.26 c GARBAGE COLLECT
1942.02/1947.26 c #Conflicts: 608000 | #Constraints: 17038
1942.02/1947.26 c #Conflicts: 609000 | #Constraints: 18038
1942.02/1947.26 c #Conflicts: 610000 | #Constraints: 19038
1942.02/1947.26 c #Conflicts: 611000 | #Constraints: 20038
1942.02/1947.26 c #Conflicts: 612000 | #Constraints: 21038
1942.02/1947.26 c #Conflicts: 613000 | #Constraints: 22038
1942.02/1947.26 c #Conflicts: 614000 | #Constraints: 23038
1942.02/1947.26 c #Conflicts: 615000 | #Constraints: 24038
1942.02/1947.26 c #Conflicts: 616000 | #Constraints: 25038
1942.02/1947.26 c #Conflicts: 617000 | #Constraints: 26038
1942.02/1947.26 c #Conflicts: 618000 | #Constraints: 27038
1942.02/1947.26 c #Conflicts: 619000 | #Constraints: 28038
1942.02/1947.26 c #Conflicts: 620000 | #Constraints: 29038
1942.02/1947.26 c #Conflicts: 621000 | #Constraints: 30038
1942.02/1947.26 c #Conflicts: 622000 | #Constraints: 31038
1942.02/1947.26 c #Conflicts: 623000 | #Constraints: 32038
1942.02/1947.26 c INPROCESSING
1942.02/1947.26 c GARBAGE COLLECT
1942.02/1947.26 c #Conflicts: 624000 | #Constraints: 17425
1942.02/1947.26 c #Conflicts: 625000 | #Constraints: 18425
1942.02/1947.26 c #Conflicts: 626000 | #Constraints: 19425
1942.02/1947.26 c #Conflicts: 627000 | #Constraints: 20425
1942.02/1947.26 c #Conflicts: 628000 | #Constraints: 21425
1942.02/1947.26 c #Conflicts: 629000 | #Constraints: 22425
1942.02/1947.26 c #Conflicts: 630000 | #Constraints: 23425
1942.02/1947.26 c #Conflicts: 631000 | #Constraints: 24425
1942.02/1947.26 c #Conflicts: 632000 | #Constraints: 25425
1942.02/1947.26 c #Conflicts: 633000 | #Constraints: 26425
1942.02/1947.26 c #Conflicts: 634000 | #Constraints: 27425
1942.02/1947.26 c #Conflicts: 635000 | #Constraints: 28425
1942.02/1947.26 c #Conflicts: 636000 | #Constraints: 29425
1942.02/1947.26 c #Conflicts: 637000 | #Constraints: 30425
1942.02/1947.26 c #Conflicts: 638000 | #Constraints: 31425
1942.02/1947.26 c #Conflicts: 639000 | #Constraints: 32425
1942.02/1947.26 c INPROCESSING
1942.02/1947.26 c GARBAGE COLLECT
1942.02/1947.26 c #Conflicts: 640000 | #Constraints: 17619
1942.02/1947.26 c #Conflicts: 641000 | #Constraints: 18619
1942.02/1947.26 c #Conflicts: 642000 | #Constraints: 19619
1942.02/1947.26 c #Conflicts: 643000 | #Constraints: 20619
1942.02/1947.26 c #Conflicts: 644000 | #Constraints: 21619
1942.02/1947.26 c #Conflicts: 645000 | #Constraints: 22619
1942.02/1947.26 c #Conflicts: 646000 | #Constraints: 23619
1942.02/1947.26 c #Conflicts: 647000 | #Constraints: 24619
1942.02/1947.26 c #Conflicts: 648000 | #Constraints: 25619
1942.02/1947.26 c #Conflicts: 649000 | #Constraints: 26619
1942.02/1947.26 c #Conflicts: 650000 | #Constraints: 27619
1942.02/1947.26 c #Conflicts: 651000 | #Constraints: 28619
1942.02/1947.26 c #Conflicts: 652000 | #Constraints: 29619
1942.02/1947.26 c #Conflicts: 653000 | #Constraints: 30619
1942.02/1947.26 c #Conflicts: 654000 | #Constraints: 31619
1942.02/1947.26 c #Conflicts: 655000 | #Constraints: 32619
1942.02/1947.26 c INPROCESSING
1942.02/1947.26 c GARBAGE COLLECT
1942.02/1947.26 c #Conflicts: 656000 | #Constraints: 17627
1942.02/1947.26 c #Conflicts: 657000 | #Constraints: 18627
1942.02/1947.26 c #Conflicts: 658000 | #Constraints: 19627
1942.02/1947.26 c #Conflicts: 659000 | #Constraints: 20627
1942.02/1947.26 c #Conflicts: 660000 | #Constraints: 21627
1942.02/1947.26 c #Conflicts: 661000 | #Constraints: 22627
1942.02/1947.26 c #Conflicts: 662000 | #Constraints: 23627
1942.02/1947.26 c #Conflicts: 663000 | #Constraints: 24627
1942.02/1947.26 c #Conflicts: 664000 | #Constraints: 25627
2254.69/2260.76 c #Conflicts: 665000 | #Constraints: 26627
2254.69/2260.76 c #Conflicts: 666000 | #Constraints: 27627
2254.69/2260.76 c #Conflicts: 667000 | #Constraints: 28627
2254.69/2260.76 c #Conflicts: 668000 | #Constraints: 29627
2254.69/2260.76 c #Conflicts: 669000 | #Constraints: 30627
2254.69/2260.76 c #Conflicts: 670000 | #Constraints: 31627
2254.69/2260.76 c #Conflicts: 671000 | #Constraints: 32627
2254.69/2260.76 c INPROCESSING
2254.69/2260.76 c GARBAGE COLLECT
2254.69/2260.76 c #Conflicts: 672000 | #Constraints: 17422
2254.69/2260.76 c #Conflicts: 673000 | #Constraints: 18422
2254.69/2260.76 c #Conflicts: 674000 | #Constraints: 19422
2254.69/2260.76 c #Conflicts: 675000 | #Constraints: 20422
2254.69/2260.76 c #Conflicts: 676000 | #Constraints: 21422
2254.69/2260.76 c #Conflicts: 677000 | #Constraints: 22422
2254.69/2260.76 c #Conflicts: 678000 | #Constraints: 23422
2254.69/2260.76 c #Conflicts: 679000 | #Constraints: 24422
2254.69/2260.76 c #Conflicts: 680000 | #Constraints: 25422
2254.69/2260.76 c #Conflicts: 681000 | #Constraints: 26422
2254.69/2260.76 c #Conflicts: 682000 | #Constraints: 27422
2254.69/2260.76 c #Conflicts: 683000 | #Constraints: 28422
2254.69/2260.76 c #Conflicts: 684000 | #Constraints: 29422
2254.69/2260.76 c #Conflicts: 685000 | #Constraints: 30422
2254.69/2260.76 c #Conflicts: 686000 | #Constraints: 31422
2254.69/2260.76 c #Conflicts: 687000 | #Constraints: 32422
2254.69/2260.76 c #Conflicts: 688000 | #Constraints: 33422
2254.69/2260.76 c INPROCESSING
2254.69/2260.76 c GARBAGE COLLECT
2254.69/2260.76 c #Conflicts: 689000 | #Constraints: 18016
2254.69/2260.76 c #Conflicts: 690000 | #Constraints: 19016
2254.69/2260.76 c #Conflicts: 691000 | #Constraints: 20016
2254.69/2260.76 c #Conflicts: 692000 | #Constraints: 21016
2254.69/2260.76 c #Conflicts: 693000 | #Constraints: 22016
2254.69/2260.76 c #Conflicts: 694000 | #Constraints: 23016
2254.69/2260.76 c #Conflicts: 695000 | #Constraints: 24016
2254.69/2260.76 c #Conflicts: 696000 | #Constraints: 25016
2254.69/2260.76 c #Conflicts: 697000 | #Constraints: 26016
2254.69/2260.76 c #Conflicts: 698000 | #Constraints: 27016
2254.69/2260.76 c #Conflicts: 699000 | #Constraints: 28016
2254.69/2260.76 c #Conflicts: 700000 | #Constraints: 29016
2254.69/2260.76 c #Conflicts: 701000 | #Constraints: 30016
2254.69/2260.76 c #Conflicts: 702000 | #Constraints: 31016
2254.69/2260.76 c #Conflicts: 703000 | #Constraints: 32016
2254.69/2260.76 c #Conflicts: 704000 | #Constraints: 33016
2254.69/2260.76 c #Conflicts: 705000 | #Constraints: 34016
2254.69/2260.76 c INPROCESSING
2254.69/2260.76 c GARBAGE COLLECT
2254.69/2260.76 c #Conflicts: 706000 | #Constraints: 18422
2254.69/2260.76 c #Conflicts: 707000 | #Constraints: 19422
2254.69/2260.76 c #Conflicts: 708000 | #Constraints: 20422
2254.69/2260.76 c #Conflicts: 709000 | #Constraints: 21422
2254.69/2260.76 c #Conflicts: 710000 | #Constraints: 22422
2254.69/2260.76 c #Conflicts: 711000 | #Constraints: 23422
2254.69/2260.76 c #Conflicts: 712000 | #Constraints: 24422
2254.69/2260.76 c #Conflicts: 713000 | #Constraints: 25422
2254.69/2260.76 c #Conflicts: 714000 | #Constraints: 26422
2254.69/2260.76 c #Conflicts: 715000 | #Constraints: 27422
2254.69/2260.76 c #Conflicts: 716000 | #Constraints: 28422
2254.69/2260.76 c #Conflicts: 717000 | #Constraints: 29422
2254.69/2260.76 c #Conflicts: 718000 | #Constraints: 30422
2254.69/2260.76 c #Conflicts: 719000 | #Constraints: 31422
2254.69/2260.76 c #Conflicts: 720000 | #Constraints: 32422
2254.69/2260.76 c #Conflicts: 721000 | #Constraints: 33422
2254.69/2260.76 c #Conflicts: 722000 | #Constraints: 34422
2254.69/2260.76 c INPROCESSING
2254.69/2260.76 c GARBAGE COLLECT
2254.69/2260.76 c #Conflicts: 723000 | #Constraints: 18633
2254.69/2260.76 c #Conflicts: 724000 | #Constraints: 19633
2254.69/2260.76 c #Conflicts: 725000 | #Constraints: 20633
2254.69/2260.76 c #Conflicts: 726000 | #Constraints: 21633
2254.69/2260.76 c #Conflicts: 727000 | #Constraints: 22633
2254.69/2260.76 c #Conflicts: 728000 | #Constraints: 23633
2254.69/2260.76 c #Conflicts: 729000 | #Constraints: 24633
2254.69/2260.76 c #Conflicts: 730000 | #Constraints: 25633
2254.69/2260.76 c #Conflicts: 731000 | #Constraints: 26633
2254.69/2260.76 c #Conflicts: 732000 | #Constraints: 27633
2254.69/2260.76 c #Conflicts: 733000 | #Constraints: 28633
2254.69/2260.76 c #Conflicts: 734000 | #Constraints: 29633
2254.69/2260.76 c #Conflicts: 735000 | #Constraints: 30633
2254.69/2260.76 c #Conflicts: 736000 | #Constraints: 31633
2254.69/2260.76 c #Conflicts: 737000 | #Constraints: 32633
2254.69/2260.76 c #Conflicts: 738000 | #Constraints: 33633
2254.69/2260.76 c #Conflicts: 739000 | #Constraints: 34633
2254.69/2260.76 c INPROCESSING
2254.69/2260.76 c GARBAGE COLLECT
2466.33/2472.91 c #Conflicts: 740000 | #Constraints: 18639
2466.33/2472.91 c #Conflicts: 741000 | #Constraints: 19639
2466.33/2472.91 c #Conflicts: 742000 | #Constraints: 20639
2466.33/2472.91 c #Conflicts: 743000 | #Constraints: 21639
2466.33/2472.91 c #Conflicts: 744000 | #Constraints: 22639
2466.33/2472.91 c #Conflicts: 745000 | #Constraints: 23639
2466.33/2472.91 c #Conflicts: 746000 | #Constraints: 24639
2466.33/2472.91 c #Conflicts: 747000 | #Constraints: 25639
2466.33/2472.91 c #Conflicts: 748000 | #Constraints: 26639
2466.33/2472.91 c #Conflicts: 749000 | #Constraints: 27639
2466.33/2472.91 c #Conflicts: 750000 | #Constraints: 28639
2466.33/2472.91 c #Conflicts: 751000 | #Constraints: 29639
2466.33/2472.91 c #Conflicts: 752000 | #Constraints: 30639
2466.33/2472.91 c #Conflicts: 753000 | #Constraints: 31639
2466.33/2472.91 c #Conflicts: 754000 | #Constraints: 32639
2466.33/2472.91 c #Conflicts: 755000 | #Constraints: 33639
2466.33/2472.91 c #Conflicts: 756000 | #Constraints: 34639
2466.33/2472.91 c INPROCESSING
2466.33/2472.91 c GARBAGE COLLECT
2466.33/2472.91 c #Conflicts: 757000 | #Constraints: 18431
2466.33/2472.91 c #Conflicts: 758000 | #Constraints: 19431
2466.33/2472.91 c #Conflicts: 759000 | #Constraints: 20431
2466.33/2472.91 c #Conflicts: 760000 | #Constraints: 21431
2466.33/2472.91 c #Conflicts: 761000 | #Constraints: 22431
2466.33/2472.91 c #Conflicts: 762000 | #Constraints: 23431
2466.33/2472.91 c #Conflicts: 763000 | #Constraints: 24431
2466.33/2472.91 c #Conflicts: 764000 | #Constraints: 25431
2466.33/2472.91 c #Conflicts: 765000 | #Constraints: 26431
2466.33/2472.91 c #Conflicts: 766000 | #Constraints: 27431
2466.33/2472.91 c #Conflicts: 767000 | #Constraints: 28431
2466.33/2472.91 c #Conflicts: 768000 | #Constraints: 29431
2466.33/2472.91 c #Conflicts: 769000 | #Constraints: 30431
2466.33/2472.91 c #Conflicts: 770000 | #Constraints: 31431
2466.33/2472.91 c #Conflicts: 771000 | #Constraints: 32431
2466.33/2472.91 c #Conflicts: 772000 | #Constraints: 33431
2466.33/2472.91 c #Conflicts: 773000 | #Constraints: 34431
2466.33/2472.91 c #Conflicts: 774000 | #Constraints: 35431
2466.33/2472.91 c INPROCESSING
2466.33/2472.91 c GARBAGE COLLECT
2466.33/2472.91 c #Conflicts: 775000 | #Constraints: 19031
2466.33/2472.91 c #Conflicts: 776000 | #Constraints: 20031
2466.33/2472.91 c #Conflicts: 777000 | #Constraints: 21031
2466.33/2472.91 c #Conflicts: 778000 | #Constraints: 22031
2466.33/2472.91 c #Conflicts: 779000 | #Constraints: 23031
2466.33/2472.91 c #Conflicts: 780000 | #Constraints: 24031
2466.33/2472.91 c #Conflicts: 781000 | #Constraints: 25031
2466.33/2472.91 c #Conflicts: 782000 | #Constraints: 26031
2466.33/2472.91 c #Conflicts: 783000 | #Constraints: 27031
2466.33/2472.91 c #Conflicts: 784000 | #Constraints: 28031
2466.33/2472.91 c #Conflicts: 785000 | #Constraints: 29031
2466.33/2472.91 c #Conflicts: 786000 | #Constraints: 30031
2466.33/2472.91 c #Conflicts: 787000 | #Constraints: 31031
2466.33/2472.91 c #Conflicts: 788000 | #Constraints: 32031
2466.33/2472.91 c #Conflicts: 789000 | #Constraints: 33031
2466.33/2472.91 c #Conflicts: 790000 | #Constraints: 34031
2466.33/2472.91 c #Conflicts: 791000 | #Constraints: 35031
2466.33/2472.91 c #Conflicts: 792000 | #Constraints: 36031
2466.33/2472.91 c INPROCESSING
2466.33/2472.91 c GARBAGE COLLECT
2466.33/2472.91 c #Conflicts: 793000 | #Constraints: 19424
2466.33/2472.91 c #Conflicts: 794000 | #Constraints: 20424
2466.33/2472.91 c #Conflicts: 795000 | #Constraints: 21424
2466.33/2472.91 c #Conflicts: 796000 | #Constraints: 22424
2466.33/2472.91 c #Conflicts: 797000 | #Constraints: 23424
2466.33/2472.91 c #Conflicts: 798000 | #Constraints: 24424
2466.33/2472.91 c #Conflicts: 799000 | #Constraints: 25424
2466.33/2472.91 c #Conflicts: 800000 | #Constraints: 26424
2466.33/2472.91 c #Conflicts: 801000 | #Constraints: 27424
2466.33/2472.91 c #Conflicts: 802000 | #Constraints: 28424
2466.33/2472.91 c #Conflicts: 803000 | #Constraints: 29424
2466.33/2472.91 c #Conflicts: 804000 | #Constraints: 30424
2466.33/2472.91 c #Conflicts: 805000 | #Constraints: 31424
2466.33/2472.91 c #Conflicts: 806000 | #Constraints: 32424
2466.33/2472.91 c #Conflicts: 807000 | #Constraints: 33424
2466.33/2472.91 c #Conflicts: 808000 | #Constraints: 34424
2466.33/2472.91 c #Conflicts: 809000 | #Constraints: 35424
2466.33/2472.91 c #Conflicts: 810000 | #Constraints: 36424
2466.33/2472.91 c INPROCESSING
2466.33/2472.91 c GARBAGE COLLECT
2466.33/2472.91 c #Conflicts: 811000 | #Constraints: 19621
2466.33/2472.91 c #Conflicts: 812000 | #Constraints: 20621
2466.33/2472.91 c #Conflicts: 813000 | #Constraints: 21621
2466.33/2472.91 c #Conflicts: 814000 | #Constraints: 22621
2466.33/2472.91 c #Conflicts: 815000 | #Constraints: 23621
2466.33/2472.91 c #Conflicts: 816000 | #Constraints: 24621
2659.43/2666.58 c #Conflicts: 817000 | #Constraints: 25621
2659.43/2666.58 c #Conflicts: 818000 | #Constraints: 26621
2659.43/2666.58 c #Conflicts: 819000 | #Constraints: 27621
2659.43/2666.58 c #Conflicts: 820000 | #Constraints: 28621
2659.43/2666.58 c #Conflicts: 821000 | #Constraints: 29621
2659.43/2666.58 c #Conflicts: 822000 | #Constraints: 30621
2659.43/2666.58 c #Conflicts: 823000 | #Constraints: 31621
2659.43/2666.58 c #Conflicts: 824000 | #Constraints: 32621
2659.43/2666.58 c #Conflicts: 825000 | #Constraints: 33621
2659.43/2666.58 c #Conflicts: 826000 | #Constraints: 34621
2659.43/2666.58 c #Conflicts: 827000 | #Constraints: 35621
2659.43/2666.58 c #Conflicts: 828000 | #Constraints: 36621
2659.43/2666.58 c INPROCESSING
2659.43/2666.58 c GARBAGE COLLECT
2659.43/2666.58 c #Conflicts: 829000 | #Constraints: 19628
2659.43/2666.58 c #Conflicts: 830000 | #Constraints: 20628
2659.43/2666.58 c #Conflicts: 831000 | #Constraints: 21628
2659.43/2666.58 c #Conflicts: 832000 | #Constraints: 22628
2659.43/2666.58 c #Conflicts: 833000 | #Constraints: 23628
2659.43/2666.58 c #Conflicts: 834000 | #Constraints: 24628
2659.43/2666.58 c #Conflicts: 835000 | #Constraints: 25628
2659.43/2666.58 c #Conflicts: 836000 | #Constraints: 26628
2659.43/2666.58 c #Conflicts: 837000 | #Constraints: 27628
2659.43/2666.58 c #Conflicts: 838000 | #Constraints: 28628
2659.43/2666.58 c #Conflicts: 839000 | #Constraints: 29628
2659.43/2666.58 c #Conflicts: 840000 | #Constraints: 30628
2659.43/2666.58 c #Conflicts: 841000 | #Constraints: 31628
2659.43/2666.58 c #Conflicts: 842000 | #Constraints: 32628
2659.43/2666.58 c #Conflicts: 843000 | #Constraints: 33628
2659.43/2666.58 c #Conflicts: 844000 | #Constraints: 34628
2659.43/2666.58 c #Conflicts: 845000 | #Constraints: 35628
2659.43/2666.58 c #Conflicts: 846000 | #Constraints: 36628
2659.43/2666.58 c INPROCESSING
2659.43/2666.58 c GARBAGE COLLECT
2659.43/2666.58 c #Conflicts: 847000 | #Constraints: 19425
2659.43/2666.58 c #Conflicts: 848000 | #Constraints: 20425
2659.43/2666.58 c #Conflicts: 849000 | #Constraints: 21425
2659.43/2666.58 c #Conflicts: 850000 | #Constraints: 22425
2659.43/2666.58 c #Conflicts: 851000 | #Constraints: 23425
2659.43/2666.58 c #Conflicts: 852000 | #Constraints: 24425
2659.43/2666.58 c #Conflicts: 853000 | #Constraints: 25425
2659.43/2666.58 c #Conflicts: 854000 | #Constraints: 26425
2659.43/2666.58 c #Conflicts: 855000 | #Constraints: 27425
2659.43/2666.58 c #Conflicts: 856000 | #Constraints: 28425
2659.43/2666.58 c #Conflicts: 857000 | #Constraints: 29425
2659.43/2666.58 c #Conflicts: 858000 | #Constraints: 30425
2659.43/2666.58 c #Conflicts: 859000 | #Constraints: 31425
2659.43/2666.58 c #Conflicts: 860000 | #Constraints: 32425
2659.43/2666.58 c #Conflicts: 861000 | #Constraints: 33425
2659.43/2666.58 c #Conflicts: 862000 | #Constraints: 34425
2659.43/2666.58 c #Conflicts: 863000 | #Constraints: 35425
2659.43/2666.58 c #Conflicts: 864000 | #Constraints: 36425
2659.43/2666.58 c #Conflicts: 865000 | #Constraints: 37425
2659.43/2666.58 c INPROCESSING
2659.43/2666.58 c GARBAGE COLLECT
2659.43/2666.58 c #Conflicts: 866000 | #Constraints: 20021
2659.43/2666.58 c #Conflicts: 867000 | #Constraints: 21021
2659.43/2666.58 c #Conflicts: 868000 | #Constraints: 22021
2659.43/2666.58 c #Conflicts: 869000 | #Constraints: 23021
2659.43/2666.58 c #Conflicts: 870000 | #Constraints: 24021
2659.43/2666.58 c #Conflicts: 871000 | #Constraints: 25021
2659.43/2666.58 c #Conflicts: 872000 | #Constraints: 26021
2659.43/2666.58 c #Conflicts: 873000 | #Constraints: 27021
2659.43/2666.58 c #Conflicts: 874000 | #Constraints: 28021
2659.43/2666.58 c #Conflicts: 875000 | #Constraints: 29021
2659.43/2666.58 c #Conflicts: 876000 | #Constraints: 30021
2659.43/2666.58 c #Conflicts: 877000 | #Constraints: 31021
2659.43/2666.58 c #Conflicts: 878000 | #Constraints: 32021
2659.43/2666.58 c #Conflicts: 879000 | #Constraints: 33021
2659.43/2666.58 c #Conflicts: 880000 | #Constraints: 34021
2659.43/2666.58 c #Conflicts: 881000 | #Constraints: 35021
2659.43/2666.58 c #Conflicts: 882000 | #Constraints: 36021
2659.43/2666.58 c #Conflicts: 883000 | #Constraints: 37021
2659.43/2666.58 c #Conflicts: 884000 | #Constraints: 38021
2659.43/2666.58 c INPROCESSING
2659.43/2666.58 c GARBAGE COLLECT
2659.43/2666.58 c #Conflicts: 885000 | #Constraints: 20421
2659.43/2666.58 c #Conflicts: 886000 | #Constraints: 21421
2659.43/2666.58 c #Conflicts: 887000 | #Constraints: 22421
2659.43/2666.58 c #Conflicts: 888000 | #Constraints: 23421
2659.43/2666.58 c #Conflicts: 889000 | #Constraints: 24421
2659.43/2666.58 c #Conflicts: 890000 | #Constraints: 25421
2659.43/2666.58 c #Conflicts: 891000 | #Constraints: 26421
2659.43/2666.58 c #Conflicts: 892000 | #Constraints: 27421
2904.98/2912.79 c #Conflicts: 893000 | #Constraints: 28421
2904.98/2912.79 c #Conflicts: 894000 | #Constraints: 29421
2904.98/2912.79 c #Conflicts: 895000 | #Constraints: 30421
2904.98/2912.79 c #Conflicts: 896000 | #Constraints: 31421
2904.98/2912.79 c #Conflicts: 897000 | #Constraints: 32421
2904.98/2912.79 c #Conflicts: 898000 | #Constraints: 33421
2904.98/2912.79 c #Conflicts: 899000 | #Constraints: 34421
2904.98/2912.79 c #Conflicts: 900000 | #Constraints: 35421
2904.98/2912.79 c #Conflicts: 901000 | #Constraints: 36421
2904.98/2912.79 c #Conflicts: 902000 | #Constraints: 37421
2904.98/2912.79 c #Conflicts: 903000 | #Constraints: 38421
2904.98/2912.79 c INPROCESSING
2904.98/2912.79 c GARBAGE COLLECT
2904.98/2912.79 c #Conflicts: 904000 | #Constraints: 20615
2904.98/2912.79 c #Conflicts: 905000 | #Constraints: 21615
2904.98/2912.79 c #Conflicts: 906000 | #Constraints: 22615
2904.98/2912.79 c #Conflicts: 907000 | #Constraints: 23615
2904.98/2912.79 c #Conflicts: 908000 | #Constraints: 24615
2904.98/2912.79 c #Conflicts: 909000 | #Constraints: 25615
2904.98/2912.79 c #Conflicts: 910000 | #Constraints: 26615
2904.98/2912.79 c #Conflicts: 911000 | #Constraints: 27615
2904.98/2912.79 c #Conflicts: 912000 | #Constraints: 28615
2904.98/2912.79 c #Conflicts: 913000 | #Constraints: 29615
2904.98/2912.79 c #Conflicts: 914000 | #Constraints: 30615
2904.98/2912.79 c #Conflicts: 915000 | #Constraints: 31615
2904.98/2912.79 c #Conflicts: 916000 | #Constraints: 32615
2904.98/2912.79 c #Conflicts: 917000 | #Constraints: 33615
2904.98/2912.79 c #Conflicts: 918000 | #Constraints: 34615
2904.98/2912.79 c #Conflicts: 919000 | #Constraints: 35615
2904.98/2912.79 c #Conflicts: 920000 | #Constraints: 36615
2904.98/2912.79 c #Conflicts: 921000 | #Constraints: 37615
2904.98/2912.79 c #Conflicts: 922000 | #Constraints: 38615
2904.98/2912.79 c INPROCESSING
2904.98/2912.79 c GARBAGE COLLECT
2904.98/2912.79 c #Conflicts: 923000 | #Constraints: 20614
2904.98/2912.79 c #Conflicts: 924000 | #Constraints: 21614
2904.98/2912.79 c #Conflicts: 925000 | #Constraints: 22614
2904.98/2912.79 c #Conflicts: 926000 | #Constraints: 23614
2904.98/2912.79 c #Conflicts: 927000 | #Constraints: 24614
2904.98/2912.79 c #Conflicts: 928000 | #Constraints: 25614
2904.98/2912.79 c #Conflicts: 929000 | #Constraints: 26614
2904.98/2912.79 c #Conflicts: 930000 | #Constraints: 27614
2904.98/2912.79 c #Conflicts: 931000 | #Constraints: 28614
2904.98/2912.79 c #Conflicts: 932000 | #Constraints: 29614
2904.98/2912.79 c #Conflicts: 933000 | #Constraints: 30614
2904.98/2912.79 c #Conflicts: 934000 | #Constraints: 31614
2904.98/2912.79 c #Conflicts: 935000 | #Constraints: 32614
2904.98/2912.79 c #Conflicts: 936000 | #Constraints: 33614
2904.98/2912.79 c #Conflicts: 937000 | #Constraints: 34614
2904.98/2912.79 c #Conflicts: 938000 | #Constraints: 35614
2904.98/2912.79 c #Conflicts: 939000 | #Constraints: 36614
2904.98/2912.79 c #Conflicts: 940000 | #Constraints: 37614
2904.98/2912.79 c #Conflicts: 941000 | #Constraints: 38614
2904.98/2912.79 c INPROCESSING
2904.98/2912.79 c GARBAGE COLLECT
2904.98/2912.79 c #Conflicts: 942000 | #Constraints: 20433
2904.98/2912.79 c #Conflicts: 943000 | #Constraints: 21433
2904.98/2912.79 c #Conflicts: 944000 | #Constraints: 22433
2904.98/2912.79 c #Conflicts: 945000 | #Constraints: 23433
2904.98/2912.79 c #Conflicts: 946000 | #Constraints: 24433
2904.98/2912.79 c #Conflicts: 947000 | #Constraints: 25433
2904.98/2912.79 c #Conflicts: 948000 | #Constraints: 26433
2904.98/2912.79 c #Conflicts: 949000 | #Constraints: 27433
2904.98/2912.79 c #Conflicts: 950000 | #Constraints: 28433
2904.98/2912.79 c #Conflicts: 951000 | #Constraints: 29433
2904.98/2912.79 c #Conflicts: 952000 | #Constraints: 30433
2904.98/2912.79 c #Conflicts: 953000 | #Constraints: 31433
2904.98/2912.79 c #Conflicts: 954000 | #Constraints: 32433
2904.98/2912.79 c #Conflicts: 955000 | #Constraints: 33433
2904.98/2912.79 c #Conflicts: 956000 | #Constraints: 34433
2904.98/2912.79 c #Conflicts: 957000 | #Constraints: 35433
2904.98/2912.79 c #Conflicts: 958000 | #Constraints: 36433
2904.98/2912.79 c #Conflicts: 959000 | #Constraints: 37433
2904.98/2912.79 c #Conflicts: 960000 | #Constraints: 38433
2904.98/2912.79 c #Conflicts: 961000 | #Constraints: 39433
2904.98/2912.79 c INPROCESSING
2904.98/2912.79 c GARBAGE COLLECT
2904.98/2912.79 c #Conflicts: 962000 | #Constraints: 21046
2904.98/2912.79 c #Conflicts: 963000 | #Constraints: 22046
2904.98/2912.79 c #Conflicts: 964000 | #Constraints: 23046
2904.98/2912.79 c #Conflicts: 965000 | #Constraints: 24046
2904.98/2912.79 c #Conflicts: 966000 | #Constraints: 25046
2904.98/2912.79 c #Conflicts: 967000 | #Constraints: 26046
2904.98/2912.79 c #Conflicts: 968000 | #Constraints: 27046
3470.36/3479.69 c #Conflicts: 969000 | #Constraints: 28046
3470.36/3479.69 c #Conflicts: 970000 | #Constraints: 29046
3470.36/3479.69 c #Conflicts: 971000 | #Constraints: 30046
3470.36/3479.69 c #Conflicts: 972000 | #Constraints: 31046
3470.36/3479.69 c #Conflicts: 973000 | #Constraints: 32046
3470.36/3479.69 c #Conflicts: 974000 | #Constraints: 33046
3470.36/3479.69 c #Conflicts: 975000 | #Constraints: 34046
3470.36/3479.69 c #Conflicts: 976000 | #Constraints: 35046
3470.36/3479.69 c #Conflicts: 977000 | #Constraints: 36046
3470.36/3479.69 c #Conflicts: 978000 | #Constraints: 37046
3470.36/3479.69 c #Conflicts: 979000 | #Constraints: 38046
3470.36/3479.69 c #Conflicts: 980000 | #Constraints: 39046
3470.36/3479.69 c #Conflicts: 981000 | #Constraints: 40046
3470.36/3479.69 c INPROCESSING
3470.36/3479.69 c GARBAGE COLLECT
3470.36/3479.69 c #Conflicts: 982000 | #Constraints: 21440
3470.36/3479.69 c #Conflicts: 983000 | #Constraints: 22440
3470.36/3479.69 c #Conflicts: 984000 | #Constraints: 23440
3470.36/3479.69 c #Conflicts: 985000 | #Constraints: 24440
3470.36/3479.69 c #Conflicts: 986000 | #Constraints: 25440
3470.36/3479.69 c #Conflicts: 987000 | #Constraints: 26440
3470.36/3479.69 c #Conflicts: 988000 | #Constraints: 27440
3470.36/3479.69 c #Conflicts: 989000 | #Constraints: 28440
3470.36/3479.69 c #Conflicts: 990000 | #Constraints: 29440
3470.36/3479.69 c #Conflicts: 991000 | #Constraints: 30440
3470.36/3479.69 c #Conflicts: 992000 | #Constraints: 31440
3470.36/3479.69 c #Conflicts: 993000 | #Constraints: 32440
3470.36/3479.69 c #Conflicts: 994000 | #Constraints: 33440
3470.36/3479.69 c #Conflicts: 995000 | #Constraints: 34440
3470.36/3479.69 c #Conflicts: 996000 | #Constraints: 35440
3470.36/3479.69 c #Conflicts: 997000 | #Constraints: 36440
3470.36/3479.69 c #Conflicts: 998000 | #Constraints: 37440
3470.36/3479.69 c #Conflicts: 999000 | #Constraints: 38440
3470.36/3479.69 c #Conflicts: 1000000 | #Constraints: 39440
3470.36/3479.69 c #Conflicts: 1001000 | #Constraints: 40440
3470.36/3479.69 c INPROCESSING
3470.36/3479.69 c GARBAGE COLLECT
3470.36/3479.69 c #Conflicts: 1002000 | #Constraints: 21642
3470.36/3479.69 c #Conflicts: 1003000 | #Constraints: 22642
3470.36/3479.69 c #Conflicts: 1004000 | #Constraints: 23642
3470.36/3479.69 c #Conflicts: 1005000 | #Constraints: 24642
3470.36/3479.69 c #Conflicts: 1006000 | #Constraints: 25642
3470.36/3479.69 c #Conflicts: 1007000 | #Constraints: 26642
3470.36/3479.69 c #Conflicts: 1008000 | #Constraints: 27642
3470.36/3479.69 c #Conflicts: 1009000 | #Constraints: 28642
3470.36/3479.69 c #Conflicts: 1010000 | #Constraints: 29642
3470.36/3479.69 c #Conflicts: 1011000 | #Constraints: 30642
3470.36/3479.69 c #Conflicts: 1012000 | #Constraints: 31642
3470.36/3479.69 c #Conflicts: 1013000 | #Constraints: 32642
3470.36/3479.69 c #Conflicts: 1014000 | #Constraints: 33642
3470.36/3479.69 c #Conflicts: 1015000 | #Constraints: 34642
3470.36/3479.69 c #Conflicts: 1016000 | #Constraints: 35642
3470.36/3479.69 c #Conflicts: 1017000 | #Constraints: 36642
3470.36/3479.69 c #Conflicts: 1018000 | #Constraints: 37642
3470.36/3479.69 c #Conflicts: 1019000 | #Constraints: 38642
3470.36/3479.69 c #Conflicts: 1020000 | #Constraints: 39642
3470.36/3479.69 c #Conflicts: 1021000 | #Constraints: 40642
3470.36/3479.69 c INPROCESSING
3470.36/3479.69 c GARBAGE COLLECT
3470.36/3479.69 c #Conflicts: 1022000 | #Constraints: 21644
3470.36/3479.69 c #Conflicts: 1023000 | #Constraints: 22644
3470.36/3479.69 c #Conflicts: 1024000 | #Constraints: 23644
3470.36/3479.69 c #Conflicts: 1025000 | #Constraints: 24644
3470.36/3479.69 c #Conflicts: 1026000 | #Constraints: 25644
3470.36/3479.69 c #Conflicts: 1027000 | #Constraints: 26644
3470.36/3479.69 c #Conflicts: 1028000 | #Constraints: 27644
3470.36/3479.69 c #Conflicts: 1029000 | #Constraints: 28644
3470.36/3479.69 c #Conflicts: 1030000 | #Constraints: 29644
3470.36/3479.69 c #Conflicts: 1031000 | #Constraints: 30644
3470.36/3479.69 c #Conflicts: 1032000 | #Constraints: 31644
3470.36/3479.69 c #Conflicts: 1033000 | #Constraints: 32644
3470.36/3479.69 c #Conflicts: 1034000 | #Constraints: 33644
3470.36/3479.69 c #Conflicts: 1035000 | #Constraints: 34644
3470.36/3479.69 c #Conflicts: 1036000 | #Constraints: 35644
3470.36/3479.69 c #Conflicts: 1037000 | #Constraints: 36644
3470.36/3479.69 c #Conflicts: 1038000 | #Constraints: 37644
3470.36/3479.69 c #Conflicts: 1039000 | #Constraints: 38644
3470.36/3479.69 c #Conflicts: 1040000 | #Constraints: 39644
3470.36/3479.69 c #Conflicts: 1041000 | #Constraints: 40644
3470.36/3479.69 c INPROCESSING
3470.36/3479.69 c GARBAGE COLLECT
3470.36/3479.69 c #Conflicts: 1042000 | #Constraints: 21451
3470.36/3479.69 c #Conflicts: 1043000 | #Constraints: 22451
3470.36/3479.69 c #Conflicts: 1044000 | #Constraints: 23451
3600.00/3609.60 c #Conflicts: 1045000 | #Constraints: 24451
3600.00/3609.60 c #Conflicts: 1046000 | #Constraints: 25451
3600.00/3609.60 c #Conflicts: 1047000 | #Constraints: 26451
3600.00/3609.60 c #Conflicts: 1048000 | #Constraints: 27451
3600.00/3609.60 c #Conflicts: 1049000 | #Constraints: 28451
3600.00/3609.60 c #Conflicts: 1050000 | #Constraints: 29451
3600.00/3609.60 c #Conflicts: 1051000 | #Constraints: 30451
3600.00/3609.60 c #Conflicts: 1052000 | #Constraints: 31451
3600.00/3609.60 c #Conflicts: 1053000 | #Constraints: 32451
3600.00/3609.60 c #Conflicts: 1054000 | #Constraints: 33451
3600.00/3609.60 c #Conflicts: 1055000 | #Constraints: 34451
3600.00/3609.60 c #Conflicts: 1056000 | #Constraints: 35451
3600.00/3609.60 c #Conflicts: 1057000 | #Constraints: 36451
3600.00/3609.60 c #Conflicts: 1058000 | #Constraints: 37451
3600.00/3609.60 c #Conflicts: 1059000 | #Constraints: 38451
3600.00/3609.60 c Program interrupted by user.
3600.00/3609.60 c cpu time 3578.01 s
3600.00/3609.60 c deterministic time 623828455866 6.24e+11
3600.00/3609.60 c optimization time 137.496 s
3600.00/3609.60 c total solve time 3141.46 s
3600.00/3609.60 c core-guided solve time 0 s
3600.00/3609.60 c propagation time 2529.51 s
3600.00/3609.60 c conflict analysis time 580.643 s
3600.00/3609.60 c propagations 171802409
3600.00/3609.60 c resolve steps 5707679
3600.00/3609.60 c decisions 15566623
3600.00/3609.60 c conflicts 1059214
3600.00/3609.60 c restarts 2046
3600.00/3609.60 c inprocessing phases 93
3600.00/3609.60 c input clauses 366
3600.00/3609.60 c input cardinalities 366
3600.00/3609.60 c input general constraints 64
3600.00/3609.60 c input average constraint length 58.85
3600.00/3609.60 c input average constraint degree 11738.12
3600.00/3609.60 c learned clauses 107065
3600.00/3609.60 c learned cardinalities 1749
3600.00/3609.60 c learned general constraints 950399
3600.00/3609.60 c learned average constraint length 1603.04
3600.00/3609.60 c learned average constraint degree 24626239.36
3600.00/3609.60 c watched constraints 491171
3600.00/3609.60 c counting constraints 459292
3600.00/3609.60 c gcd simplifications 45079
3600.00/3609.60 c detected cardinalities 85
3600.00/3609.60 c weakened non-implied lits 242872466
3600.00/3609.60 c weakened non-implying lits 206965
3600.00/3609.60 c original variables 11744
3600.00/3609.60 c clausal propagations 3785247
3600.00/3609.60 c cardinality propagations 11780346
3600.00/3609.60 c watched propagations 6619890
3600.00/3609.60 c counting propagations 148422382
3600.00/3609.60 c watch lookups 30212453633
3600.00/3609.60 c watch backjump lookups 29644295924
3600.00/3609.60 c watch checks 387496140244
3600.00/3609.60 c propagation checks 171053430331
3600.00/3609.60 c constraint additions 5046349452
3600.00/3609.60 c trail pops 188417249
3600.00/3609.60 c formula constraints 796
3600.00/3609.60 c learned constraints 1059213
3600.00/3609.60 c bound constraints 0
3600.00/3609.60 c core-guided constraints 0
3600.00/3609.60 c encountered formula constraints 3852802
3600.00/3609.60 c encountered learned constraints 2914091
3600.00/3609.60 c encountered bound constraints 0
3600.00/3609.60 c encountered core-guided constraints 0
3600.00/3609.60 c LP total time 0 s
3600.00/3609.60 c LP solve time 0 s
3600.00/3609.60 c LP constraints added 0
3600.00/3609.60 c LP constraints removed 0
3600.00/3609.60 c LP pivots internal 0
3600.00/3609.60 c LP pivots root 0
3600.00/3609.60 c LP calls 0
3600.00/3609.60 c LP optimalities 0
3600.00/3609.60 c LP no pivot count 0
3600.00/3609.60 c LP infeasibilities 0
3600.00/3609.60 c LP valid Farkas constraints 0
3600.00/3609.60 c LP learned Farkas constraints 0
3600.00/3609.60 c LP basis resets 0
3600.00/3609.60 c LP cycling count 0
3600.00/3609.60 c LP singular count 0
3600.00/3609.60 c LP no primal count 0
3600.00/3609.60 c LP no farkas count 0
3600.00/3609.60 c LP other issue count 0
3600.00/3609.60 c LP Gomory cuts 0
3600.00/3609.60 c LP learned cuts 0
3600.00/3609.60 c LP deleted cuts 0
3600.00/3609.60 c LP encountered Gomory constraints 0
3600.00/3609.60 c LP encountered Farkas constraints 0
3600.00/3609.60 c LP encountered learned Farkas constraints 0
3600.00/3609.60 c CG auxiliary variables introduced 0
3600.00/3609.60 c CG solutions found 0
3600.00/3609.60 c CG cores constructed 0
3600.00/3609.60 c CG core cardinality constraints returned 0
3600.00/3609.60 c CG unit cores 0
3600.00/3609.60 c CG single cores 0
3600.00/3609.60 c CG blocks removed during cardinality reduction 0
3600.00/3609.60 c CG first core best 0
3600.00/3609.60 c CG decision core best 0
3600.00/3609.60 c CG core reduction tie 0
3600.00/3609.60 c CG core degree average 0.00
3600.00/3609.60 c CG core slack average 0.00
3600.00/3609.60 c CG exhausted 0
3600.00/3609.60 c CG exhaust time 0 s
3600.00/3609.60 c CG trimmed 0
3600.00/3609.60 c CG trim time 0 s
3600.00/3609.60 c CG minimized 0
3600.00/3609.60 c CG minimize time 0 s
3600.00/3609.60 c CG am1 prop time 0 s
3600.00/3609.60 c CG # am1s reformulated 0
3600.00/3609.60 c CG lower bound derived from am1s 0
3600.00/3609.60 c CG # clausal cores 0
3600.00/3609.60 c CG # cardinality cores 0
3600.00/3609.60 c CG # pb cores 0
3600.00/3609.60 c CG # pb reforms 0
3600.00/3609.60 c CG # cores discarded because of pb reform 0
3600.00/3609.60 d LOWERBOUND 0
3600.00/3609.60 d NCORES 0
3600.00/3609.60 d NPBCORES 0
3600.00/3609.60 d NPBREFORM 0
3600.00/3609.60 d NTRIMMED 0
3600.00/3609.60 d NEXHAUSTED 0
3600.00/3609.60 d NAM1S 0
3600.00/3609.60 d AM1LB 0
3600.00/3609.60 c [Papilo Statistics]
3600.00/3609.60 c prepro time 0.0241568s
3600.00/3609.60 c # tsx applied 430
3600.00/3609.60 c # tsx conflicts 0
3600.00/3609.60 c # bound changes 32
3600.00/3609.60 c # side changes 366
3600.00/3609.60 c # coef changes 0
3600.00/3609.60 c # rounds 3
3600.00/3609.60 c # deted vars 32
3600.00/3609.60 c # deted constrs 368
3600.00/3609.60 c # consecutive rounds of only bound changes 0
3600.00/3609.65 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (58653 MiB free)
memory of node 1: 64510 MiB (61824 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455017-1721479148/watcher-4455017-1721479148 -o /tmp/evaluation-result-4455017-1721479148/solver-4455017-1721479148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721471695-1052942 --watchdog 3760 mixed-bag HOME/instance-4455017-1721479148.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1057261, runsolver pid=1057258
[startup+0.107697 s]*
/proc/loadavg: 4.12 4.12 4.10 5/243 1057262
/proc/meminfo: memFree=123356556/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=93900 memory=19940 CPUtime=0.11 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 4088 0 0 0 9 2 0 0 20 0 1 0 200074376 96153600 4985 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 23475 4985 1895 3002 0 7224 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 93900 KiB
Current children cumulated memory: 19940 KiB
[startup+0.212964 s]*
/proc/loadavg: 4.12 4.12 4.10 5/243 1057262
/proc/meminfo: memFree=123318560/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=142084 memory=73752 CPUtime=0.21 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 17210 0 0 0 17 4 0 0 20 0 1 0 200074376 145494016 18438 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 35521 18438 3829 3002 0 19270 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 142084 KiB
Current children cumulated memory: 73752 KiB
[startup+0.312931 s]*
/proc/loadavg: 4.12 4.12 4.10 5/243 1057262
/proc/meminfo: memFree=123295928/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=185856 memory=96032 CPUtime=0.31 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 22841 0 0 0 27 4 0 0 20 0 1 0 200074376 190316544 24008 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 46464 24008 3861 3002 0 30213 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 185856 KiB
Current children cumulated memory: 96032 KiB
[startup+0.700282 s]
/proc/loadavg: 4.12 4.12 4.10 5/243 1057262
/proc/meminfo: memFree=123279996/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=197420 memory=107912 CPUtime=0.68 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 25813 0 0 0 63 5 0 0 20 0 1 0 200074376 202158080 26978 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 49355 26978 3861 3002 0 33104 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 197420 KiB
Current children cumulated memory: 107912 KiB
[startup+1.50026 s]
/proc/loadavg: 4.12 4.12 4.10 5/243 1057262
/proc/meminfo: memFree=123269840/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=304760 memory=208760 CPUtime=1.48 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 51310 0 0 0 140 8 0 0 20 0 1 0 200074376 312074240 52190 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 76190 52190 3973 3002 0 59939 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 304760 KiB
Current children cumulated memory: 208760 KiB
[startup+3.11278 s]
/proc/loadavg: 4.11 4.12 4.10 5/243 1057262
/proc/meminfo: memFree=123116008/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=366384 memory=268412 CPUtime=3.09 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 62605 0 0 0 300 9 0 0 20 0 1 0 200074376 375177216 67103 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 91596 67103 4053 3002 0 75345 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 366384 KiB
Current children cumulated memory: 268412 KiB
[startup+6.30031 s]
/proc/loadavg: 4.11 4.12 4.10 5/243 1057262
/proc/meminfo: memFree=123081504/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=400044 memory=302524 CPUtime=6.27 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 71099 0 0 0 616 11 0 0 20 0 1 0 200074376 409645056 75631 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 100011 75631 4068 3002 0 83760 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 400044 KiB
Current children cumulated memory: 302524 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.11 4.09 5/243 1057263
/proc/meminfo: memFree=123080508/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=400044 memory=302804 CPUtime=12.65 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 71155 0 0 0 1254 11 0 0 20 0 1 0 200074376 409645056 75701 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 100011 75701 4073 3002 0 83760 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 400044 KiB
Current children cumulated memory: 302804 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.13 4.10 5/243 1057265
/proc/meminfo: memFree=123064404/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=414728 memory=317816 CPUtime=25.42 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 74942 0 0 0 2529 13 0 0 20 0 1 0 200074376 424681472 79454 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 103682 79454 4073 3002 0 87431 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 414728 KiB
Current children cumulated memory: 317816 KiB
[startup+51.1127 s]
/proc/loadavg: 4.21 4.15 4.10 5/243 1057269
/proc/meminfo: memFree=122674816/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=416644 memory=319912 CPUtime=50.96 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 75470 0 0 0 5081 15 0 0 20 0 1 0 200074376 426643456 79978 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 104161 79978 4073 3002 0 87910 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 416644 KiB
Current children cumulated memory: 319912 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.15 4.11 5/244 1057282
/proc/meminfo: memFree=122727272/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=495600 memory=386388 CPUtime=102 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 92084 0 0 0 10177 23 0 0 20 0 1 0 200074376 507494400 96597 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 123900 96597 4073 3002 0 107649 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 495600 KiB
Current children cumulated memory: 386388 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/243 1057292
/proc/meminfo: memFree=122443512/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=608324 memory=478036 CPUtime=161.84 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 115632 0 0 0 16153 31 0 0 20 0 1 0 200074376 622923776 119509 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 152081 119509 4073 3002 0 135830 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 608324 KiB
Current children cumulated memory: 478036 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/244 1057305
/proc/meminfo: memFree=122153608/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=675372 memory=540380 CPUtime=221.67 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 131299 0 0 0 22132 35 0 0 20 0 1 0 200074376 691580928 135095 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 168843 135095 4073 3002 0 152592 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 675372 KiB
Current children cumulated memory: 540380 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/244 1057315
/proc/meminfo: memFree=122005240/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=675372 memory=541428 CPUtime=281.5 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 131531 0 0 0 28114 36 0 0 20 0 1 0 200074376 691580928 135357 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 168843 135357 4073 3002 0 152592 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 675372 KiB
Current children cumulated memory: 541428 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/244 1057326
/proc/meminfo: memFree=121772044/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=752172 memory=601100 CPUtime=341.33 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 137147 0 0 0 33980 153 0 0 20 0 1 0 200074376 770224128 150275 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 188043 150275 4121 3002 0 171792 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 752172 KiB
Current children cumulated memory: 601100 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/244 1057337
/proc/meminfo: memFree=121667720/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=752172 memory=654728 CPUtime=401.18 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 139368 0 0 0 39910 208 0 0 20 0 1 0 200074376 770224128 163682 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 188043 163682 4121 3002 0 171792 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 752172 KiB
Current children cumulated memory: 654728 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/242 1057347
/proc/meminfo: memFree=121634540/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=833560 memory=675396 CPUtime=461.03 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 140500 0 0 0 45855 248 0 0 20 0 1 0 200074376 853565440 168849 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 208390 168849 4121 3002 0 192139 0
################
# More data... #
################
Current children cumulated memory: 2131812 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.15 4.18 5/243 1058731
/proc/meminfo: memFree=111431308/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=2790480 memory=2139668 CPUtime=2854.71 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 406876 0 0 0 283469 2002 0 0 20 0 1 0 200074376 2857451520 534917 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 697620 534917 4121 3002 0 681369 0
Current children cumulated CPU time: 2854.71 s
Current children cumulated vsize: 2790480 KiB
Current children cumulated memory: 2139668 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/243 1058741
/proc/meminfo: memFree=111340452/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=2805484 memory=2152044 CPUtime=2914.56 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 410185 0 0 0 289436 2020 0 0 20 0 1 0 200074376 2872815616 538011 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 701371 538011 4121 3002 0 685120 0
Current children cumulated CPU time: 2914.56 s
Current children cumulated vsize: 2805484 KiB
Current children cumulated memory: 2152044 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.14 4.17 5/246 1058922
/proc/meminfo: memFree=111324508/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=2814100 memory=2157180 CPUtime=2974.4 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 411535 0 0 0 295403 2037 0 0 20 0 1 0 200074376 2881638400 539295 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 703525 539295 4121 3002 0 687274 0
Current children cumulated CPU time: 2974.4 s
Current children cumulated vsize: 2814100 KiB
Current children cumulated memory: 2157180 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/246 1058933
/proc/meminfo: memFree=111287704/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=2829528 memory=2170676 CPUtime=3034.24 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 415074 0 0 0 301366 2058 0 0 20 0 1 0 200074376 2897436672 542669 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 707382 542669 4121 3002 0 691131 0
Current children cumulated CPU time: 3034.24 s
Current children cumulated vsize: 2829528 KiB
Current children cumulated memory: 2170676 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/246 1059000
/proc/meminfo: memFree=111203824/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=2866908 memory=2203644 CPUtime=3094.08 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 423379 0 0 0 307336 2072 0 0 20 0 1 0 200074376 2935713792 550911 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 716727 550911 4121 3002 0 700476 0
Current children cumulated CPU time: 3094.08 s
Current children cumulated vsize: 2866908 KiB
Current children cumulated memory: 2203644 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/247 1059013
/proc/meminfo: memFree=111082760/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=2897628 memory=2225396 CPUtime=3153.92 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 428871 0 0 0 313302 2090 0 0 20 0 1 0 200074376 2967171072 556349 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 724407 556349 4121 3002 0 708156 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 2897628 KiB
Current children cumulated memory: 2225396 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.15 5/247 1059024
/proc/meminfo: memFree=110746352/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=2897628 memory=2225396 CPUtime=3213.76 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 428871 0 0 0 319273 2103 0 0 20 0 1 0 200074376 2967171072 556349 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 724407 556349 4121 3002 0 708156 0
Current children cumulated CPU time: 3213.76 s
Current children cumulated vsize: 2897628 KiB
Current children cumulated memory: 2225396 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.16 4.17 5/247 1059034
/proc/meminfo: memFree=110468284/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=2901288 memory=2227748 CPUtime=3273.6 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 429781 0 0 0 325238 2122 0 0 20 0 1 0 200074376 2970918912 556937 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 725322 556937 4121 3002 0 709071 0
Current children cumulated CPU time: 3273.6 s
Current children cumulated vsize: 2901288 KiB
Current children cumulated memory: 2227748 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/246 1059046
/proc/meminfo: memFree=110198416/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=2902492 memory=2228960 CPUtime=3333.44 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 430466 0 0 0 331207 2137 0 0 20 0 1 0 200074376 2972151808 557240 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 725623 557240 4121 3002 0 709372 0
Current children cumulated CPU time: 3333.44 s
Current children cumulated vsize: 2902492 KiB
Current children cumulated memory: 2228960 KiB
[startup+3402.3 s]
/proc/loadavg: 3.39 3.98 4.11 2/223 1059150
/proc/meminfo: memFree=126631976/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=2963044 memory=2270568 CPUtime=3393.28 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 441111 0 0 0 337177 2151 0 0 20 0 1 0 200074376 3034157056 567642 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 740761 567642 4121 3002 0 724510 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 2963044 KiB
Current children cumulated memory: 2270568 KiB
[startup+3462.3 s]
/proc/loadavg: 2.07 3.51 3.94 2/221 1059160
/proc/meminfo: memFree=126598520/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=2994920 memory=2304220 CPUtime=3453.1 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 449698 0 0 0 343146 2164 0 0 20 0 1 0 200074376 3066798080 576055 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 748730 576055 4121 3002 0 732479 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 2994920 KiB
Current children cumulated memory: 2304220 KiB
[startup+3522.3 s]
/proc/loadavg: 1.94 3.19 3.80 2/221 1059171
/proc/meminfo: memFree=126589748/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=3004976 memory=2312408 CPUtime=3512.94 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 451984 0 0 0 349114 2180 0 0 20 0 1 0 200074376 3077095424 578102 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 751244 578102 4121 3002 0 734993 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 3004976 KiB
Current children cumulated memory: 2312408 KiB
[startup+3582.3 s]
/proc/loadavg: 1.49 2.84 3.64 2/221 1059181
/proc/meminfo: memFree=126589508/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=3004976 memory=2312412 CPUtime=3572.76 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 452355 0 0 0 355087 2189 0 0 20 0 1 0 200074376 3077095424 578103 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 751244 578103 4121 3002 0 734993 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 3004976 KiB
Current children cumulated memory: 2312412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 1.35 2.68 3.56 2/221 1059187
/proc/meminfo: memFree=126576132/131655788 swapFree=131071996/131071996
[pid=1057261] ppid=1057258 vsize=3025128 memory=2326296 CPUtime=3600 cores=5,7
/proc/1057261/stat : 1057261 (mixed-bag) R 1057258 1057261 1052929 0 -1 4194304 456056 0 0 0 357801 2199 0 0 20 0 1 0 200074376 3097731072 581574 134679101440 4194304 16488053 140736211684448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 46034944 140736211686421 140736211686498 140736211686498 140736211693515 0
/proc/1057261/statm: 756282 581574 4121 3002 0 740031 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3025128 KiB
Current children cumulated memory: 2326296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.68 s]
# the end of solver process 1057261 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.02 s, system=22.0629 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.68
CPU time (s): 3600.08
CPU user time (s): 3578.02
CPU system time (s): 22.0629
CPU usage (%): 99.7342
Max. virtual memory (cumulated for all children) (KiB): 3025128
Max. memory (cumulated for all children) (KiB): 2326296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.02
system time used= 22.0629
maximum resident set size= 2326296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 456096
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= 44
involuntary context switches= 3148
# summary of solver processes directly reported to runsolver:
# pid: 1057261
# total CPU time (s): 3600.08
# total CPU user time (s): 3578.02
# total CPU system time (s): 22.0629
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8225 second user time and 35.9483 second system time
The end
Begin job on nodeC009 at 2024-07-20 14:39:20
IDJOB=4455017
IDBENCH=158625
IDSOLVER=3083
FILE ID=nodeC009/4455017-1721479148
RUNJOBID= nodeC009-1721471695-1052942
SLURM_JOB_ID= 7545739
Free space on /tmp= 723704 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455017-1721479148/watcher-4455017-1721479148 -o /tmp/evaluation-result-4455017-1721479148/solver-4455017-1721479148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721471695-1052942 --watchdog 3760 mixed-bag HOME/instance-4455017-1721479148.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=1077012019
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3669.913
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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 : 3657.864
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
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.522
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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.390
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
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 : 3670.114
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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 : 3525.162
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
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.506
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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.323
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123369776 kB
MemAvailable: 124428208 kB
Buffers: 610176 kB
Cached: 1291480 kB
SwapCached: 0 kB
Active: 1206656 kB
Inactive: 6510752 kB
Active(anon): 1452 kB
Inactive(anon): 5860188 kB
Active(file): 1205204 kB
Inactive(file): 650564 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16980 kB
Writeback: 0 kB
AnonPages: 5815752 kB
Mapped: 140728 kB
Shmem: 45892 kB
KReclaimable: 85392 kB
Slab: 187252 kB
SReclaimable: 85392 kB
SUnreclaim: 101860 kB
KernelStack: 3904 kB
PageTables: 21292 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 6629140 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62560 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1425408 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723752 MiB
End job on nodeC009 at 2024-07-20 15:39:30