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.10/0.12 c [STEP] solving with SCIP
299.39/300.28 c [STEP] preprocessing done, loading into solver
299.39/300.29 c [STEP] solving
299.39/300.29 c #variables 11713 #constraints 796
345.68/346.68 c #Conflicts: 1000 | #Constraints: 1795
345.68/346.68 c #Conflicts: 2000 | #Constraints: 2795
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 3000 | #Constraints: 2807
345.68/346.68 c #Conflicts: 4000 | #Constraints: 3807
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 5000 | #Constraints: 3209
345.68/346.68 c #Conflicts: 6000 | #Constraints: 4209
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 7000 | #Constraints: 3211
345.68/346.68 c #Conflicts: 8000 | #Constraints: 4211
345.68/346.68 c #Conflicts: 9000 | #Constraints: 5211
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 10000 | #Constraints: 3914
345.68/346.68 c #Conflicts: 11000 | #Constraints: 4914
345.68/346.68 c #Conflicts: 12000 | #Constraints: 5914
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 13000 | #Constraints: 4364
345.68/346.68 c #Conflicts: 14000 | #Constraints: 5364
345.68/346.68 c #Conflicts: 15000 | #Constraints: 6364
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 16000 | #Constraints: 4598
345.68/346.68 c #Conflicts: 17000 | #Constraints: 5598
345.68/346.68 c #Conflicts: 18000 | #Constraints: 6598
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 19000 | #Constraints: 4613
345.68/346.68 c #Conflicts: 20000 | #Constraints: 5613
345.68/346.68 c #Conflicts: 21000 | #Constraints: 6613
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 22000 | #Constraints: 4415
345.68/346.68 c #Conflicts: 23000 | #Constraints: 5415
345.68/346.68 c #Conflicts: 24000 | #Constraints: 6415
345.68/346.68 c #Conflicts: 25000 | #Constraints: 7415
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 26000 | #Constraints: 5017
345.68/346.68 c #Conflicts: 27000 | #Constraints: 6017
345.68/346.68 c #Conflicts: 28000 | #Constraints: 7017
345.68/346.68 c #Conflicts: 29000 | #Constraints: 8017
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 30000 | #Constraints: 5413
345.68/346.68 c #Conflicts: 31000 | #Constraints: 6413
345.68/346.68 c #Conflicts: 32000 | #Constraints: 7413
345.68/346.68 c #Conflicts: 33000 | #Constraints: 8413
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 34000 | #Constraints: 5616
345.68/346.68 c #Conflicts: 35000 | #Constraints: 6616
345.68/346.68 c #Conflicts: 36000 | #Constraints: 7616
345.68/346.68 c #Conflicts: 37000 | #Constraints: 8616
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 38000 | #Constraints: 5616
345.68/346.68 c #Conflicts: 39000 | #Constraints: 6616
345.68/346.68 c #Conflicts: 40000 | #Constraints: 7616
345.68/346.68 c #Conflicts: 41000 | #Constraints: 8616
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 42000 | #Constraints: 5415
345.68/346.68 c #Conflicts: 43000 | #Constraints: 6415
345.68/346.68 c #Conflicts: 44000 | #Constraints: 7415
345.68/346.68 c #Conflicts: 45000 | #Constraints: 8415
345.68/346.68 c #Conflicts: 46000 | #Constraints: 9415
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 47000 | #Constraints: 6015
345.68/346.68 c #Conflicts: 48000 | #Constraints: 7015
345.68/346.68 c #Conflicts: 49000 | #Constraints: 8015
345.68/346.68 c #Conflicts: 50000 | #Constraints: 9015
345.68/346.68 c #Conflicts: 51000 | #Constraints: 10015
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 52000 | #Constraints: 6419
345.68/346.68 c #Conflicts: 53000 | #Constraints: 7419
345.68/346.68 c #Conflicts: 54000 | #Constraints: 8419
345.68/346.68 c #Conflicts: 55000 | #Constraints: 9419
345.68/346.68 c #Conflicts: 56000 | #Constraints: 10419
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 57000 | #Constraints: 6630
345.68/346.68 c #Conflicts: 58000 | #Constraints: 7630
345.68/346.68 c #Conflicts: 59000 | #Constraints: 8630
345.68/346.68 c #Conflicts: 60000 | #Constraints: 9630
345.68/346.68 c #Conflicts: 61000 | #Constraints: 10630
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 62000 | #Constraints: 6625
345.68/346.68 c #Conflicts: 63000 | #Constraints: 7625
345.68/346.68 c #Conflicts: 64000 | #Constraints: 8625
345.68/346.68 c #Conflicts: 65000 | #Constraints: 9625
345.68/346.68 c #Conflicts: 66000 | #Constraints: 10625
345.68/346.68 c INPROCESSING
345.68/346.68 c GARBAGE COLLECT
345.68/346.68 c #Conflicts: 67000 | #Constraints: 6426
345.68/346.68 c #Conflicts: 68000 | #Constraints: 7426
481.14/482.40 c #Conflicts: 69000 | #Constraints: 8426
481.14/482.40 c #Conflicts: 70000 | #Constraints: 9426
481.14/482.40 c #Conflicts: 71000 | #Constraints: 10426
481.14/482.40 c #Conflicts: 72000 | #Constraints: 11426
481.14/482.40 c INPROCESSING
481.14/482.40 c GARBAGE COLLECT
481.14/482.40 c #Conflicts: 73000 | #Constraints: 7018
481.14/482.40 c #Conflicts: 74000 | #Constraints: 8018
481.14/482.40 c #Conflicts: 75000 | #Constraints: 9018
481.14/482.40 c #Conflicts: 76000 | #Constraints: 10018
481.14/482.40 c #Conflicts: 77000 | #Constraints: 11018
481.14/482.40 c #Conflicts: 78000 | #Constraints: 12018
481.14/482.40 c INPROCESSING
481.14/482.40 c GARBAGE COLLECT
481.14/482.40 c #Conflicts: 79000 | #Constraints: 7420
481.14/482.40 c #Conflicts: 80000 | #Constraints: 8420
481.14/482.40 c #Conflicts: 81000 | #Constraints: 9420
481.14/482.40 c #Conflicts: 82000 | #Constraints: 10420
481.14/482.40 c #Conflicts: 83000 | #Constraints: 11420
481.14/482.40 c #Conflicts: 84000 | #Constraints: 12420
481.14/482.40 c INPROCESSING
481.14/482.40 c GARBAGE COLLECT
481.14/482.40 c #Conflicts: 85000 | #Constraints: 7624
481.14/482.40 c #Conflicts: 86000 | #Constraints: 8624
481.14/482.40 c #Conflicts: 87000 | #Constraints: 9624
481.14/482.40 c #Conflicts: 88000 | #Constraints: 10624
481.14/482.40 c #Conflicts: 89000 | #Constraints: 11624
481.14/482.40 c #Conflicts: 90000 | #Constraints: 12624
481.14/482.40 c INPROCESSING
481.14/482.40 c GARBAGE COLLECT
481.14/482.40 c #Conflicts: 91000 | #Constraints: 7626
481.14/482.40 c #Conflicts: 92000 | #Constraints: 8626
481.14/482.40 c #Conflicts: 93000 | #Constraints: 9626
481.14/482.40 c #Conflicts: 94000 | #Constraints: 10626
481.14/482.40 c #Conflicts: 95000 | #Constraints: 11626
481.14/482.40 c #Conflicts: 96000 | #Constraints: 12626
481.14/482.40 c INPROCESSING
481.14/482.40 c GARBAGE COLLECT
481.14/482.40 c #Conflicts: 97000 | #Constraints: 7429
481.14/482.40 c #Conflicts: 98000 | #Constraints: 8429
481.14/482.40 c #Conflicts: 99000 | #Constraints: 9429
481.14/482.40 c #Conflicts: 100000 | #Constraints: 10429
481.14/482.40 c #Conflicts: 101000 | #Constraints: 11429
481.14/482.40 c #Conflicts: 102000 | #Constraints: 12429
481.14/482.40 c #Conflicts: 103000 | #Constraints: 13429
481.14/482.40 c INPROCESSING
481.14/482.40 c GARBAGE COLLECT
481.14/482.40 c #Conflicts: 104000 | #Constraints: 8018
481.14/482.40 c #Conflicts: 105000 | #Constraints: 9018
481.14/482.40 c #Conflicts: 106000 | #Constraints: 10018
481.14/482.40 c #Conflicts: 107000 | #Constraints: 11018
481.14/482.40 c #Conflicts: 108000 | #Constraints: 12018
481.14/482.40 c #Conflicts: 109000 | #Constraints: 13018
481.14/482.40 c #Conflicts: 110000 | #Constraints: 14018
481.14/482.40 c INPROCESSING
481.14/482.40 c GARBAGE COLLECT
481.14/482.40 c #Conflicts: 111000 | #Constraints: 8422
481.14/482.40 c #Conflicts: 112000 | #Constraints: 9422
481.14/482.40 c #Conflicts: 113000 | #Constraints: 10422
481.14/482.40 c #Conflicts: 114000 | #Constraints: 11422
481.14/482.40 c #Conflicts: 115000 | #Constraints: 12422
481.14/482.40 c #Conflicts: 116000 | #Constraints: 13422
481.14/482.40 c #Conflicts: 117000 | #Constraints: 14422
481.14/482.40 c INPROCESSING
481.14/482.40 c GARBAGE COLLECT
481.14/482.40 c #Conflicts: 118000 | #Constraints: 8617
481.14/482.40 c #Conflicts: 119000 | #Constraints: 9617
481.14/482.40 c #Conflicts: 120000 | #Constraints: 10617
481.14/482.40 c #Conflicts: 121000 | #Constraints: 11617
481.14/482.40 c #Conflicts: 122000 | #Constraints: 12617
481.14/482.41 c #Conflicts: 123000 | #Constraints: 13617
481.14/482.41 c #Conflicts: 124000 | #Constraints: 14617
481.14/482.41 c INPROCESSING
481.14/482.41 c GARBAGE COLLECT
481.14/482.41 c #Conflicts: 125000 | #Constraints: 8618
481.14/482.41 c #Conflicts: 126000 | #Constraints: 9618
481.14/482.41 c #Conflicts: 127000 | #Constraints: 10618
481.14/482.41 c #Conflicts: 128000 | #Constraints: 11618
481.14/482.41 c #Conflicts: 129000 | #Constraints: 12618
481.14/482.41 c #Conflicts: 130000 | #Constraints: 13618
481.14/482.41 c #Conflicts: 131000 | #Constraints: 14618
481.14/482.41 c INPROCESSING
481.14/482.41 c GARBAGE COLLECT
481.14/482.41 c #Conflicts: 132000 | #Constraints: 8413
481.14/482.41 c #Conflicts: 133000 | #Constraints: 9413
481.14/482.41 c #Conflicts: 134000 | #Constraints: 10413
481.14/482.41 c #Conflicts: 135000 | #Constraints: 11413
481.14/482.41 c #Conflicts: 136000 | #Constraints: 12413
481.14/482.41 c #Conflicts: 137000 | #Constraints: 13413
481.14/482.41 c #Conflicts: 138000 | #Constraints: 14413
481.14/482.41 c #Conflicts: 139000 | #Constraints: 15413
481.14/482.41 c INPROCESSING
481.14/482.41 c GARBAGE COLLECT
481.14/482.41 c #Conflicts: 140000 | #Constraints: 9014
567.02/568.56 c #Conflicts: 141000 | #Constraints: 10014
567.02/568.56 c #Conflicts: 142000 | #Constraints: 11014
567.02/568.56 c #Conflicts: 143000 | #Constraints: 12014
567.02/568.56 c #Conflicts: 144000 | #Constraints: 13014
567.02/568.56 c #Conflicts: 145000 | #Constraints: 14014
567.02/568.56 c #Conflicts: 146000 | #Constraints: 15014
567.02/568.56 c #Conflicts: 147000 | #Constraints: 16014
567.02/568.56 c INPROCESSING
567.02/568.56 c GARBAGE COLLECT
567.02/568.56 c #Conflicts: 148000 | #Constraints: 9421
567.02/568.56 c #Conflicts: 149000 | #Constraints: 10421
567.02/568.56 c #Conflicts: 150000 | #Constraints: 11421
567.02/568.56 c #Conflicts: 151000 | #Constraints: 12421
567.02/568.56 c #Conflicts: 152000 | #Constraints: 13421
567.02/568.56 c #Conflicts: 153000 | #Constraints: 14421
567.02/568.56 c #Conflicts: 154000 | #Constraints: 15421
567.02/568.56 c #Conflicts: 155000 | #Constraints: 16421
567.02/568.56 c INPROCESSING
567.02/568.56 c GARBAGE COLLECT
567.02/568.56 c #Conflicts: 156000 | #Constraints: 9625
567.02/568.56 c #Conflicts: 157000 | #Constraints: 10625
567.02/568.56 c #Conflicts: 158000 | #Constraints: 11625
567.02/568.56 c #Conflicts: 159000 | #Constraints: 12625
567.02/568.56 c #Conflicts: 160000 | #Constraints: 13625
567.02/568.56 c #Conflicts: 161000 | #Constraints: 14625
567.02/568.56 c #Conflicts: 162000 | #Constraints: 15625
567.02/568.56 c #Conflicts: 163000 | #Constraints: 16625
567.02/568.56 c INPROCESSING
567.02/568.56 c GARBAGE COLLECT
567.02/568.56 c #Conflicts: 164000 | #Constraints: 9626
567.02/568.56 c #Conflicts: 165000 | #Constraints: 10626
567.02/568.56 c #Conflicts: 166000 | #Constraints: 11626
567.02/568.56 c #Conflicts: 167000 | #Constraints: 12626
567.02/568.56 c #Conflicts: 168000 | #Constraints: 13626
567.02/568.56 c #Conflicts: 169000 | #Constraints: 14626
567.02/568.56 c #Conflicts: 170000 | #Constraints: 15626
567.02/568.56 c #Conflicts: 171000 | #Constraints: 16626
567.02/568.56 c INPROCESSING
567.02/568.56 c GARBAGE COLLECT
567.02/568.56 c #Conflicts: 172000 | #Constraints: 9422
567.02/568.56 c #Conflicts: 173000 | #Constraints: 10422
567.02/568.56 c #Conflicts: 174000 | #Constraints: 11422
567.02/568.56 c #Conflicts: 175000 | #Constraints: 12422
567.02/568.56 c #Conflicts: 176000 | #Constraints: 13422
567.02/568.56 c #Conflicts: 177000 | #Constraints: 14422
567.02/568.56 c #Conflicts: 178000 | #Constraints: 15422
567.02/568.56 c #Conflicts: 179000 | #Constraints: 16422
567.02/568.56 c #Conflicts: 180000 | #Constraints: 17422
567.02/568.56 c INPROCESSING
567.02/568.56 c GARBAGE COLLECT
567.02/568.56 c #Conflicts: 181000 | #Constraints: 10016
567.02/568.56 c #Conflicts: 182000 | #Constraints: 11016
567.02/568.56 c #Conflicts: 183000 | #Constraints: 12016
567.02/568.56 c #Conflicts: 184000 | #Constraints: 13016
567.02/568.56 c #Conflicts: 185000 | #Constraints: 14016
567.02/568.56 c #Conflicts: 186000 | #Constraints: 15016
567.02/568.56 c #Conflicts: 187000 | #Constraints: 16016
567.02/568.56 c #Conflicts: 188000 | #Constraints: 17016
567.02/568.56 c #Conflicts: 189000 | #Constraints: 18016
567.02/568.56 c INPROCESSING
567.02/568.56 c GARBAGE COLLECT
567.02/568.56 c #Conflicts: 190000 | #Constraints: 10425
567.02/568.56 c #Conflicts: 191000 | #Constraints: 11425
567.02/568.56 c #Conflicts: 192000 | #Constraints: 12425
567.02/568.56 c #Conflicts: 193000 | #Constraints: 13425
567.02/568.56 c #Conflicts: 194000 | #Constraints: 14425
567.02/568.56 c #Conflicts: 195000 | #Constraints: 15425
567.02/568.56 c #Conflicts: 196000 | #Constraints: 16425
567.02/568.56 c #Conflicts: 197000 | #Constraints: 17425
567.02/568.56 c #Conflicts: 198000 | #Constraints: 18425
567.02/568.56 c INPROCESSING
567.02/568.56 c GARBAGE COLLECT
567.02/568.56 c #Conflicts: 199000 | #Constraints: 10636
567.02/568.56 c #Conflicts: 200000 | #Constraints: 11636
567.02/568.56 c #Conflicts: 201000 | #Constraints: 12636
567.02/568.56 c #Conflicts: 202000 | #Constraints: 13636
567.02/568.56 c #Conflicts: 203000 | #Constraints: 14636
567.02/568.56 c #Conflicts: 204000 | #Constraints: 15636
567.02/568.56 c #Conflicts: 205000 | #Constraints: 16636
567.02/568.56 c #Conflicts: 206000 | #Constraints: 17636
567.02/568.56 c #Conflicts: 207000 | #Constraints: 18636
567.02/568.56 c INPROCESSING
567.02/568.56 c GARBAGE COLLECT
567.02/568.56 c #Conflicts: 208000 | #Constraints: 10633
567.02/568.56 c #Conflicts: 209000 | #Constraints: 11633
567.02/568.56 c #Conflicts: 210000 | #Constraints: 12633
567.02/568.56 c #Conflicts: 211000 | #Constraints: 13633
567.02/568.56 c #Conflicts: 212000 | #Constraints: 14633
567.02/568.56 c #Conflicts: 213000 | #Constraints: 15633
696.89/698.78 c #Conflicts: 214000 | #Constraints: 16633
696.89/698.78 c #Conflicts: 215000 | #Constraints: 17633
696.89/698.78 c #Conflicts: 216000 | #Constraints: 18633
696.89/698.78 c INPROCESSING
696.89/698.78 c GARBAGE COLLECT
696.89/698.78 c #Conflicts: 217000 | #Constraints: 10435
696.89/698.78 c #Conflicts: 218000 | #Constraints: 11435
696.89/698.78 c #Conflicts: 219000 | #Constraints: 12435
696.89/698.78 c #Conflicts: 220000 | #Constraints: 13435
696.89/698.78 c #Conflicts: 221000 | #Constraints: 14435
696.89/698.78 c #Conflicts: 222000 | #Constraints: 15435
696.89/698.78 c #Conflicts: 223000 | #Constraints: 16435
696.89/698.78 c #Conflicts: 224000 | #Constraints: 17435
696.89/698.78 c #Conflicts: 225000 | #Constraints: 18435
696.89/698.78 c #Conflicts: 226000 | #Constraints: 19435
696.89/698.78 c INPROCESSING
696.89/698.78 c GARBAGE COLLECT
696.89/698.78 c #Conflicts: 227000 | #Constraints: 11041
696.89/698.78 c #Conflicts: 228000 | #Constraints: 12041
696.89/698.78 c #Conflicts: 229000 | #Constraints: 13041
696.89/698.78 c #Conflicts: 230000 | #Constraints: 14041
696.89/698.78 c #Conflicts: 231000 | #Constraints: 15041
696.89/698.78 c #Conflicts: 232000 | #Constraints: 16041
696.89/698.78 c #Conflicts: 233000 | #Constraints: 17041
696.89/698.78 c #Conflicts: 234000 | #Constraints: 18041
696.89/698.78 c #Conflicts: 235000 | #Constraints: 19041
696.89/698.78 c #Conflicts: 236000 | #Constraints: 20041
696.89/698.78 c INPROCESSING
696.89/698.78 c GARBAGE COLLECT
696.89/698.78 c #Conflicts: 237000 | #Constraints: 11426
696.89/698.78 c #Conflicts: 238000 | #Constraints: 12426
696.89/698.78 c #Conflicts: 239000 | #Constraints: 13426
696.89/698.78 c #Conflicts: 240000 | #Constraints: 14426
696.89/698.78 c #Conflicts: 241000 | #Constraints: 15426
696.89/698.78 c #Conflicts: 242000 | #Constraints: 16426
696.89/698.78 c #Conflicts: 243000 | #Constraints: 17426
696.89/698.78 c #Conflicts: 244000 | #Constraints: 18426
696.89/698.78 c #Conflicts: 245000 | #Constraints: 19426
696.89/698.78 c #Conflicts: 246000 | #Constraints: 20426
696.89/698.78 c INPROCESSING
696.89/698.78 c GARBAGE COLLECT
696.89/698.78 c #Conflicts: 247000 | #Constraints: 11622
696.89/698.78 c #Conflicts: 248000 | #Constraints: 12622
696.89/698.78 c #Conflicts: 249000 | #Constraints: 13622
696.89/698.78 c #Conflicts: 250000 | #Constraints: 14622
696.89/698.78 c #Conflicts: 251000 | #Constraints: 15622
696.89/698.78 c #Conflicts: 252000 | #Constraints: 16622
696.89/698.78 c #Conflicts: 253000 | #Constraints: 17622
696.89/698.78 c #Conflicts: 254000 | #Constraints: 18622
696.89/698.78 c #Conflicts: 255000 | #Constraints: 19622
696.89/698.78 c #Conflicts: 256000 | #Constraints: 20622
696.89/698.78 c INPROCESSING
696.89/698.78 c GARBAGE COLLECT
696.89/698.78 c #Conflicts: 257000 | #Constraints: 11620
696.89/698.78 c #Conflicts: 258000 | #Constraints: 12620
696.89/698.78 c #Conflicts: 259000 | #Constraints: 13620
696.89/698.78 c #Conflicts: 260000 | #Constraints: 14620
696.89/698.78 c #Conflicts: 261000 | #Constraints: 15620
696.89/698.78 c #Conflicts: 262000 | #Constraints: 16620
696.89/698.78 c #Conflicts: 263000 | #Constraints: 17620
696.89/698.78 c #Conflicts: 264000 | #Constraints: 18620
696.89/698.78 c #Conflicts: 265000 | #Constraints: 19620
696.89/698.78 c #Conflicts: 266000 | #Constraints: 20620
696.89/698.78 c INPROCESSING
696.89/698.78 c GARBAGE COLLECT
696.89/698.78 c #Conflicts: 267000 | #Constraints: 11419
696.89/698.78 c #Conflicts: 268000 | #Constraints: 12419
696.89/698.78 c #Conflicts: 269000 | #Constraints: 13419
696.89/698.78 c #Conflicts: 270000 | #Constraints: 14419
696.89/698.78 c #Conflicts: 271000 | #Constraints: 15419
696.89/698.78 c #Conflicts: 272000 | #Constraints: 16419
696.89/698.78 c #Conflicts: 273000 | #Constraints: 17419
696.89/698.78 c #Conflicts: 274000 | #Constraints: 18419
696.89/698.78 c #Conflicts: 275000 | #Constraints: 19419
696.89/698.78 c #Conflicts: 276000 | #Constraints: 20419
696.89/698.78 c #Conflicts: 277000 | #Constraints: 21419
696.89/698.78 c INPROCESSING
696.89/698.78 c GARBAGE COLLECT
696.89/698.78 c #Conflicts: 278000 | #Constraints: 12017
696.89/698.78 c #Conflicts: 279000 | #Constraints: 13017
696.89/698.78 c #Conflicts: 280000 | #Constraints: 14017
696.89/698.78 c #Conflicts: 281000 | #Constraints: 15017
696.89/698.78 c #Conflicts: 282000 | #Constraints: 16017
696.89/698.78 c #Conflicts: 283000 | #Constraints: 17017
696.89/698.78 c #Conflicts: 284000 | #Constraints: 18017
696.89/698.78 c #Conflicts: 285000 | #Constraints: 19017
696.89/698.78 c #Conflicts: 286000 | #Constraints: 20017
696.89/698.78 c #Conflicts: 287000 | #Constraints: 21017
696.89/698.78 c #Conflicts: 288000 | #Constraints: 22017
904.86/907.21 c INPROCESSING
904.86/907.21 c GARBAGE COLLECT
904.86/907.21 c #Conflicts: 289000 | #Constraints: 12418
904.86/907.21 c #Conflicts: 290000 | #Constraints: 13418
904.86/907.21 c #Conflicts: 291000 | #Constraints: 14418
904.86/907.21 c #Conflicts: 292000 | #Constraints: 15418
904.86/907.21 c #Conflicts: 293000 | #Constraints: 16418
904.86/907.21 c #Conflicts: 294000 | #Constraints: 17418
904.86/907.21 c #Conflicts: 295000 | #Constraints: 18418
904.86/907.21 c #Conflicts: 296000 | #Constraints: 19418
904.86/907.21 c #Conflicts: 297000 | #Constraints: 20418
904.86/907.21 c #Conflicts: 298000 | #Constraints: 21418
904.86/907.21 c #Conflicts: 299000 | #Constraints: 22418
904.86/907.21 c INPROCESSING
904.86/907.21 c GARBAGE COLLECT
904.86/907.21 c #Conflicts: 300000 | #Constraints: 12617
904.86/907.21 c #Conflicts: 301000 | #Constraints: 13617
904.86/907.21 c #Conflicts: 302000 | #Constraints: 14617
904.86/907.21 c #Conflicts: 303000 | #Constraints: 15617
904.86/907.21 c #Conflicts: 304000 | #Constraints: 16617
904.86/907.21 c #Conflicts: 305000 | #Constraints: 17617
904.86/907.21 c #Conflicts: 306000 | #Constraints: 18617
904.86/907.21 c #Conflicts: 307000 | #Constraints: 19617
904.86/907.21 c #Conflicts: 308000 | #Constraints: 20617
904.86/907.21 c #Conflicts: 309000 | #Constraints: 21617
904.86/907.21 c #Conflicts: 310000 | #Constraints: 22617
904.86/907.21 c INPROCESSING
904.86/907.21 c GARBAGE COLLECT
904.86/907.21 c #Conflicts: 311000 | #Constraints: 12622
904.86/907.21 c #Conflicts: 312000 | #Constraints: 13622
904.86/907.21 c #Conflicts: 313000 | #Constraints: 14622
904.86/907.21 c #Conflicts: 314000 | #Constraints: 15622
904.86/907.21 c #Conflicts: 315000 | #Constraints: 16622
904.86/907.21 c #Conflicts: 316000 | #Constraints: 17622
904.86/907.21 c #Conflicts: 317000 | #Constraints: 18622
904.86/907.21 c #Conflicts: 318000 | #Constraints: 19622
904.86/907.21 c #Conflicts: 319000 | #Constraints: 20622
904.86/907.21 c #Conflicts: 320000 | #Constraints: 21622
904.86/907.21 c #Conflicts: 321000 | #Constraints: 22622
904.86/907.21 c INPROCESSING
904.86/907.21 c GARBAGE COLLECT
904.86/907.21 c #Conflicts: 322000 | #Constraints: 12430
904.86/907.21 c #Conflicts: 323000 | #Constraints: 13430
904.86/907.21 c #Conflicts: 324000 | #Constraints: 14430
904.86/907.21 c #Conflicts: 325000 | #Constraints: 15430
904.86/907.21 c #Conflicts: 326000 | #Constraints: 16430
904.86/907.21 c #Conflicts: 327000 | #Constraints: 17430
904.86/907.21 c #Conflicts: 328000 | #Constraints: 18430
904.86/907.21 c #Conflicts: 329000 | #Constraints: 19430
904.86/907.21 c #Conflicts: 330000 | #Constraints: 20430
904.86/907.21 c #Conflicts: 331000 | #Constraints: 21430
904.86/907.21 c #Conflicts: 332000 | #Constraints: 22430
904.86/907.21 c #Conflicts: 333000 | #Constraints: 23430
904.86/907.21 c INPROCESSING
904.86/907.21 c GARBAGE COLLECT
904.86/907.21 c #Conflicts: 334000 | #Constraints: 13023
904.86/907.21 c #Conflicts: 335000 | #Constraints: 14023
904.86/907.21 c #Conflicts: 336000 | #Constraints: 15023
904.86/907.21 c #Conflicts: 337000 | #Constraints: 16023
904.86/907.21 c #Conflicts: 338000 | #Constraints: 17023
904.86/907.21 c #Conflicts: 339000 | #Constraints: 18023
904.86/907.21 c #Conflicts: 340000 | #Constraints: 19023
904.86/907.21 c #Conflicts: 341000 | #Constraints: 20023
904.86/907.21 c #Conflicts: 342000 | #Constraints: 21023
904.86/907.21 c #Conflicts: 343000 | #Constraints: 22023
904.86/907.21 c #Conflicts: 344000 | #Constraints: 23023
904.86/907.21 c #Conflicts: 345000 | #Constraints: 24023
904.86/907.21 c INPROCESSING
904.86/907.21 c GARBAGE COLLECT
904.86/907.21 c #Conflicts: 346000 | #Constraints: 13419
904.86/907.21 c #Conflicts: 347000 | #Constraints: 14419
904.86/907.21 c #Conflicts: 348000 | #Constraints: 15419
904.86/907.21 c #Conflicts: 349000 | #Constraints: 16419
904.86/907.21 c #Conflicts: 350000 | #Constraints: 17419
904.86/907.21 c #Conflicts: 351000 | #Constraints: 18419
904.86/907.21 c #Conflicts: 352000 | #Constraints: 19419
904.86/907.21 c #Conflicts: 353000 | #Constraints: 20419
904.86/907.21 c #Conflicts: 354000 | #Constraints: 21419
904.86/907.21 c #Conflicts: 355000 | #Constraints: 22419
904.86/907.21 c #Conflicts: 356000 | #Constraints: 23419
904.86/907.21 c #Conflicts: 357000 | #Constraints: 24419
904.86/907.21 c INPROCESSING
904.86/907.21 c GARBAGE COLLECT
904.86/907.21 c #Conflicts: 358000 | #Constraints: 13615
904.86/907.21 c #Conflicts: 359000 | #Constraints: 14615
904.86/907.21 c #Conflicts: 360000 | #Constraints: 15615
904.86/907.21 c #Conflicts: 361000 | #Constraints: 16615
904.86/907.21 c #Conflicts: 362000 | #Constraints: 17615
1088.40/1091.20 c #Conflicts: 363000 | #Constraints: 18615
1088.40/1091.20 c #Conflicts: 364000 | #Constraints: 19615
1088.40/1091.20 c #Conflicts: 365000 | #Constraints: 20615
1088.40/1091.20 c #Conflicts: 366000 | #Constraints: 21615
1088.40/1091.20 c #Conflicts: 367000 | #Constraints: 22615
1088.40/1091.20 c #Conflicts: 368000 | #Constraints: 23615
1088.40/1091.20 c #Conflicts: 369000 | #Constraints: 24615
1088.40/1091.20 c INPROCESSING
1088.40/1091.20 c GARBAGE COLLECT
1088.40/1091.20 c #Conflicts: 370000 | #Constraints: 13625
1088.40/1091.20 c #Conflicts: 371000 | #Constraints: 14625
1088.40/1091.20 c #Conflicts: 372000 | #Constraints: 15625
1088.40/1091.20 c #Conflicts: 373000 | #Constraints: 16625
1088.40/1091.20 c #Conflicts: 374000 | #Constraints: 17625
1088.40/1091.20 c #Conflicts: 375000 | #Constraints: 18625
1088.40/1091.20 c #Conflicts: 376000 | #Constraints: 19625
1088.40/1091.20 c #Conflicts: 377000 | #Constraints: 20625
1088.40/1091.20 c #Conflicts: 378000 | #Constraints: 21625
1088.40/1091.20 c #Conflicts: 379000 | #Constraints: 22625
1088.40/1091.20 c #Conflicts: 380000 | #Constraints: 23625
1088.40/1091.20 c #Conflicts: 381000 | #Constraints: 24625
1088.40/1091.20 c INPROCESSING
1088.40/1091.20 c GARBAGE COLLECT
1088.40/1091.20 c #Conflicts: 382000 | #Constraints: 13420
1088.40/1091.20 c #Conflicts: 383000 | #Constraints: 14420
1088.40/1091.20 c #Conflicts: 384000 | #Constraints: 15420
1088.40/1091.20 c #Conflicts: 385000 | #Constraints: 16420
1088.40/1091.20 c #Conflicts: 386000 | #Constraints: 17420
1088.40/1091.20 c #Conflicts: 387000 | #Constraints: 18420
1088.40/1091.20 c #Conflicts: 388000 | #Constraints: 19420
1088.40/1091.20 c #Conflicts: 389000 | #Constraints: 20420
1088.40/1091.20 c #Conflicts: 390000 | #Constraints: 21420
1088.40/1091.20 c #Conflicts: 391000 | #Constraints: 22420
1088.40/1091.20 c #Conflicts: 392000 | #Constraints: 23420
1088.40/1091.20 c #Conflicts: 393000 | #Constraints: 24420
1088.40/1091.20 c #Conflicts: 394000 | #Constraints: 25420
1088.40/1091.20 c INPROCESSING
1088.40/1091.20 c GARBAGE COLLECT
1088.40/1091.20 c #Conflicts: 395000 | #Constraints: 14018
1088.40/1091.20 c #Conflicts: 396000 | #Constraints: 15018
1088.40/1091.20 c #Conflicts: 397000 | #Constraints: 16018
1088.40/1091.20 c #Conflicts: 398000 | #Constraints: 17018
1088.40/1091.20 c #Conflicts: 399000 | #Constraints: 18018
1088.40/1091.20 c #Conflicts: 400000 | #Constraints: 19018
1088.40/1091.20 c #Conflicts: 401000 | #Constraints: 20018
1088.40/1091.20 c #Conflicts: 402000 | #Constraints: 21018
1088.40/1091.20 c #Conflicts: 403000 | #Constraints: 22018
1088.40/1091.20 c #Conflicts: 404000 | #Constraints: 23018
1088.40/1091.20 c #Conflicts: 405000 | #Constraints: 24018
1088.40/1091.20 c #Conflicts: 406000 | #Constraints: 25018
1088.40/1091.20 c #Conflicts: 407000 | #Constraints: 26018
1088.40/1091.20 c INPROCESSING
1088.40/1091.20 c GARBAGE COLLECT
1088.40/1091.20 c #Conflicts: 408000 | #Constraints: 14417
1088.40/1091.20 c #Conflicts: 409000 | #Constraints: 15417
1088.40/1091.20 c #Conflicts: 410000 | #Constraints: 16417
1088.40/1091.20 c #Conflicts: 411000 | #Constraints: 17417
1088.40/1091.20 c #Conflicts: 412000 | #Constraints: 18417
1088.40/1091.20 c #Conflicts: 413000 | #Constraints: 19417
1088.40/1091.20 c #Conflicts: 414000 | #Constraints: 20417
1088.40/1091.20 c #Conflicts: 415000 | #Constraints: 21417
1088.40/1091.20 c #Conflicts: 416000 | #Constraints: 22417
1088.40/1091.20 c #Conflicts: 417000 | #Constraints: 23417
1088.40/1091.20 c #Conflicts: 418000 | #Constraints: 24417
1088.40/1091.20 c #Conflicts: 419000 | #Constraints: 25417
1088.40/1091.20 c #Conflicts: 420000 | #Constraints: 26417
1088.40/1091.20 c INPROCESSING
1088.40/1091.20 c GARBAGE COLLECT
1088.40/1091.20 c #Conflicts: 421000 | #Constraints: 14621
1088.40/1091.20 c #Conflicts: 422000 | #Constraints: 15621
1088.40/1091.20 c #Conflicts: 423000 | #Constraints: 16621
1088.40/1091.20 c #Conflicts: 424000 | #Constraints: 17621
1088.40/1091.20 c #Conflicts: 425000 | #Constraints: 18621
1088.40/1091.20 c #Conflicts: 426000 | #Constraints: 19621
1088.40/1091.20 c #Conflicts: 427000 | #Constraints: 20621
1088.40/1091.20 c #Conflicts: 428000 | #Constraints: 21621
1088.40/1091.20 c #Conflicts: 429000 | #Constraints: 22621
1088.40/1091.20 c #Conflicts: 430000 | #Constraints: 23621
1088.40/1091.20 c #Conflicts: 431000 | #Constraints: 24621
1088.40/1091.20 c #Conflicts: 432000 | #Constraints: 25621
1088.40/1091.20 c #Conflicts: 433000 | #Constraints: 26621
1088.40/1091.20 c INPROCESSING
1088.40/1091.20 c GARBAGE COLLECT
1088.40/1091.20 c #Conflicts: 434000 | #Constraints: 14625
1088.40/1091.20 c #Conflicts: 435000 | #Constraints: 15625
1088.40/1091.20 c #Conflicts: 436000 | #Constraints: 16625
1088.40/1091.20 c #Conflicts: 437000 | #Constraints: 17625
1607.69/1611.82 c #Conflicts: 438000 | #Constraints: 18625
1607.69/1611.82 c #Conflicts: 439000 | #Constraints: 19625
1607.69/1611.82 c #Conflicts: 440000 | #Constraints: 20625
1607.69/1611.82 c #Conflicts: 441000 | #Constraints: 21625
1607.69/1611.82 c #Conflicts: 442000 | #Constraints: 22625
1607.69/1611.82 c #Conflicts: 443000 | #Constraints: 23625
1607.69/1611.82 c #Conflicts: 444000 | #Constraints: 24625
1607.69/1611.82 c #Conflicts: 445000 | #Constraints: 25625
1607.69/1611.82 c #Conflicts: 446000 | #Constraints: 26625
1607.69/1611.82 c INPROCESSING
1607.69/1611.82 c GARBAGE COLLECT
1607.69/1611.82 c #Conflicts: 447000 | #Constraints: 14429
1607.69/1611.82 c #Conflicts: 448000 | #Constraints: 15429
1607.69/1611.82 c #Conflicts: 449000 | #Constraints: 16429
1607.69/1611.82 c #Conflicts: 450000 | #Constraints: 17429
1607.69/1611.82 c #Conflicts: 451000 | #Constraints: 18429
1607.69/1611.82 c #Conflicts: 452000 | #Constraints: 19429
1607.69/1611.82 c #Conflicts: 453000 | #Constraints: 20429
1607.69/1611.82 c #Conflicts: 454000 | #Constraints: 21429
1607.69/1611.82 c #Conflicts: 455000 | #Constraints: 22429
1607.69/1611.82 c #Conflicts: 456000 | #Constraints: 23429
1607.69/1611.82 c #Conflicts: 457000 | #Constraints: 24429
1607.69/1611.82 c #Conflicts: 458000 | #Constraints: 25429
1607.69/1611.82 c #Conflicts: 459000 | #Constraints: 26429
1607.69/1611.82 c #Conflicts: 460000 | #Constraints: 27429
1607.69/1611.82 c INPROCESSING
1607.69/1611.82 c GARBAGE COLLECT
1607.69/1611.82 c #Conflicts: 461000 | #Constraints: 15034
1607.69/1611.82 c #Conflicts: 462000 | #Constraints: 16034
1607.69/1611.82 c #Conflicts: 463000 | #Constraints: 17034
1607.69/1611.82 c #Conflicts: 464000 | #Constraints: 18034
1607.69/1611.82 c #Conflicts: 465000 | #Constraints: 19034
1607.69/1611.82 c #Conflicts: 466000 | #Constraints: 20034
1607.69/1611.82 c #Conflicts: 467000 | #Constraints: 21034
1607.69/1611.82 c #Conflicts: 468000 | #Constraints: 22034
1607.69/1611.82 c #Conflicts: 469000 | #Constraints: 23034
1607.69/1611.82 c #Conflicts: 470000 | #Constraints: 24034
1607.69/1611.82 c #Conflicts: 471000 | #Constraints: 25034
1607.69/1611.82 c #Conflicts: 472000 | #Constraints: 26034
1607.69/1611.82 c #Conflicts: 473000 | #Constraints: 27034
1607.69/1611.82 c #Conflicts: 474000 | #Constraints: 28034
1607.69/1611.82 c INPROCESSING
1607.69/1611.82 c GARBAGE COLLECT
1607.69/1611.82 c #Conflicts: 475000 | #Constraints: 15431
1607.69/1611.82 c #Conflicts: 476000 | #Constraints: 16431
1607.69/1611.82 c #Conflicts: 477000 | #Constraints: 17431
1607.69/1611.82 c #Conflicts: 478000 | #Constraints: 18431
1607.69/1611.82 c #Conflicts: 479000 | #Constraints: 19431
1607.69/1611.82 c #Conflicts: 480000 | #Constraints: 20431
1607.69/1611.82 c #Conflicts: 481000 | #Constraints: 21431
1607.69/1611.82 c #Conflicts: 482000 | #Constraints: 22431
1607.69/1611.82 c #Conflicts: 483000 | #Constraints: 23431
1607.69/1611.82 c #Conflicts: 484000 | #Constraints: 24431
1607.69/1611.82 c #Conflicts: 485000 | #Constraints: 25431
1607.69/1611.82 c #Conflicts: 486000 | #Constraints: 26431
1607.69/1611.82 c #Conflicts: 487000 | #Constraints: 27431
1607.69/1611.82 c #Conflicts: 488000 | #Constraints: 28431
1607.69/1611.82 c INPROCESSING
1607.69/1611.82 c GARBAGE COLLECT
1607.69/1611.82 c #Conflicts: 489000 | #Constraints: 15634
1607.69/1611.82 c #Conflicts: 490000 | #Constraints: 16634
1607.69/1611.82 c #Conflicts: 491000 | #Constraints: 17634
1607.69/1611.82 c #Conflicts: 492000 | #Constraints: 18634
1607.69/1611.82 c #Conflicts: 493000 | #Constraints: 19634
1607.69/1611.82 c #Conflicts: 494000 | #Constraints: 20634
1607.69/1611.82 c #Conflicts: 495000 | #Constraints: 21634
1607.69/1611.82 c #Conflicts: 496000 | #Constraints: 22634
1607.69/1611.82 c #Conflicts: 497000 | #Constraints: 23634
1607.69/1611.82 c #Conflicts: 498000 | #Constraints: 24634
1607.69/1611.82 c #Conflicts: 499000 | #Constraints: 25634
1607.69/1611.82 c #Conflicts: 500000 | #Constraints: 26634
1607.69/1611.82 c #Conflicts: 501000 | #Constraints: 27634
1607.69/1611.82 c #Conflicts: 502000 | #Constraints: 28634
1607.69/1611.82 c INPROCESSING
1607.69/1611.82 c GARBAGE COLLECT
1607.69/1611.82 c #Conflicts: 503000 | #Constraints: 15642
1607.69/1611.82 c #Conflicts: 504000 | #Constraints: 16642
1607.69/1611.82 c #Conflicts: 505000 | #Constraints: 17642
1607.69/1611.82 c #Conflicts: 506000 | #Constraints: 18642
1607.69/1611.82 c #Conflicts: 507000 | #Constraints: 19642
1607.69/1611.82 c #Conflicts: 508000 | #Constraints: 20642
1607.69/1611.82 c #Conflicts: 509000 | #Constraints: 21642
1607.69/1611.82 c #Conflicts: 510000 | #Constraints: 22642
1607.69/1611.82 c #Conflicts: 511000 | #Constraints: 23642
1607.69/1611.82 c #Conflicts: 512000 | #Constraints: 24642
1607.69/1611.82 c #Conflicts: 513000 | #Constraints: 25642
1762.51/1767.07 c #Conflicts: 514000 | #Constraints: 26642
1762.51/1767.07 c #Conflicts: 515000 | #Constraints: 27642
1762.51/1767.07 c #Conflicts: 516000 | #Constraints: 28642
1762.51/1767.07 c INPROCESSING
1762.51/1767.07 c GARBAGE COLLECT
1762.51/1767.07 c #Conflicts: 517000 | #Constraints: 15432
1762.51/1767.07 c #Conflicts: 518000 | #Constraints: 16432
1762.51/1767.07 c #Conflicts: 519000 | #Constraints: 17432
1762.51/1767.07 c #Conflicts: 520000 | #Constraints: 18432
1762.51/1767.07 c #Conflicts: 521000 | #Constraints: 19432
1762.51/1767.07 c #Conflicts: 522000 | #Constraints: 20432
1762.51/1767.07 c #Conflicts: 523000 | #Constraints: 21432
1762.51/1767.07 c #Conflicts: 524000 | #Constraints: 22432
1762.51/1767.07 c #Conflicts: 525000 | #Constraints: 23432
1762.51/1767.07 c #Conflicts: 526000 | #Constraints: 24432
1762.51/1767.07 c #Conflicts: 527000 | #Constraints: 25432
1762.51/1767.07 c #Conflicts: 528000 | #Constraints: 26432
1762.51/1767.07 c #Conflicts: 529000 | #Constraints: 27432
1762.51/1767.07 c #Conflicts: 530000 | #Constraints: 28432
1762.51/1767.07 c #Conflicts: 531000 | #Constraints: 29432
1762.51/1767.07 c INPROCESSING
1762.51/1767.07 c GARBAGE COLLECT
1762.51/1767.07 c #Conflicts: 532000 | #Constraints: 16029
1762.51/1767.07 c #Conflicts: 533000 | #Constraints: 17029
1762.51/1767.07 c #Conflicts: 534000 | #Constraints: 18029
1762.51/1767.07 c #Conflicts: 535000 | #Constraints: 19029
1762.51/1767.07 c #Conflicts: 536000 | #Constraints: 20029
1762.51/1767.07 c #Conflicts: 537000 | #Constraints: 21029
1762.51/1767.07 c #Conflicts: 538000 | #Constraints: 22029
1762.51/1767.07 c #Conflicts: 539000 | #Constraints: 23029
1762.51/1767.07 c #Conflicts: 540000 | #Constraints: 24029
1762.51/1767.07 c #Conflicts: 541000 | #Constraints: 25029
1762.51/1767.07 c #Conflicts: 542000 | #Constraints: 26029
1762.51/1767.07 c #Conflicts: 543000 | #Constraints: 27029
1762.51/1767.07 c #Conflicts: 544000 | #Constraints: 28029
1762.51/1767.07 c #Conflicts: 545000 | #Constraints: 29029
1762.51/1767.07 c #Conflicts: 546000 | #Constraints: 30029
1762.51/1767.07 c INPROCESSING
1762.51/1767.07 c GARBAGE COLLECT
1762.51/1767.07 c #Conflicts: 547000 | #Constraints: 16425
1762.51/1767.07 c #Conflicts: 548000 | #Constraints: 17425
1762.51/1767.07 c #Conflicts: 549000 | #Constraints: 18425
1762.51/1767.07 c #Conflicts: 550000 | #Constraints: 19425
1762.51/1767.08 c #Conflicts: 551000 | #Constraints: 20425
1762.51/1767.08 c #Conflicts: 552000 | #Constraints: 21425
1762.51/1767.08 c #Conflicts: 553000 | #Constraints: 22425
1762.51/1767.08 c #Conflicts: 554000 | #Constraints: 23425
1762.51/1767.08 c #Conflicts: 555000 | #Constraints: 24425
1762.51/1767.08 c #Conflicts: 556000 | #Constraints: 25425
1762.51/1767.08 c #Conflicts: 557000 | #Constraints: 26425
1762.51/1767.08 c #Conflicts: 558000 | #Constraints: 27425
1762.51/1767.08 c #Conflicts: 559000 | #Constraints: 28425
1762.51/1767.08 c #Conflicts: 560000 | #Constraints: 29425
1762.51/1767.08 c #Conflicts: 561000 | #Constraints: 30425
1762.51/1767.08 c INPROCESSING
1762.51/1767.08 c GARBAGE COLLECT
1762.51/1767.08 c #Conflicts: 562000 | #Constraints: 16631
1762.51/1767.08 c #Conflicts: 563000 | #Constraints: 17631
1762.51/1767.08 c #Conflicts: 564000 | #Constraints: 18631
1762.51/1767.08 c #Conflicts: 565000 | #Constraints: 19631
1762.51/1767.08 c #Conflicts: 566000 | #Constraints: 20631
1762.51/1767.08 c #Conflicts: 567000 | #Constraints: 21631
1762.51/1767.08 c #Conflicts: 568000 | #Constraints: 22631
1762.51/1767.08 c #Conflicts: 569000 | #Constraints: 23631
1762.51/1767.08 c #Conflicts: 570000 | #Constraints: 24631
1762.51/1767.08 c #Conflicts: 571000 | #Constraints: 25631
1762.51/1767.08 c #Conflicts: 572000 | #Constraints: 26631
1762.51/1767.08 c #Conflicts: 573000 | #Constraints: 27631
1762.51/1767.08 c #Conflicts: 574000 | #Constraints: 28631
1762.51/1767.08 c #Conflicts: 575000 | #Constraints: 29631
1762.51/1767.08 c #Conflicts: 576000 | #Constraints: 30631
1762.51/1767.08 c INPROCESSING
1762.51/1767.08 c GARBAGE COLLECT
1762.51/1767.08 c #Conflicts: 577000 | #Constraints: 16633
1762.51/1767.08 c #Conflicts: 578000 | #Constraints: 17633
1762.51/1767.08 c #Conflicts: 579000 | #Constraints: 18633
1762.51/1767.08 c #Conflicts: 580000 | #Constraints: 19633
1762.51/1767.08 c #Conflicts: 581000 | #Constraints: 20633
1762.51/1767.08 c #Conflicts: 582000 | #Constraints: 21633
1762.51/1767.08 c #Conflicts: 583000 | #Constraints: 22633
1762.51/1767.08 c #Conflicts: 584000 | #Constraints: 23633
1762.51/1767.08 c #Conflicts: 585000 | #Constraints: 24633
1762.51/1767.08 c #Conflicts: 586000 | #Constraints: 25633
1762.51/1767.08 c #Conflicts: 587000 | #Constraints: 26633
1762.51/1767.08 c #Conflicts: 588000 | #Constraints: 27633
1915.61/1920.55 c #Conflicts: 589000 | #Constraints: 28633
1915.61/1920.55 c #Conflicts: 590000 | #Constraints: 29633
1915.61/1920.55 c #Conflicts: 591000 | #Constraints: 30633
1915.61/1920.55 c INPROCESSING
1915.61/1920.55 c GARBAGE COLLECT
1915.61/1920.55 c #Conflicts: 592000 | #Constraints: 16429
1915.61/1920.55 c #Conflicts: 593000 | #Constraints: 17429
1915.61/1920.55 c #Conflicts: 594000 | #Constraints: 18429
1915.61/1920.55 c #Conflicts: 595000 | #Constraints: 19429
1915.61/1920.55 c #Conflicts: 596000 | #Constraints: 20429
1915.61/1920.55 c #Conflicts: 597000 | #Constraints: 21429
1915.61/1920.55 c #Conflicts: 598000 | #Constraints: 22429
1915.61/1920.55 c #Conflicts: 599000 | #Constraints: 23429
1915.61/1920.55 c #Conflicts: 600000 | #Constraints: 24429
1915.61/1920.55 c #Conflicts: 601000 | #Constraints: 25429
1915.61/1920.55 c #Conflicts: 602000 | #Constraints: 26429
1915.61/1920.55 c #Conflicts: 603000 | #Constraints: 27429
1915.61/1920.55 c #Conflicts: 604000 | #Constraints: 28429
1915.61/1920.55 c #Conflicts: 605000 | #Constraints: 29429
1915.61/1920.55 c #Conflicts: 606000 | #Constraints: 30429
1915.61/1920.55 c #Conflicts: 607000 | #Constraints: 31429
1915.61/1920.55 c INPROCESSING
1915.61/1920.55 c GARBAGE COLLECT
1915.61/1920.55 c #Conflicts: 608000 | #Constraints: 17038
1915.61/1920.55 c #Conflicts: 609000 | #Constraints: 18038
1915.61/1920.55 c #Conflicts: 610000 | #Constraints: 19038
1915.61/1920.55 c #Conflicts: 611000 | #Constraints: 20038
1915.61/1920.55 c #Conflicts: 612000 | #Constraints: 21038
1915.61/1920.55 c #Conflicts: 613000 | #Constraints: 22038
1915.61/1920.55 c #Conflicts: 614000 | #Constraints: 23038
1915.61/1920.55 c #Conflicts: 615000 | #Constraints: 24038
1915.61/1920.55 c #Conflicts: 616000 | #Constraints: 25038
1915.61/1920.55 c #Conflicts: 617000 | #Constraints: 26038
1915.61/1920.55 c #Conflicts: 618000 | #Constraints: 27038
1915.61/1920.55 c #Conflicts: 619000 | #Constraints: 28038
1915.61/1920.55 c #Conflicts: 620000 | #Constraints: 29038
1915.61/1920.55 c #Conflicts: 621000 | #Constraints: 30038
1915.61/1920.55 c #Conflicts: 622000 | #Constraints: 31038
1915.61/1920.55 c #Conflicts: 623000 | #Constraints: 32038
1915.61/1920.55 c INPROCESSING
1915.61/1920.55 c GARBAGE COLLECT
1915.61/1920.55 c #Conflicts: 624000 | #Constraints: 17425
1915.61/1920.55 c #Conflicts: 625000 | #Constraints: 18425
1915.61/1920.55 c #Conflicts: 626000 | #Constraints: 19425
1915.61/1920.55 c #Conflicts: 627000 | #Constraints: 20425
1915.61/1920.55 c #Conflicts: 628000 | #Constraints: 21425
1915.61/1920.55 c #Conflicts: 629000 | #Constraints: 22425
1915.61/1920.55 c #Conflicts: 630000 | #Constraints: 23425
1915.61/1920.55 c #Conflicts: 631000 | #Constraints: 24425
1915.61/1920.55 c #Conflicts: 632000 | #Constraints: 25425
1915.61/1920.55 c #Conflicts: 633000 | #Constraints: 26425
1915.61/1920.55 c #Conflicts: 634000 | #Constraints: 27425
1915.61/1920.55 c #Conflicts: 635000 | #Constraints: 28425
1915.61/1920.55 c #Conflicts: 636000 | #Constraints: 29425
1915.61/1920.55 c #Conflicts: 637000 | #Constraints: 30425
1915.61/1920.55 c #Conflicts: 638000 | #Constraints: 31425
1915.61/1920.55 c #Conflicts: 639000 | #Constraints: 32425
1915.61/1920.55 c INPROCESSING
1915.61/1920.55 c GARBAGE COLLECT
1915.61/1920.55 c #Conflicts: 640000 | #Constraints: 17619
1915.61/1920.55 c #Conflicts: 641000 | #Constraints: 18619
1915.61/1920.55 c #Conflicts: 642000 | #Constraints: 19619
1915.61/1920.55 c #Conflicts: 643000 | #Constraints: 20619
1915.61/1920.55 c #Conflicts: 644000 | #Constraints: 21619
1915.61/1920.55 c #Conflicts: 645000 | #Constraints: 22619
1915.61/1920.55 c #Conflicts: 646000 | #Constraints: 23619
1915.61/1920.55 c #Conflicts: 647000 | #Constraints: 24619
1915.61/1920.55 c #Conflicts: 648000 | #Constraints: 25619
1915.61/1920.55 c #Conflicts: 649000 | #Constraints: 26619
1915.61/1920.55 c #Conflicts: 650000 | #Constraints: 27619
1915.61/1920.55 c #Conflicts: 651000 | #Constraints: 28619
1915.61/1920.55 c #Conflicts: 652000 | #Constraints: 29619
1915.61/1920.55 c #Conflicts: 653000 | #Constraints: 30619
1915.61/1920.55 c #Conflicts: 654000 | #Constraints: 31619
1915.61/1920.55 c #Conflicts: 655000 | #Constraints: 32619
1915.61/1920.55 c INPROCESSING
1915.61/1920.55 c GARBAGE COLLECT
1915.61/1920.55 c #Conflicts: 656000 | #Constraints: 17627
1915.61/1920.55 c #Conflicts: 657000 | #Constraints: 18627
1915.61/1920.55 c #Conflicts: 658000 | #Constraints: 19627
1915.61/1920.55 c #Conflicts: 659000 | #Constraints: 20627
1915.61/1920.55 c #Conflicts: 660000 | #Constraints: 21627
1915.61/1920.55 c #Conflicts: 661000 | #Constraints: 22627
1915.61/1920.55 c #Conflicts: 662000 | #Constraints: 23627
1915.61/1920.55 c #Conflicts: 663000 | #Constraints: 24627
1915.61/1920.55 c #Conflicts: 664000 | #Constraints: 25627
2220.05/2225.75 c #Conflicts: 665000 | #Constraints: 26627
2220.05/2225.75 c #Conflicts: 666000 | #Constraints: 27627
2220.05/2225.75 c #Conflicts: 667000 | #Constraints: 28627
2220.05/2225.75 c #Conflicts: 668000 | #Constraints: 29627
2220.05/2225.75 c #Conflicts: 669000 | #Constraints: 30627
2220.05/2225.75 c #Conflicts: 670000 | #Constraints: 31627
2220.05/2225.75 c #Conflicts: 671000 | #Constraints: 32627
2220.05/2225.75 c INPROCESSING
2220.05/2225.75 c GARBAGE COLLECT
2220.05/2225.75 c #Conflicts: 672000 | #Constraints: 17422
2220.05/2225.75 c #Conflicts: 673000 | #Constraints: 18422
2220.05/2225.75 c #Conflicts: 674000 | #Constraints: 19422
2220.05/2225.75 c #Conflicts: 675000 | #Constraints: 20422
2220.05/2225.75 c #Conflicts: 676000 | #Constraints: 21422
2220.05/2225.75 c #Conflicts: 677000 | #Constraints: 22422
2220.05/2225.75 c #Conflicts: 678000 | #Constraints: 23422
2220.05/2225.75 c #Conflicts: 679000 | #Constraints: 24422
2220.05/2225.75 c #Conflicts: 680000 | #Constraints: 25422
2220.05/2225.75 c #Conflicts: 681000 | #Constraints: 26422
2220.05/2225.75 c #Conflicts: 682000 | #Constraints: 27422
2220.05/2225.75 c #Conflicts: 683000 | #Constraints: 28422
2220.05/2225.75 c #Conflicts: 684000 | #Constraints: 29422
2220.05/2225.75 c #Conflicts: 685000 | #Constraints: 30422
2220.05/2225.75 c #Conflicts: 686000 | #Constraints: 31422
2220.05/2225.75 c #Conflicts: 687000 | #Constraints: 32422
2220.05/2225.75 c #Conflicts: 688000 | #Constraints: 33422
2220.05/2225.75 c INPROCESSING
2220.05/2225.75 c GARBAGE COLLECT
2220.05/2225.75 c #Conflicts: 689000 | #Constraints: 18016
2220.05/2225.75 c #Conflicts: 690000 | #Constraints: 19016
2220.05/2225.75 c #Conflicts: 691000 | #Constraints: 20016
2220.05/2225.75 c #Conflicts: 692000 | #Constraints: 21016
2220.05/2225.75 c #Conflicts: 693000 | #Constraints: 22016
2220.05/2225.75 c #Conflicts: 694000 | #Constraints: 23016
2220.05/2225.75 c #Conflicts: 695000 | #Constraints: 24016
2220.05/2225.75 c #Conflicts: 696000 | #Constraints: 25016
2220.05/2225.75 c #Conflicts: 697000 | #Constraints: 26016
2220.05/2225.75 c #Conflicts: 698000 | #Constraints: 27016
2220.05/2225.75 c #Conflicts: 699000 | #Constraints: 28016
2220.05/2225.75 c #Conflicts: 700000 | #Constraints: 29016
2220.05/2225.75 c #Conflicts: 701000 | #Constraints: 30016
2220.05/2225.75 c #Conflicts: 702000 | #Constraints: 31016
2220.05/2225.75 c #Conflicts: 703000 | #Constraints: 32016
2220.05/2225.75 c #Conflicts: 704000 | #Constraints: 33016
2220.05/2225.75 c #Conflicts: 705000 | #Constraints: 34016
2220.05/2225.75 c INPROCESSING
2220.05/2225.75 c GARBAGE COLLECT
2220.05/2225.75 c #Conflicts: 706000 | #Constraints: 18422
2220.05/2225.75 c #Conflicts: 707000 | #Constraints: 19422
2220.05/2225.75 c #Conflicts: 708000 | #Constraints: 20422
2220.05/2225.75 c #Conflicts: 709000 | #Constraints: 21422
2220.05/2225.75 c #Conflicts: 710000 | #Constraints: 22422
2220.05/2225.75 c #Conflicts: 711000 | #Constraints: 23422
2220.05/2225.75 c #Conflicts: 712000 | #Constraints: 24422
2220.05/2225.75 c #Conflicts: 713000 | #Constraints: 25422
2220.05/2225.75 c #Conflicts: 714000 | #Constraints: 26422
2220.05/2225.75 c #Conflicts: 715000 | #Constraints: 27422
2220.05/2225.75 c #Conflicts: 716000 | #Constraints: 28422
2220.05/2225.75 c #Conflicts: 717000 | #Constraints: 29422
2220.05/2225.75 c #Conflicts: 718000 | #Constraints: 30422
2220.05/2225.75 c #Conflicts: 719000 | #Constraints: 31422
2220.05/2225.75 c #Conflicts: 720000 | #Constraints: 32422
2220.05/2225.75 c #Conflicts: 721000 | #Constraints: 33422
2220.05/2225.75 c #Conflicts: 722000 | #Constraints: 34422
2220.05/2225.75 c INPROCESSING
2220.05/2225.75 c GARBAGE COLLECT
2220.05/2225.75 c #Conflicts: 723000 | #Constraints: 18633
2220.05/2225.75 c #Conflicts: 724000 | #Constraints: 19633
2220.05/2225.75 c #Conflicts: 725000 | #Constraints: 20633
2220.05/2225.75 c #Conflicts: 726000 | #Constraints: 21633
2220.05/2225.75 c #Conflicts: 727000 | #Constraints: 22633
2220.05/2225.75 c #Conflicts: 728000 | #Constraints: 23633
2220.05/2225.75 c #Conflicts: 729000 | #Constraints: 24633
2220.05/2225.75 c #Conflicts: 730000 | #Constraints: 25633
2220.05/2225.75 c #Conflicts: 731000 | #Constraints: 26633
2220.05/2225.75 c #Conflicts: 732000 | #Constraints: 27633
2220.05/2225.75 c #Conflicts: 733000 | #Constraints: 28633
2220.05/2225.75 c #Conflicts: 734000 | #Constraints: 29633
2220.05/2225.75 c #Conflicts: 735000 | #Constraints: 30633
2220.05/2225.75 c #Conflicts: 736000 | #Constraints: 31633
2220.05/2225.75 c #Conflicts: 737000 | #Constraints: 32633
2220.05/2225.75 c #Conflicts: 738000 | #Constraints: 33633
2220.05/2225.75 c #Conflicts: 739000 | #Constraints: 34633
2220.05/2225.75 c INPROCESSING
2220.05/2225.75 c GARBAGE COLLECT
2421.24/2427.46 c #Conflicts: 740000 | #Constraints: 18639
2421.24/2427.46 c #Conflicts: 741000 | #Constraints: 19639
2421.24/2427.46 c #Conflicts: 742000 | #Constraints: 20639
2421.24/2427.46 c #Conflicts: 743000 | #Constraints: 21639
2421.24/2427.46 c #Conflicts: 744000 | #Constraints: 22639
2421.24/2427.46 c #Conflicts: 745000 | #Constraints: 23639
2421.24/2427.46 c #Conflicts: 746000 | #Constraints: 24639
2421.24/2427.46 c #Conflicts: 747000 | #Constraints: 25639
2421.24/2427.46 c #Conflicts: 748000 | #Constraints: 26639
2421.24/2427.46 c #Conflicts: 749000 | #Constraints: 27639
2421.24/2427.46 c #Conflicts: 750000 | #Constraints: 28639
2421.24/2427.46 c #Conflicts: 751000 | #Constraints: 29639
2421.24/2427.46 c #Conflicts: 752000 | #Constraints: 30639
2421.24/2427.46 c #Conflicts: 753000 | #Constraints: 31639
2421.24/2427.46 c #Conflicts: 754000 | #Constraints: 32639
2421.24/2427.46 c #Conflicts: 755000 | #Constraints: 33639
2421.24/2427.46 c #Conflicts: 756000 | #Constraints: 34639
2421.24/2427.46 c INPROCESSING
2421.24/2427.46 c GARBAGE COLLECT
2421.24/2427.46 c #Conflicts: 757000 | #Constraints: 18431
2421.24/2427.46 c #Conflicts: 758000 | #Constraints: 19431
2421.24/2427.46 c #Conflicts: 759000 | #Constraints: 20431
2421.24/2427.46 c #Conflicts: 760000 | #Constraints: 21431
2421.24/2427.46 c #Conflicts: 761000 | #Constraints: 22431
2421.24/2427.46 c #Conflicts: 762000 | #Constraints: 23431
2421.24/2427.46 c #Conflicts: 763000 | #Constraints: 24431
2421.24/2427.46 c #Conflicts: 764000 | #Constraints: 25431
2421.24/2427.46 c #Conflicts: 765000 | #Constraints: 26431
2421.24/2427.46 c #Conflicts: 766000 | #Constraints: 27431
2421.24/2427.46 c #Conflicts: 767000 | #Constraints: 28431
2421.24/2427.46 c #Conflicts: 768000 | #Constraints: 29431
2421.24/2427.46 c #Conflicts: 769000 | #Constraints: 30431
2421.24/2427.46 c #Conflicts: 770000 | #Constraints: 31431
2421.24/2427.46 c #Conflicts: 771000 | #Constraints: 32431
2421.24/2427.46 c #Conflicts: 772000 | #Constraints: 33431
2421.24/2427.46 c #Conflicts: 773000 | #Constraints: 34431
2421.24/2427.46 c #Conflicts: 774000 | #Constraints: 35431
2421.24/2427.46 c INPROCESSING
2421.24/2427.46 c GARBAGE COLLECT
2421.24/2427.46 c #Conflicts: 775000 | #Constraints: 19031
2421.24/2427.46 c #Conflicts: 776000 | #Constraints: 20031
2421.24/2427.46 c #Conflicts: 777000 | #Constraints: 21031
2421.24/2427.46 c #Conflicts: 778000 | #Constraints: 22031
2421.24/2427.46 c #Conflicts: 779000 | #Constraints: 23031
2421.24/2427.46 c #Conflicts: 780000 | #Constraints: 24031
2421.24/2427.46 c #Conflicts: 781000 | #Constraints: 25031
2421.24/2427.46 c #Conflicts: 782000 | #Constraints: 26031
2421.24/2427.46 c #Conflicts: 783000 | #Constraints: 27031
2421.24/2427.46 c #Conflicts: 784000 | #Constraints: 28031
2421.24/2427.46 c #Conflicts: 785000 | #Constraints: 29031
2421.24/2427.46 c #Conflicts: 786000 | #Constraints: 30031
2421.24/2427.46 c #Conflicts: 787000 | #Constraints: 31031
2421.24/2427.46 c #Conflicts: 788000 | #Constraints: 32031
2421.24/2427.46 c #Conflicts: 789000 | #Constraints: 33031
2421.24/2427.46 c #Conflicts: 790000 | #Constraints: 34031
2421.24/2427.46 c #Conflicts: 791000 | #Constraints: 35031
2421.24/2427.46 c #Conflicts: 792000 | #Constraints: 36031
2421.24/2427.46 c INPROCESSING
2421.24/2427.46 c GARBAGE COLLECT
2421.24/2427.46 c #Conflicts: 793000 | #Constraints: 19424
2421.24/2427.46 c #Conflicts: 794000 | #Constraints: 20424
2421.24/2427.46 c #Conflicts: 795000 | #Constraints: 21424
2421.24/2427.46 c #Conflicts: 796000 | #Constraints: 22424
2421.24/2427.46 c #Conflicts: 797000 | #Constraints: 23424
2421.24/2427.46 c #Conflicts: 798000 | #Constraints: 24424
2421.24/2427.46 c #Conflicts: 799000 | #Constraints: 25424
2421.24/2427.46 c #Conflicts: 800000 | #Constraints: 26424
2421.24/2427.46 c #Conflicts: 801000 | #Constraints: 27424
2421.24/2427.46 c #Conflicts: 802000 | #Constraints: 28424
2421.24/2427.46 c #Conflicts: 803000 | #Constraints: 29424
2421.24/2427.46 c #Conflicts: 804000 | #Constraints: 30424
2421.24/2427.46 c #Conflicts: 805000 | #Constraints: 31424
2421.24/2427.46 c #Conflicts: 806000 | #Constraints: 32424
2421.24/2427.46 c #Conflicts: 807000 | #Constraints: 33424
2421.24/2427.46 c #Conflicts: 808000 | #Constraints: 34424
2421.24/2427.46 c #Conflicts: 809000 | #Constraints: 35424
2421.24/2427.46 c #Conflicts: 810000 | #Constraints: 36424
2421.24/2427.46 c INPROCESSING
2421.24/2427.46 c GARBAGE COLLECT
2421.24/2427.46 c #Conflicts: 811000 | #Constraints: 19621
2421.24/2427.46 c #Conflicts: 812000 | #Constraints: 20621
2421.24/2427.46 c #Conflicts: 813000 | #Constraints: 21621
2421.24/2427.46 c #Conflicts: 814000 | #Constraints: 22621
2421.24/2427.46 c #Conflicts: 815000 | #Constraints: 23621
2421.24/2427.46 c #Conflicts: 816000 | #Constraints: 24621
2609.56/2616.28 c #Conflicts: 817000 | #Constraints: 25621
2609.56/2616.28 c #Conflicts: 818000 | #Constraints: 26621
2609.56/2616.28 c #Conflicts: 819000 | #Constraints: 27621
2609.56/2616.28 c #Conflicts: 820000 | #Constraints: 28621
2609.56/2616.28 c #Conflicts: 821000 | #Constraints: 29621
2609.56/2616.28 c #Conflicts: 822000 | #Constraints: 30621
2609.56/2616.28 c #Conflicts: 823000 | #Constraints: 31621
2609.56/2616.28 c #Conflicts: 824000 | #Constraints: 32621
2609.56/2616.28 c #Conflicts: 825000 | #Constraints: 33621
2609.56/2616.28 c #Conflicts: 826000 | #Constraints: 34621
2609.56/2616.28 c #Conflicts: 827000 | #Constraints: 35621
2609.56/2616.28 c #Conflicts: 828000 | #Constraints: 36621
2609.56/2616.28 c INPROCESSING
2609.56/2616.28 c GARBAGE COLLECT
2609.56/2616.28 c #Conflicts: 829000 | #Constraints: 19628
2609.56/2616.28 c #Conflicts: 830000 | #Constraints: 20628
2609.56/2616.28 c #Conflicts: 831000 | #Constraints: 21628
2609.56/2616.28 c #Conflicts: 832000 | #Constraints: 22628
2609.56/2616.28 c #Conflicts: 833000 | #Constraints: 23628
2609.56/2616.28 c #Conflicts: 834000 | #Constraints: 24628
2609.56/2616.28 c #Conflicts: 835000 | #Constraints: 25628
2609.56/2616.28 c #Conflicts: 836000 | #Constraints: 26628
2609.56/2616.28 c #Conflicts: 837000 | #Constraints: 27628
2609.56/2616.28 c #Conflicts: 838000 | #Constraints: 28628
2609.56/2616.28 c #Conflicts: 839000 | #Constraints: 29628
2609.56/2616.28 c #Conflicts: 840000 | #Constraints: 30628
2609.56/2616.28 c #Conflicts: 841000 | #Constraints: 31628
2609.56/2616.28 c #Conflicts: 842000 | #Constraints: 32628
2609.56/2616.28 c #Conflicts: 843000 | #Constraints: 33628
2609.56/2616.28 c #Conflicts: 844000 | #Constraints: 34628
2609.56/2616.28 c #Conflicts: 845000 | #Constraints: 35628
2609.56/2616.28 c #Conflicts: 846000 | #Constraints: 36628
2609.56/2616.28 c INPROCESSING
2609.56/2616.28 c GARBAGE COLLECT
2609.56/2616.28 c #Conflicts: 847000 | #Constraints: 19425
2609.56/2616.28 c #Conflicts: 848000 | #Constraints: 20425
2609.56/2616.28 c #Conflicts: 849000 | #Constraints: 21425
2609.56/2616.28 c #Conflicts: 850000 | #Constraints: 22425
2609.56/2616.28 c #Conflicts: 851000 | #Constraints: 23425
2609.56/2616.28 c #Conflicts: 852000 | #Constraints: 24425
2609.56/2616.28 c #Conflicts: 853000 | #Constraints: 25425
2609.56/2616.28 c #Conflicts: 854000 | #Constraints: 26425
2609.56/2616.28 c #Conflicts: 855000 | #Constraints: 27425
2609.56/2616.28 c #Conflicts: 856000 | #Constraints: 28425
2609.56/2616.28 c #Conflicts: 857000 | #Constraints: 29425
2609.56/2616.28 c #Conflicts: 858000 | #Constraints: 30425
2609.56/2616.28 c #Conflicts: 859000 | #Constraints: 31425
2609.56/2616.28 c #Conflicts: 860000 | #Constraints: 32425
2609.56/2616.28 c #Conflicts: 861000 | #Constraints: 33425
2609.56/2616.28 c #Conflicts: 862000 | #Constraints: 34425
2609.56/2616.28 c #Conflicts: 863000 | #Constraints: 35425
2609.56/2616.28 c #Conflicts: 864000 | #Constraints: 36425
2609.56/2616.28 c #Conflicts: 865000 | #Constraints: 37425
2609.56/2616.28 c INPROCESSING
2609.56/2616.28 c GARBAGE COLLECT
2609.56/2616.28 c #Conflicts: 866000 | #Constraints: 20021
2609.56/2616.28 c #Conflicts: 867000 | #Constraints: 21021
2609.56/2616.28 c #Conflicts: 868000 | #Constraints: 22021
2609.56/2616.28 c #Conflicts: 869000 | #Constraints: 23021
2609.56/2616.28 c #Conflicts: 870000 | #Constraints: 24021
2609.56/2616.28 c #Conflicts: 871000 | #Constraints: 25021
2609.56/2616.28 c #Conflicts: 872000 | #Constraints: 26021
2609.56/2616.28 c #Conflicts: 873000 | #Constraints: 27021
2609.56/2616.28 c #Conflicts: 874000 | #Constraints: 28021
2609.56/2616.28 c #Conflicts: 875000 | #Constraints: 29021
2609.56/2616.28 c #Conflicts: 876000 | #Constraints: 30021
2609.56/2616.28 c #Conflicts: 877000 | #Constraints: 31021
2609.56/2616.28 c #Conflicts: 878000 | #Constraints: 32021
2609.56/2616.28 c #Conflicts: 879000 | #Constraints: 33021
2609.56/2616.28 c #Conflicts: 880000 | #Constraints: 34021
2609.56/2616.28 c #Conflicts: 881000 | #Constraints: 35021
2609.56/2616.28 c #Conflicts: 882000 | #Constraints: 36021
2609.56/2616.28 c #Conflicts: 883000 | #Constraints: 37021
2609.56/2616.28 c #Conflicts: 884000 | #Constraints: 38021
2609.56/2616.28 c INPROCESSING
2609.56/2616.28 c GARBAGE COLLECT
2609.56/2616.28 c #Conflicts: 885000 | #Constraints: 20421
2609.56/2616.28 c #Conflicts: 886000 | #Constraints: 21421
2609.56/2616.28 c #Conflicts: 887000 | #Constraints: 22421
2609.56/2616.28 c #Conflicts: 888000 | #Constraints: 23421
2609.56/2616.28 c #Conflicts: 889000 | #Constraints: 24421
2609.56/2616.28 c #Conflicts: 890000 | #Constraints: 25421
2609.56/2616.28 c #Conflicts: 891000 | #Constraints: 26421
2609.56/2616.28 c #Conflicts: 892000 | #Constraints: 27421
2855.64/2862.91 c #Conflicts: 893000 | #Constraints: 28421
2855.64/2862.91 c #Conflicts: 894000 | #Constraints: 29421
2855.64/2862.91 c #Conflicts: 895000 | #Constraints: 30421
2855.64/2862.91 c #Conflicts: 896000 | #Constraints: 31421
2855.64/2862.91 c #Conflicts: 897000 | #Constraints: 32421
2855.64/2862.91 c #Conflicts: 898000 | #Constraints: 33421
2855.64/2862.91 c #Conflicts: 899000 | #Constraints: 34421
2855.64/2862.91 c #Conflicts: 900000 | #Constraints: 35421
2855.64/2862.91 c #Conflicts: 901000 | #Constraints: 36421
2855.64/2862.91 c #Conflicts: 902000 | #Constraints: 37421
2855.64/2862.91 c #Conflicts: 903000 | #Constraints: 38421
2855.64/2862.91 c INPROCESSING
2855.64/2862.91 c GARBAGE COLLECT
2855.64/2862.91 c #Conflicts: 904000 | #Constraints: 20615
2855.64/2862.91 c #Conflicts: 905000 | #Constraints: 21615
2855.64/2862.91 c #Conflicts: 906000 | #Constraints: 22615
2855.64/2862.91 c #Conflicts: 907000 | #Constraints: 23615
2855.64/2862.91 c #Conflicts: 908000 | #Constraints: 24615
2855.64/2862.91 c #Conflicts: 909000 | #Constraints: 25615
2855.64/2862.91 c #Conflicts: 910000 | #Constraints: 26615
2855.64/2862.91 c #Conflicts: 911000 | #Constraints: 27615
2855.64/2862.91 c #Conflicts: 912000 | #Constraints: 28615
2855.64/2862.91 c #Conflicts: 913000 | #Constraints: 29615
2855.64/2862.91 c #Conflicts: 914000 | #Constraints: 30615
2855.64/2862.91 c #Conflicts: 915000 | #Constraints: 31615
2855.64/2862.91 c #Conflicts: 916000 | #Constraints: 32615
2855.64/2862.91 c #Conflicts: 917000 | #Constraints: 33615
2855.64/2862.91 c #Conflicts: 918000 | #Constraints: 34615
2855.64/2862.91 c #Conflicts: 919000 | #Constraints: 35615
2855.64/2862.91 c #Conflicts: 920000 | #Constraints: 36615
2855.64/2862.91 c #Conflicts: 921000 | #Constraints: 37615
2855.64/2862.91 c #Conflicts: 922000 | #Constraints: 38615
2855.64/2862.91 c INPROCESSING
2855.64/2862.91 c GARBAGE COLLECT
2855.64/2862.91 c #Conflicts: 923000 | #Constraints: 20614
2855.64/2862.91 c #Conflicts: 924000 | #Constraints: 21614
2855.64/2862.91 c #Conflicts: 925000 | #Constraints: 22614
2855.64/2862.91 c #Conflicts: 926000 | #Constraints: 23614
2855.64/2862.91 c #Conflicts: 927000 | #Constraints: 24614
2855.64/2862.91 c #Conflicts: 928000 | #Constraints: 25614
2855.64/2862.91 c #Conflicts: 929000 | #Constraints: 26614
2855.64/2862.91 c #Conflicts: 930000 | #Constraints: 27614
2855.64/2862.91 c #Conflicts: 931000 | #Constraints: 28614
2855.64/2862.91 c #Conflicts: 932000 | #Constraints: 29614
2855.64/2862.91 c #Conflicts: 933000 | #Constraints: 30614
2855.64/2862.91 c #Conflicts: 934000 | #Constraints: 31614
2855.64/2862.91 c #Conflicts: 935000 | #Constraints: 32614
2855.64/2862.91 c #Conflicts: 936000 | #Constraints: 33614
2855.64/2862.91 c #Conflicts: 937000 | #Constraints: 34614
2855.64/2862.91 c #Conflicts: 938000 | #Constraints: 35614
2855.64/2862.91 c #Conflicts: 939000 | #Constraints: 36614
2855.64/2862.91 c #Conflicts: 940000 | #Constraints: 37614
2855.64/2862.91 c #Conflicts: 941000 | #Constraints: 38614
2855.64/2862.91 c INPROCESSING
2855.64/2862.91 c GARBAGE COLLECT
2855.64/2862.91 c #Conflicts: 942000 | #Constraints: 20433
2855.64/2862.91 c #Conflicts: 943000 | #Constraints: 21433
2855.64/2862.91 c #Conflicts: 944000 | #Constraints: 22433
2855.64/2862.91 c #Conflicts: 945000 | #Constraints: 23433
2855.64/2862.91 c #Conflicts: 946000 | #Constraints: 24433
2855.64/2862.91 c #Conflicts: 947000 | #Constraints: 25433
2855.64/2862.91 c #Conflicts: 948000 | #Constraints: 26433
2855.64/2862.91 c #Conflicts: 949000 | #Constraints: 27433
2855.64/2862.91 c #Conflicts: 950000 | #Constraints: 28433
2855.64/2862.91 c #Conflicts: 951000 | #Constraints: 29433
2855.64/2862.91 c #Conflicts: 952000 | #Constraints: 30433
2855.64/2862.91 c #Conflicts: 953000 | #Constraints: 31433
2855.64/2862.91 c #Conflicts: 954000 | #Constraints: 32433
2855.64/2862.91 c #Conflicts: 955000 | #Constraints: 33433
2855.64/2862.91 c #Conflicts: 956000 | #Constraints: 34433
2855.64/2862.91 c #Conflicts: 957000 | #Constraints: 35433
2855.64/2862.91 c #Conflicts: 958000 | #Constraints: 36433
2855.64/2862.91 c #Conflicts: 959000 | #Constraints: 37433
2855.64/2862.91 c #Conflicts: 960000 | #Constraints: 38433
2855.64/2862.91 c #Conflicts: 961000 | #Constraints: 39433
2855.64/2862.91 c INPROCESSING
2855.64/2862.91 c GARBAGE COLLECT
2855.64/2862.91 c #Conflicts: 962000 | #Constraints: 21046
2855.64/2862.91 c #Conflicts: 963000 | #Constraints: 22046
2855.64/2862.91 c #Conflicts: 964000 | #Constraints: 23046
2855.64/2862.91 c #Conflicts: 965000 | #Constraints: 24046
2855.64/2862.91 c #Conflicts: 966000 | #Constraints: 25046
2855.64/2862.91 c #Conflicts: 967000 | #Constraints: 26046
2855.64/2862.91 c #Conflicts: 968000 | #Constraints: 27046
3419.11/3427.84 c #Conflicts: 969000 | #Constraints: 28046
3419.11/3427.84 c #Conflicts: 970000 | #Constraints: 29046
3419.11/3427.84 c #Conflicts: 971000 | #Constraints: 30046
3419.11/3427.84 c #Conflicts: 972000 | #Constraints: 31046
3419.11/3427.84 c #Conflicts: 973000 | #Constraints: 32046
3419.11/3427.84 c #Conflicts: 974000 | #Constraints: 33046
3419.11/3427.84 c #Conflicts: 975000 | #Constraints: 34046
3419.11/3427.84 c #Conflicts: 976000 | #Constraints: 35046
3419.11/3427.84 c #Conflicts: 977000 | #Constraints: 36046
3419.11/3427.84 c #Conflicts: 978000 | #Constraints: 37046
3419.11/3427.84 c #Conflicts: 979000 | #Constraints: 38046
3419.11/3427.84 c #Conflicts: 980000 | #Constraints: 39046
3419.11/3427.84 c #Conflicts: 981000 | #Constraints: 40046
3419.11/3427.84 c INPROCESSING
3419.11/3427.84 c GARBAGE COLLECT
3419.11/3427.84 c #Conflicts: 982000 | #Constraints: 21440
3419.11/3427.84 c #Conflicts: 983000 | #Constraints: 22440
3419.11/3427.84 c #Conflicts: 984000 | #Constraints: 23440
3419.11/3427.84 c #Conflicts: 985000 | #Constraints: 24440
3419.11/3427.84 c #Conflicts: 986000 | #Constraints: 25440
3419.11/3427.84 c #Conflicts: 987000 | #Constraints: 26440
3419.11/3427.84 c #Conflicts: 988000 | #Constraints: 27440
3419.11/3427.84 c #Conflicts: 989000 | #Constraints: 28440
3419.11/3427.84 c #Conflicts: 990000 | #Constraints: 29440
3419.11/3427.84 c #Conflicts: 991000 | #Constraints: 30440
3419.11/3427.84 c #Conflicts: 992000 | #Constraints: 31440
3419.11/3427.84 c #Conflicts: 993000 | #Constraints: 32440
3419.11/3427.84 c #Conflicts: 994000 | #Constraints: 33440
3419.11/3427.84 c #Conflicts: 995000 | #Constraints: 34440
3419.11/3427.84 c #Conflicts: 996000 | #Constraints: 35440
3419.11/3427.84 c #Conflicts: 997000 | #Constraints: 36440
3419.11/3427.84 c #Conflicts: 998000 | #Constraints: 37440
3419.11/3427.84 c #Conflicts: 999000 | #Constraints: 38440
3419.11/3427.84 c #Conflicts: 1000000 | #Constraints: 39440
3419.11/3427.84 c #Conflicts: 1001000 | #Constraints: 40440
3419.11/3427.84 c INPROCESSING
3419.11/3427.84 c GARBAGE COLLECT
3419.11/3427.84 c #Conflicts: 1002000 | #Constraints: 21642
3419.11/3427.84 c #Conflicts: 1003000 | #Constraints: 22642
3419.11/3427.84 c #Conflicts: 1004000 | #Constraints: 23642
3419.11/3427.84 c #Conflicts: 1005000 | #Constraints: 24642
3419.11/3427.84 c #Conflicts: 1006000 | #Constraints: 25642
3419.11/3427.84 c #Conflicts: 1007000 | #Constraints: 26642
3419.11/3427.84 c #Conflicts: 1008000 | #Constraints: 27642
3419.11/3427.84 c #Conflicts: 1009000 | #Constraints: 28642
3419.11/3427.84 c #Conflicts: 1010000 | #Constraints: 29642
3419.11/3427.84 c #Conflicts: 1011000 | #Constraints: 30642
3419.11/3427.84 c #Conflicts: 1012000 | #Constraints: 31642
3419.11/3427.84 c #Conflicts: 1013000 | #Constraints: 32642
3419.11/3427.84 c #Conflicts: 1014000 | #Constraints: 33642
3419.11/3427.84 c #Conflicts: 1015000 | #Constraints: 34642
3419.11/3427.84 c #Conflicts: 1016000 | #Constraints: 35642
3419.11/3427.84 c #Conflicts: 1017000 | #Constraints: 36642
3419.11/3427.84 c #Conflicts: 1018000 | #Constraints: 37642
3419.11/3427.84 c #Conflicts: 1019000 | #Constraints: 38642
3419.11/3427.84 c #Conflicts: 1020000 | #Constraints: 39642
3419.11/3427.84 c #Conflicts: 1021000 | #Constraints: 40642
3419.11/3427.84 c INPROCESSING
3419.11/3427.84 c GARBAGE COLLECT
3419.11/3427.84 c #Conflicts: 1022000 | #Constraints: 21644
3419.11/3427.84 c #Conflicts: 1023000 | #Constraints: 22644
3419.11/3427.84 c #Conflicts: 1024000 | #Constraints: 23644
3419.11/3427.84 c #Conflicts: 1025000 | #Constraints: 24644
3419.11/3427.84 c #Conflicts: 1026000 | #Constraints: 25644
3419.11/3427.84 c #Conflicts: 1027000 | #Constraints: 26644
3419.11/3427.84 c #Conflicts: 1028000 | #Constraints: 27644
3419.11/3427.84 c #Conflicts: 1029000 | #Constraints: 28644
3419.11/3427.84 c #Conflicts: 1030000 | #Constraints: 29644
3419.11/3427.84 c #Conflicts: 1031000 | #Constraints: 30644
3419.11/3427.84 c #Conflicts: 1032000 | #Constraints: 31644
3419.11/3427.84 c #Conflicts: 1033000 | #Constraints: 32644
3419.11/3427.84 c #Conflicts: 1034000 | #Constraints: 33644
3419.11/3427.84 c #Conflicts: 1035000 | #Constraints: 34644
3419.11/3427.84 c #Conflicts: 1036000 | #Constraints: 35644
3419.11/3427.84 c #Conflicts: 1037000 | #Constraints: 36644
3419.11/3427.84 c #Conflicts: 1038000 | #Constraints: 37644
3419.11/3427.84 c #Conflicts: 1039000 | #Constraints: 38644
3419.11/3427.84 c #Conflicts: 1040000 | #Constraints: 39644
3419.11/3427.84 c #Conflicts: 1041000 | #Constraints: 40644
3419.11/3427.84 c INPROCESSING
3419.11/3427.84 c GARBAGE COLLECT
3419.11/3427.84 c #Conflicts: 1042000 | #Constraints: 21451
3419.11/3427.84 c #Conflicts: 1043000 | #Constraints: 22451
3419.11/3427.84 c #Conflicts: 1044000 | #Constraints: 23451
3600.04/3609.20 c #Conflicts: 1045000 | #Constraints: 24451
3600.04/3609.20 c #Conflicts: 1046000 | #Constraints: 25451
3600.04/3609.20 c #Conflicts: 1047000 | #Constraints: 26451
3600.04/3609.20 c #Conflicts: 1048000 | #Constraints: 27451
3600.04/3609.20 c #Conflicts: 1049000 | #Constraints: 28451
3600.04/3609.20 c #Conflicts: 1050000 | #Constraints: 29451
3600.04/3609.20 c #Conflicts: 1051000 | #Constraints: 30451
3600.04/3609.20 c #Conflicts: 1052000 | #Constraints: 31451
3600.04/3609.20 c #Conflicts: 1053000 | #Constraints: 32451
3600.04/3609.20 c #Conflicts: 1054000 | #Constraints: 33451
3600.04/3609.20 c #Conflicts: 1055000 | #Constraints: 34451
3600.04/3609.20 c #Conflicts: 1056000 | #Constraints: 35451
3600.04/3609.20 c #Conflicts: 1057000 | #Constraints: 36451
3600.04/3609.20 c #Conflicts: 1058000 | #Constraints: 37451
3600.04/3609.20 c #Conflicts: 1059000 | #Constraints: 38451
3600.04/3609.20 c #Conflicts: 1060000 | #Constraints: 39451
3600.04/3609.20 c #Conflicts: 1061000 | #Constraints: 40451
3600.04/3609.20 c #Conflicts: 1062000 | #Constraints: 41451
3600.04/3609.20 c INPROCESSING
3600.04/3609.20 c GARBAGE COLLECT
3600.04/3609.20 c #Conflicts: 1063000 | #Constraints: 22046
3600.04/3609.20 c #Conflicts: 1064000 | #Constraints: 23046
3600.04/3609.20 c #Conflicts: 1065000 | #Constraints: 24046
3600.04/3609.20 c #Conflicts: 1066000 | #Constraints: 25046
3600.04/3609.20 c #Conflicts: 1067000 | #Constraints: 26046
3600.04/3609.20 c #Conflicts: 1068000 | #Constraints: 27046
3600.04/3609.20 c Program interrupted by user.
3600.04/3609.20 c cpu time 3578.46 s
3600.04/3609.20 c deterministic time 636655918000 6.37e+11
3600.04/3609.20 c optimization time 27.2629 s
3600.04/3609.20 c total solve time 3252.14 s
3600.04/3609.20 c core-guided solve time 0 s
3600.04/3609.20 c propagation time 2531.06 s
3600.04/3609.20 c conflict analysis time 579.727 s
3600.04/3609.20 c propagations 173662663
3600.04/3609.20 c resolve steps 5759020
3600.04/3609.20 c decisions 15629352
3600.04/3609.20 c conflicts 1068717
3600.04/3609.20 c restarts 2046
3600.04/3609.20 c inprocessing phases 94
3600.04/3609.20 c input clauses 366
3600.04/3609.20 c input cardinalities 366
3600.04/3609.20 c input general constraints 64
3600.04/3609.20 c input average constraint length 58.85
3600.04/3609.20 c input average constraint degree 11738.12
3600.04/3609.20 c learned clauses 107115
3600.04/3609.20 c learned cardinalities 1751
3600.04/3609.20 c learned general constraints 959850
3600.04/3609.20 c learned average constraint length 1609.33
3600.04/3609.20 c learned average constraint degree 24756994.71
3600.04/3609.20 c watched constraints 495576
3600.04/3609.20 c counting constraints 464338
3600.04/3609.20 c gcd simplifications 45090
3600.04/3609.20 c detected cardinalities 85
3600.04/3609.20 c weakened non-implied lits 243950905
3600.04/3609.20 c weakened non-implying lits 207670
3600.04/3609.20 c original variables 11744
3600.04/3609.20 c clausal propagations 3820075
3600.04/3609.20 c cardinality propagations 11812021
3600.04/3609.20 c watched propagations 6683388
3600.04/3609.20 c counting propagations 150146893
3600.04/3609.20 c watch lookups 30617458013
3600.04/3609.20 c watch backjump lookups 30038623270
3600.04/3609.20 c watch checks 396322580197
3600.04/3609.20 c propagation checks 174172809318
3600.04/3609.20 c constraint additions 5124805277
3600.04/3609.20 c trail pops 190349909
3600.04/3609.20 c formula constraints 796
3600.04/3609.20 c learned constraints 1068716
3600.04/3609.20 c bound constraints 0
3600.04/3609.20 c core-guided constraints 0
3600.04/3609.20 c encountered formula constraints 3879155
3600.04/3609.20 c encountered learned constraints 2948582
3600.04/3609.20 c encountered bound constraints 0
3600.04/3609.20 c encountered core-guided constraints 0
3600.04/3609.20 c LP total time 0 s
3600.04/3609.20 c LP solve time 0 s
3600.04/3609.20 c LP constraints added 0
3600.04/3609.20 c LP constraints removed 0
3600.04/3609.20 c LP pivots internal 0
3600.04/3609.20 c LP pivots root 0
3600.04/3609.20 c LP calls 0
3600.04/3609.20 c LP optimalities 0
3600.04/3609.20 c LP no pivot count 0
3600.04/3609.20 c LP infeasibilities 0
3600.04/3609.20 c LP valid Farkas constraints 0
3600.04/3609.20 c LP learned Farkas constraints 0
3600.04/3609.20 c LP basis resets 0
3600.04/3609.20 c LP cycling count 0
3600.04/3609.20 c LP singular count 0
3600.04/3609.20 c LP no primal count 0
3600.04/3609.20 c LP no farkas count 0
3600.04/3609.20 c LP other issue count 0
3600.04/3609.20 c LP Gomory cuts 0
3600.04/3609.20 c LP learned cuts 0
3600.04/3609.20 c LP deleted cuts 0
3600.04/3609.20 c LP encountered Gomory constraints 0
3600.04/3609.20 c LP encountered Farkas constraints 0
3600.04/3609.20 c LP encountered learned Farkas constraints 0
3600.04/3609.20 c CG auxiliary variables introduced 0
3600.04/3609.20 c CG solutions found 0
3600.04/3609.20 c CG cores constructed 0
3600.04/3609.20 c CG core cardinality constraints returned 0
3600.04/3609.20 c CG unit cores 0
3600.04/3609.20 c CG single cores 0
3600.04/3609.20 c CG blocks removed during cardinality reduction 0
3600.04/3609.20 c CG first core best 0
3600.04/3609.20 c CG decision core best 0
3600.04/3609.20 c CG core reduction tie 0
3600.04/3609.20 c CG core degree average 0.00
3600.04/3609.20 c CG core slack average 0.00
3600.04/3609.20 c CG exhausted 0
3600.04/3609.20 c CG exhaust time 0 s
3600.04/3609.20 c CG trimmed 0
3600.04/3609.20 c CG trim time 0 s
3600.04/3609.20 c CG minimized 0
3600.04/3609.20 c CG minimize time 0 s
3600.04/3609.20 c CG am1 prop time 0 s
3600.04/3609.20 c CG # am1s reformulated 0
3600.04/3609.20 c CG lower bound derived from am1s 0
3600.04/3609.20 c CG # clausal cores 0
3600.04/3609.20 c CG # cardinality cores 0
3600.04/3609.20 c CG # pb cores 0
3600.04/3609.20 c CG # pb reforms 0
3600.04/3609.20 c CG # cores discarded because of pb reform 0
3600.04/3609.20 d LOWERBOUND 0
3600.04/3609.20 d NCORES 0
3600.04/3609.20 d NPBCORES 0
3600.04/3609.20 d NPBREFORM 0
3600.04/3609.20 d NTRIMMED 0
3600.04/3609.20 d NEXHAUSTED 0
3600.04/3609.20 d NAM1S 0
3600.04/3609.20 d AM1LB 0
3600.04/3609.20 c [Papilo Statistics]
3600.04/3609.20 c prepro time 0.0333307s
3600.04/3609.20 c # tsx applied 430
3600.04/3609.20 c # tsx conflicts 0
3600.04/3609.20 c # bound changes 32
3600.04/3609.20 c # side changes 366
3600.04/3609.20 c # coef changes 0
3600.04/3609.20 c # rounds 3
3600.04/3609.20 c # deted vars 32
3600.04/3609.20 c # deted constrs 368
3600.04/3609.20 c # consecutive rounds of only bound changes 0
3600.04/3609.26 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 (57100 MiB free)
memory of node 1: 64510 MiB (60358 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435759-1721173766/watcher-4435759-1721173766 -o /tmp/evaluation-result-4435759-1721173766/solver-4435759-1721173766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721173557-877607 --watchdog 3760 mixed-bag HOME/instance-4435759-1721173766.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=877845, runsolver pid=877842
[startup+0.105044 s]*
/proc/loadavg: 4.04 3.09 3.19 5/243 877846
/proc/meminfo: memFree=120265144/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=93892 memory=19988 CPUtime=0.1 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 4082 0 0 0 9 1 0 0 20 0 1 0 169535310 96145408 4997 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 23473 4997 1907 3002 0 7224 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 93892 KiB
Current children cumulated memory: 19988 KiB
[startup+0.212898 s]*
/proc/loadavg: 4.04 3.09 3.19 5/243 877846
/proc/meminfo: memFree=120234036/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=131508 memory=63604 CPUtime=0.21 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 13491 0 0 0 18 3 0 0 20 0 1 0 169535310 134664192 15901 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 32877 15901 3824 3002 0 16628 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 131508 KiB
Current children cumulated memory: 63604 KiB
[startup+0.312877 s]*
/proc/loadavg: 4.04 3.09 3.19 5/243 877846
/proc/meminfo: memFree=120223312/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=142076 memory=73796 CPUtime=0.31 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 17208 0 0 0 27 4 0 0 20 0 1 0 169535310 145485824 18449 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 35519 18449 3840 3002 0 19270 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 142076 KiB
Current children cumulated memory: 73796 KiB
[startup+0.700322 s]
/proc/loadavg: 4.04 3.09 3.19 5/243 877846
/proc/meminfo: memFree=120197708/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=191372 memory=103400 CPUtime=0.68 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 24127 0 0 0 63 5 0 0 20 0 1 0 169535310 195964928 25850 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 47843 25850 3872 3002 0 31594 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 191372 KiB
Current children cumulated memory: 103400 KiB
[startup+1.50032 s]
/proc/loadavg: 4.04 3.11 3.20 5/243 877846
/proc/meminfo: memFree=120184656/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=202444 memory=114752 CPUtime=1.48 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 26960 0 0 0 142 6 0 0 20 0 1 0 169535310 207302656 28688 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 50611 28688 3872 3002 0 34362 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 202444 KiB
Current children cumulated memory: 114752 KiB
[startup+3.11266 s]
/proc/loadavg: 4.04 3.11 3.20 5/243 877848
/proc/meminfo: memFree=120039628/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=349248 memory=253828 CPUtime=3.09 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 58410 0 0 0 298 11 0 0 20 0 1 0 169535310 357629952 63457 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 87312 63457 4087 3002 0 71063 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 349248 KiB
Current children cumulated memory: 253828 KiB
[startup+6.30028 s]
/proc/loadavg: 4.03 3.12 3.20 5/243 877848
/proc/meminfo: memFree=119988164/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=400036 memory=304516 CPUtime=6.27 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 71052 0 0 0 614 13 0 0 20 0 1 0 169535310 409636864 76129 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 100009 76129 4102 3002 0 83760 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 400036 KiB
Current children cumulated memory: 304516 KiB
[startup+12.7003 s]
/proc/loadavg: 4.03 3.14 3.20 5/243 877848
/proc/meminfo: memFree=119987804/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=400036 memory=304792 CPUtime=12.65 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 71109 0 0 0 1252 13 0 0 20 0 1 0 169535310 409636864 76198 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 100009 76198 4106 3002 0 83760 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 400036 KiB
Current children cumulated memory: 304792 KiB
[startup+25.5003 s]
/proc/loadavg: 4.03 3.16 3.21 5/243 877851
/proc/meminfo: memFree=119972060/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=414720 memory=319804 CPUtime=25.41 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 74896 0 0 0 2527 14 0 0 20 0 1 0 169535310 424673280 79951 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 103680 79951 4106 3002 0 87431 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 414720 KiB
Current children cumulated memory: 319804 KiB
[startup+51.113 s]
/proc/loadavg: 4.07 3.26 3.25 5/243 877854
/proc/meminfo: memFree=119559184/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=416496 memory=321900 CPUtime=50.96 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 75384 0 0 0 5079 17 0 0 20 0 1 0 169535310 426491904 80475 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 104124 80475 4106 3002 0 87875 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 416496 KiB
Current children cumulated memory: 321900 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 3.41 3.30 5/245 877868
/proc/meminfo: memFree=119574900/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=494708 memory=387584 CPUtime=102.01 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 91817 0 0 0 10176 25 0 0 20 0 1 0 169535310 506580992 96896 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 123677 96896 4106 3002 0 107428 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 494708 KiB
Current children cumulated memory: 387584 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 3.56 3.36 5/245 877878
/proc/meminfo: memFree=119203860/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=608316 memory=479948 CPUtime=161.86 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 114943 0 0 0 16151 35 0 0 20 0 1 0 169535310 622915584 119987 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 152079 119987 4106 3002 0 135830 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 608316 KiB
Current children cumulated memory: 479948 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.66 3.41 5/245 877889
/proc/meminfo: memFree=118992724/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=675364 memory=542584 CPUtime=221.7 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 130978 0 0 0 22128 42 0 0 20 0 1 0 169535310 691572736 135646 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 168841 135646 4106 3002 0 152592 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 675364 KiB
Current children cumulated memory: 542584 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.74 3.45 5/245 877899
/proc/meminfo: memFree=118796636/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=675364 memory=543360 CPUtime=281.54 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 131395 0 0 0 28111 43 0 0 20 0 1 0 169535310 691572736 135840 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 168841 135840 4106 3002 0 152592 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 675364 KiB
Current children cumulated memory: 543360 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.82 3.50 5/244 877910
/proc/meminfo: memFree=118646588/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=752164 memory=600644 CPUtime=341.39 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 137451 0 0 0 33981 158 0 0 20 0 1 0 169535310 770215936 150161 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 188041 150161 4154 3002 0 171792 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 752164 KiB
Current children cumulated memory: 600644 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.89 3.55 5/242 878303
/proc/meminfo: memFree=118579008/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=833552 memory=662068 CPUtime=401.24 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 140144 0 0 0 39914 210 0 0 20 0 1 0 169535310 853557248 165517 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 208388 165517 4154 3002 0 192139 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 833552 KiB
Current children cumulated memory: 662068 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.94 3.59 5/242 878313
/proc/meminfo: memFree=118544332/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=833552 memory=677700 CPUtime=461.09 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 142026 0 0 0 45854 255 0 0 20 0 1 0 169535310 853557248 169425 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 208388 169425 4154 3002 0 192139 0
################
# More data... #
################
Current children cumulated memory: 2134672 KiB
[startup+2862.3 s]
/proc/loadavg: 4.82 4.40 4.20 5/242 879535
/proc/meminfo: memFree=111844348/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=2806488 memory=2154432 CPUtime=2855.04 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 417746 0 0 0 283540 1964 0 0 20 0 1 0 169535310 2873843712 538608 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 701622 538608 4154 3002 0 685373 0
Current children cumulated CPU time: 2855.04 s
Current children cumulated vsize: 2806488 KiB
Current children cumulated memory: 2154432 KiB
[startup+2922.3 s]
/proc/loadavg: 4.55 4.41 4.22 5/242 879545
/proc/meminfo: memFree=111808056/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=2806488 memory=2154432 CPUtime=2914.89 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 417768 0 0 0 289510 1979 0 0 20 0 1 0 169535310 2873843712 538608 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 701622 538608 4154 3002 0 685373 0
Current children cumulated CPU time: 2914.89 s
Current children cumulated vsize: 2806488 KiB
Current children cumulated memory: 2154432 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.33 4.20 5/241 879556
/proc/meminfo: memFree=111725332/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=2829120 memory=2170312 CPUtime=2974.73 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 421872 0 0 0 295474 1999 0 0 20 0 1 0 169535310 2897018880 542578 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 707280 542578 4154 3002 0 691031 0
Current children cumulated CPU time: 2974.73 s
Current children cumulated vsize: 2829120 KiB
Current children cumulated memory: 2170312 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.30 4.19 5/241 879566
/proc/meminfo: memFree=111692692/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=2858820 memory=2198816 CPUtime=3034.58 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 429123 0 0 0 301444 2014 0 0 20 0 1 0 169535310 2927431680 549704 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 714705 549704 4154 3002 0 698456 0
Current children cumulated CPU time: 3034.58 s
Current children cumulated vsize: 2858820 KiB
Current children cumulated memory: 2198816 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.26 4.18 5/244 879581
/proc/meminfo: memFree=111604988/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=2898632 memory=2227428 CPUtime=3094.44 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 436480 0 0 0 307411 2033 0 0 20 0 1 0 169535310 2968199168 556857 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 724658 556857 4154 3002 0 708409 0
Current children cumulated CPU time: 3094.44 s
Current children cumulated vsize: 2898632 KiB
Current children cumulated memory: 2227428 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.24 4.18 5/244 879591
/proc/meminfo: memFree=111560820/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=2898632 memory=2227428 CPUtime=3154.28 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 436511 0 0 0 313383 2045 0 0 20 0 1 0 169535310 2968199168 556857 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 724658 556857 4154 3002 0 708409 0
Current children cumulated CPU time: 3154.28 s
Current children cumulated vsize: 2898632 KiB
Current children cumulated memory: 2227428 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.21 4.18 5/244 879602
/proc/meminfo: memFree=111406244/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=2902288 memory=2229740 CPUtime=3214.14 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 437375 0 0 0 319349 2065 0 0 20 0 1 0 169535310 2971942912 557435 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 725572 557435 4154 3002 0 709323 0
Current children cumulated CPU time: 3214.14 s
Current children cumulated vsize: 2902288 KiB
Current children cumulated memory: 2229740 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/244 879612
/proc/meminfo: memFree=111364560/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=2902288 memory=2230364 CPUtime=3273.99 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 437947 0 0 0 325318 2081 0 0 20 0 1 0 169535310 2971942912 557591 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 725572 557591 4154 3002 0 709323 0
Current children cumulated CPU time: 3273.99 s
Current children cumulated vsize: 2902288 KiB
Current children cumulated memory: 2230364 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.19 4.17 5/244 879623
/proc/meminfo: memFree=111309600/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=2961356 memory=2269916 CPUtime=3333.83 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 448102 0 0 0 331290 2093 0 0 20 0 1 0 169535310 3032428544 567479 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 740339 567479 4154 3002 0 724090 0
Current children cumulated CPU time: 3333.83 s
Current children cumulated vsize: 2961356 KiB
Current children cumulated memory: 2269916 KiB
[startup+3402.3 s]
/proc/loadavg: 3.54 4.04 4.13 2/220 879727
/proc/meminfo: memFree=121671964/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=2985680 memory=2298252 CPUtime=3393.68 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 456435 0 0 0 337264 2104 0 0 20 0 1 0 169535310 3057336320 574563 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 746420 574563 4154 3002 0 730171 0
Current children cumulated CPU time: 3393.68 s
Current children cumulated vsize: 2985680 KiB
Current children cumulated memory: 2298252 KiB
[startup+3462.3 s]
/proc/loadavg: 1.97 3.50 3.93 2/220 879737
/proc/meminfo: memFree=121654868/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=3006744 memory=2314848 CPUtime=3453.52 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 461118 0 0 0 343230 2122 0 0 20 0 1 0 169535310 3078905856 578712 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 751686 578712 4154 3002 0 735437 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 3006744 KiB
Current children cumulated memory: 2314848 KiB
[startup+3522.3 s]
/proc/loadavg: 1.45 3.07 3.76 2/220 879747
/proc/meminfo: memFree=121654648/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=3006744 memory=2314964 CPUtime=3513.37 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 461368 0 0 0 349204 2133 0 0 20 0 1 0 169535310 3078905856 578741 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 751686 578741 4154 3002 0 735437 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 3006744 KiB
Current children cumulated memory: 2314964 KiB
[startup+3582.3 s]
/proc/loadavg: 1.22 2.71 3.59 2/220 879759
/proc/meminfo: memFree=121584324/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=3108640 memory=2384724 CPUtime=3573.2 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 479396 0 0 0 355170 2150 0 0 20 0 1 0 169535310 3183247360 596181 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 777160 596181 4154 3002 0 760911 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 3108640 KiB
Current children cumulated memory: 2384724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 1.22 2.58 3.52 2/220 879763
/proc/meminfo: memFree=121584320/131655788 swapFree=131071996/131071996
[pid=877845] ppid=877842 vsize=3108640 memory=2384840 CPUtime=3600.04 cores=4,6
/proc/877845/stat : 877845 (mixed-bag) R 877842 877845 877596 0 -1 4194304 479557 0 0 0 357846 2158 0 0 20 0 1 0 169535310 3183247360 596210 134679101440 4194304 16487941 140728137898160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55296000 140728137905175 140728137905252 140728137905252 140728137912267 0
/proc/877845/statm: 777160 596210 4154 3002 0 760911 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3108640 KiB
Current children cumulated memory: 2384840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.28 s]
# the end of solver process 877845 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.47 s, system=21.6675 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.28
CPU time (s): 3600.14
CPU user time (s): 3578.47
CPU system time (s): 21.6675
CPU usage (%): 99.7465
Max. virtual memory (cumulated for all children) (KiB): 3108640
Max. memory (cumulated for all children) (KiB): 2384840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.47
system time used= 21.6675
maximum resident set size= 2385308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 479604
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= 61
involuntary context switches= 3352
# summary of solver processes directly reported to runsolver:
# pid: 877845
# total CPU time (s): 3600.14
# total CPU user time (s): 3578.47
# total CPU system time (s): 21.6675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7399 second user time and 34.6607 second system time
The end
Begin job on nodeC006 at 2024-07-17 01:49:38
IDJOB=4435759
IDBENCH=158625
IDSOLVER=3066
FILE ID=nodeC006/4435759-1721173766
RUNJOBID= nodeC006-1721173557-877607
SLURM_JOB_ID= 7505811
Free space on /tmp= 723720 MiB
SOLVER NAME= mixed-bag 2024-07-02
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-4435759-1721173766/watcher-4435759-1721173766 -o /tmp/evaluation-result-4435759-1721173766/solver-4435759-1721173766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721173557-877607 --watchdog 3760 mixed-bag HOME/instance-4435759-1721173766.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=116738831
nodeC006.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 : 3659.423
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
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 : 3665.052
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.26
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.421
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
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.458
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.26
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 : 3491.979
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
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 : 3657.895
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.26
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.254
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
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.334
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.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 120278396 kB
MemAvailable: 126226736 kB
Buffers: 434268 kB
Cached: 6279020 kB
SwapCached: 0 kB
Active: 786428 kB
Inactive: 9882548 kB
Active(anon): 1460 kB
Inactive(anon): 3991936 kB
Active(file): 784968 kB
Inactive(file): 5890612 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16544 kB
Writeback: 0 kB
AnonPages: 3955740 kB
Mapped: 137048 kB
Shmem: 37704 kB
KReclaimable: 225580 kB
Slab: 340676 kB
SReclaimable: 225580 kB
SUnreclaim: 115096 kB
KernelStack: 3872 kB
PageTables: 17588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4662748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54432 kB
HardwareCorrupted: 0 kB
AnonHugePages: 655360 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: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC006 at 2024-07-17 02:49:47