0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.05 c #variables 4556 #constraints 1139
0.00/0.05 c objective is ce32
0.00/0.06 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.06 c initial counting CF 32, 64, 128, Arb: 1106 , 0 , 0 , 0
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.036072
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.039117
104.27/104.61 c #Conflicts: 1000 | #Constraints: 2139
104.27/104.61 c #Conflicts: 2000 | #Constraints: 3139
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 3000 | #Constraints: 3184
104.27/104.61 c #Conflicts: 4000 | #Constraints: 4184
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 5000 | #Constraints: 3631
104.27/104.61 c #Conflicts: 6000 | #Constraints: 4631
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 7000 | #Constraints: 3641
104.27/104.61 c #Conflicts: 8000 | #Constraints: 4641
104.27/104.61 c #Conflicts: 9000 | #Constraints: 5641
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 10000 | #Constraints: 4338
104.27/104.61 c #Conflicts: 11000 | #Constraints: 5338
104.27/104.61 c #Conflicts: 12000 | #Constraints: 6338
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 13000 | #Constraints: 4808
104.27/104.61 c #Conflicts: 14000 | #Constraints: 5808
104.27/104.61 c #Conflicts: 15000 | #Constraints: 6808
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 16000 | #Constraints: 5018
104.27/104.61 c #Conflicts: 17000 | #Constraints: 6018
104.27/104.61 c #Conflicts: 18000 | #Constraints: 7018
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 19000 | #Constraints: 5024
104.27/104.61 c #Conflicts: 20000 | #Constraints: 6024
104.27/104.61 c #Conflicts: 21000 | #Constraints: 7024
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 22000 | #Constraints: 4817
104.27/104.61 c #Conflicts: 23000 | #Constraints: 5817
104.27/104.61 c #Conflicts: 24000 | #Constraints: 6817
104.27/104.61 c #Conflicts: 25000 | #Constraints: 7817
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 26000 | #Constraints: 5452
104.27/104.61 c #Conflicts: 27000 | #Constraints: 6452
104.27/104.61 c #Conflicts: 28000 | #Constraints: 7452
104.27/104.61 c #Conflicts: 29000 | #Constraints: 8452
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 30000 | #Constraints: 5856
104.27/104.61 c #Conflicts: 31000 | #Constraints: 6856
104.27/104.61 c #Conflicts: 32000 | #Constraints: 7856
104.27/104.61 c #Conflicts: 33000 | #Constraints: 8856
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 34000 | #Constraints: 6049
104.27/104.61 c #Conflicts: 35000 | #Constraints: 7049
104.27/104.61 c #Conflicts: 36000 | #Constraints: 8049
104.27/104.61 c #Conflicts: 37000 | #Constraints: 9049
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 38000 | #Constraints: 6067
104.27/104.61 c #Conflicts: 39000 | #Constraints: 7067
104.27/104.61 c #Conflicts: 40000 | #Constraints: 8067
104.27/104.61 c #Conflicts: 41000 | #Constraints: 9067
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 42000 | #Constraints: 5849
104.27/104.61 c #Conflicts: 43000 | #Constraints: 6849
104.27/104.61 c #Conflicts: 44000 | #Constraints: 7849
104.27/104.61 c #Conflicts: 45000 | #Constraints: 8849
104.27/104.61 c #Conflicts: 46000 | #Constraints: 9849
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 47000 | #Constraints: 6448
104.27/104.61 c #Conflicts: 48000 | #Constraints: 7448
104.27/104.61 c #Conflicts: 49000 | #Constraints: 8448
104.27/104.61 c #Conflicts: 50000 | #Constraints: 9448
104.27/104.61 c #Conflicts: 51000 | #Constraints: 10448
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 52000 | #Constraints: 6875
104.27/104.61 c #Conflicts: 53000 | #Constraints: 7875
104.27/104.61 c #Conflicts: 54000 | #Constraints: 8875
104.27/104.61 c #Conflicts: 55000 | #Constraints: 9875
104.27/104.61 c #Conflicts: 56000 | #Constraints: 10875
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 57000 | #Constraints: 7067
104.27/104.61 c #Conflicts: 58000 | #Constraints: 8067
104.27/104.61 c #Conflicts: 59000 | #Constraints: 9067
104.27/104.61 c #Conflicts: 60000 | #Constraints: 10067
104.27/104.61 c #Conflicts: 61000 | #Constraints: 11067
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 62000 | #Constraints: 7075
104.27/104.61 c #Conflicts: 63000 | #Constraints: 8075
104.27/104.61 c #Conflicts: 64000 | #Constraints: 9075
104.27/104.61 c #Conflicts: 65000 | #Constraints: 10075
104.27/104.61 c #Conflicts: 66000 | #Constraints: 11075
104.27/104.61 c INPROCESSING
104.27/104.61 c GARBAGE COLLECT
104.27/104.61 c #Conflicts: 67000 | #Constraints: 6897
104.27/104.61 c #Conflicts: 68000 | #Constraints: 7897
226.67/227.47 c #Conflicts: 69000 | #Constraints: 8897
226.67/227.47 c #Conflicts: 70000 | #Constraints: 9897
226.67/227.47 c #Conflicts: 71000 | #Constraints: 10897
226.67/227.47 c #Conflicts: 72000 | #Constraints: 11897
226.67/227.47 c INPROCESSING
226.67/227.47 c GARBAGE COLLECT
226.67/227.47 c #Conflicts: 73000 | #Constraints: 7491
226.67/227.47 c #Conflicts: 74000 | #Constraints: 8491
226.67/227.47 c #Conflicts: 75000 | #Constraints: 9491
226.67/227.47 c #Conflicts: 76000 | #Constraints: 10491
226.67/227.47 c #Conflicts: 77000 | #Constraints: 11491
226.67/227.47 c #Conflicts: 78000 | #Constraints: 12491
226.67/227.47 c INPROCESSING
226.67/227.47 c GARBAGE COLLECT
226.67/227.47 c #Conflicts: 79000 | #Constraints: 7880
226.67/227.47 c #Conflicts: 80000 | #Constraints: 8880
226.67/227.47 c #Conflicts: 81000 | #Constraints: 9880
226.67/227.47 c #Conflicts: 82000 | #Constraints: 10880
226.67/227.47 c #Conflicts: 83000 | #Constraints: 11880
226.67/227.47 c #Conflicts: 84000 | #Constraints: 12880
226.67/227.47 c INPROCESSING
226.67/227.47 c GARBAGE COLLECT
226.67/227.47 c #Conflicts: 85000 | #Constraints: 8105
226.67/227.47 c #Conflicts: 86000 | #Constraints: 9105
226.67/227.47 c #Conflicts: 87000 | #Constraints: 10105
226.67/227.47 c #Conflicts: 88000 | #Constraints: 11105
226.67/227.47 c #Conflicts: 89000 | #Constraints: 12105
226.67/227.47 c #Conflicts: 90000 | #Constraints: 13105
226.67/227.47 c INPROCESSING
226.67/227.47 c GARBAGE COLLECT
226.67/227.47 c #Conflicts: 91000 | #Constraints: 8088
226.67/227.47 c #Conflicts: 92000 | #Constraints: 9088
226.67/227.47 c #Conflicts: 93000 | #Constraints: 10088
226.67/227.47 c #Conflicts: 94000 | #Constraints: 11088
226.67/227.47 c #Conflicts: 95000 | #Constraints: 12088
226.67/227.47 c #Conflicts: 96000 | #Constraints: 13088
226.67/227.47 c INPROCESSING
226.67/227.47 c GARBAGE COLLECT
226.67/227.47 c #Conflicts: 97000 | #Constraints: 7890
226.67/227.47 c #Conflicts: 98000 | #Constraints: 8890
226.67/227.47 c #Conflicts: 99000 | #Constraints: 9890
226.67/227.47 c #Conflicts: 100000 | #Constraints: 10890
226.67/227.47 c #Conflicts: 101000 | #Constraints: 11890
226.67/227.47 c #Conflicts: 102000 | #Constraints: 12890
226.67/227.47 c #Conflicts: 103000 | #Constraints: 13890
226.67/227.47 c INPROCESSING
226.67/227.47 c GARBAGE COLLECT
226.67/227.47 c #Conflicts: 104000 | #Constraints: 8501
226.67/227.47 c #Conflicts: 105000 | #Constraints: 9501
226.67/227.47 c #Conflicts: 106000 | #Constraints: 10501
226.67/227.47 c #Conflicts: 107000 | #Constraints: 11501
226.67/227.47 c #Conflicts: 108000 | #Constraints: 12501
226.67/227.47 c #Conflicts: 109000 | #Constraints: 13501
226.67/227.47 c #Conflicts: 110000 | #Constraints: 14501
226.67/227.47 c INPROCESSING
226.67/227.47 c GARBAGE COLLECT
226.67/227.47 c #Conflicts: 111000 | #Constraints: 8919
226.67/227.47 c #Conflicts: 112000 | #Constraints: 9919
226.67/227.47 c #Conflicts: 113000 | #Constraints: 10919
226.67/227.47 c #Conflicts: 114000 | #Constraints: 11919
226.67/227.47 c #Conflicts: 115000 | #Constraints: 12919
226.67/227.47 c #Conflicts: 116000 | #Constraints: 13919
226.67/227.47 c #Conflicts: 117000 | #Constraints: 14919
226.67/227.47 c INPROCESSING
226.67/227.47 c GARBAGE COLLECT
226.67/227.47 c #Conflicts: 118000 | #Constraints: 9122
226.67/227.47 c #Conflicts: 119000 | #Constraints: 10122
226.67/227.47 c #Conflicts: 120000 | #Constraints: 11122
226.67/227.47 c #Conflicts: 121000 | #Constraints: 12122
226.67/227.47 c #Conflicts: 122000 | #Constraints: 13122
226.67/227.47 c #Conflicts: 123000 | #Constraints: 14122
226.67/227.47 c #Conflicts: 124000 | #Constraints: 15122
226.67/227.47 c INPROCESSING
226.67/227.47 c GARBAGE COLLECT
226.67/227.47 c #Conflicts: 125000 | #Constraints: 9124
226.67/227.47 c #Conflicts: 126000 | #Constraints: 10124
226.67/227.47 c #Conflicts: 127000 | #Constraints: 11124
226.67/227.47 c #Conflicts: 128000 | #Constraints: 12124
226.67/227.47 c #Conflicts: 129000 | #Constraints: 13124
226.67/227.47 c #Conflicts: 130000 | #Constraints: 14124
226.67/227.47 c #Conflicts: 131000 | #Constraints: 15124
226.67/227.47 c INPROCESSING
226.67/227.47 c GARBAGE COLLECT
226.67/227.47 c #Conflicts: 132000 | #Constraints: 8932
226.67/227.47 c #Conflicts: 133000 | #Constraints: 9932
226.67/227.47 c #Conflicts: 134000 | #Constraints: 10932
226.67/227.47 c #Conflicts: 135000 | #Constraints: 11932
226.67/227.47 c #Conflicts: 136000 | #Constraints: 12932
226.67/227.47 c #Conflicts: 137000 | #Constraints: 13932
226.67/227.47 c #Conflicts: 138000 | #Constraints: 14932
226.67/227.47 c #Conflicts: 139000 | #Constraints: 15932
226.67/227.47 c INPROCESSING
226.67/227.47 c GARBAGE COLLECT
226.67/227.47 c #Conflicts: 140000 | #Constraints: 9529
342.88/344.10 c #Conflicts: 141000 | #Constraints: 10529
342.88/344.10 c #Conflicts: 142000 | #Constraints: 11529
342.88/344.10 c #Conflicts: 143000 | #Constraints: 12529
342.88/344.10 c #Conflicts: 144000 | #Constraints: 13529
342.88/344.10 c #Conflicts: 145000 | #Constraints: 14529
342.88/344.10 c #Conflicts: 146000 | #Constraints: 15529
342.88/344.10 c #Conflicts: 147000 | #Constraints: 16529
342.88/344.10 c INPROCESSING
342.88/344.10 c GARBAGE COLLECT
342.88/344.10 c #Conflicts: 148000 | #Constraints: 9924
342.88/344.10 c #Conflicts: 149000 | #Constraints: 10924
342.88/344.10 c #Conflicts: 150000 | #Constraints: 11924
342.88/344.10 c #Conflicts: 151000 | #Constraints: 12924
342.88/344.10 c #Conflicts: 152000 | #Constraints: 13924
342.88/344.10 c #Conflicts: 153000 | #Constraints: 14924
342.88/344.10 c #Conflicts: 154000 | #Constraints: 15924
342.88/344.10 c #Conflicts: 155000 | #Constraints: 16924
342.88/344.10 c INPROCESSING
342.88/344.10 c GARBAGE COLLECT
342.88/344.10 c #Conflicts: 156000 | #Constraints: 10119
342.88/344.10 c #Conflicts: 157000 | #Constraints: 11119
342.88/344.10 c #Conflicts: 158000 | #Constraints: 12119
342.88/344.10 c #Conflicts: 159000 | #Constraints: 13119
342.88/344.10 c #Conflicts: 160000 | #Constraints: 14119
342.88/344.10 c #Conflicts: 161000 | #Constraints: 15119
342.88/344.10 c #Conflicts: 162000 | #Constraints: 16119
342.88/344.10 c #Conflicts: 163000 | #Constraints: 17119
342.88/344.10 c INPROCESSING
342.88/344.10 c GARBAGE COLLECT
342.88/344.10 c #Conflicts: 164000 | #Constraints: 10137
342.88/344.10 c #Conflicts: 165000 | #Constraints: 11137
342.88/344.10 c #Conflicts: 166000 | #Constraints: 12137
342.88/344.10 c #Conflicts: 167000 | #Constraints: 13137
342.88/344.10 c #Conflicts: 168000 | #Constraints: 14137
342.88/344.10 c #Conflicts: 169000 | #Constraints: 15137
342.88/344.10 c #Conflicts: 170000 | #Constraints: 16137
342.88/344.10 c #Conflicts: 171000 | #Constraints: 17137
342.88/344.10 c INPROCESSING
342.88/344.10 c GARBAGE COLLECT
342.88/344.10 c #Conflicts: 172000 | #Constraints: 9886
342.88/344.10 c #Conflicts: 173000 | #Constraints: 10886
342.88/344.10 c #Conflicts: 174000 | #Constraints: 11886
342.88/344.10 c #Conflicts: 175000 | #Constraints: 12886
342.88/344.10 c #Conflicts: 176000 | #Constraints: 13886
342.88/344.10 c #Conflicts: 177000 | #Constraints: 14886
342.88/344.10 c #Conflicts: 178000 | #Constraints: 15886
342.88/344.10 c #Conflicts: 179000 | #Constraints: 16886
342.88/344.10 c #Conflicts: 180000 | #Constraints: 17886
342.88/344.10 c INPROCESSING
342.88/344.10 c GARBAGE COLLECT
342.88/344.10 c #Conflicts: 181000 | #Constraints: 10501
342.88/344.10 c #Conflicts: 182000 | #Constraints: 11501
342.88/344.10 c #Conflicts: 183000 | #Constraints: 12501
342.88/344.10 c #Conflicts: 184000 | #Constraints: 13501
342.88/344.10 c #Conflicts: 185000 | #Constraints: 14501
342.88/344.10 c #Conflicts: 186000 | #Constraints: 15501
342.88/344.10 c #Conflicts: 187000 | #Constraints: 16501
342.88/344.10 c #Conflicts: 188000 | #Constraints: 17501
342.88/344.10 c #Conflicts: 189000 | #Constraints: 18501
342.88/344.10 c INPROCESSING
342.88/344.10 c GARBAGE COLLECT
342.88/344.10 c #Conflicts: 190000 | #Constraints: 10891
342.88/344.10 c #Conflicts: 191000 | #Constraints: 11891
342.88/344.10 c #Conflicts: 192000 | #Constraints: 12891
342.88/344.10 c #Conflicts: 193000 | #Constraints: 13891
342.88/344.10 c #Conflicts: 194000 | #Constraints: 14891
342.88/344.10 c #Conflicts: 195000 | #Constraints: 15891
342.88/344.10 c #Conflicts: 196000 | #Constraints: 16891
342.88/344.10 c #Conflicts: 197000 | #Constraints: 17891
342.88/344.10 c #Conflicts: 198000 | #Constraints: 18891
342.88/344.10 c INPROCESSING
342.88/344.10 c GARBAGE COLLECT
342.88/344.10 c #Conflicts: 199000 | #Constraints: 11127
342.88/344.10 c #Conflicts: 200000 | #Constraints: 12127
342.88/344.10 c #Conflicts: 201000 | #Constraints: 13127
342.88/344.10 c #Conflicts: 202000 | #Constraints: 14127
342.88/344.10 c #Conflicts: 203000 | #Constraints: 15127
342.88/344.10 c #Conflicts: 204000 | #Constraints: 16127
342.88/344.10 c #Conflicts: 205000 | #Constraints: 17127
342.88/344.10 c #Conflicts: 206000 | #Constraints: 18127
342.88/344.10 c #Conflicts: 207000 | #Constraints: 19127
342.88/344.10 c INPROCESSING
342.88/344.10 c GARBAGE COLLECT
342.88/344.10 c #Conflicts: 208000 | #Constraints: 11115
342.88/344.10 c #Conflicts: 209000 | #Constraints: 12115
342.88/344.10 c #Conflicts: 210000 | #Constraints: 13115
342.88/344.10 c #Conflicts: 211000 | #Constraints: 14115
342.88/344.10 c #Conflicts: 212000 | #Constraints: 15115
342.88/344.10 c #Conflicts: 213000 | #Constraints: 16115
467.05/468.65 c #Conflicts: 214000 | #Constraints: 17115
467.05/468.65 c #Conflicts: 215000 | #Constraints: 18115
467.05/468.65 c #Conflicts: 216000 | #Constraints: 19115
467.05/468.65 c INPROCESSING
467.05/468.65 c GARBAGE COLLECT
467.05/468.65 c #Conflicts: 217000 | #Constraints: 10926
467.05/468.65 c #Conflicts: 218000 | #Constraints: 11926
467.05/468.65 c #Conflicts: 219000 | #Constraints: 12926
467.05/468.65 c #Conflicts: 220000 | #Constraints: 13926
467.05/468.65 c #Conflicts: 221000 | #Constraints: 14926
467.05/468.65 c #Conflicts: 222000 | #Constraints: 15926
467.05/468.65 c #Conflicts: 223000 | #Constraints: 16926
467.05/468.65 c #Conflicts: 224000 | #Constraints: 17926
467.05/468.65 c #Conflicts: 225000 | #Constraints: 18926
467.05/468.65 c #Conflicts: 226000 | #Constraints: 19926
467.05/468.65 c INPROCESSING
467.05/468.65 c GARBAGE COLLECT
467.05/468.65 c #Conflicts: 227000 | #Constraints: 11550
467.05/468.65 c #Conflicts: 228000 | #Constraints: 12550
467.05/468.65 c #Conflicts: 229000 | #Constraints: 13550
467.05/468.65 c #Conflicts: 230000 | #Constraints: 14550
467.05/468.65 c #Conflicts: 231000 | #Constraints: 15550
467.05/468.65 c #Conflicts: 232000 | #Constraints: 16550
467.05/468.65 c #Conflicts: 233000 | #Constraints: 17550
467.05/468.65 c #Conflicts: 234000 | #Constraints: 18550
467.05/468.65 c #Conflicts: 235000 | #Constraints: 19550
467.05/468.65 c #Conflicts: 236000 | #Constraints: 20550
467.05/468.65 c INPROCESSING
467.05/468.65 c GARBAGE COLLECT
467.05/468.65 c #Conflicts: 237000 | #Constraints: 11957
467.05/468.65 c #Conflicts: 238000 | #Constraints: 12957
467.05/468.65 c #Conflicts: 239000 | #Constraints: 13957
467.05/468.65 c #Conflicts: 240000 | #Constraints: 14957
467.05/468.65 c #Conflicts: 241000 | #Constraints: 15957
467.05/468.65 c #Conflicts: 242000 | #Constraints: 16957
467.05/468.65 c #Conflicts: 243000 | #Constraints: 17957
467.05/468.65 c #Conflicts: 244000 | #Constraints: 18957
467.05/468.65 c #Conflicts: 245000 | #Constraints: 19957
467.05/468.65 c #Conflicts: 246000 | #Constraints: 20957
467.05/468.65 c INPROCESSING
467.05/468.65 c GARBAGE COLLECT
467.05/468.65 c #Conflicts: 247000 | #Constraints: 12134
467.05/468.65 c #Conflicts: 248000 | #Constraints: 13134
467.05/468.65 c #Conflicts: 249000 | #Constraints: 14134
467.05/468.65 c #Conflicts: 250000 | #Constraints: 15134
467.05/468.65 c #Conflicts: 251000 | #Constraints: 16134
467.05/468.65 c #Conflicts: 252000 | #Constraints: 17134
467.05/468.65 c #Conflicts: 253000 | #Constraints: 18134
467.05/468.65 c #Conflicts: 254000 | #Constraints: 19134
467.05/468.65 c #Conflicts: 255000 | #Constraints: 20134
467.05/468.65 c #Conflicts: 256000 | #Constraints: 21134
467.05/468.65 c INPROCESSING
467.05/468.65 c GARBAGE COLLECT
467.05/468.65 c #Conflicts: 257000 | #Constraints: 12130
467.05/468.65 c #Conflicts: 258000 | #Constraints: 13130
467.05/468.65 c #Conflicts: 259000 | #Constraints: 14130
467.05/468.65 c #Conflicts: 260000 | #Constraints: 15130
467.05/468.65 c #Conflicts: 261000 | #Constraints: 16130
467.05/468.65 c #Conflicts: 262000 | #Constraints: 17130
467.05/468.65 c #Conflicts: 263000 | #Constraints: 18130
467.05/468.65 c #Conflicts: 264000 | #Constraints: 19130
467.05/468.65 c #Conflicts: 265000 | #Constraints: 20130
467.05/468.65 c #Conflicts: 266000 | #Constraints: 21130
467.05/468.65 c INPROCESSING
467.05/468.65 c GARBAGE COLLECT
467.05/468.65 c #Conflicts: 267000 | #Constraints: 11952
467.05/468.65 c #Conflicts: 268000 | #Constraints: 12952
467.05/468.65 c #Conflicts: 269000 | #Constraints: 13952
467.05/468.65 c #Conflicts: 270000 | #Constraints: 14952
467.05/468.65 c #Conflicts: 271000 | #Constraints: 15952
467.05/468.65 c #Conflicts: 272000 | #Constraints: 16952
467.05/468.65 c #Conflicts: 273000 | #Constraints: 17952
467.05/468.65 c #Conflicts: 274000 | #Constraints: 18952
467.05/468.65 c #Conflicts: 275000 | #Constraints: 19952
467.05/468.65 c #Conflicts: 276000 | #Constraints: 20952
467.05/468.65 c #Conflicts: 277000 | #Constraints: 21952
467.05/468.65 c INPROCESSING
467.05/468.65 c GARBAGE COLLECT
467.05/468.65 c #Conflicts: 278000 | #Constraints: 12543
467.05/468.65 c #Conflicts: 279000 | #Constraints: 13543
467.05/468.65 c #Conflicts: 280000 | #Constraints: 14543
467.05/468.65 c #Conflicts: 281000 | #Constraints: 15543
467.05/468.65 c #Conflicts: 282000 | #Constraints: 16543
467.05/468.65 c #Conflicts: 283000 | #Constraints: 17543
467.05/468.65 c #Conflicts: 284000 | #Constraints: 18543
467.05/468.65 c #Conflicts: 285000 | #Constraints: 19543
467.05/468.65 c #Conflicts: 286000 | #Constraints: 20543
467.05/468.65 c #Conflicts: 287000 | #Constraints: 21543
467.05/468.65 c #Conflicts: 288000 | #Constraints: 22543
620.13/622.27 c INPROCESSING
620.13/622.27 c GARBAGE COLLECT
620.13/622.27 c #Conflicts: 289000 | #Constraints: 12955
620.13/622.27 c #Conflicts: 290000 | #Constraints: 13955
620.13/622.27 c #Conflicts: 291000 | #Constraints: 14955
620.13/622.27 c #Conflicts: 292000 | #Constraints: 15955
620.13/622.27 c #Conflicts: 293000 | #Constraints: 16955
620.13/622.27 c #Conflicts: 294000 | #Constraints: 17955
620.13/622.27 c #Conflicts: 295000 | #Constraints: 18955
620.13/622.27 c #Conflicts: 296000 | #Constraints: 19955
620.13/622.27 c #Conflicts: 297000 | #Constraints: 20955
620.13/622.27 c #Conflicts: 298000 | #Constraints: 21955
620.13/622.27 c #Conflicts: 299000 | #Constraints: 22955
620.13/622.27 c INPROCESSING
620.13/622.27 c GARBAGE COLLECT
620.13/622.27 c #Conflicts: 300000 | #Constraints: 13162
620.13/622.27 c #Conflicts: 301000 | #Constraints: 14162
620.13/622.27 c #Conflicts: 302000 | #Constraints: 15162
620.13/622.27 c #Conflicts: 303000 | #Constraints: 16162
620.13/622.27 c #Conflicts: 304000 | #Constraints: 17162
620.13/622.27 c #Conflicts: 305000 | #Constraints: 18162
620.13/622.27 c #Conflicts: 306000 | #Constraints: 19162
620.13/622.27 c #Conflicts: 307000 | #Constraints: 20162
620.13/622.27 c #Conflicts: 308000 | #Constraints: 21162
620.13/622.27 c #Conflicts: 309000 | #Constraints: 22162
620.13/622.27 c #Conflicts: 310000 | #Constraints: 23162
620.13/622.27 c INPROCESSING
620.13/622.27 c GARBAGE COLLECT
620.13/622.27 c #Conflicts: 311000 | #Constraints: 13152
620.13/622.27 c #Conflicts: 312000 | #Constraints: 14152
620.13/622.27 c #Conflicts: 313000 | #Constraints: 15152
620.13/622.27 c #Conflicts: 314000 | #Constraints: 16152
620.13/622.27 c #Conflicts: 315000 | #Constraints: 17152
620.13/622.27 c #Conflicts: 316000 | #Constraints: 18152
620.13/622.27 c #Conflicts: 317000 | #Constraints: 19152
620.13/622.27 c #Conflicts: 318000 | #Constraints: 20152
620.13/622.27 c #Conflicts: 319000 | #Constraints: 21152
620.13/622.27 c #Conflicts: 320000 | #Constraints: 22152
620.13/622.27 c #Conflicts: 321000 | #Constraints: 23152
620.13/622.27 c INPROCESSING
620.13/622.27 c GARBAGE COLLECT
620.13/622.27 c #Conflicts: 322000 | #Constraints: 12965
620.13/622.27 c #Conflicts: 323000 | #Constraints: 13965
620.13/622.27 c #Conflicts: 324000 | #Constraints: 14965
620.13/622.27 c #Conflicts: 325000 | #Constraints: 15965
620.13/622.27 c #Conflicts: 326000 | #Constraints: 16965
620.13/622.27 c #Conflicts: 327000 | #Constraints: 17965
620.13/622.27 c #Conflicts: 328000 | #Constraints: 18965
620.13/622.27 c #Conflicts: 329000 | #Constraints: 19965
620.13/622.27 c #Conflicts: 330000 | #Constraints: 20965
620.13/622.27 c #Conflicts: 331000 | #Constraints: 21965
620.13/622.27 c #Conflicts: 332000 | #Constraints: 22965
620.13/622.27 c #Conflicts: 333000 | #Constraints: 23965
620.13/622.27 c INPROCESSING
620.13/622.27 c GARBAGE COLLECT
620.13/622.27 c #Conflicts: 334000 | #Constraints: 13569
620.13/622.27 c #Conflicts: 335000 | #Constraints: 14569
620.13/622.27 c #Conflicts: 336000 | #Constraints: 15569
620.13/622.27 c #Conflicts: 337000 | #Constraints: 16569
620.13/622.27 c #Conflicts: 338000 | #Constraints: 17569
620.13/622.27 c #Conflicts: 339000 | #Constraints: 18569
620.13/622.27 c #Conflicts: 340000 | #Constraints: 19569
620.13/622.27 c #Conflicts: 341000 | #Constraints: 20569
620.13/622.27 c #Conflicts: 342000 | #Constraints: 21569
620.13/622.27 c #Conflicts: 343000 | #Constraints: 22569
620.13/622.27 c #Conflicts: 344000 | #Constraints: 23569
620.13/622.27 c #Conflicts: 345000 | #Constraints: 24569
620.13/622.27 c INPROCESSING
620.13/622.27 c GARBAGE COLLECT
620.13/622.27 c #Conflicts: 346000 | #Constraints: 13976
620.13/622.27 c #Conflicts: 347000 | #Constraints: 14976
620.13/622.27 c #Conflicts: 348000 | #Constraints: 15976
620.13/622.27 c #Conflicts: 349000 | #Constraints: 16976
620.13/622.27 c #Conflicts: 350000 | #Constraints: 17976
620.13/622.27 c #Conflicts: 351000 | #Constraints: 18976
620.13/622.27 c #Conflicts: 352000 | #Constraints: 19976
620.13/622.27 c #Conflicts: 353000 | #Constraints: 20976
620.13/622.27 c #Conflicts: 354000 | #Constraints: 21976
620.13/622.27 c #Conflicts: 355000 | #Constraints: 22976
620.13/622.27 c #Conflicts: 356000 | #Constraints: 23976
620.13/622.27 c #Conflicts: 357000 | #Constraints: 24976
620.13/622.27 c INPROCESSING
620.13/622.27 c GARBAGE COLLECT
620.13/622.27 c #Conflicts: 358000 | #Constraints: 14174
620.13/622.27 c #Conflicts: 359000 | #Constraints: 15174
620.13/622.27 c #Conflicts: 360000 | #Constraints: 16174
620.13/622.27 c #Conflicts: 361000 | #Constraints: 17174
620.13/622.27 c #Conflicts: 362000 | #Constraints: 18174
786.52/789.15 c #Conflicts: 363000 | #Constraints: 19174
786.52/789.15 c #Conflicts: 364000 | #Constraints: 20174
786.52/789.15 c #Conflicts: 365000 | #Constraints: 21174
786.52/789.15 c #Conflicts: 366000 | #Constraints: 22174
786.52/789.15 c #Conflicts: 367000 | #Constraints: 23174
786.52/789.15 c #Conflicts: 368000 | #Constraints: 24174
786.52/789.15 c #Conflicts: 369000 | #Constraints: 25174
786.52/789.15 c INPROCESSING
786.52/789.15 c GARBAGE COLLECT
786.52/789.15 c #Conflicts: 370000 | #Constraints: 14169
786.52/789.15 c #Conflicts: 371000 | #Constraints: 15169
786.52/789.15 c #Conflicts: 372000 | #Constraints: 16169
786.52/789.15 c #Conflicts: 373000 | #Constraints: 17169
786.52/789.15 c #Conflicts: 374000 | #Constraints: 18169
786.52/789.15 c #Conflicts: 375000 | #Constraints: 19169
786.52/789.15 c #Conflicts: 376000 | #Constraints: 20169
786.52/789.15 c #Conflicts: 377000 | #Constraints: 21169
786.52/789.15 c #Conflicts: 378000 | #Constraints: 22169
786.52/789.15 c #Conflicts: 379000 | #Constraints: 23169
786.52/789.15 c #Conflicts: 380000 | #Constraints: 24169
786.52/789.15 c #Conflicts: 381000 | #Constraints: 25169
786.52/789.15 c INPROCESSING
786.52/789.15 c GARBAGE COLLECT
786.52/789.15 c #Conflicts: 382000 | #Constraints: 13967
786.52/789.15 c #Conflicts: 383000 | #Constraints: 14967
786.52/789.15 c #Conflicts: 384000 | #Constraints: 15967
786.52/789.15 c #Conflicts: 385000 | #Constraints: 16967
786.52/789.15 c #Conflicts: 386000 | #Constraints: 17967
786.52/789.15 c #Conflicts: 387000 | #Constraints: 18967
786.52/789.15 c #Conflicts: 388000 | #Constraints: 19967
786.52/789.15 c #Conflicts: 389000 | #Constraints: 20967
786.52/789.15 c #Conflicts: 390000 | #Constraints: 21967
786.52/789.15 c #Conflicts: 391000 | #Constraints: 22967
786.52/789.15 c #Conflicts: 392000 | #Constraints: 23967
786.52/789.15 c #Conflicts: 393000 | #Constraints: 24967
786.52/789.15 c #Conflicts: 394000 | #Constraints: 25967
786.52/789.15 c INPROCESSING
786.52/789.15 c GARBAGE COLLECT
786.52/789.15 c #Conflicts: 395000 | #Constraints: 14560
786.52/789.15 c #Conflicts: 396000 | #Constraints: 15560
786.52/789.15 c #Conflicts: 397000 | #Constraints: 16560
786.52/789.15 c #Conflicts: 398000 | #Constraints: 17560
786.52/789.15 c #Conflicts: 399000 | #Constraints: 18560
786.52/789.15 c #Conflicts: 400000 | #Constraints: 19560
786.52/789.15 c #Conflicts: 401000 | #Constraints: 20560
786.52/789.15 c #Conflicts: 402000 | #Constraints: 21560
786.52/789.15 c #Conflicts: 403000 | #Constraints: 22560
786.52/789.15 c #Conflicts: 404000 | #Constraints: 23560
786.52/789.15 c #Conflicts: 405000 | #Constraints: 24560
786.52/789.15 c #Conflicts: 406000 | #Constraints: 25560
786.52/789.15 c #Conflicts: 407000 | #Constraints: 26560
786.52/789.15 c INPROCESSING
786.52/789.15 c GARBAGE COLLECT
786.52/789.15 c #Conflicts: 408000 | #Constraints: 14981
786.52/789.15 c #Conflicts: 409000 | #Constraints: 15981
786.52/789.15 c #Conflicts: 410000 | #Constraints: 16981
786.52/789.15 c #Conflicts: 411000 | #Constraints: 17981
786.52/789.15 c #Conflicts: 412000 | #Constraints: 18981
786.52/789.15 c #Conflicts: 413000 | #Constraints: 19981
786.52/789.15 c #Conflicts: 414000 | #Constraints: 20981
786.52/789.15 c #Conflicts: 415000 | #Constraints: 21981
786.52/789.15 c #Conflicts: 416000 | #Constraints: 22981
786.52/789.15 c #Conflicts: 417000 | #Constraints: 23981
786.52/789.15 c #Conflicts: 418000 | #Constraints: 24981
786.52/789.15 c #Conflicts: 419000 | #Constraints: 25981
786.52/789.15 c #Conflicts: 420000 | #Constraints: 26981
786.52/789.15 c INPROCESSING
786.52/789.15 c GARBAGE COLLECT
786.52/789.15 c #Conflicts: 421000 | #Constraints: 15182
786.52/789.15 c #Conflicts: 422000 | #Constraints: 16182
786.52/789.15 c #Conflicts: 423000 | #Constraints: 17182
786.52/789.15 c #Conflicts: 424000 | #Constraints: 18182
786.52/789.15 c #Conflicts: 425000 | #Constraints: 19182
786.52/789.15 c #Conflicts: 426000 | #Constraints: 20182
786.52/789.15 c #Conflicts: 427000 | #Constraints: 21182
786.52/789.15 c #Conflicts: 428000 | #Constraints: 22182
786.52/789.15 c #Conflicts: 429000 | #Constraints: 23182
786.52/789.15 c #Conflicts: 430000 | #Constraints: 24182
786.52/789.15 c #Conflicts: 431000 | #Constraints: 25182
786.52/789.15 c #Conflicts: 432000 | #Constraints: 26182
786.52/789.15 c #Conflicts: 433000 | #Constraints: 27182
786.52/789.15 c INPROCESSING
786.52/789.15 c GARBAGE COLLECT
786.52/789.15 c #Conflicts: 434000 | #Constraints: 15203
786.52/789.15 c #Conflicts: 435000 | #Constraints: 16203
786.52/789.15 c #Conflicts: 436000 | #Constraints: 17203
786.52/789.15 c #Conflicts: 437000 | #Constraints: 18203
905.54/908.53 c #Conflicts: 438000 | #Constraints: 19203
905.54/908.53 c #Conflicts: 439000 | #Constraints: 20203
905.54/908.53 c #Conflicts: 440000 | #Constraints: 21203
905.54/908.53 c #Conflicts: 441000 | #Constraints: 22203
905.54/908.53 c #Conflicts: 442000 | #Constraints: 23203
905.54/908.53 c #Conflicts: 443000 | #Constraints: 24203
905.54/908.53 c #Conflicts: 444000 | #Constraints: 25203
905.54/908.53 c #Conflicts: 445000 | #Constraints: 26203
905.54/908.53 c #Conflicts: 446000 | #Constraints: 27203
905.54/908.53 c INPROCESSING
905.54/908.53 c GARBAGE COLLECT
905.54/908.53 c #Conflicts: 447000 | #Constraints: 15005
905.54/908.53 c #Conflicts: 448000 | #Constraints: 16005
905.54/908.53 c #Conflicts: 449000 | #Constraints: 17005
905.54/908.53 c #Conflicts: 450000 | #Constraints: 18005
905.54/908.53 c #Conflicts: 451000 | #Constraints: 19005
905.54/908.53 c #Conflicts: 452000 | #Constraints: 20005
905.54/908.53 c #Conflicts: 453000 | #Constraints: 21005
905.54/908.53 c #Conflicts: 454000 | #Constraints: 22005
905.54/908.53 c #Conflicts: 455000 | #Constraints: 23005
905.54/908.53 c #Conflicts: 456000 | #Constraints: 24005
905.54/908.53 c #Conflicts: 457000 | #Constraints: 25005
905.54/908.53 c #Conflicts: 458000 | #Constraints: 26005
905.54/908.53 c #Conflicts: 459000 | #Constraints: 27005
905.54/908.53 c #Conflicts: 460000 | #Constraints: 28005
905.54/908.53 c INPROCESSING
905.54/908.53 c GARBAGE COLLECT
905.54/908.53 c #Conflicts: 461000 | #Constraints: 15599
905.54/908.53 c #Conflicts: 462000 | #Constraints: 16599
905.54/908.53 c #Conflicts: 463000 | #Constraints: 17599
905.54/908.53 c #Conflicts: 464000 | #Constraints: 18599
905.54/908.53 c #Conflicts: 465000 | #Constraints: 19599
905.54/908.53 c #Conflicts: 466000 | #Constraints: 20599
905.54/908.53 c #Conflicts: 467000 | #Constraints: 21599
905.54/908.53 c #Conflicts: 468000 | #Constraints: 22599
905.54/908.53 c #Conflicts: 469000 | #Constraints: 23599
905.54/908.53 c #Conflicts: 470000 | #Constraints: 24599
905.54/908.53 c #Conflicts: 471000 | #Constraints: 25599
905.54/908.53 c #Conflicts: 472000 | #Constraints: 26599
905.54/908.53 c #Conflicts: 473000 | #Constraints: 27599
905.54/908.53 c #Conflicts: 474000 | #Constraints: 28599
905.54/908.53 c INPROCESSING
905.54/908.53 c GARBAGE COLLECT
905.54/908.53 c #Conflicts: 475000 | #Constraints: 15991
905.54/908.53 c #Conflicts: 476000 | #Constraints: 16991
905.54/908.53 c #Conflicts: 477000 | #Constraints: 17991
905.54/908.53 c #Conflicts: 478000 | #Constraints: 18991
905.54/908.53 c #Conflicts: 479000 | #Constraints: 19991
905.54/908.53 c #Conflicts: 480000 | #Constraints: 20991
905.54/908.53 c #Conflicts: 481000 | #Constraints: 21991
905.54/908.53 c #Conflicts: 482000 | #Constraints: 22991
905.54/908.53 c #Conflicts: 483000 | #Constraints: 23991
905.54/908.53 c #Conflicts: 484000 | #Constraints: 24991
905.54/908.53 c #Conflicts: 485000 | #Constraints: 25991
905.54/908.53 c #Conflicts: 486000 | #Constraints: 26991
905.54/908.53 c #Conflicts: 487000 | #Constraints: 27991
905.54/908.53 c #Conflicts: 488000 | #Constraints: 28991
905.54/908.53 c INPROCESSING
905.54/908.53 c GARBAGE COLLECT
905.54/908.53 c #Conflicts: 489000 | #Constraints: 16187
905.54/908.53 c #Conflicts: 490000 | #Constraints: 17187
905.54/908.53 c #Conflicts: 491000 | #Constraints: 18187
905.54/908.53 c #Conflicts: 492000 | #Constraints: 19187
905.54/908.53 c #Conflicts: 493000 | #Constraints: 20187
905.54/908.53 c #Conflicts: 494000 | #Constraints: 21187
905.54/908.53 c #Conflicts: 495000 | #Constraints: 22187
905.54/908.53 c #Conflicts: 496000 | #Constraints: 23187
905.54/908.53 c #Conflicts: 497000 | #Constraints: 24187
905.54/908.53 c #Conflicts: 498000 | #Constraints: 25187
905.54/908.53 c #Conflicts: 499000 | #Constraints: 26187
905.54/908.53 c #Conflicts: 500000 | #Constraints: 27187
905.54/908.53 c #Conflicts: 501000 | #Constraints: 28187
905.54/908.53 c #Conflicts: 502000 | #Constraints: 29187
905.54/908.53 c INPROCESSING
905.54/908.53 c GARBAGE COLLECT
905.54/908.53 c #Conflicts: 503000 | #Constraints: 16186
905.54/908.53 c #Conflicts: 504000 | #Constraints: 17186
905.54/908.53 c #Conflicts: 505000 | #Constraints: 18186
905.54/908.53 c #Conflicts: 506000 | #Constraints: 19186
905.54/908.53 c #Conflicts: 507000 | #Constraints: 20186
905.54/908.53 c #Conflicts: 508000 | #Constraints: 21186
905.54/908.53 c #Conflicts: 509000 | #Constraints: 22186
905.54/908.53 c #Conflicts: 510000 | #Constraints: 23186
905.54/908.53 c #Conflicts: 511000 | #Constraints: 24186
905.54/908.53 c #Conflicts: 512000 | #Constraints: 25186
905.54/908.53 c #Conflicts: 513000 | #Constraints: 26186
1054.00/1057.48 c #Conflicts: 514000 | #Constraints: 27186
1054.00/1057.48 c #Conflicts: 515000 | #Constraints: 28186
1054.00/1057.48 c #Conflicts: 516000 | #Constraints: 29186
1054.00/1057.48 c INPROCESSING
1054.00/1057.48 c GARBAGE COLLECT
1054.00/1057.48 c #Conflicts: 517000 | #Constraints: 15976
1054.00/1057.48 c #Conflicts: 518000 | #Constraints: 16976
1054.00/1057.48 c #Conflicts: 519000 | #Constraints: 17976
1054.00/1057.48 c #Conflicts: 520000 | #Constraints: 18976
1054.00/1057.48 c #Conflicts: 521000 | #Constraints: 19976
1054.00/1057.48 c #Conflicts: 522000 | #Constraints: 20976
1054.00/1057.48 c #Conflicts: 523000 | #Constraints: 21976
1054.00/1057.48 c #Conflicts: 524000 | #Constraints: 22976
1054.00/1057.48 c #Conflicts: 525000 | #Constraints: 23976
1054.00/1057.48 c #Conflicts: 526000 | #Constraints: 24976
1054.00/1057.48 c #Conflicts: 527000 | #Constraints: 25976
1054.00/1057.48 c #Conflicts: 528000 | #Constraints: 26976
1054.00/1057.48 c #Conflicts: 529000 | #Constraints: 27976
1054.00/1057.48 c #Conflicts: 530000 | #Constraints: 28976
1054.00/1057.48 c #Conflicts: 531000 | #Constraints: 29976
1054.00/1057.48 c INPROCESSING
1054.00/1057.48 c GARBAGE COLLECT
1054.00/1057.48 c #Conflicts: 532000 | #Constraints: 16592
1054.00/1057.48 c #Conflicts: 533000 | #Constraints: 17592
1054.00/1057.48 c #Conflicts: 534000 | #Constraints: 18592
1054.00/1057.48 c #Conflicts: 535000 | #Constraints: 19592
1054.00/1057.48 c #Conflicts: 536000 | #Constraints: 20592
1054.00/1057.48 c #Conflicts: 537000 | #Constraints: 21592
1054.00/1057.48 c #Conflicts: 538000 | #Constraints: 22592
1054.00/1057.48 c #Conflicts: 539000 | #Constraints: 23592
1054.00/1057.48 c #Conflicts: 540000 | #Constraints: 24592
1054.00/1057.48 c #Conflicts: 541000 | #Constraints: 25592
1054.00/1057.48 c #Conflicts: 542000 | #Constraints: 26592
1054.00/1057.48 c #Conflicts: 543000 | #Constraints: 27592
1054.00/1057.48 c #Conflicts: 544000 | #Constraints: 28592
1054.00/1057.48 c #Conflicts: 545000 | #Constraints: 29592
1054.00/1057.48 c #Conflicts: 546000 | #Constraints: 30592
1054.00/1057.48 c INPROCESSING
1054.00/1057.48 c GARBAGE COLLECT
1054.00/1057.48 c #Conflicts: 547000 | #Constraints: 16973
1054.00/1057.48 c #Conflicts: 548000 | #Constraints: 17973
1054.00/1057.48 c #Conflicts: 549000 | #Constraints: 18973
1054.00/1057.48 c #Conflicts: 550000 | #Constraints: 19973
1054.00/1057.48 c #Conflicts: 551000 | #Constraints: 20973
1054.00/1057.48 c #Conflicts: 552000 | #Constraints: 21973
1054.00/1057.48 c #Conflicts: 553000 | #Constraints: 22973
1054.00/1057.48 c #Conflicts: 554000 | #Constraints: 23973
1054.00/1057.48 c #Conflicts: 555000 | #Constraints: 24973
1054.00/1057.48 c #Conflicts: 556000 | #Constraints: 25973
1054.00/1057.48 c #Conflicts: 557000 | #Constraints: 26973
1054.00/1057.48 c #Conflicts: 558000 | #Constraints: 27973
1054.00/1057.48 c #Conflicts: 559000 | #Constraints: 28973
1054.00/1057.48 c #Conflicts: 560000 | #Constraints: 29973
1054.00/1057.48 c #Conflicts: 561000 | #Constraints: 30973
1054.00/1057.48 c INPROCESSING
1054.00/1057.48 c GARBAGE COLLECT
1054.00/1057.48 c #Conflicts: 562000 | #Constraints: 17180
1054.00/1057.48 c #Conflicts: 563000 | #Constraints: 18180
1054.00/1057.48 c #Conflicts: 564000 | #Constraints: 19180
1054.00/1057.48 c #Conflicts: 565000 | #Constraints: 20180
1054.00/1057.48 c #Conflicts: 566000 | #Constraints: 21180
1054.00/1057.48 c #Conflicts: 567000 | #Constraints: 22180
1054.00/1057.48 c #Conflicts: 568000 | #Constraints: 23180
1054.00/1057.48 c #Conflicts: 569000 | #Constraints: 24180
1054.00/1057.48 c #Conflicts: 570000 | #Constraints: 25180
1054.00/1057.48 c #Conflicts: 571000 | #Constraints: 26180
1054.00/1057.48 c #Conflicts: 572000 | #Constraints: 27180
1054.00/1057.48 c #Conflicts: 573000 | #Constraints: 28180
1054.00/1057.48 c #Conflicts: 574000 | #Constraints: 29180
1054.00/1057.48 c #Conflicts: 575000 | #Constraints: 30180
1054.00/1057.48 c #Conflicts: 576000 | #Constraints: 31180
1054.00/1057.48 c INPROCESSING
1054.00/1057.48 c GARBAGE COLLECT
1054.00/1057.48 c #Conflicts: 577000 | #Constraints: 17219
1054.00/1057.48 c #Conflicts: 578000 | #Constraints: 18219
1054.00/1057.48 c #Conflicts: 579000 | #Constraints: 19219
1054.00/1057.48 c #Conflicts: 580000 | #Constraints: 20219
1054.00/1057.48 c #Conflicts: 581000 | #Constraints: 21219
1054.00/1057.48 c #Conflicts: 582000 | #Constraints: 22219
1054.00/1057.48 c #Conflicts: 583000 | #Constraints: 23219
1054.00/1057.48 c #Conflicts: 584000 | #Constraints: 24219
1054.00/1057.48 c #Conflicts: 585000 | #Constraints: 25219
1054.00/1057.48 c #Conflicts: 586000 | #Constraints: 26219
1054.00/1057.48 c #Conflicts: 587000 | #Constraints: 27219
1054.00/1057.48 c #Conflicts: 588000 | #Constraints: 28219
1210.53/1214.40 c #Conflicts: 589000 | #Constraints: 29219
1210.53/1214.40 c #Conflicts: 590000 | #Constraints: 30219
1210.53/1214.40 c #Conflicts: 591000 | #Constraints: 31219
1210.53/1214.40 c INPROCESSING
1210.53/1214.40 c GARBAGE COLLECT
1210.53/1214.40 c #Conflicts: 592000 | #Constraints: 17006
1210.53/1214.40 c #Conflicts: 593000 | #Constraints: 18006
1210.53/1214.40 c #Conflicts: 594000 | #Constraints: 19006
1210.53/1214.40 c #Conflicts: 595000 | #Constraints: 20006
1210.53/1214.40 c #Conflicts: 596000 | #Constraints: 21006
1210.53/1214.40 c #Conflicts: 597000 | #Constraints: 22006
1210.53/1214.40 c #Conflicts: 598000 | #Constraints: 23006
1210.53/1214.40 c #Conflicts: 599000 | #Constraints: 24006
1210.53/1214.40 c #Conflicts: 600000 | #Constraints: 25006
1210.53/1214.40 c #Conflicts: 601000 | #Constraints: 26006
1210.53/1214.40 c #Conflicts: 602000 | #Constraints: 27006
1210.53/1214.40 c #Conflicts: 603000 | #Constraints: 28006
1210.53/1214.40 c #Conflicts: 604000 | #Constraints: 29006
1210.53/1214.40 c #Conflicts: 605000 | #Constraints: 30006
1210.53/1214.40 c #Conflicts: 606000 | #Constraints: 31006
1210.53/1214.40 c #Conflicts: 607000 | #Constraints: 32006
1210.53/1214.40 c INPROCESSING
1210.53/1214.40 c GARBAGE COLLECT
1210.53/1214.40 c #Conflicts: 608000 | #Constraints: 17611
1210.53/1214.40 c #Conflicts: 609000 | #Constraints: 18611
1210.53/1214.40 c #Conflicts: 610000 | #Constraints: 19611
1210.53/1214.40 c #Conflicts: 611000 | #Constraints: 20611
1210.53/1214.40 c #Conflicts: 612000 | #Constraints: 21611
1210.53/1214.40 c #Conflicts: 613000 | #Constraints: 22611
1210.53/1214.40 c #Conflicts: 614000 | #Constraints: 23611
1210.53/1214.40 c #Conflicts: 615000 | #Constraints: 24611
1210.53/1214.40 c #Conflicts: 616000 | #Constraints: 25611
1210.53/1214.40 c #Conflicts: 617000 | #Constraints: 26611
1210.53/1214.40 c #Conflicts: 618000 | #Constraints: 27611
1210.53/1214.40 c #Conflicts: 619000 | #Constraints: 28611
1210.53/1214.40 c #Conflicts: 620000 | #Constraints: 29611
1210.53/1214.40 c #Conflicts: 621000 | #Constraints: 30611
1210.53/1214.40 c #Conflicts: 622000 | #Constraints: 31611
1210.53/1214.40 c #Conflicts: 623000 | #Constraints: 32611
1210.53/1214.40 c INPROCESSING
1210.53/1214.40 c GARBAGE COLLECT
1210.53/1214.40 c #Conflicts: 624000 | #Constraints: 18006
1210.53/1214.40 c #Conflicts: 625000 | #Constraints: 19006
1210.53/1214.40 c #Conflicts: 626000 | #Constraints: 20006
1210.53/1214.40 c #Conflicts: 627000 | #Constraints: 21006
1210.53/1214.40 c #Conflicts: 628000 | #Constraints: 22006
1210.53/1214.40 c #Conflicts: 629000 | #Constraints: 23006
1210.53/1214.40 c #Conflicts: 630000 | #Constraints: 24006
1210.53/1214.40 c #Conflicts: 631000 | #Constraints: 25006
1210.53/1214.40 c #Conflicts: 632000 | #Constraints: 26006
1210.53/1214.40 c #Conflicts: 633000 | #Constraints: 27006
1210.53/1214.40 c #Conflicts: 634000 | #Constraints: 28006
1210.53/1214.40 c #Conflicts: 635000 | #Constraints: 29006
1210.53/1214.40 c #Conflicts: 636000 | #Constraints: 30006
1210.53/1214.40 c #Conflicts: 637000 | #Constraints: 31006
1210.53/1214.40 c #Conflicts: 638000 | #Constraints: 32006
1210.53/1214.40 c #Conflicts: 639000 | #Constraints: 33006
1210.53/1214.40 c INPROCESSING
1210.53/1214.40 c GARBAGE COLLECT
1210.53/1214.40 c #Conflicts: 640000 | #Constraints: 18197
1210.53/1214.40 c #Conflicts: 641000 | #Constraints: 19197
1210.53/1214.40 c #Conflicts: 642000 | #Constraints: 20197
1210.53/1214.40 c #Conflicts: 643000 | #Constraints: 21197
1210.53/1214.40 c #Conflicts: 644000 | #Constraints: 22197
1210.53/1214.40 c #Conflicts: 645000 | #Constraints: 23197
1210.53/1214.40 c #Conflicts: 646000 | #Constraints: 24197
1210.53/1214.40 c #Conflicts: 647000 | #Constraints: 25197
1210.53/1214.40 c #Conflicts: 648000 | #Constraints: 26197
1210.53/1214.40 c #Conflicts: 649000 | #Constraints: 27197
1210.53/1214.40 c #Conflicts: 650000 | #Constraints: 28197
1210.53/1214.40 c #Conflicts: 651000 | #Constraints: 29197
1210.53/1214.40 c #Conflicts: 652000 | #Constraints: 30197
1210.53/1214.40 c #Conflicts: 653000 | #Constraints: 31197
1210.53/1214.40 c #Conflicts: 654000 | #Constraints: 32197
1210.53/1214.40 c #Conflicts: 655000 | #Constraints: 33197
1210.53/1214.40 c INPROCESSING
1210.53/1214.40 c GARBAGE COLLECT
1210.53/1214.40 c #Conflicts: 656000 | #Constraints: 18186
1210.53/1214.40 c #Conflicts: 657000 | #Constraints: 19186
1210.53/1214.40 c #Conflicts: 658000 | #Constraints: 20186
1210.53/1214.40 c #Conflicts: 659000 | #Constraints: 21186
1210.53/1214.40 c #Conflicts: 660000 | #Constraints: 22186
1210.53/1214.40 c #Conflicts: 661000 | #Constraints: 23186
1210.53/1214.40 c #Conflicts: 662000 | #Constraints: 24186
1210.53/1214.40 c #Conflicts: 663000 | #Constraints: 25186
1210.53/1214.40 c #Conflicts: 664000 | #Constraints: 26186
1386.43/1390.97 c #Conflicts: 665000 | #Constraints: 27186
1386.43/1390.97 c #Conflicts: 666000 | #Constraints: 28186
1386.43/1390.97 c #Conflicts: 667000 | #Constraints: 29186
1386.43/1390.97 c #Conflicts: 668000 | #Constraints: 30186
1386.43/1390.97 c #Conflicts: 669000 | #Constraints: 31186
1386.43/1390.97 c #Conflicts: 670000 | #Constraints: 32186
1386.43/1390.97 c #Conflicts: 671000 | #Constraints: 33186
1386.43/1390.97 c INPROCESSING
1386.43/1390.97 c GARBAGE COLLECT
1386.43/1390.97 c #Conflicts: 672000 | #Constraints: 18014
1386.43/1390.97 c #Conflicts: 673000 | #Constraints: 19014
1386.43/1390.97 c #Conflicts: 674000 | #Constraints: 20014
1386.43/1390.97 c #Conflicts: 675000 | #Constraints: 21014
1386.43/1390.97 c #Conflicts: 676000 | #Constraints: 22014
1386.43/1390.97 c #Conflicts: 677000 | #Constraints: 23014
1386.43/1390.97 c #Conflicts: 678000 | #Constraints: 24014
1386.43/1390.97 c #Conflicts: 679000 | #Constraints: 25014
1386.43/1390.97 c #Conflicts: 680000 | #Constraints: 26014
1386.43/1390.97 c #Conflicts: 681000 | #Constraints: 27014
1386.43/1390.97 c #Conflicts: 682000 | #Constraints: 28014
1386.43/1390.97 c #Conflicts: 683000 | #Constraints: 29014
1386.43/1390.97 c #Conflicts: 684000 | #Constraints: 30014
1386.43/1390.97 c #Conflicts: 685000 | #Constraints: 31014
1386.43/1390.97 c #Conflicts: 686000 | #Constraints: 32014
1386.43/1390.97 c #Conflicts: 687000 | #Constraints: 33014
1386.43/1390.97 c #Conflicts: 688000 | #Constraints: 34014
1386.43/1390.97 c INPROCESSING
1386.43/1390.97 c GARBAGE COLLECT
1386.43/1390.97 c #Conflicts: 689000 | #Constraints: 18572
1386.43/1390.97 c #Conflicts: 690000 | #Constraints: 19572
1386.43/1390.97 c #Conflicts: 691000 | #Constraints: 20572
1386.43/1390.97 c #Conflicts: 692000 | #Constraints: 21572
1386.43/1390.97 c #Conflicts: 693000 | #Constraints: 22572
1386.43/1390.97 c #Conflicts: 694000 | #Constraints: 23572
1386.43/1390.97 c #Conflicts: 695000 | #Constraints: 24572
1386.43/1390.97 c #Conflicts: 696000 | #Constraints: 25572
1386.43/1390.97 c #Conflicts: 697000 | #Constraints: 26572
1386.43/1390.97 c #Conflicts: 698000 | #Constraints: 27572
1386.43/1390.97 c #Conflicts: 699000 | #Constraints: 28572
1386.43/1390.97 c #Conflicts: 700000 | #Constraints: 29572
1386.43/1390.97 c #Conflicts: 701000 | #Constraints: 30572
1386.43/1390.97 c #Conflicts: 702000 | #Constraints: 31572
1386.43/1390.97 c #Conflicts: 703000 | #Constraints: 32572
1386.43/1390.97 c #Conflicts: 704000 | #Constraints: 33572
1386.43/1390.97 c #Conflicts: 705000 | #Constraints: 34572
1386.43/1390.97 c INPROCESSING
1386.43/1390.97 c GARBAGE COLLECT
1386.43/1390.97 c #Conflicts: 706000 | #Constraints: 18966
1386.43/1390.97 c #Conflicts: 707000 | #Constraints: 19966
1386.43/1390.97 c #Conflicts: 708000 | #Constraints: 20966
1386.43/1390.97 c #Conflicts: 709000 | #Constraints: 21966
1386.43/1390.97 c #Conflicts: 710000 | #Constraints: 22966
1386.43/1390.97 c #Conflicts: 711000 | #Constraints: 23966
1386.43/1390.97 c #Conflicts: 712000 | #Constraints: 24966
1386.43/1390.97 c #Conflicts: 713000 | #Constraints: 25966
1386.43/1390.97 c #Conflicts: 714000 | #Constraints: 26966
1386.43/1390.97 c #Conflicts: 715000 | #Constraints: 27966
1386.43/1390.97 c #Conflicts: 716000 | #Constraints: 28966
1386.43/1390.97 c #Conflicts: 717000 | #Constraints: 29966
1386.43/1390.97 c #Conflicts: 718000 | #Constraints: 30966
1386.43/1390.97 c #Conflicts: 719000 | #Constraints: 31966
1386.43/1390.97 c #Conflicts: 720000 | #Constraints: 32966
1386.43/1390.97 c #Conflicts: 721000 | #Constraints: 33966
1386.43/1390.97 c #Conflicts: 722000 | #Constraints: 34966
1386.43/1390.97 c INPROCESSING
1386.43/1390.97 c GARBAGE COLLECT
1386.43/1390.97 c #Conflicts: 723000 | #Constraints: 19192
1386.43/1390.97 c #Conflicts: 724000 | #Constraints: 20192
1386.43/1390.97 c #Conflicts: 725000 | #Constraints: 21192
1386.43/1390.97 c #Conflicts: 726000 | #Constraints: 22192
1386.43/1390.97 c #Conflicts: 727000 | #Constraints: 23192
1386.43/1390.97 c #Conflicts: 728000 | #Constraints: 24192
1386.43/1390.97 c #Conflicts: 729000 | #Constraints: 25192
1386.43/1390.97 c #Conflicts: 730000 | #Constraints: 26192
1386.43/1390.97 c #Conflicts: 731000 | #Constraints: 27192
1386.43/1390.97 c #Conflicts: 732000 | #Constraints: 28192
1386.43/1390.97 c #Conflicts: 733000 | #Constraints: 29192
1386.43/1390.97 c #Conflicts: 734000 | #Constraints: 30192
1386.43/1390.97 c #Conflicts: 735000 | #Constraints: 31192
1386.43/1390.97 c #Conflicts: 736000 | #Constraints: 32192
1386.43/1390.97 c #Conflicts: 737000 | #Constraints: 33192
1386.43/1390.97 c #Conflicts: 738000 | #Constraints: 34192
1386.43/1390.97 c #Conflicts: 739000 | #Constraints: 35192
1386.43/1390.97 c INPROCESSING
1386.43/1390.97 c GARBAGE COLLECT
1537.59/1542.63 c #Conflicts: 740000 | #Constraints: 19216
1537.59/1542.63 c #Conflicts: 741000 | #Constraints: 20216
1537.59/1542.63 c #Conflicts: 742000 | #Constraints: 21216
1537.59/1542.63 c #Conflicts: 743000 | #Constraints: 22216
1537.59/1542.63 c #Conflicts: 744000 | #Constraints: 23216
1537.59/1542.63 c #Conflicts: 745000 | #Constraints: 24216
1537.59/1542.63 c #Conflicts: 746000 | #Constraints: 25216
1537.59/1542.63 c #Conflicts: 747000 | #Constraints: 26216
1537.59/1542.63 c #Conflicts: 748000 | #Constraints: 27216
1537.59/1542.63 c #Conflicts: 749000 | #Constraints: 28216
1537.59/1542.63 c #Conflicts: 750000 | #Constraints: 29216
1537.59/1542.63 c #Conflicts: 751000 | #Constraints: 30216
1537.59/1542.63 c #Conflicts: 752000 | #Constraints: 31216
1537.59/1542.63 c #Conflicts: 753000 | #Constraints: 32216
1537.59/1542.63 c #Conflicts: 754000 | #Constraints: 33216
1537.59/1542.63 c #Conflicts: 755000 | #Constraints: 34216
1537.59/1542.63 c #Conflicts: 756000 | #Constraints: 35216
1537.59/1542.63 c INPROCESSING
1537.59/1542.63 c GARBAGE COLLECT
1537.59/1542.63 c #Conflicts: 757000 | #Constraints: 18936
1537.59/1542.63 c #Conflicts: 758000 | #Constraints: 19936
1537.59/1542.63 c #Conflicts: 759000 | #Constraints: 20936
1537.59/1542.63 c #Conflicts: 760000 | #Constraints: 21936
1537.59/1542.63 c #Conflicts: 761000 | #Constraints: 22936
1537.59/1542.63 c #Conflicts: 762000 | #Constraints: 23936
1537.59/1542.63 c #Conflicts: 763000 | #Constraints: 24936
1537.59/1542.63 c #Conflicts: 764000 | #Constraints: 25936
1537.59/1542.63 c #Conflicts: 765000 | #Constraints: 26936
1537.59/1542.63 c #Conflicts: 766000 | #Constraints: 27936
1537.59/1542.63 c #Conflicts: 767000 | #Constraints: 28936
1537.59/1542.63 c #Conflicts: 768000 | #Constraints: 29936
1537.59/1542.63 c #Conflicts: 769000 | #Constraints: 30936
1537.59/1542.63 c #Conflicts: 770000 | #Constraints: 31936
1537.59/1542.63 c #Conflicts: 771000 | #Constraints: 32936
1537.59/1542.63 c #Conflicts: 772000 | #Constraints: 33936
1537.59/1542.63 c #Conflicts: 773000 | #Constraints: 34936
1537.59/1542.63 c #Conflicts: 774000 | #Constraints: 35936
1537.59/1542.63 c INPROCESSING
1537.59/1542.63 c GARBAGE COLLECT
1537.59/1542.63 c #Conflicts: 775000 | #Constraints: 19617
1537.59/1542.63 c #Conflicts: 776000 | #Constraints: 20617
1537.59/1542.63 c #Conflicts: 777000 | #Constraints: 21617
1537.59/1542.63 c #Conflicts: 778000 | #Constraints: 22617
1537.59/1542.63 c #Conflicts: 779000 | #Constraints: 23617
1537.59/1542.63 c #Conflicts: 780000 | #Constraints: 24617
1537.59/1542.63 c #Conflicts: 781000 | #Constraints: 25617
1537.59/1542.63 c #Conflicts: 782000 | #Constraints: 26617
1537.59/1542.63 c #Conflicts: 783000 | #Constraints: 27617
1537.59/1542.63 c #Conflicts: 784000 | #Constraints: 28617
1537.59/1542.63 c #Conflicts: 785000 | #Constraints: 29617
1537.59/1542.63 c #Conflicts: 786000 | #Constraints: 30617
1537.59/1542.63 c #Conflicts: 787000 | #Constraints: 31617
1537.59/1542.63 c #Conflicts: 788000 | #Constraints: 32617
1537.59/1542.63 c #Conflicts: 789000 | #Constraints: 33617
1537.59/1542.63 c #Conflicts: 790000 | #Constraints: 34617
1537.59/1542.63 c #Conflicts: 791000 | #Constraints: 35617
1537.59/1542.63 c #Conflicts: 792000 | #Constraints: 36617
1537.59/1542.63 c INPROCESSING
1537.59/1542.63 c GARBAGE COLLECT
1537.59/1542.63 c #Conflicts: 793000 | #Constraints: 20050
1537.59/1542.63 c #Conflicts: 794000 | #Constraints: 21050
1537.59/1542.63 c #Conflicts: 795000 | #Constraints: 22050
1537.59/1542.63 c #Conflicts: 796000 | #Constraints: 23050
1537.59/1542.63 c #Conflicts: 797000 | #Constraints: 24050
1537.59/1542.63 c #Conflicts: 798000 | #Constraints: 25050
1537.59/1542.63 c #Conflicts: 799000 | #Constraints: 26050
1537.59/1542.63 c #Conflicts: 800000 | #Constraints: 27050
1537.59/1542.63 c #Conflicts: 801000 | #Constraints: 28050
1537.59/1542.63 c #Conflicts: 802000 | #Constraints: 29050
1537.59/1542.63 c #Conflicts: 803000 | #Constraints: 30050
1537.59/1542.63 c #Conflicts: 804000 | #Constraints: 31050
1537.59/1542.63 c #Conflicts: 805000 | #Constraints: 32050
1537.59/1542.63 c #Conflicts: 806000 | #Constraints: 33050
1537.59/1542.63 c #Conflicts: 807000 | #Constraints: 34050
1537.59/1542.63 c #Conflicts: 808000 | #Constraints: 35050
1537.59/1542.63 c #Conflicts: 809000 | #Constraints: 36050
1537.59/1542.63 c #Conflicts: 810000 | #Constraints: 37050
1537.59/1542.63 c INPROCESSING
1537.59/1542.63 c GARBAGE COLLECT
1537.59/1542.63 c #Conflicts: 811000 | #Constraints: 20268
1537.59/1542.63 c #Conflicts: 812000 | #Constraints: 21268
1537.59/1542.63 c #Conflicts: 813000 | #Constraints: 22268
1537.59/1542.63 c #Conflicts: 814000 | #Constraints: 23268
1537.59/1542.63 c #Conflicts: 815000 | #Constraints: 24268
1537.59/1542.63 c #Conflicts: 816000 | #Constraints: 25268
1692.95/1698.59 c #Conflicts: 817000 | #Constraints: 26268
1692.95/1698.59 c #Conflicts: 818000 | #Constraints: 27268
1692.95/1698.59 c #Conflicts: 819000 | #Constraints: 28268
1692.95/1698.59 c #Conflicts: 820000 | #Constraints: 29268
1692.95/1698.59 c #Conflicts: 821000 | #Constraints: 30268
1692.95/1698.59 c #Conflicts: 822000 | #Constraints: 31268
1692.95/1698.59 c #Conflicts: 823000 | #Constraints: 32268
1692.95/1698.59 c #Conflicts: 824000 | #Constraints: 33268
1692.95/1698.59 c #Conflicts: 825000 | #Constraints: 34268
1692.95/1698.59 c #Conflicts: 826000 | #Constraints: 35268
1692.95/1698.59 c #Conflicts: 827000 | #Constraints: 36268
1692.95/1698.59 c #Conflicts: 828000 | #Constraints: 37268
1692.95/1698.59 c INPROCESSING
1692.95/1698.59 c GARBAGE COLLECT
1692.95/1698.59 c #Conflicts: 829000 | #Constraints: 20214
1692.95/1698.59 c #Conflicts: 830000 | #Constraints: 21214
1692.95/1698.59 c #Conflicts: 831000 | #Constraints: 22214
1692.95/1698.59 c #Conflicts: 832000 | #Constraints: 23214
1692.95/1698.59 c #Conflicts: 833000 | #Constraints: 24214
1692.95/1698.59 c #Conflicts: 834000 | #Constraints: 25214
1692.95/1698.59 c #Conflicts: 835000 | #Constraints: 26214
1692.95/1698.59 c #Conflicts: 836000 | #Constraints: 27214
1692.95/1698.59 c #Conflicts: 837000 | #Constraints: 28214
1692.95/1698.59 c #Conflicts: 838000 | #Constraints: 29214
1692.95/1698.59 c #Conflicts: 839000 | #Constraints: 30214
1692.95/1698.59 c #Conflicts: 840000 | #Constraints: 31214
1692.95/1698.59 c #Conflicts: 841000 | #Constraints: 32214
1692.95/1698.59 c #Conflicts: 842000 | #Constraints: 33214
1692.95/1698.59 c #Conflicts: 843000 | #Constraints: 34214
1692.95/1698.59 c #Conflicts: 844000 | #Constraints: 35214
1692.95/1698.59 c #Conflicts: 845000 | #Constraints: 36214
1692.95/1698.59 c #Conflicts: 846000 | #Constraints: 37214
1692.95/1698.59 c INPROCESSING
1692.95/1698.59 c GARBAGE COLLECT
1692.95/1698.59 c #Conflicts: 847000 | #Constraints: 20041
1692.95/1698.59 c #Conflicts: 848000 | #Constraints: 21041
1692.95/1698.59 c #Conflicts: 849000 | #Constraints: 22041
1692.95/1698.59 c #Conflicts: 850000 | #Constraints: 23041
1692.95/1698.59 c #Conflicts: 851000 | #Constraints: 24041
1692.95/1698.59 c #Conflicts: 852000 | #Constraints: 25041
1692.95/1698.59 c #Conflicts: 853000 | #Constraints: 26041
1692.95/1698.59 c #Conflicts: 854000 | #Constraints: 27041
1692.95/1698.59 c #Conflicts: 855000 | #Constraints: 28041
1692.95/1698.59 c #Conflicts: 856000 | #Constraints: 29041
1692.95/1698.59 c #Conflicts: 857000 | #Constraints: 30041
1692.95/1698.59 c #Conflicts: 858000 | #Constraints: 31041
1692.95/1698.59 c #Conflicts: 859000 | #Constraints: 32041
1692.95/1698.59 c #Conflicts: 860000 | #Constraints: 33041
1692.95/1698.59 c #Conflicts: 861000 | #Constraints: 34041
1692.95/1698.59 c #Conflicts: 862000 | #Constraints: 35041
1692.95/1698.59 c #Conflicts: 863000 | #Constraints: 36041
1692.95/1698.59 c #Conflicts: 864000 | #Constraints: 37041
1692.95/1698.59 c #Conflicts: 865000 | #Constraints: 38041
1692.95/1698.59 c INPROCESSING
1692.95/1698.59 c GARBAGE COLLECT
1692.95/1698.59 c #Conflicts: 866000 | #Constraints: 20647
1692.95/1698.59 c #Conflicts: 867000 | #Constraints: 21647
1692.95/1698.59 c #Conflicts: 868000 | #Constraints: 22647
1692.95/1698.59 c #Conflicts: 869000 | #Constraints: 23647
1692.95/1698.59 c #Conflicts: 870000 | #Constraints: 24647
1692.95/1698.59 c #Conflicts: 871000 | #Constraints: 25647
1692.95/1698.59 c #Conflicts: 872000 | #Constraints: 26647
1692.95/1698.59 c #Conflicts: 873000 | #Constraints: 27647
1692.95/1698.59 c #Conflicts: 874000 | #Constraints: 28647
1692.95/1698.59 c #Conflicts: 875000 | #Constraints: 29647
1692.95/1698.59 c #Conflicts: 876000 | #Constraints: 30647
1692.95/1698.59 c #Conflicts: 877000 | #Constraints: 31647
1692.95/1698.59 c #Conflicts: 878000 | #Constraints: 32647
1692.95/1698.59 c #Conflicts: 879000 | #Constraints: 33647
1692.95/1698.59 c #Conflicts: 880000 | #Constraints: 34647
1692.95/1698.59 c #Conflicts: 881000 | #Constraints: 35647
1692.95/1698.59 c #Conflicts: 882000 | #Constraints: 36647
1692.95/1698.59 c #Conflicts: 883000 | #Constraints: 37647
1692.95/1698.59 c #Conflicts: 884000 | #Constraints: 38647
1692.95/1698.59 c INPROCESSING
1692.95/1698.59 c GARBAGE COLLECT
1692.95/1698.59 c #Conflicts: 885000 | #Constraints: 21071
1692.95/1698.59 c #Conflicts: 886000 | #Constraints: 22071
1692.95/1698.59 c #Conflicts: 887000 | #Constraints: 23071
1692.95/1698.59 c #Conflicts: 888000 | #Constraints: 24071
1692.95/1698.59 c #Conflicts: 889000 | #Constraints: 25071
1692.95/1698.59 c #Conflicts: 890000 | #Constraints: 26071
1692.95/1698.59 c #Conflicts: 891000 | #Constraints: 27071
1692.95/1698.59 c #Conflicts: 892000 | #Constraints: 28071
1869.53/1875.71 c #Conflicts: 893000 | #Constraints: 29071
1869.53/1875.71 c #Conflicts: 894000 | #Constraints: 30071
1869.53/1875.71 c #Conflicts: 895000 | #Constraints: 31071
1869.53/1875.71 c #Conflicts: 896000 | #Constraints: 32071
1869.53/1875.71 c #Conflicts: 897000 | #Constraints: 33071
1869.53/1875.71 c #Conflicts: 898000 | #Constraints: 34071
1869.53/1875.71 c #Conflicts: 899000 | #Constraints: 35071
1869.53/1875.71 c #Conflicts: 900000 | #Constraints: 36071
1869.53/1875.71 c #Conflicts: 901000 | #Constraints: 37071
1869.53/1875.71 c #Conflicts: 902000 | #Constraints: 38071
1869.53/1875.71 c #Conflicts: 903000 | #Constraints: 39071
1869.53/1875.71 c INPROCESSING
1869.53/1875.71 c GARBAGE COLLECT
1869.53/1875.71 c #Conflicts: 904000 | #Constraints: 21213
1869.53/1875.71 c #Conflicts: 905000 | #Constraints: 22213
1869.53/1875.71 c #Conflicts: 906000 | #Constraints: 23213
1869.53/1875.71 c #Conflicts: 907000 | #Constraints: 24213
1869.53/1875.71 c #Conflicts: 908000 | #Constraints: 25213
1869.53/1875.71 c #Conflicts: 909000 | #Constraints: 26213
1869.53/1875.71 c #Conflicts: 910000 | #Constraints: 27213
1869.53/1875.71 c #Conflicts: 911000 | #Constraints: 28213
1869.53/1875.71 c #Conflicts: 912000 | #Constraints: 29213
1869.53/1875.71 c #Conflicts: 913000 | #Constraints: 30213
1869.53/1875.71 c #Conflicts: 914000 | #Constraints: 31213
1869.53/1875.71 c #Conflicts: 915000 | #Constraints: 32213
1869.53/1875.71 c #Conflicts: 916000 | #Constraints: 33213
1869.53/1875.71 c #Conflicts: 917000 | #Constraints: 34213
1869.53/1875.71 c #Conflicts: 918000 | #Constraints: 35213
1869.53/1875.71 c #Conflicts: 919000 | #Constraints: 36213
1869.53/1875.71 c #Conflicts: 920000 | #Constraints: 37213
1869.53/1875.71 c #Conflicts: 921000 | #Constraints: 38213
1869.53/1875.71 c #Conflicts: 922000 | #Constraints: 39213
1869.53/1875.71 c INPROCESSING
1869.53/1875.71 c GARBAGE COLLECT
1869.53/1875.71 c #Conflicts: 923000 | #Constraints: 21248
1869.53/1875.71 c #Conflicts: 924000 | #Constraints: 22248
1869.53/1875.71 c #Conflicts: 925000 | #Constraints: 23248
1869.53/1875.71 c #Conflicts: 926000 | #Constraints: 24248
1869.53/1875.71 c #Conflicts: 927000 | #Constraints: 25248
1869.53/1875.71 c #Conflicts: 928000 | #Constraints: 26248
1869.53/1875.71 c #Conflicts: 929000 | #Constraints: 27248
1869.53/1875.71 c #Conflicts: 930000 | #Constraints: 28248
1869.53/1875.71 c #Conflicts: 931000 | #Constraints: 29248
1869.53/1875.71 c #Conflicts: 932000 | #Constraints: 30248
1869.53/1875.71 c #Conflicts: 933000 | #Constraints: 31248
1869.53/1875.71 c #Conflicts: 934000 | #Constraints: 32248
1869.53/1875.71 c #Conflicts: 935000 | #Constraints: 33248
1869.53/1875.71 c #Conflicts: 936000 | #Constraints: 34248
1869.53/1875.71 c #Conflicts: 937000 | #Constraints: 35248
1869.53/1875.71 c #Conflicts: 938000 | #Constraints: 36248
1869.53/1875.71 c #Conflicts: 939000 | #Constraints: 37248
1869.53/1875.71 c #Conflicts: 940000 | #Constraints: 38248
1869.53/1875.71 c #Conflicts: 941000 | #Constraints: 39248
1869.53/1875.71 c INPROCESSING
1869.53/1875.71 c GARBAGE COLLECT
1869.53/1875.71 c #Conflicts: 942000 | #Constraints: 21039
1869.53/1875.71 c #Conflicts: 943000 | #Constraints: 22039
1869.53/1875.71 c #Conflicts: 944000 | #Constraints: 23039
1869.53/1875.71 c #Conflicts: 945000 | #Constraints: 24039
1869.53/1875.71 c #Conflicts: 946000 | #Constraints: 25039
1869.53/1875.71 c #Conflicts: 947000 | #Constraints: 26039
1869.53/1875.71 c #Conflicts: 948000 | #Constraints: 27039
1869.53/1875.71 c #Conflicts: 949000 | #Constraints: 28039
1869.53/1875.71 c #Conflicts: 950000 | #Constraints: 29039
1869.53/1875.71 c #Conflicts: 951000 | #Constraints: 30039
1869.53/1875.71 c #Conflicts: 952000 | #Constraints: 31039
1869.53/1875.71 c #Conflicts: 953000 | #Constraints: 32039
1869.53/1875.71 c #Conflicts: 954000 | #Constraints: 33039
1869.53/1875.71 c #Conflicts: 955000 | #Constraints: 34039
1869.53/1875.71 c #Conflicts: 956000 | #Constraints: 35039
1869.53/1875.71 c #Conflicts: 957000 | #Constraints: 36039
1869.53/1875.71 c #Conflicts: 958000 | #Constraints: 37039
1869.53/1875.71 c #Conflicts: 959000 | #Constraints: 38039
1869.53/1875.71 c #Conflicts: 960000 | #Constraints: 39039
1869.53/1875.71 c #Conflicts: 961000 | #Constraints: 40039
1869.53/1875.71 c INPROCESSING
1869.53/1875.71 c GARBAGE COLLECT
1869.53/1875.71 c #Conflicts: 962000 | #Constraints: 21654
1869.53/1875.71 c #Conflicts: 963000 | #Constraints: 22654
1869.53/1875.71 c #Conflicts: 964000 | #Constraints: 23654
1869.53/1875.71 c #Conflicts: 965000 | #Constraints: 24654
1869.53/1875.71 c #Conflicts: 966000 | #Constraints: 25654
1869.53/1875.71 c #Conflicts: 967000 | #Constraints: 26654
1869.53/1875.71 c #Conflicts: 968000 | #Constraints: 27654
2017.71/2024.40 c #Conflicts: 969000 | #Constraints: 28654
2017.71/2024.40 c #Conflicts: 970000 | #Constraints: 29654
2017.71/2024.40 c #Conflicts: 971000 | #Constraints: 30654
2017.71/2024.40 c #Conflicts: 972000 | #Constraints: 31654
2017.71/2024.40 c #Conflicts: 973000 | #Constraints: 32654
2017.71/2024.40 c #Conflicts: 974000 | #Constraints: 33654
2017.71/2024.40 c #Conflicts: 975000 | #Constraints: 34654
2017.71/2024.40 c #Conflicts: 976000 | #Constraints: 35654
2017.71/2024.40 c #Conflicts: 977000 | #Constraints: 36654
2017.71/2024.40 c #Conflicts: 978000 | #Constraints: 37654
2017.71/2024.40 c #Conflicts: 979000 | #Constraints: 38654
2017.71/2024.40 c #Conflicts: 980000 | #Constraints: 39654
2017.71/2024.40 c #Conflicts: 981000 | #Constraints: 40654
2017.71/2024.40 c INPROCESSING
2017.71/2024.40 c GARBAGE COLLECT
2017.71/2024.40 c #Conflicts: 982000 | #Constraints: 22057
2017.71/2024.40 c #Conflicts: 983000 | #Constraints: 23057
2017.71/2024.40 c #Conflicts: 984000 | #Constraints: 24057
2017.71/2024.40 c #Conflicts: 985000 | #Constraints: 25057
2017.71/2024.40 c #Conflicts: 986000 | #Constraints: 26057
2017.71/2024.40 c #Conflicts: 987000 | #Constraints: 27057
2017.71/2024.40 c #Conflicts: 988000 | #Constraints: 28057
2017.71/2024.40 c #Conflicts: 989000 | #Constraints: 29057
2017.71/2024.40 c #Conflicts: 990000 | #Constraints: 30057
2017.71/2024.40 c #Conflicts: 991000 | #Constraints: 31057
2017.71/2024.40 c #Conflicts: 992000 | #Constraints: 32057
2017.71/2024.40 c #Conflicts: 993000 | #Constraints: 33057
2017.71/2024.40 c #Conflicts: 994000 | #Constraints: 34057
2017.71/2024.40 c #Conflicts: 995000 | #Constraints: 35057
2017.71/2024.40 c #Conflicts: 996000 | #Constraints: 36057
2017.71/2024.40 c #Conflicts: 997000 | #Constraints: 37057
2017.71/2024.40 c #Conflicts: 998000 | #Constraints: 38057
2017.71/2024.40 c #Conflicts: 999000 | #Constraints: 39057
2017.71/2024.40 c #Conflicts: 1000000 | #Constraints: 40057
2017.71/2024.40 c #Conflicts: 1001000 | #Constraints: 41057
2017.71/2024.40 c INPROCESSING
2017.71/2024.40 c GARBAGE COLLECT
2017.71/2024.40 c #Conflicts: 1002000 | #Constraints: 22224
2017.71/2024.40 c #Conflicts: 1003000 | #Constraints: 23224
2017.71/2024.40 c #Conflicts: 1004000 | #Constraints: 24224
2017.71/2024.40 c #Conflicts: 1005000 | #Constraints: 25224
2017.71/2024.40 c #Conflicts: 1006000 | #Constraints: 26224
2017.71/2024.40 c #Conflicts: 1007000 | #Constraints: 27224
2017.71/2024.40 c #Conflicts: 1008000 | #Constraints: 28224
2017.71/2024.40 c #Conflicts: 1009000 | #Constraints: 29224
2017.71/2024.40 c #Conflicts: 1010000 | #Constraints: 30224
2017.71/2024.40 c #Conflicts: 1011000 | #Constraints: 31224
2017.71/2024.40 c #Conflicts: 1012000 | #Constraints: 32224
2017.71/2024.40 c #Conflicts: 1013000 | #Constraints: 33224
2017.71/2024.40 c #Conflicts: 1014000 | #Constraints: 34224
2017.71/2024.40 c #Conflicts: 1015000 | #Constraints: 35224
2017.71/2024.40 c #Conflicts: 1016000 | #Constraints: 36224
2017.71/2024.40 c #Conflicts: 1017000 | #Constraints: 37224
2017.71/2024.40 c #Conflicts: 1018000 | #Constraints: 38224
2017.71/2024.40 c #Conflicts: 1019000 | #Constraints: 39224
2017.71/2024.40 c #Conflicts: 1020000 | #Constraints: 40224
2017.71/2024.40 c #Conflicts: 1021000 | #Constraints: 41224
2017.71/2024.40 c INPROCESSING
2017.71/2024.40 c GARBAGE COLLECT
2017.71/2024.40 c #Conflicts: 1022000 | #Constraints: 22236
2017.71/2024.40 c #Conflicts: 1023000 | #Constraints: 23236
2017.71/2024.40 c #Conflicts: 1024000 | #Constraints: 24236
2017.71/2024.40 c #Conflicts: 1025000 | #Constraints: 25236
2017.71/2024.40 c #Conflicts: 1026000 | #Constraints: 26236
2017.71/2024.40 c #Conflicts: 1027000 | #Constraints: 27236
2017.71/2024.40 c #Conflicts: 1028000 | #Constraints: 28236
2017.71/2024.40 c #Conflicts: 1029000 | #Constraints: 29236
2017.71/2024.40 c #Conflicts: 1030000 | #Constraints: 30236
2017.71/2024.40 c #Conflicts: 1031000 | #Constraints: 31236
2017.71/2024.40 c #Conflicts: 1032000 | #Constraints: 32236
2017.71/2024.40 c #Conflicts: 1033000 | #Constraints: 33236
2017.71/2024.40 c #Conflicts: 1034000 | #Constraints: 34236
2017.71/2024.40 c #Conflicts: 1035000 | #Constraints: 35236
2017.71/2024.40 c #Conflicts: 1036000 | #Constraints: 36236
2017.71/2024.40 c #Conflicts: 1037000 | #Constraints: 37236
2017.71/2024.40 c #Conflicts: 1038000 | #Constraints: 38236
2017.71/2024.40 c #Conflicts: 1039000 | #Constraints: 39236
2017.71/2024.40 c #Conflicts: 1040000 | #Constraints: 40236
2017.71/2024.40 c #Conflicts: 1041000 | #Constraints: 41236
2017.71/2024.40 c INPROCESSING
2017.71/2024.40 c GARBAGE COLLECT
2017.71/2024.40 c #Conflicts: 1042000 | #Constraints: 22018
2017.71/2024.40 c #Conflicts: 1043000 | #Constraints: 23018
2017.71/2024.40 c #Conflicts: 1044000 | #Constraints: 24018
2154.21/2161.41 c #Conflicts: 1045000 | #Constraints: 25018
2154.21/2161.41 c #Conflicts: 1046000 | #Constraints: 26018
2154.21/2161.41 c #Conflicts: 1047000 | #Constraints: 27018
2154.21/2161.41 c #Conflicts: 1048000 | #Constraints: 28018
2154.21/2161.41 c #Conflicts: 1049000 | #Constraints: 29018
2154.21/2161.41 c #Conflicts: 1050000 | #Constraints: 30018
2154.21/2161.41 c #Conflicts: 1051000 | #Constraints: 31018
2154.21/2161.41 c #Conflicts: 1052000 | #Constraints: 32018
2154.21/2161.41 c #Conflicts: 1053000 | #Constraints: 33018
2154.21/2161.41 c #Conflicts: 1054000 | #Constraints: 34018
2154.21/2161.41 c #Conflicts: 1055000 | #Constraints: 35018
2154.21/2161.41 c #Conflicts: 1056000 | #Constraints: 36018
2154.21/2161.41 c #Conflicts: 1057000 | #Constraints: 37018
2154.21/2161.41 c #Conflicts: 1058000 | #Constraints: 38018
2154.21/2161.41 c #Conflicts: 1059000 | #Constraints: 39018
2154.21/2161.41 c #Conflicts: 1060000 | #Constraints: 40018
2154.21/2161.41 c #Conflicts: 1061000 | #Constraints: 41018
2154.21/2161.41 c #Conflicts: 1062000 | #Constraints: 42018
2154.21/2161.41 c INPROCESSING
2154.21/2161.41 c GARBAGE COLLECT
2154.21/2161.41 c #Conflicts: 1063000 | #Constraints: 22611
2154.21/2161.41 c #Conflicts: 1064000 | #Constraints: 23611
2154.21/2161.41 c #Conflicts: 1065000 | #Constraints: 24611
2154.21/2161.41 c #Conflicts: 1066000 | #Constraints: 25611
2154.21/2161.41 c #Conflicts: 1067000 | #Constraints: 26611
2154.21/2161.41 c #Conflicts: 1068000 | #Constraints: 27611
2154.21/2161.41 c #Conflicts: 1069000 | #Constraints: 28611
2154.21/2161.41 c #Conflicts: 1070000 | #Constraints: 29611
2154.21/2161.41 c #Conflicts: 1071000 | #Constraints: 30611
2154.21/2161.41 c #Conflicts: 1072000 | #Constraints: 31611
2154.21/2161.41 c #Conflicts: 1073000 | #Constraints: 32611
2154.21/2161.41 c #Conflicts: 1074000 | #Constraints: 33611
2154.21/2161.41 c #Conflicts: 1075000 | #Constraints: 34611
2154.21/2161.41 c #Conflicts: 1076000 | #Constraints: 35611
2154.21/2161.41 c #Conflicts: 1077000 | #Constraints: 36611
2154.21/2161.41 c #Conflicts: 1078000 | #Constraints: 37611
2154.21/2161.41 c #Conflicts: 1079000 | #Constraints: 38611
2154.21/2161.41 c #Conflicts: 1080000 | #Constraints: 39611
2154.21/2161.41 c #Conflicts: 1081000 | #Constraints: 40611
2154.21/2161.41 c #Conflicts: 1082000 | #Constraints: 41611
2154.21/2161.41 c #Conflicts: 1083000 | #Constraints: 42611
2154.21/2161.41 c INPROCESSING
2154.21/2161.41 c GARBAGE COLLECT
2154.21/2161.41 c #Conflicts: 1084000 | #Constraints: 22989
2154.21/2161.41 c #Conflicts: 1085000 | #Constraints: 23989
2154.21/2161.41 c #Conflicts: 1086000 | #Constraints: 24989
2154.21/2161.41 c #Conflicts: 1087000 | #Constraints: 25989
2154.21/2161.41 c #Conflicts: 1088000 | #Constraints: 26989
2154.21/2161.41 c #Conflicts: 1089000 | #Constraints: 27989
2154.21/2161.41 c #Conflicts: 1090000 | #Constraints: 28989
2154.21/2161.41 c #Conflicts: 1091000 | #Constraints: 29989
2154.21/2161.41 c #Conflicts: 1092000 | #Constraints: 30989
2154.21/2161.41 c #Conflicts: 1093000 | #Constraints: 31989
2154.21/2161.41 c #Conflicts: 1094000 | #Constraints: 32989
2154.21/2161.41 c #Conflicts: 1095000 | #Constraints: 33989
2154.21/2161.41 c #Conflicts: 1096000 | #Constraints: 34989
2154.21/2161.41 c #Conflicts: 1097000 | #Constraints: 35989
2154.21/2161.41 c #Conflicts: 1098000 | #Constraints: 36989
2154.21/2161.41 c #Conflicts: 1099000 | #Constraints: 37989
2154.21/2161.41 c #Conflicts: 1100000 | #Constraints: 38989
2154.21/2161.41 c #Conflicts: 1101000 | #Constraints: 39989
2154.21/2161.41 c #Conflicts: 1102000 | #Constraints: 40989
2154.21/2161.41 c #Conflicts: 1103000 | #Constraints: 41989
2154.21/2161.41 c #Conflicts: 1104000 | #Constraints: 42989
2154.21/2161.41 c INPROCESSING
2154.21/2161.41 c GARBAGE COLLECT
2154.21/2161.41 c #Conflicts: 1105000 | #Constraints: 23183
2154.21/2161.41 c #Conflicts: 1106000 | #Constraints: 24183
2154.21/2161.41 c #Conflicts: 1107000 | #Constraints: 25183
2154.21/2161.41 c #Conflicts: 1108000 | #Constraints: 26183
2154.21/2161.41 c #Conflicts: 1109000 | #Constraints: 27183
2154.21/2161.41 c #Conflicts: 1110000 | #Constraints: 28183
2154.21/2161.41 c #Conflicts: 1111000 | #Constraints: 29183
2154.21/2161.41 c #Conflicts: 1112000 | #Constraints: 30183
2154.21/2161.41 c #Conflicts: 1113000 | #Constraints: 31183
2154.21/2161.41 c #Conflicts: 1114000 | #Constraints: 32183
2154.21/2161.41 c #Conflicts: 1115000 | #Constraints: 33183
2154.21/2161.41 c #Conflicts: 1116000 | #Constraints: 34183
2154.21/2161.41 c #Conflicts: 1117000 | #Constraints: 35183
2154.21/2161.41 c #Conflicts: 1118000 | #Constraints: 36183
2154.21/2161.41 c #Conflicts: 1119000 | #Constraints: 37183
2154.21/2161.41 c #Conflicts: 1120000 | #Constraints: 38183
2154.21/2161.41 c #Conflicts: 1121000 | #Constraints: 39183
2308.97/2316.74 c #Conflicts: 1122000 | #Constraints: 40183
2308.97/2316.74 c #Conflicts: 1123000 | #Constraints: 41183
2308.97/2316.74 c #Conflicts: 1124000 | #Constraints: 42183
2308.97/2316.74 c #Conflicts: 1125000 | #Constraints: 43183
2308.97/2316.74 c INPROCESSING
2308.97/2316.74 c GARBAGE COLLECT
2308.97/2316.74 c #Conflicts: 1126000 | #Constraints: 23194
2308.97/2316.74 c #Conflicts: 1127000 | #Constraints: 24194
2308.97/2316.74 c #Conflicts: 1128000 | #Constraints: 25194
2308.97/2316.74 c #Conflicts: 1129000 | #Constraints: 26194
2308.97/2316.74 c #Conflicts: 1130000 | #Constraints: 27194
2308.97/2316.74 c #Conflicts: 1131000 | #Constraints: 28194
2308.97/2316.74 c #Conflicts: 1132000 | #Constraints: 29194
2308.97/2316.74 c #Conflicts: 1133000 | #Constraints: 30194
2308.97/2316.74 c #Conflicts: 1134000 | #Constraints: 31194
2308.97/2316.74 c #Conflicts: 1135000 | #Constraints: 32194
2308.97/2316.74 c #Conflicts: 1136000 | #Constraints: 33194
2308.97/2316.74 c #Conflicts: 1137000 | #Constraints: 34194
2308.97/2316.74 c #Conflicts: 1138000 | #Constraints: 35194
2308.97/2316.74 c #Conflicts: 1139000 | #Constraints: 36194
2308.97/2316.74 c #Conflicts: 1140000 | #Constraints: 37194
2308.97/2316.74 c #Conflicts: 1141000 | #Constraints: 38194
2308.97/2316.74 c #Conflicts: 1142000 | #Constraints: 39194
2308.97/2316.74 c #Conflicts: 1143000 | #Constraints: 40194
2308.97/2316.74 c #Conflicts: 1144000 | #Constraints: 41194
2308.97/2316.74 c #Conflicts: 1145000 | #Constraints: 42194
2308.97/2316.74 c #Conflicts: 1146000 | #Constraints: 43194
2308.97/2316.74 c INPROCESSING
2308.97/2316.74 c GARBAGE COLLECT
2308.97/2316.74 c #Conflicts: 1147000 | #Constraints: 22963
2308.97/2316.74 c #Conflicts: 1148000 | #Constraints: 23963
2308.97/2316.74 c #Conflicts: 1149000 | #Constraints: 24963
2308.97/2316.74 c #Conflicts: 1150000 | #Constraints: 25963
2308.97/2316.74 c #Conflicts: 1151000 | #Constraints: 26963
2308.97/2316.74 c #Conflicts: 1152000 | #Constraints: 27963
2308.97/2316.74 c #Conflicts: 1153000 | #Constraints: 28963
2308.97/2316.74 c #Conflicts: 1154000 | #Constraints: 29963
2308.97/2316.74 c #Conflicts: 1155000 | #Constraints: 30963
2308.97/2316.74 c #Conflicts: 1156000 | #Constraints: 31963
2308.97/2316.74 c #Conflicts: 1157000 | #Constraints: 32963
2308.97/2316.74 c #Conflicts: 1158000 | #Constraints: 33963
2308.97/2316.74 c #Conflicts: 1159000 | #Constraints: 34963
2308.97/2316.74 c #Conflicts: 1160000 | #Constraints: 35963
2308.97/2316.74 c #Conflicts: 1161000 | #Constraints: 36963
2308.97/2316.74 c #Conflicts: 1162000 | #Constraints: 37963
2308.97/2316.74 c #Conflicts: 1163000 | #Constraints: 38963
2308.97/2316.74 c #Conflicts: 1164000 | #Constraints: 39963
2308.97/2316.74 c #Conflicts: 1165000 | #Constraints: 40963
2308.97/2316.74 c #Conflicts: 1166000 | #Constraints: 41963
2308.97/2316.74 c #Conflicts: 1167000 | #Constraints: 42963
2308.97/2316.74 c #Conflicts: 1168000 | #Constraints: 43963
2308.97/2316.74 c INPROCESSING
2308.97/2316.74 c GARBAGE COLLECT
2308.97/2316.74 c #Conflicts: 1169000 | #Constraints: 23560
2308.97/2316.74 c #Conflicts: 1170000 | #Constraints: 24560
2308.97/2316.74 c #Conflicts: 1171000 | #Constraints: 25560
2308.97/2316.74 c #Conflicts: 1172000 | #Constraints: 26560
2308.97/2316.74 c #Conflicts: 1173000 | #Constraints: 27560
2308.97/2316.74 c #Conflicts: 1174000 | #Constraints: 28560
2308.97/2316.74 c #Conflicts: 1175000 | #Constraints: 29560
2308.97/2316.74 c #Conflicts: 1176000 | #Constraints: 30560
2308.97/2316.74 c #Conflicts: 1177000 | #Constraints: 31560
2308.97/2316.74 c #Conflicts: 1178000 | #Constraints: 32560
2308.97/2316.74 c #Conflicts: 1179000 | #Constraints: 33560
2308.97/2316.74 c #Conflicts: 1180000 | #Constraints: 34560
2308.97/2316.74 c #Conflicts: 1181000 | #Constraints: 35560
2308.97/2316.74 c #Conflicts: 1182000 | #Constraints: 36560
2308.97/2316.74 c #Conflicts: 1183000 | #Constraints: 37560
2308.97/2316.74 c #Conflicts: 1184000 | #Constraints: 38560
2308.97/2316.74 c #Conflicts: 1185000 | #Constraints: 39560
2308.97/2316.74 c #Conflicts: 1186000 | #Constraints: 40560
2308.97/2316.74 c #Conflicts: 1187000 | #Constraints: 41560
2308.97/2316.74 c #Conflicts: 1188000 | #Constraints: 42560
2308.97/2316.74 c #Conflicts: 1189000 | #Constraints: 43560
2308.97/2316.74 c #Conflicts: 1190000 | #Constraints: 44560
2308.97/2316.74 c INPROCESSING
2308.97/2316.74 c GARBAGE COLLECT
2308.97/2316.74 c #Conflicts: 1191000 | #Constraints: 24033
2308.97/2316.74 c #Conflicts: 1192000 | #Constraints: 25033
2308.97/2316.74 c #Conflicts: 1193000 | #Constraints: 26033
2308.97/2316.74 c #Conflicts: 1194000 | #Constraints: 27033
2308.97/2316.74 c #Conflicts: 1195000 | #Constraints: 28033
2308.97/2316.74 c #Conflicts: 1196000 | #Constraints: 29033
2308.97/2316.74 c #Conflicts: 1197000 | #Constraints: 30033
2510.62/2519.08 c #Conflicts: 1198000 | #Constraints: 31033
2510.62/2519.08 c #Conflicts: 1199000 | #Constraints: 32033
2510.62/2519.08 c #Conflicts: 1200000 | #Constraints: 33033
2510.62/2519.08 c #Conflicts: 1201000 | #Constraints: 34033
2510.62/2519.08 c #Conflicts: 1202000 | #Constraints: 35033
2510.62/2519.08 c #Conflicts: 1203000 | #Constraints: 36033
2510.62/2519.08 c #Conflicts: 1204000 | #Constraints: 37033
2510.62/2519.08 c #Conflicts: 1205000 | #Constraints: 38033
2510.62/2519.08 c #Conflicts: 1206000 | #Constraints: 39033
2510.62/2519.08 c #Conflicts: 1207000 | #Constraints: 40033
2510.62/2519.08 c #Conflicts: 1208000 | #Constraints: 41033
2510.62/2519.08 c #Conflicts: 1209000 | #Constraints: 42033
2510.62/2519.08 c #Conflicts: 1210000 | #Constraints: 43033
2510.62/2519.08 c #Conflicts: 1211000 | #Constraints: 44033
2510.62/2519.08 c #Conflicts: 1212000 | #Constraints: 45033
2510.62/2519.08 c INPROCESSING
2510.62/2519.08 c GARBAGE COLLECT
2510.62/2519.08 c #Conflicts: 1213000 | #Constraints: 24217
2510.62/2519.08 c #Conflicts: 1214000 | #Constraints: 25217
2510.62/2519.08 c #Conflicts: 1215000 | #Constraints: 26217
2510.62/2519.08 c #Conflicts: 1216000 | #Constraints: 27217
2510.62/2519.08 c #Conflicts: 1217000 | #Constraints: 28217
2510.62/2519.08 c #Conflicts: 1218000 | #Constraints: 29217
2510.62/2519.08 c #Conflicts: 1219000 | #Constraints: 30217
2510.62/2519.08 c #Conflicts: 1220000 | #Constraints: 31217
2510.62/2519.08 c #Conflicts: 1221000 | #Constraints: 32217
2510.62/2519.08 c #Conflicts: 1222000 | #Constraints: 33217
2510.62/2519.08 c #Conflicts: 1223000 | #Constraints: 34217
2510.62/2519.08 c #Conflicts: 1224000 | #Constraints: 35217
2510.62/2519.08 c #Conflicts: 1225000 | #Constraints: 36217
2510.62/2519.08 c #Conflicts: 1226000 | #Constraints: 37217
2510.62/2519.08 c #Conflicts: 1227000 | #Constraints: 38217
2510.62/2519.08 c #Conflicts: 1228000 | #Constraints: 39217
2510.62/2519.08 c #Conflicts: 1229000 | #Constraints: 40217
2510.62/2519.08 c #Conflicts: 1230000 | #Constraints: 41217
2510.62/2519.08 c #Conflicts: 1231000 | #Constraints: 42217
2510.62/2519.08 c #Conflicts: 1232000 | #Constraints: 43217
2510.62/2519.08 c #Conflicts: 1233000 | #Constraints: 44217
2510.62/2519.08 c #Conflicts: 1234000 | #Constraints: 45217
2510.62/2519.08 c INPROCESSING
2510.62/2519.08 c GARBAGE COLLECT
2510.62/2519.08 c #Conflicts: 1235000 | #Constraints: 24245
2510.62/2519.08 c #Conflicts: 1236000 | #Constraints: 25245
2510.62/2519.08 c #Conflicts: 1237000 | #Constraints: 26245
2510.62/2519.08 c #Conflicts: 1238000 | #Constraints: 27245
2510.62/2519.08 c #Conflicts: 1239000 | #Constraints: 28245
2510.62/2519.08 c #Conflicts: 1240000 | #Constraints: 29245
2510.62/2519.08 c #Conflicts: 1241000 | #Constraints: 30245
2510.62/2519.08 c #Conflicts: 1242000 | #Constraints: 31245
2510.62/2519.08 c #Conflicts: 1243000 | #Constraints: 32245
2510.62/2519.08 c #Conflicts: 1244000 | #Constraints: 33245
2510.62/2519.08 c #Conflicts: 1245000 | #Constraints: 34245
2510.62/2519.08 c #Conflicts: 1246000 | #Constraints: 35245
2510.62/2519.08 c #Conflicts: 1247000 | #Constraints: 36245
2510.62/2519.08 c #Conflicts: 1248000 | #Constraints: 37245
2510.62/2519.08 c #Conflicts: 1249000 | #Constraints: 38245
2510.62/2519.08 c #Conflicts: 1250000 | #Constraints: 39245
2510.62/2519.08 c #Conflicts: 1251000 | #Constraints: 40245
2510.62/2519.08 c #Conflicts: 1252000 | #Constraints: 41245
2510.62/2519.08 c #Conflicts: 1253000 | #Constraints: 42245
2510.62/2519.08 c #Conflicts: 1254000 | #Constraints: 43245
2510.62/2519.08 c #Conflicts: 1255000 | #Constraints: 44245
2510.62/2519.08 c #Conflicts: 1256000 | #Constraints: 45245
2510.62/2519.08 c INPROCESSING
2510.62/2519.08 c GARBAGE COLLECT
2510.62/2519.08 c #Conflicts: 1257000 | #Constraints: 24054
2510.62/2519.08 c #Conflicts: 1258000 | #Constraints: 25054
2510.62/2519.08 c #Conflicts: 1259000 | #Constraints: 26054
2510.62/2519.08 c #Conflicts: 1260000 | #Constraints: 27054
2510.62/2519.08 c #Conflicts: 1261000 | #Constraints: 28054
2510.62/2519.08 c #Conflicts: 1262000 | #Constraints: 29054
2510.62/2519.08 c #Conflicts: 1263000 | #Constraints: 30054
2510.62/2519.08 c #Conflicts: 1264000 | #Constraints: 31054
2510.62/2519.08 c #Conflicts: 1265000 | #Constraints: 32054
2510.62/2519.08 c #Conflicts: 1266000 | #Constraints: 33054
2510.62/2519.08 c #Conflicts: 1267000 | #Constraints: 34054
2510.62/2519.08 c #Conflicts: 1268000 | #Constraints: 35054
2510.62/2519.08 c #Conflicts: 1269000 | #Constraints: 36054
2510.62/2519.08 c #Conflicts: 1270000 | #Constraints: 37054
2510.62/2519.08 c #Conflicts: 1271000 | #Constraints: 38054
2510.62/2519.08 c #Conflicts: 1272000 | #Constraints: 39054
2510.62/2519.08 c #Conflicts: 1273000 | #Constraints: 40054
2510.62/2519.08 c #Conflicts: 1274000 | #Constraints: 41054
2699.13/2708.14 c #Conflicts: 1275000 | #Constraints: 42054
2699.13/2708.14 c #Conflicts: 1276000 | #Constraints: 43054
2699.13/2708.14 c #Conflicts: 1277000 | #Constraints: 44054
2699.13/2708.14 c #Conflicts: 1278000 | #Constraints: 45054
2699.13/2708.14 c #Conflicts: 1279000 | #Constraints: 46054
2699.13/2708.14 c INPROCESSING
2699.13/2708.14 c GARBAGE COLLECT
2699.13/2708.14 c #Conflicts: 1280000 | #Constraints: 24633
2699.13/2708.14 c #Conflicts: 1281000 | #Constraints: 25633
2699.13/2708.14 c #Conflicts: 1282000 | #Constraints: 26633
2699.13/2708.14 c #Conflicts: 1283000 | #Constraints: 27633
2699.13/2708.14 c #Conflicts: 1284000 | #Constraints: 28633
2699.13/2708.14 c #Conflicts: 1285000 | #Constraints: 29633
2699.13/2708.14 c #Conflicts: 1286000 | #Constraints: 30633
2699.13/2708.14 c #Conflicts: 1287000 | #Constraints: 31633
2699.13/2708.14 c #Conflicts: 1288000 | #Constraints: 32633
2699.13/2708.14 c #Conflicts: 1289000 | #Constraints: 33633
2699.13/2708.14 c #Conflicts: 1290000 | #Constraints: 34633
2699.13/2708.14 c #Conflicts: 1291000 | #Constraints: 35633
2699.13/2708.14 c #Conflicts: 1292000 | #Constraints: 36633
2699.13/2708.14 c #Conflicts: 1293000 | #Constraints: 37633
2699.13/2708.14 c #Conflicts: 1294000 | #Constraints: 38633
2699.13/2708.14 c #Conflicts: 1295000 | #Constraints: 39633
2699.13/2708.14 c #Conflicts: 1296000 | #Constraints: 40633
2699.13/2708.14 c #Conflicts: 1297000 | #Constraints: 41633
2699.13/2708.14 c #Conflicts: 1298000 | #Constraints: 42633
2699.13/2708.14 c #Conflicts: 1299000 | #Constraints: 43633
2699.13/2708.14 c #Conflicts: 1300000 | #Constraints: 44633
2699.13/2708.14 c #Conflicts: 1301000 | #Constraints: 45633
2699.13/2708.14 c #Conflicts: 1302000 | #Constraints: 46633
2699.13/2708.14 c INPROCESSING
2699.13/2708.14 c GARBAGE COLLECT
2699.13/2708.14 c #Conflicts: 1303000 | #Constraints: 25035
2699.13/2708.14 c #Conflicts: 1304000 | #Constraints: 26035
2699.13/2708.14 c #Conflicts: 1305000 | #Constraints: 27035
2699.13/2708.14 c #Conflicts: 1306000 | #Constraints: 28035
2699.13/2708.14 c #Conflicts: 1307000 | #Constraints: 29035
2699.13/2708.14 c #Conflicts: 1308000 | #Constraints: 30035
2699.13/2708.14 c #Conflicts: 1309000 | #Constraints: 31035
2699.13/2708.14 c #Conflicts: 1310000 | #Constraints: 32035
2699.13/2708.14 c #Conflicts: 1311000 | #Constraints: 33035
2699.13/2708.14 c #Conflicts: 1312000 | #Constraints: 34035
2699.13/2708.14 c #Conflicts: 1313000 | #Constraints: 35035
2699.13/2708.14 c #Conflicts: 1314000 | #Constraints: 36035
2699.13/2708.14 c #Conflicts: 1315000 | #Constraints: 37035
2699.13/2708.14 c #Conflicts: 1316000 | #Constraints: 38035
2699.13/2708.14 c #Conflicts: 1317000 | #Constraints: 39035
2699.13/2708.14 c #Conflicts: 1318000 | #Constraints: 40035
2699.13/2708.14 c #Conflicts: 1319000 | #Constraints: 41035
2699.13/2708.14 c #Conflicts: 1320000 | #Constraints: 42035
2699.13/2708.14 c #Conflicts: 1321000 | #Constraints: 43035
2699.13/2708.14 c #Conflicts: 1322000 | #Constraints: 44035
2699.13/2708.14 c #Conflicts: 1323000 | #Constraints: 45035
2699.13/2708.14 c #Conflicts: 1324000 | #Constraints: 46035
2699.13/2708.14 c #Conflicts: 1325000 | #Constraints: 47035
2699.13/2708.14 c INPROCESSING
2699.13/2708.14 c GARBAGE COLLECT
2699.13/2708.14 c #Conflicts: 1326000 | #Constraints: 25200
2699.13/2708.14 c #Conflicts: 1327000 | #Constraints: 26200
2699.13/2708.14 c #Conflicts: 1328000 | #Constraints: 27200
2699.13/2708.14 c #Conflicts: 1329000 | #Constraints: 28200
2699.13/2708.14 c #Conflicts: 1330000 | #Constraints: 29200
2699.13/2708.14 c #Conflicts: 1331000 | #Constraints: 30200
2699.13/2708.14 c #Conflicts: 1332000 | #Constraints: 31200
2699.13/2708.14 c #Conflicts: 1333000 | #Constraints: 32200
2699.13/2708.14 c #Conflicts: 1334000 | #Constraints: 33200
2699.13/2708.14 c #Conflicts: 1335000 | #Constraints: 34200
2699.13/2708.14 c #Conflicts: 1336000 | #Constraints: 35200
2699.13/2708.14 c #Conflicts: 1337000 | #Constraints: 36200
2699.13/2708.14 c #Conflicts: 1338000 | #Constraints: 37200
2699.13/2708.14 c #Conflicts: 1339000 | #Constraints: 38200
2699.13/2708.14 c #Conflicts: 1340000 | #Constraints: 39200
2699.13/2708.14 c #Conflicts: 1341000 | #Constraints: 40200
2699.13/2708.14 c #Conflicts: 1342000 | #Constraints: 41200
2699.13/2708.14 c #Conflicts: 1343000 | #Constraints: 42200
2699.13/2708.14 c #Conflicts: 1344000 | #Constraints: 43200
2699.13/2708.14 c #Conflicts: 1345000 | #Constraints: 44200
2699.13/2708.14 c #Conflicts: 1346000 | #Constraints: 45200
2699.13/2708.14 c #Conflicts: 1347000 | #Constraints: 46200
2699.13/2708.14 c #Conflicts: 1348000 | #Constraints: 47200
2699.13/2708.14 c INPROCESSING
2699.13/2708.14 c GARBAGE COLLECT
2699.13/2708.14 c #Conflicts: 1349000 | #Constraints: 25238
2699.13/2708.14 c #Conflicts: 1350000 | #Constraints: 26238
2870.69/2880.26 c #Conflicts: 1351000 | #Constraints: 27238
2870.69/2880.26 c #Conflicts: 1352000 | #Constraints: 28238
2870.69/2880.26 c #Conflicts: 1353000 | #Constraints: 29238
2870.69/2880.26 c #Conflicts: 1354000 | #Constraints: 30238
2870.69/2880.26 c #Conflicts: 1355000 | #Constraints: 31238
2870.69/2880.26 c #Conflicts: 1356000 | #Constraints: 32238
2870.69/2880.26 c #Conflicts: 1357000 | #Constraints: 33238
2870.69/2880.26 c #Conflicts: 1358000 | #Constraints: 34238
2870.69/2880.26 c #Conflicts: 1359000 | #Constraints: 35238
2870.69/2880.26 c #Conflicts: 1360000 | #Constraints: 36238
2870.69/2880.26 c #Conflicts: 1361000 | #Constraints: 37238
2870.69/2880.26 c #Conflicts: 1362000 | #Constraints: 38238
2870.69/2880.26 c #Conflicts: 1363000 | #Constraints: 39238
2870.69/2880.26 c #Conflicts: 1364000 | #Constraints: 40238
2870.69/2880.26 c #Conflicts: 1365000 | #Constraints: 41238
2870.69/2880.26 c #Conflicts: 1366000 | #Constraints: 42238
2870.69/2880.26 c #Conflicts: 1367000 | #Constraints: 43238
2870.69/2880.26 c #Conflicts: 1368000 | #Constraints: 44238
2870.69/2880.26 c #Conflicts: 1369000 | #Constraints: 45238
2870.69/2880.26 c #Conflicts: 1370000 | #Constraints: 46238
2870.69/2880.26 c #Conflicts: 1371000 | #Constraints: 47238
2870.69/2880.26 c INPROCESSING
2870.69/2880.26 c GARBAGE COLLECT
2870.69/2880.26 c #Conflicts: 1372000 | #Constraints: 25037
2870.69/2880.26 c #Conflicts: 1373000 | #Constraints: 26037
2870.69/2880.26 c #Conflicts: 1374000 | #Constraints: 27037
2870.69/2880.26 c #Conflicts: 1375000 | #Constraints: 28037
2870.69/2880.26 c #Conflicts: 1376000 | #Constraints: 29037
2870.69/2880.26 c #Conflicts: 1377000 | #Constraints: 30037
2870.69/2880.26 c #Conflicts: 1378000 | #Constraints: 31037
2870.69/2880.26 c #Conflicts: 1379000 | #Constraints: 32037
2870.69/2880.26 c #Conflicts: 1380000 | #Constraints: 33037
2870.69/2880.26 c #Conflicts: 1381000 | #Constraints: 34037
2870.69/2880.26 c #Conflicts: 1382000 | #Constraints: 35037
2870.69/2880.26 c #Conflicts: 1383000 | #Constraints: 36037
2870.69/2880.26 c #Conflicts: 1384000 | #Constraints: 37037
2870.69/2880.26 c #Conflicts: 1385000 | #Constraints: 38037
2870.69/2880.26 c #Conflicts: 1386000 | #Constraints: 39037
2870.69/2880.26 c #Conflicts: 1387000 | #Constraints: 40037
2870.69/2880.26 c #Conflicts: 1388000 | #Constraints: 41037
2870.69/2880.26 c #Conflicts: 1389000 | #Constraints: 42037
2870.69/2880.26 c #Conflicts: 1390000 | #Constraints: 43037
2870.69/2880.26 c #Conflicts: 1391000 | #Constraints: 44037
2870.69/2880.26 c #Conflicts: 1392000 | #Constraints: 45037
2870.69/2880.26 c #Conflicts: 1393000 | #Constraints: 46037
2870.69/2880.26 c #Conflicts: 1394000 | #Constraints: 47037
2870.69/2880.26 c #Conflicts: 1395000 | #Constraints: 48037
2870.69/2880.26 c INPROCESSING
2870.69/2880.26 c GARBAGE COLLECT
2870.69/2880.26 c #Conflicts: 1396000 | #Constraints: 25628
2870.69/2880.26 c #Conflicts: 1397000 | #Constraints: 26628
2870.69/2880.26 c #Conflicts: 1398000 | #Constraints: 27628
2870.69/2880.26 c #Conflicts: 1399000 | #Constraints: 28628
2870.69/2880.26 c #Conflicts: 1400000 | #Constraints: 29628
2870.69/2880.26 c #Conflicts: 1401000 | #Constraints: 30628
2870.69/2880.26 c #Conflicts: 1402000 | #Constraints: 31628
2870.69/2880.26 c #Conflicts: 1403000 | #Constraints: 32628
2870.69/2880.26 c #Conflicts: 1404000 | #Constraints: 33628
2870.69/2880.26 c #Conflicts: 1405000 | #Constraints: 34628
2870.69/2880.26 c #Conflicts: 1406000 | #Constraints: 35628
2870.69/2880.26 c #Conflicts: 1407000 | #Constraints: 36628
2870.69/2880.26 c #Conflicts: 1408000 | #Constraints: 37628
2870.69/2880.26 c #Conflicts: 1409000 | #Constraints: 38628
2870.69/2880.26 c #Conflicts: 1410000 | #Constraints: 39628
2870.69/2880.26 c #Conflicts: 1411000 | #Constraints: 40628
2870.69/2880.26 c #Conflicts: 1412000 | #Constraints: 41628
2870.69/2880.26 c #Conflicts: 1413000 | #Constraints: 42628
2870.69/2880.26 c #Conflicts: 1414000 | #Constraints: 43628
2870.69/2880.26 c #Conflicts: 1415000 | #Constraints: 44628
2870.69/2880.26 c #Conflicts: 1416000 | #Constraints: 45628
2870.69/2880.26 c #Conflicts: 1417000 | #Constraints: 46628
2870.69/2880.26 c #Conflicts: 1418000 | #Constraints: 47628
2870.69/2880.26 c #Conflicts: 1419000 | #Constraints: 48628
2870.69/2880.26 c INPROCESSING
2870.69/2880.26 c GARBAGE COLLECT
2870.69/2880.26 c #Conflicts: 1420000 | #Constraints: 26010
2870.69/2880.26 c #Conflicts: 1421000 | #Constraints: 27010
2870.69/2880.26 c #Conflicts: 1422000 | #Constraints: 28010
2870.69/2880.26 c #Conflicts: 1423000 | #Constraints: 29010
2870.69/2880.26 c #Conflicts: 1424000 | #Constraints: 30010
2870.69/2880.26 c #Conflicts: 1425000 | #Constraints: 31010
2870.69/2880.26 c #Conflicts: 1426000 | #Constraints: 32010
2870.69/2880.26 c #Conflicts: 1427000 | #Constraints: 33010
3074.30/3084.46 c #Conflicts: 1428000 | #Constraints: 34010
3074.30/3084.46 c #Conflicts: 1429000 | #Constraints: 35010
3074.30/3084.46 c #Conflicts: 1430000 | #Constraints: 36010
3074.30/3084.46 c #Conflicts: 1431000 | #Constraints: 37010
3074.30/3084.46 c #Conflicts: 1432000 | #Constraints: 38010
3074.30/3084.46 c #Conflicts: 1433000 | #Constraints: 39010
3074.30/3084.46 c #Conflicts: 1434000 | #Constraints: 40010
3074.30/3084.46 c #Conflicts: 1435000 | #Constraints: 41010
3074.30/3084.46 c #Conflicts: 1436000 | #Constraints: 42010
3074.30/3084.46 c #Conflicts: 1437000 | #Constraints: 43010
3074.30/3084.46 c #Conflicts: 1438000 | #Constraints: 44010
3074.30/3084.46 c #Conflicts: 1439000 | #Constraints: 45010
3074.30/3084.46 c #Conflicts: 1440000 | #Constraints: 46010
3074.30/3084.46 c #Conflicts: 1441000 | #Constraints: 47010
3074.30/3084.46 c #Conflicts: 1442000 | #Constraints: 48010
3074.30/3084.46 c #Conflicts: 1443000 | #Constraints: 49010
3074.30/3084.46 c INPROCESSING
3074.30/3084.46 c GARBAGE COLLECT
3074.30/3084.46 c #Conflicts: 1444000 | #Constraints: 26204
3074.30/3084.46 c #Conflicts: 1445000 | #Constraints: 27204
3074.30/3084.46 c #Conflicts: 1446000 | #Constraints: 28204
3074.30/3084.46 c #Conflicts: 1447000 | #Constraints: 29204
3074.30/3084.46 c #Conflicts: 1448000 | #Constraints: 30204
3074.30/3084.46 c #Conflicts: 1449000 | #Constraints: 31204
3074.30/3084.46 c #Conflicts: 1450000 | #Constraints: 32204
3074.30/3084.46 c #Conflicts: 1451000 | #Constraints: 33204
3074.30/3084.46 c #Conflicts: 1452000 | #Constraints: 34204
3074.30/3084.46 c #Conflicts: 1453000 | #Constraints: 35204
3074.30/3084.46 c #Conflicts: 1454000 | #Constraints: 36204
3074.30/3084.46 c #Conflicts: 1455000 | #Constraints: 37204
3074.30/3084.46 c #Conflicts: 1456000 | #Constraints: 38204
3074.30/3084.46 c #Conflicts: 1457000 | #Constraints: 39204
3074.30/3084.46 c #Conflicts: 1458000 | #Constraints: 40204
3074.30/3084.46 c #Conflicts: 1459000 | #Constraints: 41204
3074.30/3084.46 c #Conflicts: 1460000 | #Constraints: 42204
3074.30/3084.46 c #Conflicts: 1461000 | #Constraints: 43204
3074.30/3084.46 c #Conflicts: 1462000 | #Constraints: 44204
3074.30/3084.46 c #Conflicts: 1463000 | #Constraints: 45204
3074.30/3084.46 c #Conflicts: 1464000 | #Constraints: 46204
3074.30/3084.46 c #Conflicts: 1465000 | #Constraints: 47204
3074.30/3084.46 c #Conflicts: 1466000 | #Constraints: 48204
3074.30/3084.46 c #Conflicts: 1467000 | #Constraints: 49204
3074.30/3084.46 c INPROCESSING
3074.30/3084.46 c GARBAGE COLLECT
3074.30/3084.46 c #Conflicts: 1468000 | #Constraints: 26208
3074.30/3084.46 c #Conflicts: 1469000 | #Constraints: 27208
3074.30/3084.46 c #Conflicts: 1470000 | #Constraints: 28208
3074.30/3084.46 c #Conflicts: 1471000 | #Constraints: 29208
3074.30/3084.46 c #Conflicts: 1472000 | #Constraints: 30208
3074.30/3084.46 c #Conflicts: 1473000 | #Constraints: 31208
3074.30/3084.46 c #Conflicts: 1474000 | #Constraints: 32208
3074.30/3084.46 c #Conflicts: 1475000 | #Constraints: 33208
3074.30/3084.46 c #Conflicts: 1476000 | #Constraints: 34208
3074.30/3084.46 c #Conflicts: 1477000 | #Constraints: 35208
3074.30/3084.46 c #Conflicts: 1478000 | #Constraints: 36208
3074.30/3084.46 c #Conflicts: 1479000 | #Constraints: 37208
3074.30/3084.46 c #Conflicts: 1480000 | #Constraints: 38208
3074.30/3084.46 c #Conflicts: 1481000 | #Constraints: 39208
3074.30/3084.46 c #Conflicts: 1482000 | #Constraints: 40208
3074.30/3084.46 c #Conflicts: 1483000 | #Constraints: 41208
3074.30/3084.46 c #Conflicts: 1484000 | #Constraints: 42208
3074.30/3084.46 c #Conflicts: 1485000 | #Constraints: 43208
3074.30/3084.46 c #Conflicts: 1486000 | #Constraints: 44208
3074.30/3084.46 c #Conflicts: 1487000 | #Constraints: 45208
3074.30/3084.46 c #Conflicts: 1488000 | #Constraints: 46208
3074.30/3084.46 c #Conflicts: 1489000 | #Constraints: 47208
3074.30/3084.46 c #Conflicts: 1490000 | #Constraints: 48208
3074.30/3084.46 c #Conflicts: 1491000 | #Constraints: 49208
3074.30/3084.46 c INPROCESSING
3074.30/3084.46 c GARBAGE COLLECT
3074.30/3084.46 c #Conflicts: 1492000 | #Constraints: 26030
3074.30/3084.46 c #Conflicts: 1493000 | #Constraints: 27030
3074.30/3084.46 c #Conflicts: 1494000 | #Constraints: 28030
3074.30/3084.46 c #Conflicts: 1495000 | #Constraints: 29030
3074.30/3084.46 c #Conflicts: 1496000 | #Constraints: 30030
3074.30/3084.46 c #Conflicts: 1497000 | #Constraints: 31030
3074.30/3084.46 c #Conflicts: 1498000 | #Constraints: 32030
3074.30/3084.46 c #Conflicts: 1499000 | #Constraints: 33030
3074.30/3084.46 c #Conflicts: 1500000 | #Constraints: 34030
3074.30/3084.46 c #Conflicts: 1501000 | #Constraints: 35030
3074.30/3084.46 c #Conflicts: 1502000 | #Constraints: 36030
3074.30/3084.46 c #Conflicts: 1503000 | #Constraints: 37030
3074.30/3084.46 c #Conflicts: 1504000 | #Constraints: 38030
3270.52/3281.24 c #Conflicts: 1505000 | #Constraints: 39030
3270.52/3281.24 c #Conflicts: 1506000 | #Constraints: 40030
3270.52/3281.24 c #Conflicts: 1507000 | #Constraints: 41030
3270.52/3281.24 c #Conflicts: 1508000 | #Constraints: 42030
3270.52/3281.24 c #Conflicts: 1509000 | #Constraints: 43030
3270.52/3281.24 c #Conflicts: 1510000 | #Constraints: 44030
3270.52/3281.24 c #Conflicts: 1511000 | #Constraints: 45030
3270.52/3281.24 c #Conflicts: 1512000 | #Constraints: 46030
3270.52/3281.24 c #Conflicts: 1513000 | #Constraints: 47030
3270.52/3281.24 c #Conflicts: 1514000 | #Constraints: 48030
3270.52/3281.24 c #Conflicts: 1515000 | #Constraints: 49030
3270.52/3281.24 c #Conflicts: 1516000 | #Constraints: 50030
3270.52/3281.24 c INPROCESSING
3270.52/3281.24 c GARBAGE COLLECT
3270.52/3281.24 c #Conflicts: 1517000 | #Constraints: 26580
3270.52/3281.24 c #Conflicts: 1518000 | #Constraints: 27580
3270.52/3281.24 c #Conflicts: 1519000 | #Constraints: 28580
3270.52/3281.24 c #Conflicts: 1520000 | #Constraints: 29580
3270.52/3281.24 c #Conflicts: 1521000 | #Constraints: 30580
3270.52/3281.24 c #Conflicts: 1522000 | #Constraints: 31580
3270.52/3281.24 c #Conflicts: 1523000 | #Constraints: 32580
3270.52/3281.24 c #Conflicts: 1524000 | #Constraints: 33580
3270.52/3281.24 c #Conflicts: 1525000 | #Constraints: 34580
3270.52/3281.24 c #Conflicts: 1526000 | #Constraints: 35580
3270.52/3281.24 c #Conflicts: 1527000 | #Constraints: 36580
3270.52/3281.24 c #Conflicts: 1528000 | #Constraints: 37580
3270.52/3281.24 c #Conflicts: 1529000 | #Constraints: 38580
3270.52/3281.24 c #Conflicts: 1530000 | #Constraints: 39580
3270.52/3281.24 c #Conflicts: 1531000 | #Constraints: 40580
3270.52/3281.24 c #Conflicts: 1532000 | #Constraints: 41580
3270.52/3281.24 c #Conflicts: 1533000 | #Constraints: 42580
3270.52/3281.24 c #Conflicts: 1534000 | #Constraints: 43580
3270.52/3281.24 c #Conflicts: 1535000 | #Constraints: 44580
3270.52/3281.24 c #Conflicts: 1536000 | #Constraints: 45580
3270.52/3281.24 c #Conflicts: 1537000 | #Constraints: 46580
3270.52/3281.24 c #Conflicts: 1538000 | #Constraints: 47580
3270.52/3281.24 c #Conflicts: 1539000 | #Constraints: 48580
3270.52/3281.24 c #Conflicts: 1540000 | #Constraints: 49580
3270.52/3281.24 c #Conflicts: 1541000 | #Constraints: 50580
3270.52/3281.24 c INPROCESSING
3270.52/3281.24 c GARBAGE COLLECT
3270.52/3281.24 c #Conflicts: 1542000 | #Constraints: 27002
3270.52/3281.24 c #Conflicts: 1543000 | #Constraints: 28002
3270.52/3281.24 c #Conflicts: 1544000 | #Constraints: 29002
3270.52/3281.24 c #Conflicts: 1545000 | #Constraints: 30002
3270.52/3281.24 c #Conflicts: 1546000 | #Constraints: 31002
3270.52/3281.24 c #Conflicts: 1547000 | #Constraints: 32002
3270.52/3281.24 c #Conflicts: 1548000 | #Constraints: 33002
3270.52/3281.24 c #Conflicts: 1549000 | #Constraints: 34002
3270.52/3281.24 c #Conflicts: 1550000 | #Constraints: 35002
3270.52/3281.24 c #Conflicts: 1551000 | #Constraints: 36002
3270.52/3281.24 c #Conflicts: 1552000 | #Constraints: 37002
3270.52/3281.24 c #Conflicts: 1553000 | #Constraints: 38002
3270.52/3281.24 c #Conflicts: 1554000 | #Constraints: 39002
3270.52/3281.24 c #Conflicts: 1555000 | #Constraints: 40002
3270.52/3281.24 c #Conflicts: 1556000 | #Constraints: 41002
3270.52/3281.24 c #Conflicts: 1557000 | #Constraints: 42002
3270.52/3281.24 c #Conflicts: 1558000 | #Constraints: 43002
3270.52/3281.24 c #Conflicts: 1559000 | #Constraints: 44002
3270.52/3281.24 c #Conflicts: 1560000 | #Constraints: 45002
3270.52/3281.24 c #Conflicts: 1561000 | #Constraints: 46002
3270.52/3281.24 c #Conflicts: 1562000 | #Constraints: 47002
3270.52/3281.24 c #Conflicts: 1563000 | #Constraints: 48002
3270.52/3281.24 c #Conflicts: 1564000 | #Constraints: 49002
3270.52/3281.24 c #Conflicts: 1565000 | #Constraints: 50002
3270.52/3281.24 c #Conflicts: 1566000 | #Constraints: 51002
3270.52/3281.24 c INPROCESSING
3270.52/3281.24 c GARBAGE COLLECT
3270.52/3281.24 c #Conflicts: 1567000 | #Constraints: 27181
3270.52/3281.24 c #Conflicts: 1568000 | #Constraints: 28181
3270.52/3281.24 c #Conflicts: 1569000 | #Constraints: 29181
3270.52/3281.24 c #Conflicts: 1570000 | #Constraints: 30181
3270.52/3281.24 c #Conflicts: 1571000 | #Constraints: 31181
3270.52/3281.24 c #Conflicts: 1572000 | #Constraints: 32181
3270.52/3281.24 c #Conflicts: 1573000 | #Constraints: 33181
3270.52/3281.24 c #Conflicts: 1574000 | #Constraints: 34181
3270.52/3281.24 c #Conflicts: 1575000 | #Constraints: 35181
3270.52/3281.24 c #Conflicts: 1576000 | #Constraints: 36181
3270.52/3281.24 c #Conflicts: 1577000 | #Constraints: 37181
3270.52/3281.24 c #Conflicts: 1578000 | #Constraints: 38181
3270.52/3281.24 c #Conflicts: 1579000 | #Constraints: 39181
3270.52/3281.24 c #Conflicts: 1580000 | #Constraints: 40181
3270.52/3281.24 c #Conflicts: 1581000 | #Constraints: 41181
3490.09/3501.46 c #Conflicts: 1582000 | #Constraints: 42181
3490.09/3501.46 c #Conflicts: 1583000 | #Constraints: 43181
3490.09/3501.46 c #Conflicts: 1584000 | #Constraints: 44181
3490.09/3501.46 c #Conflicts: 1585000 | #Constraints: 45181
3490.09/3501.46 c #Conflicts: 1586000 | #Constraints: 46181
3490.09/3501.46 c #Conflicts: 1587000 | #Constraints: 47181
3490.09/3501.46 c #Conflicts: 1588000 | #Constraints: 48181
3490.09/3501.46 c #Conflicts: 1589000 | #Constraints: 49181
3490.09/3501.46 c #Conflicts: 1590000 | #Constraints: 50181
3490.09/3501.46 c #Conflicts: 1591000 | #Constraints: 51181
3490.09/3501.46 c INPROCESSING
3490.09/3501.46 c GARBAGE COLLECT
3490.09/3501.46 c #Conflicts: 1592000 | #Constraints: 27223
3490.09/3501.46 c #Conflicts: 1593000 | #Constraints: 28223
3490.09/3501.46 c #Conflicts: 1594000 | #Constraints: 29223
3490.09/3501.46 c #Conflicts: 1595000 | #Constraints: 30223
3490.09/3501.46 c #Conflicts: 1596000 | #Constraints: 31223
3490.09/3501.46 c #Conflicts: 1597000 | #Constraints: 32223
3490.09/3501.46 c #Conflicts: 1598000 | #Constraints: 33223
3490.09/3501.46 c #Conflicts: 1599000 | #Constraints: 34223
3490.09/3501.46 c #Conflicts: 1600000 | #Constraints: 35223
3490.09/3501.46 c #Conflicts: 1601000 | #Constraints: 36223
3490.09/3501.46 c #Conflicts: 1602000 | #Constraints: 37223
3490.09/3501.46 c #Conflicts: 1603000 | #Constraints: 38223
3490.09/3501.46 c #Conflicts: 1604000 | #Constraints: 39223
3490.09/3501.46 c #Conflicts: 1605000 | #Constraints: 40223
3490.09/3501.46 c #Conflicts: 1606000 | #Constraints: 41223
3490.09/3501.46 c #Conflicts: 1607000 | #Constraints: 42223
3490.09/3501.46 c #Conflicts: 1608000 | #Constraints: 43223
3490.09/3501.46 c #Conflicts: 1609000 | #Constraints: 44223
3490.09/3501.46 c #Conflicts: 1610000 | #Constraints: 45223
3490.09/3501.46 c #Conflicts: 1611000 | #Constraints: 46223
3490.09/3501.46 c #Conflicts: 1612000 | #Constraints: 47223
3490.09/3501.46 c #Conflicts: 1613000 | #Constraints: 48223
3490.09/3501.46 c #Conflicts: 1614000 | #Constraints: 49223
3490.09/3501.46 c #Conflicts: 1615000 | #Constraints: 50223
3490.09/3501.46 c #Conflicts: 1616000 | #Constraints: 51223
3490.09/3501.46 c INPROCESSING
3490.09/3501.46 c GARBAGE COLLECT
3490.09/3501.46 c #Conflicts: 1617000 | #Constraints: 27029
3490.09/3501.46 c #Conflicts: 1618000 | #Constraints: 28029
3490.09/3501.46 c #Conflicts: 1619000 | #Constraints: 29029
3490.09/3501.46 c #Conflicts: 1620000 | #Constraints: 30029
3490.09/3501.46 c #Conflicts: 1621000 | #Constraints: 31029
3490.09/3501.46 c #Conflicts: 1622000 | #Constraints: 32029
3490.09/3501.46 c #Conflicts: 1623000 | #Constraints: 33029
3490.09/3501.46 c #Conflicts: 1624000 | #Constraints: 34029
3490.09/3501.46 c #Conflicts: 1625000 | #Constraints: 35029
3490.09/3501.46 c #Conflicts: 1626000 | #Constraints: 36029
3490.09/3501.46 c #Conflicts: 1627000 | #Constraints: 37029
3490.09/3501.46 c #Conflicts: 1628000 | #Constraints: 38029
3490.09/3501.46 c #Conflicts: 1629000 | #Constraints: 39029
3490.09/3501.46 c #Conflicts: 1630000 | #Constraints: 40029
3490.09/3501.46 c #Conflicts: 1631000 | #Constraints: 41029
3490.09/3501.46 c #Conflicts: 1632000 | #Constraints: 42029
3490.09/3501.46 c #Conflicts: 1633000 | #Constraints: 43029
3490.09/3501.46 c #Conflicts: 1634000 | #Constraints: 44029
3490.09/3501.46 c #Conflicts: 1635000 | #Constraints: 45029
3490.09/3501.46 c #Conflicts: 1636000 | #Constraints: 46029
3490.09/3501.46 c #Conflicts: 1637000 | #Constraints: 47029
3490.09/3501.46 c #Conflicts: 1638000 | #Constraints: 48029
3490.09/3501.46 c #Conflicts: 1639000 | #Constraints: 49029
3490.09/3501.46 c #Conflicts: 1640000 | #Constraints: 50029
3490.09/3501.46 c #Conflicts: 1641000 | #Constraints: 51029
3490.09/3501.46 c #Conflicts: 1642000 | #Constraints: 52029
3490.09/3501.46 c INPROCESSING
3490.09/3501.46 c GARBAGE COLLECT
3490.09/3501.46 c #Conflicts: 1643000 | #Constraints: 27600
3490.09/3501.46 c #Conflicts: 1644000 | #Constraints: 28600
3490.09/3501.46 c #Conflicts: 1645000 | #Constraints: 29600
3490.09/3501.46 c #Conflicts: 1646000 | #Constraints: 30600
3490.09/3501.46 c #Conflicts: 1647000 | #Constraints: 31600
3490.09/3501.46 c #Conflicts: 1648000 | #Constraints: 32600
3490.09/3501.46 c #Conflicts: 1649000 | #Constraints: 33600
3490.09/3501.46 c #Conflicts: 1650000 | #Constraints: 34600
3490.09/3501.46 c #Conflicts: 1651000 | #Constraints: 35600
3490.09/3501.46 c #Conflicts: 1652000 | #Constraints: 36600
3490.09/3501.46 c #Conflicts: 1653000 | #Constraints: 37600
3490.09/3501.46 c #Conflicts: 1654000 | #Constraints: 38600
3490.09/3501.46 c #Conflicts: 1655000 | #Constraints: 39600
3490.09/3501.46 c #Conflicts: 1656000 | #Constraints: 40600
3490.09/3501.46 c #Conflicts: 1657000 | #Constraints: 41600
3490.09/3501.46 c #Conflicts: 1658000 | #Constraints: 42600
3600.09/3611.70 c #Conflicts: 1659000 | #Constraints: 43600
3600.09/3611.70 c #Conflicts: 1660000 | #Constraints: 44600
3600.09/3611.70 c #Conflicts: 1661000 | #Constraints: 45600
3600.09/3611.70 c #Conflicts: 1662000 | #Constraints: 46600
3600.09/3611.70 c #Conflicts: 1663000 | #Constraints: 47600
3600.09/3611.70 c #Conflicts: 1664000 | #Constraints: 48600
3600.09/3611.70 c #Conflicts: 1665000 | #Constraints: 49600
3600.09/3611.70 c #Conflicts: 1666000 | #Constraints: 50600
3600.09/3611.70 c #Conflicts: 1667000 | #Constraints: 51600
3600.09/3611.70 c #Conflicts: 1668000 | #Constraints: 52600
3600.09/3611.70 c INPROCESSING
3600.09/3611.70 c GARBAGE COLLECT
3600.09/3611.70 c #Conflicts: 1669000 | #Constraints: 27960
3600.09/3611.70 c #Conflicts: 1670000 | #Constraints: 28960
3600.09/3611.70 c #Conflicts: 1671000 | #Constraints: 29960
3600.09/3611.70 c #Conflicts: 1672000 | #Constraints: 30960
3600.09/3611.70 c #Conflicts: 1673000 | #Constraints: 31960
3600.09/3611.70 c #Conflicts: 1674000 | #Constraints: 32960
3600.09/3611.70 c #Conflicts: 1675000 | #Constraints: 33960
3600.09/3611.70 c #Conflicts: 1676000 | #Constraints: 34960
3600.09/3611.70 c #Conflicts: 1677000 | #Constraints: 35960
3600.09/3611.70 c #Conflicts: 1678000 | #Constraints: 36960
3600.09/3611.70 c #Conflicts: 1679000 | #Constraints: 37960
3600.09/3611.70 c #Conflicts: 1680000 | #Constraints: 38960
3600.09/3611.70 c #Conflicts: 1681000 | #Constraints: 39960
3600.09/3611.70 c #Conflicts: 1682000 | #Constraints: 40960
3600.09/3611.70 c #Conflicts: 1683000 | #Constraints: 41960
3600.09/3611.70 c #Conflicts: 1684000 | #Constraints: 42960
3600.09/3611.70 c #Conflicts: 1685000 | #Constraints: 43960
3600.09/3611.70 c #Conflicts: 1686000 | #Constraints: 44960
3600.09/3611.70 c #Conflicts: 1687000 | #Constraints: 45960
3600.09/3611.70 c #Conflicts: 1688000 | #Constraints: 46960
3600.09/3611.70 c #Conflicts: 1689000 | #Constraints: 47960
3600.09/3611.70 c #Conflicts: 1690000 | #Constraints: 48960
3600.09/3611.70 c #Conflicts: 1691000 | #Constraints: 49960
3600.09/3611.70 c #Conflicts: 1692000 | #Constraints: 50960
3600.09/3611.70 c #Conflicts: 1693000 | #Constraints: 51960
3600.09/3611.70 c #Conflicts: 1694000 | #Constraints: 52960
3600.09/3611.70 c INPROCESSING
3600.09/3611.70 c GARBAGE COLLECT
3600.09/3611.70 c #Conflicts: 1695000 | #Constraints: 28207
3600.09/3611.70 c #Conflicts: 1696000 | #Constraints: 29207
3600.09/3611.70 c #Conflicts: 1697000 | #Constraints: 30207
3600.09/3611.70 c #Conflicts: 1698000 | #Constraints: 31207
3600.09/3611.70 c #Conflicts: 1699000 | #Constraints: 32207
3600.09/3611.70 c #Conflicts: 1700000 | #Constraints: 33207
3600.09/3611.70 c #Conflicts: 1701000 | #Constraints: 34207
3600.09/3611.70 c #Conflicts: 1702000 | #Constraints: 35207
3600.09/3611.70 c #Conflicts: 1703000 | #Constraints: 36207
3600.09/3611.70 c #Conflicts: 1704000 | #Constraints: 37207
3600.09/3611.70 c #Conflicts: 1705000 | #Constraints: 38207
3600.09/3611.70 c #Conflicts: 1706000 | #Constraints: 39207
3600.09/3611.70 c #Conflicts: 1707000 | #Constraints: 40207
3600.09/3611.70 c #Conflicts: 1708000 | #Constraints: 41207
3600.09/3611.70 c #Conflicts: 1709000 | #Constraints: 42207
3600.09/3611.70 c #Conflicts: 1710000 | #Constraints: 43207
3600.09/3611.70 c #Conflicts: 1711000 | #Constraints: 44207
3600.09/3611.70 c #Conflicts: 1712000 | #Constraints: 45207
3600.09/3611.70 c #Conflicts: 1713000 | #Constraints: 46207
3600.09/3611.70 c #Conflicts: 1714000 | #Constraints: 47207
3600.09/3611.70 c #Conflicts: 1715000 | #Constraints: 48207
3600.09/3611.70 c #Conflicts: 1716000 | #Constraints: 49207
3600.09/3611.70 c #Conflicts: 1717000 | #Constraints: 50207
3600.09/3611.70 c #Conflicts: 1718000 | #Constraints: 51207
3600.09/3611.70 c cpu time 3575.07 s
3600.09/3611.70 c deterministic time 1 1.00e+00
3600.09/3611.70 c optimization time 3575.04 s
3600.09/3611.70 c total solve time 0 s
3600.09/3611.70 c core-guided solve time 0 s
3600.09/3611.70 c propagation time 0.001402 s
3600.09/3611.70 c conflict analysis time 0 s
3600.09/3611.70 c propagations 0
3600.09/3611.70 c resolve steps 0
3600.09/3611.70 c decisions 0
3600.09/3611.70 c conflicts 0
3600.09/3611.70 c restarts 0
3600.09/3611.70 c inprocessing phases 0
3600.09/3611.70 c garbage collections 0 ,( -nan )
3600.09/3611.70 c input clauses 0 ,( 0.00 )
3600.09/3611.70 c input cardinalities 34 ,( 2.99 )
3600.09/3611.70 c input general constraints 1105 ,( 97.01 )
3600.09/3611.70 c input average constraint length 11.76
3600.09/3611.70 c input average constraint degree 7.82
3600.09/3611.70 c learned clauses 0 ,( 0.00 )
3600.09/3611.70 c learned cardinalities 0 ,( 0.00 )
3600.09/3611.70 c learned general constraints 0 ,( 0.00 )
3600.09/3611.70 c learned average constraint length 0.00
3600.09/3611.70 c learned average constraint degree 0.00
3600.09/3611.70 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3611.70 c counting CF 32, 64, 128, Arb: 1106 , 0 , 0 , 0
3600.09/3611.70 c watched constraints 0 ,( 0.00 )
3600.09/3611.70 c counting constraints 1105 ,( 100.00 )
3600.09/3611.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3611.70 c gcd simplifications 34
3600.09/3611.70 c detected cardinalities 0
3600.09/3611.70 c weakened non-implied lits 0
3600.09/3611.70 c weakened non-implying lits 0
3600.09/3611.70 c original variables 4556
3600.09/3611.70 c clausal propagations 0
3600.09/3611.70 c cardinality propagations 0
3600.09/3611.70 c watched propagations 0
3600.09/3611.70 c counting propagations 0
3600.09/3611.70 c watch lookups 0
3600.09/3611.70 c watch backjump lookups 0
3600.09/3611.70 c watch checks 0
3600.09/3611.70 c propagation checks 0
3600.09/3611.70 c constraint additions 0
3600.09/3611.70 c trail pops 0
3600.09/3611.70 c formula constraints 1139
3600.09/3611.70 c learned constraints 0
3600.09/3611.70 c bound constraints 0
3600.09/3611.70 c core-guided constraints 0
3600.09/3611.70 c encountered formula constraints 0
3600.09/3611.70 c encountered learned constraints 0
3600.09/3611.70 c encountered bound constraints 0
3600.09/3611.70 c encountered core-guided constraints 0
3600.09/3611.70 c LP total time 0 s
3600.09/3611.70 c LP solve time 0 s
3600.09/3611.70 c LP constraints added 0
3600.09/3611.70 c LP constraints removed 0
3600.09/3611.70 c LP pivots internal 0
3600.09/3611.70 c LP pivots root 0
3600.09/3611.70 c LP calls 0
3600.09/3611.70 c LP optimalities 0
3600.09/3611.70 c LP no pivot count 0
3600.09/3611.70 c LP infeasibilities 0
3600.09/3611.70 c LP valid Farkas constraints 0
3600.09/3611.70 c LP learned Farkas constraints 0
3600.09/3611.70 c LP basis resets 0
3600.09/3611.70 c LP cycling count 0
3600.09/3611.70 c LP singular count 0
3600.09/3611.70 c LP no primal count 0
3600.09/3611.70 c LP no farkas count 0
3600.09/3611.70 c LP other issue count 0
3600.09/3611.70 c LP Gomory cuts 0
3600.09/3611.70 c LP learned cuts 0
3600.09/3611.70 c LP deleted cuts 0
3600.09/3611.70 c LP encountered Gomory constraints 0
3600.09/3611.70 c LP encountered Farkas constraints 0
3600.09/3611.70 c LP encountered learned Farkas constraints 0
3600.09/3611.70 c CG auxiliary variables introduced 0
3600.09/3611.70 c CG solutions found 0
3600.09/3611.70 c CG cores constructed 0
3600.09/3611.70 c CG core cardinality constraints returned 0
3600.09/3611.70 c CG unit cores 0
3600.09/3611.70 c CG single cores 0
3600.09/3611.70 c CG blocks removed during cardinality reduction 0
3600.09/3611.70 c CG first core best 0
3600.09/3611.70 c CG decision core best 0
3600.09/3611.70 c CG core reduction tie 0
3600.09/3611.70 c CG core degree average 0.00
3600.09/3611.70 c CG core slack average 0.00
3600.09/3611.70 c CG core upper bound improvements 0
3600.09/3611.70 c STR number of successful calls 0
3600.09/3611.70 c STR number of unsuccessful calls 0
3600.09/3611.70 c STR number of inconclusive calls 0
3600.09/3611.70 c STR number of successful attempts 0
3600.09/3611.70 c STR number of unsuccessful attempts 0
3600.09/3611.70 c STR number of inconclusive attempts 0
3600.09/3611.70 c STR average degree increase per successful call inf
3600.09/3611.70 c STR average degree increase per successful attempt inf
3600.09/3611.70 c STR total number of conflicts for successful attempts 0
3600.09/3611.70 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.70 c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.70 c STR average number of conflicts per successful attempt inf
3600.09/3611.70 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.70 c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.70 c AVG.sumWPerc 75.00
3600.09/3611.70 c bigint constraints 0
3600.09/3611.70 s UNKNOWN
3600.09/3611.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62020 MiB free)
memory of node 1: 64507 MiB (51811 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520020-1751566067/watcher-4520020-1751566067 -o /tmp/evaluation-result-4520020-1751566067/solver-4520020-1751566067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751558831-83768 --watchdog 3760 run-opt.sh HOME/instance-4520020-1751566067.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=84653, runsolver pid=84650
[startup+0.100067 s]*
/proc/loadavg: 4.65 4.30 4.25 5/254 84655
/proc/meminfo: memFree=116558420/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=66208 memory=16992 CPUtime=0.08 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 2372 0 0 0 6 2 0 0 20 0 1 0 72286475 67796992 4248 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 16552 4248 2400 1147 0 3979 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 70400 KiB
Current children cumulated memory: 20064 KiB
[startup+0.21337 s]*
/proc/loadavg: 4.65 4.30 4.25 5/254 84655
/proc/meminfo: memFree=116554388/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=70036 memory=23800 CPUtime=0.2 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 3560 0 0 0 17 3 0 0 20 0 1 0 72286475 71716864 5950 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 17509 5950 2400 1147 0 4936 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74228 KiB
Current children cumulated memory: 26872 KiB
[startup+0.313205 s]*
/proc/loadavg: 4.65 4.30 4.25 6/254 84655
/proc/meminfo: memFree=116546324/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=74824 memory=28408 CPUtime=0.3 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 4744 0 0 0 26 4 0 0 20 0 1 0 72286475 76619776 7102 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 18706 7102 2400 1147 0 6133 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79016 KiB
Current children cumulated memory: 31480 KiB
[startup+0.700296 s]
/proc/loadavg: 4.65 4.30 4.25 6/254 84655
/proc/meminfo: memFree=116546324/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=77544 memory=31528 CPUtime=0.67 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 4986 0 0 0 63 4 0 0 20 0 1 0 72286475 79405056 7882 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 19386 7882 2400 1147 0 6813 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 81736 KiB
Current children cumulated memory: 34600 KiB
[startup+1.50031 s]
/proc/loadavg: 4.65 4.30 4.25 5/254 84655
/proc/meminfo: memFree=116538512/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=98656 memory=48344 CPUtime=1.46 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 8189 0 0 0 140 6 0 0 20 0 1 0 72286475 101023744 12086 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 24664 12086 2400 1147 0 12091 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 102848 KiB
Current children cumulated memory: 51416 KiB
[startup+3.11301 s]
/proc/loadavg: 4.65 4.30 4.25 6/254 84655
/proc/meminfo: memFree=116466816/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=182892 memory=115692 CPUtime=3.08 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 20932 0 0 0 297 11 0 0 20 0 1 0 72286475 187281408 28923 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 45723 28923 2400 1147 0 33150 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 187084 KiB
Current children cumulated memory: 118764 KiB
[startup+6.30031 s]
/proc/loadavg: 4.76 4.33 4.26 5/254 84655
/proc/meminfo: memFree=116361724/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=284576 memory=212396 CPUtime=6.25 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 37954 0 0 0 608 17 0 0 20 0 1 0 72286475 291405824 53099 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 71144 53099 2400 1147 0 58571 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 288768 KiB
Current children cumulated memory: 215468 KiB
[startup+12.7003 s]
/proc/loadavg: 4.86 4.35 4.27 5/254 84656
/proc/meminfo: memFree=116333056/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=335976 memory=242736 CPUtime=12.64 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 41465 0 0 0 1240 24 0 0 20 0 1 0 72286475 344039424 60684 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 83994 60684 2400 1147 0 71421 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 340168 KiB
Current children cumulated memory: 245808 KiB
[startup+25.5004 s]
/proc/loadavg: 5.11 4.44 4.30 5/251 84676
/proc/meminfo: memFree=117330092/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=478828 memory=384852 CPUtime=25.39 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 68311 0 0 0 2500 39 0 0 20 0 1 0 72286475 490319872 96213 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 119707 96213 2400 1147 0 107134 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 483020 KiB
Current children cumulated memory: 387924 KiB
[startup+51.1131 s]
/proc/loadavg: 4.92 4.45 4.31 5/254 84702
/proc/meminfo: memFree=116597796/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=797620 memory=591024 CPUtime=50.93 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 109619 0 0 0 5020 73 0 0 20 0 1 0 72286475 816762880 147756 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 199405 147756 2400 1147 0 186832 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 801812 KiB
Current children cumulated memory: 594096 KiB
[startup+102.3 s]
/proc/loadavg: 4.46 4.39 4.29 5/255 84705
/proc/meminfo: memFree=115252196/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=971872 memory=737932 CPUtime=101.97 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 133088 0 0 0 10068 129 0 0 20 0 1 0 72286475 995196928 184483 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 242968 184483 2400 1147 0 230395 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 976064 KiB
Current children cumulated memory: 741004 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 4.35 4.28 5/255 84709
/proc/meminfo: memFree=115066344/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=971872 memory=771900 CPUtime=161.77 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 136536 0 0 0 15998 179 0 0 20 0 1 0 72286475 995196928 192975 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 242968 192975 2400 1147 0 230395 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 976064 KiB
Current children cumulated memory: 774972 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.30 4.27 5/255 84711
/proc/meminfo: memFree=114441424/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=1462524 memory=1142204 CPUtime=221.58 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 214811 0 0 0 21904 254 0 0 20 0 1 0 72286475 1497624576 285551 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 365631 285551 2400 1147 0 353058 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/84655/statm: 762108 733045 2400 1147 0 749535 0
Current children cumulated CPU time: 3092.14 s
Current children cumulated vsize: 3052624 KiB
Current children cumulated memory: 2935252 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.16 5/256 84856
/proc/meminfo: memFree=105733212/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=3048432 memory=2936276 CPUtime=3151.97 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 453438 0 0 0 312890 2307 0 0 20 0 1 0 72286475 3121594368 734069 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 762108 734069 2400 1147 0 749535 0
Current children cumulated CPU time: 3151.97 s
Current children cumulated vsize: 3052624 KiB
Current children cumulated memory: 2939348 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.16 5/255 84869
/proc/meminfo: memFree=105638640/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=3069952 memory=3008832 CPUtime=3211.8 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 456902 0 0 0 318839 2341 0 0 20 0 1 0 72286475 3143630848 752208 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 767488 752208 2400 1147 0 754915 0
Current children cumulated CPU time: 3211.8 s
Current children cumulated vsize: 3074144 KiB
Current children cumulated memory: 3011904 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/255 84871
/proc/meminfo: memFree=105610220/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=3069952 memory=3008832 CPUtime=3271.61 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 457224 0 0 0 324789 2372 0 0 20 0 1 0 72286475 3143630848 752208 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 767488 752208 2400 1147 0 754915 0
Current children cumulated CPU time: 3271.61 s
Current children cumulated vsize: 3074144 KiB
Current children cumulated memory: 3011904 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.15 5/255 84873
/proc/meminfo: memFree=105567936/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=3080720 memory=3015616 CPUtime=3331.44 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 459062 0 0 0 330747 2397 0 0 20 0 1 0 72286475 3154657280 753904 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 770180 753904 2400 1147 0 757607 0
Current children cumulated CPU time: 3331.44 s
Current children cumulated vsize: 3084912 KiB
Current children cumulated memory: 3018688 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.11 4.15 5/255 84875
/proc/meminfo: memFree=105519280/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=3671892 memory=3052844 CPUtime=3391.27 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 462874 0 0 0 336709 2418 0 0 20 0 1 0 72286475 3760017408 763211 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 917973 763211 2400 1147 0 905400 0
Current children cumulated CPU time: 3391.27 s
Current children cumulated vsize: 3676084 KiB
Current children cumulated memory: 3055916 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.15 5/255 84877
/proc/meminfo: memFree=105505792/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=3671892 memory=3052844 CPUtime=3451.11 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 463097 0 0 0 342667 2444 0 0 20 0 1 0 72286475 3760017408 763211 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 917973 763211 2400 1147 0 905400 0
Current children cumulated CPU time: 3451.11 s
Current children cumulated vsize: 3676084 KiB
Current children cumulated memory: 3055916 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/253 84879
/proc/meminfo: memFree=105493896/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=3671892 memory=3052844 CPUtime=3510.95 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 463153 0 0 0 348626 2469 0 0 20 0 1 0 72286475 3760017408 763211 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 917973 763211 2400 1147 0 905400 0
Current children cumulated CPU time: 3510.95 s
Current children cumulated vsize: 3676084 KiB
Current children cumulated memory: 3055916 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.14 6/255 84883
/proc/meminfo: memFree=105480148/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=3678060 memory=3066820 CPUtime=3570.77 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 464543 0 0 0 354584 2493 0 0 20 0 1 0 72286475 3766333440 766705 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 919515 766705 2400 1147 0 906942 0
Current children cumulated CPU time: 3570.77 s
Current children cumulated vsize: 3682252 KiB
Current children cumulated memory: 3069892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.01 4.10 4.13 4/244 84937
/proc/meminfo: memFree=106526772/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=3678060 memory=3066820 CPUtime=3600.09 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 464543 0 0 0 357507 2502 0 0 20 0 1 0 72286475 3766333440 766705 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 919515 766705 2400 1147 0 906942 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3682252 KiB
Current children cumulated memory: 3069892 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.71 s]
# the end of solver process 84653 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003255 s, system=0.001625 s
Sleeping 2 seconds
[startup+3611.71 s]
# the end of solver process 84655 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3575.08 s, system=25.0382 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.01 4.10 4.13 4/244 84937
/proc/meminfo: memFree=106526772/131382112 swapFree=33010160/33010684
[pid=84653] ppid=84650 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84653/stat : 84653 (run-opt.sh) S 84650 84653 83758 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 72286474 4292608 768 18446744073709551615 94155609300992 94155610195525 140727712669568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94155610434576 94155610482320 94155633860608 140727712676205 140727712676328 140727712676328 140727712681930 0
/proc/84653/statm: 1048 768 704 219 0 110 0
[pid=84655] ppid=84653 vsize=3678060 memory=3066820 CPUtime=3600.09 cores=0,2
/proc/84655/stat : 84655 (roundingsat) R 84653 84653 83758 0 -1 4194304 464543 0 0 0 357507 2502 0 0 20 0 1 0 72286475 3766333440 766705 18446744073709551615 4227072 8923433 140730816232064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28573696 140730816235938 140730816236072 140730816236072 140730816241642 0
/proc/84655/statm: 919515 766705 2400 1147 0 906942 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3682252 KiB
Current children cumulated memory: 3069892 KiB
Child status: 2
Real time (s): 3611.71
CPU time (s): 3600.12
CPU user time (s): 3575.08
CPU system time (s): 25.0382
CPU usage (%): 99.679
Max. virtual memory (cumulated for all children) (KiB): 3682252
Max. memory (cumulated for all children) (KiB): 3069892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.08
system time used= 25.0382
maximum resident set size= 3067076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464767
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= 660
involuntary context switches= 8054
# summary of solver processes directly reported to runsolver:
# pid: 84653,84655
# total CPU time (s): 3600.12
# total CPU user time (s): 3575.08
# total CPU system time (s): 25.0382
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6221 second user time and 36.9905 second system time
The end
Begin job on nodeC009 at 2025-07-03 20:07:47
IDJOB=4520020
IDBENCH=177668
IDSOLVER=3350
FILE ID=nodeC009/4520020-1751566067
RUNJOBID= nodeC009-1751558831-83768
SLURM_JOB_ID= 9598754
Free space on /tmp= 430948 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/normalized-linearized_pebbling_opt_layeredfan_up_r17_c34_a4.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520020-1751566067/watcher-4520020-1751566067 -o /tmp/evaluation-result-4520020-1751566067/solver-4520020-1751566067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751558831-83768 --watchdog 3760 run-opt.sh HOME/instance-4520020-1751566067.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ad8f1e410d5e8b198fd980509237adb3
RANDOM SEED=28429770
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.478
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3656.524
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.243
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.357
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3634.761
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3656.501
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.355
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.323
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 116563756 kB
MemAvailable: 128625408 kB
Buffers: 2144 kB
Cached: 12811984 kB
SwapCached: 24 kB
Active: 1659420 kB
Inactive: 12450396 kB
Active(anon): 1308652 kB
Inactive(anon): 5056 kB
Active(file): 350768 kB
Inactive(file): 12445340 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 23816 kB
Writeback: 56 kB
AnonPages: 1294364 kB
Mapped: 117212 kB
Shmem: 17936 kB
KReclaimable: 209956 kB
Slab: 296964 kB
SReclaimable: 209956 kB
SUnreclaim: 87008 kB
KernelStack: 4080 kB
PageTables: 5784 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1851188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 882688 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431156 MiB
End job on nodeC009 at 2025-07-03 21:07:59