0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4507196-1751179929.opb'
0.00/0.03 c read 1.50MB (20.23ms)
0.00/0.03 c [cnf: #variables 21658 #clauses 22024 #duplicates 0 #arr 141720]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 3276] (28.61ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c (4.29ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 108656 #edges 413388]
0.00/0.07 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.09 c [group: #symmetries 4.80*10^1 #generators 5] (23.53ms)
0.00/0.09 c
0.00/0.09 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.09 c (0.07ms)
0.00/0.09 c
0.00/0.09 c finalize break order and special generators
0.00/0.09 c
0.00/0.09 c add generic predicates (break_depth=10)
0.00/0.09 c added predicates for 5 generators (0.19ms)
0.00/0.09 c
0.00/0.09 c generation finished
0.00/0.09 c [sbp: #constraints 140 #add_vars 45]
0.00/0.09 c
0.00/0.09 c write result to 'HOME/instance-4507196-1751179929.opb.pre'
0.00/0.10 c wrote 1.53MB (3.59ms)
0.00/0.10 c ------------------------------------------------------------------
0.00/0.10 c 28.61ms 34.58% approx_orbits
0.00/0.10 c 23.53ms 28.43% detect_generic
0.00/0.10 c 20.22ms 24.44% parse
0.00/0.10 c 4.29ms 5.19% detect_special
0.00/0.10 c 3.59ms 4.34% output
0.00/0.10 c 1.42ms 1.71% other
0.00/0.10 c 0.83ms 1.00% finalize_order
0.00/0.10 c 0.19ms 0.23% break_generic
0.00/0.10 c 0.07ms 0.09% optimize_gens
0.00/0.10 c ───────────────────────────────────────────────
0.00/0.10 c 82.75ms 100% total
0.00/0.10 c ------------------------------------------------------------------
0.00/0.12 c RoundingSat 2
0.00/0.12 c branch pb25
0.00/0.12 c commit 63f22ad
0.16/0.25 c #variables 21703 #constraints 22162
113.57/113.90 c #Conflicts: 1000 | #Constraints: 23161
113.57/113.90 c #Conflicts: 2000 | #Constraints: 24161
113.57/113.90 c INPROCESSING
113.57/113.90 c GARBAGE COLLECT
113.57/113.90 c #Conflicts: 3000 | #Constraints: 23611
113.57/113.90 c #Conflicts: 4000 | #Constraints: 24611
113.57/113.90 c INPROCESSING
113.57/113.90 c GARBAGE COLLECT
113.57/113.90 c #Conflicts: 5000 | #Constraints: 24000
113.57/113.90 c #Conflicts: 6000 | #Constraints: 25000
113.57/113.90 c INPROCESSING
113.57/113.90 c GARBAGE COLLECT
113.57/113.90 c #Conflicts: 7000 | #Constraints: 24223
113.57/113.90 c #Conflicts: 8000 | #Constraints: 25223
113.57/113.90 c #Conflicts: 9000 | #Constraints: 26223
113.57/113.90 c #Conflicts: 10000 | #Constraints: 27223
113.57/113.90 c #Conflicts: 11000 | #Constraints: 28223
113.57/113.90 c #Conflicts: 12000 | #Constraints: 29223
113.57/113.90 c INPROCESSING
113.57/113.90 c GARBAGE COLLECT
113.57/113.90 c #Conflicts: 13000 | #Constraints: 26240
113.57/113.90 c #Conflicts: 14000 | #Constraints: 27240
113.57/113.90 c #Conflicts: 15000 | #Constraints: 28240
113.57/113.90 c #Conflicts: 16000 | #Constraints: 29240
113.57/113.90 c INPROCESSING
113.57/113.90 c GARBAGE COLLECT
113.57/113.90 c #Conflicts: 17000 | #Constraints: 26683
113.57/113.90 c #Conflicts: 18000 | #Constraints: 27683
113.57/113.90 c #Conflicts: 19000 | #Constraints: 28683
113.57/113.90 c #Conflicts: 20000 | #Constraints: 29683
113.57/113.90 c #Conflicts: 21000 | #Constraints: 30683
113.57/113.90 c #Conflicts: 22000 | #Constraints: 31683
113.57/113.90 c #Conflicts: 23000 | #Constraints: 32683
113.57/113.90 c #Conflicts: 24000 | #Constraints: 33683
113.57/113.90 c #Conflicts: 25000 | #Constraints: 34683
113.57/113.90 c INPROCESSING
113.57/113.90 c GARBAGE COLLECT
113.57/113.90 c #Conflicts: 26000 | #Constraints: 29135
113.57/113.90 c #Conflicts: 27000 | #Constraints: 30135
113.57/113.90 c #Conflicts: 28000 | #Constraints: 31135
113.57/113.90 c #Conflicts: 29000 | #Constraints: 32135
113.57/113.90 c #Conflicts: 30000 | #Constraints: 33135
113.57/113.90 c INPROCESSING
113.57/113.90 c GARBAGE COLLECT
113.57/113.90 c #Conflicts: 31000 | #Constraints: 29391
113.57/113.90 c #Conflicts: 32000 | #Constraints: 30391
113.57/113.90 c #Conflicts: 33000 | #Constraints: 31391
113.57/113.90 c #Conflicts: 34000 | #Constraints: 32391
113.57/113.90 c #Conflicts: 35000 | #Constraints: 33391
113.57/113.90 c #Conflicts: 36000 | #Constraints: 34391
113.57/113.90 c #Conflicts: 37000 | #Constraints: 35391
113.57/113.90 c #Conflicts: 38000 | #Constraints: 36391
113.57/113.90 c #Conflicts: 39000 | #Constraints: 37391
113.57/113.90 c #Conflicts: 40000 | #Constraints: 38391
113.57/113.90 c #Conflicts: 41000 | #Constraints: 39391
113.57/113.90 c #Conflicts: 42000 | #Constraints: 40391
113.57/113.90 c #Conflicts: 43000 | #Constraints: 41391
113.57/113.90 c INPROCESSING
113.57/113.90 c GARBAGE COLLECT
113.57/113.90 c #Conflicts: 44000 | #Constraints: 32849
113.57/113.90 c #Conflicts: 45000 | #Constraints: 33849
113.57/113.90 c #Conflicts: 46000 | #Constraints: 34849
113.57/113.90 c #Conflicts: 47000 | #Constraints: 35849
113.57/113.90 c #Conflicts: 48000 | #Constraints: 36849
113.57/113.90 c #Conflicts: 49000 | #Constraints: 37849
113.57/113.90 c INPROCESSING
113.57/113.90 c GARBAGE COLLECT
113.57/113.90 c #Conflicts: 50000 | #Constraints: 32440
113.57/113.90 c #Conflicts: 51000 | #Constraints: 33440
113.57/113.90 c #Conflicts: 52000 | #Constraints: 34440
113.57/113.90 c #Conflicts: 53000 | #Constraints: 35440
113.57/113.90 c #Conflicts: 54000 | #Constraints: 36440
113.57/113.90 c #Conflicts: 55000 | #Constraints: 37440
113.57/113.90 c #Conflicts: 56000 | #Constraints: 38440
113.57/113.90 c #Conflicts: 57000 | #Constraints: 39440
113.57/113.90 c #Conflicts: 58000 | #Constraints: 40440
113.57/113.90 c #Conflicts: 59000 | #Constraints: 41440
113.57/113.90 c #Conflicts: 60000 | #Constraints: 42440
113.57/113.90 c #Conflicts: 61000 | #Constraints: 43440
113.57/113.90 c #Conflicts: 62000 | #Constraints: 44440
113.57/113.90 c #Conflicts: 63000 | #Constraints: 45440
113.57/113.90 c #Conflicts: 64000 | #Constraints: 46440
113.57/113.90 c #Conflicts: 65000 | #Constraints: 47440
113.57/113.90 c INPROCESSING
113.57/113.90 c GARBAGE COLLECT
113.57/113.90 c #Conflicts: 66000 | #Constraints: 36225
113.57/113.90 c #Conflicts: 67000 | #Constraints: 37225
113.57/113.90 c #Conflicts: 68000 | #Constraints: 38225
113.57/113.90 c #Conflicts: 69000 | #Constraints: 39225
113.57/113.90 c #Conflicts: 70000 | #Constraints: 40225
113.57/113.90 c #Conflicts: 71000 | #Constraints: 41225
113.57/113.90 c #Conflicts: 72000 | #Constraints: 42225
113.57/113.90 c INPROCESSING
113.57/113.90 c GARBAGE COLLECT
234.99/235.69 c #Conflicts: 73000 | #Constraints: 35574
234.99/235.69 c #Conflicts: 74000 | #Constraints: 36574
234.99/235.69 c #Conflicts: 75000 | #Constraints: 37574
234.99/235.69 c #Conflicts: 76000 | #Constraints: 38574
234.99/235.69 c #Conflicts: 77000 | #Constraints: 39574
234.99/235.69 c #Conflicts: 78000 | #Constraints: 40574
234.99/235.69 c #Conflicts: 79000 | #Constraints: 41574
234.99/235.69 c #Conflicts: 80000 | #Constraints: 42574
234.99/235.69 c #Conflicts: 81000 | #Constraints: 43574
234.99/235.69 c #Conflicts: 82000 | #Constraints: 44574
234.99/235.69 c #Conflicts: 83000 | #Constraints: 45574
234.99/235.69 c #Conflicts: 84000 | #Constraints: 46574
234.99/235.69 c #Conflicts: 85000 | #Constraints: 47574
234.99/235.69 c #Conflicts: 86000 | #Constraints: 48574
234.99/235.69 c #Conflicts: 87000 | #Constraints: 49574
234.99/235.69 c #Conflicts: 88000 | #Constraints: 50574
234.99/235.69 c #Conflicts: 89000 | #Constraints: 51574
234.99/235.69 c #Conflicts: 90000 | #Constraints: 52574
234.99/235.69 c #Conflicts: 91000 | #Constraints: 53574
234.99/235.69 c INPROCESSING
234.99/235.69 c GARBAGE COLLECT
234.99/235.69 c #Conflicts: 92000 | #Constraints: 39187
234.99/235.69 c #Conflicts: 93000 | #Constraints: 40187
234.99/235.69 c #Conflicts: 94000 | #Constraints: 41187
234.99/235.69 c #Conflicts: 95000 | #Constraints: 42187
234.99/235.69 c #Conflicts: 96000 | #Constraints: 43187
234.99/235.69 c #Conflicts: 97000 | #Constraints: 44187
234.99/235.69 c #Conflicts: 98000 | #Constraints: 45187
234.99/235.69 c #Conflicts: 99000 | #Constraints: 46187
234.99/235.69 c #Conflicts: 100000 | #Constraints: 47187
234.99/235.69 c INPROCESSING
234.99/235.69 c GARBAGE COLLECT
234.99/235.69 c #Conflicts: 101000 | #Constraints: 38911
234.99/235.69 c #Conflicts: 102000 | #Constraints: 39911
234.99/235.69 c #Conflicts: 103000 | #Constraints: 40911
234.99/235.69 c #Conflicts: 104000 | #Constraints: 41911
234.99/235.69 c #Conflicts: 105000 | #Constraints: 42911
234.99/235.69 c #Conflicts: 106000 | #Constraints: 43911
234.99/235.69 c #Conflicts: 107000 | #Constraints: 44911
234.99/235.69 c #Conflicts: 108000 | #Constraints: 45911
234.99/235.69 c #Conflicts: 109000 | #Constraints: 46911
234.99/235.69 c #Conflicts: 110000 | #Constraints: 47911
234.99/235.69 c #Conflicts: 111000 | #Constraints: 48911
234.99/235.69 c #Conflicts: 112000 | #Constraints: 49911
234.99/235.69 c #Conflicts: 113000 | #Constraints: 50911
234.99/235.69 c #Conflicts: 114000 | #Constraints: 51911
234.99/235.69 c #Conflicts: 115000 | #Constraints: 52911
234.99/235.69 c #Conflicts: 116000 | #Constraints: 53911
234.99/235.69 c #Conflicts: 117000 | #Constraints: 54911
234.99/235.69 c #Conflicts: 118000 | #Constraints: 55911
234.99/235.69 c #Conflicts: 119000 | #Constraints: 56911
234.99/235.69 c #Conflicts: 120000 | #Constraints: 57911
234.99/235.69 c #Conflicts: 121000 | #Constraints: 58911
234.99/235.69 c INPROCESSING
234.99/235.69 c GARBAGE COLLECT
234.99/235.69 c #Conflicts: 122000 | #Constraints: 41737
234.99/235.69 c #Conflicts: 123000 | #Constraints: 42737
234.99/235.69 c #Conflicts: 124000 | #Constraints: 43737
234.99/235.69 c #Conflicts: 125000 | #Constraints: 44737
234.99/235.69 c #Conflicts: 126000 | #Constraints: 45737
234.99/235.69 c #Conflicts: 127000 | #Constraints: 46737
234.99/235.69 c #Conflicts: 128000 | #Constraints: 47737
234.99/235.69 c #Conflicts: 129000 | #Constraints: 48737
234.99/235.69 c #Conflicts: 130000 | #Constraints: 49737
234.99/235.69 c #Conflicts: 131000 | #Constraints: 50737
234.99/235.69 c #Conflicts: 132000 | #Constraints: 51737
234.99/235.69 c INPROCESSING
234.99/235.69 c GARBAGE COLLECT
234.99/235.69 c #Conflicts: 133000 | #Constraints: 42065
234.99/235.69 c #Conflicts: 134000 | #Constraints: 43065
234.99/235.69 c #Conflicts: 135000 | #Constraints: 44065
234.99/235.69 c #Conflicts: 136000 | #Constraints: 45065
234.99/235.69 c #Conflicts: 137000 | #Constraints: 46065
234.99/235.69 c #Conflicts: 138000 | #Constraints: 47065
234.99/235.69 c #Conflicts: 139000 | #Constraints: 48065
234.99/235.69 c #Conflicts: 140000 | #Constraints: 49065
234.99/235.69 c #Conflicts: 141000 | #Constraints: 50065
234.99/235.69 c #Conflicts: 142000 | #Constraints: 51065
234.99/235.69 c #Conflicts: 143000 | #Constraints: 52065
234.99/235.69 c #Conflicts: 144000 | #Constraints: 53065
234.99/235.69 c #Conflicts: 145000 | #Constraints: 54065
234.99/235.69 c #Conflicts: 146000 | #Constraints: 55065
234.99/235.69 c #Conflicts: 147000 | #Constraints: 56065
234.99/235.69 c #Conflicts: 148000 | #Constraints: 57065
234.99/235.69 c #Conflicts: 149000 | #Constraints: 58065
344.33/345.27 c #Conflicts: 150000 | #Constraints: 59065
344.33/345.27 c #Conflicts: 151000 | #Constraints: 60065
344.33/345.27 c #Conflicts: 152000 | #Constraints: 61065
344.33/345.27 c #Conflicts: 153000 | #Constraints: 62065
344.33/345.27 c #Conflicts: 154000 | #Constraints: 63065
344.33/345.27 c #Conflicts: 155000 | #Constraints: 64065
344.33/345.27 c #Conflicts: 156000 | #Constraints: 65065
344.33/345.27 c INPROCESSING
344.33/345.27 c GARBAGE COLLECT
344.33/345.27 c #Conflicts: 157000 | #Constraints: 44923
344.33/345.27 c #Conflicts: 158000 | #Constraints: 45923
344.33/345.27 c #Conflicts: 159000 | #Constraints: 46923
344.33/345.27 c #Conflicts: 160000 | #Constraints: 47923
344.33/345.27 c #Conflicts: 161000 | #Constraints: 48923
344.33/345.27 c #Conflicts: 162000 | #Constraints: 49923
344.33/345.27 c #Conflicts: 163000 | #Constraints: 50923
344.33/345.27 c #Conflicts: 164000 | #Constraints: 51923
344.33/345.27 c #Conflicts: 165000 | #Constraints: 52923
344.33/345.27 c #Conflicts: 166000 | #Constraints: 53923
344.33/345.27 c #Conflicts: 167000 | #Constraints: 54923
344.33/345.27 c #Conflicts: 168000 | #Constraints: 55923
344.33/345.27 c INPROCESSING
344.33/345.27 c GARBAGE COLLECT
344.33/345.27 c #Conflicts: 169000 | #Constraints: 44881
344.33/345.27 c #Conflicts: 170000 | #Constraints: 45881
344.33/345.27 c #Conflicts: 171000 | #Constraints: 46881
344.33/345.27 c #Conflicts: 172000 | #Constraints: 47881
344.33/345.27 c #Conflicts: 173000 | #Constraints: 48881
344.33/345.27 c #Conflicts: 174000 | #Constraints: 49881
344.33/345.27 c #Conflicts: 175000 | #Constraints: 50881
344.33/345.27 c #Conflicts: 176000 | #Constraints: 51881
344.33/345.27 c #Conflicts: 177000 | #Constraints: 52881
344.33/345.27 c #Conflicts: 178000 | #Constraints: 53881
344.33/345.27 c #Conflicts: 179000 | #Constraints: 54881
344.33/345.27 c #Conflicts: 180000 | #Constraints: 55881
344.33/345.27 c #Conflicts: 181000 | #Constraints: 56881
344.33/345.27 c #Conflicts: 182000 | #Constraints: 57881
344.33/345.27 c #Conflicts: 183000 | #Constraints: 58881
344.33/345.27 c #Conflicts: 184000 | #Constraints: 59881
344.33/345.27 c #Conflicts: 185000 | #Constraints: 60881
344.33/345.27 c #Conflicts: 186000 | #Constraints: 61881
344.33/345.27 c #Conflicts: 187000 | #Constraints: 62881
344.33/345.27 c #Conflicts: 188000 | #Constraints: 63881
344.33/345.27 c #Conflicts: 189000 | #Constraints: 64881
344.33/345.27 c #Conflicts: 190000 | #Constraints: 65881
344.33/345.27 c #Conflicts: 191000 | #Constraints: 66881
344.33/345.27 c #Conflicts: 192000 | #Constraints: 67881
344.33/345.27 c #Conflicts: 193000 | #Constraints: 68881
344.33/345.27 c #Conflicts: 194000 | #Constraints: 69881
344.33/345.27 c #Conflicts: 195000 | #Constraints: 70881
344.33/345.27 c #Conflicts: 196000 | #Constraints: 71881
344.33/345.27 c INPROCESSING
344.33/345.27 c GARBAGE COLLECT
344.33/345.27 c #Conflicts: 197000 | #Constraints: 48626
344.33/345.27 c #Conflicts: 198000 | #Constraints: 49626
344.33/345.27 c #Conflicts: 199000 | #Constraints: 50626
344.33/345.27 c #Conflicts: 200000 | #Constraints: 51626
344.33/345.27 c #Conflicts: 201000 | #Constraints: 52626
344.33/345.27 c #Conflicts: 202000 | #Constraints: 53626
344.33/345.27 c #Conflicts: 203000 | #Constraints: 54626
344.33/345.27 c #Conflicts: 204000 | #Constraints: 55626
344.33/345.27 c #Conflicts: 205000 | #Constraints: 56626
344.33/345.27 c #Conflicts: 206000 | #Constraints: 57626
344.33/345.27 c #Conflicts: 207000 | #Constraints: 58626
344.33/345.27 c #Conflicts: 208000 | #Constraints: 59626
344.33/345.27 c #Conflicts: 209000 | #Constraints: 60626
344.33/345.27 c INPROCESSING
344.33/345.27 c GARBAGE COLLECT
344.33/345.27 c #Conflicts: 210000 | #Constraints: 48148
344.33/345.27 c #Conflicts: 211000 | #Constraints: 49148
344.33/345.27 c #Conflicts: 212000 | #Constraints: 50148
344.33/345.27 c #Conflicts: 213000 | #Constraints: 51148
344.33/345.27 c #Conflicts: 214000 | #Constraints: 52148
344.33/345.27 c #Conflicts: 215000 | #Constraints: 53148
344.33/345.27 c #Conflicts: 216000 | #Constraints: 54148
344.33/345.27 c #Conflicts: 217000 | #Constraints: 55148
344.33/345.27 c #Conflicts: 218000 | #Constraints: 56148
344.33/345.27 c #Conflicts: 219000 | #Constraints: 57148
344.33/345.27 c #Conflicts: 220000 | #Constraints: 58148
344.33/345.27 c #Conflicts: 221000 | #Constraints: 59148
344.33/345.27 c #Conflicts: 222000 | #Constraints: 60148
344.33/345.27 c #Conflicts: 223000 | #Constraints: 61148
344.33/345.27 c #Conflicts: 224000 | #Constraints: 62148
344.33/345.27 c #Conflicts: 225000 | #Constraints: 63148
541.95/543.32 c #Conflicts: 226000 | #Constraints: 64148
541.95/543.32 c #Conflicts: 227000 | #Constraints: 65148
541.95/543.32 c #Conflicts: 228000 | #Constraints: 66148
541.95/543.32 c #Conflicts: 229000 | #Constraints: 67148
541.95/543.32 c #Conflicts: 230000 | #Constraints: 68148
541.95/543.32 c #Conflicts: 231000 | #Constraints: 69148
541.95/543.32 c #Conflicts: 232000 | #Constraints: 70148
541.95/543.32 c #Conflicts: 233000 | #Constraints: 71148
541.95/543.32 c #Conflicts: 234000 | #Constraints: 72148
541.95/543.32 c #Conflicts: 235000 | #Constraints: 73148
541.95/543.32 c #Conflicts: 236000 | #Constraints: 74148
541.95/543.32 c #Conflicts: 237000 | #Constraints: 75148
541.95/543.32 c #Conflicts: 238000 | #Constraints: 76148
541.95/543.32 c #Conflicts: 239000 | #Constraints: 77148
541.95/543.32 c #Conflicts: 240000 | #Constraints: 78148
541.95/543.32 c INPROCESSING
541.95/543.32 c GARBAGE COLLECT
541.95/543.32 c #Conflicts: 241000 | #Constraints: 52181
541.95/543.32 c #Conflicts: 242000 | #Constraints: 53181
541.95/543.32 c #Conflicts: 243000 | #Constraints: 54181
541.95/543.32 c #Conflicts: 244000 | #Constraints: 55181
541.95/543.32 c #Conflicts: 245000 | #Constraints: 56181
541.95/543.32 c #Conflicts: 246000 | #Constraints: 57181
541.95/543.32 c #Conflicts: 247000 | #Constraints: 58181
541.95/543.32 c #Conflicts: 248000 | #Constraints: 59181
541.95/543.32 c #Conflicts: 249000 | #Constraints: 60182
541.95/543.32 c #Conflicts: 250000 | #Constraints: 61182
541.95/543.32 c #Conflicts: 251000 | #Constraints: 62182
541.95/543.32 c #Conflicts: 252000 | #Constraints: 63182
541.95/543.32 c #Conflicts: 253000 | #Constraints: 64182
541.95/543.32 c #Conflicts: 254000 | #Constraints: 65182
541.95/543.32 c INPROCESSING
541.95/543.32 c GARBAGE COLLECT
541.95/543.32 c #Conflicts: 255000 | #Constraints: 50968
541.95/543.32 c #Conflicts: 256000 | #Constraints: 51968
541.95/543.32 c #Conflicts: 257000 | #Constraints: 52968
541.95/543.32 c #Conflicts: 258000 | #Constraints: 53968
541.95/543.32 c #Conflicts: 259000 | #Constraints: 54968
541.95/543.32 c #Conflicts: 260000 | #Constraints: 55968
541.95/543.32 c #Conflicts: 261000 | #Constraints: 56968
541.95/543.32 c #Conflicts: 262000 | #Constraints: 57968
541.95/543.32 c #Conflicts: 263000 | #Constraints: 58968
541.95/543.32 c #Conflicts: 264000 | #Constraints: 59968
541.95/543.32 c #Conflicts: 265000 | #Constraints: 60968
541.95/543.32 c #Conflicts: 266000 | #Constraints: 61968
541.95/543.32 c #Conflicts: 267000 | #Constraints: 62968
541.95/543.32 c #Conflicts: 268000 | #Constraints: 63968
541.95/543.32 c #Conflicts: 269000 | #Constraints: 64968
541.95/543.32 c #Conflicts: 270000 | #Constraints: 65968
541.95/543.32 c #Conflicts: 271000 | #Constraints: 66968
541.95/543.32 c #Conflicts: 272000 | #Constraints: 67968
541.95/543.32 c #Conflicts: 273000 | #Constraints: 68968
541.95/543.32 c #Conflicts: 274000 | #Constraints: 69968
541.95/543.32 c #Conflicts: 275000 | #Constraints: 70968
541.95/543.32 c #Conflicts: 276000 | #Constraints: 71968
541.95/543.32 c #Conflicts: 277000 | #Constraints: 72968
541.95/543.32 c #Conflicts: 278000 | #Constraints: 73968
541.95/543.32 c #Conflicts: 279000 | #Constraints: 74968
541.95/543.32 c #Conflicts: 280000 | #Constraints: 75968
541.95/543.32 c #Conflicts: 281000 | #Constraints: 76968
541.95/543.32 c #Conflicts: 282000 | #Constraints: 77968
541.95/543.32 c #Conflicts: 283000 | #Constraints: 78968
541.95/543.32 c #Conflicts: 284000 | #Constraints: 79968
541.95/543.32 c #Conflicts: 285000 | #Constraints: 80968
541.95/543.32 c #Conflicts: 286000 | #Constraints: 81968
541.95/543.32 c #Conflicts: 287000 | #Constraints: 82968
541.95/543.32 c #Conflicts: 288000 | #Constraints: 83968
541.95/543.32 c INPROCESSING
541.95/543.32 c GARBAGE COLLECT
541.95/543.32 c #Conflicts: 289000 | #Constraints: 54846
541.95/543.32 c #Conflicts: 290000 | #Constraints: 55846
541.95/543.32 c #Conflicts: 291000 | #Constraints: 56846
541.95/543.32 c #Conflicts: 292000 | #Constraints: 57846
541.95/543.32 c #Conflicts: 293000 | #Constraints: 58846
541.95/543.32 c #Conflicts: 294000 | #Constraints: 59846
541.95/543.32 c #Conflicts: 295000 | #Constraints: 60846
541.95/543.32 c #Conflicts: 296000 | #Constraints: 61846
541.95/543.32 c #Conflicts: 297000 | #Constraints: 62846
541.95/543.32 c #Conflicts: 298000 | #Constraints: 63846
541.95/543.32 c #Conflicts: 299000 | #Constraints: 64846
541.95/543.32 c #Conflicts: 300000 | #Constraints: 65846
541.95/543.32 c #Conflicts: 301000 | #Constraints: 66846
541.95/543.32 c #Conflicts: 302000 | #Constraints: 67846
664.02/665.72 c #Conflicts: 303000 | #Constraints: 68846
664.02/665.72 c INPROCESSING
664.02/665.72 c GARBAGE COLLECT
664.02/665.72 c #Conflicts: 304000 | #Constraints: 53593
664.02/665.72 c #Conflicts: 305000 | #Constraints: 54593
664.02/665.72 c #Conflicts: 306000 | #Constraints: 55593
664.02/665.72 c #Conflicts: 307000 | #Constraints: 56593
664.02/665.72 c #Conflicts: 308000 | #Constraints: 57593
664.02/665.72 c #Conflicts: 309000 | #Constraints: 58593
664.02/665.72 c #Conflicts: 310000 | #Constraints: 59593
664.02/665.72 c #Conflicts: 311000 | #Constraints: 60593
664.02/665.72 c #Conflicts: 312000 | #Constraints: 61593
664.02/665.72 c #Conflicts: 313000 | #Constraints: 62593
664.02/665.72 c #Conflicts: 314000 | #Constraints: 63593
664.02/665.72 c #Conflicts: 315000 | #Constraints: 64593
664.02/665.72 c #Conflicts: 316000 | #Constraints: 65593
664.02/665.72 c #Conflicts: 317000 | #Constraints: 66593
664.02/665.72 c #Conflicts: 318000 | #Constraints: 67593
664.02/665.72 c #Conflicts: 319000 | #Constraints: 68593
664.02/665.72 c #Conflicts: 320000 | #Constraints: 69593
664.02/665.72 c #Conflicts: 321000 | #Constraints: 70593
664.02/665.72 c #Conflicts: 322000 | #Constraints: 71593
664.02/665.72 c #Conflicts: 323000 | #Constraints: 72593
664.02/665.72 c #Conflicts: 324000 | #Constraints: 73593
664.02/665.72 c #Conflicts: 325000 | #Constraints: 74593
664.02/665.72 c #Conflicts: 326000 | #Constraints: 75593
664.02/665.72 c #Conflicts: 327000 | #Constraints: 76593
664.02/665.72 c #Conflicts: 328000 | #Constraints: 77593
664.02/665.72 c #Conflicts: 329000 | #Constraints: 78593
664.02/665.72 c #Conflicts: 330000 | #Constraints: 79593
664.02/665.72 c #Conflicts: 331000 | #Constraints: 80593
664.02/665.72 c #Conflicts: 332000 | #Constraints: 81593
664.02/665.72 c #Conflicts: 333000 | #Constraints: 82593
664.02/665.72 c #Conflicts: 334000 | #Constraints: 83593
664.02/665.72 c #Conflicts: 335000 | #Constraints: 84593
664.02/665.72 c #Conflicts: 336000 | #Constraints: 85593
664.02/665.72 c #Conflicts: 337000 | #Constraints: 86593
664.02/665.72 c #Conflicts: 338000 | #Constraints: 87593
664.02/665.72 c #Conflicts: 339000 | #Constraints: 88593
664.02/665.72 c #Conflicts: 340000 | #Constraints: 89593
664.02/665.72 c INPROCESSING
664.02/665.72 c GARBAGE COLLECT
664.02/665.72 c #Conflicts: 341000 | #Constraints: 57518
664.02/665.72 c #Conflicts: 342000 | #Constraints: 58518
664.02/665.72 c #Conflicts: 343000 | #Constraints: 59518
664.02/665.72 c #Conflicts: 344000 | #Constraints: 60518
664.02/665.72 c #Conflicts: 345000 | #Constraints: 61518
664.02/665.72 c #Conflicts: 346000 | #Constraints: 62518
664.02/665.72 c #Conflicts: 347000 | #Constraints: 63518
664.02/665.72 c #Conflicts: 348000 | #Constraints: 64518
664.02/665.72 c #Conflicts: 349000 | #Constraints: 65518
664.02/665.72 c #Conflicts: 350000 | #Constraints: 66518
664.02/665.72 c #Conflicts: 351000 | #Constraints: 67518
664.02/665.72 c #Conflicts: 352000 | #Constraints: 68518
664.02/665.72 c #Conflicts: 353000 | #Constraints: 69518
664.02/665.72 c #Conflicts: 354000 | #Constraints: 70518
664.02/665.72 c #Conflicts: 355000 | #Constraints: 71518
664.02/665.72 c #Conflicts: 356000 | #Constraints: 72518
664.02/665.72 c #Conflicts: 357000 | #Constraints: 73518
664.02/665.72 c INPROCESSING
664.02/665.72 c GARBAGE COLLECT
664.02/665.72 c #Conflicts: 358000 | #Constraints: 56720
664.02/665.72 c #Conflicts: 359000 | #Constraints: 57720
664.02/665.72 c #Conflicts: 360000 | #Constraints: 58720
664.02/665.72 c #Conflicts: 361000 | #Constraints: 59720
664.02/665.72 c #Conflicts: 362000 | #Constraints: 60720
664.02/665.72 c #Conflicts: 363000 | #Constraints: 61720
664.02/665.72 c #Conflicts: 364000 | #Constraints: 62720
664.02/665.72 c #Conflicts: 365000 | #Constraints: 63720
664.02/665.72 c #Conflicts: 366000 | #Constraints: 64720
664.02/665.72 c #Conflicts: 367000 | #Constraints: 65720
664.02/665.72 c #Conflicts: 368000 | #Constraints: 66720
664.02/665.72 c #Conflicts: 369000 | #Constraints: 67720
664.02/665.72 c #Conflicts: 370000 | #Constraints: 68720
664.02/665.72 c #Conflicts: 371000 | #Constraints: 69720
664.02/665.72 c #Conflicts: 372000 | #Constraints: 70720
664.02/665.72 c #Conflicts: 373000 | #Constraints: 71720
664.02/665.72 c #Conflicts: 374000 | #Constraints: 72720
664.02/665.72 c #Conflicts: 375000 | #Constraints: 73720
664.02/665.72 c #Conflicts: 376000 | #Constraints: 74720
664.02/665.72 c #Conflicts: 377000 | #Constraints: 75720
664.02/665.72 c #Conflicts: 378000 | #Constraints: 76720
846.12/848.34 c #Conflicts: 379000 | #Constraints: 77720
846.12/848.34 c #Conflicts: 380000 | #Constraints: 78720
846.12/848.34 c #Conflicts: 381000 | #Constraints: 79720
846.12/848.34 c #Conflicts: 382000 | #Constraints: 80720
846.12/848.34 c #Conflicts: 383000 | #Constraints: 81720
846.12/848.34 c #Conflicts: 384000 | #Constraints: 82720
846.12/848.34 c #Conflicts: 385000 | #Constraints: 83720
846.12/848.34 c #Conflicts: 386000 | #Constraints: 84720
846.12/848.34 c #Conflicts: 387000 | #Constraints: 85720
846.12/848.34 c #Conflicts: 388000 | #Constraints: 86720
846.12/848.34 c #Conflicts: 389000 | #Constraints: 87720
846.12/848.34 c #Conflicts: 390000 | #Constraints: 88720
846.12/848.34 c #Conflicts: 391000 | #Constraints: 89720
846.12/848.34 c #Conflicts: 392000 | #Constraints: 90720
846.12/848.34 c #Conflicts: 393000 | #Constraints: 91720
846.12/848.34 c #Conflicts: 394000 | #Constraints: 92720
846.12/848.34 c #Conflicts: 395000 | #Constraints: 93720
846.12/848.34 c #Conflicts: 396000 | #Constraints: 94720
846.12/848.34 c #Conflicts: 397000 | #Constraints: 95720
846.12/848.34 c INPROCESSING
846.12/848.34 c GARBAGE COLLECT
846.12/848.34 c #Conflicts: 398000 | #Constraints: 60543
846.12/848.34 c #Conflicts: 399000 | #Constraints: 61543
846.12/848.34 c #Conflicts: 400000 | #Constraints: 62543
846.12/848.34 c #Conflicts: 401000 | #Constraints: 63543
846.12/848.34 c #Conflicts: 402000 | #Constraints: 64543
846.12/848.34 c #Conflicts: 403000 | #Constraints: 65543
846.12/848.34 c #Conflicts: 404000 | #Constraints: 66543
846.12/848.34 c #Conflicts: 405000 | #Constraints: 67543
846.12/848.34 c #Conflicts: 406000 | #Constraints: 68543
846.12/848.34 c #Conflicts: 407000 | #Constraints: 69543
846.12/848.34 c #Conflicts: 408000 | #Constraints: 70543
846.12/848.34 c #Conflicts: 409000 | #Constraints: 71543
846.12/848.34 c #Conflicts: 410000 | #Constraints: 72543
846.12/848.34 c #Conflicts: 411000 | #Constraints: 73543
846.12/848.34 c #Conflicts: 412000 | #Constraints: 74543
846.12/848.34 c #Conflicts: 413000 | #Constraints: 75543
846.12/848.34 c #Conflicts: 414000 | #Constraints: 76543
846.12/848.34 c #Conflicts: 415000 | #Constraints: 77543
846.12/848.34 c INPROCESSING
846.12/848.34 c GARBAGE COLLECT
846.12/848.34 c #Conflicts: 416000 | #Constraints: 59746
846.12/848.34 c #Conflicts: 417000 | #Constraints: 60746
846.12/848.34 c #Conflicts: 418000 | #Constraints: 61746
846.12/848.34 c #Conflicts: 419000 | #Constraints: 62746
846.12/848.34 c #Conflicts: 420000 | #Constraints: 63746
846.12/848.34 c #Conflicts: 421000 | #Constraints: 64746
846.12/848.34 c #Conflicts: 422000 | #Constraints: 65746
846.12/848.34 c #Conflicts: 423000 | #Constraints: 66746
846.12/848.34 c #Conflicts: 424000 | #Constraints: 67746
846.12/848.34 c #Conflicts: 425000 | #Constraints: 68746
846.12/848.34 c #Conflicts: 426000 | #Constraints: 69746
846.12/848.34 c #Conflicts: 427000 | #Constraints: 70746
846.12/848.34 c #Conflicts: 428000 | #Constraints: 71746
846.12/848.34 c #Conflicts: 429000 | #Constraints: 72746
846.12/848.34 c #Conflicts: 430000 | #Constraints: 73746
846.12/848.34 c #Conflicts: 431000 | #Constraints: 74746
846.12/848.34 c #Conflicts: 432000 | #Constraints: 75746
846.12/848.34 c #Conflicts: 433000 | #Constraints: 76746
846.12/848.34 c #Conflicts: 434000 | #Constraints: 77746
846.12/848.34 c #Conflicts: 435000 | #Constraints: 78746
846.12/848.34 c #Conflicts: 436000 | #Constraints: 79746
846.12/848.34 c #Conflicts: 437000 | #Constraints: 80746
846.12/848.34 c #Conflicts: 438000 | #Constraints: 81746
846.12/848.34 c #Conflicts: 439000 | #Constraints: 82746
846.12/848.34 c #Conflicts: 440000 | #Constraints: 83746
846.12/848.34 c #Conflicts: 441000 | #Constraints: 84746
846.12/848.34 c #Conflicts: 442000 | #Constraints: 85746
846.12/848.34 c #Conflicts: 443000 | #Constraints: 86746
846.12/848.34 c #Conflicts: 444000 | #Constraints: 87746
846.12/848.34 c #Conflicts: 445000 | #Constraints: 88746
846.12/848.34 c #Conflicts: 446000 | #Constraints: 89746
846.12/848.34 c #Conflicts: 447000 | #Constraints: 90746
846.12/848.34 c #Conflicts: 448000 | #Constraints: 91746
846.12/848.34 c #Conflicts: 449000 | #Constraints: 92746
846.12/848.34 c #Conflicts: 450000 | #Constraints: 93746
846.12/848.34 c #Conflicts: 451000 | #Constraints: 94746
846.12/848.34 c #Conflicts: 452000 | #Constraints: 95746
846.12/848.34 c #Conflicts: 453000 | #Constraints: 96746
846.12/848.34 c #Conflicts: 454000 | #Constraints: 97746
846.12/848.34 c #Conflicts: 455000 | #Constraints: 98746
846.12/848.34 c #Conflicts: 456000 | #Constraints: 99746
1022.24/1024.93 c #Conflicts: 457000 | #Constraints: 100746
1022.24/1024.93 c #Conflicts: 458000 | #Constraints: 101746
1022.24/1024.93 c #Conflicts: 459000 | #Constraints: 102746
1022.24/1024.93 c INPROCESSING
1022.24/1024.93 c GARBAGE COLLECT
1022.24/1024.93 c #Conflicts: 460000 | #Constraints: 64533
1022.24/1024.93 c #Conflicts: 461000 | #Constraints: 65533
1022.24/1024.93 c #Conflicts: 462000 | #Constraints: 66533
1022.24/1024.93 c #Conflicts: 463000 | #Constraints: 67533
1022.24/1024.93 c #Conflicts: 464000 | #Constraints: 68533
1022.24/1024.93 c #Conflicts: 465000 | #Constraints: 69533
1022.24/1024.93 c #Conflicts: 466000 | #Constraints: 70533
1022.24/1024.93 c #Conflicts: 467000 | #Constraints: 71533
1022.24/1024.93 c #Conflicts: 468000 | #Constraints: 72533
1022.24/1024.93 c #Conflicts: 469000 | #Constraints: 73533
1022.24/1024.93 c #Conflicts: 470000 | #Constraints: 74533
1022.24/1024.93 c #Conflicts: 471000 | #Constraints: 75533
1022.24/1024.93 c #Conflicts: 472000 | #Constraints: 76533
1022.24/1024.93 c #Conflicts: 473000 | #Constraints: 77533
1022.24/1024.93 c #Conflicts: 474000 | #Constraints: 78533
1022.24/1024.93 c #Conflicts: 475000 | #Constraints: 79533
1022.24/1024.93 c #Conflicts: 476000 | #Constraints: 80533
1022.24/1024.93 c #Conflicts: 477000 | #Constraints: 81533
1022.24/1024.93 c #Conflicts: 478000 | #Constraints: 82533
1022.24/1024.93 c INPROCESSING
1022.24/1024.93 c GARBAGE COLLECT
1022.24/1024.93 c #Conflicts: 479000 | #Constraints: 62642
1022.24/1024.93 c #Conflicts: 480000 | #Constraints: 63642
1022.24/1024.93 c #Conflicts: 481000 | #Constraints: 64642
1022.24/1024.93 c #Conflicts: 482000 | #Constraints: 65642
1022.24/1024.93 c #Conflicts: 483000 | #Constraints: 66642
1022.24/1024.93 c #Conflicts: 484000 | #Constraints: 67642
1022.24/1024.93 c #Conflicts: 485000 | #Constraints: 68642
1022.24/1024.93 c #Conflicts: 486000 | #Constraints: 69642
1022.24/1024.93 c #Conflicts: 487000 | #Constraints: 70642
1022.24/1024.93 c #Conflicts: 488000 | #Constraints: 71642
1022.24/1024.93 c #Conflicts: 489000 | #Constraints: 72642
1022.24/1024.93 c #Conflicts: 490000 | #Constraints: 73642
1022.24/1024.93 c #Conflicts: 491000 | #Constraints: 74642
1022.24/1024.93 c #Conflicts: 492000 | #Constraints: 75642
1022.24/1024.93 c #Conflicts: 493000 | #Constraints: 76642
1022.24/1024.93 c #Conflicts: 494000 | #Constraints: 77642
1022.24/1024.93 c #Conflicts: 495000 | #Constraints: 78642
1022.24/1024.93 c #Conflicts: 496000 | #Constraints: 79642
1022.24/1024.93 c #Conflicts: 497000 | #Constraints: 80642
1022.24/1024.93 c #Conflicts: 498000 | #Constraints: 81642
1022.24/1024.93 c #Conflicts: 499000 | #Constraints: 82642
1022.24/1024.93 c #Conflicts: 500000 | #Constraints: 83642
1022.24/1024.93 c #Conflicts: 501000 | #Constraints: 84642
1022.24/1024.93 c #Conflicts: 502000 | #Constraints: 85642
1022.24/1024.93 c #Conflicts: 503000 | #Constraints: 86642
1022.24/1024.93 c #Conflicts: 504000 | #Constraints: 87642
1022.24/1024.93 c #Conflicts: 505000 | #Constraints: 88642
1022.24/1024.93 c #Conflicts: 506000 | #Constraints: 89642
1022.24/1024.93 c #Conflicts: 507000 | #Constraints: 90642
1022.24/1024.93 c #Conflicts: 508000 | #Constraints: 91642
1022.24/1024.93 c #Conflicts: 509000 | #Constraints: 92642
1022.24/1024.93 c #Conflicts: 510000 | #Constraints: 93642
1022.24/1024.93 c #Conflicts: 511000 | #Constraints: 94642
1022.24/1024.93 c #Conflicts: 512000 | #Constraints: 95642
1022.24/1024.93 c #Conflicts: 513000 | #Constraints: 96642
1022.24/1024.93 c #Conflicts: 514000 | #Constraints: 97642
1022.24/1024.93 c #Conflicts: 515000 | #Constraints: 98642
1022.24/1024.93 c #Conflicts: 516000 | #Constraints: 99642
1022.24/1024.93 c #Conflicts: 517000 | #Constraints: 100642
1022.24/1024.93 c #Conflicts: 518000 | #Constraints: 101642
1022.24/1024.93 c #Conflicts: 519000 | #Constraints: 102642
1022.24/1024.93 c #Conflicts: 520000 | #Constraints: 103642
1022.24/1024.93 c #Conflicts: 521000 | #Constraints: 104642
1022.24/1024.93 c #Conflicts: 522000 | #Constraints: 105642
1022.24/1024.93 c #Conflicts: 523000 | #Constraints: 106642
1022.24/1024.93 c #Conflicts: 524000 | #Constraints: 107642
1022.24/1024.93 c #Conflicts: 525000 | #Constraints: 108642
1022.24/1024.93 c INPROCESSING
1022.24/1024.93 c GARBAGE COLLECT
1022.24/1024.93 c #Conflicts: 526000 | #Constraints: 67609
1022.24/1024.93 c #Conflicts: 527000 | #Constraints: 68609
1022.24/1024.93 c #Conflicts: 528000 | #Constraints: 69609
1022.24/1024.93 c #Conflicts: 529000 | #Constraints: 70609
1022.24/1024.93 c #Conflicts: 530000 | #Constraints: 71609
1022.24/1024.93 c #Conflicts: 531000 | #Constraints: 72609
1022.24/1024.93 c #Conflicts: 532000 | #Constraints: 73609
1022.24/1024.93 c #Conflicts: 533000 | #Constraints: 74609
1171.12/1174.29 c #Conflicts: 534000 | #Constraints: 75609
1171.12/1174.29 c #Conflicts: 535000 | #Constraints: 76609
1171.12/1174.29 c #Conflicts: 536000 | #Constraints: 77609
1171.12/1174.29 c #Conflicts: 537000 | #Constraints: 78609
1171.12/1174.29 c #Conflicts: 538000 | #Constraints: 79609
1171.12/1174.29 c #Conflicts: 539000 | #Constraints: 80609
1171.12/1174.29 c #Conflicts: 540000 | #Constraints: 81609
1171.12/1174.29 c #Conflicts: 541000 | #Constraints: 82609
1171.12/1174.29 c #Conflicts: 542000 | #Constraints: 83609
1171.12/1174.29 c #Conflicts: 543000 | #Constraints: 84609
1171.12/1174.29 c #Conflicts: 544000 | #Constraints: 85609
1171.12/1174.29 c #Conflicts: 545000 | #Constraints: 86609
1171.12/1174.29 c INPROCESSING
1171.12/1174.29 c GARBAGE COLLECT
1171.12/1174.29 c rational objective 182.031
1329.68/1333.28 c #Conflicts: 546000 | #Constraints: 65082
1329.68/1333.28 c #Conflicts: 547000 | #Constraints: 66082
1329.68/1333.28 c #Conflicts: 548000 | #Constraints: 67082
1329.68/1333.28 c #Conflicts: 549000 | #Constraints: 68082
1329.68/1333.28 c #Conflicts: 550000 | #Constraints: 69082
1329.68/1333.28 c #Conflicts: 551000 | #Constraints: 70082
1329.68/1333.28 c #Conflicts: 552000 | #Constraints: 71082
1329.68/1333.28 c #Conflicts: 553000 | #Constraints: 72082
1329.68/1333.28 c #Conflicts: 554000 | #Constraints: 73082
1329.68/1333.28 c #Conflicts: 555000 | #Constraints: 74082
1329.68/1333.28 c #Conflicts: 556000 | #Constraints: 75082
1329.68/1333.28 c #Conflicts: 557000 | #Constraints: 76082
1329.68/1333.28 c #Conflicts: 558000 | #Constraints: 77082
1329.68/1333.28 c #Conflicts: 559000 | #Constraints: 78082
1329.68/1333.28 c #Conflicts: 560000 | #Constraints: 79082
1329.68/1333.28 c #Conflicts: 561000 | #Constraints: 80082
1329.68/1333.28 c #Conflicts: 562000 | #Constraints: 81082
1329.68/1333.28 c #Conflicts: 563000 | #Constraints: 82082
1329.68/1333.28 c #Conflicts: 564000 | #Constraints: 83082
1329.68/1333.28 c #Conflicts: 565000 | #Constraints: 84082
1329.68/1333.28 c #Conflicts: 566000 | #Constraints: 85082
1329.68/1333.28 c #Conflicts: 567000 | #Constraints: 86082
1329.68/1333.28 c #Conflicts: 568000 | #Constraints: 87082
1329.68/1333.28 c #Conflicts: 569000 | #Constraints: 88082
1329.68/1333.28 c #Conflicts: 570000 | #Constraints: 89082
1329.68/1333.28 c #Conflicts: 571000 | #Constraints: 90082
1329.68/1333.28 c #Conflicts: 572000 | #Constraints: 91082
1329.68/1333.28 c #Conflicts: 573000 | #Constraints: 92082
1329.68/1333.28 c #Conflicts: 574000 | #Constraints: 93082
1329.68/1333.28 c #Conflicts: 575000 | #Constraints: 94082
1329.68/1333.28 c #Conflicts: 576000 | #Constraints: 95082
1329.68/1333.28 c #Conflicts: 577000 | #Constraints: 96082
1329.68/1333.28 c #Conflicts: 578000 | #Constraints: 97082
1329.68/1333.28 c #Conflicts: 579000 | #Constraints: 98082
1329.68/1333.28 c #Conflicts: 580000 | #Constraints: 99082
1329.68/1333.28 c #Conflicts: 581000 | #Constraints: 100082
1329.68/1333.28 c #Conflicts: 582000 | #Constraints: 101082
1329.68/1333.28 c #Conflicts: 583000 | #Constraints: 102082
1329.68/1333.28 c #Conflicts: 584000 | #Constraints: 103082
1329.68/1333.28 c #Conflicts: 585000 | #Constraints: 104082
1329.68/1333.28 c #Conflicts: 586000 | #Constraints: 105082
1329.68/1333.28 c #Conflicts: 587000 | #Constraints: 106082
1329.68/1333.28 c #Conflicts: 588000 | #Constraints: 107082
1329.68/1333.28 c #Conflicts: 589000 | #Constraints: 108082
1329.68/1333.28 c #Conflicts: 590000 | #Constraints: 109082
1329.68/1333.28 c #Conflicts: 591000 | #Constraints: 110082
1329.68/1333.28 c #Conflicts: 592000 | #Constraints: 111082
1329.68/1333.28 c #Conflicts: 593000 | #Constraints: 112082
1329.68/1333.28 c #Conflicts: 594000 | #Constraints: 113082
1329.68/1333.28 c #Conflicts: 595000 | #Constraints: 114082
1329.68/1333.28 c INPROCESSING
1329.68/1333.28 c GARBAGE COLLECT
1329.68/1333.28 c #Conflicts: 596000 | #Constraints: 70265
1329.68/1333.28 c #Conflicts: 597000 | #Constraints: 71265
1329.68/1333.28 c #Conflicts: 598000 | #Constraints: 72265
1329.68/1333.28 c #Conflicts: 599000 | #Constraints: 73265
1329.68/1333.28 c #Conflicts: 600000 | #Constraints: 74265
1329.68/1333.28 c #Conflicts: 601000 | #Constraints: 75265
1329.68/1333.28 c #Conflicts: 602000 | #Constraints: 76265
1329.68/1333.28 c #Conflicts: 603000 | #Constraints: 77265
1329.68/1333.28 c #Conflicts: 604000 | #Constraints: 78265
1329.68/1333.28 c #Conflicts: 605000 | #Constraints: 79265
1329.68/1333.28 c #Conflicts: 606000 | #Constraints: 80265
1329.68/1333.28 c #Conflicts: 607000 | #Constraints: 81265
1329.68/1333.28 c #Conflicts: 608000 | #Constraints: 82265
1329.68/1333.28 c #Conflicts: 609000 | #Constraints: 83265
1329.68/1333.28 c #Conflicts: 610000 | #Constraints: 84265
1329.68/1333.28 c #Conflicts: 611000 | #Constraints: 85265
1329.68/1333.28 c #Conflicts: 612000 | #Constraints: 86265
1329.68/1333.28 c #Conflicts: 613000 | #Constraints: 87265
1329.68/1333.28 c #Conflicts: 614000 | #Constraints: 88265
1329.68/1333.28 c #Conflicts: 615000 | #Constraints: 89265
1329.68/1333.28 c #Conflicts: 616000 | #Constraints: 90265
1329.68/1333.28 c #Conflicts: 617000 | #Constraints: 91265
1329.68/1333.28 c INPROCESSING
1329.68/1333.28 c GARBAGE COLLECT
1329.68/1333.28 c #Conflicts: 618000 | #Constraints: 68501
1329.68/1333.28 c #Conflicts: 619000 | #Constraints: 69501
1329.68/1333.28 c #Conflicts: 620000 | #Constraints: 70501
1329.68/1333.28 c #Conflicts: 621000 | #Constraints: 71501
1329.68/1333.28 c #Conflicts: 622000 | #Constraints: 72501
1329.68/1333.28 c #Conflicts: 623000 | #Constraints: 73501
1568.12/1572.38 c #Conflicts: 624000 | #Constraints: 74501
1568.12/1572.38 c #Conflicts: 625000 | #Constraints: 75501
1568.12/1572.38 c #Conflicts: 626000 | #Constraints: 76501
1568.12/1572.38 c #Conflicts: 627000 | #Constraints: 77501
1568.12/1572.38 c #Conflicts: 628000 | #Constraints: 78501
1568.12/1572.38 c #Conflicts: 629000 | #Constraints: 79501
1568.12/1572.38 c #Conflicts: 630000 | #Constraints: 80501
1568.12/1572.38 c #Conflicts: 631000 | #Constraints: 81501
1568.12/1572.38 c #Conflicts: 632000 | #Constraints: 82501
1568.12/1572.38 c #Conflicts: 633000 | #Constraints: 83501
1568.12/1572.38 c #Conflicts: 634000 | #Constraints: 84501
1568.12/1572.38 c #Conflicts: 635000 | #Constraints: 85501
1568.12/1572.38 c #Conflicts: 636000 | #Constraints: 86501
1568.12/1572.38 c #Conflicts: 637000 | #Constraints: 87501
1568.12/1572.38 c #Conflicts: 638000 | #Constraints: 88501
1568.12/1572.38 c #Conflicts: 639000 | #Constraints: 89501
1568.12/1572.38 c #Conflicts: 640000 | #Constraints: 90501
1568.12/1572.38 c #Conflicts: 641000 | #Constraints: 91501
1568.12/1572.38 c #Conflicts: 642000 | #Constraints: 92501
1568.12/1572.38 c #Conflicts: 643000 | #Constraints: 93501
1568.12/1572.38 c #Conflicts: 644000 | #Constraints: 94501
1568.12/1572.38 c #Conflicts: 645000 | #Constraints: 95501
1568.12/1572.38 c #Conflicts: 646000 | #Constraints: 96501
1568.12/1572.38 c #Conflicts: 647000 | #Constraints: 97501
1568.12/1572.38 c #Conflicts: 648000 | #Constraints: 98501
1568.12/1572.38 c #Conflicts: 649000 | #Constraints: 99501
1568.12/1572.38 c #Conflicts: 650000 | #Constraints: 100501
1568.12/1572.38 c #Conflicts: 651000 | #Constraints: 101501
1568.12/1572.38 c #Conflicts: 652000 | #Constraints: 102501
1568.12/1572.38 c #Conflicts: 653000 | #Constraints: 103501
1568.12/1572.38 c #Conflicts: 654000 | #Constraints: 104501
1568.12/1572.38 c #Conflicts: 655000 | #Constraints: 105501
1568.12/1572.38 c #Conflicts: 656000 | #Constraints: 106501
1568.12/1572.38 c #Conflicts: 657000 | #Constraints: 107501
1568.12/1572.38 c #Conflicts: 658000 | #Constraints: 108501
1568.12/1572.38 c #Conflicts: 659000 | #Constraints: 109501
1568.12/1572.38 c #Conflicts: 660000 | #Constraints: 110501
1568.12/1572.38 c #Conflicts: 661000 | #Constraints: 111501
1568.12/1572.38 c #Conflicts: 662000 | #Constraints: 112501
1568.12/1572.38 c #Conflicts: 663000 | #Constraints: 113501
1568.12/1572.38 c #Conflicts: 664000 | #Constraints: 114501
1568.12/1572.38 c #Conflicts: 665000 | #Constraints: 115501
1568.12/1572.38 c #Conflicts: 666000 | #Constraints: 116501
1568.12/1572.38 c #Conflicts: 667000 | #Constraints: 117501
1568.12/1572.38 c #Conflicts: 668000 | #Constraints: 118501
1568.12/1572.38 c #Conflicts: 669000 | #Constraints: 119501
1568.12/1572.38 c INPROCESSING
1568.12/1572.38 c GARBAGE COLLECT
1568.12/1572.38 c #Conflicts: 670000 | #Constraints: 72707
1568.12/1572.38 c #Conflicts: 671000 | #Constraints: 73707
1568.12/1572.38 c #Conflicts: 672000 | #Constraints: 74707
1568.12/1572.38 c #Conflicts: 673000 | #Constraints: 75707
1568.12/1572.38 c #Conflicts: 674000 | #Constraints: 76707
1568.12/1572.38 c #Conflicts: 675000 | #Constraints: 77707
1568.12/1572.38 c #Conflicts: 676000 | #Constraints: 78707
1568.12/1572.38 c #Conflicts: 677000 | #Constraints: 79707
1568.12/1572.38 c #Conflicts: 678000 | #Constraints: 80707
1568.12/1572.38 c #Conflicts: 679000 | #Constraints: 81707
1568.12/1572.38 c #Conflicts: 680000 | #Constraints: 82707
1568.12/1572.38 c #Conflicts: 681000 | #Constraints: 83707
1568.12/1572.38 c #Conflicts: 682000 | #Constraints: 84707
1568.12/1572.38 c #Conflicts: 683000 | #Constraints: 85707
1568.12/1572.38 c #Conflicts: 684000 | #Constraints: 86707
1568.12/1572.38 c #Conflicts: 685000 | #Constraints: 87707
1568.12/1572.38 c #Conflicts: 686000 | #Constraints: 88707
1568.12/1572.38 c #Conflicts: 687000 | #Constraints: 89707
1568.12/1572.38 c #Conflicts: 688000 | #Constraints: 90707
1568.12/1572.38 c #Conflicts: 689000 | #Constraints: 91707
1568.12/1572.38 c #Conflicts: 690000 | #Constraints: 92707
1568.12/1572.38 c #Conflicts: 691000 | #Constraints: 93707
1568.12/1572.38 c #Conflicts: 692000 | #Constraints: 94707
1568.12/1572.38 c #Conflicts: 693000 | #Constraints: 95707
1568.12/1572.38 c INPROCESSING
1568.12/1572.38 c GARBAGE COLLECT
1568.12/1572.38 c #Conflicts: 694000 | #Constraints: 71967
1568.12/1572.38 c #Conflicts: 695000 | #Constraints: 72967
1568.12/1572.38 c #Conflicts: 696000 | #Constraints: 73967
1568.12/1572.38 c #Conflicts: 697000 | #Constraints: 74967
1568.12/1572.38 c #Conflicts: 698000 | #Constraints: 75967
1568.12/1572.38 c #Conflicts: 699000 | #Constraints: 76967
1568.12/1572.38 c #Conflicts: 700000 | #Constraints: 77967
1741.73/1746.45 c #Conflicts: 701000 | #Constraints: 78967
1741.73/1746.45 c #Conflicts: 702000 | #Constraints: 79967
1741.73/1746.45 c #Conflicts: 703000 | #Constraints: 80967
1741.73/1746.45 c #Conflicts: 704000 | #Constraints: 81967
1741.73/1746.45 c #Conflicts: 705000 | #Constraints: 82967
1741.73/1746.45 c #Conflicts: 706000 | #Constraints: 83967
1741.73/1746.45 c #Conflicts: 707000 | #Constraints: 84967
1741.73/1746.45 c #Conflicts: 708000 | #Constraints: 85967
1741.73/1746.45 c #Conflicts: 709000 | #Constraints: 86967
1741.73/1746.45 c #Conflicts: 710000 | #Constraints: 87967
1741.73/1746.45 c #Conflicts: 711000 | #Constraints: 88967
1741.73/1746.45 c #Conflicts: 712000 | #Constraints: 89967
1741.73/1746.45 c #Conflicts: 713000 | #Constraints: 90967
1741.73/1746.45 c #Conflicts: 714000 | #Constraints: 91967
1741.73/1746.45 c #Conflicts: 715000 | #Constraints: 92967
1741.73/1746.45 c #Conflicts: 716000 | #Constraints: 93967
1741.73/1746.45 c #Conflicts: 717000 | #Constraints: 94967
1741.73/1746.45 c #Conflicts: 718000 | #Constraints: 95967
1741.73/1746.45 c #Conflicts: 719000 | #Constraints: 96967
1741.73/1746.45 c #Conflicts: 720000 | #Constraints: 97967
1741.73/1746.45 c #Conflicts: 721000 | #Constraints: 98967
1741.73/1746.45 c #Conflicts: 722000 | #Constraints: 99967
1741.73/1746.45 c #Conflicts: 723000 | #Constraints: 100967
1741.73/1746.45 c #Conflicts: 724000 | #Constraints: 101967
1741.73/1746.45 c #Conflicts: 725000 | #Constraints: 102967
1741.73/1746.45 c #Conflicts: 726000 | #Constraints: 103967
1741.73/1746.45 c #Conflicts: 727000 | #Constraints: 104967
1741.73/1746.45 c #Conflicts: 728000 | #Constraints: 105967
1741.73/1746.45 c #Conflicts: 729000 | #Constraints: 106967
1741.73/1746.45 c #Conflicts: 730000 | #Constraints: 107967
1741.73/1746.45 c #Conflicts: 731000 | #Constraints: 108967
1741.73/1746.45 c #Conflicts: 732000 | #Constraints: 109967
1741.73/1746.45 c #Conflicts: 733000 | #Constraints: 110967
1741.73/1746.45 c #Conflicts: 734000 | #Constraints: 111967
1741.73/1746.45 c #Conflicts: 735000 | #Constraints: 112967
1741.73/1746.45 c #Conflicts: 736000 | #Constraints: 113967
1741.73/1746.45 c #Conflicts: 737000 | #Constraints: 114967
1741.73/1746.45 c #Conflicts: 738000 | #Constraints: 115967
1741.73/1746.45 c #Conflicts: 739000 | #Constraints: 116967
1741.73/1746.45 c #Conflicts: 740000 | #Constraints: 117967
1741.73/1746.45 c #Conflicts: 741000 | #Constraints: 118967
1741.73/1746.45 c #Conflicts: 742000 | #Constraints: 119967
1741.73/1746.45 c #Conflicts: 743000 | #Constraints: 120967
1741.73/1746.45 c #Conflicts: 744000 | #Constraints: 121967
1741.73/1746.45 c #Conflicts: 745000 | #Constraints: 122967
1741.73/1746.45 c #Conflicts: 746000 | #Constraints: 123967
1741.73/1746.45 c #Conflicts: 747000 | #Constraints: 124967
1741.73/1746.45 c #Conflicts: 748000 | #Constraints: 125967
1741.73/1746.45 c INPROCESSING
1741.73/1746.45 c GARBAGE COLLECT
1741.73/1746.45 c #Conflicts: 749000 | #Constraints: 75947
1741.73/1746.45 c #Conflicts: 750000 | #Constraints: 76947
1741.73/1746.45 c #Conflicts: 751000 | #Constraints: 77947
1741.73/1746.45 c #Conflicts: 752000 | #Constraints: 78947
1741.73/1746.45 c #Conflicts: 753000 | #Constraints: 79947
1741.73/1746.45 c #Conflicts: 754000 | #Constraints: 80947
1741.73/1746.45 c #Conflicts: 755000 | #Constraints: 81947
1741.73/1746.45 c #Conflicts: 756000 | #Constraints: 82947
1741.73/1746.45 c #Conflicts: 757000 | #Constraints: 83947
1741.73/1746.45 c #Conflicts: 758000 | #Constraints: 84947
1741.73/1746.45 c #Conflicts: 759000 | #Constraints: 85947
1741.73/1746.45 c #Conflicts: 760000 | #Constraints: 86947
1741.73/1746.45 c #Conflicts: 761000 | #Constraints: 87947
1741.73/1746.45 c #Conflicts: 762000 | #Constraints: 88947
1741.73/1746.45 c #Conflicts: 763000 | #Constraints: 89947
1741.73/1746.45 c #Conflicts: 764000 | #Constraints: 90947
1741.73/1746.45 c #Conflicts: 765000 | #Constraints: 91947
1741.73/1746.45 c #Conflicts: 766000 | #Constraints: 92947
1741.73/1746.45 c #Conflicts: 767000 | #Constraints: 93947
1741.73/1746.45 c #Conflicts: 768000 | #Constraints: 94947
1741.73/1746.45 c #Conflicts: 769000 | #Constraints: 95947
1741.73/1746.45 c #Conflicts: 770000 | #Constraints: 96947
1741.73/1746.45 c #Conflicts: 771000 | #Constraints: 97947
1741.73/1746.45 c #Conflicts: 772000 | #Constraints: 98947
1741.73/1746.45 c #Conflicts: 773000 | #Constraints: 99947
1741.73/1746.45 c INPROCESSING
1741.73/1746.45 c GARBAGE COLLECT
1741.73/1746.45 c #Conflicts: 774000 | #Constraints: 74447
1741.73/1746.45 c #Conflicts: 775000 | #Constraints: 75447
1741.73/1746.45 c #Conflicts: 776000 | #Constraints: 76447
1741.73/1746.45 c #Conflicts: 777000 | #Constraints: 77447
1741.73/1746.45 c #Conflicts: 778000 | #Constraints: 78447
1937.74/1942.92 c #Conflicts: 779000 | #Constraints: 79447
1937.74/1942.92 c #Conflicts: 780000 | #Constraints: 80447
1937.74/1942.92 c #Conflicts: 781000 | #Constraints: 81447
1937.74/1942.92 c #Conflicts: 782000 | #Constraints: 82447
1937.74/1942.92 c #Conflicts: 783000 | #Constraints: 83447
1937.74/1942.92 c #Conflicts: 784000 | #Constraints: 84447
1937.74/1942.92 c #Conflicts: 785000 | #Constraints: 85447
1937.74/1942.92 c #Conflicts: 786000 | #Constraints: 86447
1937.74/1942.92 c #Conflicts: 787000 | #Constraints: 87447
1937.74/1942.92 c #Conflicts: 788000 | #Constraints: 88447
1937.74/1942.92 c #Conflicts: 789000 | #Constraints: 89447
1937.74/1942.92 c #Conflicts: 790000 | #Constraints: 90447
1937.74/1942.92 c #Conflicts: 791000 | #Constraints: 91447
1937.74/1942.92 c #Conflicts: 792000 | #Constraints: 92447
1937.74/1942.92 c #Conflicts: 793000 | #Constraints: 93447
1937.74/1942.92 c #Conflicts: 794000 | #Constraints: 94447
1937.74/1942.92 c #Conflicts: 795000 | #Constraints: 95447
1937.74/1942.92 c #Conflicts: 796000 | #Constraints: 96447
1937.74/1942.92 c #Conflicts: 797000 | #Constraints: 97447
1937.74/1942.92 c #Conflicts: 798000 | #Constraints: 98447
1937.74/1942.92 c #Conflicts: 799000 | #Constraints: 99447
1937.74/1942.92 c #Conflicts: 800000 | #Constraints: 100447
1937.74/1942.92 c #Conflicts: 801000 | #Constraints: 101447
1937.74/1942.92 c #Conflicts: 802000 | #Constraints: 102447
1937.74/1942.92 c #Conflicts: 803000 | #Constraints: 103447
1937.74/1942.92 c #Conflicts: 804000 | #Constraints: 104447
1937.74/1942.92 c #Conflicts: 805000 | #Constraints: 105447
1937.74/1942.92 c #Conflicts: 806000 | #Constraints: 106447
1937.74/1942.92 c #Conflicts: 807000 | #Constraints: 107447
1937.74/1942.92 c #Conflicts: 808000 | #Constraints: 108447
1937.74/1942.92 c #Conflicts: 809000 | #Constraints: 109447
1937.74/1942.92 c #Conflicts: 810000 | #Constraints: 110447
1937.74/1942.92 c #Conflicts: 811000 | #Constraints: 111447
1937.74/1942.92 c #Conflicts: 812000 | #Constraints: 112447
1937.74/1942.92 c #Conflicts: 813000 | #Constraints: 113447
1937.74/1942.92 c #Conflicts: 814000 | #Constraints: 114447
1937.74/1942.92 c #Conflicts: 815000 | #Constraints: 115447
1937.74/1942.92 c #Conflicts: 816000 | #Constraints: 116447
1937.74/1942.92 c #Conflicts: 817000 | #Constraints: 117447
1937.74/1942.92 c #Conflicts: 818000 | #Constraints: 118447
1937.74/1942.92 c #Conflicts: 819000 | #Constraints: 119447
1937.74/1942.92 c #Conflicts: 820000 | #Constraints: 120447
1937.74/1942.92 c #Conflicts: 821000 | #Constraints: 121447
1937.74/1942.92 c #Conflicts: 822000 | #Constraints: 122447
1937.74/1942.92 c #Conflicts: 823000 | #Constraints: 123447
1937.74/1942.92 c #Conflicts: 824000 | #Constraints: 124447
1937.74/1942.92 c #Conflicts: 825000 | #Constraints: 125447
1937.74/1942.92 c #Conflicts: 826000 | #Constraints: 126447
1937.74/1942.92 c #Conflicts: 827000 | #Constraints: 127447
1937.74/1942.92 c #Conflicts: 828000 | #Constraints: 128447
1937.74/1942.92 c #Conflicts: 829000 | #Constraints: 129447
1937.74/1942.92 c #Conflicts: 830000 | #Constraints: 130447
1937.74/1942.92 c #Conflicts: 831000 | #Constraints: 131447
1937.74/1942.92 c #Conflicts: 832000 | #Constraints: 132447
1937.74/1942.92 c INPROCESSING
1937.74/1942.92 c GARBAGE COLLECT
1937.74/1942.92 c #Conflicts: 833000 | #Constraints: 79381
1937.74/1942.92 c #Conflicts: 834000 | #Constraints: 80381
1937.74/1942.92 c #Conflicts: 835000 | #Constraints: 81381
1937.74/1942.92 c #Conflicts: 836000 | #Constraints: 82381
1937.74/1942.92 c #Conflicts: 837000 | #Constraints: 83381
1937.74/1942.92 c #Conflicts: 838000 | #Constraints: 84381
1937.74/1942.92 c #Conflicts: 839000 | #Constraints: 85381
1937.74/1942.92 c #Conflicts: 840000 | #Constraints: 86381
1937.74/1942.92 c #Conflicts: 841000 | #Constraints: 87381
1937.74/1942.92 c #Conflicts: 842000 | #Constraints: 88381
1937.74/1942.92 c #Conflicts: 843000 | #Constraints: 89381
1937.74/1942.92 c #Conflicts: 844000 | #Constraints: 90381
1937.74/1942.92 c #Conflicts: 845000 | #Constraints: 91381
1937.74/1942.92 c #Conflicts: 846000 | #Constraints: 92381
1937.74/1942.92 c #Conflicts: 847000 | #Constraints: 93381
1937.74/1942.92 c #Conflicts: 848000 | #Constraints: 94381
1937.74/1942.92 c #Conflicts: 849000 | #Constraints: 95381
1937.74/1942.92 c #Conflicts: 850000 | #Constraints: 96381
1937.74/1942.92 c #Conflicts: 851000 | #Constraints: 97381
1937.74/1942.92 c #Conflicts: 852000 | #Constraints: 98381
1937.74/1942.92 c #Conflicts: 853000 | #Constraints: 99381
1937.74/1942.92 c #Conflicts: 854000 | #Constraints: 100381
1937.74/1942.92 c #Conflicts: 855000 | #Constraints: 101381
1937.74/1942.92 c #Conflicts: 856000 | #Constraints: 102381
2161.41/2167.13 c #Conflicts: 857000 | #Constraints: 103381
2161.41/2167.13 c #Conflicts: 858000 | #Constraints: 104381
2161.41/2167.13 c INPROCESSING
2161.41/2167.13 c GARBAGE COLLECT
2161.41/2167.13 c #Conflicts: 859000 | #Constraints: 77756
2161.41/2167.13 c #Conflicts: 860000 | #Constraints: 78756
2161.41/2167.13 c #Conflicts: 861000 | #Constraints: 79756
2161.41/2167.13 c #Conflicts: 862000 | #Constraints: 80756
2161.41/2167.13 c #Conflicts: 863000 | #Constraints: 81756
2161.41/2167.13 c #Conflicts: 864000 | #Constraints: 82756
2161.41/2167.13 c #Conflicts: 865000 | #Constraints: 83756
2161.41/2167.13 c #Conflicts: 866000 | #Constraints: 84756
2161.41/2167.13 c #Conflicts: 867000 | #Constraints: 85756
2161.41/2167.13 c #Conflicts: 868000 | #Constraints: 86756
2161.41/2167.13 c #Conflicts: 869000 | #Constraints: 87756
2161.41/2167.13 c #Conflicts: 870000 | #Constraints: 88756
2161.41/2167.13 c #Conflicts: 871000 | #Constraints: 89756
2161.41/2167.13 c #Conflicts: 872000 | #Constraints: 90756
2161.41/2167.13 c #Conflicts: 873000 | #Constraints: 91756
2161.41/2167.13 c #Conflicts: 874000 | #Constraints: 92756
2161.41/2167.13 c #Conflicts: 875000 | #Constraints: 93756
2161.41/2167.13 c #Conflicts: 876000 | #Constraints: 94756
2161.41/2167.13 c #Conflicts: 877000 | #Constraints: 95756
2161.41/2167.13 c #Conflicts: 878000 | #Constraints: 96756
2161.41/2167.13 c #Conflicts: 879000 | #Constraints: 97756
2161.41/2167.13 c #Conflicts: 880000 | #Constraints: 98756
2161.41/2167.13 c #Conflicts: 881000 | #Constraints: 99756
2161.41/2167.13 c #Conflicts: 882000 | #Constraints: 100756
2161.41/2167.13 c #Conflicts: 883000 | #Constraints: 101756
2161.41/2167.13 c #Conflicts: 884000 | #Constraints: 102756
2161.41/2167.13 c #Conflicts: 885000 | #Constraints: 103756
2161.41/2167.13 c #Conflicts: 886000 | #Constraints: 104756
2161.41/2167.13 c #Conflicts: 887000 | #Constraints: 105756
2161.41/2167.13 c #Conflicts: 888000 | #Constraints: 106756
2161.41/2167.13 c #Conflicts: 889000 | #Constraints: 107756
2161.41/2167.13 c #Conflicts: 890000 | #Constraints: 108756
2161.41/2167.13 c #Conflicts: 891000 | #Constraints: 109756
2161.41/2167.13 c #Conflicts: 892000 | #Constraints: 110756
2161.41/2167.13 c #Conflicts: 893000 | #Constraints: 111756
2161.41/2167.13 c #Conflicts: 894000 | #Constraints: 112756
2161.41/2167.13 c #Conflicts: 895000 | #Constraints: 113756
2161.41/2167.13 c #Conflicts: 896000 | #Constraints: 114756
2161.41/2167.13 c #Conflicts: 897000 | #Constraints: 115756
2161.41/2167.13 c #Conflicts: 898000 | #Constraints: 116756
2161.41/2167.13 c #Conflicts: 899000 | #Constraints: 117756
2161.41/2167.13 c #Conflicts: 900000 | #Constraints: 118756
2161.41/2167.13 c #Conflicts: 901000 | #Constraints: 119756
2161.41/2167.13 c #Conflicts: 902000 | #Constraints: 120756
2161.41/2167.13 c #Conflicts: 903000 | #Constraints: 121756
2161.41/2167.13 c #Conflicts: 904000 | #Constraints: 122756
2161.41/2167.13 c #Conflicts: 905000 | #Constraints: 123756
2161.41/2167.13 c #Conflicts: 906000 | #Constraints: 124756
2161.41/2167.13 c #Conflicts: 907000 | #Constraints: 125756
2161.41/2167.13 c #Conflicts: 908000 | #Constraints: 126756
2161.41/2167.13 c #Conflicts: 909000 | #Constraints: 127756
2161.41/2167.13 c #Conflicts: 910000 | #Constraints: 128756
2161.41/2167.13 c #Conflicts: 911000 | #Constraints: 129756
2161.41/2167.13 c #Conflicts: 912000 | #Constraints: 130756
2161.41/2167.13 c #Conflicts: 913000 | #Constraints: 131756
2161.41/2167.13 c #Conflicts: 914000 | #Constraints: 132756
2161.41/2167.13 c #Conflicts: 915000 | #Constraints: 133756
2161.41/2167.13 c #Conflicts: 916000 | #Constraints: 134756
2161.41/2167.13 c #Conflicts: 917000 | #Constraints: 135756
2161.41/2167.13 c #Conflicts: 918000 | #Constraints: 136756
2161.41/2167.13 c #Conflicts: 919000 | #Constraints: 137756
2161.41/2167.13 c #Conflicts: 920000 | #Constraints: 138756
2161.41/2167.13 c INPROCESSING
2161.41/2167.13 c GARBAGE COLLECT
2161.41/2167.13 c #Conflicts: 921000 | #Constraints: 82975
2161.41/2167.13 c #Conflicts: 922000 | #Constraints: 83975
2161.41/2167.13 c #Conflicts: 923000 | #Constraints: 84975
2161.41/2167.13 c #Conflicts: 924000 | #Constraints: 85975
2161.41/2167.13 c #Conflicts: 925000 | #Constraints: 86975
2161.41/2167.13 c #Conflicts: 926000 | #Constraints: 87975
2161.41/2167.13 c #Conflicts: 927000 | #Constraints: 88975
2161.41/2167.13 c #Conflicts: 928000 | #Constraints: 89975
2161.41/2167.13 c #Conflicts: 929000 | #Constraints: 90975
2161.41/2167.13 c #Conflicts: 930000 | #Constraints: 91975
2161.41/2167.13 c #Conflicts: 931000 | #Constraints: 92975
2161.41/2167.13 c #Conflicts: 932000 | #Constraints: 93975
2161.41/2167.13 c #Conflicts: 933000 | #Constraints: 94975
2161.41/2167.13 c #Conflicts: 934000 | #Constraints: 95975
2345.98/2352.13 c #Conflicts: 935000 | #Constraints: 96975
2345.98/2352.13 c #Conflicts: 936000 | #Constraints: 97975
2345.98/2352.13 c #Conflicts: 937000 | #Constraints: 98975
2345.98/2352.13 c #Conflicts: 938000 | #Constraints: 99975
2345.98/2352.13 c #Conflicts: 939000 | #Constraints: 100975
2345.98/2352.13 c #Conflicts: 940000 | #Constraints: 101975
2345.98/2352.13 c #Conflicts: 941000 | #Constraints: 102975
2345.98/2352.13 c #Conflicts: 942000 | #Constraints: 103975
2345.98/2352.13 c #Conflicts: 943000 | #Constraints: 104975
2345.98/2352.13 c #Conflicts: 944000 | #Constraints: 105975
2345.98/2352.13 c #Conflicts: 945000 | #Constraints: 106975
2345.98/2352.13 c #Conflicts: 946000 | #Constraints: 107975
2345.98/2352.13 c #Conflicts: 947000 | #Constraints: 108975
2345.98/2352.13 c INPROCESSING
2345.98/2352.13 c GARBAGE COLLECT
2345.98/2352.13 c #Conflicts: 948000 | #Constraints: 80669
2345.98/2352.13 c #Conflicts: 949000 | #Constraints: 81669
2345.98/2352.13 c #Conflicts: 950000 | #Constraints: 82669
2345.98/2352.13 c #Conflicts: 951000 | #Constraints: 83669
2345.98/2352.13 c #Conflicts: 952000 | #Constraints: 84669
2345.98/2352.13 c #Conflicts: 953000 | #Constraints: 85669
2345.98/2352.13 c #Conflicts: 954000 | #Constraints: 86669
2345.98/2352.13 c #Conflicts: 955000 | #Constraints: 87669
2345.98/2352.13 c #Conflicts: 956000 | #Constraints: 88669
2345.98/2352.13 c #Conflicts: 957000 | #Constraints: 89669
2345.98/2352.13 c #Conflicts: 958000 | #Constraints: 90669
2345.98/2352.13 c #Conflicts: 959000 | #Constraints: 91669
2345.98/2352.13 c #Conflicts: 960000 | #Constraints: 92669
2345.98/2352.13 c #Conflicts: 961000 | #Constraints: 93669
2345.98/2352.13 c #Conflicts: 962000 | #Constraints: 94669
2345.98/2352.13 c #Conflicts: 963000 | #Constraints: 95669
2345.98/2352.13 c #Conflicts: 964000 | #Constraints: 96669
2345.98/2352.13 c #Conflicts: 965000 | #Constraints: 97669
2345.98/2352.13 c #Conflicts: 966000 | #Constraints: 98669
2345.98/2352.13 c #Conflicts: 967000 | #Constraints: 99669
2345.98/2352.13 c #Conflicts: 968000 | #Constraints: 100669
2345.98/2352.13 c #Conflicts: 969000 | #Constraints: 101669
2345.98/2352.13 c #Conflicts: 970000 | #Constraints: 102669
2345.98/2352.13 c #Conflicts: 971000 | #Constraints: 103669
2345.98/2352.13 c #Conflicts: 972000 | #Constraints: 104669
2345.98/2352.13 c #Conflicts: 973000 | #Constraints: 105669
2345.98/2352.13 c #Conflicts: 974000 | #Constraints: 106669
2345.98/2352.13 c #Conflicts: 975000 | #Constraints: 107669
2345.98/2352.13 c #Conflicts: 976000 | #Constraints: 108669
2345.98/2352.13 c #Conflicts: 977000 | #Constraints: 109669
2345.98/2352.13 c #Conflicts: 978000 | #Constraints: 110669
2345.98/2352.13 c #Conflicts: 979000 | #Constraints: 111669
2345.98/2352.13 c #Conflicts: 980000 | #Constraints: 112669
2345.98/2352.13 c #Conflicts: 981000 | #Constraints: 113669
2345.98/2352.13 c #Conflicts: 982000 | #Constraints: 114669
2345.98/2352.13 c #Conflicts: 983000 | #Constraints: 115669
2345.98/2352.13 c #Conflicts: 984000 | #Constraints: 116669
2345.98/2352.13 c #Conflicts: 985000 | #Constraints: 117669
2345.98/2352.13 c #Conflicts: 986000 | #Constraints: 118669
2345.98/2352.13 c #Conflicts: 987000 | #Constraints: 119669
2345.98/2352.13 c #Conflicts: 988000 | #Constraints: 120669
2345.98/2352.13 c #Conflicts: 989000 | #Constraints: 121669
2345.98/2352.13 c #Conflicts: 990000 | #Constraints: 122669
2345.98/2352.13 c #Conflicts: 991000 | #Constraints: 123669
2345.98/2352.13 c #Conflicts: 992000 | #Constraints: 124669
2345.98/2352.13 c #Conflicts: 993000 | #Constraints: 125669
2345.98/2352.13 c #Conflicts: 994000 | #Constraints: 126669
2345.98/2352.13 c #Conflicts: 995000 | #Constraints: 127669
2345.98/2352.13 c #Conflicts: 996000 | #Constraints: 128669
2345.98/2352.13 c #Conflicts: 997000 | #Constraints: 129669
2345.98/2352.13 c #Conflicts: 998000 | #Constraints: 130669
2345.98/2352.13 c #Conflicts: 999000 | #Constraints: 131669
2345.98/2352.13 c #Conflicts: 1000000 | #Constraints: 132669
2345.98/2352.13 c #Conflicts: 1001000 | #Constraints: 133669
2345.98/2352.13 c #Conflicts: 1002000 | #Constraints: 134669
2345.98/2352.13 c #Conflicts: 1003000 | #Constraints: 135669
2345.98/2352.13 c #Conflicts: 1004000 | #Constraints: 136669
2345.98/2352.13 c #Conflicts: 1005000 | #Constraints: 137669
2345.98/2352.13 c #Conflicts: 1006000 | #Constraints: 138669
2345.98/2352.13 c #Conflicts: 1007000 | #Constraints: 139669
2345.98/2352.13 c #Conflicts: 1008000 | #Constraints: 140669
2345.98/2352.13 c #Conflicts: 1009000 | #Constraints: 141669
2345.98/2352.13 c #Conflicts: 1010000 | #Constraints: 142669
2345.98/2352.13 c #Conflicts: 1011000 | #Constraints: 143669
2345.98/2352.13 c #Conflicts: 1012000 | #Constraints: 144669
2461.91/2468.32 c INPROCESSING
2461.91/2468.32 c GARBAGE COLLECT
2461.91/2468.32 c rational objective 182.056
2643.19/2650.00 c #Conflicts: 1013000 | #Constraints: 85895
2643.19/2650.00 c #Conflicts: 1014000 | #Constraints: 86895
2643.19/2650.00 c #Conflicts: 1015000 | #Constraints: 87895
2643.19/2650.00 c #Conflicts: 1016000 | #Constraints: 88895
2643.19/2650.00 c #Conflicts: 1017000 | #Constraints: 89895
2643.19/2650.00 c #Conflicts: 1018000 | #Constraints: 90895
2643.19/2650.00 c #Conflicts: 1019000 | #Constraints: 91895
2643.19/2650.00 c #Conflicts: 1020000 | #Constraints: 92895
2643.19/2650.00 c #Conflicts: 1021000 | #Constraints: 93895
2643.19/2650.00 c #Conflicts: 1022000 | #Constraints: 94895
2643.19/2650.00 c #Conflicts: 1023000 | #Constraints: 95895
2643.19/2650.00 c #Conflicts: 1024000 | #Constraints: 96895
2643.19/2650.00 c #Conflicts: 1025000 | #Constraints: 97895
2643.19/2650.00 c #Conflicts: 1026000 | #Constraints: 98895
2643.19/2650.00 c #Conflicts: 1027000 | #Constraints: 99895
2643.19/2650.00 c #Conflicts: 1028000 | #Constraints: 100895
2643.19/2650.00 c #Conflicts: 1029000 | #Constraints: 101895
2643.19/2650.00 c #Conflicts: 1030000 | #Constraints: 102895
2643.19/2650.00 c #Conflicts: 1031000 | #Constraints: 103895
2643.19/2650.00 c #Conflicts: 1032000 | #Constraints: 104895
2643.19/2650.00 c #Conflicts: 1033000 | #Constraints: 105895
2643.19/2650.00 c #Conflicts: 1034000 | #Constraints: 106895
2643.19/2650.00 c #Conflicts: 1035000 | #Constraints: 107895
2643.19/2650.00 c #Conflicts: 1036000 | #Constraints: 108895
2643.19/2650.00 c #Conflicts: 1037000 | #Constraints: 109895
2643.19/2650.00 c #Conflicts: 1038000 | #Constraints: 110895
2643.19/2650.00 c #Conflicts: 1039000 | #Constraints: 111895
2643.19/2650.00 c #Conflicts: 1040000 | #Constraints: 112895
2643.19/2650.00 c INPROCESSING
2643.19/2650.00 c GARBAGE COLLECT
2643.19/2650.00 c #Conflicts: 1041000 | #Constraints: 82319
2643.19/2650.00 c #Conflicts: 1042000 | #Constraints: 83319
2643.19/2650.00 c #Conflicts: 1043000 | #Constraints: 84319
2643.19/2650.00 c #Conflicts: 1044000 | #Constraints: 85319
2643.19/2650.00 c #Conflicts: 1045000 | #Constraints: 86319
2643.19/2650.00 c #Conflicts: 1046000 | #Constraints: 87319
2643.19/2650.00 c #Conflicts: 1047000 | #Constraints: 88319
2643.19/2650.00 c #Conflicts: 1048000 | #Constraints: 89319
2643.19/2650.00 c #Conflicts: 1049000 | #Constraints: 90319
2643.19/2650.00 c #Conflicts: 1050000 | #Constraints: 91319
2643.19/2650.00 c #Conflicts: 1051000 | #Constraints: 92319
2643.19/2650.00 c #Conflicts: 1052000 | #Constraints: 93319
2643.19/2650.00 c #Conflicts: 1053000 | #Constraints: 94319
2643.19/2650.00 c #Conflicts: 1054000 | #Constraints: 95319
2643.19/2650.00 c #Conflicts: 1055000 | #Constraints: 96319
2643.19/2650.00 c #Conflicts: 1056000 | #Constraints: 97319
2643.19/2650.00 c #Conflicts: 1057000 | #Constraints: 98319
2643.19/2650.00 c #Conflicts: 1058000 | #Constraints: 99319
2643.19/2650.00 c #Conflicts: 1059000 | #Constraints: 100319
2643.19/2650.00 c #Conflicts: 1060000 | #Constraints: 101319
2643.19/2650.00 c #Conflicts: 1061000 | #Constraints: 102319
2643.19/2650.00 c #Conflicts: 1062000 | #Constraints: 103319
2643.19/2650.00 c #Conflicts: 1063000 | #Constraints: 104319
2643.19/2650.00 c #Conflicts: 1064000 | #Constraints: 105319
2643.19/2650.00 c #Conflicts: 1065000 | #Constraints: 106319
2643.19/2650.00 c #Conflicts: 1066000 | #Constraints: 107319
2643.19/2650.00 c #Conflicts: 1067000 | #Constraints: 108319
2643.19/2650.00 c #Conflicts: 1068000 | #Constraints: 109319
2643.19/2650.00 c #Conflicts: 1069000 | #Constraints: 110319
2643.19/2650.00 c #Conflicts: 1070000 | #Constraints: 111319
2643.19/2650.00 c #Conflicts: 1071000 | #Constraints: 112319
2643.19/2650.00 c #Conflicts: 1072000 | #Constraints: 113319
2643.19/2650.00 c #Conflicts: 1073000 | #Constraints: 114319
2643.19/2650.00 c #Conflicts: 1074000 | #Constraints: 115319
2643.19/2650.00 c #Conflicts: 1075000 | #Constraints: 116319
2643.19/2650.00 c #Conflicts: 1076000 | #Constraints: 117319
2643.19/2650.00 c #Conflicts: 1077000 | #Constraints: 118319
2643.19/2650.00 c #Conflicts: 1078000 | #Constraints: 119319
2643.19/2650.00 c #Conflicts: 1079000 | #Constraints: 120319
2643.19/2650.00 c #Conflicts: 1080000 | #Constraints: 121319
2643.19/2650.00 c #Conflicts: 1081000 | #Constraints: 122319
2643.19/2650.00 c #Conflicts: 1082000 | #Constraints: 123319
2643.19/2650.00 c #Conflicts: 1083000 | #Constraints: 124319
2643.19/2650.00 c #Conflicts: 1084000 | #Constraints: 125319
2643.19/2650.00 c #Conflicts: 1085000 | #Constraints: 126319
2643.19/2650.00 c #Conflicts: 1086000 | #Constraints: 127319
2643.19/2650.00 c #Conflicts: 1087000 | #Constraints: 128319
2643.19/2650.00 c #Conflicts: 1088000 | #Constraints: 129319
2643.19/2650.00 c #Conflicts: 1089000 | #Constraints: 130319
2643.19/2650.00 c #Conflicts: 1090000 | #Constraints: 131319
2643.19/2650.00 c #Conflicts: 1091000 | #Constraints: 132319
2861.18/2868.59 c #Conflicts: 1092000 | #Constraints: 133319
2861.18/2868.59 c #Conflicts: 1093000 | #Constraints: 134319
2861.18/2868.59 c #Conflicts: 1094000 | #Constraints: 135319
2861.18/2868.59 c #Conflicts: 1095000 | #Constraints: 136319
2861.18/2868.59 c #Conflicts: 1096000 | #Constraints: 137319
2861.18/2868.59 c #Conflicts: 1097000 | #Constraints: 138319
2861.18/2868.59 c #Conflicts: 1098000 | #Constraints: 139319
2861.18/2868.59 c #Conflicts: 1099000 | #Constraints: 140319
2861.18/2868.59 c #Conflicts: 1100000 | #Constraints: 141319
2861.18/2868.59 c #Conflicts: 1101000 | #Constraints: 142319
2861.18/2868.59 c #Conflicts: 1102000 | #Constraints: 143319
2861.18/2868.59 c #Conflicts: 1103000 | #Constraints: 144319
2861.18/2868.59 c #Conflicts: 1104000 | #Constraints: 145319
2861.18/2868.59 c #Conflicts: 1105000 | #Constraints: 146319
2861.18/2868.59 c #Conflicts: 1106000 | #Constraints: 147319
2861.18/2868.59 c #Conflicts: 1107000 | #Constraints: 148319
2861.18/2868.59 c #Conflicts: 1108000 | #Constraints: 149319
2861.18/2868.59 c INPROCESSING
2861.18/2868.59 c GARBAGE COLLECT
2861.18/2868.59 c #Conflicts: 1109000 | #Constraints: 87887
2861.18/2868.59 c #Conflicts: 1110000 | #Constraints: 88887
2861.18/2868.59 c #Conflicts: 1111000 | #Constraints: 89887
2861.18/2868.59 c #Conflicts: 1112000 | #Constraints: 90887
2861.18/2868.59 c #Conflicts: 1113000 | #Constraints: 91887
2861.18/2868.59 c #Conflicts: 1114000 | #Constraints: 92887
2861.18/2868.59 c #Conflicts: 1115000 | #Constraints: 93887
2861.18/2868.59 c #Conflicts: 1116000 | #Constraints: 94887
2861.18/2868.59 c #Conflicts: 1117000 | #Constraints: 95887
2861.18/2868.59 c #Conflicts: 1118000 | #Constraints: 96887
2861.18/2868.59 c #Conflicts: 1119000 | #Constraints: 97887
2861.18/2868.59 c #Conflicts: 1120000 | #Constraints: 98887
2861.18/2868.59 c #Conflicts: 1121000 | #Constraints: 99887
2861.18/2868.59 c #Conflicts: 1122000 | #Constraints: 100887
2861.18/2868.59 c #Conflicts: 1123000 | #Constraints: 101887
2861.18/2868.59 c #Conflicts: 1124000 | #Constraints: 102887
2861.18/2868.59 c #Conflicts: 1125000 | #Constraints: 103887
2861.18/2868.59 c #Conflicts: 1126000 | #Constraints: 104887
2861.18/2868.59 c #Conflicts: 1127000 | #Constraints: 105887
2861.18/2868.59 c #Conflicts: 1128000 | #Constraints: 106887
2861.18/2868.59 c #Conflicts: 1129000 | #Constraints: 107887
2861.18/2868.59 c #Conflicts: 1130000 | #Constraints: 108887
2861.18/2868.59 c #Conflicts: 1131000 | #Constraints: 109887
2861.18/2868.59 c #Conflicts: 1132000 | #Constraints: 110887
2861.18/2868.59 c #Conflicts: 1133000 | #Constraints: 111887
2861.18/2868.59 c #Conflicts: 1134000 | #Constraints: 112887
2861.18/2868.59 c #Conflicts: 1135000 | #Constraints: 113887
2861.18/2868.59 c #Conflicts: 1136000 | #Constraints: 114887
2861.18/2868.59 c #Conflicts: 1137000 | #Constraints: 115887
2861.18/2868.59 c #Conflicts: 1138000 | #Constraints: 116887
2861.18/2868.59 c INPROCESSING
2861.18/2868.59 c GARBAGE COLLECT
2861.18/2868.59 c #Conflicts: 1139000 | #Constraints: 85063
2861.18/2868.59 c #Conflicts: 1140000 | #Constraints: 86063
2861.18/2868.59 c #Conflicts: 1141000 | #Constraints: 87063
2861.18/2868.59 c #Conflicts: 1142000 | #Constraints: 88063
2861.18/2868.59 c #Conflicts: 1143000 | #Constraints: 89063
2861.18/2868.59 c #Conflicts: 1144000 | #Constraints: 90063
2861.18/2868.59 c #Conflicts: 1145000 | #Constraints: 91063
2861.18/2868.59 c #Conflicts: 1146000 | #Constraints: 92063
2861.18/2868.59 c #Conflicts: 1147000 | #Constraints: 93063
2861.18/2868.59 c #Conflicts: 1148000 | #Constraints: 94063
2861.18/2868.59 c #Conflicts: 1149000 | #Constraints: 95063
2861.18/2868.59 c #Conflicts: 1150000 | #Constraints: 96063
2861.18/2868.59 c #Conflicts: 1151000 | #Constraints: 97063
2861.18/2868.59 c #Conflicts: 1152000 | #Constraints: 98063
2861.18/2868.59 c #Conflicts: 1153000 | #Constraints: 99063
2861.18/2868.59 c #Conflicts: 1154000 | #Constraints: 100063
2861.18/2868.59 c #Conflicts: 1155000 | #Constraints: 101063
2861.18/2868.59 c #Conflicts: 1156000 | #Constraints: 102063
2861.18/2868.59 c #Conflicts: 1157000 | #Constraints: 103063
2861.18/2868.59 c #Conflicts: 1158000 | #Constraints: 104063
2861.18/2868.59 c #Conflicts: 1159000 | #Constraints: 105063
2861.18/2868.59 c #Conflicts: 1160000 | #Constraints: 106063
2861.18/2868.59 c #Conflicts: 1161000 | #Constraints: 107063
2861.18/2868.59 c #Conflicts: 1162000 | #Constraints: 108063
2861.18/2868.59 c #Conflicts: 1163000 | #Constraints: 109063
2861.18/2868.59 c #Conflicts: 1164000 | #Constraints: 110063
2861.18/2868.59 c #Conflicts: 1165000 | #Constraints: 111063
2861.18/2868.59 c #Conflicts: 1166000 | #Constraints: 112063
2861.18/2868.59 c #Conflicts: 1167000 | #Constraints: 113063
2861.18/2868.59 c #Conflicts: 1168000 | #Constraints: 114063
3074.07/3081.95 c #Conflicts: 1169000 | #Constraints: 115063
3074.07/3081.95 c #Conflicts: 1170000 | #Constraints: 116063
3074.07/3081.95 c #Conflicts: 1171000 | #Constraints: 117063
3074.07/3081.95 c #Conflicts: 1172000 | #Constraints: 118063
3074.07/3081.95 c #Conflicts: 1173000 | #Constraints: 119063
3074.07/3081.95 c #Conflicts: 1174000 | #Constraints: 120063
3074.07/3081.95 c #Conflicts: 1175000 | #Constraints: 121063
3074.07/3081.95 c #Conflicts: 1176000 | #Constraints: 122063
3074.07/3081.95 c #Conflicts: 1177000 | #Constraints: 123063
3074.07/3081.95 c #Conflicts: 1178000 | #Constraints: 124063
3074.07/3081.95 c #Conflicts: 1179000 | #Constraints: 125063
3074.07/3081.95 c #Conflicts: 1180000 | #Constraints: 126063
3074.07/3081.95 c #Conflicts: 1181000 | #Constraints: 127063
3074.07/3081.95 c #Conflicts: 1182000 | #Constraints: 128063
3074.07/3081.95 c #Conflicts: 1183000 | #Constraints: 129063
3074.07/3081.95 c #Conflicts: 1184000 | #Constraints: 130063
3074.07/3081.95 c #Conflicts: 1185000 | #Constraints: 131063
3074.07/3081.95 c #Conflicts: 1186000 | #Constraints: 132063
3074.07/3081.95 c #Conflicts: 1187000 | #Constraints: 133063
3074.07/3081.95 c #Conflicts: 1188000 | #Constraints: 134063
3074.07/3081.95 c #Conflicts: 1189000 | #Constraints: 135063
3074.07/3081.95 c #Conflicts: 1190000 | #Constraints: 136063
3074.07/3081.95 c #Conflicts: 1191000 | #Constraints: 137063
3074.07/3081.95 c #Conflicts: 1192000 | #Constraints: 138063
3074.07/3081.95 c #Conflicts: 1193000 | #Constraints: 139063
3074.07/3081.95 c #Conflicts: 1194000 | #Constraints: 140063
3074.07/3081.95 c #Conflicts: 1195000 | #Constraints: 141063
3074.07/3081.95 c #Conflicts: 1196000 | #Constraints: 142063
3074.07/3081.95 c #Conflicts: 1197000 | #Constraints: 143063
3074.07/3081.95 c #Conflicts: 1198000 | #Constraints: 144063
3074.07/3081.95 c #Conflicts: 1199000 | #Constraints: 145063
3074.07/3081.95 c #Conflicts: 1200000 | #Constraints: 146063
3074.07/3081.95 c #Conflicts: 1201000 | #Constraints: 147063
3074.07/3081.95 c #Conflicts: 1202000 | #Constraints: 148063
3074.07/3081.95 c #Conflicts: 1203000 | #Constraints: 149063
3074.07/3081.95 c #Conflicts: 1204000 | #Constraints: 150063
3074.07/3081.95 c #Conflicts: 1205000 | #Constraints: 151063
3074.07/3081.95 c #Conflicts: 1206000 | #Constraints: 152063
3074.07/3081.95 c #Conflicts: 1207000 | #Constraints: 153063
3074.07/3081.95 c #Conflicts: 1208000 | #Constraints: 154063
3074.07/3081.95 c #Conflicts: 1209000 | #Constraints: 155063
3074.07/3081.95 c INPROCESSING
3074.07/3081.95 c GARBAGE COLLECT
3074.07/3081.95 c #Conflicts: 1210000 | #Constraints: 91057
3074.07/3081.95 c #Conflicts: 1211000 | #Constraints: 92057
3074.07/3081.95 c #Conflicts: 1212000 | #Constraints: 93057
3074.07/3081.95 c #Conflicts: 1213000 | #Constraints: 94057
3074.07/3081.95 c #Conflicts: 1214000 | #Constraints: 95057
3074.07/3081.95 c #Conflicts: 1215000 | #Constraints: 96057
3074.07/3081.95 c #Conflicts: 1216000 | #Constraints: 97057
3074.07/3081.95 c #Conflicts: 1217000 | #Constraints: 98057
3074.07/3081.95 c #Conflicts: 1218000 | #Constraints: 99057
3074.07/3081.95 c #Conflicts: 1219000 | #Constraints: 100057
3074.07/3081.95 c #Conflicts: 1220000 | #Constraints: 101057
3074.07/3081.95 c #Conflicts: 1221000 | #Constraints: 102057
3074.07/3081.95 c #Conflicts: 1222000 | #Constraints: 103057
3074.07/3081.95 c #Conflicts: 1223000 | #Constraints: 104057
3074.07/3081.95 c #Conflicts: 1224000 | #Constraints: 105057
3074.07/3081.95 c #Conflicts: 1225000 | #Constraints: 106057
3074.07/3081.95 c #Conflicts: 1226000 | #Constraints: 107057
3074.07/3081.95 c #Conflicts: 1227000 | #Constraints: 108057
3074.07/3081.95 c #Conflicts: 1228000 | #Constraints: 109057
3074.07/3081.95 c #Conflicts: 1229000 | #Constraints: 110057
3074.07/3081.95 c #Conflicts: 1230000 | #Constraints: 111057
3074.07/3081.95 c #Conflicts: 1231000 | #Constraints: 112057
3074.07/3081.95 c #Conflicts: 1232000 | #Constraints: 113057
3074.07/3081.95 c #Conflicts: 1233000 | #Constraints: 114057
3074.07/3081.95 c #Conflicts: 1234000 | #Constraints: 115057
3074.07/3081.95 c #Conflicts: 1235000 | #Constraints: 116057
3074.07/3081.95 c #Conflicts: 1236000 | #Constraints: 117057
3074.07/3081.95 c #Conflicts: 1237000 | #Constraints: 118057
3074.07/3081.95 c #Conflicts: 1238000 | #Constraints: 119057
3074.07/3081.95 c #Conflicts: 1239000 | #Constraints: 120057
3074.07/3081.95 c #Conflicts: 1240000 | #Constraints: 121057
3074.07/3081.95 c INPROCESSING
3074.07/3081.95 c GARBAGE COLLECT
3074.07/3081.95 c #Conflicts: 1241000 | #Constraints: 87778
3074.07/3081.95 c #Conflicts: 1242000 | #Constraints: 88778
3074.07/3081.95 c #Conflicts: 1243000 | #Constraints: 89778
3074.07/3081.95 c #Conflicts: 1244000 | #Constraints: 90778
3074.07/3081.95 c #Conflicts: 1245000 | #Constraints: 91778
3074.07/3081.95 c #Conflicts: 1246000 | #Constraints: 92778
3297.14/3305.52 c #Conflicts: 1247000 | #Constraints: 93778
3297.14/3305.52 c #Conflicts: 1248000 | #Constraints: 94778
3297.14/3305.52 c #Conflicts: 1249000 | #Constraints: 95778
3297.14/3305.52 c #Conflicts: 1250000 | #Constraints: 96778
3297.14/3305.52 c #Conflicts: 1251000 | #Constraints: 97778
3297.14/3305.52 c #Conflicts: 1252000 | #Constraints: 98778
3297.14/3305.52 c #Conflicts: 1253000 | #Constraints: 99778
3297.14/3305.52 c #Conflicts: 1254000 | #Constraints: 100778
3297.14/3305.52 c #Conflicts: 1255000 | #Constraints: 101778
3297.14/3305.52 c #Conflicts: 1256000 | #Constraints: 102778
3297.14/3305.52 c #Conflicts: 1257000 | #Constraints: 103778
3297.14/3305.52 c #Conflicts: 1258000 | #Constraints: 104778
3297.14/3305.52 c #Conflicts: 1259000 | #Constraints: 105778
3297.14/3305.52 c #Conflicts: 1260000 | #Constraints: 106778
3297.14/3305.52 c #Conflicts: 1261000 | #Constraints: 107778
3297.14/3305.52 c #Conflicts: 1262000 | #Constraints: 108778
3297.14/3305.52 c #Conflicts: 1263000 | #Constraints: 109778
3297.14/3305.52 c #Conflicts: 1264000 | #Constraints: 110778
3297.14/3305.52 c #Conflicts: 1265000 | #Constraints: 111778
3297.14/3305.52 c #Conflicts: 1266000 | #Constraints: 112778
3297.14/3305.52 c #Conflicts: 1267000 | #Constraints: 113778
3297.14/3305.52 c #Conflicts: 1268000 | #Constraints: 114778
3297.14/3305.52 c #Conflicts: 1269000 | #Constraints: 115778
3297.14/3305.52 c #Conflicts: 1270000 | #Constraints: 116778
3297.14/3305.52 c #Conflicts: 1271000 | #Constraints: 117778
3297.14/3305.52 c #Conflicts: 1272000 | #Constraints: 118778
3297.14/3305.52 c #Conflicts: 1273000 | #Constraints: 119778
3297.14/3305.52 c #Conflicts: 1274000 | #Constraints: 120778
3297.14/3305.52 c #Conflicts: 1275000 | #Constraints: 121778
3297.14/3305.52 c #Conflicts: 1276000 | #Constraints: 122778
3297.14/3305.52 c #Conflicts: 1277000 | #Constraints: 123778
3297.14/3305.52 c #Conflicts: 1278000 | #Constraints: 124778
3297.14/3305.52 c #Conflicts: 1279000 | #Constraints: 125778
3297.14/3305.52 c #Conflicts: 1280000 | #Constraints: 126778
3297.14/3305.52 c #Conflicts: 1281000 | #Constraints: 127778
3297.14/3305.52 c #Conflicts: 1282000 | #Constraints: 128778
3297.14/3305.52 c #Conflicts: 1283000 | #Constraints: 129778
3297.14/3305.52 c #Conflicts: 1284000 | #Constraints: 130778
3297.14/3305.52 c #Conflicts: 1285000 | #Constraints: 131778
3297.14/3305.52 c #Conflicts: 1286000 | #Constraints: 132778
3297.14/3305.52 c #Conflicts: 1287000 | #Constraints: 133778
3297.14/3305.52 c #Conflicts: 1288000 | #Constraints: 134778
3297.14/3305.52 c #Conflicts: 1289000 | #Constraints: 135778
3297.14/3305.52 c #Conflicts: 1290000 | #Constraints: 136778
3297.14/3305.52 c #Conflicts: 1291000 | #Constraints: 137778
3297.14/3305.52 c #Conflicts: 1292000 | #Constraints: 138778
3297.14/3305.52 c #Conflicts: 1293000 | #Constraints: 139778
3297.14/3305.52 c #Conflicts: 1294000 | #Constraints: 140778
3297.14/3305.52 c #Conflicts: 1295000 | #Constraints: 141778
3297.14/3305.52 c #Conflicts: 1296000 | #Constraints: 142778
3297.14/3305.52 c #Conflicts: 1297000 | #Constraints: 143778
3297.14/3305.52 c #Conflicts: 1298000 | #Constraints: 144778
3297.14/3305.52 c #Conflicts: 1299000 | #Constraints: 145778
3297.14/3305.52 c #Conflicts: 1300000 | #Constraints: 146778
3297.14/3305.52 c #Conflicts: 1301000 | #Constraints: 147778
3297.14/3305.52 c #Conflicts: 1302000 | #Constraints: 148778
3297.14/3305.52 c #Conflicts: 1303000 | #Constraints: 149778
3297.14/3305.52 c #Conflicts: 1304000 | #Constraints: 150778
3297.14/3305.52 c #Conflicts: 1305000 | #Constraints: 151778
3297.14/3305.52 c #Conflicts: 1306000 | #Constraints: 152778
3297.14/3305.52 c #Conflicts: 1307000 | #Constraints: 153778
3297.14/3305.52 c #Conflicts: 1308000 | #Constraints: 154778
3297.14/3305.52 c #Conflicts: 1309000 | #Constraints: 155778
3297.14/3305.52 c #Conflicts: 1310000 | #Constraints: 156778
3297.14/3305.52 c #Conflicts: 1311000 | #Constraints: 157778
3297.14/3305.52 c #Conflicts: 1312000 | #Constraints: 158778
3297.14/3305.52 c #Conflicts: 1313000 | #Constraints: 159778
3297.14/3305.52 c #Conflicts: 1314000 | #Constraints: 160778
3297.14/3305.52 c #Conflicts: 1315000 | #Constraints: 161778
3297.14/3305.52 c INPROCESSING
3297.14/3305.52 c GARBAGE COLLECT
3297.14/3305.52 c #Conflicts: 1316000 | #Constraints: 94334
3297.14/3305.52 c #Conflicts: 1317000 | #Constraints: 95334
3297.14/3305.52 c #Conflicts: 1318000 | #Constraints: 96334
3297.14/3305.52 c #Conflicts: 1319000 | #Constraints: 97335
3297.14/3305.52 c #Conflicts: 1320000 | #Constraints: 98335
3297.14/3305.52 c #Conflicts: 1321000 | #Constraints: 99335
3297.14/3305.52 c #Conflicts: 1322000 | #Constraints: 100335
3297.14/3305.52 c #Conflicts: 1323000 | #Constraints: 101335
3297.14/3305.52 c #Conflicts: 1324000 | #Constraints: 102335
3495.97/3504.83 c #Conflicts: 1325000 | #Constraints: 103335
3495.97/3504.83 c #Conflicts: 1326000 | #Constraints: 104335
3495.97/3504.83 c #Conflicts: 1327000 | #Constraints: 105335
3495.97/3504.83 c #Conflicts: 1328000 | #Constraints: 106335
3495.97/3504.83 c #Conflicts: 1329000 | #Constraints: 107335
3495.97/3504.83 c #Conflicts: 1330000 | #Constraints: 108335
3495.97/3504.83 c #Conflicts: 1331000 | #Constraints: 109335
3495.97/3504.83 c #Conflicts: 1332000 | #Constraints: 110335
3495.97/3504.83 c #Conflicts: 1333000 | #Constraints: 111335
3495.97/3504.83 c #Conflicts: 1334000 | #Constraints: 112335
3495.97/3504.83 c #Conflicts: 1335000 | #Constraints: 113335
3495.97/3504.83 c #Conflicts: 1336000 | #Constraints: 114335
3495.97/3504.83 c #Conflicts: 1337000 | #Constraints: 115335
3495.97/3504.83 c #Conflicts: 1338000 | #Constraints: 116335
3495.97/3504.83 c #Conflicts: 1339000 | #Constraints: 117335
3495.97/3504.83 c #Conflicts: 1340000 | #Constraints: 118335
3495.97/3504.83 c #Conflicts: 1341000 | #Constraints: 119335
3495.97/3504.83 c #Conflicts: 1342000 | #Constraints: 120335
3495.97/3504.83 c #Conflicts: 1343000 | #Constraints: 121335
3495.97/3504.83 c #Conflicts: 1344000 | #Constraints: 122335
3495.97/3504.83 c #Conflicts: 1345000 | #Constraints: 123335
3495.97/3504.83 c #Conflicts: 1346000 | #Constraints: 124335
3495.97/3504.83 c #Conflicts: 1347000 | #Constraints: 125335
3495.97/3504.83 c INPROCESSING
3495.97/3504.83 c GARBAGE COLLECT
3495.97/3504.83 c #Conflicts: 1348000 | #Constraints: 91085
3495.97/3504.83 c #Conflicts: 1349000 | #Constraints: 92085
3495.97/3504.83 c #Conflicts: 1350000 | #Constraints: 93085
3495.97/3504.83 c #Conflicts: 1351000 | #Constraints: 94085
3495.97/3504.83 c #Conflicts: 1352000 | #Constraints: 95085
3495.97/3504.83 c #Conflicts: 1353000 | #Constraints: 96085
3495.97/3504.83 c #Conflicts: 1354000 | #Constraints: 97085
3495.97/3504.83 c #Conflicts: 1355000 | #Constraints: 98085
3495.97/3504.83 c #Conflicts: 1356000 | #Constraints: 99085
3495.97/3504.83 c #Conflicts: 1357000 | #Constraints: 100085
3495.97/3504.83 c #Conflicts: 1358000 | #Constraints: 101085
3495.97/3504.83 c #Conflicts: 1359000 | #Constraints: 102085
3495.97/3504.83 c #Conflicts: 1360000 | #Constraints: 103085
3495.97/3504.83 c #Conflicts: 1361000 | #Constraints: 104085
3495.97/3504.83 c #Conflicts: 1362000 | #Constraints: 105085
3495.97/3504.83 c #Conflicts: 1363000 | #Constraints: 106085
3495.97/3504.83 c #Conflicts: 1364000 | #Constraints: 107085
3495.97/3504.83 c #Conflicts: 1365000 | #Constraints: 108085
3495.97/3504.83 c #Conflicts: 1366000 | #Constraints: 109085
3495.97/3504.83 c #Conflicts: 1367000 | #Constraints: 110085
3495.97/3504.83 c #Conflicts: 1368000 | #Constraints: 111085
3495.97/3504.83 c #Conflicts: 1369000 | #Constraints: 112085
3495.97/3504.83 c #Conflicts: 1370000 | #Constraints: 113085
3495.97/3504.83 c #Conflicts: 1371000 | #Constraints: 114085
3495.97/3504.83 c #Conflicts: 1372000 | #Constraints: 115085
3495.97/3504.83 c #Conflicts: 1373000 | #Constraints: 116085
3495.97/3504.83 c #Conflicts: 1374000 | #Constraints: 117085
3495.97/3504.83 c #Conflicts: 1375000 | #Constraints: 118085
3495.97/3504.83 c #Conflicts: 1376000 | #Constraints: 119085
3495.97/3504.83 c #Conflicts: 1377000 | #Constraints: 120085
3495.97/3504.83 c #Conflicts: 1378000 | #Constraints: 121085
3495.97/3504.83 c #Conflicts: 1379000 | #Constraints: 122085
3495.97/3504.83 c #Conflicts: 1380000 | #Constraints: 123085
3495.97/3504.83 c #Conflicts: 1381000 | #Constraints: 124085
3495.97/3504.83 c #Conflicts: 1382000 | #Constraints: 125085
3495.97/3504.83 c #Conflicts: 1383000 | #Constraints: 126085
3495.97/3504.83 c #Conflicts: 1384000 | #Constraints: 127085
3495.97/3504.83 c #Conflicts: 1385000 | #Constraints: 128085
3495.97/3504.83 c #Conflicts: 1386000 | #Constraints: 129085
3495.97/3504.83 c #Conflicts: 1387000 | #Constraints: 130085
3495.97/3504.83 c #Conflicts: 1388000 | #Constraints: 131085
3495.97/3504.83 c #Conflicts: 1389000 | #Constraints: 132085
3495.97/3504.83 c #Conflicts: 1390000 | #Constraints: 133085
3495.97/3504.83 c #Conflicts: 1391000 | #Constraints: 134085
3495.97/3504.83 c #Conflicts: 1392000 | #Constraints: 135085
3495.97/3504.83 c #Conflicts: 1393000 | #Constraints: 136085
3495.97/3504.83 c #Conflicts: 1394000 | #Constraints: 137085
3495.97/3504.83 c #Conflicts: 1395000 | #Constraints: 138085
3495.97/3504.83 c #Conflicts: 1396000 | #Constraints: 139085
3495.97/3504.83 c #Conflicts: 1397000 | #Constraints: 140085
3495.97/3504.83 c #Conflicts: 1398000 | #Constraints: 141085
3495.97/3504.83 c #Conflicts: 1399000 | #Constraints: 142085
3495.97/3504.83 c #Conflicts: 1400000 | #Constraints: 143085
3495.97/3504.83 c #Conflicts: 1401000 | #Constraints: 144085
3495.97/3504.83 c #Conflicts: 1402000 | #Constraints: 145085
3600.02/3609.10 c #Conflicts: 1403000 | #Constraints: 146085
3600.02/3609.10 c #Conflicts: 1404000 | #Constraints: 147085
3600.02/3609.10 c #Conflicts: 1405000 | #Constraints: 148085
3600.02/3609.10 c #Conflicts: 1406000 | #Constraints: 149085
3600.02/3609.10 c #Conflicts: 1407000 | #Constraints: 150085
3600.02/3609.10 c #Conflicts: 1408000 | #Constraints: 151085
3600.02/3609.10 c #Conflicts: 1409000 | #Constraints: 152085
3600.02/3609.10 c #Conflicts: 1410000 | #Constraints: 153085
3600.02/3609.10 c #Conflicts: 1411000 | #Constraints: 154085
3600.02/3609.10 c #Conflicts: 1412000 | #Constraints: 155085
3600.02/3609.10 c #Conflicts: 1413000 | #Constraints: 156085
3600.02/3609.10 c #Conflicts: 1414000 | #Constraints: 157085
3600.02/3609.10 c #Conflicts: 1415000 | #Constraints: 158085
3600.02/3609.10 c #Conflicts: 1416000 | #Constraints: 159085
3600.02/3609.10 c #Conflicts: 1417000 | #Constraints: 160085
3600.02/3609.10 c #Conflicts: 1418000 | #Constraints: 161085
3600.02/3609.10 c #Conflicts: 1419000 | #Constraints: 162085
3600.02/3609.10 c #Conflicts: 1420000 | #Constraints: 163085
3600.02/3609.10 c #Conflicts: 1421000 | #Constraints: 164085
3600.02/3609.10 c #Conflicts: 1422000 | #Constraints: 165085
3600.02/3609.10 c #Conflicts: 1423000 | #Constraints: 166085
3600.02/3609.10 c #Conflicts: 1424000 | #Constraints: 167085
3600.02/3609.10 c #Conflicts: 1425000 | #Constraints: 168085
3600.02/3609.10 c INPROCESSING
3600.02/3609.10 c GARBAGE COLLECT
3600.02/3609.10 c Disabling crashed LP
3600.02/3609.11 c cpu time 3566.57 s
3600.02/3609.11 c deterministic time 266943389620 2.67e+11
3600.02/3609.11 c optimization time 0.003071 s
3600.02/3609.11 c total solve time 3566.48 s
3600.02/3609.11 c core-guided solve time 0 s
3600.02/3609.11 c propagation time 1949.53 s
3600.02/3609.11 c conflict analysis time 1091.58 s
3600.02/3609.11 c propagations 1461279662
3600.02/3609.11 c resolve steps 81713880
3600.02/3609.11 c decisions 38562386
3600.02/3609.11 c conflicts 1425000
3600.02/3609.11 c restarts 2759
3600.02/3609.11 c inprocessing phases 50
3600.02/3609.11 c garbage collections 50 ,( 100.00 )
3600.02/3609.11 c input clauses 21980 ,( 99.18 )
3600.02/3609.11 c input cardinalities 182 ,( 0.82 )
3600.02/3609.11 c input general constraints 0 ,( 0.00 )
3600.02/3609.11 c input average constraint length 6.41
3600.02/3609.11 c input average constraint degree 1.96
3600.02/3609.11 c learned clauses 1023190 ,( 71.80 )
3600.02/3609.11 c learned cardinalities 49198 ,( 3.45 )
3600.02/3609.11 c learned general constraints 352619 ,( 24.75 )
3600.02/3609.11 c learned average constraint length 660.65
3600.02/3609.11 c learned average constraint degree 15761815.50
3600.02/3609.11 c watched CF 32, 64, 128, Arb: 83557 , 0 , 0 , 0
3600.02/3609.11 c counting CF 32, 64, 128, Arb: 269062 , 0 , 0 , 0
3600.02/3609.11 c watched constraints 83557 ,( 23.70 )
3600.02/3609.11 c counting constraints 269062 ,( 76.30 )
3600.02/3609.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1316155836 , 828623095 , 2265006089 ,( 92160931 , 2172845158 )
3600.02/3609.11 c gcd simplifications 685
3600.02/3609.11 c detected cardinalities 7888
3600.02/3609.11 c weakened non-implied lits 382735514
3600.02/3609.11 c weakened non-implying lits 191419
3600.02/3609.11 c original variables 21703
3600.02/3609.11 c clausal propagations 676641463
3600.02/3609.11 c cardinality propagations 535980542
3600.02/3609.11 c watched propagations 4403252
3600.02/3609.11 c counting propagations 230295846
3600.02/3609.11 c watch lookups 84937907460
3600.02/3609.11 c watch backjump lookups 0
3600.02/3609.11 c watch checks 32812929648
3600.02/3609.11 c propagation checks 141556717375
3600.02/3609.11 c constraint additions 4634444216
3600.02/3609.11 c trail pops 1501266100
3600.02/3609.11 c formula constraints 22162
3600.02/3609.11 c learned constraints 1424997
3600.02/3609.11 c bound constraints 0
3600.02/3609.11 c core-guided constraints 0
3600.02/3609.11 c encountered formula constraints 50539116
3600.02/3609.11 c encountered learned constraints 32599603
3600.02/3609.11 c encountered bound constraints 0
3600.02/3609.11 c encountered core-guided constraints 0
3600.02/3609.11 c LP total time 516.969 s
3600.02/3609.11 c LP solve time 509.44 s
3600.02/3609.11 c LP constraints added 22570
3600.02/3609.11 c LP constraints removed 130
3600.02/3609.11 c LP pivots internal 144301
3600.02/3609.11 c LP pivots root 138471
3600.02/3609.11 c LP calls 15
3600.02/3609.11 c LP optimalities 6
3600.02/3609.11 c LP no pivot count 0
3600.02/3609.11 c LP infeasibilities 3
3600.02/3609.11 c LP valid Farkas constraints 3
3600.02/3609.11 c LP learned Farkas constraints 3
3600.02/3609.11 c LP basis resets 0
3600.02/3609.11 c LP cycling count 0
3600.02/3609.11 c LP singular count 0
3600.02/3609.11 c LP no primal count 0
3600.02/3609.11 c LP no farkas count 0
3600.02/3609.11 c LP other issue count 0
3600.02/3609.11 c LP Gomory cuts 4
3600.02/3609.11 c LP learned cuts 404
3600.02/3609.11 c LP deleted cuts 130
3600.02/3609.11 c LP encountered Gomory constraints 3
3600.02/3609.11 c LP encountered Farkas constraints 150
3600.02/3609.11 c LP encountered learned Farkas constraints 5
3600.02/3609.11 c CG auxiliary variables introduced 0
3600.02/3609.11 c CG solutions found 0
3600.02/3609.11 c CG cores constructed 0
3600.02/3609.11 c CG core cardinality constraints returned 0
3600.02/3609.11 c CG unit cores 0
3600.02/3609.11 c CG single cores 0
3600.02/3609.11 c CG blocks removed during cardinality reduction 0
3600.02/3609.11 c CG first core best 0
3600.02/3609.11 c CG decision core best 0
3600.02/3609.11 c CG core reduction tie 0
3600.02/3609.11 c CG core degree average 0.00
3600.02/3609.11 c CG core slack average 0.00
3600.02/3609.11 c CG core upper bound improvements 0
3600.02/3609.11 c STR number of successful calls 0
3600.02/3609.11 c STR number of unsuccessful calls 0
3600.02/3609.11 c STR number of inconclusive calls 0
3600.02/3609.11 c STR number of successful attempts 0
3600.02/3609.11 c STR number of unsuccessful attempts 0
3600.02/3609.11 c STR number of inconclusive attempts 0
3600.02/3609.11 c STR average degree increase per successful call inf
3600.02/3609.11 c STR average degree increase per successful attempt inf
3600.02/3609.11 c STR total number of conflicts for successful attempts 0
3600.02/3609.11 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.11 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.11 c STR average number of conflicts per successful attempt inf
3600.02/3609.11 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.11 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.11 c AVG.sumWPerc 67.54
3600.02/3609.11 c bigint constraints 0
3600.02/3609.11 s UNKNOWN
3600.02/3609.11 c Program interrupted by user.
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: 63665 MiB (63046 MiB free)
memory of node 1: 64507 MiB (64017 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507196-1751179929/watcher-4507196-1751179929 -o /tmp/evaluation-result-4507196-1751179929/solver-4507196-1751179929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18879 --watchdog 3760 run-dec-break.sh HOME/instance-4507196-1751179929.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19664, runsolver pid=19650
[startup+0.100058 s]*
/proc/loadavg: 4.11 4.09 4.09 3/263 19676
/proc/meminfo: memFree=130022408/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33670694 4292608 736 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+0.205764 s]*
/proc/loadavg: 4.11 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129995880/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=77232 memory=32596 CPUtime=0.08 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 5709 0 0 0 6 2 0 0 20 0 1 0 33670705 79085568 8149 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 19308 8149 2240 1147 0 6735 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 35668 KiB
[startup+0.305262 s]*
/proc/loadavg: 4.11 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129942132/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=116616 memory=62868 CPUtime=0.18 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 12950 0 0 0 14 4 0 0 20 0 1 0 33670705 119414784 15717 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 29154 15717 2272 1147 0 16581 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 120808 KiB
Current children cumulated memory: 65940 KiB
[startup+0.700156 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129941144/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=117824 memory=65172 CPUtime=0.57 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 13544 0 0 0 52 5 0 0 20 0 1 0 33670705 120651776 16293 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 29456 16293 2272 1147 0 16883 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 122016 KiB
Current children cumulated memory: 68244 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129941144/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=117824 memory=65172 CPUtime=1.37 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 13544 0 0 0 132 5 0 0 20 0 1 0 33670705 120651776 16293 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 29456 16293 2272 1147 0 16883 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 122016 KiB
Current children cumulated memory: 68244 KiB
[startup+3.10461 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129932264/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=121296 memory=69012 CPUtime=2.97 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 14490 0 0 0 292 5 0 0 20 0 1 0 33670705 124207104 17253 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 30324 17253 2272 1147 0 17751 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 125488 KiB
Current children cumulated memory: 72084 KiB
[startup+6.30014 s]
/proc/loadavg: 4.09 4.08 4.09 5/268 19684
/proc/meminfo: memFree=129918764/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=125444 memory=76420 CPUtime=6.15 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 15778 0 0 0 600 15 0 0 20 0 1 0 33670705 128454656 19105 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 31361 19105 2336 1147 0 18788 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 129636 KiB
Current children cumulated memory: 79492 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.08 4.09 5/268 19684
/proc/meminfo: memFree=129885976/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=134884 memory=83588 CPUtime=12.55 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 17564 0 0 0 1220 35 0 0 20 0 1 0 33670705 138121216 20897 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 33721 20897 2336 1147 0 21148 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 139076 KiB
Current children cumulated memory: 86660 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 19684
/proc/meminfo: memFree=129818224/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=151992 memory=103028 CPUtime=25.31 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 21425 0 0 0 2463 68 0 0 20 0 1 0 33670705 155639808 25757 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 37998 25757 2336 1147 0 25425 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 156184 KiB
Current children cumulated memory: 106100 KiB
[startup+51.105 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19684
/proc/meminfo: memFree=129684748/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=173776 memory=123912 CPUtime=50.85 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 25149 0 0 0 4952 133 0 0 20 0 1 0 33670705 177946624 30978 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 43444 30978 2336 1147 0 30871 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 177968 KiB
Current children cumulated memory: 126984 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19686
/proc/meminfo: memFree=129463372/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=241704 memory=180948 CPUtime=101.92 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 35343 0 0 0 9978 214 0 0 20 0 1 0 33670705 247504896 45237 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 60426 45237 2336 1147 0 47853 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 245896 KiB
Current children cumulated memory: 184020 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 19688
/proc/meminfo: memFree=129335060/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=289336 memory=210488 CPUtime=161.79 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 39674 0 0 0 15863 316 0 0 20 0 1 0 33670705 296280064 52622 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 72334 52622 2336 1147 0 59761 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 293528 KiB
Current children cumulated memory: 213560 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/267 19690
/proc/meminfo: memFree=129226452/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=301436 memory=246500 CPUtime=221.64 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 43019 0 0 0 21747 417 0 0 20 0 1 0 33670705 308670464 61625 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 75359 61625 2368 1147 0 62786 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 305628 KiB
Current children cumulated memory: 249572 KiB
################
# More data... #
################
/proc/19677/statm: 241676 218798 2368 1147 0 229103 0
Current children cumulated CPU time: 3094.42 s
Current children cumulated vsize: 970896 KiB
Current children cumulated memory: 878264 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/266 19840
/proc/meminfo: memFree=126349692/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=966704 memory=875192 CPUtime=3154.2 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 137779 0 0 0 312418 3002 0 0 20 0 1 0 33670705 989904896 218798 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 241676 218798 2368 1147 0 229103 0
Current children cumulated CPU time: 3154.28 s
Current children cumulated vsize: 970896 KiB
Current children cumulated memory: 878264 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/266 19842
/proc/meminfo: memFree=126297304/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=966704 memory=875192 CPUtime=3214.06 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 137786 0 0 0 318354 3052 0 0 20 0 1 0 33670705 989904896 218798 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 241676 218798 2368 1147 0 229103 0
Current children cumulated CPU time: 3214.14 s
Current children cumulated vsize: 970896 KiB
Current children cumulated memory: 878264 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/266 19844
/proc/meminfo: memFree=126279176/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=974936 memory=882232 CPUtime=3273.92 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 139530 0 0 0 324298 3094 0 0 20 0 1 0 33670705 998334464 220558 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 243734 220558 2368 1147 0 231161 0
Current children cumulated CPU time: 3274 s
Current children cumulated vsize: 979128 KiB
Current children cumulated memory: 885304 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/267 19849
/proc/meminfo: memFree=126285384/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=974936 memory=882232 CPUtime=3333.77 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 139548 0 0 0 330223 3154 0 0 20 0 1 0 33670705 998334464 220558 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 243734 220558 2368 1147 0 231161 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 979128 KiB
Current children cumulated memory: 885304 KiB
[startup+3402.3 s]
/proc/loadavg: 4.31 4.19 4.15 5/267 19855
/proc/meminfo: memFree=126299044/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=975196 memory=882488 CPUtime=3393.63 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 139613 0 0 0 336170 3193 0 0 20 0 1 0 33670705 998600704 220622 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 243799 220622 2368 1147 0 231226 0
Current children cumulated CPU time: 3393.71 s
Current children cumulated vsize: 979388 KiB
Current children cumulated memory: 885560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/267 19857
/proc/meminfo: memFree=126299060/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=975196 memory=882488 CPUtime=3453.49 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 139830 0 0 0 342103 3246 0 0 20 0 1 0 33670705 998600704 220622 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 243799 220622 2368 1147 0 231226 0
Current children cumulated CPU time: 3453.57 s
Current children cumulated vsize: 979388 KiB
Current children cumulated memory: 885560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/267 19859
/proc/meminfo: memFree=126273532/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=980268 memory=886840 CPUtime=3513.34 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 140986 0 0 0 348047 3287 0 0 20 0 1 0 33670705 1003794432 221710 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 245067 221710 2368 1147 0 232494 0
Current children cumulated CPU time: 3513.42 s
Current children cumulated vsize: 984460 KiB
Current children cumulated memory: 889912 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/267 19861
/proc/meminfo: memFree=126265460/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=990192 memory=894264 CPUtime=3573.2 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 142878 0 0 0 353998 3322 0 0 20 0 1 0 33670705 1013956608 223566 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 247548 223566 2368 1147 0 234975 0
Current children cumulated CPU time: 3573.28 s
Current children cumulated vsize: 994384 KiB
Current children cumulated memory: 897336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.08 4.14 4.13 4/262 19870
/proc/meminfo: memFree=127211036/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=1005324 memory=905400 CPUtime=3599.94 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 145668 0 0 0 356656 3338 0 0 20 0 1 0 33670705 1029451776 226350 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 251331 226350 2368 1147 0 238758 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1009516 KiB
Current children cumulated memory: 908472 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.11 s]
# the end of solver process 19664 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.057105 s, system=0.034092 s
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 19677 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3566.64 s, system=33.4295 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.08 4.14 4.13 4/262 19870
/proc/meminfo: memFree=127211036/131249996 swapFree=33010684/33010684
[pid=19664] ppid=19650 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/19664/stat : 19664 (run-dec-break.s) S 19650 19664 18866 0 -1 4194304 236 13377 0 0 0 0 5 3 20 0 1 0 33670694 4292608 768 18446744073709551615 94301225877504 94301226772037 140737268058736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94301227011088 94301227058832 94301238956032 140737268066657 140737268066786 140737268066786 140737268072388 0
/proc/19664/statm: 1048 768 704 219 0 110 0
[pid=19677] ppid=19664 vsize=1005324 memory=905400 CPUtime=3599.94 cores=5,7
/proc/19677/stat : 19677 (roundingsat) R 19664 19664 18866 0 -1 4194304 145668 0 0 0 356656 3338 0 0 20 0 1 0 33670705 1029451776 226350 18446744073709551615 4227072 8923433 140724103975392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11661312 140724103977284 140724103977512 140724103977512 140724103983082 0
/proc/19677/statm: 251331 226350 2368 1147 0 238758 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1009516 KiB
Current children cumulated memory: 908472 KiB
Child status: 2
Real time (s): 3609.12
CPU time (s): 3600.06
CPU user time (s): 3566.64
CPU system time (s): 33.4295
CPU usage (%): 99.749
Max. virtual memory (cumulated for all children) (KiB): 1009516
Max. memory (cumulated for all children) (KiB): 908472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.63
system time used= 33.4295
maximum resident set size= 905784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159320
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 386
involuntary context switches= 3080
# summary of solver processes directly reported to runsolver:
# pid: 19664,19677
# total CPU time (s): 3600.06
# total CPU user time (s): 3566.64
# total CPU system time (s): 33.4295
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23868 second user time and 15.4201 second system time
The end
Begin job on nodeC022 at 2025-06-29 08:52:09
IDJOB=4507196
IDBENCH=158329
IDSOLVER=3357
FILE ID=nodeC022/4507196-1751179929
RUNJOBID= nodeC022-1751172706-18879
SLURM_JOB_ID= 9587539
Free space on /tmp= 433048 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K182.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507196-1751179929/watcher-4507196-1751179929 -o /tmp/evaluation-result-4507196-1751179929/solver-4507196-1751179929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18879 --watchdog 3760 run-dec-break.sh HOME/instance-4507196-1751179929.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a76bcc507230b7348cd315b0b6909f20
RANDOM SEED=986727168
nodeC022 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 : 0xb00002a
cpu MHz : 3599.315
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.060
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.714
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.734
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.719
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.693
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.722
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.101
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130118928 kB
MemAvailable: 129776592 kB
Buffers: 3280 kB
Cached: 468596 kB
SwapCached: 0 kB
Active: 315060 kB
Inactive: 220236 kB
Active(anon): 81480 kB
Inactive(anon): 0 kB
Active(file): 233580 kB
Inactive(file): 220236 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25920 kB
Writeback: 0 kB
AnonPages: 66980 kB
Mapped: 102236 kB
Shmem: 18060 kB
KReclaimable: 85776 kB
Slab: 169404 kB
SReclaimable: 85776 kB
SUnreclaim: 83628 kB
KernelStack: 4112 kB
PageTables: 2940 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 331272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC022 at 2025-06-29 09:52:19