0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.04 c [STEP] solving
0.00/0.04 c #variables 1945 #constraints 3355
0.00/0.04 c SMALL=int, LARGE=long long
0.00/0.04 c bounds - >= 5621 @ 0.020088
0.00/0.04 c stratification level: 2034
0.00/0.04 c bounds 43695 >= 5621 @ 0.022164
0.00/0.04 c stratification level: 2031
34.76/34.97 c #Conflicts: 1000 | #Constraints: 4355
34.76/34.97 c #Conflicts: 2000 | #Constraints: 5355
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 3000 | #Constraints: 5356
34.76/34.97 c #Conflicts: 4000 | #Constraints: 6356
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 5000 | #Constraints: 5761
34.76/34.97 c #Conflicts: 6000 | #Constraints: 6761
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 7000 | #Constraints: 5761
34.76/34.97 c #Conflicts: 8000 | #Constraints: 6761
34.76/34.97 c #Conflicts: 9000 | #Constraints: 7761
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 10000 | #Constraints: 6463
34.76/34.97 c #Conflicts: 11000 | #Constraints: 7463
34.76/34.97 c #Conflicts: 12000 | #Constraints: 8463
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 13000 | #Constraints: 6919
34.76/34.97 c #Conflicts: 14000 | #Constraints: 7919
34.76/34.97 c #Conflicts: 15000 | #Constraints: 8919
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 16000 | #Constraints: 7147
34.76/34.97 c #Conflicts: 17000 | #Constraints: 8147
34.76/34.97 c #Conflicts: 18000 | #Constraints: 9147
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 19000 | #Constraints: 7156
34.76/34.97 c #Conflicts: 20000 | #Constraints: 8156
34.76/34.97 c #Conflicts: 21000 | #Constraints: 9156
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 22000 | #Constraints: 6967
34.76/34.97 c #Conflicts: 23000 | #Constraints: 7967
34.76/34.97 c #Conflicts: 24000 | #Constraints: 8967
34.76/34.97 c #Conflicts: 25000 | #Constraints: 9967
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 26000 | #Constraints: 7574
34.76/34.97 c #Conflicts: 27000 | #Constraints: 8574
34.76/34.97 c #Conflicts: 28000 | #Constraints: 9574
34.76/34.97 c #Conflicts: 29000 | #Constraints: 10574
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 30000 | #Constraints: 7971
34.76/34.97 c #Conflicts: 31000 | #Constraints: 8971
34.76/34.97 c #Conflicts: 32000 | #Constraints: 9971
34.76/34.97 c #Conflicts: 33000 | #Constraints: 10971
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 34000 | #Constraints: 8168
34.76/34.97 c #Conflicts: 35000 | #Constraints: 9168
34.76/34.97 c #Conflicts: 36000 | #Constraints: 10168
34.76/34.97 c #Conflicts: 37000 | #Constraints: 11168
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 38000 | #Constraints: 8176
34.76/34.97 c #Conflicts: 39000 | #Constraints: 9176
34.76/34.97 c #Conflicts: 40000 | #Constraints: 10176
34.76/34.97 c #Conflicts: 41000 | #Constraints: 11176
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 42000 | #Constraints: 7982
34.76/34.97 c #Conflicts: 43000 | #Constraints: 8982
34.76/34.97 c #Conflicts: 44000 | #Constraints: 9982
34.76/34.97 c #Conflicts: 45000 | #Constraints: 10982
34.76/34.97 c #Conflicts: 46000 | #Constraints: 11982
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 47000 | #Constraints: 8575
34.76/34.97 c #Conflicts: 48000 | #Constraints: 9575
34.76/34.97 c #Conflicts: 49000 | #Constraints: 10575
34.76/34.97 c #Conflicts: 50000 | #Constraints: 11575
34.76/34.97 c #Conflicts: 51000 | #Constraints: 12575
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 52000 | #Constraints: 8978
34.76/34.97 c #Conflicts: 53000 | #Constraints: 9978
34.76/34.97 c #Conflicts: 54000 | #Constraints: 10978
34.76/34.97 c #Conflicts: 55000 | #Constraints: 11978
34.76/34.97 c #Conflicts: 56000 | #Constraints: 12978
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 57000 | #Constraints: 9180
34.76/34.97 c #Conflicts: 58000 | #Constraints: 10180
34.76/34.97 c #Conflicts: 59000 | #Constraints: 11180
34.76/34.97 c #Conflicts: 60000 | #Constraints: 12180
34.76/34.97 c #Conflicts: 61000 | #Constraints: 13180
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 62000 | #Constraints: 9180
34.76/34.97 c #Conflicts: 63000 | #Constraints: 10180
34.76/34.97 c #Conflicts: 64000 | #Constraints: 11180
34.76/34.97 c #Conflicts: 65000 | #Constraints: 12180
34.76/34.97 c #Conflicts: 66000 | #Constraints: 13180
34.76/34.97 c INPROCESSING
34.76/34.97 c GARBAGE COLLECT
34.76/34.97 c #Conflicts: 67000 | #Constraints: 8978
34.76/34.97 c #Conflicts: 68000 | #Constraints: 9978
90.71/91.03 c #Conflicts: 69000 | #Constraints: 10978
90.71/91.03 c #Conflicts: 70000 | #Constraints: 11978
90.71/91.03 c #Conflicts: 71000 | #Constraints: 12978
90.71/91.03 c #Conflicts: 72000 | #Constraints: 13978
90.71/91.03 c INPROCESSING
90.71/91.03 c GARBAGE COLLECT
90.71/91.03 c #Conflicts: 73000 | #Constraints: 9583
90.71/91.03 c #Conflicts: 74000 | #Constraints: 10583
90.71/91.03 c #Conflicts: 75000 | #Constraints: 11583
90.71/91.03 c #Conflicts: 76000 | #Constraints: 12583
90.71/91.03 c #Conflicts: 77000 | #Constraints: 13583
90.71/91.03 c #Conflicts: 78000 | #Constraints: 14583
90.71/91.03 c INPROCESSING
90.71/91.03 c GARBAGE COLLECT
90.71/91.03 c #Conflicts: 79000 | #Constraints: 9991
90.71/91.03 c #Conflicts: 80000 | #Constraints: 10991
90.71/91.03 c #Conflicts: 81000 | #Constraints: 11991
90.71/91.03 c #Conflicts: 82000 | #Constraints: 12991
90.71/91.03 c #Conflicts: 83000 | #Constraints: 13991
90.71/91.03 c #Conflicts: 84000 | #Constraints: 14991
90.71/91.03 c INPROCESSING
90.71/91.03 c GARBAGE COLLECT
90.71/91.03 c #Conflicts: 85000 | #Constraints: 10193
90.71/91.03 c #Conflicts: 86000 | #Constraints: 11193
90.71/91.03 c #Conflicts: 87000 | #Constraints: 12193
90.71/91.03 c #Conflicts: 88000 | #Constraints: 13193
90.71/91.03 c #Conflicts: 89000 | #Constraints: 14193
90.71/91.03 c #Conflicts: 90000 | #Constraints: 15193
90.71/91.03 c INPROCESSING
90.71/91.03 c GARBAGE COLLECT
90.71/91.03 c #Conflicts: 91000 | #Constraints: 10197
90.71/91.03 c #Conflicts: 92000 | #Constraints: 11197
90.71/91.03 c #Conflicts: 93000 | #Constraints: 12197
90.71/91.03 c #Conflicts: 94000 | #Constraints: 13197
90.71/91.03 c #Conflicts: 95000 | #Constraints: 14197
90.71/91.03 c #Conflicts: 96000 | #Constraints: 15197
90.71/91.03 c INPROCESSING
90.71/91.03 c GARBAGE COLLECT
90.71/91.03 c #Conflicts: 97000 | #Constraints: 9997
90.71/91.03 c #Conflicts: 98000 | #Constraints: 10997
90.71/91.03 c #Conflicts: 99000 | #Constraints: 11997
90.71/91.03 c #Conflicts: 100000 | #Constraints: 12997
90.71/91.03 c #Conflicts: 101000 | #Constraints: 13997
90.71/91.03 c #Conflicts: 102000 | #Constraints: 14997
90.71/91.03 c #Conflicts: 103000 | #Constraints: 15997
90.71/91.03 c INPROCESSING
90.71/91.03 c GARBAGE COLLECT
90.71/91.03 c #Conflicts: 104000 | #Constraints: 10590
90.71/91.03 c #Conflicts: 105000 | #Constraints: 11590
90.71/91.03 c #Conflicts: 106000 | #Constraints: 12590
90.71/91.03 c #Conflicts: 107000 | #Constraints: 13590
90.71/91.03 c #Conflicts: 108000 | #Constraints: 14590
90.71/91.03 c #Conflicts: 109000 | #Constraints: 15590
90.71/91.03 c #Conflicts: 110000 | #Constraints: 16590
90.71/91.03 c INPROCESSING
90.71/91.03 c GARBAGE COLLECT
90.71/91.03 c #Conflicts: 111000 | #Constraints: 10988
90.71/91.03 c #Conflicts: 112000 | #Constraints: 11988
90.71/91.03 c #Conflicts: 113000 | #Constraints: 12988
90.71/91.03 c #Conflicts: 114000 | #Constraints: 13988
90.71/91.03 c #Conflicts: 115000 | #Constraints: 14988
90.71/91.03 c #Conflicts: 116000 | #Constraints: 15988
90.71/91.03 c #Conflicts: 117000 | #Constraints: 16988
90.71/91.03 c INPROCESSING
90.71/91.03 c GARBAGE COLLECT
90.71/91.03 c #Conflicts: 118000 | #Constraints: 11199
90.71/91.03 c #Conflicts: 119000 | #Constraints: 12199
90.71/91.03 c #Conflicts: 120000 | #Constraints: 13199
90.71/91.03 c #Conflicts: 121000 | #Constraints: 14199
90.71/91.03 c #Conflicts: 122000 | #Constraints: 15199
90.71/91.03 c #Conflicts: 123000 | #Constraints: 16199
90.71/91.03 c #Conflicts: 124000 | #Constraints: 17199
90.71/91.03 c INPROCESSING
90.71/91.03 c GARBAGE COLLECT
90.71/91.03 c #Conflicts: 125000 | #Constraints: 11190
90.71/91.03 c #Conflicts: 126000 | #Constraints: 12190
90.71/91.03 c #Conflicts: 127000 | #Constraints: 13190
90.71/91.03 c #Conflicts: 128000 | #Constraints: 14190
90.71/91.03 c #Conflicts: 129000 | #Constraints: 15190
90.71/91.03 c #Conflicts: 130000 | #Constraints: 16190
90.71/91.03 c #Conflicts: 131000 | #Constraints: 17190
90.71/91.03 c INPROCESSING
90.71/91.03 c GARBAGE COLLECT
90.71/91.03 c #Conflicts: 132000 | #Constraints: 10989
90.71/91.03 c #Conflicts: 133000 | #Constraints: 11989
90.71/91.03 c #Conflicts: 134000 | #Constraints: 12989
90.71/91.03 c #Conflicts: 135000 | #Constraints: 13989
90.71/91.03 c #Conflicts: 136000 | #Constraints: 14989
90.71/91.03 c #Conflicts: 137000 | #Constraints: 15989
90.71/91.03 c #Conflicts: 138000 | #Constraints: 16989
90.71/91.03 c #Conflicts: 139000 | #Constraints: 17989
90.71/91.03 c INPROCESSING
90.71/91.03 c GARBAGE COLLECT
90.71/91.03 c #Conflicts: 140000 | #Constraints: 11586
165.28/165.87 c #Conflicts: 141000 | #Constraints: 12586
165.28/165.87 c #Conflicts: 142000 | #Constraints: 13586
165.28/165.87 c #Conflicts: 143000 | #Constraints: 14586
165.28/165.87 c #Conflicts: 144000 | #Constraints: 15586
165.28/165.87 c #Conflicts: 145000 | #Constraints: 16586
165.28/165.87 c #Conflicts: 146000 | #Constraints: 17586
165.28/165.87 c #Conflicts: 147000 | #Constraints: 18586
165.28/165.87 c INPROCESSING
165.28/165.87 c GARBAGE COLLECT
165.28/165.87 c #Conflicts: 148000 | #Constraints: 11994
165.28/165.87 c #Conflicts: 149000 | #Constraints: 12994
165.28/165.87 c #Conflicts: 150000 | #Constraints: 13994
165.28/165.87 c #Conflicts: 151000 | #Constraints: 14994
165.28/165.87 c #Conflicts: 152000 | #Constraints: 15994
165.28/165.87 c #Conflicts: 153000 | #Constraints: 16994
165.28/165.87 c #Conflicts: 154000 | #Constraints: 17994
165.28/165.87 c #Conflicts: 155000 | #Constraints: 18994
165.28/165.87 c INPROCESSING
165.28/165.87 c GARBAGE COLLECT
165.28/165.87 c #Conflicts: 156000 | #Constraints: 12214
165.28/165.87 c #Conflicts: 157000 | #Constraints: 13214
165.28/165.87 c #Conflicts: 158000 | #Constraints: 14214
165.28/165.87 c #Conflicts: 159000 | #Constraints: 15214
165.28/165.87 c #Conflicts: 160000 | #Constraints: 16214
165.28/165.87 c #Conflicts: 161000 | #Constraints: 17214
165.28/165.87 c #Conflicts: 162000 | #Constraints: 18214
165.28/165.87 c #Conflicts: 163000 | #Constraints: 19214
165.28/165.87 c INPROCESSING
165.28/165.87 c GARBAGE COLLECT
165.28/165.87 c #Conflicts: 164000 | #Constraints: 12216
165.28/165.87 c #Conflicts: 165000 | #Constraints: 13216
165.28/165.87 c #Conflicts: 166000 | #Constraints: 14216
165.28/165.87 c #Conflicts: 167000 | #Constraints: 15216
165.28/165.87 c #Conflicts: 168000 | #Constraints: 16216
165.28/165.87 c #Conflicts: 169000 | #Constraints: 17216
165.28/165.87 c #Conflicts: 170000 | #Constraints: 18216
165.28/165.87 c #Conflicts: 171000 | #Constraints: 19216
165.28/165.87 c INPROCESSING
165.28/165.87 c GARBAGE COLLECT
165.28/165.87 c #Conflicts: 172000 | #Constraints: 12032
165.28/165.87 c #Conflicts: 173000 | #Constraints: 13032
165.28/165.87 c #Conflicts: 174000 | #Constraints: 14032
165.28/165.87 c #Conflicts: 175000 | #Constraints: 15032
165.28/165.87 c #Conflicts: 176000 | #Constraints: 16032
165.28/165.87 c #Conflicts: 177000 | #Constraints: 17032
165.28/165.87 c #Conflicts: 178000 | #Constraints: 18032
165.28/165.87 c #Conflicts: 179000 | #Constraints: 19032
165.28/165.87 c #Conflicts: 180000 | #Constraints: 20032
165.28/165.87 c INPROCESSING
165.28/165.87 c GARBAGE COLLECT
165.28/165.87 c #Conflicts: 181000 | #Constraints: 12609
165.28/165.87 c #Conflicts: 182000 | #Constraints: 13609
165.28/165.87 c #Conflicts: 183000 | #Constraints: 14609
165.28/165.87 c #Conflicts: 184000 | #Constraints: 15609
165.28/165.87 c #Conflicts: 185000 | #Constraints: 16609
165.28/165.87 c #Conflicts: 186000 | #Constraints: 17609
165.28/165.87 c #Conflicts: 187000 | #Constraints: 18609
165.28/165.87 c #Conflicts: 188000 | #Constraints: 19609
165.28/165.87 c #Conflicts: 189000 | #Constraints: 20609
165.28/165.87 c INPROCESSING
165.28/165.87 c GARBAGE COLLECT
165.28/165.87 c #Conflicts: 190000 | #Constraints: 13005
165.28/165.87 c #Conflicts: 191000 | #Constraints: 14005
165.28/165.87 c #Conflicts: 192000 | #Constraints: 15005
165.28/165.87 c #Conflicts: 193000 | #Constraints: 16005
165.28/165.87 c #Conflicts: 194000 | #Constraints: 17005
165.28/165.87 c #Conflicts: 195000 | #Constraints: 18005
165.28/165.87 c #Conflicts: 196000 | #Constraints: 19005
165.28/165.87 c #Conflicts: 197000 | #Constraints: 20005
165.28/165.87 c #Conflicts: 198000 | #Constraints: 21005
165.28/165.87 c INPROCESSING
165.28/165.87 c GARBAGE COLLECT
165.28/165.87 c #Conflicts: 199000 | #Constraints: 13196
165.28/165.87 c #Conflicts: 200000 | #Constraints: 14196
165.28/165.87 c #Conflicts: 201000 | #Constraints: 15196
165.28/165.87 c #Conflicts: 202000 | #Constraints: 16196
165.28/165.87 c #Conflicts: 203000 | #Constraints: 17196
165.28/165.87 c #Conflicts: 204000 | #Constraints: 18196
165.28/165.87 c #Conflicts: 205000 | #Constraints: 19196
165.28/165.87 c #Conflicts: 206000 | #Constraints: 20196
165.28/165.87 c #Conflicts: 207000 | #Constraints: 21196
165.28/165.87 c INPROCESSING
165.28/165.87 c GARBAGE COLLECT
165.28/165.87 c #Conflicts: 208000 | #Constraints: 13198
165.28/165.87 c #Conflicts: 209000 | #Constraints: 14198
165.28/165.87 c #Conflicts: 210000 | #Constraints: 15198
165.28/165.87 c #Conflicts: 211000 | #Constraints: 16198
165.28/165.87 c #Conflicts: 212000 | #Constraints: 17198
165.28/165.87 c #Conflicts: 213000 | #Constraints: 18198
257.10/257.92 c #Conflicts: 214000 | #Constraints: 19198
257.10/257.92 c #Conflicts: 215000 | #Constraints: 20198
257.10/257.92 c #Conflicts: 216000 | #Constraints: 21198
257.10/257.92 c INPROCESSING
257.10/257.92 c GARBAGE COLLECT
257.10/257.92 c #Conflicts: 217000 | #Constraints: 13006
257.10/257.92 c #Conflicts: 218000 | #Constraints: 14006
257.10/257.92 c #Conflicts: 219000 | #Constraints: 15006
257.10/257.92 c #Conflicts: 220000 | #Constraints: 16006
257.10/257.92 c #Conflicts: 221000 | #Constraints: 17006
257.10/257.92 c #Conflicts: 222000 | #Constraints: 18006
257.10/257.92 c #Conflicts: 223000 | #Constraints: 19006
257.10/257.92 c #Conflicts: 224000 | #Constraints: 20006
257.10/257.92 c #Conflicts: 225000 | #Constraints: 21006
257.10/257.92 c #Conflicts: 226000 | #Constraints: 22006
257.10/257.92 c INPROCESSING
257.10/257.92 c GARBAGE COLLECT
257.10/257.92 c #Conflicts: 227000 | #Constraints: 13596
257.10/257.92 c #Conflicts: 228000 | #Constraints: 14596
257.10/257.92 c #Conflicts: 229000 | #Constraints: 15596
257.10/257.92 c #Conflicts: 230000 | #Constraints: 16596
257.10/257.92 c #Conflicts: 231000 | #Constraints: 17596
257.10/257.92 c #Conflicts: 232000 | #Constraints: 18596
257.10/257.92 c #Conflicts: 233000 | #Constraints: 19596
257.10/257.92 c #Conflicts: 234000 | #Constraints: 20596
257.10/257.92 c #Conflicts: 235000 | #Constraints: 21596
257.10/257.92 c #Conflicts: 236000 | #Constraints: 22596
257.10/257.92 c INPROCESSING
257.10/257.92 c GARBAGE COLLECT
257.10/257.92 c #Conflicts: 237000 | #Constraints: 13992
257.10/257.92 c #Conflicts: 238000 | #Constraints: 14992
257.10/257.92 c #Conflicts: 239000 | #Constraints: 15992
257.10/257.92 c #Conflicts: 240000 | #Constraints: 16992
257.10/257.92 c #Conflicts: 241000 | #Constraints: 17992
257.10/257.92 c #Conflicts: 242000 | #Constraints: 18992
257.10/257.92 c #Conflicts: 243000 | #Constraints: 19992
257.10/257.92 c #Conflicts: 244000 | #Constraints: 20992
257.10/257.92 c #Conflicts: 245000 | #Constraints: 21992
257.10/257.92 c #Conflicts: 246000 | #Constraints: 22992
257.10/257.92 c INPROCESSING
257.10/257.92 c GARBAGE COLLECT
257.10/257.92 c #Conflicts: 247000 | #Constraints: 14200
257.10/257.92 c #Conflicts: 248000 | #Constraints: 15200
257.10/257.92 c #Conflicts: 249000 | #Constraints: 16200
257.10/257.92 c #Conflicts: 250000 | #Constraints: 17200
257.10/257.92 c #Conflicts: 251000 | #Constraints: 18200
257.10/257.92 c #Conflicts: 252000 | #Constraints: 19200
257.10/257.92 c #Conflicts: 253000 | #Constraints: 20200
257.10/257.92 c #Conflicts: 254000 | #Constraints: 21200
257.10/257.92 c #Conflicts: 255000 | #Constraints: 22200
257.10/257.92 c #Conflicts: 256000 | #Constraints: 23200
257.10/257.92 c INPROCESSING
257.10/257.92 c GARBAGE COLLECT
257.10/257.92 c #Conflicts: 257000 | #Constraints: 14206
257.10/257.92 c #Conflicts: 258000 | #Constraints: 15206
257.10/257.92 c #Conflicts: 259000 | #Constraints: 16206
257.10/257.92 c #Conflicts: 260000 | #Constraints: 17206
257.10/257.92 c #Conflicts: 261000 | #Constraints: 18206
257.10/257.92 c #Conflicts: 262000 | #Constraints: 19206
257.10/257.92 c #Conflicts: 263000 | #Constraints: 20206
257.10/257.92 c #Conflicts: 264000 | #Constraints: 21206
257.10/257.92 c #Conflicts: 265000 | #Constraints: 22206
257.10/257.92 c #Conflicts: 266000 | #Constraints: 23206
257.10/257.92 c INPROCESSING
257.10/257.92 c GARBAGE COLLECT
257.10/257.92 c #Conflicts: 267000 | #Constraints: 14052
257.10/257.92 c #Conflicts: 268000 | #Constraints: 15052
257.10/257.92 c #Conflicts: 269000 | #Constraints: 16052
257.10/257.92 c #Conflicts: 270000 | #Constraints: 17052
257.10/257.92 c #Conflicts: 271000 | #Constraints: 18052
257.10/257.92 c #Conflicts: 272000 | #Constraints: 19052
257.10/257.92 c #Conflicts: 273000 | #Constraints: 20052
257.10/257.92 c #Conflicts: 274000 | #Constraints: 21052
257.10/257.92 c #Conflicts: 275000 | #Constraints: 22052
257.10/257.92 c #Conflicts: 276000 | #Constraints: 23052
257.10/257.92 c #Conflicts: 277000 | #Constraints: 24052
257.10/257.92 c INPROCESSING
257.10/257.92 c GARBAGE COLLECT
257.10/257.92 c #Conflicts: 278000 | #Constraints: 14617
257.10/257.92 c #Conflicts: 279000 | #Constraints: 15617
257.10/257.92 c #Conflicts: 280000 | #Constraints: 16617
257.10/257.92 c #Conflicts: 281000 | #Constraints: 17617
257.10/257.92 c #Conflicts: 282000 | #Constraints: 18617
257.10/257.92 c #Conflicts: 283000 | #Constraints: 19617
257.10/257.92 c #Conflicts: 284000 | #Constraints: 20617
257.10/257.92 c #Conflicts: 285000 | #Constraints: 21617
257.10/257.92 c #Conflicts: 286000 | #Constraints: 22617
257.10/257.92 c #Conflicts: 287000 | #Constraints: 23617
257.10/257.92 c #Conflicts: 288000 | #Constraints: 24617
368.26/369.47 c INPROCESSING
368.26/369.47 c GARBAGE COLLECT
368.26/369.47 c #Conflicts: 289000 | #Constraints: 15027
368.26/369.47 c #Conflicts: 290000 | #Constraints: 16027
368.26/369.47 c #Conflicts: 291000 | #Constraints: 17027
368.26/369.47 c #Conflicts: 292000 | #Constraints: 18027
368.26/369.47 c #Conflicts: 293000 | #Constraints: 19027
368.26/369.47 c #Conflicts: 294000 | #Constraints: 20027
368.26/369.47 c #Conflicts: 295000 | #Constraints: 21027
368.26/369.47 c #Conflicts: 296000 | #Constraints: 22027
368.26/369.47 c #Conflicts: 297000 | #Constraints: 23027
368.26/369.47 c #Conflicts: 298000 | #Constraints: 24027
368.26/369.47 c #Conflicts: 299000 | #Constraints: 25027
368.26/369.47 c INPROCESSING
368.26/369.47 c GARBAGE COLLECT
368.26/369.47 c #Conflicts: 300000 | #Constraints: 15218
368.26/369.47 c #Conflicts: 301000 | #Constraints: 16218
368.26/369.47 c #Conflicts: 302000 | #Constraints: 17218
368.26/369.47 c #Conflicts: 303000 | #Constraints: 18218
368.26/369.47 c #Conflicts: 304000 | #Constraints: 19218
368.26/369.47 c #Conflicts: 305000 | #Constraints: 20218
368.26/369.47 c #Conflicts: 306000 | #Constraints: 21218
368.26/369.47 c #Conflicts: 307000 | #Constraints: 22218
368.26/369.47 c #Conflicts: 308000 | #Constraints: 23218
368.26/369.47 c #Conflicts: 309000 | #Constraints: 24218
368.26/369.47 c #Conflicts: 310000 | #Constraints: 25218
368.26/369.47 c INPROCESSING
368.26/369.47 c GARBAGE COLLECT
368.26/369.47 c #Conflicts: 311000 | #Constraints: 15213
368.26/369.47 c #Conflicts: 312000 | #Constraints: 16213
368.26/369.47 c #Conflicts: 313000 | #Constraints: 17213
368.26/369.47 c #Conflicts: 314000 | #Constraints: 18213
368.26/369.47 c #Conflicts: 315000 | #Constraints: 19213
368.26/369.47 c #Conflicts: 316000 | #Constraints: 20213
368.26/369.47 c #Conflicts: 317000 | #Constraints: 21213
368.26/369.47 c #Conflicts: 318000 | #Constraints: 22213
368.26/369.47 c #Conflicts: 319000 | #Constraints: 23213
368.26/369.47 c #Conflicts: 320000 | #Constraints: 24213
368.26/369.47 c #Conflicts: 321000 | #Constraints: 25213
368.26/369.47 c INPROCESSING
368.26/369.47 c GARBAGE COLLECT
368.26/369.47 c #Conflicts: 322000 | #Constraints: 15019
368.26/369.47 c #Conflicts: 323000 | #Constraints: 16019
368.26/369.47 c #Conflicts: 324000 | #Constraints: 17019
368.26/369.47 c #Conflicts: 325000 | #Constraints: 18019
368.26/369.47 c #Conflicts: 326000 | #Constraints: 19019
368.26/369.47 c #Conflicts: 327000 | #Constraints: 20019
368.26/369.47 c #Conflicts: 328000 | #Constraints: 21019
368.26/369.47 c #Conflicts: 329000 | #Constraints: 22019
368.26/369.47 c #Conflicts: 330000 | #Constraints: 23019
368.26/369.47 c #Conflicts: 331000 | #Constraints: 24019
368.26/369.47 c #Conflicts: 332000 | #Constraints: 25019
368.26/369.47 c #Conflicts: 333000 | #Constraints: 26019
368.26/369.47 c INPROCESSING
368.26/369.47 c GARBAGE COLLECT
368.26/369.47 c #Conflicts: 334000 | #Constraints: 15612
368.26/369.47 c #Conflicts: 335000 | #Constraints: 16612
368.26/369.47 c #Conflicts: 336000 | #Constraints: 17612
368.26/369.47 c #Conflicts: 337000 | #Constraints: 18612
368.26/369.47 c #Conflicts: 338000 | #Constraints: 19612
368.26/369.47 c #Conflicts: 339000 | #Constraints: 20612
368.26/369.47 c #Conflicts: 340000 | #Constraints: 21612
368.26/369.47 c #Conflicts: 341000 | #Constraints: 22612
368.26/369.47 c #Conflicts: 342000 | #Constraints: 23612
368.26/369.47 c #Conflicts: 343000 | #Constraints: 24612
368.26/369.47 c #Conflicts: 344000 | #Constraints: 25612
368.26/369.47 c #Conflicts: 345000 | #Constraints: 26612
368.26/369.47 c INPROCESSING
368.26/369.47 c GARBAGE COLLECT
368.26/369.47 c #Conflicts: 346000 | #Constraints: 16007
368.26/369.47 c #Conflicts: 347000 | #Constraints: 17007
368.26/369.47 c #Conflicts: 348000 | #Constraints: 18007
368.26/369.47 c #Conflicts: 349000 | #Constraints: 19007
368.26/369.47 c #Conflicts: 350000 | #Constraints: 20007
368.26/369.47 c #Conflicts: 351000 | #Constraints: 21007
368.26/369.47 c #Conflicts: 352000 | #Constraints: 22007
368.26/369.47 c #Conflicts: 353000 | #Constraints: 23007
368.26/369.47 c #Conflicts: 354000 | #Constraints: 24007
368.26/369.47 c #Conflicts: 355000 | #Constraints: 25007
368.26/369.47 c #Conflicts: 356000 | #Constraints: 26007
368.26/369.47 c #Conflicts: 357000 | #Constraints: 27007
368.26/369.47 c INPROCESSING
368.26/369.47 c GARBAGE COLLECT
368.26/369.47 c #Conflicts: 358000 | #Constraints: 16199
368.26/369.47 c #Conflicts: 359000 | #Constraints: 17199
368.26/369.47 c #Conflicts: 360000 | #Constraints: 18199
368.26/369.47 c #Conflicts: 361000 | #Constraints: 19199
368.26/369.47 c #Conflicts: 362000 | #Constraints: 20199
485.02/486.55 c #Conflicts: 363000 | #Constraints: 21199
485.02/486.55 c #Conflicts: 364000 | #Constraints: 22199
485.02/486.55 c #Conflicts: 365000 | #Constraints: 23199
485.02/486.55 c #Conflicts: 366000 | #Constraints: 24199
485.02/486.55 c #Conflicts: 367000 | #Constraints: 25199
485.02/486.55 c #Conflicts: 368000 | #Constraints: 26199
485.02/486.55 c #Conflicts: 369000 | #Constraints: 27199
485.02/486.55 c INPROCESSING
485.02/486.55 c GARBAGE COLLECT
485.02/486.55 c #Conflicts: 370000 | #Constraints: 16208
485.02/486.55 c #Conflicts: 371000 | #Constraints: 17208
485.02/486.55 c #Conflicts: 372000 | #Constraints: 18208
485.02/486.55 c #Conflicts: 373000 | #Constraints: 19208
485.02/486.55 c #Conflicts: 374000 | #Constraints: 20208
485.02/486.55 c #Conflicts: 375000 | #Constraints: 21208
485.02/486.55 c #Conflicts: 376000 | #Constraints: 22208
485.02/486.55 c #Conflicts: 377000 | #Constraints: 23208
485.02/486.55 c #Conflicts: 378000 | #Constraints: 24208
485.02/486.55 c #Conflicts: 379000 | #Constraints: 25208
485.02/486.55 c #Conflicts: 380000 | #Constraints: 26208
485.02/486.55 c #Conflicts: 381000 | #Constraints: 27208
485.02/486.55 c INPROCESSING
485.02/486.55 c GARBAGE COLLECT
485.02/486.55 c #Conflicts: 382000 | #Constraints: 15999
485.02/486.55 c #Conflicts: 383000 | #Constraints: 16999
485.02/486.55 c #Conflicts: 384000 | #Constraints: 17999
485.02/486.55 c #Conflicts: 385000 | #Constraints: 18999
485.02/486.55 c #Conflicts: 386000 | #Constraints: 19999
485.02/486.55 c #Conflicts: 387000 | #Constraints: 20999
485.02/486.55 c #Conflicts: 388000 | #Constraints: 21999
485.02/486.55 c #Conflicts: 389000 | #Constraints: 22999
485.02/486.55 c #Conflicts: 390000 | #Constraints: 23999
485.02/486.55 c #Conflicts: 391000 | #Constraints: 24999
485.02/486.55 c #Conflicts: 392000 | #Constraints: 25999
485.02/486.55 c #Conflicts: 393000 | #Constraints: 26999
485.02/486.55 c #Conflicts: 394000 | #Constraints: 27999
485.02/486.55 c INPROCESSING
485.02/486.55 c GARBAGE COLLECT
485.02/486.55 c #Conflicts: 395000 | #Constraints: 16602
485.02/486.55 c #Conflicts: 396000 | #Constraints: 17602
485.02/486.55 c #Conflicts: 397000 | #Constraints: 18602
485.02/486.55 c #Conflicts: 398000 | #Constraints: 19602
485.02/486.55 c #Conflicts: 399000 | #Constraints: 20602
485.02/486.55 c #Conflicts: 400000 | #Constraints: 21602
485.02/486.55 c #Conflicts: 401000 | #Constraints: 22602
485.02/486.55 c #Conflicts: 402000 | #Constraints: 23602
485.02/486.55 c #Conflicts: 403000 | #Constraints: 24602
485.02/486.55 c #Conflicts: 404000 | #Constraints: 25602
485.02/486.55 c #Conflicts: 405000 | #Constraints: 26602
485.02/486.55 c #Conflicts: 406000 | #Constraints: 27602
485.02/486.55 c #Conflicts: 407000 | #Constraints: 28602
485.02/486.55 c INPROCESSING
485.02/486.55 c GARBAGE COLLECT
485.02/486.55 c #Conflicts: 408000 | #Constraints: 17005
485.02/486.55 c #Conflicts: 409000 | #Constraints: 18005
485.02/486.55 c #Conflicts: 410000 | #Constraints: 19005
485.02/486.55 c #Conflicts: 411000 | #Constraints: 20005
485.02/486.55 c #Conflicts: 412000 | #Constraints: 21005
485.02/486.55 c #Conflicts: 413000 | #Constraints: 22005
485.02/486.55 c #Conflicts: 414000 | #Constraints: 23005
485.02/486.55 c #Conflicts: 415000 | #Constraints: 24005
485.02/486.55 c #Conflicts: 416000 | #Constraints: 25005
485.02/486.55 c #Conflicts: 417000 | #Constraints: 26005
485.02/486.55 c #Conflicts: 418000 | #Constraints: 27005
485.02/486.55 c #Conflicts: 419000 | #Constraints: 28005
485.02/486.55 c #Conflicts: 420000 | #Constraints: 29005
485.02/486.55 c INPROCESSING
485.02/486.55 c GARBAGE COLLECT
485.02/486.55 c #Conflicts: 421000 | #Constraints: 17204
485.02/486.55 c #Conflicts: 422000 | #Constraints: 18204
485.02/486.55 c #Conflicts: 423000 | #Constraints: 19204
485.02/486.55 c #Conflicts: 424000 | #Constraints: 20204
485.02/486.55 c #Conflicts: 425000 | #Constraints: 21204
485.02/486.55 c #Conflicts: 426000 | #Constraints: 22204
485.02/486.55 c #Conflicts: 427000 | #Constraints: 23204
485.02/486.55 c #Conflicts: 428000 | #Constraints: 24204
485.02/486.55 c #Conflicts: 429000 | #Constraints: 25204
485.02/486.55 c #Conflicts: 430000 | #Constraints: 26204
485.02/486.55 c #Conflicts: 431000 | #Constraints: 27204
485.02/486.55 c #Conflicts: 432000 | #Constraints: 28204
485.02/486.55 c #Conflicts: 433000 | #Constraints: 29204
485.02/486.55 c INPROCESSING
485.02/486.55 c GARBAGE COLLECT
485.02/486.55 c #Conflicts: 434000 | #Constraints: 17214
485.02/486.55 c #Conflicts: 435000 | #Constraints: 18214
485.02/486.55 c #Conflicts: 436000 | #Constraints: 19214
485.02/486.55 c #Conflicts: 437000 | #Constraints: 20214
606.94/608.83 c #Conflicts: 438000 | #Constraints: 21214
606.94/608.83 c #Conflicts: 439000 | #Constraints: 22214
606.94/608.83 c #Conflicts: 440000 | #Constraints: 23214
606.94/608.83 c #Conflicts: 441000 | #Constraints: 24214
606.94/608.83 c #Conflicts: 442000 | #Constraints: 25214
606.94/608.83 c #Conflicts: 443000 | #Constraints: 26214
606.94/608.83 c #Conflicts: 444000 | #Constraints: 27214
606.94/608.83 c #Conflicts: 445000 | #Constraints: 28214
606.94/608.83 c #Conflicts: 446000 | #Constraints: 29214
606.94/608.83 c INPROCESSING
606.94/608.83 c GARBAGE COLLECT
606.94/608.83 c #Conflicts: 447000 | #Constraints: 17025
606.94/608.83 c #Conflicts: 448000 | #Constraints: 18025
606.94/608.83 c #Conflicts: 449000 | #Constraints: 19025
606.94/608.83 c #Conflicts: 450000 | #Constraints: 20025
606.94/608.83 c #Conflicts: 451000 | #Constraints: 21025
606.94/608.83 c #Conflicts: 452000 | #Constraints: 22025
606.94/608.83 c #Conflicts: 453000 | #Constraints: 23025
606.94/608.83 c #Conflicts: 454000 | #Constraints: 24025
606.94/608.83 c #Conflicts: 455000 | #Constraints: 25025
606.94/608.83 c #Conflicts: 456000 | #Constraints: 26025
606.94/608.83 c #Conflicts: 457000 | #Constraints: 27025
606.94/608.83 c #Conflicts: 458000 | #Constraints: 28025
606.94/608.83 c #Conflicts: 459000 | #Constraints: 29025
606.94/608.83 c #Conflicts: 460000 | #Constraints: 30025
606.94/608.83 c INPROCESSING
606.94/608.83 c GARBAGE COLLECT
606.94/608.83 c #Conflicts: 461000 | #Constraints: 17626
606.94/608.83 c #Conflicts: 462000 | #Constraints: 18626
606.94/608.83 c #Conflicts: 463000 | #Constraints: 19626
606.94/608.83 c #Conflicts: 464000 | #Constraints: 20626
606.94/608.83 c #Conflicts: 465000 | #Constraints: 21626
606.94/608.83 c #Conflicts: 466000 | #Constraints: 22626
606.94/608.83 c #Conflicts: 467000 | #Constraints: 23626
606.94/608.83 c #Conflicts: 468000 | #Constraints: 24626
606.94/608.83 c #Conflicts: 469000 | #Constraints: 25626
606.94/608.83 c #Conflicts: 470000 | #Constraints: 26626
606.94/608.83 c #Conflicts: 471000 | #Constraints: 27626
606.94/608.83 c #Conflicts: 472000 | #Constraints: 28626
606.94/608.83 c #Conflicts: 473000 | #Constraints: 29626
606.94/608.83 c #Conflicts: 474000 | #Constraints: 30626
606.94/608.83 c INPROCESSING
606.94/608.83 c GARBAGE COLLECT
606.94/608.83 c #Conflicts: 475000 | #Constraints: 18026
606.94/608.83 c #Conflicts: 476000 | #Constraints: 19026
606.94/608.83 c #Conflicts: 477000 | #Constraints: 20026
606.94/608.83 c #Conflicts: 478000 | #Constraints: 21026
606.94/608.83 c #Conflicts: 479000 | #Constraints: 22026
606.94/608.83 c #Conflicts: 480000 | #Constraints: 23026
606.94/608.83 c #Conflicts: 481000 | #Constraints: 24026
606.94/608.83 c #Conflicts: 482000 | #Constraints: 25026
606.94/608.83 c #Conflicts: 483000 | #Constraints: 26026
606.94/608.83 c #Conflicts: 484000 | #Constraints: 27026
606.94/608.83 c #Conflicts: 485000 | #Constraints: 28026
606.94/608.83 c #Conflicts: 486000 | #Constraints: 29026
606.94/608.83 c #Conflicts: 487000 | #Constraints: 30026
606.94/608.83 c #Conflicts: 488000 | #Constraints: 31026
606.94/608.83 c INPROCESSING
606.94/608.83 c GARBAGE COLLECT
606.94/608.83 c #Conflicts: 489000 | #Constraints: 18200
606.94/608.83 c #Conflicts: 490000 | #Constraints: 19200
606.94/608.83 c #Conflicts: 491000 | #Constraints: 20200
606.94/608.83 c #Conflicts: 492000 | #Constraints: 21200
606.94/608.83 c #Conflicts: 493000 | #Constraints: 22200
606.94/608.83 c #Conflicts: 494000 | #Constraints: 23200
606.94/608.83 c #Conflicts: 495000 | #Constraints: 24200
606.94/608.83 c #Conflicts: 496000 | #Constraints: 25200
606.94/608.83 c #Conflicts: 497000 | #Constraints: 26200
606.94/608.83 c #Conflicts: 498000 | #Constraints: 27200
606.94/608.83 c #Conflicts: 499000 | #Constraints: 28200
606.94/608.83 c #Conflicts: 500000 | #Constraints: 29200
606.94/608.83 c #Conflicts: 501000 | #Constraints: 30200
606.94/608.83 c #Conflicts: 502000 | #Constraints: 31200
606.94/608.83 c INPROCESSING
606.94/608.83 c GARBAGE COLLECT
606.94/608.83 c #Conflicts: 503000 | #Constraints: 18212
606.94/608.83 c #Conflicts: 504000 | #Constraints: 19212
606.94/608.83 c #Conflicts: 505000 | #Constraints: 20212
606.94/608.83 c #Conflicts: 506000 | #Constraints: 21212
606.94/608.83 c #Conflicts: 507000 | #Constraints: 22212
606.94/608.83 c #Conflicts: 508000 | #Constraints: 23212
606.94/608.83 c #Conflicts: 509000 | #Constraints: 24212
606.94/608.83 c #Conflicts: 510000 | #Constraints: 25212
606.94/608.83 c #Conflicts: 511000 | #Constraints: 26212
606.94/608.83 c #Conflicts: 512000 | #Constraints: 27212
606.94/608.83 c #Conflicts: 513000 | #Constraints: 28212
732.57/734.86 c #Conflicts: 514000 | #Constraints: 29212
732.57/734.86 c #Conflicts: 515000 | #Constraints: 30212
732.57/734.86 c #Conflicts: 516000 | #Constraints: 31212
732.57/734.86 c INPROCESSING
732.57/734.86 c GARBAGE COLLECT
732.57/734.86 c #Conflicts: 517000 | #Constraints: 18021
732.57/734.86 c #Conflicts: 518000 | #Constraints: 19021
732.57/734.86 c #Conflicts: 519000 | #Constraints: 20021
732.57/734.86 c #Conflicts: 520000 | #Constraints: 21021
732.57/734.86 c #Conflicts: 521000 | #Constraints: 22021
732.57/734.86 c #Conflicts: 522000 | #Constraints: 23021
732.57/734.86 c #Conflicts: 523000 | #Constraints: 24021
732.57/734.86 c #Conflicts: 524000 | #Constraints: 25021
732.57/734.86 c #Conflicts: 525000 | #Constraints: 26021
732.57/734.86 c #Conflicts: 526000 | #Constraints: 27021
732.57/734.86 c #Conflicts: 527000 | #Constraints: 28021
732.57/734.86 c #Conflicts: 528000 | #Constraints: 29021
732.57/734.86 c #Conflicts: 529000 | #Constraints: 30021
732.57/734.86 c #Conflicts: 530000 | #Constraints: 31021
732.57/734.86 c #Conflicts: 531000 | #Constraints: 32021
732.57/734.86 c INPROCESSING
732.57/734.86 c GARBAGE COLLECT
732.57/734.86 c #Conflicts: 532000 | #Constraints: 18638
732.57/734.86 c #Conflicts: 533000 | #Constraints: 19638
732.57/734.86 c #Conflicts: 534000 | #Constraints: 20638
732.57/734.86 c #Conflicts: 535000 | #Constraints: 21638
732.57/734.86 c #Conflicts: 536000 | #Constraints: 22638
732.57/734.86 c #Conflicts: 537000 | #Constraints: 23638
732.57/734.86 c #Conflicts: 538000 | #Constraints: 24638
732.57/734.86 c #Conflicts: 539000 | #Constraints: 25638
732.57/734.86 c #Conflicts: 540000 | #Constraints: 26638
732.57/734.86 c #Conflicts: 541000 | #Constraints: 27638
732.57/734.86 c #Conflicts: 542000 | #Constraints: 28638
732.57/734.86 c #Conflicts: 543000 | #Constraints: 29638
732.57/734.86 c #Conflicts: 544000 | #Constraints: 30638
732.57/734.86 c #Conflicts: 545000 | #Constraints: 31638
732.57/734.86 c #Conflicts: 546000 | #Constraints: 32638
732.57/734.86 c INPROCESSING
732.57/734.86 c GARBAGE COLLECT
732.57/734.86 c #Conflicts: 547000 | #Constraints: 19038
732.57/734.86 c #Conflicts: 548000 | #Constraints: 20038
732.57/734.86 c #Conflicts: 549000 | #Constraints: 21038
732.57/734.86 c #Conflicts: 550000 | #Constraints: 22038
732.57/734.86 c #Conflicts: 551000 | #Constraints: 23038
732.57/734.86 c #Conflicts: 552000 | #Constraints: 24038
732.57/734.86 c #Conflicts: 553000 | #Constraints: 25038
732.57/734.86 c #Conflicts: 554000 | #Constraints: 26038
732.57/734.86 c #Conflicts: 555000 | #Constraints: 27038
732.57/734.86 c #Conflicts: 556000 | #Constraints: 28038
732.57/734.86 c #Conflicts: 557000 | #Constraints: 29038
732.57/734.86 c #Conflicts: 558000 | #Constraints: 30038
732.57/734.86 c #Conflicts: 559000 | #Constraints: 31038
732.57/734.86 c #Conflicts: 560000 | #Constraints: 32038
732.57/734.86 c #Conflicts: 561000 | #Constraints: 33038
732.57/734.86 c INPROCESSING
732.57/734.86 c GARBAGE COLLECT
732.57/734.86 c #Conflicts: 562000 | #Constraints: 19217
732.57/734.86 c #Conflicts: 563000 | #Constraints: 20217
732.57/734.86 c #Conflicts: 564000 | #Constraints: 21217
732.57/734.86 c #Conflicts: 565000 | #Constraints: 22217
732.57/734.86 c #Conflicts: 566000 | #Constraints: 23217
732.57/734.86 c #Conflicts: 567000 | #Constraints: 24217
732.57/734.86 c #Conflicts: 568000 | #Constraints: 25217
732.57/734.86 c #Conflicts: 569000 | #Constraints: 26217
732.57/734.86 c #Conflicts: 570000 | #Constraints: 27217
732.57/734.86 c #Conflicts: 571000 | #Constraints: 28217
732.57/734.86 c #Conflicts: 572000 | #Constraints: 29217
732.57/734.86 c #Conflicts: 573000 | #Constraints: 30217
732.57/734.86 c #Conflicts: 574000 | #Constraints: 31217
732.57/734.86 c #Conflicts: 575000 | #Constraints: 32217
732.57/734.86 c #Conflicts: 576000 | #Constraints: 33217
732.57/734.86 c INPROCESSING
732.57/734.86 c GARBAGE COLLECT
732.57/734.86 c #Conflicts: 577000 | #Constraints: 19213
732.57/734.86 c #Conflicts: 578000 | #Constraints: 20213
732.57/734.86 c #Conflicts: 579000 | #Constraints: 21213
732.57/734.86 c #Conflicts: 580000 | #Constraints: 22213
732.57/734.86 c #Conflicts: 581000 | #Constraints: 23213
732.57/734.86 c #Conflicts: 582000 | #Constraints: 24213
732.57/734.86 c #Conflicts: 583000 | #Constraints: 25213
732.57/734.86 c #Conflicts: 584000 | #Constraints: 26213
732.57/734.86 c #Conflicts: 585000 | #Constraints: 27213
732.57/734.86 c #Conflicts: 586000 | #Constraints: 28213
732.57/734.86 c #Conflicts: 587000 | #Constraints: 29213
732.57/734.86 c #Conflicts: 588000 | #Constraints: 30213
846.44/849.07 c #Conflicts: 589000 | #Constraints: 31213
846.44/849.07 c #Conflicts: 590000 | #Constraints: 32213
846.44/849.07 c #Conflicts: 591000 | #Constraints: 33213
846.44/849.07 c INPROCESSING
846.44/849.07 c GARBAGE COLLECT
846.44/849.07 c #Conflicts: 592000 | #Constraints: 19013
846.44/849.07 c #Conflicts: 593000 | #Constraints: 20013
846.44/849.07 c #Conflicts: 594000 | #Constraints: 21013
846.44/849.07 c #Conflicts: 595000 | #Constraints: 22013
846.44/849.07 c #Conflicts: 596000 | #Constraints: 23013
846.44/849.07 c #Conflicts: 597000 | #Constraints: 24013
846.44/849.07 c #Conflicts: 598000 | #Constraints: 25013
846.44/849.07 c #Conflicts: 599000 | #Constraints: 26013
846.44/849.07 c #Conflicts: 600000 | #Constraints: 27013
846.44/849.07 c #Conflicts: 601000 | #Constraints: 28013
846.44/849.07 c #Conflicts: 602000 | #Constraints: 29013
846.44/849.07 c #Conflicts: 603000 | #Constraints: 30013
846.44/849.07 c #Conflicts: 604000 | #Constraints: 31013
846.44/849.07 c #Conflicts: 605000 | #Constraints: 32013
846.44/849.07 c #Conflicts: 606000 | #Constraints: 33013
846.44/849.07 c #Conflicts: 607000 | #Constraints: 34013
846.44/849.07 c INPROCESSING
846.44/849.07 c GARBAGE COLLECT
846.44/849.07 c #Conflicts: 608000 | #Constraints: 19611
846.44/849.07 c #Conflicts: 609000 | #Constraints: 20611
846.44/849.07 c #Conflicts: 610000 | #Constraints: 21611
846.44/849.07 c #Conflicts: 611000 | #Constraints: 22611
846.44/849.07 c #Conflicts: 612000 | #Constraints: 23611
846.44/849.07 c #Conflicts: 613000 | #Constraints: 24611
846.44/849.07 c #Conflicts: 614000 | #Constraints: 25611
846.44/849.07 c #Conflicts: 615000 | #Constraints: 26611
846.44/849.07 c #Conflicts: 616000 | #Constraints: 27611
846.44/849.07 c #Conflicts: 617000 | #Constraints: 28611
846.44/849.07 c #Conflicts: 618000 | #Constraints: 29611
846.44/849.07 c #Conflicts: 619000 | #Constraints: 30611
846.44/849.07 c #Conflicts: 620000 | #Constraints: 31611
846.44/849.07 c #Conflicts: 621000 | #Constraints: 32611
846.44/849.07 c #Conflicts: 622000 | #Constraints: 33611
846.44/849.07 c #Conflicts: 623000 | #Constraints: 34611
846.44/849.07 c INPROCESSING
846.44/849.07 c GARBAGE COLLECT
846.44/849.07 c #Conflicts: 624000 | #Constraints: 20023
846.44/849.07 c #Conflicts: 625000 | #Constraints: 21023
846.44/849.07 c #Conflicts: 626000 | #Constraints: 22023
846.44/849.07 c #Conflicts: 627000 | #Constraints: 23023
846.44/849.07 c #Conflicts: 628000 | #Constraints: 24023
846.44/849.07 c #Conflicts: 629000 | #Constraints: 25023
846.44/849.07 c #Conflicts: 630000 | #Constraints: 26023
846.44/849.07 c #Conflicts: 631000 | #Constraints: 27023
846.44/849.07 c #Conflicts: 632000 | #Constraints: 28023
846.44/849.07 c #Conflicts: 633000 | #Constraints: 29023
846.44/849.07 c #Conflicts: 634000 | #Constraints: 30023
846.44/849.07 c #Conflicts: 635000 | #Constraints: 31023
846.44/849.07 c #Conflicts: 636000 | #Constraints: 32023
846.44/849.07 c #Conflicts: 637000 | #Constraints: 33023
846.44/849.07 c #Conflicts: 638000 | #Constraints: 34023
846.44/849.07 c #Conflicts: 639000 | #Constraints: 35023
846.44/849.07 c INPROCESSING
846.44/849.07 c GARBAGE COLLECT
846.44/849.07 c #Conflicts: 640000 | #Constraints: 20198
846.44/849.07 c #Conflicts: 641000 | #Constraints: 21198
846.44/849.07 c #Conflicts: 642000 | #Constraints: 22198
846.44/849.07 c #Conflicts: 643000 | #Constraints: 23198
846.44/849.07 c #Conflicts: 644000 | #Constraints: 24198
846.44/849.07 c #Conflicts: 645000 | #Constraints: 25198
846.44/849.07 c #Conflicts: 646000 | #Constraints: 26198
846.44/849.07 c #Conflicts: 647000 | #Constraints: 27198
846.44/849.07 c #Conflicts: 648000 | #Constraints: 28198
846.44/849.07 c #Conflicts: 649000 | #Constraints: 29198
846.44/849.07 c #Conflicts: 650000 | #Constraints: 30198
846.44/849.07 c #Conflicts: 651000 | #Constraints: 31198
846.44/849.07 c #Conflicts: 652000 | #Constraints: 32198
846.44/849.07 c #Conflicts: 653000 | #Constraints: 33198
846.44/849.07 c #Conflicts: 654000 | #Constraints: 34198
846.44/849.07 c #Conflicts: 655000 | #Constraints: 35198
846.44/849.07 c INPROCESSING
846.44/849.07 c GARBAGE COLLECT
846.44/849.07 c #Conflicts: 656000 | #Constraints: 20208
846.44/849.07 c #Conflicts: 657000 | #Constraints: 21208
846.44/849.07 c #Conflicts: 658000 | #Constraints: 22208
846.44/849.07 c #Conflicts: 659000 | #Constraints: 23208
846.44/849.07 c #Conflicts: 660000 | #Constraints: 24208
846.44/849.07 c #Conflicts: 661000 | #Constraints: 25208
846.44/849.07 c #Conflicts: 662000 | #Constraints: 26208
846.44/849.07 c #Conflicts: 663000 | #Constraints: 27208
846.44/849.07 c #Conflicts: 664000 | #Constraints: 28208
962.19/965.17 c #Conflicts: 665000 | #Constraints: 29208
962.19/965.17 c #Conflicts: 666000 | #Constraints: 30208
962.19/965.17 c #Conflicts: 667000 | #Constraints: 31208
962.19/965.17 c #Conflicts: 668000 | #Constraints: 32208
962.19/965.17 c #Conflicts: 669000 | #Constraints: 33208
962.19/965.17 c #Conflicts: 670000 | #Constraints: 34208
962.19/965.17 c #Conflicts: 671000 | #Constraints: 35208
962.19/965.17 c INPROCESSING
962.19/965.17 c GARBAGE COLLECT
962.19/965.17 c #Conflicts: 672000 | #Constraints: 20003
962.19/965.17 c #Conflicts: 673000 | #Constraints: 21003
962.19/965.17 c #Conflicts: 674000 | #Constraints: 22003
962.19/965.17 c #Conflicts: 675000 | #Constraints: 23003
962.19/965.17 c #Conflicts: 676000 | #Constraints: 24003
962.19/965.17 c #Conflicts: 677000 | #Constraints: 25003
962.19/965.17 c #Conflicts: 678000 | #Constraints: 26003
962.19/965.17 c #Conflicts: 679000 | #Constraints: 27003
962.19/965.17 c #Conflicts: 680000 | #Constraints: 28003
962.19/965.17 c #Conflicts: 681000 | #Constraints: 29003
962.19/965.17 c #Conflicts: 682000 | #Constraints: 30003
962.19/965.17 c #Conflicts: 683000 | #Constraints: 31003
962.19/965.17 c #Conflicts: 684000 | #Constraints: 32003
962.19/965.17 c #Conflicts: 685000 | #Constraints: 33003
962.19/965.17 c #Conflicts: 686000 | #Constraints: 34003
962.19/965.17 c #Conflicts: 687000 | #Constraints: 35003
962.19/965.17 c #Conflicts: 688000 | #Constraints: 36003
962.19/965.17 c INPROCESSING
962.19/965.17 c GARBAGE COLLECT
962.19/965.17 c #Conflicts: 689000 | #Constraints: 20607
962.19/965.17 c #Conflicts: 690000 | #Constraints: 21607
962.19/965.17 c #Conflicts: 691000 | #Constraints: 22607
962.19/965.17 c #Conflicts: 692000 | #Constraints: 23607
962.19/965.17 c #Conflicts: 693000 | #Constraints: 24607
962.19/965.17 c #Conflicts: 694000 | #Constraints: 25607
962.19/965.17 c #Conflicts: 695000 | #Constraints: 26607
962.19/965.17 c #Conflicts: 696000 | #Constraints: 27607
962.19/965.17 c #Conflicts: 697000 | #Constraints: 28607
962.19/965.17 c #Conflicts: 698000 | #Constraints: 29607
962.19/965.17 c #Conflicts: 699000 | #Constraints: 30607
962.19/965.17 c #Conflicts: 700000 | #Constraints: 31607
962.19/965.17 c #Conflicts: 701000 | #Constraints: 32607
962.19/965.17 c #Conflicts: 702000 | #Constraints: 33607
962.19/965.17 c #Conflicts: 703000 | #Constraints: 34607
962.19/965.17 c #Conflicts: 704000 | #Constraints: 35607
962.19/965.17 c #Conflicts: 705000 | #Constraints: 36607
962.19/965.17 c INPROCESSING
962.19/965.17 c GARBAGE COLLECT
962.19/965.17 c #Conflicts: 706000 | #Constraints: 21007
962.19/965.17 c #Conflicts: 707000 | #Constraints: 22007
962.19/965.17 c #Conflicts: 708000 | #Constraints: 23007
962.19/965.17 c #Conflicts: 709000 | #Constraints: 24007
962.19/965.17 c #Conflicts: 710000 | #Constraints: 25007
962.19/965.17 c #Conflicts: 711000 | #Constraints: 26007
962.19/965.17 c #Conflicts: 712000 | #Constraints: 27007
962.19/965.17 c #Conflicts: 713000 | #Constraints: 28007
962.19/965.17 c #Conflicts: 714000 | #Constraints: 29007
962.19/965.17 c #Conflicts: 715000 | #Constraints: 30007
962.19/965.17 c #Conflicts: 716000 | #Constraints: 31007
962.19/965.17 c #Conflicts: 717000 | #Constraints: 32007
962.19/965.17 c #Conflicts: 718000 | #Constraints: 33007
962.19/965.17 c #Conflicts: 719000 | #Constraints: 34007
962.19/965.17 c #Conflicts: 720000 | #Constraints: 35007
962.19/965.17 c #Conflicts: 721000 | #Constraints: 36007
962.19/965.17 c #Conflicts: 722000 | #Constraints: 37007
962.19/965.17 c INPROCESSING
962.19/965.17 c GARBAGE COLLECT
962.19/965.17 c #Conflicts: 723000 | #Constraints: 21213
962.19/965.17 c #Conflicts: 724000 | #Constraints: 22213
962.19/965.17 c #Conflicts: 725000 | #Constraints: 23213
962.19/965.17 c #Conflicts: 726000 | #Constraints: 24213
962.19/965.17 c #Conflicts: 727000 | #Constraints: 25213
962.19/965.17 c #Conflicts: 728000 | #Constraints: 26213
962.19/965.17 c #Conflicts: 729000 | #Constraints: 27213
962.19/965.17 c #Conflicts: 730000 | #Constraints: 28213
962.19/965.17 c #Conflicts: 731000 | #Constraints: 29213
962.19/965.17 c #Conflicts: 732000 | #Constraints: 30213
962.19/965.17 c #Conflicts: 733000 | #Constraints: 31213
962.19/965.17 c #Conflicts: 734000 | #Constraints: 32213
962.19/965.17 c #Conflicts: 735000 | #Constraints: 33213
962.19/965.17 c #Conflicts: 736000 | #Constraints: 34213
962.19/965.17 c #Conflicts: 737000 | #Constraints: 35213
962.19/965.17 c #Conflicts: 738000 | #Constraints: 36213
962.19/965.17 c #Conflicts: 739000 | #Constraints: 37213
962.19/965.17 c INPROCESSING
962.19/965.17 c GARBAGE COLLECT
1086.30/1089.69 c #Conflicts: 740000 | #Constraints: 21213
1086.30/1089.69 c #Conflicts: 741000 | #Constraints: 22213
1086.30/1089.69 c #Conflicts: 742000 | #Constraints: 23213
1086.30/1089.69 c #Conflicts: 743000 | #Constraints: 24213
1086.30/1089.69 c #Conflicts: 744000 | #Constraints: 25213
1086.30/1089.69 c #Conflicts: 745000 | #Constraints: 26213
1086.30/1089.69 c #Conflicts: 746000 | #Constraints: 27213
1086.30/1089.69 c #Conflicts: 747000 | #Constraints: 28213
1086.30/1089.69 c #Conflicts: 748000 | #Constraints: 29213
1086.30/1089.69 c #Conflicts: 749000 | #Constraints: 30213
1086.30/1089.69 c #Conflicts: 750000 | #Constraints: 31213
1086.30/1089.69 c #Conflicts: 751000 | #Constraints: 32213
1086.30/1089.69 c #Conflicts: 752000 | #Constraints: 33213
1086.30/1089.69 c #Conflicts: 753000 | #Constraints: 34213
1086.30/1089.69 c #Conflicts: 754000 | #Constraints: 35213
1086.30/1089.69 c #Conflicts: 755000 | #Constraints: 36213
1086.30/1089.69 c #Conflicts: 756000 | #Constraints: 37213
1086.30/1089.69 c INPROCESSING
1086.30/1089.69 c GARBAGE COLLECT
1086.30/1089.69 c #Conflicts: 757000 | #Constraints: 21014
1086.30/1089.69 c #Conflicts: 758000 | #Constraints: 22014
1086.30/1089.69 c #Conflicts: 759000 | #Constraints: 23014
1086.30/1089.69 c #Conflicts: 760000 | #Constraints: 24014
1086.30/1089.69 c #Conflicts: 761000 | #Constraints: 25014
1086.30/1089.69 c #Conflicts: 762000 | #Constraints: 26014
1086.30/1089.69 c #Conflicts: 763000 | #Constraints: 27014
1086.30/1089.69 c #Conflicts: 764000 | #Constraints: 28014
1086.30/1089.69 c #Conflicts: 765000 | #Constraints: 29014
1086.30/1089.69 c #Conflicts: 766000 | #Constraints: 30014
1086.30/1089.69 c #Conflicts: 767000 | #Constraints: 31014
1086.30/1089.69 c #Conflicts: 768000 | #Constraints: 32014
1086.30/1089.69 c #Conflicts: 769000 | #Constraints: 33014
1086.30/1089.69 c #Conflicts: 770000 | #Constraints: 34014
1086.30/1089.69 c #Conflicts: 771000 | #Constraints: 35014
1086.30/1089.69 c #Conflicts: 772000 | #Constraints: 36014
1086.30/1089.69 c #Conflicts: 773000 | #Constraints: 37014
1086.30/1089.69 c #Conflicts: 774000 | #Constraints: 38014
1086.30/1089.69 c INPROCESSING
1086.30/1089.69 c GARBAGE COLLECT
1086.30/1089.69 c #Conflicts: 775000 | #Constraints: 21618
1086.30/1089.69 c #Conflicts: 776000 | #Constraints: 22618
1086.30/1089.69 c #Conflicts: 777000 | #Constraints: 23618
1086.30/1089.69 c #Conflicts: 778000 | #Constraints: 24618
1086.30/1089.69 c #Conflicts: 779000 | #Constraints: 25618
1086.30/1089.69 c #Conflicts: 780000 | #Constraints: 26618
1086.30/1089.69 c #Conflicts: 781000 | #Constraints: 27618
1086.30/1089.69 c #Conflicts: 782000 | #Constraints: 28618
1086.30/1089.69 c #Conflicts: 783000 | #Constraints: 29618
1086.30/1089.69 c #Conflicts: 784000 | #Constraints: 30618
1086.30/1089.69 c #Conflicts: 785000 | #Constraints: 31618
1086.30/1089.69 c #Conflicts: 786000 | #Constraints: 32618
1086.30/1089.69 c #Conflicts: 787000 | #Constraints: 33618
1086.30/1089.69 c #Conflicts: 788000 | #Constraints: 34618
1086.30/1089.69 c #Conflicts: 789000 | #Constraints: 35618
1086.30/1089.69 c #Conflicts: 790000 | #Constraints: 36618
1086.30/1089.69 c #Conflicts: 791000 | #Constraints: 37618
1086.30/1089.69 c #Conflicts: 792000 | #Constraints: 38618
1086.30/1089.69 c INPROCESSING
1086.30/1089.69 c GARBAGE COLLECT
1086.30/1089.69 c #Conflicts: 793000 | #Constraints: 22013
1086.30/1089.69 c #Conflicts: 794000 | #Constraints: 23013
1086.30/1089.69 c #Conflicts: 795000 | #Constraints: 24013
1086.30/1089.69 c #Conflicts: 796000 | #Constraints: 25013
1086.30/1089.69 c #Conflicts: 797000 | #Constraints: 26013
1086.30/1089.69 c #Conflicts: 798000 | #Constraints: 27013
1086.30/1089.69 c #Conflicts: 799000 | #Constraints: 28013
1086.30/1089.69 c #Conflicts: 800000 | #Constraints: 29013
1086.30/1089.69 c #Conflicts: 801000 | #Constraints: 30013
1086.30/1089.69 c #Conflicts: 802000 | #Constraints: 31013
1086.30/1089.69 c #Conflicts: 803000 | #Constraints: 32013
1086.30/1089.69 c #Conflicts: 804000 | #Constraints: 33013
1086.30/1089.69 c #Conflicts: 805000 | #Constraints: 34013
1086.30/1089.69 c #Conflicts: 806000 | #Constraints: 35013
1086.30/1089.69 c #Conflicts: 807000 | #Constraints: 36013
1086.30/1089.69 c #Conflicts: 808000 | #Constraints: 37013
1086.30/1089.69 c #Conflicts: 809000 | #Constraints: 38013
1086.30/1089.69 c #Conflicts: 810000 | #Constraints: 39013
1086.30/1089.69 c INPROCESSING
1086.30/1089.69 c GARBAGE COLLECT
1086.30/1089.69 c #Conflicts: 811000 | #Constraints: 22222
1086.30/1089.69 c #Conflicts: 812000 | #Constraints: 23222
1086.30/1089.69 c #Conflicts: 813000 | #Constraints: 24222
1086.30/1089.69 c #Conflicts: 814000 | #Constraints: 25222
1086.30/1089.69 c #Conflicts: 815000 | #Constraints: 26222
1086.30/1089.69 c #Conflicts: 816000 | #Constraints: 27222
1218.84/1222.76 c #Conflicts: 817000 | #Constraints: 28222
1218.84/1222.76 c #Conflicts: 818000 | #Constraints: 29222
1218.84/1222.76 c #Conflicts: 819000 | #Constraints: 30222
1218.84/1222.76 c #Conflicts: 820000 | #Constraints: 31222
1218.84/1222.76 c #Conflicts: 821000 | #Constraints: 32222
1218.84/1222.76 c #Conflicts: 822000 | #Constraints: 33222
1218.84/1222.76 c #Conflicts: 823000 | #Constraints: 34222
1218.84/1222.76 c #Conflicts: 824000 | #Constraints: 35222
1218.84/1222.76 c #Conflicts: 825000 | #Constraints: 36222
1218.84/1222.76 c #Conflicts: 826000 | #Constraints: 37222
1218.84/1222.76 c #Conflicts: 827000 | #Constraints: 38222
1218.84/1222.76 c #Conflicts: 828000 | #Constraints: 39222
1218.84/1222.76 c INPROCESSING
1218.84/1222.76 c GARBAGE COLLECT
1218.84/1222.76 c #Conflicts: 829000 | #Constraints: 22235
1218.84/1222.76 c #Conflicts: 830000 | #Constraints: 23235
1218.84/1222.76 c #Conflicts: 831000 | #Constraints: 24235
1218.84/1222.76 c #Conflicts: 832000 | #Constraints: 25235
1218.84/1222.76 c #Conflicts: 833000 | #Constraints: 26235
1218.84/1222.76 c #Conflicts: 834000 | #Constraints: 27235
1218.84/1222.76 c #Conflicts: 835000 | #Constraints: 28235
1218.84/1222.76 c #Conflicts: 836000 | #Constraints: 29235
1218.84/1222.76 c #Conflicts: 837000 | #Constraints: 30235
1218.84/1222.76 c #Conflicts: 838000 | #Constraints: 31235
1218.84/1222.76 c #Conflicts: 839000 | #Constraints: 32235
1218.84/1222.76 c #Conflicts: 840000 | #Constraints: 33235
1218.84/1222.76 c #Conflicts: 841000 | #Constraints: 34235
1218.84/1222.76 c #Conflicts: 842000 | #Constraints: 35235
1218.84/1222.76 c #Conflicts: 843000 | #Constraints: 36235
1218.84/1222.76 c #Conflicts: 844000 | #Constraints: 37235
1218.84/1222.76 c #Conflicts: 845000 | #Constraints: 38235
1218.84/1222.76 c #Conflicts: 846000 | #Constraints: 39235
1218.84/1222.76 c INPROCESSING
1218.84/1222.76 c GARBAGE COLLECT
1218.84/1222.76 c #Conflicts: 847000 | #Constraints: 22034
1218.84/1222.76 c #Conflicts: 848000 | #Constraints: 23034
1218.84/1222.76 c #Conflicts: 849000 | #Constraints: 24034
1218.84/1222.76 c #Conflicts: 850000 | #Constraints: 25034
1218.84/1222.76 c #Conflicts: 851000 | #Constraints: 26034
1218.84/1222.76 c #Conflicts: 852000 | #Constraints: 27034
1218.84/1222.76 c #Conflicts: 853000 | #Constraints: 28034
1218.84/1222.76 c #Conflicts: 854000 | #Constraints: 29034
1218.84/1222.76 c #Conflicts: 855000 | #Constraints: 30034
1218.84/1222.76 c #Conflicts: 856000 | #Constraints: 31034
1218.84/1222.76 c #Conflicts: 857000 | #Constraints: 32034
1218.84/1222.76 c #Conflicts: 858000 | #Constraints: 33034
1218.84/1222.76 c #Conflicts: 859000 | #Constraints: 34034
1218.84/1222.76 c #Conflicts: 860000 | #Constraints: 35034
1218.84/1222.76 c #Conflicts: 861000 | #Constraints: 36034
1218.84/1222.76 c #Conflicts: 862000 | #Constraints: 37034
1218.84/1222.76 c #Conflicts: 863000 | #Constraints: 38034
1218.84/1222.76 c #Conflicts: 864000 | #Constraints: 39034
1218.84/1222.76 c #Conflicts: 865000 | #Constraints: 40034
1218.84/1222.76 c INPROCESSING
1218.84/1222.76 c GARBAGE COLLECT
1218.84/1222.76 c #Conflicts: 866000 | #Constraints: 22627
1218.84/1222.76 c #Conflicts: 867000 | #Constraints: 23627
1218.84/1222.76 c #Conflicts: 868000 | #Constraints: 24627
1218.84/1222.76 c #Conflicts: 869000 | #Constraints: 25627
1218.84/1222.76 c #Conflicts: 870000 | #Constraints: 26627
1218.84/1222.76 c #Conflicts: 871000 | #Constraints: 27627
1218.84/1222.76 c #Conflicts: 872000 | #Constraints: 28627
1218.84/1222.76 c #Conflicts: 873000 | #Constraints: 29627
1218.84/1222.76 c #Conflicts: 874000 | #Constraints: 30627
1218.84/1222.76 c #Conflicts: 875000 | #Constraints: 31627
1218.84/1222.76 c #Conflicts: 876000 | #Constraints: 32627
1218.84/1222.76 c #Conflicts: 877000 | #Constraints: 33627
1218.84/1222.76 c #Conflicts: 878000 | #Constraints: 34627
1218.84/1222.76 c #Conflicts: 879000 | #Constraints: 35627
1218.84/1222.76 c #Conflicts: 880000 | #Constraints: 36627
1218.84/1222.76 c #Conflicts: 881000 | #Constraints: 37627
1218.84/1222.76 c #Conflicts: 882000 | #Constraints: 38627
1218.84/1222.76 c #Conflicts: 883000 | #Constraints: 39627
1218.84/1222.76 c #Conflicts: 884000 | #Constraints: 40627
1218.84/1222.76 c INPROCESSING
1218.84/1222.76 c GARBAGE COLLECT
1218.84/1222.76 c #Conflicts: 885000 | #Constraints: 23023
1218.84/1222.76 c #Conflicts: 886000 | #Constraints: 24023
1218.84/1222.76 c #Conflicts: 887000 | #Constraints: 25023
1218.84/1222.76 c #Conflicts: 888000 | #Constraints: 26023
1218.84/1222.76 c #Conflicts: 889000 | #Constraints: 27023
1218.84/1222.76 c #Conflicts: 890000 | #Constraints: 28023
1218.84/1222.76 c #Conflicts: 891000 | #Constraints: 29023
1218.84/1222.76 c #Conflicts: 892000 | #Constraints: 30023
1384.56/1389.03 c #Conflicts: 893000 | #Constraints: 31023
1384.56/1389.03 c #Conflicts: 894000 | #Constraints: 32023
1384.56/1389.03 c #Conflicts: 895000 | #Constraints: 33023
1384.56/1389.03 c #Conflicts: 896000 | #Constraints: 34023
1384.56/1389.03 c #Conflicts: 897000 | #Constraints: 35023
1384.56/1389.03 c #Conflicts: 898000 | #Constraints: 36023
1384.56/1389.03 c #Conflicts: 899000 | #Constraints: 37023
1384.56/1389.03 c #Conflicts: 900000 | #Constraints: 38023
1384.56/1389.03 c #Conflicts: 901000 | #Constraints: 39023
1384.56/1389.03 c #Conflicts: 902000 | #Constraints: 40023
1384.56/1389.03 c #Conflicts: 903000 | #Constraints: 41023
1384.56/1389.03 c INPROCESSING
1384.56/1389.03 c GARBAGE COLLECT
1384.56/1389.03 c #Conflicts: 904000 | #Constraints: 23215
1384.56/1389.03 c #Conflicts: 905000 | #Constraints: 24215
1384.56/1389.03 c #Conflicts: 906000 | #Constraints: 25215
1384.56/1389.03 c #Conflicts: 907000 | #Constraints: 26215
1384.56/1389.03 c #Conflicts: 908000 | #Constraints: 27215
1384.56/1389.03 c #Conflicts: 909000 | #Constraints: 28215
1384.56/1389.03 c #Conflicts: 910000 | #Constraints: 29215
1384.56/1389.03 c #Conflicts: 911000 | #Constraints: 30215
1384.56/1389.03 c #Conflicts: 912000 | #Constraints: 31215
1384.56/1389.03 c #Conflicts: 913000 | #Constraints: 32215
1384.56/1389.03 c #Conflicts: 914000 | #Constraints: 33215
1384.56/1389.03 c #Conflicts: 915000 | #Constraints: 34215
1384.56/1389.03 c #Conflicts: 916000 | #Constraints: 35215
1384.56/1389.03 c #Conflicts: 917000 | #Constraints: 36215
1384.56/1389.03 c #Conflicts: 918000 | #Constraints: 37215
1384.56/1389.03 c #Conflicts: 919000 | #Constraints: 38215
1384.56/1389.03 c #Conflicts: 920000 | #Constraints: 39215
1384.56/1389.03 c #Conflicts: 921000 | #Constraints: 40215
1384.56/1389.03 c #Conflicts: 922000 | #Constraints: 41215
1384.56/1389.03 c INPROCESSING
1384.56/1389.03 c GARBAGE COLLECT
1384.56/1389.03 c #Conflicts: 923000 | #Constraints: 23231
1384.56/1389.03 c #Conflicts: 924000 | #Constraints: 24231
1384.56/1389.03 c #Conflicts: 925000 | #Constraints: 25231
1384.56/1389.03 c #Conflicts: 926000 | #Constraints: 26231
1384.56/1389.03 c #Conflicts: 927000 | #Constraints: 27231
1384.56/1389.03 c #Conflicts: 928000 | #Constraints: 28231
1384.56/1389.03 c #Conflicts: 929000 | #Constraints: 29231
1384.56/1389.03 c #Conflicts: 930000 | #Constraints: 30231
1384.56/1389.03 c #Conflicts: 931000 | #Constraints: 31231
1384.56/1389.03 c #Conflicts: 932000 | #Constraints: 32231
1384.56/1389.03 c #Conflicts: 933000 | #Constraints: 33231
1384.56/1389.03 c #Conflicts: 934000 | #Constraints: 34231
1384.56/1389.03 c #Conflicts: 935000 | #Constraints: 35231
1384.56/1389.03 c #Conflicts: 936000 | #Constraints: 36231
1384.56/1389.03 c #Conflicts: 937000 | #Constraints: 37231
1384.56/1389.03 c #Conflicts: 938000 | #Constraints: 38231
1384.56/1389.03 c #Conflicts: 939000 | #Constraints: 39231
1384.56/1389.03 c #Conflicts: 940000 | #Constraints: 40231
1384.56/1389.03 c #Conflicts: 941000 | #Constraints: 41231
1384.56/1389.03 c INPROCESSING
1384.56/1389.03 c GARBAGE COLLECT
1384.56/1389.03 c #Conflicts: 942000 | #Constraints: 23053
1384.56/1389.03 c #Conflicts: 943000 | #Constraints: 24053
1384.56/1389.03 c #Conflicts: 944000 | #Constraints: 25053
1384.56/1389.03 c #Conflicts: 945000 | #Constraints: 26053
1384.56/1389.03 c #Conflicts: 946000 | #Constraints: 27053
1384.56/1389.03 c #Conflicts: 947000 | #Constraints: 28053
1384.56/1389.03 c #Conflicts: 948000 | #Constraints: 29053
1384.56/1389.03 c #Conflicts: 949000 | #Constraints: 30053
1384.56/1389.03 c #Conflicts: 950000 | #Constraints: 31053
1384.56/1389.03 c #Conflicts: 951000 | #Constraints: 32053
1384.56/1389.03 c #Conflicts: 952000 | #Constraints: 33053
1384.56/1389.03 c #Conflicts: 953000 | #Constraints: 34053
1384.56/1389.03 c #Conflicts: 954000 | #Constraints: 35053
1384.56/1389.03 c #Conflicts: 955000 | #Constraints: 36053
1384.56/1389.03 c #Conflicts: 956000 | #Constraints: 37053
1384.56/1389.03 c #Conflicts: 957000 | #Constraints: 38053
1384.56/1389.03 c #Conflicts: 958000 | #Constraints: 39053
1384.56/1389.03 c #Conflicts: 959000 | #Constraints: 40053
1384.56/1389.03 c #Conflicts: 960000 | #Constraints: 41053
1384.56/1389.03 c #Conflicts: 961000 | #Constraints: 42053
1384.56/1389.03 c INPROCESSING
1384.56/1389.03 c GARBAGE COLLECT
1384.56/1389.03 c #Conflicts: 962000 | #Constraints: 23635
1384.56/1389.03 c #Conflicts: 963000 | #Constraints: 24635
1384.56/1389.03 c #Conflicts: 964000 | #Constraints: 25635
1384.56/1389.03 c #Conflicts: 965000 | #Constraints: 26635
1384.56/1389.03 c #Conflicts: 966000 | #Constraints: 27635
1384.56/1389.03 c #Conflicts: 967000 | #Constraints: 28635
1384.56/1389.03 c #Conflicts: 968000 | #Constraints: 29635
1562.19/1567.11 c #Conflicts: 969000 | #Constraints: 30635
1562.19/1567.11 c #Conflicts: 970000 | #Constraints: 31635
1562.19/1567.11 c #Conflicts: 971000 | #Constraints: 32635
1562.19/1567.11 c #Conflicts: 972000 | #Constraints: 33635
1562.19/1567.11 c #Conflicts: 973000 | #Constraints: 34635
1562.19/1567.11 c #Conflicts: 974000 | #Constraints: 35635
1562.19/1567.11 c #Conflicts: 975000 | #Constraints: 36635
1562.19/1567.11 c #Conflicts: 976000 | #Constraints: 37635
1562.19/1567.11 c #Conflicts: 977000 | #Constraints: 38635
1562.19/1567.11 c #Conflicts: 978000 | #Constraints: 39635
1562.19/1567.11 c #Conflicts: 979000 | #Constraints: 40635
1562.19/1567.11 c #Conflicts: 980000 | #Constraints: 41635
1562.19/1567.11 c #Conflicts: 981000 | #Constraints: 42635
1562.19/1567.11 c INPROCESSING
1562.19/1567.11 c GARBAGE COLLECT
1562.19/1567.11 c #Conflicts: 982000 | #Constraints: 24040
1562.19/1567.11 c #Conflicts: 983000 | #Constraints: 25040
1562.19/1567.11 c #Conflicts: 984000 | #Constraints: 26040
1562.19/1567.11 c #Conflicts: 985000 | #Constraints: 27040
1562.19/1567.11 c #Conflicts: 986000 | #Constraints: 28040
1562.19/1567.11 c #Conflicts: 987000 | #Constraints: 29040
1562.19/1567.11 c #Conflicts: 988000 | #Constraints: 30040
1562.19/1567.11 c #Conflicts: 989000 | #Constraints: 31040
1562.19/1567.11 c #Conflicts: 990000 | #Constraints: 32040
1562.19/1567.11 c #Conflicts: 991000 | #Constraints: 33040
1562.19/1567.11 c #Conflicts: 992000 | #Constraints: 34040
1562.19/1567.11 c #Conflicts: 993000 | #Constraints: 35040
1562.19/1567.11 c #Conflicts: 994000 | #Constraints: 36040
1562.19/1567.11 c #Conflicts: 995000 | #Constraints: 37040
1562.19/1567.11 c #Conflicts: 996000 | #Constraints: 38040
1562.19/1567.11 c #Conflicts: 997000 | #Constraints: 39040
1562.19/1567.11 c #Conflicts: 998000 | #Constraints: 40040
1562.19/1567.11 c #Conflicts: 999000 | #Constraints: 41040
1562.19/1567.11 c #Conflicts: 1000000 | #Constraints: 42040
1562.19/1567.11 c #Conflicts: 1001000 | #Constraints: 43040
1562.19/1567.11 c INPROCESSING
1562.19/1567.11 c GARBAGE COLLECT
1562.19/1567.11 c #Conflicts: 1002000 | #Constraints: 24261
1562.19/1567.11 c #Conflicts: 1003000 | #Constraints: 25261
1562.19/1567.11 c #Conflicts: 1004000 | #Constraints: 26261
1562.19/1567.11 c #Conflicts: 1005000 | #Constraints: 27261
1562.19/1567.11 c #Conflicts: 1006000 | #Constraints: 28261
1562.19/1567.11 c #Conflicts: 1007000 | #Constraints: 29261
1562.19/1567.11 c #Conflicts: 1008000 | #Constraints: 30261
1562.19/1567.11 c #Conflicts: 1009000 | #Constraints: 31261
1562.19/1567.11 c #Conflicts: 1010000 | #Constraints: 32261
1562.19/1567.11 c #Conflicts: 1011000 | #Constraints: 33261
1562.19/1567.11 c #Conflicts: 1012000 | #Constraints: 34261
1562.19/1567.11 c #Conflicts: 1013000 | #Constraints: 35261
1562.19/1567.11 c #Conflicts: 1014000 | #Constraints: 36261
1562.19/1567.11 c #Conflicts: 1015000 | #Constraints: 37261
1562.19/1567.11 c #Conflicts: 1016000 | #Constraints: 38261
1562.19/1567.11 c #Conflicts: 1017000 | #Constraints: 39261
1562.19/1567.11 c #Conflicts: 1018000 | #Constraints: 40261
1562.19/1567.11 c #Conflicts: 1019000 | #Constraints: 41261
1562.19/1567.11 c #Conflicts: 1020000 | #Constraints: 42261
1562.19/1567.11 c #Conflicts: 1021000 | #Constraints: 43261
1562.19/1567.11 c INPROCESSING
1562.19/1567.11 c GARBAGE COLLECT
1562.19/1567.11 c #Conflicts: 1022000 | #Constraints: 24272
1562.19/1567.11 c #Conflicts: 1023000 | #Constraints: 25272
1562.19/1567.11 c #Conflicts: 1024000 | #Constraints: 26272
1562.19/1567.11 c #Conflicts: 1025000 | #Constraints: 27272
1562.19/1567.11 c #Conflicts: 1026000 | #Constraints: 28272
1562.19/1567.11 c #Conflicts: 1027000 | #Constraints: 29272
1562.19/1567.11 c #Conflicts: 1028000 | #Constraints: 30272
1562.19/1567.11 c #Conflicts: 1029000 | #Constraints: 31272
1562.19/1567.11 c #Conflicts: 1030000 | #Constraints: 32272
1562.19/1567.11 c #Conflicts: 1031000 | #Constraints: 33272
1562.19/1567.11 c #Conflicts: 1032000 | #Constraints: 34272
1562.19/1567.11 c #Conflicts: 1033000 | #Constraints: 35272
1562.19/1567.11 c #Conflicts: 1034000 | #Constraints: 36272
1562.19/1567.11 c #Conflicts: 1035000 | #Constraints: 37272
1562.19/1567.11 c #Conflicts: 1036000 | #Constraints: 38272
1562.19/1567.11 c #Conflicts: 1037000 | #Constraints: 39272
1562.19/1567.11 c #Conflicts: 1038000 | #Constraints: 40272
1562.19/1567.11 c #Conflicts: 1039000 | #Constraints: 41272
1562.19/1567.11 c #Conflicts: 1040000 | #Constraints: 42272
1562.19/1567.11 c #Conflicts: 1041000 | #Constraints: 43272
1562.19/1567.11 c INPROCESSING
1562.19/1567.11 c GARBAGE COLLECT
1562.19/1567.11 c #Conflicts: 1042000 | #Constraints: 24071
1562.19/1567.11 c #Conflicts: 1043000 | #Constraints: 25071
1562.19/1567.11 c #Conflicts: 1044000 | #Constraints: 26071
1818.24/1823.92 c #Conflicts: 1045000 | #Constraints: 27071
1818.24/1823.92 c #Conflicts: 1046000 | #Constraints: 28071
1818.24/1823.92 c #Conflicts: 1047000 | #Constraints: 29071
1818.24/1823.92 c #Conflicts: 1048000 | #Constraints: 30071
1818.24/1823.92 c #Conflicts: 1049000 | #Constraints: 31071
1818.24/1823.92 c #Conflicts: 1050000 | #Constraints: 32071
1818.24/1823.92 c #Conflicts: 1051000 | #Constraints: 33071
1818.24/1823.92 c #Conflicts: 1052000 | #Constraints: 34071
1818.24/1823.92 c #Conflicts: 1053000 | #Constraints: 35071
1818.24/1823.92 c #Conflicts: 1054000 | #Constraints: 36071
1818.24/1823.92 c #Conflicts: 1055000 | #Constraints: 37071
1818.24/1823.92 c #Conflicts: 1056000 | #Constraints: 38071
1818.24/1823.92 c #Conflicts: 1057000 | #Constraints: 39071
1818.24/1823.92 c #Conflicts: 1058000 | #Constraints: 40071
1818.24/1823.92 c #Conflicts: 1059000 | #Constraints: 41071
1818.24/1823.92 c #Conflicts: 1060000 | #Constraints: 42071
1818.24/1823.92 c #Conflicts: 1061000 | #Constraints: 43071
1818.24/1823.92 c #Conflicts: 1062000 | #Constraints: 44071
1818.24/1823.92 c INPROCESSING
1818.24/1823.92 c GARBAGE COLLECT
1818.24/1823.92 c #Conflicts: 1063000 | #Constraints: 24644
1818.24/1823.92 c #Conflicts: 1064000 | #Constraints: 25644
1818.24/1823.92 c #Conflicts: 1065000 | #Constraints: 26644
1818.24/1823.92 c #Conflicts: 1066000 | #Constraints: 27644
1818.24/1823.92 c #Conflicts: 1067000 | #Constraints: 28644
1818.24/1823.92 c #Conflicts: 1068000 | #Constraints: 29644
1818.24/1823.92 c #Conflicts: 1069000 | #Constraints: 30644
1818.24/1823.92 c #Conflicts: 1070000 | #Constraints: 31644
1818.24/1823.92 c #Conflicts: 1071000 | #Constraints: 32644
1818.24/1823.92 c #Conflicts: 1072000 | #Constraints: 33644
1818.24/1823.92 c #Conflicts: 1073000 | #Constraints: 34644
1818.24/1823.92 c #Conflicts: 1074000 | #Constraints: 35644
1818.24/1823.92 c #Conflicts: 1075000 | #Constraints: 36644
1818.24/1823.92 c #Conflicts: 1076000 | #Constraints: 37644
1818.24/1823.92 c #Conflicts: 1077000 | #Constraints: 38644
1818.24/1823.92 c #Conflicts: 1078000 | #Constraints: 39644
1818.24/1823.92 c #Conflicts: 1079000 | #Constraints: 40644
1818.24/1823.92 c #Conflicts: 1080000 | #Constraints: 41644
1818.24/1823.92 c #Conflicts: 1081000 | #Constraints: 42644
1818.24/1823.92 c #Conflicts: 1082000 | #Constraints: 43644
1818.24/1823.92 c #Conflicts: 1083000 | #Constraints: 44644
1818.24/1823.92 c INPROCESSING
1818.24/1823.92 c GARBAGE COLLECT
1818.24/1823.92 c #Conflicts: 1084000 | #Constraints: 25043
1818.24/1823.92 c #Conflicts: 1085000 | #Constraints: 26043
1818.24/1823.92 c #Conflicts: 1086000 | #Constraints: 27043
1818.24/1823.92 c #Conflicts: 1087000 | #Constraints: 28043
1818.24/1823.92 c #Conflicts: 1088000 | #Constraints: 29043
1818.24/1823.92 c #Conflicts: 1089000 | #Constraints: 30043
1818.24/1823.92 c #Conflicts: 1090000 | #Constraints: 31043
1818.24/1823.92 c #Conflicts: 1091000 | #Constraints: 32043
1818.24/1823.92 c #Conflicts: 1092000 | #Constraints: 33043
1818.24/1823.92 c #Conflicts: 1093000 | #Constraints: 34043
1818.24/1823.92 c #Conflicts: 1094000 | #Constraints: 35043
1818.24/1823.92 c #Conflicts: 1095000 | #Constraints: 36043
1818.24/1823.92 c #Conflicts: 1096000 | #Constraints: 37043
1818.24/1823.92 c #Conflicts: 1097000 | #Constraints: 38043
1818.24/1823.92 c #Conflicts: 1098000 | #Constraints: 39043
1818.24/1823.92 c #Conflicts: 1099000 | #Constraints: 40043
1818.24/1823.92 c #Conflicts: 1100000 | #Constraints: 41043
1818.24/1823.92 c #Conflicts: 1101000 | #Constraints: 42043
1818.24/1823.92 c #Conflicts: 1102000 | #Constraints: 43043
1818.24/1823.92 c #Conflicts: 1103000 | #Constraints: 44043
1818.24/1823.92 c #Conflicts: 1104000 | #Constraints: 45043
1818.24/1823.92 c INPROCESSING
1818.24/1823.92 c GARBAGE COLLECT
1818.24/1823.92 c #Conflicts: 1105000 | #Constraints: 25260
1818.24/1823.92 c #Conflicts: 1106000 | #Constraints: 26260
1818.24/1823.92 c #Conflicts: 1107000 | #Constraints: 27260
1818.24/1823.92 c #Conflicts: 1108000 | #Constraints: 28260
1818.24/1823.92 c #Conflicts: 1109000 | #Constraints: 29260
1818.24/1823.92 c #Conflicts: 1110000 | #Constraints: 30260
1818.24/1823.92 c #Conflicts: 1111000 | #Constraints: 31260
1818.24/1823.92 c #Conflicts: 1112000 | #Constraints: 32260
1818.24/1823.92 c #Conflicts: 1113000 | #Constraints: 33260
1818.24/1823.92 c #Conflicts: 1114000 | #Constraints: 34260
1818.24/1823.92 c #Conflicts: 1115000 | #Constraints: 35260
1818.24/1823.92 c #Conflicts: 1116000 | #Constraints: 36260
1818.24/1823.92 c #Conflicts: 1117000 | #Constraints: 37260
1818.24/1823.92 c #Conflicts: 1118000 | #Constraints: 38260
1818.24/1823.92 c #Conflicts: 1119000 | #Constraints: 39260
1818.24/1823.92 c #Conflicts: 1120000 | #Constraints: 40260
1818.24/1823.92 c #Conflicts: 1121000 | #Constraints: 41260
2036.40/2042.72 c #Conflicts: 1122000 | #Constraints: 42260
2036.40/2042.72 c #Conflicts: 1123000 | #Constraints: 43260
2036.40/2042.72 c #Conflicts: 1124000 | #Constraints: 44260
2036.40/2042.72 c #Conflicts: 1125000 | #Constraints: 45260
2036.40/2042.72 c INPROCESSING
2036.40/2042.72 c GARBAGE COLLECT
2036.40/2042.72 c #Conflicts: 1126000 | #Constraints: 25267
2036.40/2042.72 c #Conflicts: 1127000 | #Constraints: 26267
2036.40/2042.72 c #Conflicts: 1128000 | #Constraints: 27267
2036.40/2042.72 c #Conflicts: 1129000 | #Constraints: 28267
2036.40/2042.72 c #Conflicts: 1130000 | #Constraints: 29267
2036.40/2042.72 c #Conflicts: 1131000 | #Constraints: 30267
2036.40/2042.72 c #Conflicts: 1132000 | #Constraints: 31267
2036.40/2042.72 c #Conflicts: 1133000 | #Constraints: 32267
2036.40/2042.72 c #Conflicts: 1134000 | #Constraints: 33267
2036.40/2042.72 c #Conflicts: 1135000 | #Constraints: 34267
2036.40/2042.72 c #Conflicts: 1136000 | #Constraints: 35267
2036.40/2042.72 c #Conflicts: 1137000 | #Constraints: 36267
2036.40/2042.72 c #Conflicts: 1138000 | #Constraints: 37267
2036.40/2042.72 c #Conflicts: 1139000 | #Constraints: 38267
2036.40/2042.72 c #Conflicts: 1140000 | #Constraints: 39267
2036.40/2042.72 c #Conflicts: 1141000 | #Constraints: 40267
2036.40/2042.72 c #Conflicts: 1142000 | #Constraints: 41267
2036.40/2042.72 c #Conflicts: 1143000 | #Constraints: 42267
2036.40/2042.72 c #Conflicts: 1144000 | #Constraints: 43267
2036.40/2042.72 c #Conflicts: 1145000 | #Constraints: 44267
2036.40/2042.72 c #Conflicts: 1146000 | #Constraints: 45267
2036.40/2042.72 c INPROCESSING
2036.40/2042.72 c GARBAGE COLLECT
2036.40/2042.72 c #Conflicts: 1147000 | #Constraints: 25049
2036.40/2042.72 c #Conflicts: 1148000 | #Constraints: 26049
2036.40/2042.72 c #Conflicts: 1149000 | #Constraints: 27049
2036.40/2042.72 c #Conflicts: 1150000 | #Constraints: 28049
2036.40/2042.72 c #Conflicts: 1151000 | #Constraints: 29049
2036.40/2042.72 c #Conflicts: 1152000 | #Constraints: 30049
2036.40/2042.72 c #Conflicts: 1153000 | #Constraints: 31049
2036.40/2042.72 c #Conflicts: 1154000 | #Constraints: 32049
2036.40/2042.72 c #Conflicts: 1155000 | #Constraints: 33049
2036.40/2042.72 c #Conflicts: 1156000 | #Constraints: 34049
2036.40/2042.72 c #Conflicts: 1157000 | #Constraints: 35049
2036.40/2042.72 c #Conflicts: 1158000 | #Constraints: 36049
2036.40/2042.72 c #Conflicts: 1159000 | #Constraints: 37049
2036.40/2042.72 c #Conflicts: 1160000 | #Constraints: 38049
2036.40/2042.72 c #Conflicts: 1161000 | #Constraints: 39049
2036.40/2042.72 c #Conflicts: 1162000 | #Constraints: 40049
2036.40/2042.72 c #Conflicts: 1163000 | #Constraints: 41049
2036.40/2042.72 c #Conflicts: 1164000 | #Constraints: 42049
2036.40/2042.72 c #Conflicts: 1165000 | #Constraints: 43049
2036.40/2042.72 c #Conflicts: 1166000 | #Constraints: 44049
2036.40/2042.72 c #Conflicts: 1167000 | #Constraints: 45049
2036.40/2042.72 c #Conflicts: 1168000 | #Constraints: 46049
2036.40/2042.72 c INPROCESSING
2036.40/2042.72 c GARBAGE COLLECT
2036.40/2042.72 c #Conflicts: 1169000 | #Constraints: 25625
2036.40/2042.72 c #Conflicts: 1170000 | #Constraints: 26625
2036.40/2042.72 c #Conflicts: 1171000 | #Constraints: 27625
2036.40/2042.72 c #Conflicts: 1172000 | #Constraints: 28625
2036.40/2042.72 c #Conflicts: 1173000 | #Constraints: 29625
2036.40/2042.72 c #Conflicts: 1174000 | #Constraints: 30625
2036.40/2042.72 c #Conflicts: 1175000 | #Constraints: 31625
2036.40/2042.72 c #Conflicts: 1176000 | #Constraints: 32625
2036.40/2042.72 c #Conflicts: 1177000 | #Constraints: 33625
2036.40/2042.72 c #Conflicts: 1178000 | #Constraints: 34625
2036.40/2042.72 c #Conflicts: 1179000 | #Constraints: 35625
2036.40/2042.72 c #Conflicts: 1180000 | #Constraints: 36625
2036.40/2042.72 c #Conflicts: 1181000 | #Constraints: 37625
2036.40/2042.72 c #Conflicts: 1182000 | #Constraints: 38625
2036.40/2042.72 c #Conflicts: 1183000 | #Constraints: 39625
2036.40/2042.72 c #Conflicts: 1184000 | #Constraints: 40625
2036.40/2042.72 c #Conflicts: 1185000 | #Constraints: 41625
2036.40/2042.72 c #Conflicts: 1186000 | #Constraints: 42625
2036.40/2042.72 c #Conflicts: 1187000 | #Constraints: 43625
2036.40/2042.72 c #Conflicts: 1188000 | #Constraints: 44625
2036.40/2042.72 c #Conflicts: 1189000 | #Constraints: 45625
2036.40/2042.72 c #Conflicts: 1190000 | #Constraints: 46625
2036.40/2042.72 c INPROCESSING
2036.40/2042.72 c GARBAGE COLLECT
2036.40/2042.72 c #Conflicts: 1191000 | #Constraints: 26047
2036.40/2042.72 c #Conflicts: 1192000 | #Constraints: 27047
2036.40/2042.72 c #Conflicts: 1193000 | #Constraints: 28047
2036.40/2042.72 c #Conflicts: 1194000 | #Constraints: 29047
2036.40/2042.72 c #Conflicts: 1195000 | #Constraints: 30047
2036.40/2042.72 c #Conflicts: 1196000 | #Constraints: 31047
2036.40/2042.72 c #Conflicts: 1197000 | #Constraints: 32047
2218.07/2224.93 c #Conflicts: 1198000 | #Constraints: 33047
2218.07/2224.93 c #Conflicts: 1199000 | #Constraints: 34047
2218.07/2224.93 c #Conflicts: 1200000 | #Constraints: 35047
2218.07/2224.93 c #Conflicts: 1201000 | #Constraints: 36047
2218.07/2224.93 c #Conflicts: 1202000 | #Constraints: 37047
2218.07/2224.93 c #Conflicts: 1203000 | #Constraints: 38047
2218.07/2224.93 c #Conflicts: 1204000 | #Constraints: 39047
2218.07/2224.93 c #Conflicts: 1205000 | #Constraints: 40047
2218.07/2224.93 c #Conflicts: 1206000 | #Constraints: 41047
2218.07/2224.93 c #Conflicts: 1207000 | #Constraints: 42047
2218.07/2224.93 c #Conflicts: 1208000 | #Constraints: 43047
2218.07/2224.93 c #Conflicts: 1209000 | #Constraints: 44047
2218.07/2224.93 c #Conflicts: 1210000 | #Constraints: 45047
2218.07/2224.93 c #Conflicts: 1211000 | #Constraints: 46047
2218.07/2224.93 c #Conflicts: 1212000 | #Constraints: 47047
2218.07/2224.93 c INPROCESSING
2218.07/2224.93 c GARBAGE COLLECT
2218.07/2224.93 c #Conflicts: 1213000 | #Constraints: 26245
2218.07/2224.93 c #Conflicts: 1214000 | #Constraints: 27245
2218.07/2224.93 c #Conflicts: 1215000 | #Constraints: 28245
2218.07/2224.93 c #Conflicts: 1216000 | #Constraints: 29245
2218.07/2224.93 c #Conflicts: 1217000 | #Constraints: 30245
2218.07/2224.93 c #Conflicts: 1218000 | #Constraints: 31245
2218.07/2224.93 c #Conflicts: 1219000 | #Constraints: 32245
2218.07/2224.93 c #Conflicts: 1220000 | #Constraints: 33245
2218.07/2224.93 c #Conflicts: 1221000 | #Constraints: 34245
2218.07/2224.93 c #Conflicts: 1222000 | #Constraints: 35245
2218.07/2224.93 c #Conflicts: 1223000 | #Constraints: 36245
2218.07/2224.93 c #Conflicts: 1224000 | #Constraints: 37245
2218.07/2224.93 c #Conflicts: 1225000 | #Constraints: 38245
2218.07/2224.93 c #Conflicts: 1226000 | #Constraints: 39245
2218.07/2224.93 c #Conflicts: 1227000 | #Constraints: 40245
2218.07/2224.93 c #Conflicts: 1228000 | #Constraints: 41245
2218.07/2224.93 c #Conflicts: 1229000 | #Constraints: 42245
2218.07/2224.93 c #Conflicts: 1230000 | #Constraints: 43245
2218.07/2224.93 c #Conflicts: 1231000 | #Constraints: 44245
2218.07/2224.93 c #Conflicts: 1232000 | #Constraints: 45245
2218.07/2224.93 c #Conflicts: 1233000 | #Constraints: 46245
2218.07/2224.93 c #Conflicts: 1234000 | #Constraints: 47245
2218.07/2224.93 c INPROCESSING
2218.07/2224.93 c GARBAGE COLLECT
2218.07/2224.93 c #Conflicts: 1235000 | #Constraints: 26215
2218.07/2224.93 c #Conflicts: 1236000 | #Constraints: 27215
2218.07/2224.93 c #Conflicts: 1237000 | #Constraints: 28215
2218.07/2224.93 c #Conflicts: 1238000 | #Constraints: 29215
2218.07/2224.93 c #Conflicts: 1239000 | #Constraints: 30215
2218.07/2224.93 c #Conflicts: 1240000 | #Constraints: 31215
2218.07/2224.93 c #Conflicts: 1241000 | #Constraints: 32215
2218.07/2224.93 c #Conflicts: 1242000 | #Constraints: 33215
2218.07/2224.93 c #Conflicts: 1243000 | #Constraints: 34215
2218.07/2224.93 c #Conflicts: 1244000 | #Constraints: 35215
2218.07/2224.93 c #Conflicts: 1245000 | #Constraints: 36215
2218.07/2224.93 c #Conflicts: 1246000 | #Constraints: 37215
2218.07/2224.93 c #Conflicts: 1247000 | #Constraints: 38215
2218.07/2224.93 c #Conflicts: 1248000 | #Constraints: 39215
2218.07/2224.93 c #Conflicts: 1249000 | #Constraints: 40215
2218.07/2224.93 c #Conflicts: 1250000 | #Constraints: 41215
2218.07/2224.93 c #Conflicts: 1251000 | #Constraints: 42215
2218.07/2224.93 c #Conflicts: 1252000 | #Constraints: 43215
2218.07/2224.93 c #Conflicts: 1253000 | #Constraints: 44215
2218.07/2224.93 c #Conflicts: 1254000 | #Constraints: 45215
2218.07/2224.93 c #Conflicts: 1255000 | #Constraints: 46215
2218.07/2224.93 c #Conflicts: 1256000 | #Constraints: 47215
2218.07/2224.93 c INPROCESSING
2218.07/2224.93 c GARBAGE COLLECT
2218.07/2224.93 c #Conflicts: 1257000 | #Constraints: 26001
2218.07/2224.93 c #Conflicts: 1258000 | #Constraints: 27001
2218.07/2224.93 c #Conflicts: 1259000 | #Constraints: 28001
2218.07/2224.93 c #Conflicts: 1260000 | #Constraints: 29001
2218.07/2224.93 c #Conflicts: 1261000 | #Constraints: 30001
2218.07/2224.93 c #Conflicts: 1262000 | #Constraints: 31001
2218.07/2224.93 c #Conflicts: 1263000 | #Constraints: 32001
2218.07/2224.93 c #Conflicts: 1264000 | #Constraints: 33001
2218.07/2224.93 c #Conflicts: 1265000 | #Constraints: 34001
2218.07/2224.93 c #Conflicts: 1266000 | #Constraints: 35001
2218.07/2224.93 c #Conflicts: 1267000 | #Constraints: 36001
2218.07/2224.93 c #Conflicts: 1268000 | #Constraints: 37001
2218.07/2224.93 c #Conflicts: 1269000 | #Constraints: 38001
2218.07/2224.93 c #Conflicts: 1270000 | #Constraints: 39001
2218.07/2224.93 c #Conflicts: 1271000 | #Constraints: 40001
2218.07/2224.93 c #Conflicts: 1272000 | #Constraints: 41001
2218.07/2224.93 c #Conflicts: 1273000 | #Constraints: 42001
2218.07/2224.93 c #Conflicts: 1274000 | #Constraints: 43001
2433.64/2441.05 c #Conflicts: 1275000 | #Constraints: 44001
2433.64/2441.05 c #Conflicts: 1276000 | #Constraints: 45001
2433.64/2441.05 c #Conflicts: 1277000 | #Constraints: 46001
2433.64/2441.05 c #Conflicts: 1278000 | #Constraints: 47001
2433.64/2441.05 c #Conflicts: 1279000 | #Constraints: 48001
2433.64/2441.05 c INPROCESSING
2433.64/2441.05 c GARBAGE COLLECT
2433.64/2441.05 c #Conflicts: 1280000 | #Constraints: 26607
2433.64/2441.05 c #Conflicts: 1281000 | #Constraints: 27607
2433.64/2441.05 c #Conflicts: 1282000 | #Constraints: 28607
2433.64/2441.05 c #Conflicts: 1283000 | #Constraints: 29607
2433.64/2441.05 c #Conflicts: 1284000 | #Constraints: 30607
2433.64/2441.05 c #Conflicts: 1285000 | #Constraints: 31607
2433.64/2441.05 c #Conflicts: 1286000 | #Constraints: 32607
2433.64/2441.05 c #Conflicts: 1287000 | #Constraints: 33607
2433.64/2441.05 c #Conflicts: 1288000 | #Constraints: 34607
2433.64/2441.05 c #Conflicts: 1289000 | #Constraints: 35607
2433.64/2441.05 c #Conflicts: 1290000 | #Constraints: 36607
2433.64/2441.05 c #Conflicts: 1291000 | #Constraints: 37607
2433.64/2441.05 c #Conflicts: 1292000 | #Constraints: 38607
2433.64/2441.05 c #Conflicts: 1293000 | #Constraints: 39607
2433.64/2441.05 c #Conflicts: 1294000 | #Constraints: 40607
2433.64/2441.05 c #Conflicts: 1295000 | #Constraints: 41607
2433.64/2441.05 c #Conflicts: 1296000 | #Constraints: 42607
2433.64/2441.05 c #Conflicts: 1297000 | #Constraints: 43607
2433.64/2441.05 c #Conflicts: 1298000 | #Constraints: 44607
2433.64/2441.05 c #Conflicts: 1299000 | #Constraints: 45607
2433.64/2441.05 c #Conflicts: 1300000 | #Constraints: 46607
2433.64/2441.05 c #Conflicts: 1301000 | #Constraints: 47607
2433.64/2441.05 c #Conflicts: 1302000 | #Constraints: 48607
2433.64/2441.05 c INPROCESSING
2433.64/2441.05 c GARBAGE COLLECT
2433.64/2441.05 c #Conflicts: 1303000 | #Constraints: 26998
2433.64/2441.05 c #Conflicts: 1304000 | #Constraints: 27998
2433.64/2441.05 c #Conflicts: 1305000 | #Constraints: 28998
2433.64/2441.05 c #Conflicts: 1306000 | #Constraints: 29998
2433.64/2441.05 c #Conflicts: 1307000 | #Constraints: 30998
2433.64/2441.05 c #Conflicts: 1308000 | #Constraints: 31998
2433.64/2441.05 c #Conflicts: 1309000 | #Constraints: 32998
2433.64/2441.05 c #Conflicts: 1310000 | #Constraints: 33998
2433.64/2441.05 c #Conflicts: 1311000 | #Constraints: 34998
2433.64/2441.05 c #Conflicts: 1312000 | #Constraints: 35998
2433.64/2441.05 c #Conflicts: 1313000 | #Constraints: 36998
2433.64/2441.05 c #Conflicts: 1314000 | #Constraints: 37998
2433.64/2441.05 c #Conflicts: 1315000 | #Constraints: 38998
2433.64/2441.05 c #Conflicts: 1316000 | #Constraints: 39998
2433.64/2441.05 c #Conflicts: 1317000 | #Constraints: 40998
2433.64/2441.05 c #Conflicts: 1318000 | #Constraints: 41998
2433.64/2441.05 c #Conflicts: 1319000 | #Constraints: 42998
2433.64/2441.05 c #Conflicts: 1320000 | #Constraints: 43998
2433.64/2441.05 c #Conflicts: 1321000 | #Constraints: 44998
2433.64/2441.05 c #Conflicts: 1322000 | #Constraints: 45998
2433.64/2441.05 c #Conflicts: 1323000 | #Constraints: 46998
2433.64/2441.05 c #Conflicts: 1324000 | #Constraints: 47998
2433.64/2441.05 c #Conflicts: 1325000 | #Constraints: 48998
2433.64/2441.05 c INPROCESSING
2433.64/2441.05 c GARBAGE COLLECT
2433.64/2441.05 c #Conflicts: 1326000 | #Constraints: 27223
2433.64/2441.05 c #Conflicts: 1327000 | #Constraints: 28223
2433.64/2441.05 c #Conflicts: 1328000 | #Constraints: 29223
2433.64/2441.05 c #Conflicts: 1329000 | #Constraints: 30223
2433.64/2441.05 c #Conflicts: 1330000 | #Constraints: 31223
2433.64/2441.05 c #Conflicts: 1331000 | #Constraints: 32223
2433.64/2441.05 c #Conflicts: 1332000 | #Constraints: 33223
2433.64/2441.05 c #Conflicts: 1333000 | #Constraints: 34223
2433.64/2441.05 c #Conflicts: 1334000 | #Constraints: 35223
2433.64/2441.05 c #Conflicts: 1335000 | #Constraints: 36223
2433.64/2441.05 c #Conflicts: 1336000 | #Constraints: 37223
2433.64/2441.05 c #Conflicts: 1337000 | #Constraints: 38223
2433.64/2441.05 c #Conflicts: 1338000 | #Constraints: 39223
2433.64/2441.05 c #Conflicts: 1339000 | #Constraints: 40223
2433.64/2441.05 c #Conflicts: 1340000 | #Constraints: 41223
2433.64/2441.05 c #Conflicts: 1341000 | #Constraints: 42223
2433.64/2441.05 c #Conflicts: 1342000 | #Constraints: 43223
2433.64/2441.05 c #Conflicts: 1343000 | #Constraints: 44223
2433.64/2441.05 c #Conflicts: 1344000 | #Constraints: 45223
2433.64/2441.05 c #Conflicts: 1345000 | #Constraints: 46223
2433.64/2441.05 c #Conflicts: 1346000 | #Constraints: 47223
2433.64/2441.05 c #Conflicts: 1347000 | #Constraints: 48223
2433.64/2441.05 c #Conflicts: 1348000 | #Constraints: 49223
2433.64/2441.05 c INPROCESSING
2433.64/2441.05 c GARBAGE COLLECT
2433.64/2441.05 c #Conflicts: 1349000 | #Constraints: 27273
2433.64/2441.05 c #Conflicts: 1350000 | #Constraints: 28273
2623.01/2630.91 c #Conflicts: 1351000 | #Constraints: 29273
2623.01/2630.91 c #Conflicts: 1352000 | #Constraints: 30273
2623.01/2630.91 c #Conflicts: 1353000 | #Constraints: 31273
2623.01/2630.91 c #Conflicts: 1354000 | #Constraints: 32273
2623.01/2630.91 c #Conflicts: 1355000 | #Constraints: 33273
2623.01/2630.91 c #Conflicts: 1356000 | #Constraints: 34273
2623.01/2630.91 c #Conflicts: 1357000 | #Constraints: 35273
2623.01/2630.91 c #Conflicts: 1358000 | #Constraints: 36273
2623.01/2630.91 c #Conflicts: 1359000 | #Constraints: 37273
2623.01/2630.91 c #Conflicts: 1360000 | #Constraints: 38273
2623.01/2630.91 c #Conflicts: 1361000 | #Constraints: 39273
2623.01/2630.91 c #Conflicts: 1362000 | #Constraints: 40273
2623.01/2630.91 c #Conflicts: 1363000 | #Constraints: 41273
2623.01/2630.91 c #Conflicts: 1364000 | #Constraints: 42273
2623.01/2630.91 c #Conflicts: 1365000 | #Constraints: 43273
2623.01/2630.91 c #Conflicts: 1366000 | #Constraints: 44273
2623.01/2630.91 c #Conflicts: 1367000 | #Constraints: 45273
2623.01/2630.91 c #Conflicts: 1368000 | #Constraints: 46273
2623.01/2630.91 c #Conflicts: 1369000 | #Constraints: 47273
2623.01/2630.91 c #Conflicts: 1370000 | #Constraints: 48273
2623.01/2630.91 c #Conflicts: 1371000 | #Constraints: 49273
2623.01/2630.91 c INPROCESSING
2623.01/2630.91 c GARBAGE COLLECT
2623.01/2630.91 c #Conflicts: 1372000 | #Constraints: 27042
2623.01/2630.91 c #Conflicts: 1373000 | #Constraints: 28042
2623.01/2630.91 c #Conflicts: 1374000 | #Constraints: 29042
2623.01/2630.91 c #Conflicts: 1375000 | #Constraints: 30042
2623.01/2630.91 c #Conflicts: 1376000 | #Constraints: 31042
2623.01/2630.91 c #Conflicts: 1377000 | #Constraints: 32042
2623.01/2630.91 c #Conflicts: 1378000 | #Constraints: 33042
2623.01/2630.91 c #Conflicts: 1379000 | #Constraints: 34042
2623.01/2630.91 c #Conflicts: 1380000 | #Constraints: 35042
2623.01/2630.91 c #Conflicts: 1381000 | #Constraints: 36042
2623.01/2630.91 c #Conflicts: 1382000 | #Constraints: 37042
2623.01/2630.91 c #Conflicts: 1383000 | #Constraints: 38042
2623.01/2630.91 c #Conflicts: 1384000 | #Constraints: 39042
2623.01/2630.91 c #Conflicts: 1385000 | #Constraints: 40042
2623.01/2630.91 c #Conflicts: 1386000 | #Constraints: 41042
2623.01/2630.91 c #Conflicts: 1387000 | #Constraints: 42042
2623.01/2630.91 c #Conflicts: 1388000 | #Constraints: 43042
2623.01/2630.91 c #Conflicts: 1389000 | #Constraints: 44042
2623.01/2630.91 c #Conflicts: 1390000 | #Constraints: 45042
2623.01/2630.91 c #Conflicts: 1391000 | #Constraints: 46042
2623.01/2630.91 c #Conflicts: 1392000 | #Constraints: 47042
2623.01/2630.91 c #Conflicts: 1393000 | #Constraints: 48042
2623.01/2630.91 c #Conflicts: 1394000 | #Constraints: 49042
2623.01/2630.91 c #Conflicts: 1395000 | #Constraints: 50042
2623.01/2630.91 c INPROCESSING
2623.01/2630.91 c GARBAGE COLLECT
2623.01/2630.91 c #Conflicts: 1396000 | #Constraints: 27645
2623.01/2630.91 c #Conflicts: 1397000 | #Constraints: 28645
2623.01/2630.91 c #Conflicts: 1398000 | #Constraints: 29645
2623.01/2630.91 c #Conflicts: 1399000 | #Constraints: 30645
2623.01/2630.91 c #Conflicts: 1400000 | #Constraints: 31645
2623.01/2630.91 c #Conflicts: 1401000 | #Constraints: 32645
2623.01/2630.91 c #Conflicts: 1402000 | #Constraints: 33645
2623.01/2630.91 c #Conflicts: 1403000 | #Constraints: 34645
2623.01/2630.91 c #Conflicts: 1404000 | #Constraints: 35645
2623.01/2630.91 c #Conflicts: 1405000 | #Constraints: 36645
2623.01/2630.91 c #Conflicts: 1406000 | #Constraints: 37645
2623.01/2630.91 c #Conflicts: 1407000 | #Constraints: 38645
2623.01/2630.91 c #Conflicts: 1408000 | #Constraints: 39645
2623.01/2630.91 c #Conflicts: 1409000 | #Constraints: 40645
2623.01/2630.91 c #Conflicts: 1410000 | #Constraints: 41645
2623.01/2630.91 c #Conflicts: 1411000 | #Constraints: 42645
2623.01/2630.91 c #Conflicts: 1412000 | #Constraints: 43645
2623.01/2630.91 c #Conflicts: 1413000 | #Constraints: 44645
2623.01/2630.91 c #Conflicts: 1414000 | #Constraints: 45645
2623.01/2630.91 c #Conflicts: 1415000 | #Constraints: 46645
2623.01/2630.91 c #Conflicts: 1416000 | #Constraints: 47645
2623.01/2630.91 c #Conflicts: 1417000 | #Constraints: 48645
2623.01/2630.91 c #Conflicts: 1418000 | #Constraints: 49645
2623.01/2630.91 c #Conflicts: 1419000 | #Constraints: 50645
2623.01/2630.91 c INPROCESSING
2623.01/2630.91 c GARBAGE COLLECT
2623.01/2630.91 c #Conflicts: 1420000 | #Constraints: 28057
2623.01/2630.91 c #Conflicts: 1421000 | #Constraints: 29057
2623.01/2630.91 c #Conflicts: 1422000 | #Constraints: 30057
2623.01/2630.91 c #Conflicts: 1423000 | #Constraints: 31057
2623.01/2630.91 c #Conflicts: 1424000 | #Constraints: 32057
2623.01/2630.91 c #Conflicts: 1425000 | #Constraints: 33057
2623.01/2630.91 c #Conflicts: 1426000 | #Constraints: 34057
2623.01/2630.91 c #Conflicts: 1427000 | #Constraints: 35057
2797.06/2805.45 c #Conflicts: 1428000 | #Constraints: 36057
2797.06/2805.45 c #Conflicts: 1429000 | #Constraints: 37057
2797.06/2805.45 c #Conflicts: 1430000 | #Constraints: 38057
2797.06/2805.45 c #Conflicts: 1431000 | #Constraints: 39057
2797.06/2805.45 c #Conflicts: 1432000 | #Constraints: 40057
2797.06/2805.45 c #Conflicts: 1433000 | #Constraints: 41057
2797.06/2805.45 c #Conflicts: 1434000 | #Constraints: 42057
2797.06/2805.45 c #Conflicts: 1435000 | #Constraints: 43057
2797.06/2805.45 c #Conflicts: 1436000 | #Constraints: 44057
2797.06/2805.45 c #Conflicts: 1437000 | #Constraints: 45057
2797.06/2805.45 c #Conflicts: 1438000 | #Constraints: 46057
2797.06/2805.45 c #Conflicts: 1439000 | #Constraints: 47057
2797.06/2805.45 c #Conflicts: 1440000 | #Constraints: 48057
2797.06/2805.45 c #Conflicts: 1441000 | #Constraints: 49057
2797.06/2805.45 c #Conflicts: 1442000 | #Constraints: 50057
2797.06/2805.45 c #Conflicts: 1443000 | #Constraints: 51057
2797.06/2805.45 c INPROCESSING
2797.06/2805.45 c GARBAGE COLLECT
2797.06/2805.45 c #Conflicts: 1444000 | #Constraints: 28240
2797.06/2805.45 c #Conflicts: 1445000 | #Constraints: 29240
2797.06/2805.45 c #Conflicts: 1446000 | #Constraints: 30240
2797.06/2805.45 c #Conflicts: 1447000 | #Constraints: 31240
2797.06/2805.45 c #Conflicts: 1448000 | #Constraints: 32240
2797.06/2805.45 c #Conflicts: 1449000 | #Constraints: 33240
2797.06/2805.45 c #Conflicts: 1450000 | #Constraints: 34240
2797.06/2805.45 c #Conflicts: 1451000 | #Constraints: 35240
2797.06/2805.45 c #Conflicts: 1452000 | #Constraints: 36240
2797.06/2805.45 c #Conflicts: 1453000 | #Constraints: 37240
2797.06/2805.45 c #Conflicts: 1454000 | #Constraints: 38240
2797.06/2805.45 c #Conflicts: 1455000 | #Constraints: 39240
2797.06/2805.45 c #Conflicts: 1456000 | #Constraints: 40240
2797.06/2805.45 c #Conflicts: 1457000 | #Constraints: 41240
2797.06/2805.45 c #Conflicts: 1458000 | #Constraints: 42240
2797.06/2805.45 c #Conflicts: 1459000 | #Constraints: 43240
2797.06/2805.45 c #Conflicts: 1460000 | #Constraints: 44240
2797.06/2805.45 c #Conflicts: 1461000 | #Constraints: 45240
2797.06/2805.45 c #Conflicts: 1462000 | #Constraints: 46240
2797.06/2805.45 c #Conflicts: 1463000 | #Constraints: 47240
2797.06/2805.45 c #Conflicts: 1464000 | #Constraints: 48240
2797.06/2805.45 c #Conflicts: 1465000 | #Constraints: 49240
2797.06/2805.45 c #Conflicts: 1466000 | #Constraints: 50240
2797.06/2805.45 c #Conflicts: 1467000 | #Constraints: 51240
2797.06/2805.45 c INPROCESSING
2797.06/2805.45 c GARBAGE COLLECT
2797.06/2805.45 c #Conflicts: 1468000 | #Constraints: 28224
2797.06/2805.45 c #Conflicts: 1469000 | #Constraints: 29224
2797.06/2805.45 c #Conflicts: 1470000 | #Constraints: 30224
2797.06/2805.45 c #Conflicts: 1471000 | #Constraints: 31224
2797.06/2805.45 c #Conflicts: 1472000 | #Constraints: 32224
2797.06/2805.45 c #Conflicts: 1473000 | #Constraints: 33224
2797.06/2805.45 c #Conflicts: 1474000 | #Constraints: 34224
2797.06/2805.45 c #Conflicts: 1475000 | #Constraints: 35224
2797.06/2805.45 c #Conflicts: 1476000 | #Constraints: 36224
2797.06/2805.45 c #Conflicts: 1477000 | #Constraints: 37224
2797.06/2805.45 c #Conflicts: 1478000 | #Constraints: 38224
2797.06/2805.45 c #Conflicts: 1479000 | #Constraints: 39224
2797.06/2805.45 c #Conflicts: 1480000 | #Constraints: 40224
2797.06/2805.45 c #Conflicts: 1481000 | #Constraints: 41224
2797.06/2805.45 c #Conflicts: 1482000 | #Constraints: 42224
2797.06/2805.45 c #Conflicts: 1483000 | #Constraints: 43224
2797.06/2805.45 c #Conflicts: 1484000 | #Constraints: 44224
2797.06/2805.45 c #Conflicts: 1485000 | #Constraints: 45224
2797.06/2805.45 c #Conflicts: 1486000 | #Constraints: 46224
2797.06/2805.45 c #Conflicts: 1487000 | #Constraints: 47224
2797.06/2805.45 c #Conflicts: 1488000 | #Constraints: 48224
2797.06/2805.45 c #Conflicts: 1489000 | #Constraints: 49224
2797.06/2805.45 c #Conflicts: 1490000 | #Constraints: 50224
2797.06/2805.45 c #Conflicts: 1491000 | #Constraints: 51224
2797.06/2805.45 c INPROCESSING
2797.06/2805.45 c GARBAGE COLLECT
2797.06/2805.45 c #Conflicts: 1492000 | #Constraints: 28048
2797.06/2805.45 c #Conflicts: 1493000 | #Constraints: 29048
2797.06/2805.45 c #Conflicts: 1494000 | #Constraints: 30048
2797.06/2805.45 c #Conflicts: 1495000 | #Constraints: 31048
2797.06/2805.45 c #Conflicts: 1496000 | #Constraints: 32048
2797.06/2805.45 c #Conflicts: 1497000 | #Constraints: 33048
2797.06/2805.45 c #Conflicts: 1498000 | #Constraints: 34048
2797.06/2805.45 c #Conflicts: 1499000 | #Constraints: 35048
2797.06/2805.45 c #Conflicts: 1500000 | #Constraints: 36048
2797.06/2805.45 c #Conflicts: 1501000 | #Constraints: 37048
2797.06/2805.45 c #Conflicts: 1502000 | #Constraints: 38048
2797.06/2805.45 c #Conflicts: 1503000 | #Constraints: 39048
2797.06/2805.45 c #Conflicts: 1504000 | #Constraints: 40048
2986.39/2995.31 c #Conflicts: 1505000 | #Constraints: 41048
2986.39/2995.31 c #Conflicts: 1506000 | #Constraints: 42048
2986.39/2995.31 c #Conflicts: 1507000 | #Constraints: 43048
2986.39/2995.31 c #Conflicts: 1508000 | #Constraints: 44048
2986.39/2995.31 c #Conflicts: 1509000 | #Constraints: 45048
2986.39/2995.31 c #Conflicts: 1510000 | #Constraints: 46048
2986.39/2995.31 c #Conflicts: 1511000 | #Constraints: 47048
2986.39/2995.31 c #Conflicts: 1512000 | #Constraints: 48048
2986.39/2995.31 c #Conflicts: 1513000 | #Constraints: 49048
2986.39/2995.31 c #Conflicts: 1514000 | #Constraints: 50048
2986.39/2995.31 c #Conflicts: 1515000 | #Constraints: 51048
2986.39/2995.31 c #Conflicts: 1516000 | #Constraints: 52048
2986.39/2995.31 c INPROCESSING
2986.39/2995.31 c GARBAGE COLLECT
2986.39/2995.31 c #Conflicts: 1517000 | #Constraints: 28619
2986.39/2995.31 c #Conflicts: 1518000 | #Constraints: 29619
2986.39/2995.31 c #Conflicts: 1519000 | #Constraints: 30619
2986.39/2995.31 c #Conflicts: 1520000 | #Constraints: 31619
2986.39/2995.31 c #Conflicts: 1521000 | #Constraints: 32619
2986.39/2995.31 c #Conflicts: 1522000 | #Constraints: 33619
2986.39/2995.31 c #Conflicts: 1523000 | #Constraints: 34619
2986.39/2995.31 c #Conflicts: 1524000 | #Constraints: 35619
2986.39/2995.31 c #Conflicts: 1525000 | #Constraints: 36619
2986.39/2995.31 c #Conflicts: 1526000 | #Constraints: 37619
2986.39/2995.31 c #Conflicts: 1527000 | #Constraints: 38619
2986.39/2995.31 c #Conflicts: 1528000 | #Constraints: 39619
2986.39/2995.31 c #Conflicts: 1529000 | #Constraints: 40619
2986.39/2995.31 c #Conflicts: 1530000 | #Constraints: 41619
2986.39/2995.31 c #Conflicts: 1531000 | #Constraints: 42619
2986.39/2995.31 c #Conflicts: 1532000 | #Constraints: 43619
2986.39/2995.31 c #Conflicts: 1533000 | #Constraints: 44619
2986.39/2995.31 c #Conflicts: 1534000 | #Constraints: 45619
2986.39/2995.31 c #Conflicts: 1535000 | #Constraints: 46619
2986.39/2995.31 c #Conflicts: 1536000 | #Constraints: 47619
2986.39/2995.31 c #Conflicts: 1537000 | #Constraints: 48619
2986.39/2995.31 c #Conflicts: 1538000 | #Constraints: 49619
2986.39/2995.31 c #Conflicts: 1539000 | #Constraints: 50619
2986.39/2995.31 c #Conflicts: 1540000 | #Constraints: 51619
2986.39/2995.31 c #Conflicts: 1541000 | #Constraints: 52619
2986.39/2995.31 c INPROCESSING
2986.39/2995.31 c GARBAGE COLLECT
2986.39/2995.31 c #Conflicts: 1542000 | #Constraints: 29029
2986.39/2995.31 c #Conflicts: 1543000 | #Constraints: 30029
2986.39/2995.31 c #Conflicts: 1544000 | #Constraints: 31029
2986.39/2995.31 c #Conflicts: 1545000 | #Constraints: 32029
2986.39/2995.31 c #Conflicts: 1546000 | #Constraints: 33029
2986.39/2995.31 c #Conflicts: 1547000 | #Constraints: 34029
2986.39/2995.31 c #Conflicts: 1548000 | #Constraints: 35029
2986.39/2995.31 c #Conflicts: 1549000 | #Constraints: 36029
2986.39/2995.31 c #Conflicts: 1550000 | #Constraints: 37029
2986.39/2995.31 c #Conflicts: 1551000 | #Constraints: 38029
2986.39/2995.31 c #Conflicts: 1552000 | #Constraints: 39029
2986.39/2995.31 c #Conflicts: 1553000 | #Constraints: 40029
2986.39/2995.31 c #Conflicts: 1554000 | #Constraints: 41029
2986.39/2995.31 c #Conflicts: 1555000 | #Constraints: 42029
2986.39/2995.31 c #Conflicts: 1556000 | #Constraints: 43029
2986.39/2995.31 c #Conflicts: 1557000 | #Constraints: 44029
2986.39/2995.31 c #Conflicts: 1558000 | #Constraints: 45029
2986.39/2995.31 c #Conflicts: 1559000 | #Constraints: 46029
2986.39/2995.31 c #Conflicts: 1560000 | #Constraints: 47029
2986.39/2995.31 c #Conflicts: 1561000 | #Constraints: 48029
2986.39/2995.31 c #Conflicts: 1562000 | #Constraints: 49029
2986.39/2995.31 c #Conflicts: 1563000 | #Constraints: 50029
2986.39/2995.31 c #Conflicts: 1564000 | #Constraints: 51029
2986.39/2995.31 c #Conflicts: 1565000 | #Constraints: 52029
2986.39/2995.31 c #Conflicts: 1566000 | #Constraints: 53029
2986.39/2995.31 c INPROCESSING
2986.39/2995.31 c GARBAGE COLLECT
2986.39/2995.31 c #Conflicts: 1567000 | #Constraints: 29224
2986.39/2995.31 c #Conflicts: 1568000 | #Constraints: 30224
2986.39/2995.31 c #Conflicts: 1569000 | #Constraints: 31224
2986.39/2995.31 c #Conflicts: 1570000 | #Constraints: 32224
2986.39/2995.31 c #Conflicts: 1571000 | #Constraints: 33224
2986.39/2995.31 c #Conflicts: 1572000 | #Constraints: 34224
2986.39/2995.31 c #Conflicts: 1573000 | #Constraints: 35224
2986.39/2995.31 c #Conflicts: 1574000 | #Constraints: 36224
2986.39/2995.31 c #Conflicts: 1575000 | #Constraints: 37224
2986.39/2995.31 c #Conflicts: 1576000 | #Constraints: 38224
2986.39/2995.31 c #Conflicts: 1577000 | #Constraints: 39224
2986.39/2995.31 c #Conflicts: 1578000 | #Constraints: 40224
2986.39/2995.31 c #Conflicts: 1579000 | #Constraints: 41224
2986.39/2995.31 c #Conflicts: 1580000 | #Constraints: 42224
2986.39/2995.31 c #Conflicts: 1581000 | #Constraints: 43224
3154.29/3163.78 c #Conflicts: 1582000 | #Constraints: 44224
3154.29/3163.78 c #Conflicts: 1583000 | #Constraints: 45224
3154.29/3163.78 c #Conflicts: 1584000 | #Constraints: 46224
3154.29/3163.78 c #Conflicts: 1585000 | #Constraints: 47224
3154.29/3163.78 c #Conflicts: 1586000 | #Constraints: 48224
3154.29/3163.78 c #Conflicts: 1587000 | #Constraints: 49224
3154.29/3163.78 c #Conflicts: 1588000 | #Constraints: 50224
3154.29/3163.78 c #Conflicts: 1589000 | #Constraints: 51224
3154.29/3163.78 c #Conflicts: 1590000 | #Constraints: 52224
3154.29/3163.78 c #Conflicts: 1591000 | #Constraints: 53224
3154.29/3163.78 c INPROCESSING
3154.29/3163.78 c GARBAGE COLLECT
3154.29/3163.78 c #Conflicts: 1592000 | #Constraints: 29226
3154.29/3163.78 c #Conflicts: 1593000 | #Constraints: 30226
3154.29/3163.78 c #Conflicts: 1594000 | #Constraints: 31226
3154.29/3163.78 c #Conflicts: 1595000 | #Constraints: 32226
3154.29/3163.78 c #Conflicts: 1596000 | #Constraints: 33226
3154.29/3163.78 c #Conflicts: 1597000 | #Constraints: 34226
3154.29/3163.78 c #Conflicts: 1598000 | #Constraints: 35226
3154.29/3163.78 c #Conflicts: 1599000 | #Constraints: 36226
3154.29/3163.78 c #Conflicts: 1600000 | #Constraints: 37226
3154.29/3163.78 c #Conflicts: 1601000 | #Constraints: 38226
3154.29/3163.78 c #Conflicts: 1602000 | #Constraints: 39226
3154.29/3163.78 c #Conflicts: 1603000 | #Constraints: 40226
3154.29/3163.78 c #Conflicts: 1604000 | #Constraints: 41226
3154.29/3163.78 c #Conflicts: 1605000 | #Constraints: 42226
3154.29/3163.78 c #Conflicts: 1606000 | #Constraints: 43226
3154.29/3163.78 c #Conflicts: 1607000 | #Constraints: 44226
3154.29/3163.78 c #Conflicts: 1608000 | #Constraints: 45226
3154.29/3163.78 c #Conflicts: 1609000 | #Constraints: 46226
3154.29/3163.78 c #Conflicts: 1610000 | #Constraints: 47226
3154.29/3163.78 c #Conflicts: 1611000 | #Constraints: 48226
3154.29/3163.78 c #Conflicts: 1612000 | #Constraints: 49226
3154.29/3163.78 c #Conflicts: 1613000 | #Constraints: 50226
3154.29/3163.78 c #Conflicts: 1614000 | #Constraints: 51226
3154.29/3163.78 c #Conflicts: 1615000 | #Constraints: 52226
3154.29/3163.78 c #Conflicts: 1616000 | #Constraints: 53226
3154.29/3163.78 c INPROCESSING
3154.29/3163.78 c GARBAGE COLLECT
3154.29/3163.78 c #Conflicts: 1617000 | #Constraints: 29075
3154.29/3163.78 c #Conflicts: 1618000 | #Constraints: 30075
3154.29/3163.78 c #Conflicts: 1619000 | #Constraints: 31075
3154.29/3163.78 c #Conflicts: 1620000 | #Constraints: 32075
3154.29/3163.78 c #Conflicts: 1621000 | #Constraints: 33075
3154.29/3163.78 c #Conflicts: 1622000 | #Constraints: 34075
3154.29/3163.78 c #Conflicts: 1623000 | #Constraints: 35075
3154.29/3163.78 c #Conflicts: 1624000 | #Constraints: 36075
3154.29/3163.78 c #Conflicts: 1625000 | #Constraints: 37075
3154.29/3163.78 c #Conflicts: 1626000 | #Constraints: 38075
3154.29/3163.78 c #Conflicts: 1627000 | #Constraints: 39075
3154.29/3163.78 c #Conflicts: 1628000 | #Constraints: 40075
3154.29/3163.78 c #Conflicts: 1629000 | #Constraints: 41075
3154.29/3163.78 c #Conflicts: 1630000 | #Constraints: 42075
3154.29/3163.78 c #Conflicts: 1631000 | #Constraints: 43075
3154.29/3163.78 c #Conflicts: 1632000 | #Constraints: 44075
3154.29/3163.78 c #Conflicts: 1633000 | #Constraints: 45075
3154.29/3163.78 c #Conflicts: 1634000 | #Constraints: 46075
3154.29/3163.78 c #Conflicts: 1635000 | #Constraints: 47075
3154.29/3163.78 c #Conflicts: 1636000 | #Constraints: 48075
3154.29/3163.78 c #Conflicts: 1637000 | #Constraints: 49075
3154.29/3163.78 c #Conflicts: 1638000 | #Constraints: 50075
3154.29/3163.78 c #Conflicts: 1639000 | #Constraints: 51075
3154.29/3163.78 c #Conflicts: 1640000 | #Constraints: 52075
3154.29/3163.78 c #Conflicts: 1641000 | #Constraints: 53075
3154.29/3163.78 c #Conflicts: 1642000 | #Constraints: 54075
3154.29/3163.78 c INPROCESSING
3154.29/3163.78 c GARBAGE COLLECT
3154.29/3163.78 c #Conflicts: 1643000 | #Constraints: 29676
3154.29/3163.78 c #Conflicts: 1644000 | #Constraints: 30676
3154.29/3163.78 c #Conflicts: 1645000 | #Constraints: 31676
3154.29/3163.78 c #Conflicts: 1646000 | #Constraints: 32676
3154.29/3163.78 c #Conflicts: 1647000 | #Constraints: 33676
3154.29/3163.78 c #Conflicts: 1648000 | #Constraints: 34676
3154.29/3163.78 c #Conflicts: 1649000 | #Constraints: 35676
3154.29/3163.78 c #Conflicts: 1650000 | #Constraints: 36676
3154.29/3163.78 c #Conflicts: 1651000 | #Constraints: 37676
3154.29/3163.78 c #Conflicts: 1652000 | #Constraints: 38676
3154.29/3163.78 c #Conflicts: 1653000 | #Constraints: 39676
3154.29/3163.78 c #Conflicts: 1654000 | #Constraints: 40676
3154.29/3163.78 c #Conflicts: 1655000 | #Constraints: 41676
3154.29/3163.78 c #Conflicts: 1656000 | #Constraints: 42676
3154.29/3163.78 c #Conflicts: 1657000 | #Constraints: 43676
3154.29/3163.78 c #Conflicts: 1658000 | #Constraints: 44676
3281.88/3291.64 c #Conflicts: 1659000 | #Constraints: 45676
3281.88/3291.64 c #Conflicts: 1660000 | #Constraints: 46676
3281.88/3291.64 c #Conflicts: 1661000 | #Constraints: 47676
3281.88/3291.64 c #Conflicts: 1662000 | #Constraints: 48676
3281.88/3291.64 c #Conflicts: 1663000 | #Constraints: 49676
3281.88/3291.64 c #Conflicts: 1664000 | #Constraints: 50676
3281.88/3291.64 c #Conflicts: 1665000 | #Constraints: 51676
3281.88/3291.64 c #Conflicts: 1666000 | #Constraints: 52676
3281.88/3291.64 c #Conflicts: 1667000 | #Constraints: 53676
3281.88/3291.64 c #Conflicts: 1668000 | #Constraints: 54676
3281.88/3291.64 c INPROCESSING
3281.88/3291.64 c GARBAGE COLLECT
3281.88/3291.64 c #Conflicts: 1669000 | #Constraints: 30069
3281.88/3291.64 c #Conflicts: 1670000 | #Constraints: 31069
3281.88/3291.64 c #Conflicts: 1671000 | #Constraints: 32069
3281.88/3291.64 c #Conflicts: 1672000 | #Constraints: 33069
3281.88/3291.64 c #Conflicts: 1673000 | #Constraints: 34069
3281.88/3291.64 c #Conflicts: 1674000 | #Constraints: 35069
3281.88/3291.64 c #Conflicts: 1675000 | #Constraints: 36069
3281.88/3291.64 c #Conflicts: 1676000 | #Constraints: 37069
3281.88/3291.64 c #Conflicts: 1677000 | #Constraints: 38069
3281.88/3291.64 c #Conflicts: 1678000 | #Constraints: 39069
3281.88/3291.64 c #Conflicts: 1679000 | #Constraints: 40069
3281.88/3291.64 c #Conflicts: 1680000 | #Constraints: 41069
3281.88/3291.64 c #Conflicts: 1681000 | #Constraints: 42069
3281.88/3291.64 c #Conflicts: 1682000 | #Constraints: 43069
3281.88/3291.64 c #Conflicts: 1683000 | #Constraints: 44069
3281.88/3291.64 c #Conflicts: 1684000 | #Constraints: 45069
3281.88/3291.64 c #Conflicts: 1685000 | #Constraints: 46069
3281.88/3291.64 c #Conflicts: 1686000 | #Constraints: 47069
3281.88/3291.64 c #Conflicts: 1687000 | #Constraints: 48069
3281.88/3291.64 c #Conflicts: 1688000 | #Constraints: 49069
3281.88/3291.64 c #Conflicts: 1689000 | #Constraints: 50069
3281.88/3291.64 c #Conflicts: 1690000 | #Constraints: 51069
3281.88/3291.64 c #Conflicts: 1691000 | #Constraints: 52069
3281.88/3291.64 c #Conflicts: 1692000 | #Constraints: 53069
3281.88/3291.64 c #Conflicts: 1693000 | #Constraints: 54069
3281.88/3291.64 c #Conflicts: 1694000 | #Constraints: 55069
3281.88/3291.64 c INPROCESSING
3281.88/3291.64 c GARBAGE COLLECT
3281.88/3291.64 c #Conflicts: 1695000 | #Constraints: 30237
3281.88/3291.64 c #Conflicts: 1696000 | #Constraints: 31237
3281.88/3291.64 c #Conflicts: 1697000 | #Constraints: 32237
3281.88/3291.64 c #Conflicts: 1698000 | #Constraints: 33237
3281.88/3291.64 c #Conflicts: 1699000 | #Constraints: 34237
3281.88/3291.64 c #Conflicts: 1700000 | #Constraints: 35237
3281.88/3291.64 c #Conflicts: 1701000 | #Constraints: 36237
3281.88/3291.64 c #Conflicts: 1702000 | #Constraints: 37237
3281.88/3291.64 c #Conflicts: 1703000 | #Constraints: 38237
3281.88/3291.64 c #Conflicts: 1704000 | #Constraints: 39237
3281.88/3291.64 c #Conflicts: 1705000 | #Constraints: 40237
3281.88/3291.64 c #Conflicts: 1706000 | #Constraints: 41237
3281.88/3291.64 c #Conflicts: 1707000 | #Constraints: 42237
3281.88/3291.64 c #Conflicts: 1708000 | #Constraints: 43237
3281.88/3291.64 c #Conflicts: 1709000 | #Constraints: 44237
3281.88/3291.64 c #Conflicts: 1710000 | #Constraints: 45237
3281.88/3291.64 c #Conflicts: 1711000 | #Constraints: 46237
3281.88/3291.64 c #Conflicts: 1712000 | #Constraints: 47237
3281.88/3291.64 c #Conflicts: 1713000 | #Constraints: 48237
3281.88/3291.64 c #Conflicts: 1714000 | #Constraints: 49237
3281.88/3291.64 c #Conflicts: 1715000 | #Constraints: 50237
3281.88/3291.64 c #Conflicts: 1716000 | #Constraints: 51237
3281.88/3291.64 c #Conflicts: 1717000 | #Constraints: 52237
3281.88/3291.64 c #Conflicts: 1718000 | #Constraints: 53237
3281.88/3291.64 c #Conflicts: 1719000 | #Constraints: 54237
3281.88/3291.64 c #Conflicts: 1720000 | #Constraints: 55237
3281.88/3291.64 c INPROCESSING
3281.88/3291.64 c GARBAGE COLLECT
3281.88/3291.64 c #Conflicts: 1721000 | #Constraints: 30233
3281.88/3291.64 c #Conflicts: 1722000 | #Constraints: 31233
3281.88/3291.64 c #Conflicts: 1723000 | #Constraints: 32233
3281.88/3291.64 c #Conflicts: 1724000 | #Constraints: 33233
3281.88/3291.64 c #Conflicts: 1725000 | #Constraints: 34233
3281.88/3291.64 c #Conflicts: 1726000 | #Constraints: 35233
3281.88/3291.64 c #Conflicts: 1727000 | #Constraints: 36233
3281.88/3291.64 c #Conflicts: 1728000 | #Constraints: 37233
3281.88/3291.64 c #Conflicts: 1729000 | #Constraints: 38233
3281.88/3291.64 c #Conflicts: 1730000 | #Constraints: 39233
3281.88/3291.64 c #Conflicts: 1731000 | #Constraints: 40233
3281.88/3291.64 c #Conflicts: 1732000 | #Constraints: 41233
3281.88/3291.64 c #Conflicts: 1733000 | #Constraints: 42233
3281.88/3291.64 c #Conflicts: 1734000 | #Constraints: 43233
3281.88/3291.64 c #Conflicts: 1735000 | #Constraints: 44233
3414.57/3424.66 c #Conflicts: 1736000 | #Constraints: 45233
3414.57/3424.66 c #Conflicts: 1737000 | #Constraints: 46233
3414.57/3424.66 c #Conflicts: 1738000 | #Constraints: 47233
3414.57/3424.66 c #Conflicts: 1739000 | #Constraints: 48233
3414.57/3424.66 c #Conflicts: 1740000 | #Constraints: 49233
3414.57/3424.66 c #Conflicts: 1741000 | #Constraints: 50233
3414.57/3424.66 c #Conflicts: 1742000 | #Constraints: 51233
3414.57/3424.66 c #Conflicts: 1743000 | #Constraints: 52233
3414.57/3424.66 c #Conflicts: 1744000 | #Constraints: 53233
3414.57/3424.66 c #Conflicts: 1745000 | #Constraints: 54233
3414.57/3424.66 c #Conflicts: 1746000 | #Constraints: 55233
3414.57/3424.66 c INPROCESSING
3414.57/3424.66 c GARBAGE COLLECT
3414.57/3424.66 c #Conflicts: 1747000 | #Constraints: 30018
3414.57/3424.66 c #Conflicts: 1748000 | #Constraints: 31018
3414.57/3424.66 c #Conflicts: 1749000 | #Constraints: 32018
3414.57/3424.66 c #Conflicts: 1750000 | #Constraints: 33018
3414.57/3424.66 c #Conflicts: 1751000 | #Constraints: 34018
3414.57/3424.66 c #Conflicts: 1752000 | #Constraints: 35018
3414.57/3424.66 c #Conflicts: 1753000 | #Constraints: 36018
3414.57/3424.66 c #Conflicts: 1754000 | #Constraints: 37018
3414.57/3424.66 c #Conflicts: 1755000 | #Constraints: 38018
3414.57/3424.66 c #Conflicts: 1756000 | #Constraints: 39018
3414.57/3424.66 c #Conflicts: 1757000 | #Constraints: 40018
3414.57/3424.66 c #Conflicts: 1758000 | #Constraints: 41018
3414.57/3424.66 c #Conflicts: 1759000 | #Constraints: 42018
3414.57/3424.66 c #Conflicts: 1760000 | #Constraints: 43018
3414.57/3424.66 c #Conflicts: 1761000 | #Constraints: 44018
3414.57/3424.66 c #Conflicts: 1762000 | #Constraints: 45018
3414.57/3424.66 c #Conflicts: 1763000 | #Constraints: 46018
3414.57/3424.66 c #Conflicts: 1764000 | #Constraints: 47018
3414.57/3424.66 c #Conflicts: 1765000 | #Constraints: 48018
3414.57/3424.66 c #Conflicts: 1766000 | #Constraints: 49018
3414.57/3424.66 c #Conflicts: 1767000 | #Constraints: 50018
3414.57/3424.66 c #Conflicts: 1768000 | #Constraints: 51018
3414.57/3424.66 c #Conflicts: 1769000 | #Constraints: 52018
3414.57/3424.66 c #Conflicts: 1770000 | #Constraints: 53018
3414.57/3424.66 c #Conflicts: 1771000 | #Constraints: 54018
3414.57/3424.66 c #Conflicts: 1772000 | #Constraints: 55018
3414.57/3424.66 c #Conflicts: 1773000 | #Constraints: 56018
3414.57/3424.66 c INPROCESSING
3414.57/3424.66 c GARBAGE COLLECT
3414.57/3424.66 c #Conflicts: 1774000 | #Constraints: 30606
3414.57/3424.66 c #Conflicts: 1775000 | #Constraints: 31606
3414.57/3424.66 c #Conflicts: 1776000 | #Constraints: 32606
3414.57/3424.66 c #Conflicts: 1777000 | #Constraints: 33606
3414.57/3424.66 c #Conflicts: 1778000 | #Constraints: 34606
3414.57/3424.66 c #Conflicts: 1779000 | #Constraints: 35606
3414.57/3424.66 c #Conflicts: 1780000 | #Constraints: 36606
3414.57/3424.66 c #Conflicts: 1781000 | #Constraints: 37606
3414.57/3424.66 c #Conflicts: 1782000 | #Constraints: 38606
3414.57/3424.66 c #Conflicts: 1783000 | #Constraints: 39606
3414.57/3424.66 c #Conflicts: 1784000 | #Constraints: 40606
3414.57/3424.66 c #Conflicts: 1785000 | #Constraints: 41606
3414.57/3424.66 c #Conflicts: 1786000 | #Constraints: 42606
3414.57/3424.66 c #Conflicts: 1787000 | #Constraints: 43606
3414.57/3424.66 c #Conflicts: 1788000 | #Constraints: 44606
3414.57/3424.66 c #Conflicts: 1789000 | #Constraints: 45606
3414.57/3424.66 c #Conflicts: 1790000 | #Constraints: 46606
3414.57/3424.66 c #Conflicts: 1791000 | #Constraints: 47606
3414.57/3424.66 c #Conflicts: 1792000 | #Constraints: 48606
3414.57/3424.66 c #Conflicts: 1793000 | #Constraints: 49606
3414.57/3424.66 c #Conflicts: 1794000 | #Constraints: 50606
3414.57/3424.66 c #Conflicts: 1795000 | #Constraints: 51606
3414.57/3424.66 c #Conflicts: 1796000 | #Constraints: 52606
3414.57/3424.66 c #Conflicts: 1797000 | #Constraints: 53606
3414.57/3424.66 c #Conflicts: 1798000 | #Constraints: 54606
3414.57/3424.66 c #Conflicts: 1799000 | #Constraints: 55606
3414.57/3424.66 c #Conflicts: 1800000 | #Constraints: 56606
3414.57/3424.66 c INPROCESSING
3414.57/3424.66 c GARBAGE COLLECT
3414.57/3424.66 c #Conflicts: 1801000 | #Constraints: 31009
3414.57/3424.66 c #Conflicts: 1802000 | #Constraints: 32009
3414.57/3424.66 c #Conflicts: 1803000 | #Constraints: 33009
3414.57/3424.66 c #Conflicts: 1804000 | #Constraints: 34009
3414.57/3424.66 c #Conflicts: 1805000 | #Constraints: 35009
3414.57/3424.66 c #Conflicts: 1806000 | #Constraints: 36009
3414.57/3424.66 c #Conflicts: 1807000 | #Constraints: 37009
3414.57/3424.66 c #Conflicts: 1808000 | #Constraints: 38009
3414.57/3424.66 c #Conflicts: 1809000 | #Constraints: 39009
3414.57/3424.66 c #Conflicts: 1810000 | #Constraints: 40009
3414.57/3424.66 c #Conflicts: 1811000 | #Constraints: 41009
3414.57/3424.66 c #Conflicts: 1812000 | #Constraints: 42009
3575.10/3585.63 c #Conflicts: 1813000 | #Constraints: 43009
3575.10/3585.63 c #Conflicts: 1814000 | #Constraints: 44009
3575.10/3585.63 c #Conflicts: 1815000 | #Constraints: 45009
3575.10/3585.63 c #Conflicts: 1816000 | #Constraints: 46009
3575.10/3585.63 c #Conflicts: 1817000 | #Constraints: 47009
3575.10/3585.63 c #Conflicts: 1818000 | #Constraints: 48009
3575.10/3585.63 c #Conflicts: 1819000 | #Constraints: 49009
3575.10/3585.63 c #Conflicts: 1820000 | #Constraints: 50009
3575.10/3585.63 c #Conflicts: 1821000 | #Constraints: 51009
3575.10/3585.63 c #Conflicts: 1822000 | #Constraints: 52009
3575.10/3585.63 c #Conflicts: 1823000 | #Constraints: 53009
3575.10/3585.63 c #Conflicts: 1824000 | #Constraints: 54009
3575.10/3585.63 c #Conflicts: 1825000 | #Constraints: 55009
3575.10/3585.63 c #Conflicts: 1826000 | #Constraints: 56009
3575.10/3585.63 c #Conflicts: 1827000 | #Constraints: 57009
3575.10/3585.63 c INPROCESSING
3575.10/3585.63 c GARBAGE COLLECT
3575.10/3585.63 c #Conflicts: 1828000 | #Constraints: 31206
3575.10/3585.63 c #Conflicts: 1829000 | #Constraints: 32206
3575.10/3585.63 c #Conflicts: 1830000 | #Constraints: 33206
3575.10/3585.63 c #Conflicts: 1831000 | #Constraints: 34206
3575.10/3585.63 c #Conflicts: 1832000 | #Constraints: 35206
3575.10/3585.63 c #Conflicts: 1833000 | #Constraints: 36206
3575.10/3585.63 c #Conflicts: 1834000 | #Constraints: 37206
3575.10/3585.63 c #Conflicts: 1835000 | #Constraints: 38206
3575.10/3585.63 c #Conflicts: 1836000 | #Constraints: 39206
3575.10/3585.63 c #Conflicts: 1837000 | #Constraints: 40206
3575.10/3585.63 c #Conflicts: 1838000 | #Constraints: 41206
3575.10/3585.63 c #Conflicts: 1839000 | #Constraints: 42206
3575.10/3585.63 c #Conflicts: 1840000 | #Constraints: 43206
3575.10/3585.63 c #Conflicts: 1841000 | #Constraints: 44206
3575.10/3585.63 c #Conflicts: 1842000 | #Constraints: 45206
3575.10/3585.63 c #Conflicts: 1843000 | #Constraints: 46206
3575.10/3585.63 c #Conflicts: 1844000 | #Constraints: 47206
3575.10/3585.63 c #Conflicts: 1845000 | #Constraints: 48206
3575.10/3585.63 c #Conflicts: 1846000 | #Constraints: 49206
3575.10/3585.63 c #Conflicts: 1847000 | #Constraints: 50206
3575.10/3585.63 c #Conflicts: 1848000 | #Constraints: 51206
3575.10/3585.63 c #Conflicts: 1849000 | #Constraints: 52206
3575.10/3585.63 c #Conflicts: 1850000 | #Constraints: 53206
3575.10/3585.63 c #Conflicts: 1851000 | #Constraints: 54206
3575.10/3585.63 c #Conflicts: 1852000 | #Constraints: 55206
3575.10/3585.63 c #Conflicts: 1853000 | #Constraints: 56206
3575.10/3585.63 c #Conflicts: 1854000 | #Constraints: 57206
3575.10/3585.63 c INPROCESSING
3575.10/3585.63 c GARBAGE COLLECT
3575.10/3585.63 c #Conflicts: 1855000 | #Constraints: 31216
3575.10/3585.63 c #Conflicts: 1856000 | #Constraints: 32216
3575.10/3585.63 c #Conflicts: 1857000 | #Constraints: 33216
3575.10/3585.63 c #Conflicts: 1858000 | #Constraints: 34216
3575.10/3585.63 c #Conflicts: 1859000 | #Constraints: 35216
3575.10/3585.63 c #Conflicts: 1860000 | #Constraints: 36216
3575.10/3585.63 c #Conflicts: 1861000 | #Constraints: 37216
3575.10/3585.63 c #Conflicts: 1862000 | #Constraints: 38216
3575.10/3585.63 c #Conflicts: 1863000 | #Constraints: 39216
3575.10/3585.63 c #Conflicts: 1864000 | #Constraints: 40216
3575.10/3585.63 c #Conflicts: 1865000 | #Constraints: 41216
3575.10/3585.63 c #Conflicts: 1866000 | #Constraints: 42216
3575.10/3585.63 c #Conflicts: 1867000 | #Constraints: 43216
3575.10/3585.63 c #Conflicts: 1868000 | #Constraints: 44216
3575.10/3585.63 c #Conflicts: 1869000 | #Constraints: 45216
3575.10/3585.63 c #Conflicts: 1870000 | #Constraints: 46216
3575.10/3585.63 c #Conflicts: 1871000 | #Constraints: 47216
3575.10/3585.63 c #Conflicts: 1872000 | #Constraints: 48216
3575.10/3585.63 c #Conflicts: 1873000 | #Constraints: 49216
3575.10/3585.63 c #Conflicts: 1874000 | #Constraints: 50216
3575.10/3585.63 c #Conflicts: 1875000 | #Constraints: 51216
3575.10/3585.63 c #Conflicts: 1876000 | #Constraints: 52216
3575.10/3585.63 c #Conflicts: 1877000 | #Constraints: 53216
3575.10/3585.63 c #Conflicts: 1878000 | #Constraints: 54216
3575.10/3585.63 c #Conflicts: 1879000 | #Constraints: 55216
3575.10/3585.63 c #Conflicts: 1880000 | #Constraints: 56216
3575.10/3585.63 c #Conflicts: 1881000 | #Constraints: 57216
3575.10/3585.63 c INPROCESSING
3575.10/3585.63 c GARBAGE COLLECT
3575.10/3585.63 c #Conflicts: 1882000 | #Constraints: 31011
3575.10/3585.63 c #Conflicts: 1883000 | #Constraints: 32011
3575.10/3585.63 c #Conflicts: 1884000 | #Constraints: 33011
3575.10/3585.63 c #Conflicts: 1885000 | #Constraints: 34011
3575.10/3585.63 c #Conflicts: 1886000 | #Constraints: 35011
3575.10/3585.63 c #Conflicts: 1887000 | #Constraints: 36011
3575.10/3585.63 c #Conflicts: 1888000 | #Constraints: 37011
3600.03/3610.60 c #Conflicts: 1889000 | #Constraints: 38011
3600.03/3610.60 c #Conflicts: 1890000 | #Constraints: 39011
3600.03/3610.60 c #Conflicts: 1891000 | #Constraints: 40011
3600.03/3610.60 c #Conflicts: 1892000 | #Constraints: 41011
3600.03/3610.60 c #Conflicts: 1893000 | #Constraints: 42011
3600.03/3610.60 c #Conflicts: 1894000 | #Constraints: 43011
3600.03/3610.60 c #Conflicts: 1895000 | #Constraints: 44011
3600.03/3610.60 c #Conflicts: 1896000 | #Constraints: 45011
3600.03/3610.60 c #Conflicts: 1897000 | #Constraints: 46011
3600.03/3610.60 c #Conflicts: 1898000 | #Constraints: 47011
3600.03/3610.60 c #Conflicts: 1899000 | #Constraints: 48011
3600.03/3610.60 c #Conflicts: 1900000 | #Constraints: 49011
3600.03/3610.60 c #Conflicts: 1901000 | #Constraints: 50011
3600.03/3610.60 c #Conflicts: 1902000 | #Constraints: 51011
3600.03/3610.60 c #Conflicts: 1903000 | #Constraints: 52011
3600.03/3610.60 c #Conflicts: 1904000 | #Constraints: 53011
3600.03/3610.60 c Program interrupted by user.
3600.03/3610.60 c cpu time 3563.93 s
3600.03/3610.60 c deterministic time 411184675795 4.11e+11
3600.03/3610.60 c optimization time 28.5819 s
3600.03/3610.60 c total solve time 3535.32 s
3600.03/3610.60 c core-guided solve time 3535.32 s
3600.03/3610.60 c propagation time 2436.94 s
3600.03/3610.60 c conflict analysis time 1036.24 s
3600.03/3610.60 c propagations 1244581574
3600.03/3610.60 c resolve steps 19855246
3600.03/3610.60 c decisions 38038957
3600.03/3610.60 c conflicts 1904539
3600.03/3610.60 c restarts 3705
3600.03/3610.60 c inprocessing phases 128
3600.03/3610.60 c input clauses 3355
3600.03/3610.60 c input cardinalities 0
3600.03/3610.60 c input general constraints 1
3600.03/3610.60 c input average constraint length 2.84
3600.03/3610.60 c input average constraint degree 486.05
3600.03/3610.60 c learned clauses 606840
3600.03/3610.60 c learned cardinalities 160
3600.03/3610.60 c learned general constraints 1297538
3600.03/3610.60 c learned average constraint length 478.97
3600.03/3610.60 c learned average constraint degree 20355805.57
3600.03/3610.60 c watched constraints 457776
3600.03/3610.60 c counting constraints 839763
3600.03/3610.60 c gcd simplifications 75582
3600.03/3610.60 c detected cardinalities 110
3600.03/3610.60 c weakened non-implied lits 416858234
3600.03/3610.60 c weakened non-implying lits 324545
3600.03/3610.60 c original variables 1945
3600.03/3610.60 c clausal propagations 433713212
3600.03/3610.60 c cardinality propagations 208
3600.03/3610.60 c watched propagations 11393570
3600.03/3610.60 c counting propagations 794404802
3600.03/3610.60 c watch lookups 91139941646
3600.03/3610.60 c watch backjump lookups 89580823854
3600.03/3610.60 c watch checks 111444033245
3600.03/3610.60 c propagation checks 111486544323
3600.03/3610.60 c constraint additions 4966188565
3600.03/3610.60 c trail pops 1284523630
3600.03/3610.60 c formula constraints 3355
3600.03/3610.60 c learned constraints 1904538
3600.03/3610.60 c bound constraints 1
3600.03/3610.60 c core-guided constraints 0
3600.03/3610.60 c encountered formula constraints 14318944
3600.03/3610.60 c encountered learned constraints 7439792
3600.03/3610.60 c encountered bound constraints 1049
3600.03/3610.60 c encountered core-guided constraints 0
3600.03/3610.60 c LP total time 0 s
3600.03/3610.60 c LP solve time 0 s
3600.03/3610.60 c LP constraints added 0
3600.03/3610.60 c LP constraints removed 0
3600.03/3610.60 c LP pivots internal 0
3600.03/3610.60 c LP pivots root 0
3600.03/3610.60 c LP calls 0
3600.03/3610.60 c LP optimalities 0
3600.03/3610.60 c LP no pivot count 0
3600.03/3610.60 c LP infeasibilities 0
3600.03/3610.60 c LP valid Farkas constraints 0
3600.03/3610.60 c LP learned Farkas constraints 0
3600.03/3610.60 c LP basis resets 0
3600.03/3610.60 c LP cycling count 0
3600.03/3610.60 c LP singular count 0
3600.03/3610.60 c LP no primal count 0
3600.03/3610.60 c LP no farkas count 0
3600.03/3610.60 c LP other issue count 0
3600.03/3610.60 c LP Gomory cuts 0
3600.03/3610.60 c LP learned cuts 0
3600.03/3610.60 c LP deleted cuts 0
3600.03/3610.60 c LP encountered Gomory constraints 0
3600.03/3610.60 c LP encountered Farkas constraints 0
3600.03/3610.60 c LP encountered learned Farkas constraints 0
3600.03/3610.60 c CG auxiliary variables introduced 0
3600.03/3610.60 c CG solutions found 1
3600.03/3610.60 c CG cores constructed 0
3600.03/3610.60 c CG core cardinality constraints returned 0
3600.03/3610.60 c CG unit cores 0
3600.03/3610.60 c CG single cores 0
3600.03/3610.60 c CG blocks removed during cardinality reduction 0
3600.03/3610.60 c CG first core best 0
3600.03/3610.60 c CG decision core best 0
3600.03/3610.60 c CG core reduction tie 0
3600.03/3610.60 c CG core degree average 0.00
3600.03/3610.60 c CG core slack average 0.00
3600.03/3610.60 c CG exhausted 0
3600.03/3610.60 c CG exhaust time 0 s
3600.03/3610.60 c CG trimmed 0
3600.03/3610.60 c CG trim time 0 s
3600.03/3610.60 c CG minimized 0
3600.03/3610.60 c CG minimize time 0 s
3600.03/3610.60 c CG am1 prop time 5e-05 s
3600.03/3610.60 c CG # am1s reformulated 0
3600.03/3610.60 c CG lower bound derived from am1s 0
3600.03/3610.60 c CG # clausal cores 0
3600.03/3610.60 c CG # cardinality cores 0
3600.03/3610.60 c CG # pb cores 0
3600.03/3610.60 c CG # pb reforms 0
3600.03/3610.60 c CG # cores discarded because of pb reform 0
3600.03/3610.60 d LOWERBOUND 5621
3600.03/3610.60 d NCORES 0
3600.03/3610.60 d NPBCORES 0
3600.03/3610.60 d NPBREFORM 0
3600.03/3610.60 d NTRIMMED 0
3600.03/3610.60 d NEXHAUSTED 0
3600.03/3610.60 d NAM1S 0
3600.03/3610.60 d AM1LB 0
3600.03/3610.60 o 43695
3600.03/3610.60 s SATISFIABLE
3600.03/3610.60 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: 63837 MiB (60560 MiB free)
memory of node 1: 64465 MiB (63701 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497142-1751391491/watcher-4497142-1751391491 -o /tmp/evaluation-result-4497142-1751391491/solver-4497142-1751391491 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48630 --watchdog 3760 pb-oll-rs HOME/instance-4497142-1751391491.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=50305, runsolver pid=50302
[startup+0.100072 s]*
/proc/loadavg: 4.20 4.14 4.13 5/250 50306
/proc/meminfo: memFree=127244776/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=20884 memory=6784 CPUtime=0.08 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 619 0 0 0 7 1 0 0 20 0 1 0 54827871 21385216 1696 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 5221 1696 1312 243 0 1470 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 20884 KiB
Current children cumulated memory: 6784 KiB
[startup+0.213343 s]*
/proc/loadavg: 4.20 4.14 4.13 5/250 50306
/proc/meminfo: memFree=127241248/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=22596 memory=11568 CPUtime=0.19 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 1268 0 0 0 17 2 0 0 20 0 1 0 54827871 23138304 2892 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 5649 2892 1344 243 0 1898 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 22596 KiB
Current children cumulated memory: 11568 KiB
[startup+0.313226 s]*
/proc/loadavg: 4.20 4.14 4.13 5/250 50306
/proc/meminfo: memFree=127241248/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=22728 memory=11696 CPUtime=0.29 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 1306 0 0 0 26 3 0 0 20 0 1 0 54827871 23273472 2924 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 5682 2924 1344 243 0 1931 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 22728 KiB
Current children cumulated memory: 11696 KiB
[startup+0.700313 s]
/proc/loadavg: 4.20 4.14 4.13 5/250 50306
/proc/meminfo: memFree=127241248/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=25068 memory=14128 CPUtime=0.66 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 1906 0 0 0 59 7 0 0 20 0 1 0 54827871 25669632 3532 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 6267 3532 1344 243 0 2516 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 25068 KiB
Current children cumulated memory: 14128 KiB
[startup+1.50027 s]
/proc/loadavg: 4.20 4.14 4.13 5/250 50306
/proc/meminfo: memFree=127234016/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=43076 memory=29968 CPUtime=1.46 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 5376 0 0 0 133 13 0 0 20 0 1 0 54827871 44109824 7492 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 10769 7492 1344 243 0 7018 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 43076 KiB
Current children cumulated memory: 29968 KiB
[startup+3.11284 s]
/proc/loadavg: 4.18 4.14 4.13 5/250 50306
/proc/meminfo: memFree=127214296/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=54340 memory=38180 CPUtime=3.06 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 6923 0 0 0 287 19 0 0 20 0 1 0 54827871 55644160 9545 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 13585 9545 1344 243 0 9834 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 54340 KiB
Current children cumulated memory: 38180 KiB
[startup+6.30029 s]
/proc/loadavg: 4.18 4.14 4.13 5/250 50306
/proc/meminfo: memFree=127214372/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=60444 memory=44936 CPUtime=6.24 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 8110 0 0 0 590 34 0 0 20 0 1 0 54827871 61894656 11234 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 15111 11234 1344 243 0 11360 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 60444 KiB
Current children cumulated memory: 44936 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.14 4.13 5/250 50306
/proc/meminfo: memFree=127204020/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=82908 memory=60564 CPUtime=12.63 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 11043 0 0 0 1209 54 0 0 20 0 1 0 54827871 84897792 15141 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 20727 15141 1344 243 0 16976 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 82908 KiB
Current children cumulated memory: 60564 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.13 4.12 5/250 50306
/proc/meminfo: memFree=127171612/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=107076 memory=87304 CPUtime=25.38 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 15678 0 0 0 2451 87 0 0 20 0 1 0 54827871 109645824 21826 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 26769 21826 1344 243 0 23018 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 107076 KiB
Current children cumulated memory: 87304 KiB
[startup+51.113 s]
/proc/loadavg: 4.44 4.20 4.15 5/250 50307
/proc/meminfo: memFree=127168636/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=134980 memory=104424 CPUtime=50.93 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 18442 0 0 0 4914 179 0 0 20 0 1 0 54827871 138219520 26106 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 33745 26106 1344 243 0 29994 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 134980 KiB
Current children cumulated memory: 104424 KiB
[startup+102.3 s]
/proc/loadavg: 4.68 4.32 4.19 5/250 50313
/proc/meminfo: memFree=127142620/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=136208 memory=111920 CPUtime=101.96 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 19419 0 0 0 9907 289 0 0 20 0 1 0 54827871 139476992 27980 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 34052 27980 1344 243 0 30301 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 136208 KiB
Current children cumulated memory: 111920 KiB
[startup+162.3 s]
/proc/loadavg: 4.34 4.29 4.19 5/250 50315
/proc/meminfo: memFree=127075740/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=173644 memory=129604 CPUtime=161.79 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 21898 0 0 0 15773 406 0 0 20 0 1 0 54827871 177811456 32401 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 43411 32401 1344 243 0 39660 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 173644 KiB
Current children cumulated memory: 129604 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.25 4.18 5/250 50361
/proc/meminfo: memFree=127018744/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=200112 memory=157268 CPUtime=221.6 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 26303 0 0 0 21626 534 0 0 20 0 1 0 54827871 204914688 39317 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 50028 39317 1344 243 0 46277 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 200112 KiB
Current children cumulated memory: 157268 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.22 4.17 5/251 50363
/proc/meminfo: memFree=126920116/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=206416 memory=163984 CPUtime=281.43 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 27471 0 0 0 27505 638 0 0 20 0 1 0 54827871 211369984 40996 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 51604 40996 1344 243 0 47853 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 206416 KiB
Current children cumulated memory: 163984 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.21 4.17 5/251 50365
/proc/meminfo: memFree=126848280/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=222164 memory=187052 CPUtime=341.25 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 30687 0 0 0 33396 729 0 0 20 0 1 0 54827871 227495936 46763 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 55541 46763 1344 243 0 51790 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 222164 KiB
Current children cumulated memory: 187052 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.17 4.16 5/251 50367
/proc/meminfo: memFree=126670728/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=223016 memory=187948 CPUtime=401.07 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 30897 0 0 0 39300 807 0 0 20 0 1 0 54827871 228368384 46987 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 55754 46987 1344 243 0 52003 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 223016 KiB
Current children cumulated memory: 187948 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.15 4.16 5/251 50369
/proc/meminfo: memFree=126580876/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=223236 memory=188588 CPUtime=460.89 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 31072 0 0 0 45203 886 0 0 20 0 1 0 54827871 228593664 47147 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 55809 47147 1344 243 0 52058 0
Current children cumulated CPU time: 460.89 s
################
# More data... #
################
Current children cumulated memory: 356360 KiB
[startup+2862.3 s]
/proc/loadavg: 3.11 3.19 3.56 4/245 50705
/proc/meminfo: memFree=129009036/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=444652 memory=356360 CPUtime=2853.79 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 51262 0 0 0 282423 2956 0 0 20 0 1 0 54827871 455323648 89090 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 111163 89090 1344 243 0 107412 0
Current children cumulated CPU time: 2853.79 s
Current children cumulated vsize: 444652 KiB
Current children cumulated memory: 356360 KiB
[startup+2922.3 s]
/proc/loadavg: 2.87 3.12 3.52 3/238 50738
/proc/meminfo: memFree=129341424/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=449644 memory=359128 CPUtime=2913.61 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 52076 0 0 0 288353 3008 0 0 20 0 1 0 54827871 460435456 89782 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 112411 89782 1344 243 0 108660 0
Current children cumulated CPU time: 2913.61 s
Current children cumulated vsize: 449644 KiB
Current children cumulated memory: 359128 KiB
[startup+2982.3 s]
/proc/loadavg: 2.38 2.93 3.42 3/238 50740
/proc/meminfo: memFree=129330720/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=449644 memory=359172 CPUtime=2973.43 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 52366 0 0 0 294288 3055 0 0 20 0 1 0 54827871 460435456 89793 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 112411 89793 1344 243 0 108660 0
Current children cumulated CPU time: 2973.43 s
Current children cumulated vsize: 449644 KiB
Current children cumulated memory: 359172 KiB
[startup+3042.3 s]
/proc/loadavg: 2.18 2.77 3.34 3/238 50742
/proc/meminfo: memFree=129309892/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=449644 memory=359180 CPUtime=3033.24 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 52564 0 0 0 300223 3101 0 0 20 0 1 0 54827871 460435456 89795 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 112411 89795 1344 243 0 108660 0
Current children cumulated CPU time: 3033.24 s
Current children cumulated vsize: 449644 KiB
Current children cumulated memory: 359180 KiB
[startup+3102.3 s]
/proc/loadavg: 2.16 2.66 3.26 3/238 50747
/proc/meminfo: memFree=129297368/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=455172 memory=366384 CPUtime=3093.06 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 53406 0 0 0 306168 3138 0 0 20 0 1 0 54827871 466096128 91596 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 113793 91596 1344 243 0 110042 0
Current children cumulated CPU time: 3093.06 s
Current children cumulated vsize: 455172 KiB
Current children cumulated memory: 366384 KiB
[startup+3162.3 s]
/proc/loadavg: 2.11 2.55 3.18 3/238 50750
/proc/meminfo: memFree=129228892/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=455684 memory=372016 CPUtime=3152.88 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 53508 0 0 0 312100 3188 0 0 20 0 1 0 54827871 466620416 93004 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 113921 93004 1344 243 0 110170 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 455684 KiB
Current children cumulated memory: 372016 KiB
[startup+3222.3 s]
/proc/loadavg: 2.15 2.48 3.12 3/238 50756
/proc/meminfo: memFree=129226152/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=455684 memory=372016 CPUtime=3212.74 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 53508 0 0 0 318030 3244 0 0 20 0 1 0 54827871 466620416 93004 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 113921 93004 1344 243 0 110170 0
Current children cumulated CPU time: 3212.74 s
Current children cumulated vsize: 455684 KiB
Current children cumulated memory: 372016 KiB
[startup+3282.3 s]
/proc/loadavg: 2.11 2.41 3.05 3/238 50758
/proc/meminfo: memFree=129187308/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=455684 memory=372016 CPUtime=3272.6 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 53510 0 0 0 323954 3306 0 0 20 0 1 0 54827871 466620416 93004 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 113921 93004 1344 243 0 110170 0
Current children cumulated CPU time: 3272.6 s
Current children cumulated vsize: 455684 KiB
Current children cumulated memory: 372016 KiB
[startup+3342.3 s]
/proc/loadavg: 2.08 2.35 2.99 3/239 50761
/proc/meminfo: memFree=129181148/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=455940 memory=372272 CPUtime=3332.46 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 53574 0 0 0 329887 3359 0 0 20 0 1 0 54827871 466882560 93068 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 113985 93068 1344 243 0 110234 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 455940 KiB
Current children cumulated memory: 372272 KiB
[startup+3402.3 s]
/proc/loadavg: 2.14 2.31 2.93 3/239 50763
/proc/meminfo: memFree=129179656/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=456252 memory=372584 CPUtime=3392.32 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 53789 0 0 0 335804 3428 0 0 20 0 1 0 54827871 467202048 93146 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 114063 93146 1344 243 0 110312 0
Current children cumulated CPU time: 3392.32 s
Current children cumulated vsize: 456252 KiB
Current children cumulated memory: 372584 KiB
[startup+3462.3 s]
/proc/loadavg: 2.10 2.27 2.88 3/239 50765
/proc/meminfo: memFree=129154332/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=456508 memory=372724 CPUtime=3452.17 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 54112 0 0 0 341720 3497 0 0 20 0 1 0 54827871 467464192 93181 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 114127 93181 1344 243 0 110376 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 456508 KiB
Current children cumulated memory: 372724 KiB
[startup+3522.3 s]
/proc/loadavg: 2.15 2.25 2.83 3/239 50767
/proc/meminfo: memFree=129124668/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=470844 memory=381144 CPUtime=3511.99 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 56322 0 0 0 347665 3534 0 0 20 0 1 0 54827871 482144256 95286 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 117711 95286 1344 243 0 113960 0
Current children cumulated CPU time: 3511.99 s
Current children cumulated vsize: 470844 KiB
Current children cumulated memory: 381144 KiB
[startup+3582.3 s]
/proc/loadavg: 2.18 2.23 2.79 3/239 50769
/proc/meminfo: memFree=129125676/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=473660 memory=382772 CPUtime=3571.81 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 56834 0 0 0 353610 3571 0 0 20 0 1 0 54827871 485027840 95693 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 118415 95693 1344 243 0 114664 0
Current children cumulated CPU time: 3571.81 s
Current children cumulated vsize: 473660 KiB
Current children cumulated memory: 382772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 2.12 2.21 2.77 3/239 50770
/proc/meminfo: memFree=129125444/131382120 swapFree=33010416/33010684
[pid=50305] ppid=50302 vsize=473660 memory=382772 CPUtime=3600.03 cores=5,7
/proc/50305/stat : 50305 (pb-oll-rs) R 50302 50305 48617 0 -1 4194304 56834 0 0 0 356392 3611 0 0 20 0 1 0 54827871 485027840 95693 18446744073709551615 4218880 5211445 140735378039840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16355328 140735378045340 140735378045417 140735378045417 140735378051019 0
/proc/50305/statm: 118415 95693 1344 243 0 114664 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 473660 KiB
Current children cumulated memory: 382772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 50305 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3563.93 s, system=36.113 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.61
CPU time (s): 3600.04
CPU user time (s): 3563.93
CPU system time (s): 36.113
CPU usage (%): 99.7074
Max. virtual memory (cumulated for all children) (KiB): 474216
Max. memory (cumulated for all children) (KiB): 383192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.93
system time used= 36.113
maximum resident set size= 383192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56850
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= 204
involuntary context switches= 1918
# summary of solver processes directly reported to runsolver:
# pid: 50305
# total CPU time (s): 3600.04
# total CPU user time (s): 3563.93
# total CPU system time (s): 36.113
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1417 second user time and 34.1521 second system time
The end
Begin job on nodeC002 at 2025-07-01 19:38:11
IDJOB=4497142
IDBENCH=148154
IDSOLVER=3345
FILE ID=nodeC002/4497142-1751391491
RUNJOBID= nodeC002-1751383217-48630
SLURM_JOB_ID= 9598229
Free space on /tmp= 433052 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
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 -w /tmp/evaluation-result-4497142-1751391491/watcher-4497142-1751391491 -o /tmp/evaluation-result-4497142-1751391491/solver-4497142-1751391491 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48630 --watchdog 3760 pb-oll-rs HOME/instance-4497142-1751391491.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 206b08b420dad9af66531a7207372127
RANDOM SEED=744125989
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.144
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.312
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.391
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.019
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.222
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.335
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.724
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127244288 kB
MemAvailable: 127038112 kB
Buffers: 2128 kB
Cached: 602760 kB
SwapCached: 28 kB
Active: 3252524 kB
Inactive: 300180 kB
Active(anon): 2959344 kB
Inactive(anon): 6404 kB
Active(file): 293180 kB
Inactive(file): 293776 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1688 kB
Writeback: 0 kB
AnonPages: 2950836 kB
Mapped: 106764 kB
Shmem: 17932 kB
KReclaimable: 92992 kB
Slab: 176080 kB
SReclaimable: 92992 kB
SUnreclaim: 83088 kB
KernelStack: 4080 kB
PageTables: 9640 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 4251388 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1144832 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC002 at 2025-07-01 20:38:22