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-4507125-1751174041.opb'
0.00/0.03 c read 1.62MB (21.67ms)
0.00/0.03 c [cnf: #variables 23324 #clauses 23718 #duplicates 0 #arr 152654]
0.00/0.03 c output proof to 'PROOFDIR/proof-4507125-1751174041'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 3528] (30.56ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (4.69ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 117014 #edges 445252]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.09 c [group: #symmetries 4.80*10^1 #generators 5] (25.57ms)
0.00/0.09 c
0.00/0.09 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.09 c (0.08ms)
0.00/0.09 c
0.00/0.09 c finalize break order and special generators
0.00/0.09 c
0.00/0.09 c add generic predicates (break_depth=10)
0.00/0.09 c added predicates for 5 generators (0.07ms)
0.08/0.11 c
0.08/0.11 c generation finished
0.08/0.11 c [sbp: #constraints 140 #add_vars 45]
0.08/0.11 c
0.08/0.11 c write result to 'HOME/instance-4507125-1751174041.opb.pre'
0.08/0.12 c wrote 1.65MB (3.75ms)
0.08/0.12 c ------------------------------------------------------------------
0.08/0.12 c 30.56ms 27.56% approx_orbits
0.08/0.12 c 25.57ms 23.07% detect_generic
0.08/0.12 c 23.57ms 21.26% other
0.08/0.12 c 21.67ms 19.54% parse
0.08/0.12 c 4.69ms 4.23% detect_special
0.08/0.12 c 3.75ms 3.39% output
0.08/0.12 c 0.89ms 0.80% finalize_order
0.08/0.12 c 0.08ms 0.08% optimize_gens
0.08/0.12 c 0.07ms 0.07% break_generic
0.08/0.12 c ───────────────────────────────────────────────
0.08/0.12 c 110.86ms 100% total
0.08/0.12 c ------------------------------------------------------------------
0.08/0.14 c RoundingSat 2
0.08/0.14 c branch pb25
0.08/0.14 c commit 63f22ad
0.27/0.33 c #variables 23369 #constraints 23856
129.44/135.31 c #Conflicts: 1000 | #Constraints: 24855
129.44/135.31 c #Conflicts: 2000 | #Constraints: 25855
129.44/135.31 c INPROCESSING
129.44/135.31 c GARBAGE COLLECT
129.44/135.31 c #Conflicts: 3000 | #Constraints: 25121
129.44/135.31 c #Conflicts: 4000 | #Constraints: 26121
129.44/135.31 c INPROCESSING
129.44/135.31 c GARBAGE COLLECT
129.44/135.31 c #Conflicts: 5000 | #Constraints: 25669
129.44/135.31 c #Conflicts: 6000 | #Constraints: 26669
129.44/135.31 c INPROCESSING
129.44/135.31 c GARBAGE COLLECT
129.44/135.31 c #Conflicts: 7000 | #Constraints: 25749
129.44/135.31 c #Conflicts: 8000 | #Constraints: 26749
129.44/135.31 c #Conflicts: 9000 | #Constraints: 27749
129.44/135.31 c #Conflicts: 10000 | #Constraints: 28749
129.44/135.31 c #Conflicts: 11000 | #Constraints: 29749
129.44/135.31 c #Conflicts: 12000 | #Constraints: 30749
129.44/135.31 c INPROCESSING
129.44/135.31 c GARBAGE COLLECT
129.44/135.31 c #Conflicts: 13000 | #Constraints: 27827
129.44/135.31 c #Conflicts: 14000 | #Constraints: 28827
129.44/135.31 c #Conflicts: 15000 | #Constraints: 29827
129.44/135.31 c #Conflicts: 16000 | #Constraints: 30827
129.44/135.31 c INPROCESSING
129.44/135.31 c GARBAGE COLLECT
129.44/135.31 c #Conflicts: 17000 | #Constraints: 28491
129.44/135.31 c #Conflicts: 18000 | #Constraints: 29491
129.44/135.31 c #Conflicts: 19000 | #Constraints: 30491
129.44/135.31 c #Conflicts: 20000 | #Constraints: 31491
129.44/135.31 c #Conflicts: 21000 | #Constraints: 32491
129.44/135.31 c #Conflicts: 22000 | #Constraints: 33491
129.44/135.31 c #Conflicts: 23000 | #Constraints: 34491
129.44/135.31 c #Conflicts: 24000 | #Constraints: 35491
129.44/135.31 c #Conflicts: 25000 | #Constraints: 36491
129.44/135.31 c INPROCESSING
129.44/135.31 c GARBAGE COLLECT
129.44/135.31 c #Conflicts: 26000 | #Constraints: 30878
129.44/135.31 c #Conflicts: 27000 | #Constraints: 31878
129.44/135.31 c #Conflicts: 28000 | #Constraints: 32878
129.44/135.31 c #Conflicts: 29000 | #Constraints: 33878
129.44/135.31 c #Conflicts: 30000 | #Constraints: 34878
129.44/135.31 c #Conflicts: 31000 | #Constraints: 35878
129.44/135.31 c #Conflicts: 32000 | #Constraints: 36878
129.44/135.31 c #Conflicts: 33000 | #Constraints: 37878
129.44/135.31 c #Conflicts: 34000 | #Constraints: 38878
129.44/135.31 c #Conflicts: 35000 | #Constraints: 39878
129.44/135.31 c #Conflicts: 36000 | #Constraints: 40878
129.44/135.31 c #Conflicts: 37000 | #Constraints: 41878
129.44/135.31 c INPROCESSING
129.44/135.31 c GARBAGE COLLECT
129.44/135.31 c #Conflicts: 38000 | #Constraints: 34089
129.44/135.31 c #Conflicts: 39000 | #Constraints: 35089
129.44/135.31 c #Conflicts: 40000 | #Constraints: 36089
129.44/135.31 c #Conflicts: 41000 | #Constraints: 37089
129.44/135.31 c #Conflicts: 42000 | #Constraints: 38089
129.44/135.31 c #Conflicts: 43000 | #Constraints: 39089
129.44/135.31 c INPROCESSING
129.44/135.31 c GARBAGE COLLECT
129.44/135.31 c #Conflicts: 44000 | #Constraints: 34408
129.44/135.31 c #Conflicts: 45000 | #Constraints: 35408
129.44/135.31 c #Conflicts: 46000 | #Constraints: 36408
129.44/135.31 c #Conflicts: 47000 | #Constraints: 37408
129.44/135.31 c #Conflicts: 48000 | #Constraints: 38408
129.44/135.31 c #Conflicts: 49000 | #Constraints: 39408
129.44/135.31 c #Conflicts: 50000 | #Constraints: 40408
129.44/135.31 c #Conflicts: 51000 | #Constraints: 41408
129.44/135.31 c #Conflicts: 52000 | #Constraints: 42408
129.44/135.31 c #Conflicts: 53000 | #Constraints: 43408
129.44/135.31 c #Conflicts: 54000 | #Constraints: 44408
129.44/135.31 c #Conflicts: 55000 | #Constraints: 45408
129.44/135.31 c #Conflicts: 56000 | #Constraints: 46408
129.44/135.31 c #Conflicts: 57000 | #Constraints: 47408
129.44/135.31 c INPROCESSING
129.44/135.31 c GARBAGE COLLECT
129.44/135.31 c #Conflicts: 58000 | #Constraints: 36686
129.44/135.31 c #Conflicts: 59000 | #Constraints: 37686
129.44/135.31 c #Conflicts: 60000 | #Constraints: 38686
129.44/135.31 c #Conflicts: 61000 | #Constraints: 39686
129.44/135.31 c #Conflicts: 62000 | #Constraints: 40686
129.44/135.31 c #Conflicts: 63000 | #Constraints: 41686
129.44/135.31 c #Conflicts: 64000 | #Constraints: 42686
129.44/135.31 c #Conflicts: 65000 | #Constraints: 43686
129.44/135.31 c #Conflicts: 66000 | #Constraints: 44686
129.44/135.31 c #Conflicts: 67000 | #Constraints: 45686
129.44/135.31 c #Conflicts: 68000 | #Constraints: 46686
129.44/135.31 c #Conflicts: 69000 | #Constraints: 47686
129.44/135.31 c #Conflicts: 70000 | #Constraints: 48686
129.44/135.31 c #Conflicts: 71000 | #Constraints: 49686
129.44/135.31 c #Conflicts: 72000 | #Constraints: 50686
129.44/135.31 c #Conflicts: 73000 | #Constraints: 51686
129.44/135.31 c #Conflicts: 74000 | #Constraints: 52686
266.01/272.70 c INPROCESSING
266.01/272.70 c GARBAGE COLLECT
266.01/272.70 c #Conflicts: 75000 | #Constraints: 39759
266.01/272.70 c #Conflicts: 76000 | #Constraints: 40759
266.01/272.70 c #Conflicts: 77000 | #Constraints: 41759
266.01/272.70 c #Conflicts: 78000 | #Constraints: 42759
266.01/272.70 c #Conflicts: 79000 | #Constraints: 43759
266.01/272.70 c #Conflicts: 80000 | #Constraints: 44759
266.01/272.70 c #Conflicts: 81000 | #Constraints: 45759
266.01/272.70 c #Conflicts: 82000 | #Constraints: 46759
266.01/272.70 c #Conflicts: 83000 | #Constraints: 47759
266.01/272.70 c #Conflicts: 84000 | #Constraints: 48759
266.01/272.70 c #Conflicts: 85000 | #Constraints: 49759
266.01/272.70 c #Conflicts: 86000 | #Constraints: 50759
266.01/272.70 c #Conflicts: 87000 | #Constraints: 51759
266.01/272.70 c #Conflicts: 88000 | #Constraints: 52759
266.01/272.70 c #Conflicts: 89000 | #Constraints: 53759
266.01/272.70 c #Conflicts: 90000 | #Constraints: 54759
266.01/272.70 c #Conflicts: 91000 | #Constraints: 55759
266.01/272.70 c #Conflicts: 92000 | #Constraints: 56759
266.01/272.70 c INPROCESSING
266.01/272.70 c GARBAGE COLLECT
266.01/272.70 c #Conflicts: 93000 | #Constraints: 41727
266.01/272.70 c #Conflicts: 94000 | #Constraints: 42727
266.01/272.70 c #Conflicts: 95000 | #Constraints: 43727
266.01/272.70 c #Conflicts: 96000 | #Constraints: 44727
266.01/272.70 c #Conflicts: 97000 | #Constraints: 45727
266.01/272.70 c #Conflicts: 98000 | #Constraints: 46727
266.01/272.70 c #Conflicts: 99000 | #Constraints: 47727
266.01/272.70 c #Conflicts: 100000 | #Constraints: 48727
266.01/272.70 c #Conflicts: 101000 | #Constraints: 49728
266.01/272.70 c #Conflicts: 102000 | #Constraints: 50728
266.01/272.70 c #Conflicts: 103000 | #Constraints: 51728
266.01/272.70 c #Conflicts: 104000 | #Constraints: 52728
266.01/272.70 c #Conflicts: 105000 | #Constraints: 53728
266.01/272.70 c #Conflicts: 106000 | #Constraints: 54728
266.01/272.70 c #Conflicts: 107000 | #Constraints: 55728
266.01/272.70 c #Conflicts: 108000 | #Constraints: 56728
266.01/272.70 c #Conflicts: 109000 | #Constraints: 57728
266.01/272.70 c #Conflicts: 110000 | #Constraints: 58728
266.01/272.70 c #Conflicts: 111000 | #Constraints: 59728
266.01/272.70 c #Conflicts: 112000 | #Constraints: 60728
266.01/272.70 c INPROCESSING
266.01/272.70 c GARBAGE COLLECT
266.01/272.70 c #Conflicts: 113000 | #Constraints: 43510
266.01/272.70 c #Conflicts: 114000 | #Constraints: 44510
266.01/272.70 c #Conflicts: 115000 | #Constraints: 45510
266.01/272.70 c #Conflicts: 116000 | #Constraints: 46510
266.01/272.70 c #Conflicts: 117000 | #Constraints: 47510
266.01/272.70 c #Conflicts: 118000 | #Constraints: 48510
266.01/272.70 c #Conflicts: 119000 | #Constraints: 49510
266.01/272.70 c #Conflicts: 120000 | #Constraints: 50510
266.01/272.70 c #Conflicts: 121000 | #Constraints: 51510
266.01/272.70 c #Conflicts: 122000 | #Constraints: 52510
266.01/272.70 c #Conflicts: 123000 | #Constraints: 53510
266.01/272.70 c #Conflicts: 124000 | #Constraints: 54510
266.01/272.70 c #Conflicts: 125000 | #Constraints: 55510
266.01/272.70 c #Conflicts: 126000 | #Constraints: 56510
266.01/272.70 c #Conflicts: 127000 | #Constraints: 57510
266.01/272.70 c #Conflicts: 128000 | #Constraints: 58510
266.01/272.70 c #Conflicts: 129000 | #Constraints: 59510
266.01/272.70 c #Conflicts: 130000 | #Constraints: 60510
266.01/272.70 c #Conflicts: 131000 | #Constraints: 61510
266.01/272.70 c #Conflicts: 132000 | #Constraints: 62510
266.01/272.70 c #Conflicts: 133000 | #Constraints: 63510
266.01/272.70 c #Conflicts: 134000 | #Constraints: 64510
266.01/272.70 c #Conflicts: 135000 | #Constraints: 65510
266.01/272.70 c INPROCESSING
266.01/272.70 c GARBAGE COLLECT
266.01/272.70 c #Conflicts: 136000 | #Constraints: 46342
266.01/272.70 c #Conflicts: 137000 | #Constraints: 47342
266.01/272.70 c #Conflicts: 138000 | #Constraints: 48342
266.01/272.70 c #Conflicts: 139000 | #Constraints: 49342
266.01/272.70 c #Conflicts: 140000 | #Constraints: 50342
266.01/272.70 c #Conflicts: 141000 | #Constraints: 51342
266.01/272.70 c #Conflicts: 142000 | #Constraints: 52342
266.01/272.70 c #Conflicts: 143000 | #Constraints: 53342
266.01/272.70 c #Conflicts: 144000 | #Constraints: 54342
266.01/272.70 c #Conflicts: 145000 | #Constraints: 55342
266.01/272.70 c #Conflicts: 146000 | #Constraints: 56342
266.01/272.70 c #Conflicts: 147000 | #Constraints: 57342
266.01/272.70 c #Conflicts: 148000 | #Constraints: 58342
266.01/272.70 c #Conflicts: 149000 | #Constraints: 59342
266.01/272.70 c #Conflicts: 150000 | #Constraints: 60342
443.12/451.39 c #Conflicts: 151000 | #Constraints: 61342
443.12/451.39 c #Conflicts: 152000 | #Constraints: 62342
443.12/451.39 c #Conflicts: 153000 | #Constraints: 63342
443.12/451.39 c #Conflicts: 154000 | #Constraints: 64342
443.12/451.39 c #Conflicts: 155000 | #Constraints: 65342
443.12/451.39 c #Conflicts: 156000 | #Constraints: 66342
443.12/451.39 c #Conflicts: 157000 | #Constraints: 67342
443.12/451.39 c #Conflicts: 158000 | #Constraints: 68342
443.12/451.39 c #Conflicts: 159000 | #Constraints: 69342
443.12/451.39 c INPROCESSING
443.12/451.39 c GARBAGE COLLECT
443.12/451.39 c #Conflicts: 160000 | #Constraints: 48059
443.12/451.39 c #Conflicts: 161000 | #Constraints: 49059
443.12/451.39 c #Conflicts: 162000 | #Constraints: 50059
443.12/451.39 c #Conflicts: 163000 | #Constraints: 51059
443.12/451.39 c #Conflicts: 164000 | #Constraints: 52059
443.12/451.39 c #Conflicts: 165000 | #Constraints: 53059
443.12/451.39 c #Conflicts: 166000 | #Constraints: 54059
443.12/451.39 c #Conflicts: 167000 | #Constraints: 55059
443.12/451.39 c #Conflicts: 168000 | #Constraints: 56059
443.12/451.39 c #Conflicts: 169000 | #Constraints: 57059
443.12/451.39 c #Conflicts: 170000 | #Constraints: 58059
443.12/451.39 c #Conflicts: 171000 | #Constraints: 59059
443.12/451.39 c #Conflicts: 172000 | #Constraints: 60059
443.12/451.39 c #Conflicts: 173000 | #Constraints: 61059
443.12/451.39 c #Conflicts: 174000 | #Constraints: 62059
443.12/451.39 c #Conflicts: 175000 | #Constraints: 63059
443.12/451.39 c #Conflicts: 176000 | #Constraints: 64059
443.12/451.39 c #Conflicts: 177000 | #Constraints: 65059
443.12/451.39 c #Conflicts: 178000 | #Constraints: 66059
443.12/451.39 c #Conflicts: 179000 | #Constraints: 67059
443.12/451.39 c #Conflicts: 180000 | #Constraints: 68059
443.12/451.39 c #Conflicts: 181000 | #Constraints: 69059
443.12/451.39 c #Conflicts: 182000 | #Constraints: 70059
443.12/451.39 c #Conflicts: 183000 | #Constraints: 71059
443.12/451.39 c #Conflicts: 184000 | #Constraints: 72059
443.12/451.39 c #Conflicts: 185000 | #Constraints: 73059
443.12/451.39 c #Conflicts: 186000 | #Constraints: 74059
443.12/451.39 c INPROCESSING
443.12/451.39 c GARBAGE COLLECT
443.12/451.39 c #Conflicts: 187000 | #Constraints: 50961
443.12/451.39 c #Conflicts: 188000 | #Constraints: 51961
443.12/451.39 c #Conflicts: 189000 | #Constraints: 52961
443.12/451.39 c #Conflicts: 190000 | #Constraints: 53961
443.12/451.39 c #Conflicts: 191000 | #Constraints: 54961
443.12/451.39 c #Conflicts: 192000 | #Constraints: 55961
443.12/451.39 c #Conflicts: 193000 | #Constraints: 56961
443.12/451.39 c #Conflicts: 194000 | #Constraints: 57961
443.12/451.39 c #Conflicts: 195000 | #Constraints: 58961
443.12/451.39 c #Conflicts: 196000 | #Constraints: 59961
443.12/451.39 c #Conflicts: 197000 | #Constraints: 60961
443.12/451.39 c #Conflicts: 198000 | #Constraints: 61961
443.12/451.39 c #Conflicts: 199000 | #Constraints: 62961
443.12/451.39 c #Conflicts: 200000 | #Constraints: 63961
443.12/451.39 c #Conflicts: 201000 | #Constraints: 64961
443.12/451.39 c #Conflicts: 202000 | #Constraints: 65961
443.12/451.39 c #Conflicts: 203000 | #Constraints: 66961
443.12/451.39 c #Conflicts: 204000 | #Constraints: 67961
443.12/451.39 c #Conflicts: 205000 | #Constraints: 68961
443.12/451.39 c #Conflicts: 206000 | #Constraints: 69961
443.12/451.39 c #Conflicts: 207000 | #Constraints: 70961
443.12/451.39 c #Conflicts: 208000 | #Constraints: 71961
443.12/451.39 c #Conflicts: 209000 | #Constraints: 72961
443.12/451.39 c #Conflicts: 210000 | #Constraints: 73961
443.12/451.39 c #Conflicts: 211000 | #Constraints: 74961
443.12/451.39 c #Conflicts: 212000 | #Constraints: 75961
443.12/451.39 c #Conflicts: 213000 | #Constraints: 76961
443.12/451.39 c #Conflicts: 214000 | #Constraints: 77961
443.12/451.39 c INPROCESSING
443.12/451.39 c GARBAGE COLLECT
443.12/451.39 c #Conflicts: 215000 | #Constraints: 52558
443.12/451.39 c #Conflicts: 216000 | #Constraints: 53558
443.12/451.39 c #Conflicts: 217000 | #Constraints: 54558
443.12/451.39 c #Conflicts: 218000 | #Constraints: 55558
443.12/451.39 c #Conflicts: 219000 | #Constraints: 56558
443.12/451.39 c #Conflicts: 220000 | #Constraints: 57558
443.12/451.39 c #Conflicts: 221000 | #Constraints: 58558
443.12/451.39 c #Conflicts: 222000 | #Constraints: 59558
443.12/451.39 c #Conflicts: 223000 | #Constraints: 60558
443.12/451.39 c #Conflicts: 224000 | #Constraints: 61558
443.12/451.39 c #Conflicts: 225000 | #Constraints: 62558
443.12/451.39 c #Conflicts: 226000 | #Constraints: 63558
443.12/451.39 c #Conflicts: 227000 | #Constraints: 64558
612.94/628.24 c #Conflicts: 228000 | #Constraints: 65558
612.94/628.24 c #Conflicts: 229000 | #Constraints: 66558
612.94/628.24 c #Conflicts: 230000 | #Constraints: 67558
612.94/628.24 c #Conflicts: 231000 | #Constraints: 68558
612.94/628.24 c #Conflicts: 232000 | #Constraints: 69558
612.94/628.24 c #Conflicts: 233000 | #Constraints: 70558
612.94/628.24 c #Conflicts: 234000 | #Constraints: 71558
612.94/628.24 c #Conflicts: 235000 | #Constraints: 72558
612.94/628.24 c #Conflicts: 236000 | #Constraints: 73558
612.94/628.24 c #Conflicts: 237000 | #Constraints: 74558
612.94/628.24 c #Conflicts: 238000 | #Constraints: 75558
612.94/628.24 c #Conflicts: 239000 | #Constraints: 76558
612.94/628.24 c #Conflicts: 240000 | #Constraints: 77558
612.94/628.24 c #Conflicts: 241000 | #Constraints: 78558
612.94/628.24 c #Conflicts: 242000 | #Constraints: 79558
612.94/628.24 c #Conflicts: 243000 | #Constraints: 80558
612.94/628.24 c #Conflicts: 244000 | #Constraints: 81558
612.94/628.24 c INPROCESSING
612.94/628.24 c GARBAGE COLLECT
612.94/628.24 c #Conflicts: 245000 | #Constraints: 54407
612.94/628.24 c #Conflicts: 246000 | #Constraints: 55407
612.94/628.24 c #Conflicts: 247000 | #Constraints: 56407
612.94/628.24 c #Conflicts: 248000 | #Constraints: 57407
612.94/628.24 c #Conflicts: 249000 | #Constraints: 58407
612.94/628.24 c #Conflicts: 250000 | #Constraints: 59407
612.94/628.24 c #Conflicts: 251000 | #Constraints: 60407
612.94/628.24 c #Conflicts: 252000 | #Constraints: 61407
612.94/628.24 c #Conflicts: 253000 | #Constraints: 62407
612.94/628.24 c #Conflicts: 254000 | #Constraints: 63407
612.94/628.24 c #Conflicts: 255000 | #Constraints: 64407
612.94/628.24 c #Conflicts: 256000 | #Constraints: 65407
612.94/628.24 c #Conflicts: 257000 | #Constraints: 66407
612.94/628.24 c #Conflicts: 258000 | #Constraints: 67407
612.94/628.24 c #Conflicts: 259000 | #Constraints: 68407
612.94/628.24 c #Conflicts: 260000 | #Constraints: 69407
612.94/628.24 c #Conflicts: 261000 | #Constraints: 70407
612.94/628.24 c #Conflicts: 262000 | #Constraints: 71407
612.94/628.24 c #Conflicts: 263000 | #Constraints: 72407
612.94/628.24 c #Conflicts: 264000 | #Constraints: 73407
612.94/628.24 c #Conflicts: 265000 | #Constraints: 74407
612.94/628.24 c #Conflicts: 266000 | #Constraints: 75407
612.94/628.24 c #Conflicts: 267000 | #Constraints: 76407
612.94/628.24 c #Conflicts: 268000 | #Constraints: 77407
612.94/628.24 c #Conflicts: 269000 | #Constraints: 78407
612.94/628.24 c #Conflicts: 270000 | #Constraints: 79407
612.94/628.24 c #Conflicts: 271000 | #Constraints: 80407
612.94/628.24 c #Conflicts: 272000 | #Constraints: 81407
612.94/628.24 c #Conflicts: 273000 | #Constraints: 82407
612.94/628.24 c #Conflicts: 274000 | #Constraints: 83407
612.94/628.24 c #Conflicts: 275000 | #Constraints: 84407
612.94/628.24 c #Conflicts: 276000 | #Constraints: 85407
612.94/628.24 c #Conflicts: 277000 | #Constraints: 86407
612.94/628.24 c INPROCESSING
612.94/628.24 c GARBAGE COLLECT
612.94/628.24 c #Conflicts: 278000 | #Constraints: 57443
612.94/628.24 c #Conflicts: 279000 | #Constraints: 58443
612.94/628.24 c #Conflicts: 280000 | #Constraints: 59443
612.94/628.24 c #Conflicts: 281000 | #Constraints: 60443
612.94/628.24 c #Conflicts: 282000 | #Constraints: 61443
612.94/628.24 c #Conflicts: 283000 | #Constraints: 62443
612.94/628.24 c #Conflicts: 284000 | #Constraints: 63443
612.94/628.24 c #Conflicts: 285000 | #Constraints: 64443
612.94/628.24 c #Conflicts: 286000 | #Constraints: 65443
612.94/628.24 c #Conflicts: 287000 | #Constraints: 66443
612.94/628.24 c #Conflicts: 288000 | #Constraints: 67443
612.94/628.24 c #Conflicts: 289000 | #Constraints: 68443
612.94/628.24 c #Conflicts: 290000 | #Constraints: 69443
612.94/628.24 c #Conflicts: 291000 | #Constraints: 70443
612.94/628.24 c #Conflicts: 292000 | #Constraints: 71443
612.94/628.24 c #Conflicts: 293000 | #Constraints: 72443
612.94/628.24 c #Conflicts: 294000 | #Constraints: 73443
612.94/628.24 c #Conflicts: 295000 | #Constraints: 74443
612.94/628.24 c #Conflicts: 296000 | #Constraints: 75443
612.94/628.24 c #Conflicts: 297000 | #Constraints: 76443
612.94/628.24 c #Conflicts: 298000 | #Constraints: 77443
612.94/628.24 c #Conflicts: 299000 | #Constraints: 78443
612.94/628.24 c #Conflicts: 300000 | #Constraints: 79443
612.94/628.24 c #Conflicts: 301000 | #Constraints: 80443
612.94/628.24 c #Conflicts: 302000 | #Constraints: 81443
612.94/628.24 c #Conflicts: 303000 | #Constraints: 82443
612.94/628.24 c #Conflicts: 304000 | #Constraints: 83443
765.73/794.31 c #Conflicts: 305000 | #Constraints: 84443
765.73/794.31 c #Conflicts: 306000 | #Constraints: 85443
765.73/794.31 c #Conflicts: 307000 | #Constraints: 86443
765.73/794.31 c #Conflicts: 308000 | #Constraints: 87443
765.73/794.31 c #Conflicts: 309000 | #Constraints: 88443
765.73/794.31 c #Conflicts: 310000 | #Constraints: 89443
765.73/794.31 c #Conflicts: 311000 | #Constraints: 90443
765.73/794.31 c INPROCESSING
765.73/794.31 c GARBAGE COLLECT
765.73/794.31 c #Conflicts: 312000 | #Constraints: 59633
765.73/794.31 c #Conflicts: 313000 | #Constraints: 60633
765.73/794.31 c #Conflicts: 314000 | #Constraints: 61633
765.73/794.31 c #Conflicts: 315000 | #Constraints: 62633
765.73/794.31 c #Conflicts: 316000 | #Constraints: 63633
765.73/794.31 c #Conflicts: 317000 | #Constraints: 64633
765.73/794.31 c #Conflicts: 318000 | #Constraints: 65633
765.73/794.31 c #Conflicts: 319000 | #Constraints: 66633
765.73/794.31 c #Conflicts: 320000 | #Constraints: 67633
765.73/794.31 c #Conflicts: 321000 | #Constraints: 68633
765.73/794.31 c #Conflicts: 322000 | #Constraints: 69633
765.73/794.31 c #Conflicts: 323000 | #Constraints: 70633
765.73/794.31 c #Conflicts: 324000 | #Constraints: 71633
765.73/794.31 c #Conflicts: 325000 | #Constraints: 72633
765.73/794.31 c #Conflicts: 326000 | #Constraints: 73633
765.73/794.31 c #Conflicts: 327000 | #Constraints: 74633
765.73/794.31 c #Conflicts: 328000 | #Constraints: 75633
765.73/794.31 c #Conflicts: 329000 | #Constraints: 76633
765.73/794.31 c #Conflicts: 330000 | #Constraints: 77633
765.73/794.31 c #Conflicts: 331000 | #Constraints: 78633
765.73/794.31 c #Conflicts: 332000 | #Constraints: 79633
765.73/794.31 c #Conflicts: 333000 | #Constraints: 80633
765.73/794.31 c #Conflicts: 334000 | #Constraints: 81633
765.73/794.31 c #Conflicts: 335000 | #Constraints: 82633
765.73/794.31 c #Conflicts: 336000 | #Constraints: 83633
765.73/794.31 c #Conflicts: 337000 | #Constraints: 84633
765.73/794.31 c #Conflicts: 338000 | #Constraints: 85633
765.73/794.31 c #Conflicts: 339000 | #Constraints: 86633
765.73/794.31 c #Conflicts: 340000 | #Constraints: 87633
765.73/794.31 c #Conflicts: 341000 | #Constraints: 88633
765.73/794.31 c #Conflicts: 342000 | #Constraints: 89633
765.73/794.31 c #Conflicts: 343000 | #Constraints: 90633
765.73/794.31 c #Conflicts: 344000 | #Constraints: 91633
765.73/794.31 c #Conflicts: 345000 | #Constraints: 92633
765.73/794.31 c #Conflicts: 346000 | #Constraints: 93633
765.73/794.31 c #Conflicts: 347000 | #Constraints: 94633
765.73/794.31 c #Conflicts: 348000 | #Constraints: 95633
765.73/794.31 c INPROCESSING
765.73/794.31 c GARBAGE COLLECT
765.73/794.31 c #Conflicts: 349000 | #Constraints: 62485
765.73/794.31 c #Conflicts: 350000 | #Constraints: 63485
765.73/794.31 c #Conflicts: 351000 | #Constraints: 64485
765.73/794.31 c #Conflicts: 352000 | #Constraints: 65485
765.73/794.31 c #Conflicts: 353000 | #Constraints: 66485
765.73/794.31 c #Conflicts: 354000 | #Constraints: 67485
765.73/794.31 c #Conflicts: 355000 | #Constraints: 68485
765.73/794.31 c #Conflicts: 356000 | #Constraints: 69485
765.73/794.31 c #Conflicts: 357000 | #Constraints: 70485
765.73/794.31 c #Conflicts: 358000 | #Constraints: 71485
765.73/794.31 c #Conflicts: 359000 | #Constraints: 72485
765.73/794.31 c #Conflicts: 360000 | #Constraints: 73485
765.73/794.31 c #Conflicts: 361000 | #Constraints: 74485
765.73/794.31 c #Conflicts: 362000 | #Constraints: 75485
765.73/794.31 c #Conflicts: 363000 | #Constraints: 76485
765.73/794.31 c #Conflicts: 364000 | #Constraints: 77485
765.73/794.31 c #Conflicts: 365000 | #Constraints: 78485
765.73/794.31 c #Conflicts: 366000 | #Constraints: 79485
765.73/794.31 c #Conflicts: 367000 | #Constraints: 80485
765.73/794.31 c #Conflicts: 368000 | #Constraints: 81485
765.73/794.31 c #Conflicts: 369000 | #Constraints: 82485
765.73/794.31 c #Conflicts: 370000 | #Constraints: 83485
765.73/794.31 c #Conflicts: 371000 | #Constraints: 84485
765.73/794.31 c #Conflicts: 372000 | #Constraints: 85485
765.73/794.31 c #Conflicts: 373000 | #Constraints: 86485
765.73/794.31 c #Conflicts: 374000 | #Constraints: 87485
765.73/794.31 c #Conflicts: 375000 | #Constraints: 88485
765.73/794.31 c #Conflicts: 376000 | #Constraints: 89485
765.73/794.31 c #Conflicts: 377000 | #Constraints: 90485
765.73/794.31 c #Conflicts: 378000 | #Constraints: 91485
765.73/794.31 c #Conflicts: 379000 | #Constraints: 92485
765.73/794.31 c #Conflicts: 380000 | #Constraints: 93485
765.73/794.31 c #Conflicts: 381000 | #Constraints: 94485
765.73/794.31 c #Conflicts: 382000 | #Constraints: 95485
917.91/953.66 c #Conflicts: 383000 | #Constraints: 96485
917.91/953.66 c #Conflicts: 384000 | #Constraints: 97485
917.91/953.66 c #Conflicts: 385000 | #Constraints: 98485
917.91/953.66 c #Conflicts: 386000 | #Constraints: 99485
917.91/953.66 c INPROCESSING
917.91/953.66 c GARBAGE COLLECT
917.91/953.66 c #Conflicts: 387000 | #Constraints: 64338
917.91/953.66 c #Conflicts: 388000 | #Constraints: 65338
917.91/953.66 c #Conflicts: 389000 | #Constraints: 66338
917.91/953.66 c #Conflicts: 390000 | #Constraints: 67338
917.91/953.66 c #Conflicts: 391000 | #Constraints: 68338
917.91/953.66 c #Conflicts: 392000 | #Constraints: 69338
917.91/953.66 c #Conflicts: 393000 | #Constraints: 70338
917.91/953.66 c #Conflicts: 394000 | #Constraints: 71338
917.91/953.66 c #Conflicts: 395000 | #Constraints: 72338
917.91/953.66 c #Conflicts: 396000 | #Constraints: 73338
917.91/953.66 c #Conflicts: 397000 | #Constraints: 74338
917.91/953.66 c #Conflicts: 398000 | #Constraints: 75338
917.91/953.66 c #Conflicts: 399000 | #Constraints: 76338
917.91/953.66 c #Conflicts: 400000 | #Constraints: 77338
917.91/953.66 c #Conflicts: 401000 | #Constraints: 78338
917.91/953.66 c #Conflicts: 402000 | #Constraints: 79338
917.91/953.66 c #Conflicts: 403000 | #Constraints: 80338
917.91/953.66 c #Conflicts: 404000 | #Constraints: 81338
917.91/953.66 c #Conflicts: 405000 | #Constraints: 82338
917.91/953.66 c #Conflicts: 406000 | #Constraints: 83338
917.91/953.66 c #Conflicts: 407000 | #Constraints: 84338
917.91/953.66 c #Conflicts: 408000 | #Constraints: 85338
917.91/953.66 c #Conflicts: 409000 | #Constraints: 86338
917.91/953.66 c #Conflicts: 410000 | #Constraints: 87338
917.91/953.66 c #Conflicts: 411000 | #Constraints: 88338
917.91/953.66 c #Conflicts: 412000 | #Constraints: 89338
917.91/953.66 c #Conflicts: 413000 | #Constraints: 90338
917.91/953.66 c #Conflicts: 414000 | #Constraints: 91338
917.91/953.66 c #Conflicts: 415000 | #Constraints: 92338
917.91/953.66 c #Conflicts: 416000 | #Constraints: 93338
917.91/953.66 c #Conflicts: 417000 | #Constraints: 94338
917.91/953.66 c #Conflicts: 418000 | #Constraints: 95338
917.91/953.66 c #Conflicts: 419000 | #Constraints: 96338
917.91/953.66 c #Conflicts: 420000 | #Constraints: 97338
917.91/953.66 c #Conflicts: 421000 | #Constraints: 98338
917.91/953.66 c #Conflicts: 422000 | #Constraints: 99338
917.91/953.66 c #Conflicts: 423000 | #Constraints: 100338
917.91/953.66 c #Conflicts: 424000 | #Constraints: 101338
917.91/953.66 c #Conflicts: 425000 | #Constraints: 102338
917.91/953.66 c #Conflicts: 426000 | #Constraints: 103338
917.91/953.66 c INPROCESSING
917.91/953.66 c GARBAGE COLLECT
917.91/953.66 c #Conflicts: 427000 | #Constraints: 66158
917.91/953.66 c #Conflicts: 428000 | #Constraints: 67158
917.91/953.66 c #Conflicts: 429000 | #Constraints: 68158
917.91/953.66 c #Conflicts: 430000 | #Constraints: 69158
917.91/953.66 c #Conflicts: 431000 | #Constraints: 70158
917.91/953.66 c #Conflicts: 432000 | #Constraints: 71158
917.91/953.66 c #Conflicts: 433000 | #Constraints: 72158
917.91/953.66 c #Conflicts: 434000 | #Constraints: 73158
917.91/953.66 c #Conflicts: 435000 | #Constraints: 74158
917.91/953.66 c #Conflicts: 436000 | #Constraints: 75158
917.91/953.66 c #Conflicts: 437000 | #Constraints: 76158
917.91/953.66 c #Conflicts: 438000 | #Constraints: 77158
917.91/953.66 c #Conflicts: 439000 | #Constraints: 78158
917.91/953.66 c #Conflicts: 440000 | #Constraints: 79158
917.91/953.66 c #Conflicts: 441000 | #Constraints: 80158
917.91/953.66 c #Conflicts: 442000 | #Constraints: 81158
917.91/953.66 c #Conflicts: 443000 | #Constraints: 82158
917.91/953.66 c #Conflicts: 444000 | #Constraints: 83158
917.91/953.66 c #Conflicts: 445000 | #Constraints: 84158
917.91/953.66 c #Conflicts: 446000 | #Constraints: 85158
917.91/953.66 c #Conflicts: 447000 | #Constraints: 86158
917.91/953.66 c #Conflicts: 448000 | #Constraints: 87158
917.91/953.66 c #Conflicts: 449000 | #Constraints: 88158
917.91/953.66 c #Conflicts: 450000 | #Constraints: 89158
917.91/953.66 c #Conflicts: 451000 | #Constraints: 90158
917.91/953.66 c #Conflicts: 452000 | #Constraints: 91158
917.91/953.66 c #Conflicts: 453000 | #Constraints: 92158
917.91/953.66 c #Conflicts: 454000 | #Constraints: 93158
917.91/953.66 c #Conflicts: 455000 | #Constraints: 94158
917.91/953.66 c #Conflicts: 456000 | #Constraints: 95158
917.91/953.66 c #Conflicts: 457000 | #Constraints: 96158
917.91/953.66 c #Conflicts: 458000 | #Constraints: 97158
917.91/953.66 c #Conflicts: 459000 | #Constraints: 98158
1107.30/1147.56 c #Conflicts: 460000 | #Constraints: 99158
1107.30/1147.56 c #Conflicts: 461000 | #Constraints: 100158
1107.30/1147.56 c #Conflicts: 462000 | #Constraints: 101158
1107.30/1147.56 c #Conflicts: 463000 | #Constraints: 102158
1107.30/1147.56 c #Conflicts: 464000 | #Constraints: 103158
1107.30/1147.56 c #Conflicts: 465000 | #Constraints: 104158
1107.30/1147.56 c #Conflicts: 466000 | #Constraints: 105158
1107.30/1147.56 c #Conflicts: 467000 | #Constraints: 106158
1107.30/1147.56 c #Conflicts: 468000 | #Constraints: 107158
1107.30/1147.56 c #Conflicts: 469000 | #Constraints: 108158
1107.30/1147.56 c INPROCESSING
1107.30/1147.56 c GARBAGE COLLECT
1107.30/1147.56 c #Conflicts: 470000 | #Constraints: 68562
1107.30/1147.56 c #Conflicts: 471000 | #Constraints: 69562
1107.30/1147.56 c #Conflicts: 472000 | #Constraints: 70562
1107.30/1147.56 c #Conflicts: 473000 | #Constraints: 71562
1107.30/1147.56 c #Conflicts: 474000 | #Constraints: 72562
1107.30/1147.56 c #Conflicts: 475000 | #Constraints: 73562
1107.30/1147.56 c #Conflicts: 476000 | #Constraints: 74562
1107.30/1147.56 c #Conflicts: 477000 | #Constraints: 75562
1107.30/1147.56 c #Conflicts: 478000 | #Constraints: 76562
1107.30/1147.56 c #Conflicts: 479000 | #Constraints: 77562
1107.30/1147.56 c #Conflicts: 480000 | #Constraints: 78562
1107.30/1147.56 c #Conflicts: 481000 | #Constraints: 79562
1107.30/1147.56 c #Conflicts: 482000 | #Constraints: 80562
1107.30/1147.56 c #Conflicts: 483000 | #Constraints: 81562
1107.30/1147.56 c #Conflicts: 484000 | #Constraints: 82562
1107.30/1147.56 c #Conflicts: 485000 | #Constraints: 83562
1107.30/1147.56 c #Conflicts: 486000 | #Constraints: 84562
1107.30/1147.56 c #Conflicts: 487000 | #Constraints: 85562
1107.30/1147.56 c #Conflicts: 488000 | #Constraints: 86562
1107.30/1147.56 c #Conflicts: 489000 | #Constraints: 87562
1107.30/1147.56 c #Conflicts: 490000 | #Constraints: 88562
1107.30/1147.56 c #Conflicts: 491000 | #Constraints: 89562
1107.30/1147.56 c #Conflicts: 492000 | #Constraints: 90562
1107.30/1147.56 c #Conflicts: 493000 | #Constraints: 91562
1107.30/1147.56 c #Conflicts: 494000 | #Constraints: 92562
1107.30/1147.56 c #Conflicts: 495000 | #Constraints: 93562
1107.30/1147.56 c #Conflicts: 496000 | #Constraints: 94562
1107.30/1147.56 c #Conflicts: 497000 | #Constraints: 95562
1107.30/1147.56 c #Conflicts: 498000 | #Constraints: 96562
1107.30/1147.56 c #Conflicts: 499000 | #Constraints: 97562
1107.30/1147.56 c #Conflicts: 500000 | #Constraints: 98562
1107.30/1147.56 c #Conflicts: 501000 | #Constraints: 99562
1107.30/1147.56 c #Conflicts: 502000 | #Constraints: 100562
1107.30/1147.56 c #Conflicts: 503000 | #Constraints: 101562
1107.30/1147.56 c #Conflicts: 504000 | #Constraints: 102562
1107.30/1147.56 c #Conflicts: 505000 | #Constraints: 103562
1107.30/1147.56 c #Conflicts: 506000 | #Constraints: 104562
1107.30/1147.56 c #Conflicts: 507000 | #Constraints: 105562
1107.30/1147.56 c #Conflicts: 508000 | #Constraints: 106562
1107.30/1147.56 c #Conflicts: 509000 | #Constraints: 107562
1107.30/1147.56 c #Conflicts: 510000 | #Constraints: 108562
1107.30/1147.56 c #Conflicts: 511000 | #Constraints: 109562
1107.30/1147.56 c #Conflicts: 512000 | #Constraints: 110562
1107.30/1147.56 c #Conflicts: 513000 | #Constraints: 111562
1107.30/1147.56 c INPROCESSING
1107.30/1147.56 c GARBAGE COLLECT
1107.30/1147.56 c #Conflicts: 514000 | #Constraints: 69925
1107.30/1147.56 c #Conflicts: 515000 | #Constraints: 70925
1107.30/1147.56 c #Conflicts: 516000 | #Constraints: 71925
1107.30/1147.56 c #Conflicts: 517000 | #Constraints: 72925
1107.30/1147.56 c #Conflicts: 518000 | #Constraints: 73925
1107.30/1147.56 c #Conflicts: 519000 | #Constraints: 74925
1107.30/1147.56 c #Conflicts: 520000 | #Constraints: 75925
1107.30/1147.56 c #Conflicts: 521000 | #Constraints: 76925
1107.30/1147.56 c #Conflicts: 522000 | #Constraints: 77925
1107.30/1147.56 c #Conflicts: 523000 | #Constraints: 78925
1107.30/1147.56 c #Conflicts: 524000 | #Constraints: 79925
1107.30/1147.56 c #Conflicts: 525000 | #Constraints: 80925
1107.30/1147.56 c #Conflicts: 526000 | #Constraints: 81925
1107.30/1147.56 c #Conflicts: 527000 | #Constraints: 82925
1107.30/1147.56 c #Conflicts: 528000 | #Constraints: 83925
1107.30/1147.56 c #Conflicts: 529000 | #Constraints: 84925
1107.30/1147.56 c #Conflicts: 530000 | #Constraints: 85925
1107.30/1147.56 c #Conflicts: 531000 | #Constraints: 86925
1107.30/1147.56 c #Conflicts: 532000 | #Constraints: 87925
1107.30/1147.56 c #Conflicts: 533000 | #Constraints: 88925
1107.30/1147.56 c #Conflicts: 534000 | #Constraints: 89925
1107.30/1147.56 c #Conflicts: 535000 | #Constraints: 90925
1107.30/1147.56 c #Conflicts: 536000 | #Constraints: 91925
1107.30/1147.56 c #Conflicts: 537000 | #Constraints: 92925
1231.50/1272.24 c #Conflicts: 538000 | #Constraints: 93925
1231.50/1272.24 c #Conflicts: 539000 | #Constraints: 94925
1231.50/1272.24 c #Conflicts: 540000 | #Constraints: 95925
1231.50/1272.24 c #Conflicts: 541000 | #Constraints: 96925
1231.50/1272.24 c #Conflicts: 542000 | #Constraints: 97925
1231.50/1272.24 c #Conflicts: 543000 | #Constraints: 98925
1231.50/1272.24 c #Conflicts: 544000 | #Constraints: 99925
1231.50/1272.24 c #Conflicts: 545000 | #Constraints: 100925
1231.50/1272.24 c #Conflicts: 546000 | #Constraints: 101925
1231.50/1272.24 c #Conflicts: 547000 | #Constraints: 102925
1231.50/1272.24 c #Conflicts: 548000 | #Constraints: 103925
1231.50/1272.24 c #Conflicts: 549000 | #Constraints: 104925
1231.50/1272.24 c #Conflicts: 550000 | #Constraints: 105925
1231.50/1272.24 c #Conflicts: 551000 | #Constraints: 106925
1231.50/1272.24 c #Conflicts: 552000 | #Constraints: 107925
1231.50/1272.24 c #Conflicts: 553000 | #Constraints: 108925
1231.50/1272.24 c #Conflicts: 554000 | #Constraints: 109925
1231.50/1272.24 c #Conflicts: 555000 | #Constraints: 110925
1231.50/1272.24 c #Conflicts: 556000 | #Constraints: 111925
1231.50/1272.24 c #Conflicts: 557000 | #Constraints: 112925
1231.50/1272.24 c #Conflicts: 558000 | #Constraints: 113925
1231.50/1272.24 c #Conflicts: 559000 | #Constraints: 114925
1231.50/1272.24 c #Conflicts: 560000 | #Constraints: 115925
1231.50/1272.24 c INPROCESSING
1231.50/1272.24 c GARBAGE COLLECT
1231.50/1272.24 c rational objective 196.011
1405.53/1447.09 c #Conflicts: 561000 | #Constraints: 73039
1405.53/1447.09 c #Conflicts: 562000 | #Constraints: 74039
1405.53/1447.09 c #Conflicts: 563000 | #Constraints: 75039
1405.53/1447.09 c #Conflicts: 564000 | #Constraints: 76039
1405.53/1447.09 c #Conflicts: 565000 | #Constraints: 77039
1405.53/1447.09 c #Conflicts: 566000 | #Constraints: 78039
1405.53/1447.09 c #Conflicts: 567000 | #Constraints: 79039
1405.53/1447.09 c #Conflicts: 568000 | #Constraints: 80039
1405.53/1447.09 c #Conflicts: 569000 | #Constraints: 81039
1405.53/1447.09 c #Conflicts: 570000 | #Constraints: 82039
1405.53/1447.09 c #Conflicts: 571000 | #Constraints: 83039
1405.53/1447.09 c #Conflicts: 572000 | #Constraints: 84039
1405.53/1447.09 c #Conflicts: 573000 | #Constraints: 85039
1405.53/1447.09 c #Conflicts: 574000 | #Constraints: 86039
1405.53/1447.09 c #Conflicts: 575000 | #Constraints: 87039
1405.53/1447.09 c #Conflicts: 576000 | #Constraints: 88039
1405.53/1447.09 c #Conflicts: 577000 | #Constraints: 89039
1405.53/1447.09 c #Conflicts: 578000 | #Constraints: 90039
1405.53/1447.09 c #Conflicts: 579000 | #Constraints: 91039
1405.53/1447.09 c #Conflicts: 580000 | #Constraints: 92039
1405.53/1447.09 c #Conflicts: 581000 | #Constraints: 93039
1405.53/1447.09 c #Conflicts: 582000 | #Constraints: 94039
1405.53/1447.09 c #Conflicts: 583000 | #Constraints: 95039
1405.53/1447.09 c #Conflicts: 584000 | #Constraints: 96039
1405.53/1447.09 c #Conflicts: 585000 | #Constraints: 97039
1405.53/1447.09 c #Conflicts: 586000 | #Constraints: 98039
1405.53/1447.09 c #Conflicts: 587000 | #Constraints: 99039
1405.53/1447.09 c #Conflicts: 588000 | #Constraints: 100039
1405.53/1447.09 c #Conflicts: 589000 | #Constraints: 101039
1405.53/1447.09 c #Conflicts: 590000 | #Constraints: 102039
1405.53/1447.09 c #Conflicts: 591000 | #Constraints: 103039
1405.53/1447.09 c #Conflicts: 592000 | #Constraints: 104039
1405.53/1447.09 c #Conflicts: 593000 | #Constraints: 105039
1405.53/1447.09 c #Conflicts: 594000 | #Constraints: 106039
1405.53/1447.09 c #Conflicts: 595000 | #Constraints: 107039
1405.53/1447.09 c #Conflicts: 596000 | #Constraints: 108039
1405.53/1447.09 c #Conflicts: 597000 | #Constraints: 109039
1405.53/1447.09 c #Conflicts: 598000 | #Constraints: 110039
1405.53/1447.09 c #Conflicts: 599000 | #Constraints: 111039
1405.53/1447.09 c #Conflicts: 600000 | #Constraints: 112039
1405.53/1447.09 c #Conflicts: 601000 | #Constraints: 113039
1405.53/1447.09 c #Conflicts: 602000 | #Constraints: 114039
1405.53/1447.09 c #Conflicts: 603000 | #Constraints: 115039
1405.53/1447.09 c #Conflicts: 604000 | #Constraints: 116039
1405.53/1447.09 c #Conflicts: 605000 | #Constraints: 117039
1405.53/1447.09 c #Conflicts: 606000 | #Constraints: 118039
1405.53/1447.09 c #Conflicts: 607000 | #Constraints: 119039
1405.53/1447.09 c #Conflicts: 608000 | #Constraints: 120039
1405.53/1447.09 c INPROCESSING
1405.53/1447.09 c GARBAGE COLLECT
1405.53/1447.09 c #Conflicts: 609000 | #Constraints: 74892
1405.53/1447.09 c #Conflicts: 610000 | #Constraints: 75892
1405.53/1447.09 c #Conflicts: 611000 | #Constraints: 76892
1405.53/1447.09 c #Conflicts: 612000 | #Constraints: 77892
1405.53/1447.09 c #Conflicts: 613000 | #Constraints: 78892
1405.53/1447.09 c #Conflicts: 614000 | #Constraints: 79892
1405.53/1447.09 c #Conflicts: 615000 | #Constraints: 80892
1405.53/1447.09 c #Conflicts: 616000 | #Constraints: 81892
1405.53/1447.09 c #Conflicts: 617000 | #Constraints: 82892
1405.53/1447.09 c #Conflicts: 618000 | #Constraints: 83892
1405.53/1447.09 c #Conflicts: 619000 | #Constraints: 84892
1405.53/1447.09 c #Conflicts: 620000 | #Constraints: 85892
1405.53/1447.09 c #Conflicts: 621000 | #Constraints: 86892
1405.53/1447.09 c #Conflicts: 622000 | #Constraints: 87892
1405.53/1447.09 c #Conflicts: 623000 | #Constraints: 88892
1405.53/1447.09 c #Conflicts: 624000 | #Constraints: 89892
1405.53/1447.09 c #Conflicts: 625000 | #Constraints: 90892
1405.53/1447.09 c #Conflicts: 626000 | #Constraints: 91892
1405.53/1447.09 c #Conflicts: 627000 | #Constraints: 92892
1405.53/1447.09 c #Conflicts: 628000 | #Constraints: 93892
1405.53/1447.09 c #Conflicts: 629000 | #Constraints: 94892
1405.53/1447.09 c #Conflicts: 630000 | #Constraints: 95892
1405.53/1447.09 c #Conflicts: 631000 | #Constraints: 96892
1405.53/1447.09 c #Conflicts: 632000 | #Constraints: 97892
1405.53/1447.09 c #Conflicts: 633000 | #Constraints: 98892
1405.53/1447.09 c #Conflicts: 634000 | #Constraints: 99892
1405.53/1447.09 c #Conflicts: 635000 | #Constraints: 100892
1405.53/1447.09 c #Conflicts: 636000 | #Constraints: 101892
1405.53/1447.09 c #Conflicts: 637000 | #Constraints: 102892
1405.53/1447.09 c #Conflicts: 638000 | #Constraints: 103892
1405.53/1447.09 c #Conflicts: 639000 | #Constraints: 104892
1623.68/1670.24 c #Conflicts: 640000 | #Constraints: 105892
1623.68/1670.24 c #Conflicts: 641000 | #Constraints: 106892
1623.68/1670.24 c #Conflicts: 642000 | #Constraints: 107892
1623.68/1670.24 c #Conflicts: 643000 | #Constraints: 108892
1623.68/1670.24 c #Conflicts: 644000 | #Constraints: 109892
1623.68/1670.24 c #Conflicts: 645000 | #Constraints: 110892
1623.68/1670.24 c #Conflicts: 646000 | #Constraints: 111892
1623.68/1670.24 c #Conflicts: 647000 | #Constraints: 112892
1623.68/1670.24 c #Conflicts: 648000 | #Constraints: 113892
1623.68/1670.24 c #Conflicts: 649000 | #Constraints: 114892
1623.68/1670.24 c #Conflicts: 650000 | #Constraints: 115892
1623.68/1670.24 c #Conflicts: 651000 | #Constraints: 116892
1623.68/1670.24 c #Conflicts: 652000 | #Constraints: 117892
1623.68/1670.24 c #Conflicts: 653000 | #Constraints: 118892
1623.68/1670.24 c #Conflicts: 654000 | #Constraints: 119892
1623.68/1670.24 c #Conflicts: 655000 | #Constraints: 120892
1623.68/1670.24 c #Conflicts: 656000 | #Constraints: 121892
1623.68/1670.24 c #Conflicts: 657000 | #Constraints: 122892
1623.68/1670.24 c #Conflicts: 658000 | #Constraints: 123892
1623.68/1670.24 c INPROCESSING
1623.68/1670.24 c GARBAGE COLLECT
1623.68/1670.24 c #Conflicts: 659000 | #Constraints: 76573
1623.68/1670.24 c #Conflicts: 660000 | #Constraints: 77573
1623.68/1670.24 c #Conflicts: 661000 | #Constraints: 78573
1623.68/1670.24 c #Conflicts: 662000 | #Constraints: 79573
1623.68/1670.24 c #Conflicts: 663000 | #Constraints: 80574
1623.68/1670.24 c #Conflicts: 664000 | #Constraints: 81574
1623.68/1670.24 c #Conflicts: 665000 | #Constraints: 82574
1623.68/1670.24 c #Conflicts: 666000 | #Constraints: 83574
1623.68/1670.24 c #Conflicts: 667000 | #Constraints: 84574
1623.68/1670.24 c #Conflicts: 668000 | #Constraints: 85574
1623.68/1670.24 c #Conflicts: 669000 | #Constraints: 86574
1623.68/1670.24 c #Conflicts: 670000 | #Constraints: 87574
1623.68/1670.24 c #Conflicts: 671000 | #Constraints: 88574
1623.68/1670.24 c #Conflicts: 672000 | #Constraints: 89574
1623.68/1670.24 c #Conflicts: 673000 | #Constraints: 90574
1623.68/1670.24 c #Conflicts: 674000 | #Constraints: 91574
1623.68/1670.24 c #Conflicts: 675000 | #Constraints: 92574
1623.68/1670.24 c #Conflicts: 676000 | #Constraints: 93574
1623.68/1670.24 c #Conflicts: 677000 | #Constraints: 94574
1623.68/1670.24 c #Conflicts: 678000 | #Constraints: 95574
1623.68/1670.24 c #Conflicts: 679000 | #Constraints: 96574
1623.68/1670.24 c #Conflicts: 680000 | #Constraints: 97574
1623.68/1670.24 c #Conflicts: 681000 | #Constraints: 98574
1623.68/1670.24 c #Conflicts: 682000 | #Constraints: 99574
1623.68/1670.24 c #Conflicts: 683000 | #Constraints: 100574
1623.68/1670.24 c #Conflicts: 684000 | #Constraints: 101574
1623.68/1670.24 c #Conflicts: 685000 | #Constraints: 102574
1623.68/1670.24 c #Conflicts: 686000 | #Constraints: 103574
1623.68/1670.24 c #Conflicts: 687000 | #Constraints: 104574
1623.68/1670.24 c #Conflicts: 688000 | #Constraints: 105574
1623.68/1670.24 c #Conflicts: 689000 | #Constraints: 106574
1623.68/1670.24 c #Conflicts: 690000 | #Constraints: 107574
1623.68/1670.24 c #Conflicts: 691000 | #Constraints: 108574
1623.68/1670.24 c #Conflicts: 692000 | #Constraints: 109574
1623.68/1670.24 c #Conflicts: 693000 | #Constraints: 110574
1623.68/1670.24 c #Conflicts: 694000 | #Constraints: 111574
1623.68/1670.24 c #Conflicts: 695000 | #Constraints: 112574
1623.68/1670.24 c #Conflicts: 696000 | #Constraints: 113574
1623.68/1670.24 c #Conflicts: 697000 | #Constraints: 114574
1623.68/1670.24 c #Conflicts: 698000 | #Constraints: 115574
1623.68/1670.24 c #Conflicts: 699000 | #Constraints: 116574
1623.68/1670.24 c #Conflicts: 700000 | #Constraints: 117574
1623.68/1670.24 c #Conflicts: 701000 | #Constraints: 118574
1623.68/1670.24 c #Conflicts: 702000 | #Constraints: 119574
1623.68/1670.24 c #Conflicts: 703000 | #Constraints: 120574
1623.68/1670.24 c #Conflicts: 704000 | #Constraints: 121574
1623.68/1670.24 c #Conflicts: 705000 | #Constraints: 122574
1623.68/1670.24 c #Conflicts: 706000 | #Constraints: 123574
1623.68/1670.24 c #Conflicts: 707000 | #Constraints: 124574
1623.68/1670.24 c #Conflicts: 708000 | #Constraints: 125574
1623.68/1670.24 c #Conflicts: 709000 | #Constraints: 126574
1623.68/1670.24 c #Conflicts: 710000 | #Constraints: 127574
1623.68/1670.24 c #Conflicts: 711000 | #Constraints: 128574
1623.68/1670.24 c INPROCESSING
1623.68/1670.24 c GARBAGE COLLECT
1623.68/1670.24 c #Conflicts: 712000 | #Constraints: 79478
1623.68/1670.24 c #Conflicts: 713000 | #Constraints: 80478
1623.68/1670.24 c #Conflicts: 714000 | #Constraints: 81478
1623.68/1670.24 c #Conflicts: 715000 | #Constraints: 82478
1623.68/1670.24 c #Conflicts: 716000 | #Constraints: 83478
1789.94/1852.76 c #Conflicts: 717000 | #Constraints: 84478
1789.94/1852.76 c #Conflicts: 718000 | #Constraints: 85478
1789.94/1852.76 c #Conflicts: 719000 | #Constraints: 86478
1789.94/1852.76 c #Conflicts: 720000 | #Constraints: 87478
1789.94/1852.76 c #Conflicts: 721000 | #Constraints: 88478
1789.94/1852.76 c #Conflicts: 722000 | #Constraints: 89478
1789.94/1852.76 c #Conflicts: 723000 | #Constraints: 90478
1789.94/1852.76 c #Conflicts: 724000 | #Constraints: 91478
1789.94/1852.76 c #Conflicts: 725000 | #Constraints: 92478
1789.94/1852.76 c #Conflicts: 726000 | #Constraints: 93478
1789.94/1852.76 c #Conflicts: 727000 | #Constraints: 94478
1789.94/1852.76 c #Conflicts: 728000 | #Constraints: 95478
1789.94/1852.76 c #Conflicts: 729000 | #Constraints: 96478
1789.94/1852.76 c #Conflicts: 730000 | #Constraints: 97478
1789.94/1852.76 c #Conflicts: 731000 | #Constraints: 98478
1789.94/1852.76 c #Conflicts: 732000 | #Constraints: 99478
1789.94/1852.76 c #Conflicts: 733000 | #Constraints: 100478
1789.94/1852.76 c #Conflicts: 734000 | #Constraints: 101478
1789.94/1852.76 c #Conflicts: 735000 | #Constraints: 102478
1789.94/1852.76 c #Conflicts: 736000 | #Constraints: 103478
1789.94/1852.76 c #Conflicts: 737000 | #Constraints: 104478
1789.94/1852.76 c #Conflicts: 738000 | #Constraints: 105478
1789.94/1852.76 c #Conflicts: 739000 | #Constraints: 106478
1789.94/1852.76 c #Conflicts: 740000 | #Constraints: 107478
1789.94/1852.76 c #Conflicts: 741000 | #Constraints: 108478
1789.94/1852.76 c #Conflicts: 742000 | #Constraints: 109478
1789.94/1852.76 c #Conflicts: 743000 | #Constraints: 110478
1789.94/1852.76 c #Conflicts: 744000 | #Constraints: 111478
1789.94/1852.76 c #Conflicts: 745000 | #Constraints: 112478
1789.94/1852.76 c #Conflicts: 746000 | #Constraints: 113478
1789.94/1852.76 c #Conflicts: 747000 | #Constraints: 114478
1789.94/1852.76 c #Conflicts: 748000 | #Constraints: 115478
1789.94/1852.76 c #Conflicts: 749000 | #Constraints: 116478
1789.94/1852.76 c #Conflicts: 750000 | #Constraints: 117478
1789.94/1852.76 c #Conflicts: 751000 | #Constraints: 118478
1789.94/1852.76 c #Conflicts: 752000 | #Constraints: 119478
1789.94/1852.76 c #Conflicts: 753000 | #Constraints: 120478
1789.94/1852.76 c #Conflicts: 754000 | #Constraints: 121478
1789.94/1852.76 c #Conflicts: 755000 | #Constraints: 122478
1789.94/1852.76 c #Conflicts: 756000 | #Constraints: 123478
1789.94/1852.76 c #Conflicts: 757000 | #Constraints: 124478
1789.94/1852.76 c #Conflicts: 758000 | #Constraints: 125478
1789.94/1852.76 c #Conflicts: 759000 | #Constraints: 126478
1789.94/1852.76 c #Conflicts: 760000 | #Constraints: 127478
1789.94/1852.76 c #Conflicts: 761000 | #Constraints: 128478
1789.94/1852.76 c #Conflicts: 762000 | #Constraints: 129478
1789.94/1852.76 c #Conflicts: 763000 | #Constraints: 130478
1789.94/1852.76 c #Conflicts: 764000 | #Constraints: 131478
1789.94/1852.76 c #Conflicts: 765000 | #Constraints: 132478
1789.94/1852.76 c INPROCESSING
1789.94/1852.76 c GARBAGE COLLECT
1789.94/1852.76 c #Conflicts: 766000 | #Constraints: 81225
1789.94/1852.76 c #Conflicts: 767000 | #Constraints: 82225
1789.94/1852.76 c #Conflicts: 768000 | #Constraints: 83225
1789.94/1852.76 c #Conflicts: 769000 | #Constraints: 84225
1789.94/1852.76 c #Conflicts: 770000 | #Constraints: 85225
1789.94/1852.76 c #Conflicts: 771000 | #Constraints: 86225
1789.94/1852.76 c #Conflicts: 772000 | #Constraints: 87225
1789.94/1852.76 c #Conflicts: 773000 | #Constraints: 88225
1789.94/1852.76 c #Conflicts: 774000 | #Constraints: 89225
1789.94/1852.76 c #Conflicts: 775000 | #Constraints: 90225
1789.94/1852.76 c #Conflicts: 776000 | #Constraints: 91225
1789.94/1852.76 c #Conflicts: 777000 | #Constraints: 92225
1789.94/1852.76 c #Conflicts: 778000 | #Constraints: 93225
1789.94/1852.76 c #Conflicts: 779000 | #Constraints: 94225
1789.94/1852.76 c #Conflicts: 780000 | #Constraints: 95225
1789.94/1852.76 c #Conflicts: 781000 | #Constraints: 96225
1789.94/1852.76 c #Conflicts: 782000 | #Constraints: 97225
1789.94/1852.76 c #Conflicts: 783000 | #Constraints: 98225
1789.94/1852.76 c #Conflicts: 784000 | #Constraints: 99225
1789.94/1852.76 c #Conflicts: 785000 | #Constraints: 100225
1789.94/1852.76 c #Conflicts: 786000 | #Constraints: 101225
1789.94/1852.76 c #Conflicts: 787000 | #Constraints: 102225
1789.94/1852.76 c #Conflicts: 788000 | #Constraints: 103225
1789.94/1852.76 c #Conflicts: 789000 | #Constraints: 104225
1789.94/1852.76 c #Conflicts: 790000 | #Constraints: 105225
1789.94/1852.76 c #Conflicts: 791000 | #Constraints: 106225
1789.94/1852.76 c #Conflicts: 792000 | #Constraints: 107225
1789.94/1852.76 c #Conflicts: 793000 | #Constraints: 108225
1789.94/1852.76 c #Conflicts: 794000 | #Constraints: 109225
2098.41/2164.35 c #Conflicts: 795000 | #Constraints: 110225
2098.41/2164.35 c #Conflicts: 796000 | #Constraints: 111225
2098.41/2164.35 c #Conflicts: 797000 | #Constraints: 112225
2098.41/2164.35 c #Conflicts: 798000 | #Constraints: 113225
2098.41/2164.35 c #Conflicts: 799000 | #Constraints: 114225
2098.41/2164.35 c #Conflicts: 800000 | #Constraints: 115225
2098.41/2164.35 c #Conflicts: 801000 | #Constraints: 116225
2098.41/2164.35 c #Conflicts: 802000 | #Constraints: 117225
2098.41/2164.35 c #Conflicts: 803000 | #Constraints: 118225
2098.41/2164.35 c #Conflicts: 804000 | #Constraints: 119225
2098.41/2164.35 c #Conflicts: 805000 | #Constraints: 120225
2098.41/2164.35 c #Conflicts: 806000 | #Constraints: 121225
2098.41/2164.35 c #Conflicts: 807000 | #Constraints: 122225
2098.41/2164.35 c #Conflicts: 808000 | #Constraints: 123225
2098.41/2164.35 c #Conflicts: 809000 | #Constraints: 124225
2098.41/2164.35 c #Conflicts: 810000 | #Constraints: 125225
2098.41/2164.35 c #Conflicts: 811000 | #Constraints: 126225
2098.41/2164.35 c #Conflicts: 812000 | #Constraints: 127225
2098.41/2164.35 c #Conflicts: 813000 | #Constraints: 128225
2098.41/2164.35 c #Conflicts: 814000 | #Constraints: 129225
2098.41/2164.35 c #Conflicts: 815000 | #Constraints: 130225
2098.41/2164.35 c #Conflicts: 816000 | #Constraints: 131225
2098.41/2164.35 c #Conflicts: 817000 | #Constraints: 132225
2098.41/2164.35 c #Conflicts: 818000 | #Constraints: 133225
2098.41/2164.35 c #Conflicts: 819000 | #Constraints: 134225
2098.41/2164.35 c #Conflicts: 820000 | #Constraints: 135225
2098.41/2164.35 c #Conflicts: 821000 | #Constraints: 136225
2098.41/2164.35 c #Conflicts: 822000 | #Constraints: 137225
2098.41/2164.35 c INPROCESSING
2098.41/2164.35 c GARBAGE COLLECT
2098.41/2164.35 c #Conflicts: 823000 | #Constraints: 84270
2098.41/2164.35 c #Conflicts: 824000 | #Constraints: 85270
2098.41/2164.35 c #Conflicts: 825000 | #Constraints: 86270
2098.41/2164.35 c #Conflicts: 826000 | #Constraints: 87270
2098.41/2164.35 c #Conflicts: 827000 | #Constraints: 88270
2098.41/2164.35 c #Conflicts: 828000 | #Constraints: 89270
2098.41/2164.35 c #Conflicts: 829000 | #Constraints: 90270
2098.41/2164.35 c #Conflicts: 830000 | #Constraints: 91270
2098.41/2164.35 c #Conflicts: 831000 | #Constraints: 92270
2098.41/2164.35 c #Conflicts: 832000 | #Constraints: 93270
2098.41/2164.35 c #Conflicts: 833000 | #Constraints: 94270
2098.41/2164.35 c #Conflicts: 834000 | #Constraints: 95270
2098.41/2164.35 c #Conflicts: 835000 | #Constraints: 96270
2098.41/2164.35 c #Conflicts: 836000 | #Constraints: 97270
2098.41/2164.35 c #Conflicts: 837000 | #Constraints: 98270
2098.41/2164.35 c #Conflicts: 838000 | #Constraints: 99270
2098.41/2164.35 c #Conflicts: 839000 | #Constraints: 100270
2098.41/2164.35 c #Conflicts: 840000 | #Constraints: 101270
2098.41/2164.35 c #Conflicts: 841000 | #Constraints: 102270
2098.41/2164.35 c #Conflicts: 842000 | #Constraints: 103270
2098.41/2164.35 c #Conflicts: 843000 | #Constraints: 104270
2098.41/2164.35 c #Conflicts: 844000 | #Constraints: 105270
2098.41/2164.35 c #Conflicts: 845000 | #Constraints: 106270
2098.41/2164.35 c #Conflicts: 846000 | #Constraints: 107270
2098.41/2164.35 c #Conflicts: 847000 | #Constraints: 108270
2098.41/2164.35 c #Conflicts: 848000 | #Constraints: 109270
2098.41/2164.35 c #Conflicts: 849000 | #Constraints: 110270
2098.41/2164.35 c #Conflicts: 850000 | #Constraints: 111270
2098.41/2164.35 c #Conflicts: 851000 | #Constraints: 112270
2098.41/2164.35 c #Conflicts: 852000 | #Constraints: 113270
2098.41/2164.35 c #Conflicts: 853000 | #Constraints: 114270
2098.41/2164.35 c #Conflicts: 854000 | #Constraints: 115270
2098.41/2164.35 c #Conflicts: 855000 | #Constraints: 116270
2098.41/2164.35 c #Conflicts: 856000 | #Constraints: 117270
2098.41/2164.35 c #Conflicts: 857000 | #Constraints: 118270
2098.41/2164.35 c #Conflicts: 858000 | #Constraints: 119270
2098.41/2164.35 c #Conflicts: 859000 | #Constraints: 120270
2098.41/2164.35 c #Conflicts: 860000 | #Constraints: 121270
2098.41/2164.35 c #Conflicts: 861000 | #Constraints: 122270
2098.41/2164.35 c #Conflicts: 862000 | #Constraints: 123270
2098.41/2164.35 c #Conflicts: 863000 | #Constraints: 124270
2098.41/2164.35 c #Conflicts: 864000 | #Constraints: 125270
2098.41/2164.35 c #Conflicts: 865000 | #Constraints: 126270
2098.41/2164.35 c #Conflicts: 866000 | #Constraints: 127270
2098.41/2164.35 c #Conflicts: 867000 | #Constraints: 128270
2098.41/2164.35 c #Conflicts: 868000 | #Constraints: 129270
2098.41/2164.35 c #Conflicts: 869000 | #Constraints: 130270
2098.41/2164.35 c #Conflicts: 870000 | #Constraints: 131270
2098.41/2164.35 c #Conflicts: 871000 | #Constraints: 132270
2098.41/2164.35 c #Conflicts: 872000 | #Constraints: 133270
2345.56/2415.59 c #Conflicts: 873000 | #Constraints: 134270
2345.56/2415.59 c #Conflicts: 874000 | #Constraints: 135270
2345.56/2415.59 c #Conflicts: 875000 | #Constraints: 136270
2345.56/2415.59 c #Conflicts: 876000 | #Constraints: 137270
2345.56/2415.59 c #Conflicts: 877000 | #Constraints: 138270
2345.56/2415.59 c #Conflicts: 878000 | #Constraints: 139270
2345.56/2415.59 c #Conflicts: 879000 | #Constraints: 140270
2345.56/2415.59 c #Conflicts: 880000 | #Constraints: 141270
2345.56/2415.59 c INPROCESSING
2345.56/2415.59 c GARBAGE COLLECT
2345.56/2415.59 c #Conflicts: 881000 | #Constraints: 86040
2345.56/2415.59 c #Conflicts: 882000 | #Constraints: 87040
2345.56/2415.59 c #Conflicts: 883000 | #Constraints: 88040
2345.56/2415.59 c #Conflicts: 884000 | #Constraints: 89040
2345.56/2415.59 c #Conflicts: 885000 | #Constraints: 90040
2345.56/2415.59 c #Conflicts: 886000 | #Constraints: 91040
2345.56/2415.59 c #Conflicts: 887000 | #Constraints: 92040
2345.56/2415.59 c #Conflicts: 888000 | #Constraints: 93040
2345.56/2415.59 c #Conflicts: 889000 | #Constraints: 94040
2345.56/2415.59 c #Conflicts: 890000 | #Constraints: 95040
2345.56/2415.59 c #Conflicts: 891000 | #Constraints: 96040
2345.56/2415.59 c #Conflicts: 892000 | #Constraints: 97040
2345.56/2415.59 c #Conflicts: 893000 | #Constraints: 98040
2345.56/2415.59 c #Conflicts: 894000 | #Constraints: 99040
2345.56/2415.59 c #Conflicts: 895000 | #Constraints: 100040
2345.56/2415.59 c #Conflicts: 896000 | #Constraints: 101040
2345.56/2415.59 c #Conflicts: 897000 | #Constraints: 102040
2345.56/2415.59 c #Conflicts: 898000 | #Constraints: 103040
2345.56/2415.59 c #Conflicts: 899000 | #Constraints: 104040
2345.56/2415.59 c #Conflicts: 900000 | #Constraints: 105040
2345.56/2415.59 c #Conflicts: 901000 | #Constraints: 106040
2345.56/2415.59 c #Conflicts: 902000 | #Constraints: 107040
2345.56/2415.59 c #Conflicts: 903000 | #Constraints: 108040
2345.56/2415.59 c #Conflicts: 904000 | #Constraints: 109040
2345.56/2415.59 c #Conflicts: 905000 | #Constraints: 110040
2345.56/2415.59 c #Conflicts: 906000 | #Constraints: 111040
2345.56/2415.59 c #Conflicts: 907000 | #Constraints: 112040
2345.56/2415.59 c #Conflicts: 908000 | #Constraints: 113040
2345.56/2415.59 c #Conflicts: 909000 | #Constraints: 114040
2345.56/2415.59 c #Conflicts: 910000 | #Constraints: 115040
2345.56/2415.59 c #Conflicts: 911000 | #Constraints: 116040
2345.56/2415.59 c #Conflicts: 912000 | #Constraints: 117040
2345.56/2415.59 c #Conflicts: 913000 | #Constraints: 118040
2345.56/2415.59 c #Conflicts: 914000 | #Constraints: 119040
2345.56/2415.59 c #Conflicts: 915000 | #Constraints: 120040
2345.56/2415.59 c #Conflicts: 916000 | #Constraints: 121040
2345.56/2415.59 c #Conflicts: 917000 | #Constraints: 122040
2345.56/2415.59 c #Conflicts: 918000 | #Constraints: 123040
2345.56/2415.59 c #Conflicts: 919000 | #Constraints: 124040
2345.56/2415.59 c #Conflicts: 920000 | #Constraints: 125040
2345.56/2415.59 c #Conflicts: 921000 | #Constraints: 126040
2345.56/2415.59 c #Conflicts: 922000 | #Constraints: 127040
2345.56/2415.59 c #Conflicts: 923000 | #Constraints: 128040
2345.56/2415.59 c #Conflicts: 924000 | #Constraints: 129040
2345.56/2415.59 c #Conflicts: 925000 | #Constraints: 130040
2345.56/2415.59 c #Conflicts: 926000 | #Constraints: 131040
2345.56/2415.59 c #Conflicts: 927000 | #Constraints: 132040
2345.56/2415.59 c #Conflicts: 928000 | #Constraints: 133040
2345.56/2415.59 c #Conflicts: 929000 | #Constraints: 134040
2345.56/2415.59 c #Conflicts: 930000 | #Constraints: 135040
2345.56/2415.59 c #Conflicts: 931000 | #Constraints: 136040
2345.56/2415.59 c #Conflicts: 932000 | #Constraints: 137040
2345.56/2415.59 c #Conflicts: 933000 | #Constraints: 138040
2345.56/2415.59 c #Conflicts: 934000 | #Constraints: 139040
2345.56/2415.59 c #Conflicts: 935000 | #Constraints: 140040
2345.56/2415.59 c #Conflicts: 936000 | #Constraints: 141040
2345.56/2415.59 c #Conflicts: 937000 | #Constraints: 142040
2345.56/2415.59 c #Conflicts: 938000 | #Constraints: 143040
2345.56/2415.59 c #Conflicts: 939000 | #Constraints: 144040
2345.56/2415.59 c #Conflicts: 940000 | #Constraints: 145040
2345.56/2415.59 c INPROCESSING
2345.56/2415.59 c GARBAGE COLLECT
2345.56/2415.59 c #Conflicts: 941000 | #Constraints: 87625
2345.56/2415.59 c #Conflicts: 942000 | #Constraints: 88625
2345.56/2415.59 c #Conflicts: 943000 | #Constraints: 89625
2345.56/2415.59 c #Conflicts: 944000 | #Constraints: 90625
2345.56/2415.59 c #Conflicts: 945000 | #Constraints: 91625
2345.56/2415.59 c #Conflicts: 946000 | #Constraints: 92625
2345.56/2415.59 c #Conflicts: 947000 | #Constraints: 93625
2345.56/2415.59 c #Conflicts: 948000 | #Constraints: 94625
2345.56/2415.59 c #Conflicts: 949000 | #Constraints: 95625
2345.56/2415.59 c #Conflicts: 950000 | #Constraints: 96625
2571.28/2644.85 c #Conflicts: 951000 | #Constraints: 97625
2571.28/2644.85 c #Conflicts: 952000 | #Constraints: 98625
2571.28/2644.85 c #Conflicts: 953000 | #Constraints: 99625
2571.28/2644.85 c #Conflicts: 954000 | #Constraints: 100625
2571.28/2644.85 c #Conflicts: 955000 | #Constraints: 101625
2571.28/2644.85 c #Conflicts: 956000 | #Constraints: 102625
2571.28/2644.85 c #Conflicts: 957000 | #Constraints: 103625
2571.28/2644.85 c #Conflicts: 958000 | #Constraints: 104625
2571.28/2644.85 c #Conflicts: 959000 | #Constraints: 105625
2571.28/2644.85 c #Conflicts: 960000 | #Constraints: 106625
2571.28/2644.85 c #Conflicts: 961000 | #Constraints: 107625
2571.28/2644.85 c #Conflicts: 962000 | #Constraints: 108625
2571.28/2644.85 c #Conflicts: 963000 | #Constraints: 109625
2571.28/2644.85 c #Conflicts: 964000 | #Constraints: 110625
2571.28/2644.85 c #Conflicts: 965000 | #Constraints: 111625
2571.28/2644.85 c #Conflicts: 966000 | #Constraints: 112625
2571.28/2644.85 c #Conflicts: 967000 | #Constraints: 113625
2571.28/2644.85 c #Conflicts: 968000 | #Constraints: 114625
2571.28/2644.85 c #Conflicts: 969000 | #Constraints: 115625
2571.28/2644.85 c #Conflicts: 970000 | #Constraints: 116625
2571.28/2644.85 c #Conflicts: 971000 | #Constraints: 117625
2571.28/2644.85 c #Conflicts: 972000 | #Constraints: 118625
2571.28/2644.85 c #Conflicts: 973000 | #Constraints: 119625
2571.28/2644.85 c #Conflicts: 974000 | #Constraints: 120625
2571.28/2644.85 c #Conflicts: 975000 | #Constraints: 121625
2571.28/2644.85 c #Conflicts: 976000 | #Constraints: 122625
2571.28/2644.85 c #Conflicts: 977000 | #Constraints: 123625
2571.28/2644.85 c #Conflicts: 978000 | #Constraints: 124625
2571.28/2644.85 c #Conflicts: 979000 | #Constraints: 125625
2571.28/2644.85 c #Conflicts: 980000 | #Constraints: 126625
2571.28/2644.85 c #Conflicts: 981000 | #Constraints: 127625
2571.28/2644.85 c #Conflicts: 982000 | #Constraints: 128625
2571.28/2644.85 c #Conflicts: 983000 | #Constraints: 129625
2571.28/2644.85 c #Conflicts: 984000 | #Constraints: 130625
2571.28/2644.85 c #Conflicts: 985000 | #Constraints: 131625
2571.28/2644.85 c #Conflicts: 986000 | #Constraints: 132625
2571.28/2644.85 c #Conflicts: 987000 | #Constraints: 133625
2571.28/2644.85 c #Conflicts: 988000 | #Constraints: 134625
2571.28/2644.85 c #Conflicts: 989000 | #Constraints: 135625
2571.28/2644.85 c #Conflicts: 990000 | #Constraints: 136625
2571.28/2644.85 c #Conflicts: 991000 | #Constraints: 137625
2571.28/2644.85 c #Conflicts: 992000 | #Constraints: 138625
2571.28/2644.85 c #Conflicts: 993000 | #Constraints: 139625
2571.28/2644.85 c #Conflicts: 994000 | #Constraints: 140625
2571.28/2644.85 c #Conflicts: 995000 | #Constraints: 141625
2571.28/2644.85 c #Conflicts: 996000 | #Constraints: 142625
2571.28/2644.85 c #Conflicts: 997000 | #Constraints: 143625
2571.28/2644.85 c #Conflicts: 998000 | #Constraints: 144625
2571.28/2644.85 c #Conflicts: 999000 | #Constraints: 145625
2571.28/2644.85 c #Conflicts: 1000000 | #Constraints: 146625
2571.28/2644.85 c #Conflicts: 1001000 | #Constraints: 147625
2571.28/2644.85 c #Conflicts: 1002000 | #Constraints: 148625
2571.28/2644.85 c #Conflicts: 1003000 | #Constraints: 149625
2571.28/2644.85 c INPROCESSING
2571.28/2644.85 c GARBAGE COLLECT
2571.28/2644.85 c #Conflicts: 1004000 | #Constraints: 90125
2571.28/2644.85 c #Conflicts: 1005000 | #Constraints: 91125
2571.28/2644.85 c #Conflicts: 1006000 | #Constraints: 92125
2571.28/2644.85 c #Conflicts: 1007000 | #Constraints: 93125
2571.28/2644.85 c #Conflicts: 1008000 | #Constraints: 94125
2571.28/2644.85 c #Conflicts: 1009000 | #Constraints: 95125
2571.28/2644.85 c #Conflicts: 1010000 | #Constraints: 96125
2571.28/2644.85 c #Conflicts: 1011000 | #Constraints: 97125
2571.28/2644.85 c #Conflicts: 1012000 | #Constraints: 98125
2571.28/2644.85 c #Conflicts: 1013000 | #Constraints: 99125
2571.28/2644.85 c #Conflicts: 1014000 | #Constraints: 100125
2571.28/2644.85 c #Conflicts: 1015000 | #Constraints: 101125
2571.28/2644.85 c #Conflicts: 1016000 | #Constraints: 102125
2571.28/2644.85 c #Conflicts: 1017000 | #Constraints: 103125
2571.28/2644.85 c #Conflicts: 1018000 | #Constraints: 104125
2571.28/2644.85 c #Conflicts: 1019000 | #Constraints: 105125
2571.28/2644.85 c #Conflicts: 1020000 | #Constraints: 106125
2571.28/2644.85 c #Conflicts: 1021000 | #Constraints: 107125
2571.28/2644.85 c #Conflicts: 1022000 | #Constraints: 108125
2571.28/2644.85 c #Conflicts: 1023000 | #Constraints: 109125
2571.28/2644.85 c #Conflicts: 1024000 | #Constraints: 110125
2571.28/2644.85 c #Conflicts: 1025000 | #Constraints: 111125
2571.28/2644.85 c #Conflicts: 1026000 | #Constraints: 112125
2571.28/2644.85 c #Conflicts: 1027000 | #Constraints: 113125
2571.28/2644.85 c #Conflicts: 1028000 | #Constraints: 114125
2776.71/2851.48 c #Conflicts: 1029000 | #Constraints: 115125
2776.71/2851.48 c #Conflicts: 1030000 | #Constraints: 116125
2776.71/2851.48 c #Conflicts: 1031000 | #Constraints: 117125
2776.71/2851.48 c #Conflicts: 1032000 | #Constraints: 118125
2776.71/2851.48 c #Conflicts: 1033000 | #Constraints: 119125
2776.71/2851.48 c #Conflicts: 1034000 | #Constraints: 120125
2776.71/2851.48 c #Conflicts: 1035000 | #Constraints: 121125
2776.71/2851.48 c #Conflicts: 1036000 | #Constraints: 122125
2776.71/2851.48 c #Conflicts: 1037000 | #Constraints: 123125
2776.71/2851.48 c #Conflicts: 1038000 | #Constraints: 124125
2776.71/2851.48 c #Conflicts: 1039000 | #Constraints: 125125
2776.71/2851.48 c #Conflicts: 1040000 | #Constraints: 126125
2776.71/2851.48 c #Conflicts: 1041000 | #Constraints: 127125
2776.71/2851.48 c #Conflicts: 1042000 | #Constraints: 128125
2776.71/2851.48 c #Conflicts: 1043000 | #Constraints: 129125
2776.71/2851.48 c #Conflicts: 1044000 | #Constraints: 130125
2776.71/2851.48 c #Conflicts: 1045000 | #Constraints: 131125
2776.71/2851.48 c #Conflicts: 1046000 | #Constraints: 132125
2776.71/2851.48 c #Conflicts: 1047000 | #Constraints: 133125
2776.71/2851.48 c #Conflicts: 1048000 | #Constraints: 134125
2776.71/2851.48 c #Conflicts: 1049000 | #Constraints: 135125
2776.71/2851.48 c #Conflicts: 1050000 | #Constraints: 136125
2776.71/2851.48 c #Conflicts: 1051000 | #Constraints: 137125
2776.71/2851.48 c #Conflicts: 1052000 | #Constraints: 138125
2776.71/2851.48 c #Conflicts: 1053000 | #Constraints: 139125
2776.71/2851.48 c #Conflicts: 1054000 | #Constraints: 140125
2776.71/2851.48 c #Conflicts: 1055000 | #Constraints: 141125
2776.71/2851.48 c #Conflicts: 1056000 | #Constraints: 142125
2776.71/2851.48 c #Conflicts: 1057000 | #Constraints: 143125
2776.71/2851.48 c #Conflicts: 1058000 | #Constraints: 144125
2776.71/2851.48 c #Conflicts: 1059000 | #Constraints: 145125
2776.71/2851.48 c #Conflicts: 1060000 | #Constraints: 146125
2776.71/2851.48 c #Conflicts: 1061000 | #Constraints: 147125
2776.71/2851.48 c #Conflicts: 1062000 | #Constraints: 148125
2776.71/2851.48 c #Conflicts: 1063000 | #Constraints: 149125
2776.71/2851.48 c #Conflicts: 1064000 | #Constraints: 150125
2776.71/2851.48 c #Conflicts: 1065000 | #Constraints: 151125
2776.71/2851.48 c #Conflicts: 1066000 | #Constraints: 152125
2776.71/2851.48 c #Conflicts: 1067000 | #Constraints: 153125
2776.71/2851.48 c INPROCESSING
2776.71/2851.48 c GARBAGE COLLECT
2776.71/2851.48 c #Conflicts: 1068000 | #Constraints: 91421
2776.71/2851.48 c #Conflicts: 1069000 | #Constraints: 92421
2776.71/2851.48 c #Conflicts: 1070000 | #Constraints: 93421
2776.71/2851.48 c #Conflicts: 1071000 | #Constraints: 94421
2776.71/2851.48 c #Conflicts: 1072000 | #Constraints: 95421
2776.71/2851.48 c #Conflicts: 1073000 | #Constraints: 96421
2776.71/2851.48 c #Conflicts: 1074000 | #Constraints: 97421
2776.71/2851.48 c #Conflicts: 1075000 | #Constraints: 98421
2776.71/2851.48 c #Conflicts: 1076000 | #Constraints: 99421
2776.71/2851.48 c #Conflicts: 1077000 | #Constraints: 100421
2776.71/2851.48 c #Conflicts: 1078000 | #Constraints: 101421
2776.71/2851.48 c #Conflicts: 1079000 | #Constraints: 102421
2776.71/2851.48 c #Conflicts: 1080000 | #Constraints: 103421
2776.71/2851.48 c #Conflicts: 1081000 | #Constraints: 104421
2776.71/2851.48 c #Conflicts: 1082000 | #Constraints: 105421
2776.71/2851.48 c #Conflicts: 1083000 | #Constraints: 106421
2776.71/2851.48 c #Conflicts: 1084000 | #Constraints: 107421
2776.71/2851.48 c #Conflicts: 1085000 | #Constraints: 108421
2776.71/2851.48 c #Conflicts: 1086000 | #Constraints: 109421
2776.71/2851.48 c #Conflicts: 1087000 | #Constraints: 110421
2776.71/2851.48 c #Conflicts: 1088000 | #Constraints: 111421
2776.71/2851.48 c #Conflicts: 1089000 | #Constraints: 112421
2776.71/2851.48 c #Conflicts: 1090000 | #Constraints: 113421
2776.71/2851.48 c #Conflicts: 1091000 | #Constraints: 114421
2776.71/2851.48 c #Conflicts: 1092000 | #Constraints: 115421
2776.71/2851.48 c #Conflicts: 1093000 | #Constraints: 116421
2776.71/2851.48 c #Conflicts: 1094000 | #Constraints: 117421
2776.71/2851.48 c #Conflicts: 1095000 | #Constraints: 118421
2776.71/2851.48 c #Conflicts: 1096000 | #Constraints: 119421
2776.71/2851.48 c #Conflicts: 1097000 | #Constraints: 120421
2776.71/2851.48 c #Conflicts: 1098000 | #Constraints: 121421
2776.71/2851.48 c #Conflicts: 1099000 | #Constraints: 122421
2776.71/2851.48 c #Conflicts: 1100000 | #Constraints: 123421
2776.71/2851.48 c #Conflicts: 1101000 | #Constraints: 124421
2776.71/2851.48 c #Conflicts: 1102000 | #Constraints: 125421
2776.71/2851.48 c #Conflicts: 1103000 | #Constraints: 126421
2776.71/2851.48 c #Conflicts: 1104000 | #Constraints: 127421
2776.71/2851.48 c #Conflicts: 1105000 | #Constraints: 128421
2776.71/2851.48 c #Conflicts: 1106000 | #Constraints: 129421
3020.45/3097.91 c #Conflicts: 1107000 | #Constraints: 130421
3020.45/3097.91 c #Conflicts: 1108000 | #Constraints: 131421
3020.45/3097.91 c #Conflicts: 1109000 | #Constraints: 132421
3020.45/3097.91 c #Conflicts: 1110000 | #Constraints: 133421
3020.45/3097.91 c #Conflicts: 1111000 | #Constraints: 134421
3020.45/3097.91 c #Conflicts: 1112000 | #Constraints: 135421
3020.45/3097.91 c #Conflicts: 1113000 | #Constraints: 136421
3020.45/3097.91 c #Conflicts: 1114000 | #Constraints: 137421
3020.45/3097.91 c #Conflicts: 1115000 | #Constraints: 138421
3020.45/3097.91 c #Conflicts: 1116000 | #Constraints: 139421
3020.45/3097.91 c #Conflicts: 1117000 | #Constraints: 140421
3020.45/3097.91 c #Conflicts: 1118000 | #Constraints: 141421
3020.45/3097.91 c #Conflicts: 1119000 | #Constraints: 142421
3020.45/3097.91 c #Conflicts: 1120000 | #Constraints: 143421
3020.45/3097.91 c #Conflicts: 1121000 | #Constraints: 144421
3020.45/3097.91 c #Conflicts: 1122000 | #Constraints: 145421
3020.45/3097.91 c #Conflicts: 1123000 | #Constraints: 146421
3020.45/3097.91 c #Conflicts: 1124000 | #Constraints: 147421
3020.45/3097.91 c #Conflicts: 1125000 | #Constraints: 148421
3020.45/3097.91 c #Conflicts: 1126000 | #Constraints: 149421
3020.45/3097.91 c #Conflicts: 1127000 | #Constraints: 150421
3020.45/3097.91 c #Conflicts: 1128000 | #Constraints: 151421
3020.45/3097.91 c #Conflicts: 1129000 | #Constraints: 152421
3020.45/3097.91 c #Conflicts: 1130000 | #Constraints: 153421
3020.45/3097.91 c #Conflicts: 1131000 | #Constraints: 154421
3020.45/3097.91 c #Conflicts: 1132000 | #Constraints: 155421
3020.45/3097.91 c #Conflicts: 1133000 | #Constraints: 156421
3020.45/3097.91 c #Conflicts: 1134000 | #Constraints: 157421
3020.45/3097.91 c INPROCESSING
3020.45/3097.91 c GARBAGE COLLECT
3020.45/3097.91 c #Conflicts: 1135000 | #Constraints: 93588
3020.45/3097.91 c #Conflicts: 1136000 | #Constraints: 94588
3020.45/3097.91 c #Conflicts: 1137000 | #Constraints: 95588
3020.45/3097.91 c #Conflicts: 1138000 | #Constraints: 96588
3020.45/3097.91 c #Conflicts: 1139000 | #Constraints: 97588
3020.45/3097.91 c #Conflicts: 1140000 | #Constraints: 98588
3020.45/3097.91 c #Conflicts: 1141000 | #Constraints: 99588
3020.45/3097.91 c #Conflicts: 1142000 | #Constraints: 100588
3020.45/3097.91 c #Conflicts: 1143000 | #Constraints: 101588
3020.45/3097.91 c #Conflicts: 1144000 | #Constraints: 102588
3020.45/3097.91 c #Conflicts: 1145000 | #Constraints: 103588
3020.45/3097.91 c #Conflicts: 1146000 | #Constraints: 104588
3020.45/3097.91 c #Conflicts: 1147000 | #Constraints: 105588
3020.45/3097.91 c #Conflicts: 1148000 | #Constraints: 106588
3020.45/3097.91 c #Conflicts: 1149000 | #Constraints: 107588
3020.45/3097.91 c #Conflicts: 1150000 | #Constraints: 108588
3020.45/3097.91 c #Conflicts: 1151000 | #Constraints: 109588
3020.45/3097.91 c #Conflicts: 1152000 | #Constraints: 110588
3020.45/3097.91 c #Conflicts: 1153000 | #Constraints: 111588
3020.45/3097.91 c #Conflicts: 1154000 | #Constraints: 112588
3020.45/3097.91 c #Conflicts: 1155000 | #Constraints: 113588
3020.45/3097.91 c #Conflicts: 1156000 | #Constraints: 114588
3020.45/3097.91 c #Conflicts: 1157000 | #Constraints: 115588
3020.45/3097.91 c #Conflicts: 1158000 | #Constraints: 116588
3020.45/3097.91 c #Conflicts: 1159000 | #Constraints: 117588
3020.45/3097.91 c #Conflicts: 1160000 | #Constraints: 118588
3020.45/3097.91 c #Conflicts: 1161000 | #Constraints: 119588
3020.45/3097.91 c #Conflicts: 1162000 | #Constraints: 120588
3020.45/3097.91 c #Conflicts: 1163000 | #Constraints: 121588
3020.45/3097.91 c #Conflicts: 1164000 | #Constraints: 122588
3020.45/3097.91 c #Conflicts: 1165000 | #Constraints: 123588
3020.45/3097.91 c #Conflicts: 1166000 | #Constraints: 124588
3020.45/3097.91 c #Conflicts: 1167000 | #Constraints: 125588
3020.45/3097.91 c #Conflicts: 1168000 | #Constraints: 126588
3020.45/3097.91 c #Conflicts: 1169000 | #Constraints: 127588
3020.45/3097.91 c #Conflicts: 1170000 | #Constraints: 128588
3020.45/3097.91 c #Conflicts: 1171000 | #Constraints: 129588
3020.45/3097.91 c #Conflicts: 1172000 | #Constraints: 130588
3020.45/3097.91 c #Conflicts: 1173000 | #Constraints: 131588
3020.45/3097.91 c #Conflicts: 1174000 | #Constraints: 132588
3020.45/3097.91 c #Conflicts: 1175000 | #Constraints: 133588
3020.45/3097.91 c #Conflicts: 1176000 | #Constraints: 134588
3020.45/3097.91 c #Conflicts: 1177000 | #Constraints: 135588
3020.45/3097.91 c #Conflicts: 1178000 | #Constraints: 136588
3020.45/3097.91 c #Conflicts: 1179000 | #Constraints: 137588
3020.45/3097.91 c #Conflicts: 1180000 | #Constraints: 138588
3020.45/3097.91 c #Conflicts: 1181000 | #Constraints: 139588
3020.45/3097.91 c #Conflicts: 1182000 | #Constraints: 140588
3020.45/3097.91 c #Conflicts: 1183000 | #Constraints: 141588
3020.45/3097.91 c #Conflicts: 1184000 | #Constraints: 142588
3257.12/3336.36 c #Conflicts: 1185000 | #Constraints: 143588
3257.12/3336.36 c #Conflicts: 1186000 | #Constraints: 144588
3257.12/3336.36 c #Conflicts: 1187000 | #Constraints: 145588
3257.12/3336.36 c #Conflicts: 1188000 | #Constraints: 146588
3257.12/3336.36 c #Conflicts: 1189000 | #Constraints: 147588
3257.12/3336.36 c #Conflicts: 1190000 | #Constraints: 148588
3257.12/3336.36 c #Conflicts: 1191000 | #Constraints: 149588
3257.12/3336.36 c #Conflicts: 1192000 | #Constraints: 150588
3257.12/3336.36 c #Conflicts: 1193000 | #Constraints: 151588
3257.12/3336.36 c #Conflicts: 1194000 | #Constraints: 152588
3257.12/3336.36 c #Conflicts: 1195000 | #Constraints: 153588
3257.12/3336.36 c #Conflicts: 1196000 | #Constraints: 154588
3257.12/3336.36 c #Conflicts: 1197000 | #Constraints: 155588
3257.12/3336.36 c #Conflicts: 1198000 | #Constraints: 156588
3257.12/3336.36 c #Conflicts: 1199000 | #Constraints: 157588
3257.12/3336.36 c #Conflicts: 1200000 | #Constraints: 158588
3257.12/3336.36 c #Conflicts: 1201000 | #Constraints: 159588
3257.12/3336.36 c #Conflicts: 1202000 | #Constraints: 160588
3257.12/3336.36 c INPROCESSING
3257.12/3336.36 c GARBAGE COLLECT
3257.12/3336.36 c #Conflicts: 1203000 | #Constraints: 95574
3257.12/3336.36 c #Conflicts: 1204000 | #Constraints: 96574
3257.12/3336.36 c #Conflicts: 1205000 | #Constraints: 97574
3257.12/3336.36 c #Conflicts: 1206000 | #Constraints: 98574
3257.12/3336.36 c #Conflicts: 1207000 | #Constraints: 99574
3257.12/3336.36 c #Conflicts: 1208000 | #Constraints: 100574
3257.12/3336.36 c #Conflicts: 1209000 | #Constraints: 101574
3257.12/3336.36 c #Conflicts: 1210000 | #Constraints: 102574
3257.12/3336.36 c #Conflicts: 1211000 | #Constraints: 103574
3257.12/3336.36 c #Conflicts: 1212000 | #Constraints: 104574
3257.12/3336.36 c #Conflicts: 1213000 | #Constraints: 105574
3257.12/3336.36 c #Conflicts: 1214000 | #Constraints: 106574
3257.12/3336.36 c #Conflicts: 1215000 | #Constraints: 107574
3257.12/3336.36 c #Conflicts: 1216000 | #Constraints: 108574
3257.12/3336.36 c #Conflicts: 1217000 | #Constraints: 109574
3257.12/3336.36 c #Conflicts: 1218000 | #Constraints: 110574
3257.12/3336.36 c #Conflicts: 1219000 | #Constraints: 111574
3257.12/3336.36 c #Conflicts: 1220000 | #Constraints: 112574
3257.12/3336.36 c #Conflicts: 1221000 | #Constraints: 113574
3257.12/3336.36 c #Conflicts: 1222000 | #Constraints: 114574
3257.12/3336.36 c #Conflicts: 1223000 | #Constraints: 115574
3257.12/3336.36 c #Conflicts: 1224000 | #Constraints: 116574
3257.12/3336.36 c #Conflicts: 1225000 | #Constraints: 117574
3257.12/3336.36 c #Conflicts: 1226000 | #Constraints: 118574
3257.12/3336.36 c #Conflicts: 1227000 | #Constraints: 119574
3257.12/3336.36 c #Conflicts: 1228000 | #Constraints: 120574
3257.12/3336.36 c #Conflicts: 1229000 | #Constraints: 121574
3257.12/3336.36 c #Conflicts: 1230000 | #Constraints: 122574
3257.12/3336.36 c #Conflicts: 1231000 | #Constraints: 123574
3257.12/3336.36 c #Conflicts: 1232000 | #Constraints: 124574
3257.12/3336.36 c #Conflicts: 1233000 | #Constraints: 125574
3257.12/3336.36 c #Conflicts: 1234000 | #Constraints: 126574
3257.12/3336.36 c #Conflicts: 1235000 | #Constraints: 127574
3257.12/3336.36 c #Conflicts: 1236000 | #Constraints: 128574
3257.12/3336.36 c #Conflicts: 1237000 | #Constraints: 129574
3257.12/3336.36 c #Conflicts: 1238000 | #Constraints: 130574
3257.12/3336.36 c #Conflicts: 1239000 | #Constraints: 131574
3257.12/3336.36 c #Conflicts: 1240000 | #Constraints: 132574
3257.12/3336.36 c #Conflicts: 1241000 | #Constraints: 133574
3257.12/3336.36 c #Conflicts: 1242000 | #Constraints: 134574
3257.12/3336.36 c #Conflicts: 1243000 | #Constraints: 135574
3257.12/3336.36 c #Conflicts: 1244000 | #Constraints: 136574
3257.12/3336.36 c #Conflicts: 1245000 | #Constraints: 137574
3257.12/3336.36 c #Conflicts: 1246000 | #Constraints: 138574
3257.12/3336.36 c #Conflicts: 1247000 | #Constraints: 139574
3257.12/3336.36 c #Conflicts: 1248000 | #Constraints: 140574
3257.12/3336.36 c #Conflicts: 1249000 | #Constraints: 141574
3257.12/3336.36 c #Conflicts: 1250000 | #Constraints: 142574
3257.12/3336.36 c #Conflicts: 1251000 | #Constraints: 143574
3257.12/3336.36 c #Conflicts: 1252000 | #Constraints: 144574
3257.12/3336.36 c #Conflicts: 1253000 | #Constraints: 145574
3257.12/3336.36 c #Conflicts: 1254000 | #Constraints: 146574
3257.12/3336.36 c #Conflicts: 1255000 | #Constraints: 147574
3257.12/3336.36 c #Conflicts: 1256000 | #Constraints: 148574
3257.12/3336.36 c #Conflicts: 1257000 | #Constraints: 149574
3257.12/3336.36 c #Conflicts: 1258000 | #Constraints: 150574
3257.12/3336.36 c #Conflicts: 1259000 | #Constraints: 151574
3257.12/3336.36 c #Conflicts: 1260000 | #Constraints: 152574
3257.12/3336.36 c #Conflicts: 1261000 | #Constraints: 153574
3257.12/3336.36 c #Conflicts: 1262000 | #Constraints: 154574
3492.49/3576.52 c #Conflicts: 1263000 | #Constraints: 155574
3492.49/3576.52 c #Conflicts: 1264000 | #Constraints: 156574
3492.49/3576.52 c #Conflicts: 1265000 | #Constraints: 157574
3492.49/3576.52 c #Conflicts: 1266000 | #Constraints: 158574
3492.49/3576.52 c #Conflicts: 1267000 | #Constraints: 159574
3492.49/3576.52 c #Conflicts: 1268000 | #Constraints: 160574
3492.49/3576.52 c #Conflicts: 1269000 | #Constraints: 161574
3492.49/3576.52 c #Conflicts: 1270000 | #Constraints: 162574
3492.49/3576.52 c #Conflicts: 1271000 | #Constraints: 163574
3492.49/3576.52 c #Conflicts: 1272000 | #Constraints: 164574
3492.49/3576.52 c INPROCESSING
3492.49/3576.52 c GARBAGE COLLECT
3492.49/3576.52 c #Conflicts: 1273000 | #Constraints: 97410
3492.49/3576.52 c #Conflicts: 1274000 | #Constraints: 98410
3492.49/3576.52 c #Conflicts: 1275000 | #Constraints: 99410
3492.49/3576.52 c #Conflicts: 1276000 | #Constraints: 100410
3492.49/3576.52 c #Conflicts: 1277000 | #Constraints: 101410
3492.49/3576.52 c #Conflicts: 1278000 | #Constraints: 102410
3492.49/3576.52 c #Conflicts: 1279000 | #Constraints: 103410
3492.49/3576.52 c #Conflicts: 1280000 | #Constraints: 104410
3492.49/3576.52 c #Conflicts: 1281000 | #Constraints: 105410
3492.49/3576.52 c #Conflicts: 1282000 | #Constraints: 106410
3492.49/3576.52 c #Conflicts: 1283000 | #Constraints: 107410
3492.49/3576.52 c #Conflicts: 1284000 | #Constraints: 108410
3492.49/3576.52 c #Conflicts: 1285000 | #Constraints: 109410
3492.49/3576.52 c #Conflicts: 1286000 | #Constraints: 110410
3492.49/3576.52 c #Conflicts: 1287000 | #Constraints: 111410
3492.49/3576.52 c #Conflicts: 1288000 | #Constraints: 112410
3492.49/3576.52 c #Conflicts: 1289000 | #Constraints: 113410
3492.49/3576.52 c #Conflicts: 1290000 | #Constraints: 114410
3492.49/3576.52 c #Conflicts: 1291000 | #Constraints: 115410
3492.49/3576.52 c #Conflicts: 1292000 | #Constraints: 116410
3492.49/3576.52 c #Conflicts: 1293000 | #Constraints: 117410
3492.49/3576.52 c #Conflicts: 1294000 | #Constraints: 118410
3492.49/3576.52 c #Conflicts: 1295000 | #Constraints: 119410
3492.49/3576.52 c #Conflicts: 1296000 | #Constraints: 120410
3492.49/3576.52 c #Conflicts: 1297000 | #Constraints: 121410
3492.49/3576.52 c #Conflicts: 1298000 | #Constraints: 122410
3492.49/3576.52 c #Conflicts: 1299000 | #Constraints: 123410
3492.49/3576.52 c #Conflicts: 1300000 | #Constraints: 124410
3492.49/3576.52 c #Conflicts: 1301000 | #Constraints: 125410
3492.49/3576.52 c #Conflicts: 1302000 | #Constraints: 126410
3492.49/3576.52 c #Conflicts: 1303000 | #Constraints: 127410
3492.49/3576.52 c #Conflicts: 1304000 | #Constraints: 128410
3492.49/3576.52 c #Conflicts: 1305000 | #Constraints: 129410
3492.49/3576.52 c #Conflicts: 1306000 | #Constraints: 130410
3492.49/3576.52 c #Conflicts: 1307000 | #Constraints: 131410
3492.49/3576.52 c #Conflicts: 1308000 | #Constraints: 132410
3492.49/3576.52 c #Conflicts: 1309000 | #Constraints: 133410
3492.49/3576.52 c #Conflicts: 1310000 | #Constraints: 134410
3492.49/3576.52 c #Conflicts: 1311000 | #Constraints: 135410
3492.49/3576.52 c #Conflicts: 1312000 | #Constraints: 136410
3492.49/3576.52 c #Conflicts: 1313000 | #Constraints: 137410
3492.49/3576.52 c #Conflicts: 1314000 | #Constraints: 138410
3492.49/3576.52 c #Conflicts: 1315000 | #Constraints: 139410
3492.49/3576.52 c #Conflicts: 1316000 | #Constraints: 140410
3492.49/3576.52 c #Conflicts: 1317000 | #Constraints: 141410
3492.49/3576.52 c #Conflicts: 1318000 | #Constraints: 142410
3492.49/3576.52 c #Conflicts: 1319000 | #Constraints: 143410
3492.49/3576.52 c #Conflicts: 1320000 | #Constraints: 144410
3492.49/3576.52 c #Conflicts: 1321000 | #Constraints: 145410
3492.49/3576.52 c #Conflicts: 1322000 | #Constraints: 146410
3492.49/3576.52 c #Conflicts: 1323000 | #Constraints: 147410
3492.49/3576.52 c #Conflicts: 1324000 | #Constraints: 148410
3492.49/3576.52 c #Conflicts: 1325000 | #Constraints: 149410
3492.49/3576.52 c #Conflicts: 1326000 | #Constraints: 150410
3492.49/3576.52 c #Conflicts: 1327000 | #Constraints: 151410
3492.49/3576.52 c #Conflicts: 1328000 | #Constraints: 152410
3492.49/3576.52 c #Conflicts: 1329000 | #Constraints: 153410
3492.49/3576.52 c #Conflicts: 1330000 | #Constraints: 154410
3492.49/3576.52 c #Conflicts: 1331000 | #Constraints: 155410
3492.49/3576.52 c #Conflicts: 1332000 | #Constraints: 156410
3492.49/3576.52 c #Conflicts: 1333000 | #Constraints: 157410
3492.49/3576.52 c #Conflicts: 1334000 | #Constraints: 158410
3492.49/3576.52 c #Conflicts: 1335000 | #Constraints: 159410
3492.49/3576.52 c #Conflicts: 1336000 | #Constraints: 160410
3492.49/3576.52 c #Conflicts: 1337000 | #Constraints: 161410
3492.49/3576.52 c #Conflicts: 1338000 | #Constraints: 162410
3492.49/3576.52 c #Conflicts: 1339000 | #Constraints: 163410
3492.49/3576.52 c #Conflicts: 1340000 | #Constraints: 164410
3492.49/3576.52 c #Conflicts: 1341000 | #Constraints: 165410
3600.04/3685.30 c #Conflicts: 1342000 | #Constraints: 166410
3600.04/3685.30 c #Conflicts: 1343000 | #Constraints: 167410
3600.04/3685.30 c #Conflicts: 1344000 | #Constraints: 168410
3600.04/3685.30 c #Conflicts: 1345000 | #Constraints: 169410
3600.04/3685.30 c INPROCESSING
3600.04/3685.30 c GARBAGE COLLECT
3600.04/3685.30 c #Conflicts: 1346000 | #Constraints: 100179
3600.04/3685.30 c #Conflicts: 1347000 | #Constraints: 101179
3600.04/3685.30 c #Conflicts: 1348000 | #Constraints: 102179
3600.04/3685.30 c #Conflicts: 1349000 | #Constraints: 103179
3600.04/3685.30 c #Conflicts: 1350000 | #Constraints: 104179
3600.04/3685.30 c #Conflicts: 1351000 | #Constraints: 105179
3600.04/3685.30 c #Conflicts: 1352000 | #Constraints: 106179
3600.04/3685.30 c #Conflicts: 1353000 | #Constraints: 107179
3600.04/3685.30 c #Conflicts: 1354000 | #Constraints: 108179
3600.04/3685.30 c #Conflicts: 1355000 | #Constraints: 109179
3600.04/3685.30 c #Conflicts: 1356000 | #Constraints: 110179
3600.04/3685.30 c #Conflicts: 1357000 | #Constraints: 111179
3600.04/3685.30 c #Conflicts: 1358000 | #Constraints: 112179
3600.04/3685.30 c #Conflicts: 1359000 | #Constraints: 113179
3600.04/3685.30 c #Conflicts: 1360000 | #Constraints: 114179
3600.04/3685.30 c #Conflicts: 1361000 | #Constraints: 115179
3600.04/3685.30 c #Conflicts: 1362000 | #Constraints: 116179
3600.04/3685.30 c #Conflicts: 1363000 | #Constraints: 117179
3600.04/3685.30 c #Conflicts: 1364000 | #Constraints: 118179
3600.04/3685.30 c #Conflicts: 1365000 | #Constraints: 119179
3600.04/3685.30 c #Conflicts: 1366000 | #Constraints: 120179
3600.04/3685.30 c #Conflicts: 1367000 | #Constraints: 121179
3600.04/3685.30 c #Conflicts: 1368000 | #Constraints: 122179
3600.04/3685.30 c #Conflicts: 1369000 | #Constraints: 123179
3600.04/3685.30 c #Conflicts: 1370000 | #Constraints: 124179
3600.04/3685.30 c #Conflicts: 1371000 | #Constraints: 125179
3600.04/3685.30 c #Conflicts: 1372000 | #Constraints: 126179
3600.04/3685.30 c #Conflicts: 1373000 | #Constraints: 127179
3600.04/3685.30 c #Conflicts: 1374000 | #Constraints: 128179
3600.04/3685.30 c #Conflicts: 1375000 | #Constraints: 129179
3600.04/3685.30 c #Conflicts: 1376000 | #Constraints: 130179
3600.04/3685.30 c #Conflicts: 1377000 | #Constraints: 131179
3600.04/3685.30 c #Conflicts: 1378000 | #Constraints: 132179
3600.04/3685.30 c #Conflicts: 1379000 | #Constraints: 133179
3600.04/3685.30 c #Conflicts: 1380000 | #Constraints: 134179
3600.04/3685.30 c #Conflicts: 1381000 | #Constraints: 135179
3600.04/3685.30 c #Conflicts: 1382000 | #Constraints: 136179
3600.04/3685.30 c #Conflicts: 1383000 | #Constraints: 137179
3600.04/3685.30 c cpu time 3557.33 s
3600.04/3685.30 c deterministic time 273386454196 2.73e+11
3600.04/3685.30 c optimization time 91.3593 s
3600.04/3685.30 c total solve time 3465.82 s
3600.04/3685.30 c core-guided solve time 0 s
3600.04/3685.30 c propagation time 2053.8 s
3600.04/3685.30 c conflict analysis time 1046.95 s
3600.04/3685.30 c propagations 1492631527
3600.04/3685.30 c resolve steps 76940726
3600.04/3685.30 c decisions 43678255
3600.04/3685.30 c conflicts 1383371
3600.04/3685.30 c restarts 2649
3600.04/3685.30 c inprocessing phases 38
3600.04/3685.30 c garbage collections 38 ,( 100.00 )
3600.04/3685.30 c input clauses 23660 ,( 99.18 )
3600.04/3685.30 c input cardinalities 196 ,( 0.82 )
3600.04/3685.30 c input general constraints 0 ,( 0.00 )
3600.04/3685.30 c input average constraint length 6.42
3600.04/3685.30 c input average constraint degree 1.96
3600.04/3685.30 c learned clauses 986155 ,( 71.29 )
3600.04/3685.30 c learned cardinalities 51208 ,( 3.70 )
3600.04/3685.30 c learned general constraints 346011 ,( 25.01 )
3600.04/3685.30 c learned average constraint length 620.00
3600.04/3685.30 c learned average constraint degree 11518545.51
3600.04/3685.30 c watched CF 32, 64, 128, Arb: 78139 , 0 , 0 , 0
3600.04/3685.30 c counting CF 32, 64, 128, Arb: 267872 , 0 , 0 , 0
3600.04/3685.30 c watched constraints 78139 ,( 22.58 )
3600.04/3685.30 c counting constraints 267872 ,( 77.42 )
3600.04/3685.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1358660919 , 894051124 , 2049205886 ,( 92992467 , 1956213419 )
3600.04/3685.30 c gcd simplifications 663
3600.04/3685.30 c detected cardinalities 8802
3600.04/3685.30 c weakened non-implied lits 368911106
3600.04/3685.30 c weakened non-implying lits 166334
3600.04/3685.30 c original variables 23369
3600.04/3685.30 c clausal propagations 706832598
3600.04/3685.30 c cardinality propagations 544693450
3600.04/3685.30 c watched propagations 4175242
3600.04/3685.30 c counting propagations 222902090
3600.04/3685.30 c watch lookups 84372616784
3600.04/3685.30 c watch backjump lookups 0
3600.04/3685.30 c watch checks 31573617380
3600.04/3685.30 c propagation checks 150077445594
3600.04/3685.30 c constraint additions 4288507631
3600.04/3685.30 c trail pops 1537673107
3600.04/3685.30 c formula constraints 23856
3600.04/3685.30 c learned constraints 1383369
3600.04/3685.30 c bound constraints 0
3600.04/3685.30 c core-guided constraints 0
3600.04/3685.30 c encountered formula constraints 47054878
3600.04/3685.30 c encountered learned constraints 31269053
3600.04/3685.30 c encountered bound constraints 0
3600.04/3685.30 c encountered core-guided constraints 0
3600.04/3685.30 c LP total time 457.319 s
3600.04/3685.30 c LP solve time 448.92 s
3600.04/3685.30 c LP constraints added 24024
3600.04/3685.30 c LP constraints removed 0
3600.04/3685.30 c LP pivots internal 141346
3600.04/3685.30 c LP pivots root 142571
3600.04/3685.30 c LP calls 14
3600.04/3685.30 c LP optimalities 5
3600.04/3685.30 c LP no pivot count 0
3600.04/3685.30 c LP infeasibilities 2
3600.04/3685.30 c LP valid Farkas constraints 2
3600.04/3685.30 c LP learned Farkas constraints 2
3600.04/3685.30 c LP basis resets 0
3600.04/3685.30 c LP cycling count 0
3600.04/3685.30 c LP singular count 0
3600.04/3685.30 c LP no primal count 0
3600.04/3685.30 c LP no farkas count 0
3600.04/3685.30 c LP other issue count 0
3600.04/3685.30 c LP Gomory cuts 1
3600.04/3685.30 c LP learned cuts 167
3600.04/3685.30 c LP deleted cuts 0
3600.04/3685.30 c LP encountered Gomory constraints 0
3600.04/3685.30 c LP encountered Farkas constraints 163
3600.04/3685.30 c LP encountered learned Farkas constraints 1
3600.04/3685.30 c CG auxiliary variables introduced 0
3600.04/3685.30 c CG solutions found 0
3600.04/3685.30 c CG cores constructed 0
3600.04/3685.30 c CG core cardinality constraints returned 0
3600.04/3685.30 c CG unit cores 0
3600.04/3685.30 c CG single cores 0
3600.04/3685.30 c CG blocks removed during cardinality reduction 0
3600.04/3685.30 c CG first core best 0
3600.04/3685.30 c CG decision core best 0
3600.04/3685.30 c CG core reduction tie 0
3600.04/3685.30 c CG core degree average 0.00
3600.04/3685.30 c CG core slack average 0.00
3600.04/3685.30 c CG core upper bound improvements 0
3600.04/3685.30 c STR number of successful calls 0
3600.04/3685.30 c STR number of unsuccessful calls 0
3600.04/3685.30 c STR number of inconclusive calls 0
3600.04/3685.30 c STR number of successful attempts 0
3600.04/3685.30 c STR number of unsuccessful attempts 0
3600.04/3685.30 c STR number of inconclusive attempts 0
3600.04/3685.30 c STR average degree increase per successful call inf
3600.04/3685.30 c STR average degree increase per successful attempt inf
3600.04/3685.30 c STR total number of conflicts for successful attempts 0
3600.04/3685.30 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3685.30 c STR total number of conflicts for inconclusive attempts 0
3600.04/3685.30 c STR average number of conflicts per successful attempt inf
3600.04/3685.30 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3685.30 c STR average number of conflicts per inconclusive attempt inf
3600.04/3685.30 c AVG.sumWPerc 68.20
3600.04/3685.30 c bigint constraints 0
3600.04/3685.30 s UNKNOWN
3600.04/3685.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (63012 MiB free)
memory of node 1: 64507 MiB (50795 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507125-1751174041/watcher-4507125-1751174041 -o /tmp/evaluation-result-4507125-1751174041/solver-4507125-1751174041 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22588 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507125-1751174041.opb PROOFDIR/proof-4507125-1751174041
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22952, runsolver pid=22949
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.39 4.17 4.11 5/270 22954
/proc/meminfo: memFree=116489528/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22954] ppid=22952 vsize=49200 memory=36124 CPUtime=0.08 cores=0,2
/proc/22954/stat : 22954 (pbsuma) R 22952 22952 22578 0 -1 4194304 14187 0 0 0 6 2 0 0 20 0 1 0 33084322 50380800 9031 18446744073709551615 4210688 4653049 140735258845024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22810624 140735258851555 140735258851890 140735258851890 140735258857455 0
/proc/22954/statm: 12300 9031 1056 108 0 9708 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 53392 KiB
Current children cumulated memory: 39068 KiB
[startup+0.205584 s]*
/proc/loadavg: 4.39 4.17 4.11 5/270 22955
/proc/meminfo: memFree=116523936/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=66584 memory=21888 CPUtime=0.07 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 3113 0 0 0 5 2 0 0 20 0 1 0 33084335 68182016 5472 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 16646 5472 2080 1147 0 4073 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 70776 KiB
Current children cumulated memory: 24832 KiB
[startup+0.305555 s]*
/proc/loadavg: 4.39 4.17 4.11 5/270 22955
/proc/meminfo: memFree=116500496/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=89064 memory=45044 CPUtime=0.16 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 8268 0 0 0 13 3 0 0 20 0 1 0 33084335 91201536 11261 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 22266 11261 2304 1147 0 9693 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 93256 KiB
Current children cumulated memory: 47988 KiB
[startup+0.700214 s]
/proc/loadavg: 4.39 4.17 4.11 4/270 22955
/proc/meminfo: memFree=116486352/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=122584 memory=70644 CPUtime=0.55 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 13983 0 0 0 50 5 0 0 20 0 1 0 33084335 125526016 17661 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 30646 17661 2336 1147 0 18073 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 126776 KiB
Current children cumulated memory: 73588 KiB
[startup+1.50018 s]
/proc/loadavg: 4.39 4.17 4.11 5/270 22955
/proc/meminfo: memFree=116480132/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=122584 memory=70644 CPUtime=1.35 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 13983 0 0 0 130 5 0 0 20 0 1 0 33084335 125526016 17661 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 30646 17661 2336 1147 0 18073 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 126776 KiB
Current children cumulated memory: 73588 KiB
[startup+3.10544 s]
/proc/loadavg: 4.39 4.17 4.11 5/270 22955
/proc/meminfo: memFree=116458344/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=125640 memory=73844 CPUtime=2.95 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 14759 0 0 0 290 5 0 0 20 0 1 0 33084335 128655360 18461 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 31410 18461 2336 1147 0 18837 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 129832 KiB
Current children cumulated memory: 76788 KiB
[startup+6.30017 s]
/proc/loadavg: 4.36 4.16 4.11 5/270 22955
/proc/meminfo: memFree=116435156/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=130860 memory=82728 CPUtime=6.14 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 16427 0 0 0 598 16 0 0 20 0 1 0 33084335 134000640 20682 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 32715 20682 2400 1147 0 20142 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 135052 KiB
Current children cumulated memory: 85672 KiB
[startup+12.7002 s]
/proc/loadavg: 4.41 4.18 4.12 5/270 22955
/proc/meminfo: memFree=116379676/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=140516 memory=90280 CPUtime=12.52 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 18301 0 0 0 1216 36 0 0 20 0 1 0 33084335 143888384 22570 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 35129 22570 2400 1147 0 22556 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 144708 KiB
Current children cumulated memory: 93224 KiB
[startup+25.5002 s]
/proc/loadavg: 4.32 4.17 4.12 5/267 22955
/proc/meminfo: memFree=117178948/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=159436 memory=109100 CPUtime=25.28 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 22495 0 0 0 2458 70 0 0 20 0 1 0 33084335 163262464 27275 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 39859 27275 2400 1147 0 27286 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 163628 KiB
Current children cumulated memory: 112044 KiB
[startup+51.1055 s]
/proc/loadavg: 4.28 4.17 4.12 5/270 23050
/proc/meminfo: memFree=129507060/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=179080 memory=128560 CPUtime=48.98 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 26448 0 0 0 4755 143 0 0 20 0 1 0 33084335 183377920 32140 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 44770 32140 2400 1147 0 32197 0
Current children cumulated CPU time: 49.09 s
Current children cumulated vsize: 183272 KiB
Current children cumulated memory: 131504 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/270 23053
/proc/meminfo: memFree=128921704/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=250112 memory=183720 CPUtime=99.91 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 37245 0 0 0 9729 262 0 0 20 0 1 0 33084335 256114688 45930 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 62528 45930 2400 1147 0 49955 0
Current children cumulated CPU time: 100.02 s
Current children cumulated vsize: 254304 KiB
Current children cumulated memory: 186664 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/271 23058
/proc/meminfo: memFree=128343212/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=273648 memory=224252 CPUtime=156.26 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 43308 0 0 0 15241 385 0 0 20 0 1 0 33084335 280215552 56063 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 68412 56063 2400 1147 0 55839 0
Current children cumulated CPU time: 156.37 s
Current children cumulated vsize: 277840 KiB
Current children cumulated memory: 227196 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/271 23060
/proc/meminfo: memFree=127811720/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=319624 memory=245396 CPUtime=216.02 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 47551 0 0 0 21117 485 0 0 20 0 1 0 33084335 327294976 61349 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
################
# More data... #
################
/proc/22955/statm: 250054 226201 2400 1147 0 237481 0
Current children cumulated CPU time: 3084.39 s
Current children cumulated vsize: 1004408 KiB
Current children cumulated memory: 907748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 23222
/proc/meminfo: memFree=106464864/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=1006204 memory=910180 CPUtime=3143.89 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 147629 0 0 0 310592 3797 0 0 20 0 1 0 33084335 1030352896 227545 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 251551 227545 2400 1147 0 238978 0
Current children cumulated CPU time: 3144 s
Current children cumulated vsize: 1010396 KiB
Current children cumulated memory: 913124 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/273 23225
/proc/meminfo: memFree=106158292/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=1006204 memory=910308 CPUtime=3203.34 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 147654 0 0 0 316467 3867 0 0 20 0 1 0 33084335 1030352896 227577 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 251551 227577 2400 1147 0 238978 0
Current children cumulated CPU time: 3203.45 s
Current children cumulated vsize: 1010396 KiB
Current children cumulated memory: 913252 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/273 23227
/proc/meminfo: memFree=105701160/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=1007164 memory=911204 CPUtime=3263 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 147861 0 0 0 322375 3925 0 0 20 0 1 0 33084335 1031335936 227801 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 251791 227801 2400 1147 0 239218 0
Current children cumulated CPU time: 3263.11 s
Current children cumulated vsize: 1011356 KiB
Current children cumulated memory: 914148 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/271 23230
/proc/meminfo: memFree=105344008/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=1014488 memory=917988 CPUtime=3322.22 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 149604 0 0 0 328231 3991 0 0 20 0 1 0 33084335 1038835712 229497 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 253622 229497 2400 1147 0 241049 0
Current children cumulated CPU time: 3322.33 s
Current children cumulated vsize: 1018680 KiB
Current children cumulated memory: 920932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 23232
/proc/meminfo: memFree=104987496/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=1014488 memory=918116 CPUtime=3381.4 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 149666 0 0 0 334071 4069 0 0 20 0 1 0 33084335 1038835712 229529 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 253622 229529 2400 1147 0 241049 0
Current children cumulated CPU time: 3381.51 s
Current children cumulated vsize: 1018680 KiB
Current children cumulated memory: 921060 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/272 23237
/proc/meminfo: memFree=104651196/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=1014488 memory=918116 CPUtime=3441.11 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 149706 0 0 0 340001 4110 0 0 20 0 1 0 33084335 1038835712 229529 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 253622 229529 2400 1147 0 241049 0
Current children cumulated CPU time: 3441.22 s
Current children cumulated vsize: 1018680 KiB
Current children cumulated memory: 921060 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/271 23242
/proc/meminfo: memFree=104265016/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=1015712 memory=923620 CPUtime=3498.17 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 150056 0 0 0 345669 4148 0 0 20 0 1 0 33084335 1040089088 230905 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 253928 230905 2400 1147 0 241355 0
Current children cumulated CPU time: 3498.28 s
Current children cumulated vsize: 1019904 KiB
Current children cumulated memory: 926564 KiB
[startup+3642.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/271 23244
/proc/meminfo: memFree=103839276/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=1020304 memory=936932 CPUtime=3557.07 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 151169 0 0 0 351502 4205 0 0 20 0 1 0 33084335 1044791296 234233 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 255076 234233 2400 1147 0 242503 0
Current children cumulated CPU time: 3557.18 s
Current children cumulated vsize: 1024496 KiB
Current children cumulated memory: 939876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3685.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/271 23245
/proc/meminfo: memFree=103575048/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=1020304 memory=936932 CPUtime=3599.93 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 151169 0 0 0 355732 4261 0 0 20 0 1 0 33084335 1044791296 234233 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 255076 234233 2400 1147 0 242503 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1024496 KiB
Current children cumulated memory: 939876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3685.3 s]
# the end of solver process 22952 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.08385 s, system=0.034563 s
[startup+3685.36 s]
# the end of solver process 22955 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3557.43 s, system=42.6525 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3685.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/271 23245
/proc/meminfo: memFree=103575048/131250000 swapFree=33010684/33010684
[pid=22952] ppid=22949 vsize=4192 memory=2944 CPUtime=0.11 cores=0,2
/proc/22952/stat : 22952 (run-dec-break-l) S 22949 22952 22578 0 -1 4194304 239 14330 0 0 0 0 8 3 20 0 1 0 33084321 4292608 736 18446744073709551615 94447655825408 94447656719941 140736825020880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94447656958992 94447657006736 94447658827776 140736825022741 140736825022942 140736825022942 140736825028544 0
/proc/22952/statm: 1048 736 672 219 0 110 0
[pid=22955] ppid=22952 vsize=1020304 memory=936932 CPUtime=3599.93 cores=0,2
/proc/22955/stat : 22955 (roundingsat) R 22952 22952 22578 0 -1 4194304 151169 0 0 0 355732 4261 0 0 20 0 1 0 33084335 1044791296 234233 18446744073709551615 4227072 8923433 140727311566176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21897216 140727311575284 140727311575592 140727311575592 140727311581162 0
/proc/22955/statm: 255076 234233 2400 1147 0 242503 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1024496 KiB
Current children cumulated memory: 939876 KiB
Child status: 2
Real time (s): 3685.36
CPU time (s): 3600.08
CPU user time (s): 3557.43
CPU system time (s): 42.6525
CPU usage (%): 97.686
Max. virtual memory (cumulated for all children) (KiB): 1024496
Max. memory (cumulated for all children) (KiB): 939876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.43
system time used= 42.6525
maximum resident set size= 937188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165758
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11012568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 996
involuntary context switches= 5266
# summary of solver processes directly reported to runsolver:
# pid: 22952,22955
# total CPU time (s): 3600.08
# total CPU user time (s): 3557.43
# total CPU system time (s): 42.6525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.49664 second user time and 16.5792 second system time
The end
Begin job on nodeC013 at 2025-06-29 07:14:01
IDJOB=4507125
IDBENCH=158326
IDSOLVER=3358
FILE ID=nodeC013/4507125-1751174041
RUNJOBID= nodeC013-1751170426-22588
SLURM_JOB_ID= 9587527
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507125-1751174041/watcher-4507125-1751174041 -o /tmp/evaluation-result-4507125-1751174041/solver-4507125-1751174041 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22588 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507125-1751174041.opb PROOFDIR/proof-4507125-1751174041
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b
RANDOM SEED=2091039403
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.786
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.823
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3763.792
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.488
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.830
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.834
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.194
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3540.539
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 116539488 kB
MemAvailable: 127875196 kB
Buffers: 3280 kB
Cached: 12128052 kB
SwapCached: 0 kB
Active: 2178140 kB
Inactive: 11919124 kB
Active(anon): 1979320 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 11919124 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 128948 kB
Writeback: 0 kB
AnonPages: 1967292 kB
Mapped: 111708 kB
Shmem: 13284 kB
KReclaimable: 113608 kB
Slab: 202432 kB
SReclaimable: 113608 kB
SUnreclaim: 88824 kB
KernelStack: 4348 kB
PageTables: 7216 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2547828 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1069056 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC013 at 2025-06-29 08:15:26