0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.08/0.11 c [STEP] solving
0.08/0.11 c #variables 15725 #constraints 33136
0.08/0.11 c SMALL=int, LARGE=long long
0.08/0.11 c bounds - >= -25 @ 0.071327
0.08/0.11 c stratification level: 128787625
47.44/47.68 c #Conflicts: 1000 | #Constraints: 34135
47.44/47.68 c #Conflicts: 2000 | #Constraints: 35135
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 3000 | #Constraints: 35140
47.44/47.68 c #Conflicts: 4000 | #Constraints: 36140
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 5000 | #Constraints: 35544
47.44/47.68 c #Conflicts: 6000 | #Constraints: 36544
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 7000 | #Constraints: 35546
47.44/47.68 c #Conflicts: 8000 | #Constraints: 36546
47.44/47.68 c #Conflicts: 9000 | #Constraints: 37546
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 10000 | #Constraints: 36247
47.44/47.68 c #Conflicts: 11000 | #Constraints: 37247
47.44/47.68 c #Conflicts: 12000 | #Constraints: 38247
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 13000 | #Constraints: 36698
47.44/47.68 c #Conflicts: 14000 | #Constraints: 37698
47.44/47.68 c #Conflicts: 15000 | #Constraints: 38698
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 16000 | #Constraints: 36922
47.44/47.68 c #Conflicts: 17000 | #Constraints: 37922
47.44/47.68 c #Conflicts: 18000 | #Constraints: 38922
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 19000 | #Constraints: 36935
47.44/47.68 c #Conflicts: 20000 | #Constraints: 37935
47.44/47.68 c #Conflicts: 21000 | #Constraints: 38935
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 22000 | #Constraints: 36746
47.44/47.68 c #Conflicts: 23000 | #Constraints: 37746
47.44/47.68 c #Conflicts: 24000 | #Constraints: 38746
47.44/47.68 c #Conflicts: 25000 | #Constraints: 39746
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 26000 | #Constraints: 37350
47.44/47.68 c #Conflicts: 27000 | #Constraints: 38350
47.44/47.68 c #Conflicts: 28000 | #Constraints: 39350
47.44/47.68 c #Conflicts: 29000 | #Constraints: 40350
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 30000 | #Constraints: 37751
47.44/47.68 c #Conflicts: 31000 | #Constraints: 38751
47.44/47.68 c #Conflicts: 32000 | #Constraints: 39751
47.44/47.68 c #Conflicts: 33000 | #Constraints: 40751
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 34000 | #Constraints: 37966
47.44/47.68 c #Conflicts: 35000 | #Constraints: 38966
47.44/47.68 c #Conflicts: 36000 | #Constraints: 39966
47.44/47.68 c #Conflicts: 37000 | #Constraints: 40966
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 38000 | #Constraints: 37962
47.44/47.68 c #Conflicts: 39000 | #Constraints: 38962
47.44/47.68 c #Conflicts: 40000 | #Constraints: 39962
47.44/47.68 c #Conflicts: 41000 | #Constraints: 40962
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 42000 | #Constraints: 37756
47.44/47.68 c #Conflicts: 43000 | #Constraints: 38756
47.44/47.68 c #Conflicts: 44000 | #Constraints: 39756
47.44/47.68 c #Conflicts: 45000 | #Constraints: 40756
47.44/47.68 c #Conflicts: 46000 | #Constraints: 41756
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 47000 | #Constraints: 38365
47.44/47.68 c #Conflicts: 48000 | #Constraints: 39365
47.44/47.68 c #Conflicts: 49000 | #Constraints: 40365
47.44/47.68 c #Conflicts: 50000 | #Constraints: 41365
47.44/47.68 c #Conflicts: 51000 | #Constraints: 42365
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 52000 | #Constraints: 38764
47.44/47.68 c #Conflicts: 53000 | #Constraints: 39764
47.44/47.68 c #Conflicts: 54000 | #Constraints: 40764
47.44/47.68 c #Conflicts: 55000 | #Constraints: 41764
47.44/47.68 c #Conflicts: 56000 | #Constraints: 42764
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 57000 | #Constraints: 38956
47.44/47.68 c #Conflicts: 58000 | #Constraints: 39956
47.44/47.68 c #Conflicts: 59000 | #Constraints: 40956
47.44/47.68 c #Conflicts: 60000 | #Constraints: 41956
47.44/47.68 c #Conflicts: 61000 | #Constraints: 42956
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 62000 | #Constraints: 38954
47.44/47.68 c #Conflicts: 63000 | #Constraints: 39954
47.44/47.68 c #Conflicts: 64000 | #Constraints: 40954
47.44/47.68 c #Conflicts: 65000 | #Constraints: 41954
47.44/47.68 c #Conflicts: 66000 | #Constraints: 42954
47.44/47.68 c INPROCESSING
47.44/47.68 c GARBAGE COLLECT
47.44/47.68 c #Conflicts: 67000 | #Constraints: 38758
47.44/47.68 c #Conflicts: 68000 | #Constraints: 39758
127.91/128.38 c #Conflicts: 69000 | #Constraints: 40758
127.91/128.38 c #Conflicts: 70000 | #Constraints: 41758
127.91/128.38 c #Conflicts: 71000 | #Constraints: 42758
127.91/128.38 c #Conflicts: 72000 | #Constraints: 43758
127.91/128.38 c INPROCESSING
127.91/128.38 c GARBAGE COLLECT
127.91/128.38 c #Conflicts: 73000 | #Constraints: 39357
127.91/128.38 c #Conflicts: 74000 | #Constraints: 40357
127.91/128.38 c #Conflicts: 75000 | #Constraints: 41357
127.91/128.38 c #Conflicts: 76000 | #Constraints: 42357
127.91/128.38 c #Conflicts: 77000 | #Constraints: 43357
127.91/128.38 c #Conflicts: 78000 | #Constraints: 44357
127.91/128.38 c INPROCESSING
127.91/128.38 c GARBAGE COLLECT
127.91/128.38 c #Conflicts: 79000 | #Constraints: 39764
127.91/128.38 c #Conflicts: 80000 | #Constraints: 40764
127.91/128.38 c #Conflicts: 81000 | #Constraints: 41764
127.91/128.38 c #Conflicts: 82000 | #Constraints: 42764
127.91/128.38 c #Conflicts: 83000 | #Constraints: 43764
127.91/128.38 c #Conflicts: 84000 | #Constraints: 44764
127.91/128.38 c INPROCESSING
127.91/128.38 c GARBAGE COLLECT
127.91/128.38 c #Conflicts: 85000 | #Constraints: 39959
127.91/128.38 c #Conflicts: 86000 | #Constraints: 40959
127.91/128.38 c #Conflicts: 87000 | #Constraints: 41959
127.91/128.38 c #Conflicts: 88000 | #Constraints: 42959
127.91/128.38 c #Conflicts: 89000 | #Constraints: 43959
127.91/128.38 c #Conflicts: 90000 | #Constraints: 44959
127.91/128.38 c INPROCESSING
127.91/128.38 c GARBAGE COLLECT
127.91/128.38 c #Conflicts: 91000 | #Constraints: 39966
127.91/128.38 c #Conflicts: 92000 | #Constraints: 40966
127.91/128.38 c #Conflicts: 93000 | #Constraints: 41966
127.91/128.38 c #Conflicts: 94000 | #Constraints: 42966
127.91/128.38 c #Conflicts: 95000 | #Constraints: 43966
127.91/128.38 c #Conflicts: 96000 | #Constraints: 44966
127.91/128.38 c INPROCESSING
127.91/128.38 c GARBAGE COLLECT
127.91/128.38 c #Conflicts: 97000 | #Constraints: 39772
127.91/128.38 c #Conflicts: 98000 | #Constraints: 40772
127.91/128.38 c #Conflicts: 99000 | #Constraints: 41772
127.91/128.38 c #Conflicts: 100000 | #Constraints: 42772
127.91/128.38 c #Conflicts: 101000 | #Constraints: 43772
127.91/128.38 c #Conflicts: 102000 | #Constraints: 44772
127.91/128.38 c #Conflicts: 103000 | #Constraints: 45772
127.91/128.38 c INPROCESSING
127.91/128.38 c GARBAGE COLLECT
127.91/128.38 c #Conflicts: 104000 | #Constraints: 40366
127.91/128.38 c #Conflicts: 105000 | #Constraints: 41366
127.91/128.38 c #Conflicts: 106000 | #Constraints: 42366
127.91/128.38 c #Conflicts: 107000 | #Constraints: 43366
127.91/128.38 c #Conflicts: 108000 | #Constraints: 44366
127.91/128.38 c #Conflicts: 109000 | #Constraints: 45366
127.91/128.38 c #Conflicts: 110000 | #Constraints: 46366
127.91/128.38 c INPROCESSING
127.91/128.38 c GARBAGE COLLECT
127.91/128.38 c #Conflicts: 111000 | #Constraints: 40760
127.91/128.38 c #Conflicts: 112000 | #Constraints: 41760
127.91/128.38 c #Conflicts: 113000 | #Constraints: 42760
127.91/128.38 c #Conflicts: 114000 | #Constraints: 43760
127.91/128.38 c #Conflicts: 115000 | #Constraints: 44760
127.91/128.38 c #Conflicts: 116000 | #Constraints: 45760
127.91/128.38 c #Conflicts: 117000 | #Constraints: 46760
127.91/128.38 c INPROCESSING
127.91/128.38 c GARBAGE COLLECT
127.91/128.38 c #Conflicts: 118000 | #Constraints: 40960
127.91/128.38 c #Conflicts: 119000 | #Constraints: 41960
127.91/128.38 c #Conflicts: 120000 | #Constraints: 42960
127.91/128.38 c #Conflicts: 121000 | #Constraints: 43960
127.91/128.38 c #Conflicts: 122000 | #Constraints: 44960
127.91/128.38 c #Conflicts: 123000 | #Constraints: 45960
127.91/128.38 c #Conflicts: 124000 | #Constraints: 46960
127.91/128.38 c INPROCESSING
127.91/128.38 c GARBAGE COLLECT
127.91/128.38 c #Conflicts: 125000 | #Constraints: 40964
127.91/128.38 c #Conflicts: 126000 | #Constraints: 41964
127.91/128.38 c #Conflicts: 127000 | #Constraints: 42964
127.91/128.38 c #Conflicts: 128000 | #Constraints: 43964
127.91/128.38 c #Conflicts: 129000 | #Constraints: 44964
127.91/128.38 c #Conflicts: 130000 | #Constraints: 45964
127.91/128.38 c #Conflicts: 131000 | #Constraints: 46964
127.91/128.38 c INPROCESSING
127.91/128.38 c GARBAGE COLLECT
127.91/128.38 c #Conflicts: 132000 | #Constraints: 40761
127.91/128.38 c #Conflicts: 133000 | #Constraints: 41761
127.91/128.38 c #Conflicts: 134000 | #Constraints: 42761
127.91/128.38 c #Conflicts: 135000 | #Constraints: 43761
127.91/128.38 c #Conflicts: 136000 | #Constraints: 44761
127.91/128.38 c #Conflicts: 137000 | #Constraints: 45761
127.91/128.38 c #Conflicts: 138000 | #Constraints: 46761
127.91/128.38 c #Conflicts: 139000 | #Constraints: 47761
127.91/128.38 c INPROCESSING
127.91/128.38 c GARBAGE COLLECT
127.91/128.38 c #Conflicts: 140000 | #Constraints: 41395
235.21/235.99 c #Conflicts: 141000 | #Constraints: 42395
235.21/235.99 c #Conflicts: 142000 | #Constraints: 43395
235.21/235.99 c #Conflicts: 143000 | #Constraints: 44395
235.21/235.99 c #Conflicts: 144000 | #Constraints: 45395
235.21/235.99 c #Conflicts: 145000 | #Constraints: 46395
235.21/235.99 c #Conflicts: 146000 | #Constraints: 47395
235.21/235.99 c #Conflicts: 147000 | #Constraints: 48395
235.21/235.99 c INPROCESSING
235.21/235.99 c GARBAGE COLLECT
235.21/235.99 c #Conflicts: 148000 | #Constraints: 41788
235.21/235.99 c #Conflicts: 149000 | #Constraints: 42788
235.21/235.99 c #Conflicts: 150000 | #Constraints: 43788
235.21/235.99 c #Conflicts: 151000 | #Constraints: 44788
235.21/235.99 c #Conflicts: 152000 | #Constraints: 45788
235.21/235.99 c #Conflicts: 153000 | #Constraints: 46788
235.21/235.99 c #Conflicts: 154000 | #Constraints: 47788
235.21/235.99 c #Conflicts: 155000 | #Constraints: 48788
235.21/235.99 c INPROCESSING
235.21/235.99 c GARBAGE COLLECT
235.21/235.99 c #Conflicts: 156000 | #Constraints: 41978
235.21/235.99 c #Conflicts: 157000 | #Constraints: 42978
235.21/235.99 c #Conflicts: 158000 | #Constraints: 43978
235.21/235.99 c #Conflicts: 159000 | #Constraints: 44978
235.21/235.99 c #Conflicts: 160000 | #Constraints: 45978
235.21/235.99 c #Conflicts: 161000 | #Constraints: 46978
235.21/235.99 c #Conflicts: 162000 | #Constraints: 47978
235.21/235.99 c #Conflicts: 163000 | #Constraints: 48978
235.21/235.99 c INPROCESSING
235.21/235.99 c GARBAGE COLLECT
235.21/235.99 c #Conflicts: 164000 | #Constraints: 41969
235.21/235.99 c #Conflicts: 165000 | #Constraints: 42969
235.21/235.99 c #Conflicts: 166000 | #Constraints: 43969
235.21/235.99 c #Conflicts: 167000 | #Constraints: 44969
235.21/235.99 c #Conflicts: 168000 | #Constraints: 45969
235.21/235.99 c #Conflicts: 169000 | #Constraints: 46969
235.21/235.99 c #Conflicts: 170000 | #Constraints: 47969
235.21/235.99 c #Conflicts: 171000 | #Constraints: 48969
235.21/235.99 c INPROCESSING
235.21/235.99 c GARBAGE COLLECT
235.21/235.99 c #Conflicts: 172000 | #Constraints: 41783
235.21/235.99 c #Conflicts: 173000 | #Constraints: 42783
235.21/235.99 c #Conflicts: 174000 | #Constraints: 43783
235.21/235.99 c #Conflicts: 175000 | #Constraints: 44783
235.21/235.99 c #Conflicts: 176000 | #Constraints: 45783
235.21/235.99 c #Conflicts: 177000 | #Constraints: 46783
235.21/235.99 c #Conflicts: 178000 | #Constraints: 47783
235.21/235.99 c #Conflicts: 179000 | #Constraints: 48783
235.21/235.99 c #Conflicts: 180000 | #Constraints: 49783
235.21/235.99 c INPROCESSING
235.21/235.99 c GARBAGE COLLECT
235.21/235.99 c #Conflicts: 181000 | #Constraints: 42409
235.21/235.99 c #Conflicts: 182000 | #Constraints: 43409
235.21/235.99 c #Conflicts: 183000 | #Constraints: 44409
235.21/235.99 c #Conflicts: 184000 | #Constraints: 45409
235.21/235.99 c #Conflicts: 185000 | #Constraints: 46409
235.21/235.99 c #Conflicts: 186000 | #Constraints: 47409
235.21/235.99 c #Conflicts: 187000 | #Constraints: 48409
235.21/235.99 c #Conflicts: 188000 | #Constraints: 49409
235.21/235.99 c #Conflicts: 189000 | #Constraints: 50409
235.21/235.99 c INPROCESSING
235.21/235.99 c GARBAGE COLLECT
235.21/235.99 c #Conflicts: 190000 | #Constraints: 42812
235.21/235.99 c #Conflicts: 191000 | #Constraints: 43812
235.21/235.99 c #Conflicts: 192000 | #Constraints: 44812
235.21/235.99 c #Conflicts: 193000 | #Constraints: 45812
235.21/235.99 c #Conflicts: 194000 | #Constraints: 46812
235.21/235.99 c #Conflicts: 195000 | #Constraints: 47812
235.21/235.99 c #Conflicts: 196000 | #Constraints: 48812
235.21/235.99 c #Conflicts: 197000 | #Constraints: 49812
235.21/235.99 c #Conflicts: 198000 | #Constraints: 50812
235.21/235.99 c INPROCESSING
235.21/235.99 c GARBAGE COLLECT
235.21/235.99 c #Conflicts: 199000 | #Constraints: 42998
235.21/235.99 c #Conflicts: 200000 | #Constraints: 43998
235.21/235.99 c #Conflicts: 201000 | #Constraints: 44998
235.21/235.99 c #Conflicts: 202000 | #Constraints: 45998
235.21/235.99 c #Conflicts: 203000 | #Constraints: 46998
235.21/235.99 c #Conflicts: 204000 | #Constraints: 47998
235.21/235.99 c #Conflicts: 205000 | #Constraints: 48998
235.21/235.99 c #Conflicts: 206000 | #Constraints: 49998
235.21/235.99 c #Conflicts: 207000 | #Constraints: 50998
235.21/235.99 c INPROCESSING
235.21/235.99 c GARBAGE COLLECT
235.21/235.99 c #Conflicts: 208000 | #Constraints: 42980
235.21/235.99 c #Conflicts: 209000 | #Constraints: 43980
235.21/235.99 c #Conflicts: 210000 | #Constraints: 44980
235.21/235.99 c #Conflicts: 211000 | #Constraints: 45980
235.21/235.99 c #Conflicts: 212000 | #Constraints: 46980
235.21/235.99 c #Conflicts: 213000 | #Constraints: 47980
373.12/374.27 c #Conflicts: 214000 | #Constraints: 48980
373.12/374.27 c #Conflicts: 215000 | #Constraints: 49980
373.12/374.27 c #Conflicts: 216000 | #Constraints: 50980
373.12/374.27 c INPROCESSING
373.12/374.27 c GARBAGE COLLECT
373.12/374.27 c #Conflicts: 217000 | #Constraints: 42777
373.12/374.27 c #Conflicts: 218000 | #Constraints: 43777
373.12/374.27 c #Conflicts: 219000 | #Constraints: 44777
373.12/374.27 c #Conflicts: 220000 | #Constraints: 45777
373.12/374.27 c #Conflicts: 221000 | #Constraints: 46777
373.12/374.27 c #Conflicts: 222000 | #Constraints: 47777
373.12/374.27 c #Conflicts: 223000 | #Constraints: 48777
373.12/374.27 c #Conflicts: 224000 | #Constraints: 49777
373.12/374.27 c #Conflicts: 225000 | #Constraints: 50777
373.12/374.27 c #Conflicts: 226000 | #Constraints: 51777
373.12/374.27 c INPROCESSING
373.12/374.27 c GARBAGE COLLECT
373.12/374.27 c #Conflicts: 227000 | #Constraints: 43387
373.12/374.27 c #Conflicts: 228000 | #Constraints: 44387
373.12/374.27 c #Conflicts: 229000 | #Constraints: 45387
373.12/374.27 c #Conflicts: 230000 | #Constraints: 46387
373.12/374.27 c #Conflicts: 231000 | #Constraints: 47387
373.12/374.27 c #Conflicts: 232000 | #Constraints: 48387
373.12/374.27 c #Conflicts: 233000 | #Constraints: 49387
373.12/374.27 c #Conflicts: 234000 | #Constraints: 50387
373.12/374.27 c #Conflicts: 235000 | #Constraints: 51387
373.12/374.27 c #Conflicts: 236000 | #Constraints: 52387
373.12/374.27 c INPROCESSING
373.12/374.27 c GARBAGE COLLECT
373.12/374.27 c #Conflicts: 237000 | #Constraints: 43782
373.12/374.27 c #Conflicts: 238000 | #Constraints: 44782
373.12/374.27 c #Conflicts: 239000 | #Constraints: 45782
373.12/374.27 c #Conflicts: 240000 | #Constraints: 46782
373.12/374.27 c #Conflicts: 241000 | #Constraints: 47782
373.12/374.27 c #Conflicts: 242000 | #Constraints: 48782
373.12/374.27 c #Conflicts: 243000 | #Constraints: 49782
373.12/374.27 c #Conflicts: 244000 | #Constraints: 50782
373.12/374.27 c #Conflicts: 245000 | #Constraints: 51782
373.12/374.27 c #Conflicts: 246000 | #Constraints: 52782
373.12/374.27 c INPROCESSING
373.12/374.27 c GARBAGE COLLECT
373.12/374.27 c #Conflicts: 247000 | #Constraints: 43973
373.12/374.27 c #Conflicts: 248000 | #Constraints: 44973
373.12/374.27 c #Conflicts: 249000 | #Constraints: 45973
373.12/374.27 c #Conflicts: 250000 | #Constraints: 46973
373.12/374.27 c #Conflicts: 251000 | #Constraints: 47973
373.12/374.27 c #Conflicts: 252000 | #Constraints: 48973
373.12/374.27 c #Conflicts: 253000 | #Constraints: 49973
373.12/374.27 c #Conflicts: 254000 | #Constraints: 50973
373.12/374.27 c #Conflicts: 255000 | #Constraints: 51973
373.12/374.27 c #Conflicts: 256000 | #Constraints: 52973
373.12/374.27 c INPROCESSING
373.12/374.27 c GARBAGE COLLECT
373.12/374.27 c #Conflicts: 257000 | #Constraints: 43976
373.12/374.27 c #Conflicts: 258000 | #Constraints: 44976
373.12/374.27 c #Conflicts: 259000 | #Constraints: 45976
373.12/374.27 c #Conflicts: 260000 | #Constraints: 46976
373.12/374.27 c #Conflicts: 261000 | #Constraints: 47976
373.12/374.27 c #Conflicts: 262000 | #Constraints: 48976
373.12/374.27 c #Conflicts: 263000 | #Constraints: 49976
373.12/374.27 c #Conflicts: 264000 | #Constraints: 50976
373.12/374.27 c #Conflicts: 265000 | #Constraints: 51976
373.12/374.27 c #Conflicts: 266000 | #Constraints: 52976
373.12/374.27 c INPROCESSING
373.12/374.27 c GARBAGE COLLECT
373.12/374.27 c #Conflicts: 267000 | #Constraints: 43769
373.12/374.27 c #Conflicts: 268000 | #Constraints: 44769
373.12/374.27 c #Conflicts: 269000 | #Constraints: 45769
373.12/374.27 c #Conflicts: 270000 | #Constraints: 46769
373.12/374.27 c #Conflicts: 271000 | #Constraints: 47769
373.12/374.27 c #Conflicts: 272000 | #Constraints: 48769
373.12/374.27 c #Conflicts: 273000 | #Constraints: 49769
373.12/374.27 c #Conflicts: 274000 | #Constraints: 50769
373.12/374.27 c #Conflicts: 275000 | #Constraints: 51769
373.12/374.27 c #Conflicts: 276000 | #Constraints: 52769
373.12/374.27 c #Conflicts: 277000 | #Constraints: 53769
373.12/374.27 c INPROCESSING
373.12/374.27 c GARBAGE COLLECT
373.12/374.27 c #Conflicts: 278000 | #Constraints: 44363
373.12/374.27 c #Conflicts: 279000 | #Constraints: 45363
373.12/374.27 c #Conflicts: 280000 | #Constraints: 46363
373.12/374.27 c #Conflicts: 281000 | #Constraints: 47363
373.12/374.27 c #Conflicts: 282000 | #Constraints: 48363
373.12/374.27 c #Conflicts: 283000 | #Constraints: 49363
373.12/374.27 c #Conflicts: 284000 | #Constraints: 50363
373.12/374.27 c #Conflicts: 285000 | #Constraints: 51363
373.12/374.27 c #Conflicts: 286000 | #Constraints: 52363
373.12/374.27 c #Conflicts: 287000 | #Constraints: 53363
373.12/374.27 c #Conflicts: 288000 | #Constraints: 54363
519.62/521.17 c INPROCESSING
519.62/521.17 c GARBAGE COLLECT
519.62/521.17 c #Conflicts: 289000 | #Constraints: 44783
519.62/521.17 c #Conflicts: 290000 | #Constraints: 45783
519.62/521.17 c #Conflicts: 291000 | #Constraints: 46783
519.62/521.17 c #Conflicts: 292000 | #Constraints: 47783
519.62/521.17 c #Conflicts: 293000 | #Constraints: 48783
519.62/521.17 c #Conflicts: 294000 | #Constraints: 49783
519.62/521.17 c #Conflicts: 295000 | #Constraints: 50783
519.62/521.17 c #Conflicts: 296000 | #Constraints: 51783
519.62/521.17 c #Conflicts: 297000 | #Constraints: 52783
519.62/521.17 c #Conflicts: 298000 | #Constraints: 53783
519.62/521.17 c #Conflicts: 299000 | #Constraints: 54783
519.62/521.17 c INPROCESSING
519.62/521.17 c GARBAGE COLLECT
519.62/521.17 c #Conflicts: 300000 | #Constraints: 44973
519.62/521.17 c #Conflicts: 301000 | #Constraints: 45973
519.62/521.17 c #Conflicts: 302000 | #Constraints: 46973
519.62/521.17 c #Conflicts: 303000 | #Constraints: 47973
519.62/521.17 c #Conflicts: 304000 | #Constraints: 48973
519.62/521.17 c #Conflicts: 305000 | #Constraints: 49973
519.62/521.17 c #Conflicts: 306000 | #Constraints: 50973
519.62/521.17 c #Conflicts: 307000 | #Constraints: 51973
519.62/521.17 c #Conflicts: 308000 | #Constraints: 52973
519.62/521.17 c #Conflicts: 309000 | #Constraints: 53973
519.62/521.17 c #Conflicts: 310000 | #Constraints: 54973
519.62/521.17 c INPROCESSING
519.62/521.17 c GARBAGE COLLECT
519.62/521.17 c #Conflicts: 311000 | #Constraints: 44972
519.62/521.17 c #Conflicts: 312000 | #Constraints: 45972
519.62/521.17 c #Conflicts: 313000 | #Constraints: 46972
519.62/521.17 c #Conflicts: 314000 | #Constraints: 47972
519.62/521.17 c #Conflicts: 315000 | #Constraints: 48972
519.62/521.17 c #Conflicts: 316000 | #Constraints: 49972
519.62/521.17 c #Conflicts: 317000 | #Constraints: 50972
519.62/521.17 c #Conflicts: 318000 | #Constraints: 51972
519.62/521.17 c #Conflicts: 319000 | #Constraints: 52972
519.62/521.17 c #Conflicts: 320000 | #Constraints: 53972
519.62/521.17 c #Conflicts: 321000 | #Constraints: 54972
519.62/521.17 c INPROCESSING
519.62/521.17 c GARBAGE COLLECT
519.62/521.17 c #Conflicts: 322000 | #Constraints: 44773
519.62/521.17 c #Conflicts: 323000 | #Constraints: 45773
519.62/521.17 c #Conflicts: 324000 | #Constraints: 46773
519.62/521.17 c #Conflicts: 325000 | #Constraints: 47773
519.62/521.17 c #Conflicts: 326000 | #Constraints: 48773
519.62/521.17 c #Conflicts: 327000 | #Constraints: 49773
519.62/521.17 c #Conflicts: 328000 | #Constraints: 50773
519.62/521.17 c #Conflicts: 329000 | #Constraints: 51773
519.62/521.17 c #Conflicts: 330000 | #Constraints: 52773
519.62/521.17 c #Conflicts: 331000 | #Constraints: 53773
519.62/521.17 c #Conflicts: 332000 | #Constraints: 54773
519.62/521.17 c #Conflicts: 333000 | #Constraints: 55773
519.62/521.17 c INPROCESSING
519.62/521.17 c GARBAGE COLLECT
519.62/521.17 c #Conflicts: 334000 | #Constraints: 45370
519.62/521.17 c #Conflicts: 335000 | #Constraints: 46370
519.62/521.17 c #Conflicts: 336000 | #Constraints: 47370
519.62/521.17 c #Conflicts: 337000 | #Constraints: 48370
519.62/521.17 c #Conflicts: 338000 | #Constraints: 49370
519.62/521.17 c #Conflicts: 339000 | #Constraints: 50370
519.62/521.17 c #Conflicts: 340000 | #Constraints: 51370
519.62/521.17 c #Conflicts: 341000 | #Constraints: 52370
519.62/521.17 c #Conflicts: 342000 | #Constraints: 53370
519.62/521.17 c #Conflicts: 343000 | #Constraints: 54370
519.62/521.17 c #Conflicts: 344000 | #Constraints: 55370
519.62/521.17 c #Conflicts: 345000 | #Constraints: 56370
519.62/521.17 c INPROCESSING
519.62/521.17 c GARBAGE COLLECT
519.62/521.17 c #Conflicts: 346000 | #Constraints: 45764
519.62/521.17 c #Conflicts: 347000 | #Constraints: 46764
519.62/521.17 c #Conflicts: 348000 | #Constraints: 47764
519.62/521.17 c #Conflicts: 349000 | #Constraints: 48764
519.62/521.17 c #Conflicts: 350000 | #Constraints: 49764
519.62/521.17 c #Conflicts: 351000 | #Constraints: 50764
519.62/521.17 c #Conflicts: 352000 | #Constraints: 51764
519.62/521.17 c #Conflicts: 353000 | #Constraints: 52764
519.62/521.17 c #Conflicts: 354000 | #Constraints: 53764
519.62/521.17 c #Conflicts: 355000 | #Constraints: 54764
519.62/521.17 c #Conflicts: 356000 | #Constraints: 55764
519.62/521.17 c #Conflicts: 357000 | #Constraints: 56764
519.62/521.17 c INPROCESSING
519.62/521.17 c GARBAGE COLLECT
519.62/521.17 c #Conflicts: 358000 | #Constraints: 45960
519.62/521.17 c #Conflicts: 359000 | #Constraints: 46960
519.62/521.17 c #Conflicts: 360000 | #Constraints: 47960
519.62/521.17 c #Conflicts: 361000 | #Constraints: 48960
519.62/521.17 c #Conflicts: 362000 | #Constraints: 49960
682.17/684.19 c #Conflicts: 363000 | #Constraints: 50960
682.17/684.19 c #Conflicts: 364000 | #Constraints: 51960
682.17/684.19 c #Conflicts: 365000 | #Constraints: 52960
682.17/684.19 c #Conflicts: 366000 | #Constraints: 53960
682.17/684.19 c #Conflicts: 367000 | #Constraints: 54960
682.17/684.19 c #Conflicts: 368000 | #Constraints: 55960
682.17/684.19 c #Conflicts: 369000 | #Constraints: 56960
682.17/684.19 c INPROCESSING
682.17/684.19 c GARBAGE COLLECT
682.17/684.19 c #Conflicts: 370000 | #Constraints: 45984
682.17/684.19 c #Conflicts: 371000 | #Constraints: 46984
682.17/684.19 c #Conflicts: 372000 | #Constraints: 47984
682.17/684.19 c #Conflicts: 373000 | #Constraints: 48984
682.17/684.19 c #Conflicts: 374000 | #Constraints: 49984
682.17/684.19 c #Conflicts: 375000 | #Constraints: 50984
682.17/684.19 c #Conflicts: 376000 | #Constraints: 51984
682.17/684.19 c #Conflicts: 377000 | #Constraints: 52984
682.17/684.19 c #Conflicts: 378000 | #Constraints: 53984
682.17/684.19 c #Conflicts: 379000 | #Constraints: 54984
682.17/684.19 c #Conflicts: 380000 | #Constraints: 55984
682.17/684.19 c #Conflicts: 381000 | #Constraints: 56984
682.17/684.19 c INPROCESSING
682.17/684.19 c GARBAGE COLLECT
682.17/684.19 c #Conflicts: 382000 | #Constraints: 45794
682.17/684.19 c #Conflicts: 383000 | #Constraints: 46794
682.17/684.19 c #Conflicts: 384000 | #Constraints: 47794
682.17/684.19 c #Conflicts: 385000 | #Constraints: 48794
682.17/684.19 c #Conflicts: 386000 | #Constraints: 49794
682.17/684.19 c #Conflicts: 387000 | #Constraints: 50794
682.17/684.19 c #Conflicts: 388000 | #Constraints: 51794
682.17/684.19 c #Conflicts: 389000 | #Constraints: 52794
682.17/684.19 c #Conflicts: 390000 | #Constraints: 53794
682.17/684.19 c #Conflicts: 391000 | #Constraints: 54794
682.17/684.19 c #Conflicts: 392000 | #Constraints: 55794
682.17/684.19 c #Conflicts: 393000 | #Constraints: 56794
682.17/684.19 c #Conflicts: 394000 | #Constraints: 57794
682.17/684.19 c INPROCESSING
682.17/684.19 c GARBAGE COLLECT
682.17/684.19 c #Conflicts: 395000 | #Constraints: 46404
682.17/684.19 c #Conflicts: 396000 | #Constraints: 47404
682.17/684.19 c #Conflicts: 397000 | #Constraints: 48404
682.17/684.19 c #Conflicts: 398000 | #Constraints: 49404
682.17/684.19 c #Conflicts: 399000 | #Constraints: 50404
682.17/684.19 c #Conflicts: 400000 | #Constraints: 51404
682.17/684.19 c #Conflicts: 401000 | #Constraints: 52404
682.17/684.19 c #Conflicts: 402000 | #Constraints: 53404
682.17/684.19 c #Conflicts: 403000 | #Constraints: 54404
682.17/684.19 c #Conflicts: 404000 | #Constraints: 55404
682.17/684.19 c #Conflicts: 405000 | #Constraints: 56404
682.17/684.19 c #Conflicts: 406000 | #Constraints: 57404
682.17/684.19 c #Conflicts: 407000 | #Constraints: 58404
682.17/684.19 c INPROCESSING
682.17/684.19 c GARBAGE COLLECT
682.17/684.19 c #Conflicts: 408000 | #Constraints: 46802
682.17/684.19 c #Conflicts: 409000 | #Constraints: 47802
682.17/684.19 c #Conflicts: 410000 | #Constraints: 48802
682.17/684.19 c #Conflicts: 411000 | #Constraints: 49802
682.17/684.19 c #Conflicts: 412000 | #Constraints: 50802
682.17/684.19 c #Conflicts: 413000 | #Constraints: 51802
682.17/684.19 c #Conflicts: 414000 | #Constraints: 52802
682.17/684.19 c #Conflicts: 415000 | #Constraints: 53802
682.17/684.19 c #Conflicts: 416000 | #Constraints: 54802
682.17/684.19 c #Conflicts: 417000 | #Constraints: 55802
682.17/684.19 c #Conflicts: 418000 | #Constraints: 56802
682.17/684.19 c #Conflicts: 419000 | #Constraints: 57802
682.17/684.19 c #Conflicts: 420000 | #Constraints: 58802
682.17/684.19 c INPROCESSING
682.17/684.19 c GARBAGE COLLECT
682.17/684.19 c #Conflicts: 421000 | #Constraints: 47011
682.17/684.19 c #Conflicts: 422000 | #Constraints: 48011
682.17/684.19 c #Conflicts: 423000 | #Constraints: 49011
682.17/684.19 c #Conflicts: 424000 | #Constraints: 50011
682.17/684.19 c #Conflicts: 425000 | #Constraints: 51011
682.17/684.19 c #Conflicts: 426000 | #Constraints: 52011
682.17/684.19 c #Conflicts: 427000 | #Constraints: 53011
682.17/684.19 c #Conflicts: 428000 | #Constraints: 54011
682.17/684.19 c #Conflicts: 429000 | #Constraints: 55011
682.17/684.19 c #Conflicts: 430000 | #Constraints: 56011
682.17/684.19 c #Conflicts: 431000 | #Constraints: 57011
682.17/684.19 c #Conflicts: 432000 | #Constraints: 58011
682.17/684.19 c #Conflicts: 433000 | #Constraints: 59011
682.17/684.19 c INPROCESSING
682.17/684.19 c GARBAGE COLLECT
682.17/684.19 c #Conflicts: 434000 | #Constraints: 46992
682.17/684.19 c #Conflicts: 435000 | #Constraints: 47992
682.17/684.19 c #Conflicts: 436000 | #Constraints: 48992
682.17/684.19 c #Conflicts: 437000 | #Constraints: 49992
860.97/863.44 c #Conflicts: 438000 | #Constraints: 50992
860.97/863.44 c #Conflicts: 439000 | #Constraints: 51992
860.97/863.44 c #Conflicts: 440000 | #Constraints: 52992
860.97/863.44 c #Conflicts: 441000 | #Constraints: 53992
860.97/863.44 c #Conflicts: 442000 | #Constraints: 54992
860.97/863.44 c #Conflicts: 443000 | #Constraints: 55992
860.97/863.44 c #Conflicts: 444000 | #Constraints: 56992
860.97/863.44 c #Conflicts: 445000 | #Constraints: 57992
860.97/863.44 c #Conflicts: 446000 | #Constraints: 58992
860.97/863.44 c INPROCESSING
860.97/863.44 c GARBAGE COLLECT
860.97/863.44 c #Conflicts: 447000 | #Constraints: 46780
860.97/863.44 c #Conflicts: 448000 | #Constraints: 47780
860.97/863.44 c #Conflicts: 449000 | #Constraints: 48780
860.97/863.44 c #Conflicts: 450000 | #Constraints: 49780
860.97/863.44 c #Conflicts: 451000 | #Constraints: 50780
860.97/863.44 c #Conflicts: 452000 | #Constraints: 51780
860.97/863.44 c #Conflicts: 453000 | #Constraints: 52780
860.97/863.44 c #Conflicts: 454000 | #Constraints: 53780
860.97/863.44 c #Conflicts: 455000 | #Constraints: 54780
860.97/863.44 c #Conflicts: 456000 | #Constraints: 55780
860.97/863.44 c #Conflicts: 457000 | #Constraints: 56780
860.97/863.44 c #Conflicts: 458000 | #Constraints: 57780
860.97/863.44 c #Conflicts: 459000 | #Constraints: 58780
860.97/863.44 c #Conflicts: 460000 | #Constraints: 59780
860.97/863.44 c INPROCESSING
860.97/863.44 c GARBAGE COLLECT
860.97/863.44 c #Conflicts: 461000 | #Constraints: 47389
860.97/863.44 c #Conflicts: 462000 | #Constraints: 48389
860.97/863.44 c #Conflicts: 463000 | #Constraints: 49389
860.97/863.44 c #Conflicts: 464000 | #Constraints: 50389
860.97/863.44 c #Conflicts: 465000 | #Constraints: 51389
860.97/863.44 c #Conflicts: 466000 | #Constraints: 52389
860.97/863.44 c #Conflicts: 467000 | #Constraints: 53389
860.97/863.44 c #Conflicts: 468000 | #Constraints: 54389
860.97/863.44 c #Conflicts: 469000 | #Constraints: 55389
860.97/863.44 c #Conflicts: 470000 | #Constraints: 56389
860.97/863.44 c #Conflicts: 471000 | #Constraints: 57389
860.97/863.44 c #Conflicts: 472000 | #Constraints: 58389
860.97/863.44 c #Conflicts: 473000 | #Constraints: 59389
860.97/863.44 c #Conflicts: 474000 | #Constraints: 60389
860.97/863.44 c INPROCESSING
860.97/863.44 c GARBAGE COLLECT
860.97/863.44 c #Conflicts: 475000 | #Constraints: 47808
860.97/863.44 c #Conflicts: 476000 | #Constraints: 48808
860.97/863.44 c #Conflicts: 477000 | #Constraints: 49808
860.97/863.44 c #Conflicts: 478000 | #Constraints: 50808
860.97/863.44 c #Conflicts: 479000 | #Constraints: 51808
860.97/863.44 c #Conflicts: 480000 | #Constraints: 52808
860.97/863.44 c #Conflicts: 481000 | #Constraints: 53808
860.97/863.44 c #Conflicts: 482000 | #Constraints: 54808
860.97/863.44 c #Conflicts: 483000 | #Constraints: 55808
860.97/863.44 c #Conflicts: 484000 | #Constraints: 56808
860.97/863.44 c #Conflicts: 485000 | #Constraints: 57808
860.97/863.44 c #Conflicts: 486000 | #Constraints: 58808
860.97/863.44 c #Conflicts: 487000 | #Constraints: 59808
860.97/863.44 c #Conflicts: 488000 | #Constraints: 60808
860.97/863.44 c INPROCESSING
860.97/863.44 c GARBAGE COLLECT
860.97/863.44 c #Conflicts: 489000 | #Constraints: 48005
860.97/863.44 c #Conflicts: 490000 | #Constraints: 49005
860.97/863.44 c #Conflicts: 491000 | #Constraints: 50005
860.97/863.44 c #Conflicts: 492000 | #Constraints: 51005
860.97/863.44 c #Conflicts: 493000 | #Constraints: 52005
860.97/863.44 c #Conflicts: 494000 | #Constraints: 53005
860.97/863.44 c #Conflicts: 495000 | #Constraints: 54005
860.97/863.44 c #Conflicts: 496000 | #Constraints: 55005
860.97/863.44 c #Conflicts: 497000 | #Constraints: 56005
860.97/863.44 c #Conflicts: 498000 | #Constraints: 57005
860.97/863.44 c #Conflicts: 499000 | #Constraints: 58005
860.97/863.44 c #Conflicts: 500000 | #Constraints: 59005
860.97/863.44 c #Conflicts: 501000 | #Constraints: 60005
860.97/863.44 c #Conflicts: 502000 | #Constraints: 61005
860.97/863.44 c INPROCESSING
860.97/863.44 c GARBAGE COLLECT
860.97/863.44 c #Conflicts: 503000 | #Constraints: 47985
860.97/863.44 c #Conflicts: 504000 | #Constraints: 48985
860.97/863.44 c #Conflicts: 505000 | #Constraints: 49985
860.97/863.44 c #Conflicts: 506000 | #Constraints: 50985
860.97/863.44 c #Conflicts: 507000 | #Constraints: 51985
860.97/863.44 c #Conflicts: 508000 | #Constraints: 52985
860.97/863.44 c #Conflicts: 509000 | #Constraints: 53985
860.97/863.44 c #Conflicts: 510000 | #Constraints: 54985
860.97/863.44 c #Conflicts: 511000 | #Constraints: 55985
860.97/863.44 c #Conflicts: 512000 | #Constraints: 56985
860.97/863.44 c #Conflicts: 513000 | #Constraints: 57985
1064.19/1067.29 c #Conflicts: 514000 | #Constraints: 58985
1064.19/1067.29 c #Conflicts: 515000 | #Constraints: 59985
1064.19/1067.29 c #Conflicts: 516000 | #Constraints: 60985
1064.19/1067.29 c INPROCESSING
1064.19/1067.29 c GARBAGE COLLECT
1064.19/1067.29 c #Conflicts: 517000 | #Constraints: 47790
1064.19/1067.29 c #Conflicts: 518000 | #Constraints: 48790
1064.19/1067.29 c #Conflicts: 519000 | #Constraints: 49790
1064.19/1067.29 c #Conflicts: 520000 | #Constraints: 50790
1064.19/1067.29 c #Conflicts: 521000 | #Constraints: 51790
1064.19/1067.29 c #Conflicts: 522000 | #Constraints: 52790
1064.19/1067.29 c #Conflicts: 523000 | #Constraints: 53790
1064.19/1067.29 c #Conflicts: 524000 | #Constraints: 54790
1064.19/1067.29 c #Conflicts: 525000 | #Constraints: 55790
1064.19/1067.29 c #Conflicts: 526000 | #Constraints: 56790
1064.19/1067.29 c #Conflicts: 527000 | #Constraints: 57790
1064.19/1067.29 c #Conflicts: 528000 | #Constraints: 58790
1064.19/1067.29 c #Conflicts: 529000 | #Constraints: 59790
1064.19/1067.29 c #Conflicts: 530000 | #Constraints: 60790
1064.19/1067.29 c #Conflicts: 531000 | #Constraints: 61790
1064.19/1067.29 c INPROCESSING
1064.19/1067.29 c GARBAGE COLLECT
1064.19/1067.29 c #Conflicts: 532000 | #Constraints: 48391
1064.19/1067.29 c #Conflicts: 533000 | #Constraints: 49391
1064.19/1067.29 c #Conflicts: 534000 | #Constraints: 50391
1064.19/1067.29 c #Conflicts: 535000 | #Constraints: 51391
1064.19/1067.29 c #Conflicts: 536000 | #Constraints: 52391
1064.19/1067.29 c #Conflicts: 537000 | #Constraints: 53391
1064.19/1067.29 c #Conflicts: 538000 | #Constraints: 54391
1064.19/1067.29 c #Conflicts: 539000 | #Constraints: 55391
1064.19/1067.29 c #Conflicts: 540000 | #Constraints: 56391
1064.19/1067.29 c #Conflicts: 541000 | #Constraints: 57391
1064.19/1067.29 c #Conflicts: 542000 | #Constraints: 58391
1064.19/1067.29 c #Conflicts: 543000 | #Constraints: 59391
1064.19/1067.29 c #Conflicts: 544000 | #Constraints: 60391
1064.19/1067.29 c #Conflicts: 545000 | #Constraints: 61391
1064.19/1067.29 c #Conflicts: 546000 | #Constraints: 62391
1064.19/1067.29 c INPROCESSING
1064.19/1067.29 c GARBAGE COLLECT
1064.19/1067.29 c #Conflicts: 547000 | #Constraints: 48785
1064.19/1067.29 c #Conflicts: 548000 | #Constraints: 49785
1064.19/1067.29 c #Conflicts: 549000 | #Constraints: 50785
1064.19/1067.29 c #Conflicts: 550000 | #Constraints: 51785
1064.19/1067.29 c #Conflicts: 551000 | #Constraints: 52785
1064.19/1067.29 c #Conflicts: 552000 | #Constraints: 53785
1064.19/1067.29 c #Conflicts: 553000 | #Constraints: 54785
1064.19/1067.29 c #Conflicts: 554000 | #Constraints: 55785
1064.19/1067.29 c #Conflicts: 555000 | #Constraints: 56785
1064.19/1067.29 c #Conflicts: 556000 | #Constraints: 57785
1064.19/1067.29 c #Conflicts: 557000 | #Constraints: 58785
1064.19/1067.29 c #Conflicts: 558000 | #Constraints: 59785
1064.19/1067.29 c #Conflicts: 559000 | #Constraints: 60785
1064.19/1067.29 c #Conflicts: 560000 | #Constraints: 61785
1064.19/1067.29 c #Conflicts: 561000 | #Constraints: 62785
1064.19/1067.29 c INPROCESSING
1064.19/1067.29 c GARBAGE COLLECT
1064.19/1067.29 c #Conflicts: 562000 | #Constraints: 48974
1064.19/1067.29 c #Conflicts: 563000 | #Constraints: 49974
1064.19/1067.29 c #Conflicts: 564000 | #Constraints: 50974
1064.19/1067.29 c #Conflicts: 565000 | #Constraints: 51974
1064.19/1067.29 c #Conflicts: 566000 | #Constraints: 52974
1064.19/1067.29 c #Conflicts: 567000 | #Constraints: 53974
1064.19/1067.29 c #Conflicts: 568000 | #Constraints: 54974
1064.19/1067.29 c #Conflicts: 569000 | #Constraints: 55974
1064.19/1067.29 c #Conflicts: 570000 | #Constraints: 56974
1064.19/1067.29 c #Conflicts: 571000 | #Constraints: 57974
1064.19/1067.29 c #Conflicts: 572000 | #Constraints: 58974
1064.19/1067.29 c #Conflicts: 573000 | #Constraints: 59974
1064.19/1067.29 c #Conflicts: 574000 | #Constraints: 60974
1064.19/1067.29 c #Conflicts: 575000 | #Constraints: 61974
1064.19/1067.29 c #Conflicts: 576000 | #Constraints: 62974
1064.19/1067.29 c INPROCESSING
1064.19/1067.29 c GARBAGE COLLECT
1064.19/1067.29 c #Conflicts: 577000 | #Constraints: 48970
1064.19/1067.29 c #Conflicts: 578000 | #Constraints: 49970
1064.19/1067.29 c #Conflicts: 579000 | #Constraints: 50970
1064.19/1067.29 c #Conflicts: 580000 | #Constraints: 51970
1064.19/1067.29 c #Conflicts: 581000 | #Constraints: 52970
1064.19/1067.29 c #Conflicts: 582000 | #Constraints: 53970
1064.19/1067.29 c #Conflicts: 583000 | #Constraints: 54970
1064.19/1067.29 c #Conflicts: 584000 | #Constraints: 55970
1064.19/1067.29 c #Conflicts: 585000 | #Constraints: 56970
1064.19/1067.29 c #Conflicts: 586000 | #Constraints: 57970
1064.19/1067.29 c #Conflicts: 587000 | #Constraints: 58970
1064.19/1067.29 c #Conflicts: 588000 | #Constraints: 59970
1277.67/1281.32 c #Conflicts: 589000 | #Constraints: 60970
1277.67/1281.32 c #Conflicts: 590000 | #Constraints: 61970
1277.67/1281.32 c #Conflicts: 591000 | #Constraints: 62970
1277.67/1281.32 c INPROCESSING
1277.67/1281.32 c GARBAGE COLLECT
1277.67/1281.32 c #Conflicts: 592000 | #Constraints: 48774
1277.67/1281.32 c #Conflicts: 593000 | #Constraints: 49774
1277.67/1281.32 c #Conflicts: 594000 | #Constraints: 50774
1277.67/1281.32 c #Conflicts: 595000 | #Constraints: 51774
1277.67/1281.32 c #Conflicts: 596000 | #Constraints: 52774
1277.67/1281.32 c #Conflicts: 597000 | #Constraints: 53774
1277.67/1281.32 c #Conflicts: 598000 | #Constraints: 54774
1277.67/1281.32 c #Conflicts: 599000 | #Constraints: 55774
1277.67/1281.32 c #Conflicts: 600000 | #Constraints: 56774
1277.67/1281.32 c #Conflicts: 601000 | #Constraints: 57774
1277.67/1281.32 c #Conflicts: 602000 | #Constraints: 58774
1277.67/1281.32 c #Conflicts: 603000 | #Constraints: 59774
1277.67/1281.32 c #Conflicts: 604000 | #Constraints: 60774
1277.67/1281.32 c #Conflicts: 605000 | #Constraints: 61774
1277.67/1281.32 c #Conflicts: 606000 | #Constraints: 62774
1277.67/1281.32 c #Conflicts: 607000 | #Constraints: 63774
1277.67/1281.32 c INPROCESSING
1277.67/1281.32 c GARBAGE COLLECT
1277.67/1281.32 c #Conflicts: 608000 | #Constraints: 49394
1277.67/1281.32 c #Conflicts: 609000 | #Constraints: 50394
1277.67/1281.32 c #Conflicts: 610000 | #Constraints: 51394
1277.67/1281.32 c #Conflicts: 611000 | #Constraints: 52394
1277.67/1281.32 c #Conflicts: 612000 | #Constraints: 53394
1277.67/1281.32 c #Conflicts: 613000 | #Constraints: 54394
1277.67/1281.32 c #Conflicts: 614000 | #Constraints: 55394
1277.67/1281.32 c #Conflicts: 615000 | #Constraints: 56394
1277.67/1281.32 c #Conflicts: 616000 | #Constraints: 57394
1277.67/1281.32 c #Conflicts: 617000 | #Constraints: 58394
1277.67/1281.32 c #Conflicts: 618000 | #Constraints: 59394
1277.67/1281.32 c #Conflicts: 619000 | #Constraints: 60394
1277.67/1281.32 c #Conflicts: 620000 | #Constraints: 61394
1277.67/1281.32 c #Conflicts: 621000 | #Constraints: 62394
1277.67/1281.32 c #Conflicts: 622000 | #Constraints: 63394
1277.67/1281.32 c #Conflicts: 623000 | #Constraints: 64394
1277.67/1281.32 c INPROCESSING
1277.67/1281.32 c GARBAGE COLLECT
1277.67/1281.32 c #Conflicts: 624000 | #Constraints: 49801
1277.67/1281.32 c #Conflicts: 625000 | #Constraints: 50801
1277.67/1281.32 c #Conflicts: 626000 | #Constraints: 51801
1277.67/1281.32 c #Conflicts: 627000 | #Constraints: 52801
1277.67/1281.32 c #Conflicts: 628000 | #Constraints: 53801
1277.67/1281.32 c #Conflicts: 629000 | #Constraints: 54801
1277.67/1281.32 c #Conflicts: 630000 | #Constraints: 55801
1277.67/1281.32 c #Conflicts: 631000 | #Constraints: 56801
1277.67/1281.32 c #Conflicts: 632000 | #Constraints: 57801
1277.67/1281.32 c #Conflicts: 633000 | #Constraints: 58801
1277.67/1281.32 c #Conflicts: 634000 | #Constraints: 59801
1277.67/1281.32 c #Conflicts: 635000 | #Constraints: 60801
1277.67/1281.32 c #Conflicts: 636000 | #Constraints: 61801
1277.67/1281.32 c #Conflicts: 637000 | #Constraints: 62801
1277.67/1281.32 c #Conflicts: 638000 | #Constraints: 63801
1277.67/1281.32 c #Conflicts: 639000 | #Constraints: 64801
1277.67/1281.32 c INPROCESSING
1277.67/1281.32 c GARBAGE COLLECT
1277.67/1281.32 c #Conflicts: 640000 | #Constraints: 49982
1277.67/1281.32 c #Conflicts: 641000 | #Constraints: 50982
1277.67/1281.32 c #Conflicts: 642000 | #Constraints: 51982
1277.67/1281.32 c #Conflicts: 643000 | #Constraints: 52982
1277.67/1281.32 c #Conflicts: 644000 | #Constraints: 53982
1277.67/1281.32 c #Conflicts: 645000 | #Constraints: 54982
1277.67/1281.32 c #Conflicts: 646000 | #Constraints: 55982
1277.67/1281.32 c #Conflicts: 647000 | #Constraints: 56982
1277.67/1281.32 c #Conflicts: 648000 | #Constraints: 57982
1277.67/1281.32 c #Conflicts: 649000 | #Constraints: 58982
1277.67/1281.32 c #Conflicts: 650000 | #Constraints: 59982
1277.67/1281.32 c #Conflicts: 651000 | #Constraints: 60982
1277.67/1281.32 c #Conflicts: 652000 | #Constraints: 61982
1277.67/1281.32 c #Conflicts: 653000 | #Constraints: 62982
1277.67/1281.32 c #Conflicts: 654000 | #Constraints: 63982
1277.67/1281.32 c #Conflicts: 655000 | #Constraints: 64982
1277.67/1281.32 c INPROCESSING
1277.67/1281.32 c GARBAGE COLLECT
1277.67/1281.32 c #Conflicts: 656000 | #Constraints: 49978
1277.67/1281.32 c #Conflicts: 657000 | #Constraints: 50978
1277.67/1281.32 c #Conflicts: 658000 | #Constraints: 51978
1277.67/1281.32 c #Conflicts: 659000 | #Constraints: 52978
1277.67/1281.32 c #Conflicts: 660000 | #Constraints: 53978
1277.67/1281.32 c #Conflicts: 661000 | #Constraints: 54978
1277.67/1281.32 c #Conflicts: 662000 | #Constraints: 55978
1277.67/1281.32 c #Conflicts: 663000 | #Constraints: 56978
1277.67/1281.32 c #Conflicts: 664000 | #Constraints: 57978
1509.57/1513.97 c #Conflicts: 665000 | #Constraints: 58978
1509.57/1513.97 c #Conflicts: 666000 | #Constraints: 59978
1509.57/1513.97 c #Conflicts: 667000 | #Constraints: 60978
1509.57/1513.97 c #Conflicts: 668000 | #Constraints: 61978
1509.57/1513.97 c #Conflicts: 669000 | #Constraints: 62978
1509.57/1513.97 c #Conflicts: 670000 | #Constraints: 63978
1509.57/1513.97 c #Conflicts: 671000 | #Constraints: 64978
1509.57/1513.97 c INPROCESSING
1509.57/1513.97 c GARBAGE COLLECT
1509.57/1513.97 c #Conflicts: 672000 | #Constraints: 49773
1509.57/1513.97 c #Conflicts: 673000 | #Constraints: 50773
1509.57/1513.97 c #Conflicts: 674000 | #Constraints: 51773
1509.57/1513.97 c #Conflicts: 675000 | #Constraints: 52773
1509.57/1513.97 c #Conflicts: 676000 | #Constraints: 53773
1509.57/1513.97 c #Conflicts: 677000 | #Constraints: 54773
1509.57/1513.97 c #Conflicts: 678000 | #Constraints: 55773
1509.57/1513.97 c #Conflicts: 679000 | #Constraints: 56773
1509.57/1513.97 c #Conflicts: 680000 | #Constraints: 57773
1509.57/1513.97 c #Conflicts: 681000 | #Constraints: 58773
1509.57/1513.97 c #Conflicts: 682000 | #Constraints: 59773
1509.57/1513.97 c #Conflicts: 683000 | #Constraints: 60773
1509.57/1513.97 c #Conflicts: 684000 | #Constraints: 61773
1509.57/1513.97 c #Conflicts: 685000 | #Constraints: 62773
1509.57/1513.97 c #Conflicts: 686000 | #Constraints: 63773
1509.57/1513.97 c #Conflicts: 687000 | #Constraints: 64773
1509.57/1513.97 c #Conflicts: 688000 | #Constraints: 65773
1509.57/1513.97 c INPROCESSING
1509.57/1513.97 c GARBAGE COLLECT
1509.57/1513.97 c #Conflicts: 689000 | #Constraints: 50363
1509.57/1513.97 c #Conflicts: 690000 | #Constraints: 51363
1509.57/1513.97 c #Conflicts: 691000 | #Constraints: 52363
1509.57/1513.97 c #Conflicts: 692000 | #Constraints: 53363
1509.57/1513.97 c #Conflicts: 693000 | #Constraints: 54363
1509.57/1513.97 c #Conflicts: 694000 | #Constraints: 55363
1509.57/1513.97 c #Conflicts: 695000 | #Constraints: 56363
1509.57/1513.97 c #Conflicts: 696000 | #Constraints: 57363
1509.57/1513.97 c #Conflicts: 697000 | #Constraints: 58363
1509.57/1513.97 c #Conflicts: 698000 | #Constraints: 59363
1509.57/1513.97 c #Conflicts: 699000 | #Constraints: 60363
1509.57/1513.97 c #Conflicts: 700000 | #Constraints: 61363
1509.57/1513.97 c #Conflicts: 701000 | #Constraints: 62363
1509.57/1513.97 c #Conflicts: 702000 | #Constraints: 63363
1509.57/1513.97 c #Conflicts: 703000 | #Constraints: 64363
1509.57/1513.97 c #Conflicts: 704000 | #Constraints: 65363
1509.57/1513.97 c #Conflicts: 705000 | #Constraints: 66363
1509.57/1513.97 c INPROCESSING
1509.57/1513.97 c GARBAGE COLLECT
1509.57/1513.97 c #Conflicts: 706000 | #Constraints: 50777
1509.57/1513.97 c #Conflicts: 707000 | #Constraints: 51777
1509.57/1513.97 c #Conflicts: 708000 | #Constraints: 52777
1509.57/1513.97 c #Conflicts: 709000 | #Constraints: 53777
1509.57/1513.97 c #Conflicts: 710000 | #Constraints: 54777
1509.57/1513.97 c #Conflicts: 711000 | #Constraints: 55777
1509.57/1513.97 c #Conflicts: 712000 | #Constraints: 56777
1509.57/1513.97 c #Conflicts: 713000 | #Constraints: 57777
1509.57/1513.97 c #Conflicts: 714000 | #Constraints: 58777
1509.57/1513.97 c #Conflicts: 715000 | #Constraints: 59777
1509.57/1513.97 c #Conflicts: 716000 | #Constraints: 60777
1509.57/1513.97 c #Conflicts: 717000 | #Constraints: 61777
1509.57/1513.97 c #Conflicts: 718000 | #Constraints: 62777
1509.57/1513.97 c #Conflicts: 719000 | #Constraints: 63777
1509.57/1513.97 c #Conflicts: 720000 | #Constraints: 64777
1509.57/1513.97 c #Conflicts: 721000 | #Constraints: 65777
1509.57/1513.97 c #Conflicts: 722000 | #Constraints: 66777
1509.57/1513.97 c INPROCESSING
1509.57/1513.97 c GARBAGE COLLECT
1509.57/1513.97 c #Conflicts: 723000 | #Constraints: 50986
1509.57/1513.97 c #Conflicts: 724000 | #Constraints: 51986
1509.57/1513.97 c #Conflicts: 725000 | #Constraints: 52986
1509.57/1513.97 c #Conflicts: 726000 | #Constraints: 53986
1509.57/1513.97 c #Conflicts: 727000 | #Constraints: 54986
1509.57/1513.97 c #Conflicts: 728000 | #Constraints: 55986
1509.57/1513.97 c #Conflicts: 729000 | #Constraints: 56986
1509.57/1513.97 c #Conflicts: 730000 | #Constraints: 57986
1509.57/1513.97 c #Conflicts: 731000 | #Constraints: 58986
1509.57/1513.97 c #Conflicts: 732000 | #Constraints: 59986
1509.57/1513.97 c #Conflicts: 733000 | #Constraints: 60986
1509.57/1513.97 c #Conflicts: 734000 | #Constraints: 61986
1509.57/1513.97 c #Conflicts: 735000 | #Constraints: 62986
1509.57/1513.97 c #Conflicts: 736000 | #Constraints: 63986
1509.57/1513.97 c #Conflicts: 737000 | #Constraints: 64986
1509.57/1513.97 c #Conflicts: 738000 | #Constraints: 65986
1509.57/1513.97 c #Conflicts: 739000 | #Constraints: 66986
1509.57/1513.97 c INPROCESSING
1509.57/1513.97 c GARBAGE COLLECT
1766.36/1771.53 c #Conflicts: 740000 | #Constraints: 50972
1766.36/1771.53 c #Conflicts: 741000 | #Constraints: 51972
1766.36/1771.53 c #Conflicts: 742000 | #Constraints: 52972
1766.36/1771.53 c #Conflicts: 743000 | #Constraints: 53972
1766.36/1771.53 c #Conflicts: 744000 | #Constraints: 54972
1766.36/1771.53 c #Conflicts: 745000 | #Constraints: 55972
1766.36/1771.53 c #Conflicts: 746000 | #Constraints: 56972
1766.36/1771.53 c #Conflicts: 747000 | #Constraints: 57972
1766.36/1771.53 c #Conflicts: 748000 | #Constraints: 58972
1766.36/1771.53 c #Conflicts: 749000 | #Constraints: 59972
1766.36/1771.53 c #Conflicts: 750000 | #Constraints: 60972
1766.36/1771.53 c #Conflicts: 751000 | #Constraints: 61972
1766.36/1771.53 c #Conflicts: 752000 | #Constraints: 62972
1766.36/1771.53 c #Conflicts: 753000 | #Constraints: 63972
1766.36/1771.53 c #Conflicts: 754000 | #Constraints: 64972
1766.36/1771.53 c #Conflicts: 755000 | #Constraints: 65972
1766.36/1771.53 c #Conflicts: 756000 | #Constraints: 66972
1766.36/1771.53 c INPROCESSING
1766.36/1771.53 c GARBAGE COLLECT
1766.36/1771.53 c #Conflicts: 757000 | #Constraints: 50775
1766.36/1771.53 c #Conflicts: 758000 | #Constraints: 51775
1766.36/1771.53 c #Conflicts: 759000 | #Constraints: 52775
1766.36/1771.53 c #Conflicts: 760000 | #Constraints: 53775
1766.36/1771.53 c #Conflicts: 761000 | #Constraints: 54775
1766.36/1771.53 c #Conflicts: 762000 | #Constraints: 55775
1766.36/1771.53 c #Conflicts: 763000 | #Constraints: 56775
1766.36/1771.53 c #Conflicts: 764000 | #Constraints: 57775
1766.36/1771.53 c #Conflicts: 765000 | #Constraints: 58775
1766.36/1771.53 c #Conflicts: 766000 | #Constraints: 59775
1766.36/1771.53 c #Conflicts: 767000 | #Constraints: 60775
1766.36/1771.53 c #Conflicts: 768000 | #Constraints: 61775
1766.36/1771.53 c #Conflicts: 769000 | #Constraints: 62775
1766.36/1771.53 c #Conflicts: 770000 | #Constraints: 63775
1766.36/1771.53 c #Conflicts: 771000 | #Constraints: 64775
1766.36/1771.53 c #Conflicts: 772000 | #Constraints: 65775
1766.36/1771.53 c #Conflicts: 773000 | #Constraints: 66775
1766.36/1771.53 c #Conflicts: 774000 | #Constraints: 67775
1766.36/1771.53 c INPROCESSING
1766.36/1771.53 c GARBAGE COLLECT
1766.36/1771.53 c #Conflicts: 775000 | #Constraints: 51372
1766.36/1771.53 c #Conflicts: 776000 | #Constraints: 52372
1766.36/1771.53 c #Conflicts: 777000 | #Constraints: 53372
1766.36/1771.53 c #Conflicts: 778000 | #Constraints: 54372
1766.36/1771.53 c #Conflicts: 779000 | #Constraints: 55372
1766.36/1771.53 c #Conflicts: 780000 | #Constraints: 56372
1766.36/1771.53 c #Conflicts: 781000 | #Constraints: 57372
1766.36/1771.53 c #Conflicts: 782000 | #Constraints: 58372
1766.36/1771.53 c #Conflicts: 783000 | #Constraints: 59372
1766.36/1771.53 c #Conflicts: 784000 | #Constraints: 60372
1766.36/1771.53 c #Conflicts: 785000 | #Constraints: 61372
1766.36/1771.53 c #Conflicts: 786000 | #Constraints: 62372
1766.36/1771.53 c #Conflicts: 787000 | #Constraints: 63372
1766.36/1771.53 c #Conflicts: 788000 | #Constraints: 64372
1766.36/1771.53 c #Conflicts: 789000 | #Constraints: 65372
1766.36/1771.53 c #Conflicts: 790000 | #Constraints: 66372
1766.36/1771.53 c #Conflicts: 791000 | #Constraints: 67372
1766.36/1771.53 c #Conflicts: 792000 | #Constraints: 68372
1766.36/1771.53 c INPROCESSING
1766.36/1771.53 c GARBAGE COLLECT
1766.36/1771.53 c #Conflicts: 793000 | #Constraints: 51768
1766.36/1771.53 c #Conflicts: 794000 | #Constraints: 52768
1766.36/1771.53 c #Conflicts: 795000 | #Constraints: 53768
1766.36/1771.53 c #Conflicts: 796000 | #Constraints: 54768
1766.36/1771.53 c #Conflicts: 797000 | #Constraints: 55768
1766.36/1771.53 c #Conflicts: 798000 | #Constraints: 56768
1766.36/1771.53 c #Conflicts: 799000 | #Constraints: 57768
1766.36/1771.53 c #Conflicts: 800000 | #Constraints: 58768
1766.36/1771.53 c #Conflicts: 801000 | #Constraints: 59768
1766.36/1771.53 c #Conflicts: 802000 | #Constraints: 60768
1766.36/1771.53 c #Conflicts: 803000 | #Constraints: 61768
1766.36/1771.53 c #Conflicts: 804000 | #Constraints: 62768
1766.36/1771.53 c #Conflicts: 805000 | #Constraints: 63768
1766.36/1771.53 c #Conflicts: 806000 | #Constraints: 64768
1766.36/1771.53 c #Conflicts: 807000 | #Constraints: 65768
1766.36/1771.53 c #Conflicts: 808000 | #Constraints: 66768
1766.36/1771.53 c #Conflicts: 809000 | #Constraints: 67768
1766.36/1771.53 c #Conflicts: 810000 | #Constraints: 68768
1766.36/1771.53 c INPROCESSING
1766.36/1771.53 c GARBAGE COLLECT
1766.36/1771.53 c #Conflicts: 811000 | #Constraints: 51985
1766.36/1771.53 c #Conflicts: 812000 | #Constraints: 52985
1766.36/1771.53 c #Conflicts: 813000 | #Constraints: 53985
1766.36/1771.53 c #Conflicts: 814000 | #Constraints: 54985
1766.36/1771.53 c #Conflicts: 815000 | #Constraints: 55985
1766.36/1771.53 c #Conflicts: 816000 | #Constraints: 56985
2021.11/2027.03 c #Conflicts: 817000 | #Constraints: 57985
2021.11/2027.03 c #Conflicts: 818000 | #Constraints: 58985
2021.11/2027.03 c #Conflicts: 819000 | #Constraints: 59985
2021.11/2027.03 c #Conflicts: 820000 | #Constraints: 60985
2021.11/2027.03 c #Conflicts: 821000 | #Constraints: 61985
2021.11/2027.03 c #Conflicts: 822000 | #Constraints: 62985
2021.11/2027.03 c #Conflicts: 823000 | #Constraints: 63985
2021.11/2027.03 c #Conflicts: 824000 | #Constraints: 64985
2021.11/2027.03 c #Conflicts: 825000 | #Constraints: 65985
2021.11/2027.03 c #Conflicts: 826000 | #Constraints: 66985
2021.11/2027.03 c #Conflicts: 827000 | #Constraints: 67985
2021.11/2027.03 c #Conflicts: 828000 | #Constraints: 68985
2021.11/2027.03 c INPROCESSING
2021.11/2027.03 c GARBAGE COLLECT
2021.11/2027.03 c #Conflicts: 829000 | #Constraints: 51981
2021.11/2027.03 c #Conflicts: 830000 | #Constraints: 52981
2021.11/2027.03 c #Conflicts: 831000 | #Constraints: 53981
2021.11/2027.03 c #Conflicts: 832000 | #Constraints: 54981
2021.11/2027.03 c #Conflicts: 833000 | #Constraints: 55981
2021.11/2027.03 c #Conflicts: 834000 | #Constraints: 56981
2021.11/2027.03 c #Conflicts: 835000 | #Constraints: 57981
2021.11/2027.03 c #Conflicts: 836000 | #Constraints: 58981
2021.11/2027.03 c #Conflicts: 837000 | #Constraints: 59981
2021.11/2027.03 c #Conflicts: 838000 | #Constraints: 60981
2021.11/2027.03 c #Conflicts: 839000 | #Constraints: 61981
2021.11/2027.03 c #Conflicts: 840000 | #Constraints: 62981
2021.11/2027.03 c #Conflicts: 841000 | #Constraints: 63981
2021.11/2027.03 c #Conflicts: 842000 | #Constraints: 64981
2021.11/2027.03 c #Conflicts: 843000 | #Constraints: 65981
2021.11/2027.03 c #Conflicts: 844000 | #Constraints: 66981
2021.11/2027.03 c #Conflicts: 845000 | #Constraints: 67981
2021.11/2027.03 c #Conflicts: 846000 | #Constraints: 68981
2021.11/2027.03 c INPROCESSING
2021.11/2027.03 c GARBAGE COLLECT
2021.11/2027.03 c #Conflicts: 847000 | #Constraints: 51808
2021.11/2027.03 c #Conflicts: 848000 | #Constraints: 52808
2021.11/2027.03 c #Conflicts: 849000 | #Constraints: 53808
2021.11/2027.03 c #Conflicts: 850000 | #Constraints: 54808
2021.11/2027.03 c #Conflicts: 851000 | #Constraints: 55808
2021.11/2027.03 c #Conflicts: 852000 | #Constraints: 56808
2021.11/2027.03 c #Conflicts: 853000 | #Constraints: 57808
2021.11/2027.03 c #Conflicts: 854000 | #Constraints: 58808
2021.11/2027.03 c #Conflicts: 855000 | #Constraints: 59808
2021.11/2027.03 c #Conflicts: 856000 | #Constraints: 60808
2021.11/2027.03 c #Conflicts: 857000 | #Constraints: 61808
2021.11/2027.03 c #Conflicts: 858000 | #Constraints: 62808
2021.11/2027.03 c #Conflicts: 859000 | #Constraints: 63808
2021.11/2027.03 c #Conflicts: 860000 | #Constraints: 64808
2021.11/2027.03 c #Conflicts: 861000 | #Constraints: 65808
2021.11/2027.03 c #Conflicts: 862000 | #Constraints: 66808
2021.11/2027.03 c #Conflicts: 863000 | #Constraints: 67808
2021.11/2027.03 c #Conflicts: 864000 | #Constraints: 68808
2021.11/2027.03 c #Conflicts: 865000 | #Constraints: 69808
2021.11/2027.03 c INPROCESSING
2021.11/2027.03 c GARBAGE COLLECT
2021.11/2027.03 c #Conflicts: 866000 | #Constraints: 52392
2021.11/2027.03 c #Conflicts: 867000 | #Constraints: 53392
2021.11/2027.03 c #Conflicts: 868000 | #Constraints: 54392
2021.11/2027.03 c #Conflicts: 869000 | #Constraints: 55392
2021.11/2027.03 c #Conflicts: 870000 | #Constraints: 56392
2021.11/2027.03 c #Conflicts: 871000 | #Constraints: 57392
2021.11/2027.03 c #Conflicts: 872000 | #Constraints: 58392
2021.11/2027.03 c #Conflicts: 873000 | #Constraints: 59392
2021.11/2027.03 c #Conflicts: 874000 | #Constraints: 60392
2021.11/2027.03 c #Conflicts: 875000 | #Constraints: 61392
2021.11/2027.03 c #Conflicts: 876000 | #Constraints: 62392
2021.11/2027.03 c #Conflicts: 877000 | #Constraints: 63392
2021.11/2027.03 c #Conflicts: 878000 | #Constraints: 64392
2021.11/2027.03 c #Conflicts: 879000 | #Constraints: 65392
2021.11/2027.03 c #Conflicts: 880000 | #Constraints: 66392
2021.11/2027.03 c #Conflicts: 881000 | #Constraints: 67392
2021.11/2027.03 c #Conflicts: 882000 | #Constraints: 68392
2021.11/2027.03 c #Conflicts: 883000 | #Constraints: 69392
2021.11/2027.03 c #Conflicts: 884000 | #Constraints: 70392
2021.11/2027.03 c INPROCESSING
2021.11/2027.03 c GARBAGE COLLECT
2021.11/2027.03 c #Conflicts: 885000 | #Constraints: 52798
2021.11/2027.03 c #Conflicts: 886000 | #Constraints: 53798
2021.11/2027.03 c #Conflicts: 887000 | #Constraints: 54798
2021.11/2027.03 c #Conflicts: 888000 | #Constraints: 55798
2021.11/2027.03 c #Conflicts: 889000 | #Constraints: 56798
2021.11/2027.03 c #Conflicts: 890000 | #Constraints: 57798
2021.11/2027.03 c #Conflicts: 891000 | #Constraints: 58798
2021.11/2027.03 c #Conflicts: 892000 | #Constraints: 59798
2301.19/2307.93 c #Conflicts: 893000 | #Constraints: 60798
2301.19/2307.93 c #Conflicts: 894000 | #Constraints: 61798
2301.19/2307.93 c #Conflicts: 895000 | #Constraints: 62798
2301.19/2307.93 c #Conflicts: 896000 | #Constraints: 63798
2301.19/2307.93 c #Conflicts: 897000 | #Constraints: 64798
2301.19/2307.93 c #Conflicts: 898000 | #Constraints: 65798
2301.19/2307.93 c #Conflicts: 899000 | #Constraints: 66798
2301.19/2307.93 c #Conflicts: 900000 | #Constraints: 67798
2301.19/2307.93 c #Conflicts: 901000 | #Constraints: 68798
2301.19/2307.93 c #Conflicts: 902000 | #Constraints: 69798
2301.19/2307.93 c #Conflicts: 903000 | #Constraints: 70798
2301.19/2307.93 c INPROCESSING
2301.19/2307.93 c GARBAGE COLLECT
2301.19/2307.93 c #Conflicts: 904000 | #Constraints: 53001
2301.19/2307.93 c #Conflicts: 905000 | #Constraints: 54001
2301.19/2307.93 c #Conflicts: 906000 | #Constraints: 55001
2301.19/2307.93 c #Conflicts: 907000 | #Constraints: 56001
2301.19/2307.93 c #Conflicts: 908000 | #Constraints: 57001
2301.19/2307.93 c #Conflicts: 909000 | #Constraints: 58001
2301.19/2307.93 c #Conflicts: 910000 | #Constraints: 59001
2301.19/2307.93 c #Conflicts: 911000 | #Constraints: 60001
2301.19/2307.93 c #Conflicts: 912000 | #Constraints: 61001
2301.19/2307.93 c #Conflicts: 913000 | #Constraints: 62001
2301.19/2307.93 c #Conflicts: 914000 | #Constraints: 63001
2301.19/2307.93 c #Conflicts: 915000 | #Constraints: 64001
2301.19/2307.93 c #Conflicts: 916000 | #Constraints: 65001
2301.19/2307.93 c #Conflicts: 917000 | #Constraints: 66001
2301.19/2307.93 c #Conflicts: 918000 | #Constraints: 67001
2301.19/2307.93 c #Conflicts: 919000 | #Constraints: 68001
2301.19/2307.93 c #Conflicts: 920000 | #Constraints: 69001
2301.19/2307.93 c #Conflicts: 921000 | #Constraints: 70001
2301.19/2307.93 c #Conflicts: 922000 | #Constraints: 71001
2301.19/2307.93 c INPROCESSING
2301.19/2307.93 c GARBAGE COLLECT
2301.19/2307.93 c #Conflicts: 923000 | #Constraints: 52983
2301.19/2307.93 c #Conflicts: 924000 | #Constraints: 53983
2301.19/2307.93 c #Conflicts: 925000 | #Constraints: 54983
2301.19/2307.93 c #Conflicts: 926000 | #Constraints: 55983
2301.19/2307.93 c #Conflicts: 927000 | #Constraints: 56983
2301.19/2307.93 c #Conflicts: 928000 | #Constraints: 57983
2301.19/2307.93 c #Conflicts: 929000 | #Constraints: 58983
2301.19/2307.93 c #Conflicts: 930000 | #Constraints: 59983
2301.19/2307.93 c #Conflicts: 931000 | #Constraints: 60983
2301.19/2307.93 c #Conflicts: 932000 | #Constraints: 61983
2301.19/2307.93 c #Conflicts: 933000 | #Constraints: 62983
2301.19/2307.93 c #Conflicts: 934000 | #Constraints: 63983
2301.19/2307.93 c #Conflicts: 935000 | #Constraints: 64983
2301.19/2307.93 c #Conflicts: 936000 | #Constraints: 65983
2301.19/2307.93 c #Conflicts: 937000 | #Constraints: 66983
2301.19/2307.93 c #Conflicts: 938000 | #Constraints: 67983
2301.19/2307.93 c #Conflicts: 939000 | #Constraints: 68983
2301.19/2307.93 c #Conflicts: 940000 | #Constraints: 69983
2301.19/2307.93 c #Conflicts: 941000 | #Constraints: 70983
2301.19/2307.93 c INPROCESSING
2301.19/2307.93 c GARBAGE COLLECT
2301.19/2307.93 c #Conflicts: 942000 | #Constraints: 52776
2301.19/2307.93 c #Conflicts: 943000 | #Constraints: 53776
2301.19/2307.93 c #Conflicts: 944000 | #Constraints: 54776
2301.19/2307.93 c #Conflicts: 945000 | #Constraints: 55776
2301.19/2307.93 c #Conflicts: 946000 | #Constraints: 56776
2301.19/2307.93 c #Conflicts: 947000 | #Constraints: 57776
2301.19/2307.93 c #Conflicts: 948000 | #Constraints: 58776
2301.19/2307.93 c #Conflicts: 949000 | #Constraints: 59776
2301.19/2307.93 c #Conflicts: 950000 | #Constraints: 60776
2301.19/2307.93 c #Conflicts: 951000 | #Constraints: 61776
2301.19/2307.93 c #Conflicts: 952000 | #Constraints: 62776
2301.19/2307.93 c #Conflicts: 953000 | #Constraints: 63776
2301.19/2307.93 c #Conflicts: 954000 | #Constraints: 64776
2301.19/2307.93 c #Conflicts: 955000 | #Constraints: 65776
2301.19/2307.93 c #Conflicts: 956000 | #Constraints: 66776
2301.19/2307.93 c #Conflicts: 957000 | #Constraints: 67776
2301.19/2307.93 c #Conflicts: 958000 | #Constraints: 68776
2301.19/2307.93 c #Conflicts: 959000 | #Constraints: 69776
2301.19/2307.93 c #Conflicts: 960000 | #Constraints: 70776
2301.19/2307.93 c #Conflicts: 961000 | #Constraints: 71776
2301.19/2307.93 c INPROCESSING
2301.19/2307.93 c GARBAGE COLLECT
2301.19/2307.93 c #Conflicts: 962000 | #Constraints: 53379
2301.19/2307.93 c #Conflicts: 963000 | #Constraints: 54379
2301.19/2307.93 c #Conflicts: 964000 | #Constraints: 55379
2301.19/2307.93 c #Conflicts: 965000 | #Constraints: 56379
2301.19/2307.93 c #Conflicts: 966000 | #Constraints: 57379
2301.19/2307.93 c #Conflicts: 967000 | #Constraints: 58379
2301.19/2307.93 c #Conflicts: 968000 | #Constraints: 59379
2588.53/2596.17 c #Conflicts: 969000 | #Constraints: 60379
2588.53/2596.17 c #Conflicts: 970000 | #Constraints: 61379
2588.53/2596.17 c #Conflicts: 971000 | #Constraints: 62379
2588.53/2596.17 c #Conflicts: 972000 | #Constraints: 63379
2588.53/2596.17 c #Conflicts: 973000 | #Constraints: 64379
2588.53/2596.17 c #Conflicts: 974000 | #Constraints: 65379
2588.53/2596.17 c #Conflicts: 975000 | #Constraints: 66379
2588.53/2596.17 c #Conflicts: 976000 | #Constraints: 67379
2588.53/2596.17 c #Conflicts: 977000 | #Constraints: 68379
2588.53/2596.17 c #Conflicts: 978000 | #Constraints: 69379
2588.53/2596.17 c #Conflicts: 979000 | #Constraints: 70379
2588.53/2596.17 c #Conflicts: 980000 | #Constraints: 71379
2588.53/2596.17 c #Conflicts: 981000 | #Constraints: 72379
2588.53/2596.17 c INPROCESSING
2588.53/2596.17 c GARBAGE COLLECT
2588.53/2596.17 c #Conflicts: 982000 | #Constraints: 53779
2588.53/2596.17 c #Conflicts: 983000 | #Constraints: 54779
2588.53/2596.17 c #Conflicts: 984000 | #Constraints: 55779
2588.53/2596.17 c #Conflicts: 985000 | #Constraints: 56779
2588.53/2596.17 c #Conflicts: 986000 | #Constraints: 57779
2588.53/2596.17 c #Conflicts: 987000 | #Constraints: 58779
2588.53/2596.17 c #Conflicts: 988000 | #Constraints: 59779
2588.53/2596.17 c #Conflicts: 989000 | #Constraints: 60779
2588.53/2596.17 c #Conflicts: 990000 | #Constraints: 61779
2588.53/2596.17 c #Conflicts: 991000 | #Constraints: 62779
2588.53/2596.17 c #Conflicts: 992000 | #Constraints: 63779
2588.53/2596.17 c #Conflicts: 993000 | #Constraints: 64779
2588.53/2596.17 c #Conflicts: 994000 | #Constraints: 65779
2588.53/2596.17 c #Conflicts: 995000 | #Constraints: 66779
2588.53/2596.17 c #Conflicts: 996000 | #Constraints: 67779
2588.53/2596.17 c #Conflicts: 997000 | #Constraints: 68779
2588.53/2596.17 c #Conflicts: 998000 | #Constraints: 69779
2588.53/2596.17 c #Conflicts: 999000 | #Constraints: 70779
2588.53/2596.17 c #Conflicts: 1000000 | #Constraints: 71779
2588.53/2596.17 c #Conflicts: 1001000 | #Constraints: 72779
2588.53/2596.17 c INPROCESSING
2588.53/2596.17 c GARBAGE COLLECT
2588.53/2596.17 c #Conflicts: 1002000 | #Constraints: 54004
2588.53/2596.17 c #Conflicts: 1003000 | #Constraints: 55004
2588.53/2596.17 c #Conflicts: 1004000 | #Constraints: 56004
2588.53/2596.17 c #Conflicts: 1005000 | #Constraints: 57004
2588.53/2596.17 c #Conflicts: 1006000 | #Constraints: 58004
2588.53/2596.17 c #Conflicts: 1007000 | #Constraints: 59004
2588.53/2596.17 c #Conflicts: 1008000 | #Constraints: 60004
2588.53/2596.17 c #Conflicts: 1009000 | #Constraints: 61004
2588.53/2596.17 c #Conflicts: 1010000 | #Constraints: 62004
2588.53/2596.17 c #Conflicts: 1011000 | #Constraints: 63004
2588.53/2596.17 c #Conflicts: 1012000 | #Constraints: 64004
2588.53/2596.17 c #Conflicts: 1013000 | #Constraints: 65004
2588.53/2596.17 c #Conflicts: 1014000 | #Constraints: 66004
2588.53/2596.17 c #Conflicts: 1015000 | #Constraints: 67004
2588.53/2596.17 c #Conflicts: 1016000 | #Constraints: 68004
2588.53/2596.17 c #Conflicts: 1017000 | #Constraints: 69004
2588.53/2596.17 c #Conflicts: 1018000 | #Constraints: 70004
2588.53/2596.17 c #Conflicts: 1019000 | #Constraints: 71004
2588.53/2596.17 c #Conflicts: 1020000 | #Constraints: 72004
2588.53/2596.17 c #Conflicts: 1021000 | #Constraints: 73004
2588.53/2596.17 c INPROCESSING
2588.53/2596.17 c GARBAGE COLLECT
2588.53/2596.17 c #Conflicts: 1022000 | #Constraints: 53992
2588.53/2596.17 c #Conflicts: 1023000 | #Constraints: 54992
2588.53/2596.17 c #Conflicts: 1024000 | #Constraints: 55992
2588.53/2596.17 c #Conflicts: 1025000 | #Constraints: 56992
2588.53/2596.17 c #Conflicts: 1026000 | #Constraints: 57992
2588.53/2596.17 c #Conflicts: 1027000 | #Constraints: 58992
2588.53/2596.17 c #Conflicts: 1028000 | #Constraints: 59992
2588.53/2596.17 c #Conflicts: 1029000 | #Constraints: 60992
2588.53/2596.17 c #Conflicts: 1030000 | #Constraints: 61992
2588.53/2596.17 c #Conflicts: 1031000 | #Constraints: 62992
2588.53/2596.17 c #Conflicts: 1032000 | #Constraints: 63992
2588.53/2596.17 c #Conflicts: 1033000 | #Constraints: 64992
2588.53/2596.17 c #Conflicts: 1034000 | #Constraints: 65992
2588.53/2596.17 c #Conflicts: 1035000 | #Constraints: 66992
2588.53/2596.17 c #Conflicts: 1036000 | #Constraints: 67992
2588.53/2596.17 c #Conflicts: 1037000 | #Constraints: 68992
2588.53/2596.17 c #Conflicts: 1038000 | #Constraints: 69992
2588.53/2596.17 c #Conflicts: 1039000 | #Constraints: 70992
2588.53/2596.17 c #Conflicts: 1040000 | #Constraints: 71992
2588.53/2596.17 c #Conflicts: 1041000 | #Constraints: 72992
2588.53/2596.17 c INPROCESSING
2588.53/2596.17 c GARBAGE COLLECT
2588.53/2596.17 c #Conflicts: 1042000 | #Constraints: 53800
2588.53/2596.17 c #Conflicts: 1043000 | #Constraints: 54800
2588.53/2596.17 c #Conflicts: 1044000 | #Constraints: 55800
2879.46/2887.90 c #Conflicts: 1045000 | #Constraints: 56800
2879.46/2887.90 c #Conflicts: 1046000 | #Constraints: 57800
2879.46/2887.90 c #Conflicts: 1047000 | #Constraints: 58800
2879.46/2887.90 c #Conflicts: 1048000 | #Constraints: 59800
2879.46/2887.90 c #Conflicts: 1049000 | #Constraints: 60800
2879.46/2887.90 c #Conflicts: 1050000 | #Constraints: 61800
2879.46/2887.90 c #Conflicts: 1051000 | #Constraints: 62800
2879.46/2887.90 c #Conflicts: 1052000 | #Constraints: 63800
2879.46/2887.90 c #Conflicts: 1053000 | #Constraints: 64800
2879.46/2887.90 c #Conflicts: 1054000 | #Constraints: 65800
2879.46/2887.90 c #Conflicts: 1055000 | #Constraints: 66800
2879.46/2887.90 c #Conflicts: 1056000 | #Constraints: 67800
2879.46/2887.90 c #Conflicts: 1057000 | #Constraints: 68800
2879.46/2887.90 c #Conflicts: 1058000 | #Constraints: 69800
2879.46/2887.90 c #Conflicts: 1059000 | #Constraints: 70800
2879.46/2887.90 c #Conflicts: 1060000 | #Constraints: 71800
2879.46/2887.90 c #Conflicts: 1061000 | #Constraints: 72800
2879.46/2887.90 c #Conflicts: 1062000 | #Constraints: 73800
2879.46/2887.90 c INPROCESSING
2879.46/2887.90 c GARBAGE COLLECT
2879.46/2887.90 c #Conflicts: 1063000 | #Constraints: 54401
2879.46/2887.90 c #Conflicts: 1064000 | #Constraints: 55401
2879.46/2887.90 c #Conflicts: 1065000 | #Constraints: 56401
2879.46/2887.90 c #Conflicts: 1066000 | #Constraints: 57401
2879.46/2887.90 c #Conflicts: 1067000 | #Constraints: 58401
2879.46/2887.90 c #Conflicts: 1068000 | #Constraints: 59401
2879.46/2887.90 c #Conflicts: 1069000 | #Constraints: 60401
2879.46/2887.90 c #Conflicts: 1070000 | #Constraints: 61401
2879.46/2887.90 c #Conflicts: 1071000 | #Constraints: 62401
2879.46/2887.90 c #Conflicts: 1072000 | #Constraints: 63401
2879.46/2887.90 c #Conflicts: 1073000 | #Constraints: 64401
2879.46/2887.90 c #Conflicts: 1074000 | #Constraints: 65401
2879.46/2887.90 c #Conflicts: 1075000 | #Constraints: 66401
2879.46/2887.90 c #Conflicts: 1076000 | #Constraints: 67401
2879.46/2887.90 c #Conflicts: 1077000 | #Constraints: 68401
2879.46/2887.90 c #Conflicts: 1078000 | #Constraints: 69401
2879.46/2887.90 c #Conflicts: 1079000 | #Constraints: 70401
2879.46/2887.90 c #Conflicts: 1080000 | #Constraints: 71401
2879.46/2887.90 c #Conflicts: 1081000 | #Constraints: 72401
2879.46/2887.90 c #Conflicts: 1082000 | #Constraints: 73401
2879.46/2887.90 c #Conflicts: 1083000 | #Constraints: 74401
2879.46/2887.90 c INPROCESSING
2879.46/2887.90 c GARBAGE COLLECT
2879.46/2887.90 c #Conflicts: 1084000 | #Constraints: 54805
2879.46/2887.90 c #Conflicts: 1085000 | #Constraints: 55805
2879.46/2887.90 c #Conflicts: 1086000 | #Constraints: 56805
2879.46/2887.90 c #Conflicts: 1087000 | #Constraints: 57805
2879.46/2887.90 c #Conflicts: 1088000 | #Constraints: 58805
2879.46/2887.90 c #Conflicts: 1089000 | #Constraints: 59805
2879.46/2887.90 c #Conflicts: 1090000 | #Constraints: 60805
2879.46/2887.90 c #Conflicts: 1091000 | #Constraints: 61805
2879.46/2887.90 c #Conflicts: 1092000 | #Constraints: 62805
2879.46/2887.90 c #Conflicts: 1093000 | #Constraints: 63805
2879.46/2887.90 c #Conflicts: 1094000 | #Constraints: 64805
2879.46/2887.90 c #Conflicts: 1095000 | #Constraints: 65805
2879.46/2887.90 c #Conflicts: 1096000 | #Constraints: 66805
2879.46/2887.90 c #Conflicts: 1097000 | #Constraints: 67805
2879.46/2887.90 c #Conflicts: 1098000 | #Constraints: 68805
2879.46/2887.90 c #Conflicts: 1099000 | #Constraints: 69805
2879.46/2887.90 c #Conflicts: 1100000 | #Constraints: 70805
2879.46/2887.90 c #Conflicts: 1101000 | #Constraints: 71805
2879.46/2887.90 c #Conflicts: 1102000 | #Constraints: 72805
2879.46/2887.90 c #Conflicts: 1103000 | #Constraints: 73805
2879.46/2887.90 c #Conflicts: 1104000 | #Constraints: 74805
2879.46/2887.90 c INPROCESSING
2879.46/2887.90 c GARBAGE COLLECT
2879.46/2887.90 c #Conflicts: 1105000 | #Constraints: 55012
2879.46/2887.90 c #Conflicts: 1106000 | #Constraints: 56012
2879.46/2887.90 c #Conflicts: 1107000 | #Constraints: 57012
2879.46/2887.90 c #Conflicts: 1108000 | #Constraints: 58012
2879.46/2887.90 c #Conflicts: 1109000 | #Constraints: 59012
2879.46/2887.90 c #Conflicts: 1110000 | #Constraints: 60012
2879.46/2887.90 c #Conflicts: 1111000 | #Constraints: 61012
2879.46/2887.90 c #Conflicts: 1112000 | #Constraints: 62012
2879.46/2887.90 c #Conflicts: 1113000 | #Constraints: 63012
2879.46/2887.90 c #Conflicts: 1114000 | #Constraints: 64012
2879.46/2887.90 c #Conflicts: 1115000 | #Constraints: 65012
2879.46/2887.90 c #Conflicts: 1116000 | #Constraints: 66012
2879.46/2887.90 c #Conflicts: 1117000 | #Constraints: 67012
2879.46/2887.90 c #Conflicts: 1118000 | #Constraints: 68012
2879.46/2887.90 c #Conflicts: 1119000 | #Constraints: 69012
2879.46/2887.90 c #Conflicts: 1120000 | #Constraints: 70012
2879.46/2887.90 c #Conflicts: 1121000 | #Constraints: 71012
3178.58/3187.90 c #Conflicts: 1122000 | #Constraints: 72012
3178.58/3187.90 c #Conflicts: 1123000 | #Constraints: 73012
3178.58/3187.90 c #Conflicts: 1124000 | #Constraints: 74012
3178.58/3187.90 c #Conflicts: 1125000 | #Constraints: 75012
3178.58/3187.90 c INPROCESSING
3178.58/3187.90 c GARBAGE COLLECT
3178.58/3187.90 c #Conflicts: 1126000 | #Constraints: 54999
3178.58/3187.90 c #Conflicts: 1127000 | #Constraints: 55999
3178.58/3187.90 c #Conflicts: 1128000 | #Constraints: 56999
3178.58/3187.90 c #Conflicts: 1129000 | #Constraints: 57999
3178.58/3187.90 c #Conflicts: 1130000 | #Constraints: 58999
3178.58/3187.90 c #Conflicts: 1131000 | #Constraints: 59999
3178.58/3187.90 c #Conflicts: 1132000 | #Constraints: 60999
3178.58/3187.90 c #Conflicts: 1133000 | #Constraints: 61999
3178.58/3187.90 c #Conflicts: 1134000 | #Constraints: 62999
3178.58/3187.90 c #Conflicts: 1135000 | #Constraints: 63999
3178.58/3187.90 c #Conflicts: 1136000 | #Constraints: 64999
3178.58/3187.90 c #Conflicts: 1137000 | #Constraints: 65999
3178.58/3187.90 c #Conflicts: 1138000 | #Constraints: 66999
3178.58/3187.90 c #Conflicts: 1139000 | #Constraints: 67999
3178.58/3187.90 c #Conflicts: 1140000 | #Constraints: 68999
3178.58/3187.90 c #Conflicts: 1141000 | #Constraints: 69999
3178.58/3187.90 c #Conflicts: 1142000 | #Constraints: 70999
3178.58/3187.90 c #Conflicts: 1143000 | #Constraints: 71999
3178.58/3187.90 c #Conflicts: 1144000 | #Constraints: 72999
3178.58/3187.90 c #Conflicts: 1145000 | #Constraints: 73999
3178.58/3187.90 c #Conflicts: 1146000 | #Constraints: 74999
3178.58/3187.90 c INPROCESSING
3178.58/3187.90 c GARBAGE COLLECT
3178.58/3187.90 c #Conflicts: 1147000 | #Constraints: 54788
3178.58/3187.90 c #Conflicts: 1148000 | #Constraints: 55788
3178.58/3187.90 c #Conflicts: 1149000 | #Constraints: 56788
3178.58/3187.90 c #Conflicts: 1150000 | #Constraints: 57788
3178.58/3187.90 c #Conflicts: 1151000 | #Constraints: 58788
3178.58/3187.90 c #Conflicts: 1152000 | #Constraints: 59788
3178.58/3187.90 c #Conflicts: 1153000 | #Constraints: 60788
3178.58/3187.90 c #Conflicts: 1154000 | #Constraints: 61788
3178.58/3187.90 c #Conflicts: 1155000 | #Constraints: 62788
3178.58/3187.90 c #Conflicts: 1156000 | #Constraints: 63788
3178.58/3187.90 c #Conflicts: 1157000 | #Constraints: 64788
3178.58/3187.90 c #Conflicts: 1158000 | #Constraints: 65788
3178.58/3187.90 c #Conflicts: 1159000 | #Constraints: 66788
3178.58/3187.90 c #Conflicts: 1160000 | #Constraints: 67788
3178.58/3187.90 c #Conflicts: 1161000 | #Constraints: 68788
3178.58/3187.90 c #Conflicts: 1162000 | #Constraints: 69788
3178.58/3187.90 c #Conflicts: 1163000 | #Constraints: 70788
3178.58/3187.90 c #Conflicts: 1164000 | #Constraints: 71788
3178.58/3187.90 c #Conflicts: 1165000 | #Constraints: 72788
3178.58/3187.90 c #Conflicts: 1166000 | #Constraints: 73788
3178.58/3187.90 c #Conflicts: 1167000 | #Constraints: 74788
3178.58/3187.90 c #Conflicts: 1168000 | #Constraints: 75788
3178.58/3187.90 c INPROCESSING
3178.58/3187.90 c GARBAGE COLLECT
3178.58/3187.90 c #Conflicts: 1169000 | #Constraints: 55415
3178.58/3187.90 c #Conflicts: 1170000 | #Constraints: 56415
3178.58/3187.90 c #Conflicts: 1171000 | #Constraints: 57415
3178.58/3187.90 c #Conflicts: 1172000 | #Constraints: 58415
3178.58/3187.90 c #Conflicts: 1173000 | #Constraints: 59415
3178.58/3187.90 c #Conflicts: 1174000 | #Constraints: 60415
3178.58/3187.90 c #Conflicts: 1175000 | #Constraints: 61415
3178.58/3187.90 c #Conflicts: 1176000 | #Constraints: 62415
3178.58/3187.90 c #Conflicts: 1177000 | #Constraints: 63415
3178.58/3187.90 c #Conflicts: 1178000 | #Constraints: 64415
3178.58/3187.90 c #Conflicts: 1179000 | #Constraints: 65415
3178.58/3187.90 c #Conflicts: 1180000 | #Constraints: 66415
3178.58/3187.90 c #Conflicts: 1181000 | #Constraints: 67415
3178.58/3187.90 c #Conflicts: 1182000 | #Constraints: 68415
3178.58/3187.90 c #Conflicts: 1183000 | #Constraints: 69415
3178.58/3187.90 c #Conflicts: 1184000 | #Constraints: 70415
3178.58/3187.90 c #Conflicts: 1185000 | #Constraints: 71415
3178.58/3187.90 c #Conflicts: 1186000 | #Constraints: 72415
3178.58/3187.90 c #Conflicts: 1187000 | #Constraints: 73415
3178.58/3187.90 c #Conflicts: 1188000 | #Constraints: 74415
3178.58/3187.90 c #Conflicts: 1189000 | #Constraints: 75415
3178.58/3187.90 c #Conflicts: 1190000 | #Constraints: 76415
3178.58/3187.90 c INPROCESSING
3178.58/3187.90 c GARBAGE COLLECT
3178.58/3187.90 c #Conflicts: 1191000 | #Constraints: 55816
3178.58/3187.90 c #Conflicts: 1192000 | #Constraints: 56816
3178.58/3187.90 c #Conflicts: 1193000 | #Constraints: 57816
3178.58/3187.90 c #Conflicts: 1194000 | #Constraints: 58816
3178.58/3187.90 c #Conflicts: 1195000 | #Constraints: 59816
3178.58/3187.90 c #Conflicts: 1196000 | #Constraints: 60816
3178.58/3187.90 c #Conflicts: 1197000 | #Constraints: 61816
3503.30/3513.63 c #Conflicts: 1198000 | #Constraints: 62816
3503.30/3513.63 c #Conflicts: 1199000 | #Constraints: 63816
3503.30/3513.63 c #Conflicts: 1200000 | #Constraints: 64816
3503.30/3513.63 c #Conflicts: 1201000 | #Constraints: 65816
3503.30/3513.63 c #Conflicts: 1202000 | #Constraints: 66816
3503.30/3513.63 c #Conflicts: 1203000 | #Constraints: 67816
3503.30/3513.63 c #Conflicts: 1204000 | #Constraints: 68816
3503.30/3513.63 c #Conflicts: 1205000 | #Constraints: 69816
3503.30/3513.63 c #Conflicts: 1206000 | #Constraints: 70816
3503.30/3513.63 c #Conflicts: 1207000 | #Constraints: 71816
3503.30/3513.63 c #Conflicts: 1208000 | #Constraints: 72816
3503.30/3513.63 c #Conflicts: 1209000 | #Constraints: 73816
3503.30/3513.63 c #Conflicts: 1210000 | #Constraints: 74816
3503.30/3513.63 c #Conflicts: 1211000 | #Constraints: 75816
3503.30/3513.63 c #Conflicts: 1212000 | #Constraints: 76816
3503.30/3513.63 c INPROCESSING
3503.30/3513.63 c GARBAGE COLLECT
3503.30/3513.63 c #Conflicts: 1213000 | #Constraints: 55994
3503.30/3513.63 c #Conflicts: 1214000 | #Constraints: 56994
3503.30/3513.63 c #Conflicts: 1215000 | #Constraints: 57994
3503.30/3513.63 c #Conflicts: 1216000 | #Constraints: 58994
3503.30/3513.63 c #Conflicts: 1217000 | #Constraints: 59994
3503.30/3513.63 c #Conflicts: 1218000 | #Constraints: 60994
3503.30/3513.63 c #Conflicts: 1219000 | #Constraints: 61994
3503.30/3513.63 c #Conflicts: 1220000 | #Constraints: 62994
3503.30/3513.63 c #Conflicts: 1221000 | #Constraints: 63994
3503.30/3513.63 c #Conflicts: 1222000 | #Constraints: 64994
3503.30/3513.63 c #Conflicts: 1223000 | #Constraints: 65994
3503.30/3513.63 c #Conflicts: 1224000 | #Constraints: 66994
3503.30/3513.63 c #Conflicts: 1225000 | #Constraints: 67994
3503.30/3513.63 c #Conflicts: 1226000 | #Constraints: 68994
3503.30/3513.63 c #Conflicts: 1227000 | #Constraints: 69994
3503.30/3513.63 c #Conflicts: 1228000 | #Constraints: 70994
3503.30/3513.63 c #Conflicts: 1229000 | #Constraints: 71994
3503.30/3513.63 c #Conflicts: 1230000 | #Constraints: 72994
3503.30/3513.63 c #Conflicts: 1231000 | #Constraints: 73994
3503.30/3513.63 c #Conflicts: 1232000 | #Constraints: 74994
3503.30/3513.63 c #Conflicts: 1233000 | #Constraints: 75994
3503.30/3513.63 c #Conflicts: 1234000 | #Constraints: 76994
3503.30/3513.63 c INPROCESSING
3503.30/3513.63 c GARBAGE COLLECT
3503.30/3513.63 c #Conflicts: 1235000 | #Constraints: 56015
3503.30/3513.63 c #Conflicts: 1236000 | #Constraints: 57015
3503.30/3513.63 c #Conflicts: 1237000 | #Constraints: 58015
3503.30/3513.63 c #Conflicts: 1238000 | #Constraints: 59015
3503.30/3513.63 c #Conflicts: 1239000 | #Constraints: 60015
3503.30/3513.63 c #Conflicts: 1240000 | #Constraints: 61015
3503.30/3513.63 c #Conflicts: 1241000 | #Constraints: 62015
3503.30/3513.63 c #Conflicts: 1242000 | #Constraints: 63015
3503.30/3513.63 c #Conflicts: 1243000 | #Constraints: 64015
3503.30/3513.63 c #Conflicts: 1244000 | #Constraints: 65015
3503.30/3513.63 c #Conflicts: 1245000 | #Constraints: 66015
3503.30/3513.63 c #Conflicts: 1246000 | #Constraints: 67015
3503.30/3513.63 c #Conflicts: 1247000 | #Constraints: 68015
3503.30/3513.63 c #Conflicts: 1248000 | #Constraints: 69015
3503.30/3513.63 c #Conflicts: 1249000 | #Constraints: 70015
3503.30/3513.63 c #Conflicts: 1250000 | #Constraints: 71015
3503.30/3513.63 c #Conflicts: 1251000 | #Constraints: 72015
3503.30/3513.63 c #Conflicts: 1252000 | #Constraints: 73015
3503.30/3513.63 c #Conflicts: 1253000 | #Constraints: 74015
3503.30/3513.63 c #Conflicts: 1254000 | #Constraints: 75015
3503.30/3513.63 c #Conflicts: 1255000 | #Constraints: 76015
3503.30/3513.63 c #Conflicts: 1256000 | #Constraints: 77015
3503.30/3513.63 c INPROCESSING
3503.30/3513.63 c GARBAGE COLLECT
3503.30/3513.63 c #Conflicts: 1257000 | #Constraints: 55801
3503.30/3513.63 c #Conflicts: 1258000 | #Constraints: 56801
3503.30/3513.63 c #Conflicts: 1259000 | #Constraints: 57801
3503.30/3513.63 c #Conflicts: 1260000 | #Constraints: 58801
3503.30/3513.63 c #Conflicts: 1261000 | #Constraints: 59801
3503.30/3513.63 c #Conflicts: 1262000 | #Constraints: 60801
3503.30/3513.63 c #Conflicts: 1263000 | #Constraints: 61801
3503.30/3513.63 c #Conflicts: 1264000 | #Constraints: 62801
3503.30/3513.63 c #Conflicts: 1265000 | #Constraints: 63801
3503.30/3513.63 c #Conflicts: 1266000 | #Constraints: 64801
3503.30/3513.63 c #Conflicts: 1267000 | #Constraints: 65801
3503.30/3513.63 c #Conflicts: 1268000 | #Constraints: 66801
3503.30/3513.63 c #Conflicts: 1269000 | #Constraints: 67801
3503.30/3513.63 c #Conflicts: 1270000 | #Constraints: 68801
3503.30/3513.63 c #Conflicts: 1271000 | #Constraints: 69801
3503.30/3513.63 c #Conflicts: 1272000 | #Constraints: 70801
3503.30/3513.63 c #Conflicts: 1273000 | #Constraints: 71801
3503.30/3513.63 c #Conflicts: 1274000 | #Constraints: 72801
3600.02/3610.61 c #Conflicts: 1275000 | #Constraints: 73801
3600.02/3610.61 c #Conflicts: 1276000 | #Constraints: 74801
3600.02/3610.61 c #Conflicts: 1277000 | #Constraints: 75801
3600.02/3610.61 c #Conflicts: 1278000 | #Constraints: 76801
3600.02/3610.61 c #Conflicts: 1279000 | #Constraints: 77801
3600.02/3610.61 c INPROCESSING
3600.02/3610.61 c GARBAGE COLLECT
3600.02/3610.61 c #Conflicts: 1280000 | #Constraints: 56385
3600.02/3610.61 c #Conflicts: 1281000 | #Constraints: 57385
3600.02/3610.61 c #Conflicts: 1282000 | #Constraints: 58385
3600.02/3610.61 c #Conflicts: 1283000 | #Constraints: 59385
3600.02/3610.61 c #Conflicts: 1284000 | #Constraints: 60385
3600.02/3610.61 c #Conflicts: 1285000 | #Constraints: 61385
3600.02/3610.61 c #Conflicts: 1286000 | #Constraints: 62385
3600.02/3610.61 c #Conflicts: 1287000 | #Constraints: 63385
3600.02/3610.61 c #Conflicts: 1288000 | #Constraints: 64385
3600.02/3610.61 c #Conflicts: 1289000 | #Constraints: 65385
3600.02/3610.61 c #Conflicts: 1290000 | #Constraints: 66385
3600.02/3610.61 c #Conflicts: 1291000 | #Constraints: 67385
3600.02/3610.61 c #Conflicts: 1292000 | #Constraints: 68385
3600.02/3610.61 c #Conflicts: 1293000 | #Constraints: 69385
3600.02/3610.61 c #Conflicts: 1294000 | #Constraints: 70385
3600.02/3610.61 c #Conflicts: 1295000 | #Constraints: 71385
3600.02/3610.61 c #Conflicts: 1296000 | #Constraints: 72385
3600.02/3610.61 c Program interrupted by user.
3600.02/3610.61 c cpu time 3592 s
3600.02/3610.61 c deterministic time 449821085699 4.50e+11
3600.02/3610.61 c optimization time 67.8137 s
3600.02/3610.61 c total solve time 3524.12 s
3600.02/3610.61 c core-guided solve time 3524.12 s
3600.02/3610.61 c propagation time 3401.61 s
3600.02/3610.61 c conflict analysis time 168.398 s
3600.02/3610.61 c propagations 1433859517
3600.02/3610.61 c resolve steps 18263982
3600.02/3610.61 c decisions 4569708
3600.02/3610.61 c conflicts 1296602
3600.02/3610.61 c restarts 2506
3600.02/3610.61 c inprocessing phases 104
3600.02/3610.61 c input clauses 18351
3600.02/3610.61 c input cardinalities 10
3600.02/3610.61 c input general constraints 14775
3600.02/3610.61 c input average constraint length 3.78
3600.02/3610.61 c input average constraint degree 1.89
3600.02/3610.61 c learned clauses 372471
3600.02/3610.61 c learned cardinalities 2974
3600.02/3610.61 c learned general constraints 921156
3600.02/3610.61 c learned average constraint length 238.09
3600.02/3610.61 c learned average constraint degree 56.50
3600.02/3610.61 c watched constraints 910488
3600.02/3610.61 c counting constraints 25443
3600.02/3610.61 c gcd simplifications 9274
3600.02/3610.61 c detected cardinalities 224
3600.02/3610.61 c weakened non-implied lits 21484460
3600.02/3610.61 c weakened non-implying lits 10052
3600.02/3610.61 c original variables 15725
3600.02/3610.61 c clausal propagations 107477766
3600.02/3610.61 c cardinality propagations 9206772
3600.02/3610.61 c watched propagations 22970991
3600.02/3610.61 c counting propagations 1290170995
3600.02/3610.61 c watch lookups 28172208012
3600.02/3610.61 c watch backjump lookups 4788930613
3600.02/3610.61 c watch checks 404047135178
3600.02/3610.61 c propagation checks 9341585824
3600.02/3610.61 c constraint additions 593084822
3600.02/3610.61 c trail pops 1439712024
3600.02/3610.61 c formula constraints 33136
3600.02/3610.61 c learned constraints 1296601
3600.02/3610.61 c bound constraints 0
3600.02/3610.61 c core-guided constraints 0
3600.02/3610.61 c encountered formula constraints 13139435
3600.02/3610.61 c encountered learned constraints 6421149
3600.02/3610.61 c encountered bound constraints 0
3600.02/3610.61 c encountered core-guided constraints 0
3600.02/3610.61 c LP total time 0 s
3600.02/3610.61 c LP solve time 0 s
3600.02/3610.61 c LP constraints added 0
3600.02/3610.61 c LP constraints removed 0
3600.02/3610.61 c LP pivots internal 0
3600.02/3610.61 c LP pivots root 0
3600.02/3610.61 c LP calls 0
3600.02/3610.61 c LP optimalities 0
3600.02/3610.61 c LP no pivot count 0
3600.02/3610.61 c LP infeasibilities 0
3600.02/3610.61 c LP valid Farkas constraints 0
3600.02/3610.61 c LP learned Farkas constraints 0
3600.02/3610.61 c LP basis resets 0
3600.02/3610.61 c LP cycling count 0
3600.02/3610.61 c LP singular count 0
3600.02/3610.61 c LP no primal count 0
3600.02/3610.61 c LP no farkas count 0
3600.02/3610.61 c LP other issue count 0
3600.02/3610.61 c LP Gomory cuts 0
3600.02/3610.61 c LP learned cuts 0
3600.02/3610.61 c LP deleted cuts 0
3600.02/3610.61 c LP encountered Gomory constraints 0
3600.02/3610.61 c LP encountered Farkas constraints 0
3600.02/3610.61 c LP encountered learned Farkas constraints 0
3600.02/3610.61 c CG auxiliary variables introduced 0
3600.02/3610.61 c CG solutions found 0
3600.02/3610.61 c CG cores constructed 0
3600.02/3610.61 c CG core cardinality constraints returned 0
3600.02/3610.61 c CG unit cores 0
3600.02/3610.61 c CG single cores 0
3600.02/3610.61 c CG blocks removed during cardinality reduction 0
3600.02/3610.61 c CG first core best 0
3600.02/3610.61 c CG decision core best 0
3600.02/3610.61 c CG core reduction tie 0
3600.02/3610.61 c CG core degree average 0.00
3600.02/3610.61 c CG core slack average 0.00
3600.02/3610.61 c CG exhausted 0
3600.02/3610.61 c CG exhaust time 0 s
3600.02/3610.61 c CG trimmed 0
3600.02/3610.61 c CG trim time 0 s
3600.02/3610.61 c CG minimized 0
3600.02/3610.61 c CG minimize time 0 s
3600.02/3610.61 c CG am1 prop time 9.4e-05 s
3600.02/3610.61 c CG # am1s reformulated 0
3600.02/3610.61 c CG lower bound derived from am1s 0
3600.02/3610.61 c CG # clausal cores 0
3600.02/3610.61 c CG # cardinality cores 0
3600.02/3610.61 c CG # pb cores 0
3600.02/3610.61 c CG # pb reforms 0
3600.02/3610.61 c CG # cores discarded because of pb reform 0
3600.02/3610.61 d LOWERBOUND 0
3600.02/3610.61 d NCORES 0
3600.02/3610.61 d NPBCORES 0
3600.02/3610.61 d NPBREFORM 0
3600.02/3610.61 d NTRIMMED 0
3600.02/3610.61 d NEXHAUSTED 0
3600.02/3610.61 d NAM1S 0
3600.02/3610.61 d AM1LB 0
3600.02/3610.61 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60920 MiB free)
memory of node 1: 64507 MiB (62539 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505120-1751457722/watcher-4505120-1751457722 -o /tmp/evaluation-result-4505120-1751457722/solver-4505120-1751457722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751454109-64510 --watchdog 3760 pb-oll-rs HOME/instance-4505120-1751457722.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=64904, runsolver pid=64901
[startup+0.100063 s]*
/proc/loadavg: 4.15 4.10 4.03 5/263 64905
/proc/meminfo: memFree=126421132/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=24592 memory=12608 CPUtime=0.08 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 1748 0 0 0 6 2 0 0 20 0 1 0 61449868 25182208 3152 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 6148 3152 1152 243 0 2397 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 24592 KiB
Current children cumulated memory: 12608 KiB
[startup+0.205529 s]*
/proc/loadavg: 4.15 4.10 4.03 5/263 64905
/proc/meminfo: memFree=126407576/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=26084 memory=14912 CPUtime=0.19 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 2165 0 0 0 16 3 0 0 20 0 1 0 61449868 26710016 3728 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 6521 3728 1344 243 0 2770 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26084 KiB
Current children cumulated memory: 14912 KiB
[startup+0.305511 s]*
/proc/loadavg: 4.15 4.10 4.03 5/263 64905
/proc/meminfo: memFree=126407576/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=26480 memory=15296 CPUtime=0.28 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 2265 0 0 0 25 3 0 0 20 0 1 0 61449868 27115520 3824 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 6620 3824 1344 243 0 2869 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 26480 KiB
Current children cumulated memory: 15296 KiB
[startup+0.700138 s]
/proc/loadavg: 4.15 4.10 4.03 5/263 64905
/proc/meminfo: memFree=126398000/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=30528 memory=20160 CPUtime=0.67 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 3487 0 0 0 63 4 0 0 20 0 1 0 61449868 31260672 5040 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 7632 5040 1344 243 0 3881 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 30528 KiB
Current children cumulated memory: 20160 KiB
[startup+1.50018 s]
/proc/loadavg: 4.15 4.10 4.03 5/263 64905
/proc/meminfo: memFree=126398000/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=37396 memory=25512 CPUtime=1.47 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 4450 0 0 0 141 6 0 0 20 0 1 0 61449868 38293504 6378 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 9349 6378 1344 243 0 5598 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 37396 KiB
Current children cumulated memory: 25512 KiB
[startup+3.10544 s]
/proc/loadavg: 4.15 4.10 4.03 5/262 64911
/proc/meminfo: memFree=126377748/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=40620 memory=30120 CPUtime=3.06 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 5618 0 0 0 299 7 0 0 20 0 1 0 61449868 41594880 7530 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 10155 7530 1344 243 0 6404 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 40620 KiB
Current children cumulated memory: 30120 KiB
[startup+6.30016 s]
/proc/loadavg: 4.14 4.10 4.03 4/262 64939
/proc/meminfo: memFree=126030604/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=50232 memory=35232 CPUtime=6.25 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 6378 0 0 0 614 11 0 0 20 0 1 0 61449868 51437568 8808 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 12558 8808 1344 243 0 8807 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 50232 KiB
Current children cumulated memory: 35232 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.03 5/264 64981
/proc/meminfo: memFree=125284116/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=53048 memory=39948 CPUtime=12.64 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 7284 0 0 0 1248 16 0 0 20 0 1 0 61449868 54321152 9987 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 13262 9987 1344 243 0 9511 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 53048 KiB
Current children cumulated memory: 39948 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.03 5/264 64981
/proc/meminfo: memFree=124961636/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=56240 memory=44680 CPUtime=25.4 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 8534 0 0 0 2515 25 0 0 20 0 1 0 61449868 57589760 11170 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 14060 11170 1344 243 0 10309 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 56240 KiB
Current children cumulated memory: 44680 KiB
[startup+51.1055 s]
/proc/loadavg: 4.21 4.12 4.03 5/264 64982
/proc/meminfo: memFree=124457612/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=72284 memory=49528 CPUtime=50.93 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 10360 0 0 0 5052 41 0 0 20 0 1 0 61449868 74018816 12382 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 18071 12382 1344 243 0 14320 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 72284 KiB
Current children cumulated memory: 49528 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.04 5/264 64987
/proc/meminfo: memFree=123831268/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=75836 memory=59964 CPUtime=101.98 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 12395 0 0 0 10128 70 0 0 20 0 1 0 61449868 77656064 14991 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 18959 14991 1344 243 0 15208 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 75836 KiB
Current children cumulated memory: 59964 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/264 64989
/proc/meminfo: memFree=122971800/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=79424 memory=65872 CPUtime=161.82 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 14079 0 0 0 16082 100 0 0 20 0 1 0 61449868 81330176 16468 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 19856 16468 1344 243 0 16105 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 79424 KiB
Current children cumulated memory: 65872 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/264 64991
/proc/meminfo: memFree=122268664/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=103004 memory=73640 CPUtime=221.65 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 15964 0 0 0 22041 124 0 0 20 0 1 0 61449868 105476096 18410 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 25751 18410 1344 243 0 22000 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 103004 KiB
Current children cumulated memory: 73640 KiB
[startup+282.3 s]
/proc/loadavg: 4.26 4.14 4.05 5/264 64994
/proc/meminfo: memFree=122105636/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=108288 memory=79600 CPUtime=281.49 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 18076 0 0 0 28004 145 0 0 20 0 1 0 61449868 110886912 19900 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 27072 19900 1344 243 0 23321 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 108288 KiB
Current children cumulated memory: 79600 KiB
[startup+342.3 s]
/proc/loadavg: 4.36 4.20 4.08 5/264 64996
/proc/meminfo: memFree=121531592/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=109252 memory=84300 CPUtime=341.31 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 19153 0 0 0 33965 166 0 0 20 0 1 0 61449868 111874048 21075 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 27313 21075 1344 243 0 23562 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 109252 KiB
Current children cumulated memory: 84300 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.18 4.08 5/264 64998
/proc/meminfo: memFree=120963124/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=111876 memory=90208 CPUtime=401.14 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 20445 0 0 0 39929 185 0 0 20 0 1 0 61449868 114561024 22552 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 27969 22552 1344 243 0 24218 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 111876 KiB
Current children cumulated memory: 90208 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.16 4.08 5/264 65000
/proc/meminfo: memFree=120587288/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=114120 memory=91876 CPUtime=460.98 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 21711 0 0 0 45896 202 0 0 20 0 1 0 61449868 116858880 22969 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 28530 22969 1344 243 0 24779 0
Current children cumulated CPU time: 460.98 s
################
# More data... #
################
Current children cumulated memory: 151652 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 65119
/proc/meminfo: memFree=117501460/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=177428 memory=152148 CPUtime=2853.94 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 42083 0 0 0 284710 684 0 0 20 0 1 0 61449868 181686272 38037 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 44357 38037 1344 243 0 40606 0
Current children cumulated CPU time: 2853.94 s
Current children cumulated vsize: 177428 KiB
Current children cumulated memory: 152148 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 65123
/proc/meminfo: memFree=117490692/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=178292 memory=152708 CPUtime=2913.76 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 42559 0 0 0 290683 693 0 0 20 0 1 0 61449868 182571008 38177 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 44573 38177 1344 243 0 40822 0
Current children cumulated CPU time: 2913.76 s
Current children cumulated vsize: 178292 KiB
Current children cumulated memory: 152708 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 65126
/proc/meminfo: memFree=117489704/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=178292 memory=152708 CPUtime=2973.58 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 42559 0 0 0 296653 705 0 0 20 0 1 0 61449868 182571008 38177 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 44573 38177 1344 243 0 40822 0
Current children cumulated CPU time: 2973.58 s
Current children cumulated vsize: 178292 KiB
Current children cumulated memory: 152708 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 65128
/proc/meminfo: memFree=117477272/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=178548 memory=152848 CPUtime=3033.4 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 42930 0 0 0 302625 715 0 0 20 0 1 0 61449868 182833152 38212 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 44637 38212 1344 243 0 40886 0
Current children cumulated CPU time: 3033.4 s
Current children cumulated vsize: 178548 KiB
Current children cumulated memory: 152848 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 65136
/proc/meminfo: memFree=117464068/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=178740 memory=152996 CPUtime=3093.22 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 43303 0 0 0 308596 726 0 0 20 0 1 0 61449868 183029760 38249 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 44685 38249 1344 243 0 40934 0
Current children cumulated CPU time: 3093.22 s
Current children cumulated vsize: 178740 KiB
Current children cumulated memory: 152996 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 65138
/proc/meminfo: memFree=117441344/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=178996 memory=153124 CPUtime=3153.05 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 43345 0 0 0 314570 735 0 0 20 0 1 0 61449868 183291904 38281 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 44749 38281 1344 243 0 40998 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 178996 KiB
Current children cumulated memory: 153124 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 65140
/proc/meminfo: memFree=117418268/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=180020 memory=153688 CPUtime=3212.87 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 43831 0 0 0 320542 745 0 0 20 0 1 0 61449868 184340480 38422 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 45005 38422 1344 243 0 41254 0
Current children cumulated CPU time: 3212.87 s
Current children cumulated vsize: 180020 KiB
Current children cumulated memory: 153688 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 65142
/proc/meminfo: memFree=117397144/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=180532 memory=154188 CPUtime=3272.7 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 44275 0 0 0 326515 755 0 0 20 0 1 0 61449868 184864768 38547 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 45133 38547 1344 243 0 41382 0
Current children cumulated CPU time: 3272.7 s
Current children cumulated vsize: 180532 KiB
Current children cumulated memory: 154188 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 65144
/proc/meminfo: memFree=117377964/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=180788 memory=154188 CPUtime=3332.52 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 44278 0 0 0 332488 764 0 0 20 0 1 0 61449868 185126912 38547 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 45197 38547 1344 243 0 41446 0
Current children cumulated CPU time: 3332.52 s
Current children cumulated vsize: 180788 KiB
Current children cumulated memory: 154188 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 65146
/proc/meminfo: memFree=117378084/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=180788 memory=154348 CPUtime=3392.34 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 44713 0 0 0 338459 775 0 0 20 0 1 0 61449868 185126912 38587 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 45197 38587 1344 243 0 41446 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 180788 KiB
Current children cumulated memory: 154348 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 65148
/proc/meminfo: memFree=117343796/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=181940 memory=157280 CPUtime=3452.16 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 45280 0 0 0 344434 782 0 0 20 0 1 0 61449868 186306560 39320 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 45485 39320 1344 243 0 41734 0
Current children cumulated CPU time: 3452.16 s
Current children cumulated vsize: 181940 KiB
Current children cumulated memory: 157280 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 65154
/proc/meminfo: memFree=117341584/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=181940 memory=157280 CPUtime=3511.98 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 45280 0 0 0 350406 792 0 0 20 0 1 0 61449868 186306560 39320 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 45485 39320 1344 243 0 41734 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 181940 KiB
Current children cumulated memory: 157280 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 65167
/proc/meminfo: memFree=117329692/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=182580 memory=157744 CPUtime=3571.8 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 45735 0 0 0 356380 800 0 0 20 0 1 0 61449868 186961920 39436 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 45645 39436 1344 243 0 41894 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 182580 KiB
Current children cumulated memory: 157744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 65168
/proc/meminfo: memFree=117329700/131249996 swapFree=33010160/33010684
[pid=64904] ppid=64901 vsize=182580 memory=157744 CPUtime=3600.02 cores=5,7
/proc/64904/stat : 64904 (pb-oll-rs) R 64901 64904 64497 0 -1 4194304 45735 0 0 0 359199 803 0 0 20 0 1 0 61449868 186961920 39436 18446744073709551615 4218880 5211445 140733058614112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 24055808 140733058615708 140733058615785 140733058615785 140733058621387 0
/proc/64904/statm: 45645 39436 1344 243 0 41894 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 182580 KiB
Current children cumulated memory: 157744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 64904 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.01 s, system=8.03351 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.61
CPU time (s): 3600.04
CPU user time (s): 3592.01
CPU system time (s): 8.03351
CPU usage (%): 99.7071
Max. virtual memory (cumulated for all children) (KiB): 184196
Max. memory (cumulated for all children) (KiB): 159072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.01
system time used= 8.03351
maximum resident set size= 159072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45749
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129
involuntary context switches= 19436
# summary of solver processes directly reported to runsolver:
# pid: 64904
# total CPU time (s): 3600.04
# total CPU user time (s): 3592.01
# total CPU system time (s): 8.03351
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77117 second user time and 16.2062 second system time
The end
Begin job on nodeC021 at 2025-07-02 14:02:02
IDJOB=4505120
IDBENCH=155741
IDSOLVER=3345
FILE ID=nodeC021/4505120-1751457722
RUNJOBID= nodeC021-1751454109-64510
SLURM_JOB_ID= 9598445
Free space on /tmp= 431456 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat25_6_3_8_ic.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505120-1751457722/watcher-4505120-1751457722 -o /tmp/evaluation-result-4505120-1751457722/solver-4505120-1751457722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751454109-64510 --watchdog 3760 pb-oll-rs HOME/instance-4505120-1751457722.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a4e6307a32e39171940a0b0a520e3b91
RANDOM SEED=1155125820
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.703
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.782
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3619.606
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3614.569
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.655
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3628.928
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.995
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.781
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126423820 kB
MemAvailable: 129580088 kB
Buffers: 2128 kB
Cached: 3894948 kB
SwapCached: 20 kB
Active: 636108 kB
Inactive: 3416280 kB
Active(anon): 162436 kB
Inactive(anon): 10924 kB
Active(file): 473672 kB
Inactive(file): 3405356 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22132 kB
Writeback: 0 kB
AnonPages: 157984 kB
Mapped: 106300 kB
Shmem: 18040 kB
KReclaimable: 232560 kB
Slab: 324260 kB
SReclaimable: 232560 kB
SUnreclaim: 91700 kB
KernelStack: 4208 kB
PageTables: 3188 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 488804 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 34816 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431300 MiB
End job on nodeC021 at 2025-07-02 15:02:13