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-4507521-1751177722.opb'
0.00/0.01 c read 0.35MB (4.89ms)
0.00/0.01 c [cnf: #variables 5508 #clauses 5672 #duplicates 0 #arr 35326]
0.00/0.01 c output proof to 'PROOFDIR/proof-4507521-1751177722'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 972] (6.42ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c (1.17ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 27704 #edges 103700]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 3.84*10^2 #generators 7] (5.70ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c (0.02ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c add generic predicates (break_depth=10)
0.00/0.03 c added predicates for 7 generators (0.03ms)
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 196 #add_vars 63]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4507521-1751177722.opb.pre'
0.00/0.03 c wrote 0.36MB (0.95ms)
0.00/0.03 c ------------------------------------------------------------------
0.00/0.03 c 6.42ms 28.86% approx_orbits
0.00/0.03 c 5.70ms 25.60% detect_generic
0.00/0.03 c 4.89ms 21.97% parse
0.00/0.03 c 2.87ms 12.92% other
0.00/0.03 c 1.17ms 5.24% detect_special
0.00/0.03 c 0.95ms 4.29% output
0.00/0.03 c 0.20ms 0.89% finalize_order
0.00/0.03 c 0.03ms 0.15% break_generic
0.00/0.03 c 0.02ms 0.08% optimize_gens
0.00/0.03 c ───────────────────────────────────────────────
0.00/0.03 c 22.24ms 100% total
0.00/0.03 c ------------------------------------------------------------------
0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.09 c #variables 5571 #constraints 5854
47.36/47.78 c #Conflicts: 1000 | #Constraints: 6853
47.36/47.78 c #Conflicts: 2000 | #Constraints: 7853
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 3000 | #Constraints: 7478
47.36/47.78 c #Conflicts: 4000 | #Constraints: 8478
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 5000 | #Constraints: 7907
47.36/47.78 c #Conflicts: 6000 | #Constraints: 8907
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 7000 | #Constraints: 7945
47.36/47.78 c #Conflicts: 8000 | #Constraints: 8945
47.36/47.78 c #Conflicts: 9000 | #Constraints: 9945
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 10000 | #Constraints: 8688
47.36/47.78 c #Conflicts: 11000 | #Constraints: 9688
47.36/47.78 c #Conflicts: 12000 | #Constraints: 10688
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 13000 | #Constraints: 9180
47.36/47.78 c #Conflicts: 14000 | #Constraints: 10180
47.36/47.78 c #Conflicts: 15000 | #Constraints: 11180
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 16000 | #Constraints: 9419
47.36/47.78 c #Conflicts: 17000 | #Constraints: 10419
47.36/47.78 c #Conflicts: 18000 | #Constraints: 11419
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 19000 | #Constraints: 9486
47.36/47.78 c #Conflicts: 20000 | #Constraints: 10486
47.36/47.78 c #Conflicts: 21000 | #Constraints: 11486
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 22000 | #Constraints: 9291
47.36/47.78 c #Conflicts: 23000 | #Constraints: 10291
47.36/47.78 c #Conflicts: 24000 | #Constraints: 11291
47.36/47.78 c #Conflicts: 25000 | #Constraints: 12291
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 26000 | #Constraints: 9910
47.36/47.78 c #Conflicts: 27000 | #Constraints: 10910
47.36/47.78 c #Conflicts: 28000 | #Constraints: 11910
47.36/47.78 c #Conflicts: 29000 | #Constraints: 12910
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 30000 | #Constraints: 10335
47.36/47.78 c #Conflicts: 31000 | #Constraints: 11335
47.36/47.78 c #Conflicts: 32000 | #Constraints: 12335
47.36/47.78 c #Conflicts: 33000 | #Constraints: 13335
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 34000 | #Constraints: 10534
47.36/47.78 c #Conflicts: 35000 | #Constraints: 11534
47.36/47.78 c #Conflicts: 36000 | #Constraints: 12534
47.36/47.78 c #Conflicts: 37000 | #Constraints: 13534
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 38000 | #Constraints: 10549
47.36/47.78 c #Conflicts: 39000 | #Constraints: 11549
47.36/47.78 c #Conflicts: 40000 | #Constraints: 12549
47.36/47.78 c #Conflicts: 41000 | #Constraints: 13549
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 42000 | #Constraints: 10400
47.36/47.78 c #Conflicts: 43000 | #Constraints: 11400
47.36/47.78 c #Conflicts: 44000 | #Constraints: 12400
47.36/47.78 c #Conflicts: 45000 | #Constraints: 13400
47.36/47.78 c #Conflicts: 46000 | #Constraints: 14400
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 47000 | #Constraints: 11003
47.36/47.78 c #Conflicts: 48000 | #Constraints: 12003
47.36/47.78 c #Conflicts: 49000 | #Constraints: 13003
47.36/47.78 c #Conflicts: 50000 | #Constraints: 14003
47.36/47.78 c #Conflicts: 51000 | #Constraints: 15003
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 52000 | #Constraints: 11403
47.36/47.78 c #Conflicts: 53000 | #Constraints: 12403
47.36/47.78 c #Conflicts: 54000 | #Constraints: 13403
47.36/47.78 c #Conflicts: 55000 | #Constraints: 14403
47.36/47.78 c #Conflicts: 56000 | #Constraints: 15403
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 57000 | #Constraints: 11609
47.36/47.78 c #Conflicts: 58000 | #Constraints: 12609
47.36/47.78 c #Conflicts: 59000 | #Constraints: 13609
47.36/47.78 c #Conflicts: 60000 | #Constraints: 14609
47.36/47.78 c #Conflicts: 61000 | #Constraints: 15609
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 62000 | #Constraints: 11618
47.36/47.78 c #Conflicts: 63000 | #Constraints: 12618
47.36/47.78 c #Conflicts: 64000 | #Constraints: 13618
47.36/47.78 c #Conflicts: 65000 | #Constraints: 14618
47.36/47.78 c #Conflicts: 66000 | #Constraints: 15618
47.36/47.78 c INPROCESSING
47.36/47.78 c GARBAGE COLLECT
47.36/47.78 c #Conflicts: 67000 | #Constraints: 11456
47.36/47.78 c #Conflicts: 68000 | #Constraints: 12456
113.50/114.56 c #Conflicts: 69000 | #Constraints: 13456
113.50/114.56 c #Conflicts: 70000 | #Constraints: 14456
113.50/114.56 c #Conflicts: 71000 | #Constraints: 15456
113.50/114.56 c #Conflicts: 72000 | #Constraints: 16456
113.50/114.56 c INPROCESSING
113.50/114.56 c GARBAGE COLLECT
113.50/114.56 c #Conflicts: 73000 | #Constraints: 12050
113.50/114.56 c #Conflicts: 74000 | #Constraints: 13050
113.50/114.56 c #Conflicts: 75000 | #Constraints: 14050
113.50/114.56 c #Conflicts: 76000 | #Constraints: 15050
113.50/114.56 c #Conflicts: 77000 | #Constraints: 16050
113.50/114.56 c #Conflicts: 78000 | #Constraints: 17050
113.50/114.56 c INPROCESSING
113.50/114.56 c GARBAGE COLLECT
113.50/114.56 c #Conflicts: 79000 | #Constraints: 12474
113.50/114.56 c #Conflicts: 80000 | #Constraints: 13474
113.50/114.56 c #Conflicts: 81000 | #Constraints: 14474
113.50/114.56 c #Conflicts: 82000 | #Constraints: 15474
113.50/114.56 c #Conflicts: 83000 | #Constraints: 16474
113.50/114.56 c #Conflicts: 84000 | #Constraints: 17474
113.50/114.56 c INPROCESSING
113.50/114.56 c GARBAGE COLLECT
113.50/114.56 c #Conflicts: 85000 | #Constraints: 12684
113.50/114.56 c #Conflicts: 86000 | #Constraints: 13684
113.50/114.56 c #Conflicts: 87000 | #Constraints: 14684
113.50/114.56 c #Conflicts: 88000 | #Constraints: 15684
113.50/114.56 c #Conflicts: 89000 | #Constraints: 16684
113.50/114.56 c #Conflicts: 90000 | #Constraints: 17684
113.50/114.56 c #Conflicts: 91000 | #Constraints: 18684
113.50/114.56 c #Conflicts: 92000 | #Constraints: 19684
113.50/114.56 c #Conflicts: 93000 | #Constraints: 20684
113.50/114.56 c #Conflicts: 94000 | #Constraints: 21684
113.50/114.56 c #Conflicts: 95000 | #Constraints: 22684
113.50/114.56 c #Conflicts: 96000 | #Constraints: 23684
113.50/114.56 c #Conflicts: 97000 | #Constraints: 24684
113.50/114.56 c #Conflicts: 98000 | #Constraints: 25684
113.50/114.56 c #Conflicts: 99000 | #Constraints: 26684
113.50/114.56 c #Conflicts: 100000 | #Constraints: 27684
113.50/114.56 c #Conflicts: 101000 | #Constraints: 28685
113.50/114.56 c #Conflicts: 102000 | #Constraints: 29685
113.50/114.56 c #Conflicts: 103000 | #Constraints: 30685
113.50/114.56 c #Conflicts: 104000 | #Constraints: 31685
113.50/114.56 c #Conflicts: 105000 | #Constraints: 32685
113.50/114.56 c #Conflicts: 106000 | #Constraints: 33685
113.50/114.56 c #Conflicts: 107000 | #Constraints: 34685
113.50/114.56 c #Conflicts: 108000 | #Constraints: 35685
113.50/114.56 c #Conflicts: 109000 | #Constraints: 36685
113.50/114.56 c #Conflicts: 110000 | #Constraints: 37685
113.50/114.56 c INPROCESSING
113.50/114.56 c GARBAGE COLLECT
113.50/114.56 c #Conflicts: 111000 | #Constraints: 22826
113.50/114.56 c #Conflicts: 112000 | #Constraints: 23826
113.50/114.56 c #Conflicts: 113000 | #Constraints: 24826
113.50/114.56 c #Conflicts: 114000 | #Constraints: 25826
113.50/114.56 c #Conflicts: 115000 | #Constraints: 26826
113.50/114.56 c #Conflicts: 116000 | #Constraints: 27826
113.50/114.56 c #Conflicts: 117000 | #Constraints: 28826
113.50/114.56 c INPROCESSING
113.50/114.56 c GARBAGE COLLECT
113.50/114.56 c #Conflicts: 118000 | #Constraints: 18257
113.50/114.56 c #Conflicts: 119000 | #Constraints: 19257
113.50/114.56 c #Conflicts: 120000 | #Constraints: 20257
113.50/114.56 c #Conflicts: 121000 | #Constraints: 21257
113.50/114.56 c #Conflicts: 122000 | #Constraints: 22257
113.50/114.56 c #Conflicts: 123000 | #Constraints: 23257
113.50/114.56 c #Conflicts: 124000 | #Constraints: 24257
113.50/114.56 c INPROCESSING
113.50/114.56 c GARBAGE COLLECT
113.50/114.56 c #Conflicts: 125000 | #Constraints: 15746
113.50/114.56 c #Conflicts: 126000 | #Constraints: 16746
113.50/114.56 c #Conflicts: 127000 | #Constraints: 17746
113.50/114.56 c #Conflicts: 128000 | #Constraints: 18746
113.50/114.56 c #Conflicts: 129000 | #Constraints: 19746
113.50/114.56 c #Conflicts: 130000 | #Constraints: 20746
113.50/114.56 c #Conflicts: 131000 | #Constraints: 21746
113.50/114.56 c #Conflicts: 132000 | #Constraints: 22746
113.50/114.56 c INPROCESSING
113.50/114.56 c GARBAGE COLLECT
113.50/114.56 c #Conflicts: 133000 | #Constraints: 15124
113.50/114.56 c #Conflicts: 134000 | #Constraints: 16124
113.50/114.56 c #Conflicts: 135000 | #Constraints: 17124
113.50/114.56 c #Conflicts: 136000 | #Constraints: 18124
113.50/114.56 c #Conflicts: 137000 | #Constraints: 19124
113.50/114.56 c #Conflicts: 138000 | #Constraints: 20124
113.50/114.56 c #Conflicts: 139000 | #Constraints: 21124
113.50/114.56 c #Conflicts: 140000 | #Constraints: 22124
113.50/114.56 c INPROCESSING
113.50/114.56 c GARBAGE COLLECT
113.50/114.56 c #Conflicts: 141000 | #Constraints: 14861
113.50/114.56 c #Conflicts: 142000 | #Constraints: 15861
204.97/206.81 c #Conflicts: 143000 | #Constraints: 16861
204.97/206.81 c #Conflicts: 144000 | #Constraints: 17861
204.97/206.81 c #Conflicts: 145000 | #Constraints: 18861
204.97/206.81 c #Conflicts: 146000 | #Constraints: 19861
204.97/206.81 c #Conflicts: 147000 | #Constraints: 20861
204.97/206.81 c #Conflicts: 148000 | #Constraints: 21861
204.97/206.81 c INPROCESSING
204.97/206.81 c GARBAGE COLLECT
204.97/206.81 c #Conflicts: 149000 | #Constraints: 14708
204.97/206.81 c #Conflicts: 150000 | #Constraints: 15708
204.97/206.81 c #Conflicts: 151000 | #Constraints: 16708
204.97/206.81 c #Conflicts: 152000 | #Constraints: 17708
204.97/206.81 c #Conflicts: 153000 | #Constraints: 18708
204.97/206.81 c #Conflicts: 154000 | #Constraints: 19708
204.97/206.81 c #Conflicts: 155000 | #Constraints: 20708
204.97/206.81 c #Conflicts: 156000 | #Constraints: 21708
204.97/206.81 c INPROCESSING
204.97/206.81 c GARBAGE COLLECT
204.97/206.81 c #Conflicts: 157000 | #Constraints: 14444
204.97/206.81 c #Conflicts: 158000 | #Constraints: 15444
204.97/206.81 c #Conflicts: 159000 | #Constraints: 16444
204.97/206.81 c #Conflicts: 160000 | #Constraints: 17444
204.97/206.81 c #Conflicts: 161000 | #Constraints: 18444
204.97/206.81 c #Conflicts: 162000 | #Constraints: 19444
204.97/206.81 c #Conflicts: 163000 | #Constraints: 20444
204.97/206.81 c #Conflicts: 164000 | #Constraints: 21444
204.97/206.81 c #Conflicts: 165000 | #Constraints: 22444
204.97/206.81 c #Conflicts: 166000 | #Constraints: 23444
204.97/206.81 c #Conflicts: 167000 | #Constraints: 24444
204.97/206.81 c #Conflicts: 168000 | #Constraints: 25444
204.97/206.81 c #Conflicts: 169000 | #Constraints: 26444
204.97/206.81 c #Conflicts: 170000 | #Constraints: 27444
204.97/206.81 c #Conflicts: 171000 | #Constraints: 28444
204.97/206.81 c #Conflicts: 172000 | #Constraints: 29444
204.97/206.81 c #Conflicts: 173000 | #Constraints: 30444
204.97/206.81 c #Conflicts: 174000 | #Constraints: 31444
204.97/206.81 c #Conflicts: 175000 | #Constraints: 32444
204.97/206.81 c #Conflicts: 176000 | #Constraints: 33444
204.97/206.81 c #Conflicts: 177000 | #Constraints: 34444
204.97/206.81 c #Conflicts: 178000 | #Constraints: 35444
204.97/206.81 c #Conflicts: 179000 | #Constraints: 36444
204.97/206.81 c #Conflicts: 180000 | #Constraints: 37444
204.97/206.81 c #Conflicts: 181000 | #Constraints: 38444
204.97/206.81 c #Conflicts: 182000 | #Constraints: 39444
204.97/206.81 c #Conflicts: 183000 | #Constraints: 40444
204.97/206.81 c #Conflicts: 184000 | #Constraints: 41444
204.97/206.81 c #Conflicts: 185000 | #Constraints: 42444
204.97/206.81 c #Conflicts: 186000 | #Constraints: 43444
204.97/206.81 c #Conflicts: 187000 | #Constraints: 44444
204.97/206.81 c #Conflicts: 188000 | #Constraints: 45444
204.97/206.81 c #Conflicts: 189000 | #Constraints: 46444
204.97/206.81 c #Conflicts: 190000 | #Constraints: 47444
204.97/206.81 c #Conflicts: 191000 | #Constraints: 48444
204.97/206.81 c INPROCESSING
204.97/206.81 c GARBAGE COLLECT
204.97/206.81 c #Conflicts: 192000 | #Constraints: 28105
204.97/206.81 c #Conflicts: 193000 | #Constraints: 29105
204.97/206.81 c #Conflicts: 194000 | #Constraints: 30105
204.97/206.81 c #Conflicts: 195000 | #Constraints: 31105
204.97/206.81 c #Conflicts: 196000 | #Constraints: 32105
204.97/206.81 c #Conflicts: 197000 | #Constraints: 33105
204.97/206.81 c #Conflicts: 198000 | #Constraints: 34105
204.97/206.81 c #Conflicts: 199000 | #Constraints: 35105
204.97/206.81 c #Conflicts: 200000 | #Constraints: 36105
204.97/206.81 c #Conflicts: 201000 | #Constraints: 37105
204.97/206.81 c INPROCESSING
204.97/206.81 c GARBAGE COLLECT
204.97/206.81 c #Conflicts: 202000 | #Constraints: 22593
204.97/206.81 c #Conflicts: 203000 | #Constraints: 23593
204.97/206.81 c #Conflicts: 204000 | #Constraints: 24593
204.97/206.81 c #Conflicts: 205000 | #Constraints: 25593
204.97/206.81 c #Conflicts: 206000 | #Constraints: 26593
204.97/206.81 c #Conflicts: 207000 | #Constraints: 27593
204.97/206.81 c #Conflicts: 208000 | #Constraints: 28593
204.97/206.81 c #Conflicts: 209000 | #Constraints: 29593
204.97/206.81 c #Conflicts: 210000 | #Constraints: 30593
204.97/206.81 c INPROCESSING
204.97/206.81 c GARBAGE COLLECT
204.97/206.81 c rational objective 85.8305
308.11/311.78 c #Conflicts: 211000 | #Constraints: 18960
308.11/311.78 c #Conflicts: 212000 | #Constraints: 19960
308.11/311.78 c #Conflicts: 213000 | #Constraints: 20960
308.11/311.78 c #Conflicts: 214000 | #Constraints: 21960
308.11/311.78 c #Conflicts: 215000 | #Constraints: 22960
308.11/311.78 c #Conflicts: 216000 | #Constraints: 23960
308.11/311.78 c #Conflicts: 217000 | #Constraints: 24960
308.11/311.78 c #Conflicts: 218000 | #Constraints: 25960
308.11/311.78 c #Conflicts: 219000 | #Constraints: 26960
308.11/311.78 c #Conflicts: 220000 | #Constraints: 27960
308.11/311.78 c INPROCESSING
308.11/311.78 c GARBAGE COLLECT
308.11/311.78 c #Conflicts: 221000 | #Constraints: 17574
308.11/311.78 c #Conflicts: 222000 | #Constraints: 18574
308.11/311.78 c #Conflicts: 223000 | #Constraints: 19574
308.11/311.78 c #Conflicts: 224000 | #Constraints: 20574
308.11/311.78 c #Conflicts: 225000 | #Constraints: 21574
308.11/311.78 c #Conflicts: 226000 | #Constraints: 22574
308.11/311.78 c #Conflicts: 227000 | #Constraints: 23574
308.11/311.78 c #Conflicts: 228000 | #Constraints: 24574
308.11/311.78 c #Conflicts: 229000 | #Constraints: 25574
308.11/311.78 c #Conflicts: 230000 | #Constraints: 26574
308.11/311.78 c #Conflicts: 231000 | #Constraints: 27574
308.11/311.78 c INPROCESSING
308.11/311.78 c GARBAGE COLLECT
308.11/311.78 c #Conflicts: 232000 | #Constraints: 17848
308.11/311.78 c #Conflicts: 233000 | #Constraints: 18848
308.11/311.78 c #Conflicts: 234000 | #Constraints: 19848
308.11/311.78 c #Conflicts: 235000 | #Constraints: 20848
308.11/311.78 c #Conflicts: 236000 | #Constraints: 21848
308.11/311.78 c #Conflicts: 237000 | #Constraints: 22848
308.11/311.78 c #Conflicts: 238000 | #Constraints: 23848
308.11/311.78 c #Conflicts: 239000 | #Constraints: 24848
308.11/311.78 c #Conflicts: 240000 | #Constraints: 25848
308.11/311.78 c #Conflicts: 241000 | #Constraints: 26848
308.11/311.78 c INPROCESSING
308.11/311.78 c GARBAGE COLLECT
308.11/311.78 c #Conflicts: 242000 | #Constraints: 17237
308.11/311.78 c #Conflicts: 243000 | #Constraints: 18237
308.11/311.78 c #Conflicts: 244000 | #Constraints: 19237
308.11/311.78 c #Conflicts: 245000 | #Constraints: 20237
308.11/311.78 c #Conflicts: 246000 | #Constraints: 21237
308.11/311.78 c #Conflicts: 247000 | #Constraints: 22237
308.11/311.78 c #Conflicts: 248000 | #Constraints: 23237
308.11/311.78 c #Conflicts: 249000 | #Constraints: 24237
308.11/311.78 c #Conflicts: 250000 | #Constraints: 25237
308.11/311.78 c #Conflicts: 251000 | #Constraints: 26237
308.11/311.78 c #Conflicts: 252000 | #Constraints: 27237
308.11/311.78 c #Conflicts: 253000 | #Constraints: 28237
308.11/311.78 c #Conflicts: 254000 | #Constraints: 29237
308.11/311.78 c #Conflicts: 255000 | #Constraints: 30237
308.11/311.78 c #Conflicts: 256000 | #Constraints: 31237
308.11/311.78 c #Conflicts: 257000 | #Constraints: 32237
308.11/311.78 c #Conflicts: 258000 | #Constraints: 33237
308.11/311.78 c #Conflicts: 259000 | #Constraints: 34237
308.11/311.78 c #Conflicts: 260000 | #Constraints: 35237
308.11/311.78 c #Conflicts: 261000 | #Constraints: 36237
308.11/311.78 c #Conflicts: 262000 | #Constraints: 37237
308.11/311.78 c #Conflicts: 263000 | #Constraints: 38237
308.11/311.78 c #Conflicts: 264000 | #Constraints: 39237
308.11/311.78 c #Conflicts: 265000 | #Constraints: 40237
308.11/311.78 c #Conflicts: 266000 | #Constraints: 41237
308.11/311.78 c #Conflicts: 267000 | #Constraints: 42237
308.11/311.78 c #Conflicts: 268000 | #Constraints: 43237
308.11/311.78 c #Conflicts: 269000 | #Constraints: 44237
308.11/311.78 c #Conflicts: 270000 | #Constraints: 45237
308.11/311.78 c #Conflicts: 271000 | #Constraints: 46237
308.11/311.78 c #Conflicts: 272000 | #Constraints: 47237
308.11/311.78 c #Conflicts: 273000 | #Constraints: 48237
308.11/311.78 c #Conflicts: 274000 | #Constraints: 49237
308.11/311.78 c #Conflicts: 275000 | #Constraints: 50237
308.11/311.78 c #Conflicts: 276000 | #Constraints: 51237
308.11/311.78 c #Conflicts: 277000 | #Constraints: 52237
308.11/311.78 c #Conflicts: 278000 | #Constraints: 53237
308.11/311.78 c #Conflicts: 279000 | #Constraints: 54237
308.11/311.78 c #Conflicts: 280000 | #Constraints: 55237
308.11/311.78 c #Conflicts: 281000 | #Constraints: 56237
308.11/311.78 c #Conflicts: 282000 | #Constraints: 57237
308.11/311.78 c #Conflicts: 283000 | #Constraints: 58237
308.11/311.78 c INPROCESSING
308.11/311.78 c GARBAGE COLLECT
308.11/311.78 c #Conflicts: 284000 | #Constraints: 32917
308.11/311.78 c #Conflicts: 285000 | #Constraints: 33917
308.11/311.78 c #Conflicts: 286000 | #Constraints: 34917
308.11/311.78 c #Conflicts: 287000 | #Constraints: 35917
395.03/399.07 c #Conflicts: 288000 | #Constraints: 36917
395.03/399.07 c #Conflicts: 289000 | #Constraints: 37917
395.03/399.07 c #Conflicts: 290000 | #Constraints: 38917
395.03/399.07 c #Conflicts: 291000 | #Constraints: 39917
395.03/399.07 c #Conflicts: 292000 | #Constraints: 40917
395.03/399.07 c #Conflicts: 293000 | #Constraints: 41917
395.03/399.07 c #Conflicts: 294000 | #Constraints: 42917
395.03/399.07 c #Conflicts: 295000 | #Constraints: 43917
395.03/399.07 c INPROCESSING
395.03/399.07 c GARBAGE COLLECT
395.03/399.07 c #Conflicts: 296000 | #Constraints: 25957
395.03/399.07 c #Conflicts: 297000 | #Constraints: 26957
395.03/399.07 c #Conflicts: 298000 | #Constraints: 27957
395.03/399.07 c #Conflicts: 299000 | #Constraints: 28957
395.03/399.07 c #Conflicts: 300000 | #Constraints: 29957
395.03/399.07 c #Conflicts: 301000 | #Constraints: 30957
395.03/399.07 c #Conflicts: 302000 | #Constraints: 31957
395.03/399.07 c #Conflicts: 303000 | #Constraints: 32957
395.03/399.07 c #Conflicts: 304000 | #Constraints: 33957
395.03/399.07 c #Conflicts: 305000 | #Constraints: 34957
395.03/399.07 c #Conflicts: 306000 | #Constraints: 35957
395.03/399.07 c #Conflicts: 307000 | #Constraints: 36957
395.03/399.07 c INPROCESSING
395.03/399.07 c GARBAGE COLLECT
395.03/399.07 c #Conflicts: 308000 | #Constraints: 22505
395.03/399.07 c #Conflicts: 309000 | #Constraints: 23505
395.03/399.07 c #Conflicts: 310000 | #Constraints: 24505
395.03/399.07 c #Conflicts: 311000 | #Constraints: 25505
395.03/399.07 c #Conflicts: 312000 | #Constraints: 26505
395.03/399.07 c #Conflicts: 313000 | #Constraints: 27505
395.03/399.07 c #Conflicts: 314000 | #Constraints: 28505
395.03/399.07 c #Conflicts: 315000 | #Constraints: 29505
395.03/399.07 c #Conflicts: 316000 | #Constraints: 30505
395.03/399.07 c #Conflicts: 317000 | #Constraints: 31505
395.03/399.07 c #Conflicts: 318000 | #Constraints: 32505
395.03/399.07 c #Conflicts: 319000 | #Constraints: 33505
395.03/399.07 c INPROCESSING
395.03/399.07 c GARBAGE COLLECT
395.03/399.07 c #Conflicts: 320000 | #Constraints: 20736
395.03/399.07 c #Conflicts: 321000 | #Constraints: 21736
395.03/399.07 c #Conflicts: 322000 | #Constraints: 22736
395.03/399.07 c #Conflicts: 323000 | #Constraints: 23736
395.03/399.07 c #Conflicts: 324000 | #Constraints: 24736
395.03/399.07 c #Conflicts: 325000 | #Constraints: 25736
395.03/399.07 c #Conflicts: 326000 | #Constraints: 26736
395.03/399.07 c #Conflicts: 327000 | #Constraints: 27736
395.03/399.07 c #Conflicts: 328000 | #Constraints: 28736
395.03/399.07 c #Conflicts: 329000 | #Constraints: 29736
395.03/399.07 c #Conflicts: 330000 | #Constraints: 30736
395.03/399.07 c #Conflicts: 331000 | #Constraints: 31736
395.03/399.07 c INPROCESSING
395.03/399.07 c GARBAGE COLLECT
395.03/399.07 c #Conflicts: 332000 | #Constraints: 19739
395.03/399.07 c #Conflicts: 333000 | #Constraints: 20739
395.03/399.07 c #Conflicts: 334000 | #Constraints: 21739
395.03/399.07 c #Conflicts: 335000 | #Constraints: 22739
395.03/399.07 c #Conflicts: 336000 | #Constraints: 23739
395.03/399.07 c #Conflicts: 337000 | #Constraints: 24739
395.03/399.07 c #Conflicts: 338000 | #Constraints: 25739
395.03/399.07 c #Conflicts: 339000 | #Constraints: 26739
395.03/399.07 c #Conflicts: 340000 | #Constraints: 27739
395.03/399.07 c #Conflicts: 341000 | #Constraints: 28739
395.03/399.07 c #Conflicts: 342000 | #Constraints: 29739
395.03/399.07 c #Conflicts: 343000 | #Constraints: 30739
395.03/399.07 c #Conflicts: 344000 | #Constraints: 31739
395.03/399.07 c INPROCESSING
395.03/399.07 c GARBAGE COLLECT
395.03/399.07 c #Conflicts: 345000 | #Constraints: 19975
395.03/399.07 c #Conflicts: 346000 | #Constraints: 20975
395.03/399.07 c #Conflicts: 347000 | #Constraints: 21975
395.03/399.07 c #Conflicts: 348000 | #Constraints: 22975
395.03/399.07 c #Conflicts: 349000 | #Constraints: 23975
395.03/399.07 c #Conflicts: 350000 | #Constraints: 24975
395.03/399.07 c #Conflicts: 351000 | #Constraints: 25975
395.03/399.07 c #Conflicts: 352000 | #Constraints: 26975
395.03/399.07 c #Conflicts: 353000 | #Constraints: 27975
395.03/399.07 c #Conflicts: 354000 | #Constraints: 28975
395.03/399.07 c #Conflicts: 355000 | #Constraints: 29975
395.03/399.07 c #Conflicts: 356000 | #Constraints: 30975
395.03/399.07 c #Conflicts: 357000 | #Constraints: 31975
395.03/399.07 c #Conflicts: 358000 | #Constraints: 32975
395.03/399.07 c #Conflicts: 359000 | #Constraints: 33975
395.03/399.07 c #Conflicts: 360000 | #Constraints: 34975
395.03/399.07 c #Conflicts: 361000 | #Constraints: 35975
395.03/399.07 c #Conflicts: 362000 | #Constraints: 36975
550.32/554.93 c #Conflicts: 363000 | #Constraints: 37975
550.32/554.93 c #Conflicts: 364000 | #Constraints: 38975
550.32/554.93 c #Conflicts: 365000 | #Constraints: 39975
550.32/554.93 c #Conflicts: 366000 | #Constraints: 40975
550.32/554.93 c #Conflicts: 367000 | #Constraints: 41975
550.32/554.93 c #Conflicts: 368000 | #Constraints: 42975
550.32/554.93 c #Conflicts: 369000 | #Constraints: 43975
550.32/554.93 c #Conflicts: 370000 | #Constraints: 44975
550.32/554.93 c #Conflicts: 371000 | #Constraints: 45975
550.32/554.93 c #Conflicts: 372000 | #Constraints: 46975
550.32/554.93 c #Conflicts: 373000 | #Constraints: 47975
550.32/554.93 c #Conflicts: 374000 | #Constraints: 48975
550.32/554.93 c #Conflicts: 375000 | #Constraints: 49975
550.32/554.93 c #Conflicts: 376000 | #Constraints: 50975
550.32/554.93 c #Conflicts: 377000 | #Constraints: 51975
550.32/554.93 c #Conflicts: 378000 | #Constraints: 52975
550.32/554.93 c #Conflicts: 379000 | #Constraints: 53975
550.32/554.93 c #Conflicts: 380000 | #Constraints: 54975
550.32/554.93 c #Conflicts: 381000 | #Constraints: 55975
550.32/554.93 c #Conflicts: 382000 | #Constraints: 56975
550.32/554.93 c #Conflicts: 383000 | #Constraints: 57975
550.32/554.93 c #Conflicts: 384000 | #Constraints: 58975
550.32/554.93 c #Conflicts: 385000 | #Constraints: 59975
550.32/554.93 c #Conflicts: 386000 | #Constraints: 60975
550.32/554.93 c #Conflicts: 387000 | #Constraints: 61975
550.32/554.93 c #Conflicts: 388000 | #Constraints: 62975
550.32/554.93 c #Conflicts: 389000 | #Constraints: 63975
550.32/554.93 c #Conflicts: 390000 | #Constraints: 64975
550.32/554.93 c #Conflicts: 391000 | #Constraints: 65975
550.32/554.93 c #Conflicts: 392000 | #Constraints: 66975
550.32/554.93 c #Conflicts: 393000 | #Constraints: 67975
550.32/554.93 c INPROCESSING
550.32/554.93 c GARBAGE COLLECT
550.32/554.93 c #Conflicts: 394000 | #Constraints: 37726
550.32/554.93 c #Conflicts: 395000 | #Constraints: 38726
550.32/554.93 c #Conflicts: 396000 | #Constraints: 39726
550.32/554.93 c #Conflicts: 397000 | #Constraints: 40726
550.32/554.93 c #Conflicts: 398000 | #Constraints: 41726
550.32/554.93 c #Conflicts: 399000 | #Constraints: 42726
550.32/554.93 c #Conflicts: 400000 | #Constraints: 43726
550.32/554.93 c #Conflicts: 401000 | #Constraints: 44726
550.32/554.93 c #Conflicts: 402000 | #Constraints: 45726
550.32/554.93 c #Conflicts: 403000 | #Constraints: 46726
550.32/554.93 c #Conflicts: 404000 | #Constraints: 47726
550.32/554.93 c #Conflicts: 405000 | #Constraints: 48726
550.32/554.93 c #Conflicts: 406000 | #Constraints: 49726
550.32/554.93 c #Conflicts: 407000 | #Constraints: 50726
550.32/554.93 c INPROCESSING
550.32/554.93 c GARBAGE COLLECT
550.32/554.93 c #Conflicts: 408000 | #Constraints: 29226
550.32/554.93 c #Conflicts: 409000 | #Constraints: 30226
550.32/554.93 c #Conflicts: 410000 | #Constraints: 31226
550.32/554.93 c #Conflicts: 411000 | #Constraints: 32226
550.32/554.93 c #Conflicts: 412000 | #Constraints: 33226
550.32/554.93 c #Conflicts: 413000 | #Constraints: 34226
550.32/554.93 c #Conflicts: 414000 | #Constraints: 35226
550.32/554.93 c #Conflicts: 415000 | #Constraints: 36226
550.32/554.93 c #Conflicts: 416000 | #Constraints: 37226
550.32/554.93 c #Conflicts: 417000 | #Constraints: 38226
550.32/554.93 c #Conflicts: 418000 | #Constraints: 39226
550.32/554.93 c #Conflicts: 419000 | #Constraints: 40226
550.32/554.93 c #Conflicts: 420000 | #Constraints: 41226
550.32/554.93 c #Conflicts: 421000 | #Constraints: 42226
550.32/554.93 c INPROCESSING
550.32/554.93 c GARBAGE COLLECT
550.32/554.93 c #Conflicts: 422000 | #Constraints: 25030
550.32/554.93 c #Conflicts: 423000 | #Constraints: 26030
550.32/554.93 c #Conflicts: 424000 | #Constraints: 27030
550.32/554.93 c #Conflicts: 425000 | #Constraints: 28030
550.32/554.93 c #Conflicts: 426000 | #Constraints: 29030
550.32/554.93 c #Conflicts: 427000 | #Constraints: 30030
550.32/554.93 c #Conflicts: 428000 | #Constraints: 31030
550.32/554.93 c #Conflicts: 429000 | #Constraints: 32030
550.32/554.93 c #Conflicts: 430000 | #Constraints: 33030
550.32/554.93 c #Conflicts: 431000 | #Constraints: 34030
550.32/554.93 c #Conflicts: 432000 | #Constraints: 35030
550.32/554.93 c #Conflicts: 433000 | #Constraints: 36030
550.32/554.93 c #Conflicts: 434000 | #Constraints: 37030
550.32/554.93 c #Conflicts: 435000 | #Constraints: 38030
550.32/554.93 c INPROCESSING
550.32/554.93 c GARBAGE COLLECT
550.32/554.93 c #Conflicts: 436000 | #Constraints: 22833
550.32/554.93 c #Conflicts: 437000 | #Constraints: 23833
550.32/554.93 c #Conflicts: 438000 | #Constraints: 24833
550.32/554.93 c #Conflicts: 439000 | #Constraints: 25833
716.39/722.08 c #Conflicts: 440000 | #Constraints: 26833
716.39/722.08 c #Conflicts: 441000 | #Constraints: 27833
716.39/722.08 c #Conflicts: 442000 | #Constraints: 28833
716.39/722.08 c #Conflicts: 443000 | #Constraints: 29833
716.39/722.08 c #Conflicts: 444000 | #Constraints: 30833
716.39/722.08 c #Conflicts: 445000 | #Constraints: 31833
716.39/722.08 c #Conflicts: 446000 | #Constraints: 32833
716.39/722.08 c #Conflicts: 447000 | #Constraints: 33833
716.39/722.08 c #Conflicts: 448000 | #Constraints: 34833
716.39/722.08 c #Conflicts: 449000 | #Constraints: 35833
716.39/722.08 c #Conflicts: 450000 | #Constraints: 36833
716.39/722.08 c INPROCESSING
716.39/722.08 c GARBAGE COLLECT
716.39/722.08 c #Conflicts: 451000 | #Constraints: 22541
716.39/722.08 c #Conflicts: 452000 | #Constraints: 23541
716.39/722.08 c #Conflicts: 453000 | #Constraints: 24541
716.39/722.08 c #Conflicts: 454000 | #Constraints: 25541
716.39/722.08 c #Conflicts: 455000 | #Constraints: 26541
716.39/722.08 c #Conflicts: 456000 | #Constraints: 27541
716.39/722.08 c #Conflicts: 457000 | #Constraints: 28541
716.39/722.08 c #Conflicts: 458000 | #Constraints: 29541
716.39/722.08 c #Conflicts: 459000 | #Constraints: 30541
716.39/722.08 c #Conflicts: 460000 | #Constraints: 31541
716.39/722.08 c #Conflicts: 461000 | #Constraints: 32541
716.39/722.08 c #Conflicts: 462000 | #Constraints: 33541
716.39/722.08 c #Conflicts: 463000 | #Constraints: 34541
716.39/722.08 c #Conflicts: 464000 | #Constraints: 35541
716.39/722.08 c INPROCESSING
716.39/722.08 c GARBAGE COLLECT
716.39/722.08 c #Conflicts: 465000 | #Constraints: 21585
716.39/722.08 c #Conflicts: 466000 | #Constraints: 22585
716.39/722.08 c #Conflicts: 467000 | #Constraints: 23585
716.39/722.08 c #Conflicts: 468000 | #Constraints: 24585
716.39/722.08 c #Conflicts: 469000 | #Constraints: 25585
716.39/722.08 c #Conflicts: 470000 | #Constraints: 26585
716.39/722.08 c #Conflicts: 471000 | #Constraints: 27585
716.39/722.08 c #Conflicts: 472000 | #Constraints: 28585
716.39/722.08 c #Conflicts: 473000 | #Constraints: 29585
716.39/722.08 c #Conflicts: 474000 | #Constraints: 30585
716.39/722.08 c #Conflicts: 475000 | #Constraints: 31585
716.39/722.08 c #Conflicts: 476000 | #Constraints: 32585
716.39/722.08 c #Conflicts: 477000 | #Constraints: 33585
716.39/722.08 c #Conflicts: 478000 | #Constraints: 34585
716.39/722.08 c #Conflicts: 479000 | #Constraints: 35585
716.39/722.08 c #Conflicts: 480000 | #Constraints: 36585
716.39/722.08 c #Conflicts: 481000 | #Constraints: 37585
716.39/722.08 c #Conflicts: 482000 | #Constraints: 38585
716.39/722.08 c #Conflicts: 483000 | #Constraints: 39585
716.39/722.08 c #Conflicts: 484000 | #Constraints: 40585
716.39/722.08 c #Conflicts: 485000 | #Constraints: 41585
716.39/722.08 c #Conflicts: 486000 | #Constraints: 42585
716.39/722.08 c #Conflicts: 487000 | #Constraints: 43585
716.39/722.08 c #Conflicts: 488000 | #Constraints: 44585
716.39/722.08 c #Conflicts: 489000 | #Constraints: 45585
716.39/722.08 c #Conflicts: 490000 | #Constraints: 46585
716.39/722.08 c #Conflicts: 491000 | #Constraints: 47585
716.39/722.08 c #Conflicts: 492000 | #Constraints: 48585
716.39/722.08 c #Conflicts: 493000 | #Constraints: 49585
716.39/722.08 c #Conflicts: 494000 | #Constraints: 50585
716.39/722.08 c #Conflicts: 495000 | #Constraints: 51585
716.39/722.08 c #Conflicts: 496000 | #Constraints: 52585
716.39/722.08 c #Conflicts: 497000 | #Constraints: 53585
716.39/722.08 c #Conflicts: 498000 | #Constraints: 54585
716.39/722.08 c #Conflicts: 499000 | #Constraints: 55585
716.39/722.08 c #Conflicts: 500000 | #Constraints: 56585
716.39/722.08 c #Conflicts: 501000 | #Constraints: 57585
716.39/722.08 c #Conflicts: 502000 | #Constraints: 58585
716.39/722.08 c #Conflicts: 503000 | #Constraints: 59585
716.39/722.08 c #Conflicts: 504000 | #Constraints: 60585
716.39/722.08 c #Conflicts: 505000 | #Constraints: 61585
716.39/722.08 c #Conflicts: 506000 | #Constraints: 62585
716.39/722.08 c #Conflicts: 507000 | #Constraints: 63585
716.39/722.08 c #Conflicts: 508000 | #Constraints: 64585
716.39/722.08 c #Conflicts: 509000 | #Constraints: 65585
716.39/722.08 c #Conflicts: 510000 | #Constraints: 66585
716.39/722.08 c #Conflicts: 511000 | #Constraints: 67585
716.39/722.08 c #Conflicts: 512000 | #Constraints: 68585
716.39/722.08 c #Conflicts: 513000 | #Constraints: 69585
716.39/722.08 c #Conflicts: 514000 | #Constraints: 70585
716.39/722.08 c #Conflicts: 515000 | #Constraints: 71585
716.39/722.08 c #Conflicts: 516000 | #Constraints: 72585
832.00/838.12 c #Conflicts: 517000 | #Constraints: 73585
832.00/838.12 c #Conflicts: 518000 | #Constraints: 74585
832.00/838.12 c #Conflicts: 519000 | #Constraints: 75585
832.00/838.12 c #Conflicts: 520000 | #Constraints: 76585
832.00/838.12 c #Conflicts: 521000 | #Constraints: 77585
832.00/838.12 c INPROCESSING
832.00/838.12 c GARBAGE COLLECT
832.00/838.12 c #Conflicts: 522000 | #Constraints: 42545
832.00/838.12 c #Conflicts: 523000 | #Constraints: 43545
832.00/838.12 c #Conflicts: 524000 | #Constraints: 44545
832.00/838.12 c #Conflicts: 525000 | #Constraints: 45545
832.00/838.12 c #Conflicts: 526000 | #Constraints: 46545
832.00/838.12 c #Conflicts: 527000 | #Constraints: 47545
832.00/838.12 c #Conflicts: 528000 | #Constraints: 48545
832.00/838.12 c #Conflicts: 529000 | #Constraints: 49545
832.00/838.12 c #Conflicts: 530000 | #Constraints: 50545
832.00/838.12 c #Conflicts: 531000 | #Constraints: 51545
832.00/838.12 c #Conflicts: 532000 | #Constraints: 52545
832.00/838.12 c #Conflicts: 533000 | #Constraints: 53545
832.00/838.12 c #Conflicts: 534000 | #Constraints: 54545
832.00/838.12 c #Conflicts: 535000 | #Constraints: 55545
832.00/838.12 c #Conflicts: 536000 | #Constraints: 56545
832.00/838.12 c #Conflicts: 537000 | #Constraints: 57545
832.00/838.12 c INPROCESSING
832.00/838.12 c GARBAGE COLLECT
832.00/838.12 c #Conflicts: 538000 | #Constraints: 32555
832.00/838.12 c #Conflicts: 539000 | #Constraints: 33555
832.00/838.12 c #Conflicts: 540000 | #Constraints: 34555
832.00/838.12 c #Conflicts: 541000 | #Constraints: 35555
832.00/838.12 c #Conflicts: 542000 | #Constraints: 36555
832.00/838.12 c #Conflicts: 543000 | #Constraints: 37555
832.00/838.12 c #Conflicts: 544000 | #Constraints: 38555
832.00/838.12 c #Conflicts: 545000 | #Constraints: 39555
832.00/838.12 c #Conflicts: 546000 | #Constraints: 40555
832.00/838.12 c #Conflicts: 547000 | #Constraints: 41555
832.00/838.12 c #Conflicts: 548000 | #Constraints: 42555
832.00/838.12 c #Conflicts: 549000 | #Constraints: 43555
832.00/838.12 c #Conflicts: 550000 | #Constraints: 44555
832.00/838.12 c #Conflicts: 551000 | #Constraints: 45555
832.00/838.12 c #Conflicts: 552000 | #Constraints: 46555
832.00/838.12 c #Conflicts: 553000 | #Constraints: 47555
832.00/838.12 c INPROCESSING
832.00/838.12 c GARBAGE COLLECT
832.00/838.12 c #Conflicts: 554000 | #Constraints: 27527
832.00/838.12 c #Conflicts: 555000 | #Constraints: 28527
832.00/838.12 c #Conflicts: 556000 | #Constraints: 29527
832.00/838.12 c #Conflicts: 557000 | #Constraints: 30527
832.00/838.12 c #Conflicts: 558000 | #Constraints: 31527
832.00/838.12 c #Conflicts: 559000 | #Constraints: 32527
832.00/838.12 c #Conflicts: 560000 | #Constraints: 33527
832.00/838.12 c #Conflicts: 561000 | #Constraints: 34527
832.00/838.12 c #Conflicts: 562000 | #Constraints: 35527
832.00/838.12 c #Conflicts: 563000 | #Constraints: 36527
832.00/838.12 c #Conflicts: 564000 | #Constraints: 37527
832.00/838.12 c #Conflicts: 565000 | #Constraints: 38527
832.00/838.12 c #Conflicts: 566000 | #Constraints: 39527
832.00/838.12 c #Conflicts: 567000 | #Constraints: 40527
832.00/838.12 c #Conflicts: 568000 | #Constraints: 41527
832.00/838.12 c #Conflicts: 569000 | #Constraints: 42527
832.00/838.12 c #Conflicts: 570000 | #Constraints: 43527
832.00/838.12 c INPROCESSING
832.00/838.12 c GARBAGE COLLECT
832.00/838.12 c #Conflicts: 571000 | #Constraints: 25892
832.00/838.12 c #Conflicts: 572000 | #Constraints: 26892
832.00/838.12 c #Conflicts: 573000 | #Constraints: 27892
832.00/838.12 c #Conflicts: 574000 | #Constraints: 28892
832.00/838.12 c #Conflicts: 575000 | #Constraints: 29892
832.00/838.12 c #Conflicts: 576000 | #Constraints: 30892
832.00/838.12 c #Conflicts: 577000 | #Constraints: 31892
832.00/838.12 c #Conflicts: 578000 | #Constraints: 32892
832.00/838.12 c #Conflicts: 579000 | #Constraints: 33892
832.00/838.12 c #Conflicts: 580000 | #Constraints: 34892
832.00/838.12 c #Conflicts: 581000 | #Constraints: 35892
832.00/838.12 c #Conflicts: 582000 | #Constraints: 36892
832.00/838.12 c #Conflicts: 583000 | #Constraints: 37892
832.00/838.12 c #Conflicts: 584000 | #Constraints: 38892
832.00/838.12 c #Conflicts: 585000 | #Constraints: 39892
832.00/838.12 c #Conflicts: 586000 | #Constraints: 40892
832.00/838.12 c INPROCESSING
832.00/838.12 c GARBAGE COLLECT
832.00/838.12 c #Conflicts: 587000 | #Constraints: 24383
832.00/838.12 c #Conflicts: 588000 | #Constraints: 25383
832.00/838.12 c #Conflicts: 589000 | #Constraints: 26383
832.00/838.12 c #Conflicts: 590000 | #Constraints: 27383
832.00/838.12 c #Conflicts: 591000 | #Constraints: 28383
832.00/838.12 c #Conflicts: 592000 | #Constraints: 29383
969.04/977.39 c #Conflicts: 593000 | #Constraints: 30383
969.04/977.39 c #Conflicts: 594000 | #Constraints: 31383
969.04/977.39 c #Conflicts: 595000 | #Constraints: 32383
969.04/977.39 c #Conflicts: 596000 | #Constraints: 33383
969.04/977.39 c #Conflicts: 597000 | #Constraints: 34383
969.04/977.39 c #Conflicts: 598000 | #Constraints: 35383
969.04/977.39 c #Conflicts: 599000 | #Constraints: 36383
969.04/977.39 c #Conflicts: 600000 | #Constraints: 37383
969.04/977.39 c #Conflicts: 601000 | #Constraints: 38383
969.04/977.39 c #Conflicts: 602000 | #Constraints: 39383
969.04/977.39 c #Conflicts: 603000 | #Constraints: 40383
969.04/977.39 c INPROCESSING
969.04/977.39 c GARBAGE COLLECT
969.04/977.39 c #Conflicts: 604000 | #Constraints: 24250
969.04/977.39 c #Conflicts: 605000 | #Constraints: 25250
969.04/977.39 c #Conflicts: 606000 | #Constraints: 26250
969.04/977.39 c #Conflicts: 607000 | #Constraints: 27250
969.04/977.39 c #Conflicts: 608000 | #Constraints: 28250
969.04/977.39 c #Conflicts: 609000 | #Constraints: 29250
969.04/977.39 c #Conflicts: 610000 | #Constraints: 30250
969.04/977.39 c #Conflicts: 611000 | #Constraints: 31250
969.04/977.39 c #Conflicts: 612000 | #Constraints: 32250
969.04/977.39 c #Conflicts: 613000 | #Constraints: 33250
969.04/977.39 c #Conflicts: 614000 | #Constraints: 34250
969.04/977.39 c #Conflicts: 615000 | #Constraints: 35250
969.04/977.39 c #Conflicts: 616000 | #Constraints: 36250
969.04/977.39 c #Conflicts: 617000 | #Constraints: 37250
969.04/977.39 c #Conflicts: 618000 | #Constraints: 38250
969.04/977.39 c #Conflicts: 619000 | #Constraints: 39250
969.04/977.39 c #Conflicts: 620000 | #Constraints: 40250
969.04/977.39 c #Conflicts: 621000 | #Constraints: 41250
969.04/977.39 c #Conflicts: 622000 | #Constraints: 42250
969.04/977.39 c #Conflicts: 623000 | #Constraints: 43250
969.04/977.39 c #Conflicts: 624000 | #Constraints: 44250
969.04/977.39 c #Conflicts: 625000 | #Constraints: 45250
969.04/977.39 c #Conflicts: 626000 | #Constraints: 46250
969.04/977.39 c #Conflicts: 627000 | #Constraints: 47250
969.04/977.39 c #Conflicts: 628000 | #Constraints: 48250
969.04/977.39 c #Conflicts: 629000 | #Constraints: 49250
969.04/977.39 c #Conflicts: 630000 | #Constraints: 50250
969.04/977.39 c #Conflicts: 631000 | #Constraints: 51250
969.04/977.39 c #Conflicts: 632000 | #Constraints: 52250
969.04/977.39 c #Conflicts: 633000 | #Constraints: 53250
969.04/977.39 c #Conflicts: 634000 | #Constraints: 54250
969.04/977.39 c #Conflicts: 635000 | #Constraints: 55250
969.04/977.39 c #Conflicts: 636000 | #Constraints: 56250
969.04/977.39 c #Conflicts: 637000 | #Constraints: 57250
969.04/977.39 c #Conflicts: 638000 | #Constraints: 58250
969.04/977.39 c #Conflicts: 639000 | #Constraints: 59250
969.04/977.39 c #Conflicts: 640000 | #Constraints: 60250
969.04/977.39 c #Conflicts: 641000 | #Constraints: 61250
969.04/977.39 c #Conflicts: 642000 | #Constraints: 62250
969.04/977.39 c #Conflicts: 643000 | #Constraints: 63250
969.04/977.39 c #Conflicts: 644000 | #Constraints: 64250
969.04/977.39 c #Conflicts: 645000 | #Constraints: 65250
969.04/977.39 c #Conflicts: 646000 | #Constraints: 66250
969.04/977.39 c #Conflicts: 647000 | #Constraints: 67250
969.04/977.39 c #Conflicts: 648000 | #Constraints: 68250
969.04/977.39 c #Conflicts: 649000 | #Constraints: 69250
969.04/977.39 c #Conflicts: 650000 | #Constraints: 70250
969.04/977.39 c #Conflicts: 651000 | #Constraints: 71250
969.04/977.39 c #Conflicts: 652000 | #Constraints: 72250
969.04/977.39 c #Conflicts: 653000 | #Constraints: 73250
969.04/977.39 c #Conflicts: 654000 | #Constraints: 74250
969.04/977.39 c #Conflicts: 655000 | #Constraints: 75250
969.04/977.39 c #Conflicts: 656000 | #Constraints: 76250
969.04/977.39 c #Conflicts: 657000 | #Constraints: 77250
969.04/977.39 c #Conflicts: 658000 | #Constraints: 78250
969.04/977.39 c #Conflicts: 659000 | #Constraints: 79250
969.04/977.39 c #Conflicts: 660000 | #Constraints: 80250
969.04/977.39 c #Conflicts: 661000 | #Constraints: 81250
969.04/977.39 c #Conflicts: 662000 | #Constraints: 82250
969.04/977.39 c #Conflicts: 663000 | #Constraints: 83250
969.04/977.39 c #Conflicts: 664000 | #Constraints: 84250
969.04/977.39 c #Conflicts: 665000 | #Constraints: 85250
969.04/977.39 c #Conflicts: 666000 | #Constraints: 86250
969.04/977.39 c #Conflicts: 667000 | #Constraints: 87250
969.04/977.39 c INPROCESSING
969.04/977.39 c GARBAGE COLLECT
969.04/977.39 c #Conflicts: 668000 | #Constraints: 47368
969.04/977.39 c #Conflicts: 669000 | #Constraints: 48368
1088.89/1097.72 c #Conflicts: 670000 | #Constraints: 49368
1088.89/1097.72 c #Conflicts: 671000 | #Constraints: 50368
1088.89/1097.72 c #Conflicts: 672000 | #Constraints: 51368
1088.89/1097.72 c #Conflicts: 673000 | #Constraints: 52368
1088.89/1097.72 c #Conflicts: 674000 | #Constraints: 53368
1088.89/1097.72 c #Conflicts: 675000 | #Constraints: 54368
1088.89/1097.72 c #Conflicts: 676000 | #Constraints: 55368
1088.89/1097.72 c #Conflicts: 677000 | #Constraints: 56368
1088.89/1097.72 c #Conflicts: 678000 | #Constraints: 57368
1088.89/1097.72 c #Conflicts: 679000 | #Constraints: 58368
1088.89/1097.72 c #Conflicts: 680000 | #Constraints: 59368
1088.89/1097.72 c #Conflicts: 681000 | #Constraints: 60368
1088.89/1097.72 c #Conflicts: 682000 | #Constraints: 61368
1088.89/1097.72 c #Conflicts: 683000 | #Constraints: 62368
1088.89/1097.72 c #Conflicts: 684000 | #Constraints: 63368
1088.89/1097.72 c #Conflicts: 685000 | #Constraints: 64368
1088.89/1097.72 c INPROCESSING
1088.89/1097.72 c GARBAGE COLLECT
1088.89/1097.72 c #Conflicts: 686000 | #Constraints: 35934
1088.89/1097.72 c #Conflicts: 687000 | #Constraints: 36934
1088.89/1097.72 c #Conflicts: 688000 | #Constraints: 37934
1088.89/1097.72 c #Conflicts: 689000 | #Constraints: 38934
1088.89/1097.72 c #Conflicts: 690000 | #Constraints: 39934
1088.89/1097.72 c #Conflicts: 691000 | #Constraints: 40934
1088.89/1097.72 c #Conflicts: 692000 | #Constraints: 41934
1088.89/1097.72 c #Conflicts: 693000 | #Constraints: 42934
1088.89/1097.72 c #Conflicts: 694000 | #Constraints: 43934
1088.89/1097.72 c #Conflicts: 695000 | #Constraints: 44934
1088.89/1097.72 c #Conflicts: 696000 | #Constraints: 45934
1088.89/1097.72 c #Conflicts: 697000 | #Constraints: 46934
1088.89/1097.72 c #Conflicts: 698000 | #Constraints: 47934
1088.89/1097.72 c #Conflicts: 699000 | #Constraints: 48934
1088.89/1097.72 c #Conflicts: 700000 | #Constraints: 49934
1088.89/1097.72 c #Conflicts: 701000 | #Constraints: 50934
1088.89/1097.72 c #Conflicts: 702000 | #Constraints: 51934
1088.89/1097.72 c #Conflicts: 703000 | #Constraints: 52934
1088.89/1097.72 c #Conflicts: 704000 | #Constraints: 53934
1088.89/1097.72 c INPROCESSING
1088.89/1097.72 c GARBAGE COLLECT
1088.89/1097.72 c #Conflicts: 705000 | #Constraints: 31118
1088.89/1097.72 c #Conflicts: 706000 | #Constraints: 32118
1088.89/1097.72 c #Conflicts: 707000 | #Constraints: 33118
1088.89/1097.72 c #Conflicts: 708000 | #Constraints: 34118
1088.89/1097.72 c #Conflicts: 709000 | #Constraints: 35118
1088.89/1097.72 c #Conflicts: 710000 | #Constraints: 36118
1088.89/1097.72 c #Conflicts: 711000 | #Constraints: 37118
1088.89/1097.72 c #Conflicts: 712000 | #Constraints: 38118
1088.89/1097.72 c #Conflicts: 713000 | #Constraints: 39118
1088.89/1097.72 c #Conflicts: 714000 | #Constraints: 40118
1088.89/1097.72 c #Conflicts: 715000 | #Constraints: 41118
1088.89/1097.72 c #Conflicts: 716000 | #Constraints: 42118
1088.89/1097.72 c #Conflicts: 717000 | #Constraints: 43118
1088.89/1097.72 c #Conflicts: 718000 | #Constraints: 44118
1088.89/1097.72 c #Conflicts: 719000 | #Constraints: 45118
1088.89/1097.72 c #Conflicts: 720000 | #Constraints: 46118
1088.89/1097.72 c #Conflicts: 721000 | #Constraints: 47118
1088.89/1097.72 c #Conflicts: 722000 | #Constraints: 48118
1088.89/1097.72 c INPROCESSING
1088.89/1097.72 c GARBAGE COLLECT
1088.89/1097.72 c #Conflicts: 723000 | #Constraints: 28007
1088.89/1097.72 c #Conflicts: 724000 | #Constraints: 29007
1088.89/1097.72 c #Conflicts: 725000 | #Constraints: 30007
1088.89/1097.72 c #Conflicts: 726000 | #Constraints: 31007
1088.89/1097.72 c #Conflicts: 727000 | #Constraints: 32007
1088.89/1097.72 c #Conflicts: 728000 | #Constraints: 33007
1088.89/1097.72 c #Conflicts: 729000 | #Constraints: 34007
1088.89/1097.72 c #Conflicts: 730000 | #Constraints: 35007
1088.89/1097.72 c #Conflicts: 731000 | #Constraints: 36007
1088.89/1097.72 c #Conflicts: 732000 | #Constraints: 37007
1088.89/1097.72 c #Conflicts: 733000 | #Constraints: 38007
1088.89/1097.72 c #Conflicts: 734000 | #Constraints: 39007
1088.89/1097.72 c #Conflicts: 735000 | #Constraints: 40007
1088.89/1097.72 c #Conflicts: 736000 | #Constraints: 41007
1088.89/1097.72 c #Conflicts: 737000 | #Constraints: 42007
1088.89/1097.72 c #Conflicts: 738000 | #Constraints: 43007
1088.89/1097.72 c #Conflicts: 739000 | #Constraints: 44007
1088.89/1097.72 c #Conflicts: 740000 | #Constraints: 45007
1088.89/1097.72 c #Conflicts: 741000 | #Constraints: 46007
1088.89/1097.72 c INPROCESSING
1088.89/1097.72 c GARBAGE COLLECT
1088.89/1097.72 c #Conflicts: 742000 | #Constraints: 27184
1088.89/1097.72 c #Conflicts: 743000 | #Constraints: 28184
1088.89/1097.72 c #Conflicts: 744000 | #Constraints: 29184
1088.89/1097.72 c #Conflicts: 745000 | #Constraints: 30184
1236.57/1246.06 c #Conflicts: 746000 | #Constraints: 31184
1236.57/1246.06 c #Conflicts: 747000 | #Constraints: 32184
1236.57/1246.06 c #Conflicts: 748000 | #Constraints: 33184
1236.57/1246.06 c #Conflicts: 749000 | #Constraints: 34184
1236.57/1246.06 c #Conflicts: 750000 | #Constraints: 35184
1236.57/1246.06 c #Conflicts: 751000 | #Constraints: 36184
1236.57/1246.06 c #Conflicts: 752000 | #Constraints: 37184
1236.57/1246.06 c #Conflicts: 753000 | #Constraints: 38184
1236.57/1246.06 c #Conflicts: 754000 | #Constraints: 39184
1236.57/1246.06 c #Conflicts: 755000 | #Constraints: 40184
1236.57/1246.06 c #Conflicts: 756000 | #Constraints: 41184
1236.57/1246.06 c #Conflicts: 757000 | #Constraints: 42184
1236.57/1246.06 c #Conflicts: 758000 | #Constraints: 43184
1236.57/1246.06 c #Conflicts: 759000 | #Constraints: 44184
1236.57/1246.06 c INPROCESSING
1236.57/1246.06 c GARBAGE COLLECT
1236.57/1246.06 c #Conflicts: 760000 | #Constraints: 25862
1236.57/1246.06 c #Conflicts: 761000 | #Constraints: 26862
1236.57/1246.06 c #Conflicts: 762000 | #Constraints: 27862
1236.57/1246.06 c #Conflicts: 763000 | #Constraints: 28862
1236.57/1246.06 c #Conflicts: 764000 | #Constraints: 29862
1236.57/1246.06 c #Conflicts: 765000 | #Constraints: 30862
1236.57/1246.06 c #Conflicts: 766000 | #Constraints: 31862
1236.57/1246.06 c #Conflicts: 767000 | #Constraints: 32862
1236.57/1246.06 c #Conflicts: 768000 | #Constraints: 33862
1236.57/1246.06 c #Conflicts: 769000 | #Constraints: 34862
1236.57/1246.06 c #Conflicts: 770000 | #Constraints: 35862
1236.57/1246.06 c #Conflicts: 771000 | #Constraints: 36862
1236.57/1246.06 c #Conflicts: 772000 | #Constraints: 37862
1236.57/1246.06 c #Conflicts: 773000 | #Constraints: 38862
1236.57/1246.06 c #Conflicts: 774000 | #Constraints: 39862
1236.57/1246.06 c #Conflicts: 775000 | #Constraints: 40862
1236.57/1246.06 c #Conflicts: 776000 | #Constraints: 41862
1236.57/1246.06 c #Conflicts: 777000 | #Constraints: 42862
1236.57/1246.06 c #Conflicts: 778000 | #Constraints: 43862
1236.57/1246.06 c #Conflicts: 779000 | #Constraints: 44862
1236.57/1246.06 c #Conflicts: 780000 | #Constraints: 45862
1236.57/1246.06 c #Conflicts: 781000 | #Constraints: 46862
1236.57/1246.06 c #Conflicts: 782000 | #Constraints: 47862
1236.57/1246.06 c #Conflicts: 783000 | #Constraints: 48862
1236.57/1246.06 c #Conflicts: 784000 | #Constraints: 49862
1236.57/1246.06 c #Conflicts: 785000 | #Constraints: 50862
1236.57/1246.06 c #Conflicts: 786000 | #Constraints: 51862
1236.57/1246.06 c #Conflicts: 787000 | #Constraints: 52862
1236.57/1246.06 c #Conflicts: 788000 | #Constraints: 53862
1236.57/1246.06 c #Conflicts: 789000 | #Constraints: 54862
1236.57/1246.06 c #Conflicts: 790000 | #Constraints: 55862
1236.57/1246.06 c #Conflicts: 791000 | #Constraints: 56862
1236.57/1246.06 c #Conflicts: 792000 | #Constraints: 57862
1236.57/1246.06 c #Conflicts: 793000 | #Constraints: 58862
1236.57/1246.06 c #Conflicts: 794000 | #Constraints: 59862
1236.57/1246.06 c #Conflicts: 795000 | #Constraints: 60862
1236.57/1246.06 c #Conflicts: 796000 | #Constraints: 61862
1236.57/1246.06 c #Conflicts: 797000 | #Constraints: 62862
1236.57/1246.06 c #Conflicts: 798000 | #Constraints: 63862
1236.57/1246.06 c #Conflicts: 799000 | #Constraints: 64862
1236.57/1246.06 c #Conflicts: 800000 | #Constraints: 65862
1236.57/1246.06 c #Conflicts: 801000 | #Constraints: 66862
1236.57/1246.06 c #Conflicts: 802000 | #Constraints: 67862
1236.57/1246.06 c #Conflicts: 803000 | #Constraints: 68862
1236.57/1246.06 c #Conflicts: 804000 | #Constraints: 69862
1236.57/1246.06 c #Conflicts: 805000 | #Constraints: 70862
1236.57/1246.06 c #Conflicts: 806000 | #Constraints: 71862
1236.57/1246.06 c #Conflicts: 807000 | #Constraints: 72862
1236.57/1246.06 c #Conflicts: 808000 | #Constraints: 73862
1236.57/1246.06 c #Conflicts: 809000 | #Constraints: 74862
1236.57/1246.06 c #Conflicts: 810000 | #Constraints: 75862
1236.57/1246.06 c #Conflicts: 811000 | #Constraints: 76862
1236.57/1246.06 c #Conflicts: 812000 | #Constraints: 77862
1236.57/1246.06 c #Conflicts: 813000 | #Constraints: 78862
1236.57/1246.06 c #Conflicts: 814000 | #Constraints: 79862
1236.57/1246.06 c #Conflicts: 815000 | #Constraints: 80862
1236.57/1246.06 c #Conflicts: 816000 | #Constraints: 81862
1236.57/1246.06 c #Conflicts: 817000 | #Constraints: 82862
1236.57/1246.06 c #Conflicts: 818000 | #Constraints: 83862
1236.57/1246.06 c #Conflicts: 819000 | #Constraints: 84862
1236.57/1246.06 c #Conflicts: 820000 | #Constraints: 85862
1236.57/1246.06 c #Conflicts: 821000 | #Constraints: 86862
1236.57/1246.06 c #Conflicts: 822000 | #Constraints: 87862
1236.57/1246.06 c #Conflicts: 823000 | #Constraints: 88862
1236.57/1246.06 c #Conflicts: 824000 | #Constraints: 89862
1378.83/1388.95 c #Conflicts: 825000 | #Constraints: 90862
1378.83/1388.95 c #Conflicts: 826000 | #Constraints: 91862
1378.83/1388.95 c #Conflicts: 827000 | #Constraints: 92862
1378.83/1388.95 c #Conflicts: 828000 | #Constraints: 93862
1378.83/1388.95 c #Conflicts: 829000 | #Constraints: 94862
1378.83/1388.95 c #Conflicts: 830000 | #Constraints: 95862
1378.83/1388.95 c #Conflicts: 831000 | #Constraints: 96862
1378.83/1388.95 c INPROCESSING
1378.83/1388.95 c GARBAGE COLLECT
1378.83/1388.95 c #Conflicts: 832000 | #Constraints: 52144
1378.83/1388.95 c #Conflicts: 833000 | #Constraints: 53144
1378.83/1388.95 c #Conflicts: 834000 | #Constraints: 54144
1378.83/1388.95 c #Conflicts: 835000 | #Constraints: 55144
1378.83/1388.95 c #Conflicts: 836000 | #Constraints: 56144
1378.83/1388.95 c #Conflicts: 837000 | #Constraints: 57144
1378.83/1388.95 c #Conflicts: 838000 | #Constraints: 58144
1378.83/1388.95 c #Conflicts: 839000 | #Constraints: 59144
1378.83/1388.95 c #Conflicts: 840000 | #Constraints: 60144
1378.83/1388.95 c #Conflicts: 841000 | #Constraints: 61144
1378.83/1388.95 c #Conflicts: 842000 | #Constraints: 62144
1378.83/1388.95 c #Conflicts: 843000 | #Constraints: 63144
1378.83/1388.95 c #Conflicts: 844000 | #Constraints: 64144
1378.83/1388.95 c #Conflicts: 845000 | #Constraints: 65144
1378.83/1388.95 c #Conflicts: 846000 | #Constraints: 66144
1378.83/1388.95 c #Conflicts: 847000 | #Constraints: 67144
1378.83/1388.95 c #Conflicts: 848000 | #Constraints: 68144
1378.83/1388.95 c #Conflicts: 849000 | #Constraints: 69144
1378.83/1388.95 c #Conflicts: 850000 | #Constraints: 70144
1378.83/1388.95 c #Conflicts: 851000 | #Constraints: 71144
1378.83/1388.95 c #Conflicts: 852000 | #Constraints: 72144
1378.83/1388.95 c INPROCESSING
1378.83/1388.95 c GARBAGE COLLECT
1378.83/1388.95 c #Conflicts: 853000 | #Constraints: 40237
1378.83/1388.95 c #Conflicts: 854000 | #Constraints: 41237
1378.83/1388.95 c #Conflicts: 855000 | #Constraints: 42237
1378.83/1388.95 c #Conflicts: 856000 | #Constraints: 43237
1378.83/1388.95 c #Conflicts: 857000 | #Constraints: 44237
1378.83/1388.95 c #Conflicts: 858000 | #Constraints: 45237
1378.83/1388.95 c #Conflicts: 859000 | #Constraints: 46237
1378.83/1388.95 c #Conflicts: 860000 | #Constraints: 47237
1378.83/1388.95 c #Conflicts: 861000 | #Constraints: 48237
1378.83/1388.95 c #Conflicts: 862000 | #Constraints: 49237
1378.83/1388.95 c #Conflicts: 863000 | #Constraints: 50237
1378.83/1388.95 c #Conflicts: 864000 | #Constraints: 51237
1378.83/1388.95 c #Conflicts: 865000 | #Constraints: 52237
1378.83/1388.95 c #Conflicts: 866000 | #Constraints: 53237
1378.83/1388.95 c #Conflicts: 867000 | #Constraints: 54237
1378.83/1388.95 c #Conflicts: 868000 | #Constraints: 55237
1378.83/1388.95 c #Conflicts: 869000 | #Constraints: 56237
1378.83/1388.95 c #Conflicts: 870000 | #Constraints: 57237
1378.83/1388.95 c #Conflicts: 871000 | #Constraints: 58237
1378.83/1388.95 c #Conflicts: 872000 | #Constraints: 59237
1378.83/1388.95 c INPROCESSING
1378.83/1388.95 c GARBAGE COLLECT
1378.83/1388.95 c #Conflicts: 873000 | #Constraints: 33645
1378.83/1388.95 c #Conflicts: 874000 | #Constraints: 34645
1378.83/1388.95 c #Conflicts: 875000 | #Constraints: 35645
1378.83/1388.95 c #Conflicts: 876000 | #Constraints: 36645
1378.83/1388.95 c #Conflicts: 877000 | #Constraints: 37645
1378.83/1388.95 c #Conflicts: 878000 | #Constraints: 38645
1378.83/1388.95 c #Conflicts: 879000 | #Constraints: 39645
1378.83/1388.95 c #Conflicts: 880000 | #Constraints: 40645
1378.83/1388.95 c #Conflicts: 881000 | #Constraints: 41645
1378.83/1388.95 c #Conflicts: 882000 | #Constraints: 42645
1378.83/1388.95 c #Conflicts: 883000 | #Constraints: 43645
1378.83/1388.95 c #Conflicts: 884000 | #Constraints: 44645
1378.83/1388.95 c #Conflicts: 885000 | #Constraints: 45645
1378.83/1388.95 c #Conflicts: 886000 | #Constraints: 46645
1378.83/1388.95 c #Conflicts: 887000 | #Constraints: 47645
1378.83/1388.95 c #Conflicts: 888000 | #Constraints: 48645
1378.83/1388.95 c #Conflicts: 889000 | #Constraints: 49645
1378.83/1388.95 c #Conflicts: 890000 | #Constraints: 50645
1378.83/1388.95 c #Conflicts: 891000 | #Constraints: 51645
1378.83/1388.95 c #Conflicts: 892000 | #Constraints: 52645
1378.83/1388.95 c INPROCESSING
1378.83/1388.95 c GARBAGE COLLECT
1378.83/1388.95 c rational objective 87.3257
1488.26/1499.81 c #Conflicts: 893000 | #Constraints: 30059
1488.26/1499.81 c #Conflicts: 894000 | #Constraints: 31059
1488.26/1499.81 c #Conflicts: 895000 | #Constraints: 32059
1488.26/1499.81 c #Conflicts: 896000 | #Constraints: 33059
1488.26/1499.81 c #Conflicts: 897000 | #Constraints: 34059
1488.26/1499.81 c #Conflicts: 898000 | #Constraints: 35059
1488.26/1499.81 c #Conflicts: 899000 | #Constraints: 36059
1488.26/1499.81 c #Conflicts: 900000 | #Constraints: 37059
1488.26/1499.81 c #Conflicts: 901000 | #Constraints: 38059
1488.26/1499.81 c #Conflicts: 902000 | #Constraints: 39059
1488.26/1499.81 c #Conflicts: 903000 | #Constraints: 40059
1488.26/1499.81 c #Conflicts: 904000 | #Constraints: 41059
1488.26/1499.81 c #Conflicts: 905000 | #Constraints: 42059
1488.26/1499.81 c #Conflicts: 906000 | #Constraints: 43059
1488.26/1499.81 c #Conflicts: 907000 | #Constraints: 44059
1488.26/1499.81 c #Conflicts: 908000 | #Constraints: 45059
1488.26/1499.81 c #Conflicts: 909000 | #Constraints: 46059
1488.26/1499.81 c #Conflicts: 910000 | #Constraints: 47059
1488.26/1499.81 c #Conflicts: 911000 | #Constraints: 48059
1488.26/1499.81 c #Conflicts: 912000 | #Constraints: 49059
1488.26/1499.81 c #Conflicts: 913000 | #Constraints: 50059
1488.26/1499.81 c INPROCESSING
1488.26/1499.81 c GARBAGE COLLECT
1488.26/1499.81 c #Conflicts: 914000 | #Constraints: 28984
1488.26/1499.81 c #Conflicts: 915000 | #Constraints: 29984
1488.26/1499.81 c #Conflicts: 916000 | #Constraints: 30984
1488.26/1499.81 c #Conflicts: 917000 | #Constraints: 31984
1488.26/1499.81 c #Conflicts: 918000 | #Constraints: 32984
1488.26/1499.81 c #Conflicts: 919000 | #Constraints: 33984
1488.26/1499.81 c #Conflicts: 920000 | #Constraints: 34984
1488.26/1499.81 c #Conflicts: 921000 | #Constraints: 35984
1488.26/1499.81 c #Conflicts: 922000 | #Constraints: 36984
1488.26/1499.81 c #Conflicts: 923000 | #Constraints: 37984
1488.26/1499.81 c #Conflicts: 924000 | #Constraints: 38984
1488.26/1499.81 c #Conflicts: 925000 | #Constraints: 39984
1488.26/1499.81 c #Conflicts: 926000 | #Constraints: 40984
1488.26/1499.81 c #Conflicts: 927000 | #Constraints: 41984
1488.26/1499.81 c #Conflicts: 928000 | #Constraints: 42984
1488.26/1499.81 c #Conflicts: 929000 | #Constraints: 43984
1488.26/1499.81 c #Conflicts: 930000 | #Constraints: 44984
1488.26/1499.81 c #Conflicts: 931000 | #Constraints: 45984
1488.26/1499.81 c #Conflicts: 932000 | #Constraints: 46984
1488.26/1499.81 c #Conflicts: 933000 | #Constraints: 47984
1488.26/1499.81 c #Conflicts: 934000 | #Constraints: 48984
1488.26/1499.81 c INPROCESSING
1488.26/1499.81 c GARBAGE COLLECT
1488.26/1499.81 c #Conflicts: 935000 | #Constraints: 28506
1488.26/1499.81 c #Conflicts: 936000 | #Constraints: 29506
1488.26/1499.81 c #Conflicts: 937000 | #Constraints: 30506
1488.26/1499.81 c #Conflicts: 938000 | #Constraints: 31506
1488.26/1499.81 c #Conflicts: 939000 | #Constraints: 32506
1488.26/1499.81 c #Conflicts: 940000 | #Constraints: 33506
1488.26/1499.81 c #Conflicts: 941000 | #Constraints: 34506
1488.26/1499.81 c #Conflicts: 942000 | #Constraints: 35506
1488.26/1499.81 c #Conflicts: 943000 | #Constraints: 36506
1488.26/1499.81 c #Conflicts: 944000 | #Constraints: 37506
1488.26/1499.81 c #Conflicts: 945000 | #Constraints: 38506
1488.26/1499.81 c #Conflicts: 946000 | #Constraints: 39506
1488.26/1499.81 c #Conflicts: 947000 | #Constraints: 40506
1488.26/1499.81 c #Conflicts: 948000 | #Constraints: 41506
1488.26/1499.81 c #Conflicts: 949000 | #Constraints: 42506
1488.26/1499.81 c #Conflicts: 950000 | #Constraints: 43506
1488.26/1499.81 c #Conflicts: 951000 | #Constraints: 44506
1488.26/1499.81 c #Conflicts: 952000 | #Constraints: 45506
1488.26/1499.81 c #Conflicts: 953000 | #Constraints: 46506
1488.26/1499.81 c #Conflicts: 954000 | #Constraints: 47506
1488.26/1499.81 c #Conflicts: 955000 | #Constraints: 48506
1488.26/1499.81 c #Conflicts: 956000 | #Constraints: 49506
1488.26/1499.81 c #Conflicts: 957000 | #Constraints: 50506
1488.26/1499.81 c #Conflicts: 958000 | #Constraints: 51506
1488.26/1499.81 c #Conflicts: 959000 | #Constraints: 52506
1488.26/1499.81 c #Conflicts: 960000 | #Constraints: 53506
1488.26/1499.81 c #Conflicts: 961000 | #Constraints: 54506
1488.26/1499.81 c #Conflicts: 962000 | #Constraints: 55506
1488.26/1499.81 c #Conflicts: 963000 | #Constraints: 56506
1488.26/1499.81 c #Conflicts: 964000 | #Constraints: 57506
1488.26/1499.81 c #Conflicts: 965000 | #Constraints: 58506
1488.26/1499.81 c #Conflicts: 966000 | #Constraints: 59506
1488.26/1499.81 c #Conflicts: 967000 | #Constraints: 60506
1488.26/1499.81 c #Conflicts: 968000 | #Constraints: 61506
1488.26/1499.81 c #Conflicts: 969000 | #Constraints: 62506
1488.26/1499.81 c #Conflicts: 970000 | #Constraints: 63506
1683.74/1697.60 c #Conflicts: 971000 | #Constraints: 64506
1683.74/1697.60 c #Conflicts: 972000 | #Constraints: 65506
1683.74/1697.60 c #Conflicts: 973000 | #Constraints: 66506
1683.74/1697.60 c #Conflicts: 974000 | #Constraints: 67506
1683.74/1697.60 c #Conflicts: 975000 | #Constraints: 68506
1683.74/1697.60 c #Conflicts: 976000 | #Constraints: 69506
1683.74/1697.60 c #Conflicts: 977000 | #Constraints: 70506
1683.74/1697.60 c #Conflicts: 978000 | #Constraints: 71506
1683.74/1697.60 c #Conflicts: 979000 | #Constraints: 72506
1683.74/1697.60 c #Conflicts: 980000 | #Constraints: 73506
1683.74/1697.60 c #Conflicts: 981000 | #Constraints: 74506
1683.74/1697.60 c #Conflicts: 982000 | #Constraints: 75506
1683.74/1697.60 c #Conflicts: 983000 | #Constraints: 76506
1683.74/1697.60 c #Conflicts: 984000 | #Constraints: 77506
1683.74/1697.60 c #Conflicts: 985000 | #Constraints: 78506
1683.74/1697.60 c #Conflicts: 986000 | #Constraints: 79506
1683.74/1697.60 c #Conflicts: 987000 | #Constraints: 80506
1683.74/1697.60 c #Conflicts: 988000 | #Constraints: 81506
1683.74/1697.60 c #Conflicts: 989000 | #Constraints: 82506
1683.74/1697.60 c #Conflicts: 990000 | #Constraints: 83506
1683.74/1697.60 c #Conflicts: 991000 | #Constraints: 84506
1683.74/1697.60 c #Conflicts: 992000 | #Constraints: 85506
1683.74/1697.60 c #Conflicts: 993000 | #Constraints: 86506
1683.74/1697.60 c #Conflicts: 994000 | #Constraints: 87506
1683.74/1697.60 c #Conflicts: 995000 | #Constraints: 88506
1683.74/1697.60 c #Conflicts: 996000 | #Constraints: 89506
1683.74/1697.60 c #Conflicts: 997000 | #Constraints: 90506
1683.74/1697.60 c #Conflicts: 998000 | #Constraints: 91506
1683.74/1697.60 c #Conflicts: 999000 | #Constraints: 92506
1683.74/1697.60 c #Conflicts: 1000000 | #Constraints: 93506
1683.74/1697.60 c #Conflicts: 1001000 | #Constraints: 94506
1683.74/1697.60 c #Conflicts: 1002000 | #Constraints: 95506
1683.74/1697.60 c #Conflicts: 1003000 | #Constraints: 96506
1683.74/1697.60 c #Conflicts: 1004000 | #Constraints: 97506
1683.74/1697.60 c #Conflicts: 1005000 | #Constraints: 98506
1683.74/1697.60 c #Conflicts: 1006000 | #Constraints: 99506
1683.74/1697.60 c #Conflicts: 1007000 | #Constraints: 100506
1683.74/1697.60 c #Conflicts: 1008000 | #Constraints: 101506
1683.74/1697.60 c #Conflicts: 1009000 | #Constraints: 102507
1683.74/1697.60 c #Conflicts: 1010000 | #Constraints: 103507
1683.74/1697.60 c #Conflicts: 1011000 | #Constraints: 104507
1683.74/1697.60 c #Conflicts: 1012000 | #Constraints: 105507
1683.74/1697.60 c #Conflicts: 1013000 | #Constraints: 106507
1683.74/1697.60 c #Conflicts: 1014000 | #Constraints: 107507
1683.74/1697.60 c INPROCESSING
1683.74/1697.60 c GARBAGE COLLECT
1683.74/1697.60 c #Conflicts: 1015000 | #Constraints: 57932
1683.74/1697.60 c #Conflicts: 1016000 | #Constraints: 58932
1683.74/1697.60 c #Conflicts: 1017000 | #Constraints: 59932
1683.74/1697.60 c #Conflicts: 1018000 | #Constraints: 60932
1683.74/1697.60 c #Conflicts: 1019000 | #Constraints: 61932
1683.74/1697.60 c #Conflicts: 1020000 | #Constraints: 62932
1683.74/1697.60 c #Conflicts: 1021000 | #Constraints: 63932
1683.74/1697.60 c #Conflicts: 1022000 | #Constraints: 64932
1683.74/1697.60 c #Conflicts: 1023000 | #Constraints: 65932
1683.74/1697.60 c #Conflicts: 1024000 | #Constraints: 66932
1683.74/1697.60 c #Conflicts: 1025000 | #Constraints: 67932
1683.74/1697.60 c #Conflicts: 1026000 | #Constraints: 68932
1683.74/1697.60 c #Conflicts: 1027000 | #Constraints: 69932
1683.74/1697.60 c #Conflicts: 1028000 | #Constraints: 70932
1683.74/1697.60 c #Conflicts: 1029000 | #Constraints: 71932
1683.74/1697.60 c #Conflicts: 1030000 | #Constraints: 72932
1683.74/1697.60 c #Conflicts: 1031000 | #Constraints: 73932
1683.74/1697.60 c #Conflicts: 1032000 | #Constraints: 74932
1683.74/1697.60 c #Conflicts: 1033000 | #Constraints: 75932
1683.74/1697.60 c #Conflicts: 1034000 | #Constraints: 76932
1683.74/1697.60 c #Conflicts: 1035000 | #Constraints: 77933
1683.74/1697.60 c #Conflicts: 1036000 | #Constraints: 78933
1683.74/1697.60 c INPROCESSING
1683.74/1697.60 c GARBAGE COLLECT
1683.74/1697.60 c #Conflicts: 1037000 | #Constraints: 43537
1683.74/1697.60 c #Conflicts: 1038000 | #Constraints: 44537
1683.74/1697.60 c #Conflicts: 1039000 | #Constraints: 45537
1683.74/1697.60 c #Conflicts: 1040000 | #Constraints: 46537
1683.74/1697.60 c #Conflicts: 1041000 | #Constraints: 47537
1683.74/1697.60 c #Conflicts: 1042000 | #Constraints: 48537
1683.74/1697.60 c #Conflicts: 1043000 | #Constraints: 49537
1683.74/1697.60 c #Conflicts: 1044000 | #Constraints: 50537
1683.74/1697.60 c #Conflicts: 1045000 | #Constraints: 51537
1683.74/1697.60 c #Conflicts: 1046000 | #Constraints: 52537
1683.74/1697.60 c #Conflicts: 1047000 | #Constraints: 53537
1870.40/1884.98 c #Conflicts: 1048000 | #Constraints: 54537
1870.40/1884.98 c #Conflicts: 1049000 | #Constraints: 55537
1870.40/1884.98 c #Conflicts: 1050000 | #Constraints: 56537
1870.40/1884.98 c #Conflicts: 1051000 | #Constraints: 57537
1870.40/1884.98 c #Conflicts: 1052000 | #Constraints: 58537
1870.40/1884.98 c #Conflicts: 1053000 | #Constraints: 59537
1870.40/1884.98 c #Conflicts: 1054000 | #Constraints: 60537
1870.40/1884.98 c #Conflicts: 1055000 | #Constraints: 61537
1870.40/1884.98 c #Conflicts: 1056000 | #Constraints: 62537
1870.40/1884.98 c #Conflicts: 1057000 | #Constraints: 63537
1870.40/1884.98 c #Conflicts: 1058000 | #Constraints: 64537
1870.40/1884.98 c INPROCESSING
1870.40/1884.98 c GARBAGE COLLECT
1870.40/1884.98 c #Conflicts: 1059000 | #Constraints: 36150
1870.40/1884.98 c #Conflicts: 1060000 | #Constraints: 37150
1870.40/1884.98 c #Conflicts: 1061000 | #Constraints: 38150
1870.40/1884.98 c #Conflicts: 1062000 | #Constraints: 39150
1870.40/1884.98 c #Conflicts: 1063000 | #Constraints: 40150
1870.40/1884.98 c #Conflicts: 1064000 | #Constraints: 41150
1870.40/1884.98 c #Conflicts: 1065000 | #Constraints: 42150
1870.40/1884.98 c #Conflicts: 1066000 | #Constraints: 43150
1870.40/1884.98 c #Conflicts: 1067000 | #Constraints: 44150
1870.40/1884.98 c #Conflicts: 1068000 | #Constraints: 45150
1870.40/1884.98 c #Conflicts: 1069000 | #Constraints: 46150
1870.40/1884.98 c #Conflicts: 1070000 | #Constraints: 47150
1870.40/1884.98 c #Conflicts: 1071000 | #Constraints: 48150
1870.40/1884.98 c #Conflicts: 1072000 | #Constraints: 49150
1870.40/1884.98 c #Conflicts: 1073000 | #Constraints: 50150
1870.40/1884.98 c #Conflicts: 1074000 | #Constraints: 51150
1870.40/1884.98 c #Conflicts: 1075000 | #Constraints: 52150
1870.40/1884.98 c #Conflicts: 1076000 | #Constraints: 53150
1870.40/1884.98 c #Conflicts: 1077000 | #Constraints: 54150
1870.40/1884.98 c #Conflicts: 1078000 | #Constraints: 55150
1870.40/1884.98 c #Conflicts: 1079000 | #Constraints: 56150
1870.40/1884.98 c #Conflicts: 1080000 | #Constraints: 57150
1870.40/1884.98 c #Conflicts: 1081000 | #Constraints: 58150
1870.40/1884.98 c INPROCESSING
1870.40/1884.98 c GARBAGE COLLECT
1870.40/1884.98 c #Conflicts: 1082000 | #Constraints: 33222
1870.40/1884.98 c #Conflicts: 1083000 | #Constraints: 34222
1870.40/1884.98 c #Conflicts: 1084000 | #Constraints: 35222
1870.40/1884.98 c #Conflicts: 1085000 | #Constraints: 36222
1870.40/1884.98 c #Conflicts: 1086000 | #Constraints: 37222
1870.40/1884.98 c #Conflicts: 1087000 | #Constraints: 38222
1870.40/1884.98 c #Conflicts: 1088000 | #Constraints: 39222
1870.40/1884.98 c #Conflicts: 1089000 | #Constraints: 40222
1870.40/1884.98 c #Conflicts: 1090000 | #Constraints: 41222
1870.40/1884.98 c #Conflicts: 1091000 | #Constraints: 42222
1870.40/1884.98 c #Conflicts: 1092000 | #Constraints: 43222
1870.40/1884.98 c #Conflicts: 1093000 | #Constraints: 44222
1870.40/1884.98 c #Conflicts: 1094000 | #Constraints: 45222
1870.40/1884.98 c #Conflicts: 1095000 | #Constraints: 46222
1870.40/1884.98 c #Conflicts: 1096000 | #Constraints: 47222
1870.40/1884.98 c #Conflicts: 1097000 | #Constraints: 48222
1870.40/1884.98 c #Conflicts: 1098000 | #Constraints: 49222
1870.40/1884.98 c #Conflicts: 1099000 | #Constraints: 50222
1870.40/1884.98 c #Conflicts: 1100000 | #Constraints: 51222
1870.40/1884.98 c #Conflicts: 1101000 | #Constraints: 52222
1870.40/1884.98 c #Conflicts: 1102000 | #Constraints: 53222
1870.40/1884.98 c #Conflicts: 1103000 | #Constraints: 54222
1870.40/1884.98 c #Conflicts: 1104000 | #Constraints: 55222
1870.40/1884.98 c INPROCESSING
1870.40/1884.98 c GARBAGE COLLECT
1870.40/1884.98 c #Conflicts: 1105000 | #Constraints: 31814
1870.40/1884.98 c #Conflicts: 1106000 | #Constraints: 32814
1870.40/1884.98 c #Conflicts: 1107000 | #Constraints: 33814
1870.40/1884.98 c #Conflicts: 1108000 | #Constraints: 34814
1870.40/1884.98 c #Conflicts: 1109000 | #Constraints: 35814
1870.40/1884.98 c #Conflicts: 1110000 | #Constraints: 36814
1870.40/1884.98 c #Conflicts: 1111000 | #Constraints: 37814
1870.40/1884.98 c #Conflicts: 1112000 | #Constraints: 38814
1870.40/1884.98 c #Conflicts: 1113000 | #Constraints: 39814
1870.40/1884.98 c #Conflicts: 1114000 | #Constraints: 40814
1870.40/1884.98 c #Conflicts: 1115000 | #Constraints: 41814
1870.40/1884.98 c #Conflicts: 1116000 | #Constraints: 42814
1870.40/1884.98 c #Conflicts: 1117000 | #Constraints: 43814
1870.40/1884.98 c #Conflicts: 1118000 | #Constraints: 44814
1870.40/1884.98 c #Conflicts: 1119000 | #Constraints: 45814
1870.40/1884.98 c #Conflicts: 1120000 | #Constraints: 46814
1870.40/1884.98 c #Conflicts: 1121000 | #Constraints: 47814
1870.40/1884.98 c #Conflicts: 1122000 | #Constraints: 48814
1870.40/1884.98 c #Conflicts: 1123000 | #Constraints: 49814
1870.40/1884.98 c #Conflicts: 1124000 | #Constraints: 50814
2003.42/2018.56 c #Conflicts: 1125000 | #Constraints: 51814
2003.42/2018.56 c #Conflicts: 1126000 | #Constraints: 52814
2003.42/2018.56 c #Conflicts: 1127000 | #Constraints: 53814
2003.42/2018.56 c INPROCESSING
2003.42/2018.56 c GARBAGE COLLECT
2003.42/2018.56 c #Conflicts: 1128000 | #Constraints: 31065
2003.42/2018.56 c #Conflicts: 1129000 | #Constraints: 32065
2003.42/2018.56 c #Conflicts: 1130000 | #Constraints: 33065
2003.42/2018.56 c #Conflicts: 1131000 | #Constraints: 34065
2003.42/2018.56 c #Conflicts: 1132000 | #Constraints: 35065
2003.42/2018.56 c #Conflicts: 1133000 | #Constraints: 36065
2003.42/2018.56 c #Conflicts: 1134000 | #Constraints: 37065
2003.42/2018.56 c #Conflicts: 1135000 | #Constraints: 38065
2003.42/2018.56 c #Conflicts: 1136000 | #Constraints: 39065
2003.42/2018.56 c #Conflicts: 1137000 | #Constraints: 40065
2003.42/2018.56 c #Conflicts: 1138000 | #Constraints: 41065
2003.42/2018.56 c #Conflicts: 1139000 | #Constraints: 42065
2003.42/2018.56 c #Conflicts: 1140000 | #Constraints: 43065
2003.42/2018.56 c #Conflicts: 1141000 | #Constraints: 44065
2003.42/2018.56 c #Conflicts: 1142000 | #Constraints: 45065
2003.42/2018.56 c #Conflicts: 1143000 | #Constraints: 46065
2003.42/2018.56 c #Conflicts: 1144000 | #Constraints: 47065
2003.42/2018.56 c #Conflicts: 1145000 | #Constraints: 48065
2003.42/2018.56 c #Conflicts: 1146000 | #Constraints: 49065
2003.42/2018.56 c #Conflicts: 1147000 | #Constraints: 50065
2003.42/2018.56 c #Conflicts: 1148000 | #Constraints: 51065
2003.42/2018.56 c #Conflicts: 1149000 | #Constraints: 52065
2003.42/2018.56 c #Conflicts: 1150000 | #Constraints: 53065
2003.42/2018.56 c INPROCESSING
2003.42/2018.56 c GARBAGE COLLECT
2003.42/2018.56 c #Conflicts: 1151000 | #Constraints: 30605
2003.42/2018.56 c #Conflicts: 1152000 | #Constraints: 31605
2003.42/2018.56 c #Conflicts: 1153000 | #Constraints: 32605
2003.42/2018.56 c #Conflicts: 1154000 | #Constraints: 33605
2003.42/2018.56 c #Conflicts: 1155000 | #Constraints: 34605
2003.42/2018.56 c #Conflicts: 1156000 | #Constraints: 35605
2003.42/2018.56 c #Conflicts: 1157000 | #Constraints: 36605
2003.42/2018.56 c #Conflicts: 1158000 | #Constraints: 37605
2003.42/2018.56 c #Conflicts: 1159000 | #Constraints: 38605
2003.42/2018.56 c #Conflicts: 1160000 | #Constraints: 39606
2003.42/2018.56 c #Conflicts: 1161000 | #Constraints: 40606
2003.42/2018.56 c #Conflicts: 1162000 | #Constraints: 41606
2003.42/2018.56 c #Conflicts: 1163000 | #Constraints: 42606
2003.42/2018.56 c #Conflicts: 1164000 | #Constraints: 43606
2003.42/2018.56 c #Conflicts: 1165000 | #Constraints: 44606
2003.42/2018.56 c #Conflicts: 1166000 | #Constraints: 45606
2003.42/2018.56 c #Conflicts: 1167000 | #Constraints: 46606
2003.42/2018.56 c #Conflicts: 1168000 | #Constraints: 47606
2003.42/2018.56 c #Conflicts: 1169000 | #Constraints: 48606
2003.42/2018.56 c #Conflicts: 1170000 | #Constraints: 49606
2003.42/2018.56 c #Conflicts: 1171000 | #Constraints: 50606
2003.42/2018.56 c #Conflicts: 1172000 | #Constraints: 51606
2003.42/2018.56 c #Conflicts: 1173000 | #Constraints: 52606
2003.42/2018.56 c #Conflicts: 1174000 | #Constraints: 53606
2003.42/2018.56 c #Conflicts: 1175000 | #Constraints: 54606
2003.42/2018.56 c #Conflicts: 1176000 | #Constraints: 55606
2003.42/2018.56 c #Conflicts: 1177000 | #Constraints: 56606
2003.42/2018.56 c #Conflicts: 1178000 | #Constraints: 57606
2003.42/2018.56 c #Conflicts: 1179000 | #Constraints: 58606
2003.42/2018.56 c #Conflicts: 1180000 | #Constraints: 59606
2003.42/2018.56 c #Conflicts: 1181000 | #Constraints: 60606
2003.42/2018.56 c #Conflicts: 1182000 | #Constraints: 61606
2003.42/2018.56 c #Conflicts: 1183000 | #Constraints: 62606
2003.42/2018.56 c #Conflicts: 1184000 | #Constraints: 63606
2003.42/2018.56 c #Conflicts: 1185000 | #Constraints: 64606
2003.42/2018.56 c #Conflicts: 1186000 | #Constraints: 65606
2003.42/2018.56 c #Conflicts: 1187000 | #Constraints: 66606
2003.42/2018.56 c #Conflicts: 1188000 | #Constraints: 67606
2003.42/2018.56 c #Conflicts: 1189000 | #Constraints: 68606
2003.42/2018.56 c #Conflicts: 1190000 | #Constraints: 69606
2003.42/2018.56 c #Conflicts: 1191000 | #Constraints: 70606
2003.42/2018.56 c #Conflicts: 1192000 | #Constraints: 71606
2003.42/2018.56 c #Conflicts: 1193000 | #Constraints: 72606
2003.42/2018.56 c #Conflicts: 1194000 | #Constraints: 73606
2003.42/2018.56 c #Conflicts: 1195000 | #Constraints: 74606
2003.42/2018.56 c #Conflicts: 1196000 | #Constraints: 75606
2003.42/2018.56 c #Conflicts: 1197000 | #Constraints: 76606
2003.42/2018.56 c #Conflicts: 1198000 | #Constraints: 77606
2003.42/2018.56 c #Conflicts: 1199000 | #Constraints: 78606
2003.42/2018.56 c #Conflicts: 1200000 | #Constraints: 79606
2003.42/2018.56 c #Conflicts: 1201000 | #Constraints: 80606
2003.42/2018.56 c #Conflicts: 1202000 | #Constraints: 81606
2239.49/2255.37 c #Conflicts: 1203000 | #Constraints: 82606
2239.49/2255.37 c #Conflicts: 1204000 | #Constraints: 83606
2239.49/2255.37 c #Conflicts: 1205000 | #Constraints: 84606
2239.49/2255.37 c #Conflicts: 1206000 | #Constraints: 85606
2239.49/2255.37 c #Conflicts: 1207000 | #Constraints: 86606
2239.49/2255.37 c #Conflicts: 1208000 | #Constraints: 87606
2239.49/2255.37 c #Conflicts: 1209000 | #Constraints: 88606
2239.49/2255.37 c #Conflicts: 1210000 | #Constraints: 89606
2239.49/2255.37 c #Conflicts: 1211000 | #Constraints: 90606
2239.49/2255.37 c #Conflicts: 1212000 | #Constraints: 91606
2239.49/2255.37 c #Conflicts: 1213000 | #Constraints: 92606
2239.49/2255.37 c #Conflicts: 1214000 | #Constraints: 93606
2239.49/2255.37 c #Conflicts: 1215000 | #Constraints: 94606
2239.49/2255.37 c #Conflicts: 1216000 | #Constraints: 95606
2239.49/2255.37 c #Conflicts: 1217000 | #Constraints: 96606
2239.49/2255.37 c #Conflicts: 1218000 | #Constraints: 97606
2239.49/2255.37 c #Conflicts: 1219000 | #Constraints: 98606
2239.49/2255.37 c #Conflicts: 1220000 | #Constraints: 99606
2239.49/2255.37 c #Conflicts: 1221000 | #Constraints: 100606
2239.49/2255.37 c #Conflicts: 1222000 | #Constraints: 101606
2239.49/2255.37 c #Conflicts: 1223000 | #Constraints: 102606
2239.49/2255.37 c #Conflicts: 1224000 | #Constraints: 103606
2239.49/2255.37 c #Conflicts: 1225000 | #Constraints: 104606
2239.49/2255.37 c #Conflicts: 1226000 | #Constraints: 105606
2239.49/2255.37 c #Conflicts: 1227000 | #Constraints: 106606
2239.49/2255.37 c #Conflicts: 1228000 | #Constraints: 107606
2239.49/2255.37 c #Conflicts: 1229000 | #Constraints: 108606
2239.49/2255.37 c #Conflicts: 1230000 | #Constraints: 109606
2239.49/2255.37 c #Conflicts: 1231000 | #Constraints: 110606
2239.49/2255.37 c #Conflicts: 1232000 | #Constraints: 111606
2239.49/2255.37 c #Conflicts: 1233000 | #Constraints: 112606
2239.49/2255.37 c #Conflicts: 1234000 | #Constraints: 113606
2239.49/2255.37 c #Conflicts: 1235000 | #Constraints: 114606
2239.49/2255.37 c #Conflicts: 1236000 | #Constraints: 115606
2239.49/2255.37 c #Conflicts: 1237000 | #Constraints: 116606
2239.49/2255.37 c #Conflicts: 1238000 | #Constraints: 117606
2239.49/2255.37 c INPROCESSING
2239.49/2255.37 c GARBAGE COLLECT
2239.49/2255.37 c #Conflicts: 1239000 | #Constraints: 62818
2239.49/2255.37 c #Conflicts: 1240000 | #Constraints: 63818
2239.49/2255.37 c #Conflicts: 1241000 | #Constraints: 64818
2239.49/2255.37 c #Conflicts: 1242000 | #Constraints: 65818
2239.49/2255.37 c #Conflicts: 1243000 | #Constraints: 66818
2239.49/2255.37 c #Conflicts: 1244000 | #Constraints: 67818
2239.49/2255.37 c #Conflicts: 1245000 | #Constraints: 68818
2239.49/2255.37 c #Conflicts: 1246000 | #Constraints: 69818
2239.49/2255.37 c #Conflicts: 1247000 | #Constraints: 70818
2239.49/2255.37 c #Conflicts: 1248000 | #Constraints: 71818
2239.49/2255.37 c #Conflicts: 1249000 | #Constraints: 72818
2239.49/2255.37 c #Conflicts: 1250000 | #Constraints: 73818
2239.49/2255.37 c #Conflicts: 1251000 | #Constraints: 74818
2239.49/2255.37 c #Conflicts: 1252000 | #Constraints: 75818
2239.49/2255.37 c #Conflicts: 1253000 | #Constraints: 76818
2239.49/2255.37 c #Conflicts: 1254000 | #Constraints: 77818
2239.49/2255.37 c #Conflicts: 1255000 | #Constraints: 78818
2239.49/2255.37 c #Conflicts: 1256000 | #Constraints: 79818
2239.49/2255.37 c #Conflicts: 1257000 | #Constraints: 80818
2239.49/2255.37 c #Conflicts: 1258000 | #Constraints: 81818
2239.49/2255.37 c #Conflicts: 1259000 | #Constraints: 82818
2239.49/2255.37 c #Conflicts: 1260000 | #Constraints: 83818
2239.49/2255.37 c #Conflicts: 1261000 | #Constraints: 84818
2239.49/2255.37 c #Conflicts: 1262000 | #Constraints: 85818
2239.49/2255.37 c INPROCESSING
2239.49/2255.37 c GARBAGE COLLECT
2239.49/2255.37 c #Conflicts: 1263000 | #Constraints: 46634
2239.49/2255.37 c #Conflicts: 1264000 | #Constraints: 47634
2239.49/2255.37 c #Conflicts: 1265000 | #Constraints: 48634
2239.49/2255.37 c #Conflicts: 1266000 | #Constraints: 49634
2239.49/2255.37 c #Conflicts: 1267000 | #Constraints: 50634
2239.49/2255.37 c #Conflicts: 1268000 | #Constraints: 51634
2239.49/2255.37 c #Conflicts: 1269000 | #Constraints: 52634
2239.49/2255.37 c #Conflicts: 1270000 | #Constraints: 53634
2239.49/2255.37 c #Conflicts: 1271000 | #Constraints: 54634
2239.49/2255.37 c #Conflicts: 1272000 | #Constraints: 55634
2239.49/2255.37 c #Conflicts: 1273000 | #Constraints: 56634
2239.49/2255.37 c #Conflicts: 1274000 | #Constraints: 57634
2239.49/2255.37 c #Conflicts: 1275000 | #Constraints: 58634
2239.49/2255.37 c #Conflicts: 1276000 | #Constraints: 59634
2239.49/2255.37 c #Conflicts: 1277000 | #Constraints: 60634
2239.49/2255.37 c #Conflicts: 1278000 | #Constraints: 61634
2239.49/2255.37 c #Conflicts: 1279000 | #Constraints: 62634
2370.08/2386.96 c #Conflicts: 1280000 | #Constraints: 63634
2370.08/2386.96 c #Conflicts: 1281000 | #Constraints: 64634
2370.08/2386.96 c #Conflicts: 1282000 | #Constraints: 65634
2370.08/2386.96 c #Conflicts: 1283000 | #Constraints: 66634
2370.08/2386.96 c #Conflicts: 1284000 | #Constraints: 67634
2370.08/2386.96 c #Conflicts: 1285000 | #Constraints: 68634
2370.08/2386.96 c #Conflicts: 1286000 | #Constraints: 69634
2370.08/2386.96 c #Conflicts: 1287000 | #Constraints: 70634
2370.08/2386.96 c INPROCESSING
2370.08/2386.96 c GARBAGE COLLECT
2370.08/2386.96 c #Conflicts: 1288000 | #Constraints: 39210
2370.08/2386.96 c #Conflicts: 1289000 | #Constraints: 40210
2370.08/2386.96 c #Conflicts: 1290000 | #Constraints: 41210
2370.08/2386.96 c #Conflicts: 1291000 | #Constraints: 42210
2370.08/2386.96 c #Conflicts: 1292000 | #Constraints: 43210
2370.08/2386.96 c #Conflicts: 1293000 | #Constraints: 44210
2370.08/2386.96 c #Conflicts: 1294000 | #Constraints: 45210
2370.08/2386.96 c #Conflicts: 1295000 | #Constraints: 46210
2370.08/2386.96 c #Conflicts: 1296000 | #Constraints: 47210
2370.08/2386.96 c #Conflicts: 1297000 | #Constraints: 48210
2370.08/2386.96 c #Conflicts: 1298000 | #Constraints: 49210
2370.08/2386.96 c #Conflicts: 1299000 | #Constraints: 50210
2370.08/2386.96 c #Conflicts: 1300000 | #Constraints: 51210
2370.08/2386.96 c #Conflicts: 1301000 | #Constraints: 52210
2370.08/2386.96 c #Conflicts: 1302000 | #Constraints: 53210
2370.08/2386.96 c #Conflicts: 1303000 | #Constraints: 54210
2370.08/2386.96 c #Conflicts: 1304000 | #Constraints: 55210
2370.08/2386.96 c #Conflicts: 1305000 | #Constraints: 56210
2370.08/2386.96 c #Conflicts: 1306000 | #Constraints: 57210
2370.08/2386.96 c #Conflicts: 1307000 | #Constraints: 58210
2370.08/2386.96 c #Conflicts: 1308000 | #Constraints: 59210
2370.08/2386.96 c #Conflicts: 1309000 | #Constraints: 60210
2370.08/2386.96 c #Conflicts: 1310000 | #Constraints: 61210
2370.08/2386.96 c #Conflicts: 1311000 | #Constraints: 62210
2370.08/2386.96 c #Conflicts: 1312000 | #Constraints: 63210
2370.08/2386.96 c INPROCESSING
2370.08/2386.96 c GARBAGE COLLECT
2370.08/2386.96 c #Conflicts: 1313000 | #Constraints: 35544
2370.08/2386.96 c #Conflicts: 1314000 | #Constraints: 36544
2370.08/2386.96 c #Conflicts: 1315000 | #Constraints: 37544
2370.08/2386.96 c #Conflicts: 1316000 | #Constraints: 38544
2370.08/2386.96 c #Conflicts: 1317000 | #Constraints: 39544
2370.08/2386.96 c #Conflicts: 1318000 | #Constraints: 40544
2370.08/2386.96 c #Conflicts: 1319000 | #Constraints: 41544
2370.08/2386.96 c #Conflicts: 1320000 | #Constraints: 42544
2370.08/2386.96 c #Conflicts: 1321000 | #Constraints: 43544
2370.08/2386.96 c #Conflicts: 1322000 | #Constraints: 44544
2370.08/2386.96 c #Conflicts: 1323000 | #Constraints: 45544
2370.08/2386.96 c #Conflicts: 1324000 | #Constraints: 46544
2370.08/2386.96 c #Conflicts: 1325000 | #Constraints: 47544
2370.08/2386.96 c #Conflicts: 1326000 | #Constraints: 48544
2370.08/2386.96 c #Conflicts: 1327000 | #Constraints: 49544
2370.08/2386.96 c #Conflicts: 1328000 | #Constraints: 50544
2370.08/2386.96 c #Conflicts: 1329000 | #Constraints: 51544
2370.08/2386.96 c #Conflicts: 1330000 | #Constraints: 52544
2370.08/2386.96 c #Conflicts: 1331000 | #Constraints: 53544
2370.08/2386.96 c #Conflicts: 1332000 | #Constraints: 54544
2370.08/2386.96 c #Conflicts: 1333000 | #Constraints: 55544
2370.08/2386.96 c #Conflicts: 1334000 | #Constraints: 56544
2370.08/2386.96 c #Conflicts: 1335000 | #Constraints: 57544
2370.08/2386.96 c #Conflicts: 1336000 | #Constraints: 58544
2370.08/2386.96 c #Conflicts: 1337000 | #Constraints: 59544
2370.08/2386.96 c INPROCESSING
2370.08/2386.96 c GARBAGE COLLECT
2370.08/2386.96 c #Conflicts: 1338000 | #Constraints: 33635
2370.08/2386.96 c #Conflicts: 1339000 | #Constraints: 34635
2370.08/2386.96 c #Conflicts: 1340000 | #Constraints: 35635
2370.08/2386.96 c #Conflicts: 1341000 | #Constraints: 36635
2370.08/2386.96 c #Conflicts: 1342000 | #Constraints: 37635
2370.08/2386.96 c #Conflicts: 1343000 | #Constraints: 38635
2370.08/2386.96 c #Conflicts: 1344000 | #Constraints: 39635
2370.08/2386.96 c #Conflicts: 1345000 | #Constraints: 40635
2370.08/2386.96 c #Conflicts: 1346000 | #Constraints: 41635
2370.08/2386.96 c #Conflicts: 1347000 | #Constraints: 42635
2370.08/2386.96 c #Conflicts: 1348000 | #Constraints: 43635
2370.08/2386.96 c #Conflicts: 1349000 | #Constraints: 44635
2370.08/2386.96 c #Conflicts: 1350000 | #Constraints: 45635
2370.08/2386.96 c #Conflicts: 1351000 | #Constraints: 46635
2370.08/2386.96 c #Conflicts: 1352000 | #Constraints: 47635
2370.08/2386.96 c #Conflicts: 1353000 | #Constraints: 48635
2370.08/2386.96 c #Conflicts: 1354000 | #Constraints: 49635
2370.08/2386.96 c #Conflicts: 1355000 | #Constraints: 50635
2370.08/2386.96 c #Conflicts: 1356000 | #Constraints: 51635
2499.90/2517.22 c #Conflicts: 1357000 | #Constraints: 52635
2499.90/2517.22 c #Conflicts: 1358000 | #Constraints: 53635
2499.90/2517.22 c #Conflicts: 1359000 | #Constraints: 54635
2499.90/2517.22 c #Conflicts: 1360000 | #Constraints: 55635
2499.90/2517.22 c #Conflicts: 1361000 | #Constraints: 56635
2499.90/2517.22 c #Conflicts: 1362000 | #Constraints: 57635
2499.90/2517.22 c INPROCESSING
2499.90/2517.22 c GARBAGE COLLECT
2499.90/2517.22 c #Conflicts: 1363000 | #Constraints: 32618
2499.90/2517.22 c #Conflicts: 1364000 | #Constraints: 33618
2499.90/2517.22 c #Conflicts: 1365000 | #Constraints: 34618
2499.90/2517.22 c #Conflicts: 1366000 | #Constraints: 35618
2499.90/2517.22 c #Conflicts: 1367000 | #Constraints: 36618
2499.90/2517.22 c #Conflicts: 1368000 | #Constraints: 37618
2499.90/2517.22 c #Conflicts: 1369000 | #Constraints: 38618
2499.90/2517.22 c #Conflicts: 1370000 | #Constraints: 39618
2499.90/2517.22 c #Conflicts: 1371000 | #Constraints: 40618
2499.90/2517.22 c #Conflicts: 1372000 | #Constraints: 41618
2499.90/2517.22 c #Conflicts: 1373000 | #Constraints: 42618
2499.90/2517.22 c #Conflicts: 1374000 | #Constraints: 43618
2499.90/2517.22 c #Conflicts: 1375000 | #Constraints: 44618
2499.90/2517.22 c #Conflicts: 1376000 | #Constraints: 45618
2499.90/2517.22 c #Conflicts: 1377000 | #Constraints: 46618
2499.90/2517.22 c #Conflicts: 1378000 | #Constraints: 47618
2499.90/2517.22 c #Conflicts: 1379000 | #Constraints: 48618
2499.90/2517.22 c #Conflicts: 1380000 | #Constraints: 49618
2499.90/2517.22 c #Conflicts: 1381000 | #Constraints: 50618
2499.90/2517.22 c #Conflicts: 1382000 | #Constraints: 51618
2499.90/2517.22 c #Conflicts: 1383000 | #Constraints: 52618
2499.90/2517.22 c #Conflicts: 1384000 | #Constraints: 53618
2499.90/2517.22 c #Conflicts: 1385000 | #Constraints: 54618
2499.90/2517.22 c #Conflicts: 1386000 | #Constraints: 55618
2499.90/2517.22 c #Conflicts: 1387000 | #Constraints: 56618
2499.90/2517.22 c #Conflicts: 1388000 | #Constraints: 57618
2499.90/2517.22 c INPROCESSING
2499.90/2517.22 c GARBAGE COLLECT
2499.90/2517.22 c #Conflicts: 1389000 | #Constraints: 32804
2499.90/2517.22 c #Conflicts: 1390000 | #Constraints: 33804
2499.90/2517.22 c #Conflicts: 1391000 | #Constraints: 34804
2499.90/2517.22 c #Conflicts: 1392000 | #Constraints: 35804
2499.90/2517.22 c #Conflicts: 1393000 | #Constraints: 36804
2499.90/2517.22 c #Conflicts: 1394000 | #Constraints: 37804
2499.90/2517.22 c #Conflicts: 1395000 | #Constraints: 38804
2499.90/2517.22 c #Conflicts: 1396000 | #Constraints: 39804
2499.90/2517.22 c #Conflicts: 1397000 | #Constraints: 40804
2499.90/2517.22 c #Conflicts: 1398000 | #Constraints: 41804
2499.90/2517.22 c #Conflicts: 1399000 | #Constraints: 42804
2499.90/2517.22 c #Conflicts: 1400000 | #Constraints: 43804
2499.90/2517.22 c #Conflicts: 1401000 | #Constraints: 44804
2499.90/2517.22 c #Conflicts: 1402000 | #Constraints: 45804
2499.90/2517.22 c #Conflicts: 1403000 | #Constraints: 46804
2499.90/2517.22 c #Conflicts: 1404000 | #Constraints: 47804
2499.90/2517.22 c #Conflicts: 1405000 | #Constraints: 48804
2499.90/2517.22 c #Conflicts: 1406000 | #Constraints: 49804
2499.90/2517.22 c #Conflicts: 1407000 | #Constraints: 50804
2499.90/2517.22 c #Conflicts: 1408000 | #Constraints: 51804
2499.90/2517.22 c #Conflicts: 1409000 | #Constraints: 52804
2499.90/2517.22 c #Conflicts: 1410000 | #Constraints: 53804
2499.90/2517.22 c #Conflicts: 1411000 | #Constraints: 54804
2499.90/2517.22 c #Conflicts: 1412000 | #Constraints: 55804
2499.90/2517.22 c #Conflicts: 1413000 | #Constraints: 56804
2499.90/2517.22 c #Conflicts: 1414000 | #Constraints: 57804
2499.90/2517.22 c #Conflicts: 1415000 | #Constraints: 58804
2499.90/2517.22 c #Conflicts: 1416000 | #Constraints: 59804
2499.90/2517.22 c #Conflicts: 1417000 | #Constraints: 60804
2499.90/2517.22 c #Conflicts: 1418000 | #Constraints: 61804
2499.90/2517.22 c #Conflicts: 1419000 | #Constraints: 62804
2499.90/2517.22 c #Conflicts: 1420000 | #Constraints: 63804
2499.90/2517.22 c #Conflicts: 1421000 | #Constraints: 64804
2499.90/2517.22 c #Conflicts: 1422000 | #Constraints: 65804
2499.90/2517.22 c #Conflicts: 1423000 | #Constraints: 66804
2499.90/2517.22 c #Conflicts: 1424000 | #Constraints: 67804
2499.90/2517.22 c #Conflicts: 1425000 | #Constraints: 68804
2499.90/2517.22 c #Conflicts: 1426000 | #Constraints: 69804
2499.90/2517.22 c #Conflicts: 1427000 | #Constraints: 70804
2499.90/2517.22 c #Conflicts: 1428000 | #Constraints: 71804
2499.90/2517.22 c #Conflicts: 1429000 | #Constraints: 72804
2499.90/2517.22 c #Conflicts: 1430000 | #Constraints: 73804
2499.90/2517.22 c #Conflicts: 1431000 | #Constraints: 74804
2499.90/2517.22 c #Conflicts: 1432000 | #Constraints: 75804
2499.90/2517.22 c #Conflicts: 1433000 | #Constraints: 76804
2499.90/2517.22 c #Conflicts: 1434000 | #Constraints: 77804
2765.51/2783.73 c #Conflicts: 1435000 | #Constraints: 78804
2765.51/2783.73 c #Conflicts: 1436000 | #Constraints: 79804
2765.51/2783.73 c #Conflicts: 1437000 | #Constraints: 80804
2765.51/2783.73 c #Conflicts: 1438000 | #Constraints: 81804
2765.51/2783.73 c #Conflicts: 1439000 | #Constraints: 82804
2765.51/2783.73 c #Conflicts: 1440000 | #Constraints: 83804
2765.51/2783.73 c #Conflicts: 1441000 | #Constraints: 84804
2765.51/2783.73 c #Conflicts: 1442000 | #Constraints: 85804
2765.51/2783.73 c #Conflicts: 1443000 | #Constraints: 86804
2765.51/2783.73 c #Conflicts: 1444000 | #Constraints: 87804
2765.51/2783.73 c #Conflicts: 1445000 | #Constraints: 88804
2765.51/2783.73 c #Conflicts: 1446000 | #Constraints: 89804
2765.51/2783.73 c #Conflicts: 1447000 | #Constraints: 90804
2765.51/2783.73 c #Conflicts: 1448000 | #Constraints: 91804
2765.51/2783.73 c #Conflicts: 1449000 | #Constraints: 92804
2765.51/2783.73 c #Conflicts: 1450000 | #Constraints: 93804
2765.51/2783.73 c #Conflicts: 1451000 | #Constraints: 94804
2765.51/2783.73 c #Conflicts: 1452000 | #Constraints: 95804
2765.51/2783.73 c #Conflicts: 1453000 | #Constraints: 96804
2765.51/2783.73 c #Conflicts: 1454000 | #Constraints: 97804
2765.51/2783.73 c #Conflicts: 1455000 | #Constraints: 98804
2765.51/2783.73 c #Conflicts: 1456000 | #Constraints: 99804
2765.51/2783.73 c #Conflicts: 1457000 | #Constraints: 100804
2765.51/2783.73 c #Conflicts: 1458000 | #Constraints: 101804
2765.51/2783.73 c #Conflicts: 1459000 | #Constraints: 102804
2765.51/2783.73 c #Conflicts: 1460000 | #Constraints: 103804
2765.51/2783.73 c #Conflicts: 1461000 | #Constraints: 104804
2765.51/2783.73 c #Conflicts: 1462000 | #Constraints: 105804
2765.51/2783.73 c #Conflicts: 1463000 | #Constraints: 106804
2765.51/2783.73 c #Conflicts: 1464000 | #Constraints: 107804
2765.51/2783.73 c #Conflicts: 1465000 | #Constraints: 108804
2765.51/2783.73 c #Conflicts: 1466000 | #Constraints: 109804
2765.51/2783.73 c #Conflicts: 1467000 | #Constraints: 110804
2765.51/2783.73 c #Conflicts: 1468000 | #Constraints: 111804
2765.51/2783.73 c #Conflicts: 1469000 | #Constraints: 112804
2765.51/2783.73 c #Conflicts: 1470000 | #Constraints: 113804
2765.51/2783.73 c #Conflicts: 1471000 | #Constraints: 114804
2765.51/2783.73 c #Conflicts: 1472000 | #Constraints: 115804
2765.51/2783.73 c #Conflicts: 1473000 | #Constraints: 116804
2765.51/2783.73 c #Conflicts: 1474000 | #Constraints: 117804
2765.51/2783.73 c #Conflicts: 1475000 | #Constraints: 118804
2765.51/2783.73 c #Conflicts: 1476000 | #Constraints: 119804
2765.51/2783.73 c #Conflicts: 1477000 | #Constraints: 120804
2765.51/2783.73 c #Conflicts: 1478000 | #Constraints: 121804
2765.51/2783.73 c #Conflicts: 1479000 | #Constraints: 122804
2765.51/2783.73 c #Conflicts: 1480000 | #Constraints: 123804
2765.51/2783.73 c #Conflicts: 1481000 | #Constraints: 124804
2765.51/2783.73 c #Conflicts: 1482000 | #Constraints: 125804
2765.51/2783.73 c #Conflicts: 1483000 | #Constraints: 126804
2765.51/2783.73 c #Conflicts: 1484000 | #Constraints: 127804
2765.51/2783.73 c #Conflicts: 1485000 | #Constraints: 128804
2765.51/2783.73 c INPROCESSING
2765.51/2783.73 c GARBAGE COLLECT
2765.51/2783.73 c #Conflicts: 1486000 | #Constraints: 68513
2765.51/2783.73 c #Conflicts: 1487000 | #Constraints: 69513
2765.51/2783.73 c #Conflicts: 1488000 | #Constraints: 70513
2765.51/2783.73 c #Conflicts: 1489000 | #Constraints: 71513
2765.51/2783.73 c #Conflicts: 1490000 | #Constraints: 72513
2765.51/2783.73 c #Conflicts: 1491000 | #Constraints: 73513
2765.51/2783.73 c #Conflicts: 1492000 | #Constraints: 74513
2765.51/2783.73 c #Conflicts: 1493000 | #Constraints: 75513
2765.51/2783.73 c #Conflicts: 1494000 | #Constraints: 76513
2765.51/2783.73 c #Conflicts: 1495000 | #Constraints: 77513
2765.51/2783.73 c #Conflicts: 1496000 | #Constraints: 78513
2765.51/2783.73 c #Conflicts: 1497000 | #Constraints: 79513
2765.51/2783.73 c #Conflicts: 1498000 | #Constraints: 80513
2765.51/2783.73 c #Conflicts: 1499000 | #Constraints: 81513
2765.51/2783.73 c #Conflicts: 1500000 | #Constraints: 82513
2765.51/2783.73 c #Conflicts: 1501000 | #Constraints: 83513
2765.51/2783.73 c #Conflicts: 1502000 | #Constraints: 84513
2765.51/2783.73 c #Conflicts: 1503000 | #Constraints: 85513
2765.51/2783.73 c #Conflicts: 1504000 | #Constraints: 86513
2765.51/2783.73 c #Conflicts: 1505000 | #Constraints: 87513
2765.51/2783.73 c #Conflicts: 1506000 | #Constraints: 88513
2765.51/2783.73 c #Conflicts: 1507000 | #Constraints: 89513
2765.51/2783.73 c #Conflicts: 1508000 | #Constraints: 90513
2765.51/2783.73 c #Conflicts: 1509000 | #Constraints: 91513
2765.51/2783.73 c #Conflicts: 1510000 | #Constraints: 92513
2765.51/2783.73 c #Conflicts: 1511000 | #Constraints: 93513
2765.51/2783.73 c #Conflicts: 1512000 | #Constraints: 94513
2904.78/2923.56 c INPROCESSING
2904.78/2923.56 c GARBAGE COLLECT
2904.78/2923.56 c #Conflicts: 1513000 | #Constraints: 51491
2904.78/2923.56 c #Conflicts: 1514000 | #Constraints: 52491
2904.78/2923.56 c #Conflicts: 1515000 | #Constraints: 53491
2904.78/2923.56 c #Conflicts: 1516000 | #Constraints: 54491
2904.78/2923.56 c #Conflicts: 1517000 | #Constraints: 55491
2904.78/2923.56 c #Conflicts: 1518000 | #Constraints: 56491
2904.78/2923.56 c #Conflicts: 1519000 | #Constraints: 57491
2904.78/2923.56 c #Conflicts: 1520000 | #Constraints: 58491
2904.78/2923.56 c #Conflicts: 1521000 | #Constraints: 59491
2904.78/2923.56 c #Conflicts: 1522000 | #Constraints: 60491
2904.78/2923.56 c #Conflicts: 1523000 | #Constraints: 61491
2904.78/2923.56 c #Conflicts: 1524000 | #Constraints: 62491
2904.78/2923.56 c #Conflicts: 1525000 | #Constraints: 63491
2904.78/2923.56 c #Conflicts: 1526000 | #Constraints: 64491
2904.78/2923.56 c #Conflicts: 1527000 | #Constraints: 65491
2904.78/2923.56 c #Conflicts: 1528000 | #Constraints: 66491
2904.78/2923.56 c #Conflicts: 1529000 | #Constraints: 67491
2904.78/2923.56 c #Conflicts: 1530000 | #Constraints: 68491
2904.78/2923.56 c #Conflicts: 1531000 | #Constraints: 69491
2904.78/2923.56 c #Conflicts: 1532000 | #Constraints: 70491
2904.78/2923.56 c #Conflicts: 1533000 | #Constraints: 71491
2904.78/2923.56 c #Conflicts: 1534000 | #Constraints: 72491
2904.78/2923.56 c #Conflicts: 1535000 | #Constraints: 73491
2904.78/2923.56 c #Conflicts: 1536000 | #Constraints: 74491
2904.78/2923.56 c #Conflicts: 1537000 | #Constraints: 75491
2904.78/2923.56 c #Conflicts: 1538000 | #Constraints: 76491
2904.78/2923.56 c #Conflicts: 1539000 | #Constraints: 77491
2904.78/2923.56 c INPROCESSING
2904.78/2923.56 c GARBAGE COLLECT
2904.78/2923.56 c #Conflicts: 1540000 | #Constraints: 42901
2904.78/2923.56 c #Conflicts: 1541000 | #Constraints: 43901
2904.78/2923.56 c #Conflicts: 1542000 | #Constraints: 44901
2904.78/2923.56 c #Conflicts: 1543000 | #Constraints: 45901
2904.78/2923.56 c #Conflicts: 1544000 | #Constraints: 46901
2904.78/2923.56 c #Conflicts: 1545000 | #Constraints: 47901
2904.78/2923.56 c #Conflicts: 1546000 | #Constraints: 48901
2904.78/2923.56 c #Conflicts: 1547000 | #Constraints: 49901
2904.78/2923.56 c #Conflicts: 1548000 | #Constraints: 50901
2904.78/2923.56 c #Conflicts: 1549000 | #Constraints: 51901
2904.78/2923.56 c #Conflicts: 1550000 | #Constraints: 52901
2904.78/2923.56 c #Conflicts: 1551000 | #Constraints: 53901
2904.78/2923.56 c #Conflicts: 1552000 | #Constraints: 54901
2904.78/2923.56 c #Conflicts: 1553000 | #Constraints: 55901
2904.78/2923.56 c #Conflicts: 1554000 | #Constraints: 56901
2904.78/2923.56 c #Conflicts: 1555000 | #Constraints: 57901
2904.78/2923.56 c #Conflicts: 1556000 | #Constraints: 58901
2904.78/2923.56 c #Conflicts: 1557000 | #Constraints: 59901
2904.78/2923.56 c #Conflicts: 1558000 | #Constraints: 60901
2904.78/2923.56 c #Conflicts: 1559000 | #Constraints: 61901
2904.78/2923.56 c #Conflicts: 1560000 | #Constraints: 62901
2904.78/2923.56 c #Conflicts: 1561000 | #Constraints: 63901
2904.78/2923.56 c #Conflicts: 1562000 | #Constraints: 64901
2904.78/2923.56 c #Conflicts: 1563000 | #Constraints: 65901
2904.78/2923.56 c #Conflicts: 1564000 | #Constraints: 66901
2904.78/2923.56 c #Conflicts: 1565000 | #Constraints: 67901
2904.78/2923.56 c #Conflicts: 1566000 | #Constraints: 68901
2904.78/2923.56 c INPROCESSING
2904.78/2923.56 c GARBAGE COLLECT
2904.78/2923.56 c #Conflicts: 1567000 | #Constraints: 38580
2904.78/2923.56 c #Conflicts: 1568000 | #Constraints: 39580
2904.78/2923.56 c #Conflicts: 1569000 | #Constraints: 40581
2904.78/2923.56 c #Conflicts: 1570000 | #Constraints: 41581
2904.78/2923.56 c #Conflicts: 1571000 | #Constraints: 42581
2904.78/2923.56 c #Conflicts: 1572000 | #Constraints: 43581
2904.78/2923.56 c #Conflicts: 1573000 | #Constraints: 44581
2904.78/2923.56 c #Conflicts: 1574000 | #Constraints: 45581
2904.78/2923.56 c #Conflicts: 1575000 | #Constraints: 46581
2904.78/2923.56 c #Conflicts: 1576000 | #Constraints: 47581
2904.78/2923.56 c #Conflicts: 1577000 | #Constraints: 48581
2904.78/2923.56 c #Conflicts: 1578000 | #Constraints: 49581
2904.78/2923.56 c #Conflicts: 1579000 | #Constraints: 50581
2904.78/2923.56 c #Conflicts: 1580000 | #Constraints: 51581
2904.78/2923.56 c #Conflicts: 1581000 | #Constraints: 52581
2904.78/2923.56 c #Conflicts: 1582000 | #Constraints: 53581
2904.78/2923.56 c #Conflicts: 1583000 | #Constraints: 54581
2904.78/2923.56 c #Conflicts: 1584000 | #Constraints: 55581
2904.78/2923.56 c #Conflicts: 1585000 | #Constraints: 56581
2904.78/2923.56 c #Conflicts: 1586000 | #Constraints: 57581
2904.78/2923.56 c #Conflicts: 1587000 | #Constraints: 58581
2904.78/2923.56 c #Conflicts: 1588000 | #Constraints: 59581
2904.78/2923.56 c #Conflicts: 1589000 | #Constraints: 60581
3039.72/3059.24 c #Conflicts: 1590000 | #Constraints: 61581
3039.72/3059.24 c #Conflicts: 1591000 | #Constraints: 62581
3039.72/3059.24 c #Conflicts: 1592000 | #Constraints: 63581
3039.72/3059.24 c #Conflicts: 1593000 | #Constraints: 64581
3039.72/3059.24 c INPROCESSING
3039.72/3059.24 c GARBAGE COLLECT
3039.72/3059.24 c #Conflicts: 1594000 | #Constraints: 36167
3039.72/3059.24 c #Conflicts: 1595000 | #Constraints: 37167
3039.72/3059.24 c #Conflicts: 1596000 | #Constraints: 38167
3039.72/3059.24 c #Conflicts: 1597000 | #Constraints: 39167
3039.72/3059.24 c #Conflicts: 1598000 | #Constraints: 40167
3039.72/3059.24 c #Conflicts: 1599000 | #Constraints: 41167
3039.72/3059.24 c #Conflicts: 1600000 | #Constraints: 42167
3039.72/3059.24 c #Conflicts: 1601000 | #Constraints: 43167
3039.72/3059.24 c #Conflicts: 1602000 | #Constraints: 44167
3039.72/3059.24 c #Conflicts: 1603000 | #Constraints: 45167
3039.72/3059.24 c #Conflicts: 1604000 | #Constraints: 46167
3039.72/3059.24 c #Conflicts: 1605000 | #Constraints: 47167
3039.72/3059.24 c #Conflicts: 1606000 | #Constraints: 48167
3039.72/3059.24 c #Conflicts: 1607000 | #Constraints: 49167
3039.72/3059.24 c #Conflicts: 1608000 | #Constraints: 50167
3039.72/3059.24 c #Conflicts: 1609000 | #Constraints: 51167
3039.72/3059.24 c #Conflicts: 1610000 | #Constraints: 52167
3039.72/3059.24 c #Conflicts: 1611000 | #Constraints: 53167
3039.72/3059.24 c #Conflicts: 1612000 | #Constraints: 54167
3039.72/3059.24 c #Conflicts: 1613000 | #Constraints: 55167
3039.72/3059.24 c #Conflicts: 1614000 | #Constraints: 56167
3039.72/3059.24 c #Conflicts: 1615000 | #Constraints: 57167
3039.72/3059.24 c #Conflicts: 1616000 | #Constraints: 58167
3039.72/3059.24 c #Conflicts: 1617000 | #Constraints: 59167
3039.72/3059.24 c #Conflicts: 1618000 | #Constraints: 60167
3039.72/3059.24 c #Conflicts: 1619000 | #Constraints: 61167
3039.72/3059.24 c #Conflicts: 1620000 | #Constraints: 62167
3039.72/3059.24 c #Conflicts: 1621000 | #Constraints: 63167
3039.72/3059.24 c INPROCESSING
3039.72/3059.24 c GARBAGE COLLECT
3039.72/3059.24 c #Conflicts: 1622000 | #Constraints: 35697
3039.72/3059.24 c #Conflicts: 1623000 | #Constraints: 36697
3039.72/3059.24 c #Conflicts: 1624000 | #Constraints: 37697
3039.72/3059.24 c #Conflicts: 1625000 | #Constraints: 38697
3039.72/3059.24 c #Conflicts: 1626000 | #Constraints: 39697
3039.72/3059.24 c #Conflicts: 1627000 | #Constraints: 40697
3039.72/3059.24 c #Conflicts: 1628000 | #Constraints: 41697
3039.72/3059.24 c #Conflicts: 1629000 | #Constraints: 42697
3039.72/3059.24 c #Conflicts: 1630000 | #Constraints: 43697
3039.72/3059.24 c #Conflicts: 1631000 | #Constraints: 44697
3039.72/3059.24 c #Conflicts: 1632000 | #Constraints: 45697
3039.72/3059.24 c #Conflicts: 1633000 | #Constraints: 46698
3039.72/3059.24 c #Conflicts: 1634000 | #Constraints: 47698
3039.72/3059.24 c #Conflicts: 1635000 | #Constraints: 48698
3039.72/3059.24 c #Conflicts: 1636000 | #Constraints: 49698
3039.72/3059.24 c #Conflicts: 1637000 | #Constraints: 50698
3039.72/3059.24 c #Conflicts: 1638000 | #Constraints: 51698
3039.72/3059.24 c #Conflicts: 1639000 | #Constraints: 52698
3039.72/3059.24 c #Conflicts: 1640000 | #Constraints: 53698
3039.72/3059.24 c #Conflicts: 1641000 | #Constraints: 54698
3039.72/3059.24 c #Conflicts: 1642000 | #Constraints: 55698
3039.72/3059.24 c #Conflicts: 1643000 | #Constraints: 56698
3039.72/3059.24 c #Conflicts: 1644000 | #Constraints: 57698
3039.72/3059.24 c #Conflicts: 1645000 | #Constraints: 58698
3039.72/3059.24 c #Conflicts: 1646000 | #Constraints: 59698
3039.72/3059.24 c #Conflicts: 1647000 | #Constraints: 60698
3039.72/3059.24 c #Conflicts: 1648000 | #Constraints: 61698
3039.72/3059.24 c #Conflicts: 1649000 | #Constraints: 62698
3039.72/3059.24 c INPROCESSING
3039.72/3059.24 c GARBAGE COLLECT
3039.72/3059.24 c #Conflicts: 1650000 | #Constraints: 35591
3039.72/3059.24 c #Conflicts: 1651000 | #Constraints: 36591
3039.72/3059.24 c #Conflicts: 1652000 | #Constraints: 37591
3039.72/3059.24 c #Conflicts: 1653000 | #Constraints: 38591
3039.72/3059.24 c #Conflicts: 1654000 | #Constraints: 39591
3039.72/3059.24 c #Conflicts: 1655000 | #Constraints: 40591
3039.72/3059.24 c #Conflicts: 1656000 | #Constraints: 41591
3039.72/3059.24 c #Conflicts: 1657000 | #Constraints: 42591
3039.72/3059.24 c #Conflicts: 1658000 | #Constraints: 43591
3039.72/3059.24 c #Conflicts: 1659000 | #Constraints: 44591
3039.72/3059.24 c #Conflicts: 1660000 | #Constraints: 45591
3039.72/3059.24 c #Conflicts: 1661000 | #Constraints: 46591
3039.72/3059.24 c #Conflicts: 1662000 | #Constraints: 47591
3039.72/3059.24 c #Conflicts: 1663000 | #Constraints: 48591
3039.72/3059.24 c #Conflicts: 1664000 | #Constraints: 49591
3039.72/3059.24 c #Conflicts: 1665000 | #Constraints: 50591
3039.72/3059.24 c #Conflicts: 1666000 | #Constraints: 51591
3172.70/3192.70 c #Conflicts: 1667000 | #Constraints: 52591
3172.70/3192.70 c #Conflicts: 1668000 | #Constraints: 53591
3172.70/3192.70 c #Conflicts: 1669000 | #Constraints: 54591
3172.70/3192.70 c #Conflicts: 1670000 | #Constraints: 55591
3172.70/3192.70 c #Conflicts: 1671000 | #Constraints: 56591
3172.70/3192.70 c #Conflicts: 1672000 | #Constraints: 57591
3172.70/3192.70 c #Conflicts: 1673000 | #Constraints: 58591
3172.70/3192.70 c #Conflicts: 1674000 | #Constraints: 59591
3172.70/3192.70 c #Conflicts: 1675000 | #Constraints: 60591
3172.70/3192.70 c #Conflicts: 1676000 | #Constraints: 61591
3172.70/3192.70 c #Conflicts: 1677000 | #Constraints: 62591
3172.70/3192.70 c INPROCESSING
3172.70/3192.70 c GARBAGE COLLECT
3172.70/3192.70 c #Conflicts: 1678000 | #Constraints: 35512
3172.70/3192.70 c #Conflicts: 1679000 | #Constraints: 36512
3172.70/3192.70 c #Conflicts: 1680000 | #Constraints: 37512
3172.70/3192.70 c #Conflicts: 1681000 | #Constraints: 38512
3172.70/3192.70 c #Conflicts: 1682000 | #Constraints: 39512
3172.70/3192.70 c #Conflicts: 1683000 | #Constraints: 40512
3172.70/3192.70 c #Conflicts: 1684000 | #Constraints: 41512
3172.70/3192.70 c #Conflicts: 1685000 | #Constraints: 42512
3172.70/3192.70 c #Conflicts: 1686000 | #Constraints: 43512
3172.70/3192.70 c #Conflicts: 1687000 | #Constraints: 44512
3172.70/3192.70 c #Conflicts: 1688000 | #Constraints: 45512
3172.70/3192.70 c #Conflicts: 1689000 | #Constraints: 46512
3172.70/3192.70 c #Conflicts: 1690000 | #Constraints: 47512
3172.70/3192.70 c #Conflicts: 1691000 | #Constraints: 48512
3172.70/3192.70 c #Conflicts: 1692000 | #Constraints: 49512
3172.70/3192.70 c #Conflicts: 1693000 | #Constraints: 50512
3172.70/3192.70 c #Conflicts: 1694000 | #Constraints: 51512
3172.70/3192.70 c #Conflicts: 1695000 | #Constraints: 52512
3172.70/3192.70 c #Conflicts: 1696000 | #Constraints: 53512
3172.70/3192.70 c #Conflicts: 1697000 | #Constraints: 54512
3172.70/3192.70 c #Conflicts: 1698000 | #Constraints: 55512
3172.70/3192.70 c #Conflicts: 1699000 | #Constraints: 56512
3172.70/3192.70 c #Conflicts: 1700000 | #Constraints: 57512
3172.70/3192.70 c #Conflicts: 1701000 | #Constraints: 58512
3172.70/3192.70 c #Conflicts: 1702000 | #Constraints: 59512
3172.70/3192.70 c #Conflicts: 1703000 | #Constraints: 60512
3172.70/3192.70 c #Conflicts: 1704000 | #Constraints: 61512
3172.70/3192.70 c #Conflicts: 1705000 | #Constraints: 62512
3172.70/3192.70 c INPROCESSING
3172.70/3192.70 c GARBAGE COLLECT
3172.70/3192.70 c #Conflicts: 1706000 | #Constraints: 35407
3172.70/3192.70 c #Conflicts: 1707000 | #Constraints: 36407
3172.70/3192.70 c #Conflicts: 1708000 | #Constraints: 37407
3172.70/3192.70 c #Conflicts: 1709000 | #Constraints: 38407
3172.70/3192.70 c #Conflicts: 1710000 | #Constraints: 39407
3172.70/3192.70 c #Conflicts: 1711000 | #Constraints: 40407
3172.70/3192.70 c #Conflicts: 1712000 | #Constraints: 41407
3172.70/3192.70 c #Conflicts: 1713000 | #Constraints: 42407
3172.70/3192.70 c #Conflicts: 1714000 | #Constraints: 43407
3172.70/3192.70 c #Conflicts: 1715000 | #Constraints: 44407
3172.70/3192.70 c #Conflicts: 1716000 | #Constraints: 45407
3172.70/3192.70 c #Conflicts: 1717000 | #Constraints: 46407
3172.70/3192.70 c #Conflicts: 1718000 | #Constraints: 47407
3172.70/3192.70 c #Conflicts: 1719000 | #Constraints: 48407
3172.70/3192.70 c #Conflicts: 1720000 | #Constraints: 49407
3172.70/3192.70 c #Conflicts: 1721000 | #Constraints: 50407
3172.70/3192.70 c #Conflicts: 1722000 | #Constraints: 51407
3172.70/3192.70 c #Conflicts: 1723000 | #Constraints: 52407
3172.70/3192.70 c #Conflicts: 1724000 | #Constraints: 53407
3172.70/3192.70 c #Conflicts: 1725000 | #Constraints: 54407
3172.70/3192.70 c #Conflicts: 1726000 | #Constraints: 55407
3172.70/3192.70 c #Conflicts: 1727000 | #Constraints: 56407
3172.70/3192.70 c #Conflicts: 1728000 | #Constraints: 57407
3172.70/3192.70 c #Conflicts: 1729000 | #Constraints: 58407
3172.70/3192.70 c #Conflicts: 1730000 | #Constraints: 59407
3172.70/3192.70 c #Conflicts: 1731000 | #Constraints: 60407
3172.70/3192.70 c #Conflicts: 1732000 | #Constraints: 61407
3172.70/3192.70 c #Conflicts: 1733000 | #Constraints: 62407
3172.70/3192.70 c #Conflicts: 1734000 | #Constraints: 63407
3172.70/3192.70 c #Conflicts: 1735000 | #Constraints: 64407
3172.70/3192.70 c #Conflicts: 1736000 | #Constraints: 65407
3172.70/3192.70 c #Conflicts: 1737000 | #Constraints: 66407
3172.70/3192.70 c #Conflicts: 1738000 | #Constraints: 67407
3172.70/3192.70 c #Conflicts: 1739000 | #Constraints: 68407
3172.70/3192.70 c #Conflicts: 1740000 | #Constraints: 69407
3172.70/3192.70 c #Conflicts: 1741000 | #Constraints: 70407
3172.70/3192.70 c #Conflicts: 1742000 | #Constraints: 71407
3172.70/3192.70 c #Conflicts: 1743000 | #Constraints: 72407
3477.16/3498.34 c #Conflicts: 1744000 | #Constraints: 73407
3477.16/3498.34 c #Conflicts: 1745000 | #Constraints: 74407
3477.16/3498.34 c #Conflicts: 1746000 | #Constraints: 75407
3477.16/3498.34 c #Conflicts: 1747000 | #Constraints: 76407
3477.16/3498.34 c #Conflicts: 1748000 | #Constraints: 77407
3477.16/3498.34 c #Conflicts: 1749000 | #Constraints: 78407
3477.16/3498.34 c #Conflicts: 1750000 | #Constraints: 79407
3477.16/3498.34 c #Conflicts: 1751000 | #Constraints: 80407
3477.16/3498.34 c #Conflicts: 1752000 | #Constraints: 81407
3477.16/3498.34 c #Conflicts: 1753000 | #Constraints: 82407
3477.16/3498.34 c #Conflicts: 1754000 | #Constraints: 83407
3477.16/3498.34 c #Conflicts: 1755000 | #Constraints: 84407
3477.16/3498.34 c #Conflicts: 1756000 | #Constraints: 85407
3477.16/3498.34 c #Conflicts: 1757000 | #Constraints: 86407
3477.16/3498.34 c #Conflicts: 1758000 | #Constraints: 87407
3477.16/3498.34 c #Conflicts: 1759000 | #Constraints: 88407
3477.16/3498.34 c #Conflicts: 1760000 | #Constraints: 89407
3477.16/3498.34 c #Conflicts: 1761000 | #Constraints: 90407
3477.16/3498.34 c #Conflicts: 1762000 | #Constraints: 91407
3477.16/3498.34 c #Conflicts: 1763000 | #Constraints: 92407
3477.16/3498.34 c #Conflicts: 1764000 | #Constraints: 93407
3477.16/3498.34 c #Conflicts: 1765000 | #Constraints: 94407
3477.16/3498.34 c #Conflicts: 1766000 | #Constraints: 95407
3477.16/3498.34 c #Conflicts: 1767000 | #Constraints: 96407
3477.16/3498.34 c #Conflicts: 1768000 | #Constraints: 97407
3477.16/3498.34 c #Conflicts: 1769000 | #Constraints: 98407
3477.16/3498.34 c #Conflicts: 1770000 | #Constraints: 99407
3477.16/3498.34 c #Conflicts: 1771000 | #Constraints: 100407
3477.16/3498.34 c #Conflicts: 1772000 | #Constraints: 101407
3477.16/3498.34 c #Conflicts: 1773000 | #Constraints: 102407
3477.16/3498.34 c #Conflicts: 1774000 | #Constraints: 103407
3477.16/3498.34 c #Conflicts: 1775000 | #Constraints: 104407
3477.16/3498.34 c #Conflicts: 1776000 | #Constraints: 105407
3477.16/3498.34 c #Conflicts: 1777000 | #Constraints: 106407
3477.16/3498.34 c #Conflicts: 1778000 | #Constraints: 107407
3477.16/3498.34 c #Conflicts: 1779000 | #Constraints: 108407
3477.16/3498.34 c #Conflicts: 1780000 | #Constraints: 109407
3477.16/3498.34 c #Conflicts: 1781000 | #Constraints: 110407
3477.16/3498.34 c #Conflicts: 1782000 | #Constraints: 111407
3477.16/3498.34 c #Conflicts: 1783000 | #Constraints: 112407
3477.16/3498.34 c #Conflicts: 1784000 | #Constraints: 113407
3477.16/3498.34 c #Conflicts: 1785000 | #Constraints: 114407
3477.16/3498.34 c #Conflicts: 1786000 | #Constraints: 115407
3477.16/3498.34 c #Conflicts: 1787000 | #Constraints: 116407
3477.16/3498.34 c #Conflicts: 1788000 | #Constraints: 117407
3477.16/3498.34 c #Conflicts: 1789000 | #Constraints: 118407
3477.16/3498.34 c #Conflicts: 1790000 | #Constraints: 119407
3477.16/3498.34 c #Conflicts: 1791000 | #Constraints: 120407
3477.16/3498.34 c #Conflicts: 1792000 | #Constraints: 121407
3477.16/3498.34 c #Conflicts: 1793000 | #Constraints: 122407
3477.16/3498.34 c #Conflicts: 1794000 | #Constraints: 123407
3477.16/3498.34 c #Conflicts: 1795000 | #Constraints: 124407
3477.16/3498.34 c #Conflicts: 1796000 | #Constraints: 125407
3477.16/3498.34 c #Conflicts: 1797000 | #Constraints: 126407
3477.16/3498.34 c #Conflicts: 1798000 | #Constraints: 127407
3477.16/3498.34 c #Conflicts: 1799000 | #Constraints: 128407
3477.16/3498.34 c #Conflicts: 1800000 | #Constraints: 129407
3477.16/3498.34 c #Conflicts: 1801000 | #Constraints: 130407
3477.16/3498.34 c #Conflicts: 1802000 | #Constraints: 131407
3477.16/3498.34 c #Conflicts: 1803000 | #Constraints: 132407
3477.16/3498.34 c #Conflicts: 1804000 | #Constraints: 133407
3477.16/3498.34 c #Conflicts: 1805000 | #Constraints: 134407
3477.16/3498.34 c #Conflicts: 1806000 | #Constraints: 135407
3477.16/3498.34 c #Conflicts: 1807000 | #Constraints: 136407
3477.16/3498.34 c #Conflicts: 1808000 | #Constraints: 137407
3477.16/3498.34 c #Conflicts: 1809000 | #Constraints: 138407
3477.16/3498.34 c #Conflicts: 1810000 | #Constraints: 139407
3477.16/3498.34 c #Conflicts: 1811000 | #Constraints: 140407
3477.16/3498.34 c #Conflicts: 1812000 | #Constraints: 141407
3477.16/3498.34 c INPROCESSING
3477.16/3498.34 c GARBAGE COLLECT
3477.16/3498.34 c rational objective 88.8669
3600.07/3621.80 c #Conflicts: 1813000 | #Constraints: 74536
3600.07/3621.80 c #Conflicts: 1814000 | #Constraints: 75536
3600.07/3621.80 c #Conflicts: 1815000 | #Constraints: 76536
3600.07/3621.80 c #Conflicts: 1816000 | #Constraints: 77536
3600.07/3621.80 c #Conflicts: 1817000 | #Constraints: 78536
3600.07/3621.80 c #Conflicts: 1818000 | #Constraints: 79536
3600.07/3621.80 c #Conflicts: 1819000 | #Constraints: 80536
3600.07/3621.80 c #Conflicts: 1820000 | #Constraints: 81536
3600.07/3621.80 c #Conflicts: 1821000 | #Constraints: 82536
3600.07/3621.80 c #Conflicts: 1822000 | #Constraints: 83536
3600.07/3621.80 c #Conflicts: 1823000 | #Constraints: 84536
3600.07/3621.80 c #Conflicts: 1824000 | #Constraints: 85536
3600.07/3621.80 c #Conflicts: 1825000 | #Constraints: 86536
3600.07/3621.80 c #Conflicts: 1826000 | #Constraints: 87536
3600.07/3621.80 c #Conflicts: 1827000 | #Constraints: 88536
3600.07/3621.80 c #Conflicts: 1828000 | #Constraints: 89536
3600.07/3621.80 c #Conflicts: 1829000 | #Constraints: 90536
3600.07/3621.80 c #Conflicts: 1830000 | #Constraints: 91536
3600.07/3621.80 c #Conflicts: 1831000 | #Constraints: 92536
3600.07/3621.80 c #Conflicts: 1832000 | #Constraints: 93536
3600.07/3621.80 c #Conflicts: 1833000 | #Constraints: 94536
3600.07/3621.80 c #Conflicts: 1834000 | #Constraints: 95536
3600.07/3621.80 c #Conflicts: 1835000 | #Constraints: 96536
3600.07/3621.80 c #Conflicts: 1836000 | #Constraints: 97536
3600.07/3621.80 c #Conflicts: 1837000 | #Constraints: 98536
3600.07/3621.80 c #Conflicts: 1838000 | #Constraints: 99536
3600.07/3621.80 c #Conflicts: 1839000 | #Constraints: 100536
3600.07/3621.80 c #Conflicts: 1840000 | #Constraints: 101536
3600.07/3621.80 c #Conflicts: 1841000 | #Constraints: 102536
3600.07/3621.80 c #Conflicts: 1842000 | #Constraints: 103536
3600.07/3621.80 c INPROCESSING
3600.07/3621.80 c GARBAGE COLLECT
3600.07/3621.80 c #Conflicts: 1843000 | #Constraints: 55846
3600.07/3621.80 c #Conflicts: 1844000 | #Constraints: 56846
3600.07/3621.80 c #Conflicts: 1845000 | #Constraints: 57846
3600.07/3621.80 c #Conflicts: 1846000 | #Constraints: 58846
3600.07/3621.80 c #Conflicts: 1847000 | #Constraints: 59846
3600.07/3621.80 c #Conflicts: 1848000 | #Constraints: 60846
3600.07/3621.80 c #Conflicts: 1849000 | #Constraints: 61846
3600.07/3621.80 c #Conflicts: 1850000 | #Constraints: 62846
3600.07/3621.80 c #Conflicts: 1851000 | #Constraints: 63846
3600.07/3621.80 c #Conflicts: 1852000 | #Constraints: 64846
3600.07/3621.80 c #Conflicts: 1853000 | #Constraints: 65846
3600.07/3621.80 c #Conflicts: 1854000 | #Constraints: 66846
3600.07/3621.80 c cpu time 3578.84 s
3600.07/3621.80 c deterministic time 250907245345 2.51e+11
3600.07/3621.80 c optimization time 24.278 s
3600.07/3621.80 c total solve time 3554.52 s
3600.07/3621.80 c core-guided solve time 0 s
3600.07/3621.80 c propagation time 1907.6 s
3600.07/3621.80 c conflict analysis time 1463.91 s
3600.07/3621.80 c propagations 979983541
3600.07/3621.80 c resolve steps 94709378
3600.07/3621.80 c decisions 11041662
3600.07/3621.80 c conflicts 1854784
3600.07/3621.80 c restarts 3580
3600.07/3621.80 c inprocessing phases 89
3600.07/3621.80 c garbage collections 89 ,( 100.00 )
3600.07/3621.80 c input clauses 5773 ,( 98.62 )
3600.07/3621.80 c input cardinalities 81 ,( 1.38 )
3600.07/3621.80 c input general constraints 0 ,( 0.00 )
3600.07/3621.80 c input average constraint length 6.12
3600.07/3621.80 c input average constraint degree 1.91
3600.07/3621.80 c learned clauses 1492069 ,( 80.44 )
3600.07/3621.80 c learned cardinalities 26554 ,( 1.43 )
3600.07/3621.80 c learned general constraints 336169 ,( 18.12 )
3600.07/3621.80 c learned average constraint length 663.84
3600.07/3621.80 c learned average constraint degree 7263509.53
3600.07/3621.80 c watched CF 32, 64, 128, Arb: 115479 , 0 , 0 , 0
3600.07/3621.80 c counting CF 32, 64, 128, Arb: 220690 , 0 , 0 , 0
3600.07/3621.80 c watched constraints 115479 ,( 34.35 )
3600.07/3621.80 c counting constraints 220690 ,( 65.65 )
3600.07/3621.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1816940170 , 600041496 , 3141492923 ,( 125883164 , 3015609759 )
3600.07/3621.80 c gcd simplifications 923
3600.07/3621.80 c detected cardinalities 1361
3600.07/3621.80 c weakened non-implied lits 363959256
3600.07/3621.80 c weakened non-implying lits 211545
3600.07/3621.80 c original variables 5571
3600.07/3621.80 c clausal propagations 380244934
3600.07/3621.80 c cardinality propagations 355347531
3600.07/3621.80 c watched propagations 4565218
3600.07/3621.80 c counting propagations 234291395
3600.07/3621.80 c watch lookups 140975766989
3600.07/3621.80 c watch backjump lookups 0
3600.07/3621.80 c watch checks 39518276615
3600.07/3621.80 c propagation checks 63871752505
3600.07/3621.80 c constraint additions 4557160344
3600.07/3621.80 c trail pops 992875767
3600.07/3621.80 c formula constraints 5854
3600.07/3621.80 c learned constraints 1854778
3600.07/3621.80 c bound constraints 0
3600.07/3621.80 c core-guided constraints 0
3600.07/3621.80 c encountered formula constraints 58226205
3600.07/3621.80 c encountered learned constraints 38337939
3600.07/3621.80 c encountered bound constraints 0
3600.07/3621.80 c encountered core-guided constraints 0
3600.07/3621.80 c LP total time 185.405 s
3600.07/3621.80 c LP solve time 178.33 s
3600.07/3621.80 c LP constraints added 6176
3600.07/3621.80 c LP constraints removed 128
3600.07/3621.80 c LP pivots internal 193814
3600.07/3621.80 c LP pivots root 194107
3600.07/3621.80 c LP calls 25
3600.07/3621.80 c LP optimalities 10
3600.07/3621.80 c LP no pivot count 0
3600.07/3621.80 c LP infeasibilities 7
3600.07/3621.80 c LP valid Farkas constraints 6
3600.07/3621.80 c LP learned Farkas constraints 5
3600.07/3621.80 c LP basis resets 2
3600.07/3621.80 c LP cycling count 0
3600.07/3621.80 c LP singular count 1
3600.07/3621.80 c LP no primal count 0
3600.07/3621.80 c LP no farkas count 1
3600.07/3621.80 c LP other issue count 0
3600.07/3621.80 c LP Gomory cuts 3
3600.07/3621.80 c LP learned cuts 319
3600.07/3621.80 c LP deleted cuts 128
3600.07/3621.80 c LP encountered Gomory constraints 0
3600.07/3621.80 c LP encountered Farkas constraints 7
3600.07/3621.80 c LP encountered learned Farkas constraints 6
3600.07/3621.80 c CG auxiliary variables introduced 0
3600.07/3621.80 c CG solutions found 0
3600.07/3621.80 c CG cores constructed 0
3600.07/3621.80 c CG core cardinality constraints returned 0
3600.07/3621.80 c CG unit cores 0
3600.07/3621.80 c CG single cores 0
3600.07/3621.80 c CG blocks removed during cardinality reduction 0
3600.07/3621.80 c CG first core best 0
3600.07/3621.80 c CG decision core best 0
3600.07/3621.80 c CG core reduction tie 0
3600.07/3621.80 c CG core degree average 0.00
3600.07/3621.80 c CG core slack average 0.00
3600.07/3621.80 c CG core upper bound improvements 0
3600.07/3621.80 c STR number of successful calls 0
3600.07/3621.80 c STR number of unsuccessful calls 0
3600.07/3621.80 c STR number of inconclusive calls 0
3600.07/3621.80 c STR number of successful attempts 0
3600.07/3621.80 c STR number of unsuccessful attempts 0
3600.07/3621.80 c STR number of inconclusive attempts 0
3600.07/3621.80 c STR average degree increase per successful call inf
3600.07/3621.80 c STR average degree increase per successful attempt inf
3600.07/3621.80 c STR total number of conflicts for successful attempts 0
3600.07/3621.80 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3621.80 c STR total number of conflicts for inconclusive attempts 0
3600.07/3621.80 c STR average number of conflicts per successful attempt inf
3600.07/3621.80 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3621.80 c STR average number of conflicts per inconclusive attempt inf
3600.07/3621.80 c AVG.sumWPerc 58.36
3600.07/3621.80 c bigint constraints 0
3600.07/3621.80 s UNKNOWN
3600.07/3621.80 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 (58011 MiB free)
memory of node 1: 64465 MiB (57633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507521-1751177722/watcher-4507521-1751177722 -o /tmp/evaluation-result-4507521-1751177722/solver-4507521-1751177722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20381 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507521-1751177722.opb PROOFDIR/proof-4507521-1751177722
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21177, runsolver pid=21174
[startup+0.100063 s]*
/proc/loadavg: 4.07 4.08 4.09 5/270 21180
/proc/meminfo: memFree=118394204/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=70532 memory=25492 CPUtime=0.05 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 4423 0 0 0 4 1 0 0 20 0 1 0 33449643 72224768 6373 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 17633 6373 2240 1147 0 5060 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 74724 KiB
Current children cumulated memory: 28564 KiB
[startup+0.205662 s]*
/proc/loadavg: 4.07 4.08 4.09 5/270 21180
/proc/meminfo: memFree=118392440/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=72456 memory=27156 CPUtime=0.15 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 4808 0 0 0 14 1 0 0 20 0 1 0 33449643 74194944 6789 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 18114 6789 2272 1147 0 5541 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 76648 KiB
Current children cumulated memory: 30228 KiB
[startup+0.305658 s]*
/proc/loadavg: 4.07 4.08 4.09 5/270 21180
/proc/meminfo: memFree=118390424/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=72456 memory=27156 CPUtime=0.25 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 4808 0 0 0 24 1 0 0 20 0 1 0 33449643 74194944 6789 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 18114 6789 2272 1147 0 5541 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 76648 KiB
Current children cumulated memory: 30228 KiB
[startup+0.700201 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 21180
/proc/meminfo: memFree=118390676/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=73588 memory=28308 CPUtime=0.64 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 5103 0 0 0 62 2 0 0 20 0 1 0 33449643 75354112 7077 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 18397 7077 2272 1147 0 5824 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 77780 KiB
Current children cumulated memory: 31380 KiB
[startup+1.50019 s]
/proc/loadavg: 4.14 4.10 4.09 5/270 21180
/proc/meminfo: memFree=118384628/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=76552 memory=33728 CPUtime=1.44 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 5892 0 0 0 139 5 0 0 20 0 1 0 33449643 78389248 8432 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 19138 8432 2336 1147 0 6565 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 80744 KiB
Current children cumulated memory: 36800 KiB
[startup+3.10487 s]
/proc/loadavg: 4.14 4.10 4.09 5/270 21180
/proc/meminfo: memFree=118380848/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=78160 memory=35392 CPUtime=3.04 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 6308 0 0 0 297 7 0 0 20 0 1 0 33449643 80035840 8848 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 19540 8848 2336 1147 0 6967 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 82352 KiB
Current children cumulated memory: 38464 KiB
[startup+6.30018 s]
/proc/loadavg: 4.13 4.10 4.09 5/269 21180
/proc/meminfo: memFree=118315576/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=84464 memory=41184 CPUtime=6.23 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 7233 0 0 0 607 16 0 0 20 0 1 0 33449643 86491136 10296 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 21116 10296 2336 1147 0 8543 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 88656 KiB
Current children cumulated memory: 44256 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 4.09 4.09 4/263 21206
/proc/meminfo: memFree=119471932/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=88876 memory=45280 CPUtime=12.61 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 8255 0 0 0 1234 27 0 0 20 0 1 0 33449643 91009024 11320 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 22219 11320 2336 1147 0 9646 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 93068 KiB
Current children cumulated memory: 48352 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 21229
/proc/meminfo: memFree=124526980/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=95656 memory=51584 CPUtime=25.37 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 9331 0 0 0 2485 52 0 0 20 0 1 0 33449643 97951744 12896 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 23914 12896 2336 1147 0 11341 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 99848 KiB
Current children cumulated memory: 54656 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 21231
/proc/meminfo: memFree=124173800/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=110352 memory=60032 CPUtime=50.73 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 11454 0 0 0 4979 94 0 0 20 0 1 0 33449643 113000448 15008 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 27588 15008 2336 1147 0 15015 0
Current children cumulated CPU time: 50.75 s
Current children cumulated vsize: 114544 KiB
Current children cumulated memory: 63104 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 21326
/proc/meminfo: memFree=123771368/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=197280 memory=135400 CPUtime=101.31 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 19082 0 0 0 9969 162 0 0 20 0 1 0 33449643 202014720 33850 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 49320 33850 2336 1147 0 36747 0
Current children cumulated CPU time: 101.33 s
Current children cumulated vsize: 201472 KiB
Current children cumulated memory: 138472 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 21422
/proc/meminfo: memFree=123384904/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=214756 memory=153552 CPUtime=160.82 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 23103 0 0 0 15843 239 0 0 20 0 1 0 33449643 219910144 38388 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 53689 38388 2336 1147 0 41116 0
Current children cumulated CPU time: 160.84 s
Current children cumulated vsize: 218948 KiB
Current children cumulated memory: 156624 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/273 21425
/proc/meminfo: memFree=122780612/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=249740 memory=199336 CPUtime=220.23 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 31006 0 0 0 21731 292 0 0 20 0 1 0 33449643 255733760 49834 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 62435 49834 2336 1147 0 49862 0
################
# More data... #
################
/proc/21180/statm: 173683 161479 2432 1147 0 161110 0
Current children cumulated CPU time: 3022.86 s
Current children cumulated vsize: 698924 KiB
Current children cumulated memory: 648988 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/273 21680
/proc/meminfo: memFree=111685480/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=694732 memory=645916 CPUtime=3082.63 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 70508 0 0 0 306318 1945 0 0 20 0 1 0 33449643 711405568 161479 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 173683 161479 2432 1147 0 161110 0
Current children cumulated CPU time: 3082.65 s
Current children cumulated vsize: 698924 KiB
Current children cumulated memory: 648988 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/274 21683
/proc/meminfo: memFree=111286488/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=694732 memory=645916 CPUtime=3142.38 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 70508 0 0 0 312259 1979 0 0 20 0 1 0 33449643 711405568 161479 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 173683 161479 2432 1147 0 161110 0
Current children cumulated CPU time: 3142.4 s
Current children cumulated vsize: 698924 KiB
Current children cumulated memory: 648988 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/271 21685
/proc/meminfo: memFree=110916520/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=694732 memory=645916 CPUtime=3202.08 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 70523 0 0 0 318210 1998 0 0 20 0 1 0 33449643 711405568 161479 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 173683 161479 2432 1147 0 161110 0
Current children cumulated CPU time: 3202.1 s
Current children cumulated vsize: 698924 KiB
Current children cumulated memory: 648988 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 21687
/proc/meminfo: memFree=110551372/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=694876 memory=646044 CPUtime=3261.88 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 70573 0 0 0 324168 2020 0 0 20 0 1 0 33449643 711553024 161511 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 173719 161511 2432 1147 0 161146 0
Current children cumulated CPU time: 3261.9 s
Current children cumulated vsize: 699068 KiB
Current children cumulated memory: 649116 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 21690
/proc/meminfo: memFree=110204404/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=696552 memory=647068 CPUtime=3321.71 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 70978 0 0 0 330136 2035 0 0 20 0 1 0 33449643 713269248 161767 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 174138 161767 2432 1147 0 161565 0
Current children cumulated CPU time: 3321.73 s
Current children cumulated vsize: 700744 KiB
Current children cumulated memory: 650140 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 4/273 21695
/proc/meminfo: memFree=109859164/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=704344 memory=651932 CPUtime=3381.41 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 72207 0 0 0 336093 2048 0 0 20 0 1 0 33449643 721248256 162983 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 176086 162983 2432 1147 0 163513 0
Current children cumulated CPU time: 3381.43 s
Current children cumulated vsize: 708536 KiB
Current children cumulated memory: 655004 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 21699
/proc/meminfo: memFree=109526040/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=717532 memory=665568 CPUtime=3441.22 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 74096 0 0 0 342063 2059 0 0 20 0 1 0 33449643 734752768 166392 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 179383 166392 2432 1147 0 166810 0
Current children cumulated CPU time: 3441.24 s
Current children cumulated vsize: 721724 KiB
Current children cumulated memory: 668640 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 21703
/proc/meminfo: memFree=109139532/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=944236 memory=682612 CPUtime=3500.91 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 76820 0 0 0 348005 2086 0 0 20 0 1 0 33449643 966897664 170653 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 236059 170653 2432 1147 0 223486 0
Current children cumulated CPU time: 3500.93 s
Current children cumulated vsize: 948428 KiB
Current children cumulated memory: 685684 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 21706
/proc/meminfo: memFree=108781016/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=944772 memory=682868 CPUtime=3560.71 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 76886 0 0 0 353963 2108 0 0 20 0 1 0 33449643 967446528 170717 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 236193 170717 2432 1147 0 223620 0
Current children cumulated CPU time: 3560.73 s
Current children cumulated vsize: 948964 KiB
Current children cumulated memory: 685940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3621.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 21707
/proc/meminfo: memFree=108554892/131249996 swapFree=33010684/33010684
[pid=21177] ppid=21174 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/21177/stat : 21177 (run-dec-break-l) S 21174 21177 20370 0 -1 4194304 241 4016 0 0 0 0 1 1 20 0 1 0 33449640 4292608 768 18446744073709551615 94284040519680 94284041414213 140736376364272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94284041653264 94284041701008 94284067631104 140736376371477 140736376371678 140736376371678 140736376377280 0
/proc/21177/statm: 1048 768 704 219 0 110 0
[pid=21180] ppid=21177 vsize=946200 memory=684276 CPUtime=3600.05 cores=4,6
/proc/21180/stat : 21180 (roundingsat) R 21177 21177 20370 0 -1 4194304 77235 0 0 0 357883 2122 0 0 20 0 1 0 33449643 968908800 171069 18446744073709551615 4227072 8923433 140733502162752 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22372352 140733502171380 140733502171688 140733502171688 140733502177258 0
/proc/21180/statm: 236550 171069 2432 1147 0 223977 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 950392 KiB
Current children cumulated memory: 687348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3621.8 s]
# the end of solver process 21177 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.014503 s, system=0.01264 s
[startup+3621.84 s]
# the end of solver process 21180 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.86 s, system=21.243 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3621.84
CPU time (s): 3600.11
CPU user time (s): 3578.86
CPU system time (s): 21.243
CPU usage (%): 99.3998
Max. virtual memory (cumulated for all children) (KiB): 950392
Max. memory (cumulated for all children) (KiB): 687348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.86
system time used= 21.243
maximum resident set size= 684532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10942496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1577
involuntary context switches= 6525
# summary of solver processes directly reported to runsolver:
# pid: 21177,21180
# total CPU time (s): 3600.11
# total CPU user time (s): 3578.86
# total CPU system time (s): 21.243
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05632 second user time and 16.3434 second system time
The end
Begin job on nodeC015 at 2025-06-29 08:15:22
IDJOB=4507521
IDBENCH=158357
IDSOLVER=3358
FILE ID=nodeC015/4507521-1751177722
RUNJOBID= nodeC015-1751170426-20381
SLURM_JOB_ID= 9587528
Free space on /tmp= 432992 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507521-1751177722/watcher-4507521-1751177722 -o /tmp/evaluation-result-4507521-1751177722/solver-4507521-1751177722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20381 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507521-1751177722.opb PROOFDIR/proof-4507521-1751177722
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b
RANDOM SEED=909302959
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.042
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 : 3604.130
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 : 3687.129
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.076
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 : 3600.059
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.611
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 : 3666.763
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: 118421160 kB
MemAvailable: 127771480 kB
Buffers: 3280 kB
Cached: 10149636 kB
SwapCached: 0 kB
Active: 2319996 kB
Inactive: 9930616 kB
Active(anon): 2115812 kB
Inactive(anon): 0 kB
Active(file): 204184 kB
Inactive(file): 9930616 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 55556 kB
Writeback: 0 kB
AnonPages: 2098020 kB
Mapped: 116268 kB
Shmem: 18076 kB
KReclaimable: 109516 kB
Slab: 196672 kB
SReclaimable: 109516 kB
SUnreclaim: 87156 kB
KernelStack: 4352 kB
PageTables: 7292 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2869660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1759232 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432976 MiB
End job on nodeC015 at 2025-06-29 09:15:44