0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.09/0.18 c [STEP] preprocessing with Papilo
0.19/0.28 c Papilo could not simplify the problem
0.19/0.28 c [STEP] solving with SCIP
299.20/300.39 c [STEP] preprocessing done, loading into solver
299.30/300.43 c [STEP] solving
299.30/300.43 c #variables 596 #constraints 27842
299.30/300.43 c SMALL=int, LARGE=long long
299.30/300.43 d SCIPUB -33
299.30/300.43 c bounds - >= -595 @ 299.009
299.30/300.43 c stratification level: 0
318.74/319.97 c bounds - >= -123 @ 299.023
318.74/319.97 c bounds - >= -122 @ 299.024
318.74/319.97 c bounds - >= -121 @ 299.025
318.74/319.97 c bounds - >= -120 @ 299.025
318.74/319.97 c bounds - >= -119 @ 299.025
318.74/319.97 c bounds - >= -118 @ 299.026
318.74/319.97 c bounds - >= -117 @ 299.026
318.74/319.97 c bounds - >= -116 @ 299.026
318.74/319.97 c bounds - >= -115 @ 299.026
318.74/319.97 c bounds - >= -114 @ 299.026
318.74/319.97 c bounds - >= -113 @ 299.026
318.74/319.97 c bounds - >= -112 @ 299.026
318.74/319.97 c bounds - >= -111 @ 299.026
318.74/319.97 c bounds - >= -110 @ 299.026
318.74/319.97 c bounds - >= -109 @ 299.027
318.74/319.97 c bounds - >= -108 @ 299.027
318.74/319.97 c bounds - >= -107 @ 299.028
318.74/319.97 c #Conflicts: 1000 | #Constraints: 28982
318.74/319.97 c #Conflicts: 2000 | #Constraints: 29982
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 3000 | #Constraints: 29972
318.74/319.97 c #Conflicts: 4000 | #Constraints: 30972
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 5000 | #Constraints: 30377
318.74/319.97 c #Conflicts: 6000 | #Constraints: 31377
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 7000 | #Constraints: 30383
318.74/319.97 c #Conflicts: 8000 | #Constraints: 31383
318.74/319.97 c #Conflicts: 9000 | #Constraints: 32383
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 10000 | #Constraints: 31082
318.74/319.97 c #Conflicts: 11000 | #Constraints: 32082
318.74/319.97 c #Conflicts: 12000 | #Constraints: 33082
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 13000 | #Constraints: 31535
318.74/319.97 c #Conflicts: 14000 | #Constraints: 32535
318.74/319.97 c #Conflicts: 15000 | #Constraints: 33535
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 16000 | #Constraints: 31763
318.74/319.97 c #Conflicts: 17000 | #Constraints: 32763
318.74/319.97 c #Conflicts: 18000 | #Constraints: 33763
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 19000 | #Constraints: 31775
318.74/319.97 c #Conflicts: 20000 | #Constraints: 32775
318.74/319.97 c #Conflicts: 21000 | #Constraints: 33775
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 22000 | #Constraints: 31583
318.74/319.97 c #Conflicts: 23000 | #Constraints: 32583
318.74/319.97 c #Conflicts: 24000 | #Constraints: 33583
318.74/319.97 c #Conflicts: 25000 | #Constraints: 34583
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 26000 | #Constraints: 32192
318.74/319.97 c #Conflicts: 27000 | #Constraints: 33192
318.74/319.97 c #Conflicts: 28000 | #Constraints: 34192
318.74/319.97 c #Conflicts: 29000 | #Constraints: 35192
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 30000 | #Constraints: 32596
318.74/319.97 c #Conflicts: 31000 | #Constraints: 33596
318.74/319.97 c #Conflicts: 32000 | #Constraints: 34596
318.74/319.97 c #Conflicts: 33000 | #Constraints: 35596
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 34000 | #Constraints: 32801
318.74/319.97 c #Conflicts: 35000 | #Constraints: 33801
318.74/319.97 c #Conflicts: 36000 | #Constraints: 34801
318.74/319.97 c #Conflicts: 37000 | #Constraints: 35801
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 38000 | #Constraints: 32795
318.74/319.97 c #Conflicts: 39000 | #Constraints: 33795
318.74/319.97 c #Conflicts: 40000 | #Constraints: 34795
318.74/319.97 c #Conflicts: 41000 | #Constraints: 35795
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 42000 | #Constraints: 32606
318.74/319.97 c #Conflicts: 43000 | #Constraints: 33606
318.74/319.97 c #Conflicts: 44000 | #Constraints: 34606
318.74/319.97 c #Conflicts: 45000 | #Constraints: 35606
318.74/319.97 c #Conflicts: 46000 | #Constraints: 36606
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 47000 | #Constraints: 33193
318.74/319.97 c #Conflicts: 48000 | #Constraints: 34193
318.74/319.97 c #Conflicts: 49000 | #Constraints: 35193
318.74/319.97 c #Conflicts: 50000 | #Constraints: 36193
318.74/319.97 c #Conflicts: 51000 | #Constraints: 37193
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 52000 | #Constraints: 33606
318.74/319.97 c #Conflicts: 53000 | #Constraints: 34606
318.74/319.97 c #Conflicts: 54000 | #Constraints: 35606
318.74/319.97 c #Conflicts: 55000 | #Constraints: 36606
318.74/319.97 c #Conflicts: 56000 | #Constraints: 37606
318.74/319.97 c INPROCESSING
318.74/319.97 c GARBAGE COLLECT
318.74/319.97 c #Conflicts: 57000 | #Constraints: 33800
318.74/319.97 c #Conflicts: 58000 | #Constraints: 34800
318.74/319.97 c #Conflicts: 59000 | #Constraints: 35800
318.74/319.97 c #Conflicts: 60000 | #Constraints: 36800
352.32/353.60 c #Conflicts: 61000 | #Constraints: 37800
352.32/353.60 c INPROCESSING
352.32/353.60 c GARBAGE COLLECT
352.32/353.60 c #Conflicts: 62000 | #Constraints: 33806
352.32/353.60 c #Conflicts: 63000 | #Constraints: 34806
352.32/353.60 c #Conflicts: 64000 | #Constraints: 35806
352.32/353.60 c #Conflicts: 65000 | #Constraints: 36806
352.32/353.60 c #Conflicts: 66000 | #Constraints: 37806
352.32/353.60 c INPROCESSING
352.32/353.60 c GARBAGE COLLECT
352.32/353.60 c #Conflicts: 67000 | #Constraints: 33596
352.32/353.60 c #Conflicts: 68000 | #Constraints: 34596
352.32/353.60 c #Conflicts: 69000 | #Constraints: 35596
352.32/353.60 c #Conflicts: 70000 | #Constraints: 36596
352.32/353.60 c #Conflicts: 71000 | #Constraints: 37596
352.32/353.60 c #Conflicts: 72000 | #Constraints: 38596
352.32/353.60 c INPROCESSING
352.32/353.60 c GARBAGE COLLECT
352.32/353.60 c #Conflicts: 73000 | #Constraints: 34193
352.32/353.60 c #Conflicts: 74000 | #Constraints: 35193
352.32/353.60 c #Conflicts: 75000 | #Constraints: 36193
352.32/353.60 c #Conflicts: 76000 | #Constraints: 37193
352.32/353.60 c #Conflicts: 77000 | #Constraints: 38193
352.32/353.60 c #Conflicts: 78000 | #Constraints: 39193
352.32/353.60 c INPROCESSING
352.32/353.60 c GARBAGE COLLECT
352.32/353.60 c #Conflicts: 79000 | #Constraints: 34598
352.32/353.60 c #Conflicts: 80000 | #Constraints: 35598
352.32/353.60 c #Conflicts: 81000 | #Constraints: 36598
352.32/353.60 c #Conflicts: 82000 | #Constraints: 37598
352.32/353.60 c #Conflicts: 83000 | #Constraints: 38598
352.32/353.60 c #Conflicts: 84000 | #Constraints: 39598
352.32/353.60 c INPROCESSING
352.32/353.60 c GARBAGE COLLECT
352.32/353.60 c #Conflicts: 85000 | #Constraints: 34816
352.32/353.60 c #Conflicts: 86000 | #Constraints: 35816
352.32/353.60 c #Conflicts: 87000 | #Constraints: 36816
352.32/353.60 c #Conflicts: 88000 | #Constraints: 37816
352.32/353.60 c #Conflicts: 89000 | #Constraints: 38816
352.32/353.60 c #Conflicts: 90000 | #Constraints: 39816
352.32/353.60 c INPROCESSING
352.32/353.60 c GARBAGE COLLECT
352.32/353.60 c #Conflicts: 91000 | #Constraints: 34811
352.32/353.60 c #Conflicts: 92000 | #Constraints: 35811
352.32/353.60 c #Conflicts: 93000 | #Constraints: 36811
352.32/353.60 c #Conflicts: 94000 | #Constraints: 37811
352.32/353.60 c #Conflicts: 95000 | #Constraints: 38811
352.32/353.60 c #Conflicts: 96000 | #Constraints: 39811
352.32/353.60 c INPROCESSING
352.32/353.60 c GARBAGE COLLECT
352.32/353.60 c #Conflicts: 97000 | #Constraints: 34604
352.32/353.60 c #Conflicts: 98000 | #Constraints: 35604
352.32/353.60 c #Conflicts: 99000 | #Constraints: 36604
352.32/353.60 c #Conflicts: 100000 | #Constraints: 37604
352.32/353.60 c #Conflicts: 101000 | #Constraints: 38604
352.32/353.60 c #Conflicts: 102000 | #Constraints: 39604
352.32/353.60 c #Conflicts: 103000 | #Constraints: 40604
352.32/353.60 c INPROCESSING
352.32/353.60 c GARBAGE COLLECT
352.32/353.60 c #Conflicts: 104000 | #Constraints: 35211
352.32/353.60 c #Conflicts: 105000 | #Constraints: 36211
352.32/353.60 c #Conflicts: 106000 | #Constraints: 37211
352.32/353.60 c #Conflicts: 107000 | #Constraints: 38211
352.32/353.60 c #Conflicts: 108000 | #Constraints: 39211
352.32/353.60 c #Conflicts: 109000 | #Constraints: 40211
352.32/353.60 c #Conflicts: 110000 | #Constraints: 41211
352.32/353.60 c INPROCESSING
352.32/353.60 c GARBAGE COLLECT
352.32/353.60 c #Conflicts: 111000 | #Constraints: 35609
352.32/353.60 c #Conflicts: 112000 | #Constraints: 36609
352.32/353.60 c #Conflicts: 113000 | #Constraints: 37609
352.32/353.60 c #Conflicts: 114000 | #Constraints: 38609
352.32/353.60 c #Conflicts: 115000 | #Constraints: 39609
352.32/353.60 c #Conflicts: 116000 | #Constraints: 40609
352.32/353.60 c #Conflicts: 117000 | #Constraints: 41609
352.32/353.60 c INPROCESSING
352.32/353.60 c GARBAGE COLLECT
352.32/353.60 c #Conflicts: 118000 | #Constraints: 35800
352.32/353.60 c #Conflicts: 119000 | #Constraints: 36800
352.32/353.60 c #Conflicts: 120000 | #Constraints: 37800
352.32/353.60 c #Conflicts: 121000 | #Constraints: 38800
352.32/353.60 c #Conflicts: 122000 | #Constraints: 39800
352.32/353.60 c #Conflicts: 123000 | #Constraints: 40800
352.32/353.60 c #Conflicts: 124000 | #Constraints: 41800
352.32/353.60 c INPROCESSING
352.32/353.60 c GARBAGE COLLECT
352.32/353.60 c #Conflicts: 125000 | #Constraints: 35810
352.32/353.60 c #Conflicts: 126000 | #Constraints: 36810
352.32/353.60 c #Conflicts: 127000 | #Constraints: 37810
352.32/353.60 c #Conflicts: 128000 | #Constraints: 38810
352.32/353.60 c #Conflicts: 129000 | #Constraints: 39810
352.32/353.60 c #Conflicts: 130000 | #Constraints: 40810
352.32/353.60 c #Conflicts: 131000 | #Constraints: 41810
398.38/399.87 c INPROCESSING
398.38/399.87 c GARBAGE COLLECT
398.38/399.87 c #Conflicts: 132000 | #Constraints: 35615
398.38/399.87 c #Conflicts: 133000 | #Constraints: 36615
398.38/399.87 c #Conflicts: 134000 | #Constraints: 37615
398.38/399.87 c #Conflicts: 135000 | #Constraints: 38615
398.38/399.87 c #Conflicts: 136000 | #Constraints: 39615
398.38/399.87 c #Conflicts: 137000 | #Constraints: 40615
398.38/399.87 c #Conflicts: 138000 | #Constraints: 41615
398.38/399.87 c #Conflicts: 139000 | #Constraints: 42615
398.38/399.87 c INPROCESSING
398.38/399.87 c GARBAGE COLLECT
398.38/399.87 c #Conflicts: 140000 | #Constraints: 36207
398.38/399.87 c #Conflicts: 141000 | #Constraints: 37207
398.38/399.87 c #Conflicts: 142000 | #Constraints: 38207
398.38/399.87 c #Conflicts: 143000 | #Constraints: 39207
398.38/399.87 c #Conflicts: 144000 | #Constraints: 40207
398.38/399.87 c #Conflicts: 145000 | #Constraints: 41207
398.38/399.87 c #Conflicts: 146000 | #Constraints: 42207
398.38/399.87 c #Conflicts: 147000 | #Constraints: 43207
398.38/399.87 c INPROCESSING
398.38/399.87 c GARBAGE COLLECT
398.38/399.87 c #Conflicts: 148000 | #Constraints: 36602
398.38/399.87 c #Conflicts: 149000 | #Constraints: 37602
398.38/399.87 c #Conflicts: 150000 | #Constraints: 38602
398.38/399.87 c #Conflicts: 151000 | #Constraints: 39602
398.38/399.87 c #Conflicts: 152000 | #Constraints: 40602
398.38/399.87 c #Conflicts: 153000 | #Constraints: 41602
398.38/399.87 c #Conflicts: 154000 | #Constraints: 42602
398.38/399.87 c #Conflicts: 155000 | #Constraints: 43602
398.38/399.87 c INPROCESSING
398.38/399.87 c GARBAGE COLLECT
398.38/399.87 c #Conflicts: 156000 | #Constraints: 36816
398.38/399.87 c #Conflicts: 157000 | #Constraints: 37816
398.38/399.87 c #Conflicts: 158000 | #Constraints: 38816
398.38/399.87 c #Conflicts: 159000 | #Constraints: 39816
398.38/399.87 c #Conflicts: 160000 | #Constraints: 40816
398.38/399.87 c #Conflicts: 161000 | #Constraints: 41816
398.38/399.87 c #Conflicts: 162000 | #Constraints: 42816
398.38/399.87 c #Conflicts: 163000 | #Constraints: 43816
398.38/399.87 c INPROCESSING
398.38/399.87 c GARBAGE COLLECT
398.38/399.87 c #Conflicts: 164000 | #Constraints: 36826
398.38/399.87 c #Conflicts: 165000 | #Constraints: 37826
398.38/399.87 c #Conflicts: 166000 | #Constraints: 38826
398.38/399.87 c #Conflicts: 167000 | #Constraints: 39826
398.38/399.87 c #Conflicts: 168000 | #Constraints: 40826
398.38/399.87 c #Conflicts: 169000 | #Constraints: 41826
398.38/399.87 c #Conflicts: 170000 | #Constraints: 42826
398.38/399.87 c #Conflicts: 171000 | #Constraints: 43826
398.38/399.87 c INPROCESSING
398.38/399.87 c GARBAGE COLLECT
398.38/399.87 c #Conflicts: 172000 | #Constraints: 36615
398.38/399.87 c #Conflicts: 173000 | #Constraints: 37615
398.38/399.87 c #Conflicts: 174000 | #Constraints: 38615
398.38/399.87 c #Conflicts: 175000 | #Constraints: 39615
398.38/399.87 c #Conflicts: 176000 | #Constraints: 40615
398.38/399.87 c #Conflicts: 177000 | #Constraints: 41615
398.38/399.87 c #Conflicts: 178000 | #Constraints: 42615
398.38/399.87 c #Conflicts: 179000 | #Constraints: 43615
398.38/399.87 c #Conflicts: 180000 | #Constraints: 44615
398.38/399.87 c INPROCESSING
398.38/399.87 c GARBAGE COLLECT
398.38/399.87 c #Conflicts: 181000 | #Constraints: 37208
398.38/399.87 c #Conflicts: 182000 | #Constraints: 38208
398.38/399.87 c #Conflicts: 183000 | #Constraints: 39208
398.38/399.87 c #Conflicts: 184000 | #Constraints: 40208
398.38/399.87 c #Conflicts: 185000 | #Constraints: 41208
398.38/399.87 c #Conflicts: 186000 | #Constraints: 42208
398.38/399.87 c #Conflicts: 187000 | #Constraints: 43208
398.38/399.87 c #Conflicts: 188000 | #Constraints: 44208
398.38/399.87 c #Conflicts: 189000 | #Constraints: 45208
398.38/399.87 c INPROCESSING
398.38/399.87 c GARBAGE COLLECT
398.38/399.87 c #Conflicts: 190000 | #Constraints: 37619
398.38/399.87 c #Conflicts: 191000 | #Constraints: 38619
398.38/399.87 c #Conflicts: 192000 | #Constraints: 39619
398.38/399.87 c #Conflicts: 193000 | #Constraints: 40619
398.38/399.87 c #Conflicts: 194000 | #Constraints: 41619
398.38/399.87 c #Conflicts: 195000 | #Constraints: 42619
398.38/399.87 c #Conflicts: 196000 | #Constraints: 43619
398.38/399.87 c #Conflicts: 197000 | #Constraints: 44619
398.38/399.87 c #Conflicts: 198000 | #Constraints: 45619
398.38/399.87 c INPROCESSING
398.38/399.87 c GARBAGE COLLECT
398.38/399.87 c #Conflicts: 199000 | #Constraints: 37809
398.38/399.87 c #Conflicts: 200000 | #Constraints: 38809
398.38/399.87 c #Conflicts: 201000 | #Constraints: 39809
398.38/399.87 c #Conflicts: 202000 | #Constraints: 40809
398.38/399.87 c #Conflicts: 203000 | #Constraints: 41809
398.38/399.87 c #Conflicts: 204000 | #Constraints: 42809
453.71/455.35 c #Conflicts: 205000 | #Constraints: 43809
453.71/455.35 c #Conflicts: 206000 | #Constraints: 44809
453.71/455.35 c #Conflicts: 207000 | #Constraints: 45809
453.71/455.35 c INPROCESSING
453.71/455.35 c GARBAGE COLLECT
453.71/455.35 c #Conflicts: 208000 | #Constraints: 37809
453.71/455.35 c #Conflicts: 209000 | #Constraints: 38809
453.71/455.35 c #Conflicts: 210000 | #Constraints: 39809
453.71/455.35 c #Conflicts: 211000 | #Constraints: 40809
453.71/455.35 c #Conflicts: 212000 | #Constraints: 41809
453.71/455.35 c #Conflicts: 213000 | #Constraints: 42809
453.71/455.35 c #Conflicts: 214000 | #Constraints: 43809
453.71/455.35 c #Conflicts: 215000 | #Constraints: 44809
453.71/455.35 c #Conflicts: 216000 | #Constraints: 45809
453.71/455.35 c INPROCESSING
453.71/455.35 c GARBAGE COLLECT
453.71/455.35 c #Conflicts: 217000 | #Constraints: 37617
453.71/455.35 c #Conflicts: 218000 | #Constraints: 38617
453.71/455.35 c #Conflicts: 219000 | #Constraints: 39617
453.71/455.35 c #Conflicts: 220000 | #Constraints: 40617
453.71/455.35 c #Conflicts: 221000 | #Constraints: 41617
453.71/455.35 c #Conflicts: 222000 | #Constraints: 42617
453.71/455.35 c #Conflicts: 223000 | #Constraints: 43617
453.71/455.35 c #Conflicts: 224000 | #Constraints: 44617
453.71/455.35 c #Conflicts: 225000 | #Constraints: 45617
453.71/455.35 c #Conflicts: 226000 | #Constraints: 46617
453.71/455.35 c INPROCESSING
453.71/455.35 c GARBAGE COLLECT
453.71/455.35 c #Conflicts: 227000 | #Constraints: 38211
453.71/455.35 c #Conflicts: 228000 | #Constraints: 39211
453.71/455.35 c #Conflicts: 229000 | #Constraints: 40211
453.71/455.35 c #Conflicts: 230000 | #Constraints: 41211
453.71/455.35 c #Conflicts: 231000 | #Constraints: 42211
453.71/455.35 c #Conflicts: 232000 | #Constraints: 43211
453.71/455.35 c #Conflicts: 233000 | #Constraints: 44211
453.71/455.35 c #Conflicts: 234000 | #Constraints: 45211
453.71/455.35 c #Conflicts: 235000 | #Constraints: 46211
453.71/455.35 c #Conflicts: 236000 | #Constraints: 47211
453.71/455.35 c INPROCESSING
453.71/455.35 c GARBAGE COLLECT
453.71/455.35 c #Conflicts: 237000 | #Constraints: 38607
453.71/455.35 c #Conflicts: 238000 | #Constraints: 39607
453.71/455.35 c #Conflicts: 239000 | #Constraints: 40607
453.71/455.35 c #Conflicts: 240000 | #Constraints: 41607
453.71/455.35 c #Conflicts: 241000 | #Constraints: 42607
453.71/455.35 c #Conflicts: 242000 | #Constraints: 43607
453.71/455.35 c #Conflicts: 243000 | #Constraints: 44607
453.71/455.35 c #Conflicts: 244000 | #Constraints: 45607
453.71/455.35 c #Conflicts: 245000 | #Constraints: 46607
453.71/455.35 c #Conflicts: 246000 | #Constraints: 47607
453.71/455.35 c INPROCESSING
453.71/455.35 c GARBAGE COLLECT
453.71/455.35 c #Conflicts: 247000 | #Constraints: 38804
453.71/455.35 c #Conflicts: 248000 | #Constraints: 39804
453.71/455.35 c #Conflicts: 249000 | #Constraints: 40804
453.71/455.35 c #Conflicts: 250000 | #Constraints: 41804
453.71/455.35 c #Conflicts: 251000 | #Constraints: 42804
453.71/455.35 c #Conflicts: 252000 | #Constraints: 43804
453.71/455.35 c #Conflicts: 253000 | #Constraints: 44804
453.71/455.35 c #Conflicts: 254000 | #Constraints: 45804
453.71/455.35 c #Conflicts: 255000 | #Constraints: 46804
453.71/455.35 c #Conflicts: 256000 | #Constraints: 47804
453.71/455.35 c INPROCESSING
453.71/455.35 c GARBAGE COLLECT
453.71/455.35 c #Conflicts: 257000 | #Constraints: 38802
453.71/455.35 c #Conflicts: 258000 | #Constraints: 39802
453.71/455.35 c #Conflicts: 259000 | #Constraints: 40802
453.71/455.35 c #Conflicts: 260000 | #Constraints: 41802
453.71/455.35 c #Conflicts: 261000 | #Constraints: 42802
453.71/455.35 c #Conflicts: 262000 | #Constraints: 43802
453.71/455.35 c #Conflicts: 263000 | #Constraints: 44802
453.71/455.35 c #Conflicts: 264000 | #Constraints: 45802
453.71/455.35 c #Conflicts: 265000 | #Constraints: 46802
453.71/455.35 c #Conflicts: 266000 | #Constraints: 47802
453.71/455.35 c INPROCESSING
453.71/455.35 c GARBAGE COLLECT
453.71/455.35 c #Conflicts: 267000 | #Constraints: 38609
453.71/455.35 c #Conflicts: 268000 | #Constraints: 39609
453.71/455.35 c #Conflicts: 269000 | #Constraints: 40609
453.71/455.35 c #Conflicts: 270000 | #Constraints: 41609
453.71/455.35 c #Conflicts: 271000 | #Constraints: 42609
453.71/455.35 c #Conflicts: 272000 | #Constraints: 43609
453.71/455.35 c #Conflicts: 273000 | #Constraints: 44609
453.71/455.35 c #Conflicts: 274000 | #Constraints: 45609
453.71/455.35 c #Conflicts: 275000 | #Constraints: 46609
453.71/455.35 c #Conflicts: 276000 | #Constraints: 47609
453.71/455.35 c #Conflicts: 277000 | #Constraints: 48609
453.71/455.35 c INPROCESSING
453.71/455.35 c GARBAGE COLLECT
453.71/455.35 c #Conflicts: 278000 | #Constraints: 39209
518.03/519.82 c #Conflicts: 279000 | #Constraints: 40209
518.03/519.82 c #Conflicts: 280000 | #Constraints: 41209
518.03/519.82 c #Conflicts: 281000 | #Constraints: 42209
518.03/519.82 c #Conflicts: 282000 | #Constraints: 43209
518.03/519.82 c #Conflicts: 283000 | #Constraints: 44209
518.03/519.82 c #Conflicts: 284000 | #Constraints: 45209
518.03/519.82 c #Conflicts: 285000 | #Constraints: 46209
518.03/519.82 c #Conflicts: 286000 | #Constraints: 47209
518.03/519.82 c #Conflicts: 287000 | #Constraints: 48209
518.03/519.82 c #Conflicts: 288000 | #Constraints: 49209
518.03/519.82 c INPROCESSING
518.03/519.82 c GARBAGE COLLECT
518.03/519.82 c #Conflicts: 289000 | #Constraints: 39610
518.03/519.82 c #Conflicts: 290000 | #Constraints: 40610
518.03/519.82 c #Conflicts: 291000 | #Constraints: 41610
518.03/519.82 c #Conflicts: 292000 | #Constraints: 42610
518.03/519.82 c #Conflicts: 293000 | #Constraints: 43610
518.03/519.82 c #Conflicts: 294000 | #Constraints: 44610
518.03/519.82 c #Conflicts: 295000 | #Constraints: 45610
518.03/519.82 c #Conflicts: 296000 | #Constraints: 46610
518.03/519.82 c #Conflicts: 297000 | #Constraints: 47610
518.03/519.82 c #Conflicts: 298000 | #Constraints: 48610
518.03/519.82 c #Conflicts: 299000 | #Constraints: 49610
518.03/519.82 c INPROCESSING
518.03/519.82 c GARBAGE COLLECT
518.03/519.82 c #Conflicts: 300000 | #Constraints: 39807
518.03/519.82 c #Conflicts: 301000 | #Constraints: 40807
518.03/519.82 c #Conflicts: 302000 | #Constraints: 41807
518.03/519.82 c #Conflicts: 303000 | #Constraints: 42807
518.03/519.82 c #Conflicts: 304000 | #Constraints: 43807
518.03/519.82 c #Conflicts: 305000 | #Constraints: 44807
518.03/519.82 c #Conflicts: 306000 | #Constraints: 45807
518.03/519.82 c #Conflicts: 307000 | #Constraints: 46807
518.03/519.82 c #Conflicts: 308000 | #Constraints: 47807
518.03/519.82 c #Conflicts: 309000 | #Constraints: 48807
518.03/519.82 c #Conflicts: 310000 | #Constraints: 49807
518.03/519.82 c INPROCESSING
518.03/519.82 c GARBAGE COLLECT
518.03/519.82 c #Conflicts: 311000 | #Constraints: 39818
518.03/519.82 c #Conflicts: 312000 | #Constraints: 40818
518.03/519.82 c #Conflicts: 313000 | #Constraints: 41818
518.03/519.82 c #Conflicts: 314000 | #Constraints: 42818
518.03/519.82 c #Conflicts: 315000 | #Constraints: 43818
518.03/519.82 c #Conflicts: 316000 | #Constraints: 44818
518.03/519.82 c #Conflicts: 317000 | #Constraints: 45818
518.03/519.82 c #Conflicts: 318000 | #Constraints: 46818
518.03/519.82 c #Conflicts: 319000 | #Constraints: 47818
518.03/519.82 c #Conflicts: 320000 | #Constraints: 48818
518.03/519.82 c #Conflicts: 321000 | #Constraints: 49818
518.03/519.82 c INPROCESSING
518.03/519.82 c GARBAGE COLLECT
518.03/519.82 c #Conflicts: 322000 | #Constraints: 39620
518.03/519.82 c #Conflicts: 323000 | #Constraints: 40620
518.03/519.82 c #Conflicts: 324000 | #Constraints: 41620
518.03/519.82 c #Conflicts: 325000 | #Constraints: 42620
518.03/519.82 c #Conflicts: 326000 | #Constraints: 43620
518.03/519.82 c #Conflicts: 327000 | #Constraints: 44620
518.03/519.82 c #Conflicts: 328000 | #Constraints: 45620
518.03/519.82 c #Conflicts: 329000 | #Constraints: 46620
518.03/519.82 c #Conflicts: 330000 | #Constraints: 47620
518.03/519.82 c #Conflicts: 331000 | #Constraints: 48620
518.03/519.82 c #Conflicts: 332000 | #Constraints: 49620
518.03/519.82 c #Conflicts: 333000 | #Constraints: 50620
518.03/519.82 c INPROCESSING
518.03/519.82 c GARBAGE COLLECT
518.03/519.82 c #Conflicts: 334000 | #Constraints: 40241
518.03/519.82 c #Conflicts: 335000 | #Constraints: 41241
518.03/519.82 c #Conflicts: 336000 | #Constraints: 42241
518.03/519.82 c #Conflicts: 337000 | #Constraints: 43241
518.03/519.82 c #Conflicts: 338000 | #Constraints: 44241
518.03/519.82 c #Conflicts: 339000 | #Constraints: 45241
518.03/519.82 c #Conflicts: 340000 | #Constraints: 46241
518.03/519.82 c #Conflicts: 341000 | #Constraints: 47241
518.03/519.82 c #Conflicts: 342000 | #Constraints: 48241
518.03/519.82 c #Conflicts: 343000 | #Constraints: 49241
518.03/519.82 c #Conflicts: 344000 | #Constraints: 50241
518.03/519.82 c #Conflicts: 345000 | #Constraints: 51241
518.03/519.82 c INPROCESSING
518.03/519.82 c GARBAGE COLLECT
518.03/519.82 c #Conflicts: 346000 | #Constraints: 40639
518.03/519.82 c #Conflicts: 347000 | #Constraints: 41639
518.03/519.82 c #Conflicts: 348000 | #Constraints: 42639
518.03/519.82 c #Conflicts: 349000 | #Constraints: 43639
518.03/519.82 c #Conflicts: 350000 | #Constraints: 44639
518.03/519.82 c #Conflicts: 351000 | #Constraints: 45639
518.03/519.82 c #Conflicts: 352000 | #Constraints: 46639
518.03/519.82 c #Conflicts: 353000 | #Constraints: 47639
586.13/588.18 c #Conflicts: 354000 | #Constraints: 48639
586.13/588.18 c #Conflicts: 355000 | #Constraints: 49639
586.13/588.18 c #Conflicts: 356000 | #Constraints: 50639
586.13/588.18 c #Conflicts: 357000 | #Constraints: 51639
586.13/588.18 c INPROCESSING
586.13/588.18 c GARBAGE COLLECT
586.13/588.18 c #Conflicts: 358000 | #Constraints: 40837
586.13/588.18 c #Conflicts: 359000 | #Constraints: 41837
586.13/588.18 c #Conflicts: 360000 | #Constraints: 42837
586.13/588.18 c #Conflicts: 361000 | #Constraints: 43837
586.13/588.18 c #Conflicts: 362000 | #Constraints: 44837
586.13/588.18 c #Conflicts: 363000 | #Constraints: 45837
586.13/588.18 c #Conflicts: 364000 | #Constraints: 46837
586.13/588.18 c #Conflicts: 365000 | #Constraints: 47837
586.13/588.18 c #Conflicts: 366000 | #Constraints: 48837
586.13/588.18 c #Conflicts: 367000 | #Constraints: 49837
586.13/588.18 c #Conflicts: 368000 | #Constraints: 50837
586.13/588.18 c #Conflicts: 369000 | #Constraints: 51837
586.13/588.18 c INPROCESSING
586.13/588.18 c GARBAGE COLLECT
586.13/588.18 c #Conflicts: 370000 | #Constraints: 40827
586.13/588.18 c #Conflicts: 371000 | #Constraints: 41827
586.13/588.18 c #Conflicts: 372000 | #Constraints: 42827
586.13/588.18 c #Conflicts: 373000 | #Constraints: 43827
586.13/588.18 c #Conflicts: 374000 | #Constraints: 44827
586.13/588.18 c #Conflicts: 375000 | #Constraints: 45827
586.13/588.18 c #Conflicts: 376000 | #Constraints: 46827
586.13/588.18 c #Conflicts: 377000 | #Constraints: 47827
586.13/588.18 c #Conflicts: 378000 | #Constraints: 48827
586.13/588.18 c #Conflicts: 379000 | #Constraints: 49827
586.13/588.18 c #Conflicts: 380000 | #Constraints: 50827
586.13/588.18 c #Conflicts: 381000 | #Constraints: 51827
586.13/588.18 c INPROCESSING
586.13/588.18 c GARBAGE COLLECT
586.13/588.18 c #Conflicts: 382000 | #Constraints: 40619
586.13/588.18 c #Conflicts: 383000 | #Constraints: 41619
586.13/588.18 c #Conflicts: 384000 | #Constraints: 42619
586.13/588.18 c #Conflicts: 385000 | #Constraints: 43619
586.13/588.18 c #Conflicts: 386000 | #Constraints: 44619
586.13/588.18 c #Conflicts: 387000 | #Constraints: 45619
586.13/588.18 c #Conflicts: 388000 | #Constraints: 46619
586.13/588.18 c #Conflicts: 389000 | #Constraints: 47619
586.13/588.18 c #Conflicts: 390000 | #Constraints: 48619
586.13/588.18 c #Conflicts: 391000 | #Constraints: 49619
586.13/588.18 c #Conflicts: 392000 | #Constraints: 50619
586.13/588.18 c #Conflicts: 393000 | #Constraints: 51619
586.13/588.18 c #Conflicts: 394000 | #Constraints: 52619
586.13/588.18 c INPROCESSING
586.13/588.18 c GARBAGE COLLECT
586.13/588.18 c #Conflicts: 395000 | #Constraints: 41209
586.13/588.18 c #Conflicts: 396000 | #Constraints: 42209
586.13/588.18 c #Conflicts: 397000 | #Constraints: 43209
586.13/588.18 c #Conflicts: 398000 | #Constraints: 44209
586.13/588.18 c #Conflicts: 399000 | #Constraints: 45209
586.13/588.18 c #Conflicts: 400000 | #Constraints: 46209
586.13/588.18 c #Conflicts: 401000 | #Constraints: 47209
586.13/588.18 c #Conflicts: 402000 | #Constraints: 48209
586.13/588.18 c #Conflicts: 403000 | #Constraints: 49209
586.13/588.18 c #Conflicts: 404000 | #Constraints: 50209
586.13/588.18 c #Conflicts: 405000 | #Constraints: 51209
586.13/588.18 c #Conflicts: 406000 | #Constraints: 52209
586.13/588.18 c #Conflicts: 407000 | #Constraints: 53209
586.13/588.18 c INPROCESSING
586.13/588.18 c GARBAGE COLLECT
586.13/588.18 c #Conflicts: 408000 | #Constraints: 41610
586.13/588.18 c #Conflicts: 409000 | #Constraints: 42610
586.13/588.18 c #Conflicts: 410000 | #Constraints: 43610
586.13/588.18 c #Conflicts: 411000 | #Constraints: 44610
586.13/588.18 c #Conflicts: 412000 | #Constraints: 45610
586.13/588.18 c #Conflicts: 413000 | #Constraints: 46610
586.13/588.18 c #Conflicts: 414000 | #Constraints: 47610
586.13/588.18 c #Conflicts: 415000 | #Constraints: 48610
586.13/588.18 c #Conflicts: 416000 | #Constraints: 49610
586.13/588.18 c #Conflicts: 417000 | #Constraints: 50610
586.13/588.18 c #Conflicts: 418000 | #Constraints: 51610
586.13/588.18 c #Conflicts: 419000 | #Constraints: 52610
586.13/588.18 c #Conflicts: 420000 | #Constraints: 53610
586.13/588.18 c INPROCESSING
586.13/588.18 c GARBAGE COLLECT
586.13/588.18 c #Conflicts: 421000 | #Constraints: 41822
586.13/588.18 c #Conflicts: 422000 | #Constraints: 42822
586.13/588.18 c #Conflicts: 423000 | #Constraints: 43822
586.13/588.18 c #Conflicts: 424000 | #Constraints: 44822
586.13/588.18 c #Conflicts: 425000 | #Constraints: 45822
586.13/588.18 c #Conflicts: 426000 | #Constraints: 46822
586.13/588.18 c #Conflicts: 427000 | #Constraints: 47822
586.13/588.18 c #Conflicts: 428000 | #Constraints: 48822
648.95/651.17 c #Conflicts: 429000 | #Constraints: 49822
648.95/651.17 c #Conflicts: 430000 | #Constraints: 50822
648.95/651.17 c #Conflicts: 431000 | #Constraints: 51822
648.95/651.17 c #Conflicts: 432000 | #Constraints: 52822
648.95/651.17 c #Conflicts: 433000 | #Constraints: 53822
648.95/651.17 c INPROCESSING
648.95/651.17 c GARBAGE COLLECT
648.95/651.17 c #Conflicts: 434000 | #Constraints: 41828
648.95/651.17 c #Conflicts: 435000 | #Constraints: 42828
648.95/651.17 c #Conflicts: 436000 | #Constraints: 43828
648.95/651.17 c #Conflicts: 437000 | #Constraints: 44828
648.95/651.17 c #Conflicts: 438000 | #Constraints: 45828
648.95/651.17 c #Conflicts: 439000 | #Constraints: 46828
648.95/651.17 c #Conflicts: 440000 | #Constraints: 47828
648.95/651.17 c #Conflicts: 441000 | #Constraints: 48828
648.95/651.17 c #Conflicts: 442000 | #Constraints: 49828
648.95/651.17 c #Conflicts: 443000 | #Constraints: 50828
648.95/651.17 c #Conflicts: 444000 | #Constraints: 51828
648.95/651.17 c #Conflicts: 445000 | #Constraints: 52828
648.95/651.17 c #Conflicts: 446000 | #Constraints: 53828
648.95/651.17 c INPROCESSING
648.95/651.17 c GARBAGE COLLECT
648.95/651.17 c #Conflicts: 447000 | #Constraints: 41630
648.95/651.17 c #Conflicts: 448000 | #Constraints: 42630
648.95/651.17 c #Conflicts: 449000 | #Constraints: 43630
648.95/651.17 c #Conflicts: 450000 | #Constraints: 44630
648.95/651.17 c #Conflicts: 451000 | #Constraints: 45630
648.95/651.17 c #Conflicts: 452000 | #Constraints: 46630
648.95/651.17 c #Conflicts: 453000 | #Constraints: 47630
648.95/651.17 c #Conflicts: 454000 | #Constraints: 48630
648.95/651.17 c #Conflicts: 455000 | #Constraints: 49630
648.95/651.17 c #Conflicts: 456000 | #Constraints: 50630
648.95/651.17 c #Conflicts: 457000 | #Constraints: 51630
648.95/651.17 c #Conflicts: 458000 | #Constraints: 52630
648.95/651.17 c #Conflicts: 459000 | #Constraints: 53630
648.95/651.17 c #Conflicts: 460000 | #Constraints: 54630
648.95/651.17 c INPROCESSING
648.95/651.17 c GARBAGE COLLECT
648.95/651.17 c #Conflicts: 461000 | #Constraints: 42253
648.95/651.17 c #Conflicts: 462000 | #Constraints: 43253
648.95/651.17 c #Conflicts: 463000 | #Constraints: 44253
648.95/651.17 c #Conflicts: 464000 | #Constraints: 45253
648.95/651.17 c #Conflicts: 465000 | #Constraints: 46253
648.95/651.17 c #Conflicts: 466000 | #Constraints: 47253
648.95/651.17 c #Conflicts: 467000 | #Constraints: 48253
648.95/651.17 c #Conflicts: 468000 | #Constraints: 49253
648.95/651.17 c #Conflicts: 469000 | #Constraints: 50253
648.95/651.17 c #Conflicts: 470000 | #Constraints: 51253
648.95/651.17 c #Conflicts: 471000 | #Constraints: 52253
648.95/651.17 c #Conflicts: 472000 | #Constraints: 53253
648.95/651.17 c #Conflicts: 473000 | #Constraints: 54253
648.95/651.17 c #Conflicts: 474000 | #Constraints: 55253
648.95/651.17 c INPROCESSING
648.95/651.17 c GARBAGE COLLECT
648.95/651.17 c #Conflicts: 475000 | #Constraints: 42642
648.95/651.17 c #Conflicts: 476000 | #Constraints: 43642
648.95/651.17 c #Conflicts: 477000 | #Constraints: 44642
648.95/651.17 c #Conflicts: 478000 | #Constraints: 45642
648.95/651.17 c #Conflicts: 479000 | #Constraints: 46642
648.95/651.17 c #Conflicts: 480000 | #Constraints: 47642
648.95/651.17 c #Conflicts: 481000 | #Constraints: 48642
648.95/651.17 c #Conflicts: 482000 | #Constraints: 49642
648.95/651.17 c #Conflicts: 483000 | #Constraints: 50642
648.95/651.17 c #Conflicts: 484000 | #Constraints: 51642
648.95/651.17 c #Conflicts: 485000 | #Constraints: 52642
648.95/651.17 c #Conflicts: 486000 | #Constraints: 53642
648.95/651.17 c #Conflicts: 487000 | #Constraints: 54642
648.95/651.17 c #Conflicts: 488000 | #Constraints: 55642
648.95/651.17 c INPROCESSING
648.95/651.17 c GARBAGE COLLECT
648.95/651.17 c #Conflicts: 489000 | #Constraints: 42833
648.95/651.17 c #Conflicts: 490000 | #Constraints: 43833
648.95/651.17 c #Conflicts: 491000 | #Constraints: 44833
648.95/651.17 c #Conflicts: 492000 | #Constraints: 45833
648.95/651.17 c #Conflicts: 493000 | #Constraints: 46833
648.95/651.17 c #Conflicts: 494000 | #Constraints: 47833
648.95/651.17 c #Conflicts: 495000 | #Constraints: 48833
648.95/651.17 c #Conflicts: 496000 | #Constraints: 49833
648.95/651.17 c #Conflicts: 497000 | #Constraints: 50833
648.95/651.17 c #Conflicts: 498000 | #Constraints: 51833
648.95/651.17 c #Conflicts: 499000 | #Constraints: 52833
648.95/651.17 c #Conflicts: 500000 | #Constraints: 53833
648.95/651.17 c #Conflicts: 501000 | #Constraints: 54833
648.95/651.17 c #Conflicts: 502000 | #Constraints: 55833
648.95/651.17 c INPROCESSING
648.95/651.17 c GARBAGE COLLECT
648.95/651.17 c #Conflicts: 503000 | #Constraints: 42834
730.40/732.89 c #Conflicts: 504000 | #Constraints: 43834
730.40/732.89 c #Conflicts: 505000 | #Constraints: 44834
730.40/732.89 c #Conflicts: 506000 | #Constraints: 45834
730.40/732.89 c #Conflicts: 507000 | #Constraints: 46834
730.40/732.89 c #Conflicts: 508000 | #Constraints: 47834
730.40/732.89 c #Conflicts: 509000 | #Constraints: 48834
730.40/732.89 c #Conflicts: 510000 | #Constraints: 49834
730.40/732.89 c #Conflicts: 511000 | #Constraints: 50834
730.40/732.89 c #Conflicts: 512000 | #Constraints: 51834
730.40/732.89 c #Conflicts: 513000 | #Constraints: 52834
730.40/732.89 c #Conflicts: 514000 | #Constraints: 53834
730.40/732.89 c #Conflicts: 515000 | #Constraints: 54834
730.40/732.89 c #Conflicts: 516000 | #Constraints: 55834
730.40/732.89 c INPROCESSING
730.40/732.89 c GARBAGE COLLECT
730.40/732.89 c #Conflicts: 517000 | #Constraints: 42634
730.40/732.89 c #Conflicts: 518000 | #Constraints: 43634
730.40/732.89 c #Conflicts: 519000 | #Constraints: 44634
730.40/732.89 c #Conflicts: 520000 | #Constraints: 45634
730.40/732.89 c #Conflicts: 521000 | #Constraints: 46634
730.40/732.89 c #Conflicts: 522000 | #Constraints: 47634
730.40/732.89 c #Conflicts: 523000 | #Constraints: 48634
730.40/732.89 c #Conflicts: 524000 | #Constraints: 49634
730.40/732.89 c #Conflicts: 525000 | #Constraints: 50634
730.40/732.89 c #Conflicts: 526000 | #Constraints: 51634
730.40/732.89 c #Conflicts: 527000 | #Constraints: 52634
730.40/732.89 c #Conflicts: 528000 | #Constraints: 53634
730.40/732.89 c #Conflicts: 529000 | #Constraints: 54634
730.40/732.89 c #Conflicts: 530000 | #Constraints: 55634
730.40/732.89 c #Conflicts: 531000 | #Constraints: 56634
730.40/732.89 c INPROCESSING
730.40/732.89 c GARBAGE COLLECT
730.40/732.89 c #Conflicts: 532000 | #Constraints: 43241
730.40/732.89 c #Conflicts: 533000 | #Constraints: 44241
730.40/732.89 c #Conflicts: 534000 | #Constraints: 45241
730.40/732.89 c #Conflicts: 535000 | #Constraints: 46241
730.40/732.89 c #Conflicts: 536000 | #Constraints: 47241
730.40/732.89 c #Conflicts: 537000 | #Constraints: 48241
730.40/732.89 c #Conflicts: 538000 | #Constraints: 49241
730.40/732.89 c #Conflicts: 539000 | #Constraints: 50241
730.40/732.89 c #Conflicts: 540000 | #Constraints: 51241
730.40/732.89 c #Conflicts: 541000 | #Constraints: 52241
730.40/732.89 c #Conflicts: 542000 | #Constraints: 53241
730.40/732.89 c #Conflicts: 543000 | #Constraints: 54241
730.40/732.89 c #Conflicts: 544000 | #Constraints: 55241
730.40/732.89 c #Conflicts: 545000 | #Constraints: 56241
730.40/732.89 c #Conflicts: 546000 | #Constraints: 57241
730.40/732.89 c INPROCESSING
730.40/732.89 c GARBAGE COLLECT
730.40/732.89 c #Conflicts: 547000 | #Constraints: 43632
730.40/732.89 c #Conflicts: 548000 | #Constraints: 44632
730.40/732.89 c #Conflicts: 549000 | #Constraints: 45632
730.40/732.89 c #Conflicts: 550000 | #Constraints: 46632
730.40/732.89 c #Conflicts: 551000 | #Constraints: 47632
730.40/732.89 c #Conflicts: 552000 | #Constraints: 48632
730.40/732.89 c #Conflicts: 553000 | #Constraints: 49632
730.40/732.89 c #Conflicts: 554000 | #Constraints: 50632
730.40/732.89 c #Conflicts: 555000 | #Constraints: 51632
730.40/732.89 c #Conflicts: 556000 | #Constraints: 52632
730.40/732.89 c #Conflicts: 557000 | #Constraints: 53632
730.40/732.89 c #Conflicts: 558000 | #Constraints: 54632
730.40/732.89 c #Conflicts: 559000 | #Constraints: 55632
730.40/732.89 c #Conflicts: 560000 | #Constraints: 56632
730.40/732.89 c #Conflicts: 561000 | #Constraints: 57632
730.40/732.89 c INPROCESSING
730.40/732.89 c GARBAGE COLLECT
730.40/732.89 c #Conflicts: 562000 | #Constraints: 43830
730.40/732.89 c #Conflicts: 563000 | #Constraints: 44830
730.40/732.89 c #Conflicts: 564000 | #Constraints: 45830
730.40/732.89 c #Conflicts: 565000 | #Constraints: 46830
730.40/732.89 c #Conflicts: 566000 | #Constraints: 47830
730.40/732.89 c #Conflicts: 567000 | #Constraints: 48830
730.40/732.89 c #Conflicts: 568000 | #Constraints: 49830
730.40/732.89 c #Conflicts: 569000 | #Constraints: 50830
730.40/732.89 c #Conflicts: 570000 | #Constraints: 51830
730.40/732.89 c #Conflicts: 571000 | #Constraints: 52830
730.40/732.89 c #Conflicts: 572000 | #Constraints: 53830
730.40/732.89 c #Conflicts: 573000 | #Constraints: 54830
730.40/732.89 c #Conflicts: 574000 | #Constraints: 55830
730.40/732.89 c #Conflicts: 575000 | #Constraints: 56830
730.40/732.89 c #Conflicts: 576000 | #Constraints: 57830
730.40/732.89 c INPROCESSING
730.40/732.89 c GARBAGE COLLECT
730.40/732.89 c #Conflicts: 577000 | #Constraints: 43831
730.40/732.89 c #Conflicts: 578000 | #Constraints: 44831
730.40/732.89 c #Conflicts: 579000 | #Constraints: 45831
809.59/812.24 c #Conflicts: 580000 | #Constraints: 46831
809.59/812.24 c #Conflicts: 581000 | #Constraints: 47831
809.59/812.24 c #Conflicts: 582000 | #Constraints: 48831
809.59/812.24 c #Conflicts: 583000 | #Constraints: 49831
809.59/812.24 c #Conflicts: 584000 | #Constraints: 50831
809.59/812.24 c #Conflicts: 585000 | #Constraints: 51831
809.59/812.24 c #Conflicts: 586000 | #Constraints: 52831
809.59/812.24 c #Conflicts: 587000 | #Constraints: 53831
809.59/812.24 c #Conflicts: 588000 | #Constraints: 54831
809.59/812.24 c #Conflicts: 589000 | #Constraints: 55831
809.59/812.24 c #Conflicts: 590000 | #Constraints: 56831
809.59/812.24 c #Conflicts: 591000 | #Constraints: 57831
809.59/812.24 c INPROCESSING
809.59/812.24 c GARBAGE COLLECT
809.59/812.24 c #Conflicts: 592000 | #Constraints: 43633
809.59/812.24 c #Conflicts: 593000 | #Constraints: 44633
809.59/812.24 c #Conflicts: 594000 | #Constraints: 45633
809.59/812.24 c #Conflicts: 595000 | #Constraints: 46633
809.59/812.24 c #Conflicts: 596000 | #Constraints: 47633
809.59/812.24 c #Conflicts: 597000 | #Constraints: 48633
809.59/812.24 c #Conflicts: 598000 | #Constraints: 49633
809.59/812.24 c #Conflicts: 599000 | #Constraints: 50633
809.59/812.24 c #Conflicts: 600000 | #Constraints: 51633
809.59/812.24 c #Conflicts: 601000 | #Constraints: 52633
809.59/812.24 c #Conflicts: 602000 | #Constraints: 53633
809.59/812.24 c #Conflicts: 603000 | #Constraints: 54633
809.59/812.24 c #Conflicts: 604000 | #Constraints: 55633
809.59/812.24 c #Conflicts: 605000 | #Constraints: 56633
809.59/812.24 c #Conflicts: 606000 | #Constraints: 57633
809.59/812.24 c #Conflicts: 607000 | #Constraints: 58633
809.59/812.24 c INPROCESSING
809.59/812.24 c GARBAGE COLLECT
809.59/812.24 c #Conflicts: 608000 | #Constraints: 44244
809.59/812.24 c #Conflicts: 609000 | #Constraints: 45244
809.59/812.24 c #Conflicts: 610000 | #Constraints: 46244
809.59/812.24 c #Conflicts: 611000 | #Constraints: 47244
809.59/812.24 c #Conflicts: 612000 | #Constraints: 48244
809.59/812.24 c #Conflicts: 613000 | #Constraints: 49244
809.59/812.24 c #Conflicts: 614000 | #Constraints: 50244
809.59/812.24 c #Conflicts: 615000 | #Constraints: 51244
809.59/812.24 c #Conflicts: 616000 | #Constraints: 52244
809.59/812.24 c #Conflicts: 617000 | #Constraints: 53244
809.59/812.24 c #Conflicts: 618000 | #Constraints: 54244
809.59/812.24 c #Conflicts: 619000 | #Constraints: 55244
809.59/812.24 c #Conflicts: 620000 | #Constraints: 56244
809.59/812.24 c #Conflicts: 621000 | #Constraints: 57244
809.59/812.24 c #Conflicts: 622000 | #Constraints: 58244
809.59/812.24 c #Conflicts: 623000 | #Constraints: 59244
809.59/812.24 c INPROCESSING
809.59/812.24 c GARBAGE COLLECT
809.59/812.24 c #Conflicts: 624000 | #Constraints: 44633
809.59/812.24 c #Conflicts: 625000 | #Constraints: 45633
809.59/812.24 c #Conflicts: 626000 | #Constraints: 46633
809.59/812.24 c #Conflicts: 627000 | #Constraints: 47633
809.59/812.24 c #Conflicts: 628000 | #Constraints: 48633
809.59/812.24 c #Conflicts: 629000 | #Constraints: 49633
809.59/812.24 c #Conflicts: 630000 | #Constraints: 50633
809.59/812.24 c #Conflicts: 631000 | #Constraints: 51633
809.59/812.24 c #Conflicts: 632000 | #Constraints: 52633
809.59/812.24 c #Conflicts: 633000 | #Constraints: 53633
809.59/812.24 c #Conflicts: 634000 | #Constraints: 54633
809.59/812.24 c #Conflicts: 635000 | #Constraints: 55633
809.59/812.24 c #Conflicts: 636000 | #Constraints: 56633
809.59/812.24 c #Conflicts: 637000 | #Constraints: 57633
809.59/812.24 c #Conflicts: 638000 | #Constraints: 58633
809.59/812.24 c #Conflicts: 639000 | #Constraints: 59633
809.59/812.24 c INPROCESSING
809.59/812.24 c GARBAGE COLLECT
809.59/812.24 c #Conflicts: 640000 | #Constraints: 44845
809.59/812.24 c #Conflicts: 641000 | #Constraints: 45845
809.59/812.24 c #Conflicts: 642000 | #Constraints: 46845
809.59/812.24 c #Conflicts: 643000 | #Constraints: 47845
809.59/812.24 c #Conflicts: 644000 | #Constraints: 48845
809.59/812.24 c #Conflicts: 645000 | #Constraints: 49845
809.59/812.24 c #Conflicts: 646000 | #Constraints: 50845
809.59/812.24 c #Conflicts: 647000 | #Constraints: 51845
809.59/812.24 c #Conflicts: 648000 | #Constraints: 52845
809.59/812.24 c #Conflicts: 649000 | #Constraints: 53845
809.59/812.24 c #Conflicts: 650000 | #Constraints: 54845
809.59/812.24 c #Conflicts: 651000 | #Constraints: 55845
809.59/812.24 c #Conflicts: 652000 | #Constraints: 56845
809.59/812.24 c #Conflicts: 653000 | #Constraints: 57845
809.59/812.24 c #Conflicts: 654000 | #Constraints: 58845
809.59/812.24 c #Conflicts: 655000 | #Constraints: 59845
893.08/895.92 c INPROCESSING
893.08/895.92 c GARBAGE COLLECT
893.08/895.92 c #Conflicts: 656000 | #Constraints: 44842
893.08/895.92 c #Conflicts: 657000 | #Constraints: 45842
893.08/895.92 c #Conflicts: 658000 | #Constraints: 46842
893.08/895.92 c #Conflicts: 659000 | #Constraints: 47842
893.08/895.92 c #Conflicts: 660000 | #Constraints: 48842
893.08/895.92 c #Conflicts: 661000 | #Constraints: 49842
893.08/895.92 c #Conflicts: 662000 | #Constraints: 50842
893.08/895.92 c #Conflicts: 663000 | #Constraints: 51842
893.08/895.92 c #Conflicts: 664000 | #Constraints: 52842
893.08/895.92 c #Conflicts: 665000 | #Constraints: 53842
893.08/895.92 c #Conflicts: 666000 | #Constraints: 54842
893.08/895.92 c #Conflicts: 667000 | #Constraints: 55842
893.08/895.92 c #Conflicts: 668000 | #Constraints: 56842
893.08/895.92 c #Conflicts: 669000 | #Constraints: 57842
893.08/895.92 c #Conflicts: 670000 | #Constraints: 58842
893.08/895.92 c #Conflicts: 671000 | #Constraints: 59842
893.08/895.92 c INPROCESSING
893.08/895.92 c GARBAGE COLLECT
893.08/895.92 c #Conflicts: 672000 | #Constraints: 44634
893.08/895.92 c #Conflicts: 673000 | #Constraints: 45634
893.08/895.92 c #Conflicts: 674000 | #Constraints: 46634
893.08/895.92 c #Conflicts: 675000 | #Constraints: 47634
893.08/895.92 c #Conflicts: 676000 | #Constraints: 48634
893.08/895.92 c #Conflicts: 677000 | #Constraints: 49634
893.08/895.92 c #Conflicts: 678000 | #Constraints: 50634
893.08/895.92 c #Conflicts: 679000 | #Constraints: 51634
893.08/895.92 c #Conflicts: 680000 | #Constraints: 52634
893.08/895.92 c #Conflicts: 681000 | #Constraints: 53634
893.08/895.92 c #Conflicts: 682000 | #Constraints: 54634
893.08/895.92 c #Conflicts: 683000 | #Constraints: 55634
893.08/895.92 c #Conflicts: 684000 | #Constraints: 56634
893.08/895.92 c #Conflicts: 685000 | #Constraints: 57634
893.08/895.92 c #Conflicts: 686000 | #Constraints: 58634
893.08/895.92 c #Conflicts: 687000 | #Constraints: 59634
893.08/895.92 c #Conflicts: 688000 | #Constraints: 60634
893.08/895.92 c INPROCESSING
893.08/895.92 c GARBAGE COLLECT
893.08/895.92 c #Conflicts: 689000 | #Constraints: 45225
893.08/895.92 c #Conflicts: 690000 | #Constraints: 46225
893.08/895.92 c #Conflicts: 691000 | #Constraints: 47225
893.08/895.92 c #Conflicts: 692000 | #Constraints: 48225
893.08/895.92 c #Conflicts: 693000 | #Constraints: 49225
893.08/895.92 c #Conflicts: 694000 | #Constraints: 50225
893.08/895.92 c #Conflicts: 695000 | #Constraints: 51225
893.08/895.92 c #Conflicts: 696000 | #Constraints: 52225
893.08/895.92 c #Conflicts: 697000 | #Constraints: 53225
893.08/895.92 c #Conflicts: 698000 | #Constraints: 54225
893.08/895.92 c #Conflicts: 699000 | #Constraints: 55225
893.08/895.92 c #Conflicts: 700000 | #Constraints: 56225
893.08/895.92 c #Conflicts: 701000 | #Constraints: 57225
893.08/895.92 c #Conflicts: 702000 | #Constraints: 58225
893.08/895.92 c #Conflicts: 703000 | #Constraints: 59225
893.08/895.92 c #Conflicts: 704000 | #Constraints: 60225
893.08/895.92 c #Conflicts: 705000 | #Constraints: 61225
893.08/895.92 c INPROCESSING
893.08/895.92 c GARBAGE COLLECT
893.08/895.92 c #Conflicts: 706000 | #Constraints: 45616
893.08/895.92 c #Conflicts: 707000 | #Constraints: 46616
893.08/895.92 c #Conflicts: 708000 | #Constraints: 47616
893.08/895.92 c #Conflicts: 709000 | #Constraints: 48616
893.08/895.92 c #Conflicts: 710000 | #Constraints: 49616
893.08/895.92 c #Conflicts: 711000 | #Constraints: 50616
893.08/895.92 c #Conflicts: 712000 | #Constraints: 51616
893.08/895.92 c #Conflicts: 713000 | #Constraints: 52616
893.08/895.92 c #Conflicts: 714000 | #Constraints: 53616
893.08/895.92 c #Conflicts: 715000 | #Constraints: 54616
893.08/895.92 c #Conflicts: 716000 | #Constraints: 55616
893.08/895.92 c #Conflicts: 717000 | #Constraints: 56616
893.08/895.92 c #Conflicts: 718000 | #Constraints: 57616
893.08/895.92 c #Conflicts: 719000 | #Constraints: 58616
893.08/895.92 c #Conflicts: 720000 | #Constraints: 59616
893.08/895.92 c #Conflicts: 721000 | #Constraints: 60616
893.08/895.92 c #Conflicts: 722000 | #Constraints: 61616
893.08/895.92 c INPROCESSING
893.08/895.92 c GARBAGE COLLECT
893.08/895.92 c #Conflicts: 723000 | #Constraints: 45811
893.08/895.92 c #Conflicts: 724000 | #Constraints: 46811
893.08/895.92 c #Conflicts: 725000 | #Constraints: 47811
893.08/895.92 c #Conflicts: 726000 | #Constraints: 48811
893.08/895.92 c #Conflicts: 727000 | #Constraints: 49811
893.08/895.92 c #Conflicts: 728000 | #Constraints: 50811
893.08/895.92 c #Conflicts: 729000 | #Constraints: 51811
893.08/895.92 c #Conflicts: 730000 | #Constraints: 52811
1007.16/1010.36 c #Conflicts: 731000 | #Constraints: 53811
1007.16/1010.36 c #Conflicts: 732000 | #Constraints: 54811
1007.16/1010.36 c #Conflicts: 733000 | #Constraints: 55811
1007.16/1010.36 c #Conflicts: 734000 | #Constraints: 56811
1007.16/1010.36 c #Conflicts: 735000 | #Constraints: 57811
1007.16/1010.36 c #Conflicts: 736000 | #Constraints: 58811
1007.16/1010.36 c #Conflicts: 737000 | #Constraints: 59811
1007.16/1010.36 c #Conflicts: 738000 | #Constraints: 60811
1007.16/1010.36 c #Conflicts: 739000 | #Constraints: 61811
1007.16/1010.36 c INPROCESSING
1007.16/1010.36 c GARBAGE COLLECT
1007.16/1010.36 c #Conflicts: 740000 | #Constraints: 45831
1007.16/1010.36 c #Conflicts: 741000 | #Constraints: 46831
1007.16/1010.36 c #Conflicts: 742000 | #Constraints: 47831
1007.16/1010.36 c #Conflicts: 743000 | #Constraints: 48831
1007.16/1010.36 c #Conflicts: 744000 | #Constraints: 49831
1007.16/1010.36 c #Conflicts: 745000 | #Constraints: 50831
1007.16/1010.36 c #Conflicts: 746000 | #Constraints: 51831
1007.16/1010.36 c #Conflicts: 747000 | #Constraints: 52831
1007.16/1010.36 c #Conflicts: 748000 | #Constraints: 53831
1007.16/1010.36 c #Conflicts: 749000 | #Constraints: 54831
1007.16/1010.36 c #Conflicts: 750000 | #Constraints: 55831
1007.16/1010.36 c #Conflicts: 751000 | #Constraints: 56831
1007.16/1010.36 c #Conflicts: 752000 | #Constraints: 57831
1007.16/1010.36 c #Conflicts: 753000 | #Constraints: 58831
1007.16/1010.36 c #Conflicts: 754000 | #Constraints: 59831
1007.16/1010.36 c #Conflicts: 755000 | #Constraints: 60831
1007.16/1010.36 c #Conflicts: 756000 | #Constraints: 61831
1007.16/1010.36 c INPROCESSING
1007.16/1010.36 c GARBAGE COLLECT
1007.16/1010.36 c #Conflicts: 757000 | #Constraints: 45636
1007.16/1010.36 c #Conflicts: 758000 | #Constraints: 46636
1007.16/1010.36 c #Conflicts: 759000 | #Constraints: 47636
1007.16/1010.36 c #Conflicts: 760000 | #Constraints: 48636
1007.16/1010.36 c #Conflicts: 761000 | #Constraints: 49636
1007.16/1010.36 c #Conflicts: 762000 | #Constraints: 50636
1007.16/1010.36 c #Conflicts: 763000 | #Constraints: 51636
1007.16/1010.36 c #Conflicts: 764000 | #Constraints: 52636
1007.16/1010.36 c #Conflicts: 765000 | #Constraints: 53636
1007.16/1010.36 c #Conflicts: 766000 | #Constraints: 54636
1007.16/1010.36 c #Conflicts: 767000 | #Constraints: 55636
1007.16/1010.36 c #Conflicts: 768000 | #Constraints: 56636
1007.16/1010.36 c #Conflicts: 769000 | #Constraints: 57636
1007.16/1010.36 c #Conflicts: 770000 | #Constraints: 58636
1007.16/1010.36 c #Conflicts: 771000 | #Constraints: 59636
1007.16/1010.36 c #Conflicts: 772000 | #Constraints: 60636
1007.16/1010.36 c #Conflicts: 773000 | #Constraints: 61636
1007.16/1010.36 c #Conflicts: 774000 | #Constraints: 62636
1007.16/1010.36 c INPROCESSING
1007.16/1010.36 c GARBAGE COLLECT
1007.16/1010.36 c #Conflicts: 775000 | #Constraints: 46229
1007.16/1010.36 c #Conflicts: 776000 | #Constraints: 47229
1007.16/1010.36 c #Conflicts: 777000 | #Constraints: 48229
1007.16/1010.36 c #Conflicts: 778000 | #Constraints: 49229
1007.16/1010.36 c #Conflicts: 779000 | #Constraints: 50229
1007.16/1010.36 c #Conflicts: 780000 | #Constraints: 51229
1007.16/1010.36 c #Conflicts: 781000 | #Constraints: 52229
1007.16/1010.36 c #Conflicts: 782000 | #Constraints: 53229
1007.16/1010.36 c #Conflicts: 783000 | #Constraints: 54229
1007.16/1010.36 c #Conflicts: 784000 | #Constraints: 55229
1007.16/1010.36 c #Conflicts: 785000 | #Constraints: 56229
1007.16/1010.36 c #Conflicts: 786000 | #Constraints: 57229
1007.16/1010.36 c #Conflicts: 787000 | #Constraints: 58229
1007.16/1010.36 c #Conflicts: 788000 | #Constraints: 59229
1007.16/1010.36 c #Conflicts: 789000 | #Constraints: 60229
1007.16/1010.36 c #Conflicts: 790000 | #Constraints: 61229
1007.16/1010.36 c #Conflicts: 791000 | #Constraints: 62229
1007.16/1010.36 c #Conflicts: 792000 | #Constraints: 63229
1007.16/1010.36 c INPROCESSING
1007.16/1010.36 c GARBAGE COLLECT
1007.16/1010.36 c #Conflicts: 793000 | #Constraints: 46637
1007.16/1010.36 c #Conflicts: 794000 | #Constraints: 47637
1007.16/1010.36 c #Conflicts: 795000 | #Constraints: 48637
1007.16/1010.36 c #Conflicts: 796000 | #Constraints: 49637
1007.16/1010.36 c #Conflicts: 797000 | #Constraints: 50637
1007.16/1010.36 c #Conflicts: 798000 | #Constraints: 51637
1007.16/1010.36 c #Conflicts: 799000 | #Constraints: 52637
1007.16/1010.36 c #Conflicts: 800000 | #Constraints: 53637
1007.16/1010.36 c #Conflicts: 801000 | #Constraints: 54637
1007.16/1010.36 c #Conflicts: 802000 | #Constraints: 55637
1007.16/1010.36 c #Conflicts: 803000 | #Constraints: 56637
1007.16/1010.36 c #Conflicts: 804000 | #Constraints: 57637
1007.16/1010.36 c #Conflicts: 805000 | #Constraints: 58637
1007.16/1010.36 c #Conflicts: 806000 | #Constraints: 59637
1007.16/1010.36 c #Conflicts: 807000 | #Constraints: 60637
1132.51/1136.05 c #Conflicts: 808000 | #Constraints: 61637
1132.51/1136.05 c #Conflicts: 809000 | #Constraints: 62637
1132.51/1136.05 c #Conflicts: 810000 | #Constraints: 63637
1132.51/1136.05 c INPROCESSING
1132.51/1136.05 c GARBAGE COLLECT
1132.51/1136.05 c #Conflicts: 811000 | #Constraints: 46836
1132.51/1136.05 c #Conflicts: 812000 | #Constraints: 47836
1132.51/1136.05 c #Conflicts: 813000 | #Constraints: 48836
1132.51/1136.05 c #Conflicts: 814000 | #Constraints: 49836
1132.51/1136.05 c #Conflicts: 815000 | #Constraints: 50836
1132.51/1136.05 c #Conflicts: 816000 | #Constraints: 51836
1132.51/1136.05 c #Conflicts: 817000 | #Constraints: 52836
1132.51/1136.05 c #Conflicts: 818000 | #Constraints: 53836
1132.51/1136.05 c #Conflicts: 819000 | #Constraints: 54836
1132.51/1136.05 c #Conflicts: 820000 | #Constraints: 55836
1132.51/1136.05 c #Conflicts: 821000 | #Constraints: 56836
1132.51/1136.05 c #Conflicts: 822000 | #Constraints: 57836
1132.51/1136.05 c #Conflicts: 823000 | #Constraints: 58836
1132.51/1136.05 c #Conflicts: 824000 | #Constraints: 59836
1132.51/1136.05 c #Conflicts: 825000 | #Constraints: 60836
1132.51/1136.05 c #Conflicts: 826000 | #Constraints: 61836
1132.51/1136.05 c #Conflicts: 827000 | #Constraints: 62836
1132.51/1136.05 c #Conflicts: 828000 | #Constraints: 63836
1132.51/1136.05 c INPROCESSING
1132.51/1136.05 c GARBAGE COLLECT
1132.51/1136.05 c #Conflicts: 829000 | #Constraints: 46827
1132.51/1136.05 c #Conflicts: 830000 | #Constraints: 47827
1132.51/1136.05 c #Conflicts: 831000 | #Constraints: 48827
1132.51/1136.05 c #Conflicts: 832000 | #Constraints: 49827
1132.51/1136.05 c #Conflicts: 833000 | #Constraints: 50827
1132.51/1136.05 c #Conflicts: 834000 | #Constraints: 51827
1132.51/1136.05 c #Conflicts: 835000 | #Constraints: 52827
1132.51/1136.05 c #Conflicts: 836000 | #Constraints: 53827
1132.51/1136.05 c #Conflicts: 837000 | #Constraints: 54827
1132.51/1136.05 c #Conflicts: 838000 | #Constraints: 55827
1132.51/1136.05 c #Conflicts: 839000 | #Constraints: 56827
1132.51/1136.05 c #Conflicts: 840000 | #Constraints: 57827
1132.51/1136.05 c #Conflicts: 841000 | #Constraints: 58827
1132.51/1136.05 c #Conflicts: 842000 | #Constraints: 59827
1132.51/1136.05 c #Conflicts: 843000 | #Constraints: 60827
1132.51/1136.05 c #Conflicts: 844000 | #Constraints: 61827
1132.51/1136.05 c #Conflicts: 845000 | #Constraints: 62827
1132.51/1136.05 c #Conflicts: 846000 | #Constraints: 63827
1132.51/1136.05 c INPROCESSING
1132.51/1136.05 c GARBAGE COLLECT
1132.51/1136.05 c #Conflicts: 847000 | #Constraints: 46645
1132.51/1136.05 c #Conflicts: 848000 | #Constraints: 47645
1132.51/1136.05 c #Conflicts: 849000 | #Constraints: 48645
1132.51/1136.05 c #Conflicts: 850000 | #Constraints: 49645
1132.51/1136.05 c #Conflicts: 851000 | #Constraints: 50645
1132.51/1136.05 c #Conflicts: 852000 | #Constraints: 51645
1132.51/1136.05 c #Conflicts: 853000 | #Constraints: 52645
1132.51/1136.05 c #Conflicts: 854000 | #Constraints: 53645
1132.51/1136.05 c #Conflicts: 855000 | #Constraints: 54645
1132.51/1136.05 c #Conflicts: 856000 | #Constraints: 55645
1132.51/1136.05 c #Conflicts: 857000 | #Constraints: 56645
1132.51/1136.05 c #Conflicts: 858000 | #Constraints: 57645
1132.51/1136.05 c #Conflicts: 859000 | #Constraints: 58645
1132.51/1136.05 c #Conflicts: 860000 | #Constraints: 59645
1132.51/1136.05 c #Conflicts: 861000 | #Constraints: 60645
1132.51/1136.05 c #Conflicts: 862000 | #Constraints: 61645
1132.51/1136.05 c #Conflicts: 863000 | #Constraints: 62645
1132.51/1136.05 c #Conflicts: 864000 | #Constraints: 63645
1132.51/1136.05 c #Conflicts: 865000 | #Constraints: 64645
1132.51/1136.05 c INPROCESSING
1132.51/1136.05 c GARBAGE COLLECT
1132.51/1136.05 c #Conflicts: 866000 | #Constraints: 47239
1132.51/1136.05 c #Conflicts: 867000 | #Constraints: 48239
1132.51/1136.05 c #Conflicts: 868000 | #Constraints: 49239
1132.51/1136.05 c #Conflicts: 869000 | #Constraints: 50239
1132.51/1136.05 c #Conflicts: 870000 | #Constraints: 51239
1132.51/1136.05 c #Conflicts: 871000 | #Constraints: 52239
1132.51/1136.05 c #Conflicts: 872000 | #Constraints: 53239
1132.51/1136.05 c #Conflicts: 873000 | #Constraints: 54239
1132.51/1136.05 c #Conflicts: 874000 | #Constraints: 55239
1132.51/1136.05 c #Conflicts: 875000 | #Constraints: 56239
1132.51/1136.05 c #Conflicts: 876000 | #Constraints: 57239
1132.51/1136.05 c #Conflicts: 877000 | #Constraints: 58239
1132.51/1136.05 c #Conflicts: 878000 | #Constraints: 59239
1132.51/1136.05 c #Conflicts: 879000 | #Constraints: 60239
1132.51/1136.05 c #Conflicts: 880000 | #Constraints: 61239
1132.51/1136.05 c #Conflicts: 881000 | #Constraints: 62239
1132.51/1136.05 c #Conflicts: 882000 | #Constraints: 63239
1132.51/1136.05 c #Conflicts: 883000 | #Constraints: 64239
1258.44/1262.31 c #Conflicts: 884000 | #Constraints: 65239
1258.44/1262.31 c INPROCESSING
1258.44/1262.31 c GARBAGE COLLECT
1258.44/1262.31 c #Conflicts: 885000 | #Constraints: 47634
1258.44/1262.31 c #Conflicts: 886000 | #Constraints: 48634
1258.44/1262.31 c #Conflicts: 887000 | #Constraints: 49634
1258.44/1262.31 c #Conflicts: 888000 | #Constraints: 50634
1258.44/1262.31 c #Conflicts: 889000 | #Constraints: 51634
1258.44/1262.31 c #Conflicts: 890000 | #Constraints: 52634
1258.44/1262.31 c #Conflicts: 891000 | #Constraints: 53634
1258.44/1262.31 c #Conflicts: 892000 | #Constraints: 54634
1258.44/1262.31 c #Conflicts: 893000 | #Constraints: 55634
1258.44/1262.31 c #Conflicts: 894000 | #Constraints: 56634
1258.44/1262.31 c #Conflicts: 895000 | #Constraints: 57634
1258.44/1262.31 c #Conflicts: 896000 | #Constraints: 58634
1258.44/1262.31 c #Conflicts: 897000 | #Constraints: 59634
1258.44/1262.31 c #Conflicts: 898000 | #Constraints: 60634
1258.44/1262.31 c #Conflicts: 899000 | #Constraints: 61634
1258.44/1262.31 c #Conflicts: 900000 | #Constraints: 62634
1258.44/1262.31 c #Conflicts: 901000 | #Constraints: 63634
1258.44/1262.31 c #Conflicts: 902000 | #Constraints: 64634
1258.44/1262.31 c #Conflicts: 903000 | #Constraints: 65634
1258.44/1262.31 c INPROCESSING
1258.44/1262.31 c GARBAGE COLLECT
1258.44/1262.31 c #Conflicts: 904000 | #Constraints: 47830
1258.44/1262.31 c #Conflicts: 905000 | #Constraints: 48830
1258.44/1262.31 c #Conflicts: 906000 | #Constraints: 49830
1258.44/1262.31 c #Conflicts: 907000 | #Constraints: 50830
1258.44/1262.31 c #Conflicts: 908000 | #Constraints: 51830
1258.44/1262.31 c #Conflicts: 909000 | #Constraints: 52830
1258.44/1262.31 c #Conflicts: 910000 | #Constraints: 53830
1258.44/1262.31 c #Conflicts: 911000 | #Constraints: 54830
1258.44/1262.31 c #Conflicts: 912000 | #Constraints: 55830
1258.44/1262.31 c #Conflicts: 913000 | #Constraints: 56830
1258.44/1262.31 c #Conflicts: 914000 | #Constraints: 57830
1258.44/1262.31 c #Conflicts: 915000 | #Constraints: 58830
1258.44/1262.31 c #Conflicts: 916000 | #Constraints: 59830
1258.44/1262.31 c #Conflicts: 917000 | #Constraints: 60830
1258.44/1262.31 c #Conflicts: 918000 | #Constraints: 61830
1258.44/1262.31 c #Conflicts: 919000 | #Constraints: 62830
1258.44/1262.31 c #Conflicts: 920000 | #Constraints: 63830
1258.44/1262.31 c #Conflicts: 921000 | #Constraints: 64830
1258.44/1262.31 c #Conflicts: 922000 | #Constraints: 65830
1258.44/1262.31 c INPROCESSING
1258.44/1262.31 c GARBAGE COLLECT
1258.44/1262.31 c #Conflicts: 923000 | #Constraints: 47831
1258.44/1262.31 c #Conflicts: 924000 | #Constraints: 48831
1258.44/1262.31 c #Conflicts: 925000 | #Constraints: 49831
1258.44/1262.31 c #Conflicts: 926000 | #Constraints: 50831
1258.44/1262.31 c #Conflicts: 927000 | #Constraints: 51831
1258.44/1262.31 c #Conflicts: 928000 | #Constraints: 52831
1258.44/1262.31 c #Conflicts: 929000 | #Constraints: 53831
1258.44/1262.31 c #Conflicts: 930000 | #Constraints: 54831
1258.44/1262.31 c #Conflicts: 931000 | #Constraints: 55831
1258.44/1262.31 c #Conflicts: 932000 | #Constraints: 56831
1258.44/1262.31 c #Conflicts: 933000 | #Constraints: 57831
1258.44/1262.31 c #Conflicts: 934000 | #Constraints: 58831
1258.44/1262.31 c #Conflicts: 935000 | #Constraints: 59831
1258.44/1262.31 c #Conflicts: 936000 | #Constraints: 60831
1258.44/1262.31 c #Conflicts: 937000 | #Constraints: 61831
1258.44/1262.31 c #Conflicts: 938000 | #Constraints: 62831
1258.44/1262.31 c #Conflicts: 939000 | #Constraints: 63831
1258.44/1262.31 c #Conflicts: 940000 | #Constraints: 64831
1258.44/1262.31 c #Conflicts: 941000 | #Constraints: 65831
1258.44/1262.31 c INPROCESSING
1258.44/1262.31 c GARBAGE COLLECT
1258.44/1262.31 c #Conflicts: 942000 | #Constraints: 47645
1258.44/1262.31 c #Conflicts: 943000 | #Constraints: 48645
1258.44/1262.31 c #Conflicts: 944000 | #Constraints: 49645
1258.44/1262.31 c #Conflicts: 945000 | #Constraints: 50645
1258.44/1262.31 c #Conflicts: 946000 | #Constraints: 51645
1258.44/1262.31 c #Conflicts: 947000 | #Constraints: 52645
1258.44/1262.31 c #Conflicts: 948000 | #Constraints: 53645
1258.44/1262.31 c #Conflicts: 949000 | #Constraints: 54645
1258.44/1262.31 c #Conflicts: 950000 | #Constraints: 55645
1258.44/1262.31 c #Conflicts: 951000 | #Constraints: 56645
1258.44/1262.31 c #Conflicts: 952000 | #Constraints: 57645
1258.44/1262.31 c #Conflicts: 953000 | #Constraints: 58645
1258.44/1262.31 c #Conflicts: 954000 | #Constraints: 59645
1258.44/1262.31 c #Conflicts: 955000 | #Constraints: 60645
1258.44/1262.31 c #Conflicts: 956000 | #Constraints: 61645
1258.44/1262.31 c #Conflicts: 957000 | #Constraints: 62645
1258.44/1262.31 c #Conflicts: 958000 | #Constraints: 63645
1258.44/1262.31 c #Conflicts: 959000 | #Constraints: 64645
1376.80/1381.09 c #Conflicts: 960000 | #Constraints: 65645
1376.80/1381.09 c #Conflicts: 961000 | #Constraints: 66645
1376.80/1381.09 c INPROCESSING
1376.80/1381.09 c GARBAGE COLLECT
1376.80/1381.09 c #Conflicts: 962000 | #Constraints: 48245
1376.80/1381.09 c #Conflicts: 963000 | #Constraints: 49245
1376.80/1381.09 c #Conflicts: 964000 | #Constraints: 50245
1376.80/1381.09 c #Conflicts: 965000 | #Constraints: 51245
1376.80/1381.09 c #Conflicts: 966000 | #Constraints: 52245
1376.80/1381.09 c #Conflicts: 967000 | #Constraints: 53245
1376.80/1381.09 c #Conflicts: 968000 | #Constraints: 54245
1376.80/1381.09 c #Conflicts: 969000 | #Constraints: 55245
1376.80/1381.09 c #Conflicts: 970000 | #Constraints: 56245
1376.80/1381.09 c #Conflicts: 971000 | #Constraints: 57245
1376.80/1381.09 c #Conflicts: 972000 | #Constraints: 58245
1376.80/1381.09 c #Conflicts: 973000 | #Constraints: 59245
1376.80/1381.09 c #Conflicts: 974000 | #Constraints: 60245
1376.80/1381.09 c #Conflicts: 975000 | #Constraints: 61245
1376.80/1381.09 c #Conflicts: 976000 | #Constraints: 62245
1376.80/1381.09 c #Conflicts: 977000 | #Constraints: 63245
1376.80/1381.09 c #Conflicts: 978000 | #Constraints: 64245
1376.80/1381.09 c #Conflicts: 979000 | #Constraints: 65245
1376.80/1381.09 c #Conflicts: 980000 | #Constraints: 66245
1376.80/1381.09 c #Conflicts: 981000 | #Constraints: 67245
1376.80/1381.09 c INPROCESSING
1376.80/1381.09 c GARBAGE COLLECT
1376.80/1381.09 c #Conflicts: 982000 | #Constraints: 48655
1376.80/1381.09 c #Conflicts: 983000 | #Constraints: 49655
1376.80/1381.09 c #Conflicts: 984000 | #Constraints: 50655
1376.80/1381.09 c #Conflicts: 985000 | #Constraints: 51655
1376.80/1381.09 c #Conflicts: 986000 | #Constraints: 52655
1376.80/1381.09 c #Conflicts: 987000 | #Constraints: 53655
1376.80/1381.09 c #Conflicts: 988000 | #Constraints: 54655
1376.80/1381.09 c #Conflicts: 989000 | #Constraints: 55655
1376.80/1381.09 c #Conflicts: 990000 | #Constraints: 56655
1376.80/1381.09 c #Conflicts: 991000 | #Constraints: 57655
1376.80/1381.09 c #Conflicts: 992000 | #Constraints: 58655
1376.80/1381.09 c #Conflicts: 993000 | #Constraints: 59655
1376.80/1381.09 c #Conflicts: 994000 | #Constraints: 60655
1376.80/1381.09 c #Conflicts: 995000 | #Constraints: 61655
1376.80/1381.09 c #Conflicts: 996000 | #Constraints: 62655
1376.80/1381.09 c #Conflicts: 997000 | #Constraints: 63655
1376.80/1381.09 c #Conflicts: 998000 | #Constraints: 64655
1376.80/1381.09 c #Conflicts: 999000 | #Constraints: 65655
1376.80/1381.09 c #Conflicts: 1000000 | #Constraints: 66655
1376.80/1381.09 c #Conflicts: 1001000 | #Constraints: 67655
1376.80/1381.09 c INPROCESSING
1376.80/1381.09 c GARBAGE COLLECT
1376.80/1381.09 c #Conflicts: 1002000 | #Constraints: 48857
1376.80/1381.09 c #Conflicts: 1003000 | #Constraints: 49857
1376.80/1381.09 c #Conflicts: 1004000 | #Constraints: 50857
1376.80/1381.09 c #Conflicts: 1005000 | #Constraints: 51857
1376.80/1381.09 c #Conflicts: 1006000 | #Constraints: 52857
1376.80/1381.09 c #Conflicts: 1007000 | #Constraints: 53857
1376.80/1381.09 c #Conflicts: 1008000 | #Constraints: 54857
1376.80/1381.09 c #Conflicts: 1009000 | #Constraints: 55857
1376.80/1381.09 c #Conflicts: 1010000 | #Constraints: 56857
1376.80/1381.09 c #Conflicts: 1011000 | #Constraints: 57857
1376.80/1381.09 c #Conflicts: 1012000 | #Constraints: 58857
1376.80/1381.09 c #Conflicts: 1013000 | #Constraints: 59857
1376.80/1381.09 c #Conflicts: 1014000 | #Constraints: 60857
1376.80/1381.09 c #Conflicts: 1015000 | #Constraints: 61857
1376.80/1381.09 c #Conflicts: 1016000 | #Constraints: 62857
1376.80/1381.09 c #Conflicts: 1017000 | #Constraints: 63857
1376.80/1381.09 c #Conflicts: 1018000 | #Constraints: 64857
1376.80/1381.09 c #Conflicts: 1019000 | #Constraints: 65857
1376.80/1381.09 c #Conflicts: 1020000 | #Constraints: 66857
1376.80/1381.09 c #Conflicts: 1021000 | #Constraints: 67857
1376.80/1381.09 c INPROCESSING
1376.80/1381.09 c GARBAGE COLLECT
1376.80/1381.09 c #Conflicts: 1022000 | #Constraints: 48848
1376.80/1381.09 c #Conflicts: 1023000 | #Constraints: 49848
1376.80/1381.09 c #Conflicts: 1024000 | #Constraints: 50848
1376.80/1381.09 c #Conflicts: 1025000 | #Constraints: 51848
1376.80/1381.09 c #Conflicts: 1026000 | #Constraints: 52848
1376.80/1381.09 c #Conflicts: 1027000 | #Constraints: 53848
1376.80/1381.09 c #Conflicts: 1028000 | #Constraints: 54848
1376.80/1381.09 c #Conflicts: 1029000 | #Constraints: 55848
1376.80/1381.09 c #Conflicts: 1030000 | #Constraints: 56848
1376.80/1381.09 c #Conflicts: 1031000 | #Constraints: 57848
1376.80/1381.09 c #Conflicts: 1032000 | #Constraints: 58848
1376.80/1381.09 c #Conflicts: 1033000 | #Constraints: 59848
1376.80/1381.09 c #Conflicts: 1034000 | #Constraints: 60848
1376.80/1381.09 c #Conflicts: 1035000 | #Constraints: 61848
1494.75/1499.34 c #Conflicts: 1036000 | #Constraints: 62848
1494.75/1499.34 c #Conflicts: 1037000 | #Constraints: 63848
1494.75/1499.34 c #Conflicts: 1038000 | #Constraints: 64848
1494.75/1499.34 c #Conflicts: 1039000 | #Constraints: 65848
1494.75/1499.34 c #Conflicts: 1040000 | #Constraints: 66848
1494.75/1499.34 c #Conflicts: 1041000 | #Constraints: 67848
1494.75/1499.34 c INPROCESSING
1494.75/1499.34 c GARBAGE COLLECT
1494.75/1499.34 c #Conflicts: 1042000 | #Constraints: 48645
1494.75/1499.34 c #Conflicts: 1043000 | #Constraints: 49645
1494.75/1499.34 c #Conflicts: 1044000 | #Constraints: 50645
1494.75/1499.34 c #Conflicts: 1045000 | #Constraints: 51645
1494.75/1499.34 c #Conflicts: 1046000 | #Constraints: 52645
1494.75/1499.34 c #Conflicts: 1047000 | #Constraints: 53645
1494.75/1499.34 c #Conflicts: 1048000 | #Constraints: 54645
1494.75/1499.34 c #Conflicts: 1049000 | #Constraints: 55645
1494.75/1499.34 c #Conflicts: 1050000 | #Constraints: 56645
1494.75/1499.34 c #Conflicts: 1051000 | #Constraints: 57645
1494.75/1499.34 c #Conflicts: 1052000 | #Constraints: 58645
1494.75/1499.34 c #Conflicts: 1053000 | #Constraints: 59645
1494.75/1499.34 c #Conflicts: 1054000 | #Constraints: 60645
1494.75/1499.34 c #Conflicts: 1055000 | #Constraints: 61645
1494.75/1499.34 c #Conflicts: 1056000 | #Constraints: 62645
1494.75/1499.34 c #Conflicts: 1057000 | #Constraints: 63645
1494.75/1499.34 c #Conflicts: 1058000 | #Constraints: 64645
1494.75/1499.34 c #Conflicts: 1059000 | #Constraints: 65645
1494.75/1499.34 c #Conflicts: 1060000 | #Constraints: 66645
1494.75/1499.34 c #Conflicts: 1061000 | #Constraints: 67645
1494.75/1499.34 c #Conflicts: 1062000 | #Constraints: 68645
1494.75/1499.34 c INPROCESSING
1494.75/1499.34 c GARBAGE COLLECT
1494.75/1499.34 c #Conflicts: 1063000 | #Constraints: 49241
1494.75/1499.34 c #Conflicts: 1064000 | #Constraints: 50241
1494.75/1499.34 c #Conflicts: 1065000 | #Constraints: 51241
1494.75/1499.34 c #Conflicts: 1066000 | #Constraints: 52241
1494.75/1499.34 c #Conflicts: 1067000 | #Constraints: 53241
1494.75/1499.34 c #Conflicts: 1068000 | #Constraints: 54241
1494.75/1499.34 c #Conflicts: 1069000 | #Constraints: 55241
1494.75/1499.34 c #Conflicts: 1070000 | #Constraints: 56241
1494.75/1499.34 c #Conflicts: 1071000 | #Constraints: 57241
1494.75/1499.34 c #Conflicts: 1072000 | #Constraints: 58241
1494.75/1499.34 c #Conflicts: 1073000 | #Constraints: 59241
1494.75/1499.34 c #Conflicts: 1074000 | #Constraints: 60241
1494.75/1499.34 c #Conflicts: 1075000 | #Constraints: 61241
1494.75/1499.34 c #Conflicts: 1076000 | #Constraints: 62241
1494.75/1499.34 c #Conflicts: 1077000 | #Constraints: 63241
1494.75/1499.34 c #Conflicts: 1078000 | #Constraints: 64241
1494.75/1499.34 c #Conflicts: 1079000 | #Constraints: 65241
1494.75/1499.34 c #Conflicts: 1080000 | #Constraints: 66241
1494.75/1499.34 c #Conflicts: 1081000 | #Constraints: 67241
1494.75/1499.34 c #Conflicts: 1082000 | #Constraints: 68241
1494.75/1499.34 c #Conflicts: 1083000 | #Constraints: 69241
1494.75/1499.34 c INPROCESSING
1494.75/1499.34 c GARBAGE COLLECT
1494.75/1499.34 c #Conflicts: 1084000 | #Constraints: 49648
1494.75/1499.34 c #Conflicts: 1085000 | #Constraints: 50648
1494.75/1499.34 c #Conflicts: 1086000 | #Constraints: 51648
1494.75/1499.34 c #Conflicts: 1087000 | #Constraints: 52648
1494.75/1499.34 c #Conflicts: 1088000 | #Constraints: 53648
1494.75/1499.34 c #Conflicts: 1089000 | #Constraints: 54648
1494.75/1499.34 c #Conflicts: 1090000 | #Constraints: 55648
1494.75/1499.34 c #Conflicts: 1091000 | #Constraints: 56648
1494.75/1499.34 c #Conflicts: 1092000 | #Constraints: 57648
1494.75/1499.34 c #Conflicts: 1093000 | #Constraints: 58648
1494.75/1499.34 c #Conflicts: 1094000 | #Constraints: 59648
1494.75/1499.34 c #Conflicts: 1095000 | #Constraints: 60648
1494.75/1499.34 c #Conflicts: 1096000 | #Constraints: 61648
1494.75/1499.34 c #Conflicts: 1097000 | #Constraints: 62648
1494.75/1499.34 c #Conflicts: 1098000 | #Constraints: 63648
1494.75/1499.34 c #Conflicts: 1099000 | #Constraints: 64648
1494.75/1499.34 c #Conflicts: 1100000 | #Constraints: 65648
1494.75/1499.34 c #Conflicts: 1101000 | #Constraints: 66648
1494.75/1499.34 c #Conflicts: 1102000 | #Constraints: 67648
1494.75/1499.34 c #Conflicts: 1103000 | #Constraints: 68648
1494.75/1499.34 c #Conflicts: 1104000 | #Constraints: 69648
1494.75/1499.34 c INPROCESSING
1494.75/1499.34 c GARBAGE COLLECT
1494.75/1499.34 c #Conflicts: 1105000 | #Constraints: 49853
1494.75/1499.34 c #Conflicts: 1106000 | #Constraints: 50853
1494.75/1499.34 c #Conflicts: 1107000 | #Constraints: 51853
1494.75/1499.34 c #Conflicts: 1108000 | #Constraints: 52853
1494.75/1499.34 c #Conflicts: 1109000 | #Constraints: 53853
1494.75/1499.34 c #Conflicts: 1110000 | #Constraints: 54853
1494.75/1499.34 c #Conflicts: 1111000 | #Constraints: 55853
1494.75/1499.34 c #Conflicts: 1112000 | #Constraints: 56853
1648.60/1653.64 c #Conflicts: 1113000 | #Constraints: 57853
1648.60/1653.64 c #Conflicts: 1114000 | #Constraints: 58853
1648.60/1653.64 c #Conflicts: 1115000 | #Constraints: 59853
1648.60/1653.64 c #Conflicts: 1116000 | #Constraints: 60853
1648.60/1653.64 c #Conflicts: 1117000 | #Constraints: 61853
1648.60/1653.64 c #Conflicts: 1118000 | #Constraints: 62853
1648.60/1653.64 c #Conflicts: 1119000 | #Constraints: 63853
1648.60/1653.64 c #Conflicts: 1120000 | #Constraints: 64853
1648.60/1653.64 c #Conflicts: 1121000 | #Constraints: 65853
1648.60/1653.64 c #Conflicts: 1122000 | #Constraints: 66853
1648.60/1653.64 c #Conflicts: 1123000 | #Constraints: 67853
1648.60/1653.64 c #Conflicts: 1124000 | #Constraints: 68853
1648.60/1653.64 c #Conflicts: 1125000 | #Constraints: 69853
1648.60/1653.64 c INPROCESSING
1648.60/1653.64 c GARBAGE COLLECT
1648.60/1653.64 c #Conflicts: 1126000 | #Constraints: 49859
1648.60/1653.64 c #Conflicts: 1127000 | #Constraints: 50859
1648.60/1653.64 c #Conflicts: 1128000 | #Constraints: 51859
1648.60/1653.64 c #Conflicts: 1129000 | #Constraints: 52859
1648.60/1653.64 c #Conflicts: 1130000 | #Constraints: 53859
1648.60/1653.64 c #Conflicts: 1131000 | #Constraints: 54859
1648.60/1653.64 c #Conflicts: 1132000 | #Constraints: 55859
1648.60/1653.64 c #Conflicts: 1133000 | #Constraints: 56859
1648.60/1653.64 c #Conflicts: 1134000 | #Constraints: 57859
1648.60/1653.64 c #Conflicts: 1135000 | #Constraints: 58859
1648.60/1653.64 c #Conflicts: 1136000 | #Constraints: 59859
1648.60/1653.64 c #Conflicts: 1137000 | #Constraints: 60859
1648.60/1653.64 c #Conflicts: 1138000 | #Constraints: 61859
1648.60/1653.64 c #Conflicts: 1139000 | #Constraints: 62859
1648.60/1653.64 c #Conflicts: 1140000 | #Constraints: 63859
1648.60/1653.64 c #Conflicts: 1141000 | #Constraints: 64859
1648.60/1653.64 c #Conflicts: 1142000 | #Constraints: 65859
1648.60/1653.64 c #Conflicts: 1143000 | #Constraints: 66859
1648.60/1653.64 c #Conflicts: 1144000 | #Constraints: 67859
1648.60/1653.64 c #Conflicts: 1145000 | #Constraints: 68859
1648.60/1653.64 c #Conflicts: 1146000 | #Constraints: 69859
1648.60/1653.64 c INPROCESSING
1648.60/1653.64 c GARBAGE COLLECT
1648.60/1653.64 c #Conflicts: 1147000 | #Constraints: 49641
1648.60/1653.64 c #Conflicts: 1148000 | #Constraints: 50641
1648.60/1653.64 c #Conflicts: 1149000 | #Constraints: 51641
1648.60/1653.64 c #Conflicts: 1150000 | #Constraints: 52641
1648.60/1653.64 c #Conflicts: 1151000 | #Constraints: 53641
1648.60/1653.64 c #Conflicts: 1152000 | #Constraints: 54641
1648.60/1653.64 c #Conflicts: 1153000 | #Constraints: 55641
1648.60/1653.64 c #Conflicts: 1154000 | #Constraints: 56641
1648.60/1653.64 c #Conflicts: 1155000 | #Constraints: 57641
1648.60/1653.64 c #Conflicts: 1156000 | #Constraints: 58641
1648.60/1653.64 c #Conflicts: 1157000 | #Constraints: 59641
1648.60/1653.64 c #Conflicts: 1158000 | #Constraints: 60641
1648.60/1653.64 c #Conflicts: 1159000 | #Constraints: 61641
1648.60/1653.64 c #Conflicts: 1160000 | #Constraints: 62641
1648.60/1653.64 c #Conflicts: 1161000 | #Constraints: 63641
1648.60/1653.64 c #Conflicts: 1162000 | #Constraints: 64641
1648.60/1653.64 c #Conflicts: 1163000 | #Constraints: 65641
1648.60/1653.64 c #Conflicts: 1164000 | #Constraints: 66641
1648.60/1653.64 c #Conflicts: 1165000 | #Constraints: 67641
1648.60/1653.64 c #Conflicts: 1166000 | #Constraints: 68641
1648.60/1653.64 c #Conflicts: 1167000 | #Constraints: 69641
1648.60/1653.64 c #Conflicts: 1168000 | #Constraints: 70641
1648.60/1653.64 c INPROCESSING
1648.60/1653.64 c GARBAGE COLLECT
1648.60/1653.64 c #Conflicts: 1169000 | #Constraints: 50248
1648.60/1653.64 c #Conflicts: 1170000 | #Constraints: 51248
1648.60/1653.64 c #Conflicts: 1171000 | #Constraints: 52248
1648.60/1653.64 c #Conflicts: 1172000 | #Constraints: 53248
1648.60/1653.64 c #Conflicts: 1173000 | #Constraints: 54248
1648.60/1653.64 c #Conflicts: 1174000 | #Constraints: 55248
1648.60/1653.64 c #Conflicts: 1175000 | #Constraints: 56248
1648.60/1653.64 c #Conflicts: 1176000 | #Constraints: 57248
1648.60/1653.64 c #Conflicts: 1177000 | #Constraints: 58248
1648.60/1653.64 c #Conflicts: 1178000 | #Constraints: 59248
1648.60/1653.64 c #Conflicts: 1179000 | #Constraints: 60248
1648.60/1653.64 c #Conflicts: 1180000 | #Constraints: 61248
1648.60/1653.64 c #Conflicts: 1181000 | #Constraints: 62248
1648.60/1653.64 c #Conflicts: 1182000 | #Constraints: 63248
1648.60/1653.64 c #Conflicts: 1183000 | #Constraints: 64248
1648.60/1653.64 c #Conflicts: 1184000 | #Constraints: 65248
1648.60/1653.64 c #Conflicts: 1185000 | #Constraints: 66248
1648.60/1653.64 c #Conflicts: 1186000 | #Constraints: 67248
1648.60/1653.64 c #Conflicts: 1187000 | #Constraints: 68248
1648.60/1653.64 c #Conflicts: 1188000 | #Constraints: 69248
1804.96/1810.43 c #Conflicts: 1189000 | #Constraints: 70248
1804.96/1810.43 c #Conflicts: 1190000 | #Constraints: 71248
1804.96/1810.43 c INPROCESSING
1804.96/1810.43 c GARBAGE COLLECT
1804.96/1810.43 c #Conflicts: 1191000 | #Constraints: 50656
1804.96/1810.43 c #Conflicts: 1192000 | #Constraints: 51656
1804.96/1810.43 c #Conflicts: 1193000 | #Constraints: 52656
1804.96/1810.43 c #Conflicts: 1194000 | #Constraints: 53656
1804.96/1810.43 c #Conflicts: 1195000 | #Constraints: 54656
1804.96/1810.43 c #Conflicts: 1196000 | #Constraints: 55656
1804.96/1810.43 c #Conflicts: 1197000 | #Constraints: 56656
1804.96/1810.43 c #Conflicts: 1198000 | #Constraints: 57656
1804.96/1810.43 c #Conflicts: 1199000 | #Constraints: 58656
1804.96/1810.43 c #Conflicts: 1200000 | #Constraints: 59656
1804.96/1810.43 c #Conflicts: 1201000 | #Constraints: 60656
1804.96/1810.43 c #Conflicts: 1202000 | #Constraints: 61656
1804.96/1810.43 c #Conflicts: 1203000 | #Constraints: 62656
1804.96/1810.43 c #Conflicts: 1204000 | #Constraints: 63656
1804.96/1810.43 c #Conflicts: 1205000 | #Constraints: 64656
1804.96/1810.43 c #Conflicts: 1206000 | #Constraints: 65656
1804.96/1810.43 c #Conflicts: 1207000 | #Constraints: 66656
1804.96/1810.43 c #Conflicts: 1208000 | #Constraints: 67656
1804.96/1810.43 c #Conflicts: 1209000 | #Constraints: 68656
1804.96/1810.43 c #Conflicts: 1210000 | #Constraints: 69656
1804.96/1810.43 c #Conflicts: 1211000 | #Constraints: 70656
1804.96/1810.43 c #Conflicts: 1212000 | #Constraints: 71656
1804.96/1810.43 c INPROCESSING
1804.96/1810.43 c GARBAGE COLLECT
1804.96/1810.43 c #Conflicts: 1213000 | #Constraints: 50856
1804.96/1810.43 c #Conflicts: 1214000 | #Constraints: 51856
1804.96/1810.43 c #Conflicts: 1215000 | #Constraints: 52856
1804.96/1810.43 c #Conflicts: 1216000 | #Constraints: 53856
1804.96/1810.43 c #Conflicts: 1217000 | #Constraints: 54856
1804.96/1810.43 c #Conflicts: 1218000 | #Constraints: 55856
1804.96/1810.43 c #Conflicts: 1219000 | #Constraints: 56856
1804.96/1810.43 c #Conflicts: 1220000 | #Constraints: 57856
1804.96/1810.43 c #Conflicts: 1221000 | #Constraints: 58856
1804.96/1810.43 c #Conflicts: 1222000 | #Constraints: 59856
1804.96/1810.43 c #Conflicts: 1223000 | #Constraints: 60856
1804.96/1810.43 c #Conflicts: 1224000 | #Constraints: 61856
1804.96/1810.43 c #Conflicts: 1225000 | #Constraints: 62856
1804.96/1810.43 c #Conflicts: 1226000 | #Constraints: 63856
1804.96/1810.43 c #Conflicts: 1227000 | #Constraints: 64856
1804.96/1810.43 c #Conflicts: 1228000 | #Constraints: 65856
1804.96/1810.43 c #Conflicts: 1229000 | #Constraints: 66856
1804.96/1810.43 c #Conflicts: 1230000 | #Constraints: 67856
1804.96/1810.43 c #Conflicts: 1231000 | #Constraints: 68856
1804.96/1810.43 c #Conflicts: 1232000 | #Constraints: 69856
1804.96/1810.43 c #Conflicts: 1233000 | #Constraints: 70856
1804.96/1810.43 c #Conflicts: 1234000 | #Constraints: 71856
1804.96/1810.43 c INPROCESSING
1804.96/1810.43 c GARBAGE COLLECT
1804.96/1810.43 c #Conflicts: 1235000 | #Constraints: 50844
1804.96/1810.43 c #Conflicts: 1236000 | #Constraints: 51844
1804.96/1810.43 c #Conflicts: 1237000 | #Constraints: 52844
1804.96/1810.43 c #Conflicts: 1238000 | #Constraints: 53844
1804.96/1810.43 c #Conflicts: 1239000 | #Constraints: 54844
1804.96/1810.43 c #Conflicts: 1240000 | #Constraints: 55844
1804.96/1810.43 c #Conflicts: 1241000 | #Constraints: 56844
1804.96/1810.43 c #Conflicts: 1242000 | #Constraints: 57844
1804.96/1810.43 c #Conflicts: 1243000 | #Constraints: 58844
1804.96/1810.43 c #Conflicts: 1244000 | #Constraints: 59844
1804.96/1810.43 c #Conflicts: 1245000 | #Constraints: 60844
1804.96/1810.43 c #Conflicts: 1246000 | #Constraints: 61844
1804.96/1810.43 c #Conflicts: 1247000 | #Constraints: 62844
1804.96/1810.43 c #Conflicts: 1248000 | #Constraints: 63844
1804.96/1810.43 c #Conflicts: 1249000 | #Constraints: 64844
1804.96/1810.43 c #Conflicts: 1250000 | #Constraints: 65844
1804.96/1810.43 c #Conflicts: 1251000 | #Constraints: 66844
1804.96/1810.43 c #Conflicts: 1252000 | #Constraints: 67844
1804.96/1810.43 c #Conflicts: 1253000 | #Constraints: 68844
1804.96/1810.43 c #Conflicts: 1254000 | #Constraints: 69844
1804.96/1810.43 c #Conflicts: 1255000 | #Constraints: 70844
1804.96/1810.43 c #Conflicts: 1256000 | #Constraints: 71844
1804.96/1810.43 c INPROCESSING
1804.96/1810.43 c GARBAGE COLLECT
1804.96/1810.43 c #Conflicts: 1257000 | #Constraints: 50639
1804.96/1810.43 c #Conflicts: 1258000 | #Constraints: 51639
1804.96/1810.43 c #Conflicts: 1259000 | #Constraints: 52639
1804.96/1810.43 c #Conflicts: 1260000 | #Constraints: 53639
1804.96/1810.43 c #Conflicts: 1261000 | #Constraints: 54639
1804.96/1810.43 c #Conflicts: 1262000 | #Constraints: 55639
1804.96/1810.43 c #Conflicts: 1263000 | #Constraints: 56639
1804.96/1810.43 c #Conflicts: 1264000 | #Constraints: 57639
1804.96/1810.43 c #Conflicts: 1265000 | #Constraints: 58639
1985.05/1991.05 c #Conflicts: 1266000 | #Constraints: 59639
1985.05/1991.05 c #Conflicts: 1267000 | #Constraints: 60639
1985.05/1991.05 c #Conflicts: 1268000 | #Constraints: 61639
1985.05/1991.05 c #Conflicts: 1269000 | #Constraints: 62639
1985.05/1991.05 c #Conflicts: 1270000 | #Constraints: 63639
1985.05/1991.05 c #Conflicts: 1271000 | #Constraints: 64639
1985.05/1991.05 c #Conflicts: 1272000 | #Constraints: 65639
1985.05/1991.05 c #Conflicts: 1273000 | #Constraints: 66639
1985.05/1991.05 c #Conflicts: 1274000 | #Constraints: 67639
1985.05/1991.05 c #Conflicts: 1275000 | #Constraints: 68639
1985.05/1991.05 c #Conflicts: 1276000 | #Constraints: 69639
1985.05/1991.05 c #Conflicts: 1277000 | #Constraints: 70639
1985.05/1991.05 c #Conflicts: 1278000 | #Constraints: 71639
1985.05/1991.05 c #Conflicts: 1279000 | #Constraints: 72639
1985.05/1991.05 c INPROCESSING
1985.05/1991.05 c GARBAGE COLLECT
1985.05/1991.05 c #Conflicts: 1280000 | #Constraints: 51237
1985.05/1991.05 c #Conflicts: 1281000 | #Constraints: 52237
1985.05/1991.05 c #Conflicts: 1282000 | #Constraints: 53237
1985.05/1991.05 c #Conflicts: 1283000 | #Constraints: 54237
1985.05/1991.05 c #Conflicts: 1284000 | #Constraints: 55237
1985.05/1991.05 c #Conflicts: 1285000 | #Constraints: 56237
1985.05/1991.05 c #Conflicts: 1286000 | #Constraints: 57237
1985.05/1991.05 c #Conflicts: 1287000 | #Constraints: 58237
1985.05/1991.05 c #Conflicts: 1288000 | #Constraints: 59237
1985.05/1991.05 c #Conflicts: 1289000 | #Constraints: 60237
1985.05/1991.05 c #Conflicts: 1290000 | #Constraints: 61237
1985.05/1991.05 c #Conflicts: 1291000 | #Constraints: 62237
1985.05/1991.05 c #Conflicts: 1292000 | #Constraints: 63237
1985.05/1991.05 c #Conflicts: 1293000 | #Constraints: 64237
1985.05/1991.05 c #Conflicts: 1294000 | #Constraints: 65237
1985.05/1991.05 c #Conflicts: 1295000 | #Constraints: 66237
1985.05/1991.05 c #Conflicts: 1296000 | #Constraints: 67237
1985.05/1991.05 c #Conflicts: 1297000 | #Constraints: 68237
1985.05/1991.05 c #Conflicts: 1298000 | #Constraints: 69237
1985.05/1991.05 c #Conflicts: 1299000 | #Constraints: 70237
1985.05/1991.05 c #Conflicts: 1300000 | #Constraints: 71237
1985.05/1991.05 c #Conflicts: 1301000 | #Constraints: 72237
1985.05/1991.05 c #Conflicts: 1302000 | #Constraints: 73237
1985.05/1991.05 c INPROCESSING
1985.05/1991.05 c GARBAGE COLLECT
1985.05/1991.05 c #Conflicts: 1303000 | #Constraints: 51619
1985.05/1991.05 c #Conflicts: 1304000 | #Constraints: 52619
1985.05/1991.05 c #Conflicts: 1305000 | #Constraints: 53619
1985.05/1991.05 c #Conflicts: 1306000 | #Constraints: 54619
1985.05/1991.05 c #Conflicts: 1307000 | #Constraints: 55619
1985.05/1991.05 c #Conflicts: 1308000 | #Constraints: 56619
1985.05/1991.05 c #Conflicts: 1309000 | #Constraints: 57619
1985.05/1991.05 c #Conflicts: 1310000 | #Constraints: 58619
1985.05/1991.05 c #Conflicts: 1311000 | #Constraints: 59619
1985.05/1991.05 c #Conflicts: 1312000 | #Constraints: 60619
1985.05/1991.05 c #Conflicts: 1313000 | #Constraints: 61619
1985.05/1991.05 c #Conflicts: 1314000 | #Constraints: 62619
1985.05/1991.05 c #Conflicts: 1315000 | #Constraints: 63619
1985.05/1991.05 c #Conflicts: 1316000 | #Constraints: 64619
1985.05/1991.05 c #Conflicts: 1317000 | #Constraints: 65619
1985.05/1991.05 c #Conflicts: 1318000 | #Constraints: 66619
1985.05/1991.05 c #Conflicts: 1319000 | #Constraints: 67619
1985.05/1991.05 c #Conflicts: 1320000 | #Constraints: 68619
1985.05/1991.05 c #Conflicts: 1321000 | #Constraints: 69619
1985.05/1991.05 c #Conflicts: 1322000 | #Constraints: 70619
1985.05/1991.05 c #Conflicts: 1323000 | #Constraints: 71619
1985.05/1991.05 c #Conflicts: 1324000 | #Constraints: 72619
1985.05/1991.05 c #Conflicts: 1325000 | #Constraints: 73619
1985.05/1991.05 c INPROCESSING
1985.05/1991.05 c GARBAGE COLLECT
1985.05/1991.05 c #Conflicts: 1326000 | #Constraints: 51819
1985.05/1991.05 c #Conflicts: 1327000 | #Constraints: 52819
1985.05/1991.05 c #Conflicts: 1328000 | #Constraints: 53819
1985.05/1991.05 c #Conflicts: 1329000 | #Constraints: 54819
1985.05/1991.05 c #Conflicts: 1330000 | #Constraints: 55819
1985.05/1991.05 c #Conflicts: 1331000 | #Constraints: 56819
1985.05/1991.05 c #Conflicts: 1332000 | #Constraints: 57819
1985.05/1991.05 c #Conflicts: 1333000 | #Constraints: 58819
1985.05/1991.05 c #Conflicts: 1334000 | #Constraints: 59819
1985.05/1991.05 c #Conflicts: 1335000 | #Constraints: 60819
1985.05/1991.05 c #Conflicts: 1336000 | #Constraints: 61819
1985.05/1991.05 c #Conflicts: 1337000 | #Constraints: 62819
1985.05/1991.05 c #Conflicts: 1338000 | #Constraints: 63819
1985.05/1991.05 c #Conflicts: 1339000 | #Constraints: 64819
1985.05/1991.05 c #Conflicts: 1340000 | #Constraints: 65819
1985.05/1991.05 c #Conflicts: 1341000 | #Constraints: 66819
1985.05/1991.05 c #Conflicts: 1342000 | #Constraints: 67819
2170.71/2177.26 c #Conflicts: 1343000 | #Constraints: 68819
2170.71/2177.26 c #Conflicts: 1344000 | #Constraints: 69819
2170.71/2177.26 c #Conflicts: 1345000 | #Constraints: 70819
2170.71/2177.26 c #Conflicts: 1346000 | #Constraints: 71819
2170.71/2177.26 c #Conflicts: 1347000 | #Constraints: 72819
2170.71/2177.26 c #Conflicts: 1348000 | #Constraints: 73819
2170.71/2177.26 c INPROCESSING
2170.71/2177.26 c GARBAGE COLLECT
2170.71/2177.26 c #Conflicts: 1349000 | #Constraints: 51821
2170.71/2177.26 c #Conflicts: 1350000 | #Constraints: 52821
2170.71/2177.26 c #Conflicts: 1351000 | #Constraints: 53821
2170.71/2177.26 c #Conflicts: 1352000 | #Constraints: 54821
2170.71/2177.26 c #Conflicts: 1353000 | #Constraints: 55821
2170.71/2177.26 c #Conflicts: 1354000 | #Constraints: 56821
2170.71/2177.26 c #Conflicts: 1355000 | #Constraints: 57821
2170.71/2177.26 c #Conflicts: 1356000 | #Constraints: 58821
2170.71/2177.26 c #Conflicts: 1357000 | #Constraints: 59821
2170.71/2177.26 c #Conflicts: 1358000 | #Constraints: 60821
2170.71/2177.26 c #Conflicts: 1359000 | #Constraints: 61821
2170.71/2177.26 c #Conflicts: 1360000 | #Constraints: 62821
2170.71/2177.26 c #Conflicts: 1361000 | #Constraints: 63821
2170.71/2177.26 c #Conflicts: 1362000 | #Constraints: 64821
2170.71/2177.26 c #Conflicts: 1363000 | #Constraints: 65821
2170.71/2177.26 c #Conflicts: 1364000 | #Constraints: 66821
2170.71/2177.26 c #Conflicts: 1365000 | #Constraints: 67821
2170.71/2177.26 c #Conflicts: 1366000 | #Constraints: 68821
2170.71/2177.26 c #Conflicts: 1367000 | #Constraints: 69821
2170.71/2177.26 c #Conflicts: 1368000 | #Constraints: 70821
2170.71/2177.26 c #Conflicts: 1369000 | #Constraints: 71821
2170.71/2177.26 c #Conflicts: 1370000 | #Constraints: 72821
2170.71/2177.26 c #Conflicts: 1371000 | #Constraints: 73821
2170.71/2177.26 c INPROCESSING
2170.71/2177.26 c GARBAGE COLLECT
2170.71/2177.26 c #Conflicts: 1372000 | #Constraints: 51617
2170.71/2177.26 c #Conflicts: 1373000 | #Constraints: 52617
2170.71/2177.26 c #Conflicts: 1374000 | #Constraints: 53617
2170.71/2177.26 c #Conflicts: 1375000 | #Constraints: 54617
2170.71/2177.26 c #Conflicts: 1376000 | #Constraints: 55617
2170.71/2177.26 c #Conflicts: 1377000 | #Constraints: 56617
2170.71/2177.26 c #Conflicts: 1378000 | #Constraints: 57617
2170.71/2177.26 c #Conflicts: 1379000 | #Constraints: 58617
2170.71/2177.26 c #Conflicts: 1380000 | #Constraints: 59617
2170.71/2177.26 c #Conflicts: 1381000 | #Constraints: 60617
2170.71/2177.26 c #Conflicts: 1382000 | #Constraints: 61617
2170.71/2177.26 c #Conflicts: 1383000 | #Constraints: 62617
2170.71/2177.26 c #Conflicts: 1384000 | #Constraints: 63617
2170.71/2177.26 c #Conflicts: 1385000 | #Constraints: 64617
2170.71/2177.26 c #Conflicts: 1386000 | #Constraints: 65617
2170.71/2177.26 c #Conflicts: 1387000 | #Constraints: 66617
2170.71/2177.26 c #Conflicts: 1388000 | #Constraints: 67617
2170.71/2177.26 c #Conflicts: 1389000 | #Constraints: 68617
2170.71/2177.26 c #Conflicts: 1390000 | #Constraints: 69617
2170.71/2177.26 c #Conflicts: 1391000 | #Constraints: 70617
2170.71/2177.26 c #Conflicts: 1392000 | #Constraints: 71617
2170.71/2177.26 c #Conflicts: 1393000 | #Constraints: 72617
2170.71/2177.26 c #Conflicts: 1394000 | #Constraints: 73617
2170.71/2177.26 c #Conflicts: 1395000 | #Constraints: 74617
2170.71/2177.26 c INPROCESSING
2170.71/2177.26 c GARBAGE COLLECT
2170.71/2177.26 c #Conflicts: 1396000 | #Constraints: 52230
2170.71/2177.26 c #Conflicts: 1397000 | #Constraints: 53230
2170.71/2177.26 c #Conflicts: 1398000 | #Constraints: 54230
2170.71/2177.26 c #Conflicts: 1399000 | #Constraints: 55230
2170.71/2177.26 c #Conflicts: 1400000 | #Constraints: 56230
2170.71/2177.26 c #Conflicts: 1401000 | #Constraints: 57230
2170.71/2177.26 c #Conflicts: 1402000 | #Constraints: 58230
2170.71/2177.26 c #Conflicts: 1403000 | #Constraints: 59230
2170.71/2177.26 c #Conflicts: 1404000 | #Constraints: 60230
2170.71/2177.26 c #Conflicts: 1405000 | #Constraints: 61230
2170.71/2177.26 c #Conflicts: 1406000 | #Constraints: 62230
2170.71/2177.26 c #Conflicts: 1407000 | #Constraints: 63230
2170.71/2177.26 c #Conflicts: 1408000 | #Constraints: 64230
2170.71/2177.26 c #Conflicts: 1409000 | #Constraints: 65230
2170.71/2177.26 c #Conflicts: 1410000 | #Constraints: 66230
2170.71/2177.26 c #Conflicts: 1411000 | #Constraints: 67230
2170.71/2177.26 c #Conflicts: 1412000 | #Constraints: 68230
2170.71/2177.26 c #Conflicts: 1413000 | #Constraints: 69230
2170.71/2177.26 c #Conflicts: 1414000 | #Constraints: 70230
2170.71/2177.26 c #Conflicts: 1415000 | #Constraints: 71230
2170.71/2177.26 c #Conflicts: 1416000 | #Constraints: 72230
2170.71/2177.26 c #Conflicts: 1417000 | #Constraints: 73230
2170.71/2177.26 c #Conflicts: 1418000 | #Constraints: 74230
2359.17/2366.23 c #Conflicts: 1419000 | #Constraints: 75230
2359.17/2366.23 c INPROCESSING
2359.17/2366.23 c GARBAGE COLLECT
2359.17/2366.23 c #Conflicts: 1420000 | #Constraints: 52619
2359.17/2366.23 c #Conflicts: 1421000 | #Constraints: 53619
2359.17/2366.23 c #Conflicts: 1422000 | #Constraints: 54619
2359.17/2366.23 c #Conflicts: 1423000 | #Constraints: 55619
2359.17/2366.23 c #Conflicts: 1424000 | #Constraints: 56619
2359.17/2366.23 c #Conflicts: 1425000 | #Constraints: 57619
2359.17/2366.23 c #Conflicts: 1426000 | #Constraints: 58619
2359.17/2366.23 c #Conflicts: 1427000 | #Constraints: 59619
2359.17/2366.23 c #Conflicts: 1428000 | #Constraints: 60619
2359.17/2366.23 c #Conflicts: 1429000 | #Constraints: 61619
2359.17/2366.23 c #Conflicts: 1430000 | #Constraints: 62619
2359.17/2366.23 c #Conflicts: 1431000 | #Constraints: 63619
2359.17/2366.23 c #Conflicts: 1432000 | #Constraints: 64619
2359.17/2366.23 c #Conflicts: 1433000 | #Constraints: 65619
2359.17/2366.23 c #Conflicts: 1434000 | #Constraints: 66619
2359.17/2366.23 c #Conflicts: 1435000 | #Constraints: 67619
2359.17/2366.23 c #Conflicts: 1436000 | #Constraints: 68619
2359.17/2366.23 c #Conflicts: 1437000 | #Constraints: 69619
2359.17/2366.23 c #Conflicts: 1438000 | #Constraints: 70619
2359.17/2366.23 c #Conflicts: 1439000 | #Constraints: 71619
2359.17/2366.23 c #Conflicts: 1440000 | #Constraints: 72619
2359.17/2366.23 c #Conflicts: 1441000 | #Constraints: 73619
2359.17/2366.23 c #Conflicts: 1442000 | #Constraints: 74619
2359.17/2366.23 c #Conflicts: 1443000 | #Constraints: 75619
2359.17/2366.23 c INPROCESSING
2359.17/2366.23 c GARBAGE COLLECT
2359.17/2366.23 c #Conflicts: 1444000 | #Constraints: 52838
2359.17/2366.23 c #Conflicts: 1445000 | #Constraints: 53838
2359.17/2366.23 c #Conflicts: 1446000 | #Constraints: 54838
2359.17/2366.23 c #Conflicts: 1447000 | #Constraints: 55838
2359.17/2366.23 c #Conflicts: 1448000 | #Constraints: 56838
2359.17/2366.23 c #Conflicts: 1449000 | #Constraints: 57838
2359.17/2366.23 c #Conflicts: 1450000 | #Constraints: 58838
2359.17/2366.23 c #Conflicts: 1451000 | #Constraints: 59838
2359.17/2366.23 c #Conflicts: 1452000 | #Constraints: 60838
2359.17/2366.23 c #Conflicts: 1453000 | #Constraints: 61838
2359.17/2366.23 c #Conflicts: 1454000 | #Constraints: 62838
2359.17/2366.23 c #Conflicts: 1455000 | #Constraints: 63838
2359.17/2366.23 c #Conflicts: 1456000 | #Constraints: 64838
2359.17/2366.23 c #Conflicts: 1457000 | #Constraints: 65838
2359.17/2366.23 c #Conflicts: 1458000 | #Constraints: 66838
2359.17/2366.23 c #Conflicts: 1459000 | #Constraints: 67838
2359.17/2366.23 c #Conflicts: 1460000 | #Constraints: 68838
2359.17/2366.23 c #Conflicts: 1461000 | #Constraints: 69838
2359.17/2366.23 c #Conflicts: 1462000 | #Constraints: 70838
2359.17/2366.23 c #Conflicts: 1463000 | #Constraints: 71838
2359.17/2366.23 c #Conflicts: 1464000 | #Constraints: 72838
2359.17/2366.23 c #Conflicts: 1465000 | #Constraints: 73838
2359.17/2366.23 c #Conflicts: 1466000 | #Constraints: 74838
2359.17/2366.23 c #Conflicts: 1467000 | #Constraints: 75838
2359.17/2366.23 c INPROCESSING
2359.17/2366.23 c GARBAGE COLLECT
2359.17/2366.23 c #Conflicts: 1468000 | #Constraints: 52837
2359.17/2366.23 c #Conflicts: 1469000 | #Constraints: 53837
2359.17/2366.23 c #Conflicts: 1470000 | #Constraints: 54837
2359.17/2366.23 c #Conflicts: 1471000 | #Constraints: 55837
2359.17/2366.23 c #Conflicts: 1472000 | #Constraints: 56837
2359.17/2366.23 c #Conflicts: 1473000 | #Constraints: 57837
2359.17/2366.23 c #Conflicts: 1474000 | #Constraints: 58837
2359.17/2366.23 c #Conflicts: 1475000 | #Constraints: 59837
2359.17/2366.23 c #Conflicts: 1476000 | #Constraints: 60837
2359.17/2366.23 c #Conflicts: 1477000 | #Constraints: 61837
2359.17/2366.23 c #Conflicts: 1478000 | #Constraints: 62837
2359.17/2366.23 c #Conflicts: 1479000 | #Constraints: 63837
2359.17/2366.23 c #Conflicts: 1480000 | #Constraints: 64837
2359.17/2366.23 c #Conflicts: 1481000 | #Constraints: 65837
2359.17/2366.23 c #Conflicts: 1482000 | #Constraints: 66837
2359.17/2366.23 c #Conflicts: 1483000 | #Constraints: 67837
2359.17/2366.23 c #Conflicts: 1484000 | #Constraints: 68837
2359.17/2366.23 c #Conflicts: 1485000 | #Constraints: 69837
2359.17/2366.23 c #Conflicts: 1486000 | #Constraints: 70837
2359.17/2366.23 c #Conflicts: 1487000 | #Constraints: 71837
2359.17/2366.23 c #Conflicts: 1488000 | #Constraints: 72837
2359.17/2366.23 c #Conflicts: 1489000 | #Constraints: 73837
2359.17/2366.23 c #Conflicts: 1490000 | #Constraints: 74837
2359.17/2366.23 c #Conflicts: 1491000 | #Constraints: 75837
2359.17/2366.23 c INPROCESSING
2359.17/2366.23 c GARBAGE COLLECT
2359.17/2366.23 c #Conflicts: 1492000 | #Constraints: 52630
2359.17/2366.23 c #Conflicts: 1493000 | #Constraints: 53630
2359.17/2366.23 c #Conflicts: 1494000 | #Constraints: 54630
2359.17/2366.23 c #Conflicts: 1495000 | #Constraints: 55630
2547.83/2555.43 c #Conflicts: 1496000 | #Constraints: 56630
2547.83/2555.43 c #Conflicts: 1497000 | #Constraints: 57630
2547.83/2555.43 c #Conflicts: 1498000 | #Constraints: 58630
2547.83/2555.43 c #Conflicts: 1499000 | #Constraints: 59630
2547.83/2555.43 c #Conflicts: 1500000 | #Constraints: 60630
2547.83/2555.43 c #Conflicts: 1501000 | #Constraints: 61630
2547.83/2555.43 c #Conflicts: 1502000 | #Constraints: 62630
2547.83/2555.43 c #Conflicts: 1503000 | #Constraints: 63630
2547.83/2555.43 c #Conflicts: 1504000 | #Constraints: 64630
2547.83/2555.43 c #Conflicts: 1505000 | #Constraints: 65630
2547.83/2555.43 c #Conflicts: 1506000 | #Constraints: 66630
2547.83/2555.43 c #Conflicts: 1507000 | #Constraints: 67630
2547.83/2555.43 c #Conflicts: 1508000 | #Constraints: 68630
2547.83/2555.43 c #Conflicts: 1509000 | #Constraints: 69630
2547.83/2555.43 c #Conflicts: 1510000 | #Constraints: 70630
2547.83/2555.43 c #Conflicts: 1511000 | #Constraints: 71630
2547.83/2555.43 c #Conflicts: 1512000 | #Constraints: 72630
2547.83/2555.43 c #Conflicts: 1513000 | #Constraints: 73630
2547.83/2555.43 c #Conflicts: 1514000 | #Constraints: 74630
2547.83/2555.43 c #Conflicts: 1515000 | #Constraints: 75630
2547.83/2555.43 c #Conflicts: 1516000 | #Constraints: 76630
2547.83/2555.43 c INPROCESSING
2547.83/2555.43 c GARBAGE COLLECT
2547.83/2555.43 c #Conflicts: 1517000 | #Constraints: 53221
2547.83/2555.43 c #Conflicts: 1518000 | #Constraints: 54221
2547.83/2555.43 c #Conflicts: 1519000 | #Constraints: 55221
2547.83/2555.43 c #Conflicts: 1520000 | #Constraints: 56221
2547.83/2555.43 c #Conflicts: 1521000 | #Constraints: 57221
2547.83/2555.43 c #Conflicts: 1522000 | #Constraints: 58221
2547.83/2555.43 c #Conflicts: 1523000 | #Constraints: 59221
2547.83/2555.43 c #Conflicts: 1524000 | #Constraints: 60221
2547.83/2555.43 c #Conflicts: 1525000 | #Constraints: 61221
2547.83/2555.43 c #Conflicts: 1526000 | #Constraints: 62221
2547.83/2555.43 c #Conflicts: 1527000 | #Constraints: 63221
2547.83/2555.43 c #Conflicts: 1528000 | #Constraints: 64221
2547.83/2555.43 c #Conflicts: 1529000 | #Constraints: 65221
2547.83/2555.43 c #Conflicts: 1530000 | #Constraints: 66221
2547.83/2555.43 c #Conflicts: 1531000 | #Constraints: 67221
2547.83/2555.43 c #Conflicts: 1532000 | #Constraints: 68221
2547.83/2555.43 c #Conflicts: 1533000 | #Constraints: 69221
2547.83/2555.43 c #Conflicts: 1534000 | #Constraints: 70221
2547.83/2555.43 c #Conflicts: 1535000 | #Constraints: 71221
2547.83/2555.43 c #Conflicts: 1536000 | #Constraints: 72221
2547.83/2555.43 c #Conflicts: 1537000 | #Constraints: 73221
2547.83/2555.43 c #Conflicts: 1538000 | #Constraints: 74221
2547.83/2555.43 c #Conflicts: 1539000 | #Constraints: 75221
2547.83/2555.43 c #Conflicts: 1540000 | #Constraints: 76221
2547.83/2555.43 c #Conflicts: 1541000 | #Constraints: 77221
2547.83/2555.43 c INPROCESSING
2547.83/2555.43 c GARBAGE COLLECT
2547.83/2555.43 c #Conflicts: 1542000 | #Constraints: 53625
2547.83/2555.43 c #Conflicts: 1543000 | #Constraints: 54625
2547.83/2555.43 c #Conflicts: 1544000 | #Constraints: 55625
2547.83/2555.43 c #Conflicts: 1545000 | #Constraints: 56625
2547.83/2555.43 c #Conflicts: 1546000 | #Constraints: 57625
2547.83/2555.43 c #Conflicts: 1547000 | #Constraints: 58625
2547.83/2555.43 c #Conflicts: 1548000 | #Constraints: 59625
2547.83/2555.43 c #Conflicts: 1549000 | #Constraints: 60625
2547.83/2555.43 c #Conflicts: 1550000 | #Constraints: 61625
2547.83/2555.43 c #Conflicts: 1551000 | #Constraints: 62625
2547.83/2555.43 c #Conflicts: 1552000 | #Constraints: 63625
2547.83/2555.43 c #Conflicts: 1553000 | #Constraints: 64625
2547.83/2555.43 c #Conflicts: 1554000 | #Constraints: 65625
2547.83/2555.43 c #Conflicts: 1555000 | #Constraints: 66625
2547.83/2555.43 c #Conflicts: 1556000 | #Constraints: 67625
2547.83/2555.43 c #Conflicts: 1557000 | #Constraints: 68625
2547.83/2555.43 c #Conflicts: 1558000 | #Constraints: 69625
2547.83/2555.43 c #Conflicts: 1559000 | #Constraints: 70625
2547.83/2555.43 c #Conflicts: 1560000 | #Constraints: 71625
2547.83/2555.43 c #Conflicts: 1561000 | #Constraints: 72625
2547.83/2555.43 c #Conflicts: 1562000 | #Constraints: 73625
2547.83/2555.43 c #Conflicts: 1563000 | #Constraints: 74625
2547.83/2555.43 c #Conflicts: 1564000 | #Constraints: 75625
2547.83/2555.43 c #Conflicts: 1565000 | #Constraints: 76625
2547.83/2555.43 c #Conflicts: 1566000 | #Constraints: 77625
2547.83/2555.43 c INPROCESSING
2547.83/2555.43 c GARBAGE COLLECT
2547.83/2555.43 c #Conflicts: 1567000 | #Constraints: 53826
2547.83/2555.43 c #Conflicts: 1568000 | #Constraints: 54826
2547.83/2555.43 c #Conflicts: 1569000 | #Constraints: 55826
2547.83/2555.43 c #Conflicts: 1570000 | #Constraints: 56826
2547.83/2555.43 c #Conflicts: 1571000 | #Constraints: 57826
2547.83/2555.43 c #Conflicts: 1572000 | #Constraints: 58826
2712.26/2720.36 c #Conflicts: 1573000 | #Constraints: 59826
2712.26/2720.36 c #Conflicts: 1574000 | #Constraints: 60826
2712.26/2720.36 c #Conflicts: 1575000 | #Constraints: 61826
2712.26/2720.36 c #Conflicts: 1576000 | #Constraints: 62826
2712.26/2720.36 c #Conflicts: 1577000 | #Constraints: 63826
2712.26/2720.36 c #Conflicts: 1578000 | #Constraints: 64826
2712.26/2720.36 c #Conflicts: 1579000 | #Constraints: 65826
2712.26/2720.36 c #Conflicts: 1580000 | #Constraints: 66826
2712.26/2720.36 c #Conflicts: 1581000 | #Constraints: 67826
2712.26/2720.36 c #Conflicts: 1582000 | #Constraints: 68826
2712.26/2720.36 c #Conflicts: 1583000 | #Constraints: 69826
2712.26/2720.36 c #Conflicts: 1584000 | #Constraints: 70826
2712.26/2720.36 c #Conflicts: 1585000 | #Constraints: 71826
2712.26/2720.36 c #Conflicts: 1586000 | #Constraints: 72826
2712.26/2720.36 c #Conflicts: 1587000 | #Constraints: 73826
2712.26/2720.36 c #Conflicts: 1588000 | #Constraints: 74826
2712.26/2720.36 c #Conflicts: 1589000 | #Constraints: 75826
2712.26/2720.36 c #Conflicts: 1590000 | #Constraints: 76826
2712.26/2720.36 c #Conflicts: 1591000 | #Constraints: 77826
2712.26/2720.36 c INPROCESSING
2712.26/2720.36 c GARBAGE COLLECT
2712.26/2720.36 c #Conflicts: 1592000 | #Constraints: 53837
2712.26/2720.36 c #Conflicts: 1593000 | #Constraints: 54837
2712.26/2720.36 c #Conflicts: 1594000 | #Constraints: 55837
2712.26/2720.36 c #Conflicts: 1595000 | #Constraints: 56837
2712.26/2720.36 c #Conflicts: 1596000 | #Constraints: 57837
2712.26/2720.36 c #Conflicts: 1597000 | #Constraints: 58837
2712.26/2720.36 c #Conflicts: 1598000 | #Constraints: 59837
2712.26/2720.36 c #Conflicts: 1599000 | #Constraints: 60837
2712.26/2720.36 c #Conflicts: 1600000 | #Constraints: 61837
2712.26/2720.36 c #Conflicts: 1601000 | #Constraints: 62837
2712.26/2720.36 c #Conflicts: 1602000 | #Constraints: 63837
2712.26/2720.36 c #Conflicts: 1603000 | #Constraints: 64837
2712.26/2720.36 c #Conflicts: 1604000 | #Constraints: 65837
2712.26/2720.36 c #Conflicts: 1605000 | #Constraints: 66837
2712.26/2720.36 c #Conflicts: 1606000 | #Constraints: 67837
2712.26/2720.36 c #Conflicts: 1607000 | #Constraints: 68837
2712.26/2720.36 c #Conflicts: 1608000 | #Constraints: 69837
2712.26/2720.36 c #Conflicts: 1609000 | #Constraints: 70837
2712.26/2720.36 c #Conflicts: 1610000 | #Constraints: 71837
2712.26/2720.36 c #Conflicts: 1611000 | #Constraints: 72837
2712.26/2720.36 c #Conflicts: 1612000 | #Constraints: 73837
2712.26/2720.36 c #Conflicts: 1613000 | #Constraints: 74837
2712.26/2720.36 c #Conflicts: 1614000 | #Constraints: 75837
2712.26/2720.36 c #Conflicts: 1615000 | #Constraints: 76837
2712.26/2720.36 c #Conflicts: 1616000 | #Constraints: 77837
2712.26/2720.36 c INPROCESSING
2712.26/2720.36 c GARBAGE COLLECT
2712.26/2720.36 c #Conflicts: 1617000 | #Constraints: 53627
2712.26/2720.36 c #Conflicts: 1618000 | #Constraints: 54627
2712.26/2720.36 c #Conflicts: 1619000 | #Constraints: 55627
2712.26/2720.36 c #Conflicts: 1620000 | #Constraints: 56627
2712.26/2720.36 c #Conflicts: 1621000 | #Constraints: 57627
2712.26/2720.36 c #Conflicts: 1622000 | #Constraints: 58627
2712.26/2720.36 c #Conflicts: 1623000 | #Constraints: 59627
2712.26/2720.36 c #Conflicts: 1624000 | #Constraints: 60627
2712.26/2720.36 c #Conflicts: 1625000 | #Constraints: 61627
2712.26/2720.36 c #Conflicts: 1626000 | #Constraints: 62627
2712.26/2720.36 c #Conflicts: 1627000 | #Constraints: 63627
2712.26/2720.36 c #Conflicts: 1628000 | #Constraints: 64627
2712.26/2720.36 c #Conflicts: 1629000 | #Constraints: 65627
2712.26/2720.36 c #Conflicts: 1630000 | #Constraints: 66627
2712.26/2720.36 c #Conflicts: 1631000 | #Constraints: 67627
2712.26/2720.36 c #Conflicts: 1632000 | #Constraints: 68627
2712.26/2720.36 c #Conflicts: 1633000 | #Constraints: 69627
2712.26/2720.36 c #Conflicts: 1634000 | #Constraints: 70627
2712.26/2720.36 c #Conflicts: 1635000 | #Constraints: 71627
2712.26/2720.36 c #Conflicts: 1636000 | #Constraints: 72627
2712.26/2720.36 c #Conflicts: 1637000 | #Constraints: 73627
2712.26/2720.36 c #Conflicts: 1638000 | #Constraints: 74627
2712.26/2720.36 c #Conflicts: 1639000 | #Constraints: 75627
2712.26/2720.36 c #Conflicts: 1640000 | #Constraints: 76627
2712.26/2720.36 c #Conflicts: 1641000 | #Constraints: 77627
2712.26/2720.36 c #Conflicts: 1642000 | #Constraints: 78627
2712.26/2720.36 c INPROCESSING
2712.26/2720.36 c GARBAGE COLLECT
2712.26/2720.36 c #Conflicts: 1643000 | #Constraints: 54253
2712.26/2720.36 c #Conflicts: 1644000 | #Constraints: 55253
2712.26/2720.36 c #Conflicts: 1645000 | #Constraints: 56253
2712.26/2720.36 c #Conflicts: 1646000 | #Constraints: 57253
2712.26/2720.36 c #Conflicts: 1647000 | #Constraints: 58253
2712.26/2720.36 c #Conflicts: 1648000 | #Constraints: 59253
2922.66/2931.38 c #Conflicts: 1649000 | #Constraints: 60253
2922.66/2931.38 c #Conflicts: 1650000 | #Constraints: 61253
2922.66/2931.38 c #Conflicts: 1651000 | #Constraints: 62253
2922.66/2931.38 c #Conflicts: 1652000 | #Constraints: 63253
2922.66/2931.38 c #Conflicts: 1653000 | #Constraints: 64253
2922.66/2931.38 c #Conflicts: 1654000 | #Constraints: 65253
2922.66/2931.38 c #Conflicts: 1655000 | #Constraints: 66253
2922.66/2931.38 c #Conflicts: 1656000 | #Constraints: 67253
2922.66/2931.38 c #Conflicts: 1657000 | #Constraints: 68253
2922.66/2931.38 c #Conflicts: 1658000 | #Constraints: 69253
2922.66/2931.38 c #Conflicts: 1659000 | #Constraints: 70253
2922.66/2931.38 c #Conflicts: 1660000 | #Constraints: 71253
2922.66/2931.38 c #Conflicts: 1661000 | #Constraints: 72253
2922.66/2931.38 c #Conflicts: 1662000 | #Constraints: 73253
2922.66/2931.38 c #Conflicts: 1663000 | #Constraints: 74253
2922.66/2931.38 c #Conflicts: 1664000 | #Constraints: 75253
2922.66/2931.38 c #Conflicts: 1665000 | #Constraints: 76253
2922.66/2931.38 c #Conflicts: 1666000 | #Constraints: 77253
2922.66/2931.38 c #Conflicts: 1667000 | #Constraints: 78253
2922.66/2931.38 c #Conflicts: 1668000 | #Constraints: 79253
2922.66/2931.38 c INPROCESSING
2922.66/2931.38 c GARBAGE COLLECT
2922.66/2931.38 c #Conflicts: 1669000 | #Constraints: 54640
2922.66/2931.38 c #Conflicts: 1670000 | #Constraints: 55640
2922.66/2931.38 c #Conflicts: 1671000 | #Constraints: 56640
2922.66/2931.38 c #Conflicts: 1672000 | #Constraints: 57640
2922.66/2931.38 c #Conflicts: 1673000 | #Constraints: 58640
2922.66/2931.38 c #Conflicts: 1674000 | #Constraints: 59640
2922.66/2931.38 c #Conflicts: 1675000 | #Constraints: 60640
2922.66/2931.38 c #Conflicts: 1676000 | #Constraints: 61640
2922.66/2931.38 c #Conflicts: 1677000 | #Constraints: 62640
2922.66/2931.38 c #Conflicts: 1678000 | #Constraints: 63640
2922.66/2931.38 c #Conflicts: 1679000 | #Constraints: 64640
2922.66/2931.38 c #Conflicts: 1680000 | #Constraints: 65640
2922.66/2931.38 c #Conflicts: 1681000 | #Constraints: 66640
2922.66/2931.38 c #Conflicts: 1682000 | #Constraints: 67640
2922.66/2931.38 c #Conflicts: 1683000 | #Constraints: 68640
2922.66/2931.38 c #Conflicts: 1684000 | #Constraints: 69640
2922.66/2931.38 c #Conflicts: 1685000 | #Constraints: 70640
2922.66/2931.38 c #Conflicts: 1686000 | #Constraints: 71640
2922.66/2931.38 c #Conflicts: 1687000 | #Constraints: 72640
2922.66/2931.38 c #Conflicts: 1688000 | #Constraints: 73640
2922.66/2931.38 c #Conflicts: 1689000 | #Constraints: 74640
2922.66/2931.38 c #Conflicts: 1690000 | #Constraints: 75640
2922.66/2931.38 c #Conflicts: 1691000 | #Constraints: 76640
2922.66/2931.38 c #Conflicts: 1692000 | #Constraints: 77640
2922.66/2931.38 c #Conflicts: 1693000 | #Constraints: 78640
2922.66/2931.38 c #Conflicts: 1694000 | #Constraints: 79640
2922.66/2931.38 c INPROCESSING
2922.66/2931.38 c GARBAGE COLLECT
2922.66/2931.38 c #Conflicts: 1695000 | #Constraints: 54825
2922.66/2931.38 c #Conflicts: 1696000 | #Constraints: 55825
2922.66/2931.38 c #Conflicts: 1697000 | #Constraints: 56825
2922.66/2931.38 c #Conflicts: 1698000 | #Constraints: 57825
2922.66/2931.38 c #Conflicts: 1699000 | #Constraints: 58825
2922.66/2931.38 c #Conflicts: 1700000 | #Constraints: 59825
2922.66/2931.38 c #Conflicts: 1701000 | #Constraints: 60825
2922.66/2931.38 c #Conflicts: 1702000 | #Constraints: 61825
2922.66/2931.38 c #Conflicts: 1703000 | #Constraints: 62825
2922.66/2931.38 c #Conflicts: 1704000 | #Constraints: 63825
2922.66/2931.38 c #Conflicts: 1705000 | #Constraints: 64825
2922.66/2931.38 c #Conflicts: 1706000 | #Constraints: 65825
2922.66/2931.38 c #Conflicts: 1707000 | #Constraints: 66825
2922.66/2931.38 c #Conflicts: 1708000 | #Constraints: 67825
2922.66/2931.38 c #Conflicts: 1709000 | #Constraints: 68825
2922.66/2931.38 c #Conflicts: 1710000 | #Constraints: 69825
2922.66/2931.38 c #Conflicts: 1711000 | #Constraints: 70825
2922.66/2931.38 c #Conflicts: 1712000 | #Constraints: 71825
2922.66/2931.38 c #Conflicts: 1713000 | #Constraints: 72825
2922.66/2931.38 c #Conflicts: 1714000 | #Constraints: 73825
2922.66/2931.38 c #Conflicts: 1715000 | #Constraints: 74825
2922.66/2931.38 c #Conflicts: 1716000 | #Constraints: 75825
2922.66/2931.38 c #Conflicts: 1717000 | #Constraints: 76825
2922.66/2931.38 c #Conflicts: 1718000 | #Constraints: 77825
2922.66/2931.38 c #Conflicts: 1719000 | #Constraints: 78825
2922.66/2931.38 c #Conflicts: 1720000 | #Constraints: 79825
2922.66/2931.38 c INPROCESSING
2922.66/2931.38 c GARBAGE COLLECT
2922.66/2931.38 c #Conflicts: 1721000 | #Constraints: 54844
2922.66/2931.38 c #Conflicts: 1722000 | #Constraints: 55844
2922.66/2931.38 c #Conflicts: 1723000 | #Constraints: 56844
2922.66/2931.38 c #Conflicts: 1724000 | #Constraints: 57844
2922.66/2931.38 c #Conflicts: 1725000 | #Constraints: 58844
3127.18/3136.40 c #Conflicts: 1726000 | #Constraints: 59844
3127.18/3136.40 c #Conflicts: 1727000 | #Constraints: 60844
3127.18/3136.40 c #Conflicts: 1728000 | #Constraints: 61844
3127.18/3136.40 c #Conflicts: 1729000 | #Constraints: 62844
3127.18/3136.40 c #Conflicts: 1730000 | #Constraints: 63844
3127.18/3136.40 c #Conflicts: 1731000 | #Constraints: 64844
3127.18/3136.40 c #Conflicts: 1732000 | #Constraints: 65844
3127.18/3136.40 c #Conflicts: 1733000 | #Constraints: 66844
3127.18/3136.40 c #Conflicts: 1734000 | #Constraints: 67844
3127.18/3136.40 c #Conflicts: 1735000 | #Constraints: 68844
3127.18/3136.40 c #Conflicts: 1736000 | #Constraints: 69844
3127.18/3136.40 c #Conflicts: 1737000 | #Constraints: 70844
3127.18/3136.40 c #Conflicts: 1738000 | #Constraints: 71844
3127.18/3136.40 c #Conflicts: 1739000 | #Constraints: 72844
3127.18/3136.40 c #Conflicts: 1740000 | #Constraints: 73844
3127.18/3136.40 c #Conflicts: 1741000 | #Constraints: 74844
3127.18/3136.40 c #Conflicts: 1742000 | #Constraints: 75844
3127.18/3136.40 c #Conflicts: 1743000 | #Constraints: 76844
3127.18/3136.40 c #Conflicts: 1744000 | #Constraints: 77844
3127.18/3136.40 c #Conflicts: 1745000 | #Constraints: 78844
3127.18/3136.40 c #Conflicts: 1746000 | #Constraints: 79844
3127.18/3136.40 c INPROCESSING
3127.18/3136.40 c GARBAGE COLLECT
3127.18/3136.40 c #Conflicts: 1747000 | #Constraints: 54651
3127.18/3136.40 c #Conflicts: 1748000 | #Constraints: 55651
3127.18/3136.40 c #Conflicts: 1749000 | #Constraints: 56651
3127.18/3136.40 c #Conflicts: 1750000 | #Constraints: 57651
3127.18/3136.40 c #Conflicts: 1751000 | #Constraints: 58651
3127.18/3136.40 c #Conflicts: 1752000 | #Constraints: 59651
3127.18/3136.40 c #Conflicts: 1753000 | #Constraints: 60651
3127.18/3136.40 c #Conflicts: 1754000 | #Constraints: 61651
3127.18/3136.40 c #Conflicts: 1755000 | #Constraints: 62651
3127.18/3136.40 c #Conflicts: 1756000 | #Constraints: 63651
3127.18/3136.40 c #Conflicts: 1757000 | #Constraints: 64651
3127.18/3136.40 c #Conflicts: 1758000 | #Constraints: 65651
3127.18/3136.40 c #Conflicts: 1759000 | #Constraints: 66651
3127.18/3136.40 c #Conflicts: 1760000 | #Constraints: 67651
3127.18/3136.40 c #Conflicts: 1761000 | #Constraints: 68651
3127.18/3136.40 c #Conflicts: 1762000 | #Constraints: 69651
3127.18/3136.40 c #Conflicts: 1763000 | #Constraints: 70651
3127.18/3136.40 c #Conflicts: 1764000 | #Constraints: 71651
3127.18/3136.40 c #Conflicts: 1765000 | #Constraints: 72651
3127.18/3136.40 c #Conflicts: 1766000 | #Constraints: 73651
3127.18/3136.40 c #Conflicts: 1767000 | #Constraints: 74651
3127.18/3136.40 c #Conflicts: 1768000 | #Constraints: 75651
3127.18/3136.40 c #Conflicts: 1769000 | #Constraints: 76651
3127.18/3136.40 c #Conflicts: 1770000 | #Constraints: 77651
3127.18/3136.40 c #Conflicts: 1771000 | #Constraints: 78651
3127.18/3136.40 c #Conflicts: 1772000 | #Constraints: 79651
3127.18/3136.40 c #Conflicts: 1773000 | #Constraints: 80651
3127.18/3136.40 c INPROCESSING
3127.18/3136.40 c GARBAGE COLLECT
3127.18/3136.40 c #Conflicts: 1774000 | #Constraints: 55226
3127.18/3136.40 c #Conflicts: 1775000 | #Constraints: 56226
3127.18/3136.40 c #Conflicts: 1776000 | #Constraints: 57226
3127.18/3136.40 c #Conflicts: 1777000 | #Constraints: 58226
3127.18/3136.40 c #Conflicts: 1778000 | #Constraints: 59226
3127.18/3136.40 c #Conflicts: 1779000 | #Constraints: 60226
3127.18/3136.40 c #Conflicts: 1780000 | #Constraints: 61226
3127.18/3136.40 c #Conflicts: 1781000 | #Constraints: 62226
3127.18/3136.40 c #Conflicts: 1782000 | #Constraints: 63226
3127.18/3136.40 c #Conflicts: 1783000 | #Constraints: 64226
3127.18/3136.40 c #Conflicts: 1784000 | #Constraints: 65226
3127.18/3136.40 c #Conflicts: 1785000 | #Constraints: 66226
3127.18/3136.40 c #Conflicts: 1786000 | #Constraints: 67226
3127.18/3136.40 c #Conflicts: 1787000 | #Constraints: 68226
3127.18/3136.40 c #Conflicts: 1788000 | #Constraints: 69226
3127.18/3136.40 c #Conflicts: 1789000 | #Constraints: 70226
3127.18/3136.40 c #Conflicts: 1790000 | #Constraints: 71226
3127.18/3136.40 c #Conflicts: 1791000 | #Constraints: 72226
3127.18/3136.40 c #Conflicts: 1792000 | #Constraints: 73226
3127.18/3136.40 c #Conflicts: 1793000 | #Constraints: 74226
3127.18/3136.40 c #Conflicts: 1794000 | #Constraints: 75226
3127.18/3136.40 c #Conflicts: 1795000 | #Constraints: 76226
3127.18/3136.40 c #Conflicts: 1796000 | #Constraints: 77226
3127.18/3136.40 c #Conflicts: 1797000 | #Constraints: 78226
3127.18/3136.40 c #Conflicts: 1798000 | #Constraints: 79226
3127.18/3136.40 c #Conflicts: 1799000 | #Constraints: 80226
3127.18/3136.40 c #Conflicts: 1800000 | #Constraints: 81226
3127.18/3136.40 c INPROCESSING
3127.18/3136.40 c GARBAGE COLLECT
3127.18/3136.40 c #Conflicts: 1801000 | #Constraints: 55633
3127.18/3136.40 c #Conflicts: 1802000 | #Constraints: 56633
3339.28/3349.18 c #Conflicts: 1803000 | #Constraints: 57633
3339.28/3349.18 c #Conflicts: 1804000 | #Constraints: 58633
3339.28/3349.18 c #Conflicts: 1805000 | #Constraints: 59633
3339.28/3349.18 c #Conflicts: 1806000 | #Constraints: 60633
3339.28/3349.18 c #Conflicts: 1807000 | #Constraints: 61633
3339.28/3349.18 c #Conflicts: 1808000 | #Constraints: 62633
3339.28/3349.18 c #Conflicts: 1809000 | #Constraints: 63633
3339.28/3349.18 c #Conflicts: 1810000 | #Constraints: 64633
3339.28/3349.18 c #Conflicts: 1811000 | #Constraints: 65633
3339.28/3349.18 c #Conflicts: 1812000 | #Constraints: 66633
3339.28/3349.18 c #Conflicts: 1813000 | #Constraints: 67633
3339.28/3349.18 c #Conflicts: 1814000 | #Constraints: 68633
3339.28/3349.18 c #Conflicts: 1815000 | #Constraints: 69633
3339.28/3349.18 c #Conflicts: 1816000 | #Constraints: 70633
3339.28/3349.18 c #Conflicts: 1817000 | #Constraints: 71633
3339.28/3349.18 c #Conflicts: 1818000 | #Constraints: 72633
3339.28/3349.18 c #Conflicts: 1819000 | #Constraints: 73633
3339.28/3349.18 c #Conflicts: 1820000 | #Constraints: 74633
3339.28/3349.18 c #Conflicts: 1821000 | #Constraints: 75633
3339.28/3349.18 c #Conflicts: 1822000 | #Constraints: 76633
3339.28/3349.18 c #Conflicts: 1823000 | #Constraints: 77633
3339.28/3349.18 c #Conflicts: 1824000 | #Constraints: 78633
3339.28/3349.18 c #Conflicts: 1825000 | #Constraints: 79633
3339.28/3349.18 c #Conflicts: 1826000 | #Constraints: 80633
3339.28/3349.18 c #Conflicts: 1827000 | #Constraints: 81633
3339.28/3349.18 c INPROCESSING
3339.28/3349.18 c GARBAGE COLLECT
3339.28/3349.18 c #Conflicts: 1828000 | #Constraints: 55827
3339.28/3349.18 c #Conflicts: 1829000 | #Constraints: 56827
3339.28/3349.18 c #Conflicts: 1830000 | #Constraints: 57827
3339.28/3349.18 c #Conflicts: 1831000 | #Constraints: 58827
3339.28/3349.18 c #Conflicts: 1832000 | #Constraints: 59827
3339.28/3349.18 c #Conflicts: 1833000 | #Constraints: 60827
3339.28/3349.18 c #Conflicts: 1834000 | #Constraints: 61827
3339.28/3349.18 c #Conflicts: 1835000 | #Constraints: 62827
3339.28/3349.18 c #Conflicts: 1836000 | #Constraints: 63827
3339.28/3349.18 c #Conflicts: 1837000 | #Constraints: 64827
3339.28/3349.18 c #Conflicts: 1838000 | #Constraints: 65827
3339.28/3349.18 c #Conflicts: 1839000 | #Constraints: 66827
3339.28/3349.18 c #Conflicts: 1840000 | #Constraints: 67827
3339.28/3349.18 c #Conflicts: 1841000 | #Constraints: 68827
3339.28/3349.18 c #Conflicts: 1842000 | #Constraints: 69827
3339.28/3349.18 c #Conflicts: 1843000 | #Constraints: 70827
3339.28/3349.18 c #Conflicts: 1844000 | #Constraints: 71827
3339.28/3349.18 c #Conflicts: 1845000 | #Constraints: 72827
3339.28/3349.18 c #Conflicts: 1846000 | #Constraints: 73827
3339.28/3349.18 c #Conflicts: 1847000 | #Constraints: 74827
3339.28/3349.18 c #Conflicts: 1848000 | #Constraints: 75827
3339.28/3349.18 c #Conflicts: 1849000 | #Constraints: 76827
3339.28/3349.18 c #Conflicts: 1850000 | #Constraints: 77827
3339.28/3349.18 c #Conflicts: 1851000 | #Constraints: 78827
3339.28/3349.18 c #Conflicts: 1852000 | #Constraints: 79827
3339.28/3349.18 c #Conflicts: 1853000 | #Constraints: 80827
3339.28/3349.18 c #Conflicts: 1854000 | #Constraints: 81827
3339.28/3349.18 c INPROCESSING
3339.28/3349.18 c GARBAGE COLLECT
3339.28/3349.18 c #Conflicts: 1855000 | #Constraints: 55826
3339.28/3349.18 c #Conflicts: 1856000 | #Constraints: 56826
3339.28/3349.18 c #Conflicts: 1857000 | #Constraints: 57826
3339.28/3349.18 c #Conflicts: 1858000 | #Constraints: 58826
3339.28/3349.18 c #Conflicts: 1859000 | #Constraints: 59826
3339.28/3349.18 c #Conflicts: 1860000 | #Constraints: 60826
3339.28/3349.18 c #Conflicts: 1861000 | #Constraints: 61826
3339.28/3349.18 c #Conflicts: 1862000 | #Constraints: 62826
3339.28/3349.18 c #Conflicts: 1863000 | #Constraints: 63826
3339.28/3349.18 c #Conflicts: 1864000 | #Constraints: 64826
3339.28/3349.18 c #Conflicts: 1865000 | #Constraints: 65826
3339.28/3349.18 c #Conflicts: 1866000 | #Constraints: 66826
3339.28/3349.18 c #Conflicts: 1867000 | #Constraints: 67826
3339.28/3349.18 c #Conflicts: 1868000 | #Constraints: 68826
3339.28/3349.18 c #Conflicts: 1869000 | #Constraints: 69826
3339.28/3349.18 c #Conflicts: 1870000 | #Constraints: 70826
3339.28/3349.18 c #Conflicts: 1871000 | #Constraints: 71826
3339.28/3349.18 c #Conflicts: 1872000 | #Constraints: 72826
3339.28/3349.18 c #Conflicts: 1873000 | #Constraints: 73826
3339.28/3349.18 c #Conflicts: 1874000 | #Constraints: 74826
3339.28/3349.18 c #Conflicts: 1875000 | #Constraints: 75826
3339.28/3349.18 c #Conflicts: 1876000 | #Constraints: 76826
3339.28/3349.18 c #Conflicts: 1877000 | #Constraints: 77826
3339.28/3349.18 c #Conflicts: 1878000 | #Constraints: 78826
3339.28/3349.18 c #Conflicts: 1879000 | #Constraints: 79826
3339.28/3349.18 c #Conflicts: 1880000 | #Constraints: 80826
3537.32/3547.73 c #Conflicts: 1881000 | #Constraints: 81826
3537.32/3547.73 c INPROCESSING
3537.32/3547.73 c GARBAGE COLLECT
3537.32/3547.73 c #Conflicts: 1882000 | #Constraints: 55638
3537.32/3547.73 c #Conflicts: 1883000 | #Constraints: 56638
3537.32/3547.73 c #Conflicts: 1884000 | #Constraints: 57638
3537.32/3547.73 c #Conflicts: 1885000 | #Constraints: 58638
3537.32/3547.73 c #Conflicts: 1886000 | #Constraints: 59638
3537.32/3547.73 c #Conflicts: 1887000 | #Constraints: 60638
3537.32/3547.73 c #Conflicts: 1888000 | #Constraints: 61638
3537.32/3547.73 c #Conflicts: 1889000 | #Constraints: 62638
3537.32/3547.73 c #Conflicts: 1890000 | #Constraints: 63638
3537.32/3547.73 c #Conflicts: 1891000 | #Constraints: 64638
3537.32/3547.73 c #Conflicts: 1892000 | #Constraints: 65638
3537.32/3547.73 c #Conflicts: 1893000 | #Constraints: 66638
3537.32/3547.73 c #Conflicts: 1894000 | #Constraints: 67638
3537.32/3547.73 c #Conflicts: 1895000 | #Constraints: 68638
3537.32/3547.73 c #Conflicts: 1896000 | #Constraints: 69638
3537.32/3547.73 c #Conflicts: 1897000 | #Constraints: 70638
3537.32/3547.73 c #Conflicts: 1898000 | #Constraints: 71638
3537.32/3547.73 c #Conflicts: 1899000 | #Constraints: 72638
3537.32/3547.73 c #Conflicts: 1900000 | #Constraints: 73638
3537.32/3547.73 c #Conflicts: 1901000 | #Constraints: 74638
3537.32/3547.73 c #Conflicts: 1902000 | #Constraints: 75638
3537.32/3547.73 c #Conflicts: 1903000 | #Constraints: 76638
3537.32/3547.73 c #Conflicts: 1904000 | #Constraints: 77638
3537.32/3547.73 c #Conflicts: 1905000 | #Constraints: 78638
3537.32/3547.73 c #Conflicts: 1906000 | #Constraints: 79638
3537.32/3547.73 c #Conflicts: 1907000 | #Constraints: 80638
3537.32/3547.73 c #Conflicts: 1908000 | #Constraints: 81638
3537.32/3547.73 c #Conflicts: 1909000 | #Constraints: 82638
3537.32/3547.73 c INPROCESSING
3537.32/3547.73 c GARBAGE COLLECT
3537.32/3547.73 c #Conflicts: 1910000 | #Constraints: 56243
3537.32/3547.73 c #Conflicts: 1911000 | #Constraints: 57243
3537.32/3547.73 c #Conflicts: 1912000 | #Constraints: 58243
3537.32/3547.73 c #Conflicts: 1913000 | #Constraints: 59243
3537.32/3547.73 c #Conflicts: 1914000 | #Constraints: 60243
3537.32/3547.73 c #Conflicts: 1915000 | #Constraints: 61243
3537.32/3547.73 c #Conflicts: 1916000 | #Constraints: 62243
3537.32/3547.73 c #Conflicts: 1917000 | #Constraints: 63243
3537.32/3547.73 c #Conflicts: 1918000 | #Constraints: 64243
3537.32/3547.73 c #Conflicts: 1919000 | #Constraints: 65243
3537.32/3547.73 c #Conflicts: 1920000 | #Constraints: 66243
3537.32/3547.73 c #Conflicts: 1921000 | #Constraints: 67243
3537.32/3547.73 c #Conflicts: 1922000 | #Constraints: 68243
3537.32/3547.73 c #Conflicts: 1923000 | #Constraints: 69243
3537.32/3547.73 c #Conflicts: 1924000 | #Constraints: 70243
3537.32/3547.73 c #Conflicts: 1925000 | #Constraints: 71243
3537.32/3547.73 c #Conflicts: 1926000 | #Constraints: 72243
3537.32/3547.73 c #Conflicts: 1927000 | #Constraints: 73243
3537.32/3547.73 c #Conflicts: 1928000 | #Constraints: 74243
3537.32/3547.73 c #Conflicts: 1929000 | #Constraints: 75243
3537.32/3547.73 c #Conflicts: 1930000 | #Constraints: 76243
3537.32/3547.73 c #Conflicts: 1931000 | #Constraints: 77243
3537.32/3547.73 c #Conflicts: 1932000 | #Constraints: 78243
3537.32/3547.73 c #Conflicts: 1933000 | #Constraints: 79243
3537.32/3547.73 c #Conflicts: 1934000 | #Constraints: 80243
3537.32/3547.73 c #Conflicts: 1935000 | #Constraints: 81243
3537.32/3547.73 c #Conflicts: 1936000 | #Constraints: 82243
3537.32/3547.73 c #Conflicts: 1937000 | #Constraints: 83243
3537.32/3547.73 c INPROCESSING
3537.32/3547.73 c GARBAGE COLLECT
3537.32/3547.73 c #Conflicts: 1938000 | #Constraints: 56640
3537.32/3547.73 c #Conflicts: 1939000 | #Constraints: 57640
3537.32/3547.73 c #Conflicts: 1940000 | #Constraints: 58640
3537.32/3547.73 c #Conflicts: 1941000 | #Constraints: 59640
3537.32/3547.73 c #Conflicts: 1942000 | #Constraints: 60640
3537.32/3547.73 c #Conflicts: 1943000 | #Constraints: 61640
3537.32/3547.73 c #Conflicts: 1944000 | #Constraints: 62640
3537.32/3547.73 c #Conflicts: 1945000 | #Constraints: 63640
3537.32/3547.73 c #Conflicts: 1946000 | #Constraints: 64640
3537.32/3547.73 c #Conflicts: 1947000 | #Constraints: 65640
3537.32/3547.73 c #Conflicts: 1948000 | #Constraints: 66640
3537.32/3547.73 c #Conflicts: 1949000 | #Constraints: 67640
3537.32/3547.73 c #Conflicts: 1950000 | #Constraints: 68640
3537.32/3547.73 c #Conflicts: 1951000 | #Constraints: 69640
3537.32/3547.73 c #Conflicts: 1952000 | #Constraints: 70640
3537.32/3547.73 c #Conflicts: 1953000 | #Constraints: 71640
3537.32/3547.73 c #Conflicts: 1954000 | #Constraints: 72640
3537.32/3547.73 c #Conflicts: 1955000 | #Constraints: 73640
3537.32/3547.73 c #Conflicts: 1956000 | #Constraints: 74640
3537.32/3547.73 c #Conflicts: 1957000 | #Constraints: 75640
3600.06/3610.60 c #Conflicts: 1958000 | #Constraints: 76640
3600.06/3610.60 c #Conflicts: 1959000 | #Constraints: 77640
3600.06/3610.60 c #Conflicts: 1960000 | #Constraints: 78640
3600.06/3610.60 c #Conflicts: 1961000 | #Constraints: 79640
3600.06/3610.60 c #Conflicts: 1962000 | #Constraints: 80640
3600.06/3610.60 c #Conflicts: 1963000 | #Constraints: 81640
3600.06/3610.60 c #Conflicts: 1964000 | #Constraints: 82640
3600.06/3610.60 c #Conflicts: 1965000 | #Constraints: 83640
3600.06/3610.60 c INPROCESSING
3600.06/3610.60 c GARBAGE COLLECT
3600.06/3610.60 c #Conflicts: 1966000 | #Constraints: 56855
3600.06/3610.60 c #Conflicts: 1967000 | #Constraints: 57855
3600.06/3610.60 c #Conflicts: 1968000 | #Constraints: 58855
3600.06/3610.60 c #Conflicts: 1969000 | #Constraints: 59855
3600.06/3610.60 c #Conflicts: 1970000 | #Constraints: 60855
3600.06/3610.60 c #Conflicts: 1971000 | #Constraints: 61855
3600.06/3610.60 c #Conflicts: 1972000 | #Constraints: 62855
3600.06/3610.60 c #Conflicts: 1973000 | #Constraints: 63855
3600.06/3610.60 c #Conflicts: 1974000 | #Constraints: 64855
3600.06/3610.60 c #Conflicts: 1975000 | #Constraints: 65855
3600.06/3610.60 c #Conflicts: 1976000 | #Constraints: 66855
3600.06/3610.60 c #Conflicts: 1977000 | #Constraints: 67855
3600.06/3610.60 c #Conflicts: 1978000 | #Constraints: 68855
3600.06/3610.60 c #Conflicts: 1979000 | #Constraints: 69855
3600.06/3610.60 c #Conflicts: 1980000 | #Constraints: 70855
3600.06/3610.60 c #Conflicts: 1981000 | #Constraints: 71855
3600.06/3610.60 c #Conflicts: 1982000 | #Constraints: 72855
3600.06/3610.60 c Program interrupted by user.
3600.06/3610.60 c cpu time 3591.8 s
3600.06/3610.60 c deterministic time 539017461839 5.39e+11
3600.06/3610.60 c optimization time 38.9362 s
3600.06/3610.60 c total solve time 3253.85 s
3600.06/3610.60 c core-guided solve time 3253.85 s
3600.06/3610.60 c propagation time 3148.89 s
3600.06/3610.60 c conflict analysis time 110.416 s
3600.06/3610.60 c propagations 43224133
3600.06/3610.60 c resolve steps 14741814
3600.06/3610.60 c decisions 2624944
3600.06/3610.60 c conflicts 1982924
3600.06/3610.60 c restarts 3866
3600.06/3610.60 c inprocessing phases 131
3600.06/3610.60 c input clauses 27965
3600.06/3610.60 c input cardinalities 18
3600.06/3610.60 c input general constraints 0
3600.06/3610.60 c input average constraint length 2.40
3600.06/3610.60 c input average constraint degree 1.29
3600.06/3610.60 c learned clauses 1226463
3600.06/3610.60 c learned cardinalities 538475
3600.06/3610.60 c learned general constraints 217985
3600.06/3610.60 c learned average constraint length 548.16
3600.06/3610.60 c learned average constraint degree 10.69
3600.06/3610.60 c watched constraints 217985
3600.06/3610.60 c counting constraints 0
3600.06/3610.60 c gcd simplifications 129539
3600.06/3610.60 c detected cardinalities 28357
3600.06/3610.60 c weakened non-implied lits 20832915
3600.06/3610.60 c weakened non-implying lits 87843
3600.06/3610.60 c original variables 595
3600.06/3610.60 c clausal propagations 30367550
3600.06/3610.60 c cardinality propagations 7053349
3600.06/3610.60 c watched propagations 817010
3600.06/3610.60 c counting propagations 0
3600.06/3610.60 c watch lookups 28447490360
3600.06/3610.60 c watch backjump lookups 2931058
3600.06/3610.60 c watch checks 507431734207
3600.06/3610.60 c propagation checks 809342331
3600.06/3610.60 c constraint additions 2232283475
3600.06/3610.60 c trail pops 47831330
3600.06/3610.60 c formula constraints 27842
3600.06/3610.60 c learned constraints 1982923
3600.06/3610.60 c bound constraints 18
3600.06/3610.60 c core-guided constraints 123
3600.06/3610.60 c encountered formula constraints 12279868
3600.06/3610.60 c encountered learned constraints 4421925
3600.06/3610.60 c encountered bound constraints 1852
3600.06/3610.60 c encountered core-guided constraints 21093
3600.06/3610.60 c LP total time 0 s
3600.06/3610.60 c LP solve time 0 s
3600.06/3610.60 c LP constraints added 0
3600.06/3610.60 c LP constraints removed 0
3600.06/3610.60 c LP pivots internal 0
3600.06/3610.60 c LP pivots root 0
3600.06/3610.60 c LP calls 0
3600.06/3610.60 c LP optimalities 0
3600.06/3610.60 c LP no pivot count 0
3600.06/3610.60 c LP infeasibilities 0
3600.06/3610.60 c LP valid Farkas constraints 0
3600.06/3610.60 c LP learned Farkas constraints 0
3600.06/3610.60 c LP basis resets 0
3600.06/3610.60 c LP cycling count 0
3600.06/3610.60 c LP singular count 0
3600.06/3610.60 c LP no primal count 0
3600.06/3610.60 c LP no farkas count 0
3600.06/3610.60 c LP other issue count 0
3600.06/3610.60 c LP Gomory cuts 0
3600.06/3610.60 c LP learned cuts 0
3600.06/3610.60 c LP deleted cuts 0
3600.06/3610.60 c LP encountered Gomory constraints 0
3600.06/3610.60 c LP encountered Farkas constraints 0
3600.06/3610.60 c LP encountered learned Farkas constraints 0
3600.06/3610.60 c CG auxiliary variables introduced 123
3600.06/3610.60 c CG solutions found 0
3600.06/3610.60 c CG cores constructed 17
3600.06/3610.60 c CG core cardinality constraints returned 0
3600.06/3610.60 c CG unit cores 0
3600.06/3610.60 c CG single cores 17
3600.06/3610.60 c CG blocks removed during cardinality reduction 0
3600.06/3610.60 c CG first core best 0
3600.06/3610.60 c CG decision core best 0
3600.06/3610.60 c CG core reduction tie 0
3600.06/3610.60 c CG core degree average 1.00
3600.06/3610.60 c CG core slack average 6.06
3600.06/3610.60 c CG exhausted 0
3600.06/3610.60 c CG exhaust time 0 s
3600.06/3610.60 c CG trimmed 2
3600.06/3610.60 c CG trim time 0.000146 s
3600.06/3610.60 c CG minimized 0
3600.06/3610.60 c CG minimize time 0 s
3600.06/3610.60 c CG am1 prop time 0.00251 s
3600.06/3610.60 c CG # am1s reformulated 123
3600.06/3610.60 c CG lower bound derived from am1s 471
3600.06/3610.60 c CG # clausal cores 17
3600.06/3610.60 c CG # cardinality cores 0
3600.06/3610.60 c CG # pb cores 0
3600.06/3610.60 c CG # pb reforms 0
3600.06/3610.60 c CG # cores discarded because of pb reform 0
3600.06/3610.60 d LOWERBOUND -107
3600.06/3610.60 d NCORES 17
3600.06/3610.60 d NPBCORES 0
3600.06/3610.60 d NPBREFORM 0
3600.06/3610.60 d NTRIMMED 2
3600.06/3610.60 d NEXHAUSTED 0
3600.06/3610.60 d NAM1S 123
3600.06/3610.60 d AM1LB 471
3600.06/3610.60 c [Papilo Statistics]
3600.06/3610.60 c prepro time 0.102285s
3600.06/3610.60 c # tsx applied 0
3600.06/3610.60 c # tsx conflicts 0
3600.06/3610.60 c # bound changes 0
3600.06/3610.60 c # side changes 0
3600.06/3610.60 c # coef changes 0
3600.06/3610.60 c # rounds 1
3600.06/3610.60 c # deted vars 0
3600.06/3610.60 c # deted constrs 0
3600.06/3610.60 c # consecutive rounds of only bound changes 0
3600.06/3610.60 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (60895 MiB free)
memory of node 1: 64507 MiB (63014 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528980-1752254228/watcher-4528980-1752254228 -o /tmp/evaluation-result-4528980-1752254228/solver-4528980-1752254228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117005 --watchdog 3760 mixed-bag HOME/instance-4528980-1752254228.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=117058, runsolver pid=117046
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 1.27 2.93 3.68 7/253 117063
/proc/meminfo: memFree=126872328/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=82880 memory=11636 CPUtime=0.09 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 1501 0 0 0 8 1 0 0 20 0 1 0 141102655 84869120 2909 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 20720 2909 2176 2834 0 3472 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82880 KiB
Current children cumulated memory: 11636 KiB
[startup+0.212914 s]*
/proc/loadavg: 1.27 2.93 3.68 6/253 117063
/proc/meminfo: memFree=126848640/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=102356 memory=24208 CPUtime=0.19 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 5072 0 0 0 17 2 0 0 20 0 1 0 141102655 104812544 6052 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 25589 6052 2304 2834 0 7794 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 102356 KiB
Current children cumulated memory: 24208 KiB
[startup+0.313107 s]*
/proc/loadavg: 1.27 2.93 3.68 7/253 117063
/proc/meminfo: memFree=126829240/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=113772 memory=42272 CPUtime=0.29 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 8464 0 0 0 26 3 0 0 20 0 1 0 141102655 116502528 10568 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 28443 10568 3968 2834 0 10648 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 113772 KiB
Current children cumulated memory: 42272 KiB
[startup+0.70036 s]
/proc/loadavg: 1.27 2.93 3.68 7/253 117063
/proc/meminfo: memFree=126700972/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=152104 memory=79096 CPUtime=0.67 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 18802 0 0 0 60 7 0 0 20 0 1 0 141102655 155754496 19774 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 38026 19774 4000 2834 0 20231 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 152104 KiB
Current children cumulated memory: 79096 KiB
[startup+1.50034 s]
/proc/loadavg: 1.49 2.95 3.68 7/253 117063
/proc/meminfo: memFree=126637216/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=228712 memory=151924 CPUtime=1.47 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 33704 0 0 0 135 12 0 0 20 0 1 0 141102655 234201088 37981 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 57178 37981 4288 2834 0 39383 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 228712 KiB
Current children cumulated memory: 151924 KiB
[startup+3.11235 s]
/proc/loadavg: 1.49 2.95 3.68 7/253 117063
/proc/meminfo: memFree=126381556/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=250528 memory=166076 CPUtime=3.08 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 36736 0 0 0 295 13 0 0 20 0 1 0 141102655 256540672 41519 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 62632 41519 4288 2834 0 44837 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 250528 KiB
Current children cumulated memory: 166076 KiB
[startup+6.30024 s]
/proc/loadavg: 1.69 2.96 3.68 7/253 117063
/proc/meminfo: memFree=126329584/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=263244 memory=168380 CPUtime=6.25 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 37315 0 0 0 612 13 0 0 20 0 1 0 141102655 269561856 42095 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 65811 42095 4288 2834 0 48016 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 263244 KiB
Current children cumulated memory: 168380 KiB
[startup+12.7003 s]
/proc/loadavg: 1.87 2.98 3.68 7/253 117063
/proc/meminfo: memFree=126184460/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=342524 memory=211144 CPUtime=12.63 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 47502 0 0 0 1248 15 0 0 20 0 1 0 141102655 350744576 52786 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 85631 52786 4288 2834 0 67836 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 342524 KiB
Current children cumulated memory: 211144 KiB
[startup+25.5003 s]
/proc/loadavg: 2.20 3.02 3.69 7/253 117063
/proc/meminfo: memFree=126144588/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=369460 memory=238152 CPUtime=25.38 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 54280 0 0 0 2523 15 0 0 20 0 1 0 141102655 378327040 59538 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 92365 59538 4288 2834 0 74570 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 369460 KiB
Current children cumulated memory: 238152 KiB
[startup+51.1129 s]
/proc/loadavg: 3.03 3.14 3.71 7/253 117064
/proc/meminfo: memFree=126091728/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=390172 memory=238280 CPUtime=50.89 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 54298 0 0 0 5074 15 0 0 20 0 1 0 141102655 399536128 59570 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 97543 59570 4288 2834 0 79748 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 390172 KiB
Current children cumulated memory: 238280 KiB
[startup+102.3 s]
/proc/loadavg: 3.63 3.29 3.73 7/255 117068
/proc/meminfo: memFree=125844680/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=514788 memory=322192 CPUtime=101.9 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 91469 0 0 0 10167 23 0 0 20 0 1 0 141102655 527142912 80548 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 128697 80548 4288 2834 0 110902 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 514788 KiB
Current children cumulated memory: 322192 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 3.44 3.76 7/254 117070
/proc/meminfo: memFree=125604564/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=622644 memory=406224 CPUtime=161.69 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 110437 0 0 0 16143 26 0 0 20 0 1 0 141102655 637587456 101556 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 155661 101556 4288 2834 0 137866 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 622644 KiB
Current children cumulated memory: 406224 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 3.56 3.78 7/254 117071
/proc/meminfo: memFree=125418336/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=706700 memory=460412 CPUtime=221.48 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 122546 0 0 0 22119 29 0 0 20 0 1 0 141102655 723660800 115103 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 176675 115103 4288 2834 0 158880 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 706700 KiB
Current children cumulated memory: 460412 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 3.66 3.80 7/253 117073
/proc/meminfo: memFree=125263660/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=736452 memory=483652 CPUtime=281.27 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 127337 0 0 0 28097 30 0 0 20 0 1 0 141102655 754126848 120913 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 184113 120913 4288 2834 0 166318 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 736452 KiB
Current children cumulated memory: 483652 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.75 3.83 6/253 117121
/proc/meminfo: memFree=125179512/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=664092 memory=402016 CPUtime=341.06 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 129041 0 0 0 34033 73 0 0 20 0 1 0 141102655 680030208 100504 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 166023 100504 4576 2834 0 148228 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 664092 KiB
Current children cumulated memory: 402016 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.81 3.85 6/252 117123
/proc/meminfo: memFree=125078152/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=664092 memory=415372 CPUtime=400.87 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 129310 0 0 0 39979 108 0 0 20 0 1 0 141102655 680030208 103843 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 166023 103843 4576 2834 0 148228 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 664092 KiB
Current children cumulated memory: 415372 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.87 3.86 6/251 117125
/proc/meminfo: memFree=124993232/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=694912 memory=421772 CPUtime=460.69 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 129543 0 0 0 45934 135 0 0 20 0 1 0 141102655 711589888 105443 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 173728 105443 4576 2834 0 155933 0
Current children cumulated CPU time: 460.69 s
################
# More data... #
################
Current children cumulated memory: 649408 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.13 6/249 117294
/proc/meminfo: memFree=121870724/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=745000 memory=649408 CPUtime=2853.86 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 130321 0 0 0 284681 705 0 0 20 0 1 0 141102655 762880000 162352 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 186250 162352 4576 2834 0 168455 0
Current children cumulated CPU time: 2853.86 s
Current children cumulated vsize: 745000 KiB
Current children cumulated memory: 649408 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.13 6/250 117297
/proc/meminfo: memFree=121873172/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=745000 memory=649408 CPUtime=2913.69 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 130321 0 0 0 290656 713 0 0 20 0 1 0 141102655 762880000 162352 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 186250 162352 4576 2834 0 168455 0
Current children cumulated CPU time: 2913.69 s
Current children cumulated vsize: 745000 KiB
Current children cumulated memory: 649408 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.12 6/251 117302
/proc/meminfo: memFree=121866276/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=745000 memory=651456 CPUtime=2973.52 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 130322 0 0 0 296628 724 0 0 20 0 1 0 141102655 762880000 162864 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 186250 162864 4576 2834 0 168455 0
Current children cumulated CPU time: 2973.52 s
Current children cumulated vsize: 745000 KiB
Current children cumulated memory: 651456 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.12 4.12 6/252 117309
/proc/meminfo: memFree=121870780/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=745000 memory=651456 CPUtime=3033.34 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 130322 0 0 0 302599 735 0 0 20 0 1 0 141102655 762880000 162864 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 186250 162864 4576 2834 0 168455 0
Current children cumulated CPU time: 3033.34 s
Current children cumulated vsize: 745000 KiB
Current children cumulated memory: 651456 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.12 6/252 117311
/proc/meminfo: memFree=121816024/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=745000 memory=651456 CPUtime=3093.18 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 130322 0 0 0 308573 745 0 0 20 0 1 0 141102655 762880000 162864 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 186250 162864 4576 2834 0 168455 0
Current children cumulated CPU time: 3093.18 s
Current children cumulated vsize: 745000 KiB
Current children cumulated memory: 651456 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.11 6/252 117313
/proc/meminfo: memFree=121811380/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=745000 memory=653504 CPUtime=3153.01 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 130323 0 0 0 314546 755 0 0 20 0 1 0 141102655 762880000 163376 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 186250 163376 4576 2834 0 168455 0
Current children cumulated CPU time: 3153.01 s
Current children cumulated vsize: 745000 KiB
Current children cumulated memory: 653504 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.11 6/251 117315
/proc/meminfo: memFree=121804124/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=745000 memory=653504 CPUtime=3212.83 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 130323 0 0 0 320517 766 0 0 20 0 1 0 141102655 762880000 163376 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 186250 163376 4576 2834 0 168455 0
Current children cumulated CPU time: 3212.83 s
Current children cumulated vsize: 745000 KiB
Current children cumulated memory: 653504 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.10 6/251 117317
/proc/meminfo: memFree=121660848/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=745000 memory=655552 CPUtime=3272.67 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 130324 0 0 0 326490 777 0 0 20 0 1 0 141102655 762880000 163888 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 186250 163888 4576 2834 0 168455 0
Current children cumulated CPU time: 3272.67 s
Current children cumulated vsize: 745000 KiB
Current children cumulated memory: 655552 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.10 6/250 117319
/proc/meminfo: memFree=121660992/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=745000 memory=655552 CPUtime=3332.49 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 130324 0 0 0 332463 786 0 0 20 0 1 0 141102655 762880000 163888 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 186250 163888 4576 2834 0 168455 0
Current children cumulated CPU time: 3332.49 s
Current children cumulated vsize: 745000 KiB
Current children cumulated memory: 655552 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.10 6/250 117321
/proc/meminfo: memFree=121649820/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=745000 memory=655552 CPUtime=3392.31 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 130335 0 0 0 338436 795 0 0 20 0 1 0 141102655 762880000 163888 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 186250 163888 4576 2834 0 168455 0
Current children cumulated CPU time: 3392.31 s
Current children cumulated vsize: 745000 KiB
Current children cumulated memory: 655552 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/250 117323
/proc/meminfo: memFree=121647444/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=745000 memory=655552 CPUtime=3452.12 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 130359 0 0 0 344407 805 0 0 20 0 1 0 141102655 762880000 163888 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 186250 163888 4576 2834 0 168455 0
Current children cumulated CPU time: 3452.12 s
Current children cumulated vsize: 745000 KiB
Current children cumulated memory: 655552 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/251 117326
/proc/meminfo: memFree=121639380/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=826388 memory=656960 CPUtime=3511.98 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 130722 0 0 0 350385 813 0 0 20 0 1 0 141102655 846221312 164240 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 206597 164240 4576 2834 0 188802 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 826388 KiB
Current children cumulated memory: 656960 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/251 117330
/proc/meminfo: memFree=121641204/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=826388 memory=656960 CPUtime=3571.83 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 130785 0 0 0 356360 823 0 0 20 0 1 0 141102655 846221312 164240 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 206597 164240 4576 2834 0 188802 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 826388 KiB
Current children cumulated memory: 656960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.14 4.10 4.09 5/249 117339
/proc/meminfo: memFree=122194504/131382112 swapFree=33010160/33010684
[pid=117058] ppid=117046 vsize=826388 memory=656960 CPUtime=3600.06 cores=4,6
/proc/117058/stat : 117058 (mixed-bag) R 117046 117058 116989 0 -1 4194304 130785 0 0 0 359179 827 0 0 20 0 1 0 141102655 846221312 164240 18446744073709551615 4235264 15840557 140729448214400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 23969792 140729448221082 140729448221159 140729448221159 140729448226763 0
/proc/117058/statm: 206597 164240 4576 2834 0 188802 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 826388 KiB
Current children cumulated memory: 656960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 117058 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.8 s, system=8.27581 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.61
CPU time (s): 3600.08
CPU user time (s): 3591.8
CPU system time (s): 8.27581
CPU usage (%): 99.7083
Max. virtual memory (cumulated for all children) (KiB): 826388
Max. memory (cumulated for all children) (KiB): 656960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.8
system time used= 8.27581
maximum resident set size= 657728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130811
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= 194
involuntary context switches= 2269
# summary of solver processes directly reported to runsolver:
# pid: 117058
# total CPU time (s): 3600.08
# total CPU user time (s): 3591.8
# total CPU system time (s): 8.27581
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3432 second user time and 36.1345 second system time
The end
Begin job on nodeC009 at 2025-07-11 19:17:09
IDJOB=4528980
IDBENCH=146694
IDSOLVER=3386
FILE ID=nodeC009/4528980-1752254228
RUNJOBID= nodeC009-1752254228-117005
SLURM_JOB_ID= 9682591
Free space on /tmp= 431224 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528980-1752254228/watcher-4528980-1752254228 -o /tmp/evaluation-result-4528980-1752254228/solver-4528980-1752254228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117005 --watchdog 3760 mixed-bag HOME/instance-4528980-1752254228.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 42524e858f098b79daaad844b6e2f59d
RANDOM SEED=1706202925
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.461
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.227
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.215
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.317
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.363
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.232
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.551
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.204
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 126877356 kB
MemAvailable: 129845436 kB
Buffers: 2144 kB
Cached: 3699076 kB
SwapCached: 24 kB
Active: 752052 kB
Inactive: 3016452 kB
Active(anon): 81040 kB
Inactive(anon): 4180 kB
Active(file): 671012 kB
Inactive(file): 3012272 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 63188 kB
Writeback: 0 kB
AnonPages: 70368 kB
Mapped: 104872 kB
Shmem: 17936 kB
KReclaimable: 248460 kB
Slab: 338672 kB
SReclaimable: 248460 kB
SUnreclaim: 90212 kB
KernelStack: 3748 kB
PageTables: 2380 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 333608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149304 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431164 MiB
End job on nodeC009 at 2025-07-11 20:17:20