0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.04 c [STEP] preprocessing with Papilo
0.00/0.06 c [STEP] solving with SCIP
299.16/300.19 c [STEP] preprocessing done, loading into solver
299.25/300.20 c [STEP] solving
299.25/300.20 c #variables 11713 #constraints 796
347.42/348.51 c #Conflicts: 1000 | #Constraints: 1795
347.42/348.51 c #Conflicts: 2000 | #Constraints: 2795
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 3000 | #Constraints: 2807
347.42/348.51 c #Conflicts: 4000 | #Constraints: 3807
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 5000 | #Constraints: 3209
347.42/348.51 c #Conflicts: 6000 | #Constraints: 4209
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 7000 | #Constraints: 3211
347.42/348.51 c #Conflicts: 8000 | #Constraints: 4211
347.42/348.51 c #Conflicts: 9000 | #Constraints: 5211
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 10000 | #Constraints: 3914
347.42/348.51 c #Conflicts: 11000 | #Constraints: 4914
347.42/348.51 c #Conflicts: 12000 | #Constraints: 5914
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 13000 | #Constraints: 4364
347.42/348.51 c #Conflicts: 14000 | #Constraints: 5364
347.42/348.51 c #Conflicts: 15000 | #Constraints: 6364
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 16000 | #Constraints: 4598
347.42/348.51 c #Conflicts: 17000 | #Constraints: 5598
347.42/348.51 c #Conflicts: 18000 | #Constraints: 6598
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 19000 | #Constraints: 4613
347.42/348.51 c #Conflicts: 20000 | #Constraints: 5613
347.42/348.51 c #Conflicts: 21000 | #Constraints: 6613
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 22000 | #Constraints: 4415
347.42/348.51 c #Conflicts: 23000 | #Constraints: 5415
347.42/348.51 c #Conflicts: 24000 | #Constraints: 6415
347.42/348.51 c #Conflicts: 25000 | #Constraints: 7415
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 26000 | #Constraints: 5017
347.42/348.51 c #Conflicts: 27000 | #Constraints: 6017
347.42/348.51 c #Conflicts: 28000 | #Constraints: 7017
347.42/348.51 c #Conflicts: 29000 | #Constraints: 8017
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 30000 | #Constraints: 5413
347.42/348.51 c #Conflicts: 31000 | #Constraints: 6413
347.42/348.51 c #Conflicts: 32000 | #Constraints: 7413
347.42/348.51 c #Conflicts: 33000 | #Constraints: 8413
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 34000 | #Constraints: 5616
347.42/348.51 c #Conflicts: 35000 | #Constraints: 6616
347.42/348.51 c #Conflicts: 36000 | #Constraints: 7616
347.42/348.51 c #Conflicts: 37000 | #Constraints: 8616
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 38000 | #Constraints: 5616
347.42/348.51 c #Conflicts: 39000 | #Constraints: 6616
347.42/348.51 c #Conflicts: 40000 | #Constraints: 7616
347.42/348.51 c #Conflicts: 41000 | #Constraints: 8616
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 42000 | #Constraints: 5415
347.42/348.51 c #Conflicts: 43000 | #Constraints: 6415
347.42/348.51 c #Conflicts: 44000 | #Constraints: 7415
347.42/348.51 c #Conflicts: 45000 | #Constraints: 8415
347.42/348.51 c #Conflicts: 46000 | #Constraints: 9415
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 47000 | #Constraints: 6015
347.42/348.51 c #Conflicts: 48000 | #Constraints: 7015
347.42/348.51 c #Conflicts: 49000 | #Constraints: 8015
347.42/348.51 c #Conflicts: 50000 | #Constraints: 9015
347.42/348.51 c #Conflicts: 51000 | #Constraints: 10015
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 52000 | #Constraints: 6419
347.42/348.51 c #Conflicts: 53000 | #Constraints: 7419
347.42/348.51 c #Conflicts: 54000 | #Constraints: 8419
347.42/348.51 c #Conflicts: 55000 | #Constraints: 9419
347.42/348.51 c #Conflicts: 56000 | #Constraints: 10419
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 57000 | #Constraints: 6630
347.42/348.51 c #Conflicts: 58000 | #Constraints: 7630
347.42/348.51 c #Conflicts: 59000 | #Constraints: 8630
347.42/348.51 c #Conflicts: 60000 | #Constraints: 9630
347.42/348.51 c #Conflicts: 61000 | #Constraints: 10630
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 62000 | #Constraints: 6625
347.42/348.51 c #Conflicts: 63000 | #Constraints: 7625
347.42/348.51 c #Conflicts: 64000 | #Constraints: 8625
347.42/348.51 c #Conflicts: 65000 | #Constraints: 9625
347.42/348.51 c #Conflicts: 66000 | #Constraints: 10625
347.42/348.51 c INPROCESSING
347.42/348.51 c GARBAGE COLLECT
347.42/348.51 c #Conflicts: 67000 | #Constraints: 6426
347.42/348.51 c #Conflicts: 68000 | #Constraints: 7426
485.32/486.82 c #Conflicts: 69000 | #Constraints: 8426
485.32/486.82 c #Conflicts: 70000 | #Constraints: 9426
485.32/486.82 c #Conflicts: 71000 | #Constraints: 10426
485.32/486.82 c #Conflicts: 72000 | #Constraints: 11426
485.32/486.82 c INPROCESSING
485.32/486.82 c GARBAGE COLLECT
485.32/486.82 c #Conflicts: 73000 | #Constraints: 7018
485.32/486.82 c #Conflicts: 74000 | #Constraints: 8018
485.32/486.82 c #Conflicts: 75000 | #Constraints: 9018
485.32/486.82 c #Conflicts: 76000 | #Constraints: 10018
485.32/486.82 c #Conflicts: 77000 | #Constraints: 11018
485.32/486.82 c #Conflicts: 78000 | #Constraints: 12018
485.32/486.82 c INPROCESSING
485.32/486.82 c GARBAGE COLLECT
485.32/486.82 c #Conflicts: 79000 | #Constraints: 7420
485.32/486.82 c #Conflicts: 80000 | #Constraints: 8420
485.32/486.82 c #Conflicts: 81000 | #Constraints: 9420
485.32/486.82 c #Conflicts: 82000 | #Constraints: 10420
485.32/486.82 c #Conflicts: 83000 | #Constraints: 11420
485.32/486.82 c #Conflicts: 84000 | #Constraints: 12420
485.32/486.82 c INPROCESSING
485.32/486.82 c GARBAGE COLLECT
485.32/486.82 c #Conflicts: 85000 | #Constraints: 7624
485.32/486.82 c #Conflicts: 86000 | #Constraints: 8624
485.32/486.82 c #Conflicts: 87000 | #Constraints: 9624
485.32/486.82 c #Conflicts: 88000 | #Constraints: 10624
485.32/486.82 c #Conflicts: 89000 | #Constraints: 11624
485.32/486.82 c #Conflicts: 90000 | #Constraints: 12624
485.32/486.82 c INPROCESSING
485.32/486.82 c GARBAGE COLLECT
485.32/486.82 c #Conflicts: 91000 | #Constraints: 7626
485.32/486.82 c #Conflicts: 92000 | #Constraints: 8626
485.32/486.82 c #Conflicts: 93000 | #Constraints: 9626
485.32/486.82 c #Conflicts: 94000 | #Constraints: 10626
485.32/486.82 c #Conflicts: 95000 | #Constraints: 11626
485.32/486.82 c #Conflicts: 96000 | #Constraints: 12626
485.32/486.82 c INPROCESSING
485.32/486.82 c GARBAGE COLLECT
485.32/486.82 c #Conflicts: 97000 | #Constraints: 7429
485.32/486.82 c #Conflicts: 98000 | #Constraints: 8429
485.32/486.82 c #Conflicts: 99000 | #Constraints: 9429
485.32/486.82 c #Conflicts: 100000 | #Constraints: 10429
485.32/486.82 c #Conflicts: 101000 | #Constraints: 11429
485.32/486.82 c #Conflicts: 102000 | #Constraints: 12429
485.32/486.82 c #Conflicts: 103000 | #Constraints: 13429
485.32/486.82 c INPROCESSING
485.32/486.82 c GARBAGE COLLECT
485.32/486.82 c #Conflicts: 104000 | #Constraints: 8018
485.32/486.82 c #Conflicts: 105000 | #Constraints: 9018
485.32/486.82 c #Conflicts: 106000 | #Constraints: 10018
485.32/486.82 c #Conflicts: 107000 | #Constraints: 11018
485.32/486.82 c #Conflicts: 108000 | #Constraints: 12018
485.32/486.82 c #Conflicts: 109000 | #Constraints: 13018
485.32/486.82 c #Conflicts: 110000 | #Constraints: 14018
485.32/486.82 c INPROCESSING
485.32/486.82 c GARBAGE COLLECT
485.32/486.82 c #Conflicts: 111000 | #Constraints: 8422
485.32/486.82 c #Conflicts: 112000 | #Constraints: 9422
485.32/486.82 c #Conflicts: 113000 | #Constraints: 10422
485.32/486.82 c #Conflicts: 114000 | #Constraints: 11422
485.32/486.82 c #Conflicts: 115000 | #Constraints: 12422
485.32/486.82 c #Conflicts: 116000 | #Constraints: 13422
485.32/486.82 c #Conflicts: 117000 | #Constraints: 14422
485.32/486.82 c INPROCESSING
485.32/486.82 c GARBAGE COLLECT
485.32/486.82 c #Conflicts: 118000 | #Constraints: 8617
485.32/486.82 c #Conflicts: 119000 | #Constraints: 9617
485.32/486.82 c #Conflicts: 120000 | #Constraints: 10617
485.32/486.82 c #Conflicts: 121000 | #Constraints: 11617
485.32/486.82 c #Conflicts: 122000 | #Constraints: 12617
485.32/486.82 c #Conflicts: 123000 | #Constraints: 13617
485.32/486.82 c #Conflicts: 124000 | #Constraints: 14617
485.32/486.82 c INPROCESSING
485.32/486.82 c GARBAGE COLLECT
485.32/486.82 c #Conflicts: 125000 | #Constraints: 8618
485.32/486.82 c #Conflicts: 126000 | #Constraints: 9618
485.32/486.82 c #Conflicts: 127000 | #Constraints: 10618
485.32/486.82 c #Conflicts: 128000 | #Constraints: 11618
485.32/486.82 c #Conflicts: 129000 | #Constraints: 12618
485.32/486.82 c #Conflicts: 130000 | #Constraints: 13618
485.32/486.82 c #Conflicts: 131000 | #Constraints: 14618
485.32/486.82 c INPROCESSING
485.32/486.82 c GARBAGE COLLECT
485.32/486.82 c #Conflicts: 132000 | #Constraints: 8413
485.32/486.82 c #Conflicts: 133000 | #Constraints: 9413
485.32/486.82 c #Conflicts: 134000 | #Constraints: 10413
485.32/486.82 c #Conflicts: 135000 | #Constraints: 11413
485.32/486.82 c #Conflicts: 136000 | #Constraints: 12413
485.32/486.82 c #Conflicts: 137000 | #Constraints: 13413
485.32/486.82 c #Conflicts: 138000 | #Constraints: 14413
485.32/486.82 c #Conflicts: 139000 | #Constraints: 15413
485.32/486.82 c INPROCESSING
485.32/486.82 c GARBAGE COLLECT
485.32/486.82 c #Conflicts: 140000 | #Constraints: 9014
572.87/574.63 c #Conflicts: 141000 | #Constraints: 10014
572.87/574.63 c #Conflicts: 142000 | #Constraints: 11014
572.87/574.63 c #Conflicts: 143000 | #Constraints: 12014
572.87/574.63 c #Conflicts: 144000 | #Constraints: 13014
572.87/574.63 c #Conflicts: 145000 | #Constraints: 14014
572.87/574.63 c #Conflicts: 146000 | #Constraints: 15014
572.87/574.63 c #Conflicts: 147000 | #Constraints: 16014
572.87/574.63 c INPROCESSING
572.87/574.63 c GARBAGE COLLECT
572.87/574.63 c #Conflicts: 148000 | #Constraints: 9421
572.87/574.63 c #Conflicts: 149000 | #Constraints: 10421
572.87/574.63 c #Conflicts: 150000 | #Constraints: 11421
572.87/574.63 c #Conflicts: 151000 | #Constraints: 12421
572.87/574.63 c #Conflicts: 152000 | #Constraints: 13421
572.87/574.63 c #Conflicts: 153000 | #Constraints: 14421
572.87/574.63 c #Conflicts: 154000 | #Constraints: 15421
572.87/574.63 c #Conflicts: 155000 | #Constraints: 16421
572.87/574.63 c INPROCESSING
572.87/574.63 c GARBAGE COLLECT
572.87/574.63 c #Conflicts: 156000 | #Constraints: 9625
572.87/574.63 c #Conflicts: 157000 | #Constraints: 10625
572.87/574.63 c #Conflicts: 158000 | #Constraints: 11625
572.87/574.63 c #Conflicts: 159000 | #Constraints: 12625
572.87/574.63 c #Conflicts: 160000 | #Constraints: 13625
572.87/574.63 c #Conflicts: 161000 | #Constraints: 14625
572.87/574.63 c #Conflicts: 162000 | #Constraints: 15625
572.87/574.63 c #Conflicts: 163000 | #Constraints: 16625
572.87/574.63 c INPROCESSING
572.87/574.63 c GARBAGE COLLECT
572.87/574.63 c #Conflicts: 164000 | #Constraints: 9626
572.87/574.63 c #Conflicts: 165000 | #Constraints: 10626
572.87/574.63 c #Conflicts: 166000 | #Constraints: 11626
572.87/574.63 c #Conflicts: 167000 | #Constraints: 12626
572.87/574.63 c #Conflicts: 168000 | #Constraints: 13626
572.87/574.63 c #Conflicts: 169000 | #Constraints: 14626
572.87/574.63 c #Conflicts: 170000 | #Constraints: 15626
572.87/574.63 c #Conflicts: 171000 | #Constraints: 16626
572.87/574.63 c INPROCESSING
572.87/574.63 c GARBAGE COLLECT
572.87/574.63 c #Conflicts: 172000 | #Constraints: 9422
572.87/574.63 c #Conflicts: 173000 | #Constraints: 10422
572.87/574.63 c #Conflicts: 174000 | #Constraints: 11422
572.87/574.63 c #Conflicts: 175000 | #Constraints: 12422
572.87/574.63 c #Conflicts: 176000 | #Constraints: 13422
572.87/574.63 c #Conflicts: 177000 | #Constraints: 14422
572.87/574.63 c #Conflicts: 178000 | #Constraints: 15422
572.87/574.63 c #Conflicts: 179000 | #Constraints: 16422
572.87/574.63 c #Conflicts: 180000 | #Constraints: 17422
572.87/574.63 c INPROCESSING
572.87/574.63 c GARBAGE COLLECT
572.87/574.63 c #Conflicts: 181000 | #Constraints: 10016
572.87/574.63 c #Conflicts: 182000 | #Constraints: 11016
572.87/574.63 c #Conflicts: 183000 | #Constraints: 12016
572.87/574.63 c #Conflicts: 184000 | #Constraints: 13016
572.87/574.63 c #Conflicts: 185000 | #Constraints: 14016
572.87/574.63 c #Conflicts: 186000 | #Constraints: 15016
572.87/574.63 c #Conflicts: 187000 | #Constraints: 16016
572.87/574.63 c #Conflicts: 188000 | #Constraints: 17016
572.87/574.63 c #Conflicts: 189000 | #Constraints: 18016
572.87/574.63 c INPROCESSING
572.87/574.63 c GARBAGE COLLECT
572.87/574.63 c #Conflicts: 190000 | #Constraints: 10425
572.87/574.63 c #Conflicts: 191000 | #Constraints: 11425
572.87/574.63 c #Conflicts: 192000 | #Constraints: 12425
572.87/574.63 c #Conflicts: 193000 | #Constraints: 13425
572.87/574.63 c #Conflicts: 194000 | #Constraints: 14425
572.87/574.63 c #Conflicts: 195000 | #Constraints: 15425
572.87/574.63 c #Conflicts: 196000 | #Constraints: 16425
572.87/574.63 c #Conflicts: 197000 | #Constraints: 17425
572.87/574.63 c #Conflicts: 198000 | #Constraints: 18425
572.87/574.63 c INPROCESSING
572.87/574.63 c GARBAGE COLLECT
572.87/574.63 c #Conflicts: 199000 | #Constraints: 10636
572.87/574.63 c #Conflicts: 200000 | #Constraints: 11636
572.87/574.63 c #Conflicts: 201000 | #Constraints: 12636
572.87/574.63 c #Conflicts: 202000 | #Constraints: 13636
572.87/574.63 c #Conflicts: 203000 | #Constraints: 14636
572.87/574.63 c #Conflicts: 204000 | #Constraints: 15636
572.87/574.63 c #Conflicts: 205000 | #Constraints: 16636
572.87/574.63 c #Conflicts: 206000 | #Constraints: 17636
572.87/574.63 c #Conflicts: 207000 | #Constraints: 18636
572.87/574.63 c INPROCESSING
572.87/574.63 c GARBAGE COLLECT
572.87/574.63 c #Conflicts: 208000 | #Constraints: 10633
572.87/574.63 c #Conflicts: 209000 | #Constraints: 11633
572.87/574.63 c #Conflicts: 210000 | #Constraints: 12633
572.87/574.63 c #Conflicts: 211000 | #Constraints: 13633
572.87/574.63 c #Conflicts: 212000 | #Constraints: 14633
572.87/574.63 c #Conflicts: 213000 | #Constraints: 15633
704.69/706.84 c #Conflicts: 214000 | #Constraints: 16633
704.69/706.84 c #Conflicts: 215000 | #Constraints: 17633
704.69/706.84 c #Conflicts: 216000 | #Constraints: 18633
704.69/706.84 c INPROCESSING
704.69/706.84 c GARBAGE COLLECT
704.69/706.84 c #Conflicts: 217000 | #Constraints: 10435
704.69/706.84 c #Conflicts: 218000 | #Constraints: 11435
704.69/706.84 c #Conflicts: 219000 | #Constraints: 12435
704.69/706.84 c #Conflicts: 220000 | #Constraints: 13435
704.69/706.84 c #Conflicts: 221000 | #Constraints: 14435
704.69/706.84 c #Conflicts: 222000 | #Constraints: 15435
704.69/706.84 c #Conflicts: 223000 | #Constraints: 16435
704.69/706.84 c #Conflicts: 224000 | #Constraints: 17435
704.69/706.84 c #Conflicts: 225000 | #Constraints: 18435
704.69/706.84 c #Conflicts: 226000 | #Constraints: 19435
704.69/706.84 c INPROCESSING
704.69/706.84 c GARBAGE COLLECT
704.69/706.84 c #Conflicts: 227000 | #Constraints: 11041
704.69/706.84 c #Conflicts: 228000 | #Constraints: 12041
704.69/706.84 c #Conflicts: 229000 | #Constraints: 13041
704.69/706.84 c #Conflicts: 230000 | #Constraints: 14041
704.69/706.84 c #Conflicts: 231000 | #Constraints: 15041
704.69/706.84 c #Conflicts: 232000 | #Constraints: 16041
704.69/706.84 c #Conflicts: 233000 | #Constraints: 17041
704.69/706.84 c #Conflicts: 234000 | #Constraints: 18041
704.69/706.84 c #Conflicts: 235000 | #Constraints: 19041
704.69/706.84 c #Conflicts: 236000 | #Constraints: 20041
704.69/706.84 c INPROCESSING
704.69/706.84 c GARBAGE COLLECT
704.69/706.84 c #Conflicts: 237000 | #Constraints: 11426
704.69/706.84 c #Conflicts: 238000 | #Constraints: 12426
704.69/706.84 c #Conflicts: 239000 | #Constraints: 13426
704.69/706.84 c #Conflicts: 240000 | #Constraints: 14426
704.69/706.84 c #Conflicts: 241000 | #Constraints: 15426
704.69/706.84 c #Conflicts: 242000 | #Constraints: 16426
704.69/706.84 c #Conflicts: 243000 | #Constraints: 17426
704.69/706.84 c #Conflicts: 244000 | #Constraints: 18426
704.69/706.84 c #Conflicts: 245000 | #Constraints: 19426
704.69/706.84 c #Conflicts: 246000 | #Constraints: 20426
704.69/706.84 c INPROCESSING
704.69/706.84 c GARBAGE COLLECT
704.69/706.84 c #Conflicts: 247000 | #Constraints: 11622
704.69/706.84 c #Conflicts: 248000 | #Constraints: 12622
704.69/706.84 c #Conflicts: 249000 | #Constraints: 13622
704.69/706.84 c #Conflicts: 250000 | #Constraints: 14622
704.69/706.84 c #Conflicts: 251000 | #Constraints: 15622
704.69/706.84 c #Conflicts: 252000 | #Constraints: 16622
704.69/706.84 c #Conflicts: 253000 | #Constraints: 17622
704.69/706.84 c #Conflicts: 254000 | #Constraints: 18622
704.69/706.84 c #Conflicts: 255000 | #Constraints: 19622
704.69/706.84 c #Conflicts: 256000 | #Constraints: 20622
704.69/706.84 c INPROCESSING
704.69/706.84 c GARBAGE COLLECT
704.69/706.84 c #Conflicts: 257000 | #Constraints: 11620
704.69/706.84 c #Conflicts: 258000 | #Constraints: 12620
704.69/706.84 c #Conflicts: 259000 | #Constraints: 13620
704.69/706.84 c #Conflicts: 260000 | #Constraints: 14620
704.69/706.84 c #Conflicts: 261000 | #Constraints: 15620
704.69/706.84 c #Conflicts: 262000 | #Constraints: 16620
704.69/706.84 c #Conflicts: 263000 | #Constraints: 17620
704.69/706.84 c #Conflicts: 264000 | #Constraints: 18620
704.69/706.84 c #Conflicts: 265000 | #Constraints: 19620
704.69/706.84 c #Conflicts: 266000 | #Constraints: 20620
704.69/706.84 c INPROCESSING
704.69/706.84 c GARBAGE COLLECT
704.69/706.84 c #Conflicts: 267000 | #Constraints: 11419
704.69/706.84 c #Conflicts: 268000 | #Constraints: 12419
704.69/706.84 c #Conflicts: 269000 | #Constraints: 13419
704.69/706.84 c #Conflicts: 270000 | #Constraints: 14419
704.69/706.84 c #Conflicts: 271000 | #Constraints: 15419
704.69/706.84 c #Conflicts: 272000 | #Constraints: 16419
704.69/706.84 c #Conflicts: 273000 | #Constraints: 17419
704.69/706.84 c #Conflicts: 274000 | #Constraints: 18419
704.69/706.84 c #Conflicts: 275000 | #Constraints: 19419
704.69/706.84 c #Conflicts: 276000 | #Constraints: 20419
704.69/706.84 c #Conflicts: 277000 | #Constraints: 21419
704.69/706.84 c INPROCESSING
704.69/706.84 c GARBAGE COLLECT
704.69/706.84 c #Conflicts: 278000 | #Constraints: 12017
704.69/706.84 c #Conflicts: 279000 | #Constraints: 13017
704.69/706.84 c #Conflicts: 280000 | #Constraints: 14017
704.69/706.84 c #Conflicts: 281000 | #Constraints: 15017
704.69/706.84 c #Conflicts: 282000 | #Constraints: 16017
704.69/706.84 c #Conflicts: 283000 | #Constraints: 17017
704.69/706.84 c #Conflicts: 284000 | #Constraints: 18017
704.69/706.84 c #Conflicts: 285000 | #Constraints: 19017
704.69/706.84 c #Conflicts: 286000 | #Constraints: 20017
704.69/706.84 c #Conflicts: 287000 | #Constraints: 21017
704.69/706.84 c #Conflicts: 288000 | #Constraints: 22017
914.38/917.19 c INPROCESSING
914.38/917.19 c GARBAGE COLLECT
914.38/917.19 c #Conflicts: 289000 | #Constraints: 12418
914.38/917.19 c #Conflicts: 290000 | #Constraints: 13418
914.38/917.19 c #Conflicts: 291000 | #Constraints: 14418
914.38/917.19 c #Conflicts: 292000 | #Constraints: 15418
914.38/917.19 c #Conflicts: 293000 | #Constraints: 16418
914.38/917.19 c #Conflicts: 294000 | #Constraints: 17418
914.38/917.19 c #Conflicts: 295000 | #Constraints: 18418
914.38/917.19 c #Conflicts: 296000 | #Constraints: 19418
914.38/917.19 c #Conflicts: 297000 | #Constraints: 20418
914.38/917.19 c #Conflicts: 298000 | #Constraints: 21418
914.38/917.19 c #Conflicts: 299000 | #Constraints: 22418
914.38/917.19 c INPROCESSING
914.38/917.19 c GARBAGE COLLECT
914.38/917.19 c #Conflicts: 300000 | #Constraints: 12617
914.38/917.19 c #Conflicts: 301000 | #Constraints: 13617
914.38/917.19 c #Conflicts: 302000 | #Constraints: 14617
914.38/917.19 c #Conflicts: 303000 | #Constraints: 15617
914.38/917.19 c #Conflicts: 304000 | #Constraints: 16617
914.38/917.19 c #Conflicts: 305000 | #Constraints: 17617
914.38/917.19 c #Conflicts: 306000 | #Constraints: 18617
914.38/917.19 c #Conflicts: 307000 | #Constraints: 19617
914.38/917.19 c #Conflicts: 308000 | #Constraints: 20617
914.38/917.19 c #Conflicts: 309000 | #Constraints: 21617
914.38/917.19 c #Conflicts: 310000 | #Constraints: 22617
914.38/917.19 c INPROCESSING
914.38/917.19 c GARBAGE COLLECT
914.38/917.19 c #Conflicts: 311000 | #Constraints: 12622
914.38/917.19 c #Conflicts: 312000 | #Constraints: 13622
914.38/917.19 c #Conflicts: 313000 | #Constraints: 14622
914.38/917.19 c #Conflicts: 314000 | #Constraints: 15622
914.38/917.19 c #Conflicts: 315000 | #Constraints: 16622
914.38/917.19 c #Conflicts: 316000 | #Constraints: 17622
914.38/917.19 c #Conflicts: 317000 | #Constraints: 18622
914.38/917.19 c #Conflicts: 318000 | #Constraints: 19622
914.38/917.19 c #Conflicts: 319000 | #Constraints: 20622
914.38/917.19 c #Conflicts: 320000 | #Constraints: 21622
914.38/917.19 c #Conflicts: 321000 | #Constraints: 22622
914.38/917.19 c INPROCESSING
914.38/917.19 c GARBAGE COLLECT
914.38/917.19 c #Conflicts: 322000 | #Constraints: 12430
914.38/917.19 c #Conflicts: 323000 | #Constraints: 13430
914.38/917.19 c #Conflicts: 324000 | #Constraints: 14430
914.38/917.19 c #Conflicts: 325000 | #Constraints: 15430
914.38/917.19 c #Conflicts: 326000 | #Constraints: 16430
914.38/917.19 c #Conflicts: 327000 | #Constraints: 17430
914.38/917.19 c #Conflicts: 328000 | #Constraints: 18430
914.38/917.19 c #Conflicts: 329000 | #Constraints: 19430
914.38/917.19 c #Conflicts: 330000 | #Constraints: 20430
914.38/917.19 c #Conflicts: 331000 | #Constraints: 21430
914.38/917.19 c #Conflicts: 332000 | #Constraints: 22430
914.38/917.19 c #Conflicts: 333000 | #Constraints: 23430
914.38/917.19 c INPROCESSING
914.38/917.19 c GARBAGE COLLECT
914.38/917.19 c #Conflicts: 334000 | #Constraints: 13023
914.38/917.19 c #Conflicts: 335000 | #Constraints: 14023
914.38/917.19 c #Conflicts: 336000 | #Constraints: 15023
914.38/917.19 c #Conflicts: 337000 | #Constraints: 16023
914.38/917.19 c #Conflicts: 338000 | #Constraints: 17023
914.38/917.19 c #Conflicts: 339000 | #Constraints: 18023
914.38/917.19 c #Conflicts: 340000 | #Constraints: 19023
914.38/917.19 c #Conflicts: 341000 | #Constraints: 20023
914.38/917.19 c #Conflicts: 342000 | #Constraints: 21023
914.38/917.19 c #Conflicts: 343000 | #Constraints: 22023
914.38/917.19 c #Conflicts: 344000 | #Constraints: 23023
914.38/917.19 c #Conflicts: 345000 | #Constraints: 24023
914.38/917.19 c INPROCESSING
914.38/917.19 c GARBAGE COLLECT
914.38/917.19 c #Conflicts: 346000 | #Constraints: 13419
914.38/917.19 c #Conflicts: 347000 | #Constraints: 14419
914.38/917.19 c #Conflicts: 348000 | #Constraints: 15419
914.38/917.19 c #Conflicts: 349000 | #Constraints: 16419
914.38/917.19 c #Conflicts: 350000 | #Constraints: 17419
914.38/917.19 c #Conflicts: 351000 | #Constraints: 18419
914.38/917.19 c #Conflicts: 352000 | #Constraints: 19419
914.38/917.19 c #Conflicts: 353000 | #Constraints: 20419
914.38/917.19 c #Conflicts: 354000 | #Constraints: 21419
914.38/917.19 c #Conflicts: 355000 | #Constraints: 22419
914.38/917.19 c #Conflicts: 356000 | #Constraints: 23419
914.38/917.19 c #Conflicts: 357000 | #Constraints: 24419
914.38/917.19 c INPROCESSING
914.38/917.19 c GARBAGE COLLECT
914.38/917.19 c #Conflicts: 358000 | #Constraints: 13615
914.38/917.19 c #Conflicts: 359000 | #Constraints: 14615
914.38/917.19 c #Conflicts: 360000 | #Constraints: 15615
914.38/917.19 c #Conflicts: 361000 | #Constraints: 16615
914.38/917.19 c #Conflicts: 362000 | #Constraints: 17615
1100.31/1103.64 c #Conflicts: 363000 | #Constraints: 18615
1100.31/1103.64 c #Conflicts: 364000 | #Constraints: 19615
1100.31/1103.64 c #Conflicts: 365000 | #Constraints: 20615
1100.31/1103.64 c #Conflicts: 366000 | #Constraints: 21615
1100.31/1103.64 c #Conflicts: 367000 | #Constraints: 22615
1100.31/1103.64 c #Conflicts: 368000 | #Constraints: 23615
1100.31/1103.64 c #Conflicts: 369000 | #Constraints: 24615
1100.31/1103.64 c INPROCESSING
1100.31/1103.64 c GARBAGE COLLECT
1100.31/1103.64 c #Conflicts: 370000 | #Constraints: 13625
1100.31/1103.64 c #Conflicts: 371000 | #Constraints: 14625
1100.31/1103.64 c #Conflicts: 372000 | #Constraints: 15625
1100.31/1103.64 c #Conflicts: 373000 | #Constraints: 16625
1100.31/1103.64 c #Conflicts: 374000 | #Constraints: 17625
1100.31/1103.64 c #Conflicts: 375000 | #Constraints: 18625
1100.31/1103.64 c #Conflicts: 376000 | #Constraints: 19625
1100.31/1103.64 c #Conflicts: 377000 | #Constraints: 20625
1100.31/1103.64 c #Conflicts: 378000 | #Constraints: 21625
1100.31/1103.64 c #Conflicts: 379000 | #Constraints: 22625
1100.31/1103.64 c #Conflicts: 380000 | #Constraints: 23625
1100.31/1103.64 c #Conflicts: 381000 | #Constraints: 24625
1100.31/1103.64 c INPROCESSING
1100.31/1103.64 c GARBAGE COLLECT
1100.31/1103.64 c #Conflicts: 382000 | #Constraints: 13420
1100.31/1103.64 c #Conflicts: 383000 | #Constraints: 14420
1100.31/1103.64 c #Conflicts: 384000 | #Constraints: 15420
1100.31/1103.64 c #Conflicts: 385000 | #Constraints: 16420
1100.31/1103.64 c #Conflicts: 386000 | #Constraints: 17420
1100.31/1103.64 c #Conflicts: 387000 | #Constraints: 18420
1100.31/1103.64 c #Conflicts: 388000 | #Constraints: 19420
1100.31/1103.64 c #Conflicts: 389000 | #Constraints: 20420
1100.31/1103.64 c #Conflicts: 390000 | #Constraints: 21420
1100.31/1103.64 c #Conflicts: 391000 | #Constraints: 22420
1100.31/1103.64 c #Conflicts: 392000 | #Constraints: 23420
1100.31/1103.64 c #Conflicts: 393000 | #Constraints: 24420
1100.31/1103.64 c #Conflicts: 394000 | #Constraints: 25420
1100.31/1103.64 c INPROCESSING
1100.31/1103.64 c GARBAGE COLLECT
1100.31/1103.64 c #Conflicts: 395000 | #Constraints: 14018
1100.31/1103.64 c #Conflicts: 396000 | #Constraints: 15018
1100.31/1103.64 c #Conflicts: 397000 | #Constraints: 16018
1100.31/1103.64 c #Conflicts: 398000 | #Constraints: 17018
1100.31/1103.64 c #Conflicts: 399000 | #Constraints: 18018
1100.31/1103.64 c #Conflicts: 400000 | #Constraints: 19018
1100.31/1103.64 c #Conflicts: 401000 | #Constraints: 20018
1100.31/1103.64 c #Conflicts: 402000 | #Constraints: 21018
1100.31/1103.64 c #Conflicts: 403000 | #Constraints: 22018
1100.31/1103.64 c #Conflicts: 404000 | #Constraints: 23018
1100.31/1103.64 c #Conflicts: 405000 | #Constraints: 24018
1100.31/1103.64 c #Conflicts: 406000 | #Constraints: 25018
1100.31/1103.64 c #Conflicts: 407000 | #Constraints: 26018
1100.31/1103.64 c INPROCESSING
1100.31/1103.64 c GARBAGE COLLECT
1100.31/1103.64 c #Conflicts: 408000 | #Constraints: 14417
1100.31/1103.64 c #Conflicts: 409000 | #Constraints: 15417
1100.31/1103.64 c #Conflicts: 410000 | #Constraints: 16417
1100.31/1103.64 c #Conflicts: 411000 | #Constraints: 17417
1100.31/1103.64 c #Conflicts: 412000 | #Constraints: 18417
1100.31/1103.64 c #Conflicts: 413000 | #Constraints: 19417
1100.31/1103.64 c #Conflicts: 414000 | #Constraints: 20417
1100.31/1103.64 c #Conflicts: 415000 | #Constraints: 21417
1100.31/1103.64 c #Conflicts: 416000 | #Constraints: 22417
1100.31/1103.64 c #Conflicts: 417000 | #Constraints: 23417
1100.31/1103.64 c #Conflicts: 418000 | #Constraints: 24417
1100.31/1103.64 c #Conflicts: 419000 | #Constraints: 25417
1100.31/1103.64 c #Conflicts: 420000 | #Constraints: 26417
1100.31/1103.64 c INPROCESSING
1100.31/1103.64 c GARBAGE COLLECT
1100.31/1103.64 c #Conflicts: 421000 | #Constraints: 14621
1100.31/1103.64 c #Conflicts: 422000 | #Constraints: 15621
1100.31/1103.64 c #Conflicts: 423000 | #Constraints: 16621
1100.31/1103.64 c #Conflicts: 424000 | #Constraints: 17621
1100.31/1103.64 c #Conflicts: 425000 | #Constraints: 18621
1100.31/1103.64 c #Conflicts: 426000 | #Constraints: 19621
1100.31/1103.64 c #Conflicts: 427000 | #Constraints: 20621
1100.31/1103.64 c #Conflicts: 428000 | #Constraints: 21621
1100.31/1103.64 c #Conflicts: 429000 | #Constraints: 22621
1100.31/1103.64 c #Conflicts: 430000 | #Constraints: 23621
1100.31/1103.64 c #Conflicts: 431000 | #Constraints: 24621
1100.31/1103.64 c #Conflicts: 432000 | #Constraints: 25621
1100.31/1103.64 c #Conflicts: 433000 | #Constraints: 26621
1100.31/1103.64 c INPROCESSING
1100.31/1103.64 c GARBAGE COLLECT
1100.31/1103.64 c #Conflicts: 434000 | #Constraints: 14625
1100.31/1103.64 c #Conflicts: 435000 | #Constraints: 15625
1100.31/1103.64 c #Conflicts: 436000 | #Constraints: 16625
1100.31/1103.64 c #Conflicts: 437000 | #Constraints: 17625
1623.30/1628.12 c #Conflicts: 438000 | #Constraints: 18625
1623.30/1628.12 c #Conflicts: 439000 | #Constraints: 19625
1623.30/1628.12 c #Conflicts: 440000 | #Constraints: 20625
1623.30/1628.12 c #Conflicts: 441000 | #Constraints: 21625
1623.30/1628.12 c #Conflicts: 442000 | #Constraints: 22625
1623.30/1628.12 c #Conflicts: 443000 | #Constraints: 23625
1623.30/1628.12 c #Conflicts: 444000 | #Constraints: 24625
1623.30/1628.12 c #Conflicts: 445000 | #Constraints: 25625
1623.30/1628.12 c #Conflicts: 446000 | #Constraints: 26625
1623.30/1628.12 c INPROCESSING
1623.30/1628.12 c GARBAGE COLLECT
1623.30/1628.12 c #Conflicts: 447000 | #Constraints: 14429
1623.30/1628.12 c #Conflicts: 448000 | #Constraints: 15429
1623.30/1628.12 c #Conflicts: 449000 | #Constraints: 16429
1623.30/1628.12 c #Conflicts: 450000 | #Constraints: 17429
1623.30/1628.12 c #Conflicts: 451000 | #Constraints: 18429
1623.30/1628.12 c #Conflicts: 452000 | #Constraints: 19429
1623.30/1628.12 c #Conflicts: 453000 | #Constraints: 20429
1623.30/1628.12 c #Conflicts: 454000 | #Constraints: 21429
1623.30/1628.12 c #Conflicts: 455000 | #Constraints: 22429
1623.30/1628.12 c #Conflicts: 456000 | #Constraints: 23429
1623.30/1628.12 c #Conflicts: 457000 | #Constraints: 24429
1623.30/1628.12 c #Conflicts: 458000 | #Constraints: 25429
1623.30/1628.12 c #Conflicts: 459000 | #Constraints: 26429
1623.30/1628.12 c #Conflicts: 460000 | #Constraints: 27429
1623.30/1628.12 c INPROCESSING
1623.30/1628.12 c GARBAGE COLLECT
1623.30/1628.12 c #Conflicts: 461000 | #Constraints: 15034
1623.30/1628.12 c #Conflicts: 462000 | #Constraints: 16034
1623.30/1628.12 c #Conflicts: 463000 | #Constraints: 17034
1623.30/1628.12 c #Conflicts: 464000 | #Constraints: 18034
1623.30/1628.12 c #Conflicts: 465000 | #Constraints: 19034
1623.30/1628.12 c #Conflicts: 466000 | #Constraints: 20034
1623.30/1628.12 c #Conflicts: 467000 | #Constraints: 21034
1623.30/1628.12 c #Conflicts: 468000 | #Constraints: 22034
1623.30/1628.12 c #Conflicts: 469000 | #Constraints: 23034
1623.30/1628.12 c #Conflicts: 470000 | #Constraints: 24034
1623.30/1628.12 c #Conflicts: 471000 | #Constraints: 25034
1623.30/1628.12 c #Conflicts: 472000 | #Constraints: 26034
1623.30/1628.12 c #Conflicts: 473000 | #Constraints: 27034
1623.30/1628.12 c #Conflicts: 474000 | #Constraints: 28034
1623.30/1628.12 c INPROCESSING
1623.30/1628.12 c GARBAGE COLLECT
1623.30/1628.12 c #Conflicts: 475000 | #Constraints: 15431
1623.30/1628.12 c #Conflicts: 476000 | #Constraints: 16431
1623.30/1628.12 c #Conflicts: 477000 | #Constraints: 17431
1623.30/1628.12 c #Conflicts: 478000 | #Constraints: 18431
1623.30/1628.12 c #Conflicts: 479000 | #Constraints: 19431
1623.30/1628.12 c #Conflicts: 480000 | #Constraints: 20431
1623.30/1628.12 c #Conflicts: 481000 | #Constraints: 21431
1623.30/1628.12 c #Conflicts: 482000 | #Constraints: 22431
1623.30/1628.12 c #Conflicts: 483000 | #Constraints: 23431
1623.30/1628.12 c #Conflicts: 484000 | #Constraints: 24431
1623.30/1628.12 c #Conflicts: 485000 | #Constraints: 25431
1623.30/1628.12 c #Conflicts: 486000 | #Constraints: 26431
1623.30/1628.12 c #Conflicts: 487000 | #Constraints: 27431
1623.30/1628.12 c #Conflicts: 488000 | #Constraints: 28431
1623.30/1628.12 c INPROCESSING
1623.30/1628.12 c GARBAGE COLLECT
1623.30/1628.12 c #Conflicts: 489000 | #Constraints: 15634
1623.30/1628.12 c #Conflicts: 490000 | #Constraints: 16634
1623.30/1628.12 c #Conflicts: 491000 | #Constraints: 17634
1623.30/1628.12 c #Conflicts: 492000 | #Constraints: 18634
1623.30/1628.12 c #Conflicts: 493000 | #Constraints: 19634
1623.30/1628.12 c #Conflicts: 494000 | #Constraints: 20634
1623.30/1628.12 c #Conflicts: 495000 | #Constraints: 21634
1623.30/1628.12 c #Conflicts: 496000 | #Constraints: 22634
1623.30/1628.12 c #Conflicts: 497000 | #Constraints: 23634
1623.30/1628.12 c #Conflicts: 498000 | #Constraints: 24634
1623.30/1628.12 c #Conflicts: 499000 | #Constraints: 25634
1623.30/1628.12 c #Conflicts: 500000 | #Constraints: 26634
1623.30/1628.12 c #Conflicts: 501000 | #Constraints: 27634
1623.30/1628.12 c #Conflicts: 502000 | #Constraints: 28634
1623.30/1628.12 c INPROCESSING
1623.30/1628.12 c GARBAGE COLLECT
1623.30/1628.12 c #Conflicts: 503000 | #Constraints: 15642
1623.30/1628.12 c #Conflicts: 504000 | #Constraints: 16642
1623.30/1628.12 c #Conflicts: 505000 | #Constraints: 17642
1623.30/1628.12 c #Conflicts: 506000 | #Constraints: 18642
1623.30/1628.12 c #Conflicts: 507000 | #Constraints: 19642
1623.30/1628.12 c #Conflicts: 508000 | #Constraints: 20642
1623.30/1628.12 c #Conflicts: 509000 | #Constraints: 21642
1623.30/1628.12 c #Conflicts: 510000 | #Constraints: 22642
1623.30/1628.12 c #Conflicts: 511000 | #Constraints: 23642
1623.30/1628.12 c #Conflicts: 512000 | #Constraints: 24642
1623.30/1628.12 c #Conflicts: 513000 | #Constraints: 25642
1783.56/1788.84 c #Conflicts: 514000 | #Constraints: 26642
1783.56/1788.84 c #Conflicts: 515000 | #Constraints: 27642
1783.56/1788.84 c #Conflicts: 516000 | #Constraints: 28642
1783.56/1788.84 c INPROCESSING
1783.56/1788.84 c GARBAGE COLLECT
1783.56/1788.84 c #Conflicts: 517000 | #Constraints: 15432
1783.56/1788.84 c #Conflicts: 518000 | #Constraints: 16432
1783.56/1788.84 c #Conflicts: 519000 | #Constraints: 17432
1783.56/1788.84 c #Conflicts: 520000 | #Constraints: 18432
1783.56/1788.84 c #Conflicts: 521000 | #Constraints: 19432
1783.56/1788.84 c #Conflicts: 522000 | #Constraints: 20432
1783.56/1788.84 c #Conflicts: 523000 | #Constraints: 21432
1783.56/1788.84 c #Conflicts: 524000 | #Constraints: 22432
1783.56/1788.84 c #Conflicts: 525000 | #Constraints: 23432
1783.56/1788.84 c #Conflicts: 526000 | #Constraints: 24432
1783.56/1788.84 c #Conflicts: 527000 | #Constraints: 25432
1783.56/1788.84 c #Conflicts: 528000 | #Constraints: 26432
1783.56/1788.84 c #Conflicts: 529000 | #Constraints: 27432
1783.56/1788.84 c #Conflicts: 530000 | #Constraints: 28432
1783.56/1788.84 c #Conflicts: 531000 | #Constraints: 29432
1783.56/1788.84 c INPROCESSING
1783.56/1788.84 c GARBAGE COLLECT
1783.56/1788.84 c #Conflicts: 532000 | #Constraints: 16029
1783.56/1788.84 c #Conflicts: 533000 | #Constraints: 17029
1783.56/1788.84 c #Conflicts: 534000 | #Constraints: 18029
1783.56/1788.84 c #Conflicts: 535000 | #Constraints: 19029
1783.56/1788.84 c #Conflicts: 536000 | #Constraints: 20029
1783.56/1788.84 c #Conflicts: 537000 | #Constraints: 21029
1783.56/1788.84 c #Conflicts: 538000 | #Constraints: 22029
1783.56/1788.84 c #Conflicts: 539000 | #Constraints: 23029
1783.56/1788.84 c #Conflicts: 540000 | #Constraints: 24029
1783.56/1788.84 c #Conflicts: 541000 | #Constraints: 25029
1783.56/1788.84 c #Conflicts: 542000 | #Constraints: 26029
1783.56/1788.84 c #Conflicts: 543000 | #Constraints: 27029
1783.56/1788.84 c #Conflicts: 544000 | #Constraints: 28029
1783.56/1788.84 c #Conflicts: 545000 | #Constraints: 29029
1783.56/1788.84 c #Conflicts: 546000 | #Constraints: 30029
1783.56/1788.84 c INPROCESSING
1783.56/1788.84 c GARBAGE COLLECT
1783.56/1788.84 c #Conflicts: 547000 | #Constraints: 16425
1783.56/1788.84 c #Conflicts: 548000 | #Constraints: 17425
1783.56/1788.84 c #Conflicts: 549000 | #Constraints: 18425
1783.56/1788.84 c #Conflicts: 550000 | #Constraints: 19425
1783.56/1788.84 c #Conflicts: 551000 | #Constraints: 20425
1783.56/1788.84 c #Conflicts: 552000 | #Constraints: 21425
1783.56/1788.84 c #Conflicts: 553000 | #Constraints: 22425
1783.56/1788.84 c #Conflicts: 554000 | #Constraints: 23425
1783.56/1788.84 c #Conflicts: 555000 | #Constraints: 24425
1783.56/1788.84 c #Conflicts: 556000 | #Constraints: 25425
1783.56/1788.84 c #Conflicts: 557000 | #Constraints: 26425
1783.56/1788.84 c #Conflicts: 558000 | #Constraints: 27425
1783.56/1788.84 c #Conflicts: 559000 | #Constraints: 28425
1783.56/1788.84 c #Conflicts: 560000 | #Constraints: 29425
1783.56/1788.84 c #Conflicts: 561000 | #Constraints: 30425
1783.56/1788.84 c INPROCESSING
1783.56/1788.84 c GARBAGE COLLECT
1783.56/1788.84 c #Conflicts: 562000 | #Constraints: 16631
1783.56/1788.84 c #Conflicts: 563000 | #Constraints: 17631
1783.56/1788.84 c #Conflicts: 564000 | #Constraints: 18631
1783.56/1788.84 c #Conflicts: 565000 | #Constraints: 19631
1783.56/1788.84 c #Conflicts: 566000 | #Constraints: 20631
1783.56/1788.84 c #Conflicts: 567000 | #Constraints: 21631
1783.56/1788.84 c #Conflicts: 568000 | #Constraints: 22631
1783.56/1788.84 c #Conflicts: 569000 | #Constraints: 23631
1783.56/1788.84 c #Conflicts: 570000 | #Constraints: 24631
1783.56/1788.84 c #Conflicts: 571000 | #Constraints: 25631
1783.56/1788.84 c #Conflicts: 572000 | #Constraints: 26631
1783.56/1788.84 c #Conflicts: 573000 | #Constraints: 27631
1783.56/1788.84 c #Conflicts: 574000 | #Constraints: 28631
1783.56/1788.84 c #Conflicts: 575000 | #Constraints: 29631
1783.56/1788.84 c #Conflicts: 576000 | #Constraints: 30631
1783.56/1788.84 c INPROCESSING
1783.56/1788.84 c GARBAGE COLLECT
1783.56/1788.84 c #Conflicts: 577000 | #Constraints: 16633
1783.56/1788.84 c #Conflicts: 578000 | #Constraints: 17633
1783.56/1788.84 c #Conflicts: 579000 | #Constraints: 18633
1783.56/1788.84 c #Conflicts: 580000 | #Constraints: 19633
1783.56/1788.84 c #Conflicts: 581000 | #Constraints: 20633
1783.56/1788.84 c #Conflicts: 582000 | #Constraints: 21633
1783.56/1788.84 c #Conflicts: 583000 | #Constraints: 22633
1783.56/1788.84 c #Conflicts: 584000 | #Constraints: 23633
1783.56/1788.84 c #Conflicts: 585000 | #Constraints: 24633
1783.56/1788.84 c #Conflicts: 586000 | #Constraints: 25633
1783.56/1788.84 c #Conflicts: 587000 | #Constraints: 26633
1783.56/1788.84 c #Conflicts: 588000 | #Constraints: 27633
1941.59/1947.32 c #Conflicts: 589000 | #Constraints: 28633
1941.59/1947.32 c #Conflicts: 590000 | #Constraints: 29633
1941.59/1947.32 c #Conflicts: 591000 | #Constraints: 30633
1941.59/1947.32 c INPROCESSING
1941.59/1947.32 c GARBAGE COLLECT
1941.59/1947.32 c #Conflicts: 592000 | #Constraints: 16429
1941.59/1947.32 c #Conflicts: 593000 | #Constraints: 17429
1941.59/1947.32 c #Conflicts: 594000 | #Constraints: 18429
1941.59/1947.32 c #Conflicts: 595000 | #Constraints: 19429
1941.59/1947.32 c #Conflicts: 596000 | #Constraints: 20429
1941.59/1947.32 c #Conflicts: 597000 | #Constraints: 21429
1941.59/1947.32 c #Conflicts: 598000 | #Constraints: 22429
1941.59/1947.32 c #Conflicts: 599000 | #Constraints: 23429
1941.59/1947.32 c #Conflicts: 600000 | #Constraints: 24429
1941.59/1947.32 c #Conflicts: 601000 | #Constraints: 25429
1941.59/1947.32 c #Conflicts: 602000 | #Constraints: 26429
1941.59/1947.32 c #Conflicts: 603000 | #Constraints: 27429
1941.59/1947.32 c #Conflicts: 604000 | #Constraints: 28429
1941.59/1947.32 c #Conflicts: 605000 | #Constraints: 29429
1941.59/1947.32 c #Conflicts: 606000 | #Constraints: 30429
1941.59/1947.32 c #Conflicts: 607000 | #Constraints: 31429
1941.59/1947.32 c INPROCESSING
1941.59/1947.32 c GARBAGE COLLECT
1941.59/1947.32 c #Conflicts: 608000 | #Constraints: 17038
1941.59/1947.32 c #Conflicts: 609000 | #Constraints: 18038
1941.59/1947.32 c #Conflicts: 610000 | #Constraints: 19038
1941.59/1947.32 c #Conflicts: 611000 | #Constraints: 20038
1941.59/1947.32 c #Conflicts: 612000 | #Constraints: 21038
1941.59/1947.32 c #Conflicts: 613000 | #Constraints: 22038
1941.59/1947.32 c #Conflicts: 614000 | #Constraints: 23038
1941.59/1947.32 c #Conflicts: 615000 | #Constraints: 24038
1941.59/1947.32 c #Conflicts: 616000 | #Constraints: 25038
1941.59/1947.32 c #Conflicts: 617000 | #Constraints: 26038
1941.59/1947.32 c #Conflicts: 618000 | #Constraints: 27038
1941.59/1947.32 c #Conflicts: 619000 | #Constraints: 28038
1941.59/1947.32 c #Conflicts: 620000 | #Constraints: 29038
1941.59/1947.32 c #Conflicts: 621000 | #Constraints: 30038
1941.59/1947.32 c #Conflicts: 622000 | #Constraints: 31038
1941.59/1947.32 c #Conflicts: 623000 | #Constraints: 32038
1941.59/1947.32 c INPROCESSING
1941.59/1947.32 c GARBAGE COLLECT
1941.59/1947.32 c #Conflicts: 624000 | #Constraints: 17425
1941.59/1947.32 c #Conflicts: 625000 | #Constraints: 18425
1941.59/1947.32 c #Conflicts: 626000 | #Constraints: 19425
1941.59/1947.32 c #Conflicts: 627000 | #Constraints: 20425
1941.59/1947.32 c #Conflicts: 628000 | #Constraints: 21425
1941.59/1947.32 c #Conflicts: 629000 | #Constraints: 22425
1941.59/1947.32 c #Conflicts: 630000 | #Constraints: 23425
1941.59/1947.32 c #Conflicts: 631000 | #Constraints: 24425
1941.59/1947.32 c #Conflicts: 632000 | #Constraints: 25425
1941.59/1947.32 c #Conflicts: 633000 | #Constraints: 26425
1941.59/1947.32 c #Conflicts: 634000 | #Constraints: 27425
1941.59/1947.32 c #Conflicts: 635000 | #Constraints: 28425
1941.59/1947.32 c #Conflicts: 636000 | #Constraints: 29425
1941.59/1947.32 c #Conflicts: 637000 | #Constraints: 30425
1941.59/1947.32 c #Conflicts: 638000 | #Constraints: 31425
1941.59/1947.32 c #Conflicts: 639000 | #Constraints: 32425
1941.59/1947.32 c INPROCESSING
1941.59/1947.32 c GARBAGE COLLECT
1941.59/1947.32 c #Conflicts: 640000 | #Constraints: 17619
1941.59/1947.32 c #Conflicts: 641000 | #Constraints: 18619
1941.59/1947.32 c #Conflicts: 642000 | #Constraints: 19619
1941.59/1947.32 c #Conflicts: 643000 | #Constraints: 20619
1941.59/1947.32 c #Conflicts: 644000 | #Constraints: 21619
1941.59/1947.32 c #Conflicts: 645000 | #Constraints: 22619
1941.59/1947.32 c #Conflicts: 646000 | #Constraints: 23619
1941.59/1947.32 c #Conflicts: 647000 | #Constraints: 24619
1941.59/1947.32 c #Conflicts: 648000 | #Constraints: 25619
1941.59/1947.32 c #Conflicts: 649000 | #Constraints: 26619
1941.59/1947.32 c #Conflicts: 650000 | #Constraints: 27619
1941.59/1947.32 c #Conflicts: 651000 | #Constraints: 28619
1941.59/1947.32 c #Conflicts: 652000 | #Constraints: 29619
1941.59/1947.32 c #Conflicts: 653000 | #Constraints: 30619
1941.59/1947.32 c #Conflicts: 654000 | #Constraints: 31619
1941.59/1947.32 c #Conflicts: 655000 | #Constraints: 32619
1941.59/1947.32 c INPROCESSING
1941.59/1947.32 c GARBAGE COLLECT
1941.59/1947.32 c #Conflicts: 656000 | #Constraints: 17627
1941.59/1947.32 c #Conflicts: 657000 | #Constraints: 18627
1941.59/1947.32 c #Conflicts: 658000 | #Constraints: 19627
1941.59/1947.32 c #Conflicts: 659000 | #Constraints: 20627
1941.59/1947.32 c #Conflicts: 660000 | #Constraints: 21627
1941.59/1947.32 c #Conflicts: 661000 | #Constraints: 22627
1941.59/1947.32 c #Conflicts: 662000 | #Constraints: 23627
1941.59/1947.32 c #Conflicts: 663000 | #Constraints: 24627
1941.59/1947.32 c #Conflicts: 664000 | #Constraints: 25627
2247.76/2254.48 c #Conflicts: 665000 | #Constraints: 26627
2247.76/2254.48 c #Conflicts: 666000 | #Constraints: 27627
2247.76/2254.48 c #Conflicts: 667000 | #Constraints: 28627
2247.76/2254.48 c #Conflicts: 668000 | #Constraints: 29627
2247.76/2254.48 c #Conflicts: 669000 | #Constraints: 30627
2247.76/2254.48 c #Conflicts: 670000 | #Constraints: 31627
2247.76/2254.48 c #Conflicts: 671000 | #Constraints: 32627
2247.76/2254.48 c INPROCESSING
2247.76/2254.48 c GARBAGE COLLECT
2247.76/2254.48 c #Conflicts: 672000 | #Constraints: 17422
2247.76/2254.48 c #Conflicts: 673000 | #Constraints: 18422
2247.76/2254.48 c #Conflicts: 674000 | #Constraints: 19422
2247.76/2254.48 c #Conflicts: 675000 | #Constraints: 20422
2247.76/2254.48 c #Conflicts: 676000 | #Constraints: 21422
2247.76/2254.48 c #Conflicts: 677000 | #Constraints: 22422
2247.76/2254.48 c #Conflicts: 678000 | #Constraints: 23422
2247.76/2254.48 c #Conflicts: 679000 | #Constraints: 24422
2247.76/2254.48 c #Conflicts: 680000 | #Constraints: 25422
2247.76/2254.48 c #Conflicts: 681000 | #Constraints: 26422
2247.76/2254.48 c #Conflicts: 682000 | #Constraints: 27422
2247.76/2254.48 c #Conflicts: 683000 | #Constraints: 28422
2247.76/2254.48 c #Conflicts: 684000 | #Constraints: 29422
2247.76/2254.48 c #Conflicts: 685000 | #Constraints: 30422
2247.76/2254.48 c #Conflicts: 686000 | #Constraints: 31422
2247.76/2254.48 c #Conflicts: 687000 | #Constraints: 32422
2247.76/2254.48 c #Conflicts: 688000 | #Constraints: 33422
2247.76/2254.48 c INPROCESSING
2247.76/2254.48 c GARBAGE COLLECT
2247.76/2254.48 c #Conflicts: 689000 | #Constraints: 18016
2247.76/2254.48 c #Conflicts: 690000 | #Constraints: 19016
2247.76/2254.48 c #Conflicts: 691000 | #Constraints: 20016
2247.76/2254.48 c #Conflicts: 692000 | #Constraints: 21016
2247.76/2254.48 c #Conflicts: 693000 | #Constraints: 22016
2247.76/2254.48 c #Conflicts: 694000 | #Constraints: 23016
2247.76/2254.48 c #Conflicts: 695000 | #Constraints: 24016
2247.76/2254.48 c #Conflicts: 696000 | #Constraints: 25016
2247.76/2254.48 c #Conflicts: 697000 | #Constraints: 26016
2247.76/2254.48 c #Conflicts: 698000 | #Constraints: 27016
2247.76/2254.48 c #Conflicts: 699000 | #Constraints: 28016
2247.76/2254.48 c #Conflicts: 700000 | #Constraints: 29016
2247.76/2254.48 c #Conflicts: 701000 | #Constraints: 30016
2247.76/2254.48 c #Conflicts: 702000 | #Constraints: 31016
2247.76/2254.48 c #Conflicts: 703000 | #Constraints: 32016
2247.76/2254.48 c #Conflicts: 704000 | #Constraints: 33016
2247.76/2254.48 c #Conflicts: 705000 | #Constraints: 34016
2247.76/2254.48 c INPROCESSING
2247.76/2254.48 c GARBAGE COLLECT
2247.76/2254.48 c #Conflicts: 706000 | #Constraints: 18422
2247.76/2254.48 c #Conflicts: 707000 | #Constraints: 19422
2247.76/2254.48 c #Conflicts: 708000 | #Constraints: 20422
2247.76/2254.48 c #Conflicts: 709000 | #Constraints: 21422
2247.76/2254.48 c #Conflicts: 710000 | #Constraints: 22422
2247.76/2254.48 c #Conflicts: 711000 | #Constraints: 23422
2247.76/2254.48 c #Conflicts: 712000 | #Constraints: 24422
2247.76/2254.48 c #Conflicts: 713000 | #Constraints: 25422
2247.76/2254.48 c #Conflicts: 714000 | #Constraints: 26422
2247.76/2254.48 c #Conflicts: 715000 | #Constraints: 27422
2247.76/2254.48 c #Conflicts: 716000 | #Constraints: 28422
2247.76/2254.48 c #Conflicts: 717000 | #Constraints: 29422
2247.76/2254.48 c #Conflicts: 718000 | #Constraints: 30422
2247.76/2254.48 c #Conflicts: 719000 | #Constraints: 31422
2247.76/2254.48 c #Conflicts: 720000 | #Constraints: 32422
2247.76/2254.48 c #Conflicts: 721000 | #Constraints: 33422
2247.76/2254.48 c #Conflicts: 722000 | #Constraints: 34422
2247.76/2254.48 c INPROCESSING
2247.76/2254.48 c GARBAGE COLLECT
2247.76/2254.48 c #Conflicts: 723000 | #Constraints: 18633
2247.76/2254.48 c #Conflicts: 724000 | #Constraints: 19633
2247.76/2254.48 c #Conflicts: 725000 | #Constraints: 20633
2247.76/2254.48 c #Conflicts: 726000 | #Constraints: 21633
2247.76/2254.48 c #Conflicts: 727000 | #Constraints: 22633
2247.76/2254.48 c #Conflicts: 728000 | #Constraints: 23633
2247.76/2254.48 c #Conflicts: 729000 | #Constraints: 24633
2247.76/2254.48 c #Conflicts: 730000 | #Constraints: 25633
2247.76/2254.48 c #Conflicts: 731000 | #Constraints: 26633
2247.76/2254.48 c #Conflicts: 732000 | #Constraints: 27633
2247.76/2254.48 c #Conflicts: 733000 | #Constraints: 28633
2247.76/2254.48 c #Conflicts: 734000 | #Constraints: 29633
2247.76/2254.48 c #Conflicts: 735000 | #Constraints: 30633
2247.76/2254.48 c #Conflicts: 736000 | #Constraints: 31633
2247.76/2254.48 c #Conflicts: 737000 | #Constraints: 32633
2247.76/2254.48 c #Conflicts: 738000 | #Constraints: 33633
2247.76/2254.48 c #Conflicts: 739000 | #Constraints: 34633
2247.76/2254.48 c INPROCESSING
2247.76/2254.48 c GARBAGE COLLECT
2449.46/2456.75 c #Conflicts: 740000 | #Constraints: 18639
2449.46/2456.75 c #Conflicts: 741000 | #Constraints: 19639
2449.46/2456.75 c #Conflicts: 742000 | #Constraints: 20639
2449.46/2456.75 c #Conflicts: 743000 | #Constraints: 21639
2449.46/2456.75 c #Conflicts: 744000 | #Constraints: 22639
2449.46/2456.75 c #Conflicts: 745000 | #Constraints: 23639
2449.46/2456.75 c #Conflicts: 746000 | #Constraints: 24639
2449.46/2456.75 c #Conflicts: 747000 | #Constraints: 25639
2449.46/2456.75 c #Conflicts: 748000 | #Constraints: 26639
2449.46/2456.75 c #Conflicts: 749000 | #Constraints: 27639
2449.46/2456.75 c #Conflicts: 750000 | #Constraints: 28639
2449.46/2456.75 c #Conflicts: 751000 | #Constraints: 29639
2449.46/2456.75 c #Conflicts: 752000 | #Constraints: 30639
2449.46/2456.75 c #Conflicts: 753000 | #Constraints: 31639
2449.46/2456.75 c #Conflicts: 754000 | #Constraints: 32639
2449.46/2456.75 c #Conflicts: 755000 | #Constraints: 33639
2449.46/2456.75 c #Conflicts: 756000 | #Constraints: 34639
2449.46/2456.75 c INPROCESSING
2449.46/2456.75 c GARBAGE COLLECT
2449.46/2456.75 c #Conflicts: 757000 | #Constraints: 18431
2449.46/2456.75 c #Conflicts: 758000 | #Constraints: 19431
2449.46/2456.75 c #Conflicts: 759000 | #Constraints: 20431
2449.46/2456.75 c #Conflicts: 760000 | #Constraints: 21431
2449.46/2456.75 c #Conflicts: 761000 | #Constraints: 22431
2449.46/2456.75 c #Conflicts: 762000 | #Constraints: 23431
2449.46/2456.75 c #Conflicts: 763000 | #Constraints: 24431
2449.46/2456.75 c #Conflicts: 764000 | #Constraints: 25431
2449.46/2456.75 c #Conflicts: 765000 | #Constraints: 26431
2449.46/2456.75 c #Conflicts: 766000 | #Constraints: 27431
2449.46/2456.75 c #Conflicts: 767000 | #Constraints: 28431
2449.46/2456.75 c #Conflicts: 768000 | #Constraints: 29431
2449.46/2456.75 c #Conflicts: 769000 | #Constraints: 30431
2449.46/2456.75 c #Conflicts: 770000 | #Constraints: 31431
2449.46/2456.75 c #Conflicts: 771000 | #Constraints: 32431
2449.46/2456.75 c #Conflicts: 772000 | #Constraints: 33431
2449.46/2456.75 c #Conflicts: 773000 | #Constraints: 34431
2449.46/2456.75 c #Conflicts: 774000 | #Constraints: 35431
2449.46/2456.75 c INPROCESSING
2449.46/2456.75 c GARBAGE COLLECT
2449.46/2456.75 c #Conflicts: 775000 | #Constraints: 19031
2449.46/2456.75 c #Conflicts: 776000 | #Constraints: 20031
2449.46/2456.75 c #Conflicts: 777000 | #Constraints: 21031
2449.46/2456.75 c #Conflicts: 778000 | #Constraints: 22031
2449.46/2456.75 c #Conflicts: 779000 | #Constraints: 23031
2449.46/2456.75 c #Conflicts: 780000 | #Constraints: 24031
2449.46/2456.75 c #Conflicts: 781000 | #Constraints: 25031
2449.46/2456.75 c #Conflicts: 782000 | #Constraints: 26031
2449.46/2456.75 c #Conflicts: 783000 | #Constraints: 27031
2449.46/2456.75 c #Conflicts: 784000 | #Constraints: 28031
2449.46/2456.75 c #Conflicts: 785000 | #Constraints: 29031
2449.46/2456.75 c #Conflicts: 786000 | #Constraints: 30031
2449.46/2456.75 c #Conflicts: 787000 | #Constraints: 31031
2449.46/2456.75 c #Conflicts: 788000 | #Constraints: 32031
2449.46/2456.75 c #Conflicts: 789000 | #Constraints: 33031
2449.46/2456.75 c #Conflicts: 790000 | #Constraints: 34031
2449.46/2456.75 c #Conflicts: 791000 | #Constraints: 35031
2449.46/2456.75 c #Conflicts: 792000 | #Constraints: 36031
2449.46/2456.75 c INPROCESSING
2449.46/2456.75 c GARBAGE COLLECT
2449.46/2456.75 c #Conflicts: 793000 | #Constraints: 19424
2449.46/2456.75 c #Conflicts: 794000 | #Constraints: 20424
2449.46/2456.75 c #Conflicts: 795000 | #Constraints: 21424
2449.46/2456.75 c #Conflicts: 796000 | #Constraints: 22424
2449.46/2456.75 c #Conflicts: 797000 | #Constraints: 23424
2449.46/2456.75 c #Conflicts: 798000 | #Constraints: 24424
2449.46/2456.75 c #Conflicts: 799000 | #Constraints: 25424
2449.46/2456.75 c #Conflicts: 800000 | #Constraints: 26424
2449.46/2456.75 c #Conflicts: 801000 | #Constraints: 27424
2449.46/2456.75 c #Conflicts: 802000 | #Constraints: 28424
2449.46/2456.75 c #Conflicts: 803000 | #Constraints: 29424
2449.46/2456.75 c #Conflicts: 804000 | #Constraints: 30424
2449.46/2456.75 c #Conflicts: 805000 | #Constraints: 31424
2449.46/2456.75 c #Conflicts: 806000 | #Constraints: 32424
2449.46/2456.75 c #Conflicts: 807000 | #Constraints: 33424
2449.46/2456.75 c #Conflicts: 808000 | #Constraints: 34424
2449.46/2456.75 c #Conflicts: 809000 | #Constraints: 35424
2449.46/2456.75 c #Conflicts: 810000 | #Constraints: 36424
2449.46/2456.75 c INPROCESSING
2449.46/2456.75 c GARBAGE COLLECT
2449.46/2456.75 c #Conflicts: 811000 | #Constraints: 19621
2449.46/2456.75 c #Conflicts: 812000 | #Constraints: 20621
2449.46/2456.75 c #Conflicts: 813000 | #Constraints: 21621
2449.46/2456.75 c #Conflicts: 814000 | #Constraints: 22621
2449.46/2456.75 c #Conflicts: 815000 | #Constraints: 23621
2449.46/2456.75 c #Conflicts: 816000 | #Constraints: 24621
2638.61/2646.41 c #Conflicts: 817000 | #Constraints: 25621
2638.61/2646.41 c #Conflicts: 818000 | #Constraints: 26621
2638.61/2646.41 c #Conflicts: 819000 | #Constraints: 27621
2638.61/2646.41 c #Conflicts: 820000 | #Constraints: 28621
2638.61/2646.41 c #Conflicts: 821000 | #Constraints: 29621
2638.61/2646.41 c #Conflicts: 822000 | #Constraints: 30621
2638.61/2646.41 c #Conflicts: 823000 | #Constraints: 31621
2638.61/2646.41 c #Conflicts: 824000 | #Constraints: 32621
2638.61/2646.41 c #Conflicts: 825000 | #Constraints: 33621
2638.61/2646.41 c #Conflicts: 826000 | #Constraints: 34621
2638.61/2646.41 c #Conflicts: 827000 | #Constraints: 35621
2638.61/2646.41 c #Conflicts: 828000 | #Constraints: 36621
2638.61/2646.41 c INPROCESSING
2638.61/2646.41 c GARBAGE COLLECT
2638.61/2646.41 c #Conflicts: 829000 | #Constraints: 19628
2638.61/2646.41 c #Conflicts: 830000 | #Constraints: 20628
2638.61/2646.41 c #Conflicts: 831000 | #Constraints: 21628
2638.61/2646.41 c #Conflicts: 832000 | #Constraints: 22628
2638.61/2646.41 c #Conflicts: 833000 | #Constraints: 23628
2638.61/2646.41 c #Conflicts: 834000 | #Constraints: 24628
2638.61/2646.41 c #Conflicts: 835000 | #Constraints: 25628
2638.61/2646.41 c #Conflicts: 836000 | #Constraints: 26628
2638.61/2646.41 c #Conflicts: 837000 | #Constraints: 27628
2638.61/2646.41 c #Conflicts: 838000 | #Constraints: 28628
2638.61/2646.41 c #Conflicts: 839000 | #Constraints: 29628
2638.61/2646.41 c #Conflicts: 840000 | #Constraints: 30628
2638.61/2646.41 c #Conflicts: 841000 | #Constraints: 31628
2638.61/2646.41 c #Conflicts: 842000 | #Constraints: 32628
2638.61/2646.41 c #Conflicts: 843000 | #Constraints: 33628
2638.61/2646.41 c #Conflicts: 844000 | #Constraints: 34628
2638.61/2646.41 c #Conflicts: 845000 | #Constraints: 35628
2638.61/2646.41 c #Conflicts: 846000 | #Constraints: 36628
2638.61/2646.41 c INPROCESSING
2638.61/2646.41 c GARBAGE COLLECT
2638.61/2646.41 c #Conflicts: 847000 | #Constraints: 19425
2638.61/2646.41 c #Conflicts: 848000 | #Constraints: 20425
2638.61/2646.41 c #Conflicts: 849000 | #Constraints: 21425
2638.61/2646.41 c #Conflicts: 850000 | #Constraints: 22425
2638.61/2646.41 c #Conflicts: 851000 | #Constraints: 23425
2638.61/2646.41 c #Conflicts: 852000 | #Constraints: 24425
2638.61/2646.41 c #Conflicts: 853000 | #Constraints: 25425
2638.61/2646.41 c #Conflicts: 854000 | #Constraints: 26425
2638.61/2646.41 c #Conflicts: 855000 | #Constraints: 27425
2638.61/2646.41 c #Conflicts: 856000 | #Constraints: 28425
2638.61/2646.41 c #Conflicts: 857000 | #Constraints: 29425
2638.61/2646.41 c #Conflicts: 858000 | #Constraints: 30425
2638.61/2646.41 c #Conflicts: 859000 | #Constraints: 31425
2638.61/2646.41 c #Conflicts: 860000 | #Constraints: 32425
2638.61/2646.41 c #Conflicts: 861000 | #Constraints: 33425
2638.61/2646.41 c #Conflicts: 862000 | #Constraints: 34425
2638.61/2646.41 c #Conflicts: 863000 | #Constraints: 35425
2638.61/2646.41 c #Conflicts: 864000 | #Constraints: 36425
2638.61/2646.41 c #Conflicts: 865000 | #Constraints: 37425
2638.61/2646.41 c INPROCESSING
2638.61/2646.41 c GARBAGE COLLECT
2638.61/2646.41 c #Conflicts: 866000 | #Constraints: 20021
2638.61/2646.41 c #Conflicts: 867000 | #Constraints: 21021
2638.61/2646.41 c #Conflicts: 868000 | #Constraints: 22021
2638.61/2646.41 c #Conflicts: 869000 | #Constraints: 23021
2638.61/2646.41 c #Conflicts: 870000 | #Constraints: 24021
2638.61/2646.41 c #Conflicts: 871000 | #Constraints: 25021
2638.61/2646.41 c #Conflicts: 872000 | #Constraints: 26021
2638.61/2646.41 c #Conflicts: 873000 | #Constraints: 27021
2638.61/2646.41 c #Conflicts: 874000 | #Constraints: 28021
2638.61/2646.41 c #Conflicts: 875000 | #Constraints: 29021
2638.61/2646.41 c #Conflicts: 876000 | #Constraints: 30021
2638.61/2646.41 c #Conflicts: 877000 | #Constraints: 31021
2638.61/2646.41 c #Conflicts: 878000 | #Constraints: 32021
2638.61/2646.41 c #Conflicts: 879000 | #Constraints: 33021
2638.61/2646.41 c #Conflicts: 880000 | #Constraints: 34021
2638.61/2646.41 c #Conflicts: 881000 | #Constraints: 35021
2638.61/2646.41 c #Conflicts: 882000 | #Constraints: 36021
2638.61/2646.41 c #Conflicts: 883000 | #Constraints: 37021
2638.61/2646.41 c #Conflicts: 884000 | #Constraints: 38021
2638.61/2646.41 c INPROCESSING
2638.61/2646.41 c GARBAGE COLLECT
2638.61/2646.41 c #Conflicts: 885000 | #Constraints: 20421
2638.61/2646.41 c #Conflicts: 886000 | #Constraints: 21421
2638.61/2646.41 c #Conflicts: 887000 | #Constraints: 22421
2638.61/2646.41 c #Conflicts: 888000 | #Constraints: 23421
2638.61/2646.41 c #Conflicts: 889000 | #Constraints: 24421
2638.61/2646.41 c #Conflicts: 890000 | #Constraints: 25421
2638.61/2646.41 c #Conflicts: 891000 | #Constraints: 26421
2638.61/2646.41 c #Conflicts: 892000 | #Constraints: 27421
2881.09/2889.61 c #Conflicts: 893000 | #Constraints: 28421
2881.09/2889.61 c #Conflicts: 894000 | #Constraints: 29421
2881.09/2889.61 c #Conflicts: 895000 | #Constraints: 30421
2881.09/2889.61 c #Conflicts: 896000 | #Constraints: 31421
2881.09/2889.61 c #Conflicts: 897000 | #Constraints: 32421
2881.09/2889.61 c #Conflicts: 898000 | #Constraints: 33421
2881.09/2889.61 c #Conflicts: 899000 | #Constraints: 34421
2881.09/2889.61 c #Conflicts: 900000 | #Constraints: 35421
2881.09/2889.61 c #Conflicts: 901000 | #Constraints: 36421
2881.09/2889.61 c #Conflicts: 902000 | #Constraints: 37421
2881.09/2889.61 c #Conflicts: 903000 | #Constraints: 38421
2881.09/2889.61 c INPROCESSING
2881.09/2889.61 c GARBAGE COLLECT
2881.09/2889.61 c #Conflicts: 904000 | #Constraints: 20615
2881.09/2889.61 c #Conflicts: 905000 | #Constraints: 21615
2881.09/2889.61 c #Conflicts: 906000 | #Constraints: 22615
2881.09/2889.61 c #Conflicts: 907000 | #Constraints: 23615
2881.09/2889.61 c #Conflicts: 908000 | #Constraints: 24615
2881.09/2889.61 c #Conflicts: 909000 | #Constraints: 25615
2881.09/2889.61 c #Conflicts: 910000 | #Constraints: 26615
2881.09/2889.61 c #Conflicts: 911000 | #Constraints: 27615
2881.09/2889.61 c #Conflicts: 912000 | #Constraints: 28615
2881.09/2889.61 c #Conflicts: 913000 | #Constraints: 29615
2881.09/2889.61 c #Conflicts: 914000 | #Constraints: 30615
2881.09/2889.61 c #Conflicts: 915000 | #Constraints: 31615
2881.09/2889.61 c #Conflicts: 916000 | #Constraints: 32615
2881.09/2889.61 c #Conflicts: 917000 | #Constraints: 33615
2881.09/2889.61 c #Conflicts: 918000 | #Constraints: 34615
2881.09/2889.61 c #Conflicts: 919000 | #Constraints: 35615
2881.09/2889.61 c #Conflicts: 920000 | #Constraints: 36615
2881.09/2889.61 c #Conflicts: 921000 | #Constraints: 37615
2881.09/2889.61 c #Conflicts: 922000 | #Constraints: 38615
2881.09/2889.61 c INPROCESSING
2881.09/2889.61 c GARBAGE COLLECT
2881.09/2889.61 c #Conflicts: 923000 | #Constraints: 20614
2881.09/2889.61 c #Conflicts: 924000 | #Constraints: 21614
2881.09/2889.61 c #Conflicts: 925000 | #Constraints: 22614
2881.09/2889.61 c #Conflicts: 926000 | #Constraints: 23614
2881.09/2889.61 c #Conflicts: 927000 | #Constraints: 24614
2881.09/2889.61 c #Conflicts: 928000 | #Constraints: 25614
2881.09/2889.61 c #Conflicts: 929000 | #Constraints: 26614
2881.09/2889.61 c #Conflicts: 930000 | #Constraints: 27614
2881.09/2889.61 c #Conflicts: 931000 | #Constraints: 28614
2881.09/2889.61 c #Conflicts: 932000 | #Constraints: 29614
2881.09/2889.61 c #Conflicts: 933000 | #Constraints: 30614
2881.09/2889.61 c #Conflicts: 934000 | #Constraints: 31614
2881.09/2889.61 c #Conflicts: 935000 | #Constraints: 32614
2881.09/2889.61 c #Conflicts: 936000 | #Constraints: 33614
2881.09/2889.61 c #Conflicts: 937000 | #Constraints: 34614
2881.09/2889.61 c #Conflicts: 938000 | #Constraints: 35614
2881.09/2889.61 c #Conflicts: 939000 | #Constraints: 36614
2881.09/2889.61 c #Conflicts: 940000 | #Constraints: 37614
2881.09/2889.61 c #Conflicts: 941000 | #Constraints: 38614
2881.09/2889.61 c INPROCESSING
2881.09/2889.61 c GARBAGE COLLECT
2881.09/2889.61 c #Conflicts: 942000 | #Constraints: 20433
2881.09/2889.61 c #Conflicts: 943000 | #Constraints: 21433
2881.09/2889.61 c #Conflicts: 944000 | #Constraints: 22433
2881.09/2889.61 c #Conflicts: 945000 | #Constraints: 23433
2881.09/2889.61 c #Conflicts: 946000 | #Constraints: 24433
2881.09/2889.61 c #Conflicts: 947000 | #Constraints: 25433
2881.09/2889.61 c #Conflicts: 948000 | #Constraints: 26433
2881.09/2889.61 c #Conflicts: 949000 | #Constraints: 27433
2881.09/2889.61 c #Conflicts: 950000 | #Constraints: 28433
2881.09/2889.61 c #Conflicts: 951000 | #Constraints: 29433
2881.09/2889.61 c #Conflicts: 952000 | #Constraints: 30433
2881.09/2889.61 c #Conflicts: 953000 | #Constraints: 31433
2881.09/2889.61 c #Conflicts: 954000 | #Constraints: 32433
2881.09/2889.61 c #Conflicts: 955000 | #Constraints: 33433
2881.09/2889.61 c #Conflicts: 956000 | #Constraints: 34433
2881.09/2889.61 c #Conflicts: 957000 | #Constraints: 35433
2881.09/2889.61 c #Conflicts: 958000 | #Constraints: 36433
2881.09/2889.61 c #Conflicts: 959000 | #Constraints: 37433
2881.09/2889.61 c #Conflicts: 960000 | #Constraints: 38433
2881.09/2889.61 c #Conflicts: 961000 | #Constraints: 39433
2881.09/2889.61 c INPROCESSING
2881.09/2889.61 c GARBAGE COLLECT
2881.09/2889.61 c #Conflicts: 962000 | #Constraints: 21046
2881.09/2889.61 c #Conflicts: 963000 | #Constraints: 22046
2881.09/2889.61 c #Conflicts: 964000 | #Constraints: 23046
2881.09/2889.61 c #Conflicts: 965000 | #Constraints: 24046
2881.09/2889.61 c #Conflicts: 966000 | #Constraints: 25046
2881.09/2889.61 c #Conflicts: 967000 | #Constraints: 26046
2881.09/2889.61 c #Conflicts: 968000 | #Constraints: 27046
3390.62/3400.67 c #Conflicts: 969000 | #Constraints: 28046
3390.62/3400.67 c #Conflicts: 970000 | #Constraints: 29046
3390.62/3400.67 c #Conflicts: 971000 | #Constraints: 30046
3390.62/3400.67 c #Conflicts: 972000 | #Constraints: 31046
3390.62/3400.67 c #Conflicts: 973000 | #Constraints: 32046
3390.62/3400.67 c #Conflicts: 974000 | #Constraints: 33046
3390.62/3400.67 c #Conflicts: 975000 | #Constraints: 34046
3390.62/3400.67 c #Conflicts: 976000 | #Constraints: 35046
3390.62/3400.67 c #Conflicts: 977000 | #Constraints: 36046
3390.62/3400.67 c #Conflicts: 978000 | #Constraints: 37046
3390.62/3400.67 c #Conflicts: 979000 | #Constraints: 38046
3390.62/3400.67 c #Conflicts: 980000 | #Constraints: 39046
3390.62/3400.67 c #Conflicts: 981000 | #Constraints: 40046
3390.62/3400.67 c INPROCESSING
3390.62/3400.67 c GARBAGE COLLECT
3390.62/3400.67 c #Conflicts: 982000 | #Constraints: 21440
3390.62/3400.67 c #Conflicts: 983000 | #Constraints: 22440
3390.62/3400.67 c #Conflicts: 984000 | #Constraints: 23440
3390.62/3400.67 c #Conflicts: 985000 | #Constraints: 24440
3390.62/3400.67 c #Conflicts: 986000 | #Constraints: 25440
3390.62/3400.67 c #Conflicts: 987000 | #Constraints: 26440
3390.62/3400.67 c #Conflicts: 988000 | #Constraints: 27440
3390.62/3400.67 c #Conflicts: 989000 | #Constraints: 28440
3390.62/3400.67 c #Conflicts: 990000 | #Constraints: 29440
3390.62/3400.67 c #Conflicts: 991000 | #Constraints: 30440
3390.62/3400.67 c #Conflicts: 992000 | #Constraints: 31440
3390.62/3400.67 c #Conflicts: 993000 | #Constraints: 32440
3390.62/3400.67 c #Conflicts: 994000 | #Constraints: 33440
3390.62/3400.67 c #Conflicts: 995000 | #Constraints: 34440
3390.62/3400.67 c #Conflicts: 996000 | #Constraints: 35440
3390.62/3400.67 c #Conflicts: 997000 | #Constraints: 36440
3390.62/3400.67 c #Conflicts: 998000 | #Constraints: 37440
3390.62/3400.67 c #Conflicts: 999000 | #Constraints: 38440
3390.62/3400.67 c #Conflicts: 1000000 | #Constraints: 39440
3390.62/3400.67 c #Conflicts: 1001000 | #Constraints: 40440
3390.62/3400.67 c INPROCESSING
3390.62/3400.67 c GARBAGE COLLECT
3390.62/3400.67 c #Conflicts: 1002000 | #Constraints: 21642
3390.62/3400.67 c #Conflicts: 1003000 | #Constraints: 22642
3390.62/3400.67 c #Conflicts: 1004000 | #Constraints: 23642
3390.62/3400.67 c #Conflicts: 1005000 | #Constraints: 24642
3390.62/3400.67 c #Conflicts: 1006000 | #Constraints: 25642
3390.62/3400.67 c #Conflicts: 1007000 | #Constraints: 26642
3390.62/3400.67 c #Conflicts: 1008000 | #Constraints: 27642
3390.62/3400.67 c #Conflicts: 1009000 | #Constraints: 28642
3390.62/3400.67 c #Conflicts: 1010000 | #Constraints: 29642
3390.62/3400.67 c #Conflicts: 1011000 | #Constraints: 30642
3390.62/3400.67 c #Conflicts: 1012000 | #Constraints: 31642
3390.62/3400.67 c #Conflicts: 1013000 | #Constraints: 32642
3390.62/3400.67 c #Conflicts: 1014000 | #Constraints: 33642
3390.62/3400.67 c #Conflicts: 1015000 | #Constraints: 34642
3390.62/3400.67 c #Conflicts: 1016000 | #Constraints: 35642
3390.62/3400.67 c #Conflicts: 1017000 | #Constraints: 36642
3390.62/3400.67 c #Conflicts: 1018000 | #Constraints: 37642
3390.62/3400.67 c #Conflicts: 1019000 | #Constraints: 38642
3390.62/3400.67 c #Conflicts: 1020000 | #Constraints: 39642
3390.62/3400.67 c #Conflicts: 1021000 | #Constraints: 40642
3390.62/3400.67 c INPROCESSING
3390.62/3400.67 c GARBAGE COLLECT
3390.62/3400.67 c #Conflicts: 1022000 | #Constraints: 21644
3390.62/3400.67 c #Conflicts: 1023000 | #Constraints: 22644
3390.62/3400.67 c #Conflicts: 1024000 | #Constraints: 23644
3390.62/3400.67 c #Conflicts: 1025000 | #Constraints: 24644
3390.62/3400.67 c #Conflicts: 1026000 | #Constraints: 25644
3390.62/3400.67 c #Conflicts: 1027000 | #Constraints: 26644
3390.62/3400.67 c #Conflicts: 1028000 | #Constraints: 27644
3390.62/3400.67 c #Conflicts: 1029000 | #Constraints: 28644
3390.62/3400.67 c #Conflicts: 1030000 | #Constraints: 29644
3390.62/3400.67 c #Conflicts: 1031000 | #Constraints: 30644
3390.62/3400.67 c #Conflicts: 1032000 | #Constraints: 31644
3390.62/3400.67 c #Conflicts: 1033000 | #Constraints: 32644
3390.62/3400.67 c #Conflicts: 1034000 | #Constraints: 33644
3390.62/3400.67 c #Conflicts: 1035000 | #Constraints: 34644
3390.62/3400.67 c #Conflicts: 1036000 | #Constraints: 35644
3390.62/3400.67 c #Conflicts: 1037000 | #Constraints: 36644
3390.62/3400.67 c #Conflicts: 1038000 | #Constraints: 37644
3390.62/3400.67 c #Conflicts: 1039000 | #Constraints: 38644
3390.62/3400.67 c #Conflicts: 1040000 | #Constraints: 39644
3390.62/3400.67 c #Conflicts: 1041000 | #Constraints: 40644
3390.62/3400.67 c INPROCESSING
3390.62/3400.67 c GARBAGE COLLECT
3390.62/3400.67 c #Conflicts: 1042000 | #Constraints: 21451
3390.62/3400.67 c #Conflicts: 1043000 | #Constraints: 22451
3390.62/3400.67 c #Conflicts: 1044000 | #Constraints: 23451
3600.01/3610.60 c #Conflicts: 1045000 | #Constraints: 24451
3600.01/3610.60 c #Conflicts: 1046000 | #Constraints: 25451
3600.01/3610.60 c #Conflicts: 1047000 | #Constraints: 26451
3600.01/3610.60 c #Conflicts: 1048000 | #Constraints: 27451
3600.01/3610.60 c #Conflicts: 1049000 | #Constraints: 28451
3600.01/3610.60 c #Conflicts: 1050000 | #Constraints: 29451
3600.01/3610.60 c #Conflicts: 1051000 | #Constraints: 30451
3600.01/3610.60 c #Conflicts: 1052000 | #Constraints: 31451
3600.01/3610.60 c #Conflicts: 1053000 | #Constraints: 32451
3600.01/3610.60 c #Conflicts: 1054000 | #Constraints: 33451
3600.01/3610.60 c #Conflicts: 1055000 | #Constraints: 34451
3600.01/3610.60 c #Conflicts: 1056000 | #Constraints: 35451
3600.01/3610.60 c #Conflicts: 1057000 | #Constraints: 36451
3600.01/3610.60 c #Conflicts: 1058000 | #Constraints: 37451
3600.01/3610.60 c #Conflicts: 1059000 | #Constraints: 38451
3600.01/3610.60 c #Conflicts: 1060000 | #Constraints: 39451
3600.01/3610.60 c #Conflicts: 1061000 | #Constraints: 40451
3600.01/3610.60 c #Conflicts: 1062000 | #Constraints: 41451
3600.01/3610.60 c INPROCESSING
3600.01/3610.60 c GARBAGE COLLECT
3600.01/3610.60 c #Conflicts: 1063000 | #Constraints: 22046
3600.01/3610.60 c #Conflicts: 1064000 | #Constraints: 23046
3600.01/3610.60 c #Conflicts: 1065000 | #Constraints: 24046
3600.01/3610.60 c #Conflicts: 1066000 | #Constraints: 25046
3600.01/3610.60 c #Conflicts: 1067000 | #Constraints: 26046
3600.01/3610.60 c #Conflicts: 1068000 | #Constraints: 27046
3600.01/3610.60 c #Conflicts: 1069000 | #Constraints: 28046
3600.01/3610.60 c #Conflicts: 1070000 | #Constraints: 29046
3600.01/3610.60 c #Conflicts: 1071000 | #Constraints: 30046
3600.01/3610.60 c #Conflicts: 1072000 | #Constraints: 31046
3600.01/3610.60 c #Conflicts: 1073000 | #Constraints: 32046
3600.01/3610.60 c Program interrupted by user.
3600.01/3610.60 c cpu time 3580.82 s
3600.01/3610.60 c deterministic time 646452329130 6.46e+11
3600.01/3610.60 c optimization time 60.3825 s
3600.01/3610.60 c total solve time 3221.38 s
3600.01/3610.60 c core-guided solve time 0 s
3600.01/3610.60 c propagation time 2502.81 s
3600.01/3610.60 c conflict analysis time 612.338 s
3600.01/3610.60 c propagations 174531223
3600.01/3610.60 c resolve steps 5783105
3600.01/3610.60 c decisions 15656774
3600.01/3610.60 c conflicts 1073023
3600.01/3610.60 c restarts 2046
3600.01/3610.60 c inprocessing phases 94
3600.01/3610.60 c input clauses 366
3600.01/3610.60 c input cardinalities 366
3600.01/3610.60 c input general constraints 64
3600.01/3610.60 c input average constraint length 58.85
3600.01/3610.60 c input average constraint degree 11738.12
3600.01/3610.60 c learned clauses 107135
3600.01/3610.60 c learned cardinalities 1751
3600.01/3610.60 c learned general constraints 964137
3600.01/3610.60 c learned average constraint length 1612.24
3600.01/3610.60 c learned average constraint degree 25001119.26
3600.01/3610.60 c watched constraints 497479
3600.01/3610.60 c counting constraints 466722
3600.01/3610.60 c gcd simplifications 45095
3600.01/3610.60 c detected cardinalities 85
3600.01/3610.60 c weakened non-implied lits 244465496
3600.01/3610.60 c weakened non-implying lits 207972
3600.01/3610.60 c original variables 11744
3600.01/3610.60 c clausal propagations 3839020
3600.01/3610.60 c cardinality propagations 11825056
3600.01/3610.60 c watched propagations 6705147
3600.01/3610.60 c counting propagations 150959170
3600.01/3610.60 c watch lookups 30838621653
3600.01/3610.60 c watch backjump lookups 30252438160
3600.01/3610.60 c watch checks 403222613027
3600.01/3610.60 c propagation checks 176597557978
3600.01/3610.60 c constraint additions 5159659939
3600.01/3610.60 c trail pops 191250375
3600.01/3610.60 c formula constraints 796
3600.01/3610.60 c learned constraints 1073023
3600.01/3610.60 c bound constraints 0
3600.01/3610.60 c core-guided constraints 0
3600.01/3610.60 c encountered formula constraints 3892372
3600.01/3610.60 c encountered learned constraints 2963756
3600.01/3610.60 c encountered bound constraints 0
3600.01/3610.60 c encountered core-guided constraints 0
3600.01/3610.60 c LP total time 0 s
3600.01/3610.60 c LP solve time 0 s
3600.01/3610.60 c LP constraints added 0
3600.01/3610.60 c LP constraints removed 0
3600.01/3610.60 c LP pivots internal 0
3600.01/3610.60 c LP pivots root 0
3600.01/3610.60 c LP calls 0
3600.01/3610.60 c LP optimalities 0
3600.01/3610.60 c LP no pivot count 0
3600.01/3610.60 c LP infeasibilities 0
3600.01/3610.60 c LP valid Farkas constraints 0
3600.01/3610.60 c LP learned Farkas constraints 0
3600.01/3610.60 c LP basis resets 0
3600.01/3610.60 c LP cycling count 0
3600.01/3610.60 c LP singular count 0
3600.01/3610.60 c LP no primal count 0
3600.01/3610.60 c LP no farkas count 0
3600.01/3610.60 c LP other issue count 0
3600.01/3610.60 c LP Gomory cuts 0
3600.01/3610.60 c LP learned cuts 0
3600.01/3610.60 c LP deleted cuts 0
3600.01/3610.60 c LP encountered Gomory constraints 0
3600.01/3610.60 c LP encountered Farkas constraints 0
3600.01/3610.60 c LP encountered learned Farkas constraints 0
3600.01/3610.60 c CG auxiliary variables introduced 0
3600.01/3610.60 c CG solutions found 0
3600.01/3610.60 c CG cores constructed 0
3600.01/3610.60 c CG core cardinality constraints returned 0
3600.01/3610.60 c CG unit cores 0
3600.01/3610.60 c CG single cores 0
3600.01/3610.60 c CG blocks removed during cardinality reduction 0
3600.01/3610.60 c CG first core best 0
3600.01/3610.60 c CG decision core best 0
3600.01/3610.60 c CG core reduction tie 0
3600.01/3610.60 c CG core degree average 0.00
3600.01/3610.60 c CG core slack average 0.00
3600.01/3610.60 c CG exhausted 0
3600.01/3610.60 c CG exhaust time 0 s
3600.01/3610.60 c CG trimmed 0
3600.01/3610.60 c CG trim time 0 s
3600.01/3610.60 c CG minimized 0
3600.01/3610.60 c CG minimize time 0 s
3600.01/3610.60 c CG am1 prop time 0 s
3600.01/3610.60 c CG # am1s reformulated 0
3600.01/3610.60 c CG lower bound derived from am1s 0
3600.01/3610.60 c CG # clausal cores 0
3600.01/3610.60 c CG # cardinality cores 0
3600.01/3610.60 c CG # pb cores 0
3600.01/3610.60 c CG # pb reforms 0
3600.01/3610.60 c CG # cores discarded because of pb reform 0
3600.01/3610.60 d LOWERBOUND 0
3600.01/3610.60 d NCORES 0
3600.01/3610.60 d NPBCORES 0
3600.01/3610.60 d NPBREFORM 0
3600.01/3610.60 d NTRIMMED 0
3600.01/3610.60 d NEXHAUSTED 0
3600.01/3610.60 d NAM1S 0
3600.01/3610.60 d AM1LB 0
3600.01/3610.60 c [Papilo Statistics]
3600.01/3610.60 c prepro time 0.0171672s
3600.01/3610.60 c # tsx applied 430
3600.01/3610.60 c # tsx conflicts 0
3600.01/3610.60 c # bound changes 32
3600.01/3610.60 c # side changes 366
3600.01/3610.60 c # coef changes 0
3600.01/3610.60 c # rounds 3
3600.01/3610.60 c # deted vars 32
3600.01/3610.60 c # deted constrs 368
3600.01/3610.60 c # consecutive rounds of only bound changes 0
3600.01/3610.61 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: 63708 MiB (60485 MiB free)
memory of node 1: 64465 MiB (63076 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509599-1751527719/watcher-4509599-1751527719 -o /tmp/evaluation-result-4509599-1751527719/solver-4509599-1751527719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751527683-70540 --watchdog 3760 mixed-bag HOME/instance-4509599-1751527719.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=70690, runsolver pid=70687
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 2.31 1.81 2.80 5/266 70691
/proc/meminfo: memFree=126519576/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=134788 memory=59228 CPUtime=0.09 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 12179 0 0 0 7 2 0 0 20 0 1 0 68449384 138022912 14807 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 33697 14807 4064 2842 0 15391 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 134788 KiB
Current children cumulated memory: 59228 KiB
[startup+0.205585 s]*
/proc/loadavg: 2.31 1.81 2.80 5/266 70691
/proc/meminfo: memFree=126494628/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=165820 memory=86832 CPUtime=0.19 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 20268 0 0 0 16 3 0 0 20 0 1 0 68449384 169799680 21676 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 41455 21676 4096 2842 0 23149 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 165820 KiB
Current children cumulated memory: 86832 KiB
[startup+0.305453 s]*
/proc/loadavg: 2.31 1.81 2.80 5/266 70691
/proc/meminfo: memFree=126472452/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=197628 memory=101040 CPUtime=0.29 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 23869 0 0 0 25 4 0 0 20 0 1 0 68449384 202371072 25260 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 49407 25260 4096 2842 0 31101 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 197628 KiB
Current children cumulated memory: 101040 KiB
[startup+0.700154 s]
/proc/loadavg: 2.31 1.81 2.80 5/266 70691
/proc/meminfo: memFree=126472452/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=206688 memory=109872 CPUtime=0.68 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 26059 0 0 0 64 4 0 0 20 0 1 0 68449384 211648512 27468 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 51672 27468 4096 2842 0 33366 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 206688 KiB
Current children cumulated memory: 109872 KiB
[startup+1.50016 s]
/proc/loadavg: 2.31 1.81 2.80 5/266 70691
/proc/meminfo: memFree=126456324/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=313132 memory=209932 CPUtime=1.48 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 51300 0 0 0 140 8 0 0 20 0 1 0 68449384 320647168 52483 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 78283 52483 4288 2842 0 59977 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 313132 KiB
Current children cumulated memory: 209932 KiB
[startup+3.10537 s]
/proc/loadavg: 2.31 1.81 2.80 5/266 70691
/proc/meminfo: memFree=126305452/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=374756 memory=269428 CPUtime=3.08 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 62630 0 0 0 298 10 0 0 20 0 1 0 68449384 383750144 67357 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 93689 67357 4288 2842 0 75383 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 374756 KiB
Current children cumulated memory: 269428 KiB
[startup+6.30016 s]
/proc/loadavg: 2.44 1.85 2.81 5/266 70691
/proc/meminfo: memFree=126279912/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=408316 memory=303476 CPUtime=6.26 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 71140 0 0 0 615 11 0 0 20 0 1 0 68449384 418115584 75869 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 102079 75869 4288 2842 0 83773 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 408316 KiB
Current children cumulated memory: 303476 KiB
[startup+12.7002 s]
/proc/loadavg: 2.57 1.88 2.81 5/266 70691
/proc/meminfo: memFree=126267928/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=408316 memory=303732 CPUtime=12.64 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 71196 0 0 0 1253 11 0 0 20 0 1 0 68449384 418115584 75933 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 102079 75933 4288 2842 0 83773 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 408316 KiB
Current children cumulated memory: 303732 KiB
[startup+25.5002 s]
/proc/loadavg: 2.96 2.00 2.84 5/266 70691
/proc/meminfo: memFree=126195352/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=422988 memory=318836 CPUtime=25.4 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 74977 0 0 0 2529 11 0 0 20 0 1 0 68449384 433139712 79709 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 105747 79709 4288 2842 0 87441 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 422988 KiB
Current children cumulated memory: 318836 KiB
[startup+51.1053 s]
/proc/loadavg: 3.32 2.17 2.87 5/266 70692
/proc/meminfo: memFree=126162888/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=424976 memory=320884 CPUtime=50.94 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 75516 0 0 0 5082 12 0 0 20 0 1 0 68449384 435175424 80221 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 106244 80221 4288 2842 0 87938 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 424976 KiB
Current children cumulated memory: 320884 KiB
[startup+102.3 s]
/proc/loadavg: 3.75 2.46 2.94 5/266 70695
/proc/meminfo: memFree=126007488/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=502984 memory=386548 CPUtime=101.96 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 91926 0 0 0 10183 13 0 0 20 0 1 0 68449384 515055616 96637 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 125746 96637 4288 2842 0 107440 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 502984 KiB
Current children cumulated memory: 386548 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 2.78 3.02 5/266 70697
/proc/meminfo: memFree=125828992/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=616592 memory=478836 CPUtime=161.77 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 115032 0 0 0 16160 17 0 0 20 0 1 0 68449384 631390208 119709 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 154148 119709 4288 2842 0 135842 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 616592 KiB
Current children cumulated memory: 478836 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.02 3.09 5/267 70700
/proc/meminfo: memFree=125701972/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=683640 memory=541684 CPUtime=221.59 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 130753 0 0 0 22139 20 0 0 20 0 1 0 68449384 700047360 135421 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 170910 135421 4288 2842 0 152604 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 683640 KiB
Current children cumulated memory: 541684 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.23 3.16 5/265 70702
/proc/meminfo: memFree=125673996/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=683640 memory=542452 CPUtime=281.41 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 131035 0 0 0 28121 20 0 0 20 0 1 0 68449384 700047360 135613 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 170910 135613 4288 2842 0 152604 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 683640 KiB
Current children cumulated memory: 542452 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.39 3.22 5/264 70703
/proc/meminfo: memFree=125474764/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=760440 memory=600296 CPUtime=341.24 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 136745 0 0 0 33994 130 0 0 20 0 1 0 68449384 778690560 150074 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 190110 150074 4384 2842 0 171804 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 760440 KiB
Current children cumulated memory: 600296 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.52 3.28 5/264 70706
/proc/meminfo: memFree=125236336/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=760440 memory=656528 CPUtime=401.06 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 139588 0 0 0 39926 180 0 0 20 0 1 0 68449384 778690560 164132 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 190110 164132 4384 2842 0 171804 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 760440 KiB
Current children cumulated memory: 656528 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.64 3.33 5/264 70708
/proc/meminfo: memFree=125212788/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=841828 memory=675956 CPUtime=460.89 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 140352 0 0 0 45870 219 0 0 20 0 1 0 68449384 862031872 168989 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 210457 168989 4384 2842 0 192151 0
################
# More data... #
################
Current children cumulated memory: 2337764 KiB
[startup+2862.3 s]
/proc/loadavg: 4.22 4.11 4.03 5/266 70847
/proc/meminfo: memFree=118337660/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=2812924 memory=2375652 CPUtime=2853.87 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 402410 0 0 0 283602 1785 0 0 20 0 1 0 68449384 2880434176 593913 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 703231 593913 4384 2842 0 684925 0
Current children cumulated CPU time: 2853.87 s
Current children cumulated vsize: 2812924 KiB
Current children cumulated memory: 2375652 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.11 4.03 5/267 70853
/proc/meminfo: memFree=118175464/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=2812924 memory=2415204 CPUtime=2913.69 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 402411 0 0 0 289574 1795 0 0 20 0 1 0 68449384 2880434176 603801 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 703231 603801 4384 2842 0 684925 0
Current children cumulated CPU time: 2913.69 s
Current children cumulated vsize: 2812924 KiB
Current children cumulated memory: 2415204 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/266 70855
/proc/meminfo: memFree=118070644/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=2825920 memory=2425828 CPUtime=2973.51 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 404648 0 0 0 295537 1814 0 0 20 0 1 0 68449384 2893742080 606457 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 706480 606457 4384 2842 0 688174 0
Current children cumulated CPU time: 2973.51 s
Current children cumulated vsize: 2825920 KiB
Current children cumulated memory: 2425828 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/266 70861
/proc/meminfo: memFree=117950812/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=2850408 memory=2446948 CPUtime=3033.31 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 410813 0 0 0 301504 1827 0 0 20 0 1 0 68449384 2918817792 611737 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 712602 611737 4384 2842 0 694296 0
Current children cumulated CPU time: 3033.31 s
Current children cumulated vsize: 2850408 KiB
Current children cumulated memory: 2446948 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/266 70863
/proc/meminfo: memFree=117860112/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=2904684 memory=2480740 CPUtime=3093.14 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 419421 0 0 0 307476 1838 0 0 20 0 1 0 68449384 2974396416 620185 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 726171 620185 4384 2842 0 707865 0
Current children cumulated CPU time: 3093.14 s
Current children cumulated vsize: 2904684 KiB
Current children cumulated memory: 2480740 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/266 70865
/proc/meminfo: memFree=117769320/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=2904684 memory=2480740 CPUtime=3152.97 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 419421 0 0 0 313452 1845 0 0 20 0 1 0 68449384 2974396416 620185 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 726171 620185 4384 2842 0 707865 0
Current children cumulated CPU time: 3152.97 s
Current children cumulated vsize: 2904684 KiB
Current children cumulated memory: 2480740 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.03 5/266 70867
/proc/meminfo: memFree=117704628/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=2908596 memory=2483044 CPUtime=3212.81 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 419992 0 0 0 319423 1858 0 0 20 0 1 0 68449384 2978402304 620761 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 727149 620761 4384 2842 0 708843 0
Current children cumulated CPU time: 3212.81 s
Current children cumulated vsize: 2908596 KiB
Current children cumulated memory: 2483044 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/266 70869
/proc/meminfo: memFree=117622768/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=2915948 memory=2487012 CPUtime=3272.65 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 421114 0 0 0 325399 1866 0 0 20 0 1 0 68449384 2985930752 621753 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 728987 621753 4384 2842 0 710681 0
Current children cumulated CPU time: 3272.65 s
Current children cumulated vsize: 2915948 KiB
Current children cumulated memory: 2487012 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/264 70871
/proc/meminfo: memFree=117547004/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=2978420 memory=2527204 CPUtime=3332.48 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 431994 0 0 0 331375 1873 0 0 20 0 1 0 68449384 3049902080 631801 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 744605 631801 4384 2842 0 726299 0
Current children cumulated CPU time: 3332.48 s
Current children cumulated vsize: 2978420 KiB
Current children cumulated memory: 2527204 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/264 70874
/proc/meminfo: memFree=117489836/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=3013052 memory=2551268 CPUtime=3392.31 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 438181 0 0 0 337351 1880 0 0 20 0 1 0 68449384 3085365248 637817 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 753263 637817 4384 2842 0 734957 0
Current children cumulated CPU time: 3392.31 s
Current children cumulated vsize: 3013052 KiB
Current children cumulated memory: 2551268 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.04 5/264 70876
/proc/meminfo: memFree=117361108/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=3013052 memory=2551268 CPUtime=3452.16 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 438181 0 0 0 343326 1890 0 0 20 0 1 0 68449384 3085365248 637817 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 753263 637817 4384 2842 0 734957 0
Current children cumulated CPU time: 3452.16 s
Current children cumulated vsize: 3013052 KiB
Current children cumulated memory: 2551268 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/264 70882
/proc/meminfo: memFree=117359820/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=3015028 memory=2556644 CPUtime=3511.99 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 438474 0 0 0 349300 1899 0 0 20 0 1 0 68449384 3087388672 639161 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 753757 639161 4384 2842 0 735451 0
Current children cumulated CPU time: 3511.99 s
Current children cumulated vsize: 3015028 KiB
Current children cumulated memory: 2556644 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/263 71064
/proc/meminfo: memFree=124773284/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=3114948 memory=2619236 CPUtime=3571.82 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 454393 0 0 0 355266 1916 0 0 20 0 1 0 68449384 3189706752 654809 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 778737 654809 4384 2842 0 760431 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 3114948 KiB
Current children cumulated memory: 2619236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.12 4.11 4.05 5/263 71110
/proc/meminfo: memFree=124488384/131250000 swapFree=33007332/33010684
[pid=70690] ppid=70687 vsize=3114948 memory=2619236 CPUtime=3600.01 cores=5,7
/proc/70690/stat : 70690 (mixed-bag) R 70687 70690 70527 0 -1 4194304 454873 0 0 0 358082 1919 0 0 20 0 1 0 68449384 3189706752 654809 18446744073709551615 4235264 15874749 140733860740784 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32190464 140733860743580 140733860743657 140733860743657 140733860749259 0
/proc/70690/statm: 778737 654809 4384 2842 0 760431 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3114948 KiB
Current children cumulated memory: 2619236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.62 s]
# the end of solver process 70690 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.83 s, system=19.216 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.62
CPU time (s): 3600.05
CPU user time (s): 3580.83
CPU system time (s): 19.216
CPU usage (%): 99.7071
Max. virtual memory (cumulated for all children) (KiB): 3114948
Max. memory (cumulated for all children) (KiB): 2619236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.83
system time used= 19.216
maximum resident set size= 2619748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 455056
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= 384
involuntary context switches= 4447
# summary of solver processes directly reported to runsolver:
# pid: 70690
# total CPU time (s): 3600.05
# total CPU user time (s): 3580.83
# total CPU system time (s): 19.216
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54398 second user time and 15.5829 second system time
The end
Begin job on nodeC019 at 2025-07-03 09:28:39
IDJOB=4509599
IDBENCH=158625
IDSOLVER=3340
FILE ID=nodeC019/4509599-1751527719
RUNJOBID= nodeC019-1751527683-70540
SLURM_JOB_ID= 9598661
Free space on /tmp= 431596 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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 -w /tmp/evaluation-result-4509599-1751527719/watcher-4509599-1751527719 -o /tmp/evaluation-result-4509599-1751527719/solver-4509599-1751527719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751527683-70540 --watchdog 3760 mixed-bag HOME/instance-4509599-1751527719.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=32954583
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.708
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.311
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3635.139
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.406
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.663
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.475
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.776
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.643
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126527196 kB
MemAvailable: 128149104 kB
Buffers: 904 kB
Cached: 2424840 kB
SwapCached: 440 kB
Active: 1795516 kB
Inactive: 2279228 kB
Active(anon): 1636456 kB
Inactive(anon): 27736 kB
Active(file): 159060 kB
Inactive(file): 2251492 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16112 kB
Writeback: 16 kB
AnonPages: 1651664 kB
Mapped: 137416 kB
Shmem: 15192 kB
KReclaimable: 101188 kB
Slab: 190240 kB
SReclaimable: 101188 kB
SUnreclaim: 89052 kB
KernelStack: 4288 kB
PageTables: 6680 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2181956 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 96256 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431572 MiB
End job on nodeC019 at 2025-07-03 10:28:50