0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.05 c #variables 6724 #constraints 1681
0.00/0.05 c objective is ce32
0.00/0.06 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.06 c initial counting CF 32, 64, 128, Arb: 1641 , 0 , 0 , 0
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.02393
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.028211
172.05/172.68 c #Conflicts: 1000 | #Constraints: 2681
172.05/172.68 c #Conflicts: 2000 | #Constraints: 3681
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 3000 | #Constraints: 3751
172.05/172.68 c #Conflicts: 4000 | #Constraints: 4751
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 5000 | #Constraints: 4164
172.05/172.68 c #Conflicts: 6000 | #Constraints: 5164
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 7000 | #Constraints: 4169
172.05/172.68 c #Conflicts: 8000 | #Constraints: 5169
172.05/172.68 c #Conflicts: 9000 | #Constraints: 6169
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 10000 | #Constraints: 4894
172.05/172.68 c #Conflicts: 11000 | #Constraints: 5894
172.05/172.68 c #Conflicts: 12000 | #Constraints: 6894
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 13000 | #Constraints: 5332
172.05/172.68 c #Conflicts: 14000 | #Constraints: 6332
172.05/172.68 c #Conflicts: 15000 | #Constraints: 7332
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 16000 | #Constraints: 5571
172.05/172.68 c #Conflicts: 17000 | #Constraints: 6571
172.05/172.68 c #Conflicts: 18000 | #Constraints: 7571
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 19000 | #Constraints: 5595
172.05/172.68 c #Conflicts: 20000 | #Constraints: 6595
172.05/172.68 c #Conflicts: 21000 | #Constraints: 7595
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 22000 | #Constraints: 5424
172.05/172.68 c #Conflicts: 23000 | #Constraints: 6424
172.05/172.68 c #Conflicts: 24000 | #Constraints: 7424
172.05/172.68 c #Conflicts: 25000 | #Constraints: 8424
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 26000 | #Constraints: 5991
172.05/172.68 c #Conflicts: 27000 | #Constraints: 6991
172.05/172.68 c #Conflicts: 28000 | #Constraints: 7991
172.05/172.68 c #Conflicts: 29000 | #Constraints: 8991
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 30000 | #Constraints: 6390
172.05/172.68 c #Conflicts: 31000 | #Constraints: 7390
172.05/172.68 c #Conflicts: 32000 | #Constraints: 8390
172.05/172.68 c #Conflicts: 33000 | #Constraints: 9390
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 34000 | #Constraints: 6618
172.05/172.68 c #Conflicts: 35000 | #Constraints: 7618
172.05/172.68 c #Conflicts: 36000 | #Constraints: 8618
172.05/172.68 c #Conflicts: 37000 | #Constraints: 9618
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 38000 | #Constraints: 6625
172.05/172.68 c #Conflicts: 39000 | #Constraints: 7625
172.05/172.68 c #Conflicts: 40000 | #Constraints: 8625
172.05/172.68 c #Conflicts: 41000 | #Constraints: 9625
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 42000 | #Constraints: 6431
172.05/172.68 c #Conflicts: 43000 | #Constraints: 7431
172.05/172.68 c #Conflicts: 44000 | #Constraints: 8431
172.05/172.68 c #Conflicts: 45000 | #Constraints: 9431
172.05/172.68 c #Conflicts: 46000 | #Constraints: 10431
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 47000 | #Constraints: 7031
172.05/172.68 c #Conflicts: 48000 | #Constraints: 8031
172.05/172.68 c #Conflicts: 49000 | #Constraints: 9031
172.05/172.68 c #Conflicts: 50000 | #Constraints: 10031
172.05/172.68 c #Conflicts: 51000 | #Constraints: 11031
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 52000 | #Constraints: 7443
172.05/172.68 c #Conflicts: 53000 | #Constraints: 8443
172.05/172.68 c #Conflicts: 54000 | #Constraints: 9443
172.05/172.68 c #Conflicts: 55000 | #Constraints: 10443
172.05/172.68 c #Conflicts: 56000 | #Constraints: 11443
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 57000 | #Constraints: 7648
172.05/172.68 c #Conflicts: 58000 | #Constraints: 8648
172.05/172.68 c #Conflicts: 59000 | #Constraints: 9648
172.05/172.68 c #Conflicts: 60000 | #Constraints: 10648
172.05/172.68 c #Conflicts: 61000 | #Constraints: 11648
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 62000 | #Constraints: 7675
172.05/172.68 c #Conflicts: 63000 | #Constraints: 8675
172.05/172.68 c #Conflicts: 64000 | #Constraints: 9675
172.05/172.68 c #Conflicts: 65000 | #Constraints: 10675
172.05/172.68 c #Conflicts: 66000 | #Constraints: 11675
172.05/172.68 c INPROCESSING
172.05/172.68 c GARBAGE COLLECT
172.05/172.68 c #Conflicts: 67000 | #Constraints: 7479
172.05/172.68 c #Conflicts: 68000 | #Constraints: 8479
374.96/376.17 c #Conflicts: 69000 | #Constraints: 9479
374.96/376.17 c #Conflicts: 70000 | #Constraints: 10479
374.96/376.17 c #Conflicts: 71000 | #Constraints: 11479
374.96/376.17 c #Conflicts: 72000 | #Constraints: 12479
374.96/376.17 c INPROCESSING
374.96/376.17 c GARBAGE COLLECT
374.96/376.17 c #Conflicts: 73000 | #Constraints: 8087
374.96/376.17 c #Conflicts: 74000 | #Constraints: 9087
374.96/376.17 c #Conflicts: 75000 | #Constraints: 10087
374.96/376.17 c #Conflicts: 76000 | #Constraints: 11087
374.96/376.17 c #Conflicts: 77000 | #Constraints: 12087
374.96/376.17 c #Conflicts: 78000 | #Constraints: 13087
374.96/376.17 c INPROCESSING
374.96/376.17 c GARBAGE COLLECT
374.96/376.17 c #Conflicts: 79000 | #Constraints: 8505
374.96/376.17 c #Conflicts: 80000 | #Constraints: 9505
374.96/376.17 c #Conflicts: 81000 | #Constraints: 10505
374.96/376.17 c #Conflicts: 82000 | #Constraints: 11505
374.96/376.17 c #Conflicts: 83000 | #Constraints: 12505
374.96/376.17 c #Conflicts: 84000 | #Constraints: 13505
374.96/376.17 c INPROCESSING
374.96/376.17 c GARBAGE COLLECT
374.96/376.17 c #Conflicts: 85000 | #Constraints: 8723
374.96/376.17 c #Conflicts: 86000 | #Constraints: 9723
374.96/376.17 c #Conflicts: 87000 | #Constraints: 10723
374.96/376.17 c #Conflicts: 88000 | #Constraints: 11723
374.96/376.17 c #Conflicts: 89000 | #Constraints: 12723
374.96/376.17 c #Conflicts: 90000 | #Constraints: 13723
374.96/376.17 c INPROCESSING
374.96/376.17 c GARBAGE COLLECT
374.96/376.17 c #Conflicts: 91000 | #Constraints: 8729
374.96/376.17 c #Conflicts: 92000 | #Constraints: 9729
374.96/376.17 c #Conflicts: 93000 | #Constraints: 10729
374.96/376.17 c #Conflicts: 94000 | #Constraints: 11729
374.96/376.17 c #Conflicts: 95000 | #Constraints: 12729
374.96/376.17 c #Conflicts: 96000 | #Constraints: 13729
374.96/376.17 c INPROCESSING
374.96/376.17 c GARBAGE COLLECT
374.96/376.17 c #Conflicts: 97000 | #Constraints: 8529
374.96/376.17 c #Conflicts: 98000 | #Constraints: 9529
374.96/376.17 c #Conflicts: 99000 | #Constraints: 10529
374.96/376.17 c #Conflicts: 100000 | #Constraints: 11529
374.96/376.17 c #Conflicts: 101000 | #Constraints: 12529
374.96/376.17 c #Conflicts: 102000 | #Constraints: 13529
374.96/376.17 c #Conflicts: 103000 | #Constraints: 14529
374.96/376.17 c INPROCESSING
374.96/376.17 c GARBAGE COLLECT
374.96/376.17 c #Conflicts: 104000 | #Constraints: 9148
374.96/376.17 c #Conflicts: 105000 | #Constraints: 10148
374.96/376.17 c #Conflicts: 106000 | #Constraints: 11148
374.96/376.17 c #Conflicts: 107000 | #Constraints: 12148
374.96/376.17 c #Conflicts: 108000 | #Constraints: 13148
374.96/376.17 c #Conflicts: 109000 | #Constraints: 14148
374.96/376.17 c #Conflicts: 110000 | #Constraints: 15148
374.96/376.17 c INPROCESSING
374.96/376.17 c GARBAGE COLLECT
374.96/376.17 c #Conflicts: 111000 | #Constraints: 9553
374.96/376.17 c #Conflicts: 112000 | #Constraints: 10553
374.96/376.17 c #Conflicts: 113000 | #Constraints: 11553
374.96/376.17 c #Conflicts: 114000 | #Constraints: 12553
374.96/376.17 c #Conflicts: 115000 | #Constraints: 13553
374.96/376.17 c #Conflicts: 116000 | #Constraints: 14553
374.96/376.17 c #Conflicts: 117000 | #Constraints: 15553
374.96/376.17 c INPROCESSING
374.96/376.17 c GARBAGE COLLECT
374.96/376.17 c #Conflicts: 118000 | #Constraints: 9759
374.96/376.17 c #Conflicts: 119000 | #Constraints: 10759
374.96/376.17 c #Conflicts: 120000 | #Constraints: 11759
374.96/376.17 c #Conflicts: 121000 | #Constraints: 12759
374.96/376.17 c #Conflicts: 122000 | #Constraints: 13759
374.96/376.17 c #Conflicts: 123000 | #Constraints: 14759
374.96/376.17 c #Conflicts: 124000 | #Constraints: 15759
374.96/376.17 c INPROCESSING
374.96/376.17 c GARBAGE COLLECT
374.96/376.17 c #Conflicts: 125000 | #Constraints: 9777
374.96/376.17 c #Conflicts: 126000 | #Constraints: 10777
374.96/376.17 c #Conflicts: 127000 | #Constraints: 11777
374.96/376.17 c #Conflicts: 128000 | #Constraints: 12777
374.96/376.17 c #Conflicts: 129000 | #Constraints: 13777
374.96/376.17 c #Conflicts: 130000 | #Constraints: 14777
374.96/376.17 c #Conflicts: 131000 | #Constraints: 15777
374.96/376.17 c INPROCESSING
374.96/376.17 c GARBAGE COLLECT
374.96/376.17 c #Conflicts: 132000 | #Constraints: 9613
374.96/376.17 c #Conflicts: 133000 | #Constraints: 10613
374.96/376.17 c #Conflicts: 134000 | #Constraints: 11613
374.96/376.17 c #Conflicts: 135000 | #Constraints: 12613
374.96/376.17 c #Conflicts: 136000 | #Constraints: 13613
374.96/376.17 c #Conflicts: 137000 | #Constraints: 14613
374.96/376.17 c #Conflicts: 138000 | #Constraints: 15613
374.96/376.17 c #Conflicts: 139000 | #Constraints: 16613
374.96/376.17 c INPROCESSING
374.96/376.17 c GARBAGE COLLECT
374.96/376.17 c #Conflicts: 140000 | #Constraints: 10237
573.85/575.62 c #Conflicts: 141000 | #Constraints: 11237
573.85/575.62 c #Conflicts: 142000 | #Constraints: 12237
573.85/575.62 c #Conflicts: 143000 | #Constraints: 13237
573.85/575.62 c #Conflicts: 144000 | #Constraints: 14237
573.85/575.62 c #Conflicts: 145000 | #Constraints: 15237
573.85/575.62 c #Conflicts: 146000 | #Constraints: 16237
573.85/575.62 c #Conflicts: 147000 | #Constraints: 17237
573.85/575.62 c INPROCESSING
573.85/575.62 c GARBAGE COLLECT
573.85/575.62 c #Conflicts: 148000 | #Constraints: 10645
573.85/575.62 c #Conflicts: 149000 | #Constraints: 11645
573.85/575.62 c #Conflicts: 150000 | #Constraints: 12645
573.85/575.62 c #Conflicts: 151000 | #Constraints: 13645
573.85/575.62 c #Conflicts: 152000 | #Constraints: 14645
573.85/575.62 c #Conflicts: 153000 | #Constraints: 15645
573.85/575.62 c #Conflicts: 154000 | #Constraints: 16645
573.85/575.62 c #Conflicts: 155000 | #Constraints: 17645
573.85/575.62 c INPROCESSING
573.85/575.62 c GARBAGE COLLECT
573.85/575.62 c #Conflicts: 156000 | #Constraints: 10840
573.85/575.62 c #Conflicts: 157000 | #Constraints: 11840
573.85/575.62 c #Conflicts: 158000 | #Constraints: 12840
573.85/575.62 c #Conflicts: 159000 | #Constraints: 13840
573.85/575.62 c #Conflicts: 160000 | #Constraints: 14840
573.85/575.62 c #Conflicts: 161000 | #Constraints: 15840
573.85/575.62 c #Conflicts: 162000 | #Constraints: 16840
573.85/575.62 c #Conflicts: 163000 | #Constraints: 17840
573.85/575.62 c INPROCESSING
573.85/575.62 c GARBAGE COLLECT
573.85/575.62 c #Conflicts: 164000 | #Constraints: 10849
573.85/575.62 c #Conflicts: 165000 | #Constraints: 11849
573.85/575.62 c #Conflicts: 166000 | #Constraints: 12849
573.85/575.62 c #Conflicts: 167000 | #Constraints: 13849
573.85/575.62 c #Conflicts: 168000 | #Constraints: 14849
573.85/575.62 c #Conflicts: 169000 | #Constraints: 15849
573.85/575.62 c #Conflicts: 170000 | #Constraints: 16849
573.85/575.62 c #Conflicts: 171000 | #Constraints: 17849
573.85/575.62 c INPROCESSING
573.85/575.62 c GARBAGE COLLECT
573.85/575.62 c #Conflicts: 172000 | #Constraints: 10602
573.85/575.62 c #Conflicts: 173000 | #Constraints: 11602
573.85/575.62 c #Conflicts: 174000 | #Constraints: 12602
573.85/575.62 c #Conflicts: 175000 | #Constraints: 13602
573.85/575.62 c #Conflicts: 176000 | #Constraints: 14602
573.85/575.62 c #Conflicts: 177000 | #Constraints: 15602
573.85/575.62 c #Conflicts: 178000 | #Constraints: 16602
573.85/575.62 c #Conflicts: 179000 | #Constraints: 17602
573.85/575.62 c #Conflicts: 180000 | #Constraints: 18602
573.85/575.62 c INPROCESSING
573.85/575.62 c GARBAGE COLLECT
573.85/575.62 c #Conflicts: 181000 | #Constraints: 11197
573.85/575.62 c #Conflicts: 182000 | #Constraints: 12197
573.85/575.62 c #Conflicts: 183000 | #Constraints: 13197
573.85/575.62 c #Conflicts: 184000 | #Constraints: 14197
573.85/575.62 c #Conflicts: 185000 | #Constraints: 15197
573.85/575.62 c #Conflicts: 186000 | #Constraints: 16197
573.85/575.62 c #Conflicts: 187000 | #Constraints: 17197
573.85/575.62 c #Conflicts: 188000 | #Constraints: 18197
573.85/575.62 c #Conflicts: 189000 | #Constraints: 19197
573.85/575.62 c INPROCESSING
573.85/575.62 c GARBAGE COLLECT
573.85/575.62 c #Conflicts: 190000 | #Constraints: 11549
573.85/575.62 c #Conflicts: 191000 | #Constraints: 12549
573.85/575.62 c #Conflicts: 192000 | #Constraints: 13549
573.85/575.62 c #Conflicts: 193000 | #Constraints: 14549
573.85/575.62 c #Conflicts: 194000 | #Constraints: 15549
573.85/575.62 c #Conflicts: 195000 | #Constraints: 16549
573.85/575.62 c #Conflicts: 196000 | #Constraints: 17549
573.85/575.62 c #Conflicts: 197000 | #Constraints: 18549
573.85/575.62 c #Conflicts: 198000 | #Constraints: 19549
573.85/575.62 c INPROCESSING
573.85/575.62 c GARBAGE COLLECT
573.85/575.62 c #Conflicts: 199000 | #Constraints: 11766
573.85/575.62 c #Conflicts: 200000 | #Constraints: 12766
573.85/575.62 c #Conflicts: 201000 | #Constraints: 13766
573.85/575.62 c #Conflicts: 202000 | #Constraints: 14766
573.85/575.62 c #Conflicts: 203000 | #Constraints: 15766
573.85/575.62 c #Conflicts: 204000 | #Constraints: 16766
573.85/575.62 c #Conflicts: 205000 | #Constraints: 17766
573.85/575.62 c #Conflicts: 206000 | #Constraints: 18766
573.85/575.62 c #Conflicts: 207000 | #Constraints: 19766
573.85/575.62 c INPROCESSING
573.85/575.62 c GARBAGE COLLECT
573.85/575.62 c #Conflicts: 208000 | #Constraints: 11774
573.85/575.62 c #Conflicts: 209000 | #Constraints: 12774
573.85/575.62 c #Conflicts: 210000 | #Constraints: 13774
573.85/575.62 c #Conflicts: 211000 | #Constraints: 14774
573.85/575.62 c #Conflicts: 212000 | #Constraints: 15774
573.85/575.62 c #Conflicts: 213000 | #Constraints: 16774
784.50/786.90 c #Conflicts: 214000 | #Constraints: 17774
784.50/786.90 c #Conflicts: 215000 | #Constraints: 18774
784.50/786.90 c #Conflicts: 216000 | #Constraints: 19774
784.50/786.90 c INPROCESSING
784.50/786.90 c GARBAGE COLLECT
784.50/786.90 c #Conflicts: 217000 | #Constraints: 11591
784.50/786.90 c #Conflicts: 218000 | #Constraints: 12591
784.50/786.90 c #Conflicts: 219000 | #Constraints: 13591
784.50/786.90 c #Conflicts: 220000 | #Constraints: 14591
784.50/786.90 c #Conflicts: 221000 | #Constraints: 15591
784.50/786.90 c #Conflicts: 222000 | #Constraints: 16591
784.50/786.90 c #Conflicts: 223000 | #Constraints: 17591
784.50/786.90 c #Conflicts: 224000 | #Constraints: 18591
784.50/786.90 c #Conflicts: 225000 | #Constraints: 19591
784.50/786.90 c #Conflicts: 226000 | #Constraints: 20591
784.50/786.90 c INPROCESSING
784.50/786.90 c GARBAGE COLLECT
784.50/786.90 c #Conflicts: 227000 | #Constraints: 12188
784.50/786.90 c #Conflicts: 228000 | #Constraints: 13188
784.50/786.90 c #Conflicts: 229000 | #Constraints: 14188
784.50/786.90 c #Conflicts: 230000 | #Constraints: 15188
784.50/786.90 c #Conflicts: 231000 | #Constraints: 16188
784.50/786.90 c #Conflicts: 232000 | #Constraints: 17188
784.50/786.90 c #Conflicts: 233000 | #Constraints: 18188
784.50/786.90 c #Conflicts: 234000 | #Constraints: 19188
784.50/786.90 c #Conflicts: 235000 | #Constraints: 20188
784.50/786.90 c #Conflicts: 236000 | #Constraints: 21188
784.50/786.90 c INPROCESSING
784.50/786.90 c GARBAGE COLLECT
784.50/786.90 c #Conflicts: 237000 | #Constraints: 12594
784.50/786.90 c #Conflicts: 238000 | #Constraints: 13594
784.50/786.90 c #Conflicts: 239000 | #Constraints: 14594
784.50/786.90 c #Conflicts: 240000 | #Constraints: 15594
784.50/786.90 c #Conflicts: 241000 | #Constraints: 16594
784.50/786.90 c #Conflicts: 242000 | #Constraints: 17594
784.50/786.90 c #Conflicts: 243000 | #Constraints: 18594
784.50/786.90 c #Conflicts: 244000 | #Constraints: 19594
784.50/786.90 c #Conflicts: 245000 | #Constraints: 20594
784.50/786.90 c #Conflicts: 246000 | #Constraints: 21594
784.50/786.90 c INPROCESSING
784.50/786.90 c GARBAGE COLLECT
784.50/786.90 c #Conflicts: 247000 | #Constraints: 12797
784.50/786.90 c #Conflicts: 248000 | #Constraints: 13797
784.50/786.90 c #Conflicts: 249000 | #Constraints: 14797
784.50/786.90 c #Conflicts: 250000 | #Constraints: 15797
784.50/786.90 c #Conflicts: 251000 | #Constraints: 16797
784.50/786.90 c #Conflicts: 252000 | #Constraints: 17797
784.50/786.90 c #Conflicts: 253000 | #Constraints: 18797
784.50/786.90 c #Conflicts: 254000 | #Constraints: 19797
784.50/786.90 c #Conflicts: 255000 | #Constraints: 20797
784.50/786.90 c #Conflicts: 256000 | #Constraints: 21797
784.50/786.90 c INPROCESSING
784.50/786.90 c GARBAGE COLLECT
784.50/786.90 c #Conflicts: 257000 | #Constraints: 12816
784.50/786.90 c #Conflicts: 258000 | #Constraints: 13816
784.50/786.90 c #Conflicts: 259000 | #Constraints: 14816
784.50/786.90 c #Conflicts: 260000 | #Constraints: 15816
784.50/786.90 c #Conflicts: 261000 | #Constraints: 16816
784.50/786.90 c #Conflicts: 262000 | #Constraints: 17816
784.50/786.90 c #Conflicts: 263000 | #Constraints: 18816
784.50/786.90 c #Conflicts: 264000 | #Constraints: 19816
784.50/786.90 c #Conflicts: 265000 | #Constraints: 20816
784.50/786.90 c #Conflicts: 266000 | #Constraints: 21816
784.50/786.90 c INPROCESSING
784.50/786.90 c GARBAGE COLLECT
784.50/786.90 c #Conflicts: 267000 | #Constraints: 12612
784.50/786.90 c #Conflicts: 268000 | #Constraints: 13612
784.50/786.90 c #Conflicts: 269000 | #Constraints: 14612
784.50/786.90 c #Conflicts: 270000 | #Constraints: 15612
784.50/786.90 c #Conflicts: 271000 | #Constraints: 16612
784.50/786.90 c #Conflicts: 272000 | #Constraints: 17612
784.50/786.90 c #Conflicts: 273000 | #Constraints: 18612
784.50/786.90 c #Conflicts: 274000 | #Constraints: 19612
784.50/786.90 c #Conflicts: 275000 | #Constraints: 20612
784.50/786.90 c #Conflicts: 276000 | #Constraints: 21612
784.50/786.90 c #Conflicts: 277000 | #Constraints: 22612
784.50/786.90 c INPROCESSING
784.50/786.90 c GARBAGE COLLECT
784.50/786.90 c #Conflicts: 278000 | #Constraints: 13212
784.50/786.90 c #Conflicts: 279000 | #Constraints: 14212
784.50/786.90 c #Conflicts: 280000 | #Constraints: 15212
784.50/786.90 c #Conflicts: 281000 | #Constraints: 16212
784.50/786.90 c #Conflicts: 282000 | #Constraints: 17212
784.50/786.90 c #Conflicts: 283000 | #Constraints: 18212
784.50/786.90 c #Conflicts: 284000 | #Constraints: 19212
784.50/786.90 c #Conflicts: 285000 | #Constraints: 20212
784.50/786.90 c #Conflicts: 286000 | #Constraints: 21212
784.50/786.90 c #Conflicts: 287000 | #Constraints: 22212
784.50/786.90 c #Conflicts: 288000 | #Constraints: 23212
1007.82/1010.96 c INPROCESSING
1007.82/1010.96 c GARBAGE COLLECT
1007.82/1010.96 c #Conflicts: 289000 | #Constraints: 13621
1007.82/1010.96 c #Conflicts: 290000 | #Constraints: 14621
1007.82/1010.96 c #Conflicts: 291000 | #Constraints: 15621
1007.82/1010.96 c #Conflicts: 292000 | #Constraints: 16621
1007.82/1010.96 c #Conflicts: 293000 | #Constraints: 17621
1007.82/1010.96 c #Conflicts: 294000 | #Constraints: 18621
1007.82/1010.96 c #Conflicts: 295000 | #Constraints: 19621
1007.82/1010.96 c #Conflicts: 296000 | #Constraints: 20621
1007.82/1010.96 c #Conflicts: 297000 | #Constraints: 21621
1007.82/1010.96 c #Conflicts: 298000 | #Constraints: 22621
1007.82/1010.96 c #Conflicts: 299000 | #Constraints: 23621
1007.82/1010.96 c INPROCESSING
1007.82/1010.96 c GARBAGE COLLECT
1007.82/1010.96 c #Conflicts: 300000 | #Constraints: 13825
1007.82/1010.96 c #Conflicts: 301000 | #Constraints: 14825
1007.82/1010.96 c #Conflicts: 302000 | #Constraints: 15825
1007.82/1010.96 c #Conflicts: 303000 | #Constraints: 16825
1007.82/1010.96 c #Conflicts: 304000 | #Constraints: 17825
1007.82/1010.96 c #Conflicts: 305000 | #Constraints: 18825
1007.82/1010.96 c #Conflicts: 306000 | #Constraints: 19825
1007.82/1010.96 c #Conflicts: 307000 | #Constraints: 20825
1007.82/1010.96 c #Conflicts: 308000 | #Constraints: 21825
1007.82/1010.96 c #Conflicts: 309000 | #Constraints: 22825
1007.82/1010.96 c #Conflicts: 310000 | #Constraints: 23825
1007.82/1010.96 c INPROCESSING
1007.82/1010.96 c GARBAGE COLLECT
1007.82/1010.96 c #Conflicts: 311000 | #Constraints: 13777
1007.82/1010.96 c #Conflicts: 312000 | #Constraints: 14777
1007.82/1010.96 c #Conflicts: 313000 | #Constraints: 15777
1007.82/1010.96 c #Conflicts: 314000 | #Constraints: 16777
1007.82/1010.96 c #Conflicts: 315000 | #Constraints: 17777
1007.82/1010.96 c #Conflicts: 316000 | #Constraints: 18777
1007.82/1010.96 c #Conflicts: 317000 | #Constraints: 19777
1007.82/1010.96 c #Conflicts: 318000 | #Constraints: 20777
1007.82/1010.96 c #Conflicts: 319000 | #Constraints: 21777
1007.82/1010.96 c #Conflicts: 320000 | #Constraints: 22777
1007.82/1010.96 c #Conflicts: 321000 | #Constraints: 23777
1007.82/1010.96 c INPROCESSING
1007.82/1010.96 c GARBAGE COLLECT
1007.82/1010.96 c #Conflicts: 322000 | #Constraints: 13553
1007.82/1010.96 c #Conflicts: 323000 | #Constraints: 14553
1007.82/1010.96 c #Conflicts: 324000 | #Constraints: 15553
1007.82/1010.96 c #Conflicts: 325000 | #Constraints: 16553
1007.82/1010.96 c #Conflicts: 326000 | #Constraints: 17553
1007.82/1010.96 c #Conflicts: 327000 | #Constraints: 18553
1007.82/1010.96 c #Conflicts: 328000 | #Constraints: 19553
1007.82/1010.96 c #Conflicts: 329000 | #Constraints: 20553
1007.82/1010.96 c #Conflicts: 330000 | #Constraints: 21553
1007.82/1010.96 c #Conflicts: 331000 | #Constraints: 22553
1007.82/1010.96 c #Conflicts: 332000 | #Constraints: 23553
1007.82/1010.96 c #Conflicts: 333000 | #Constraints: 24553
1007.82/1010.96 c INPROCESSING
1007.82/1010.96 c GARBAGE COLLECT
1007.82/1010.96 c #Conflicts: 334000 | #Constraints: 14195
1007.82/1010.96 c #Conflicts: 335000 | #Constraints: 15195
1007.82/1010.96 c #Conflicts: 336000 | #Constraints: 16195
1007.82/1010.96 c #Conflicts: 337000 | #Constraints: 17195
1007.82/1010.96 c #Conflicts: 338000 | #Constraints: 18195
1007.82/1010.96 c #Conflicts: 339000 | #Constraints: 19195
1007.82/1010.96 c #Conflicts: 340000 | #Constraints: 20195
1007.82/1010.96 c #Conflicts: 341000 | #Constraints: 21195
1007.82/1010.96 c #Conflicts: 342000 | #Constraints: 22195
1007.82/1010.96 c #Conflicts: 343000 | #Constraints: 23195
1007.82/1010.96 c #Conflicts: 344000 | #Constraints: 24195
1007.82/1010.96 c #Conflicts: 345000 | #Constraints: 25195
1007.82/1010.96 c INPROCESSING
1007.82/1010.96 c GARBAGE COLLECT
1007.82/1010.96 c #Conflicts: 346000 | #Constraints: 14579
1007.82/1010.96 c #Conflicts: 347000 | #Constraints: 15579
1007.82/1010.96 c #Conflicts: 348000 | #Constraints: 16579
1007.82/1010.96 c #Conflicts: 349000 | #Constraints: 17579
1007.82/1010.96 c #Conflicts: 350000 | #Constraints: 18579
1007.82/1010.96 c #Conflicts: 351000 | #Constraints: 19579
1007.82/1010.96 c #Conflicts: 352000 | #Constraints: 20579
1007.82/1010.96 c #Conflicts: 353000 | #Constraints: 21579
1007.82/1010.96 c #Conflicts: 354000 | #Constraints: 22579
1007.82/1010.96 c #Conflicts: 355000 | #Constraints: 23579
1007.82/1010.96 c #Conflicts: 356000 | #Constraints: 24579
1007.82/1010.96 c #Conflicts: 357000 | #Constraints: 25579
1007.82/1010.96 c INPROCESSING
1007.82/1010.96 c GARBAGE COLLECT
1007.82/1010.96 c #Conflicts: 358000 | #Constraints: 14726
1007.82/1010.96 c #Conflicts: 359000 | #Constraints: 15726
1007.82/1010.96 c #Conflicts: 360000 | #Constraints: 16726
1007.82/1010.96 c #Conflicts: 361000 | #Constraints: 17726
1007.82/1010.96 c #Conflicts: 362000 | #Constraints: 18726
1265.04/1268.95 c #Conflicts: 363000 | #Constraints: 19726
1265.04/1268.95 c #Conflicts: 364000 | #Constraints: 20726
1265.04/1268.95 c #Conflicts: 365000 | #Constraints: 21726
1265.04/1268.95 c #Conflicts: 366000 | #Constraints: 22726
1265.04/1268.95 c #Conflicts: 367000 | #Constraints: 23726
1265.04/1268.95 c #Conflicts: 368000 | #Constraints: 24726
1265.04/1268.95 c #Conflicts: 369000 | #Constraints: 25726
1265.04/1268.95 c INPROCESSING
1265.04/1268.95 c GARBAGE COLLECT
1265.04/1268.95 c #Conflicts: 370000 | #Constraints: 14706
1265.04/1268.95 c #Conflicts: 371000 | #Constraints: 15706
1265.04/1268.95 c #Conflicts: 372000 | #Constraints: 16706
1265.04/1268.95 c #Conflicts: 373000 | #Constraints: 17706
1265.04/1268.95 c #Conflicts: 374000 | #Constraints: 18706
1265.04/1268.95 c #Conflicts: 375000 | #Constraints: 19706
1265.04/1268.95 c #Conflicts: 376000 | #Constraints: 20706
1265.04/1268.95 c #Conflicts: 377000 | #Constraints: 21706
1265.04/1268.95 c #Conflicts: 378000 | #Constraints: 22706
1265.04/1268.95 c #Conflicts: 379000 | #Constraints: 23706
1265.04/1268.95 c #Conflicts: 380000 | #Constraints: 24706
1265.04/1268.95 c #Conflicts: 381000 | #Constraints: 25706
1265.04/1268.95 c INPROCESSING
1265.04/1268.95 c GARBAGE COLLECT
1265.04/1268.95 c #Conflicts: 382000 | #Constraints: 14560
1265.04/1268.95 c #Conflicts: 383000 | #Constraints: 15560
1265.04/1268.95 c #Conflicts: 384000 | #Constraints: 16560
1265.04/1268.95 c #Conflicts: 385000 | #Constraints: 17560
1265.04/1268.95 c #Conflicts: 386000 | #Constraints: 18560
1265.04/1268.95 c #Conflicts: 387000 | #Constraints: 19560
1265.04/1268.95 c #Conflicts: 388000 | #Constraints: 20560
1265.04/1268.95 c #Conflicts: 389000 | #Constraints: 21560
1265.04/1268.95 c #Conflicts: 390000 | #Constraints: 22560
1265.04/1268.95 c #Conflicts: 391000 | #Constraints: 23560
1265.04/1268.95 c #Conflicts: 392000 | #Constraints: 24560
1265.04/1268.95 c #Conflicts: 393000 | #Constraints: 25560
1265.04/1268.95 c #Conflicts: 394000 | #Constraints: 26560
1265.04/1268.95 c INPROCESSING
1265.04/1268.95 c GARBAGE COLLECT
1265.04/1268.95 c #Conflicts: 395000 | #Constraints: 15175
1265.04/1268.95 c #Conflicts: 396000 | #Constraints: 16175
1265.04/1268.95 c #Conflicts: 397000 | #Constraints: 17175
1265.04/1268.95 c #Conflicts: 398000 | #Constraints: 18175
1265.04/1268.95 c #Conflicts: 399000 | #Constraints: 19175
1265.04/1268.95 c #Conflicts: 400000 | #Constraints: 20175
1265.04/1268.95 c #Conflicts: 401000 | #Constraints: 21175
1265.04/1268.95 c #Conflicts: 402000 | #Constraints: 22175
1265.04/1268.95 c #Conflicts: 403000 | #Constraints: 23175
1265.04/1268.95 c #Conflicts: 404000 | #Constraints: 24175
1265.04/1268.95 c #Conflicts: 405000 | #Constraints: 25175
1265.04/1268.95 c #Conflicts: 406000 | #Constraints: 26175
1265.04/1268.95 c #Conflicts: 407000 | #Constraints: 27175
1265.04/1268.95 c INPROCESSING
1265.04/1268.95 c GARBAGE COLLECT
1265.04/1268.95 c #Conflicts: 408000 | #Constraints: 15514
1265.04/1268.95 c #Conflicts: 409000 | #Constraints: 16514
1265.04/1268.95 c #Conflicts: 410000 | #Constraints: 17514
1265.04/1268.95 c #Conflicts: 411000 | #Constraints: 18514
1265.04/1268.95 c #Conflicts: 412000 | #Constraints: 19514
1265.04/1268.95 c #Conflicts: 413000 | #Constraints: 20514
1265.04/1268.95 c #Conflicts: 414000 | #Constraints: 21514
1265.04/1268.95 c #Conflicts: 415000 | #Constraints: 22514
1265.04/1268.95 c #Conflicts: 416000 | #Constraints: 23514
1265.04/1268.95 c #Conflicts: 417000 | #Constraints: 24514
1265.04/1268.95 c #Conflicts: 418000 | #Constraints: 25514
1265.04/1268.95 c #Conflicts: 419000 | #Constraints: 26514
1265.04/1268.95 c #Conflicts: 420000 | #Constraints: 27514
1265.04/1268.95 c INPROCESSING
1265.04/1268.95 c GARBAGE COLLECT
1265.04/1268.95 c #Conflicts: 421000 | #Constraints: 15815
1265.04/1268.95 c #Conflicts: 422000 | #Constraints: 16815
1265.04/1268.95 c #Conflicts: 423000 | #Constraints: 17815
1265.04/1268.95 c #Conflicts: 424000 | #Constraints: 18815
1265.04/1268.95 c #Conflicts: 425000 | #Constraints: 19815
1265.04/1268.95 c #Conflicts: 426000 | #Constraints: 20815
1265.04/1268.95 c #Conflicts: 427000 | #Constraints: 21815
1265.04/1268.95 c #Conflicts: 428000 | #Constraints: 22815
1265.04/1268.95 c #Conflicts: 429000 | #Constraints: 23815
1265.04/1268.95 c #Conflicts: 430000 | #Constraints: 24815
1265.04/1268.95 c #Conflicts: 431000 | #Constraints: 25815
1265.04/1268.95 c #Conflicts: 432000 | #Constraints: 26815
1265.04/1268.95 c #Conflicts: 433000 | #Constraints: 27815
1265.04/1268.95 c INPROCESSING
1265.04/1268.95 c GARBAGE COLLECT
1265.04/1268.95 c #Conflicts: 434000 | #Constraints: 15868
1265.04/1268.95 c #Conflicts: 435000 | #Constraints: 16868
1265.04/1268.95 c #Conflicts: 436000 | #Constraints: 17868
1265.04/1268.95 c #Conflicts: 437000 | #Constraints: 18868
1440.10/1444.51 c #Conflicts: 438000 | #Constraints: 19868
1440.10/1444.51 c #Conflicts: 439000 | #Constraints: 20868
1440.10/1444.51 c #Conflicts: 440000 | #Constraints: 21868
1440.10/1444.51 c #Conflicts: 441000 | #Constraints: 22868
1440.10/1444.51 c #Conflicts: 442000 | #Constraints: 23868
1440.10/1444.51 c #Conflicts: 443000 | #Constraints: 24868
1440.10/1444.51 c #Conflicts: 444000 | #Constraints: 25868
1440.10/1444.51 c #Conflicts: 445000 | #Constraints: 26868
1440.10/1444.51 c #Conflicts: 446000 | #Constraints: 27868
1440.10/1444.51 c INPROCESSING
1440.10/1444.51 c GARBAGE COLLECT
1440.10/1444.51 c #Conflicts: 447000 | #Constraints: 15668
1440.10/1444.51 c #Conflicts: 448000 | #Constraints: 16668
1440.10/1444.51 c #Conflicts: 449000 | #Constraints: 17668
1440.10/1444.51 c #Conflicts: 450000 | #Constraints: 18668
1440.10/1444.51 c #Conflicts: 451000 | #Constraints: 19668
1440.10/1444.51 c #Conflicts: 452000 | #Constraints: 20668
1440.10/1444.51 c #Conflicts: 453000 | #Constraints: 21668
1440.10/1444.51 c #Conflicts: 454000 | #Constraints: 22668
1440.10/1444.51 c #Conflicts: 455000 | #Constraints: 23668
1440.10/1444.51 c #Conflicts: 456000 | #Constraints: 24668
1440.10/1444.51 c #Conflicts: 457000 | #Constraints: 25668
1440.10/1444.51 c #Conflicts: 458000 | #Constraints: 26668
1440.10/1444.51 c #Conflicts: 459000 | #Constraints: 27668
1440.10/1444.51 c #Conflicts: 460000 | #Constraints: 28668
1440.10/1444.51 c INPROCESSING
1440.10/1444.51 c GARBAGE COLLECT
1440.10/1444.51 c #Conflicts: 461000 | #Constraints: 16270
1440.10/1444.51 c #Conflicts: 462000 | #Constraints: 17270
1440.10/1444.51 c #Conflicts: 463000 | #Constraints: 18270
1440.10/1444.51 c #Conflicts: 464000 | #Constraints: 19270
1440.10/1444.51 c #Conflicts: 465000 | #Constraints: 20270
1440.10/1444.51 c #Conflicts: 466000 | #Constraints: 21270
1440.10/1444.51 c #Conflicts: 467000 | #Constraints: 22270
1440.10/1444.51 c #Conflicts: 468000 | #Constraints: 23270
1440.10/1444.51 c #Conflicts: 469000 | #Constraints: 24270
1440.10/1444.51 c #Conflicts: 470000 | #Constraints: 25270
1440.10/1444.51 c #Conflicts: 471000 | #Constraints: 26270
1440.10/1444.51 c #Conflicts: 472000 | #Constraints: 27270
1440.10/1444.51 c #Conflicts: 473000 | #Constraints: 28270
1440.10/1444.51 c #Conflicts: 474000 | #Constraints: 29270
1440.10/1444.51 c INPROCESSING
1440.10/1444.51 c GARBAGE COLLECT
1440.10/1444.51 c #Conflicts: 475000 | #Constraints: 16652
1440.10/1444.51 c #Conflicts: 476000 | #Constraints: 17652
1440.10/1444.51 c #Conflicts: 477000 | #Constraints: 18652
1440.10/1444.51 c #Conflicts: 478000 | #Constraints: 19652
1440.10/1444.51 c #Conflicts: 479000 | #Constraints: 20652
1440.10/1444.51 c #Conflicts: 480000 | #Constraints: 21652
1440.10/1444.51 c #Conflicts: 481000 | #Constraints: 22652
1440.10/1444.51 c #Conflicts: 482000 | #Constraints: 23652
1440.10/1444.51 c #Conflicts: 483000 | #Constraints: 24652
1440.10/1444.51 c #Conflicts: 484000 | #Constraints: 25652
1440.10/1444.51 c #Conflicts: 485000 | #Constraints: 26652
1440.10/1444.51 c #Conflicts: 486000 | #Constraints: 27652
1440.10/1444.51 c #Conflicts: 487000 | #Constraints: 28652
1440.10/1444.51 c #Conflicts: 488000 | #Constraints: 29652
1440.10/1444.51 c INPROCESSING
1440.10/1444.51 c GARBAGE COLLECT
1440.10/1444.51 c #Conflicts: 489000 | #Constraints: 16856
1440.10/1444.51 c #Conflicts: 490000 | #Constraints: 17856
1440.10/1444.51 c #Conflicts: 491000 | #Constraints: 18856
1440.10/1444.51 c #Conflicts: 492000 | #Constraints: 19856
1440.10/1444.51 c #Conflicts: 493000 | #Constraints: 20856
1440.10/1444.51 c #Conflicts: 494000 | #Constraints: 21856
1440.10/1444.51 c #Conflicts: 495000 | #Constraints: 22856
1440.10/1444.51 c #Conflicts: 496000 | #Constraints: 23856
1440.10/1444.51 c #Conflicts: 497000 | #Constraints: 24856
1440.10/1444.51 c #Conflicts: 498000 | #Constraints: 25856
1440.10/1444.51 c #Conflicts: 499000 | #Constraints: 26856
1440.10/1444.51 c #Conflicts: 500000 | #Constraints: 27856
1440.10/1444.51 c #Conflicts: 501000 | #Constraints: 28856
1440.10/1444.51 c #Conflicts: 502000 | #Constraints: 29856
1440.10/1444.51 c INPROCESSING
1440.10/1444.51 c GARBAGE COLLECT
1440.10/1444.51 c #Conflicts: 503000 | #Constraints: 16885
1440.10/1444.51 c #Conflicts: 504000 | #Constraints: 17885
1440.10/1444.51 c #Conflicts: 505000 | #Constraints: 18885
1440.10/1444.51 c #Conflicts: 506000 | #Constraints: 19885
1440.10/1444.51 c #Conflicts: 507000 | #Constraints: 20885
1440.10/1444.51 c #Conflicts: 508000 | #Constraints: 21885
1440.10/1444.51 c #Conflicts: 509000 | #Constraints: 22885
1440.10/1444.51 c #Conflicts: 510000 | #Constraints: 23885
1440.10/1444.51 c #Conflicts: 511000 | #Constraints: 24885
1440.10/1444.51 c #Conflicts: 512000 | #Constraints: 25885
1440.10/1444.51 c #Conflicts: 513000 | #Constraints: 26885
1642.17/1647.24 c #Conflicts: 514000 | #Constraints: 27885
1642.17/1647.24 c #Conflicts: 515000 | #Constraints: 28885
1642.17/1647.24 c #Conflicts: 516000 | #Constraints: 29885
1642.17/1647.24 c INPROCESSING
1642.17/1647.24 c GARBAGE COLLECT
1642.17/1647.24 c #Conflicts: 517000 | #Constraints: 16623
1642.17/1647.24 c #Conflicts: 518000 | #Constraints: 17623
1642.17/1647.24 c #Conflicts: 519000 | #Constraints: 18623
1642.17/1647.24 c #Conflicts: 520000 | #Constraints: 19623
1642.17/1647.24 c #Conflicts: 521000 | #Constraints: 20623
1642.17/1647.24 c #Conflicts: 522000 | #Constraints: 21623
1642.17/1647.24 c #Conflicts: 523000 | #Constraints: 22623
1642.17/1647.24 c #Conflicts: 524000 | #Constraints: 23623
1642.17/1647.24 c #Conflicts: 525000 | #Constraints: 24623
1642.17/1647.24 c #Conflicts: 526000 | #Constraints: 25623
1642.17/1647.24 c #Conflicts: 527000 | #Constraints: 26623
1642.17/1647.24 c #Conflicts: 528000 | #Constraints: 27623
1642.17/1647.24 c #Conflicts: 529000 | #Constraints: 28623
1642.17/1647.24 c #Conflicts: 530000 | #Constraints: 29623
1642.17/1647.24 c #Conflicts: 531000 | #Constraints: 30623
1642.17/1647.24 c INPROCESSING
1642.17/1647.24 c GARBAGE COLLECT
1642.17/1647.24 c #Conflicts: 532000 | #Constraints: 17262
1642.17/1647.24 c #Conflicts: 533000 | #Constraints: 18262
1642.17/1647.24 c #Conflicts: 534000 | #Constraints: 19262
1642.17/1647.24 c #Conflicts: 535000 | #Constraints: 20262
1642.17/1647.24 c #Conflicts: 536000 | #Constraints: 21262
1642.17/1647.24 c #Conflicts: 537000 | #Constraints: 22262
1642.17/1647.24 c #Conflicts: 538000 | #Constraints: 23262
1642.17/1647.24 c #Conflicts: 539000 | #Constraints: 24262
1642.17/1647.24 c #Conflicts: 540000 | #Constraints: 25262
1642.17/1647.24 c #Conflicts: 541000 | #Constraints: 26262
1642.17/1647.24 c #Conflicts: 542000 | #Constraints: 27262
1642.17/1647.24 c #Conflicts: 543000 | #Constraints: 28262
1642.17/1647.24 c #Conflicts: 544000 | #Constraints: 29262
1642.17/1647.24 c #Conflicts: 545000 | #Constraints: 30262
1642.17/1647.24 c #Conflicts: 546000 | #Constraints: 31262
1642.17/1647.24 c INPROCESSING
1642.17/1647.24 c GARBAGE COLLECT
1642.17/1647.24 c #Conflicts: 547000 | #Constraints: 17704
1642.17/1647.24 c #Conflicts: 548000 | #Constraints: 18704
1642.17/1647.24 c #Conflicts: 549000 | #Constraints: 19704
1642.17/1647.24 c #Conflicts: 550000 | #Constraints: 20704
1642.17/1647.24 c #Conflicts: 551000 | #Constraints: 21704
1642.17/1647.24 c #Conflicts: 552000 | #Constraints: 22704
1642.17/1647.24 c #Conflicts: 553000 | #Constraints: 23704
1642.17/1647.24 c #Conflicts: 554000 | #Constraints: 24704
1642.17/1647.24 c #Conflicts: 555000 | #Constraints: 25704
1642.17/1647.24 c #Conflicts: 556000 | #Constraints: 26704
1642.17/1647.24 c #Conflicts: 557000 | #Constraints: 27704
1642.17/1647.24 c #Conflicts: 558000 | #Constraints: 28704
1642.17/1647.24 c #Conflicts: 559000 | #Constraints: 29704
1642.17/1647.24 c #Conflicts: 560000 | #Constraints: 30704
1642.17/1647.24 c #Conflicts: 561000 | #Constraints: 31704
1642.17/1647.24 c INPROCESSING
1642.17/1647.24 c GARBAGE COLLECT
1642.17/1647.24 c #Conflicts: 562000 | #Constraints: 17867
1642.17/1647.24 c #Conflicts: 563000 | #Constraints: 18867
1642.17/1647.24 c #Conflicts: 564000 | #Constraints: 19867
1642.17/1647.24 c #Conflicts: 565000 | #Constraints: 20867
1642.17/1647.24 c #Conflicts: 566000 | #Constraints: 21867
1642.17/1647.24 c #Conflicts: 567000 | #Constraints: 22867
1642.17/1647.24 c #Conflicts: 568000 | #Constraints: 23867
1642.17/1647.24 c #Conflicts: 569000 | #Constraints: 24867
1642.17/1647.24 c #Conflicts: 570000 | #Constraints: 25867
1642.17/1647.24 c #Conflicts: 571000 | #Constraints: 26867
1642.17/1647.24 c #Conflicts: 572000 | #Constraints: 27867
1642.17/1647.24 c #Conflicts: 573000 | #Constraints: 28867
1642.17/1647.24 c #Conflicts: 574000 | #Constraints: 29867
1642.17/1647.24 c #Conflicts: 575000 | #Constraints: 30867
1642.17/1647.24 c #Conflicts: 576000 | #Constraints: 31867
1642.17/1647.24 c INPROCESSING
1642.17/1647.24 c GARBAGE COLLECT
1642.17/1647.24 c #Conflicts: 577000 | #Constraints: 17844
1642.17/1647.24 c #Conflicts: 578000 | #Constraints: 18844
1642.17/1647.24 c #Conflicts: 579000 | #Constraints: 19844
1642.17/1647.24 c #Conflicts: 580000 | #Constraints: 20844
1642.17/1647.24 c #Conflicts: 581000 | #Constraints: 21844
1642.17/1647.24 c #Conflicts: 582000 | #Constraints: 22844
1642.17/1647.24 c #Conflicts: 583000 | #Constraints: 23844
1642.17/1647.24 c #Conflicts: 584000 | #Constraints: 24844
1642.17/1647.24 c #Conflicts: 585000 | #Constraints: 25844
1642.17/1647.24 c #Conflicts: 586000 | #Constraints: 26844
1642.17/1647.24 c #Conflicts: 587000 | #Constraints: 27844
1642.17/1647.24 c #Conflicts: 588000 | #Constraints: 28844
1892.50/1898.34 c #Conflicts: 589000 | #Constraints: 29844
1892.50/1898.34 c #Conflicts: 590000 | #Constraints: 30844
1892.50/1898.34 c #Conflicts: 591000 | #Constraints: 31844
1892.50/1898.34 c INPROCESSING
1892.50/1898.34 c GARBAGE COLLECT
1892.50/1898.34 c #Conflicts: 592000 | #Constraints: 17587
1892.50/1898.34 c #Conflicts: 593000 | #Constraints: 18587
1892.50/1898.34 c #Conflicts: 594000 | #Constraints: 19587
1892.50/1898.34 c #Conflicts: 595000 | #Constraints: 20587
1892.50/1898.34 c #Conflicts: 596000 | #Constraints: 21587
1892.50/1898.34 c #Conflicts: 597000 | #Constraints: 22587
1892.50/1898.34 c #Conflicts: 598000 | #Constraints: 23587
1892.50/1898.34 c #Conflicts: 599000 | #Constraints: 24587
1892.50/1898.34 c #Conflicts: 600000 | #Constraints: 25587
1892.50/1898.34 c #Conflicts: 601000 | #Constraints: 26587
1892.50/1898.34 c #Conflicts: 602000 | #Constraints: 27587
1892.50/1898.34 c #Conflicts: 603000 | #Constraints: 28587
1892.50/1898.34 c #Conflicts: 604000 | #Constraints: 29587
1892.50/1898.34 c #Conflicts: 605000 | #Constraints: 30587
1892.50/1898.34 c #Conflicts: 606000 | #Constraints: 31587
1892.50/1898.34 c #Conflicts: 607000 | #Constraints: 32587
1892.50/1898.34 c INPROCESSING
1892.50/1898.34 c GARBAGE COLLECT
1892.50/1898.34 c #Conflicts: 608000 | #Constraints: 18224
1892.50/1898.34 c #Conflicts: 609000 | #Constraints: 19224
1892.50/1898.34 c #Conflicts: 610000 | #Constraints: 20224
1892.50/1898.34 c #Conflicts: 611000 | #Constraints: 21224
1892.50/1898.34 c #Conflicts: 612000 | #Constraints: 22224
1892.50/1898.34 c #Conflicts: 613000 | #Constraints: 23224
1892.50/1898.34 c #Conflicts: 614000 | #Constraints: 24224
1892.50/1898.34 c #Conflicts: 615000 | #Constraints: 25224
1892.50/1898.34 c #Conflicts: 616000 | #Constraints: 26224
1892.50/1898.34 c #Conflicts: 617000 | #Constraints: 27224
1892.50/1898.34 c #Conflicts: 618000 | #Constraints: 28224
1892.50/1898.34 c #Conflicts: 619000 | #Constraints: 29224
1892.50/1898.34 c #Conflicts: 620000 | #Constraints: 30224
1892.50/1898.34 c #Conflicts: 621000 | #Constraints: 31224
1892.50/1898.34 c #Conflicts: 622000 | #Constraints: 32224
1892.50/1898.34 c #Conflicts: 623000 | #Constraints: 33224
1892.50/1898.34 c INPROCESSING
1892.50/1898.34 c GARBAGE COLLECT
1892.50/1898.34 c #Conflicts: 624000 | #Constraints: 18620
1892.50/1898.34 c #Conflicts: 625000 | #Constraints: 19620
1892.50/1898.34 c #Conflicts: 626000 | #Constraints: 20620
1892.50/1898.34 c #Conflicts: 627000 | #Constraints: 21620
1892.50/1898.34 c #Conflicts: 628000 | #Constraints: 22620
1892.50/1898.34 c #Conflicts: 629000 | #Constraints: 23620
1892.50/1898.34 c #Conflicts: 630000 | #Constraints: 24620
1892.50/1898.34 c #Conflicts: 631000 | #Constraints: 25620
1892.50/1898.34 c #Conflicts: 632000 | #Constraints: 26620
1892.50/1898.34 c #Conflicts: 633000 | #Constraints: 27620
1892.50/1898.34 c #Conflicts: 634000 | #Constraints: 28620
1892.50/1898.34 c #Conflicts: 635000 | #Constraints: 29620
1892.50/1898.34 c #Conflicts: 636000 | #Constraints: 30620
1892.50/1898.34 c #Conflicts: 637000 | #Constraints: 31620
1892.50/1898.34 c #Conflicts: 638000 | #Constraints: 32620
1892.50/1898.34 c #Conflicts: 639000 | #Constraints: 33620
1892.50/1898.34 c INPROCESSING
1892.50/1898.34 c GARBAGE COLLECT
1892.50/1898.34 c #Conflicts: 640000 | #Constraints: 18791
1892.50/1898.34 c #Conflicts: 641000 | #Constraints: 19791
1892.50/1898.34 c #Conflicts: 642000 | #Constraints: 20791
1892.50/1898.34 c #Conflicts: 643000 | #Constraints: 21791
1892.50/1898.34 c #Conflicts: 644000 | #Constraints: 22791
1892.50/1898.34 c #Conflicts: 645000 | #Constraints: 23791
1892.50/1898.34 c #Conflicts: 646000 | #Constraints: 24791
1892.50/1898.34 c #Conflicts: 647000 | #Constraints: 25791
1892.50/1898.34 c #Conflicts: 648000 | #Constraints: 26791
1892.50/1898.34 c #Conflicts: 649000 | #Constraints: 27791
1892.50/1898.34 c #Conflicts: 650000 | #Constraints: 28791
1892.50/1898.34 c #Conflicts: 651000 | #Constraints: 29791
1892.50/1898.34 c #Conflicts: 652000 | #Constraints: 30791
1892.50/1898.34 c #Conflicts: 653000 | #Constraints: 31791
1892.50/1898.34 c #Conflicts: 654000 | #Constraints: 32791
1892.50/1898.34 c #Conflicts: 655000 | #Constraints: 33791
1892.50/1898.34 c INPROCESSING
1892.50/1898.34 c GARBAGE COLLECT
1892.50/1898.34 c #Conflicts: 656000 | #Constraints: 18832
1892.50/1898.34 c #Conflicts: 657000 | #Constraints: 19832
1892.50/1898.34 c #Conflicts: 658000 | #Constraints: 20832
1892.50/1898.34 c #Conflicts: 659000 | #Constraints: 21832
1892.50/1898.34 c #Conflicts: 660000 | #Constraints: 22832
1892.50/1898.34 c #Conflicts: 661000 | #Constraints: 23832
1892.50/1898.34 c #Conflicts: 662000 | #Constraints: 24832
1892.50/1898.34 c #Conflicts: 663000 | #Constraints: 25832
1892.50/1898.34 c #Conflicts: 664000 | #Constraints: 26832
2180.05/2186.81 c #Conflicts: 665000 | #Constraints: 27832
2180.05/2186.81 c #Conflicts: 666000 | #Constraints: 28832
2180.05/2186.81 c #Conflicts: 667000 | #Constraints: 29832
2180.05/2186.81 c #Conflicts: 668000 | #Constraints: 30832
2180.05/2186.81 c #Conflicts: 669000 | #Constraints: 31832
2180.05/2186.81 c #Conflicts: 670000 | #Constraints: 32832
2180.05/2186.81 c #Conflicts: 671000 | #Constraints: 33832
2180.05/2186.81 c INPROCESSING
2180.05/2186.81 c GARBAGE COLLECT
2180.05/2186.81 c #Conflicts: 672000 | #Constraints: 18620
2180.05/2186.81 c #Conflicts: 673000 | #Constraints: 19620
2180.05/2186.81 c #Conflicts: 674000 | #Constraints: 20620
2180.05/2186.81 c #Conflicts: 675000 | #Constraints: 21620
2180.05/2186.81 c #Conflicts: 676000 | #Constraints: 22620
2180.05/2186.81 c #Conflicts: 677000 | #Constraints: 23620
2180.05/2186.81 c #Conflicts: 678000 | #Constraints: 24620
2180.05/2186.81 c #Conflicts: 679000 | #Constraints: 25620
2180.05/2186.81 c #Conflicts: 680000 | #Constraints: 26620
2180.05/2186.81 c #Conflicts: 681000 | #Constraints: 27620
2180.05/2186.81 c #Conflicts: 682000 | #Constraints: 28620
2180.05/2186.81 c #Conflicts: 683000 | #Constraints: 29620
2180.05/2186.81 c #Conflicts: 684000 | #Constraints: 30620
2180.05/2186.81 c #Conflicts: 685000 | #Constraints: 31620
2180.05/2186.81 c #Conflicts: 686000 | #Constraints: 32620
2180.05/2186.81 c #Conflicts: 687000 | #Constraints: 33620
2180.05/2186.81 c #Conflicts: 688000 | #Constraints: 34620
2180.05/2186.81 c INPROCESSING
2180.05/2186.81 c GARBAGE COLLECT
2180.05/2186.81 c #Conflicts: 689000 | #Constraints: 19122
2180.05/2186.81 c #Conflicts: 690000 | #Constraints: 20122
2180.05/2186.81 c #Conflicts: 691000 | #Constraints: 21122
2180.05/2186.81 c #Conflicts: 692000 | #Constraints: 22122
2180.05/2186.81 c #Conflicts: 693000 | #Constraints: 23122
2180.05/2186.81 c #Conflicts: 694000 | #Constraints: 24122
2180.05/2186.81 c #Conflicts: 695000 | #Constraints: 25122
2180.05/2186.81 c #Conflicts: 696000 | #Constraints: 26122
2180.05/2186.81 c #Conflicts: 697000 | #Constraints: 27122
2180.05/2186.81 c #Conflicts: 698000 | #Constraints: 28122
2180.05/2186.81 c #Conflicts: 699000 | #Constraints: 29122
2180.05/2186.81 c #Conflicts: 700000 | #Constraints: 30122
2180.05/2186.81 c #Conflicts: 701000 | #Constraints: 31122
2180.05/2186.81 c #Conflicts: 702000 | #Constraints: 32122
2180.05/2186.81 c #Conflicts: 703000 | #Constraints: 33122
2180.05/2186.81 c #Conflicts: 704000 | #Constraints: 34122
2180.05/2186.81 c #Conflicts: 705000 | #Constraints: 35122
2180.05/2186.81 c INPROCESSING
2180.05/2186.81 c GARBAGE COLLECT
2180.05/2186.81 c #Conflicts: 706000 | #Constraints: 19577
2180.05/2186.81 c #Conflicts: 707000 | #Constraints: 20577
2180.05/2186.81 c #Conflicts: 708000 | #Constraints: 21577
2180.05/2186.81 c #Conflicts: 709000 | #Constraints: 22577
2180.05/2186.81 c #Conflicts: 710000 | #Constraints: 23577
2180.05/2186.81 c #Conflicts: 711000 | #Constraints: 24577
2180.05/2186.81 c #Conflicts: 712000 | #Constraints: 25577
2180.05/2186.81 c #Conflicts: 713000 | #Constraints: 26577
2180.05/2186.81 c #Conflicts: 714000 | #Constraints: 27577
2180.05/2186.81 c #Conflicts: 715000 | #Constraints: 28577
2180.05/2186.81 c #Conflicts: 716000 | #Constraints: 29577
2180.05/2186.81 c #Conflicts: 717000 | #Constraints: 30577
2180.05/2186.81 c #Conflicts: 718000 | #Constraints: 31577
2180.05/2186.81 c #Conflicts: 719000 | #Constraints: 32577
2180.05/2186.81 c #Conflicts: 720000 | #Constraints: 33577
2180.05/2186.81 c #Conflicts: 721000 | #Constraints: 34577
2180.05/2186.81 c #Conflicts: 722000 | #Constraints: 35577
2180.05/2186.81 c INPROCESSING
2180.05/2186.81 c GARBAGE COLLECT
2180.05/2186.81 c #Conflicts: 723000 | #Constraints: 19828
2180.05/2186.81 c #Conflicts: 724000 | #Constraints: 20828
2180.05/2186.81 c #Conflicts: 725000 | #Constraints: 21828
2180.05/2186.81 c #Conflicts: 726000 | #Constraints: 22828
2180.05/2186.81 c #Conflicts: 727000 | #Constraints: 23828
2180.05/2186.81 c #Conflicts: 728000 | #Constraints: 24828
2180.05/2186.81 c #Conflicts: 729000 | #Constraints: 25828
2180.05/2186.81 c #Conflicts: 730000 | #Constraints: 26828
2180.05/2186.81 c #Conflicts: 731000 | #Constraints: 27828
2180.05/2186.81 c #Conflicts: 732000 | #Constraints: 28828
2180.05/2186.81 c #Conflicts: 733000 | #Constraints: 29828
2180.05/2186.81 c #Conflicts: 734000 | #Constraints: 30828
2180.05/2186.81 c #Conflicts: 735000 | #Constraints: 31828
2180.05/2186.81 c #Conflicts: 736000 | #Constraints: 32828
2180.05/2186.81 c #Conflicts: 737000 | #Constraints: 33828
2180.05/2186.81 c #Conflicts: 738000 | #Constraints: 34828
2180.05/2186.81 c #Conflicts: 739000 | #Constraints: 35828
2180.05/2186.81 c INPROCESSING
2180.05/2186.81 c GARBAGE COLLECT
2404.58/2412.11 c #Conflicts: 740000 | #Constraints: 19815
2404.58/2412.11 c #Conflicts: 741000 | #Constraints: 20815
2404.58/2412.11 c #Conflicts: 742000 | #Constraints: 21815
2404.58/2412.11 c #Conflicts: 743000 | #Constraints: 22815
2404.58/2412.11 c #Conflicts: 744000 | #Constraints: 23815
2404.58/2412.11 c #Conflicts: 745000 | #Constraints: 24815
2404.58/2412.11 c #Conflicts: 746000 | #Constraints: 25815
2404.58/2412.11 c #Conflicts: 747000 | #Constraints: 26815
2404.58/2412.11 c #Conflicts: 748000 | #Constraints: 27815
2404.58/2412.11 c #Conflicts: 749000 | #Constraints: 28815
2404.58/2412.11 c #Conflicts: 750000 | #Constraints: 29815
2404.58/2412.11 c #Conflicts: 751000 | #Constraints: 30815
2404.58/2412.11 c #Conflicts: 752000 | #Constraints: 31815
2404.58/2412.11 c #Conflicts: 753000 | #Constraints: 32815
2404.58/2412.11 c #Conflicts: 754000 | #Constraints: 33815
2404.58/2412.11 c #Conflicts: 755000 | #Constraints: 34815
2404.58/2412.11 c #Conflicts: 756000 | #Constraints: 35815
2404.58/2412.11 c INPROCESSING
2404.58/2412.11 c GARBAGE COLLECT
2404.58/2412.11 c #Conflicts: 757000 | #Constraints: 19652
2404.58/2412.11 c #Conflicts: 758000 | #Constraints: 20652
2404.58/2412.11 c #Conflicts: 759000 | #Constraints: 21652
2404.58/2412.11 c #Conflicts: 760000 | #Constraints: 22652
2404.58/2412.11 c #Conflicts: 761000 | #Constraints: 23652
2404.58/2412.11 c #Conflicts: 762000 | #Constraints: 24652
2404.58/2412.11 c #Conflicts: 763000 | #Constraints: 25652
2404.58/2412.11 c #Conflicts: 764000 | #Constraints: 26652
2404.58/2412.11 c #Conflicts: 765000 | #Constraints: 27652
2404.58/2412.11 c #Conflicts: 766000 | #Constraints: 28652
2404.58/2412.11 c #Conflicts: 767000 | #Constraints: 29652
2404.58/2412.11 c #Conflicts: 768000 | #Constraints: 30652
2404.58/2412.11 c #Conflicts: 769000 | #Constraints: 31652
2404.58/2412.11 c #Conflicts: 770000 | #Constraints: 32652
2404.58/2412.11 c #Conflicts: 771000 | #Constraints: 33652
2404.58/2412.11 c #Conflicts: 772000 | #Constraints: 34652
2404.58/2412.11 c #Conflicts: 773000 | #Constraints: 35652
2404.58/2412.11 c #Conflicts: 774000 | #Constraints: 36652
2404.58/2412.11 c INPROCESSING
2404.58/2412.11 c GARBAGE COLLECT
2404.58/2412.11 c #Conflicts: 775000 | #Constraints: 20262
2404.58/2412.11 c #Conflicts: 776000 | #Constraints: 21262
2404.58/2412.11 c #Conflicts: 777000 | #Constraints: 22262
2404.58/2412.11 c #Conflicts: 778000 | #Constraints: 23262
2404.58/2412.11 c #Conflicts: 779000 | #Constraints: 24262
2404.58/2412.11 c #Conflicts: 780000 | #Constraints: 25262
2404.58/2412.11 c #Conflicts: 781000 | #Constraints: 26262
2404.58/2412.11 c #Conflicts: 782000 | #Constraints: 27262
2404.58/2412.11 c #Conflicts: 783000 | #Constraints: 28262
2404.58/2412.11 c #Conflicts: 784000 | #Constraints: 29262
2404.58/2412.11 c #Conflicts: 785000 | #Constraints: 30262
2404.58/2412.11 c #Conflicts: 786000 | #Constraints: 31262
2404.58/2412.11 c #Conflicts: 787000 | #Constraints: 32262
2404.58/2412.11 c #Conflicts: 788000 | #Constraints: 33262
2404.58/2412.11 c #Conflicts: 789000 | #Constraints: 34262
2404.58/2412.11 c #Conflicts: 790000 | #Constraints: 35262
2404.58/2412.11 c #Conflicts: 791000 | #Constraints: 36262
2404.58/2412.11 c #Conflicts: 792000 | #Constraints: 37262
2404.58/2412.11 c INPROCESSING
2404.58/2412.11 c GARBAGE COLLECT
2404.58/2412.11 c #Conflicts: 793000 | #Constraints: 20689
2404.58/2412.11 c #Conflicts: 794000 | #Constraints: 21689
2404.58/2412.11 c #Conflicts: 795000 | #Constraints: 22689
2404.58/2412.11 c #Conflicts: 796000 | #Constraints: 23689
2404.58/2412.11 c #Conflicts: 797000 | #Constraints: 24689
2404.58/2412.11 c #Conflicts: 798000 | #Constraints: 25689
2404.58/2412.11 c #Conflicts: 799000 | #Constraints: 26689
2404.58/2412.11 c #Conflicts: 800000 | #Constraints: 27689
2404.58/2412.11 c #Conflicts: 801000 | #Constraints: 28689
2404.58/2412.11 c #Conflicts: 802000 | #Constraints: 29689
2404.58/2412.11 c #Conflicts: 803000 | #Constraints: 30689
2404.58/2412.11 c #Conflicts: 804000 | #Constraints: 31689
2404.58/2412.11 c #Conflicts: 805000 | #Constraints: 32689
2404.58/2412.11 c #Conflicts: 806000 | #Constraints: 33689
2404.58/2412.11 c #Conflicts: 807000 | #Constraints: 34689
2404.58/2412.11 c #Conflicts: 808000 | #Constraints: 35689
2404.58/2412.11 c #Conflicts: 809000 | #Constraints: 36689
2404.58/2412.11 c #Conflicts: 810000 | #Constraints: 37689
2404.58/2412.11 c INPROCESSING
2404.58/2412.11 c GARBAGE COLLECT
2404.58/2412.11 c #Conflicts: 811000 | #Constraints: 20942
2404.58/2412.11 c #Conflicts: 812000 | #Constraints: 21942
2404.58/2412.11 c #Conflicts: 813000 | #Constraints: 22942
2404.58/2412.11 c #Conflicts: 814000 | #Constraints: 23942
2404.58/2412.11 c #Conflicts: 815000 | #Constraints: 24942
2404.58/2412.11 c #Conflicts: 816000 | #Constraints: 25942
2685.08/2693.59 c #Conflicts: 817000 | #Constraints: 26942
2685.08/2693.59 c #Conflicts: 818000 | #Constraints: 27942
2685.08/2693.59 c #Conflicts: 819000 | #Constraints: 28942
2685.08/2693.59 c #Conflicts: 820000 | #Constraints: 29942
2685.08/2693.59 c #Conflicts: 821000 | #Constraints: 30942
2685.08/2693.59 c #Conflicts: 822000 | #Constraints: 31942
2685.08/2693.59 c #Conflicts: 823000 | #Constraints: 32942
2685.08/2693.59 c #Conflicts: 824000 | #Constraints: 33942
2685.08/2693.59 c #Conflicts: 825000 | #Constraints: 34942
2685.08/2693.59 c #Conflicts: 826000 | #Constraints: 35942
2685.08/2693.59 c #Conflicts: 827000 | #Constraints: 36942
2685.08/2693.59 c #Conflicts: 828000 | #Constraints: 37942
2685.08/2693.59 c INPROCESSING
2685.08/2693.59 c GARBAGE COLLECT
2685.08/2693.59 c #Conflicts: 829000 | #Constraints: 20815
2685.08/2693.59 c #Conflicts: 830000 | #Constraints: 21815
2685.08/2693.59 c #Conflicts: 831000 | #Constraints: 22815
2685.08/2693.59 c #Conflicts: 832000 | #Constraints: 23815
2685.08/2693.59 c #Conflicts: 833000 | #Constraints: 24815
2685.08/2693.59 c #Conflicts: 834000 | #Constraints: 25815
2685.08/2693.59 c #Conflicts: 835000 | #Constraints: 26815
2685.08/2693.59 c #Conflicts: 836000 | #Constraints: 27815
2685.08/2693.59 c #Conflicts: 837000 | #Constraints: 28815
2685.08/2693.59 c #Conflicts: 838000 | #Constraints: 29815
2685.08/2693.59 c #Conflicts: 839000 | #Constraints: 30815
2685.08/2693.59 c #Conflicts: 840000 | #Constraints: 31815
2685.08/2693.59 c #Conflicts: 841000 | #Constraints: 32815
2685.08/2693.59 c #Conflicts: 842000 | #Constraints: 33815
2685.08/2693.59 c #Conflicts: 843000 | #Constraints: 34815
2685.08/2693.59 c #Conflicts: 844000 | #Constraints: 35815
2685.08/2693.59 c #Conflicts: 845000 | #Constraints: 36815
2685.08/2693.59 c #Conflicts: 846000 | #Constraints: 37815
2685.08/2693.59 c INPROCESSING
2685.08/2693.59 c GARBAGE COLLECT
2685.08/2693.59 c #Conflicts: 847000 | #Constraints: 20615
2685.08/2693.59 c #Conflicts: 848000 | #Constraints: 21615
2685.08/2693.59 c #Conflicts: 849000 | #Constraints: 22615
2685.08/2693.59 c #Conflicts: 850000 | #Constraints: 23615
2685.08/2693.59 c #Conflicts: 851000 | #Constraints: 24615
2685.08/2693.59 c #Conflicts: 852000 | #Constraints: 25615
2685.08/2693.59 c #Conflicts: 853000 | #Constraints: 26615
2685.08/2693.59 c #Conflicts: 854000 | #Constraints: 27615
2685.08/2693.59 c #Conflicts: 855000 | #Constraints: 28615
2685.08/2693.59 c #Conflicts: 856000 | #Constraints: 29615
2685.08/2693.59 c #Conflicts: 857000 | #Constraints: 30615
2685.08/2693.59 c #Conflicts: 858000 | #Constraints: 31615
2685.08/2693.59 c #Conflicts: 859000 | #Constraints: 32615
2685.08/2693.59 c #Conflicts: 860000 | #Constraints: 33615
2685.08/2693.59 c #Conflicts: 861000 | #Constraints: 34615
2685.08/2693.59 c #Conflicts: 862000 | #Constraints: 35615
2685.08/2693.59 c #Conflicts: 863000 | #Constraints: 36615
2685.08/2693.59 c #Conflicts: 864000 | #Constraints: 37615
2685.08/2693.59 c #Conflicts: 865000 | #Constraints: 38615
2685.08/2693.59 c INPROCESSING
2685.08/2693.59 c GARBAGE COLLECT
2685.08/2693.59 c #Conflicts: 866000 | #Constraints: 21193
2685.08/2693.59 c #Conflicts: 867000 | #Constraints: 22193
2685.08/2693.59 c #Conflicts: 868000 | #Constraints: 23193
2685.08/2693.59 c #Conflicts: 869000 | #Constraints: 24193
2685.08/2693.59 c #Conflicts: 870000 | #Constraints: 25193
2685.08/2693.59 c #Conflicts: 871000 | #Constraints: 26193
2685.08/2693.59 c #Conflicts: 872000 | #Constraints: 27193
2685.08/2693.59 c #Conflicts: 873000 | #Constraints: 28193
2685.08/2693.59 c #Conflicts: 874000 | #Constraints: 29193
2685.08/2693.59 c #Conflicts: 875000 | #Constraints: 30193
2685.08/2693.59 c #Conflicts: 876000 | #Constraints: 31193
2685.08/2693.59 c #Conflicts: 877000 | #Constraints: 32193
2685.08/2693.59 c #Conflicts: 878000 | #Constraints: 33193
2685.08/2693.59 c #Conflicts: 879000 | #Constraints: 34193
2685.08/2693.59 c #Conflicts: 880000 | #Constraints: 35193
2685.08/2693.59 c #Conflicts: 881000 | #Constraints: 36193
2685.08/2693.59 c #Conflicts: 882000 | #Constraints: 37193
2685.08/2693.59 c #Conflicts: 883000 | #Constraints: 38193
2685.08/2693.59 c #Conflicts: 884000 | #Constraints: 39193
2685.08/2693.59 c INPROCESSING
2685.08/2693.59 c GARBAGE COLLECT
2685.08/2693.59 c #Conflicts: 885000 | #Constraints: 21693
2685.08/2693.59 c #Conflicts: 886000 | #Constraints: 22693
2685.08/2693.59 c #Conflicts: 887000 | #Constraints: 23693
2685.08/2693.59 c #Conflicts: 888000 | #Constraints: 24693
2685.08/2693.59 c #Conflicts: 889000 | #Constraints: 25693
2685.08/2693.59 c #Conflicts: 890000 | #Constraints: 26693
2685.08/2693.59 c #Conflicts: 891000 | #Constraints: 27693
2685.08/2693.59 c #Conflicts: 892000 | #Constraints: 28693
2938.88/2948.16 c #Conflicts: 893000 | #Constraints: 29693
2938.88/2948.16 c #Conflicts: 894000 | #Constraints: 30693
2938.88/2948.16 c #Conflicts: 895000 | #Constraints: 31693
2938.88/2948.16 c #Conflicts: 896000 | #Constraints: 32693
2938.88/2948.16 c #Conflicts: 897000 | #Constraints: 33693
2938.88/2948.16 c #Conflicts: 898000 | #Constraints: 34693
2938.88/2948.16 c #Conflicts: 899000 | #Constraints: 35693
2938.88/2948.16 c #Conflicts: 900000 | #Constraints: 36693
2938.88/2948.16 c #Conflicts: 901000 | #Constraints: 37693
2938.88/2948.16 c #Conflicts: 902000 | #Constraints: 38693
2938.88/2948.16 c #Conflicts: 903000 | #Constraints: 39693
2938.88/2948.16 c INPROCESSING
2938.88/2948.16 c GARBAGE COLLECT
2938.88/2948.16 c #Conflicts: 904000 | #Constraints: 21876
2938.88/2948.16 c #Conflicts: 905000 | #Constraints: 22876
2938.88/2948.16 c #Conflicts: 906000 | #Constraints: 23876
2938.88/2948.16 c #Conflicts: 907000 | #Constraints: 24876
2938.88/2948.16 c #Conflicts: 908000 | #Constraints: 25876
2938.88/2948.16 c #Conflicts: 909000 | #Constraints: 26876
2938.88/2948.16 c #Conflicts: 910000 | #Constraints: 27876
2938.88/2948.16 c #Conflicts: 911000 | #Constraints: 28876
2938.88/2948.16 c #Conflicts: 912000 | #Constraints: 29876
2938.88/2948.16 c #Conflicts: 913000 | #Constraints: 30876
2938.88/2948.16 c #Conflicts: 914000 | #Constraints: 31876
2938.88/2948.16 c #Conflicts: 915000 | #Constraints: 32876
2938.88/2948.16 c #Conflicts: 916000 | #Constraints: 33876
2938.88/2948.16 c #Conflicts: 917000 | #Constraints: 34876
2938.88/2948.16 c #Conflicts: 918000 | #Constraints: 35876
2938.88/2948.16 c #Conflicts: 919000 | #Constraints: 36876
2938.88/2948.16 c #Conflicts: 920000 | #Constraints: 37876
2938.88/2948.16 c #Conflicts: 921000 | #Constraints: 38876
2938.88/2948.16 c #Conflicts: 922000 | #Constraints: 39876
2938.88/2948.16 c INPROCESSING
2938.88/2948.16 c GARBAGE COLLECT
2938.88/2948.16 c #Conflicts: 923000 | #Constraints: 21910
2938.88/2948.16 c #Conflicts: 924000 | #Constraints: 22910
2938.88/2948.16 c #Conflicts: 925000 | #Constraints: 23910
2938.88/2948.16 c #Conflicts: 926000 | #Constraints: 24910
2938.88/2948.16 c #Conflicts: 927000 | #Constraints: 25910
2938.88/2948.16 c #Conflicts: 928000 | #Constraints: 26910
2938.88/2948.16 c #Conflicts: 929000 | #Constraints: 27910
2938.88/2948.16 c #Conflicts: 930000 | #Constraints: 28910
2938.88/2948.16 c #Conflicts: 931000 | #Constraints: 29910
2938.88/2948.16 c #Conflicts: 932000 | #Constraints: 30910
2938.88/2948.16 c #Conflicts: 933000 | #Constraints: 31910
2938.88/2948.16 c #Conflicts: 934000 | #Constraints: 32910
2938.88/2948.16 c #Conflicts: 935000 | #Constraints: 33910
2938.88/2948.16 c #Conflicts: 936000 | #Constraints: 34910
2938.88/2948.16 c #Conflicts: 937000 | #Constraints: 35910
2938.88/2948.16 c #Conflicts: 938000 | #Constraints: 36910
2938.88/2948.16 c #Conflicts: 939000 | #Constraints: 37910
2938.88/2948.16 c #Conflicts: 940000 | #Constraints: 38910
2938.88/2948.16 c #Conflicts: 941000 | #Constraints: 39910
2938.88/2948.16 c INPROCESSING
2938.88/2948.16 c GARBAGE COLLECT
2938.88/2948.16 c #Conflicts: 942000 | #Constraints: 21629
2938.88/2948.16 c #Conflicts: 943000 | #Constraints: 22629
2938.88/2948.16 c #Conflicts: 944000 | #Constraints: 23629
2938.88/2948.16 c #Conflicts: 945000 | #Constraints: 24629
2938.88/2948.16 c #Conflicts: 946000 | #Constraints: 25629
2938.88/2948.16 c #Conflicts: 947000 | #Constraints: 26629
2938.88/2948.16 c #Conflicts: 948000 | #Constraints: 27629
2938.88/2948.16 c #Conflicts: 949000 | #Constraints: 28629
2938.88/2948.16 c #Conflicts: 950000 | #Constraints: 29629
2938.88/2948.16 c #Conflicts: 951000 | #Constraints: 30629
2938.88/2948.16 c #Conflicts: 952000 | #Constraints: 31629
2938.88/2948.16 c #Conflicts: 953000 | #Constraints: 32629
2938.88/2948.16 c #Conflicts: 954000 | #Constraints: 33629
2938.88/2948.16 c #Conflicts: 955000 | #Constraints: 34629
2938.88/2948.16 c #Conflicts: 956000 | #Constraints: 35629
2938.88/2948.16 c #Conflicts: 957000 | #Constraints: 36629
2938.88/2948.16 c #Conflicts: 958000 | #Constraints: 37629
2938.88/2948.16 c #Conflicts: 959000 | #Constraints: 38629
2938.88/2948.16 c #Conflicts: 960000 | #Constraints: 39629
2938.88/2948.16 c #Conflicts: 961000 | #Constraints: 40629
2938.88/2948.16 c INPROCESSING
2938.88/2948.16 c GARBAGE COLLECT
2938.88/2948.16 c #Conflicts: 962000 | #Constraints: 22296
2938.88/2948.16 c #Conflicts: 963000 | #Constraints: 23296
2938.88/2948.16 c #Conflicts: 964000 | #Constraints: 24296
2938.88/2948.16 c #Conflicts: 965000 | #Constraints: 25296
2938.88/2948.16 c #Conflicts: 966000 | #Constraints: 26296
2938.88/2948.16 c #Conflicts: 967000 | #Constraints: 27296
2938.88/2948.16 c #Conflicts: 968000 | #Constraints: 28296
3172.91/3182.92 c #Conflicts: 969000 | #Constraints: 29296
3172.91/3182.92 c #Conflicts: 970000 | #Constraints: 30296
3172.91/3182.92 c #Conflicts: 971000 | #Constraints: 31296
3172.91/3182.92 c #Conflicts: 972000 | #Constraints: 32296
3172.91/3182.92 c #Conflicts: 973000 | #Constraints: 33296
3172.91/3182.92 c #Conflicts: 974000 | #Constraints: 34296
3172.91/3182.92 c #Conflicts: 975000 | #Constraints: 35296
3172.91/3182.92 c #Conflicts: 976000 | #Constraints: 36296
3172.91/3182.92 c #Conflicts: 977000 | #Constraints: 37296
3172.91/3182.92 c #Conflicts: 978000 | #Constraints: 38296
3172.91/3182.92 c #Conflicts: 979000 | #Constraints: 39296
3172.91/3182.92 c #Conflicts: 980000 | #Constraints: 40296
3172.91/3182.92 c #Conflicts: 981000 | #Constraints: 41296
3172.91/3182.92 c INPROCESSING
3172.91/3182.92 c GARBAGE COLLECT
3172.91/3182.92 c #Conflicts: 982000 | #Constraints: 22725
3172.91/3182.92 c #Conflicts: 983000 | #Constraints: 23725
3172.91/3182.92 c #Conflicts: 984000 | #Constraints: 24725
3172.91/3182.92 c #Conflicts: 985000 | #Constraints: 25725
3172.91/3182.92 c #Conflicts: 986000 | #Constraints: 26725
3172.91/3182.92 c #Conflicts: 987000 | #Constraints: 27725
3172.91/3182.92 c #Conflicts: 988000 | #Constraints: 28725
3172.91/3182.92 c #Conflicts: 989000 | #Constraints: 29725
3172.91/3182.92 c #Conflicts: 990000 | #Constraints: 30725
3172.91/3182.92 c #Conflicts: 991000 | #Constraints: 31725
3172.91/3182.92 c #Conflicts: 992000 | #Constraints: 32725
3172.91/3182.92 c #Conflicts: 993000 | #Constraints: 33725
3172.91/3182.92 c #Conflicts: 994000 | #Constraints: 34725
3172.91/3182.92 c #Conflicts: 995000 | #Constraints: 35725
3172.91/3182.92 c #Conflicts: 996000 | #Constraints: 36725
3172.91/3182.92 c #Conflicts: 997000 | #Constraints: 37725
3172.91/3182.92 c #Conflicts: 998000 | #Constraints: 38725
3172.91/3182.92 c #Conflicts: 999000 | #Constraints: 39725
3172.91/3182.92 c #Conflicts: 1000000 | #Constraints: 40725
3172.91/3182.92 c #Conflicts: 1001000 | #Constraints: 41725
3172.91/3182.92 c INPROCESSING
3172.91/3182.92 c GARBAGE COLLECT
3172.91/3182.92 c #Conflicts: 1002000 | #Constraints: 22908
3172.91/3182.92 c #Conflicts: 1003000 | #Constraints: 23908
3172.91/3182.92 c #Conflicts: 1004000 | #Constraints: 24908
3172.91/3182.92 c #Conflicts: 1005000 | #Constraints: 25908
3172.91/3182.92 c #Conflicts: 1006000 | #Constraints: 26908
3172.91/3182.92 c #Conflicts: 1007000 | #Constraints: 27908
3172.91/3182.92 c #Conflicts: 1008000 | #Constraints: 28908
3172.91/3182.92 c #Conflicts: 1009000 | #Constraints: 29908
3172.91/3182.92 c #Conflicts: 1010000 | #Constraints: 30908
3172.91/3182.92 c #Conflicts: 1011000 | #Constraints: 31908
3172.91/3182.92 c #Conflicts: 1012000 | #Constraints: 32908
3172.91/3182.92 c #Conflicts: 1013000 | #Constraints: 33908
3172.91/3182.92 c #Conflicts: 1014000 | #Constraints: 34908
3172.91/3182.92 c #Conflicts: 1015000 | #Constraints: 35908
3172.91/3182.92 c #Conflicts: 1016000 | #Constraints: 36908
3172.91/3182.92 c #Conflicts: 1017000 | #Constraints: 37908
3172.91/3182.92 c #Conflicts: 1018000 | #Constraints: 38908
3172.91/3182.92 c #Conflicts: 1019000 | #Constraints: 39908
3172.91/3182.92 c #Conflicts: 1020000 | #Constraints: 40908
3172.91/3182.92 c #Conflicts: 1021000 | #Constraints: 41908
3172.91/3182.92 c INPROCESSING
3172.91/3182.92 c GARBAGE COLLECT
3172.91/3182.92 c #Conflicts: 1022000 | #Constraints: 22934
3172.91/3182.92 c #Conflicts: 1023000 | #Constraints: 23934
3172.91/3182.92 c #Conflicts: 1024000 | #Constraints: 24934
3172.91/3182.92 c #Conflicts: 1025000 | #Constraints: 25934
3172.91/3182.92 c #Conflicts: 1026000 | #Constraints: 26934
3172.91/3182.92 c #Conflicts: 1027000 | #Constraints: 27934
3172.91/3182.92 c #Conflicts: 1028000 | #Constraints: 28934
3172.91/3182.92 c #Conflicts: 1029000 | #Constraints: 29934
3172.91/3182.92 c #Conflicts: 1030000 | #Constraints: 30934
3172.91/3182.92 c #Conflicts: 1031000 | #Constraints: 31934
3172.91/3182.92 c #Conflicts: 1032000 | #Constraints: 32934
3172.91/3182.92 c #Conflicts: 1033000 | #Constraints: 33934
3172.91/3182.92 c #Conflicts: 1034000 | #Constraints: 34934
3172.91/3182.92 c #Conflicts: 1035000 | #Constraints: 35934
3172.91/3182.92 c #Conflicts: 1036000 | #Constraints: 36934
3172.91/3182.92 c #Conflicts: 1037000 | #Constraints: 37934
3172.91/3182.92 c #Conflicts: 1038000 | #Constraints: 38934
3172.91/3182.92 c #Conflicts: 1039000 | #Constraints: 39934
3172.91/3182.92 c #Conflicts: 1040000 | #Constraints: 40934
3172.91/3182.92 c #Conflicts: 1041000 | #Constraints: 41934
3172.91/3182.92 c INPROCESSING
3172.91/3182.92 c GARBAGE COLLECT
3172.91/3182.92 c #Conflicts: 1042000 | #Constraints: 22723
3172.91/3182.92 c #Conflicts: 1043000 | #Constraints: 23723
3172.91/3182.92 c #Conflicts: 1044000 | #Constraints: 24723
3352.02/3362.68 c #Conflicts: 1045000 | #Constraints: 25723
3352.02/3362.68 c #Conflicts: 1046000 | #Constraints: 26723
3352.02/3362.68 c #Conflicts: 1047000 | #Constraints: 27723
3352.02/3362.68 c #Conflicts: 1048000 | #Constraints: 28723
3352.02/3362.68 c #Conflicts: 1049000 | #Constraints: 29723
3352.02/3362.68 c #Conflicts: 1050000 | #Constraints: 30723
3352.02/3362.68 c #Conflicts: 1051000 | #Constraints: 31723
3352.02/3362.68 c #Conflicts: 1052000 | #Constraints: 32723
3352.02/3362.68 c #Conflicts: 1053000 | #Constraints: 33723
3352.02/3362.68 c #Conflicts: 1054000 | #Constraints: 34723
3352.02/3362.68 c #Conflicts: 1055000 | #Constraints: 35723
3352.02/3362.68 c #Conflicts: 1056000 | #Constraints: 36723
3352.02/3362.68 c #Conflicts: 1057000 | #Constraints: 37723
3352.02/3362.68 c #Conflicts: 1058000 | #Constraints: 38723
3352.02/3362.68 c #Conflicts: 1059000 | #Constraints: 39723
3352.02/3362.68 c #Conflicts: 1060000 | #Constraints: 40723
3352.02/3362.68 c #Conflicts: 1061000 | #Constraints: 41723
3352.02/3362.68 c #Conflicts: 1062000 | #Constraints: 42723
3352.02/3362.68 c INPROCESSING
3352.02/3362.68 c GARBAGE COLLECT
3352.02/3362.68 c #Conflicts: 1063000 | #Constraints: 23322
3352.02/3362.68 c #Conflicts: 1064000 | #Constraints: 24322
3352.02/3362.68 c #Conflicts: 1065000 | #Constraints: 25322
3352.02/3362.68 c #Conflicts: 1066000 | #Constraints: 26322
3352.02/3362.68 c #Conflicts: 1067000 | #Constraints: 27322
3352.02/3362.68 c #Conflicts: 1068000 | #Constraints: 28322
3352.02/3362.68 c #Conflicts: 1069000 | #Constraints: 29322
3352.02/3362.68 c #Conflicts: 1070000 | #Constraints: 30322
3352.02/3362.68 c #Conflicts: 1071000 | #Constraints: 31322
3352.02/3362.68 c #Conflicts: 1072000 | #Constraints: 32322
3352.02/3362.68 c #Conflicts: 1073000 | #Constraints: 33322
3352.02/3362.68 c #Conflicts: 1074000 | #Constraints: 34322
3352.02/3362.68 c #Conflicts: 1075000 | #Constraints: 35322
3352.02/3362.68 c #Conflicts: 1076000 | #Constraints: 36322
3352.02/3362.68 c #Conflicts: 1077000 | #Constraints: 37322
3352.02/3362.68 c #Conflicts: 1078000 | #Constraints: 38322
3352.02/3362.68 c #Conflicts: 1079000 | #Constraints: 39322
3352.02/3362.68 c #Conflicts: 1080000 | #Constraints: 40322
3352.02/3362.68 c #Conflicts: 1081000 | #Constraints: 41322
3352.02/3362.68 c #Conflicts: 1082000 | #Constraints: 42322
3352.02/3362.68 c #Conflicts: 1083000 | #Constraints: 43322
3352.02/3362.68 c INPROCESSING
3352.02/3362.68 c GARBAGE COLLECT
3352.02/3362.68 c #Conflicts: 1084000 | #Constraints: 23638
3352.02/3362.68 c #Conflicts: 1085000 | #Constraints: 24638
3352.02/3362.68 c #Conflicts: 1086000 | #Constraints: 25638
3352.02/3362.68 c #Conflicts: 1087000 | #Constraints: 26638
3352.02/3362.68 c #Conflicts: 1088000 | #Constraints: 27638
3352.02/3362.68 c #Conflicts: 1089000 | #Constraints: 28638
3352.02/3362.68 c #Conflicts: 1090000 | #Constraints: 29638
3352.02/3362.68 c #Conflicts: 1091000 | #Constraints: 30638
3352.02/3362.68 c #Conflicts: 1092000 | #Constraints: 31638
3352.02/3362.68 c #Conflicts: 1093000 | #Constraints: 32638
3352.02/3362.68 c #Conflicts: 1094000 | #Constraints: 33638
3352.02/3362.68 c #Conflicts: 1095000 | #Constraints: 34638
3352.02/3362.68 c #Conflicts: 1096000 | #Constraints: 35638
3352.02/3362.68 c #Conflicts: 1097000 | #Constraints: 36638
3352.02/3362.68 c #Conflicts: 1098000 | #Constraints: 37638
3352.02/3362.68 c #Conflicts: 1099000 | #Constraints: 38638
3352.02/3362.68 c #Conflicts: 1100000 | #Constraints: 39638
3352.02/3362.68 c #Conflicts: 1101000 | #Constraints: 40638
3352.02/3362.68 c #Conflicts: 1102000 | #Constraints: 41638
3352.02/3362.68 c #Conflicts: 1103000 | #Constraints: 42638
3352.02/3362.68 c #Conflicts: 1104000 | #Constraints: 43638
3352.02/3362.68 c INPROCESSING
3352.02/3362.68 c GARBAGE COLLECT
3352.02/3362.68 c #Conflicts: 1105000 | #Constraints: 23816
3352.02/3362.68 c #Conflicts: 1106000 | #Constraints: 24816
3352.02/3362.68 c #Conflicts: 1107000 | #Constraints: 25816
3352.02/3362.68 c #Conflicts: 1108000 | #Constraints: 26816
3352.02/3362.68 c #Conflicts: 1109000 | #Constraints: 27816
3352.02/3362.68 c #Conflicts: 1110000 | #Constraints: 28816
3352.02/3362.68 c #Conflicts: 1111000 | #Constraints: 29816
3352.02/3362.68 c #Conflicts: 1112000 | #Constraints: 30816
3352.02/3362.68 c #Conflicts: 1113000 | #Constraints: 31816
3352.02/3362.68 c #Conflicts: 1114000 | #Constraints: 32816
3352.02/3362.68 c #Conflicts: 1115000 | #Constraints: 33816
3352.02/3362.68 c #Conflicts: 1116000 | #Constraints: 34816
3352.02/3362.68 c #Conflicts: 1117000 | #Constraints: 35816
3352.02/3362.68 c #Conflicts: 1118000 | #Constraints: 36816
3352.02/3362.68 c #Conflicts: 1119000 | #Constraints: 37816
3352.02/3362.68 c #Conflicts: 1120000 | #Constraints: 38816
3352.02/3362.68 c #Conflicts: 1121000 | #Constraints: 39816
3539.01/3550.23 c #Conflicts: 1122000 | #Constraints: 40816
3539.01/3550.23 c #Conflicts: 1123000 | #Constraints: 41816
3539.01/3550.23 c #Conflicts: 1124000 | #Constraints: 42816
3539.01/3550.23 c #Conflicts: 1125000 | #Constraints: 43816
3539.01/3550.23 c INPROCESSING
3539.01/3550.23 c GARBAGE COLLECT
3539.01/3550.23 c #Conflicts: 1126000 | #Constraints: 23858
3539.01/3550.23 c #Conflicts: 1127000 | #Constraints: 24858
3539.01/3550.23 c #Conflicts: 1128000 | #Constraints: 25858
3539.01/3550.23 c #Conflicts: 1129000 | #Constraints: 26858
3539.01/3550.23 c #Conflicts: 1130000 | #Constraints: 27858
3539.01/3550.23 c #Conflicts: 1131000 | #Constraints: 28858
3539.01/3550.23 c #Conflicts: 1132000 | #Constraints: 29858
3539.01/3550.23 c #Conflicts: 1133000 | #Constraints: 30858
3539.01/3550.23 c #Conflicts: 1134000 | #Constraints: 31858
3539.01/3550.23 c #Conflicts: 1135000 | #Constraints: 32858
3539.01/3550.23 c #Conflicts: 1136000 | #Constraints: 33858
3539.01/3550.23 c #Conflicts: 1137000 | #Constraints: 34858
3539.01/3550.23 c #Conflicts: 1138000 | #Constraints: 35858
3539.01/3550.23 c #Conflicts: 1139000 | #Constraints: 36858
3539.01/3550.23 c #Conflicts: 1140000 | #Constraints: 37858
3539.01/3550.23 c #Conflicts: 1141000 | #Constraints: 38858
3539.01/3550.23 c #Conflicts: 1142000 | #Constraints: 39858
3539.01/3550.23 c #Conflicts: 1143000 | #Constraints: 40858
3539.01/3550.23 c #Conflicts: 1144000 | #Constraints: 41858
3539.01/3550.23 c #Conflicts: 1145000 | #Constraints: 42858
3539.01/3550.23 c #Conflicts: 1146000 | #Constraints: 43858
3539.01/3550.23 c INPROCESSING
3539.01/3550.23 c GARBAGE COLLECT
3539.01/3550.23 c #Conflicts: 1147000 | #Constraints: 23649
3539.01/3550.23 c #Conflicts: 1148000 | #Constraints: 24649
3539.01/3550.23 c #Conflicts: 1149000 | #Constraints: 25649
3539.01/3550.23 c #Conflicts: 1150000 | #Constraints: 26649
3539.01/3550.23 c #Conflicts: 1151000 | #Constraints: 27649
3539.01/3550.23 c #Conflicts: 1152000 | #Constraints: 28649
3539.01/3550.23 c #Conflicts: 1153000 | #Constraints: 29649
3539.01/3550.23 c #Conflicts: 1154000 | #Constraints: 30649
3539.01/3550.23 c #Conflicts: 1155000 | #Constraints: 31649
3539.01/3550.23 c #Conflicts: 1156000 | #Constraints: 32649
3539.01/3550.23 c #Conflicts: 1157000 | #Constraints: 33649
3539.01/3550.23 c #Conflicts: 1158000 | #Constraints: 34649
3539.01/3550.23 c #Conflicts: 1159000 | #Constraints: 35649
3539.01/3550.23 c #Conflicts: 1160000 | #Constraints: 36649
3539.01/3550.23 c #Conflicts: 1161000 | #Constraints: 37649
3539.01/3550.23 c #Conflicts: 1162000 | #Constraints: 38649
3539.01/3550.23 c #Conflicts: 1163000 | #Constraints: 39649
3539.01/3550.23 c #Conflicts: 1164000 | #Constraints: 40649
3539.01/3550.23 c #Conflicts: 1165000 | #Constraints: 41649
3539.01/3550.23 c #Conflicts: 1166000 | #Constraints: 42649
3539.01/3550.23 c #Conflicts: 1167000 | #Constraints: 43649
3539.01/3550.23 c #Conflicts: 1168000 | #Constraints: 44649
3539.01/3550.23 c INPROCESSING
3539.01/3550.23 c GARBAGE COLLECT
3539.01/3550.23 c #Conflicts: 1169000 | #Constraints: 24309
3539.01/3550.23 c #Conflicts: 1170000 | #Constraints: 25309
3539.01/3550.23 c #Conflicts: 1171000 | #Constraints: 26309
3539.01/3550.23 c #Conflicts: 1172000 | #Constraints: 27309
3539.01/3550.23 c #Conflicts: 1173000 | #Constraints: 28309
3539.01/3550.23 c #Conflicts: 1174000 | #Constraints: 29309
3539.01/3550.23 c #Conflicts: 1175000 | #Constraints: 30309
3539.01/3550.23 c #Conflicts: 1176000 | #Constraints: 31309
3539.01/3550.23 c #Conflicts: 1177000 | #Constraints: 32309
3539.01/3550.23 c #Conflicts: 1178000 | #Constraints: 33309
3539.01/3550.23 c #Conflicts: 1179000 | #Constraints: 34309
3539.01/3550.23 c #Conflicts: 1180000 | #Constraints: 35309
3539.01/3550.23 c #Conflicts: 1181000 | #Constraints: 36309
3539.01/3550.23 c #Conflicts: 1182000 | #Constraints: 37309
3539.01/3550.23 c #Conflicts: 1183000 | #Constraints: 38309
3539.01/3550.23 c #Conflicts: 1184000 | #Constraints: 39309
3539.01/3550.23 c #Conflicts: 1185000 | #Constraints: 40309
3539.01/3550.23 c #Conflicts: 1186000 | #Constraints: 41309
3539.01/3550.23 c #Conflicts: 1187000 | #Constraints: 42309
3539.01/3550.23 c #Conflicts: 1188000 | #Constraints: 43309
3539.01/3550.23 c #Conflicts: 1189000 | #Constraints: 44309
3539.01/3550.23 c #Conflicts: 1190000 | #Constraints: 45309
3539.01/3550.23 c INPROCESSING
3539.01/3550.23 c GARBAGE COLLECT
3539.01/3550.23 c #Conflicts: 1191000 | #Constraints: 24672
3539.01/3550.23 c #Conflicts: 1192000 | #Constraints: 25672
3539.01/3550.23 c #Conflicts: 1193000 | #Constraints: 26672
3539.01/3550.23 c #Conflicts: 1194000 | #Constraints: 27672
3539.01/3550.23 c #Conflicts: 1195000 | #Constraints: 28672
3539.01/3550.23 c #Conflicts: 1196000 | #Constraints: 29672
3539.01/3550.23 c #Conflicts: 1197000 | #Constraints: 30672
3600.09/3611.50 c #Conflicts: 1198000 | #Constraints: 31672
3600.09/3611.50 c #Conflicts: 1199000 | #Constraints: 32672
3600.09/3611.50 c #Conflicts: 1200000 | #Constraints: 33672
3600.09/3611.50 c #Conflicts: 1201000 | #Constraints: 34672
3600.09/3611.50 c #Conflicts: 1202000 | #Constraints: 35672
3600.09/3611.50 c #Conflicts: 1203000 | #Constraints: 36672
3600.09/3611.50 c #Conflicts: 1204000 | #Constraints: 37672
3600.09/3611.50 c #Conflicts: 1205000 | #Constraints: 38672
3600.09/3611.50 c #Conflicts: 1206000 | #Constraints: 39672
3600.09/3611.50 c #Conflicts: 1207000 | #Constraints: 40672
3600.09/3611.50 c #Conflicts: 1208000 | #Constraints: 41672
3600.09/3611.50 c #Conflicts: 1209000 | #Constraints: 42672
3600.09/3611.50 c #Conflicts: 1210000 | #Constraints: 43672
3600.09/3611.50 c #Conflicts: 1211000 | #Constraints: 44672
3600.09/3611.50 c #Conflicts: 1212000 | #Constraints: 45672
3600.09/3611.50 c INPROCESSING
3600.09/3611.50 c GARBAGE COLLECT
3600.09/3611.50 c #Conflicts: 1213000 | #Constraints: 24832
3600.09/3611.50 c #Conflicts: 1214000 | #Constraints: 25832
3600.09/3611.50 c #Conflicts: 1215000 | #Constraints: 26832
3600.09/3611.50 c #Conflicts: 1216000 | #Constraints: 27832
3600.09/3611.50 c #Conflicts: 1217000 | #Constraints: 28832
3600.09/3611.50 c #Conflicts: 1218000 | #Constraints: 29832
3600.09/3611.50 c cpu time 3574 s
3600.09/3611.50 c deterministic time 1 1.00e+00
3600.09/3611.50 c optimization time 3573.98 s
3600.09/3611.50 c total solve time 0 s
3600.09/3611.50 c core-guided solve time 0 s
3600.09/3611.50 c propagation time 0.000825 s
3600.09/3611.50 c conflict analysis time 0 s
3600.09/3611.50 c propagations 0
3600.09/3611.50 c resolve steps 0
3600.09/3611.50 c decisions 0
3600.09/3611.50 c conflicts 0
3600.09/3611.50 c restarts 0
3600.09/3611.50 c inprocessing phases 0
3600.09/3611.50 c garbage collections 0 ,( -nan )
3600.09/3611.50 c input clauses 0 ,( 0.00 )
3600.09/3611.50 c input cardinalities 41 ,( 2.44 )
3600.09/3611.50 c input general constraints 1640 ,( 97.56 )
3600.09/3611.50 c input average constraint length 11.80
3600.09/3611.50 c input average constraint degree 7.85
3600.09/3611.50 c learned clauses 0 ,( 0.00 )
3600.09/3611.50 c learned cardinalities 0 ,( 0.00 )
3600.09/3611.50 c learned general constraints 0 ,( 0.00 )
3600.09/3611.50 c learned average constraint length 0.00
3600.09/3611.50 c learned average constraint degree 0.00
3600.09/3611.50 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3611.50 c counting CF 32, 64, 128, Arb: 1641 , 0 , 0 , 0
3600.09/3611.50 c watched constraints 0 ,( 0.00 )
3600.09/3611.50 c counting constraints 1640 ,( 100.00 )
3600.09/3611.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3611.50 c gcd simplifications 41
3600.09/3611.50 c detected cardinalities 0
3600.09/3611.50 c weakened non-implied lits 0
3600.09/3611.50 c weakened non-implying lits 0
3600.09/3611.50 c original variables 6724
3600.09/3611.50 c clausal propagations 0
3600.09/3611.50 c cardinality propagations 0
3600.09/3611.50 c watched propagations 0
3600.09/3611.50 c counting propagations 0
3600.09/3611.50 c watch lookups 0
3600.09/3611.50 c watch backjump lookups 0
3600.09/3611.50 c watch checks 0
3600.09/3611.50 c propagation checks 0
3600.09/3611.50 c constraint additions 0
3600.09/3611.50 c trail pops 0
3600.09/3611.50 c formula constraints 1681
3600.09/3611.50 c learned constraints 0
3600.09/3611.50 c bound constraints 0
3600.09/3611.50 c core-guided constraints 0
3600.09/3611.50 c encountered formula constraints 0
3600.09/3611.50 c encountered learned constraints 0
3600.09/3611.50 c encountered bound constraints 0
3600.09/3611.50 c encountered core-guided constraints 0
3600.09/3611.50 c LP total time 0 s
3600.09/3611.50 c LP solve time 0 s
3600.09/3611.50 c LP constraints added 0
3600.09/3611.50 c LP constraints removed 0
3600.09/3611.50 c LP pivots internal 0
3600.09/3611.50 c LP pivots root 0
3600.09/3611.50 c LP calls 0
3600.09/3611.50 c LP optimalities 0
3600.09/3611.50 c LP no pivot count 0
3600.09/3611.50 c LP infeasibilities 0
3600.09/3611.50 c LP valid Farkas constraints 0
3600.09/3611.50 c LP learned Farkas constraints 0
3600.09/3611.50 c LP basis resets 0
3600.09/3611.50 c LP cycling count 0
3600.09/3611.50 c LP singular count 0
3600.09/3611.50 c LP no primal count 0
3600.09/3611.50 c LP no farkas count 0
3600.09/3611.50 c LP other issue count 0
3600.09/3611.50 c LP Gomory cuts 0
3600.09/3611.50 c LP learned cuts 0
3600.09/3611.50 c LP deleted cuts 0
3600.09/3611.50 c LP encountered Gomory constraints 0
3600.09/3611.50 c LP encountered Farkas constraints 0
3600.09/3611.50 c LP encountered learned Farkas constraints 0
3600.09/3611.50 c CG auxiliary variables introduced 0
3600.09/3611.50 c CG solutions found 0
3600.09/3611.50 c CG cores constructed 0
3600.09/3611.50 c CG core cardinality constraints returned 0
3600.09/3611.50 c CG unit cores 0
3600.09/3611.50 c CG single cores 0
3600.09/3611.50 c CG blocks removed during cardinality reduction 0
3600.09/3611.50 c CG first core best 0
3600.09/3611.50 c CG decision core best 0
3600.09/3611.50 c CG core reduction tie 0
3600.09/3611.50 c CG core degree average 0.00
3600.09/3611.50 c CG core slack average 0.00
3600.09/3611.50 c CG core upper bound improvements 0
3600.09/3611.50 c STR number of successful calls 0
3600.09/3611.50 c STR number of unsuccessful calls 0
3600.09/3611.50 c STR number of inconclusive calls 0
3600.09/3611.50 c STR number of successful attempts 0
3600.09/3611.50 c STR number of unsuccessful attempts 0
3600.09/3611.50 c STR number of inconclusive attempts 0
3600.09/3611.50 c STR average degree increase per successful call inf
3600.09/3611.50 c STR average degree increase per successful attempt inf
3600.09/3611.50 c STR total number of conflicts for successful attempts 0
3600.09/3611.50 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.50 c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.50 c STR average number of conflicts per successful attempt inf
3600.09/3611.50 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.50 c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.50 c AVG.sumWPerc 75.00
3600.09/3611.50 c bigint constraints 0
3600.09/3611.50 s UNKNOWN
3600.09/3611.50 c Program interrupted by user.
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: 63794 MiB (62538 MiB free)
memory of node 1: 64507 MiB (61527 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520251-1751566547/watcher-4520251-1751566547 -o /tmp/evaluation-result-4520251-1751566547/solver-4520251-1751566547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751562911-80732 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520251-1751566547.opb PROOFDIR/proof-4520251-1751566547
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=81174, runsolver pid=81171
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.13 4.17 4.19 5/256 81176
/proc/meminfo: memFree=127023080/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=68212 memory=21368 CPUtime=0.06 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 3115 0 0 0 5 1 0 0 20 0 1 0 72333585 69849088 5342 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 17053 5342 2368 1147 0 4480 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 72404 KiB
Current children cumulated memory: 24312 KiB
[startup+0.207041 s]*
/proc/loadavg: 4.13 4.17 4.19 5/256 81176
/proc/meminfo: memFree=127006888/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=73756 memory=29640 CPUtime=0.17 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 4659 0 0 0 15 2 0 0 20 0 1 0 72333585 75526144 7410 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 18439 7410 2368 1147 0 5866 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 77948 KiB
Current children cumulated memory: 32584 KiB
[startup+0.308009 s]*
/proc/loadavg: 4.13 4.17 4.19 5/256 81176
/proc/meminfo: memFree=127002868/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=80784 memory=36936 CPUtime=0.26 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 6500 0 0 0 24 2 0 0 20 0 1 0 72333585 82722816 9234 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 20196 9234 2368 1147 0 7623 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 84976 KiB
Current children cumulated memory: 39880 KiB
[startup+0.700207 s]
/proc/loadavg: 4.13 4.17 4.19 5/256 81176
/proc/meminfo: memFree=127000096/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=83640 memory=39788 CPUtime=0.65 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 6713 0 0 0 61 4 0 0 20 0 1 0 72333585 85647360 9947 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 20910 9947 2368 1147 0 8337 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 87832 KiB
Current children cumulated memory: 42732 KiB
[startup+1.50033 s]
/proc/loadavg: 4.13 4.17 4.19 5/256 81176
/proc/meminfo: memFree=126971872/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=99324 memory=55664 CPUtime=1.44 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 10137 0 0 0 138 6 0 0 20 0 1 0 72333585 101707776 13884 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 24831 13916 2368 1147 0 12258 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 103516 KiB
Current children cumulated memory: 58608 KiB
[startup+3.1132 s]
/proc/loadavg: 4.13 4.17 4.19 5/256 81176
/proc/meminfo: memFree=126701344/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=168444 memory=111936 CPUtime=3.05 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 19109 0 0 0 295 10 0 0 20 0 1 0 72333585 172486656 27984 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 42111 27984 2368 1147 0 29538 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 172636 KiB
Current children cumulated memory: 114880 KiB
[startup+6.3003 s]
/proc/loadavg: 4.12 4.16 4.19 5/257 81177
/proc/meminfo: memFree=126484552/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=255340 memory=198720 CPUtime=6.23 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 33653 0 0 0 607 16 0 0 20 0 1 0 72333585 261468160 49680 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 63835 49680 2368 1147 0 51262 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 259532 KiB
Current children cumulated memory: 201664 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.16 4.19 5/257 81177
/proc/meminfo: memFree=126148944/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=410552 memory=320676 CPUtime=12.61 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 55986 0 0 0 1234 27 0 0 20 0 1 0 72333585 420405248 80169 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 102638 80169 2368 1147 0 90065 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 414744 KiB
Current children cumulated memory: 323620 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.15 4.18 5/257 81178
/proc/meminfo: memFree=125671272/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=602904 memory=466768 CPUtime=25.38 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 87912 0 0 0 2490 48 0 0 20 0 1 0 72333585 617373696 116692 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 150726 116692 2368 1147 0 138153 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 607096 KiB
Current children cumulated memory: 469712 KiB
[startup+51.1134 s]
/proc/loadavg: 4.12 4.15 4.18 5/258 81179
/proc/meminfo: memFree=124578920/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=709772 memory=570148 CPUtime=50.92 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 101509 0 0 0 5015 77 0 0 20 0 1 0 72333585 726806528 142537 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 177443 142537 2368 1147 0 164870 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 713964 KiB
Current children cumulated memory: 573092 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.18 5/260 81183
/proc/meminfo: memFree=122375280/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=1246176 memory=952860 CPUtime=101.96 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 176229 0 0 0 10053 143 0 0 20 0 1 0 72333585 1276084224 238215 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 311544 238215 2368 1147 0 298971 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1250368 KiB
Current children cumulated memory: 955804 KiB
[startup+162.3 s]
/proc/loadavg: 4.29 4.18 4.19 5/261 81190
/proc/meminfo: memFree=121024828/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=1254112 memory=1102372 CPUtime=161.78 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 197359 0 0 0 15974 204 0 0 20 0 1 0 72333585 1284210688 275593 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 313528 275593 2368 1147 0 300955 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1258304 KiB
Current children cumulated memory: 1105316 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.16 4.18 5/261 81192
/proc/meminfo: memFree=120071448/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=1477616 memory=1178756 CPUtime=221.6 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 209794 0 0 0 21900 260 0 0 20 0 1 0 72333585 1513078784 294689 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 369404 294689 2368 1147 0 356831 0
################
# More data... #
################
/proc/81176/statm: 1143694 944643 2368 1147 0 1131121 0
Current children cumulated CPU time: 3092.57 s
Current children cumulated vsize: 4578968 KiB
Current children cumulated memory: 3781516 KiB
[startup+3162.3 s]
/proc/loadavg: 4.58 4.29 4.20 5/261 81354
/proc/meminfo: memFree=80978760/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=4574776 memory=3793292 CPUtime=3152.38 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 693077 0 0 0 312894 2344 0 0 20 0 1 0 72333585 4684570624 948323 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 1143694 948323 2368 1147 0 1131121 0
Current children cumulated CPU time: 3152.38 s
Current children cumulated vsize: 4578968 KiB
Current children cumulated memory: 3796236 KiB
[startup+3222.3 s]
/proc/loadavg: 4.57 4.35 4.23 5/259 81356
/proc/meminfo: memFree=80472412/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=4589624 memory=4006916 CPUtime=3212.18 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 719794 0 0 0 318836 2382 0 0 20 0 1 0 72333585 4699774976 1001729 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 1147406 1001729 2368 1147 0 1134833 0
Current children cumulated CPU time: 3212.18 s
Current children cumulated vsize: 4593816 KiB
Current children cumulated memory: 4009860 KiB
[startup+3282.3 s]
/proc/loadavg: 4.32 4.32 4.23 5/260 81359
/proc/meminfo: memFree=79969352/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=4596280 memory=4099144 CPUtime=3271.98 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 727467 0 0 0 324787 2411 0 0 20 0 1 0 72333585 4706590720 1024786 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 1149070 1024786 2368 1147 0 1136497 0
Current children cumulated CPU time: 3271.98 s
Current children cumulated vsize: 4600472 KiB
Current children cumulated memory: 4102088 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.29 4.22 5/260 81362
/proc/meminfo: memFree=79603248/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=4596280 memory=4103880 CPUtime=3331.78 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 727482 0 0 0 330735 2443 0 0 20 0 1 0 72333585 4706590720 1025970 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 1149070 1025970 2368 1147 0 1136497 0
Current children cumulated CPU time: 3331.78 s
Current children cumulated vsize: 4600472 KiB
Current children cumulated memory: 4106824 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.25 4.21 5/261 81364
/proc/meminfo: memFree=79147540/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=4596280 memory=4108360 CPUtime=3391.59 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 727716 0 0 0 336673 2486 0 0 20 0 1 0 72333585 4706590720 1027090 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 1149070 1027090 2368 1147 0 1136497 0
Current children cumulated CPU time: 3391.59 s
Current children cumulated vsize: 4600472 KiB
Current children cumulated memory: 4111304 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.22 4.20 5/261 81366
/proc/meminfo: memFree=78509960/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=4596280 memory=4116936 CPUtime=3451.4 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 727818 0 0 0 342610 2530 0 0 20 0 1 0 72333585 4706590720 1029234 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 1149070 1029234 2368 1147 0 1136497 0
Current children cumulated CPU time: 3451.4 s
Current children cumulated vsize: 4600472 KiB
Current children cumulated memory: 4119880 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.21 4.19 5/261 81370
/proc/meminfo: memFree=77885148/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=4596280 memory=4127176 CPUtime=3511.2 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 727963 0 0 0 348555 2565 0 0 20 0 1 0 72333585 4706590720 1031794 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 1149070 1031794 2368 1147 0 1136497 0
Current children cumulated CPU time: 3511.2 s
Current children cumulated vsize: 4600472 KiB
Current children cumulated memory: 4130120 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.18 4.18 5/260 81372
/proc/meminfo: memFree=77538264/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=4596280 memory=4137416 CPUtime=3571 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 728303 0 0 0 354506 2594 0 0 20 0 1 0 72333585 4706590720 1034354 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 1149070 1034354 2368 1147 0 1136497 0
Current children cumulated CPU time: 3571 s
Current children cumulated vsize: 4600472 KiB
Current children cumulated memory: 4140360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.13 4.18 4.18 5/258 81511
/proc/meminfo: memFree=114319780/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=4597308 memory=4151852 CPUtime=3600.09 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 728540 0 0 0 357399 2610 0 0 20 0 1 0 72333585 4707643392 1037963 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 1149327 1037963 2368 1147 0 1136754 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4601500 KiB
Current children cumulated memory: 4154796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.51 s]
# the end of solver process 81174 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001627 s, system=0.003245 s
[startup+3611.59 s]
# the end of solver process 81176 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3574.01 s, system=26.1773 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]
/proc/loadavg: 4.13 4.18 4.18 5/258 81511
/proc/meminfo: memFree=114319780/131382112 swapFree=33009904/33010684
[pid=81174] ppid=81171 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/81174/stat : 81174 (run-opt-log.sh) S 81171 81174 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72333584 4292608 736 18446744073709551615 93942909476864 93942910371397 140721212560624 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942910610448 93942910658192 93942937686016 140721212565793 140721212565988 140721212565988 140721212571590 0
/proc/81174/statm: 1048 736 672 219 0 110 0
[pid=81176] ppid=81174 vsize=4597308 memory=4151852 CPUtime=3600.09 cores=0,2
/proc/81176/stat : 81176 (roundingsat) R 81174 81174 80700 0 -1 4194304 728540 0 0 0 357399 2610 0 0 20 0 1 0 72333585 4707643392 1037963 18446744073709551615 4227072 8923433 140723316693040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39833600 140723316697426 140723316697640 140723316697640 140723316703210 0
/proc/81176/statm: 1149327 1037963 2368 1147 0 1136754 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4601500 KiB
Current children cumulated memory: 4154796 KiB
Child status: 2
Real time (s): 3611.59
CPU time (s): 3600.18
CPU user time (s): 3574.01
CPU system time (s): 26.1773
CPU usage (%): 99.6841
Max. virtual memory (cumulated for all children) (KiB): 4601500
Max. memory (cumulated for all children) (KiB): 4154796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.01
system time used= 26.1773
maximum resident set size= 4152108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 728768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18717480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 988
involuntary context switches= 8217
# summary of solver processes directly reported to runsolver:
# pid: 81174,81176
# total CPU time (s): 3600.18
# total CPU user time (s): 3574.01
# total CPU system time (s): 26.1773
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9123 second user time and 37.274 second system time
The end
Begin job on nodeC001 at 2025-07-03 20:15:47
IDJOB=4520251
IDBENCH=177843
IDSOLVER=3351
FILE ID=nodeC001/4520251-1751566547
RUNJOBID= nodeC001-1751562911-80732
SLURM_JOB_ID= 9598765
Free space on /tmp= 432484 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/normalized-linearized_pebbling_opt_layeredfan_down_r21_c41_a4.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520251-1751566547/watcher-4520251-1751566547 -o /tmp/evaluation-result-4520251-1751566547/solver-4520251-1751566547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751562911-80732 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520251-1751566547.opb PROOFDIR/proof-4520251-1751566547
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8110ecedf7fddacd285de81a9cd905f3
RANDOM SEED=3209382
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.172
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3520.293
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2694.014
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.170
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3657.795
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.497
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.259
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.915
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 127042408 kB
MemAvailable: 128458176 kB
Buffers: 1668 kB
Cached: 2201024 kB
SwapCached: 128 kB
Active: 1751096 kB
Inactive: 1963260 kB
Active(anon): 1501268 kB
Inactive(anon): 28268 kB
Active(file): 249828 kB
Inactive(file): 1934992 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 241172 kB
Writeback: 3012 kB
AnonPages: 1514704 kB
Mapped: 116708 kB
Shmem: 17776 kB
KReclaimable: 140764 kB
Slab: 233164 kB
SReclaimable: 140764 kB
SUnreclaim: 92400 kB
KernelStack: 4112 kB
PageTables: 6460 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 2195676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 149504 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432480 MiB
End job on nodeC001 at 2025-07-03 21:15:59