0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.03 c #variables 6724 #constraints 1681
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 1641 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.020732
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.0232
151.55/152.08 c #Conflicts: 1000 | #Constraints: 2681
151.55/152.08 c #Conflicts: 2000 | #Constraints: 3681
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 3000 | #Constraints: 3751
151.55/152.08 c #Conflicts: 4000 | #Constraints: 4751
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 5000 | #Constraints: 4164
151.55/152.08 c #Conflicts: 6000 | #Constraints: 5164
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 7000 | #Constraints: 4169
151.55/152.08 c #Conflicts: 8000 | #Constraints: 5169
151.55/152.08 c #Conflicts: 9000 | #Constraints: 6169
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 10000 | #Constraints: 4894
151.55/152.08 c #Conflicts: 11000 | #Constraints: 5894
151.55/152.08 c #Conflicts: 12000 | #Constraints: 6894
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 13000 | #Constraints: 5332
151.55/152.08 c #Conflicts: 14000 | #Constraints: 6332
151.55/152.08 c #Conflicts: 15000 | #Constraints: 7332
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 16000 | #Constraints: 5571
151.55/152.08 c #Conflicts: 17000 | #Constraints: 6571
151.55/152.08 c #Conflicts: 18000 | #Constraints: 7571
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 19000 | #Constraints: 5595
151.55/152.08 c #Conflicts: 20000 | #Constraints: 6595
151.55/152.08 c #Conflicts: 21000 | #Constraints: 7595
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 22000 | #Constraints: 5424
151.55/152.08 c #Conflicts: 23000 | #Constraints: 6424
151.55/152.08 c #Conflicts: 24000 | #Constraints: 7424
151.55/152.08 c #Conflicts: 25000 | #Constraints: 8424
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 26000 | #Constraints: 5991
151.55/152.08 c #Conflicts: 27000 | #Constraints: 6991
151.55/152.08 c #Conflicts: 28000 | #Constraints: 7991
151.55/152.08 c #Conflicts: 29000 | #Constraints: 8991
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 30000 | #Constraints: 6390
151.55/152.08 c #Conflicts: 31000 | #Constraints: 7390
151.55/152.08 c #Conflicts: 32000 | #Constraints: 8390
151.55/152.08 c #Conflicts: 33000 | #Constraints: 9390
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 34000 | #Constraints: 6618
151.55/152.08 c #Conflicts: 35000 | #Constraints: 7618
151.55/152.08 c #Conflicts: 36000 | #Constraints: 8618
151.55/152.08 c #Conflicts: 37000 | #Constraints: 9618
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 38000 | #Constraints: 6625
151.55/152.08 c #Conflicts: 39000 | #Constraints: 7625
151.55/152.08 c #Conflicts: 40000 | #Constraints: 8625
151.55/152.08 c #Conflicts: 41000 | #Constraints: 9625
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 42000 | #Constraints: 6431
151.55/152.08 c #Conflicts: 43000 | #Constraints: 7431
151.55/152.08 c #Conflicts: 44000 | #Constraints: 8431
151.55/152.08 c #Conflicts: 45000 | #Constraints: 9431
151.55/152.08 c #Conflicts: 46000 | #Constraints: 10431
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 47000 | #Constraints: 7031
151.55/152.08 c #Conflicts: 48000 | #Constraints: 8031
151.55/152.08 c #Conflicts: 49000 | #Constraints: 9031
151.55/152.08 c #Conflicts: 50000 | #Constraints: 10031
151.55/152.08 c #Conflicts: 51000 | #Constraints: 11031
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 52000 | #Constraints: 7443
151.55/152.08 c #Conflicts: 53000 | #Constraints: 8443
151.55/152.08 c #Conflicts: 54000 | #Constraints: 9443
151.55/152.08 c #Conflicts: 55000 | #Constraints: 10443
151.55/152.08 c #Conflicts: 56000 | #Constraints: 11443
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 57000 | #Constraints: 7648
151.55/152.08 c #Conflicts: 58000 | #Constraints: 8648
151.55/152.08 c #Conflicts: 59000 | #Constraints: 9648
151.55/152.08 c #Conflicts: 60000 | #Constraints: 10648
151.55/152.08 c #Conflicts: 61000 | #Constraints: 11648
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 62000 | #Constraints: 7675
151.55/152.08 c #Conflicts: 63000 | #Constraints: 8675
151.55/152.08 c #Conflicts: 64000 | #Constraints: 9675
151.55/152.08 c #Conflicts: 65000 | #Constraints: 10675
151.55/152.08 c #Conflicts: 66000 | #Constraints: 11675
151.55/152.08 c INPROCESSING
151.55/152.08 c GARBAGE COLLECT
151.55/152.08 c #Conflicts: 67000 | #Constraints: 7479
151.55/152.08 c #Conflicts: 68000 | #Constraints: 8479
331.96/332.98 c #Conflicts: 69000 | #Constraints: 9479
331.96/332.98 c #Conflicts: 70000 | #Constraints: 10479
331.96/332.98 c #Conflicts: 71000 | #Constraints: 11479
331.96/332.98 c #Conflicts: 72000 | #Constraints: 12479
331.96/332.98 c INPROCESSING
331.96/332.98 c GARBAGE COLLECT
331.96/332.98 c #Conflicts: 73000 | #Constraints: 8087
331.96/332.98 c #Conflicts: 74000 | #Constraints: 9087
331.96/332.98 c #Conflicts: 75000 | #Constraints: 10087
331.96/332.98 c #Conflicts: 76000 | #Constraints: 11087
331.96/332.98 c #Conflicts: 77000 | #Constraints: 12087
331.96/332.98 c #Conflicts: 78000 | #Constraints: 13087
331.96/332.98 c INPROCESSING
331.96/332.98 c GARBAGE COLLECT
331.96/332.98 c #Conflicts: 79000 | #Constraints: 8505
331.96/332.98 c #Conflicts: 80000 | #Constraints: 9505
331.96/332.98 c #Conflicts: 81000 | #Constraints: 10505
331.96/332.98 c #Conflicts: 82000 | #Constraints: 11505
331.96/332.98 c #Conflicts: 83000 | #Constraints: 12505
331.96/332.98 c #Conflicts: 84000 | #Constraints: 13505
331.96/332.98 c INPROCESSING
331.96/332.98 c GARBAGE COLLECT
331.96/332.98 c #Conflicts: 85000 | #Constraints: 8723
331.96/332.98 c #Conflicts: 86000 | #Constraints: 9723
331.96/332.98 c #Conflicts: 87000 | #Constraints: 10723
331.96/332.98 c #Conflicts: 88000 | #Constraints: 11723
331.96/332.98 c #Conflicts: 89000 | #Constraints: 12723
331.96/332.98 c #Conflicts: 90000 | #Constraints: 13723
331.96/332.98 c INPROCESSING
331.96/332.98 c GARBAGE COLLECT
331.96/332.98 c #Conflicts: 91000 | #Constraints: 8729
331.96/332.98 c #Conflicts: 92000 | #Constraints: 9729
331.96/332.98 c #Conflicts: 93000 | #Constraints: 10729
331.96/332.98 c #Conflicts: 94000 | #Constraints: 11729
331.96/332.98 c #Conflicts: 95000 | #Constraints: 12729
331.96/332.98 c #Conflicts: 96000 | #Constraints: 13729
331.96/332.98 c INPROCESSING
331.96/332.98 c GARBAGE COLLECT
331.96/332.98 c #Conflicts: 97000 | #Constraints: 8529
331.96/332.98 c #Conflicts: 98000 | #Constraints: 9529
331.96/332.98 c #Conflicts: 99000 | #Constraints: 10529
331.96/332.98 c #Conflicts: 100000 | #Constraints: 11529
331.96/332.98 c #Conflicts: 101000 | #Constraints: 12529
331.96/332.98 c #Conflicts: 102000 | #Constraints: 13529
331.96/332.98 c #Conflicts: 103000 | #Constraints: 14529
331.96/332.98 c INPROCESSING
331.96/332.98 c GARBAGE COLLECT
331.96/332.98 c #Conflicts: 104000 | #Constraints: 9148
331.96/332.98 c #Conflicts: 105000 | #Constraints: 10148
331.96/332.98 c #Conflicts: 106000 | #Constraints: 11148
331.96/332.98 c #Conflicts: 107000 | #Constraints: 12148
331.96/332.98 c #Conflicts: 108000 | #Constraints: 13148
331.96/332.98 c #Conflicts: 109000 | #Constraints: 14148
331.96/332.98 c #Conflicts: 110000 | #Constraints: 15148
331.96/332.98 c INPROCESSING
331.96/332.98 c GARBAGE COLLECT
331.96/332.98 c #Conflicts: 111000 | #Constraints: 9553
331.96/332.98 c #Conflicts: 112000 | #Constraints: 10553
331.96/332.98 c #Conflicts: 113000 | #Constraints: 11553
331.96/332.98 c #Conflicts: 114000 | #Constraints: 12553
331.96/332.98 c #Conflicts: 115000 | #Constraints: 13553
331.96/332.98 c #Conflicts: 116000 | #Constraints: 14553
331.96/332.98 c #Conflicts: 117000 | #Constraints: 15553
331.96/332.98 c INPROCESSING
331.96/332.98 c GARBAGE COLLECT
331.96/332.98 c #Conflicts: 118000 | #Constraints: 9759
331.96/332.98 c #Conflicts: 119000 | #Constraints: 10759
331.96/332.98 c #Conflicts: 120000 | #Constraints: 11759
331.96/332.98 c #Conflicts: 121000 | #Constraints: 12759
331.96/332.98 c #Conflicts: 122000 | #Constraints: 13759
331.96/332.98 c #Conflicts: 123000 | #Constraints: 14759
331.96/332.98 c #Conflicts: 124000 | #Constraints: 15759
331.96/332.98 c INPROCESSING
331.96/332.98 c GARBAGE COLLECT
331.96/332.98 c #Conflicts: 125000 | #Constraints: 9777
331.96/332.98 c #Conflicts: 126000 | #Constraints: 10777
331.96/332.98 c #Conflicts: 127000 | #Constraints: 11777
331.96/332.98 c #Conflicts: 128000 | #Constraints: 12777
331.96/332.98 c #Conflicts: 129000 | #Constraints: 13777
331.96/332.98 c #Conflicts: 130000 | #Constraints: 14777
331.96/332.98 c #Conflicts: 131000 | #Constraints: 15777
331.96/332.98 c INPROCESSING
331.96/332.98 c GARBAGE COLLECT
331.96/332.98 c #Conflicts: 132000 | #Constraints: 9613
331.96/332.98 c #Conflicts: 133000 | #Constraints: 10613
331.96/332.98 c #Conflicts: 134000 | #Constraints: 11613
331.96/332.98 c #Conflicts: 135000 | #Constraints: 12613
331.96/332.98 c #Conflicts: 136000 | #Constraints: 13613
331.96/332.98 c #Conflicts: 137000 | #Constraints: 14613
331.96/332.98 c #Conflicts: 138000 | #Constraints: 15613
331.96/332.98 c #Conflicts: 139000 | #Constraints: 16613
331.96/332.98 c INPROCESSING
331.96/332.98 c GARBAGE COLLECT
331.96/332.98 c #Conflicts: 140000 | #Constraints: 10237
510.28/511.79 c #Conflicts: 141000 | #Constraints: 11237
510.28/511.79 c #Conflicts: 142000 | #Constraints: 12237
510.28/511.79 c #Conflicts: 143000 | #Constraints: 13237
510.28/511.79 c #Conflicts: 144000 | #Constraints: 14237
510.28/511.79 c #Conflicts: 145000 | #Constraints: 15237
510.28/511.79 c #Conflicts: 146000 | #Constraints: 16237
510.28/511.79 c #Conflicts: 147000 | #Constraints: 17237
510.28/511.79 c INPROCESSING
510.28/511.79 c GARBAGE COLLECT
510.28/511.79 c #Conflicts: 148000 | #Constraints: 10645
510.28/511.79 c #Conflicts: 149000 | #Constraints: 11645
510.28/511.79 c #Conflicts: 150000 | #Constraints: 12645
510.28/511.79 c #Conflicts: 151000 | #Constraints: 13645
510.28/511.79 c #Conflicts: 152000 | #Constraints: 14645
510.28/511.79 c #Conflicts: 153000 | #Constraints: 15645
510.28/511.79 c #Conflicts: 154000 | #Constraints: 16645
510.28/511.79 c #Conflicts: 155000 | #Constraints: 17645
510.28/511.79 c INPROCESSING
510.28/511.79 c GARBAGE COLLECT
510.28/511.79 c #Conflicts: 156000 | #Constraints: 10840
510.28/511.79 c #Conflicts: 157000 | #Constraints: 11840
510.28/511.79 c #Conflicts: 158000 | #Constraints: 12840
510.28/511.79 c #Conflicts: 159000 | #Constraints: 13840
510.28/511.79 c #Conflicts: 160000 | #Constraints: 14840
510.28/511.79 c #Conflicts: 161000 | #Constraints: 15840
510.28/511.79 c #Conflicts: 162000 | #Constraints: 16840
510.28/511.79 c #Conflicts: 163000 | #Constraints: 17840
510.28/511.79 c INPROCESSING
510.28/511.79 c GARBAGE COLLECT
510.28/511.79 c #Conflicts: 164000 | #Constraints: 10849
510.28/511.79 c #Conflicts: 165000 | #Constraints: 11849
510.28/511.79 c #Conflicts: 166000 | #Constraints: 12849
510.28/511.79 c #Conflicts: 167000 | #Constraints: 13849
510.28/511.79 c #Conflicts: 168000 | #Constraints: 14849
510.28/511.79 c #Conflicts: 169000 | #Constraints: 15849
510.28/511.79 c #Conflicts: 170000 | #Constraints: 16849
510.28/511.79 c #Conflicts: 171000 | #Constraints: 17849
510.28/511.79 c INPROCESSING
510.28/511.79 c GARBAGE COLLECT
510.28/511.79 c #Conflicts: 172000 | #Constraints: 10602
510.28/511.79 c #Conflicts: 173000 | #Constraints: 11602
510.28/511.79 c #Conflicts: 174000 | #Constraints: 12602
510.28/511.79 c #Conflicts: 175000 | #Constraints: 13602
510.28/511.79 c #Conflicts: 176000 | #Constraints: 14602
510.28/511.79 c #Conflicts: 177000 | #Constraints: 15602
510.28/511.79 c #Conflicts: 178000 | #Constraints: 16602
510.28/511.79 c #Conflicts: 179000 | #Constraints: 17602
510.28/511.79 c #Conflicts: 180000 | #Constraints: 18602
510.28/511.79 c INPROCESSING
510.28/511.79 c GARBAGE COLLECT
510.28/511.79 c #Conflicts: 181000 | #Constraints: 11197
510.28/511.79 c #Conflicts: 182000 | #Constraints: 12197
510.28/511.79 c #Conflicts: 183000 | #Constraints: 13197
510.28/511.79 c #Conflicts: 184000 | #Constraints: 14197
510.28/511.79 c #Conflicts: 185000 | #Constraints: 15197
510.28/511.79 c #Conflicts: 186000 | #Constraints: 16197
510.28/511.79 c #Conflicts: 187000 | #Constraints: 17197
510.28/511.79 c #Conflicts: 188000 | #Constraints: 18197
510.28/511.79 c #Conflicts: 189000 | #Constraints: 19197
510.28/511.79 c INPROCESSING
510.28/511.79 c GARBAGE COLLECT
510.28/511.79 c #Conflicts: 190000 | #Constraints: 11549
510.28/511.79 c #Conflicts: 191000 | #Constraints: 12549
510.28/511.79 c #Conflicts: 192000 | #Constraints: 13549
510.28/511.79 c #Conflicts: 193000 | #Constraints: 14549
510.28/511.79 c #Conflicts: 194000 | #Constraints: 15549
510.28/511.79 c #Conflicts: 195000 | #Constraints: 16549
510.28/511.79 c #Conflicts: 196000 | #Constraints: 17549
510.28/511.79 c #Conflicts: 197000 | #Constraints: 18549
510.28/511.79 c #Conflicts: 198000 | #Constraints: 19549
510.28/511.79 c INPROCESSING
510.28/511.79 c GARBAGE COLLECT
510.28/511.79 c #Conflicts: 199000 | #Constraints: 11766
510.28/511.79 c #Conflicts: 200000 | #Constraints: 12766
510.28/511.79 c #Conflicts: 201000 | #Constraints: 13766
510.28/511.79 c #Conflicts: 202000 | #Constraints: 14766
510.28/511.79 c #Conflicts: 203000 | #Constraints: 15766
510.28/511.79 c #Conflicts: 204000 | #Constraints: 16766
510.28/511.79 c #Conflicts: 205000 | #Constraints: 17766
510.28/511.79 c #Conflicts: 206000 | #Constraints: 18766
510.28/511.79 c #Conflicts: 207000 | #Constraints: 19766
510.28/511.79 c INPROCESSING
510.28/511.79 c GARBAGE COLLECT
510.28/511.79 c #Conflicts: 208000 | #Constraints: 11774
510.28/511.79 c #Conflicts: 209000 | #Constraints: 12774
510.28/511.79 c #Conflicts: 210000 | #Constraints: 13774
510.28/511.79 c #Conflicts: 211000 | #Constraints: 14774
510.28/511.79 c #Conflicts: 212000 | #Constraints: 15774
510.28/511.79 c #Conflicts: 213000 | #Constraints: 16774
696.17/698.14 c #Conflicts: 214000 | #Constraints: 17774
696.17/698.14 c #Conflicts: 215000 | #Constraints: 18774
696.17/698.14 c #Conflicts: 216000 | #Constraints: 19774
696.17/698.14 c INPROCESSING
696.17/698.14 c GARBAGE COLLECT
696.17/698.14 c #Conflicts: 217000 | #Constraints: 11591
696.17/698.14 c #Conflicts: 218000 | #Constraints: 12591
696.17/698.14 c #Conflicts: 219000 | #Constraints: 13591
696.17/698.14 c #Conflicts: 220000 | #Constraints: 14591
696.17/698.14 c #Conflicts: 221000 | #Constraints: 15591
696.17/698.14 c #Conflicts: 222000 | #Constraints: 16591
696.17/698.14 c #Conflicts: 223000 | #Constraints: 17591
696.17/698.14 c #Conflicts: 224000 | #Constraints: 18591
696.17/698.14 c #Conflicts: 225000 | #Constraints: 19591
696.17/698.14 c #Conflicts: 226000 | #Constraints: 20591
696.17/698.14 c INPROCESSING
696.17/698.14 c GARBAGE COLLECT
696.17/698.14 c #Conflicts: 227000 | #Constraints: 12188
696.17/698.14 c #Conflicts: 228000 | #Constraints: 13188
696.17/698.14 c #Conflicts: 229000 | #Constraints: 14188
696.17/698.14 c #Conflicts: 230000 | #Constraints: 15188
696.17/698.14 c #Conflicts: 231000 | #Constraints: 16188
696.17/698.14 c #Conflicts: 232000 | #Constraints: 17188
696.17/698.14 c #Conflicts: 233000 | #Constraints: 18188
696.17/698.14 c #Conflicts: 234000 | #Constraints: 19188
696.17/698.14 c #Conflicts: 235000 | #Constraints: 20188
696.17/698.14 c #Conflicts: 236000 | #Constraints: 21188
696.17/698.14 c INPROCESSING
696.17/698.14 c GARBAGE COLLECT
696.17/698.14 c #Conflicts: 237000 | #Constraints: 12594
696.17/698.14 c #Conflicts: 238000 | #Constraints: 13594
696.17/698.14 c #Conflicts: 239000 | #Constraints: 14594
696.17/698.14 c #Conflicts: 240000 | #Constraints: 15594
696.17/698.14 c #Conflicts: 241000 | #Constraints: 16594
696.17/698.14 c #Conflicts: 242000 | #Constraints: 17594
696.17/698.14 c #Conflicts: 243000 | #Constraints: 18594
696.17/698.14 c #Conflicts: 244000 | #Constraints: 19594
696.17/698.14 c #Conflicts: 245000 | #Constraints: 20594
696.17/698.14 c #Conflicts: 246000 | #Constraints: 21594
696.17/698.14 c INPROCESSING
696.17/698.14 c GARBAGE COLLECT
696.17/698.14 c #Conflicts: 247000 | #Constraints: 12797
696.17/698.14 c #Conflicts: 248000 | #Constraints: 13797
696.17/698.14 c #Conflicts: 249000 | #Constraints: 14797
696.17/698.14 c #Conflicts: 250000 | #Constraints: 15797
696.17/698.14 c #Conflicts: 251000 | #Constraints: 16797
696.17/698.14 c #Conflicts: 252000 | #Constraints: 17797
696.17/698.14 c #Conflicts: 253000 | #Constraints: 18797
696.17/698.14 c #Conflicts: 254000 | #Constraints: 19797
696.17/698.14 c #Conflicts: 255000 | #Constraints: 20797
696.17/698.14 c #Conflicts: 256000 | #Constraints: 21797
696.17/698.14 c INPROCESSING
696.17/698.14 c GARBAGE COLLECT
696.17/698.14 c #Conflicts: 257000 | #Constraints: 12816
696.17/698.14 c #Conflicts: 258000 | #Constraints: 13816
696.17/698.14 c #Conflicts: 259000 | #Constraints: 14816
696.17/698.14 c #Conflicts: 260000 | #Constraints: 15816
696.17/698.14 c #Conflicts: 261000 | #Constraints: 16816
696.17/698.14 c #Conflicts: 262000 | #Constraints: 17816
696.17/698.14 c #Conflicts: 263000 | #Constraints: 18816
696.17/698.14 c #Conflicts: 264000 | #Constraints: 19816
696.17/698.14 c #Conflicts: 265000 | #Constraints: 20816
696.17/698.14 c #Conflicts: 266000 | #Constraints: 21816
696.17/698.14 c INPROCESSING
696.17/698.14 c GARBAGE COLLECT
696.17/698.14 c #Conflicts: 267000 | #Constraints: 12612
696.17/698.14 c #Conflicts: 268000 | #Constraints: 13612
696.17/698.14 c #Conflicts: 269000 | #Constraints: 14612
696.17/698.14 c #Conflicts: 270000 | #Constraints: 15612
696.17/698.14 c #Conflicts: 271000 | #Constraints: 16612
696.17/698.14 c #Conflicts: 272000 | #Constraints: 17612
696.17/698.14 c #Conflicts: 273000 | #Constraints: 18612
696.17/698.14 c #Conflicts: 274000 | #Constraints: 19612
696.17/698.14 c #Conflicts: 275000 | #Constraints: 20612
696.17/698.14 c #Conflicts: 276000 | #Constraints: 21612
696.17/698.14 c #Conflicts: 277000 | #Constraints: 22612
696.17/698.14 c INPROCESSING
696.17/698.14 c GARBAGE COLLECT
696.17/698.14 c #Conflicts: 278000 | #Constraints: 13212
696.17/698.14 c #Conflicts: 279000 | #Constraints: 14212
696.17/698.14 c #Conflicts: 280000 | #Constraints: 15212
696.17/698.14 c #Conflicts: 281000 | #Constraints: 16212
696.17/698.14 c #Conflicts: 282000 | #Constraints: 17212
696.17/698.14 c #Conflicts: 283000 | #Constraints: 18212
696.17/698.14 c #Conflicts: 284000 | #Constraints: 19212
696.17/698.14 c #Conflicts: 285000 | #Constraints: 20212
696.17/698.14 c #Conflicts: 286000 | #Constraints: 21212
696.17/698.14 c #Conflicts: 287000 | #Constraints: 22212
696.17/698.14 c #Conflicts: 288000 | #Constraints: 23212
898.53/901.06 c INPROCESSING
898.53/901.06 c GARBAGE COLLECT
898.53/901.06 c #Conflicts: 289000 | #Constraints: 13621
898.53/901.06 c #Conflicts: 290000 | #Constraints: 14621
898.53/901.06 c #Conflicts: 291000 | #Constraints: 15621
898.53/901.06 c #Conflicts: 292000 | #Constraints: 16621
898.53/901.06 c #Conflicts: 293000 | #Constraints: 17621
898.53/901.06 c #Conflicts: 294000 | #Constraints: 18621
898.53/901.06 c #Conflicts: 295000 | #Constraints: 19621
898.53/901.06 c #Conflicts: 296000 | #Constraints: 20621
898.53/901.06 c #Conflicts: 297000 | #Constraints: 21621
898.53/901.06 c #Conflicts: 298000 | #Constraints: 22621
898.53/901.06 c #Conflicts: 299000 | #Constraints: 23621
898.53/901.06 c INPROCESSING
898.53/901.06 c GARBAGE COLLECT
898.53/901.06 c #Conflicts: 300000 | #Constraints: 13825
898.53/901.06 c #Conflicts: 301000 | #Constraints: 14825
898.53/901.06 c #Conflicts: 302000 | #Constraints: 15825
898.53/901.06 c #Conflicts: 303000 | #Constraints: 16825
898.53/901.06 c #Conflicts: 304000 | #Constraints: 17825
898.53/901.06 c #Conflicts: 305000 | #Constraints: 18825
898.53/901.06 c #Conflicts: 306000 | #Constraints: 19825
898.53/901.06 c #Conflicts: 307000 | #Constraints: 20825
898.53/901.06 c #Conflicts: 308000 | #Constraints: 21825
898.53/901.06 c #Conflicts: 309000 | #Constraints: 22825
898.53/901.06 c #Conflicts: 310000 | #Constraints: 23825
898.53/901.06 c INPROCESSING
898.53/901.06 c GARBAGE COLLECT
898.53/901.06 c #Conflicts: 311000 | #Constraints: 13777
898.53/901.06 c #Conflicts: 312000 | #Constraints: 14777
898.53/901.06 c #Conflicts: 313000 | #Constraints: 15777
898.53/901.06 c #Conflicts: 314000 | #Constraints: 16777
898.53/901.06 c #Conflicts: 315000 | #Constraints: 17777
898.53/901.06 c #Conflicts: 316000 | #Constraints: 18777
898.53/901.06 c #Conflicts: 317000 | #Constraints: 19777
898.53/901.06 c #Conflicts: 318000 | #Constraints: 20777
898.53/901.06 c #Conflicts: 319000 | #Constraints: 21777
898.53/901.06 c #Conflicts: 320000 | #Constraints: 22777
898.53/901.06 c #Conflicts: 321000 | #Constraints: 23777
898.53/901.06 c INPROCESSING
898.53/901.06 c GARBAGE COLLECT
898.53/901.06 c #Conflicts: 322000 | #Constraints: 13553
898.53/901.06 c #Conflicts: 323000 | #Constraints: 14553
898.53/901.06 c #Conflicts: 324000 | #Constraints: 15553
898.53/901.06 c #Conflicts: 325000 | #Constraints: 16553
898.53/901.06 c #Conflicts: 326000 | #Constraints: 17553
898.53/901.06 c #Conflicts: 327000 | #Constraints: 18553
898.53/901.06 c #Conflicts: 328000 | #Constraints: 19553
898.53/901.06 c #Conflicts: 329000 | #Constraints: 20553
898.53/901.06 c #Conflicts: 330000 | #Constraints: 21553
898.53/901.06 c #Conflicts: 331000 | #Constraints: 22553
898.53/901.06 c #Conflicts: 332000 | #Constraints: 23553
898.53/901.06 c #Conflicts: 333000 | #Constraints: 24553
898.53/901.06 c INPROCESSING
898.53/901.06 c GARBAGE COLLECT
898.53/901.06 c #Conflicts: 334000 | #Constraints: 14195
898.53/901.06 c #Conflicts: 335000 | #Constraints: 15195
898.53/901.06 c #Conflicts: 336000 | #Constraints: 16195
898.53/901.06 c #Conflicts: 337000 | #Constraints: 17195
898.53/901.06 c #Conflicts: 338000 | #Constraints: 18195
898.53/901.06 c #Conflicts: 339000 | #Constraints: 19195
898.53/901.06 c #Conflicts: 340000 | #Constraints: 20195
898.53/901.06 c #Conflicts: 341000 | #Constraints: 21195
898.53/901.06 c #Conflicts: 342000 | #Constraints: 22195
898.53/901.06 c #Conflicts: 343000 | #Constraints: 23195
898.53/901.06 c #Conflicts: 344000 | #Constraints: 24195
898.53/901.06 c #Conflicts: 345000 | #Constraints: 25195
898.53/901.06 c INPROCESSING
898.53/901.06 c GARBAGE COLLECT
898.53/901.06 c #Conflicts: 346000 | #Constraints: 14579
898.53/901.06 c #Conflicts: 347000 | #Constraints: 15579
898.53/901.06 c #Conflicts: 348000 | #Constraints: 16579
898.53/901.06 c #Conflicts: 349000 | #Constraints: 17579
898.53/901.06 c #Conflicts: 350000 | #Constraints: 18579
898.53/901.06 c #Conflicts: 351000 | #Constraints: 19579
898.53/901.06 c #Conflicts: 352000 | #Constraints: 20579
898.53/901.06 c #Conflicts: 353000 | #Constraints: 21579
898.53/901.06 c #Conflicts: 354000 | #Constraints: 22579
898.53/901.06 c #Conflicts: 355000 | #Constraints: 23579
898.53/901.06 c #Conflicts: 356000 | #Constraints: 24579
898.53/901.06 c #Conflicts: 357000 | #Constraints: 25579
898.53/901.06 c INPROCESSING
898.53/901.06 c GARBAGE COLLECT
898.53/901.06 c #Conflicts: 358000 | #Constraints: 14726
898.53/901.06 c #Conflicts: 359000 | #Constraints: 15726
898.53/901.06 c #Conflicts: 360000 | #Constraints: 16726
898.53/901.06 c #Conflicts: 361000 | #Constraints: 17726
898.53/901.06 c #Conflicts: 362000 | #Constraints: 18726
1136.66/1139.85 c #Conflicts: 363000 | #Constraints: 19726
1136.66/1139.85 c #Conflicts: 364000 | #Constraints: 20726
1136.66/1139.85 c #Conflicts: 365000 | #Constraints: 21726
1136.66/1139.85 c #Conflicts: 366000 | #Constraints: 22726
1136.66/1139.85 c #Conflicts: 367000 | #Constraints: 23726
1136.66/1139.85 c #Conflicts: 368000 | #Constraints: 24726
1136.66/1139.85 c #Conflicts: 369000 | #Constraints: 25726
1136.66/1139.85 c INPROCESSING
1136.66/1139.85 c GARBAGE COLLECT
1136.66/1139.85 c #Conflicts: 370000 | #Constraints: 14706
1136.66/1139.85 c #Conflicts: 371000 | #Constraints: 15706
1136.66/1139.85 c #Conflicts: 372000 | #Constraints: 16706
1136.66/1139.85 c #Conflicts: 373000 | #Constraints: 17706
1136.66/1139.85 c #Conflicts: 374000 | #Constraints: 18706
1136.66/1139.85 c #Conflicts: 375000 | #Constraints: 19706
1136.66/1139.85 c #Conflicts: 376000 | #Constraints: 20706
1136.66/1139.85 c #Conflicts: 377000 | #Constraints: 21706
1136.66/1139.85 c #Conflicts: 378000 | #Constraints: 22706
1136.66/1139.85 c #Conflicts: 379000 | #Constraints: 23706
1136.66/1139.85 c #Conflicts: 380000 | #Constraints: 24706
1136.66/1139.85 c #Conflicts: 381000 | #Constraints: 25706
1136.66/1139.85 c INPROCESSING
1136.66/1139.85 c GARBAGE COLLECT
1136.66/1139.85 c #Conflicts: 382000 | #Constraints: 14560
1136.66/1139.85 c #Conflicts: 383000 | #Constraints: 15560
1136.66/1139.85 c #Conflicts: 384000 | #Constraints: 16560
1136.66/1139.85 c #Conflicts: 385000 | #Constraints: 17560
1136.66/1139.85 c #Conflicts: 386000 | #Constraints: 18560
1136.66/1139.85 c #Conflicts: 387000 | #Constraints: 19560
1136.66/1139.85 c #Conflicts: 388000 | #Constraints: 20560
1136.66/1139.85 c #Conflicts: 389000 | #Constraints: 21560
1136.66/1139.85 c #Conflicts: 390000 | #Constraints: 22560
1136.66/1139.85 c #Conflicts: 391000 | #Constraints: 23560
1136.66/1139.85 c #Conflicts: 392000 | #Constraints: 24560
1136.66/1139.85 c #Conflicts: 393000 | #Constraints: 25560
1136.66/1139.85 c #Conflicts: 394000 | #Constraints: 26560
1136.66/1139.85 c INPROCESSING
1136.66/1139.85 c GARBAGE COLLECT
1136.66/1139.85 c #Conflicts: 395000 | #Constraints: 15175
1136.66/1139.85 c #Conflicts: 396000 | #Constraints: 16175
1136.66/1139.85 c #Conflicts: 397000 | #Constraints: 17175
1136.66/1139.85 c #Conflicts: 398000 | #Constraints: 18175
1136.66/1139.85 c #Conflicts: 399000 | #Constraints: 19175
1136.66/1139.85 c #Conflicts: 400000 | #Constraints: 20175
1136.66/1139.85 c #Conflicts: 401000 | #Constraints: 21175
1136.66/1139.85 c #Conflicts: 402000 | #Constraints: 22175
1136.66/1139.85 c #Conflicts: 403000 | #Constraints: 23175
1136.66/1139.85 c #Conflicts: 404000 | #Constraints: 24175
1136.66/1139.85 c #Conflicts: 405000 | #Constraints: 25175
1136.66/1139.85 c #Conflicts: 406000 | #Constraints: 26175
1136.66/1139.85 c #Conflicts: 407000 | #Constraints: 27175
1136.66/1139.85 c INPROCESSING
1136.66/1139.85 c GARBAGE COLLECT
1136.66/1139.85 c #Conflicts: 408000 | #Constraints: 15514
1136.66/1139.85 c #Conflicts: 409000 | #Constraints: 16514
1136.66/1139.85 c #Conflicts: 410000 | #Constraints: 17514
1136.66/1139.85 c #Conflicts: 411000 | #Constraints: 18514
1136.66/1139.85 c #Conflicts: 412000 | #Constraints: 19514
1136.66/1139.85 c #Conflicts: 413000 | #Constraints: 20514
1136.66/1139.85 c #Conflicts: 414000 | #Constraints: 21514
1136.66/1139.85 c #Conflicts: 415000 | #Constraints: 22514
1136.66/1139.85 c #Conflicts: 416000 | #Constraints: 23514
1136.66/1139.85 c #Conflicts: 417000 | #Constraints: 24514
1136.66/1139.85 c #Conflicts: 418000 | #Constraints: 25514
1136.66/1139.85 c #Conflicts: 419000 | #Constraints: 26514
1136.66/1139.85 c #Conflicts: 420000 | #Constraints: 27514
1136.66/1139.85 c INPROCESSING
1136.66/1139.85 c GARBAGE COLLECT
1136.66/1139.85 c #Conflicts: 421000 | #Constraints: 15815
1136.66/1139.85 c #Conflicts: 422000 | #Constraints: 16815
1136.66/1139.85 c #Conflicts: 423000 | #Constraints: 17815
1136.66/1139.85 c #Conflicts: 424000 | #Constraints: 18815
1136.66/1139.85 c #Conflicts: 425000 | #Constraints: 19815
1136.66/1139.85 c #Conflicts: 426000 | #Constraints: 20815
1136.66/1139.85 c #Conflicts: 427000 | #Constraints: 21815
1136.66/1139.85 c #Conflicts: 428000 | #Constraints: 22815
1136.66/1139.85 c #Conflicts: 429000 | #Constraints: 23815
1136.66/1139.85 c #Conflicts: 430000 | #Constraints: 24815
1136.66/1139.85 c #Conflicts: 431000 | #Constraints: 25815
1136.66/1139.85 c #Conflicts: 432000 | #Constraints: 26815
1136.66/1139.85 c #Conflicts: 433000 | #Constraints: 27815
1136.66/1139.85 c INPROCESSING
1136.66/1139.85 c GARBAGE COLLECT
1136.66/1139.85 c #Conflicts: 434000 | #Constraints: 15868
1136.66/1139.85 c #Conflicts: 435000 | #Constraints: 16868
1136.66/1139.85 c #Conflicts: 436000 | #Constraints: 17868
1136.66/1139.85 c #Conflicts: 437000 | #Constraints: 18868
1290.04/1293.66 c #Conflicts: 438000 | #Constraints: 19868
1290.04/1293.66 c #Conflicts: 439000 | #Constraints: 20868
1290.04/1293.66 c #Conflicts: 440000 | #Constraints: 21868
1290.04/1293.66 c #Conflicts: 441000 | #Constraints: 22868
1290.04/1293.66 c #Conflicts: 442000 | #Constraints: 23868
1290.04/1293.66 c #Conflicts: 443000 | #Constraints: 24868
1290.04/1293.66 c #Conflicts: 444000 | #Constraints: 25868
1290.04/1293.66 c #Conflicts: 445000 | #Constraints: 26868
1290.04/1293.66 c #Conflicts: 446000 | #Constraints: 27868
1290.04/1293.66 c INPROCESSING
1290.04/1293.66 c GARBAGE COLLECT
1290.04/1293.66 c #Conflicts: 447000 | #Constraints: 15668
1290.04/1293.66 c #Conflicts: 448000 | #Constraints: 16668
1290.04/1293.66 c #Conflicts: 449000 | #Constraints: 17668
1290.04/1293.66 c #Conflicts: 450000 | #Constraints: 18668
1290.04/1293.66 c #Conflicts: 451000 | #Constraints: 19668
1290.04/1293.66 c #Conflicts: 452000 | #Constraints: 20668
1290.04/1293.66 c #Conflicts: 453000 | #Constraints: 21668
1290.04/1293.66 c #Conflicts: 454000 | #Constraints: 22668
1290.04/1293.66 c #Conflicts: 455000 | #Constraints: 23668
1290.04/1293.66 c #Conflicts: 456000 | #Constraints: 24668
1290.04/1293.66 c #Conflicts: 457000 | #Constraints: 25668
1290.04/1293.66 c #Conflicts: 458000 | #Constraints: 26668
1290.04/1293.66 c #Conflicts: 459000 | #Constraints: 27668
1290.04/1293.66 c #Conflicts: 460000 | #Constraints: 28668
1290.04/1293.66 c INPROCESSING
1290.04/1293.66 c GARBAGE COLLECT
1290.04/1293.66 c #Conflicts: 461000 | #Constraints: 16270
1290.04/1293.66 c #Conflicts: 462000 | #Constraints: 17270
1290.04/1293.66 c #Conflicts: 463000 | #Constraints: 18270
1290.04/1293.66 c #Conflicts: 464000 | #Constraints: 19270
1290.04/1293.66 c #Conflicts: 465000 | #Constraints: 20270
1290.04/1293.66 c #Conflicts: 466000 | #Constraints: 21270
1290.04/1293.66 c #Conflicts: 467000 | #Constraints: 22270
1290.04/1293.66 c #Conflicts: 468000 | #Constraints: 23270
1290.04/1293.66 c #Conflicts: 469000 | #Constraints: 24270
1290.04/1293.66 c #Conflicts: 470000 | #Constraints: 25270
1290.04/1293.66 c #Conflicts: 471000 | #Constraints: 26270
1290.04/1293.66 c #Conflicts: 472000 | #Constraints: 27270
1290.04/1293.66 c #Conflicts: 473000 | #Constraints: 28270
1290.04/1293.66 c #Conflicts: 474000 | #Constraints: 29270
1290.04/1293.66 c INPROCESSING
1290.04/1293.66 c GARBAGE COLLECT
1290.04/1293.66 c #Conflicts: 475000 | #Constraints: 16652
1290.04/1293.66 c #Conflicts: 476000 | #Constraints: 17652
1290.04/1293.66 c #Conflicts: 477000 | #Constraints: 18652
1290.04/1293.66 c #Conflicts: 478000 | #Constraints: 19652
1290.04/1293.66 c #Conflicts: 479000 | #Constraints: 20652
1290.04/1293.66 c #Conflicts: 480000 | #Constraints: 21652
1290.04/1293.66 c #Conflicts: 481000 | #Constraints: 22652
1290.04/1293.66 c #Conflicts: 482000 | #Constraints: 23652
1290.04/1293.66 c #Conflicts: 483000 | #Constraints: 24652
1290.04/1293.66 c #Conflicts: 484000 | #Constraints: 25652
1290.04/1293.66 c #Conflicts: 485000 | #Constraints: 26652
1290.04/1293.66 c #Conflicts: 486000 | #Constraints: 27652
1290.04/1293.66 c #Conflicts: 487000 | #Constraints: 28652
1290.04/1293.66 c #Conflicts: 488000 | #Constraints: 29652
1290.04/1293.66 c INPROCESSING
1290.04/1293.66 c GARBAGE COLLECT
1290.04/1293.66 c #Conflicts: 489000 | #Constraints: 16856
1290.04/1293.66 c #Conflicts: 490000 | #Constraints: 17856
1290.04/1293.66 c #Conflicts: 491000 | #Constraints: 18856
1290.04/1293.66 c #Conflicts: 492000 | #Constraints: 19856
1290.04/1293.66 c #Conflicts: 493000 | #Constraints: 20856
1290.04/1293.66 c #Conflicts: 494000 | #Constraints: 21856
1290.04/1293.66 c #Conflicts: 495000 | #Constraints: 22856
1290.04/1293.66 c #Conflicts: 496000 | #Constraints: 23856
1290.04/1293.66 c #Conflicts: 497000 | #Constraints: 24856
1290.04/1293.66 c #Conflicts: 498000 | #Constraints: 25856
1290.04/1293.66 c #Conflicts: 499000 | #Constraints: 26856
1290.04/1293.66 c #Conflicts: 500000 | #Constraints: 27856
1290.04/1293.66 c #Conflicts: 501000 | #Constraints: 28856
1290.04/1293.66 c #Conflicts: 502000 | #Constraints: 29856
1290.04/1293.66 c INPROCESSING
1290.04/1293.66 c GARBAGE COLLECT
1290.04/1293.66 c #Conflicts: 503000 | #Constraints: 16885
1290.04/1293.66 c #Conflicts: 504000 | #Constraints: 17885
1290.04/1293.66 c #Conflicts: 505000 | #Constraints: 18885
1290.04/1293.66 c #Conflicts: 506000 | #Constraints: 19885
1290.04/1293.66 c #Conflicts: 507000 | #Constraints: 20885
1290.04/1293.66 c #Conflicts: 508000 | #Constraints: 21885
1290.04/1293.66 c #Conflicts: 509000 | #Constraints: 22885
1290.04/1293.66 c #Conflicts: 510000 | #Constraints: 23885
1290.04/1293.66 c #Conflicts: 511000 | #Constraints: 24885
1290.04/1293.66 c #Conflicts: 512000 | #Constraints: 25885
1290.04/1293.66 c #Conflicts: 513000 | #Constraints: 26885
1472.53/1476.64 c #Conflicts: 514000 | #Constraints: 27885
1472.53/1476.64 c #Conflicts: 515000 | #Constraints: 28885
1472.53/1476.64 c #Conflicts: 516000 | #Constraints: 29885
1472.53/1476.64 c INPROCESSING
1472.53/1476.64 c GARBAGE COLLECT
1472.53/1476.64 c #Conflicts: 517000 | #Constraints: 16623
1472.53/1476.64 c #Conflicts: 518000 | #Constraints: 17623
1472.53/1476.64 c #Conflicts: 519000 | #Constraints: 18623
1472.53/1476.64 c #Conflicts: 520000 | #Constraints: 19623
1472.53/1476.64 c #Conflicts: 521000 | #Constraints: 20623
1472.53/1476.64 c #Conflicts: 522000 | #Constraints: 21623
1472.53/1476.64 c #Conflicts: 523000 | #Constraints: 22623
1472.53/1476.64 c #Conflicts: 524000 | #Constraints: 23623
1472.53/1476.64 c #Conflicts: 525000 | #Constraints: 24623
1472.53/1476.64 c #Conflicts: 526000 | #Constraints: 25623
1472.53/1476.64 c #Conflicts: 527000 | #Constraints: 26623
1472.53/1476.64 c #Conflicts: 528000 | #Constraints: 27623
1472.53/1476.64 c #Conflicts: 529000 | #Constraints: 28623
1472.53/1476.64 c #Conflicts: 530000 | #Constraints: 29623
1472.53/1476.64 c #Conflicts: 531000 | #Constraints: 30623
1472.53/1476.64 c INPROCESSING
1472.53/1476.64 c GARBAGE COLLECT
1472.53/1476.64 c #Conflicts: 532000 | #Constraints: 17262
1472.53/1476.64 c #Conflicts: 533000 | #Constraints: 18262
1472.53/1476.64 c #Conflicts: 534000 | #Constraints: 19262
1472.53/1476.64 c #Conflicts: 535000 | #Constraints: 20262
1472.53/1476.64 c #Conflicts: 536000 | #Constraints: 21262
1472.53/1476.64 c #Conflicts: 537000 | #Constraints: 22262
1472.53/1476.64 c #Conflicts: 538000 | #Constraints: 23262
1472.53/1476.64 c #Conflicts: 539000 | #Constraints: 24262
1472.53/1476.64 c #Conflicts: 540000 | #Constraints: 25262
1472.53/1476.64 c #Conflicts: 541000 | #Constraints: 26262
1472.53/1476.64 c #Conflicts: 542000 | #Constraints: 27262
1472.53/1476.64 c #Conflicts: 543000 | #Constraints: 28262
1472.53/1476.64 c #Conflicts: 544000 | #Constraints: 29262
1472.53/1476.64 c #Conflicts: 545000 | #Constraints: 30262
1472.53/1476.64 c #Conflicts: 546000 | #Constraints: 31262
1472.53/1476.64 c INPROCESSING
1472.53/1476.64 c GARBAGE COLLECT
1472.53/1476.64 c #Conflicts: 547000 | #Constraints: 17704
1472.53/1476.64 c #Conflicts: 548000 | #Constraints: 18704
1472.53/1476.64 c #Conflicts: 549000 | #Constraints: 19704
1472.53/1476.64 c #Conflicts: 550000 | #Constraints: 20704
1472.53/1476.64 c #Conflicts: 551000 | #Constraints: 21704
1472.53/1476.64 c #Conflicts: 552000 | #Constraints: 22704
1472.53/1476.64 c #Conflicts: 553000 | #Constraints: 23704
1472.53/1476.64 c #Conflicts: 554000 | #Constraints: 24704
1472.53/1476.64 c #Conflicts: 555000 | #Constraints: 25704
1472.53/1476.64 c #Conflicts: 556000 | #Constraints: 26704
1472.53/1476.64 c #Conflicts: 557000 | #Constraints: 27704
1472.53/1476.64 c #Conflicts: 558000 | #Constraints: 28704
1472.53/1476.64 c #Conflicts: 559000 | #Constraints: 29704
1472.53/1476.64 c #Conflicts: 560000 | #Constraints: 30704
1472.53/1476.64 c #Conflicts: 561000 | #Constraints: 31704
1472.53/1476.64 c INPROCESSING
1472.53/1476.64 c GARBAGE COLLECT
1472.53/1476.64 c #Conflicts: 562000 | #Constraints: 17867
1472.53/1476.64 c #Conflicts: 563000 | #Constraints: 18867
1472.53/1476.64 c #Conflicts: 564000 | #Constraints: 19867
1472.53/1476.64 c #Conflicts: 565000 | #Constraints: 20867
1472.53/1476.64 c #Conflicts: 566000 | #Constraints: 21867
1472.53/1476.64 c #Conflicts: 567000 | #Constraints: 22867
1472.53/1476.64 c #Conflicts: 568000 | #Constraints: 23867
1472.53/1476.64 c #Conflicts: 569000 | #Constraints: 24867
1472.53/1476.64 c #Conflicts: 570000 | #Constraints: 25867
1472.53/1476.64 c #Conflicts: 571000 | #Constraints: 26867
1472.53/1476.64 c #Conflicts: 572000 | #Constraints: 27867
1472.53/1476.64 c #Conflicts: 573000 | #Constraints: 28867
1472.53/1476.64 c #Conflicts: 574000 | #Constraints: 29867
1472.53/1476.64 c #Conflicts: 575000 | #Constraints: 30867
1472.53/1476.64 c #Conflicts: 576000 | #Constraints: 31867
1472.53/1476.64 c INPROCESSING
1472.53/1476.64 c GARBAGE COLLECT
1472.53/1476.64 c #Conflicts: 577000 | #Constraints: 17844
1472.53/1476.64 c #Conflicts: 578000 | #Constraints: 18844
1472.53/1476.64 c #Conflicts: 579000 | #Constraints: 19844
1472.53/1476.64 c #Conflicts: 580000 | #Constraints: 20844
1472.53/1476.64 c #Conflicts: 581000 | #Constraints: 21844
1472.53/1476.64 c #Conflicts: 582000 | #Constraints: 22844
1472.53/1476.64 c #Conflicts: 583000 | #Constraints: 23844
1472.53/1476.64 c #Conflicts: 584000 | #Constraints: 24844
1472.53/1476.64 c #Conflicts: 585000 | #Constraints: 25844
1472.53/1476.64 c #Conflicts: 586000 | #Constraints: 26844
1472.53/1476.64 c #Conflicts: 587000 | #Constraints: 27844
1472.53/1476.64 c #Conflicts: 588000 | #Constraints: 28844
1701.80/1706.55 c #Conflicts: 589000 | #Constraints: 29844
1701.80/1706.55 c #Conflicts: 590000 | #Constraints: 30844
1701.80/1706.55 c #Conflicts: 591000 | #Constraints: 31844
1701.80/1706.55 c INPROCESSING
1701.80/1706.55 c GARBAGE COLLECT
1701.80/1706.55 c #Conflicts: 592000 | #Constraints: 17587
1701.80/1706.55 c #Conflicts: 593000 | #Constraints: 18587
1701.80/1706.55 c #Conflicts: 594000 | #Constraints: 19587
1701.80/1706.55 c #Conflicts: 595000 | #Constraints: 20587
1701.80/1706.55 c #Conflicts: 596000 | #Constraints: 21587
1701.80/1706.55 c #Conflicts: 597000 | #Constraints: 22587
1701.80/1706.55 c #Conflicts: 598000 | #Constraints: 23587
1701.80/1706.55 c #Conflicts: 599000 | #Constraints: 24587
1701.80/1706.55 c #Conflicts: 600000 | #Constraints: 25587
1701.80/1706.55 c #Conflicts: 601000 | #Constraints: 26587
1701.80/1706.55 c #Conflicts: 602000 | #Constraints: 27587
1701.80/1706.55 c #Conflicts: 603000 | #Constraints: 28587
1701.80/1706.55 c #Conflicts: 604000 | #Constraints: 29587
1701.80/1706.55 c #Conflicts: 605000 | #Constraints: 30587
1701.80/1706.55 c #Conflicts: 606000 | #Constraints: 31587
1701.80/1706.55 c #Conflicts: 607000 | #Constraints: 32587
1701.80/1706.55 c INPROCESSING
1701.80/1706.55 c GARBAGE COLLECT
1701.80/1706.55 c #Conflicts: 608000 | #Constraints: 18224
1701.80/1706.55 c #Conflicts: 609000 | #Constraints: 19224
1701.80/1706.55 c #Conflicts: 610000 | #Constraints: 20224
1701.80/1706.55 c #Conflicts: 611000 | #Constraints: 21224
1701.80/1706.55 c #Conflicts: 612000 | #Constraints: 22224
1701.80/1706.55 c #Conflicts: 613000 | #Constraints: 23224
1701.80/1706.55 c #Conflicts: 614000 | #Constraints: 24224
1701.80/1706.55 c #Conflicts: 615000 | #Constraints: 25224
1701.80/1706.55 c #Conflicts: 616000 | #Constraints: 26224
1701.80/1706.55 c #Conflicts: 617000 | #Constraints: 27224
1701.80/1706.55 c #Conflicts: 618000 | #Constraints: 28224
1701.80/1706.55 c #Conflicts: 619000 | #Constraints: 29224
1701.80/1706.55 c #Conflicts: 620000 | #Constraints: 30224
1701.80/1706.55 c #Conflicts: 621000 | #Constraints: 31224
1701.80/1706.55 c #Conflicts: 622000 | #Constraints: 32224
1701.80/1706.55 c #Conflicts: 623000 | #Constraints: 33224
1701.80/1706.55 c INPROCESSING
1701.80/1706.55 c GARBAGE COLLECT
1701.80/1706.55 c #Conflicts: 624000 | #Constraints: 18620
1701.80/1706.55 c #Conflicts: 625000 | #Constraints: 19620
1701.80/1706.55 c #Conflicts: 626000 | #Constraints: 20620
1701.80/1706.55 c #Conflicts: 627000 | #Constraints: 21620
1701.80/1706.55 c #Conflicts: 628000 | #Constraints: 22620
1701.80/1706.55 c #Conflicts: 629000 | #Constraints: 23620
1701.80/1706.55 c #Conflicts: 630000 | #Constraints: 24620
1701.80/1706.55 c #Conflicts: 631000 | #Constraints: 25620
1701.80/1706.55 c #Conflicts: 632000 | #Constraints: 26620
1701.80/1706.55 c #Conflicts: 633000 | #Constraints: 27620
1701.80/1706.55 c #Conflicts: 634000 | #Constraints: 28620
1701.80/1706.55 c #Conflicts: 635000 | #Constraints: 29620
1701.80/1706.55 c #Conflicts: 636000 | #Constraints: 30620
1701.80/1706.55 c #Conflicts: 637000 | #Constraints: 31620
1701.80/1706.55 c #Conflicts: 638000 | #Constraints: 32620
1701.80/1706.55 c #Conflicts: 639000 | #Constraints: 33620
1701.80/1706.55 c INPROCESSING
1701.80/1706.55 c GARBAGE COLLECT
1701.80/1706.55 c #Conflicts: 640000 | #Constraints: 18791
1701.80/1706.55 c #Conflicts: 641000 | #Constraints: 19791
1701.80/1706.55 c #Conflicts: 642000 | #Constraints: 20791
1701.80/1706.55 c #Conflicts: 643000 | #Constraints: 21791
1701.80/1706.55 c #Conflicts: 644000 | #Constraints: 22791
1701.80/1706.55 c #Conflicts: 645000 | #Constraints: 23791
1701.80/1706.55 c #Conflicts: 646000 | #Constraints: 24791
1701.80/1706.55 c #Conflicts: 647000 | #Constraints: 25791
1701.80/1706.55 c #Conflicts: 648000 | #Constraints: 26791
1701.80/1706.55 c #Conflicts: 649000 | #Constraints: 27791
1701.80/1706.55 c #Conflicts: 650000 | #Constraints: 28791
1701.80/1706.55 c #Conflicts: 651000 | #Constraints: 29791
1701.80/1706.55 c #Conflicts: 652000 | #Constraints: 30791
1701.80/1706.55 c #Conflicts: 653000 | #Constraints: 31791
1701.80/1706.55 c #Conflicts: 654000 | #Constraints: 32791
1701.80/1706.55 c #Conflicts: 655000 | #Constraints: 33791
1701.80/1706.55 c INPROCESSING
1701.80/1706.55 c GARBAGE COLLECT
1701.80/1706.55 c #Conflicts: 656000 | #Constraints: 18832
1701.80/1706.55 c #Conflicts: 657000 | #Constraints: 19832
1701.80/1706.55 c #Conflicts: 658000 | #Constraints: 20832
1701.80/1706.55 c #Conflicts: 659000 | #Constraints: 21832
1701.80/1706.55 c #Conflicts: 660000 | #Constraints: 22832
1701.80/1706.55 c #Conflicts: 661000 | #Constraints: 23832
1701.80/1706.55 c #Conflicts: 662000 | #Constraints: 24832
1701.80/1706.55 c #Conflicts: 663000 | #Constraints: 25832
1701.80/1706.55 c #Conflicts: 664000 | #Constraints: 26832
1966.08/1971.50 c #Conflicts: 665000 | #Constraints: 27832
1966.08/1971.50 c #Conflicts: 666000 | #Constraints: 28832
1966.08/1971.50 c #Conflicts: 667000 | #Constraints: 29832
1966.08/1971.50 c #Conflicts: 668000 | #Constraints: 30832
1966.08/1971.50 c #Conflicts: 669000 | #Constraints: 31832
1966.08/1971.50 c #Conflicts: 670000 | #Constraints: 32832
1966.08/1971.50 c #Conflicts: 671000 | #Constraints: 33832
1966.08/1971.50 c INPROCESSING
1966.08/1971.50 c GARBAGE COLLECT
1966.08/1971.50 c #Conflicts: 672000 | #Constraints: 18620
1966.08/1971.50 c #Conflicts: 673000 | #Constraints: 19620
1966.08/1971.50 c #Conflicts: 674000 | #Constraints: 20620
1966.08/1971.50 c #Conflicts: 675000 | #Constraints: 21620
1966.08/1971.50 c #Conflicts: 676000 | #Constraints: 22620
1966.08/1971.50 c #Conflicts: 677000 | #Constraints: 23620
1966.08/1971.50 c #Conflicts: 678000 | #Constraints: 24620
1966.08/1971.50 c #Conflicts: 679000 | #Constraints: 25620
1966.08/1971.50 c #Conflicts: 680000 | #Constraints: 26620
1966.08/1971.50 c #Conflicts: 681000 | #Constraints: 27620
1966.08/1971.50 c #Conflicts: 682000 | #Constraints: 28620
1966.08/1971.50 c #Conflicts: 683000 | #Constraints: 29620
1966.08/1971.50 c #Conflicts: 684000 | #Constraints: 30620
1966.08/1971.50 c #Conflicts: 685000 | #Constraints: 31620
1966.08/1971.50 c #Conflicts: 686000 | #Constraints: 32620
1966.08/1971.50 c #Conflicts: 687000 | #Constraints: 33620
1966.08/1971.50 c #Conflicts: 688000 | #Constraints: 34620
1966.08/1971.50 c INPROCESSING
1966.08/1971.50 c GARBAGE COLLECT
1966.08/1971.50 c #Conflicts: 689000 | #Constraints: 19122
1966.08/1971.50 c #Conflicts: 690000 | #Constraints: 20122
1966.08/1971.50 c #Conflicts: 691000 | #Constraints: 21122
1966.08/1971.50 c #Conflicts: 692000 | #Constraints: 22122
1966.08/1971.50 c #Conflicts: 693000 | #Constraints: 23122
1966.08/1971.50 c #Conflicts: 694000 | #Constraints: 24122
1966.08/1971.50 c #Conflicts: 695000 | #Constraints: 25122
1966.08/1971.50 c #Conflicts: 696000 | #Constraints: 26122
1966.08/1971.50 c #Conflicts: 697000 | #Constraints: 27122
1966.08/1971.50 c #Conflicts: 698000 | #Constraints: 28122
1966.08/1971.50 c #Conflicts: 699000 | #Constraints: 29122
1966.08/1971.50 c #Conflicts: 700000 | #Constraints: 30122
1966.08/1971.50 c #Conflicts: 701000 | #Constraints: 31122
1966.08/1971.50 c #Conflicts: 702000 | #Constraints: 32122
1966.08/1971.50 c #Conflicts: 703000 | #Constraints: 33122
1966.08/1971.50 c #Conflicts: 704000 | #Constraints: 34122
1966.08/1971.50 c #Conflicts: 705000 | #Constraints: 35122
1966.08/1971.50 c INPROCESSING
1966.08/1971.50 c GARBAGE COLLECT
1966.08/1971.50 c #Conflicts: 706000 | #Constraints: 19577
1966.08/1971.50 c #Conflicts: 707000 | #Constraints: 20577
1966.08/1971.50 c #Conflicts: 708000 | #Constraints: 21577
1966.08/1971.50 c #Conflicts: 709000 | #Constraints: 22577
1966.08/1971.50 c #Conflicts: 710000 | #Constraints: 23577
1966.08/1971.50 c #Conflicts: 711000 | #Constraints: 24577
1966.08/1971.50 c #Conflicts: 712000 | #Constraints: 25577
1966.08/1971.50 c #Conflicts: 713000 | #Constraints: 26577
1966.08/1971.50 c #Conflicts: 714000 | #Constraints: 27577
1966.08/1971.50 c #Conflicts: 715000 | #Constraints: 28577
1966.08/1971.50 c #Conflicts: 716000 | #Constraints: 29577
1966.08/1971.50 c #Conflicts: 717000 | #Constraints: 30577
1966.08/1971.50 c #Conflicts: 718000 | #Constraints: 31577
1966.08/1971.50 c #Conflicts: 719000 | #Constraints: 32577
1966.08/1971.50 c #Conflicts: 720000 | #Constraints: 33577
1966.08/1971.50 c #Conflicts: 721000 | #Constraints: 34577
1966.08/1971.50 c #Conflicts: 722000 | #Constraints: 35577
1966.08/1971.50 c INPROCESSING
1966.08/1971.50 c GARBAGE COLLECT
1966.08/1971.50 c #Conflicts: 723000 | #Constraints: 19828
1966.08/1971.50 c #Conflicts: 724000 | #Constraints: 20828
1966.08/1971.50 c #Conflicts: 725000 | #Constraints: 21828
1966.08/1971.50 c #Conflicts: 726000 | #Constraints: 22828
1966.08/1971.50 c #Conflicts: 727000 | #Constraints: 23828
1966.08/1971.50 c #Conflicts: 728000 | #Constraints: 24828
1966.08/1971.50 c #Conflicts: 729000 | #Constraints: 25828
1966.08/1971.50 c #Conflicts: 730000 | #Constraints: 26828
1966.08/1971.50 c #Conflicts: 731000 | #Constraints: 27828
1966.08/1971.50 c #Conflicts: 732000 | #Constraints: 28828
1966.08/1971.50 c #Conflicts: 733000 | #Constraints: 29828
1966.08/1971.50 c #Conflicts: 734000 | #Constraints: 30828
1966.08/1971.50 c #Conflicts: 735000 | #Constraints: 31828
1966.08/1971.50 c #Conflicts: 736000 | #Constraints: 32828
1966.08/1971.50 c #Conflicts: 737000 | #Constraints: 33828
1966.08/1971.50 c #Conflicts: 738000 | #Constraints: 34828
1966.08/1971.50 c #Conflicts: 739000 | #Constraints: 35828
1966.08/1971.50 c INPROCESSING
1966.08/1971.50 c GARBAGE COLLECT
2168.72/2174.75 c #Conflicts: 740000 | #Constraints: 19815
2168.72/2174.75 c #Conflicts: 741000 | #Constraints: 20815
2168.72/2174.75 c #Conflicts: 742000 | #Constraints: 21815
2168.72/2174.75 c #Conflicts: 743000 | #Constraints: 22815
2168.72/2174.75 c #Conflicts: 744000 | #Constraints: 23815
2168.72/2174.75 c #Conflicts: 745000 | #Constraints: 24815
2168.72/2174.75 c #Conflicts: 746000 | #Constraints: 25815
2168.72/2174.75 c #Conflicts: 747000 | #Constraints: 26815
2168.72/2174.75 c #Conflicts: 748000 | #Constraints: 27815
2168.72/2174.75 c #Conflicts: 749000 | #Constraints: 28815
2168.72/2174.75 c #Conflicts: 750000 | #Constraints: 29815
2168.72/2174.75 c #Conflicts: 751000 | #Constraints: 30815
2168.72/2174.75 c #Conflicts: 752000 | #Constraints: 31815
2168.72/2174.75 c #Conflicts: 753000 | #Constraints: 32815
2168.72/2174.75 c #Conflicts: 754000 | #Constraints: 33815
2168.72/2174.75 c #Conflicts: 755000 | #Constraints: 34815
2168.72/2174.75 c #Conflicts: 756000 | #Constraints: 35815
2168.72/2174.75 c INPROCESSING
2168.72/2174.75 c GARBAGE COLLECT
2168.72/2174.75 c #Conflicts: 757000 | #Constraints: 19652
2168.72/2174.75 c #Conflicts: 758000 | #Constraints: 20652
2168.72/2174.75 c #Conflicts: 759000 | #Constraints: 21652
2168.72/2174.75 c #Conflicts: 760000 | #Constraints: 22652
2168.72/2174.75 c #Conflicts: 761000 | #Constraints: 23652
2168.72/2174.75 c #Conflicts: 762000 | #Constraints: 24652
2168.72/2174.75 c #Conflicts: 763000 | #Constraints: 25652
2168.72/2174.75 c #Conflicts: 764000 | #Constraints: 26652
2168.72/2174.75 c #Conflicts: 765000 | #Constraints: 27652
2168.72/2174.75 c #Conflicts: 766000 | #Constraints: 28652
2168.72/2174.75 c #Conflicts: 767000 | #Constraints: 29652
2168.72/2174.75 c #Conflicts: 768000 | #Constraints: 30652
2168.72/2174.75 c #Conflicts: 769000 | #Constraints: 31652
2168.72/2174.75 c #Conflicts: 770000 | #Constraints: 32652
2168.72/2174.75 c #Conflicts: 771000 | #Constraints: 33652
2168.72/2174.75 c #Conflicts: 772000 | #Constraints: 34652
2168.72/2174.75 c #Conflicts: 773000 | #Constraints: 35652
2168.72/2174.75 c #Conflicts: 774000 | #Constraints: 36652
2168.72/2174.75 c INPROCESSING
2168.72/2174.75 c GARBAGE COLLECT
2168.72/2174.75 c #Conflicts: 775000 | #Constraints: 20262
2168.72/2174.75 c #Conflicts: 776000 | #Constraints: 21262
2168.72/2174.75 c #Conflicts: 777000 | #Constraints: 22262
2168.72/2174.75 c #Conflicts: 778000 | #Constraints: 23262
2168.72/2174.75 c #Conflicts: 779000 | #Constraints: 24262
2168.72/2174.75 c #Conflicts: 780000 | #Constraints: 25262
2168.72/2174.75 c #Conflicts: 781000 | #Constraints: 26262
2168.72/2174.75 c #Conflicts: 782000 | #Constraints: 27262
2168.72/2174.75 c #Conflicts: 783000 | #Constraints: 28262
2168.72/2174.75 c #Conflicts: 784000 | #Constraints: 29262
2168.72/2174.75 c #Conflicts: 785000 | #Constraints: 30262
2168.72/2174.75 c #Conflicts: 786000 | #Constraints: 31262
2168.72/2174.75 c #Conflicts: 787000 | #Constraints: 32262
2168.72/2174.75 c #Conflicts: 788000 | #Constraints: 33262
2168.72/2174.75 c #Conflicts: 789000 | #Constraints: 34262
2168.72/2174.75 c #Conflicts: 790000 | #Constraints: 35262
2168.72/2174.75 c #Conflicts: 791000 | #Constraints: 36262
2168.72/2174.75 c #Conflicts: 792000 | #Constraints: 37262
2168.72/2174.75 c INPROCESSING
2168.72/2174.75 c GARBAGE COLLECT
2168.72/2174.75 c #Conflicts: 793000 | #Constraints: 20689
2168.72/2174.75 c #Conflicts: 794000 | #Constraints: 21689
2168.72/2174.75 c #Conflicts: 795000 | #Constraints: 22689
2168.72/2174.75 c #Conflicts: 796000 | #Constraints: 23689
2168.72/2174.75 c #Conflicts: 797000 | #Constraints: 24689
2168.72/2174.75 c #Conflicts: 798000 | #Constraints: 25689
2168.72/2174.75 c #Conflicts: 799000 | #Constraints: 26689
2168.72/2174.75 c #Conflicts: 800000 | #Constraints: 27689
2168.72/2174.75 c #Conflicts: 801000 | #Constraints: 28689
2168.72/2174.75 c #Conflicts: 802000 | #Constraints: 29689
2168.72/2174.75 c #Conflicts: 803000 | #Constraints: 30689
2168.72/2174.75 c #Conflicts: 804000 | #Constraints: 31689
2168.72/2174.75 c #Conflicts: 805000 | #Constraints: 32689
2168.72/2174.75 c #Conflicts: 806000 | #Constraints: 33689
2168.72/2174.75 c #Conflicts: 807000 | #Constraints: 34689
2168.72/2174.75 c #Conflicts: 808000 | #Constraints: 35689
2168.72/2174.75 c #Conflicts: 809000 | #Constraints: 36689
2168.72/2174.75 c #Conflicts: 810000 | #Constraints: 37689
2168.72/2174.75 c INPROCESSING
2168.72/2174.75 c GARBAGE COLLECT
2168.72/2174.75 c #Conflicts: 811000 | #Constraints: 20942
2168.72/2174.75 c #Conflicts: 812000 | #Constraints: 21942
2168.72/2174.75 c #Conflicts: 813000 | #Constraints: 22942
2168.72/2174.75 c #Conflicts: 814000 | #Constraints: 23942
2168.72/2174.75 c #Conflicts: 815000 | #Constraints: 24942
2168.72/2174.75 c #Conflicts: 816000 | #Constraints: 25942
2430.00/2436.78 c #Conflicts: 817000 | #Constraints: 26942
2430.00/2436.78 c #Conflicts: 818000 | #Constraints: 27942
2430.00/2436.78 c #Conflicts: 819000 | #Constraints: 28942
2430.00/2436.78 c #Conflicts: 820000 | #Constraints: 29942
2430.00/2436.78 c #Conflicts: 821000 | #Constraints: 30942
2430.00/2436.78 c #Conflicts: 822000 | #Constraints: 31942
2430.00/2436.78 c #Conflicts: 823000 | #Constraints: 32942
2430.00/2436.78 c #Conflicts: 824000 | #Constraints: 33942
2430.00/2436.78 c #Conflicts: 825000 | #Constraints: 34942
2430.00/2436.78 c #Conflicts: 826000 | #Constraints: 35942
2430.00/2436.78 c #Conflicts: 827000 | #Constraints: 36942
2430.00/2436.78 c #Conflicts: 828000 | #Constraints: 37942
2430.00/2436.78 c INPROCESSING
2430.00/2436.78 c GARBAGE COLLECT
2430.00/2436.78 c #Conflicts: 829000 | #Constraints: 20815
2430.00/2436.78 c #Conflicts: 830000 | #Constraints: 21815
2430.00/2436.78 c #Conflicts: 831000 | #Constraints: 22815
2430.00/2436.78 c #Conflicts: 832000 | #Constraints: 23815
2430.00/2436.78 c #Conflicts: 833000 | #Constraints: 24815
2430.00/2436.78 c #Conflicts: 834000 | #Constraints: 25815
2430.00/2436.78 c #Conflicts: 835000 | #Constraints: 26815
2430.00/2436.78 c #Conflicts: 836000 | #Constraints: 27815
2430.00/2436.78 c #Conflicts: 837000 | #Constraints: 28815
2430.00/2436.78 c #Conflicts: 838000 | #Constraints: 29815
2430.00/2436.78 c #Conflicts: 839000 | #Constraints: 30815
2430.00/2436.78 c #Conflicts: 840000 | #Constraints: 31815
2430.00/2436.78 c #Conflicts: 841000 | #Constraints: 32815
2430.00/2436.78 c #Conflicts: 842000 | #Constraints: 33815
2430.00/2436.78 c #Conflicts: 843000 | #Constraints: 34815
2430.00/2436.78 c #Conflicts: 844000 | #Constraints: 35815
2430.00/2436.78 c #Conflicts: 845000 | #Constraints: 36815
2430.00/2436.78 c #Conflicts: 846000 | #Constraints: 37815
2430.00/2436.78 c INPROCESSING
2430.00/2436.78 c GARBAGE COLLECT
2430.00/2436.78 c #Conflicts: 847000 | #Constraints: 20615
2430.00/2436.78 c #Conflicts: 848000 | #Constraints: 21615
2430.00/2436.78 c #Conflicts: 849000 | #Constraints: 22615
2430.00/2436.78 c #Conflicts: 850000 | #Constraints: 23615
2430.00/2436.78 c #Conflicts: 851000 | #Constraints: 24615
2430.00/2436.78 c #Conflicts: 852000 | #Constraints: 25615
2430.00/2436.78 c #Conflicts: 853000 | #Constraints: 26615
2430.00/2436.78 c #Conflicts: 854000 | #Constraints: 27615
2430.00/2436.78 c #Conflicts: 855000 | #Constraints: 28615
2430.00/2436.78 c #Conflicts: 856000 | #Constraints: 29615
2430.00/2436.78 c #Conflicts: 857000 | #Constraints: 30615
2430.00/2436.78 c #Conflicts: 858000 | #Constraints: 31615
2430.00/2436.78 c #Conflicts: 859000 | #Constraints: 32615
2430.00/2436.78 c #Conflicts: 860000 | #Constraints: 33615
2430.00/2436.78 c #Conflicts: 861000 | #Constraints: 34615
2430.00/2436.78 c #Conflicts: 862000 | #Constraints: 35615
2430.00/2436.78 c #Conflicts: 863000 | #Constraints: 36615
2430.00/2436.78 c #Conflicts: 864000 | #Constraints: 37615
2430.00/2436.78 c #Conflicts: 865000 | #Constraints: 38615
2430.00/2436.78 c INPROCESSING
2430.00/2436.78 c GARBAGE COLLECT
2430.00/2436.78 c #Conflicts: 866000 | #Constraints: 21193
2430.00/2436.78 c #Conflicts: 867000 | #Constraints: 22193
2430.00/2436.78 c #Conflicts: 868000 | #Constraints: 23193
2430.00/2436.78 c #Conflicts: 869000 | #Constraints: 24193
2430.00/2436.78 c #Conflicts: 870000 | #Constraints: 25193
2430.00/2436.78 c #Conflicts: 871000 | #Constraints: 26193
2430.00/2436.78 c #Conflicts: 872000 | #Constraints: 27193
2430.00/2436.78 c #Conflicts: 873000 | #Constraints: 28193
2430.00/2436.78 c #Conflicts: 874000 | #Constraints: 29193
2430.00/2436.78 c #Conflicts: 875000 | #Constraints: 30193
2430.00/2436.78 c #Conflicts: 876000 | #Constraints: 31193
2430.00/2436.78 c #Conflicts: 877000 | #Constraints: 32193
2430.00/2436.78 c #Conflicts: 878000 | #Constraints: 33193
2430.00/2436.78 c #Conflicts: 879000 | #Constraints: 34193
2430.00/2436.78 c #Conflicts: 880000 | #Constraints: 35193
2430.00/2436.78 c #Conflicts: 881000 | #Constraints: 36193
2430.00/2436.78 c #Conflicts: 882000 | #Constraints: 37193
2430.00/2436.78 c #Conflicts: 883000 | #Constraints: 38193
2430.00/2436.78 c #Conflicts: 884000 | #Constraints: 39193
2430.00/2436.78 c INPROCESSING
2430.00/2436.78 c GARBAGE COLLECT
2430.00/2436.78 c #Conflicts: 885000 | #Constraints: 21693
2430.00/2436.78 c #Conflicts: 886000 | #Constraints: 22693
2430.00/2436.78 c #Conflicts: 887000 | #Constraints: 23693
2430.00/2436.78 c #Conflicts: 888000 | #Constraints: 24693
2430.00/2436.78 c #Conflicts: 889000 | #Constraints: 25693
2430.00/2436.78 c #Conflicts: 890000 | #Constraints: 26693
2430.00/2436.78 c #Conflicts: 891000 | #Constraints: 27693
2430.00/2436.78 c #Conflicts: 892000 | #Constraints: 28693
2660.16/2667.54 c #Conflicts: 893000 | #Constraints: 29693
2660.16/2667.54 c #Conflicts: 894000 | #Constraints: 30693
2660.16/2667.54 c #Conflicts: 895000 | #Constraints: 31693
2660.16/2667.54 c #Conflicts: 896000 | #Constraints: 32693
2660.16/2667.54 c #Conflicts: 897000 | #Constraints: 33693
2660.16/2667.54 c #Conflicts: 898000 | #Constraints: 34693
2660.16/2667.54 c #Conflicts: 899000 | #Constraints: 35693
2660.16/2667.54 c #Conflicts: 900000 | #Constraints: 36693
2660.16/2667.54 c #Conflicts: 901000 | #Constraints: 37693
2660.16/2667.54 c #Conflicts: 902000 | #Constraints: 38693
2660.16/2667.54 c #Conflicts: 903000 | #Constraints: 39693
2660.16/2667.54 c INPROCESSING
2660.16/2667.54 c GARBAGE COLLECT
2660.16/2667.54 c #Conflicts: 904000 | #Constraints: 21876
2660.16/2667.54 c #Conflicts: 905000 | #Constraints: 22876
2660.16/2667.54 c #Conflicts: 906000 | #Constraints: 23876
2660.16/2667.54 c #Conflicts: 907000 | #Constraints: 24876
2660.16/2667.54 c #Conflicts: 908000 | #Constraints: 25876
2660.16/2667.54 c #Conflicts: 909000 | #Constraints: 26876
2660.16/2667.54 c #Conflicts: 910000 | #Constraints: 27876
2660.16/2667.54 c #Conflicts: 911000 | #Constraints: 28876
2660.16/2667.54 c #Conflicts: 912000 | #Constraints: 29876
2660.16/2667.54 c #Conflicts: 913000 | #Constraints: 30876
2660.16/2667.54 c #Conflicts: 914000 | #Constraints: 31876
2660.16/2667.54 c #Conflicts: 915000 | #Constraints: 32876
2660.16/2667.54 c #Conflicts: 916000 | #Constraints: 33876
2660.16/2667.54 c #Conflicts: 917000 | #Constraints: 34876
2660.16/2667.54 c #Conflicts: 918000 | #Constraints: 35876
2660.16/2667.54 c #Conflicts: 919000 | #Constraints: 36876
2660.16/2667.54 c #Conflicts: 920000 | #Constraints: 37876
2660.16/2667.54 c #Conflicts: 921000 | #Constraints: 38876
2660.16/2667.54 c #Conflicts: 922000 | #Constraints: 39876
2660.16/2667.54 c INPROCESSING
2660.16/2667.54 c GARBAGE COLLECT
2660.16/2667.54 c #Conflicts: 923000 | #Constraints: 21910
2660.16/2667.54 c #Conflicts: 924000 | #Constraints: 22910
2660.16/2667.54 c #Conflicts: 925000 | #Constraints: 23910
2660.16/2667.54 c #Conflicts: 926000 | #Constraints: 24910
2660.16/2667.54 c #Conflicts: 927000 | #Constraints: 25910
2660.16/2667.54 c #Conflicts: 928000 | #Constraints: 26910
2660.16/2667.54 c #Conflicts: 929000 | #Constraints: 27910
2660.16/2667.54 c #Conflicts: 930000 | #Constraints: 28910
2660.16/2667.54 c #Conflicts: 931000 | #Constraints: 29910
2660.16/2667.54 c #Conflicts: 932000 | #Constraints: 30910
2660.16/2667.54 c #Conflicts: 933000 | #Constraints: 31910
2660.16/2667.54 c #Conflicts: 934000 | #Constraints: 32910
2660.16/2667.54 c #Conflicts: 935000 | #Constraints: 33910
2660.16/2667.54 c #Conflicts: 936000 | #Constraints: 34910
2660.16/2667.54 c #Conflicts: 937000 | #Constraints: 35910
2660.16/2667.54 c #Conflicts: 938000 | #Constraints: 36910
2660.16/2667.54 c #Conflicts: 939000 | #Constraints: 37910
2660.16/2667.54 c #Conflicts: 940000 | #Constraints: 38910
2660.16/2667.54 c #Conflicts: 941000 | #Constraints: 39910
2660.16/2667.54 c INPROCESSING
2660.16/2667.54 c GARBAGE COLLECT
2660.16/2667.54 c #Conflicts: 942000 | #Constraints: 21629
2660.16/2667.54 c #Conflicts: 943000 | #Constraints: 22629
2660.16/2667.54 c #Conflicts: 944000 | #Constraints: 23629
2660.16/2667.54 c #Conflicts: 945000 | #Constraints: 24629
2660.16/2667.54 c #Conflicts: 946000 | #Constraints: 25629
2660.16/2667.54 c #Conflicts: 947000 | #Constraints: 26629
2660.16/2667.54 c #Conflicts: 948000 | #Constraints: 27629
2660.16/2667.54 c #Conflicts: 949000 | #Constraints: 28629
2660.16/2667.54 c #Conflicts: 950000 | #Constraints: 29629
2660.16/2667.54 c #Conflicts: 951000 | #Constraints: 30629
2660.16/2667.54 c #Conflicts: 952000 | #Constraints: 31629
2660.16/2667.54 c #Conflicts: 953000 | #Constraints: 32629
2660.16/2667.54 c #Conflicts: 954000 | #Constraints: 33629
2660.16/2667.54 c #Conflicts: 955000 | #Constraints: 34629
2660.16/2667.54 c #Conflicts: 956000 | #Constraints: 35629
2660.16/2667.54 c #Conflicts: 957000 | #Constraints: 36629
2660.16/2667.54 c #Conflicts: 958000 | #Constraints: 37629
2660.16/2667.54 c #Conflicts: 959000 | #Constraints: 38629
2660.16/2667.54 c #Conflicts: 960000 | #Constraints: 39629
2660.16/2667.54 c #Conflicts: 961000 | #Constraints: 40629
2660.16/2667.54 c INPROCESSING
2660.16/2667.54 c GARBAGE COLLECT
2660.16/2667.54 c #Conflicts: 962000 | #Constraints: 22296
2660.16/2667.54 c #Conflicts: 963000 | #Constraints: 23296
2660.16/2667.54 c #Conflicts: 964000 | #Constraints: 24296
2660.16/2667.54 c #Conflicts: 965000 | #Constraints: 25296
2660.16/2667.54 c #Conflicts: 966000 | #Constraints: 26296
2660.16/2667.54 c #Conflicts: 967000 | #Constraints: 27296
2660.16/2667.54 c #Conflicts: 968000 | #Constraints: 28296
2873.46/2881.40 c #Conflicts: 969000 | #Constraints: 29296
2873.46/2881.40 c #Conflicts: 970000 | #Constraints: 30296
2873.46/2881.40 c #Conflicts: 971000 | #Constraints: 31296
2873.46/2881.40 c #Conflicts: 972000 | #Constraints: 32296
2873.46/2881.40 c #Conflicts: 973000 | #Constraints: 33296
2873.46/2881.40 c #Conflicts: 974000 | #Constraints: 34296
2873.46/2881.40 c #Conflicts: 975000 | #Constraints: 35296
2873.46/2881.40 c #Conflicts: 976000 | #Constraints: 36296
2873.46/2881.40 c #Conflicts: 977000 | #Constraints: 37296
2873.46/2881.40 c #Conflicts: 978000 | #Constraints: 38296
2873.46/2881.40 c #Conflicts: 979000 | #Constraints: 39296
2873.46/2881.40 c #Conflicts: 980000 | #Constraints: 40296
2873.46/2881.40 c #Conflicts: 981000 | #Constraints: 41296
2873.46/2881.40 c INPROCESSING
2873.46/2881.40 c GARBAGE COLLECT
2873.46/2881.40 c #Conflicts: 982000 | #Constraints: 22725
2873.46/2881.40 c #Conflicts: 983000 | #Constraints: 23725
2873.46/2881.40 c #Conflicts: 984000 | #Constraints: 24725
2873.46/2881.40 c #Conflicts: 985000 | #Constraints: 25725
2873.46/2881.40 c #Conflicts: 986000 | #Constraints: 26725
2873.46/2881.40 c #Conflicts: 987000 | #Constraints: 27725
2873.46/2881.40 c #Conflicts: 988000 | #Constraints: 28725
2873.46/2881.40 c #Conflicts: 989000 | #Constraints: 29725
2873.46/2881.40 c #Conflicts: 990000 | #Constraints: 30725
2873.46/2881.40 c #Conflicts: 991000 | #Constraints: 31725
2873.46/2881.40 c #Conflicts: 992000 | #Constraints: 32725
2873.46/2881.40 c #Conflicts: 993000 | #Constraints: 33725
2873.46/2881.40 c #Conflicts: 994000 | #Constraints: 34725
2873.46/2881.40 c #Conflicts: 995000 | #Constraints: 35725
2873.46/2881.40 c #Conflicts: 996000 | #Constraints: 36725
2873.46/2881.40 c #Conflicts: 997000 | #Constraints: 37725
2873.46/2881.40 c #Conflicts: 998000 | #Constraints: 38725
2873.46/2881.40 c #Conflicts: 999000 | #Constraints: 39725
2873.46/2881.40 c #Conflicts: 1000000 | #Constraints: 40725
2873.46/2881.40 c #Conflicts: 1001000 | #Constraints: 41725
2873.46/2881.40 c INPROCESSING
2873.46/2881.40 c GARBAGE COLLECT
2873.46/2881.40 c #Conflicts: 1002000 | #Constraints: 22908
2873.46/2881.40 c #Conflicts: 1003000 | #Constraints: 23908
2873.46/2881.40 c #Conflicts: 1004000 | #Constraints: 24908
2873.46/2881.40 c #Conflicts: 1005000 | #Constraints: 25908
2873.46/2881.40 c #Conflicts: 1006000 | #Constraints: 26908
2873.46/2881.40 c #Conflicts: 1007000 | #Constraints: 27908
2873.46/2881.40 c #Conflicts: 1008000 | #Constraints: 28908
2873.46/2881.40 c #Conflicts: 1009000 | #Constraints: 29908
2873.46/2881.40 c #Conflicts: 1010000 | #Constraints: 30908
2873.46/2881.40 c #Conflicts: 1011000 | #Constraints: 31908
2873.46/2881.40 c #Conflicts: 1012000 | #Constraints: 32908
2873.46/2881.40 c #Conflicts: 1013000 | #Constraints: 33908
2873.46/2881.40 c #Conflicts: 1014000 | #Constraints: 34908
2873.46/2881.40 c #Conflicts: 1015000 | #Constraints: 35908
2873.46/2881.40 c #Conflicts: 1016000 | #Constraints: 36908
2873.46/2881.40 c #Conflicts: 1017000 | #Constraints: 37908
2873.46/2881.40 c #Conflicts: 1018000 | #Constraints: 38908
2873.46/2881.40 c #Conflicts: 1019000 | #Constraints: 39908
2873.46/2881.40 c #Conflicts: 1020000 | #Constraints: 40908
2873.46/2881.40 c #Conflicts: 1021000 | #Constraints: 41908
2873.46/2881.40 c INPROCESSING
2873.46/2881.40 c GARBAGE COLLECT
2873.46/2881.40 c #Conflicts: 1022000 | #Constraints: 22934
2873.46/2881.40 c #Conflicts: 1023000 | #Constraints: 23934
2873.46/2881.40 c #Conflicts: 1024000 | #Constraints: 24934
2873.46/2881.40 c #Conflicts: 1025000 | #Constraints: 25934
2873.46/2881.40 c #Conflicts: 1026000 | #Constraints: 26934
2873.46/2881.40 c #Conflicts: 1027000 | #Constraints: 27934
2873.46/2881.40 c #Conflicts: 1028000 | #Constraints: 28934
2873.46/2881.40 c #Conflicts: 1029000 | #Constraints: 29934
2873.46/2881.40 c #Conflicts: 1030000 | #Constraints: 30934
2873.46/2881.40 c #Conflicts: 1031000 | #Constraints: 31934
2873.46/2881.40 c #Conflicts: 1032000 | #Constraints: 32934
2873.46/2881.40 c #Conflicts: 1033000 | #Constraints: 33934
2873.46/2881.40 c #Conflicts: 1034000 | #Constraints: 34934
2873.46/2881.40 c #Conflicts: 1035000 | #Constraints: 35934
2873.46/2881.40 c #Conflicts: 1036000 | #Constraints: 36934
2873.46/2881.40 c #Conflicts: 1037000 | #Constraints: 37934
2873.46/2881.40 c #Conflicts: 1038000 | #Constraints: 38934
2873.46/2881.40 c #Conflicts: 1039000 | #Constraints: 39934
2873.46/2881.40 c #Conflicts: 1040000 | #Constraints: 40934
2873.46/2881.40 c #Conflicts: 1041000 | #Constraints: 41934
2873.46/2881.40 c INPROCESSING
2873.46/2881.40 c GARBAGE COLLECT
2873.46/2881.40 c #Conflicts: 1042000 | #Constraints: 22723
2873.46/2881.40 c #Conflicts: 1043000 | #Constraints: 23723
2873.46/2881.40 c #Conflicts: 1044000 | #Constraints: 24723
3031.12/3039.57 c #Conflicts: 1045000 | #Constraints: 25723
3031.12/3039.57 c #Conflicts: 1046000 | #Constraints: 26723
3031.12/3039.57 c #Conflicts: 1047000 | #Constraints: 27723
3031.12/3039.57 c #Conflicts: 1048000 | #Constraints: 28723
3031.12/3039.57 c #Conflicts: 1049000 | #Constraints: 29723
3031.12/3039.57 c #Conflicts: 1050000 | #Constraints: 30723
3031.12/3039.57 c #Conflicts: 1051000 | #Constraints: 31723
3031.12/3039.57 c #Conflicts: 1052000 | #Constraints: 32723
3031.12/3039.57 c #Conflicts: 1053000 | #Constraints: 33723
3031.12/3039.57 c #Conflicts: 1054000 | #Constraints: 34723
3031.12/3039.57 c #Conflicts: 1055000 | #Constraints: 35723
3031.12/3039.57 c #Conflicts: 1056000 | #Constraints: 36723
3031.12/3039.57 c #Conflicts: 1057000 | #Constraints: 37723
3031.12/3039.57 c #Conflicts: 1058000 | #Constraints: 38723
3031.12/3039.57 c #Conflicts: 1059000 | #Constraints: 39723
3031.12/3039.57 c #Conflicts: 1060000 | #Constraints: 40723
3031.12/3039.57 c #Conflicts: 1061000 | #Constraints: 41723
3031.12/3039.57 c #Conflicts: 1062000 | #Constraints: 42723
3031.12/3039.57 c INPROCESSING
3031.12/3039.57 c GARBAGE COLLECT
3031.12/3039.57 c #Conflicts: 1063000 | #Constraints: 23322
3031.12/3039.57 c #Conflicts: 1064000 | #Constraints: 24322
3031.12/3039.57 c #Conflicts: 1065000 | #Constraints: 25322
3031.12/3039.57 c #Conflicts: 1066000 | #Constraints: 26322
3031.12/3039.57 c #Conflicts: 1067000 | #Constraints: 27322
3031.12/3039.57 c #Conflicts: 1068000 | #Constraints: 28322
3031.12/3039.57 c #Conflicts: 1069000 | #Constraints: 29322
3031.12/3039.57 c #Conflicts: 1070000 | #Constraints: 30322
3031.12/3039.57 c #Conflicts: 1071000 | #Constraints: 31322
3031.12/3039.57 c #Conflicts: 1072000 | #Constraints: 32322
3031.12/3039.57 c #Conflicts: 1073000 | #Constraints: 33322
3031.12/3039.57 c #Conflicts: 1074000 | #Constraints: 34322
3031.12/3039.57 c #Conflicts: 1075000 | #Constraints: 35322
3031.12/3039.57 c #Conflicts: 1076000 | #Constraints: 36322
3031.12/3039.57 c #Conflicts: 1077000 | #Constraints: 37322
3031.12/3039.57 c #Conflicts: 1078000 | #Constraints: 38322
3031.12/3039.57 c #Conflicts: 1079000 | #Constraints: 39322
3031.12/3039.57 c #Conflicts: 1080000 | #Constraints: 40322
3031.12/3039.57 c #Conflicts: 1081000 | #Constraints: 41322
3031.12/3039.57 c #Conflicts: 1082000 | #Constraints: 42322
3031.12/3039.57 c #Conflicts: 1083000 | #Constraints: 43322
3031.12/3039.57 c INPROCESSING
3031.12/3039.57 c GARBAGE COLLECT
3031.12/3039.57 c #Conflicts: 1084000 | #Constraints: 23638
3031.12/3039.57 c #Conflicts: 1085000 | #Constraints: 24638
3031.12/3039.57 c #Conflicts: 1086000 | #Constraints: 25638
3031.12/3039.57 c #Conflicts: 1087000 | #Constraints: 26638
3031.12/3039.57 c #Conflicts: 1088000 | #Constraints: 27638
3031.12/3039.57 c #Conflicts: 1089000 | #Constraints: 28638
3031.12/3039.57 c #Conflicts: 1090000 | #Constraints: 29638
3031.12/3039.57 c #Conflicts: 1091000 | #Constraints: 30638
3031.12/3039.57 c #Conflicts: 1092000 | #Constraints: 31638
3031.12/3039.57 c #Conflicts: 1093000 | #Constraints: 32638
3031.12/3039.57 c #Conflicts: 1094000 | #Constraints: 33638
3031.12/3039.57 c #Conflicts: 1095000 | #Constraints: 34638
3031.12/3039.57 c #Conflicts: 1096000 | #Constraints: 35638
3031.12/3039.57 c #Conflicts: 1097000 | #Constraints: 36638
3031.12/3039.57 c #Conflicts: 1098000 | #Constraints: 37638
3031.12/3039.57 c #Conflicts: 1099000 | #Constraints: 38638
3031.12/3039.57 c #Conflicts: 1100000 | #Constraints: 39638
3031.12/3039.57 c #Conflicts: 1101000 | #Constraints: 40638
3031.12/3039.57 c #Conflicts: 1102000 | #Constraints: 41638
3031.12/3039.57 c #Conflicts: 1103000 | #Constraints: 42638
3031.12/3039.57 c #Conflicts: 1104000 | #Constraints: 43638
3031.12/3039.57 c INPROCESSING
3031.12/3039.57 c GARBAGE COLLECT
3031.12/3039.57 c #Conflicts: 1105000 | #Constraints: 23816
3031.12/3039.57 c #Conflicts: 1106000 | #Constraints: 24816
3031.12/3039.57 c #Conflicts: 1107000 | #Constraints: 25816
3031.12/3039.57 c #Conflicts: 1108000 | #Constraints: 26816
3031.12/3039.57 c #Conflicts: 1109000 | #Constraints: 27816
3031.12/3039.57 c #Conflicts: 1110000 | #Constraints: 28816
3031.12/3039.57 c #Conflicts: 1111000 | #Constraints: 29816
3031.12/3039.57 c #Conflicts: 1112000 | #Constraints: 30816
3031.12/3039.57 c #Conflicts: 1113000 | #Constraints: 31816
3031.12/3039.57 c #Conflicts: 1114000 | #Constraints: 32816
3031.12/3039.57 c #Conflicts: 1115000 | #Constraints: 33816
3031.12/3039.57 c #Conflicts: 1116000 | #Constraints: 34816
3031.12/3039.57 c #Conflicts: 1117000 | #Constraints: 35816
3031.12/3039.57 c #Conflicts: 1118000 | #Constraints: 36816
3031.12/3039.57 c #Conflicts: 1119000 | #Constraints: 37816
3031.12/3039.57 c #Conflicts: 1120000 | #Constraints: 38816
3031.12/3039.57 c #Conflicts: 1121000 | #Constraints: 39816
3193.67/3202.56 c #Conflicts: 1122000 | #Constraints: 40816
3193.67/3202.56 c #Conflicts: 1123000 | #Constraints: 41816
3193.67/3202.56 c #Conflicts: 1124000 | #Constraints: 42816
3193.67/3202.56 c #Conflicts: 1125000 | #Constraints: 43816
3193.67/3202.56 c INPROCESSING
3193.67/3202.56 c GARBAGE COLLECT
3193.67/3202.56 c #Conflicts: 1126000 | #Constraints: 23858
3193.67/3202.56 c #Conflicts: 1127000 | #Constraints: 24858
3193.67/3202.56 c #Conflicts: 1128000 | #Constraints: 25858
3193.67/3202.56 c #Conflicts: 1129000 | #Constraints: 26858
3193.67/3202.56 c #Conflicts: 1130000 | #Constraints: 27858
3193.67/3202.56 c #Conflicts: 1131000 | #Constraints: 28858
3193.67/3202.56 c #Conflicts: 1132000 | #Constraints: 29858
3193.67/3202.56 c #Conflicts: 1133000 | #Constraints: 30858
3193.67/3202.56 c #Conflicts: 1134000 | #Constraints: 31858
3193.67/3202.56 c #Conflicts: 1135000 | #Constraints: 32858
3193.67/3202.56 c #Conflicts: 1136000 | #Constraints: 33858
3193.67/3202.56 c #Conflicts: 1137000 | #Constraints: 34858
3193.67/3202.56 c #Conflicts: 1138000 | #Constraints: 35858
3193.67/3202.56 c #Conflicts: 1139000 | #Constraints: 36858
3193.67/3202.56 c #Conflicts: 1140000 | #Constraints: 37858
3193.67/3202.56 c #Conflicts: 1141000 | #Constraints: 38858
3193.67/3202.56 c #Conflicts: 1142000 | #Constraints: 39858
3193.67/3202.56 c #Conflicts: 1143000 | #Constraints: 40858
3193.67/3202.56 c #Conflicts: 1144000 | #Constraints: 41858
3193.67/3202.56 c #Conflicts: 1145000 | #Constraints: 42858
3193.67/3202.56 c #Conflicts: 1146000 | #Constraints: 43858
3193.67/3202.56 c INPROCESSING
3193.67/3202.56 c GARBAGE COLLECT
3193.67/3202.56 c #Conflicts: 1147000 | #Constraints: 23649
3193.67/3202.56 c #Conflicts: 1148000 | #Constraints: 24649
3193.67/3202.56 c #Conflicts: 1149000 | #Constraints: 25649
3193.67/3202.56 c #Conflicts: 1150000 | #Constraints: 26649
3193.67/3202.56 c #Conflicts: 1151000 | #Constraints: 27649
3193.67/3202.56 c #Conflicts: 1152000 | #Constraints: 28649
3193.67/3202.56 c #Conflicts: 1153000 | #Constraints: 29649
3193.67/3202.56 c #Conflicts: 1154000 | #Constraints: 30649
3193.67/3202.56 c #Conflicts: 1155000 | #Constraints: 31649
3193.67/3202.56 c #Conflicts: 1156000 | #Constraints: 32649
3193.67/3202.56 c #Conflicts: 1157000 | #Constraints: 33649
3193.67/3202.56 c #Conflicts: 1158000 | #Constraints: 34649
3193.67/3202.56 c #Conflicts: 1159000 | #Constraints: 35649
3193.67/3202.56 c #Conflicts: 1160000 | #Constraints: 36649
3193.67/3202.56 c #Conflicts: 1161000 | #Constraints: 37649
3193.67/3202.56 c #Conflicts: 1162000 | #Constraints: 38649
3193.67/3202.56 c #Conflicts: 1163000 | #Constraints: 39649
3193.67/3202.56 c #Conflicts: 1164000 | #Constraints: 40649
3193.67/3202.56 c #Conflicts: 1165000 | #Constraints: 41649
3193.67/3202.56 c #Conflicts: 1166000 | #Constraints: 42649
3193.67/3202.56 c #Conflicts: 1167000 | #Constraints: 43649
3193.67/3202.56 c #Conflicts: 1168000 | #Constraints: 44649
3193.67/3202.56 c INPROCESSING
3193.67/3202.56 c GARBAGE COLLECT
3193.67/3202.56 c #Conflicts: 1169000 | #Constraints: 24309
3193.67/3202.56 c #Conflicts: 1170000 | #Constraints: 25309
3193.67/3202.56 c #Conflicts: 1171000 | #Constraints: 26309
3193.67/3202.56 c #Conflicts: 1172000 | #Constraints: 27309
3193.67/3202.56 c #Conflicts: 1173000 | #Constraints: 28309
3193.67/3202.56 c #Conflicts: 1174000 | #Constraints: 29309
3193.67/3202.56 c #Conflicts: 1175000 | #Constraints: 30309
3193.67/3202.56 c #Conflicts: 1176000 | #Constraints: 31309
3193.67/3202.56 c #Conflicts: 1177000 | #Constraints: 32309
3193.67/3202.56 c #Conflicts: 1178000 | #Constraints: 33309
3193.67/3202.56 c #Conflicts: 1179000 | #Constraints: 34309
3193.67/3202.56 c #Conflicts: 1180000 | #Constraints: 35309
3193.67/3202.56 c #Conflicts: 1181000 | #Constraints: 36309
3193.67/3202.56 c #Conflicts: 1182000 | #Constraints: 37309
3193.67/3202.56 c #Conflicts: 1183000 | #Constraints: 38309
3193.67/3202.56 c #Conflicts: 1184000 | #Constraints: 39309
3193.67/3202.56 c #Conflicts: 1185000 | #Constraints: 40309
3193.67/3202.56 c #Conflicts: 1186000 | #Constraints: 41309
3193.67/3202.56 c #Conflicts: 1187000 | #Constraints: 42309
3193.67/3202.56 c #Conflicts: 1188000 | #Constraints: 43309
3193.67/3202.56 c #Conflicts: 1189000 | #Constraints: 44309
3193.67/3202.56 c #Conflicts: 1190000 | #Constraints: 45309
3193.67/3202.56 c INPROCESSING
3193.67/3202.56 c GARBAGE COLLECT
3193.67/3202.56 c #Conflicts: 1191000 | #Constraints: 24672
3193.67/3202.56 c #Conflicts: 1192000 | #Constraints: 25672
3193.67/3202.56 c #Conflicts: 1193000 | #Constraints: 26672
3193.67/3202.56 c #Conflicts: 1194000 | #Constraints: 27672
3193.67/3202.56 c #Conflicts: 1195000 | #Constraints: 28672
3193.67/3202.56 c #Conflicts: 1196000 | #Constraints: 29672
3193.67/3202.56 c #Conflicts: 1197000 | #Constraints: 30672
3476.08/3485.70 c #Conflicts: 1198000 | #Constraints: 31672
3476.08/3485.70 c #Conflicts: 1199000 | #Constraints: 32672
3476.08/3485.70 c #Conflicts: 1200000 | #Constraints: 33672
3476.08/3485.70 c #Conflicts: 1201000 | #Constraints: 34672
3476.08/3485.70 c #Conflicts: 1202000 | #Constraints: 35672
3476.08/3485.70 c #Conflicts: 1203000 | #Constraints: 36672
3476.08/3485.70 c #Conflicts: 1204000 | #Constraints: 37672
3476.08/3485.70 c #Conflicts: 1205000 | #Constraints: 38672
3476.08/3485.70 c #Conflicts: 1206000 | #Constraints: 39672
3476.08/3485.70 c #Conflicts: 1207000 | #Constraints: 40672
3476.08/3485.70 c #Conflicts: 1208000 | #Constraints: 41672
3476.08/3485.70 c #Conflicts: 1209000 | #Constraints: 42672
3476.08/3485.70 c #Conflicts: 1210000 | #Constraints: 43672
3476.08/3485.70 c #Conflicts: 1211000 | #Constraints: 44672
3476.08/3485.70 c #Conflicts: 1212000 | #Constraints: 45672
3476.08/3485.70 c INPROCESSING
3476.08/3485.70 c GARBAGE COLLECT
3476.08/3485.70 c #Conflicts: 1213000 | #Constraints: 24832
3476.08/3485.70 c #Conflicts: 1214000 | #Constraints: 25832
3476.08/3485.70 c #Conflicts: 1215000 | #Constraints: 26832
3476.08/3485.70 c #Conflicts: 1216000 | #Constraints: 27832
3476.08/3485.70 c #Conflicts: 1217000 | #Constraints: 28832
3476.08/3485.70 c #Conflicts: 1218000 | #Constraints: 29832
3476.08/3485.70 c #Conflicts: 1219000 | #Constraints: 30832
3476.08/3485.70 c #Conflicts: 1220000 | #Constraints: 31832
3476.08/3485.70 c #Conflicts: 1221000 | #Constraints: 32832
3476.08/3485.70 c #Conflicts: 1222000 | #Constraints: 33832
3476.08/3485.70 c #Conflicts: 1223000 | #Constraints: 34832
3476.08/3485.70 c #Conflicts: 1224000 | #Constraints: 35832
3476.08/3485.70 c #Conflicts: 1225000 | #Constraints: 36832
3476.08/3485.70 c #Conflicts: 1226000 | #Constraints: 37832
3476.08/3485.70 c #Conflicts: 1227000 | #Constraints: 38832
3476.08/3485.70 c #Conflicts: 1228000 | #Constraints: 39832
3476.08/3485.70 c #Conflicts: 1229000 | #Constraints: 40832
3476.08/3485.70 c #Conflicts: 1230000 | #Constraints: 41832
3476.08/3485.70 c #Conflicts: 1231000 | #Constraints: 42832
3476.08/3485.70 c #Conflicts: 1232000 | #Constraints: 43832
3476.08/3485.70 c #Conflicts: 1233000 | #Constraints: 44832
3476.08/3485.70 c #Conflicts: 1234000 | #Constraints: 45832
3476.08/3485.70 c INPROCESSING
3476.08/3485.70 c GARBAGE COLLECT
3476.08/3485.70 c #Conflicts: 1235000 | #Constraints: 24867
3476.08/3485.70 c #Conflicts: 1236000 | #Constraints: 25867
3476.08/3485.70 c #Conflicts: 1237000 | #Constraints: 26867
3476.08/3485.70 c #Conflicts: 1238000 | #Constraints: 27867
3476.08/3485.70 c #Conflicts: 1239000 | #Constraints: 28867
3476.08/3485.70 c #Conflicts: 1240000 | #Constraints: 29867
3476.08/3485.70 c #Conflicts: 1241000 | #Constraints: 30867
3476.08/3485.70 c #Conflicts: 1242000 | #Constraints: 31867
3476.08/3485.70 c #Conflicts: 1243000 | #Constraints: 32867
3476.08/3485.70 c #Conflicts: 1244000 | #Constraints: 33867
3476.08/3485.70 c #Conflicts: 1245000 | #Constraints: 34867
3476.08/3485.70 c #Conflicts: 1246000 | #Constraints: 35867
3476.08/3485.70 c #Conflicts: 1247000 | #Constraints: 36867
3476.08/3485.70 c #Conflicts: 1248000 | #Constraints: 37867
3476.08/3485.70 c #Conflicts: 1249000 | #Constraints: 38867
3476.08/3485.70 c #Conflicts: 1250000 | #Constraints: 39867
3476.08/3485.70 c #Conflicts: 1251000 | #Constraints: 40867
3476.08/3485.70 c #Conflicts: 1252000 | #Constraints: 41867
3476.08/3485.70 c #Conflicts: 1253000 | #Constraints: 42867
3476.08/3485.70 c #Conflicts: 1254000 | #Constraints: 43867
3476.08/3485.70 c #Conflicts: 1255000 | #Constraints: 44867
3476.08/3485.70 c #Conflicts: 1256000 | #Constraints: 45867
3476.08/3485.70 c INPROCESSING
3476.08/3485.70 c GARBAGE COLLECT
3476.08/3485.70 c #Conflicts: 1257000 | #Constraints: 24618
3476.08/3485.70 c #Conflicts: 1258000 | #Constraints: 25618
3476.08/3485.70 c #Conflicts: 1259000 | #Constraints: 26618
3476.08/3485.70 c #Conflicts: 1260000 | #Constraints: 27618
3476.08/3485.70 c #Conflicts: 1261000 | #Constraints: 28618
3476.08/3485.70 c #Conflicts: 1262000 | #Constraints: 29618
3476.08/3485.70 c #Conflicts: 1263000 | #Constraints: 30618
3476.08/3485.70 c #Conflicts: 1264000 | #Constraints: 31618
3476.08/3485.70 c #Conflicts: 1265000 | #Constraints: 32618
3476.08/3485.70 c #Conflicts: 1266000 | #Constraints: 33618
3476.08/3485.70 c #Conflicts: 1267000 | #Constraints: 34618
3476.08/3485.70 c #Conflicts: 1268000 | #Constraints: 35618
3476.08/3485.70 c #Conflicts: 1269000 | #Constraints: 36618
3476.08/3485.70 c #Conflicts: 1270000 | #Constraints: 37618
3476.08/3485.70 c #Conflicts: 1271000 | #Constraints: 38618
3476.08/3485.70 c #Conflicts: 1272000 | #Constraints: 39618
3476.08/3485.70 c #Conflicts: 1273000 | #Constraints: 40618
3476.08/3485.70 c #Conflicts: 1274000 | #Constraints: 41618
3600.04/3610.00 c #Conflicts: 1275000 | #Constraints: 42618
3600.04/3610.00 c #Conflicts: 1276000 | #Constraints: 43618
3600.04/3610.00 c #Conflicts: 1277000 | #Constraints: 44618
3600.04/3610.00 c #Conflicts: 1278000 | #Constraints: 45618
3600.04/3610.00 c #Conflicts: 1279000 | #Constraints: 46618
3600.04/3610.00 c INPROCESSING
3600.04/3610.00 c GARBAGE COLLECT
3600.04/3610.00 c #Conflicts: 1280000 | #Constraints: 25161
3600.04/3610.00 c #Conflicts: 1281000 | #Constraints: 26161
3600.04/3610.00 c #Conflicts: 1282000 | #Constraints: 27161
3600.04/3610.00 c #Conflicts: 1283000 | #Constraints: 28161
3600.04/3610.00 c #Conflicts: 1284000 | #Constraints: 29161
3600.04/3610.00 c #Conflicts: 1285000 | #Constraints: 30161
3600.04/3610.00 c #Conflicts: 1286000 | #Constraints: 31161
3600.04/3610.00 c #Conflicts: 1287000 | #Constraints: 32161
3600.04/3610.00 c #Conflicts: 1288000 | #Constraints: 33161
3600.04/3610.00 c #Conflicts: 1289000 | #Constraints: 34161
3600.04/3610.00 c #Conflicts: 1290000 | #Constraints: 35161
3600.04/3610.00 c #Conflicts: 1291000 | #Constraints: 36161
3600.04/3610.00 c #Conflicts: 1292000 | #Constraints: 37161
3600.04/3610.00 c #Conflicts: 1293000 | #Constraints: 38161
3600.04/3610.00 c #Conflicts: 1294000 | #Constraints: 39161
3600.04/3610.00 c #Conflicts: 1295000 | #Constraints: 40161
3600.04/3610.00 c #Conflicts: 1296000 | #Constraints: 41161
3600.04/3610.00 c #Conflicts: 1297000 | #Constraints: 42161
3600.04/3610.00 c #Conflicts: 1298000 | #Constraints: 43161
3600.04/3610.00 c #Conflicts: 1299000 | #Constraints: 44161
3600.04/3610.00 c cpu time 3580.26 s
3600.04/3610.00 c deterministic time 1 1.00e+00
3600.04/3610.00 c optimization time 3580.24 s
3600.04/3610.00 c total solve time 0 s
3600.04/3610.00 c core-guided solve time 0 s
3600.04/3610.00 c propagation time 0.000688 s
3600.04/3610.00 c conflict analysis time 0 s
3600.04/3610.00 c propagations 0
3600.04/3610.00 c resolve steps 0
3600.04/3610.00 c decisions 0
3600.04/3610.00 c conflicts 0
3600.04/3610.00 c restarts 0
3600.04/3610.00 c inprocessing phases 0
3600.04/3610.00 c garbage collections 0 ,( -nan )
3600.04/3610.00 c input clauses 0 ,( 0.00 )
3600.04/3610.00 c input cardinalities 41 ,( 2.44 )
3600.04/3610.00 c input general constraints 1640 ,( 97.56 )
3600.04/3610.00 c input average constraint length 11.80
3600.04/3610.00 c input average constraint degree 7.85
3600.04/3610.00 c learned clauses 0 ,( 0.00 )
3600.04/3610.00 c learned cardinalities 0 ,( 0.00 )
3600.04/3610.00 c learned general constraints 0 ,( 0.00 )
3600.04/3610.00 c learned average constraint length 0.00
3600.04/3610.00 c learned average constraint degree 0.00
3600.04/3610.00 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3610.00 c counting CF 32, 64, 128, Arb: 1641 , 0 , 0 , 0
3600.04/3610.00 c watched constraints 0 ,( 0.00 )
3600.04/3610.00 c counting constraints 1640 ,( 100.00 )
3600.04/3610.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3610.00 c gcd simplifications 41
3600.04/3610.00 c detected cardinalities 0
3600.04/3610.00 c weakened non-implied lits 0
3600.04/3610.00 c weakened non-implying lits 0
3600.04/3610.00 c original variables 6724
3600.04/3610.00 c clausal propagations 0
3600.04/3610.00 c cardinality propagations 0
3600.04/3610.00 c watched propagations 0
3600.04/3610.00 c counting propagations 0
3600.04/3610.00 c watch lookups 0
3600.04/3610.00 c watch backjump lookups 0
3600.04/3610.00 c watch checks 0
3600.04/3610.00 c propagation checks 0
3600.04/3610.00 c constraint additions 0
3600.04/3610.00 c trail pops 0
3600.04/3610.00 c formula constraints 1681
3600.04/3610.00 c learned constraints 0
3600.04/3610.00 c bound constraints 0
3600.04/3610.00 c core-guided constraints 0
3600.04/3610.00 c encountered formula constraints 0
3600.04/3610.00 c encountered learned constraints 0
3600.04/3610.00 c encountered bound constraints 0
3600.04/3610.00 c encountered core-guided constraints 0
3600.04/3610.00 c LP total time 0 s
3600.04/3610.00 c LP solve time 0 s
3600.04/3610.00 c LP constraints added 0
3600.04/3610.00 c LP constraints removed 0
3600.04/3610.00 c LP pivots internal 0
3600.04/3610.00 c LP pivots root 0
3600.04/3610.00 c LP calls 0
3600.04/3610.00 c LP optimalities 0
3600.04/3610.00 c LP no pivot count 0
3600.04/3610.00 c LP infeasibilities 0
3600.04/3610.00 c LP valid Farkas constraints 0
3600.04/3610.00 c LP learned Farkas constraints 0
3600.04/3610.00 c LP basis resets 0
3600.04/3610.00 c LP cycling count 0
3600.04/3610.00 c LP singular count 0
3600.04/3610.00 c LP no primal count 0
3600.04/3610.00 c LP no farkas count 0
3600.04/3610.00 c LP other issue count 0
3600.04/3610.00 c LP Gomory cuts 0
3600.04/3610.00 c LP learned cuts 0
3600.04/3610.00 c LP deleted cuts 0
3600.04/3610.00 c LP encountered Gomory constraints 0
3600.04/3610.00 c LP encountered Farkas constraints 0
3600.04/3610.00 c LP encountered learned Farkas constraints 0
3600.04/3610.00 c CG auxiliary variables introduced 0
3600.04/3610.00 c CG solutions found 0
3600.04/3610.00 c CG cores constructed 0
3600.04/3610.00 c CG core cardinality constraints returned 0
3600.04/3610.00 c CG unit cores 0
3600.04/3610.00 c CG single cores 0
3600.04/3610.00 c CG blocks removed during cardinality reduction 0
3600.04/3610.00 c CG first core best 0
3600.04/3610.00 c CG decision core best 0
3600.04/3610.00 c CG core reduction tie 0
3600.04/3610.00 c CG core degree average 0.00
3600.04/3610.00 c CG core slack average 0.00
3600.04/3610.00 c CG core upper bound improvements 0
3600.04/3610.00 c STR number of successful calls 0
3600.04/3610.00 c STR number of unsuccessful calls 0
3600.04/3610.00 c STR number of inconclusive calls 0
3600.04/3610.00 c STR number of successful attempts 0
3600.04/3610.00 c STR number of unsuccessful attempts 0
3600.04/3610.00 c STR number of inconclusive attempts 0
3600.04/3610.00 c STR average degree increase per successful call inf
3600.04/3610.00 c STR average degree increase per successful attempt inf
3600.04/3610.00 c STR total number of conflicts for successful attempts 0
3600.04/3610.00 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.00 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.00 c STR average number of conflicts per successful attempt inf
3600.04/3610.00 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.00 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.00 c AVG.sumWPerc 75.00
3600.04/3610.00 c bigint constraints 0
3600.04/3610.00 s UNKNOWN
3600.04/3610.00 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: 63708 MiB (62106 MiB free)
memory of node 1: 64465 MiB (60554 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520250-1751567866/watcher-4520250-1751567866 -o /tmp/evaluation-result-4520250-1751567866/solver-4520250-1751567866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751564231-79814 --watchdog 3760 run-opt.sh HOME/instance-4520250-1751567866.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=80256, runsolver pid=80253
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.36 4.27 4.15 5/270 80258
/proc/meminfo: memFree=125595692/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=73336 memory=29248 CPUtime=0.08 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 4581 0 0 0 7 1 0 0 20 0 1 0 72461125 75096064 7312 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 18334 7312 2336 1147 0 5761 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77528 KiB
Current children cumulated memory: 32320 KiB
[startup+0.205641 s]*
/proc/loadavg: 4.36 4.27 4.15 5/270 80258
/proc/meminfo: memFree=125580572/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=83184 memory=39460 CPUtime=0.17 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 6589 0 0 0 16 1 0 0 20 0 1 0 72461125 85180416 9865 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 20796 9865 2368 1147 0 8223 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 87376 KiB
Current children cumulated memory: 42532 KiB
[startup+0.305786 s]*
/proc/loadavg: 4.36 4.27 4.15 5/270 80258
/proc/meminfo: memFree=125580572/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=83184 memory=39460 CPUtime=0.27 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 6589 0 0 0 26 1 0 0 20 0 1 0 72461125 85180416 9865 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 20796 9865 2368 1147 0 8223 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 87376 KiB
Current children cumulated memory: 42532 KiB
[startup+0.700182 s]
/proc/loadavg: 4.36 4.27 4.15 5/270 80258
/proc/meminfo: memFree=125576504/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=109096 memory=58668 CPUtime=0.66 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 10901 0 0 0 63 3 0 0 20 0 1 0 72461125 111714304 14667 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 27274 14667 2368 1147 0 14701 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 113288 KiB
Current children cumulated memory: 61740 KiB
[startup+1.5002 s]
/proc/loadavg: 4.36 4.27 4.15 5/270 80258
/proc/meminfo: memFree=125571456/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=148520 memory=102896 CPUtime=1.45 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 18360 0 0 0 140 5 0 0 20 0 1 0 72461125 152084480 25724 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 37130 25724 2368 1147 0 24557 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 152712 KiB
Current children cumulated memory: 105968 KiB
[startup+3.1059 s]
/proc/loadavg: 4.36 4.27 4.15 5/270 80258
/proc/meminfo: memFree=125438008/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=252260 memory=184488 CPUtime=3.05 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 32664 0 0 0 296 9 0 0 20 0 1 0 72461125 258314240 46122 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 63065 46122 2368 1147 0 50492 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 256452 KiB
Current children cumulated memory: 187560 KiB
[startup+6.30019 s]
/proc/loadavg: 4.33 4.26 4.15 5/270 80258
/proc/meminfo: memFree=125352424/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=356420 memory=271112 CPUtime=6.24 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 49712 0 0 0 610 14 0 0 20 0 1 0 72461125 364974080 67778 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 89105 67778 2368 1147 0 76532 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 360612 KiB
Current children cumulated memory: 274184 KiB
[startup+12.7002 s]
/proc/loadavg: 4.30 4.26 4.15 5/270 80258
/proc/meminfo: memFree=125178008/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=408988 memory=336240 CPUtime=12.62 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 57830 0 0 0 1238 24 0 0 20 0 1 0 72461125 418803712 84060 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 102247 84060 2368 1147 0 89674 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 413180 KiB
Current children cumulated memory: 339312 KiB
[startup+25.5002 s]
/proc/loadavg: 4.24 4.25 4.15 5/270 80258
/proc/meminfo: memFree=124621928/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=702748 memory=548948 CPUtime=25.39 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 99252 0 0 0 2497 42 0 0 20 0 1 0 72461125 719613952 137237 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 175687 137237 2368 1147 0 163114 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 706940 KiB
Current children cumulated memory: 552020 KiB
[startup+51.1059 s]
/proc/loadavg: 4.16 4.23 4.14 5/270 80259
/proc/meminfo: memFree=124034148/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=708384 memory=577020 CPUtime=50.93 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 101162 0 0 0 5029 64 0 0 20 0 1 0 72461125 725385216 144255 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 177096 144255 2368 1147 0 164523 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 712576 KiB
Current children cumulated memory: 580092 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.22 4.15 5/269 80261
/proc/meminfo: memFree=122808376/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=1252724 memory=1007092 CPUtime=101.98 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 182663 0 0 0 10084 114 0 0 20 0 1 0 72461125 1282789376 251773 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 313181 251773 2368 1147 0 300608 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1256916 KiB
Current children cumulated memory: 1010164 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.19 4.14 5/270 80264
/proc/meminfo: memFree=122573104/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=1476484 memory=1177624 CPUtime=161.83 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 209459 0 0 0 16017 166 0 0 20 0 1 0 72461125 1511919616 294406 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 369121 294406 2368 1147 0 356548 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1480676 KiB
Current children cumulated memory: 1180696 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.17 4.13 5/271 80266
/proc/meminfo: memFree=122296280/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=1477380 memory=1178136 CPUtime=221.66 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 209575 0 0 0 21967 199 0 0 20 0 1 0 72461125 1512837120 294534 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 369345 294534 2368 1147 0 356772 0
################
# More data... #
################
[pid=80258] ppid=80256 vsize=4617352 memory=4102412 CPUtime=3093.74 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 732497 0 0 0 307601 1773 0 0 20 0 1 0 72461125 4728168448 1025603 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 1154338 1025603 2368 1147 0 1141765 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 4621544 KiB
Current children cumulated memory: 4105484 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/269 80428
/proc/meminfo: memFree=109466804/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=4617352 memory=4102412 CPUtime=3153.57 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 732497 0 0 0 313563 1794 0 0 20 0 1 0 72461125 4728168448 1025603 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 1154338 1025603 2368 1147 0 1141765 0
Current children cumulated CPU time: 3153.57 s
Current children cumulated vsize: 4621544 KiB
Current children cumulated memory: 4105484 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/269 80431
/proc/meminfo: memFree=109445680/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=4617352 memory=4102412 CPUtime=3213.41 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 732798 0 0 0 319527 1814 0 0 20 0 1 0 72461125 4728168448 1025603 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 1154338 1025603 2368 1147 0 1141765 0
Current children cumulated CPU time: 3213.41 s
Current children cumulated vsize: 4621544 KiB
Current children cumulated memory: 4105484 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/269 80433
/proc/meminfo: memFree=109449012/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=4618380 memory=4111400 CPUtime=3273.25 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 733171 0 0 0 325483 1842 0 0 20 0 1 0 72461125 4729221120 1027850 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 1154595 1027850 2368 1147 0 1142022 0
Current children cumulated CPU time: 3273.25 s
Current children cumulated vsize: 4622572 KiB
Current children cumulated memory: 4114472 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.10 5/268 80435
/proc/meminfo: memFree=109413392/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=4619408 memory=4137000 CPUtime=3333.08 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 739743 0 0 0 331441 1867 0 0 20 0 1 0 72461125 4730273792 1034250 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 1154852 1034250 2368 1147 0 1142279 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 4623600 KiB
Current children cumulated memory: 4140072 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/268 80437
/proc/meminfo: memFree=109414400/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=4619408 memory=4137000 CPUtime=3392.92 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 740009 0 0 0 337398 1894 0 0 20 0 1 0 72461125 4730273792 1034250 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 1154852 1034250 2368 1147 0 1142279 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 4623600 KiB
Current children cumulated memory: 4140072 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/267 80439
/proc/meminfo: memFree=109385000/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=4620436 memory=4142964 CPUtime=3452.74 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 740540 0 0 0 343360 1914 0 0 20 0 1 0 72461125 4731326464 1035741 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 1155109 1035741 2368 1147 0 1142536 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 4624628 KiB
Current children cumulated memory: 4146036 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 80445
/proc/meminfo: memFree=109183404/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=4787368 memory=4328676 CPUtime=3512.57 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 766858 0 0 0 349318 1939 0 0 20 0 1 0 72461125 4902264832 1082169 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 1196842 1082169 2368 1147 0 1184269 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 4791560 KiB
Current children cumulated memory: 4331748 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 80447
/proc/meminfo: memFree=109166320/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=4787368 memory=4328676 CPUtime=3572.41 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 766969 0 0 0 355272 1969 0 0 20 0 1 0 72461125 4902264832 1082169 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 1196842 1082169 2368 1147 0 1184269 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 4791560 KiB
Current children cumulated memory: 4331748 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.12 4.11 4.09 5/268 80586
/proc/meminfo: memFree=121656672/131249992 swapFree=33009392/33010684
[pid=80256] ppid=80253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/80256/stat : 80256 (run-opt.sh) S 80253 80256 79801 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 72461125 4292608 768 18446744073709551615 94604466802688 94604467697221 140728488844256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94604467936272 94604467984016 94604494196736 140728488851821 140728488851944 140728488851944 140728488857546 0
/proc/80256/statm: 1048 768 704 219 0 110 0
[pid=80258] ppid=80256 vsize=4787368 memory=4328676 CPUtime=3600.04 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80256 80256 79801 0 -1 4194304 767136 0 0 0 358025 1979 0 0 20 0 1 0 72461125 4902264832 1082169 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 1196842 1082169 2368 1147 0 1184269 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4791560 KiB
Current children cumulated memory: 4331748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 80256 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000994 s, system=0.000992 s
[startup+3610.18 s]
# the end of solver process 80258 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3580.26 s, system=19.959 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+3610.11 s]*
/proc/loadavg: 4.12 4.11 4.09 5/267 80586
/proc/meminfo: memFree=123640200/131249992 swapFree=33009392/33010684
[pid=80258] ppid=80253 vsize=3005008 memory=2228636 CPUtime=3600.15 cores=5,7
/proc/80258/stat : 80258 (roundingsat) R 80253 80256 79801 0 -1 4194304 767142 0 0 0 358026 1989 0 0 20 0 1 0 72461125 3077128192 557159 18446744073709551615 4227072 8923433 140725519135600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29945856 140725519141282 140725519141416 140725519141416 140725519146986 0
/proc/80258/statm: 751252 557159 2432 1147 0 738679 0
Current cumulated CPU time of completed processes: 0.001986 s
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 3005008 KiB
Current children cumulated memory: 2228636 KiB
Child status: 2
Real time (s): 3610.18
CPU time (s): 3600.22
CPU user time (s): 3580.26
CPU system time (s): 19.959
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 4791560
Max. memory (cumulated for all children) (KiB): 4331748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.26
system time used= 19.959
maximum resident set size= 4328932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 767362
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146
involuntary context switches= 20131
# summary of solver processes directly reported to runsolver:
# pid: 80256,80258
# total CPU time (s): 3600.22
# total CPU user time (s): 3580.26
# total CPU system time (s): 19.959
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66884 second user time and 17.6038 second system time
The end
Begin job on nodeC035 at 2025-07-03 20:37:46
IDJOB=4520250
IDBENCH=177843
IDSOLVER=3350
FILE ID=nodeC035/4520250-1751567866
RUNJOBID= nodeC035-1751564231-79814
SLURM_JOB_ID= 9598770
Free space on /tmp= 432792 MiB
SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520250-1751567866/watcher-4520250-1751567866 -o /tmp/evaluation-result-4520250-1751567866/solver-4520250-1751567866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751564231-79814 --watchdog 3760 run-opt.sh HOME/instance-4520250-1751567866.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8110ecedf7fddacd285de81a9cd905f3
RANDOM SEED=1631241744
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.778
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.829
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.532
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.840
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.689
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.810
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.691
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.767
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 125604896 kB
MemAvailable: 128044384 kB
Buffers: 664 kB
Cached: 3190132 kB
SwapCached: 332 kB
Active: 2032920 kB
Inactive: 2890012 kB
Active(anon): 1728504 kB
Inactive(anon): 21060 kB
Active(file): 304416 kB
Inactive(file): 2868952 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7136 kB
Writeback: 64 kB
AnonPages: 1734700 kB
Mapped: 116984 kB
Shmem: 17700 kB
KReclaimable: 210716 kB
Slab: 301556 kB
SReclaimable: 210716 kB
SUnreclaim: 90840 kB
KernelStack: 4352 kB
PageTables: 7096 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2459168 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432784 MiB
End job on nodeC035 at 2025-07-03 21:37:56