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.00/0.01 c [STEP] solving
0.00/0.01 c #variables 1945 #constraints 3355
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 5621 @ 0.006882
0.00/0.01 c stratification level: 2034
0.00/0.01 c bounds 43695 >= 5621 @ 0.007729
0.00/0.01 c stratification level: 2031
31.79/31.90 c #Conflicts: 1000 | #Constraints: 4355
31.79/31.90 c #Conflicts: 2000 | #Constraints: 5355
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 3000 | #Constraints: 5356
31.79/31.90 c #Conflicts: 4000 | #Constraints: 6356
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 5000 | #Constraints: 5761
31.79/31.90 c #Conflicts: 6000 | #Constraints: 6761
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 7000 | #Constraints: 5761
31.79/31.90 c #Conflicts: 8000 | #Constraints: 6761
31.79/31.90 c #Conflicts: 9000 | #Constraints: 7761
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 10000 | #Constraints: 6463
31.79/31.90 c #Conflicts: 11000 | #Constraints: 7463
31.79/31.90 c #Conflicts: 12000 | #Constraints: 8463
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 13000 | #Constraints: 6919
31.79/31.90 c #Conflicts: 14000 | #Constraints: 7919
31.79/31.90 c #Conflicts: 15000 | #Constraints: 8919
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 16000 | #Constraints: 7147
31.79/31.90 c #Conflicts: 17000 | #Constraints: 8147
31.79/31.90 c #Conflicts: 18000 | #Constraints: 9147
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 19000 | #Constraints: 7156
31.79/31.90 c #Conflicts: 20000 | #Constraints: 8156
31.79/31.90 c #Conflicts: 21000 | #Constraints: 9156
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 22000 | #Constraints: 6967
31.79/31.90 c #Conflicts: 23000 | #Constraints: 7967
31.79/31.90 c #Conflicts: 24000 | #Constraints: 8967
31.79/31.90 c #Conflicts: 25000 | #Constraints: 9967
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 26000 | #Constraints: 7574
31.79/31.90 c #Conflicts: 27000 | #Constraints: 8574
31.79/31.90 c #Conflicts: 28000 | #Constraints: 9574
31.79/31.90 c #Conflicts: 29000 | #Constraints: 10574
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 30000 | #Constraints: 7971
31.79/31.90 c #Conflicts: 31000 | #Constraints: 8971
31.79/31.90 c #Conflicts: 32000 | #Constraints: 9971
31.79/31.90 c #Conflicts: 33000 | #Constraints: 10971
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 34000 | #Constraints: 8168
31.79/31.90 c #Conflicts: 35000 | #Constraints: 9168
31.79/31.90 c #Conflicts: 36000 | #Constraints: 10168
31.79/31.90 c #Conflicts: 37000 | #Constraints: 11168
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 38000 | #Constraints: 8176
31.79/31.90 c #Conflicts: 39000 | #Constraints: 9176
31.79/31.90 c #Conflicts: 40000 | #Constraints: 10176
31.79/31.90 c #Conflicts: 41000 | #Constraints: 11176
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 42000 | #Constraints: 7982
31.79/31.90 c #Conflicts: 43000 | #Constraints: 8982
31.79/31.90 c #Conflicts: 44000 | #Constraints: 9982
31.79/31.90 c #Conflicts: 45000 | #Constraints: 10982
31.79/31.90 c #Conflicts: 46000 | #Constraints: 11982
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 47000 | #Constraints: 8575
31.79/31.90 c #Conflicts: 48000 | #Constraints: 9575
31.79/31.90 c #Conflicts: 49000 | #Constraints: 10575
31.79/31.90 c #Conflicts: 50000 | #Constraints: 11575
31.79/31.90 c #Conflicts: 51000 | #Constraints: 12575
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 52000 | #Constraints: 8978
31.79/31.90 c #Conflicts: 53000 | #Constraints: 9978
31.79/31.90 c #Conflicts: 54000 | #Constraints: 10978
31.79/31.90 c #Conflicts: 55000 | #Constraints: 11978
31.79/31.90 c #Conflicts: 56000 | #Constraints: 12978
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 57000 | #Constraints: 9180
31.79/31.90 c #Conflicts: 58000 | #Constraints: 10180
31.79/31.90 c #Conflicts: 59000 | #Constraints: 11180
31.79/31.90 c #Conflicts: 60000 | #Constraints: 12180
31.79/31.90 c #Conflicts: 61000 | #Constraints: 13180
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 62000 | #Constraints: 9180
31.79/31.90 c #Conflicts: 63000 | #Constraints: 10180
31.79/31.90 c #Conflicts: 64000 | #Constraints: 11180
31.79/31.90 c #Conflicts: 65000 | #Constraints: 12180
31.79/31.90 c #Conflicts: 66000 | #Constraints: 13180
31.79/31.90 c INPROCESSING
31.79/31.90 c GARBAGE COLLECT
31.79/31.90 c #Conflicts: 67000 | #Constraints: 8978
31.79/31.90 c #Conflicts: 68000 | #Constraints: 9978
84.52/84.80 c #Conflicts: 69000 | #Constraints: 10978
84.52/84.80 c #Conflicts: 70000 | #Constraints: 11978
84.52/84.80 c #Conflicts: 71000 | #Constraints: 12978
84.52/84.80 c #Conflicts: 72000 | #Constraints: 13978
84.52/84.80 c INPROCESSING
84.52/84.80 c GARBAGE COLLECT
84.52/84.80 c #Conflicts: 73000 | #Constraints: 9583
84.52/84.80 c #Conflicts: 74000 | #Constraints: 10583
84.52/84.80 c #Conflicts: 75000 | #Constraints: 11583
84.52/84.80 c #Conflicts: 76000 | #Constraints: 12583
84.52/84.80 c #Conflicts: 77000 | #Constraints: 13583
84.52/84.80 c #Conflicts: 78000 | #Constraints: 14583
84.52/84.80 c INPROCESSING
84.52/84.80 c GARBAGE COLLECT
84.52/84.80 c #Conflicts: 79000 | #Constraints: 9991
84.52/84.80 c #Conflicts: 80000 | #Constraints: 10991
84.52/84.80 c #Conflicts: 81000 | #Constraints: 11991
84.52/84.80 c #Conflicts: 82000 | #Constraints: 12991
84.52/84.80 c #Conflicts: 83000 | #Constraints: 13991
84.52/84.80 c #Conflicts: 84000 | #Constraints: 14991
84.52/84.80 c INPROCESSING
84.52/84.80 c GARBAGE COLLECT
84.52/84.80 c #Conflicts: 85000 | #Constraints: 10193
84.52/84.80 c #Conflicts: 86000 | #Constraints: 11193
84.52/84.80 c #Conflicts: 87000 | #Constraints: 12193
84.52/84.80 c #Conflicts: 88000 | #Constraints: 13193
84.52/84.80 c #Conflicts: 89000 | #Constraints: 14193
84.52/84.80 c #Conflicts: 90000 | #Constraints: 15193
84.52/84.80 c INPROCESSING
84.52/84.80 c GARBAGE COLLECT
84.52/84.80 c #Conflicts: 91000 | #Constraints: 10197
84.52/84.80 c #Conflicts: 92000 | #Constraints: 11197
84.52/84.80 c #Conflicts: 93000 | #Constraints: 12197
84.52/84.80 c #Conflicts: 94000 | #Constraints: 13197
84.52/84.80 c #Conflicts: 95000 | #Constraints: 14197
84.52/84.80 c #Conflicts: 96000 | #Constraints: 15197
84.52/84.80 c INPROCESSING
84.52/84.80 c GARBAGE COLLECT
84.52/84.80 c #Conflicts: 97000 | #Constraints: 9997
84.52/84.80 c #Conflicts: 98000 | #Constraints: 10997
84.52/84.80 c #Conflicts: 99000 | #Constraints: 11997
84.52/84.80 c #Conflicts: 100000 | #Constraints: 12997
84.52/84.80 c #Conflicts: 101000 | #Constraints: 13997
84.52/84.80 c #Conflicts: 102000 | #Constraints: 14997
84.52/84.80 c #Conflicts: 103000 | #Constraints: 15997
84.52/84.80 c INPROCESSING
84.52/84.80 c GARBAGE COLLECT
84.52/84.80 c #Conflicts: 104000 | #Constraints: 10590
84.52/84.80 c #Conflicts: 105000 | #Constraints: 11590
84.52/84.80 c #Conflicts: 106000 | #Constraints: 12590
84.52/84.80 c #Conflicts: 107000 | #Constraints: 13590
84.52/84.80 c #Conflicts: 108000 | #Constraints: 14590
84.52/84.80 c #Conflicts: 109000 | #Constraints: 15590
84.52/84.80 c #Conflicts: 110000 | #Constraints: 16590
84.52/84.80 c INPROCESSING
84.52/84.80 c GARBAGE COLLECT
84.52/84.80 c #Conflicts: 111000 | #Constraints: 10988
84.52/84.80 c #Conflicts: 112000 | #Constraints: 11988
84.52/84.80 c #Conflicts: 113000 | #Constraints: 12988
84.52/84.80 c #Conflicts: 114000 | #Constraints: 13988
84.52/84.80 c #Conflicts: 115000 | #Constraints: 14988
84.52/84.80 c #Conflicts: 116000 | #Constraints: 15988
84.52/84.80 c #Conflicts: 117000 | #Constraints: 16988
84.52/84.80 c INPROCESSING
84.52/84.80 c GARBAGE COLLECT
84.52/84.80 c #Conflicts: 118000 | #Constraints: 11199
84.52/84.80 c #Conflicts: 119000 | #Constraints: 12199
84.52/84.80 c #Conflicts: 120000 | #Constraints: 13199
84.52/84.80 c #Conflicts: 121000 | #Constraints: 14199
84.52/84.80 c #Conflicts: 122000 | #Constraints: 15199
84.52/84.80 c #Conflicts: 123000 | #Constraints: 16199
84.52/84.80 c #Conflicts: 124000 | #Constraints: 17199
84.52/84.80 c INPROCESSING
84.52/84.80 c GARBAGE COLLECT
84.52/84.80 c #Conflicts: 125000 | #Constraints: 11190
84.52/84.80 c #Conflicts: 126000 | #Constraints: 12190
84.52/84.80 c #Conflicts: 127000 | #Constraints: 13190
84.52/84.80 c #Conflicts: 128000 | #Constraints: 14190
84.52/84.80 c #Conflicts: 129000 | #Constraints: 15190
84.52/84.80 c #Conflicts: 130000 | #Constraints: 16190
84.52/84.80 c #Conflicts: 131000 | #Constraints: 17190
84.52/84.80 c INPROCESSING
84.52/84.80 c GARBAGE COLLECT
84.52/84.80 c #Conflicts: 132000 | #Constraints: 10989
84.52/84.80 c #Conflicts: 133000 | #Constraints: 11989
84.52/84.80 c #Conflicts: 134000 | #Constraints: 12989
84.52/84.80 c #Conflicts: 135000 | #Constraints: 13989
84.52/84.80 c #Conflicts: 136000 | #Constraints: 14989
84.52/84.80 c #Conflicts: 137000 | #Constraints: 15989
84.52/84.80 c #Conflicts: 138000 | #Constraints: 16989
84.52/84.80 c #Conflicts: 139000 | #Constraints: 17989
84.52/84.80 c INPROCESSING
84.52/84.80 c GARBAGE COLLECT
84.52/84.80 c #Conflicts: 140000 | #Constraints: 11586
153.00/153.51 c #Conflicts: 141000 | #Constraints: 12586
153.00/153.51 c #Conflicts: 142000 | #Constraints: 13586
153.00/153.51 c #Conflicts: 143000 | #Constraints: 14586
153.00/153.51 c #Conflicts: 144000 | #Constraints: 15586
153.00/153.51 c #Conflicts: 145000 | #Constraints: 16586
153.00/153.51 c #Conflicts: 146000 | #Constraints: 17586
153.00/153.51 c #Conflicts: 147000 | #Constraints: 18586
153.00/153.51 c INPROCESSING
153.00/153.51 c GARBAGE COLLECT
153.00/153.51 c #Conflicts: 148000 | #Constraints: 11994
153.00/153.51 c #Conflicts: 149000 | #Constraints: 12994
153.00/153.51 c #Conflicts: 150000 | #Constraints: 13994
153.00/153.51 c #Conflicts: 151000 | #Constraints: 14994
153.00/153.51 c #Conflicts: 152000 | #Constraints: 15994
153.00/153.51 c #Conflicts: 153000 | #Constraints: 16994
153.00/153.51 c #Conflicts: 154000 | #Constraints: 17994
153.00/153.51 c #Conflicts: 155000 | #Constraints: 18994
153.00/153.51 c INPROCESSING
153.00/153.51 c GARBAGE COLLECT
153.00/153.51 c #Conflicts: 156000 | #Constraints: 12214
153.00/153.51 c #Conflicts: 157000 | #Constraints: 13214
153.00/153.51 c #Conflicts: 158000 | #Constraints: 14214
153.00/153.51 c #Conflicts: 159000 | #Constraints: 15214
153.00/153.51 c #Conflicts: 160000 | #Constraints: 16214
153.00/153.51 c #Conflicts: 161000 | #Constraints: 17214
153.00/153.51 c #Conflicts: 162000 | #Constraints: 18214
153.00/153.51 c #Conflicts: 163000 | #Constraints: 19214
153.00/153.51 c INPROCESSING
153.00/153.51 c GARBAGE COLLECT
153.00/153.51 c #Conflicts: 164000 | #Constraints: 12216
153.00/153.51 c #Conflicts: 165000 | #Constraints: 13216
153.00/153.51 c #Conflicts: 166000 | #Constraints: 14216
153.00/153.51 c #Conflicts: 167000 | #Constraints: 15216
153.00/153.51 c #Conflicts: 168000 | #Constraints: 16216
153.00/153.51 c #Conflicts: 169000 | #Constraints: 17216
153.00/153.51 c #Conflicts: 170000 | #Constraints: 18216
153.00/153.51 c #Conflicts: 171000 | #Constraints: 19216
153.00/153.51 c INPROCESSING
153.00/153.51 c GARBAGE COLLECT
153.00/153.51 c #Conflicts: 172000 | #Constraints: 12032
153.00/153.51 c #Conflicts: 173000 | #Constraints: 13032
153.00/153.51 c #Conflicts: 174000 | #Constraints: 14032
153.00/153.51 c #Conflicts: 175000 | #Constraints: 15032
153.00/153.51 c #Conflicts: 176000 | #Constraints: 16032
153.00/153.51 c #Conflicts: 177000 | #Constraints: 17032
153.00/153.51 c #Conflicts: 178000 | #Constraints: 18032
153.00/153.51 c #Conflicts: 179000 | #Constraints: 19032
153.00/153.51 c #Conflicts: 180000 | #Constraints: 20032
153.00/153.51 c INPROCESSING
153.00/153.51 c GARBAGE COLLECT
153.00/153.51 c #Conflicts: 181000 | #Constraints: 12609
153.00/153.51 c #Conflicts: 182000 | #Constraints: 13609
153.00/153.51 c #Conflicts: 183000 | #Constraints: 14609
153.00/153.51 c #Conflicts: 184000 | #Constraints: 15609
153.00/153.51 c #Conflicts: 185000 | #Constraints: 16609
153.00/153.51 c #Conflicts: 186000 | #Constraints: 17609
153.00/153.51 c #Conflicts: 187000 | #Constraints: 18609
153.00/153.51 c #Conflicts: 188000 | #Constraints: 19609
153.00/153.51 c #Conflicts: 189000 | #Constraints: 20609
153.00/153.51 c INPROCESSING
153.00/153.51 c GARBAGE COLLECT
153.00/153.51 c #Conflicts: 190000 | #Constraints: 13005
153.00/153.51 c #Conflicts: 191000 | #Constraints: 14005
153.00/153.51 c #Conflicts: 192000 | #Constraints: 15005
153.00/153.51 c #Conflicts: 193000 | #Constraints: 16005
153.00/153.51 c #Conflicts: 194000 | #Constraints: 17005
153.00/153.51 c #Conflicts: 195000 | #Constraints: 18005
153.00/153.51 c #Conflicts: 196000 | #Constraints: 19005
153.00/153.51 c #Conflicts: 197000 | #Constraints: 20005
153.00/153.51 c #Conflicts: 198000 | #Constraints: 21005
153.00/153.51 c INPROCESSING
153.00/153.51 c GARBAGE COLLECT
153.00/153.51 c #Conflicts: 199000 | #Constraints: 13196
153.00/153.51 c #Conflicts: 200000 | #Constraints: 14196
153.00/153.51 c #Conflicts: 201000 | #Constraints: 15196
153.00/153.51 c #Conflicts: 202000 | #Constraints: 16196
153.00/153.51 c #Conflicts: 203000 | #Constraints: 17196
153.00/153.51 c #Conflicts: 204000 | #Constraints: 18196
153.00/153.51 c #Conflicts: 205000 | #Constraints: 19196
153.00/153.51 c #Conflicts: 206000 | #Constraints: 20196
153.00/153.51 c #Conflicts: 207000 | #Constraints: 21196
153.00/153.51 c INPROCESSING
153.00/153.51 c GARBAGE COLLECT
153.00/153.51 c #Conflicts: 208000 | #Constraints: 13198
153.00/153.51 c #Conflicts: 209000 | #Constraints: 14198
153.00/153.51 c #Conflicts: 210000 | #Constraints: 15198
153.00/153.51 c #Conflicts: 211000 | #Constraints: 16198
153.00/153.51 c #Conflicts: 212000 | #Constraints: 17198
153.00/153.51 c #Conflicts: 213000 | #Constraints: 18198
228.60/229.39 c #Conflicts: 214000 | #Constraints: 19198
228.60/229.39 c #Conflicts: 215000 | #Constraints: 20198
228.60/229.39 c #Conflicts: 216000 | #Constraints: 21198
228.60/229.39 c INPROCESSING
228.60/229.39 c GARBAGE COLLECT
228.60/229.39 c #Conflicts: 217000 | #Constraints: 13006
228.60/229.39 c #Conflicts: 218000 | #Constraints: 14006
228.60/229.39 c #Conflicts: 219000 | #Constraints: 15006
228.60/229.39 c #Conflicts: 220000 | #Constraints: 16006
228.60/229.39 c #Conflicts: 221000 | #Constraints: 17006
228.60/229.39 c #Conflicts: 222000 | #Constraints: 18006
228.60/229.39 c #Conflicts: 223000 | #Constraints: 19006
228.60/229.39 c #Conflicts: 224000 | #Constraints: 20006
228.60/229.39 c #Conflicts: 225000 | #Constraints: 21006
228.60/229.39 c #Conflicts: 226000 | #Constraints: 22006
228.60/229.39 c INPROCESSING
228.60/229.39 c GARBAGE COLLECT
228.60/229.39 c #Conflicts: 227000 | #Constraints: 13596
228.60/229.39 c #Conflicts: 228000 | #Constraints: 14596
228.60/229.39 c #Conflicts: 229000 | #Constraints: 15596
228.60/229.39 c #Conflicts: 230000 | #Constraints: 16596
228.60/229.39 c #Conflicts: 231000 | #Constraints: 17596
228.60/229.39 c #Conflicts: 232000 | #Constraints: 18596
228.60/229.39 c #Conflicts: 233000 | #Constraints: 19596
228.60/229.39 c #Conflicts: 234000 | #Constraints: 20596
228.60/229.39 c #Conflicts: 235000 | #Constraints: 21596
228.60/229.39 c #Conflicts: 236000 | #Constraints: 22596
228.60/229.39 c INPROCESSING
228.60/229.39 c GARBAGE COLLECT
228.60/229.39 c #Conflicts: 237000 | #Constraints: 13992
228.60/229.39 c #Conflicts: 238000 | #Constraints: 14992
228.60/229.39 c #Conflicts: 239000 | #Constraints: 15992
228.60/229.39 c #Conflicts: 240000 | #Constraints: 16992
228.60/229.39 c #Conflicts: 241000 | #Constraints: 17992
228.60/229.39 c #Conflicts: 242000 | #Constraints: 18992
228.60/229.39 c #Conflicts: 243000 | #Constraints: 19992
228.60/229.39 c #Conflicts: 244000 | #Constraints: 20992
228.60/229.39 c #Conflicts: 245000 | #Constraints: 21992
228.60/229.39 c #Conflicts: 246000 | #Constraints: 22992
228.60/229.39 c INPROCESSING
228.60/229.39 c GARBAGE COLLECT
228.60/229.39 c #Conflicts: 247000 | #Constraints: 14200
228.60/229.39 c #Conflicts: 248000 | #Constraints: 15200
228.60/229.39 c #Conflicts: 249000 | #Constraints: 16200
228.60/229.39 c #Conflicts: 250000 | #Constraints: 17200
228.60/229.39 c #Conflicts: 251000 | #Constraints: 18200
228.60/229.39 c #Conflicts: 252000 | #Constraints: 19200
228.60/229.39 c #Conflicts: 253000 | #Constraints: 20200
228.60/229.39 c #Conflicts: 254000 | #Constraints: 21200
228.60/229.39 c #Conflicts: 255000 | #Constraints: 22200
228.60/229.39 c #Conflicts: 256000 | #Constraints: 23200
228.60/229.39 c INPROCESSING
228.60/229.39 c GARBAGE COLLECT
228.60/229.39 c #Conflicts: 257000 | #Constraints: 14206
228.60/229.39 c #Conflicts: 258000 | #Constraints: 15206
228.60/229.39 c #Conflicts: 259000 | #Constraints: 16206
228.60/229.39 c #Conflicts: 260000 | #Constraints: 17206
228.60/229.39 c #Conflicts: 261000 | #Constraints: 18206
228.60/229.39 c #Conflicts: 262000 | #Constraints: 19206
228.60/229.39 c #Conflicts: 263000 | #Constraints: 20206
228.60/229.39 c #Conflicts: 264000 | #Constraints: 21206
228.60/229.39 c #Conflicts: 265000 | #Constraints: 22206
228.60/229.39 c #Conflicts: 266000 | #Constraints: 23206
228.60/229.39 c INPROCESSING
228.60/229.39 c GARBAGE COLLECT
228.60/229.39 c #Conflicts: 267000 | #Constraints: 14052
228.60/229.39 c #Conflicts: 268000 | #Constraints: 15052
228.60/229.39 c #Conflicts: 269000 | #Constraints: 16052
228.60/229.39 c #Conflicts: 270000 | #Constraints: 17052
228.60/229.39 c #Conflicts: 271000 | #Constraints: 18052
228.60/229.39 c #Conflicts: 272000 | #Constraints: 19052
228.60/229.39 c #Conflicts: 273000 | #Constraints: 20052
228.60/229.39 c #Conflicts: 274000 | #Constraints: 21052
228.60/229.39 c #Conflicts: 275000 | #Constraints: 22052
228.60/229.39 c #Conflicts: 276000 | #Constraints: 23052
228.60/229.39 c #Conflicts: 277000 | #Constraints: 24052
228.60/229.39 c INPROCESSING
228.60/229.39 c GARBAGE COLLECT
228.60/229.39 c #Conflicts: 278000 | #Constraints: 14617
228.60/229.39 c #Conflicts: 279000 | #Constraints: 15617
228.60/229.39 c #Conflicts: 280000 | #Constraints: 16617
228.60/229.39 c #Conflicts: 281000 | #Constraints: 17617
228.60/229.39 c #Conflicts: 282000 | #Constraints: 18617
228.60/229.39 c #Conflicts: 283000 | #Constraints: 19617
228.60/229.39 c #Conflicts: 284000 | #Constraints: 20617
228.60/229.39 c #Conflicts: 285000 | #Constraints: 21617
228.60/229.39 c #Conflicts: 286000 | #Constraints: 22617
228.60/229.39 c #Conflicts: 287000 | #Constraints: 23617
228.60/229.39 c #Conflicts: 288000 | #Constraints: 24617
315.39/316.30 c INPROCESSING
315.39/316.30 c GARBAGE COLLECT
315.39/316.30 c #Conflicts: 289000 | #Constraints: 15027
315.39/316.30 c #Conflicts: 290000 | #Constraints: 16027
315.39/316.30 c #Conflicts: 291000 | #Constraints: 17027
315.39/316.30 c #Conflicts: 292000 | #Constraints: 18027
315.39/316.30 c #Conflicts: 293000 | #Constraints: 19027
315.39/316.30 c #Conflicts: 294000 | #Constraints: 20027
315.39/316.30 c #Conflicts: 295000 | #Constraints: 21027
315.39/316.30 c #Conflicts: 296000 | #Constraints: 22027
315.39/316.30 c #Conflicts: 297000 | #Constraints: 23027
315.39/316.30 c #Conflicts: 298000 | #Constraints: 24027
315.39/316.30 c #Conflicts: 299000 | #Constraints: 25027
315.39/316.30 c INPROCESSING
315.39/316.30 c GARBAGE COLLECT
315.39/316.30 c #Conflicts: 300000 | #Constraints: 15218
315.39/316.30 c #Conflicts: 301000 | #Constraints: 16218
315.39/316.30 c #Conflicts: 302000 | #Constraints: 17218
315.39/316.30 c #Conflicts: 303000 | #Constraints: 18218
315.39/316.30 c #Conflicts: 304000 | #Constraints: 19218
315.39/316.30 c #Conflicts: 305000 | #Constraints: 20218
315.39/316.30 c #Conflicts: 306000 | #Constraints: 21218
315.39/316.30 c #Conflicts: 307000 | #Constraints: 22218
315.39/316.30 c #Conflicts: 308000 | #Constraints: 23218
315.39/316.30 c #Conflicts: 309000 | #Constraints: 24218
315.39/316.30 c #Conflicts: 310000 | #Constraints: 25218
315.39/316.30 c INPROCESSING
315.39/316.30 c GARBAGE COLLECT
315.39/316.30 c #Conflicts: 311000 | #Constraints: 15213
315.39/316.30 c #Conflicts: 312000 | #Constraints: 16213
315.39/316.30 c #Conflicts: 313000 | #Constraints: 17213
315.39/316.30 c #Conflicts: 314000 | #Constraints: 18213
315.39/316.30 c #Conflicts: 315000 | #Constraints: 19213
315.39/316.30 c #Conflicts: 316000 | #Constraints: 20213
315.39/316.30 c #Conflicts: 317000 | #Constraints: 21213
315.39/316.30 c #Conflicts: 318000 | #Constraints: 22213
315.39/316.30 c #Conflicts: 319000 | #Constraints: 23213
315.39/316.30 c #Conflicts: 320000 | #Constraints: 24213
315.39/316.30 c #Conflicts: 321000 | #Constraints: 25213
315.39/316.30 c INPROCESSING
315.39/316.30 c GARBAGE COLLECT
315.39/316.30 c #Conflicts: 322000 | #Constraints: 15019
315.39/316.30 c #Conflicts: 323000 | #Constraints: 16019
315.39/316.30 c #Conflicts: 324000 | #Constraints: 17019
315.39/316.30 c #Conflicts: 325000 | #Constraints: 18019
315.39/316.30 c #Conflicts: 326000 | #Constraints: 19019
315.39/316.30 c #Conflicts: 327000 | #Constraints: 20019
315.39/316.30 c #Conflicts: 328000 | #Constraints: 21019
315.39/316.30 c #Conflicts: 329000 | #Constraints: 22019
315.39/316.30 c #Conflicts: 330000 | #Constraints: 23019
315.39/316.30 c #Conflicts: 331000 | #Constraints: 24019
315.39/316.30 c #Conflicts: 332000 | #Constraints: 25019
315.39/316.30 c #Conflicts: 333000 | #Constraints: 26019
315.39/316.30 c INPROCESSING
315.39/316.30 c GARBAGE COLLECT
315.39/316.30 c #Conflicts: 334000 | #Constraints: 15612
315.39/316.30 c #Conflicts: 335000 | #Constraints: 16612
315.39/316.30 c #Conflicts: 336000 | #Constraints: 17612
315.39/316.30 c #Conflicts: 337000 | #Constraints: 18612
315.39/316.30 c #Conflicts: 338000 | #Constraints: 19612
315.39/316.30 c #Conflicts: 339000 | #Constraints: 20612
315.39/316.30 c #Conflicts: 340000 | #Constraints: 21612
315.39/316.30 c #Conflicts: 341000 | #Constraints: 22612
315.39/316.30 c #Conflicts: 342000 | #Constraints: 23612
315.39/316.30 c #Conflicts: 343000 | #Constraints: 24612
315.39/316.30 c #Conflicts: 344000 | #Constraints: 25612
315.39/316.30 c #Conflicts: 345000 | #Constraints: 26612
315.39/316.30 c INPROCESSING
315.39/316.30 c GARBAGE COLLECT
315.39/316.30 c #Conflicts: 346000 | #Constraints: 16007
315.39/316.30 c #Conflicts: 347000 | #Constraints: 17007
315.39/316.30 c #Conflicts: 348000 | #Constraints: 18007
315.39/316.30 c #Conflicts: 349000 | #Constraints: 19007
315.39/316.30 c #Conflicts: 350000 | #Constraints: 20007
315.39/316.30 c #Conflicts: 351000 | #Constraints: 21007
315.39/316.30 c #Conflicts: 352000 | #Constraints: 22007
315.39/316.30 c #Conflicts: 353000 | #Constraints: 23007
315.39/316.30 c #Conflicts: 354000 | #Constraints: 24007
315.39/316.30 c #Conflicts: 355000 | #Constraints: 25007
315.39/316.30 c #Conflicts: 356000 | #Constraints: 26007
315.39/316.30 c #Conflicts: 357000 | #Constraints: 27007
315.39/316.30 c INPROCESSING
315.39/316.30 c GARBAGE COLLECT
315.39/316.30 c #Conflicts: 358000 | #Constraints: 16199
315.39/316.30 c #Conflicts: 359000 | #Constraints: 17199
315.39/316.30 c #Conflicts: 360000 | #Constraints: 18199
315.39/316.30 c #Conflicts: 361000 | #Constraints: 19199
315.39/316.30 c #Conflicts: 362000 | #Constraints: 20199
405.27/406.40 c #Conflicts: 363000 | #Constraints: 21199
405.27/406.40 c #Conflicts: 364000 | #Constraints: 22199
405.27/406.40 c #Conflicts: 365000 | #Constraints: 23199
405.27/406.40 c #Conflicts: 366000 | #Constraints: 24199
405.27/406.40 c #Conflicts: 367000 | #Constraints: 25199
405.27/406.40 c #Conflicts: 368000 | #Constraints: 26199
405.27/406.40 c #Conflicts: 369000 | #Constraints: 27199
405.27/406.40 c INPROCESSING
405.27/406.40 c GARBAGE COLLECT
405.27/406.40 c #Conflicts: 370000 | #Constraints: 16208
405.27/406.40 c #Conflicts: 371000 | #Constraints: 17208
405.27/406.40 c #Conflicts: 372000 | #Constraints: 18208
405.27/406.40 c #Conflicts: 373000 | #Constraints: 19208
405.27/406.40 c #Conflicts: 374000 | #Constraints: 20208
405.27/406.40 c #Conflicts: 375000 | #Constraints: 21208
405.27/406.40 c #Conflicts: 376000 | #Constraints: 22208
405.27/406.40 c #Conflicts: 377000 | #Constraints: 23208
405.27/406.40 c #Conflicts: 378000 | #Constraints: 24208
405.27/406.40 c #Conflicts: 379000 | #Constraints: 25208
405.27/406.40 c #Conflicts: 380000 | #Constraints: 26208
405.27/406.40 c #Conflicts: 381000 | #Constraints: 27208
405.27/406.40 c INPROCESSING
405.27/406.40 c GARBAGE COLLECT
405.27/406.40 c #Conflicts: 382000 | #Constraints: 15999
405.27/406.40 c #Conflicts: 383000 | #Constraints: 16999
405.27/406.40 c #Conflicts: 384000 | #Constraints: 17999
405.27/406.40 c #Conflicts: 385000 | #Constraints: 18999
405.27/406.40 c #Conflicts: 386000 | #Constraints: 19999
405.27/406.40 c #Conflicts: 387000 | #Constraints: 20999
405.27/406.40 c #Conflicts: 388000 | #Constraints: 21999
405.27/406.40 c #Conflicts: 389000 | #Constraints: 22999
405.27/406.40 c #Conflicts: 390000 | #Constraints: 23999
405.27/406.40 c #Conflicts: 391000 | #Constraints: 24999
405.27/406.40 c #Conflicts: 392000 | #Constraints: 25999
405.27/406.40 c #Conflicts: 393000 | #Constraints: 26999
405.27/406.40 c #Conflicts: 394000 | #Constraints: 27999
405.27/406.40 c INPROCESSING
405.27/406.40 c GARBAGE COLLECT
405.27/406.40 c #Conflicts: 395000 | #Constraints: 16602
405.27/406.40 c #Conflicts: 396000 | #Constraints: 17602
405.27/406.40 c #Conflicts: 397000 | #Constraints: 18602
405.27/406.40 c #Conflicts: 398000 | #Constraints: 19602
405.27/406.40 c #Conflicts: 399000 | #Constraints: 20602
405.27/406.40 c #Conflicts: 400000 | #Constraints: 21602
405.27/406.40 c #Conflicts: 401000 | #Constraints: 22602
405.27/406.40 c #Conflicts: 402000 | #Constraints: 23602
405.27/406.40 c #Conflicts: 403000 | #Constraints: 24602
405.27/406.40 c #Conflicts: 404000 | #Constraints: 25602
405.27/406.40 c #Conflicts: 405000 | #Constraints: 26602
405.27/406.40 c #Conflicts: 406000 | #Constraints: 27602
405.27/406.40 c #Conflicts: 407000 | #Constraints: 28602
405.27/406.40 c INPROCESSING
405.27/406.40 c GARBAGE COLLECT
405.27/406.40 c #Conflicts: 408000 | #Constraints: 17005
405.27/406.40 c #Conflicts: 409000 | #Constraints: 18005
405.27/406.40 c #Conflicts: 410000 | #Constraints: 19005
405.27/406.40 c #Conflicts: 411000 | #Constraints: 20005
405.27/406.40 c #Conflicts: 412000 | #Constraints: 21005
405.27/406.40 c #Conflicts: 413000 | #Constraints: 22005
405.27/406.40 c #Conflicts: 414000 | #Constraints: 23005
405.27/406.40 c #Conflicts: 415000 | #Constraints: 24005
405.27/406.40 c #Conflicts: 416000 | #Constraints: 25005
405.27/406.40 c #Conflicts: 417000 | #Constraints: 26005
405.27/406.40 c #Conflicts: 418000 | #Constraints: 27005
405.27/406.40 c #Conflicts: 419000 | #Constraints: 28005
405.27/406.40 c #Conflicts: 420000 | #Constraints: 29005
405.27/406.40 c INPROCESSING
405.27/406.40 c GARBAGE COLLECT
405.27/406.40 c #Conflicts: 421000 | #Constraints: 17204
405.27/406.40 c #Conflicts: 422000 | #Constraints: 18204
405.27/406.40 c #Conflicts: 423000 | #Constraints: 19204
405.27/406.40 c #Conflicts: 424000 | #Constraints: 20204
405.27/406.40 c #Conflicts: 425000 | #Constraints: 21204
405.27/406.40 c #Conflicts: 426000 | #Constraints: 22204
405.27/406.40 c #Conflicts: 427000 | #Constraints: 23204
405.27/406.40 c #Conflicts: 428000 | #Constraints: 24204
405.27/406.40 c #Conflicts: 429000 | #Constraints: 25204
405.27/406.40 c #Conflicts: 430000 | #Constraints: 26204
405.27/406.40 c #Conflicts: 431000 | #Constraints: 27204
405.27/406.40 c #Conflicts: 432000 | #Constraints: 28204
405.27/406.40 c #Conflicts: 433000 | #Constraints: 29204
405.27/406.40 c INPROCESSING
405.27/406.40 c GARBAGE COLLECT
405.27/406.40 c #Conflicts: 434000 | #Constraints: 17214
405.27/406.40 c #Conflicts: 435000 | #Constraints: 18214
405.27/406.40 c #Conflicts: 436000 | #Constraints: 19214
405.27/406.40 c #Conflicts: 437000 | #Constraints: 20214
503.22/504.65 c #Conflicts: 438000 | #Constraints: 21214
503.22/504.65 c #Conflicts: 439000 | #Constraints: 22214
503.22/504.65 c #Conflicts: 440000 | #Constraints: 23214
503.22/504.65 c #Conflicts: 441000 | #Constraints: 24214
503.22/504.65 c #Conflicts: 442000 | #Constraints: 25214
503.22/504.65 c #Conflicts: 443000 | #Constraints: 26214
503.22/504.65 c #Conflicts: 444000 | #Constraints: 27214
503.22/504.65 c #Conflicts: 445000 | #Constraints: 28214
503.22/504.65 c #Conflicts: 446000 | #Constraints: 29214
503.22/504.65 c INPROCESSING
503.22/504.65 c GARBAGE COLLECT
503.22/504.65 c #Conflicts: 447000 | #Constraints: 17025
503.22/504.65 c #Conflicts: 448000 | #Constraints: 18025
503.22/504.65 c #Conflicts: 449000 | #Constraints: 19025
503.22/504.65 c #Conflicts: 450000 | #Constraints: 20025
503.22/504.65 c #Conflicts: 451000 | #Constraints: 21025
503.22/504.65 c #Conflicts: 452000 | #Constraints: 22025
503.22/504.65 c #Conflicts: 453000 | #Constraints: 23025
503.22/504.65 c #Conflicts: 454000 | #Constraints: 24025
503.22/504.65 c #Conflicts: 455000 | #Constraints: 25025
503.22/504.65 c #Conflicts: 456000 | #Constraints: 26025
503.22/504.65 c #Conflicts: 457000 | #Constraints: 27025
503.22/504.65 c #Conflicts: 458000 | #Constraints: 28025
503.22/504.65 c #Conflicts: 459000 | #Constraints: 29025
503.22/504.65 c #Conflicts: 460000 | #Constraints: 30025
503.22/504.65 c INPROCESSING
503.22/504.65 c GARBAGE COLLECT
503.22/504.65 c #Conflicts: 461000 | #Constraints: 17626
503.22/504.65 c #Conflicts: 462000 | #Constraints: 18626
503.22/504.65 c #Conflicts: 463000 | #Constraints: 19626
503.22/504.65 c #Conflicts: 464000 | #Constraints: 20626
503.22/504.65 c #Conflicts: 465000 | #Constraints: 21626
503.22/504.65 c #Conflicts: 466000 | #Constraints: 22626
503.22/504.65 c #Conflicts: 467000 | #Constraints: 23626
503.22/504.65 c #Conflicts: 468000 | #Constraints: 24626
503.22/504.65 c #Conflicts: 469000 | #Constraints: 25626
503.22/504.65 c #Conflicts: 470000 | #Constraints: 26626
503.22/504.65 c #Conflicts: 471000 | #Constraints: 27626
503.22/504.65 c #Conflicts: 472000 | #Constraints: 28626
503.22/504.65 c #Conflicts: 473000 | #Constraints: 29626
503.22/504.65 c #Conflicts: 474000 | #Constraints: 30626
503.22/504.65 c INPROCESSING
503.22/504.65 c GARBAGE COLLECT
503.22/504.65 c #Conflicts: 475000 | #Constraints: 18026
503.22/504.65 c #Conflicts: 476000 | #Constraints: 19026
503.22/504.65 c #Conflicts: 477000 | #Constraints: 20026
503.22/504.65 c #Conflicts: 478000 | #Constraints: 21026
503.22/504.65 c #Conflicts: 479000 | #Constraints: 22026
503.22/504.65 c #Conflicts: 480000 | #Constraints: 23026
503.22/504.65 c #Conflicts: 481000 | #Constraints: 24026
503.22/504.65 c #Conflicts: 482000 | #Constraints: 25026
503.22/504.65 c #Conflicts: 483000 | #Constraints: 26026
503.22/504.65 c #Conflicts: 484000 | #Constraints: 27026
503.22/504.65 c #Conflicts: 485000 | #Constraints: 28026
503.22/504.65 c #Conflicts: 486000 | #Constraints: 29026
503.22/504.65 c #Conflicts: 487000 | #Constraints: 30026
503.22/504.65 c #Conflicts: 488000 | #Constraints: 31026
503.22/504.65 c INPROCESSING
503.22/504.65 c GARBAGE COLLECT
503.22/504.65 c #Conflicts: 489000 | #Constraints: 18200
503.22/504.65 c #Conflicts: 490000 | #Constraints: 19200
503.22/504.65 c #Conflicts: 491000 | #Constraints: 20200
503.22/504.65 c #Conflicts: 492000 | #Constraints: 21200
503.22/504.65 c #Conflicts: 493000 | #Constraints: 22200
503.22/504.65 c #Conflicts: 494000 | #Constraints: 23200
503.22/504.65 c #Conflicts: 495000 | #Constraints: 24200
503.22/504.65 c #Conflicts: 496000 | #Constraints: 25200
503.22/504.65 c #Conflicts: 497000 | #Constraints: 26200
503.22/504.65 c #Conflicts: 498000 | #Constraints: 27200
503.22/504.65 c #Conflicts: 499000 | #Constraints: 28200
503.22/504.65 c #Conflicts: 500000 | #Constraints: 29200
503.22/504.65 c #Conflicts: 501000 | #Constraints: 30200
503.22/504.65 c #Conflicts: 502000 | #Constraints: 31200
503.22/504.65 c INPROCESSING
503.22/504.65 c GARBAGE COLLECT
503.22/504.65 c #Conflicts: 503000 | #Constraints: 18212
503.22/504.65 c #Conflicts: 504000 | #Constraints: 19212
503.22/504.65 c #Conflicts: 505000 | #Constraints: 20212
503.22/504.65 c #Conflicts: 506000 | #Constraints: 21212
503.22/504.65 c #Conflicts: 507000 | #Constraints: 22212
503.22/504.65 c #Conflicts: 508000 | #Constraints: 23212
503.22/504.65 c #Conflicts: 509000 | #Constraints: 24212
503.22/504.65 c #Conflicts: 510000 | #Constraints: 25212
503.22/504.65 c #Conflicts: 511000 | #Constraints: 26212
503.22/504.65 c #Conflicts: 512000 | #Constraints: 27212
503.22/504.65 c #Conflicts: 513000 | #Constraints: 28212
601.09/602.76 c #Conflicts: 514000 | #Constraints: 29212
601.09/602.76 c #Conflicts: 515000 | #Constraints: 30212
601.09/602.76 c #Conflicts: 516000 | #Constraints: 31212
601.09/602.76 c INPROCESSING
601.09/602.76 c GARBAGE COLLECT
601.09/602.76 c #Conflicts: 517000 | #Constraints: 18021
601.09/602.76 c #Conflicts: 518000 | #Constraints: 19021
601.09/602.76 c #Conflicts: 519000 | #Constraints: 20021
601.09/602.76 c #Conflicts: 520000 | #Constraints: 21021
601.09/602.76 c #Conflicts: 521000 | #Constraints: 22021
601.09/602.76 c #Conflicts: 522000 | #Constraints: 23021
601.09/602.76 c #Conflicts: 523000 | #Constraints: 24021
601.09/602.76 c #Conflicts: 524000 | #Constraints: 25021
601.09/602.76 c #Conflicts: 525000 | #Constraints: 26021
601.09/602.76 c #Conflicts: 526000 | #Constraints: 27021
601.09/602.76 c #Conflicts: 527000 | #Constraints: 28021
601.09/602.76 c #Conflicts: 528000 | #Constraints: 29021
601.09/602.76 c #Conflicts: 529000 | #Constraints: 30021
601.09/602.76 c #Conflicts: 530000 | #Constraints: 31021
601.09/602.76 c #Conflicts: 531000 | #Constraints: 32021
601.09/602.76 c INPROCESSING
601.09/602.76 c GARBAGE COLLECT
601.09/602.76 c #Conflicts: 532000 | #Constraints: 18638
601.09/602.76 c #Conflicts: 533000 | #Constraints: 19638
601.09/602.76 c #Conflicts: 534000 | #Constraints: 20638
601.09/602.76 c #Conflicts: 535000 | #Constraints: 21638
601.09/602.76 c #Conflicts: 536000 | #Constraints: 22638
601.09/602.76 c #Conflicts: 537000 | #Constraints: 23638
601.09/602.76 c #Conflicts: 538000 | #Constraints: 24638
601.09/602.76 c #Conflicts: 539000 | #Constraints: 25638
601.09/602.76 c #Conflicts: 540000 | #Constraints: 26638
601.09/602.76 c #Conflicts: 541000 | #Constraints: 27638
601.09/602.76 c #Conflicts: 542000 | #Constraints: 28638
601.09/602.76 c #Conflicts: 543000 | #Constraints: 29638
601.09/602.76 c #Conflicts: 544000 | #Constraints: 30638
601.09/602.76 c #Conflicts: 545000 | #Constraints: 31638
601.09/602.76 c #Conflicts: 546000 | #Constraints: 32638
601.09/602.76 c INPROCESSING
601.09/602.76 c GARBAGE COLLECT
601.09/602.76 c #Conflicts: 547000 | #Constraints: 19038
601.09/602.76 c #Conflicts: 548000 | #Constraints: 20038
601.09/602.76 c #Conflicts: 549000 | #Constraints: 21038
601.09/602.76 c #Conflicts: 550000 | #Constraints: 22038
601.09/602.76 c #Conflicts: 551000 | #Constraints: 23038
601.09/602.76 c #Conflicts: 552000 | #Constraints: 24038
601.09/602.76 c #Conflicts: 553000 | #Constraints: 25038
601.09/602.76 c #Conflicts: 554000 | #Constraints: 26038
601.09/602.76 c #Conflicts: 555000 | #Constraints: 27038
601.09/602.76 c #Conflicts: 556000 | #Constraints: 28038
601.09/602.76 c #Conflicts: 557000 | #Constraints: 29038
601.09/602.76 c #Conflicts: 558000 | #Constraints: 30038
601.09/602.76 c #Conflicts: 559000 | #Constraints: 31038
601.09/602.76 c #Conflicts: 560000 | #Constraints: 32038
601.09/602.76 c #Conflicts: 561000 | #Constraints: 33038
601.09/602.76 c INPROCESSING
601.09/602.76 c GARBAGE COLLECT
601.09/602.76 c #Conflicts: 562000 | #Constraints: 19217
601.09/602.76 c #Conflicts: 563000 | #Constraints: 20217
601.09/602.76 c #Conflicts: 564000 | #Constraints: 21217
601.09/602.76 c #Conflicts: 565000 | #Constraints: 22217
601.09/602.76 c #Conflicts: 566000 | #Constraints: 23217
601.09/602.76 c #Conflicts: 567000 | #Constraints: 24217
601.09/602.76 c #Conflicts: 568000 | #Constraints: 25217
601.09/602.76 c #Conflicts: 569000 | #Constraints: 26217
601.09/602.76 c #Conflicts: 570000 | #Constraints: 27217
601.09/602.76 c #Conflicts: 571000 | #Constraints: 28217
601.09/602.76 c #Conflicts: 572000 | #Constraints: 29217
601.09/602.76 c #Conflicts: 573000 | #Constraints: 30217
601.09/602.76 c #Conflicts: 574000 | #Constraints: 31217
601.09/602.76 c #Conflicts: 575000 | #Constraints: 32217
601.09/602.76 c #Conflicts: 576000 | #Constraints: 33217
601.09/602.76 c INPROCESSING
601.09/602.76 c GARBAGE COLLECT
601.09/602.76 c #Conflicts: 577000 | #Constraints: 19213
601.09/602.76 c #Conflicts: 578000 | #Constraints: 20213
601.09/602.76 c #Conflicts: 579000 | #Constraints: 21213
601.09/602.76 c #Conflicts: 580000 | #Constraints: 22213
601.09/602.76 c #Conflicts: 581000 | #Constraints: 23213
601.09/602.76 c #Conflicts: 582000 | #Constraints: 24213
601.09/602.76 c #Conflicts: 583000 | #Constraints: 25213
601.09/602.76 c #Conflicts: 584000 | #Constraints: 26213
601.09/602.76 c #Conflicts: 585000 | #Constraints: 27213
601.09/602.76 c #Conflicts: 586000 | #Constraints: 28213
601.09/602.76 c #Conflicts: 587000 | #Constraints: 29213
601.09/602.76 c #Conflicts: 588000 | #Constraints: 30213
689.67/691.59 c #Conflicts: 589000 | #Constraints: 31213
689.67/691.59 c #Conflicts: 590000 | #Constraints: 32213
689.67/691.59 c #Conflicts: 591000 | #Constraints: 33213
689.67/691.59 c INPROCESSING
689.67/691.59 c GARBAGE COLLECT
689.67/691.59 c #Conflicts: 592000 | #Constraints: 19013
689.67/691.59 c #Conflicts: 593000 | #Constraints: 20013
689.67/691.59 c #Conflicts: 594000 | #Constraints: 21013
689.67/691.59 c #Conflicts: 595000 | #Constraints: 22013
689.67/691.59 c #Conflicts: 596000 | #Constraints: 23013
689.67/691.59 c #Conflicts: 597000 | #Constraints: 24013
689.67/691.59 c #Conflicts: 598000 | #Constraints: 25013
689.67/691.59 c #Conflicts: 599000 | #Constraints: 26013
689.67/691.59 c #Conflicts: 600000 | #Constraints: 27013
689.67/691.59 c #Conflicts: 601000 | #Constraints: 28013
689.67/691.59 c #Conflicts: 602000 | #Constraints: 29013
689.67/691.59 c #Conflicts: 603000 | #Constraints: 30013
689.67/691.59 c #Conflicts: 604000 | #Constraints: 31013
689.67/691.59 c #Conflicts: 605000 | #Constraints: 32013
689.67/691.59 c #Conflicts: 606000 | #Constraints: 33013
689.67/691.59 c #Conflicts: 607000 | #Constraints: 34013
689.67/691.59 c INPROCESSING
689.67/691.59 c GARBAGE COLLECT
689.67/691.59 c #Conflicts: 608000 | #Constraints: 19611
689.67/691.59 c #Conflicts: 609000 | #Constraints: 20611
689.67/691.59 c #Conflicts: 610000 | #Constraints: 21611
689.67/691.59 c #Conflicts: 611000 | #Constraints: 22611
689.67/691.59 c #Conflicts: 612000 | #Constraints: 23611
689.67/691.59 c #Conflicts: 613000 | #Constraints: 24611
689.67/691.59 c #Conflicts: 614000 | #Constraints: 25611
689.67/691.59 c #Conflicts: 615000 | #Constraints: 26611
689.67/691.59 c #Conflicts: 616000 | #Constraints: 27611
689.67/691.59 c #Conflicts: 617000 | #Constraints: 28611
689.67/691.59 c #Conflicts: 618000 | #Constraints: 29611
689.67/691.59 c #Conflicts: 619000 | #Constraints: 30611
689.67/691.59 c #Conflicts: 620000 | #Constraints: 31611
689.67/691.59 c #Conflicts: 621000 | #Constraints: 32611
689.67/691.59 c #Conflicts: 622000 | #Constraints: 33611
689.67/691.59 c #Conflicts: 623000 | #Constraints: 34611
689.67/691.59 c INPROCESSING
689.67/691.59 c GARBAGE COLLECT
689.67/691.59 c #Conflicts: 624000 | #Constraints: 20023
689.67/691.59 c #Conflicts: 625000 | #Constraints: 21023
689.67/691.59 c #Conflicts: 626000 | #Constraints: 22023
689.67/691.59 c #Conflicts: 627000 | #Constraints: 23023
689.67/691.59 c #Conflicts: 628000 | #Constraints: 24023
689.67/691.59 c #Conflicts: 629000 | #Constraints: 25023
689.67/691.59 c #Conflicts: 630000 | #Constraints: 26023
689.67/691.59 c #Conflicts: 631000 | #Constraints: 27023
689.67/691.59 c #Conflicts: 632000 | #Constraints: 28023
689.67/691.59 c #Conflicts: 633000 | #Constraints: 29023
689.67/691.59 c #Conflicts: 634000 | #Constraints: 30023
689.67/691.59 c #Conflicts: 635000 | #Constraints: 31023
689.67/691.59 c #Conflicts: 636000 | #Constraints: 32023
689.67/691.59 c #Conflicts: 637000 | #Constraints: 33023
689.67/691.59 c #Conflicts: 638000 | #Constraints: 34023
689.67/691.59 c #Conflicts: 639000 | #Constraints: 35023
689.67/691.59 c INPROCESSING
689.67/691.59 c GARBAGE COLLECT
689.67/691.59 c #Conflicts: 640000 | #Constraints: 20198
689.67/691.59 c #Conflicts: 641000 | #Constraints: 21198
689.67/691.59 c #Conflicts: 642000 | #Constraints: 22198
689.67/691.59 c #Conflicts: 643000 | #Constraints: 23198
689.67/691.59 c #Conflicts: 644000 | #Constraints: 24198
689.67/691.59 c #Conflicts: 645000 | #Constraints: 25198
689.67/691.59 c #Conflicts: 646000 | #Constraints: 26198
689.67/691.59 c #Conflicts: 647000 | #Constraints: 27198
689.67/691.59 c #Conflicts: 648000 | #Constraints: 28198
689.67/691.59 c #Conflicts: 649000 | #Constraints: 29198
689.67/691.59 c #Conflicts: 650000 | #Constraints: 30198
689.67/691.59 c #Conflicts: 651000 | #Constraints: 31198
689.67/691.59 c #Conflicts: 652000 | #Constraints: 32198
689.67/691.59 c #Conflicts: 653000 | #Constraints: 33198
689.67/691.59 c #Conflicts: 654000 | #Constraints: 34198
689.67/691.59 c #Conflicts: 655000 | #Constraints: 35198
689.67/691.59 c INPROCESSING
689.67/691.59 c GARBAGE COLLECT
689.67/691.59 c #Conflicts: 656000 | #Constraints: 20208
689.67/691.59 c #Conflicts: 657000 | #Constraints: 21208
689.67/691.59 c #Conflicts: 658000 | #Constraints: 22208
689.67/691.59 c #Conflicts: 659000 | #Constraints: 23208
689.67/691.59 c #Conflicts: 660000 | #Constraints: 24208
689.67/691.59 c #Conflicts: 661000 | #Constraints: 25208
689.67/691.59 c #Conflicts: 662000 | #Constraints: 26208
689.67/691.59 c #Conflicts: 663000 | #Constraints: 27208
689.67/691.59 c #Conflicts: 664000 | #Constraints: 28208
781.14/783.26 c #Conflicts: 665000 | #Constraints: 29208
781.14/783.26 c #Conflicts: 666000 | #Constraints: 30208
781.14/783.26 c #Conflicts: 667000 | #Constraints: 31208
781.14/783.26 c #Conflicts: 668000 | #Constraints: 32208
781.14/783.26 c #Conflicts: 669000 | #Constraints: 33208
781.14/783.26 c #Conflicts: 670000 | #Constraints: 34208
781.14/783.26 c #Conflicts: 671000 | #Constraints: 35208
781.14/783.26 c INPROCESSING
781.14/783.26 c GARBAGE COLLECT
781.14/783.26 c #Conflicts: 672000 | #Constraints: 20003
781.14/783.26 c #Conflicts: 673000 | #Constraints: 21003
781.14/783.26 c #Conflicts: 674000 | #Constraints: 22003
781.14/783.26 c #Conflicts: 675000 | #Constraints: 23003
781.14/783.26 c #Conflicts: 676000 | #Constraints: 24003
781.14/783.26 c #Conflicts: 677000 | #Constraints: 25003
781.14/783.26 c #Conflicts: 678000 | #Constraints: 26003
781.14/783.26 c #Conflicts: 679000 | #Constraints: 27003
781.14/783.26 c #Conflicts: 680000 | #Constraints: 28003
781.14/783.26 c #Conflicts: 681000 | #Constraints: 29003
781.14/783.26 c #Conflicts: 682000 | #Constraints: 30003
781.14/783.26 c #Conflicts: 683000 | #Constraints: 31003
781.14/783.26 c #Conflicts: 684000 | #Constraints: 32003
781.14/783.26 c #Conflicts: 685000 | #Constraints: 33003
781.14/783.26 c #Conflicts: 686000 | #Constraints: 34003
781.14/783.26 c #Conflicts: 687000 | #Constraints: 35003
781.14/783.26 c #Conflicts: 688000 | #Constraints: 36003
781.14/783.26 c INPROCESSING
781.14/783.26 c GARBAGE COLLECT
781.14/783.26 c #Conflicts: 689000 | #Constraints: 20607
781.14/783.26 c #Conflicts: 690000 | #Constraints: 21607
781.14/783.26 c #Conflicts: 691000 | #Constraints: 22607
781.14/783.26 c #Conflicts: 692000 | #Constraints: 23607
781.14/783.26 c #Conflicts: 693000 | #Constraints: 24607
781.14/783.26 c #Conflicts: 694000 | #Constraints: 25607
781.14/783.26 c #Conflicts: 695000 | #Constraints: 26607
781.14/783.26 c #Conflicts: 696000 | #Constraints: 27607
781.14/783.26 c #Conflicts: 697000 | #Constraints: 28607
781.14/783.26 c #Conflicts: 698000 | #Constraints: 29607
781.14/783.26 c #Conflicts: 699000 | #Constraints: 30607
781.14/783.26 c #Conflicts: 700000 | #Constraints: 31607
781.14/783.26 c #Conflicts: 701000 | #Constraints: 32607
781.14/783.26 c #Conflicts: 702000 | #Constraints: 33607
781.14/783.26 c #Conflicts: 703000 | #Constraints: 34607
781.14/783.26 c #Conflicts: 704000 | #Constraints: 35607
781.14/783.26 c #Conflicts: 705000 | #Constraints: 36607
781.14/783.26 c INPROCESSING
781.14/783.26 c GARBAGE COLLECT
781.14/783.26 c #Conflicts: 706000 | #Constraints: 21007
781.14/783.26 c #Conflicts: 707000 | #Constraints: 22007
781.14/783.26 c #Conflicts: 708000 | #Constraints: 23007
781.14/783.26 c #Conflicts: 709000 | #Constraints: 24007
781.14/783.26 c #Conflicts: 710000 | #Constraints: 25007
781.14/783.26 c #Conflicts: 711000 | #Constraints: 26007
781.14/783.26 c #Conflicts: 712000 | #Constraints: 27007
781.14/783.26 c #Conflicts: 713000 | #Constraints: 28007
781.14/783.26 c #Conflicts: 714000 | #Constraints: 29007
781.14/783.26 c #Conflicts: 715000 | #Constraints: 30007
781.14/783.26 c #Conflicts: 716000 | #Constraints: 31007
781.14/783.26 c #Conflicts: 717000 | #Constraints: 32007
781.14/783.26 c #Conflicts: 718000 | #Constraints: 33007
781.14/783.26 c #Conflicts: 719000 | #Constraints: 34007
781.14/783.26 c #Conflicts: 720000 | #Constraints: 35007
781.14/783.26 c #Conflicts: 721000 | #Constraints: 36007
781.14/783.26 c #Conflicts: 722000 | #Constraints: 37007
781.14/783.26 c INPROCESSING
781.14/783.26 c GARBAGE COLLECT
781.14/783.26 c #Conflicts: 723000 | #Constraints: 21213
781.14/783.26 c #Conflicts: 724000 | #Constraints: 22213
781.14/783.26 c #Conflicts: 725000 | #Constraints: 23213
781.14/783.26 c #Conflicts: 726000 | #Constraints: 24213
781.14/783.26 c #Conflicts: 727000 | #Constraints: 25213
781.14/783.26 c #Conflicts: 728000 | #Constraints: 26213
781.14/783.26 c #Conflicts: 729000 | #Constraints: 27213
781.14/783.26 c #Conflicts: 730000 | #Constraints: 28213
781.14/783.26 c #Conflicts: 731000 | #Constraints: 29213
781.14/783.26 c #Conflicts: 732000 | #Constraints: 30213
781.14/783.26 c #Conflicts: 733000 | #Constraints: 31213
781.14/783.26 c #Conflicts: 734000 | #Constraints: 32213
781.14/783.26 c #Conflicts: 735000 | #Constraints: 33213
781.14/783.26 c #Conflicts: 736000 | #Constraints: 34213
781.14/783.26 c #Conflicts: 737000 | #Constraints: 35213
781.14/783.26 c #Conflicts: 738000 | #Constraints: 36213
781.14/783.26 c #Conflicts: 739000 | #Constraints: 37213
781.14/783.26 c INPROCESSING
781.14/783.26 c GARBAGE COLLECT
878.71/881.05 c #Conflicts: 740000 | #Constraints: 21213
878.71/881.05 c #Conflicts: 741000 | #Constraints: 22213
878.71/881.05 c #Conflicts: 742000 | #Constraints: 23213
878.71/881.05 c #Conflicts: 743000 | #Constraints: 24213
878.71/881.05 c #Conflicts: 744000 | #Constraints: 25213
878.71/881.05 c #Conflicts: 745000 | #Constraints: 26213
878.71/881.05 c #Conflicts: 746000 | #Constraints: 27213
878.71/881.05 c #Conflicts: 747000 | #Constraints: 28213
878.71/881.05 c #Conflicts: 748000 | #Constraints: 29213
878.71/881.05 c #Conflicts: 749000 | #Constraints: 30213
878.71/881.05 c #Conflicts: 750000 | #Constraints: 31213
878.71/881.05 c #Conflicts: 751000 | #Constraints: 32213
878.71/881.05 c #Conflicts: 752000 | #Constraints: 33213
878.71/881.05 c #Conflicts: 753000 | #Constraints: 34213
878.71/881.05 c #Conflicts: 754000 | #Constraints: 35213
878.71/881.05 c #Conflicts: 755000 | #Constraints: 36213
878.71/881.05 c #Conflicts: 756000 | #Constraints: 37213
878.71/881.05 c INPROCESSING
878.71/881.05 c GARBAGE COLLECT
878.71/881.05 c #Conflicts: 757000 | #Constraints: 21014
878.71/881.05 c #Conflicts: 758000 | #Constraints: 22014
878.71/881.05 c #Conflicts: 759000 | #Constraints: 23014
878.71/881.05 c #Conflicts: 760000 | #Constraints: 24014
878.71/881.05 c #Conflicts: 761000 | #Constraints: 25014
878.71/881.05 c #Conflicts: 762000 | #Constraints: 26014
878.71/881.05 c #Conflicts: 763000 | #Constraints: 27014
878.71/881.05 c #Conflicts: 764000 | #Constraints: 28014
878.71/881.05 c #Conflicts: 765000 | #Constraints: 29014
878.71/881.05 c #Conflicts: 766000 | #Constraints: 30014
878.71/881.05 c #Conflicts: 767000 | #Constraints: 31014
878.71/881.05 c #Conflicts: 768000 | #Constraints: 32014
878.71/881.05 c #Conflicts: 769000 | #Constraints: 33014
878.71/881.05 c #Conflicts: 770000 | #Constraints: 34014
878.71/881.05 c #Conflicts: 771000 | #Constraints: 35014
878.71/881.05 c #Conflicts: 772000 | #Constraints: 36014
878.71/881.05 c #Conflicts: 773000 | #Constraints: 37014
878.71/881.05 c #Conflicts: 774000 | #Constraints: 38014
878.71/881.05 c INPROCESSING
878.71/881.05 c GARBAGE COLLECT
878.71/881.05 c #Conflicts: 775000 | #Constraints: 21618
878.71/881.05 c #Conflicts: 776000 | #Constraints: 22618
878.71/881.05 c #Conflicts: 777000 | #Constraints: 23618
878.71/881.05 c #Conflicts: 778000 | #Constraints: 24618
878.71/881.05 c #Conflicts: 779000 | #Constraints: 25618
878.71/881.05 c #Conflicts: 780000 | #Constraints: 26618
878.71/881.05 c #Conflicts: 781000 | #Constraints: 27618
878.71/881.05 c #Conflicts: 782000 | #Constraints: 28618
878.71/881.05 c #Conflicts: 783000 | #Constraints: 29618
878.71/881.05 c #Conflicts: 784000 | #Constraints: 30618
878.71/881.05 c #Conflicts: 785000 | #Constraints: 31618
878.71/881.05 c #Conflicts: 786000 | #Constraints: 32618
878.71/881.05 c #Conflicts: 787000 | #Constraints: 33618
878.71/881.05 c #Conflicts: 788000 | #Constraints: 34618
878.71/881.05 c #Conflicts: 789000 | #Constraints: 35618
878.71/881.05 c #Conflicts: 790000 | #Constraints: 36618
878.71/881.05 c #Conflicts: 791000 | #Constraints: 37618
878.71/881.05 c #Conflicts: 792000 | #Constraints: 38618
878.71/881.05 c INPROCESSING
878.71/881.05 c GARBAGE COLLECT
878.71/881.05 c #Conflicts: 793000 | #Constraints: 22013
878.71/881.05 c #Conflicts: 794000 | #Constraints: 23013
878.71/881.05 c #Conflicts: 795000 | #Constraints: 24013
878.71/881.05 c #Conflicts: 796000 | #Constraints: 25013
878.71/881.05 c #Conflicts: 797000 | #Constraints: 26013
878.71/881.05 c #Conflicts: 798000 | #Constraints: 27013
878.71/881.05 c #Conflicts: 799000 | #Constraints: 28013
878.71/881.05 c #Conflicts: 800000 | #Constraints: 29013
878.71/881.05 c #Conflicts: 801000 | #Constraints: 30013
878.71/881.05 c #Conflicts: 802000 | #Constraints: 31013
878.71/881.05 c #Conflicts: 803000 | #Constraints: 32013
878.71/881.05 c #Conflicts: 804000 | #Constraints: 33013
878.71/881.05 c #Conflicts: 805000 | #Constraints: 34013
878.71/881.05 c #Conflicts: 806000 | #Constraints: 35013
878.71/881.05 c #Conflicts: 807000 | #Constraints: 36013
878.71/881.05 c #Conflicts: 808000 | #Constraints: 37013
878.71/881.05 c #Conflicts: 809000 | #Constraints: 38013
878.71/881.05 c #Conflicts: 810000 | #Constraints: 39013
878.71/881.05 c INPROCESSING
878.71/881.05 c GARBAGE COLLECT
878.71/881.05 c #Conflicts: 811000 | #Constraints: 22222
878.71/881.05 c #Conflicts: 812000 | #Constraints: 23222
878.71/881.05 c #Conflicts: 813000 | #Constraints: 24222
878.71/881.05 c #Conflicts: 814000 | #Constraints: 25222
878.71/881.05 c #Conflicts: 815000 | #Constraints: 26222
878.71/881.05 c #Conflicts: 816000 | #Constraints: 27222
983.61/986.25 c #Conflicts: 817000 | #Constraints: 28222
983.61/986.25 c #Conflicts: 818000 | #Constraints: 29222
983.61/986.25 c #Conflicts: 819000 | #Constraints: 30222
983.61/986.25 c #Conflicts: 820000 | #Constraints: 31222
983.61/986.25 c #Conflicts: 821000 | #Constraints: 32222
983.61/986.25 c #Conflicts: 822000 | #Constraints: 33222
983.61/986.25 c #Conflicts: 823000 | #Constraints: 34222
983.61/986.25 c #Conflicts: 824000 | #Constraints: 35222
983.61/986.25 c #Conflicts: 825000 | #Constraints: 36222
983.61/986.25 c #Conflicts: 826000 | #Constraints: 37222
983.61/986.25 c #Conflicts: 827000 | #Constraints: 38222
983.61/986.25 c #Conflicts: 828000 | #Constraints: 39222
983.61/986.25 c INPROCESSING
983.61/986.25 c GARBAGE COLLECT
983.61/986.25 c #Conflicts: 829000 | #Constraints: 22235
983.61/986.25 c #Conflicts: 830000 | #Constraints: 23235
983.61/986.25 c #Conflicts: 831000 | #Constraints: 24235
983.61/986.25 c #Conflicts: 832000 | #Constraints: 25235
983.61/986.25 c #Conflicts: 833000 | #Constraints: 26235
983.61/986.25 c #Conflicts: 834000 | #Constraints: 27235
983.61/986.25 c #Conflicts: 835000 | #Constraints: 28235
983.61/986.25 c #Conflicts: 836000 | #Constraints: 29235
983.61/986.25 c #Conflicts: 837000 | #Constraints: 30235
983.61/986.25 c #Conflicts: 838000 | #Constraints: 31235
983.61/986.25 c #Conflicts: 839000 | #Constraints: 32235
983.61/986.25 c #Conflicts: 840000 | #Constraints: 33235
983.61/986.25 c #Conflicts: 841000 | #Constraints: 34235
983.61/986.25 c #Conflicts: 842000 | #Constraints: 35235
983.61/986.25 c #Conflicts: 843000 | #Constraints: 36235
983.61/986.25 c #Conflicts: 844000 | #Constraints: 37235
983.61/986.25 c #Conflicts: 845000 | #Constraints: 38235
983.61/986.25 c #Conflicts: 846000 | #Constraints: 39235
983.61/986.25 c INPROCESSING
983.61/986.25 c GARBAGE COLLECT
983.61/986.25 c #Conflicts: 847000 | #Constraints: 22034
983.61/986.25 c #Conflicts: 848000 | #Constraints: 23034
983.61/986.25 c #Conflicts: 849000 | #Constraints: 24034
983.61/986.25 c #Conflicts: 850000 | #Constraints: 25034
983.61/986.25 c #Conflicts: 851000 | #Constraints: 26034
983.61/986.25 c #Conflicts: 852000 | #Constraints: 27034
983.61/986.25 c #Conflicts: 853000 | #Constraints: 28034
983.61/986.25 c #Conflicts: 854000 | #Constraints: 29034
983.61/986.25 c #Conflicts: 855000 | #Constraints: 30034
983.61/986.25 c #Conflicts: 856000 | #Constraints: 31034
983.61/986.25 c #Conflicts: 857000 | #Constraints: 32034
983.61/986.25 c #Conflicts: 858000 | #Constraints: 33034
983.61/986.25 c #Conflicts: 859000 | #Constraints: 34034
983.61/986.25 c #Conflicts: 860000 | #Constraints: 35034
983.61/986.25 c #Conflicts: 861000 | #Constraints: 36034
983.61/986.25 c #Conflicts: 862000 | #Constraints: 37034
983.61/986.25 c #Conflicts: 863000 | #Constraints: 38034
983.61/986.25 c #Conflicts: 864000 | #Constraints: 39034
983.61/986.25 c #Conflicts: 865000 | #Constraints: 40034
983.61/986.25 c INPROCESSING
983.61/986.25 c GARBAGE COLLECT
983.61/986.25 c #Conflicts: 866000 | #Constraints: 22627
983.61/986.25 c #Conflicts: 867000 | #Constraints: 23627
983.61/986.25 c #Conflicts: 868000 | #Constraints: 24627
983.61/986.25 c #Conflicts: 869000 | #Constraints: 25627
983.61/986.25 c #Conflicts: 870000 | #Constraints: 26627
983.61/986.25 c #Conflicts: 871000 | #Constraints: 27627
983.61/986.25 c #Conflicts: 872000 | #Constraints: 28627
983.61/986.25 c #Conflicts: 873000 | #Constraints: 29627
983.61/986.25 c #Conflicts: 874000 | #Constraints: 30627
983.61/986.25 c #Conflicts: 875000 | #Constraints: 31627
983.61/986.25 c #Conflicts: 876000 | #Constraints: 32627
983.61/986.25 c #Conflicts: 877000 | #Constraints: 33627
983.61/986.25 c #Conflicts: 878000 | #Constraints: 34627
983.61/986.25 c #Conflicts: 879000 | #Constraints: 35627
983.61/986.25 c #Conflicts: 880000 | #Constraints: 36627
983.61/986.25 c #Conflicts: 881000 | #Constraints: 37627
983.61/986.25 c #Conflicts: 882000 | #Constraints: 38627
983.61/986.25 c #Conflicts: 883000 | #Constraints: 39627
983.61/986.25 c #Conflicts: 884000 | #Constraints: 40627
983.61/986.25 c INPROCESSING
983.61/986.25 c GARBAGE COLLECT
983.61/986.25 c #Conflicts: 885000 | #Constraints: 23023
983.61/986.25 c #Conflicts: 886000 | #Constraints: 24023
983.61/986.25 c #Conflicts: 887000 | #Constraints: 25023
983.61/986.25 c #Conflicts: 888000 | #Constraints: 26023
983.61/986.25 c #Conflicts: 889000 | #Constraints: 27023
983.61/986.25 c #Conflicts: 890000 | #Constraints: 28023
983.61/986.25 c #Conflicts: 891000 | #Constraints: 29023
983.61/986.25 c #Conflicts: 892000 | #Constraints: 30023
1117.42/1120.42 c #Conflicts: 893000 | #Constraints: 31023
1117.42/1120.42 c #Conflicts: 894000 | #Constraints: 32023
1117.42/1120.42 c #Conflicts: 895000 | #Constraints: 33023
1117.42/1120.42 c #Conflicts: 896000 | #Constraints: 34023
1117.42/1120.42 c #Conflicts: 897000 | #Constraints: 35023
1117.42/1120.42 c #Conflicts: 898000 | #Constraints: 36023
1117.42/1120.42 c #Conflicts: 899000 | #Constraints: 37023
1117.42/1120.42 c #Conflicts: 900000 | #Constraints: 38023
1117.42/1120.42 c #Conflicts: 901000 | #Constraints: 39023
1117.42/1120.42 c #Conflicts: 902000 | #Constraints: 40023
1117.42/1120.42 c #Conflicts: 903000 | #Constraints: 41023
1117.42/1120.42 c INPROCESSING
1117.42/1120.42 c GARBAGE COLLECT
1117.42/1120.42 c #Conflicts: 904000 | #Constraints: 23215
1117.42/1120.42 c #Conflicts: 905000 | #Constraints: 24215
1117.42/1120.42 c #Conflicts: 906000 | #Constraints: 25215
1117.42/1120.42 c #Conflicts: 907000 | #Constraints: 26215
1117.42/1120.42 c #Conflicts: 908000 | #Constraints: 27215
1117.42/1120.42 c #Conflicts: 909000 | #Constraints: 28215
1117.42/1120.42 c #Conflicts: 910000 | #Constraints: 29215
1117.42/1120.42 c #Conflicts: 911000 | #Constraints: 30215
1117.42/1120.42 c #Conflicts: 912000 | #Constraints: 31215
1117.42/1120.42 c #Conflicts: 913000 | #Constraints: 32215
1117.42/1120.42 c #Conflicts: 914000 | #Constraints: 33215
1117.42/1120.42 c #Conflicts: 915000 | #Constraints: 34215
1117.42/1120.42 c #Conflicts: 916000 | #Constraints: 35215
1117.42/1120.42 c #Conflicts: 917000 | #Constraints: 36215
1117.42/1120.42 c #Conflicts: 918000 | #Constraints: 37215
1117.42/1120.42 c #Conflicts: 919000 | #Constraints: 38215
1117.42/1120.42 c #Conflicts: 920000 | #Constraints: 39215
1117.42/1120.42 c #Conflicts: 921000 | #Constraints: 40215
1117.42/1120.42 c #Conflicts: 922000 | #Constraints: 41215
1117.42/1120.42 c INPROCESSING
1117.42/1120.42 c GARBAGE COLLECT
1117.42/1120.42 c #Conflicts: 923000 | #Constraints: 23231
1117.42/1120.42 c #Conflicts: 924000 | #Constraints: 24231
1117.42/1120.42 c #Conflicts: 925000 | #Constraints: 25231
1117.42/1120.42 c #Conflicts: 926000 | #Constraints: 26231
1117.42/1120.42 c #Conflicts: 927000 | #Constraints: 27231
1117.42/1120.42 c #Conflicts: 928000 | #Constraints: 28231
1117.42/1120.42 c #Conflicts: 929000 | #Constraints: 29231
1117.42/1120.42 c #Conflicts: 930000 | #Constraints: 30231
1117.42/1120.42 c #Conflicts: 931000 | #Constraints: 31231
1117.42/1120.42 c #Conflicts: 932000 | #Constraints: 32231
1117.42/1120.42 c #Conflicts: 933000 | #Constraints: 33231
1117.42/1120.42 c #Conflicts: 934000 | #Constraints: 34231
1117.42/1120.42 c #Conflicts: 935000 | #Constraints: 35231
1117.42/1120.42 c #Conflicts: 936000 | #Constraints: 36231
1117.42/1120.42 c #Conflicts: 937000 | #Constraints: 37231
1117.42/1120.42 c #Conflicts: 938000 | #Constraints: 38231
1117.42/1120.42 c #Conflicts: 939000 | #Constraints: 39231
1117.42/1120.42 c #Conflicts: 940000 | #Constraints: 40231
1117.42/1120.42 c #Conflicts: 941000 | #Constraints: 41231
1117.42/1120.42 c INPROCESSING
1117.42/1120.42 c GARBAGE COLLECT
1117.42/1120.42 c #Conflicts: 942000 | #Constraints: 23053
1117.42/1120.42 c #Conflicts: 943000 | #Constraints: 24053
1117.42/1120.42 c #Conflicts: 944000 | #Constraints: 25053
1117.42/1120.42 c #Conflicts: 945000 | #Constraints: 26053
1117.42/1120.42 c #Conflicts: 946000 | #Constraints: 27053
1117.42/1120.42 c #Conflicts: 947000 | #Constraints: 28053
1117.42/1120.42 c #Conflicts: 948000 | #Constraints: 29053
1117.42/1120.42 c #Conflicts: 949000 | #Constraints: 30053
1117.42/1120.42 c #Conflicts: 950000 | #Constraints: 31053
1117.42/1120.42 c #Conflicts: 951000 | #Constraints: 32053
1117.42/1120.42 c #Conflicts: 952000 | #Constraints: 33053
1117.42/1120.42 c #Conflicts: 953000 | #Constraints: 34053
1117.42/1120.42 c #Conflicts: 954000 | #Constraints: 35053
1117.42/1120.42 c #Conflicts: 955000 | #Constraints: 36053
1117.42/1120.42 c #Conflicts: 956000 | #Constraints: 37053
1117.42/1120.42 c #Conflicts: 957000 | #Constraints: 38053
1117.42/1120.42 c #Conflicts: 958000 | #Constraints: 39053
1117.42/1120.42 c #Conflicts: 959000 | #Constraints: 40053
1117.42/1120.42 c #Conflicts: 960000 | #Constraints: 41053
1117.42/1120.42 c #Conflicts: 961000 | #Constraints: 42053
1117.42/1120.42 c INPROCESSING
1117.42/1120.42 c GARBAGE COLLECT
1117.42/1120.42 c #Conflicts: 962000 | #Constraints: 23635
1117.42/1120.42 c #Conflicts: 963000 | #Constraints: 24635
1117.42/1120.42 c #Conflicts: 964000 | #Constraints: 25635
1117.42/1120.42 c #Conflicts: 965000 | #Constraints: 26635
1117.42/1120.42 c #Conflicts: 966000 | #Constraints: 27635
1117.42/1120.42 c #Conflicts: 967000 | #Constraints: 28635
1117.42/1120.42 c #Conflicts: 968000 | #Constraints: 29635
1281.03/1284.51 c #Conflicts: 969000 | #Constraints: 30635
1281.03/1284.51 c #Conflicts: 970000 | #Constraints: 31635
1281.03/1284.51 c #Conflicts: 971000 | #Constraints: 32635
1281.03/1284.51 c #Conflicts: 972000 | #Constraints: 33635
1281.03/1284.51 c #Conflicts: 973000 | #Constraints: 34635
1281.03/1284.51 c #Conflicts: 974000 | #Constraints: 35635
1281.03/1284.51 c #Conflicts: 975000 | #Constraints: 36635
1281.03/1284.51 c #Conflicts: 976000 | #Constraints: 37635
1281.03/1284.51 c #Conflicts: 977000 | #Constraints: 38635
1281.03/1284.51 c #Conflicts: 978000 | #Constraints: 39635
1281.03/1284.51 c #Conflicts: 979000 | #Constraints: 40635
1281.03/1284.51 c #Conflicts: 980000 | #Constraints: 41635
1281.03/1284.51 c #Conflicts: 981000 | #Constraints: 42635
1281.03/1284.51 c INPROCESSING
1281.03/1284.51 c GARBAGE COLLECT
1281.03/1284.51 c #Conflicts: 982000 | #Constraints: 24040
1281.03/1284.51 c #Conflicts: 983000 | #Constraints: 25040
1281.03/1284.51 c #Conflicts: 984000 | #Constraints: 26040
1281.03/1284.51 c #Conflicts: 985000 | #Constraints: 27040
1281.03/1284.51 c #Conflicts: 986000 | #Constraints: 28040
1281.03/1284.51 c #Conflicts: 987000 | #Constraints: 29040
1281.03/1284.51 c #Conflicts: 988000 | #Constraints: 30040
1281.03/1284.51 c #Conflicts: 989000 | #Constraints: 31040
1281.03/1284.51 c #Conflicts: 990000 | #Constraints: 32040
1281.03/1284.51 c #Conflicts: 991000 | #Constraints: 33040
1281.03/1284.51 c #Conflicts: 992000 | #Constraints: 34040
1281.03/1284.51 c #Conflicts: 993000 | #Constraints: 35040
1281.03/1284.51 c #Conflicts: 994000 | #Constraints: 36040
1281.03/1284.51 c #Conflicts: 995000 | #Constraints: 37040
1281.03/1284.51 c #Conflicts: 996000 | #Constraints: 38040
1281.03/1284.51 c #Conflicts: 997000 | #Constraints: 39040
1281.03/1284.51 c #Conflicts: 998000 | #Constraints: 40040
1281.03/1284.51 c #Conflicts: 999000 | #Constraints: 41040
1281.03/1284.51 c #Conflicts: 1000000 | #Constraints: 42040
1281.03/1284.51 c #Conflicts: 1001000 | #Constraints: 43040
1281.03/1284.51 c INPROCESSING
1281.03/1284.51 c GARBAGE COLLECT
1281.03/1284.51 c #Conflicts: 1002000 | #Constraints: 24261
1281.03/1284.51 c #Conflicts: 1003000 | #Constraints: 25261
1281.03/1284.51 c #Conflicts: 1004000 | #Constraints: 26261
1281.03/1284.51 c #Conflicts: 1005000 | #Constraints: 27261
1281.03/1284.51 c #Conflicts: 1006000 | #Constraints: 28261
1281.03/1284.51 c #Conflicts: 1007000 | #Constraints: 29261
1281.03/1284.51 c #Conflicts: 1008000 | #Constraints: 30261
1281.03/1284.51 c #Conflicts: 1009000 | #Constraints: 31261
1281.03/1284.51 c #Conflicts: 1010000 | #Constraints: 32261
1281.03/1284.51 c #Conflicts: 1011000 | #Constraints: 33261
1281.03/1284.51 c #Conflicts: 1012000 | #Constraints: 34261
1281.03/1284.51 c #Conflicts: 1013000 | #Constraints: 35261
1281.03/1284.51 c #Conflicts: 1014000 | #Constraints: 36261
1281.03/1284.51 c #Conflicts: 1015000 | #Constraints: 37261
1281.03/1284.51 c #Conflicts: 1016000 | #Constraints: 38261
1281.03/1284.51 c #Conflicts: 1017000 | #Constraints: 39261
1281.03/1284.51 c #Conflicts: 1018000 | #Constraints: 40261
1281.03/1284.51 c #Conflicts: 1019000 | #Constraints: 41261
1281.03/1284.51 c #Conflicts: 1020000 | #Constraints: 42261
1281.03/1284.51 c #Conflicts: 1021000 | #Constraints: 43261
1281.03/1284.51 c INPROCESSING
1281.03/1284.51 c GARBAGE COLLECT
1281.03/1284.51 c #Conflicts: 1022000 | #Constraints: 24272
1281.03/1284.51 c #Conflicts: 1023000 | #Constraints: 25272
1281.03/1284.51 c #Conflicts: 1024000 | #Constraints: 26272
1281.03/1284.51 c #Conflicts: 1025000 | #Constraints: 27272
1281.03/1284.51 c #Conflicts: 1026000 | #Constraints: 28272
1281.03/1284.51 c #Conflicts: 1027000 | #Constraints: 29272
1281.03/1284.51 c #Conflicts: 1028000 | #Constraints: 30272
1281.03/1284.51 c #Conflicts: 1029000 | #Constraints: 31272
1281.03/1284.51 c #Conflicts: 1030000 | #Constraints: 32272
1281.03/1284.51 c #Conflicts: 1031000 | #Constraints: 33272
1281.03/1284.51 c #Conflicts: 1032000 | #Constraints: 34272
1281.03/1284.51 c #Conflicts: 1033000 | #Constraints: 35272
1281.03/1284.51 c #Conflicts: 1034000 | #Constraints: 36272
1281.03/1284.51 c #Conflicts: 1035000 | #Constraints: 37272
1281.03/1284.51 c #Conflicts: 1036000 | #Constraints: 38272
1281.03/1284.51 c #Conflicts: 1037000 | #Constraints: 39272
1281.03/1284.51 c #Conflicts: 1038000 | #Constraints: 40272
1281.03/1284.51 c #Conflicts: 1039000 | #Constraints: 41272
1281.03/1284.51 c #Conflicts: 1040000 | #Constraints: 42272
1281.03/1284.51 c #Conflicts: 1041000 | #Constraints: 43272
1281.03/1284.51 c INPROCESSING
1281.03/1284.51 c GARBAGE COLLECT
1281.03/1284.51 c #Conflicts: 1042000 | #Constraints: 24071
1281.03/1284.51 c #Conflicts: 1043000 | #Constraints: 25071
1281.03/1284.51 c #Conflicts: 1044000 | #Constraints: 26071
1515.62/1519.87 c #Conflicts: 1045000 | #Constraints: 27071
1515.62/1519.87 c #Conflicts: 1046000 | #Constraints: 28071
1515.62/1519.87 c #Conflicts: 1047000 | #Constraints: 29071
1515.62/1519.87 c #Conflicts: 1048000 | #Constraints: 30071
1515.62/1519.87 c #Conflicts: 1049000 | #Constraints: 31071
1515.62/1519.87 c #Conflicts: 1050000 | #Constraints: 32071
1515.62/1519.87 c #Conflicts: 1051000 | #Constraints: 33071
1515.62/1519.87 c #Conflicts: 1052000 | #Constraints: 34071
1515.62/1519.87 c #Conflicts: 1053000 | #Constraints: 35071
1515.62/1519.87 c #Conflicts: 1054000 | #Constraints: 36071
1515.62/1519.87 c #Conflicts: 1055000 | #Constraints: 37071
1515.62/1519.87 c #Conflicts: 1056000 | #Constraints: 38071
1515.62/1519.87 c #Conflicts: 1057000 | #Constraints: 39071
1515.62/1519.87 c #Conflicts: 1058000 | #Constraints: 40071
1515.62/1519.87 c #Conflicts: 1059000 | #Constraints: 41071
1515.62/1519.87 c #Conflicts: 1060000 | #Constraints: 42071
1515.62/1519.87 c #Conflicts: 1061000 | #Constraints: 43071
1515.62/1519.87 c #Conflicts: 1062000 | #Constraints: 44071
1515.62/1519.87 c INPROCESSING
1515.62/1519.87 c GARBAGE COLLECT
1515.62/1519.87 c #Conflicts: 1063000 | #Constraints: 24644
1515.62/1519.87 c #Conflicts: 1064000 | #Constraints: 25644
1515.62/1519.87 c #Conflicts: 1065000 | #Constraints: 26644
1515.62/1519.87 c #Conflicts: 1066000 | #Constraints: 27644
1515.62/1519.87 c #Conflicts: 1067000 | #Constraints: 28644
1515.62/1519.87 c #Conflicts: 1068000 | #Constraints: 29644
1515.62/1519.87 c #Conflicts: 1069000 | #Constraints: 30644
1515.62/1519.87 c #Conflicts: 1070000 | #Constraints: 31644
1515.62/1519.87 c #Conflicts: 1071000 | #Constraints: 32644
1515.62/1519.87 c #Conflicts: 1072000 | #Constraints: 33644
1515.62/1519.87 c #Conflicts: 1073000 | #Constraints: 34644
1515.62/1519.87 c #Conflicts: 1074000 | #Constraints: 35644
1515.62/1519.87 c #Conflicts: 1075000 | #Constraints: 36644
1515.62/1519.87 c #Conflicts: 1076000 | #Constraints: 37644
1515.62/1519.87 c #Conflicts: 1077000 | #Constraints: 38644
1515.62/1519.87 c #Conflicts: 1078000 | #Constraints: 39644
1515.62/1519.87 c #Conflicts: 1079000 | #Constraints: 40644
1515.62/1519.87 c #Conflicts: 1080000 | #Constraints: 41644
1515.62/1519.87 c #Conflicts: 1081000 | #Constraints: 42644
1515.62/1519.87 c #Conflicts: 1082000 | #Constraints: 43644
1515.62/1519.87 c #Conflicts: 1083000 | #Constraints: 44644
1515.62/1519.87 c INPROCESSING
1515.62/1519.87 c GARBAGE COLLECT
1515.62/1519.87 c #Conflicts: 1084000 | #Constraints: 25043
1515.62/1519.87 c #Conflicts: 1085000 | #Constraints: 26043
1515.62/1519.87 c #Conflicts: 1086000 | #Constraints: 27043
1515.62/1519.87 c #Conflicts: 1087000 | #Constraints: 28043
1515.62/1519.87 c #Conflicts: 1088000 | #Constraints: 29043
1515.62/1519.87 c #Conflicts: 1089000 | #Constraints: 30043
1515.62/1519.87 c #Conflicts: 1090000 | #Constraints: 31043
1515.62/1519.87 c #Conflicts: 1091000 | #Constraints: 32043
1515.62/1519.87 c #Conflicts: 1092000 | #Constraints: 33043
1515.62/1519.87 c #Conflicts: 1093000 | #Constraints: 34043
1515.62/1519.87 c #Conflicts: 1094000 | #Constraints: 35043
1515.62/1519.87 c #Conflicts: 1095000 | #Constraints: 36043
1515.62/1519.87 c #Conflicts: 1096000 | #Constraints: 37043
1515.62/1519.87 c #Conflicts: 1097000 | #Constraints: 38043
1515.62/1519.87 c #Conflicts: 1098000 | #Constraints: 39043
1515.62/1519.87 c #Conflicts: 1099000 | #Constraints: 40043
1515.62/1519.87 c #Conflicts: 1100000 | #Constraints: 41043
1515.62/1519.87 c #Conflicts: 1101000 | #Constraints: 42043
1515.62/1519.87 c #Conflicts: 1102000 | #Constraints: 43043
1515.62/1519.87 c #Conflicts: 1103000 | #Constraints: 44043
1515.62/1519.87 c #Conflicts: 1104000 | #Constraints: 45043
1515.62/1519.87 c INPROCESSING
1515.62/1519.87 c GARBAGE COLLECT
1515.62/1519.87 c #Conflicts: 1105000 | #Constraints: 25260
1515.62/1519.87 c #Conflicts: 1106000 | #Constraints: 26260
1515.62/1519.87 c #Conflicts: 1107000 | #Constraints: 27260
1515.62/1519.87 c #Conflicts: 1108000 | #Constraints: 28260
1515.62/1519.87 c #Conflicts: 1109000 | #Constraints: 29260
1515.62/1519.87 c #Conflicts: 1110000 | #Constraints: 30260
1515.62/1519.87 c #Conflicts: 1111000 | #Constraints: 31260
1515.62/1519.87 c #Conflicts: 1112000 | #Constraints: 32260
1515.62/1519.87 c #Conflicts: 1113000 | #Constraints: 33260
1515.62/1519.87 c #Conflicts: 1114000 | #Constraints: 34260
1515.62/1519.87 c #Conflicts: 1115000 | #Constraints: 35260
1515.62/1519.87 c #Conflicts: 1116000 | #Constraints: 36260
1515.62/1519.87 c #Conflicts: 1117000 | #Constraints: 37260
1515.62/1519.87 c #Conflicts: 1118000 | #Constraints: 38260
1515.62/1519.87 c #Conflicts: 1119000 | #Constraints: 39260
1515.62/1519.87 c #Conflicts: 1120000 | #Constraints: 40260
1515.62/1519.87 c #Conflicts: 1121000 | #Constraints: 41260
1679.11/1683.74 c #Conflicts: 1122000 | #Constraints: 42260
1679.11/1683.74 c #Conflicts: 1123000 | #Constraints: 43260
1679.11/1683.74 c #Conflicts: 1124000 | #Constraints: 44260
1679.11/1683.74 c #Conflicts: 1125000 | #Constraints: 45260
1679.11/1683.74 c INPROCESSING
1679.11/1683.74 c GARBAGE COLLECT
1679.11/1683.74 c #Conflicts: 1126000 | #Constraints: 25267
1679.11/1683.74 c #Conflicts: 1127000 | #Constraints: 26267
1679.11/1683.74 c #Conflicts: 1128000 | #Constraints: 27267
1679.11/1683.74 c #Conflicts: 1129000 | #Constraints: 28267
1679.11/1683.74 c #Conflicts: 1130000 | #Constraints: 29267
1679.11/1683.74 c #Conflicts: 1131000 | #Constraints: 30267
1679.11/1683.74 c #Conflicts: 1132000 | #Constraints: 31267
1679.11/1683.74 c #Conflicts: 1133000 | #Constraints: 32267
1679.11/1683.74 c #Conflicts: 1134000 | #Constraints: 33267
1679.11/1683.74 c #Conflicts: 1135000 | #Constraints: 34267
1679.11/1683.74 c #Conflicts: 1136000 | #Constraints: 35267
1679.11/1683.74 c #Conflicts: 1137000 | #Constraints: 36267
1679.11/1683.74 c #Conflicts: 1138000 | #Constraints: 37267
1679.11/1683.74 c #Conflicts: 1139000 | #Constraints: 38267
1679.11/1683.74 c #Conflicts: 1140000 | #Constraints: 39267
1679.11/1683.74 c #Conflicts: 1141000 | #Constraints: 40267
1679.11/1683.74 c #Conflicts: 1142000 | #Constraints: 41267
1679.11/1683.74 c #Conflicts: 1143000 | #Constraints: 42267
1679.11/1683.74 c #Conflicts: 1144000 | #Constraints: 43267
1679.11/1683.74 c #Conflicts: 1145000 | #Constraints: 44267
1679.11/1683.74 c #Conflicts: 1146000 | #Constraints: 45267
1679.11/1683.74 c INPROCESSING
1679.11/1683.74 c GARBAGE COLLECT
1679.11/1683.74 c #Conflicts: 1147000 | #Constraints: 25049
1679.11/1683.74 c #Conflicts: 1148000 | #Constraints: 26049
1679.11/1683.74 c #Conflicts: 1149000 | #Constraints: 27049
1679.11/1683.74 c #Conflicts: 1150000 | #Constraints: 28049
1679.11/1683.74 c #Conflicts: 1151000 | #Constraints: 29049
1679.11/1683.74 c #Conflicts: 1152000 | #Constraints: 30049
1679.11/1683.74 c #Conflicts: 1153000 | #Constraints: 31049
1679.11/1683.74 c #Conflicts: 1154000 | #Constraints: 32049
1679.11/1683.74 c #Conflicts: 1155000 | #Constraints: 33049
1679.11/1683.74 c #Conflicts: 1156000 | #Constraints: 34049
1679.11/1683.74 c #Conflicts: 1157000 | #Constraints: 35049
1679.11/1683.74 c #Conflicts: 1158000 | #Constraints: 36049
1679.11/1683.74 c #Conflicts: 1159000 | #Constraints: 37049
1679.11/1683.74 c #Conflicts: 1160000 | #Constraints: 38049
1679.11/1683.74 c #Conflicts: 1161000 | #Constraints: 39049
1679.11/1683.74 c #Conflicts: 1162000 | #Constraints: 40049
1679.11/1683.74 c #Conflicts: 1163000 | #Constraints: 41049
1679.11/1683.74 c #Conflicts: 1164000 | #Constraints: 42049
1679.11/1683.74 c #Conflicts: 1165000 | #Constraints: 43049
1679.11/1683.74 c #Conflicts: 1166000 | #Constraints: 44049
1679.11/1683.74 c #Conflicts: 1167000 | #Constraints: 45049
1679.11/1683.74 c #Conflicts: 1168000 | #Constraints: 46049
1679.11/1683.74 c INPROCESSING
1679.11/1683.74 c GARBAGE COLLECT
1679.11/1683.74 c #Conflicts: 1169000 | #Constraints: 25625
1679.11/1683.74 c #Conflicts: 1170000 | #Constraints: 26625
1679.11/1683.74 c #Conflicts: 1171000 | #Constraints: 27625
1679.11/1683.74 c #Conflicts: 1172000 | #Constraints: 28625
1679.11/1683.74 c #Conflicts: 1173000 | #Constraints: 29625
1679.11/1683.74 c #Conflicts: 1174000 | #Constraints: 30625
1679.11/1683.74 c #Conflicts: 1175000 | #Constraints: 31625
1679.11/1683.74 c #Conflicts: 1176000 | #Constraints: 32625
1679.11/1683.74 c #Conflicts: 1177000 | #Constraints: 33625
1679.11/1683.74 c #Conflicts: 1178000 | #Constraints: 34625
1679.11/1683.74 c #Conflicts: 1179000 | #Constraints: 35625
1679.11/1683.74 c #Conflicts: 1180000 | #Constraints: 36625
1679.11/1683.74 c #Conflicts: 1181000 | #Constraints: 37625
1679.11/1683.74 c #Conflicts: 1182000 | #Constraints: 38625
1679.11/1683.74 c #Conflicts: 1183000 | #Constraints: 39625
1679.11/1683.74 c #Conflicts: 1184000 | #Constraints: 40625
1679.11/1683.74 c #Conflicts: 1185000 | #Constraints: 41625
1679.11/1683.74 c #Conflicts: 1186000 | #Constraints: 42625
1679.11/1683.74 c #Conflicts: 1187000 | #Constraints: 43625
1679.11/1683.74 c #Conflicts: 1188000 | #Constraints: 44625
1679.11/1683.74 c #Conflicts: 1189000 | #Constraints: 45625
1679.11/1683.74 c #Conflicts: 1190000 | #Constraints: 46625
1679.11/1683.74 c INPROCESSING
1679.11/1683.74 c GARBAGE COLLECT
1679.11/1683.74 c #Conflicts: 1191000 | #Constraints: 26047
1679.11/1683.74 c #Conflicts: 1192000 | #Constraints: 27047
1679.11/1683.74 c #Conflicts: 1193000 | #Constraints: 28047
1679.11/1683.74 c #Conflicts: 1194000 | #Constraints: 29047
1679.11/1683.74 c #Conflicts: 1195000 | #Constraints: 30047
1679.11/1683.74 c #Conflicts: 1196000 | #Constraints: 31047
1679.11/1683.74 c #Conflicts: 1197000 | #Constraints: 32047
1815.78/1820.74 c #Conflicts: 1198000 | #Constraints: 33047
1815.78/1820.74 c #Conflicts: 1199000 | #Constraints: 34047
1815.78/1820.74 c #Conflicts: 1200000 | #Constraints: 35047
1815.78/1820.74 c #Conflicts: 1201000 | #Constraints: 36047
1815.78/1820.74 c #Conflicts: 1202000 | #Constraints: 37047
1815.78/1820.74 c #Conflicts: 1203000 | #Constraints: 38047
1815.78/1820.74 c #Conflicts: 1204000 | #Constraints: 39047
1815.78/1820.74 c #Conflicts: 1205000 | #Constraints: 40047
1815.78/1820.74 c #Conflicts: 1206000 | #Constraints: 41047
1815.78/1820.74 c #Conflicts: 1207000 | #Constraints: 42047
1815.78/1820.74 c #Conflicts: 1208000 | #Constraints: 43047
1815.78/1820.74 c #Conflicts: 1209000 | #Constraints: 44047
1815.78/1820.74 c #Conflicts: 1210000 | #Constraints: 45047
1815.78/1820.74 c #Conflicts: 1211000 | #Constraints: 46047
1815.78/1820.74 c #Conflicts: 1212000 | #Constraints: 47047
1815.78/1820.74 c INPROCESSING
1815.78/1820.74 c GARBAGE COLLECT
1815.78/1820.74 c #Conflicts: 1213000 | #Constraints: 26245
1815.78/1820.74 c #Conflicts: 1214000 | #Constraints: 27245
1815.78/1820.74 c #Conflicts: 1215000 | #Constraints: 28245
1815.78/1820.74 c #Conflicts: 1216000 | #Constraints: 29245
1815.78/1820.74 c #Conflicts: 1217000 | #Constraints: 30245
1815.78/1820.74 c #Conflicts: 1218000 | #Constraints: 31245
1815.78/1820.74 c #Conflicts: 1219000 | #Constraints: 32245
1815.78/1820.74 c #Conflicts: 1220000 | #Constraints: 33245
1815.78/1820.74 c #Conflicts: 1221000 | #Constraints: 34245
1815.78/1820.74 c #Conflicts: 1222000 | #Constraints: 35245
1815.78/1820.74 c #Conflicts: 1223000 | #Constraints: 36245
1815.78/1820.74 c #Conflicts: 1224000 | #Constraints: 37245
1815.78/1820.74 c #Conflicts: 1225000 | #Constraints: 38245
1815.78/1820.74 c #Conflicts: 1226000 | #Constraints: 39245
1815.78/1820.74 c #Conflicts: 1227000 | #Constraints: 40245
1815.78/1820.74 c #Conflicts: 1228000 | #Constraints: 41245
1815.78/1820.74 c #Conflicts: 1229000 | #Constraints: 42245
1815.78/1820.74 c #Conflicts: 1230000 | #Constraints: 43245
1815.78/1820.74 c #Conflicts: 1231000 | #Constraints: 44245
1815.78/1820.74 c #Conflicts: 1232000 | #Constraints: 45245
1815.78/1820.74 c #Conflicts: 1233000 | #Constraints: 46245
1815.78/1820.74 c #Conflicts: 1234000 | #Constraints: 47245
1815.78/1820.74 c INPROCESSING
1815.78/1820.74 c GARBAGE COLLECT
1815.78/1820.74 c #Conflicts: 1235000 | #Constraints: 26215
1815.78/1820.74 c #Conflicts: 1236000 | #Constraints: 27215
1815.78/1820.74 c #Conflicts: 1237000 | #Constraints: 28215
1815.78/1820.74 c #Conflicts: 1238000 | #Constraints: 29215
1815.78/1820.74 c #Conflicts: 1239000 | #Constraints: 30215
1815.78/1820.74 c #Conflicts: 1240000 | #Constraints: 31215
1815.78/1820.74 c #Conflicts: 1241000 | #Constraints: 32215
1815.78/1820.74 c #Conflicts: 1242000 | #Constraints: 33215
1815.78/1820.74 c #Conflicts: 1243000 | #Constraints: 34215
1815.78/1820.74 c #Conflicts: 1244000 | #Constraints: 35215
1815.78/1820.74 c #Conflicts: 1245000 | #Constraints: 36215
1815.78/1820.74 c #Conflicts: 1246000 | #Constraints: 37215
1815.78/1820.74 c #Conflicts: 1247000 | #Constraints: 38215
1815.78/1820.74 c #Conflicts: 1248000 | #Constraints: 39215
1815.78/1820.74 c #Conflicts: 1249000 | #Constraints: 40215
1815.78/1820.74 c #Conflicts: 1250000 | #Constraints: 41215
1815.78/1820.74 c #Conflicts: 1251000 | #Constraints: 42215
1815.78/1820.74 c #Conflicts: 1252000 | #Constraints: 43215
1815.78/1820.74 c #Conflicts: 1253000 | #Constraints: 44215
1815.78/1820.74 c #Conflicts: 1254000 | #Constraints: 45215
1815.78/1820.74 c #Conflicts: 1255000 | #Constraints: 46215
1815.78/1820.74 c #Conflicts: 1256000 | #Constraints: 47215
1815.78/1820.74 c INPROCESSING
1815.78/1820.74 c GARBAGE COLLECT
1815.78/1820.74 c #Conflicts: 1257000 | #Constraints: 26001
1815.78/1820.74 c #Conflicts: 1258000 | #Constraints: 27001
1815.78/1820.74 c #Conflicts: 1259000 | #Constraints: 28001
1815.78/1820.74 c #Conflicts: 1260000 | #Constraints: 29001
1815.78/1820.74 c #Conflicts: 1261000 | #Constraints: 30001
1815.78/1820.74 c #Conflicts: 1262000 | #Constraints: 31001
1815.78/1820.74 c #Conflicts: 1263000 | #Constraints: 32001
1815.78/1820.74 c #Conflicts: 1264000 | #Constraints: 33001
1815.78/1820.74 c #Conflicts: 1265000 | #Constraints: 34001
1815.78/1820.74 c #Conflicts: 1266000 | #Constraints: 35001
1815.78/1820.74 c #Conflicts: 1267000 | #Constraints: 36001
1815.78/1820.74 c #Conflicts: 1268000 | #Constraints: 37001
1815.78/1820.74 c #Conflicts: 1269000 | #Constraints: 38001
1815.78/1820.74 c #Conflicts: 1270000 | #Constraints: 39001
1815.78/1820.74 c #Conflicts: 1271000 | #Constraints: 40001
1815.78/1820.74 c #Conflicts: 1272000 | #Constraints: 41001
1815.78/1820.74 c #Conflicts: 1273000 | #Constraints: 42001
1815.78/1820.74 c #Conflicts: 1274000 | #Constraints: 43001
1975.39/1980.70 c #Conflicts: 1275000 | #Constraints: 44001
1975.39/1980.70 c #Conflicts: 1276000 | #Constraints: 45001
1975.39/1980.70 c #Conflicts: 1277000 | #Constraints: 46001
1975.39/1980.70 c #Conflicts: 1278000 | #Constraints: 47001
1975.39/1980.70 c #Conflicts: 1279000 | #Constraints: 48001
1975.39/1980.70 c INPROCESSING
1975.39/1980.70 c GARBAGE COLLECT
1975.39/1980.70 c #Conflicts: 1280000 | #Constraints: 26607
1975.39/1980.70 c #Conflicts: 1281000 | #Constraints: 27607
1975.39/1980.70 c #Conflicts: 1282000 | #Constraints: 28607
1975.39/1980.70 c #Conflicts: 1283000 | #Constraints: 29607
1975.39/1980.70 c #Conflicts: 1284000 | #Constraints: 30607
1975.39/1980.70 c #Conflicts: 1285000 | #Constraints: 31607
1975.39/1980.70 c #Conflicts: 1286000 | #Constraints: 32607
1975.39/1980.70 c #Conflicts: 1287000 | #Constraints: 33607
1975.39/1980.70 c #Conflicts: 1288000 | #Constraints: 34607
1975.39/1980.70 c #Conflicts: 1289000 | #Constraints: 35607
1975.39/1980.70 c #Conflicts: 1290000 | #Constraints: 36607
1975.39/1980.70 c #Conflicts: 1291000 | #Constraints: 37607
1975.39/1980.70 c #Conflicts: 1292000 | #Constraints: 38607
1975.39/1980.70 c #Conflicts: 1293000 | #Constraints: 39607
1975.39/1980.70 c #Conflicts: 1294000 | #Constraints: 40607
1975.39/1980.70 c #Conflicts: 1295000 | #Constraints: 41607
1975.39/1980.70 c #Conflicts: 1296000 | #Constraints: 42607
1975.39/1980.70 c #Conflicts: 1297000 | #Constraints: 43607
1975.39/1980.70 c #Conflicts: 1298000 | #Constraints: 44607
1975.39/1980.70 c #Conflicts: 1299000 | #Constraints: 45607
1975.39/1980.70 c #Conflicts: 1300000 | #Constraints: 46607
1975.39/1980.70 c #Conflicts: 1301000 | #Constraints: 47607
1975.39/1980.70 c #Conflicts: 1302000 | #Constraints: 48607
1975.39/1980.70 c INPROCESSING
1975.39/1980.70 c GARBAGE COLLECT
1975.39/1980.70 c #Conflicts: 1303000 | #Constraints: 26998
1975.39/1980.70 c #Conflicts: 1304000 | #Constraints: 27998
1975.39/1980.70 c #Conflicts: 1305000 | #Constraints: 28998
1975.39/1980.70 c #Conflicts: 1306000 | #Constraints: 29998
1975.39/1980.70 c #Conflicts: 1307000 | #Constraints: 30998
1975.39/1980.70 c #Conflicts: 1308000 | #Constraints: 31998
1975.39/1980.70 c #Conflicts: 1309000 | #Constraints: 32998
1975.39/1980.70 c #Conflicts: 1310000 | #Constraints: 33998
1975.39/1980.70 c #Conflicts: 1311000 | #Constraints: 34998
1975.39/1980.70 c #Conflicts: 1312000 | #Constraints: 35998
1975.39/1980.71 c #Conflicts: 1313000 | #Constraints: 36998
1975.39/1980.71 c #Conflicts: 1314000 | #Constraints: 37998
1975.39/1980.71 c #Conflicts: 1315000 | #Constraints: 38998
1975.39/1980.71 c #Conflicts: 1316000 | #Constraints: 39998
1975.39/1980.71 c #Conflicts: 1317000 | #Constraints: 40998
1975.39/1980.71 c #Conflicts: 1318000 | #Constraints: 41998
1975.39/1980.71 c #Conflicts: 1319000 | #Constraints: 42998
1975.39/1980.71 c #Conflicts: 1320000 | #Constraints: 43998
1975.39/1980.71 c #Conflicts: 1321000 | #Constraints: 44998
1975.39/1980.71 c #Conflicts: 1322000 | #Constraints: 45998
1975.39/1980.71 c #Conflicts: 1323000 | #Constraints: 46998
1975.39/1980.71 c #Conflicts: 1324000 | #Constraints: 47998
1975.39/1980.71 c #Conflicts: 1325000 | #Constraints: 48998
1975.39/1980.71 c INPROCESSING
1975.39/1980.71 c GARBAGE COLLECT
1975.39/1980.71 c #Conflicts: 1326000 | #Constraints: 27223
1975.39/1980.71 c #Conflicts: 1327000 | #Constraints: 28223
1975.39/1980.71 c #Conflicts: 1328000 | #Constraints: 29223
1975.39/1980.71 c #Conflicts: 1329000 | #Constraints: 30223
1975.39/1980.71 c #Conflicts: 1330000 | #Constraints: 31223
1975.39/1980.71 c #Conflicts: 1331000 | #Constraints: 32223
1975.39/1980.71 c #Conflicts: 1332000 | #Constraints: 33223
1975.39/1980.71 c #Conflicts: 1333000 | #Constraints: 34223
1975.39/1980.71 c #Conflicts: 1334000 | #Constraints: 35223
1975.39/1980.71 c #Conflicts: 1335000 | #Constraints: 36223
1975.39/1980.71 c #Conflicts: 1336000 | #Constraints: 37223
1975.39/1980.71 c #Conflicts: 1337000 | #Constraints: 38223
1975.39/1980.71 c #Conflicts: 1338000 | #Constraints: 39223
1975.39/1980.71 c #Conflicts: 1339000 | #Constraints: 40223
1975.39/1980.71 c #Conflicts: 1340000 | #Constraints: 41223
1975.39/1980.71 c #Conflicts: 1341000 | #Constraints: 42223
1975.39/1980.71 c #Conflicts: 1342000 | #Constraints: 43223
1975.39/1980.71 c #Conflicts: 1343000 | #Constraints: 44223
1975.39/1980.71 c #Conflicts: 1344000 | #Constraints: 45223
1975.39/1980.71 c #Conflicts: 1345000 | #Constraints: 46223
1975.39/1980.71 c #Conflicts: 1346000 | #Constraints: 47223
1975.39/1980.71 c #Conflicts: 1347000 | #Constraints: 48223
1975.39/1980.71 c #Conflicts: 1348000 | #Constraints: 49223
1975.39/1980.71 c INPROCESSING
1975.39/1980.71 c GARBAGE COLLECT
1975.39/1980.71 c #Conflicts: 1349000 | #Constraints: 27273
1975.39/1980.71 c #Conflicts: 1350000 | #Constraints: 28273
2132.09/2137.84 c #Conflicts: 1351000 | #Constraints: 29273
2132.09/2137.84 c #Conflicts: 1352000 | #Constraints: 30273
2132.09/2137.84 c #Conflicts: 1353000 | #Constraints: 31273
2132.09/2137.84 c #Conflicts: 1354000 | #Constraints: 32273
2132.09/2137.84 c #Conflicts: 1355000 | #Constraints: 33273
2132.09/2137.84 c #Conflicts: 1356000 | #Constraints: 34273
2132.09/2137.84 c #Conflicts: 1357000 | #Constraints: 35273
2132.09/2137.84 c #Conflicts: 1358000 | #Constraints: 36273
2132.09/2137.84 c #Conflicts: 1359000 | #Constraints: 37273
2132.09/2137.84 c #Conflicts: 1360000 | #Constraints: 38273
2132.09/2137.84 c #Conflicts: 1361000 | #Constraints: 39273
2132.09/2137.84 c #Conflicts: 1362000 | #Constraints: 40273
2132.09/2137.84 c #Conflicts: 1363000 | #Constraints: 41273
2132.09/2137.84 c #Conflicts: 1364000 | #Constraints: 42273
2132.09/2137.84 c #Conflicts: 1365000 | #Constraints: 43273
2132.09/2137.84 c #Conflicts: 1366000 | #Constraints: 44273
2132.09/2137.84 c #Conflicts: 1367000 | #Constraints: 45273
2132.09/2137.84 c #Conflicts: 1368000 | #Constraints: 46273
2132.09/2137.84 c #Conflicts: 1369000 | #Constraints: 47273
2132.09/2137.84 c #Conflicts: 1370000 | #Constraints: 48273
2132.09/2137.84 c #Conflicts: 1371000 | #Constraints: 49273
2132.09/2137.84 c INPROCESSING
2132.09/2137.84 c GARBAGE COLLECT
2132.09/2137.84 c #Conflicts: 1372000 | #Constraints: 27042
2132.09/2137.84 c #Conflicts: 1373000 | #Constraints: 28042
2132.09/2137.84 c #Conflicts: 1374000 | #Constraints: 29042
2132.09/2137.84 c #Conflicts: 1375000 | #Constraints: 30042
2132.09/2137.84 c #Conflicts: 1376000 | #Constraints: 31042
2132.09/2137.84 c #Conflicts: 1377000 | #Constraints: 32042
2132.09/2137.84 c #Conflicts: 1378000 | #Constraints: 33042
2132.09/2137.84 c #Conflicts: 1379000 | #Constraints: 34042
2132.09/2137.84 c #Conflicts: 1380000 | #Constraints: 35042
2132.09/2137.84 c #Conflicts: 1381000 | #Constraints: 36042
2132.09/2137.84 c #Conflicts: 1382000 | #Constraints: 37042
2132.09/2137.84 c #Conflicts: 1383000 | #Constraints: 38042
2132.09/2137.84 c #Conflicts: 1384000 | #Constraints: 39042
2132.09/2137.84 c #Conflicts: 1385000 | #Constraints: 40042
2132.09/2137.84 c #Conflicts: 1386000 | #Constraints: 41042
2132.09/2137.84 c #Conflicts: 1387000 | #Constraints: 42042
2132.09/2137.84 c #Conflicts: 1388000 | #Constraints: 43042
2132.09/2137.84 c #Conflicts: 1389000 | #Constraints: 44042
2132.09/2137.84 c #Conflicts: 1390000 | #Constraints: 45042
2132.09/2137.84 c #Conflicts: 1391000 | #Constraints: 46042
2132.09/2137.84 c #Conflicts: 1392000 | #Constraints: 47042
2132.09/2137.84 c #Conflicts: 1393000 | #Constraints: 48042
2132.09/2137.84 c #Conflicts: 1394000 | #Constraints: 49042
2132.09/2137.84 c #Conflicts: 1395000 | #Constraints: 50042
2132.09/2137.84 c INPROCESSING
2132.09/2137.84 c GARBAGE COLLECT
2132.09/2137.84 c #Conflicts: 1396000 | #Constraints: 27645
2132.09/2137.84 c #Conflicts: 1397000 | #Constraints: 28645
2132.09/2137.84 c #Conflicts: 1398000 | #Constraints: 29645
2132.09/2137.84 c #Conflicts: 1399000 | #Constraints: 30645
2132.09/2137.84 c #Conflicts: 1400000 | #Constraints: 31645
2132.09/2137.84 c #Conflicts: 1401000 | #Constraints: 32645
2132.09/2137.84 c #Conflicts: 1402000 | #Constraints: 33645
2132.09/2137.84 c #Conflicts: 1403000 | #Constraints: 34645
2132.09/2137.84 c #Conflicts: 1404000 | #Constraints: 35645
2132.09/2137.84 c #Conflicts: 1405000 | #Constraints: 36645
2132.09/2137.84 c #Conflicts: 1406000 | #Constraints: 37645
2132.09/2137.84 c #Conflicts: 1407000 | #Constraints: 38645
2132.09/2137.84 c #Conflicts: 1408000 | #Constraints: 39645
2132.09/2137.84 c #Conflicts: 1409000 | #Constraints: 40645
2132.09/2137.84 c #Conflicts: 1410000 | #Constraints: 41645
2132.09/2137.84 c #Conflicts: 1411000 | #Constraints: 42645
2132.09/2137.84 c #Conflicts: 1412000 | #Constraints: 43645
2132.09/2137.84 c #Conflicts: 1413000 | #Constraints: 44645
2132.09/2137.84 c #Conflicts: 1414000 | #Constraints: 45645
2132.09/2137.84 c #Conflicts: 1415000 | #Constraints: 46645
2132.09/2137.84 c #Conflicts: 1416000 | #Constraints: 47645
2132.09/2137.84 c #Conflicts: 1417000 | #Constraints: 48645
2132.09/2137.84 c #Conflicts: 1418000 | #Constraints: 49645
2132.09/2137.84 c #Conflicts: 1419000 | #Constraints: 50645
2132.09/2137.84 c INPROCESSING
2132.09/2137.84 c GARBAGE COLLECT
2132.09/2137.84 c #Conflicts: 1420000 | #Constraints: 28057
2132.09/2137.84 c #Conflicts: 1421000 | #Constraints: 29057
2132.09/2137.84 c #Conflicts: 1422000 | #Constraints: 30057
2132.09/2137.84 c #Conflicts: 1423000 | #Constraints: 31057
2132.09/2137.84 c #Conflicts: 1424000 | #Constraints: 32057
2132.09/2137.84 c #Conflicts: 1425000 | #Constraints: 33057
2132.09/2137.84 c #Conflicts: 1426000 | #Constraints: 34057
2132.09/2137.84 c #Conflicts: 1427000 | #Constraints: 35057
2292.89/2299.02 c #Conflicts: 1428000 | #Constraints: 36057
2292.89/2299.02 c #Conflicts: 1429000 | #Constraints: 37057
2292.89/2299.02 c #Conflicts: 1430000 | #Constraints: 38057
2292.89/2299.02 c #Conflicts: 1431000 | #Constraints: 39057
2292.89/2299.02 c #Conflicts: 1432000 | #Constraints: 40057
2292.89/2299.02 c #Conflicts: 1433000 | #Constraints: 41057
2292.89/2299.02 c #Conflicts: 1434000 | #Constraints: 42057
2292.89/2299.02 c #Conflicts: 1435000 | #Constraints: 43057
2292.89/2299.02 c #Conflicts: 1436000 | #Constraints: 44057
2292.89/2299.02 c #Conflicts: 1437000 | #Constraints: 45057
2292.89/2299.02 c #Conflicts: 1438000 | #Constraints: 46057
2292.89/2299.02 c #Conflicts: 1439000 | #Constraints: 47057
2292.89/2299.02 c #Conflicts: 1440000 | #Constraints: 48057
2292.89/2299.02 c #Conflicts: 1441000 | #Constraints: 49057
2292.89/2299.02 c #Conflicts: 1442000 | #Constraints: 50057
2292.89/2299.02 c #Conflicts: 1443000 | #Constraints: 51057
2292.89/2299.02 c INPROCESSING
2292.89/2299.02 c GARBAGE COLLECT
2292.89/2299.02 c #Conflicts: 1444000 | #Constraints: 28240
2292.89/2299.02 c #Conflicts: 1445000 | #Constraints: 29240
2292.89/2299.02 c #Conflicts: 1446000 | #Constraints: 30240
2292.89/2299.02 c #Conflicts: 1447000 | #Constraints: 31240
2292.89/2299.02 c #Conflicts: 1448000 | #Constraints: 32240
2292.89/2299.02 c #Conflicts: 1449000 | #Constraints: 33240
2292.89/2299.02 c #Conflicts: 1450000 | #Constraints: 34240
2292.89/2299.02 c #Conflicts: 1451000 | #Constraints: 35240
2292.89/2299.02 c #Conflicts: 1452000 | #Constraints: 36240
2292.89/2299.02 c #Conflicts: 1453000 | #Constraints: 37240
2292.89/2299.02 c #Conflicts: 1454000 | #Constraints: 38240
2292.89/2299.02 c #Conflicts: 1455000 | #Constraints: 39240
2292.89/2299.02 c #Conflicts: 1456000 | #Constraints: 40240
2292.89/2299.02 c #Conflicts: 1457000 | #Constraints: 41240
2292.89/2299.02 c #Conflicts: 1458000 | #Constraints: 42240
2292.89/2299.02 c #Conflicts: 1459000 | #Constraints: 43240
2292.89/2299.02 c #Conflicts: 1460000 | #Constraints: 44240
2292.89/2299.02 c #Conflicts: 1461000 | #Constraints: 45240
2292.89/2299.02 c #Conflicts: 1462000 | #Constraints: 46240
2292.89/2299.02 c #Conflicts: 1463000 | #Constraints: 47240
2292.89/2299.02 c #Conflicts: 1464000 | #Constraints: 48240
2292.89/2299.02 c #Conflicts: 1465000 | #Constraints: 49240
2292.89/2299.02 c #Conflicts: 1466000 | #Constraints: 50240
2292.89/2299.02 c #Conflicts: 1467000 | #Constraints: 51240
2292.89/2299.02 c INPROCESSING
2292.89/2299.02 c GARBAGE COLLECT
2292.89/2299.02 c #Conflicts: 1468000 | #Constraints: 28224
2292.89/2299.02 c #Conflicts: 1469000 | #Constraints: 29224
2292.89/2299.02 c #Conflicts: 1470000 | #Constraints: 30224
2292.89/2299.02 c #Conflicts: 1471000 | #Constraints: 31224
2292.89/2299.02 c #Conflicts: 1472000 | #Constraints: 32224
2292.89/2299.02 c #Conflicts: 1473000 | #Constraints: 33224
2292.89/2299.02 c #Conflicts: 1474000 | #Constraints: 34224
2292.89/2299.02 c #Conflicts: 1475000 | #Constraints: 35224
2292.89/2299.02 c #Conflicts: 1476000 | #Constraints: 36224
2292.89/2299.02 c #Conflicts: 1477000 | #Constraints: 37224
2292.89/2299.02 c #Conflicts: 1478000 | #Constraints: 38224
2292.89/2299.02 c #Conflicts: 1479000 | #Constraints: 39224
2292.89/2299.02 c #Conflicts: 1480000 | #Constraints: 40224
2292.89/2299.02 c #Conflicts: 1481000 | #Constraints: 41224
2292.89/2299.02 c #Conflicts: 1482000 | #Constraints: 42224
2292.89/2299.02 c #Conflicts: 1483000 | #Constraints: 43224
2292.89/2299.02 c #Conflicts: 1484000 | #Constraints: 44224
2292.89/2299.02 c #Conflicts: 1485000 | #Constraints: 45224
2292.89/2299.02 c #Conflicts: 1486000 | #Constraints: 46224
2292.89/2299.02 c #Conflicts: 1487000 | #Constraints: 47224
2292.89/2299.02 c #Conflicts: 1488000 | #Constraints: 48224
2292.89/2299.02 c #Conflicts: 1489000 | #Constraints: 49224
2292.89/2299.02 c #Conflicts: 1490000 | #Constraints: 50224
2292.89/2299.02 c #Conflicts: 1491000 | #Constraints: 51224
2292.89/2299.02 c INPROCESSING
2292.89/2299.02 c GARBAGE COLLECT
2292.89/2299.02 c #Conflicts: 1492000 | #Constraints: 28048
2292.89/2299.02 c #Conflicts: 1493000 | #Constraints: 29048
2292.89/2299.02 c #Conflicts: 1494000 | #Constraints: 30048
2292.89/2299.02 c #Conflicts: 1495000 | #Constraints: 31048
2292.89/2299.02 c #Conflicts: 1496000 | #Constraints: 32048
2292.89/2299.02 c #Conflicts: 1497000 | #Constraints: 33048
2292.89/2299.02 c #Conflicts: 1498000 | #Constraints: 34048
2292.89/2299.02 c #Conflicts: 1499000 | #Constraints: 35048
2292.89/2299.02 c #Conflicts: 1500000 | #Constraints: 36048
2292.89/2299.02 c #Conflicts: 1501000 | #Constraints: 37048
2292.89/2299.02 c #Conflicts: 1502000 | #Constraints: 38048
2292.89/2299.02 c #Conflicts: 1503000 | #Constraints: 39048
2292.89/2299.02 c #Conflicts: 1504000 | #Constraints: 40048
2496.37/2503.03 c #Conflicts: 1505000 | #Constraints: 41048
2496.37/2503.03 c #Conflicts: 1506000 | #Constraints: 42048
2496.37/2503.03 c #Conflicts: 1507000 | #Constraints: 43048
2496.37/2503.03 c #Conflicts: 1508000 | #Constraints: 44048
2496.37/2503.03 c #Conflicts: 1509000 | #Constraints: 45048
2496.37/2503.03 c #Conflicts: 1510000 | #Constraints: 46048
2496.37/2503.03 c #Conflicts: 1511000 | #Constraints: 47048
2496.37/2503.03 c #Conflicts: 1512000 | #Constraints: 48048
2496.37/2503.03 c #Conflicts: 1513000 | #Constraints: 49048
2496.37/2503.03 c #Conflicts: 1514000 | #Constraints: 50048
2496.37/2503.03 c #Conflicts: 1515000 | #Constraints: 51048
2496.37/2503.03 c #Conflicts: 1516000 | #Constraints: 52048
2496.37/2503.03 c INPROCESSING
2496.37/2503.03 c GARBAGE COLLECT
2496.37/2503.03 c #Conflicts: 1517000 | #Constraints: 28619
2496.37/2503.03 c #Conflicts: 1518000 | #Constraints: 29619
2496.37/2503.03 c #Conflicts: 1519000 | #Constraints: 30619
2496.37/2503.03 c #Conflicts: 1520000 | #Constraints: 31619
2496.37/2503.03 c #Conflicts: 1521000 | #Constraints: 32619
2496.37/2503.03 c #Conflicts: 1522000 | #Constraints: 33619
2496.37/2503.03 c #Conflicts: 1523000 | #Constraints: 34619
2496.37/2503.03 c #Conflicts: 1524000 | #Constraints: 35619
2496.37/2503.03 c #Conflicts: 1525000 | #Constraints: 36619
2496.37/2503.03 c #Conflicts: 1526000 | #Constraints: 37619
2496.37/2503.03 c #Conflicts: 1527000 | #Constraints: 38619
2496.37/2503.03 c #Conflicts: 1528000 | #Constraints: 39619
2496.37/2503.03 c #Conflicts: 1529000 | #Constraints: 40619
2496.37/2503.03 c #Conflicts: 1530000 | #Constraints: 41619
2496.37/2503.03 c #Conflicts: 1531000 | #Constraints: 42619
2496.37/2503.03 c #Conflicts: 1532000 | #Constraints: 43619
2496.37/2503.03 c #Conflicts: 1533000 | #Constraints: 44619
2496.37/2503.03 c #Conflicts: 1534000 | #Constraints: 45619
2496.37/2503.03 c #Conflicts: 1535000 | #Constraints: 46619
2496.37/2503.03 c #Conflicts: 1536000 | #Constraints: 47619
2496.37/2503.03 c #Conflicts: 1537000 | #Constraints: 48619
2496.37/2503.03 c #Conflicts: 1538000 | #Constraints: 49619
2496.37/2503.03 c #Conflicts: 1539000 | #Constraints: 50619
2496.37/2503.03 c #Conflicts: 1540000 | #Constraints: 51619
2496.37/2503.03 c #Conflicts: 1541000 | #Constraints: 52619
2496.37/2503.03 c INPROCESSING
2496.37/2503.03 c GARBAGE COLLECT
2496.37/2503.03 c #Conflicts: 1542000 | #Constraints: 29029
2496.37/2503.03 c #Conflicts: 1543000 | #Constraints: 30029
2496.37/2503.03 c #Conflicts: 1544000 | #Constraints: 31029
2496.37/2503.03 c #Conflicts: 1545000 | #Constraints: 32029
2496.37/2503.03 c #Conflicts: 1546000 | #Constraints: 33029
2496.37/2503.03 c #Conflicts: 1547000 | #Constraints: 34029
2496.37/2503.03 c #Conflicts: 1548000 | #Constraints: 35029
2496.37/2503.03 c #Conflicts: 1549000 | #Constraints: 36029
2496.37/2503.03 c #Conflicts: 1550000 | #Constraints: 37029
2496.37/2503.03 c #Conflicts: 1551000 | #Constraints: 38029
2496.37/2503.03 c #Conflicts: 1552000 | #Constraints: 39029
2496.37/2503.03 c #Conflicts: 1553000 | #Constraints: 40029
2496.37/2503.03 c #Conflicts: 1554000 | #Constraints: 41029
2496.37/2503.03 c #Conflicts: 1555000 | #Constraints: 42029
2496.37/2503.03 c #Conflicts: 1556000 | #Constraints: 43029
2496.37/2503.03 c #Conflicts: 1557000 | #Constraints: 44029
2496.37/2503.03 c #Conflicts: 1558000 | #Constraints: 45029
2496.37/2503.03 c #Conflicts: 1559000 | #Constraints: 46029
2496.37/2503.03 c #Conflicts: 1560000 | #Constraints: 47029
2496.37/2503.03 c #Conflicts: 1561000 | #Constraints: 48029
2496.37/2503.03 c #Conflicts: 1562000 | #Constraints: 49029
2496.37/2503.03 c #Conflicts: 1563000 | #Constraints: 50029
2496.37/2503.03 c #Conflicts: 1564000 | #Constraints: 51029
2496.37/2503.03 c #Conflicts: 1565000 | #Constraints: 52029
2496.37/2503.03 c #Conflicts: 1566000 | #Constraints: 53029
2496.37/2503.03 c INPROCESSING
2496.37/2503.03 c GARBAGE COLLECT
2496.37/2503.03 c #Conflicts: 1567000 | #Constraints: 29224
2496.37/2503.03 c #Conflicts: 1568000 | #Constraints: 30224
2496.37/2503.03 c #Conflicts: 1569000 | #Constraints: 31224
2496.37/2503.03 c #Conflicts: 1570000 | #Constraints: 32224
2496.37/2503.03 c #Conflicts: 1571000 | #Constraints: 33224
2496.37/2503.03 c #Conflicts: 1572000 | #Constraints: 34224
2496.37/2503.03 c #Conflicts: 1573000 | #Constraints: 35224
2496.37/2503.03 c #Conflicts: 1574000 | #Constraints: 36224
2496.37/2503.03 c #Conflicts: 1575000 | #Constraints: 37224
2496.37/2503.03 c #Conflicts: 1576000 | #Constraints: 38224
2496.37/2503.03 c #Conflicts: 1577000 | #Constraints: 39224
2496.37/2503.03 c #Conflicts: 1578000 | #Constraints: 40224
2496.37/2503.03 c #Conflicts: 1579000 | #Constraints: 41224
2496.37/2503.03 c #Conflicts: 1580000 | #Constraints: 42224
2496.37/2503.03 c #Conflicts: 1581000 | #Constraints: 43224
2700.76/2707.97 c #Conflicts: 1582000 | #Constraints: 44224
2700.76/2707.97 c #Conflicts: 1583000 | #Constraints: 45224
2700.76/2707.97 c #Conflicts: 1584000 | #Constraints: 46224
2700.76/2707.97 c #Conflicts: 1585000 | #Constraints: 47224
2700.76/2707.97 c #Conflicts: 1586000 | #Constraints: 48224
2700.76/2707.97 c #Conflicts: 1587000 | #Constraints: 49224
2700.76/2707.97 c #Conflicts: 1588000 | #Constraints: 50224
2700.76/2707.97 c #Conflicts: 1589000 | #Constraints: 51224
2700.76/2707.97 c #Conflicts: 1590000 | #Constraints: 52224
2700.76/2707.97 c #Conflicts: 1591000 | #Constraints: 53224
2700.76/2707.97 c INPROCESSING
2700.76/2707.97 c GARBAGE COLLECT
2700.76/2707.97 c #Conflicts: 1592000 | #Constraints: 29226
2700.76/2707.97 c #Conflicts: 1593000 | #Constraints: 30226
2700.76/2707.97 c #Conflicts: 1594000 | #Constraints: 31226
2700.76/2707.97 c #Conflicts: 1595000 | #Constraints: 32226
2700.76/2707.97 c #Conflicts: 1596000 | #Constraints: 33226
2700.76/2707.97 c #Conflicts: 1597000 | #Constraints: 34226
2700.76/2707.97 c #Conflicts: 1598000 | #Constraints: 35226
2700.76/2707.97 c #Conflicts: 1599000 | #Constraints: 36226
2700.76/2707.97 c #Conflicts: 1600000 | #Constraints: 37226
2700.76/2707.97 c #Conflicts: 1601000 | #Constraints: 38226
2700.76/2707.97 c #Conflicts: 1602000 | #Constraints: 39226
2700.76/2707.97 c #Conflicts: 1603000 | #Constraints: 40226
2700.76/2707.97 c #Conflicts: 1604000 | #Constraints: 41226
2700.76/2707.97 c #Conflicts: 1605000 | #Constraints: 42226
2700.76/2707.97 c #Conflicts: 1606000 | #Constraints: 43226
2700.76/2707.97 c #Conflicts: 1607000 | #Constraints: 44226
2700.76/2707.97 c #Conflicts: 1608000 | #Constraints: 45226
2700.76/2707.97 c #Conflicts: 1609000 | #Constraints: 46226
2700.76/2707.97 c #Conflicts: 1610000 | #Constraints: 47226
2700.76/2707.97 c #Conflicts: 1611000 | #Constraints: 48226
2700.76/2707.97 c #Conflicts: 1612000 | #Constraints: 49226
2700.76/2707.97 c #Conflicts: 1613000 | #Constraints: 50226
2700.76/2707.97 c #Conflicts: 1614000 | #Constraints: 51226
2700.76/2707.97 c #Conflicts: 1615000 | #Constraints: 52226
2700.76/2707.97 c #Conflicts: 1616000 | #Constraints: 53226
2700.76/2707.97 c INPROCESSING
2700.76/2707.97 c GARBAGE COLLECT
2700.76/2707.97 c #Conflicts: 1617000 | #Constraints: 29075
2700.76/2707.97 c #Conflicts: 1618000 | #Constraints: 30075
2700.76/2707.97 c #Conflicts: 1619000 | #Constraints: 31075
2700.76/2707.97 c #Conflicts: 1620000 | #Constraints: 32075
2700.76/2707.97 c #Conflicts: 1621000 | #Constraints: 33075
2700.76/2707.97 c #Conflicts: 1622000 | #Constraints: 34075
2700.76/2707.97 c #Conflicts: 1623000 | #Constraints: 35075
2700.76/2707.97 c #Conflicts: 1624000 | #Constraints: 36075
2700.76/2707.97 c #Conflicts: 1625000 | #Constraints: 37075
2700.76/2707.97 c #Conflicts: 1626000 | #Constraints: 38075
2700.76/2707.97 c #Conflicts: 1627000 | #Constraints: 39075
2700.76/2707.97 c #Conflicts: 1628000 | #Constraints: 40075
2700.76/2707.97 c #Conflicts: 1629000 | #Constraints: 41075
2700.76/2707.97 c #Conflicts: 1630000 | #Constraints: 42075
2700.76/2707.97 c #Conflicts: 1631000 | #Constraints: 43075
2700.76/2707.97 c #Conflicts: 1632000 | #Constraints: 44075
2700.76/2707.97 c #Conflicts: 1633000 | #Constraints: 45075
2700.76/2707.97 c #Conflicts: 1634000 | #Constraints: 46075
2700.76/2707.97 c #Conflicts: 1635000 | #Constraints: 47075
2700.76/2707.97 c #Conflicts: 1636000 | #Constraints: 48075
2700.76/2707.97 c #Conflicts: 1637000 | #Constraints: 49075
2700.76/2707.97 c #Conflicts: 1638000 | #Constraints: 50075
2700.76/2707.97 c #Conflicts: 1639000 | #Constraints: 51075
2700.76/2707.97 c #Conflicts: 1640000 | #Constraints: 52075
2700.76/2707.97 c #Conflicts: 1641000 | #Constraints: 53075
2700.76/2707.97 c #Conflicts: 1642000 | #Constraints: 54075
2700.76/2707.97 c INPROCESSING
2700.76/2707.97 c GARBAGE COLLECT
2700.76/2707.97 c #Conflicts: 1643000 | #Constraints: 29676
2700.76/2707.97 c #Conflicts: 1644000 | #Constraints: 30676
2700.76/2707.97 c #Conflicts: 1645000 | #Constraints: 31676
2700.76/2707.97 c #Conflicts: 1646000 | #Constraints: 32676
2700.76/2707.97 c #Conflicts: 1647000 | #Constraints: 33676
2700.76/2707.97 c #Conflicts: 1648000 | #Constraints: 34676
2700.76/2707.97 c #Conflicts: 1649000 | #Constraints: 35676
2700.76/2707.97 c #Conflicts: 1650000 | #Constraints: 36676
2700.76/2707.97 c #Conflicts: 1651000 | #Constraints: 37676
2700.76/2707.97 c #Conflicts: 1652000 | #Constraints: 38676
2700.76/2707.97 c #Conflicts: 1653000 | #Constraints: 39676
2700.76/2707.97 c #Conflicts: 1654000 | #Constraints: 40676
2700.76/2707.97 c #Conflicts: 1655000 | #Constraints: 41676
2700.76/2707.97 c #Conflicts: 1656000 | #Constraints: 42676
2700.76/2707.97 c #Conflicts: 1657000 | #Constraints: 43676
2700.76/2707.97 c #Conflicts: 1658000 | #Constraints: 44676
2859.75/2867.30 c #Conflicts: 1659000 | #Constraints: 45676
2859.75/2867.30 c #Conflicts: 1660000 | #Constraints: 46676
2859.75/2867.30 c #Conflicts: 1661000 | #Constraints: 47676
2859.75/2867.30 c #Conflicts: 1662000 | #Constraints: 48676
2859.75/2867.30 c #Conflicts: 1663000 | #Constraints: 49676
2859.75/2867.30 c #Conflicts: 1664000 | #Constraints: 50676
2859.75/2867.30 c #Conflicts: 1665000 | #Constraints: 51676
2859.75/2867.30 c #Conflicts: 1666000 | #Constraints: 52676
2859.75/2867.30 c #Conflicts: 1667000 | #Constraints: 53676
2859.75/2867.30 c #Conflicts: 1668000 | #Constraints: 54676
2859.75/2867.30 c INPROCESSING
2859.75/2867.30 c GARBAGE COLLECT
2859.75/2867.30 c #Conflicts: 1669000 | #Constraints: 30069
2859.75/2867.30 c #Conflicts: 1670000 | #Constraints: 31069
2859.75/2867.30 c #Conflicts: 1671000 | #Constraints: 32069
2859.75/2867.30 c #Conflicts: 1672000 | #Constraints: 33069
2859.75/2867.30 c #Conflicts: 1673000 | #Constraints: 34069
2859.75/2867.30 c #Conflicts: 1674000 | #Constraints: 35069
2859.75/2867.30 c #Conflicts: 1675000 | #Constraints: 36069
2859.75/2867.30 c #Conflicts: 1676000 | #Constraints: 37069
2859.75/2867.30 c #Conflicts: 1677000 | #Constraints: 38069
2859.75/2867.30 c #Conflicts: 1678000 | #Constraints: 39069
2859.75/2867.30 c #Conflicts: 1679000 | #Constraints: 40069
2859.75/2867.30 c #Conflicts: 1680000 | #Constraints: 41069
2859.75/2867.30 c #Conflicts: 1681000 | #Constraints: 42069
2859.75/2867.30 c #Conflicts: 1682000 | #Constraints: 43069
2859.75/2867.30 c #Conflicts: 1683000 | #Constraints: 44069
2859.75/2867.30 c #Conflicts: 1684000 | #Constraints: 45069
2859.75/2867.30 c #Conflicts: 1685000 | #Constraints: 46069
2859.75/2867.30 c #Conflicts: 1686000 | #Constraints: 47069
2859.75/2867.30 c #Conflicts: 1687000 | #Constraints: 48069
2859.75/2867.30 c #Conflicts: 1688000 | #Constraints: 49069
2859.75/2867.30 c #Conflicts: 1689000 | #Constraints: 50069
2859.75/2867.30 c #Conflicts: 1690000 | #Constraints: 51069
2859.75/2867.30 c #Conflicts: 1691000 | #Constraints: 52069
2859.75/2867.30 c #Conflicts: 1692000 | #Constraints: 53069
2859.75/2867.30 c #Conflicts: 1693000 | #Constraints: 54069
2859.75/2867.30 c #Conflicts: 1694000 | #Constraints: 55069
2859.75/2867.30 c INPROCESSING
2859.75/2867.30 c GARBAGE COLLECT
2859.75/2867.30 c #Conflicts: 1695000 | #Constraints: 30237
2859.75/2867.30 c #Conflicts: 1696000 | #Constraints: 31237
2859.75/2867.30 c #Conflicts: 1697000 | #Constraints: 32237
2859.75/2867.30 c #Conflicts: 1698000 | #Constraints: 33237
2859.75/2867.30 c #Conflicts: 1699000 | #Constraints: 34237
2859.75/2867.30 c #Conflicts: 1700000 | #Constraints: 35237
2859.75/2867.30 c #Conflicts: 1701000 | #Constraints: 36237
2859.75/2867.30 c #Conflicts: 1702000 | #Constraints: 37237
2859.75/2867.30 c #Conflicts: 1703000 | #Constraints: 38237
2859.75/2867.30 c #Conflicts: 1704000 | #Constraints: 39237
2859.75/2867.30 c #Conflicts: 1705000 | #Constraints: 40237
2859.75/2867.30 c #Conflicts: 1706000 | #Constraints: 41237
2859.75/2867.30 c #Conflicts: 1707000 | #Constraints: 42237
2859.75/2867.30 c #Conflicts: 1708000 | #Constraints: 43237
2859.75/2867.30 c #Conflicts: 1709000 | #Constraints: 44237
2859.75/2867.30 c #Conflicts: 1710000 | #Constraints: 45237
2859.75/2867.30 c #Conflicts: 1711000 | #Constraints: 46237
2859.75/2867.30 c #Conflicts: 1712000 | #Constraints: 47237
2859.75/2867.30 c #Conflicts: 1713000 | #Constraints: 48237
2859.75/2867.30 c #Conflicts: 1714000 | #Constraints: 49237
2859.75/2867.30 c #Conflicts: 1715000 | #Constraints: 50237
2859.75/2867.30 c #Conflicts: 1716000 | #Constraints: 51237
2859.75/2867.30 c #Conflicts: 1717000 | #Constraints: 52237
2859.75/2867.30 c #Conflicts: 1718000 | #Constraints: 53237
2859.75/2867.30 c #Conflicts: 1719000 | #Constraints: 54237
2859.75/2867.30 c #Conflicts: 1720000 | #Constraints: 55237
2859.75/2867.30 c INPROCESSING
2859.75/2867.30 c GARBAGE COLLECT
2859.75/2867.30 c #Conflicts: 1721000 | #Constraints: 30233
2859.75/2867.30 c #Conflicts: 1722000 | #Constraints: 31233
2859.75/2867.30 c #Conflicts: 1723000 | #Constraints: 32233
2859.75/2867.30 c #Conflicts: 1724000 | #Constraints: 33233
2859.75/2867.30 c #Conflicts: 1725000 | #Constraints: 34233
2859.75/2867.30 c #Conflicts: 1726000 | #Constraints: 35233
2859.75/2867.30 c #Conflicts: 1727000 | #Constraints: 36233
2859.75/2867.30 c #Conflicts: 1728000 | #Constraints: 37233
2859.75/2867.30 c #Conflicts: 1729000 | #Constraints: 38233
2859.75/2867.30 c #Conflicts: 1730000 | #Constraints: 39233
2859.75/2867.30 c #Conflicts: 1731000 | #Constraints: 40233
2859.75/2867.30 c #Conflicts: 1732000 | #Constraints: 41233
2859.75/2867.30 c #Conflicts: 1733000 | #Constraints: 42233
2859.75/2867.30 c #Conflicts: 1734000 | #Constraints: 43233
2859.75/2867.30 c #Conflicts: 1735000 | #Constraints: 44233
3025.74/3033.72 c #Conflicts: 1736000 | #Constraints: 45233
3025.74/3033.72 c #Conflicts: 1737000 | #Constraints: 46233
3025.74/3033.72 c #Conflicts: 1738000 | #Constraints: 47233
3025.74/3033.72 c #Conflicts: 1739000 | #Constraints: 48233
3025.74/3033.72 c #Conflicts: 1740000 | #Constraints: 49233
3025.74/3033.72 c #Conflicts: 1741000 | #Constraints: 50233
3025.74/3033.72 c #Conflicts: 1742000 | #Constraints: 51233
3025.74/3033.72 c #Conflicts: 1743000 | #Constraints: 52233
3025.74/3033.72 c #Conflicts: 1744000 | #Constraints: 53233
3025.74/3033.72 c #Conflicts: 1745000 | #Constraints: 54233
3025.74/3033.72 c #Conflicts: 1746000 | #Constraints: 55233
3025.74/3033.72 c INPROCESSING
3025.74/3033.72 c GARBAGE COLLECT
3025.74/3033.72 c #Conflicts: 1747000 | #Constraints: 30018
3025.74/3033.72 c #Conflicts: 1748000 | #Constraints: 31018
3025.74/3033.72 c #Conflicts: 1749000 | #Constraints: 32018
3025.74/3033.72 c #Conflicts: 1750000 | #Constraints: 33018
3025.74/3033.72 c #Conflicts: 1751000 | #Constraints: 34018
3025.74/3033.72 c #Conflicts: 1752000 | #Constraints: 35018
3025.74/3033.72 c #Conflicts: 1753000 | #Constraints: 36018
3025.74/3033.72 c #Conflicts: 1754000 | #Constraints: 37018
3025.74/3033.72 c #Conflicts: 1755000 | #Constraints: 38018
3025.74/3033.72 c #Conflicts: 1756000 | #Constraints: 39018
3025.74/3033.72 c #Conflicts: 1757000 | #Constraints: 40018
3025.74/3033.72 c #Conflicts: 1758000 | #Constraints: 41018
3025.74/3033.72 c #Conflicts: 1759000 | #Constraints: 42018
3025.74/3033.72 c #Conflicts: 1760000 | #Constraints: 43018
3025.74/3033.72 c #Conflicts: 1761000 | #Constraints: 44018
3025.74/3033.72 c #Conflicts: 1762000 | #Constraints: 45018
3025.74/3033.72 c #Conflicts: 1763000 | #Constraints: 46018
3025.74/3033.72 c #Conflicts: 1764000 | #Constraints: 47018
3025.74/3033.72 c #Conflicts: 1765000 | #Constraints: 48018
3025.74/3033.72 c #Conflicts: 1766000 | #Constraints: 49018
3025.74/3033.72 c #Conflicts: 1767000 | #Constraints: 50018
3025.74/3033.72 c #Conflicts: 1768000 | #Constraints: 51018
3025.74/3033.72 c #Conflicts: 1769000 | #Constraints: 52018
3025.74/3033.72 c #Conflicts: 1770000 | #Constraints: 53018
3025.74/3033.72 c #Conflicts: 1771000 | #Constraints: 54018
3025.74/3033.72 c #Conflicts: 1772000 | #Constraints: 55018
3025.74/3033.72 c #Conflicts: 1773000 | #Constraints: 56018
3025.74/3033.72 c INPROCESSING
3025.74/3033.72 c GARBAGE COLLECT
3025.74/3033.72 c #Conflicts: 1774000 | #Constraints: 30606
3025.74/3033.72 c #Conflicts: 1775000 | #Constraints: 31606
3025.74/3033.72 c #Conflicts: 1776000 | #Constraints: 32606
3025.74/3033.72 c #Conflicts: 1777000 | #Constraints: 33606
3025.74/3033.72 c #Conflicts: 1778000 | #Constraints: 34606
3025.74/3033.72 c #Conflicts: 1779000 | #Constraints: 35606
3025.74/3033.72 c #Conflicts: 1780000 | #Constraints: 36606
3025.74/3033.72 c #Conflicts: 1781000 | #Constraints: 37606
3025.74/3033.72 c #Conflicts: 1782000 | #Constraints: 38606
3025.74/3033.72 c #Conflicts: 1783000 | #Constraints: 39606
3025.74/3033.72 c #Conflicts: 1784000 | #Constraints: 40606
3025.74/3033.72 c #Conflicts: 1785000 | #Constraints: 41606
3025.74/3033.72 c #Conflicts: 1786000 | #Constraints: 42606
3025.74/3033.72 c #Conflicts: 1787000 | #Constraints: 43606
3025.74/3033.72 c #Conflicts: 1788000 | #Constraints: 44606
3025.74/3033.72 c #Conflicts: 1789000 | #Constraints: 45606
3025.74/3033.72 c #Conflicts: 1790000 | #Constraints: 46606
3025.74/3033.72 c #Conflicts: 1791000 | #Constraints: 47606
3025.74/3033.72 c #Conflicts: 1792000 | #Constraints: 48606
3025.74/3033.72 c #Conflicts: 1793000 | #Constraints: 49606
3025.74/3033.72 c #Conflicts: 1794000 | #Constraints: 50606
3025.74/3033.72 c #Conflicts: 1795000 | #Constraints: 51606
3025.74/3033.72 c #Conflicts: 1796000 | #Constraints: 52606
3025.74/3033.72 c #Conflicts: 1797000 | #Constraints: 53606
3025.74/3033.72 c #Conflicts: 1798000 | #Constraints: 54606
3025.74/3033.72 c #Conflicts: 1799000 | #Constraints: 55606
3025.74/3033.72 c #Conflicts: 1800000 | #Constraints: 56606
3025.74/3033.72 c INPROCESSING
3025.74/3033.72 c GARBAGE COLLECT
3025.74/3033.72 c #Conflicts: 1801000 | #Constraints: 31009
3025.74/3033.72 c #Conflicts: 1802000 | #Constraints: 32009
3025.74/3033.72 c #Conflicts: 1803000 | #Constraints: 33009
3025.74/3033.72 c #Conflicts: 1804000 | #Constraints: 34009
3025.74/3033.72 c #Conflicts: 1805000 | #Constraints: 35009
3025.74/3033.72 c #Conflicts: 1806000 | #Constraints: 36009
3025.74/3033.72 c #Conflicts: 1807000 | #Constraints: 37009
3025.74/3033.72 c #Conflicts: 1808000 | #Constraints: 38009
3025.74/3033.72 c #Conflicts: 1809000 | #Constraints: 39009
3025.74/3033.72 c #Conflicts: 1810000 | #Constraints: 40009
3025.74/3033.72 c #Conflicts: 1811000 | #Constraints: 41009
3025.74/3033.72 c #Conflicts: 1812000 | #Constraints: 42009
3228.04/3236.57 c #Conflicts: 1813000 | #Constraints: 43009
3228.04/3236.57 c #Conflicts: 1814000 | #Constraints: 44009
3228.04/3236.57 c #Conflicts: 1815000 | #Constraints: 45009
3228.04/3236.57 c #Conflicts: 1816000 | #Constraints: 46009
3228.04/3236.57 c #Conflicts: 1817000 | #Constraints: 47009
3228.04/3236.57 c #Conflicts: 1818000 | #Constraints: 48009
3228.04/3236.57 c #Conflicts: 1819000 | #Constraints: 49009
3228.04/3236.57 c #Conflicts: 1820000 | #Constraints: 50009
3228.04/3236.57 c #Conflicts: 1821000 | #Constraints: 51009
3228.04/3236.57 c #Conflicts: 1822000 | #Constraints: 52009
3228.04/3236.57 c #Conflicts: 1823000 | #Constraints: 53009
3228.04/3236.57 c #Conflicts: 1824000 | #Constraints: 54009
3228.04/3236.57 c #Conflicts: 1825000 | #Constraints: 55009
3228.04/3236.57 c #Conflicts: 1826000 | #Constraints: 56009
3228.04/3236.57 c #Conflicts: 1827000 | #Constraints: 57009
3228.04/3236.57 c INPROCESSING
3228.04/3236.57 c GARBAGE COLLECT
3228.04/3236.57 c #Conflicts: 1828000 | #Constraints: 31206
3228.04/3236.57 c #Conflicts: 1829000 | #Constraints: 32206
3228.04/3236.57 c #Conflicts: 1830000 | #Constraints: 33206
3228.04/3236.57 c #Conflicts: 1831000 | #Constraints: 34206
3228.04/3236.57 c #Conflicts: 1832000 | #Constraints: 35206
3228.04/3236.57 c #Conflicts: 1833000 | #Constraints: 36206
3228.04/3236.57 c #Conflicts: 1834000 | #Constraints: 37206
3228.04/3236.57 c #Conflicts: 1835000 | #Constraints: 38206
3228.04/3236.57 c #Conflicts: 1836000 | #Constraints: 39206
3228.04/3236.57 c #Conflicts: 1837000 | #Constraints: 40206
3228.04/3236.57 c #Conflicts: 1838000 | #Constraints: 41206
3228.04/3236.57 c #Conflicts: 1839000 | #Constraints: 42206
3228.04/3236.57 c #Conflicts: 1840000 | #Constraints: 43206
3228.04/3236.57 c #Conflicts: 1841000 | #Constraints: 44206
3228.04/3236.57 c #Conflicts: 1842000 | #Constraints: 45206
3228.04/3236.57 c #Conflicts: 1843000 | #Constraints: 46206
3228.04/3236.57 c #Conflicts: 1844000 | #Constraints: 47206
3228.04/3236.57 c #Conflicts: 1845000 | #Constraints: 48206
3228.04/3236.57 c #Conflicts: 1846000 | #Constraints: 49206
3228.04/3236.57 c #Conflicts: 1847000 | #Constraints: 50206
3228.04/3236.57 c #Conflicts: 1848000 | #Constraints: 51206
3228.04/3236.57 c #Conflicts: 1849000 | #Constraints: 52206
3228.04/3236.57 c #Conflicts: 1850000 | #Constraints: 53206
3228.04/3236.57 c #Conflicts: 1851000 | #Constraints: 54206
3228.04/3236.57 c #Conflicts: 1852000 | #Constraints: 55206
3228.04/3236.57 c #Conflicts: 1853000 | #Constraints: 56206
3228.04/3236.57 c #Conflicts: 1854000 | #Constraints: 57206
3228.04/3236.57 c INPROCESSING
3228.04/3236.57 c GARBAGE COLLECT
3228.04/3236.57 c #Conflicts: 1855000 | #Constraints: 31216
3228.04/3236.57 c #Conflicts: 1856000 | #Constraints: 32216
3228.04/3236.57 c #Conflicts: 1857000 | #Constraints: 33216
3228.04/3236.57 c #Conflicts: 1858000 | #Constraints: 34216
3228.04/3236.57 c #Conflicts: 1859000 | #Constraints: 35216
3228.04/3236.57 c #Conflicts: 1860000 | #Constraints: 36216
3228.04/3236.57 c #Conflicts: 1861000 | #Constraints: 37216
3228.04/3236.57 c #Conflicts: 1862000 | #Constraints: 38216
3228.04/3236.57 c #Conflicts: 1863000 | #Constraints: 39216
3228.04/3236.57 c #Conflicts: 1864000 | #Constraints: 40216
3228.04/3236.57 c #Conflicts: 1865000 | #Constraints: 41216
3228.04/3236.57 c #Conflicts: 1866000 | #Constraints: 42216
3228.04/3236.57 c #Conflicts: 1867000 | #Constraints: 43216
3228.04/3236.57 c #Conflicts: 1868000 | #Constraints: 44216
3228.04/3236.57 c #Conflicts: 1869000 | #Constraints: 45216
3228.04/3236.57 c #Conflicts: 1870000 | #Constraints: 46216
3228.04/3236.57 c #Conflicts: 1871000 | #Constraints: 47216
3228.04/3236.57 c #Conflicts: 1872000 | #Constraints: 48216
3228.04/3236.57 c #Conflicts: 1873000 | #Constraints: 49216
3228.04/3236.57 c #Conflicts: 1874000 | #Constraints: 50216
3228.04/3236.57 c #Conflicts: 1875000 | #Constraints: 51216
3228.04/3236.57 c #Conflicts: 1876000 | #Constraints: 52216
3228.04/3236.57 c #Conflicts: 1877000 | #Constraints: 53216
3228.04/3236.57 c #Conflicts: 1878000 | #Constraints: 54216
3228.04/3236.57 c #Conflicts: 1879000 | #Constraints: 55216
3228.04/3236.57 c #Conflicts: 1880000 | #Constraints: 56216
3228.04/3236.57 c #Conflicts: 1881000 | #Constraints: 57216
3228.04/3236.57 c INPROCESSING
3228.04/3236.57 c GARBAGE COLLECT
3228.04/3236.57 c #Conflicts: 1882000 | #Constraints: 31011
3228.04/3236.57 c #Conflicts: 1883000 | #Constraints: 32011
3228.04/3236.57 c #Conflicts: 1884000 | #Constraints: 33011
3228.04/3236.57 c #Conflicts: 1885000 | #Constraints: 34011
3228.04/3236.57 c #Conflicts: 1886000 | #Constraints: 35011
3228.04/3236.57 c #Conflicts: 1887000 | #Constraints: 36011
3228.04/3236.57 c #Conflicts: 1888000 | #Constraints: 37011
3429.13/3438.19 c #Conflicts: 1889000 | #Constraints: 38011
3429.13/3438.19 c #Conflicts: 1890000 | #Constraints: 39011
3429.13/3438.19 c #Conflicts: 1891000 | #Constraints: 40011
3429.13/3438.19 c #Conflicts: 1892000 | #Constraints: 41011
3429.13/3438.19 c #Conflicts: 1893000 | #Constraints: 42011
3429.13/3438.19 c #Conflicts: 1894000 | #Constraints: 43011
3429.13/3438.19 c #Conflicts: 1895000 | #Constraints: 44011
3429.13/3438.19 c #Conflicts: 1896000 | #Constraints: 45011
3429.13/3438.19 c #Conflicts: 1897000 | #Constraints: 46011
3429.13/3438.19 c #Conflicts: 1898000 | #Constraints: 47011
3429.13/3438.19 c #Conflicts: 1899000 | #Constraints: 48011
3429.13/3438.19 c #Conflicts: 1900000 | #Constraints: 49011
3429.13/3438.19 c #Conflicts: 1901000 | #Constraints: 50011
3429.13/3438.19 c #Conflicts: 1902000 | #Constraints: 51011
3429.13/3438.19 c #Conflicts: 1903000 | #Constraints: 52011
3429.13/3438.19 c #Conflicts: 1904000 | #Constraints: 53011
3429.13/3438.19 c #Conflicts: 1905000 | #Constraints: 54011
3429.13/3438.19 c #Conflicts: 1906000 | #Constraints: 55011
3429.13/3438.19 c #Conflicts: 1907000 | #Constraints: 56011
3429.13/3438.19 c #Conflicts: 1908000 | #Constraints: 57011
3429.13/3438.19 c #Conflicts: 1909000 | #Constraints: 58011
3429.13/3438.19 c INPROCESSING
3429.13/3438.19 c GARBAGE COLLECT
3429.13/3438.19 c #Conflicts: 1910000 | #Constraints: 31616
3429.13/3438.19 c #Conflicts: 1911000 | #Constraints: 32616
3429.13/3438.19 c #Conflicts: 1912000 | #Constraints: 33616
3429.13/3438.19 c #Conflicts: 1913000 | #Constraints: 34616
3429.13/3438.19 c #Conflicts: 1914000 | #Constraints: 35616
3429.13/3438.19 c #Conflicts: 1915000 | #Constraints: 36616
3429.13/3438.19 c #Conflicts: 1916000 | #Constraints: 37616
3429.13/3438.19 c #Conflicts: 1917000 | #Constraints: 38616
3429.13/3438.19 c #Conflicts: 1918000 | #Constraints: 39616
3429.13/3438.19 c #Conflicts: 1919000 | #Constraints: 40616
3429.13/3438.19 c #Conflicts: 1920000 | #Constraints: 41616
3429.13/3438.19 c #Conflicts: 1921000 | #Constraints: 42616
3429.13/3438.19 c #Conflicts: 1922000 | #Constraints: 43616
3429.13/3438.19 c #Conflicts: 1923000 | #Constraints: 44616
3429.13/3438.19 c #Conflicts: 1924000 | #Constraints: 45616
3429.13/3438.19 c #Conflicts: 1925000 | #Constraints: 46616
3429.13/3438.19 c #Conflicts: 1926000 | #Constraints: 47616
3429.13/3438.19 c #Conflicts: 1927000 | #Constraints: 48616
3429.13/3438.19 c #Conflicts: 1928000 | #Constraints: 49616
3429.13/3438.19 c #Conflicts: 1929000 | #Constraints: 50616
3429.13/3438.19 c #Conflicts: 1930000 | #Constraints: 51616
3429.13/3438.19 c #Conflicts: 1931000 | #Constraints: 52616
3429.13/3438.19 c #Conflicts: 1932000 | #Constraints: 53616
3429.13/3438.19 c #Conflicts: 1933000 | #Constraints: 54616
3429.13/3438.19 c #Conflicts: 1934000 | #Constraints: 55616
3429.13/3438.19 c #Conflicts: 1935000 | #Constraints: 56616
3429.13/3438.19 c #Conflicts: 1936000 | #Constraints: 57616
3429.13/3438.19 c #Conflicts: 1937000 | #Constraints: 58616
3429.13/3438.19 c INPROCESSING
3429.13/3438.19 c GARBAGE COLLECT
3429.13/3438.19 c #Conflicts: 1938000 | #Constraints: 32010
3429.13/3438.19 c #Conflicts: 1939000 | #Constraints: 33010
3429.13/3438.19 c #Conflicts: 1940000 | #Constraints: 34010
3429.13/3438.19 c #Conflicts: 1941000 | #Constraints: 35010
3429.13/3438.19 c #Conflicts: 1942000 | #Constraints: 36010
3429.13/3438.19 c #Conflicts: 1943000 | #Constraints: 37010
3429.13/3438.19 c #Conflicts: 1944000 | #Constraints: 38010
3429.13/3438.19 c #Conflicts: 1945000 | #Constraints: 39010
3429.13/3438.19 c #Conflicts: 1946000 | #Constraints: 40010
3429.13/3438.19 c #Conflicts: 1947000 | #Constraints: 41010
3429.13/3438.19 c #Conflicts: 1948000 | #Constraints: 42010
3429.13/3438.19 c #Conflicts: 1949000 | #Constraints: 43010
3429.13/3438.19 c #Conflicts: 1950000 | #Constraints: 44010
3429.13/3438.19 c #Conflicts: 1951000 | #Constraints: 45010
3429.13/3438.19 c #Conflicts: 1952000 | #Constraints: 46010
3429.13/3438.19 c #Conflicts: 1953000 | #Constraints: 47010
3429.13/3438.19 c #Conflicts: 1954000 | #Constraints: 48010
3429.13/3438.19 c #Conflicts: 1955000 | #Constraints: 49010
3429.13/3438.19 c #Conflicts: 1956000 | #Constraints: 50010
3429.13/3438.19 c #Conflicts: 1957000 | #Constraints: 51010
3429.13/3438.19 c #Conflicts: 1958000 | #Constraints: 52010
3429.13/3438.19 c #Conflicts: 1959000 | #Constraints: 53010
3429.13/3438.19 c #Conflicts: 1960000 | #Constraints: 54010
3429.13/3438.19 c #Conflicts: 1961000 | #Constraints: 55010
3429.13/3438.19 c #Conflicts: 1962000 | #Constraints: 56010
3429.13/3438.19 c #Conflicts: 1963000 | #Constraints: 57010
3429.13/3438.19 c #Conflicts: 1964000 | #Constraints: 58010
3429.13/3438.19 c #Conflicts: 1965000 | #Constraints: 59010
3429.13/3438.19 c INPROCESSING
3429.13/3438.19 c GARBAGE COLLECT
3600.09/3609.50 c #Conflicts: 1966000 | #Constraints: 32215
3600.09/3609.50 c #Conflicts: 1967000 | #Constraints: 33215
3600.09/3609.50 c #Conflicts: 1968000 | #Constraints: 34215
3600.09/3609.50 c #Conflicts: 1969000 | #Constraints: 35215
3600.09/3609.50 c #Conflicts: 1970000 | #Constraints: 36215
3600.09/3609.50 c #Conflicts: 1971000 | #Constraints: 37215
3600.09/3609.50 c #Conflicts: 1972000 | #Constraints: 38215
3600.09/3609.50 c #Conflicts: 1973000 | #Constraints: 39215
3600.09/3609.50 c #Conflicts: 1974000 | #Constraints: 40215
3600.09/3609.50 c #Conflicts: 1975000 | #Constraints: 41215
3600.09/3609.50 c #Conflicts: 1976000 | #Constraints: 42215
3600.09/3609.50 c #Conflicts: 1977000 | #Constraints: 43215
3600.09/3609.50 c #Conflicts: 1978000 | #Constraints: 44215
3600.09/3609.50 c #Conflicts: 1979000 | #Constraints: 45215
3600.09/3609.50 c #Conflicts: 1980000 | #Constraints: 46215
3600.09/3609.50 c #Conflicts: 1981000 | #Constraints: 47215
3600.09/3609.50 c #Conflicts: 1982000 | #Constraints: 48215
3600.09/3609.50 c #Conflicts: 1983000 | #Constraints: 49215
3600.09/3609.50 c #Conflicts: 1984000 | #Constraints: 50215
3600.09/3609.50 c #Conflicts: 1985000 | #Constraints: 51215
3600.09/3609.50 c #Conflicts: 1986000 | #Constraints: 52215
3600.09/3609.50 c #Conflicts: 1987000 | #Constraints: 53215
3600.09/3609.50 c #Conflicts: 1988000 | #Constraints: 54215
3600.09/3609.50 c #Conflicts: 1989000 | #Constraints: 55215
3600.09/3609.50 c #Conflicts: 1990000 | #Constraints: 56215
3600.09/3609.50 c #Conflicts: 1991000 | #Constraints: 57215
3600.09/3609.50 c #Conflicts: 1992000 | #Constraints: 58215
3600.09/3609.50 c #Conflicts: 1993000 | #Constraints: 59215
3600.09/3609.50 c INPROCESSING
3600.09/3609.50 c GARBAGE COLLECT
3600.09/3609.50 c #Conflicts: 1994000 | #Constraints: 32225
3600.09/3609.50 c #Conflicts: 1995000 | #Constraints: 33225
3600.09/3609.50 c #Conflicts: 1996000 | #Constraints: 34225
3600.09/3609.50 c #Conflicts: 1997000 | #Constraints: 35225
3600.09/3609.50 c #Conflicts: 1998000 | #Constraints: 36225
3600.09/3609.50 c #Conflicts: 1999000 | #Constraints: 37225
3600.09/3609.50 c #Conflicts: 2000000 | #Constraints: 38225
3600.09/3609.50 c #Conflicts: 2001000 | #Constraints: 39225
3600.09/3609.50 c #Conflicts: 2002000 | #Constraints: 40225
3600.09/3609.50 c #Conflicts: 2003000 | #Constraints: 41225
3600.09/3609.50 c #Conflicts: 2004000 | #Constraints: 42225
3600.09/3609.50 c #Conflicts: 2005000 | #Constraints: 43225
3600.09/3609.50 c #Conflicts: 2006000 | #Constraints: 44225
3600.09/3609.50 c #Conflicts: 2007000 | #Constraints: 45225
3600.09/3609.50 c #Conflicts: 2008000 | #Constraints: 46225
3600.09/3609.50 c #Conflicts: 2009000 | #Constraints: 47225
3600.09/3609.50 c #Conflicts: 2010000 | #Constraints: 48225
3600.09/3609.50 c #Conflicts: 2011000 | #Constraints: 49225
3600.09/3609.50 c #Conflicts: 2012000 | #Constraints: 50225
3600.09/3609.50 c #Conflicts: 2013000 | #Constraints: 51225
3600.09/3609.50 c #Conflicts: 2014000 | #Constraints: 52225
3600.09/3609.50 c #Conflicts: 2015000 | #Constraints: 53225
3600.09/3609.50 c #Conflicts: 2016000 | #Constraints: 54225
3600.09/3609.50 c #Conflicts: 2017000 | #Constraints: 55225
3600.09/3609.50 c #Conflicts: 2018000 | #Constraints: 56225
3600.09/3609.50 c #Conflicts: 2019000 | #Constraints: 57225
3600.09/3609.50 c #Conflicts: 2020000 | #Constraints: 58225
3600.09/3609.50 c #Conflicts: 2021000 | #Constraints: 59225
3600.09/3609.50 c INPROCESSING
3600.09/3609.50 c GARBAGE COLLECT
3600.09/3609.50 c #Conflicts: 2022000 | #Constraints: 32016
3600.09/3609.50 c #Conflicts: 2023000 | #Constraints: 33016
3600.09/3609.50 c #Conflicts: 2024000 | #Constraints: 34016
3600.09/3609.50 c #Conflicts: 2025000 | #Constraints: 35016
3600.09/3609.50 c #Conflicts: 2026000 | #Constraints: 36016
3600.09/3609.50 c #Conflicts: 2027000 | #Constraints: 37016
3600.09/3609.50 c #Conflicts: 2028000 | #Constraints: 38016
3600.09/3609.50 c #Conflicts: 2029000 | #Constraints: 39016
3600.09/3609.50 c #Conflicts: 2030000 | #Constraints: 40016
3600.09/3609.50 c #Conflicts: 2031000 | #Constraints: 41016
3600.09/3609.50 c #Conflicts: 2032000 | #Constraints: 42016
3600.09/3609.50 c #Conflicts: 2033000 | #Constraints: 43016
3600.09/3609.50 c #Conflicts: 2034000 | #Constraints: 44016
3600.09/3609.50 c #Conflicts: 2035000 | #Constraints: 45016
3600.09/3609.50 c #Conflicts: 2036000 | #Constraints: 46016
3600.09/3609.50 c #Conflicts: 2037000 | #Constraints: 47016
3600.09/3609.50 c #Conflicts: 2038000 | #Constraints: 48016
3600.09/3609.50 c Program interrupted by user.
3600.09/3609.50 c cpu time 3562.29 s
3600.09/3609.50 c deterministic time 443361303303 4.43e+11
3600.09/3609.50 c optimization time 27.5293 s
3600.09/3609.50 c total solve time 3534.76 s
3600.09/3609.50 c core-guided solve time 3534.76 s
3600.09/3609.50 c propagation time 2509.62 s
3600.09/3609.50 c conflict analysis time 960.15 s
3600.09/3609.50 c propagations 1327655028
3600.09/3609.50 c resolve steps 21282307
3600.09/3609.50 c decisions 40922237
3600.09/3609.50 c conflicts 2038447
3600.09/3609.50 c restarts 4039
3600.09/3609.50 c inprocessing phases 133
3600.09/3609.50 c input clauses 3355
3600.09/3609.50 c input cardinalities 0
3600.09/3609.50 c input general constraints 1
3600.09/3609.50 c input average constraint length 2.84
3600.09/3609.50 c input average constraint degree 486.05
3600.09/3609.50 c learned clauses 655602
3600.09/3609.50 c learned cardinalities 174
3600.09/3609.50 c learned general constraints 1382670
3600.09/3609.50 c learned average constraint length 477.84
3600.09/3609.50 c learned average constraint degree 19974541.62
3600.09/3609.50 c watched constraints 481925
3600.09/3609.50 c counting constraints 900746
3600.09/3609.50 c gcd simplifications 81297
3600.09/3609.50 c detected cardinalities 123
3600.09/3609.50 c weakened non-implied lits 447566396
3600.09/3609.50 c weakened non-implying lits 333510
3600.09/3609.50 c original variables 1945
3600.09/3609.50 c clausal propagations 464776489
3600.09/3609.50 c cardinality propagations 211
3600.09/3609.50 c watched propagations 11989850
3600.09/3609.50 c counting propagations 845535546
3600.09/3609.50 c watch lookups 101690491015
3600.09/3609.50 c watch backjump lookups 100010959926
3600.09/3609.50 c watch checks 117370105611
3600.09/3609.50 c propagation checks 116303574829
3600.09/3609.50 c constraint additions 5246980361
3600.09/3609.50 c trail pops 1370614295
3600.09/3609.50 c formula constraints 3355
3600.09/3609.50 c learned constraints 2038446
3600.09/3609.50 c bound constraints 1
3600.09/3609.50 c core-guided constraints 0
3600.09/3609.50 c encountered formula constraints 15396267
3600.09/3609.50 c encountered learned constraints 7923438
3600.09/3609.50 c encountered bound constraints 1049
3600.09/3609.50 c encountered core-guided constraints 0
3600.09/3609.50 c LP total time 0 s
3600.09/3609.50 c LP solve time 0 s
3600.09/3609.50 c LP constraints added 0
3600.09/3609.50 c LP constraints removed 0
3600.09/3609.50 c LP pivots internal 0
3600.09/3609.50 c LP pivots root 0
3600.09/3609.50 c LP calls 0
3600.09/3609.50 c LP optimalities 0
3600.09/3609.50 c LP no pivot count 0
3600.09/3609.50 c LP infeasibilities 0
3600.09/3609.50 c LP valid Farkas constraints 0
3600.09/3609.50 c LP learned Farkas constraints 0
3600.09/3609.50 c LP basis resets 0
3600.09/3609.50 c LP cycling count 0
3600.09/3609.50 c LP singular count 0
3600.09/3609.50 c LP no primal count 0
3600.09/3609.50 c LP no farkas count 0
3600.09/3609.50 c LP other issue count 0
3600.09/3609.50 c LP Gomory cuts 0
3600.09/3609.50 c LP learned cuts 0
3600.09/3609.50 c LP deleted cuts 0
3600.09/3609.50 c LP encountered Gomory constraints 0
3600.09/3609.50 c LP encountered Farkas constraints 0
3600.09/3609.50 c LP encountered learned Farkas constraints 0
3600.09/3609.50 c CG auxiliary variables introduced 0
3600.09/3609.50 c CG solutions found 1
3600.09/3609.50 c CG cores constructed 0
3600.09/3609.50 c CG core cardinality constraints returned 0
3600.09/3609.50 c CG unit cores 0
3600.09/3609.50 c CG single cores 0
3600.09/3609.50 c CG blocks removed during cardinality reduction 0
3600.09/3609.50 c CG first core best 0
3600.09/3609.50 c CG decision core best 0
3600.09/3609.50 c CG core reduction tie 0
3600.09/3609.50 c CG core degree average 0.00
3600.09/3609.50 c CG core slack average 0.00
3600.09/3609.50 c CG exhausted 0
3600.09/3609.50 c CG exhaust time 0 s
3600.09/3609.50 c CG trimmed 0
3600.09/3609.50 c CG trim time 0 s
3600.09/3609.50 c CG minimized 0
3600.09/3609.50 c CG minimize time 0 s
3600.09/3609.50 c CG am1 prop time 3e-06 s
3600.09/3609.50 c CG # am1s reformulated 0
3600.09/3609.50 c CG lower bound derived from am1s 0
3600.09/3609.50 c CG # clausal cores 0
3600.09/3609.50 c CG # cardinality cores 0
3600.09/3609.50 c CG # pb cores 0
3600.09/3609.50 c CG # pb reforms 0
3600.09/3609.50 c CG # cores discarded because of pb reform 0
3600.09/3609.50 d LOWERBOUND 5621
3600.09/3609.50 d NCORES 0
3600.09/3609.50 d NPBCORES 0
3600.09/3609.50 d NPBREFORM 0
3600.09/3609.50 d NTRIMMED 0
3600.09/3609.50 d NEXHAUSTED 0
3600.09/3609.50 d NAM1S 0
3600.09/3609.50 d AM1LB 0
3600.09/3609.50 o 43695
3600.09/3609.50 s SATISFIABLE
3600.09/3609.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 x1941 x1942 x1943 -x1944 x1945
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: 63931 MiB (58426 MiB free)
memory of node 1: 64510 MiB (63062 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435967-1721108348/watcher-4435967-1721108348 -o /tmp/evaluation-result-4435967-1721108348/solver-4435967-1721108348 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721101137-839793 --watchdog 3760 pb-oll-rs HOME/instance-4435967-1721108348.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=843887, runsolver pid=843884
[startup+0.100233 s]*
/proc/loadavg: 4.10 4.13 4.10 5/255 843888
/proc/meminfo: memFree=124398192/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=41688 memory=11880 CPUtime=0.09 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 1305 0 0 0 8 1 0 0 20 0 1 0 163003085 42688512 2970 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 10422 2970 1379 291 0 1956 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41688 KiB
Current children cumulated memory: 11880 KiB
[startup+0.205654 s]*
/proc/loadavg: 4.10 4.13 4.10 5/255 843888
/proc/meminfo: memFree=124395856/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=43916 memory=14172 CPUtime=0.2 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 1870 0 0 0 18 2 0 0 20 0 1 0 163003085 44969984 3543 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 10979 3543 1379 291 0 2513 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43916 KiB
Current children cumulated memory: 14172 KiB
[startup+0.305691 s]*
/proc/loadavg: 4.10 4.13 4.10 5/255 843888
/proc/meminfo: memFree=124390040/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=50436 memory=19880 CPUtime=0.29 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 3300 0 0 0 27 2 0 0 20 0 1 0 163003085 51646464 4970 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 12609 4970 1379 291 0 4143 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 50436 KiB
Current children cumulated memory: 19880 KiB
[startup+0.700244 s]
/proc/loadavg: 4.10 4.13 4.10 4/252 843902
/proc/meminfo: memFree=124475412/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=62080 memory=30856 CPUtime=0.68 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 5491 0 0 0 64 4 0 0 20 0 1 0 163003085 63569920 7714 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 15520 7714 1379 291 0 7054 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62080 KiB
Current children cumulated memory: 30856 KiB
[startup+1.50023 s]
/proc/loadavg: 4.10 4.13 4.10 5/255 843934
/proc/meminfo: memFree=124467072/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=71932 memory=37852 CPUtime=1.48 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 6692 0 0 0 140 8 0 0 20 0 1 0 163003085 73658368 9463 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 17983 9463 1434 291 0 9517 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 71932 KiB
Current children cumulated memory: 37852 KiB
[startup+3.10557 s]
/proc/loadavg: 4.10 4.13 4.10 5/255 844026
/proc/meminfo: memFree=124495372/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=73700 memory=39520 CPUtime=3.08 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 7098 0 0 0 293 15 0 0 20 0 1 0 163003085 75468800 9880 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 18425 9880 1434 291 0 9959 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 73700 KiB
Current children cumulated memory: 39520 KiB
[startup+6.30021 s]
/proc/loadavg: 4.10 4.12 4.10 5/255 844026
/proc/meminfo: memFree=124414944/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=86968 memory=52936 CPUtime=6.26 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 9493 0 0 0 598 28 0 0 20 0 1 0 163003085 89055232 13234 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 21742 13234 1434 291 0 13276 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 86968 KiB
Current children cumulated memory: 52936 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.10 5/255 844027
/proc/meminfo: memFree=124320684/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=101560 memory=64432 CPUtime=12.65 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 11335 0 0 0 1211 54 0 0 20 0 1 0 163003085 103997440 16108 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 25390 16108 1434 291 0 16924 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 101560 KiB
Current children cumulated memory: 64432 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.12 4.10 5/255 844029
/proc/meminfo: memFree=124179968/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=126972 memory=87860 CPUtime=25.41 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 15700 0 0 0 2446 95 0 0 20 0 1 0 163003085 130019328 21965 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 31743 21965 1434 291 0 23277 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 126972 KiB
Current children cumulated memory: 87860 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.12 4.10 5/258 844038
/proc/meminfo: memFree=124106040/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=154368 memory=108228 CPUtime=50.93 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 18737 0 0 0 4906 187 0 0 20 0 1 0 163003085 158072832 27057 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 38592 27057 1434 291 0 30126 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 154368 KiB
Current children cumulated memory: 108228 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/258 844139
/proc/meminfo: memFree=123167920/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=155052 memory=112532 CPUtime=101.96 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 19519 0 0 0 9890 306 0 0 20 0 1 0 163003085 158773248 28133 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 38763 28133 1434 291 0 30297 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 155052 KiB
Current children cumulated memory: 112532 KiB
[startup+162.3 s]
/proc/loadavg: 4.46 4.19 4.12 5/258 844194
/proc/meminfo: memFree=125432808/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=192296 memory=132836 CPUtime=161.78 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 21958 0 0 0 15730 448 0 0 20 0 1 0 163003085 196911104 33209 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 48074 33209 1434 291 0 39608 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 192296 KiB
Current children cumulated memory: 132836 KiB
[startup+222.3 s]
/proc/loadavg: 4.33 4.21 4.13 5/258 844206
/proc/meminfo: memFree=125115520/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=224684 memory=167188 CPUtime=221.62 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 26803 0 0 0 21588 574 0 0 20 0 1 0 163003085 230076416 41797 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 56171 41797 1434 291 0 47705 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 224684 KiB
Current children cumulated memory: 167188 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.19 4.12 5/258 844216
/proc/meminfo: memFree=124182368/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=239660 memory=188752 CPUtime=281.47 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 29670 0 0 0 27455 692 0 0 20 0 1 0 163003085 245411840 47188 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 59915 47188 1434 291 0 51449 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 239660 KiB
Current children cumulated memory: 188752 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/259 844228
/proc/meminfo: memFree=124095924/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=240384 memory=189528 CPUtime=341.33 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 29927 0 0 0 33348 785 0 0 20 0 1 0 163003085 246153216 47382 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 60096 47382 1434 291 0 51630 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 240384 KiB
Current children cumulated memory: 189528 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.15 4.11 5/256 844239
/proc/meminfo: memFree=123554864/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=241120 memory=196756 CPUtime=401.18 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 30881 0 0 0 39242 876 0 0 20 0 1 0 163003085 246906880 49189 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 60280 49189 1434 291 0 51814 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 241120 KiB
Current children cumulated memory: 196756 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/256 844249
/proc/meminfo: memFree=123469856/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=292480 memory=202448 CPUtime=461.03 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 31834 0 0 0 45155 948 0 0 20 0 1 0 163003085 299499520 50612 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 73120 50612 1434 291 0 64654 0
################
# More data... #
################
Current children cumulated memory: 370300 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 845708
/proc/meminfo: memFree=126452088/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=473920 memory=370304 CPUtime=2914.62 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 58272 0 0 0 288249 3213 0 0 20 0 1 0 163003085 485294080 92576 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 118480 92576 1434 291 0 110014 0
Current children cumulated CPU time: 2914.62 s
Current children cumulated vsize: 473920 KiB
Current children cumulated memory: 370304 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 845888
/proc/meminfo: memFree=126436936/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=474584 memory=370828 CPUtime=2974.46 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 58665 0 0 0 294163 3283 0 0 20 0 1 0 163003085 485974016 92707 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 118646 92707 1434 291 0 110180 0
Current children cumulated CPU time: 2974.46 s
Current children cumulated vsize: 474584 KiB
Current children cumulated memory: 370828 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/259 845898
/proc/meminfo: memFree=126435064/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=474584 memory=370840 CPUtime=3034.32 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 58972 0 0 0 300092 3340 0 0 20 0 1 0 163003085 485974016 92710 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 118646 92710 1434 291 0 110180 0
Current children cumulated CPU time: 3034.32 s
Current children cumulated vsize: 474584 KiB
Current children cumulated memory: 370840 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/259 845968
/proc/meminfo: memFree=126431240/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=476376 memory=371628 CPUtime=3094.16 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 59531 0 0 0 306025 3391 0 0 20 0 1 0 163003085 487809024 92907 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 119094 92907 1434 291 0 110628 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 476376 KiB
Current children cumulated memory: 371628 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/259 845979
/proc/meminfo: memFree=126421748/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=489304 memory=379592 CPUtime=3154.02 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 61744 0 0 0 311977 3425 0 0 20 0 1 0 163003085 501047296 94898 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 122326 94898 1434 291 0 113860 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 489304 KiB
Current children cumulated memory: 379592 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/260 845991
/proc/meminfo: memFree=126415696/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=490328 memory=380016 CPUtime=3213.87 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 62044 0 0 0 317934 3453 0 0 20 0 1 0 163003085 502095872 95004 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 122582 95004 1434 291 0 114116 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 490328 KiB
Current children cumulated memory: 380016 KiB
[startup+3282.3 s]
/proc/loadavg: 4.41 4.20 4.13 5/258 846001
/proc/meminfo: memFree=126393780/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=492120 memory=381204 CPUtime=3273.72 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 62593 0 0 0 323865 3507 0 0 20 0 1 0 163003085 503930880 95301 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 123030 95301 1434 291 0 114564 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 492120 KiB
Current children cumulated memory: 381204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.34 4.21 4.13 5/258 846012
/proc/meminfo: memFree=126373672/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=492704 memory=381540 CPUtime=3333.56 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 62844 0 0 0 329790 3566 0 0 20 0 1 0 163003085 504528896 95385 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 123176 95385 1434 291 0 114710 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 492704 KiB
Current children cumulated memory: 381540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.28 4.23 4.14 5/257 846023
/proc/meminfo: memFree=126353240/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=494936 memory=382896 CPUtime=3393.41 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 63445 0 0 0 335727 3614 0 0 20 0 1 0 163003085 506814464 95724 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 123734 95724 1434 291 0 115268 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 494936 KiB
Current children cumulated memory: 382896 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.20 4.14 5/257 846034
/proc/meminfo: memFree=126323316/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=495448 memory=383268 CPUtime=3453.27 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 63796 0 0 0 341670 3657 0 0 20 0 1 0 163003085 507338752 95817 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 123862 95817 1434 291 0 115396 0
Current children cumulated CPU time: 3453.27 s
Current children cumulated vsize: 495448 KiB
Current children cumulated memory: 383268 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.19 4.14 5/257 846045
/proc/meminfo: memFree=126300740/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=496544 memory=383888 CPUtime=3513.11 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 64111 0 0 0 347599 3712 0 0 20 0 1 0 163003085 508461056 95972 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 124136 95972 1434 291 0 115670 0
Current children cumulated CPU time: 3513.11 s
Current children cumulated vsize: 496544 KiB
Current children cumulated memory: 383888 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.15 4.13 5/256 846056
/proc/meminfo: memFree=126282320/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=496544 memory=383888 CPUtime=3572.96 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 64305 0 0 0 353547 3749 0 0 20 0 1 0 163003085 508461056 95972 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 124136 95972 1434 291 0 115670 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 496544 KiB
Current children cumulated memory: 383888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.16 4.17 4.13 5/256 846060
/proc/meminfo: memFree=126277812/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=496544 memory=383900 CPUtime=3600.09 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 64418 0 0 0 356229 3780 0 0 20 0 1 0 163003085 508461056 95975 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 124136 95975 1434 291 0 115670 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 496544 KiB
Current children cumulated memory: 383900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 843887 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3562.29 s, system=37.8078 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.16 4.17 4.13 5/256 846060
/proc/meminfo: memFree=126277812/131524600 swapFree=131071996/131071996
[pid=843887] ppid=843884 vsize=496544 memory=383900 CPUtime=3600.09 cores=4,6
/proc/843887/stat : 843887 (pb-oll-rs) R 843884 843887 839782 0 -1 4194304 64418 0 0 0 356229 3780 0 0 20 0 1 0 163003085 508461056 95975 134679101440 4194304 5384005 140726578570736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26128384 140726578578455 140726578578532 140726578578532 140726578585547 0
/proc/843887/statm: 124136 95975 1434 291 0 115670 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 496544 KiB
Current children cumulated memory: 383900 KiB
Child status: 0
Real time (s): 3609.5
CPU time (s): 3600.1
CPU user time (s): 3562.29
CPU system time (s): 37.8078
CPU usage (%): 99.7395
Max. virtual memory (cumulated for all children) (KiB): 496544
Max. memory (cumulated for all children) (KiB): 383900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.29
system time used= 37.8078
maximum resident set size= 383900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64432
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= 116
involuntary context switches= 3314
# summary of solver processes directly reported to runsolver:
# pid: 843887
# total CPU time (s): 3600.1
# total CPU user time (s): 3562.29
# total CPU system time (s): 37.8078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.93146 second user time and 18.7008 second system time
The end
Begin job on nodeC031 at 2024-07-16 07:39:21
IDJOB=4435967
IDBENCH=148154
IDSOLVER=3067
FILE ID=nodeC031/4435967-1721108348
RUNJOBID= nodeC031-1721101137-839793
SLURM_JOB_ID= 7505614
Free space on /tmp= 890064 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435967-1721108348/watcher-4435967-1721108348 -o /tmp/evaluation-result-4435967-1721108348/solver-4435967-1721108348 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721101137-839793 --watchdog 3760 pb-oll-rs HOME/instance-4435967-1721108348.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 206b08b420dad9af66531a7207372127
RANDOM SEED=2124506518
nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3676.459
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
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 : 3689.656
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
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 : 3639.737
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
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 : 3599.908
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
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 : 3634.449
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
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 : 3689.767
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
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 : 3646.705
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
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.972
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124405244 kB
MemAvailable: 126055768 kB
Buffers: 374172 kB
Cached: 2100240 kB
SwapCached: 0 kB
Active: 706904 kB
Inactive: 5783360 kB
Active(anon): 1536 kB
Inactive(anon): 4052068 kB
Active(file): 705368 kB
Inactive(file): 1731292 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2076 kB
Writeback: 0 kB
AnonPages: 4011832 kB
Mapped: 107784 kB
Shmem: 37720 kB
KReclaimable: 107020 kB
Slab: 214604 kB
SReclaimable: 107020 kB
SUnreclaim: 107584 kB
KernelStack: 4096 kB
PageTables: 17228 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4674556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62784 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3796992 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 185044 kB
DirectMap2M: 16365568 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC031 at 2024-07-16 08:39:31