0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.10/0.19 c [STEP] solving
0.10/0.19 c #variables 1344 #constraints 16376
0.10/0.19 c SMALL=int, LARGE=long long
0.10/0.19 c bounds - >= 0 @ 0.155025
0.10/0.19 c stratification level: 3
0.50/0.57 c bounds - >= 3 @ 0.182147
0.50/0.57 c bounds - >= 6 @ 0.226922
0.50/0.57 c #Conflicts: 1000 | #Constraints: 17377
0.50/0.57 c bounds - >= 9 @ 0.280089
0.50/0.57 c bounds - >= 12 @ 0.330149
0.50/0.57 c #Conflicts: 2000 | #Constraints: 18379
0.50/0.57 c INPROCESSING
0.50/0.57 c bounds - >= 15 @ 0.363181
0.50/0.57 c bounds - >= 18 @ 0.397327
0.50/0.57 c bounds - >= 21 @ 0.434162
0.50/0.57 c #Conflicts: 3000 | #Constraints: 18390
0.50/0.57 c bounds - >= 24 @ 0.474176
0.50/0.57 c finalizing WCE round: reformulating cores
13.93/14.01 c #Conflicts: 4000 | #Constraints: 19394
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 5000 | #Constraints: 18805
13.93/14.01 c #Conflicts: 6000 | #Constraints: 19807
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 7000 | #Constraints: 18816
13.93/14.01 c #Conflicts: 8000 | #Constraints: 19818
13.93/14.01 c #Conflicts: 9000 | #Constraints: 20825
13.93/14.01 c bounds 174 >= 24 @ 1.72279
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 10000 | #Constraints: 19526
13.93/14.01 c #Conflicts: 11000 | #Constraints: 20526
13.93/14.01 c #Conflicts: 12000 | #Constraints: 21526
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 13000 | #Constraints: 19979
13.93/14.01 c #Conflicts: 14000 | #Constraints: 20979
13.93/14.01 c #Conflicts: 15000 | #Constraints: 21979
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 16000 | #Constraints: 20225
13.93/14.01 c #Conflicts: 17000 | #Constraints: 21225
13.93/14.01 c #Conflicts: 18000 | #Constraints: 22225
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 19000 | #Constraints: 20245
13.93/14.01 c #Conflicts: 20000 | #Constraints: 21245
13.93/14.01 c #Conflicts: 21000 | #Constraints: 22245
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 22000 | #Constraints: 20041
13.93/14.01 c #Conflicts: 23000 | #Constraints: 21041
13.93/14.01 c #Conflicts: 24000 | #Constraints: 22041
13.93/14.01 c #Conflicts: 25000 | #Constraints: 23041
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 26000 | #Constraints: 20646
13.93/14.01 c #Conflicts: 27000 | #Constraints: 21646
13.93/14.01 c #Conflicts: 28000 | #Constraints: 22646
13.93/14.01 c #Conflicts: 29000 | #Constraints: 23646
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 30000 | #Constraints: 21043
13.93/14.01 c #Conflicts: 31000 | #Constraints: 22043
13.93/14.01 c #Conflicts: 32000 | #Constraints: 23043
13.93/14.01 c #Conflicts: 33000 | #Constraints: 24043
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 34000 | #Constraints: 21241
13.93/14.01 c #Conflicts: 35000 | #Constraints: 22241
13.93/14.01 c #Conflicts: 36000 | #Constraints: 23241
13.93/14.01 c #Conflicts: 37000 | #Constraints: 24241
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 38000 | #Constraints: 21256
13.93/14.01 c #Conflicts: 39000 | #Constraints: 22256
13.93/14.01 c #Conflicts: 40000 | #Constraints: 23256
13.93/14.01 c #Conflicts: 41000 | #Constraints: 24256
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 42000 | #Constraints: 21072
13.93/14.01 c #Conflicts: 43000 | #Constraints: 22072
13.93/14.01 c #Conflicts: 44000 | #Constraints: 23072
13.93/14.01 c #Conflicts: 45000 | #Constraints: 24072
13.93/14.01 c #Conflicts: 46000 | #Constraints: 25072
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 47000 | #Constraints: 21667
13.93/14.01 c #Conflicts: 48000 | #Constraints: 22667
13.93/14.01 c #Conflicts: 49000 | #Constraints: 23667
13.93/14.01 c #Conflicts: 50000 | #Constraints: 24667
13.93/14.01 c #Conflicts: 51000 | #Constraints: 25667
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 52000 | #Constraints: 22063
13.93/14.01 c #Conflicts: 53000 | #Constraints: 23063
13.93/14.01 c #Conflicts: 54000 | #Constraints: 24063
13.93/14.01 c #Conflicts: 55000 | #Constraints: 25063
13.93/14.01 c #Conflicts: 56000 | #Constraints: 26063
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 57000 | #Constraints: 22265
13.93/14.01 c #Conflicts: 58000 | #Constraints: 23265
13.93/14.01 c #Conflicts: 59000 | #Constraints: 24265
13.93/14.01 c #Conflicts: 60000 | #Constraints: 25265
13.93/14.01 c #Conflicts: 61000 | #Constraints: 26265
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 62000 | #Constraints: 22258
13.93/14.01 c #Conflicts: 63000 | #Constraints: 23258
13.93/14.01 c #Conflicts: 64000 | #Constraints: 24258
13.93/14.01 c #Conflicts: 65000 | #Constraints: 25258
13.93/14.01 c #Conflicts: 66000 | #Constraints: 26258
13.93/14.01 c INPROCESSING
13.93/14.01 c GARBAGE COLLECT
13.93/14.01 c #Conflicts: 67000 | #Constraints: 22058
13.93/14.01 c #Conflicts: 68000 | #Constraints: 23058
13.93/14.01 c #Conflicts: 69000 | #Constraints: 24058
13.93/14.01 c #Conflicts: 70000 | #Constraints: 25058
13.93/14.01 c #Conflicts: 71000 | #Constraints: 26058
15.12/15.23 c #Conflicts: 72000 | #Constraints: 27058
15.12/15.23 c INPROCESSING
15.12/15.23 c GARBAGE COLLECT
15.12/15.23 c #Conflicts: 73000 | #Constraints: 22658
15.12/15.23 c #Conflicts: 74000 | #Constraints: 23658
15.12/15.23 c #Conflicts: 75000 | #Constraints: 24658
15.12/15.23 c #Conflicts: 76000 | #Constraints: 25658
15.12/15.23 c #Conflicts: 77000 | #Constraints: 26658
15.12/15.23 c bounds 164 >= 24 @ 14.8087
15.12/15.23 c stratification level: 2
25.48/25.61 c #Conflicts: 78000 | #Constraints: 27659
25.48/25.61 c INPROCESSING
25.48/25.61 c GARBAGE COLLECT
25.48/25.61 c #Conflicts: 79000 | #Constraints: 23058
25.48/25.61 c #Conflicts: 80000 | #Constraints: 24058
25.48/25.61 c #Conflicts: 81000 | #Constraints: 25058
25.48/25.61 c #Conflicts: 82000 | #Constraints: 26058
25.48/25.61 c #Conflicts: 83000 | #Constraints: 27058
25.48/25.61 c #Conflicts: 84000 | #Constraints: 28058
25.48/25.61 c INPROCESSING
25.48/25.61 c GARBAGE COLLECT
25.48/25.61 c #Conflicts: 85000 | #Constraints: 23269
25.48/25.61 c #Conflicts: 86000 | #Constraints: 24269
25.48/25.61 c #Conflicts: 87000 | #Constraints: 25269
25.48/25.61 c #Conflicts: 88000 | #Constraints: 26269
25.48/25.61 c #Conflicts: 89000 | #Constraints: 27269
25.48/25.61 c #Conflicts: 90000 | #Constraints: 28269
25.48/25.61 c INPROCESSING
25.48/25.61 c GARBAGE COLLECT
25.48/25.61 c #Conflicts: 91000 | #Constraints: 23285
25.48/25.61 c #Conflicts: 92000 | #Constraints: 24285
25.48/25.61 c #Conflicts: 93000 | #Constraints: 25285
25.48/25.61 c #Conflicts: 94000 | #Constraints: 26285
25.48/25.61 c #Conflicts: 95000 | #Constraints: 27285
25.48/25.61 c #Conflicts: 96000 | #Constraints: 28285
25.48/25.61 c INPROCESSING
25.48/25.61 c GARBAGE COLLECT
25.48/25.61 c #Conflicts: 97000 | #Constraints: 23100
25.48/25.61 c #Conflicts: 98000 | #Constraints: 24100
25.48/25.61 c #Conflicts: 99000 | #Constraints: 25100
25.48/25.61 c #Conflicts: 100000 | #Constraints: 26100
25.48/25.61 c #Conflicts: 101000 | #Constraints: 27100
25.48/25.61 c #Conflicts: 102000 | #Constraints: 28100
25.48/25.61 c #Conflicts: 103000 | #Constraints: 29100
25.48/25.61 c INPROCESSING
25.48/25.61 c GARBAGE COLLECT
25.48/25.61 c #Conflicts: 104000 | #Constraints: 23713
25.48/25.61 c #Conflicts: 105000 | #Constraints: 24713
25.48/25.61 c #Conflicts: 106000 | #Constraints: 25713
25.48/25.61 c #Conflicts: 107000 | #Constraints: 26713
25.48/25.61 c #Conflicts: 108000 | #Constraints: 27713
25.48/25.61 c #Conflicts: 109000 | #Constraints: 28713
25.48/25.61 c #Conflicts: 110000 | #Constraints: 29713
25.48/25.61 c INPROCESSING
25.48/25.61 c GARBAGE COLLECT
25.48/25.61 c #Conflicts: 111000 | #Constraints: 24119
25.48/25.61 c #Conflicts: 112000 | #Constraints: 25119
25.48/25.61 c #Conflicts: 113000 | #Constraints: 26119
25.48/25.61 c #Conflicts: 114000 | #Constraints: 27119
25.48/25.61 c #Conflicts: 115000 | #Constraints: 28119
25.48/25.61 c #Conflicts: 116000 | #Constraints: 29119
25.48/25.61 c #Conflicts: 117000 | #Constraints: 30119
25.48/25.61 c INPROCESSING
25.48/25.61 c GARBAGE COLLECT
25.48/25.61 c #Conflicts: 118000 | #Constraints: 24326
25.48/25.61 c #Conflicts: 119000 | #Constraints: 25326
25.48/25.61 c #Conflicts: 120000 | #Constraints: 26326
25.48/25.61 c #Conflicts: 121000 | #Constraints: 27326
25.48/25.61 c #Conflicts: 122000 | #Constraints: 28326
25.48/25.61 c #Conflicts: 123000 | #Constraints: 29326
25.48/25.61 c #Conflicts: 124000 | #Constraints: 30326
25.48/25.61 c INPROCESSING
25.48/25.61 c GARBAGE COLLECT
25.48/25.61 c #Conflicts: 125000 | #Constraints: 24330
25.48/25.61 c #Conflicts: 126000 | #Constraints: 25330
25.48/25.61 c #Conflicts: 127000 | #Constraints: 26330
25.48/25.61 c #Conflicts: 128000 | #Constraints: 27330
25.48/25.61 c #Conflicts: 129000 | #Constraints: 28330
25.48/25.61 c #Conflicts: 130000 | #Constraints: 29330
25.48/25.61 c #Conflicts: 131000 | #Constraints: 30330
25.48/25.61 c INPROCESSING
25.48/25.61 c GARBAGE COLLECT
25.48/25.61 c #Conflicts: 132000 | #Constraints: 24123
25.48/25.61 c #Conflicts: 133000 | #Constraints: 25123
25.48/25.61 c #Conflicts: 134000 | #Constraints: 26123
25.48/25.61 c #Conflicts: 135000 | #Constraints: 27123
25.48/25.61 c #Conflicts: 136000 | #Constraints: 28123
25.48/25.61 c #Conflicts: 137000 | #Constraints: 29123
25.48/25.61 c #Conflicts: 138000 | #Constraints: 30123
25.48/25.61 c #Conflicts: 139000 | #Constraints: 31123
25.48/25.61 c INPROCESSING
25.48/25.61 c GARBAGE COLLECT
25.48/25.61 c #Conflicts: 140000 | #Constraints: 24732
25.48/25.61 c #Conflicts: 141000 | #Constraints: 25732
25.48/25.61 c #Conflicts: 142000 | #Constraints: 26732
25.48/25.61 c #Conflicts: 143000 | #Constraints: 27732
25.48/25.61 c #Conflicts: 144000 | #Constraints: 28732
25.48/25.61 c #Conflicts: 145000 | #Constraints: 29732
25.48/25.61 c #Conflicts: 146000 | #Constraints: 30732
25.48/25.61 c #Conflicts: 147000 | #Constraints: 31732
25.48/25.61 c INPROCESSING
25.48/25.61 c GARBAGE COLLECT
25.48/25.61 c #Conflicts: 148000 | #Constraints: 25150
25.48/25.61 c #Conflicts: 149000 | #Constraints: 26150
38.44/38.60 c #Conflicts: 150000 | #Constraints: 27150
38.44/38.60 c #Conflicts: 151000 | #Constraints: 28150
38.44/38.60 c #Conflicts: 152000 | #Constraints: 29150
38.44/38.60 c #Conflicts: 153000 | #Constraints: 30150
38.44/38.60 c #Conflicts: 154000 | #Constraints: 31150
38.44/38.60 c #Conflicts: 155000 | #Constraints: 32150
38.44/38.60 c INPROCESSING
38.44/38.60 c GARBAGE COLLECT
38.44/38.60 c #Conflicts: 156000 | #Constraints: 25359
38.44/38.60 c #Conflicts: 157000 | #Constraints: 26359
38.44/38.60 c #Conflicts: 158000 | #Constraints: 27359
38.44/38.60 c #Conflicts: 159000 | #Constraints: 28359
38.44/38.60 c #Conflicts: 160000 | #Constraints: 29359
38.44/38.60 c #Conflicts: 161000 | #Constraints: 30359
38.44/38.60 c #Conflicts: 162000 | #Constraints: 31359
38.44/38.60 c #Conflicts: 163000 | #Constraints: 32359
38.44/38.60 c INPROCESSING
38.44/38.60 c GARBAGE COLLECT
38.44/38.60 c #Conflicts: 164000 | #Constraints: 25356
38.44/38.60 c #Conflicts: 165000 | #Constraints: 26356
38.44/38.60 c #Conflicts: 166000 | #Constraints: 27356
38.44/38.60 c #Conflicts: 167000 | #Constraints: 28356
38.44/38.60 c #Conflicts: 168000 | #Constraints: 29356
38.44/38.60 c #Conflicts: 169000 | #Constraints: 30356
38.44/38.60 c #Conflicts: 170000 | #Constraints: 31356
38.44/38.60 c #Conflicts: 171000 | #Constraints: 32356
38.44/38.60 c INPROCESSING
38.44/38.60 c GARBAGE COLLECT
38.44/38.60 c #Conflicts: 172000 | #Constraints: 25152
38.44/38.60 c #Conflicts: 173000 | #Constraints: 26152
38.44/38.60 c #Conflicts: 174000 | #Constraints: 27152
38.44/38.60 c #Conflicts: 175000 | #Constraints: 28152
38.44/38.60 c #Conflicts: 176000 | #Constraints: 29152
38.44/38.60 c #Conflicts: 177000 | #Constraints: 30152
38.44/38.60 c #Conflicts: 178000 | #Constraints: 31152
38.44/38.60 c #Conflicts: 179000 | #Constraints: 32152
38.44/38.60 c #Conflicts: 180000 | #Constraints: 33152
38.44/38.60 c INPROCESSING
38.44/38.60 c GARBAGE COLLECT
38.44/38.60 c #Conflicts: 181000 | #Constraints: 25758
38.44/38.60 c #Conflicts: 182000 | #Constraints: 26758
38.44/38.60 c #Conflicts: 183000 | #Constraints: 27758
38.44/38.60 c #Conflicts: 184000 | #Constraints: 28758
38.44/38.60 c #Conflicts: 185000 | #Constraints: 29758
38.44/38.60 c #Conflicts: 186000 | #Constraints: 30758
38.44/38.60 c #Conflicts: 187000 | #Constraints: 31758
38.44/38.60 c #Conflicts: 188000 | #Constraints: 32758
38.44/38.60 c #Conflicts: 189000 | #Constraints: 33758
38.44/38.60 c INPROCESSING
38.44/38.60 c GARBAGE COLLECT
38.44/38.60 c #Conflicts: 190000 | #Constraints: 26157
38.44/38.60 c #Conflicts: 191000 | #Constraints: 27157
38.44/38.60 c #Conflicts: 192000 | #Constraints: 28157
38.44/38.60 c #Conflicts: 193000 | #Constraints: 29157
38.44/38.60 c #Conflicts: 194000 | #Constraints: 30157
38.44/38.60 c #Conflicts: 195000 | #Constraints: 31157
38.44/38.60 c #Conflicts: 196000 | #Constraints: 32157
38.44/38.60 c #Conflicts: 197000 | #Constraints: 33157
38.44/38.60 c #Conflicts: 198000 | #Constraints: 34157
38.44/38.60 c INPROCESSING
38.44/38.60 c GARBAGE COLLECT
38.44/38.60 c #Conflicts: 199000 | #Constraints: 26374
38.44/38.60 c #Conflicts: 200000 | #Constraints: 27374
38.44/38.60 c #Conflicts: 201000 | #Constraints: 28374
38.44/38.60 c #Conflicts: 202000 | #Constraints: 29374
38.44/38.60 c #Conflicts: 203000 | #Constraints: 30374
38.44/38.60 c #Conflicts: 204000 | #Constraints: 31374
38.44/38.60 c #Conflicts: 205000 | #Constraints: 32374
38.44/38.60 c #Conflicts: 206000 | #Constraints: 33374
38.44/38.60 c #Conflicts: 207000 | #Constraints: 34374
38.44/38.60 c INPROCESSING
38.44/38.60 c GARBAGE COLLECT
38.44/38.60 c #Conflicts: 208000 | #Constraints: 26362
38.44/38.60 c #Conflicts: 209000 | #Constraints: 27362
38.44/38.60 c #Conflicts: 210000 | #Constraints: 28362
38.44/38.60 c #Conflicts: 211000 | #Constraints: 29362
38.44/38.60 c #Conflicts: 212000 | #Constraints: 30362
38.44/38.60 c #Conflicts: 213000 | #Constraints: 31362
38.44/38.60 c #Conflicts: 214000 | #Constraints: 32362
38.44/38.60 c #Conflicts: 215000 | #Constraints: 33362
38.44/38.60 c #Conflicts: 216000 | #Constraints: 34362
38.44/38.60 c INPROCESSING
38.44/38.60 c GARBAGE COLLECT
38.44/38.60 c #Conflicts: 217000 | #Constraints: 26163
38.44/38.60 c #Conflicts: 218000 | #Constraints: 27163
38.44/38.60 c #Conflicts: 219000 | #Constraints: 28163
38.44/38.60 c #Conflicts: 220000 | #Constraints: 29163
38.44/38.60 c #Conflicts: 221000 | #Constraints: 30163
38.44/38.60 c #Conflicts: 222000 | #Constraints: 31163
38.44/38.60 c #Conflicts: 223000 | #Constraints: 32163
52.60/52.81 c #Conflicts: 224000 | #Constraints: 33163
52.60/52.81 c #Conflicts: 225000 | #Constraints: 34163
52.60/52.81 c #Conflicts: 226000 | #Constraints: 35163
52.60/52.81 c INPROCESSING
52.60/52.81 c GARBAGE COLLECT
52.60/52.81 c #Conflicts: 227000 | #Constraints: 26781
52.60/52.81 c #Conflicts: 228000 | #Constraints: 27781
52.60/52.81 c #Conflicts: 229000 | #Constraints: 28781
52.60/52.81 c #Conflicts: 230000 | #Constraints: 29781
52.60/52.81 c #Conflicts: 231000 | #Constraints: 30781
52.60/52.81 c #Conflicts: 232000 | #Constraints: 31781
52.60/52.81 c #Conflicts: 233000 | #Constraints: 32781
52.60/52.81 c #Conflicts: 234000 | #Constraints: 33781
52.60/52.81 c #Conflicts: 235000 | #Constraints: 34781
52.60/52.81 c #Conflicts: 236000 | #Constraints: 35781
52.60/52.81 c INPROCESSING
52.60/52.81 c GARBAGE COLLECT
52.60/52.81 c #Conflicts: 237000 | #Constraints: 27176
52.60/52.81 c #Conflicts: 238000 | #Constraints: 28176
52.60/52.81 c #Conflicts: 239000 | #Constraints: 29176
52.60/52.81 c #Conflicts: 240000 | #Constraints: 30176
52.60/52.81 c #Conflicts: 241000 | #Constraints: 31176
52.60/52.81 c #Conflicts: 242000 | #Constraints: 32176
52.60/52.81 c #Conflicts: 243000 | #Constraints: 33176
52.60/52.81 c #Conflicts: 244000 | #Constraints: 34176
52.60/52.81 c #Conflicts: 245000 | #Constraints: 35176
52.60/52.81 c #Conflicts: 246000 | #Constraints: 36176
52.60/52.81 c INPROCESSING
52.60/52.81 c GARBAGE COLLECT
52.60/52.81 c #Conflicts: 247000 | #Constraints: 27381
52.60/52.81 c #Conflicts: 248000 | #Constraints: 28381
52.60/52.81 c #Conflicts: 249000 | #Constraints: 29381
52.60/52.81 c #Conflicts: 250000 | #Constraints: 30381
52.60/52.81 c #Conflicts: 251000 | #Constraints: 31381
52.60/52.81 c #Conflicts: 252000 | #Constraints: 32381
52.60/52.81 c #Conflicts: 253000 | #Constraints: 33381
52.60/52.81 c #Conflicts: 254000 | #Constraints: 34381
52.60/52.81 c #Conflicts: 255000 | #Constraints: 35381
52.60/52.81 c #Conflicts: 256000 | #Constraints: 36381
52.60/52.81 c INPROCESSING
52.60/52.81 c GARBAGE COLLECT
52.60/52.81 c #Conflicts: 257000 | #Constraints: 27365
52.60/52.81 c #Conflicts: 258000 | #Constraints: 28365
52.60/52.81 c #Conflicts: 259000 | #Constraints: 29365
52.60/52.81 c #Conflicts: 260000 | #Constraints: 30365
52.60/52.81 c #Conflicts: 261000 | #Constraints: 31365
52.60/52.81 c #Conflicts: 262000 | #Constraints: 32365
52.60/52.81 c #Conflicts: 263000 | #Constraints: 33365
52.60/52.81 c #Conflicts: 264000 | #Constraints: 34365
52.60/52.81 c #Conflicts: 265000 | #Constraints: 35365
52.60/52.81 c #Conflicts: 266000 | #Constraints: 36365
52.60/52.81 c INPROCESSING
52.60/52.81 c GARBAGE COLLECT
52.60/52.81 c #Conflicts: 267000 | #Constraints: 27162
52.60/52.81 c #Conflicts: 268000 | #Constraints: 28162
52.60/52.81 c #Conflicts: 269000 | #Constraints: 29162
52.60/52.81 c #Conflicts: 270000 | #Constraints: 30162
52.60/52.81 c #Conflicts: 271000 | #Constraints: 31162
52.60/52.81 c #Conflicts: 272000 | #Constraints: 32162
52.60/52.81 c #Conflicts: 273000 | #Constraints: 33162
52.60/52.81 c #Conflicts: 274000 | #Constraints: 34162
52.60/52.81 c #Conflicts: 275000 | #Constraints: 35162
52.60/52.81 c #Conflicts: 276000 | #Constraints: 36162
52.60/52.81 c #Conflicts: 277000 | #Constraints: 37162
52.60/52.81 c INPROCESSING
52.60/52.81 c GARBAGE COLLECT
52.60/52.81 c #Conflicts: 278000 | #Constraints: 27768
52.60/52.81 c #Conflicts: 279000 | #Constraints: 28768
52.60/52.81 c #Conflicts: 280000 | #Constraints: 29768
52.60/52.81 c #Conflicts: 281000 | #Constraints: 30768
52.60/52.81 c #Conflicts: 282000 | #Constraints: 31768
52.60/52.81 c #Conflicts: 283000 | #Constraints: 32768
52.60/52.81 c #Conflicts: 284000 | #Constraints: 33768
52.60/52.81 c #Conflicts: 285000 | #Constraints: 34768
52.60/52.81 c #Conflicts: 286000 | #Constraints: 35768
52.60/52.81 c #Conflicts: 287000 | #Constraints: 36768
52.60/52.81 c #Conflicts: 288000 | #Constraints: 37768
52.60/52.81 c INPROCESSING
52.60/52.81 c GARBAGE COLLECT
52.60/52.81 c #Conflicts: 289000 | #Constraints: 28167
52.60/52.81 c #Conflicts: 290000 | #Constraints: 29167
52.60/52.81 c #Conflicts: 291000 | #Constraints: 30167
52.60/52.81 c #Conflicts: 292000 | #Constraints: 31167
52.60/52.81 c #Conflicts: 293000 | #Constraints: 32167
52.60/52.81 c #Conflicts: 294000 | #Constraints: 33167
52.60/52.81 c #Conflicts: 295000 | #Constraints: 34167
52.60/52.81 c #Conflicts: 296000 | #Constraints: 35167
52.60/52.81 c #Conflicts: 297000 | #Constraints: 36167
68.46/68.70 c #Conflicts: 298000 | #Constraints: 37167
68.46/68.70 c #Conflicts: 299000 | #Constraints: 38167
68.46/68.70 c INPROCESSING
68.46/68.70 c GARBAGE COLLECT
68.46/68.70 c #Conflicts: 300000 | #Constraints: 28372
68.46/68.70 c #Conflicts: 301000 | #Constraints: 29372
68.46/68.70 c #Conflicts: 302000 | #Constraints: 30372
68.46/68.70 c #Conflicts: 303000 | #Constraints: 31372
68.46/68.70 c #Conflicts: 304000 | #Constraints: 32372
68.46/68.70 c #Conflicts: 305000 | #Constraints: 33372
68.46/68.70 c #Conflicts: 306000 | #Constraints: 34372
68.46/68.70 c #Conflicts: 307000 | #Constraints: 35372
68.46/68.70 c #Conflicts: 308000 | #Constraints: 36372
68.46/68.70 c #Conflicts: 309000 | #Constraints: 37372
68.46/68.70 c #Conflicts: 310000 | #Constraints: 38372
68.46/68.70 c INPROCESSING
68.46/68.70 c GARBAGE COLLECT
68.46/68.70 c #Conflicts: 311000 | #Constraints: 28393
68.46/68.70 c #Conflicts: 312000 | #Constraints: 29393
68.46/68.70 c #Conflicts: 313000 | #Constraints: 30393
68.46/68.70 c #Conflicts: 314000 | #Constraints: 31393
68.46/68.70 c #Conflicts: 315000 | #Constraints: 32393
68.46/68.70 c #Conflicts: 316000 | #Constraints: 33393
68.46/68.70 c #Conflicts: 317000 | #Constraints: 34393
68.46/68.70 c #Conflicts: 318000 | #Constraints: 35393
68.46/68.70 c #Conflicts: 319000 | #Constraints: 36393
68.46/68.70 c #Conflicts: 320000 | #Constraints: 37393
68.46/68.70 c #Conflicts: 321000 | #Constraints: 38393
68.46/68.70 c INPROCESSING
68.46/68.70 c GARBAGE COLLECT
68.46/68.70 c #Conflicts: 322000 | #Constraints: 28180
68.46/68.70 c #Conflicts: 323000 | #Constraints: 29180
68.46/68.70 c #Conflicts: 324000 | #Constraints: 30180
68.46/68.70 c #Conflicts: 325000 | #Constraints: 31180
68.46/68.70 c #Conflicts: 326000 | #Constraints: 32180
68.46/68.70 c #Conflicts: 327000 | #Constraints: 33180
68.46/68.70 c #Conflicts: 328000 | #Constraints: 34180
68.46/68.70 c #Conflicts: 329000 | #Constraints: 35180
68.46/68.70 c #Conflicts: 330000 | #Constraints: 36180
68.46/68.70 c #Conflicts: 331000 | #Constraints: 37180
68.46/68.70 c #Conflicts: 332000 | #Constraints: 38180
68.46/68.70 c #Conflicts: 333000 | #Constraints: 39180
68.46/68.70 c INPROCESSING
68.46/68.70 c GARBAGE COLLECT
68.46/68.70 c #Conflicts: 334000 | #Constraints: 28781
68.46/68.70 c #Conflicts: 335000 | #Constraints: 29781
68.46/68.70 c #Conflicts: 336000 | #Constraints: 30781
68.46/68.70 c #Conflicts: 337000 | #Constraints: 31781
68.46/68.70 c #Conflicts: 338000 | #Constraints: 32781
68.46/68.70 c #Conflicts: 339000 | #Constraints: 33781
68.46/68.70 c #Conflicts: 340000 | #Constraints: 34781
68.46/68.70 c #Conflicts: 341000 | #Constraints: 35781
68.46/68.70 c #Conflicts: 342000 | #Constraints: 36781
68.46/68.70 c #Conflicts: 343000 | #Constraints: 37781
68.46/68.70 c #Conflicts: 344000 | #Constraints: 38781
68.46/68.70 c #Conflicts: 345000 | #Constraints: 39781
68.46/68.70 c INPROCESSING
68.46/68.70 c GARBAGE COLLECT
68.46/68.70 c #Conflicts: 346000 | #Constraints: 29181
68.46/68.70 c #Conflicts: 347000 | #Constraints: 30181
68.46/68.70 c #Conflicts: 348000 | #Constraints: 31181
68.46/68.70 c #Conflicts: 349000 | #Constraints: 32181
68.46/68.70 c #Conflicts: 350000 | #Constraints: 33181
68.46/68.70 c #Conflicts: 351000 | #Constraints: 34181
68.46/68.70 c #Conflicts: 352000 | #Constraints: 35181
68.46/68.70 c #Conflicts: 353000 | #Constraints: 36181
68.46/68.70 c #Conflicts: 354000 | #Constraints: 37181
68.46/68.70 c #Conflicts: 355000 | #Constraints: 38181
68.46/68.70 c #Conflicts: 356000 | #Constraints: 39181
68.46/68.70 c #Conflicts: 357000 | #Constraints: 40181
68.46/68.70 c INPROCESSING
68.46/68.70 c GARBAGE COLLECT
68.46/68.70 c #Conflicts: 358000 | #Constraints: 29392
68.46/68.70 c #Conflicts: 359000 | #Constraints: 30392
68.46/68.70 c #Conflicts: 360000 | #Constraints: 31392
68.46/68.70 c #Conflicts: 361000 | #Constraints: 32392
68.46/68.70 c #Conflicts: 362000 | #Constraints: 33392
68.46/68.70 c #Conflicts: 363000 | #Constraints: 34392
68.46/68.70 c #Conflicts: 364000 | #Constraints: 35392
68.46/68.70 c #Conflicts: 365000 | #Constraints: 36392
68.46/68.70 c #Conflicts: 366000 | #Constraints: 37392
68.46/68.70 c #Conflicts: 367000 | #Constraints: 38392
68.46/68.70 c #Conflicts: 368000 | #Constraints: 39392
68.46/68.70 c #Conflicts: 369000 | #Constraints: 40392
68.46/68.70 c INPROCESSING
68.46/68.70 c GARBAGE COLLECT
68.46/68.70 c #Conflicts: 370000 | #Constraints: 29390
68.46/68.70 c #Conflicts: 371000 | #Constraints: 30390
68.46/68.70 c #Conflicts: 372000 | #Constraints: 31390
85.89/86.27 c #Conflicts: 373000 | #Constraints: 32390
85.89/86.27 c #Conflicts: 374000 | #Constraints: 33390
85.89/86.27 c #Conflicts: 375000 | #Constraints: 34390
85.89/86.27 c #Conflicts: 376000 | #Constraints: 35390
85.89/86.27 c #Conflicts: 377000 | #Constraints: 36390
85.89/86.27 c #Conflicts: 378000 | #Constraints: 37390
85.89/86.27 c #Conflicts: 379000 | #Constraints: 38390
85.89/86.27 c #Conflicts: 380000 | #Constraints: 39390
85.89/86.27 c #Conflicts: 381000 | #Constraints: 40390
85.89/86.27 c INPROCESSING
85.89/86.27 c GARBAGE COLLECT
85.89/86.27 c #Conflicts: 382000 | #Constraints: 29177
85.89/86.27 c #Conflicts: 383000 | #Constraints: 30177
85.89/86.27 c #Conflicts: 384000 | #Constraints: 31177
85.89/86.27 c #Conflicts: 385000 | #Constraints: 32177
85.89/86.27 c #Conflicts: 386000 | #Constraints: 33177
85.89/86.27 c #Conflicts: 387000 | #Constraints: 34177
85.89/86.27 c #Conflicts: 388000 | #Constraints: 35177
85.89/86.27 c #Conflicts: 389000 | #Constraints: 36177
85.89/86.27 c #Conflicts: 390000 | #Constraints: 37177
85.89/86.27 c #Conflicts: 391000 | #Constraints: 38177
85.89/86.27 c #Conflicts: 392000 | #Constraints: 39177
85.89/86.27 c #Conflicts: 393000 | #Constraints: 40177
85.89/86.27 c #Conflicts: 394000 | #Constraints: 41177
85.89/86.27 c INPROCESSING
85.89/86.27 c GARBAGE COLLECT
85.89/86.27 c #Conflicts: 395000 | #Constraints: 29779
85.89/86.27 c #Conflicts: 396000 | #Constraints: 30779
85.89/86.27 c #Conflicts: 397000 | #Constraints: 31779
85.89/86.27 c #Conflicts: 398000 | #Constraints: 32779
85.89/86.27 c #Conflicts: 399000 | #Constraints: 33779
85.89/86.27 c #Conflicts: 400000 | #Constraints: 34779
85.89/86.27 c #Conflicts: 401000 | #Constraints: 35779
85.89/86.27 c #Conflicts: 402000 | #Constraints: 36779
85.89/86.27 c #Conflicts: 403000 | #Constraints: 37779
85.89/86.27 c #Conflicts: 404000 | #Constraints: 38779
85.89/86.27 c #Conflicts: 405000 | #Constraints: 39779
85.89/86.27 c #Conflicts: 406000 | #Constraints: 40779
85.89/86.27 c #Conflicts: 407000 | #Constraints: 41779
85.89/86.27 c INPROCESSING
85.89/86.27 c GARBAGE COLLECT
85.89/86.27 c #Conflicts: 408000 | #Constraints: 30178
85.89/86.27 c #Conflicts: 409000 | #Constraints: 31178
85.89/86.27 c #Conflicts: 410000 | #Constraints: 32178
85.89/86.27 c #Conflicts: 411000 | #Constraints: 33178
85.89/86.27 c #Conflicts: 412000 | #Constraints: 34178
85.89/86.27 c #Conflicts: 413000 | #Constraints: 35178
85.89/86.27 c #Conflicts: 414000 | #Constraints: 36178
85.89/86.27 c #Conflicts: 415000 | #Constraints: 37178
85.89/86.27 c #Conflicts: 416000 | #Constraints: 38178
85.89/86.27 c #Conflicts: 417000 | #Constraints: 39178
85.89/86.27 c #Conflicts: 418000 | #Constraints: 40178
85.89/86.27 c #Conflicts: 419000 | #Constraints: 41178
85.89/86.27 c #Conflicts: 420000 | #Constraints: 42178
85.89/86.27 c INPROCESSING
85.89/86.27 c GARBAGE COLLECT
85.89/86.27 c #Conflicts: 421000 | #Constraints: 30388
85.89/86.27 c #Conflicts: 422000 | #Constraints: 31388
85.89/86.27 c #Conflicts: 423000 | #Constraints: 32388
85.89/86.27 c #Conflicts: 424000 | #Constraints: 33388
85.89/86.27 c #Conflicts: 425000 | #Constraints: 34388
85.89/86.27 c #Conflicts: 426000 | #Constraints: 35388
85.89/86.27 c #Conflicts: 427000 | #Constraints: 36388
85.89/86.27 c #Conflicts: 428000 | #Constraints: 37388
85.89/86.27 c #Conflicts: 429000 | #Constraints: 38388
85.89/86.27 c #Conflicts: 430000 | #Constraints: 39388
85.89/86.27 c #Conflicts: 431000 | #Constraints: 40388
85.89/86.27 c #Conflicts: 432000 | #Constraints: 41388
85.89/86.27 c #Conflicts: 433000 | #Constraints: 42388
85.89/86.27 c INPROCESSING
85.89/86.27 c GARBAGE COLLECT
85.89/86.27 c #Conflicts: 434000 | #Constraints: 30383
85.89/86.27 c #Conflicts: 435000 | #Constraints: 31383
85.89/86.27 c #Conflicts: 436000 | #Constraints: 32383
85.89/86.27 c #Conflicts: 437000 | #Constraints: 33383
85.89/86.27 c #Conflicts: 438000 | #Constraints: 34383
85.89/86.27 c #Conflicts: 439000 | #Constraints: 35383
85.89/86.27 c #Conflicts: 440000 | #Constraints: 36383
85.89/86.27 c #Conflicts: 441000 | #Constraints: 37383
85.89/86.27 c #Conflicts: 442000 | #Constraints: 38383
85.89/86.27 c #Conflicts: 443000 | #Constraints: 39383
85.89/86.27 c #Conflicts: 444000 | #Constraints: 40383
85.89/86.27 c #Conflicts: 445000 | #Constraints: 41383
85.89/86.27 c #Conflicts: 446000 | #Constraints: 42383
85.89/86.27 c INPROCESSING
85.89/86.27 c GARBAGE COLLECT
85.89/86.27 c #Conflicts: 447000 | #Constraints: 30170
105.23/105.60 c #Conflicts: 448000 | #Constraints: 31170
105.23/105.60 c #Conflicts: 449000 | #Constraints: 32170
105.23/105.60 c #Conflicts: 450000 | #Constraints: 33170
105.23/105.60 c #Conflicts: 451000 | #Constraints: 34170
105.23/105.60 c #Conflicts: 452000 | #Constraints: 35170
105.23/105.60 c #Conflicts: 453000 | #Constraints: 36170
105.23/105.60 c #Conflicts: 454000 | #Constraints: 37170
105.23/105.60 c #Conflicts: 455000 | #Constraints: 38170
105.23/105.60 c #Conflicts: 456000 | #Constraints: 39170
105.23/105.60 c #Conflicts: 457000 | #Constraints: 40170
105.23/105.60 c #Conflicts: 458000 | #Constraints: 41170
105.23/105.60 c #Conflicts: 459000 | #Constraints: 42170
105.23/105.60 c #Conflicts: 460000 | #Constraints: 43170
105.23/105.60 c INPROCESSING
105.23/105.60 c GARBAGE COLLECT
105.23/105.60 c #Conflicts: 461000 | #Constraints: 30784
105.23/105.60 c #Conflicts: 462000 | #Constraints: 31784
105.23/105.60 c #Conflicts: 463000 | #Constraints: 32784
105.23/105.60 c #Conflicts: 464000 | #Constraints: 33784
105.23/105.60 c #Conflicts: 465000 | #Constraints: 34784
105.23/105.60 c #Conflicts: 466000 | #Constraints: 35784
105.23/105.60 c #Conflicts: 467000 | #Constraints: 36784
105.23/105.60 c #Conflicts: 468000 | #Constraints: 37784
105.23/105.60 c #Conflicts: 469000 | #Constraints: 38784
105.23/105.60 c #Conflicts: 470000 | #Constraints: 39784
105.23/105.60 c #Conflicts: 471000 | #Constraints: 40784
105.23/105.60 c #Conflicts: 472000 | #Constraints: 41784
105.23/105.60 c #Conflicts: 473000 | #Constraints: 42784
105.23/105.60 c #Conflicts: 474000 | #Constraints: 43784
105.23/105.60 c INPROCESSING
105.23/105.60 c GARBAGE COLLECT
105.23/105.60 c #Conflicts: 475000 | #Constraints: 31187
105.23/105.60 c #Conflicts: 476000 | #Constraints: 32187
105.23/105.60 c #Conflicts: 477000 | #Constraints: 33187
105.23/105.60 c #Conflicts: 478000 | #Constraints: 34187
105.23/105.60 c #Conflicts: 479000 | #Constraints: 35187
105.23/105.60 c #Conflicts: 480000 | #Constraints: 36187
105.23/105.60 c #Conflicts: 481000 | #Constraints: 37187
105.23/105.60 c #Conflicts: 482000 | #Constraints: 38187
105.23/105.60 c #Conflicts: 483000 | #Constraints: 39187
105.23/105.60 c #Conflicts: 484000 | #Constraints: 40187
105.23/105.60 c #Conflicts: 485000 | #Constraints: 41187
105.23/105.60 c #Conflicts: 486000 | #Constraints: 42187
105.23/105.60 c #Conflicts: 487000 | #Constraints: 43187
105.23/105.60 c #Conflicts: 488000 | #Constraints: 44187
105.23/105.60 c INPROCESSING
105.23/105.60 c GARBAGE COLLECT
105.23/105.60 c #Conflicts: 489000 | #Constraints: 31392
105.23/105.60 c #Conflicts: 490000 | #Constraints: 32392
105.23/105.60 c #Conflicts: 491000 | #Constraints: 33392
105.23/105.60 c #Conflicts: 492000 | #Constraints: 34392
105.23/105.60 c #Conflicts: 493000 | #Constraints: 35392
105.23/105.60 c #Conflicts: 494000 | #Constraints: 36392
105.23/105.60 c #Conflicts: 495000 | #Constraints: 37392
105.23/105.60 c #Conflicts: 496000 | #Constraints: 38392
105.23/105.60 c #Conflicts: 497000 | #Constraints: 39392
105.23/105.60 c #Conflicts: 498000 | #Constraints: 40392
105.23/105.60 c #Conflicts: 499000 | #Constraints: 41392
105.23/105.60 c #Conflicts: 500000 | #Constraints: 42392
105.23/105.60 c #Conflicts: 501000 | #Constraints: 43392
105.23/105.60 c #Conflicts: 502000 | #Constraints: 44392
105.23/105.60 c INPROCESSING
105.23/105.60 c GARBAGE COLLECT
105.23/105.60 c #Conflicts: 503000 | #Constraints: 31409
105.23/105.60 c #Conflicts: 504000 | #Constraints: 32409
105.23/105.60 c #Conflicts: 505000 | #Constraints: 33409
105.23/105.60 c #Conflicts: 506000 | #Constraints: 34409
105.23/105.60 c #Conflicts: 507000 | #Constraints: 35409
105.23/105.60 c #Conflicts: 508000 | #Constraints: 36409
105.23/105.60 c #Conflicts: 509000 | #Constraints: 37409
105.23/105.60 c #Conflicts: 510000 | #Constraints: 38409
105.23/105.60 c #Conflicts: 511000 | #Constraints: 39409
105.23/105.60 c #Conflicts: 512000 | #Constraints: 40409
105.23/105.60 c #Conflicts: 513000 | #Constraints: 41409
105.23/105.60 c #Conflicts: 514000 | #Constraints: 42409
105.23/105.60 c #Conflicts: 515000 | #Constraints: 43409
105.23/105.60 c #Conflicts: 516000 | #Constraints: 44409
105.23/105.60 c INPROCESSING
105.23/105.60 c GARBAGE COLLECT
105.23/105.60 c #Conflicts: 517000 | #Constraints: 31205
105.23/105.60 c #Conflicts: 518000 | #Constraints: 32205
105.23/105.60 c #Conflicts: 519000 | #Constraints: 33205
105.23/105.60 c #Conflicts: 520000 | #Constraints: 34205
105.23/105.60 c #Conflicts: 521000 | #Constraints: 35205
105.23/105.60 c #Conflicts: 522000 | #Constraints: 36205
123.46/123.93 c #Conflicts: 523000 | #Constraints: 37205
123.46/123.93 c #Conflicts: 524000 | #Constraints: 38205
123.46/123.93 c #Conflicts: 525000 | #Constraints: 39205
123.46/123.93 c #Conflicts: 526000 | #Constraints: 40205
123.46/123.93 c #Conflicts: 527000 | #Constraints: 41205
123.46/123.93 c #Conflicts: 528000 | #Constraints: 42205
123.46/123.93 c #Conflicts: 529000 | #Constraints: 43205
123.46/123.93 c #Conflicts: 530000 | #Constraints: 44205
123.46/123.93 c #Conflicts: 531000 | #Constraints: 45205
123.46/123.93 c INPROCESSING
123.46/123.93 c GARBAGE COLLECT
123.46/123.93 c #Conflicts: 532000 | #Constraints: 31792
123.46/123.93 c #Conflicts: 533000 | #Constraints: 32792
123.46/123.93 c #Conflicts: 534000 | #Constraints: 33792
123.46/123.93 c #Conflicts: 535000 | #Constraints: 34792
123.46/123.93 c #Conflicts: 536000 | #Constraints: 35792
123.46/123.93 c #Conflicts: 537000 | #Constraints: 36792
123.46/123.93 c #Conflicts: 538000 | #Constraints: 37792
123.46/123.93 c #Conflicts: 539000 | #Constraints: 38792
123.46/123.93 c #Conflicts: 540000 | #Constraints: 39792
123.46/123.93 c #Conflicts: 541000 | #Constraints: 40792
123.46/123.93 c #Conflicts: 542000 | #Constraints: 41792
123.46/123.93 c #Conflicts: 543000 | #Constraints: 42792
123.46/123.93 c #Conflicts: 544000 | #Constraints: 43792
123.46/123.93 c #Conflicts: 545000 | #Constraints: 44792
123.46/123.93 c #Conflicts: 546000 | #Constraints: 45792
123.46/123.93 c INPROCESSING
123.46/123.93 c GARBAGE COLLECT
123.46/123.93 c #Conflicts: 547000 | #Constraints: 32208
123.46/123.93 c #Conflicts: 548000 | #Constraints: 33208
123.46/123.93 c #Conflicts: 549000 | #Constraints: 34208
123.46/123.93 c #Conflicts: 550000 | #Constraints: 35208
123.46/123.93 c #Conflicts: 551000 | #Constraints: 36208
123.46/123.93 c #Conflicts: 552000 | #Constraints: 37208
123.46/123.93 c #Conflicts: 553000 | #Constraints: 38208
123.46/123.93 c #Conflicts: 554000 | #Constraints: 39208
123.46/123.93 c #Conflicts: 555000 | #Constraints: 40208
123.46/123.93 c #Conflicts: 556000 | #Constraints: 41208
123.46/123.93 c #Conflicts: 557000 | #Constraints: 42208
123.46/123.93 c #Conflicts: 558000 | #Constraints: 43208
123.46/123.93 c #Conflicts: 559000 | #Constraints: 44208
123.46/123.93 c #Conflicts: 560000 | #Constraints: 45208
123.46/123.93 c #Conflicts: 561000 | #Constraints: 46208
123.46/123.93 c INPROCESSING
123.46/123.93 c GARBAGE COLLECT
123.46/123.93 c #Conflicts: 562000 | #Constraints: 32397
123.46/123.93 c #Conflicts: 563000 | #Constraints: 33397
123.46/123.93 c #Conflicts: 564000 | #Constraints: 34397
123.46/123.93 c #Conflicts: 565000 | #Constraints: 35397
123.46/123.93 c #Conflicts: 566000 | #Constraints: 36397
123.46/123.93 c #Conflicts: 567000 | #Constraints: 37397
123.46/123.93 c #Conflicts: 568000 | #Constraints: 38397
123.46/123.93 c #Conflicts: 569000 | #Constraints: 39397
123.46/123.93 c #Conflicts: 570000 | #Constraints: 40397
123.46/123.93 c #Conflicts: 571000 | #Constraints: 41397
123.46/123.93 c #Conflicts: 572000 | #Constraints: 42397
123.46/123.93 c #Conflicts: 573000 | #Constraints: 43397
123.46/123.93 c #Conflicts: 574000 | #Constraints: 44397
123.46/123.93 c #Conflicts: 575000 | #Constraints: 45397
123.46/123.93 c #Conflicts: 576000 | #Constraints: 46397
123.46/123.93 c INPROCESSING
123.46/123.93 c GARBAGE COLLECT
123.46/123.93 c #Conflicts: 577000 | #Constraints: 32410
123.46/123.93 c #Conflicts: 578000 | #Constraints: 33410
123.46/123.93 c #Conflicts: 579000 | #Constraints: 34410
123.46/123.93 c #Conflicts: 580000 | #Constraints: 35410
123.46/123.93 c #Conflicts: 581000 | #Constraints: 36410
123.46/123.93 c #Conflicts: 582000 | #Constraints: 37410
123.46/123.93 c #Conflicts: 583000 | #Constraints: 38410
123.46/123.93 c #Conflicts: 584000 | #Constraints: 39410
123.46/123.93 c #Conflicts: 585000 | #Constraints: 40410
123.46/123.93 c #Conflicts: 586000 | #Constraints: 41410
123.46/123.93 c #Conflicts: 587000 | #Constraints: 42410
123.46/123.93 c #Conflicts: 588000 | #Constraints: 43410
123.46/123.93 c #Conflicts: 589000 | #Constraints: 44410
123.46/123.93 c #Conflicts: 590000 | #Constraints: 45410
123.46/123.93 c #Conflicts: 591000 | #Constraints: 46410
123.46/123.93 c INPROCESSING
123.46/123.93 c GARBAGE COLLECT
123.46/123.93 c #Conflicts: 592000 | #Constraints: 32218
123.46/123.93 c #Conflicts: 593000 | #Constraints: 33218
123.46/123.93 c #Conflicts: 594000 | #Constraints: 34218
123.46/123.93 c #Conflicts: 595000 | #Constraints: 35218
123.46/123.93 c #Conflicts: 596000 | #Constraints: 36218
123.46/123.93 c #Conflicts: 597000 | #Constraints: 37218
123.46/123.93 c #Conflicts: 598000 | #Constraints: 38218
143.00/143.52 c #Conflicts: 599000 | #Constraints: 39218
143.00/143.52 c #Conflicts: 600000 | #Constraints: 40218
143.00/143.52 c #Conflicts: 601000 | #Constraints: 41218
143.00/143.52 c #Conflicts: 602000 | #Constraints: 42218
143.00/143.52 c #Conflicts: 603000 | #Constraints: 43218
143.00/143.52 c #Conflicts: 604000 | #Constraints: 44218
143.00/143.52 c #Conflicts: 605000 | #Constraints: 45218
143.00/143.52 c #Conflicts: 606000 | #Constraints: 46218
143.00/143.52 c #Conflicts: 607000 | #Constraints: 47218
143.00/143.52 c INPROCESSING
143.00/143.52 c GARBAGE COLLECT
143.00/143.52 c #Conflicts: 608000 | #Constraints: 32810
143.00/143.52 c #Conflicts: 609000 | #Constraints: 33810
143.00/143.52 c #Conflicts: 610000 | #Constraints: 34810
143.00/143.52 c #Conflicts: 611000 | #Constraints: 35810
143.00/143.52 c #Conflicts: 612000 | #Constraints: 36810
143.00/143.52 c #Conflicts: 613000 | #Constraints: 37810
143.00/143.52 c #Conflicts: 614000 | #Constraints: 38810
143.00/143.52 c #Conflicts: 615000 | #Constraints: 39810
143.00/143.52 c #Conflicts: 616000 | #Constraints: 40810
143.00/143.52 c #Conflicts: 617000 | #Constraints: 41810
143.00/143.52 c #Conflicts: 618000 | #Constraints: 42810
143.00/143.52 c #Conflicts: 619000 | #Constraints: 43810
143.00/143.52 c #Conflicts: 620000 | #Constraints: 44810
143.00/143.52 c #Conflicts: 621000 | #Constraints: 45810
143.00/143.52 c #Conflicts: 622000 | #Constraints: 46810
143.00/143.52 c #Conflicts: 623000 | #Constraints: 47810
143.00/143.52 c INPROCESSING
143.00/143.52 c GARBAGE COLLECT
143.00/143.52 c #Conflicts: 624000 | #Constraints: 33203
143.00/143.52 c #Conflicts: 625000 | #Constraints: 34203
143.00/143.52 c #Conflicts: 626000 | #Constraints: 35203
143.00/143.52 c #Conflicts: 627000 | #Constraints: 36203
143.00/143.52 c #Conflicts: 628000 | #Constraints: 37203
143.00/143.52 c #Conflicts: 629000 | #Constraints: 38203
143.00/143.52 c #Conflicts: 630000 | #Constraints: 39203
143.00/143.52 c #Conflicts: 631000 | #Constraints: 40203
143.00/143.52 c #Conflicts: 632000 | #Constraints: 41203
143.00/143.52 c #Conflicts: 633000 | #Constraints: 42203
143.00/143.52 c #Conflicts: 634000 | #Constraints: 43203
143.00/143.52 c #Conflicts: 635000 | #Constraints: 44203
143.00/143.52 c #Conflicts: 636000 | #Constraints: 45203
143.00/143.52 c #Conflicts: 637000 | #Constraints: 46203
143.00/143.52 c #Conflicts: 638000 | #Constraints: 47203
143.00/143.52 c #Conflicts: 639000 | #Constraints: 48203
143.00/143.52 c INPROCESSING
143.00/143.52 c GARBAGE COLLECT
143.00/143.52 c #Conflicts: 640000 | #Constraints: 33407
143.00/143.52 c #Conflicts: 641000 | #Constraints: 34407
143.00/143.52 c #Conflicts: 642000 | #Constraints: 35407
143.00/143.52 c #Conflicts: 643000 | #Constraints: 36407
143.00/143.52 c #Conflicts: 644000 | #Constraints: 37407
143.00/143.52 c #Conflicts: 645000 | #Constraints: 38407
143.00/143.52 c #Conflicts: 646000 | #Constraints: 39407
143.00/143.52 c #Conflicts: 647000 | #Constraints: 40407
143.00/143.52 c #Conflicts: 648000 | #Constraints: 41407
143.00/143.52 c #Conflicts: 649000 | #Constraints: 42407
143.00/143.52 c #Conflicts: 650000 | #Constraints: 43407
143.00/143.52 c #Conflicts: 651000 | #Constraints: 44407
143.00/143.52 c #Conflicts: 652000 | #Constraints: 45407
143.00/143.52 c #Conflicts: 653000 | #Constraints: 46407
143.00/143.52 c #Conflicts: 654000 | #Constraints: 47407
143.00/143.52 c #Conflicts: 655000 | #Constraints: 48407
143.00/143.52 c INPROCESSING
143.00/143.52 c GARBAGE COLLECT
143.00/143.52 c #Conflicts: 656000 | #Constraints: 33400
143.00/143.52 c #Conflicts: 657000 | #Constraints: 34400
143.00/143.52 c #Conflicts: 658000 | #Constraints: 35400
143.00/143.52 c #Conflicts: 659000 | #Constraints: 36400
143.00/143.52 c #Conflicts: 660000 | #Constraints: 37400
143.00/143.52 c #Conflicts: 661000 | #Constraints: 38400
143.00/143.52 c #Conflicts: 662000 | #Constraints: 39400
143.00/143.52 c #Conflicts: 663000 | #Constraints: 40400
143.00/143.52 c #Conflicts: 664000 | #Constraints: 41400
143.00/143.52 c #Conflicts: 665000 | #Constraints: 42400
143.00/143.52 c #Conflicts: 666000 | #Constraints: 43400
143.00/143.52 c #Conflicts: 667000 | #Constraints: 44400
143.00/143.52 c #Conflicts: 668000 | #Constraints: 45400
143.00/143.52 c #Conflicts: 669000 | #Constraints: 46400
143.00/143.52 c #Conflicts: 670000 | #Constraints: 47400
143.00/143.52 c #Conflicts: 671000 | #Constraints: 48400
143.00/143.52 c INPROCESSING
143.00/143.52 c GARBAGE COLLECT
143.00/143.52 c #Conflicts: 672000 | #Constraints: 33200
143.00/143.52 c #Conflicts: 673000 | #Constraints: 34200
164.02/164.65 c #Conflicts: 674000 | #Constraints: 35200
164.02/164.65 c #Conflicts: 675000 | #Constraints: 36200
164.02/164.65 c #Conflicts: 676000 | #Constraints: 37200
164.02/164.65 c #Conflicts: 677000 | #Constraints: 38200
164.02/164.65 c #Conflicts: 678000 | #Constraints: 39200
164.02/164.65 c #Conflicts: 679000 | #Constraints: 40200
164.02/164.65 c #Conflicts: 680000 | #Constraints: 41200
164.02/164.65 c #Conflicts: 681000 | #Constraints: 42200
164.02/164.65 c #Conflicts: 682000 | #Constraints: 43200
164.02/164.65 c #Conflicts: 683000 | #Constraints: 44200
164.02/164.65 c #Conflicts: 684000 | #Constraints: 45200
164.02/164.65 c #Conflicts: 685000 | #Constraints: 46200
164.02/164.65 c #Conflicts: 686000 | #Constraints: 47200
164.02/164.65 c #Conflicts: 687000 | #Constraints: 48200
164.02/164.65 c #Conflicts: 688000 | #Constraints: 49200
164.02/164.65 c INPROCESSING
164.02/164.65 c GARBAGE COLLECT
164.02/164.65 c #Conflicts: 689000 | #Constraints: 33802
164.02/164.65 c #Conflicts: 690000 | #Constraints: 34802
164.02/164.65 c #Conflicts: 691000 | #Constraints: 35802
164.02/164.65 c #Conflicts: 692000 | #Constraints: 36802
164.02/164.65 c #Conflicts: 693000 | #Constraints: 37802
164.02/164.65 c #Conflicts: 694000 | #Constraints: 38802
164.02/164.65 c #Conflicts: 695000 | #Constraints: 39802
164.02/164.65 c #Conflicts: 696000 | #Constraints: 40802
164.02/164.65 c #Conflicts: 697000 | #Constraints: 41802
164.02/164.65 c #Conflicts: 698000 | #Constraints: 42802
164.02/164.65 c #Conflicts: 699000 | #Constraints: 43802
164.02/164.65 c #Conflicts: 700000 | #Constraints: 44802
164.02/164.65 c #Conflicts: 701000 | #Constraints: 45802
164.02/164.65 c #Conflicts: 702000 | #Constraints: 46802
164.02/164.65 c #Conflicts: 703000 | #Constraints: 47802
164.02/164.65 c #Conflicts: 704000 | #Constraints: 48802
164.02/164.65 c #Conflicts: 705000 | #Constraints: 49802
164.02/164.65 c INPROCESSING
164.02/164.65 c GARBAGE COLLECT
164.02/164.65 c #Conflicts: 706000 | #Constraints: 34205
164.02/164.65 c #Conflicts: 707000 | #Constraints: 35205
164.02/164.65 c #Conflicts: 708000 | #Constraints: 36205
164.02/164.65 c #Conflicts: 709000 | #Constraints: 37205
164.02/164.65 c #Conflicts: 710000 | #Constraints: 38205
164.02/164.65 c #Conflicts: 711000 | #Constraints: 39205
164.02/164.65 c #Conflicts: 712000 | #Constraints: 40205
164.02/164.65 c #Conflicts: 713000 | #Constraints: 41205
164.02/164.65 c #Conflicts: 714000 | #Constraints: 42205
164.02/164.65 c #Conflicts: 715000 | #Constraints: 43205
164.02/164.65 c #Conflicts: 716000 | #Constraints: 44205
164.02/164.65 c #Conflicts: 717000 | #Constraints: 45205
164.02/164.65 c #Conflicts: 718000 | #Constraints: 46205
164.02/164.65 c #Conflicts: 719000 | #Constraints: 47205
164.02/164.65 c #Conflicts: 720000 | #Constraints: 48205
164.02/164.65 c #Conflicts: 721000 | #Constraints: 49205
164.02/164.65 c #Conflicts: 722000 | #Constraints: 50205
164.02/164.65 c INPROCESSING
164.02/164.65 c GARBAGE COLLECT
164.02/164.65 c #Conflicts: 723000 | #Constraints: 34420
164.02/164.65 c #Conflicts: 724000 | #Constraints: 35420
164.02/164.65 c #Conflicts: 725000 | #Constraints: 36420
164.02/164.65 c #Conflicts: 726000 | #Constraints: 37420
164.02/164.65 c #Conflicts: 727000 | #Constraints: 38420
164.02/164.65 c #Conflicts: 728000 | #Constraints: 39420
164.02/164.65 c #Conflicts: 729000 | #Constraints: 40420
164.02/164.65 c #Conflicts: 730000 | #Constraints: 41420
164.02/164.65 c #Conflicts: 731000 | #Constraints: 42420
164.02/164.65 c #Conflicts: 732000 | #Constraints: 43420
164.02/164.65 c #Conflicts: 733000 | #Constraints: 44420
164.02/164.65 c #Conflicts: 734000 | #Constraints: 45420
164.02/164.65 c #Conflicts: 735000 | #Constraints: 46420
164.02/164.65 c #Conflicts: 736000 | #Constraints: 47420
164.02/164.65 c #Conflicts: 737000 | #Constraints: 48420
164.02/164.65 c #Conflicts: 738000 | #Constraints: 49420
164.02/164.65 c #Conflicts: 739000 | #Constraints: 50420
164.02/164.65 c INPROCESSING
164.02/164.65 c GARBAGE COLLECT
164.02/164.65 c #Conflicts: 740000 | #Constraints: 34409
164.02/164.65 c #Conflicts: 741000 | #Constraints: 35409
164.02/164.65 c #Conflicts: 742000 | #Constraints: 36409
164.02/164.65 c #Conflicts: 743000 | #Constraints: 37409
164.02/164.65 c #Conflicts: 744000 | #Constraints: 38409
164.02/164.65 c #Conflicts: 745000 | #Constraints: 39409
164.02/164.65 c #Conflicts: 746000 | #Constraints: 40409
164.02/164.65 c #Conflicts: 747000 | #Constraints: 41409
164.02/164.65 c #Conflicts: 748000 | #Constraints: 42409
164.02/164.65 c #Conflicts: 749000 | #Constraints: 43409
164.02/164.65 c #Conflicts: 750000 | #Constraints: 44409
184.74/185.43 c #Conflicts: 751000 | #Constraints: 45409
184.74/185.43 c #Conflicts: 752000 | #Constraints: 46409
184.74/185.43 c #Conflicts: 753000 | #Constraints: 47409
184.74/185.43 c #Conflicts: 754000 | #Constraints: 48409
184.74/185.43 c #Conflicts: 755000 | #Constraints: 49409
184.74/185.43 c #Conflicts: 756000 | #Constraints: 50409
184.74/185.43 c INPROCESSING
184.74/185.43 c GARBAGE COLLECT
184.74/185.43 c #Conflicts: 757000 | #Constraints: 34217
184.74/185.43 c #Conflicts: 758000 | #Constraints: 35217
184.74/185.43 c #Conflicts: 759000 | #Constraints: 36217
184.74/185.43 c #Conflicts: 760000 | #Constraints: 37217
184.74/185.43 c #Conflicts: 761000 | #Constraints: 38217
184.74/185.43 c #Conflicts: 762000 | #Constraints: 39217
184.74/185.43 c #Conflicts: 763000 | #Constraints: 40217
184.74/185.43 c #Conflicts: 764000 | #Constraints: 41217
184.74/185.43 c #Conflicts: 765000 | #Constraints: 42217
184.74/185.43 c #Conflicts: 766000 | #Constraints: 43217
184.74/185.43 c #Conflicts: 767000 | #Constraints: 44217
184.74/185.43 c #Conflicts: 768000 | #Constraints: 45217
184.74/185.43 c #Conflicts: 769000 | #Constraints: 46217
184.74/185.43 c #Conflicts: 770000 | #Constraints: 47217
184.74/185.43 c #Conflicts: 771000 | #Constraints: 48217
184.74/185.43 c #Conflicts: 772000 | #Constraints: 49217
184.74/185.43 c #Conflicts: 773000 | #Constraints: 50217
184.74/185.43 c #Conflicts: 774000 | #Constraints: 51217
184.74/185.43 c INPROCESSING
184.74/185.43 c GARBAGE COLLECT
184.74/185.43 c #Conflicts: 775000 | #Constraints: 34805
184.74/185.43 c #Conflicts: 776000 | #Constraints: 35805
184.74/185.43 c #Conflicts: 777000 | #Constraints: 36805
184.74/185.43 c #Conflicts: 778000 | #Constraints: 37805
184.74/185.43 c #Conflicts: 779000 | #Constraints: 38805
184.74/185.43 c #Conflicts: 780000 | #Constraints: 39805
184.74/185.43 c #Conflicts: 781000 | #Constraints: 40805
184.74/185.43 c #Conflicts: 782000 | #Constraints: 41805
184.74/185.43 c #Conflicts: 783000 | #Constraints: 42805
184.74/185.43 c #Conflicts: 784000 | #Constraints: 43805
184.74/185.43 c #Conflicts: 785000 | #Constraints: 44805
184.74/185.43 c #Conflicts: 786000 | #Constraints: 45805
184.74/185.43 c #Conflicts: 787000 | #Constraints: 46805
184.74/185.43 c #Conflicts: 788000 | #Constraints: 47805
184.74/185.43 c #Conflicts: 789000 | #Constraints: 48805
184.74/185.43 c #Conflicts: 790000 | #Constraints: 49805
184.74/185.43 c #Conflicts: 791000 | #Constraints: 50805
184.74/185.43 c #Conflicts: 792000 | #Constraints: 51805
184.74/185.43 c INPROCESSING
184.74/185.43 c GARBAGE COLLECT
184.74/185.43 c #Conflicts: 793000 | #Constraints: 35212
184.74/185.43 c #Conflicts: 794000 | #Constraints: 36212
184.74/185.43 c #Conflicts: 795000 | #Constraints: 37212
184.74/185.43 c #Conflicts: 796000 | #Constraints: 38212
184.74/185.43 c #Conflicts: 797000 | #Constraints: 39212
184.74/185.43 c #Conflicts: 798000 | #Constraints: 40212
184.74/185.43 c #Conflicts: 799000 | #Constraints: 41212
184.74/185.43 c #Conflicts: 800000 | #Constraints: 42212
184.74/185.43 c #Conflicts: 801000 | #Constraints: 43212
184.74/185.43 c #Conflicts: 802000 | #Constraints: 44212
184.74/185.43 c #Conflicts: 803000 | #Constraints: 45212
184.74/185.43 c #Conflicts: 804000 | #Constraints: 46212
184.74/185.43 c #Conflicts: 805000 | #Constraints: 47212
184.74/185.43 c #Conflicts: 806000 | #Constraints: 48212
184.74/185.43 c #Conflicts: 807000 | #Constraints: 49212
184.74/185.43 c #Conflicts: 808000 | #Constraints: 50212
184.74/185.43 c #Conflicts: 809000 | #Constraints: 51212
184.74/185.43 c #Conflicts: 810000 | #Constraints: 52212
184.74/185.43 c INPROCESSING
184.74/185.43 c GARBAGE COLLECT
184.74/185.43 c #Conflicts: 811000 | #Constraints: 35415
184.74/185.43 c #Conflicts: 812000 | #Constraints: 36415
184.74/185.43 c #Conflicts: 813000 | #Constraints: 37415
184.74/185.43 c #Conflicts: 814000 | #Constraints: 38415
184.74/185.43 c #Conflicts: 815000 | #Constraints: 39415
184.74/185.43 c #Conflicts: 816000 | #Constraints: 40415
184.74/185.43 c #Conflicts: 817000 | #Constraints: 41415
184.74/185.43 c #Conflicts: 818000 | #Constraints: 42415
184.74/185.43 c #Conflicts: 819000 | #Constraints: 43415
184.74/185.43 c #Conflicts: 820000 | #Constraints: 44415
184.74/185.43 c #Conflicts: 821000 | #Constraints: 45415
184.74/185.43 c #Conflicts: 822000 | #Constraints: 46415
184.74/185.43 c #Conflicts: 823000 | #Constraints: 47415
184.74/185.43 c #Conflicts: 824000 | #Constraints: 48415
184.74/185.43 c #Conflicts: 825000 | #Constraints: 49415
184.74/185.43 c #Conflicts: 826000 | #Constraints: 50415
206.46/207.23 c #Conflicts: 827000 | #Constraints: 51415
206.46/207.23 c #Conflicts: 828000 | #Constraints: 52415
206.46/207.23 c INPROCESSING
206.46/207.23 c GARBAGE COLLECT
206.46/207.23 c #Conflicts: 829000 | #Constraints: 35405
206.46/207.23 c #Conflicts: 830000 | #Constraints: 36405
206.46/207.23 c #Conflicts: 831000 | #Constraints: 37405
206.46/207.23 c #Conflicts: 832000 | #Constraints: 38405
206.46/207.23 c #Conflicts: 833000 | #Constraints: 39405
206.46/207.23 c #Conflicts: 834000 | #Constraints: 40405
206.46/207.23 c #Conflicts: 835000 | #Constraints: 41405
206.46/207.23 c #Conflicts: 836000 | #Constraints: 42405
206.46/207.23 c #Conflicts: 837000 | #Constraints: 43405
206.46/207.23 c #Conflicts: 838000 | #Constraints: 44405
206.46/207.23 c #Conflicts: 839000 | #Constraints: 45405
206.46/207.23 c #Conflicts: 840000 | #Constraints: 46405
206.46/207.23 c #Conflicts: 841000 | #Constraints: 47405
206.46/207.23 c #Conflicts: 842000 | #Constraints: 48405
206.46/207.23 c #Conflicts: 843000 | #Constraints: 49405
206.46/207.23 c #Conflicts: 844000 | #Constraints: 50405
206.46/207.23 c #Conflicts: 845000 | #Constraints: 51405
206.46/207.23 c #Conflicts: 846000 | #Constraints: 52405
206.46/207.23 c INPROCESSING
206.46/207.23 c GARBAGE COLLECT
206.46/207.23 c #Conflicts: 847000 | #Constraints: 35220
206.46/207.23 c #Conflicts: 848000 | #Constraints: 36220
206.46/207.23 c #Conflicts: 849000 | #Constraints: 37220
206.46/207.23 c #Conflicts: 850000 | #Constraints: 38220
206.46/207.23 c #Conflicts: 851000 | #Constraints: 39220
206.46/207.23 c #Conflicts: 852000 | #Constraints: 40220
206.46/207.23 c #Conflicts: 853000 | #Constraints: 41220
206.46/207.23 c #Conflicts: 854000 | #Constraints: 42220
206.46/207.23 c #Conflicts: 855000 | #Constraints: 43220
206.46/207.23 c #Conflicts: 856000 | #Constraints: 44220
206.46/207.23 c #Conflicts: 857000 | #Constraints: 45220
206.46/207.23 c #Conflicts: 858000 | #Constraints: 46220
206.46/207.23 c #Conflicts: 859000 | #Constraints: 47220
206.46/207.23 c #Conflicts: 860000 | #Constraints: 48220
206.46/207.23 c #Conflicts: 861000 | #Constraints: 49220
206.46/207.23 c #Conflicts: 862000 | #Constraints: 50220
206.46/207.23 c #Conflicts: 863000 | #Constraints: 51220
206.46/207.23 c #Conflicts: 864000 | #Constraints: 52220
206.46/207.23 c #Conflicts: 865000 | #Constraints: 53220
206.46/207.23 c INPROCESSING
206.46/207.23 c GARBAGE COLLECT
206.46/207.23 c #Conflicts: 866000 | #Constraints: 35813
206.46/207.23 c #Conflicts: 867000 | #Constraints: 36813
206.46/207.23 c #Conflicts: 868000 | #Constraints: 37813
206.46/207.23 c #Conflicts: 869000 | #Constraints: 38813
206.46/207.23 c #Conflicts: 870000 | #Constraints: 39813
206.46/207.23 c #Conflicts: 871000 | #Constraints: 40813
206.46/207.23 c #Conflicts: 872000 | #Constraints: 41813
206.46/207.23 c #Conflicts: 873000 | #Constraints: 42813
206.46/207.23 c #Conflicts: 874000 | #Constraints: 43813
206.46/207.23 c #Conflicts: 875000 | #Constraints: 44813
206.46/207.23 c #Conflicts: 876000 | #Constraints: 45813
206.46/207.23 c #Conflicts: 877000 | #Constraints: 46813
206.46/207.23 c #Conflicts: 878000 | #Constraints: 47813
206.46/207.23 c #Conflicts: 879000 | #Constraints: 48813
206.46/207.23 c #Conflicts: 880000 | #Constraints: 49813
206.46/207.23 c #Conflicts: 881000 | #Constraints: 50813
206.46/207.23 c #Conflicts: 882000 | #Constraints: 51813
206.46/207.23 c #Conflicts: 883000 | #Constraints: 52813
206.46/207.23 c #Conflicts: 884000 | #Constraints: 53813
206.46/207.23 c INPROCESSING
206.46/207.23 c GARBAGE COLLECT
206.46/207.23 c #Conflicts: 885000 | #Constraints: 36218
206.46/207.23 c #Conflicts: 886000 | #Constraints: 37218
206.46/207.23 c #Conflicts: 887000 | #Constraints: 38218
206.46/207.23 c #Conflicts: 888000 | #Constraints: 39218
206.46/207.23 c #Conflicts: 889000 | #Constraints: 40218
206.46/207.23 c #Conflicts: 890000 | #Constraints: 41218
206.46/207.23 c #Conflicts: 891000 | #Constraints: 42218
206.46/207.23 c #Conflicts: 892000 | #Constraints: 43218
206.46/207.23 c #Conflicts: 893000 | #Constraints: 44218
206.46/207.23 c #Conflicts: 894000 | #Constraints: 45218
206.46/207.23 c #Conflicts: 895000 | #Constraints: 46218
206.46/207.23 c #Conflicts: 896000 | #Constraints: 47218
206.46/207.23 c #Conflicts: 897000 | #Constraints: 48218
206.46/207.23 c #Conflicts: 898000 | #Constraints: 49218
206.46/207.23 c #Conflicts: 899000 | #Constraints: 50218
206.46/207.23 c #Conflicts: 900000 | #Constraints: 51218
206.46/207.23 c #Conflicts: 901000 | #Constraints: 52218
206.46/207.23 c #Conflicts: 902000 | #Constraints: 53218
230.07/230.98 c #Conflicts: 903000 | #Constraints: 54218
230.07/230.98 c INPROCESSING
230.07/230.98 c GARBAGE COLLECT
230.07/230.98 c #Conflicts: 904000 | #Constraints: 36434
230.07/230.98 c #Conflicts: 905000 | #Constraints: 37434
230.07/230.98 c #Conflicts: 906000 | #Constraints: 38434
230.07/230.98 c #Conflicts: 907000 | #Constraints: 39434
230.07/230.98 c #Conflicts: 908000 | #Constraints: 40434
230.07/230.98 c #Conflicts: 909000 | #Constraints: 41434
230.07/230.98 c #Conflicts: 910000 | #Constraints: 42434
230.07/230.98 c #Conflicts: 911000 | #Constraints: 43434
230.07/230.98 c #Conflicts: 912000 | #Constraints: 44434
230.07/230.98 c #Conflicts: 913000 | #Constraints: 45434
230.07/230.98 c #Conflicts: 914000 | #Constraints: 46434
230.07/230.98 c #Conflicts: 915000 | #Constraints: 47434
230.07/230.98 c #Conflicts: 916000 | #Constraints: 48434
230.07/230.98 c #Conflicts: 917000 | #Constraints: 49434
230.07/230.98 c #Conflicts: 918000 | #Constraints: 50434
230.07/230.98 c #Conflicts: 919000 | #Constraints: 51434
230.07/230.98 c #Conflicts: 920000 | #Constraints: 52434
230.07/230.98 c #Conflicts: 921000 | #Constraints: 53434
230.07/230.98 c #Conflicts: 922000 | #Constraints: 54434
230.07/230.98 c INPROCESSING
230.07/230.98 c GARBAGE COLLECT
230.07/230.98 c #Conflicts: 923000 | #Constraints: 36430
230.07/230.98 c #Conflicts: 924000 | #Constraints: 37430
230.07/230.98 c #Conflicts: 925000 | #Constraints: 38430
230.07/230.98 c #Conflicts: 926000 | #Constraints: 39430
230.07/230.98 c #Conflicts: 927000 | #Constraints: 40430
230.07/230.98 c #Conflicts: 928000 | #Constraints: 41430
230.07/230.98 c #Conflicts: 929000 | #Constraints: 42430
230.07/230.98 c #Conflicts: 930000 | #Constraints: 43430
230.07/230.98 c #Conflicts: 931000 | #Constraints: 44430
230.07/230.98 c #Conflicts: 932000 | #Constraints: 45430
230.07/230.98 c #Conflicts: 933000 | #Constraints: 46430
230.07/230.98 c #Conflicts: 934000 | #Constraints: 47430
230.07/230.98 c #Conflicts: 935000 | #Constraints: 48430
230.07/230.98 c #Conflicts: 936000 | #Constraints: 49430
230.07/230.98 c #Conflicts: 937000 | #Constraints: 50430
230.07/230.98 c #Conflicts: 938000 | #Constraints: 51430
230.07/230.98 c #Conflicts: 939000 | #Constraints: 52430
230.07/230.98 c #Conflicts: 940000 | #Constraints: 53430
230.07/230.98 c #Conflicts: 941000 | #Constraints: 54430
230.07/230.98 c INPROCESSING
230.07/230.98 c GARBAGE COLLECT
230.07/230.98 c #Conflicts: 942000 | #Constraints: 36234
230.07/230.98 c #Conflicts: 943000 | #Constraints: 37234
230.07/230.98 c #Conflicts: 944000 | #Constraints: 38234
230.07/230.98 c #Conflicts: 945000 | #Constraints: 39234
230.07/230.98 c #Conflicts: 946000 | #Constraints: 40234
230.07/230.98 c #Conflicts: 947000 | #Constraints: 41234
230.07/230.98 c #Conflicts: 948000 | #Constraints: 42234
230.07/230.98 c #Conflicts: 949000 | #Constraints: 43234
230.07/230.98 c #Conflicts: 950000 | #Constraints: 44234
230.07/230.98 c #Conflicts: 951000 | #Constraints: 45234
230.07/230.98 c #Conflicts: 952000 | #Constraints: 46234
230.07/230.98 c #Conflicts: 953000 | #Constraints: 47234
230.07/230.98 c #Conflicts: 954000 | #Constraints: 48234
230.07/230.98 c #Conflicts: 955000 | #Constraints: 49234
230.07/230.98 c #Conflicts: 956000 | #Constraints: 50234
230.07/230.98 c #Conflicts: 957000 | #Constraints: 51234
230.07/230.98 c #Conflicts: 958000 | #Constraints: 52234
230.07/230.98 c #Conflicts: 959000 | #Constraints: 53234
230.07/230.98 c #Conflicts: 960000 | #Constraints: 54234
230.07/230.98 c #Conflicts: 961000 | #Constraints: 55234
230.07/230.98 c INPROCESSING
230.07/230.98 c GARBAGE COLLECT
230.07/230.98 c #Conflicts: 962000 | #Constraints: 36835
230.07/230.98 c #Conflicts: 963000 | #Constraints: 37835
230.07/230.98 c #Conflicts: 964000 | #Constraints: 38835
230.07/230.98 c #Conflicts: 965000 | #Constraints: 39835
230.07/230.98 c #Conflicts: 966000 | #Constraints: 40835
230.07/230.98 c #Conflicts: 967000 | #Constraints: 41835
230.07/230.98 c #Conflicts: 968000 | #Constraints: 42835
230.07/230.98 c #Conflicts: 969000 | #Constraints: 43835
230.07/230.98 c #Conflicts: 970000 | #Constraints: 44835
230.07/230.98 c #Conflicts: 971000 | #Constraints: 45835
230.07/230.98 c #Conflicts: 972000 | #Constraints: 46835
230.07/230.98 c #Conflicts: 973000 | #Constraints: 47835
230.07/230.98 c #Conflicts: 974000 | #Constraints: 48835
230.07/230.98 c #Conflicts: 975000 | #Constraints: 49835
230.07/230.98 c #Conflicts: 976000 | #Constraints: 50835
230.07/230.98 c #Conflicts: 977000 | #Constraints: 51835
230.07/230.98 c #Conflicts: 978000 | #Constraints: 52835
254.99/255.95 c #Conflicts: 979000 | #Constraints: 53835
254.99/255.95 c #Conflicts: 980000 | #Constraints: 54835
254.99/255.95 c #Conflicts: 981000 | #Constraints: 55835
254.99/255.95 c INPROCESSING
254.99/255.95 c GARBAGE COLLECT
254.99/255.95 c #Conflicts: 982000 | #Constraints: 37232
254.99/255.95 c #Conflicts: 983000 | #Constraints: 38232
254.99/255.95 c #Conflicts: 984000 | #Constraints: 39232
254.99/255.95 c #Conflicts: 985000 | #Constraints: 40232
254.99/255.95 c #Conflicts: 986000 | #Constraints: 41232
254.99/255.95 c #Conflicts: 987000 | #Constraints: 42232
254.99/255.95 c #Conflicts: 988000 | #Constraints: 43232
254.99/255.95 c #Conflicts: 989000 | #Constraints: 44232
254.99/255.95 c #Conflicts: 990000 | #Constraints: 45232
254.99/255.95 c #Conflicts: 991000 | #Constraints: 46232
254.99/255.95 c #Conflicts: 992000 | #Constraints: 47232
254.99/255.95 c #Conflicts: 993000 | #Constraints: 48232
254.99/255.95 c #Conflicts: 994000 | #Constraints: 49232
254.99/255.95 c #Conflicts: 995000 | #Constraints: 50232
254.99/255.95 c #Conflicts: 996000 | #Constraints: 51232
254.99/255.95 c #Conflicts: 997000 | #Constraints: 52232
254.99/255.95 c #Conflicts: 998000 | #Constraints: 53232
254.99/255.95 c #Conflicts: 999000 | #Constraints: 54232
254.99/255.95 c #Conflicts: 1000000 | #Constraints: 55232
254.99/255.95 c #Conflicts: 1001000 | #Constraints: 56232
254.99/255.95 c INPROCESSING
254.99/255.95 c GARBAGE COLLECT
254.99/255.95 c #Conflicts: 1002000 | #Constraints: 37436
254.99/255.95 c #Conflicts: 1003000 | #Constraints: 38436
254.99/255.95 c #Conflicts: 1004000 | #Constraints: 39436
254.99/255.95 c #Conflicts: 1005000 | #Constraints: 40436
254.99/255.95 c #Conflicts: 1006000 | #Constraints: 41436
254.99/255.95 c #Conflicts: 1007000 | #Constraints: 42436
254.99/255.95 c #Conflicts: 1008000 | #Constraints: 43436
254.99/255.95 c #Conflicts: 1009000 | #Constraints: 44436
254.99/255.95 c #Conflicts: 1010000 | #Constraints: 45436
254.99/255.95 c #Conflicts: 1011000 | #Constraints: 46436
254.99/255.95 c #Conflicts: 1012000 | #Constraints: 47436
254.99/255.95 c #Conflicts: 1013000 | #Constraints: 48436
254.99/255.95 c #Conflicts: 1014000 | #Constraints: 49436
254.99/255.95 c #Conflicts: 1015000 | #Constraints: 50436
254.99/255.95 c #Conflicts: 1016000 | #Constraints: 51436
254.99/255.95 c #Conflicts: 1017000 | #Constraints: 52436
254.99/255.95 c #Conflicts: 1018000 | #Constraints: 53436
254.99/255.95 c #Conflicts: 1019000 | #Constraints: 54436
254.99/255.95 c #Conflicts: 1020000 | #Constraints: 55436
254.99/255.95 c #Conflicts: 1021000 | #Constraints: 56436
254.99/255.95 c INPROCESSING
254.99/255.95 c GARBAGE COLLECT
254.99/255.95 c #Conflicts: 1022000 | #Constraints: 37439
254.99/255.95 c #Conflicts: 1023000 | #Constraints: 38439
254.99/255.95 c #Conflicts: 1024000 | #Constraints: 39439
254.99/255.95 c #Conflicts: 1025000 | #Constraints: 40439
254.99/255.95 c #Conflicts: 1026000 | #Constraints: 41439
254.99/255.95 c #Conflicts: 1027000 | #Constraints: 42439
254.99/255.95 c #Conflicts: 1028000 | #Constraints: 43439
254.99/255.95 c #Conflicts: 1029000 | #Constraints: 44439
254.99/255.95 c #Conflicts: 1030000 | #Constraints: 45439
254.99/255.95 c #Conflicts: 1031000 | #Constraints: 46439
254.99/255.95 c #Conflicts: 1032000 | #Constraints: 47439
254.99/255.95 c #Conflicts: 1033000 | #Constraints: 48439
254.99/255.95 c #Conflicts: 1034000 | #Constraints: 49439
254.99/255.95 c #Conflicts: 1035000 | #Constraints: 50439
254.99/255.95 c #Conflicts: 1036000 | #Constraints: 51439
254.99/255.95 c #Conflicts: 1037000 | #Constraints: 52439
254.99/255.95 c #Conflicts: 1038000 | #Constraints: 53439
254.99/255.95 c #Conflicts: 1039000 | #Constraints: 54439
254.99/255.95 c #Conflicts: 1040000 | #Constraints: 55439
254.99/255.95 c #Conflicts: 1041000 | #Constraints: 56439
254.99/255.95 c INPROCESSING
254.99/255.95 c GARBAGE COLLECT
254.99/255.95 c #Conflicts: 1042000 | #Constraints: 37229
254.99/255.95 c #Conflicts: 1043000 | #Constraints: 38229
254.99/255.95 c #Conflicts: 1044000 | #Constraints: 39229
254.99/255.95 c #Conflicts: 1045000 | #Constraints: 40229
254.99/255.95 c #Conflicts: 1046000 | #Constraints: 41229
254.99/255.95 c #Conflicts: 1047000 | #Constraints: 42229
254.99/255.95 c #Conflicts: 1048000 | #Constraints: 43229
254.99/255.95 c #Conflicts: 1049000 | #Constraints: 44229
254.99/255.95 c #Conflicts: 1050000 | #Constraints: 45229
254.99/255.95 c #Conflicts: 1051000 | #Constraints: 46229
254.99/255.95 c #Conflicts: 1052000 | #Constraints: 47229
254.99/255.95 c #Conflicts: 1053000 | #Constraints: 48229
254.99/255.95 c #Conflicts: 1054000 | #Constraints: 49229
254.99/255.95 c #Conflicts: 1055000 | #Constraints: 50229
279.52/280.50 c #Conflicts: 1056000 | #Constraints: 51229
279.52/280.50 c #Conflicts: 1057000 | #Constraints: 52229
279.52/280.50 c #Conflicts: 1058000 | #Constraints: 53229
279.52/280.50 c #Conflicts: 1059000 | #Constraints: 54229
279.52/280.50 c #Conflicts: 1060000 | #Constraints: 55229
279.52/280.50 c #Conflicts: 1061000 | #Constraints: 56229
279.52/280.50 c #Conflicts: 1062000 | #Constraints: 57229
279.52/280.50 c INPROCESSING
279.52/280.50 c GARBAGE COLLECT
279.52/280.50 c #Conflicts: 1063000 | #Constraints: 37848
279.52/280.50 c #Conflicts: 1064000 | #Constraints: 38848
279.52/280.50 c #Conflicts: 1065000 | #Constraints: 39848
279.52/280.50 c #Conflicts: 1066000 | #Constraints: 40848
279.52/280.50 c #Conflicts: 1067000 | #Constraints: 41848
279.52/280.50 c #Conflicts: 1068000 | #Constraints: 42848
279.52/280.50 c #Conflicts: 1069000 | #Constraints: 43848
279.52/280.50 c #Conflicts: 1070000 | #Constraints: 44848
279.52/280.50 c #Conflicts: 1071000 | #Constraints: 45848
279.52/280.50 c #Conflicts: 1072000 | #Constraints: 46848
279.52/280.50 c #Conflicts: 1073000 | #Constraints: 47848
279.52/280.50 c #Conflicts: 1074000 | #Constraints: 48848
279.52/280.50 c #Conflicts: 1075000 | #Constraints: 49848
279.52/280.50 c #Conflicts: 1076000 | #Constraints: 50848
279.52/280.50 c #Conflicts: 1077000 | #Constraints: 51848
279.52/280.50 c #Conflicts: 1078000 | #Constraints: 52848
279.52/280.50 c #Conflicts: 1079000 | #Constraints: 53848
279.52/280.50 c #Conflicts: 1080000 | #Constraints: 54848
279.52/280.50 c #Conflicts: 1081000 | #Constraints: 55848
279.52/280.50 c #Conflicts: 1082000 | #Constraints: 56848
279.52/280.50 c #Conflicts: 1083000 | #Constraints: 57848
279.52/280.50 c INPROCESSING
279.52/280.50 c GARBAGE COLLECT
279.52/280.50 c #Conflicts: 1084000 | #Constraints: 38235
279.52/280.50 c #Conflicts: 1085000 | #Constraints: 39235
279.52/280.50 c #Conflicts: 1086000 | #Constraints: 40235
279.52/280.50 c #Conflicts: 1087000 | #Constraints: 41235
279.52/280.50 c #Conflicts: 1088000 | #Constraints: 42235
279.52/280.50 c #Conflicts: 1089000 | #Constraints: 43235
279.52/280.50 c #Conflicts: 1090000 | #Constraints: 44235
279.52/280.50 c #Conflicts: 1091000 | #Constraints: 45235
279.52/280.50 c #Conflicts: 1092000 | #Constraints: 46235
279.52/280.50 c #Conflicts: 1093000 | #Constraints: 47235
279.52/280.50 c #Conflicts: 1094000 | #Constraints: 48235
279.52/280.50 c #Conflicts: 1095000 | #Constraints: 49235
279.52/280.50 c #Conflicts: 1096000 | #Constraints: 50235
279.52/280.50 c #Conflicts: 1097000 | #Constraints: 51235
279.52/280.50 c #Conflicts: 1098000 | #Constraints: 52235
279.52/280.50 c #Conflicts: 1099000 | #Constraints: 53235
279.52/280.50 c #Conflicts: 1100000 | #Constraints: 54235
279.52/280.50 c #Conflicts: 1101000 | #Constraints: 55235
279.52/280.50 c #Conflicts: 1102000 | #Constraints: 56235
279.52/280.50 c #Conflicts: 1103000 | #Constraints: 57235
279.52/280.50 c #Conflicts: 1104000 | #Constraints: 58235
279.52/280.50 c INPROCESSING
279.52/280.50 c GARBAGE COLLECT
279.52/280.50 c #Conflicts: 1105000 | #Constraints: 38437
279.52/280.50 c #Conflicts: 1106000 | #Constraints: 39437
279.52/280.50 c #Conflicts: 1107000 | #Constraints: 40437
279.52/280.50 c #Conflicts: 1108000 | #Constraints: 41437
279.52/280.50 c #Conflicts: 1109000 | #Constraints: 42437
279.52/280.50 c #Conflicts: 1110000 | #Constraints: 43437
279.52/280.50 c #Conflicts: 1111000 | #Constraints: 44437
279.52/280.50 c #Conflicts: 1112000 | #Constraints: 45437
279.52/280.50 c #Conflicts: 1113000 | #Constraints: 46437
279.52/280.50 c #Conflicts: 1114000 | #Constraints: 47437
279.52/280.50 c #Conflicts: 1115000 | #Constraints: 48437
279.52/280.50 c #Conflicts: 1116000 | #Constraints: 49437
279.52/280.50 c #Conflicts: 1117000 | #Constraints: 50437
279.52/280.50 c #Conflicts: 1118000 | #Constraints: 51437
279.52/280.50 c #Conflicts: 1119000 | #Constraints: 52437
279.52/280.50 c #Conflicts: 1120000 | #Constraints: 53437
279.52/280.50 c #Conflicts: 1121000 | #Constraints: 54437
279.52/280.50 c #Conflicts: 1122000 | #Constraints: 55437
279.52/280.50 c #Conflicts: 1123000 | #Constraints: 56437
279.52/280.50 c #Conflicts: 1124000 | #Constraints: 57437
279.52/280.50 c #Conflicts: 1125000 | #Constraints: 58437
279.52/280.50 c INPROCESSING
279.52/280.50 c GARBAGE COLLECT
279.52/280.50 c #Conflicts: 1126000 | #Constraints: 38419
279.52/280.50 c #Conflicts: 1127000 | #Constraints: 39419
279.52/280.50 c #Conflicts: 1128000 | #Constraints: 40419
279.52/280.50 c #Conflicts: 1129000 | #Constraints: 41419
279.52/280.50 c #Conflicts: 1130000 | #Constraints: 42419
279.52/280.50 c #Conflicts: 1131000 | #Constraints: 43419
303.83/304.91 c #Conflicts: 1132000 | #Constraints: 44419
303.83/304.91 c #Conflicts: 1133000 | #Constraints: 45419
303.83/304.91 c #Conflicts: 1134000 | #Constraints: 46419
303.83/304.91 c #Conflicts: 1135000 | #Constraints: 47419
303.83/304.91 c #Conflicts: 1136000 | #Constraints: 48419
303.83/304.91 c #Conflicts: 1137000 | #Constraints: 49419
303.83/304.91 c #Conflicts: 1138000 | #Constraints: 50419
303.83/304.91 c #Conflicts: 1139000 | #Constraints: 51419
303.83/304.91 c #Conflicts: 1140000 | #Constraints: 52419
303.83/304.91 c #Conflicts: 1141000 | #Constraints: 53419
303.83/304.91 c #Conflicts: 1142000 | #Constraints: 54419
303.83/304.91 c #Conflicts: 1143000 | #Constraints: 55419
303.83/304.91 c #Conflicts: 1144000 | #Constraints: 56419
303.83/304.91 c #Conflicts: 1145000 | #Constraints: 57419
303.83/304.91 c #Conflicts: 1146000 | #Constraints: 58419
303.83/304.91 c INPROCESSING
303.83/304.91 c GARBAGE COLLECT
303.83/304.91 c #Conflicts: 1147000 | #Constraints: 38222
303.83/304.91 c #Conflicts: 1148000 | #Constraints: 39222
303.83/304.91 c #Conflicts: 1149000 | #Constraints: 40222
303.83/304.91 c #Conflicts: 1150000 | #Constraints: 41222
303.83/304.91 c #Conflicts: 1151000 | #Constraints: 42222
303.83/304.91 c #Conflicts: 1152000 | #Constraints: 43222
303.83/304.91 c #Conflicts: 1153000 | #Constraints: 44222
303.83/304.91 c #Conflicts: 1154000 | #Constraints: 45222
303.83/304.91 c #Conflicts: 1155000 | #Constraints: 46222
303.83/304.91 c #Conflicts: 1156000 | #Constraints: 47222
303.83/304.91 c #Conflicts: 1157000 | #Constraints: 48222
303.83/304.91 c #Conflicts: 1158000 | #Constraints: 49222
303.83/304.91 c #Conflicts: 1159000 | #Constraints: 50222
303.83/304.91 c #Conflicts: 1160000 | #Constraints: 51222
303.83/304.91 c #Conflicts: 1161000 | #Constraints: 52222
303.83/304.91 c #Conflicts: 1162000 | #Constraints: 53222
303.83/304.91 c #Conflicts: 1163000 | #Constraints: 54222
303.83/304.91 c #Conflicts: 1164000 | #Constraints: 55222
303.83/304.91 c #Conflicts: 1165000 | #Constraints: 56222
303.83/304.91 c #Conflicts: 1166000 | #Constraints: 57222
303.83/304.91 c #Conflicts: 1167000 | #Constraints: 58222
303.83/304.91 c #Conflicts: 1168000 | #Constraints: 59222
303.83/304.91 c INPROCESSING
303.83/304.91 c GARBAGE COLLECT
303.83/304.91 c #Conflicts: 1169000 | #Constraints: 38826
303.83/304.91 c #Conflicts: 1170000 | #Constraints: 39826
303.83/304.91 c #Conflicts: 1171000 | #Constraints: 40826
303.83/304.91 c #Conflicts: 1172000 | #Constraints: 41826
303.83/304.91 c #Conflicts: 1173000 | #Constraints: 42826
303.83/304.91 c #Conflicts: 1174000 | #Constraints: 43826
303.83/304.91 c #Conflicts: 1175000 | #Constraints: 44826
303.83/304.91 c #Conflicts: 1176000 | #Constraints: 45826
303.83/304.91 c #Conflicts: 1177000 | #Constraints: 46826
303.83/304.91 c #Conflicts: 1178000 | #Constraints: 47826
303.83/304.91 c #Conflicts: 1179000 | #Constraints: 48826
303.83/304.91 c #Conflicts: 1180000 | #Constraints: 49826
303.83/304.91 c #Conflicts: 1181000 | #Constraints: 50826
303.83/304.91 c #Conflicts: 1182000 | #Constraints: 51826
303.83/304.91 c #Conflicts: 1183000 | #Constraints: 52826
303.83/304.91 c #Conflicts: 1184000 | #Constraints: 53826
303.83/304.91 c #Conflicts: 1185000 | #Constraints: 54826
303.83/304.91 c #Conflicts: 1186000 | #Constraints: 55826
303.83/304.91 c #Conflicts: 1187000 | #Constraints: 56826
303.83/304.91 c #Conflicts: 1188000 | #Constraints: 57826
303.83/304.91 c #Conflicts: 1189000 | #Constraints: 58826
303.83/304.91 c #Conflicts: 1190000 | #Constraints: 59826
303.83/304.91 c INPROCESSING
303.83/304.91 c GARBAGE COLLECT
303.83/304.91 c #Conflicts: 1191000 | #Constraints: 39224
303.83/304.91 c #Conflicts: 1192000 | #Constraints: 40224
303.83/304.91 c #Conflicts: 1193000 | #Constraints: 41224
303.83/304.91 c #Conflicts: 1194000 | #Constraints: 42224
303.83/304.91 c #Conflicts: 1195000 | #Constraints: 43224
303.83/304.91 c #Conflicts: 1196000 | #Constraints: 44224
303.83/304.91 c #Conflicts: 1197000 | #Constraints: 45224
303.83/304.91 c #Conflicts: 1198000 | #Constraints: 46224
303.83/304.91 c #Conflicts: 1199000 | #Constraints: 47224
303.83/304.91 c #Conflicts: 1200000 | #Constraints: 48224
303.83/304.91 c #Conflicts: 1201000 | #Constraints: 49224
303.83/304.91 c #Conflicts: 1202000 | #Constraints: 50224
303.83/304.91 c #Conflicts: 1203000 | #Constraints: 51224
303.83/304.91 c #Conflicts: 1204000 | #Constraints: 52224
303.83/304.91 c #Conflicts: 1205000 | #Constraints: 53224
303.83/304.91 c #Conflicts: 1206000 | #Constraints: 54224
303.83/304.91 c #Conflicts: 1207000 | #Constraints: 55224
303.83/304.91 c #Conflicts: 1208000 | #Constraints: 56224
328.86/330.07 c #Conflicts: 1209000 | #Constraints: 57224
328.86/330.07 c #Conflicts: 1210000 | #Constraints: 58224
328.86/330.07 c #Conflicts: 1211000 | #Constraints: 59224
328.86/330.07 c #Conflicts: 1212000 | #Constraints: 60224
328.86/330.07 c INPROCESSING
328.86/330.07 c GARBAGE COLLECT
328.86/330.07 c #Conflicts: 1213000 | #Constraints: 39427
328.86/330.07 c #Conflicts: 1214000 | #Constraints: 40427
328.86/330.07 c #Conflicts: 1215000 | #Constraints: 41427
328.86/330.07 c #Conflicts: 1216000 | #Constraints: 42427
328.86/330.07 c #Conflicts: 1217000 | #Constraints: 43427
328.86/330.07 c #Conflicts: 1218000 | #Constraints: 44427
328.86/330.07 c #Conflicts: 1219000 | #Constraints: 45427
328.86/330.07 c #Conflicts: 1220000 | #Constraints: 46427
328.86/330.07 c #Conflicts: 1221000 | #Constraints: 47427
328.86/330.07 c #Conflicts: 1222000 | #Constraints: 48427
328.86/330.07 c #Conflicts: 1223000 | #Constraints: 49427
328.86/330.07 c #Conflicts: 1224000 | #Constraints: 50427
328.86/330.07 c #Conflicts: 1225000 | #Constraints: 51427
328.86/330.07 c #Conflicts: 1226000 | #Constraints: 52427
328.86/330.07 c #Conflicts: 1227000 | #Constraints: 53427
328.86/330.07 c #Conflicts: 1228000 | #Constraints: 54427
328.86/330.07 c #Conflicts: 1229000 | #Constraints: 55427
328.86/330.07 c #Conflicts: 1230000 | #Constraints: 56427
328.86/330.07 c #Conflicts: 1231000 | #Constraints: 57427
328.86/330.07 c #Conflicts: 1232000 | #Constraints: 58427
328.86/330.07 c #Conflicts: 1233000 | #Constraints: 59427
328.86/330.07 c #Conflicts: 1234000 | #Constraints: 60427
328.86/330.07 c INPROCESSING
328.86/330.07 c GARBAGE COLLECT
328.86/330.07 c #Conflicts: 1235000 | #Constraints: 39437
328.86/330.07 c #Conflicts: 1236000 | #Constraints: 40437
328.86/330.07 c #Conflicts: 1237000 | #Constraints: 41437
328.86/330.07 c #Conflicts: 1238000 | #Constraints: 42437
328.86/330.07 c #Conflicts: 1239000 | #Constraints: 43437
328.86/330.07 c #Conflicts: 1240000 | #Constraints: 44437
328.86/330.07 c #Conflicts: 1241000 | #Constraints: 45437
328.86/330.07 c #Conflicts: 1242000 | #Constraints: 46437
328.86/330.07 c #Conflicts: 1243000 | #Constraints: 47437
328.86/330.07 c #Conflicts: 1244000 | #Constraints: 48437
328.86/330.07 c #Conflicts: 1245000 | #Constraints: 49437
328.86/330.07 c #Conflicts: 1246000 | #Constraints: 50437
328.86/330.07 c #Conflicts: 1247000 | #Constraints: 51437
328.86/330.07 c #Conflicts: 1248000 | #Constraints: 52437
328.86/330.07 c #Conflicts: 1249000 | #Constraints: 53437
328.86/330.07 c #Conflicts: 1250000 | #Constraints: 54437
328.86/330.07 c #Conflicts: 1251000 | #Constraints: 55437
328.86/330.07 c #Conflicts: 1252000 | #Constraints: 56437
328.86/330.07 c #Conflicts: 1253000 | #Constraints: 57437
328.86/330.07 c #Conflicts: 1254000 | #Constraints: 58437
328.86/330.07 c #Conflicts: 1255000 | #Constraints: 59437
328.86/330.07 c #Conflicts: 1256000 | #Constraints: 60437
328.86/330.07 c INPROCESSING
328.86/330.07 c GARBAGE COLLECT
328.86/330.07 c #Conflicts: 1257000 | #Constraints: 39241
328.86/330.07 c #Conflicts: 1258000 | #Constraints: 40241
328.86/330.07 c #Conflicts: 1259000 | #Constraints: 41241
328.86/330.07 c #Conflicts: 1260000 | #Constraints: 42241
328.86/330.07 c #Conflicts: 1261000 | #Constraints: 43241
328.86/330.07 c #Conflicts: 1262000 | #Constraints: 44241
328.86/330.07 c #Conflicts: 1263000 | #Constraints: 45241
328.86/330.07 c #Conflicts: 1264000 | #Constraints: 46241
328.86/330.07 c #Conflicts: 1265000 | #Constraints: 47241
328.86/330.07 c #Conflicts: 1266000 | #Constraints: 48241
328.86/330.07 c #Conflicts: 1267000 | #Constraints: 49241
328.86/330.07 c #Conflicts: 1268000 | #Constraints: 50241
328.86/330.07 c #Conflicts: 1269000 | #Constraints: 51241
328.86/330.07 c #Conflicts: 1270000 | #Constraints: 52241
328.86/330.07 c #Conflicts: 1271000 | #Constraints: 53241
328.86/330.07 c #Conflicts: 1272000 | #Constraints: 54241
328.86/330.07 c #Conflicts: 1273000 | #Constraints: 55241
328.86/330.07 c #Conflicts: 1274000 | #Constraints: 56241
328.86/330.07 c #Conflicts: 1275000 | #Constraints: 57241
328.86/330.07 c #Conflicts: 1276000 | #Constraints: 58241
328.86/330.07 c #Conflicts: 1277000 | #Constraints: 59241
328.86/330.07 c #Conflicts: 1278000 | #Constraints: 60241
328.86/330.07 c #Conflicts: 1279000 | #Constraints: 61241
328.86/330.07 c INPROCESSING
328.86/330.07 c GARBAGE COLLECT
328.86/330.07 c #Conflicts: 1280000 | #Constraints: 39838
328.86/330.07 c #Conflicts: 1281000 | #Constraints: 40838
328.86/330.07 c #Conflicts: 1282000 | #Constraints: 41838
328.86/330.07 c #Conflicts: 1283000 | #Constraints: 42838
328.86/330.07 c #Conflicts: 1284000 | #Constraints: 43838
354.67/355.98 c #Conflicts: 1285000 | #Constraints: 44838
354.67/355.98 c #Conflicts: 1286000 | #Constraints: 45838
354.67/355.98 c #Conflicts: 1287000 | #Constraints: 46838
354.67/355.98 c #Conflicts: 1288000 | #Constraints: 47838
354.67/355.98 c #Conflicts: 1289000 | #Constraints: 48838
354.67/355.98 c #Conflicts: 1290000 | #Constraints: 49838
354.67/355.98 c #Conflicts: 1291000 | #Constraints: 50838
354.67/355.98 c #Conflicts: 1292000 | #Constraints: 51838
354.67/355.98 c #Conflicts: 1293000 | #Constraints: 52838
354.67/355.98 c #Conflicts: 1294000 | #Constraints: 53838
354.67/355.98 c #Conflicts: 1295000 | #Constraints: 54838
354.67/355.98 c #Conflicts: 1296000 | #Constraints: 55838
354.67/355.98 c #Conflicts: 1297000 | #Constraints: 56838
354.67/355.98 c #Conflicts: 1298000 | #Constraints: 57838
354.67/355.98 c #Conflicts: 1299000 | #Constraints: 58838
354.67/355.98 c #Conflicts: 1300000 | #Constraints: 59838
354.67/355.98 c #Conflicts: 1301000 | #Constraints: 60838
354.67/355.98 c #Conflicts: 1302000 | #Constraints: 61838
354.67/355.98 c INPROCESSING
354.67/355.98 c GARBAGE COLLECT
354.67/355.98 c #Conflicts: 1303000 | #Constraints: 40229
354.67/355.98 c #Conflicts: 1304000 | #Constraints: 41229
354.67/355.98 c #Conflicts: 1305000 | #Constraints: 42229
354.67/355.98 c #Conflicts: 1306000 | #Constraints: 43229
354.67/355.98 c #Conflicts: 1307000 | #Constraints: 44229
354.67/355.98 c #Conflicts: 1308000 | #Constraints: 45229
354.67/355.98 c #Conflicts: 1309000 | #Constraints: 46229
354.67/355.98 c #Conflicts: 1310000 | #Constraints: 47229
354.67/355.98 c #Conflicts: 1311000 | #Constraints: 48229
354.67/355.98 c #Conflicts: 1312000 | #Constraints: 49229
354.67/355.98 c #Conflicts: 1313000 | #Constraints: 50229
354.67/355.98 c #Conflicts: 1314000 | #Constraints: 51229
354.67/355.98 c #Conflicts: 1315000 | #Constraints: 52229
354.67/355.98 c #Conflicts: 1316000 | #Constraints: 53229
354.67/355.98 c #Conflicts: 1317000 | #Constraints: 54229
354.67/355.98 c #Conflicts: 1318000 | #Constraints: 55229
354.67/355.98 c #Conflicts: 1319000 | #Constraints: 56229
354.67/355.98 c #Conflicts: 1320000 | #Constraints: 57229
354.67/355.98 c #Conflicts: 1321000 | #Constraints: 58229
354.67/355.98 c #Conflicts: 1322000 | #Constraints: 59229
354.67/355.98 c #Conflicts: 1323000 | #Constraints: 60229
354.67/355.98 c #Conflicts: 1324000 | #Constraints: 61229
354.67/355.98 c #Conflicts: 1325000 | #Constraints: 62229
354.67/355.98 c INPROCESSING
354.67/355.98 c GARBAGE COLLECT
354.67/355.98 c #Conflicts: 1326000 | #Constraints: 40422
354.67/355.98 c #Conflicts: 1327000 | #Constraints: 41422
354.67/355.98 c #Conflicts: 1328000 | #Constraints: 42422
354.67/355.98 c #Conflicts: 1329000 | #Constraints: 43422
354.67/355.98 c #Conflicts: 1330000 | #Constraints: 44422
354.67/355.98 c #Conflicts: 1331000 | #Constraints: 45422
354.67/355.98 c #Conflicts: 1332000 | #Constraints: 46422
354.67/355.98 c #Conflicts: 1333000 | #Constraints: 47422
354.67/355.98 c #Conflicts: 1334000 | #Constraints: 48422
354.67/355.98 c #Conflicts: 1335000 | #Constraints: 49422
354.67/355.98 c #Conflicts: 1336000 | #Constraints: 50422
354.67/355.98 c #Conflicts: 1337000 | #Constraints: 51422
354.67/355.98 c #Conflicts: 1338000 | #Constraints: 52422
354.67/355.98 c #Conflicts: 1339000 | #Constraints: 53422
354.67/355.98 c #Conflicts: 1340000 | #Constraints: 54422
354.67/355.98 c #Conflicts: 1341000 | #Constraints: 55422
354.67/355.98 c #Conflicts: 1342000 | #Constraints: 56422
354.67/355.98 c #Conflicts: 1343000 | #Constraints: 57422
354.67/355.98 c #Conflicts: 1344000 | #Constraints: 58422
354.67/355.98 c #Conflicts: 1345000 | #Constraints: 59422
354.67/355.98 c #Conflicts: 1346000 | #Constraints: 60422
354.67/355.98 c #Conflicts: 1347000 | #Constraints: 61422
354.67/355.98 c #Conflicts: 1348000 | #Constraints: 62422
354.67/355.98 c INPROCESSING
354.67/355.98 c GARBAGE COLLECT
354.67/355.98 c #Conflicts: 1349000 | #Constraints: 40440
354.67/355.98 c #Conflicts: 1350000 | #Constraints: 41440
354.67/355.98 c #Conflicts: 1351000 | #Constraints: 42440
354.67/355.98 c #Conflicts: 1352000 | #Constraints: 43440
354.67/355.98 c #Conflicts: 1353000 | #Constraints: 44440
354.67/355.98 c #Conflicts: 1354000 | #Constraints: 45440
354.67/355.98 c #Conflicts: 1355000 | #Constraints: 46440
354.67/355.98 c #Conflicts: 1356000 | #Constraints: 47440
354.67/355.98 c #Conflicts: 1357000 | #Constraints: 48440
354.67/355.98 c #Conflicts: 1358000 | #Constraints: 49440
354.67/355.98 c #Conflicts: 1359000 | #Constraints: 50440
354.67/355.98 c #Conflicts: 1360000 | #Constraints: 51440
354.67/355.98 c #Conflicts: 1361000 | #Constraints: 52440
381.48/382.86 c #Conflicts: 1362000 | #Constraints: 53440
381.48/382.86 c #Conflicts: 1363000 | #Constraints: 54440
381.48/382.86 c #Conflicts: 1364000 | #Constraints: 55440
381.48/382.86 c #Conflicts: 1365000 | #Constraints: 56440
381.48/382.86 c #Conflicts: 1366000 | #Constraints: 57440
381.48/382.86 c #Conflicts: 1367000 | #Constraints: 58440
381.48/382.86 c #Conflicts: 1368000 | #Constraints: 59440
381.48/382.86 c #Conflicts: 1369000 | #Constraints: 60440
381.48/382.86 c #Conflicts: 1370000 | #Constraints: 61440
381.48/382.86 c #Conflicts: 1371000 | #Constraints: 62440
381.48/382.86 c INPROCESSING
381.48/382.86 c GARBAGE COLLECT
381.48/382.86 c #Conflicts: 1372000 | #Constraints: 40250
381.48/382.86 c #Conflicts: 1373000 | #Constraints: 41250
381.48/382.86 c #Conflicts: 1374000 | #Constraints: 42250
381.48/382.86 c #Conflicts: 1375000 | #Constraints: 43250
381.48/382.86 c #Conflicts: 1376000 | #Constraints: 44250
381.48/382.86 c #Conflicts: 1377000 | #Constraints: 45250
381.48/382.86 c #Conflicts: 1378000 | #Constraints: 46250
381.48/382.86 c #Conflicts: 1379000 | #Constraints: 47250
381.48/382.86 c #Conflicts: 1380000 | #Constraints: 48250
381.48/382.86 c #Conflicts: 1381000 | #Constraints: 49250
381.48/382.86 c #Conflicts: 1382000 | #Constraints: 50250
381.48/382.86 c #Conflicts: 1383000 | #Constraints: 51250
381.48/382.86 c #Conflicts: 1384000 | #Constraints: 52250
381.48/382.86 c #Conflicts: 1385000 | #Constraints: 53250
381.48/382.86 c #Conflicts: 1386000 | #Constraints: 54250
381.48/382.86 c #Conflicts: 1387000 | #Constraints: 55250
381.48/382.86 c #Conflicts: 1388000 | #Constraints: 56250
381.48/382.86 c #Conflicts: 1389000 | #Constraints: 57250
381.48/382.86 c #Conflicts: 1390000 | #Constraints: 58250
381.48/382.86 c #Conflicts: 1391000 | #Constraints: 59250
381.48/382.86 c #Conflicts: 1392000 | #Constraints: 60250
381.48/382.86 c #Conflicts: 1393000 | #Constraints: 61250
381.48/382.86 c #Conflicts: 1394000 | #Constraints: 62250
381.48/382.86 c #Conflicts: 1395000 | #Constraints: 63250
381.48/382.86 c INPROCESSING
381.48/382.86 c GARBAGE COLLECT
381.48/382.86 c #Conflicts: 1396000 | #Constraints: 40842
381.48/382.86 c #Conflicts: 1397000 | #Constraints: 41842
381.48/382.86 c #Conflicts: 1398000 | #Constraints: 42842
381.48/382.86 c #Conflicts: 1399000 | #Constraints: 43842
381.48/382.86 c #Conflicts: 1400000 | #Constraints: 44842
381.48/382.86 c #Conflicts: 1401000 | #Constraints: 45842
381.48/382.86 c #Conflicts: 1402000 | #Constraints: 46842
381.48/382.86 c #Conflicts: 1403000 | #Constraints: 47842
381.48/382.86 c #Conflicts: 1404000 | #Constraints: 48842
381.48/382.86 c #Conflicts: 1405000 | #Constraints: 49842
381.48/382.86 c #Conflicts: 1406000 | #Constraints: 50842
381.48/382.86 c #Conflicts: 1407000 | #Constraints: 51842
381.48/382.86 c #Conflicts: 1408000 | #Constraints: 52842
381.48/382.86 c #Conflicts: 1409000 | #Constraints: 53842
381.48/382.86 c #Conflicts: 1410000 | #Constraints: 54842
381.48/382.86 c #Conflicts: 1411000 | #Constraints: 55842
381.48/382.86 c #Conflicts: 1412000 | #Constraints: 56842
381.48/382.86 c #Conflicts: 1413000 | #Constraints: 57842
381.48/382.86 c #Conflicts: 1414000 | #Constraints: 58842
381.48/382.86 c #Conflicts: 1415000 | #Constraints: 59842
381.48/382.86 c #Conflicts: 1416000 | #Constraints: 60842
381.48/382.86 c #Conflicts: 1417000 | #Constraints: 61842
381.48/382.86 c #Conflicts: 1418000 | #Constraints: 62842
381.48/382.86 c #Conflicts: 1419000 | #Constraints: 63842
381.48/382.86 c INPROCESSING
381.48/382.86 c GARBAGE COLLECT
381.48/382.86 c #Conflicts: 1420000 | #Constraints: 41250
381.48/382.86 c #Conflicts: 1421000 | #Constraints: 42250
381.48/382.86 c #Conflicts: 1422000 | #Constraints: 43250
381.48/382.86 c #Conflicts: 1423000 | #Constraints: 44250
381.48/382.86 c #Conflicts: 1424000 | #Constraints: 45250
381.48/382.86 c #Conflicts: 1425000 | #Constraints: 46250
381.48/382.86 c #Conflicts: 1426000 | #Constraints: 47250
381.48/382.86 c #Conflicts: 1427000 | #Constraints: 48250
381.48/382.86 c #Conflicts: 1428000 | #Constraints: 49250
381.48/382.86 c #Conflicts: 1429000 | #Constraints: 50250
381.48/382.86 c #Conflicts: 1430000 | #Constraints: 51250
381.48/382.86 c #Conflicts: 1431000 | #Constraints: 52250
381.48/382.86 c #Conflicts: 1432000 | #Constraints: 53250
381.48/382.86 c #Conflicts: 1433000 | #Constraints: 54250
381.48/382.86 c #Conflicts: 1434000 | #Constraints: 55250
381.48/382.86 c #Conflicts: 1435000 | #Constraints: 56250
381.48/382.86 c #Conflicts: 1436000 | #Constraints: 57250
381.48/382.86 c #Conflicts: 1437000 | #Constraints: 58250
381.48/382.86 c #Conflicts: 1438000 | #Constraints: 59250
408.69/410.14 c #Conflicts: 1439000 | #Constraints: 60250
408.69/410.14 c #Conflicts: 1440000 | #Constraints: 61250
408.69/410.14 c #Conflicts: 1441000 | #Constraints: 62250
408.69/410.14 c #Conflicts: 1442000 | #Constraints: 63250
408.69/410.14 c #Conflicts: 1443000 | #Constraints: 64250
408.69/410.14 c INPROCESSING
408.69/410.14 c GARBAGE COLLECT
408.69/410.14 c #Conflicts: 1444000 | #Constraints: 41442
408.69/410.14 c #Conflicts: 1445000 | #Constraints: 42442
408.69/410.14 c #Conflicts: 1446000 | #Constraints: 43442
408.69/410.14 c #Conflicts: 1447000 | #Constraints: 44442
408.69/410.14 c #Conflicts: 1448000 | #Constraints: 45442
408.69/410.14 c #Conflicts: 1449000 | #Constraints: 46442
408.69/410.14 c #Conflicts: 1450000 | #Constraints: 47442
408.69/410.14 c #Conflicts: 1451000 | #Constraints: 48442
408.69/410.14 c #Conflicts: 1452000 | #Constraints: 49442
408.69/410.14 c #Conflicts: 1453000 | #Constraints: 50442
408.69/410.14 c #Conflicts: 1454000 | #Constraints: 51442
408.69/410.14 c #Conflicts: 1455000 | #Constraints: 52442
408.69/410.14 c #Conflicts: 1456000 | #Constraints: 53442
408.69/410.14 c #Conflicts: 1457000 | #Constraints: 54442
408.69/410.14 c #Conflicts: 1458000 | #Constraints: 55442
408.69/410.14 c #Conflicts: 1459000 | #Constraints: 56442
408.69/410.14 c #Conflicts: 1460000 | #Constraints: 57442
408.69/410.14 c #Conflicts: 1461000 | #Constraints: 58442
408.69/410.14 c #Conflicts: 1462000 | #Constraints: 59442
408.69/410.14 c #Conflicts: 1463000 | #Constraints: 60442
408.69/410.14 c #Conflicts: 1464000 | #Constraints: 61442
408.69/410.14 c #Conflicts: 1465000 | #Constraints: 62442
408.69/410.14 c #Conflicts: 1466000 | #Constraints: 63442
408.69/410.14 c #Conflicts: 1467000 | #Constraints: 64442
408.69/410.14 c INPROCESSING
408.69/410.14 c GARBAGE COLLECT
408.69/410.14 c #Conflicts: 1468000 | #Constraints: 41454
408.69/410.14 c #Conflicts: 1469000 | #Constraints: 42454
408.69/410.14 c #Conflicts: 1470000 | #Constraints: 43454
408.69/410.14 c #Conflicts: 1471000 | #Constraints: 44454
408.69/410.14 c #Conflicts: 1472000 | #Constraints: 45454
408.69/410.14 c #Conflicts: 1473000 | #Constraints: 46454
408.69/410.14 c #Conflicts: 1474000 | #Constraints: 47454
408.69/410.14 c #Conflicts: 1475000 | #Constraints: 48454
408.69/410.14 c #Conflicts: 1476000 | #Constraints: 49454
408.69/410.14 c #Conflicts: 1477000 | #Constraints: 50454
408.69/410.14 c #Conflicts: 1478000 | #Constraints: 51454
408.69/410.14 c #Conflicts: 1479000 | #Constraints: 52454
408.69/410.14 c #Conflicts: 1480000 | #Constraints: 53454
408.69/410.14 c #Conflicts: 1481000 | #Constraints: 54454
408.69/410.14 c #Conflicts: 1482000 | #Constraints: 55454
408.69/410.14 c #Conflicts: 1483000 | #Constraints: 56454
408.69/410.14 c #Conflicts: 1484000 | #Constraints: 57454
408.69/410.14 c #Conflicts: 1485000 | #Constraints: 58454
408.69/410.14 c #Conflicts: 1486000 | #Constraints: 59454
408.69/410.14 c #Conflicts: 1487000 | #Constraints: 60454
408.69/410.14 c #Conflicts: 1488000 | #Constraints: 61454
408.69/410.14 c #Conflicts: 1489000 | #Constraints: 62454
408.69/410.14 c #Conflicts: 1490000 | #Constraints: 63454
408.69/410.14 c #Conflicts: 1491000 | #Constraints: 64454
408.69/410.14 c INPROCESSING
408.69/410.14 c GARBAGE COLLECT
408.69/410.14 c #Conflicts: 1492000 | #Constraints: 41240
408.69/410.14 c #Conflicts: 1493000 | #Constraints: 42240
408.69/410.14 c #Conflicts: 1494000 | #Constraints: 43240
408.69/410.14 c #Conflicts: 1495000 | #Constraints: 44240
408.69/410.14 c #Conflicts: 1496000 | #Constraints: 45240
408.69/410.14 c #Conflicts: 1497000 | #Constraints: 46240
408.69/410.14 c #Conflicts: 1498000 | #Constraints: 47240
408.69/410.14 c #Conflicts: 1499000 | #Constraints: 48240
408.69/410.14 c #Conflicts: 1500000 | #Constraints: 49240
408.69/410.14 c #Conflicts: 1501000 | #Constraints: 50240
408.69/410.14 c #Conflicts: 1502000 | #Constraints: 51240
408.69/410.14 c #Conflicts: 1503000 | #Constraints: 52240
408.69/410.14 c #Conflicts: 1504000 | #Constraints: 53240
408.69/410.14 c #Conflicts: 1505000 | #Constraints: 54240
408.69/410.14 c #Conflicts: 1506000 | #Constraints: 55240
408.69/410.14 c #Conflicts: 1507000 | #Constraints: 56240
408.69/410.14 c #Conflicts: 1508000 | #Constraints: 57240
408.69/410.14 c #Conflicts: 1509000 | #Constraints: 58240
408.69/410.14 c #Conflicts: 1510000 | #Constraints: 59240
408.69/410.14 c #Conflicts: 1511000 | #Constraints: 60240
408.69/410.14 c #Conflicts: 1512000 | #Constraints: 61240
408.69/410.14 c #Conflicts: 1513000 | #Constraints: 62240
408.69/410.14 c #Conflicts: 1514000 | #Constraints: 63240
436.78/438.30 c #Conflicts: 1515000 | #Constraints: 64240
436.78/438.30 c #Conflicts: 1516000 | #Constraints: 65240
436.78/438.30 c INPROCESSING
436.78/438.30 c GARBAGE COLLECT
436.78/438.30 c #Conflicts: 1517000 | #Constraints: 41844
436.78/438.30 c #Conflicts: 1518000 | #Constraints: 42844
436.78/438.30 c #Conflicts: 1519000 | #Constraints: 43844
436.78/438.30 c #Conflicts: 1520000 | #Constraints: 44844
436.78/438.30 c #Conflicts: 1521000 | #Constraints: 45844
436.78/438.30 c #Conflicts: 1522000 | #Constraints: 46844
436.78/438.30 c #Conflicts: 1523000 | #Constraints: 47844
436.78/438.30 c #Conflicts: 1524000 | #Constraints: 48844
436.78/438.30 c #Conflicts: 1525000 | #Constraints: 49844
436.78/438.30 c #Conflicts: 1526000 | #Constraints: 50844
436.78/438.30 c #Conflicts: 1527000 | #Constraints: 51844
436.78/438.30 c #Conflicts: 1528000 | #Constraints: 52844
436.78/438.30 c #Conflicts: 1529000 | #Constraints: 53844
436.78/438.30 c #Conflicts: 1530000 | #Constraints: 54844
436.78/438.30 c #Conflicts: 1531000 | #Constraints: 55844
436.78/438.30 c #Conflicts: 1532000 | #Constraints: 56844
436.78/438.30 c #Conflicts: 1533000 | #Constraints: 57844
436.78/438.30 c #Conflicts: 1534000 | #Constraints: 58844
436.78/438.30 c #Conflicts: 1535000 | #Constraints: 59844
436.78/438.30 c #Conflicts: 1536000 | #Constraints: 60844
436.78/438.30 c #Conflicts: 1537000 | #Constraints: 61844
436.78/438.30 c #Conflicts: 1538000 | #Constraints: 62844
436.78/438.30 c #Conflicts: 1539000 | #Constraints: 63844
436.78/438.30 c #Conflicts: 1540000 | #Constraints: 64844
436.78/438.30 c #Conflicts: 1541000 | #Constraints: 65844
436.78/438.30 c INPROCESSING
436.78/438.30 c GARBAGE COLLECT
436.78/438.30 c #Conflicts: 1542000 | #Constraints: 42242
436.78/438.30 c #Conflicts: 1543000 | #Constraints: 43242
436.78/438.30 c #Conflicts: 1544000 | #Constraints: 44242
436.78/438.30 c #Conflicts: 1545000 | #Constraints: 45242
436.78/438.30 c #Conflicts: 1546000 | #Constraints: 46242
436.78/438.30 c #Conflicts: 1547000 | #Constraints: 47242
436.78/438.30 c #Conflicts: 1548000 | #Constraints: 48242
436.78/438.30 c #Conflicts: 1549000 | #Constraints: 49242
436.78/438.30 c #Conflicts: 1550000 | #Constraints: 50242
436.78/438.30 c #Conflicts: 1551000 | #Constraints: 51242
436.78/438.30 c #Conflicts: 1552000 | #Constraints: 52242
436.78/438.30 c #Conflicts: 1553000 | #Constraints: 53242
436.78/438.30 c #Conflicts: 1554000 | #Constraints: 54242
436.78/438.30 c #Conflicts: 1555000 | #Constraints: 55242
436.78/438.30 c #Conflicts: 1556000 | #Constraints: 56242
436.78/438.30 c #Conflicts: 1557000 | #Constraints: 57242
436.78/438.30 c #Conflicts: 1558000 | #Constraints: 58242
436.78/438.30 c #Conflicts: 1559000 | #Constraints: 59242
436.78/438.30 c #Conflicts: 1560000 | #Constraints: 60242
436.78/438.30 c #Conflicts: 1561000 | #Constraints: 61242
436.78/438.30 c #Conflicts: 1562000 | #Constraints: 62242
436.78/438.30 c #Conflicts: 1563000 | #Constraints: 63242
436.78/438.30 c #Conflicts: 1564000 | #Constraints: 64242
436.78/438.30 c #Conflicts: 1565000 | #Constraints: 65242
436.78/438.30 c #Conflicts: 1566000 | #Constraints: 66242
436.78/438.30 c INPROCESSING
436.78/438.30 c GARBAGE COLLECT
436.78/438.30 c #Conflicts: 1567000 | #Constraints: 42432
436.78/438.30 c #Conflicts: 1568000 | #Constraints: 43432
436.78/438.30 c #Conflicts: 1569000 | #Constraints: 44432
436.78/438.30 c #Conflicts: 1570000 | #Constraints: 45432
436.78/438.30 c #Conflicts: 1571000 | #Constraints: 46432
436.78/438.30 c #Conflicts: 1572000 | #Constraints: 47432
436.78/438.30 c #Conflicts: 1573000 | #Constraints: 48432
436.78/438.30 c #Conflicts: 1574000 | #Constraints: 49432
436.78/438.30 c #Conflicts: 1575000 | #Constraints: 50432
436.78/438.30 c #Conflicts: 1576000 | #Constraints: 51432
436.78/438.30 c #Conflicts: 1577000 | #Constraints: 52432
436.78/438.30 c #Conflicts: 1578000 | #Constraints: 53432
436.78/438.30 c #Conflicts: 1579000 | #Constraints: 54432
436.78/438.30 c #Conflicts: 1580000 | #Constraints: 55432
436.78/438.30 c #Conflicts: 1581000 | #Constraints: 56432
436.78/438.30 c #Conflicts: 1582000 | #Constraints: 57432
436.78/438.30 c #Conflicts: 1583000 | #Constraints: 58432
436.78/438.30 c #Conflicts: 1584000 | #Constraints: 59432
436.78/438.30 c #Conflicts: 1585000 | #Constraints: 60432
436.78/438.30 c #Conflicts: 1586000 | #Constraints: 61432
436.78/438.30 c #Conflicts: 1587000 | #Constraints: 62432
436.78/438.30 c #Conflicts: 1588000 | #Constraints: 63432
436.78/438.30 c #Conflicts: 1589000 | #Constraints: 64432
436.78/438.30 c #Conflicts: 1590000 | #Constraints: 65432
436.78/438.30 c #Conflicts: 1591000 | #Constraints: 66432
466.39/468.02 c INPROCESSING
466.39/468.02 c GARBAGE COLLECT
466.39/468.02 c #Conflicts: 1592000 | #Constraints: 42426
466.39/468.02 c #Conflicts: 1593000 | #Constraints: 43426
466.39/468.02 c #Conflicts: 1594000 | #Constraints: 44426
466.39/468.02 c #Conflicts: 1595000 | #Constraints: 45426
466.39/468.02 c #Conflicts: 1596000 | #Constraints: 46426
466.39/468.02 c #Conflicts: 1597000 | #Constraints: 47426
466.39/468.02 c #Conflicts: 1598000 | #Constraints: 48426
466.39/468.02 c #Conflicts: 1599000 | #Constraints: 49426
466.39/468.02 c #Conflicts: 1600000 | #Constraints: 50426
466.39/468.02 c #Conflicts: 1601000 | #Constraints: 51426
466.39/468.02 c #Conflicts: 1602000 | #Constraints: 52426
466.39/468.02 c #Conflicts: 1603000 | #Constraints: 53426
466.39/468.02 c #Conflicts: 1604000 | #Constraints: 54426
466.39/468.02 c #Conflicts: 1605000 | #Constraints: 55426
466.39/468.02 c #Conflicts: 1606000 | #Constraints: 56426
466.39/468.02 c #Conflicts: 1607000 | #Constraints: 57426
466.39/468.02 c #Conflicts: 1608000 | #Constraints: 58426
466.39/468.02 c #Conflicts: 1609000 | #Constraints: 59426
466.39/468.02 c #Conflicts: 1610000 | #Constraints: 60426
466.39/468.02 c #Conflicts: 1611000 | #Constraints: 61426
466.39/468.02 c #Conflicts: 1612000 | #Constraints: 62426
466.39/468.02 c #Conflicts: 1613000 | #Constraints: 63426
466.39/468.02 c #Conflicts: 1614000 | #Constraints: 64426
466.39/468.02 c #Conflicts: 1615000 | #Constraints: 65426
466.39/468.02 c #Conflicts: 1616000 | #Constraints: 66426
466.39/468.02 c INPROCESSING
466.39/468.02 c GARBAGE COLLECT
466.39/468.02 c #Conflicts: 1617000 | #Constraints: 42221
466.39/468.02 c #Conflicts: 1618000 | #Constraints: 43221
466.39/468.02 c #Conflicts: 1619000 | #Constraints: 44221
466.39/468.02 c #Conflicts: 1620000 | #Constraints: 45221
466.39/468.02 c #Conflicts: 1621000 | #Constraints: 46221
466.39/468.02 c #Conflicts: 1622000 | #Constraints: 47221
466.39/468.02 c #Conflicts: 1623000 | #Constraints: 48221
466.39/468.02 c #Conflicts: 1624000 | #Constraints: 49221
466.39/468.02 c #Conflicts: 1625000 | #Constraints: 50221
466.39/468.02 c #Conflicts: 1626000 | #Constraints: 51221
466.39/468.02 c #Conflicts: 1627000 | #Constraints: 52221
466.39/468.02 c #Conflicts: 1628000 | #Constraints: 53221
466.39/468.02 c #Conflicts: 1629000 | #Constraints: 54221
466.39/468.02 c #Conflicts: 1630000 | #Constraints: 55221
466.39/468.02 c #Conflicts: 1631000 | #Constraints: 56221
466.39/468.02 c #Conflicts: 1632000 | #Constraints: 57221
466.39/468.02 c #Conflicts: 1633000 | #Constraints: 58221
466.39/468.02 c #Conflicts: 1634000 | #Constraints: 59221
466.39/468.02 c #Conflicts: 1635000 | #Constraints: 60221
466.39/468.02 c #Conflicts: 1636000 | #Constraints: 61221
466.39/468.02 c #Conflicts: 1637000 | #Constraints: 62221
466.39/468.02 c #Conflicts: 1638000 | #Constraints: 63221
466.39/468.02 c #Conflicts: 1639000 | #Constraints: 64221
466.39/468.02 c #Conflicts: 1640000 | #Constraints: 65221
466.39/468.02 c #Conflicts: 1641000 | #Constraints: 66221
466.39/468.02 c #Conflicts: 1642000 | #Constraints: 67221
466.39/468.02 c INPROCESSING
466.39/468.02 c GARBAGE COLLECT
466.39/468.02 c #Conflicts: 1643000 | #Constraints: 42840
466.39/468.02 c #Conflicts: 1644000 | #Constraints: 43840
466.39/468.02 c #Conflicts: 1645000 | #Constraints: 44840
466.39/468.02 c #Conflicts: 1646000 | #Constraints: 45840
466.39/468.02 c #Conflicts: 1647000 | #Constraints: 46840
466.39/468.02 c #Conflicts: 1648000 | #Constraints: 47840
466.39/468.02 c #Conflicts: 1649000 | #Constraints: 48840
466.39/468.02 c #Conflicts: 1650000 | #Constraints: 49840
466.39/468.02 c #Conflicts: 1651000 | #Constraints: 50840
466.39/468.02 c #Conflicts: 1652000 | #Constraints: 51840
466.39/468.02 c #Conflicts: 1653000 | #Constraints: 52840
466.39/468.02 c #Conflicts: 1654000 | #Constraints: 53840
466.39/468.02 c #Conflicts: 1655000 | #Constraints: 54840
466.39/468.02 c #Conflicts: 1656000 | #Constraints: 55840
466.39/468.02 c #Conflicts: 1657000 | #Constraints: 56840
466.39/468.02 c #Conflicts: 1658000 | #Constraints: 57840
466.39/468.02 c #Conflicts: 1659000 | #Constraints: 58840
466.39/468.02 c #Conflicts: 1660000 | #Constraints: 59840
466.39/468.02 c #Conflicts: 1661000 | #Constraints: 60840
466.39/468.02 c #Conflicts: 1662000 | #Constraints: 61840
466.39/468.02 c #Conflicts: 1663000 | #Constraints: 62840
466.39/468.02 c #Conflicts: 1664000 | #Constraints: 63840
466.39/468.02 c #Conflicts: 1665000 | #Constraints: 64840
466.39/468.02 c #Conflicts: 1666000 | #Constraints: 65840
466.39/468.02 c #Conflicts: 1667000 | #Constraints: 66840
466.39/468.02 c #Conflicts: 1668000 | #Constraints: 67840
495.39/497.12 c INPROCESSING
495.39/497.12 c GARBAGE COLLECT
495.39/497.12 c #Conflicts: 1669000 | #Constraints: 43250
495.39/497.12 c #Conflicts: 1670000 | #Constraints: 44250
495.39/497.12 c #Conflicts: 1671000 | #Constraints: 45250
495.39/497.12 c #Conflicts: 1672000 | #Constraints: 46250
495.39/497.12 c #Conflicts: 1673000 | #Constraints: 47250
495.39/497.12 c #Conflicts: 1674000 | #Constraints: 48250
495.39/497.12 c #Conflicts: 1675000 | #Constraints: 49250
495.39/497.12 c #Conflicts: 1676000 | #Constraints: 50250
495.39/497.12 c #Conflicts: 1677000 | #Constraints: 51250
495.39/497.12 c #Conflicts: 1678000 | #Constraints: 52250
495.39/497.12 c #Conflicts: 1679000 | #Constraints: 53250
495.39/497.12 c #Conflicts: 1680000 | #Constraints: 54250
495.39/497.12 c #Conflicts: 1681000 | #Constraints: 55250
495.39/497.12 c #Conflicts: 1682000 | #Constraints: 56250
495.39/497.12 c #Conflicts: 1683000 | #Constraints: 57250
495.39/497.12 c #Conflicts: 1684000 | #Constraints: 58250
495.39/497.12 c #Conflicts: 1685000 | #Constraints: 59250
495.39/497.12 c #Conflicts: 1686000 | #Constraints: 60250
495.39/497.12 c #Conflicts: 1687000 | #Constraints: 61250
495.39/497.12 c #Conflicts: 1688000 | #Constraints: 62250
495.39/497.12 c #Conflicts: 1689000 | #Constraints: 63250
495.39/497.12 c #Conflicts: 1690000 | #Constraints: 64250
495.39/497.12 c #Conflicts: 1691000 | #Constraints: 65250
495.39/497.12 c #Conflicts: 1692000 | #Constraints: 66250
495.39/497.12 c #Conflicts: 1693000 | #Constraints: 67250
495.39/497.12 c #Conflicts: 1694000 | #Constraints: 68250
495.39/497.12 c INPROCESSING
495.39/497.12 c GARBAGE COLLECT
495.39/497.12 c #Conflicts: 1695000 | #Constraints: 43463
495.39/497.12 c #Conflicts: 1696000 | #Constraints: 44463
495.39/497.12 c #Conflicts: 1697000 | #Constraints: 45463
495.39/497.12 c #Conflicts: 1698000 | #Constraints: 46463
495.39/497.12 c #Conflicts: 1699000 | #Constraints: 47463
495.39/497.12 c #Conflicts: 1700000 | #Constraints: 48463
495.39/497.12 c #Conflicts: 1701000 | #Constraints: 49463
495.39/497.12 c #Conflicts: 1702000 | #Constraints: 50463
495.39/497.12 c #Conflicts: 1703000 | #Constraints: 51463
495.39/497.12 c #Conflicts: 1704000 | #Constraints: 52463
495.39/497.12 c #Conflicts: 1705000 | #Constraints: 53463
495.39/497.12 c #Conflicts: 1706000 | #Constraints: 54463
495.39/497.12 c #Conflicts: 1707000 | #Constraints: 55463
495.39/497.12 c #Conflicts: 1708000 | #Constraints: 56463
495.39/497.12 c #Conflicts: 1709000 | #Constraints: 57463
495.39/497.12 c #Conflicts: 1710000 | #Constraints: 58463
495.39/497.12 c #Conflicts: 1711000 | #Constraints: 59463
495.39/497.12 c #Conflicts: 1712000 | #Constraints: 60463
495.39/497.12 c #Conflicts: 1713000 | #Constraints: 61463
495.39/497.12 c #Conflicts: 1714000 | #Constraints: 62463
495.39/497.12 c #Conflicts: 1715000 | #Constraints: 63463
495.39/497.12 c #Conflicts: 1716000 | #Constraints: 64463
495.39/497.12 c #Conflicts: 1717000 | #Constraints: 65463
495.39/497.12 c #Conflicts: 1718000 | #Constraints: 66463
495.39/497.12 c #Conflicts: 1719000 | #Constraints: 67463
495.39/497.12 c #Conflicts: 1720000 | #Constraints: 68463
495.39/497.12 c INPROCESSING
495.39/497.12 c GARBAGE COLLECT
495.39/497.12 c #Conflicts: 1721000 | #Constraints: 43452
495.39/497.12 c #Conflicts: 1722000 | #Constraints: 44452
495.39/497.12 c #Conflicts: 1723000 | #Constraints: 45452
495.39/497.12 c #Conflicts: 1724000 | #Constraints: 46452
495.39/497.12 c #Conflicts: 1725000 | #Constraints: 47452
495.39/497.12 c #Conflicts: 1726000 | #Constraints: 48452
495.39/497.12 c #Conflicts: 1727000 | #Constraints: 49452
495.39/497.12 c #Conflicts: 1728000 | #Constraints: 50452
495.39/497.12 c #Conflicts: 1729000 | #Constraints: 51452
495.39/497.12 c #Conflicts: 1730000 | #Constraints: 52452
495.39/497.12 c #Conflicts: 1731000 | #Constraints: 53452
495.39/497.12 c #Conflicts: 1732000 | #Constraints: 54452
495.39/497.12 c #Conflicts: 1733000 | #Constraints: 55452
495.39/497.12 c #Conflicts: 1734000 | #Constraints: 56452
495.39/497.12 c #Conflicts: 1735000 | #Constraints: 57452
495.39/497.12 c #Conflicts: 1736000 | #Constraints: 58452
495.39/497.12 c #Conflicts: 1737000 | #Constraints: 59452
495.39/497.12 c #Conflicts: 1738000 | #Constraints: 60452
495.39/497.12 c #Conflicts: 1739000 | #Constraints: 61452
495.39/497.12 c #Conflicts: 1740000 | #Constraints: 62452
495.39/497.12 c #Conflicts: 1741000 | #Constraints: 63452
495.39/497.12 c #Conflicts: 1742000 | #Constraints: 64452
495.39/497.12 c #Conflicts: 1743000 | #Constraints: 65452
495.39/497.12 c #Conflicts: 1744000 | #Constraints: 66452
495.39/497.12 c #Conflicts: 1745000 | #Constraints: 67452
526.07/527.90 c #Conflicts: 1746000 | #Constraints: 68452
526.07/527.90 c INPROCESSING
526.07/527.90 c GARBAGE COLLECT
526.07/527.90 c #Conflicts: 1747000 | #Constraints: 43261
526.07/527.90 c #Conflicts: 1748000 | #Constraints: 44261
526.07/527.90 c #Conflicts: 1749000 | #Constraints: 45261
526.07/527.90 c #Conflicts: 1750000 | #Constraints: 46261
526.07/527.90 c #Conflicts: 1751000 | #Constraints: 47261
526.07/527.90 c #Conflicts: 1752000 | #Constraints: 48261
526.07/527.90 c #Conflicts: 1753000 | #Constraints: 49261
526.07/527.90 c #Conflicts: 1754000 | #Constraints: 50261
526.07/527.90 c #Conflicts: 1755000 | #Constraints: 51261
526.07/527.90 c #Conflicts: 1756000 | #Constraints: 52261
526.07/527.90 c #Conflicts: 1757000 | #Constraints: 53261
526.07/527.90 c #Conflicts: 1758000 | #Constraints: 54261
526.07/527.90 c #Conflicts: 1759000 | #Constraints: 55261
526.07/527.90 c #Conflicts: 1760000 | #Constraints: 56261
526.07/527.90 c #Conflicts: 1761000 | #Constraints: 57261
526.07/527.90 c #Conflicts: 1762000 | #Constraints: 58261
526.07/527.90 c #Conflicts: 1763000 | #Constraints: 59261
526.07/527.90 c #Conflicts: 1764000 | #Constraints: 60261
526.07/527.90 c #Conflicts: 1765000 | #Constraints: 61261
526.07/527.90 c #Conflicts: 1766000 | #Constraints: 62261
526.07/527.90 c #Conflicts: 1767000 | #Constraints: 63261
526.07/527.90 c #Conflicts: 1768000 | #Constraints: 64261
526.07/527.90 c #Conflicts: 1769000 | #Constraints: 65261
526.07/527.90 c #Conflicts: 1770000 | #Constraints: 66261
526.07/527.90 c #Conflicts: 1771000 | #Constraints: 67261
526.07/527.90 c #Conflicts: 1772000 | #Constraints: 68261
526.07/527.90 c #Conflicts: 1773000 | #Constraints: 69261
526.07/527.90 c INPROCESSING
526.07/527.90 c GARBAGE COLLECT
526.07/527.90 c #Conflicts: 1774000 | #Constraints: 43850
526.07/527.90 c #Conflicts: 1775000 | #Constraints: 44850
526.07/527.90 c #Conflicts: 1776000 | #Constraints: 45850
526.07/527.90 c #Conflicts: 1777000 | #Constraints: 46850
526.07/527.90 c #Conflicts: 1778000 | #Constraints: 47850
526.07/527.90 c #Conflicts: 1779000 | #Constraints: 48850
526.07/527.90 c #Conflicts: 1780000 | #Constraints: 49850
526.07/527.90 c #Conflicts: 1781000 | #Constraints: 50850
526.07/527.90 c #Conflicts: 1782000 | #Constraints: 51850
526.07/527.90 c #Conflicts: 1783000 | #Constraints: 52850
526.07/527.90 c #Conflicts: 1784000 | #Constraints: 53850
526.07/527.90 c #Conflicts: 1785000 | #Constraints: 54850
526.07/527.90 c #Conflicts: 1786000 | #Constraints: 55850
526.07/527.90 c #Conflicts: 1787000 | #Constraints: 56850
526.07/527.90 c #Conflicts: 1788000 | #Constraints: 57850
526.07/527.90 c #Conflicts: 1789000 | #Constraints: 58850
526.07/527.90 c #Conflicts: 1790000 | #Constraints: 59850
526.07/527.90 c #Conflicts: 1791000 | #Constraints: 60850
526.07/527.90 c #Conflicts: 1792000 | #Constraints: 61850
526.07/527.90 c #Conflicts: 1793000 | #Constraints: 62850
526.07/527.90 c #Conflicts: 1794000 | #Constraints: 63850
526.07/527.90 c #Conflicts: 1795000 | #Constraints: 64850
526.07/527.90 c #Conflicts: 1796000 | #Constraints: 65850
526.07/527.90 c #Conflicts: 1797000 | #Constraints: 66850
526.07/527.90 c #Conflicts: 1798000 | #Constraints: 67850
526.07/527.90 c #Conflicts: 1799000 | #Constraints: 68850
526.07/527.90 c #Conflicts: 1800000 | #Constraints: 69850
526.07/527.90 c INPROCESSING
526.07/527.90 c GARBAGE COLLECT
526.07/527.90 c #Conflicts: 1801000 | #Constraints: 44262
526.07/527.90 c #Conflicts: 1802000 | #Constraints: 45262
526.07/527.90 c #Conflicts: 1803000 | #Constraints: 46262
526.07/527.90 c #Conflicts: 1804000 | #Constraints: 47262
526.07/527.90 c #Conflicts: 1805000 | #Constraints: 48262
526.07/527.90 c #Conflicts: 1806000 | #Constraints: 49262
526.07/527.90 c #Conflicts: 1807000 | #Constraints: 50262
526.07/527.90 c #Conflicts: 1808000 | #Constraints: 51262
526.07/527.90 c #Conflicts: 1809000 | #Constraints: 52262
526.07/527.90 c #Conflicts: 1810000 | #Constraints: 53262
526.07/527.90 c #Conflicts: 1811000 | #Constraints: 54262
526.07/527.90 c #Conflicts: 1812000 | #Constraints: 55262
526.07/527.90 c #Conflicts: 1813000 | #Constraints: 56262
526.07/527.90 c #Conflicts: 1814000 | #Constraints: 57262
526.07/527.90 c #Conflicts: 1815000 | #Constraints: 58262
526.07/527.90 c #Conflicts: 1816000 | #Constraints: 59262
526.07/527.90 c #Conflicts: 1817000 | #Constraints: 60262
526.07/527.90 c #Conflicts: 1818000 | #Constraints: 61262
526.07/527.90 c #Conflicts: 1819000 | #Constraints: 62262
526.07/527.90 c #Conflicts: 1820000 | #Constraints: 63262
526.07/527.90 c #Conflicts: 1821000 | #Constraints: 64262
526.07/527.90 c #Conflicts: 1822000 | #Constraints: 65262
557.46/559.45 c #Conflicts: 1823000 | #Constraints: 66262
557.46/559.45 c #Conflicts: 1824000 | #Constraints: 67262
557.46/559.45 c #Conflicts: 1825000 | #Constraints: 68262
557.46/559.45 c #Conflicts: 1826000 | #Constraints: 69262
557.46/559.45 c #Conflicts: 1827000 | #Constraints: 70262
557.46/559.45 c INPROCESSING
557.46/559.45 c GARBAGE COLLECT
557.46/559.45 c #Conflicts: 1828000 | #Constraints: 44439
557.46/559.45 c #Conflicts: 1829000 | #Constraints: 45439
557.46/559.45 c #Conflicts: 1830000 | #Constraints: 46439
557.46/559.45 c #Conflicts: 1831000 | #Constraints: 47439
557.46/559.45 c #Conflicts: 1832000 | #Constraints: 48439
557.46/559.45 c #Conflicts: 1833000 | #Constraints: 49439
557.46/559.45 c #Conflicts: 1834000 | #Constraints: 50439
557.46/559.45 c #Conflicts: 1835000 | #Constraints: 51439
557.46/559.45 c #Conflicts: 1836000 | #Constraints: 52439
557.46/559.45 c #Conflicts: 1837000 | #Constraints: 53439
557.46/559.45 c #Conflicts: 1838000 | #Constraints: 54439
557.46/559.45 c #Conflicts: 1839000 | #Constraints: 55439
557.46/559.45 c #Conflicts: 1840000 | #Constraints: 56439
557.46/559.45 c #Conflicts: 1841000 | #Constraints: 57439
557.46/559.45 c #Conflicts: 1842000 | #Constraints: 58439
557.46/559.45 c #Conflicts: 1843000 | #Constraints: 59439
557.46/559.45 c #Conflicts: 1844000 | #Constraints: 60439
557.46/559.45 c #Conflicts: 1845000 | #Constraints: 61439
557.46/559.45 c #Conflicts: 1846000 | #Constraints: 62439
557.46/559.45 c #Conflicts: 1847000 | #Constraints: 63439
557.46/559.45 c #Conflicts: 1848000 | #Constraints: 64439
557.46/559.45 c #Conflicts: 1849000 | #Constraints: 65439
557.46/559.45 c #Conflicts: 1850000 | #Constraints: 66439
557.46/559.45 c #Conflicts: 1851000 | #Constraints: 67439
557.46/559.45 c #Conflicts: 1852000 | #Constraints: 68439
557.46/559.45 c bounds 164 >= 26 @ 533.077
557.46/559.45 c #Conflicts: 1853000 | #Constraints: 69440
557.46/559.45 c #Conflicts: 1854000 | #Constraints: 70440
557.46/559.45 c INPROCESSING
557.46/559.45 c GARBAGE COLLECT
557.46/559.45 c #Conflicts: 1855000 | #Constraints: 44403
557.46/559.45 c #Conflicts: 1856000 | #Constraints: 45403
557.46/559.45 c #Conflicts: 1857000 | #Constraints: 46403
557.46/559.45 c #Conflicts: 1858000 | #Constraints: 47403
557.46/559.45 c #Conflicts: 1859000 | #Constraints: 48403
557.46/559.45 c #Conflicts: 1860000 | #Constraints: 49403
557.46/559.45 c #Conflicts: 1861000 | #Constraints: 50403
557.46/559.45 c #Conflicts: 1862000 | #Constraints: 51403
557.46/559.45 c #Conflicts: 1863000 | #Constraints: 52403
557.46/559.45 c #Conflicts: 1864000 | #Constraints: 53403
557.46/559.45 c #Conflicts: 1865000 | #Constraints: 54403
557.46/559.45 c #Conflicts: 1866000 | #Constraints: 55403
557.46/559.45 c #Conflicts: 1867000 | #Constraints: 56403
557.46/559.45 c #Conflicts: 1868000 | #Constraints: 57403
557.46/559.45 c #Conflicts: 1869000 | #Constraints: 58403
557.46/559.45 c #Conflicts: 1870000 | #Constraints: 59403
557.46/559.45 c #Conflicts: 1871000 | #Constraints: 60403
557.46/559.45 c #Conflicts: 1872000 | #Constraints: 61403
557.46/559.45 c #Conflicts: 1873000 | #Constraints: 62403
557.46/559.45 c #Conflicts: 1874000 | #Constraints: 63403
557.46/559.45 c #Conflicts: 1875000 | #Constraints: 64403
557.46/559.45 c #Conflicts: 1876000 | #Constraints: 65403
557.46/559.45 c #Conflicts: 1877000 | #Constraints: 66403
557.46/559.45 c #Conflicts: 1878000 | #Constraints: 67403
557.46/559.45 c #Conflicts: 1879000 | #Constraints: 68403
557.46/559.45 c #Conflicts: 1880000 | #Constraints: 69403
557.46/559.45 c #Conflicts: 1881000 | #Constraints: 70403
557.46/559.45 c INPROCESSING
557.46/559.45 c GARBAGE COLLECT
557.46/559.45 c #Conflicts: 1882000 | #Constraints: 44150
557.46/559.45 c #Conflicts: 1883000 | #Constraints: 45150
557.46/559.45 c #Conflicts: 1884000 | #Constraints: 46150
557.46/559.45 c #Conflicts: 1885000 | #Constraints: 47150
557.46/559.45 c #Conflicts: 1886000 | #Constraints: 48150
557.46/559.45 c #Conflicts: 1887000 | #Constraints: 49150
557.46/559.45 c #Conflicts: 1888000 | #Constraints: 50150
557.46/559.45 c #Conflicts: 1889000 | #Constraints: 51150
557.46/559.45 c #Conflicts: 1890000 | #Constraints: 52150
557.46/559.45 c #Conflicts: 1891000 | #Constraints: 53150
557.46/559.45 c #Conflicts: 1892000 | #Constraints: 54150
557.46/559.45 c #Conflicts: 1893000 | #Constraints: 55150
557.46/559.45 c #Conflicts: 1894000 | #Constraints: 56150
557.46/559.45 c #Conflicts: 1895000 | #Constraints: 57150
557.46/559.45 c #Conflicts: 1896000 | #Constraints: 58150
557.46/559.45 c #Conflicts: 1897000 | #Constraints: 59150
557.46/559.45 c #Conflicts: 1898000 | #Constraints: 60150
567.43/569.44 c #Conflicts: 1899000 | #Constraints: 61150
567.43/569.44 c #Conflicts: 1900000 | #Constraints: 62150
567.43/569.44 c #Conflicts: 1901000 | #Constraints: 63150
567.43/569.44 c #Conflicts: 1902000 | #Constraints: 64150
567.43/569.44 c #Conflicts: 1903000 | #Constraints: 65150
567.43/569.44 c #Conflicts: 1904000 | #Constraints: 66150
567.43/569.44 c #Conflicts: 1905000 | #Constraints: 67150
567.43/569.44 c #Conflicts: 1906000 | #Constraints: 68150
567.43/569.44 c #Conflicts: 1907000 | #Constraints: 69150
567.43/569.44 c #Conflicts: 1908000 | #Constraints: 70150
567.43/569.44 c #Conflicts: 1909000 | #Constraints: 71150
567.43/569.44 c INPROCESSING
567.43/569.44 c GARBAGE COLLECT
567.43/569.44 c #Conflicts: 1910000 | #Constraints: 44727
567.43/569.44 c #Conflicts: 1911000 | #Constraints: 45727
567.43/569.44 c #Conflicts: 1912000 | #Constraints: 46727
567.43/569.44 c #Conflicts: 1913000 | #Constraints: 47727
567.43/569.44 c #Conflicts: 1914000 | #Constraints: 48727
567.43/569.44 c #Conflicts: 1915000 | #Constraints: 49727
567.43/569.44 c #Conflicts: 1916000 | #Constraints: 50727
567.43/569.44 c #Conflicts: 1917000 | #Constraints: 51727
567.43/569.44 c #Conflicts: 1918000 | #Constraints: 52727
567.43/569.44 c #Conflicts: 1919000 | #Constraints: 53727
567.43/569.44 c #Conflicts: 1920000 | #Constraints: 54727
567.43/569.44 c #Conflicts: 1921000 | #Constraints: 55727
567.43/569.44 c #Conflicts: 1922000 | #Constraints: 56727
567.43/569.44 c #Conflicts: 1923000 | #Constraints: 57727
567.43/569.44 c #Conflicts: 1924000 | #Constraints: 58727
567.43/569.44 c #Conflicts: 1925000 | #Constraints: 59727
567.43/569.44 c #Conflicts: 1926000 | #Constraints: 60727
567.43/569.44 c #Conflicts: 1927000 | #Constraints: 61727
567.43/569.44 c #Conflicts: 1928000 | #Constraints: 62727
567.43/569.44 c #Conflicts: 1929000 | #Constraints: 63727
567.43/569.44 c #Conflicts: 1930000 | #Constraints: 64727
567.43/569.44 c finalizing WCE round: reformulating cores
753.39/756.00 c bounds 162 >= 26 @ 561.28
753.39/756.00 c #Conflicts: 1931000 | #Constraints: 65730
753.39/756.00 c #Conflicts: 1932000 | #Constraints: 66730
753.39/756.00 c #Conflicts: 1933000 | #Constraints: 67730
753.39/756.00 c #Conflicts: 1934000 | #Constraints: 68730
753.39/756.00 c #Conflicts: 1935000 | #Constraints: 69730
753.39/756.00 c #Conflicts: 1936000 | #Constraints: 70730
753.39/756.00 c #Conflicts: 1937000 | #Constraints: 71730
753.39/756.00 c INPROCESSING
753.39/756.00 c GARBAGE COLLECT
753.39/756.00 c #Conflicts: 1938000 | #Constraints: 45168
753.39/756.00 c #Conflicts: 1939000 | #Constraints: 46168
753.39/756.00 c #Conflicts: 1940000 | #Constraints: 47168
753.39/756.00 c #Conflicts: 1941000 | #Constraints: 48168
753.39/756.00 c #Conflicts: 1942000 | #Constraints: 49168
753.39/756.00 c #Conflicts: 1943000 | #Constraints: 50168
753.39/756.00 c #Conflicts: 1944000 | #Constraints: 51168
753.39/756.00 c #Conflicts: 1945000 | #Constraints: 52168
753.39/756.00 c #Conflicts: 1946000 | #Constraints: 53168
753.39/756.00 c #Conflicts: 1947000 | #Constraints: 54168
753.39/756.00 c #Conflicts: 1948000 | #Constraints: 55168
753.39/756.00 c #Conflicts: 1949000 | #Constraints: 56168
753.39/756.00 c #Conflicts: 1950000 | #Constraints: 57168
753.39/756.00 c #Conflicts: 1951000 | #Constraints: 58168
753.39/756.00 c #Conflicts: 1952000 | #Constraints: 59168
753.39/756.00 c #Conflicts: 1953000 | #Constraints: 60168
753.39/756.00 c #Conflicts: 1954000 | #Constraints: 61168
753.39/756.00 c #Conflicts: 1955000 | #Constraints: 62168
753.39/756.00 c #Conflicts: 1956000 | #Constraints: 63168
753.39/756.00 c #Conflicts: 1957000 | #Constraints: 64168
753.39/756.00 c #Conflicts: 1958000 | #Constraints: 65168
753.39/756.00 c #Conflicts: 1959000 | #Constraints: 66168
753.39/756.00 c #Conflicts: 1960000 | #Constraints: 67168
753.39/756.00 c #Conflicts: 1961000 | #Constraints: 68168
753.39/756.00 c #Conflicts: 1962000 | #Constraints: 69168
753.39/756.00 c #Conflicts: 1963000 | #Constraints: 70168
753.39/756.00 c #Conflicts: 1964000 | #Constraints: 71168
753.39/756.00 c #Conflicts: 1965000 | #Constraints: 72168
753.39/756.00 c INPROCESSING
753.39/756.00 c GARBAGE COLLECT
753.39/756.00 c #Conflicts: 1966000 | #Constraints: 45427
753.39/756.00 c #Conflicts: 1967000 | #Constraints: 46427
753.39/756.00 c #Conflicts: 1968000 | #Constraints: 47427
753.39/756.00 c #Conflicts: 1969000 | #Constraints: 48427
753.39/756.00 c #Conflicts: 1970000 | #Constraints: 49427
753.39/756.00 c #Conflicts: 1971000 | #Constraints: 50427
753.39/756.00 c #Conflicts: 1972000 | #Constraints: 51427
753.39/756.00 c #Conflicts: 1973000 | #Constraints: 52427
753.39/756.00 c #Conflicts: 1974000 | #Constraints: 53427
753.39/756.00 c #Conflicts: 1975000 | #Constraints: 54427
753.39/756.00 c #Conflicts: 1976000 | #Constraints: 55427
753.39/756.00 c #Conflicts: 1977000 | #Constraints: 56427
753.39/756.00 c #Conflicts: 1978000 | #Constraints: 57427
753.39/756.00 c #Conflicts: 1979000 | #Constraints: 58427
753.39/756.00 c #Conflicts: 1980000 | #Constraints: 59427
753.39/756.00 c #Conflicts: 1981000 | #Constraints: 60427
753.39/756.00 c #Conflicts: 1982000 | #Constraints: 61427
753.39/756.00 c #Conflicts: 1983000 | #Constraints: 62427
753.39/756.00 c #Conflicts: 1984000 | #Constraints: 63427
753.39/756.00 c #Conflicts: 1985000 | #Constraints: 64427
753.39/756.00 c #Conflicts: 1986000 | #Constraints: 65427
753.39/756.00 c #Conflicts: 1987000 | #Constraints: 66427
753.39/756.00 c #Conflicts: 1988000 | #Constraints: 67427
753.39/756.00 c #Conflicts: 1989000 | #Constraints: 68427
753.39/756.00 c #Conflicts: 1990000 | #Constraints: 69427
753.39/756.00 c #Conflicts: 1991000 | #Constraints: 70427
753.39/756.00 c #Conflicts: 1992000 | #Constraints: 71427
753.39/756.00 c #Conflicts: 1993000 | #Constraints: 72427
753.39/756.00 c INPROCESSING
753.39/756.00 c GARBAGE COLLECT
753.39/756.00 c #Conflicts: 1994000 | #Constraints: 45431
753.39/756.00 c #Conflicts: 1995000 | #Constraints: 46431
753.39/756.00 c #Conflicts: 1996000 | #Constraints: 47431
753.39/756.00 c #Conflicts: 1997000 | #Constraints: 48431
753.39/756.00 c #Conflicts: 1998000 | #Constraints: 49431
753.39/756.00 c #Conflicts: 1999000 | #Constraints: 50431
753.39/756.00 c #Conflicts: 2000000 | #Constraints: 51431
753.39/756.00 c #Conflicts: 2001000 | #Constraints: 52431
753.39/756.00 c #Conflicts: 2002000 | #Constraints: 53431
753.39/756.00 c #Conflicts: 2003000 | #Constraints: 54431
753.39/756.00 c #Conflicts: 2004000 | #Constraints: 55431
753.39/756.00 c #Conflicts: 2005000 | #Constraints: 56431
753.39/756.00 c #Conflicts: 2006000 | #Constraints: 57431
753.39/756.00 c #Conflicts: 2007000 | #Constraints: 58431
1692.41/1697.82 c #Conflicts: 2008000 | #Constraints: 59431
1692.41/1697.82 c #Conflicts: 2009000 | #Constraints: 60431
1692.41/1697.82 c #Conflicts: 2010000 | #Constraints: 61431
1692.41/1697.82 c #Conflicts: 2011000 | #Constraints: 62431
1692.41/1697.82 c #Conflicts: 2012000 | #Constraints: 63431
1692.41/1697.82 c #Conflicts: 2013000 | #Constraints: 64431
1692.41/1697.82 c #Conflicts: 2014000 | #Constraints: 65431
1692.41/1697.82 c #Conflicts: 2015000 | #Constraints: 66431
1692.41/1697.82 c #Conflicts: 2016000 | #Constraints: 67431
1692.41/1697.82 c #Conflicts: 2017000 | #Constraints: 68431
1692.41/1697.82 c #Conflicts: 2018000 | #Constraints: 69431
1692.41/1697.82 c #Conflicts: 2019000 | #Constraints: 70431
1692.41/1697.82 c #Conflicts: 2020000 | #Constraints: 71431
1692.41/1697.82 c #Conflicts: 2021000 | #Constraints: 72431
1692.41/1697.82 c INPROCESSING
1692.41/1697.82 c GARBAGE COLLECT
1692.41/1697.82 c #Conflicts: 2022000 | #Constraints: 45231
1692.41/1697.82 c #Conflicts: 2023000 | #Constraints: 46231
1692.41/1697.82 c #Conflicts: 2024000 | #Constraints: 47231
1692.41/1697.82 c #Conflicts: 2025000 | #Constraints: 48231
1692.41/1697.82 c #Conflicts: 2026000 | #Constraints: 49231
1692.41/1697.82 c #Conflicts: 2027000 | #Constraints: 50231
1692.41/1697.82 c #Conflicts: 2028000 | #Constraints: 51231
1692.41/1697.82 c #Conflicts: 2029000 | #Constraints: 52231
1692.41/1697.82 c #Conflicts: 2030000 | #Constraints: 53231
1692.41/1697.82 c #Conflicts: 2031000 | #Constraints: 54231
1692.41/1697.82 c #Conflicts: 2032000 | #Constraints: 55231
1692.41/1697.82 c #Conflicts: 2033000 | #Constraints: 56231
1692.41/1697.82 c #Conflicts: 2034000 | #Constraints: 57231
1692.41/1697.82 c #Conflicts: 2035000 | #Constraints: 58231
1692.41/1697.82 c #Conflicts: 2036000 | #Constraints: 59231
1692.41/1697.82 c #Conflicts: 2037000 | #Constraints: 60231
1692.41/1697.82 c #Conflicts: 2038000 | #Constraints: 61231
1692.41/1697.82 c #Conflicts: 2039000 | #Constraints: 62231
1692.41/1697.82 c #Conflicts: 2040000 | #Constraints: 63231
1692.41/1697.82 c #Conflicts: 2041000 | #Constraints: 64231
1692.41/1697.82 c #Conflicts: 2042000 | #Constraints: 65231
1692.41/1697.82 c #Conflicts: 2043000 | #Constraints: 66231
1692.41/1697.82 c #Conflicts: 2044000 | #Constraints: 67231
1692.41/1697.82 c #Conflicts: 2045000 | #Constraints: 68231
1692.41/1697.82 c #Conflicts: 2046000 | #Constraints: 69231
1692.41/1697.82 c #Conflicts: 2047000 | #Constraints: 70231
1692.41/1697.82 c #Conflicts: 2048000 | #Constraints: 71231
1692.41/1697.82 c #Conflicts: 2049000 | #Constraints: 72231
1692.41/1697.82 c #Conflicts: 2050000 | #Constraints: 73231
1692.41/1697.82 c INPROCESSING
1692.41/1697.82 c GARBAGE COLLECT
1692.41/1697.82 c #Conflicts: 2051000 | #Constraints: 45865
1692.41/1697.82 c #Conflicts: 2052000 | #Constraints: 46865
1692.41/1697.82 c #Conflicts: 2053000 | #Constraints: 47865
1692.41/1697.82 c #Conflicts: 2054000 | #Constraints: 48865
1692.41/1697.82 c #Conflicts: 2055000 | #Constraints: 49865
1692.41/1697.82 c #Conflicts: 2056000 | #Constraints: 50865
1692.41/1697.82 c #Conflicts: 2057000 | #Constraints: 51865
1692.41/1697.82 c #Conflicts: 2058000 | #Constraints: 52865
1692.41/1697.82 c #Conflicts: 2059000 | #Constraints: 53865
1692.41/1697.82 c #Conflicts: 2060000 | #Constraints: 54865
1692.41/1697.82 c #Conflicts: 2061000 | #Constraints: 55865
1692.41/1697.82 c #Conflicts: 2062000 | #Constraints: 56865
1692.41/1697.82 c #Conflicts: 2063000 | #Constraints: 57865
1692.41/1697.82 c #Conflicts: 2064000 | #Constraints: 58865
1692.41/1697.82 c #Conflicts: 2065000 | #Constraints: 59865
1692.41/1697.82 c #Conflicts: 2066000 | #Constraints: 60865
1692.41/1697.82 c #Conflicts: 2067000 | #Constraints: 61865
1692.41/1697.82 c #Conflicts: 2068000 | #Constraints: 62865
1692.41/1697.82 c #Conflicts: 2069000 | #Constraints: 63865
1692.41/1697.82 c #Conflicts: 2070000 | #Constraints: 64865
1692.41/1697.82 c #Conflicts: 2071000 | #Constraints: 65865
1692.41/1697.82 c #Conflicts: 2072000 | #Constraints: 66865
1692.41/1697.82 c #Conflicts: 2073000 | #Constraints: 67865
1692.41/1697.82 c #Conflicts: 2074000 | #Constraints: 68865
1692.41/1697.82 c #Conflicts: 2075000 | #Constraints: 69865
1692.41/1697.82 c #Conflicts: 2076000 | #Constraints: 70865
1692.41/1697.82 c #Conflicts: 2077000 | #Constraints: 71865
1692.41/1697.82 c #Conflicts: 2078000 | #Constraints: 72865
1692.41/1697.82 c #Conflicts: 2079000 | #Constraints: 73865
1692.41/1697.82 c INPROCESSING
1692.41/1697.82 c GARBAGE COLLECT
1692.41/1697.82 c #Conflicts: 2080000 | #Constraints: 46246
1692.41/1697.82 c #Conflicts: 2081000 | #Constraints: 47246
1692.41/1697.82 c #Conflicts: 2082000 | #Constraints: 48246
1692.41/1697.82 c #Conflicts: 2083000 | #Constraints: 49246
1692.41/1697.82 c #Conflicts: 2084000 | #Constraints: 50246
3600.03/3610.90 c #Conflicts: 2085000 | #Constraints: 51246
3600.03/3610.90 c #Conflicts: 2086000 | #Constraints: 52246
3600.03/3610.90 c #Conflicts: 2087000 | #Constraints: 53246
3600.03/3610.90 c #Conflicts: 2088000 | #Constraints: 54246
3600.03/3610.90 c #Conflicts: 2089000 | #Constraints: 55246
3600.03/3610.90 c #Conflicts: 2090000 | #Constraints: 56246
3600.03/3610.90 c #Conflicts: 2091000 | #Constraints: 57246
3600.03/3610.90 c #Conflicts: 2092000 | #Constraints: 58246
3600.03/3610.90 c #Conflicts: 2093000 | #Constraints: 59246
3600.03/3610.90 c #Conflicts: 2094000 | #Constraints: 60246
3600.03/3610.90 c #Conflicts: 2095000 | #Constraints: 61246
3600.03/3610.90 c #Conflicts: 2096000 | #Constraints: 62246
3600.03/3610.90 c #Conflicts: 2097000 | #Constraints: 63246
3600.03/3610.90 c #Conflicts: 2098000 | #Constraints: 64246
3600.03/3610.90 c #Conflicts: 2099000 | #Constraints: 65246
3600.03/3610.90 c #Conflicts: 2100000 | #Constraints: 66246
3600.03/3610.90 c #Conflicts: 2101000 | #Constraints: 67246
3600.03/3610.90 c #Conflicts: 2102000 | #Constraints: 68246
3600.03/3610.90 c #Conflicts: 2103000 | #Constraints: 69246
3600.03/3610.90 c #Conflicts: 2104000 | #Constraints: 70246
3600.03/3610.90 c #Conflicts: 2105000 | #Constraints: 71246
3600.03/3610.90 c #Conflicts: 2106000 | #Constraints: 72246
3600.03/3610.90 c #Conflicts: 2107000 | #Constraints: 73246
3600.03/3610.90 c #Conflicts: 2108000 | #Constraints: 74246
3600.03/3610.90 c INPROCESSING
3600.03/3610.90 c GARBAGE COLLECT
3600.03/3610.90 c #Conflicts: 2109000 | #Constraints: 46437
3600.03/3610.90 c #Conflicts: 2110000 | #Constraints: 47437
3600.03/3610.90 c #Conflicts: 2111000 | #Constraints: 48437
3600.03/3610.90 c #Conflicts: 2112000 | #Constraints: 49437
3600.03/3610.90 c #Conflicts: 2113000 | #Constraints: 50437
3600.03/3610.90 c #Conflicts: 2114000 | #Constraints: 51437
3600.03/3610.90 c #Conflicts: 2115000 | #Constraints: 52437
3600.03/3610.90 c #Conflicts: 2116000 | #Constraints: 53437
3600.03/3610.90 c #Conflicts: 2117000 | #Constraints: 54437
3600.03/3610.90 c #Conflicts: 2118000 | #Constraints: 55437
3600.03/3610.90 c #Conflicts: 2119000 | #Constraints: 56437
3600.03/3610.90 c #Conflicts: 2120000 | #Constraints: 57437
3600.03/3610.90 c #Conflicts: 2121000 | #Constraints: 58437
3600.03/3610.90 c #Conflicts: 2122000 | #Constraints: 59437
3600.03/3610.90 c #Conflicts: 2123000 | #Constraints: 60437
3600.03/3610.90 c #Conflicts: 2124000 | #Constraints: 61437
3600.03/3610.90 c #Conflicts: 2125000 | #Constraints: 62437
3600.03/3610.90 c #Conflicts: 2126000 | #Constraints: 63437
3600.03/3610.90 c #Conflicts: 2127000 | #Constraints: 64437
3600.03/3610.90 c #Conflicts: 2128000 | #Constraints: 65437
3600.03/3610.90 c #Conflicts: 2129000 | #Constraints: 66437
3600.03/3610.90 c #Conflicts: 2130000 | #Constraints: 67437
3600.03/3610.90 c #Conflicts: 2131000 | #Constraints: 68437
3600.03/3610.90 c #Conflicts: 2132000 | #Constraints: 69437
3600.03/3610.90 c #Conflicts: 2133000 | #Constraints: 70437
3600.03/3610.90 c #Conflicts: 2134000 | #Constraints: 71437
3600.03/3610.90 c #Conflicts: 2135000 | #Constraints: 72437
3600.03/3610.90 c #Conflicts: 2136000 | #Constraints: 73437
3600.03/3610.90 c #Conflicts: 2137000 | #Constraints: 74437
3600.03/3610.90 c #Conflicts: 2138000 | #Constraints: 75437
3600.03/3610.90 c #Conflicts: 2139000 | #Constraints: 76437
3600.03/3610.90 c #Conflicts: 2140000 | #Constraints: 77437
3600.03/3610.90 c #Conflicts: 2141000 | #Constraints: 78437
3600.03/3610.90 c #Conflicts: 2142000 | #Constraints: 79437
3600.03/3610.90 c #Conflicts: 2143000 | #Constraints: 80437
3600.03/3610.90 c Program interrupted by user.
3600.03/3610.90 c cpu time 3589.07 s
3600.03/3610.90 c deterministic time 233728429299 2.34e+11
3600.03/3610.90 c optimization time 1347.43 s
3600.03/3610.90 c total solve time 2241.49 s
3600.03/3610.90 c core-guided solve time 2241.49 s
3600.03/3610.90 c propagation time 3085.7 s
3600.03/3610.90 c conflict analysis time 476.795 s
3600.03/3610.90 c propagations 383656154
3600.03/3610.90 c resolve steps 56766651
3600.03/3610.90 c decisions 7050579
3600.03/3610.90 c conflicts 2143281
3600.03/3610.90 c restarts 4092
3600.03/3610.90 c inprocessing phases 136
3600.03/3610.90 c input clauses 8488
3600.03/3610.90 c input cardinalities 497
3600.03/3610.90 c input general constraints 7423
3600.03/3610.90 c input average constraint length 6.39
3600.03/3610.90 c input average constraint degree 4.30
3600.03/3610.90 c learned clauses 1919381
3600.03/3610.90 c learned cardinalities 20830
3600.03/3610.90 c learned general constraints 203069
3600.03/3610.90 c learned average constraint length 174.92
3600.03/3610.90 c learned average constraint degree 36558.89
3600.03/3610.90 c watched constraints 163448
3600.03/3610.90 c counting constraints 47044
3600.03/3610.90 c gcd simplifications 2569
3600.03/3610.90 c detected cardinalities 30
3600.03/3610.90 c weakened non-implied lits 62398235
3600.03/3610.90 c weakened non-implying lits 38424
3600.03/3610.90 c original variables 1344
3600.03/3610.90 c clausal propagations 173581263
3600.03/3610.90 c cardinality propagations 173467998
3600.03/3610.90 c watched propagations 12606661
3600.03/3610.90 c counting propagations 21828701
3600.03/3610.90 c watch lookups 72896340182
3600.03/3610.90 c watch backjump lookups 65909258888
3600.03/3610.90 c watch checks 83504133965
3600.03/3610.90 c propagation checks 9369557817
3600.03/3610.90 c constraint additions 1265582682
3600.03/3610.90 c trail pops 392849031
3600.03/3610.90 c formula constraints 16376
3600.03/3610.90 c learned constraints 2143280
3600.03/3610.90 c bound constraints 14
3600.03/3610.90 c core-guided constraints 18
3600.03/3610.90 c encountered formula constraints 25674544
3600.03/3610.90 c encountered learned constraints 33225938
3600.03/3610.90 c encountered bound constraints 5274
3600.03/3610.90 c encountered core-guided constraints 4176
3600.03/3610.90 c LP total time 0 s
3600.03/3610.90 c LP solve time 0 s
3600.03/3610.90 c LP constraints added 0
3600.03/3610.90 c LP constraints removed 0
3600.03/3610.90 c LP pivots internal 0
3600.03/3610.90 c LP pivots root 0
3600.03/3610.90 c LP calls 0
3600.03/3610.90 c LP optimalities 0
3600.03/3610.90 c LP no pivot count 0
3600.03/3610.90 c LP infeasibilities 0
3600.03/3610.90 c LP valid Farkas constraints 0
3600.03/3610.90 c LP learned Farkas constraints 0
3600.03/3610.90 c LP basis resets 0
3600.03/3610.90 c LP cycling count 0
3600.03/3610.90 c LP singular count 0
3600.03/3610.90 c LP no primal count 0
3600.03/3610.90 c LP no farkas count 0
3600.03/3610.90 c LP other issue count 0
3600.03/3610.90 c LP Gomory cuts 0
3600.03/3610.90 c LP learned cuts 0
3600.03/3610.90 c LP deleted cuts 0
3600.03/3610.90 c LP encountered Gomory constraints 0
3600.03/3610.90 c LP encountered Farkas constraints 0
3600.03/3610.90 c LP encountered learned Farkas constraints 0
3600.03/3610.90 c CG auxiliary variables introduced 9
3600.03/3610.90 c CG solutions found 3
3600.03/3610.90 c CG cores constructed 9
3600.03/3610.90 c CG core cardinality constraints returned 0
3600.03/3610.90 c CG unit cores 0
3600.03/3610.90 c CG single cores 9
3600.03/3610.90 c CG blocks removed during cardinality reduction 0
3600.03/3610.90 c CG first core best 0
3600.03/3610.90 c CG decision core best 0
3600.03/3610.90 c CG core reduction tie 0
3600.03/3610.90 c CG core degree average 1.00
3600.03/3610.90 c CG core slack average 34.44
3600.03/3610.90 c CG exhausted 0
3600.03/3610.90 c CG exhaust time 1.56351 s
3600.03/3610.90 c CG trimmed 0
3600.03/3610.90 c CG trim time 0.000939 s
3600.03/3610.90 c CG minimized 0
3600.03/3610.90 c CG minimize time 0 s
3600.03/3610.90 c CG am1 prop time 0.001329 s
3600.03/3610.90 c CG # am1s reformulated 0
3600.03/3610.90 c CG lower bound derived from am1s 0
3600.03/3610.90 c CG # clausal cores 9
3600.03/3610.90 c CG # cardinality cores 0
3600.03/3610.90 c CG # pb cores 0
3600.03/3610.90 c CG # pb reforms 8
3600.03/3610.90 c CG # cores discarded because of pb reform 0
3600.03/3610.90 d LOWERBOUND 26
3600.03/3610.90 d NCORES 9
3600.03/3610.90 d NPBCORES 0
3600.03/3610.90 d NPBREFORM 8
3600.03/3610.90 d NTRIMMED 0
3600.03/3610.90 d NEXHAUSTED 0
3600.03/3610.90 d NAM1S 0
3600.03/3610.90 d AM1LB 0
3600.03/3610.90 o 162
3600.03/3610.90 s SATISFIABLE
3600.03/3610.90 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 x962 -x963 x964 x965 x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 x1090 -x1091 x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 x1275 -x1276 x1277 -x1278 x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 x1339 -x1340 -x1341 x1342 -x1343 x1344
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62694 MiB free)
memory of node 1: 64465 MiB (63817 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486282-1751319849/watcher-4486282-1751319849 -o /tmp/evaluation-result-4486282-1751319849/solver-4486282-1751319849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40721 --watchdog 3760 pb-oll-rs HOME/instance-4486282-1751319849.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=41424, runsolver pid=41421
[startup+0.100096 s]*
/proc/loadavg: 4.12 4.15 4.19 5/251 41425
/proc/meminfo: memFree=129548032/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=20556 memory=7508 CPUtime=0.1 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 515 0 0 0 8 2 0 0 20 0 1 0 47664028 21049344 1877 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 5139 1877 1088 243 0 1388 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20556 KiB
Current children cumulated memory: 7508 KiB
[startup+0.212548 s]*
/proc/loadavg: 4.11 4.15 4.18 5/249 41425
/proc/meminfo: memFree=129547780/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=21212 memory=9172 CPUtime=0.21 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 669 0 0 0 18 3 0 0 20 0 1 0 47664028 21721088 2293 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 5303 2293 1344 243 0 1552 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 21212 KiB
Current children cumulated memory: 9172 KiB
[startup+0.312802 s]*
/proc/loadavg: 4.11 4.15 4.18 5/247 41433
/proc/meminfo: memFree=129572904/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=21476 memory=9428 CPUtime=0.3 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 733 0 0 0 26 4 0 0 20 0 1 0 47664028 21991424 2357 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 5369 2357 1344 243 0 1618 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21476 KiB
Current children cumulated memory: 9428 KiB
[startup+0.700239 s]
/proc/loadavg: 4.11 4.15 4.18 4/249 41442
/proc/meminfo: memFree=129581436/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=22180 memory=10068 CPUtime=0.67 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 905 0 0 0 59 8 0 0 20 0 1 0 47664028 22712320 2517 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 5545 2517 1344 243 0 1794 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 22180 KiB
Current children cumulated memory: 10068 KiB
[startup+1.50027 s]
/proc/loadavg: 4.11 4.15 4.18 5/252 41475
/proc/meminfo: memFree=129592848/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=23828 memory=13764 CPUtime=1.46 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 1345 0 0 0 135 11 0 0 20 0 1 0 47664028 24399872 3441 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 5957 3441 1344 243 0 2206 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 23828 KiB
Current children cumulated memory: 13764 KiB
[startup+3.11243 s]
/proc/loadavg: 4.11 4.15 4.18 5/252 41520
/proc/meminfo: memFree=129738312/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=24092 memory=14020 CPUtime=3.07 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 1422 0 0 0 294 13 0 0 20 0 1 0 47664028 24670208 3505 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 6023 3505 1344 243 0 2272 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 24092 KiB
Current children cumulated memory: 14020 KiB
[startup+6.30024 s]
/proc/loadavg: 4.10 4.15 4.18 5/250 41549
/proc/meminfo: memFree=130179096/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=27552 memory=15940 CPUtime=6.25 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 1913 0 0 0 606 19 0 0 20 0 1 0 47664028 28213248 3985 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 6888 3985 1344 243 0 3137 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 27552 KiB
Current children cumulated memory: 15940 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.14 4.18 5/252 41565
/proc/meminfo: memFree=130167888/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=28208 memory=18248 CPUtime=12.63 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 2907 0 0 0 1233 30 0 0 20 0 1 0 47664028 28884992 4562 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 7052 4562 1344 243 0 3301 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 18248 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.14 4.18 5/252 41565
/proc/meminfo: memFree=130132644/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=34968 memory=20852 CPUtime=25.38 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 4029 0 0 0 2481 57 0 0 20 0 1 0 47664028 35807232 5213 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 8742 5213 1344 243 0 4991 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 34968 KiB
Current children cumulated memory: 20852 KiB
[startup+51.1128 s]
/proc/loadavg: 4.11 4.14 4.18 5/252 41566
/proc/meminfo: memFree=130111252/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=35816 memory=25052 CPUtime=50.92 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 5210 0 0 0 4992 100 0 0 20 0 1 0 47664028 36675584 6263 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 8954 6263 1344 243 0 5203 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 35816 KiB
Current children cumulated memory: 25052 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.18 5/252 41568
/proc/meminfo: memFree=130080616/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=44196 memory=30364 CPUtime=101.94 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 7925 0 0 0 10023 171 0 0 20 0 1 0 47664028 45256704 7591 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 11049 7591 1344 243 0 7298 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 44196 KiB
Current children cumulated memory: 30364 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.17 5/252 41570
/proc/meminfo: memFree=130027876/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=45224 memory=33412 CPUtime=161.73 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 9839 0 0 0 15918 255 0 0 20 0 1 0 47664028 46309376 8353 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 11306 8353 1344 243 0 7555 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 45224 KiB
Current children cumulated memory: 33412 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/252 41572
/proc/meminfo: memFree=129998336/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=57624 memory=36100 CPUtime=221.51 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 11749 0 0 0 21824 327 0 0 20 0 1 0 47664028 59006976 9025 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 14406 9025 1344 243 0 10655 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 57624 KiB
Current children cumulated memory: 36100 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.16 5/252 41573
/proc/meminfo: memFree=129949364/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=59128 memory=41440 CPUtime=281.32 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 13600 0 0 0 27748 384 0 0 20 0 1 0 47664028 60547072 10360 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 14782 10360 1344 243 0 11031 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 59128 KiB
Current children cumulated memory: 41440 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.16 5/250 41575
/proc/meminfo: memFree=129907016/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=59620 memory=41932 CPUtime=341.11 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 14624 0 0 0 33665 446 0 0 20 0 1 0 47664028 61050880 10483 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 14905 10483 1344 243 0 11154 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 59620 KiB
Current children cumulated memory: 41932 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/250 41578
/proc/meminfo: memFree=129890404/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=60248 memory=46408 CPUtime=400.9 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 15612 0 0 0 39588 502 0 0 20 0 1 0 47664028 61693952 11602 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 15062 11602 1344 243 0 11311 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 60248 KiB
Current children cumulated memory: 46408 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.15 5/250 41580
/proc/meminfo: memFree=129898576/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=61080 memory=49168 CPUtime=460.7 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 16924 0 0 0 45517 553 0 0 20 0 1 0 47664028 62545920 12292 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 15270 12292 1344 243 0 11519 0
Current children cumulated CPU time: 460.7 s
################
# More data... #
################
Current children cumulated memory: 172408 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.11 4.10 5/249 41720
/proc/meminfo: memFree=129478220/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=195392 memory=172792 CPUtime=2913.4 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 38686 0 0 0 290299 1041 0 0 20 0 1 0 47664028 200081408 43198 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 48848 43198 1344 243 0 45097 0
Current children cumulated CPU time: 2913.4 s
Current children cumulated vsize: 195392 KiB
Current children cumulated memory: 172792 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 41725
/proc/meminfo: memFree=129474484/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=196736 memory=177312 CPUtime=2973.24 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 38871 0 0 0 296276 1048 0 0 20 0 1 0 47664028 201457664 44328 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 49184 44328 1344 243 0 45433 0
Current children cumulated CPU time: 2973.24 s
Current children cumulated vsize: 196736 KiB
Current children cumulated memory: 177312 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 41731
/proc/meminfo: memFree=129472084/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=197888 memory=179992 CPUtime=3033.06 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 39039 0 0 0 302253 1053 0 0 20 0 1 0 47664028 202637312 44998 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 49472 44998 1344 243 0 45721 0
Current children cumulated CPU time: 3033.06 s
Current children cumulated vsize: 197888 KiB
Current children cumulated memory: 179992 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 41733
/proc/meminfo: memFree=129472172/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=198624 memory=182476 CPUtime=3092.88 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 39141 0 0 0 308230 1058 0 0 20 0 1 0 47664028 203390976 45619 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 49656 45619 1344 243 0 45905 0
Current children cumulated CPU time: 3092.88 s
Current children cumulated vsize: 198624 KiB
Current children cumulated memory: 182476 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 41735
/proc/meminfo: memFree=129467084/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=199936 memory=185288 CPUtime=3152.71 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 39332 0 0 0 314207 1064 0 0 20 0 1 0 47664028 204734464 46322 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 49984 46322 1344 243 0 46233 0
Current children cumulated CPU time: 3152.71 s
Current children cumulated vsize: 199936 KiB
Current children cumulated memory: 185288 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 41737
/proc/meminfo: memFree=129466100/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=200960 memory=185928 CPUtime=3212.55 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 39522 0 0 0 320186 1069 0 0 20 0 1 0 47664028 205783040 46482 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 50240 46482 1344 243 0 46489 0
Current children cumulated CPU time: 3212.55 s
Current children cumulated vsize: 200960 KiB
Current children cumulated memory: 185928 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 41739
/proc/meminfo: memFree=129458508/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=202464 memory=188872 CPUtime=3272.37 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 40263 0 0 0 326164 1073 0 0 20 0 1 0 47664028 207323136 47218 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 50616 47218 1344 243 0 46865 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 202464 KiB
Current children cumulated memory: 188872 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/250 41741
/proc/meminfo: memFree=129453648/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=253512 memory=191580 CPUtime=3332.21 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 40409 0 0 0 332143 1078 0 0 20 0 1 0 47664028 259596288 47895 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 63378 47895 1344 243 0 59627 0
Current children cumulated CPU time: 3332.21 s
Current children cumulated vsize: 253512 KiB
Current children cumulated memory: 191580 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 41743
/proc/meminfo: memFree=129449284/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=254664 memory=194344 CPUtime=3392.03 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 40603 0 0 0 338121 1082 0 0 20 0 1 0 47664028 260775936 48586 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 63666 48586 1344 243 0 59915 0
Current children cumulated CPU time: 3392.03 s
Current children cumulated vsize: 254664 KiB
Current children cumulated memory: 194344 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 41745
/proc/meminfo: memFree=129379564/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=279432 memory=209236 CPUtime=3451.85 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 43805 0 0 0 344097 1088 0 0 20 0 1 0 47664028 286138368 52309 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 69858 52309 1344 243 0 66107 0
Current children cumulated CPU time: 3451.85 s
Current children cumulated vsize: 279432 KiB
Current children cumulated memory: 209236 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/250 41747
/proc/meminfo: memFree=129368284/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=279944 memory=211944 CPUtime=3511.68 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 43960 0 0 0 350077 1091 0 0 20 0 1 0 47664028 286662656 52986 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 69986 52986 1344 243 0 66235 0
Current children cumulated CPU time: 3511.68 s
Current children cumulated vsize: 279944 KiB
Current children cumulated memory: 211944 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 41751
/proc/meminfo: memFree=129367068/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=279944 memory=214264 CPUtime=3571.51 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 44045 0 0 0 356057 1094 0 0 20 0 1 0 47664028 286662656 53566 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 69986 53566 1344 243 0 66235 0
Current children cumulated CPU time: 3571.51 s
Current children cumulated vsize: 279944 KiB
Current children cumulated memory: 214264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.07 4.09 4.09 5/249 41752
/proc/meminfo: memFree=129365328/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=280456 memory=214776 CPUtime=3600.03 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 44166 0 0 0 358907 1096 0 0 20 0 1 0 47664028 287186944 53694 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 70114 53694 1344 243 0 66363 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 280456 KiB
Current children cumulated memory: 214776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 41424 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.08 s, system=10.9687 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.07 4.09 4.09 5/249 41752
/proc/meminfo: memFree=129365328/131382120 swapFree=33010160/33010684
[pid=41424] ppid=41421 vsize=280456 memory=214776 CPUtime=3600.03 cores=5,7
/proc/41424/stat : 41424 (pb-oll-rs) R 41421 41424 40708 0 -1 4194304 44166 0 0 0 358907 1096 0 0 20 0 1 0 47664028 287186944 53694 18446744073709551615 4218880 5211445 140735278284720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 16691200 140735278287260 140735278287337 140735278287337 140735278292939 0
/proc/41424/statm: 70114 53694 1344 243 0 66363 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 280456 KiB
Current children cumulated memory: 214776 KiB
Child status: 0
Real time (s): 3610.91
CPU time (s): 3600.04
CPU user time (s): 3589.08
CPU system time (s): 10.9687
CPU usage (%): 99.6992
Max. virtual memory (cumulated for all children) (KiB): 280456
Max. memory (cumulated for all children) (KiB): 214776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.08
system time used= 10.9687
maximum resident set size= 215032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44182
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= 141
involuntary context switches= 21399
# summary of solver processes directly reported to runsolver:
# pid: 41424
# total CPU time (s): 3600.04
# total CPU user time (s): 3589.08
# total CPU system time (s): 10.9687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4415 second user time and 36.0849 second system time
The end
Begin job on nodeC008 at 2025-06-30 23:44:09
IDJOB=4486282
IDBENCH=147017
IDSOLVER=3345
FILE ID=nodeC008/4486282-1751319849
RUNJOBID= nodeC008-1751316235-40721
SLURM_JOB_ID= 9594335
Free space on /tmp= 432988 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486282-1751319849/watcher-4486282-1751319849 -o /tmp/evaluation-result-4486282-1751319849/solver-4486282-1751319849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40721 --watchdog 3760 pb-oll-rs HOME/instance-4486282-1751319849.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=1539412186
nodeC008 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 : 3491.848
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.72
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.214
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.72
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.593
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.72
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 : 2194.629
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.72
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 : 3491.862
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.72
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.110
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.72
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 : 3700.000
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.72
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.210
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129548784 kB
MemAvailable: 129331496 kB
Buffers: 2144 kB
Cached: 592932 kB
SwapCached: 16 kB
Active: 918528 kB
Inactive: 375616 kB
Active(anon): 680348 kB
Inactive(anon): 36640 kB
Active(file): 238180 kB
Inactive(file): 338976 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 69192 kB
Writeback: 16 kB
AnonPages: 700924 kB
Mapped: 107108 kB
Shmem: 17920 kB
KReclaimable: 90364 kB
Slab: 172064 kB
SReclaimable: 90364 kB
SUnreclaim: 81700 kB
KernelStack: 4032 kB
PageTables: 4308 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1070728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 614400 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC008 at 2025-07-01 00:44:20