0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4507161-1751174060.opb'
0.00/0.03 c read 1.60MB (20.86ms)
0.00/0.03 c [cnf: #variables 23086 #clauses 23476 #duplicates 0 #arr 151092]
0.00/0.04 c output proof to 'PROOFDIR/proof-4507161-1751174060'
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.07 c [group: #orbits ~= 3492] (28.70ms)
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.08 c (5.16ms)
0.00/0.08 c
0.00/0.08 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.07/0.10 c [group: #symmetries 4.80*10^1 #generators 5] (24.51ms)
0.07/0.10 c
0.07/0.10 c optimize generators (opt_passes=64, conjugate_limit=256)
0.07/0.10 c (0.08ms)
0.07/0.10 c
0.07/0.10 c finalize break order and special generators
0.07/0.10 c
0.07/0.10 c add generic predicates (break_depth=10)
0.07/0.10 c added predicates for 5 generators (0.07ms)
0.07/0.12 c
0.07/0.12 c generation finished
0.07/0.12 c [sbp: #constraints 140 #add_vars 45]
0.07/0.12 c
0.07/0.12 c write result to 'HOME/instance-4507161-1751174060.opb.pre'
0.07/0.13 c wrote 1.63MB (3.74ms)
0.07/0.13 c ------------------------------------------------------------------
0.07/0.13 c 37.05ms 30.60% other
0.07/0.13 c 28.70ms 23.71% approx_orbits
0.07/0.13 c 24.51ms 20.25% detect_generic
0.07/0.13 c 20.86ms 17.23% parse
0.07/0.13 c 5.16ms 4.26% detect_special
0.07/0.13 c 3.74ms 3.09% output
0.07/0.13 c 0.88ms 0.73% finalize_order
0.07/0.13 c 0.08ms 0.07% optimize_gens
0.07/0.13 c 0.07ms 0.06% break_generic
0.07/0.13 c ───────────────────────────────────────────────
0.07/0.13 c 121.06ms 100% total
0.07/0.13 c ------------------------------------------------------------------
0.07/0.15 c RoundingSat 2
0.07/0.15 c branch pb25
0.07/0.15 c commit 63f22ad
0.25/0.34 c #variables 23131 #constraints 23614
122.46/122.95 c #Conflicts: 1000 | #Constraints: 24613
122.46/122.95 c #Conflicts: 2000 | #Constraints: 25613
122.46/122.95 c INPROCESSING
122.46/122.95 c GARBAGE COLLECT
122.46/122.95 c #Conflicts: 3000 | #Constraints: 24887
122.46/122.95 c #Conflicts: 4000 | #Constraints: 25887
122.46/122.95 c INPROCESSING
122.46/122.95 c GARBAGE COLLECT
122.46/122.95 c #Conflicts: 5000 | #Constraints: 25395
122.46/122.95 c #Conflicts: 6000 | #Constraints: 26395
122.46/122.95 c INPROCESSING
122.46/122.95 c GARBAGE COLLECT
122.46/122.95 c #Conflicts: 7000 | #Constraints: 25491
122.46/122.95 c #Conflicts: 8000 | #Constraints: 26491
122.46/122.95 c #Conflicts: 9000 | #Constraints: 27491
122.46/122.95 c #Conflicts: 10000 | #Constraints: 28491
122.46/122.95 c #Conflicts: 11000 | #Constraints: 29491
122.46/122.95 c #Conflicts: 12000 | #Constraints: 30491
122.46/122.95 c INPROCESSING
122.46/122.95 c GARBAGE COLLECT
122.46/122.95 c #Conflicts: 13000 | #Constraints: 27562
122.46/122.95 c #Conflicts: 14000 | #Constraints: 28562
122.46/122.95 c #Conflicts: 15000 | #Constraints: 29562
122.46/122.95 c #Conflicts: 16000 | #Constraints: 30562
122.46/122.95 c INPROCESSING
122.46/122.95 c GARBAGE COLLECT
122.46/122.95 c #Conflicts: 17000 | #Constraints: 28346
122.46/122.95 c #Conflicts: 18000 | #Constraints: 29346
122.46/122.95 c #Conflicts: 19000 | #Constraints: 30346
122.46/122.95 c #Conflicts: 20000 | #Constraints: 31346
122.46/122.95 c #Conflicts: 21000 | #Constraints: 32346
122.46/122.95 c #Conflicts: 22000 | #Constraints: 33346
122.46/122.95 c #Conflicts: 23000 | #Constraints: 34346
122.46/122.95 c #Conflicts: 24000 | #Constraints: 35346
122.46/122.95 c #Conflicts: 25000 | #Constraints: 36346
122.46/122.95 c INPROCESSING
122.46/122.95 c GARBAGE COLLECT
122.46/122.95 c #Conflicts: 26000 | #Constraints: 30680
122.46/122.95 c #Conflicts: 27000 | #Constraints: 31680
122.46/122.95 c #Conflicts: 28000 | #Constraints: 32680
122.46/122.95 c #Conflicts: 29000 | #Constraints: 33680
122.46/122.95 c #Conflicts: 30000 | #Constraints: 34680
122.46/122.95 c INPROCESSING
122.46/122.95 c GARBAGE COLLECT
122.46/122.95 c #Conflicts: 31000 | #Constraints: 31345
122.46/122.95 c #Conflicts: 32000 | #Constraints: 32345
122.46/122.95 c #Conflicts: 33000 | #Constraints: 33345
122.46/122.95 c #Conflicts: 34000 | #Constraints: 34345
122.46/122.95 c #Conflicts: 35000 | #Constraints: 35345
122.46/122.95 c #Conflicts: 36000 | #Constraints: 36345
122.46/122.95 c #Conflicts: 37000 | #Constraints: 37345
122.46/122.95 c #Conflicts: 38000 | #Constraints: 38345
122.46/122.95 c #Conflicts: 39000 | #Constraints: 39345
122.46/122.95 c #Conflicts: 40000 | #Constraints: 40345
122.46/122.95 c #Conflicts: 41000 | #Constraints: 41345
122.46/122.95 c #Conflicts: 42000 | #Constraints: 42345
122.46/122.95 c #Conflicts: 43000 | #Constraints: 43345
122.46/122.95 c INPROCESSING
122.46/122.95 c GARBAGE COLLECT
122.46/122.95 c #Conflicts: 44000 | #Constraints: 34619
122.46/122.95 c #Conflicts: 45000 | #Constraints: 35619
122.46/122.95 c #Conflicts: 46000 | #Constraints: 36619
122.46/122.95 c #Conflicts: 47000 | #Constraints: 37619
122.46/122.95 c #Conflicts: 48000 | #Constraints: 38619
122.46/122.95 c #Conflicts: 49000 | #Constraints: 39619
122.46/122.95 c #Conflicts: 50000 | #Constraints: 40619
122.46/122.95 c #Conflicts: 51000 | #Constraints: 41619
122.46/122.95 c #Conflicts: 52000 | #Constraints: 42619
122.46/122.95 c #Conflicts: 53000 | #Constraints: 43619
122.46/122.95 c #Conflicts: 54000 | #Constraints: 44619
122.46/122.95 c #Conflicts: 55000 | #Constraints: 45619
122.46/122.95 c #Conflicts: 56000 | #Constraints: 46619
122.46/122.95 c #Conflicts: 57000 | #Constraints: 47619
122.46/122.95 c INPROCESSING
122.46/122.95 c GARBAGE COLLECT
122.46/122.95 c #Conflicts: 58000 | #Constraints: 36696
122.46/122.95 c #Conflicts: 59000 | #Constraints: 37696
122.46/122.95 c #Conflicts: 60000 | #Constraints: 38696
122.46/122.95 c #Conflicts: 61000 | #Constraints: 39696
122.46/122.95 c #Conflicts: 62000 | #Constraints: 40696
122.46/122.95 c #Conflicts: 63000 | #Constraints: 41696
122.46/122.95 c #Conflicts: 64000 | #Constraints: 42696
122.46/122.95 c #Conflicts: 65000 | #Constraints: 43696
122.46/122.95 c #Conflicts: 66000 | #Constraints: 44696
122.46/122.95 c #Conflicts: 67000 | #Constraints: 45696
122.46/122.95 c #Conflicts: 68000 | #Constraints: 46696
122.46/122.95 c #Conflicts: 69000 | #Constraints: 47696
122.46/122.95 c #Conflicts: 70000 | #Constraints: 48696
122.46/122.95 c #Conflicts: 71000 | #Constraints: 49696
122.46/122.95 c #Conflicts: 72000 | #Constraints: 50696
122.46/122.95 c #Conflicts: 73000 | #Constraints: 51696
122.46/122.95 c #Conflicts: 74000 | #Constraints: 52696
260.86/263.97 c INPROCESSING
260.86/263.97 c GARBAGE COLLECT
260.86/263.97 c #Conflicts: 75000 | #Constraints: 39589
260.86/263.97 c #Conflicts: 76000 | #Constraints: 40589
260.86/263.97 c #Conflicts: 77000 | #Constraints: 41589
260.86/263.97 c #Conflicts: 78000 | #Constraints: 42589
260.86/263.97 c #Conflicts: 79000 | #Constraints: 43589
260.86/263.97 c #Conflicts: 80000 | #Constraints: 44589
260.86/263.97 c #Conflicts: 81000 | #Constraints: 45589
260.86/263.97 c #Conflicts: 82000 | #Constraints: 46589
260.86/263.97 c #Conflicts: 83000 | #Constraints: 47589
260.86/263.97 c #Conflicts: 84000 | #Constraints: 48589
260.86/263.97 c #Conflicts: 85000 | #Constraints: 49589
260.86/263.97 c #Conflicts: 86000 | #Constraints: 50589
260.86/263.97 c #Conflicts: 87000 | #Constraints: 51589
260.86/263.97 c #Conflicts: 88000 | #Constraints: 52589
260.86/263.97 c #Conflicts: 89000 | #Constraints: 53589
260.86/263.97 c #Conflicts: 90000 | #Constraints: 54589
260.86/263.97 c #Conflicts: 91000 | #Constraints: 55589
260.86/263.97 c #Conflicts: 92000 | #Constraints: 56589
260.86/263.97 c INPROCESSING
260.86/263.97 c GARBAGE COLLECT
260.86/263.97 c #Conflicts: 93000 | #Constraints: 41517
260.86/263.97 c #Conflicts: 94000 | #Constraints: 42517
260.86/263.97 c #Conflicts: 95000 | #Constraints: 43517
260.86/263.97 c #Conflicts: 96000 | #Constraints: 44517
260.86/263.97 c #Conflicts: 97000 | #Constraints: 45517
260.86/263.97 c #Conflicts: 98000 | #Constraints: 46517
260.86/263.97 c #Conflicts: 99000 | #Constraints: 47517
260.86/263.97 c #Conflicts: 100000 | #Constraints: 48517
260.86/263.97 c #Conflicts: 101000 | #Constraints: 49518
260.86/263.97 c #Conflicts: 102000 | #Constraints: 50518
260.86/263.97 c #Conflicts: 103000 | #Constraints: 51518
260.86/263.97 c #Conflicts: 104000 | #Constraints: 52518
260.86/263.97 c #Conflicts: 105000 | #Constraints: 53518
260.86/263.97 c #Conflicts: 106000 | #Constraints: 54518
260.86/263.97 c #Conflicts: 107000 | #Constraints: 55518
260.86/263.97 c #Conflicts: 108000 | #Constraints: 56518
260.86/263.97 c #Conflicts: 109000 | #Constraints: 57518
260.86/263.97 c #Conflicts: 110000 | #Constraints: 58518
260.86/263.97 c #Conflicts: 111000 | #Constraints: 59518
260.86/263.97 c #Conflicts: 112000 | #Constraints: 60518
260.86/263.97 c INPROCESSING
260.86/263.97 c GARBAGE COLLECT
260.86/263.97 c #Conflicts: 113000 | #Constraints: 43358
260.86/263.97 c #Conflicts: 114000 | #Constraints: 44358
260.86/263.97 c #Conflicts: 115000 | #Constraints: 45358
260.86/263.97 c #Conflicts: 116000 | #Constraints: 46358
260.86/263.97 c #Conflicts: 117000 | #Constraints: 47358
260.86/263.97 c #Conflicts: 118000 | #Constraints: 48358
260.86/263.97 c #Conflicts: 119000 | #Constraints: 49358
260.86/263.97 c #Conflicts: 120000 | #Constraints: 50358
260.86/263.97 c #Conflicts: 121000 | #Constraints: 51358
260.86/263.97 c #Conflicts: 122000 | #Constraints: 52358
260.86/263.97 c #Conflicts: 123000 | #Constraints: 53358
260.86/263.97 c #Conflicts: 124000 | #Constraints: 54358
260.86/263.97 c #Conflicts: 125000 | #Constraints: 55358
260.86/263.97 c #Conflicts: 126000 | #Constraints: 56358
260.86/263.97 c #Conflicts: 127000 | #Constraints: 57358
260.86/263.97 c #Conflicts: 128000 | #Constraints: 58358
260.86/263.97 c #Conflicts: 129000 | #Constraints: 59358
260.86/263.97 c #Conflicts: 130000 | #Constraints: 60358
260.86/263.97 c #Conflicts: 131000 | #Constraints: 61358
260.86/263.97 c #Conflicts: 132000 | #Constraints: 62358
260.86/263.97 c #Conflicts: 133000 | #Constraints: 63358
260.86/263.97 c #Conflicts: 134000 | #Constraints: 64358
260.86/263.97 c #Conflicts: 135000 | #Constraints: 65358
260.86/263.97 c INPROCESSING
260.86/263.97 c GARBAGE COLLECT
260.86/263.97 c #Conflicts: 136000 | #Constraints: 46125
260.86/263.97 c #Conflicts: 137000 | #Constraints: 47125
260.86/263.97 c #Conflicts: 138000 | #Constraints: 48125
260.86/263.97 c #Conflicts: 139000 | #Constraints: 49125
260.86/263.97 c #Conflicts: 140000 | #Constraints: 50125
260.86/263.97 c #Conflicts: 141000 | #Constraints: 51125
260.86/263.97 c #Conflicts: 142000 | #Constraints: 52125
260.86/263.97 c #Conflicts: 143000 | #Constraints: 53125
260.86/263.97 c #Conflicts: 144000 | #Constraints: 54125
260.86/263.97 c #Conflicts: 145000 | #Constraints: 55125
260.86/263.97 c #Conflicts: 146000 | #Constraints: 56125
260.86/263.97 c #Conflicts: 147000 | #Constraints: 57125
260.86/263.97 c #Conflicts: 148000 | #Constraints: 58125
260.86/263.97 c #Conflicts: 149000 | #Constraints: 59125
260.86/263.97 c #Conflicts: 150000 | #Constraints: 60125
432.84/441.81 c #Conflicts: 151000 | #Constraints: 61125
432.84/441.81 c #Conflicts: 152000 | #Constraints: 62125
432.84/441.81 c #Conflicts: 153000 | #Constraints: 63125
432.84/441.81 c #Conflicts: 154000 | #Constraints: 64125
432.84/441.81 c #Conflicts: 155000 | #Constraints: 65125
432.84/441.81 c #Conflicts: 156000 | #Constraints: 66125
432.84/441.81 c #Conflicts: 157000 | #Constraints: 67125
432.84/441.81 c #Conflicts: 158000 | #Constraints: 68125
432.84/441.81 c #Conflicts: 159000 | #Constraints: 69125
432.84/441.81 c INPROCESSING
432.84/441.81 c GARBAGE COLLECT
432.84/441.81 c #Conflicts: 160000 | #Constraints: 47800
432.84/441.81 c #Conflicts: 161000 | #Constraints: 48800
432.84/441.81 c #Conflicts: 162000 | #Constraints: 49800
432.84/441.81 c #Conflicts: 163000 | #Constraints: 50800
432.84/441.81 c #Conflicts: 164000 | #Constraints: 51800
432.84/441.81 c #Conflicts: 165000 | #Constraints: 52800
432.84/441.81 c #Conflicts: 166000 | #Constraints: 53800
432.84/441.81 c #Conflicts: 167000 | #Constraints: 54800
432.84/441.81 c #Conflicts: 168000 | #Constraints: 55800
432.84/441.81 c #Conflicts: 169000 | #Constraints: 56800
432.84/441.81 c #Conflicts: 170000 | #Constraints: 57800
432.84/441.81 c #Conflicts: 171000 | #Constraints: 58800
432.84/441.81 c #Conflicts: 172000 | #Constraints: 59800
432.84/441.81 c #Conflicts: 173000 | #Constraints: 60800
432.84/441.81 c #Conflicts: 174000 | #Constraints: 61800
432.84/441.81 c #Conflicts: 175000 | #Constraints: 62800
432.84/441.81 c #Conflicts: 176000 | #Constraints: 63800
432.84/441.81 c #Conflicts: 177000 | #Constraints: 64800
432.84/441.81 c #Conflicts: 178000 | #Constraints: 65800
432.84/441.81 c #Conflicts: 179000 | #Constraints: 66800
432.84/441.81 c #Conflicts: 180000 | #Constraints: 67800
432.84/441.81 c #Conflicts: 181000 | #Constraints: 68800
432.84/441.81 c #Conflicts: 182000 | #Constraints: 69800
432.84/441.81 c #Conflicts: 183000 | #Constraints: 70800
432.84/441.81 c #Conflicts: 184000 | #Constraints: 71800
432.84/441.81 c #Conflicts: 185000 | #Constraints: 72800
432.84/441.81 c #Conflicts: 186000 | #Constraints: 73800
432.84/441.81 c INPROCESSING
432.84/441.81 c GARBAGE COLLECT
432.84/441.81 c #Conflicts: 187000 | #Constraints: 50622
432.84/441.81 c #Conflicts: 188000 | #Constraints: 51622
432.84/441.81 c #Conflicts: 189000 | #Constraints: 52622
432.84/441.81 c #Conflicts: 190000 | #Constraints: 53622
432.84/441.81 c #Conflicts: 191000 | #Constraints: 54622
432.84/441.81 c #Conflicts: 192000 | #Constraints: 55622
432.84/441.81 c #Conflicts: 193000 | #Constraints: 56622
432.84/441.81 c #Conflicts: 194000 | #Constraints: 57622
432.84/441.81 c #Conflicts: 195000 | #Constraints: 58622
432.84/441.81 c #Conflicts: 196000 | #Constraints: 59622
432.84/441.81 c #Conflicts: 197000 | #Constraints: 60622
432.84/441.81 c #Conflicts: 198000 | #Constraints: 61622
432.84/441.81 c #Conflicts: 199000 | #Constraints: 62622
432.84/441.81 c #Conflicts: 200000 | #Constraints: 63622
432.84/441.81 c #Conflicts: 201000 | #Constraints: 64622
432.84/441.81 c #Conflicts: 202000 | #Constraints: 65622
432.84/441.81 c #Conflicts: 203000 | #Constraints: 66622
432.84/441.81 c #Conflicts: 204000 | #Constraints: 67622
432.84/441.81 c #Conflicts: 205000 | #Constraints: 68622
432.84/441.81 c #Conflicts: 206000 | #Constraints: 69622
432.84/441.81 c #Conflicts: 207000 | #Constraints: 70622
432.84/441.81 c #Conflicts: 208000 | #Constraints: 71622
432.84/441.81 c #Conflicts: 209000 | #Constraints: 72622
432.84/441.81 c #Conflicts: 210000 | #Constraints: 73622
432.84/441.81 c #Conflicts: 211000 | #Constraints: 74622
432.84/441.81 c #Conflicts: 212000 | #Constraints: 75622
432.84/441.81 c #Conflicts: 213000 | #Constraints: 76622
432.84/441.81 c #Conflicts: 214000 | #Constraints: 77622
432.84/441.81 c INPROCESSING
432.84/441.81 c GARBAGE COLLECT
432.84/441.81 c #Conflicts: 215000 | #Constraints: 52245
432.84/441.81 c #Conflicts: 216000 | #Constraints: 53245
432.84/441.81 c #Conflicts: 217000 | #Constraints: 54245
432.84/441.81 c #Conflicts: 218000 | #Constraints: 55245
432.84/441.81 c #Conflicts: 219000 | #Constraints: 56245
432.84/441.81 c #Conflicts: 220000 | #Constraints: 57245
432.84/441.81 c #Conflicts: 221000 | #Constraints: 58245
432.84/441.81 c #Conflicts: 222000 | #Constraints: 59245
432.84/441.81 c #Conflicts: 223000 | #Constraints: 60245
432.84/441.81 c #Conflicts: 224000 | #Constraints: 61245
432.84/441.81 c #Conflicts: 225000 | #Constraints: 62245
432.84/441.81 c #Conflicts: 226000 | #Constraints: 63245
432.84/441.81 c #Conflicts: 227000 | #Constraints: 64245
614.19/632.02 c #Conflicts: 228000 | #Constraints: 65245
614.19/632.02 c #Conflicts: 229000 | #Constraints: 66245
614.19/632.02 c #Conflicts: 230000 | #Constraints: 67245
614.19/632.02 c #Conflicts: 231000 | #Constraints: 68245
614.19/632.02 c #Conflicts: 232000 | #Constraints: 69245
614.19/632.02 c #Conflicts: 233000 | #Constraints: 70245
614.19/632.02 c #Conflicts: 234000 | #Constraints: 71245
614.19/632.02 c #Conflicts: 235000 | #Constraints: 72245
614.19/632.02 c #Conflicts: 236000 | #Constraints: 73245
614.19/632.02 c #Conflicts: 237000 | #Constraints: 74245
614.19/632.02 c #Conflicts: 238000 | #Constraints: 75245
614.19/632.02 c #Conflicts: 239000 | #Constraints: 76245
614.19/632.02 c #Conflicts: 240000 | #Constraints: 77245
614.19/632.02 c #Conflicts: 241000 | #Constraints: 78245
614.19/632.02 c #Conflicts: 242000 | #Constraints: 79245
614.19/632.02 c #Conflicts: 243000 | #Constraints: 80245
614.19/632.02 c #Conflicts: 244000 | #Constraints: 81245
614.19/632.02 c INPROCESSING
614.19/632.02 c GARBAGE COLLECT
614.19/632.02 c #Conflicts: 245000 | #Constraints: 54029
614.19/632.02 c #Conflicts: 246000 | #Constraints: 55029
614.19/632.02 c #Conflicts: 247000 | #Constraints: 56029
614.19/632.02 c #Conflicts: 248000 | #Constraints: 57029
614.19/632.02 c #Conflicts: 249000 | #Constraints: 58029
614.19/632.02 c #Conflicts: 250000 | #Constraints: 59029
614.19/632.02 c #Conflicts: 251000 | #Constraints: 60029
614.19/632.02 c #Conflicts: 252000 | #Constraints: 61029
614.19/632.02 c #Conflicts: 253000 | #Constraints: 62029
614.19/632.02 c #Conflicts: 254000 | #Constraints: 63029
614.19/632.02 c #Conflicts: 255000 | #Constraints: 64029
614.19/632.02 c #Conflicts: 256000 | #Constraints: 65029
614.19/632.02 c #Conflicts: 257000 | #Constraints: 66029
614.19/632.02 c #Conflicts: 258000 | #Constraints: 67029
614.19/632.02 c #Conflicts: 259000 | #Constraints: 68029
614.19/632.02 c #Conflicts: 260000 | #Constraints: 69029
614.19/632.02 c #Conflicts: 261000 | #Constraints: 70029
614.19/632.02 c #Conflicts: 262000 | #Constraints: 71029
614.19/632.02 c #Conflicts: 263000 | #Constraints: 72029
614.19/632.02 c #Conflicts: 264000 | #Constraints: 73029
614.19/632.02 c #Conflicts: 265000 | #Constraints: 74029
614.19/632.02 c #Conflicts: 266000 | #Constraints: 75029
614.19/632.02 c #Conflicts: 267000 | #Constraints: 76029
614.19/632.02 c #Conflicts: 268000 | #Constraints: 77029
614.19/632.02 c #Conflicts: 269000 | #Constraints: 78029
614.19/632.02 c #Conflicts: 270000 | #Constraints: 79029
614.19/632.02 c #Conflicts: 271000 | #Constraints: 80029
614.19/632.02 c #Conflicts: 272000 | #Constraints: 81029
614.19/632.02 c #Conflicts: 273000 | #Constraints: 82029
614.19/632.02 c #Conflicts: 274000 | #Constraints: 83029
614.19/632.02 c #Conflicts: 275000 | #Constraints: 84029
614.19/632.02 c #Conflicts: 276000 | #Constraints: 85029
614.19/632.02 c #Conflicts: 277000 | #Constraints: 86029
614.19/632.02 c INPROCESSING
614.19/632.02 c GARBAGE COLLECT
614.19/632.02 c #Conflicts: 278000 | #Constraints: 56686
614.19/632.02 c #Conflicts: 279000 | #Constraints: 57686
614.19/632.02 c #Conflicts: 280000 | #Constraints: 58686
614.19/632.02 c #Conflicts: 281000 | #Constraints: 59686
614.19/632.02 c #Conflicts: 282000 | #Constraints: 60686
614.19/632.02 c #Conflicts: 283000 | #Constraints: 61686
614.19/632.02 c #Conflicts: 284000 | #Constraints: 62686
614.19/632.02 c #Conflicts: 285000 | #Constraints: 63686
614.19/632.02 c #Conflicts: 286000 | #Constraints: 64686
614.19/632.02 c #Conflicts: 287000 | #Constraints: 65686
614.19/632.02 c #Conflicts: 288000 | #Constraints: 66686
614.19/632.02 c #Conflicts: 289000 | #Constraints: 67686
614.19/632.02 c #Conflicts: 290000 | #Constraints: 68686
614.19/632.02 c #Conflicts: 291000 | #Constraints: 69686
614.19/632.02 c #Conflicts: 292000 | #Constraints: 70686
614.19/632.02 c #Conflicts: 293000 | #Constraints: 71686
614.19/632.02 c #Conflicts: 294000 | #Constraints: 72686
614.19/632.02 c #Conflicts: 295000 | #Constraints: 73686
614.19/632.02 c #Conflicts: 296000 | #Constraints: 74686
614.19/632.02 c #Conflicts: 297000 | #Constraints: 75686
614.19/632.02 c #Conflicts: 298000 | #Constraints: 76686
614.19/632.02 c #Conflicts: 299000 | #Constraints: 77686
614.19/632.02 c #Conflicts: 300000 | #Constraints: 78686
614.19/632.02 c #Conflicts: 301000 | #Constraints: 79686
614.19/632.02 c #Conflicts: 302000 | #Constraints: 80686
614.19/632.02 c #Conflicts: 303000 | #Constraints: 81686
614.19/632.02 c #Conflicts: 304000 | #Constraints: 82686
770.36/801.60 c #Conflicts: 305000 | #Constraints: 83686
770.36/801.60 c #Conflicts: 306000 | #Constraints: 84686
770.36/801.60 c #Conflicts: 307000 | #Constraints: 85686
770.36/801.60 c #Conflicts: 308000 | #Constraints: 86686
770.36/801.60 c #Conflicts: 309000 | #Constraints: 87686
770.36/801.60 c #Conflicts: 310000 | #Constraints: 88686
770.36/801.60 c #Conflicts: 311000 | #Constraints: 89686
770.36/801.60 c INPROCESSING
770.36/801.60 c GARBAGE COLLECT
770.36/801.60 c #Conflicts: 312000 | #Constraints: 58429
770.36/801.60 c #Conflicts: 313000 | #Constraints: 59429
770.36/801.60 c #Conflicts: 314000 | #Constraints: 60429
770.36/801.60 c #Conflicts: 315000 | #Constraints: 61429
770.36/801.60 c #Conflicts: 316000 | #Constraints: 62429
770.36/801.60 c #Conflicts: 317000 | #Constraints: 63429
770.36/801.60 c #Conflicts: 318000 | #Constraints: 64429
770.36/801.60 c #Conflicts: 319000 | #Constraints: 65429
770.36/801.60 c #Conflicts: 320000 | #Constraints: 66429
770.36/801.60 c #Conflicts: 321000 | #Constraints: 67429
770.36/801.60 c #Conflicts: 322000 | #Constraints: 68429
770.36/801.60 c #Conflicts: 323000 | #Constraints: 69429
770.36/801.60 c #Conflicts: 324000 | #Constraints: 70429
770.36/801.60 c #Conflicts: 325000 | #Constraints: 71429
770.36/801.60 c #Conflicts: 326000 | #Constraints: 72429
770.36/801.60 c #Conflicts: 327000 | #Constraints: 73429
770.36/801.60 c #Conflicts: 328000 | #Constraints: 74429
770.36/801.60 c #Conflicts: 329000 | #Constraints: 75429
770.36/801.60 c #Conflicts: 330000 | #Constraints: 76429
770.36/801.60 c #Conflicts: 331000 | #Constraints: 77429
770.36/801.60 c #Conflicts: 332000 | #Constraints: 78429
770.36/801.60 c #Conflicts: 333000 | #Constraints: 79429
770.36/801.60 c #Conflicts: 334000 | #Constraints: 80429
770.36/801.60 c #Conflicts: 335000 | #Constraints: 81429
770.36/801.60 c #Conflicts: 336000 | #Constraints: 82429
770.36/801.60 c #Conflicts: 337000 | #Constraints: 83429
770.36/801.60 c #Conflicts: 338000 | #Constraints: 84429
770.36/801.60 c #Conflicts: 339000 | #Constraints: 85429
770.36/801.60 c #Conflicts: 340000 | #Constraints: 86429
770.36/801.60 c #Conflicts: 341000 | #Constraints: 87429
770.36/801.60 c #Conflicts: 342000 | #Constraints: 88429
770.36/801.60 c #Conflicts: 343000 | #Constraints: 89429
770.36/801.60 c #Conflicts: 344000 | #Constraints: 90429
770.36/801.60 c #Conflicts: 345000 | #Constraints: 91429
770.36/801.60 c #Conflicts: 346000 | #Constraints: 92429
770.36/801.60 c #Conflicts: 347000 | #Constraints: 93429
770.36/801.60 c #Conflicts: 348000 | #Constraints: 94429
770.36/801.60 c INPROCESSING
770.36/801.60 c GARBAGE COLLECT
770.36/801.60 c #Conflicts: 349000 | #Constraints: 61234
770.36/801.60 c #Conflicts: 350000 | #Constraints: 62234
770.36/801.60 c #Conflicts: 351000 | #Constraints: 63234
770.36/801.60 c #Conflicts: 352000 | #Constraints: 64234
770.36/801.60 c #Conflicts: 353000 | #Constraints: 65234
770.36/801.60 c #Conflicts: 354000 | #Constraints: 66234
770.36/801.60 c #Conflicts: 355000 | #Constraints: 67234
770.36/801.60 c #Conflicts: 356000 | #Constraints: 68234
770.36/801.60 c #Conflicts: 357000 | #Constraints: 69234
770.36/801.60 c #Conflicts: 358000 | #Constraints: 70234
770.36/801.60 c #Conflicts: 359000 | #Constraints: 71234
770.36/801.60 c #Conflicts: 360000 | #Constraints: 72234
770.36/801.60 c #Conflicts: 361000 | #Constraints: 73234
770.36/801.60 c #Conflicts: 362000 | #Constraints: 74234
770.36/801.60 c #Conflicts: 363000 | #Constraints: 75234
770.36/801.60 c #Conflicts: 364000 | #Constraints: 76234
770.36/801.60 c #Conflicts: 365000 | #Constraints: 77234
770.36/801.60 c #Conflicts: 366000 | #Constraints: 78234
770.36/801.60 c #Conflicts: 367000 | #Constraints: 79234
770.36/801.60 c #Conflicts: 368000 | #Constraints: 80234
770.36/801.60 c #Conflicts: 369000 | #Constraints: 81234
770.36/801.60 c #Conflicts: 370000 | #Constraints: 82234
770.36/801.60 c #Conflicts: 371000 | #Constraints: 83234
770.36/801.60 c #Conflicts: 372000 | #Constraints: 84234
770.36/801.60 c #Conflicts: 373000 | #Constraints: 85234
770.36/801.60 c #Conflicts: 374000 | #Constraints: 86234
770.36/801.60 c #Conflicts: 375000 | #Constraints: 87234
770.36/801.60 c #Conflicts: 376000 | #Constraints: 88234
770.36/801.60 c #Conflicts: 377000 | #Constraints: 89234
770.36/801.60 c #Conflicts: 378000 | #Constraints: 90234
770.36/801.60 c #Conflicts: 379000 | #Constraints: 91234
770.36/801.60 c #Conflicts: 380000 | #Constraints: 92234
770.36/801.60 c #Conflicts: 381000 | #Constraints: 93234
770.36/801.60 c #Conflicts: 382000 | #Constraints: 94234
930.35/966.08 c #Conflicts: 383000 | #Constraints: 95234
930.35/966.08 c #Conflicts: 384000 | #Constraints: 96234
930.35/966.08 c #Conflicts: 385000 | #Constraints: 97234
930.35/966.08 c #Conflicts: 386000 | #Constraints: 98234
930.35/966.08 c INPROCESSING
930.35/966.08 c GARBAGE COLLECT
930.35/966.08 c #Conflicts: 387000 | #Constraints: 62898
930.35/966.08 c #Conflicts: 388000 | #Constraints: 63898
930.35/966.08 c #Conflicts: 389000 | #Constraints: 64898
930.35/966.08 c #Conflicts: 390000 | #Constraints: 65898
930.35/966.08 c #Conflicts: 391000 | #Constraints: 66898
930.35/966.08 c #Conflicts: 392000 | #Constraints: 67898
930.35/966.08 c #Conflicts: 393000 | #Constraints: 68898
930.35/966.08 c #Conflicts: 394000 | #Constraints: 69898
930.35/966.08 c #Conflicts: 395000 | #Constraints: 70898
930.35/966.08 c #Conflicts: 396000 | #Constraints: 71898
930.35/966.08 c #Conflicts: 397000 | #Constraints: 72898
930.35/966.08 c #Conflicts: 398000 | #Constraints: 73898
930.35/966.08 c #Conflicts: 399000 | #Constraints: 74898
930.35/966.08 c #Conflicts: 400000 | #Constraints: 75898
930.35/966.08 c #Conflicts: 401000 | #Constraints: 76898
930.35/966.08 c #Conflicts: 402000 | #Constraints: 77898
930.35/966.08 c #Conflicts: 403000 | #Constraints: 78898
930.35/966.08 c #Conflicts: 404000 | #Constraints: 79898
930.35/966.08 c #Conflicts: 405000 | #Constraints: 80898
930.35/966.08 c #Conflicts: 406000 | #Constraints: 81898
930.35/966.08 c #Conflicts: 407000 | #Constraints: 82898
930.35/966.08 c #Conflicts: 408000 | #Constraints: 83898
930.35/966.08 c #Conflicts: 409000 | #Constraints: 84898
930.35/966.08 c #Conflicts: 410000 | #Constraints: 85898
930.35/966.08 c #Conflicts: 411000 | #Constraints: 86898
930.35/966.08 c #Conflicts: 412000 | #Constraints: 87898
930.35/966.08 c #Conflicts: 413000 | #Constraints: 88898
930.35/966.08 c #Conflicts: 414000 | #Constraints: 89898
930.35/966.08 c #Conflicts: 415000 | #Constraints: 90898
930.35/966.08 c #Conflicts: 416000 | #Constraints: 91898
930.35/966.08 c #Conflicts: 417000 | #Constraints: 92898
930.35/966.08 c #Conflicts: 418000 | #Constraints: 93898
930.35/966.08 c #Conflicts: 419000 | #Constraints: 94898
930.35/966.08 c #Conflicts: 420000 | #Constraints: 95898
930.35/966.08 c #Conflicts: 421000 | #Constraints: 96898
930.35/966.08 c #Conflicts: 422000 | #Constraints: 97898
930.35/966.08 c #Conflicts: 423000 | #Constraints: 98898
930.35/966.08 c #Conflicts: 424000 | #Constraints: 99898
930.35/966.08 c #Conflicts: 425000 | #Constraints: 100898
930.35/966.08 c #Conflicts: 426000 | #Constraints: 101898
930.35/966.08 c INPROCESSING
930.35/966.08 c GARBAGE COLLECT
930.35/966.08 c #Conflicts: 427000 | #Constraints: 64752
930.35/966.08 c #Conflicts: 428000 | #Constraints: 65752
930.35/966.08 c #Conflicts: 429000 | #Constraints: 66752
930.35/966.08 c #Conflicts: 430000 | #Constraints: 67752
930.35/966.08 c #Conflicts: 431000 | #Constraints: 68752
930.35/966.08 c #Conflicts: 432000 | #Constraints: 69752
930.35/966.08 c #Conflicts: 433000 | #Constraints: 70752
930.35/966.08 c #Conflicts: 434000 | #Constraints: 71752
930.35/966.08 c #Conflicts: 435000 | #Constraints: 72752
930.35/966.08 c #Conflicts: 436000 | #Constraints: 73752
930.35/966.08 c #Conflicts: 437000 | #Constraints: 74752
930.35/966.08 c #Conflicts: 438000 | #Constraints: 75752
930.35/966.08 c #Conflicts: 439000 | #Constraints: 76752
930.35/966.08 c #Conflicts: 440000 | #Constraints: 77752
930.35/966.08 c #Conflicts: 441000 | #Constraints: 78752
930.35/966.08 c #Conflicts: 442000 | #Constraints: 79752
930.35/966.08 c #Conflicts: 443000 | #Constraints: 80752
930.35/966.08 c #Conflicts: 444000 | #Constraints: 81752
930.35/966.08 c #Conflicts: 445000 | #Constraints: 82752
930.35/966.08 c #Conflicts: 446000 | #Constraints: 83752
930.35/966.08 c #Conflicts: 447000 | #Constraints: 84752
930.35/966.08 c #Conflicts: 448000 | #Constraints: 85752
930.35/966.08 c #Conflicts: 449000 | #Constraints: 86752
930.35/966.08 c #Conflicts: 450000 | #Constraints: 87752
930.35/966.08 c #Conflicts: 451000 | #Constraints: 88752
930.35/966.08 c #Conflicts: 452000 | #Constraints: 89752
930.35/966.08 c #Conflicts: 453000 | #Constraints: 90752
930.35/966.08 c #Conflicts: 454000 | #Constraints: 91752
930.35/966.08 c #Conflicts: 455000 | #Constraints: 92752
930.35/966.08 c #Conflicts: 456000 | #Constraints: 93752
930.35/966.08 c #Conflicts: 457000 | #Constraints: 94752
930.35/966.08 c #Conflicts: 458000 | #Constraints: 95752
930.35/966.08 c #Conflicts: 459000 | #Constraints: 96752
1109.76/1147.89 c #Conflicts: 460000 | #Constraints: 97752
1109.76/1147.89 c #Conflicts: 461000 | #Constraints: 98752
1109.76/1147.89 c #Conflicts: 462000 | #Constraints: 99752
1109.76/1147.89 c #Conflicts: 463000 | #Constraints: 100752
1109.76/1147.89 c #Conflicts: 464000 | #Constraints: 101752
1109.76/1147.89 c #Conflicts: 465000 | #Constraints: 102752
1109.76/1147.89 c #Conflicts: 466000 | #Constraints: 103752
1109.76/1147.89 c #Conflicts: 467000 | #Constraints: 104752
1109.76/1147.89 c #Conflicts: 468000 | #Constraints: 105752
1109.76/1147.89 c #Conflicts: 469000 | #Constraints: 106752
1109.76/1147.89 c INPROCESSING
1109.76/1147.89 c GARBAGE COLLECT
1109.76/1147.89 c #Conflicts: 470000 | #Constraints: 67450
1109.76/1147.89 c #Conflicts: 471000 | #Constraints: 68450
1109.76/1147.89 c #Conflicts: 472000 | #Constraints: 69450
1109.76/1147.89 c #Conflicts: 473000 | #Constraints: 70450
1109.76/1147.89 c #Conflicts: 474000 | #Constraints: 71450
1109.76/1147.89 c #Conflicts: 475000 | #Constraints: 72450
1109.76/1147.89 c #Conflicts: 476000 | #Constraints: 73450
1109.76/1147.89 c #Conflicts: 477000 | #Constraints: 74450
1109.76/1147.89 c #Conflicts: 478000 | #Constraints: 75450
1109.76/1147.89 c #Conflicts: 479000 | #Constraints: 76450
1109.76/1147.89 c #Conflicts: 480000 | #Constraints: 77450
1109.76/1147.89 c #Conflicts: 481000 | #Constraints: 78450
1109.76/1147.89 c #Conflicts: 482000 | #Constraints: 79450
1109.76/1147.89 c #Conflicts: 483000 | #Constraints: 80450
1109.76/1147.89 c #Conflicts: 484000 | #Constraints: 81450
1109.76/1147.89 c #Conflicts: 485000 | #Constraints: 82450
1109.76/1147.89 c #Conflicts: 486000 | #Constraints: 83450
1109.76/1147.89 c #Conflicts: 487000 | #Constraints: 84450
1109.76/1147.89 c #Conflicts: 488000 | #Constraints: 85450
1109.76/1147.89 c #Conflicts: 489000 | #Constraints: 86450
1109.76/1147.89 c #Conflicts: 490000 | #Constraints: 87450
1109.76/1147.89 c #Conflicts: 491000 | #Constraints: 88450
1109.76/1147.89 c #Conflicts: 492000 | #Constraints: 89450
1109.76/1147.89 c #Conflicts: 493000 | #Constraints: 90450
1109.76/1147.89 c #Conflicts: 494000 | #Constraints: 91450
1109.76/1147.89 c #Conflicts: 495000 | #Constraints: 92450
1109.76/1147.89 c #Conflicts: 496000 | #Constraints: 93450
1109.76/1147.89 c #Conflicts: 497000 | #Constraints: 94450
1109.76/1147.89 c #Conflicts: 498000 | #Constraints: 95450
1109.76/1147.89 c #Conflicts: 499000 | #Constraints: 96450
1109.76/1147.89 c #Conflicts: 500000 | #Constraints: 97450
1109.76/1147.89 c #Conflicts: 501000 | #Constraints: 98450
1109.76/1147.89 c #Conflicts: 502000 | #Constraints: 99451
1109.76/1147.89 c #Conflicts: 503000 | #Constraints: 100451
1109.76/1147.89 c #Conflicts: 504000 | #Constraints: 101451
1109.76/1147.89 c #Conflicts: 505000 | #Constraints: 102451
1109.76/1147.89 c #Conflicts: 506000 | #Constraints: 103451
1109.76/1147.89 c #Conflicts: 507000 | #Constraints: 104451
1109.76/1147.89 c #Conflicts: 508000 | #Constraints: 105451
1109.76/1147.89 c #Conflicts: 509000 | #Constraints: 106451
1109.76/1147.89 c #Conflicts: 510000 | #Constraints: 107451
1109.76/1147.89 c #Conflicts: 511000 | #Constraints: 108451
1109.76/1147.89 c #Conflicts: 512000 | #Constraints: 109451
1109.76/1147.89 c #Conflicts: 513000 | #Constraints: 110451
1109.76/1147.89 c INPROCESSING
1109.76/1147.89 c GARBAGE COLLECT
1109.76/1147.89 c #Conflicts: 514000 | #Constraints: 69220
1109.76/1147.89 c #Conflicts: 515000 | #Constraints: 70220
1109.76/1147.89 c #Conflicts: 516000 | #Constraints: 71220
1109.76/1147.89 c #Conflicts: 517000 | #Constraints: 72220
1109.76/1147.89 c #Conflicts: 518000 | #Constraints: 73220
1109.76/1147.89 c #Conflicts: 519000 | #Constraints: 74220
1109.76/1147.89 c #Conflicts: 520000 | #Constraints: 75220
1109.76/1147.89 c #Conflicts: 521000 | #Constraints: 76220
1109.76/1147.89 c #Conflicts: 522000 | #Constraints: 77220
1109.76/1147.89 c #Conflicts: 523000 | #Constraints: 78220
1109.76/1147.89 c #Conflicts: 524000 | #Constraints: 79220
1109.76/1147.89 c #Conflicts: 525000 | #Constraints: 80220
1109.76/1147.89 c #Conflicts: 526000 | #Constraints: 81220
1109.76/1147.89 c #Conflicts: 527000 | #Constraints: 82220
1109.76/1147.89 c #Conflicts: 528000 | #Constraints: 83220
1109.76/1147.89 c #Conflicts: 529000 | #Constraints: 84220
1109.76/1147.89 c #Conflicts: 530000 | #Constraints: 85220
1109.76/1147.89 c #Conflicts: 531000 | #Constraints: 86220
1109.76/1147.89 c #Conflicts: 532000 | #Constraints: 87220
1109.76/1147.89 c #Conflicts: 533000 | #Constraints: 88220
1109.76/1147.89 c #Conflicts: 534000 | #Constraints: 89220
1109.76/1147.89 c #Conflicts: 535000 | #Constraints: 90220
1109.76/1147.89 c #Conflicts: 536000 | #Constraints: 91220
1109.76/1147.89 c #Conflicts: 537000 | #Constraints: 92220
1403.28/1442.45 c #Conflicts: 538000 | #Constraints: 93220
1403.28/1442.45 c #Conflicts: 539000 | #Constraints: 94220
1403.28/1442.45 c #Conflicts: 540000 | #Constraints: 95220
1403.28/1442.45 c #Conflicts: 541000 | #Constraints: 96220
1403.28/1442.45 c #Conflicts: 542000 | #Constraints: 97220
1403.28/1442.45 c #Conflicts: 543000 | #Constraints: 98220
1403.28/1442.45 c #Conflicts: 544000 | #Constraints: 99220
1403.28/1442.45 c #Conflicts: 545000 | #Constraints: 100220
1403.28/1442.45 c #Conflicts: 546000 | #Constraints: 101220
1403.28/1442.45 c #Conflicts: 547000 | #Constraints: 102220
1403.28/1442.45 c #Conflicts: 548000 | #Constraints: 103220
1403.28/1442.45 c #Conflicts: 549000 | #Constraints: 104220
1403.28/1442.45 c #Conflicts: 550000 | #Constraints: 105220
1403.28/1442.45 c #Conflicts: 551000 | #Constraints: 106220
1403.28/1442.45 c #Conflicts: 552000 | #Constraints: 107220
1403.28/1442.45 c #Conflicts: 553000 | #Constraints: 108220
1403.28/1442.45 c #Conflicts: 554000 | #Constraints: 109220
1403.28/1442.45 c #Conflicts: 555000 | #Constraints: 110220
1403.28/1442.45 c #Conflicts: 556000 | #Constraints: 111220
1403.28/1442.45 c #Conflicts: 557000 | #Constraints: 112220
1403.28/1442.45 c #Conflicts: 558000 | #Constraints: 113220
1403.28/1442.45 c #Conflicts: 559000 | #Constraints: 114220
1403.28/1442.45 c #Conflicts: 560000 | #Constraints: 115220
1403.28/1442.45 c INPROCESSING
1403.28/1442.45 c GARBAGE COLLECT
1403.28/1442.45 c #Conflicts: 561000 | #Constraints: 71874
1403.28/1442.45 c #Conflicts: 562000 | #Constraints: 72874
1403.28/1442.45 c #Conflicts: 563000 | #Constraints: 73874
1403.28/1442.45 c #Conflicts: 564000 | #Constraints: 74874
1403.28/1442.45 c #Conflicts: 565000 | #Constraints: 75874
1403.28/1442.45 c #Conflicts: 566000 | #Constraints: 76874
1403.28/1442.45 c #Conflicts: 567000 | #Constraints: 77874
1403.28/1442.45 c #Conflicts: 568000 | #Constraints: 78874
1403.28/1442.45 c #Conflicts: 569000 | #Constraints: 79874
1403.28/1442.45 c #Conflicts: 570000 | #Constraints: 80874
1403.28/1442.45 c #Conflicts: 571000 | #Constraints: 81874
1403.28/1442.45 c #Conflicts: 572000 | #Constraints: 82874
1403.28/1442.45 c #Conflicts: 573000 | #Constraints: 83874
1403.28/1442.45 c #Conflicts: 574000 | #Constraints: 84874
1403.28/1442.45 c #Conflicts: 575000 | #Constraints: 85874
1403.28/1442.45 c #Conflicts: 576000 | #Constraints: 86874
1403.28/1442.45 c #Conflicts: 577000 | #Constraints: 87874
1403.28/1442.45 c #Conflicts: 578000 | #Constraints: 88874
1403.28/1442.45 c #Conflicts: 579000 | #Constraints: 89874
1403.28/1442.45 c #Conflicts: 580000 | #Constraints: 90874
1403.28/1442.45 c #Conflicts: 581000 | #Constraints: 91874
1403.28/1442.45 c #Conflicts: 582000 | #Constraints: 92874
1403.28/1442.45 c #Conflicts: 583000 | #Constraints: 93874
1403.28/1442.45 c #Conflicts: 584000 | #Constraints: 94874
1403.28/1442.45 c #Conflicts: 585000 | #Constraints: 95874
1403.28/1442.45 c #Conflicts: 586000 | #Constraints: 96874
1403.28/1442.45 c #Conflicts: 587000 | #Constraints: 97874
1403.28/1442.45 c #Conflicts: 588000 | #Constraints: 98874
1403.28/1442.45 c #Conflicts: 589000 | #Constraints: 99874
1403.28/1442.45 c #Conflicts: 590000 | #Constraints: 100874
1403.28/1442.45 c #Conflicts: 591000 | #Constraints: 101874
1403.28/1442.45 c #Conflicts: 592000 | #Constraints: 102874
1403.28/1442.45 c #Conflicts: 593000 | #Constraints: 103874
1403.28/1442.45 c #Conflicts: 594000 | #Constraints: 104874
1403.28/1442.45 c #Conflicts: 595000 | #Constraints: 105874
1403.28/1442.45 c #Conflicts: 596000 | #Constraints: 106874
1403.28/1442.45 c #Conflicts: 597000 | #Constraints: 107874
1403.28/1442.45 c #Conflicts: 598000 | #Constraints: 108874
1403.28/1442.45 c #Conflicts: 599000 | #Constraints: 109874
1403.28/1442.45 c #Conflicts: 600000 | #Constraints: 110874
1403.28/1442.45 c #Conflicts: 601000 | #Constraints: 111874
1403.28/1442.45 c #Conflicts: 602000 | #Constraints: 112874
1403.28/1442.45 c #Conflicts: 603000 | #Constraints: 113874
1403.28/1442.45 c #Conflicts: 604000 | #Constraints: 114874
1403.28/1442.45 c #Conflicts: 605000 | #Constraints: 115874
1403.28/1442.45 c #Conflicts: 606000 | #Constraints: 116874
1403.28/1442.45 c #Conflicts: 607000 | #Constraints: 117874
1403.28/1442.45 c #Conflicts: 608000 | #Constraints: 118874
1403.28/1442.45 c INPROCESSING
1403.28/1442.45 c GARBAGE COLLECT
1403.28/1442.45 c #Conflicts: 609000 | #Constraints: 73526
1403.28/1442.45 c #Conflicts: 610000 | #Constraints: 74526
1403.28/1442.45 c #Conflicts: 611000 | #Constraints: 75526
1403.28/1442.45 c #Conflicts: 612000 | #Constraints: 76526
1403.28/1442.45 c #Conflicts: 613000 | #Constraints: 77526
1403.28/1442.45 c #Conflicts: 614000 | #Constraints: 78526
1604.75/1651.83 c #Conflicts: 615000 | #Constraints: 79526
1604.75/1651.83 c #Conflicts: 616000 | #Constraints: 80526
1604.75/1651.83 c #Conflicts: 617000 | #Constraints: 81526
1604.75/1651.83 c #Conflicts: 618000 | #Constraints: 82526
1604.75/1651.83 c #Conflicts: 619000 | #Constraints: 83526
1604.75/1651.83 c #Conflicts: 620000 | #Constraints: 84526
1604.75/1651.83 c #Conflicts: 621000 | #Constraints: 85527
1604.75/1651.83 c #Conflicts: 622000 | #Constraints: 86527
1604.75/1651.83 c #Conflicts: 623000 | #Constraints: 87527
1604.75/1651.83 c #Conflicts: 624000 | #Constraints: 88527
1604.75/1651.83 c #Conflicts: 625000 | #Constraints: 89527
1604.75/1651.83 c #Conflicts: 626000 | #Constraints: 90527
1604.75/1651.83 c #Conflicts: 627000 | #Constraints: 91527
1604.75/1651.83 c #Conflicts: 628000 | #Constraints: 92527
1604.75/1651.83 c #Conflicts: 629000 | #Constraints: 93527
1604.75/1651.83 c #Conflicts: 630000 | #Constraints: 94527
1604.75/1651.83 c #Conflicts: 631000 | #Constraints: 95527
1604.75/1651.83 c #Conflicts: 632000 | #Constraints: 96527
1604.75/1651.83 c #Conflicts: 633000 | #Constraints: 97527
1604.75/1651.83 c #Conflicts: 634000 | #Constraints: 98527
1604.75/1651.83 c #Conflicts: 635000 | #Constraints: 99527
1604.75/1651.83 c #Conflicts: 636000 | #Constraints: 100527
1604.75/1651.83 c #Conflicts: 637000 | #Constraints: 101527
1604.75/1651.83 c #Conflicts: 638000 | #Constraints: 102527
1604.75/1651.83 c #Conflicts: 639000 | #Constraints: 103527
1604.75/1651.83 c #Conflicts: 640000 | #Constraints: 104527
1604.75/1651.83 c #Conflicts: 641000 | #Constraints: 105527
1604.75/1651.83 c #Conflicts: 642000 | #Constraints: 106527
1604.75/1651.83 c #Conflicts: 643000 | #Constraints: 107527
1604.75/1651.83 c #Conflicts: 644000 | #Constraints: 108527
1604.75/1651.83 c #Conflicts: 645000 | #Constraints: 109527
1604.75/1651.83 c #Conflicts: 646000 | #Constraints: 110527
1604.75/1651.83 c #Conflicts: 647000 | #Constraints: 111527
1604.75/1651.83 c #Conflicts: 648000 | #Constraints: 112527
1604.75/1651.83 c #Conflicts: 649000 | #Constraints: 113527
1604.75/1651.83 c #Conflicts: 650000 | #Constraints: 114527
1604.75/1651.83 c #Conflicts: 651000 | #Constraints: 115527
1604.75/1651.83 c #Conflicts: 652000 | #Constraints: 116527
1604.75/1651.83 c #Conflicts: 653000 | #Constraints: 117527
1604.75/1651.83 c #Conflicts: 654000 | #Constraints: 118527
1604.75/1651.83 c #Conflicts: 655000 | #Constraints: 119527
1604.75/1651.83 c #Conflicts: 656000 | #Constraints: 120527
1604.75/1651.83 c #Conflicts: 657000 | #Constraints: 121527
1604.75/1651.83 c #Conflicts: 658000 | #Constraints: 122527
1604.75/1651.83 c INPROCESSING
1604.75/1651.83 c GARBAGE COLLECT
1604.75/1651.83 c #Conflicts: 659000 | #Constraints: 75093
1604.75/1651.83 c #Conflicts: 660000 | #Constraints: 76093
1604.75/1651.83 c #Conflicts: 661000 | #Constraints: 77093
1604.75/1651.83 c #Conflicts: 662000 | #Constraints: 78093
1604.75/1651.83 c #Conflicts: 663000 | #Constraints: 79093
1604.75/1651.83 c #Conflicts: 664000 | #Constraints: 80093
1604.75/1651.83 c #Conflicts: 665000 | #Constraints: 81093
1604.75/1651.83 c #Conflicts: 666000 | #Constraints: 82093
1604.75/1651.83 c #Conflicts: 667000 | #Constraints: 83093
1604.75/1651.83 c #Conflicts: 668000 | #Constraints: 84093
1604.75/1651.83 c #Conflicts: 669000 | #Constraints: 85093
1604.75/1651.83 c #Conflicts: 670000 | #Constraints: 86093
1604.75/1651.83 c #Conflicts: 671000 | #Constraints: 87093
1604.75/1651.83 c #Conflicts: 672000 | #Constraints: 88093
1604.75/1651.83 c #Conflicts: 673000 | #Constraints: 89093
1604.75/1651.83 c #Conflicts: 674000 | #Constraints: 90093
1604.75/1651.83 c #Conflicts: 675000 | #Constraints: 91093
1604.75/1651.83 c #Conflicts: 676000 | #Constraints: 92093
1604.75/1651.83 c #Conflicts: 677000 | #Constraints: 93093
1604.75/1651.83 c #Conflicts: 678000 | #Constraints: 94093
1604.75/1651.83 c #Conflicts: 679000 | #Constraints: 95093
1604.75/1651.83 c #Conflicts: 680000 | #Constraints: 96093
1604.75/1651.83 c #Conflicts: 681000 | #Constraints: 97093
1604.75/1651.83 c #Conflicts: 682000 | #Constraints: 98093
1604.75/1651.83 c #Conflicts: 683000 | #Constraints: 99093
1604.75/1651.83 c #Conflicts: 684000 | #Constraints: 100093
1604.75/1651.83 c #Conflicts: 685000 | #Constraints: 101093
1604.75/1651.83 c #Conflicts: 686000 | #Constraints: 102093
1604.75/1651.83 c #Conflicts: 687000 | #Constraints: 103093
1604.75/1651.83 c #Conflicts: 688000 | #Constraints: 104093
1604.75/1651.83 c #Conflicts: 689000 | #Constraints: 105093
1604.75/1651.83 c #Conflicts: 690000 | #Constraints: 106093
1604.75/1651.83 c #Conflicts: 691000 | #Constraints: 107093
1604.75/1651.83 c #Conflicts: 692000 | #Constraints: 108093
1802.27/1851.47 c #Conflicts: 693000 | #Constraints: 109093
1802.27/1851.47 c #Conflicts: 694000 | #Constraints: 110093
1802.27/1851.47 c #Conflicts: 695000 | #Constraints: 111093
1802.27/1851.47 c #Conflicts: 696000 | #Constraints: 112093
1802.27/1851.47 c #Conflicts: 697000 | #Constraints: 113093
1802.27/1851.47 c #Conflicts: 698000 | #Constraints: 114093
1802.27/1851.47 c #Conflicts: 699000 | #Constraints: 115093
1802.27/1851.47 c #Conflicts: 700000 | #Constraints: 116093
1802.27/1851.47 c #Conflicts: 701000 | #Constraints: 117093
1802.27/1851.47 c #Conflicts: 702000 | #Constraints: 118093
1802.27/1851.47 c #Conflicts: 703000 | #Constraints: 119093
1802.27/1851.47 c #Conflicts: 704000 | #Constraints: 120093
1802.27/1851.47 c #Conflicts: 705000 | #Constraints: 121093
1802.27/1851.47 c #Conflicts: 706000 | #Constraints: 122093
1802.27/1851.47 c #Conflicts: 707000 | #Constraints: 123093
1802.27/1851.47 c #Conflicts: 708000 | #Constraints: 124093
1802.27/1851.47 c #Conflicts: 709000 | #Constraints: 125093
1802.27/1851.47 c #Conflicts: 710000 | #Constraints: 126093
1802.27/1851.47 c #Conflicts: 711000 | #Constraints: 127093
1802.27/1851.47 c INPROCESSING
1802.27/1851.47 c GARBAGE COLLECT
1802.27/1851.47 c #Conflicts: 712000 | #Constraints: 77745
1802.27/1851.47 c #Conflicts: 713000 | #Constraints: 78745
1802.27/1851.47 c #Conflicts: 714000 | #Constraints: 79745
1802.27/1851.47 c #Conflicts: 715000 | #Constraints: 80745
1802.27/1851.47 c #Conflicts: 716000 | #Constraints: 81745
1802.27/1851.47 c #Conflicts: 717000 | #Constraints: 82745
1802.27/1851.47 c #Conflicts: 718000 | #Constraints: 83745
1802.27/1851.47 c #Conflicts: 719000 | #Constraints: 84745
1802.27/1851.47 c #Conflicts: 720000 | #Constraints: 85745
1802.27/1851.47 c #Conflicts: 721000 | #Constraints: 86745
1802.27/1851.47 c #Conflicts: 722000 | #Constraints: 87745
1802.27/1851.47 c #Conflicts: 723000 | #Constraints: 88745
1802.27/1851.47 c #Conflicts: 724000 | #Constraints: 89745
1802.27/1851.47 c #Conflicts: 725000 | #Constraints: 90745
1802.27/1851.47 c #Conflicts: 726000 | #Constraints: 91745
1802.27/1851.47 c #Conflicts: 727000 | #Constraints: 92745
1802.27/1851.47 c #Conflicts: 728000 | #Constraints: 93745
1802.27/1851.47 c #Conflicts: 729000 | #Constraints: 94745
1802.27/1851.47 c #Conflicts: 730000 | #Constraints: 95745
1802.27/1851.47 c #Conflicts: 731000 | #Constraints: 96745
1802.27/1851.47 c #Conflicts: 732000 | #Constraints: 97745
1802.27/1851.47 c #Conflicts: 733000 | #Constraints: 98745
1802.27/1851.47 c #Conflicts: 734000 | #Constraints: 99745
1802.27/1851.47 c #Conflicts: 735000 | #Constraints: 100745
1802.27/1851.47 c #Conflicts: 736000 | #Constraints: 101745
1802.27/1851.47 c #Conflicts: 737000 | #Constraints: 102745
1802.27/1851.47 c #Conflicts: 738000 | #Constraints: 103745
1802.27/1851.47 c #Conflicts: 739000 | #Constraints: 104745
1802.27/1851.47 c #Conflicts: 740000 | #Constraints: 105745
1802.27/1851.47 c #Conflicts: 741000 | #Constraints: 106745
1802.27/1851.47 c #Conflicts: 742000 | #Constraints: 107745
1802.27/1851.47 c #Conflicts: 743000 | #Constraints: 108745
1802.27/1851.47 c #Conflicts: 744000 | #Constraints: 109745
1802.27/1851.47 c #Conflicts: 745000 | #Constraints: 110745
1802.27/1851.47 c #Conflicts: 746000 | #Constraints: 111745
1802.27/1851.47 c #Conflicts: 747000 | #Constraints: 112745
1802.27/1851.47 c #Conflicts: 748000 | #Constraints: 113745
1802.27/1851.47 c #Conflicts: 749000 | #Constraints: 114745
1802.27/1851.47 c #Conflicts: 750000 | #Constraints: 115745
1802.27/1851.47 c #Conflicts: 751000 | #Constraints: 116745
1802.27/1851.47 c #Conflicts: 752000 | #Constraints: 117745
1802.27/1851.47 c #Conflicts: 753000 | #Constraints: 118745
1802.27/1851.47 c #Conflicts: 754000 | #Constraints: 119745
1802.27/1851.47 c #Conflicts: 755000 | #Constraints: 120745
1802.27/1851.47 c #Conflicts: 756000 | #Constraints: 121745
1802.27/1851.47 c #Conflicts: 757000 | #Constraints: 122745
1802.27/1851.47 c #Conflicts: 758000 | #Constraints: 123745
1802.27/1851.47 c #Conflicts: 759000 | #Constraints: 124745
1802.27/1851.47 c #Conflicts: 760000 | #Constraints: 125745
1802.27/1851.47 c #Conflicts: 761000 | #Constraints: 126745
1802.27/1851.47 c #Conflicts: 762000 | #Constraints: 127745
1802.27/1851.47 c #Conflicts: 763000 | #Constraints: 128745
1802.27/1851.47 c #Conflicts: 764000 | #Constraints: 129745
1802.27/1851.47 c #Conflicts: 765000 | #Constraints: 130745
1802.27/1851.47 c INPROCESSING
1802.27/1851.47 c GARBAGE COLLECT
1802.27/1851.47 c #Conflicts: 766000 | #Constraints: 79231
1802.27/1851.47 c #Conflicts: 767000 | #Constraints: 80231
1802.27/1851.47 c #Conflicts: 768000 | #Constraints: 81231
1802.27/1851.47 c #Conflicts: 769000 | #Constraints: 82231
1802.27/1851.47 c #Conflicts: 770000 | #Constraints: 83231
2015.27/2066.37 c #Conflicts: 771000 | #Constraints: 84231
2015.27/2066.37 c #Conflicts: 772000 | #Constraints: 85231
2015.27/2066.37 c #Conflicts: 773000 | #Constraints: 86231
2015.27/2066.37 c #Conflicts: 774000 | #Constraints: 87231
2015.27/2066.37 c #Conflicts: 775000 | #Constraints: 88231
2015.27/2066.37 c #Conflicts: 776000 | #Constraints: 89231
2015.27/2066.37 c #Conflicts: 777000 | #Constraints: 90231
2015.27/2066.37 c #Conflicts: 778000 | #Constraints: 91231
2015.27/2066.37 c #Conflicts: 779000 | #Constraints: 92231
2015.27/2066.37 c #Conflicts: 780000 | #Constraints: 93231
2015.27/2066.37 c #Conflicts: 781000 | #Constraints: 94231
2015.27/2066.37 c #Conflicts: 782000 | #Constraints: 95231
2015.27/2066.37 c #Conflicts: 783000 | #Constraints: 96231
2015.27/2066.37 c #Conflicts: 784000 | #Constraints: 97231
2015.27/2066.37 c #Conflicts: 785000 | #Constraints: 98231
2015.27/2066.37 c #Conflicts: 786000 | #Constraints: 99231
2015.27/2066.37 c #Conflicts: 787000 | #Constraints: 100231
2015.27/2066.37 c #Conflicts: 788000 | #Constraints: 101231
2015.27/2066.37 c #Conflicts: 789000 | #Constraints: 102231
2015.27/2066.37 c #Conflicts: 790000 | #Constraints: 103231
2015.27/2066.37 c #Conflicts: 791000 | #Constraints: 104231
2015.27/2066.37 c #Conflicts: 792000 | #Constraints: 105231
2015.27/2066.37 c #Conflicts: 793000 | #Constraints: 106231
2015.27/2066.37 c #Conflicts: 794000 | #Constraints: 107231
2015.27/2066.37 c #Conflicts: 795000 | #Constraints: 108231
2015.27/2066.37 c #Conflicts: 796000 | #Constraints: 109231
2015.27/2066.37 c #Conflicts: 797000 | #Constraints: 110231
2015.27/2066.37 c #Conflicts: 798000 | #Constraints: 111231
2015.27/2066.37 c #Conflicts: 799000 | #Constraints: 112232
2015.27/2066.37 c #Conflicts: 800000 | #Constraints: 113232
2015.27/2066.37 c #Conflicts: 801000 | #Constraints: 114232
2015.27/2066.37 c #Conflicts: 802000 | #Constraints: 115232
2015.27/2066.37 c #Conflicts: 803000 | #Constraints: 116232
2015.27/2066.37 c #Conflicts: 804000 | #Constraints: 117232
2015.27/2066.37 c #Conflicts: 805000 | #Constraints: 118232
2015.27/2066.37 c #Conflicts: 806000 | #Constraints: 119232
2015.27/2066.37 c #Conflicts: 807000 | #Constraints: 120232
2015.27/2066.37 c #Conflicts: 808000 | #Constraints: 121232
2015.27/2066.37 c #Conflicts: 809000 | #Constraints: 122232
2015.27/2066.37 c #Conflicts: 810000 | #Constraints: 123232
2015.27/2066.37 c #Conflicts: 811000 | #Constraints: 124232
2015.27/2066.37 c #Conflicts: 812000 | #Constraints: 125232
2015.27/2066.37 c #Conflicts: 813000 | #Constraints: 126232
2015.27/2066.37 c #Conflicts: 814000 | #Constraints: 127232
2015.27/2066.37 c #Conflicts: 815000 | #Constraints: 128232
2015.27/2066.37 c #Conflicts: 816000 | #Constraints: 129232
2015.27/2066.37 c #Conflicts: 817000 | #Constraints: 130232
2015.27/2066.37 c #Conflicts: 818000 | #Constraints: 131232
2015.27/2066.37 c #Conflicts: 819000 | #Constraints: 132232
2015.27/2066.37 c #Conflicts: 820000 | #Constraints: 133232
2015.27/2066.37 c #Conflicts: 821000 | #Constraints: 134232
2015.27/2066.37 c #Conflicts: 822000 | #Constraints: 135232
2015.27/2066.37 c INPROCESSING
2015.27/2066.37 c GARBAGE COLLECT
2015.27/2066.37 c #Conflicts: 823000 | #Constraints: 81911
2015.27/2066.37 c #Conflicts: 824000 | #Constraints: 82911
2015.27/2066.37 c #Conflicts: 825000 | #Constraints: 83911
2015.27/2066.37 c #Conflicts: 826000 | #Constraints: 84911
2015.27/2066.37 c #Conflicts: 827000 | #Constraints: 85911
2015.27/2066.37 c #Conflicts: 828000 | #Constraints: 86911
2015.27/2066.37 c #Conflicts: 829000 | #Constraints: 87911
2015.27/2066.37 c #Conflicts: 830000 | #Constraints: 88911
2015.27/2066.37 c #Conflicts: 831000 | #Constraints: 89911
2015.27/2066.37 c #Conflicts: 832000 | #Constraints: 90911
2015.27/2066.37 c #Conflicts: 833000 | #Constraints: 91911
2015.27/2066.37 c #Conflicts: 834000 | #Constraints: 92911
2015.27/2066.37 c #Conflicts: 835000 | #Constraints: 93911
2015.27/2066.37 c #Conflicts: 836000 | #Constraints: 94911
2015.27/2066.37 c #Conflicts: 837000 | #Constraints: 95911
2015.27/2066.37 c #Conflicts: 838000 | #Constraints: 96911
2015.27/2066.37 c #Conflicts: 839000 | #Constraints: 97911
2015.27/2066.37 c #Conflicts: 840000 | #Constraints: 98911
2015.27/2066.37 c #Conflicts: 841000 | #Constraints: 99911
2015.27/2066.37 c #Conflicts: 842000 | #Constraints: 100911
2015.27/2066.37 c #Conflicts: 843000 | #Constraints: 101911
2015.27/2066.37 c #Conflicts: 844000 | #Constraints: 102911
2015.27/2066.37 c #Conflicts: 845000 | #Constraints: 103911
2015.27/2066.37 c #Conflicts: 846000 | #Constraints: 104911
2015.27/2066.37 c #Conflicts: 847000 | #Constraints: 105911
2015.27/2066.37 c #Conflicts: 848000 | #Constraints: 106911
2231.28/2287.81 c #Conflicts: 849000 | #Constraints: 107911
2231.28/2287.81 c #Conflicts: 850000 | #Constraints: 108911
2231.28/2287.81 c #Conflicts: 851000 | #Constraints: 109911
2231.28/2287.81 c #Conflicts: 852000 | #Constraints: 110911
2231.28/2287.81 c #Conflicts: 853000 | #Constraints: 111911
2231.28/2287.81 c #Conflicts: 854000 | #Constraints: 112911
2231.28/2287.81 c #Conflicts: 855000 | #Constraints: 113911
2231.28/2287.81 c #Conflicts: 856000 | #Constraints: 114911
2231.28/2287.81 c #Conflicts: 857000 | #Constraints: 115911
2231.28/2287.81 c #Conflicts: 858000 | #Constraints: 116911
2231.28/2287.81 c #Conflicts: 859000 | #Constraints: 117911
2231.28/2287.81 c #Conflicts: 860000 | #Constraints: 118911
2231.28/2287.81 c #Conflicts: 861000 | #Constraints: 119911
2231.28/2287.81 c #Conflicts: 862000 | #Constraints: 120911
2231.28/2287.81 c #Conflicts: 863000 | #Constraints: 121911
2231.28/2287.81 c #Conflicts: 864000 | #Constraints: 122911
2231.28/2287.81 c #Conflicts: 865000 | #Constraints: 123911
2231.28/2287.81 c #Conflicts: 866000 | #Constraints: 124911
2231.28/2287.81 c #Conflicts: 867000 | #Constraints: 125911
2231.28/2287.81 c #Conflicts: 868000 | #Constraints: 126911
2231.28/2287.81 c #Conflicts: 869000 | #Constraints: 127911
2231.28/2287.81 c #Conflicts: 870000 | #Constraints: 128911
2231.28/2287.81 c #Conflicts: 871000 | #Constraints: 129911
2231.28/2287.81 c #Conflicts: 872000 | #Constraints: 130911
2231.28/2287.81 c #Conflicts: 873000 | #Constraints: 131911
2231.28/2287.81 c #Conflicts: 874000 | #Constraints: 132911
2231.28/2287.81 c #Conflicts: 875000 | #Constraints: 133911
2231.28/2287.81 c #Conflicts: 876000 | #Constraints: 134911
2231.28/2287.81 c #Conflicts: 877000 | #Constraints: 135911
2231.28/2287.81 c #Conflicts: 878000 | #Constraints: 136911
2231.28/2287.81 c #Conflicts: 879000 | #Constraints: 137911
2231.28/2287.81 c #Conflicts: 880000 | #Constraints: 138911
2231.28/2287.81 c INPROCESSING
2231.28/2287.81 c GARBAGE COLLECT
2231.28/2287.81 c #Conflicts: 881000 | #Constraints: 83490
2231.28/2287.81 c #Conflicts: 882000 | #Constraints: 84490
2231.28/2287.81 c #Conflicts: 883000 | #Constraints: 85490
2231.28/2287.81 c #Conflicts: 884000 | #Constraints: 86490
2231.28/2287.81 c #Conflicts: 885000 | #Constraints: 87490
2231.28/2287.81 c #Conflicts: 886000 | #Constraints: 88490
2231.28/2287.81 c #Conflicts: 887000 | #Constraints: 89490
2231.28/2287.81 c #Conflicts: 888000 | #Constraints: 90490
2231.28/2287.81 c #Conflicts: 889000 | #Constraints: 91490
2231.28/2287.81 c #Conflicts: 890000 | #Constraints: 92490
2231.28/2287.81 c #Conflicts: 891000 | #Constraints: 93490
2231.28/2287.81 c #Conflicts: 892000 | #Constraints: 94490
2231.28/2287.81 c #Conflicts: 893000 | #Constraints: 95490
2231.28/2287.81 c #Conflicts: 894000 | #Constraints: 96490
2231.28/2287.81 c #Conflicts: 895000 | #Constraints: 97490
2231.28/2287.81 c #Conflicts: 896000 | #Constraints: 98490
2231.28/2287.81 c #Conflicts: 897000 | #Constraints: 99490
2231.28/2287.81 c #Conflicts: 898000 | #Constraints: 100490
2231.28/2287.81 c #Conflicts: 899000 | #Constraints: 101490
2231.28/2287.81 c #Conflicts: 900000 | #Constraints: 102490
2231.28/2287.81 c #Conflicts: 901000 | #Constraints: 103490
2231.28/2287.81 c #Conflicts: 902000 | #Constraints: 104490
2231.28/2287.81 c #Conflicts: 903000 | #Constraints: 105490
2231.28/2287.81 c #Conflicts: 904000 | #Constraints: 106490
2231.28/2287.81 c #Conflicts: 905000 | #Constraints: 107490
2231.28/2287.81 c #Conflicts: 906000 | #Constraints: 108490
2231.28/2287.81 c #Conflicts: 907000 | #Constraints: 109490
2231.28/2287.81 c #Conflicts: 908000 | #Constraints: 110490
2231.28/2287.81 c #Conflicts: 909000 | #Constraints: 111490
2231.28/2287.81 c #Conflicts: 910000 | #Constraints: 112490
2231.28/2287.81 c #Conflicts: 911000 | #Constraints: 113490
2231.28/2287.81 c #Conflicts: 912000 | #Constraints: 114490
2231.28/2287.81 c #Conflicts: 913000 | #Constraints: 115490
2231.28/2287.81 c #Conflicts: 914000 | #Constraints: 116490
2231.28/2287.81 c #Conflicts: 915000 | #Constraints: 117490
2231.28/2287.81 c #Conflicts: 916000 | #Constraints: 118490
2231.28/2287.81 c #Conflicts: 917000 | #Constraints: 119490
2231.28/2287.81 c #Conflicts: 918000 | #Constraints: 120490
2231.28/2287.81 c #Conflicts: 919000 | #Constraints: 121490
2231.28/2287.81 c #Conflicts: 920000 | #Constraints: 122490
2231.28/2287.81 c #Conflicts: 921000 | #Constraints: 123490
2231.28/2287.81 c #Conflicts: 922000 | #Constraints: 124490
2231.28/2287.81 c #Conflicts: 923000 | #Constraints: 125490
2231.28/2287.81 c #Conflicts: 924000 | #Constraints: 126490
2231.28/2287.81 c #Conflicts: 925000 | #Constraints: 127490
2231.28/2287.81 c #Conflicts: 926000 | #Constraints: 128490
2471.22/2530.16 c #Conflicts: 927000 | #Constraints: 129490
2471.22/2530.16 c #Conflicts: 928000 | #Constraints: 130490
2471.22/2530.16 c #Conflicts: 929000 | #Constraints: 131490
2471.22/2530.16 c #Conflicts: 930000 | #Constraints: 132490
2471.22/2530.16 c #Conflicts: 931000 | #Constraints: 133490
2471.22/2530.16 c #Conflicts: 932000 | #Constraints: 134490
2471.22/2530.16 c #Conflicts: 933000 | #Constraints: 135490
2471.22/2530.16 c #Conflicts: 934000 | #Constraints: 136490
2471.22/2530.16 c #Conflicts: 935000 | #Constraints: 137490
2471.22/2530.16 c #Conflicts: 936000 | #Constraints: 138490
2471.22/2530.16 c #Conflicts: 937000 | #Constraints: 139490
2471.22/2530.16 c #Conflicts: 938000 | #Constraints: 140490
2471.22/2530.16 c #Conflicts: 939000 | #Constraints: 141490
2471.22/2530.16 c #Conflicts: 940000 | #Constraints: 142490
2471.22/2530.16 c INPROCESSING
2471.22/2530.16 c GARBAGE COLLECT
2471.22/2530.16 c #Conflicts: 941000 | #Constraints: 85315
2471.22/2530.16 c #Conflicts: 942000 | #Constraints: 86315
2471.22/2530.16 c #Conflicts: 943000 | #Constraints: 87315
2471.22/2530.16 c #Conflicts: 944000 | #Constraints: 88315
2471.22/2530.16 c #Conflicts: 945000 | #Constraints: 89315
2471.22/2530.16 c #Conflicts: 946000 | #Constraints: 90315
2471.22/2530.16 c #Conflicts: 947000 | #Constraints: 91315
2471.22/2530.16 c #Conflicts: 948000 | #Constraints: 92316
2471.22/2530.16 c #Conflicts: 949000 | #Constraints: 93316
2471.22/2530.16 c #Conflicts: 950000 | #Constraints: 94316
2471.22/2530.16 c #Conflicts: 951000 | #Constraints: 95316
2471.22/2530.16 c #Conflicts: 952000 | #Constraints: 96316
2471.22/2530.16 c #Conflicts: 953000 | #Constraints: 97316
2471.22/2530.16 c #Conflicts: 954000 | #Constraints: 98316
2471.22/2530.16 c #Conflicts: 955000 | #Constraints: 99316
2471.22/2530.16 c #Conflicts: 956000 | #Constraints: 100316
2471.22/2530.16 c #Conflicts: 957000 | #Constraints: 101316
2471.22/2530.16 c #Conflicts: 958000 | #Constraints: 102316
2471.22/2530.16 c #Conflicts: 959000 | #Constraints: 103316
2471.22/2530.16 c #Conflicts: 960000 | #Constraints: 104316
2471.22/2530.16 c #Conflicts: 961000 | #Constraints: 105316
2471.22/2530.16 c #Conflicts: 962000 | #Constraints: 106316
2471.22/2530.16 c #Conflicts: 963000 | #Constraints: 107316
2471.22/2530.16 c #Conflicts: 964000 | #Constraints: 108316
2471.22/2530.16 c #Conflicts: 965000 | #Constraints: 109316
2471.22/2530.16 c #Conflicts: 966000 | #Constraints: 110316
2471.22/2530.16 c #Conflicts: 967000 | #Constraints: 111316
2471.22/2530.16 c #Conflicts: 968000 | #Constraints: 112316
2471.22/2530.16 c #Conflicts: 969000 | #Constraints: 113316
2471.22/2530.16 c #Conflicts: 970000 | #Constraints: 114316
2471.22/2530.16 c #Conflicts: 971000 | #Constraints: 115316
2471.22/2530.16 c #Conflicts: 972000 | #Constraints: 116316
2471.22/2530.16 c #Conflicts: 973000 | #Constraints: 117316
2471.22/2530.16 c #Conflicts: 974000 | #Constraints: 118316
2471.22/2530.16 c #Conflicts: 975000 | #Constraints: 119316
2471.22/2530.16 c #Conflicts: 976000 | #Constraints: 120316
2471.22/2530.16 c #Conflicts: 977000 | #Constraints: 121316
2471.22/2530.16 c #Conflicts: 978000 | #Constraints: 122316
2471.22/2530.16 c #Conflicts: 979000 | #Constraints: 123316
2471.22/2530.16 c #Conflicts: 980000 | #Constraints: 124316
2471.22/2530.16 c #Conflicts: 981000 | #Constraints: 125316
2471.22/2530.16 c #Conflicts: 982000 | #Constraints: 126316
2471.22/2530.16 c #Conflicts: 983000 | #Constraints: 127316
2471.22/2530.16 c #Conflicts: 984000 | #Constraints: 128316
2471.22/2530.16 c #Conflicts: 985000 | #Constraints: 129316
2471.22/2530.16 c #Conflicts: 986000 | #Constraints: 130316
2471.22/2530.16 c #Conflicts: 987000 | #Constraints: 131316
2471.22/2530.16 c #Conflicts: 988000 | #Constraints: 132316
2471.22/2530.16 c #Conflicts: 989000 | #Constraints: 133316
2471.22/2530.16 c #Conflicts: 990000 | #Constraints: 134316
2471.22/2530.16 c #Conflicts: 991000 | #Constraints: 135316
2471.22/2530.16 c #Conflicts: 992000 | #Constraints: 136316
2471.22/2530.16 c #Conflicts: 993000 | #Constraints: 137316
2471.22/2530.16 c #Conflicts: 994000 | #Constraints: 138316
2471.22/2530.16 c #Conflicts: 995000 | #Constraints: 139316
2471.22/2530.16 c #Conflicts: 996000 | #Constraints: 140316
2471.22/2530.16 c #Conflicts: 997000 | #Constraints: 141316
2471.22/2530.16 c #Conflicts: 998000 | #Constraints: 142316
2471.22/2530.16 c #Conflicts: 999000 | #Constraints: 143316
2471.22/2530.16 c #Conflicts: 1000000 | #Constraints: 144316
2471.22/2530.16 c #Conflicts: 1001000 | #Constraints: 145316
2471.22/2530.16 c #Conflicts: 1002000 | #Constraints: 146316
2471.22/2530.16 c #Conflicts: 1003000 | #Constraints: 147316
2471.22/2530.16 c INPROCESSING
2471.22/2530.16 c GARBAGE COLLECT
2471.22/2530.16 c #Conflicts: 1004000 | #Constraints: 88346
2725.21/2786.39 c #Conflicts: 1005000 | #Constraints: 89346
2725.21/2786.39 c #Conflicts: 1006000 | #Constraints: 90346
2725.21/2786.39 c #Conflicts: 1007000 | #Constraints: 91346
2725.21/2786.39 c #Conflicts: 1008000 | #Constraints: 92346
2725.21/2786.39 c #Conflicts: 1009000 | #Constraints: 93346
2725.21/2786.39 c #Conflicts: 1010000 | #Constraints: 94346
2725.21/2786.39 c #Conflicts: 1011000 | #Constraints: 95346
2725.21/2786.39 c #Conflicts: 1012000 | #Constraints: 96346
2725.21/2786.39 c #Conflicts: 1013000 | #Constraints: 97346
2725.21/2786.39 c #Conflicts: 1014000 | #Constraints: 98346
2725.21/2786.39 c #Conflicts: 1015000 | #Constraints: 99346
2725.21/2786.39 c #Conflicts: 1016000 | #Constraints: 100346
2725.21/2786.39 c #Conflicts: 1017000 | #Constraints: 101346
2725.21/2786.39 c #Conflicts: 1018000 | #Constraints: 102346
2725.21/2786.39 c #Conflicts: 1019000 | #Constraints: 103346
2725.21/2786.39 c #Conflicts: 1020000 | #Constraints: 104346
2725.21/2786.39 c #Conflicts: 1021000 | #Constraints: 105346
2725.21/2786.39 c #Conflicts: 1022000 | #Constraints: 106346
2725.21/2786.39 c #Conflicts: 1023000 | #Constraints: 107346
2725.21/2786.39 c #Conflicts: 1024000 | #Constraints: 108346
2725.21/2786.39 c #Conflicts: 1025000 | #Constraints: 109346
2725.21/2786.39 c #Conflicts: 1026000 | #Constraints: 110346
2725.21/2786.39 c #Conflicts: 1027000 | #Constraints: 111346
2725.21/2786.39 c #Conflicts: 1028000 | #Constraints: 112346
2725.21/2786.39 c #Conflicts: 1029000 | #Constraints: 113346
2725.21/2786.39 c #Conflicts: 1030000 | #Constraints: 114346
2725.21/2786.39 c #Conflicts: 1031000 | #Constraints: 115346
2725.21/2786.39 c #Conflicts: 1032000 | #Constraints: 116346
2725.21/2786.39 c #Conflicts: 1033000 | #Constraints: 117346
2725.21/2786.39 c #Conflicts: 1034000 | #Constraints: 118346
2725.21/2786.39 c #Conflicts: 1035000 | #Constraints: 119346
2725.21/2786.39 c #Conflicts: 1036000 | #Constraints: 120346
2725.21/2786.39 c #Conflicts: 1037000 | #Constraints: 121346
2725.21/2786.39 c INPROCESSING
2725.21/2786.39 c GARBAGE COLLECT
2725.21/2786.39 c #Conflicts: 1038000 | #Constraints: 85709
2725.21/2786.39 c #Conflicts: 1039000 | #Constraints: 86709
2725.21/2786.39 c #Conflicts: 1040000 | #Constraints: 87709
2725.21/2786.39 c #Conflicts: 1041000 | #Constraints: 88709
2725.21/2786.39 c #Conflicts: 1042000 | #Constraints: 89709
2725.21/2786.39 c #Conflicts: 1043000 | #Constraints: 90709
2725.21/2786.39 c #Conflicts: 1044000 | #Constraints: 91709
2725.21/2786.39 c #Conflicts: 1045000 | #Constraints: 92709
2725.21/2786.39 c #Conflicts: 1046000 | #Constraints: 93709
2725.21/2786.39 c #Conflicts: 1047000 | #Constraints: 94709
2725.21/2786.39 c #Conflicts: 1048000 | #Constraints: 95709
2725.21/2786.39 c #Conflicts: 1049000 | #Constraints: 96709
2725.21/2786.39 c #Conflicts: 1050000 | #Constraints: 97709
2725.21/2786.39 c #Conflicts: 1051000 | #Constraints: 98709
2725.21/2786.39 c #Conflicts: 1052000 | #Constraints: 99709
2725.21/2786.39 c #Conflicts: 1053000 | #Constraints: 100709
2725.21/2786.39 c #Conflicts: 1054000 | #Constraints: 101709
2725.21/2786.39 c #Conflicts: 1055000 | #Constraints: 102709
2725.21/2786.39 c #Conflicts: 1056000 | #Constraints: 103709
2725.21/2786.39 c #Conflicts: 1057000 | #Constraints: 104709
2725.21/2786.39 c #Conflicts: 1058000 | #Constraints: 105709
2725.21/2786.39 c #Conflicts: 1059000 | #Constraints: 106709
2725.21/2786.39 c #Conflicts: 1060000 | #Constraints: 107709
2725.21/2786.39 c #Conflicts: 1061000 | #Constraints: 108709
2725.21/2786.39 c #Conflicts: 1062000 | #Constraints: 109709
2725.21/2786.39 c #Conflicts: 1063000 | #Constraints: 110709
2725.21/2786.39 c #Conflicts: 1064000 | #Constraints: 111709
2725.21/2786.39 c #Conflicts: 1065000 | #Constraints: 112709
2725.21/2786.39 c #Conflicts: 1066000 | #Constraints: 113709
2725.21/2786.39 c #Conflicts: 1067000 | #Constraints: 114709
2725.21/2786.39 c #Conflicts: 1068000 | #Constraints: 115709
2725.21/2786.39 c #Conflicts: 1069000 | #Constraints: 116709
2725.21/2786.39 c #Conflicts: 1070000 | #Constraints: 117709
2725.21/2786.39 c #Conflicts: 1071000 | #Constraints: 118709
2725.21/2786.39 c #Conflicts: 1072000 | #Constraints: 119709
2725.21/2786.39 c #Conflicts: 1073000 | #Constraints: 120709
2725.21/2786.39 c #Conflicts: 1074000 | #Constraints: 121709
2725.21/2786.39 c #Conflicts: 1075000 | #Constraints: 122709
2725.21/2786.39 c #Conflicts: 1076000 | #Constraints: 123709
2725.21/2786.39 c #Conflicts: 1077000 | #Constraints: 124710
2725.21/2786.39 c #Conflicts: 1078000 | #Constraints: 125710
2725.21/2786.39 c #Conflicts: 1079000 | #Constraints: 126710
2725.21/2786.39 c #Conflicts: 1080000 | #Constraints: 127710
2725.21/2786.39 c #Conflicts: 1081000 | #Constraints: 128710
2725.21/2786.39 c #Conflicts: 1082000 | #Constraints: 129710
2948.52/3012.47 c #Conflicts: 1083000 | #Constraints: 130710
2948.52/3012.47 c #Conflicts: 1084000 | #Constraints: 131710
2948.52/3012.47 c #Conflicts: 1085000 | #Constraints: 132710
2948.52/3012.47 c #Conflicts: 1086000 | #Constraints: 133710
2948.52/3012.47 c #Conflicts: 1087000 | #Constraints: 134710
2948.52/3012.47 c #Conflicts: 1088000 | #Constraints: 135710
2948.52/3012.47 c #Conflicts: 1089000 | #Constraints: 136710
2948.52/3012.47 c #Conflicts: 1090000 | #Constraints: 137710
2948.52/3012.47 c #Conflicts: 1091000 | #Constraints: 138710
2948.52/3012.47 c #Conflicts: 1092000 | #Constraints: 139710
2948.52/3012.47 c #Conflicts: 1093000 | #Constraints: 140710
2948.52/3012.47 c #Conflicts: 1094000 | #Constraints: 141710
2948.52/3012.47 c #Conflicts: 1095000 | #Constraints: 142710
2948.52/3012.47 c #Conflicts: 1096000 | #Constraints: 143710
2948.52/3012.47 c #Conflicts: 1097000 | #Constraints: 144710
2948.52/3012.47 c #Conflicts: 1098000 | #Constraints: 145710
2948.52/3012.47 c #Conflicts: 1099000 | #Constraints: 146710
2948.52/3012.47 c #Conflicts: 1100000 | #Constraints: 147710
2948.52/3012.47 c #Conflicts: 1101000 | #Constraints: 148710
2948.52/3012.47 c #Conflicts: 1102000 | #Constraints: 149710
2948.52/3012.47 c INPROCESSING
2948.52/3012.47 c GARBAGE COLLECT
2948.52/3012.47 c #Conflicts: 1103000 | #Constraints: 88878
2948.52/3012.47 c #Conflicts: 1104000 | #Constraints: 89878
2948.52/3012.47 c #Conflicts: 1105000 | #Constraints: 90878
2948.52/3012.47 c #Conflicts: 1106000 | #Constraints: 91878
2948.52/3012.47 c #Conflicts: 1107000 | #Constraints: 92878
2948.52/3012.47 c #Conflicts: 1108000 | #Constraints: 93878
2948.52/3012.47 c #Conflicts: 1109000 | #Constraints: 94878
2948.52/3012.47 c #Conflicts: 1110000 | #Constraints: 95878
2948.52/3012.47 c #Conflicts: 1111000 | #Constraints: 96878
2948.52/3012.47 c #Conflicts: 1112000 | #Constraints: 97878
2948.52/3012.47 c #Conflicts: 1113000 | #Constraints: 98878
2948.52/3012.47 c #Conflicts: 1114000 | #Constraints: 99878
2948.52/3012.47 c #Conflicts: 1115000 | #Constraints: 100878
2948.52/3012.47 c #Conflicts: 1116000 | #Constraints: 101878
2948.52/3012.47 c #Conflicts: 1117000 | #Constraints: 102878
2948.52/3012.47 c #Conflicts: 1118000 | #Constraints: 103878
2948.52/3012.47 c #Conflicts: 1119000 | #Constraints: 104878
2948.52/3012.47 c #Conflicts: 1120000 | #Constraints: 105878
2948.52/3012.47 c #Conflicts: 1121000 | #Constraints: 106878
2948.52/3012.47 c #Conflicts: 1122000 | #Constraints: 107878
2948.52/3012.47 c #Conflicts: 1123000 | #Constraints: 108878
2948.52/3012.47 c #Conflicts: 1124000 | #Constraints: 109878
2948.52/3012.47 c #Conflicts: 1125000 | #Constraints: 110878
2948.52/3012.47 c #Conflicts: 1126000 | #Constraints: 111878
2948.52/3012.47 c #Conflicts: 1127000 | #Constraints: 112878
2948.52/3012.47 c #Conflicts: 1128000 | #Constraints: 113878
2948.52/3012.47 c #Conflicts: 1129000 | #Constraints: 114878
2948.52/3012.47 c #Conflicts: 1130000 | #Constraints: 115878
2948.52/3012.47 c #Conflicts: 1131000 | #Constraints: 116878
2948.52/3012.47 c #Conflicts: 1132000 | #Constraints: 117878
2948.52/3012.47 c #Conflicts: 1133000 | #Constraints: 118878
2948.52/3012.47 c #Conflicts: 1134000 | #Constraints: 119878
2948.52/3012.47 c #Conflicts: 1135000 | #Constraints: 120878
2948.52/3012.47 c #Conflicts: 1136000 | #Constraints: 121878
2948.52/3012.47 c #Conflicts: 1137000 | #Constraints: 122878
2948.52/3012.47 c INPROCESSING
2948.52/3012.47 c GARBAGE COLLECT
2948.52/3012.47 c #Conflicts: 1138000 | #Constraints: 86938
2948.52/3012.47 c #Conflicts: 1139000 | #Constraints: 87938
2948.52/3012.47 c #Conflicts: 1140000 | #Constraints: 88938
2948.52/3012.47 c #Conflicts: 1141000 | #Constraints: 89938
2948.52/3012.47 c #Conflicts: 1142000 | #Constraints: 90938
2948.52/3012.47 c #Conflicts: 1143000 | #Constraints: 91938
2948.52/3012.47 c #Conflicts: 1144000 | #Constraints: 92938
2948.52/3012.47 c #Conflicts: 1145000 | #Constraints: 93938
2948.52/3012.47 c #Conflicts: 1146000 | #Constraints: 94938
2948.52/3012.47 c #Conflicts: 1147000 | #Constraints: 95938
2948.52/3012.47 c #Conflicts: 1148000 | #Constraints: 96938
2948.52/3012.47 c #Conflicts: 1149000 | #Constraints: 97938
2948.52/3012.47 c #Conflicts: 1150000 | #Constraints: 98938
2948.52/3012.47 c #Conflicts: 1151000 | #Constraints: 99938
2948.52/3012.47 c #Conflicts: 1152000 | #Constraints: 100938
2948.52/3012.47 c #Conflicts: 1153000 | #Constraints: 101938
2948.52/3012.47 c #Conflicts: 1154000 | #Constraints: 102938
2948.52/3012.47 c #Conflicts: 1155000 | #Constraints: 103939
2948.52/3012.47 c #Conflicts: 1156000 | #Constraints: 104939
2948.52/3012.47 c #Conflicts: 1157000 | #Constraints: 105939
2948.52/3012.47 c #Conflicts: 1158000 | #Constraints: 106939
2948.52/3012.47 c #Conflicts: 1159000 | #Constraints: 107939
3303.37/3370.97 c #Conflicts: 1160000 | #Constraints: 108939
3303.37/3370.97 c #Conflicts: 1161000 | #Constraints: 109939
3303.37/3370.97 c #Conflicts: 1162000 | #Constraints: 110939
3303.37/3370.97 c #Conflicts: 1163000 | #Constraints: 111939
3303.37/3370.97 c #Conflicts: 1164000 | #Constraints: 112939
3303.37/3370.97 c #Conflicts: 1165000 | #Constraints: 113939
3303.37/3370.97 c #Conflicts: 1166000 | #Constraints: 114939
3303.37/3370.97 c #Conflicts: 1167000 | #Constraints: 115939
3303.37/3370.97 c #Conflicts: 1168000 | #Constraints: 116939
3303.37/3370.97 c #Conflicts: 1169000 | #Constraints: 117939
3303.37/3370.97 c #Conflicts: 1170000 | #Constraints: 118939
3303.37/3370.97 c #Conflicts: 1171000 | #Constraints: 119939
3303.37/3370.97 c #Conflicts: 1172000 | #Constraints: 120939
3303.37/3370.97 c #Conflicts: 1173000 | #Constraints: 121939
3303.37/3370.97 c #Conflicts: 1174000 | #Constraints: 122939
3303.37/3370.97 c #Conflicts: 1175000 | #Constraints: 123939
3303.37/3370.97 c #Conflicts: 1176000 | #Constraints: 124939
3303.37/3370.97 c #Conflicts: 1177000 | #Constraints: 125939
3303.37/3370.97 c #Conflicts: 1178000 | #Constraints: 126939
3303.37/3370.97 c #Conflicts: 1179000 | #Constraints: 127939
3303.37/3370.97 c #Conflicts: 1180000 | #Constraints: 128939
3303.37/3370.97 c #Conflicts: 1181000 | #Constraints: 129939
3303.37/3370.97 c #Conflicts: 1182000 | #Constraints: 130939
3303.37/3370.97 c #Conflicts: 1183000 | #Constraints: 131939
3303.37/3370.97 c #Conflicts: 1184000 | #Constraints: 132939
3303.37/3370.97 c #Conflicts: 1185000 | #Constraints: 133939
3303.37/3370.97 c #Conflicts: 1186000 | #Constraints: 134939
3303.37/3370.97 c #Conflicts: 1187000 | #Constraints: 135939
3303.37/3370.97 c #Conflicts: 1188000 | #Constraints: 136939
3303.37/3370.97 c #Conflicts: 1189000 | #Constraints: 137939
3303.37/3370.97 c #Conflicts: 1190000 | #Constraints: 138939
3303.37/3370.97 c #Conflicts: 1191000 | #Constraints: 139939
3303.37/3370.97 c #Conflicts: 1192000 | #Constraints: 140939
3303.37/3370.97 c #Conflicts: 1193000 | #Constraints: 141939
3303.37/3370.97 c #Conflicts: 1194000 | #Constraints: 142939
3303.37/3370.97 c #Conflicts: 1195000 | #Constraints: 143939
3303.37/3370.97 c #Conflicts: 1196000 | #Constraints: 144939
3303.37/3370.97 c #Conflicts: 1197000 | #Constraints: 145939
3303.37/3370.97 c #Conflicts: 1198000 | #Constraints: 146939
3303.37/3370.97 c #Conflicts: 1199000 | #Constraints: 147939
3303.37/3370.97 c #Conflicts: 1200000 | #Constraints: 148939
3303.37/3370.97 c #Conflicts: 1201000 | #Constraints: 149939
3303.37/3370.97 c #Conflicts: 1202000 | #Constraints: 150939
3303.37/3370.97 c #Conflicts: 1203000 | #Constraints: 151939
3303.37/3370.97 c #Conflicts: 1204000 | #Constraints: 152939
3303.37/3370.97 c #Conflicts: 1205000 | #Constraints: 153939
3303.37/3370.97 c #Conflicts: 1206000 | #Constraints: 154939
3303.37/3370.97 c INPROCESSING
3303.37/3370.97 c GARBAGE COLLECT
3303.37/3370.97 c rational objective 194.011
3564.49/3636.42 c #Conflicts: 1207000 | #Constraints: 91905
3564.49/3636.42 c #Conflicts: 1208000 | #Constraints: 92905
3564.49/3636.42 c #Conflicts: 1209000 | #Constraints: 93905
3564.49/3636.42 c #Conflicts: 1210000 | #Constraints: 94905
3564.49/3636.42 c #Conflicts: 1211000 | #Constraints: 95905
3564.49/3636.42 c #Conflicts: 1212000 | #Constraints: 96905
3564.49/3636.42 c #Conflicts: 1213000 | #Constraints: 97905
3564.49/3636.42 c #Conflicts: 1214000 | #Constraints: 98905
3564.49/3636.42 c #Conflicts: 1215000 | #Constraints: 99905
3564.49/3636.42 c #Conflicts: 1216000 | #Constraints: 100905
3564.49/3636.42 c #Conflicts: 1217000 | #Constraints: 101905
3564.49/3636.42 c #Conflicts: 1218000 | #Constraints: 102905
3564.49/3636.42 c #Conflicts: 1219000 | #Constraints: 103905
3564.49/3636.42 c #Conflicts: 1220000 | #Constraints: 104905
3564.49/3636.42 c #Conflicts: 1221000 | #Constraints: 105905
3564.49/3636.42 c #Conflicts: 1222000 | #Constraints: 106905
3564.49/3636.42 c #Conflicts: 1223000 | #Constraints: 107905
3564.49/3636.42 c #Conflicts: 1224000 | #Constraints: 108905
3564.49/3636.42 c #Conflicts: 1225000 | #Constraints: 109905
3564.49/3636.42 c #Conflicts: 1226000 | #Constraints: 110905
3564.49/3636.42 c #Conflicts: 1227000 | #Constraints: 111905
3564.49/3636.42 c #Conflicts: 1228000 | #Constraints: 112905
3564.49/3636.42 c #Conflicts: 1229000 | #Constraints: 113905
3564.49/3636.42 c #Conflicts: 1230000 | #Constraints: 114905
3564.49/3636.42 c #Conflicts: 1231000 | #Constraints: 115905
3564.49/3636.42 c #Conflicts: 1232000 | #Constraints: 116905
3564.49/3636.42 c #Conflicts: 1233000 | #Constraints: 117905
3564.49/3636.42 c #Conflicts: 1234000 | #Constraints: 118905
3564.49/3636.42 c #Conflicts: 1235000 | #Constraints: 119905
3564.49/3636.42 c #Conflicts: 1236000 | #Constraints: 120905
3564.49/3636.42 c #Conflicts: 1237000 | #Constraints: 121905
3564.49/3636.42 c #Conflicts: 1238000 | #Constraints: 122905
3564.49/3636.42 c #Conflicts: 1239000 | #Constraints: 123905
3564.49/3636.42 c #Conflicts: 1240000 | #Constraints: 124905
3564.49/3636.42 c #Conflicts: 1241000 | #Constraints: 125905
3564.49/3636.42 c #Conflicts: 1242000 | #Constraints: 126905
3564.49/3636.42 c INPROCESSING
3564.49/3636.42 c GARBAGE COLLECT
3564.49/3636.42 c #Conflicts: 1243000 | #Constraints: 90334
3564.49/3636.42 c #Conflicts: 1244000 | #Constraints: 91334
3564.49/3636.42 c #Conflicts: 1245000 | #Constraints: 92334
3564.49/3636.42 c #Conflicts: 1246000 | #Constraints: 93334
3564.49/3636.42 c #Conflicts: 1247000 | #Constraints: 94334
3564.49/3636.42 c #Conflicts: 1248000 | #Constraints: 95334
3564.49/3636.42 c #Conflicts: 1249000 | #Constraints: 96334
3564.49/3636.42 c #Conflicts: 1250000 | #Constraints: 97334
3564.49/3636.42 c #Conflicts: 1251000 | #Constraints: 98334
3564.49/3636.42 c #Conflicts: 1252000 | #Constraints: 99334
3564.49/3636.42 c #Conflicts: 1253000 | #Constraints: 100334
3564.49/3636.42 c #Conflicts: 1254000 | #Constraints: 101334
3564.49/3636.42 c #Conflicts: 1255000 | #Constraints: 102334
3564.49/3636.42 c #Conflicts: 1256000 | #Constraints: 103334
3564.49/3636.42 c #Conflicts: 1257000 | #Constraints: 104334
3564.49/3636.42 c #Conflicts: 1258000 | #Constraints: 105334
3564.49/3636.42 c #Conflicts: 1259000 | #Constraints: 106334
3564.49/3636.42 c #Conflicts: 1260000 | #Constraints: 107334
3564.49/3636.42 c #Conflicts: 1261000 | #Constraints: 108334
3564.49/3636.42 c #Conflicts: 1262000 | #Constraints: 109334
3564.49/3636.42 c #Conflicts: 1263000 | #Constraints: 110334
3564.49/3636.42 c #Conflicts: 1264000 | #Constraints: 111334
3564.49/3636.42 c #Conflicts: 1265000 | #Constraints: 112334
3564.49/3636.42 c #Conflicts: 1266000 | #Constraints: 113334
3564.49/3636.42 c #Conflicts: 1267000 | #Constraints: 114334
3564.49/3636.42 c #Conflicts: 1268000 | #Constraints: 115334
3564.49/3636.42 c #Conflicts: 1269000 | #Constraints: 116334
3564.49/3636.42 c #Conflicts: 1270000 | #Constraints: 117334
3564.49/3636.42 c #Conflicts: 1271000 | #Constraints: 118334
3564.49/3636.42 c #Conflicts: 1272000 | #Constraints: 119334
3564.49/3636.42 c #Conflicts: 1273000 | #Constraints: 120334
3564.49/3636.42 c #Conflicts: 1274000 | #Constraints: 121334
3564.49/3636.42 c #Conflicts: 1275000 | #Constraints: 122334
3564.49/3636.42 c #Conflicts: 1276000 | #Constraints: 123334
3564.49/3636.42 c #Conflicts: 1277000 | #Constraints: 124334
3564.49/3636.42 c #Conflicts: 1278000 | #Constraints: 125334
3564.49/3636.42 c #Conflicts: 1279000 | #Constraints: 126334
3564.49/3636.42 c #Conflicts: 1280000 | #Constraints: 127334
3564.49/3636.42 c #Conflicts: 1281000 | #Constraints: 128334
3564.49/3636.42 c #Conflicts: 1282000 | #Constraints: 129334
3564.49/3636.42 c #Conflicts: 1283000 | #Constraints: 130334
3564.49/3636.42 c #Conflicts: 1284000 | #Constraints: 131334
3564.49/3636.42 c #Conflicts: 1285000 | #Constraints: 132334
3600.09/3672.10 c #Conflicts: 1286000 | #Constraints: 133334
3600.09/3672.10 c #Conflicts: 1287000 | #Constraints: 134334
3600.09/3672.10 c #Conflicts: 1288000 | #Constraints: 135334
3600.09/3672.10 c #Conflicts: 1289000 | #Constraints: 136334
3600.09/3672.10 c #Conflicts: 1290000 | #Constraints: 137334
3600.09/3672.10 c #Conflicts: 1291000 | #Constraints: 138334
3600.09/3672.10 c #Conflicts: 1292000 | #Constraints: 139334
3600.09/3672.10 c #Conflicts: 1293000 | #Constraints: 140334
3600.09/3672.10 c #Conflicts: 1294000 | #Constraints: 141334
3600.09/3672.10 c #Conflicts: 1295000 | #Constraints: 142334
3600.09/3672.10 c #Conflicts: 1296000 | #Constraints: 143334
3600.09/3672.10 c cpu time 3560.42 s
3600.09/3672.10 c deterministic time 242622961657 2.43e+11
3600.09/3672.10 c optimization time 125.922 s
3600.09/3672.10 c total solve time 3434.35 s
3600.09/3672.10 c core-guided solve time 0 s
3600.09/3672.10 c propagation time 1913.67 s
3600.09/3672.10 c conflict analysis time 1085.17 s
3600.09/3672.10 c propagations 1358994601
3600.09/3672.10 c resolve steps 73637214
3600.09/3672.10 c decisions 38746574
3600.09/3672.10 c conflicts 1296596
3600.09/3672.10 c restarts 2502
3600.09/3672.10 c inprocessing phases 38
3600.09/3672.10 c garbage collections 38 ,( 100.00 )
3600.09/3672.10 c input clauses 23420 ,( 99.18 )
3600.09/3672.10 c input cardinalities 194 ,( 0.82 )
3600.09/3672.10 c input general constraints 0 ,( 0.00 )
3600.09/3672.10 c input average constraint length 6.42
3600.09/3672.10 c input average constraint degree 1.96
3600.09/3672.10 c learned clauses 923876 ,( 71.25 )
3600.09/3672.10 c learned cardinalities 46972 ,( 3.62 )
3600.09/3672.10 c learned general constraints 325757 ,( 25.12 )
3600.09/3672.10 c learned average constraint length 708.74
3600.09/3672.10 c learned average constraint degree 17032462.05
3600.09/3672.10 c watched CF 32, 64, 128, Arb: 78601 , 0 , 0 , 0
3600.09/3672.10 c counting CF 32, 64, 128, Arb: 247156 , 0 , 0 , 0
3600.09/3672.10 c watched constraints 78601 ,( 24.13 )
3600.09/3672.10 c counting constraints 247156 ,( 75.87 )
3600.09/3672.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1236938072 , 769510504 , 1887844646 ,( 87151496 , 1800693150 )
3600.09/3672.10 c gcd simplifications 593
3600.09/3672.10 c detected cardinalities 7707
3600.09/3672.10 c weakened non-implied lits 348567043
3600.09/3672.10 c weakened non-implying lits 173569
3600.09/3672.10 c original variables 23131
3600.09/3672.10 c clausal propagations 640885480
3600.09/3672.10 c cardinality propagations 488006984
3600.09/3672.10 c watched propagations 3923816
3600.09/3672.10 c counting propagations 213324535
3600.09/3672.10 c watch lookups 74401285245
3600.09/3672.10 c watch backjump lookups 0
3600.09/3672.10 c watch checks 31900747304
3600.09/3672.10 c propagation checks 129244163790
3600.09/3672.10 c constraint additions 4279653120
3600.09/3672.10 c trail pops 1399015386
3600.09/3672.10 c formula constraints 23614
3600.09/3672.10 c learned constraints 1296588
3600.09/3672.10 c bound constraints 0
3600.09/3672.10 c core-guided constraints 0
3600.09/3672.10 c encountered formula constraints 45660734
3600.09/3672.10 c encountered learned constraints 29272886
3600.09/3672.10 c encountered bound constraints 0
3600.09/3672.10 c encountered core-guided constraints 0
3600.09/3672.10 c LP total time 607.691 s
3600.09/3672.10 c LP solve time 600.06 s
3600.09/3672.10 c LP constraints added 23909
3600.09/3672.10 c LP constraints removed 0
3600.09/3672.10 c LP pivots internal 162142
3600.09/3672.10 c LP pivots root 193494
3600.09/3672.10 c LP calls 17
3600.09/3672.10 c LP optimalities 3
3600.09/3672.10 c LP no pivot count 0
3600.09/3672.10 c LP infeasibilities 7
3600.09/3672.10 c LP valid Farkas constraints 7
3600.09/3672.10 c LP learned Farkas constraints 7
3600.09/3672.10 c LP basis resets 0
3600.09/3672.10 c LP cycling count 0
3600.09/3672.10 c LP singular count 0
3600.09/3672.10 c LP no primal count 0
3600.09/3672.10 c LP no farkas count 0
3600.09/3672.10 c LP other issue count 0
3600.09/3672.10 c LP Gomory cuts 3
3600.09/3672.10 c LP learned cuts 292
3600.09/3672.10 c LP deleted cuts 0
3600.09/3672.10 c LP encountered Gomory constraints 0
3600.09/3672.10 c LP encountered Farkas constraints 178
3600.09/3672.10 c LP encountered learned Farkas constraints 5
3600.09/3672.10 c CG auxiliary variables introduced 0
3600.09/3672.10 c CG solutions found 0
3600.09/3672.10 c CG cores constructed 0
3600.09/3672.10 c CG core cardinality constraints returned 0
3600.09/3672.10 c CG unit cores 0
3600.09/3672.10 c CG single cores 0
3600.09/3672.10 c CG blocks removed during cardinality reduction 0
3600.09/3672.10 c CG first core best 0
3600.09/3672.10 c CG decision core best 0
3600.09/3672.10 c CG core reduction tie 0
3600.09/3672.10 c CG core degree average 0.00
3600.09/3672.10 c CG core slack average 0.00
3600.09/3672.10 c CG core upper bound improvements 0
3600.09/3672.10 c STR number of successful calls 0
3600.09/3672.10 c STR number of unsuccessful calls 0
3600.09/3672.10 c STR number of inconclusive calls 0
3600.09/3672.10 c STR number of successful attempts 0
3600.09/3672.10 c STR number of unsuccessful attempts 0
3600.09/3672.10 c STR number of inconclusive attempts 0
3600.09/3672.10 c STR average degree increase per successful call inf
3600.09/3672.10 c STR average degree increase per successful attempt inf
3600.09/3672.10 c STR total number of conflicts for successful attempts 0
3600.09/3672.10 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3672.10 c STR total number of conflicts for inconclusive attempts 0
3600.09/3672.10 c STR average number of conflicts per successful attempt inf
3600.09/3672.10 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3672.10 c STR average number of conflicts per inconclusive attempt inf
3600.09/3672.10 c AVG.sumWPerc 67.01
3600.09/3672.10 c bigint constraints 0
3600.09/3672.10 s UNKNOWN
3600.09/3672.10 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (58194 MiB free)
memory of node 1: 64465 MiB (63915 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507161-1751174060/watcher-4507161-1751174060 -o /tmp/evaluation-result-4507161-1751174060/solver-4507161-1751174060 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20383 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507161-1751174060.opb PROOFDIR/proof-4507161-1751174060
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=20833, runsolver pid=20830
[startup+0.100061 s]*
/proc/loadavg: 4.08 4.08 4.03 5/271 20835
/proc/meminfo: memFree=124993148/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 213 0 0 0 0 0 0 0 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20835] ppid=20833 vsize=69284 memory=47172 CPUtime=0.07 cores=5,7
/proc/20835/stat : 20835 (pbsuma) R 20833 20833 20370 0 -1 4194304 14018 0 0 0 5 2 0 0 20 0 1 0 33083451 70946816 12149 18446744073709551615 4210688 4653049 140735172790208 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 25735168 140735172794595 140735172794930 140735172794930 140735172800495 0
/proc/20835/statm: 17321 11793 992 108 0 14729 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 73476 KiB
Current children cumulated memory: 50244 KiB
[startup+0.205642 s]*
/proc/loadavg: 4.08 4.08 4.03 5/271 20836
/proc/meminfo: memFree=124993048/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=65748 memory=20704 CPUtime=0.05 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 2863 0 0 0 4 1 0 0 20 0 1 0 33083465 67325952 5176 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 16437 5176 2016 1147 0 3864 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 69940 KiB
Current children cumulated memory: 23776 KiB
[startup+0.305526 s]*
/proc/loadavg: 4.08 4.08 4.03 5/271 20836
/proc/meminfo: memFree=124993080/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=93116 memory=43064 CPUtime=0.15 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 8263 0 0 0 12 3 0 0 20 0 1 0 33083465 95350784 10766 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 23279 10766 2272 1147 0 10706 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 97308 KiB
Current children cumulated memory: 46136 KiB
[startup+0.700159 s]
/proc/loadavg: 4.08 4.08 4.03 5/271 20836
/proc/meminfo: memFree=124972980/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=123068 memory=70964 CPUtime=0.54 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 14604 0 0 0 49 5 0 0 20 0 1 0 33083465 126021632 17741 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 30767 17741 2304 1147 0 18194 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 127260 KiB
Current children cumulated memory: 74036 KiB
[startup+1.50016 s]
/proc/loadavg: 4.08 4.08 4.03 5/271 20836
/proc/meminfo: memFree=124970968/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=123068 memory=70964 CPUtime=1.34 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 14604 0 0 0 129 5 0 0 20 0 1 0 33083465 126021632 17741 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 30767 17741 2304 1147 0 18194 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 127260 KiB
Current children cumulated memory: 74036 KiB
[startup+3.10537 s]
/proc/loadavg: 4.07 4.08 4.02 5/271 20836
/proc/meminfo: memFree=124955204/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=124996 memory=73396 CPUtime=2.93 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 15201 0 0 0 288 5 0 0 20 0 1 0 33083465 127995904 18349 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 31249 18349 2304 1147 0 18676 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 129188 KiB
Current children cumulated memory: 76468 KiB
[startup+6.30014 s]
/proc/loadavg: 4.07 4.08 4.02 5/271 20836
/proc/meminfo: memFree=124908400/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=129300 memory=81240 CPUtime=6.13 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 16622 0 0 0 594 19 0 0 20 0 1 0 33083465 132403200 20310 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 32325 20310 2336 1147 0 19752 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 133492 KiB
Current children cumulated memory: 84312 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.09 4.03 5/271 20836
/proc/meminfo: memFree=124848572/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=140160 memory=91520 CPUtime=12.51 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 18684 0 0 0 1216 35 0 0 20 0 1 0 33083465 143523840 22880 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 35040 22880 2336 1147 0 22467 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 144352 KiB
Current children cumulated memory: 94592 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.03 5/271 20836
/proc/meminfo: memFree=124715688/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=158896 memory=109976 CPUtime=25.28 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 22780 0 0 0 2459 69 0 0 20 0 1 0 33083465 162709504 27494 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 39724 27494 2336 1147 0 27151 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 163088 KiB
Current children cumulated memory: 113048 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.10 4.03 5/272 20838
/proc/meminfo: memFree=124420556/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=192100 memory=133260 CPUtime=50.82 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 27643 0 0 0 4943 139 0 0 20 0 1 0 33083465 196710400 33315 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 48025 33315 2336 1147 0 35452 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 196292 KiB
Current children cumulated memory: 136332 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.13 4.04 5/271 20840
/proc/meminfo: memFree=124013436/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=247948 memory=183064 CPUtime=101.82 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 37643 0 0 0 9932 250 0 0 20 0 1 0 33083465 253898752 45766 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 61987 45766 2336 1147 0 49414 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 252140 KiB
Current children cumulated memory: 186136 KiB
[startup+162.3 s]
/proc/loadavg: 4.29 4.18 4.07 5/272 20843
/proc/meminfo: memFree=123510264/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=299436 memory=225000 CPUtime=159.76 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 43004 0 0 0 15577 399 0 0 20 0 1 0 33083465 306622464 56250 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 74859 56250 2336 1147 0 62286 0
Current children cumulated CPU time: 159.86 s
Current children cumulated vsize: 303628 KiB
Current children cumulated memory: 228072 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.17 4.07 5/272 20845
/proc/meminfo: memFree=123026424/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=311560 memory=236904 CPUtime=219.32 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 45955 0 0 0 21435 497 0 0 20 0 1 0 33083465 319037440 59226 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 77890 59226 2368 1147 0 65317 0
################
# More data... #
################
/proc/20836/statm: 369546 296949 2368 1147 0 356973 0
Current children cumulated CPU time: 3095.33 s
Current children cumulated vsize: 1482376 KiB
Current children cumulated memory: 1190868 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 21061
/proc/meminfo: memFree=107094816/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=1488856 memory=1196756 CPUtime=3155.05 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 130468 0 0 0 311852 3653 0 0 20 0 1 0 33083465 1524588544 299189 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 372214 299189 2368 1147 0 359641 0
Current children cumulated CPU time: 3155.15 s
Current children cumulated vsize: 1493048 KiB
Current children cumulated memory: 1199828 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/271 21064
/proc/meminfo: memFree=106819896/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=1489064 memory=1196756 CPUtime=3214.91 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 130471 0 0 0 317822 3669 0 0 20 0 1 0 33083465 1524801536 299189 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 372266 299189 2368 1147 0 359693 0
Current children cumulated CPU time: 3215.01 s
Current children cumulated vsize: 1493256 KiB
Current children cumulated memory: 1199828 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/269 21067
/proc/meminfo: memFree=106575424/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=1491556 memory=1199060 CPUtime=3274.75 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 131049 0 0 0 323796 3679 0 0 20 0 1 0 33083465 1527353344 299765 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 372889 299765 2368 1147 0 360316 0
Current children cumulated CPU time: 3274.85 s
Current children cumulated vsize: 1495748 KiB
Current children cumulated memory: 1202132 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 21074
/proc/meminfo: memFree=106096360/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=1536112 memory=1244116 CPUtime=3334.57 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 142354 0 0 0 329734 3723 0 0 20 0 1 0 33083465 1572978688 311029 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 384028 311029 2368 1147 0 371455 0
Current children cumulated CPU time: 3334.67 s
Current children cumulated vsize: 1540304 KiB
Current children cumulated memory: 1247188 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 21079
/proc/meminfo: memFree=105780696/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=1545136 memory=1252596 CPUtime=3391.56 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 143486 0 0 0 335394 3762 0 0 20 0 1 0 33083465 1582219264 313149 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 386284 313149 2368 1147 0 373711 0
Current children cumulated CPU time: 3391.66 s
Current children cumulated vsize: 1549328 KiB
Current children cumulated memory: 1255668 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/271 21081
/proc/meminfo: memFree=105496660/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=1545136 memory=1252596 CPUtime=3451.37 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 143486 0 0 0 341358 3779 0 0 20 0 1 0 33083465 1582219264 313149 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 386284 313149 2368 1147 0 373711 0
Current children cumulated CPU time: 3451.47 s
Current children cumulated vsize: 1549328 KiB
Current children cumulated memory: 1255668 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 21083
/proc/meminfo: memFree=105065912/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=1545660 memory=1253620 CPUtime=3510.98 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 143757 0 0 0 347232 3866 0 0 20 0 1 0 33083465 1582755840 313405 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 386415 313405 2368 1147 0 373842 0
Current children cumulated CPU time: 3511.08 s
Current children cumulated vsize: 1549852 KiB
Current children cumulated memory: 1256692 KiB
[startup+3642.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 21085
/proc/meminfo: memFree=104659804/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=1545660 memory=1253620 CPUtime=3570.27 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 143758 0 0 0 353100 3927 0 0 20 0 1 0 33083465 1582755840 313405 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 386415 313405 2368 1147 0 373842 0
Current children cumulated CPU time: 3570.37 s
Current children cumulated vsize: 1549852 KiB
Current children cumulated memory: 1256692 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3672.11 s]
/proc/loadavg: 4.13 4.10 4.09 6/269 21180
/proc/meminfo: memFree=118258060/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=1546668 memory=1254388 CPUtime=3599.99 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 143951 0 0 0 356042 3957 0 0 20 0 1 0 33083465 1583788032 313597 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 386667 313597 2368 1147 0 374094 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1550860 KiB
Current children cumulated memory: 1257460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3672.11 s]
# the end of solver process 20833 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.085501 s, system=0.029539 s
[startup+3672.17 s]
# the end of solver process 20836 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3560.53 s, system=39.6141 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3672.11 s]
/proc/loadavg: 4.13 4.10 4.09 6/269 21180
/proc/meminfo: memFree=118258060/131249996 swapFree=33010684/33010684
[pid=20833] ppid=20830 vsize=4192 memory=3072 CPUtime=0.1 cores=5,7
/proc/20833/stat : 20833 (run-dec-break-l) S 20830 20833 20370 0 -1 4194304 245 14198 0 0 0 0 8 2 20 0 1 0 33083450 4292608 768 18446744073709551615 94225991012352 94225991906885 140725743158592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94225992145936 94225992193680 94226007052288 140725743163669 140725743163870 140725743163870 140725743169472 0
/proc/20833/statm: 1048 768 704 219 0 110 0
[pid=20836] ppid=20833 vsize=1546668 memory=1254388 CPUtime=3599.99 cores=5,7
/proc/20836/stat : 20836 (roundingsat) R 20833 20833 20370 0 -1 4194304 143951 0 0 0 356042 3957 0 0 20 0 1 0 33083465 1583788032 313597 18446744073709551615 4227072 8923433 140732472052272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30425088 140732472056052 140732472056360 140732472056360 140732472061930 0
/proc/20836/statm: 386667 313597 2368 1147 0 374094 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1550860 KiB
Current children cumulated memory: 1257460 KiB
Child status: 2
Real time (s): 3672.17
CPU time (s): 3600.14
CPU user time (s): 3560.53
CPU system time (s): 39.6141
CPU usage (%): 98.0386
Max. virtual memory (cumulated for all children) (KiB): 1550860
Max. memory (cumulated for all children) (KiB): 1257460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.53
system time used= 39.6141
maximum resident set size= 1254772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158416
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10443928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 891
involuntary context switches= 4467
# summary of solver processes directly reported to runsolver:
# pid: 20833,20836
# total CPU time (s): 3600.14
# total CPU user time (s): 3560.53
# total CPU system time (s): 39.6141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87965 second user time and 15.9904 second system time
The end
Begin job on nodeC015 at 2025-06-29 07:14:20
IDJOB=4507161
IDBENCH=158327
IDSOLVER=3358
FILE ID=nodeC015/4507161-1751174060
RUNJOBID= nodeC015-1751170426-20383
SLURM_JOB_ID= 9587528
Free space on /tmp= 432984 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K194.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507161-1751174060/watcher-4507161-1751174060 -o /tmp/evaluation-result-4507161-1751174060/solver-4507161-1751174060 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20383 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507161-1751174060.opb PROOFDIR/proof-4507161-1751174060
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7d29d77727f08087434452962a118642
RANDOM SEED=2091039403
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.077
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.037
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3545.399
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3627.028
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.994
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.078
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.917
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.072
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125040204 kB
MemAvailable: 128818068 kB
Buffers: 3280 kB
Cached: 4583940 kB
SwapCached: 0 kB
Active: 1270488 kB
Inactive: 4364584 kB
Active(anon): 1066304 kB
Inactive(anon): 0 kB
Active(file): 204184 kB
Inactive(file): 4364584 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 143188 kB
Writeback: 0 kB
AnonPages: 1049852 kB
Mapped: 116040 kB
Shmem: 18076 kB
KReclaimable: 96672 kB
Slab: 185440 kB
SReclaimable: 96672 kB
SUnreclaim: 88768 kB
KernelStack: 4352 kB
PageTables: 5216 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1498496 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 761856 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC015 at 2025-06-29 08:15:32