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-4506801-1751170426.opb'
0.00/0.03 c read 1.12MB (15.66ms)
0.00/0.03 c [cnf: #variables 16422 #clauses 16700 #duplicates 0 #arr 107356]
0.00/0.03 c output proof to 'PROOFDIR/proof-4506801-1751170426'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 2484] (20.36ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.05 c (3.35ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 82388 #edges 313244]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07 c [group: #symmetries 4.80*10^1 #generators 5] (16.60ms)
0.00/0.07 c
0.00/0.07 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.07 c (0.06ms)
0.00/0.07 c
0.00/0.07 c finalize break order and special generators
0.00/0.07 c
0.00/0.07 c add generic predicates (break_depth=10)
0.00/0.07 c added predicates for 5 generators (0.07ms)
0.00/0.08 c
0.00/0.08 c generation finished
0.00/0.08 c [sbp: #constraints 140 #add_vars 45]
0.00/0.08 c
0.00/0.08 c write result to 'HOME/instance-4506801-1751170426.opb.pre'
0.00/0.08 c wrote 1.14MB (2.67ms)
0.00/0.08 c ------------------------------------------------------------------
0.00/0.08 c 20.36ms 28.21% approx_orbits
0.00/0.08 c 16.60ms 23.00% detect_generic
0.00/0.08 c 15.66ms 21.70% parse
0.00/0.08 c 12.80ms 17.73% other
0.00/0.08 c 3.35ms 4.65% detect_special
0.00/0.08 c 2.67ms 3.69% output
0.00/0.08 c 0.60ms 0.83% finalize_order
0.00/0.08 c 0.07ms 0.10% break_generic
0.00/0.08 c 0.06ms 0.09% optimize_gens
0.00/0.08 c ───────────────────────────────────────────────
0.00/0.08 c 72.17ms 100% total
0.00/0.08 c ------------------------------------------------------------------
0.07/0.10 c RoundingSat 2
0.07/0.10 c branch pb25
0.07/0.10 c commit 63f22ad
0.16/0.24 c #variables 16467 #constraints 16838
118.73/119.55 c #Conflicts: 1000 | #Constraints: 17837
118.73/119.55 c #Conflicts: 2000 | #Constraints: 18837
118.73/119.55 c INPROCESSING
118.73/119.55 c GARBAGE COLLECT
118.73/119.55 c #Conflicts: 3000 | #Constraints: 18160
118.73/119.55 c #Conflicts: 4000 | #Constraints: 19160
118.73/119.55 c INPROCESSING
118.73/119.55 c GARBAGE COLLECT
118.73/119.55 c #Conflicts: 5000 | #Constraints: 18658
118.73/119.55 c #Conflicts: 6000 | #Constraints: 19658
118.73/119.55 c INPROCESSING
118.73/119.55 c GARBAGE COLLECT
118.73/119.55 c #Conflicts: 7000 | #Constraints: 18714
118.73/119.55 c #Conflicts: 8000 | #Constraints: 19714
118.73/119.55 c #Conflicts: 9000 | #Constraints: 20714
118.73/119.55 c INPROCESSING
118.73/119.55 c GARBAGE COLLECT
118.73/119.55 c #Conflicts: 10000 | #Constraints: 19491
118.73/119.55 c #Conflicts: 11000 | #Constraints: 20491
118.73/119.55 c #Conflicts: 12000 | #Constraints: 21491
118.73/119.55 c INPROCESSING
118.73/119.55 c GARBAGE COLLECT
118.73/119.55 c #Conflicts: 13000 | #Constraints: 19995
118.73/119.55 c #Conflicts: 14000 | #Constraints: 20995
118.73/119.55 c #Conflicts: 15000 | #Constraints: 21995
118.73/119.55 c #Conflicts: 16000 | #Constraints: 22995
118.73/119.55 c #Conflicts: 17000 | #Constraints: 23995
118.73/119.55 c #Conflicts: 18000 | #Constraints: 24995
118.73/119.55 c #Conflicts: 19000 | #Constraints: 25995
118.73/119.55 c #Conflicts: 20000 | #Constraints: 26995
118.73/119.55 c INPROCESSING
118.73/119.55 c GARBAGE COLLECT
118.73/119.55 c #Conflicts: 21000 | #Constraints: 22637
118.73/119.55 c #Conflicts: 22000 | #Constraints: 23637
118.73/119.55 c #Conflicts: 23000 | #Constraints: 24637
118.73/119.55 c #Conflicts: 24000 | #Constraints: 25637
118.73/119.55 c INPROCESSING
118.73/119.55 c GARBAGE COLLECT
118.73/119.55 c #Conflicts: 25000 | #Constraints: 21916
118.73/119.55 c #Conflicts: 26000 | #Constraints: 22916
118.73/119.55 c #Conflicts: 27000 | #Constraints: 23916
118.73/119.55 c #Conflicts: 28000 | #Constraints: 24916
118.73/119.55 c INPROCESSING
118.73/119.55 c GARBAGE COLLECT
118.73/119.55 c #Conflicts: 29000 | #Constraints: 21459
118.73/119.55 c #Conflicts: 30000 | #Constraints: 22459
118.73/119.55 c #Conflicts: 31000 | #Constraints: 23459
118.73/119.55 c #Conflicts: 32000 | #Constraints: 24459
118.73/119.55 c #Conflicts: 33000 | #Constraints: 25459
118.73/119.55 c #Conflicts: 34000 | #Constraints: 26459
118.73/119.55 c #Conflicts: 35000 | #Constraints: 27459
118.73/119.55 c #Conflicts: 36000 | #Constraints: 28459
118.73/119.55 c #Conflicts: 37000 | #Constraints: 29459
118.73/119.55 c #Conflicts: 38000 | #Constraints: 30459
118.73/119.55 c #Conflicts: 39000 | #Constraints: 31459
118.73/119.55 c #Conflicts: 40000 | #Constraints: 32459
118.73/119.55 c #Conflicts: 41000 | #Constraints: 33459
118.73/119.55 c INPROCESSING
118.73/119.55 c GARBAGE COLLECT
118.73/119.55 c #Conflicts: 42000 | #Constraints: 26011
118.73/119.55 c #Conflicts: 43000 | #Constraints: 27011
118.73/119.55 c #Conflicts: 44000 | #Constraints: 28011
118.73/119.55 c #Conflicts: 45000 | #Constraints: 29011
118.73/119.55 c #Conflicts: 46000 | #Constraints: 30011
118.73/119.55 c #Conflicts: 47000 | #Constraints: 31011
118.73/119.55 c INPROCESSING
118.73/119.55 c GARBAGE COLLECT
118.73/119.55 c #Conflicts: 48000 | #Constraints: 24965
118.73/119.55 c #Conflicts: 49000 | #Constraints: 25965
118.73/119.55 c #Conflicts: 50000 | #Constraints: 26965
118.73/119.55 c #Conflicts: 51000 | #Constraints: 27965
118.73/119.55 c #Conflicts: 52000 | #Constraints: 28965
118.73/119.55 c INPROCESSING
118.73/119.55 c GARBAGE COLLECT
118.73/119.55 c #Conflicts: 53000 | #Constraints: 23979
118.73/119.55 c #Conflicts: 54000 | #Constraints: 24979
118.73/119.55 c #Conflicts: 55000 | #Constraints: 25979
118.73/119.55 c #Conflicts: 56000 | #Constraints: 26979
118.73/119.55 c #Conflicts: 57000 | #Constraints: 27979
118.73/119.55 c #Conflicts: 58000 | #Constraints: 28979
118.73/119.55 c #Conflicts: 59000 | #Constraints: 29979
118.73/119.55 c #Conflicts: 60000 | #Constraints: 30979
118.73/119.55 c #Conflicts: 61000 | #Constraints: 31979
118.73/119.55 c #Conflicts: 62000 | #Constraints: 32979
118.73/119.55 c #Conflicts: 63000 | #Constraints: 33979
118.73/119.55 c #Conflicts: 64000 | #Constraints: 34979
118.73/119.55 c #Conflicts: 65000 | #Constraints: 35979
118.73/119.55 c #Conflicts: 66000 | #Constraints: 36979
118.73/119.55 c #Conflicts: 67000 | #Constraints: 37979
118.73/119.55 c #Conflicts: 68000 | #Constraints: 38979
118.73/119.55 c #Conflicts: 69000 | #Constraints: 39979
118.73/119.55 c INPROCESSING
118.73/119.55 c GARBAGE COLLECT
118.73/119.55 c #Conflicts: 70000 | #Constraints: 29253
118.73/119.55 c #Conflicts: 71000 | #Constraints: 30253
118.73/119.55 c #Conflicts: 72000 | #Constraints: 31253
259.76/261.11 c #Conflicts: 73000 | #Constraints: 32253
259.76/261.11 c #Conflicts: 74000 | #Constraints: 33253
259.76/261.11 c #Conflicts: 75000 | #Constraints: 34253
259.76/261.11 c #Conflicts: 76000 | #Constraints: 35253
259.76/261.11 c INPROCESSING
259.76/261.11 c GARBAGE COLLECT
259.76/261.11 c #Conflicts: 77000 | #Constraints: 26911
259.76/261.11 c #Conflicts: 78000 | #Constraints: 27911
259.76/261.11 c #Conflicts: 79000 | #Constraints: 28911
259.76/261.11 c #Conflicts: 80000 | #Constraints: 29911
259.76/261.11 c #Conflicts: 81000 | #Constraints: 30911
259.76/261.11 c #Conflicts: 82000 | #Constraints: 31911
259.76/261.11 c #Conflicts: 83000 | #Constraints: 32911
259.76/261.11 c #Conflicts: 84000 | #Constraints: 33911
259.76/261.11 c INPROCESSING
259.76/261.11 c GARBAGE COLLECT
259.76/261.11 c #Conflicts: 85000 | #Constraints: 27535
259.76/261.11 c #Conflicts: 86000 | #Constraints: 28535
259.76/261.11 c #Conflicts: 87000 | #Constraints: 29535
259.76/261.11 c #Conflicts: 88000 | #Constraints: 30535
259.76/261.11 c #Conflicts: 89000 | #Constraints: 31535
259.76/261.11 c #Conflicts: 90000 | #Constraints: 32535
259.76/261.11 c #Conflicts: 91000 | #Constraints: 33535
259.76/261.11 c #Conflicts: 92000 | #Constraints: 34535
259.76/261.11 c #Conflicts: 93000 | #Constraints: 35535
259.76/261.11 c #Conflicts: 94000 | #Constraints: 36535
259.76/261.11 c #Conflicts: 95000 | #Constraints: 37535
259.76/261.11 c #Conflicts: 96000 | #Constraints: 38535
259.76/261.11 c #Conflicts: 97000 | #Constraints: 39535
259.76/261.11 c #Conflicts: 98000 | #Constraints: 40535
259.76/261.11 c #Conflicts: 99000 | #Constraints: 41535
259.76/261.11 c #Conflicts: 100000 | #Constraints: 42535
259.76/261.11 c #Conflicts: 101000 | #Constraints: 43536
259.76/261.11 c #Conflicts: 102000 | #Constraints: 44536
259.76/261.11 c #Conflicts: 103000 | #Constraints: 45536
259.76/261.11 c #Conflicts: 104000 | #Constraints: 46536
259.76/261.11 c #Conflicts: 105000 | #Constraints: 47536
259.76/261.11 c INPROCESSING
259.76/261.11 c GARBAGE COLLECT
259.76/261.11 c #Conflicts: 106000 | #Constraints: 33408
259.76/261.11 c #Conflicts: 107000 | #Constraints: 34408
259.76/261.11 c #Conflicts: 108000 | #Constraints: 35408
259.76/261.11 c #Conflicts: 109000 | #Constraints: 36408
259.76/261.11 c #Conflicts: 110000 | #Constraints: 37408
259.76/261.11 c #Conflicts: 111000 | #Constraints: 38408
259.76/261.11 c #Conflicts: 112000 | #Constraints: 39408
259.76/261.11 c #Conflicts: 113000 | #Constraints: 40408
259.76/261.11 c INPROCESSING
259.76/261.11 c GARBAGE COLLECT
259.76/261.11 c #Conflicts: 114000 | #Constraints: 29504
259.76/261.11 c #Conflicts: 115000 | #Constraints: 30504
259.76/261.11 c #Conflicts: 116000 | #Constraints: 31504
259.76/261.11 c #Conflicts: 117000 | #Constraints: 32504
259.76/261.11 c #Conflicts: 118000 | #Constraints: 33504
259.76/261.11 c #Conflicts: 119000 | #Constraints: 34504
259.76/261.11 c #Conflicts: 120000 | #Constraints: 35504
259.76/261.11 c #Conflicts: 121000 | #Constraints: 36504
259.76/261.11 c #Conflicts: 122000 | #Constraints: 37504
259.76/261.11 c #Conflicts: 123000 | #Constraints: 38504
259.76/261.11 c #Conflicts: 124000 | #Constraints: 39504
259.76/261.11 c #Conflicts: 125000 | #Constraints: 40504
259.76/261.11 c #Conflicts: 126000 | #Constraints: 41504
259.76/261.11 c #Conflicts: 127000 | #Constraints: 42504
259.76/261.11 c #Conflicts: 128000 | #Constraints: 43504
259.76/261.11 c #Conflicts: 129000 | #Constraints: 44504
259.76/261.11 c #Conflicts: 130000 | #Constraints: 45504
259.76/261.11 c #Conflicts: 131000 | #Constraints: 46504
259.76/261.11 c #Conflicts: 132000 | #Constraints: 47504
259.76/261.11 c #Conflicts: 133000 | #Constraints: 48504
259.76/261.11 c #Conflicts: 134000 | #Constraints: 49504
259.76/261.11 c #Conflicts: 135000 | #Constraints: 50504
259.76/261.11 c #Conflicts: 136000 | #Constraints: 51504
259.76/261.11 c #Conflicts: 137000 | #Constraints: 52504
259.76/261.11 c INPROCESSING
259.76/261.11 c GARBAGE COLLECT
259.76/261.11 c #Conflicts: 138000 | #Constraints: 35610
259.76/261.11 c #Conflicts: 139000 | #Constraints: 36610
259.76/261.11 c #Conflicts: 140000 | #Constraints: 37610
259.76/261.11 c #Conflicts: 141000 | #Constraints: 38610
259.76/261.11 c #Conflicts: 142000 | #Constraints: 39610
259.76/261.11 c #Conflicts: 143000 | #Constraints: 40610
259.76/261.11 c #Conflicts: 144000 | #Constraints: 41610
259.76/261.11 c #Conflicts: 145000 | #Constraints: 42610
259.76/261.11 c #Conflicts: 146000 | #Constraints: 43610
259.76/261.11 c #Conflicts: 147000 | #Constraints: 44610
437.66/440.47 c INPROCESSING
437.66/440.47 c GARBAGE COLLECT
437.66/440.47 c #Conflicts: 148000 | #Constraints: 31958
437.66/440.47 c #Conflicts: 149000 | #Constraints: 32958
437.66/440.47 c #Conflicts: 150000 | #Constraints: 33958
437.66/440.47 c #Conflicts: 151000 | #Constraints: 34958
437.66/440.47 c #Conflicts: 152000 | #Constraints: 35958
437.66/440.47 c #Conflicts: 153000 | #Constraints: 36958
437.66/440.47 c #Conflicts: 154000 | #Constraints: 37958
437.66/440.47 c #Conflicts: 155000 | #Constraints: 38958
437.66/440.47 c #Conflicts: 156000 | #Constraints: 39958
437.66/440.47 c #Conflicts: 157000 | #Constraints: 40958
437.66/440.47 c #Conflicts: 158000 | #Constraints: 41958
437.66/440.47 c #Conflicts: 159000 | #Constraints: 42958
437.66/440.47 c #Conflicts: 160000 | #Constraints: 43958
437.66/440.47 c #Conflicts: 161000 | #Constraints: 44958
437.66/440.47 c #Conflicts: 162000 | #Constraints: 45958
437.66/440.47 c #Conflicts: 163000 | #Constraints: 46958
437.66/440.47 c #Conflicts: 164000 | #Constraints: 47958
437.66/440.47 c #Conflicts: 165000 | #Constraints: 48958
437.66/440.47 c #Conflicts: 166000 | #Constraints: 49958
437.66/440.47 c #Conflicts: 167000 | #Constraints: 50958
437.66/440.47 c #Conflicts: 168000 | #Constraints: 51958
437.66/440.47 c #Conflicts: 169000 | #Constraints: 52958
437.66/440.47 c #Conflicts: 170000 | #Constraints: 53958
437.66/440.47 c #Conflicts: 171000 | #Constraints: 54958
437.66/440.47 c #Conflicts: 172000 | #Constraints: 55958
437.66/440.47 c #Conflicts: 173000 | #Constraints: 56958
437.66/440.47 c #Conflicts: 174000 | #Constraints: 57958
437.66/440.47 c INPROCESSING
437.66/440.47 c GARBAGE COLLECT
437.66/440.47 c #Conflicts: 175000 | #Constraints: 38409
437.66/440.47 c #Conflicts: 176000 | #Constraints: 39409
437.66/440.47 c #Conflicts: 177000 | #Constraints: 40409
437.66/440.47 c #Conflicts: 178000 | #Constraints: 41409
437.66/440.47 c #Conflicts: 179000 | #Constraints: 42409
437.66/440.47 c #Conflicts: 180000 | #Constraints: 43409
437.66/440.47 c #Conflicts: 181000 | #Constraints: 44409
437.66/440.47 c #Conflicts: 182000 | #Constraints: 45409
437.66/440.47 c #Conflicts: 183000 | #Constraints: 46409
437.66/440.47 c #Conflicts: 184000 | #Constraints: 47409
437.66/440.47 c #Conflicts: 185000 | #Constraints: 48409
437.66/440.47 c #Conflicts: 186000 | #Constraints: 49409
437.66/440.47 c INPROCESSING
437.66/440.47 c GARBAGE COLLECT
437.66/440.47 c #Conflicts: 187000 | #Constraints: 34627
437.66/440.47 c #Conflicts: 188000 | #Constraints: 35627
437.66/440.47 c #Conflicts: 189000 | #Constraints: 36627
437.66/440.47 c #Conflicts: 190000 | #Constraints: 37627
437.66/440.47 c #Conflicts: 191000 | #Constraints: 38627
437.66/440.47 c #Conflicts: 192000 | #Constraints: 39627
437.66/440.47 c #Conflicts: 193000 | #Constraints: 40627
437.66/440.47 c #Conflicts: 194000 | #Constraints: 41627
437.66/440.47 c #Conflicts: 195000 | #Constraints: 42627
437.66/440.47 c #Conflicts: 196000 | #Constraints: 43627
437.66/440.47 c #Conflicts: 197000 | #Constraints: 44627
437.66/440.47 c #Conflicts: 198000 | #Constraints: 45627
437.66/440.47 c #Conflicts: 199000 | #Constraints: 46627
437.66/440.47 c #Conflicts: 200000 | #Constraints: 47627
437.66/440.47 c #Conflicts: 201000 | #Constraints: 48627
437.66/440.47 c #Conflicts: 202000 | #Constraints: 49627
437.66/440.47 c #Conflicts: 203000 | #Constraints: 50627
437.66/440.47 c #Conflicts: 204000 | #Constraints: 51627
437.66/440.47 c #Conflicts: 205000 | #Constraints: 52627
437.66/440.47 c #Conflicts: 206000 | #Constraints: 53627
437.66/440.47 c #Conflicts: 207000 | #Constraints: 54627
437.66/440.47 c #Conflicts: 208000 | #Constraints: 55627
437.66/440.47 c #Conflicts: 209000 | #Constraints: 56627
437.66/440.47 c #Conflicts: 210000 | #Constraints: 57627
437.66/440.47 c #Conflicts: 211000 | #Constraints: 58627
437.66/440.47 c #Conflicts: 212000 | #Constraints: 59627
437.66/440.47 c #Conflicts: 213000 | #Constraints: 60627
437.66/440.47 c #Conflicts: 214000 | #Constraints: 61627
437.66/440.47 c #Conflicts: 215000 | #Constraints: 62627
437.66/440.47 c #Conflicts: 216000 | #Constraints: 63627
437.66/440.47 c INPROCESSING
437.66/440.47 c GARBAGE COLLECT
437.66/440.47 c #Conflicts: 217000 | #Constraints: 41542
437.66/440.47 c #Conflicts: 218000 | #Constraints: 42542
437.66/440.47 c #Conflicts: 219000 | #Constraints: 43542
437.66/440.47 c #Conflicts: 220000 | #Constraints: 44542
437.66/440.47 c #Conflicts: 221000 | #Constraints: 45542
437.66/440.47 c #Conflicts: 222000 | #Constraints: 46542
437.66/440.47 c #Conflicts: 223000 | #Constraints: 47542
586.33/590.10 c #Conflicts: 224000 | #Constraints: 48542
586.33/590.10 c #Conflicts: 225000 | #Constraints: 49542
586.33/590.10 c #Conflicts: 226000 | #Constraints: 50542
586.33/590.10 c #Conflicts: 227000 | #Constraints: 51542
586.33/590.10 c #Conflicts: 228000 | #Constraints: 52542
586.33/590.10 c INPROCESSING
586.33/590.10 c GARBAGE COLLECT
586.33/590.10 c #Conflicts: 229000 | #Constraints: 35730
586.33/590.10 c #Conflicts: 230000 | #Constraints: 36730
586.33/590.10 c #Conflicts: 231000 | #Constraints: 37730
586.33/590.10 c #Conflicts: 232000 | #Constraints: 38730
586.33/590.10 c #Conflicts: 233000 | #Constraints: 39730
586.33/590.10 c #Conflicts: 234000 | #Constraints: 40730
586.33/590.10 c #Conflicts: 235000 | #Constraints: 41730
586.33/590.10 c #Conflicts: 236000 | #Constraints: 42730
586.33/590.10 c #Conflicts: 237000 | #Constraints: 43730
586.33/590.10 c #Conflicts: 238000 | #Constraints: 44730
586.33/590.10 c #Conflicts: 239000 | #Constraints: 45730
586.33/590.10 c #Conflicts: 240000 | #Constraints: 46730
586.33/590.10 c #Conflicts: 241000 | #Constraints: 47730
586.33/590.10 c #Conflicts: 242000 | #Constraints: 48730
586.33/590.10 c #Conflicts: 243000 | #Constraints: 49730
586.33/590.10 c #Conflicts: 244000 | #Constraints: 50730
586.33/590.10 c #Conflicts: 245000 | #Constraints: 51730
586.33/590.10 c #Conflicts: 246000 | #Constraints: 52730
586.33/590.10 c #Conflicts: 247000 | #Constraints: 53730
586.33/590.10 c #Conflicts: 248000 | #Constraints: 54730
586.33/590.10 c #Conflicts: 249000 | #Constraints: 55730
586.33/590.10 c #Conflicts: 250000 | #Constraints: 56730
586.33/590.10 c #Conflicts: 251000 | #Constraints: 57730
586.33/590.10 c #Conflicts: 252000 | #Constraints: 58730
586.33/590.10 c #Conflicts: 253000 | #Constraints: 59730
586.33/590.10 c #Conflicts: 254000 | #Constraints: 60730
586.33/590.10 c #Conflicts: 255000 | #Constraints: 61730
586.33/590.10 c #Conflicts: 256000 | #Constraints: 62730
586.33/590.10 c #Conflicts: 257000 | #Constraints: 63730
586.33/590.10 c #Conflicts: 258000 | #Constraints: 64730
586.33/590.10 c #Conflicts: 259000 | #Constraints: 65730
586.33/590.10 c #Conflicts: 260000 | #Constraints: 66730
586.33/590.10 c #Conflicts: 261000 | #Constraints: 67730
586.33/590.10 c #Conflicts: 262000 | #Constraints: 68730
586.33/590.10 c INPROCESSING
586.33/590.10 c GARBAGE COLLECT
586.33/590.10 c #Conflicts: 263000 | #Constraints: 44230
586.33/590.10 c #Conflicts: 264000 | #Constraints: 45230
586.33/590.10 c #Conflicts: 265000 | #Constraints: 46230
586.33/590.10 c #Conflicts: 266000 | #Constraints: 47230
586.33/590.10 c #Conflicts: 267000 | #Constraints: 48230
586.33/590.10 c #Conflicts: 268000 | #Constraints: 49230
586.33/590.10 c #Conflicts: 269000 | #Constraints: 50230
586.33/590.10 c #Conflicts: 270000 | #Constraints: 51230
586.33/590.10 c #Conflicts: 271000 | #Constraints: 52230
586.33/590.10 c #Conflicts: 272000 | #Constraints: 53230
586.33/590.10 c #Conflicts: 273000 | #Constraints: 54230
586.33/590.10 c #Conflicts: 274000 | #Constraints: 55230
586.33/590.10 c #Conflicts: 275000 | #Constraints: 56230
586.33/590.10 c #Conflicts: 276000 | #Constraints: 57230
586.33/590.10 c INPROCESSING
586.33/590.10 c GARBAGE COLLECT
586.33/590.10 c #Conflicts: 277000 | #Constraints: 38467
586.33/590.10 c #Conflicts: 278000 | #Constraints: 39467
586.33/590.10 c #Conflicts: 279000 | #Constraints: 40467
586.33/590.10 c #Conflicts: 280000 | #Constraints: 41467
586.33/590.10 c #Conflicts: 281000 | #Constraints: 42467
586.33/590.10 c #Conflicts: 282000 | #Constraints: 43467
586.33/590.10 c #Conflicts: 283000 | #Constraints: 44467
586.33/590.10 c #Conflicts: 284000 | #Constraints: 45467
586.33/590.10 c #Conflicts: 285000 | #Constraints: 46467
586.33/590.10 c #Conflicts: 286000 | #Constraints: 47467
586.33/590.10 c #Conflicts: 287000 | #Constraints: 48467
586.33/590.10 c #Conflicts: 288000 | #Constraints: 49467
586.33/590.10 c #Conflicts: 289000 | #Constraints: 50467
586.33/590.10 c #Conflicts: 290000 | #Constraints: 51467
586.33/590.10 c #Conflicts: 291000 | #Constraints: 52467
586.33/590.10 c #Conflicts: 292000 | #Constraints: 53467
586.33/590.10 c #Conflicts: 293000 | #Constraints: 54467
586.33/590.10 c #Conflicts: 294000 | #Constraints: 55467
586.33/590.10 c #Conflicts: 295000 | #Constraints: 56467
586.33/590.10 c #Conflicts: 296000 | #Constraints: 57467
586.33/590.10 c #Conflicts: 297000 | #Constraints: 58467
586.33/590.10 c #Conflicts: 298000 | #Constraints: 59467
586.33/590.10 c #Conflicts: 299000 | #Constraints: 60467
586.33/590.10 c #Conflicts: 300000 | #Constraints: 61467
821.69/828.17 c #Conflicts: 301000 | #Constraints: 62467
821.69/828.17 c #Conflicts: 302000 | #Constraints: 63467
821.69/828.17 c #Conflicts: 303000 | #Constraints: 64467
821.69/828.17 c #Conflicts: 304000 | #Constraints: 65467
821.69/828.17 c #Conflicts: 305000 | #Constraints: 66467
821.69/828.17 c #Conflicts: 306000 | #Constraints: 67467
821.69/828.17 c #Conflicts: 307000 | #Constraints: 68467
821.69/828.17 c #Conflicts: 308000 | #Constraints: 69468
821.69/828.17 c #Conflicts: 309000 | #Constraints: 70468
821.69/828.17 c #Conflicts: 310000 | #Constraints: 71468
821.69/828.17 c #Conflicts: 311000 | #Constraints: 72468
821.69/828.17 c #Conflicts: 312000 | #Constraints: 73468
821.69/828.17 c INPROCESSING
821.69/828.17 c GARBAGE COLLECT
821.69/828.17 c #Conflicts: 313000 | #Constraints: 46544
821.69/828.17 c #Conflicts: 314000 | #Constraints: 47544
821.69/828.17 c #Conflicts: 315000 | #Constraints: 48544
821.69/828.17 c #Conflicts: 316000 | #Constraints: 49544
821.69/828.17 c #Conflicts: 317000 | #Constraints: 50544
821.69/828.17 c #Conflicts: 318000 | #Constraints: 51544
821.69/828.17 c #Conflicts: 319000 | #Constraints: 52544
821.69/828.17 c #Conflicts: 320000 | #Constraints: 53544
821.69/828.17 c #Conflicts: 321000 | #Constraints: 54544
821.69/828.17 c #Conflicts: 322000 | #Constraints: 55544
821.69/828.17 c #Conflicts: 323000 | #Constraints: 56544
821.69/828.17 c #Conflicts: 324000 | #Constraints: 57544
821.69/828.17 c #Conflicts: 325000 | #Constraints: 58544
821.69/828.17 c #Conflicts: 326000 | #Constraints: 59544
821.69/828.17 c #Conflicts: 327000 | #Constraints: 60544
821.69/828.17 c INPROCESSING
821.69/828.17 c GARBAGE COLLECT
821.69/828.17 c #Conflicts: 328000 | #Constraints: 39862
821.69/828.17 c #Conflicts: 329000 | #Constraints: 40862
821.69/828.17 c #Conflicts: 330000 | #Constraints: 41862
821.69/828.17 c #Conflicts: 331000 | #Constraints: 42862
821.69/828.17 c #Conflicts: 332000 | #Constraints: 43862
821.69/828.17 c #Conflicts: 333000 | #Constraints: 44862
821.69/828.17 c #Conflicts: 334000 | #Constraints: 45862
821.69/828.17 c #Conflicts: 335000 | #Constraints: 46862
821.69/828.17 c #Conflicts: 336000 | #Constraints: 47862
821.69/828.17 c #Conflicts: 337000 | #Constraints: 48862
821.69/828.17 c #Conflicts: 338000 | #Constraints: 49862
821.69/828.17 c #Conflicts: 339000 | #Constraints: 50862
821.69/828.17 c #Conflicts: 340000 | #Constraints: 51862
821.69/828.17 c #Conflicts: 341000 | #Constraints: 52862
821.69/828.17 c #Conflicts: 342000 | #Constraints: 53862
821.69/828.17 c #Conflicts: 343000 | #Constraints: 54862
821.69/828.17 c #Conflicts: 344000 | #Constraints: 55862
821.69/828.17 c #Conflicts: 345000 | #Constraints: 56862
821.69/828.17 c #Conflicts: 346000 | #Constraints: 57862
821.69/828.17 c #Conflicts: 347000 | #Constraints: 58862
821.69/828.17 c #Conflicts: 348000 | #Constraints: 59862
821.69/828.17 c #Conflicts: 349000 | #Constraints: 60862
821.69/828.17 c #Conflicts: 350000 | #Constraints: 61862
821.69/828.17 c #Conflicts: 351000 | #Constraints: 62862
821.69/828.17 c #Conflicts: 352000 | #Constraints: 63862
821.69/828.17 c #Conflicts: 353000 | #Constraints: 64862
821.69/828.17 c #Conflicts: 354000 | #Constraints: 65862
821.69/828.17 c #Conflicts: 355000 | #Constraints: 66862
821.69/828.17 c #Conflicts: 356000 | #Constraints: 67862
821.69/828.17 c #Conflicts: 357000 | #Constraints: 68862
821.69/828.17 c #Conflicts: 358000 | #Constraints: 69862
821.69/828.17 c #Conflicts: 359000 | #Constraints: 70862
821.69/828.17 c #Conflicts: 360000 | #Constraints: 71862
821.69/828.17 c #Conflicts: 361000 | #Constraints: 72862
821.69/828.17 c #Conflicts: 362000 | #Constraints: 73862
821.69/828.17 c #Conflicts: 363000 | #Constraints: 74862
821.69/828.17 c #Conflicts: 364000 | #Constraints: 75862
821.69/828.17 c #Conflicts: 365000 | #Constraints: 76862
821.69/828.17 c #Conflicts: 366000 | #Constraints: 77862
821.69/828.17 c #Conflicts: 367000 | #Constraints: 78862
821.69/828.17 c INPROCESSING
821.69/828.17 c GARBAGE COLLECT
821.69/828.17 c #Conflicts: 368000 | #Constraints: 49220
821.69/828.17 c #Conflicts: 369000 | #Constraints: 50220
821.69/828.17 c #Conflicts: 370000 | #Constraints: 51220
821.69/828.17 c #Conflicts: 371000 | #Constraints: 52220
821.69/828.17 c #Conflicts: 372000 | #Constraints: 53220
821.69/828.17 c #Conflicts: 373000 | #Constraints: 54220
821.69/828.17 c #Conflicts: 374000 | #Constraints: 55220
821.69/828.17 c #Conflicts: 375000 | #Constraints: 56220
821.69/828.17 c #Conflicts: 376000 | #Constraints: 57220
821.69/828.17 c #Conflicts: 377000 | #Constraints: 58220
1007.15/1014.70 c #Conflicts: 378000 | #Constraints: 59220
1007.15/1014.70 c #Conflicts: 379000 | #Constraints: 60220
1007.15/1014.70 c #Conflicts: 380000 | #Constraints: 61220
1007.15/1014.70 c #Conflicts: 381000 | #Constraints: 62220
1007.15/1014.70 c #Conflicts: 382000 | #Constraints: 63220
1007.15/1014.70 c #Conflicts: 383000 | #Constraints: 64220
1007.15/1014.70 c INPROCESSING
1007.15/1014.70 c GARBAGE COLLECT
1007.15/1014.70 c #Conflicts: 384000 | #Constraints: 41796
1007.15/1014.70 c #Conflicts: 385000 | #Constraints: 42796
1007.15/1014.70 c #Conflicts: 386000 | #Constraints: 43796
1007.15/1014.70 c #Conflicts: 387000 | #Constraints: 44796
1007.15/1014.70 c #Conflicts: 388000 | #Constraints: 45796
1007.15/1014.70 c #Conflicts: 389000 | #Constraints: 46796
1007.15/1014.70 c #Conflicts: 390000 | #Constraints: 47796
1007.15/1014.70 c #Conflicts: 391000 | #Constraints: 48796
1007.15/1014.70 c #Conflicts: 392000 | #Constraints: 49796
1007.15/1014.70 c #Conflicts: 393000 | #Constraints: 50796
1007.15/1014.70 c #Conflicts: 394000 | #Constraints: 51796
1007.15/1014.70 c #Conflicts: 395000 | #Constraints: 52796
1007.15/1014.70 c #Conflicts: 396000 | #Constraints: 53796
1007.15/1014.70 c #Conflicts: 397000 | #Constraints: 54796
1007.15/1014.70 c #Conflicts: 398000 | #Constraints: 55796
1007.15/1014.70 c #Conflicts: 399000 | #Constraints: 56796
1007.15/1014.70 c #Conflicts: 400000 | #Constraints: 57796
1007.15/1014.70 c #Conflicts: 401000 | #Constraints: 58796
1007.15/1014.70 c #Conflicts: 402000 | #Constraints: 59796
1007.15/1014.70 c #Conflicts: 403000 | #Constraints: 60796
1007.15/1014.70 c #Conflicts: 404000 | #Constraints: 61796
1007.15/1014.70 c #Conflicts: 405000 | #Constraints: 62796
1007.15/1014.70 c #Conflicts: 406000 | #Constraints: 63796
1007.15/1014.70 c #Conflicts: 407000 | #Constraints: 64796
1007.15/1014.70 c #Conflicts: 408000 | #Constraints: 65796
1007.15/1014.70 c #Conflicts: 409000 | #Constraints: 66796
1007.15/1014.70 c #Conflicts: 410000 | #Constraints: 67796
1007.15/1014.70 c #Conflicts: 411000 | #Constraints: 68796
1007.15/1014.70 c #Conflicts: 412000 | #Constraints: 69796
1007.15/1014.70 c #Conflicts: 413000 | #Constraints: 70796
1007.15/1014.70 c #Conflicts: 414000 | #Constraints: 71796
1007.15/1014.70 c #Conflicts: 415000 | #Constraints: 72796
1007.15/1014.70 c #Conflicts: 416000 | #Constraints: 73796
1007.15/1014.70 c #Conflicts: 417000 | #Constraints: 74796
1007.15/1014.70 c #Conflicts: 418000 | #Constraints: 75796
1007.15/1014.70 c #Conflicts: 419000 | #Constraints: 76796
1007.15/1014.70 c #Conflicts: 420000 | #Constraints: 77796
1007.15/1014.70 c #Conflicts: 421000 | #Constraints: 78796
1007.15/1014.70 c #Conflicts: 422000 | #Constraints: 79796
1007.15/1014.70 c #Conflicts: 423000 | #Constraints: 80796
1007.15/1014.70 c #Conflicts: 424000 | #Constraints: 81796
1007.15/1014.70 c #Conflicts: 425000 | #Constraints: 82796
1007.15/1014.70 c #Conflicts: 426000 | #Constraints: 83796
1007.15/1014.70 c INPROCESSING
1007.15/1014.70 c GARBAGE COLLECT
1007.15/1014.70 c #Conflicts: 427000 | #Constraints: 51808
1007.15/1014.70 c #Conflicts: 428000 | #Constraints: 52808
1007.15/1014.70 c #Conflicts: 429000 | #Constraints: 53808
1007.15/1014.70 c #Conflicts: 430000 | #Constraints: 54808
1007.15/1014.70 c #Conflicts: 431000 | #Constraints: 55808
1007.15/1014.70 c #Conflicts: 432000 | #Constraints: 56808
1007.15/1014.70 c #Conflicts: 433000 | #Constraints: 57808
1007.15/1014.70 c #Conflicts: 434000 | #Constraints: 58808
1007.15/1014.70 c #Conflicts: 435000 | #Constraints: 59808
1007.15/1014.70 c #Conflicts: 436000 | #Constraints: 60808
1007.15/1014.70 c #Conflicts: 437000 | #Constraints: 61808
1007.15/1014.70 c #Conflicts: 438000 | #Constraints: 62808
1007.15/1014.70 c #Conflicts: 439000 | #Constraints: 63808
1007.15/1014.70 c #Conflicts: 440000 | #Constraints: 64808
1007.15/1014.70 c #Conflicts: 441000 | #Constraints: 65808
1007.15/1014.70 c #Conflicts: 442000 | #Constraints: 66808
1007.15/1014.70 c #Conflicts: 443000 | #Constraints: 67808
1007.15/1014.70 c #Conflicts: 444000 | #Constraints: 68808
1007.15/1014.70 c INPROCESSING
1007.15/1014.70 c GARBAGE COLLECT
1007.15/1014.70 c #Conflicts: 445000 | #Constraints: 44529
1007.15/1014.70 c #Conflicts: 446000 | #Constraints: 45529
1007.15/1014.70 c #Conflicts: 447000 | #Constraints: 46529
1007.15/1014.70 c #Conflicts: 448000 | #Constraints: 47529
1007.15/1014.70 c #Conflicts: 449000 | #Constraints: 48529
1007.15/1014.70 c #Conflicts: 450000 | #Constraints: 49529
1007.15/1014.70 c #Conflicts: 451000 | #Constraints: 50529
1007.15/1014.70 c #Conflicts: 452000 | #Constraints: 51529
1007.15/1014.70 c #Conflicts: 453000 | #Constraints: 52529
1007.15/1014.70 c #Conflicts: 454000 | #Constraints: 53529
1257.49/1269.14 c #Conflicts: 455000 | #Constraints: 54529
1257.49/1269.14 c #Conflicts: 456000 | #Constraints: 55529
1257.49/1269.14 c #Conflicts: 457000 | #Constraints: 56529
1257.49/1269.14 c #Conflicts: 458000 | #Constraints: 57529
1257.49/1269.14 c #Conflicts: 459000 | #Constraints: 58529
1257.49/1269.14 c #Conflicts: 460000 | #Constraints: 59529
1257.49/1269.14 c #Conflicts: 461000 | #Constraints: 60529
1257.49/1269.14 c #Conflicts: 462000 | #Constraints: 61529
1257.49/1269.14 c #Conflicts: 463000 | #Constraints: 62529
1257.49/1269.14 c #Conflicts: 464000 | #Constraints: 63529
1257.49/1269.14 c #Conflicts: 465000 | #Constraints: 64529
1257.49/1269.14 c #Conflicts: 466000 | #Constraints: 65529
1257.49/1269.14 c #Conflicts: 467000 | #Constraints: 66529
1257.49/1269.14 c #Conflicts: 468000 | #Constraints: 67529
1257.49/1269.14 c #Conflicts: 469000 | #Constraints: 68529
1257.49/1269.14 c #Conflicts: 470000 | #Constraints: 69529
1257.49/1269.14 c #Conflicts: 471000 | #Constraints: 70529
1257.49/1269.14 c #Conflicts: 472000 | #Constraints: 71529
1257.49/1269.14 c #Conflicts: 473000 | #Constraints: 72529
1257.49/1269.14 c #Conflicts: 474000 | #Constraints: 73529
1257.49/1269.14 c #Conflicts: 475000 | #Constraints: 74529
1257.49/1269.14 c #Conflicts: 476000 | #Constraints: 75529
1257.49/1269.14 c #Conflicts: 477000 | #Constraints: 76529
1257.49/1269.14 c #Conflicts: 478000 | #Constraints: 77529
1257.49/1269.14 c #Conflicts: 479000 | #Constraints: 78529
1257.49/1269.14 c #Conflicts: 480000 | #Constraints: 79529
1257.49/1269.14 c #Conflicts: 481000 | #Constraints: 80529
1257.49/1269.14 c #Conflicts: 482000 | #Constraints: 81529
1257.49/1269.14 c #Conflicts: 483000 | #Constraints: 82529
1257.49/1269.14 c #Conflicts: 484000 | #Constraints: 83529
1257.49/1269.14 c #Conflicts: 485000 | #Constraints: 84529
1257.49/1269.14 c #Conflicts: 486000 | #Constraints: 85529
1257.49/1269.14 c #Conflicts: 487000 | #Constraints: 86529
1257.49/1269.14 c #Conflicts: 488000 | #Constraints: 87529
1257.49/1269.14 c #Conflicts: 489000 | #Constraints: 88529
1257.49/1269.14 c INPROCESSING
1257.49/1269.14 c GARBAGE COLLECT
1257.49/1269.14 c #Conflicts: 490000 | #Constraints: 53957
1257.49/1269.14 c #Conflicts: 491000 | #Constraints: 54957
1257.49/1269.14 c #Conflicts: 492000 | #Constraints: 55957
1257.49/1269.14 c #Conflicts: 493000 | #Constraints: 56957
1257.49/1269.14 c #Conflicts: 494000 | #Constraints: 57957
1257.49/1269.14 c #Conflicts: 495000 | #Constraints: 58957
1257.49/1269.14 c #Conflicts: 496000 | #Constraints: 59957
1257.49/1269.14 c #Conflicts: 497000 | #Constraints: 60957
1257.49/1269.14 c #Conflicts: 498000 | #Constraints: 61957
1257.49/1269.14 c #Conflicts: 499000 | #Constraints: 62957
1257.49/1269.14 c #Conflicts: 500000 | #Constraints: 63957
1257.49/1269.14 c #Conflicts: 501000 | #Constraints: 64957
1257.49/1269.14 c #Conflicts: 502000 | #Constraints: 65957
1257.49/1269.14 c #Conflicts: 503000 | #Constraints: 66957
1257.49/1269.14 c #Conflicts: 504000 | #Constraints: 67957
1257.49/1269.14 c #Conflicts: 505000 | #Constraints: 68957
1257.49/1269.14 c #Conflicts: 506000 | #Constraints: 69957
1257.49/1269.14 c #Conflicts: 507000 | #Constraints: 70957
1257.49/1269.14 c #Conflicts: 508000 | #Constraints: 71957
1257.49/1269.14 c INPROCESSING
1257.49/1269.14 c GARBAGE COLLECT
1257.49/1269.14 c #Conflicts: 509000 | #Constraints: 45650
1257.49/1269.14 c #Conflicts: 510000 | #Constraints: 46650
1257.49/1269.14 c #Conflicts: 511000 | #Constraints: 47650
1257.49/1269.14 c #Conflicts: 512000 | #Constraints: 48650
1257.49/1269.14 c #Conflicts: 513000 | #Constraints: 49650
1257.49/1269.14 c #Conflicts: 514000 | #Constraints: 50650
1257.49/1269.14 c #Conflicts: 515000 | #Constraints: 51650
1257.49/1269.14 c #Conflicts: 516000 | #Constraints: 52650
1257.49/1269.14 c #Conflicts: 517000 | #Constraints: 53650
1257.49/1269.14 c #Conflicts: 518000 | #Constraints: 54650
1257.49/1269.14 c #Conflicts: 519000 | #Constraints: 55650
1257.49/1269.14 c #Conflicts: 520000 | #Constraints: 56650
1257.49/1269.14 c #Conflicts: 521000 | #Constraints: 57650
1257.49/1269.14 c #Conflicts: 522000 | #Constraints: 58650
1257.49/1269.14 c #Conflicts: 523000 | #Constraints: 59650
1257.49/1269.14 c #Conflicts: 524000 | #Constraints: 60650
1257.49/1269.14 c #Conflicts: 525000 | #Constraints: 61650
1257.49/1269.14 c #Conflicts: 526000 | #Constraints: 62650
1257.49/1269.14 c #Conflicts: 527000 | #Constraints: 63650
1257.49/1269.14 c #Conflicts: 528000 | #Constraints: 64650
1257.49/1269.14 c INPROCESSING
1257.49/1269.14 c GARBAGE COLLECT
1257.49/1269.14 c #Conflicts: 529000 | #Constraints: 45107
1257.49/1269.14 c #Conflicts: 530000 | #Constraints: 46107
1257.49/1269.14 c #Conflicts: 531000 | #Constraints: 47107
1536.17/1548.99 c #Conflicts: 532000 | #Constraints: 48107
1536.17/1548.99 c #Conflicts: 533000 | #Constraints: 49107
1536.17/1548.99 c #Conflicts: 534000 | #Constraints: 50107
1536.17/1548.99 c #Conflicts: 535000 | #Constraints: 51107
1536.17/1548.99 c #Conflicts: 536000 | #Constraints: 52107
1536.17/1548.99 c #Conflicts: 537000 | #Constraints: 53107
1536.17/1548.99 c #Conflicts: 538000 | #Constraints: 54107
1536.17/1548.99 c #Conflicts: 539000 | #Constraints: 55107
1536.17/1548.99 c #Conflicts: 540000 | #Constraints: 56107
1536.17/1548.99 c #Conflicts: 541000 | #Constraints: 57107
1536.17/1548.99 c #Conflicts: 542000 | #Constraints: 58107
1536.17/1548.99 c #Conflicts: 543000 | #Constraints: 59107
1536.17/1548.99 c #Conflicts: 544000 | #Constraints: 60107
1536.17/1548.99 c #Conflicts: 545000 | #Constraints: 61107
1536.17/1548.99 c #Conflicts: 546000 | #Constraints: 62107
1536.17/1548.99 c #Conflicts: 547000 | #Constraints: 63107
1536.17/1548.99 c #Conflicts: 548000 | #Constraints: 64107
1536.17/1548.99 c #Conflicts: 549000 | #Constraints: 65107
1536.17/1548.99 c #Conflicts: 550000 | #Constraints: 66107
1536.17/1548.99 c #Conflicts: 551000 | #Constraints: 67107
1536.17/1548.99 c #Conflicts: 552000 | #Constraints: 68107
1536.17/1548.99 c #Conflicts: 553000 | #Constraints: 69107
1536.17/1548.99 c #Conflicts: 554000 | #Constraints: 70107
1536.17/1548.99 c #Conflicts: 555000 | #Constraints: 71107
1536.17/1548.99 c #Conflicts: 556000 | #Constraints: 72107
1536.17/1548.99 c #Conflicts: 557000 | #Constraints: 73107
1536.17/1548.99 c #Conflicts: 558000 | #Constraints: 74107
1536.17/1548.99 c #Conflicts: 559000 | #Constraints: 75107
1536.17/1548.99 c #Conflicts: 560000 | #Constraints: 76107
1536.17/1548.99 c #Conflicts: 561000 | #Constraints: 77107
1536.17/1548.99 c #Conflicts: 562000 | #Constraints: 78107
1536.17/1548.99 c #Conflicts: 563000 | #Constraints: 79107
1536.17/1548.99 c #Conflicts: 564000 | #Constraints: 80107
1536.17/1548.99 c #Conflicts: 565000 | #Constraints: 81107
1536.17/1548.99 c #Conflicts: 566000 | #Constraints: 82107
1536.17/1548.99 c #Conflicts: 567000 | #Constraints: 83107
1536.17/1548.99 c #Conflicts: 568000 | #Constraints: 84107
1536.17/1548.99 c #Conflicts: 569000 | #Constraints: 85107
1536.17/1548.99 c #Conflicts: 570000 | #Constraints: 86107
1536.17/1548.99 c #Conflicts: 571000 | #Constraints: 87107
1536.17/1548.99 c #Conflicts: 572000 | #Constraints: 88107
1536.17/1548.99 c #Conflicts: 573000 | #Constraints: 89107
1536.17/1548.99 c #Conflicts: 574000 | #Constraints: 90107
1536.17/1548.99 c #Conflicts: 575000 | #Constraints: 91107
1536.17/1548.99 c #Conflicts: 576000 | #Constraints: 92107
1536.17/1548.99 c #Conflicts: 577000 | #Constraints: 93107
1536.17/1548.99 c #Conflicts: 578000 | #Constraints: 94107
1536.17/1548.99 c INPROCESSING
1536.17/1548.99 c GARBAGE COLLECT
1536.17/1548.99 c #Conflicts: 579000 | #Constraints: 57289
1536.17/1548.99 c #Conflicts: 580000 | #Constraints: 58289
1536.17/1548.99 c #Conflicts: 581000 | #Constraints: 59289
1536.17/1548.99 c #Conflicts: 582000 | #Constraints: 60289
1536.17/1548.99 c #Conflicts: 583000 | #Constraints: 61289
1536.17/1548.99 c #Conflicts: 584000 | #Constraints: 62289
1536.17/1548.99 c #Conflicts: 585000 | #Constraints: 63289
1536.17/1548.99 c #Conflicts: 586000 | #Constraints: 64289
1536.17/1548.99 c #Conflicts: 587000 | #Constraints: 65289
1536.17/1548.99 c #Conflicts: 588000 | #Constraints: 66289
1536.17/1548.99 c #Conflicts: 589000 | #Constraints: 67289
1536.17/1548.99 c #Conflicts: 590000 | #Constraints: 68289
1536.17/1548.99 c #Conflicts: 591000 | #Constraints: 69289
1536.17/1548.99 c #Conflicts: 592000 | #Constraints: 70289
1536.17/1548.99 c #Conflicts: 593000 | #Constraints: 71289
1536.17/1548.99 c #Conflicts: 594000 | #Constraints: 72289
1536.17/1548.99 c #Conflicts: 595000 | #Constraints: 73289
1536.17/1548.99 c #Conflicts: 596000 | #Constraints: 74289
1536.17/1548.99 c #Conflicts: 597000 | #Constraints: 75289
1536.17/1548.99 c #Conflicts: 598000 | #Constraints: 76289
1536.17/1548.99 c INPROCESSING
1536.17/1548.99 c GARBAGE COLLECT
1536.17/1548.99 c #Conflicts: 599000 | #Constraints: 48135
1536.17/1548.99 c #Conflicts: 600000 | #Constraints: 49135
1536.17/1548.99 c #Conflicts: 601000 | #Constraints: 50135
1536.17/1548.99 c #Conflicts: 602000 | #Constraints: 51135
1536.17/1548.99 c #Conflicts: 603000 | #Constraints: 52135
1536.17/1548.99 c #Conflicts: 604000 | #Constraints: 53135
1536.17/1548.99 c #Conflicts: 605000 | #Constraints: 54135
1536.17/1548.99 c #Conflicts: 606000 | #Constraints: 55135
1536.17/1548.99 c #Conflicts: 607000 | #Constraints: 56135
1536.17/1548.99 c #Conflicts: 608000 | #Constraints: 57135
1723.21/1736.72 c #Conflicts: 609000 | #Constraints: 58135
1723.21/1736.72 c #Conflicts: 610000 | #Constraints: 59135
1723.21/1736.72 c #Conflicts: 611000 | #Constraints: 60135
1723.21/1736.72 c #Conflicts: 612000 | #Constraints: 61135
1723.21/1736.72 c #Conflicts: 613000 | #Constraints: 62135
1723.21/1736.72 c #Conflicts: 614000 | #Constraints: 63135
1723.21/1736.72 c #Conflicts: 615000 | #Constraints: 64135
1723.21/1736.72 c #Conflicts: 616000 | #Constraints: 65135
1723.21/1736.72 c #Conflicts: 617000 | #Constraints: 66135
1723.21/1736.72 c #Conflicts: 618000 | #Constraints: 67135
1723.21/1736.72 c #Conflicts: 619000 | #Constraints: 68135
1723.21/1736.72 c INPROCESSING
1723.21/1736.72 c GARBAGE COLLECT
1723.21/1736.72 c #Conflicts: 620000 | #Constraints: 47525
1723.21/1736.72 c #Conflicts: 621000 | #Constraints: 48525
1723.21/1736.72 c #Conflicts: 622000 | #Constraints: 49525
1723.21/1736.72 c #Conflicts: 623000 | #Constraints: 50525
1723.21/1736.72 c #Conflicts: 624000 | #Constraints: 51525
1723.21/1736.72 c #Conflicts: 625000 | #Constraints: 52525
1723.21/1736.72 c #Conflicts: 626000 | #Constraints: 53525
1723.21/1736.72 c #Conflicts: 627000 | #Constraints: 54525
1723.21/1736.72 c #Conflicts: 628000 | #Constraints: 55525
1723.21/1736.72 c #Conflicts: 629000 | #Constraints: 56525
1723.21/1736.72 c #Conflicts: 630000 | #Constraints: 57525
1723.21/1736.72 c #Conflicts: 631000 | #Constraints: 58525
1723.21/1736.72 c #Conflicts: 632000 | #Constraints: 59525
1723.21/1736.72 c #Conflicts: 633000 | #Constraints: 60525
1723.21/1736.72 c #Conflicts: 634000 | #Constraints: 61525
1723.21/1736.72 c #Conflicts: 635000 | #Constraints: 62525
1723.21/1736.72 c #Conflicts: 636000 | #Constraints: 63525
1723.21/1736.72 c #Conflicts: 637000 | #Constraints: 64525
1723.21/1736.72 c #Conflicts: 638000 | #Constraints: 65525
1723.21/1736.72 c #Conflicts: 639000 | #Constraints: 66525
1723.21/1736.72 c #Conflicts: 640000 | #Constraints: 67525
1723.21/1736.72 c #Conflicts: 641000 | #Constraints: 68525
1723.21/1736.72 c #Conflicts: 642000 | #Constraints: 69525
1723.21/1736.72 c #Conflicts: 643000 | #Constraints: 70525
1723.21/1736.72 c #Conflicts: 644000 | #Constraints: 71525
1723.21/1736.72 c #Conflicts: 645000 | #Constraints: 72525
1723.21/1736.72 c #Conflicts: 646000 | #Constraints: 73525
1723.21/1736.72 c #Conflicts: 647000 | #Constraints: 74525
1723.21/1736.72 c #Conflicts: 648000 | #Constraints: 75525
1723.21/1736.72 c #Conflicts: 649000 | #Constraints: 76525
1723.21/1736.72 c #Conflicts: 650000 | #Constraints: 77525
1723.21/1736.72 c #Conflicts: 651000 | #Constraints: 78525
1723.21/1736.72 c #Conflicts: 652000 | #Constraints: 79525
1723.21/1736.72 c #Conflicts: 653000 | #Constraints: 80525
1723.21/1736.72 c #Conflicts: 654000 | #Constraints: 81525
1723.21/1736.72 c #Conflicts: 655000 | #Constraints: 82525
1723.21/1736.72 c #Conflicts: 656000 | #Constraints: 83525
1723.21/1736.72 c #Conflicts: 657000 | #Constraints: 84525
1723.21/1736.72 c #Conflicts: 658000 | #Constraints: 85525
1723.21/1736.72 c #Conflicts: 659000 | #Constraints: 86525
1723.21/1736.72 c #Conflicts: 660000 | #Constraints: 87525
1723.21/1736.72 c #Conflicts: 661000 | #Constraints: 88525
1723.21/1736.72 c #Conflicts: 662000 | #Constraints: 89525
1723.21/1736.72 c #Conflicts: 663000 | #Constraints: 90525
1723.21/1736.72 c #Conflicts: 664000 | #Constraints: 91525
1723.21/1736.72 c #Conflicts: 665000 | #Constraints: 92525
1723.21/1736.72 c #Conflicts: 666000 | #Constraints: 93525
1723.21/1736.72 c #Conflicts: 667000 | #Constraints: 94525
1723.21/1736.72 c #Conflicts: 668000 | #Constraints: 95525
1723.21/1736.72 c #Conflicts: 669000 | #Constraints: 96525
1723.21/1736.72 c #Conflicts: 670000 | #Constraints: 97525
1723.21/1736.72 c #Conflicts: 671000 | #Constraints: 98525
1723.21/1736.72 c #Conflicts: 672000 | #Constraints: 99525
1723.21/1736.72 c #Conflicts: 673000 | #Constraints: 100525
1723.21/1736.72 c INPROCESSING
1723.21/1736.72 c GARBAGE COLLECT
1723.21/1736.72 c #Conflicts: 674000 | #Constraints: 60295
1723.21/1736.72 c #Conflicts: 675000 | #Constraints: 61295
1723.21/1736.72 c #Conflicts: 676000 | #Constraints: 62295
1723.21/1736.72 c #Conflicts: 677000 | #Constraints: 63295
1723.21/1736.72 c #Conflicts: 678000 | #Constraints: 64295
1723.21/1736.72 c #Conflicts: 679000 | #Constraints: 65295
1723.21/1736.72 c #Conflicts: 680000 | #Constraints: 66295
1723.21/1736.72 c #Conflicts: 681000 | #Constraints: 67295
1723.21/1736.72 c #Conflicts: 682000 | #Constraints: 68295
1723.21/1736.72 c #Conflicts: 683000 | #Constraints: 69295
1723.21/1736.72 c #Conflicts: 684000 | #Constraints: 70295
1723.21/1736.72 c #Conflicts: 685000 | #Constraints: 71295
1723.21/1736.72 c #Conflicts: 686000 | #Constraints: 72295
1958.04/1972.47 c #Conflicts: 687000 | #Constraints: 73295
1958.04/1972.47 c #Conflicts: 688000 | #Constraints: 74295
1958.04/1972.47 c #Conflicts: 689000 | #Constraints: 75295
1958.04/1972.47 c #Conflicts: 690000 | #Constraints: 76295
1958.04/1972.47 c #Conflicts: 691000 | #Constraints: 77295
1958.04/1972.47 c #Conflicts: 692000 | #Constraints: 78295
1958.04/1972.47 c #Conflicts: 693000 | #Constraints: 79295
1958.04/1972.47 c #Conflicts: 694000 | #Constraints: 80295
1958.04/1972.47 c #Conflicts: 695000 | #Constraints: 81295
1958.04/1972.47 c INPROCESSING
1958.04/1972.47 c GARBAGE COLLECT
1958.04/1972.47 c #Conflicts: 696000 | #Constraints: 50419
1958.04/1972.47 c #Conflicts: 697000 | #Constraints: 51419
1958.04/1972.47 c #Conflicts: 698000 | #Constraints: 52419
1958.04/1972.47 c #Conflicts: 699000 | #Constraints: 53419
1958.04/1972.47 c #Conflicts: 700000 | #Constraints: 54419
1958.04/1972.47 c #Conflicts: 701000 | #Constraints: 55419
1958.04/1972.47 c #Conflicts: 702000 | #Constraints: 56419
1958.04/1972.47 c #Conflicts: 703000 | #Constraints: 57419
1958.04/1972.47 c #Conflicts: 704000 | #Constraints: 58419
1958.04/1972.47 c #Conflicts: 705000 | #Constraints: 59419
1958.04/1972.47 c #Conflicts: 706000 | #Constraints: 60419
1958.04/1972.47 c #Conflicts: 707000 | #Constraints: 61419
1958.04/1972.47 c #Conflicts: 708000 | #Constraints: 62419
1958.04/1972.47 c #Conflicts: 709000 | #Constraints: 63419
1958.04/1972.47 c #Conflicts: 710000 | #Constraints: 64419
1958.04/1972.47 c #Conflicts: 711000 | #Constraints: 65419
1958.04/1972.47 c #Conflicts: 712000 | #Constraints: 66419
1958.04/1972.47 c #Conflicts: 713000 | #Constraints: 67419
1958.04/1972.47 c #Conflicts: 714000 | #Constraints: 68419
1958.04/1972.47 c #Conflicts: 715000 | #Constraints: 69419
1958.04/1972.47 c #Conflicts: 716000 | #Constraints: 70419
1958.04/1972.47 c #Conflicts: 717000 | #Constraints: 71419
1958.04/1972.47 c #Conflicts: 718000 | #Constraints: 72419
1958.04/1972.47 c #Conflicts: 719000 | #Constraints: 73419
1958.04/1972.47 c #Conflicts: 720000 | #Constraints: 74419
1958.04/1972.47 c #Conflicts: 721000 | #Constraints: 75419
1958.04/1972.47 c #Conflicts: 722000 | #Constraints: 76419
1958.04/1972.47 c #Conflicts: 723000 | #Constraints: 77419
1958.04/1972.47 c #Conflicts: 724000 | #Constraints: 78419
1958.04/1972.47 c #Conflicts: 725000 | #Constraints: 79419
1958.04/1972.47 c #Conflicts: 726000 | #Constraints: 80419
1958.04/1972.47 c #Conflicts: 727000 | #Constraints: 81419
1958.04/1972.47 c #Conflicts: 728000 | #Constraints: 82419
1958.04/1972.47 c #Conflicts: 729000 | #Constraints: 83419
1958.04/1972.47 c #Conflicts: 730000 | #Constraints: 84419
1958.04/1972.47 c #Conflicts: 731000 | #Constraints: 85419
1958.04/1972.47 c #Conflicts: 732000 | #Constraints: 86419
1958.04/1972.47 c #Conflicts: 733000 | #Constraints: 87419
1958.04/1972.47 c #Conflicts: 734000 | #Constraints: 88419
1958.04/1972.47 c #Conflicts: 735000 | #Constraints: 89419
1958.04/1972.47 c #Conflicts: 736000 | #Constraints: 90419
1958.04/1972.47 c #Conflicts: 737000 | #Constraints: 91419
1958.04/1972.47 c #Conflicts: 738000 | #Constraints: 92419
1958.04/1972.47 c #Conflicts: 739000 | #Constraints: 93419
1958.04/1972.47 c #Conflicts: 740000 | #Constraints: 94419
1958.04/1972.47 c #Conflicts: 741000 | #Constraints: 95419
1958.04/1972.47 c #Conflicts: 742000 | #Constraints: 96419
1958.04/1972.47 c #Conflicts: 743000 | #Constraints: 97419
1958.04/1972.47 c #Conflicts: 744000 | #Constraints: 98419
1958.04/1972.47 c #Conflicts: 745000 | #Constraints: 99419
1958.04/1972.47 c #Conflicts: 746000 | #Constraints: 100419
1958.04/1972.47 c #Conflicts: 747000 | #Constraints: 101419
1958.04/1972.47 c #Conflicts: 748000 | #Constraints: 102419
1958.04/1972.47 c #Conflicts: 749000 | #Constraints: 103419
1958.04/1972.47 c #Conflicts: 750000 | #Constraints: 104419
1958.04/1972.47 c #Conflicts: 751000 | #Constraints: 105419
1958.04/1972.47 c #Conflicts: 752000 | #Constraints: 106419
1958.04/1972.47 c INPROCESSING
1958.04/1972.47 c GARBAGE COLLECT
1958.04/1972.47 c #Conflicts: 753000 | #Constraints: 63126
1958.04/1972.47 c #Conflicts: 754000 | #Constraints: 64126
1958.04/1972.47 c #Conflicts: 755000 | #Constraints: 65126
1958.04/1972.47 c #Conflicts: 756000 | #Constraints: 66126
1958.04/1972.47 c #Conflicts: 757000 | #Constraints: 67126
1958.04/1972.47 c #Conflicts: 758000 | #Constraints: 68126
1958.04/1972.47 c #Conflicts: 759000 | #Constraints: 69126
1958.04/1972.47 c #Conflicts: 760000 | #Constraints: 70126
1958.04/1972.47 c #Conflicts: 761000 | #Constraints: 71126
1958.04/1972.47 c #Conflicts: 762000 | #Constraints: 72126
1958.04/1972.47 c #Conflicts: 763000 | #Constraints: 73126
2197.95/2213.24 c #Conflicts: 764000 | #Constraints: 74126
2197.95/2213.24 c #Conflicts: 765000 | #Constraints: 75126
2197.95/2213.24 c #Conflicts: 766000 | #Constraints: 76126
2197.95/2213.24 c #Conflicts: 767000 | #Constraints: 77126
2197.95/2213.24 c #Conflicts: 768000 | #Constraints: 78126
2197.95/2213.24 c #Conflicts: 769000 | #Constraints: 79126
2197.95/2213.24 c #Conflicts: 770000 | #Constraints: 80126
2197.95/2213.24 c #Conflicts: 771000 | #Constraints: 81126
2197.95/2213.24 c #Conflicts: 772000 | #Constraints: 82126
2197.95/2213.24 c #Conflicts: 773000 | #Constraints: 83126
2197.95/2213.24 c #Conflicts: 774000 | #Constraints: 84126
2197.95/2213.24 c #Conflicts: 775000 | #Constraints: 85126
2197.95/2213.24 c #Conflicts: 776000 | #Constraints: 86126
2197.95/2213.24 c INPROCESSING
2197.95/2213.24 c GARBAGE COLLECT
2197.95/2213.24 c #Conflicts: 777000 | #Constraints: 53246
2197.95/2213.24 c #Conflicts: 778000 | #Constraints: 54246
2197.95/2213.24 c #Conflicts: 779000 | #Constraints: 55246
2197.95/2213.24 c #Conflicts: 780000 | #Constraints: 56246
2197.95/2213.24 c #Conflicts: 781000 | #Constraints: 57246
2197.95/2213.24 c #Conflicts: 782000 | #Constraints: 58246
2197.95/2213.24 c #Conflicts: 783000 | #Constraints: 59246
2197.95/2213.24 c #Conflicts: 784000 | #Constraints: 60246
2197.95/2213.24 c #Conflicts: 785000 | #Constraints: 61246
2197.95/2213.24 c #Conflicts: 786000 | #Constraints: 62246
2197.95/2213.24 c #Conflicts: 787000 | #Constraints: 63246
2197.95/2213.24 c #Conflicts: 788000 | #Constraints: 64246
2197.95/2213.24 c #Conflicts: 789000 | #Constraints: 65246
2197.95/2213.24 c #Conflicts: 790000 | #Constraints: 66246
2197.95/2213.24 c #Conflicts: 791000 | #Constraints: 67246
2197.95/2213.24 c #Conflicts: 792000 | #Constraints: 68246
2197.95/2213.24 c #Conflicts: 793000 | #Constraints: 69246
2197.95/2213.24 c #Conflicts: 794000 | #Constraints: 70246
2197.95/2213.24 c #Conflicts: 795000 | #Constraints: 71246
2197.95/2213.24 c #Conflicts: 796000 | #Constraints: 72246
2197.95/2213.24 c #Conflicts: 797000 | #Constraints: 73246
2197.95/2213.24 c #Conflicts: 798000 | #Constraints: 74246
2197.95/2213.24 c #Conflicts: 799000 | #Constraints: 75246
2197.95/2213.24 c #Conflicts: 800000 | #Constraints: 76246
2197.95/2213.24 c #Conflicts: 801000 | #Constraints: 77246
2197.95/2213.24 c #Conflicts: 802000 | #Constraints: 78246
2197.95/2213.24 c #Conflicts: 803000 | #Constraints: 79246
2197.95/2213.24 c #Conflicts: 804000 | #Constraints: 80246
2197.95/2213.24 c #Conflicts: 805000 | #Constraints: 81246
2197.95/2213.24 c #Conflicts: 806000 | #Constraints: 82246
2197.95/2213.24 c #Conflicts: 807000 | #Constraints: 83246
2197.95/2213.24 c #Conflicts: 808000 | #Constraints: 84246
2197.95/2213.24 c #Conflicts: 809000 | #Constraints: 85246
2197.95/2213.24 c #Conflicts: 810000 | #Constraints: 86246
2197.95/2213.24 c #Conflicts: 811000 | #Constraints: 87246
2197.95/2213.24 c #Conflicts: 812000 | #Constraints: 88246
2197.95/2213.24 c #Conflicts: 813000 | #Constraints: 89246
2197.95/2213.24 c #Conflicts: 814000 | #Constraints: 90246
2197.95/2213.24 c #Conflicts: 815000 | #Constraints: 91246
2197.95/2213.24 c #Conflicts: 816000 | #Constraints: 92246
2197.95/2213.24 c #Conflicts: 817000 | #Constraints: 93246
2197.95/2213.24 c #Conflicts: 818000 | #Constraints: 94246
2197.95/2213.24 c #Conflicts: 819000 | #Constraints: 95246
2197.95/2213.24 c #Conflicts: 820000 | #Constraints: 96246
2197.95/2213.24 c #Conflicts: 821000 | #Constraints: 97246
2197.95/2213.24 c #Conflicts: 822000 | #Constraints: 98246
2197.95/2213.24 c #Conflicts: 823000 | #Constraints: 99246
2197.95/2213.24 c #Conflicts: 824000 | #Constraints: 100247
2197.95/2213.24 c #Conflicts: 825000 | #Constraints: 101247
2197.95/2213.24 c #Conflicts: 826000 | #Constraints: 102247
2197.95/2213.24 c #Conflicts: 827000 | #Constraints: 103247
2197.95/2213.24 c #Conflicts: 828000 | #Constraints: 104247
2197.95/2213.24 c #Conflicts: 829000 | #Constraints: 105247
2197.95/2213.24 c #Conflicts: 830000 | #Constraints: 106247
2197.95/2213.24 c #Conflicts: 831000 | #Constraints: 107247
2197.95/2213.24 c #Conflicts: 832000 | #Constraints: 108247
2197.95/2213.24 c #Conflicts: 833000 | #Constraints: 109247
2197.95/2213.24 c #Conflicts: 834000 | #Constraints: 110247
2197.95/2213.24 c #Conflicts: 835000 | #Constraints: 111247
2197.95/2213.24 c #Conflicts: 836000 | #Constraints: 112247
2197.95/2213.24 c INPROCESSING
2197.95/2213.24 c GARBAGE COLLECT
2197.95/2213.24 c #Conflicts: 837000 | #Constraints: 66165
2197.95/2213.24 c #Conflicts: 838000 | #Constraints: 67165
2197.95/2213.24 c #Conflicts: 839000 | #Constraints: 68165
2197.95/2213.24 c #Conflicts: 840000 | #Constraints: 69165
2197.95/2213.24 c #Conflicts: 841000 | #Constraints: 70165
2420.21/2437.32 c #Conflicts: 842000 | #Constraints: 71165
2420.21/2437.32 c #Conflicts: 843000 | #Constraints: 72165
2420.21/2437.32 c #Conflicts: 844000 | #Constraints: 73165
2420.21/2437.32 c #Conflicts: 845000 | #Constraints: 74165
2420.21/2437.32 c #Conflicts: 846000 | #Constraints: 75165
2420.21/2437.32 c #Conflicts: 847000 | #Constraints: 76165
2420.21/2437.32 c #Conflicts: 848000 | #Constraints: 77165
2420.21/2437.32 c #Conflicts: 849000 | #Constraints: 78165
2420.21/2437.32 c #Conflicts: 850000 | #Constraints: 79165
2420.21/2437.32 c #Conflicts: 851000 | #Constraints: 80165
2420.21/2437.32 c #Conflicts: 852000 | #Constraints: 81165
2420.21/2437.32 c #Conflicts: 853000 | #Constraints: 82165
2420.21/2437.32 c #Conflicts: 854000 | #Constraints: 83165
2420.21/2437.32 c #Conflicts: 855000 | #Constraints: 84165
2420.21/2437.32 c #Conflicts: 856000 | #Constraints: 85165
2420.21/2437.32 c #Conflicts: 857000 | #Constraints: 86165
2420.21/2437.32 c #Conflicts: 858000 | #Constraints: 87165
2420.21/2437.32 c #Conflicts: 859000 | #Constraints: 88165
2420.21/2437.32 c #Conflicts: 860000 | #Constraints: 89165
2420.21/2437.32 c #Conflicts: 861000 | #Constraints: 90165
2420.21/2437.32 c INPROCESSING
2420.21/2437.32 c GARBAGE COLLECT
2420.21/2437.32 c #Conflicts: 862000 | #Constraints: 55339
2420.21/2437.32 c #Conflicts: 863000 | #Constraints: 56339
2420.21/2437.32 c #Conflicts: 864000 | #Constraints: 57339
2420.21/2437.32 c #Conflicts: 865000 | #Constraints: 58339
2420.21/2437.32 c #Conflicts: 866000 | #Constraints: 59339
2420.21/2437.32 c #Conflicts: 867000 | #Constraints: 60339
2420.21/2437.32 c #Conflicts: 868000 | #Constraints: 61339
2420.21/2437.32 c #Conflicts: 869000 | #Constraints: 62339
2420.21/2437.32 c #Conflicts: 870000 | #Constraints: 63339
2420.21/2437.32 c #Conflicts: 871000 | #Constraints: 64339
2420.21/2437.32 c #Conflicts: 872000 | #Constraints: 65339
2420.21/2437.32 c #Conflicts: 873000 | #Constraints: 66339
2420.21/2437.32 c #Conflicts: 874000 | #Constraints: 67339
2420.21/2437.32 c #Conflicts: 875000 | #Constraints: 68339
2420.21/2437.32 c #Conflicts: 876000 | #Constraints: 69339
2420.21/2437.32 c #Conflicts: 877000 | #Constraints: 70339
2420.21/2437.32 c #Conflicts: 878000 | #Constraints: 71339
2420.21/2437.32 c #Conflicts: 879000 | #Constraints: 72339
2420.21/2437.32 c #Conflicts: 880000 | #Constraints: 73339
2420.21/2437.32 c #Conflicts: 881000 | #Constraints: 74339
2420.21/2437.32 c #Conflicts: 882000 | #Constraints: 75339
2420.21/2437.32 c #Conflicts: 883000 | #Constraints: 76339
2420.21/2437.32 c #Conflicts: 884000 | #Constraints: 77339
2420.21/2437.32 c #Conflicts: 885000 | #Constraints: 78339
2420.21/2437.32 c #Conflicts: 886000 | #Constraints: 79339
2420.21/2437.32 c #Conflicts: 887000 | #Constraints: 80339
2420.21/2437.32 c #Conflicts: 888000 | #Constraints: 81339
2420.21/2437.32 c #Conflicts: 889000 | #Constraints: 82339
2420.21/2437.32 c #Conflicts: 890000 | #Constraints: 83339
2420.21/2437.32 c #Conflicts: 891000 | #Constraints: 84339
2420.21/2437.32 c #Conflicts: 892000 | #Constraints: 85339
2420.21/2437.32 c #Conflicts: 893000 | #Constraints: 86339
2420.21/2437.32 c #Conflicts: 894000 | #Constraints: 87339
2420.21/2437.32 c #Conflicts: 895000 | #Constraints: 88339
2420.21/2437.32 c #Conflicts: 896000 | #Constraints: 89339
2420.21/2437.32 c #Conflicts: 897000 | #Constraints: 90339
2420.21/2437.32 c #Conflicts: 898000 | #Constraints: 91339
2420.21/2437.32 c #Conflicts: 899000 | #Constraints: 92339
2420.21/2437.32 c #Conflicts: 900000 | #Constraints: 93339
2420.21/2437.32 c #Conflicts: 901000 | #Constraints: 94339
2420.21/2437.32 c #Conflicts: 902000 | #Constraints: 95339
2420.21/2437.32 c #Conflicts: 903000 | #Constraints: 96339
2420.21/2437.32 c #Conflicts: 904000 | #Constraints: 97339
2420.21/2437.32 c #Conflicts: 905000 | #Constraints: 98339
2420.21/2437.32 c #Conflicts: 906000 | #Constraints: 99339
2420.21/2437.32 c #Conflicts: 907000 | #Constraints: 100339
2420.21/2437.32 c #Conflicts: 908000 | #Constraints: 101339
2420.21/2437.32 c #Conflicts: 909000 | #Constraints: 102339
2420.21/2437.32 c #Conflicts: 910000 | #Constraints: 103339
2420.21/2437.32 c #Conflicts: 911000 | #Constraints: 104339
2420.21/2437.32 c #Conflicts: 912000 | #Constraints: 105339
2420.21/2437.32 c #Conflicts: 913000 | #Constraints: 106339
2420.21/2437.32 c #Conflicts: 914000 | #Constraints: 107339
2420.21/2437.32 c #Conflicts: 915000 | #Constraints: 108339
2420.21/2437.32 c #Conflicts: 916000 | #Constraints: 109339
2420.21/2437.32 c #Conflicts: 917000 | #Constraints: 110339
2420.21/2437.32 c #Conflicts: 918000 | #Constraints: 111339
2420.21/2437.32 c #Conflicts: 919000 | #Constraints: 112339
2686.82/2709.77 c #Conflicts: 920000 | #Constraints: 113339
2686.82/2709.77 c #Conflicts: 921000 | #Constraints: 114339
2686.82/2709.77 c #Conflicts: 922000 | #Constraints: 115339
2686.82/2709.77 c #Conflicts: 923000 | #Constraints: 116339
2686.82/2709.77 c #Conflicts: 924000 | #Constraints: 117339
2686.82/2709.77 c INPROCESSING
2686.82/2709.77 c GARBAGE COLLECT
2686.82/2709.77 c #Conflicts: 925000 | #Constraints: 68788
2686.82/2709.77 c #Conflicts: 926000 | #Constraints: 69788
2686.82/2709.77 c #Conflicts: 927000 | #Constraints: 70788
2686.82/2709.77 c #Conflicts: 928000 | #Constraints: 71788
2686.82/2709.77 c #Conflicts: 929000 | #Constraints: 72788
2686.82/2709.77 c #Conflicts: 930000 | #Constraints: 73788
2686.82/2709.77 c #Conflicts: 931000 | #Constraints: 74788
2686.82/2709.77 c #Conflicts: 932000 | #Constraints: 75788
2686.82/2709.77 c #Conflicts: 933000 | #Constraints: 76788
2686.82/2709.77 c #Conflicts: 934000 | #Constraints: 77788
2686.82/2709.77 c #Conflicts: 935000 | #Constraints: 78788
2686.82/2709.77 c #Conflicts: 936000 | #Constraints: 79788
2686.82/2709.77 c #Conflicts: 937000 | #Constraints: 80788
2686.82/2709.77 c #Conflicts: 938000 | #Constraints: 81788
2686.82/2709.77 c #Conflicts: 939000 | #Constraints: 82788
2686.82/2709.77 c #Conflicts: 940000 | #Constraints: 83788
2686.82/2709.77 c #Conflicts: 941000 | #Constraints: 84788
2686.82/2709.77 c #Conflicts: 942000 | #Constraints: 85788
2686.82/2709.77 c #Conflicts: 943000 | #Constraints: 86788
2686.82/2709.77 c #Conflicts: 944000 | #Constraints: 87788
2686.82/2709.77 c #Conflicts: 945000 | #Constraints: 88788
2686.82/2709.77 c #Conflicts: 946000 | #Constraints: 89788
2686.82/2709.77 c #Conflicts: 947000 | #Constraints: 90788
2686.82/2709.77 c #Conflicts: 948000 | #Constraints: 91788
2686.82/2709.77 c #Conflicts: 949000 | #Constraints: 92788
2686.82/2709.77 c #Conflicts: 950000 | #Constraints: 93788
2686.82/2709.77 c INPROCESSING
2686.82/2709.77 c GARBAGE COLLECT
2686.82/2709.77 c #Conflicts: 951000 | #Constraints: 57021
2686.82/2709.77 c #Conflicts: 952000 | #Constraints: 58021
2686.82/2709.77 c #Conflicts: 953000 | #Constraints: 59021
2686.82/2709.77 c #Conflicts: 954000 | #Constraints: 60021
2686.82/2709.77 c #Conflicts: 955000 | #Constraints: 61021
2686.82/2709.77 c #Conflicts: 956000 | #Constraints: 62021
2686.82/2709.77 c #Conflicts: 957000 | #Constraints: 63021
2686.82/2709.77 c #Conflicts: 958000 | #Constraints: 64021
2686.82/2709.77 c #Conflicts: 959000 | #Constraints: 65021
2686.82/2709.77 c #Conflicts: 960000 | #Constraints: 66021
2686.82/2709.77 c #Conflicts: 961000 | #Constraints: 67021
2686.82/2709.77 c #Conflicts: 962000 | #Constraints: 68021
2686.82/2709.77 c #Conflicts: 963000 | #Constraints: 69021
2686.82/2709.77 c #Conflicts: 964000 | #Constraints: 70021
2686.82/2709.77 c #Conflicts: 965000 | #Constraints: 71021
2686.82/2709.77 c #Conflicts: 966000 | #Constraints: 72021
2686.82/2709.77 c #Conflicts: 967000 | #Constraints: 73021
2686.82/2709.77 c #Conflicts: 968000 | #Constraints: 74021
2686.82/2709.77 c #Conflicts: 969000 | #Constraints: 75021
2686.82/2709.77 c #Conflicts: 970000 | #Constraints: 76021
2686.82/2709.77 c #Conflicts: 971000 | #Constraints: 77021
2686.82/2709.77 c #Conflicts: 972000 | #Constraints: 78021
2686.82/2709.77 c #Conflicts: 973000 | #Constraints: 79021
2686.82/2709.77 c #Conflicts: 974000 | #Constraints: 80021
2686.82/2709.77 c #Conflicts: 975000 | #Constraints: 81021
2686.82/2709.77 c #Conflicts: 976000 | #Constraints: 82021
2686.82/2709.77 c #Conflicts: 977000 | #Constraints: 83021
2686.82/2709.77 c #Conflicts: 978000 | #Constraints: 84021
2686.82/2709.77 c #Conflicts: 979000 | #Constraints: 85021
2686.82/2709.77 c #Conflicts: 980000 | #Constraints: 86021
2686.82/2709.77 c #Conflicts: 981000 | #Constraints: 87021
2686.82/2709.77 c #Conflicts: 982000 | #Constraints: 88021
2686.82/2709.77 c #Conflicts: 983000 | #Constraints: 89021
2686.82/2709.77 c #Conflicts: 984000 | #Constraints: 90021
2686.82/2709.77 c #Conflicts: 985000 | #Constraints: 91021
2686.82/2709.77 c #Conflicts: 986000 | #Constraints: 92021
2686.82/2709.77 c #Conflicts: 987000 | #Constraints: 93021
2686.82/2709.77 c #Conflicts: 988000 | #Constraints: 94021
2686.82/2709.77 c #Conflicts: 989000 | #Constraints: 95021
2686.82/2709.77 c #Conflicts: 990000 | #Constraints: 96021
2686.82/2709.77 c #Conflicts: 991000 | #Constraints: 97021
2686.82/2709.77 c #Conflicts: 992000 | #Constraints: 98021
2686.82/2709.77 c #Conflicts: 993000 | #Constraints: 99021
2686.82/2709.77 c #Conflicts: 994000 | #Constraints: 100021
2686.82/2709.77 c #Conflicts: 995000 | #Constraints: 101021
2686.82/2709.77 c #Conflicts: 996000 | #Constraints: 102021
2686.82/2709.77 c #Conflicts: 997000 | #Constraints: 103021
2976.81/3005.68 c #Conflicts: 998000 | #Constraints: 104021
2976.81/3005.68 c #Conflicts: 999000 | #Constraints: 105021
2976.81/3005.68 c #Conflicts: 1000000 | #Constraints: 106021
2976.81/3005.68 c #Conflicts: 1001000 | #Constraints: 107021
2976.81/3005.68 c #Conflicts: 1002000 | #Constraints: 108021
2976.81/3005.68 c #Conflicts: 1003000 | #Constraints: 109021
2976.81/3005.68 c #Conflicts: 1004000 | #Constraints: 110021
2976.81/3005.68 c #Conflicts: 1005000 | #Constraints: 111021
2976.81/3005.68 c #Conflicts: 1006000 | #Constraints: 112021
2976.81/3005.68 c #Conflicts: 1007000 | #Constraints: 113021
2976.81/3005.68 c #Conflicts: 1008000 | #Constraints: 114021
2976.81/3005.68 c #Conflicts: 1009000 | #Constraints: 115021
2976.81/3005.68 c #Conflicts: 1010000 | #Constraints: 116021
2976.81/3005.68 c #Conflicts: 1011000 | #Constraints: 117021
2976.81/3005.68 c #Conflicts: 1012000 | #Constraints: 118021
2976.81/3005.68 c #Conflicts: 1013000 | #Constraints: 119021
2976.81/3005.68 c #Conflicts: 1014000 | #Constraints: 120021
2976.81/3005.68 c #Conflicts: 1015000 | #Constraints: 121021
2976.81/3005.68 c #Conflicts: 1016000 | #Constraints: 122021
2976.81/3005.68 c #Conflicts: 1017000 | #Constraints: 123021
2976.81/3005.68 c INPROCESSING
2976.81/3005.68 c GARBAGE COLLECT
2976.81/3005.68 c #Conflicts: 1018000 | #Constraints: 71941
2976.81/3005.68 c #Conflicts: 1019000 | #Constraints: 72941
2976.81/3005.68 c #Conflicts: 1020000 | #Constraints: 73941
2976.81/3005.68 c #Conflicts: 1021000 | #Constraints: 74941
2976.81/3005.68 c #Conflicts: 1022000 | #Constraints: 75941
2976.81/3005.68 c #Conflicts: 1023000 | #Constraints: 76941
2976.81/3005.68 c #Conflicts: 1024000 | #Constraints: 77941
2976.81/3005.68 c #Conflicts: 1025000 | #Constraints: 78941
2976.81/3005.68 c #Conflicts: 1026000 | #Constraints: 79941
2976.81/3005.68 c #Conflicts: 1027000 | #Constraints: 80941
2976.81/3005.68 c #Conflicts: 1028000 | #Constraints: 81941
2976.81/3005.68 c #Conflicts: 1029000 | #Constraints: 82941
2976.81/3005.68 c #Conflicts: 1030000 | #Constraints: 83941
2976.81/3005.68 c #Conflicts: 1031000 | #Constraints: 84941
2976.81/3005.68 c #Conflicts: 1032000 | #Constraints: 85941
2976.81/3005.68 c #Conflicts: 1033000 | #Constraints: 86941
2976.81/3005.68 c #Conflicts: 1034000 | #Constraints: 87941
2976.81/3005.68 c #Conflicts: 1035000 | #Constraints: 88941
2976.81/3005.68 c #Conflicts: 1036000 | #Constraints: 89941
2976.81/3005.68 c #Conflicts: 1037000 | #Constraints: 90941
2976.81/3005.68 c #Conflicts: 1038000 | #Constraints: 91941
2976.81/3005.68 c #Conflicts: 1039000 | #Constraints: 92941
2976.81/3005.68 c #Conflicts: 1040000 | #Constraints: 93941
2976.81/3005.68 c #Conflicts: 1041000 | #Constraints: 94941
2976.81/3005.68 c #Conflicts: 1042000 | #Constraints: 95941
2976.81/3005.68 c #Conflicts: 1043000 | #Constraints: 96941
2976.81/3005.68 c #Conflicts: 1044000 | #Constraints: 97941
2976.81/3005.68 c INPROCESSING
2976.81/3005.68 c GARBAGE COLLECT
2976.81/3005.68 c #Conflicts: 1045000 | #Constraints: 59316
2976.81/3005.68 c #Conflicts: 1046000 | #Constraints: 60316
2976.81/3005.68 c #Conflicts: 1047000 | #Constraints: 61316
2976.81/3005.68 c #Conflicts: 1048000 | #Constraints: 62316
2976.81/3005.68 c #Conflicts: 1049000 | #Constraints: 63316
2976.81/3005.68 c #Conflicts: 1050000 | #Constraints: 64316
2976.81/3005.68 c #Conflicts: 1051000 | #Constraints: 65316
2976.81/3005.68 c #Conflicts: 1052000 | #Constraints: 66316
2976.81/3005.68 c #Conflicts: 1053000 | #Constraints: 67316
2976.81/3005.68 c #Conflicts: 1054000 | #Constraints: 68316
2976.81/3005.68 c #Conflicts: 1055000 | #Constraints: 69316
2976.81/3005.68 c #Conflicts: 1056000 | #Constraints: 70316
2976.81/3005.68 c #Conflicts: 1057000 | #Constraints: 71316
2976.81/3005.68 c #Conflicts: 1058000 | #Constraints: 72316
2976.81/3005.68 c #Conflicts: 1059000 | #Constraints: 73316
2976.81/3005.68 c #Conflicts: 1060000 | #Constraints: 74316
2976.81/3005.68 c #Conflicts: 1061000 | #Constraints: 75316
2976.81/3005.68 c #Conflicts: 1062000 | #Constraints: 76316
2976.81/3005.68 c #Conflicts: 1063000 | #Constraints: 77316
2976.81/3005.68 c #Conflicts: 1064000 | #Constraints: 78316
2976.81/3005.68 c #Conflicts: 1065000 | #Constraints: 79316
2976.81/3005.68 c #Conflicts: 1066000 | #Constraints: 80316
2976.81/3005.68 c #Conflicts: 1067000 | #Constraints: 81316
2976.81/3005.68 c #Conflicts: 1068000 | #Constraints: 82316
2976.81/3005.68 c #Conflicts: 1069000 | #Constraints: 83316
2976.81/3005.68 c #Conflicts: 1070000 | #Constraints: 84316
2976.81/3005.68 c #Conflicts: 1071000 | #Constraints: 85316
2976.81/3005.68 c INPROCESSING
2976.81/3005.68 c GARBAGE COLLECT
2976.81/3005.68 c #Conflicts: 1072000 | #Constraints: 56927
2976.81/3005.68 c #Conflicts: 1073000 | #Constraints: 57927
3274.47/3304.73 c #Conflicts: 1074000 | #Constraints: 58927
3274.47/3304.73 c #Conflicts: 1075000 | #Constraints: 59927
3274.47/3304.73 c #Conflicts: 1076000 | #Constraints: 60927
3274.47/3304.73 c #Conflicts: 1077000 | #Constraints: 61927
3274.47/3304.73 c #Conflicts: 1078000 | #Constraints: 62927
3274.47/3304.73 c #Conflicts: 1079000 | #Constraints: 63927
3274.47/3304.73 c #Conflicts: 1080000 | #Constraints: 64927
3274.47/3304.73 c #Conflicts: 1081000 | #Constraints: 65927
3274.47/3304.73 c #Conflicts: 1082000 | #Constraints: 66927
3274.47/3304.73 c #Conflicts: 1083000 | #Constraints: 67927
3274.47/3304.73 c #Conflicts: 1084000 | #Constraints: 68927
3274.47/3304.73 c #Conflicts: 1085000 | #Constraints: 69927
3274.47/3304.73 c #Conflicts: 1086000 | #Constraints: 70927
3274.47/3304.73 c #Conflicts: 1087000 | #Constraints: 71927
3274.47/3304.73 c #Conflicts: 1088000 | #Constraints: 72927
3274.47/3304.73 c #Conflicts: 1089000 | #Constraints: 73927
3274.47/3304.73 c #Conflicts: 1090000 | #Constraints: 74927
3274.47/3304.73 c #Conflicts: 1091000 | #Constraints: 75927
3274.47/3304.73 c #Conflicts: 1092000 | #Constraints: 76927
3274.47/3304.73 c #Conflicts: 1093000 | #Constraints: 77927
3274.47/3304.73 c #Conflicts: 1094000 | #Constraints: 78927
3274.47/3304.73 c #Conflicts: 1095000 | #Constraints: 79927
3274.47/3304.73 c #Conflicts: 1096000 | #Constraints: 80928
3274.47/3304.73 c #Conflicts: 1097000 | #Constraints: 81928
3274.47/3304.73 c #Conflicts: 1098000 | #Constraints: 82928
3274.47/3304.73 c #Conflicts: 1099000 | #Constraints: 83928
3274.47/3304.73 c #Conflicts: 1100000 | #Constraints: 84928
3274.47/3304.73 c #Conflicts: 1101000 | #Constraints: 85928
3274.47/3304.73 c #Conflicts: 1102000 | #Constraints: 86928
3274.47/3304.73 c #Conflicts: 1103000 | #Constraints: 87928
3274.47/3304.73 c #Conflicts: 1104000 | #Constraints: 88928
3274.47/3304.73 c #Conflicts: 1105000 | #Constraints: 89928
3274.47/3304.73 c #Conflicts: 1106000 | #Constraints: 90928
3274.47/3304.73 c #Conflicts: 1107000 | #Constraints: 91928
3274.47/3304.73 c #Conflicts: 1108000 | #Constraints: 92928
3274.47/3304.73 c #Conflicts: 1109000 | #Constraints: 93928
3274.47/3304.73 c #Conflicts: 1110000 | #Constraints: 94928
3274.47/3304.73 c #Conflicts: 1111000 | #Constraints: 95928
3274.47/3304.73 c #Conflicts: 1112000 | #Constraints: 96928
3274.47/3304.73 c #Conflicts: 1113000 | #Constraints: 97928
3274.47/3304.73 c #Conflicts: 1114000 | #Constraints: 98928
3274.47/3304.73 c #Conflicts: 1115000 | #Constraints: 99928
3274.47/3304.73 c #Conflicts: 1116000 | #Constraints: 100928
3274.47/3304.73 c #Conflicts: 1117000 | #Constraints: 101928
3274.47/3304.73 c #Conflicts: 1118000 | #Constraints: 102928
3274.47/3304.73 c #Conflicts: 1119000 | #Constraints: 103928
3274.47/3304.73 c #Conflicts: 1120000 | #Constraints: 104928
3274.47/3304.73 c #Conflicts: 1121000 | #Constraints: 105928
3274.47/3304.73 c #Conflicts: 1122000 | #Constraints: 106928
3274.47/3304.73 c #Conflicts: 1123000 | #Constraints: 107928
3274.47/3304.73 c #Conflicts: 1124000 | #Constraints: 108928
3274.47/3304.73 c #Conflicts: 1125000 | #Constraints: 109928
3274.47/3304.73 c #Conflicts: 1126000 | #Constraints: 110928
3274.47/3304.73 c #Conflicts: 1127000 | #Constraints: 111928
3274.47/3304.73 c #Conflicts: 1128000 | #Constraints: 112928
3274.47/3304.73 c #Conflicts: 1129000 | #Constraints: 113928
3274.47/3304.73 c #Conflicts: 1130000 | #Constraints: 114928
3274.47/3304.73 c #Conflicts: 1131000 | #Constraints: 115928
3274.47/3304.73 c #Conflicts: 1132000 | #Constraints: 116928
3274.47/3304.73 c #Conflicts: 1133000 | #Constraints: 117928
3274.47/3304.73 c #Conflicts: 1134000 | #Constraints: 118928
3274.47/3304.73 c #Conflicts: 1135000 | #Constraints: 119928
3274.47/3304.73 c #Conflicts: 1136000 | #Constraints: 120928
3274.47/3304.73 c #Conflicts: 1137000 | #Constraints: 121928
3274.47/3304.73 c #Conflicts: 1138000 | #Constraints: 122928
3274.47/3304.73 c #Conflicts: 1139000 | #Constraints: 123928
3274.47/3304.73 c #Conflicts: 1140000 | #Constraints: 124928
3274.47/3304.73 c #Conflicts: 1141000 | #Constraints: 125928
3274.47/3304.73 c #Conflicts: 1142000 | #Constraints: 126928
3274.47/3304.73 c INPROCESSING
3274.47/3304.73 c GARBAGE COLLECT
3274.47/3304.73 c #Conflicts: 1143000 | #Constraints: 73588
3274.47/3304.73 c #Conflicts: 1144000 | #Constraints: 74588
3274.47/3304.73 c #Conflicts: 1145000 | #Constraints: 75588
3274.47/3304.73 c #Conflicts: 1146000 | #Constraints: 76588
3274.47/3304.73 c #Conflicts: 1147000 | #Constraints: 77588
3274.47/3304.73 c #Conflicts: 1148000 | #Constraints: 78588
3274.47/3304.73 c #Conflicts: 1149000 | #Constraints: 79588
3274.47/3304.73 c #Conflicts: 1150000 | #Constraints: 80588
3274.47/3304.73 c #Conflicts: 1151000 | #Constraints: 81588
3274.47/3304.73 c #Conflicts: 1152000 | #Constraints: 82588
3600.04/3631.40 c #Conflicts: 1153000 | #Constraints: 83588
3600.04/3631.40 c #Conflicts: 1154000 | #Constraints: 84588
3600.04/3631.40 c #Conflicts: 1155000 | #Constraints: 85588
3600.04/3631.40 c #Conflicts: 1156000 | #Constraints: 86588
3600.04/3631.40 c #Conflicts: 1157000 | #Constraints: 87588
3600.04/3631.40 c #Conflicts: 1158000 | #Constraints: 88588
3600.04/3631.40 c #Conflicts: 1159000 | #Constraints: 89588
3600.04/3631.40 c #Conflicts: 1160000 | #Constraints: 90588
3600.04/3631.40 c #Conflicts: 1161000 | #Constraints: 91588
3600.04/3631.40 c #Conflicts: 1162000 | #Constraints: 92588
3600.04/3631.40 c #Conflicts: 1163000 | #Constraints: 93588
3600.04/3631.40 c #Conflicts: 1164000 | #Constraints: 94588
3600.04/3631.40 c #Conflicts: 1165000 | #Constraints: 95588
3600.04/3631.40 c #Conflicts: 1166000 | #Constraints: 96588
3600.04/3631.40 c #Conflicts: 1167000 | #Constraints: 97588
3600.04/3631.40 c #Conflicts: 1168000 | #Constraints: 98588
3600.04/3631.40 c #Conflicts: 1169000 | #Constraints: 99588
3600.04/3631.40 c #Conflicts: 1170000 | #Constraints: 100588
3600.04/3631.40 c #Conflicts: 1171000 | #Constraints: 101588
3600.04/3631.40 c INPROCESSING
3600.04/3631.40 c GARBAGE COLLECT
3600.04/3631.40 c #Conflicts: 1172000 | #Constraints: 61176
3600.04/3631.40 c #Conflicts: 1173000 | #Constraints: 62176
3600.04/3631.40 c #Conflicts: 1174000 | #Constraints: 63176
3600.04/3631.40 c #Conflicts: 1175000 | #Constraints: 64176
3600.04/3631.40 c #Conflicts: 1176000 | #Constraints: 65176
3600.04/3631.40 c #Conflicts: 1177000 | #Constraints: 66176
3600.04/3631.40 c #Conflicts: 1178000 | #Constraints: 67176
3600.04/3631.40 c #Conflicts: 1179000 | #Constraints: 68176
3600.04/3631.40 c #Conflicts: 1180000 | #Constraints: 69176
3600.04/3631.40 c #Conflicts: 1181000 | #Constraints: 70176
3600.04/3631.40 c #Conflicts: 1182000 | #Constraints: 71176
3600.04/3631.40 c #Conflicts: 1183000 | #Constraints: 72176
3600.04/3631.40 c #Conflicts: 1184000 | #Constraints: 73176
3600.04/3631.40 c #Conflicts: 1185000 | #Constraints: 74176
3600.04/3631.40 c #Conflicts: 1186000 | #Constraints: 75176
3600.04/3631.40 c #Conflicts: 1187000 | #Constraints: 76176
3600.04/3631.40 c #Conflicts: 1188000 | #Constraints: 77176
3600.04/3631.40 c #Conflicts: 1189000 | #Constraints: 78176
3600.04/3631.40 c #Conflicts: 1190000 | #Constraints: 79176
3600.04/3631.40 c #Conflicts: 1191000 | #Constraints: 80176
3600.04/3631.40 c #Conflicts: 1192000 | #Constraints: 81176
3600.04/3631.40 c #Conflicts: 1193000 | #Constraints: 82176
3600.04/3631.40 c #Conflicts: 1194000 | #Constraints: 83176
3600.04/3631.40 c #Conflicts: 1195000 | #Constraints: 84176
3600.04/3631.40 c #Conflicts: 1196000 | #Constraints: 85176
3600.04/3631.40 c #Conflicts: 1197000 | #Constraints: 86176
3600.04/3631.40 c #Conflicts: 1198000 | #Constraints: 87176
3600.04/3631.40 c #Conflicts: 1199000 | #Constraints: 88176
3600.04/3631.40 c #Conflicts: 1200000 | #Constraints: 89176
3600.04/3631.40 c INPROCESSING
3600.04/3631.40 c GARBAGE COLLECT
3600.04/3631.40 c #Conflicts: 1201000 | #Constraints: 59998
3600.04/3631.40 c #Conflicts: 1202000 | #Constraints: 60998
3600.04/3631.40 c #Conflicts: 1203000 | #Constraints: 61998
3600.04/3631.40 c #Conflicts: 1204000 | #Constraints: 62998
3600.04/3631.40 c #Conflicts: 1205000 | #Constraints: 63998
3600.04/3631.40 c #Conflicts: 1206000 | #Constraints: 64998
3600.04/3631.40 c #Conflicts: 1207000 | #Constraints: 65998
3600.04/3631.40 c cpu time 3570.63 s
3600.04/3631.40 c deterministic time 180266934612 1.80e+11
3600.04/3631.40 c optimization time 11.8128 s
3600.04/3631.40 c total solve time 3558.71 s
3600.04/3631.40 c core-guided solve time 0 s
3600.04/3631.40 c propagation time 1629.38 s
3600.04/3631.40 c conflict analysis time 1406.81 s
3600.04/3631.40 c propagations 1215793203
3600.04/3631.40 c resolve steps 89795475
3600.04/3631.40 c decisions 18569564
3600.04/3631.40 c conflicts 1207762
3600.04/3631.40 c restarts 2298
3600.04/3631.40 c inprocessing phases 50
3600.04/3631.40 c garbage collections 50 ,( 100.00 )
3600.04/3631.40 c input clauses 16700 ,( 99.18 )
3600.04/3631.40 c input cardinalities 138 ,( 0.82 )
3600.04/3631.40 c input general constraints 0 ,( 0.00 )
3600.04/3631.40 c input average constraint length 6.40
3600.04/3631.40 c input average constraint degree 1.96
3600.04/3631.40 c learned clauses 908863 ,( 75.25 )
3600.04/3631.40 c learned cardinalities 34197 ,( 2.83 )
3600.04/3631.40 c learned general constraints 264705 ,( 21.92 )
3600.04/3631.40 c learned average constraint length 738.51
3600.04/3631.40 c learned average constraint degree 27222213.25
3600.04/3631.40 c watched CF 32, 64, 128, Arb: 73695 , 0 , 0 , 0
3600.04/3631.40 c counting CF 32, 64, 128, Arb: 191010 , 0 , 0 , 0
3600.04/3631.40 c watched constraints 73695 ,( 27.84 )
3600.04/3631.40 c counting constraints 191010 ,( 72.16 )
3600.04/3631.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1181492738 , 471866662 , 1579261327 ,( 67016743 , 1512244584 )
3600.04/3631.40 c gcd simplifications 640
3600.04/3631.40 c detected cardinalities 4086
3600.04/3631.40 c weakened non-implied lits 357252594
3600.04/3631.40 c weakened non-implying lits 200750
3600.04/3631.40 c original variables 16467
3600.04/3631.40 c clausal propagations 559013731
3600.04/3631.40 c cardinality propagations 429089113
3600.04/3631.40 c watched propagations 4518977
3600.04/3631.40 c counting propagations 213288720
3600.04/3631.40 c watch lookups 68785571947
3600.04/3631.40 c watch backjump lookups 0
3600.04/3631.40 c watch checks 27395353803
3600.04/3631.40 c propagation checks 77293112188
3600.04/3631.40 c constraint additions 4322600880
3600.04/3631.40 c trail pops 1235560742
3600.04/3631.40 c formula constraints 16838
3600.04/3631.40 c learned constraints 1207757
3600.04/3631.40 c bound constraints 0
3600.04/3631.40 c core-guided constraints 0
3600.04/3631.40 c encountered formula constraints 61362879
3600.04/3631.40 c encountered learned constraints 29639552
3600.04/3631.40 c encountered bound constraints 0
3600.04/3631.40 c encountered core-guided constraints 0
3600.04/3631.40 c LP total time 529.476 s
3600.04/3631.40 c LP solve time 528.76 s
3600.04/3631.40 c LP constraints added 16838
3600.04/3631.40 c LP constraints removed 0
3600.04/3631.40 c LP pivots internal 127284
3600.04/3631.40 c LP pivots root 245000
3600.04/3631.40 c LP calls 12
3600.04/3631.40 c LP optimalities 0
3600.04/3631.40 c LP no pivot count 0
3600.04/3631.40 c LP infeasibilities 4
3600.04/3631.40 c LP valid Farkas constraints 4
3600.04/3631.40 c LP learned Farkas constraints 4
3600.04/3631.40 c LP basis resets 0
3600.04/3631.40 c LP cycling count 0
3600.04/3631.40 c LP singular count 0
3600.04/3631.40 c LP no primal count 0
3600.04/3631.40 c LP no farkas count 0
3600.04/3631.40 c LP other issue count 0
3600.04/3631.40 c LP Gomory cuts 0
3600.04/3631.40 c LP learned cuts 0
3600.04/3631.40 c LP deleted cuts 0
3600.04/3631.40 c LP encountered Gomory constraints 0
3600.04/3631.40 c LP encountered Farkas constraints 799
3600.04/3631.40 c LP encountered learned Farkas constraints 3
3600.04/3631.40 c CG auxiliary variables introduced 0
3600.04/3631.40 c CG solutions found 0
3600.04/3631.40 c CG cores constructed 0
3600.04/3631.40 c CG core cardinality constraints returned 0
3600.04/3631.40 c CG unit cores 0
3600.04/3631.40 c CG single cores 0
3600.04/3631.40 c CG blocks removed during cardinality reduction 0
3600.04/3631.40 c CG first core best 0
3600.04/3631.40 c CG decision core best 0
3600.04/3631.40 c CG core reduction tie 0
3600.04/3631.40 c CG core degree average 0.00
3600.04/3631.40 c CG core slack average 0.00
3600.04/3631.40 c CG core upper bound improvements 0
3600.04/3631.40 c STR number of successful calls 0
3600.04/3631.40 c STR number of unsuccessful calls 0
3600.04/3631.40 c STR number of inconclusive calls 0
3600.04/3631.40 c STR number of successful attempts 0
3600.04/3631.40 c STR number of unsuccessful attempts 0
3600.04/3631.40 c STR number of inconclusive attempts 0
3600.04/3631.40 c STR average degree increase per successful call inf
3600.04/3631.40 c STR average degree increase per successful attempt inf
3600.04/3631.40 c STR total number of conflicts for successful attempts 0
3600.04/3631.40 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3631.40 c STR total number of conflicts for inconclusive attempts 0
3600.04/3631.40 c STR average number of conflicts per successful attempt inf
3600.04/3631.40 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3631.40 c STR average number of conflicts per inconclusive attempt inf
3600.04/3631.40 c AVG.sumWPerc 64.50
3600.04/3631.40 c bigint constraints 0
3600.04/3631.40 s UNKNOWN
3600.04/3631.40 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: 63708 MiB (62952 MiB free)
memory of node 1: 64465 MiB (64003 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506801-1751170426/watcher-4506801-1751170426 -o /tmp/evaluation-result-4506801-1751170426/solver-4506801-1751170426 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20383 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506801-1751170426.opb PROOFDIR/proof-4506801-1751170426
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=20414, runsolver pid=20410
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.66 1.56 2.40 3/259 20427
/proc/meminfo: memFree=129917640/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=16652 memory=640 CPUtime=0 cores=5,7
/proc/20427/stat : 20427 (roundingsat) D 20414 20414 20370 0 -1 4194304 78 0 0 0 0 0 0 0 20 0 1 0 32720136 17051648 160 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 4163 160 160 1147 0 102 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 20844 KiB
Current children cumulated memory: 3712 KiB
[startup+0.20568 s]*
/proc/loadavg: 0.66 1.56 2.40 4/265 20438
/proc/meminfo: memFree=129711660/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=73212 memory=27596 CPUtime=0.09 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 5669 0 0 0 8 1 0 0 20 0 1 0 32720136 74969088 6899 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 18303 6899 2240 1147 0 5730 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 77404 KiB
Current children cumulated memory: 30668 KiB
[startup+0.305648 s]*
/proc/loadavg: 0.66 1.56 2.40 5/268 20445
/proc/meminfo: memFree=129576072/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=108068 memory=53040 CPUtime=0.19 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 11353 0 0 0 16 3 0 0 20 0 1 0 32720136 110661632 13260 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 27017 13260 2240 1147 0 14444 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 112260 KiB
Current children cumulated memory: 56112 KiB
[startup+0.700213 s]
/proc/loadavg: 0.66 1.56 2.40 5/268 20445
/proc/meminfo: memFree=129478668/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=109128 memory=53936 CPUtime=0.58 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 11545 0 0 0 55 3 0 0 20 0 1 0 32720136 111747072 13484 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 27282 13484 2272 1147 0 14709 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 113320 KiB
Current children cumulated memory: 57008 KiB
[startup+1.50021 s]
/proc/loadavg: 0.66 1.56 2.40 5/268 20445
/proc/meminfo: memFree=129134940/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=109128 memory=53936 CPUtime=1.38 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 11545 0 0 0 135 3 0 0 20 0 1 0 32720136 111747072 13484 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 27282 13484 2272 1147 0 14709 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 113320 KiB
Current children cumulated memory: 57008 KiB
[startup+3.10544 s]
/proc/loadavg: 0.66 1.56 2.40 5/268 20447
/proc/meminfo: memFree=129038996/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=112780 memory=59568 CPUtime=2.98 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 12902 0 0 0 291 7 0 0 20 0 1 0 32720136 115486720 14892 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 28195 14892 2304 1147 0 15622 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 116972 KiB
Current children cumulated memory: 62640 KiB
[startup+6.30017 s]
/proc/loadavg: 0.92 1.60 2.41 5/268 20447
/proc/meminfo: memFree=128025376/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=118020 memory=67876 CPUtime=6.17 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 14490 0 0 0 601 16 0 0 20 0 1 0 32720136 120852480 16969 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 29505 16969 2304 1147 0 16932 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 122212 KiB
Current children cumulated memory: 70948 KiB
[startup+12.7002 s]
/proc/loadavg: 1.17 1.64 2.42 5/268 20447
/proc/meminfo: memFree=126722364/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=126784 memory=74788 CPUtime=12.55 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 16250 0 0 0 1226 29 0 0 20 0 1 0 32720136 129826816 18697 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 31696 18697 2304 1147 0 19123 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 130976 KiB
Current children cumulated memory: 77860 KiB
[startup+25.5002 s]
/proc/loadavg: 1.87 1.78 2.45 5/272 20451
/proc/meminfo: memFree=126896412/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=150164 memory=95708 CPUtime=25.28 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 20459 0 0 0 2477 51 0 0 20 0 1 0 32720136 153767936 23927 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 37541 23927 2304 1147 0 24968 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 154356 KiB
Current children cumulated memory: 98780 KiB
[startup+51.1058 s]
/proc/loadavg: 2.60 1.95 2.49 5/272 20452
/proc/meminfo: memFree=126925540/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=163784 memory=112324 CPUtime=50.5 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 23605 0 0 0 4958 92 0 0 20 0 1 0 32720136 167714816 28081 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 40946 28081 2304 1147 0 28373 0
Current children cumulated CPU time: 50.57 s
Current children cumulated vsize: 167976 KiB
Current children cumulated memory: 115396 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 2.29 2.58 5/272 20454
/proc/meminfo: memFree=126766108/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=199504 memory=148948 CPUtime=101.55 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 29849 0 0 0 9997 158 0 0 20 0 1 0 32720136 204292096 37237 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 49876 37237 2304 1147 0 37303 0
Current children cumulated CPU time: 101.62 s
Current children cumulated vsize: 203696 KiB
Current children cumulated memory: 152020 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 2.71 2.70 5/272 20456
/proc/meminfo: memFree=126524900/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=268116 memory=189832 CPUtime=161.26 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 35540 0 0 0 15880 246 0 0 20 0 1 0 32720136 274550784 47458 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 67029 47458 2304 1147 0 54456 0
Current children cumulated CPU time: 161.33 s
Current children cumulated vsize: 272308 KiB
Current children cumulated memory: 192904 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.95 2.79 5/273 20459
/proc/meminfo: memFree=126347108/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=277236 memory=218076 CPUtime=221.06 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 37973 0 0 0 21795 311 0 0 20 0 1 0 32720136 283889664 54519 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 69309 54519 2336 1147 0 56736 0
################
# More data... #
################
/proc/20427/statm: 249178 186939 2336 1147 0 236605 0
Current children cumulated CPU time: 3013.27 s
Current children cumulated vsize: 1000904 KiB
Current children cumulated memory: 750828 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/272 20667
/proc/meminfo: memFree=117061828/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=997756 memory=757100 CPUtime=3073.03 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 97960 0 0 0 304666 2637 0 0 20 0 1 0 32720136 1021702144 189275 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 249439 189275 2336 1147 0 236866 0
Current children cumulated CPU time: 3073.1 s
Current children cumulated vsize: 1001948 KiB
Current children cumulated memory: 760172 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/273 20670
/proc/meminfo: memFree=116890324/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=999632 memory=759148 CPUtime=3132.6 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 98501 0 0 0 310595 2665 0 0 20 0 1 0 32720136 1023623168 189787 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 249908 189787 2336 1147 0 237335 0
Current children cumulated CPU time: 3132.67 s
Current children cumulated vsize: 1003824 KiB
Current children cumulated memory: 762220 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/272 20672
/proc/meminfo: memFree=116654044/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=1002468 memory=770128 CPUtime=3192.3 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 99178 0 0 0 316535 2695 0 0 20 0 1 0 32720136 1026527232 192532 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 250617 192532 2336 1147 0 238044 0
Current children cumulated CPU time: 3192.37 s
Current children cumulated vsize: 1006660 KiB
Current children cumulated memory: 773200 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.07 4.02 4/271 20674
/proc/meminfo: memFree=116432020/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=1013728 memory=811364 CPUtime=3252.06 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 101354 0 0 0 322472 2734 0 0 20 0 1 0 32720136 1038057472 202841 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 253432 202841 2336 1147 0 240859 0
Current children cumulated CPU time: 3252.13 s
Current children cumulated vsize: 1017920 KiB
Current children cumulated memory: 814436 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/273 20680
/proc/meminfo: memFree=116247176/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=1013728 memory=811364 CPUtime=3311.75 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 101354 0 0 0 328388 2787 0 0 20 0 1 0 32720136 1038057472 202841 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 253432 202841 2336 1147 0 240859 0
Current children cumulated CPU time: 3311.82 s
Current children cumulated vsize: 1017920 KiB
Current children cumulated memory: 814436 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/274 20685
/proc/meminfo: memFree=116159152/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=1013728 memory=811876 CPUtime=3371.53 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 101466 0 0 0 334338 2815 0 0 20 0 1 0 32720136 1038057472 202969 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 253432 202969 2336 1147 0 240859 0
Current children cumulated CPU time: 3371.6 s
Current children cumulated vsize: 1017920 KiB
Current children cumulated memory: 814948 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/272 20689
/proc/meminfo: memFree=116111408/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=1013728 memory=811876 CPUtime=3431.36 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 101466 0 0 0 340305 2831 0 0 20 0 1 0 32720136 1038057472 202969 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 253432 202969 2336 1147 0 240859 0
Current children cumulated CPU time: 3431.43 s
Current children cumulated vsize: 1017920 KiB
Current children cumulated memory: 814948 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.02 5/272 20691
/proc/meminfo: memFree=116056376/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=1013728 memory=811876 CPUtime=3491.21 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 101502 0 0 0 346274 2847 0 0 20 0 1 0 32720136 1038057472 202969 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 253432 202969 2336 1147 0 240859 0
Current children cumulated CPU time: 3491.28 s
Current children cumulated vsize: 1017920 KiB
Current children cumulated memory: 814948 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/272 20693
/proc/meminfo: memFree=115867664/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=1013728 memory=811876 CPUtime=3551.05 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 101670 0 0 0 352210 2895 0 0 20 0 1 0 32720136 1038057472 202969 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 253432 202969 2336 1147 0 240859 0
Current children cumulated CPU time: 3551.12 s
Current children cumulated vsize: 1017920 KiB
Current children cumulated memory: 814948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3631.4 s]
/proc/loadavg: 4.08 4.08 4.03 5/271 20789
/proc/meminfo: memFree=118779196/131249996 swapFree=33010684/33010684
[pid=20414] ppid=20410 vsize=4192 memory=3072 CPUtime=0.07 cores=5,7
/proc/20414/stat : 20414 (run-dec-break-l) S 20410 20414 20370 0 -1 4194304 242 10838 0 0 0 0 5 2 20 0 1 0 32720127 4292608 768 18446744073709551615 94835404787712 94835405682245 140729962798592 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94835405921296 94835405969040 94835427147776 140729962805525 140729962805726 140729962805726 140729962811328 0
/proc/20414/statm: 1048 768 704 219 0 110 0
[pid=20427] ppid=20414 vsize=1014252 memory=812388 CPUtime=3599.97 cores=5,7
/proc/20427/stat : 20427 (roundingsat) R 20414 20414 20370 0 -1 4194304 101822 0 0 0 357063 2934 0 0 20 0 1 0 32720136 1038594048 203097 18446744073709551615 4227072 8923433 140729591111984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39129088 140729591118068 140729591118376 140729591118376 140729591123946 0
/proc/20427/statm: 253563 203097 2336 1147 0 240990 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1018444 KiB
Current children cumulated memory: 815460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3631.4 s]
# the end of solver process 20414 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.056406 s, system=0.021999 s
[startup+3631.46 s]
# the end of solver process 20427 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3570.7 s, system=29.3792 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
Child status: 2
Real time (s): 3631.46
CPU time (s): 3600.08
CPU user time (s): 3570.7
CPU system time (s): 29.3792
CPU usage (%): 99.136
Max. virtual memory (cumulated for all children) (KiB): 1336504
Max. memory (cumulated for all children) (KiB): 815460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.7
system time used= 29.3792
maximum resident set size= 812772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112924
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10926152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1468
involuntary context switches= 4436
# summary of solver processes directly reported to runsolver:
# pid: 20414,20427
# total CPU time (s): 3600.08
# total CPU user time (s): 3570.7
# total CPU system time (s): 29.3792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82237 second user time and 17.6102 second system time
The end
Begin job on nodeC015 at 2025-06-29 06:13:46
IDJOB=4506801
IDBENCH=158265
IDSOLVER=3358
FILE ID=nodeC015/4506801-1751170426
RUNJOBID= nodeC015-1751170426-20383
SLURM_JOB_ID= 9587528
Free space on /tmp= 433000 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506801-1751170426/watcher-4506801-1751170426 -o /tmp/evaluation-result-4506801-1751170426/solver-4506801-1751170426 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20383 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506801-1751170426.opb PROOFDIR/proof-4506801-1751170426
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= df8f338dbd068337fef89bf4c43df9f5
RANDOM SEED=1383446850
nodeC015 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.852
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 : 7000.14
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 : 3600.182
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 : 7000.14
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 : 3601.642
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 : 7000.14
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 : 3600.069
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 : 7000.14
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 : 3600.808
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 : 7000.14
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 : 3493.621
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 : 7000.14
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 : 3600.079
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.041
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130038772 kB
MemAvailable: 129757000 kB
Buffers: 3280 kB
Cached: 529128 kB
SwapCached: 0 kB
Active: 314316 kB
Inactive: 310168 kB
Active(anon): 110152 kB
Inactive(anon): 0 kB
Active(file): 204164 kB
Inactive(file): 310168 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 57348 kB
Writeback: 0 kB
AnonPages: 95444 kB
Mapped: 102632 kB
Shmem: 18076 kB
KReclaimable: 86268 kB
Slab: 168648 kB
SReclaimable: 86268 kB
SUnreclaim: 82380 kB
KernelStack: 3940 kB
PageTables: 2680 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 358540 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 36864 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: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432976 MiB
End job on nodeC015 at 2025-06-29 07:14:18