0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4507160-1751179929.opb'
0.00/0.04 c read 1.60MB (21.35ms)
0.00/0.04 c [cnf: #variables 23086 #clauses 23476 #duplicates 0 #arr 151092]
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.07 c [group: #orbits ~= 3492] (30.19ms)
0.00/0.07 c
0.00/0.07 c detect special group actions
0.00/0.07 c probe for Johnson action (limit=64)
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c (4.36ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.08 c [graph: #vertices 115820 #edges 440700]
0.00/0.08 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.10 c [group: #symmetries 4.80*10^1 #generators 5] (25.36ms)
0.00/0.10 c
0.00/0.10 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.10 c (0.13ms)
0.00/0.10 c
0.00/0.10 c finalize break order and special generators
0.08/0.10 c
0.08/0.10 c add generic predicates (break_depth=10)
0.08/0.10 c added predicates for 5 generators (0.21ms)
0.08/0.10 c
0.08/0.10 c generation finished
0.08/0.10 c [sbp: #constraints 140 #add_vars 45]
0.08/0.10 c
0.08/0.10 c write result to 'HOME/instance-4507160-1751179929.opb.pre'
0.08/0.11 c wrote 1.63MB (3.71ms)
0.08/0.11 c ------------------------------------------------------------------
0.08/0.11 c 30.19ms 34.32% approx_orbits
0.08/0.11 c 25.36ms 28.83% detect_generic
0.08/0.11 c 21.35ms 24.27% parse
0.08/0.11 c 4.36ms 4.96% detect_special
0.08/0.11 c 3.71ms 4.22% output
0.08/0.11 c 1.68ms 1.91% other
0.08/0.11 c 0.97ms 1.10% finalize_order
0.08/0.11 c 0.21ms 0.24% break_generic
0.08/0.11 c 0.13ms 0.14% optimize_gens
0.08/0.11 c ───────────────────────────────────────────────
0.08/0.11 c 87.97ms 100% total
0.08/0.11 c ------------------------------------------------------------------
0.08/0.13 c RoundingSat 2
0.08/0.13 c branch pb25
0.08/0.13 c commit 63f22ad
0.15/0.27 c #variables 23131 #constraints 23614
114.42/114.89 c #Conflicts: 1000 | #Constraints: 24613
114.42/114.89 c #Conflicts: 2000 | #Constraints: 25613
114.42/114.89 c INPROCESSING
114.42/114.89 c GARBAGE COLLECT
114.42/114.89 c #Conflicts: 3000 | #Constraints: 24887
114.42/114.89 c #Conflicts: 4000 | #Constraints: 25887
114.42/114.89 c INPROCESSING
114.42/114.89 c GARBAGE COLLECT
114.42/114.89 c #Conflicts: 5000 | #Constraints: 25395
114.42/114.89 c #Conflicts: 6000 | #Constraints: 26395
114.42/114.89 c INPROCESSING
114.42/114.89 c GARBAGE COLLECT
114.42/114.89 c #Conflicts: 7000 | #Constraints: 25491
114.42/114.89 c #Conflicts: 8000 | #Constraints: 26491
114.42/114.89 c #Conflicts: 9000 | #Constraints: 27491
114.42/114.89 c #Conflicts: 10000 | #Constraints: 28491
114.42/114.89 c #Conflicts: 11000 | #Constraints: 29491
114.42/114.89 c #Conflicts: 12000 | #Constraints: 30491
114.42/114.89 c INPROCESSING
114.42/114.89 c GARBAGE COLLECT
114.42/114.89 c #Conflicts: 13000 | #Constraints: 27562
114.42/114.89 c #Conflicts: 14000 | #Constraints: 28562
114.42/114.89 c #Conflicts: 15000 | #Constraints: 29562
114.42/114.89 c #Conflicts: 16000 | #Constraints: 30562
114.42/114.89 c INPROCESSING
114.42/114.89 c GARBAGE COLLECT
114.42/114.89 c #Conflicts: 17000 | #Constraints: 28346
114.42/114.89 c #Conflicts: 18000 | #Constraints: 29346
114.42/114.89 c #Conflicts: 19000 | #Constraints: 30346
114.42/114.89 c #Conflicts: 20000 | #Constraints: 31346
114.42/114.89 c #Conflicts: 21000 | #Constraints: 32346
114.42/114.89 c #Conflicts: 22000 | #Constraints: 33346
114.42/114.89 c #Conflicts: 23000 | #Constraints: 34346
114.42/114.89 c #Conflicts: 24000 | #Constraints: 35346
114.42/114.89 c #Conflicts: 25000 | #Constraints: 36346
114.42/114.89 c INPROCESSING
114.42/114.89 c GARBAGE COLLECT
114.42/114.89 c #Conflicts: 26000 | #Constraints: 30680
114.42/114.89 c #Conflicts: 27000 | #Constraints: 31680
114.42/114.89 c #Conflicts: 28000 | #Constraints: 32680
114.42/114.89 c #Conflicts: 29000 | #Constraints: 33680
114.42/114.89 c #Conflicts: 30000 | #Constraints: 34680
114.42/114.89 c INPROCESSING
114.42/114.89 c GARBAGE COLLECT
114.42/114.89 c #Conflicts: 31000 | #Constraints: 31345
114.42/114.89 c #Conflicts: 32000 | #Constraints: 32345
114.42/114.89 c #Conflicts: 33000 | #Constraints: 33345
114.42/114.89 c #Conflicts: 34000 | #Constraints: 34345
114.42/114.89 c #Conflicts: 35000 | #Constraints: 35345
114.42/114.89 c #Conflicts: 36000 | #Constraints: 36345
114.42/114.89 c #Conflicts: 37000 | #Constraints: 37345
114.42/114.89 c #Conflicts: 38000 | #Constraints: 38345
114.42/114.89 c #Conflicts: 39000 | #Constraints: 39345
114.42/114.89 c #Conflicts: 40000 | #Constraints: 40345
114.42/114.89 c #Conflicts: 41000 | #Constraints: 41345
114.42/114.89 c #Conflicts: 42000 | #Constraints: 42345
114.42/114.89 c #Conflicts: 43000 | #Constraints: 43345
114.42/114.89 c INPROCESSING
114.42/114.89 c GARBAGE COLLECT
114.42/114.89 c #Conflicts: 44000 | #Constraints: 34619
114.42/114.89 c #Conflicts: 45000 | #Constraints: 35619
114.42/114.89 c #Conflicts: 46000 | #Constraints: 36619
114.42/114.89 c #Conflicts: 47000 | #Constraints: 37619
114.42/114.89 c #Conflicts: 48000 | #Constraints: 38619
114.42/114.89 c #Conflicts: 49000 | #Constraints: 39619
114.42/114.89 c #Conflicts: 50000 | #Constraints: 40619
114.42/114.89 c #Conflicts: 51000 | #Constraints: 41619
114.42/114.89 c #Conflicts: 52000 | #Constraints: 42619
114.42/114.89 c #Conflicts: 53000 | #Constraints: 43619
114.42/114.89 c #Conflicts: 54000 | #Constraints: 44619
114.42/114.89 c #Conflicts: 55000 | #Constraints: 45619
114.42/114.89 c #Conflicts: 56000 | #Constraints: 46619
114.42/114.89 c #Conflicts: 57000 | #Constraints: 47619
114.42/114.89 c INPROCESSING
114.42/114.89 c GARBAGE COLLECT
114.42/114.89 c #Conflicts: 58000 | #Constraints: 36696
114.42/114.89 c #Conflicts: 59000 | #Constraints: 37696
114.42/114.89 c #Conflicts: 60000 | #Constraints: 38696
114.42/114.89 c #Conflicts: 61000 | #Constraints: 39696
114.42/114.89 c #Conflicts: 62000 | #Constraints: 40696
114.42/114.89 c #Conflicts: 63000 | #Constraints: 41696
114.42/114.89 c #Conflicts: 64000 | #Constraints: 42696
114.42/114.89 c #Conflicts: 65000 | #Constraints: 43696
114.42/114.89 c #Conflicts: 66000 | #Constraints: 44696
114.42/114.89 c #Conflicts: 67000 | #Constraints: 45696
114.42/114.89 c #Conflicts: 68000 | #Constraints: 46696
114.42/114.89 c #Conflicts: 69000 | #Constraints: 47696
114.42/114.89 c #Conflicts: 70000 | #Constraints: 48696
114.42/114.89 c #Conflicts: 71000 | #Constraints: 49696
114.42/114.89 c #Conflicts: 72000 | #Constraints: 50696
114.42/114.89 c #Conflicts: 73000 | #Constraints: 51696
114.42/114.89 c #Conflicts: 74000 | #Constraints: 52696
239.03/239.79 c INPROCESSING
239.03/239.79 c GARBAGE COLLECT
239.03/239.79 c #Conflicts: 75000 | #Constraints: 39589
239.03/239.79 c #Conflicts: 76000 | #Constraints: 40589
239.03/239.79 c #Conflicts: 77000 | #Constraints: 41589
239.03/239.79 c #Conflicts: 78000 | #Constraints: 42589
239.03/239.79 c #Conflicts: 79000 | #Constraints: 43589
239.03/239.79 c #Conflicts: 80000 | #Constraints: 44589
239.03/239.79 c #Conflicts: 81000 | #Constraints: 45589
239.03/239.79 c #Conflicts: 82000 | #Constraints: 46589
239.03/239.79 c #Conflicts: 83000 | #Constraints: 47589
239.03/239.79 c #Conflicts: 84000 | #Constraints: 48589
239.03/239.79 c #Conflicts: 85000 | #Constraints: 49589
239.03/239.79 c #Conflicts: 86000 | #Constraints: 50589
239.03/239.79 c #Conflicts: 87000 | #Constraints: 51589
239.03/239.79 c #Conflicts: 88000 | #Constraints: 52589
239.03/239.79 c #Conflicts: 89000 | #Constraints: 53589
239.03/239.79 c #Conflicts: 90000 | #Constraints: 54589
239.03/239.79 c #Conflicts: 91000 | #Constraints: 55589
239.03/239.79 c #Conflicts: 92000 | #Constraints: 56589
239.03/239.79 c INPROCESSING
239.03/239.79 c GARBAGE COLLECT
239.03/239.79 c #Conflicts: 93000 | #Constraints: 41517
239.03/239.79 c #Conflicts: 94000 | #Constraints: 42517
239.03/239.79 c #Conflicts: 95000 | #Constraints: 43517
239.03/239.79 c #Conflicts: 96000 | #Constraints: 44517
239.03/239.79 c #Conflicts: 97000 | #Constraints: 45517
239.03/239.79 c #Conflicts: 98000 | #Constraints: 46517
239.03/239.79 c #Conflicts: 99000 | #Constraints: 47517
239.03/239.79 c #Conflicts: 100000 | #Constraints: 48517
239.03/239.79 c #Conflicts: 101000 | #Constraints: 49518
239.03/239.79 c #Conflicts: 102000 | #Constraints: 50518
239.03/239.79 c #Conflicts: 103000 | #Constraints: 51518
239.03/239.79 c #Conflicts: 104000 | #Constraints: 52518
239.03/239.79 c #Conflicts: 105000 | #Constraints: 53518
239.03/239.79 c #Conflicts: 106000 | #Constraints: 54518
239.03/239.79 c #Conflicts: 107000 | #Constraints: 55518
239.03/239.79 c #Conflicts: 108000 | #Constraints: 56518
239.03/239.79 c #Conflicts: 109000 | #Constraints: 57518
239.03/239.79 c #Conflicts: 110000 | #Constraints: 58518
239.03/239.79 c #Conflicts: 111000 | #Constraints: 59518
239.03/239.79 c #Conflicts: 112000 | #Constraints: 60518
239.03/239.79 c INPROCESSING
239.03/239.79 c GARBAGE COLLECT
239.03/239.79 c #Conflicts: 113000 | #Constraints: 43358
239.03/239.79 c #Conflicts: 114000 | #Constraints: 44358
239.03/239.79 c #Conflicts: 115000 | #Constraints: 45358
239.03/239.79 c #Conflicts: 116000 | #Constraints: 46358
239.03/239.79 c #Conflicts: 117000 | #Constraints: 47358
239.03/239.79 c #Conflicts: 118000 | #Constraints: 48358
239.03/239.79 c #Conflicts: 119000 | #Constraints: 49358
239.03/239.79 c #Conflicts: 120000 | #Constraints: 50358
239.03/239.79 c #Conflicts: 121000 | #Constraints: 51358
239.03/239.79 c #Conflicts: 122000 | #Constraints: 52358
239.03/239.79 c #Conflicts: 123000 | #Constraints: 53358
239.03/239.79 c #Conflicts: 124000 | #Constraints: 54358
239.03/239.79 c #Conflicts: 125000 | #Constraints: 55358
239.03/239.79 c #Conflicts: 126000 | #Constraints: 56358
239.03/239.79 c #Conflicts: 127000 | #Constraints: 57358
239.03/239.79 c #Conflicts: 128000 | #Constraints: 58358
239.03/239.79 c #Conflicts: 129000 | #Constraints: 59358
239.03/239.79 c #Conflicts: 130000 | #Constraints: 60358
239.03/239.79 c #Conflicts: 131000 | #Constraints: 61358
239.03/239.79 c #Conflicts: 132000 | #Constraints: 62358
239.03/239.79 c #Conflicts: 133000 | #Constraints: 63358
239.03/239.79 c #Conflicts: 134000 | #Constraints: 64358
239.03/239.79 c #Conflicts: 135000 | #Constraints: 65358
239.03/239.79 c INPROCESSING
239.03/239.79 c GARBAGE COLLECT
239.03/239.79 c #Conflicts: 136000 | #Constraints: 46125
239.03/239.79 c #Conflicts: 137000 | #Constraints: 47125
239.03/239.79 c #Conflicts: 138000 | #Constraints: 48125
239.03/239.79 c #Conflicts: 139000 | #Constraints: 49125
239.03/239.79 c #Conflicts: 140000 | #Constraints: 50125
239.03/239.79 c #Conflicts: 141000 | #Constraints: 51125
239.03/239.79 c #Conflicts: 142000 | #Constraints: 52125
239.03/239.79 c #Conflicts: 143000 | #Constraints: 53125
239.03/239.79 c #Conflicts: 144000 | #Constraints: 54125
239.03/239.79 c #Conflicts: 145000 | #Constraints: 55125
239.03/239.79 c #Conflicts: 146000 | #Constraints: 56125
239.03/239.79 c #Conflicts: 147000 | #Constraints: 57125
239.03/239.79 c #Conflicts: 148000 | #Constraints: 58125
239.03/239.79 c #Conflicts: 149000 | #Constraints: 59125
239.03/239.79 c #Conflicts: 150000 | #Constraints: 60125
397.06/398.15 c #Conflicts: 151000 | #Constraints: 61125
397.06/398.15 c #Conflicts: 152000 | #Constraints: 62125
397.06/398.15 c #Conflicts: 153000 | #Constraints: 63125
397.06/398.15 c #Conflicts: 154000 | #Constraints: 64125
397.06/398.15 c #Conflicts: 155000 | #Constraints: 65125
397.06/398.15 c #Conflicts: 156000 | #Constraints: 66125
397.06/398.15 c #Conflicts: 157000 | #Constraints: 67125
397.06/398.15 c #Conflicts: 158000 | #Constraints: 68125
397.06/398.15 c #Conflicts: 159000 | #Constraints: 69125
397.06/398.15 c INPROCESSING
397.06/398.15 c GARBAGE COLLECT
397.06/398.15 c #Conflicts: 160000 | #Constraints: 47800
397.06/398.15 c #Conflicts: 161000 | #Constraints: 48800
397.06/398.15 c #Conflicts: 162000 | #Constraints: 49800
397.06/398.15 c #Conflicts: 163000 | #Constraints: 50800
397.06/398.15 c #Conflicts: 164000 | #Constraints: 51800
397.06/398.15 c #Conflicts: 165000 | #Constraints: 52800
397.06/398.15 c #Conflicts: 166000 | #Constraints: 53800
397.06/398.15 c #Conflicts: 167000 | #Constraints: 54800
397.06/398.15 c #Conflicts: 168000 | #Constraints: 55800
397.06/398.15 c #Conflicts: 169000 | #Constraints: 56800
397.06/398.15 c #Conflicts: 170000 | #Constraints: 57800
397.06/398.15 c #Conflicts: 171000 | #Constraints: 58800
397.06/398.15 c #Conflicts: 172000 | #Constraints: 59800
397.06/398.15 c #Conflicts: 173000 | #Constraints: 60800
397.06/398.15 c #Conflicts: 174000 | #Constraints: 61800
397.06/398.15 c #Conflicts: 175000 | #Constraints: 62800
397.06/398.15 c #Conflicts: 176000 | #Constraints: 63800
397.06/398.15 c #Conflicts: 177000 | #Constraints: 64800
397.06/398.15 c #Conflicts: 178000 | #Constraints: 65800
397.06/398.15 c #Conflicts: 179000 | #Constraints: 66800
397.06/398.15 c #Conflicts: 180000 | #Constraints: 67800
397.06/398.15 c #Conflicts: 181000 | #Constraints: 68800
397.06/398.15 c #Conflicts: 182000 | #Constraints: 69800
397.06/398.15 c #Conflicts: 183000 | #Constraints: 70800
397.06/398.15 c #Conflicts: 184000 | #Constraints: 71800
397.06/398.15 c #Conflicts: 185000 | #Constraints: 72800
397.06/398.15 c #Conflicts: 186000 | #Constraints: 73800
397.06/398.15 c INPROCESSING
397.06/398.15 c GARBAGE COLLECT
397.06/398.15 c #Conflicts: 187000 | #Constraints: 50622
397.06/398.15 c #Conflicts: 188000 | #Constraints: 51622
397.06/398.15 c #Conflicts: 189000 | #Constraints: 52622
397.06/398.15 c #Conflicts: 190000 | #Constraints: 53622
397.06/398.15 c #Conflicts: 191000 | #Constraints: 54622
397.06/398.15 c #Conflicts: 192000 | #Constraints: 55622
397.06/398.15 c #Conflicts: 193000 | #Constraints: 56622
397.06/398.15 c #Conflicts: 194000 | #Constraints: 57622
397.06/398.15 c #Conflicts: 195000 | #Constraints: 58622
397.06/398.15 c #Conflicts: 196000 | #Constraints: 59622
397.06/398.15 c #Conflicts: 197000 | #Constraints: 60622
397.06/398.15 c #Conflicts: 198000 | #Constraints: 61622
397.06/398.15 c #Conflicts: 199000 | #Constraints: 62622
397.06/398.15 c #Conflicts: 200000 | #Constraints: 63622
397.06/398.15 c #Conflicts: 201000 | #Constraints: 64622
397.06/398.15 c #Conflicts: 202000 | #Constraints: 65622
397.06/398.15 c #Conflicts: 203000 | #Constraints: 66622
397.06/398.15 c #Conflicts: 204000 | #Constraints: 67622
397.06/398.15 c #Conflicts: 205000 | #Constraints: 68622
397.06/398.15 c #Conflicts: 206000 | #Constraints: 69622
397.06/398.15 c #Conflicts: 207000 | #Constraints: 70622
397.06/398.15 c #Conflicts: 208000 | #Constraints: 71622
397.06/398.15 c #Conflicts: 209000 | #Constraints: 72622
397.06/398.15 c #Conflicts: 210000 | #Constraints: 73622
397.06/398.15 c #Conflicts: 211000 | #Constraints: 74622
397.06/398.15 c #Conflicts: 212000 | #Constraints: 75622
397.06/398.15 c #Conflicts: 213000 | #Constraints: 76622
397.06/398.15 c #Conflicts: 214000 | #Constraints: 77622
397.06/398.15 c INPROCESSING
397.06/398.15 c GARBAGE COLLECT
397.06/398.15 c #Conflicts: 215000 | #Constraints: 52245
397.06/398.15 c #Conflicts: 216000 | #Constraints: 53245
397.06/398.15 c #Conflicts: 217000 | #Constraints: 54245
397.06/398.15 c #Conflicts: 218000 | #Constraints: 55245
397.06/398.15 c #Conflicts: 219000 | #Constraints: 56245
397.06/398.15 c #Conflicts: 220000 | #Constraints: 57245
397.06/398.15 c #Conflicts: 221000 | #Constraints: 58245
397.06/398.15 c #Conflicts: 222000 | #Constraints: 59245
397.06/398.15 c #Conflicts: 223000 | #Constraints: 60245
397.06/398.15 c #Conflicts: 224000 | #Constraints: 61245
397.06/398.15 c #Conflicts: 225000 | #Constraints: 62245
397.06/398.15 c #Conflicts: 226000 | #Constraints: 63245
397.06/398.15 c #Conflicts: 227000 | #Constraints: 64245
565.45/566.91 c #Conflicts: 228000 | #Constraints: 65245
565.45/566.91 c #Conflicts: 229000 | #Constraints: 66245
565.45/566.91 c #Conflicts: 230000 | #Constraints: 67245
565.45/566.91 c #Conflicts: 231000 | #Constraints: 68245
565.45/566.91 c #Conflicts: 232000 | #Constraints: 69245
565.45/566.91 c #Conflicts: 233000 | #Constraints: 70245
565.45/566.91 c #Conflicts: 234000 | #Constraints: 71245
565.45/566.91 c #Conflicts: 235000 | #Constraints: 72245
565.45/566.91 c #Conflicts: 236000 | #Constraints: 73245
565.45/566.91 c #Conflicts: 237000 | #Constraints: 74245
565.45/566.91 c #Conflicts: 238000 | #Constraints: 75245
565.45/566.91 c #Conflicts: 239000 | #Constraints: 76245
565.45/566.91 c #Conflicts: 240000 | #Constraints: 77245
565.45/566.91 c #Conflicts: 241000 | #Constraints: 78245
565.45/566.91 c #Conflicts: 242000 | #Constraints: 79245
565.45/566.91 c #Conflicts: 243000 | #Constraints: 80245
565.45/566.91 c #Conflicts: 244000 | #Constraints: 81245
565.45/566.91 c INPROCESSING
565.45/566.91 c GARBAGE COLLECT
565.45/566.91 c #Conflicts: 245000 | #Constraints: 54029
565.45/566.91 c #Conflicts: 246000 | #Constraints: 55029
565.45/566.91 c #Conflicts: 247000 | #Constraints: 56029
565.45/566.91 c #Conflicts: 248000 | #Constraints: 57029
565.45/566.91 c #Conflicts: 249000 | #Constraints: 58029
565.45/566.91 c #Conflicts: 250000 | #Constraints: 59029
565.45/566.91 c #Conflicts: 251000 | #Constraints: 60029
565.45/566.91 c #Conflicts: 252000 | #Constraints: 61029
565.45/566.91 c #Conflicts: 253000 | #Constraints: 62029
565.45/566.91 c #Conflicts: 254000 | #Constraints: 63029
565.45/566.91 c #Conflicts: 255000 | #Constraints: 64029
565.45/566.91 c #Conflicts: 256000 | #Constraints: 65029
565.45/566.91 c #Conflicts: 257000 | #Constraints: 66029
565.45/566.91 c #Conflicts: 258000 | #Constraints: 67029
565.45/566.91 c #Conflicts: 259000 | #Constraints: 68029
565.45/566.91 c #Conflicts: 260000 | #Constraints: 69029
565.45/566.91 c #Conflicts: 261000 | #Constraints: 70029
565.45/566.91 c #Conflicts: 262000 | #Constraints: 71029
565.45/566.91 c #Conflicts: 263000 | #Constraints: 72029
565.45/566.91 c #Conflicts: 264000 | #Constraints: 73029
565.45/566.91 c #Conflicts: 265000 | #Constraints: 74029
565.45/566.91 c #Conflicts: 266000 | #Constraints: 75029
565.45/566.91 c #Conflicts: 267000 | #Constraints: 76029
565.45/566.91 c #Conflicts: 268000 | #Constraints: 77029
565.45/566.91 c #Conflicts: 269000 | #Constraints: 78029
565.45/566.91 c #Conflicts: 270000 | #Constraints: 79029
565.45/566.91 c #Conflicts: 271000 | #Constraints: 80029
565.45/566.91 c #Conflicts: 272000 | #Constraints: 81029
565.45/566.91 c #Conflicts: 273000 | #Constraints: 82029
565.45/566.91 c #Conflicts: 274000 | #Constraints: 83029
565.45/566.91 c #Conflicts: 275000 | #Constraints: 84029
565.45/566.91 c #Conflicts: 276000 | #Constraints: 85029
565.45/566.91 c #Conflicts: 277000 | #Constraints: 86029
565.45/566.91 c INPROCESSING
565.45/566.91 c GARBAGE COLLECT
565.45/566.91 c #Conflicts: 278000 | #Constraints: 56686
565.45/566.91 c #Conflicts: 279000 | #Constraints: 57686
565.45/566.91 c #Conflicts: 280000 | #Constraints: 58686
565.45/566.91 c #Conflicts: 281000 | #Constraints: 59686
565.45/566.91 c #Conflicts: 282000 | #Constraints: 60686
565.45/566.91 c #Conflicts: 283000 | #Constraints: 61686
565.45/566.91 c #Conflicts: 284000 | #Constraints: 62686
565.45/566.91 c #Conflicts: 285000 | #Constraints: 63686
565.45/566.91 c #Conflicts: 286000 | #Constraints: 64686
565.45/566.91 c #Conflicts: 287000 | #Constraints: 65686
565.45/566.91 c #Conflicts: 288000 | #Constraints: 66686
565.45/566.91 c #Conflicts: 289000 | #Constraints: 67686
565.45/566.91 c #Conflicts: 290000 | #Constraints: 68686
565.45/566.91 c #Conflicts: 291000 | #Constraints: 69686
565.45/566.91 c #Conflicts: 292000 | #Constraints: 70686
565.45/566.91 c #Conflicts: 293000 | #Constraints: 71686
565.45/566.91 c #Conflicts: 294000 | #Constraints: 72686
565.45/566.91 c #Conflicts: 295000 | #Constraints: 73686
565.45/566.91 c #Conflicts: 296000 | #Constraints: 74686
565.45/566.91 c #Conflicts: 297000 | #Constraints: 75686
565.45/566.91 c #Conflicts: 298000 | #Constraints: 76686
565.45/566.91 c #Conflicts: 299000 | #Constraints: 77686
565.45/566.91 c #Conflicts: 300000 | #Constraints: 78686
565.45/566.91 c #Conflicts: 301000 | #Constraints: 79686
565.45/566.91 c #Conflicts: 302000 | #Constraints: 80686
565.45/566.91 c #Conflicts: 303000 | #Constraints: 81686
565.45/566.91 c #Conflicts: 304000 | #Constraints: 82686
708.73/710.54 c #Conflicts: 305000 | #Constraints: 83686
708.73/710.54 c #Conflicts: 306000 | #Constraints: 84686
708.73/710.54 c #Conflicts: 307000 | #Constraints: 85686
708.73/710.54 c #Conflicts: 308000 | #Constraints: 86686
708.73/710.54 c #Conflicts: 309000 | #Constraints: 87686
708.73/710.54 c #Conflicts: 310000 | #Constraints: 88686
708.73/710.54 c #Conflicts: 311000 | #Constraints: 89686
708.73/710.54 c INPROCESSING
708.73/710.54 c GARBAGE COLLECT
708.73/710.54 c #Conflicts: 312000 | #Constraints: 58429
708.73/710.54 c #Conflicts: 313000 | #Constraints: 59429
708.73/710.54 c #Conflicts: 314000 | #Constraints: 60429
708.73/710.54 c #Conflicts: 315000 | #Constraints: 61429
708.73/710.54 c #Conflicts: 316000 | #Constraints: 62429
708.73/710.54 c #Conflicts: 317000 | #Constraints: 63429
708.73/710.54 c #Conflicts: 318000 | #Constraints: 64429
708.73/710.54 c #Conflicts: 319000 | #Constraints: 65429
708.73/710.54 c #Conflicts: 320000 | #Constraints: 66429
708.73/710.54 c #Conflicts: 321000 | #Constraints: 67429
708.73/710.54 c #Conflicts: 322000 | #Constraints: 68429
708.73/710.54 c #Conflicts: 323000 | #Constraints: 69429
708.73/710.54 c #Conflicts: 324000 | #Constraints: 70429
708.73/710.54 c #Conflicts: 325000 | #Constraints: 71429
708.73/710.54 c #Conflicts: 326000 | #Constraints: 72429
708.73/710.54 c #Conflicts: 327000 | #Constraints: 73429
708.73/710.54 c #Conflicts: 328000 | #Constraints: 74429
708.73/710.54 c #Conflicts: 329000 | #Constraints: 75429
708.73/710.54 c #Conflicts: 330000 | #Constraints: 76429
708.73/710.54 c #Conflicts: 331000 | #Constraints: 77429
708.73/710.54 c #Conflicts: 332000 | #Constraints: 78429
708.73/710.54 c #Conflicts: 333000 | #Constraints: 79429
708.73/710.54 c #Conflicts: 334000 | #Constraints: 80429
708.73/710.54 c #Conflicts: 335000 | #Constraints: 81429
708.73/710.54 c #Conflicts: 336000 | #Constraints: 82429
708.73/710.54 c #Conflicts: 337000 | #Constraints: 83429
708.73/710.54 c #Conflicts: 338000 | #Constraints: 84429
708.73/710.54 c #Conflicts: 339000 | #Constraints: 85429
708.73/710.54 c #Conflicts: 340000 | #Constraints: 86429
708.73/710.54 c #Conflicts: 341000 | #Constraints: 87429
708.73/710.54 c #Conflicts: 342000 | #Constraints: 88429
708.73/710.54 c #Conflicts: 343000 | #Constraints: 89429
708.73/710.54 c #Conflicts: 344000 | #Constraints: 90429
708.73/710.54 c #Conflicts: 345000 | #Constraints: 91429
708.73/710.54 c #Conflicts: 346000 | #Constraints: 92429
708.73/710.54 c #Conflicts: 347000 | #Constraints: 93429
708.73/710.54 c #Conflicts: 348000 | #Constraints: 94429
708.73/710.54 c INPROCESSING
708.73/710.54 c GARBAGE COLLECT
708.73/710.54 c #Conflicts: 349000 | #Constraints: 61234
708.73/710.54 c #Conflicts: 350000 | #Constraints: 62234
708.73/710.54 c #Conflicts: 351000 | #Constraints: 63234
708.73/710.54 c #Conflicts: 352000 | #Constraints: 64234
708.73/710.54 c #Conflicts: 353000 | #Constraints: 65234
708.73/710.54 c #Conflicts: 354000 | #Constraints: 66234
708.73/710.54 c #Conflicts: 355000 | #Constraints: 67234
708.73/710.54 c #Conflicts: 356000 | #Constraints: 68234
708.73/710.54 c #Conflicts: 357000 | #Constraints: 69234
708.73/710.54 c #Conflicts: 358000 | #Constraints: 70234
708.73/710.54 c #Conflicts: 359000 | #Constraints: 71234
708.73/710.54 c #Conflicts: 360000 | #Constraints: 72234
708.73/710.54 c #Conflicts: 361000 | #Constraints: 73234
708.73/710.54 c #Conflicts: 362000 | #Constraints: 74234
708.73/710.54 c #Conflicts: 363000 | #Constraints: 75234
708.73/710.54 c #Conflicts: 364000 | #Constraints: 76234
708.73/710.54 c #Conflicts: 365000 | #Constraints: 77234
708.73/710.54 c #Conflicts: 366000 | #Constraints: 78234
708.73/710.54 c #Conflicts: 367000 | #Constraints: 79234
708.73/710.54 c #Conflicts: 368000 | #Constraints: 80234
708.73/710.54 c #Conflicts: 369000 | #Constraints: 81234
708.73/710.54 c #Conflicts: 370000 | #Constraints: 82234
708.73/710.54 c #Conflicts: 371000 | #Constraints: 83234
708.73/710.54 c #Conflicts: 372000 | #Constraints: 84234
708.73/710.54 c #Conflicts: 373000 | #Constraints: 85234
708.73/710.54 c #Conflicts: 374000 | #Constraints: 86234
708.73/710.54 c #Conflicts: 375000 | #Constraints: 87234
708.73/710.54 c #Conflicts: 376000 | #Constraints: 88234
708.73/710.54 c #Conflicts: 377000 | #Constraints: 89234
708.73/710.54 c #Conflicts: 378000 | #Constraints: 90234
708.73/710.54 c #Conflicts: 379000 | #Constraints: 91234
708.73/710.54 c #Conflicts: 380000 | #Constraints: 92234
708.73/710.54 c #Conflicts: 381000 | #Constraints: 93234
708.73/710.54 c #Conflicts: 382000 | #Constraints: 94234
857.58/859.75 c #Conflicts: 383000 | #Constraints: 95234
857.58/859.75 c #Conflicts: 384000 | #Constraints: 96234
857.58/859.75 c #Conflicts: 385000 | #Constraints: 97234
857.58/859.75 c #Conflicts: 386000 | #Constraints: 98234
857.58/859.75 c INPROCESSING
857.58/859.75 c GARBAGE COLLECT
857.58/859.75 c #Conflicts: 387000 | #Constraints: 62898
857.58/859.75 c #Conflicts: 388000 | #Constraints: 63898
857.58/859.75 c #Conflicts: 389000 | #Constraints: 64898
857.58/859.75 c #Conflicts: 390000 | #Constraints: 65898
857.58/859.75 c #Conflicts: 391000 | #Constraints: 66898
857.58/859.75 c #Conflicts: 392000 | #Constraints: 67898
857.58/859.75 c #Conflicts: 393000 | #Constraints: 68898
857.58/859.75 c #Conflicts: 394000 | #Constraints: 69898
857.58/859.75 c #Conflicts: 395000 | #Constraints: 70898
857.58/859.75 c #Conflicts: 396000 | #Constraints: 71898
857.58/859.75 c #Conflicts: 397000 | #Constraints: 72898
857.58/859.75 c #Conflicts: 398000 | #Constraints: 73898
857.58/859.75 c #Conflicts: 399000 | #Constraints: 74898
857.58/859.75 c #Conflicts: 400000 | #Constraints: 75898
857.58/859.75 c #Conflicts: 401000 | #Constraints: 76898
857.58/859.75 c #Conflicts: 402000 | #Constraints: 77898
857.58/859.75 c #Conflicts: 403000 | #Constraints: 78898
857.58/859.75 c #Conflicts: 404000 | #Constraints: 79898
857.58/859.75 c #Conflicts: 405000 | #Constraints: 80898
857.58/859.75 c #Conflicts: 406000 | #Constraints: 81898
857.58/859.75 c #Conflicts: 407000 | #Constraints: 82898
857.58/859.75 c #Conflicts: 408000 | #Constraints: 83898
857.58/859.75 c #Conflicts: 409000 | #Constraints: 84898
857.58/859.75 c #Conflicts: 410000 | #Constraints: 85898
857.58/859.75 c #Conflicts: 411000 | #Constraints: 86898
857.58/859.75 c #Conflicts: 412000 | #Constraints: 87898
857.58/859.75 c #Conflicts: 413000 | #Constraints: 88898
857.58/859.75 c #Conflicts: 414000 | #Constraints: 89898
857.58/859.75 c #Conflicts: 415000 | #Constraints: 90898
857.58/859.75 c #Conflicts: 416000 | #Constraints: 91898
857.58/859.75 c #Conflicts: 417000 | #Constraints: 92898
857.58/859.75 c #Conflicts: 418000 | #Constraints: 93898
857.58/859.75 c #Conflicts: 419000 | #Constraints: 94898
857.58/859.75 c #Conflicts: 420000 | #Constraints: 95898
857.58/859.75 c #Conflicts: 421000 | #Constraints: 96898
857.58/859.75 c #Conflicts: 422000 | #Constraints: 97898
857.58/859.75 c #Conflicts: 423000 | #Constraints: 98898
857.58/859.75 c #Conflicts: 424000 | #Constraints: 99898
857.58/859.75 c #Conflicts: 425000 | #Constraints: 100898
857.58/859.75 c #Conflicts: 426000 | #Constraints: 101898
857.58/859.75 c INPROCESSING
857.58/859.75 c GARBAGE COLLECT
857.58/859.75 c #Conflicts: 427000 | #Constraints: 64752
857.58/859.75 c #Conflicts: 428000 | #Constraints: 65752
857.58/859.75 c #Conflicts: 429000 | #Constraints: 66752
857.58/859.75 c #Conflicts: 430000 | #Constraints: 67752
857.58/859.75 c #Conflicts: 431000 | #Constraints: 68752
857.58/859.75 c #Conflicts: 432000 | #Constraints: 69752
857.58/859.75 c #Conflicts: 433000 | #Constraints: 70752
857.58/859.75 c #Conflicts: 434000 | #Constraints: 71752
857.58/859.75 c #Conflicts: 435000 | #Constraints: 72752
857.58/859.75 c #Conflicts: 436000 | #Constraints: 73752
857.58/859.75 c #Conflicts: 437000 | #Constraints: 74752
857.58/859.75 c #Conflicts: 438000 | #Constraints: 75752
857.58/859.75 c #Conflicts: 439000 | #Constraints: 76752
857.58/859.75 c #Conflicts: 440000 | #Constraints: 77752
857.58/859.75 c #Conflicts: 441000 | #Constraints: 78752
857.58/859.75 c #Conflicts: 442000 | #Constraints: 79752
857.58/859.75 c #Conflicts: 443000 | #Constraints: 80752
857.58/859.75 c #Conflicts: 444000 | #Constraints: 81752
857.58/859.75 c #Conflicts: 445000 | #Constraints: 82752
857.58/859.75 c #Conflicts: 446000 | #Constraints: 83752
857.58/859.75 c #Conflicts: 447000 | #Constraints: 84752
857.58/859.75 c #Conflicts: 448000 | #Constraints: 85752
857.58/859.75 c #Conflicts: 449000 | #Constraints: 86752
857.58/859.75 c #Conflicts: 450000 | #Constraints: 87752
857.58/859.75 c #Conflicts: 451000 | #Constraints: 88752
857.58/859.75 c #Conflicts: 452000 | #Constraints: 89752
857.58/859.75 c #Conflicts: 453000 | #Constraints: 90752
857.58/859.75 c #Conflicts: 454000 | #Constraints: 91752
857.58/859.75 c #Conflicts: 455000 | #Constraints: 92752
857.58/859.75 c #Conflicts: 456000 | #Constraints: 93752
857.58/859.75 c #Conflicts: 457000 | #Constraints: 94752
857.58/859.75 c #Conflicts: 458000 | #Constraints: 95752
857.58/859.75 c #Conflicts: 459000 | #Constraints: 96752
1024.38/1026.98 c #Conflicts: 460000 | #Constraints: 97752
1024.38/1026.98 c #Conflicts: 461000 | #Constraints: 98752
1024.38/1026.98 c #Conflicts: 462000 | #Constraints: 99752
1024.38/1026.98 c #Conflicts: 463000 | #Constraints: 100752
1024.38/1026.98 c #Conflicts: 464000 | #Constraints: 101752
1024.38/1026.98 c #Conflicts: 465000 | #Constraints: 102752
1024.38/1026.98 c #Conflicts: 466000 | #Constraints: 103752
1024.38/1026.98 c #Conflicts: 467000 | #Constraints: 104752
1024.38/1026.98 c #Conflicts: 468000 | #Constraints: 105752
1024.38/1026.98 c #Conflicts: 469000 | #Constraints: 106752
1024.38/1026.98 c INPROCESSING
1024.38/1026.98 c GARBAGE COLLECT
1024.38/1026.98 c #Conflicts: 470000 | #Constraints: 67450
1024.38/1026.98 c #Conflicts: 471000 | #Constraints: 68450
1024.38/1026.98 c #Conflicts: 472000 | #Constraints: 69450
1024.38/1026.98 c #Conflicts: 473000 | #Constraints: 70450
1024.38/1026.98 c #Conflicts: 474000 | #Constraints: 71450
1024.38/1026.98 c #Conflicts: 475000 | #Constraints: 72450
1024.38/1026.98 c #Conflicts: 476000 | #Constraints: 73450
1024.38/1026.98 c #Conflicts: 477000 | #Constraints: 74450
1024.38/1026.98 c #Conflicts: 478000 | #Constraints: 75450
1024.38/1026.98 c #Conflicts: 479000 | #Constraints: 76450
1024.38/1026.98 c #Conflicts: 480000 | #Constraints: 77450
1024.38/1026.98 c #Conflicts: 481000 | #Constraints: 78450
1024.38/1026.98 c #Conflicts: 482000 | #Constraints: 79450
1024.38/1026.98 c #Conflicts: 483000 | #Constraints: 80450
1024.38/1026.98 c #Conflicts: 484000 | #Constraints: 81450
1024.38/1026.98 c #Conflicts: 485000 | #Constraints: 82450
1024.38/1026.98 c #Conflicts: 486000 | #Constraints: 83450
1024.38/1026.98 c #Conflicts: 487000 | #Constraints: 84450
1024.38/1026.98 c #Conflicts: 488000 | #Constraints: 85450
1024.38/1026.98 c #Conflicts: 489000 | #Constraints: 86450
1024.38/1026.98 c #Conflicts: 490000 | #Constraints: 87450
1024.38/1026.98 c #Conflicts: 491000 | #Constraints: 88450
1024.38/1026.98 c #Conflicts: 492000 | #Constraints: 89450
1024.38/1026.98 c #Conflicts: 493000 | #Constraints: 90450
1024.38/1026.98 c #Conflicts: 494000 | #Constraints: 91450
1024.38/1026.98 c #Conflicts: 495000 | #Constraints: 92450
1024.38/1026.98 c #Conflicts: 496000 | #Constraints: 93450
1024.38/1026.98 c #Conflicts: 497000 | #Constraints: 94450
1024.38/1026.98 c #Conflicts: 498000 | #Constraints: 95450
1024.38/1026.98 c #Conflicts: 499000 | #Constraints: 96450
1024.38/1026.98 c #Conflicts: 500000 | #Constraints: 97450
1024.38/1026.98 c #Conflicts: 501000 | #Constraints: 98450
1024.38/1026.98 c #Conflicts: 502000 | #Constraints: 99451
1024.38/1026.98 c #Conflicts: 503000 | #Constraints: 100451
1024.38/1026.98 c #Conflicts: 504000 | #Constraints: 101451
1024.38/1026.98 c #Conflicts: 505000 | #Constraints: 102451
1024.38/1026.98 c #Conflicts: 506000 | #Constraints: 103451
1024.38/1026.98 c #Conflicts: 507000 | #Constraints: 104451
1024.38/1026.98 c #Conflicts: 508000 | #Constraints: 105451
1024.38/1026.98 c #Conflicts: 509000 | #Constraints: 106451
1024.38/1026.98 c #Conflicts: 510000 | #Constraints: 107451
1024.38/1026.98 c #Conflicts: 511000 | #Constraints: 108451
1024.38/1026.98 c #Conflicts: 512000 | #Constraints: 109451
1024.38/1026.98 c #Conflicts: 513000 | #Constraints: 110451
1024.38/1026.98 c INPROCESSING
1024.38/1026.98 c GARBAGE COLLECT
1024.38/1026.98 c #Conflicts: 514000 | #Constraints: 69220
1024.38/1026.98 c #Conflicts: 515000 | #Constraints: 70220
1024.38/1026.98 c #Conflicts: 516000 | #Constraints: 71220
1024.38/1026.98 c #Conflicts: 517000 | #Constraints: 72220
1024.38/1026.98 c #Conflicts: 518000 | #Constraints: 73220
1024.38/1026.98 c #Conflicts: 519000 | #Constraints: 74220
1024.38/1026.98 c #Conflicts: 520000 | #Constraints: 75220
1024.38/1026.98 c #Conflicts: 521000 | #Constraints: 76220
1024.38/1026.98 c #Conflicts: 522000 | #Constraints: 77220
1024.38/1026.98 c #Conflicts: 523000 | #Constraints: 78220
1024.38/1026.98 c #Conflicts: 524000 | #Constraints: 79220
1024.38/1026.98 c #Conflicts: 525000 | #Constraints: 80220
1024.38/1026.98 c #Conflicts: 526000 | #Constraints: 81220
1024.38/1026.98 c #Conflicts: 527000 | #Constraints: 82220
1024.38/1026.98 c #Conflicts: 528000 | #Constraints: 83220
1024.38/1026.98 c #Conflicts: 529000 | #Constraints: 84220
1024.38/1026.98 c #Conflicts: 530000 | #Constraints: 85220
1024.38/1026.98 c #Conflicts: 531000 | #Constraints: 86220
1024.38/1026.98 c #Conflicts: 532000 | #Constraints: 87220
1024.38/1026.98 c #Conflicts: 533000 | #Constraints: 88220
1024.38/1026.98 c #Conflicts: 534000 | #Constraints: 89220
1024.38/1026.98 c #Conflicts: 535000 | #Constraints: 90220
1024.38/1026.98 c #Conflicts: 536000 | #Constraints: 91220
1024.38/1026.98 c #Conflicts: 537000 | #Constraints: 92220
1313.48/1316.76 c #Conflicts: 538000 | #Constraints: 93220
1313.48/1316.76 c #Conflicts: 539000 | #Constraints: 94220
1313.48/1316.76 c #Conflicts: 540000 | #Constraints: 95220
1313.48/1316.76 c #Conflicts: 541000 | #Constraints: 96220
1313.48/1316.76 c #Conflicts: 542000 | #Constraints: 97220
1313.48/1316.76 c #Conflicts: 543000 | #Constraints: 98220
1313.48/1316.76 c #Conflicts: 544000 | #Constraints: 99220
1313.48/1316.76 c #Conflicts: 545000 | #Constraints: 100220
1313.48/1316.76 c #Conflicts: 546000 | #Constraints: 101220
1313.48/1316.76 c #Conflicts: 547000 | #Constraints: 102220
1313.48/1316.76 c #Conflicts: 548000 | #Constraints: 103220
1313.48/1316.76 c #Conflicts: 549000 | #Constraints: 104220
1313.48/1316.76 c #Conflicts: 550000 | #Constraints: 105220
1313.48/1316.76 c #Conflicts: 551000 | #Constraints: 106220
1313.48/1316.76 c #Conflicts: 552000 | #Constraints: 107220
1313.48/1316.76 c #Conflicts: 553000 | #Constraints: 108220
1313.48/1316.76 c #Conflicts: 554000 | #Constraints: 109220
1313.48/1316.76 c #Conflicts: 555000 | #Constraints: 110220
1313.48/1316.76 c #Conflicts: 556000 | #Constraints: 111220
1313.48/1316.76 c #Conflicts: 557000 | #Constraints: 112220
1313.48/1316.76 c #Conflicts: 558000 | #Constraints: 113220
1313.48/1316.76 c #Conflicts: 559000 | #Constraints: 114220
1313.48/1316.76 c #Conflicts: 560000 | #Constraints: 115220
1313.48/1316.76 c INPROCESSING
1313.48/1316.76 c GARBAGE COLLECT
1313.48/1316.76 c #Conflicts: 561000 | #Constraints: 71874
1313.48/1316.76 c #Conflicts: 562000 | #Constraints: 72874
1313.48/1316.76 c #Conflicts: 563000 | #Constraints: 73874
1313.48/1316.76 c #Conflicts: 564000 | #Constraints: 74874
1313.48/1316.76 c #Conflicts: 565000 | #Constraints: 75874
1313.48/1316.76 c #Conflicts: 566000 | #Constraints: 76874
1313.48/1316.76 c #Conflicts: 567000 | #Constraints: 77874
1313.48/1316.76 c #Conflicts: 568000 | #Constraints: 78874
1313.48/1316.76 c #Conflicts: 569000 | #Constraints: 79874
1313.48/1316.76 c #Conflicts: 570000 | #Constraints: 80874
1313.48/1316.76 c #Conflicts: 571000 | #Constraints: 81874
1313.48/1316.76 c #Conflicts: 572000 | #Constraints: 82874
1313.48/1316.76 c #Conflicts: 573000 | #Constraints: 83874
1313.48/1316.76 c #Conflicts: 574000 | #Constraints: 84874
1313.48/1316.76 c #Conflicts: 575000 | #Constraints: 85874
1313.48/1316.76 c #Conflicts: 576000 | #Constraints: 86874
1313.48/1316.76 c #Conflicts: 577000 | #Constraints: 87874
1313.48/1316.76 c #Conflicts: 578000 | #Constraints: 88874
1313.48/1316.76 c #Conflicts: 579000 | #Constraints: 89874
1313.48/1316.76 c #Conflicts: 580000 | #Constraints: 90874
1313.48/1316.76 c #Conflicts: 581000 | #Constraints: 91874
1313.48/1316.76 c #Conflicts: 582000 | #Constraints: 92874
1313.48/1316.76 c #Conflicts: 583000 | #Constraints: 93874
1313.48/1316.76 c #Conflicts: 584000 | #Constraints: 94874
1313.48/1316.76 c #Conflicts: 585000 | #Constraints: 95874
1313.48/1316.76 c #Conflicts: 586000 | #Constraints: 96874
1313.48/1316.76 c #Conflicts: 587000 | #Constraints: 97874
1313.48/1316.76 c #Conflicts: 588000 | #Constraints: 98874
1313.48/1316.76 c #Conflicts: 589000 | #Constraints: 99874
1313.48/1316.76 c #Conflicts: 590000 | #Constraints: 100874
1313.48/1316.76 c #Conflicts: 591000 | #Constraints: 101874
1313.48/1316.76 c #Conflicts: 592000 | #Constraints: 102874
1313.48/1316.76 c #Conflicts: 593000 | #Constraints: 103874
1313.48/1316.76 c #Conflicts: 594000 | #Constraints: 104874
1313.48/1316.76 c #Conflicts: 595000 | #Constraints: 105874
1313.48/1316.76 c #Conflicts: 596000 | #Constraints: 106874
1313.48/1316.76 c #Conflicts: 597000 | #Constraints: 107874
1313.48/1316.76 c #Conflicts: 598000 | #Constraints: 108874
1313.48/1316.76 c #Conflicts: 599000 | #Constraints: 109874
1313.48/1316.76 c #Conflicts: 600000 | #Constraints: 110874
1313.48/1316.76 c #Conflicts: 601000 | #Constraints: 111874
1313.48/1316.76 c #Conflicts: 602000 | #Constraints: 112874
1313.48/1316.76 c #Conflicts: 603000 | #Constraints: 113874
1313.48/1316.76 c #Conflicts: 604000 | #Constraints: 114874
1313.48/1316.76 c #Conflicts: 605000 | #Constraints: 115874
1313.48/1316.76 c #Conflicts: 606000 | #Constraints: 116874
1313.48/1316.76 c #Conflicts: 607000 | #Constraints: 117874
1313.48/1316.76 c #Conflicts: 608000 | #Constraints: 118874
1313.48/1316.76 c INPROCESSING
1313.48/1316.76 c GARBAGE COLLECT
1313.48/1316.76 c #Conflicts: 609000 | #Constraints: 73526
1313.48/1316.76 c #Conflicts: 610000 | #Constraints: 74526
1313.48/1316.76 c #Conflicts: 611000 | #Constraints: 75526
1313.48/1316.76 c #Conflicts: 612000 | #Constraints: 76526
1313.48/1316.76 c #Conflicts: 613000 | #Constraints: 77526
1313.48/1316.76 c #Conflicts: 614000 | #Constraints: 78526
1508.92/1512.68 c #Conflicts: 615000 | #Constraints: 79526
1508.92/1512.68 c #Conflicts: 616000 | #Constraints: 80526
1508.92/1512.68 c #Conflicts: 617000 | #Constraints: 81526
1508.92/1512.68 c #Conflicts: 618000 | #Constraints: 82526
1508.92/1512.68 c #Conflicts: 619000 | #Constraints: 83526
1508.92/1512.68 c #Conflicts: 620000 | #Constraints: 84526
1508.92/1512.68 c #Conflicts: 621000 | #Constraints: 85527
1508.92/1512.68 c #Conflicts: 622000 | #Constraints: 86527
1508.92/1512.68 c #Conflicts: 623000 | #Constraints: 87527
1508.92/1512.68 c #Conflicts: 624000 | #Constraints: 88527
1508.92/1512.68 c #Conflicts: 625000 | #Constraints: 89527
1508.92/1512.68 c #Conflicts: 626000 | #Constraints: 90527
1508.92/1512.68 c #Conflicts: 627000 | #Constraints: 91527
1508.92/1512.68 c #Conflicts: 628000 | #Constraints: 92527
1508.92/1512.68 c #Conflicts: 629000 | #Constraints: 93527
1508.92/1512.68 c #Conflicts: 630000 | #Constraints: 94527
1508.92/1512.68 c #Conflicts: 631000 | #Constraints: 95527
1508.92/1512.68 c #Conflicts: 632000 | #Constraints: 96527
1508.92/1512.68 c #Conflicts: 633000 | #Constraints: 97527
1508.92/1512.68 c #Conflicts: 634000 | #Constraints: 98527
1508.92/1512.68 c #Conflicts: 635000 | #Constraints: 99527
1508.92/1512.68 c #Conflicts: 636000 | #Constraints: 100527
1508.92/1512.68 c #Conflicts: 637000 | #Constraints: 101527
1508.92/1512.68 c #Conflicts: 638000 | #Constraints: 102527
1508.92/1512.68 c #Conflicts: 639000 | #Constraints: 103527
1508.92/1512.68 c #Conflicts: 640000 | #Constraints: 104527
1508.92/1512.68 c #Conflicts: 641000 | #Constraints: 105527
1508.92/1512.68 c #Conflicts: 642000 | #Constraints: 106527
1508.92/1512.68 c #Conflicts: 643000 | #Constraints: 107527
1508.92/1512.68 c #Conflicts: 644000 | #Constraints: 108527
1508.92/1512.68 c #Conflicts: 645000 | #Constraints: 109527
1508.92/1512.68 c #Conflicts: 646000 | #Constraints: 110527
1508.92/1512.68 c #Conflicts: 647000 | #Constraints: 111527
1508.92/1512.68 c #Conflicts: 648000 | #Constraints: 112527
1508.92/1512.68 c #Conflicts: 649000 | #Constraints: 113527
1508.92/1512.68 c #Conflicts: 650000 | #Constraints: 114527
1508.92/1512.68 c #Conflicts: 651000 | #Constraints: 115527
1508.92/1512.68 c #Conflicts: 652000 | #Constraints: 116527
1508.92/1512.68 c #Conflicts: 653000 | #Constraints: 117527
1508.92/1512.68 c #Conflicts: 654000 | #Constraints: 118527
1508.92/1512.68 c #Conflicts: 655000 | #Constraints: 119527
1508.92/1512.68 c #Conflicts: 656000 | #Constraints: 120527
1508.92/1512.68 c #Conflicts: 657000 | #Constraints: 121527
1508.92/1512.68 c #Conflicts: 658000 | #Constraints: 122527
1508.92/1512.68 c INPROCESSING
1508.92/1512.68 c GARBAGE COLLECT
1508.92/1512.68 c #Conflicts: 659000 | #Constraints: 75093
1508.92/1512.68 c #Conflicts: 660000 | #Constraints: 76093
1508.92/1512.68 c #Conflicts: 661000 | #Constraints: 77093
1508.92/1512.68 c #Conflicts: 662000 | #Constraints: 78093
1508.92/1512.68 c #Conflicts: 663000 | #Constraints: 79093
1508.92/1512.68 c #Conflicts: 664000 | #Constraints: 80093
1508.92/1512.68 c #Conflicts: 665000 | #Constraints: 81093
1508.92/1512.68 c #Conflicts: 666000 | #Constraints: 82093
1508.92/1512.68 c #Conflicts: 667000 | #Constraints: 83093
1508.92/1512.68 c #Conflicts: 668000 | #Constraints: 84093
1508.92/1512.68 c #Conflicts: 669000 | #Constraints: 85093
1508.92/1512.68 c #Conflicts: 670000 | #Constraints: 86093
1508.92/1512.68 c #Conflicts: 671000 | #Constraints: 87093
1508.92/1512.68 c #Conflicts: 672000 | #Constraints: 88093
1508.92/1512.68 c #Conflicts: 673000 | #Constraints: 89093
1508.92/1512.68 c #Conflicts: 674000 | #Constraints: 90093
1508.92/1512.68 c #Conflicts: 675000 | #Constraints: 91093
1508.92/1512.68 c #Conflicts: 676000 | #Constraints: 92093
1508.92/1512.68 c #Conflicts: 677000 | #Constraints: 93093
1508.92/1512.68 c #Conflicts: 678000 | #Constraints: 94093
1508.92/1512.68 c #Conflicts: 679000 | #Constraints: 95093
1508.92/1512.68 c #Conflicts: 680000 | #Constraints: 96093
1508.92/1512.68 c #Conflicts: 681000 | #Constraints: 97093
1508.92/1512.68 c #Conflicts: 682000 | #Constraints: 98093
1508.92/1512.68 c #Conflicts: 683000 | #Constraints: 99093
1508.92/1512.68 c #Conflicts: 684000 | #Constraints: 100093
1508.92/1512.68 c #Conflicts: 685000 | #Constraints: 101093
1508.92/1512.68 c #Conflicts: 686000 | #Constraints: 102093
1508.92/1512.68 c #Conflicts: 687000 | #Constraints: 103093
1508.92/1512.68 c #Conflicts: 688000 | #Constraints: 104093
1508.92/1512.68 c #Conflicts: 689000 | #Constraints: 105093
1508.92/1512.68 c #Conflicts: 690000 | #Constraints: 106093
1508.92/1512.68 c #Conflicts: 691000 | #Constraints: 107093
1508.92/1512.68 c #Conflicts: 692000 | #Constraints: 108093
1698.08/1702.29 c #Conflicts: 693000 | #Constraints: 109093
1698.08/1702.29 c #Conflicts: 694000 | #Constraints: 110093
1698.08/1702.29 c #Conflicts: 695000 | #Constraints: 111093
1698.08/1702.29 c #Conflicts: 696000 | #Constraints: 112093
1698.08/1702.29 c #Conflicts: 697000 | #Constraints: 113093
1698.08/1702.29 c #Conflicts: 698000 | #Constraints: 114093
1698.08/1702.29 c #Conflicts: 699000 | #Constraints: 115093
1698.08/1702.29 c #Conflicts: 700000 | #Constraints: 116093
1698.08/1702.29 c #Conflicts: 701000 | #Constraints: 117093
1698.08/1702.29 c #Conflicts: 702000 | #Constraints: 118093
1698.08/1702.29 c #Conflicts: 703000 | #Constraints: 119093
1698.08/1702.29 c #Conflicts: 704000 | #Constraints: 120093
1698.08/1702.29 c #Conflicts: 705000 | #Constraints: 121093
1698.08/1702.29 c #Conflicts: 706000 | #Constraints: 122093
1698.08/1702.29 c #Conflicts: 707000 | #Constraints: 123093
1698.08/1702.29 c #Conflicts: 708000 | #Constraints: 124093
1698.08/1702.29 c #Conflicts: 709000 | #Constraints: 125093
1698.08/1702.29 c #Conflicts: 710000 | #Constraints: 126093
1698.08/1702.29 c #Conflicts: 711000 | #Constraints: 127093
1698.08/1702.29 c INPROCESSING
1698.08/1702.29 c GARBAGE COLLECT
1698.08/1702.29 c #Conflicts: 712000 | #Constraints: 77745
1698.08/1702.29 c #Conflicts: 713000 | #Constraints: 78745
1698.08/1702.29 c #Conflicts: 714000 | #Constraints: 79745
1698.08/1702.29 c #Conflicts: 715000 | #Constraints: 80745
1698.08/1702.29 c #Conflicts: 716000 | #Constraints: 81745
1698.08/1702.29 c #Conflicts: 717000 | #Constraints: 82745
1698.08/1702.29 c #Conflicts: 718000 | #Constraints: 83745
1698.08/1702.29 c #Conflicts: 719000 | #Constraints: 84745
1698.08/1702.29 c #Conflicts: 720000 | #Constraints: 85745
1698.08/1702.29 c #Conflicts: 721000 | #Constraints: 86745
1698.08/1702.29 c #Conflicts: 722000 | #Constraints: 87745
1698.08/1702.29 c #Conflicts: 723000 | #Constraints: 88745
1698.08/1702.29 c #Conflicts: 724000 | #Constraints: 89745
1698.08/1702.29 c #Conflicts: 725000 | #Constraints: 90745
1698.08/1702.29 c #Conflicts: 726000 | #Constraints: 91745
1698.08/1702.29 c #Conflicts: 727000 | #Constraints: 92745
1698.08/1702.29 c #Conflicts: 728000 | #Constraints: 93745
1698.08/1702.29 c #Conflicts: 729000 | #Constraints: 94745
1698.08/1702.29 c #Conflicts: 730000 | #Constraints: 95745
1698.08/1702.29 c #Conflicts: 731000 | #Constraints: 96745
1698.08/1702.29 c #Conflicts: 732000 | #Constraints: 97745
1698.08/1702.29 c #Conflicts: 733000 | #Constraints: 98745
1698.08/1702.29 c #Conflicts: 734000 | #Constraints: 99745
1698.08/1702.29 c #Conflicts: 735000 | #Constraints: 100745
1698.08/1702.29 c #Conflicts: 736000 | #Constraints: 101745
1698.08/1702.29 c #Conflicts: 737000 | #Constraints: 102745
1698.08/1702.29 c #Conflicts: 738000 | #Constraints: 103745
1698.08/1702.29 c #Conflicts: 739000 | #Constraints: 104745
1698.08/1702.29 c #Conflicts: 740000 | #Constraints: 105745
1698.08/1702.29 c #Conflicts: 741000 | #Constraints: 106745
1698.08/1702.29 c #Conflicts: 742000 | #Constraints: 107745
1698.08/1702.29 c #Conflicts: 743000 | #Constraints: 108745
1698.08/1702.29 c #Conflicts: 744000 | #Constraints: 109745
1698.08/1702.29 c #Conflicts: 745000 | #Constraints: 110745
1698.08/1702.29 c #Conflicts: 746000 | #Constraints: 111745
1698.08/1702.29 c #Conflicts: 747000 | #Constraints: 112745
1698.08/1702.29 c #Conflicts: 748000 | #Constraints: 113745
1698.08/1702.29 c #Conflicts: 749000 | #Constraints: 114745
1698.08/1702.29 c #Conflicts: 750000 | #Constraints: 115745
1698.08/1702.29 c #Conflicts: 751000 | #Constraints: 116745
1698.08/1702.29 c #Conflicts: 752000 | #Constraints: 117745
1698.08/1702.29 c #Conflicts: 753000 | #Constraints: 118745
1698.08/1702.29 c #Conflicts: 754000 | #Constraints: 119745
1698.08/1702.29 c #Conflicts: 755000 | #Constraints: 120745
1698.08/1702.29 c #Conflicts: 756000 | #Constraints: 121745
1698.08/1702.29 c #Conflicts: 757000 | #Constraints: 122745
1698.08/1702.29 c #Conflicts: 758000 | #Constraints: 123745
1698.08/1702.29 c #Conflicts: 759000 | #Constraints: 124745
1698.08/1702.29 c #Conflicts: 760000 | #Constraints: 125745
1698.08/1702.29 c #Conflicts: 761000 | #Constraints: 126745
1698.08/1702.29 c #Conflicts: 762000 | #Constraints: 127745
1698.08/1702.29 c #Conflicts: 763000 | #Constraints: 128745
1698.08/1702.29 c #Conflicts: 764000 | #Constraints: 129745
1698.08/1702.29 c #Conflicts: 765000 | #Constraints: 130745
1698.08/1702.29 c INPROCESSING
1698.08/1702.29 c GARBAGE COLLECT
1698.08/1702.29 c #Conflicts: 766000 | #Constraints: 79231
1698.08/1702.29 c #Conflicts: 767000 | #Constraints: 80231
1698.08/1702.29 c #Conflicts: 768000 | #Constraints: 81231
1698.08/1702.29 c #Conflicts: 769000 | #Constraints: 82231
1698.08/1702.29 c #Conflicts: 770000 | #Constraints: 83231
1901.34/1906.03 c #Conflicts: 771000 | #Constraints: 84231
1901.34/1906.03 c #Conflicts: 772000 | #Constraints: 85231
1901.34/1906.03 c #Conflicts: 773000 | #Constraints: 86231
1901.34/1906.03 c #Conflicts: 774000 | #Constraints: 87231
1901.34/1906.03 c #Conflicts: 775000 | #Constraints: 88231
1901.34/1906.03 c #Conflicts: 776000 | #Constraints: 89231
1901.34/1906.03 c #Conflicts: 777000 | #Constraints: 90231
1901.34/1906.03 c #Conflicts: 778000 | #Constraints: 91231
1901.34/1906.03 c #Conflicts: 779000 | #Constraints: 92231
1901.34/1906.03 c #Conflicts: 780000 | #Constraints: 93231
1901.34/1906.03 c #Conflicts: 781000 | #Constraints: 94231
1901.34/1906.03 c #Conflicts: 782000 | #Constraints: 95231
1901.34/1906.03 c #Conflicts: 783000 | #Constraints: 96231
1901.34/1906.03 c #Conflicts: 784000 | #Constraints: 97231
1901.34/1906.03 c #Conflicts: 785000 | #Constraints: 98231
1901.34/1906.03 c #Conflicts: 786000 | #Constraints: 99231
1901.34/1906.03 c #Conflicts: 787000 | #Constraints: 100231
1901.34/1906.03 c #Conflicts: 788000 | #Constraints: 101231
1901.34/1906.03 c #Conflicts: 789000 | #Constraints: 102231
1901.34/1906.03 c #Conflicts: 790000 | #Constraints: 103231
1901.34/1906.03 c #Conflicts: 791000 | #Constraints: 104231
1901.34/1906.03 c #Conflicts: 792000 | #Constraints: 105231
1901.34/1906.03 c #Conflicts: 793000 | #Constraints: 106231
1901.34/1906.03 c #Conflicts: 794000 | #Constraints: 107231
1901.34/1906.03 c #Conflicts: 795000 | #Constraints: 108231
1901.34/1906.03 c #Conflicts: 796000 | #Constraints: 109231
1901.34/1906.03 c #Conflicts: 797000 | #Constraints: 110231
1901.34/1906.03 c #Conflicts: 798000 | #Constraints: 111231
1901.34/1906.03 c #Conflicts: 799000 | #Constraints: 112232
1901.34/1906.03 c #Conflicts: 800000 | #Constraints: 113232
1901.34/1906.03 c #Conflicts: 801000 | #Constraints: 114232
1901.34/1906.03 c #Conflicts: 802000 | #Constraints: 115232
1901.34/1906.03 c #Conflicts: 803000 | #Constraints: 116232
1901.34/1906.03 c #Conflicts: 804000 | #Constraints: 117232
1901.34/1906.03 c #Conflicts: 805000 | #Constraints: 118232
1901.34/1906.03 c #Conflicts: 806000 | #Constraints: 119232
1901.34/1906.03 c #Conflicts: 807000 | #Constraints: 120232
1901.34/1906.03 c #Conflicts: 808000 | #Constraints: 121232
1901.34/1906.03 c #Conflicts: 809000 | #Constraints: 122232
1901.34/1906.03 c #Conflicts: 810000 | #Constraints: 123232
1901.34/1906.03 c #Conflicts: 811000 | #Constraints: 124232
1901.34/1906.03 c #Conflicts: 812000 | #Constraints: 125232
1901.34/1906.03 c #Conflicts: 813000 | #Constraints: 126232
1901.34/1906.03 c #Conflicts: 814000 | #Constraints: 127232
1901.34/1906.03 c #Conflicts: 815000 | #Constraints: 128232
1901.34/1906.03 c #Conflicts: 816000 | #Constraints: 129232
1901.34/1906.03 c #Conflicts: 817000 | #Constraints: 130232
1901.34/1906.03 c #Conflicts: 818000 | #Constraints: 131232
1901.34/1906.03 c #Conflicts: 819000 | #Constraints: 132232
1901.34/1906.03 c #Conflicts: 820000 | #Constraints: 133232
1901.34/1906.03 c #Conflicts: 821000 | #Constraints: 134232
1901.34/1906.03 c #Conflicts: 822000 | #Constraints: 135232
1901.34/1906.03 c INPROCESSING
1901.34/1906.03 c GARBAGE COLLECT
1901.34/1906.03 c #Conflicts: 823000 | #Constraints: 81911
1901.34/1906.03 c #Conflicts: 824000 | #Constraints: 82911
1901.34/1906.03 c #Conflicts: 825000 | #Constraints: 83911
1901.34/1906.03 c #Conflicts: 826000 | #Constraints: 84911
1901.34/1906.03 c #Conflicts: 827000 | #Constraints: 85911
1901.34/1906.03 c #Conflicts: 828000 | #Constraints: 86911
1901.34/1906.03 c #Conflicts: 829000 | #Constraints: 87911
1901.34/1906.03 c #Conflicts: 830000 | #Constraints: 88911
1901.34/1906.03 c #Conflicts: 831000 | #Constraints: 89911
1901.34/1906.03 c #Conflicts: 832000 | #Constraints: 90911
1901.34/1906.03 c #Conflicts: 833000 | #Constraints: 91911
1901.34/1906.03 c #Conflicts: 834000 | #Constraints: 92911
1901.34/1906.03 c #Conflicts: 835000 | #Constraints: 93911
1901.34/1906.03 c #Conflicts: 836000 | #Constraints: 94911
1901.34/1906.03 c #Conflicts: 837000 | #Constraints: 95911
1901.34/1906.03 c #Conflicts: 838000 | #Constraints: 96911
1901.34/1906.03 c #Conflicts: 839000 | #Constraints: 97911
1901.34/1906.03 c #Conflicts: 840000 | #Constraints: 98911
1901.34/1906.03 c #Conflicts: 841000 | #Constraints: 99911
1901.34/1906.03 c #Conflicts: 842000 | #Constraints: 100911
1901.34/1906.03 c #Conflicts: 843000 | #Constraints: 101911
1901.34/1906.03 c #Conflicts: 844000 | #Constraints: 102911
1901.34/1906.03 c #Conflicts: 845000 | #Constraints: 103911
1901.34/1906.03 c #Conflicts: 846000 | #Constraints: 104911
1901.34/1906.03 c #Conflicts: 847000 | #Constraints: 105911
1901.34/1906.03 c #Conflicts: 848000 | #Constraints: 106911
2110.73/2116.05 c #Conflicts: 849000 | #Constraints: 107911
2110.73/2116.05 c #Conflicts: 850000 | #Constraints: 108911
2110.73/2116.05 c #Conflicts: 851000 | #Constraints: 109911
2110.73/2116.05 c #Conflicts: 852000 | #Constraints: 110911
2110.73/2116.05 c #Conflicts: 853000 | #Constraints: 111911
2110.73/2116.05 c #Conflicts: 854000 | #Constraints: 112911
2110.73/2116.05 c #Conflicts: 855000 | #Constraints: 113911
2110.73/2116.05 c #Conflicts: 856000 | #Constraints: 114911
2110.73/2116.05 c #Conflicts: 857000 | #Constraints: 115911
2110.73/2116.05 c #Conflicts: 858000 | #Constraints: 116911
2110.73/2116.05 c #Conflicts: 859000 | #Constraints: 117911
2110.73/2116.05 c #Conflicts: 860000 | #Constraints: 118911
2110.73/2116.05 c #Conflicts: 861000 | #Constraints: 119911
2110.73/2116.05 c #Conflicts: 862000 | #Constraints: 120911
2110.73/2116.05 c #Conflicts: 863000 | #Constraints: 121911
2110.73/2116.05 c #Conflicts: 864000 | #Constraints: 122911
2110.73/2116.05 c #Conflicts: 865000 | #Constraints: 123911
2110.73/2116.05 c #Conflicts: 866000 | #Constraints: 124911
2110.73/2116.05 c #Conflicts: 867000 | #Constraints: 125911
2110.73/2116.05 c #Conflicts: 868000 | #Constraints: 126911
2110.73/2116.05 c #Conflicts: 869000 | #Constraints: 127911
2110.73/2116.05 c #Conflicts: 870000 | #Constraints: 128911
2110.73/2116.05 c #Conflicts: 871000 | #Constraints: 129911
2110.73/2116.05 c #Conflicts: 872000 | #Constraints: 130911
2110.73/2116.05 c #Conflicts: 873000 | #Constraints: 131911
2110.73/2116.05 c #Conflicts: 874000 | #Constraints: 132911
2110.73/2116.05 c #Conflicts: 875000 | #Constraints: 133911
2110.73/2116.05 c #Conflicts: 876000 | #Constraints: 134911
2110.73/2116.05 c #Conflicts: 877000 | #Constraints: 135911
2110.73/2116.05 c #Conflicts: 878000 | #Constraints: 136911
2110.73/2116.05 c #Conflicts: 879000 | #Constraints: 137911
2110.73/2116.05 c #Conflicts: 880000 | #Constraints: 138911
2110.73/2116.05 c INPROCESSING
2110.73/2116.05 c GARBAGE COLLECT
2110.73/2116.05 c #Conflicts: 881000 | #Constraints: 83490
2110.73/2116.05 c #Conflicts: 882000 | #Constraints: 84490
2110.73/2116.05 c #Conflicts: 883000 | #Constraints: 85490
2110.73/2116.05 c #Conflicts: 884000 | #Constraints: 86490
2110.73/2116.05 c #Conflicts: 885000 | #Constraints: 87490
2110.73/2116.05 c #Conflicts: 886000 | #Constraints: 88490
2110.73/2116.05 c #Conflicts: 887000 | #Constraints: 89490
2110.73/2116.05 c #Conflicts: 888000 | #Constraints: 90490
2110.73/2116.05 c #Conflicts: 889000 | #Constraints: 91490
2110.73/2116.05 c #Conflicts: 890000 | #Constraints: 92490
2110.73/2116.05 c #Conflicts: 891000 | #Constraints: 93490
2110.73/2116.05 c #Conflicts: 892000 | #Constraints: 94490
2110.73/2116.05 c #Conflicts: 893000 | #Constraints: 95490
2110.73/2116.05 c #Conflicts: 894000 | #Constraints: 96490
2110.73/2116.05 c #Conflicts: 895000 | #Constraints: 97490
2110.73/2116.05 c #Conflicts: 896000 | #Constraints: 98490
2110.73/2116.05 c #Conflicts: 897000 | #Constraints: 99490
2110.73/2116.05 c #Conflicts: 898000 | #Constraints: 100490
2110.73/2116.05 c #Conflicts: 899000 | #Constraints: 101490
2110.73/2116.05 c #Conflicts: 900000 | #Constraints: 102490
2110.73/2116.05 c #Conflicts: 901000 | #Constraints: 103490
2110.73/2116.05 c #Conflicts: 902000 | #Constraints: 104490
2110.73/2116.05 c #Conflicts: 903000 | #Constraints: 105490
2110.73/2116.05 c #Conflicts: 904000 | #Constraints: 106490
2110.73/2116.05 c #Conflicts: 905000 | #Constraints: 107490
2110.73/2116.05 c #Conflicts: 906000 | #Constraints: 108490
2110.73/2116.05 c #Conflicts: 907000 | #Constraints: 109490
2110.73/2116.05 c #Conflicts: 908000 | #Constraints: 110490
2110.73/2116.05 c #Conflicts: 909000 | #Constraints: 111490
2110.73/2116.05 c #Conflicts: 910000 | #Constraints: 112490
2110.73/2116.05 c #Conflicts: 911000 | #Constraints: 113490
2110.73/2116.05 c #Conflicts: 912000 | #Constraints: 114490
2110.73/2116.05 c #Conflicts: 913000 | #Constraints: 115490
2110.73/2116.05 c #Conflicts: 914000 | #Constraints: 116490
2110.73/2116.05 c #Conflicts: 915000 | #Constraints: 117490
2110.73/2116.05 c #Conflicts: 916000 | #Constraints: 118490
2110.73/2116.05 c #Conflicts: 917000 | #Constraints: 119490
2110.73/2116.05 c #Conflicts: 918000 | #Constraints: 120490
2110.73/2116.05 c #Conflicts: 919000 | #Constraints: 121490
2110.73/2116.05 c #Conflicts: 920000 | #Constraints: 122490
2110.73/2116.05 c #Conflicts: 921000 | #Constraints: 123490
2110.73/2116.05 c #Conflicts: 922000 | #Constraints: 124490
2110.73/2116.05 c #Conflicts: 923000 | #Constraints: 125490
2110.73/2116.05 c #Conflicts: 924000 | #Constraints: 126490
2110.73/2116.05 c #Conflicts: 925000 | #Constraints: 127490
2110.73/2116.05 c #Conflicts: 926000 | #Constraints: 128490
2343.36/2349.38 c #Conflicts: 927000 | #Constraints: 129490
2343.36/2349.38 c #Conflicts: 928000 | #Constraints: 130490
2343.36/2349.38 c #Conflicts: 929000 | #Constraints: 131490
2343.36/2349.38 c #Conflicts: 930000 | #Constraints: 132490
2343.36/2349.38 c #Conflicts: 931000 | #Constraints: 133490
2343.36/2349.38 c #Conflicts: 932000 | #Constraints: 134490
2343.36/2349.38 c #Conflicts: 933000 | #Constraints: 135490
2343.36/2349.38 c #Conflicts: 934000 | #Constraints: 136490
2343.36/2349.38 c #Conflicts: 935000 | #Constraints: 137490
2343.36/2349.38 c #Conflicts: 936000 | #Constraints: 138490
2343.36/2349.38 c #Conflicts: 937000 | #Constraints: 139490
2343.36/2349.38 c #Conflicts: 938000 | #Constraints: 140490
2343.36/2349.38 c #Conflicts: 939000 | #Constraints: 141490
2343.36/2349.38 c #Conflicts: 940000 | #Constraints: 142490
2343.36/2349.38 c INPROCESSING
2343.36/2349.38 c GARBAGE COLLECT
2343.36/2349.38 c #Conflicts: 941000 | #Constraints: 85315
2343.36/2349.38 c #Conflicts: 942000 | #Constraints: 86315
2343.36/2349.38 c #Conflicts: 943000 | #Constraints: 87315
2343.36/2349.38 c #Conflicts: 944000 | #Constraints: 88315
2343.36/2349.38 c #Conflicts: 945000 | #Constraints: 89315
2343.36/2349.38 c #Conflicts: 946000 | #Constraints: 90315
2343.36/2349.38 c #Conflicts: 947000 | #Constraints: 91315
2343.36/2349.38 c #Conflicts: 948000 | #Constraints: 92316
2343.36/2349.38 c #Conflicts: 949000 | #Constraints: 93316
2343.36/2349.38 c #Conflicts: 950000 | #Constraints: 94316
2343.36/2349.38 c #Conflicts: 951000 | #Constraints: 95316
2343.36/2349.38 c #Conflicts: 952000 | #Constraints: 96316
2343.36/2349.38 c #Conflicts: 953000 | #Constraints: 97316
2343.36/2349.38 c #Conflicts: 954000 | #Constraints: 98316
2343.36/2349.38 c #Conflicts: 955000 | #Constraints: 99316
2343.36/2349.38 c #Conflicts: 956000 | #Constraints: 100316
2343.36/2349.38 c #Conflicts: 957000 | #Constraints: 101316
2343.36/2349.38 c #Conflicts: 958000 | #Constraints: 102316
2343.36/2349.38 c #Conflicts: 959000 | #Constraints: 103316
2343.36/2349.38 c #Conflicts: 960000 | #Constraints: 104316
2343.36/2349.38 c #Conflicts: 961000 | #Constraints: 105316
2343.36/2349.38 c #Conflicts: 962000 | #Constraints: 106316
2343.36/2349.38 c #Conflicts: 963000 | #Constraints: 107316
2343.36/2349.38 c #Conflicts: 964000 | #Constraints: 108316
2343.36/2349.38 c #Conflicts: 965000 | #Constraints: 109316
2343.36/2349.38 c #Conflicts: 966000 | #Constraints: 110316
2343.36/2349.38 c #Conflicts: 967000 | #Constraints: 111316
2343.36/2349.38 c #Conflicts: 968000 | #Constraints: 112316
2343.36/2349.38 c #Conflicts: 969000 | #Constraints: 113316
2343.36/2349.38 c #Conflicts: 970000 | #Constraints: 114316
2343.36/2349.38 c #Conflicts: 971000 | #Constraints: 115316
2343.36/2349.38 c #Conflicts: 972000 | #Constraints: 116316
2343.36/2349.38 c #Conflicts: 973000 | #Constraints: 117316
2343.36/2349.38 c #Conflicts: 974000 | #Constraints: 118316
2343.36/2349.38 c #Conflicts: 975000 | #Constraints: 119316
2343.36/2349.38 c #Conflicts: 976000 | #Constraints: 120316
2343.36/2349.38 c #Conflicts: 977000 | #Constraints: 121316
2343.36/2349.38 c #Conflicts: 978000 | #Constraints: 122316
2343.36/2349.38 c #Conflicts: 979000 | #Constraints: 123316
2343.36/2349.38 c #Conflicts: 980000 | #Constraints: 124316
2343.36/2349.38 c #Conflicts: 981000 | #Constraints: 125316
2343.36/2349.38 c #Conflicts: 982000 | #Constraints: 126316
2343.36/2349.38 c #Conflicts: 983000 | #Constraints: 127316
2343.36/2349.38 c #Conflicts: 984000 | #Constraints: 128316
2343.36/2349.38 c #Conflicts: 985000 | #Constraints: 129316
2343.36/2349.38 c #Conflicts: 986000 | #Constraints: 130316
2343.36/2349.38 c #Conflicts: 987000 | #Constraints: 131316
2343.36/2349.38 c #Conflicts: 988000 | #Constraints: 132316
2343.36/2349.38 c #Conflicts: 989000 | #Constraints: 133316
2343.36/2349.38 c #Conflicts: 990000 | #Constraints: 134316
2343.36/2349.38 c #Conflicts: 991000 | #Constraints: 135316
2343.36/2349.38 c #Conflicts: 992000 | #Constraints: 136316
2343.36/2349.38 c #Conflicts: 993000 | #Constraints: 137316
2343.36/2349.38 c #Conflicts: 994000 | #Constraints: 138316
2343.36/2349.38 c #Conflicts: 995000 | #Constraints: 139316
2343.36/2349.38 c #Conflicts: 996000 | #Constraints: 140316
2343.36/2349.38 c #Conflicts: 997000 | #Constraints: 141316
2343.36/2349.38 c #Conflicts: 998000 | #Constraints: 142316
2343.36/2349.38 c #Conflicts: 999000 | #Constraints: 143316
2343.36/2349.38 c #Conflicts: 1000000 | #Constraints: 144316
2343.36/2349.38 c #Conflicts: 1001000 | #Constraints: 145316
2343.36/2349.38 c #Conflicts: 1002000 | #Constraints: 146316
2343.36/2349.38 c #Conflicts: 1003000 | #Constraints: 147316
2343.36/2349.38 c INPROCESSING
2343.36/2349.38 c GARBAGE COLLECT
2343.36/2349.38 c #Conflicts: 1004000 | #Constraints: 88346
2589.36/2596.01 c #Conflicts: 1005000 | #Constraints: 89346
2589.36/2596.01 c #Conflicts: 1006000 | #Constraints: 90346
2589.36/2596.01 c #Conflicts: 1007000 | #Constraints: 91346
2589.36/2596.01 c #Conflicts: 1008000 | #Constraints: 92346
2589.36/2596.01 c #Conflicts: 1009000 | #Constraints: 93346
2589.36/2596.01 c #Conflicts: 1010000 | #Constraints: 94346
2589.36/2596.01 c #Conflicts: 1011000 | #Constraints: 95346
2589.36/2596.01 c #Conflicts: 1012000 | #Constraints: 96346
2589.36/2596.01 c #Conflicts: 1013000 | #Constraints: 97346
2589.36/2596.01 c #Conflicts: 1014000 | #Constraints: 98346
2589.36/2596.01 c #Conflicts: 1015000 | #Constraints: 99346
2589.36/2596.01 c #Conflicts: 1016000 | #Constraints: 100346
2589.36/2596.01 c #Conflicts: 1017000 | #Constraints: 101346
2589.36/2596.01 c #Conflicts: 1018000 | #Constraints: 102346
2589.36/2596.01 c #Conflicts: 1019000 | #Constraints: 103346
2589.36/2596.01 c #Conflicts: 1020000 | #Constraints: 104346
2589.36/2596.01 c #Conflicts: 1021000 | #Constraints: 105346
2589.36/2596.01 c #Conflicts: 1022000 | #Constraints: 106346
2589.36/2596.01 c #Conflicts: 1023000 | #Constraints: 107346
2589.36/2596.01 c #Conflicts: 1024000 | #Constraints: 108346
2589.36/2596.01 c #Conflicts: 1025000 | #Constraints: 109346
2589.36/2596.01 c #Conflicts: 1026000 | #Constraints: 110346
2589.36/2596.01 c #Conflicts: 1027000 | #Constraints: 111346
2589.36/2596.01 c #Conflicts: 1028000 | #Constraints: 112346
2589.36/2596.01 c #Conflicts: 1029000 | #Constraints: 113346
2589.36/2596.01 c #Conflicts: 1030000 | #Constraints: 114346
2589.36/2596.01 c #Conflicts: 1031000 | #Constraints: 115346
2589.36/2596.01 c #Conflicts: 1032000 | #Constraints: 116346
2589.36/2596.01 c #Conflicts: 1033000 | #Constraints: 117346
2589.36/2596.01 c #Conflicts: 1034000 | #Constraints: 118346
2589.36/2596.01 c #Conflicts: 1035000 | #Constraints: 119346
2589.36/2596.01 c #Conflicts: 1036000 | #Constraints: 120346
2589.36/2596.01 c #Conflicts: 1037000 | #Constraints: 121346
2589.36/2596.01 c INPROCESSING
2589.36/2596.01 c GARBAGE COLLECT
2589.36/2596.01 c #Conflicts: 1038000 | #Constraints: 85709
2589.36/2596.01 c #Conflicts: 1039000 | #Constraints: 86709
2589.36/2596.01 c #Conflicts: 1040000 | #Constraints: 87709
2589.36/2596.01 c #Conflicts: 1041000 | #Constraints: 88709
2589.36/2596.01 c #Conflicts: 1042000 | #Constraints: 89709
2589.36/2596.01 c #Conflicts: 1043000 | #Constraints: 90709
2589.36/2596.01 c #Conflicts: 1044000 | #Constraints: 91709
2589.36/2596.01 c #Conflicts: 1045000 | #Constraints: 92709
2589.36/2596.01 c #Conflicts: 1046000 | #Constraints: 93709
2589.36/2596.01 c #Conflicts: 1047000 | #Constraints: 94709
2589.36/2596.01 c #Conflicts: 1048000 | #Constraints: 95709
2589.36/2596.01 c #Conflicts: 1049000 | #Constraints: 96709
2589.36/2596.01 c #Conflicts: 1050000 | #Constraints: 97709
2589.36/2596.01 c #Conflicts: 1051000 | #Constraints: 98709
2589.36/2596.01 c #Conflicts: 1052000 | #Constraints: 99709
2589.36/2596.01 c #Conflicts: 1053000 | #Constraints: 100709
2589.36/2596.01 c #Conflicts: 1054000 | #Constraints: 101709
2589.36/2596.01 c #Conflicts: 1055000 | #Constraints: 102709
2589.36/2596.01 c #Conflicts: 1056000 | #Constraints: 103709
2589.36/2596.01 c #Conflicts: 1057000 | #Constraints: 104709
2589.36/2596.01 c #Conflicts: 1058000 | #Constraints: 105709
2589.36/2596.01 c #Conflicts: 1059000 | #Constraints: 106709
2589.36/2596.01 c #Conflicts: 1060000 | #Constraints: 107709
2589.36/2596.01 c #Conflicts: 1061000 | #Constraints: 108709
2589.36/2596.01 c #Conflicts: 1062000 | #Constraints: 109709
2589.36/2596.01 c #Conflicts: 1063000 | #Constraints: 110709
2589.36/2596.01 c #Conflicts: 1064000 | #Constraints: 111709
2589.36/2596.01 c #Conflicts: 1065000 | #Constraints: 112709
2589.36/2596.01 c #Conflicts: 1066000 | #Constraints: 113709
2589.36/2596.01 c #Conflicts: 1067000 | #Constraints: 114709
2589.36/2596.01 c #Conflicts: 1068000 | #Constraints: 115709
2589.36/2596.01 c #Conflicts: 1069000 | #Constraints: 116709
2589.36/2596.01 c #Conflicts: 1070000 | #Constraints: 117709
2589.36/2596.01 c #Conflicts: 1071000 | #Constraints: 118709
2589.36/2596.01 c #Conflicts: 1072000 | #Constraints: 119709
2589.36/2596.01 c #Conflicts: 1073000 | #Constraints: 120709
2589.36/2596.01 c #Conflicts: 1074000 | #Constraints: 121709
2589.36/2596.01 c #Conflicts: 1075000 | #Constraints: 122709
2589.36/2596.01 c #Conflicts: 1076000 | #Constraints: 123709
2589.36/2596.01 c #Conflicts: 1077000 | #Constraints: 124710
2589.36/2596.01 c #Conflicts: 1078000 | #Constraints: 125710
2589.36/2596.01 c #Conflicts: 1079000 | #Constraints: 126710
2589.36/2596.01 c #Conflicts: 1080000 | #Constraints: 127710
2589.36/2596.01 c #Conflicts: 1081000 | #Constraints: 128710
2589.36/2596.01 c #Conflicts: 1082000 | #Constraints: 129710
2808.01/2815.31 c #Conflicts: 1083000 | #Constraints: 130710
2808.01/2815.31 c #Conflicts: 1084000 | #Constraints: 131710
2808.01/2815.31 c #Conflicts: 1085000 | #Constraints: 132710
2808.01/2815.31 c #Conflicts: 1086000 | #Constraints: 133710
2808.01/2815.31 c #Conflicts: 1087000 | #Constraints: 134710
2808.01/2815.31 c #Conflicts: 1088000 | #Constraints: 135710
2808.01/2815.31 c #Conflicts: 1089000 | #Constraints: 136710
2808.01/2815.31 c #Conflicts: 1090000 | #Constraints: 137710
2808.01/2815.31 c #Conflicts: 1091000 | #Constraints: 138710
2808.01/2815.31 c #Conflicts: 1092000 | #Constraints: 139710
2808.01/2815.31 c #Conflicts: 1093000 | #Constraints: 140710
2808.01/2815.31 c #Conflicts: 1094000 | #Constraints: 141710
2808.01/2815.31 c #Conflicts: 1095000 | #Constraints: 142710
2808.01/2815.31 c #Conflicts: 1096000 | #Constraints: 143710
2808.01/2815.31 c #Conflicts: 1097000 | #Constraints: 144710
2808.01/2815.31 c #Conflicts: 1098000 | #Constraints: 145710
2808.01/2815.31 c #Conflicts: 1099000 | #Constraints: 146710
2808.01/2815.31 c #Conflicts: 1100000 | #Constraints: 147710
2808.01/2815.31 c #Conflicts: 1101000 | #Constraints: 148710
2808.01/2815.31 c #Conflicts: 1102000 | #Constraints: 149710
2808.01/2815.31 c INPROCESSING
2808.01/2815.31 c GARBAGE COLLECT
2808.01/2815.31 c #Conflicts: 1103000 | #Constraints: 88878
2808.01/2815.31 c #Conflicts: 1104000 | #Constraints: 89878
2808.01/2815.31 c #Conflicts: 1105000 | #Constraints: 90878
2808.01/2815.31 c #Conflicts: 1106000 | #Constraints: 91878
2808.01/2815.31 c #Conflicts: 1107000 | #Constraints: 92878
2808.01/2815.31 c #Conflicts: 1108000 | #Constraints: 93878
2808.01/2815.31 c #Conflicts: 1109000 | #Constraints: 94878
2808.01/2815.31 c #Conflicts: 1110000 | #Constraints: 95878
2808.01/2815.31 c #Conflicts: 1111000 | #Constraints: 96878
2808.01/2815.31 c #Conflicts: 1112000 | #Constraints: 97878
2808.01/2815.31 c #Conflicts: 1113000 | #Constraints: 98878
2808.01/2815.31 c #Conflicts: 1114000 | #Constraints: 99878
2808.01/2815.31 c #Conflicts: 1115000 | #Constraints: 100878
2808.01/2815.31 c #Conflicts: 1116000 | #Constraints: 101878
2808.01/2815.31 c #Conflicts: 1117000 | #Constraints: 102878
2808.01/2815.31 c #Conflicts: 1118000 | #Constraints: 103878
2808.01/2815.31 c #Conflicts: 1119000 | #Constraints: 104878
2808.01/2815.31 c #Conflicts: 1120000 | #Constraints: 105878
2808.01/2815.31 c #Conflicts: 1121000 | #Constraints: 106878
2808.01/2815.31 c #Conflicts: 1122000 | #Constraints: 107878
2808.01/2815.31 c #Conflicts: 1123000 | #Constraints: 108878
2808.01/2815.31 c #Conflicts: 1124000 | #Constraints: 109878
2808.01/2815.31 c #Conflicts: 1125000 | #Constraints: 110878
2808.01/2815.31 c #Conflicts: 1126000 | #Constraints: 111878
2808.01/2815.31 c #Conflicts: 1127000 | #Constraints: 112878
2808.01/2815.31 c #Conflicts: 1128000 | #Constraints: 113878
2808.01/2815.31 c #Conflicts: 1129000 | #Constraints: 114878
2808.01/2815.31 c #Conflicts: 1130000 | #Constraints: 115878
2808.01/2815.31 c #Conflicts: 1131000 | #Constraints: 116878
2808.01/2815.31 c #Conflicts: 1132000 | #Constraints: 117878
2808.01/2815.31 c #Conflicts: 1133000 | #Constraints: 118878
2808.01/2815.31 c #Conflicts: 1134000 | #Constraints: 119878
2808.01/2815.31 c #Conflicts: 1135000 | #Constraints: 120878
2808.01/2815.31 c #Conflicts: 1136000 | #Constraints: 121878
2808.01/2815.31 c #Conflicts: 1137000 | #Constraints: 122878
2808.01/2815.31 c INPROCESSING
2808.01/2815.31 c GARBAGE COLLECT
2808.01/2815.31 c #Conflicts: 1138000 | #Constraints: 86938
2808.01/2815.31 c #Conflicts: 1139000 | #Constraints: 87938
2808.01/2815.31 c #Conflicts: 1140000 | #Constraints: 88938
2808.01/2815.31 c #Conflicts: 1141000 | #Constraints: 89938
2808.01/2815.31 c #Conflicts: 1142000 | #Constraints: 90938
2808.01/2815.31 c #Conflicts: 1143000 | #Constraints: 91938
2808.01/2815.31 c #Conflicts: 1144000 | #Constraints: 92938
2808.01/2815.31 c #Conflicts: 1145000 | #Constraints: 93938
2808.01/2815.31 c #Conflicts: 1146000 | #Constraints: 94938
2808.01/2815.31 c #Conflicts: 1147000 | #Constraints: 95938
2808.01/2815.31 c #Conflicts: 1148000 | #Constraints: 96938
2808.01/2815.31 c #Conflicts: 1149000 | #Constraints: 97938
2808.01/2815.31 c #Conflicts: 1150000 | #Constraints: 98938
2808.01/2815.31 c #Conflicts: 1151000 | #Constraints: 99938
2808.01/2815.31 c #Conflicts: 1152000 | #Constraints: 100938
2808.01/2815.31 c #Conflicts: 1153000 | #Constraints: 101938
2808.01/2815.31 c #Conflicts: 1154000 | #Constraints: 102938
2808.01/2815.31 c #Conflicts: 1155000 | #Constraints: 103939
2808.01/2815.31 c #Conflicts: 1156000 | #Constraints: 104939
2808.01/2815.31 c #Conflicts: 1157000 | #Constraints: 105939
2808.01/2815.31 c #Conflicts: 1158000 | #Constraints: 106939
2808.01/2815.31 c #Conflicts: 1159000 | #Constraints: 107939
3164.63/3172.92 c #Conflicts: 1160000 | #Constraints: 108939
3164.63/3172.92 c #Conflicts: 1161000 | #Constraints: 109939
3164.63/3172.92 c #Conflicts: 1162000 | #Constraints: 110939
3164.63/3172.92 c #Conflicts: 1163000 | #Constraints: 111939
3164.63/3172.92 c #Conflicts: 1164000 | #Constraints: 112939
3164.63/3172.92 c #Conflicts: 1165000 | #Constraints: 113939
3164.63/3172.92 c #Conflicts: 1166000 | #Constraints: 114939
3164.63/3172.92 c #Conflicts: 1167000 | #Constraints: 115939
3164.63/3172.92 c #Conflicts: 1168000 | #Constraints: 116939
3164.63/3172.92 c #Conflicts: 1169000 | #Constraints: 117939
3164.63/3172.92 c #Conflicts: 1170000 | #Constraints: 118939
3164.63/3172.92 c #Conflicts: 1171000 | #Constraints: 119939
3164.63/3172.92 c #Conflicts: 1172000 | #Constraints: 120939
3164.63/3172.92 c #Conflicts: 1173000 | #Constraints: 121939
3164.63/3172.92 c #Conflicts: 1174000 | #Constraints: 122939
3164.63/3172.92 c #Conflicts: 1175000 | #Constraints: 123939
3164.63/3172.92 c #Conflicts: 1176000 | #Constraints: 124939
3164.63/3172.92 c #Conflicts: 1177000 | #Constraints: 125939
3164.63/3172.92 c #Conflicts: 1178000 | #Constraints: 126939
3164.63/3172.92 c #Conflicts: 1179000 | #Constraints: 127939
3164.63/3172.92 c #Conflicts: 1180000 | #Constraints: 128939
3164.63/3172.92 c #Conflicts: 1181000 | #Constraints: 129939
3164.63/3172.92 c #Conflicts: 1182000 | #Constraints: 130939
3164.63/3172.92 c #Conflicts: 1183000 | #Constraints: 131939
3164.63/3172.92 c #Conflicts: 1184000 | #Constraints: 132939
3164.63/3172.92 c #Conflicts: 1185000 | #Constraints: 133939
3164.63/3172.92 c #Conflicts: 1186000 | #Constraints: 134939
3164.63/3172.92 c #Conflicts: 1187000 | #Constraints: 135939
3164.63/3172.92 c #Conflicts: 1188000 | #Constraints: 136939
3164.63/3172.92 c #Conflicts: 1189000 | #Constraints: 137939
3164.63/3172.92 c #Conflicts: 1190000 | #Constraints: 138939
3164.63/3172.92 c #Conflicts: 1191000 | #Constraints: 139939
3164.63/3172.92 c #Conflicts: 1192000 | #Constraints: 140939
3164.63/3172.92 c #Conflicts: 1193000 | #Constraints: 141939
3164.63/3172.92 c #Conflicts: 1194000 | #Constraints: 142939
3164.63/3172.92 c #Conflicts: 1195000 | #Constraints: 143939
3164.63/3172.92 c #Conflicts: 1196000 | #Constraints: 144939
3164.63/3172.92 c #Conflicts: 1197000 | #Constraints: 145939
3164.63/3172.92 c #Conflicts: 1198000 | #Constraints: 146939
3164.63/3172.92 c #Conflicts: 1199000 | #Constraints: 147939
3164.63/3172.92 c #Conflicts: 1200000 | #Constraints: 148939
3164.63/3172.92 c #Conflicts: 1201000 | #Constraints: 149939
3164.63/3172.92 c #Conflicts: 1202000 | #Constraints: 150939
3164.63/3172.92 c #Conflicts: 1203000 | #Constraints: 151939
3164.63/3172.92 c #Conflicts: 1204000 | #Constraints: 152939
3164.63/3172.92 c #Conflicts: 1205000 | #Constraints: 153939
3164.63/3172.92 c #Conflicts: 1206000 | #Constraints: 154939
3164.63/3172.92 c INPROCESSING
3164.63/3172.92 c GARBAGE COLLECT
3164.63/3172.92 c rational objective 194.011
3416.63/3425.55 c #Conflicts: 1207000 | #Constraints: 91905
3416.63/3425.55 c #Conflicts: 1208000 | #Constraints: 92905
3416.63/3425.55 c #Conflicts: 1209000 | #Constraints: 93905
3416.63/3425.55 c #Conflicts: 1210000 | #Constraints: 94905
3416.63/3425.55 c #Conflicts: 1211000 | #Constraints: 95905
3416.63/3425.55 c #Conflicts: 1212000 | #Constraints: 96905
3416.63/3425.55 c #Conflicts: 1213000 | #Constraints: 97905
3416.63/3425.55 c #Conflicts: 1214000 | #Constraints: 98905
3416.63/3425.55 c #Conflicts: 1215000 | #Constraints: 99905
3416.63/3425.55 c #Conflicts: 1216000 | #Constraints: 100905
3416.63/3425.55 c #Conflicts: 1217000 | #Constraints: 101905
3416.63/3425.55 c #Conflicts: 1218000 | #Constraints: 102905
3416.63/3425.55 c #Conflicts: 1219000 | #Constraints: 103905
3416.63/3425.55 c #Conflicts: 1220000 | #Constraints: 104905
3416.63/3425.55 c #Conflicts: 1221000 | #Constraints: 105905
3416.63/3425.55 c #Conflicts: 1222000 | #Constraints: 106905
3416.63/3425.55 c #Conflicts: 1223000 | #Constraints: 107905
3416.63/3425.55 c #Conflicts: 1224000 | #Constraints: 108905
3416.63/3425.55 c #Conflicts: 1225000 | #Constraints: 109905
3416.63/3425.55 c #Conflicts: 1226000 | #Constraints: 110905
3416.63/3425.55 c #Conflicts: 1227000 | #Constraints: 111905
3416.63/3425.55 c #Conflicts: 1228000 | #Constraints: 112905
3416.63/3425.55 c #Conflicts: 1229000 | #Constraints: 113905
3416.63/3425.55 c #Conflicts: 1230000 | #Constraints: 114905
3416.63/3425.55 c #Conflicts: 1231000 | #Constraints: 115905
3416.63/3425.55 c #Conflicts: 1232000 | #Constraints: 116905
3416.63/3425.55 c #Conflicts: 1233000 | #Constraints: 117905
3416.63/3425.55 c #Conflicts: 1234000 | #Constraints: 118905
3416.63/3425.55 c #Conflicts: 1235000 | #Constraints: 119905
3416.63/3425.55 c #Conflicts: 1236000 | #Constraints: 120905
3416.63/3425.55 c #Conflicts: 1237000 | #Constraints: 121905
3416.63/3425.55 c #Conflicts: 1238000 | #Constraints: 122905
3416.63/3425.55 c #Conflicts: 1239000 | #Constraints: 123905
3416.63/3425.55 c #Conflicts: 1240000 | #Constraints: 124905
3416.63/3425.55 c #Conflicts: 1241000 | #Constraints: 125905
3416.63/3425.55 c #Conflicts: 1242000 | #Constraints: 126905
3416.63/3425.55 c INPROCESSING
3416.63/3425.55 c GARBAGE COLLECT
3416.63/3425.55 c #Conflicts: 1243000 | #Constraints: 90334
3416.63/3425.55 c #Conflicts: 1244000 | #Constraints: 91334
3416.63/3425.55 c #Conflicts: 1245000 | #Constraints: 92334
3416.63/3425.55 c #Conflicts: 1246000 | #Constraints: 93334
3416.63/3425.55 c #Conflicts: 1247000 | #Constraints: 94334
3416.63/3425.55 c #Conflicts: 1248000 | #Constraints: 95334
3416.63/3425.55 c #Conflicts: 1249000 | #Constraints: 96334
3416.63/3425.55 c #Conflicts: 1250000 | #Constraints: 97334
3416.63/3425.55 c #Conflicts: 1251000 | #Constraints: 98334
3416.63/3425.55 c #Conflicts: 1252000 | #Constraints: 99334
3416.63/3425.55 c #Conflicts: 1253000 | #Constraints: 100334
3416.63/3425.55 c #Conflicts: 1254000 | #Constraints: 101334
3416.63/3425.55 c #Conflicts: 1255000 | #Constraints: 102334
3416.63/3425.55 c #Conflicts: 1256000 | #Constraints: 103334
3416.63/3425.55 c #Conflicts: 1257000 | #Constraints: 104334
3416.63/3425.55 c #Conflicts: 1258000 | #Constraints: 105334
3416.63/3425.55 c #Conflicts: 1259000 | #Constraints: 106334
3416.63/3425.55 c #Conflicts: 1260000 | #Constraints: 107334
3416.63/3425.55 c #Conflicts: 1261000 | #Constraints: 108334
3416.63/3425.55 c #Conflicts: 1262000 | #Constraints: 109334
3416.63/3425.55 c #Conflicts: 1263000 | #Constraints: 110334
3416.63/3425.55 c #Conflicts: 1264000 | #Constraints: 111334
3416.63/3425.55 c #Conflicts: 1265000 | #Constraints: 112334
3416.63/3425.55 c #Conflicts: 1266000 | #Constraints: 113334
3416.63/3425.55 c #Conflicts: 1267000 | #Constraints: 114334
3416.63/3425.55 c #Conflicts: 1268000 | #Constraints: 115334
3416.63/3425.55 c #Conflicts: 1269000 | #Constraints: 116334
3416.63/3425.55 c #Conflicts: 1270000 | #Constraints: 117334
3416.63/3425.55 c #Conflicts: 1271000 | #Constraints: 118334
3416.63/3425.55 c #Conflicts: 1272000 | #Constraints: 119334
3416.63/3425.55 c #Conflicts: 1273000 | #Constraints: 120334
3416.63/3425.55 c #Conflicts: 1274000 | #Constraints: 121334
3416.63/3425.55 c #Conflicts: 1275000 | #Constraints: 122334
3416.63/3425.55 c #Conflicts: 1276000 | #Constraints: 123334
3416.63/3425.55 c #Conflicts: 1277000 | #Constraints: 124334
3416.63/3425.55 c #Conflicts: 1278000 | #Constraints: 125334
3416.63/3425.55 c #Conflicts: 1279000 | #Constraints: 126334
3416.63/3425.55 c #Conflicts: 1280000 | #Constraints: 127334
3416.63/3425.55 c #Conflicts: 1281000 | #Constraints: 128334
3416.63/3425.55 c #Conflicts: 1282000 | #Constraints: 129334
3416.63/3425.55 c #Conflicts: 1283000 | #Constraints: 130334
3416.63/3425.55 c #Conflicts: 1284000 | #Constraints: 131334
3416.63/3425.55 c #Conflicts: 1285000 | #Constraints: 132334
3600.08/3609.40 c #Conflicts: 1286000 | #Constraints: 133334
3600.08/3609.40 c #Conflicts: 1287000 | #Constraints: 134334
3600.08/3609.40 c #Conflicts: 1288000 | #Constraints: 135334
3600.08/3609.40 c #Conflicts: 1289000 | #Constraints: 136334
3600.08/3609.40 c #Conflicts: 1290000 | #Constraints: 137334
3600.08/3609.40 c #Conflicts: 1291000 | #Constraints: 138334
3600.08/3609.40 c #Conflicts: 1292000 | #Constraints: 139334
3600.08/3609.40 c #Conflicts: 1293000 | #Constraints: 140334
3600.08/3609.40 c #Conflicts: 1294000 | #Constraints: 141334
3600.08/3609.40 c #Conflicts: 1295000 | #Constraints: 142334
3600.08/3609.40 c #Conflicts: 1296000 | #Constraints: 143334
3600.08/3609.40 c #Conflicts: 1297000 | #Constraints: 144334
3600.08/3609.40 c #Conflicts: 1298000 | #Constraints: 145334
3600.08/3609.40 c #Conflicts: 1299000 | #Constraints: 146334
3600.08/3609.40 c #Conflicts: 1300000 | #Constraints: 147334
3600.08/3609.40 c #Conflicts: 1301000 | #Constraints: 148334
3600.08/3609.40 c #Conflicts: 1302000 | #Constraints: 149334
3600.08/3609.40 c #Conflicts: 1303000 | #Constraints: 150334
3600.08/3609.40 c #Conflicts: 1304000 | #Constraints: 151334
3600.08/3609.40 c #Conflicts: 1305000 | #Constraints: 152334
3600.08/3609.40 c #Conflicts: 1306000 | #Constraints: 153334
3600.08/3609.40 c #Conflicts: 1307000 | #Constraints: 154334
3600.08/3609.40 c #Conflicts: 1308000 | #Constraints: 155334
3600.08/3609.40 c #Conflicts: 1309000 | #Constraints: 156334
3600.08/3609.40 c #Conflicts: 1310000 | #Constraints: 157334
3600.08/3609.40 c #Conflicts: 1311000 | #Constraints: 158334
3600.08/3609.40 c #Conflicts: 1312000 | #Constraints: 159334
3600.08/3609.40 c #Conflicts: 1313000 | #Constraints: 160334
3600.08/3609.40 c #Conflicts: 1314000 | #Constraints: 161334
3600.08/3609.40 c INPROCESSING
3600.08/3609.40 c GARBAGE COLLECT
3600.08/3609.40 c #Conflicts: 1315000 | #Constraints: 95143
3600.08/3609.40 c #Conflicts: 1316000 | #Constraints: 96143
3600.08/3609.40 c #Conflicts: 1317000 | #Constraints: 97143
3600.08/3609.40 c #Conflicts: 1318000 | #Constraints: 98143
3600.08/3609.40 c #Conflicts: 1319000 | #Constraints: 99143
3600.08/3609.40 c #Conflicts: 1320000 | #Constraints: 100143
3600.08/3609.40 c #Conflicts: 1321000 | #Constraints: 101143
3600.08/3609.40 c #Conflicts: 1322000 | #Constraints: 102143
3600.08/3609.40 c #Conflicts: 1323000 | #Constraints: 103143
3600.08/3609.40 c #Conflicts: 1324000 | #Constraints: 104143
3600.08/3609.40 c #Conflicts: 1325000 | #Constraints: 105143
3600.08/3609.40 c #Conflicts: 1326000 | #Constraints: 106143
3600.08/3609.40 c #Conflicts: 1327000 | #Constraints: 107143
3600.08/3609.40 c #Conflicts: 1328000 | #Constraints: 108143
3600.08/3609.40 c #Conflicts: 1329000 | #Constraints: 109143
3600.08/3609.40 c #Conflicts: 1330000 | #Constraints: 110143
3600.08/3609.40 c #Conflicts: 1331000 | #Constraints: 111143
3600.08/3609.40 c #Conflicts: 1332000 | #Constraints: 112143
3600.08/3609.40 c #Conflicts: 1333000 | #Constraints: 113143
3600.08/3609.40 c #Conflicts: 1334000 | #Constraints: 114143
3600.08/3609.40 c #Conflicts: 1335000 | #Constraints: 115143
3600.08/3609.40 c #Conflicts: 1336000 | #Constraints: 116143
3600.08/3609.40 c #Conflicts: 1337000 | #Constraints: 117143
3600.08/3609.40 c #Conflicts: 1338000 | #Constraints: 118143
3600.08/3609.40 c #Conflicts: 1339000 | #Constraints: 119143
3600.08/3609.40 c #Conflicts: 1340000 | #Constraints: 120143
3600.08/3609.40 c #Conflicts: 1341000 | #Constraints: 121143
3600.08/3609.40 c #Conflicts: 1342000 | #Constraints: 122143
3600.08/3609.40 c #Conflicts: 1343000 | #Constraints: 123143
3600.08/3609.40 c cpu time 3565.78 s
3600.08/3609.40 c deterministic time 254421149131 2.54e+11
3600.08/3609.40 c optimization time 79.0074 s
3600.08/3609.40 c total solve time 3486.67 s
3600.08/3609.40 c core-guided solve time 0 s
3600.08/3609.40 c propagation time 1930.86 s
3600.08/3609.40 c conflict analysis time 1077.41 s
3600.08/3609.40 c propagations 1408946318
3600.08/3609.40 c resolve steps 76920919
3600.08/3609.40 c decisions 39752899
3600.08/3609.40 c conflicts 1343306
3600.08/3609.40 c restarts 2557
3600.08/3609.40 c inprocessing phases 39
3600.08/3609.40 c garbage collections 39 ,( 100.00 )
3600.08/3609.40 c input clauses 23420 ,( 99.18 )
3600.08/3609.40 c input cardinalities 194 ,( 0.82 )
3600.08/3609.40 c input general constraints 0 ,( 0.00 )
3600.08/3609.40 c input average constraint length 6.42
3600.08/3609.40 c input average constraint degree 1.96
3600.08/3609.40 c learned clauses 960217 ,( 71.48 )
3600.08/3609.40 c learned cardinalities 47736 ,( 3.55 )
3600.08/3609.40 c learned general constraints 335362 ,( 24.97 )
3600.08/3609.40 c learned average constraint length 718.18
3600.08/3609.40 c learned average constraint degree 17751709.56
3600.08/3609.40 c watched CF 32, 64, 128, Arb: 81321 , 0 , 0 , 0
3600.08/3609.40 c counting CF 32, 64, 128, Arb: 254041 , 0 , 0 , 0
3600.08/3609.40 c watched constraints 81321 ,( 24.25 )
3600.08/3609.40 c counting constraints 254041 ,( 75.75 )
3600.08/3609.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1287109721 , 801217478 , 1998031756 ,( 91156096 , 1906875660 )
3600.08/3609.40 c gcd simplifications 609
3600.08/3609.40 c detected cardinalities 7815
3600.08/3609.40 c weakened non-implied lits 362904225
3600.08/3609.40 c weakened non-implying lits 177912
3600.08/3609.40 c original variables 23131
3600.08/3609.40 c clausal propagations 662000930
3600.08/3609.40 c cardinality propagations 507528455
3600.08/3609.40 c watched propagations 4081715
3600.08/3609.40 c counting propagations 222177569
3600.08/3609.40 c watch lookups 78415633231
3600.08/3609.40 c watch backjump lookups 0
3600.08/3609.40 c watch checks 33507944142
3600.08/3609.40 c propagation checks 135101621314
3600.08/3609.40 c constraint additions 4496874796
3600.08/3609.40 c trail pops 1450020794
3600.08/3609.40 c formula constraints 23614
3600.08/3609.40 c learned constraints 1343298
3600.08/3609.40 c bound constraints 0
3600.08/3609.40 c core-guided constraints 0
3600.08/3609.40 c encountered formula constraints 47423658
3600.08/3609.40 c encountered learned constraints 30840377
3600.08/3609.40 c encountered bound constraints 0
3600.08/3609.40 c encountered core-guided constraints 0
3600.08/3609.40 c LP total time 601.014 s
3600.08/3609.40 c LP solve time 597.03 s
3600.08/3609.40 c LP constraints added 23909
3600.08/3609.40 c LP constraints removed 0
3600.08/3609.40 c LP pivots internal 162142
3600.08/3609.40 c LP pivots root 193494
3600.08/3609.40 c LP calls 17
3600.08/3609.40 c LP optimalities 3
3600.08/3609.40 c LP no pivot count 0
3600.08/3609.40 c LP infeasibilities 7
3600.08/3609.40 c LP valid Farkas constraints 7
3600.08/3609.40 c LP learned Farkas constraints 7
3600.08/3609.40 c LP basis resets 0
3600.08/3609.40 c LP cycling count 0
3600.08/3609.40 c LP singular count 0
3600.08/3609.40 c LP no primal count 0
3600.08/3609.40 c LP no farkas count 0
3600.08/3609.40 c LP other issue count 0
3600.08/3609.40 c LP Gomory cuts 3
3600.08/3609.40 c LP learned cuts 292
3600.08/3609.40 c LP deleted cuts 0
3600.08/3609.40 c LP encountered Gomory constraints 0
3600.08/3609.40 c LP encountered Farkas constraints 178
3600.08/3609.40 c LP encountered learned Farkas constraints 5
3600.08/3609.40 c CG auxiliary variables introduced 0
3600.08/3609.40 c CG solutions found 0
3600.08/3609.40 c CG cores constructed 0
3600.08/3609.40 c CG core cardinality constraints returned 0
3600.08/3609.40 c CG unit cores 0
3600.08/3609.40 c CG single cores 0
3600.08/3609.40 c CG blocks removed during cardinality reduction 0
3600.08/3609.40 c CG first core best 0
3600.08/3609.40 c CG decision core best 0
3600.08/3609.40 c CG core reduction tie 0
3600.08/3609.40 c CG core degree average 0.00
3600.08/3609.40 c CG core slack average 0.00
3600.08/3609.40 c CG core upper bound improvements 0
3600.08/3609.40 c STR number of successful calls 0
3600.08/3609.40 c STR number of unsuccessful calls 0
3600.08/3609.40 c STR number of inconclusive calls 0
3600.08/3609.40 c STR number of successful attempts 0
3600.08/3609.40 c STR number of unsuccessful attempts 0
3600.08/3609.40 c STR number of inconclusive attempts 0
3600.08/3609.40 c STR average degree increase per successful call inf
3600.08/3609.40 c STR average degree increase per successful attempt inf
3600.08/3609.40 c STR total number of conflicts for successful attempts 0
3600.08/3609.40 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.40 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.40 c STR average number of conflicts per successful attempt inf
3600.08/3609.40 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.40 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.40 c AVG.sumWPerc 66.92
3600.08/3609.40 c bigint constraints 0
3600.08/3609.40 s UNKNOWN
3600.08/3609.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (63050 MiB free)
memory of node 1: 64507 MiB (64017 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507160-1751179929/watcher-4507160-1751179929 -o /tmp/evaluation-result-4507160-1751179929/solver-4507160-1751179929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18877 --watchdog 3760 run-dec-break.sh HOME/instance-4507160-1751179929.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19654, runsolver pid=19648
[startup+0.100061 s]*
/proc/loadavg: 4.11 4.09 4.09 5/265 19673
/proc/meminfo: memFree=130004424/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19660] ppid=19654 vsize=48856 memory=35680 CPUtime=0.08 cores=4,6
/proc/19660/stat : 19660 (pbsuma) R 19654 19654 18866 0 -1 4194304 14019 0 0 0 6 2 0 0 20 0 1 0 33670694 50028544 8920 18446744073709551615 4210688 4653049 140735991702128 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 35692544 140735991708003 140735991708210 140735991708210 140735991713775 0
/proc/19660/statm: 12214 8920 1024 108 0 9622 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 53048 KiB
Current children cumulated memory: 38496 KiB
[startup+0.205722 s]*
/proc/loadavg: 4.11 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129995880/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=68828 memory=23472 CPUtime=0.07 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 3734 0 0 0 5 2 0 0 20 0 1 0 33670704 70479872 5868 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 17207 5868 1952 1147 0 4634 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 73020 KiB
Current children cumulated memory: 26288 KiB
[startup+0.30556 s]*
/proc/loadavg: 4.11 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129943140/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=115524 memory=65408 CPUtime=0.16 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 12721 0 0 0 13 3 0 0 20 0 1 0 33670704 118296576 16352 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 28881 16352 2240 1147 0 16308 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 119716 KiB
Current children cumulated memory: 68224 KiB
[startup+0.700166 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129941144/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=121320 memory=69760 CPUtime=0.56 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 13791 0 0 0 52 4 0 0 20 0 1 0 33670704 124231680 17440 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 30330 17440 2272 1147 0 17757 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 125512 KiB
Current children cumulated memory: 72576 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129941144/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=121320 memory=69760 CPUtime=1.35 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 13791 0 0 0 131 4 0 0 20 0 1 0 33670704 124231680 17440 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 30330 17440 2272 1147 0 17757 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 125512 KiB
Current children cumulated memory: 72576 KiB
[startup+3.10542 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129932264/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=123576 memory=72192 CPUtime=2.95 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 14397 0 0 0 291 4 0 0 20 0 1 0 33670704 126541824 18048 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 30894 18048 2272 1147 0 18321 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 127768 KiB
Current children cumulated memory: 75008 KiB
[startup+6.30015 s]
/proc/loadavg: 4.09 4.08 4.09 5/268 19684
/proc/meminfo: memFree=129918764/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=127344 memory=79752 CPUtime=6.14 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 15704 0 0 0 600 14 0 0 20 0 1 0 33670704 130400256 19938 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 31836 19938 2336 1147 0 19263 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 131536 KiB
Current children cumulated memory: 82568 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.08 4.09 5/268 19684
/proc/meminfo: memFree=129885976/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=138136 memory=90444 CPUtime=12.53 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 17876 0 0 0 1220 33 0 0 20 0 1 0 33670704 141451264 22611 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 34534 22611 2336 1147 0 21961 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 142328 KiB
Current children cumulated memory: 93260 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 19684
/proc/meminfo: memFree=129818224/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=156648 memory=108244 CPUtime=25.3 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 21808 0 0 0 2459 71 0 0 20 0 1 0 33670704 160407552 27061 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 39162 27061 2336 1147 0 26589 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 160840 KiB
Current children cumulated memory: 111060 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19684
/proc/meminfo: memFree=129684748/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=189336 memory=132828 CPUtime=50.83 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 26506 0 0 0 4947 136 0 0 20 0 1 0 33670704 193880064 33207 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 47334 33207 2336 1147 0 34761 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 193528 KiB
Current children cumulated memory: 135644 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19686
/proc/meminfo: memFree=129463372/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=247464 memory=186064 CPUtime=101.88 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 36713 0 0 0 9941 247 0 0 20 0 1 0 33670704 253403136 46516 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 61866 46516 2336 1147 0 49293 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 251656 KiB
Current children cumulated memory: 188880 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 19688
/proc/meminfo: memFree=129335060/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=298772 memory=224156 CPUtime=161.74 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 42169 0 0 0 15817 357 0 0 20 0 1 0 33670704 305942528 56039 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 74693 56039 2336 1147 0 62120 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 302964 KiB
Current children cumulated memory: 226972 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/267 19690
/proc/meminfo: memFree=129226452/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=321572 memory=252124 CPUtime=221.59 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 47616 0 0 0 21684 475 0 0 20 0 1 0 33670704 329289728 63031 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 80393 63031 2336 1147 0 67820 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/19675/statm: 369385 294296 2336 1147 0 356812 0
Current children cumulated CPU time: 3034.36 s
Current children cumulated vsize: 1481732 KiB
Current children cumulated memory: 1180000 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/266 19838
/proc/meminfo: memFree=126340148/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=1477540 memory=1186144 CPUtime=3094.13 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 126975 0 0 0 306319 3094 0 0 20 0 1 0 33670704 1513000960 296536 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 369385 296536 2336 1147 0 356812 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 1481732 KiB
Current children cumulated memory: 1188960 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/266 19840
/proc/meminfo: memFree=126349692/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=1480780 memory=1192032 CPUtime=3153.98 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 127716 0 0 0 312291 3107 0 0 20 0 1 0 33670704 1516318720 298008 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 370195 298008 2336 1147 0 357622 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 1484972 KiB
Current children cumulated memory: 1194848 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/266 19842
/proc/meminfo: memFree=126297304/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=1523932 memory=1235424 CPUtime=3213.84 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 138558 0 0 0 318246 3138 0 0 20 0 1 0 33670704 1560506368 308856 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 380983 308856 2336 1147 0 368410 0
Current children cumulated CPU time: 3213.92 s
Current children cumulated vsize: 1528124 KiB
Current children cumulated memory: 1238240 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/266 19844
/proc/meminfo: memFree=126279176/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=1532108 memory=1243420 CPUtime=3273.69 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 140035 0 0 0 324203 3166 0 0 20 0 1 0 33670704 1568878592 310855 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 383027 310855 2336 1147 0 370454 0
Current children cumulated CPU time: 3273.77 s
Current children cumulated vsize: 1536300 KiB
Current children cumulated memory: 1246236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/267 19849
/proc/meminfo: memFree=126285384/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=1533376 memory=1245212 CPUtime=3333.54 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 140722 0 0 0 330145 3209 0 0 20 0 1 0 33670704 1570177024 311303 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 383344 311303 2336 1147 0 370771 0
Current children cumulated CPU time: 3333.62 s
Current children cumulated vsize: 1537568 KiB
Current children cumulated memory: 1248028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.31 4.19 4.15 5/267 19855
/proc/meminfo: memFree=126299044/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=1533376 memory=1245212 CPUtime=3393.4 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 140784 0 0 0 336060 3280 0 0 20 0 1 0 33670704 1570177024 311303 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 383344 311303 2336 1147 0 370771 0
Current children cumulated CPU time: 3393.48 s
Current children cumulated vsize: 1537568 KiB
Current children cumulated memory: 1248028 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/267 19857
/proc/meminfo: memFree=126299060/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=1534292 memory=1245980 CPUtime=3453.26 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 140992 0 0 0 341993 3333 0 0 20 0 1 0 33670704 1571115008 311495 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 383573 311495 2336 1147 0 371000 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 1538484 KiB
Current children cumulated memory: 1248796 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/267 19859
/proc/meminfo: memFree=126273532/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=1539908 memory=1249692 CPUtime=3513.11 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 141975 0 0 0 347935 3376 0 0 20 0 1 0 33670704 1576865792 312423 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 384977 312423 2336 1147 0 372404 0
Current children cumulated CPU time: 3513.19 s
Current children cumulated vsize: 1544100 KiB
Current children cumulated memory: 1252508 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/267 19861
/proc/meminfo: memFree=126265460/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=1544688 memory=1254172 CPUtime=3572.98 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 143098 0 0 0 353880 3418 0 0 20 0 1 0 33670704 1581760512 313543 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 386172 313543 2336 1147 0 373599 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 1548880 KiB
Current children cumulated memory: 1256988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.08 4.14 4.13 5/262 19870
/proc/meminfo: memFree=127211036/131249996 swapFree=33010684/33010684
[pid=19654] ppid=19648 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/19654/stat : 19654 (run-dec-break.s) S 19648 19654 18866 0 -1 4194304 237 14178 0 0 0 0 6 2 20 0 1 0 33670692 4292608 704 18446744073709551615 94236382687232 94236383581765 140720863421808 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94236383820816 94236383868560 94236394684416 140720863426913 140720863427042 140720863427042 140720863432644 0
/proc/19654/statm: 1048 704 672 219 0 110 0
[pid=19675] ppid=19654 vsize=1544688 memory=1254172 CPUtime=3600 cores=4,6
/proc/19675/stat : 19675 (roundingsat) R 19654 19654 18866 0 -1 4194304 143098 0 0 0 356577 3423 0 0 20 0 1 0 33670704 1581760512 313543 18446744073709551615 4227072 8923433 140733624777600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17793024 140733624781124 140733624781352 140733624781352 140733624786922 0
/proc/19675/statm: 386172 313543 2336 1147 0 373599 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1548880 KiB
Current children cumulated memory: 1256988 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.41 s]
# the end of solver process 19654 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.068335 s, system=0.026868 s
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 19675 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3565.86 s, system=34.2668 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.41
CPU time (s): 3600.12
CPU user time (s): 3565.86
CPU system time (s): 34.2668
CPU usage (%): 99.7426
Max. virtual memory (cumulated for all children) (KiB): 1548880
Max. memory (cumulated for all children) (KiB): 1256988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.86
system time used= 34.2668
maximum resident set size= 1254556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157535
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 400
involuntary context switches= 3297
# summary of solver processes directly reported to runsolver:
# pid: 19654,19675
# total CPU time (s): 3600.12
# total CPU user time (s): 3565.86
# total CPU system time (s): 34.2668
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25075 second user time and 16.1782 second system time
The end
Begin job on nodeC022 at 2025-06-29 08:52:09
IDJOB=4507160
IDBENCH=158327
IDSOLVER=3357
FILE ID=nodeC022/4507160-1751179929
RUNJOBID= nodeC022-1751172706-18877
SLURM_JOB_ID= 9587539
Free space on /tmp= 433048 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K194.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507160-1751179929/watcher-4507160-1751179929 -o /tmp/evaluation-result-4507160-1751179929/solver-4507160-1751179929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18877 --watchdog 3760 run-dec-break.sh HOME/instance-4507160-1751179929.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7d29d77727f08087434452962a118642
RANDOM SEED=986727168
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.315
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.060
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.714
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.734
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.719
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.693
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.722
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.101
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130118928 kB
MemAvailable: 129776592 kB
Buffers: 3280 kB
Cached: 468596 kB
SwapCached: 0 kB
Active: 315060 kB
Inactive: 220236 kB
Active(anon): 81480 kB
Inactive(anon): 0 kB
Active(file): 233580 kB
Inactive(file): 220236 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25920 kB
Writeback: 0 kB
AnonPages: 66980 kB
Mapped: 102236 kB
Shmem: 18060 kB
KReclaimable: 85776 kB
Slab: 169404 kB
SReclaimable: 85776 kB
SUnreclaim: 83628 kB
KernelStack: 4112 kB
PageTables: 2940 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 331272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC022 at 2025-06-29 09:52:19