0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.10/0.18 c [STEP] solving
0.10/0.18 c #variables 1150 #constraints 81068
0.10/0.18 c SMALL=int, LARGE=long long
0.10/0.18 c bounds - >= -1150 @ 0.122351
0.10/0.18 c stratification level: 0
0.20/0.24 c bounds - >= -213 @ 0.163798
0.20/0.24 c bounds - >= -212 @ 0.163799
0.20/0.24 c bounds - >= -211 @ 0.163941
0.20/0.24 c bounds - >= -210 @ 0.164396
0.20/0.24 c bounds - >= -209 @ 0.164794
0.20/0.24 c bounds - >= -208 @ 0.164794
0.20/0.24 c bounds - >= -207 @ 0.164795
0.20/0.24 c bounds - >= -206 @ 0.165057
0.20/0.24 c bounds - >= -205 @ 0.165864
0.20/0.24 c bounds - >= -204 @ 0.166511
0.20/0.24 c bounds - >= -203 @ 0.167504
0.20/0.24 c bounds - >= -202 @ 0.168219
0.20/0.24 c bounds - >= -201 @ 0.168786
0.20/0.24 c bounds - >= -200 @ 0.168786
0.20/0.24 c bounds - >= -199 @ 0.168786
0.20/0.24 c bounds - >= -198 @ 0.169319
0.20/0.24 c bounds - >= -197 @ 0.169859
0.20/0.24 c bounds - >= -196 @ 0.17065
0.20/0.24 c bounds - >= -195 @ 0.171332
0.20/0.24 c bounds - >= -194 @ 0.171798
0.20/0.24 c bounds - >= -193 @ 0.172541
0.20/0.24 c bounds - >= -192 @ 0.173312
0.20/0.24 c bounds - >= -191 @ 0.174091
0.20/0.24 c bounds - >= -190 @ 0.174772
0.20/0.24 c finalizing WCE round: reformulating cores
19.75/19.88 c bounds -22 >= -212 @ 0.179586
19.75/19.88 c bounds -22 >= -212 @ 0.189042
19.75/19.88 c #Conflicts: 1000 | #Constraints: 82320
19.75/19.88 c #Conflicts: 2000 | #Constraints: 83338
19.75/19.88 c INPROCESSING
19.75/19.88 c GARBAGE COLLECT
19.75/19.88 c bounds -32 >= -200 @ 0.616543
19.75/19.88 c #Conflicts: 3000 | #Constraints: 83202
19.75/19.88 c #Conflicts: 4000 | #Constraints: 84207
19.75/19.88 c INPROCESSING
19.75/19.88 c GARBAGE COLLECT
19.75/19.88 c #Conflicts: 5000 | #Constraints: 83656
19.75/19.88 c #Conflicts: 6000 | #Constraints: 84658
19.75/19.88 c INPROCESSING
19.75/19.88 c GARBAGE COLLECT
19.75/19.88 c #Conflicts: 7000 | #Constraints: 83697
19.75/19.88 c #Conflicts: 8000 | #Constraints: 84699
19.75/19.88 c #Conflicts: 9000 | #Constraints: 85707
19.75/19.88 c INPROCESSING
19.75/19.88 c GARBAGE COLLECT
19.75/19.88 c #Conflicts: 10000 | #Constraints: 84424
19.75/19.88 c bounds -36 >= -188 @ 3.61181
19.75/19.88 c #Conflicts: 11000 | #Constraints: 85430
19.75/19.88 c bounds -36 >= -186 @ 4.30385
19.75/19.88 c bounds -36 >= -185 @ 4.31185
19.75/19.88 c bounds -36 >= -184 @ 4.31859
19.75/19.88 c bounds -36 >= -183 @ 4.32973
19.75/19.88 c bounds -36 >= -182 @ 4.35108
19.75/19.88 c #Conflicts: 12000 | #Constraints: 86516
19.75/19.88 c INPROCESSING
19.75/19.88 c GARBAGE COLLECT
19.75/19.88 c bounds -36 >= -181 @ 4.49178
19.75/19.88 c #Conflicts: 13000 | #Constraints: 85002
19.75/19.88 c #Conflicts: 14000 | #Constraints: 86002
19.75/19.88 c #Conflicts: 15000 | #Constraints: 87002
19.75/19.88 c INPROCESSING
19.75/19.88 c GARBAGE COLLECT
19.75/19.88 c bounds -36 >= -180 @ 4.99635
19.75/19.88 c #Conflicts: 16000 | #Constraints: 85287
19.75/19.88 c #Conflicts: 17000 | #Constraints: 86287
19.75/19.88 c #Conflicts: 18000 | #Constraints: 87287
19.75/19.88 c INPROCESSING
19.75/19.88 c #Conflicts: 19000 | #Constraints: 85289
19.75/19.88 c #Conflicts: 20000 | #Constraints: 86289
19.75/19.88 c #Conflicts: 21000 | #Constraints: 87289
19.75/19.88 c INPROCESSING
19.75/19.88 c GARBAGE COLLECT
19.75/19.88 c #Conflicts: 22000 | #Constraints: 85087
19.75/19.88 c #Conflicts: 23000 | #Constraints: 86087
19.75/19.88 c #Conflicts: 24000 | #Constraints: 87087
19.75/19.88 c #Conflicts: 25000 | #Constraints: 88087
19.75/19.88 c INPROCESSING
19.75/19.88 c #Conflicts: 26000 | #Constraints: 85694
19.75/19.88 c bounds -36 >= -179 @ 6.36014
19.75/19.88 c #Conflicts: 27000 | #Constraints: 86737
19.75/19.88 c #Conflicts: 28000 | #Constraints: 87737
19.75/19.88 c #Conflicts: 29000 | #Constraints: 88737
19.75/19.88 c INPROCESSING
19.75/19.88 c GARBAGE COLLECT
19.75/19.88 c #Conflicts: 30000 | #Constraints: 86134
19.75/19.88 c #Conflicts: 31000 | #Constraints: 87134
19.75/19.88 c #Conflicts: 32000 | #Constraints: 88134
19.75/19.88 c #Conflicts: 33000 | #Constraints: 89134
19.75/19.88 c INPROCESSING
19.75/19.88 c GARBAGE COLLECT
19.75/19.88 c #Conflicts: 34000 | #Constraints: 86335
19.75/19.88 c #Conflicts: 35000 | #Constraints: 87335
19.75/19.88 c #Conflicts: 36000 | #Constraints: 88335
19.75/19.88 c #Conflicts: 37000 | #Constraints: 89335
19.75/19.88 c #Conflicts: 38000 | #Constraints: 90335
19.75/19.88 c #Conflicts: 39000 | #Constraints: 91335
19.75/19.88 c #Conflicts: 40000 | #Constraints: 92335
19.75/19.88 c #Conflicts: 41000 | #Constraints: 93335
19.75/19.88 c #Conflicts: 42000 | #Constraints: 94335
19.75/19.88 c #Conflicts: 43000 | #Constraints: 95335
19.75/19.88 c #Conflicts: 44000 | #Constraints: 96335
19.75/19.88 c #Conflicts: 45000 | #Constraints: 97335
19.75/19.88 c #Conflicts: 46000 | #Constraints: 98335
19.75/19.88 c #Conflicts: 47000 | #Constraints: 99335
19.75/19.88 c #Conflicts: 48000 | #Constraints: 100335
19.75/19.88 c INPROCESSING
19.75/19.88 c GARBAGE COLLECT
19.75/19.88 c #Conflicts: 49000 | #Constraints: 91969
19.75/19.88 c #Conflicts: 50000 | #Constraints: 92969
19.75/19.88 c #Conflicts: 51000 | #Constraints: 93969
19.75/19.88 c #Conflicts: 52000 | #Constraints: 94969
19.75/19.88 c #Conflicts: 53000 | #Constraints: 95969
19.75/19.88 c INPROCESSING
19.75/19.88 c GARBAGE COLLECT
19.75/19.88 c #Conflicts: 54000 | #Constraints: 89628
19.75/19.88 c #Conflicts: 55000 | #Constraints: 90628
19.75/19.88 c #Conflicts: 56000 | #Constraints: 91628
19.75/19.88 c #Conflicts: 57000 | #Constraints: 92628
19.75/19.88 c #Conflicts: 58000 | #Constraints: 93628
19.75/19.88 c INPROCESSING
19.75/19.88 c GARBAGE COLLECT
19.75/19.88 c #Conflicts: 59000 | #Constraints: 88192
19.75/19.88 c #Conflicts: 60000 | #Constraints: 89192
19.75/19.88 c #Conflicts: 61000 | #Constraints: 90192
19.75/19.88 c #Conflicts: 62000 | #Constraints: 91192
19.75/19.88 c #Conflicts: 63000 | #Constraints: 92192
19.75/19.88 c #Conflicts: 64000 | #Constraints: 93192
68.92/69.10 c INPROCESSING
68.92/69.10 c GARBAGE COLLECT
68.92/69.10 c #Conflicts: 65000 | #Constraints: 88126
68.92/69.10 c #Conflicts: 66000 | #Constraints: 89126
68.92/69.10 c #Conflicts: 67000 | #Constraints: 90126
68.92/69.10 c #Conflicts: 68000 | #Constraints: 91126
68.92/69.10 c #Conflicts: 69000 | #Constraints: 92126
68.92/69.10 c #Conflicts: 70000 | #Constraints: 93126
68.92/69.10 c #Conflicts: 71000 | #Constraints: 94126
68.92/69.10 c #Conflicts: 72000 | #Constraints: 95126
68.92/69.10 c #Conflicts: 73000 | #Constraints: 96126
68.92/69.10 c #Conflicts: 74000 | #Constraints: 97126
68.92/69.10 c #Conflicts: 75000 | #Constraints: 98126
68.92/69.10 c #Conflicts: 76000 | #Constraints: 99126
68.92/69.10 c #Conflicts: 77000 | #Constraints: 100126
68.92/69.10 c #Conflicts: 78000 | #Constraints: 101126
68.92/69.10 c #Conflicts: 79000 | #Constraints: 102126
68.92/69.10 c #Conflicts: 80000 | #Constraints: 103126
68.92/69.10 c #Conflicts: 81000 | #Constraints: 104126
68.92/69.10 c #Conflicts: 82000 | #Constraints: 105126
68.92/69.10 c #Conflicts: 83000 | #Constraints: 106126
68.92/69.10 c #Conflicts: 84000 | #Constraints: 107126
68.92/69.10 c INPROCESSING
68.92/69.10 c GARBAGE COLLECT
68.92/69.10 c #Conflicts: 85000 | #Constraints: 94958
68.92/69.10 c #Conflicts: 86000 | #Constraints: 95958
68.92/69.10 c #Conflicts: 87000 | #Constraints: 96958
68.92/69.10 c #Conflicts: 88000 | #Constraints: 97958
68.92/69.10 c #Conflicts: 89000 | #Constraints: 98958
68.92/69.10 c #Conflicts: 90000 | #Constraints: 99958
68.92/69.10 c #Conflicts: 91000 | #Constraints: 100958
68.92/69.10 c INPROCESSING
68.92/69.10 c GARBAGE COLLECT
68.92/69.10 c #Conflicts: 92000 | #Constraints: 91848
68.92/69.10 c #Conflicts: 93000 | #Constraints: 92848
68.92/69.10 c #Conflicts: 94000 | #Constraints: 93848
68.92/69.10 c #Conflicts: 95000 | #Constraints: 94848
68.92/69.10 c #Conflicts: 96000 | #Constraints: 95848
68.92/69.10 c #Conflicts: 97000 | #Constraints: 96848
68.92/69.10 c #Conflicts: 98000 | #Constraints: 97848
68.92/69.10 c #Conflicts: 99000 | #Constraints: 98848
68.92/69.10 c INPROCESSING
68.92/69.10 c GARBAGE COLLECT
68.92/69.10 c #Conflicts: 100000 | #Constraints: 91215
68.92/69.10 c #Conflicts: 101000 | #Constraints: 92215
68.92/69.10 c #Conflicts: 102000 | #Constraints: 93215
68.92/69.10 c #Conflicts: 103000 | #Constraints: 94215
68.92/69.10 c #Conflicts: 104000 | #Constraints: 95215
68.92/69.10 c #Conflicts: 105000 | #Constraints: 96215
68.92/69.10 c #Conflicts: 106000 | #Constraints: 97215
68.92/69.10 c INPROCESSING
68.92/69.10 c GARBAGE COLLECT
68.92/69.10 c #Conflicts: 107000 | #Constraints: 90221
68.92/69.10 c #Conflicts: 108000 | #Constraints: 91221
68.92/69.10 c #Conflicts: 109000 | #Constraints: 92221
68.92/69.10 c #Conflicts: 110000 | #Constraints: 93221
68.92/69.10 c #Conflicts: 111000 | #Constraints: 94221
68.92/69.10 c #Conflicts: 112000 | #Constraints: 95221
68.92/69.10 c #Conflicts: 113000 | #Constraints: 96221
68.92/69.10 c #Conflicts: 114000 | #Constraints: 97221
68.92/69.10 c #Conflicts: 115000 | #Constraints: 98221
68.92/69.10 c #Conflicts: 116000 | #Constraints: 99221
68.92/69.10 c #Conflicts: 117000 | #Constraints: 100221
68.92/69.10 c #Conflicts: 118000 | #Constraints: 101221
68.92/69.10 c #Conflicts: 119000 | #Constraints: 102221
68.92/69.10 c #Conflicts: 120000 | #Constraints: 103221
68.92/69.10 c #Conflicts: 121000 | #Constraints: 104221
68.92/69.10 c #Conflicts: 122000 | #Constraints: 105221
68.92/69.10 c #Conflicts: 123000 | #Constraints: 106221
68.92/69.10 c #Conflicts: 124000 | #Constraints: 107221
68.92/69.10 c #Conflicts: 125000 | #Constraints: 108221
68.92/69.10 c #Conflicts: 126000 | #Constraints: 109221
68.92/69.10 c #Conflicts: 127000 | #Constraints: 110221
68.92/69.10 c #Conflicts: 128000 | #Constraints: 111221
68.92/69.10 c #Conflicts: 129000 | #Constraints: 112221
68.92/69.10 c #Conflicts: 130000 | #Constraints: 113221
68.92/69.10 c #Conflicts: 131000 | #Constraints: 114221
68.92/69.10 c #Conflicts: 132000 | #Constraints: 115221
68.92/69.10 c INPROCESSING
68.92/69.10 c GARBAGE COLLECT
68.92/69.10 c #Conflicts: 133000 | #Constraints: 99407
68.92/69.10 c #Conflicts: 134000 | #Constraints: 100407
68.92/69.10 c #Conflicts: 135000 | #Constraints: 101407
68.92/69.10 c #Conflicts: 136000 | #Constraints: 102407
68.92/69.10 c #Conflicts: 137000 | #Constraints: 103407
68.92/69.10 c #Conflicts: 138000 | #Constraints: 104407
68.92/69.10 c #Conflicts: 139000 | #Constraints: 105407
132.46/132.82 c #Conflicts: 140000 | #Constraints: 106407
132.46/132.82 c INPROCESSING
132.46/132.82 c GARBAGE COLLECT
132.46/132.82 c #Conflicts: 141000 | #Constraints: 94651
132.46/132.82 c #Conflicts: 142000 | #Constraints: 95651
132.46/132.82 c #Conflicts: 143000 | #Constraints: 96651
132.46/132.82 c #Conflicts: 144000 | #Constraints: 97651
132.46/132.82 c #Conflicts: 145000 | #Constraints: 98651
132.46/132.82 c #Conflicts: 146000 | #Constraints: 99651
132.46/132.82 c #Conflicts: 147000 | #Constraints: 100651
132.46/132.82 c #Conflicts: 148000 | #Constraints: 101651
132.46/132.82 c #Conflicts: 149000 | #Constraints: 102651
132.46/132.82 c INPROCESSING
132.46/132.82 c GARBAGE COLLECT
132.46/132.82 c #Conflicts: 150000 | #Constraints: 92835
132.46/132.82 c #Conflicts: 151000 | #Constraints: 93835
132.46/132.82 c #Conflicts: 152000 | #Constraints: 94835
132.46/132.82 c #Conflicts: 153000 | #Constraints: 95835
132.46/132.82 c #Conflicts: 154000 | #Constraints: 96835
132.46/132.82 c #Conflicts: 155000 | #Constraints: 97835
132.46/132.82 c #Conflicts: 156000 | #Constraints: 98835
132.46/132.82 c #Conflicts: 157000 | #Constraints: 99835
132.46/132.82 c #Conflicts: 158000 | #Constraints: 100835
132.46/132.82 c INPROCESSING
132.46/132.82 c GARBAGE COLLECT
132.46/132.82 c #Conflicts: 159000 | #Constraints: 91860
132.46/132.82 c #Conflicts: 160000 | #Constraints: 92860
132.46/132.82 c #Conflicts: 161000 | #Constraints: 93860
132.46/132.82 c #Conflicts: 162000 | #Constraints: 94860
132.46/132.82 c #Conflicts: 163000 | #Constraints: 95860
132.46/132.82 c #Conflicts: 164000 | #Constraints: 96860
132.46/132.82 c #Conflicts: 165000 | #Constraints: 97860
132.46/132.82 c #Conflicts: 166000 | #Constraints: 98860
132.46/132.82 c #Conflicts: 167000 | #Constraints: 99860
132.46/132.82 c #Conflicts: 168000 | #Constraints: 100860
132.46/132.82 c #Conflicts: 169000 | #Constraints: 101860
132.46/132.82 c #Conflicts: 170000 | #Constraints: 102860
132.46/132.82 c #Conflicts: 171000 | #Constraints: 103860
132.46/132.82 c #Conflicts: 172000 | #Constraints: 104860
132.46/132.82 c #Conflicts: 173000 | #Constraints: 105860
132.46/132.82 c #Conflicts: 174000 | #Constraints: 106860
132.46/132.82 c #Conflicts: 175000 | #Constraints: 107860
132.46/132.82 c #Conflicts: 176000 | #Constraints: 108860
132.46/132.82 c #Conflicts: 177000 | #Constraints: 109860
132.46/132.82 c #Conflicts: 178000 | #Constraints: 110860
132.46/132.82 c #Conflicts: 179000 | #Constraints: 111860
132.46/132.82 c #Conflicts: 180000 | #Constraints: 112860
132.46/132.82 c #Conflicts: 181000 | #Constraints: 113860
132.46/132.82 c #Conflicts: 182000 | #Constraints: 114860
132.46/132.82 c #Conflicts: 183000 | #Constraints: 115860
132.46/132.82 c #Conflicts: 184000 | #Constraints: 116860
132.46/132.82 c #Conflicts: 185000 | #Constraints: 117860
132.46/132.82 c #Conflicts: 186000 | #Constraints: 118860
132.46/132.82 c #Conflicts: 187000 | #Constraints: 119860
132.46/132.82 c #Conflicts: 188000 | #Constraints: 120860
132.46/132.82 c #Conflicts: 189000 | #Constraints: 121860
132.46/132.82 c INPROCESSING
132.46/132.82 c GARBAGE COLLECT
132.46/132.82 c #Conflicts: 190000 | #Constraints: 102441
132.46/132.82 c #Conflicts: 191000 | #Constraints: 103441
132.46/132.82 c #Conflicts: 192000 | #Constraints: 104441
132.46/132.82 c #Conflicts: 193000 | #Constraints: 105441
132.46/132.82 c #Conflicts: 194000 | #Constraints: 106441
132.46/132.82 c #Conflicts: 195000 | #Constraints: 107441
132.46/132.82 c #Conflicts: 196000 | #Constraints: 108441
132.46/132.82 c #Conflicts: 197000 | #Constraints: 109441
132.46/132.82 c #Conflicts: 198000 | #Constraints: 110441
132.46/132.82 c #Conflicts: 199000 | #Constraints: 111441
132.46/132.82 c #Conflicts: 200000 | #Constraints: 112441
132.46/132.82 c INPROCESSING
132.46/132.82 c GARBAGE COLLECT
132.46/132.82 c #Conflicts: 201000 | #Constraints: 98013
132.46/132.82 c #Conflicts: 202000 | #Constraints: 99013
132.46/132.82 c #Conflicts: 203000 | #Constraints: 100013
132.46/132.82 c #Conflicts: 204000 | #Constraints: 101013
132.46/132.82 c #Conflicts: 205000 | #Constraints: 102013
132.46/132.82 c #Conflicts: 206000 | #Constraints: 103013
132.46/132.82 c #Conflicts: 207000 | #Constraints: 104013
132.46/132.82 c #Conflicts: 208000 | #Constraints: 105013
132.46/132.82 c #Conflicts: 209000 | #Constraints: 106013
132.46/132.82 c #Conflicts: 210000 | #Constraints: 107013
132.46/132.82 c INPROCESSING
132.46/132.82 c GARBAGE COLLECT
132.46/132.82 c #Conflicts: 211000 | #Constraints: 94999
132.46/132.82 c #Conflicts: 212000 | #Constraints: 95999
132.46/132.82 c #Conflicts: 213000 | #Constraints: 96999
132.46/132.82 c #Conflicts: 214000 | #Constraints: 97999
214.95/215.52 c #Conflicts: 215000 | #Constraints: 98999
214.95/215.52 c #Conflicts: 216000 | #Constraints: 99999
214.95/215.52 c #Conflicts: 217000 | #Constraints: 100999
214.95/215.52 c #Conflicts: 218000 | #Constraints: 101999
214.95/215.52 c #Conflicts: 219000 | #Constraints: 102999
214.95/215.52 c #Conflicts: 220000 | #Constraints: 103999
214.95/215.52 c #Conflicts: 221000 | #Constraints: 104999
214.95/215.52 c INPROCESSING
214.95/215.52 c GARBAGE COLLECT
214.95/215.52 c #Conflicts: 222000 | #Constraints: 94089
214.95/215.52 c #Conflicts: 223000 | #Constraints: 95089
214.95/215.52 c #Conflicts: 224000 | #Constraints: 96089
214.95/215.52 c #Conflicts: 225000 | #Constraints: 97089
214.95/215.52 c #Conflicts: 226000 | #Constraints: 98089
214.95/215.52 c #Conflicts: 227000 | #Constraints: 99089
214.95/215.52 c #Conflicts: 228000 | #Constraints: 100089
214.95/215.52 c #Conflicts: 229000 | #Constraints: 101089
214.95/215.52 c #Conflicts: 230000 | #Constraints: 102089
214.95/215.52 c #Conflicts: 231000 | #Constraints: 103089
214.95/215.52 c #Conflicts: 232000 | #Constraints: 104089
214.95/215.52 c #Conflicts: 233000 | #Constraints: 105089
214.95/215.52 c #Conflicts: 234000 | #Constraints: 106089
214.95/215.52 c #Conflicts: 235000 | #Constraints: 107089
214.95/215.52 c #Conflicts: 236000 | #Constraints: 108089
214.95/215.52 c #Conflicts: 237000 | #Constraints: 109089
214.95/215.52 c #Conflicts: 238000 | #Constraints: 110089
214.95/215.52 c #Conflicts: 239000 | #Constraints: 111089
214.95/215.52 c #Conflicts: 240000 | #Constraints: 112089
214.95/215.52 c #Conflicts: 241000 | #Constraints: 113089
214.95/215.52 c #Conflicts: 242000 | #Constraints: 114089
214.95/215.52 c #Conflicts: 243000 | #Constraints: 115089
214.95/215.52 c #Conflicts: 244000 | #Constraints: 116089
214.95/215.52 c #Conflicts: 245000 | #Constraints: 117089
214.95/215.52 c #Conflicts: 246000 | #Constraints: 118089
214.95/215.52 c #Conflicts: 247000 | #Constraints: 119089
214.95/215.52 c #Conflicts: 248000 | #Constraints: 120089
214.95/215.52 c #Conflicts: 249000 | #Constraints: 121089
214.95/215.52 c #Conflicts: 250000 | #Constraints: 122089
214.95/215.52 c #Conflicts: 251000 | #Constraints: 123089
214.95/215.52 c #Conflicts: 252000 | #Constraints: 124089
214.95/215.52 c #Conflicts: 253000 | #Constraints: 125089
214.95/215.52 c #Conflicts: 254000 | #Constraints: 126089
214.95/215.52 c #Conflicts: 255000 | #Constraints: 127089
214.95/215.52 c #Conflicts: 256000 | #Constraints: 128089
214.95/215.52 c #Conflicts: 257000 | #Constraints: 129089
214.95/215.52 c INPROCESSING
214.95/215.52 c GARBAGE COLLECT
214.95/215.52 c #Conflicts: 258000 | #Constraints: 106046
214.95/215.52 c #Conflicts: 259000 | #Constraints: 107046
214.95/215.52 c #Conflicts: 260000 | #Constraints: 108046
214.95/215.52 c #Conflicts: 261000 | #Constraints: 109046
214.95/215.52 c #Conflicts: 262000 | #Constraints: 110046
214.95/215.52 c #Conflicts: 263000 | #Constraints: 111046
214.95/215.52 c #Conflicts: 264000 | #Constraints: 112046
214.95/215.52 c #Conflicts: 265000 | #Constraints: 113046
214.95/215.52 c #Conflicts: 266000 | #Constraints: 114046
214.95/215.52 c #Conflicts: 267000 | #Constraints: 115046
214.95/215.52 c #Conflicts: 268000 | #Constraints: 116046
214.95/215.52 c #Conflicts: 269000 | #Constraints: 117046
214.95/215.52 c INPROCESSING
214.95/215.52 c GARBAGE COLLECT
214.95/215.52 c #Conflicts: 270000 | #Constraints: 99970
214.95/215.52 c #Conflicts: 271000 | #Constraints: 100970
214.95/215.52 c #Conflicts: 272000 | #Constraints: 101970
214.95/215.52 c #Conflicts: 273000 | #Constraints: 102970
214.95/215.52 c #Conflicts: 274000 | #Constraints: 103970
214.95/215.52 c #Conflicts: 275000 | #Constraints: 104970
214.95/215.52 c #Conflicts: 276000 | #Constraints: 105970
214.95/215.52 c #Conflicts: 277000 | #Constraints: 106970
214.95/215.52 c #Conflicts: 278000 | #Constraints: 107970
214.95/215.52 c #Conflicts: 279000 | #Constraints: 108970
214.95/215.52 c #Conflicts: 280000 | #Constraints: 109970
214.95/215.52 c #Conflicts: 281000 | #Constraints: 110970
214.95/215.52 c #Conflicts: 282000 | #Constraints: 111970
214.95/215.52 c INPROCESSING
214.95/215.52 c GARBAGE COLLECT
214.95/215.52 c #Conflicts: 283000 | #Constraints: 97791
214.95/215.52 c #Conflicts: 284000 | #Constraints: 98791
214.95/215.52 c #Conflicts: 285000 | #Constraints: 99791
214.95/215.52 c #Conflicts: 286000 | #Constraints: 100791
214.95/215.52 c #Conflicts: 287000 | #Constraints: 101791
214.95/215.52 c #Conflicts: 288000 | #Constraints: 102791
214.95/215.52 c #Conflicts: 289000 | #Constraints: 103791
214.95/215.52 c #Conflicts: 290000 | #Constraints: 104791
310.10/310.94 c #Conflicts: 291000 | #Constraints: 105791
310.10/310.94 c #Conflicts: 292000 | #Constraints: 106791
310.10/310.94 c #Conflicts: 293000 | #Constraints: 107791
310.10/310.94 c #Conflicts: 294000 | #Constraints: 108791
310.10/310.94 c INPROCESSING
310.10/310.94 c GARBAGE COLLECT
310.10/310.94 c #Conflicts: 295000 | #Constraints: 95949
310.10/310.94 c #Conflicts: 296000 | #Constraints: 96949
310.10/310.94 c #Conflicts: 297000 | #Constraints: 97949
310.10/310.94 c #Conflicts: 298000 | #Constraints: 98949
310.10/310.94 c #Conflicts: 299000 | #Constraints: 99949
310.10/310.94 c #Conflicts: 300000 | #Constraints: 100949
310.10/310.94 c #Conflicts: 301000 | #Constraints: 101949
310.10/310.94 c #Conflicts: 302000 | #Constraints: 102949
310.10/310.94 c #Conflicts: 303000 | #Constraints: 103949
310.10/310.94 c #Conflicts: 304000 | #Constraints: 104949
310.10/310.94 c #Conflicts: 305000 | #Constraints: 105949
310.10/310.94 c #Conflicts: 306000 | #Constraints: 106949
310.10/310.94 c #Conflicts: 307000 | #Constraints: 107949
310.10/310.94 c #Conflicts: 308000 | #Constraints: 108949
310.10/310.94 c #Conflicts: 309000 | #Constraints: 109949
310.10/310.94 c #Conflicts: 310000 | #Constraints: 110949
310.10/310.94 c #Conflicts: 311000 | #Constraints: 111949
310.10/310.94 c #Conflicts: 312000 | #Constraints: 112949
310.10/310.94 c #Conflicts: 313000 | #Constraints: 113949
310.10/310.94 c #Conflicts: 314000 | #Constraints: 114949
310.10/310.94 c #Conflicts: 315000 | #Constraints: 115949
310.10/310.94 c #Conflicts: 316000 | #Constraints: 116949
310.10/310.94 c #Conflicts: 317000 | #Constraints: 117949
310.10/310.94 c #Conflicts: 318000 | #Constraints: 118949
310.10/310.94 c #Conflicts: 319000 | #Constraints: 119949
310.10/310.94 c #Conflicts: 320000 | #Constraints: 120949
310.10/310.94 c #Conflicts: 321000 | #Constraints: 121949
310.10/310.94 c #Conflicts: 322000 | #Constraints: 122949
310.10/310.94 c #Conflicts: 323000 | #Constraints: 123949
310.10/310.94 c #Conflicts: 324000 | #Constraints: 124949
310.10/310.94 c #Conflicts: 325000 | #Constraints: 125949
310.10/310.94 c #Conflicts: 326000 | #Constraints: 126949
310.10/310.94 c #Conflicts: 327000 | #Constraints: 127949
310.10/310.94 c #Conflicts: 328000 | #Constraints: 128949
310.10/310.94 c #Conflicts: 329000 | #Constraints: 129949
310.10/310.94 c #Conflicts: 330000 | #Constraints: 130949
310.10/310.94 c #Conflicts: 331000 | #Constraints: 131949
310.10/310.94 c #Conflicts: 332000 | #Constraints: 132949
310.10/310.94 c #Conflicts: 333000 | #Constraints: 133949
310.10/310.94 c #Conflicts: 334000 | #Constraints: 134949
310.10/310.94 c #Conflicts: 335000 | #Constraints: 135949
310.10/310.94 c #Conflicts: 336000 | #Constraints: 136949
310.10/310.94 c INPROCESSING
310.10/310.94 c GARBAGE COLLECT
310.10/310.94 c #Conflicts: 337000 | #Constraints: 110287
310.10/310.94 c #Conflicts: 338000 | #Constraints: 111287
310.10/310.94 c #Conflicts: 339000 | #Constraints: 112287
310.10/310.94 c #Conflicts: 340000 | #Constraints: 113287
310.10/310.94 c #Conflicts: 341000 | #Constraints: 114287
310.10/310.94 c #Conflicts: 342000 | #Constraints: 115287
310.10/310.94 c #Conflicts: 343000 | #Constraints: 116287
310.10/310.94 c #Conflicts: 344000 | #Constraints: 117287
310.10/310.94 c #Conflicts: 345000 | #Constraints: 118287
310.10/310.94 c #Conflicts: 346000 | #Constraints: 119287
310.10/310.94 c #Conflicts: 347000 | #Constraints: 120287
310.10/310.94 c #Conflicts: 348000 | #Constraints: 121287
310.10/310.94 c #Conflicts: 349000 | #Constraints: 122287
310.10/310.94 c INPROCESSING
310.10/310.94 c GARBAGE COLLECT
310.10/310.94 c #Conflicts: 350000 | #Constraints: 102549
310.10/310.94 c #Conflicts: 351000 | #Constraints: 103549
310.10/310.94 c #Conflicts: 352000 | #Constraints: 104549
310.10/310.94 c #Conflicts: 353000 | #Constraints: 105549
310.10/310.94 c #Conflicts: 354000 | #Constraints: 106549
310.10/310.94 c #Conflicts: 355000 | #Constraints: 107549
310.10/310.94 c #Conflicts: 356000 | #Constraints: 108549
310.10/310.94 c #Conflicts: 357000 | #Constraints: 109549
310.10/310.94 c #Conflicts: 358000 | #Constraints: 110549
310.10/310.94 c #Conflicts: 359000 | #Constraints: 111549
310.10/310.94 c #Conflicts: 360000 | #Constraints: 112549
310.10/310.94 c #Conflicts: 361000 | #Constraints: 113549
310.10/310.94 c #Conflicts: 362000 | #Constraints: 114549
310.10/310.94 c #Conflicts: 363000 | #Constraints: 115549
310.10/310.94 c INPROCESSING
310.10/310.94 c GARBAGE COLLECT
310.10/310.94 c #Conflicts: 364000 | #Constraints: 99197
310.10/310.94 c #Conflicts: 365000 | #Constraints: 100197
310.10/310.94 c #Conflicts: 366000 | #Constraints: 101197
421.13/422.20 c #Conflicts: 367000 | #Constraints: 102197
421.13/422.20 c #Conflicts: 368000 | #Constraints: 103197
421.13/422.20 c #Conflicts: 369000 | #Constraints: 104197
421.13/422.20 c #Conflicts: 370000 | #Constraints: 105197
421.13/422.20 c #Conflicts: 371000 | #Constraints: 106197
421.13/422.20 c #Conflicts: 372000 | #Constraints: 107197
421.13/422.20 c #Conflicts: 373000 | #Constraints: 108197
421.13/422.20 c #Conflicts: 374000 | #Constraints: 109197
421.13/422.20 c #Conflicts: 375000 | #Constraints: 110197
421.13/422.20 c #Conflicts: 376000 | #Constraints: 111197
421.13/422.20 c #Conflicts: 377000 | #Constraints: 112197
421.13/422.20 c #Conflicts: 378000 | #Constraints: 113197
421.13/422.20 c INPROCESSING
421.13/422.20 c GARBAGE COLLECT
421.13/422.20 c #Conflicts: 379000 | #Constraints: 98393
421.13/422.20 c #Conflicts: 380000 | #Constraints: 99393
421.13/422.20 c #Conflicts: 381000 | #Constraints: 100393
421.13/422.20 c #Conflicts: 382000 | #Constraints: 101393
421.13/422.20 c #Conflicts: 383000 | #Constraints: 102393
421.13/422.20 c #Conflicts: 384000 | #Constraints: 103393
421.13/422.20 c #Conflicts: 385000 | #Constraints: 104393
421.13/422.20 c #Conflicts: 386000 | #Constraints: 105393
421.13/422.20 c #Conflicts: 387000 | #Constraints: 106393
421.13/422.20 c #Conflicts: 388000 | #Constraints: 107393
421.13/422.20 c #Conflicts: 389000 | #Constraints: 108393
421.13/422.20 c #Conflicts: 390000 | #Constraints: 109393
421.13/422.20 c #Conflicts: 391000 | #Constraints: 110393
421.13/422.20 c #Conflicts: 392000 | #Constraints: 111393
421.13/422.20 c #Conflicts: 393000 | #Constraints: 112393
421.13/422.20 c #Conflicts: 394000 | #Constraints: 113393
421.13/422.20 c #Conflicts: 395000 | #Constraints: 114393
421.13/422.20 c #Conflicts: 396000 | #Constraints: 115393
421.13/422.20 c #Conflicts: 397000 | #Constraints: 116393
421.13/422.20 c #Conflicts: 398000 | #Constraints: 117393
421.13/422.20 c #Conflicts: 399000 | #Constraints: 118393
421.13/422.20 c #Conflicts: 400000 | #Constraints: 119393
421.13/422.20 c #Conflicts: 401000 | #Constraints: 120393
421.13/422.20 c #Conflicts: 402000 | #Constraints: 121393
421.13/422.20 c #Conflicts: 403000 | #Constraints: 122393
421.13/422.20 c #Conflicts: 404000 | #Constraints: 123393
421.13/422.20 c #Conflicts: 405000 | #Constraints: 124393
421.13/422.20 c #Conflicts: 406000 | #Constraints: 125393
421.13/422.20 c #Conflicts: 407000 | #Constraints: 126393
421.13/422.20 c #Conflicts: 408000 | #Constraints: 127393
421.13/422.20 c #Conflicts: 409000 | #Constraints: 128393
421.13/422.20 c #Conflicts: 410000 | #Constraints: 129393
421.13/422.20 c #Conflicts: 411000 | #Constraints: 130393
421.13/422.20 c #Conflicts: 412000 | #Constraints: 131393
421.13/422.20 c #Conflicts: 413000 | #Constraints: 132393
421.13/422.20 c #Conflicts: 414000 | #Constraints: 133393
421.13/422.20 c #Conflicts: 415000 | #Constraints: 134393
421.13/422.20 c #Conflicts: 416000 | #Constraints: 135393
421.13/422.20 c #Conflicts: 417000 | #Constraints: 136393
421.13/422.20 c #Conflicts: 418000 | #Constraints: 137393
421.13/422.20 c #Conflicts: 419000 | #Constraints: 138393
421.13/422.20 c #Conflicts: 420000 | #Constraints: 139393
421.13/422.20 c #Conflicts: 421000 | #Constraints: 140393
421.13/422.20 c #Conflicts: 422000 | #Constraints: 141393
421.13/422.20 c #Conflicts: 423000 | #Constraints: 142393
421.13/422.20 c #Conflicts: 424000 | #Constraints: 143393
421.13/422.20 c INPROCESSING
421.13/422.20 c GARBAGE COLLECT
421.13/422.20 c #Conflicts: 425000 | #Constraints: 113098
421.13/422.20 c #Conflicts: 426000 | #Constraints: 114098
421.13/422.20 c #Conflicts: 427000 | #Constraints: 115098
421.13/422.20 c #Conflicts: 428000 | #Constraints: 116098
421.13/422.20 c #Conflicts: 429000 | #Constraints: 117098
421.13/422.20 c #Conflicts: 430000 | #Constraints: 118098
421.13/422.20 c #Conflicts: 431000 | #Constraints: 119098
421.13/422.20 c #Conflicts: 432000 | #Constraints: 120098
421.13/422.20 c #Conflicts: 433000 | #Constraints: 121098
421.13/422.20 c #Conflicts: 434000 | #Constraints: 122098
421.13/422.20 c #Conflicts: 435000 | #Constraints: 123098
421.13/422.20 c #Conflicts: 436000 | #Constraints: 124098
421.13/422.20 c #Conflicts: 437000 | #Constraints: 125098
421.13/422.20 c #Conflicts: 438000 | #Constraints: 126098
421.13/422.20 c #Conflicts: 439000 | #Constraints: 127098
421.13/422.20 c #Conflicts: 440000 | #Constraints: 128098
421.13/422.20 c INPROCESSING
421.13/422.20 c GARBAGE COLLECT
421.13/422.20 c #Conflicts: 441000 | #Constraints: 105695
421.13/422.20 c #Conflicts: 442000 | #Constraints: 106695
421.13/422.20 c #Conflicts: 443000 | #Constraints: 107695
540.22/541.61 c #Conflicts: 444000 | #Constraints: 108695
540.22/541.61 c #Conflicts: 445000 | #Constraints: 109695
540.22/541.61 c #Conflicts: 446000 | #Constraints: 110695
540.22/541.61 c #Conflicts: 447000 | #Constraints: 111695
540.22/541.61 c #Conflicts: 448000 | #Constraints: 112695
540.22/541.61 c #Conflicts: 449000 | #Constraints: 113695
540.22/541.61 c #Conflicts: 450000 | #Constraints: 114695
540.22/541.61 c #Conflicts: 451000 | #Constraints: 115695
540.22/541.61 c #Conflicts: 452000 | #Constraints: 116695
540.22/541.61 c #Conflicts: 453000 | #Constraints: 117695
540.22/541.61 c #Conflicts: 454000 | #Constraints: 118695
540.22/541.61 c #Conflicts: 455000 | #Constraints: 119695
540.22/541.61 c #Conflicts: 456000 | #Constraints: 120695
540.22/541.61 c INPROCESSING
540.22/541.61 c GARBAGE COLLECT
540.22/541.61 c #Conflicts: 457000 | #Constraints: 102151
540.22/541.61 c #Conflicts: 458000 | #Constraints: 103151
540.22/541.61 c #Conflicts: 459000 | #Constraints: 104151
540.22/541.61 c #Conflicts: 460000 | #Constraints: 105151
540.22/541.61 c #Conflicts: 461000 | #Constraints: 106151
540.22/541.61 c #Conflicts: 462000 | #Constraints: 107151
540.22/541.61 c #Conflicts: 463000 | #Constraints: 108151
540.22/541.61 c #Conflicts: 464000 | #Constraints: 109151
540.22/541.61 c #Conflicts: 465000 | #Constraints: 110151
540.22/541.61 c #Conflicts: 466000 | #Constraints: 111151
540.22/541.61 c #Conflicts: 467000 | #Constraints: 112151
540.22/541.61 c #Conflicts: 468000 | #Constraints: 113151
540.22/541.61 c #Conflicts: 469000 | #Constraints: 114151
540.22/541.61 c #Conflicts: 470000 | #Constraints: 115151
540.22/541.61 c #Conflicts: 471000 | #Constraints: 116151
540.22/541.61 c INPROCESSING
540.22/541.61 c GARBAGE COLLECT
540.22/541.61 c #Conflicts: 472000 | #Constraints: 99437
540.22/541.61 c #Conflicts: 473000 | #Constraints: 100437
540.22/541.61 c #Conflicts: 474000 | #Constraints: 101437
540.22/541.61 c #Conflicts: 475000 | #Constraints: 102437
540.22/541.61 c #Conflicts: 476000 | #Constraints: 103437
540.22/541.61 c #Conflicts: 477000 | #Constraints: 104437
540.22/541.61 c #Conflicts: 478000 | #Constraints: 105437
540.22/541.61 c #Conflicts: 479000 | #Constraints: 106437
540.22/541.61 c #Conflicts: 480000 | #Constraints: 107437
540.22/541.61 c #Conflicts: 481000 | #Constraints: 108437
540.22/541.61 c #Conflicts: 482000 | #Constraints: 109437
540.22/541.61 c #Conflicts: 483000 | #Constraints: 110437
540.22/541.61 c #Conflicts: 484000 | #Constraints: 111437
540.22/541.61 c #Conflicts: 485000 | #Constraints: 112437
540.22/541.61 c #Conflicts: 486000 | #Constraints: 113437
540.22/541.61 c #Conflicts: 487000 | #Constraints: 114437
540.22/541.61 c #Conflicts: 488000 | #Constraints: 115437
540.22/541.61 c #Conflicts: 489000 | #Constraints: 116437
540.22/541.61 c #Conflicts: 490000 | #Constraints: 117437
540.22/541.61 c #Conflicts: 491000 | #Constraints: 118437
540.22/541.61 c #Conflicts: 492000 | #Constraints: 119437
540.22/541.61 c #Conflicts: 493000 | #Constraints: 120437
540.22/541.61 c #Conflicts: 494000 | #Constraints: 121437
540.22/541.61 c #Conflicts: 495000 | #Constraints: 122437
540.22/541.61 c #Conflicts: 496000 | #Constraints: 123437
540.22/541.61 c #Conflicts: 497000 | #Constraints: 124437
540.22/541.61 c #Conflicts: 498000 | #Constraints: 125437
540.22/541.61 c #Conflicts: 499000 | #Constraints: 126437
540.22/541.61 c #Conflicts: 500000 | #Constraints: 127437
540.22/541.61 c #Conflicts: 501000 | #Constraints: 128437
540.22/541.61 c #Conflicts: 502000 | #Constraints: 129437
540.22/541.61 c #Conflicts: 503000 | #Constraints: 130437
540.22/541.61 c #Conflicts: 504000 | #Constraints: 131437
540.22/541.61 c #Conflicts: 505000 | #Constraints: 132437
540.22/541.61 c #Conflicts: 506000 | #Constraints: 133437
540.22/541.61 c #Conflicts: 507000 | #Constraints: 134437
540.22/541.61 c #Conflicts: 508000 | #Constraints: 135437
540.22/541.61 c #Conflicts: 509000 | #Constraints: 136437
540.22/541.61 c #Conflicts: 510000 | #Constraints: 137437
540.22/541.61 c #Conflicts: 511000 | #Constraints: 138437
540.22/541.61 c #Conflicts: 512000 | #Constraints: 139437
540.22/541.61 c #Conflicts: 513000 | #Constraints: 140437
540.22/541.61 c #Conflicts: 514000 | #Constraints: 141437
540.22/541.61 c #Conflicts: 515000 | #Constraints: 142437
540.22/541.61 c #Conflicts: 516000 | #Constraints: 143437
540.22/541.61 c #Conflicts: 517000 | #Constraints: 144437
540.22/541.61 c #Conflicts: 518000 | #Constraints: 145437
540.22/541.61 c #Conflicts: 519000 | #Constraints: 146437
540.22/541.61 c #Conflicts: 520000 | #Constraints: 147437
540.22/541.61 c #Conflicts: 521000 | #Constraints: 148437
673.75/675.59 c #Conflicts: 522000 | #Constraints: 149437
673.75/675.59 c #Conflicts: 523000 | #Constraints: 150437
673.75/675.59 c #Conflicts: 524000 | #Constraints: 151437
673.75/675.59 c INPROCESSING
673.75/675.59 c GARBAGE COLLECT
673.75/675.59 c #Conflicts: 525000 | #Constraints: 117526
673.75/675.59 c #Conflicts: 526000 | #Constraints: 118526
673.75/675.59 c #Conflicts: 527000 | #Constraints: 119526
673.75/675.59 c #Conflicts: 528000 | #Constraints: 120526
673.75/675.59 c #Conflicts: 529000 | #Constraints: 121526
673.75/675.59 c #Conflicts: 530000 | #Constraints: 122526
673.75/675.59 c #Conflicts: 531000 | #Constraints: 123526
673.75/675.59 c #Conflicts: 532000 | #Constraints: 124526
673.75/675.59 c #Conflicts: 533000 | #Constraints: 125526
673.75/675.59 c #Conflicts: 534000 | #Constraints: 126526
673.75/675.59 c #Conflicts: 535000 | #Constraints: 127526
673.75/675.59 c #Conflicts: 536000 | #Constraints: 128526
673.75/675.59 c #Conflicts: 537000 | #Constraints: 129526
673.75/675.59 c #Conflicts: 538000 | #Constraints: 130526
673.75/675.59 c #Conflicts: 539000 | #Constraints: 131526
673.75/675.59 c #Conflicts: 540000 | #Constraints: 132526
673.75/675.59 c #Conflicts: 541000 | #Constraints: 133526
673.75/675.59 c INPROCESSING
673.75/675.59 c GARBAGE COLLECT
673.75/675.59 c #Conflicts: 542000 | #Constraints: 108467
673.75/675.59 c #Conflicts: 543000 | #Constraints: 109467
673.75/675.59 c #Conflicts: 544000 | #Constraints: 110467
673.75/675.59 c #Conflicts: 545000 | #Constraints: 111467
673.75/675.59 c #Conflicts: 546000 | #Constraints: 112467
673.75/675.59 c #Conflicts: 547000 | #Constraints: 113467
673.75/675.59 c #Conflicts: 548000 | #Constraints: 114467
673.75/675.59 c #Conflicts: 549000 | #Constraints: 115467
673.75/675.59 c #Conflicts: 550000 | #Constraints: 116467
673.75/675.59 c #Conflicts: 551000 | #Constraints: 117467
673.75/675.59 c #Conflicts: 552000 | #Constraints: 118467
673.75/675.59 c #Conflicts: 553000 | #Constraints: 119467
673.75/675.59 c #Conflicts: 554000 | #Constraints: 120467
673.75/675.59 c #Conflicts: 555000 | #Constraints: 121467
673.75/675.59 c #Conflicts: 556000 | #Constraints: 122467
673.75/675.59 c #Conflicts: 557000 | #Constraints: 123467
673.75/675.59 c #Conflicts: 558000 | #Constraints: 124467
673.75/675.59 c INPROCESSING
673.75/675.59 c GARBAGE COLLECT
673.75/675.59 c #Conflicts: 559000 | #Constraints: 103748
673.75/675.59 c #Conflicts: 560000 | #Constraints: 104748
673.75/675.59 c #Conflicts: 561000 | #Constraints: 105748
673.75/675.59 c #Conflicts: 562000 | #Constraints: 106748
673.75/675.59 c #Conflicts: 563000 | #Constraints: 107748
673.75/675.59 c #Conflicts: 564000 | #Constraints: 108748
673.75/675.59 c #Conflicts: 565000 | #Constraints: 109748
673.75/675.59 c #Conflicts: 566000 | #Constraints: 110748
673.75/675.59 c #Conflicts: 567000 | #Constraints: 111748
673.75/675.59 c #Conflicts: 568000 | #Constraints: 112748
673.75/675.59 c #Conflicts: 569000 | #Constraints: 113748
673.75/675.59 c #Conflicts: 570000 | #Constraints: 114748
673.75/675.59 c #Conflicts: 571000 | #Constraints: 115748
673.75/675.59 c #Conflicts: 572000 | #Constraints: 116748
673.75/675.59 c #Conflicts: 573000 | #Constraints: 117748
673.75/675.59 c #Conflicts: 574000 | #Constraints: 118748
673.75/675.59 c #Conflicts: 575000 | #Constraints: 119748
673.75/675.59 c #Conflicts: 576000 | #Constraints: 120748
673.75/675.59 c INPROCESSING
673.75/675.59 c GARBAGE COLLECT
673.75/675.59 c #Conflicts: 577000 | #Constraints: 102069
673.75/675.59 c #Conflicts: 578000 | #Constraints: 103069
673.75/675.59 c #Conflicts: 579000 | #Constraints: 104069
673.75/675.59 c #Conflicts: 580000 | #Constraints: 105069
673.75/675.59 c #Conflicts: 581000 | #Constraints: 106069
673.75/675.59 c #Conflicts: 582000 | #Constraints: 107069
673.75/675.59 c #Conflicts: 583000 | #Constraints: 108069
673.75/675.59 c #Conflicts: 584000 | #Constraints: 109069
673.75/675.59 c #Conflicts: 585000 | #Constraints: 110069
673.75/675.59 c #Conflicts: 586000 | #Constraints: 111069
673.75/675.59 c #Conflicts: 587000 | #Constraints: 112069
673.75/675.59 c #Conflicts: 588000 | #Constraints: 113069
673.75/675.59 c #Conflicts: 589000 | #Constraints: 114069
673.75/675.59 c #Conflicts: 590000 | #Constraints: 115069
673.75/675.59 c #Conflicts: 591000 | #Constraints: 116069
673.75/675.59 c #Conflicts: 592000 | #Constraints: 117069
673.75/675.59 c #Conflicts: 593000 | #Constraints: 118069
673.75/675.59 c #Conflicts: 594000 | #Constraints: 119069
673.75/675.59 c #Conflicts: 595000 | #Constraints: 120069
673.75/675.59 c #Conflicts: 596000 | #Constraints: 121069
673.75/675.59 c #Conflicts: 597000 | #Constraints: 122069
856.76/859.07 c #Conflicts: 598000 | #Constraints: 123069
856.76/859.07 c #Conflicts: 599000 | #Constraints: 124069
856.76/859.07 c #Conflicts: 600000 | #Constraints: 125069
856.76/859.07 c #Conflicts: 601000 | #Constraints: 126069
856.76/859.07 c #Conflicts: 602000 | #Constraints: 127069
856.76/859.07 c #Conflicts: 603000 | #Constraints: 128069
856.76/859.07 c #Conflicts: 604000 | #Constraints: 129069
856.76/859.07 c #Conflicts: 605000 | #Constraints: 130069
856.76/859.07 c #Conflicts: 606000 | #Constraints: 131069
856.76/859.07 c #Conflicts: 607000 | #Constraints: 132069
856.76/859.07 c #Conflicts: 608000 | #Constraints: 133069
856.76/859.07 c #Conflicts: 609000 | #Constraints: 134069
856.76/859.07 c #Conflicts: 610000 | #Constraints: 135069
856.76/859.07 c #Conflicts: 611000 | #Constraints: 136069
856.76/859.07 c #Conflicts: 612000 | #Constraints: 137069
856.76/859.07 c #Conflicts: 613000 | #Constraints: 138069
856.76/859.07 c #Conflicts: 614000 | #Constraints: 139069
856.76/859.07 c #Conflicts: 615000 | #Constraints: 140069
856.76/859.07 c #Conflicts: 616000 | #Constraints: 141069
856.76/859.07 c #Conflicts: 617000 | #Constraints: 142069
856.76/859.07 c #Conflicts: 618000 | #Constraints: 143069
856.76/859.07 c #Conflicts: 619000 | #Constraints: 144069
856.76/859.07 c #Conflicts: 620000 | #Constraints: 145069
856.76/859.07 c #Conflicts: 621000 | #Constraints: 146069
856.76/859.07 c #Conflicts: 622000 | #Constraints: 147069
856.76/859.07 c #Conflicts: 623000 | #Constraints: 148069
856.76/859.07 c #Conflicts: 624000 | #Constraints: 149069
856.76/859.07 c #Conflicts: 625000 | #Constraints: 150069
856.76/859.07 c #Conflicts: 626000 | #Constraints: 151069
856.76/859.07 c #Conflicts: 627000 | #Constraints: 152069
856.76/859.07 c #Conflicts: 628000 | #Constraints: 153069
856.76/859.07 c #Conflicts: 629000 | #Constraints: 154069
856.76/859.07 c #Conflicts: 630000 | #Constraints: 155069
856.76/859.07 c #Conflicts: 631000 | #Constraints: 156069
856.76/859.07 c #Conflicts: 632000 | #Constraints: 157069
856.76/859.07 c #Conflicts: 633000 | #Constraints: 158069
856.76/859.07 c INPROCESSING
856.76/859.07 c GARBAGE COLLECT
856.76/859.07 c #Conflicts: 634000 | #Constraints: 120535
856.76/859.07 c #Conflicts: 635000 | #Constraints: 121535
856.76/859.07 c #Conflicts: 636000 | #Constraints: 122535
856.76/859.07 c #Conflicts: 637000 | #Constraints: 123535
856.76/859.07 c #Conflicts: 638000 | #Constraints: 124535
856.76/859.07 c #Conflicts: 639000 | #Constraints: 125535
856.76/859.07 c #Conflicts: 640000 | #Constraints: 126535
856.76/859.07 c #Conflicts: 641000 | #Constraints: 127535
856.76/859.07 c #Conflicts: 642000 | #Constraints: 128535
856.76/859.07 c #Conflicts: 643000 | #Constraints: 129535
856.76/859.07 c #Conflicts: 644000 | #Constraints: 130535
856.76/859.07 c #Conflicts: 645000 | #Constraints: 131535
856.76/859.07 c #Conflicts: 646000 | #Constraints: 132535
856.76/859.07 c #Conflicts: 647000 | #Constraints: 133535
856.76/859.07 c #Conflicts: 648000 | #Constraints: 134535
856.76/859.07 c #Conflicts: 649000 | #Constraints: 135535
856.76/859.07 c #Conflicts: 650000 | #Constraints: 136535
856.76/859.07 c #Conflicts: 651000 | #Constraints: 137535
856.76/859.07 c #Conflicts: 652000 | #Constraints: 138535
856.76/859.07 c INPROCESSING
856.76/859.07 c GARBAGE COLLECT
856.76/859.07 c #Conflicts: 653000 | #Constraints: 110821
856.76/859.07 c #Conflicts: 654000 | #Constraints: 111821
856.76/859.07 c #Conflicts: 655000 | #Constraints: 112821
856.76/859.07 c #Conflicts: 656000 | #Constraints: 113821
856.76/859.07 c #Conflicts: 657000 | #Constraints: 114821
856.76/859.07 c #Conflicts: 658000 | #Constraints: 115821
856.76/859.07 c #Conflicts: 659000 | #Constraints: 116821
856.76/859.07 c #Conflicts: 660000 | #Constraints: 117821
856.76/859.07 c #Conflicts: 661000 | #Constraints: 118821
856.76/859.07 c #Conflicts: 662000 | #Constraints: 119821
856.76/859.07 c #Conflicts: 663000 | #Constraints: 120821
856.76/859.07 c #Conflicts: 664000 | #Constraints: 121821
856.76/859.07 c #Conflicts: 665000 | #Constraints: 122821
856.76/859.07 c #Conflicts: 666000 | #Constraints: 123821
856.76/859.07 c #Conflicts: 667000 | #Constraints: 124821
856.76/859.07 c #Conflicts: 668000 | #Constraints: 125821
856.76/859.07 c #Conflicts: 669000 | #Constraints: 126821
856.76/859.07 c #Conflicts: 670000 | #Constraints: 127821
856.76/859.07 c #Conflicts: 671000 | #Constraints: 128821
856.76/859.07 c INPROCESSING
856.76/859.07 c GARBAGE COLLECT
856.76/859.07 c #Conflicts: 672000 | #Constraints: 105919
856.76/859.07 c #Conflicts: 673000 | #Constraints: 106919
856.76/859.07 c #Conflicts: 674000 | #Constraints: 107919
1022.53/1025.21 c #Conflicts: 675000 | #Constraints: 108919
1022.53/1025.21 c #Conflicts: 676000 | #Constraints: 109919
1022.53/1025.21 c #Conflicts: 677000 | #Constraints: 110919
1022.53/1025.21 c #Conflicts: 678000 | #Constraints: 111919
1022.53/1025.21 c #Conflicts: 679000 | #Constraints: 112919
1022.53/1025.21 c #Conflicts: 680000 | #Constraints: 113919
1022.53/1025.21 c #Conflicts: 681000 | #Constraints: 114919
1022.53/1025.21 c #Conflicts: 682000 | #Constraints: 115919
1022.53/1025.21 c #Conflicts: 683000 | #Constraints: 116919
1022.53/1025.21 c #Conflicts: 684000 | #Constraints: 117919
1022.53/1025.21 c #Conflicts: 685000 | #Constraints: 118919
1022.53/1025.21 c #Conflicts: 686000 | #Constraints: 119919
1022.53/1025.21 c #Conflicts: 687000 | #Constraints: 120919
1022.53/1025.21 c #Conflicts: 688000 | #Constraints: 121919
1022.53/1025.21 c #Conflicts: 689000 | #Constraints: 122919
1022.53/1025.21 c #Conflicts: 690000 | #Constraints: 123919
1022.53/1025.21 c INPROCESSING
1022.53/1025.21 c GARBAGE COLLECT
1022.53/1025.21 c #Conflicts: 691000 | #Constraints: 103332
1022.53/1025.21 c #Conflicts: 692000 | #Constraints: 104332
1022.53/1025.21 c #Conflicts: 693000 | #Constraints: 105332
1022.53/1025.21 c #Conflicts: 694000 | #Constraints: 106332
1022.53/1025.21 c #Conflicts: 695000 | #Constraints: 107332
1022.53/1025.21 c #Conflicts: 696000 | #Constraints: 108332
1022.53/1025.21 c #Conflicts: 697000 | #Constraints: 109332
1022.53/1025.21 c #Conflicts: 698000 | #Constraints: 110332
1022.53/1025.21 c #Conflicts: 699000 | #Constraints: 111332
1022.53/1025.21 c #Conflicts: 700000 | #Constraints: 112332
1022.53/1025.21 c #Conflicts: 701000 | #Constraints: 113332
1022.53/1025.21 c #Conflicts: 702000 | #Constraints: 114332
1022.53/1025.21 c #Conflicts: 703000 | #Constraints: 115332
1022.53/1025.21 c #Conflicts: 704000 | #Constraints: 116332
1022.53/1025.21 c #Conflicts: 705000 | #Constraints: 117332
1022.53/1025.21 c #Conflicts: 706000 | #Constraints: 118332
1022.53/1025.21 c #Conflicts: 707000 | #Constraints: 119332
1022.53/1025.21 c #Conflicts: 708000 | #Constraints: 120332
1022.53/1025.21 c #Conflicts: 709000 | #Constraints: 121332
1022.53/1025.21 c #Conflicts: 710000 | #Constraints: 122332
1022.53/1025.21 c #Conflicts: 711000 | #Constraints: 123332
1022.53/1025.21 c #Conflicts: 712000 | #Constraints: 124332
1022.53/1025.21 c #Conflicts: 713000 | #Constraints: 125332
1022.53/1025.21 c #Conflicts: 714000 | #Constraints: 126332
1022.53/1025.21 c #Conflicts: 715000 | #Constraints: 127332
1022.53/1025.21 c #Conflicts: 716000 | #Constraints: 128332
1022.53/1025.21 c #Conflicts: 717000 | #Constraints: 129332
1022.53/1025.21 c #Conflicts: 718000 | #Constraints: 130332
1022.53/1025.21 c #Conflicts: 719000 | #Constraints: 131332
1022.53/1025.21 c #Conflicts: 720000 | #Constraints: 132332
1022.53/1025.21 c #Conflicts: 721000 | #Constraints: 133332
1022.53/1025.21 c #Conflicts: 722000 | #Constraints: 134332
1022.53/1025.21 c #Conflicts: 723000 | #Constraints: 135332
1022.53/1025.21 c #Conflicts: 724000 | #Constraints: 136332
1022.53/1025.21 c #Conflicts: 725000 | #Constraints: 137332
1022.53/1025.21 c #Conflicts: 726000 | #Constraints: 138332
1022.53/1025.21 c #Conflicts: 727000 | #Constraints: 139332
1022.53/1025.21 c #Conflicts: 728000 | #Constraints: 140332
1022.53/1025.21 c #Conflicts: 729000 | #Constraints: 141332
1022.53/1025.21 c #Conflicts: 730000 | #Constraints: 142332
1022.53/1025.21 c #Conflicts: 731000 | #Constraints: 143332
1022.53/1025.21 c #Conflicts: 732000 | #Constraints: 144332
1022.53/1025.21 c #Conflicts: 733000 | #Constraints: 145332
1022.53/1025.21 c #Conflicts: 734000 | #Constraints: 146332
1022.53/1025.21 c #Conflicts: 735000 | #Constraints: 147332
1022.53/1025.21 c #Conflicts: 736000 | #Constraints: 148332
1022.53/1025.21 c #Conflicts: 737000 | #Constraints: 149332
1022.53/1025.21 c #Conflicts: 738000 | #Constraints: 150332
1022.53/1025.21 c #Conflicts: 739000 | #Constraints: 151332
1022.53/1025.21 c #Conflicts: 740000 | #Constraints: 152332
1022.53/1025.21 c #Conflicts: 741000 | #Constraints: 153332
1022.53/1025.21 c #Conflicts: 742000 | #Constraints: 154332
1022.53/1025.21 c #Conflicts: 743000 | #Constraints: 155332
1022.53/1025.21 c #Conflicts: 744000 | #Constraints: 156332
1022.53/1025.21 c #Conflicts: 745000 | #Constraints: 157332
1022.53/1025.21 c #Conflicts: 746000 | #Constraints: 158332
1022.53/1025.21 c bounds -36 >= -178 @ 1015.18
1022.53/1025.21 c #Conflicts: 747000 | #Constraints: 159384
1022.53/1025.21 c #Conflicts: 748000 | #Constraints: 160384
1022.53/1025.21 c #Conflicts: 749000 | #Constraints: 161384
1022.53/1025.21 c #Conflicts: 750000 | #Constraints: 162384
1022.53/1025.21 c #Conflicts: 751000 | #Constraints: 163384
1115.09/1118.04 c #Conflicts: 752000 | #Constraints: 164384
1115.09/1118.04 c #Conflicts: 753000 | #Constraints: 165384
1115.09/1118.04 c INPROCESSING
1115.09/1118.04 c GARBAGE COLLECT
1115.09/1118.04 c #Conflicts: 754000 | #Constraints: 124197
1115.09/1118.04 c #Conflicts: 755000 | #Constraints: 125197
1115.09/1118.04 c #Conflicts: 756000 | #Constraints: 126197
1115.09/1118.04 c #Conflicts: 757000 | #Constraints: 127197
1115.09/1118.04 c #Conflicts: 758000 | #Constraints: 128197
1115.09/1118.04 c #Conflicts: 759000 | #Constraints: 129197
1115.09/1118.04 c #Conflicts: 760000 | #Constraints: 130197
1115.09/1118.04 c #Conflicts: 761000 | #Constraints: 131197
1115.09/1118.04 c #Conflicts: 762000 | #Constraints: 132197
1115.09/1118.04 c #Conflicts: 763000 | #Constraints: 133197
1115.09/1118.04 c #Conflicts: 764000 | #Constraints: 134197
1115.09/1118.04 c #Conflicts: 765000 | #Constraints: 135197
1115.09/1118.04 c #Conflicts: 766000 | #Constraints: 136197
1115.09/1118.04 c #Conflicts: 767000 | #Constraints: 137197
1115.09/1118.04 c #Conflicts: 768000 | #Constraints: 138197
1115.09/1118.04 c #Conflicts: 769000 | #Constraints: 139197
1115.09/1118.04 c #Conflicts: 770000 | #Constraints: 140197
1115.09/1118.04 c #Conflicts: 771000 | #Constraints: 141197
1115.09/1118.04 c #Conflicts: 772000 | #Constraints: 142197
1115.09/1118.04 c #Conflicts: 773000 | #Constraints: 143197
1115.09/1118.04 c #Conflicts: 774000 | #Constraints: 144197
1115.09/1118.04 c INPROCESSING
1115.09/1118.04 c GARBAGE COLLECT
1115.09/1118.04 c #Conflicts: 775000 | #Constraints: 113842
1115.09/1118.04 c #Conflicts: 776000 | #Constraints: 114842
1115.09/1118.04 c #Conflicts: 777000 | #Constraints: 115842
1115.09/1118.04 c #Conflicts: 778000 | #Constraints: 116842
1115.09/1118.04 c #Conflicts: 779000 | #Constraints: 117842
1115.09/1118.04 c #Conflicts: 780000 | #Constraints: 118842
1115.09/1118.04 c #Conflicts: 781000 | #Constraints: 119842
1115.09/1118.04 c #Conflicts: 782000 | #Constraints: 120842
1115.09/1118.04 c #Conflicts: 783000 | #Constraints: 121842
1115.09/1118.04 c #Conflicts: 784000 | #Constraints: 122842
1115.09/1118.04 c #Conflicts: 785000 | #Constraints: 123842
1115.09/1118.04 c #Conflicts: 786000 | #Constraints: 124842
1115.09/1118.04 c #Conflicts: 787000 | #Constraints: 125842
1115.09/1118.04 c #Conflicts: 788000 | #Constraints: 126842
1115.09/1118.04 c #Conflicts: 789000 | #Constraints: 127842
1115.09/1118.04 c #Conflicts: 790000 | #Constraints: 128842
1115.09/1118.04 c #Conflicts: 791000 | #Constraints: 129842
1115.09/1118.04 c #Conflicts: 792000 | #Constraints: 130842
1115.09/1118.04 c #Conflicts: 793000 | #Constraints: 131842
1115.09/1118.04 c #Conflicts: 794000 | #Constraints: 132842
1115.09/1118.04 c #Conflicts: 795000 | #Constraints: 133842
1115.09/1118.04 c INPROCESSING
1115.09/1118.04 c GARBAGE COLLECT
1115.09/1118.04 c #Conflicts: 796000 | #Constraints: 108766
1115.09/1118.04 c #Conflicts: 797000 | #Constraints: 109766
1115.09/1118.04 c #Conflicts: 798000 | #Constraints: 110766
1115.09/1118.04 c #Conflicts: 799000 | #Constraints: 111766
1115.09/1118.04 c #Conflicts: 800000 | #Constraints: 112766
1115.09/1118.04 c #Conflicts: 801000 | #Constraints: 113766
1115.09/1118.04 c #Conflicts: 802000 | #Constraints: 114766
1115.09/1118.04 c #Conflicts: 803000 | #Constraints: 115766
1115.09/1118.04 c #Conflicts: 804000 | #Constraints: 116766
1115.09/1118.04 c #Conflicts: 805000 | #Constraints: 117766
1115.09/1118.04 c #Conflicts: 806000 | #Constraints: 118766
1115.09/1118.04 c #Conflicts: 807000 | #Constraints: 119766
1115.09/1118.04 c #Conflicts: 808000 | #Constraints: 120766
1115.09/1118.04 c #Conflicts: 809000 | #Constraints: 121766
1115.09/1118.04 c #Conflicts: 810000 | #Constraints: 122766
1115.09/1118.04 c #Conflicts: 811000 | #Constraints: 123766
1115.09/1118.04 c #Conflicts: 812000 | #Constraints: 124766
1115.09/1118.04 c #Conflicts: 813000 | #Constraints: 125766
1115.09/1118.04 c #Conflicts: 814000 | #Constraints: 126766
1115.09/1118.04 c #Conflicts: 815000 | #Constraints: 127766
1115.09/1118.04 c #Conflicts: 816000 | #Constraints: 128766
1115.09/1118.04 c INPROCESSING
1115.09/1118.04 c GARBAGE COLLECT
1115.09/1118.04 c #Conflicts: 817000 | #Constraints: 106211
1115.09/1118.04 c #Conflicts: 818000 | #Constraints: 107211
1115.09/1118.04 c #Conflicts: 819000 | #Constraints: 108211
1115.09/1118.04 c #Conflicts: 820000 | #Constraints: 109211
1115.09/1118.04 c #Conflicts: 821000 | #Constraints: 110211
1115.09/1118.04 c #Conflicts: 822000 | #Constraints: 111211
1115.09/1118.04 c #Conflicts: 823000 | #Constraints: 112211
1115.09/1118.04 c #Conflicts: 824000 | #Constraints: 113211
1115.09/1118.04 c #Conflicts: 825000 | #Constraints: 114211
1115.09/1118.04 c #Conflicts: 826000 | #Constraints: 115211
1115.09/1118.04 c #Conflicts: 827000 | #Constraints: 116211
1322.43/1325.95 c #Conflicts: 828000 | #Constraints: 117211
1322.43/1325.95 c #Conflicts: 829000 | #Constraints: 118211
1322.43/1325.95 c #Conflicts: 830000 | #Constraints: 119211
1322.43/1325.95 c #Conflicts: 831000 | #Constraints: 120211
1322.43/1325.95 c #Conflicts: 832000 | #Constraints: 121211
1322.43/1325.95 c #Conflicts: 833000 | #Constraints: 122211
1322.43/1325.95 c #Conflicts: 834000 | #Constraints: 123211
1322.43/1325.95 c #Conflicts: 835000 | #Constraints: 124211
1322.43/1325.95 c #Conflicts: 836000 | #Constraints: 125211
1322.43/1325.95 c #Conflicts: 837000 | #Constraints: 126211
1322.43/1325.95 c #Conflicts: 838000 | #Constraints: 127211
1322.43/1325.95 c #Conflicts: 839000 | #Constraints: 128211
1322.43/1325.95 c #Conflicts: 840000 | #Constraints: 129211
1322.43/1325.95 c #Conflicts: 841000 | #Constraints: 130211
1322.43/1325.95 c #Conflicts: 842000 | #Constraints: 131211
1322.43/1325.95 c #Conflicts: 843000 | #Constraints: 132211
1322.43/1325.95 c #Conflicts: 844000 | #Constraints: 133211
1322.43/1325.95 c #Conflicts: 845000 | #Constraints: 134211
1322.43/1325.95 c #Conflicts: 846000 | #Constraints: 135211
1322.43/1325.95 c #Conflicts: 847000 | #Constraints: 136211
1322.43/1325.95 c #Conflicts: 848000 | #Constraints: 137211
1322.43/1325.95 c #Conflicts: 849000 | #Constraints: 138211
1322.43/1325.95 c #Conflicts: 850000 | #Constraints: 139211
1322.43/1325.95 c #Conflicts: 851000 | #Constraints: 140211
1322.43/1325.95 c #Conflicts: 852000 | #Constraints: 141211
1322.43/1325.95 c #Conflicts: 853000 | #Constraints: 142211
1322.43/1325.95 c #Conflicts: 854000 | #Constraints: 143211
1322.43/1325.95 c #Conflicts: 855000 | #Constraints: 144211
1322.43/1325.95 c #Conflicts: 856000 | #Constraints: 145211
1322.43/1325.95 c #Conflicts: 857000 | #Constraints: 146211
1322.43/1325.95 c #Conflicts: 858000 | #Constraints: 147211
1322.43/1325.95 c #Conflicts: 859000 | #Constraints: 148211
1322.43/1325.95 c #Conflicts: 860000 | #Constraints: 149211
1322.43/1325.95 c #Conflicts: 861000 | #Constraints: 150211
1322.43/1325.95 c #Conflicts: 862000 | #Constraints: 151211
1322.43/1325.95 c #Conflicts: 863000 | #Constraints: 152211
1322.43/1325.95 c #Conflicts: 864000 | #Constraints: 153211
1322.43/1325.95 c #Conflicts: 865000 | #Constraints: 154211
1322.43/1325.95 c #Conflicts: 866000 | #Constraints: 155211
1322.43/1325.95 c #Conflicts: 867000 | #Constraints: 156211
1322.43/1325.95 c #Conflicts: 868000 | #Constraints: 157211
1322.43/1325.95 c #Conflicts: 869000 | #Constraints: 158211
1322.43/1325.95 c #Conflicts: 870000 | #Constraints: 159211
1322.43/1325.95 c #Conflicts: 871000 | #Constraints: 160211
1322.43/1325.95 c #Conflicts: 872000 | #Constraints: 161211
1322.43/1325.95 c #Conflicts: 873000 | #Constraints: 162211
1322.43/1325.95 c #Conflicts: 874000 | #Constraints: 163211
1322.43/1325.95 c #Conflicts: 875000 | #Constraints: 164211
1322.43/1325.95 c #Conflicts: 876000 | #Constraints: 165211
1322.43/1325.95 c #Conflicts: 877000 | #Constraints: 166211
1322.43/1325.95 c #Conflicts: 878000 | #Constraints: 167211
1322.43/1325.95 c #Conflicts: 879000 | #Constraints: 168211
1322.43/1325.95 c #Conflicts: 880000 | #Constraints: 169211
1322.43/1325.95 c #Conflicts: 881000 | #Constraints: 170211
1322.43/1325.95 c #Conflicts: 882000 | #Constraints: 171211
1322.43/1325.95 c #Conflicts: 883000 | #Constraints: 172211
1322.43/1325.95 c #Conflicts: 884000 | #Constraints: 173211
1322.43/1325.95 c INPROCESSING
1322.43/1325.95 c GARBAGE COLLECT
1322.43/1325.95 c #Conflicts: 885000 | #Constraints: 128460
1322.43/1325.95 c #Conflicts: 886000 | #Constraints: 129460
1322.43/1325.95 c #Conflicts: 887000 | #Constraints: 130460
1322.43/1325.95 c #Conflicts: 888000 | #Constraints: 131460
1322.43/1325.95 c #Conflicts: 889000 | #Constraints: 132460
1322.43/1325.95 c #Conflicts: 890000 | #Constraints: 133460
1322.43/1325.95 c #Conflicts: 891000 | #Constraints: 134460
1322.43/1325.95 c #Conflicts: 892000 | #Constraints: 135460
1322.43/1325.95 c #Conflicts: 893000 | #Constraints: 136460
1322.43/1325.95 c #Conflicts: 894000 | #Constraints: 137460
1322.43/1325.95 c #Conflicts: 895000 | #Constraints: 138460
1322.43/1325.95 c #Conflicts: 896000 | #Constraints: 139460
1322.43/1325.95 c #Conflicts: 897000 | #Constraints: 140460
1322.43/1325.95 c #Conflicts: 898000 | #Constraints: 141460
1322.43/1325.95 c #Conflicts: 899000 | #Constraints: 142460
1322.43/1325.95 c #Conflicts: 900000 | #Constraints: 143460
1322.43/1325.95 c #Conflicts: 901000 | #Constraints: 144460
1322.43/1325.95 c #Conflicts: 902000 | #Constraints: 145460
1322.43/1325.95 c #Conflicts: 903000 | #Constraints: 146460
1322.43/1325.95 c #Conflicts: 904000 | #Constraints: 147460
1322.43/1325.95 c #Conflicts: 905000 | #Constraints: 148460
1322.43/1325.95 c #Conflicts: 906000 | #Constraints: 149460
1434.44/1438.23 c INPROCESSING
1434.44/1438.23 c GARBAGE COLLECT
1434.44/1438.23 c #Conflicts: 907000 | #Constraints: 116439
1434.44/1438.23 c #Conflicts: 908000 | #Constraints: 117439
1434.44/1438.23 c #Conflicts: 909000 | #Constraints: 118439
1434.44/1438.23 c #Conflicts: 910000 | #Constraints: 119439
1434.44/1438.23 c #Conflicts: 911000 | #Constraints: 120439
1434.44/1438.23 c #Conflicts: 912000 | #Constraints: 121439
1434.44/1438.23 c #Conflicts: 913000 | #Constraints: 122439
1434.44/1438.23 c #Conflicts: 914000 | #Constraints: 123439
1434.44/1438.23 c #Conflicts: 915000 | #Constraints: 124439
1434.44/1438.23 c #Conflicts: 916000 | #Constraints: 125439
1434.44/1438.23 c #Conflicts: 917000 | #Constraints: 126439
1434.44/1438.23 c #Conflicts: 918000 | #Constraints: 127439
1434.44/1438.23 c #Conflicts: 919000 | #Constraints: 128439
1434.44/1438.23 c #Conflicts: 920000 | #Constraints: 129439
1434.44/1438.23 c #Conflicts: 921000 | #Constraints: 130439
1434.44/1438.23 c #Conflicts: 922000 | #Constraints: 131439
1434.44/1438.23 c #Conflicts: 923000 | #Constraints: 132439
1434.44/1438.23 c #Conflicts: 924000 | #Constraints: 133439
1434.44/1438.23 c #Conflicts: 925000 | #Constraints: 134439
1434.44/1438.23 c #Conflicts: 926000 | #Constraints: 135439
1434.44/1438.23 c #Conflicts: 927000 | #Constraints: 136439
1434.44/1438.23 c #Conflicts: 928000 | #Constraints: 137439
1434.44/1438.23 c INPROCESSING
1434.44/1438.23 c GARBAGE COLLECT
1434.44/1438.23 c #Conflicts: 929000 | #Constraints: 110147
1434.44/1438.23 c #Conflicts: 930000 | #Constraints: 111147
1434.44/1438.23 c #Conflicts: 931000 | #Constraints: 112147
1434.44/1438.23 c #Conflicts: 932000 | #Constraints: 113147
1434.44/1438.23 c #Conflicts: 933000 | #Constraints: 114147
1434.44/1438.23 c #Conflicts: 934000 | #Constraints: 115147
1434.44/1438.23 c #Conflicts: 935000 | #Constraints: 116147
1434.44/1438.23 c #Conflicts: 936000 | #Constraints: 117147
1434.44/1438.23 c #Conflicts: 937000 | #Constraints: 118147
1434.44/1438.23 c #Conflicts: 938000 | #Constraints: 119147
1434.44/1438.23 c #Conflicts: 939000 | #Constraints: 120147
1434.44/1438.23 c #Conflicts: 940000 | #Constraints: 121147
1434.44/1438.23 c #Conflicts: 941000 | #Constraints: 122147
1434.44/1438.23 c #Conflicts: 942000 | #Constraints: 123147
1434.44/1438.23 c #Conflicts: 943000 | #Constraints: 124147
1434.44/1438.23 c #Conflicts: 944000 | #Constraints: 125147
1434.44/1438.23 c #Conflicts: 945000 | #Constraints: 126147
1434.44/1438.23 c #Conflicts: 946000 | #Constraints: 127147
1434.44/1438.23 c #Conflicts: 947000 | #Constraints: 128147
1434.44/1438.23 c #Conflicts: 948000 | #Constraints: 129147
1434.44/1438.23 c #Conflicts: 949000 | #Constraints: 130147
1434.44/1438.23 c #Conflicts: 950000 | #Constraints: 131147
1434.44/1438.23 c #Conflicts: 951000 | #Constraints: 132147
1434.44/1438.23 c INPROCESSING
1434.44/1438.23 c GARBAGE COLLECT
1434.44/1438.23 c #Conflicts: 952000 | #Constraints: 107654
1434.44/1438.23 c #Conflicts: 953000 | #Constraints: 108654
1434.44/1438.23 c #Conflicts: 954000 | #Constraints: 109654
1434.44/1438.23 c #Conflicts: 955000 | #Constraints: 110654
1434.44/1438.23 c #Conflicts: 956000 | #Constraints: 111654
1434.44/1438.23 c #Conflicts: 957000 | #Constraints: 112654
1434.44/1438.23 c #Conflicts: 958000 | #Constraints: 113654
1434.44/1438.23 c #Conflicts: 959000 | #Constraints: 114654
1434.44/1438.23 c #Conflicts: 960000 | #Constraints: 115654
1434.44/1438.23 c #Conflicts: 961000 | #Constraints: 116654
1434.44/1438.23 c #Conflicts: 962000 | #Constraints: 117654
1434.44/1438.23 c #Conflicts: 963000 | #Constraints: 118654
1434.44/1438.23 c #Conflicts: 964000 | #Constraints: 119654
1434.44/1438.23 c #Conflicts: 965000 | #Constraints: 120654
1434.44/1438.23 c #Conflicts: 966000 | #Constraints: 121654
1434.44/1438.23 c #Conflicts: 967000 | #Constraints: 122654
1434.44/1438.23 c #Conflicts: 968000 | #Constraints: 123654
1434.44/1438.23 c #Conflicts: 969000 | #Constraints: 124654
1434.44/1438.23 c #Conflicts: 970000 | #Constraints: 125654
1434.44/1438.23 c #Conflicts: 971000 | #Constraints: 126654
1434.44/1438.23 c #Conflicts: 972000 | #Constraints: 127654
1434.44/1438.23 c #Conflicts: 973000 | #Constraints: 128654
1434.44/1438.23 c #Conflicts: 974000 | #Constraints: 129654
1434.44/1438.23 c #Conflicts: 975000 | #Constraints: 130654
1434.44/1438.23 c #Conflicts: 976000 | #Constraints: 131654
1434.44/1438.23 c #Conflicts: 977000 | #Constraints: 132654
1434.44/1438.23 c #Conflicts: 978000 | #Constraints: 133654
1434.44/1438.23 c #Conflicts: 979000 | #Constraints: 134654
1434.44/1438.23 c #Conflicts: 980000 | #Constraints: 135654
1434.44/1438.23 c #Conflicts: 981000 | #Constraints: 136654
1434.44/1438.23 c #Conflicts: 982000 | #Constraints: 137654
1663.45/1667.99 c #Conflicts: 983000 | #Constraints: 138654
1663.45/1667.99 c #Conflicts: 984000 | #Constraints: 139654
1663.45/1667.99 c #Conflicts: 985000 | #Constraints: 140654
1663.45/1667.99 c #Conflicts: 986000 | #Constraints: 141654
1663.45/1667.99 c #Conflicts: 987000 | #Constraints: 142654
1663.45/1667.99 c #Conflicts: 988000 | #Constraints: 143654
1663.45/1667.99 c #Conflicts: 989000 | #Constraints: 144654
1663.45/1667.99 c #Conflicts: 990000 | #Constraints: 145654
1663.45/1667.99 c #Conflicts: 991000 | #Constraints: 146654
1663.45/1667.99 c #Conflicts: 992000 | #Constraints: 147654
1663.45/1667.99 c #Conflicts: 993000 | #Constraints: 148654
1663.45/1667.99 c #Conflicts: 994000 | #Constraints: 149654
1663.45/1667.99 c #Conflicts: 995000 | #Constraints: 150654
1663.45/1667.99 c #Conflicts: 996000 | #Constraints: 151654
1663.45/1667.99 c #Conflicts: 997000 | #Constraints: 152654
1663.45/1667.99 c #Conflicts: 998000 | #Constraints: 153654
1663.45/1667.99 c #Conflicts: 999000 | #Constraints: 154654
1663.45/1667.99 c #Conflicts: 1000000 | #Constraints: 155654
1663.45/1667.99 c #Conflicts: 1001000 | #Constraints: 156654
1663.45/1667.99 c #Conflicts: 1002000 | #Constraints: 157654
1663.45/1667.99 c #Conflicts: 1003000 | #Constraints: 158654
1663.45/1667.99 c #Conflicts: 1004000 | #Constraints: 159654
1663.45/1667.99 c #Conflicts: 1005000 | #Constraints: 160654
1663.45/1667.99 c #Conflicts: 1006000 | #Constraints: 161654
1663.45/1667.99 c #Conflicts: 1007000 | #Constraints: 162654
1663.45/1667.99 c #Conflicts: 1008000 | #Constraints: 163654
1663.45/1667.99 c #Conflicts: 1009000 | #Constraints: 164654
1663.45/1667.99 c #Conflicts: 1010000 | #Constraints: 165654
1663.45/1667.99 c #Conflicts: 1011000 | #Constraints: 166654
1663.45/1667.99 c #Conflicts: 1012000 | #Constraints: 167654
1663.45/1667.99 c #Conflicts: 1013000 | #Constraints: 168654
1663.45/1667.99 c #Conflicts: 1014000 | #Constraints: 169654
1663.45/1667.99 c #Conflicts: 1015000 | #Constraints: 170654
1663.45/1667.99 c #Conflicts: 1016000 | #Constraints: 171654
1663.45/1667.99 c #Conflicts: 1017000 | #Constraints: 172654
1663.45/1667.99 c #Conflicts: 1018000 | #Constraints: 173654
1663.45/1667.99 c #Conflicts: 1019000 | #Constraints: 174654
1663.45/1667.99 c #Conflicts: 1020000 | #Constraints: 175654
1663.45/1667.99 c #Conflicts: 1021000 | #Constraints: 176654
1663.45/1667.99 c #Conflicts: 1022000 | #Constraints: 177654
1663.45/1667.99 c #Conflicts: 1023000 | #Constraints: 178654
1663.45/1667.99 c #Conflicts: 1024000 | #Constraints: 179654
1663.45/1667.99 c INPROCESSING
1663.45/1667.99 c GARBAGE COLLECT
1663.45/1667.99 c #Conflicts: 1025000 | #Constraints: 131299
1663.45/1667.99 c #Conflicts: 1026000 | #Constraints: 132299
1663.45/1667.99 c #Conflicts: 1027000 | #Constraints: 133299
1663.45/1667.99 c #Conflicts: 1028000 | #Constraints: 134299
1663.45/1667.99 c #Conflicts: 1029000 | #Constraints: 135299
1663.45/1667.99 c #Conflicts: 1030000 | #Constraints: 136299
1663.45/1667.99 c #Conflicts: 1031000 | #Constraints: 137299
1663.45/1667.99 c #Conflicts: 1032000 | #Constraints: 138299
1663.45/1667.99 c #Conflicts: 1033000 | #Constraints: 139299
1663.45/1667.99 c #Conflicts: 1034000 | #Constraints: 140299
1663.45/1667.99 c #Conflicts: 1035000 | #Constraints: 141299
1663.45/1667.99 c #Conflicts: 1036000 | #Constraints: 142299
1663.45/1667.99 c #Conflicts: 1037000 | #Constraints: 143299
1663.45/1667.99 c #Conflicts: 1038000 | #Constraints: 144299
1663.45/1667.99 c #Conflicts: 1039000 | #Constraints: 145299
1663.45/1667.99 c #Conflicts: 1040000 | #Constraints: 146299
1663.45/1667.99 c #Conflicts: 1041000 | #Constraints: 147299
1663.45/1667.99 c #Conflicts: 1042000 | #Constraints: 148299
1663.45/1667.99 c #Conflicts: 1043000 | #Constraints: 149299
1663.45/1667.99 c #Conflicts: 1044000 | #Constraints: 150299
1663.45/1667.99 c #Conflicts: 1045000 | #Constraints: 151299
1663.45/1667.99 c #Conflicts: 1046000 | #Constraints: 152299
1663.45/1667.99 c #Conflicts: 1047000 | #Constraints: 153299
1663.45/1667.99 c #Conflicts: 1048000 | #Constraints: 154299
1663.45/1667.99 c INPROCESSING
1663.45/1667.99 c GARBAGE COLLECT
1663.45/1667.99 c #Conflicts: 1049000 | #Constraints: 118594
1663.45/1667.99 c #Conflicts: 1050000 | #Constraints: 119594
1663.45/1667.99 c #Conflicts: 1051000 | #Constraints: 120594
1663.45/1667.99 c #Conflicts: 1052000 | #Constraints: 121594
1663.45/1667.99 c #Conflicts: 1053000 | #Constraints: 122594
1663.45/1667.99 c #Conflicts: 1054000 | #Constraints: 123594
1663.45/1667.99 c #Conflicts: 1055000 | #Constraints: 124594
1663.45/1667.99 c #Conflicts: 1056000 | #Constraints: 125594
1663.45/1667.99 c #Conflicts: 1057000 | #Constraints: 126594
1663.45/1667.99 c #Conflicts: 1058000 | #Constraints: 127594
1663.45/1667.99 c #Conflicts: 1059000 | #Constraints: 128594
1663.45/1667.99 c #Conflicts: 1060000 | #Constraints: 129594
1792.86/1797.76 c #Conflicts: 1061000 | #Constraints: 130594
1792.86/1797.76 c #Conflicts: 1062000 | #Constraints: 131594
1792.86/1797.76 c #Conflicts: 1063000 | #Constraints: 132594
1792.86/1797.76 c #Conflicts: 1064000 | #Constraints: 133594
1792.86/1797.76 c #Conflicts: 1065000 | #Constraints: 134594
1792.86/1797.76 c #Conflicts: 1066000 | #Constraints: 135594
1792.86/1797.76 c #Conflicts: 1067000 | #Constraints: 136594
1792.86/1797.76 c #Conflicts: 1068000 | #Constraints: 137594
1792.86/1797.76 c #Conflicts: 1069000 | #Constraints: 138594
1792.86/1797.76 c #Conflicts: 1070000 | #Constraints: 139594
1792.86/1797.76 c #Conflicts: 1071000 | #Constraints: 140594
1792.86/1797.76 c #Conflicts: 1072000 | #Constraints: 141594
1792.86/1797.76 c #Conflicts: 1073000 | #Constraints: 142594
1792.86/1797.76 c INPROCESSING
1792.86/1797.76 c GARBAGE COLLECT
1792.86/1797.76 c #Conflicts: 1074000 | #Constraints: 113131
1792.86/1797.76 c #Conflicts: 1075000 | #Constraints: 114131
1792.86/1797.76 c #Conflicts: 1076000 | #Constraints: 115131
1792.86/1797.76 c #Conflicts: 1077000 | #Constraints: 116131
1792.86/1797.76 c #Conflicts: 1078000 | #Constraints: 117131
1792.86/1797.76 c #Conflicts: 1079000 | #Constraints: 118131
1792.86/1797.76 c #Conflicts: 1080000 | #Constraints: 119131
1792.86/1797.76 c #Conflicts: 1081000 | #Constraints: 120131
1792.86/1797.76 c #Conflicts: 1082000 | #Constraints: 121131
1792.86/1797.76 c #Conflicts: 1083000 | #Constraints: 122131
1792.86/1797.76 c #Conflicts: 1084000 | #Constraints: 123131
1792.86/1797.76 c #Conflicts: 1085000 | #Constraints: 124131
1792.86/1797.76 c #Conflicts: 1086000 | #Constraints: 125131
1792.86/1797.76 c #Conflicts: 1087000 | #Constraints: 126131
1792.86/1797.76 c #Conflicts: 1088000 | #Constraints: 127131
1792.86/1797.76 c #Conflicts: 1089000 | #Constraints: 128131
1792.86/1797.76 c #Conflicts: 1090000 | #Constraints: 129131
1792.86/1797.76 c #Conflicts: 1091000 | #Constraints: 130131
1792.86/1797.76 c #Conflicts: 1092000 | #Constraints: 131131
1792.86/1797.76 c #Conflicts: 1093000 | #Constraints: 132131
1792.86/1797.76 c #Conflicts: 1094000 | #Constraints: 133131
1792.86/1797.76 c #Conflicts: 1095000 | #Constraints: 134131
1792.86/1797.76 c #Conflicts: 1096000 | #Constraints: 135131
1792.86/1797.76 c #Conflicts: 1097000 | #Constraints: 136131
1792.86/1797.76 c INPROCESSING
1792.86/1797.76 c GARBAGE COLLECT
1792.86/1797.76 c #Conflicts: 1098000 | #Constraints: 109749
1792.86/1797.76 c #Conflicts: 1099000 | #Constraints: 110749
1792.86/1797.76 c #Conflicts: 1100000 | #Constraints: 111749
1792.86/1797.76 c #Conflicts: 1101000 | #Constraints: 112749
1792.86/1797.76 c #Conflicts: 1102000 | #Constraints: 113749
1792.86/1797.76 c #Conflicts: 1103000 | #Constraints: 114749
1792.86/1797.76 c #Conflicts: 1104000 | #Constraints: 115749
1792.86/1797.76 c #Conflicts: 1105000 | #Constraints: 116749
1792.86/1797.76 c #Conflicts: 1106000 | #Constraints: 117749
1792.86/1797.76 c #Conflicts: 1107000 | #Constraints: 118749
1792.86/1797.76 c #Conflicts: 1108000 | #Constraints: 119749
1792.86/1797.76 c #Conflicts: 1109000 | #Constraints: 120749
1792.86/1797.76 c #Conflicts: 1110000 | #Constraints: 121749
1792.86/1797.76 c #Conflicts: 1111000 | #Constraints: 122749
1792.86/1797.76 c #Conflicts: 1112000 | #Constraints: 123749
1792.86/1797.76 c #Conflicts: 1113000 | #Constraints: 124749
1792.86/1797.76 c #Conflicts: 1114000 | #Constraints: 125749
1792.86/1797.76 c #Conflicts: 1115000 | #Constraints: 126749
1792.86/1797.76 c #Conflicts: 1116000 | #Constraints: 127749
1792.86/1797.76 c #Conflicts: 1117000 | #Constraints: 128749
1792.86/1797.76 c #Conflicts: 1118000 | #Constraints: 129749
1792.86/1797.76 c #Conflicts: 1119000 | #Constraints: 130749
1792.86/1797.76 c #Conflicts: 1120000 | #Constraints: 131749
1792.86/1797.76 c #Conflicts: 1121000 | #Constraints: 132749
1792.86/1797.76 c #Conflicts: 1122000 | #Constraints: 133749
1792.86/1797.76 c #Conflicts: 1123000 | #Constraints: 134749
1792.86/1797.76 c #Conflicts: 1124000 | #Constraints: 135749
1792.86/1797.76 c #Conflicts: 1125000 | #Constraints: 136749
1792.86/1797.76 c #Conflicts: 1126000 | #Constraints: 137749
1792.86/1797.76 c #Conflicts: 1127000 | #Constraints: 138749
1792.86/1797.76 c #Conflicts: 1128000 | #Constraints: 139749
1792.86/1797.76 c #Conflicts: 1129000 | #Constraints: 140749
1792.86/1797.76 c #Conflicts: 1130000 | #Constraints: 141749
1792.86/1797.76 c #Conflicts: 1131000 | #Constraints: 142749
1792.86/1797.76 c #Conflicts: 1132000 | #Constraints: 143749
1792.86/1797.76 c #Conflicts: 1133000 | #Constraints: 144749
1792.86/1797.76 c #Conflicts: 1134000 | #Constraints: 145749
1792.86/1797.76 c #Conflicts: 1135000 | #Constraints: 146749
1792.86/1797.76 c #Conflicts: 1136000 | #Constraints: 147749
1792.86/1797.76 c #Conflicts: 1137000 | #Constraints: 148749
2060.35/2066.09 c #Conflicts: 1138000 | #Constraints: 149749
2060.35/2066.09 c #Conflicts: 1139000 | #Constraints: 150749
2060.35/2066.09 c #Conflicts: 1140000 | #Constraints: 151749
2060.35/2066.09 c #Conflicts: 1141000 | #Constraints: 152749
2060.35/2066.09 c #Conflicts: 1142000 | #Constraints: 153749
2060.35/2066.09 c #Conflicts: 1143000 | #Constraints: 154749
2060.35/2066.09 c #Conflicts: 1144000 | #Constraints: 155749
2060.35/2066.09 c #Conflicts: 1145000 | #Constraints: 156749
2060.35/2066.09 c #Conflicts: 1146000 | #Constraints: 157749
2060.35/2066.09 c #Conflicts: 1147000 | #Constraints: 158749
2060.35/2066.09 c #Conflicts: 1148000 | #Constraints: 159749
2060.35/2066.09 c #Conflicts: 1149000 | #Constraints: 160749
2060.35/2066.09 c #Conflicts: 1150000 | #Constraints: 161749
2060.35/2066.09 c #Conflicts: 1151000 | #Constraints: 162749
2060.35/2066.09 c #Conflicts: 1152000 | #Constraints: 163749
2060.35/2066.09 c #Conflicts: 1153000 | #Constraints: 164749
2060.35/2066.09 c #Conflicts: 1154000 | #Constraints: 165749
2060.35/2066.09 c #Conflicts: 1155000 | #Constraints: 166749
2060.35/2066.09 c #Conflicts: 1156000 | #Constraints: 167749
2060.35/2066.09 c #Conflicts: 1157000 | #Constraints: 168749
2060.35/2066.09 c #Conflicts: 1158000 | #Constraints: 169749
2060.35/2066.09 c #Conflicts: 1159000 | #Constraints: 170749
2060.35/2066.09 c #Conflicts: 1160000 | #Constraints: 171749
2060.35/2066.09 c #Conflicts: 1161000 | #Constraints: 172749
2060.35/2066.09 c #Conflicts: 1162000 | #Constraints: 173749
2060.35/2066.09 c #Conflicts: 1163000 | #Constraints: 174749
2060.35/2066.09 c #Conflicts: 1164000 | #Constraints: 175749
2060.35/2066.09 c #Conflicts: 1165000 | #Constraints: 176749
2060.35/2066.09 c #Conflicts: 1166000 | #Constraints: 177749
2060.35/2066.09 c #Conflicts: 1167000 | #Constraints: 178749
2060.35/2066.09 c #Conflicts: 1168000 | #Constraints: 179749
2060.35/2066.09 c #Conflicts: 1169000 | #Constraints: 180749
2060.35/2066.09 c #Conflicts: 1170000 | #Constraints: 181749
2060.35/2066.09 c #Conflicts: 1171000 | #Constraints: 182749
2060.35/2066.09 c #Conflicts: 1172000 | #Constraints: 183749
2060.35/2066.09 c #Conflicts: 1173000 | #Constraints: 184749
2060.35/2066.09 c #Conflicts: 1174000 | #Constraints: 185749
2060.35/2066.09 c #Conflicts: 1175000 | #Constraints: 186749
2060.35/2066.09 c #Conflicts: 1176000 | #Constraints: 187749
2060.35/2066.09 c INPROCESSING
2060.35/2066.09 c GARBAGE COLLECT
2060.35/2066.09 c #Conflicts: 1177000 | #Constraints: 135736
2060.35/2066.09 c #Conflicts: 1178000 | #Constraints: 136736
2060.35/2066.09 c #Conflicts: 1179000 | #Constraints: 137736
2060.35/2066.09 c #Conflicts: 1180000 | #Constraints: 138736
2060.35/2066.09 c #Conflicts: 1181000 | #Constraints: 139736
2060.35/2066.09 c #Conflicts: 1182000 | #Constraints: 140736
2060.35/2066.09 c #Conflicts: 1183000 | #Constraints: 141736
2060.35/2066.09 c #Conflicts: 1184000 | #Constraints: 142736
2060.35/2066.09 c #Conflicts: 1185000 | #Constraints: 143736
2060.35/2066.09 c #Conflicts: 1186000 | #Constraints: 144736
2060.35/2066.09 c #Conflicts: 1187000 | #Constraints: 145736
2060.35/2066.09 c #Conflicts: 1188000 | #Constraints: 146736
2060.35/2066.09 c #Conflicts: 1189000 | #Constraints: 147736
2060.35/2066.09 c #Conflicts: 1190000 | #Constraints: 148736
2060.35/2066.09 c #Conflicts: 1191000 | #Constraints: 149736
2060.35/2066.09 c #Conflicts: 1192000 | #Constraints: 150736
2060.35/2066.09 c #Conflicts: 1193000 | #Constraints: 151736
2060.35/2066.09 c #Conflicts: 1194000 | #Constraints: 152736
2060.35/2066.09 c #Conflicts: 1195000 | #Constraints: 153736
2060.35/2066.09 c #Conflicts: 1196000 | #Constraints: 154736
2060.35/2066.09 c #Conflicts: 1197000 | #Constraints: 155736
2060.35/2066.09 c #Conflicts: 1198000 | #Constraints: 156736
2060.35/2066.09 c #Conflicts: 1199000 | #Constraints: 157736
2060.35/2066.09 c #Conflicts: 1200000 | #Constraints: 158736
2060.35/2066.09 c #Conflicts: 1201000 | #Constraints: 159736
2060.35/2066.09 c INPROCESSING
2060.35/2066.09 c GARBAGE COLLECT
2060.35/2066.09 c #Conflicts: 1202000 | #Constraints: 121373
2060.35/2066.09 c #Conflicts: 1203000 | #Constraints: 122373
2060.35/2066.09 c #Conflicts: 1204000 | #Constraints: 123373
2060.35/2066.09 c #Conflicts: 1205000 | #Constraints: 124373
2060.35/2066.09 c #Conflicts: 1206000 | #Constraints: 125373
2060.35/2066.09 c #Conflicts: 1207000 | #Constraints: 126373
2060.35/2066.09 c #Conflicts: 1208000 | #Constraints: 127373
2060.35/2066.09 c #Conflicts: 1209000 | #Constraints: 128373
2060.35/2066.09 c #Conflicts: 1210000 | #Constraints: 129373
2060.35/2066.09 c #Conflicts: 1211000 | #Constraints: 130373
2060.35/2066.09 c #Conflicts: 1212000 | #Constraints: 131373
2060.35/2066.09 c #Conflicts: 1213000 | #Constraints: 132373
2060.35/2066.09 c #Conflicts: 1214000 | #Constraints: 133373
2060.35/2066.09 c #Conflicts: 1215000 | #Constraints: 134373
2211.49/2217.63 c #Conflicts: 1216000 | #Constraints: 135373
2211.49/2217.63 c #Conflicts: 1217000 | #Constraints: 136373
2211.49/2217.63 c #Conflicts: 1218000 | #Constraints: 137373
2211.49/2217.63 c #Conflicts: 1219000 | #Constraints: 138373
2211.49/2217.63 c #Conflicts: 1220000 | #Constraints: 139373
2211.49/2217.63 c #Conflicts: 1221000 | #Constraints: 140373
2211.49/2217.63 c #Conflicts: 1222000 | #Constraints: 141373
2211.49/2217.63 c #Conflicts: 1223000 | #Constraints: 142373
2211.49/2217.63 c #Conflicts: 1224000 | #Constraints: 143373
2211.49/2217.63 c #Conflicts: 1225000 | #Constraints: 144373
2211.49/2217.63 c #Conflicts: 1226000 | #Constraints: 145373
2211.49/2217.63 c #Conflicts: 1227000 | #Constraints: 146373
2211.49/2217.63 c INPROCESSING
2211.49/2217.63 c GARBAGE COLLECT
2211.49/2217.63 c #Conflicts: 1228000 | #Constraints: 114732
2211.49/2217.63 c #Conflicts: 1229000 | #Constraints: 115732
2211.49/2217.63 c #Conflicts: 1230000 | #Constraints: 116732
2211.49/2217.63 c #Conflicts: 1231000 | #Constraints: 117732
2211.49/2217.63 c #Conflicts: 1232000 | #Constraints: 118732
2211.49/2217.63 c #Conflicts: 1233000 | #Constraints: 119732
2211.49/2217.63 c #Conflicts: 1234000 | #Constraints: 120732
2211.49/2217.64 c #Conflicts: 1235000 | #Constraints: 121732
2211.49/2217.64 c #Conflicts: 1236000 | #Constraints: 122732
2211.49/2217.64 c #Conflicts: 1237000 | #Constraints: 123732
2211.49/2217.64 c #Conflicts: 1238000 | #Constraints: 124732
2211.49/2217.64 c #Conflicts: 1239000 | #Constraints: 125732
2211.49/2217.64 c #Conflicts: 1240000 | #Constraints: 126732
2211.49/2217.64 c #Conflicts: 1241000 | #Constraints: 127732
2211.49/2217.64 c #Conflicts: 1242000 | #Constraints: 128732
2211.49/2217.64 c #Conflicts: 1243000 | #Constraints: 129732
2211.49/2217.64 c #Conflicts: 1244000 | #Constraints: 130732
2211.49/2217.64 c #Conflicts: 1245000 | #Constraints: 131732
2211.49/2217.64 c #Conflicts: 1246000 | #Constraints: 132732
2211.49/2217.64 c #Conflicts: 1247000 | #Constraints: 133732
2211.49/2217.64 c #Conflicts: 1248000 | #Constraints: 134732
2211.49/2217.64 c #Conflicts: 1249000 | #Constraints: 135732
2211.49/2217.64 c #Conflicts: 1250000 | #Constraints: 136732
2211.49/2217.64 c #Conflicts: 1251000 | #Constraints: 137732
2211.49/2217.64 c #Conflicts: 1252000 | #Constraints: 138732
2211.49/2217.64 c #Conflicts: 1253000 | #Constraints: 139732
2211.49/2217.64 c INPROCESSING
2211.49/2217.64 c GARBAGE COLLECT
2211.49/2217.64 c #Conflicts: 1254000 | #Constraints: 111374
2211.49/2217.64 c #Conflicts: 1255000 | #Constraints: 112374
2211.49/2217.64 c #Conflicts: 1256000 | #Constraints: 113374
2211.49/2217.64 c #Conflicts: 1257000 | #Constraints: 114374
2211.49/2217.64 c #Conflicts: 1258000 | #Constraints: 115374
2211.49/2217.64 c #Conflicts: 1259000 | #Constraints: 116374
2211.49/2217.64 c #Conflicts: 1260000 | #Constraints: 117374
2211.49/2217.64 c #Conflicts: 1261000 | #Constraints: 118374
2211.49/2217.64 c #Conflicts: 1262000 | #Constraints: 119374
2211.49/2217.64 c #Conflicts: 1263000 | #Constraints: 120374
2211.49/2217.64 c #Conflicts: 1264000 | #Constraints: 121374
2211.49/2217.64 c #Conflicts: 1265000 | #Constraints: 122374
2211.49/2217.64 c #Conflicts: 1266000 | #Constraints: 123374
2211.49/2217.64 c #Conflicts: 1267000 | #Constraints: 124374
2211.49/2217.64 c #Conflicts: 1268000 | #Constraints: 125374
2211.49/2217.64 c #Conflicts: 1269000 | #Constraints: 126374
2211.49/2217.64 c #Conflicts: 1270000 | #Constraints: 127374
2211.49/2217.64 c #Conflicts: 1271000 | #Constraints: 128374
2211.49/2217.64 c #Conflicts: 1272000 | #Constraints: 129374
2211.49/2217.64 c #Conflicts: 1273000 | #Constraints: 130374
2211.49/2217.64 c #Conflicts: 1274000 | #Constraints: 131374
2211.49/2217.64 c #Conflicts: 1275000 | #Constraints: 132374
2211.49/2217.64 c #Conflicts: 1276000 | #Constraints: 133374
2211.49/2217.64 c #Conflicts: 1277000 | #Constraints: 134374
2211.49/2217.64 c #Conflicts: 1278000 | #Constraints: 135374
2211.49/2217.64 c #Conflicts: 1279000 | #Constraints: 136374
2211.49/2217.64 c #Conflicts: 1280000 | #Constraints: 137374
2211.49/2217.64 c #Conflicts: 1281000 | #Constraints: 138374
2211.49/2217.64 c #Conflicts: 1282000 | #Constraints: 139374
2211.49/2217.64 c #Conflicts: 1283000 | #Constraints: 140374
2211.49/2217.64 c #Conflicts: 1284000 | #Constraints: 141374
2211.49/2217.64 c #Conflicts: 1285000 | #Constraints: 142374
2211.49/2217.64 c #Conflicts: 1286000 | #Constraints: 143374
2211.49/2217.64 c #Conflicts: 1287000 | #Constraints: 144374
2211.49/2217.64 c #Conflicts: 1288000 | #Constraints: 145374
2211.49/2217.64 c #Conflicts: 1289000 | #Constraints: 146374
2211.49/2217.64 c #Conflicts: 1290000 | #Constraints: 147374
2211.49/2217.64 c #Conflicts: 1291000 | #Constraints: 148374
2211.49/2217.64 c #Conflicts: 1292000 | #Constraints: 149374
2524.04/2531.12 c #Conflicts: 1293000 | #Constraints: 150374
2524.04/2531.12 c #Conflicts: 1294000 | #Constraints: 151374
2524.04/2531.12 c #Conflicts: 1295000 | #Constraints: 152374
2524.04/2531.12 c #Conflicts: 1296000 | #Constraints: 153374
2524.04/2531.12 c #Conflicts: 1297000 | #Constraints: 154374
2524.04/2531.12 c #Conflicts: 1298000 | #Constraints: 155374
2524.04/2531.12 c #Conflicts: 1299000 | #Constraints: 156374
2524.04/2531.12 c #Conflicts: 1300000 | #Constraints: 157374
2524.04/2531.12 c #Conflicts: 1301000 | #Constraints: 158374
2524.04/2531.12 c #Conflicts: 1302000 | #Constraints: 159374
2524.04/2531.12 c #Conflicts: 1303000 | #Constraints: 160374
2524.04/2531.12 c #Conflicts: 1304000 | #Constraints: 161374
2524.04/2531.12 c #Conflicts: 1305000 | #Constraints: 162374
2524.04/2531.12 c #Conflicts: 1306000 | #Constraints: 163374
2524.04/2531.12 c #Conflicts: 1307000 | #Constraints: 164374
2524.04/2531.12 c #Conflicts: 1308000 | #Constraints: 165374
2524.04/2531.12 c #Conflicts: 1309000 | #Constraints: 166374
2524.04/2531.12 c #Conflicts: 1310000 | #Constraints: 167374
2524.04/2531.12 c #Conflicts: 1311000 | #Constraints: 168374
2524.04/2531.12 c #Conflicts: 1312000 | #Constraints: 169374
2524.04/2531.12 c #Conflicts: 1313000 | #Constraints: 170374
2524.04/2531.12 c #Conflicts: 1314000 | #Constraints: 171374
2524.04/2531.12 c #Conflicts: 1315000 | #Constraints: 172374
2524.04/2531.12 c #Conflicts: 1316000 | #Constraints: 173374
2524.04/2531.12 c #Conflicts: 1317000 | #Constraints: 174374
2524.04/2531.12 c #Conflicts: 1318000 | #Constraints: 175374
2524.04/2531.12 c #Conflicts: 1319000 | #Constraints: 176374
2524.04/2531.12 c #Conflicts: 1320000 | #Constraints: 177374
2524.04/2531.12 c #Conflicts: 1321000 | #Constraints: 178374
2524.04/2531.12 c #Conflicts: 1322000 | #Constraints: 179374
2524.04/2531.12 c #Conflicts: 1323000 | #Constraints: 180374
2524.04/2531.12 c #Conflicts: 1324000 | #Constraints: 181374
2524.04/2531.12 c #Conflicts: 1325000 | #Constraints: 182374
2524.04/2531.12 c #Conflicts: 1326000 | #Constraints: 183374
2524.04/2531.12 c #Conflicts: 1327000 | #Constraints: 184374
2524.04/2531.12 c #Conflicts: 1328000 | #Constraints: 185374
2524.04/2531.12 c #Conflicts: 1329000 | #Constraints: 186374
2524.04/2531.12 c #Conflicts: 1330000 | #Constraints: 187374
2524.04/2531.12 c #Conflicts: 1331000 | #Constraints: 188374
2524.04/2531.12 c #Conflicts: 1332000 | #Constraints: 189374
2524.04/2531.12 c #Conflicts: 1333000 | #Constraints: 190374
2524.04/2531.12 c #Conflicts: 1334000 | #Constraints: 191374
2524.04/2531.12 c #Conflicts: 1335000 | #Constraints: 192374
2524.04/2531.12 c #Conflicts: 1336000 | #Constraints: 193374
2524.04/2531.12 c #Conflicts: 1337000 | #Constraints: 194374
2524.04/2531.12 c INPROCESSING
2524.04/2531.12 c GARBAGE COLLECT
2524.04/2531.12 c #Conflicts: 1338000 | #Constraints: 138750
2524.04/2531.12 c #Conflicts: 1339000 | #Constraints: 139750
2524.04/2531.12 c #Conflicts: 1340000 | #Constraints: 140750
2524.04/2531.12 c #Conflicts: 1341000 | #Constraints: 141750
2524.04/2531.12 c #Conflicts: 1342000 | #Constraints: 142750
2524.04/2531.12 c #Conflicts: 1343000 | #Constraints: 143750
2524.04/2531.12 c #Conflicts: 1344000 | #Constraints: 144750
2524.04/2531.12 c #Conflicts: 1345000 | #Constraints: 145750
2524.04/2531.12 c #Conflicts: 1346000 | #Constraints: 146750
2524.04/2531.12 c #Conflicts: 1347000 | #Constraints: 147750
2524.04/2531.12 c #Conflicts: 1348000 | #Constraints: 148750
2524.04/2531.12 c #Conflicts: 1349000 | #Constraints: 149750
2524.04/2531.12 c #Conflicts: 1350000 | #Constraints: 150750
2524.04/2531.12 c #Conflicts: 1351000 | #Constraints: 151750
2524.04/2531.12 c #Conflicts: 1352000 | #Constraints: 152750
2524.04/2531.12 c #Conflicts: 1353000 | #Constraints: 153750
2524.04/2531.12 c #Conflicts: 1354000 | #Constraints: 154750
2524.04/2531.12 c #Conflicts: 1355000 | #Constraints: 155750
2524.04/2531.12 c #Conflicts: 1356000 | #Constraints: 156750
2524.04/2531.12 c #Conflicts: 1357000 | #Constraints: 157750
2524.04/2531.12 c #Conflicts: 1358000 | #Constraints: 158750
2524.04/2531.12 c #Conflicts: 1359000 | #Constraints: 159750
2524.04/2531.12 c #Conflicts: 1360000 | #Constraints: 160750
2524.04/2531.12 c #Conflicts: 1361000 | #Constraints: 161750
2524.04/2531.12 c #Conflicts: 1362000 | #Constraints: 162750
2524.04/2531.12 c #Conflicts: 1363000 | #Constraints: 163750
2524.04/2531.12 c #Conflicts: 1364000 | #Constraints: 164750
2524.04/2531.12 c #Conflicts: 1365000 | #Constraints: 165750
2524.04/2531.12 c INPROCESSING
2524.04/2531.12 c GARBAGE COLLECT
2524.04/2531.12 c #Conflicts: 1366000 | #Constraints: 124707
2524.04/2531.12 c #Conflicts: 1367000 | #Constraints: 125707
2524.04/2531.12 c #Conflicts: 1368000 | #Constraints: 126707
2524.04/2531.12 c #Conflicts: 1369000 | #Constraints: 127707
2524.04/2531.12 c #Conflicts: 1370000 | #Constraints: 128707
2686.13/2693.70 c #Conflicts: 1371000 | #Constraints: 129707
2686.13/2693.70 c #Conflicts: 1372000 | #Constraints: 130707
2686.13/2693.70 c #Conflicts: 1373000 | #Constraints: 131707
2686.13/2693.70 c #Conflicts: 1374000 | #Constraints: 132707
2686.13/2693.70 c #Conflicts: 1375000 | #Constraints: 133707
2686.13/2693.70 c #Conflicts: 1376000 | #Constraints: 134707
2686.13/2693.70 c #Conflicts: 1377000 | #Constraints: 135707
2686.13/2693.70 c #Conflicts: 1378000 | #Constraints: 136707
2686.13/2693.70 c #Conflicts: 1379000 | #Constraints: 137707
2686.13/2693.70 c #Conflicts: 1380000 | #Constraints: 138707
2686.13/2693.70 c #Conflicts: 1381000 | #Constraints: 139707
2686.13/2693.70 c #Conflicts: 1382000 | #Constraints: 140707
2686.13/2693.70 c #Conflicts: 1383000 | #Constraints: 141707
2686.13/2693.70 c #Conflicts: 1384000 | #Constraints: 142707
2686.13/2693.70 c #Conflicts: 1385000 | #Constraints: 143707
2686.13/2693.70 c #Conflicts: 1386000 | #Constraints: 144707
2686.13/2693.70 c #Conflicts: 1387000 | #Constraints: 145707
2686.13/2693.70 c #Conflicts: 1388000 | #Constraints: 146707
2686.13/2693.70 c #Conflicts: 1389000 | #Constraints: 147707
2686.13/2693.70 c #Conflicts: 1390000 | #Constraints: 148707
2686.13/2693.70 c #Conflicts: 1391000 | #Constraints: 149707
2686.13/2693.70 c #Conflicts: 1392000 | #Constraints: 150707
2686.13/2693.70 c INPROCESSING
2686.13/2693.70 c GARBAGE COLLECT
2686.13/2693.70 c #Conflicts: 1393000 | #Constraints: 116935
2686.13/2693.70 c #Conflicts: 1394000 | #Constraints: 117935
2686.13/2693.70 c #Conflicts: 1395000 | #Constraints: 118935
2686.13/2693.70 c #Conflicts: 1396000 | #Constraints: 119935
2686.13/2693.70 c #Conflicts: 1397000 | #Constraints: 120935
2686.13/2693.70 c #Conflicts: 1398000 | #Constraints: 121935
2686.13/2693.70 c #Conflicts: 1399000 | #Constraints: 122935
2686.13/2693.70 c #Conflicts: 1400000 | #Constraints: 123935
2686.13/2693.70 c #Conflicts: 1401000 | #Constraints: 124935
2686.13/2693.70 c #Conflicts: 1402000 | #Constraints: 125935
2686.13/2693.70 c #Conflicts: 1403000 | #Constraints: 126935
2686.13/2693.70 c #Conflicts: 1404000 | #Constraints: 127935
2686.13/2693.70 c #Conflicts: 1405000 | #Constraints: 128935
2686.13/2693.70 c #Conflicts: 1406000 | #Constraints: 129935
2686.13/2693.70 c #Conflicts: 1407000 | #Constraints: 130935
2686.13/2693.70 c #Conflicts: 1408000 | #Constraints: 131935
2686.13/2693.70 c #Conflicts: 1409000 | #Constraints: 132935
2686.13/2693.70 c #Conflicts: 1410000 | #Constraints: 133935
2686.13/2693.70 c #Conflicts: 1411000 | #Constraints: 134935
2686.13/2693.70 c #Conflicts: 1412000 | #Constraints: 135935
2686.13/2693.70 c #Conflicts: 1413000 | #Constraints: 136935
2686.13/2693.70 c #Conflicts: 1414000 | #Constraints: 137935
2686.13/2693.70 c #Conflicts: 1415000 | #Constraints: 138935
2686.13/2693.70 c #Conflicts: 1416000 | #Constraints: 139935
2686.13/2693.70 c #Conflicts: 1417000 | #Constraints: 140935
2686.13/2693.70 c #Conflicts: 1418000 | #Constraints: 141935
2686.13/2693.70 c #Conflicts: 1419000 | #Constraints: 142935
2686.13/2693.70 c #Conflicts: 1420000 | #Constraints: 143935
2686.13/2693.70 c INPROCESSING
2686.13/2693.70 c GARBAGE COLLECT
2686.13/2693.70 c #Conflicts: 1421000 | #Constraints: 113623
2686.13/2693.70 c #Conflicts: 1422000 | #Constraints: 114623
2686.13/2693.70 c #Conflicts: 1423000 | #Constraints: 115623
2686.13/2693.70 c #Conflicts: 1424000 | #Constraints: 116623
2686.13/2693.70 c #Conflicts: 1425000 | #Constraints: 117623
2686.13/2693.70 c #Conflicts: 1426000 | #Constraints: 118623
2686.13/2693.70 c #Conflicts: 1427000 | #Constraints: 119623
2686.13/2693.70 c #Conflicts: 1428000 | #Constraints: 120623
2686.13/2693.70 c #Conflicts: 1429000 | #Constraints: 121623
2686.13/2693.70 c #Conflicts: 1430000 | #Constraints: 122623
2686.13/2693.70 c #Conflicts: 1431000 | #Constraints: 123623
2686.13/2693.70 c #Conflicts: 1432000 | #Constraints: 124623
2686.13/2693.70 c #Conflicts: 1433000 | #Constraints: 125623
2686.13/2693.70 c #Conflicts: 1434000 | #Constraints: 126623
2686.13/2693.70 c #Conflicts: 1435000 | #Constraints: 127623
2686.13/2693.70 c #Conflicts: 1436000 | #Constraints: 128623
2686.13/2693.70 c #Conflicts: 1437000 | #Constraints: 129623
2686.13/2693.70 c #Conflicts: 1438000 | #Constraints: 130623
2686.13/2693.70 c #Conflicts: 1439000 | #Constraints: 131623
2686.13/2693.70 c #Conflicts: 1440000 | #Constraints: 132623
2686.13/2693.70 c #Conflicts: 1441000 | #Constraints: 133623
2686.13/2693.70 c #Conflicts: 1442000 | #Constraints: 134623
2686.13/2693.70 c #Conflicts: 1443000 | #Constraints: 135623
2686.13/2693.70 c #Conflicts: 1444000 | #Constraints: 136623
2686.13/2693.70 c #Conflicts: 1445000 | #Constraints: 137623
2686.13/2693.70 c #Conflicts: 1446000 | #Constraints: 138623
2686.13/2693.70 c #Conflicts: 1447000 | #Constraints: 139623
3015.79/3024.40 c #Conflicts: 1448000 | #Constraints: 140623
3015.79/3024.40 c #Conflicts: 1449000 | #Constraints: 141623
3015.79/3024.40 c #Conflicts: 1450000 | #Constraints: 142623
3015.79/3024.40 c #Conflicts: 1451000 | #Constraints: 143623
3015.79/3024.40 c #Conflicts: 1452000 | #Constraints: 144623
3015.79/3024.40 c #Conflicts: 1453000 | #Constraints: 145623
3015.79/3024.40 c #Conflicts: 1454000 | #Constraints: 146623
3015.79/3024.40 c #Conflicts: 1455000 | #Constraints: 147623
3015.79/3024.40 c #Conflicts: 1456000 | #Constraints: 148623
3015.79/3024.40 c #Conflicts: 1457000 | #Constraints: 149623
3015.79/3024.40 c #Conflicts: 1458000 | #Constraints: 150623
3015.79/3024.40 c #Conflicts: 1459000 | #Constraints: 151623
3015.79/3024.40 c #Conflicts: 1460000 | #Constraints: 152623
3015.79/3024.40 c #Conflicts: 1461000 | #Constraints: 153623
3015.79/3024.40 c #Conflicts: 1462000 | #Constraints: 154623
3015.79/3024.40 c #Conflicts: 1463000 | #Constraints: 155623
3015.79/3024.40 c #Conflicts: 1464000 | #Constraints: 156623
3015.79/3024.40 c #Conflicts: 1465000 | #Constraints: 157623
3015.79/3024.40 c #Conflicts: 1466000 | #Constraints: 158623
3015.79/3024.40 c #Conflicts: 1467000 | #Constraints: 159623
3015.79/3024.40 c #Conflicts: 1468000 | #Constraints: 160623
3015.79/3024.40 c #Conflicts: 1469000 | #Constraints: 161623
3015.79/3024.40 c #Conflicts: 1470000 | #Constraints: 162623
3015.79/3024.40 c #Conflicts: 1471000 | #Constraints: 163623
3015.79/3024.40 c #Conflicts: 1472000 | #Constraints: 164623
3015.79/3024.40 c #Conflicts: 1473000 | #Constraints: 165623
3015.79/3024.40 c #Conflicts: 1474000 | #Constraints: 166623
3015.79/3024.40 c #Conflicts: 1475000 | #Constraints: 167623
3015.79/3024.40 c #Conflicts: 1476000 | #Constraints: 168623
3015.79/3024.40 c #Conflicts: 1477000 | #Constraints: 169623
3015.79/3024.40 c #Conflicts: 1478000 | #Constraints: 170623
3015.79/3024.40 c #Conflicts: 1479000 | #Constraints: 171623
3015.79/3024.40 c #Conflicts: 1480000 | #Constraints: 172623
3015.79/3024.40 c #Conflicts: 1481000 | #Constraints: 173623
3015.79/3024.40 c #Conflicts: 1482000 | #Constraints: 174623
3015.79/3024.40 c #Conflicts: 1483000 | #Constraints: 175623
3015.79/3024.40 c #Conflicts: 1484000 | #Constraints: 176623
3015.79/3024.40 c #Conflicts: 1485000 | #Constraints: 177623
3015.79/3024.40 c #Conflicts: 1486000 | #Constraints: 178623
3015.79/3024.40 c #Conflicts: 1487000 | #Constraints: 179623
3015.79/3024.40 c #Conflicts: 1488000 | #Constraints: 180623
3015.79/3024.40 c #Conflicts: 1489000 | #Constraints: 181623
3015.79/3024.40 c #Conflicts: 1490000 | #Constraints: 182623
3015.79/3024.40 c #Conflicts: 1491000 | #Constraints: 183623
3015.79/3024.40 c #Conflicts: 1492000 | #Constraints: 184623
3015.79/3024.40 c #Conflicts: 1493000 | #Constraints: 185623
3015.79/3024.40 c #Conflicts: 1494000 | #Constraints: 186623
3015.79/3024.40 c #Conflicts: 1495000 | #Constraints: 187623
3015.79/3024.40 c #Conflicts: 1496000 | #Constraints: 188623
3015.79/3024.40 c #Conflicts: 1497000 | #Constraints: 189623
3015.79/3024.40 c #Conflicts: 1498000 | #Constraints: 190623
3015.79/3024.40 c #Conflicts: 1499000 | #Constraints: 191623
3015.79/3024.40 c #Conflicts: 1500000 | #Constraints: 192623
3015.79/3024.40 c #Conflicts: 1501000 | #Constraints: 193623
3015.79/3024.40 c #Conflicts: 1502000 | #Constraints: 194623
3015.79/3024.40 c #Conflicts: 1503000 | #Constraints: 195623
3015.79/3024.40 c #Conflicts: 1504000 | #Constraints: 196623
3015.79/3024.40 c #Conflicts: 1505000 | #Constraints: 197623
3015.79/3024.40 c #Conflicts: 1506000 | #Constraints: 198623
3015.79/3024.40 c #Conflicts: 1507000 | #Constraints: 199623
3015.79/3024.40 c #Conflicts: 1508000 | #Constraints: 200623
3015.79/3024.40 c #Conflicts: 1509000 | #Constraints: 201623
3015.79/3024.40 c INPROCESSING
3015.79/3024.40 c GARBAGE COLLECT
3015.79/3024.40 c #Conflicts: 1510000 | #Constraints: 142369
3015.79/3024.40 c #Conflicts: 1511000 | #Constraints: 143369
3015.79/3024.40 c #Conflicts: 1512000 | #Constraints: 144369
3015.79/3024.40 c #Conflicts: 1513000 | #Constraints: 145369
3015.79/3024.40 c #Conflicts: 1514000 | #Constraints: 146369
3015.79/3024.40 c #Conflicts: 1515000 | #Constraints: 147369
3015.79/3024.40 c #Conflicts: 1516000 | #Constraints: 148369
3015.79/3024.40 c #Conflicts: 1517000 | #Constraints: 149369
3015.79/3024.40 c #Conflicts: 1518000 | #Constraints: 150369
3015.79/3024.40 c #Conflicts: 1519000 | #Constraints: 151369
3015.79/3024.40 c #Conflicts: 1520000 | #Constraints: 152369
3015.79/3024.40 c #Conflicts: 1521000 | #Constraints: 153369
3015.79/3024.40 c #Conflicts: 1522000 | #Constraints: 154369
3015.79/3024.40 c #Conflicts: 1523000 | #Constraints: 155369
3015.79/3024.40 c #Conflicts: 1524000 | #Constraints: 156369
3015.79/3024.40 c #Conflicts: 1525000 | #Constraints: 157369
3015.79/3024.40 c #Conflicts: 1526000 | #Constraints: 158369
3228.42/3237.70 c #Conflicts: 1527000 | #Constraints: 159369
3228.42/3237.70 c #Conflicts: 1528000 | #Constraints: 160369
3228.42/3237.70 c #Conflicts: 1529000 | #Constraints: 161369
3228.42/3237.70 c #Conflicts: 1530000 | #Constraints: 162369
3228.42/3237.70 c #Conflicts: 1531000 | #Constraints: 163369
3228.42/3237.70 c #Conflicts: 1532000 | #Constraints: 164369
3228.42/3237.70 c #Conflicts: 1533000 | #Constraints: 165369
3228.42/3237.70 c #Conflicts: 1534000 | #Constraints: 166369
3228.42/3237.70 c #Conflicts: 1535000 | #Constraints: 167369
3228.42/3237.70 c #Conflicts: 1536000 | #Constraints: 168369
3228.42/3237.70 c #Conflicts: 1537000 | #Constraints: 169369
3228.42/3237.70 c #Conflicts: 1538000 | #Constraints: 170369
3228.42/3237.70 c INPROCESSING
3228.42/3237.70 c GARBAGE COLLECT
3228.42/3237.70 c #Conflicts: 1539000 | #Constraints: 126683
3228.42/3237.70 c #Conflicts: 1540000 | #Constraints: 127683
3228.42/3237.70 c #Conflicts: 1541000 | #Constraints: 128683
3228.42/3237.70 c #Conflicts: 1542000 | #Constraints: 129683
3228.42/3237.70 c #Conflicts: 1543000 | #Constraints: 130683
3228.42/3237.70 c #Conflicts: 1544000 | #Constraints: 131683
3228.42/3237.70 c #Conflicts: 1545000 | #Constraints: 132683
3228.42/3237.70 c #Conflicts: 1546000 | #Constraints: 133683
3228.42/3237.70 c #Conflicts: 1547000 | #Constraints: 134683
3228.42/3237.70 c #Conflicts: 1548000 | #Constraints: 135683
3228.42/3237.70 c #Conflicts: 1549000 | #Constraints: 136683
3228.42/3237.70 c #Conflicts: 1550000 | #Constraints: 137683
3228.42/3237.70 c #Conflicts: 1551000 | #Constraints: 138683
3228.42/3237.70 c #Conflicts: 1552000 | #Constraints: 139683
3228.42/3237.70 c #Conflicts: 1553000 | #Constraints: 140683
3228.42/3237.70 c #Conflicts: 1554000 | #Constraints: 141683
3228.42/3237.70 c #Conflicts: 1555000 | #Constraints: 142683
3228.42/3237.70 c #Conflicts: 1556000 | #Constraints: 143683
3228.42/3237.70 c #Conflicts: 1557000 | #Constraints: 144683
3228.42/3237.70 c #Conflicts: 1558000 | #Constraints: 145683
3228.42/3237.70 c #Conflicts: 1559000 | #Constraints: 146683
3228.42/3237.70 c #Conflicts: 1560000 | #Constraints: 147683
3228.42/3237.70 c #Conflicts: 1561000 | #Constraints: 148683
3228.42/3237.70 c #Conflicts: 1562000 | #Constraints: 149683
3228.42/3237.70 c #Conflicts: 1563000 | #Constraints: 150683
3228.42/3237.70 c #Conflicts: 1564000 | #Constraints: 151683
3228.42/3237.70 c #Conflicts: 1565000 | #Constraints: 152683
3228.42/3237.70 c #Conflicts: 1566000 | #Constraints: 153683
3228.42/3237.70 c #Conflicts: 1567000 | #Constraints: 154683
3228.42/3237.70 c #Conflicts: 1568000 | #Constraints: 155683
3228.42/3237.70 c INPROCESSING
3228.42/3237.70 c GARBAGE COLLECT
3228.42/3237.70 c #Conflicts: 1569000 | #Constraints: 119693
3228.42/3237.70 c #Conflicts: 1570000 | #Constraints: 120693
3228.42/3237.70 c #Conflicts: 1571000 | #Constraints: 121693
3228.42/3237.70 c #Conflicts: 1572000 | #Constraints: 122693
3228.42/3237.70 c #Conflicts: 1573000 | #Constraints: 123693
3228.42/3237.70 c #Conflicts: 1574000 | #Constraints: 124693
3228.42/3237.70 c #Conflicts: 1575000 | #Constraints: 125693
3228.42/3237.70 c #Conflicts: 1576000 | #Constraints: 126693
3228.42/3237.70 c #Conflicts: 1577000 | #Constraints: 127693
3228.42/3237.70 c #Conflicts: 1578000 | #Constraints: 128693
3228.42/3237.70 c #Conflicts: 1579000 | #Constraints: 129693
3228.42/3237.70 c #Conflicts: 1580000 | #Constraints: 130693
3228.42/3237.70 c #Conflicts: 1581000 | #Constraints: 131693
3228.42/3237.70 c #Conflicts: 1582000 | #Constraints: 132693
3228.42/3237.70 c #Conflicts: 1583000 | #Constraints: 133693
3228.42/3237.70 c #Conflicts: 1584000 | #Constraints: 134693
3228.42/3237.70 c #Conflicts: 1585000 | #Constraints: 135693
3228.42/3237.70 c #Conflicts: 1586000 | #Constraints: 136693
3228.42/3237.70 c #Conflicts: 1587000 | #Constraints: 137693
3228.42/3237.70 c #Conflicts: 1588000 | #Constraints: 138693
3228.42/3237.70 c #Conflicts: 1589000 | #Constraints: 139693
3228.42/3237.70 c #Conflicts: 1590000 | #Constraints: 140693
3228.42/3237.70 c #Conflicts: 1591000 | #Constraints: 141693
3228.42/3237.70 c #Conflicts: 1592000 | #Constraints: 142693
3228.42/3237.70 c #Conflicts: 1593000 | #Constraints: 143693
3228.42/3237.70 c #Conflicts: 1594000 | #Constraints: 144693
3228.42/3237.70 c #Conflicts: 1595000 | #Constraints: 145693
3228.42/3237.70 c #Conflicts: 1596000 | #Constraints: 146693
3228.42/3237.70 c #Conflicts: 1597000 | #Constraints: 147693
3228.42/3237.70 c INPROCESSING
3228.42/3237.70 c GARBAGE COLLECT
3228.42/3237.70 c #Conflicts: 1598000 | #Constraints: 115422
3228.42/3237.70 c #Conflicts: 1599000 | #Constraints: 116422
3228.42/3237.70 c #Conflicts: 1600000 | #Constraints: 117422
3228.42/3237.70 c #Conflicts: 1601000 | #Constraints: 118422
3228.42/3237.70 c #Conflicts: 1602000 | #Constraints: 119422
3497.67/3507.84 c #Conflicts: 1603000 | #Constraints: 120422
3497.67/3507.84 c #Conflicts: 1604000 | #Constraints: 121422
3497.67/3507.84 c #Conflicts: 1605000 | #Constraints: 122422
3497.67/3507.84 c #Conflicts: 1606000 | #Constraints: 123422
3497.67/3507.84 c #Conflicts: 1607000 | #Constraints: 124422
3497.67/3507.84 c #Conflicts: 1608000 | #Constraints: 125422
3497.67/3507.84 c #Conflicts: 1609000 | #Constraints: 126422
3497.67/3507.84 c #Conflicts: 1610000 | #Constraints: 127422
3497.67/3507.84 c #Conflicts: 1611000 | #Constraints: 128422
3497.67/3507.84 c #Conflicts: 1612000 | #Constraints: 129422
3497.67/3507.84 c #Conflicts: 1613000 | #Constraints: 130422
3497.67/3507.84 c #Conflicts: 1614000 | #Constraints: 131422
3497.67/3507.84 c #Conflicts: 1615000 | #Constraints: 132422
3497.67/3507.84 c #Conflicts: 1616000 | #Constraints: 133422
3497.67/3507.84 c #Conflicts: 1617000 | #Constraints: 134422
3497.67/3507.84 c #Conflicts: 1618000 | #Constraints: 135422
3497.67/3507.84 c #Conflicts: 1619000 | #Constraints: 136422
3497.67/3507.84 c #Conflicts: 1620000 | #Constraints: 137422
3497.67/3507.84 c #Conflicts: 1621000 | #Constraints: 138422
3497.67/3507.84 c #Conflicts: 1622000 | #Constraints: 139422
3497.67/3507.84 c #Conflicts: 1623000 | #Constraints: 140422
3497.67/3507.84 c #Conflicts: 1624000 | #Constraints: 141422
3497.67/3507.84 c #Conflicts: 1625000 | #Constraints: 142422
3497.67/3507.84 c #Conflicts: 1626000 | #Constraints: 143422
3497.67/3507.84 c #Conflicts: 1627000 | #Constraints: 144422
3497.67/3507.84 c #Conflicts: 1628000 | #Constraints: 145422
3497.67/3507.84 c #Conflicts: 1629000 | #Constraints: 146422
3497.67/3507.84 c #Conflicts: 1630000 | #Constraints: 147422
3497.67/3507.84 c #Conflicts: 1631000 | #Constraints: 148422
3497.67/3507.84 c #Conflicts: 1632000 | #Constraints: 149422
3497.67/3507.84 c #Conflicts: 1633000 | #Constraints: 150422
3497.67/3507.84 c #Conflicts: 1634000 | #Constraints: 151422
3497.67/3507.84 c #Conflicts: 1635000 | #Constraints: 152422
3497.67/3507.84 c #Conflicts: 1636000 | #Constraints: 153422
3497.67/3507.84 c #Conflicts: 1637000 | #Constraints: 154422
3497.67/3507.84 c #Conflicts: 1638000 | #Constraints: 155422
3497.67/3507.84 c #Conflicts: 1639000 | #Constraints: 156422
3497.67/3507.84 c #Conflicts: 1640000 | #Constraints: 157422
3497.67/3507.84 c #Conflicts: 1641000 | #Constraints: 158422
3497.67/3507.84 c #Conflicts: 1642000 | #Constraints: 159422
3497.67/3507.84 c #Conflicts: 1643000 | #Constraints: 160422
3497.67/3507.84 c #Conflicts: 1644000 | #Constraints: 161422
3497.67/3507.84 c #Conflicts: 1645000 | #Constraints: 162422
3497.67/3507.84 c #Conflicts: 1646000 | #Constraints: 163422
3497.67/3507.84 c #Conflicts: 1647000 | #Constraints: 164422
3497.67/3507.84 c #Conflicts: 1648000 | #Constraints: 165422
3497.67/3507.84 c #Conflicts: 1649000 | #Constraints: 166422
3497.67/3507.84 c #Conflicts: 1650000 | #Constraints: 167422
3497.67/3507.84 c #Conflicts: 1651000 | #Constraints: 168422
3497.67/3507.84 c #Conflicts: 1652000 | #Constraints: 169422
3497.67/3507.84 c #Conflicts: 1653000 | #Constraints: 170422
3497.67/3507.84 c #Conflicts: 1654000 | #Constraints: 171422
3497.67/3507.84 c #Conflicts: 1655000 | #Constraints: 172422
3497.67/3507.84 c #Conflicts: 1656000 | #Constraints: 173422
3497.67/3507.84 c #Conflicts: 1657000 | #Constraints: 174422
3497.67/3507.84 c #Conflicts: 1658000 | #Constraints: 175422
3497.67/3507.84 c #Conflicts: 1659000 | #Constraints: 176422
3497.67/3507.84 c #Conflicts: 1660000 | #Constraints: 177422
3497.67/3507.84 c #Conflicts: 1661000 | #Constraints: 178422
3497.67/3507.84 c #Conflicts: 1662000 | #Constraints: 179422
3497.67/3507.84 c #Conflicts: 1663000 | #Constraints: 180422
3497.67/3507.84 c #Conflicts: 1664000 | #Constraints: 181422
3497.67/3507.84 c #Conflicts: 1665000 | #Constraints: 182422
3497.67/3507.84 c #Conflicts: 1666000 | #Constraints: 183422
3497.67/3507.84 c #Conflicts: 1667000 | #Constraints: 184422
3497.67/3507.84 c #Conflicts: 1668000 | #Constraints: 185422
3497.67/3507.84 c #Conflicts: 1669000 | #Constraints: 186422
3497.67/3507.84 c #Conflicts: 1670000 | #Constraints: 187422
3497.67/3507.84 c #Conflicts: 1671000 | #Constraints: 188422
3497.67/3507.84 c #Conflicts: 1672000 | #Constraints: 189422
3497.67/3507.84 c #Conflicts: 1673000 | #Constraints: 190422
3497.67/3507.84 c #Conflicts: 1674000 | #Constraints: 191422
3497.67/3507.84 c #Conflicts: 1675000 | #Constraints: 192422
3497.67/3507.84 c #Conflicts: 1676000 | #Constraints: 193422
3497.67/3507.84 c #Conflicts: 1677000 | #Constraints: 194422
3497.67/3507.84 c #Conflicts: 1678000 | #Constraints: 195422
3497.67/3507.84 c #Conflicts: 1679000 | #Constraints: 196422
3497.67/3507.84 c #Conflicts: 1680000 | #Constraints: 197422
3497.67/3507.84 c #Conflicts: 1681000 | #Constraints: 198422
3600.05/3610.50 c #Conflicts: 1682000 | #Constraints: 199422
3600.05/3610.50 c #Conflicts: 1683000 | #Constraints: 200422
3600.05/3610.50 c #Conflicts: 1684000 | #Constraints: 201422
3600.05/3610.50 c #Conflicts: 1685000 | #Constraints: 202422
3600.05/3610.50 c #Conflicts: 1686000 | #Constraints: 203422
3600.05/3610.50 c #Conflicts: 1687000 | #Constraints: 204422
3600.05/3610.50 c #Conflicts: 1688000 | #Constraints: 205422
3600.05/3610.50 c #Conflicts: 1689000 | #Constraints: 206422
3600.05/3610.50 c #Conflicts: 1690000 | #Constraints: 207422
3600.05/3610.50 c #Conflicts: 1691000 | #Constraints: 208422
3600.05/3610.50 c #Conflicts: 1692000 | #Constraints: 209422
3600.05/3610.50 c INPROCESSING
3600.05/3610.50 c GARBAGE COLLECT
3600.05/3610.50 c #Conflicts: 1693000 | #Constraints: 146580
3600.05/3610.50 c #Conflicts: 1694000 | #Constraints: 147580
3600.05/3610.50 c #Conflicts: 1695000 | #Constraints: 148580
3600.05/3610.50 c #Conflicts: 1696000 | #Constraints: 149580
3600.05/3610.50 c #Conflicts: 1697000 | #Constraints: 150580
3600.05/3610.50 c #Conflicts: 1698000 | #Constraints: 151580
3600.05/3610.50 c #Conflicts: 1699000 | #Constraints: 152580
3600.05/3610.50 c #Conflicts: 1700000 | #Constraints: 153580
3600.05/3610.50 c #Conflicts: 1701000 | #Constraints: 154580
3600.05/3610.50 c #Conflicts: 1702000 | #Constraints: 155580
3600.05/3610.50 c Program interrupted by user.
3600.05/3610.50 c cpu time 3591.03 s
3600.05/3610.50 c deterministic time 332260686468 3.32e+11
3600.05/3610.50 c optimization time 39.5187 s
3600.05/3610.50 c total solve time 3551.39 s
3600.05/3610.50 c core-guided solve time 3551.39 s
3600.05/3610.50 c propagation time 3010.37 s
3600.05/3610.50 c conflict analysis time 562.301 s
3600.05/3610.50 c propagations 607956973
3600.05/3610.50 c resolve steps 34756777
3600.05/3610.50 c decisions 3833592
3600.05/3610.50 c conflicts 1702560
3600.05/3610.50 c restarts 3259
3600.05/3610.50 c inprocessing phases 72
3600.05/3610.50 c input clauses 81378
3600.05/3610.50 c input cardinalities 179
3600.05/3610.50 c input general constraints 111
3600.05/3610.50 c input average constraint length 2.72
3600.05/3610.50 c input average constraint degree 1.39
3600.05/3610.50 c learned clauses 1279545
3600.05/3610.50 c learned cardinalities 4038
3600.05/3610.50 c learned general constraints 418973
3600.05/3610.50 c learned average constraint length 64.21
3600.05/3610.50 c learned average constraint degree 155.57
3600.05/3610.50 c watched constraints 372326
3600.05/3610.50 c counting constraints 46758
3600.05/3610.50 c gcd simplifications 9448
3600.05/3610.50 c detected cardinalities 381
3600.05/3610.50 c weakened non-implied lits 8270275
3600.05/3610.50 c weakened non-implying lits 26104
3600.05/3610.50 c original variables 1150
3600.05/3610.50 c clausal propagations 575686035
3600.05/3610.50 c cardinality propagations 129723
3600.05/3610.50 c watched propagations 4820434
3600.05/3610.50 c counting propagations 25932108
3600.05/3610.50 c watch lookups 86052158163
3600.05/3610.50 c watch backjump lookups 73110943189
3600.05/3610.50 c watch checks 154902878881
3600.05/3610.50 c propagation checks 16613328558
3600.05/3610.50 c constraint additions 356094615
3600.05/3610.50 c trail pops 613492496
3600.05/3610.50 c formula constraints 81068
3600.05/3610.50 c learned constraints 1702556
3600.05/3610.50 c bound constraints 48
3600.05/3610.50 c core-guided constraints 552
3600.05/3610.50 c encountered formula constraints 15000662
3600.05/3610.50 c encountered learned constraints 20095650
3600.05/3610.50 c encountered bound constraints 251
3600.05/3610.50 c encountered core-guided constraints 1362774
3600.05/3610.50 c LP total time 0 s
3600.05/3610.50 c LP solve time 0 s
3600.05/3610.50 c LP constraints added 0
3600.05/3610.50 c LP constraints removed 0
3600.05/3610.50 c LP pivots internal 0
3600.05/3610.50 c LP pivots root 0
3600.05/3610.50 c LP calls 0
3600.05/3610.50 c LP optimalities 0
3600.05/3610.50 c LP no pivot count 0
3600.05/3610.50 c LP infeasibilities 0
3600.05/3610.50 c LP valid Farkas constraints 0
3600.05/3610.50 c LP learned Farkas constraints 0
3600.05/3610.50 c LP basis resets 0
3600.05/3610.50 c LP cycling count 0
3600.05/3610.50 c LP singular count 0
3600.05/3610.50 c LP no primal count 0
3600.05/3610.50 c LP no farkas count 0
3600.05/3610.50 c LP other issue count 0
3600.05/3610.50 c LP Gomory cuts 0
3600.05/3610.50 c LP learned cuts 0
3600.05/3610.50 c LP deleted cuts 0
3600.05/3610.50 c LP encountered Gomory constraints 0
3600.05/3610.50 c LP encountered Farkas constraints 0
3600.05/3610.50 c LP encountered learned Farkas constraints 0
3600.05/3610.50 c CG auxiliary variables introduced 334
3600.05/3610.50 c CG solutions found 1
3600.05/3610.50 c CG cores constructed 32
3600.05/3610.50 c CG core cardinality constraints returned 0
3600.05/3610.50 c CG unit cores 0
3600.05/3610.50 c CG single cores 32
3600.05/3610.50 c CG blocks removed during cardinality reduction 0
3600.05/3610.50 c CG first core best 0
3600.05/3610.50 c CG decision core best 0
3600.05/3610.50 c CG core reduction tie 0
3600.05/3610.50 c CG core degree average 1.00
3600.05/3610.50 c CG core slack average 8.81
3600.05/3610.50 c CG exhausted 4
3600.05/3610.50 c CG exhaust time 4.12689 s
3600.05/3610.50 c CG trimmed 2
3600.05/3610.50 c CG trim time 0.001359 s
3600.05/3610.50 c CG minimized 0
3600.05/3610.50 c CG minimize time 0 s
3600.05/3610.50 c CG am1 prop time 0.005536 s
3600.05/3610.50 c CG # am1s reformulated 213
3600.05/3610.50 c CG lower bound derived from am1s 936
3600.05/3610.50 c CG # clausal cores 32
3600.05/3610.50 c CG # cardinality cores 0
3600.05/3610.50 c CG # pb cores 0
3600.05/3610.50 c CG # pb reforms 0
3600.05/3610.50 c CG # cores discarded because of pb reform 0
3600.05/3610.50 d LOWERBOUND -178
3600.05/3610.50 d NCORES 32
3600.05/3610.50 d NPBCORES 0
3600.05/3610.50 d NPBREFORM 0
3600.05/3610.50 d NTRIMMED 2
3600.05/3610.50 d NEXHAUSTED 4
3600.05/3610.50 d NAM1S 213
3600.05/3610.50 d AM1LB 936
3600.05/3610.50 o -36
3600.05/3610.50 s SATISFIABLE
3600.05/3610.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62877 MiB free)
memory of node 1: 64510 MiB (62344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435925-1721066113/watcher-4435925-1721066113 -o /tmp/evaluation-result-4435925-1721066113/solver-4435925-1721066113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721058885-807328 --watchdog 3760 pb-oll-rs HOME/instance-4435925-1721066113.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=811899, runsolver pid=811896
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 4.09 4.11 4.09 5/260 811900
/proc/meminfo: memFree=128221448/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=40440 memory=10164 CPUtime=0.1 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 1015 0 0 0 7 3 0 0 20 0 1 0 158775507 41410560 2541 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 10110 2541 1186 291 0 1644 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40440 KiB
Current children cumulated memory: 10164 KiB
[startup+0.205441 s]*
/proc/loadavg: 4.09 4.11 4.09 5/260 811900
/proc/meminfo: memFree=128214896/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=47544 memory=17808 CPUtime=0.2 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 2816 0 0 0 14 6 0 0 20 0 1 0 158775507 48685056 4452 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 11886 4452 1297 291 0 3420 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 17808 KiB
[startup+0.305429 s]*
/proc/loadavg: 4.09 4.11 4.09 5/260 811900
/proc/meminfo: memFree=128211396/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=49816 memory=20684 CPUtime=0.3 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 3564 0 0 0 23 7 0 0 20 0 1 0 158775507 51011584 5171 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 12454 5171 1375 291 0 3988 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49816 KiB
Current children cumulated memory: 20684 KiB
[startup+0.700219 s]
/proc/loadavg: 4.09 4.11 4.09 5/260 811900
/proc/meminfo: memFree=128207016/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=60612 memory=29816 CPUtime=0.69 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 5085 0 0 0 61 8 0 0 20 0 1 0 158775507 62066688 7454 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 15153 7454 1375 291 0 6687 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60612 KiB
Current children cumulated memory: 29816 KiB
[startup+1.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/260 811900
/proc/meminfo: memFree=128200700/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=70224 memory=38592 CPUtime=1.48 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 6211 0 0 0 139 9 0 0 20 0 1 0 158775507 71909376 9648 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 17556 9648 1430 291 0 9090 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70224 KiB
Current children cumulated memory: 38592 KiB
[startup+3.1058 s]
/proc/loadavg: 4.16 4.12 4.09 5/260 811900
/proc/meminfo: memFree=128187176/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=84028 memory=44128 CPUtime=3.09 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 7054 0 0 0 298 11 0 0 20 0 1 0 158775507 86044672 11032 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 21007 11032 1430 291 0 12541 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 84028 KiB
Current children cumulated memory: 44128 KiB
[startup+6.30014 s]
/proc/loadavg: 4.16 4.12 4.09 5/260 811901
/proc/meminfo: memFree=128178216/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=88040 memory=52696 CPUtime=6.27 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 8180 0 0 0 609 18 0 0 20 0 1 0 158775507 90152960 13174 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 22010 13174 1430 291 0 13544 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 88040 KiB
Current children cumulated memory: 52696 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/260 811901
/proc/meminfo: memFree=128175224/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=88304 memory=53076 CPUtime=12.66 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 8611 0 0 0 1236 30 0 0 20 0 1 0 158775507 90423296 13269 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 22076 13269 1430 291 0 13610 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 88304 KiB
Current children cumulated memory: 53076 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 811904
/proc/meminfo: memFree=128167912/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=90972 memory=55624 CPUtime=25.43 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 10510 0 0 0 2499 44 0 0 20 0 1 0 158775507 93155328 13906 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 22743 13906 1430 291 0 14277 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 90972 KiB
Current children cumulated memory: 55624 KiB
[startup+51.1054 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 811907
/proc/meminfo: memFree=128152932/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=91936 memory=56468 CPUtime=50.97 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 11411 0 0 0 5031 66 0 0 20 0 1 0 158775507 94142464 14117 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 22984 14117 1430 291 0 14518 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 91936 KiB
Current children cumulated memory: 56468 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 811916
/proc/meminfo: memFree=128130516/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=90120 memory=55044 CPUtime=102.04 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 13072 0 0 0 10104 100 0 0 20 0 1 0 158775507 92282880 13761 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 22530 13761 1430 291 0 14064 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 90120 KiB
Current children cumulated memory: 55044 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 811927
/proc/meminfo: memFree=128109088/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=93936 memory=58736 CPUtime=161.89 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 14000 0 0 0 16056 133 0 0 20 0 1 0 158775507 96190464 14684 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 23484 14684 1430 291 0 15018 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 93936 KiB
Current children cumulated memory: 58736 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 812107
/proc/meminfo: memFree=128101988/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=94928 memory=59604 CPUtime=221.73 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 15259 0 0 0 22013 160 0 0 20 0 1 0 158775507 97206272 14901 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 23732 14901 1430 291 0 15266 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 94928 KiB
Current children cumulated memory: 59604 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 812117
/proc/meminfo: memFree=128098132/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=96076 memory=60980 CPUtime=281.57 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 15642 0 0 0 27973 184 0 0 20 0 1 0 158775507 98381824 15245 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 24019 15245 1430 291 0 15553 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 96076 KiB
Current children cumulated memory: 60980 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 812143
/proc/meminfo: memFree=128091896/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=96076 memory=61104 CPUtime=341.42 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 15697 0 0 0 33933 209 0 0 20 0 1 0 158775507 98381824 15276 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 24019 15276 1430 291 0 15553 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 96076 KiB
Current children cumulated memory: 61104 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/258 812153
/proc/meminfo: memFree=128088192/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=97660 memory=62348 CPUtime=401.27 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 16744 0 0 0 39901 226 0 0 20 0 1 0 158775507 100003840 15587 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 24415 15587 1430 291 0 15949 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 97660 KiB
Current children cumulated memory: 62348 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/259 812164
/proc/meminfo: memFree=128084276/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=97548 memory=62352 CPUtime=461.12 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 17367 0 0 0 45867 245 0 0 20 0 1 0 158775507 99889152 15588 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 24387 15588 1430 291 0 15921 0
################
# More data... #
################
Current children cumulated memory: 91804 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 813277
/proc/meminfo: memFree=128189660/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=129268 memory=91804 CPUtime=2914 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 25534 0 0 0 290615 785 0 0 20 0 1 0 158775507 132370432 22951 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 32317 22951 1430 291 0 23851 0
Current children cumulated CPU time: 2914 s
Current children cumulated vsize: 129268 KiB
Current children cumulated memory: 91804 KiB
[startup+2982.3 s]
/proc/loadavg: 4.45 4.22 4.13 5/257 813287
/proc/meminfo: memFree=128182624/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=131004 memory=95492 CPUtime=2973.81 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 26004 0 0 0 296588 793 0 0 20 0 1 0 158775507 134148096 23873 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 32751 23873 1430 291 0 24285 0
Current children cumulated CPU time: 2973.81 s
Current children cumulated vsize: 131004 KiB
Current children cumulated memory: 95492 KiB
[startup+3042.3 s]
/proc/loadavg: 4.28 4.21 4.13 5/255 813297
/proc/meminfo: memFree=128178788/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=131004 memory=95492 CPUtime=3033.63 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 26037 0 0 0 302560 803 0 0 20 0 1 0 158775507 134148096 23873 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 32751 23873 1430 291 0 24285 0
Current children cumulated CPU time: 3033.63 s
Current children cumulated vsize: 131004 KiB
Current children cumulated memory: 95492 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.20 4.13 5/255 813307
/proc/meminfo: memFree=128179536/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=131004 memory=95564 CPUtime=3093.44 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 26074 0 0 0 308531 813 0 0 20 0 1 0 158775507 134148096 23891 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 32751 23891 1430 291 0 24285 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 131004 KiB
Current children cumulated memory: 95564 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.20 4.13 5/255 813318
/proc/meminfo: memFree=128176384/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=131004 memory=95564 CPUtime=3153.26 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 26106 0 0 0 314501 825 0 0 20 0 1 0 158775507 134148096 23891 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 32751 23891 1430 291 0 24285 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 131004 KiB
Current children cumulated memory: 95564 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.18 4.13 5/255 813329
/proc/meminfo: memFree=128176100/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=131004 memory=95564 CPUtime=3213.07 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 26138 0 0 0 320469 838 0 0 20 0 1 0 158775507 134148096 23891 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 32751 23891 1430 291 0 24285 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 131004 KiB
Current children cumulated memory: 95564 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.18 4.13 5/255 813339
/proc/meminfo: memFree=128175296/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=130136 memory=94644 CPUtime=3272.89 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 26758 0 0 0 326435 854 0 0 20 0 1 0 158775507 133259264 23661 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 32534 23661 1430 291 0 24068 0
Current children cumulated CPU time: 3272.89 s
Current children cumulated vsize: 130136 KiB
Current children cumulated memory: 94644 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/257 813355
/proc/meminfo: memFree=128175048/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=130136 memory=94644 CPUtime=3332.69 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 26793 0 0 0 332403 866 0 0 20 0 1 0 158775507 133259264 23661 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 32534 23661 1430 291 0 24068 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 130136 KiB
Current children cumulated memory: 94644 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/257 813365
/proc/meminfo: memFree=128176284/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=130136 memory=94644 CPUtime=3392.51 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 26831 0 0 0 338375 876 0 0 20 0 1 0 158775507 133259264 23661 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 32534 23661 1430 291 0 24068 0
Current children cumulated CPU time: 3392.51 s
Current children cumulated vsize: 130136 KiB
Current children cumulated memory: 94644 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/257 813375
/proc/meminfo: memFree=128175988/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=130136 memory=94644 CPUtime=3452.32 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 26871 0 0 0 344347 885 0 0 20 0 1 0 158775507 133259264 23661 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 32534 23661 1430 291 0 24068 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 130136 KiB
Current children cumulated memory: 94644 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.12 4.10 5/257 813387
/proc/meminfo: memFree=128171792/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=130136 memory=94644 CPUtime=3512.12 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 26913 0 0 0 350320 892 0 0 20 0 1 0 158775507 133259264 23661 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 32534 23661 1430 291 0 24068 0
Current children cumulated CPU time: 3512.12 s
Current children cumulated vsize: 130136 KiB
Current children cumulated memory: 94644 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.14 4.11 5/257 813397
/proc/meminfo: memFree=128160800/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=132412 memory=101004 CPUtime=3571.93 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 27530 0 0 0 356294 899 0 0 20 0 1 0 158775507 135589888 25251 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 33103 25251 1430 291 0 24637 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 132412 KiB
Current children cumulated memory: 101004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 3.60 4.01 4.07 3/243 813847
/proc/meminfo: memFree=128398632/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=132412 memory=101004 CPUtime=3600.05 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 27563 0 0 0 359102 903 0 0 20 0 1 0 158775507 135589888 25251 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 33103 25251 1430 291 0 24637 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 132412 KiB
Current children cumulated memory: 101004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.51 s]
# the end of solver process 811899 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.03 s, system=9.04082 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 3.60 4.01 4.07 3/243 813847
/proc/meminfo: memFree=128398632/131524600 swapFree=131071996/131071996
[pid=811899] ppid=811896 vsize=132412 memory=101004 CPUtime=3600.05 cores=1,3
/proc/811899/stat : 811899 (pb-oll-rs) R 811896 811899 807316 0 -1 4194304 27563 0 0 0 359102 903 0 0 20 0 1 0 158775507 135589888 25251 134679101440 4194304 5384005 140732985224256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 36589568 140732985230359 140732985230436 140732985230436 140732985237451 0
/proc/811899/statm: 33103 25251 1430 291 0 24637 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 132412 KiB
Current children cumulated memory: 101004 KiB
Child status: 0
Real time (s): 3610.51
CPU time (s): 3600.07
CPU user time (s): 3591.03
CPU system time (s): 9.04082
CPU usage (%): 99.7109
Max. virtual memory (cumulated for all children) (KiB): 132412
Max. memory (cumulated for all children) (KiB): 101004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.03
system time used= 9.04082
maximum resident set size= 101588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27577
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= 27
involuntary context switches= 2902
# summary of solver processes directly reported to runsolver:
# pid: 811899
# total CPU time (s): 3600.07
# total CPU user time (s): 3591.03
# total CPU system time (s): 9.04082
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8144 second user time and 17.8566 second system time
The end
Begin job on nodeC022 at 2024-07-15 19:55:26
IDJOB=4435925
IDBENCH=146677
IDSOLVER=3067
FILE ID=nodeC022/4435925-1721066113
RUNJOBID= nodeC022-1721058885-807328
SLURM_JOB_ID= 7505493
Free space on /tmp= 890072 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435925-1721066113/watcher-4435925-1721066113 -o /tmp/evaluation-result-4435925-1721066113/solver-4435925-1721066113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721058885-807328 --watchdog 3760 pb-oll-rs HOME/instance-4435925-1721066113.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0bdb6411771ac9360fc2dcf9fc3ce2f6
RANDOM SEED=1695901820
nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.089
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3653.507
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.941
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.125
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.135
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.787
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.001
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3642.770
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128227576 kB
MemAvailable: 129413780 kB
Buffers: 371232 kB
Cached: 1646144 kB
SwapCached: 0 kB
Active: 637584 kB
Inactive: 2059160 kB
Active(anon): 1548 kB
Inactive(anon): 715540 kB
Active(file): 636036 kB
Inactive(file): 1343620 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 12520 kB
Writeback: 0 kB
AnonPages: 678756 kB
Mapped: 107208 kB
Shmem: 37720 kB
KReclaimable: 92388 kB
Slab: 196504 kB
SReclaimable: 92388 kB
SUnreclaim: 104116 kB
KernelStack: 4208 kB
PageTables: 10516 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1046516 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59584 kB
HardwareCorrupted: 0 kB
AnonHugePages: 266240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 228052 kB
DirectMap2M: 22614016 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC022 at 2024-07-15 20:55:37