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-4507124-1751176317.opb'
0.00/0.03 c read 1.62MB (22.13ms)
0.00/0.03 c [cnf: #variables 23324 #clauses 23718 #duplicates 0 #arr 152654]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 3528] (28.64ms)
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.48ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 117014 #edges 445252]
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] (25.56ms)
0.00/0.09 c
0.00/0.09 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.09 c (0.09ms)
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.20ms)
0.00/0.09 c
0.00/0.09 c generation finished
0.00/0.09 c [sbp: #constraints 140 #add_vars 45]
0.00/0.09 c
0.00/0.09 c write result to 'HOME/instance-4507124-1751176317.opb.pre'
0.00/0.09 c wrote 1.65MB (3.79ms)
0.00/0.09 c ------------------------------------------------------------------
0.00/0.09 c 28.64ms 32.82% approx_orbits
0.00/0.09 c 25.56ms 29.29% detect_generic
0.00/0.09 c 22.13ms 25.36% parse
0.00/0.09 c 4.48ms 5.13% detect_special
0.00/0.09 c 3.79ms 4.34% output
0.00/0.09 c 1.49ms 1.70% other
0.00/0.09 c 0.89ms 1.02% finalize_order
0.00/0.09 c 0.20ms 0.23% break_generic
0.00/0.09 c 0.09ms 0.10% optimize_gens
0.00/0.09 c ───────────────────────────────────────────────
0.00/0.09 c 87.27ms 100% total
0.00/0.09 c ------------------------------------------------------------------
0.08/0.11 c RoundingSat 2
0.08/0.11 c branch pb25
0.08/0.11 c commit 63f22ad
0.17/0.24 c #variables 23369 #constraints 23856
123.48/123.94 c #Conflicts: 1000 | #Constraints: 24855
123.48/123.94 c #Conflicts: 2000 | #Constraints: 25855
123.48/123.94 c INPROCESSING
123.48/123.94 c GARBAGE COLLECT
123.48/123.94 c #Conflicts: 3000 | #Constraints: 25121
123.48/123.94 c #Conflicts: 4000 | #Constraints: 26121
123.48/123.94 c INPROCESSING
123.48/123.94 c GARBAGE COLLECT
123.48/123.94 c #Conflicts: 5000 | #Constraints: 25669
123.48/123.94 c #Conflicts: 6000 | #Constraints: 26669
123.48/123.94 c INPROCESSING
123.48/123.94 c GARBAGE COLLECT
123.48/123.94 c #Conflicts: 7000 | #Constraints: 25749
123.48/123.94 c #Conflicts: 8000 | #Constraints: 26749
123.48/123.94 c #Conflicts: 9000 | #Constraints: 27749
123.48/123.94 c #Conflicts: 10000 | #Constraints: 28749
123.48/123.94 c #Conflicts: 11000 | #Constraints: 29749
123.48/123.94 c #Conflicts: 12000 | #Constraints: 30749
123.48/123.94 c INPROCESSING
123.48/123.94 c GARBAGE COLLECT
123.48/123.94 c #Conflicts: 13000 | #Constraints: 27827
123.48/123.94 c #Conflicts: 14000 | #Constraints: 28827
123.48/123.94 c #Conflicts: 15000 | #Constraints: 29827
123.48/123.94 c #Conflicts: 16000 | #Constraints: 30827
123.48/123.94 c INPROCESSING
123.48/123.94 c GARBAGE COLLECT
123.48/123.94 c #Conflicts: 17000 | #Constraints: 28491
123.48/123.94 c #Conflicts: 18000 | #Constraints: 29491
123.48/123.94 c #Conflicts: 19000 | #Constraints: 30491
123.48/123.94 c #Conflicts: 20000 | #Constraints: 31491
123.48/123.94 c #Conflicts: 21000 | #Constraints: 32491
123.48/123.94 c #Conflicts: 22000 | #Constraints: 33491
123.48/123.94 c #Conflicts: 23000 | #Constraints: 34491
123.48/123.94 c #Conflicts: 24000 | #Constraints: 35491
123.48/123.94 c #Conflicts: 25000 | #Constraints: 36491
123.48/123.94 c INPROCESSING
123.48/123.94 c GARBAGE COLLECT
123.48/123.94 c #Conflicts: 26000 | #Constraints: 30878
123.48/123.94 c #Conflicts: 27000 | #Constraints: 31878
123.48/123.94 c #Conflicts: 28000 | #Constraints: 32878
123.48/123.94 c #Conflicts: 29000 | #Constraints: 33878
123.48/123.94 c #Conflicts: 30000 | #Constraints: 34878
123.48/123.94 c #Conflicts: 31000 | #Constraints: 35878
123.48/123.94 c #Conflicts: 32000 | #Constraints: 36878
123.48/123.94 c #Conflicts: 33000 | #Constraints: 37878
123.48/123.94 c #Conflicts: 34000 | #Constraints: 38878
123.48/123.94 c #Conflicts: 35000 | #Constraints: 39878
123.48/123.94 c #Conflicts: 36000 | #Constraints: 40878
123.48/123.94 c #Conflicts: 37000 | #Constraints: 41878
123.48/123.94 c INPROCESSING
123.48/123.94 c GARBAGE COLLECT
123.48/123.94 c #Conflicts: 38000 | #Constraints: 34089
123.48/123.94 c #Conflicts: 39000 | #Constraints: 35089
123.48/123.94 c #Conflicts: 40000 | #Constraints: 36089
123.48/123.94 c #Conflicts: 41000 | #Constraints: 37089
123.48/123.94 c #Conflicts: 42000 | #Constraints: 38089
123.48/123.94 c #Conflicts: 43000 | #Constraints: 39089
123.48/123.94 c INPROCESSING
123.48/123.94 c GARBAGE COLLECT
123.48/123.94 c #Conflicts: 44000 | #Constraints: 34408
123.48/123.94 c #Conflicts: 45000 | #Constraints: 35408
123.48/123.94 c #Conflicts: 46000 | #Constraints: 36408
123.48/123.94 c #Conflicts: 47000 | #Constraints: 37408
123.48/123.94 c #Conflicts: 48000 | #Constraints: 38408
123.48/123.94 c #Conflicts: 49000 | #Constraints: 39408
123.48/123.94 c #Conflicts: 50000 | #Constraints: 40408
123.48/123.94 c #Conflicts: 51000 | #Constraints: 41408
123.48/123.94 c #Conflicts: 52000 | #Constraints: 42408
123.48/123.94 c #Conflicts: 53000 | #Constraints: 43408
123.48/123.94 c #Conflicts: 54000 | #Constraints: 44408
123.48/123.94 c #Conflicts: 55000 | #Constraints: 45408
123.48/123.94 c #Conflicts: 56000 | #Constraints: 46408
123.48/123.94 c #Conflicts: 57000 | #Constraints: 47408
123.48/123.94 c INPROCESSING
123.48/123.94 c GARBAGE COLLECT
123.48/123.94 c #Conflicts: 58000 | #Constraints: 36686
123.48/123.94 c #Conflicts: 59000 | #Constraints: 37686
123.48/123.94 c #Conflicts: 60000 | #Constraints: 38686
123.48/123.94 c #Conflicts: 61000 | #Constraints: 39686
123.48/123.94 c #Conflicts: 62000 | #Constraints: 40686
123.48/123.94 c #Conflicts: 63000 | #Constraints: 41686
123.48/123.94 c #Conflicts: 64000 | #Constraints: 42686
123.48/123.94 c #Conflicts: 65000 | #Constraints: 43686
123.48/123.94 c #Conflicts: 66000 | #Constraints: 44686
123.48/123.94 c #Conflicts: 67000 | #Constraints: 45686
123.48/123.94 c #Conflicts: 68000 | #Constraints: 46686
123.48/123.94 c #Conflicts: 69000 | #Constraints: 47686
123.48/123.94 c #Conflicts: 70000 | #Constraints: 48686
123.48/123.94 c #Conflicts: 71000 | #Constraints: 49686
123.48/123.94 c #Conflicts: 72000 | #Constraints: 50686
123.48/123.94 c #Conflicts: 73000 | #Constraints: 51686
123.48/123.94 c #Conflicts: 74000 | #Constraints: 52686
257.46/258.32 c INPROCESSING
257.46/258.32 c GARBAGE COLLECT
257.46/258.32 c #Conflicts: 75000 | #Constraints: 39759
257.46/258.32 c #Conflicts: 76000 | #Constraints: 40759
257.46/258.32 c #Conflicts: 77000 | #Constraints: 41759
257.46/258.32 c #Conflicts: 78000 | #Constraints: 42759
257.46/258.32 c #Conflicts: 79000 | #Constraints: 43759
257.46/258.32 c #Conflicts: 80000 | #Constraints: 44759
257.46/258.32 c #Conflicts: 81000 | #Constraints: 45759
257.46/258.32 c #Conflicts: 82000 | #Constraints: 46759
257.46/258.32 c #Conflicts: 83000 | #Constraints: 47759
257.46/258.32 c #Conflicts: 84000 | #Constraints: 48759
257.46/258.32 c #Conflicts: 85000 | #Constraints: 49759
257.46/258.32 c #Conflicts: 86000 | #Constraints: 50759
257.46/258.32 c #Conflicts: 87000 | #Constraints: 51759
257.46/258.32 c #Conflicts: 88000 | #Constraints: 52759
257.46/258.32 c #Conflicts: 89000 | #Constraints: 53759
257.46/258.32 c #Conflicts: 90000 | #Constraints: 54759
257.46/258.32 c #Conflicts: 91000 | #Constraints: 55759
257.46/258.32 c #Conflicts: 92000 | #Constraints: 56759
257.46/258.32 c INPROCESSING
257.46/258.32 c GARBAGE COLLECT
257.46/258.32 c #Conflicts: 93000 | #Constraints: 41727
257.46/258.32 c #Conflicts: 94000 | #Constraints: 42727
257.46/258.32 c #Conflicts: 95000 | #Constraints: 43727
257.46/258.32 c #Conflicts: 96000 | #Constraints: 44727
257.46/258.32 c #Conflicts: 97000 | #Constraints: 45727
257.46/258.32 c #Conflicts: 98000 | #Constraints: 46727
257.46/258.32 c #Conflicts: 99000 | #Constraints: 47727
257.46/258.32 c #Conflicts: 100000 | #Constraints: 48727
257.46/258.32 c #Conflicts: 101000 | #Constraints: 49728
257.46/258.32 c #Conflicts: 102000 | #Constraints: 50728
257.46/258.32 c #Conflicts: 103000 | #Constraints: 51728
257.46/258.32 c #Conflicts: 104000 | #Constraints: 52728
257.46/258.32 c #Conflicts: 105000 | #Constraints: 53728
257.46/258.32 c #Conflicts: 106000 | #Constraints: 54728
257.46/258.32 c #Conflicts: 107000 | #Constraints: 55728
257.46/258.32 c #Conflicts: 108000 | #Constraints: 56728
257.46/258.32 c #Conflicts: 109000 | #Constraints: 57728
257.46/258.32 c #Conflicts: 110000 | #Constraints: 58728
257.46/258.32 c #Conflicts: 111000 | #Constraints: 59728
257.46/258.32 c #Conflicts: 112000 | #Constraints: 60728
257.46/258.32 c INPROCESSING
257.46/258.32 c GARBAGE COLLECT
257.46/258.32 c #Conflicts: 113000 | #Constraints: 43510
257.46/258.32 c #Conflicts: 114000 | #Constraints: 44510
257.46/258.32 c #Conflicts: 115000 | #Constraints: 45510
257.46/258.32 c #Conflicts: 116000 | #Constraints: 46510
257.46/258.32 c #Conflicts: 117000 | #Constraints: 47510
257.46/258.32 c #Conflicts: 118000 | #Constraints: 48510
257.46/258.32 c #Conflicts: 119000 | #Constraints: 49510
257.46/258.32 c #Conflicts: 120000 | #Constraints: 50510
257.46/258.32 c #Conflicts: 121000 | #Constraints: 51510
257.46/258.32 c #Conflicts: 122000 | #Constraints: 52510
257.46/258.32 c #Conflicts: 123000 | #Constraints: 53510
257.46/258.32 c #Conflicts: 124000 | #Constraints: 54510
257.46/258.32 c #Conflicts: 125000 | #Constraints: 55510
257.46/258.32 c #Conflicts: 126000 | #Constraints: 56510
257.46/258.32 c #Conflicts: 127000 | #Constraints: 57510
257.46/258.32 c #Conflicts: 128000 | #Constraints: 58510
257.46/258.32 c #Conflicts: 129000 | #Constraints: 59510
257.46/258.32 c #Conflicts: 130000 | #Constraints: 60510
257.46/258.32 c #Conflicts: 131000 | #Constraints: 61510
257.46/258.32 c #Conflicts: 132000 | #Constraints: 62510
257.46/258.32 c #Conflicts: 133000 | #Constraints: 63510
257.46/258.32 c #Conflicts: 134000 | #Constraints: 64510
257.46/258.32 c #Conflicts: 135000 | #Constraints: 65510
257.46/258.32 c INPROCESSING
257.46/258.32 c GARBAGE COLLECT
257.46/258.32 c #Conflicts: 136000 | #Constraints: 46342
257.46/258.32 c #Conflicts: 137000 | #Constraints: 47342
257.46/258.32 c #Conflicts: 138000 | #Constraints: 48342
257.46/258.32 c #Conflicts: 139000 | #Constraints: 49342
257.46/258.32 c #Conflicts: 140000 | #Constraints: 50342
257.46/258.32 c #Conflicts: 141000 | #Constraints: 51342
257.46/258.32 c #Conflicts: 142000 | #Constraints: 52342
257.46/258.32 c #Conflicts: 143000 | #Constraints: 53342
257.46/258.32 c #Conflicts: 144000 | #Constraints: 54342
257.46/258.32 c #Conflicts: 145000 | #Constraints: 55342
257.46/258.32 c #Conflicts: 146000 | #Constraints: 56342
257.46/258.32 c #Conflicts: 147000 | #Constraints: 57342
257.46/258.32 c #Conflicts: 148000 | #Constraints: 58342
257.46/258.32 c #Conflicts: 149000 | #Constraints: 59342
257.46/258.32 c #Conflicts: 150000 | #Constraints: 60342
436.49/437.98 c #Conflicts: 151000 | #Constraints: 61342
436.49/437.98 c #Conflicts: 152000 | #Constraints: 62342
436.49/437.98 c #Conflicts: 153000 | #Constraints: 63342
436.49/437.98 c #Conflicts: 154000 | #Constraints: 64342
436.49/437.98 c #Conflicts: 155000 | #Constraints: 65342
436.49/437.98 c #Conflicts: 156000 | #Constraints: 66342
436.49/437.98 c #Conflicts: 157000 | #Constraints: 67342
436.49/437.98 c #Conflicts: 158000 | #Constraints: 68342
436.49/437.98 c #Conflicts: 159000 | #Constraints: 69342
436.49/437.98 c INPROCESSING
436.49/437.98 c GARBAGE COLLECT
436.49/437.98 c #Conflicts: 160000 | #Constraints: 48059
436.49/437.98 c #Conflicts: 161000 | #Constraints: 49059
436.49/437.98 c #Conflicts: 162000 | #Constraints: 50059
436.49/437.98 c #Conflicts: 163000 | #Constraints: 51059
436.49/437.98 c #Conflicts: 164000 | #Constraints: 52059
436.49/437.98 c #Conflicts: 165000 | #Constraints: 53059
436.49/437.98 c #Conflicts: 166000 | #Constraints: 54059
436.49/437.98 c #Conflicts: 167000 | #Constraints: 55059
436.49/437.98 c #Conflicts: 168000 | #Constraints: 56059
436.49/437.98 c #Conflicts: 169000 | #Constraints: 57059
436.49/437.98 c #Conflicts: 170000 | #Constraints: 58059
436.49/437.98 c #Conflicts: 171000 | #Constraints: 59059
436.49/437.98 c #Conflicts: 172000 | #Constraints: 60059
436.49/437.98 c #Conflicts: 173000 | #Constraints: 61059
436.49/437.98 c #Conflicts: 174000 | #Constraints: 62059
436.49/437.98 c #Conflicts: 175000 | #Constraints: 63059
436.49/437.98 c #Conflicts: 176000 | #Constraints: 64059
436.49/437.98 c #Conflicts: 177000 | #Constraints: 65059
436.49/437.98 c #Conflicts: 178000 | #Constraints: 66059
436.49/437.98 c #Conflicts: 179000 | #Constraints: 67059
436.49/437.98 c #Conflicts: 180000 | #Constraints: 68059
436.49/437.98 c #Conflicts: 181000 | #Constraints: 69059
436.49/437.98 c #Conflicts: 182000 | #Constraints: 70059
436.49/437.98 c #Conflicts: 183000 | #Constraints: 71059
436.49/437.98 c #Conflicts: 184000 | #Constraints: 72059
436.49/437.98 c #Conflicts: 185000 | #Constraints: 73059
436.49/437.98 c #Conflicts: 186000 | #Constraints: 74059
436.49/437.98 c INPROCESSING
436.49/437.98 c GARBAGE COLLECT
436.49/437.98 c #Conflicts: 187000 | #Constraints: 50961
436.49/437.98 c #Conflicts: 188000 | #Constraints: 51961
436.49/437.98 c #Conflicts: 189000 | #Constraints: 52961
436.49/437.98 c #Conflicts: 190000 | #Constraints: 53961
436.49/437.98 c #Conflicts: 191000 | #Constraints: 54961
436.49/437.98 c #Conflicts: 192000 | #Constraints: 55961
436.49/437.98 c #Conflicts: 193000 | #Constraints: 56961
436.49/437.98 c #Conflicts: 194000 | #Constraints: 57961
436.49/437.98 c #Conflicts: 195000 | #Constraints: 58961
436.49/437.98 c #Conflicts: 196000 | #Constraints: 59961
436.49/437.98 c #Conflicts: 197000 | #Constraints: 60961
436.49/437.98 c #Conflicts: 198000 | #Constraints: 61961
436.49/437.98 c #Conflicts: 199000 | #Constraints: 62961
436.49/437.98 c #Conflicts: 200000 | #Constraints: 63961
436.49/437.98 c #Conflicts: 201000 | #Constraints: 64961
436.49/437.98 c #Conflicts: 202000 | #Constraints: 65961
436.49/437.98 c #Conflicts: 203000 | #Constraints: 66961
436.49/437.98 c #Conflicts: 204000 | #Constraints: 67961
436.49/437.98 c #Conflicts: 205000 | #Constraints: 68961
436.49/437.98 c #Conflicts: 206000 | #Constraints: 69961
436.49/437.98 c #Conflicts: 207000 | #Constraints: 70961
436.49/437.98 c #Conflicts: 208000 | #Constraints: 71961
436.49/437.98 c #Conflicts: 209000 | #Constraints: 72961
436.49/437.98 c #Conflicts: 210000 | #Constraints: 73961
436.49/437.98 c #Conflicts: 211000 | #Constraints: 74961
436.49/437.98 c #Conflicts: 212000 | #Constraints: 75961
436.49/437.98 c #Conflicts: 213000 | #Constraints: 76961
436.49/437.98 c #Conflicts: 214000 | #Constraints: 77961
436.49/437.98 c INPROCESSING
436.49/437.98 c GARBAGE COLLECT
436.49/437.98 c #Conflicts: 215000 | #Constraints: 52558
436.49/437.98 c #Conflicts: 216000 | #Constraints: 53558
436.49/437.98 c #Conflicts: 217000 | #Constraints: 54558
436.49/437.98 c #Conflicts: 218000 | #Constraints: 55558
436.49/437.98 c #Conflicts: 219000 | #Constraints: 56558
436.49/437.98 c #Conflicts: 220000 | #Constraints: 57558
436.49/437.98 c #Conflicts: 221000 | #Constraints: 58558
436.49/437.98 c #Conflicts: 222000 | #Constraints: 59558
436.49/437.98 c #Conflicts: 223000 | #Constraints: 60558
436.49/437.98 c #Conflicts: 224000 | #Constraints: 61558
436.49/437.98 c #Conflicts: 225000 | #Constraints: 62558
436.49/437.98 c #Conflicts: 226000 | #Constraints: 63558
436.49/437.98 c #Conflicts: 227000 | #Constraints: 64558
609.35/611.37 c #Conflicts: 228000 | #Constraints: 65558
609.35/611.37 c #Conflicts: 229000 | #Constraints: 66558
609.35/611.37 c #Conflicts: 230000 | #Constraints: 67558
609.35/611.37 c #Conflicts: 231000 | #Constraints: 68558
609.35/611.37 c #Conflicts: 232000 | #Constraints: 69558
609.35/611.37 c #Conflicts: 233000 | #Constraints: 70558
609.35/611.37 c #Conflicts: 234000 | #Constraints: 71558
609.35/611.37 c #Conflicts: 235000 | #Constraints: 72558
609.35/611.37 c #Conflicts: 236000 | #Constraints: 73558
609.35/611.37 c #Conflicts: 237000 | #Constraints: 74558
609.35/611.37 c #Conflicts: 238000 | #Constraints: 75558
609.35/611.37 c #Conflicts: 239000 | #Constraints: 76558
609.35/611.37 c #Conflicts: 240000 | #Constraints: 77558
609.35/611.37 c #Conflicts: 241000 | #Constraints: 78558
609.35/611.37 c #Conflicts: 242000 | #Constraints: 79558
609.35/611.37 c #Conflicts: 243000 | #Constraints: 80558
609.35/611.37 c #Conflicts: 244000 | #Constraints: 81558
609.35/611.37 c INPROCESSING
609.35/611.37 c GARBAGE COLLECT
609.35/611.37 c #Conflicts: 245000 | #Constraints: 54407
609.35/611.37 c #Conflicts: 246000 | #Constraints: 55407
609.35/611.37 c #Conflicts: 247000 | #Constraints: 56407
609.35/611.37 c #Conflicts: 248000 | #Constraints: 57407
609.35/611.37 c #Conflicts: 249000 | #Constraints: 58407
609.35/611.37 c #Conflicts: 250000 | #Constraints: 59407
609.35/611.37 c #Conflicts: 251000 | #Constraints: 60407
609.35/611.37 c #Conflicts: 252000 | #Constraints: 61407
609.35/611.37 c #Conflicts: 253000 | #Constraints: 62407
609.35/611.37 c #Conflicts: 254000 | #Constraints: 63407
609.35/611.37 c #Conflicts: 255000 | #Constraints: 64407
609.35/611.37 c #Conflicts: 256000 | #Constraints: 65407
609.35/611.37 c #Conflicts: 257000 | #Constraints: 66407
609.35/611.37 c #Conflicts: 258000 | #Constraints: 67407
609.35/611.37 c #Conflicts: 259000 | #Constraints: 68407
609.35/611.37 c #Conflicts: 260000 | #Constraints: 69407
609.35/611.37 c #Conflicts: 261000 | #Constraints: 70407
609.35/611.37 c #Conflicts: 262000 | #Constraints: 71407
609.35/611.37 c #Conflicts: 263000 | #Constraints: 72407
609.35/611.37 c #Conflicts: 264000 | #Constraints: 73407
609.35/611.37 c #Conflicts: 265000 | #Constraints: 74407
609.35/611.37 c #Conflicts: 266000 | #Constraints: 75407
609.35/611.37 c #Conflicts: 267000 | #Constraints: 76407
609.35/611.37 c #Conflicts: 268000 | #Constraints: 77407
609.35/611.37 c #Conflicts: 269000 | #Constraints: 78407
609.35/611.37 c #Conflicts: 270000 | #Constraints: 79407
609.35/611.37 c #Conflicts: 271000 | #Constraints: 80407
609.35/611.37 c #Conflicts: 272000 | #Constraints: 81407
609.35/611.37 c #Conflicts: 273000 | #Constraints: 82407
609.35/611.37 c #Conflicts: 274000 | #Constraints: 83407
609.35/611.37 c #Conflicts: 275000 | #Constraints: 84407
609.35/611.37 c #Conflicts: 276000 | #Constraints: 85407
609.35/611.37 c #Conflicts: 277000 | #Constraints: 86407
609.35/611.37 c INPROCESSING
609.35/611.37 c GARBAGE COLLECT
609.35/611.37 c #Conflicts: 278000 | #Constraints: 57443
609.35/611.37 c #Conflicts: 279000 | #Constraints: 58443
609.35/611.37 c #Conflicts: 280000 | #Constraints: 59443
609.35/611.37 c #Conflicts: 281000 | #Constraints: 60443
609.35/611.37 c #Conflicts: 282000 | #Constraints: 61443
609.35/611.37 c #Conflicts: 283000 | #Constraints: 62443
609.35/611.37 c #Conflicts: 284000 | #Constraints: 63443
609.35/611.37 c #Conflicts: 285000 | #Constraints: 64443
609.35/611.37 c #Conflicts: 286000 | #Constraints: 65443
609.35/611.37 c #Conflicts: 287000 | #Constraints: 66443
609.35/611.37 c #Conflicts: 288000 | #Constraints: 67443
609.35/611.37 c #Conflicts: 289000 | #Constraints: 68443
609.35/611.37 c #Conflicts: 290000 | #Constraints: 69443
609.35/611.37 c #Conflicts: 291000 | #Constraints: 70443
609.35/611.37 c #Conflicts: 292000 | #Constraints: 71443
609.35/611.37 c #Conflicts: 293000 | #Constraints: 72443
609.35/611.37 c #Conflicts: 294000 | #Constraints: 73443
609.35/611.37 c #Conflicts: 295000 | #Constraints: 74443
609.35/611.37 c #Conflicts: 296000 | #Constraints: 75443
609.35/611.37 c #Conflicts: 297000 | #Constraints: 76443
609.35/611.37 c #Conflicts: 298000 | #Constraints: 77443
609.35/611.37 c #Conflicts: 299000 | #Constraints: 78443
609.35/611.37 c #Conflicts: 300000 | #Constraints: 79443
609.35/611.37 c #Conflicts: 301000 | #Constraints: 80443
609.35/611.37 c #Conflicts: 302000 | #Constraints: 81443
609.35/611.37 c #Conflicts: 303000 | #Constraints: 82443
609.35/611.37 c #Conflicts: 304000 | #Constraints: 83443
757.52/759.98 c #Conflicts: 305000 | #Constraints: 84443
757.52/759.98 c #Conflicts: 306000 | #Constraints: 85443
757.52/759.98 c #Conflicts: 307000 | #Constraints: 86443
757.52/759.98 c #Conflicts: 308000 | #Constraints: 87443
757.52/759.98 c #Conflicts: 309000 | #Constraints: 88443
757.52/759.98 c #Conflicts: 310000 | #Constraints: 89443
757.52/759.98 c #Conflicts: 311000 | #Constraints: 90443
757.52/759.98 c INPROCESSING
757.52/759.98 c GARBAGE COLLECT
757.52/759.98 c #Conflicts: 312000 | #Constraints: 59633
757.52/759.98 c #Conflicts: 313000 | #Constraints: 60633
757.52/759.98 c #Conflicts: 314000 | #Constraints: 61633
757.52/759.98 c #Conflicts: 315000 | #Constraints: 62633
757.52/759.98 c #Conflicts: 316000 | #Constraints: 63633
757.52/759.98 c #Conflicts: 317000 | #Constraints: 64633
757.52/759.98 c #Conflicts: 318000 | #Constraints: 65633
757.52/759.98 c #Conflicts: 319000 | #Constraints: 66633
757.52/759.98 c #Conflicts: 320000 | #Constraints: 67633
757.52/759.98 c #Conflicts: 321000 | #Constraints: 68633
757.52/759.98 c #Conflicts: 322000 | #Constraints: 69633
757.52/759.98 c #Conflicts: 323000 | #Constraints: 70633
757.52/759.98 c #Conflicts: 324000 | #Constraints: 71633
757.52/759.98 c #Conflicts: 325000 | #Constraints: 72633
757.52/759.98 c #Conflicts: 326000 | #Constraints: 73633
757.52/759.98 c #Conflicts: 327000 | #Constraints: 74633
757.52/759.98 c #Conflicts: 328000 | #Constraints: 75633
757.52/759.98 c #Conflicts: 329000 | #Constraints: 76633
757.52/759.98 c #Conflicts: 330000 | #Constraints: 77633
757.52/759.98 c #Conflicts: 331000 | #Constraints: 78633
757.52/759.98 c #Conflicts: 332000 | #Constraints: 79633
757.52/759.98 c #Conflicts: 333000 | #Constraints: 80633
757.52/759.98 c #Conflicts: 334000 | #Constraints: 81633
757.52/759.98 c #Conflicts: 335000 | #Constraints: 82633
757.52/759.98 c #Conflicts: 336000 | #Constraints: 83633
757.52/759.98 c #Conflicts: 337000 | #Constraints: 84633
757.52/759.98 c #Conflicts: 338000 | #Constraints: 85633
757.52/759.98 c #Conflicts: 339000 | #Constraints: 86633
757.52/759.98 c #Conflicts: 340000 | #Constraints: 87633
757.52/759.98 c #Conflicts: 341000 | #Constraints: 88633
757.52/759.98 c #Conflicts: 342000 | #Constraints: 89633
757.52/759.98 c #Conflicts: 343000 | #Constraints: 90633
757.52/759.98 c #Conflicts: 344000 | #Constraints: 91633
757.52/759.98 c #Conflicts: 345000 | #Constraints: 92633
757.52/759.98 c #Conflicts: 346000 | #Constraints: 93633
757.52/759.98 c #Conflicts: 347000 | #Constraints: 94633
757.52/759.98 c #Conflicts: 348000 | #Constraints: 95633
757.52/759.98 c INPROCESSING
757.52/759.98 c GARBAGE COLLECT
757.52/759.98 c #Conflicts: 349000 | #Constraints: 62485
757.52/759.98 c #Conflicts: 350000 | #Constraints: 63485
757.52/759.98 c #Conflicts: 351000 | #Constraints: 64485
757.52/759.98 c #Conflicts: 352000 | #Constraints: 65485
757.52/759.98 c #Conflicts: 353000 | #Constraints: 66485
757.52/759.98 c #Conflicts: 354000 | #Constraints: 67485
757.52/759.98 c #Conflicts: 355000 | #Constraints: 68485
757.52/759.98 c #Conflicts: 356000 | #Constraints: 69485
757.52/759.98 c #Conflicts: 357000 | #Constraints: 70485
757.52/759.98 c #Conflicts: 358000 | #Constraints: 71485
757.52/759.98 c #Conflicts: 359000 | #Constraints: 72485
757.52/759.98 c #Conflicts: 360000 | #Constraints: 73485
757.52/759.98 c #Conflicts: 361000 | #Constraints: 74485
757.52/759.98 c #Conflicts: 362000 | #Constraints: 75485
757.52/759.98 c #Conflicts: 363000 | #Constraints: 76485
757.52/759.98 c #Conflicts: 364000 | #Constraints: 77485
757.52/759.98 c #Conflicts: 365000 | #Constraints: 78485
757.52/759.98 c #Conflicts: 366000 | #Constraints: 79485
757.52/759.98 c #Conflicts: 367000 | #Constraints: 80485
757.52/759.98 c #Conflicts: 368000 | #Constraints: 81485
757.52/759.98 c #Conflicts: 369000 | #Constraints: 82485
757.52/759.98 c #Conflicts: 370000 | #Constraints: 83485
757.52/759.98 c #Conflicts: 371000 | #Constraints: 84485
757.52/759.98 c #Conflicts: 372000 | #Constraints: 85485
757.52/759.98 c #Conflicts: 373000 | #Constraints: 86485
757.52/759.98 c #Conflicts: 374000 | #Constraints: 87485
757.52/759.98 c #Conflicts: 375000 | #Constraints: 88485
757.52/759.98 c #Conflicts: 376000 | #Constraints: 89485
757.52/759.98 c #Conflicts: 377000 | #Constraints: 90485
757.52/759.98 c #Conflicts: 378000 | #Constraints: 91485
757.52/759.98 c #Conflicts: 379000 | #Constraints: 92485
757.52/759.98 c #Conflicts: 380000 | #Constraints: 93485
757.52/759.98 c #Conflicts: 381000 | #Constraints: 94485
757.52/759.98 c #Conflicts: 382000 | #Constraints: 95485
901.74/904.52 c #Conflicts: 383000 | #Constraints: 96485
901.74/904.52 c #Conflicts: 384000 | #Constraints: 97485
901.74/904.52 c #Conflicts: 385000 | #Constraints: 98485
901.74/904.52 c #Conflicts: 386000 | #Constraints: 99485
901.74/904.52 c INPROCESSING
901.74/904.52 c GARBAGE COLLECT
901.74/904.52 c #Conflicts: 387000 | #Constraints: 64338
901.74/904.52 c #Conflicts: 388000 | #Constraints: 65338
901.74/904.52 c #Conflicts: 389000 | #Constraints: 66338
901.74/904.52 c #Conflicts: 390000 | #Constraints: 67338
901.74/904.52 c #Conflicts: 391000 | #Constraints: 68338
901.74/904.52 c #Conflicts: 392000 | #Constraints: 69338
901.74/904.52 c #Conflicts: 393000 | #Constraints: 70338
901.74/904.52 c #Conflicts: 394000 | #Constraints: 71338
901.74/904.52 c #Conflicts: 395000 | #Constraints: 72338
901.74/904.52 c #Conflicts: 396000 | #Constraints: 73338
901.74/904.52 c #Conflicts: 397000 | #Constraints: 74338
901.74/904.52 c #Conflicts: 398000 | #Constraints: 75338
901.74/904.52 c #Conflicts: 399000 | #Constraints: 76338
901.74/904.52 c #Conflicts: 400000 | #Constraints: 77338
901.74/904.52 c #Conflicts: 401000 | #Constraints: 78338
901.74/904.52 c #Conflicts: 402000 | #Constraints: 79338
901.74/904.52 c #Conflicts: 403000 | #Constraints: 80338
901.74/904.52 c #Conflicts: 404000 | #Constraints: 81338
901.74/904.52 c #Conflicts: 405000 | #Constraints: 82338
901.74/904.52 c #Conflicts: 406000 | #Constraints: 83338
901.74/904.52 c #Conflicts: 407000 | #Constraints: 84338
901.74/904.52 c #Conflicts: 408000 | #Constraints: 85338
901.74/904.52 c #Conflicts: 409000 | #Constraints: 86338
901.74/904.52 c #Conflicts: 410000 | #Constraints: 87338
901.74/904.52 c #Conflicts: 411000 | #Constraints: 88338
901.74/904.52 c #Conflicts: 412000 | #Constraints: 89338
901.74/904.52 c #Conflicts: 413000 | #Constraints: 90338
901.74/904.52 c #Conflicts: 414000 | #Constraints: 91338
901.74/904.52 c #Conflicts: 415000 | #Constraints: 92338
901.74/904.52 c #Conflicts: 416000 | #Constraints: 93338
901.74/904.52 c #Conflicts: 417000 | #Constraints: 94338
901.74/904.52 c #Conflicts: 418000 | #Constraints: 95338
901.74/904.52 c #Conflicts: 419000 | #Constraints: 96338
901.74/904.52 c #Conflicts: 420000 | #Constraints: 97338
901.74/904.52 c #Conflicts: 421000 | #Constraints: 98338
901.74/904.52 c #Conflicts: 422000 | #Constraints: 99338
901.74/904.52 c #Conflicts: 423000 | #Constraints: 100338
901.74/904.52 c #Conflicts: 424000 | #Constraints: 101338
901.74/904.52 c #Conflicts: 425000 | #Constraints: 102338
901.74/904.52 c #Conflicts: 426000 | #Constraints: 103338
901.74/904.52 c INPROCESSING
901.74/904.52 c GARBAGE COLLECT
901.74/904.52 c #Conflicts: 427000 | #Constraints: 66158
901.74/904.52 c #Conflicts: 428000 | #Constraints: 67158
901.74/904.52 c #Conflicts: 429000 | #Constraints: 68158
901.74/904.52 c #Conflicts: 430000 | #Constraints: 69158
901.74/904.52 c #Conflicts: 431000 | #Constraints: 70158
901.74/904.52 c #Conflicts: 432000 | #Constraints: 71158
901.74/904.52 c #Conflicts: 433000 | #Constraints: 72158
901.74/904.52 c #Conflicts: 434000 | #Constraints: 73158
901.74/904.52 c #Conflicts: 435000 | #Constraints: 74158
901.74/904.52 c #Conflicts: 436000 | #Constraints: 75158
901.74/904.52 c #Conflicts: 437000 | #Constraints: 76158
901.74/904.52 c #Conflicts: 438000 | #Constraints: 77158
901.74/904.52 c #Conflicts: 439000 | #Constraints: 78158
901.74/904.52 c #Conflicts: 440000 | #Constraints: 79158
901.74/904.52 c #Conflicts: 441000 | #Constraints: 80158
901.74/904.52 c #Conflicts: 442000 | #Constraints: 81158
901.74/904.52 c #Conflicts: 443000 | #Constraints: 82158
901.74/904.52 c #Conflicts: 444000 | #Constraints: 83158
901.74/904.52 c #Conflicts: 445000 | #Constraints: 84158
901.74/904.52 c #Conflicts: 446000 | #Constraints: 85158
901.74/904.52 c #Conflicts: 447000 | #Constraints: 86158
901.74/904.52 c #Conflicts: 448000 | #Constraints: 87158
901.74/904.52 c #Conflicts: 449000 | #Constraints: 88158
901.74/904.52 c #Conflicts: 450000 | #Constraints: 89158
901.74/904.52 c #Conflicts: 451000 | #Constraints: 90158
901.74/904.52 c #Conflicts: 452000 | #Constraints: 91158
901.74/904.52 c #Conflicts: 453000 | #Constraints: 92158
901.74/904.52 c #Conflicts: 454000 | #Constraints: 93158
901.74/904.52 c #Conflicts: 455000 | #Constraints: 94158
901.74/904.52 c #Conflicts: 456000 | #Constraints: 95158
901.74/904.52 c #Conflicts: 457000 | #Constraints: 96158
901.74/904.52 c #Conflicts: 458000 | #Constraints: 97158
901.74/904.52 c #Conflicts: 459000 | #Constraints: 98158
1082.67/1085.91 c #Conflicts: 460000 | #Constraints: 99158
1082.67/1085.91 c #Conflicts: 461000 | #Constraints: 100158
1082.67/1085.91 c #Conflicts: 462000 | #Constraints: 101158
1082.67/1085.91 c #Conflicts: 463000 | #Constraints: 102158
1082.67/1085.91 c #Conflicts: 464000 | #Constraints: 103158
1082.67/1085.91 c #Conflicts: 465000 | #Constraints: 104158
1082.67/1085.91 c #Conflicts: 466000 | #Constraints: 105158
1082.67/1085.91 c #Conflicts: 467000 | #Constraints: 106158
1082.67/1085.91 c #Conflicts: 468000 | #Constraints: 107158
1082.67/1085.91 c #Conflicts: 469000 | #Constraints: 108158
1082.67/1085.91 c INPROCESSING
1082.67/1085.91 c GARBAGE COLLECT
1082.67/1085.91 c #Conflicts: 470000 | #Constraints: 68562
1082.67/1085.91 c #Conflicts: 471000 | #Constraints: 69562
1082.67/1085.91 c #Conflicts: 472000 | #Constraints: 70562
1082.67/1085.91 c #Conflicts: 473000 | #Constraints: 71562
1082.67/1085.91 c #Conflicts: 474000 | #Constraints: 72562
1082.67/1085.91 c #Conflicts: 475000 | #Constraints: 73562
1082.67/1085.91 c #Conflicts: 476000 | #Constraints: 74562
1082.67/1085.91 c #Conflicts: 477000 | #Constraints: 75562
1082.67/1085.91 c #Conflicts: 478000 | #Constraints: 76562
1082.67/1085.91 c #Conflicts: 479000 | #Constraints: 77562
1082.67/1085.91 c #Conflicts: 480000 | #Constraints: 78562
1082.67/1085.91 c #Conflicts: 481000 | #Constraints: 79562
1082.67/1085.91 c #Conflicts: 482000 | #Constraints: 80562
1082.67/1085.91 c #Conflicts: 483000 | #Constraints: 81562
1082.67/1085.91 c #Conflicts: 484000 | #Constraints: 82562
1082.67/1085.91 c #Conflicts: 485000 | #Constraints: 83562
1082.67/1085.91 c #Conflicts: 486000 | #Constraints: 84562
1082.67/1085.91 c #Conflicts: 487000 | #Constraints: 85562
1082.67/1085.91 c #Conflicts: 488000 | #Constraints: 86562
1082.67/1085.91 c #Conflicts: 489000 | #Constraints: 87562
1082.67/1085.91 c #Conflicts: 490000 | #Constraints: 88562
1082.67/1085.91 c #Conflicts: 491000 | #Constraints: 89562
1082.67/1085.91 c #Conflicts: 492000 | #Constraints: 90562
1082.67/1085.91 c #Conflicts: 493000 | #Constraints: 91562
1082.67/1085.91 c #Conflicts: 494000 | #Constraints: 92562
1082.67/1085.91 c #Conflicts: 495000 | #Constraints: 93562
1082.67/1085.91 c #Conflicts: 496000 | #Constraints: 94562
1082.67/1085.91 c #Conflicts: 497000 | #Constraints: 95562
1082.67/1085.91 c #Conflicts: 498000 | #Constraints: 96562
1082.67/1085.91 c #Conflicts: 499000 | #Constraints: 97562
1082.67/1085.91 c #Conflicts: 500000 | #Constraints: 98562
1082.67/1085.91 c #Conflicts: 501000 | #Constraints: 99562
1082.67/1085.91 c #Conflicts: 502000 | #Constraints: 100562
1082.67/1085.91 c #Conflicts: 503000 | #Constraints: 101562
1082.67/1085.91 c #Conflicts: 504000 | #Constraints: 102562
1082.67/1085.91 c #Conflicts: 505000 | #Constraints: 103562
1082.67/1085.91 c #Conflicts: 506000 | #Constraints: 104562
1082.67/1085.91 c #Conflicts: 507000 | #Constraints: 105562
1082.67/1085.91 c #Conflicts: 508000 | #Constraints: 106562
1082.67/1085.91 c #Conflicts: 509000 | #Constraints: 107562
1082.67/1085.91 c #Conflicts: 510000 | #Constraints: 108562
1082.67/1085.91 c #Conflicts: 511000 | #Constraints: 109562
1082.67/1085.91 c #Conflicts: 512000 | #Constraints: 110562
1082.67/1085.91 c #Conflicts: 513000 | #Constraints: 111562
1082.67/1085.91 c INPROCESSING
1082.67/1085.91 c GARBAGE COLLECT
1082.67/1085.91 c #Conflicts: 514000 | #Constraints: 69925
1082.67/1085.91 c #Conflicts: 515000 | #Constraints: 70925
1082.67/1085.91 c #Conflicts: 516000 | #Constraints: 71925
1082.67/1085.91 c #Conflicts: 517000 | #Constraints: 72925
1082.67/1085.91 c #Conflicts: 518000 | #Constraints: 73925
1082.67/1085.91 c #Conflicts: 519000 | #Constraints: 74925
1082.67/1085.91 c #Conflicts: 520000 | #Constraints: 75925
1082.67/1085.91 c #Conflicts: 521000 | #Constraints: 76925
1082.67/1085.91 c #Conflicts: 522000 | #Constraints: 77925
1082.67/1085.91 c #Conflicts: 523000 | #Constraints: 78925
1082.67/1085.91 c #Conflicts: 524000 | #Constraints: 79925
1082.67/1085.91 c #Conflicts: 525000 | #Constraints: 80925
1082.67/1085.91 c #Conflicts: 526000 | #Constraints: 81925
1082.67/1085.91 c #Conflicts: 527000 | #Constraints: 82925
1082.67/1085.91 c #Conflicts: 528000 | #Constraints: 83925
1082.67/1085.91 c #Conflicts: 529000 | #Constraints: 84925
1082.67/1085.91 c #Conflicts: 530000 | #Constraints: 85925
1082.67/1085.91 c #Conflicts: 531000 | #Constraints: 86925
1082.67/1085.91 c #Conflicts: 532000 | #Constraints: 87925
1082.67/1085.91 c #Conflicts: 533000 | #Constraints: 88925
1082.67/1085.91 c #Conflicts: 534000 | #Constraints: 89925
1082.67/1085.91 c #Conflicts: 535000 | #Constraints: 90925
1082.67/1085.91 c #Conflicts: 536000 | #Constraints: 91925
1082.67/1085.91 c #Conflicts: 537000 | #Constraints: 92925
1203.25/1206.87 c #Conflicts: 538000 | #Constraints: 93925
1203.25/1206.87 c #Conflicts: 539000 | #Constraints: 94925
1203.25/1206.87 c #Conflicts: 540000 | #Constraints: 95925
1203.25/1206.87 c #Conflicts: 541000 | #Constraints: 96925
1203.25/1206.87 c #Conflicts: 542000 | #Constraints: 97925
1203.25/1206.87 c #Conflicts: 543000 | #Constraints: 98925
1203.25/1206.87 c #Conflicts: 544000 | #Constraints: 99925
1203.25/1206.87 c #Conflicts: 545000 | #Constraints: 100925
1203.25/1206.87 c #Conflicts: 546000 | #Constraints: 101925
1203.25/1206.87 c #Conflicts: 547000 | #Constraints: 102925
1203.25/1206.87 c #Conflicts: 548000 | #Constraints: 103925
1203.25/1206.87 c #Conflicts: 549000 | #Constraints: 104925
1203.25/1206.87 c #Conflicts: 550000 | #Constraints: 105925
1203.25/1206.87 c #Conflicts: 551000 | #Constraints: 106925
1203.25/1206.87 c #Conflicts: 552000 | #Constraints: 107925
1203.25/1206.87 c #Conflicts: 553000 | #Constraints: 108925
1203.25/1206.87 c #Conflicts: 554000 | #Constraints: 109925
1203.25/1206.87 c #Conflicts: 555000 | #Constraints: 110925
1203.25/1206.87 c #Conflicts: 556000 | #Constraints: 111925
1203.25/1206.87 c #Conflicts: 557000 | #Constraints: 112925
1203.25/1206.87 c #Conflicts: 558000 | #Constraints: 113925
1203.25/1206.87 c #Conflicts: 559000 | #Constraints: 114925
1203.25/1206.87 c #Conflicts: 560000 | #Constraints: 115925
1203.25/1206.87 c INPROCESSING
1203.25/1206.87 c GARBAGE COLLECT
1203.25/1206.87 c rational objective 196.011
1366.81/1370.84 c #Conflicts: 561000 | #Constraints: 73039
1366.81/1370.84 c #Conflicts: 562000 | #Constraints: 74039
1366.81/1370.84 c #Conflicts: 563000 | #Constraints: 75039
1366.81/1370.84 c #Conflicts: 564000 | #Constraints: 76039
1366.81/1370.84 c #Conflicts: 565000 | #Constraints: 77039
1366.81/1370.84 c #Conflicts: 566000 | #Constraints: 78039
1366.81/1370.84 c #Conflicts: 567000 | #Constraints: 79039
1366.81/1370.84 c #Conflicts: 568000 | #Constraints: 80039
1366.81/1370.84 c #Conflicts: 569000 | #Constraints: 81039
1366.81/1370.84 c #Conflicts: 570000 | #Constraints: 82039
1366.81/1370.84 c #Conflicts: 571000 | #Constraints: 83039
1366.81/1370.84 c #Conflicts: 572000 | #Constraints: 84039
1366.81/1370.84 c #Conflicts: 573000 | #Constraints: 85039
1366.81/1370.84 c #Conflicts: 574000 | #Constraints: 86039
1366.81/1370.84 c #Conflicts: 575000 | #Constraints: 87039
1366.81/1370.84 c #Conflicts: 576000 | #Constraints: 88039
1366.81/1370.84 c #Conflicts: 577000 | #Constraints: 89039
1366.81/1370.84 c #Conflicts: 578000 | #Constraints: 90039
1366.81/1370.84 c #Conflicts: 579000 | #Constraints: 91039
1366.81/1370.84 c #Conflicts: 580000 | #Constraints: 92039
1366.81/1370.84 c #Conflicts: 581000 | #Constraints: 93039
1366.81/1370.84 c #Conflicts: 582000 | #Constraints: 94039
1366.81/1370.84 c #Conflicts: 583000 | #Constraints: 95039
1366.81/1370.84 c #Conflicts: 584000 | #Constraints: 96039
1366.81/1370.84 c #Conflicts: 585000 | #Constraints: 97039
1366.81/1370.84 c #Conflicts: 586000 | #Constraints: 98039
1366.81/1370.84 c #Conflicts: 587000 | #Constraints: 99039
1366.81/1370.84 c #Conflicts: 588000 | #Constraints: 100039
1366.81/1370.84 c #Conflicts: 589000 | #Constraints: 101039
1366.81/1370.84 c #Conflicts: 590000 | #Constraints: 102039
1366.81/1370.84 c #Conflicts: 591000 | #Constraints: 103039
1366.81/1370.84 c #Conflicts: 592000 | #Constraints: 104039
1366.81/1370.84 c #Conflicts: 593000 | #Constraints: 105039
1366.81/1370.84 c #Conflicts: 594000 | #Constraints: 106039
1366.81/1370.84 c #Conflicts: 595000 | #Constraints: 107039
1366.81/1370.84 c #Conflicts: 596000 | #Constraints: 108039
1366.81/1370.84 c #Conflicts: 597000 | #Constraints: 109039
1366.81/1370.84 c #Conflicts: 598000 | #Constraints: 110039
1366.81/1370.84 c #Conflicts: 599000 | #Constraints: 111039
1366.81/1370.84 c #Conflicts: 600000 | #Constraints: 112039
1366.81/1370.84 c #Conflicts: 601000 | #Constraints: 113039
1366.81/1370.84 c #Conflicts: 602000 | #Constraints: 114039
1366.81/1370.84 c #Conflicts: 603000 | #Constraints: 115039
1366.81/1370.84 c #Conflicts: 604000 | #Constraints: 116039
1366.81/1370.84 c #Conflicts: 605000 | #Constraints: 117039
1366.81/1370.84 c #Conflicts: 606000 | #Constraints: 118039
1366.81/1370.84 c #Conflicts: 607000 | #Constraints: 119039
1366.81/1370.84 c #Conflicts: 608000 | #Constraints: 120039
1366.81/1370.84 c INPROCESSING
1366.81/1370.84 c GARBAGE COLLECT
1366.81/1370.84 c #Conflicts: 609000 | #Constraints: 74892
1366.81/1370.84 c #Conflicts: 610000 | #Constraints: 75892
1366.81/1370.84 c #Conflicts: 611000 | #Constraints: 76892
1366.81/1370.84 c #Conflicts: 612000 | #Constraints: 77892
1366.81/1370.84 c #Conflicts: 613000 | #Constraints: 78892
1366.81/1370.84 c #Conflicts: 614000 | #Constraints: 79892
1366.81/1370.84 c #Conflicts: 615000 | #Constraints: 80892
1366.81/1370.84 c #Conflicts: 616000 | #Constraints: 81892
1366.81/1370.84 c #Conflicts: 617000 | #Constraints: 82892
1366.81/1370.84 c #Conflicts: 618000 | #Constraints: 83892
1366.81/1370.84 c #Conflicts: 619000 | #Constraints: 84892
1366.81/1370.84 c #Conflicts: 620000 | #Constraints: 85892
1366.81/1370.84 c #Conflicts: 621000 | #Constraints: 86892
1366.81/1370.84 c #Conflicts: 622000 | #Constraints: 87892
1366.81/1370.84 c #Conflicts: 623000 | #Constraints: 88892
1366.81/1370.84 c #Conflicts: 624000 | #Constraints: 89892
1366.81/1370.84 c #Conflicts: 625000 | #Constraints: 90892
1366.81/1370.84 c #Conflicts: 626000 | #Constraints: 91892
1366.81/1370.84 c #Conflicts: 627000 | #Constraints: 92892
1366.81/1370.84 c #Conflicts: 628000 | #Constraints: 93892
1366.81/1370.84 c #Conflicts: 629000 | #Constraints: 94892
1366.81/1370.84 c #Conflicts: 630000 | #Constraints: 95892
1366.81/1370.84 c #Conflicts: 631000 | #Constraints: 96892
1366.81/1370.84 c #Conflicts: 632000 | #Constraints: 97892
1366.81/1370.84 c #Conflicts: 633000 | #Constraints: 98892
1366.81/1370.84 c #Conflicts: 634000 | #Constraints: 99892
1366.81/1370.84 c #Conflicts: 635000 | #Constraints: 100892
1366.81/1370.84 c #Conflicts: 636000 | #Constraints: 101892
1366.81/1370.84 c #Conflicts: 637000 | #Constraints: 102892
1366.81/1370.84 c #Conflicts: 638000 | #Constraints: 103892
1366.81/1370.84 c #Conflicts: 639000 | #Constraints: 104892
1581.35/1585.92 c #Conflicts: 640000 | #Constraints: 105892
1581.35/1585.92 c #Conflicts: 641000 | #Constraints: 106892
1581.35/1585.92 c #Conflicts: 642000 | #Constraints: 107892
1581.35/1585.92 c #Conflicts: 643000 | #Constraints: 108892
1581.35/1585.92 c #Conflicts: 644000 | #Constraints: 109892
1581.35/1585.92 c #Conflicts: 645000 | #Constraints: 110892
1581.35/1585.92 c #Conflicts: 646000 | #Constraints: 111892
1581.35/1585.92 c #Conflicts: 647000 | #Constraints: 112892
1581.35/1585.92 c #Conflicts: 648000 | #Constraints: 113892
1581.35/1585.92 c #Conflicts: 649000 | #Constraints: 114892
1581.35/1585.92 c #Conflicts: 650000 | #Constraints: 115892
1581.35/1585.92 c #Conflicts: 651000 | #Constraints: 116892
1581.35/1585.92 c #Conflicts: 652000 | #Constraints: 117892
1581.35/1585.92 c #Conflicts: 653000 | #Constraints: 118892
1581.35/1585.92 c #Conflicts: 654000 | #Constraints: 119892
1581.35/1585.92 c #Conflicts: 655000 | #Constraints: 120892
1581.35/1585.92 c #Conflicts: 656000 | #Constraints: 121892
1581.35/1585.92 c #Conflicts: 657000 | #Constraints: 122892
1581.35/1585.92 c #Conflicts: 658000 | #Constraints: 123892
1581.35/1585.92 c INPROCESSING
1581.35/1585.92 c GARBAGE COLLECT
1581.35/1585.92 c #Conflicts: 659000 | #Constraints: 76573
1581.35/1585.92 c #Conflicts: 660000 | #Constraints: 77573
1581.35/1585.92 c #Conflicts: 661000 | #Constraints: 78573
1581.35/1585.92 c #Conflicts: 662000 | #Constraints: 79573
1581.35/1585.92 c #Conflicts: 663000 | #Constraints: 80574
1581.35/1585.92 c #Conflicts: 664000 | #Constraints: 81574
1581.35/1585.92 c #Conflicts: 665000 | #Constraints: 82574
1581.35/1585.92 c #Conflicts: 666000 | #Constraints: 83574
1581.35/1585.92 c #Conflicts: 667000 | #Constraints: 84574
1581.35/1585.92 c #Conflicts: 668000 | #Constraints: 85574
1581.35/1585.92 c #Conflicts: 669000 | #Constraints: 86574
1581.35/1585.92 c #Conflicts: 670000 | #Constraints: 87574
1581.35/1585.92 c #Conflicts: 671000 | #Constraints: 88574
1581.35/1585.92 c #Conflicts: 672000 | #Constraints: 89574
1581.35/1585.92 c #Conflicts: 673000 | #Constraints: 90574
1581.35/1585.92 c #Conflicts: 674000 | #Constraints: 91574
1581.35/1585.92 c #Conflicts: 675000 | #Constraints: 92574
1581.35/1585.92 c #Conflicts: 676000 | #Constraints: 93574
1581.35/1585.92 c #Conflicts: 677000 | #Constraints: 94574
1581.35/1585.92 c #Conflicts: 678000 | #Constraints: 95574
1581.35/1585.92 c #Conflicts: 679000 | #Constraints: 96574
1581.35/1585.92 c #Conflicts: 680000 | #Constraints: 97574
1581.35/1585.92 c #Conflicts: 681000 | #Constraints: 98574
1581.35/1585.92 c #Conflicts: 682000 | #Constraints: 99574
1581.35/1585.92 c #Conflicts: 683000 | #Constraints: 100574
1581.35/1585.92 c #Conflicts: 684000 | #Constraints: 101574
1581.35/1585.92 c #Conflicts: 685000 | #Constraints: 102574
1581.35/1585.92 c #Conflicts: 686000 | #Constraints: 103574
1581.35/1585.92 c #Conflicts: 687000 | #Constraints: 104574
1581.35/1585.92 c #Conflicts: 688000 | #Constraints: 105574
1581.35/1585.92 c #Conflicts: 689000 | #Constraints: 106574
1581.35/1585.92 c #Conflicts: 690000 | #Constraints: 107574
1581.35/1585.92 c #Conflicts: 691000 | #Constraints: 108574
1581.35/1585.92 c #Conflicts: 692000 | #Constraints: 109574
1581.35/1585.92 c #Conflicts: 693000 | #Constraints: 110574
1581.35/1585.92 c #Conflicts: 694000 | #Constraints: 111574
1581.35/1585.92 c #Conflicts: 695000 | #Constraints: 112574
1581.35/1585.92 c #Conflicts: 696000 | #Constraints: 113574
1581.35/1585.92 c #Conflicts: 697000 | #Constraints: 114574
1581.35/1585.92 c #Conflicts: 698000 | #Constraints: 115574
1581.35/1585.92 c #Conflicts: 699000 | #Constraints: 116574
1581.35/1585.92 c #Conflicts: 700000 | #Constraints: 117574
1581.35/1585.92 c #Conflicts: 701000 | #Constraints: 118574
1581.35/1585.92 c #Conflicts: 702000 | #Constraints: 119574
1581.35/1585.92 c #Conflicts: 703000 | #Constraints: 120574
1581.35/1585.92 c #Conflicts: 704000 | #Constraints: 121574
1581.35/1585.92 c #Conflicts: 705000 | #Constraints: 122574
1581.35/1585.92 c #Conflicts: 706000 | #Constraints: 123574
1581.35/1585.92 c #Conflicts: 707000 | #Constraints: 124574
1581.35/1585.92 c #Conflicts: 708000 | #Constraints: 125574
1581.35/1585.92 c #Conflicts: 709000 | #Constraints: 126574
1581.35/1585.92 c #Conflicts: 710000 | #Constraints: 127574
1581.35/1585.92 c #Conflicts: 711000 | #Constraints: 128574
1581.35/1585.92 c INPROCESSING
1581.35/1585.92 c GARBAGE COLLECT
1581.35/1585.92 c #Conflicts: 712000 | #Constraints: 79478
1581.35/1585.92 c #Conflicts: 713000 | #Constraints: 80478
1581.35/1585.92 c #Conflicts: 714000 | #Constraints: 81478
1581.35/1585.92 c #Conflicts: 715000 | #Constraints: 82478
1581.35/1585.92 c #Conflicts: 716000 | #Constraints: 83478
1743.93/1748.94 c #Conflicts: 717000 | #Constraints: 84478
1743.93/1748.94 c #Conflicts: 718000 | #Constraints: 85478
1743.93/1748.94 c #Conflicts: 719000 | #Constraints: 86478
1743.93/1748.94 c #Conflicts: 720000 | #Constraints: 87478
1743.93/1748.94 c #Conflicts: 721000 | #Constraints: 88478
1743.93/1748.94 c #Conflicts: 722000 | #Constraints: 89478
1743.93/1748.94 c #Conflicts: 723000 | #Constraints: 90478
1743.93/1748.94 c #Conflicts: 724000 | #Constraints: 91478
1743.93/1748.94 c #Conflicts: 725000 | #Constraints: 92478
1743.93/1748.94 c #Conflicts: 726000 | #Constraints: 93478
1743.93/1748.94 c #Conflicts: 727000 | #Constraints: 94478
1743.93/1748.94 c #Conflicts: 728000 | #Constraints: 95478
1743.93/1748.94 c #Conflicts: 729000 | #Constraints: 96478
1743.93/1748.94 c #Conflicts: 730000 | #Constraints: 97478
1743.93/1748.94 c #Conflicts: 731000 | #Constraints: 98478
1743.93/1748.94 c #Conflicts: 732000 | #Constraints: 99478
1743.93/1748.94 c #Conflicts: 733000 | #Constraints: 100478
1743.93/1748.94 c #Conflicts: 734000 | #Constraints: 101478
1743.93/1748.94 c #Conflicts: 735000 | #Constraints: 102478
1743.93/1748.94 c #Conflicts: 736000 | #Constraints: 103478
1743.93/1748.94 c #Conflicts: 737000 | #Constraints: 104478
1743.93/1748.94 c #Conflicts: 738000 | #Constraints: 105478
1743.93/1748.94 c #Conflicts: 739000 | #Constraints: 106478
1743.93/1748.94 c #Conflicts: 740000 | #Constraints: 107478
1743.93/1748.94 c #Conflicts: 741000 | #Constraints: 108478
1743.93/1748.94 c #Conflicts: 742000 | #Constraints: 109478
1743.93/1748.94 c #Conflicts: 743000 | #Constraints: 110478
1743.93/1748.94 c #Conflicts: 744000 | #Constraints: 111478
1743.93/1748.94 c #Conflicts: 745000 | #Constraints: 112478
1743.93/1748.94 c #Conflicts: 746000 | #Constraints: 113478
1743.93/1748.94 c #Conflicts: 747000 | #Constraints: 114478
1743.93/1748.94 c #Conflicts: 748000 | #Constraints: 115478
1743.93/1748.94 c #Conflicts: 749000 | #Constraints: 116478
1743.93/1748.94 c #Conflicts: 750000 | #Constraints: 117478
1743.93/1748.94 c #Conflicts: 751000 | #Constraints: 118478
1743.93/1748.94 c #Conflicts: 752000 | #Constraints: 119478
1743.93/1748.94 c #Conflicts: 753000 | #Constraints: 120478
1743.93/1748.94 c #Conflicts: 754000 | #Constraints: 121478
1743.93/1748.94 c #Conflicts: 755000 | #Constraints: 122478
1743.93/1748.94 c #Conflicts: 756000 | #Constraints: 123478
1743.93/1748.94 c #Conflicts: 757000 | #Constraints: 124478
1743.93/1748.94 c #Conflicts: 758000 | #Constraints: 125478
1743.93/1748.94 c #Conflicts: 759000 | #Constraints: 126478
1743.93/1748.94 c #Conflicts: 760000 | #Constraints: 127478
1743.93/1748.94 c #Conflicts: 761000 | #Constraints: 128478
1743.93/1748.94 c #Conflicts: 762000 | #Constraints: 129478
1743.93/1748.94 c #Conflicts: 763000 | #Constraints: 130478
1743.93/1748.94 c #Conflicts: 764000 | #Constraints: 131478
1743.93/1748.94 c #Conflicts: 765000 | #Constraints: 132478
1743.93/1748.94 c INPROCESSING
1743.93/1748.94 c GARBAGE COLLECT
1743.93/1748.94 c #Conflicts: 766000 | #Constraints: 81225
1743.93/1748.94 c #Conflicts: 767000 | #Constraints: 82225
1743.93/1748.94 c #Conflicts: 768000 | #Constraints: 83225
1743.93/1748.94 c #Conflicts: 769000 | #Constraints: 84225
1743.93/1748.94 c #Conflicts: 770000 | #Constraints: 85225
1743.93/1748.94 c #Conflicts: 771000 | #Constraints: 86225
1743.93/1748.94 c #Conflicts: 772000 | #Constraints: 87225
1743.93/1748.94 c #Conflicts: 773000 | #Constraints: 88225
1743.93/1748.94 c #Conflicts: 774000 | #Constraints: 89225
1743.93/1748.94 c #Conflicts: 775000 | #Constraints: 90225
1743.93/1748.94 c #Conflicts: 776000 | #Constraints: 91225
1743.93/1748.94 c #Conflicts: 777000 | #Constraints: 92225
1743.93/1748.94 c #Conflicts: 778000 | #Constraints: 93225
1743.93/1748.94 c #Conflicts: 779000 | #Constraints: 94225
1743.93/1748.94 c #Conflicts: 780000 | #Constraints: 95225
1743.93/1748.94 c #Conflicts: 781000 | #Constraints: 96225
1743.93/1748.94 c #Conflicts: 782000 | #Constraints: 97225
1743.93/1748.94 c #Conflicts: 783000 | #Constraints: 98225
1743.93/1748.94 c #Conflicts: 784000 | #Constraints: 99225
1743.93/1748.94 c #Conflicts: 785000 | #Constraints: 100225
1743.93/1748.94 c #Conflicts: 786000 | #Constraints: 101225
1743.93/1748.94 c #Conflicts: 787000 | #Constraints: 102225
1743.93/1748.94 c #Conflicts: 788000 | #Constraints: 103225
1743.93/1748.94 c #Conflicts: 789000 | #Constraints: 104225
1743.93/1748.94 c #Conflicts: 790000 | #Constraints: 105225
1743.93/1748.94 c #Conflicts: 791000 | #Constraints: 106225
1743.93/1748.94 c #Conflicts: 792000 | #Constraints: 107225
1743.93/1748.94 c #Conflicts: 793000 | #Constraints: 108225
1743.93/1748.94 c #Conflicts: 794000 | #Constraints: 109225
2050.71/2056.50 c #Conflicts: 795000 | #Constraints: 110225
2050.71/2056.50 c #Conflicts: 796000 | #Constraints: 111225
2050.71/2056.50 c #Conflicts: 797000 | #Constraints: 112225
2050.71/2056.50 c #Conflicts: 798000 | #Constraints: 113225
2050.71/2056.50 c #Conflicts: 799000 | #Constraints: 114225
2050.71/2056.50 c #Conflicts: 800000 | #Constraints: 115225
2050.71/2056.50 c #Conflicts: 801000 | #Constraints: 116225
2050.71/2056.50 c #Conflicts: 802000 | #Constraints: 117225
2050.71/2056.50 c #Conflicts: 803000 | #Constraints: 118225
2050.71/2056.50 c #Conflicts: 804000 | #Constraints: 119225
2050.71/2056.50 c #Conflicts: 805000 | #Constraints: 120225
2050.71/2056.50 c #Conflicts: 806000 | #Constraints: 121225
2050.71/2056.50 c #Conflicts: 807000 | #Constraints: 122225
2050.71/2056.50 c #Conflicts: 808000 | #Constraints: 123225
2050.71/2056.50 c #Conflicts: 809000 | #Constraints: 124225
2050.71/2056.50 c #Conflicts: 810000 | #Constraints: 125225
2050.71/2056.50 c #Conflicts: 811000 | #Constraints: 126225
2050.71/2056.50 c #Conflicts: 812000 | #Constraints: 127225
2050.71/2056.50 c #Conflicts: 813000 | #Constraints: 128225
2050.71/2056.50 c #Conflicts: 814000 | #Constraints: 129225
2050.71/2056.50 c #Conflicts: 815000 | #Constraints: 130225
2050.71/2056.50 c #Conflicts: 816000 | #Constraints: 131225
2050.71/2056.50 c #Conflicts: 817000 | #Constraints: 132225
2050.71/2056.50 c #Conflicts: 818000 | #Constraints: 133225
2050.71/2056.50 c #Conflicts: 819000 | #Constraints: 134225
2050.71/2056.50 c #Conflicts: 820000 | #Constraints: 135225
2050.71/2056.50 c #Conflicts: 821000 | #Constraints: 136225
2050.71/2056.50 c #Conflicts: 822000 | #Constraints: 137225
2050.71/2056.50 c INPROCESSING
2050.71/2056.50 c GARBAGE COLLECT
2050.71/2056.50 c #Conflicts: 823000 | #Constraints: 84270
2050.71/2056.50 c #Conflicts: 824000 | #Constraints: 85270
2050.71/2056.50 c #Conflicts: 825000 | #Constraints: 86270
2050.71/2056.50 c #Conflicts: 826000 | #Constraints: 87270
2050.71/2056.50 c #Conflicts: 827000 | #Constraints: 88270
2050.71/2056.50 c #Conflicts: 828000 | #Constraints: 89270
2050.71/2056.50 c #Conflicts: 829000 | #Constraints: 90270
2050.71/2056.50 c #Conflicts: 830000 | #Constraints: 91270
2050.71/2056.50 c #Conflicts: 831000 | #Constraints: 92270
2050.71/2056.50 c #Conflicts: 832000 | #Constraints: 93270
2050.71/2056.50 c #Conflicts: 833000 | #Constraints: 94270
2050.71/2056.50 c #Conflicts: 834000 | #Constraints: 95270
2050.71/2056.50 c #Conflicts: 835000 | #Constraints: 96270
2050.71/2056.50 c #Conflicts: 836000 | #Constraints: 97270
2050.71/2056.50 c #Conflicts: 837000 | #Constraints: 98270
2050.71/2056.50 c #Conflicts: 838000 | #Constraints: 99270
2050.71/2056.50 c #Conflicts: 839000 | #Constraints: 100270
2050.71/2056.50 c #Conflicts: 840000 | #Constraints: 101270
2050.71/2056.50 c #Conflicts: 841000 | #Constraints: 102270
2050.71/2056.50 c #Conflicts: 842000 | #Constraints: 103270
2050.71/2056.50 c #Conflicts: 843000 | #Constraints: 104270
2050.71/2056.50 c #Conflicts: 844000 | #Constraints: 105270
2050.71/2056.50 c #Conflicts: 845000 | #Constraints: 106270
2050.71/2056.50 c #Conflicts: 846000 | #Constraints: 107270
2050.71/2056.50 c #Conflicts: 847000 | #Constraints: 108270
2050.71/2056.50 c #Conflicts: 848000 | #Constraints: 109270
2050.71/2056.50 c #Conflicts: 849000 | #Constraints: 110270
2050.71/2056.50 c #Conflicts: 850000 | #Constraints: 111270
2050.71/2056.50 c #Conflicts: 851000 | #Constraints: 112270
2050.71/2056.50 c #Conflicts: 852000 | #Constraints: 113270
2050.71/2056.50 c #Conflicts: 853000 | #Constraints: 114270
2050.71/2056.50 c #Conflicts: 854000 | #Constraints: 115270
2050.71/2056.50 c #Conflicts: 855000 | #Constraints: 116270
2050.71/2056.50 c #Conflicts: 856000 | #Constraints: 117270
2050.71/2056.50 c #Conflicts: 857000 | #Constraints: 118270
2050.71/2056.50 c #Conflicts: 858000 | #Constraints: 119270
2050.71/2056.50 c #Conflicts: 859000 | #Constraints: 120270
2050.71/2056.50 c #Conflicts: 860000 | #Constraints: 121270
2050.71/2056.50 c #Conflicts: 861000 | #Constraints: 122270
2050.71/2056.50 c #Conflicts: 862000 | #Constraints: 123270
2050.71/2056.50 c #Conflicts: 863000 | #Constraints: 124270
2050.71/2056.50 c #Conflicts: 864000 | #Constraints: 125270
2050.71/2056.50 c #Conflicts: 865000 | #Constraints: 126270
2050.71/2056.50 c #Conflicts: 866000 | #Constraints: 127270
2050.71/2056.50 c #Conflicts: 867000 | #Constraints: 128270
2050.71/2056.50 c #Conflicts: 868000 | #Constraints: 129270
2050.71/2056.50 c #Conflicts: 869000 | #Constraints: 130270
2050.71/2056.50 c #Conflicts: 870000 | #Constraints: 131270
2050.71/2056.50 c #Conflicts: 871000 | #Constraints: 132270
2050.71/2056.50 c #Conflicts: 872000 | #Constraints: 133270
2295.07/2301.51 c #Conflicts: 873000 | #Constraints: 134270
2295.07/2301.51 c #Conflicts: 874000 | #Constraints: 135270
2295.07/2301.51 c #Conflicts: 875000 | #Constraints: 136270
2295.07/2301.51 c #Conflicts: 876000 | #Constraints: 137270
2295.07/2301.51 c #Conflicts: 877000 | #Constraints: 138270
2295.07/2301.51 c #Conflicts: 878000 | #Constraints: 139270
2295.07/2301.51 c #Conflicts: 879000 | #Constraints: 140270
2295.07/2301.51 c #Conflicts: 880000 | #Constraints: 141270
2295.07/2301.51 c INPROCESSING
2295.07/2301.51 c GARBAGE COLLECT
2295.07/2301.51 c #Conflicts: 881000 | #Constraints: 86040
2295.07/2301.51 c #Conflicts: 882000 | #Constraints: 87040
2295.07/2301.51 c #Conflicts: 883000 | #Constraints: 88040
2295.07/2301.51 c #Conflicts: 884000 | #Constraints: 89040
2295.07/2301.51 c #Conflicts: 885000 | #Constraints: 90040
2295.07/2301.51 c #Conflicts: 886000 | #Constraints: 91040
2295.07/2301.51 c #Conflicts: 887000 | #Constraints: 92040
2295.07/2301.51 c #Conflicts: 888000 | #Constraints: 93040
2295.07/2301.51 c #Conflicts: 889000 | #Constraints: 94040
2295.07/2301.51 c #Conflicts: 890000 | #Constraints: 95040
2295.07/2301.51 c #Conflicts: 891000 | #Constraints: 96040
2295.07/2301.51 c #Conflicts: 892000 | #Constraints: 97040
2295.07/2301.51 c #Conflicts: 893000 | #Constraints: 98040
2295.07/2301.51 c #Conflicts: 894000 | #Constraints: 99040
2295.07/2301.51 c #Conflicts: 895000 | #Constraints: 100040
2295.07/2301.51 c #Conflicts: 896000 | #Constraints: 101040
2295.07/2301.51 c #Conflicts: 897000 | #Constraints: 102040
2295.07/2301.51 c #Conflicts: 898000 | #Constraints: 103040
2295.07/2301.51 c #Conflicts: 899000 | #Constraints: 104040
2295.07/2301.51 c #Conflicts: 900000 | #Constraints: 105040
2295.07/2301.51 c #Conflicts: 901000 | #Constraints: 106040
2295.07/2301.51 c #Conflicts: 902000 | #Constraints: 107040
2295.07/2301.51 c #Conflicts: 903000 | #Constraints: 108040
2295.07/2301.51 c #Conflicts: 904000 | #Constraints: 109040
2295.07/2301.51 c #Conflicts: 905000 | #Constraints: 110040
2295.07/2301.51 c #Conflicts: 906000 | #Constraints: 111040
2295.07/2301.51 c #Conflicts: 907000 | #Constraints: 112040
2295.07/2301.51 c #Conflicts: 908000 | #Constraints: 113040
2295.07/2301.51 c #Conflicts: 909000 | #Constraints: 114040
2295.07/2301.51 c #Conflicts: 910000 | #Constraints: 115040
2295.07/2301.51 c #Conflicts: 911000 | #Constraints: 116040
2295.07/2301.51 c #Conflicts: 912000 | #Constraints: 117040
2295.07/2301.51 c #Conflicts: 913000 | #Constraints: 118040
2295.07/2301.51 c #Conflicts: 914000 | #Constraints: 119040
2295.07/2301.51 c #Conflicts: 915000 | #Constraints: 120040
2295.07/2301.51 c #Conflicts: 916000 | #Constraints: 121040
2295.07/2301.51 c #Conflicts: 917000 | #Constraints: 122040
2295.07/2301.51 c #Conflicts: 918000 | #Constraints: 123040
2295.07/2301.51 c #Conflicts: 919000 | #Constraints: 124040
2295.07/2301.51 c #Conflicts: 920000 | #Constraints: 125040
2295.07/2301.51 c #Conflicts: 921000 | #Constraints: 126040
2295.07/2301.51 c #Conflicts: 922000 | #Constraints: 127040
2295.07/2301.51 c #Conflicts: 923000 | #Constraints: 128040
2295.07/2301.51 c #Conflicts: 924000 | #Constraints: 129040
2295.07/2301.51 c #Conflicts: 925000 | #Constraints: 130040
2295.07/2301.51 c #Conflicts: 926000 | #Constraints: 131040
2295.07/2301.51 c #Conflicts: 927000 | #Constraints: 132040
2295.07/2301.51 c #Conflicts: 928000 | #Constraints: 133040
2295.07/2301.51 c #Conflicts: 929000 | #Constraints: 134040
2295.07/2301.51 c #Conflicts: 930000 | #Constraints: 135040
2295.07/2301.51 c #Conflicts: 931000 | #Constraints: 136040
2295.07/2301.51 c #Conflicts: 932000 | #Constraints: 137040
2295.07/2301.51 c #Conflicts: 933000 | #Constraints: 138040
2295.07/2301.51 c #Conflicts: 934000 | #Constraints: 139040
2295.07/2301.51 c #Conflicts: 935000 | #Constraints: 140040
2295.07/2301.51 c #Conflicts: 936000 | #Constraints: 141040
2295.07/2301.51 c #Conflicts: 937000 | #Constraints: 142040
2295.07/2301.51 c #Conflicts: 938000 | #Constraints: 143040
2295.07/2301.51 c #Conflicts: 939000 | #Constraints: 144040
2295.07/2301.51 c #Conflicts: 940000 | #Constraints: 145040
2295.07/2301.51 c INPROCESSING
2295.07/2301.51 c GARBAGE COLLECT
2295.07/2301.51 c #Conflicts: 941000 | #Constraints: 87625
2295.07/2301.51 c #Conflicts: 942000 | #Constraints: 88625
2295.07/2301.51 c #Conflicts: 943000 | #Constraints: 89625
2295.07/2301.51 c #Conflicts: 944000 | #Constraints: 90625
2295.07/2301.51 c #Conflicts: 945000 | #Constraints: 91625
2295.07/2301.51 c #Conflicts: 946000 | #Constraints: 92625
2295.07/2301.51 c #Conflicts: 947000 | #Constraints: 93625
2295.07/2301.51 c #Conflicts: 948000 | #Constraints: 94625
2295.07/2301.51 c #Conflicts: 949000 | #Constraints: 95625
2295.07/2301.51 c #Conflicts: 950000 | #Constraints: 96625
2513.20/2520.21 c #Conflicts: 951000 | #Constraints: 97625
2513.20/2520.21 c #Conflicts: 952000 | #Constraints: 98625
2513.20/2520.21 c #Conflicts: 953000 | #Constraints: 99625
2513.20/2520.21 c #Conflicts: 954000 | #Constraints: 100625
2513.20/2520.21 c #Conflicts: 955000 | #Constraints: 101625
2513.20/2520.21 c #Conflicts: 956000 | #Constraints: 102625
2513.20/2520.21 c #Conflicts: 957000 | #Constraints: 103625
2513.20/2520.21 c #Conflicts: 958000 | #Constraints: 104625
2513.20/2520.21 c #Conflicts: 959000 | #Constraints: 105625
2513.20/2520.21 c #Conflicts: 960000 | #Constraints: 106625
2513.20/2520.21 c #Conflicts: 961000 | #Constraints: 107625
2513.20/2520.21 c #Conflicts: 962000 | #Constraints: 108625
2513.20/2520.21 c #Conflicts: 963000 | #Constraints: 109625
2513.20/2520.21 c #Conflicts: 964000 | #Constraints: 110625
2513.20/2520.21 c #Conflicts: 965000 | #Constraints: 111625
2513.20/2520.21 c #Conflicts: 966000 | #Constraints: 112625
2513.20/2520.21 c #Conflicts: 967000 | #Constraints: 113625
2513.20/2520.21 c #Conflicts: 968000 | #Constraints: 114625
2513.20/2520.21 c #Conflicts: 969000 | #Constraints: 115625
2513.20/2520.21 c #Conflicts: 970000 | #Constraints: 116625
2513.20/2520.21 c #Conflicts: 971000 | #Constraints: 117625
2513.20/2520.21 c #Conflicts: 972000 | #Constraints: 118625
2513.20/2520.21 c #Conflicts: 973000 | #Constraints: 119625
2513.20/2520.21 c #Conflicts: 974000 | #Constraints: 120625
2513.20/2520.21 c #Conflicts: 975000 | #Constraints: 121625
2513.20/2520.21 c #Conflicts: 976000 | #Constraints: 122625
2513.20/2520.21 c #Conflicts: 977000 | #Constraints: 123625
2513.20/2520.21 c #Conflicts: 978000 | #Constraints: 124625
2513.20/2520.21 c #Conflicts: 979000 | #Constraints: 125625
2513.20/2520.21 c #Conflicts: 980000 | #Constraints: 126625
2513.20/2520.21 c #Conflicts: 981000 | #Constraints: 127625
2513.20/2520.21 c #Conflicts: 982000 | #Constraints: 128625
2513.20/2520.21 c #Conflicts: 983000 | #Constraints: 129625
2513.20/2520.21 c #Conflicts: 984000 | #Constraints: 130625
2513.20/2520.21 c #Conflicts: 985000 | #Constraints: 131625
2513.20/2520.21 c #Conflicts: 986000 | #Constraints: 132625
2513.20/2520.21 c #Conflicts: 987000 | #Constraints: 133625
2513.20/2520.21 c #Conflicts: 988000 | #Constraints: 134625
2513.20/2520.21 c #Conflicts: 989000 | #Constraints: 135625
2513.20/2520.21 c #Conflicts: 990000 | #Constraints: 136625
2513.20/2520.21 c #Conflicts: 991000 | #Constraints: 137625
2513.20/2520.21 c #Conflicts: 992000 | #Constraints: 138625
2513.20/2520.21 c #Conflicts: 993000 | #Constraints: 139625
2513.20/2520.21 c #Conflicts: 994000 | #Constraints: 140625
2513.20/2520.21 c #Conflicts: 995000 | #Constraints: 141625
2513.20/2520.21 c #Conflicts: 996000 | #Constraints: 142625
2513.20/2520.21 c #Conflicts: 997000 | #Constraints: 143625
2513.20/2520.21 c #Conflicts: 998000 | #Constraints: 144625
2513.20/2520.21 c #Conflicts: 999000 | #Constraints: 145625
2513.20/2520.21 c #Conflicts: 1000000 | #Constraints: 146625
2513.20/2520.21 c #Conflicts: 1001000 | #Constraints: 147625
2513.20/2520.21 c #Conflicts: 1002000 | #Constraints: 148625
2513.20/2520.21 c #Conflicts: 1003000 | #Constraints: 149625
2513.20/2520.21 c INPROCESSING
2513.20/2520.21 c GARBAGE COLLECT
2513.20/2520.21 c #Conflicts: 1004000 | #Constraints: 90125
2513.20/2520.21 c #Conflicts: 1005000 | #Constraints: 91125
2513.20/2520.21 c #Conflicts: 1006000 | #Constraints: 92125
2513.20/2520.21 c #Conflicts: 1007000 | #Constraints: 93125
2513.20/2520.21 c #Conflicts: 1008000 | #Constraints: 94125
2513.20/2520.21 c #Conflicts: 1009000 | #Constraints: 95125
2513.20/2520.21 c #Conflicts: 1010000 | #Constraints: 96125
2513.20/2520.21 c #Conflicts: 1011000 | #Constraints: 97125
2513.20/2520.21 c #Conflicts: 1012000 | #Constraints: 98125
2513.20/2520.21 c #Conflicts: 1013000 | #Constraints: 99125
2513.20/2520.21 c #Conflicts: 1014000 | #Constraints: 100125
2513.20/2520.21 c #Conflicts: 1015000 | #Constraints: 101125
2513.20/2520.21 c #Conflicts: 1016000 | #Constraints: 102125
2513.20/2520.21 c #Conflicts: 1017000 | #Constraints: 103125
2513.20/2520.21 c #Conflicts: 1018000 | #Constraints: 104125
2513.20/2520.21 c #Conflicts: 1019000 | #Constraints: 105125
2513.20/2520.21 c #Conflicts: 1020000 | #Constraints: 106125
2513.20/2520.21 c #Conflicts: 1021000 | #Constraints: 107125
2513.20/2520.21 c #Conflicts: 1022000 | #Constraints: 108125
2513.20/2520.21 c #Conflicts: 1023000 | #Constraints: 109125
2513.20/2520.21 c #Conflicts: 1024000 | #Constraints: 110125
2513.20/2520.21 c #Conflicts: 1025000 | #Constraints: 111125
2513.20/2520.21 c #Conflicts: 1026000 | #Constraints: 112125
2513.20/2520.21 c #Conflicts: 1027000 | #Constraints: 113125
2513.20/2520.21 c #Conflicts: 1028000 | #Constraints: 114125
2709.07/2716.64 c #Conflicts: 1029000 | #Constraints: 115125
2709.07/2716.64 c #Conflicts: 1030000 | #Constraints: 116125
2709.07/2716.64 c #Conflicts: 1031000 | #Constraints: 117125
2709.07/2716.64 c #Conflicts: 1032000 | #Constraints: 118125
2709.07/2716.64 c #Conflicts: 1033000 | #Constraints: 119125
2709.07/2716.64 c #Conflicts: 1034000 | #Constraints: 120125
2709.07/2716.64 c #Conflicts: 1035000 | #Constraints: 121125
2709.07/2716.64 c #Conflicts: 1036000 | #Constraints: 122125
2709.07/2716.64 c #Conflicts: 1037000 | #Constraints: 123125
2709.07/2716.64 c #Conflicts: 1038000 | #Constraints: 124125
2709.07/2716.64 c #Conflicts: 1039000 | #Constraints: 125125
2709.07/2716.64 c #Conflicts: 1040000 | #Constraints: 126125
2709.07/2716.64 c #Conflicts: 1041000 | #Constraints: 127125
2709.07/2716.64 c #Conflicts: 1042000 | #Constraints: 128125
2709.07/2716.64 c #Conflicts: 1043000 | #Constraints: 129125
2709.07/2716.64 c #Conflicts: 1044000 | #Constraints: 130125
2709.07/2716.64 c #Conflicts: 1045000 | #Constraints: 131125
2709.07/2716.64 c #Conflicts: 1046000 | #Constraints: 132125
2709.07/2716.64 c #Conflicts: 1047000 | #Constraints: 133125
2709.07/2716.64 c #Conflicts: 1048000 | #Constraints: 134125
2709.07/2716.64 c #Conflicts: 1049000 | #Constraints: 135125
2709.07/2716.64 c #Conflicts: 1050000 | #Constraints: 136125
2709.07/2716.64 c #Conflicts: 1051000 | #Constraints: 137125
2709.07/2716.64 c #Conflicts: 1052000 | #Constraints: 138125
2709.07/2716.64 c #Conflicts: 1053000 | #Constraints: 139125
2709.07/2716.64 c #Conflicts: 1054000 | #Constraints: 140125
2709.07/2716.64 c #Conflicts: 1055000 | #Constraints: 141125
2709.07/2716.64 c #Conflicts: 1056000 | #Constraints: 142125
2709.07/2716.64 c #Conflicts: 1057000 | #Constraints: 143125
2709.07/2716.64 c #Conflicts: 1058000 | #Constraints: 144125
2709.07/2716.64 c #Conflicts: 1059000 | #Constraints: 145125
2709.07/2716.64 c #Conflicts: 1060000 | #Constraints: 146125
2709.07/2716.64 c #Conflicts: 1061000 | #Constraints: 147125
2709.07/2716.64 c #Conflicts: 1062000 | #Constraints: 148125
2709.07/2716.64 c #Conflicts: 1063000 | #Constraints: 149125
2709.07/2716.64 c #Conflicts: 1064000 | #Constraints: 150125
2709.07/2716.64 c #Conflicts: 1065000 | #Constraints: 151125
2709.07/2716.64 c #Conflicts: 1066000 | #Constraints: 152125
2709.07/2716.64 c #Conflicts: 1067000 | #Constraints: 153125
2709.07/2716.64 c INPROCESSING
2709.07/2716.64 c GARBAGE COLLECT
2709.07/2716.64 c #Conflicts: 1068000 | #Constraints: 91421
2709.07/2716.64 c #Conflicts: 1069000 | #Constraints: 92421
2709.07/2716.64 c #Conflicts: 1070000 | #Constraints: 93421
2709.07/2716.64 c #Conflicts: 1071000 | #Constraints: 94421
2709.07/2716.64 c #Conflicts: 1072000 | #Constraints: 95421
2709.07/2716.64 c #Conflicts: 1073000 | #Constraints: 96421
2709.07/2716.64 c #Conflicts: 1074000 | #Constraints: 97421
2709.07/2716.64 c #Conflicts: 1075000 | #Constraints: 98421
2709.07/2716.64 c #Conflicts: 1076000 | #Constraints: 99421
2709.07/2716.64 c #Conflicts: 1077000 | #Constraints: 100421
2709.07/2716.64 c #Conflicts: 1078000 | #Constraints: 101421
2709.07/2716.64 c #Conflicts: 1079000 | #Constraints: 102421
2709.07/2716.64 c #Conflicts: 1080000 | #Constraints: 103421
2709.07/2716.64 c #Conflicts: 1081000 | #Constraints: 104421
2709.07/2716.64 c #Conflicts: 1082000 | #Constraints: 105421
2709.07/2716.64 c #Conflicts: 1083000 | #Constraints: 106421
2709.07/2716.64 c #Conflicts: 1084000 | #Constraints: 107421
2709.07/2716.64 c #Conflicts: 1085000 | #Constraints: 108421
2709.07/2716.64 c #Conflicts: 1086000 | #Constraints: 109421
2709.07/2716.64 c #Conflicts: 1087000 | #Constraints: 110421
2709.07/2716.64 c #Conflicts: 1088000 | #Constraints: 111421
2709.07/2716.64 c #Conflicts: 1089000 | #Constraints: 112421
2709.07/2716.64 c #Conflicts: 1090000 | #Constraints: 113421
2709.07/2716.64 c #Conflicts: 1091000 | #Constraints: 114421
2709.07/2716.64 c #Conflicts: 1092000 | #Constraints: 115421
2709.07/2716.64 c #Conflicts: 1093000 | #Constraints: 116421
2709.07/2716.64 c #Conflicts: 1094000 | #Constraints: 117421
2709.07/2716.64 c #Conflicts: 1095000 | #Constraints: 118421
2709.07/2716.64 c #Conflicts: 1096000 | #Constraints: 119421
2709.07/2716.64 c #Conflicts: 1097000 | #Constraints: 120421
2709.07/2716.64 c #Conflicts: 1098000 | #Constraints: 121421
2709.07/2716.64 c #Conflicts: 1099000 | #Constraints: 122421
2709.07/2716.64 c #Conflicts: 1100000 | #Constraints: 123421
2709.07/2716.64 c #Conflicts: 1101000 | #Constraints: 124421
2709.07/2716.64 c #Conflicts: 1102000 | #Constraints: 125421
2709.07/2716.64 c #Conflicts: 1103000 | #Constraints: 126421
2709.07/2716.64 c #Conflicts: 1104000 | #Constraints: 127421
2709.07/2716.64 c #Conflicts: 1105000 | #Constraints: 128421
2709.07/2716.64 c #Conflicts: 1106000 | #Constraints: 129421
2944.26/2952.47 c #Conflicts: 1107000 | #Constraints: 130421
2944.26/2952.47 c #Conflicts: 1108000 | #Constraints: 131421
2944.26/2952.47 c #Conflicts: 1109000 | #Constraints: 132421
2944.26/2952.47 c #Conflicts: 1110000 | #Constraints: 133421
2944.26/2952.47 c #Conflicts: 1111000 | #Constraints: 134421
2944.26/2952.47 c #Conflicts: 1112000 | #Constraints: 135421
2944.26/2952.47 c #Conflicts: 1113000 | #Constraints: 136421
2944.26/2952.47 c #Conflicts: 1114000 | #Constraints: 137421
2944.26/2952.47 c #Conflicts: 1115000 | #Constraints: 138421
2944.26/2952.47 c #Conflicts: 1116000 | #Constraints: 139421
2944.26/2952.47 c #Conflicts: 1117000 | #Constraints: 140421
2944.26/2952.47 c #Conflicts: 1118000 | #Constraints: 141421
2944.26/2952.47 c #Conflicts: 1119000 | #Constraints: 142421
2944.26/2952.47 c #Conflicts: 1120000 | #Constraints: 143421
2944.26/2952.47 c #Conflicts: 1121000 | #Constraints: 144421
2944.26/2952.47 c #Conflicts: 1122000 | #Constraints: 145421
2944.26/2952.47 c #Conflicts: 1123000 | #Constraints: 146421
2944.26/2952.47 c #Conflicts: 1124000 | #Constraints: 147421
2944.26/2952.47 c #Conflicts: 1125000 | #Constraints: 148421
2944.26/2952.47 c #Conflicts: 1126000 | #Constraints: 149421
2944.26/2952.47 c #Conflicts: 1127000 | #Constraints: 150421
2944.26/2952.47 c #Conflicts: 1128000 | #Constraints: 151421
2944.26/2952.47 c #Conflicts: 1129000 | #Constraints: 152421
2944.26/2952.47 c #Conflicts: 1130000 | #Constraints: 153421
2944.26/2952.47 c #Conflicts: 1131000 | #Constraints: 154421
2944.26/2952.47 c #Conflicts: 1132000 | #Constraints: 155421
2944.26/2952.47 c #Conflicts: 1133000 | #Constraints: 156421
2944.26/2952.47 c #Conflicts: 1134000 | #Constraints: 157421
2944.26/2952.47 c INPROCESSING
2944.26/2952.47 c GARBAGE COLLECT
2944.26/2952.47 c #Conflicts: 1135000 | #Constraints: 93588
2944.26/2952.47 c #Conflicts: 1136000 | #Constraints: 94588
2944.26/2952.47 c #Conflicts: 1137000 | #Constraints: 95588
2944.26/2952.47 c #Conflicts: 1138000 | #Constraints: 96588
2944.26/2952.47 c #Conflicts: 1139000 | #Constraints: 97588
2944.26/2952.47 c #Conflicts: 1140000 | #Constraints: 98588
2944.26/2952.47 c #Conflicts: 1141000 | #Constraints: 99588
2944.26/2952.47 c #Conflicts: 1142000 | #Constraints: 100588
2944.26/2952.47 c #Conflicts: 1143000 | #Constraints: 101588
2944.26/2952.47 c #Conflicts: 1144000 | #Constraints: 102588
2944.26/2952.47 c #Conflicts: 1145000 | #Constraints: 103588
2944.26/2952.47 c #Conflicts: 1146000 | #Constraints: 104588
2944.26/2952.47 c #Conflicts: 1147000 | #Constraints: 105588
2944.26/2952.47 c #Conflicts: 1148000 | #Constraints: 106588
2944.26/2952.47 c #Conflicts: 1149000 | #Constraints: 107588
2944.26/2952.47 c #Conflicts: 1150000 | #Constraints: 108588
2944.26/2952.47 c #Conflicts: 1151000 | #Constraints: 109588
2944.26/2952.47 c #Conflicts: 1152000 | #Constraints: 110588
2944.26/2952.47 c #Conflicts: 1153000 | #Constraints: 111588
2944.26/2952.47 c #Conflicts: 1154000 | #Constraints: 112588
2944.26/2952.47 c #Conflicts: 1155000 | #Constraints: 113588
2944.26/2952.47 c #Conflicts: 1156000 | #Constraints: 114588
2944.26/2952.47 c #Conflicts: 1157000 | #Constraints: 115588
2944.26/2952.47 c #Conflicts: 1158000 | #Constraints: 116588
2944.26/2952.47 c #Conflicts: 1159000 | #Constraints: 117588
2944.26/2952.47 c #Conflicts: 1160000 | #Constraints: 118588
2944.26/2952.47 c #Conflicts: 1161000 | #Constraints: 119588
2944.26/2952.47 c #Conflicts: 1162000 | #Constraints: 120588
2944.26/2952.47 c #Conflicts: 1163000 | #Constraints: 121588
2944.26/2952.47 c #Conflicts: 1164000 | #Constraints: 122588
2944.26/2952.47 c #Conflicts: 1165000 | #Constraints: 123588
2944.26/2952.47 c #Conflicts: 1166000 | #Constraints: 124588
2944.26/2952.47 c #Conflicts: 1167000 | #Constraints: 125588
2944.26/2952.47 c #Conflicts: 1168000 | #Constraints: 126588
2944.26/2952.47 c #Conflicts: 1169000 | #Constraints: 127588
2944.26/2952.47 c #Conflicts: 1170000 | #Constraints: 128588
2944.26/2952.47 c #Conflicts: 1171000 | #Constraints: 129588
2944.26/2952.47 c #Conflicts: 1172000 | #Constraints: 130588
2944.26/2952.47 c #Conflicts: 1173000 | #Constraints: 131588
2944.26/2952.47 c #Conflicts: 1174000 | #Constraints: 132588
2944.26/2952.47 c #Conflicts: 1175000 | #Constraints: 133588
2944.26/2952.47 c #Conflicts: 1176000 | #Constraints: 134588
2944.26/2952.47 c #Conflicts: 1177000 | #Constraints: 135588
2944.26/2952.47 c #Conflicts: 1178000 | #Constraints: 136588
2944.26/2952.47 c #Conflicts: 1179000 | #Constraints: 137588
2944.26/2952.47 c #Conflicts: 1180000 | #Constraints: 138588
2944.26/2952.47 c #Conflicts: 1181000 | #Constraints: 139588
2944.26/2952.47 c #Conflicts: 1182000 | #Constraints: 140588
2944.26/2952.47 c #Conflicts: 1183000 | #Constraints: 141588
2944.26/2952.47 c #Conflicts: 1184000 | #Constraints: 142588
3168.76/3177.55 c #Conflicts: 1185000 | #Constraints: 143588
3168.76/3177.55 c #Conflicts: 1186000 | #Constraints: 144588
3168.76/3177.55 c #Conflicts: 1187000 | #Constraints: 145588
3168.76/3177.55 c #Conflicts: 1188000 | #Constraints: 146588
3168.76/3177.55 c #Conflicts: 1189000 | #Constraints: 147588
3168.76/3177.55 c #Conflicts: 1190000 | #Constraints: 148588
3168.76/3177.55 c #Conflicts: 1191000 | #Constraints: 149588
3168.76/3177.55 c #Conflicts: 1192000 | #Constraints: 150588
3168.76/3177.55 c #Conflicts: 1193000 | #Constraints: 151588
3168.76/3177.55 c #Conflicts: 1194000 | #Constraints: 152588
3168.76/3177.55 c #Conflicts: 1195000 | #Constraints: 153588
3168.76/3177.55 c #Conflicts: 1196000 | #Constraints: 154588
3168.76/3177.55 c #Conflicts: 1197000 | #Constraints: 155588
3168.76/3177.55 c #Conflicts: 1198000 | #Constraints: 156588
3168.76/3177.55 c #Conflicts: 1199000 | #Constraints: 157588
3168.76/3177.55 c #Conflicts: 1200000 | #Constraints: 158588
3168.76/3177.55 c #Conflicts: 1201000 | #Constraints: 159588
3168.76/3177.55 c #Conflicts: 1202000 | #Constraints: 160588
3168.76/3177.55 c INPROCESSING
3168.76/3177.55 c GARBAGE COLLECT
3168.76/3177.55 c #Conflicts: 1203000 | #Constraints: 95574
3168.76/3177.55 c #Conflicts: 1204000 | #Constraints: 96574
3168.76/3177.55 c #Conflicts: 1205000 | #Constraints: 97574
3168.76/3177.55 c #Conflicts: 1206000 | #Constraints: 98574
3168.76/3177.55 c #Conflicts: 1207000 | #Constraints: 99574
3168.76/3177.55 c #Conflicts: 1208000 | #Constraints: 100574
3168.76/3177.55 c #Conflicts: 1209000 | #Constraints: 101574
3168.76/3177.55 c #Conflicts: 1210000 | #Constraints: 102574
3168.76/3177.55 c #Conflicts: 1211000 | #Constraints: 103574
3168.76/3177.55 c #Conflicts: 1212000 | #Constraints: 104574
3168.76/3177.55 c #Conflicts: 1213000 | #Constraints: 105574
3168.76/3177.55 c #Conflicts: 1214000 | #Constraints: 106574
3168.76/3177.55 c #Conflicts: 1215000 | #Constraints: 107574
3168.76/3177.55 c #Conflicts: 1216000 | #Constraints: 108574
3168.76/3177.55 c #Conflicts: 1217000 | #Constraints: 109574
3168.76/3177.55 c #Conflicts: 1218000 | #Constraints: 110574
3168.76/3177.55 c #Conflicts: 1219000 | #Constraints: 111574
3168.76/3177.55 c #Conflicts: 1220000 | #Constraints: 112574
3168.76/3177.55 c #Conflicts: 1221000 | #Constraints: 113574
3168.76/3177.55 c #Conflicts: 1222000 | #Constraints: 114574
3168.76/3177.55 c #Conflicts: 1223000 | #Constraints: 115574
3168.76/3177.55 c #Conflicts: 1224000 | #Constraints: 116574
3168.76/3177.55 c #Conflicts: 1225000 | #Constraints: 117574
3168.76/3177.55 c #Conflicts: 1226000 | #Constraints: 118574
3168.76/3177.55 c #Conflicts: 1227000 | #Constraints: 119574
3168.76/3177.55 c #Conflicts: 1228000 | #Constraints: 120574
3168.76/3177.55 c #Conflicts: 1229000 | #Constraints: 121574
3168.76/3177.55 c #Conflicts: 1230000 | #Constraints: 122574
3168.76/3177.55 c #Conflicts: 1231000 | #Constraints: 123574
3168.76/3177.55 c #Conflicts: 1232000 | #Constraints: 124574
3168.76/3177.55 c #Conflicts: 1233000 | #Constraints: 125574
3168.76/3177.55 c #Conflicts: 1234000 | #Constraints: 126574
3168.76/3177.55 c #Conflicts: 1235000 | #Constraints: 127574
3168.76/3177.55 c #Conflicts: 1236000 | #Constraints: 128574
3168.76/3177.55 c #Conflicts: 1237000 | #Constraints: 129574
3168.76/3177.55 c #Conflicts: 1238000 | #Constraints: 130574
3168.76/3177.55 c #Conflicts: 1239000 | #Constraints: 131574
3168.76/3177.55 c #Conflicts: 1240000 | #Constraints: 132574
3168.76/3177.55 c #Conflicts: 1241000 | #Constraints: 133574
3168.76/3177.55 c #Conflicts: 1242000 | #Constraints: 134574
3168.76/3177.55 c #Conflicts: 1243000 | #Constraints: 135574
3168.76/3177.55 c #Conflicts: 1244000 | #Constraints: 136574
3168.76/3177.55 c #Conflicts: 1245000 | #Constraints: 137574
3168.76/3177.55 c #Conflicts: 1246000 | #Constraints: 138574
3168.76/3177.55 c #Conflicts: 1247000 | #Constraints: 139574
3168.76/3177.55 c #Conflicts: 1248000 | #Constraints: 140574
3168.76/3177.55 c #Conflicts: 1249000 | #Constraints: 141574
3168.76/3177.55 c #Conflicts: 1250000 | #Constraints: 142574
3168.76/3177.55 c #Conflicts: 1251000 | #Constraints: 143574
3168.76/3177.55 c #Conflicts: 1252000 | #Constraints: 144574
3168.76/3177.55 c #Conflicts: 1253000 | #Constraints: 145574
3168.76/3177.55 c #Conflicts: 1254000 | #Constraints: 146574
3168.76/3177.55 c #Conflicts: 1255000 | #Constraints: 147574
3168.76/3177.55 c #Conflicts: 1256000 | #Constraints: 148574
3168.76/3177.55 c #Conflicts: 1257000 | #Constraints: 149574
3168.76/3177.55 c #Conflicts: 1258000 | #Constraints: 150574
3168.76/3177.55 c #Conflicts: 1259000 | #Constraints: 151574
3168.76/3177.55 c #Conflicts: 1260000 | #Constraints: 152574
3168.76/3177.55 c #Conflicts: 1261000 | #Constraints: 153574
3168.76/3177.55 c #Conflicts: 1262000 | #Constraints: 154574
3393.29/3402.74 c #Conflicts: 1263000 | #Constraints: 155574
3393.29/3402.74 c #Conflicts: 1264000 | #Constraints: 156574
3393.29/3402.74 c #Conflicts: 1265000 | #Constraints: 157574
3393.29/3402.74 c #Conflicts: 1266000 | #Constraints: 158574
3393.29/3402.74 c #Conflicts: 1267000 | #Constraints: 159574
3393.29/3402.74 c #Conflicts: 1268000 | #Constraints: 160574
3393.29/3402.74 c #Conflicts: 1269000 | #Constraints: 161574
3393.29/3402.74 c #Conflicts: 1270000 | #Constraints: 162574
3393.29/3402.74 c #Conflicts: 1271000 | #Constraints: 163574
3393.29/3402.74 c #Conflicts: 1272000 | #Constraints: 164574
3393.29/3402.74 c INPROCESSING
3393.29/3402.74 c GARBAGE COLLECT
3393.29/3402.74 c #Conflicts: 1273000 | #Constraints: 97410
3393.29/3402.74 c #Conflicts: 1274000 | #Constraints: 98410
3393.29/3402.74 c #Conflicts: 1275000 | #Constraints: 99410
3393.29/3402.74 c #Conflicts: 1276000 | #Constraints: 100410
3393.29/3402.74 c #Conflicts: 1277000 | #Constraints: 101410
3393.29/3402.74 c #Conflicts: 1278000 | #Constraints: 102410
3393.29/3402.74 c #Conflicts: 1279000 | #Constraints: 103410
3393.29/3402.74 c #Conflicts: 1280000 | #Constraints: 104410
3393.29/3402.74 c #Conflicts: 1281000 | #Constraints: 105410
3393.29/3402.74 c #Conflicts: 1282000 | #Constraints: 106410
3393.29/3402.74 c #Conflicts: 1283000 | #Constraints: 107410
3393.29/3402.74 c #Conflicts: 1284000 | #Constraints: 108410
3393.29/3402.74 c #Conflicts: 1285000 | #Constraints: 109410
3393.29/3402.74 c #Conflicts: 1286000 | #Constraints: 110410
3393.29/3402.74 c #Conflicts: 1287000 | #Constraints: 111410
3393.29/3402.74 c #Conflicts: 1288000 | #Constraints: 112410
3393.29/3402.74 c #Conflicts: 1289000 | #Constraints: 113410
3393.29/3402.74 c #Conflicts: 1290000 | #Constraints: 114410
3393.29/3402.74 c #Conflicts: 1291000 | #Constraints: 115410
3393.29/3402.74 c #Conflicts: 1292000 | #Constraints: 116410
3393.29/3402.74 c #Conflicts: 1293000 | #Constraints: 117410
3393.29/3402.74 c #Conflicts: 1294000 | #Constraints: 118410
3393.29/3402.74 c #Conflicts: 1295000 | #Constraints: 119410
3393.29/3402.74 c #Conflicts: 1296000 | #Constraints: 120410
3393.29/3402.74 c #Conflicts: 1297000 | #Constraints: 121410
3393.29/3402.74 c #Conflicts: 1298000 | #Constraints: 122410
3393.29/3402.74 c #Conflicts: 1299000 | #Constraints: 123410
3393.29/3402.74 c #Conflicts: 1300000 | #Constraints: 124410
3393.29/3402.74 c #Conflicts: 1301000 | #Constraints: 125410
3393.29/3402.74 c #Conflicts: 1302000 | #Constraints: 126410
3393.29/3402.74 c #Conflicts: 1303000 | #Constraints: 127410
3393.29/3402.74 c #Conflicts: 1304000 | #Constraints: 128410
3393.29/3402.74 c #Conflicts: 1305000 | #Constraints: 129410
3393.29/3402.74 c #Conflicts: 1306000 | #Constraints: 130410
3393.29/3402.74 c #Conflicts: 1307000 | #Constraints: 131410
3393.29/3402.74 c #Conflicts: 1308000 | #Constraints: 132410
3393.29/3402.74 c #Conflicts: 1309000 | #Constraints: 133410
3393.29/3402.74 c #Conflicts: 1310000 | #Constraints: 134410
3393.29/3402.74 c #Conflicts: 1311000 | #Constraints: 135410
3393.29/3402.74 c #Conflicts: 1312000 | #Constraints: 136410
3393.29/3402.74 c #Conflicts: 1313000 | #Constraints: 137410
3393.29/3402.74 c #Conflicts: 1314000 | #Constraints: 138410
3393.29/3402.74 c #Conflicts: 1315000 | #Constraints: 139410
3393.29/3402.74 c #Conflicts: 1316000 | #Constraints: 140410
3393.29/3402.74 c #Conflicts: 1317000 | #Constraints: 141410
3393.29/3402.74 c #Conflicts: 1318000 | #Constraints: 142410
3393.29/3402.74 c #Conflicts: 1319000 | #Constraints: 143410
3393.29/3402.74 c #Conflicts: 1320000 | #Constraints: 144410
3393.29/3402.74 c #Conflicts: 1321000 | #Constraints: 145410
3393.29/3402.74 c #Conflicts: 1322000 | #Constraints: 146410
3393.29/3402.74 c #Conflicts: 1323000 | #Constraints: 147410
3393.29/3402.74 c #Conflicts: 1324000 | #Constraints: 148410
3393.29/3402.74 c #Conflicts: 1325000 | #Constraints: 149410
3393.29/3402.74 c #Conflicts: 1326000 | #Constraints: 150410
3393.29/3402.74 c #Conflicts: 1327000 | #Constraints: 151410
3393.29/3402.74 c #Conflicts: 1328000 | #Constraints: 152410
3393.29/3402.74 c #Conflicts: 1329000 | #Constraints: 153410
3393.29/3402.74 c #Conflicts: 1330000 | #Constraints: 154410
3393.29/3402.74 c #Conflicts: 1331000 | #Constraints: 155410
3393.29/3402.74 c #Conflicts: 1332000 | #Constraints: 156410
3393.29/3402.74 c #Conflicts: 1333000 | #Constraints: 157410
3393.29/3402.74 c #Conflicts: 1334000 | #Constraints: 158410
3393.29/3402.74 c #Conflicts: 1335000 | #Constraints: 159410
3393.29/3402.74 c #Conflicts: 1336000 | #Constraints: 160410
3393.29/3402.74 c #Conflicts: 1337000 | #Constraints: 161410
3393.29/3402.74 c #Conflicts: 1338000 | #Constraints: 162410
3393.29/3402.74 c #Conflicts: 1339000 | #Constraints: 163410
3393.29/3402.74 c #Conflicts: 1340000 | #Constraints: 164410
3393.29/3402.74 c #Conflicts: 1341000 | #Constraints: 165410
3600.08/3610.11 c #Conflicts: 1342000 | #Constraints: 166410
3600.08/3610.11 c #Conflicts: 1343000 | #Constraints: 167410
3600.08/3610.11 c #Conflicts: 1344000 | #Constraints: 168410
3600.08/3610.11 c #Conflicts: 1345000 | #Constraints: 169410
3600.08/3610.11 c INPROCESSING
3600.08/3610.11 c GARBAGE COLLECT
3600.08/3610.11 c #Conflicts: 1346000 | #Constraints: 100179
3600.08/3610.11 c #Conflicts: 1347000 | #Constraints: 101179
3600.08/3610.11 c #Conflicts: 1348000 | #Constraints: 102179
3600.08/3610.11 c #Conflicts: 1349000 | #Constraints: 103179
3600.08/3610.11 c #Conflicts: 1350000 | #Constraints: 104179
3600.08/3610.11 c #Conflicts: 1351000 | #Constraints: 105179
3600.08/3610.11 c #Conflicts: 1352000 | #Constraints: 106179
3600.08/3610.11 c #Conflicts: 1353000 | #Constraints: 107179
3600.08/3610.11 c #Conflicts: 1354000 | #Constraints: 108179
3600.08/3610.11 c #Conflicts: 1355000 | #Constraints: 109179
3600.08/3610.11 c #Conflicts: 1356000 | #Constraints: 110179
3600.08/3610.11 c #Conflicts: 1357000 | #Constraints: 111179
3600.08/3610.11 c #Conflicts: 1358000 | #Constraints: 112179
3600.08/3610.11 c #Conflicts: 1359000 | #Constraints: 113179
3600.08/3610.11 c #Conflicts: 1360000 | #Constraints: 114179
3600.08/3610.11 c #Conflicts: 1361000 | #Constraints: 115179
3600.08/3610.11 c #Conflicts: 1362000 | #Constraints: 116179
3600.08/3610.11 c #Conflicts: 1363000 | #Constraints: 117179
3600.08/3610.11 c #Conflicts: 1364000 | #Constraints: 118179
3600.08/3610.11 c #Conflicts: 1365000 | #Constraints: 119179
3600.08/3610.11 c #Conflicts: 1366000 | #Constraints: 120179
3600.08/3610.11 c #Conflicts: 1367000 | #Constraints: 121179
3600.08/3610.11 c #Conflicts: 1368000 | #Constraints: 122179
3600.08/3610.11 c #Conflicts: 1369000 | #Constraints: 123179
3600.08/3610.11 c #Conflicts: 1370000 | #Constraints: 124179
3600.08/3610.11 c #Conflicts: 1371000 | #Constraints: 125179
3600.08/3610.11 c #Conflicts: 1372000 | #Constraints: 126179
3600.08/3610.11 c #Conflicts: 1373000 | #Constraints: 127179
3600.08/3610.11 c #Conflicts: 1374000 | #Constraints: 128179
3600.08/3610.11 c #Conflicts: 1375000 | #Constraints: 129179
3600.08/3610.11 c #Conflicts: 1376000 | #Constraints: 130179
3600.08/3610.11 c #Conflicts: 1377000 | #Constraints: 131179
3600.08/3610.11 c #Conflicts: 1378000 | #Constraints: 132179
3600.08/3610.11 c #Conflicts: 1379000 | #Constraints: 133179
3600.08/3610.11 c #Conflicts: 1380000 | #Constraints: 134179
3600.08/3610.11 c #Conflicts: 1381000 | #Constraints: 135179
3600.08/3610.11 c #Conflicts: 1382000 | #Constraints: 136179
3600.08/3610.11 c #Conflicts: 1383000 | #Constraints: 137179
3600.08/3610.11 c #Conflicts: 1384000 | #Constraints: 138179
3600.08/3610.11 c #Conflicts: 1385000 | #Constraints: 139179
3600.08/3610.11 c #Conflicts: 1386000 | #Constraints: 140179
3600.08/3610.11 c #Conflicts: 1387000 | #Constraints: 141179
3600.08/3610.11 c #Conflicts: 1388000 | #Constraints: 142179
3600.08/3610.11 c #Conflicts: 1389000 | #Constraints: 143179
3600.08/3610.11 c #Conflicts: 1390000 | #Constraints: 144179
3600.08/3610.11 c #Conflicts: 1391000 | #Constraints: 145179
3600.08/3610.11 c #Conflicts: 1392000 | #Constraints: 146179
3600.08/3610.11 c #Conflicts: 1393000 | #Constraints: 147179
3600.08/3610.11 c #Conflicts: 1394000 | #Constraints: 148179
3600.08/3610.11 c #Conflicts: 1395000 | #Constraints: 149179
3600.08/3610.11 c #Conflicts: 1396000 | #Constraints: 150179
3600.08/3610.11 c #Conflicts: 1397000 | #Constraints: 151179
3600.08/3610.11 c #Conflicts: 1398000 | #Constraints: 152179
3600.08/3610.11 c #Conflicts: 1399000 | #Constraints: 153179
3600.08/3610.11 c #Conflicts: 1400000 | #Constraints: 154179
3600.08/3610.11 c #Conflicts: 1401000 | #Constraints: 155179
3600.08/3610.11 c #Conflicts: 1402000 | #Constraints: 156179
3600.08/3610.11 c #Conflicts: 1403000 | #Constraints: 157179
3600.08/3610.11 c #Conflicts: 1404000 | #Constraints: 158179
3600.08/3610.11 c #Conflicts: 1405000 | #Constraints: 159179
3600.08/3610.11 c #Conflicts: 1406000 | #Constraints: 160179
3600.08/3610.11 c #Conflicts: 1407000 | #Constraints: 161179
3600.08/3610.11 c #Conflicts: 1408000 | #Constraints: 162179
3600.08/3610.11 c #Conflicts: 1409000 | #Constraints: 163179
3600.08/3610.11 c #Conflicts: 1410000 | #Constraints: 164179
3600.08/3610.11 c #Conflicts: 1411000 | #Constraints: 165179
3600.08/3610.11 c #Conflicts: 1412000 | #Constraints: 166179
3600.08/3610.11 c #Conflicts: 1413000 | #Constraints: 167179
3600.08/3610.11 c Disabling crashed LP
3600.08/3610.11 c cpu time 3562.14 s
3600.08/3610.11 c deterministic time 283614530101 2.84e+11
3600.08/3610.11 c optimization time 190.715 s
3600.08/3610.11 c total solve time 3371.33 s
3600.08/3610.11 c core-guided solve time 0 s
3600.08/3610.11 c propagation time 2097.51 s
3600.08/3610.11 c conflict analysis time 1013.49 s
3600.08/3610.11 c propagations 1525380398
3600.08/3610.11 c resolve steps 78544253
3600.08/3610.11 c decisions 44674410
3600.08/3610.11 c conflicts 1413462
3600.08/3610.11 c restarts 2726
3600.08/3610.11 c inprocessing phases 38
3600.08/3610.11 c garbage collections 38 ,( 100.00 )
3600.08/3610.11 c input clauses 23660 ,( 99.18 )
3600.08/3610.11 c input cardinalities 196 ,( 0.82 )
3600.08/3610.11 c input general constraints 0 ,( 0.00 )
3600.08/3610.11 c input average constraint length 6.42
3600.08/3610.11 c input average constraint degree 1.96
3600.08/3610.11 c learned clauses 1007655 ,( 71.29 )
3600.08/3610.11 c learned cardinalities 51757 ,( 3.66 )
3600.08/3610.11 c learned general constraints 354053 ,( 25.05 )
3600.08/3610.11 c learned average constraint length 618.70
3600.08/3610.11 c learned average constraint degree 11562317.76
3600.08/3610.11 c watched CF 32, 64, 128, Arb: 80006 , 0 , 0 , 0
3600.08/3610.11 c counting CF 32, 64, 128, Arb: 274047 , 0 , 0 , 0
3600.08/3610.11 c watched constraints 80006 ,( 22.60 )
3600.08/3610.11 c counting constraints 274047 ,( 77.40 )
3600.08/3610.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1397853332 , 919614613 , 2132732085 ,( 96621776 , 2036110309 )
3600.08/3610.11 c gcd simplifications 674
3600.08/3610.11 c detected cardinalities 8883
3600.08/3610.11 c weakened non-implied lits 377607350
3600.08/3610.11 c weakened non-implying lits 169789
3600.08/3610.11 c original variables 23369
3600.08/3610.11 c clausal propagations 721014885
3600.08/3610.11 c cardinality propagations 556832282
3600.08/3610.11 c watched propagations 4270276
3600.08/3610.11 c counting propagations 229002931
3600.08/3610.11 c watch lookups 88626284969
3600.08/3610.11 c watch backjump lookups 0
3600.08/3610.11 c watch checks 32594285111
3600.08/3610.11 c propagation checks 154868120060
3600.08/3610.11 c constraint additions 4384050622
3600.08/3610.11 c trail pops 1571450613
3600.08/3610.11 c formula constraints 23856
3600.08/3610.11 c learned constraints 1413460
3600.08/3610.11 c bound constraints 0
3600.08/3610.11 c core-guided constraints 0
3600.08/3610.11 c encountered formula constraints 47896213
3600.08/3610.11 c encountered learned constraints 32061336
3600.08/3610.11 c encountered bound constraints 0
3600.08/3610.11 c encountered core-guided constraints 0
3600.08/3610.11 c LP total time 455.818 s
3600.08/3610.11 c LP solve time 451.65 s
3600.08/3610.11 c LP constraints added 24024
3600.08/3610.11 c LP constraints removed 0
3600.08/3610.11 c LP pivots internal 141346
3600.08/3610.11 c LP pivots root 142571
3600.08/3610.11 c LP calls 14
3600.08/3610.11 c LP optimalities 5
3600.08/3610.11 c LP no pivot count 0
3600.08/3610.11 c LP infeasibilities 2
3600.08/3610.11 c LP valid Farkas constraints 2
3600.08/3610.11 c LP learned Farkas constraints 2
3600.08/3610.11 c LP basis resets 0
3600.08/3610.11 c LP cycling count 0
3600.08/3610.11 c LP singular count 0
3600.08/3610.11 c LP no primal count 0
3600.08/3610.11 c LP no farkas count 0
3600.08/3610.11 c LP other issue count 0
3600.08/3610.11 c LP Gomory cuts 1
3600.08/3610.11 c LP learned cuts 167
3600.08/3610.11 c LP deleted cuts 0
3600.08/3610.11 c LP encountered Gomory constraints 0
3600.08/3610.11 c LP encountered Farkas constraints 163
3600.08/3610.11 c LP encountered learned Farkas constraints 1
3600.08/3610.11 c CG auxiliary variables introduced 0
3600.08/3610.11 c CG solutions found 0
3600.08/3610.11 c CG cores constructed 0
3600.08/3610.11 c CG core cardinality constraints returned 0
3600.08/3610.11 c CG unit cores 0
3600.08/3610.11 c CG single cores 0
3600.08/3610.11 c CG blocks removed during cardinality reduction 0
3600.08/3610.11 c CG first core best 0
3600.08/3610.11 c CG decision core best 0
3600.08/3610.11 c CG core reduction tie 0
3600.08/3610.11 c CG core degree average 0.00
3600.08/3610.11 c CG core slack average 0.00
3600.08/3610.11 c CG core upper bound improvements 0
3600.08/3610.11 c STR number of successful calls 0
3600.08/3610.11 c STR number of unsuccessful calls 0
3600.08/3610.11 c STR number of inconclusive calls 0
3600.08/3610.11 c STR number of successful attempts 0
3600.08/3610.11 c STR number of unsuccessful attempts 0
3600.08/3610.11 c STR number of inconclusive attempts 0
3600.08/3610.11 c STR average degree increase per successful call inf
3600.08/3610.11 c STR average degree increase per successful attempt inf
3600.08/3610.11 c STR total number of conflicts for successful attempts 0
3600.08/3610.11 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.11 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.11 c STR average number of conflicts per successful attempt inf
3600.08/3610.11 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.11 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.11 c AVG.sumWPerc 68.16
3600.08/3610.11 c bigint constraints 0
3600.08/3610.11 s UNKNOWN
3600.08/3610.11 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62988 MiB free)
memory of node 1: 64507 MiB (63943 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507124-1751176317/watcher-4507124-1751176317 -o /tmp/evaluation-result-4507124-1751176317/solver-4507124-1751176317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18876 --watchdog 3760 run-dec-break.sh HOME/instance-4507124-1751176317.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=19310, runsolver pid=19307
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.12 4.10 4.03 5/268 19312
/proc/meminfo: memFree=129917068/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+0.205503 s]*
/proc/loadavg: 4.12 4.10 4.03 5/268 19313
/proc/meminfo: memFree=129916564/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=75492 memory=31256 CPUtime=0.09 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 6370 0 0 0 6 3 0 0 20 0 1 0 33309497 77303808 7814 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 18873 7814 2272 1147 0 6300 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 79684 KiB
Current children cumulated memory: 34328 KiB
[startup+0.305565 s]*
/proc/loadavg: 4.12 4.10 4.03 5/268 19313
/proc/meminfo: memFree=129900180/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=119952 memory=66404 CPUtime=0.19 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 12470 0 0 0 15 4 0 0 20 0 1 0 33309497 122830848 16601 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 29988 16601 2304 1147 0 17415 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 124144 KiB
Current children cumulated memory: 69476 KiB
[startup+0.700193 s]
/proc/loadavg: 4.12 4.10 4.03 5/268 19313
/proc/meminfo: memFree=129900180/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=121272 memory=69220 CPUtime=0.57 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 13158 0 0 0 53 4 0 0 20 0 1 0 33309497 124182528 17305 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 30318 17305 2304 1147 0 17745 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 125464 KiB
Current children cumulated memory: 72292 KiB
[startup+1.50016 s]
/proc/loadavg: 4.12 4.10 4.03 5/268 19313
/proc/meminfo: memFree=129900260/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=121272 memory=69220 CPUtime=1.37 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 13158 0 0 0 133 4 0 0 20 0 1 0 33309497 124182528 17305 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 30318 17305 2304 1147 0 17745 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 125464 KiB
Current children cumulated memory: 72292 KiB
[startup+3.10538 s]
/proc/loadavg: 4.11 4.09 4.03 5/268 19313
/proc/meminfo: memFree=129893008/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=124356 memory=72548 CPUtime=2.98 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 14004 0 0 0 293 5 0 0 20 0 1 0 33309497 127340544 18137 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 31089 18137 2304 1147 0 18516 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 128548 KiB
Current children cumulated memory: 75620 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.09 4.03 5/268 19313
/proc/meminfo: memFree=129880408/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=129104 memory=80972 CPUtime=6.17 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 15522 0 0 0 601 16 0 0 20 0 1 0 33309497 132202496 20243 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 32276 20243 2368 1147 0 19703 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 133296 KiB
Current children cumulated memory: 84044 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.03 5/268 19313
/proc/meminfo: memFree=129853784/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=138696 memory=88396 CPUtime=12.54 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 17380 0 0 0 1217 37 0 0 20 0 1 0 33309497 142024704 22099 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 34674 22099 2368 1147 0 22101 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 142888 KiB
Current children cumulated memory: 91468 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.03 5/268 19313
/proc/meminfo: memFree=129766100/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=157432 memory=107000 CPUtime=25.3 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 21530 0 0 0 2456 74 0 0 20 0 1 0 33309497 161210368 26750 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 39358 26750 2368 1147 0 26785 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 161624 KiB
Current children cumulated memory: 110072 KiB
[startup+51.1054 s]
/proc/loadavg: 4.05 4.08 4.03 5/268 19313
/proc/meminfo: memFree=129636996/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=193148 memory=133552 CPUtime=50.83 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 27204 0 0 0 4933 150 0 0 20 0 1 0 33309497 197783552 33388 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 48287 33388 2368 1147 0 35714 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 197340 KiB
Current children cumulated memory: 136624 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.03 5/267 19315
/proc/meminfo: memFree=129471900/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=248604 memory=182328 CPUtime=101.86 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 36852 0 0 0 9948 238 0 0 20 0 1 0 33309497 254570496 45582 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 62151 45582 2368 1147 0 49578 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 252796 KiB
Current children cumulated memory: 185400 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.09 4.03 5/266 19317
/proc/meminfo: memFree=129268284/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=303472 memory=227320 CPUtime=161.68 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 42990 0 0 0 15795 373 0 0 20 0 1 0 33309497 310755328 56830 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 75868 56830 2368 1147 0 63295 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 307664 KiB
Current children cumulated memory: 230392 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/266 19319
/proc/meminfo: memFree=129157484/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=326248 memory=251400 CPUtime=221.49 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 48488 0 0 0 21677 472 0 0 20 0 1 0 33309497 334077952 62850 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 81562 62850 2400 1147 0 68989 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 330440 KiB
Current children cumulated memory: 254472 KiB
################
# More data... #
################
/proc/19313/statm: 238706 216755 2400 1147 0 226133 0
Current children cumulated CPU time: 3093.77 s
Current children cumulated vsize: 959016 KiB
Current children cumulated memory: 870092 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 19470
/proc/meminfo: memFree=126256216/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=954824 memory=867148 CPUtime=3153.53 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 136656 0 0 0 311941 3412 0 0 20 0 1 0 33309497 977739776 216787 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 238706 216787 2400 1147 0 226133 0
Current children cumulated CPU time: 3153.61 s
Current children cumulated vsize: 959016 KiB
Current children cumulated memory: 870220 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 19472
/proc/meminfo: memFree=126233188/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=963232 memory=874572 CPUtime=3213.35 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 138551 0 0 0 317882 3453 0 0 20 0 1 0 33309497 986349568 218643 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 240808 218643 2400 1147 0 228235 0
Current children cumulated CPU time: 3213.43 s
Current children cumulated vsize: 967424 KiB
Current children cumulated memory: 877644 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 19475
/proc/meminfo: memFree=126209780/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=963232 memory=874700 CPUtime=3273.18 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 138574 0 0 0 323784 3534 0 0 20 0 1 0 33309497 986349568 218675 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 240808 218675 2400 1147 0 228235 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 967424 KiB
Current children cumulated memory: 877772 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 19480
/proc/meminfo: memFree=126201868/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=963232 memory=874700 CPUtime=3332.99 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 138579 0 0 0 329717 3582 0 0 20 0 1 0 33309497 986349568 218675 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 240808 218675 2400 1147 0 228235 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 967424 KiB
Current children cumulated memory: 877772 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19486
/proc/meminfo: memFree=126201900/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=963820 memory=875340 CPUtime=3392.82 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 138856 0 0 0 335676 3606 0 0 20 0 1 0 33309497 986951680 218835 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 240955 218835 2400 1147 0 228382 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 968012 KiB
Current children cumulated memory: 878412 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 19489
/proc/meminfo: memFree=126202660/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=968708 memory=879820 CPUtime=3452.64 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 140148 0 0 0 341611 3653 0 0 20 0 1 0 33309497 991956992 219955 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 242177 219955 2400 1147 0 229604 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 972900 KiB
Current children cumulated memory: 882892 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 19491
/proc/meminfo: memFree=126210028/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=968708 memory=879948 CPUtime=3512.46 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 140206 0 0 0 347529 3717 0 0 20 0 1 0 33309497 991956992 219987 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 242177 219987 2400 1147 0 229604 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 972900 KiB
Current children cumulated memory: 883020 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 19494
/proc/meminfo: memFree=126209808/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=972648 memory=883276 CPUtime=3572.27 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 141050 0 0 0 353462 3765 0 0 20 0 1 0 33309497 995991552 220819 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 243162 220819 2400 1147 0 230589 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 976840 KiB
Current children cumulated memory: 886348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.11 4.09 4.09 2/256 19522
/proc/meminfo: memFree=129213492/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=978636 memory=887372 CPUtime=3600 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 142101 0 0 0 356213 3787 0 0 20 0 1 0 33309497 1002123264 221843 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 244659 221843 2400 1147 0 232086 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 982828 KiB
Current children cumulated memory: 890444 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.11 s]
# the end of solver process 19310 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.065955 s, system=0.028889 s
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 19313 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3562.22 s, system=37.907 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+3610.11 s]
/proc/loadavg: 4.11 4.09 4.09 2/256 19522
/proc/meminfo: memFree=129213492/131249996 swapFree=33010684/33010684
[pid=19310] ppid=19307 vsize=4192 memory=3072 CPUtime=0.08 cores=0,2
/proc/19310/stat : 19310 (run-dec-break.s) S 19307 19310 18866 0 -1 4194304 235 15317 0 0 0 0 6 2 20 0 1 0 33309487 4292608 768 18446744073709551615 94538502713344 94538503607877 140732114072528 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94538503846928 94538503894672 94538529095680 140732114073953 140732114074082 140732114074082 140732114079684 0
/proc/19310/statm: 1048 768 704 219 0 110 0
[pid=19313] ppid=19310 vsize=978636 memory=887372 CPUtime=3600 cores=0,2
/proc/19313/stat : 19313 (roundingsat) R 19310 19310 18866 0 -1 4194304 142101 0 0 0 356213 3787 0 0 20 0 1 0 33309497 1002123264 221843 18446744073709551615 4227072 8923433 140735062438864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35508224 140735062440260 140735062440488 140735062440488 140735062446058 0
/proc/19313/statm: 244659 221843 2400 1147 0 232086 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 982828 KiB
Current children cumulated memory: 890444 KiB
Child status: 2
Real time (s): 3610.12
CPU time (s): 3600.12
CPU user time (s): 3562.22
CPU system time (s): 37.907
CPU usage (%): 99.7231
Max. virtual memory (cumulated for all children) (KiB): 982828
Max. memory (cumulated for all children) (KiB): 890444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.22
system time used= 37.907
maximum resident set size= 887628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157696
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 380
involuntary context switches= 8054
# summary of solver processes directly reported to runsolver:
# pid: 19310,19313
# total CPU time (s): 3600.12
# total CPU user time (s): 3562.22
# total CPU system time (s): 37.907
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1921 second user time and 16.1826 second system time
The end
Begin job on nodeC022 at 2025-06-29 07:51:57
IDJOB=4507124
IDBENCH=158326
IDSOLVER=3357
FILE ID=nodeC022/4507124-1751176317
RUNJOBID= nodeC022-1751172706-18876
SLURM_JOB_ID= 9587539
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507124-1751176317/watcher-4507124-1751176317 -o /tmp/evaluation-result-4507124-1751176317/solver-4507124-1751176317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18876 --watchdog 3760 run-dec-break.sh HOME/instance-4507124-1751176317.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b
RANDOM SEED=1684975713
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.694
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.680
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.071
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.735
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.493
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.744
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3606.946
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130032988 kB
MemAvailable: 129691228 kB
Buffers: 3280 kB
Cached: 469160 kB
SwapCached: 0 kB
Active: 390828 kB
Inactive: 220800 kB
Active(anon): 157248 kB
Inactive(anon): 0 kB
Active(file): 233580 kB
Inactive(file): 220800 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 38948 kB
Writeback: 0 kB
AnonPages: 142412 kB
Mapped: 114376 kB
Shmem: 18060 kB
KReclaimable: 85796 kB
Slab: 168880 kB
SReclaimable: 85796 kB
SUnreclaim: 83084 kB
KernelStack: 4304 kB
PageTables: 3444 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 488480 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC022 at 2025-06-29 08:52:08