0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.06 c #variables 4556 #constraints 1139
0.00/0.06 c objective is ce32
0.00/0.08 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.08 c initial counting CF 32, 64, 128, Arb: 1106 , 0 , 0 , 0
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.040048
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.047757
117.82/118.23 c #Conflicts: 1000 | #Constraints: 2139
117.82/118.23 c #Conflicts: 2000 | #Constraints: 3139
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 3000 | #Constraints: 3184
117.82/118.23 c #Conflicts: 4000 | #Constraints: 4184
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 5000 | #Constraints: 3631
117.82/118.23 c #Conflicts: 6000 | #Constraints: 4631
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 7000 | #Constraints: 3641
117.82/118.23 c #Conflicts: 8000 | #Constraints: 4641
117.82/118.23 c #Conflicts: 9000 | #Constraints: 5641
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 10000 | #Constraints: 4338
117.82/118.23 c #Conflicts: 11000 | #Constraints: 5338
117.82/118.23 c #Conflicts: 12000 | #Constraints: 6338
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 13000 | #Constraints: 4808
117.82/118.23 c #Conflicts: 14000 | #Constraints: 5808
117.82/118.23 c #Conflicts: 15000 | #Constraints: 6808
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 16000 | #Constraints: 5018
117.82/118.23 c #Conflicts: 17000 | #Constraints: 6018
117.82/118.23 c #Conflicts: 18000 | #Constraints: 7018
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 19000 | #Constraints: 5024
117.82/118.23 c #Conflicts: 20000 | #Constraints: 6024
117.82/118.23 c #Conflicts: 21000 | #Constraints: 7024
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 22000 | #Constraints: 4817
117.82/118.23 c #Conflicts: 23000 | #Constraints: 5817
117.82/118.23 c #Conflicts: 24000 | #Constraints: 6817
117.82/118.23 c #Conflicts: 25000 | #Constraints: 7817
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 26000 | #Constraints: 5452
117.82/118.23 c #Conflicts: 27000 | #Constraints: 6452
117.82/118.23 c #Conflicts: 28000 | #Constraints: 7452
117.82/118.23 c #Conflicts: 29000 | #Constraints: 8452
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 30000 | #Constraints: 5856
117.82/118.23 c #Conflicts: 31000 | #Constraints: 6856
117.82/118.23 c #Conflicts: 32000 | #Constraints: 7856
117.82/118.23 c #Conflicts: 33000 | #Constraints: 8856
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 34000 | #Constraints: 6049
117.82/118.23 c #Conflicts: 35000 | #Constraints: 7049
117.82/118.23 c #Conflicts: 36000 | #Constraints: 8049
117.82/118.23 c #Conflicts: 37000 | #Constraints: 9049
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 38000 | #Constraints: 6067
117.82/118.23 c #Conflicts: 39000 | #Constraints: 7067
117.82/118.23 c #Conflicts: 40000 | #Constraints: 8067
117.82/118.23 c #Conflicts: 41000 | #Constraints: 9067
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 42000 | #Constraints: 5849
117.82/118.23 c #Conflicts: 43000 | #Constraints: 6849
117.82/118.23 c #Conflicts: 44000 | #Constraints: 7849
117.82/118.23 c #Conflicts: 45000 | #Constraints: 8849
117.82/118.23 c #Conflicts: 46000 | #Constraints: 9849
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 47000 | #Constraints: 6448
117.82/118.23 c #Conflicts: 48000 | #Constraints: 7448
117.82/118.23 c #Conflicts: 49000 | #Constraints: 8448
117.82/118.23 c #Conflicts: 50000 | #Constraints: 9448
117.82/118.23 c #Conflicts: 51000 | #Constraints: 10448
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 52000 | #Constraints: 6875
117.82/118.23 c #Conflicts: 53000 | #Constraints: 7875
117.82/118.23 c #Conflicts: 54000 | #Constraints: 8875
117.82/118.23 c #Conflicts: 55000 | #Constraints: 9875
117.82/118.23 c #Conflicts: 56000 | #Constraints: 10875
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 57000 | #Constraints: 7067
117.82/118.23 c #Conflicts: 58000 | #Constraints: 8067
117.82/118.23 c #Conflicts: 59000 | #Constraints: 9067
117.82/118.23 c #Conflicts: 60000 | #Constraints: 10067
117.82/118.23 c #Conflicts: 61000 | #Constraints: 11067
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 62000 | #Constraints: 7075
117.82/118.23 c #Conflicts: 63000 | #Constraints: 8075
117.82/118.23 c #Conflicts: 64000 | #Constraints: 9075
117.82/118.23 c #Conflicts: 65000 | #Constraints: 10075
117.82/118.23 c #Conflicts: 66000 | #Constraints: 11075
117.82/118.23 c INPROCESSING
117.82/118.23 c GARBAGE COLLECT
117.82/118.23 c #Conflicts: 67000 | #Constraints: 6897
117.82/118.23 c #Conflicts: 68000 | #Constraints: 7897
250.81/251.68 c #Conflicts: 69000 | #Constraints: 8897
250.81/251.68 c #Conflicts: 70000 | #Constraints: 9897
250.81/251.68 c #Conflicts: 71000 | #Constraints: 10897
250.81/251.68 c #Conflicts: 72000 | #Constraints: 11897
250.81/251.68 c INPROCESSING
250.81/251.68 c GARBAGE COLLECT
250.81/251.68 c #Conflicts: 73000 | #Constraints: 7491
250.81/251.68 c #Conflicts: 74000 | #Constraints: 8491
250.81/251.68 c #Conflicts: 75000 | #Constraints: 9491
250.81/251.68 c #Conflicts: 76000 | #Constraints: 10491
250.81/251.68 c #Conflicts: 77000 | #Constraints: 11491
250.81/251.68 c #Conflicts: 78000 | #Constraints: 12491
250.81/251.68 c INPROCESSING
250.81/251.68 c GARBAGE COLLECT
250.81/251.68 c #Conflicts: 79000 | #Constraints: 7880
250.81/251.68 c #Conflicts: 80000 | #Constraints: 8880
250.81/251.68 c #Conflicts: 81000 | #Constraints: 9880
250.81/251.68 c #Conflicts: 82000 | #Constraints: 10880
250.81/251.68 c #Conflicts: 83000 | #Constraints: 11880
250.81/251.68 c #Conflicts: 84000 | #Constraints: 12880
250.81/251.68 c INPROCESSING
250.81/251.68 c GARBAGE COLLECT
250.81/251.68 c #Conflicts: 85000 | #Constraints: 8105
250.81/251.68 c #Conflicts: 86000 | #Constraints: 9105
250.81/251.68 c #Conflicts: 87000 | #Constraints: 10105
250.81/251.68 c #Conflicts: 88000 | #Constraints: 11105
250.81/251.68 c #Conflicts: 89000 | #Constraints: 12105
250.81/251.68 c #Conflicts: 90000 | #Constraints: 13105
250.81/251.68 c INPROCESSING
250.81/251.68 c GARBAGE COLLECT
250.81/251.68 c #Conflicts: 91000 | #Constraints: 8088
250.81/251.68 c #Conflicts: 92000 | #Constraints: 9088
250.81/251.68 c #Conflicts: 93000 | #Constraints: 10088
250.81/251.68 c #Conflicts: 94000 | #Constraints: 11088
250.81/251.68 c #Conflicts: 95000 | #Constraints: 12088
250.81/251.68 c #Conflicts: 96000 | #Constraints: 13088
250.81/251.68 c INPROCESSING
250.81/251.68 c GARBAGE COLLECT
250.81/251.68 c #Conflicts: 97000 | #Constraints: 7890
250.81/251.68 c #Conflicts: 98000 | #Constraints: 8890
250.81/251.68 c #Conflicts: 99000 | #Constraints: 9890
250.81/251.68 c #Conflicts: 100000 | #Constraints: 10890
250.81/251.68 c #Conflicts: 101000 | #Constraints: 11890
250.81/251.68 c #Conflicts: 102000 | #Constraints: 12890
250.81/251.68 c #Conflicts: 103000 | #Constraints: 13890
250.81/251.68 c INPROCESSING
250.81/251.68 c GARBAGE COLLECT
250.81/251.68 c #Conflicts: 104000 | #Constraints: 8501
250.81/251.68 c #Conflicts: 105000 | #Constraints: 9501
250.81/251.68 c #Conflicts: 106000 | #Constraints: 10501
250.81/251.68 c #Conflicts: 107000 | #Constraints: 11501
250.81/251.68 c #Conflicts: 108000 | #Constraints: 12501
250.81/251.68 c #Conflicts: 109000 | #Constraints: 13501
250.81/251.68 c #Conflicts: 110000 | #Constraints: 14501
250.81/251.68 c INPROCESSING
250.81/251.68 c GARBAGE COLLECT
250.81/251.68 c #Conflicts: 111000 | #Constraints: 8919
250.81/251.68 c #Conflicts: 112000 | #Constraints: 9919
250.81/251.68 c #Conflicts: 113000 | #Constraints: 10919
250.81/251.68 c #Conflicts: 114000 | #Constraints: 11919
250.81/251.68 c #Conflicts: 115000 | #Constraints: 12919
250.81/251.68 c #Conflicts: 116000 | #Constraints: 13919
250.81/251.68 c #Conflicts: 117000 | #Constraints: 14919
250.81/251.68 c INPROCESSING
250.81/251.68 c GARBAGE COLLECT
250.81/251.68 c #Conflicts: 118000 | #Constraints: 9122
250.81/251.68 c #Conflicts: 119000 | #Constraints: 10122
250.81/251.68 c #Conflicts: 120000 | #Constraints: 11122
250.81/251.68 c #Conflicts: 121000 | #Constraints: 12122
250.81/251.68 c #Conflicts: 122000 | #Constraints: 13122
250.81/251.68 c #Conflicts: 123000 | #Constraints: 14122
250.81/251.68 c #Conflicts: 124000 | #Constraints: 15122
250.81/251.68 c INPROCESSING
250.81/251.68 c GARBAGE COLLECT
250.81/251.68 c #Conflicts: 125000 | #Constraints: 9124
250.81/251.68 c #Conflicts: 126000 | #Constraints: 10124
250.81/251.68 c #Conflicts: 127000 | #Constraints: 11124
250.81/251.68 c #Conflicts: 128000 | #Constraints: 12124
250.81/251.68 c #Conflicts: 129000 | #Constraints: 13124
250.81/251.68 c #Conflicts: 130000 | #Constraints: 14124
250.81/251.68 c #Conflicts: 131000 | #Constraints: 15124
250.81/251.68 c INPROCESSING
250.81/251.68 c GARBAGE COLLECT
250.81/251.68 c #Conflicts: 132000 | #Constraints: 8932
250.81/251.68 c #Conflicts: 133000 | #Constraints: 9932
250.81/251.68 c #Conflicts: 134000 | #Constraints: 10932
250.81/251.68 c #Conflicts: 135000 | #Constraints: 11932
250.81/251.68 c #Conflicts: 136000 | #Constraints: 12932
250.81/251.68 c #Conflicts: 137000 | #Constraints: 13932
250.81/251.68 c #Conflicts: 138000 | #Constraints: 14932
250.81/251.68 c #Conflicts: 139000 | #Constraints: 15932
250.81/251.68 c INPROCESSING
250.81/251.68 c GARBAGE COLLECT
250.81/251.68 c #Conflicts: 140000 | #Constraints: 9529
379.00/380.23 c #Conflicts: 141000 | #Constraints: 10529
379.00/380.23 c #Conflicts: 142000 | #Constraints: 11529
379.00/380.23 c #Conflicts: 143000 | #Constraints: 12529
379.00/380.23 c #Conflicts: 144000 | #Constraints: 13529
379.00/380.23 c #Conflicts: 145000 | #Constraints: 14529
379.00/380.23 c #Conflicts: 146000 | #Constraints: 15529
379.00/380.23 c #Conflicts: 147000 | #Constraints: 16529
379.00/380.23 c INPROCESSING
379.00/380.23 c GARBAGE COLLECT
379.00/380.23 c #Conflicts: 148000 | #Constraints: 9924
379.00/380.23 c #Conflicts: 149000 | #Constraints: 10924
379.00/380.23 c #Conflicts: 150000 | #Constraints: 11924
379.00/380.23 c #Conflicts: 151000 | #Constraints: 12924
379.00/380.23 c #Conflicts: 152000 | #Constraints: 13924
379.00/380.23 c #Conflicts: 153000 | #Constraints: 14924
379.00/380.23 c #Conflicts: 154000 | #Constraints: 15924
379.00/380.23 c #Conflicts: 155000 | #Constraints: 16924
379.00/380.23 c INPROCESSING
379.00/380.23 c GARBAGE COLLECT
379.00/380.23 c #Conflicts: 156000 | #Constraints: 10119
379.00/380.23 c #Conflicts: 157000 | #Constraints: 11119
379.00/380.23 c #Conflicts: 158000 | #Constraints: 12119
379.00/380.23 c #Conflicts: 159000 | #Constraints: 13119
379.00/380.23 c #Conflicts: 160000 | #Constraints: 14119
379.00/380.23 c #Conflicts: 161000 | #Constraints: 15119
379.00/380.23 c #Conflicts: 162000 | #Constraints: 16119
379.00/380.23 c #Conflicts: 163000 | #Constraints: 17119
379.00/380.23 c INPROCESSING
379.00/380.23 c GARBAGE COLLECT
379.00/380.23 c #Conflicts: 164000 | #Constraints: 10137
379.00/380.23 c #Conflicts: 165000 | #Constraints: 11137
379.00/380.23 c #Conflicts: 166000 | #Constraints: 12137
379.00/380.23 c #Conflicts: 167000 | #Constraints: 13137
379.00/380.23 c #Conflicts: 168000 | #Constraints: 14137
379.00/380.23 c #Conflicts: 169000 | #Constraints: 15137
379.00/380.23 c #Conflicts: 170000 | #Constraints: 16137
379.00/380.23 c #Conflicts: 171000 | #Constraints: 17137
379.00/380.23 c INPROCESSING
379.00/380.23 c GARBAGE COLLECT
379.00/380.23 c #Conflicts: 172000 | #Constraints: 9886
379.00/380.23 c #Conflicts: 173000 | #Constraints: 10886
379.00/380.23 c #Conflicts: 174000 | #Constraints: 11886
379.00/380.23 c #Conflicts: 175000 | #Constraints: 12886
379.00/380.23 c #Conflicts: 176000 | #Constraints: 13886
379.00/380.24 c #Conflicts: 177000 | #Constraints: 14886
379.00/380.24 c #Conflicts: 178000 | #Constraints: 15886
379.00/380.24 c #Conflicts: 179000 | #Constraints: 16886
379.00/380.24 c #Conflicts: 180000 | #Constraints: 17886
379.00/380.24 c INPROCESSING
379.00/380.24 c GARBAGE COLLECT
379.00/380.24 c #Conflicts: 181000 | #Constraints: 10501
379.00/380.24 c #Conflicts: 182000 | #Constraints: 11501
379.00/380.24 c #Conflicts: 183000 | #Constraints: 12501
379.00/380.24 c #Conflicts: 184000 | #Constraints: 13501
379.00/380.24 c #Conflicts: 185000 | #Constraints: 14501
379.00/380.24 c #Conflicts: 186000 | #Constraints: 15501
379.00/380.24 c #Conflicts: 187000 | #Constraints: 16501
379.00/380.24 c #Conflicts: 188000 | #Constraints: 17501
379.00/380.24 c #Conflicts: 189000 | #Constraints: 18501
379.00/380.24 c INPROCESSING
379.00/380.24 c GARBAGE COLLECT
379.00/380.24 c #Conflicts: 190000 | #Constraints: 10891
379.00/380.24 c #Conflicts: 191000 | #Constraints: 11891
379.00/380.24 c #Conflicts: 192000 | #Constraints: 12891
379.00/380.24 c #Conflicts: 193000 | #Constraints: 13891
379.00/380.24 c #Conflicts: 194000 | #Constraints: 14891
379.00/380.24 c #Conflicts: 195000 | #Constraints: 15891
379.00/380.24 c #Conflicts: 196000 | #Constraints: 16891
379.00/380.24 c #Conflicts: 197000 | #Constraints: 17891
379.00/380.24 c #Conflicts: 198000 | #Constraints: 18891
379.00/380.24 c INPROCESSING
379.00/380.24 c GARBAGE COLLECT
379.00/380.24 c #Conflicts: 199000 | #Constraints: 11127
379.00/380.24 c #Conflicts: 200000 | #Constraints: 12127
379.00/380.24 c #Conflicts: 201000 | #Constraints: 13127
379.00/380.24 c #Conflicts: 202000 | #Constraints: 14127
379.00/380.24 c #Conflicts: 203000 | #Constraints: 15127
379.00/380.24 c #Conflicts: 204000 | #Constraints: 16127
379.00/380.24 c #Conflicts: 205000 | #Constraints: 17127
379.00/380.24 c #Conflicts: 206000 | #Constraints: 18127
379.00/380.24 c #Conflicts: 207000 | #Constraints: 19127
379.00/380.24 c INPROCESSING
379.00/380.24 c GARBAGE COLLECT
379.00/380.24 c #Conflicts: 208000 | #Constraints: 11115
379.00/380.24 c #Conflicts: 209000 | #Constraints: 12115
379.00/380.24 c #Conflicts: 210000 | #Constraints: 13115
379.00/380.24 c #Conflicts: 211000 | #Constraints: 14115
379.00/380.24 c #Conflicts: 212000 | #Constraints: 15115
379.00/380.24 c #Conflicts: 213000 | #Constraints: 16115
515.67/517.31 c #Conflicts: 214000 | #Constraints: 17115
515.67/517.31 c #Conflicts: 215000 | #Constraints: 18115
515.67/517.31 c #Conflicts: 216000 | #Constraints: 19115
515.67/517.31 c INPROCESSING
515.67/517.31 c GARBAGE COLLECT
515.67/517.31 c #Conflicts: 217000 | #Constraints: 10926
515.67/517.31 c #Conflicts: 218000 | #Constraints: 11926
515.67/517.31 c #Conflicts: 219000 | #Constraints: 12926
515.67/517.31 c #Conflicts: 220000 | #Constraints: 13926
515.67/517.31 c #Conflicts: 221000 | #Constraints: 14926
515.67/517.31 c #Conflicts: 222000 | #Constraints: 15926
515.67/517.31 c #Conflicts: 223000 | #Constraints: 16926
515.67/517.31 c #Conflicts: 224000 | #Constraints: 17926
515.67/517.31 c #Conflicts: 225000 | #Constraints: 18926
515.67/517.31 c #Conflicts: 226000 | #Constraints: 19926
515.67/517.31 c INPROCESSING
515.67/517.31 c GARBAGE COLLECT
515.67/517.31 c #Conflicts: 227000 | #Constraints: 11550
515.67/517.31 c #Conflicts: 228000 | #Constraints: 12550
515.67/517.31 c #Conflicts: 229000 | #Constraints: 13550
515.67/517.31 c #Conflicts: 230000 | #Constraints: 14550
515.67/517.31 c #Conflicts: 231000 | #Constraints: 15550
515.67/517.31 c #Conflicts: 232000 | #Constraints: 16550
515.67/517.31 c #Conflicts: 233000 | #Constraints: 17550
515.67/517.31 c #Conflicts: 234000 | #Constraints: 18550
515.67/517.31 c #Conflicts: 235000 | #Constraints: 19550
515.67/517.31 c #Conflicts: 236000 | #Constraints: 20550
515.67/517.31 c INPROCESSING
515.67/517.31 c GARBAGE COLLECT
515.67/517.31 c #Conflicts: 237000 | #Constraints: 11957
515.67/517.31 c #Conflicts: 238000 | #Constraints: 12957
515.67/517.31 c #Conflicts: 239000 | #Constraints: 13957
515.67/517.31 c #Conflicts: 240000 | #Constraints: 14957
515.67/517.31 c #Conflicts: 241000 | #Constraints: 15957
515.67/517.31 c #Conflicts: 242000 | #Constraints: 16957
515.67/517.31 c #Conflicts: 243000 | #Constraints: 17957
515.67/517.31 c #Conflicts: 244000 | #Constraints: 18957
515.67/517.31 c #Conflicts: 245000 | #Constraints: 19957
515.67/517.31 c #Conflicts: 246000 | #Constraints: 20957
515.67/517.31 c INPROCESSING
515.67/517.31 c GARBAGE COLLECT
515.67/517.31 c #Conflicts: 247000 | #Constraints: 12134
515.67/517.31 c #Conflicts: 248000 | #Constraints: 13134
515.67/517.31 c #Conflicts: 249000 | #Constraints: 14134
515.67/517.31 c #Conflicts: 250000 | #Constraints: 15134
515.67/517.31 c #Conflicts: 251000 | #Constraints: 16134
515.67/517.31 c #Conflicts: 252000 | #Constraints: 17134
515.67/517.31 c #Conflicts: 253000 | #Constraints: 18134
515.67/517.31 c #Conflicts: 254000 | #Constraints: 19134
515.67/517.31 c #Conflicts: 255000 | #Constraints: 20134
515.67/517.31 c #Conflicts: 256000 | #Constraints: 21134
515.67/517.31 c INPROCESSING
515.67/517.31 c GARBAGE COLLECT
515.67/517.31 c #Conflicts: 257000 | #Constraints: 12130
515.67/517.31 c #Conflicts: 258000 | #Constraints: 13130
515.67/517.31 c #Conflicts: 259000 | #Constraints: 14130
515.67/517.31 c #Conflicts: 260000 | #Constraints: 15130
515.67/517.31 c #Conflicts: 261000 | #Constraints: 16130
515.67/517.31 c #Conflicts: 262000 | #Constraints: 17130
515.67/517.31 c #Conflicts: 263000 | #Constraints: 18130
515.67/517.31 c #Conflicts: 264000 | #Constraints: 19130
515.67/517.31 c #Conflicts: 265000 | #Constraints: 20130
515.67/517.31 c #Conflicts: 266000 | #Constraints: 21130
515.67/517.31 c INPROCESSING
515.67/517.31 c GARBAGE COLLECT
515.67/517.31 c #Conflicts: 267000 | #Constraints: 11952
515.67/517.31 c #Conflicts: 268000 | #Constraints: 12952
515.67/517.31 c #Conflicts: 269000 | #Constraints: 13952
515.67/517.31 c #Conflicts: 270000 | #Constraints: 14952
515.67/517.31 c #Conflicts: 271000 | #Constraints: 15952
515.67/517.31 c #Conflicts: 272000 | #Constraints: 16952
515.67/517.31 c #Conflicts: 273000 | #Constraints: 17952
515.67/517.31 c #Conflicts: 274000 | #Constraints: 18952
515.67/517.31 c #Conflicts: 275000 | #Constraints: 19952
515.67/517.31 c #Conflicts: 276000 | #Constraints: 20952
515.67/517.31 c #Conflicts: 277000 | #Constraints: 21952
515.67/517.31 c INPROCESSING
515.67/517.31 c GARBAGE COLLECT
515.67/517.31 c #Conflicts: 278000 | #Constraints: 12543
515.67/517.31 c #Conflicts: 279000 | #Constraints: 13543
515.67/517.31 c #Conflicts: 280000 | #Constraints: 14543
515.67/517.31 c #Conflicts: 281000 | #Constraints: 15543
515.67/517.31 c #Conflicts: 282000 | #Constraints: 16543
515.67/517.31 c #Conflicts: 283000 | #Constraints: 17543
515.67/517.31 c #Conflicts: 284000 | #Constraints: 18543
515.67/517.31 c #Conflicts: 285000 | #Constraints: 19543
515.67/517.31 c #Conflicts: 286000 | #Constraints: 20543
515.67/517.31 c #Conflicts: 287000 | #Constraints: 21543
515.67/517.31 c #Conflicts: 288000 | #Constraints: 22543
679.36/681.53 c INPROCESSING
679.36/681.53 c GARBAGE COLLECT
679.36/681.53 c #Conflicts: 289000 | #Constraints: 12955
679.36/681.53 c #Conflicts: 290000 | #Constraints: 13955
679.36/681.53 c #Conflicts: 291000 | #Constraints: 14955
679.36/681.53 c #Conflicts: 292000 | #Constraints: 15955
679.36/681.53 c #Conflicts: 293000 | #Constraints: 16955
679.36/681.53 c #Conflicts: 294000 | #Constraints: 17955
679.36/681.53 c #Conflicts: 295000 | #Constraints: 18955
679.36/681.53 c #Conflicts: 296000 | #Constraints: 19955
679.36/681.53 c #Conflicts: 297000 | #Constraints: 20955
679.36/681.53 c #Conflicts: 298000 | #Constraints: 21955
679.36/681.53 c #Conflicts: 299000 | #Constraints: 22955
679.36/681.53 c INPROCESSING
679.36/681.53 c GARBAGE COLLECT
679.36/681.53 c #Conflicts: 300000 | #Constraints: 13162
679.36/681.53 c #Conflicts: 301000 | #Constraints: 14162
679.36/681.53 c #Conflicts: 302000 | #Constraints: 15162
679.36/681.53 c #Conflicts: 303000 | #Constraints: 16162
679.36/681.53 c #Conflicts: 304000 | #Constraints: 17162
679.36/681.53 c #Conflicts: 305000 | #Constraints: 18162
679.36/681.53 c #Conflicts: 306000 | #Constraints: 19162
679.36/681.53 c #Conflicts: 307000 | #Constraints: 20162
679.36/681.53 c #Conflicts: 308000 | #Constraints: 21162
679.36/681.53 c #Conflicts: 309000 | #Constraints: 22162
679.36/681.53 c #Conflicts: 310000 | #Constraints: 23162
679.36/681.53 c INPROCESSING
679.36/681.53 c GARBAGE COLLECT
679.36/681.53 c #Conflicts: 311000 | #Constraints: 13152
679.36/681.53 c #Conflicts: 312000 | #Constraints: 14152
679.36/681.53 c #Conflicts: 313000 | #Constraints: 15152
679.36/681.53 c #Conflicts: 314000 | #Constraints: 16152
679.36/681.53 c #Conflicts: 315000 | #Constraints: 17152
679.36/681.53 c #Conflicts: 316000 | #Constraints: 18152
679.36/681.53 c #Conflicts: 317000 | #Constraints: 19152
679.36/681.53 c #Conflicts: 318000 | #Constraints: 20152
679.36/681.53 c #Conflicts: 319000 | #Constraints: 21152
679.36/681.53 c #Conflicts: 320000 | #Constraints: 22152
679.36/681.53 c #Conflicts: 321000 | #Constraints: 23152
679.36/681.53 c INPROCESSING
679.36/681.53 c GARBAGE COLLECT
679.36/681.53 c #Conflicts: 322000 | #Constraints: 12965
679.36/681.53 c #Conflicts: 323000 | #Constraints: 13965
679.36/681.53 c #Conflicts: 324000 | #Constraints: 14965
679.36/681.53 c #Conflicts: 325000 | #Constraints: 15965
679.36/681.53 c #Conflicts: 326000 | #Constraints: 16965
679.36/681.53 c #Conflicts: 327000 | #Constraints: 17965
679.36/681.53 c #Conflicts: 328000 | #Constraints: 18965
679.36/681.53 c #Conflicts: 329000 | #Constraints: 19965
679.36/681.53 c #Conflicts: 330000 | #Constraints: 20965
679.36/681.53 c #Conflicts: 331000 | #Constraints: 21965
679.36/681.53 c #Conflicts: 332000 | #Constraints: 22965
679.36/681.53 c #Conflicts: 333000 | #Constraints: 23965
679.36/681.53 c INPROCESSING
679.36/681.53 c GARBAGE COLLECT
679.36/681.53 c #Conflicts: 334000 | #Constraints: 13569
679.36/681.53 c #Conflicts: 335000 | #Constraints: 14569
679.36/681.53 c #Conflicts: 336000 | #Constraints: 15569
679.36/681.53 c #Conflicts: 337000 | #Constraints: 16569
679.36/681.53 c #Conflicts: 338000 | #Constraints: 17569
679.36/681.53 c #Conflicts: 339000 | #Constraints: 18569
679.36/681.53 c #Conflicts: 340000 | #Constraints: 19569
679.36/681.53 c #Conflicts: 341000 | #Constraints: 20569
679.36/681.53 c #Conflicts: 342000 | #Constraints: 21569
679.36/681.53 c #Conflicts: 343000 | #Constraints: 22569
679.36/681.53 c #Conflicts: 344000 | #Constraints: 23569
679.36/681.53 c #Conflicts: 345000 | #Constraints: 24569
679.36/681.53 c INPROCESSING
679.36/681.53 c GARBAGE COLLECT
679.36/681.53 c #Conflicts: 346000 | #Constraints: 13976
679.36/681.53 c #Conflicts: 347000 | #Constraints: 14976
679.36/681.53 c #Conflicts: 348000 | #Constraints: 15976
679.36/681.53 c #Conflicts: 349000 | #Constraints: 16976
679.36/681.53 c #Conflicts: 350000 | #Constraints: 17976
679.36/681.53 c #Conflicts: 351000 | #Constraints: 18976
679.36/681.53 c #Conflicts: 352000 | #Constraints: 19976
679.36/681.53 c #Conflicts: 353000 | #Constraints: 20976
679.36/681.53 c #Conflicts: 354000 | #Constraints: 21976
679.36/681.53 c #Conflicts: 355000 | #Constraints: 22976
679.36/681.53 c #Conflicts: 356000 | #Constraints: 23976
679.36/681.53 c #Conflicts: 357000 | #Constraints: 24976
679.36/681.53 c INPROCESSING
679.36/681.53 c GARBAGE COLLECT
679.36/681.53 c #Conflicts: 358000 | #Constraints: 14174
679.36/681.53 c #Conflicts: 359000 | #Constraints: 15174
679.36/681.53 c #Conflicts: 360000 | #Constraints: 16174
679.36/681.53 c #Conflicts: 361000 | #Constraints: 17174
679.36/681.53 c #Conflicts: 362000 | #Constraints: 18174
853.80/856.59 c #Conflicts: 363000 | #Constraints: 19174
853.80/856.59 c #Conflicts: 364000 | #Constraints: 20174
853.80/856.59 c #Conflicts: 365000 | #Constraints: 21174
853.80/856.59 c #Conflicts: 366000 | #Constraints: 22174
853.80/856.59 c #Conflicts: 367000 | #Constraints: 23174
853.80/856.59 c #Conflicts: 368000 | #Constraints: 24174
853.80/856.59 c #Conflicts: 369000 | #Constraints: 25174
853.80/856.59 c INPROCESSING
853.80/856.59 c GARBAGE COLLECT
853.80/856.59 c #Conflicts: 370000 | #Constraints: 14169
853.80/856.59 c #Conflicts: 371000 | #Constraints: 15169
853.80/856.59 c #Conflicts: 372000 | #Constraints: 16169
853.80/856.59 c #Conflicts: 373000 | #Constraints: 17169
853.80/856.59 c #Conflicts: 374000 | #Constraints: 18169
853.80/856.59 c #Conflicts: 375000 | #Constraints: 19169
853.80/856.59 c #Conflicts: 376000 | #Constraints: 20169
853.80/856.59 c #Conflicts: 377000 | #Constraints: 21169
853.80/856.59 c #Conflicts: 378000 | #Constraints: 22169
853.80/856.59 c #Conflicts: 379000 | #Constraints: 23169
853.80/856.59 c #Conflicts: 380000 | #Constraints: 24169
853.80/856.59 c #Conflicts: 381000 | #Constraints: 25169
853.80/856.59 c INPROCESSING
853.80/856.59 c GARBAGE COLLECT
853.80/856.59 c #Conflicts: 382000 | #Constraints: 13967
853.80/856.59 c #Conflicts: 383000 | #Constraints: 14967
853.80/856.59 c #Conflicts: 384000 | #Constraints: 15967
853.80/856.59 c #Conflicts: 385000 | #Constraints: 16967
853.80/856.59 c #Conflicts: 386000 | #Constraints: 17967
853.80/856.59 c #Conflicts: 387000 | #Constraints: 18967
853.80/856.59 c #Conflicts: 388000 | #Constraints: 19967
853.80/856.59 c #Conflicts: 389000 | #Constraints: 20967
853.80/856.59 c #Conflicts: 390000 | #Constraints: 21967
853.80/856.59 c #Conflicts: 391000 | #Constraints: 22967
853.80/856.59 c #Conflicts: 392000 | #Constraints: 23967
853.80/856.59 c #Conflicts: 393000 | #Constraints: 24967
853.80/856.59 c #Conflicts: 394000 | #Constraints: 25967
853.80/856.59 c INPROCESSING
853.80/856.59 c GARBAGE COLLECT
853.80/856.59 c #Conflicts: 395000 | #Constraints: 14560
853.80/856.59 c #Conflicts: 396000 | #Constraints: 15560
853.80/856.59 c #Conflicts: 397000 | #Constraints: 16560
853.80/856.59 c #Conflicts: 398000 | #Constraints: 17560
853.80/856.59 c #Conflicts: 399000 | #Constraints: 18560
853.80/856.59 c #Conflicts: 400000 | #Constraints: 19560
853.80/856.59 c #Conflicts: 401000 | #Constraints: 20560
853.80/856.59 c #Conflicts: 402000 | #Constraints: 21560
853.80/856.59 c #Conflicts: 403000 | #Constraints: 22560
853.80/856.59 c #Conflicts: 404000 | #Constraints: 23560
853.80/856.59 c #Conflicts: 405000 | #Constraints: 24560
853.80/856.59 c #Conflicts: 406000 | #Constraints: 25560
853.80/856.59 c #Conflicts: 407000 | #Constraints: 26560
853.80/856.59 c INPROCESSING
853.80/856.59 c GARBAGE COLLECT
853.80/856.59 c #Conflicts: 408000 | #Constraints: 14981
853.80/856.59 c #Conflicts: 409000 | #Constraints: 15981
853.80/856.59 c #Conflicts: 410000 | #Constraints: 16981
853.80/856.59 c #Conflicts: 411000 | #Constraints: 17981
853.80/856.59 c #Conflicts: 412000 | #Constraints: 18981
853.80/856.59 c #Conflicts: 413000 | #Constraints: 19981
853.80/856.59 c #Conflicts: 414000 | #Constraints: 20981
853.80/856.59 c #Conflicts: 415000 | #Constraints: 21981
853.80/856.59 c #Conflicts: 416000 | #Constraints: 22981
853.80/856.59 c #Conflicts: 417000 | #Constraints: 23981
853.80/856.59 c #Conflicts: 418000 | #Constraints: 24981
853.80/856.59 c #Conflicts: 419000 | #Constraints: 25981
853.80/856.59 c #Conflicts: 420000 | #Constraints: 26981
853.80/856.59 c INPROCESSING
853.80/856.59 c GARBAGE COLLECT
853.80/856.59 c #Conflicts: 421000 | #Constraints: 15182
853.80/856.59 c #Conflicts: 422000 | #Constraints: 16182
853.80/856.59 c #Conflicts: 423000 | #Constraints: 17182
853.80/856.59 c #Conflicts: 424000 | #Constraints: 18182
853.80/856.59 c #Conflicts: 425000 | #Constraints: 19182
853.80/856.59 c #Conflicts: 426000 | #Constraints: 20182
853.80/856.59 c #Conflicts: 427000 | #Constraints: 21182
853.80/856.59 c #Conflicts: 428000 | #Constraints: 22182
853.80/856.59 c #Conflicts: 429000 | #Constraints: 23182
853.80/856.59 c #Conflicts: 430000 | #Constraints: 24182
853.80/856.59 c #Conflicts: 431000 | #Constraints: 25182
853.80/856.59 c #Conflicts: 432000 | #Constraints: 26182
853.80/856.59 c #Conflicts: 433000 | #Constraints: 27182
853.80/856.59 c INPROCESSING
853.80/856.59 c GARBAGE COLLECT
853.80/856.59 c #Conflicts: 434000 | #Constraints: 15203
853.80/856.59 c #Conflicts: 435000 | #Constraints: 16203
853.80/856.59 c #Conflicts: 436000 | #Constraints: 17203
853.80/856.59 c #Conflicts: 437000 | #Constraints: 18203
982.06/985.15 c #Conflicts: 438000 | #Constraints: 19203
982.06/985.15 c #Conflicts: 439000 | #Constraints: 20203
982.06/985.15 c #Conflicts: 440000 | #Constraints: 21203
982.06/985.15 c #Conflicts: 441000 | #Constraints: 22203
982.06/985.15 c #Conflicts: 442000 | #Constraints: 23203
982.06/985.15 c #Conflicts: 443000 | #Constraints: 24203
982.06/985.15 c #Conflicts: 444000 | #Constraints: 25203
982.06/985.15 c #Conflicts: 445000 | #Constraints: 26203
982.06/985.15 c #Conflicts: 446000 | #Constraints: 27203
982.06/985.15 c INPROCESSING
982.06/985.15 c GARBAGE COLLECT
982.06/985.15 c #Conflicts: 447000 | #Constraints: 15005
982.06/985.15 c #Conflicts: 448000 | #Constraints: 16005
982.06/985.15 c #Conflicts: 449000 | #Constraints: 17005
982.06/985.15 c #Conflicts: 450000 | #Constraints: 18005
982.06/985.15 c #Conflicts: 451000 | #Constraints: 19005
982.06/985.15 c #Conflicts: 452000 | #Constraints: 20005
982.06/985.15 c #Conflicts: 453000 | #Constraints: 21005
982.06/985.15 c #Conflicts: 454000 | #Constraints: 22005
982.06/985.15 c #Conflicts: 455000 | #Constraints: 23005
982.06/985.15 c #Conflicts: 456000 | #Constraints: 24005
982.06/985.15 c #Conflicts: 457000 | #Constraints: 25005
982.06/985.15 c #Conflicts: 458000 | #Constraints: 26005
982.06/985.15 c #Conflicts: 459000 | #Constraints: 27005
982.06/985.15 c #Conflicts: 460000 | #Constraints: 28005
982.06/985.15 c INPROCESSING
982.06/985.15 c GARBAGE COLLECT
982.06/985.15 c #Conflicts: 461000 | #Constraints: 15599
982.06/985.15 c #Conflicts: 462000 | #Constraints: 16599
982.06/985.15 c #Conflicts: 463000 | #Constraints: 17599
982.06/985.15 c #Conflicts: 464000 | #Constraints: 18599
982.06/985.15 c #Conflicts: 465000 | #Constraints: 19599
982.06/985.15 c #Conflicts: 466000 | #Constraints: 20599
982.06/985.15 c #Conflicts: 467000 | #Constraints: 21599
982.06/985.15 c #Conflicts: 468000 | #Constraints: 22599
982.06/985.15 c #Conflicts: 469000 | #Constraints: 23599
982.06/985.15 c #Conflicts: 470000 | #Constraints: 24599
982.06/985.15 c #Conflicts: 471000 | #Constraints: 25599
982.06/985.15 c #Conflicts: 472000 | #Constraints: 26599
982.06/985.15 c #Conflicts: 473000 | #Constraints: 27599
982.06/985.15 c #Conflicts: 474000 | #Constraints: 28599
982.06/985.15 c INPROCESSING
982.06/985.15 c GARBAGE COLLECT
982.06/985.15 c #Conflicts: 475000 | #Constraints: 15991
982.06/985.15 c #Conflicts: 476000 | #Constraints: 16991
982.06/985.15 c #Conflicts: 477000 | #Constraints: 17991
982.06/985.15 c #Conflicts: 478000 | #Constraints: 18991
982.06/985.15 c #Conflicts: 479000 | #Constraints: 19991
982.06/985.15 c #Conflicts: 480000 | #Constraints: 20991
982.06/985.15 c #Conflicts: 481000 | #Constraints: 21991
982.06/985.15 c #Conflicts: 482000 | #Constraints: 22991
982.06/985.15 c #Conflicts: 483000 | #Constraints: 23991
982.06/985.15 c #Conflicts: 484000 | #Constraints: 24991
982.06/985.15 c #Conflicts: 485000 | #Constraints: 25991
982.06/985.15 c #Conflicts: 486000 | #Constraints: 26991
982.06/985.15 c #Conflicts: 487000 | #Constraints: 27991
982.06/985.15 c #Conflicts: 488000 | #Constraints: 28991
982.06/985.15 c INPROCESSING
982.06/985.15 c GARBAGE COLLECT
982.06/985.15 c #Conflicts: 489000 | #Constraints: 16187
982.06/985.15 c #Conflicts: 490000 | #Constraints: 17187
982.06/985.15 c #Conflicts: 491000 | #Constraints: 18187
982.06/985.15 c #Conflicts: 492000 | #Constraints: 19187
982.06/985.15 c #Conflicts: 493000 | #Constraints: 20187
982.06/985.15 c #Conflicts: 494000 | #Constraints: 21187
982.06/985.15 c #Conflicts: 495000 | #Constraints: 22187
982.06/985.15 c #Conflicts: 496000 | #Constraints: 23187
982.06/985.15 c #Conflicts: 497000 | #Constraints: 24187
982.06/985.15 c #Conflicts: 498000 | #Constraints: 25187
982.06/985.15 c #Conflicts: 499000 | #Constraints: 26187
982.06/985.15 c #Conflicts: 500000 | #Constraints: 27187
982.06/985.15 c #Conflicts: 501000 | #Constraints: 28187
982.06/985.15 c #Conflicts: 502000 | #Constraints: 29187
982.06/985.15 c INPROCESSING
982.06/985.15 c GARBAGE COLLECT
982.06/985.15 c #Conflicts: 503000 | #Constraints: 16186
982.06/985.15 c #Conflicts: 504000 | #Constraints: 17186
982.06/985.15 c #Conflicts: 505000 | #Constraints: 18186
982.06/985.15 c #Conflicts: 506000 | #Constraints: 19186
982.06/985.15 c #Conflicts: 507000 | #Constraints: 20186
982.06/985.15 c #Conflicts: 508000 | #Constraints: 21186
982.06/985.15 c #Conflicts: 509000 | #Constraints: 22186
982.06/985.15 c #Conflicts: 510000 | #Constraints: 23186
982.06/985.15 c #Conflicts: 511000 | #Constraints: 24186
982.06/985.15 c #Conflicts: 512000 | #Constraints: 25186
982.06/985.15 c #Conflicts: 513000 | #Constraints: 26186
1142.11/1145.66 c #Conflicts: 514000 | #Constraints: 27186
1142.11/1145.66 c #Conflicts: 515000 | #Constraints: 28186
1142.11/1145.66 c #Conflicts: 516000 | #Constraints: 29186
1142.11/1145.66 c INPROCESSING
1142.11/1145.66 c GARBAGE COLLECT
1142.11/1145.66 c #Conflicts: 517000 | #Constraints: 15976
1142.11/1145.66 c #Conflicts: 518000 | #Constraints: 16976
1142.11/1145.66 c #Conflicts: 519000 | #Constraints: 17976
1142.11/1145.66 c #Conflicts: 520000 | #Constraints: 18976
1142.11/1145.66 c #Conflicts: 521000 | #Constraints: 19976
1142.11/1145.66 c #Conflicts: 522000 | #Constraints: 20976
1142.11/1145.66 c #Conflicts: 523000 | #Constraints: 21976
1142.11/1145.66 c #Conflicts: 524000 | #Constraints: 22976
1142.11/1145.66 c #Conflicts: 525000 | #Constraints: 23976
1142.11/1145.66 c #Conflicts: 526000 | #Constraints: 24976
1142.11/1145.66 c #Conflicts: 527000 | #Constraints: 25976
1142.11/1145.66 c #Conflicts: 528000 | #Constraints: 26976
1142.11/1145.66 c #Conflicts: 529000 | #Constraints: 27976
1142.11/1145.66 c #Conflicts: 530000 | #Constraints: 28976
1142.11/1145.66 c #Conflicts: 531000 | #Constraints: 29976
1142.11/1145.66 c INPROCESSING
1142.11/1145.66 c GARBAGE COLLECT
1142.11/1145.66 c #Conflicts: 532000 | #Constraints: 16592
1142.11/1145.66 c #Conflicts: 533000 | #Constraints: 17592
1142.11/1145.66 c #Conflicts: 534000 | #Constraints: 18592
1142.11/1145.66 c #Conflicts: 535000 | #Constraints: 19592
1142.11/1145.66 c #Conflicts: 536000 | #Constraints: 20592
1142.11/1145.66 c #Conflicts: 537000 | #Constraints: 21592
1142.11/1145.66 c #Conflicts: 538000 | #Constraints: 22592
1142.11/1145.66 c #Conflicts: 539000 | #Constraints: 23592
1142.11/1145.66 c #Conflicts: 540000 | #Constraints: 24592
1142.11/1145.66 c #Conflicts: 541000 | #Constraints: 25592
1142.11/1145.66 c #Conflicts: 542000 | #Constraints: 26592
1142.11/1145.66 c #Conflicts: 543000 | #Constraints: 27592
1142.11/1145.66 c #Conflicts: 544000 | #Constraints: 28592
1142.11/1145.66 c #Conflicts: 545000 | #Constraints: 29592
1142.11/1145.66 c #Conflicts: 546000 | #Constraints: 30592
1142.11/1145.66 c INPROCESSING
1142.11/1145.66 c GARBAGE COLLECT
1142.11/1145.66 c #Conflicts: 547000 | #Constraints: 16973
1142.11/1145.66 c #Conflicts: 548000 | #Constraints: 17973
1142.11/1145.66 c #Conflicts: 549000 | #Constraints: 18973
1142.11/1145.66 c #Conflicts: 550000 | #Constraints: 19973
1142.11/1145.66 c #Conflicts: 551000 | #Constraints: 20973
1142.11/1145.66 c #Conflicts: 552000 | #Constraints: 21973
1142.11/1145.66 c #Conflicts: 553000 | #Constraints: 22973
1142.11/1145.66 c #Conflicts: 554000 | #Constraints: 23973
1142.11/1145.66 c #Conflicts: 555000 | #Constraints: 24973
1142.11/1145.66 c #Conflicts: 556000 | #Constraints: 25973
1142.11/1145.66 c #Conflicts: 557000 | #Constraints: 26973
1142.11/1145.66 c #Conflicts: 558000 | #Constraints: 27973
1142.11/1145.66 c #Conflicts: 559000 | #Constraints: 28973
1142.11/1145.66 c #Conflicts: 560000 | #Constraints: 29973
1142.11/1145.66 c #Conflicts: 561000 | #Constraints: 30973
1142.11/1145.66 c INPROCESSING
1142.11/1145.66 c GARBAGE COLLECT
1142.11/1145.66 c #Conflicts: 562000 | #Constraints: 17180
1142.11/1145.66 c #Conflicts: 563000 | #Constraints: 18180
1142.11/1145.66 c #Conflicts: 564000 | #Constraints: 19180
1142.11/1145.66 c #Conflicts: 565000 | #Constraints: 20180
1142.11/1145.66 c #Conflicts: 566000 | #Constraints: 21180
1142.11/1145.66 c #Conflicts: 567000 | #Constraints: 22180
1142.11/1145.66 c #Conflicts: 568000 | #Constraints: 23180
1142.11/1145.66 c #Conflicts: 569000 | #Constraints: 24180
1142.11/1145.66 c #Conflicts: 570000 | #Constraints: 25180
1142.11/1145.66 c #Conflicts: 571000 | #Constraints: 26180
1142.11/1145.66 c #Conflicts: 572000 | #Constraints: 27180
1142.11/1145.66 c #Conflicts: 573000 | #Constraints: 28180
1142.11/1145.66 c #Conflicts: 574000 | #Constraints: 29180
1142.11/1145.66 c #Conflicts: 575000 | #Constraints: 30180
1142.11/1145.66 c #Conflicts: 576000 | #Constraints: 31180
1142.11/1145.66 c INPROCESSING
1142.11/1145.66 c GARBAGE COLLECT
1142.11/1145.66 c #Conflicts: 577000 | #Constraints: 17219
1142.11/1145.66 c #Conflicts: 578000 | #Constraints: 18219
1142.11/1145.66 c #Conflicts: 579000 | #Constraints: 19219
1142.11/1145.66 c #Conflicts: 580000 | #Constraints: 20219
1142.11/1145.66 c #Conflicts: 581000 | #Constraints: 21219
1142.11/1145.66 c #Conflicts: 582000 | #Constraints: 22219
1142.11/1145.66 c #Conflicts: 583000 | #Constraints: 23219
1142.11/1145.66 c #Conflicts: 584000 | #Constraints: 24219
1142.11/1145.66 c #Conflicts: 585000 | #Constraints: 25219
1142.11/1145.66 c #Conflicts: 586000 | #Constraints: 26219
1142.11/1145.66 c #Conflicts: 587000 | #Constraints: 27219
1142.11/1145.66 c #Conflicts: 588000 | #Constraints: 28219
1307.08/1311.08 c #Conflicts: 589000 | #Constraints: 29219
1307.08/1311.08 c #Conflicts: 590000 | #Constraints: 30219
1307.08/1311.08 c #Conflicts: 591000 | #Constraints: 31219
1307.08/1311.08 c INPROCESSING
1307.08/1311.08 c GARBAGE COLLECT
1307.08/1311.08 c #Conflicts: 592000 | #Constraints: 17006
1307.08/1311.08 c #Conflicts: 593000 | #Constraints: 18006
1307.08/1311.08 c #Conflicts: 594000 | #Constraints: 19006
1307.08/1311.08 c #Conflicts: 595000 | #Constraints: 20006
1307.08/1311.08 c #Conflicts: 596000 | #Constraints: 21006
1307.08/1311.08 c #Conflicts: 597000 | #Constraints: 22006
1307.08/1311.08 c #Conflicts: 598000 | #Constraints: 23006
1307.08/1311.08 c #Conflicts: 599000 | #Constraints: 24006
1307.08/1311.08 c #Conflicts: 600000 | #Constraints: 25006
1307.08/1311.08 c #Conflicts: 601000 | #Constraints: 26006
1307.08/1311.08 c #Conflicts: 602000 | #Constraints: 27006
1307.08/1311.08 c #Conflicts: 603000 | #Constraints: 28006
1307.08/1311.08 c #Conflicts: 604000 | #Constraints: 29006
1307.08/1311.08 c #Conflicts: 605000 | #Constraints: 30006
1307.08/1311.08 c #Conflicts: 606000 | #Constraints: 31006
1307.08/1311.08 c #Conflicts: 607000 | #Constraints: 32006
1307.08/1311.08 c INPROCESSING
1307.08/1311.08 c GARBAGE COLLECT
1307.08/1311.08 c #Conflicts: 608000 | #Constraints: 17611
1307.08/1311.08 c #Conflicts: 609000 | #Constraints: 18611
1307.08/1311.08 c #Conflicts: 610000 | #Constraints: 19611
1307.08/1311.08 c #Conflicts: 611000 | #Constraints: 20611
1307.08/1311.08 c #Conflicts: 612000 | #Constraints: 21611
1307.08/1311.08 c #Conflicts: 613000 | #Constraints: 22611
1307.08/1311.08 c #Conflicts: 614000 | #Constraints: 23611
1307.08/1311.08 c #Conflicts: 615000 | #Constraints: 24611
1307.08/1311.08 c #Conflicts: 616000 | #Constraints: 25611
1307.08/1311.08 c #Conflicts: 617000 | #Constraints: 26611
1307.08/1311.08 c #Conflicts: 618000 | #Constraints: 27611
1307.08/1311.08 c #Conflicts: 619000 | #Constraints: 28611
1307.08/1311.08 c #Conflicts: 620000 | #Constraints: 29611
1307.08/1311.08 c #Conflicts: 621000 | #Constraints: 30611
1307.08/1311.08 c #Conflicts: 622000 | #Constraints: 31611
1307.08/1311.08 c #Conflicts: 623000 | #Constraints: 32611
1307.08/1311.08 c INPROCESSING
1307.08/1311.08 c GARBAGE COLLECT
1307.08/1311.08 c #Conflicts: 624000 | #Constraints: 18006
1307.08/1311.08 c #Conflicts: 625000 | #Constraints: 19006
1307.08/1311.08 c #Conflicts: 626000 | #Constraints: 20006
1307.08/1311.08 c #Conflicts: 627000 | #Constraints: 21006
1307.08/1311.08 c #Conflicts: 628000 | #Constraints: 22006
1307.08/1311.08 c #Conflicts: 629000 | #Constraints: 23006
1307.08/1311.08 c #Conflicts: 630000 | #Constraints: 24006
1307.08/1311.08 c #Conflicts: 631000 | #Constraints: 25006
1307.08/1311.08 c #Conflicts: 632000 | #Constraints: 26006
1307.08/1311.08 c #Conflicts: 633000 | #Constraints: 27006
1307.08/1311.08 c #Conflicts: 634000 | #Constraints: 28006
1307.08/1311.08 c #Conflicts: 635000 | #Constraints: 29006
1307.08/1311.08 c #Conflicts: 636000 | #Constraints: 30006
1307.08/1311.08 c #Conflicts: 637000 | #Constraints: 31006
1307.08/1311.08 c #Conflicts: 638000 | #Constraints: 32006
1307.08/1311.08 c #Conflicts: 639000 | #Constraints: 33006
1307.08/1311.08 c INPROCESSING
1307.08/1311.08 c GARBAGE COLLECT
1307.08/1311.08 c #Conflicts: 640000 | #Constraints: 18197
1307.08/1311.08 c #Conflicts: 641000 | #Constraints: 19197
1307.08/1311.08 c #Conflicts: 642000 | #Constraints: 20197
1307.08/1311.08 c #Conflicts: 643000 | #Constraints: 21197
1307.08/1311.08 c #Conflicts: 644000 | #Constraints: 22197
1307.08/1311.08 c #Conflicts: 645000 | #Constraints: 23197
1307.08/1311.08 c #Conflicts: 646000 | #Constraints: 24197
1307.08/1311.08 c #Conflicts: 647000 | #Constraints: 25197
1307.08/1311.08 c #Conflicts: 648000 | #Constraints: 26197
1307.08/1311.08 c #Conflicts: 649000 | #Constraints: 27197
1307.08/1311.08 c #Conflicts: 650000 | #Constraints: 28197
1307.08/1311.08 c #Conflicts: 651000 | #Constraints: 29197
1307.08/1311.08 c #Conflicts: 652000 | #Constraints: 30197
1307.08/1311.08 c #Conflicts: 653000 | #Constraints: 31197
1307.08/1311.08 c #Conflicts: 654000 | #Constraints: 32197
1307.08/1311.08 c #Conflicts: 655000 | #Constraints: 33197
1307.08/1311.08 c INPROCESSING
1307.08/1311.08 c GARBAGE COLLECT
1307.08/1311.08 c #Conflicts: 656000 | #Constraints: 18186
1307.08/1311.08 c #Conflicts: 657000 | #Constraints: 19186
1307.08/1311.08 c #Conflicts: 658000 | #Constraints: 20186
1307.08/1311.08 c #Conflicts: 659000 | #Constraints: 21186
1307.08/1311.08 c #Conflicts: 660000 | #Constraints: 22186
1307.08/1311.08 c #Conflicts: 661000 | #Constraints: 23186
1307.08/1311.08 c #Conflicts: 662000 | #Constraints: 24186
1307.08/1311.08 c #Conflicts: 663000 | #Constraints: 25186
1307.08/1311.08 c #Conflicts: 664000 | #Constraints: 26186
1490.97/1495.43 c #Conflicts: 665000 | #Constraints: 27186
1490.97/1495.43 c #Conflicts: 666000 | #Constraints: 28186
1490.97/1495.43 c #Conflicts: 667000 | #Constraints: 29186
1490.97/1495.43 c #Conflicts: 668000 | #Constraints: 30186
1490.97/1495.43 c #Conflicts: 669000 | #Constraints: 31186
1490.97/1495.43 c #Conflicts: 670000 | #Constraints: 32186
1490.97/1495.43 c #Conflicts: 671000 | #Constraints: 33186
1490.97/1495.43 c INPROCESSING
1490.97/1495.43 c GARBAGE COLLECT
1490.97/1495.43 c #Conflicts: 672000 | #Constraints: 18014
1490.97/1495.43 c #Conflicts: 673000 | #Constraints: 19014
1490.97/1495.43 c #Conflicts: 674000 | #Constraints: 20014
1490.97/1495.43 c #Conflicts: 675000 | #Constraints: 21014
1490.97/1495.43 c #Conflicts: 676000 | #Constraints: 22014
1490.97/1495.43 c #Conflicts: 677000 | #Constraints: 23014
1490.97/1495.43 c #Conflicts: 678000 | #Constraints: 24014
1490.97/1495.43 c #Conflicts: 679000 | #Constraints: 25014
1490.97/1495.43 c #Conflicts: 680000 | #Constraints: 26014
1490.97/1495.43 c #Conflicts: 681000 | #Constraints: 27014
1490.97/1495.43 c #Conflicts: 682000 | #Constraints: 28014
1490.97/1495.43 c #Conflicts: 683000 | #Constraints: 29014
1490.97/1495.43 c #Conflicts: 684000 | #Constraints: 30014
1490.97/1495.43 c #Conflicts: 685000 | #Constraints: 31014
1490.97/1495.43 c #Conflicts: 686000 | #Constraints: 32014
1490.97/1495.43 c #Conflicts: 687000 | #Constraints: 33014
1490.97/1495.43 c #Conflicts: 688000 | #Constraints: 34014
1490.97/1495.43 c INPROCESSING
1490.97/1495.43 c GARBAGE COLLECT
1490.97/1495.43 c #Conflicts: 689000 | #Constraints: 18572
1490.97/1495.43 c #Conflicts: 690000 | #Constraints: 19572
1490.97/1495.43 c #Conflicts: 691000 | #Constraints: 20572
1490.97/1495.43 c #Conflicts: 692000 | #Constraints: 21572
1490.97/1495.43 c #Conflicts: 693000 | #Constraints: 22572
1490.97/1495.43 c #Conflicts: 694000 | #Constraints: 23572
1490.97/1495.43 c #Conflicts: 695000 | #Constraints: 24572
1490.97/1495.43 c #Conflicts: 696000 | #Constraints: 25572
1490.97/1495.43 c #Conflicts: 697000 | #Constraints: 26572
1490.97/1495.43 c #Conflicts: 698000 | #Constraints: 27572
1490.97/1495.43 c #Conflicts: 699000 | #Constraints: 28572
1490.97/1495.43 c #Conflicts: 700000 | #Constraints: 29572
1490.97/1495.43 c #Conflicts: 701000 | #Constraints: 30572
1490.97/1495.43 c #Conflicts: 702000 | #Constraints: 31572
1490.97/1495.43 c #Conflicts: 703000 | #Constraints: 32572
1490.97/1495.43 c #Conflicts: 704000 | #Constraints: 33572
1490.97/1495.43 c #Conflicts: 705000 | #Constraints: 34572
1490.97/1495.43 c INPROCESSING
1490.97/1495.43 c GARBAGE COLLECT
1490.97/1495.43 c #Conflicts: 706000 | #Constraints: 18966
1490.97/1495.43 c #Conflicts: 707000 | #Constraints: 19966
1490.97/1495.43 c #Conflicts: 708000 | #Constraints: 20966
1490.97/1495.43 c #Conflicts: 709000 | #Constraints: 21966
1490.97/1495.43 c #Conflicts: 710000 | #Constraints: 22966
1490.97/1495.43 c #Conflicts: 711000 | #Constraints: 23966
1490.97/1495.43 c #Conflicts: 712000 | #Constraints: 24966
1490.97/1495.43 c #Conflicts: 713000 | #Constraints: 25966
1490.97/1495.43 c #Conflicts: 714000 | #Constraints: 26966
1490.97/1495.43 c #Conflicts: 715000 | #Constraints: 27966
1490.97/1495.43 c #Conflicts: 716000 | #Constraints: 28966
1490.97/1495.43 c #Conflicts: 717000 | #Constraints: 29966
1490.97/1495.43 c #Conflicts: 718000 | #Constraints: 30966
1490.97/1495.43 c #Conflicts: 719000 | #Constraints: 31966
1490.97/1495.43 c #Conflicts: 720000 | #Constraints: 32966
1490.97/1495.43 c #Conflicts: 721000 | #Constraints: 33966
1490.97/1495.43 c #Conflicts: 722000 | #Constraints: 34966
1490.97/1495.43 c INPROCESSING
1490.97/1495.43 c GARBAGE COLLECT
1490.97/1495.43 c #Conflicts: 723000 | #Constraints: 19192
1490.97/1495.43 c #Conflicts: 724000 | #Constraints: 20192
1490.97/1495.43 c #Conflicts: 725000 | #Constraints: 21192
1490.97/1495.43 c #Conflicts: 726000 | #Constraints: 22192
1490.97/1495.43 c #Conflicts: 727000 | #Constraints: 23192
1490.97/1495.43 c #Conflicts: 728000 | #Constraints: 24192
1490.97/1495.43 c #Conflicts: 729000 | #Constraints: 25192
1490.97/1495.43 c #Conflicts: 730000 | #Constraints: 26192
1490.97/1495.43 c #Conflicts: 731000 | #Constraints: 27192
1490.97/1495.43 c #Conflicts: 732000 | #Constraints: 28192
1490.97/1495.43 c #Conflicts: 733000 | #Constraints: 29192
1490.97/1495.43 c #Conflicts: 734000 | #Constraints: 30192
1490.97/1495.43 c #Conflicts: 735000 | #Constraints: 31192
1490.97/1495.43 c #Conflicts: 736000 | #Constraints: 32192
1490.97/1495.43 c #Conflicts: 737000 | #Constraints: 33192
1490.97/1495.43 c #Conflicts: 738000 | #Constraints: 34192
1490.97/1495.43 c #Conflicts: 739000 | #Constraints: 35192
1490.97/1495.43 c INPROCESSING
1490.97/1495.43 c GARBAGE COLLECT
1651.11/1656.10 c #Conflicts: 740000 | #Constraints: 19216
1651.11/1656.10 c #Conflicts: 741000 | #Constraints: 20216
1651.11/1656.10 c #Conflicts: 742000 | #Constraints: 21216
1651.11/1656.10 c #Conflicts: 743000 | #Constraints: 22216
1651.11/1656.10 c #Conflicts: 744000 | #Constraints: 23216
1651.11/1656.10 c #Conflicts: 745000 | #Constraints: 24216
1651.11/1656.10 c #Conflicts: 746000 | #Constraints: 25216
1651.11/1656.10 c #Conflicts: 747000 | #Constraints: 26216
1651.11/1656.10 c #Conflicts: 748000 | #Constraints: 27216
1651.11/1656.10 c #Conflicts: 749000 | #Constraints: 28216
1651.11/1656.10 c #Conflicts: 750000 | #Constraints: 29216
1651.11/1656.10 c #Conflicts: 751000 | #Constraints: 30216
1651.11/1656.10 c #Conflicts: 752000 | #Constraints: 31216
1651.11/1656.10 c #Conflicts: 753000 | #Constraints: 32216
1651.11/1656.10 c #Conflicts: 754000 | #Constraints: 33216
1651.11/1656.10 c #Conflicts: 755000 | #Constraints: 34216
1651.11/1656.10 c #Conflicts: 756000 | #Constraints: 35216
1651.11/1656.10 c INPROCESSING
1651.11/1656.10 c GARBAGE COLLECT
1651.11/1656.10 c #Conflicts: 757000 | #Constraints: 18936
1651.11/1656.10 c #Conflicts: 758000 | #Constraints: 19936
1651.11/1656.10 c #Conflicts: 759000 | #Constraints: 20936
1651.11/1656.10 c #Conflicts: 760000 | #Constraints: 21936
1651.11/1656.10 c #Conflicts: 761000 | #Constraints: 22936
1651.11/1656.10 c #Conflicts: 762000 | #Constraints: 23936
1651.11/1656.10 c #Conflicts: 763000 | #Constraints: 24936
1651.11/1656.10 c #Conflicts: 764000 | #Constraints: 25936
1651.11/1656.10 c #Conflicts: 765000 | #Constraints: 26936
1651.11/1656.10 c #Conflicts: 766000 | #Constraints: 27936
1651.11/1656.10 c #Conflicts: 767000 | #Constraints: 28936
1651.11/1656.10 c #Conflicts: 768000 | #Constraints: 29936
1651.11/1656.10 c #Conflicts: 769000 | #Constraints: 30936
1651.11/1656.10 c #Conflicts: 770000 | #Constraints: 31936
1651.11/1656.10 c #Conflicts: 771000 | #Constraints: 32936
1651.11/1656.10 c #Conflicts: 772000 | #Constraints: 33936
1651.11/1656.10 c #Conflicts: 773000 | #Constraints: 34936
1651.11/1656.10 c #Conflicts: 774000 | #Constraints: 35936
1651.11/1656.10 c INPROCESSING
1651.11/1656.10 c GARBAGE COLLECT
1651.11/1656.10 c #Conflicts: 775000 | #Constraints: 19617
1651.11/1656.10 c #Conflicts: 776000 | #Constraints: 20617
1651.11/1656.10 c #Conflicts: 777000 | #Constraints: 21617
1651.11/1656.10 c #Conflicts: 778000 | #Constraints: 22617
1651.11/1656.10 c #Conflicts: 779000 | #Constraints: 23617
1651.11/1656.10 c #Conflicts: 780000 | #Constraints: 24617
1651.11/1656.10 c #Conflicts: 781000 | #Constraints: 25617
1651.11/1656.10 c #Conflicts: 782000 | #Constraints: 26617
1651.11/1656.10 c #Conflicts: 783000 | #Constraints: 27617
1651.11/1656.10 c #Conflicts: 784000 | #Constraints: 28617
1651.11/1656.10 c #Conflicts: 785000 | #Constraints: 29617
1651.11/1656.10 c #Conflicts: 786000 | #Constraints: 30617
1651.11/1656.10 c #Conflicts: 787000 | #Constraints: 31617
1651.11/1656.10 c #Conflicts: 788000 | #Constraints: 32617
1651.11/1656.10 c #Conflicts: 789000 | #Constraints: 33617
1651.11/1656.10 c #Conflicts: 790000 | #Constraints: 34617
1651.11/1656.10 c #Conflicts: 791000 | #Constraints: 35617
1651.11/1656.10 c #Conflicts: 792000 | #Constraints: 36617
1651.11/1656.10 c INPROCESSING
1651.11/1656.10 c GARBAGE COLLECT
1651.11/1656.10 c #Conflicts: 793000 | #Constraints: 20050
1651.11/1656.10 c #Conflicts: 794000 | #Constraints: 21050
1651.11/1656.10 c #Conflicts: 795000 | #Constraints: 22050
1651.11/1656.10 c #Conflicts: 796000 | #Constraints: 23050
1651.11/1656.10 c #Conflicts: 797000 | #Constraints: 24050
1651.11/1656.10 c #Conflicts: 798000 | #Constraints: 25050
1651.11/1656.10 c #Conflicts: 799000 | #Constraints: 26050
1651.11/1656.10 c #Conflicts: 800000 | #Constraints: 27050
1651.11/1656.10 c #Conflicts: 801000 | #Constraints: 28050
1651.11/1656.10 c #Conflicts: 802000 | #Constraints: 29050
1651.11/1656.10 c #Conflicts: 803000 | #Constraints: 30050
1651.11/1656.10 c #Conflicts: 804000 | #Constraints: 31050
1651.11/1656.10 c #Conflicts: 805000 | #Constraints: 32050
1651.11/1656.10 c #Conflicts: 806000 | #Constraints: 33050
1651.11/1656.10 c #Conflicts: 807000 | #Constraints: 34050
1651.11/1656.10 c #Conflicts: 808000 | #Constraints: 35050
1651.11/1656.10 c #Conflicts: 809000 | #Constraints: 36050
1651.11/1656.10 c #Conflicts: 810000 | #Constraints: 37050
1651.11/1656.10 c INPROCESSING
1651.11/1656.10 c GARBAGE COLLECT
1651.11/1656.10 c #Conflicts: 811000 | #Constraints: 20268
1651.11/1656.10 c #Conflicts: 812000 | #Constraints: 21268
1651.11/1656.10 c #Conflicts: 813000 | #Constraints: 22268
1651.11/1656.10 c #Conflicts: 814000 | #Constraints: 23268
1651.11/1656.10 c #Conflicts: 815000 | #Constraints: 24268
1651.11/1656.10 c #Conflicts: 816000 | #Constraints: 25268
1814.06/1819.60 c #Conflicts: 817000 | #Constraints: 26268
1814.06/1819.60 c #Conflicts: 818000 | #Constraints: 27268
1814.06/1819.60 c #Conflicts: 819000 | #Constraints: 28268
1814.06/1819.60 c #Conflicts: 820000 | #Constraints: 29268
1814.06/1819.60 c #Conflicts: 821000 | #Constraints: 30268
1814.06/1819.60 c #Conflicts: 822000 | #Constraints: 31268
1814.06/1819.60 c #Conflicts: 823000 | #Constraints: 32268
1814.06/1819.60 c #Conflicts: 824000 | #Constraints: 33268
1814.06/1819.60 c #Conflicts: 825000 | #Constraints: 34268
1814.06/1819.60 c #Conflicts: 826000 | #Constraints: 35268
1814.06/1819.60 c #Conflicts: 827000 | #Constraints: 36268
1814.06/1819.60 c #Conflicts: 828000 | #Constraints: 37268
1814.06/1819.60 c INPROCESSING
1814.06/1819.60 c GARBAGE COLLECT
1814.06/1819.60 c #Conflicts: 829000 | #Constraints: 20214
1814.06/1819.60 c #Conflicts: 830000 | #Constraints: 21214
1814.06/1819.60 c #Conflicts: 831000 | #Constraints: 22214
1814.06/1819.60 c #Conflicts: 832000 | #Constraints: 23214
1814.06/1819.60 c #Conflicts: 833000 | #Constraints: 24214
1814.06/1819.60 c #Conflicts: 834000 | #Constraints: 25214
1814.06/1819.60 c #Conflicts: 835000 | #Constraints: 26214
1814.06/1819.60 c #Conflicts: 836000 | #Constraints: 27214
1814.06/1819.60 c #Conflicts: 837000 | #Constraints: 28214
1814.06/1819.60 c #Conflicts: 838000 | #Constraints: 29214
1814.06/1819.60 c #Conflicts: 839000 | #Constraints: 30214
1814.06/1819.60 c #Conflicts: 840000 | #Constraints: 31214
1814.06/1819.60 c #Conflicts: 841000 | #Constraints: 32214
1814.06/1819.60 c #Conflicts: 842000 | #Constraints: 33214
1814.06/1819.60 c #Conflicts: 843000 | #Constraints: 34214
1814.06/1819.60 c #Conflicts: 844000 | #Constraints: 35214
1814.06/1819.60 c #Conflicts: 845000 | #Constraints: 36214
1814.06/1819.60 c #Conflicts: 846000 | #Constraints: 37214
1814.06/1819.60 c INPROCESSING
1814.06/1819.60 c GARBAGE COLLECT
1814.06/1819.60 c #Conflicts: 847000 | #Constraints: 20041
1814.06/1819.60 c #Conflicts: 848000 | #Constraints: 21041
1814.06/1819.60 c #Conflicts: 849000 | #Constraints: 22041
1814.06/1819.60 c #Conflicts: 850000 | #Constraints: 23041
1814.06/1819.60 c #Conflicts: 851000 | #Constraints: 24041
1814.06/1819.60 c #Conflicts: 852000 | #Constraints: 25041
1814.06/1819.60 c #Conflicts: 853000 | #Constraints: 26041
1814.06/1819.60 c #Conflicts: 854000 | #Constraints: 27041
1814.06/1819.60 c #Conflicts: 855000 | #Constraints: 28041
1814.06/1819.60 c #Conflicts: 856000 | #Constraints: 29041
1814.06/1819.60 c #Conflicts: 857000 | #Constraints: 30041
1814.06/1819.60 c #Conflicts: 858000 | #Constraints: 31041
1814.06/1819.60 c #Conflicts: 859000 | #Constraints: 32041
1814.06/1819.60 c #Conflicts: 860000 | #Constraints: 33041
1814.06/1819.60 c #Conflicts: 861000 | #Constraints: 34041
1814.06/1819.60 c #Conflicts: 862000 | #Constraints: 35041
1814.06/1819.60 c #Conflicts: 863000 | #Constraints: 36041
1814.06/1819.60 c #Conflicts: 864000 | #Constraints: 37041
1814.06/1819.60 c #Conflicts: 865000 | #Constraints: 38041
1814.06/1819.60 c INPROCESSING
1814.06/1819.60 c GARBAGE COLLECT
1814.06/1819.60 c #Conflicts: 866000 | #Constraints: 20647
1814.06/1819.60 c #Conflicts: 867000 | #Constraints: 21647
1814.06/1819.60 c #Conflicts: 868000 | #Constraints: 22647
1814.06/1819.60 c #Conflicts: 869000 | #Constraints: 23647
1814.06/1819.60 c #Conflicts: 870000 | #Constraints: 24647
1814.06/1819.60 c #Conflicts: 871000 | #Constraints: 25647
1814.06/1819.60 c #Conflicts: 872000 | #Constraints: 26647
1814.06/1819.60 c #Conflicts: 873000 | #Constraints: 27647
1814.06/1819.60 c #Conflicts: 874000 | #Constraints: 28647
1814.06/1819.60 c #Conflicts: 875000 | #Constraints: 29647
1814.06/1819.60 c #Conflicts: 876000 | #Constraints: 30647
1814.06/1819.60 c #Conflicts: 877000 | #Constraints: 31647
1814.06/1819.60 c #Conflicts: 878000 | #Constraints: 32647
1814.06/1819.60 c #Conflicts: 879000 | #Constraints: 33647
1814.06/1819.60 c #Conflicts: 880000 | #Constraints: 34647
1814.06/1819.60 c #Conflicts: 881000 | #Constraints: 35647
1814.06/1819.60 c #Conflicts: 882000 | #Constraints: 36647
1814.06/1819.60 c #Conflicts: 883000 | #Constraints: 37647
1814.06/1819.60 c #Conflicts: 884000 | #Constraints: 38647
1814.06/1819.60 c INPROCESSING
1814.06/1819.60 c GARBAGE COLLECT
1814.06/1819.60 c #Conflicts: 885000 | #Constraints: 21071
1814.06/1819.60 c #Conflicts: 886000 | #Constraints: 22071
1814.06/1819.60 c #Conflicts: 887000 | #Constraints: 23071
1814.06/1819.60 c #Conflicts: 888000 | #Constraints: 24071
1814.06/1819.60 c #Conflicts: 889000 | #Constraints: 25071
1814.06/1819.60 c #Conflicts: 890000 | #Constraints: 26071
1814.06/1819.60 c #Conflicts: 891000 | #Constraints: 27071
1814.06/1819.60 c #Conflicts: 892000 | #Constraints: 28071
1996.67/2002.75 c #Conflicts: 893000 | #Constraints: 29071
1996.67/2002.75 c #Conflicts: 894000 | #Constraints: 30071
1996.67/2002.75 c #Conflicts: 895000 | #Constraints: 31071
1996.67/2002.75 c #Conflicts: 896000 | #Constraints: 32071
1996.67/2002.75 c #Conflicts: 897000 | #Constraints: 33071
1996.67/2002.75 c #Conflicts: 898000 | #Constraints: 34071
1996.67/2002.75 c #Conflicts: 899000 | #Constraints: 35071
1996.67/2002.75 c #Conflicts: 900000 | #Constraints: 36071
1996.67/2002.75 c #Conflicts: 901000 | #Constraints: 37071
1996.67/2002.75 c #Conflicts: 902000 | #Constraints: 38071
1996.67/2002.75 c #Conflicts: 903000 | #Constraints: 39071
1996.67/2002.75 c INPROCESSING
1996.67/2002.75 c GARBAGE COLLECT
1996.67/2002.75 c #Conflicts: 904000 | #Constraints: 21213
1996.67/2002.75 c #Conflicts: 905000 | #Constraints: 22213
1996.67/2002.75 c #Conflicts: 906000 | #Constraints: 23213
1996.67/2002.75 c #Conflicts: 907000 | #Constraints: 24213
1996.67/2002.75 c #Conflicts: 908000 | #Constraints: 25213
1996.67/2002.75 c #Conflicts: 909000 | #Constraints: 26213
1996.67/2002.75 c #Conflicts: 910000 | #Constraints: 27213
1996.67/2002.75 c #Conflicts: 911000 | #Constraints: 28213
1996.67/2002.75 c #Conflicts: 912000 | #Constraints: 29213
1996.67/2002.75 c #Conflicts: 913000 | #Constraints: 30213
1996.67/2002.75 c #Conflicts: 914000 | #Constraints: 31213
1996.67/2002.75 c #Conflicts: 915000 | #Constraints: 32213
1996.67/2002.75 c #Conflicts: 916000 | #Constraints: 33213
1996.67/2002.75 c #Conflicts: 917000 | #Constraints: 34213
1996.67/2002.75 c #Conflicts: 918000 | #Constraints: 35213
1996.67/2002.75 c #Conflicts: 919000 | #Constraints: 36213
1996.67/2002.75 c #Conflicts: 920000 | #Constraints: 37213
1996.67/2002.75 c #Conflicts: 921000 | #Constraints: 38213
1996.67/2002.75 c #Conflicts: 922000 | #Constraints: 39213
1996.67/2002.75 c INPROCESSING
1996.67/2002.75 c GARBAGE COLLECT
1996.67/2002.75 c #Conflicts: 923000 | #Constraints: 21248
1996.67/2002.75 c #Conflicts: 924000 | #Constraints: 22248
1996.67/2002.75 c #Conflicts: 925000 | #Constraints: 23248
1996.67/2002.75 c #Conflicts: 926000 | #Constraints: 24248
1996.67/2002.75 c #Conflicts: 927000 | #Constraints: 25248
1996.67/2002.75 c #Conflicts: 928000 | #Constraints: 26248
1996.67/2002.75 c #Conflicts: 929000 | #Constraints: 27248
1996.67/2002.75 c #Conflicts: 930000 | #Constraints: 28248
1996.67/2002.75 c #Conflicts: 931000 | #Constraints: 29248
1996.67/2002.75 c #Conflicts: 932000 | #Constraints: 30248
1996.67/2002.75 c #Conflicts: 933000 | #Constraints: 31248
1996.67/2002.75 c #Conflicts: 934000 | #Constraints: 32248
1996.67/2002.75 c #Conflicts: 935000 | #Constraints: 33248
1996.67/2002.75 c #Conflicts: 936000 | #Constraints: 34248
1996.67/2002.75 c #Conflicts: 937000 | #Constraints: 35248
1996.67/2002.75 c #Conflicts: 938000 | #Constraints: 36248
1996.67/2002.75 c #Conflicts: 939000 | #Constraints: 37248
1996.67/2002.75 c #Conflicts: 940000 | #Constraints: 38248
1996.67/2002.75 c #Conflicts: 941000 | #Constraints: 39248
1996.67/2002.75 c INPROCESSING
1996.67/2002.75 c GARBAGE COLLECT
1996.67/2002.75 c #Conflicts: 942000 | #Constraints: 21039
1996.67/2002.75 c #Conflicts: 943000 | #Constraints: 22039
1996.67/2002.75 c #Conflicts: 944000 | #Constraints: 23039
1996.67/2002.75 c #Conflicts: 945000 | #Constraints: 24039
1996.67/2002.75 c #Conflicts: 946000 | #Constraints: 25039
1996.67/2002.75 c #Conflicts: 947000 | #Constraints: 26039
1996.67/2002.75 c #Conflicts: 948000 | #Constraints: 27039
1996.67/2002.75 c #Conflicts: 949000 | #Constraints: 28039
1996.67/2002.75 c #Conflicts: 950000 | #Constraints: 29039
1996.67/2002.75 c #Conflicts: 951000 | #Constraints: 30039
1996.67/2002.75 c #Conflicts: 952000 | #Constraints: 31039
1996.67/2002.75 c #Conflicts: 953000 | #Constraints: 32039
1996.67/2002.75 c #Conflicts: 954000 | #Constraints: 33039
1996.67/2002.75 c #Conflicts: 955000 | #Constraints: 34039
1996.67/2002.75 c #Conflicts: 956000 | #Constraints: 35039
1996.67/2002.75 c #Conflicts: 957000 | #Constraints: 36039
1996.67/2002.75 c #Conflicts: 958000 | #Constraints: 37039
1996.67/2002.75 c #Conflicts: 959000 | #Constraints: 38039
1996.67/2002.75 c #Conflicts: 960000 | #Constraints: 39039
1996.67/2002.75 c #Conflicts: 961000 | #Constraints: 40039
1996.67/2002.75 c INPROCESSING
1996.67/2002.75 c GARBAGE COLLECT
1996.67/2002.75 c #Conflicts: 962000 | #Constraints: 21654
1996.67/2002.75 c #Conflicts: 963000 | #Constraints: 22654
1996.67/2002.75 c #Conflicts: 964000 | #Constraints: 23654
1996.67/2002.75 c #Conflicts: 965000 | #Constraints: 24654
1996.67/2002.75 c #Conflicts: 966000 | #Constraints: 25654
1996.67/2002.75 c #Conflicts: 967000 | #Constraints: 26654
1996.67/2002.75 c #Conflicts: 968000 | #Constraints: 27654
2151.67/2158.29 c #Conflicts: 969000 | #Constraints: 28654
2151.67/2158.29 c #Conflicts: 970000 | #Constraints: 29654
2151.67/2158.29 c #Conflicts: 971000 | #Constraints: 30654
2151.67/2158.29 c #Conflicts: 972000 | #Constraints: 31654
2151.67/2158.29 c #Conflicts: 973000 | #Constraints: 32654
2151.67/2158.29 c #Conflicts: 974000 | #Constraints: 33654
2151.67/2158.29 c #Conflicts: 975000 | #Constraints: 34654
2151.67/2158.29 c #Conflicts: 976000 | #Constraints: 35654
2151.67/2158.29 c #Conflicts: 977000 | #Constraints: 36654
2151.67/2158.29 c #Conflicts: 978000 | #Constraints: 37654
2151.67/2158.29 c #Conflicts: 979000 | #Constraints: 38654
2151.67/2158.29 c #Conflicts: 980000 | #Constraints: 39654
2151.67/2158.29 c #Conflicts: 981000 | #Constraints: 40654
2151.67/2158.29 c INPROCESSING
2151.67/2158.29 c GARBAGE COLLECT
2151.67/2158.29 c #Conflicts: 982000 | #Constraints: 22057
2151.67/2158.29 c #Conflicts: 983000 | #Constraints: 23057
2151.67/2158.29 c #Conflicts: 984000 | #Constraints: 24057
2151.67/2158.29 c #Conflicts: 985000 | #Constraints: 25057
2151.67/2158.29 c #Conflicts: 986000 | #Constraints: 26057
2151.67/2158.29 c #Conflicts: 987000 | #Constraints: 27057
2151.67/2158.29 c #Conflicts: 988000 | #Constraints: 28057
2151.67/2158.29 c #Conflicts: 989000 | #Constraints: 29057
2151.67/2158.29 c #Conflicts: 990000 | #Constraints: 30057
2151.67/2158.29 c #Conflicts: 991000 | #Constraints: 31057
2151.67/2158.29 c #Conflicts: 992000 | #Constraints: 32057
2151.67/2158.29 c #Conflicts: 993000 | #Constraints: 33057
2151.67/2158.29 c #Conflicts: 994000 | #Constraints: 34057
2151.67/2158.29 c #Conflicts: 995000 | #Constraints: 35057
2151.67/2158.29 c #Conflicts: 996000 | #Constraints: 36057
2151.67/2158.29 c #Conflicts: 997000 | #Constraints: 37057
2151.67/2158.29 c #Conflicts: 998000 | #Constraints: 38057
2151.67/2158.29 c #Conflicts: 999000 | #Constraints: 39057
2151.67/2158.29 c #Conflicts: 1000000 | #Constraints: 40057
2151.67/2158.29 c #Conflicts: 1001000 | #Constraints: 41057
2151.67/2158.29 c INPROCESSING
2151.67/2158.29 c GARBAGE COLLECT
2151.67/2158.29 c #Conflicts: 1002000 | #Constraints: 22224
2151.67/2158.29 c #Conflicts: 1003000 | #Constraints: 23224
2151.67/2158.29 c #Conflicts: 1004000 | #Constraints: 24224
2151.67/2158.29 c #Conflicts: 1005000 | #Constraints: 25224
2151.67/2158.29 c #Conflicts: 1006000 | #Constraints: 26224
2151.67/2158.29 c #Conflicts: 1007000 | #Constraints: 27224
2151.67/2158.29 c #Conflicts: 1008000 | #Constraints: 28224
2151.67/2158.29 c #Conflicts: 1009000 | #Constraints: 29224
2151.67/2158.29 c #Conflicts: 1010000 | #Constraints: 30224
2151.67/2158.29 c #Conflicts: 1011000 | #Constraints: 31224
2151.67/2158.29 c #Conflicts: 1012000 | #Constraints: 32224
2151.67/2158.29 c #Conflicts: 1013000 | #Constraints: 33224
2151.67/2158.29 c #Conflicts: 1014000 | #Constraints: 34224
2151.67/2158.29 c #Conflicts: 1015000 | #Constraints: 35224
2151.67/2158.29 c #Conflicts: 1016000 | #Constraints: 36224
2151.67/2158.29 c #Conflicts: 1017000 | #Constraints: 37224
2151.67/2158.29 c #Conflicts: 1018000 | #Constraints: 38224
2151.67/2158.29 c #Conflicts: 1019000 | #Constraints: 39224
2151.67/2158.29 c #Conflicts: 1020000 | #Constraints: 40224
2151.67/2158.29 c #Conflicts: 1021000 | #Constraints: 41224
2151.67/2158.29 c INPROCESSING
2151.67/2158.29 c GARBAGE COLLECT
2151.67/2158.29 c #Conflicts: 1022000 | #Constraints: 22236
2151.67/2158.29 c #Conflicts: 1023000 | #Constraints: 23236
2151.67/2158.29 c #Conflicts: 1024000 | #Constraints: 24236
2151.67/2158.29 c #Conflicts: 1025000 | #Constraints: 25236
2151.67/2158.29 c #Conflicts: 1026000 | #Constraints: 26236
2151.67/2158.29 c #Conflicts: 1027000 | #Constraints: 27236
2151.67/2158.29 c #Conflicts: 1028000 | #Constraints: 28236
2151.67/2158.29 c #Conflicts: 1029000 | #Constraints: 29236
2151.67/2158.29 c #Conflicts: 1030000 | #Constraints: 30236
2151.67/2158.29 c #Conflicts: 1031000 | #Constraints: 31236
2151.67/2158.29 c #Conflicts: 1032000 | #Constraints: 32236
2151.67/2158.29 c #Conflicts: 1033000 | #Constraints: 33236
2151.67/2158.29 c #Conflicts: 1034000 | #Constraints: 34236
2151.67/2158.29 c #Conflicts: 1035000 | #Constraints: 35236
2151.67/2158.29 c #Conflicts: 1036000 | #Constraints: 36236
2151.67/2158.29 c #Conflicts: 1037000 | #Constraints: 37236
2151.67/2158.29 c #Conflicts: 1038000 | #Constraints: 38236
2151.67/2158.29 c #Conflicts: 1039000 | #Constraints: 39236
2151.67/2158.29 c #Conflicts: 1040000 | #Constraints: 40236
2151.67/2158.29 c #Conflicts: 1041000 | #Constraints: 41236
2151.67/2158.29 c INPROCESSING
2151.67/2158.29 c GARBAGE COLLECT
2151.67/2158.29 c #Conflicts: 1042000 | #Constraints: 22018
2151.67/2158.29 c #Conflicts: 1043000 | #Constraints: 23018
2151.67/2158.29 c #Conflicts: 1044000 | #Constraints: 24018
2297.18/2304.22 c #Conflicts: 1045000 | #Constraints: 25018
2297.18/2304.22 c #Conflicts: 1046000 | #Constraints: 26018
2297.18/2304.22 c #Conflicts: 1047000 | #Constraints: 27018
2297.18/2304.22 c #Conflicts: 1048000 | #Constraints: 28018
2297.18/2304.22 c #Conflicts: 1049000 | #Constraints: 29018
2297.18/2304.22 c #Conflicts: 1050000 | #Constraints: 30018
2297.18/2304.22 c #Conflicts: 1051000 | #Constraints: 31018
2297.18/2304.22 c #Conflicts: 1052000 | #Constraints: 32018
2297.18/2304.22 c #Conflicts: 1053000 | #Constraints: 33018
2297.18/2304.22 c #Conflicts: 1054000 | #Constraints: 34018
2297.18/2304.22 c #Conflicts: 1055000 | #Constraints: 35018
2297.18/2304.22 c #Conflicts: 1056000 | #Constraints: 36018
2297.18/2304.22 c #Conflicts: 1057000 | #Constraints: 37018
2297.18/2304.22 c #Conflicts: 1058000 | #Constraints: 38018
2297.18/2304.22 c #Conflicts: 1059000 | #Constraints: 39018
2297.18/2304.22 c #Conflicts: 1060000 | #Constraints: 40018
2297.18/2304.22 c #Conflicts: 1061000 | #Constraints: 41018
2297.18/2304.22 c #Conflicts: 1062000 | #Constraints: 42018
2297.18/2304.22 c INPROCESSING
2297.18/2304.22 c GARBAGE COLLECT
2297.18/2304.22 c #Conflicts: 1063000 | #Constraints: 22611
2297.18/2304.22 c #Conflicts: 1064000 | #Constraints: 23611
2297.18/2304.22 c #Conflicts: 1065000 | #Constraints: 24611
2297.18/2304.22 c #Conflicts: 1066000 | #Constraints: 25611
2297.18/2304.22 c #Conflicts: 1067000 | #Constraints: 26611
2297.18/2304.22 c #Conflicts: 1068000 | #Constraints: 27611
2297.18/2304.22 c #Conflicts: 1069000 | #Constraints: 28611
2297.18/2304.22 c #Conflicts: 1070000 | #Constraints: 29611
2297.18/2304.22 c #Conflicts: 1071000 | #Constraints: 30611
2297.18/2304.22 c #Conflicts: 1072000 | #Constraints: 31611
2297.18/2304.22 c #Conflicts: 1073000 | #Constraints: 32611
2297.18/2304.22 c #Conflicts: 1074000 | #Constraints: 33611
2297.18/2304.22 c #Conflicts: 1075000 | #Constraints: 34611
2297.18/2304.22 c #Conflicts: 1076000 | #Constraints: 35611
2297.18/2304.22 c #Conflicts: 1077000 | #Constraints: 36611
2297.18/2304.22 c #Conflicts: 1078000 | #Constraints: 37611
2297.18/2304.22 c #Conflicts: 1079000 | #Constraints: 38611
2297.18/2304.22 c #Conflicts: 1080000 | #Constraints: 39611
2297.18/2304.22 c #Conflicts: 1081000 | #Constraints: 40611
2297.18/2304.22 c #Conflicts: 1082000 | #Constraints: 41611
2297.18/2304.22 c #Conflicts: 1083000 | #Constraints: 42611
2297.18/2304.22 c INPROCESSING
2297.18/2304.22 c GARBAGE COLLECT
2297.18/2304.22 c #Conflicts: 1084000 | #Constraints: 22989
2297.18/2304.22 c #Conflicts: 1085000 | #Constraints: 23989
2297.18/2304.22 c #Conflicts: 1086000 | #Constraints: 24989
2297.18/2304.22 c #Conflicts: 1087000 | #Constraints: 25989
2297.18/2304.22 c #Conflicts: 1088000 | #Constraints: 26989
2297.18/2304.22 c #Conflicts: 1089000 | #Constraints: 27989
2297.18/2304.22 c #Conflicts: 1090000 | #Constraints: 28989
2297.18/2304.22 c #Conflicts: 1091000 | #Constraints: 29989
2297.18/2304.22 c #Conflicts: 1092000 | #Constraints: 30989
2297.18/2304.22 c #Conflicts: 1093000 | #Constraints: 31989
2297.18/2304.22 c #Conflicts: 1094000 | #Constraints: 32989
2297.18/2304.22 c #Conflicts: 1095000 | #Constraints: 33989
2297.18/2304.22 c #Conflicts: 1096000 | #Constraints: 34989
2297.18/2304.22 c #Conflicts: 1097000 | #Constraints: 35989
2297.18/2304.22 c #Conflicts: 1098000 | #Constraints: 36989
2297.18/2304.22 c #Conflicts: 1099000 | #Constraints: 37989
2297.18/2304.22 c #Conflicts: 1100000 | #Constraints: 38989
2297.18/2304.22 c #Conflicts: 1101000 | #Constraints: 39989
2297.18/2304.22 c #Conflicts: 1102000 | #Constraints: 40989
2297.18/2304.22 c #Conflicts: 1103000 | #Constraints: 41989
2297.18/2304.22 c #Conflicts: 1104000 | #Constraints: 42989
2297.18/2304.22 c INPROCESSING
2297.18/2304.22 c GARBAGE COLLECT
2297.18/2304.22 c #Conflicts: 1105000 | #Constraints: 23183
2297.18/2304.22 c #Conflicts: 1106000 | #Constraints: 24183
2297.18/2304.22 c #Conflicts: 1107000 | #Constraints: 25183
2297.18/2304.22 c #Conflicts: 1108000 | #Constraints: 26183
2297.18/2304.22 c #Conflicts: 1109000 | #Constraints: 27183
2297.18/2304.22 c #Conflicts: 1110000 | #Constraints: 28183
2297.18/2304.22 c #Conflicts: 1111000 | #Constraints: 29183
2297.18/2304.22 c #Conflicts: 1112000 | #Constraints: 30183
2297.18/2304.22 c #Conflicts: 1113000 | #Constraints: 31183
2297.18/2304.22 c #Conflicts: 1114000 | #Constraints: 32183
2297.18/2304.22 c #Conflicts: 1115000 | #Constraints: 33183
2297.18/2304.22 c #Conflicts: 1116000 | #Constraints: 34183
2297.18/2304.22 c #Conflicts: 1117000 | #Constraints: 35183
2297.18/2304.22 c #Conflicts: 1118000 | #Constraints: 36183
2297.18/2304.22 c #Conflicts: 1119000 | #Constraints: 37183
2297.18/2304.22 c #Conflicts: 1120000 | #Constraints: 38183
2297.18/2304.22 c #Conflicts: 1121000 | #Constraints: 39183
2458.06/2465.62 c #Conflicts: 1122000 | #Constraints: 40183
2458.06/2465.62 c #Conflicts: 1123000 | #Constraints: 41183
2458.06/2465.62 c #Conflicts: 1124000 | #Constraints: 42183
2458.06/2465.62 c #Conflicts: 1125000 | #Constraints: 43183
2458.06/2465.62 c INPROCESSING
2458.06/2465.62 c GARBAGE COLLECT
2458.06/2465.62 c #Conflicts: 1126000 | #Constraints: 23194
2458.06/2465.62 c #Conflicts: 1127000 | #Constraints: 24194
2458.06/2465.62 c #Conflicts: 1128000 | #Constraints: 25194
2458.06/2465.62 c #Conflicts: 1129000 | #Constraints: 26194
2458.06/2465.62 c #Conflicts: 1130000 | #Constraints: 27194
2458.06/2465.62 c #Conflicts: 1131000 | #Constraints: 28194
2458.06/2465.62 c #Conflicts: 1132000 | #Constraints: 29194
2458.06/2465.62 c #Conflicts: 1133000 | #Constraints: 30194
2458.06/2465.62 c #Conflicts: 1134000 | #Constraints: 31194
2458.06/2465.62 c #Conflicts: 1135000 | #Constraints: 32194
2458.06/2465.62 c #Conflicts: 1136000 | #Constraints: 33194
2458.06/2465.62 c #Conflicts: 1137000 | #Constraints: 34194
2458.06/2465.62 c #Conflicts: 1138000 | #Constraints: 35194
2458.06/2465.62 c #Conflicts: 1139000 | #Constraints: 36194
2458.06/2465.62 c #Conflicts: 1140000 | #Constraints: 37194
2458.06/2465.62 c #Conflicts: 1141000 | #Constraints: 38194
2458.06/2465.62 c #Conflicts: 1142000 | #Constraints: 39194
2458.06/2465.62 c #Conflicts: 1143000 | #Constraints: 40194
2458.06/2465.62 c #Conflicts: 1144000 | #Constraints: 41194
2458.06/2465.62 c #Conflicts: 1145000 | #Constraints: 42194
2458.06/2465.62 c #Conflicts: 1146000 | #Constraints: 43194
2458.06/2465.62 c INPROCESSING
2458.06/2465.62 c GARBAGE COLLECT
2458.06/2465.62 c #Conflicts: 1147000 | #Constraints: 22963
2458.06/2465.62 c #Conflicts: 1148000 | #Constraints: 23963
2458.06/2465.62 c #Conflicts: 1149000 | #Constraints: 24963
2458.06/2465.62 c #Conflicts: 1150000 | #Constraints: 25963
2458.06/2465.62 c #Conflicts: 1151000 | #Constraints: 26963
2458.06/2465.62 c #Conflicts: 1152000 | #Constraints: 27963
2458.06/2465.62 c #Conflicts: 1153000 | #Constraints: 28963
2458.06/2465.62 c #Conflicts: 1154000 | #Constraints: 29963
2458.06/2465.62 c #Conflicts: 1155000 | #Constraints: 30963
2458.06/2465.62 c #Conflicts: 1156000 | #Constraints: 31963
2458.06/2465.62 c #Conflicts: 1157000 | #Constraints: 32963
2458.06/2465.62 c #Conflicts: 1158000 | #Constraints: 33963
2458.06/2465.62 c #Conflicts: 1159000 | #Constraints: 34963
2458.06/2465.62 c #Conflicts: 1160000 | #Constraints: 35963
2458.06/2465.62 c #Conflicts: 1161000 | #Constraints: 36963
2458.06/2465.62 c #Conflicts: 1162000 | #Constraints: 37963
2458.06/2465.62 c #Conflicts: 1163000 | #Constraints: 38963
2458.06/2465.62 c #Conflicts: 1164000 | #Constraints: 39963
2458.06/2465.62 c #Conflicts: 1165000 | #Constraints: 40963
2458.06/2465.62 c #Conflicts: 1166000 | #Constraints: 41963
2458.06/2465.62 c #Conflicts: 1167000 | #Constraints: 42963
2458.06/2465.62 c #Conflicts: 1168000 | #Constraints: 43963
2458.06/2465.62 c INPROCESSING
2458.06/2465.62 c GARBAGE COLLECT
2458.06/2465.62 c #Conflicts: 1169000 | #Constraints: 23560
2458.06/2465.62 c #Conflicts: 1170000 | #Constraints: 24560
2458.06/2465.62 c #Conflicts: 1171000 | #Constraints: 25560
2458.06/2465.62 c #Conflicts: 1172000 | #Constraints: 26560
2458.06/2465.62 c #Conflicts: 1173000 | #Constraints: 27560
2458.06/2465.62 c #Conflicts: 1174000 | #Constraints: 28560
2458.06/2465.62 c #Conflicts: 1175000 | #Constraints: 29560
2458.06/2465.62 c #Conflicts: 1176000 | #Constraints: 30560
2458.06/2465.62 c #Conflicts: 1177000 | #Constraints: 31560
2458.06/2465.62 c #Conflicts: 1178000 | #Constraints: 32560
2458.06/2465.62 c #Conflicts: 1179000 | #Constraints: 33560
2458.06/2465.62 c #Conflicts: 1180000 | #Constraints: 34560
2458.06/2465.62 c #Conflicts: 1181000 | #Constraints: 35560
2458.06/2465.62 c #Conflicts: 1182000 | #Constraints: 36560
2458.06/2465.62 c #Conflicts: 1183000 | #Constraints: 37560
2458.06/2465.62 c #Conflicts: 1184000 | #Constraints: 38560
2458.06/2465.62 c #Conflicts: 1185000 | #Constraints: 39560
2458.06/2465.62 c #Conflicts: 1186000 | #Constraints: 40560
2458.06/2465.62 c #Conflicts: 1187000 | #Constraints: 41560
2458.06/2465.62 c #Conflicts: 1188000 | #Constraints: 42560
2458.06/2465.62 c #Conflicts: 1189000 | #Constraints: 43560
2458.06/2465.62 c #Conflicts: 1190000 | #Constraints: 44560
2458.06/2465.62 c INPROCESSING
2458.06/2465.62 c GARBAGE COLLECT
2458.06/2465.62 c #Conflicts: 1191000 | #Constraints: 24033
2458.06/2465.62 c #Conflicts: 1192000 | #Constraints: 25033
2458.06/2465.62 c #Conflicts: 1193000 | #Constraints: 26033
2458.06/2465.62 c #Conflicts: 1194000 | #Constraints: 27033
2458.06/2465.62 c #Conflicts: 1195000 | #Constraints: 28033
2458.06/2465.62 c #Conflicts: 1196000 | #Constraints: 29033
2458.06/2465.62 c #Conflicts: 1197000 | #Constraints: 30033
2667.10/2675.30 c #Conflicts: 1198000 | #Constraints: 31033
2667.10/2675.30 c #Conflicts: 1199000 | #Constraints: 32033
2667.10/2675.30 c #Conflicts: 1200000 | #Constraints: 33033
2667.10/2675.30 c #Conflicts: 1201000 | #Constraints: 34033
2667.10/2675.30 c #Conflicts: 1202000 | #Constraints: 35033
2667.10/2675.30 c #Conflicts: 1203000 | #Constraints: 36033
2667.10/2675.30 c #Conflicts: 1204000 | #Constraints: 37033
2667.10/2675.30 c #Conflicts: 1205000 | #Constraints: 38033
2667.10/2675.30 c #Conflicts: 1206000 | #Constraints: 39033
2667.10/2675.30 c #Conflicts: 1207000 | #Constraints: 40033
2667.10/2675.30 c #Conflicts: 1208000 | #Constraints: 41033
2667.10/2675.30 c #Conflicts: 1209000 | #Constraints: 42033
2667.10/2675.30 c #Conflicts: 1210000 | #Constraints: 43033
2667.10/2675.30 c #Conflicts: 1211000 | #Constraints: 44033
2667.10/2675.30 c #Conflicts: 1212000 | #Constraints: 45033
2667.10/2675.30 c INPROCESSING
2667.10/2675.30 c GARBAGE COLLECT
2667.10/2675.30 c #Conflicts: 1213000 | #Constraints: 24217
2667.10/2675.30 c #Conflicts: 1214000 | #Constraints: 25217
2667.10/2675.30 c #Conflicts: 1215000 | #Constraints: 26217
2667.10/2675.30 c #Conflicts: 1216000 | #Constraints: 27217
2667.10/2675.30 c #Conflicts: 1217000 | #Constraints: 28217
2667.10/2675.30 c #Conflicts: 1218000 | #Constraints: 29217
2667.10/2675.30 c #Conflicts: 1219000 | #Constraints: 30217
2667.10/2675.30 c #Conflicts: 1220000 | #Constraints: 31217
2667.10/2675.30 c #Conflicts: 1221000 | #Constraints: 32217
2667.10/2675.30 c #Conflicts: 1222000 | #Constraints: 33217
2667.10/2675.30 c #Conflicts: 1223000 | #Constraints: 34217
2667.10/2675.30 c #Conflicts: 1224000 | #Constraints: 35217
2667.10/2675.30 c #Conflicts: 1225000 | #Constraints: 36217
2667.10/2675.30 c #Conflicts: 1226000 | #Constraints: 37217
2667.10/2675.30 c #Conflicts: 1227000 | #Constraints: 38217
2667.10/2675.30 c #Conflicts: 1228000 | #Constraints: 39217
2667.10/2675.30 c #Conflicts: 1229000 | #Constraints: 40217
2667.10/2675.30 c #Conflicts: 1230000 | #Constraints: 41217
2667.10/2675.30 c #Conflicts: 1231000 | #Constraints: 42217
2667.10/2675.30 c #Conflicts: 1232000 | #Constraints: 43217
2667.10/2675.30 c #Conflicts: 1233000 | #Constraints: 44217
2667.10/2675.30 c #Conflicts: 1234000 | #Constraints: 45217
2667.10/2675.30 c INPROCESSING
2667.10/2675.30 c GARBAGE COLLECT
2667.10/2675.30 c #Conflicts: 1235000 | #Constraints: 24245
2667.10/2675.30 c #Conflicts: 1236000 | #Constraints: 25245
2667.10/2675.30 c #Conflicts: 1237000 | #Constraints: 26245
2667.10/2675.30 c #Conflicts: 1238000 | #Constraints: 27245
2667.10/2675.30 c #Conflicts: 1239000 | #Constraints: 28245
2667.10/2675.30 c #Conflicts: 1240000 | #Constraints: 29245
2667.10/2675.30 c #Conflicts: 1241000 | #Constraints: 30245
2667.10/2675.30 c #Conflicts: 1242000 | #Constraints: 31245
2667.10/2675.30 c #Conflicts: 1243000 | #Constraints: 32245
2667.10/2675.30 c #Conflicts: 1244000 | #Constraints: 33245
2667.10/2675.30 c #Conflicts: 1245000 | #Constraints: 34245
2667.10/2675.30 c #Conflicts: 1246000 | #Constraints: 35245
2667.10/2675.30 c #Conflicts: 1247000 | #Constraints: 36245
2667.10/2675.30 c #Conflicts: 1248000 | #Constraints: 37245
2667.10/2675.30 c #Conflicts: 1249000 | #Constraints: 38245
2667.10/2675.30 c #Conflicts: 1250000 | #Constraints: 39245
2667.10/2675.30 c #Conflicts: 1251000 | #Constraints: 40245
2667.10/2675.30 c #Conflicts: 1252000 | #Constraints: 41245
2667.10/2675.30 c #Conflicts: 1253000 | #Constraints: 42245
2667.10/2675.30 c #Conflicts: 1254000 | #Constraints: 43245
2667.10/2675.30 c #Conflicts: 1255000 | #Constraints: 44245
2667.10/2675.30 c #Conflicts: 1256000 | #Constraints: 45245
2667.10/2675.30 c INPROCESSING
2667.10/2675.30 c GARBAGE COLLECT
2667.10/2675.30 c #Conflicts: 1257000 | #Constraints: 24054
2667.10/2675.30 c #Conflicts: 1258000 | #Constraints: 25054
2667.10/2675.30 c #Conflicts: 1259000 | #Constraints: 26054
2667.10/2675.30 c #Conflicts: 1260000 | #Constraints: 27054
2667.10/2675.30 c #Conflicts: 1261000 | #Constraints: 28054
2667.10/2675.30 c #Conflicts: 1262000 | #Constraints: 29054
2667.10/2675.30 c #Conflicts: 1263000 | #Constraints: 30054
2667.10/2675.30 c #Conflicts: 1264000 | #Constraints: 31054
2667.10/2675.30 c #Conflicts: 1265000 | #Constraints: 32054
2667.10/2675.30 c #Conflicts: 1266000 | #Constraints: 33054
2667.10/2675.30 c #Conflicts: 1267000 | #Constraints: 34054
2667.10/2675.30 c #Conflicts: 1268000 | #Constraints: 35054
2667.10/2675.30 c #Conflicts: 1269000 | #Constraints: 36054
2667.10/2675.30 c #Conflicts: 1270000 | #Constraints: 37054
2667.10/2675.30 c #Conflicts: 1271000 | #Constraints: 38054
2667.10/2675.30 c #Conflicts: 1272000 | #Constraints: 39054
2667.10/2675.30 c #Conflicts: 1273000 | #Constraints: 40054
2667.10/2675.30 c #Conflicts: 1274000 | #Constraints: 41054
2861.98/2870.84 c #Conflicts: 1275000 | #Constraints: 42054
2861.98/2870.84 c #Conflicts: 1276000 | #Constraints: 43054
2861.98/2870.84 c #Conflicts: 1277000 | #Constraints: 44054
2861.98/2870.84 c #Conflicts: 1278000 | #Constraints: 45054
2861.98/2870.84 c #Conflicts: 1279000 | #Constraints: 46054
2861.98/2870.84 c INPROCESSING
2861.98/2870.84 c GARBAGE COLLECT
2861.98/2870.84 c #Conflicts: 1280000 | #Constraints: 24633
2861.98/2870.84 c #Conflicts: 1281000 | #Constraints: 25633
2861.98/2870.84 c #Conflicts: 1282000 | #Constraints: 26633
2861.98/2870.84 c #Conflicts: 1283000 | #Constraints: 27633
2861.98/2870.84 c #Conflicts: 1284000 | #Constraints: 28633
2861.98/2870.84 c #Conflicts: 1285000 | #Constraints: 29633
2861.98/2870.84 c #Conflicts: 1286000 | #Constraints: 30633
2861.98/2870.84 c #Conflicts: 1287000 | #Constraints: 31633
2861.98/2870.84 c #Conflicts: 1288000 | #Constraints: 32633
2861.98/2870.84 c #Conflicts: 1289000 | #Constraints: 33633
2861.98/2870.84 c #Conflicts: 1290000 | #Constraints: 34633
2861.98/2870.84 c #Conflicts: 1291000 | #Constraints: 35633
2861.98/2870.84 c #Conflicts: 1292000 | #Constraints: 36633
2861.98/2870.84 c #Conflicts: 1293000 | #Constraints: 37633
2861.98/2870.84 c #Conflicts: 1294000 | #Constraints: 38633
2861.98/2870.84 c #Conflicts: 1295000 | #Constraints: 39633
2861.98/2870.84 c #Conflicts: 1296000 | #Constraints: 40633
2861.98/2870.84 c #Conflicts: 1297000 | #Constraints: 41633
2861.98/2870.84 c #Conflicts: 1298000 | #Constraints: 42633
2861.98/2870.84 c #Conflicts: 1299000 | #Constraints: 43633
2861.98/2870.84 c #Conflicts: 1300000 | #Constraints: 44633
2861.98/2870.84 c #Conflicts: 1301000 | #Constraints: 45633
2861.98/2870.84 c #Conflicts: 1302000 | #Constraints: 46633
2861.98/2870.84 c INPROCESSING
2861.98/2870.84 c GARBAGE COLLECT
2861.98/2870.84 c #Conflicts: 1303000 | #Constraints: 25035
2861.98/2870.84 c #Conflicts: 1304000 | #Constraints: 26035
2861.98/2870.84 c #Conflicts: 1305000 | #Constraints: 27035
2861.98/2870.84 c #Conflicts: 1306000 | #Constraints: 28035
2861.98/2870.84 c #Conflicts: 1307000 | #Constraints: 29035
2861.98/2870.84 c #Conflicts: 1308000 | #Constraints: 30035
2861.98/2870.84 c #Conflicts: 1309000 | #Constraints: 31035
2861.98/2870.84 c #Conflicts: 1310000 | #Constraints: 32035
2861.98/2870.84 c #Conflicts: 1311000 | #Constraints: 33035
2861.98/2870.84 c #Conflicts: 1312000 | #Constraints: 34035
2861.98/2870.84 c #Conflicts: 1313000 | #Constraints: 35035
2861.98/2870.84 c #Conflicts: 1314000 | #Constraints: 36035
2861.98/2870.84 c #Conflicts: 1315000 | #Constraints: 37035
2861.98/2870.84 c #Conflicts: 1316000 | #Constraints: 38035
2861.98/2870.84 c #Conflicts: 1317000 | #Constraints: 39035
2861.98/2870.84 c #Conflicts: 1318000 | #Constraints: 40035
2861.98/2870.84 c #Conflicts: 1319000 | #Constraints: 41035
2861.98/2870.84 c #Conflicts: 1320000 | #Constraints: 42035
2861.98/2870.84 c #Conflicts: 1321000 | #Constraints: 43035
2861.98/2870.84 c #Conflicts: 1322000 | #Constraints: 44035
2861.98/2870.84 c #Conflicts: 1323000 | #Constraints: 45035
2861.98/2870.84 c #Conflicts: 1324000 | #Constraints: 46035
2861.98/2870.84 c #Conflicts: 1325000 | #Constraints: 47035
2861.98/2870.84 c INPROCESSING
2861.98/2870.84 c GARBAGE COLLECT
2861.98/2870.84 c #Conflicts: 1326000 | #Constraints: 25200
2861.98/2870.84 c #Conflicts: 1327000 | #Constraints: 26200
2861.98/2870.84 c #Conflicts: 1328000 | #Constraints: 27200
2861.98/2870.84 c #Conflicts: 1329000 | #Constraints: 28200
2861.98/2870.84 c #Conflicts: 1330000 | #Constraints: 29200
2861.98/2870.84 c #Conflicts: 1331000 | #Constraints: 30200
2861.98/2870.84 c #Conflicts: 1332000 | #Constraints: 31200
2861.98/2870.84 c #Conflicts: 1333000 | #Constraints: 32200
2861.98/2870.84 c #Conflicts: 1334000 | #Constraints: 33200
2861.98/2870.84 c #Conflicts: 1335000 | #Constraints: 34200
2861.98/2870.84 c #Conflicts: 1336000 | #Constraints: 35200
2861.98/2870.84 c #Conflicts: 1337000 | #Constraints: 36200
2861.98/2870.84 c #Conflicts: 1338000 | #Constraints: 37200
2861.98/2870.84 c #Conflicts: 1339000 | #Constraints: 38200
2861.98/2870.84 c #Conflicts: 1340000 | #Constraints: 39200
2861.98/2870.84 c #Conflicts: 1341000 | #Constraints: 40200
2861.98/2870.84 c #Conflicts: 1342000 | #Constraints: 41200
2861.98/2870.84 c #Conflicts: 1343000 | #Constraints: 42200
2861.98/2870.84 c #Conflicts: 1344000 | #Constraints: 43200
2861.98/2870.84 c #Conflicts: 1345000 | #Constraints: 44200
2861.98/2870.84 c #Conflicts: 1346000 | #Constraints: 45200
2861.98/2870.84 c #Conflicts: 1347000 | #Constraints: 46200
2861.98/2870.84 c #Conflicts: 1348000 | #Constraints: 47200
2861.98/2870.84 c INPROCESSING
2861.98/2870.84 c GARBAGE COLLECT
2861.98/2870.84 c #Conflicts: 1349000 | #Constraints: 25238
2861.98/2870.84 c #Conflicts: 1350000 | #Constraints: 26238
3038.80/3048.20 c #Conflicts: 1351000 | #Constraints: 27238
3038.80/3048.20 c #Conflicts: 1352000 | #Constraints: 28238
3038.80/3048.20 c #Conflicts: 1353000 | #Constraints: 29238
3038.80/3048.20 c #Conflicts: 1354000 | #Constraints: 30238
3038.80/3048.20 c #Conflicts: 1355000 | #Constraints: 31238
3038.80/3048.20 c #Conflicts: 1356000 | #Constraints: 32238
3038.80/3048.20 c #Conflicts: 1357000 | #Constraints: 33238
3038.80/3048.20 c #Conflicts: 1358000 | #Constraints: 34238
3038.80/3048.20 c #Conflicts: 1359000 | #Constraints: 35238
3038.80/3048.20 c #Conflicts: 1360000 | #Constraints: 36238
3038.80/3048.20 c #Conflicts: 1361000 | #Constraints: 37238
3038.80/3048.20 c #Conflicts: 1362000 | #Constraints: 38238
3038.80/3048.20 c #Conflicts: 1363000 | #Constraints: 39238
3038.80/3048.20 c #Conflicts: 1364000 | #Constraints: 40238
3038.80/3048.20 c #Conflicts: 1365000 | #Constraints: 41238
3038.80/3048.20 c #Conflicts: 1366000 | #Constraints: 42238
3038.80/3048.20 c #Conflicts: 1367000 | #Constraints: 43238
3038.80/3048.20 c #Conflicts: 1368000 | #Constraints: 44238
3038.80/3048.20 c #Conflicts: 1369000 | #Constraints: 45238
3038.80/3048.20 c #Conflicts: 1370000 | #Constraints: 46238
3038.80/3048.20 c #Conflicts: 1371000 | #Constraints: 47238
3038.80/3048.20 c INPROCESSING
3038.80/3048.20 c GARBAGE COLLECT
3038.80/3048.20 c #Conflicts: 1372000 | #Constraints: 25037
3038.80/3048.20 c #Conflicts: 1373000 | #Constraints: 26037
3038.80/3048.20 c #Conflicts: 1374000 | #Constraints: 27037
3038.80/3048.20 c #Conflicts: 1375000 | #Constraints: 28037
3038.80/3048.20 c #Conflicts: 1376000 | #Constraints: 29037
3038.80/3048.20 c #Conflicts: 1377000 | #Constraints: 30037
3038.80/3048.20 c #Conflicts: 1378000 | #Constraints: 31037
3038.80/3048.20 c #Conflicts: 1379000 | #Constraints: 32037
3038.80/3048.20 c #Conflicts: 1380000 | #Constraints: 33037
3038.80/3048.20 c #Conflicts: 1381000 | #Constraints: 34037
3038.80/3048.20 c #Conflicts: 1382000 | #Constraints: 35037
3038.80/3048.20 c #Conflicts: 1383000 | #Constraints: 36037
3038.80/3048.20 c #Conflicts: 1384000 | #Constraints: 37037
3038.80/3048.20 c #Conflicts: 1385000 | #Constraints: 38037
3038.80/3048.20 c #Conflicts: 1386000 | #Constraints: 39037
3038.80/3048.20 c #Conflicts: 1387000 | #Constraints: 40037
3038.80/3048.20 c #Conflicts: 1388000 | #Constraints: 41037
3038.80/3048.20 c #Conflicts: 1389000 | #Constraints: 42037
3038.80/3048.20 c #Conflicts: 1390000 | #Constraints: 43037
3038.80/3048.20 c #Conflicts: 1391000 | #Constraints: 44037
3038.80/3048.20 c #Conflicts: 1392000 | #Constraints: 45037
3038.80/3048.20 c #Conflicts: 1393000 | #Constraints: 46037
3038.80/3048.20 c #Conflicts: 1394000 | #Constraints: 47037
3038.80/3048.20 c #Conflicts: 1395000 | #Constraints: 48037
3038.80/3048.20 c INPROCESSING
3038.80/3048.20 c GARBAGE COLLECT
3038.80/3048.20 c #Conflicts: 1396000 | #Constraints: 25628
3038.80/3048.20 c #Conflicts: 1397000 | #Constraints: 26628
3038.80/3048.20 c #Conflicts: 1398000 | #Constraints: 27628
3038.80/3048.20 c #Conflicts: 1399000 | #Constraints: 28628
3038.80/3048.20 c #Conflicts: 1400000 | #Constraints: 29628
3038.80/3048.20 c #Conflicts: 1401000 | #Constraints: 30628
3038.80/3048.20 c #Conflicts: 1402000 | #Constraints: 31628
3038.80/3048.20 c #Conflicts: 1403000 | #Constraints: 32628
3038.80/3048.20 c #Conflicts: 1404000 | #Constraints: 33628
3038.80/3048.20 c #Conflicts: 1405000 | #Constraints: 34628
3038.80/3048.20 c #Conflicts: 1406000 | #Constraints: 35628
3038.80/3048.20 c #Conflicts: 1407000 | #Constraints: 36628
3038.80/3048.20 c #Conflicts: 1408000 | #Constraints: 37628
3038.80/3048.20 c #Conflicts: 1409000 | #Constraints: 38628
3038.80/3048.20 c #Conflicts: 1410000 | #Constraints: 39628
3038.80/3048.20 c #Conflicts: 1411000 | #Constraints: 40628
3038.80/3048.20 c #Conflicts: 1412000 | #Constraints: 41628
3038.80/3048.20 c #Conflicts: 1413000 | #Constraints: 42628
3038.80/3048.20 c #Conflicts: 1414000 | #Constraints: 43628
3038.80/3048.20 c #Conflicts: 1415000 | #Constraints: 44628
3038.80/3048.20 c #Conflicts: 1416000 | #Constraints: 45628
3038.80/3048.20 c #Conflicts: 1417000 | #Constraints: 46628
3038.80/3048.20 c #Conflicts: 1418000 | #Constraints: 47628
3038.80/3048.20 c #Conflicts: 1419000 | #Constraints: 48628
3038.80/3048.20 c INPROCESSING
3038.80/3048.20 c GARBAGE COLLECT
3038.80/3048.20 c #Conflicts: 1420000 | #Constraints: 26010
3038.80/3048.20 c #Conflicts: 1421000 | #Constraints: 27010
3038.80/3048.20 c #Conflicts: 1422000 | #Constraints: 28010
3038.80/3048.20 c #Conflicts: 1423000 | #Constraints: 29010
3038.80/3048.20 c #Conflicts: 1424000 | #Constraints: 30010
3038.80/3048.20 c #Conflicts: 1425000 | #Constraints: 31010
3038.80/3048.20 c #Conflicts: 1426000 | #Constraints: 32010
3038.80/3048.20 c #Conflicts: 1427000 | #Constraints: 33010
3249.81/3260.00 c #Conflicts: 1428000 | #Constraints: 34010
3249.81/3260.00 c #Conflicts: 1429000 | #Constraints: 35010
3249.81/3260.00 c #Conflicts: 1430000 | #Constraints: 36010
3249.81/3260.00 c #Conflicts: 1431000 | #Constraints: 37010
3249.81/3260.00 c #Conflicts: 1432000 | #Constraints: 38010
3249.81/3260.00 c #Conflicts: 1433000 | #Constraints: 39010
3249.81/3260.00 c #Conflicts: 1434000 | #Constraints: 40010
3249.81/3260.00 c #Conflicts: 1435000 | #Constraints: 41010
3249.81/3260.00 c #Conflicts: 1436000 | #Constraints: 42010
3249.81/3260.00 c #Conflicts: 1437000 | #Constraints: 43010
3249.81/3260.00 c #Conflicts: 1438000 | #Constraints: 44010
3249.81/3260.00 c #Conflicts: 1439000 | #Constraints: 45010
3249.81/3260.00 c #Conflicts: 1440000 | #Constraints: 46010
3249.81/3260.00 c #Conflicts: 1441000 | #Constraints: 47010
3249.81/3260.00 c #Conflicts: 1442000 | #Constraints: 48010
3249.81/3260.00 c #Conflicts: 1443000 | #Constraints: 49010
3249.81/3260.00 c INPROCESSING
3249.81/3260.00 c GARBAGE COLLECT
3249.81/3260.00 c #Conflicts: 1444000 | #Constraints: 26204
3249.81/3260.00 c #Conflicts: 1445000 | #Constraints: 27204
3249.81/3260.00 c #Conflicts: 1446000 | #Constraints: 28204
3249.81/3260.00 c #Conflicts: 1447000 | #Constraints: 29204
3249.81/3260.00 c #Conflicts: 1448000 | #Constraints: 30204
3249.81/3260.00 c #Conflicts: 1449000 | #Constraints: 31204
3249.81/3260.00 c #Conflicts: 1450000 | #Constraints: 32204
3249.81/3260.00 c #Conflicts: 1451000 | #Constraints: 33204
3249.81/3260.00 c #Conflicts: 1452000 | #Constraints: 34204
3249.81/3260.00 c #Conflicts: 1453000 | #Constraints: 35204
3249.81/3260.00 c #Conflicts: 1454000 | #Constraints: 36204
3249.81/3260.00 c #Conflicts: 1455000 | #Constraints: 37204
3249.81/3260.00 c #Conflicts: 1456000 | #Constraints: 38204
3249.81/3260.00 c #Conflicts: 1457000 | #Constraints: 39204
3249.81/3260.00 c #Conflicts: 1458000 | #Constraints: 40204
3249.81/3260.00 c #Conflicts: 1459000 | #Constraints: 41204
3249.81/3260.00 c #Conflicts: 1460000 | #Constraints: 42204
3249.81/3260.00 c #Conflicts: 1461000 | #Constraints: 43204
3249.81/3260.00 c #Conflicts: 1462000 | #Constraints: 44204
3249.81/3260.00 c #Conflicts: 1463000 | #Constraints: 45204
3249.81/3260.00 c #Conflicts: 1464000 | #Constraints: 46204
3249.81/3260.00 c #Conflicts: 1465000 | #Constraints: 47204
3249.81/3260.00 c #Conflicts: 1466000 | #Constraints: 48204
3249.81/3260.00 c #Conflicts: 1467000 | #Constraints: 49204
3249.81/3260.00 c INPROCESSING
3249.81/3260.00 c GARBAGE COLLECT
3249.81/3260.00 c #Conflicts: 1468000 | #Constraints: 26208
3249.81/3260.00 c #Conflicts: 1469000 | #Constraints: 27208
3249.81/3260.00 c #Conflicts: 1470000 | #Constraints: 28208
3249.81/3260.00 c #Conflicts: 1471000 | #Constraints: 29208
3249.81/3260.00 c #Conflicts: 1472000 | #Constraints: 30208
3249.81/3260.00 c #Conflicts: 1473000 | #Constraints: 31208
3249.81/3260.00 c #Conflicts: 1474000 | #Constraints: 32208
3249.81/3260.00 c #Conflicts: 1475000 | #Constraints: 33208
3249.81/3260.00 c #Conflicts: 1476000 | #Constraints: 34208
3249.81/3260.00 c #Conflicts: 1477000 | #Constraints: 35208
3249.81/3260.00 c #Conflicts: 1478000 | #Constraints: 36208
3249.81/3260.00 c #Conflicts: 1479000 | #Constraints: 37208
3249.81/3260.00 c #Conflicts: 1480000 | #Constraints: 38208
3249.81/3260.00 c #Conflicts: 1481000 | #Constraints: 39208
3249.81/3260.00 c #Conflicts: 1482000 | #Constraints: 40208
3249.81/3260.00 c #Conflicts: 1483000 | #Constraints: 41208
3249.81/3260.00 c #Conflicts: 1484000 | #Constraints: 42208
3249.81/3260.00 c #Conflicts: 1485000 | #Constraints: 43208
3249.81/3260.00 c #Conflicts: 1486000 | #Constraints: 44208
3249.81/3260.00 c #Conflicts: 1487000 | #Constraints: 45208
3249.81/3260.00 c #Conflicts: 1488000 | #Constraints: 46208
3249.81/3260.00 c #Conflicts: 1489000 | #Constraints: 47208
3249.81/3260.00 c #Conflicts: 1490000 | #Constraints: 48208
3249.81/3260.00 c #Conflicts: 1491000 | #Constraints: 49208
3249.81/3260.00 c INPROCESSING
3249.81/3260.00 c GARBAGE COLLECT
3249.81/3260.00 c #Conflicts: 1492000 | #Constraints: 26030
3249.81/3260.00 c #Conflicts: 1493000 | #Constraints: 27030
3249.81/3260.00 c #Conflicts: 1494000 | #Constraints: 28030
3249.81/3260.00 c #Conflicts: 1495000 | #Constraints: 29030
3249.81/3260.00 c #Conflicts: 1496000 | #Constraints: 30030
3249.81/3260.00 c #Conflicts: 1497000 | #Constraints: 31030
3249.81/3260.00 c #Conflicts: 1498000 | #Constraints: 32030
3249.81/3260.00 c #Conflicts: 1499000 | #Constraints: 33030
3249.81/3260.00 c #Conflicts: 1500000 | #Constraints: 34030
3249.81/3260.00 c #Conflicts: 1501000 | #Constraints: 35030
3249.81/3260.00 c #Conflicts: 1502000 | #Constraints: 36030
3249.81/3260.00 c #Conflicts: 1503000 | #Constraints: 37030
3249.81/3260.00 c #Conflicts: 1504000 | #Constraints: 38030
3467.60/3478.49 c #Conflicts: 1505000 | #Constraints: 39030
3467.60/3478.49 c #Conflicts: 1506000 | #Constraints: 40030
3467.60/3478.49 c #Conflicts: 1507000 | #Constraints: 41030
3467.60/3478.49 c #Conflicts: 1508000 | #Constraints: 42030
3467.60/3478.49 c #Conflicts: 1509000 | #Constraints: 43030
3467.60/3478.49 c #Conflicts: 1510000 | #Constraints: 44030
3467.60/3478.49 c #Conflicts: 1511000 | #Constraints: 45030
3467.60/3478.49 c #Conflicts: 1512000 | #Constraints: 46030
3467.60/3478.49 c #Conflicts: 1513000 | #Constraints: 47030
3467.60/3478.49 c #Conflicts: 1514000 | #Constraints: 48030
3467.60/3478.49 c #Conflicts: 1515000 | #Constraints: 49030
3467.60/3478.49 c #Conflicts: 1516000 | #Constraints: 50030
3467.60/3478.49 c INPROCESSING
3467.60/3478.49 c GARBAGE COLLECT
3467.60/3478.49 c #Conflicts: 1517000 | #Constraints: 26580
3467.60/3478.49 c #Conflicts: 1518000 | #Constraints: 27580
3467.60/3478.49 c #Conflicts: 1519000 | #Constraints: 28580
3467.60/3478.49 c #Conflicts: 1520000 | #Constraints: 29580
3467.60/3478.49 c #Conflicts: 1521000 | #Constraints: 30580
3467.60/3478.49 c #Conflicts: 1522000 | #Constraints: 31580
3467.60/3478.49 c #Conflicts: 1523000 | #Constraints: 32580
3467.60/3478.50 c #Conflicts: 1524000 | #Constraints: 33580
3467.60/3478.50 c #Conflicts: 1525000 | #Constraints: 34580
3467.60/3478.50 c #Conflicts: 1526000 | #Constraints: 35580
3467.60/3478.50 c #Conflicts: 1527000 | #Constraints: 36580
3467.60/3478.50 c #Conflicts: 1528000 | #Constraints: 37580
3467.60/3478.50 c #Conflicts: 1529000 | #Constraints: 38580
3467.60/3478.50 c #Conflicts: 1530000 | #Constraints: 39580
3467.60/3478.50 c #Conflicts: 1531000 | #Constraints: 40580
3467.60/3478.50 c #Conflicts: 1532000 | #Constraints: 41580
3467.60/3478.50 c #Conflicts: 1533000 | #Constraints: 42580
3467.60/3478.50 c #Conflicts: 1534000 | #Constraints: 43580
3467.60/3478.50 c #Conflicts: 1535000 | #Constraints: 44580
3467.60/3478.50 c #Conflicts: 1536000 | #Constraints: 45580
3467.60/3478.50 c #Conflicts: 1537000 | #Constraints: 46580
3467.60/3478.50 c #Conflicts: 1538000 | #Constraints: 47580
3467.60/3478.50 c #Conflicts: 1539000 | #Constraints: 48580
3467.60/3478.50 c #Conflicts: 1540000 | #Constraints: 49580
3467.60/3478.50 c #Conflicts: 1541000 | #Constraints: 50580
3467.60/3478.50 c INPROCESSING
3467.60/3478.50 c GARBAGE COLLECT
3467.60/3478.50 c #Conflicts: 1542000 | #Constraints: 27002
3467.60/3478.50 c #Conflicts: 1543000 | #Constraints: 28002
3467.60/3478.50 c #Conflicts: 1544000 | #Constraints: 29002
3467.60/3478.50 c #Conflicts: 1545000 | #Constraints: 30002
3467.60/3478.50 c #Conflicts: 1546000 | #Constraints: 31002
3467.60/3478.50 c #Conflicts: 1547000 | #Constraints: 32002
3467.60/3478.50 c #Conflicts: 1548000 | #Constraints: 33002
3467.60/3478.50 c #Conflicts: 1549000 | #Constraints: 34002
3467.60/3478.50 c #Conflicts: 1550000 | #Constraints: 35002
3467.60/3478.50 c #Conflicts: 1551000 | #Constraints: 36002
3467.60/3478.50 c #Conflicts: 1552000 | #Constraints: 37002
3467.60/3478.50 c #Conflicts: 1553000 | #Constraints: 38002
3467.60/3478.50 c #Conflicts: 1554000 | #Constraints: 39002
3467.60/3478.50 c #Conflicts: 1555000 | #Constraints: 40002
3467.60/3478.50 c #Conflicts: 1556000 | #Constraints: 41002
3467.60/3478.50 c #Conflicts: 1557000 | #Constraints: 42002
3467.60/3478.50 c #Conflicts: 1558000 | #Constraints: 43002
3467.60/3478.50 c #Conflicts: 1559000 | #Constraints: 44002
3467.60/3478.50 c #Conflicts: 1560000 | #Constraints: 45002
3467.60/3478.50 c #Conflicts: 1561000 | #Constraints: 46002
3467.60/3478.50 c #Conflicts: 1562000 | #Constraints: 47002
3467.60/3478.50 c #Conflicts: 1563000 | #Constraints: 48002
3467.60/3478.50 c #Conflicts: 1564000 | #Constraints: 49002
3467.60/3478.50 c #Conflicts: 1565000 | #Constraints: 50002
3467.60/3478.50 c #Conflicts: 1566000 | #Constraints: 51002
3467.60/3478.50 c INPROCESSING
3467.60/3478.50 c GARBAGE COLLECT
3467.60/3478.50 c #Conflicts: 1567000 | #Constraints: 27181
3467.60/3478.50 c #Conflicts: 1568000 | #Constraints: 28181
3467.60/3478.50 c #Conflicts: 1569000 | #Constraints: 29181
3467.60/3478.50 c #Conflicts: 1570000 | #Constraints: 30181
3467.60/3478.50 c #Conflicts: 1571000 | #Constraints: 31181
3467.60/3478.50 c #Conflicts: 1572000 | #Constraints: 32181
3467.60/3478.50 c #Conflicts: 1573000 | #Constraints: 33181
3467.60/3478.50 c #Conflicts: 1574000 | #Constraints: 34181
3467.60/3478.50 c #Conflicts: 1575000 | #Constraints: 35181
3467.60/3478.50 c #Conflicts: 1576000 | #Constraints: 36181
3467.60/3478.50 c #Conflicts: 1577000 | #Constraints: 37181
3467.60/3478.50 c #Conflicts: 1578000 | #Constraints: 38181
3467.60/3478.50 c #Conflicts: 1579000 | #Constraints: 39181
3467.60/3478.50 c #Conflicts: 1580000 | #Constraints: 40181
3467.60/3478.50 c #Conflicts: 1581000 | #Constraints: 41181
3600.08/3611.30 c #Conflicts: 1582000 | #Constraints: 42181
3600.08/3611.30 c #Conflicts: 1583000 | #Constraints: 43181
3600.08/3611.30 c #Conflicts: 1584000 | #Constraints: 44181
3600.08/3611.30 c #Conflicts: 1585000 | #Constraints: 45181
3600.08/3611.30 c #Conflicts: 1586000 | #Constraints: 46181
3600.08/3611.30 c #Conflicts: 1587000 | #Constraints: 47181
3600.08/3611.30 c #Conflicts: 1588000 | #Constraints: 48181
3600.08/3611.30 c #Conflicts: 1589000 | #Constraints: 49181
3600.08/3611.30 c #Conflicts: 1590000 | #Constraints: 50181
3600.08/3611.30 c #Conflicts: 1591000 | #Constraints: 51181
3600.08/3611.30 c INPROCESSING
3600.08/3611.30 c GARBAGE COLLECT
3600.08/3611.30 c #Conflicts: 1592000 | #Constraints: 27223
3600.08/3611.30 c #Conflicts: 1593000 | #Constraints: 28223
3600.08/3611.30 c #Conflicts: 1594000 | #Constraints: 29223
3600.08/3611.30 c #Conflicts: 1595000 | #Constraints: 30223
3600.08/3611.30 c #Conflicts: 1596000 | #Constraints: 31223
3600.08/3611.30 c #Conflicts: 1597000 | #Constraints: 32223
3600.08/3611.30 c #Conflicts: 1598000 | #Constraints: 33223
3600.08/3611.30 c #Conflicts: 1599000 | #Constraints: 34223
3600.08/3611.30 c #Conflicts: 1600000 | #Constraints: 35223
3600.08/3611.30 c #Conflicts: 1601000 | #Constraints: 36223
3600.08/3611.30 c #Conflicts: 1602000 | #Constraints: 37223
3600.08/3611.30 c #Conflicts: 1603000 | #Constraints: 38223
3600.08/3611.30 c #Conflicts: 1604000 | #Constraints: 39223
3600.08/3611.30 c #Conflicts: 1605000 | #Constraints: 40223
3600.08/3611.30 c #Conflicts: 1606000 | #Constraints: 41223
3600.08/3611.30 c #Conflicts: 1607000 | #Constraints: 42223
3600.08/3611.30 c #Conflicts: 1608000 | #Constraints: 43223
3600.08/3611.30 c #Conflicts: 1609000 | #Constraints: 44223
3600.08/3611.30 c #Conflicts: 1610000 | #Constraints: 45223
3600.08/3611.30 c #Conflicts: 1611000 | #Constraints: 46223
3600.08/3611.30 c #Conflicts: 1612000 | #Constraints: 47223
3600.08/3611.30 c #Conflicts: 1613000 | #Constraints: 48223
3600.08/3611.30 c #Conflicts: 1614000 | #Constraints: 49223
3600.08/3611.30 c #Conflicts: 1615000 | #Constraints: 50223
3600.08/3611.30 c #Conflicts: 1616000 | #Constraints: 51223
3600.08/3611.30 c cpu time 3568.18 s
3600.08/3611.30 c deterministic time 1 1.00e+00
3600.08/3611.30 c optimization time 3568.15 s
3600.08/3611.30 c total solve time 0 s
3600.08/3611.30 c core-guided solve time 0 s
3600.08/3611.30 c propagation time 0.001184 s
3600.08/3611.30 c conflict analysis time 0 s
3600.08/3611.30 c propagations 0
3600.08/3611.30 c resolve steps 0
3600.08/3611.30 c decisions 0
3600.08/3611.30 c conflicts 0
3600.08/3611.30 c restarts 0
3600.08/3611.30 c inprocessing phases 0
3600.08/3611.30 c garbage collections 0 ,( -nan )
3600.08/3611.30 c input clauses 0 ,( 0.00 )
3600.08/3611.30 c input cardinalities 34 ,( 2.99 )
3600.08/3611.30 c input general constraints 1105 ,( 97.01 )
3600.08/3611.30 c input average constraint length 11.76
3600.08/3611.30 c input average constraint degree 7.82
3600.08/3611.30 c learned clauses 0 ,( 0.00 )
3600.08/3611.30 c learned cardinalities 0 ,( 0.00 )
3600.08/3611.30 c learned general constraints 0 ,( 0.00 )
3600.08/3611.30 c learned average constraint length 0.00
3600.08/3611.30 c learned average constraint degree 0.00
3600.08/3611.30 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3611.30 c counting CF 32, 64, 128, Arb: 1106 , 0 , 0 , 0
3600.08/3611.30 c watched constraints 0 ,( 0.00 )
3600.08/3611.30 c counting constraints 1105 ,( 100.00 )
3600.08/3611.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3611.30 c gcd simplifications 34
3600.08/3611.30 c detected cardinalities 0
3600.08/3611.30 c weakened non-implied lits 0
3600.08/3611.30 c weakened non-implying lits 0
3600.08/3611.30 c original variables 4556
3600.08/3611.30 c clausal propagations 0
3600.08/3611.30 c cardinality propagations 0
3600.08/3611.30 c watched propagations 0
3600.08/3611.30 c counting propagations 0
3600.08/3611.30 c watch lookups 0
3600.08/3611.30 c watch backjump lookups 0
3600.08/3611.30 c watch checks 0
3600.08/3611.30 c propagation checks 0
3600.08/3611.30 c constraint additions 0
3600.08/3611.30 c trail pops 0
3600.08/3611.30 c formula constraints 1139
3600.08/3611.30 c learned constraints 0
3600.08/3611.30 c bound constraints 0
3600.08/3611.30 c core-guided constraints 0
3600.08/3611.30 c encountered formula constraints 0
3600.08/3611.30 c encountered learned constraints 0
3600.08/3611.30 c encountered bound constraints 0
3600.08/3611.30 c encountered core-guided constraints 0
3600.08/3611.30 c LP total time 0 s
3600.08/3611.30 c LP solve time 0 s
3600.08/3611.30 c LP constraints added 0
3600.08/3611.30 c LP constraints removed 0
3600.08/3611.30 c LP pivots internal 0
3600.08/3611.30 c LP pivots root 0
3600.08/3611.30 c LP calls 0
3600.08/3611.30 c LP optimalities 0
3600.08/3611.30 c LP no pivot count 0
3600.08/3611.30 c LP infeasibilities 0
3600.08/3611.30 c LP valid Farkas constraints 0
3600.08/3611.30 c LP learned Farkas constraints 0
3600.08/3611.30 c LP basis resets 0
3600.08/3611.30 c LP cycling count 0
3600.08/3611.30 c LP singular count 0
3600.08/3611.30 c LP no primal count 0
3600.08/3611.30 c LP no farkas count 0
3600.08/3611.30 c LP other issue count 0
3600.08/3611.30 c LP Gomory cuts 0
3600.08/3611.30 c LP learned cuts 0
3600.08/3611.30 c LP deleted cuts 0
3600.08/3611.30 c LP encountered Gomory constraints 0
3600.08/3611.30 c LP encountered Farkas constraints 0
3600.08/3611.30 c LP encountered learned Farkas constraints 0
3600.08/3611.30 c CG auxiliary variables introduced 0
3600.08/3611.30 c CG solutions found 0
3600.08/3611.30 c CG cores constructed 0
3600.08/3611.30 c CG core cardinality constraints returned 0
3600.08/3611.30 c CG unit cores 0
3600.08/3611.30 c CG single cores 0
3600.08/3611.30 c CG blocks removed during cardinality reduction 0
3600.08/3611.30 c CG first core best 0
3600.08/3611.30 c CG decision core best 0
3600.08/3611.30 c CG core reduction tie 0
3600.08/3611.30 c CG core degree average 0.00
3600.08/3611.30 c CG core slack average 0.00
3600.08/3611.30 c CG core upper bound improvements 0
3600.08/3611.30 c STR number of successful calls 0
3600.08/3611.30 c STR number of unsuccessful calls 0
3600.08/3611.30 c STR number of inconclusive calls 0
3600.08/3611.30 c STR number of successful attempts 0
3600.08/3611.30 c STR number of unsuccessful attempts 0
3600.08/3611.30 c STR number of inconclusive attempts 0
3600.08/3611.30 c STR average degree increase per successful call inf
3600.08/3611.30 c STR average degree increase per successful attempt inf
3600.08/3611.30 c STR total number of conflicts for successful attempts 0
3600.08/3611.30 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.30 c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.30 c STR average number of conflicts per successful attempt inf
3600.08/3611.30 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.30 c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.30 c AVG.sumWPerc 75.00
3600.08/3611.30 c bigint constraints 0
3600.08/3611.30 s UNKNOWN
3600.08/3611.30 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: 63837 MiB (59904 MiB free)
memory of node 1: 64465 MiB (63375 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520021-1751564254/watcher-4520021-1751564254 -o /tmp/evaluation-result-4520021-1751564254/solver-4520021-1751564254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751560632-76498 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520021-1751564254.opb PROOFDIR/proof-4520021-1751564254
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=76937, runsolver pid=76934
[startup+0.100065 s]*
/proc/loadavg: 4.10 4.15 4.18 5/259 76939
/proc/meminfo: memFree=126229028/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=65824 memory=16052 CPUtime=0.08 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 2196 0 0 0 5 3 0 0 20 0 1 0 72104170 67403776 4013 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 16456 4013 2336 1147 0 3883 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 70016 KiB
Current children cumulated memory: 18996 KiB
[startup+0.213747 s]*
/proc/loadavg: 4.10 4.15 4.18 5/259 76939
/proc/meminfo: memFree=126216728/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=70180 memory=23740 CPUtime=0.19 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 3607 0 0 0 16 3 0 0 20 0 1 0 72104170 71864320 5935 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 17545 5935 2336 1147 0 4972 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 74372 KiB
Current children cumulated memory: 26684 KiB
[startup+0.313644 s]*
/proc/loadavg: 4.10 4.15 4.18 5/259 76939
/proc/meminfo: memFree=126216728/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=74932 memory=28476 CPUtime=0.29 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 4793 0 0 0 25 4 0 0 20 0 1 0 72104170 76730368 7119 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 18733 7119 2336 1147 0 6160 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79124 KiB
Current children cumulated memory: 31420 KiB
[startup+0.700422 s]
/proc/loadavg: 4.10 4.15 4.18 5/259 76939
/proc/meminfo: memFree=126216728/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=75064 memory=29116 CPUtime=0.67 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 4938 0 0 0 62 5 0 0 20 0 1 0 72104170 76865536 7279 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 18766 7279 2368 1147 0 6193 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 79256 KiB
Current children cumulated memory: 32060 KiB
[startup+1.5004 s]
/proc/loadavg: 4.10 4.15 4.18 5/259 76939
/proc/meminfo: memFree=126204568/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=91764 memory=44476 CPUtime=1.46 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 7754 0 0 0 140 6 0 0 20 0 1 0 72104170 93966336 11119 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 22941 11119 2368 1147 0 10368 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 95956 KiB
Current children cumulated memory: 47420 KiB
[startup+3.11326 s]
/proc/loadavg: 4.09 4.14 4.18 5/259 76939
/proc/meminfo: memFree=126128364/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=129704 memory=79584 CPUtime=3.07 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 13453 0 0 0 297 10 0 0 20 0 1 0 72104170 132816896 19896 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 32426 19896 2368 1147 0 19853 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 133896 KiB
Current children cumulated memory: 82528 KiB
[startup+6.30035 s]
/proc/loadavg: 4.09 4.14 4.18 6/258 76953
/proc/meminfo: memFree=127437688/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=285864 memory=195180 CPUtime=6.25 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 36252 0 0 0 605 20 0 0 20 0 1 0 72104170 292724736 48795 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 71466 48795 2368 1147 0 58893 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 290056 KiB
Current children cumulated memory: 198124 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.16 4.18 5/256 76959
/proc/meminfo: memFree=127307480/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=286376 memory=239312 CPUtime=12.63 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 41150 0 0 0 1235 28 0 0 20 0 1 0 72104170 293249024 59828 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 71594 59828 2368 1147 0 59021 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 290568 KiB
Current children cumulated memory: 242256 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.15 4.18 5/259 76985
/proc/meminfo: memFree=128560832/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=480996 memory=386600 CPUtime=25.4 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 68759 0 0 0 2488 52 0 0 20 0 1 0 72104170 492539904 96650 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 120249 96650 2368 1147 0 107676 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 485188 KiB
Current children cumulated memory: 389544 KiB
[startup+51.1134 s]
/proc/loadavg: 4.08 4.14 4.18 5/260 76987
/proc/meminfo: memFree=127231236/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=566928 memory=454412 CPUtime=50.95 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 78055 0 0 0 5011 84 0 0 20 0 1 0 72104170 580534272 113603 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 141732 113603 2368 1147 0 129159 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 571120 KiB
Current children cumulated memory: 457356 KiB
[startup+102.301 s]
/proc/loadavg: 4.21 4.16 4.18 5/260 76989
/proc/meminfo: memFree=125432836/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=830676 memory=673464 CPUtime=101.97 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 122616 0 0 0 10038 159 0 0 20 0 1 0 72104170 850612224 168366 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 207669 168366 2368 1147 0 195096 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 834868 KiB
Current children cumulated memory: 676408 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.15 4.18 5/261 76992
/proc/meminfo: memFree=124540036/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=968312 memory=763516 CPUtime=161.78 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 135482 0 0 0 15943 235 0 0 20 0 1 0 72104170 991551488 190879 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 242078 190879 2368 1147 0 229505 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 972504 KiB
Current children cumulated memory: 766460 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.18 5/261 76994
/proc/meminfo: memFree=123403688/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=1424532 memory=1085364 CPUtime=221.58 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 204212 0 0 0 21846 312 0 0 20 0 1 0 72104170 1458720768 271341 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 356133 271341 2368 1147 0 343560 0
################
# More data... #
################
/proc/76939/statm: 757000 680962 2368 1147 0 744427 0
Current children cumulated CPU time: 3092.73 s
Current children cumulated vsize: 3032192 KiB
Current children cumulated memory: 2726792 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.15 4.18 5/258 77158
/proc/meminfo: memFree=94068644/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=3028000 memory=2740488 CPUtime=3152.53 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 452720 0 0 0 312335 2918 0 0 20 0 1 0 72104170 3100672000 685122 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 757000 685122 2368 1147 0 744427 0
Current children cumulated CPU time: 3152.53 s
Current children cumulated vsize: 3032192 KiB
Current children cumulated memory: 2743432 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.15 4.18 6/258 77161
/proc/meminfo: memFree=93504428/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=3030056 memory=2786344 CPUtime=3212.33 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 460711 0 0 0 318276 2957 0 0 20 0 1 0 72104170 3102777344 696586 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 757514 696586 2368 1147 0 744941 0
Current children cumulated CPU time: 3212.33 s
Current children cumulated vsize: 3034248 KiB
Current children cumulated memory: 2789288 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.15 4.18 5/261 77167
/proc/meminfo: memFree=92973364/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=3030056 memory=2786472 CPUtime=3272.14 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 460769 0 0 0 324222 2992 0 0 20 0 1 0 72104170 3102777344 696618 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 757514 696618 2368 1147 0 744941 0
Current children cumulated CPU time: 3272.14 s
Current children cumulated vsize: 3034248 KiB
Current children cumulated memory: 2789416 KiB
[startup+3342.3 s]
/proc/loadavg: 4.27 4.17 4.18 5/262 77174
/proc/meminfo: memFree=92577608/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=3030056 memory=2791000 CPUtime=3331.94 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 460983 0 0 0 330165 3029 0 0 20 0 1 0 72104170 3102777344 697750 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 757514 697750 2368 1147 0 744941 0
Current children cumulated CPU time: 3331.94 s
Current children cumulated vsize: 3034248 KiB
Current children cumulated memory: 2793944 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/262 77176
/proc/meminfo: memFree=92143144/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=3052088 memory=2893500 CPUtime=3391.74 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 471836 0 0 0 336097 3077 0 0 20 0 1 0 72104170 3125338112 723375 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 763022 723375 2368 1147 0 750449 0
Current children cumulated CPU time: 3391.74 s
Current children cumulated vsize: 3056280 KiB
Current children cumulated memory: 2896444 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/262 77178
/proc/meminfo: memFree=91919816/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=3052088 memory=2893500 CPUtime=3451.55 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 471844 0 0 0 342044 3111 0 0 20 0 1 0 72104170 3125338112 723375 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 763022 723375 2368 1147 0 750449 0
Current children cumulated CPU time: 3451.55 s
Current children cumulated vsize: 3056280 KiB
Current children cumulated memory: 2896444 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.17 5/262 77180
/proc/meminfo: memFree=91647628/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=3064392 memory=2901564 CPUtime=3511.36 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 474014 0 0 0 347993 3143 0 0 20 0 1 0 72104170 3137937408 725391 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 766098 725391 2368 1147 0 753525 0
Current children cumulated CPU time: 3511.36 s
Current children cumulated vsize: 3068584 KiB
Current children cumulated memory: 2904508 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/263 77183
/proc/meminfo: memFree=91479340/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=3064392 memory=2902076 CPUtime=3571.16 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 474272 0 0 0 353940 3176 0 0 20 0 1 0 72104170 3137937408 725519 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 766098 725519 2368 1147 0 753525 0
Current children cumulated CPU time: 3571.16 s
Current children cumulated vsize: 3068584 KiB
Current children cumulated memory: 2905020 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.11 4.13 4.16 4/254 77221
/proc/meminfo: memFree=92363036/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=3653508 memory=2958204 CPUtime=3600.08 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 483737 0 0 0 356818 3190 0 0 20 0 1 0 72104170 3741192192 739551 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 913377 739551 2368 1147 0 900804 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3657700 KiB
Current children cumulated memory: 2961148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.31 s]
# the end of solver process 76937 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001261 s, system=0.003788 s
[startup+3611.39 s]
# the end of solver process 76939 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3568.19 s, system=31.9647 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.3 s]
/proc/loadavg: 4.11 4.13 4.16 4/254 77221
/proc/meminfo: memFree=92363036/131382120 swapFree=33010416/33010684
[pid=76937] ppid=76934 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/76937/stat : 76937 (run-opt-log.sh) S 76934 76937 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72104169 4292608 736 18446744073709551615 94516795174912 94516796069445 140730117833280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94516796308496 94516796356240 94516817047552 140730117839137 140730117839332 140730117839332 140730117844934 0
/proc/76937/statm: 1048 736 672 219 0 110 0
[pid=76939] ppid=76937 vsize=3653508 memory=2958204 CPUtime=3600.08 cores=4,6
/proc/76939/stat : 76939 (roundingsat) R 76937 76937 76484 0 -1 4194304 483737 0 0 0 356818 3190 0 0 20 0 1 0 72104170 3741192192 739551 18446744073709551615 4227072 8923433 140727325045712 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29003776 140727325051218 140727325051432 140727325051432 140727325057002 0
/proc/76939/statm: 913377 739551 2368 1147 0 900804 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3657700 KiB
Current children cumulated memory: 2961148 KiB
Child status: 2
Real time (s): 3611.39
CPU time (s): 3600.15
CPU user time (s): 3568.19
CPU system time (s): 31.9647
CPU usage (%): 99.6888
Max. virtual memory (cumulated for all children) (KiB): 3657700
Max. memory (cumulated for all children) (KiB): 2961148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.19
system time used= 31.9647
maximum resident set size= 2958460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 483963
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17261440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 743
involuntary context switches= 4887
# summary of solver processes directly reported to runsolver:
# pid: 76937,76939
# total CPU time (s): 3600.15
# total CPU user time (s): 3568.19
# total CPU system time (s): 31.9647
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3102 second user time and 41.0108 second system time
The end
Begin job on nodeC002 at 2025-07-03 19:37:34
IDJOB=4520021
IDBENCH=177668
IDSOLVER=3351
FILE ID=nodeC002/4520021-1751564254
RUNJOBID= nodeC002-1751560632-76498
SLURM_JOB_ID= 9598760
Free space on /tmp= 432412 MiB
SOLVER NAME= roundingsat-ihs-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520021-1751564254/watcher-4520021-1751564254 -o /tmp/evaluation-result-4520021-1751564254/solver-4520021-1751564254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751560632-76498 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520021-1751564254.opb PROOFDIR/proof-4520021-1751564254
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ad8f1e410d5e8b198fd980509237adb3
RANDOM SEED=209461846
nodeC002 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 : 3655.023
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.81
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 : 3616.495
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.81
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.316
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.81
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.463
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.81
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 : 1197.291
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.81
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 : 3616.515
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.81
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.231
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.81
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.707
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 126238284 kB
MemAvailable: 128450672 kB
Buffers: 2128 kB
Cached: 3015920 kB
SwapCached: 28 kB
Active: 1882300 kB
Inactive: 2712688 kB
Active(anon): 1588608 kB
Inactive(anon): 6404 kB
Active(file): 293692 kB
Inactive(file): 2706284 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44588 kB
Writeback: 0 kB
AnonPages: 1579076 kB
Mapped: 117008 kB
Shmem: 17932 kB
KReclaimable: 104076 kB
Slab: 189928 kB
SReclaimable: 104076 kB
SUnreclaim: 85852 kB
KernelStack: 4160 kB
PageTables: 6312 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2055536 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1394688 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432560 MiB
End job on nodeC002 at 2025-07-03 20:37:45