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-4507197-1751174068.opb'
0.00/0.03 c read 1.50MB (20.95ms)
0.00/0.03 c [cnf: #variables 21658 #clauses 22024 #duplicates 0 #arr 141720]
0.00/0.03 c output proof to 'PROOFDIR/proof-4507197-1751174068'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 3276] (28.78ms)
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.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (4.31ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 108656 #edges 413388]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.09 c [group: #symmetries 4.80*10^1 #generators 5] (24.37ms)
0.00/0.09 c
0.00/0.09 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.09 c (0.08ms)
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.07ms)
0.09/0.11 c
0.09/0.11 c generation finished
0.09/0.11 c [sbp: #constraints 140 #add_vars 45]
0.09/0.11 c
0.09/0.11 c write result to 'HOME/instance-4507197-1751174068.opb.pre'
0.09/0.11 c wrote 1.53MB (3.50ms)
0.09/0.11 c ------------------------------------------------------------------
0.09/0.11 c 28.78ms 28.02% approx_orbits
0.09/0.11 c 24.37ms 23.72% detect_generic
0.09/0.11 c 20.95ms 20.40% parse
0.09/0.11 c 19.82ms 19.30% other
0.09/0.11 c 4.31ms 4.20% detect_special
0.09/0.11 c 3.50ms 3.41% output
0.09/0.11 c 0.82ms 0.80% finalize_order
0.09/0.11 c 0.08ms 0.08% optimize_gens
0.09/0.11 c 0.07ms 0.07% break_generic
0.09/0.11 c ───────────────────────────────────────────────
0.09/0.11 c 102.71ms 100% total
0.09/0.11 c ------------------------------------------------------------------
0.09/0.13 c RoundingSat 2
0.09/0.13 c branch pb25
0.09/0.13 c commit 63f22ad
0.27/0.32 c #variables 21703 #constraints 22162
117.36/117.90 c #Conflicts: 1000 | #Constraints: 23161
117.36/117.90 c #Conflicts: 2000 | #Constraints: 24161
117.36/117.90 c INPROCESSING
117.36/117.90 c GARBAGE COLLECT
117.36/117.90 c #Conflicts: 3000 | #Constraints: 23611
117.36/117.90 c #Conflicts: 4000 | #Constraints: 24611
117.36/117.90 c INPROCESSING
117.36/117.90 c GARBAGE COLLECT
117.36/117.90 c #Conflicts: 5000 | #Constraints: 24000
117.36/117.90 c #Conflicts: 6000 | #Constraints: 25000
117.36/117.90 c INPROCESSING
117.36/117.90 c GARBAGE COLLECT
117.36/117.90 c #Conflicts: 7000 | #Constraints: 24223
117.36/117.90 c #Conflicts: 8000 | #Constraints: 25223
117.36/117.90 c #Conflicts: 9000 | #Constraints: 26223
117.36/117.90 c #Conflicts: 10000 | #Constraints: 27223
117.36/117.90 c #Conflicts: 11000 | #Constraints: 28223
117.36/117.90 c #Conflicts: 12000 | #Constraints: 29223
117.36/117.90 c INPROCESSING
117.36/117.90 c GARBAGE COLLECT
117.36/117.90 c #Conflicts: 13000 | #Constraints: 26240
117.36/117.90 c #Conflicts: 14000 | #Constraints: 27240
117.36/117.90 c #Conflicts: 15000 | #Constraints: 28240
117.36/117.90 c #Conflicts: 16000 | #Constraints: 29240
117.36/117.90 c INPROCESSING
117.36/117.90 c GARBAGE COLLECT
117.36/117.90 c #Conflicts: 17000 | #Constraints: 26683
117.36/117.90 c #Conflicts: 18000 | #Constraints: 27683
117.36/117.90 c #Conflicts: 19000 | #Constraints: 28683
117.36/117.90 c #Conflicts: 20000 | #Constraints: 29683
117.36/117.90 c #Conflicts: 21000 | #Constraints: 30683
117.36/117.90 c #Conflicts: 22000 | #Constraints: 31683
117.36/117.90 c #Conflicts: 23000 | #Constraints: 32683
117.36/117.90 c #Conflicts: 24000 | #Constraints: 33683
117.36/117.90 c #Conflicts: 25000 | #Constraints: 34683
117.36/117.90 c INPROCESSING
117.36/117.90 c GARBAGE COLLECT
117.36/117.90 c #Conflicts: 26000 | #Constraints: 29135
117.36/117.90 c #Conflicts: 27000 | #Constraints: 30135
117.36/117.90 c #Conflicts: 28000 | #Constraints: 31135
117.36/117.90 c #Conflicts: 29000 | #Constraints: 32135
117.36/117.90 c #Conflicts: 30000 | #Constraints: 33135
117.36/117.90 c INPROCESSING
117.36/117.90 c GARBAGE COLLECT
117.36/117.90 c #Conflicts: 31000 | #Constraints: 29391
117.36/117.90 c #Conflicts: 32000 | #Constraints: 30391
117.36/117.90 c #Conflicts: 33000 | #Constraints: 31391
117.36/117.90 c #Conflicts: 34000 | #Constraints: 32391
117.36/117.90 c #Conflicts: 35000 | #Constraints: 33391
117.36/117.90 c #Conflicts: 36000 | #Constraints: 34391
117.36/117.90 c #Conflicts: 37000 | #Constraints: 35391
117.36/117.90 c #Conflicts: 38000 | #Constraints: 36391
117.36/117.90 c #Conflicts: 39000 | #Constraints: 37391
117.36/117.90 c #Conflicts: 40000 | #Constraints: 38391
117.36/117.90 c #Conflicts: 41000 | #Constraints: 39391
117.36/117.90 c #Conflicts: 42000 | #Constraints: 40391
117.36/117.90 c #Conflicts: 43000 | #Constraints: 41391
117.36/117.90 c INPROCESSING
117.36/117.90 c GARBAGE COLLECT
117.36/117.90 c #Conflicts: 44000 | #Constraints: 32849
117.36/117.90 c #Conflicts: 45000 | #Constraints: 33849
117.36/117.90 c #Conflicts: 46000 | #Constraints: 34849
117.36/117.90 c #Conflicts: 47000 | #Constraints: 35849
117.36/117.90 c #Conflicts: 48000 | #Constraints: 36849
117.36/117.90 c #Conflicts: 49000 | #Constraints: 37849
117.36/117.90 c INPROCESSING
117.36/117.90 c GARBAGE COLLECT
117.36/117.90 c #Conflicts: 50000 | #Constraints: 32440
117.36/117.90 c #Conflicts: 51000 | #Constraints: 33440
117.36/117.90 c #Conflicts: 52000 | #Constraints: 34440
117.36/117.90 c #Conflicts: 53000 | #Constraints: 35440
117.36/117.90 c #Conflicts: 54000 | #Constraints: 36440
117.36/117.90 c #Conflicts: 55000 | #Constraints: 37440
117.36/117.90 c #Conflicts: 56000 | #Constraints: 38440
117.36/117.90 c #Conflicts: 57000 | #Constraints: 39440
117.36/117.90 c #Conflicts: 58000 | #Constraints: 40440
117.36/117.90 c #Conflicts: 59000 | #Constraints: 41440
117.36/117.90 c #Conflicts: 60000 | #Constraints: 42440
117.36/117.90 c #Conflicts: 61000 | #Constraints: 43440
117.36/117.90 c #Conflicts: 62000 | #Constraints: 44440
117.36/117.90 c #Conflicts: 63000 | #Constraints: 45440
117.36/117.90 c #Conflicts: 64000 | #Constraints: 46440
117.36/117.90 c #Conflicts: 65000 | #Constraints: 47440
117.36/117.90 c INPROCESSING
117.36/117.90 c GARBAGE COLLECT
117.36/117.90 c #Conflicts: 66000 | #Constraints: 36225
117.36/117.90 c #Conflicts: 67000 | #Constraints: 37225
117.36/117.90 c #Conflicts: 68000 | #Constraints: 38225
117.36/117.90 c #Conflicts: 69000 | #Constraints: 39225
117.36/117.90 c #Conflicts: 70000 | #Constraints: 40225
117.36/117.90 c #Conflicts: 71000 | #Constraints: 41225
117.36/117.90 c #Conflicts: 72000 | #Constraints: 42225
117.36/117.90 c INPROCESSING
117.36/117.90 c GARBAGE COLLECT
244.32/247.69 c #Conflicts: 73000 | #Constraints: 35574
244.32/247.69 c #Conflicts: 74000 | #Constraints: 36574
244.32/247.69 c #Conflicts: 75000 | #Constraints: 37574
244.32/247.69 c #Conflicts: 76000 | #Constraints: 38574
244.32/247.69 c #Conflicts: 77000 | #Constraints: 39574
244.32/247.69 c #Conflicts: 78000 | #Constraints: 40574
244.32/247.69 c #Conflicts: 79000 | #Constraints: 41574
244.32/247.69 c #Conflicts: 80000 | #Constraints: 42574
244.32/247.69 c #Conflicts: 81000 | #Constraints: 43574
244.32/247.69 c #Conflicts: 82000 | #Constraints: 44574
244.32/247.69 c #Conflicts: 83000 | #Constraints: 45574
244.32/247.69 c #Conflicts: 84000 | #Constraints: 46574
244.32/247.69 c #Conflicts: 85000 | #Constraints: 47574
244.32/247.69 c #Conflicts: 86000 | #Constraints: 48574
244.32/247.69 c #Conflicts: 87000 | #Constraints: 49574
244.32/247.69 c #Conflicts: 88000 | #Constraints: 50574
244.32/247.69 c #Conflicts: 89000 | #Constraints: 51574
244.32/247.69 c #Conflicts: 90000 | #Constraints: 52574
244.32/247.69 c #Conflicts: 91000 | #Constraints: 53574
244.32/247.69 c INPROCESSING
244.32/247.69 c GARBAGE COLLECT
244.32/247.69 c #Conflicts: 92000 | #Constraints: 39187
244.32/247.69 c #Conflicts: 93000 | #Constraints: 40187
244.32/247.69 c #Conflicts: 94000 | #Constraints: 41187
244.32/247.69 c #Conflicts: 95000 | #Constraints: 42187
244.32/247.69 c #Conflicts: 96000 | #Constraints: 43187
244.32/247.69 c #Conflicts: 97000 | #Constraints: 44187
244.32/247.69 c #Conflicts: 98000 | #Constraints: 45187
244.32/247.69 c #Conflicts: 99000 | #Constraints: 46187
244.32/247.69 c #Conflicts: 100000 | #Constraints: 47187
244.32/247.69 c INPROCESSING
244.32/247.69 c GARBAGE COLLECT
244.32/247.69 c #Conflicts: 101000 | #Constraints: 38911
244.32/247.69 c #Conflicts: 102000 | #Constraints: 39911
244.32/247.69 c #Conflicts: 103000 | #Constraints: 40911
244.32/247.69 c #Conflicts: 104000 | #Constraints: 41911
244.32/247.69 c #Conflicts: 105000 | #Constraints: 42911
244.32/247.69 c #Conflicts: 106000 | #Constraints: 43911
244.32/247.69 c #Conflicts: 107000 | #Constraints: 44911
244.32/247.69 c #Conflicts: 108000 | #Constraints: 45911
244.32/247.69 c #Conflicts: 109000 | #Constraints: 46911
244.32/247.69 c #Conflicts: 110000 | #Constraints: 47911
244.32/247.69 c #Conflicts: 111000 | #Constraints: 48911
244.32/247.69 c #Conflicts: 112000 | #Constraints: 49911
244.32/247.69 c #Conflicts: 113000 | #Constraints: 50911
244.32/247.69 c #Conflicts: 114000 | #Constraints: 51911
244.32/247.69 c #Conflicts: 115000 | #Constraints: 52911
244.32/247.69 c #Conflicts: 116000 | #Constraints: 53911
244.32/247.69 c #Conflicts: 117000 | #Constraints: 54911
244.32/247.69 c #Conflicts: 118000 | #Constraints: 55911
244.32/247.69 c #Conflicts: 119000 | #Constraints: 56911
244.32/247.69 c #Conflicts: 120000 | #Constraints: 57911
244.32/247.69 c #Conflicts: 121000 | #Constraints: 58911
244.32/247.69 c INPROCESSING
244.32/247.69 c GARBAGE COLLECT
244.32/247.69 c #Conflicts: 122000 | #Constraints: 41737
244.32/247.69 c #Conflicts: 123000 | #Constraints: 42737
244.32/247.69 c #Conflicts: 124000 | #Constraints: 43737
244.32/247.69 c #Conflicts: 125000 | #Constraints: 44737
244.32/247.69 c #Conflicts: 126000 | #Constraints: 45737
244.32/247.69 c #Conflicts: 127000 | #Constraints: 46737
244.32/247.69 c #Conflicts: 128000 | #Constraints: 47737
244.32/247.69 c #Conflicts: 129000 | #Constraints: 48737
244.32/247.69 c #Conflicts: 130000 | #Constraints: 49737
244.32/247.69 c #Conflicts: 131000 | #Constraints: 50737
244.32/247.69 c #Conflicts: 132000 | #Constraints: 51737
244.32/247.69 c INPROCESSING
244.32/247.69 c GARBAGE COLLECT
244.32/247.69 c #Conflicts: 133000 | #Constraints: 42065
244.32/247.69 c #Conflicts: 134000 | #Constraints: 43065
244.32/247.69 c #Conflicts: 135000 | #Constraints: 44065
244.32/247.69 c #Conflicts: 136000 | #Constraints: 45065
244.32/247.69 c #Conflicts: 137000 | #Constraints: 46065
244.32/247.69 c #Conflicts: 138000 | #Constraints: 47065
244.32/247.69 c #Conflicts: 139000 | #Constraints: 48065
244.32/247.69 c #Conflicts: 140000 | #Constraints: 49065
244.32/247.69 c #Conflicts: 141000 | #Constraints: 50065
244.32/247.69 c #Conflicts: 142000 | #Constraints: 51065
244.32/247.69 c #Conflicts: 143000 | #Constraints: 52065
244.32/247.69 c #Conflicts: 144000 | #Constraints: 53065
244.32/247.69 c #Conflicts: 145000 | #Constraints: 54065
244.32/247.69 c #Conflicts: 146000 | #Constraints: 55065
244.32/247.69 c #Conflicts: 147000 | #Constraints: 56065
244.32/247.69 c #Conflicts: 148000 | #Constraints: 57065
244.32/247.69 c #Conflicts: 149000 | #Constraints: 58065
359.84/363.70 c #Conflicts: 150000 | #Constraints: 59065
359.84/363.70 c #Conflicts: 151000 | #Constraints: 60065
359.84/363.70 c #Conflicts: 152000 | #Constraints: 61065
359.84/363.70 c #Conflicts: 153000 | #Constraints: 62065
359.84/363.70 c #Conflicts: 154000 | #Constraints: 63065
359.84/363.70 c #Conflicts: 155000 | #Constraints: 64065
359.84/363.70 c #Conflicts: 156000 | #Constraints: 65065
359.84/363.70 c INPROCESSING
359.84/363.70 c GARBAGE COLLECT
359.84/363.70 c #Conflicts: 157000 | #Constraints: 44923
359.84/363.70 c #Conflicts: 158000 | #Constraints: 45923
359.84/363.70 c #Conflicts: 159000 | #Constraints: 46923
359.84/363.70 c #Conflicts: 160000 | #Constraints: 47923
359.84/363.70 c #Conflicts: 161000 | #Constraints: 48923
359.84/363.70 c #Conflicts: 162000 | #Constraints: 49923
359.84/363.70 c #Conflicts: 163000 | #Constraints: 50923
359.84/363.70 c #Conflicts: 164000 | #Constraints: 51923
359.84/363.70 c #Conflicts: 165000 | #Constraints: 52923
359.84/363.70 c #Conflicts: 166000 | #Constraints: 53923
359.84/363.70 c #Conflicts: 167000 | #Constraints: 54923
359.84/363.70 c #Conflicts: 168000 | #Constraints: 55923
359.84/363.70 c INPROCESSING
359.84/363.70 c GARBAGE COLLECT
359.84/363.70 c #Conflicts: 169000 | #Constraints: 44881
359.84/363.70 c #Conflicts: 170000 | #Constraints: 45881
359.84/363.70 c #Conflicts: 171000 | #Constraints: 46881
359.84/363.70 c #Conflicts: 172000 | #Constraints: 47881
359.84/363.70 c #Conflicts: 173000 | #Constraints: 48881
359.84/363.70 c #Conflicts: 174000 | #Constraints: 49881
359.84/363.70 c #Conflicts: 175000 | #Constraints: 50881
359.84/363.70 c #Conflicts: 176000 | #Constraints: 51881
359.84/363.70 c #Conflicts: 177000 | #Constraints: 52881
359.84/363.70 c #Conflicts: 178000 | #Constraints: 53881
359.84/363.70 c #Conflicts: 179000 | #Constraints: 54881
359.84/363.70 c #Conflicts: 180000 | #Constraints: 55881
359.84/363.70 c #Conflicts: 181000 | #Constraints: 56881
359.84/363.70 c #Conflicts: 182000 | #Constraints: 57881
359.84/363.70 c #Conflicts: 183000 | #Constraints: 58881
359.84/363.70 c #Conflicts: 184000 | #Constraints: 59881
359.84/363.70 c #Conflicts: 185000 | #Constraints: 60881
359.84/363.70 c #Conflicts: 186000 | #Constraints: 61881
359.84/363.70 c #Conflicts: 187000 | #Constraints: 62881
359.84/363.70 c #Conflicts: 188000 | #Constraints: 63881
359.84/363.70 c #Conflicts: 189000 | #Constraints: 64881
359.84/363.70 c #Conflicts: 190000 | #Constraints: 65881
359.84/363.70 c #Conflicts: 191000 | #Constraints: 66881
359.84/363.70 c #Conflicts: 192000 | #Constraints: 67881
359.84/363.70 c #Conflicts: 193000 | #Constraints: 68881
359.84/363.70 c #Conflicts: 194000 | #Constraints: 69881
359.84/363.70 c #Conflicts: 195000 | #Constraints: 70881
359.84/363.70 c #Conflicts: 196000 | #Constraints: 71881
359.84/363.70 c INPROCESSING
359.84/363.70 c GARBAGE COLLECT
359.84/363.70 c #Conflicts: 197000 | #Constraints: 48626
359.84/363.70 c #Conflicts: 198000 | #Constraints: 49626
359.84/363.70 c #Conflicts: 199000 | #Constraints: 50626
359.84/363.70 c #Conflicts: 200000 | #Constraints: 51626
359.84/363.70 c #Conflicts: 201000 | #Constraints: 52626
359.84/363.70 c #Conflicts: 202000 | #Constraints: 53626
359.84/363.70 c #Conflicts: 203000 | #Constraints: 54626
359.84/363.70 c #Conflicts: 204000 | #Constraints: 55626
359.84/363.70 c #Conflicts: 205000 | #Constraints: 56626
359.84/363.70 c #Conflicts: 206000 | #Constraints: 57626
359.84/363.70 c #Conflicts: 207000 | #Constraints: 58626
359.84/363.70 c #Conflicts: 208000 | #Constraints: 59626
359.84/363.70 c #Conflicts: 209000 | #Constraints: 60626
359.84/363.70 c INPROCESSING
359.84/363.70 c GARBAGE COLLECT
359.84/363.70 c #Conflicts: 210000 | #Constraints: 48148
359.84/363.70 c #Conflicts: 211000 | #Constraints: 49148
359.84/363.70 c #Conflicts: 212000 | #Constraints: 50148
359.84/363.70 c #Conflicts: 213000 | #Constraints: 51148
359.84/363.70 c #Conflicts: 214000 | #Constraints: 52148
359.84/363.70 c #Conflicts: 215000 | #Constraints: 53148
359.84/363.70 c #Conflicts: 216000 | #Constraints: 54148
359.84/363.70 c #Conflicts: 217000 | #Constraints: 55148
359.84/363.70 c #Conflicts: 218000 | #Constraints: 56148
359.84/363.70 c #Conflicts: 219000 | #Constraints: 57148
359.84/363.70 c #Conflicts: 220000 | #Constraints: 58148
359.84/363.70 c #Conflicts: 221000 | #Constraints: 59148
359.84/363.70 c #Conflicts: 222000 | #Constraints: 60148
359.84/363.70 c #Conflicts: 223000 | #Constraints: 61148
359.84/363.70 c #Conflicts: 224000 | #Constraints: 62148
359.84/363.70 c #Conflicts: 225000 | #Constraints: 63148
562.37/574.32 c #Conflicts: 226000 | #Constraints: 64148
562.37/574.32 c #Conflicts: 227000 | #Constraints: 65148
562.37/574.32 c #Conflicts: 228000 | #Constraints: 66148
562.37/574.32 c #Conflicts: 229000 | #Constraints: 67148
562.37/574.32 c #Conflicts: 230000 | #Constraints: 68148
562.37/574.32 c #Conflicts: 231000 | #Constraints: 69148
562.37/574.32 c #Conflicts: 232000 | #Constraints: 70148
562.37/574.32 c #Conflicts: 233000 | #Constraints: 71148
562.37/574.32 c #Conflicts: 234000 | #Constraints: 72148
562.37/574.32 c #Conflicts: 235000 | #Constraints: 73148
562.37/574.32 c #Conflicts: 236000 | #Constraints: 74148
562.37/574.32 c #Conflicts: 237000 | #Constraints: 75148
562.37/574.32 c #Conflicts: 238000 | #Constraints: 76148
562.37/574.32 c #Conflicts: 239000 | #Constraints: 77148
562.37/574.32 c #Conflicts: 240000 | #Constraints: 78148
562.37/574.32 c INPROCESSING
562.37/574.32 c GARBAGE COLLECT
562.37/574.32 c #Conflicts: 241000 | #Constraints: 52181
562.37/574.32 c #Conflicts: 242000 | #Constraints: 53181
562.37/574.32 c #Conflicts: 243000 | #Constraints: 54181
562.37/574.32 c #Conflicts: 244000 | #Constraints: 55181
562.37/574.32 c #Conflicts: 245000 | #Constraints: 56181
562.37/574.32 c #Conflicts: 246000 | #Constraints: 57181
562.37/574.32 c #Conflicts: 247000 | #Constraints: 58181
562.37/574.32 c #Conflicts: 248000 | #Constraints: 59181
562.37/574.32 c #Conflicts: 249000 | #Constraints: 60182
562.37/574.32 c #Conflicts: 250000 | #Constraints: 61182
562.37/574.32 c #Conflicts: 251000 | #Constraints: 62182
562.37/574.32 c #Conflicts: 252000 | #Constraints: 63182
562.37/574.32 c #Conflicts: 253000 | #Constraints: 64182
562.37/574.32 c #Conflicts: 254000 | #Constraints: 65182
562.37/574.32 c INPROCESSING
562.37/574.32 c GARBAGE COLLECT
562.37/574.32 c #Conflicts: 255000 | #Constraints: 50968
562.37/574.32 c #Conflicts: 256000 | #Constraints: 51968
562.37/574.32 c #Conflicts: 257000 | #Constraints: 52968
562.37/574.32 c #Conflicts: 258000 | #Constraints: 53968
562.37/574.32 c #Conflicts: 259000 | #Constraints: 54968
562.37/574.32 c #Conflicts: 260000 | #Constraints: 55968
562.37/574.32 c #Conflicts: 261000 | #Constraints: 56968
562.37/574.32 c #Conflicts: 262000 | #Constraints: 57968
562.37/574.32 c #Conflicts: 263000 | #Constraints: 58968
562.37/574.32 c #Conflicts: 264000 | #Constraints: 59968
562.37/574.32 c #Conflicts: 265000 | #Constraints: 60968
562.37/574.32 c #Conflicts: 266000 | #Constraints: 61968
562.37/574.32 c #Conflicts: 267000 | #Constraints: 62968
562.37/574.32 c #Conflicts: 268000 | #Constraints: 63968
562.37/574.32 c #Conflicts: 269000 | #Constraints: 64968
562.37/574.32 c #Conflicts: 270000 | #Constraints: 65968
562.37/574.32 c #Conflicts: 271000 | #Constraints: 66968
562.37/574.32 c #Conflicts: 272000 | #Constraints: 67968
562.37/574.32 c #Conflicts: 273000 | #Constraints: 68968
562.37/574.32 c #Conflicts: 274000 | #Constraints: 69968
562.37/574.32 c #Conflicts: 275000 | #Constraints: 70968
562.37/574.32 c #Conflicts: 276000 | #Constraints: 71968
562.37/574.32 c #Conflicts: 277000 | #Constraints: 72968
562.37/574.32 c #Conflicts: 278000 | #Constraints: 73968
562.37/574.32 c #Conflicts: 279000 | #Constraints: 74968
562.37/574.32 c #Conflicts: 280000 | #Constraints: 75968
562.37/574.32 c #Conflicts: 281000 | #Constraints: 76968
562.37/574.32 c #Conflicts: 282000 | #Constraints: 77968
562.37/574.32 c #Conflicts: 283000 | #Constraints: 78968
562.37/574.32 c #Conflicts: 284000 | #Constraints: 79968
562.37/574.32 c #Conflicts: 285000 | #Constraints: 80968
562.37/574.32 c #Conflicts: 286000 | #Constraints: 81968
562.37/574.32 c #Conflicts: 287000 | #Constraints: 82968
562.37/574.32 c #Conflicts: 288000 | #Constraints: 83968
562.37/574.32 c INPROCESSING
562.37/574.32 c GARBAGE COLLECT
562.37/574.32 c #Conflicts: 289000 | #Constraints: 54846
562.37/574.32 c #Conflicts: 290000 | #Constraints: 55846
562.37/574.32 c #Conflicts: 291000 | #Constraints: 56846
562.37/574.32 c #Conflicts: 292000 | #Constraints: 57846
562.37/574.32 c #Conflicts: 293000 | #Constraints: 58846
562.37/574.32 c #Conflicts: 294000 | #Constraints: 59846
562.37/574.32 c #Conflicts: 295000 | #Constraints: 60846
562.37/574.32 c #Conflicts: 296000 | #Constraints: 61846
562.37/574.32 c #Conflicts: 297000 | #Constraints: 62846
562.37/574.32 c #Conflicts: 298000 | #Constraints: 63846
562.37/574.32 c #Conflicts: 299000 | #Constraints: 64846
562.37/574.32 c #Conflicts: 300000 | #Constraints: 65846
562.37/574.32 c #Conflicts: 301000 | #Constraints: 66846
562.37/574.32 c #Conflicts: 302000 | #Constraints: 67846
689.61/702.57 c #Conflicts: 303000 | #Constraints: 68846
689.61/702.57 c INPROCESSING
689.61/702.57 c GARBAGE COLLECT
689.61/702.57 c #Conflicts: 304000 | #Constraints: 53593
689.61/702.57 c #Conflicts: 305000 | #Constraints: 54593
689.61/702.57 c #Conflicts: 306000 | #Constraints: 55593
689.61/702.57 c #Conflicts: 307000 | #Constraints: 56593
689.61/702.57 c #Conflicts: 308000 | #Constraints: 57593
689.61/702.57 c #Conflicts: 309000 | #Constraints: 58593
689.61/702.57 c #Conflicts: 310000 | #Constraints: 59593
689.61/702.57 c #Conflicts: 311000 | #Constraints: 60593
689.61/702.57 c #Conflicts: 312000 | #Constraints: 61593
689.61/702.57 c #Conflicts: 313000 | #Constraints: 62593
689.61/702.57 c #Conflicts: 314000 | #Constraints: 63593
689.61/702.57 c #Conflicts: 315000 | #Constraints: 64593
689.61/702.57 c #Conflicts: 316000 | #Constraints: 65593
689.61/702.57 c #Conflicts: 317000 | #Constraints: 66593
689.61/702.57 c #Conflicts: 318000 | #Constraints: 67593
689.61/702.57 c #Conflicts: 319000 | #Constraints: 68593
689.61/702.57 c #Conflicts: 320000 | #Constraints: 69593
689.61/702.57 c #Conflicts: 321000 | #Constraints: 70593
689.61/702.57 c #Conflicts: 322000 | #Constraints: 71593
689.61/702.57 c #Conflicts: 323000 | #Constraints: 72593
689.61/702.57 c #Conflicts: 324000 | #Constraints: 73593
689.61/702.57 c #Conflicts: 325000 | #Constraints: 74593
689.61/702.57 c #Conflicts: 326000 | #Constraints: 75593
689.61/702.57 c #Conflicts: 327000 | #Constraints: 76593
689.61/702.57 c #Conflicts: 328000 | #Constraints: 77593
689.61/702.57 c #Conflicts: 329000 | #Constraints: 78593
689.61/702.57 c #Conflicts: 330000 | #Constraints: 79593
689.61/702.57 c #Conflicts: 331000 | #Constraints: 80593
689.61/702.57 c #Conflicts: 332000 | #Constraints: 81593
689.61/702.57 c #Conflicts: 333000 | #Constraints: 82593
689.61/702.57 c #Conflicts: 334000 | #Constraints: 83593
689.61/702.57 c #Conflicts: 335000 | #Constraints: 84593
689.61/702.57 c #Conflicts: 336000 | #Constraints: 85593
689.61/702.57 c #Conflicts: 337000 | #Constraints: 86593
689.61/702.57 c #Conflicts: 338000 | #Constraints: 87593
689.61/702.57 c #Conflicts: 339000 | #Constraints: 88593
689.61/702.57 c #Conflicts: 340000 | #Constraints: 89593
689.61/702.57 c INPROCESSING
689.61/702.57 c GARBAGE COLLECT
689.61/702.57 c #Conflicts: 341000 | #Constraints: 57518
689.61/702.57 c #Conflicts: 342000 | #Constraints: 58518
689.61/702.57 c #Conflicts: 343000 | #Constraints: 59518
689.61/702.57 c #Conflicts: 344000 | #Constraints: 60518
689.61/702.57 c #Conflicts: 345000 | #Constraints: 61518
689.61/702.57 c #Conflicts: 346000 | #Constraints: 62518
689.61/702.57 c #Conflicts: 347000 | #Constraints: 63518
689.61/702.57 c #Conflicts: 348000 | #Constraints: 64518
689.61/702.57 c #Conflicts: 349000 | #Constraints: 65518
689.61/702.57 c #Conflicts: 350000 | #Constraints: 66518
689.61/702.57 c #Conflicts: 351000 | #Constraints: 67518
689.61/702.57 c #Conflicts: 352000 | #Constraints: 68518
689.61/702.57 c #Conflicts: 353000 | #Constraints: 69518
689.61/702.57 c #Conflicts: 354000 | #Constraints: 70518
689.61/702.57 c #Conflicts: 355000 | #Constraints: 71518
689.61/702.57 c #Conflicts: 356000 | #Constraints: 72518
689.61/702.57 c #Conflicts: 357000 | #Constraints: 73518
689.61/702.57 c INPROCESSING
689.61/702.57 c GARBAGE COLLECT
689.61/702.57 c #Conflicts: 358000 | #Constraints: 56720
689.61/702.57 c #Conflicts: 359000 | #Constraints: 57720
689.61/702.57 c #Conflicts: 360000 | #Constraints: 58720
689.61/702.57 c #Conflicts: 361000 | #Constraints: 59720
689.61/702.57 c #Conflicts: 362000 | #Constraints: 60720
689.61/702.57 c #Conflicts: 363000 | #Constraints: 61720
689.61/702.57 c #Conflicts: 364000 | #Constraints: 62720
689.61/702.57 c #Conflicts: 365000 | #Constraints: 63720
689.61/702.57 c #Conflicts: 366000 | #Constraints: 64720
689.61/702.57 c #Conflicts: 367000 | #Constraints: 65720
689.61/702.57 c #Conflicts: 368000 | #Constraints: 66720
689.61/702.57 c #Conflicts: 369000 | #Constraints: 67720
689.61/702.57 c #Conflicts: 370000 | #Constraints: 68720
689.61/702.57 c #Conflicts: 371000 | #Constraints: 69720
689.61/702.57 c #Conflicts: 372000 | #Constraints: 70720
689.61/702.57 c #Conflicts: 373000 | #Constraints: 71720
689.61/702.57 c #Conflicts: 374000 | #Constraints: 72720
689.61/702.57 c #Conflicts: 375000 | #Constraints: 73720
689.61/702.57 c #Conflicts: 376000 | #Constraints: 74720
689.61/702.57 c #Conflicts: 377000 | #Constraints: 75720
689.61/702.57 c #Conflicts: 378000 | #Constraints: 76720
879.21/893.93 c #Conflicts: 379000 | #Constraints: 77720
879.21/893.93 c #Conflicts: 380000 | #Constraints: 78720
879.21/893.93 c #Conflicts: 381000 | #Constraints: 79720
879.21/893.93 c #Conflicts: 382000 | #Constraints: 80720
879.21/893.93 c #Conflicts: 383000 | #Constraints: 81720
879.21/893.93 c #Conflicts: 384000 | #Constraints: 82720
879.21/893.93 c #Conflicts: 385000 | #Constraints: 83720
879.21/893.93 c #Conflicts: 386000 | #Constraints: 84720
879.21/893.93 c #Conflicts: 387000 | #Constraints: 85720
879.21/893.93 c #Conflicts: 388000 | #Constraints: 86720
879.21/893.93 c #Conflicts: 389000 | #Constraints: 87720
879.21/893.93 c #Conflicts: 390000 | #Constraints: 88720
879.21/893.93 c #Conflicts: 391000 | #Constraints: 89720
879.21/893.93 c #Conflicts: 392000 | #Constraints: 90720
879.21/893.93 c #Conflicts: 393000 | #Constraints: 91720
879.21/893.93 c #Conflicts: 394000 | #Constraints: 92720
879.21/893.93 c #Conflicts: 395000 | #Constraints: 93720
879.21/893.93 c #Conflicts: 396000 | #Constraints: 94720
879.21/893.93 c #Conflicts: 397000 | #Constraints: 95720
879.21/893.93 c INPROCESSING
879.21/893.93 c GARBAGE COLLECT
879.21/893.93 c #Conflicts: 398000 | #Constraints: 60543
879.21/893.93 c #Conflicts: 399000 | #Constraints: 61543
879.21/893.93 c #Conflicts: 400000 | #Constraints: 62543
879.21/893.93 c #Conflicts: 401000 | #Constraints: 63543
879.21/893.93 c #Conflicts: 402000 | #Constraints: 64543
879.21/893.93 c #Conflicts: 403000 | #Constraints: 65543
879.21/893.93 c #Conflicts: 404000 | #Constraints: 66543
879.21/893.93 c #Conflicts: 405000 | #Constraints: 67543
879.21/893.93 c #Conflicts: 406000 | #Constraints: 68543
879.21/893.93 c #Conflicts: 407000 | #Constraints: 69543
879.21/893.93 c #Conflicts: 408000 | #Constraints: 70543
879.21/893.93 c #Conflicts: 409000 | #Constraints: 71543
879.21/893.93 c #Conflicts: 410000 | #Constraints: 72543
879.21/893.93 c #Conflicts: 411000 | #Constraints: 73543
879.21/893.93 c #Conflicts: 412000 | #Constraints: 74543
879.21/893.93 c #Conflicts: 413000 | #Constraints: 75543
879.21/893.93 c #Conflicts: 414000 | #Constraints: 76543
879.21/893.93 c #Conflicts: 415000 | #Constraints: 77543
879.21/893.93 c INPROCESSING
879.21/893.93 c GARBAGE COLLECT
879.21/893.93 c #Conflicts: 416000 | #Constraints: 59746
879.21/893.93 c #Conflicts: 417000 | #Constraints: 60746
879.21/893.93 c #Conflicts: 418000 | #Constraints: 61746
879.21/893.93 c #Conflicts: 419000 | #Constraints: 62746
879.21/893.93 c #Conflicts: 420000 | #Constraints: 63746
879.21/893.93 c #Conflicts: 421000 | #Constraints: 64746
879.21/893.93 c #Conflicts: 422000 | #Constraints: 65746
879.21/893.93 c #Conflicts: 423000 | #Constraints: 66746
879.21/893.93 c #Conflicts: 424000 | #Constraints: 67746
879.21/893.93 c #Conflicts: 425000 | #Constraints: 68746
879.21/893.93 c #Conflicts: 426000 | #Constraints: 69746
879.21/893.93 c #Conflicts: 427000 | #Constraints: 70746
879.21/893.93 c #Conflicts: 428000 | #Constraints: 71746
879.21/893.93 c #Conflicts: 429000 | #Constraints: 72746
879.21/893.93 c #Conflicts: 430000 | #Constraints: 73746
879.21/893.93 c #Conflicts: 431000 | #Constraints: 74746
879.21/893.93 c #Conflicts: 432000 | #Constraints: 75746
879.21/893.93 c #Conflicts: 433000 | #Constraints: 76746
879.21/893.93 c #Conflicts: 434000 | #Constraints: 77746
879.21/893.93 c #Conflicts: 435000 | #Constraints: 78746
879.21/893.93 c #Conflicts: 436000 | #Constraints: 79746
879.21/893.93 c #Conflicts: 437000 | #Constraints: 80746
879.21/893.93 c #Conflicts: 438000 | #Constraints: 81746
879.21/893.93 c #Conflicts: 439000 | #Constraints: 82746
879.21/893.93 c #Conflicts: 440000 | #Constraints: 83746
879.21/893.93 c #Conflicts: 441000 | #Constraints: 84746
879.21/893.93 c #Conflicts: 442000 | #Constraints: 85746
879.21/893.93 c #Conflicts: 443000 | #Constraints: 86746
879.21/893.93 c #Conflicts: 444000 | #Constraints: 87746
879.21/893.93 c #Conflicts: 445000 | #Constraints: 88746
879.21/893.93 c #Conflicts: 446000 | #Constraints: 89746
879.21/893.93 c #Conflicts: 447000 | #Constraints: 90746
879.21/893.93 c #Conflicts: 448000 | #Constraints: 91746
879.21/893.93 c #Conflicts: 449000 | #Constraints: 92746
879.21/893.93 c #Conflicts: 450000 | #Constraints: 93746
879.21/893.93 c #Conflicts: 451000 | #Constraints: 94746
879.21/893.93 c #Conflicts: 452000 | #Constraints: 95746
879.21/893.93 c #Conflicts: 453000 | #Constraints: 96746
879.21/893.93 c #Conflicts: 454000 | #Constraints: 97746
879.21/893.93 c #Conflicts: 455000 | #Constraints: 98746
879.21/893.93 c #Conflicts: 456000 | #Constraints: 99746
1062.07/1081.36 c #Conflicts: 457000 | #Constraints: 100746
1062.07/1081.36 c #Conflicts: 458000 | #Constraints: 101746
1062.07/1081.36 c #Conflicts: 459000 | #Constraints: 102746
1062.07/1081.36 c INPROCESSING
1062.07/1081.36 c GARBAGE COLLECT
1062.07/1081.36 c #Conflicts: 460000 | #Constraints: 64533
1062.07/1081.36 c #Conflicts: 461000 | #Constraints: 65533
1062.07/1081.36 c #Conflicts: 462000 | #Constraints: 66533
1062.07/1081.36 c #Conflicts: 463000 | #Constraints: 67533
1062.07/1081.36 c #Conflicts: 464000 | #Constraints: 68533
1062.07/1081.36 c #Conflicts: 465000 | #Constraints: 69533
1062.07/1081.36 c #Conflicts: 466000 | #Constraints: 70533
1062.07/1081.36 c #Conflicts: 467000 | #Constraints: 71533
1062.07/1081.36 c #Conflicts: 468000 | #Constraints: 72533
1062.07/1081.36 c #Conflicts: 469000 | #Constraints: 73533
1062.07/1081.36 c #Conflicts: 470000 | #Constraints: 74533
1062.07/1081.36 c #Conflicts: 471000 | #Constraints: 75533
1062.07/1081.36 c #Conflicts: 472000 | #Constraints: 76533
1062.07/1081.36 c #Conflicts: 473000 | #Constraints: 77533
1062.07/1081.36 c #Conflicts: 474000 | #Constraints: 78533
1062.07/1081.36 c #Conflicts: 475000 | #Constraints: 79533
1062.07/1081.36 c #Conflicts: 476000 | #Constraints: 80533
1062.07/1081.36 c #Conflicts: 477000 | #Constraints: 81533
1062.07/1081.36 c #Conflicts: 478000 | #Constraints: 82533
1062.07/1081.36 c INPROCESSING
1062.07/1081.36 c GARBAGE COLLECT
1062.07/1081.36 c #Conflicts: 479000 | #Constraints: 62642
1062.07/1081.36 c #Conflicts: 480000 | #Constraints: 63642
1062.07/1081.36 c #Conflicts: 481000 | #Constraints: 64642
1062.07/1081.36 c #Conflicts: 482000 | #Constraints: 65642
1062.07/1081.36 c #Conflicts: 483000 | #Constraints: 66642
1062.07/1081.36 c #Conflicts: 484000 | #Constraints: 67642
1062.07/1081.36 c #Conflicts: 485000 | #Constraints: 68642
1062.07/1081.36 c #Conflicts: 486000 | #Constraints: 69642
1062.07/1081.36 c #Conflicts: 487000 | #Constraints: 70642
1062.07/1081.36 c #Conflicts: 488000 | #Constraints: 71642
1062.07/1081.36 c #Conflicts: 489000 | #Constraints: 72642
1062.07/1081.36 c #Conflicts: 490000 | #Constraints: 73642
1062.07/1081.36 c #Conflicts: 491000 | #Constraints: 74642
1062.07/1081.36 c #Conflicts: 492000 | #Constraints: 75642
1062.07/1081.36 c #Conflicts: 493000 | #Constraints: 76642
1062.07/1081.36 c #Conflicts: 494000 | #Constraints: 77642
1062.07/1081.36 c #Conflicts: 495000 | #Constraints: 78642
1062.07/1081.36 c #Conflicts: 496000 | #Constraints: 79642
1062.07/1081.36 c #Conflicts: 497000 | #Constraints: 80642
1062.07/1081.36 c #Conflicts: 498000 | #Constraints: 81642
1062.07/1081.36 c #Conflicts: 499000 | #Constraints: 82642
1062.07/1081.36 c #Conflicts: 500000 | #Constraints: 83642
1062.07/1081.36 c #Conflicts: 501000 | #Constraints: 84642
1062.07/1081.36 c #Conflicts: 502000 | #Constraints: 85642
1062.07/1081.36 c #Conflicts: 503000 | #Constraints: 86642
1062.07/1081.36 c #Conflicts: 504000 | #Constraints: 87642
1062.07/1081.36 c #Conflicts: 505000 | #Constraints: 88642
1062.07/1081.36 c #Conflicts: 506000 | #Constraints: 89642
1062.07/1081.36 c #Conflicts: 507000 | #Constraints: 90642
1062.07/1081.36 c #Conflicts: 508000 | #Constraints: 91642
1062.07/1081.36 c #Conflicts: 509000 | #Constraints: 92642
1062.07/1081.36 c #Conflicts: 510000 | #Constraints: 93642
1062.07/1081.36 c #Conflicts: 511000 | #Constraints: 94642
1062.07/1081.36 c #Conflicts: 512000 | #Constraints: 95642
1062.07/1081.36 c #Conflicts: 513000 | #Constraints: 96642
1062.07/1081.36 c #Conflicts: 514000 | #Constraints: 97642
1062.07/1081.36 c #Conflicts: 515000 | #Constraints: 98642
1062.07/1081.36 c #Conflicts: 516000 | #Constraints: 99642
1062.07/1081.36 c #Conflicts: 517000 | #Constraints: 100642
1062.07/1081.36 c #Conflicts: 518000 | #Constraints: 101642
1062.07/1081.36 c #Conflicts: 519000 | #Constraints: 102642
1062.07/1081.36 c #Conflicts: 520000 | #Constraints: 103642
1062.07/1081.36 c #Conflicts: 521000 | #Constraints: 104642
1062.07/1081.36 c #Conflicts: 522000 | #Constraints: 105642
1062.07/1081.36 c #Conflicts: 523000 | #Constraints: 106642
1062.07/1081.36 c #Conflicts: 524000 | #Constraints: 107642
1062.07/1081.36 c #Conflicts: 525000 | #Constraints: 108642
1062.07/1081.36 c INPROCESSING
1062.07/1081.36 c GARBAGE COLLECT
1062.07/1081.36 c #Conflicts: 526000 | #Constraints: 67609
1062.07/1081.36 c #Conflicts: 527000 | #Constraints: 68609
1062.07/1081.36 c #Conflicts: 528000 | #Constraints: 69609
1062.07/1081.36 c #Conflicts: 529000 | #Constraints: 70609
1062.07/1081.36 c #Conflicts: 530000 | #Constraints: 71609
1062.07/1081.36 c #Conflicts: 531000 | #Constraints: 72609
1062.07/1081.36 c #Conflicts: 532000 | #Constraints: 73609
1062.07/1081.36 c #Conflicts: 533000 | #Constraints: 74609
1206.97/1226.67 c #Conflicts: 534000 | #Constraints: 75609
1206.97/1226.67 c #Conflicts: 535000 | #Constraints: 76609
1206.97/1226.67 c #Conflicts: 536000 | #Constraints: 77609
1206.97/1226.67 c #Conflicts: 537000 | #Constraints: 78609
1206.97/1226.67 c #Conflicts: 538000 | #Constraints: 79609
1206.97/1226.67 c #Conflicts: 539000 | #Constraints: 80609
1206.97/1226.67 c #Conflicts: 540000 | #Constraints: 81609
1206.97/1226.67 c #Conflicts: 541000 | #Constraints: 82609
1206.97/1226.67 c #Conflicts: 542000 | #Constraints: 83609
1206.97/1226.67 c #Conflicts: 543000 | #Constraints: 84609
1206.97/1226.67 c #Conflicts: 544000 | #Constraints: 85609
1206.97/1226.67 c #Conflicts: 545000 | #Constraints: 86609
1206.97/1226.67 c INPROCESSING
1206.97/1226.67 c GARBAGE COLLECT
1206.97/1226.67 c rational objective 182.031
1377.71/1401.44 c #Conflicts: 546000 | #Constraints: 65082
1377.71/1401.44 c #Conflicts: 547000 | #Constraints: 66082
1377.71/1401.44 c #Conflicts: 548000 | #Constraints: 67082
1377.71/1401.44 c #Conflicts: 549000 | #Constraints: 68082
1377.71/1401.44 c #Conflicts: 550000 | #Constraints: 69082
1377.71/1401.44 c #Conflicts: 551000 | #Constraints: 70082
1377.71/1401.44 c #Conflicts: 552000 | #Constraints: 71082
1377.71/1401.44 c #Conflicts: 553000 | #Constraints: 72082
1377.71/1401.44 c #Conflicts: 554000 | #Constraints: 73082
1377.71/1401.44 c #Conflicts: 555000 | #Constraints: 74082
1377.71/1401.44 c #Conflicts: 556000 | #Constraints: 75082
1377.71/1401.44 c #Conflicts: 557000 | #Constraints: 76082
1377.71/1401.44 c #Conflicts: 558000 | #Constraints: 77082
1377.71/1401.44 c #Conflicts: 559000 | #Constraints: 78082
1377.71/1401.44 c #Conflicts: 560000 | #Constraints: 79082
1377.71/1401.44 c #Conflicts: 561000 | #Constraints: 80082
1377.71/1401.44 c #Conflicts: 562000 | #Constraints: 81082
1377.71/1401.44 c #Conflicts: 563000 | #Constraints: 82082
1377.71/1401.44 c #Conflicts: 564000 | #Constraints: 83082
1377.71/1401.44 c #Conflicts: 565000 | #Constraints: 84082
1377.71/1401.44 c #Conflicts: 566000 | #Constraints: 85082
1377.71/1401.44 c #Conflicts: 567000 | #Constraints: 86082
1377.71/1401.44 c #Conflicts: 568000 | #Constraints: 87082
1377.71/1401.44 c #Conflicts: 569000 | #Constraints: 88082
1377.71/1401.44 c #Conflicts: 570000 | #Constraints: 89082
1377.71/1401.44 c #Conflicts: 571000 | #Constraints: 90082
1377.71/1401.44 c #Conflicts: 572000 | #Constraints: 91082
1377.71/1401.44 c #Conflicts: 573000 | #Constraints: 92082
1377.71/1401.44 c #Conflicts: 574000 | #Constraints: 93082
1377.71/1401.44 c #Conflicts: 575000 | #Constraints: 94082
1377.71/1401.44 c #Conflicts: 576000 | #Constraints: 95082
1377.71/1401.44 c #Conflicts: 577000 | #Constraints: 96082
1377.71/1401.44 c #Conflicts: 578000 | #Constraints: 97082
1377.71/1401.44 c #Conflicts: 579000 | #Constraints: 98082
1377.71/1401.44 c #Conflicts: 580000 | #Constraints: 99082
1377.71/1401.44 c #Conflicts: 581000 | #Constraints: 100082
1377.71/1401.44 c #Conflicts: 582000 | #Constraints: 101082
1377.71/1401.44 c #Conflicts: 583000 | #Constraints: 102082
1377.71/1401.44 c #Conflicts: 584000 | #Constraints: 103082
1377.71/1401.44 c #Conflicts: 585000 | #Constraints: 104082
1377.71/1401.44 c #Conflicts: 586000 | #Constraints: 105082
1377.71/1401.44 c #Conflicts: 587000 | #Constraints: 106082
1377.71/1401.44 c #Conflicts: 588000 | #Constraints: 107082
1377.71/1401.44 c #Conflicts: 589000 | #Constraints: 108082
1377.71/1401.44 c #Conflicts: 590000 | #Constraints: 109082
1377.71/1401.44 c #Conflicts: 591000 | #Constraints: 110082
1377.71/1401.44 c #Conflicts: 592000 | #Constraints: 111082
1377.71/1401.44 c #Conflicts: 593000 | #Constraints: 112082
1377.71/1401.44 c #Conflicts: 594000 | #Constraints: 113082
1377.71/1401.44 c #Conflicts: 595000 | #Constraints: 114082
1377.71/1401.44 c INPROCESSING
1377.71/1401.44 c GARBAGE COLLECT
1377.71/1401.44 c #Conflicts: 596000 | #Constraints: 70265
1377.71/1401.44 c #Conflicts: 597000 | #Constraints: 71265
1377.71/1401.44 c #Conflicts: 598000 | #Constraints: 72265
1377.71/1401.44 c #Conflicts: 599000 | #Constraints: 73265
1377.71/1401.44 c #Conflicts: 600000 | #Constraints: 74265
1377.71/1401.44 c #Conflicts: 601000 | #Constraints: 75265
1377.71/1401.44 c #Conflicts: 602000 | #Constraints: 76265
1377.71/1401.44 c #Conflicts: 603000 | #Constraints: 77265
1377.71/1401.44 c #Conflicts: 604000 | #Constraints: 78265
1377.71/1401.44 c #Conflicts: 605000 | #Constraints: 79265
1377.71/1401.44 c #Conflicts: 606000 | #Constraints: 80265
1377.71/1401.44 c #Conflicts: 607000 | #Constraints: 81265
1377.71/1401.44 c #Conflicts: 608000 | #Constraints: 82265
1377.71/1401.44 c #Conflicts: 609000 | #Constraints: 83265
1377.71/1401.44 c #Conflicts: 610000 | #Constraints: 84265
1377.71/1401.44 c #Conflicts: 611000 | #Constraints: 85265
1377.71/1401.44 c #Conflicts: 612000 | #Constraints: 86265
1377.71/1401.44 c #Conflicts: 613000 | #Constraints: 87265
1377.71/1401.44 c #Conflicts: 614000 | #Constraints: 88265
1377.71/1401.44 c #Conflicts: 615000 | #Constraints: 89265
1377.71/1401.44 c #Conflicts: 616000 | #Constraints: 90265
1377.71/1401.44 c #Conflicts: 617000 | #Constraints: 91265
1377.71/1401.44 c INPROCESSING
1377.71/1401.44 c GARBAGE COLLECT
1377.71/1401.44 c #Conflicts: 618000 | #Constraints: 68501
1377.71/1401.44 c #Conflicts: 619000 | #Constraints: 69501
1377.71/1401.44 c #Conflicts: 620000 | #Constraints: 70501
1377.71/1401.44 c #Conflicts: 621000 | #Constraints: 71501
1377.71/1401.44 c #Conflicts: 622000 | #Constraints: 72501
1377.71/1401.44 c #Conflicts: 623000 | #Constraints: 73501
1622.08/1660.72 c #Conflicts: 624000 | #Constraints: 74501
1622.08/1660.72 c #Conflicts: 625000 | #Constraints: 75501
1622.08/1660.72 c #Conflicts: 626000 | #Constraints: 76501
1622.08/1660.72 c #Conflicts: 627000 | #Constraints: 77501
1622.08/1660.72 c #Conflicts: 628000 | #Constraints: 78501
1622.08/1660.72 c #Conflicts: 629000 | #Constraints: 79501
1622.08/1660.72 c #Conflicts: 630000 | #Constraints: 80501
1622.08/1660.72 c #Conflicts: 631000 | #Constraints: 81501
1622.08/1660.72 c #Conflicts: 632000 | #Constraints: 82501
1622.08/1660.72 c #Conflicts: 633000 | #Constraints: 83501
1622.08/1660.72 c #Conflicts: 634000 | #Constraints: 84501
1622.08/1660.72 c #Conflicts: 635000 | #Constraints: 85501
1622.08/1660.72 c #Conflicts: 636000 | #Constraints: 86501
1622.08/1660.72 c #Conflicts: 637000 | #Constraints: 87501
1622.08/1660.72 c #Conflicts: 638000 | #Constraints: 88501
1622.08/1660.72 c #Conflicts: 639000 | #Constraints: 89501
1622.08/1660.72 c #Conflicts: 640000 | #Constraints: 90501
1622.08/1660.72 c #Conflicts: 641000 | #Constraints: 91501
1622.08/1660.72 c #Conflicts: 642000 | #Constraints: 92501
1622.08/1660.72 c #Conflicts: 643000 | #Constraints: 93501
1622.08/1660.72 c #Conflicts: 644000 | #Constraints: 94501
1622.08/1660.72 c #Conflicts: 645000 | #Constraints: 95501
1622.08/1660.72 c #Conflicts: 646000 | #Constraints: 96501
1622.08/1660.72 c #Conflicts: 647000 | #Constraints: 97501
1622.08/1660.72 c #Conflicts: 648000 | #Constraints: 98501
1622.08/1660.72 c #Conflicts: 649000 | #Constraints: 99501
1622.08/1660.72 c #Conflicts: 650000 | #Constraints: 100501
1622.08/1660.72 c #Conflicts: 651000 | #Constraints: 101501
1622.08/1660.72 c #Conflicts: 652000 | #Constraints: 102501
1622.08/1660.72 c #Conflicts: 653000 | #Constraints: 103501
1622.08/1660.72 c #Conflicts: 654000 | #Constraints: 104501
1622.08/1660.72 c #Conflicts: 655000 | #Constraints: 105501
1622.08/1660.72 c #Conflicts: 656000 | #Constraints: 106501
1622.08/1660.72 c #Conflicts: 657000 | #Constraints: 107501
1622.08/1660.72 c #Conflicts: 658000 | #Constraints: 108501
1622.08/1660.72 c #Conflicts: 659000 | #Constraints: 109501
1622.08/1660.72 c #Conflicts: 660000 | #Constraints: 110501
1622.08/1660.72 c #Conflicts: 661000 | #Constraints: 111501
1622.08/1660.72 c #Conflicts: 662000 | #Constraints: 112501
1622.08/1660.72 c #Conflicts: 663000 | #Constraints: 113501
1622.08/1660.72 c #Conflicts: 664000 | #Constraints: 114501
1622.08/1660.72 c #Conflicts: 665000 | #Constraints: 115501
1622.08/1660.72 c #Conflicts: 666000 | #Constraints: 116501
1622.08/1660.72 c #Conflicts: 667000 | #Constraints: 117501
1622.08/1660.72 c #Conflicts: 668000 | #Constraints: 118501
1622.08/1660.72 c #Conflicts: 669000 | #Constraints: 119501
1622.08/1660.72 c INPROCESSING
1622.08/1660.72 c GARBAGE COLLECT
1622.08/1660.72 c #Conflicts: 670000 | #Constraints: 72707
1622.08/1660.72 c #Conflicts: 671000 | #Constraints: 73707
1622.08/1660.72 c #Conflicts: 672000 | #Constraints: 74707
1622.08/1660.72 c #Conflicts: 673000 | #Constraints: 75707
1622.08/1660.72 c #Conflicts: 674000 | #Constraints: 76707
1622.08/1660.72 c #Conflicts: 675000 | #Constraints: 77707
1622.08/1660.72 c #Conflicts: 676000 | #Constraints: 78707
1622.08/1660.72 c #Conflicts: 677000 | #Constraints: 79707
1622.08/1660.72 c #Conflicts: 678000 | #Constraints: 80707
1622.08/1660.72 c #Conflicts: 679000 | #Constraints: 81707
1622.08/1660.72 c #Conflicts: 680000 | #Constraints: 82707
1622.08/1660.72 c #Conflicts: 681000 | #Constraints: 83707
1622.08/1660.72 c #Conflicts: 682000 | #Constraints: 84707
1622.08/1660.72 c #Conflicts: 683000 | #Constraints: 85707
1622.08/1660.72 c #Conflicts: 684000 | #Constraints: 86707
1622.08/1660.72 c #Conflicts: 685000 | #Constraints: 87707
1622.08/1660.72 c #Conflicts: 686000 | #Constraints: 88707
1622.08/1660.72 c #Conflicts: 687000 | #Constraints: 89707
1622.08/1660.72 c #Conflicts: 688000 | #Constraints: 90707
1622.08/1660.72 c #Conflicts: 689000 | #Constraints: 91707
1622.08/1660.72 c #Conflicts: 690000 | #Constraints: 92707
1622.08/1660.72 c #Conflicts: 691000 | #Constraints: 93707
1622.08/1660.72 c #Conflicts: 692000 | #Constraints: 94707
1622.08/1660.72 c #Conflicts: 693000 | #Constraints: 95707
1622.08/1660.72 c INPROCESSING
1622.08/1660.72 c GARBAGE COLLECT
1622.08/1660.72 c #Conflicts: 694000 | #Constraints: 71967
1622.08/1660.72 c #Conflicts: 695000 | #Constraints: 72967
1622.08/1660.72 c #Conflicts: 696000 | #Constraints: 73967
1622.08/1660.72 c #Conflicts: 697000 | #Constraints: 74967
1622.08/1660.72 c #Conflicts: 698000 | #Constraints: 75967
1622.08/1660.72 c #Conflicts: 699000 | #Constraints: 76967
1622.08/1660.72 c #Conflicts: 700000 | #Constraints: 77967
1799.86/1854.63 c #Conflicts: 701000 | #Constraints: 78967
1799.86/1854.63 c #Conflicts: 702000 | #Constraints: 79967
1799.86/1854.63 c #Conflicts: 703000 | #Constraints: 80967
1799.86/1854.63 c #Conflicts: 704000 | #Constraints: 81967
1799.86/1854.63 c #Conflicts: 705000 | #Constraints: 82967
1799.86/1854.63 c #Conflicts: 706000 | #Constraints: 83967
1799.86/1854.63 c #Conflicts: 707000 | #Constraints: 84967
1799.86/1854.63 c #Conflicts: 708000 | #Constraints: 85967
1799.86/1854.63 c #Conflicts: 709000 | #Constraints: 86967
1799.86/1854.63 c #Conflicts: 710000 | #Constraints: 87967
1799.86/1854.63 c #Conflicts: 711000 | #Constraints: 88967
1799.86/1854.63 c #Conflicts: 712000 | #Constraints: 89967
1799.86/1854.63 c #Conflicts: 713000 | #Constraints: 90967
1799.86/1854.63 c #Conflicts: 714000 | #Constraints: 91967
1799.86/1854.63 c #Conflicts: 715000 | #Constraints: 92967
1799.86/1854.63 c #Conflicts: 716000 | #Constraints: 93967
1799.86/1854.63 c #Conflicts: 717000 | #Constraints: 94967
1799.86/1854.63 c #Conflicts: 718000 | #Constraints: 95967
1799.86/1854.63 c #Conflicts: 719000 | #Constraints: 96967
1799.86/1854.63 c #Conflicts: 720000 | #Constraints: 97967
1799.86/1854.63 c #Conflicts: 721000 | #Constraints: 98967
1799.86/1854.63 c #Conflicts: 722000 | #Constraints: 99967
1799.86/1854.63 c #Conflicts: 723000 | #Constraints: 100967
1799.86/1854.63 c #Conflicts: 724000 | #Constraints: 101967
1799.86/1854.63 c #Conflicts: 725000 | #Constraints: 102967
1799.86/1854.63 c #Conflicts: 726000 | #Constraints: 103967
1799.86/1854.63 c #Conflicts: 727000 | #Constraints: 104967
1799.86/1854.63 c #Conflicts: 728000 | #Constraints: 105967
1799.86/1854.63 c #Conflicts: 729000 | #Constraints: 106967
1799.86/1854.63 c #Conflicts: 730000 | #Constraints: 107967
1799.86/1854.63 c #Conflicts: 731000 | #Constraints: 108967
1799.86/1854.63 c #Conflicts: 732000 | #Constraints: 109967
1799.86/1854.63 c #Conflicts: 733000 | #Constraints: 110967
1799.86/1854.63 c #Conflicts: 734000 | #Constraints: 111967
1799.86/1854.63 c #Conflicts: 735000 | #Constraints: 112967
1799.86/1854.63 c #Conflicts: 736000 | #Constraints: 113967
1799.86/1854.63 c #Conflicts: 737000 | #Constraints: 114967
1799.86/1854.63 c #Conflicts: 738000 | #Constraints: 115967
1799.86/1854.63 c #Conflicts: 739000 | #Constraints: 116967
1799.86/1854.63 c #Conflicts: 740000 | #Constraints: 117967
1799.86/1854.63 c #Conflicts: 741000 | #Constraints: 118967
1799.86/1854.63 c #Conflicts: 742000 | #Constraints: 119967
1799.86/1854.63 c #Conflicts: 743000 | #Constraints: 120967
1799.86/1854.63 c #Conflicts: 744000 | #Constraints: 121967
1799.86/1854.63 c #Conflicts: 745000 | #Constraints: 122967
1799.86/1854.63 c #Conflicts: 746000 | #Constraints: 123967
1799.86/1854.63 c #Conflicts: 747000 | #Constraints: 124967
1799.86/1854.63 c #Conflicts: 748000 | #Constraints: 125967
1799.86/1854.63 c INPROCESSING
1799.86/1854.63 c GARBAGE COLLECT
1799.86/1854.63 c #Conflicts: 749000 | #Constraints: 75947
1799.86/1854.63 c #Conflicts: 750000 | #Constraints: 76947
1799.86/1854.63 c #Conflicts: 751000 | #Constraints: 77947
1799.86/1854.63 c #Conflicts: 752000 | #Constraints: 78947
1799.86/1854.63 c #Conflicts: 753000 | #Constraints: 79947
1799.86/1854.63 c #Conflicts: 754000 | #Constraints: 80947
1799.86/1854.63 c #Conflicts: 755000 | #Constraints: 81947
1799.86/1854.63 c #Conflicts: 756000 | #Constraints: 82947
1799.86/1854.63 c #Conflicts: 757000 | #Constraints: 83947
1799.86/1854.63 c #Conflicts: 758000 | #Constraints: 84947
1799.86/1854.63 c #Conflicts: 759000 | #Constraints: 85947
1799.86/1854.63 c #Conflicts: 760000 | #Constraints: 86947
1799.86/1854.63 c #Conflicts: 761000 | #Constraints: 87947
1799.86/1854.63 c #Conflicts: 762000 | #Constraints: 88947
1799.86/1854.63 c #Conflicts: 763000 | #Constraints: 89947
1799.86/1854.63 c #Conflicts: 764000 | #Constraints: 90947
1799.86/1854.63 c #Conflicts: 765000 | #Constraints: 91947
1799.86/1854.63 c #Conflicts: 766000 | #Constraints: 92947
1799.86/1854.63 c #Conflicts: 767000 | #Constraints: 93947
1799.86/1854.63 c #Conflicts: 768000 | #Constraints: 94947
1799.86/1854.63 c #Conflicts: 769000 | #Constraints: 95947
1799.86/1854.63 c #Conflicts: 770000 | #Constraints: 96947
1799.86/1854.63 c #Conflicts: 771000 | #Constraints: 97947
1799.86/1854.63 c #Conflicts: 772000 | #Constraints: 98947
1799.86/1854.63 c #Conflicts: 773000 | #Constraints: 99947
1799.86/1854.63 c INPROCESSING
1799.86/1854.63 c GARBAGE COLLECT
1799.86/1854.63 c #Conflicts: 774000 | #Constraints: 74447
1799.86/1854.63 c #Conflicts: 775000 | #Constraints: 75447
1799.86/1854.63 c #Conflicts: 776000 | #Constraints: 76447
1799.86/1854.63 c #Conflicts: 777000 | #Constraints: 77447
1799.86/1854.63 c #Conflicts: 778000 | #Constraints: 78447
1997.71/2054.39 c #Conflicts: 779000 | #Constraints: 79447
1997.71/2054.39 c #Conflicts: 780000 | #Constraints: 80447
1997.71/2054.39 c #Conflicts: 781000 | #Constraints: 81447
1997.71/2054.39 c #Conflicts: 782000 | #Constraints: 82447
1997.71/2054.39 c #Conflicts: 783000 | #Constraints: 83447
1997.71/2054.39 c #Conflicts: 784000 | #Constraints: 84447
1997.71/2054.39 c #Conflicts: 785000 | #Constraints: 85447
1997.71/2054.39 c #Conflicts: 786000 | #Constraints: 86447
1997.71/2054.39 c #Conflicts: 787000 | #Constraints: 87447
1997.71/2054.39 c #Conflicts: 788000 | #Constraints: 88447
1997.71/2054.39 c #Conflicts: 789000 | #Constraints: 89447
1997.71/2054.39 c #Conflicts: 790000 | #Constraints: 90447
1997.71/2054.39 c #Conflicts: 791000 | #Constraints: 91447
1997.71/2054.39 c #Conflicts: 792000 | #Constraints: 92447
1997.71/2054.39 c #Conflicts: 793000 | #Constraints: 93447
1997.71/2054.39 c #Conflicts: 794000 | #Constraints: 94447
1997.71/2054.39 c #Conflicts: 795000 | #Constraints: 95447
1997.71/2054.39 c #Conflicts: 796000 | #Constraints: 96447
1997.71/2054.39 c #Conflicts: 797000 | #Constraints: 97447
1997.71/2054.39 c #Conflicts: 798000 | #Constraints: 98447
1997.71/2054.39 c #Conflicts: 799000 | #Constraints: 99447
1997.71/2054.39 c #Conflicts: 800000 | #Constraints: 100447
1997.71/2054.39 c #Conflicts: 801000 | #Constraints: 101447
1997.71/2054.39 c #Conflicts: 802000 | #Constraints: 102447
1997.71/2054.39 c #Conflicts: 803000 | #Constraints: 103447
1997.71/2054.39 c #Conflicts: 804000 | #Constraints: 104447
1997.71/2054.39 c #Conflicts: 805000 | #Constraints: 105447
1997.71/2054.39 c #Conflicts: 806000 | #Constraints: 106447
1997.71/2054.39 c #Conflicts: 807000 | #Constraints: 107447
1997.71/2054.39 c #Conflicts: 808000 | #Constraints: 108447
1997.71/2054.39 c #Conflicts: 809000 | #Constraints: 109447
1997.71/2054.39 c #Conflicts: 810000 | #Constraints: 110447
1997.71/2054.39 c #Conflicts: 811000 | #Constraints: 111447
1997.71/2054.39 c #Conflicts: 812000 | #Constraints: 112447
1997.71/2054.39 c #Conflicts: 813000 | #Constraints: 113447
1997.71/2054.39 c #Conflicts: 814000 | #Constraints: 114447
1997.71/2054.39 c #Conflicts: 815000 | #Constraints: 115447
1997.71/2054.39 c #Conflicts: 816000 | #Constraints: 116447
1997.71/2054.39 c #Conflicts: 817000 | #Constraints: 117447
1997.71/2054.39 c #Conflicts: 818000 | #Constraints: 118447
1997.71/2054.39 c #Conflicts: 819000 | #Constraints: 119447
1997.71/2054.39 c #Conflicts: 820000 | #Constraints: 120447
1997.71/2054.39 c #Conflicts: 821000 | #Constraints: 121447
1997.71/2054.39 c #Conflicts: 822000 | #Constraints: 122447
1997.71/2054.39 c #Conflicts: 823000 | #Constraints: 123447
1997.71/2054.39 c #Conflicts: 824000 | #Constraints: 124447
1997.71/2054.39 c #Conflicts: 825000 | #Constraints: 125447
1997.71/2054.39 c #Conflicts: 826000 | #Constraints: 126447
1997.71/2054.39 c #Conflicts: 827000 | #Constraints: 127447
1997.71/2054.39 c #Conflicts: 828000 | #Constraints: 128447
1997.71/2054.39 c #Conflicts: 829000 | #Constraints: 129447
1997.71/2054.39 c #Conflicts: 830000 | #Constraints: 130447
1997.71/2054.39 c #Conflicts: 831000 | #Constraints: 131447
1997.71/2054.39 c #Conflicts: 832000 | #Constraints: 132447
1997.71/2054.39 c INPROCESSING
1997.71/2054.39 c GARBAGE COLLECT
1997.71/2054.39 c #Conflicts: 833000 | #Constraints: 79381
1997.71/2054.39 c #Conflicts: 834000 | #Constraints: 80381
1997.71/2054.39 c #Conflicts: 835000 | #Constraints: 81381
1997.71/2054.39 c #Conflicts: 836000 | #Constraints: 82381
1997.71/2054.39 c #Conflicts: 837000 | #Constraints: 83381
1997.71/2054.39 c #Conflicts: 838000 | #Constraints: 84381
1997.71/2054.39 c #Conflicts: 839000 | #Constraints: 85381
1997.71/2054.39 c #Conflicts: 840000 | #Constraints: 86381
1997.71/2054.39 c #Conflicts: 841000 | #Constraints: 87381
1997.71/2054.39 c #Conflicts: 842000 | #Constraints: 88381
1997.71/2054.39 c #Conflicts: 843000 | #Constraints: 89381
1997.71/2054.39 c #Conflicts: 844000 | #Constraints: 90381
1997.71/2054.39 c #Conflicts: 845000 | #Constraints: 91381
1997.71/2054.39 c #Conflicts: 846000 | #Constraints: 92381
1997.71/2054.39 c #Conflicts: 847000 | #Constraints: 93381
1997.71/2054.39 c #Conflicts: 848000 | #Constraints: 94381
1997.71/2054.39 c #Conflicts: 849000 | #Constraints: 95381
1997.71/2054.39 c #Conflicts: 850000 | #Constraints: 96381
1997.71/2054.39 c #Conflicts: 851000 | #Constraints: 97381
1997.71/2054.39 c #Conflicts: 852000 | #Constraints: 98381
1997.71/2054.39 c #Conflicts: 853000 | #Constraints: 99381
1997.71/2054.39 c #Conflicts: 854000 | #Constraints: 100381
1997.71/2054.39 c #Conflicts: 855000 | #Constraints: 101381
1997.71/2054.39 c #Conflicts: 856000 | #Constraints: 102381
2229.28/2294.28 c #Conflicts: 857000 | #Constraints: 103381
2229.28/2294.28 c #Conflicts: 858000 | #Constraints: 104381
2229.28/2294.28 c INPROCESSING
2229.28/2294.28 c GARBAGE COLLECT
2229.28/2294.28 c #Conflicts: 859000 | #Constraints: 77756
2229.28/2294.28 c #Conflicts: 860000 | #Constraints: 78756
2229.28/2294.28 c #Conflicts: 861000 | #Constraints: 79756
2229.28/2294.28 c #Conflicts: 862000 | #Constraints: 80756
2229.28/2294.28 c #Conflicts: 863000 | #Constraints: 81756
2229.28/2294.28 c #Conflicts: 864000 | #Constraints: 82756
2229.28/2294.28 c #Conflicts: 865000 | #Constraints: 83756
2229.28/2294.28 c #Conflicts: 866000 | #Constraints: 84756
2229.28/2294.28 c #Conflicts: 867000 | #Constraints: 85756
2229.28/2294.28 c #Conflicts: 868000 | #Constraints: 86756
2229.28/2294.28 c #Conflicts: 869000 | #Constraints: 87756
2229.28/2294.28 c #Conflicts: 870000 | #Constraints: 88756
2229.28/2294.28 c #Conflicts: 871000 | #Constraints: 89756
2229.28/2294.28 c #Conflicts: 872000 | #Constraints: 90756
2229.28/2294.28 c #Conflicts: 873000 | #Constraints: 91756
2229.28/2294.28 c #Conflicts: 874000 | #Constraints: 92756
2229.28/2294.28 c #Conflicts: 875000 | #Constraints: 93756
2229.28/2294.28 c #Conflicts: 876000 | #Constraints: 94756
2229.28/2294.28 c #Conflicts: 877000 | #Constraints: 95756
2229.28/2294.28 c #Conflicts: 878000 | #Constraints: 96756
2229.28/2294.28 c #Conflicts: 879000 | #Constraints: 97756
2229.28/2294.28 c #Conflicts: 880000 | #Constraints: 98756
2229.28/2294.28 c #Conflicts: 881000 | #Constraints: 99756
2229.28/2294.28 c #Conflicts: 882000 | #Constraints: 100756
2229.28/2294.28 c #Conflicts: 883000 | #Constraints: 101756
2229.28/2294.28 c #Conflicts: 884000 | #Constraints: 102756
2229.28/2294.28 c #Conflicts: 885000 | #Constraints: 103756
2229.28/2294.28 c #Conflicts: 886000 | #Constraints: 104756
2229.28/2294.28 c #Conflicts: 887000 | #Constraints: 105756
2229.28/2294.28 c #Conflicts: 888000 | #Constraints: 106756
2229.28/2294.28 c #Conflicts: 889000 | #Constraints: 107756
2229.28/2294.28 c #Conflicts: 890000 | #Constraints: 108756
2229.28/2294.28 c #Conflicts: 891000 | #Constraints: 109756
2229.28/2294.28 c #Conflicts: 892000 | #Constraints: 110756
2229.28/2294.28 c #Conflicts: 893000 | #Constraints: 111756
2229.28/2294.28 c #Conflicts: 894000 | #Constraints: 112756
2229.28/2294.28 c #Conflicts: 895000 | #Constraints: 113756
2229.28/2294.28 c #Conflicts: 896000 | #Constraints: 114756
2229.28/2294.28 c #Conflicts: 897000 | #Constraints: 115756
2229.28/2294.28 c #Conflicts: 898000 | #Constraints: 116756
2229.28/2294.28 c #Conflicts: 899000 | #Constraints: 117756
2229.28/2294.28 c #Conflicts: 900000 | #Constraints: 118756
2229.28/2294.28 c #Conflicts: 901000 | #Constraints: 119756
2229.28/2294.28 c #Conflicts: 902000 | #Constraints: 120756
2229.28/2294.28 c #Conflicts: 903000 | #Constraints: 121756
2229.28/2294.28 c #Conflicts: 904000 | #Constraints: 122756
2229.28/2294.28 c #Conflicts: 905000 | #Constraints: 123756
2229.28/2294.28 c #Conflicts: 906000 | #Constraints: 124756
2229.28/2294.28 c #Conflicts: 907000 | #Constraints: 125756
2229.28/2294.28 c #Conflicts: 908000 | #Constraints: 126756
2229.28/2294.28 c #Conflicts: 909000 | #Constraints: 127756
2229.28/2294.28 c #Conflicts: 910000 | #Constraints: 128756
2229.28/2294.28 c #Conflicts: 911000 | #Constraints: 129756
2229.28/2294.28 c #Conflicts: 912000 | #Constraints: 130756
2229.28/2294.28 c #Conflicts: 913000 | #Constraints: 131756
2229.28/2294.28 c #Conflicts: 914000 | #Constraints: 132756
2229.28/2294.28 c #Conflicts: 915000 | #Constraints: 133756
2229.28/2294.28 c #Conflicts: 916000 | #Constraints: 134756
2229.28/2294.28 c #Conflicts: 917000 | #Constraints: 135756
2229.28/2294.28 c #Conflicts: 918000 | #Constraints: 136756
2229.28/2294.28 c #Conflicts: 919000 | #Constraints: 137756
2229.28/2294.28 c #Conflicts: 920000 | #Constraints: 138756
2229.28/2294.28 c INPROCESSING
2229.28/2294.28 c GARBAGE COLLECT
2229.28/2294.28 c #Conflicts: 921000 | #Constraints: 82975
2229.28/2294.28 c #Conflicts: 922000 | #Constraints: 83975
2229.28/2294.28 c #Conflicts: 923000 | #Constraints: 84975
2229.28/2294.28 c #Conflicts: 924000 | #Constraints: 85975
2229.28/2294.28 c #Conflicts: 925000 | #Constraints: 86975
2229.28/2294.28 c #Conflicts: 926000 | #Constraints: 87975
2229.28/2294.28 c #Conflicts: 927000 | #Constraints: 88975
2229.28/2294.28 c #Conflicts: 928000 | #Constraints: 89975
2229.28/2294.28 c #Conflicts: 929000 | #Constraints: 90975
2229.28/2294.28 c #Conflicts: 930000 | #Constraints: 91975
2229.28/2294.28 c #Conflicts: 931000 | #Constraints: 92975
2229.28/2294.28 c #Conflicts: 932000 | #Constraints: 93975
2229.28/2294.28 c #Conflicts: 933000 | #Constraints: 94975
2229.28/2294.28 c #Conflicts: 934000 | #Constraints: 95975
2423.27/2492.29 c #Conflicts: 935000 | #Constraints: 96975
2423.27/2492.29 c #Conflicts: 936000 | #Constraints: 97975
2423.27/2492.29 c #Conflicts: 937000 | #Constraints: 98975
2423.27/2492.29 c #Conflicts: 938000 | #Constraints: 99975
2423.27/2492.29 c #Conflicts: 939000 | #Constraints: 100975
2423.27/2492.29 c #Conflicts: 940000 | #Constraints: 101975
2423.27/2492.29 c #Conflicts: 941000 | #Constraints: 102975
2423.27/2492.29 c #Conflicts: 942000 | #Constraints: 103975
2423.27/2492.29 c #Conflicts: 943000 | #Constraints: 104975
2423.27/2492.29 c #Conflicts: 944000 | #Constraints: 105975
2423.27/2492.29 c #Conflicts: 945000 | #Constraints: 106975
2423.27/2492.29 c #Conflicts: 946000 | #Constraints: 107975
2423.27/2492.29 c #Conflicts: 947000 | #Constraints: 108975
2423.27/2492.29 c INPROCESSING
2423.27/2492.29 c GARBAGE COLLECT
2423.27/2492.29 c #Conflicts: 948000 | #Constraints: 80669
2423.27/2492.29 c #Conflicts: 949000 | #Constraints: 81669
2423.27/2492.29 c #Conflicts: 950000 | #Constraints: 82669
2423.27/2492.29 c #Conflicts: 951000 | #Constraints: 83669
2423.27/2492.29 c #Conflicts: 952000 | #Constraints: 84669
2423.27/2492.29 c #Conflicts: 953000 | #Constraints: 85669
2423.27/2492.29 c #Conflicts: 954000 | #Constraints: 86669
2423.27/2492.29 c #Conflicts: 955000 | #Constraints: 87669
2423.27/2492.29 c #Conflicts: 956000 | #Constraints: 88669
2423.27/2492.29 c #Conflicts: 957000 | #Constraints: 89669
2423.27/2492.29 c #Conflicts: 958000 | #Constraints: 90669
2423.27/2492.29 c #Conflicts: 959000 | #Constraints: 91669
2423.27/2492.29 c #Conflicts: 960000 | #Constraints: 92669
2423.27/2492.29 c #Conflicts: 961000 | #Constraints: 93669
2423.27/2492.29 c #Conflicts: 962000 | #Constraints: 94669
2423.27/2492.29 c #Conflicts: 963000 | #Constraints: 95669
2423.27/2492.29 c #Conflicts: 964000 | #Constraints: 96669
2423.27/2492.29 c #Conflicts: 965000 | #Constraints: 97669
2423.27/2492.29 c #Conflicts: 966000 | #Constraints: 98669
2423.27/2492.29 c #Conflicts: 967000 | #Constraints: 99669
2423.27/2492.29 c #Conflicts: 968000 | #Constraints: 100669
2423.27/2492.29 c #Conflicts: 969000 | #Constraints: 101669
2423.27/2492.29 c #Conflicts: 970000 | #Constraints: 102669
2423.27/2492.29 c #Conflicts: 971000 | #Constraints: 103669
2423.27/2492.29 c #Conflicts: 972000 | #Constraints: 104669
2423.27/2492.29 c #Conflicts: 973000 | #Constraints: 105669
2423.27/2492.29 c #Conflicts: 974000 | #Constraints: 106669
2423.27/2492.29 c #Conflicts: 975000 | #Constraints: 107669
2423.27/2492.29 c #Conflicts: 976000 | #Constraints: 108669
2423.27/2492.29 c #Conflicts: 977000 | #Constraints: 109669
2423.27/2492.29 c #Conflicts: 978000 | #Constraints: 110669
2423.27/2492.29 c #Conflicts: 979000 | #Constraints: 111669
2423.27/2492.29 c #Conflicts: 980000 | #Constraints: 112669
2423.27/2492.29 c #Conflicts: 981000 | #Constraints: 113669
2423.27/2492.29 c #Conflicts: 982000 | #Constraints: 114669
2423.27/2492.29 c #Conflicts: 983000 | #Constraints: 115669
2423.27/2492.29 c #Conflicts: 984000 | #Constraints: 116669
2423.27/2492.29 c #Conflicts: 985000 | #Constraints: 117669
2423.27/2492.29 c #Conflicts: 986000 | #Constraints: 118669
2423.27/2492.29 c #Conflicts: 987000 | #Constraints: 119669
2423.27/2492.29 c #Conflicts: 988000 | #Constraints: 120669
2423.27/2492.29 c #Conflicts: 989000 | #Constraints: 121669
2423.27/2492.29 c #Conflicts: 990000 | #Constraints: 122669
2423.27/2492.29 c #Conflicts: 991000 | #Constraints: 123669
2423.27/2492.29 c #Conflicts: 992000 | #Constraints: 124669
2423.27/2492.29 c #Conflicts: 993000 | #Constraints: 125669
2423.27/2492.29 c #Conflicts: 994000 | #Constraints: 126669
2423.27/2492.29 c #Conflicts: 995000 | #Constraints: 127669
2423.27/2492.29 c #Conflicts: 996000 | #Constraints: 128669
2423.27/2492.29 c #Conflicts: 997000 | #Constraints: 129669
2423.27/2492.29 c #Conflicts: 998000 | #Constraints: 130669
2423.27/2492.29 c #Conflicts: 999000 | #Constraints: 131669
2423.27/2492.29 c #Conflicts: 1000000 | #Constraints: 132669
2423.27/2492.29 c #Conflicts: 1001000 | #Constraints: 133669
2423.27/2492.29 c #Conflicts: 1002000 | #Constraints: 134669
2423.27/2492.29 c #Conflicts: 1003000 | #Constraints: 135669
2423.27/2492.29 c #Conflicts: 1004000 | #Constraints: 136669
2423.27/2492.29 c #Conflicts: 1005000 | #Constraints: 137669
2423.27/2492.29 c #Conflicts: 1006000 | #Constraints: 138669
2423.27/2492.29 c #Conflicts: 1007000 | #Constraints: 139669
2423.27/2492.29 c #Conflicts: 1008000 | #Constraints: 140669
2423.27/2492.29 c #Conflicts: 1009000 | #Constraints: 141669
2423.27/2492.29 c #Conflicts: 1010000 | #Constraints: 142669
2423.27/2492.29 c #Conflicts: 1011000 | #Constraints: 143669
2423.27/2492.29 c #Conflicts: 1012000 | #Constraints: 144669
2538.88/2608.16 c INPROCESSING
2538.88/2608.16 c GARBAGE COLLECT
2538.88/2608.16 c rational objective 182.056
2733.15/2805.53 c #Conflicts: 1013000 | #Constraints: 85895
2733.15/2805.53 c #Conflicts: 1014000 | #Constraints: 86895
2733.15/2805.53 c #Conflicts: 1015000 | #Constraints: 87895
2733.15/2805.53 c #Conflicts: 1016000 | #Constraints: 88895
2733.15/2805.53 c #Conflicts: 1017000 | #Constraints: 89895
2733.15/2805.53 c #Conflicts: 1018000 | #Constraints: 90895
2733.15/2805.53 c #Conflicts: 1019000 | #Constraints: 91895
2733.15/2805.53 c #Conflicts: 1020000 | #Constraints: 92895
2733.15/2805.53 c #Conflicts: 1021000 | #Constraints: 93895
2733.15/2805.53 c #Conflicts: 1022000 | #Constraints: 94895
2733.15/2805.53 c #Conflicts: 1023000 | #Constraints: 95895
2733.15/2805.53 c #Conflicts: 1024000 | #Constraints: 96895
2733.15/2805.53 c #Conflicts: 1025000 | #Constraints: 97895
2733.15/2805.53 c #Conflicts: 1026000 | #Constraints: 98895
2733.15/2805.53 c #Conflicts: 1027000 | #Constraints: 99895
2733.15/2805.53 c #Conflicts: 1028000 | #Constraints: 100895
2733.15/2805.53 c #Conflicts: 1029000 | #Constraints: 101895
2733.15/2805.53 c #Conflicts: 1030000 | #Constraints: 102895
2733.15/2805.53 c #Conflicts: 1031000 | #Constraints: 103895
2733.15/2805.53 c #Conflicts: 1032000 | #Constraints: 104895
2733.15/2805.53 c #Conflicts: 1033000 | #Constraints: 105895
2733.15/2805.53 c #Conflicts: 1034000 | #Constraints: 106895
2733.15/2805.53 c #Conflicts: 1035000 | #Constraints: 107895
2733.15/2805.53 c #Conflicts: 1036000 | #Constraints: 108895
2733.15/2805.53 c #Conflicts: 1037000 | #Constraints: 109895
2733.15/2805.53 c #Conflicts: 1038000 | #Constraints: 110895
2733.15/2805.53 c #Conflicts: 1039000 | #Constraints: 111895
2733.15/2805.53 c #Conflicts: 1040000 | #Constraints: 112895
2733.15/2805.53 c INPROCESSING
2733.15/2805.53 c GARBAGE COLLECT
2733.15/2805.53 c #Conflicts: 1041000 | #Constraints: 82319
2733.15/2805.53 c #Conflicts: 1042000 | #Constraints: 83319
2733.15/2805.53 c #Conflicts: 1043000 | #Constraints: 84319
2733.15/2805.53 c #Conflicts: 1044000 | #Constraints: 85319
2733.15/2805.53 c #Conflicts: 1045000 | #Constraints: 86319
2733.15/2805.53 c #Conflicts: 1046000 | #Constraints: 87319
2733.15/2805.53 c #Conflicts: 1047000 | #Constraints: 88319
2733.15/2805.53 c #Conflicts: 1048000 | #Constraints: 89319
2733.15/2805.53 c #Conflicts: 1049000 | #Constraints: 90319
2733.15/2805.53 c #Conflicts: 1050000 | #Constraints: 91319
2733.15/2805.53 c #Conflicts: 1051000 | #Constraints: 92319
2733.15/2805.53 c #Conflicts: 1052000 | #Constraints: 93319
2733.15/2805.53 c #Conflicts: 1053000 | #Constraints: 94319
2733.15/2805.53 c #Conflicts: 1054000 | #Constraints: 95319
2733.15/2805.53 c #Conflicts: 1055000 | #Constraints: 96319
2733.15/2805.53 c #Conflicts: 1056000 | #Constraints: 97319
2733.15/2805.53 c #Conflicts: 1057000 | #Constraints: 98319
2733.15/2805.53 c #Conflicts: 1058000 | #Constraints: 99319
2733.15/2805.53 c #Conflicts: 1059000 | #Constraints: 100319
2733.15/2805.53 c #Conflicts: 1060000 | #Constraints: 101319
2733.15/2805.53 c #Conflicts: 1061000 | #Constraints: 102319
2733.15/2805.53 c #Conflicts: 1062000 | #Constraints: 103319
2733.15/2805.53 c #Conflicts: 1063000 | #Constraints: 104319
2733.15/2805.53 c #Conflicts: 1064000 | #Constraints: 105319
2733.15/2805.53 c #Conflicts: 1065000 | #Constraints: 106319
2733.15/2805.53 c #Conflicts: 1066000 | #Constraints: 107319
2733.15/2805.53 c #Conflicts: 1067000 | #Constraints: 108319
2733.15/2805.53 c #Conflicts: 1068000 | #Constraints: 109319
2733.15/2805.53 c #Conflicts: 1069000 | #Constraints: 110319
2733.15/2805.53 c #Conflicts: 1070000 | #Constraints: 111319
2733.15/2805.53 c #Conflicts: 1071000 | #Constraints: 112319
2733.15/2805.53 c #Conflicts: 1072000 | #Constraints: 113319
2733.15/2805.53 c #Conflicts: 1073000 | #Constraints: 114319
2733.15/2805.53 c #Conflicts: 1074000 | #Constraints: 115319
2733.15/2805.53 c #Conflicts: 1075000 | #Constraints: 116319
2733.15/2805.53 c #Conflicts: 1076000 | #Constraints: 117319
2733.15/2805.53 c #Conflicts: 1077000 | #Constraints: 118319
2733.15/2805.53 c #Conflicts: 1078000 | #Constraints: 119319
2733.15/2805.53 c #Conflicts: 1079000 | #Constraints: 120319
2733.15/2805.53 c #Conflicts: 1080000 | #Constraints: 121319
2733.15/2805.53 c #Conflicts: 1081000 | #Constraints: 122319
2733.15/2805.53 c #Conflicts: 1082000 | #Constraints: 123319
2733.15/2805.53 c #Conflicts: 1083000 | #Constraints: 124319
2733.15/2805.53 c #Conflicts: 1084000 | #Constraints: 125319
2733.15/2805.53 c #Conflicts: 1085000 | #Constraints: 126319
2733.15/2805.53 c #Conflicts: 1086000 | #Constraints: 127319
2733.15/2805.53 c #Conflicts: 1087000 | #Constraints: 128319
2733.15/2805.53 c #Conflicts: 1088000 | #Constraints: 129319
2733.15/2805.53 c #Conflicts: 1089000 | #Constraints: 130319
2733.15/2805.53 c #Conflicts: 1090000 | #Constraints: 131319
2733.15/2805.53 c #Conflicts: 1091000 | #Constraints: 132319
2959.81/3035.25 c #Conflicts: 1092000 | #Constraints: 133319
2959.81/3035.25 c #Conflicts: 1093000 | #Constraints: 134319
2959.81/3035.25 c #Conflicts: 1094000 | #Constraints: 135319
2959.81/3035.25 c #Conflicts: 1095000 | #Constraints: 136319
2959.81/3035.25 c #Conflicts: 1096000 | #Constraints: 137319
2959.81/3035.25 c #Conflicts: 1097000 | #Constraints: 138319
2959.81/3035.25 c #Conflicts: 1098000 | #Constraints: 139319
2959.81/3035.25 c #Conflicts: 1099000 | #Constraints: 140319
2959.81/3035.25 c #Conflicts: 1100000 | #Constraints: 141319
2959.81/3035.25 c #Conflicts: 1101000 | #Constraints: 142319
2959.81/3035.25 c #Conflicts: 1102000 | #Constraints: 143319
2959.81/3035.25 c #Conflicts: 1103000 | #Constraints: 144319
2959.81/3035.25 c #Conflicts: 1104000 | #Constraints: 145319
2959.81/3035.25 c #Conflicts: 1105000 | #Constraints: 146319
2959.81/3035.25 c #Conflicts: 1106000 | #Constraints: 147319
2959.81/3035.25 c #Conflicts: 1107000 | #Constraints: 148319
2959.81/3035.25 c #Conflicts: 1108000 | #Constraints: 149319
2959.81/3035.25 c INPROCESSING
2959.81/3035.25 c GARBAGE COLLECT
2959.81/3035.25 c #Conflicts: 1109000 | #Constraints: 87887
2959.81/3035.25 c #Conflicts: 1110000 | #Constraints: 88887
2959.81/3035.25 c #Conflicts: 1111000 | #Constraints: 89887
2959.81/3035.25 c #Conflicts: 1112000 | #Constraints: 90887
2959.81/3035.25 c #Conflicts: 1113000 | #Constraints: 91887
2959.81/3035.25 c #Conflicts: 1114000 | #Constraints: 92887
2959.81/3035.25 c #Conflicts: 1115000 | #Constraints: 93887
2959.81/3035.25 c #Conflicts: 1116000 | #Constraints: 94887
2959.81/3035.25 c #Conflicts: 1117000 | #Constraints: 95887
2959.81/3035.25 c #Conflicts: 1118000 | #Constraints: 96887
2959.81/3035.25 c #Conflicts: 1119000 | #Constraints: 97887
2959.81/3035.25 c #Conflicts: 1120000 | #Constraints: 98887
2959.81/3035.25 c #Conflicts: 1121000 | #Constraints: 99887
2959.81/3035.25 c #Conflicts: 1122000 | #Constraints: 100887
2959.81/3035.25 c #Conflicts: 1123000 | #Constraints: 101887
2959.81/3035.25 c #Conflicts: 1124000 | #Constraints: 102887
2959.81/3035.25 c #Conflicts: 1125000 | #Constraints: 103887
2959.81/3035.25 c #Conflicts: 1126000 | #Constraints: 104887
2959.81/3035.25 c #Conflicts: 1127000 | #Constraints: 105887
2959.81/3035.25 c #Conflicts: 1128000 | #Constraints: 106887
2959.81/3035.25 c #Conflicts: 1129000 | #Constraints: 107887
2959.81/3035.25 c #Conflicts: 1130000 | #Constraints: 108887
2959.81/3035.25 c #Conflicts: 1131000 | #Constraints: 109887
2959.81/3035.25 c #Conflicts: 1132000 | #Constraints: 110887
2959.81/3035.25 c #Conflicts: 1133000 | #Constraints: 111887
2959.81/3035.25 c #Conflicts: 1134000 | #Constraints: 112887
2959.81/3035.25 c #Conflicts: 1135000 | #Constraints: 113887
2959.81/3035.25 c #Conflicts: 1136000 | #Constraints: 114887
2959.81/3035.25 c #Conflicts: 1137000 | #Constraints: 115887
2959.81/3035.25 c #Conflicts: 1138000 | #Constraints: 116887
2959.81/3035.25 c INPROCESSING
2959.81/3035.25 c GARBAGE COLLECT
2959.81/3035.25 c #Conflicts: 1139000 | #Constraints: 85063
2959.81/3035.25 c #Conflicts: 1140000 | #Constraints: 86063
2959.81/3035.25 c #Conflicts: 1141000 | #Constraints: 87063
2959.81/3035.25 c #Conflicts: 1142000 | #Constraints: 88063
2959.81/3035.25 c #Conflicts: 1143000 | #Constraints: 89063
2959.81/3035.25 c #Conflicts: 1144000 | #Constraints: 90063
2959.81/3035.25 c #Conflicts: 1145000 | #Constraints: 91063
2959.81/3035.25 c #Conflicts: 1146000 | #Constraints: 92063
2959.81/3035.25 c #Conflicts: 1147000 | #Constraints: 93063
2959.81/3035.25 c #Conflicts: 1148000 | #Constraints: 94063
2959.81/3035.25 c #Conflicts: 1149000 | #Constraints: 95063
2959.81/3035.25 c #Conflicts: 1150000 | #Constraints: 96063
2959.81/3035.25 c #Conflicts: 1151000 | #Constraints: 97063
2959.81/3035.25 c #Conflicts: 1152000 | #Constraints: 98063
2959.81/3035.25 c #Conflicts: 1153000 | #Constraints: 99063
2959.81/3035.25 c #Conflicts: 1154000 | #Constraints: 100063
2959.81/3035.25 c #Conflicts: 1155000 | #Constraints: 101063
2959.81/3035.25 c #Conflicts: 1156000 | #Constraints: 102063
2959.81/3035.25 c #Conflicts: 1157000 | #Constraints: 103063
2959.81/3035.25 c #Conflicts: 1158000 | #Constraints: 104063
2959.81/3035.25 c #Conflicts: 1159000 | #Constraints: 105063
2959.81/3035.25 c #Conflicts: 1160000 | #Constraints: 106063
2959.81/3035.25 c #Conflicts: 1161000 | #Constraints: 107063
2959.81/3035.25 c #Conflicts: 1162000 | #Constraints: 108063
2959.81/3035.25 c #Conflicts: 1163000 | #Constraints: 109063
2959.81/3035.25 c #Conflicts: 1164000 | #Constraints: 110063
2959.81/3035.25 c #Conflicts: 1165000 | #Constraints: 111063
2959.81/3035.25 c #Conflicts: 1166000 | #Constraints: 112063
2959.81/3035.25 c #Conflicts: 1167000 | #Constraints: 113063
2959.81/3035.25 c #Conflicts: 1168000 | #Constraints: 114063
3182.03/3258.86 c #Conflicts: 1169000 | #Constraints: 115063
3182.03/3258.86 c #Conflicts: 1170000 | #Constraints: 116063
3182.03/3258.86 c #Conflicts: 1171000 | #Constraints: 117063
3182.03/3258.86 c #Conflicts: 1172000 | #Constraints: 118063
3182.03/3258.86 c #Conflicts: 1173000 | #Constraints: 119063
3182.03/3258.86 c #Conflicts: 1174000 | #Constraints: 120063
3182.03/3258.86 c #Conflicts: 1175000 | #Constraints: 121063
3182.03/3258.86 c #Conflicts: 1176000 | #Constraints: 122063
3182.03/3258.86 c #Conflicts: 1177000 | #Constraints: 123063
3182.03/3258.86 c #Conflicts: 1178000 | #Constraints: 124063
3182.03/3258.86 c #Conflicts: 1179000 | #Constraints: 125063
3182.03/3258.86 c #Conflicts: 1180000 | #Constraints: 126063
3182.03/3258.86 c #Conflicts: 1181000 | #Constraints: 127063
3182.03/3258.86 c #Conflicts: 1182000 | #Constraints: 128063
3182.03/3258.86 c #Conflicts: 1183000 | #Constraints: 129063
3182.03/3258.86 c #Conflicts: 1184000 | #Constraints: 130063
3182.03/3258.86 c #Conflicts: 1185000 | #Constraints: 131063
3182.03/3258.86 c #Conflicts: 1186000 | #Constraints: 132063
3182.03/3258.86 c #Conflicts: 1187000 | #Constraints: 133063
3182.03/3258.86 c #Conflicts: 1188000 | #Constraints: 134063
3182.03/3258.86 c #Conflicts: 1189000 | #Constraints: 135063
3182.03/3258.86 c #Conflicts: 1190000 | #Constraints: 136063
3182.03/3258.86 c #Conflicts: 1191000 | #Constraints: 137063
3182.03/3258.86 c #Conflicts: 1192000 | #Constraints: 138063
3182.03/3258.86 c #Conflicts: 1193000 | #Constraints: 139063
3182.03/3258.86 c #Conflicts: 1194000 | #Constraints: 140063
3182.03/3258.86 c #Conflicts: 1195000 | #Constraints: 141063
3182.03/3258.86 c #Conflicts: 1196000 | #Constraints: 142063
3182.03/3258.86 c #Conflicts: 1197000 | #Constraints: 143063
3182.03/3258.86 c #Conflicts: 1198000 | #Constraints: 144063
3182.03/3258.86 c #Conflicts: 1199000 | #Constraints: 145063
3182.03/3258.86 c #Conflicts: 1200000 | #Constraints: 146063
3182.03/3258.86 c #Conflicts: 1201000 | #Constraints: 147063
3182.03/3258.86 c #Conflicts: 1202000 | #Constraints: 148063
3182.03/3258.86 c #Conflicts: 1203000 | #Constraints: 149063
3182.03/3258.86 c #Conflicts: 1204000 | #Constraints: 150063
3182.03/3258.86 c #Conflicts: 1205000 | #Constraints: 151063
3182.03/3258.86 c #Conflicts: 1206000 | #Constraints: 152063
3182.03/3258.86 c #Conflicts: 1207000 | #Constraints: 153063
3182.03/3258.86 c #Conflicts: 1208000 | #Constraints: 154063
3182.03/3258.86 c #Conflicts: 1209000 | #Constraints: 155063
3182.03/3258.86 c INPROCESSING
3182.03/3258.86 c GARBAGE COLLECT
3182.03/3258.86 c #Conflicts: 1210000 | #Constraints: 91057
3182.03/3258.86 c #Conflicts: 1211000 | #Constraints: 92057
3182.03/3258.86 c #Conflicts: 1212000 | #Constraints: 93057
3182.03/3258.86 c #Conflicts: 1213000 | #Constraints: 94057
3182.03/3258.86 c #Conflicts: 1214000 | #Constraints: 95057
3182.03/3258.86 c #Conflicts: 1215000 | #Constraints: 96057
3182.03/3258.86 c #Conflicts: 1216000 | #Constraints: 97057
3182.03/3258.86 c #Conflicts: 1217000 | #Constraints: 98057
3182.03/3258.86 c #Conflicts: 1218000 | #Constraints: 99057
3182.03/3258.86 c #Conflicts: 1219000 | #Constraints: 100057
3182.03/3258.86 c #Conflicts: 1220000 | #Constraints: 101057
3182.03/3258.86 c #Conflicts: 1221000 | #Constraints: 102057
3182.03/3258.86 c #Conflicts: 1222000 | #Constraints: 103057
3182.03/3258.86 c #Conflicts: 1223000 | #Constraints: 104057
3182.03/3258.86 c #Conflicts: 1224000 | #Constraints: 105057
3182.03/3258.86 c #Conflicts: 1225000 | #Constraints: 106057
3182.03/3258.86 c #Conflicts: 1226000 | #Constraints: 107057
3182.03/3258.86 c #Conflicts: 1227000 | #Constraints: 108057
3182.03/3258.86 c #Conflicts: 1228000 | #Constraints: 109057
3182.03/3258.86 c #Conflicts: 1229000 | #Constraints: 110057
3182.03/3258.86 c #Conflicts: 1230000 | #Constraints: 111057
3182.03/3258.86 c #Conflicts: 1231000 | #Constraints: 112057
3182.03/3258.86 c #Conflicts: 1232000 | #Constraints: 113057
3182.03/3258.86 c #Conflicts: 1233000 | #Constraints: 114057
3182.03/3258.86 c #Conflicts: 1234000 | #Constraints: 115057
3182.03/3258.86 c #Conflicts: 1235000 | #Constraints: 116057
3182.03/3258.86 c #Conflicts: 1236000 | #Constraints: 117057
3182.03/3258.86 c #Conflicts: 1237000 | #Constraints: 118057
3182.03/3258.86 c #Conflicts: 1238000 | #Constraints: 119057
3182.03/3258.86 c #Conflicts: 1239000 | #Constraints: 120057
3182.03/3258.86 c #Conflicts: 1240000 | #Constraints: 121057
3182.03/3258.86 c INPROCESSING
3182.03/3258.86 c GARBAGE COLLECT
3182.03/3258.86 c #Conflicts: 1241000 | #Constraints: 87778
3182.03/3258.86 c #Conflicts: 1242000 | #Constraints: 88778
3182.03/3258.86 c #Conflicts: 1243000 | #Constraints: 89778
3182.03/3258.86 c #Conflicts: 1244000 | #Constraints: 90778
3182.03/3258.86 c #Conflicts: 1245000 | #Constraints: 91778
3182.03/3258.86 c #Conflicts: 1246000 | #Constraints: 92778
3415.05/3493.54 c #Conflicts: 1247000 | #Constraints: 93778
3415.05/3493.54 c #Conflicts: 1248000 | #Constraints: 94778
3415.05/3493.54 c #Conflicts: 1249000 | #Constraints: 95778
3415.05/3493.54 c #Conflicts: 1250000 | #Constraints: 96778
3415.05/3493.54 c #Conflicts: 1251000 | #Constraints: 97778
3415.05/3493.54 c #Conflicts: 1252000 | #Constraints: 98778
3415.05/3493.54 c #Conflicts: 1253000 | #Constraints: 99778
3415.05/3493.54 c #Conflicts: 1254000 | #Constraints: 100778
3415.05/3493.54 c #Conflicts: 1255000 | #Constraints: 101778
3415.05/3493.54 c #Conflicts: 1256000 | #Constraints: 102778
3415.05/3493.54 c #Conflicts: 1257000 | #Constraints: 103778
3415.05/3493.54 c #Conflicts: 1258000 | #Constraints: 104778
3415.05/3493.54 c #Conflicts: 1259000 | #Constraints: 105778
3415.05/3493.54 c #Conflicts: 1260000 | #Constraints: 106778
3415.05/3493.54 c #Conflicts: 1261000 | #Constraints: 107778
3415.05/3493.54 c #Conflicts: 1262000 | #Constraints: 108778
3415.05/3493.54 c #Conflicts: 1263000 | #Constraints: 109778
3415.05/3493.54 c #Conflicts: 1264000 | #Constraints: 110778
3415.05/3493.54 c #Conflicts: 1265000 | #Constraints: 111778
3415.05/3493.54 c #Conflicts: 1266000 | #Constraints: 112778
3415.05/3493.54 c #Conflicts: 1267000 | #Constraints: 113778
3415.05/3493.54 c #Conflicts: 1268000 | #Constraints: 114778
3415.05/3493.54 c #Conflicts: 1269000 | #Constraints: 115778
3415.05/3493.54 c #Conflicts: 1270000 | #Constraints: 116778
3415.05/3493.54 c #Conflicts: 1271000 | #Constraints: 117778
3415.05/3493.54 c #Conflicts: 1272000 | #Constraints: 118778
3415.05/3493.54 c #Conflicts: 1273000 | #Constraints: 119778
3415.05/3493.54 c #Conflicts: 1274000 | #Constraints: 120778
3415.05/3493.54 c #Conflicts: 1275000 | #Constraints: 121778
3415.05/3493.54 c #Conflicts: 1276000 | #Constraints: 122778
3415.05/3493.54 c #Conflicts: 1277000 | #Constraints: 123778
3415.05/3493.54 c #Conflicts: 1278000 | #Constraints: 124778
3415.05/3493.54 c #Conflicts: 1279000 | #Constraints: 125778
3415.05/3493.54 c #Conflicts: 1280000 | #Constraints: 126778
3415.05/3493.54 c #Conflicts: 1281000 | #Constraints: 127778
3415.05/3493.54 c #Conflicts: 1282000 | #Constraints: 128778
3415.05/3493.54 c #Conflicts: 1283000 | #Constraints: 129778
3415.05/3493.54 c #Conflicts: 1284000 | #Constraints: 130778
3415.05/3493.54 c #Conflicts: 1285000 | #Constraints: 131778
3415.05/3493.54 c #Conflicts: 1286000 | #Constraints: 132778
3415.05/3493.54 c #Conflicts: 1287000 | #Constraints: 133778
3415.05/3493.54 c #Conflicts: 1288000 | #Constraints: 134778
3415.05/3493.54 c #Conflicts: 1289000 | #Constraints: 135778
3415.05/3493.54 c #Conflicts: 1290000 | #Constraints: 136778
3415.05/3493.54 c #Conflicts: 1291000 | #Constraints: 137778
3415.05/3493.54 c #Conflicts: 1292000 | #Constraints: 138778
3415.05/3493.54 c #Conflicts: 1293000 | #Constraints: 139778
3415.05/3493.54 c #Conflicts: 1294000 | #Constraints: 140778
3415.05/3493.54 c #Conflicts: 1295000 | #Constraints: 141778
3415.05/3493.54 c #Conflicts: 1296000 | #Constraints: 142778
3415.05/3493.54 c #Conflicts: 1297000 | #Constraints: 143778
3415.05/3493.54 c #Conflicts: 1298000 | #Constraints: 144778
3415.05/3493.54 c #Conflicts: 1299000 | #Constraints: 145778
3415.05/3493.54 c #Conflicts: 1300000 | #Constraints: 146778
3415.05/3493.54 c #Conflicts: 1301000 | #Constraints: 147778
3415.05/3493.54 c #Conflicts: 1302000 | #Constraints: 148778
3415.05/3493.54 c #Conflicts: 1303000 | #Constraints: 149778
3415.05/3493.54 c #Conflicts: 1304000 | #Constraints: 150778
3415.05/3493.54 c #Conflicts: 1305000 | #Constraints: 151778
3415.05/3493.54 c #Conflicts: 1306000 | #Constraints: 152778
3415.05/3493.54 c #Conflicts: 1307000 | #Constraints: 153778
3415.05/3493.54 c #Conflicts: 1308000 | #Constraints: 154778
3415.05/3493.54 c #Conflicts: 1309000 | #Constraints: 155778
3415.05/3493.54 c #Conflicts: 1310000 | #Constraints: 156778
3415.05/3493.54 c #Conflicts: 1311000 | #Constraints: 157778
3415.05/3493.54 c #Conflicts: 1312000 | #Constraints: 158778
3415.05/3493.54 c #Conflicts: 1313000 | #Constraints: 159778
3415.05/3493.54 c #Conflicts: 1314000 | #Constraints: 160778
3415.05/3493.54 c #Conflicts: 1315000 | #Constraints: 161778
3415.05/3493.54 c INPROCESSING
3415.05/3493.54 c GARBAGE COLLECT
3415.05/3493.54 c #Conflicts: 1316000 | #Constraints: 94334
3415.05/3493.54 c #Conflicts: 1317000 | #Constraints: 95334
3415.05/3493.54 c #Conflicts: 1318000 | #Constraints: 96334
3415.05/3493.54 c #Conflicts: 1319000 | #Constraints: 97335
3415.05/3493.54 c #Conflicts: 1320000 | #Constraints: 98335
3415.05/3493.54 c #Conflicts: 1321000 | #Constraints: 99335
3415.05/3493.54 c #Conflicts: 1322000 | #Constraints: 100335
3415.05/3493.54 c #Conflicts: 1323000 | #Constraints: 101335
3415.05/3493.54 c #Conflicts: 1324000 | #Constraints: 102335
3600.04/3682.50 c #Conflicts: 1325000 | #Constraints: 103335
3600.04/3682.50 c #Conflicts: 1326000 | #Constraints: 104335
3600.04/3682.50 c #Conflicts: 1327000 | #Constraints: 105335
3600.04/3682.50 c #Conflicts: 1328000 | #Constraints: 106335
3600.04/3682.50 c #Conflicts: 1329000 | #Constraints: 107335
3600.04/3682.50 c #Conflicts: 1330000 | #Constraints: 108335
3600.04/3682.50 c #Conflicts: 1331000 | #Constraints: 109335
3600.04/3682.50 c #Conflicts: 1332000 | #Constraints: 110335
3600.04/3682.50 c #Conflicts: 1333000 | #Constraints: 111335
3600.04/3682.50 c #Conflicts: 1334000 | #Constraints: 112335
3600.04/3682.50 c #Conflicts: 1335000 | #Constraints: 113335
3600.04/3682.50 c #Conflicts: 1336000 | #Constraints: 114335
3600.04/3682.50 c #Conflicts: 1337000 | #Constraints: 115335
3600.04/3682.50 c #Conflicts: 1338000 | #Constraints: 116335
3600.04/3682.50 c #Conflicts: 1339000 | #Constraints: 117335
3600.04/3682.50 c #Conflicts: 1340000 | #Constraints: 118335
3600.04/3682.50 c #Conflicts: 1341000 | #Constraints: 119335
3600.04/3682.50 c #Conflicts: 1342000 | #Constraints: 120335
3600.04/3682.50 c #Conflicts: 1343000 | #Constraints: 121335
3600.04/3682.50 c #Conflicts: 1344000 | #Constraints: 122335
3600.04/3682.50 c #Conflicts: 1345000 | #Constraints: 123335
3600.04/3682.50 c #Conflicts: 1346000 | #Constraints: 124335
3600.04/3682.50 c #Conflicts: 1347000 | #Constraints: 125335
3600.04/3682.50 c INPROCESSING
3600.04/3682.50 c GARBAGE COLLECT
3600.04/3682.50 c #Conflicts: 1348000 | #Constraints: 91085
3600.04/3682.50 c #Conflicts: 1349000 | #Constraints: 92085
3600.04/3682.50 c #Conflicts: 1350000 | #Constraints: 93085
3600.04/3682.50 c #Conflicts: 1351000 | #Constraints: 94085
3600.04/3682.50 c #Conflicts: 1352000 | #Constraints: 95085
3600.04/3682.50 c #Conflicts: 1353000 | #Constraints: 96085
3600.04/3682.50 c #Conflicts: 1354000 | #Constraints: 97085
3600.04/3682.50 c #Conflicts: 1355000 | #Constraints: 98085
3600.04/3682.50 c #Conflicts: 1356000 | #Constraints: 99085
3600.04/3682.50 c #Conflicts: 1357000 | #Constraints: 100085
3600.04/3682.50 c #Conflicts: 1358000 | #Constraints: 101085
3600.04/3682.50 c #Conflicts: 1359000 | #Constraints: 102085
3600.04/3682.50 c #Conflicts: 1360000 | #Constraints: 103085
3600.04/3682.50 c #Conflicts: 1361000 | #Constraints: 104085
3600.04/3682.50 c #Conflicts: 1362000 | #Constraints: 105085
3600.04/3682.50 c #Conflicts: 1363000 | #Constraints: 106085
3600.04/3682.50 c #Conflicts: 1364000 | #Constraints: 107085
3600.04/3682.50 c #Conflicts: 1365000 | #Constraints: 108085
3600.04/3682.50 c #Conflicts: 1366000 | #Constraints: 109085
3600.04/3682.50 c #Conflicts: 1367000 | #Constraints: 110085
3600.04/3682.50 c #Conflicts: 1368000 | #Constraints: 111085
3600.04/3682.50 c #Conflicts: 1369000 | #Constraints: 112085
3600.04/3682.50 c #Conflicts: 1370000 | #Constraints: 113085
3600.04/3682.50 c #Conflicts: 1371000 | #Constraints: 114085
3600.04/3682.50 c #Conflicts: 1372000 | #Constraints: 115085
3600.04/3682.50 c #Conflicts: 1373000 | #Constraints: 116085
3600.04/3682.50 c #Conflicts: 1374000 | #Constraints: 117085
3600.04/3682.50 c #Conflicts: 1375000 | #Constraints: 118085
3600.04/3682.50 c #Conflicts: 1376000 | #Constraints: 119085
3600.04/3682.50 c #Conflicts: 1377000 | #Constraints: 120085
3600.04/3682.50 c #Conflicts: 1378000 | #Constraints: 121085
3600.04/3682.50 c #Conflicts: 1379000 | #Constraints: 122085
3600.04/3682.50 c #Conflicts: 1380000 | #Constraints: 123085
3600.04/3682.50 c #Conflicts: 1381000 | #Constraints: 124085
3600.04/3682.50 c #Conflicts: 1382000 | #Constraints: 125085
3600.04/3682.50 c #Conflicts: 1383000 | #Constraints: 126085
3600.04/3682.50 c #Conflicts: 1384000 | #Constraints: 127085
3600.04/3682.50 c #Conflicts: 1385000 | #Constraints: 128085
3600.04/3682.50 c #Conflicts: 1386000 | #Constraints: 129085
3600.04/3682.50 c #Conflicts: 1387000 | #Constraints: 130085
3600.04/3682.50 c #Conflicts: 1388000 | #Constraints: 131085
3600.04/3682.50 c #Conflicts: 1389000 | #Constraints: 132085
3600.04/3682.50 c #Conflicts: 1390000 | #Constraints: 133085
3600.04/3682.50 c #Conflicts: 1391000 | #Constraints: 134085
3600.04/3682.50 c #Conflicts: 1392000 | #Constraints: 135085
3600.04/3682.50 c #Conflicts: 1393000 | #Constraints: 136085
3600.04/3682.50 c #Conflicts: 1394000 | #Constraints: 137085
3600.04/3682.50 c cpu time 3559.85 s
3600.04/3682.50 c deterministic time 254698712388 2.55e+11
3600.04/3682.50 c optimization time 123.74 s
3600.04/3682.50 c total solve time 3435.96 s
3600.04/3682.50 c core-guided solve time 0 s
3600.04/3682.50 c propagation time 1915.79 s
3600.04/3682.50 c conflict analysis time 1118.24 s
3600.04/3682.50 c propagations 1429844802
3600.04/3682.50 c resolve steps 80013297
3600.04/3682.50 c decisions 37742299
3600.04/3682.50 c conflicts 1394918
3600.04/3682.50 c restarts 2683
3600.04/3682.50 c inprocessing phases 49
3600.04/3682.50 c garbage collections 49 ,( 100.00 )
3600.04/3682.50 c input clauses 21980 ,( 99.18 )
3600.04/3682.50 c input cardinalities 182 ,( 0.82 )
3600.04/3682.50 c input general constraints 0 ,( 0.00 )
3600.04/3682.50 c input average constraint length 6.41
3600.04/3682.50 c input average constraint degree 1.96
3600.04/3682.50 c learned clauses 1001658 ,( 71.81 )
3600.04/3682.50 c learned cardinalities 48787 ,( 3.50 )
3600.04/3682.50 c learned general constraints 344480 ,( 24.70 )
3600.04/3682.50 c learned average constraint length 662.53
3600.04/3682.50 c learned average constraint degree 15676038.49
3600.04/3682.50 c watched CF 32, 64, 128, Arb: 81925 , 0 , 0 , 0
3600.04/3682.50 c counting CF 32, 64, 128, Arb: 262555 , 0 , 0 , 0
3600.04/3682.50 c watched constraints 81925 ,( 23.78 )
3600.04/3682.50 c counting constraints 262555 ,( 76.22 )
3600.04/3682.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1276824593 , 805044146 , 2128345782 ,( 88272571 , 2040073211 )
3600.04/3682.50 c gcd simplifications 680
3600.04/3682.50 c detected cardinalities 7837
3600.04/3682.50 c weakened non-implied lits 373805105
3600.04/3682.50 c weakened non-implying lits 188800
3600.04/3682.50 c original variables 21703
3600.04/3682.50 c clausal propagations 663434134
3600.04/3682.50 c cardinality propagations 524258397
3600.04/3682.50 c watched propagations 4326826
3600.04/3682.50 c counting propagations 224079315
3600.04/3682.50 c watch lookups 78878628535
3600.04/3682.50 c watch backjump lookups 0
3600.04/3682.50 c watch checks 31768570571
3600.04/3682.50 c propagation checks 136580021019
3600.04/3682.50 c constraint additions 4534656861
3600.04/3682.50 c trail pops 1468965528
3600.04/3682.50 c formula constraints 22162
3600.04/3682.50 c learned constraints 1394915
3600.04/3682.50 c bound constraints 0
3600.04/3682.50 c core-guided constraints 0
3600.04/3682.50 c encountered formula constraints 49632874
3600.04/3682.50 c encountered learned constraints 31775180
3600.04/3682.50 c encountered bound constraints 0
3600.04/3682.50 c encountered core-guided constraints 0
3600.04/3682.50 c LP total time 515.894 s
3600.04/3682.50 c LP solve time 500.51 s
3600.04/3682.50 c LP constraints added 22570
3600.04/3682.50 c LP constraints removed 130
3600.04/3682.50 c LP pivots internal 144301
3600.04/3682.50 c LP pivots root 138471
3600.04/3682.50 c LP calls 15
3600.04/3682.50 c LP optimalities 6
3600.04/3682.50 c LP no pivot count 0
3600.04/3682.50 c LP infeasibilities 3
3600.04/3682.50 c LP valid Farkas constraints 3
3600.04/3682.50 c LP learned Farkas constraints 3
3600.04/3682.50 c LP basis resets 0
3600.04/3682.50 c LP cycling count 0
3600.04/3682.50 c LP singular count 0
3600.04/3682.50 c LP no primal count 0
3600.04/3682.50 c LP no farkas count 0
3600.04/3682.50 c LP other issue count 0
3600.04/3682.50 c LP Gomory cuts 4
3600.04/3682.50 c LP learned cuts 404
3600.04/3682.50 c LP deleted cuts 130
3600.04/3682.50 c LP encountered Gomory constraints 3
3600.04/3682.50 c LP encountered Farkas constraints 150
3600.04/3682.50 c LP encountered learned Farkas constraints 5
3600.04/3682.50 c CG auxiliary variables introduced 0
3600.04/3682.50 c CG solutions found 0
3600.04/3682.50 c CG cores constructed 0
3600.04/3682.50 c CG core cardinality constraints returned 0
3600.04/3682.50 c CG unit cores 0
3600.04/3682.50 c CG single cores 0
3600.04/3682.50 c CG blocks removed during cardinality reduction 0
3600.04/3682.50 c CG first core best 0
3600.04/3682.50 c CG decision core best 0
3600.04/3682.50 c CG core reduction tie 0
3600.04/3682.50 c CG core degree average 0.00
3600.04/3682.50 c CG core slack average 0.00
3600.04/3682.50 c CG core upper bound improvements 0
3600.04/3682.50 c STR number of successful calls 0
3600.04/3682.50 c STR number of unsuccessful calls 0
3600.04/3682.50 c STR number of inconclusive calls 0
3600.04/3682.50 c STR number of successful attempts 0
3600.04/3682.50 c STR number of unsuccessful attempts 0
3600.04/3682.50 c STR number of inconclusive attempts 0
3600.04/3682.50 c STR average degree increase per successful call inf
3600.04/3682.50 c STR average degree increase per successful attempt inf
3600.04/3682.50 c STR total number of conflicts for successful attempts 0
3600.04/3682.50 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3682.50 c STR total number of conflicts for inconclusive attempts 0
3600.04/3682.50 c STR average number of conflicts per successful attempt inf
3600.04/3682.50 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3682.50 c STR average number of conflicts per inconclusive attempt inf
3600.04/3682.50 c AVG.sumWPerc 67.47
3600.04/3682.50 c bigint constraints 0
3600.04/3682.50 s UNKNOWN
3600.04/3682.50 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 (62811 MiB free)
memory of node 1: 64507 MiB (57374 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507197-1751174068/watcher-4507197-1751174068 -o /tmp/evaluation-result-4507197-1751174068/solver-4507197-1751174068 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22591 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507197-1751174068.opb PROOFDIR/proof-4507197-1751174068
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22999, runsolver pid=22996
[startup+0.100063 s]*
/proc/loadavg: 4.32 4.17 4.12 6/270 23001
/proc/meminfo: memFree=123020124/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33087012 4292608 736 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 736 672 219 0 110 0
[pid=23001] ppid=22999 vsize=46784 memory=34128 CPUtime=0.09 cores=5,7
/proc/23001/stat : 23001 (pbsuma) R 22999 22999 22578 0 -1 4194304 13770 0 0 0 7 2 0 0 20 0 1 0 33087013 47906816 8532 18446744073709551615 4210688 4653049 140729097159760 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 36388864 140729097169123 140729097169458 140729097169458 140729097175023 0
/proc/23001/statm: 11696 8532 1024 108 0 9104 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50976 KiB
Current children cumulated memory: 37072 KiB
[startup+0.205556 s]*
/proc/loadavg: 4.32 4.17 4.12 5/270 23002
/proc/meminfo: memFree=123004192/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=66392 memory=21500 CPUtime=0.06 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 3061 0 0 0 5 1 0 0 20 0 1 0 33087025 67985408 5375 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 16598 5375 2016 1147 0 4025 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 70584 KiB
Current children cumulated memory: 24572 KiB
[startup+0.305543 s]*
/proc/loadavg: 4.32 4.17 4.12 4/269 23002
/proc/meminfo: memFree=123022588/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=104696 memory=53308 CPUtime=0.17 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 8256 0 0 0 14 3 0 0 20 0 1 0 33087025 107208704 13327 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 26174 13327 2272 1147 0 13601 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 108888 KiB
Current children cumulated memory: 56380 KiB
[startup+0.700142 s]
/proc/loadavg: 4.32 4.17 4.12 5/269 23016
/proc/meminfo: memFree=123933304/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=119488 memory=66112 CPUtime=0.55 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 12787 0 0 0 51 4 0 0 20 0 1 0 33087025 122355712 16528 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 29872 16528 2304 1147 0 17299 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 123680 KiB
Current children cumulated memory: 69184 KiB
[startup+1.50013 s]
/proc/loadavg: 4.32 4.17 4.12 4/264 23028
/proc/meminfo: memFree=123941720/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=119488 memory=66112 CPUtime=1.35 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 12787 0 0 0 131 4 0 0 20 0 1 0 33087025 122355712 16528 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 29872 16528 2304 1147 0 17299 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 123680 KiB
Current children cumulated memory: 69184 KiB
[startup+3.10528 s]
/proc/loadavg: 4.29 4.17 4.11 4/264 23028
/proc/meminfo: memFree=123917316/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=122644 memory=69824 CPUtime=2.95 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 13709 0 0 0 290 5 0 0 20 0 1 0 33087025 125587456 17456 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 30661 17456 2304 1147 0 18088 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 126836 KiB
Current children cumulated memory: 72896 KiB
[startup+6.30021 s]
/proc/loadavg: 4.29 4.17 4.11 3/264 23028
/proc/meminfo: memFree=123908964/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=126992 memory=77528 CPUtime=6.14 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 15054 0 0 0 599 15 0 0 20 0 1 0 33087025 130039808 19382 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 31748 19382 2368 1147 0 19175 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 131184 KiB
Current children cumulated memory: 80600 KiB
[startup+12.7002 s]
/proc/loadavg: 4.33 4.18 4.12 5/270 23050
/proc/meminfo: memFree=129707460/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=136560 memory=84696 CPUtime=12.52 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 16869 0 0 0 1218 34 0 0 20 0 1 0 33087025 139837440 21174 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 34140 21174 2368 1147 0 21567 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 140752 KiB
Current children cumulated memory: 87768 KiB
[startup+25.5002 s]
/proc/loadavg: 4.28 4.17 4.12 5/270 23050
/proc/meminfo: memFree=129490932/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=153824 memory=104416 CPUtime=25.29 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 20798 0 0 0 2457 72 0 0 20 0 1 0 33087025 157515776 26104 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 38456 26104 2368 1147 0 25883 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 158016 KiB
Current children cumulated memory: 107488 KiB
[startup+51.1057 s]
/proc/loadavg: 4.18 4.16 4.11 5/269 23050
/proc/meminfo: memFree=129158148/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=175780 memory=125332 CPUtime=50.81 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 25059 0 0 0 4950 131 0 0 20 0 1 0 33087025 179998720 31333 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 43945 31333 2368 1147 0 31372 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 179972 KiB
Current children cumulated memory: 128404 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.16 4.11 3/270 23053
/proc/meminfo: memFree=128618948/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=244444 memory=182620 CPUtime=101.71 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 35384 0 0 0 9935 236 0 0 20 0 1 0 33087025 250310656 45655 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 61111 45655 2368 1147 0 48538 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 248636 KiB
Current children cumulated memory: 185692 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/271 23058
/proc/meminfo: memFree=128079552/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=292460 memory=212696 CPUtime=161.35 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 39851 0 0 0 15793 342 0 0 20 0 1 0 33087025 299479040 53174 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 73115 53174 2368 1147 0 60542 0
Current children cumulated CPU time: 161.45 s
Current children cumulated vsize: 296652 KiB
Current children cumulated memory: 215768 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.11 4.10 5/271 23060
/proc/meminfo: memFree=127516728/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=304120 memory=248096 CPUtime=219.05 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 43060 0 0 0 21464 441 0 0 20 0 1 0 33087025 311418880 62024 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 76030 62024 2368 1147 0 63457 0
################
# More data... #
################
/proc/23002/statm: 244705 220625 2368 1147 0 232132 0
Current children cumulated CPU time: 3086.16 s
Current children cumulated vsize: 983012 KiB
Current children cumulated memory: 885572 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/273 23224
/proc/meminfo: memFree=106307440/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=978820 memory=882756 CPUtime=3145.8 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 138410 0 0 0 311044 3536 0 0 20 0 1 0 33087025 1002311680 220689 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 244705 220689 2368 1147 0 232132 0
Current children cumulated CPU time: 3145.9 s
Current children cumulated vsize: 983012 KiB
Current children cumulated memory: 885828 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 23226
/proc/meminfo: memFree=105873992/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=978820 memory=882756 CPUtime=3205.33 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 138410 0 0 0 316915 3618 0 0 20 0 1 0 33087025 1002311680 220689 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 244705 220689 2368 1147 0 232132 0
Current children cumulated CPU time: 3205.43 s
Current children cumulated vsize: 983012 KiB
Current children cumulated memory: 885828 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 23228
/proc/meminfo: memFree=105541188/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=978820 memory=882756 CPUtime=3264.86 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 138411 0 0 0 322803 3683 0 0 20 0 1 0 33087025 1002311680 220689 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 244705 220689 2368 1147 0 232132 0
Current children cumulated CPU time: 3264.96 s
Current children cumulated vsize: 983012 KiB
Current children cumulated memory: 885828 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 23231
/proc/meminfo: memFree=105135236/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=978820 memory=883012 CPUtime=3324.23 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 138463 0 0 0 328681 3742 0 0 20 0 1 0 33087025 1002311680 220753 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 244705 220753 2368 1147 0 232132 0
Current children cumulated CPU time: 3324.33 s
Current children cumulated vsize: 983012 KiB
Current children cumulated memory: 886084 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 23233
/proc/meminfo: memFree=104858812/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=982884 memory=886084 CPUtime=3383.82 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 139231 0 0 0 334590 3792 0 0 20 0 1 0 33087025 1006473216 221521 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 245721 221521 2368 1147 0 233148 0
Current children cumulated CPU time: 3383.92 s
Current children cumulated vsize: 987076 KiB
Current children cumulated memory: 889156 KiB
[startup+3522.3 s]
/proc/loadavg: 4.34 4.16 4.11 5/271 23238
/proc/meminfo: memFree=104466192/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=988144 memory=890692 CPUtime=3442.97 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 140436 0 0 0 340440 3857 0 0 20 0 1 0 33087025 1011859456 222673 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 247036 222673 2368 1147 0 234463 0
Current children cumulated CPU time: 3443.07 s
Current children cumulated vsize: 992336 KiB
Current children cumulated memory: 893764 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/271 23243
/proc/meminfo: memFree=104073436/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=988144 memory=890820 CPUtime=3500.73 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 140499 0 0 0 346175 3898 0 0 20 0 1 0 33087025 1011859456 222705 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 247036 222705 2368 1147 0 234463 0
Current children cumulated CPU time: 3500.83 s
Current children cumulated vsize: 992336 KiB
Current children cumulated memory: 893892 KiB
[startup+3642.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/271 23245
/proc/meminfo: memFree=103668672/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=988144 memory=890820 CPUtime=3559.86 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 140501 0 0 0 352017 3969 0 0 20 0 1 0 33087025 1011859456 222705 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 247036 222705 2368 1147 0 234463 0
Current children cumulated CPU time: 3559.96 s
Current children cumulated vsize: 992336 KiB
Current children cumulated memory: 893892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3682.5 s]
/proc/loadavg: 4.08 4.12 4.10 5/271 23386
/proc/meminfo: memFree=123347004/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=989184 memory=891716 CPUtime=3599.94 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 140721 0 0 0 355985 4009 0 0 20 0 1 0 33087025 1012924416 222929 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 247296 222929 2368 1147 0 234723 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 993376 KiB
Current children cumulated memory: 894788 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3682.5 s]
# the end of solver process 22999 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.081731 s, system=0.029475 s
Sleeping 2 seconds
[startup+3682.56 s]
# the end of solver process 23002 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3559.95 s, system=40.135 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+3682.5 s]
/proc/loadavg: 4.08 4.12 4.10 5/271 23386
/proc/meminfo: memFree=123347004/131250000 swapFree=33010684/33010684
[pid=22999] ppid=22996 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/22999/stat : 22999 (run-dec-break-l) S 22996 22999 22578 0 -1 4194304 241 13913 0 0 0 0 8 2 20 0 1 0 33087012 4292608 768 18446744073709551615 94876552790016 94876553684549 140735464257632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94876553923600 94876553971344 94876583579648 140735464266005 140735464266206 140735464266206 140735464271808 0
/proc/22999/statm: 1048 768 704 219 0 110 0
[pid=23002] ppid=22999 vsize=989184 memory=891716 CPUtime=3599.94 cores=5,7
/proc/23002/stat : 23002 (roundingsat) R 22999 22999 22578 0 -1 4194304 140721 0 0 0 355985 4009 0 0 20 0 1 0 33087025 1012924416 222929 18446744073709551615 4227072 8923433 140736430507376 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19394560 140736430512372 140736430512680 140736430512680 140736430518250 0
/proc/23002/statm: 247296 222929 2368 1147 0 234723 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 993376 KiB
Current children cumulated memory: 894788 KiB
Child status: 2
Real time (s): 3682.56
CPU time (s): 3600.09
CPU user time (s): 3559.95
CPU system time (s): 40.135
CPU usage (%): 97.7606
Max. virtual memory (cumulated for all children) (KiB): 993376
Max. memory (cumulated for all children) (KiB): 894788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.95
system time used= 40.135
maximum resident set size= 891972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154894
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11450152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1039
involuntary context switches= 4555
# summary of solver processes directly reported to runsolver:
# pid: 22999,23002
# total CPU time (s): 3600.09
# total CPU user time (s): 3559.95
# total CPU system time (s): 40.135
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75443 second user time and 16.0449 second system time
The end
Begin job on nodeC013 at 2025-06-29 07:14:28
IDJOB=4507197
IDBENCH=158329
IDSOLVER=3358
FILE ID=nodeC013/4507197-1751174068
RUNJOBID= nodeC013-1751170426-22591
SLURM_JOB_ID= 9587527
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K182.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507197-1751174068/watcher-4507197-1751174068 -o /tmp/evaluation-result-4507197-1751174068/solver-4507197-1751174068 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22591 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507197-1751174068.opb PROOFDIR/proof-4507197-1751174068
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a76bcc507230b7348cd315b0b6909f20
RANDOM SEED=2091039403
nodeC013 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.772
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.67
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.834
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.67
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 : 3703.909
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.67
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.353
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.67
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.828
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.67
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 : 3605.755
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.67
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.171
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.67
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 : 3600.290
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 123074212 kB
MemAvailable: 128660420 kB
Buffers: 3280 kB
Cached: 6385188 kB
SwapCached: 0 kB
Active: 1423180 kB
Inactive: 6176300 kB
Active(anon): 1224360 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 6176300 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 148624 kB
Writeback: 0 kB
AnonPages: 1214148 kB
Mapped: 111680 kB
Shmem: 13284 kB
KReclaimable: 100256 kB
Slab: 189040 kB
SReclaimable: 100256 kB
SUnreclaim: 88784 kB
KernelStack: 4304 kB
PageTables: 5556 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1731360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 292864 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC013 at 2025-06-29 08:15:50