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-4506800-1751167004.opb'
0.00/0.06 c read 1.12MB (45.51ms)
0.00/0.06 c [cnf: #variables 16422 #clauses 16700 #duplicates 0 #arr 107356]
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.09/0.12 c [group: #orbits ~= 2484] (56.91ms)
0.09/0.12 c
0.09/0.12 c detect special group actions
0.09/0.12 c probe for Johnson action (limit=64)
0.09/0.12 c probe for row-column symmetry (limit=64, splits=16.78M)
0.09/0.12 c probe for row symmetry (limit=64, splits=16.78M)
0.09/0.13 c (9.15ms)
0.09/0.13 c
0.09/0.13 c detect symmetries on remainder
0.09/0.13 c [graph: #vertices 82388 #edges 313244]
0.09/0.13 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.09/0.17 c [group: #symmetries 4.80*10^1 #generators 5] (45.82ms)
0.09/0.17 c
0.09/0.17 c optimize generators (opt_passes=64, conjugate_limit=256)
0.09/0.17 c (0.10ms)
0.09/0.17 c
0.09/0.17 c finalize break order and special generators
0.09/0.17 c
0.09/0.17 c add generic predicates (break_depth=10)
0.09/0.17 c added predicates for 5 generators (0.48ms)
0.09/0.17 c
0.09/0.17 c generation finished
0.09/0.17 c [sbp: #constraints 140 #add_vars 45]
0.09/0.18 c
0.09/0.18 c write result to 'HOME/instance-4506800-1751167004.opb.pre'
0.09/0.18 c wrote 1.14MB (7.53ms)
0.09/0.18 c ------------------------------------------------------------------
0.09/0.18 c 56.91ms 33.52% approx_orbits
0.09/0.18 c 45.82ms 26.98% detect_generic
0.09/0.18 c 45.51ms 26.80% parse
0.09/0.18 c 9.15ms 5.39% detect_special
0.09/0.18 c 7.53ms 4.44% output
0.09/0.18 c 2.58ms 1.52% other
0.09/0.18 c 1.72ms 1.01% finalize_order
0.09/0.18 c 0.48ms 0.28% break_generic
0.09/0.18 c 0.10ms 0.06% optimize_gens
0.09/0.18 c ───────────────────────────────────────────────
0.09/0.18 c 169.80ms 100% total
0.09/0.18 c ------------------------------------------------------------------
0.09/0.21 c RoundingSat 2
0.09/0.21 c branch pb25
0.09/0.21 c commit 63f22ad
0.38/0.46 c #variables 16467 #constraints 16838
118.42/118.84 c #Conflicts: 1000 | #Constraints: 17837
118.42/118.84 c #Conflicts: 2000 | #Constraints: 18837
118.42/118.84 c INPROCESSING
118.42/118.84 c GARBAGE COLLECT
118.42/118.84 c #Conflicts: 3000 | #Constraints: 18160
118.42/118.84 c #Conflicts: 4000 | #Constraints: 19160
118.42/118.84 c INPROCESSING
118.42/118.84 c GARBAGE COLLECT
118.42/118.84 c #Conflicts: 5000 | #Constraints: 18658
118.42/118.84 c #Conflicts: 6000 | #Constraints: 19658
118.42/118.84 c INPROCESSING
118.42/118.84 c GARBAGE COLLECT
118.42/118.84 c #Conflicts: 7000 | #Constraints: 18714
118.42/118.84 c #Conflicts: 8000 | #Constraints: 19714
118.42/118.84 c #Conflicts: 9000 | #Constraints: 20714
118.42/118.84 c INPROCESSING
118.42/118.84 c GARBAGE COLLECT
118.42/118.84 c #Conflicts: 10000 | #Constraints: 19491
118.42/118.84 c #Conflicts: 11000 | #Constraints: 20491
118.42/118.84 c #Conflicts: 12000 | #Constraints: 21491
118.42/118.84 c INPROCESSING
118.42/118.84 c GARBAGE COLLECT
118.42/118.84 c #Conflicts: 13000 | #Constraints: 19995
118.42/118.84 c #Conflicts: 14000 | #Constraints: 20995
118.42/118.84 c #Conflicts: 15000 | #Constraints: 21995
118.42/118.84 c #Conflicts: 16000 | #Constraints: 22995
118.42/118.84 c #Conflicts: 17000 | #Constraints: 23995
118.42/118.84 c #Conflicts: 18000 | #Constraints: 24995
118.42/118.84 c #Conflicts: 19000 | #Constraints: 25995
118.42/118.84 c #Conflicts: 20000 | #Constraints: 26995
118.42/118.84 c INPROCESSING
118.42/118.84 c GARBAGE COLLECT
118.42/118.84 c #Conflicts: 21000 | #Constraints: 22637
118.42/118.84 c #Conflicts: 22000 | #Constraints: 23637
118.42/118.84 c #Conflicts: 23000 | #Constraints: 24637
118.42/118.84 c #Conflicts: 24000 | #Constraints: 25637
118.42/118.84 c INPROCESSING
118.42/118.84 c GARBAGE COLLECT
118.42/118.84 c #Conflicts: 25000 | #Constraints: 21916
118.42/118.84 c #Conflicts: 26000 | #Constraints: 22916
118.42/118.84 c #Conflicts: 27000 | #Constraints: 23916
118.42/118.84 c #Conflicts: 28000 | #Constraints: 24916
118.42/118.84 c INPROCESSING
118.42/118.84 c GARBAGE COLLECT
118.42/118.84 c #Conflicts: 29000 | #Constraints: 21459
118.42/118.84 c #Conflicts: 30000 | #Constraints: 22459
118.42/118.84 c #Conflicts: 31000 | #Constraints: 23459
118.42/118.84 c #Conflicts: 32000 | #Constraints: 24459
118.42/118.84 c #Conflicts: 33000 | #Constraints: 25459
118.42/118.84 c #Conflicts: 34000 | #Constraints: 26459
118.42/118.84 c #Conflicts: 35000 | #Constraints: 27459
118.42/118.84 c #Conflicts: 36000 | #Constraints: 28459
118.42/118.84 c #Conflicts: 37000 | #Constraints: 29459
118.42/118.84 c #Conflicts: 38000 | #Constraints: 30459
118.42/118.84 c #Conflicts: 39000 | #Constraints: 31459
118.42/118.84 c #Conflicts: 40000 | #Constraints: 32459
118.42/118.84 c #Conflicts: 41000 | #Constraints: 33459
118.42/118.84 c INPROCESSING
118.42/118.84 c GARBAGE COLLECT
118.42/118.84 c #Conflicts: 42000 | #Constraints: 26011
118.42/118.84 c #Conflicts: 43000 | #Constraints: 27011
118.42/118.84 c #Conflicts: 44000 | #Constraints: 28011
118.42/118.84 c #Conflicts: 45000 | #Constraints: 29011
118.42/118.84 c #Conflicts: 46000 | #Constraints: 30011
118.42/118.84 c #Conflicts: 47000 | #Constraints: 31011
118.42/118.84 c INPROCESSING
118.42/118.84 c GARBAGE COLLECT
118.42/118.84 c #Conflicts: 48000 | #Constraints: 24965
118.42/118.84 c #Conflicts: 49000 | #Constraints: 25965
118.42/118.84 c #Conflicts: 50000 | #Constraints: 26965
118.42/118.84 c #Conflicts: 51000 | #Constraints: 27965
118.42/118.84 c #Conflicts: 52000 | #Constraints: 28965
118.42/118.84 c INPROCESSING
118.42/118.84 c GARBAGE COLLECT
118.42/118.84 c #Conflicts: 53000 | #Constraints: 23979
118.42/118.84 c #Conflicts: 54000 | #Constraints: 24979
118.42/118.84 c #Conflicts: 55000 | #Constraints: 25979
118.42/118.84 c #Conflicts: 56000 | #Constraints: 26979
118.42/118.84 c #Conflicts: 57000 | #Constraints: 27979
118.42/118.84 c #Conflicts: 58000 | #Constraints: 28979
118.42/118.84 c #Conflicts: 59000 | #Constraints: 29979
118.42/118.84 c #Conflicts: 60000 | #Constraints: 30979
118.42/118.84 c #Conflicts: 61000 | #Constraints: 31979
118.42/118.84 c #Conflicts: 62000 | #Constraints: 32979
118.42/118.84 c #Conflicts: 63000 | #Constraints: 33979
118.42/118.84 c #Conflicts: 64000 | #Constraints: 34979
118.42/118.84 c #Conflicts: 65000 | #Constraints: 35979
118.42/118.84 c #Conflicts: 66000 | #Constraints: 36979
118.42/118.84 c #Conflicts: 67000 | #Constraints: 37979
118.42/118.84 c #Conflicts: 68000 | #Constraints: 38979
118.42/118.84 c #Conflicts: 69000 | #Constraints: 39979
118.42/118.84 c INPROCESSING
118.42/118.84 c GARBAGE COLLECT
118.42/118.84 c #Conflicts: 70000 | #Constraints: 29253
118.42/118.84 c #Conflicts: 71000 | #Constraints: 30253
118.42/118.84 c #Conflicts: 72000 | #Constraints: 31253
262.78/263.65 c #Conflicts: 73000 | #Constraints: 32253
262.78/263.65 c #Conflicts: 74000 | #Constraints: 33253
262.78/263.65 c #Conflicts: 75000 | #Constraints: 34253
262.78/263.65 c #Conflicts: 76000 | #Constraints: 35253
262.78/263.65 c INPROCESSING
262.78/263.65 c GARBAGE COLLECT
262.78/263.65 c #Conflicts: 77000 | #Constraints: 26911
262.78/263.65 c #Conflicts: 78000 | #Constraints: 27911
262.78/263.65 c #Conflicts: 79000 | #Constraints: 28911
262.78/263.65 c #Conflicts: 80000 | #Constraints: 29911
262.78/263.65 c #Conflicts: 81000 | #Constraints: 30911
262.78/263.65 c #Conflicts: 82000 | #Constraints: 31911
262.78/263.65 c #Conflicts: 83000 | #Constraints: 32911
262.78/263.65 c #Conflicts: 84000 | #Constraints: 33911
262.78/263.65 c INPROCESSING
262.78/263.65 c GARBAGE COLLECT
262.78/263.65 c #Conflicts: 85000 | #Constraints: 27535
262.78/263.65 c #Conflicts: 86000 | #Constraints: 28535
262.78/263.65 c #Conflicts: 87000 | #Constraints: 29535
262.78/263.65 c #Conflicts: 88000 | #Constraints: 30535
262.78/263.65 c #Conflicts: 89000 | #Constraints: 31535
262.78/263.65 c #Conflicts: 90000 | #Constraints: 32535
262.78/263.65 c #Conflicts: 91000 | #Constraints: 33535
262.78/263.65 c #Conflicts: 92000 | #Constraints: 34535
262.78/263.65 c #Conflicts: 93000 | #Constraints: 35535
262.78/263.65 c #Conflicts: 94000 | #Constraints: 36535
262.78/263.65 c #Conflicts: 95000 | #Constraints: 37535
262.78/263.65 c #Conflicts: 96000 | #Constraints: 38535
262.78/263.65 c #Conflicts: 97000 | #Constraints: 39535
262.78/263.65 c #Conflicts: 98000 | #Constraints: 40535
262.78/263.65 c #Conflicts: 99000 | #Constraints: 41535
262.78/263.65 c #Conflicts: 100000 | #Constraints: 42535
262.78/263.65 c #Conflicts: 101000 | #Constraints: 43536
262.78/263.65 c #Conflicts: 102000 | #Constraints: 44536
262.78/263.65 c #Conflicts: 103000 | #Constraints: 45536
262.78/263.65 c #Conflicts: 104000 | #Constraints: 46536
262.78/263.65 c #Conflicts: 105000 | #Constraints: 47536
262.78/263.65 c INPROCESSING
262.78/263.65 c GARBAGE COLLECT
262.78/263.65 c #Conflicts: 106000 | #Constraints: 33408
262.78/263.65 c #Conflicts: 107000 | #Constraints: 34408
262.78/263.65 c #Conflicts: 108000 | #Constraints: 35408
262.78/263.65 c #Conflicts: 109000 | #Constraints: 36408
262.78/263.65 c #Conflicts: 110000 | #Constraints: 37408
262.78/263.65 c #Conflicts: 111000 | #Constraints: 38408
262.78/263.65 c #Conflicts: 112000 | #Constraints: 39408
262.78/263.65 c #Conflicts: 113000 | #Constraints: 40408
262.78/263.65 c INPROCESSING
262.78/263.65 c GARBAGE COLLECT
262.78/263.65 c #Conflicts: 114000 | #Constraints: 29504
262.78/263.65 c #Conflicts: 115000 | #Constraints: 30504
262.78/263.65 c #Conflicts: 116000 | #Constraints: 31504
262.78/263.65 c #Conflicts: 117000 | #Constraints: 32504
262.78/263.65 c #Conflicts: 118000 | #Constraints: 33504
262.78/263.65 c #Conflicts: 119000 | #Constraints: 34504
262.78/263.65 c #Conflicts: 120000 | #Constraints: 35504
262.78/263.65 c #Conflicts: 121000 | #Constraints: 36504
262.78/263.65 c #Conflicts: 122000 | #Constraints: 37504
262.78/263.65 c #Conflicts: 123000 | #Constraints: 38504
262.78/263.65 c #Conflicts: 124000 | #Constraints: 39504
262.78/263.65 c #Conflicts: 125000 | #Constraints: 40504
262.78/263.65 c #Conflicts: 126000 | #Constraints: 41504
262.78/263.65 c #Conflicts: 127000 | #Constraints: 42504
262.78/263.65 c #Conflicts: 128000 | #Constraints: 43504
262.78/263.65 c #Conflicts: 129000 | #Constraints: 44504
262.78/263.65 c #Conflicts: 130000 | #Constraints: 45504
262.78/263.65 c #Conflicts: 131000 | #Constraints: 46504
262.78/263.65 c #Conflicts: 132000 | #Constraints: 47504
262.78/263.65 c #Conflicts: 133000 | #Constraints: 48504
262.78/263.65 c #Conflicts: 134000 | #Constraints: 49504
262.78/263.65 c #Conflicts: 135000 | #Constraints: 50504
262.78/263.65 c #Conflicts: 136000 | #Constraints: 51504
262.78/263.65 c #Conflicts: 137000 | #Constraints: 52504
262.78/263.65 c INPROCESSING
262.78/263.65 c GARBAGE COLLECT
262.78/263.65 c #Conflicts: 138000 | #Constraints: 35610
262.78/263.65 c #Conflicts: 139000 | #Constraints: 36610
262.78/263.65 c #Conflicts: 140000 | #Constraints: 37610
262.78/263.65 c #Conflicts: 141000 | #Constraints: 38610
262.78/263.65 c #Conflicts: 142000 | #Constraints: 39610
262.78/263.65 c #Conflicts: 143000 | #Constraints: 40610
262.78/263.65 c #Conflicts: 144000 | #Constraints: 41610
262.78/263.65 c #Conflicts: 145000 | #Constraints: 42610
262.78/263.65 c #Conflicts: 146000 | #Constraints: 43610
262.78/263.65 c #Conflicts: 147000 | #Constraints: 44610
432.10/433.46 c INPROCESSING
432.10/433.46 c GARBAGE COLLECT
432.10/433.46 c #Conflicts: 148000 | #Constraints: 31958
432.10/433.46 c #Conflicts: 149000 | #Constraints: 32958
432.10/433.46 c #Conflicts: 150000 | #Constraints: 33958
432.10/433.46 c #Conflicts: 151000 | #Constraints: 34958
432.10/433.46 c #Conflicts: 152000 | #Constraints: 35958
432.10/433.46 c #Conflicts: 153000 | #Constraints: 36958
432.10/433.46 c #Conflicts: 154000 | #Constraints: 37958
432.10/433.46 c #Conflicts: 155000 | #Constraints: 38958
432.10/433.46 c #Conflicts: 156000 | #Constraints: 39958
432.10/433.46 c #Conflicts: 157000 | #Constraints: 40958
432.10/433.46 c #Conflicts: 158000 | #Constraints: 41958
432.10/433.46 c #Conflicts: 159000 | #Constraints: 42958
432.10/433.46 c #Conflicts: 160000 | #Constraints: 43958
432.10/433.46 c #Conflicts: 161000 | #Constraints: 44958
432.10/433.46 c #Conflicts: 162000 | #Constraints: 45958
432.10/433.46 c #Conflicts: 163000 | #Constraints: 46958
432.10/433.46 c #Conflicts: 164000 | #Constraints: 47958
432.10/433.46 c #Conflicts: 165000 | #Constraints: 48958
432.10/433.46 c #Conflicts: 166000 | #Constraints: 49958
432.10/433.46 c #Conflicts: 167000 | #Constraints: 50958
432.10/433.46 c #Conflicts: 168000 | #Constraints: 51958
432.10/433.46 c #Conflicts: 169000 | #Constraints: 52958
432.10/433.46 c #Conflicts: 170000 | #Constraints: 53958
432.10/433.46 c #Conflicts: 171000 | #Constraints: 54958
432.10/433.46 c #Conflicts: 172000 | #Constraints: 55958
432.10/433.46 c #Conflicts: 173000 | #Constraints: 56958
432.10/433.46 c #Conflicts: 174000 | #Constraints: 57958
432.10/433.46 c INPROCESSING
432.10/433.46 c GARBAGE COLLECT
432.10/433.46 c #Conflicts: 175000 | #Constraints: 38409
432.10/433.46 c #Conflicts: 176000 | #Constraints: 39409
432.10/433.46 c #Conflicts: 177000 | #Constraints: 40409
432.10/433.46 c #Conflicts: 178000 | #Constraints: 41409
432.10/433.46 c #Conflicts: 179000 | #Constraints: 42409
432.10/433.46 c #Conflicts: 180000 | #Constraints: 43409
432.10/433.46 c #Conflicts: 181000 | #Constraints: 44409
432.10/433.46 c #Conflicts: 182000 | #Constraints: 45409
432.10/433.46 c #Conflicts: 183000 | #Constraints: 46409
432.10/433.46 c #Conflicts: 184000 | #Constraints: 47409
432.10/433.46 c #Conflicts: 185000 | #Constraints: 48409
432.10/433.46 c #Conflicts: 186000 | #Constraints: 49409
432.10/433.46 c INPROCESSING
432.10/433.46 c GARBAGE COLLECT
432.10/433.46 c #Conflicts: 187000 | #Constraints: 34627
432.10/433.46 c #Conflicts: 188000 | #Constraints: 35627
432.10/433.46 c #Conflicts: 189000 | #Constraints: 36627
432.10/433.46 c #Conflicts: 190000 | #Constraints: 37627
432.10/433.46 c #Conflicts: 191000 | #Constraints: 38627
432.10/433.46 c #Conflicts: 192000 | #Constraints: 39627
432.10/433.46 c #Conflicts: 193000 | #Constraints: 40627
432.10/433.46 c #Conflicts: 194000 | #Constraints: 41627
432.10/433.46 c #Conflicts: 195000 | #Constraints: 42627
432.10/433.46 c #Conflicts: 196000 | #Constraints: 43627
432.10/433.46 c #Conflicts: 197000 | #Constraints: 44627
432.10/433.46 c #Conflicts: 198000 | #Constraints: 45627
432.10/433.46 c #Conflicts: 199000 | #Constraints: 46627
432.10/433.46 c #Conflicts: 200000 | #Constraints: 47627
432.10/433.46 c #Conflicts: 201000 | #Constraints: 48627
432.10/433.46 c #Conflicts: 202000 | #Constraints: 49627
432.10/433.46 c #Conflicts: 203000 | #Constraints: 50627
432.10/433.46 c #Conflicts: 204000 | #Constraints: 51627
432.10/433.46 c #Conflicts: 205000 | #Constraints: 52627
432.10/433.46 c #Conflicts: 206000 | #Constraints: 53627
432.10/433.46 c #Conflicts: 207000 | #Constraints: 54627
432.10/433.46 c #Conflicts: 208000 | #Constraints: 55627
432.10/433.46 c #Conflicts: 209000 | #Constraints: 56627
432.10/433.46 c #Conflicts: 210000 | #Constraints: 57627
432.10/433.46 c #Conflicts: 211000 | #Constraints: 58627
432.10/433.46 c #Conflicts: 212000 | #Constraints: 59627
432.10/433.46 c #Conflicts: 213000 | #Constraints: 60627
432.10/433.46 c #Conflicts: 214000 | #Constraints: 61627
432.10/433.46 c #Conflicts: 215000 | #Constraints: 62627
432.10/433.46 c #Conflicts: 216000 | #Constraints: 63627
432.10/433.46 c INPROCESSING
432.10/433.46 c GARBAGE COLLECT
432.10/433.46 c #Conflicts: 217000 | #Constraints: 41542
432.10/433.46 c #Conflicts: 218000 | #Constraints: 42542
432.10/433.46 c #Conflicts: 219000 | #Constraints: 43542
432.10/433.46 c #Conflicts: 220000 | #Constraints: 44542
432.10/433.46 c #Conflicts: 221000 | #Constraints: 45542
432.10/433.46 c #Conflicts: 222000 | #Constraints: 46542
432.10/433.46 c #Conflicts: 223000 | #Constraints: 47542
568.61/570.33 c #Conflicts: 224000 | #Constraints: 48542
568.61/570.33 c #Conflicts: 225000 | #Constraints: 49542
568.61/570.33 c #Conflicts: 226000 | #Constraints: 50542
568.61/570.33 c #Conflicts: 227000 | #Constraints: 51542
568.61/570.33 c #Conflicts: 228000 | #Constraints: 52542
568.61/570.33 c INPROCESSING
568.61/570.33 c GARBAGE COLLECT
568.61/570.33 c #Conflicts: 229000 | #Constraints: 35730
568.61/570.33 c #Conflicts: 230000 | #Constraints: 36730
568.61/570.33 c #Conflicts: 231000 | #Constraints: 37730
568.61/570.33 c #Conflicts: 232000 | #Constraints: 38730
568.61/570.33 c #Conflicts: 233000 | #Constraints: 39730
568.61/570.33 c #Conflicts: 234000 | #Constraints: 40730
568.61/570.33 c #Conflicts: 235000 | #Constraints: 41730
568.61/570.33 c #Conflicts: 236000 | #Constraints: 42730
568.61/570.33 c #Conflicts: 237000 | #Constraints: 43730
568.61/570.33 c #Conflicts: 238000 | #Constraints: 44730
568.61/570.33 c #Conflicts: 239000 | #Constraints: 45730
568.61/570.33 c #Conflicts: 240000 | #Constraints: 46730
568.61/570.33 c #Conflicts: 241000 | #Constraints: 47730
568.61/570.33 c #Conflicts: 242000 | #Constraints: 48730
568.61/570.33 c #Conflicts: 243000 | #Constraints: 49730
568.61/570.33 c #Conflicts: 244000 | #Constraints: 50730
568.61/570.33 c #Conflicts: 245000 | #Constraints: 51730
568.61/570.33 c #Conflicts: 246000 | #Constraints: 52730
568.61/570.33 c #Conflicts: 247000 | #Constraints: 53730
568.61/570.33 c #Conflicts: 248000 | #Constraints: 54730
568.61/570.33 c #Conflicts: 249000 | #Constraints: 55730
568.61/570.33 c #Conflicts: 250000 | #Constraints: 56730
568.61/570.33 c #Conflicts: 251000 | #Constraints: 57730
568.61/570.33 c #Conflicts: 252000 | #Constraints: 58730
568.61/570.33 c #Conflicts: 253000 | #Constraints: 59730
568.61/570.33 c #Conflicts: 254000 | #Constraints: 60730
568.61/570.33 c #Conflicts: 255000 | #Constraints: 61730
568.61/570.33 c #Conflicts: 256000 | #Constraints: 62730
568.61/570.33 c #Conflicts: 257000 | #Constraints: 63730
568.61/570.33 c #Conflicts: 258000 | #Constraints: 64730
568.61/570.33 c #Conflicts: 259000 | #Constraints: 65730
568.61/570.33 c #Conflicts: 260000 | #Constraints: 66730
568.61/570.33 c #Conflicts: 261000 | #Constraints: 67730
568.61/570.33 c #Conflicts: 262000 | #Constraints: 68730
568.61/570.33 c INPROCESSING
568.61/570.33 c GARBAGE COLLECT
568.61/570.33 c #Conflicts: 263000 | #Constraints: 44230
568.61/570.33 c #Conflicts: 264000 | #Constraints: 45230
568.61/570.33 c #Conflicts: 265000 | #Constraints: 46230
568.61/570.33 c #Conflicts: 266000 | #Constraints: 47230
568.61/570.33 c #Conflicts: 267000 | #Constraints: 48230
568.61/570.33 c #Conflicts: 268000 | #Constraints: 49230
568.61/570.33 c #Conflicts: 269000 | #Constraints: 50230
568.61/570.33 c #Conflicts: 270000 | #Constraints: 51230
568.61/570.33 c #Conflicts: 271000 | #Constraints: 52230
568.61/570.33 c #Conflicts: 272000 | #Constraints: 53230
568.61/570.33 c #Conflicts: 273000 | #Constraints: 54230
568.61/570.33 c #Conflicts: 274000 | #Constraints: 55230
568.61/570.33 c #Conflicts: 275000 | #Constraints: 56230
568.61/570.33 c #Conflicts: 276000 | #Constraints: 57230
568.61/570.33 c INPROCESSING
568.61/570.33 c GARBAGE COLLECT
568.61/570.33 c #Conflicts: 277000 | #Constraints: 38467
568.61/570.33 c #Conflicts: 278000 | #Constraints: 39467
568.61/570.33 c #Conflicts: 279000 | #Constraints: 40467
568.61/570.33 c #Conflicts: 280000 | #Constraints: 41467
568.61/570.33 c #Conflicts: 281000 | #Constraints: 42467
568.61/570.33 c #Conflicts: 282000 | #Constraints: 43467
568.61/570.33 c #Conflicts: 283000 | #Constraints: 44467
568.61/570.33 c #Conflicts: 284000 | #Constraints: 45467
568.61/570.33 c #Conflicts: 285000 | #Constraints: 46467
568.61/570.33 c #Conflicts: 286000 | #Constraints: 47467
568.61/570.33 c #Conflicts: 287000 | #Constraints: 48467
568.61/570.33 c #Conflicts: 288000 | #Constraints: 49467
568.61/570.33 c #Conflicts: 289000 | #Constraints: 50467
568.61/570.33 c #Conflicts: 290000 | #Constraints: 51467
568.61/570.33 c #Conflicts: 291000 | #Constraints: 52467
568.61/570.33 c #Conflicts: 292000 | #Constraints: 53467
568.61/570.33 c #Conflicts: 293000 | #Constraints: 54467
568.61/570.33 c #Conflicts: 294000 | #Constraints: 55467
568.61/570.33 c #Conflicts: 295000 | #Constraints: 56467
568.61/570.33 c #Conflicts: 296000 | #Constraints: 57467
568.61/570.33 c #Conflicts: 297000 | #Constraints: 58467
568.61/570.33 c #Conflicts: 298000 | #Constraints: 59467
568.61/570.33 c #Conflicts: 299000 | #Constraints: 60467
568.61/570.33 c #Conflicts: 300000 | #Constraints: 61467
793.47/795.80 c #Conflicts: 301000 | #Constraints: 62467
793.47/795.80 c #Conflicts: 302000 | #Constraints: 63467
793.47/795.80 c #Conflicts: 303000 | #Constraints: 64467
793.47/795.80 c #Conflicts: 304000 | #Constraints: 65467
793.47/795.80 c #Conflicts: 305000 | #Constraints: 66467
793.47/795.80 c #Conflicts: 306000 | #Constraints: 67467
793.47/795.80 c #Conflicts: 307000 | #Constraints: 68467
793.47/795.80 c #Conflicts: 308000 | #Constraints: 69468
793.47/795.80 c #Conflicts: 309000 | #Constraints: 70468
793.47/795.80 c #Conflicts: 310000 | #Constraints: 71468
793.47/795.80 c #Conflicts: 311000 | #Constraints: 72468
793.47/795.80 c #Conflicts: 312000 | #Constraints: 73468
793.47/795.80 c INPROCESSING
793.47/795.80 c GARBAGE COLLECT
793.47/795.80 c #Conflicts: 313000 | #Constraints: 46544
793.47/795.80 c #Conflicts: 314000 | #Constraints: 47544
793.47/795.80 c #Conflicts: 315000 | #Constraints: 48544
793.47/795.80 c #Conflicts: 316000 | #Constraints: 49544
793.47/795.80 c #Conflicts: 317000 | #Constraints: 50544
793.47/795.80 c #Conflicts: 318000 | #Constraints: 51544
793.47/795.80 c #Conflicts: 319000 | #Constraints: 52544
793.47/795.80 c #Conflicts: 320000 | #Constraints: 53544
793.47/795.80 c #Conflicts: 321000 | #Constraints: 54544
793.47/795.80 c #Conflicts: 322000 | #Constraints: 55544
793.47/795.80 c #Conflicts: 323000 | #Constraints: 56544
793.47/795.80 c #Conflicts: 324000 | #Constraints: 57544
793.47/795.80 c #Conflicts: 325000 | #Constraints: 58544
793.47/795.80 c #Conflicts: 326000 | #Constraints: 59544
793.47/795.80 c #Conflicts: 327000 | #Constraints: 60544
793.47/795.80 c INPROCESSING
793.47/795.80 c GARBAGE COLLECT
793.47/795.80 c #Conflicts: 328000 | #Constraints: 39862
793.47/795.80 c #Conflicts: 329000 | #Constraints: 40862
793.47/795.80 c #Conflicts: 330000 | #Constraints: 41862
793.47/795.80 c #Conflicts: 331000 | #Constraints: 42862
793.47/795.80 c #Conflicts: 332000 | #Constraints: 43862
793.47/795.80 c #Conflicts: 333000 | #Constraints: 44862
793.47/795.80 c #Conflicts: 334000 | #Constraints: 45862
793.47/795.80 c #Conflicts: 335000 | #Constraints: 46862
793.47/795.80 c #Conflicts: 336000 | #Constraints: 47862
793.47/795.80 c #Conflicts: 337000 | #Constraints: 48862
793.47/795.80 c #Conflicts: 338000 | #Constraints: 49862
793.47/795.80 c #Conflicts: 339000 | #Constraints: 50862
793.47/795.80 c #Conflicts: 340000 | #Constraints: 51862
793.47/795.80 c #Conflicts: 341000 | #Constraints: 52862
793.47/795.80 c #Conflicts: 342000 | #Constraints: 53862
793.47/795.80 c #Conflicts: 343000 | #Constraints: 54862
793.47/795.80 c #Conflicts: 344000 | #Constraints: 55862
793.47/795.80 c #Conflicts: 345000 | #Constraints: 56862
793.47/795.80 c #Conflicts: 346000 | #Constraints: 57862
793.47/795.80 c #Conflicts: 347000 | #Constraints: 58862
793.47/795.80 c #Conflicts: 348000 | #Constraints: 59862
793.47/795.80 c #Conflicts: 349000 | #Constraints: 60862
793.47/795.80 c #Conflicts: 350000 | #Constraints: 61862
793.47/795.80 c #Conflicts: 351000 | #Constraints: 62862
793.47/795.80 c #Conflicts: 352000 | #Constraints: 63862
793.47/795.80 c #Conflicts: 353000 | #Constraints: 64862
793.47/795.80 c #Conflicts: 354000 | #Constraints: 65862
793.47/795.80 c #Conflicts: 355000 | #Constraints: 66862
793.47/795.80 c #Conflicts: 356000 | #Constraints: 67862
793.47/795.80 c #Conflicts: 357000 | #Constraints: 68862
793.47/795.80 c #Conflicts: 358000 | #Constraints: 69862
793.47/795.80 c #Conflicts: 359000 | #Constraints: 70862
793.47/795.80 c #Conflicts: 360000 | #Constraints: 71862
793.47/795.80 c #Conflicts: 361000 | #Constraints: 72862
793.47/795.80 c #Conflicts: 362000 | #Constraints: 73862
793.47/795.80 c #Conflicts: 363000 | #Constraints: 74862
793.47/795.80 c #Conflicts: 364000 | #Constraints: 75862
793.47/795.80 c #Conflicts: 365000 | #Constraints: 76862
793.47/795.80 c #Conflicts: 366000 | #Constraints: 77862
793.47/795.80 c #Conflicts: 367000 | #Constraints: 78862
793.47/795.80 c INPROCESSING
793.47/795.80 c GARBAGE COLLECT
793.47/795.80 c #Conflicts: 368000 | #Constraints: 49220
793.47/795.80 c #Conflicts: 369000 | #Constraints: 50220
793.47/795.80 c #Conflicts: 370000 | #Constraints: 51220
793.47/795.80 c #Conflicts: 371000 | #Constraints: 52220
793.47/795.80 c #Conflicts: 372000 | #Constraints: 53220
793.47/795.80 c #Conflicts: 373000 | #Constraints: 54220
793.47/795.80 c #Conflicts: 374000 | #Constraints: 55220
793.47/795.80 c #Conflicts: 375000 | #Constraints: 56220
793.47/795.80 c #Conflicts: 376000 | #Constraints: 57220
793.47/795.80 c #Conflicts: 377000 | #Constraints: 58220
962.60/965.51 c #Conflicts: 378000 | #Constraints: 59220
962.60/965.51 c #Conflicts: 379000 | #Constraints: 60220
962.60/965.51 c #Conflicts: 380000 | #Constraints: 61220
962.60/965.51 c #Conflicts: 381000 | #Constraints: 62220
962.60/965.51 c #Conflicts: 382000 | #Constraints: 63220
962.60/965.51 c #Conflicts: 383000 | #Constraints: 64220
962.60/965.51 c INPROCESSING
962.60/965.51 c GARBAGE COLLECT
962.60/965.51 c #Conflicts: 384000 | #Constraints: 41796
962.60/965.51 c #Conflicts: 385000 | #Constraints: 42796
962.60/965.51 c #Conflicts: 386000 | #Constraints: 43796
962.60/965.51 c #Conflicts: 387000 | #Constraints: 44796
962.60/965.51 c #Conflicts: 388000 | #Constraints: 45796
962.60/965.51 c #Conflicts: 389000 | #Constraints: 46796
962.60/965.51 c #Conflicts: 390000 | #Constraints: 47796
962.60/965.51 c #Conflicts: 391000 | #Constraints: 48796
962.60/965.51 c #Conflicts: 392000 | #Constraints: 49796
962.60/965.51 c #Conflicts: 393000 | #Constraints: 50796
962.60/965.51 c #Conflicts: 394000 | #Constraints: 51796
962.60/965.51 c #Conflicts: 395000 | #Constraints: 52796
962.60/965.51 c #Conflicts: 396000 | #Constraints: 53796
962.60/965.51 c #Conflicts: 397000 | #Constraints: 54796
962.60/965.51 c #Conflicts: 398000 | #Constraints: 55796
962.60/965.51 c #Conflicts: 399000 | #Constraints: 56796
962.60/965.51 c #Conflicts: 400000 | #Constraints: 57796
962.60/965.51 c #Conflicts: 401000 | #Constraints: 58796
962.60/965.51 c #Conflicts: 402000 | #Constraints: 59796
962.60/965.51 c #Conflicts: 403000 | #Constraints: 60796
962.60/965.51 c #Conflicts: 404000 | #Constraints: 61796
962.60/965.51 c #Conflicts: 405000 | #Constraints: 62796
962.60/965.51 c #Conflicts: 406000 | #Constraints: 63796
962.60/965.51 c #Conflicts: 407000 | #Constraints: 64796
962.60/965.51 c #Conflicts: 408000 | #Constraints: 65796
962.60/965.51 c #Conflicts: 409000 | #Constraints: 66796
962.60/965.51 c #Conflicts: 410000 | #Constraints: 67796
962.60/965.51 c #Conflicts: 411000 | #Constraints: 68796
962.60/965.51 c #Conflicts: 412000 | #Constraints: 69796
962.60/965.51 c #Conflicts: 413000 | #Constraints: 70796
962.60/965.51 c #Conflicts: 414000 | #Constraints: 71796
962.60/965.51 c #Conflicts: 415000 | #Constraints: 72796
962.60/965.51 c #Conflicts: 416000 | #Constraints: 73796
962.60/965.51 c #Conflicts: 417000 | #Constraints: 74796
962.60/965.51 c #Conflicts: 418000 | #Constraints: 75796
962.60/965.51 c #Conflicts: 419000 | #Constraints: 76796
962.60/965.51 c #Conflicts: 420000 | #Constraints: 77796
962.60/965.51 c #Conflicts: 421000 | #Constraints: 78796
962.60/965.51 c #Conflicts: 422000 | #Constraints: 79796
962.60/965.51 c #Conflicts: 423000 | #Constraints: 80796
962.60/965.51 c #Conflicts: 424000 | #Constraints: 81796
962.60/965.51 c #Conflicts: 425000 | #Constraints: 82796
962.60/965.51 c #Conflicts: 426000 | #Constraints: 83796
962.60/965.51 c INPROCESSING
962.60/965.51 c GARBAGE COLLECT
962.60/965.51 c #Conflicts: 427000 | #Constraints: 51808
962.60/965.51 c #Conflicts: 428000 | #Constraints: 52808
962.60/965.51 c #Conflicts: 429000 | #Constraints: 53808
962.60/965.51 c #Conflicts: 430000 | #Constraints: 54808
962.60/965.51 c #Conflicts: 431000 | #Constraints: 55808
962.60/965.51 c #Conflicts: 432000 | #Constraints: 56808
962.60/965.51 c #Conflicts: 433000 | #Constraints: 57808
962.60/965.51 c #Conflicts: 434000 | #Constraints: 58808
962.60/965.51 c #Conflicts: 435000 | #Constraints: 59808
962.60/965.51 c #Conflicts: 436000 | #Constraints: 60808
962.60/965.51 c #Conflicts: 437000 | #Constraints: 61808
962.60/965.51 c #Conflicts: 438000 | #Constraints: 62808
962.60/965.51 c #Conflicts: 439000 | #Constraints: 63808
962.60/965.51 c #Conflicts: 440000 | #Constraints: 64808
962.60/965.51 c #Conflicts: 441000 | #Constraints: 65808
962.60/965.51 c #Conflicts: 442000 | #Constraints: 66808
962.60/965.51 c #Conflicts: 443000 | #Constraints: 67808
962.60/965.51 c #Conflicts: 444000 | #Constraints: 68808
962.60/965.51 c INPROCESSING
962.60/965.51 c GARBAGE COLLECT
962.60/965.51 c #Conflicts: 445000 | #Constraints: 44529
962.60/965.51 c #Conflicts: 446000 | #Constraints: 45529
962.60/965.51 c #Conflicts: 447000 | #Constraints: 46529
962.60/965.51 c #Conflicts: 448000 | #Constraints: 47529
962.60/965.51 c #Conflicts: 449000 | #Constraints: 48529
962.60/965.51 c #Conflicts: 450000 | #Constraints: 49529
962.60/965.51 c #Conflicts: 451000 | #Constraints: 50529
962.60/965.51 c #Conflicts: 452000 | #Constraints: 51529
962.60/965.51 c #Conflicts: 453000 | #Constraints: 52529
962.60/965.51 c #Conflicts: 454000 | #Constraints: 53529
1183.08/1186.64 c #Conflicts: 455000 | #Constraints: 54529
1183.08/1186.64 c #Conflicts: 456000 | #Constraints: 55529
1183.08/1186.64 c #Conflicts: 457000 | #Constraints: 56529
1183.08/1186.64 c #Conflicts: 458000 | #Constraints: 57529
1183.08/1186.64 c #Conflicts: 459000 | #Constraints: 58529
1183.08/1186.64 c #Conflicts: 460000 | #Constraints: 59529
1183.08/1186.64 c #Conflicts: 461000 | #Constraints: 60529
1183.08/1186.64 c #Conflicts: 462000 | #Constraints: 61529
1183.08/1186.64 c #Conflicts: 463000 | #Constraints: 62529
1183.08/1186.64 c #Conflicts: 464000 | #Constraints: 63529
1183.08/1186.64 c #Conflicts: 465000 | #Constraints: 64529
1183.08/1186.64 c #Conflicts: 466000 | #Constraints: 65529
1183.08/1186.64 c #Conflicts: 467000 | #Constraints: 66529
1183.08/1186.64 c #Conflicts: 468000 | #Constraints: 67529
1183.08/1186.64 c #Conflicts: 469000 | #Constraints: 68529
1183.08/1186.64 c #Conflicts: 470000 | #Constraints: 69529
1183.08/1186.64 c #Conflicts: 471000 | #Constraints: 70529
1183.08/1186.64 c #Conflicts: 472000 | #Constraints: 71529
1183.08/1186.64 c #Conflicts: 473000 | #Constraints: 72529
1183.08/1186.64 c #Conflicts: 474000 | #Constraints: 73529
1183.08/1186.64 c #Conflicts: 475000 | #Constraints: 74529
1183.08/1186.64 c #Conflicts: 476000 | #Constraints: 75529
1183.08/1186.64 c #Conflicts: 477000 | #Constraints: 76529
1183.08/1186.64 c #Conflicts: 478000 | #Constraints: 77529
1183.08/1186.64 c #Conflicts: 479000 | #Constraints: 78529
1183.08/1186.64 c #Conflicts: 480000 | #Constraints: 79529
1183.08/1186.64 c #Conflicts: 481000 | #Constraints: 80529
1183.08/1186.64 c #Conflicts: 482000 | #Constraints: 81529
1183.08/1186.64 c #Conflicts: 483000 | #Constraints: 82529
1183.08/1186.64 c #Conflicts: 484000 | #Constraints: 83529
1183.08/1186.64 c #Conflicts: 485000 | #Constraints: 84529
1183.08/1186.64 c #Conflicts: 486000 | #Constraints: 85529
1183.08/1186.64 c #Conflicts: 487000 | #Constraints: 86529
1183.08/1186.64 c #Conflicts: 488000 | #Constraints: 87529
1183.08/1186.64 c #Conflicts: 489000 | #Constraints: 88529
1183.08/1186.64 c INPROCESSING
1183.08/1186.64 c GARBAGE COLLECT
1183.08/1186.64 c #Conflicts: 490000 | #Constraints: 53957
1183.08/1186.64 c #Conflicts: 491000 | #Constraints: 54957
1183.08/1186.64 c #Conflicts: 492000 | #Constraints: 55957
1183.08/1186.64 c #Conflicts: 493000 | #Constraints: 56957
1183.08/1186.64 c #Conflicts: 494000 | #Constraints: 57957
1183.08/1186.64 c #Conflicts: 495000 | #Constraints: 58957
1183.08/1186.64 c #Conflicts: 496000 | #Constraints: 59957
1183.08/1186.64 c #Conflicts: 497000 | #Constraints: 60957
1183.08/1186.64 c #Conflicts: 498000 | #Constraints: 61957
1183.08/1186.64 c #Conflicts: 499000 | #Constraints: 62957
1183.08/1186.64 c #Conflicts: 500000 | #Constraints: 63957
1183.08/1186.64 c #Conflicts: 501000 | #Constraints: 64957
1183.08/1186.64 c #Conflicts: 502000 | #Constraints: 65957
1183.08/1186.64 c #Conflicts: 503000 | #Constraints: 66957
1183.08/1186.64 c #Conflicts: 504000 | #Constraints: 67957
1183.08/1186.64 c #Conflicts: 505000 | #Constraints: 68957
1183.08/1186.64 c #Conflicts: 506000 | #Constraints: 69957
1183.08/1186.64 c #Conflicts: 507000 | #Constraints: 70957
1183.08/1186.64 c #Conflicts: 508000 | #Constraints: 71957
1183.08/1186.64 c INPROCESSING
1183.08/1186.64 c GARBAGE COLLECT
1183.08/1186.64 c #Conflicts: 509000 | #Constraints: 45650
1183.08/1186.64 c #Conflicts: 510000 | #Constraints: 46650
1183.08/1186.64 c #Conflicts: 511000 | #Constraints: 47650
1183.08/1186.64 c #Conflicts: 512000 | #Constraints: 48650
1183.08/1186.64 c #Conflicts: 513000 | #Constraints: 49650
1183.08/1186.64 c #Conflicts: 514000 | #Constraints: 50650
1183.08/1186.64 c #Conflicts: 515000 | #Constraints: 51650
1183.08/1186.64 c #Conflicts: 516000 | #Constraints: 52650
1183.08/1186.64 c #Conflicts: 517000 | #Constraints: 53650
1183.08/1186.64 c #Conflicts: 518000 | #Constraints: 54650
1183.08/1186.64 c #Conflicts: 519000 | #Constraints: 55650
1183.08/1186.64 c #Conflicts: 520000 | #Constraints: 56650
1183.08/1186.64 c #Conflicts: 521000 | #Constraints: 57650
1183.08/1186.64 c #Conflicts: 522000 | #Constraints: 58650
1183.08/1186.64 c #Conflicts: 523000 | #Constraints: 59650
1183.08/1186.64 c #Conflicts: 524000 | #Constraints: 60650
1183.08/1186.64 c #Conflicts: 525000 | #Constraints: 61650
1183.08/1186.64 c #Conflicts: 526000 | #Constraints: 62650
1183.08/1186.64 c #Conflicts: 527000 | #Constraints: 63650
1183.08/1186.64 c #Conflicts: 528000 | #Constraints: 64650
1183.08/1186.64 c INPROCESSING
1183.08/1186.64 c GARBAGE COLLECT
1183.08/1186.64 c #Conflicts: 529000 | #Constraints: 45107
1183.08/1186.64 c #Conflicts: 530000 | #Constraints: 46107
1183.08/1186.64 c #Conflicts: 531000 | #Constraints: 47107
1433.69/1437.91 c #Conflicts: 532000 | #Constraints: 48107
1433.69/1437.91 c #Conflicts: 533000 | #Constraints: 49107
1433.69/1437.91 c #Conflicts: 534000 | #Constraints: 50107
1433.69/1437.91 c #Conflicts: 535000 | #Constraints: 51107
1433.69/1437.91 c #Conflicts: 536000 | #Constraints: 52107
1433.69/1437.91 c #Conflicts: 537000 | #Constraints: 53107
1433.69/1437.91 c #Conflicts: 538000 | #Constraints: 54107
1433.69/1437.91 c #Conflicts: 539000 | #Constraints: 55107
1433.69/1437.91 c #Conflicts: 540000 | #Constraints: 56107
1433.69/1437.91 c #Conflicts: 541000 | #Constraints: 57107
1433.69/1437.91 c #Conflicts: 542000 | #Constraints: 58107
1433.69/1437.91 c #Conflicts: 543000 | #Constraints: 59107
1433.69/1437.91 c #Conflicts: 544000 | #Constraints: 60107
1433.69/1437.91 c #Conflicts: 545000 | #Constraints: 61107
1433.69/1437.91 c #Conflicts: 546000 | #Constraints: 62107
1433.69/1437.91 c #Conflicts: 547000 | #Constraints: 63107
1433.69/1437.91 c #Conflicts: 548000 | #Constraints: 64107
1433.69/1437.91 c #Conflicts: 549000 | #Constraints: 65107
1433.69/1437.91 c #Conflicts: 550000 | #Constraints: 66107
1433.69/1437.91 c #Conflicts: 551000 | #Constraints: 67107
1433.69/1437.91 c #Conflicts: 552000 | #Constraints: 68107
1433.69/1437.91 c #Conflicts: 553000 | #Constraints: 69107
1433.69/1437.91 c #Conflicts: 554000 | #Constraints: 70107
1433.69/1437.91 c #Conflicts: 555000 | #Constraints: 71107
1433.69/1437.91 c #Conflicts: 556000 | #Constraints: 72107
1433.69/1437.91 c #Conflicts: 557000 | #Constraints: 73107
1433.69/1437.91 c #Conflicts: 558000 | #Constraints: 74107
1433.69/1437.91 c #Conflicts: 559000 | #Constraints: 75107
1433.69/1437.91 c #Conflicts: 560000 | #Constraints: 76107
1433.69/1437.91 c #Conflicts: 561000 | #Constraints: 77107
1433.69/1437.91 c #Conflicts: 562000 | #Constraints: 78107
1433.69/1437.91 c #Conflicts: 563000 | #Constraints: 79107
1433.69/1437.91 c #Conflicts: 564000 | #Constraints: 80107
1433.69/1437.91 c #Conflicts: 565000 | #Constraints: 81107
1433.69/1437.91 c #Conflicts: 566000 | #Constraints: 82107
1433.69/1437.91 c #Conflicts: 567000 | #Constraints: 83107
1433.69/1437.91 c #Conflicts: 568000 | #Constraints: 84107
1433.69/1437.91 c #Conflicts: 569000 | #Constraints: 85107
1433.69/1437.91 c #Conflicts: 570000 | #Constraints: 86107
1433.69/1437.91 c #Conflicts: 571000 | #Constraints: 87107
1433.69/1437.91 c #Conflicts: 572000 | #Constraints: 88107
1433.69/1437.91 c #Conflicts: 573000 | #Constraints: 89107
1433.69/1437.91 c #Conflicts: 574000 | #Constraints: 90107
1433.69/1437.91 c #Conflicts: 575000 | #Constraints: 91107
1433.69/1437.91 c #Conflicts: 576000 | #Constraints: 92107
1433.69/1437.91 c #Conflicts: 577000 | #Constraints: 93107
1433.69/1437.91 c #Conflicts: 578000 | #Constraints: 94107
1433.69/1437.91 c INPROCESSING
1433.69/1437.91 c GARBAGE COLLECT
1433.69/1437.91 c #Conflicts: 579000 | #Constraints: 57289
1433.69/1437.91 c #Conflicts: 580000 | #Constraints: 58289
1433.69/1437.91 c #Conflicts: 581000 | #Constraints: 59289
1433.69/1437.91 c #Conflicts: 582000 | #Constraints: 60289
1433.69/1437.91 c #Conflicts: 583000 | #Constraints: 61289
1433.69/1437.91 c #Conflicts: 584000 | #Constraints: 62289
1433.69/1437.91 c #Conflicts: 585000 | #Constraints: 63289
1433.69/1437.91 c #Conflicts: 586000 | #Constraints: 64289
1433.69/1437.91 c #Conflicts: 587000 | #Constraints: 65289
1433.69/1437.91 c #Conflicts: 588000 | #Constraints: 66289
1433.69/1437.91 c #Conflicts: 589000 | #Constraints: 67289
1433.69/1437.91 c #Conflicts: 590000 | #Constraints: 68289
1433.69/1437.91 c #Conflicts: 591000 | #Constraints: 69289
1433.69/1437.91 c #Conflicts: 592000 | #Constraints: 70289
1433.69/1437.91 c #Conflicts: 593000 | #Constraints: 71289
1433.69/1437.91 c #Conflicts: 594000 | #Constraints: 72289
1433.69/1437.91 c #Conflicts: 595000 | #Constraints: 73289
1433.69/1437.91 c #Conflicts: 596000 | #Constraints: 74289
1433.69/1437.91 c #Conflicts: 597000 | #Constraints: 75289
1433.69/1437.91 c #Conflicts: 598000 | #Constraints: 76289
1433.69/1437.91 c INPROCESSING
1433.69/1437.91 c GARBAGE COLLECT
1433.69/1437.91 c #Conflicts: 599000 | #Constraints: 48135
1433.69/1437.91 c #Conflicts: 600000 | #Constraints: 49135
1433.69/1437.91 c #Conflicts: 601000 | #Constraints: 50135
1433.69/1437.91 c #Conflicts: 602000 | #Constraints: 51135
1433.69/1437.91 c #Conflicts: 603000 | #Constraints: 52135
1433.69/1437.91 c #Conflicts: 604000 | #Constraints: 53135
1433.69/1437.91 c #Conflicts: 605000 | #Constraints: 54135
1433.69/1437.91 c #Conflicts: 606000 | #Constraints: 55135
1433.69/1437.91 c #Conflicts: 607000 | #Constraints: 56135
1433.69/1437.91 c #Conflicts: 608000 | #Constraints: 57135
1595.26/1599.93 c #Conflicts: 609000 | #Constraints: 58135
1595.26/1599.93 c #Conflicts: 610000 | #Constraints: 59135
1595.26/1599.93 c #Conflicts: 611000 | #Constraints: 60135
1595.26/1599.93 c #Conflicts: 612000 | #Constraints: 61135
1595.26/1599.93 c #Conflicts: 613000 | #Constraints: 62135
1595.26/1599.93 c #Conflicts: 614000 | #Constraints: 63135
1595.26/1599.93 c #Conflicts: 615000 | #Constraints: 64135
1595.26/1599.93 c #Conflicts: 616000 | #Constraints: 65135
1595.26/1599.93 c #Conflicts: 617000 | #Constraints: 66135
1595.26/1599.93 c #Conflicts: 618000 | #Constraints: 67135
1595.26/1599.93 c #Conflicts: 619000 | #Constraints: 68135
1595.26/1599.93 c INPROCESSING
1595.26/1599.93 c GARBAGE COLLECT
1595.26/1599.93 c #Conflicts: 620000 | #Constraints: 47525
1595.26/1599.93 c #Conflicts: 621000 | #Constraints: 48525
1595.26/1599.93 c #Conflicts: 622000 | #Constraints: 49525
1595.26/1599.93 c #Conflicts: 623000 | #Constraints: 50525
1595.26/1599.93 c #Conflicts: 624000 | #Constraints: 51525
1595.26/1599.93 c #Conflicts: 625000 | #Constraints: 52525
1595.26/1599.93 c #Conflicts: 626000 | #Constraints: 53525
1595.26/1599.93 c #Conflicts: 627000 | #Constraints: 54525
1595.26/1599.93 c #Conflicts: 628000 | #Constraints: 55525
1595.26/1599.93 c #Conflicts: 629000 | #Constraints: 56525
1595.26/1599.93 c #Conflicts: 630000 | #Constraints: 57525
1595.26/1599.93 c #Conflicts: 631000 | #Constraints: 58525
1595.26/1599.93 c #Conflicts: 632000 | #Constraints: 59525
1595.26/1599.93 c #Conflicts: 633000 | #Constraints: 60525
1595.26/1599.93 c #Conflicts: 634000 | #Constraints: 61525
1595.26/1599.93 c #Conflicts: 635000 | #Constraints: 62525
1595.26/1599.93 c #Conflicts: 636000 | #Constraints: 63525
1595.26/1599.93 c #Conflicts: 637000 | #Constraints: 64525
1595.26/1599.93 c #Conflicts: 638000 | #Constraints: 65525
1595.26/1599.93 c #Conflicts: 639000 | #Constraints: 66525
1595.26/1599.93 c #Conflicts: 640000 | #Constraints: 67525
1595.26/1599.93 c #Conflicts: 641000 | #Constraints: 68525
1595.26/1599.93 c #Conflicts: 642000 | #Constraints: 69525
1595.26/1599.93 c #Conflicts: 643000 | #Constraints: 70525
1595.26/1599.93 c #Conflicts: 644000 | #Constraints: 71525
1595.26/1599.93 c #Conflicts: 645000 | #Constraints: 72525
1595.26/1599.93 c #Conflicts: 646000 | #Constraints: 73525
1595.26/1599.93 c #Conflicts: 647000 | #Constraints: 74525
1595.26/1599.93 c #Conflicts: 648000 | #Constraints: 75525
1595.26/1599.93 c #Conflicts: 649000 | #Constraints: 76525
1595.26/1599.93 c #Conflicts: 650000 | #Constraints: 77525
1595.26/1599.93 c #Conflicts: 651000 | #Constraints: 78525
1595.26/1599.93 c #Conflicts: 652000 | #Constraints: 79525
1595.26/1599.93 c #Conflicts: 653000 | #Constraints: 80525
1595.26/1599.93 c #Conflicts: 654000 | #Constraints: 81525
1595.26/1599.93 c #Conflicts: 655000 | #Constraints: 82525
1595.26/1599.93 c #Conflicts: 656000 | #Constraints: 83525
1595.26/1599.93 c #Conflicts: 657000 | #Constraints: 84525
1595.26/1599.93 c #Conflicts: 658000 | #Constraints: 85525
1595.26/1599.93 c #Conflicts: 659000 | #Constraints: 86525
1595.26/1599.93 c #Conflicts: 660000 | #Constraints: 87525
1595.26/1599.93 c #Conflicts: 661000 | #Constraints: 88525
1595.26/1599.93 c #Conflicts: 662000 | #Constraints: 89525
1595.26/1599.93 c #Conflicts: 663000 | #Constraints: 90525
1595.26/1599.93 c #Conflicts: 664000 | #Constraints: 91525
1595.26/1599.93 c #Conflicts: 665000 | #Constraints: 92525
1595.26/1599.93 c #Conflicts: 666000 | #Constraints: 93525
1595.26/1599.93 c #Conflicts: 667000 | #Constraints: 94525
1595.26/1599.93 c #Conflicts: 668000 | #Constraints: 95525
1595.26/1599.93 c #Conflicts: 669000 | #Constraints: 96525
1595.26/1599.93 c #Conflicts: 670000 | #Constraints: 97525
1595.26/1599.93 c #Conflicts: 671000 | #Constraints: 98525
1595.26/1599.93 c #Conflicts: 672000 | #Constraints: 99525
1595.26/1599.93 c #Conflicts: 673000 | #Constraints: 100525
1595.26/1599.93 c INPROCESSING
1595.26/1599.93 c GARBAGE COLLECT
1595.26/1599.93 c #Conflicts: 674000 | #Constraints: 60295
1595.26/1599.93 c #Conflicts: 675000 | #Constraints: 61295
1595.26/1599.93 c #Conflicts: 676000 | #Constraints: 62295
1595.26/1599.93 c #Conflicts: 677000 | #Constraints: 63295
1595.26/1599.93 c #Conflicts: 678000 | #Constraints: 64295
1595.26/1599.93 c #Conflicts: 679000 | #Constraints: 65295
1595.26/1599.93 c #Conflicts: 680000 | #Constraints: 66295
1595.26/1599.93 c #Conflicts: 681000 | #Constraints: 67295
1595.26/1599.93 c #Conflicts: 682000 | #Constraints: 68295
1595.26/1599.93 c #Conflicts: 683000 | #Constraints: 69295
1595.26/1599.93 c #Conflicts: 684000 | #Constraints: 70295
1595.26/1599.93 c #Conflicts: 685000 | #Constraints: 71295
1595.26/1599.93 c #Conflicts: 686000 | #Constraints: 72295
1801.29/1806.56 c #Conflicts: 687000 | #Constraints: 73295
1801.29/1806.56 c #Conflicts: 688000 | #Constraints: 74295
1801.29/1806.56 c #Conflicts: 689000 | #Constraints: 75295
1801.29/1806.56 c #Conflicts: 690000 | #Constraints: 76295
1801.29/1806.56 c #Conflicts: 691000 | #Constraints: 77295
1801.29/1806.56 c #Conflicts: 692000 | #Constraints: 78295
1801.29/1806.56 c #Conflicts: 693000 | #Constraints: 79295
1801.29/1806.56 c #Conflicts: 694000 | #Constraints: 80295
1801.29/1806.56 c #Conflicts: 695000 | #Constraints: 81295
1801.29/1806.56 c INPROCESSING
1801.29/1806.56 c GARBAGE COLLECT
1801.29/1806.56 c #Conflicts: 696000 | #Constraints: 50419
1801.29/1806.56 c #Conflicts: 697000 | #Constraints: 51419
1801.29/1806.56 c #Conflicts: 698000 | #Constraints: 52419
1801.29/1806.56 c #Conflicts: 699000 | #Constraints: 53419
1801.29/1806.56 c #Conflicts: 700000 | #Constraints: 54419
1801.29/1806.56 c #Conflicts: 701000 | #Constraints: 55419
1801.29/1806.56 c #Conflicts: 702000 | #Constraints: 56419
1801.29/1806.56 c #Conflicts: 703000 | #Constraints: 57419
1801.29/1806.56 c #Conflicts: 704000 | #Constraints: 58419
1801.29/1806.56 c #Conflicts: 705000 | #Constraints: 59419
1801.29/1806.56 c #Conflicts: 706000 | #Constraints: 60419
1801.29/1806.56 c #Conflicts: 707000 | #Constraints: 61419
1801.29/1806.56 c #Conflicts: 708000 | #Constraints: 62419
1801.29/1806.56 c #Conflicts: 709000 | #Constraints: 63419
1801.29/1806.56 c #Conflicts: 710000 | #Constraints: 64419
1801.29/1806.56 c #Conflicts: 711000 | #Constraints: 65419
1801.29/1806.56 c #Conflicts: 712000 | #Constraints: 66419
1801.29/1806.56 c #Conflicts: 713000 | #Constraints: 67419
1801.29/1806.56 c #Conflicts: 714000 | #Constraints: 68419
1801.29/1806.56 c #Conflicts: 715000 | #Constraints: 69419
1801.29/1806.56 c #Conflicts: 716000 | #Constraints: 70419
1801.29/1806.56 c #Conflicts: 717000 | #Constraints: 71419
1801.29/1806.56 c #Conflicts: 718000 | #Constraints: 72419
1801.29/1806.56 c #Conflicts: 719000 | #Constraints: 73419
1801.29/1806.56 c #Conflicts: 720000 | #Constraints: 74419
1801.29/1806.56 c #Conflicts: 721000 | #Constraints: 75419
1801.29/1806.56 c #Conflicts: 722000 | #Constraints: 76419
1801.29/1806.56 c #Conflicts: 723000 | #Constraints: 77419
1801.29/1806.56 c #Conflicts: 724000 | #Constraints: 78419
1801.29/1806.56 c #Conflicts: 725000 | #Constraints: 79419
1801.29/1806.56 c #Conflicts: 726000 | #Constraints: 80419
1801.29/1806.56 c #Conflicts: 727000 | #Constraints: 81419
1801.29/1806.56 c #Conflicts: 728000 | #Constraints: 82419
1801.29/1806.56 c #Conflicts: 729000 | #Constraints: 83419
1801.29/1806.56 c #Conflicts: 730000 | #Constraints: 84419
1801.29/1806.56 c #Conflicts: 731000 | #Constraints: 85419
1801.29/1806.56 c #Conflicts: 732000 | #Constraints: 86419
1801.29/1806.56 c #Conflicts: 733000 | #Constraints: 87419
1801.29/1806.56 c #Conflicts: 734000 | #Constraints: 88419
1801.29/1806.56 c #Conflicts: 735000 | #Constraints: 89419
1801.29/1806.56 c #Conflicts: 736000 | #Constraints: 90419
1801.29/1806.56 c #Conflicts: 737000 | #Constraints: 91419
1801.29/1806.56 c #Conflicts: 738000 | #Constraints: 92419
1801.29/1806.56 c #Conflicts: 739000 | #Constraints: 93419
1801.29/1806.56 c #Conflicts: 740000 | #Constraints: 94419
1801.29/1806.56 c #Conflicts: 741000 | #Constraints: 95419
1801.29/1806.56 c #Conflicts: 742000 | #Constraints: 96419
1801.29/1806.56 c #Conflicts: 743000 | #Constraints: 97419
1801.29/1806.56 c #Conflicts: 744000 | #Constraints: 98419
1801.29/1806.56 c #Conflicts: 745000 | #Constraints: 99419
1801.29/1806.56 c #Conflicts: 746000 | #Constraints: 100419
1801.29/1806.56 c #Conflicts: 747000 | #Constraints: 101419
1801.29/1806.56 c #Conflicts: 748000 | #Constraints: 102419
1801.29/1806.56 c #Conflicts: 749000 | #Constraints: 103419
1801.29/1806.56 c #Conflicts: 750000 | #Constraints: 104419
1801.29/1806.56 c #Conflicts: 751000 | #Constraints: 105419
1801.29/1806.56 c #Conflicts: 752000 | #Constraints: 106419
1801.29/1806.56 c INPROCESSING
1801.29/1806.56 c GARBAGE COLLECT
1801.29/1806.56 c #Conflicts: 753000 | #Constraints: 63126
1801.29/1806.56 c #Conflicts: 754000 | #Constraints: 64126
1801.29/1806.56 c #Conflicts: 755000 | #Constraints: 65126
1801.29/1806.56 c #Conflicts: 756000 | #Constraints: 66126
1801.29/1806.56 c #Conflicts: 757000 | #Constraints: 67126
1801.29/1806.56 c #Conflicts: 758000 | #Constraints: 68126
1801.29/1806.56 c #Conflicts: 759000 | #Constraints: 69126
1801.29/1806.56 c #Conflicts: 760000 | #Constraints: 70126
1801.29/1806.56 c #Conflicts: 761000 | #Constraints: 71126
1801.29/1806.56 c #Conflicts: 762000 | #Constraints: 72126
1801.29/1806.56 c #Conflicts: 763000 | #Constraints: 73126
2011.34/2017.16 c #Conflicts: 764000 | #Constraints: 74126
2011.34/2017.16 c #Conflicts: 765000 | #Constraints: 75126
2011.34/2017.16 c #Conflicts: 766000 | #Constraints: 76126
2011.34/2017.16 c #Conflicts: 767000 | #Constraints: 77126
2011.34/2017.16 c #Conflicts: 768000 | #Constraints: 78126
2011.34/2017.16 c #Conflicts: 769000 | #Constraints: 79126
2011.34/2017.16 c #Conflicts: 770000 | #Constraints: 80126
2011.34/2017.16 c #Conflicts: 771000 | #Constraints: 81126
2011.34/2017.16 c #Conflicts: 772000 | #Constraints: 82126
2011.34/2017.16 c #Conflicts: 773000 | #Constraints: 83126
2011.34/2017.16 c #Conflicts: 774000 | #Constraints: 84126
2011.34/2017.16 c #Conflicts: 775000 | #Constraints: 85126
2011.34/2017.16 c #Conflicts: 776000 | #Constraints: 86126
2011.34/2017.16 c INPROCESSING
2011.34/2017.16 c GARBAGE COLLECT
2011.34/2017.16 c #Conflicts: 777000 | #Constraints: 53246
2011.34/2017.16 c #Conflicts: 778000 | #Constraints: 54246
2011.34/2017.16 c #Conflicts: 779000 | #Constraints: 55246
2011.34/2017.16 c #Conflicts: 780000 | #Constraints: 56246
2011.34/2017.16 c #Conflicts: 781000 | #Constraints: 57246
2011.34/2017.16 c #Conflicts: 782000 | #Constraints: 58246
2011.34/2017.16 c #Conflicts: 783000 | #Constraints: 59246
2011.34/2017.16 c #Conflicts: 784000 | #Constraints: 60246
2011.34/2017.16 c #Conflicts: 785000 | #Constraints: 61246
2011.34/2017.16 c #Conflicts: 786000 | #Constraints: 62246
2011.34/2017.16 c #Conflicts: 787000 | #Constraints: 63246
2011.34/2017.16 c #Conflicts: 788000 | #Constraints: 64246
2011.34/2017.16 c #Conflicts: 789000 | #Constraints: 65246
2011.34/2017.16 c #Conflicts: 790000 | #Constraints: 66246
2011.34/2017.16 c #Conflicts: 791000 | #Constraints: 67246
2011.34/2017.16 c #Conflicts: 792000 | #Constraints: 68246
2011.34/2017.16 c #Conflicts: 793000 | #Constraints: 69246
2011.34/2017.16 c #Conflicts: 794000 | #Constraints: 70246
2011.34/2017.16 c #Conflicts: 795000 | #Constraints: 71246
2011.34/2017.16 c #Conflicts: 796000 | #Constraints: 72246
2011.34/2017.16 c #Conflicts: 797000 | #Constraints: 73246
2011.34/2017.16 c #Conflicts: 798000 | #Constraints: 74246
2011.34/2017.16 c #Conflicts: 799000 | #Constraints: 75246
2011.34/2017.16 c #Conflicts: 800000 | #Constraints: 76246
2011.34/2017.16 c #Conflicts: 801000 | #Constraints: 77246
2011.34/2017.16 c #Conflicts: 802000 | #Constraints: 78246
2011.34/2017.16 c #Conflicts: 803000 | #Constraints: 79246
2011.34/2017.16 c #Conflicts: 804000 | #Constraints: 80246
2011.34/2017.16 c #Conflicts: 805000 | #Constraints: 81246
2011.34/2017.16 c #Conflicts: 806000 | #Constraints: 82246
2011.34/2017.16 c #Conflicts: 807000 | #Constraints: 83246
2011.34/2017.16 c #Conflicts: 808000 | #Constraints: 84246
2011.34/2017.16 c #Conflicts: 809000 | #Constraints: 85246
2011.34/2017.16 c #Conflicts: 810000 | #Constraints: 86246
2011.34/2017.16 c #Conflicts: 811000 | #Constraints: 87246
2011.34/2017.16 c #Conflicts: 812000 | #Constraints: 88246
2011.34/2017.16 c #Conflicts: 813000 | #Constraints: 89246
2011.34/2017.16 c #Conflicts: 814000 | #Constraints: 90246
2011.34/2017.16 c #Conflicts: 815000 | #Constraints: 91246
2011.34/2017.16 c #Conflicts: 816000 | #Constraints: 92246
2011.34/2017.16 c #Conflicts: 817000 | #Constraints: 93246
2011.34/2017.16 c #Conflicts: 818000 | #Constraints: 94246
2011.34/2017.16 c #Conflicts: 819000 | #Constraints: 95246
2011.34/2017.16 c #Conflicts: 820000 | #Constraints: 96246
2011.34/2017.16 c #Conflicts: 821000 | #Constraints: 97246
2011.34/2017.16 c #Conflicts: 822000 | #Constraints: 98246
2011.34/2017.16 c #Conflicts: 823000 | #Constraints: 99246
2011.34/2017.16 c #Conflicts: 824000 | #Constraints: 100247
2011.34/2017.16 c #Conflicts: 825000 | #Constraints: 101247
2011.34/2017.16 c #Conflicts: 826000 | #Constraints: 102247
2011.34/2017.16 c #Conflicts: 827000 | #Constraints: 103247
2011.34/2017.16 c #Conflicts: 828000 | #Constraints: 104247
2011.34/2017.16 c #Conflicts: 829000 | #Constraints: 105247
2011.34/2017.16 c #Conflicts: 830000 | #Constraints: 106247
2011.34/2017.16 c #Conflicts: 831000 | #Constraints: 107247
2011.34/2017.16 c #Conflicts: 832000 | #Constraints: 108247
2011.34/2017.16 c #Conflicts: 833000 | #Constraints: 109247
2011.34/2017.16 c #Conflicts: 834000 | #Constraints: 110247
2011.34/2017.16 c #Conflicts: 835000 | #Constraints: 111247
2011.34/2017.16 c #Conflicts: 836000 | #Constraints: 112247
2011.34/2017.16 c INPROCESSING
2011.34/2017.16 c GARBAGE COLLECT
2011.34/2017.16 c #Conflicts: 837000 | #Constraints: 66165
2011.34/2017.16 c #Conflicts: 838000 | #Constraints: 67165
2011.34/2017.16 c #Conflicts: 839000 | #Constraints: 68165
2011.34/2017.16 c #Conflicts: 840000 | #Constraints: 69165
2011.34/2017.16 c #Conflicts: 841000 | #Constraints: 70165
2208.88/2215.23 c #Conflicts: 842000 | #Constraints: 71165
2208.88/2215.23 c #Conflicts: 843000 | #Constraints: 72165
2208.88/2215.23 c #Conflicts: 844000 | #Constraints: 73165
2208.88/2215.23 c #Conflicts: 845000 | #Constraints: 74165
2208.88/2215.23 c #Conflicts: 846000 | #Constraints: 75165
2208.88/2215.23 c #Conflicts: 847000 | #Constraints: 76165
2208.88/2215.23 c #Conflicts: 848000 | #Constraints: 77165
2208.88/2215.23 c #Conflicts: 849000 | #Constraints: 78165
2208.88/2215.23 c #Conflicts: 850000 | #Constraints: 79165
2208.88/2215.23 c #Conflicts: 851000 | #Constraints: 80165
2208.88/2215.23 c #Conflicts: 852000 | #Constraints: 81165
2208.88/2215.23 c #Conflicts: 853000 | #Constraints: 82165
2208.88/2215.23 c #Conflicts: 854000 | #Constraints: 83165
2208.88/2215.23 c #Conflicts: 855000 | #Constraints: 84165
2208.88/2215.23 c #Conflicts: 856000 | #Constraints: 85165
2208.88/2215.23 c #Conflicts: 857000 | #Constraints: 86165
2208.88/2215.23 c #Conflicts: 858000 | #Constraints: 87165
2208.88/2215.23 c #Conflicts: 859000 | #Constraints: 88165
2208.88/2215.23 c #Conflicts: 860000 | #Constraints: 89165
2208.88/2215.23 c #Conflicts: 861000 | #Constraints: 90165
2208.88/2215.23 c INPROCESSING
2208.88/2215.23 c GARBAGE COLLECT
2208.88/2215.23 c #Conflicts: 862000 | #Constraints: 55339
2208.88/2215.23 c #Conflicts: 863000 | #Constraints: 56339
2208.88/2215.23 c #Conflicts: 864000 | #Constraints: 57339
2208.88/2215.23 c #Conflicts: 865000 | #Constraints: 58339
2208.88/2215.23 c #Conflicts: 866000 | #Constraints: 59339
2208.88/2215.23 c #Conflicts: 867000 | #Constraints: 60339
2208.88/2215.23 c #Conflicts: 868000 | #Constraints: 61339
2208.88/2215.23 c #Conflicts: 869000 | #Constraints: 62339
2208.88/2215.23 c #Conflicts: 870000 | #Constraints: 63339
2208.88/2215.23 c #Conflicts: 871000 | #Constraints: 64339
2208.88/2215.23 c #Conflicts: 872000 | #Constraints: 65339
2208.88/2215.23 c #Conflicts: 873000 | #Constraints: 66339
2208.88/2215.23 c #Conflicts: 874000 | #Constraints: 67339
2208.88/2215.23 c #Conflicts: 875000 | #Constraints: 68339
2208.88/2215.23 c #Conflicts: 876000 | #Constraints: 69339
2208.88/2215.23 c #Conflicts: 877000 | #Constraints: 70339
2208.88/2215.23 c #Conflicts: 878000 | #Constraints: 71339
2208.88/2215.23 c #Conflicts: 879000 | #Constraints: 72339
2208.88/2215.23 c #Conflicts: 880000 | #Constraints: 73339
2208.88/2215.23 c #Conflicts: 881000 | #Constraints: 74339
2208.88/2215.23 c #Conflicts: 882000 | #Constraints: 75339
2208.88/2215.23 c #Conflicts: 883000 | #Constraints: 76339
2208.88/2215.23 c #Conflicts: 884000 | #Constraints: 77339
2208.88/2215.23 c #Conflicts: 885000 | #Constraints: 78339
2208.88/2215.23 c #Conflicts: 886000 | #Constraints: 79339
2208.88/2215.23 c #Conflicts: 887000 | #Constraints: 80339
2208.88/2215.23 c #Conflicts: 888000 | #Constraints: 81339
2208.88/2215.23 c #Conflicts: 889000 | #Constraints: 82339
2208.88/2215.23 c #Conflicts: 890000 | #Constraints: 83339
2208.88/2215.23 c #Conflicts: 891000 | #Constraints: 84339
2208.88/2215.23 c #Conflicts: 892000 | #Constraints: 85339
2208.88/2215.23 c #Conflicts: 893000 | #Constraints: 86339
2208.88/2215.23 c #Conflicts: 894000 | #Constraints: 87339
2208.88/2215.23 c #Conflicts: 895000 | #Constraints: 88339
2208.88/2215.23 c #Conflicts: 896000 | #Constraints: 89339
2208.88/2215.23 c #Conflicts: 897000 | #Constraints: 90339
2208.88/2215.23 c #Conflicts: 898000 | #Constraints: 91339
2208.88/2215.23 c #Conflicts: 899000 | #Constraints: 92339
2208.88/2215.23 c #Conflicts: 900000 | #Constraints: 93339
2208.88/2215.23 c #Conflicts: 901000 | #Constraints: 94339
2208.88/2215.23 c #Conflicts: 902000 | #Constraints: 95339
2208.88/2215.23 c #Conflicts: 903000 | #Constraints: 96339
2208.88/2215.23 c #Conflicts: 904000 | #Constraints: 97339
2208.88/2215.23 c #Conflicts: 905000 | #Constraints: 98339
2208.88/2215.23 c #Conflicts: 906000 | #Constraints: 99339
2208.88/2215.23 c #Conflicts: 907000 | #Constraints: 100339
2208.88/2215.23 c #Conflicts: 908000 | #Constraints: 101339
2208.88/2215.23 c #Conflicts: 909000 | #Constraints: 102339
2208.88/2215.23 c #Conflicts: 910000 | #Constraints: 103339
2208.88/2215.23 c #Conflicts: 911000 | #Constraints: 104339
2208.88/2215.23 c #Conflicts: 912000 | #Constraints: 105339
2208.88/2215.23 c #Conflicts: 913000 | #Constraints: 106339
2208.88/2215.23 c #Conflicts: 914000 | #Constraints: 107339
2208.88/2215.23 c #Conflicts: 915000 | #Constraints: 108339
2208.88/2215.23 c #Conflicts: 916000 | #Constraints: 109339
2208.88/2215.23 c #Conflicts: 917000 | #Constraints: 110339
2208.88/2215.23 c #Conflicts: 918000 | #Constraints: 111339
2208.88/2215.23 c #Conflicts: 919000 | #Constraints: 112339
2442.65/2449.66 c #Conflicts: 920000 | #Constraints: 113339
2442.65/2449.66 c #Conflicts: 921000 | #Constraints: 114339
2442.65/2449.66 c #Conflicts: 922000 | #Constraints: 115339
2442.65/2449.66 c #Conflicts: 923000 | #Constraints: 116339
2442.65/2449.66 c #Conflicts: 924000 | #Constraints: 117339
2442.65/2449.66 c INPROCESSING
2442.65/2449.66 c GARBAGE COLLECT
2442.65/2449.66 c #Conflicts: 925000 | #Constraints: 68788
2442.65/2449.66 c #Conflicts: 926000 | #Constraints: 69788
2442.65/2449.66 c #Conflicts: 927000 | #Constraints: 70788
2442.65/2449.66 c #Conflicts: 928000 | #Constraints: 71788
2442.65/2449.66 c #Conflicts: 929000 | #Constraints: 72788
2442.65/2449.66 c #Conflicts: 930000 | #Constraints: 73788
2442.65/2449.66 c #Conflicts: 931000 | #Constraints: 74788
2442.65/2449.66 c #Conflicts: 932000 | #Constraints: 75788
2442.65/2449.66 c #Conflicts: 933000 | #Constraints: 76788
2442.65/2449.66 c #Conflicts: 934000 | #Constraints: 77788
2442.65/2449.66 c #Conflicts: 935000 | #Constraints: 78788
2442.65/2449.66 c #Conflicts: 936000 | #Constraints: 79788
2442.65/2449.66 c #Conflicts: 937000 | #Constraints: 80788
2442.65/2449.66 c #Conflicts: 938000 | #Constraints: 81788
2442.65/2449.66 c #Conflicts: 939000 | #Constraints: 82788
2442.65/2449.66 c #Conflicts: 940000 | #Constraints: 83788
2442.65/2449.66 c #Conflicts: 941000 | #Constraints: 84788
2442.65/2449.66 c #Conflicts: 942000 | #Constraints: 85788
2442.65/2449.66 c #Conflicts: 943000 | #Constraints: 86788
2442.65/2449.66 c #Conflicts: 944000 | #Constraints: 87788
2442.65/2449.66 c #Conflicts: 945000 | #Constraints: 88788
2442.65/2449.66 c #Conflicts: 946000 | #Constraints: 89788
2442.65/2449.66 c #Conflicts: 947000 | #Constraints: 90788
2442.65/2449.66 c #Conflicts: 948000 | #Constraints: 91788
2442.65/2449.66 c #Conflicts: 949000 | #Constraints: 92788
2442.65/2449.66 c #Conflicts: 950000 | #Constraints: 93788
2442.65/2449.66 c INPROCESSING
2442.65/2449.66 c GARBAGE COLLECT
2442.65/2449.66 c #Conflicts: 951000 | #Constraints: 57021
2442.65/2449.66 c #Conflicts: 952000 | #Constraints: 58021
2442.65/2449.66 c #Conflicts: 953000 | #Constraints: 59021
2442.65/2449.66 c #Conflicts: 954000 | #Constraints: 60021
2442.65/2449.66 c #Conflicts: 955000 | #Constraints: 61021
2442.65/2449.66 c #Conflicts: 956000 | #Constraints: 62021
2442.65/2449.66 c #Conflicts: 957000 | #Constraints: 63021
2442.65/2449.66 c #Conflicts: 958000 | #Constraints: 64021
2442.65/2449.66 c #Conflicts: 959000 | #Constraints: 65021
2442.65/2449.66 c #Conflicts: 960000 | #Constraints: 66021
2442.65/2449.66 c #Conflicts: 961000 | #Constraints: 67021
2442.65/2449.66 c #Conflicts: 962000 | #Constraints: 68021
2442.65/2449.66 c #Conflicts: 963000 | #Constraints: 69021
2442.65/2449.66 c #Conflicts: 964000 | #Constraints: 70021
2442.65/2449.66 c #Conflicts: 965000 | #Constraints: 71021
2442.65/2449.66 c #Conflicts: 966000 | #Constraints: 72021
2442.65/2449.66 c #Conflicts: 967000 | #Constraints: 73021
2442.65/2449.66 c #Conflicts: 968000 | #Constraints: 74021
2442.65/2449.66 c #Conflicts: 969000 | #Constraints: 75021
2442.65/2449.66 c #Conflicts: 970000 | #Constraints: 76021
2442.65/2449.66 c #Conflicts: 971000 | #Constraints: 77021
2442.65/2449.66 c #Conflicts: 972000 | #Constraints: 78021
2442.65/2449.66 c #Conflicts: 973000 | #Constraints: 79021
2442.65/2449.66 c #Conflicts: 974000 | #Constraints: 80021
2442.65/2449.66 c #Conflicts: 975000 | #Constraints: 81021
2442.65/2449.66 c #Conflicts: 976000 | #Constraints: 82021
2442.65/2449.66 c #Conflicts: 977000 | #Constraints: 83021
2442.65/2449.66 c #Conflicts: 978000 | #Constraints: 84021
2442.65/2449.66 c #Conflicts: 979000 | #Constraints: 85021
2442.65/2449.66 c #Conflicts: 980000 | #Constraints: 86021
2442.65/2449.66 c #Conflicts: 981000 | #Constraints: 87021
2442.65/2449.66 c #Conflicts: 982000 | #Constraints: 88021
2442.65/2449.66 c #Conflicts: 983000 | #Constraints: 89021
2442.65/2449.66 c #Conflicts: 984000 | #Constraints: 90021
2442.65/2449.66 c #Conflicts: 985000 | #Constraints: 91021
2442.65/2449.66 c #Conflicts: 986000 | #Constraints: 92021
2442.65/2449.66 c #Conflicts: 987000 | #Constraints: 93021
2442.65/2449.66 c #Conflicts: 988000 | #Constraints: 94021
2442.65/2449.66 c #Conflicts: 989000 | #Constraints: 95021
2442.65/2449.66 c #Conflicts: 990000 | #Constraints: 96021
2442.65/2449.66 c #Conflicts: 991000 | #Constraints: 97021
2442.65/2449.66 c #Conflicts: 992000 | #Constraints: 98021
2442.65/2449.66 c #Conflicts: 993000 | #Constraints: 99021
2442.65/2449.66 c #Conflicts: 994000 | #Constraints: 100021
2442.65/2449.66 c #Conflicts: 995000 | #Constraints: 101021
2442.65/2449.66 c #Conflicts: 996000 | #Constraints: 102021
2442.65/2449.66 c #Conflicts: 997000 | #Constraints: 103021
2702.92/2710.65 c #Conflicts: 998000 | #Constraints: 104021
2702.92/2710.65 c #Conflicts: 999000 | #Constraints: 105021
2702.92/2710.65 c #Conflicts: 1000000 | #Constraints: 106021
2702.92/2710.65 c #Conflicts: 1001000 | #Constraints: 107021
2702.92/2710.65 c #Conflicts: 1002000 | #Constraints: 108021
2702.92/2710.65 c #Conflicts: 1003000 | #Constraints: 109021
2702.92/2710.65 c #Conflicts: 1004000 | #Constraints: 110021
2702.92/2710.65 c #Conflicts: 1005000 | #Constraints: 111021
2702.92/2710.65 c #Conflicts: 1006000 | #Constraints: 112021
2702.92/2710.65 c #Conflicts: 1007000 | #Constraints: 113021
2702.92/2710.65 c #Conflicts: 1008000 | #Constraints: 114021
2702.92/2710.65 c #Conflicts: 1009000 | #Constraints: 115021
2702.92/2710.65 c #Conflicts: 1010000 | #Constraints: 116021
2702.92/2710.65 c #Conflicts: 1011000 | #Constraints: 117021
2702.92/2710.65 c #Conflicts: 1012000 | #Constraints: 118021
2702.92/2710.65 c #Conflicts: 1013000 | #Constraints: 119021
2702.92/2710.65 c #Conflicts: 1014000 | #Constraints: 120021
2702.92/2710.65 c #Conflicts: 1015000 | #Constraints: 121021
2702.92/2710.65 c #Conflicts: 1016000 | #Constraints: 122021
2702.92/2710.65 c #Conflicts: 1017000 | #Constraints: 123021
2702.92/2710.65 c INPROCESSING
2702.92/2710.65 c GARBAGE COLLECT
2702.92/2710.65 c #Conflicts: 1018000 | #Constraints: 71941
2702.92/2710.65 c #Conflicts: 1019000 | #Constraints: 72941
2702.92/2710.65 c #Conflicts: 1020000 | #Constraints: 73941
2702.92/2710.65 c #Conflicts: 1021000 | #Constraints: 74941
2702.92/2710.65 c #Conflicts: 1022000 | #Constraints: 75941
2702.92/2710.65 c #Conflicts: 1023000 | #Constraints: 76941
2702.92/2710.65 c #Conflicts: 1024000 | #Constraints: 77941
2702.92/2710.65 c #Conflicts: 1025000 | #Constraints: 78941
2702.92/2710.65 c #Conflicts: 1026000 | #Constraints: 79941
2702.92/2710.65 c #Conflicts: 1027000 | #Constraints: 80941
2702.92/2710.65 c #Conflicts: 1028000 | #Constraints: 81941
2702.92/2710.65 c #Conflicts: 1029000 | #Constraints: 82941
2702.92/2710.65 c #Conflicts: 1030000 | #Constraints: 83941
2702.92/2710.65 c #Conflicts: 1031000 | #Constraints: 84941
2702.92/2710.65 c #Conflicts: 1032000 | #Constraints: 85941
2702.92/2710.65 c #Conflicts: 1033000 | #Constraints: 86941
2702.92/2710.65 c #Conflicts: 1034000 | #Constraints: 87941
2702.92/2710.65 c #Conflicts: 1035000 | #Constraints: 88941
2702.92/2710.65 c #Conflicts: 1036000 | #Constraints: 89941
2702.92/2710.65 c #Conflicts: 1037000 | #Constraints: 90941
2702.92/2710.65 c #Conflicts: 1038000 | #Constraints: 91941
2702.92/2710.65 c #Conflicts: 1039000 | #Constraints: 92941
2702.92/2710.65 c #Conflicts: 1040000 | #Constraints: 93941
2702.92/2710.65 c #Conflicts: 1041000 | #Constraints: 94941
2702.92/2710.65 c #Conflicts: 1042000 | #Constraints: 95941
2702.92/2710.65 c #Conflicts: 1043000 | #Constraints: 96941
2702.92/2710.65 c #Conflicts: 1044000 | #Constraints: 97941
2702.92/2710.65 c INPROCESSING
2702.92/2710.65 c GARBAGE COLLECT
2702.92/2710.65 c #Conflicts: 1045000 | #Constraints: 59316
2702.92/2710.65 c #Conflicts: 1046000 | #Constraints: 60316
2702.92/2710.65 c #Conflicts: 1047000 | #Constraints: 61316
2702.92/2710.65 c #Conflicts: 1048000 | #Constraints: 62316
2702.92/2710.65 c #Conflicts: 1049000 | #Constraints: 63316
2702.92/2710.65 c #Conflicts: 1050000 | #Constraints: 64316
2702.92/2710.65 c #Conflicts: 1051000 | #Constraints: 65316
2702.92/2710.65 c #Conflicts: 1052000 | #Constraints: 66316
2702.92/2710.65 c #Conflicts: 1053000 | #Constraints: 67316
2702.92/2710.65 c #Conflicts: 1054000 | #Constraints: 68316
2702.92/2710.65 c #Conflicts: 1055000 | #Constraints: 69316
2702.92/2710.65 c #Conflicts: 1056000 | #Constraints: 70316
2702.92/2710.65 c #Conflicts: 1057000 | #Constraints: 71316
2702.92/2710.65 c #Conflicts: 1058000 | #Constraints: 72316
2702.92/2710.65 c #Conflicts: 1059000 | #Constraints: 73316
2702.92/2710.65 c #Conflicts: 1060000 | #Constraints: 74316
2702.92/2710.65 c #Conflicts: 1061000 | #Constraints: 75316
2702.92/2710.65 c #Conflicts: 1062000 | #Constraints: 76316
2702.92/2710.65 c #Conflicts: 1063000 | #Constraints: 77316
2702.92/2710.65 c #Conflicts: 1064000 | #Constraints: 78316
2702.92/2710.65 c #Conflicts: 1065000 | #Constraints: 79316
2702.92/2710.65 c #Conflicts: 1066000 | #Constraints: 80316
2702.92/2710.65 c #Conflicts: 1067000 | #Constraints: 81316
2702.92/2710.65 c #Conflicts: 1068000 | #Constraints: 82316
2702.92/2710.65 c #Conflicts: 1069000 | #Constraints: 83316
2702.92/2710.65 c #Conflicts: 1070000 | #Constraints: 84316
2702.92/2710.65 c #Conflicts: 1071000 | #Constraints: 85316
2702.92/2710.65 c INPROCESSING
2702.92/2710.65 c GARBAGE COLLECT
2702.92/2710.65 c #Conflicts: 1072000 | #Constraints: 56927
2702.92/2710.65 c #Conflicts: 1073000 | #Constraints: 57927
2967.00/2975.53 c #Conflicts: 1074000 | #Constraints: 58927
2967.00/2975.53 c #Conflicts: 1075000 | #Constraints: 59927
2967.00/2975.53 c #Conflicts: 1076000 | #Constraints: 60927
2967.00/2975.53 c #Conflicts: 1077000 | #Constraints: 61927
2967.00/2975.53 c #Conflicts: 1078000 | #Constraints: 62927
2967.00/2975.53 c #Conflicts: 1079000 | #Constraints: 63927
2967.00/2975.53 c #Conflicts: 1080000 | #Constraints: 64927
2967.00/2975.53 c #Conflicts: 1081000 | #Constraints: 65927
2967.00/2975.53 c #Conflicts: 1082000 | #Constraints: 66927
2967.00/2975.53 c #Conflicts: 1083000 | #Constraints: 67927
2967.00/2975.53 c #Conflicts: 1084000 | #Constraints: 68927
2967.00/2975.53 c #Conflicts: 1085000 | #Constraints: 69927
2967.00/2975.53 c #Conflicts: 1086000 | #Constraints: 70927
2967.00/2975.53 c #Conflicts: 1087000 | #Constraints: 71927
2967.00/2975.53 c #Conflicts: 1088000 | #Constraints: 72927
2967.00/2975.53 c #Conflicts: 1089000 | #Constraints: 73927
2967.00/2975.53 c #Conflicts: 1090000 | #Constraints: 74927
2967.00/2975.53 c #Conflicts: 1091000 | #Constraints: 75927
2967.00/2975.53 c #Conflicts: 1092000 | #Constraints: 76927
2967.00/2975.53 c #Conflicts: 1093000 | #Constraints: 77927
2967.00/2975.53 c #Conflicts: 1094000 | #Constraints: 78927
2967.00/2975.53 c #Conflicts: 1095000 | #Constraints: 79927
2967.00/2975.53 c #Conflicts: 1096000 | #Constraints: 80928
2967.00/2975.53 c #Conflicts: 1097000 | #Constraints: 81928
2967.00/2975.53 c #Conflicts: 1098000 | #Constraints: 82928
2967.00/2975.53 c #Conflicts: 1099000 | #Constraints: 83928
2967.00/2975.53 c #Conflicts: 1100000 | #Constraints: 84928
2967.00/2975.53 c #Conflicts: 1101000 | #Constraints: 85928
2967.00/2975.53 c #Conflicts: 1102000 | #Constraints: 86928
2967.00/2975.53 c #Conflicts: 1103000 | #Constraints: 87928
2967.00/2975.53 c #Conflicts: 1104000 | #Constraints: 88928
2967.00/2975.53 c #Conflicts: 1105000 | #Constraints: 89928
2967.00/2975.53 c #Conflicts: 1106000 | #Constraints: 90928
2967.00/2975.53 c #Conflicts: 1107000 | #Constraints: 91928
2967.00/2975.53 c #Conflicts: 1108000 | #Constraints: 92928
2967.00/2975.53 c #Conflicts: 1109000 | #Constraints: 93928
2967.00/2975.53 c #Conflicts: 1110000 | #Constraints: 94928
2967.00/2975.53 c #Conflicts: 1111000 | #Constraints: 95928
2967.00/2975.53 c #Conflicts: 1112000 | #Constraints: 96928
2967.00/2975.53 c #Conflicts: 1113000 | #Constraints: 97928
2967.00/2975.54 c #Conflicts: 1114000 | #Constraints: 98928
2967.00/2975.54 c #Conflicts: 1115000 | #Constraints: 99928
2967.00/2975.54 c #Conflicts: 1116000 | #Constraints: 100928
2967.00/2975.54 c #Conflicts: 1117000 | #Constraints: 101928
2967.00/2975.54 c #Conflicts: 1118000 | #Constraints: 102928
2967.00/2975.54 c #Conflicts: 1119000 | #Constraints: 103928
2967.00/2975.54 c #Conflicts: 1120000 | #Constraints: 104928
2967.00/2975.54 c #Conflicts: 1121000 | #Constraints: 105928
2967.00/2975.54 c #Conflicts: 1122000 | #Constraints: 106928
2967.00/2975.54 c #Conflicts: 1123000 | #Constraints: 107928
2967.00/2975.54 c #Conflicts: 1124000 | #Constraints: 108928
2967.00/2975.54 c #Conflicts: 1125000 | #Constraints: 109928
2967.00/2975.54 c #Conflicts: 1126000 | #Constraints: 110928
2967.00/2975.54 c #Conflicts: 1127000 | #Constraints: 111928
2967.00/2975.54 c #Conflicts: 1128000 | #Constraints: 112928
2967.00/2975.54 c #Conflicts: 1129000 | #Constraints: 113928
2967.00/2975.54 c #Conflicts: 1130000 | #Constraints: 114928
2967.00/2975.54 c #Conflicts: 1131000 | #Constraints: 115928
2967.00/2975.54 c #Conflicts: 1132000 | #Constraints: 116928
2967.00/2975.54 c #Conflicts: 1133000 | #Constraints: 117928
2967.00/2975.54 c #Conflicts: 1134000 | #Constraints: 118928
2967.00/2975.54 c #Conflicts: 1135000 | #Constraints: 119928
2967.00/2975.54 c #Conflicts: 1136000 | #Constraints: 120928
2967.00/2975.54 c #Conflicts: 1137000 | #Constraints: 121928
2967.00/2975.54 c #Conflicts: 1138000 | #Constraints: 122928
2967.00/2975.54 c #Conflicts: 1139000 | #Constraints: 123928
2967.00/2975.54 c #Conflicts: 1140000 | #Constraints: 124928
2967.00/2975.54 c #Conflicts: 1141000 | #Constraints: 125928
2967.00/2975.54 c #Conflicts: 1142000 | #Constraints: 126928
2967.00/2975.54 c INPROCESSING
2967.00/2975.54 c GARBAGE COLLECT
2967.00/2975.54 c #Conflicts: 1143000 | #Constraints: 73588
2967.00/2975.54 c #Conflicts: 1144000 | #Constraints: 74588
2967.00/2975.54 c #Conflicts: 1145000 | #Constraints: 75588
2967.00/2975.54 c #Conflicts: 1146000 | #Constraints: 76588
2967.00/2975.54 c #Conflicts: 1147000 | #Constraints: 77588
2967.00/2975.54 c #Conflicts: 1148000 | #Constraints: 78588
2967.00/2975.54 c #Conflicts: 1149000 | #Constraints: 79588
2967.00/2975.54 c #Conflicts: 1150000 | #Constraints: 80588
2967.00/2975.54 c #Conflicts: 1151000 | #Constraints: 81588
2967.00/2975.54 c #Conflicts: 1152000 | #Constraints: 82588
3317.54/3327.09 c #Conflicts: 1153000 | #Constraints: 83588
3317.54/3327.09 c #Conflicts: 1154000 | #Constraints: 84588
3317.54/3327.09 c #Conflicts: 1155000 | #Constraints: 85588
3317.54/3327.09 c #Conflicts: 1156000 | #Constraints: 86588
3317.54/3327.09 c #Conflicts: 1157000 | #Constraints: 87588
3317.54/3327.09 c #Conflicts: 1158000 | #Constraints: 88588
3317.54/3327.09 c #Conflicts: 1159000 | #Constraints: 89588
3317.54/3327.09 c #Conflicts: 1160000 | #Constraints: 90588
3317.54/3327.09 c #Conflicts: 1161000 | #Constraints: 91588
3317.54/3327.09 c #Conflicts: 1162000 | #Constraints: 92588
3317.54/3327.09 c #Conflicts: 1163000 | #Constraints: 93588
3317.54/3327.09 c #Conflicts: 1164000 | #Constraints: 94588
3317.54/3327.09 c #Conflicts: 1165000 | #Constraints: 95588
3317.54/3327.09 c #Conflicts: 1166000 | #Constraints: 96588
3317.54/3327.09 c #Conflicts: 1167000 | #Constraints: 97588
3317.54/3327.09 c #Conflicts: 1168000 | #Constraints: 98588
3317.54/3327.09 c #Conflicts: 1169000 | #Constraints: 99588
3317.54/3327.09 c #Conflicts: 1170000 | #Constraints: 100588
3317.54/3327.09 c #Conflicts: 1171000 | #Constraints: 101588
3317.54/3327.09 c INPROCESSING
3317.54/3327.09 c GARBAGE COLLECT
3317.54/3327.09 c #Conflicts: 1172000 | #Constraints: 61176
3317.54/3327.09 c #Conflicts: 1173000 | #Constraints: 62176
3317.54/3327.09 c #Conflicts: 1174000 | #Constraints: 63176
3317.54/3327.09 c #Conflicts: 1175000 | #Constraints: 64176
3317.54/3327.09 c #Conflicts: 1176000 | #Constraints: 65176
3317.54/3327.09 c #Conflicts: 1177000 | #Constraints: 66176
3317.54/3327.09 c #Conflicts: 1178000 | #Constraints: 67176
3317.54/3327.09 c #Conflicts: 1179000 | #Constraints: 68176
3317.54/3327.09 c #Conflicts: 1180000 | #Constraints: 69176
3317.54/3327.09 c #Conflicts: 1181000 | #Constraints: 70176
3317.54/3327.09 c #Conflicts: 1182000 | #Constraints: 71176
3317.54/3327.09 c #Conflicts: 1183000 | #Constraints: 72176
3317.54/3327.09 c #Conflicts: 1184000 | #Constraints: 73176
3317.54/3327.09 c #Conflicts: 1185000 | #Constraints: 74176
3317.54/3327.09 c #Conflicts: 1186000 | #Constraints: 75176
3317.54/3327.09 c #Conflicts: 1187000 | #Constraints: 76176
3317.54/3327.09 c #Conflicts: 1188000 | #Constraints: 77176
3317.54/3327.09 c #Conflicts: 1189000 | #Constraints: 78176
3317.54/3327.09 c #Conflicts: 1190000 | #Constraints: 79176
3317.54/3327.09 c #Conflicts: 1191000 | #Constraints: 80176
3317.54/3327.09 c #Conflicts: 1192000 | #Constraints: 81176
3317.54/3327.09 c #Conflicts: 1193000 | #Constraints: 82176
3317.54/3327.09 c #Conflicts: 1194000 | #Constraints: 83176
3317.54/3327.09 c #Conflicts: 1195000 | #Constraints: 84176
3317.54/3327.09 c #Conflicts: 1196000 | #Constraints: 85176
3317.54/3327.09 c #Conflicts: 1197000 | #Constraints: 86176
3317.54/3327.09 c #Conflicts: 1198000 | #Constraints: 87176
3317.54/3327.09 c #Conflicts: 1199000 | #Constraints: 88176
3317.54/3327.09 c #Conflicts: 1200000 | #Constraints: 89176
3317.54/3327.09 c INPROCESSING
3317.54/3327.09 c GARBAGE COLLECT
3317.54/3327.09 c #Conflicts: 1201000 | #Constraints: 59998
3317.54/3327.09 c #Conflicts: 1202000 | #Constraints: 60998
3317.54/3327.09 c #Conflicts: 1203000 | #Constraints: 61998
3317.54/3327.09 c #Conflicts: 1204000 | #Constraints: 62998
3317.54/3327.09 c #Conflicts: 1205000 | #Constraints: 63998
3317.54/3327.09 c #Conflicts: 1206000 | #Constraints: 64998
3317.54/3327.09 c #Conflicts: 1207000 | #Constraints: 65998
3317.54/3327.09 c #Conflicts: 1208000 | #Constraints: 66998
3317.54/3327.09 c #Conflicts: 1209000 | #Constraints: 67998
3317.54/3327.09 c #Conflicts: 1210000 | #Constraints: 68998
3317.54/3327.09 c #Conflicts: 1211000 | #Constraints: 69998
3317.54/3327.09 c #Conflicts: 1212000 | #Constraints: 70998
3317.54/3327.09 c #Conflicts: 1213000 | #Constraints: 71998
3317.54/3327.09 c #Conflicts: 1214000 | #Constraints: 72998
3317.54/3327.09 c #Conflicts: 1215000 | #Constraints: 73998
3317.54/3327.09 c #Conflicts: 1216000 | #Constraints: 74998
3317.54/3327.09 c #Conflicts: 1217000 | #Constraints: 75998
3317.54/3327.09 c #Conflicts: 1218000 | #Constraints: 76998
3317.54/3327.09 c #Conflicts: 1219000 | #Constraints: 77998
3317.54/3327.09 c #Conflicts: 1220000 | #Constraints: 78998
3317.54/3327.09 c #Conflicts: 1221000 | #Constraints: 79998
3317.54/3327.09 c #Conflicts: 1222000 | #Constraints: 80998
3317.54/3327.09 c #Conflicts: 1223000 | #Constraints: 81998
3317.54/3327.09 c #Conflicts: 1224000 | #Constraints: 82998
3317.54/3327.09 c #Conflicts: 1225000 | #Constraints: 83998
3317.54/3327.09 c #Conflicts: 1226000 | #Constraints: 84998
3317.54/3327.09 c #Conflicts: 1227000 | #Constraints: 85998
3317.54/3327.09 c #Conflicts: 1228000 | #Constraints: 86998
3317.54/3327.09 c #Conflicts: 1229000 | #Constraints: 87998
3580.75/3590.98 c #Conflicts: 1230000 | #Constraints: 88998
3580.75/3590.98 c #Conflicts: 1231000 | #Constraints: 89998
3580.75/3590.98 c #Conflicts: 1232000 | #Constraints: 90998
3580.75/3590.98 c #Conflicts: 1233000 | #Constraints: 91998
3580.75/3590.98 c #Conflicts: 1234000 | #Constraints: 92998
3580.75/3590.98 c #Conflicts: 1235000 | #Constraints: 93998
3580.75/3590.98 c #Conflicts: 1236000 | #Constraints: 94998
3580.75/3590.98 c #Conflicts: 1237000 | #Constraints: 95998
3580.75/3590.98 c #Conflicts: 1238000 | #Constraints: 96998
3580.75/3590.98 c #Conflicts: 1239000 | #Constraints: 97998
3580.75/3590.98 c #Conflicts: 1240000 | #Constraints: 98998
3580.75/3590.98 c #Conflicts: 1241000 | #Constraints: 99998
3580.75/3590.98 c #Conflicts: 1242000 | #Constraints: 100998
3580.75/3590.98 c #Conflicts: 1243000 | #Constraints: 101998
3580.75/3590.98 c #Conflicts: 1244000 | #Constraints: 102998
3580.75/3590.98 c #Conflicts: 1245000 | #Constraints: 103998
3580.75/3590.98 c #Conflicts: 1246000 | #Constraints: 104998
3580.75/3590.98 c #Conflicts: 1247000 | #Constraints: 105998
3580.75/3590.98 c #Conflicts: 1248000 | #Constraints: 106998
3580.75/3590.98 c #Conflicts: 1249000 | #Constraints: 107998
3580.75/3590.98 c #Conflicts: 1250000 | #Constraints: 108998
3580.75/3590.98 c #Conflicts: 1251000 | #Constraints: 109998
3580.75/3590.98 c #Conflicts: 1252000 | #Constraints: 110998
3580.75/3590.98 c #Conflicts: 1253000 | #Constraints: 111998
3580.75/3590.98 c #Conflicts: 1254000 | #Constraints: 112998
3580.75/3590.98 c #Conflicts: 1255000 | #Constraints: 113998
3580.75/3590.98 c #Conflicts: 1256000 | #Constraints: 114998
3580.75/3590.98 c #Conflicts: 1257000 | #Constraints: 115998
3580.75/3590.98 c #Conflicts: 1258000 | #Constraints: 116998
3580.75/3590.98 c #Conflicts: 1259000 | #Constraints: 117998
3580.75/3590.98 c #Conflicts: 1260000 | #Constraints: 118998
3580.75/3590.98 c #Conflicts: 1261000 | #Constraints: 119998
3580.75/3590.98 c #Conflicts: 1262000 | #Constraints: 120998
3580.75/3590.98 c #Conflicts: 1263000 | #Constraints: 121998
3580.75/3590.98 c #Conflicts: 1264000 | #Constraints: 122998
3580.75/3590.98 c #Conflicts: 1265000 | #Constraints: 123998
3580.75/3590.98 c #Conflicts: 1266000 | #Constraints: 124998
3580.75/3590.98 c #Conflicts: 1267000 | #Constraints: 125998
3580.75/3590.98 c #Conflicts: 1268000 | #Constraints: 126998
3580.75/3590.98 c #Conflicts: 1269000 | #Constraints: 127998
3580.75/3590.98 c #Conflicts: 1270000 | #Constraints: 128998
3580.75/3590.98 c #Conflicts: 1271000 | #Constraints: 129998
3580.75/3590.98 c #Conflicts: 1272000 | #Constraints: 130998
3580.75/3590.98 c #Conflicts: 1273000 | #Constraints: 131999
3580.75/3590.98 c #Conflicts: 1274000 | #Constraints: 132999
3580.75/3590.98 c #Conflicts: 1275000 | #Constraints: 133999
3580.75/3590.98 c INPROCESSING
3580.75/3590.98 c GARBAGE COLLECT
3580.75/3590.98 c #Conflicts: 1276000 | #Constraints: 77438
3580.75/3590.98 c #Conflicts: 1277000 | #Constraints: 78438
3580.75/3590.98 c #Conflicts: 1278000 | #Constraints: 79438
3580.75/3590.98 c #Conflicts: 1279000 | #Constraints: 80438
3580.75/3590.98 c #Conflicts: 1280000 | #Constraints: 81438
3580.75/3590.98 c #Conflicts: 1281000 | #Constraints: 82438
3580.75/3590.98 c #Conflicts: 1282000 | #Constraints: 83438
3580.75/3590.98 c #Conflicts: 1283000 | #Constraints: 84438
3580.75/3590.98 c #Conflicts: 1284000 | #Constraints: 85438
3580.75/3590.98 c #Conflicts: 1285000 | #Constraints: 86438
3580.75/3590.98 c #Conflicts: 1286000 | #Constraints: 87438
3580.75/3590.98 c #Conflicts: 1287000 | #Constraints: 88438
3580.75/3590.98 c #Conflicts: 1288000 | #Constraints: 89438
3580.75/3590.98 c #Conflicts: 1289000 | #Constraints: 90438
3580.75/3590.98 c #Conflicts: 1290000 | #Constraints: 91438
3580.75/3590.98 c #Conflicts: 1291000 | #Constraints: 92438
3580.75/3590.98 c #Conflicts: 1292000 | #Constraints: 93438
3580.75/3590.98 c #Conflicts: 1293000 | #Constraints: 94438
3580.75/3590.98 c #Conflicts: 1294000 | #Constraints: 95438
3580.75/3590.98 c #Conflicts: 1295000 | #Constraints: 96438
3580.75/3590.98 c #Conflicts: 1296000 | #Constraints: 97438
3580.75/3590.98 c #Conflicts: 1297000 | #Constraints: 98438
3580.75/3590.98 c #Conflicts: 1298000 | #Constraints: 99438
3580.75/3590.98 c #Conflicts: 1299000 | #Constraints: 100438
3580.75/3590.98 c #Conflicts: 1300000 | #Constraints: 101438
3580.75/3590.98 c #Conflicts: 1301000 | #Constraints: 102438
3580.75/3590.98 c #Conflicts: 1302000 | #Constraints: 103438
3580.75/3590.98 c #Conflicts: 1303000 | #Constraints: 104438
3580.75/3590.98 c #Conflicts: 1304000 | #Constraints: 105438
3580.75/3590.98 c #Conflicts: 1305000 | #Constraints: 106438
3580.75/3590.98 c INPROCESSING
3580.75/3590.98 c GARBAGE COLLECT
3580.75/3590.98 c #Conflicts: 1306000 | #Constraints: 63538
3580.75/3590.98 c #Conflicts: 1307000 | #Constraints: 64538
3600.09/3610.30 c #Conflicts: 1308000 | #Constraints: 65538
3600.09/3610.30 c #Conflicts: 1309000 | #Constraints: 66538
3600.09/3610.30 c #Conflicts: 1310000 | #Constraints: 67538
3600.09/3610.30 c #Conflicts: 1311000 | #Constraints: 68538
3600.09/3610.30 c #Conflicts: 1312000 | #Constraints: 69538
3600.09/3610.30 c #Conflicts: 1313000 | #Constraints: 70538
3600.09/3610.30 c #Conflicts: 1314000 | #Constraints: 71538
3600.09/3610.30 c #Conflicts: 1315000 | #Constraints: 72538
3600.09/3610.30 c #Conflicts: 1316000 | #Constraints: 73538
3600.09/3610.30 c #Conflicts: 1317000 | #Constraints: 74538
3600.09/3610.30 c #Conflicts: 1318000 | #Constraints: 75538
3600.09/3610.30 c #Conflicts: 1319000 | #Constraints: 76538
3600.09/3610.30 c cpu time 3578.86 s
3600.09/3610.30 c deterministic time 204737760406 2.05e+11
3600.09/3610.30 c optimization time 22.7415 s
3600.09/3610.30 c total solve time 3555.93 s
3600.09/3610.30 c core-guided solve time 0 s
3600.09/3610.30 c propagation time 1625.39 s
3600.09/3610.30 c conflict analysis time 1425.57 s
3600.09/3610.30 c propagations 1335344867
3600.09/3610.30 c resolve steps 97619184
3600.09/3610.30 c decisions 20380391
3600.09/3610.30 c conflicts 1319381
3600.09/3610.30 c restarts 2555
3600.09/3610.30 c inprocessing phases 52
3600.09/3610.30 c garbage collections 52 ,( 100.00 )
3600.09/3610.30 c input clauses 16700 ,( 99.18 )
3600.09/3610.30 c input cardinalities 138 ,( 0.82 )
3600.09/3610.30 c input general constraints 0 ,( 0.00 )
3600.09/3610.30 c input average constraint length 6.40
3600.09/3610.30 c input average constraint degree 1.96
3600.09/3610.30 c learned clauses 994356 ,( 75.37 )
3600.09/3610.30 c learned cardinalities 35953 ,( 2.72 )
3600.09/3610.30 c learned general constraints 289076 ,( 21.91 )
3600.09/3610.30 c learned average constraint length 728.78
3600.09/3610.30 c learned average constraint degree 27370125.12
3600.09/3610.30 c watched CF 32, 64, 128, Arb: 79680 , 0 , 0 , 0
3600.09/3610.30 c counting CF 32, 64, 128, Arb: 209396 , 0 , 0 , 0
3600.09/3610.30 c watched constraints 79680 ,( 27.56 )
3600.09/3610.30 c counting constraints 209396 ,( 72.44 )
3600.09/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1313174741 , 531695542 , 1795271148 ,( 74924370 , 1720346778 )
3600.09/3610.30 c gcd simplifications 692
3600.09/3610.30 c detected cardinalities 4280
3600.09/3610.30 c weakened non-implied lits 394131919
3600.09/3610.30 c weakened non-implying lits 220997
3600.09/3610.30 c original variables 16467
3600.09/3610.30 c clausal propagations 610084975
3600.09/3610.30 c cardinality propagations 472797762
3600.09/3610.30 c watched propagations 4839363
3600.09/3610.30 c counting propagations 237026035
3600.09/3610.30 c watch lookups 79498078207
3600.09/3610.30 c watch backjump lookups 0
3600.09/3610.30 c watch checks 30024426760
3600.09/3610.30 c propagation checks 87784812728
3600.09/3610.30 c constraint additions 4717296447
3600.09/3610.30 c trail pops 1357029692
3600.09/3610.30 c formula constraints 16838
3600.09/3610.30 c learned constraints 1319375
3600.09/3610.30 c bound constraints 0
3600.09/3610.30 c core-guided constraints 0
3600.09/3610.30 c encountered formula constraints 66100111
3600.09/3610.30 c encountered learned constraints 32837590
3600.09/3610.30 c encountered bound constraints 0
3600.09/3610.30 c encountered core-guided constraints 0
3600.09/3610.30 c LP total time 548.705 s
3600.09/3610.30 c LP solve time 548.1 s
3600.09/3610.30 c LP constraints added 16838
3600.09/3610.30 c LP constraints removed 0
3600.09/3610.30 c LP pivots internal 146313
3600.09/3610.30 c LP pivots root 245000
3600.09/3610.30 c LP calls 13
3600.09/3610.30 c LP optimalities 0
3600.09/3610.30 c LP no pivot count 0
3600.09/3610.30 c LP infeasibilities 5
3600.09/3610.30 c LP valid Farkas constraints 5
3600.09/3610.30 c LP learned Farkas constraints 5
3600.09/3610.30 c LP basis resets 0
3600.09/3610.30 c LP cycling count 0
3600.09/3610.30 c LP singular count 0
3600.09/3610.30 c LP no primal count 0
3600.09/3610.30 c LP no farkas count 0
3600.09/3610.30 c LP other issue count 0
3600.09/3610.30 c LP Gomory cuts 0
3600.09/3610.30 c LP learned cuts 0
3600.09/3610.30 c LP deleted cuts 0
3600.09/3610.30 c LP encountered Gomory constraints 0
3600.09/3610.30 c LP encountered Farkas constraints 855
3600.09/3610.30 c LP encountered learned Farkas constraints 4
3600.09/3610.30 c CG auxiliary variables introduced 0
3600.09/3610.30 c CG solutions found 0
3600.09/3610.30 c CG cores constructed 0
3600.09/3610.30 c CG core cardinality constraints returned 0
3600.09/3610.30 c CG unit cores 0
3600.09/3610.30 c CG single cores 0
3600.09/3610.30 c CG blocks removed during cardinality reduction 0
3600.09/3610.30 c CG first core best 0
3600.09/3610.30 c CG decision core best 0
3600.09/3610.30 c CG core reduction tie 0
3600.09/3610.30 c CG core degree average 0.00
3600.09/3610.30 c CG core slack average 0.00
3600.09/3610.30 c CG core upper bound improvements 0
3600.09/3610.30 c STR number of successful calls 0
3600.09/3610.30 c STR number of unsuccessful calls 0
3600.09/3610.30 c STR number of inconclusive calls 0
3600.09/3610.30 c STR number of successful attempts 0
3600.09/3610.30 c STR number of unsuccessful attempts 0
3600.09/3610.30 c STR number of inconclusive attempts 0
3600.09/3610.30 c STR average degree increase per successful call inf
3600.09/3610.30 c STR average degree increase per successful attempt inf
3600.09/3610.30 c STR total number of conflicts for successful attempts 0
3600.09/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.30 c STR average number of conflicts per successful attempt inf
3600.09/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.30 c AVG.sumWPerc 64.66
3600.09/3610.30 c bigint constraints 0
3600.09/3610.30 s UNKNOWN
3600.09/3610.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: 63794 MiB (61588 MiB free)
memory of node 1: 64507 MiB (63586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506800-1751167004/watcher-4506800-1751167004 -o /tmp/evaluation-result-4506800-1751167004/solver-4506800-1751167004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751159447-18293 --watchdog 3760 run-dec-break.sh HOME/instance-4506800-1751167004.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19682, runsolver pid=19679
[startup+0.100082 s]*
/proc/loadavg: 4.15 4.18 4.17 5/255 19684
/proc/meminfo: memFree=128159392/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19684] ppid=19682 vsize=38256 memory=26040 CPUtime=0.09 cores=0,2
/proc/19684/stat : 19684 (pbsuma) R 19682 19682 18283 0 -1 4194304 6255 0 0 0 7 2 0 0 20 0 1 0 32379743 39174144 6478 18446744073709551615 4210688 4653049 140732968174256 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 5308416 140732968175971 140732968176178 140732968176178 140732968181743 0
/proc/19684/statm: 9564 6510 992 108 0 6972 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42448 KiB
Current children cumulated memory: 28984 KiB
[startup+0.213532 s]*
/proc/loadavg: 4.15 4.18 4.17 5/255 19685
/proc/meminfo: memFree=128143532/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=60408 memory=13568 CPUtime=0.02 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 1568 0 0 0 1 1 0 0 20 0 1 0 32379762 61857792 3392 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 15102 3392 2016 1147 0 2529 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 64600 KiB
Current children cumulated memory: 16512 KiB
[startup+0.313438 s]*
/proc/loadavg: 4.15 4.18 4.17 5/255 19685
/proc/meminfo: memFree=128143788/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=64344 memory=17920 CPUtime=0.12 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 2689 0 0 0 9 3 0 0 20 0 1 0 32379762 65888256 4480 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 16086 4480 2016 1147 0 3513 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 68536 KiB
Current children cumulated memory: 20864 KiB
[startup+0.700384 s]
/proc/loadavg: 4.15 4.18 4.17 5/255 19685
/proc/meminfo: memFree=128143788/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=108140 memory=51380 CPUtime=0.48 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 11349 0 0 0 41 7 0 0 20 0 1 0 32379762 110735360 12845 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 27035 12845 2272 1147 0 14462 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 112332 KiB
Current children cumulated memory: 54324 KiB
[startup+1.50036 s]
/proc/loadavg: 4.15 4.18 4.17 5/255 19685
/proc/meminfo: memFree=128143788/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=108140 memory=52020 CPUtime=1.28 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 11482 0 0 0 121 7 0 0 20 0 1 0 32379762 110735360 13005 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 27035 13005 2304 1147 0 14462 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 112332 KiB
Current children cumulated memory: 54964 KiB
[startup+3.11308 s]
/proc/loadavg: 4.14 4.17 4.17 5/255 19685
/proc/meminfo: memFree=128135760/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=110024 memory=54196 CPUtime=2.9 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 12013 0 0 0 282 8 0 0 20 0 1 0 32379762 112664576 13549 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 27506 13549 2304 1147 0 14933 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 114216 KiB
Current children cumulated memory: 57140 KiB
[startup+6.30034 s]
/proc/loadavg: 4.14 4.17 4.17 5/255 19685
/proc/meminfo: memFree=128107596/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=113980 memory=62852 CPUtime=6.07 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 13629 0 0 0 592 15 0 0 20 0 1 0 32379762 116715520 15713 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 28495 15713 2368 1147 0 15922 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 118172 KiB
Current children cumulated memory: 65796 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.19 4.17 5/255 19685
/proc/meminfo: memFree=128057816/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=123352 memory=72112 CPUtime=12.45 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 15427 0 0 0 1217 28 0 0 20 0 1 0 32379762 126312448 18028 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 30838 18028 2368 1147 0 18265 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 127544 KiB
Current children cumulated memory: 75056 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.18 4.17 5/255 19685
/proc/meminfo: memFree=127994508/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=146804 memory=92420 CPUtime=25.22 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 19476 0 0 0 2473 49 0 0 20 0 1 0 32379762 150327296 23105 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 36701 23105 2368 1147 0 24128 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 150996 KiB
Current children cumulated memory: 95364 KiB
[startup+51.1132 s]
/proc/loadavg: 4.16 4.18 4.17 5/255 19686
/proc/meminfo: memFree=127909416/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=162624 memory=109488 CPUtime=50.76 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 23244 0 0 0 4989 87 0 0 20 0 1 0 32379762 166526976 27372 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 40656 27372 2368 1147 0 28083 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 166816 KiB
Current children cumulated memory: 112432 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/256 19691
/proc/meminfo: memFree=127861556/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=197288 memory=143532 CPUtime=101.79 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 29788 0 0 0 10036 143 0 0 20 0 1 0 32379762 202022912 35883 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 49322 35883 2368 1147 0 36749 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 201480 KiB
Current children cumulated memory: 146476 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/255 19695
/proc/meminfo: memFree=127806516/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=265416 memory=183964 CPUtime=161.61 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 35296 0 0 0 15949 212 0 0 20 0 1 0 32379762 271785984 45991 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 66354 45991 2368 1147 0 53781 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 269608 KiB
Current children cumulated memory: 186908 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/255 19744
/proc/meminfo: memFree=129337852/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=272832 memory=210000 CPUtime=221.43 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 37209 0 0 0 21882 261 0 0 20 0 1 0 32379762 279379968 52500 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 68208 52500 2368 1147 0 55635 0
################
# More data... #
################
/proc/19685/statm: 250976 200589 2368 1147 0 238403 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 1008096 KiB
Current children cumulated memory: 805300 KiB
[startup+3162.3 s]
/proc/loadavg: 4.34 4.28 4.22 5/256 19899
/proc/meminfo: memFree=126774696/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=1003904 memory=802356 CPUtime=3153.1 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 98356 0 0 0 313457 1853 0 0 20 0 1 0 32379762 1027997696 200589 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 250976 200589 2368 1147 0 238403 0
Current children cumulated CPU time: 3153.27 s
Current children cumulated vsize: 1008096 KiB
Current children cumulated memory: 805300 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.24 4.20 5/255 19901
/proc/meminfo: memFree=126773632/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=1003904 memory=802356 CPUtime=3212.94 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 98356 0 0 0 319416 1878 0 0 20 0 1 0 32379762 1027997696 200589 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 250976 200589 2368 1147 0 238403 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 1008096 KiB
Current children cumulated memory: 805300 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.23 4.20 5/255 19904
/proc/meminfo: memFree=126776220/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=1004252 memory=802740 CPUtime=3272.77 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 98443 0 0 0 325352 1925 0 0 20 0 1 0 32379762 1028354048 200685 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 251063 200685 2368 1147 0 238490 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 1008444 KiB
Current children cumulated memory: 805684 KiB
[startup+3342.3 s]
/proc/loadavg: 3.05 3.92 4.09 3/240 19966
/proc/meminfo: memFree=128614040/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=1004252 memory=802740 CPUtime=3332.62 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 98443 0 0 0 331302 1960 0 0 20 0 1 0 32379762 1028354048 200685 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 251063 200685 2368 1147 0 238490 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 1008444 KiB
Current children cumulated memory: 805684 KiB
[startup+3402.3 s]
/proc/loadavg: 2.48 3.60 3.97 3/240 19969
/proc/meminfo: memFree=128638112/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=1005680 memory=803892 CPUtime=3392.46 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 98880 0 0 0 337251 1995 0 0 20 0 1 0 32379762 1029816320 200973 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 251420 200973 2368 1147 0 238847 0
Current children cumulated CPU time: 3392.63 s
Current children cumulated vsize: 1009872 KiB
Current children cumulated memory: 806836 KiB
[startup+3462.3 s]
/proc/loadavg: 2.18 3.30 3.84 3/240 19971
/proc/meminfo: memFree=128634660/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=1013052 memory=809396 CPUtime=3452.32 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 100402 0 0 0 343214 2018 0 0 20 0 1 0 32379762 1037365248 202349 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 253263 202349 2368 1147 0 240690 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 1017244 KiB
Current children cumulated memory: 812340 KiB
[startup+3522.3 s]
/proc/loadavg: 2.17 3.09 3.74 3/240 19973
/proc/meminfo: memFree=128626096/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=1020052 memory=814516 CPUtime=3512.16 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 101707 0 0 0 349166 2050 0 0 20 0 1 0 32379762 1044533248 203629 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 255013 203629 2368 1147 0 242440 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 1024244 KiB
Current children cumulated memory: 817460 KiB
[startup+3582.3 s]
/proc/loadavg: 2.12 2.91 3.63 3/240 19975
/proc/meminfo: memFree=128614312/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=1020052 memory=814516 CPUtime=3572 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 101708 0 0 0 355116 2084 0 0 20 0 1 0 32379762 1044533248 203629 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 255013 203629 2368 1147 0 242440 0
Current children cumulated CPU time: 3572.17 s
Current children cumulated vsize: 1024244 KiB
Current children cumulated memory: 817460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 2.14 2.84 3.58 3/241 19980
/proc/meminfo: memFree=128597716/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=1020052 memory=815028 CPUtime=3599.92 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 101813 0 0 0 357886 2106 0 0 20 0 1 0 32379762 1044533248 203757 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 255013 203757 2368 1147 0 242440 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1024244 KiB
Current children cumulated memory: 817972 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.31 s]
# the end of solver process 19682 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.139709 s, system=0.046223 s
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 19685 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3579.01 s, system=21.1157 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 2.14 2.84 3.58 3/241 19980
/proc/meminfo: memFree=128597716/131382120 swapFree=33010684/33010684
[pid=19682] ppid=19679 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/19682/stat : 19682 (run-dec-break.s) S 19679 19682 18283 0 -1 4194304 236 10798 0 0 0 0 13 4 20 0 1 0 32379742 4292608 736 18446744073709551615 94856842280960 94856843175493 140729578443568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94856843414544 94856843462288 94856849338368 140729578449249 140729578449378 140729578449378 140729578454980 0
/proc/19682/statm: 1048 736 672 219 0 110 0
[pid=19685] ppid=19682 vsize=1020052 memory=815028 CPUtime=3599.92 cores=0,2
/proc/19685/stat : 19685 (roundingsat) R 19682 19682 18283 0 -1 4194304 101813 0 0 0 357886 2106 0 0 20 0 1 0 32379762 1044533248 203757 18446744073709551615 4227072 8923433 140725945069008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29102080 140725945071940 140725945072168 140725945072168 140725945077738 0
/proc/19685/statm: 255013 203757 2368 1147 0 242440 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1024244 KiB
Current children cumulated memory: 817972 KiB
Child status: 2
Real time (s): 3610.31
CPU time (s): 3600.13
CPU user time (s): 3579.01
CPU system time (s): 21.1157
CPU usage (%): 99.7179
Max. virtual memory (cumulated for all children) (KiB): 1024244
Max. memory (cumulated for all children) (KiB): 817972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.01
system time used= 21.1157
maximum resident set size= 815412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112867
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 406
involuntary context switches= 8975
# summary of solver processes directly reported to runsolver:
# pid: 19682,19685
# total CPU time (s): 3600.13
# total CPU user time (s): 3579.01
# total CPU system time (s): 21.1157
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3806 second user time and 36.6722 second system time
The end
Begin job on nodeC006 at 2025-06-29 05:16:44
IDJOB=4506800
IDBENCH=158265
IDSOLVER=3357
FILE ID=nodeC006/4506800-1751167004
RUNJOBID= nodeC006-1751159447-18293
SLURM_JOB_ID= 9587503
Free space on /tmp= 432948 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506800-1751167004/watcher-4506800-1751167004 -o /tmp/evaluation-result-4506800-1751167004/solver-4506800-1751167004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751159447-18293 --watchdog 3760 run-dec-break.sh HOME/instance-4506800-1751167004.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= df8f338dbd068337fef89bf4c43df9f5
RANDOM SEED=954326968
nodeC006 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 : 0xb00001f
cpu MHz : 1197.435
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3691.181
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.266
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.700
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3491.680
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3658.052
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.678
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.206
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128179488 kB
MemAvailable: 127905720 kB
Buffers: 3280 kB
Cached: 537820 kB
SwapCached: 0 kB
Active: 2366696 kB
Inactive: 290056 kB
Active(anon): 2133612 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 290056 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8476 kB
Writeback: 0 kB
AnonPages: 2116936 kB
Mapped: 115616 kB
Shmem: 17960 kB
KReclaimable: 85056 kB
Slab: 163888 kB
SReclaimable: 85056 kB
SUnreclaim: 78832 kB
KernelStack: 4096 kB
PageTables: 7364 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2631708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1550336 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433040 MiB
End job on nodeC006 at 2025-06-29 06:16:54