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-4507520-1751185265.opb'
0.00/0.03 c read 0.35MB (13.68ms)
0.00/0.03 c [cnf: #variables 5508 #clauses 5672 #duplicates 0 #arr 35326]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 972] (17.25ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.05 c (3.59ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 27704 #edges 103700]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.06 c [group: #symmetries 3.84*10^2 #generators 7] (15.61ms)
0.00/0.06 c
0.00/0.06 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.06 c (0.04ms)
0.00/0.06 c
0.00/0.06 c finalize break order and special generators
0.00/0.06 c
0.00/0.06 c add generic predicates (break_depth=10)
0.00/0.06 c added predicates for 7 generators (0.20ms)
0.00/0.06 c
0.00/0.06 c generation finished
0.00/0.06 c [sbp: #constraints 196 #add_vars 63]
0.00/0.07 c
0.00/0.07 c write result to 'HOME/instance-4507520-1751185265.opb.pre'
0.00/0.07 c wrote 0.36MB (2.69ms)
0.00/0.07 c ------------------------------------------------------------------
0.00/0.07 c 17.25ms 31.50% approx_orbits
0.00/0.07 c 15.61ms 28.51% detect_generic
0.00/0.07 c 13.68ms 24.97% parse
0.00/0.07 c 3.59ms 6.56% detect_special
0.00/0.07 c 2.69ms 4.91% output
0.00/0.07 c 1.14ms 2.09% other
0.00/0.07 c 0.56ms 1.03% finalize_order
0.00/0.07 c 0.20ms 0.37% break_generic
0.00/0.07 c 0.04ms 0.07% optimize_gens
0.00/0.07 c ───────────────────────────────────────────────
0.00/0.07 c 54.76ms 100% total
0.00/0.07 c ------------------------------------------------------------------
0.00/0.09 c RoundingSat 2
0.00/0.09 c branch pb25
0.00/0.09 c commit 63f22ad
0.08/0.18 c #variables 5571 #constraints 5854
44.73/44.97 c #Conflicts: 1000 | #Constraints: 6853
44.73/44.97 c #Conflicts: 2000 | #Constraints: 7853
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 3000 | #Constraints: 7478
44.73/44.97 c #Conflicts: 4000 | #Constraints: 8478
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 5000 | #Constraints: 7907
44.73/44.97 c #Conflicts: 6000 | #Constraints: 8907
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 7000 | #Constraints: 7945
44.73/44.97 c #Conflicts: 8000 | #Constraints: 8945
44.73/44.97 c #Conflicts: 9000 | #Constraints: 9945
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 10000 | #Constraints: 8688
44.73/44.97 c #Conflicts: 11000 | #Constraints: 9688
44.73/44.97 c #Conflicts: 12000 | #Constraints: 10688
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 13000 | #Constraints: 9180
44.73/44.97 c #Conflicts: 14000 | #Constraints: 10180
44.73/44.97 c #Conflicts: 15000 | #Constraints: 11180
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 16000 | #Constraints: 9419
44.73/44.97 c #Conflicts: 17000 | #Constraints: 10419
44.73/44.97 c #Conflicts: 18000 | #Constraints: 11419
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 19000 | #Constraints: 9486
44.73/44.97 c #Conflicts: 20000 | #Constraints: 10486
44.73/44.97 c #Conflicts: 21000 | #Constraints: 11486
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 22000 | #Constraints: 9291
44.73/44.97 c #Conflicts: 23000 | #Constraints: 10291
44.73/44.97 c #Conflicts: 24000 | #Constraints: 11291
44.73/44.97 c #Conflicts: 25000 | #Constraints: 12291
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 26000 | #Constraints: 9910
44.73/44.97 c #Conflicts: 27000 | #Constraints: 10910
44.73/44.97 c #Conflicts: 28000 | #Constraints: 11910
44.73/44.97 c #Conflicts: 29000 | #Constraints: 12910
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 30000 | #Constraints: 10335
44.73/44.97 c #Conflicts: 31000 | #Constraints: 11335
44.73/44.97 c #Conflicts: 32000 | #Constraints: 12335
44.73/44.97 c #Conflicts: 33000 | #Constraints: 13335
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 34000 | #Constraints: 10534
44.73/44.97 c #Conflicts: 35000 | #Constraints: 11534
44.73/44.97 c #Conflicts: 36000 | #Constraints: 12534
44.73/44.97 c #Conflicts: 37000 | #Constraints: 13534
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 38000 | #Constraints: 10549
44.73/44.97 c #Conflicts: 39000 | #Constraints: 11549
44.73/44.97 c #Conflicts: 40000 | #Constraints: 12549
44.73/44.97 c #Conflicts: 41000 | #Constraints: 13549
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 42000 | #Constraints: 10400
44.73/44.97 c #Conflicts: 43000 | #Constraints: 11400
44.73/44.97 c #Conflicts: 44000 | #Constraints: 12400
44.73/44.97 c #Conflicts: 45000 | #Constraints: 13400
44.73/44.97 c #Conflicts: 46000 | #Constraints: 14400
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 47000 | #Constraints: 11003
44.73/44.97 c #Conflicts: 48000 | #Constraints: 12003
44.73/44.97 c #Conflicts: 49000 | #Constraints: 13003
44.73/44.97 c #Conflicts: 50000 | #Constraints: 14003
44.73/44.97 c #Conflicts: 51000 | #Constraints: 15003
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 52000 | #Constraints: 11403
44.73/44.97 c #Conflicts: 53000 | #Constraints: 12403
44.73/44.97 c #Conflicts: 54000 | #Constraints: 13403
44.73/44.97 c #Conflicts: 55000 | #Constraints: 14403
44.73/44.97 c #Conflicts: 56000 | #Constraints: 15403
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 57000 | #Constraints: 11609
44.73/44.97 c #Conflicts: 58000 | #Constraints: 12609
44.73/44.97 c #Conflicts: 59000 | #Constraints: 13609
44.73/44.97 c #Conflicts: 60000 | #Constraints: 14609
44.73/44.97 c #Conflicts: 61000 | #Constraints: 15609
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 62000 | #Constraints: 11618
44.73/44.97 c #Conflicts: 63000 | #Constraints: 12618
44.73/44.97 c #Conflicts: 64000 | #Constraints: 13618
44.73/44.97 c #Conflicts: 65000 | #Constraints: 14618
44.73/44.97 c #Conflicts: 66000 | #Constraints: 15618
44.73/44.97 c INPROCESSING
44.73/44.97 c GARBAGE COLLECT
44.73/44.97 c #Conflicts: 67000 | #Constraints: 11456
44.73/44.97 c #Conflicts: 68000 | #Constraints: 12456
105.46/105.89 c #Conflicts: 69000 | #Constraints: 13456
105.46/105.89 c #Conflicts: 70000 | #Constraints: 14456
105.46/105.89 c #Conflicts: 71000 | #Constraints: 15456
105.46/105.89 c #Conflicts: 72000 | #Constraints: 16456
105.46/105.89 c INPROCESSING
105.46/105.89 c GARBAGE COLLECT
105.46/105.89 c #Conflicts: 73000 | #Constraints: 12050
105.46/105.89 c #Conflicts: 74000 | #Constraints: 13050
105.46/105.89 c #Conflicts: 75000 | #Constraints: 14050
105.46/105.89 c #Conflicts: 76000 | #Constraints: 15050
105.46/105.89 c #Conflicts: 77000 | #Constraints: 16050
105.46/105.89 c #Conflicts: 78000 | #Constraints: 17050
105.46/105.89 c INPROCESSING
105.46/105.89 c GARBAGE COLLECT
105.46/105.89 c #Conflicts: 79000 | #Constraints: 12474
105.46/105.89 c #Conflicts: 80000 | #Constraints: 13474
105.46/105.89 c #Conflicts: 81000 | #Constraints: 14474
105.46/105.89 c #Conflicts: 82000 | #Constraints: 15474
105.46/105.89 c #Conflicts: 83000 | #Constraints: 16474
105.46/105.89 c #Conflicts: 84000 | #Constraints: 17474
105.46/105.89 c INPROCESSING
105.46/105.89 c GARBAGE COLLECT
105.46/105.89 c #Conflicts: 85000 | #Constraints: 12684
105.46/105.89 c #Conflicts: 86000 | #Constraints: 13684
105.46/105.89 c #Conflicts: 87000 | #Constraints: 14684
105.46/105.89 c #Conflicts: 88000 | #Constraints: 15684
105.46/105.89 c #Conflicts: 89000 | #Constraints: 16684
105.46/105.89 c #Conflicts: 90000 | #Constraints: 17684
105.46/105.89 c #Conflicts: 91000 | #Constraints: 18684
105.46/105.89 c #Conflicts: 92000 | #Constraints: 19684
105.46/105.89 c #Conflicts: 93000 | #Constraints: 20684
105.46/105.89 c #Conflicts: 94000 | #Constraints: 21684
105.46/105.89 c #Conflicts: 95000 | #Constraints: 22684
105.46/105.89 c #Conflicts: 96000 | #Constraints: 23684
105.46/105.89 c #Conflicts: 97000 | #Constraints: 24684
105.46/105.89 c #Conflicts: 98000 | #Constraints: 25684
105.46/105.89 c #Conflicts: 99000 | #Constraints: 26684
105.46/105.89 c #Conflicts: 100000 | #Constraints: 27684
105.46/105.89 c #Conflicts: 101000 | #Constraints: 28685
105.46/105.89 c #Conflicts: 102000 | #Constraints: 29685
105.46/105.89 c #Conflicts: 103000 | #Constraints: 30685
105.46/105.89 c #Conflicts: 104000 | #Constraints: 31685
105.46/105.89 c #Conflicts: 105000 | #Constraints: 32685
105.46/105.89 c #Conflicts: 106000 | #Constraints: 33685
105.46/105.89 c #Conflicts: 107000 | #Constraints: 34685
105.46/105.89 c #Conflicts: 108000 | #Constraints: 35685
105.46/105.89 c #Conflicts: 109000 | #Constraints: 36685
105.46/105.89 c #Conflicts: 110000 | #Constraints: 37685
105.46/105.89 c INPROCESSING
105.46/105.89 c GARBAGE COLLECT
105.46/105.89 c #Conflicts: 111000 | #Constraints: 22826
105.46/105.89 c #Conflicts: 112000 | #Constraints: 23826
105.46/105.89 c #Conflicts: 113000 | #Constraints: 24826
105.46/105.89 c #Conflicts: 114000 | #Constraints: 25826
105.46/105.89 c #Conflicts: 115000 | #Constraints: 26826
105.46/105.89 c #Conflicts: 116000 | #Constraints: 27826
105.46/105.89 c #Conflicts: 117000 | #Constraints: 28826
105.46/105.89 c INPROCESSING
105.46/105.89 c GARBAGE COLLECT
105.46/105.89 c #Conflicts: 118000 | #Constraints: 18257
105.46/105.89 c #Conflicts: 119000 | #Constraints: 19257
105.46/105.89 c #Conflicts: 120000 | #Constraints: 20257
105.46/105.89 c #Conflicts: 121000 | #Constraints: 21257
105.46/105.89 c #Conflicts: 122000 | #Constraints: 22257
105.46/105.89 c #Conflicts: 123000 | #Constraints: 23257
105.46/105.89 c #Conflicts: 124000 | #Constraints: 24257
105.46/105.89 c INPROCESSING
105.46/105.89 c GARBAGE COLLECT
105.46/105.89 c #Conflicts: 125000 | #Constraints: 15746
105.46/105.89 c #Conflicts: 126000 | #Constraints: 16746
105.46/105.89 c #Conflicts: 127000 | #Constraints: 17746
105.46/105.89 c #Conflicts: 128000 | #Constraints: 18746
105.46/105.89 c #Conflicts: 129000 | #Constraints: 19746
105.46/105.89 c #Conflicts: 130000 | #Constraints: 20746
105.46/105.89 c #Conflicts: 131000 | #Constraints: 21746
105.46/105.89 c #Conflicts: 132000 | #Constraints: 22746
105.46/105.89 c INPROCESSING
105.46/105.89 c GARBAGE COLLECT
105.46/105.89 c #Conflicts: 133000 | #Constraints: 15124
105.46/105.89 c #Conflicts: 134000 | #Constraints: 16124
105.46/105.89 c #Conflicts: 135000 | #Constraints: 17124
105.46/105.89 c #Conflicts: 136000 | #Constraints: 18124
105.46/105.89 c #Conflicts: 137000 | #Constraints: 19124
105.46/105.89 c #Conflicts: 138000 | #Constraints: 20124
105.46/105.89 c #Conflicts: 139000 | #Constraints: 21124
105.46/105.89 c #Conflicts: 140000 | #Constraints: 22124
105.46/105.89 c INPROCESSING
105.46/105.89 c GARBAGE COLLECT
105.46/105.89 c #Conflicts: 141000 | #Constraints: 14861
105.46/105.89 c #Conflicts: 142000 | #Constraints: 15861
190.82/191.42 c #Conflicts: 143000 | #Constraints: 16861
190.82/191.42 c #Conflicts: 144000 | #Constraints: 17861
190.82/191.42 c #Conflicts: 145000 | #Constraints: 18861
190.82/191.42 c #Conflicts: 146000 | #Constraints: 19861
190.82/191.42 c #Conflicts: 147000 | #Constraints: 20861
190.82/191.42 c #Conflicts: 148000 | #Constraints: 21861
190.82/191.42 c INPROCESSING
190.82/191.42 c GARBAGE COLLECT
190.82/191.42 c #Conflicts: 149000 | #Constraints: 14708
190.82/191.42 c #Conflicts: 150000 | #Constraints: 15708
190.82/191.42 c #Conflicts: 151000 | #Constraints: 16708
190.82/191.42 c #Conflicts: 152000 | #Constraints: 17708
190.82/191.42 c #Conflicts: 153000 | #Constraints: 18708
190.82/191.42 c #Conflicts: 154000 | #Constraints: 19708
190.82/191.42 c #Conflicts: 155000 | #Constraints: 20708
190.82/191.42 c #Conflicts: 156000 | #Constraints: 21708
190.82/191.42 c INPROCESSING
190.82/191.42 c GARBAGE COLLECT
190.82/191.42 c #Conflicts: 157000 | #Constraints: 14444
190.82/191.42 c #Conflicts: 158000 | #Constraints: 15444
190.82/191.42 c #Conflicts: 159000 | #Constraints: 16444
190.82/191.42 c #Conflicts: 160000 | #Constraints: 17444
190.82/191.42 c #Conflicts: 161000 | #Constraints: 18444
190.82/191.42 c #Conflicts: 162000 | #Constraints: 19444
190.82/191.42 c #Conflicts: 163000 | #Constraints: 20444
190.82/191.42 c #Conflicts: 164000 | #Constraints: 21444
190.82/191.42 c #Conflicts: 165000 | #Constraints: 22444
190.82/191.42 c #Conflicts: 166000 | #Constraints: 23444
190.82/191.42 c #Conflicts: 167000 | #Constraints: 24444
190.82/191.42 c #Conflicts: 168000 | #Constraints: 25444
190.82/191.42 c #Conflicts: 169000 | #Constraints: 26444
190.82/191.42 c #Conflicts: 170000 | #Constraints: 27444
190.82/191.42 c #Conflicts: 171000 | #Constraints: 28444
190.82/191.42 c #Conflicts: 172000 | #Constraints: 29444
190.82/191.42 c #Conflicts: 173000 | #Constraints: 30444
190.82/191.42 c #Conflicts: 174000 | #Constraints: 31444
190.82/191.42 c #Conflicts: 175000 | #Constraints: 32444
190.82/191.42 c #Conflicts: 176000 | #Constraints: 33444
190.82/191.42 c #Conflicts: 177000 | #Constraints: 34444
190.82/191.42 c #Conflicts: 178000 | #Constraints: 35444
190.82/191.42 c #Conflicts: 179000 | #Constraints: 36444
190.82/191.42 c #Conflicts: 180000 | #Constraints: 37444
190.82/191.42 c #Conflicts: 181000 | #Constraints: 38444
190.82/191.42 c #Conflicts: 182000 | #Constraints: 39444
190.82/191.42 c #Conflicts: 183000 | #Constraints: 40444
190.82/191.42 c #Conflicts: 184000 | #Constraints: 41444
190.82/191.42 c #Conflicts: 185000 | #Constraints: 42444
190.82/191.42 c #Conflicts: 186000 | #Constraints: 43444
190.82/191.42 c #Conflicts: 187000 | #Constraints: 44444
190.82/191.42 c #Conflicts: 188000 | #Constraints: 45444
190.82/191.42 c #Conflicts: 189000 | #Constraints: 46444
190.82/191.42 c #Conflicts: 190000 | #Constraints: 47444
190.82/191.42 c #Conflicts: 191000 | #Constraints: 48444
190.82/191.42 c INPROCESSING
190.82/191.42 c GARBAGE COLLECT
190.82/191.42 c #Conflicts: 192000 | #Constraints: 28105
190.82/191.42 c #Conflicts: 193000 | #Constraints: 29105
190.82/191.42 c #Conflicts: 194000 | #Constraints: 30105
190.82/191.42 c #Conflicts: 195000 | #Constraints: 31105
190.82/191.42 c #Conflicts: 196000 | #Constraints: 32105
190.82/191.42 c #Conflicts: 197000 | #Constraints: 33105
190.82/191.42 c #Conflicts: 198000 | #Constraints: 34105
190.82/191.42 c #Conflicts: 199000 | #Constraints: 35105
190.82/191.42 c #Conflicts: 200000 | #Constraints: 36105
190.82/191.42 c #Conflicts: 201000 | #Constraints: 37105
190.82/191.42 c INPROCESSING
190.82/191.42 c GARBAGE COLLECT
190.82/191.42 c #Conflicts: 202000 | #Constraints: 22593
190.82/191.42 c #Conflicts: 203000 | #Constraints: 23593
190.82/191.42 c #Conflicts: 204000 | #Constraints: 24593
190.82/191.42 c #Conflicts: 205000 | #Constraints: 25593
190.82/191.42 c #Conflicts: 206000 | #Constraints: 26593
190.82/191.42 c #Conflicts: 207000 | #Constraints: 27593
190.82/191.42 c #Conflicts: 208000 | #Constraints: 28593
190.82/191.42 c #Conflicts: 209000 | #Constraints: 29593
190.82/191.42 c #Conflicts: 210000 | #Constraints: 30593
190.82/191.42 c INPROCESSING
190.82/191.42 c GARBAGE COLLECT
190.82/191.42 c rational objective 85.8305
283.92/284.89 c #Conflicts: 211000 | #Constraints: 18960
283.92/284.89 c #Conflicts: 212000 | #Constraints: 19960
283.92/284.89 c #Conflicts: 213000 | #Constraints: 20960
283.92/284.89 c #Conflicts: 214000 | #Constraints: 21960
283.92/284.89 c #Conflicts: 215000 | #Constraints: 22960
283.92/284.89 c #Conflicts: 216000 | #Constraints: 23960
283.92/284.89 c #Conflicts: 217000 | #Constraints: 24960
283.92/284.89 c #Conflicts: 218000 | #Constraints: 25960
283.92/284.89 c #Conflicts: 219000 | #Constraints: 26960
283.92/284.89 c #Conflicts: 220000 | #Constraints: 27960
283.92/284.89 c INPROCESSING
283.92/284.89 c GARBAGE COLLECT
283.92/284.89 c #Conflicts: 221000 | #Constraints: 17574
283.92/284.89 c #Conflicts: 222000 | #Constraints: 18574
283.92/284.89 c #Conflicts: 223000 | #Constraints: 19574
283.92/284.89 c #Conflicts: 224000 | #Constraints: 20574
283.92/284.89 c #Conflicts: 225000 | #Constraints: 21574
283.92/284.89 c #Conflicts: 226000 | #Constraints: 22574
283.92/284.89 c #Conflicts: 227000 | #Constraints: 23574
283.92/284.89 c #Conflicts: 228000 | #Constraints: 24574
283.92/284.89 c #Conflicts: 229000 | #Constraints: 25574
283.92/284.89 c #Conflicts: 230000 | #Constraints: 26574
283.92/284.89 c #Conflicts: 231000 | #Constraints: 27574
283.92/284.89 c INPROCESSING
283.92/284.89 c GARBAGE COLLECT
283.92/284.89 c #Conflicts: 232000 | #Constraints: 17848
283.92/284.89 c #Conflicts: 233000 | #Constraints: 18848
283.92/284.89 c #Conflicts: 234000 | #Constraints: 19848
283.92/284.89 c #Conflicts: 235000 | #Constraints: 20848
283.92/284.89 c #Conflicts: 236000 | #Constraints: 21848
283.92/284.89 c #Conflicts: 237000 | #Constraints: 22848
283.92/284.89 c #Conflicts: 238000 | #Constraints: 23848
283.92/284.89 c #Conflicts: 239000 | #Constraints: 24848
283.92/284.89 c #Conflicts: 240000 | #Constraints: 25848
283.92/284.89 c #Conflicts: 241000 | #Constraints: 26848
283.92/284.89 c INPROCESSING
283.92/284.89 c GARBAGE COLLECT
283.92/284.89 c #Conflicts: 242000 | #Constraints: 17237
283.92/284.89 c #Conflicts: 243000 | #Constraints: 18237
283.92/284.89 c #Conflicts: 244000 | #Constraints: 19237
283.92/284.89 c #Conflicts: 245000 | #Constraints: 20237
283.92/284.89 c #Conflicts: 246000 | #Constraints: 21237
283.92/284.89 c #Conflicts: 247000 | #Constraints: 22237
283.92/284.89 c #Conflicts: 248000 | #Constraints: 23237
283.92/284.89 c #Conflicts: 249000 | #Constraints: 24237
283.92/284.89 c #Conflicts: 250000 | #Constraints: 25237
283.92/284.89 c #Conflicts: 251000 | #Constraints: 26237
283.92/284.89 c #Conflicts: 252000 | #Constraints: 27237
283.92/284.89 c #Conflicts: 253000 | #Constraints: 28237
283.92/284.89 c #Conflicts: 254000 | #Constraints: 29237
283.92/284.89 c #Conflicts: 255000 | #Constraints: 30237
283.92/284.89 c #Conflicts: 256000 | #Constraints: 31237
283.92/284.89 c #Conflicts: 257000 | #Constraints: 32237
283.92/284.89 c #Conflicts: 258000 | #Constraints: 33237
283.92/284.89 c #Conflicts: 259000 | #Constraints: 34237
283.92/284.89 c #Conflicts: 260000 | #Constraints: 35237
283.92/284.89 c #Conflicts: 261000 | #Constraints: 36237
283.92/284.89 c #Conflicts: 262000 | #Constraints: 37237
283.92/284.89 c #Conflicts: 263000 | #Constraints: 38237
283.92/284.89 c #Conflicts: 264000 | #Constraints: 39237
283.92/284.89 c #Conflicts: 265000 | #Constraints: 40237
283.92/284.89 c #Conflicts: 266000 | #Constraints: 41237
283.92/284.89 c #Conflicts: 267000 | #Constraints: 42237
283.92/284.89 c #Conflicts: 268000 | #Constraints: 43237
283.92/284.89 c #Conflicts: 269000 | #Constraints: 44237
283.92/284.89 c #Conflicts: 270000 | #Constraints: 45237
283.92/284.89 c #Conflicts: 271000 | #Constraints: 46237
283.92/284.89 c #Conflicts: 272000 | #Constraints: 47237
283.92/284.89 c #Conflicts: 273000 | #Constraints: 48237
283.92/284.89 c #Conflicts: 274000 | #Constraints: 49237
283.92/284.89 c #Conflicts: 275000 | #Constraints: 50237
283.92/284.89 c #Conflicts: 276000 | #Constraints: 51237
283.92/284.89 c #Conflicts: 277000 | #Constraints: 52237
283.92/284.89 c #Conflicts: 278000 | #Constraints: 53237
283.92/284.89 c #Conflicts: 279000 | #Constraints: 54237
283.92/284.89 c #Conflicts: 280000 | #Constraints: 55237
283.92/284.89 c #Conflicts: 281000 | #Constraints: 56237
283.92/284.89 c #Conflicts: 282000 | #Constraints: 57237
283.92/284.89 c #Conflicts: 283000 | #Constraints: 58237
283.92/284.89 c INPROCESSING
283.92/284.89 c GARBAGE COLLECT
283.92/284.89 c #Conflicts: 284000 | #Constraints: 32917
283.92/284.89 c #Conflicts: 285000 | #Constraints: 33917
283.92/284.89 c #Conflicts: 286000 | #Constraints: 34917
283.92/284.89 c #Conflicts: 287000 | #Constraints: 35917
361.00/362.14 c #Conflicts: 288000 | #Constraints: 36917
361.00/362.14 c #Conflicts: 289000 | #Constraints: 37917
361.00/362.14 c #Conflicts: 290000 | #Constraints: 38917
361.00/362.14 c #Conflicts: 291000 | #Constraints: 39917
361.00/362.14 c #Conflicts: 292000 | #Constraints: 40917
361.00/362.14 c #Conflicts: 293000 | #Constraints: 41917
361.00/362.14 c #Conflicts: 294000 | #Constraints: 42917
361.00/362.14 c #Conflicts: 295000 | #Constraints: 43917
361.00/362.14 c INPROCESSING
361.00/362.14 c GARBAGE COLLECT
361.00/362.14 c #Conflicts: 296000 | #Constraints: 25957
361.00/362.14 c #Conflicts: 297000 | #Constraints: 26957
361.00/362.14 c #Conflicts: 298000 | #Constraints: 27957
361.00/362.14 c #Conflicts: 299000 | #Constraints: 28957
361.00/362.14 c #Conflicts: 300000 | #Constraints: 29957
361.00/362.14 c #Conflicts: 301000 | #Constraints: 30957
361.00/362.14 c #Conflicts: 302000 | #Constraints: 31957
361.00/362.14 c #Conflicts: 303000 | #Constraints: 32957
361.00/362.14 c #Conflicts: 304000 | #Constraints: 33957
361.00/362.14 c #Conflicts: 305000 | #Constraints: 34957
361.00/362.14 c #Conflicts: 306000 | #Constraints: 35957
361.00/362.14 c #Conflicts: 307000 | #Constraints: 36957
361.00/362.14 c INPROCESSING
361.00/362.14 c GARBAGE COLLECT
361.00/362.14 c #Conflicts: 308000 | #Constraints: 22505
361.00/362.14 c #Conflicts: 309000 | #Constraints: 23505
361.00/362.14 c #Conflicts: 310000 | #Constraints: 24505
361.00/362.14 c #Conflicts: 311000 | #Constraints: 25505
361.00/362.14 c #Conflicts: 312000 | #Constraints: 26505
361.00/362.14 c #Conflicts: 313000 | #Constraints: 27505
361.00/362.14 c #Conflicts: 314000 | #Constraints: 28505
361.00/362.14 c #Conflicts: 315000 | #Constraints: 29505
361.00/362.14 c #Conflicts: 316000 | #Constraints: 30505
361.00/362.14 c #Conflicts: 317000 | #Constraints: 31505
361.00/362.14 c #Conflicts: 318000 | #Constraints: 32505
361.00/362.14 c #Conflicts: 319000 | #Constraints: 33505
361.00/362.14 c INPROCESSING
361.00/362.14 c GARBAGE COLLECT
361.00/362.14 c #Conflicts: 320000 | #Constraints: 20736
361.00/362.14 c #Conflicts: 321000 | #Constraints: 21736
361.00/362.14 c #Conflicts: 322000 | #Constraints: 22736
361.00/362.14 c #Conflicts: 323000 | #Constraints: 23736
361.00/362.14 c #Conflicts: 324000 | #Constraints: 24736
361.00/362.14 c #Conflicts: 325000 | #Constraints: 25736
361.00/362.14 c #Conflicts: 326000 | #Constraints: 26736
361.00/362.14 c #Conflicts: 327000 | #Constraints: 27736
361.00/362.14 c #Conflicts: 328000 | #Constraints: 28736
361.00/362.14 c #Conflicts: 329000 | #Constraints: 29736
361.00/362.14 c #Conflicts: 330000 | #Constraints: 30736
361.00/362.14 c #Conflicts: 331000 | #Constraints: 31736
361.00/362.14 c INPROCESSING
361.00/362.14 c GARBAGE COLLECT
361.00/362.14 c #Conflicts: 332000 | #Constraints: 19739
361.00/362.14 c #Conflicts: 333000 | #Constraints: 20739
361.00/362.14 c #Conflicts: 334000 | #Constraints: 21739
361.00/362.14 c #Conflicts: 335000 | #Constraints: 22739
361.00/362.14 c #Conflicts: 336000 | #Constraints: 23739
361.00/362.14 c #Conflicts: 337000 | #Constraints: 24739
361.00/362.14 c #Conflicts: 338000 | #Constraints: 25739
361.00/362.14 c #Conflicts: 339000 | #Constraints: 26739
361.00/362.14 c #Conflicts: 340000 | #Constraints: 27739
361.00/362.14 c #Conflicts: 341000 | #Constraints: 28739
361.00/362.14 c #Conflicts: 342000 | #Constraints: 29739
361.00/362.14 c #Conflicts: 343000 | #Constraints: 30739
361.00/362.14 c #Conflicts: 344000 | #Constraints: 31739
361.00/362.14 c INPROCESSING
361.00/362.14 c GARBAGE COLLECT
361.00/362.14 c #Conflicts: 345000 | #Constraints: 19975
361.00/362.14 c #Conflicts: 346000 | #Constraints: 20975
361.00/362.14 c #Conflicts: 347000 | #Constraints: 21975
361.00/362.14 c #Conflicts: 348000 | #Constraints: 22975
361.00/362.14 c #Conflicts: 349000 | #Constraints: 23975
361.00/362.14 c #Conflicts: 350000 | #Constraints: 24975
361.00/362.14 c #Conflicts: 351000 | #Constraints: 25975
361.00/362.14 c #Conflicts: 352000 | #Constraints: 26975
361.00/362.14 c #Conflicts: 353000 | #Constraints: 27975
361.00/362.14 c #Conflicts: 354000 | #Constraints: 28975
361.00/362.14 c #Conflicts: 355000 | #Constraints: 29975
361.00/362.14 c #Conflicts: 356000 | #Constraints: 30975
361.00/362.14 c #Conflicts: 357000 | #Constraints: 31975
361.00/362.14 c #Conflicts: 358000 | #Constraints: 32975
361.00/362.14 c #Conflicts: 359000 | #Constraints: 33975
361.00/362.14 c #Conflicts: 360000 | #Constraints: 34975
361.00/362.14 c #Conflicts: 361000 | #Constraints: 35975
361.00/362.14 c #Conflicts: 362000 | #Constraints: 36975
504.69/506.21 c #Conflicts: 363000 | #Constraints: 37975
504.69/506.21 c #Conflicts: 364000 | #Constraints: 38975
504.69/506.21 c #Conflicts: 365000 | #Constraints: 39975
504.69/506.21 c #Conflicts: 366000 | #Constraints: 40975
504.69/506.21 c #Conflicts: 367000 | #Constraints: 41975
504.69/506.21 c #Conflicts: 368000 | #Constraints: 42975
504.69/506.21 c #Conflicts: 369000 | #Constraints: 43975
504.69/506.21 c #Conflicts: 370000 | #Constraints: 44975
504.69/506.21 c #Conflicts: 371000 | #Constraints: 45975
504.69/506.21 c #Conflicts: 372000 | #Constraints: 46975
504.69/506.21 c #Conflicts: 373000 | #Constraints: 47975
504.69/506.21 c #Conflicts: 374000 | #Constraints: 48975
504.69/506.21 c #Conflicts: 375000 | #Constraints: 49975
504.69/506.21 c #Conflicts: 376000 | #Constraints: 50975
504.69/506.21 c #Conflicts: 377000 | #Constraints: 51975
504.69/506.21 c #Conflicts: 378000 | #Constraints: 52975
504.69/506.21 c #Conflicts: 379000 | #Constraints: 53975
504.69/506.21 c #Conflicts: 380000 | #Constraints: 54975
504.69/506.21 c #Conflicts: 381000 | #Constraints: 55975
504.69/506.21 c #Conflicts: 382000 | #Constraints: 56975
504.69/506.21 c #Conflicts: 383000 | #Constraints: 57975
504.69/506.21 c #Conflicts: 384000 | #Constraints: 58975
504.69/506.21 c #Conflicts: 385000 | #Constraints: 59975
504.69/506.21 c #Conflicts: 386000 | #Constraints: 60975
504.69/506.21 c #Conflicts: 387000 | #Constraints: 61975
504.69/506.21 c #Conflicts: 388000 | #Constraints: 62975
504.69/506.21 c #Conflicts: 389000 | #Constraints: 63975
504.69/506.21 c #Conflicts: 390000 | #Constraints: 64975
504.69/506.21 c #Conflicts: 391000 | #Constraints: 65975
504.69/506.21 c #Conflicts: 392000 | #Constraints: 66975
504.69/506.21 c #Conflicts: 393000 | #Constraints: 67975
504.69/506.21 c INPROCESSING
504.69/506.21 c GARBAGE COLLECT
504.69/506.21 c #Conflicts: 394000 | #Constraints: 37726
504.69/506.21 c #Conflicts: 395000 | #Constraints: 38726
504.69/506.21 c #Conflicts: 396000 | #Constraints: 39726
504.69/506.21 c #Conflicts: 397000 | #Constraints: 40726
504.69/506.21 c #Conflicts: 398000 | #Constraints: 41726
504.69/506.21 c #Conflicts: 399000 | #Constraints: 42726
504.69/506.21 c #Conflicts: 400000 | #Constraints: 43726
504.69/506.21 c #Conflicts: 401000 | #Constraints: 44726
504.69/506.21 c #Conflicts: 402000 | #Constraints: 45726
504.69/506.21 c #Conflicts: 403000 | #Constraints: 46726
504.69/506.21 c #Conflicts: 404000 | #Constraints: 47726
504.69/506.21 c #Conflicts: 405000 | #Constraints: 48726
504.69/506.21 c #Conflicts: 406000 | #Constraints: 49726
504.69/506.21 c #Conflicts: 407000 | #Constraints: 50726
504.69/506.21 c INPROCESSING
504.69/506.21 c GARBAGE COLLECT
504.69/506.21 c #Conflicts: 408000 | #Constraints: 29226
504.69/506.21 c #Conflicts: 409000 | #Constraints: 30226
504.69/506.21 c #Conflicts: 410000 | #Constraints: 31226
504.69/506.21 c #Conflicts: 411000 | #Constraints: 32226
504.69/506.21 c #Conflicts: 412000 | #Constraints: 33226
504.69/506.21 c #Conflicts: 413000 | #Constraints: 34226
504.69/506.21 c #Conflicts: 414000 | #Constraints: 35226
504.69/506.21 c #Conflicts: 415000 | #Constraints: 36226
504.69/506.21 c #Conflicts: 416000 | #Constraints: 37226
504.69/506.21 c #Conflicts: 417000 | #Constraints: 38226
504.69/506.21 c #Conflicts: 418000 | #Constraints: 39226
504.69/506.21 c #Conflicts: 419000 | #Constraints: 40226
504.69/506.21 c #Conflicts: 420000 | #Constraints: 41226
504.69/506.21 c #Conflicts: 421000 | #Constraints: 42226
504.69/506.21 c INPROCESSING
504.69/506.21 c GARBAGE COLLECT
504.69/506.21 c #Conflicts: 422000 | #Constraints: 25030
504.69/506.21 c #Conflicts: 423000 | #Constraints: 26030
504.69/506.21 c #Conflicts: 424000 | #Constraints: 27030
504.69/506.21 c #Conflicts: 425000 | #Constraints: 28030
504.69/506.21 c #Conflicts: 426000 | #Constraints: 29030
504.69/506.21 c #Conflicts: 427000 | #Constraints: 30030
504.69/506.21 c #Conflicts: 428000 | #Constraints: 31030
504.69/506.21 c #Conflicts: 429000 | #Constraints: 32030
504.69/506.21 c #Conflicts: 430000 | #Constraints: 33030
504.69/506.21 c #Conflicts: 431000 | #Constraints: 34030
504.69/506.21 c #Conflicts: 432000 | #Constraints: 35030
504.69/506.21 c #Conflicts: 433000 | #Constraints: 36030
504.69/506.21 c #Conflicts: 434000 | #Constraints: 37030
504.69/506.21 c #Conflicts: 435000 | #Constraints: 38030
504.69/506.21 c INPROCESSING
504.69/506.21 c GARBAGE COLLECT
504.69/506.21 c #Conflicts: 436000 | #Constraints: 22833
504.69/506.21 c #Conflicts: 437000 | #Constraints: 23833
504.69/506.21 c #Conflicts: 438000 | #Constraints: 24833
504.69/506.21 c #Conflicts: 439000 | #Constraints: 25833
661.73/663.77 c #Conflicts: 440000 | #Constraints: 26833
661.73/663.77 c #Conflicts: 441000 | #Constraints: 27833
661.73/663.77 c #Conflicts: 442000 | #Constraints: 28833
661.73/663.77 c #Conflicts: 443000 | #Constraints: 29833
661.73/663.77 c #Conflicts: 444000 | #Constraints: 30833
661.73/663.77 c #Conflicts: 445000 | #Constraints: 31833
661.73/663.77 c #Conflicts: 446000 | #Constraints: 32833
661.73/663.77 c #Conflicts: 447000 | #Constraints: 33833
661.73/663.77 c #Conflicts: 448000 | #Constraints: 34833
661.73/663.77 c #Conflicts: 449000 | #Constraints: 35833
661.73/663.77 c #Conflicts: 450000 | #Constraints: 36833
661.73/663.77 c INPROCESSING
661.73/663.77 c GARBAGE COLLECT
661.73/663.77 c #Conflicts: 451000 | #Constraints: 22541
661.73/663.77 c #Conflicts: 452000 | #Constraints: 23541
661.73/663.77 c #Conflicts: 453000 | #Constraints: 24541
661.73/663.77 c #Conflicts: 454000 | #Constraints: 25541
661.73/663.77 c #Conflicts: 455000 | #Constraints: 26541
661.73/663.77 c #Conflicts: 456000 | #Constraints: 27541
661.73/663.77 c #Conflicts: 457000 | #Constraints: 28541
661.73/663.77 c #Conflicts: 458000 | #Constraints: 29541
661.73/663.77 c #Conflicts: 459000 | #Constraints: 30541
661.73/663.77 c #Conflicts: 460000 | #Constraints: 31541
661.73/663.77 c #Conflicts: 461000 | #Constraints: 32541
661.73/663.77 c #Conflicts: 462000 | #Constraints: 33541
661.73/663.77 c #Conflicts: 463000 | #Constraints: 34541
661.73/663.77 c #Conflicts: 464000 | #Constraints: 35541
661.73/663.77 c INPROCESSING
661.73/663.77 c GARBAGE COLLECT
661.73/663.77 c #Conflicts: 465000 | #Constraints: 21585
661.73/663.77 c #Conflicts: 466000 | #Constraints: 22585
661.73/663.77 c #Conflicts: 467000 | #Constraints: 23585
661.73/663.77 c #Conflicts: 468000 | #Constraints: 24585
661.73/663.77 c #Conflicts: 469000 | #Constraints: 25585
661.73/663.77 c #Conflicts: 470000 | #Constraints: 26585
661.73/663.77 c #Conflicts: 471000 | #Constraints: 27585
661.73/663.77 c #Conflicts: 472000 | #Constraints: 28585
661.73/663.77 c #Conflicts: 473000 | #Constraints: 29585
661.73/663.77 c #Conflicts: 474000 | #Constraints: 30585
661.73/663.77 c #Conflicts: 475000 | #Constraints: 31585
661.73/663.77 c #Conflicts: 476000 | #Constraints: 32585
661.73/663.77 c #Conflicts: 477000 | #Constraints: 33585
661.73/663.77 c #Conflicts: 478000 | #Constraints: 34585
661.73/663.77 c #Conflicts: 479000 | #Constraints: 35585
661.73/663.77 c #Conflicts: 480000 | #Constraints: 36585
661.73/663.77 c #Conflicts: 481000 | #Constraints: 37585
661.73/663.77 c #Conflicts: 482000 | #Constraints: 38585
661.73/663.77 c #Conflicts: 483000 | #Constraints: 39585
661.73/663.77 c #Conflicts: 484000 | #Constraints: 40585
661.73/663.77 c #Conflicts: 485000 | #Constraints: 41585
661.73/663.77 c #Conflicts: 486000 | #Constraints: 42585
661.73/663.77 c #Conflicts: 487000 | #Constraints: 43585
661.73/663.77 c #Conflicts: 488000 | #Constraints: 44585
661.73/663.77 c #Conflicts: 489000 | #Constraints: 45585
661.73/663.77 c #Conflicts: 490000 | #Constraints: 46585
661.73/663.77 c #Conflicts: 491000 | #Constraints: 47585
661.73/663.77 c #Conflicts: 492000 | #Constraints: 48585
661.73/663.77 c #Conflicts: 493000 | #Constraints: 49585
661.73/663.77 c #Conflicts: 494000 | #Constraints: 50585
661.73/663.77 c #Conflicts: 495000 | #Constraints: 51585
661.73/663.77 c #Conflicts: 496000 | #Constraints: 52585
661.73/663.77 c #Conflicts: 497000 | #Constraints: 53585
661.73/663.77 c #Conflicts: 498000 | #Constraints: 54585
661.73/663.77 c #Conflicts: 499000 | #Constraints: 55585
661.73/663.77 c #Conflicts: 500000 | #Constraints: 56585
661.73/663.77 c #Conflicts: 501000 | #Constraints: 57585
661.73/663.77 c #Conflicts: 502000 | #Constraints: 58585
661.73/663.77 c #Conflicts: 503000 | #Constraints: 59585
661.73/663.77 c #Conflicts: 504000 | #Constraints: 60585
661.73/663.77 c #Conflicts: 505000 | #Constraints: 61585
661.73/663.77 c #Conflicts: 506000 | #Constraints: 62585
661.73/663.77 c #Conflicts: 507000 | #Constraints: 63585
661.73/663.77 c #Conflicts: 508000 | #Constraints: 64585
661.73/663.77 c #Conflicts: 509000 | #Constraints: 65585
661.73/663.77 c #Conflicts: 510000 | #Constraints: 66585
661.73/663.77 c #Conflicts: 511000 | #Constraints: 67585
661.73/663.77 c #Conflicts: 512000 | #Constraints: 68585
661.73/663.77 c #Conflicts: 513000 | #Constraints: 69585
661.73/663.77 c #Conflicts: 514000 | #Constraints: 70585
661.73/663.77 c #Conflicts: 515000 | #Constraints: 71585
661.73/663.77 c #Conflicts: 516000 | #Constraints: 72585
771.26/773.61 c #Conflicts: 517000 | #Constraints: 73585
771.26/773.61 c #Conflicts: 518000 | #Constraints: 74585
771.26/773.61 c #Conflicts: 519000 | #Constraints: 75585
771.26/773.61 c #Conflicts: 520000 | #Constraints: 76585
771.26/773.61 c #Conflicts: 521000 | #Constraints: 77585
771.26/773.61 c INPROCESSING
771.26/773.61 c GARBAGE COLLECT
771.26/773.61 c #Conflicts: 522000 | #Constraints: 42545
771.26/773.61 c #Conflicts: 523000 | #Constraints: 43545
771.26/773.61 c #Conflicts: 524000 | #Constraints: 44545
771.26/773.61 c #Conflicts: 525000 | #Constraints: 45545
771.26/773.61 c #Conflicts: 526000 | #Constraints: 46545
771.26/773.61 c #Conflicts: 527000 | #Constraints: 47545
771.26/773.61 c #Conflicts: 528000 | #Constraints: 48545
771.26/773.61 c #Conflicts: 529000 | #Constraints: 49545
771.26/773.61 c #Conflicts: 530000 | #Constraints: 50545
771.26/773.61 c #Conflicts: 531000 | #Constraints: 51545
771.26/773.61 c #Conflicts: 532000 | #Constraints: 52545
771.26/773.61 c #Conflicts: 533000 | #Constraints: 53545
771.26/773.61 c #Conflicts: 534000 | #Constraints: 54545
771.26/773.61 c #Conflicts: 535000 | #Constraints: 55545
771.26/773.61 c #Conflicts: 536000 | #Constraints: 56545
771.26/773.61 c #Conflicts: 537000 | #Constraints: 57545
771.26/773.61 c INPROCESSING
771.26/773.61 c GARBAGE COLLECT
771.26/773.61 c #Conflicts: 538000 | #Constraints: 32555
771.26/773.61 c #Conflicts: 539000 | #Constraints: 33555
771.26/773.61 c #Conflicts: 540000 | #Constraints: 34555
771.26/773.61 c #Conflicts: 541000 | #Constraints: 35555
771.26/773.61 c #Conflicts: 542000 | #Constraints: 36555
771.26/773.61 c #Conflicts: 543000 | #Constraints: 37555
771.26/773.61 c #Conflicts: 544000 | #Constraints: 38555
771.26/773.61 c #Conflicts: 545000 | #Constraints: 39555
771.26/773.61 c #Conflicts: 546000 | #Constraints: 40555
771.26/773.61 c #Conflicts: 547000 | #Constraints: 41555
771.26/773.61 c #Conflicts: 548000 | #Constraints: 42555
771.26/773.61 c #Conflicts: 549000 | #Constraints: 43555
771.26/773.61 c #Conflicts: 550000 | #Constraints: 44555
771.26/773.61 c #Conflicts: 551000 | #Constraints: 45555
771.26/773.61 c #Conflicts: 552000 | #Constraints: 46555
771.26/773.61 c #Conflicts: 553000 | #Constraints: 47555
771.26/773.61 c INPROCESSING
771.26/773.61 c GARBAGE COLLECT
771.26/773.61 c #Conflicts: 554000 | #Constraints: 27527
771.26/773.61 c #Conflicts: 555000 | #Constraints: 28527
771.26/773.61 c #Conflicts: 556000 | #Constraints: 29527
771.26/773.61 c #Conflicts: 557000 | #Constraints: 30527
771.26/773.61 c #Conflicts: 558000 | #Constraints: 31527
771.26/773.61 c #Conflicts: 559000 | #Constraints: 32527
771.26/773.61 c #Conflicts: 560000 | #Constraints: 33527
771.26/773.61 c #Conflicts: 561000 | #Constraints: 34527
771.26/773.61 c #Conflicts: 562000 | #Constraints: 35527
771.26/773.61 c #Conflicts: 563000 | #Constraints: 36527
771.26/773.61 c #Conflicts: 564000 | #Constraints: 37527
771.26/773.61 c #Conflicts: 565000 | #Constraints: 38527
771.26/773.61 c #Conflicts: 566000 | #Constraints: 39527
771.26/773.61 c #Conflicts: 567000 | #Constraints: 40527
771.26/773.61 c #Conflicts: 568000 | #Constraints: 41527
771.26/773.61 c #Conflicts: 569000 | #Constraints: 42527
771.26/773.61 c #Conflicts: 570000 | #Constraints: 43527
771.26/773.61 c INPROCESSING
771.26/773.61 c GARBAGE COLLECT
771.26/773.61 c #Conflicts: 571000 | #Constraints: 25892
771.26/773.61 c #Conflicts: 572000 | #Constraints: 26892
771.26/773.61 c #Conflicts: 573000 | #Constraints: 27892
771.26/773.61 c #Conflicts: 574000 | #Constraints: 28892
771.26/773.61 c #Conflicts: 575000 | #Constraints: 29892
771.26/773.61 c #Conflicts: 576000 | #Constraints: 30892
771.26/773.61 c #Conflicts: 577000 | #Constraints: 31892
771.26/773.61 c #Conflicts: 578000 | #Constraints: 32892
771.26/773.61 c #Conflicts: 579000 | #Constraints: 33892
771.26/773.61 c #Conflicts: 580000 | #Constraints: 34892
771.26/773.61 c #Conflicts: 581000 | #Constraints: 35892
771.26/773.61 c #Conflicts: 582000 | #Constraints: 36892
771.26/773.61 c #Conflicts: 583000 | #Constraints: 37892
771.26/773.61 c #Conflicts: 584000 | #Constraints: 38892
771.26/773.61 c #Conflicts: 585000 | #Constraints: 39892
771.26/773.61 c #Conflicts: 586000 | #Constraints: 40892
771.26/773.61 c INPROCESSING
771.26/773.61 c GARBAGE COLLECT
771.26/773.61 c #Conflicts: 587000 | #Constraints: 24383
771.26/773.61 c #Conflicts: 588000 | #Constraints: 25383
771.26/773.61 c #Conflicts: 589000 | #Constraints: 26383
771.26/773.61 c #Conflicts: 590000 | #Constraints: 27383
771.26/773.61 c #Conflicts: 591000 | #Constraints: 28383
771.26/773.61 c #Conflicts: 592000 | #Constraints: 29383
908.31/911.18 c #Conflicts: 593000 | #Constraints: 30383
908.31/911.18 c #Conflicts: 594000 | #Constraints: 31383
908.31/911.18 c #Conflicts: 595000 | #Constraints: 32383
908.31/911.18 c #Conflicts: 596000 | #Constraints: 33383
908.31/911.18 c #Conflicts: 597000 | #Constraints: 34383
908.31/911.18 c #Conflicts: 598000 | #Constraints: 35383
908.31/911.18 c #Conflicts: 599000 | #Constraints: 36383
908.31/911.18 c #Conflicts: 600000 | #Constraints: 37383
908.31/911.18 c #Conflicts: 601000 | #Constraints: 38383
908.31/911.18 c #Conflicts: 602000 | #Constraints: 39383
908.31/911.18 c #Conflicts: 603000 | #Constraints: 40383
908.31/911.18 c INPROCESSING
908.31/911.18 c GARBAGE COLLECT
908.31/911.18 c #Conflicts: 604000 | #Constraints: 24250
908.31/911.18 c #Conflicts: 605000 | #Constraints: 25250
908.31/911.18 c #Conflicts: 606000 | #Constraints: 26250
908.31/911.18 c #Conflicts: 607000 | #Constraints: 27250
908.31/911.18 c #Conflicts: 608000 | #Constraints: 28250
908.31/911.18 c #Conflicts: 609000 | #Constraints: 29250
908.31/911.18 c #Conflicts: 610000 | #Constraints: 30250
908.31/911.18 c #Conflicts: 611000 | #Constraints: 31250
908.31/911.18 c #Conflicts: 612000 | #Constraints: 32250
908.31/911.18 c #Conflicts: 613000 | #Constraints: 33250
908.31/911.18 c #Conflicts: 614000 | #Constraints: 34250
908.31/911.18 c #Conflicts: 615000 | #Constraints: 35250
908.31/911.18 c #Conflicts: 616000 | #Constraints: 36250
908.31/911.18 c #Conflicts: 617000 | #Constraints: 37250
908.31/911.18 c #Conflicts: 618000 | #Constraints: 38250
908.31/911.18 c #Conflicts: 619000 | #Constraints: 39250
908.31/911.18 c #Conflicts: 620000 | #Constraints: 40250
908.31/911.18 c #Conflicts: 621000 | #Constraints: 41250
908.31/911.18 c #Conflicts: 622000 | #Constraints: 42250
908.31/911.18 c #Conflicts: 623000 | #Constraints: 43250
908.31/911.18 c #Conflicts: 624000 | #Constraints: 44250
908.31/911.18 c #Conflicts: 625000 | #Constraints: 45250
908.31/911.18 c #Conflicts: 626000 | #Constraints: 46250
908.31/911.18 c #Conflicts: 627000 | #Constraints: 47250
908.31/911.18 c #Conflicts: 628000 | #Constraints: 48250
908.31/911.18 c #Conflicts: 629000 | #Constraints: 49250
908.31/911.18 c #Conflicts: 630000 | #Constraints: 50250
908.31/911.18 c #Conflicts: 631000 | #Constraints: 51250
908.31/911.18 c #Conflicts: 632000 | #Constraints: 52250
908.31/911.18 c #Conflicts: 633000 | #Constraints: 53250
908.31/911.18 c #Conflicts: 634000 | #Constraints: 54250
908.31/911.18 c #Conflicts: 635000 | #Constraints: 55250
908.31/911.18 c #Conflicts: 636000 | #Constraints: 56250
908.31/911.18 c #Conflicts: 637000 | #Constraints: 57250
908.31/911.18 c #Conflicts: 638000 | #Constraints: 58250
908.31/911.18 c #Conflicts: 639000 | #Constraints: 59250
908.31/911.18 c #Conflicts: 640000 | #Constraints: 60250
908.31/911.18 c #Conflicts: 641000 | #Constraints: 61250
908.31/911.18 c #Conflicts: 642000 | #Constraints: 62250
908.31/911.18 c #Conflicts: 643000 | #Constraints: 63250
908.31/911.18 c #Conflicts: 644000 | #Constraints: 64250
908.31/911.18 c #Conflicts: 645000 | #Constraints: 65250
908.31/911.18 c #Conflicts: 646000 | #Constraints: 66250
908.31/911.18 c #Conflicts: 647000 | #Constraints: 67250
908.31/911.18 c #Conflicts: 648000 | #Constraints: 68250
908.31/911.18 c #Conflicts: 649000 | #Constraints: 69250
908.31/911.18 c #Conflicts: 650000 | #Constraints: 70250
908.31/911.18 c #Conflicts: 651000 | #Constraints: 71250
908.31/911.18 c #Conflicts: 652000 | #Constraints: 72250
908.31/911.18 c #Conflicts: 653000 | #Constraints: 73250
908.31/911.18 c #Conflicts: 654000 | #Constraints: 74250
908.31/911.18 c #Conflicts: 655000 | #Constraints: 75250
908.31/911.18 c #Conflicts: 656000 | #Constraints: 76250
908.31/911.18 c #Conflicts: 657000 | #Constraints: 77250
908.31/911.18 c #Conflicts: 658000 | #Constraints: 78250
908.31/911.18 c #Conflicts: 659000 | #Constraints: 79250
908.31/911.18 c #Conflicts: 660000 | #Constraints: 80250
908.31/911.18 c #Conflicts: 661000 | #Constraints: 81250
908.31/911.18 c #Conflicts: 662000 | #Constraints: 82250
908.31/911.18 c #Conflicts: 663000 | #Constraints: 83250
908.31/911.18 c #Conflicts: 664000 | #Constraints: 84250
908.31/911.18 c #Conflicts: 665000 | #Constraints: 85250
908.31/911.18 c #Conflicts: 666000 | #Constraints: 86250
908.31/911.18 c #Conflicts: 667000 | #Constraints: 87250
908.31/911.18 c INPROCESSING
908.31/911.18 c GARBAGE COLLECT
908.31/911.18 c #Conflicts: 668000 | #Constraints: 47368
908.31/911.18 c #Conflicts: 669000 | #Constraints: 48368
1023.61/1026.84 c #Conflicts: 670000 | #Constraints: 49368
1023.61/1026.84 c #Conflicts: 671000 | #Constraints: 50368
1023.61/1026.84 c #Conflicts: 672000 | #Constraints: 51368
1023.61/1026.84 c #Conflicts: 673000 | #Constraints: 52368
1023.61/1026.84 c #Conflicts: 674000 | #Constraints: 53368
1023.61/1026.84 c #Conflicts: 675000 | #Constraints: 54368
1023.61/1026.84 c #Conflicts: 676000 | #Constraints: 55368
1023.61/1026.84 c #Conflicts: 677000 | #Constraints: 56368
1023.61/1026.84 c #Conflicts: 678000 | #Constraints: 57368
1023.61/1026.84 c #Conflicts: 679000 | #Constraints: 58368
1023.61/1026.84 c #Conflicts: 680000 | #Constraints: 59368
1023.61/1026.84 c #Conflicts: 681000 | #Constraints: 60368
1023.61/1026.84 c #Conflicts: 682000 | #Constraints: 61368
1023.61/1026.84 c #Conflicts: 683000 | #Constraints: 62368
1023.61/1026.84 c #Conflicts: 684000 | #Constraints: 63368
1023.61/1026.84 c #Conflicts: 685000 | #Constraints: 64368
1023.61/1026.84 c INPROCESSING
1023.61/1026.84 c GARBAGE COLLECT
1023.61/1026.84 c #Conflicts: 686000 | #Constraints: 35934
1023.61/1026.84 c #Conflicts: 687000 | #Constraints: 36934
1023.61/1026.84 c #Conflicts: 688000 | #Constraints: 37934
1023.61/1026.84 c #Conflicts: 689000 | #Constraints: 38934
1023.61/1026.84 c #Conflicts: 690000 | #Constraints: 39934
1023.61/1026.84 c #Conflicts: 691000 | #Constraints: 40934
1023.61/1026.84 c #Conflicts: 692000 | #Constraints: 41934
1023.61/1026.84 c #Conflicts: 693000 | #Constraints: 42934
1023.61/1026.84 c #Conflicts: 694000 | #Constraints: 43934
1023.61/1026.84 c #Conflicts: 695000 | #Constraints: 44934
1023.61/1026.84 c #Conflicts: 696000 | #Constraints: 45934
1023.61/1026.84 c #Conflicts: 697000 | #Constraints: 46934
1023.61/1026.84 c #Conflicts: 698000 | #Constraints: 47934
1023.61/1026.84 c #Conflicts: 699000 | #Constraints: 48934
1023.61/1026.84 c #Conflicts: 700000 | #Constraints: 49934
1023.61/1026.84 c #Conflicts: 701000 | #Constraints: 50934
1023.61/1026.84 c #Conflicts: 702000 | #Constraints: 51934
1023.61/1026.84 c #Conflicts: 703000 | #Constraints: 52934
1023.61/1026.84 c #Conflicts: 704000 | #Constraints: 53934
1023.61/1026.84 c INPROCESSING
1023.61/1026.84 c GARBAGE COLLECT
1023.61/1026.84 c #Conflicts: 705000 | #Constraints: 31118
1023.61/1026.84 c #Conflicts: 706000 | #Constraints: 32118
1023.61/1026.84 c #Conflicts: 707000 | #Constraints: 33118
1023.61/1026.84 c #Conflicts: 708000 | #Constraints: 34118
1023.61/1026.84 c #Conflicts: 709000 | #Constraints: 35118
1023.61/1026.84 c #Conflicts: 710000 | #Constraints: 36118
1023.61/1026.84 c #Conflicts: 711000 | #Constraints: 37118
1023.61/1026.84 c #Conflicts: 712000 | #Constraints: 38118
1023.61/1026.84 c #Conflicts: 713000 | #Constraints: 39118
1023.61/1026.84 c #Conflicts: 714000 | #Constraints: 40118
1023.61/1026.84 c #Conflicts: 715000 | #Constraints: 41118
1023.61/1026.84 c #Conflicts: 716000 | #Constraints: 42118
1023.61/1026.84 c #Conflicts: 717000 | #Constraints: 43118
1023.61/1026.84 c #Conflicts: 718000 | #Constraints: 44118
1023.61/1026.84 c #Conflicts: 719000 | #Constraints: 45118
1023.61/1026.84 c #Conflicts: 720000 | #Constraints: 46118
1023.61/1026.84 c #Conflicts: 721000 | #Constraints: 47118
1023.61/1026.84 c #Conflicts: 722000 | #Constraints: 48118
1023.61/1026.84 c INPROCESSING
1023.61/1026.84 c GARBAGE COLLECT
1023.61/1026.84 c #Conflicts: 723000 | #Constraints: 28007
1023.61/1026.84 c #Conflicts: 724000 | #Constraints: 29007
1023.61/1026.84 c #Conflicts: 725000 | #Constraints: 30007
1023.61/1026.84 c #Conflicts: 726000 | #Constraints: 31007
1023.61/1026.84 c #Conflicts: 727000 | #Constraints: 32007
1023.61/1026.84 c #Conflicts: 728000 | #Constraints: 33007
1023.61/1026.84 c #Conflicts: 729000 | #Constraints: 34007
1023.61/1026.84 c #Conflicts: 730000 | #Constraints: 35007
1023.61/1026.84 c #Conflicts: 731000 | #Constraints: 36007
1023.61/1026.84 c #Conflicts: 732000 | #Constraints: 37007
1023.61/1026.84 c #Conflicts: 733000 | #Constraints: 38007
1023.61/1026.84 c #Conflicts: 734000 | #Constraints: 39007
1023.61/1026.84 c #Conflicts: 735000 | #Constraints: 40007
1023.61/1026.84 c #Conflicts: 736000 | #Constraints: 41007
1023.61/1026.84 c #Conflicts: 737000 | #Constraints: 42007
1023.61/1026.84 c #Conflicts: 738000 | #Constraints: 43007
1023.61/1026.84 c #Conflicts: 739000 | #Constraints: 44007
1023.61/1026.84 c #Conflicts: 740000 | #Constraints: 45007
1023.61/1026.84 c #Conflicts: 741000 | #Constraints: 46007
1023.61/1026.84 c INPROCESSING
1023.61/1026.84 c GARBAGE COLLECT
1023.61/1026.84 c #Conflicts: 742000 | #Constraints: 27184
1023.61/1026.84 c #Conflicts: 743000 | #Constraints: 28184
1023.61/1026.84 c #Conflicts: 744000 | #Constraints: 29184
1023.61/1026.84 c #Conflicts: 745000 | #Constraints: 30184
1167.34/1171.07 c #Conflicts: 746000 | #Constraints: 31184
1167.34/1171.07 c #Conflicts: 747000 | #Constraints: 32184
1167.34/1171.07 c #Conflicts: 748000 | #Constraints: 33184
1167.34/1171.07 c #Conflicts: 749000 | #Constraints: 34184
1167.34/1171.07 c #Conflicts: 750000 | #Constraints: 35184
1167.34/1171.07 c #Conflicts: 751000 | #Constraints: 36184
1167.34/1171.07 c #Conflicts: 752000 | #Constraints: 37184
1167.34/1171.07 c #Conflicts: 753000 | #Constraints: 38184
1167.34/1171.07 c #Conflicts: 754000 | #Constraints: 39184
1167.34/1171.07 c #Conflicts: 755000 | #Constraints: 40184
1167.34/1171.07 c #Conflicts: 756000 | #Constraints: 41184
1167.34/1171.07 c #Conflicts: 757000 | #Constraints: 42184
1167.34/1171.07 c #Conflicts: 758000 | #Constraints: 43184
1167.34/1171.07 c #Conflicts: 759000 | #Constraints: 44184
1167.34/1171.07 c INPROCESSING
1167.34/1171.07 c GARBAGE COLLECT
1167.34/1171.07 c #Conflicts: 760000 | #Constraints: 25862
1167.34/1171.07 c #Conflicts: 761000 | #Constraints: 26862
1167.34/1171.07 c #Conflicts: 762000 | #Constraints: 27862
1167.34/1171.07 c #Conflicts: 763000 | #Constraints: 28862
1167.34/1171.07 c #Conflicts: 764000 | #Constraints: 29862
1167.34/1171.07 c #Conflicts: 765000 | #Constraints: 30862
1167.34/1171.07 c #Conflicts: 766000 | #Constraints: 31862
1167.34/1171.07 c #Conflicts: 767000 | #Constraints: 32862
1167.34/1171.07 c #Conflicts: 768000 | #Constraints: 33862
1167.34/1171.07 c #Conflicts: 769000 | #Constraints: 34862
1167.34/1171.07 c #Conflicts: 770000 | #Constraints: 35862
1167.34/1171.07 c #Conflicts: 771000 | #Constraints: 36862
1167.34/1171.07 c #Conflicts: 772000 | #Constraints: 37862
1167.34/1171.07 c #Conflicts: 773000 | #Constraints: 38862
1167.34/1171.07 c #Conflicts: 774000 | #Constraints: 39862
1167.34/1171.07 c #Conflicts: 775000 | #Constraints: 40862
1167.34/1171.07 c #Conflicts: 776000 | #Constraints: 41862
1167.34/1171.07 c #Conflicts: 777000 | #Constraints: 42862
1167.34/1171.07 c #Conflicts: 778000 | #Constraints: 43862
1167.34/1171.07 c #Conflicts: 779000 | #Constraints: 44862
1167.34/1171.07 c #Conflicts: 780000 | #Constraints: 45862
1167.34/1171.07 c #Conflicts: 781000 | #Constraints: 46862
1167.34/1171.07 c #Conflicts: 782000 | #Constraints: 47862
1167.34/1171.07 c #Conflicts: 783000 | #Constraints: 48862
1167.34/1171.07 c #Conflicts: 784000 | #Constraints: 49862
1167.34/1171.07 c #Conflicts: 785000 | #Constraints: 50862
1167.34/1171.07 c #Conflicts: 786000 | #Constraints: 51862
1167.34/1171.07 c #Conflicts: 787000 | #Constraints: 52862
1167.34/1171.07 c #Conflicts: 788000 | #Constraints: 53862
1167.34/1171.07 c #Conflicts: 789000 | #Constraints: 54862
1167.34/1171.07 c #Conflicts: 790000 | #Constraints: 55862
1167.34/1171.07 c #Conflicts: 791000 | #Constraints: 56862
1167.34/1171.07 c #Conflicts: 792000 | #Constraints: 57862
1167.34/1171.07 c #Conflicts: 793000 | #Constraints: 58862
1167.34/1171.07 c #Conflicts: 794000 | #Constraints: 59862
1167.34/1171.07 c #Conflicts: 795000 | #Constraints: 60862
1167.34/1171.07 c #Conflicts: 796000 | #Constraints: 61862
1167.34/1171.07 c #Conflicts: 797000 | #Constraints: 62862
1167.34/1171.07 c #Conflicts: 798000 | #Constraints: 63862
1167.34/1171.07 c #Conflicts: 799000 | #Constraints: 64862
1167.34/1171.07 c #Conflicts: 800000 | #Constraints: 65862
1167.34/1171.07 c #Conflicts: 801000 | #Constraints: 66862
1167.34/1171.07 c #Conflicts: 802000 | #Constraints: 67862
1167.34/1171.07 c #Conflicts: 803000 | #Constraints: 68862
1167.34/1171.07 c #Conflicts: 804000 | #Constraints: 69862
1167.34/1171.07 c #Conflicts: 805000 | #Constraints: 70862
1167.34/1171.07 c #Conflicts: 806000 | #Constraints: 71862
1167.34/1171.07 c #Conflicts: 807000 | #Constraints: 72862
1167.34/1171.07 c #Conflicts: 808000 | #Constraints: 73862
1167.34/1171.07 c #Conflicts: 809000 | #Constraints: 74862
1167.34/1171.07 c #Conflicts: 810000 | #Constraints: 75862
1167.34/1171.07 c #Conflicts: 811000 | #Constraints: 76862
1167.34/1171.07 c #Conflicts: 812000 | #Constraints: 77862
1167.34/1171.07 c #Conflicts: 813000 | #Constraints: 78862
1167.34/1171.07 c #Conflicts: 814000 | #Constraints: 79862
1167.34/1171.07 c #Conflicts: 815000 | #Constraints: 80862
1167.34/1171.07 c #Conflicts: 816000 | #Constraints: 81862
1167.34/1171.07 c #Conflicts: 817000 | #Constraints: 82862
1167.34/1171.07 c #Conflicts: 818000 | #Constraints: 83862
1167.34/1171.07 c #Conflicts: 819000 | #Constraints: 84862
1167.34/1171.07 c #Conflicts: 820000 | #Constraints: 85862
1167.34/1171.07 c #Conflicts: 821000 | #Constraints: 86862
1167.34/1171.07 c #Conflicts: 822000 | #Constraints: 87862
1167.34/1171.07 c #Conflicts: 823000 | #Constraints: 88862
1167.34/1171.07 c #Conflicts: 824000 | #Constraints: 89862
1306.76/1311.00 c #Conflicts: 825000 | #Constraints: 90862
1306.76/1311.00 c #Conflicts: 826000 | #Constraints: 91862
1306.76/1311.00 c #Conflicts: 827000 | #Constraints: 92862
1306.76/1311.00 c #Conflicts: 828000 | #Constraints: 93862
1306.76/1311.00 c #Conflicts: 829000 | #Constraints: 94862
1306.76/1311.00 c #Conflicts: 830000 | #Constraints: 95862
1306.76/1311.00 c #Conflicts: 831000 | #Constraints: 96862
1306.76/1311.00 c INPROCESSING
1306.76/1311.00 c GARBAGE COLLECT
1306.76/1311.00 c #Conflicts: 832000 | #Constraints: 52144
1306.76/1311.00 c #Conflicts: 833000 | #Constraints: 53144
1306.76/1311.00 c #Conflicts: 834000 | #Constraints: 54144
1306.76/1311.00 c #Conflicts: 835000 | #Constraints: 55144
1306.76/1311.00 c #Conflicts: 836000 | #Constraints: 56144
1306.76/1311.00 c #Conflicts: 837000 | #Constraints: 57144
1306.76/1311.00 c #Conflicts: 838000 | #Constraints: 58144
1306.76/1311.00 c #Conflicts: 839000 | #Constraints: 59144
1306.76/1311.00 c #Conflicts: 840000 | #Constraints: 60144
1306.76/1311.00 c #Conflicts: 841000 | #Constraints: 61144
1306.76/1311.00 c #Conflicts: 842000 | #Constraints: 62144
1306.76/1311.00 c #Conflicts: 843000 | #Constraints: 63144
1306.76/1311.00 c #Conflicts: 844000 | #Constraints: 64144
1306.76/1311.00 c #Conflicts: 845000 | #Constraints: 65144
1306.76/1311.00 c #Conflicts: 846000 | #Constraints: 66144
1306.76/1311.00 c #Conflicts: 847000 | #Constraints: 67144
1306.76/1311.00 c #Conflicts: 848000 | #Constraints: 68144
1306.76/1311.00 c #Conflicts: 849000 | #Constraints: 69144
1306.76/1311.00 c #Conflicts: 850000 | #Constraints: 70144
1306.76/1311.00 c #Conflicts: 851000 | #Constraints: 71144
1306.76/1311.00 c #Conflicts: 852000 | #Constraints: 72144
1306.76/1311.00 c INPROCESSING
1306.76/1311.00 c GARBAGE COLLECT
1306.76/1311.00 c #Conflicts: 853000 | #Constraints: 40237
1306.76/1311.00 c #Conflicts: 854000 | #Constraints: 41237
1306.76/1311.00 c #Conflicts: 855000 | #Constraints: 42237
1306.76/1311.00 c #Conflicts: 856000 | #Constraints: 43237
1306.76/1311.00 c #Conflicts: 857000 | #Constraints: 44237
1306.76/1311.00 c #Conflicts: 858000 | #Constraints: 45237
1306.76/1311.00 c #Conflicts: 859000 | #Constraints: 46237
1306.76/1311.00 c #Conflicts: 860000 | #Constraints: 47237
1306.76/1311.00 c #Conflicts: 861000 | #Constraints: 48237
1306.76/1311.00 c #Conflicts: 862000 | #Constraints: 49237
1306.76/1311.00 c #Conflicts: 863000 | #Constraints: 50237
1306.76/1311.00 c #Conflicts: 864000 | #Constraints: 51237
1306.76/1311.00 c #Conflicts: 865000 | #Constraints: 52237
1306.76/1311.00 c #Conflicts: 866000 | #Constraints: 53237
1306.76/1311.00 c #Conflicts: 867000 | #Constraints: 54237
1306.76/1311.00 c #Conflicts: 868000 | #Constraints: 55237
1306.76/1311.00 c #Conflicts: 869000 | #Constraints: 56237
1306.76/1311.00 c #Conflicts: 870000 | #Constraints: 57237
1306.76/1311.00 c #Conflicts: 871000 | #Constraints: 58237
1306.76/1311.00 c #Conflicts: 872000 | #Constraints: 59237
1306.76/1311.00 c INPROCESSING
1306.76/1311.00 c GARBAGE COLLECT
1306.76/1311.00 c #Conflicts: 873000 | #Constraints: 33645
1306.76/1311.00 c #Conflicts: 874000 | #Constraints: 34645
1306.76/1311.00 c #Conflicts: 875000 | #Constraints: 35645
1306.76/1311.00 c #Conflicts: 876000 | #Constraints: 36645
1306.76/1311.00 c #Conflicts: 877000 | #Constraints: 37645
1306.76/1311.00 c #Conflicts: 878000 | #Constraints: 38645
1306.76/1311.00 c #Conflicts: 879000 | #Constraints: 39645
1306.76/1311.00 c #Conflicts: 880000 | #Constraints: 40645
1306.76/1311.00 c #Conflicts: 881000 | #Constraints: 41645
1306.76/1311.00 c #Conflicts: 882000 | #Constraints: 42645
1306.76/1311.00 c #Conflicts: 883000 | #Constraints: 43645
1306.76/1311.00 c #Conflicts: 884000 | #Constraints: 44645
1306.76/1311.00 c #Conflicts: 885000 | #Constraints: 45645
1306.76/1311.00 c #Conflicts: 886000 | #Constraints: 46645
1306.76/1311.00 c #Conflicts: 887000 | #Constraints: 47645
1306.76/1311.00 c #Conflicts: 888000 | #Constraints: 48645
1306.76/1311.00 c #Conflicts: 889000 | #Constraints: 49645
1306.76/1311.00 c #Conflicts: 890000 | #Constraints: 50645
1306.76/1311.00 c #Conflicts: 891000 | #Constraints: 51645
1306.76/1311.00 c #Conflicts: 892000 | #Constraints: 52645
1306.76/1311.00 c INPROCESSING
1306.76/1311.00 c GARBAGE COLLECT
1306.76/1311.00 c rational objective 87.3257
1413.31/1417.87 c #Conflicts: 893000 | #Constraints: 30059
1413.31/1417.87 c #Conflicts: 894000 | #Constraints: 31059
1413.31/1417.87 c #Conflicts: 895000 | #Constraints: 32059
1413.31/1417.87 c #Conflicts: 896000 | #Constraints: 33059
1413.31/1417.87 c #Conflicts: 897000 | #Constraints: 34059
1413.31/1417.87 c #Conflicts: 898000 | #Constraints: 35059
1413.31/1417.87 c #Conflicts: 899000 | #Constraints: 36059
1413.31/1417.87 c #Conflicts: 900000 | #Constraints: 37059
1413.31/1417.87 c #Conflicts: 901000 | #Constraints: 38059
1413.31/1417.87 c #Conflicts: 902000 | #Constraints: 39059
1413.31/1417.87 c #Conflicts: 903000 | #Constraints: 40059
1413.31/1417.87 c #Conflicts: 904000 | #Constraints: 41059
1413.31/1417.87 c #Conflicts: 905000 | #Constraints: 42059
1413.31/1417.87 c #Conflicts: 906000 | #Constraints: 43059
1413.31/1417.87 c #Conflicts: 907000 | #Constraints: 44059
1413.31/1417.87 c #Conflicts: 908000 | #Constraints: 45059
1413.31/1417.87 c #Conflicts: 909000 | #Constraints: 46059
1413.31/1417.87 c #Conflicts: 910000 | #Constraints: 47059
1413.31/1417.87 c #Conflicts: 911000 | #Constraints: 48059
1413.31/1417.87 c #Conflicts: 912000 | #Constraints: 49059
1413.31/1417.87 c #Conflicts: 913000 | #Constraints: 50059
1413.31/1417.87 c INPROCESSING
1413.31/1417.87 c GARBAGE COLLECT
1413.31/1417.87 c #Conflicts: 914000 | #Constraints: 28984
1413.31/1417.87 c #Conflicts: 915000 | #Constraints: 29984
1413.31/1417.87 c #Conflicts: 916000 | #Constraints: 30984
1413.31/1417.87 c #Conflicts: 917000 | #Constraints: 31984
1413.31/1417.87 c #Conflicts: 918000 | #Constraints: 32984
1413.31/1417.87 c #Conflicts: 919000 | #Constraints: 33984
1413.31/1417.87 c #Conflicts: 920000 | #Constraints: 34984
1413.31/1417.87 c #Conflicts: 921000 | #Constraints: 35984
1413.31/1417.87 c #Conflicts: 922000 | #Constraints: 36984
1413.31/1417.87 c #Conflicts: 923000 | #Constraints: 37984
1413.31/1417.87 c #Conflicts: 924000 | #Constraints: 38984
1413.31/1417.87 c #Conflicts: 925000 | #Constraints: 39984
1413.31/1417.87 c #Conflicts: 926000 | #Constraints: 40984
1413.31/1417.87 c #Conflicts: 927000 | #Constraints: 41984
1413.31/1417.87 c #Conflicts: 928000 | #Constraints: 42984
1413.31/1417.87 c #Conflicts: 929000 | #Constraints: 43984
1413.31/1417.87 c #Conflicts: 930000 | #Constraints: 44984
1413.31/1417.87 c #Conflicts: 931000 | #Constraints: 45984
1413.31/1417.87 c #Conflicts: 932000 | #Constraints: 46984
1413.31/1417.87 c #Conflicts: 933000 | #Constraints: 47984
1413.31/1417.87 c #Conflicts: 934000 | #Constraints: 48984
1413.31/1417.87 c INPROCESSING
1413.31/1417.87 c GARBAGE COLLECT
1413.31/1417.87 c #Conflicts: 935000 | #Constraints: 28506
1413.31/1417.87 c #Conflicts: 936000 | #Constraints: 29506
1413.31/1417.87 c #Conflicts: 937000 | #Constraints: 30506
1413.31/1417.87 c #Conflicts: 938000 | #Constraints: 31506
1413.31/1417.87 c #Conflicts: 939000 | #Constraints: 32506
1413.31/1417.87 c #Conflicts: 940000 | #Constraints: 33506
1413.31/1417.87 c #Conflicts: 941000 | #Constraints: 34506
1413.31/1417.87 c #Conflicts: 942000 | #Constraints: 35506
1413.31/1417.87 c #Conflicts: 943000 | #Constraints: 36506
1413.31/1417.87 c #Conflicts: 944000 | #Constraints: 37506
1413.31/1417.87 c #Conflicts: 945000 | #Constraints: 38506
1413.31/1417.87 c #Conflicts: 946000 | #Constraints: 39506
1413.31/1417.87 c #Conflicts: 947000 | #Constraints: 40506
1413.31/1417.87 c #Conflicts: 948000 | #Constraints: 41506
1413.31/1417.87 c #Conflicts: 949000 | #Constraints: 42506
1413.31/1417.87 c #Conflicts: 950000 | #Constraints: 43506
1413.31/1417.87 c #Conflicts: 951000 | #Constraints: 44506
1413.31/1417.87 c #Conflicts: 952000 | #Constraints: 45506
1413.31/1417.87 c #Conflicts: 953000 | #Constraints: 46506
1413.31/1417.87 c #Conflicts: 954000 | #Constraints: 47506
1413.31/1417.87 c #Conflicts: 955000 | #Constraints: 48506
1413.31/1417.87 c #Conflicts: 956000 | #Constraints: 49506
1413.31/1417.87 c #Conflicts: 957000 | #Constraints: 50506
1413.31/1417.87 c #Conflicts: 958000 | #Constraints: 51506
1413.31/1417.87 c #Conflicts: 959000 | #Constraints: 52506
1413.31/1417.87 c #Conflicts: 960000 | #Constraints: 53506
1413.31/1417.87 c #Conflicts: 961000 | #Constraints: 54506
1413.31/1417.87 c #Conflicts: 962000 | #Constraints: 55506
1413.31/1417.87 c #Conflicts: 963000 | #Constraints: 56506
1413.31/1417.87 c #Conflicts: 964000 | #Constraints: 57506
1413.31/1417.87 c #Conflicts: 965000 | #Constraints: 58506
1413.31/1417.87 c #Conflicts: 966000 | #Constraints: 59506
1413.31/1417.87 c #Conflicts: 967000 | #Constraints: 60506
1413.31/1417.87 c #Conflicts: 968000 | #Constraints: 61506
1413.31/1417.87 c #Conflicts: 969000 | #Constraints: 62506
1413.31/1417.87 c #Conflicts: 970000 | #Constraints: 63506
1610.96/1616.12 c #Conflicts: 971000 | #Constraints: 64506
1610.96/1616.12 c #Conflicts: 972000 | #Constraints: 65506
1610.96/1616.12 c #Conflicts: 973000 | #Constraints: 66506
1610.96/1616.12 c #Conflicts: 974000 | #Constraints: 67506
1610.96/1616.12 c #Conflicts: 975000 | #Constraints: 68506
1610.96/1616.12 c #Conflicts: 976000 | #Constraints: 69506
1610.96/1616.12 c #Conflicts: 977000 | #Constraints: 70506
1610.96/1616.12 c #Conflicts: 978000 | #Constraints: 71506
1610.96/1616.12 c #Conflicts: 979000 | #Constraints: 72506
1610.96/1616.12 c #Conflicts: 980000 | #Constraints: 73506
1610.96/1616.12 c #Conflicts: 981000 | #Constraints: 74506
1610.96/1616.12 c #Conflicts: 982000 | #Constraints: 75506
1610.96/1616.12 c #Conflicts: 983000 | #Constraints: 76506
1610.96/1616.12 c #Conflicts: 984000 | #Constraints: 77506
1610.96/1616.12 c #Conflicts: 985000 | #Constraints: 78506
1610.96/1616.12 c #Conflicts: 986000 | #Constraints: 79506
1610.96/1616.12 c #Conflicts: 987000 | #Constraints: 80506
1610.96/1616.12 c #Conflicts: 988000 | #Constraints: 81506
1610.96/1616.12 c #Conflicts: 989000 | #Constraints: 82506
1610.96/1616.12 c #Conflicts: 990000 | #Constraints: 83506
1610.96/1616.12 c #Conflicts: 991000 | #Constraints: 84506
1610.96/1616.12 c #Conflicts: 992000 | #Constraints: 85506
1610.96/1616.12 c #Conflicts: 993000 | #Constraints: 86506
1610.96/1616.12 c #Conflicts: 994000 | #Constraints: 87506
1610.96/1616.12 c #Conflicts: 995000 | #Constraints: 88506
1610.96/1616.12 c #Conflicts: 996000 | #Constraints: 89506
1610.96/1616.12 c #Conflicts: 997000 | #Constraints: 90506
1610.96/1616.12 c #Conflicts: 998000 | #Constraints: 91506
1610.96/1616.12 c #Conflicts: 999000 | #Constraints: 92506
1610.96/1616.12 c #Conflicts: 1000000 | #Constraints: 93506
1610.96/1616.12 c #Conflicts: 1001000 | #Constraints: 94506
1610.96/1616.12 c #Conflicts: 1002000 | #Constraints: 95506
1610.96/1616.12 c #Conflicts: 1003000 | #Constraints: 96506
1610.96/1616.12 c #Conflicts: 1004000 | #Constraints: 97506
1610.96/1616.12 c #Conflicts: 1005000 | #Constraints: 98506
1610.96/1616.12 c #Conflicts: 1006000 | #Constraints: 99506
1610.96/1616.12 c #Conflicts: 1007000 | #Constraints: 100506
1610.96/1616.12 c #Conflicts: 1008000 | #Constraints: 101506
1610.96/1616.12 c #Conflicts: 1009000 | #Constraints: 102507
1610.96/1616.12 c #Conflicts: 1010000 | #Constraints: 103507
1610.96/1616.12 c #Conflicts: 1011000 | #Constraints: 104507
1610.96/1616.12 c #Conflicts: 1012000 | #Constraints: 105507
1610.96/1616.12 c #Conflicts: 1013000 | #Constraints: 106507
1610.96/1616.12 c #Conflicts: 1014000 | #Constraints: 107507
1610.96/1616.12 c INPROCESSING
1610.96/1616.12 c GARBAGE COLLECT
1610.96/1616.12 c #Conflicts: 1015000 | #Constraints: 57932
1610.96/1616.12 c #Conflicts: 1016000 | #Constraints: 58932
1610.96/1616.12 c #Conflicts: 1017000 | #Constraints: 59932
1610.96/1616.12 c #Conflicts: 1018000 | #Constraints: 60932
1610.96/1616.12 c #Conflicts: 1019000 | #Constraints: 61932
1610.96/1616.12 c #Conflicts: 1020000 | #Constraints: 62932
1610.96/1616.12 c #Conflicts: 1021000 | #Constraints: 63932
1610.96/1616.12 c #Conflicts: 1022000 | #Constraints: 64932
1610.96/1616.12 c #Conflicts: 1023000 | #Constraints: 65932
1610.96/1616.12 c #Conflicts: 1024000 | #Constraints: 66932
1610.96/1616.12 c #Conflicts: 1025000 | #Constraints: 67932
1610.96/1616.12 c #Conflicts: 1026000 | #Constraints: 68932
1610.96/1616.12 c #Conflicts: 1027000 | #Constraints: 69932
1610.96/1616.12 c #Conflicts: 1028000 | #Constraints: 70932
1610.96/1616.12 c #Conflicts: 1029000 | #Constraints: 71932
1610.96/1616.12 c #Conflicts: 1030000 | #Constraints: 72932
1610.96/1616.12 c #Conflicts: 1031000 | #Constraints: 73932
1610.96/1616.12 c #Conflicts: 1032000 | #Constraints: 74932
1610.96/1616.12 c #Conflicts: 1033000 | #Constraints: 75932
1610.96/1616.12 c #Conflicts: 1034000 | #Constraints: 76932
1610.96/1616.12 c #Conflicts: 1035000 | #Constraints: 77933
1610.96/1616.12 c #Conflicts: 1036000 | #Constraints: 78933
1610.96/1616.12 c INPROCESSING
1610.96/1616.12 c GARBAGE COLLECT
1610.96/1616.12 c #Conflicts: 1037000 | #Constraints: 43537
1610.96/1616.12 c #Conflicts: 1038000 | #Constraints: 44537
1610.96/1616.12 c #Conflicts: 1039000 | #Constraints: 45537
1610.96/1616.12 c #Conflicts: 1040000 | #Constraints: 46537
1610.96/1616.12 c #Conflicts: 1041000 | #Constraints: 47537
1610.96/1616.12 c #Conflicts: 1042000 | #Constraints: 48537
1610.96/1616.12 c #Conflicts: 1043000 | #Constraints: 49537
1610.96/1616.12 c #Conflicts: 1044000 | #Constraints: 50537
1610.96/1616.12 c #Conflicts: 1045000 | #Constraints: 51537
1610.96/1616.12 c #Conflicts: 1046000 | #Constraints: 52537
1610.96/1616.12 c #Conflicts: 1047000 | #Constraints: 53537
1794.01/1799.75 c #Conflicts: 1048000 | #Constraints: 54537
1794.01/1799.75 c #Conflicts: 1049000 | #Constraints: 55537
1794.01/1799.75 c #Conflicts: 1050000 | #Constraints: 56537
1794.01/1799.75 c #Conflicts: 1051000 | #Constraints: 57537
1794.01/1799.75 c #Conflicts: 1052000 | #Constraints: 58537
1794.01/1799.75 c #Conflicts: 1053000 | #Constraints: 59537
1794.01/1799.75 c #Conflicts: 1054000 | #Constraints: 60537
1794.01/1799.75 c #Conflicts: 1055000 | #Constraints: 61537
1794.01/1799.75 c #Conflicts: 1056000 | #Constraints: 62537
1794.01/1799.75 c #Conflicts: 1057000 | #Constraints: 63537
1794.01/1799.75 c #Conflicts: 1058000 | #Constraints: 64537
1794.01/1799.75 c INPROCESSING
1794.01/1799.75 c GARBAGE COLLECT
1794.01/1799.75 c #Conflicts: 1059000 | #Constraints: 36150
1794.01/1799.75 c #Conflicts: 1060000 | #Constraints: 37150
1794.01/1799.75 c #Conflicts: 1061000 | #Constraints: 38150
1794.01/1799.75 c #Conflicts: 1062000 | #Constraints: 39150
1794.01/1799.75 c #Conflicts: 1063000 | #Constraints: 40150
1794.01/1799.75 c #Conflicts: 1064000 | #Constraints: 41150
1794.01/1799.75 c #Conflicts: 1065000 | #Constraints: 42150
1794.01/1799.75 c #Conflicts: 1066000 | #Constraints: 43150
1794.01/1799.75 c #Conflicts: 1067000 | #Constraints: 44150
1794.01/1799.75 c #Conflicts: 1068000 | #Constraints: 45150
1794.01/1799.75 c #Conflicts: 1069000 | #Constraints: 46150
1794.01/1799.75 c #Conflicts: 1070000 | #Constraints: 47150
1794.01/1799.75 c #Conflicts: 1071000 | #Constraints: 48150
1794.01/1799.75 c #Conflicts: 1072000 | #Constraints: 49150
1794.01/1799.75 c #Conflicts: 1073000 | #Constraints: 50150
1794.01/1799.75 c #Conflicts: 1074000 | #Constraints: 51150
1794.01/1799.75 c #Conflicts: 1075000 | #Constraints: 52150
1794.01/1799.75 c #Conflicts: 1076000 | #Constraints: 53150
1794.01/1799.75 c #Conflicts: 1077000 | #Constraints: 54150
1794.01/1799.75 c #Conflicts: 1078000 | #Constraints: 55150
1794.01/1799.75 c #Conflicts: 1079000 | #Constraints: 56150
1794.01/1799.75 c #Conflicts: 1080000 | #Constraints: 57150
1794.01/1799.75 c #Conflicts: 1081000 | #Constraints: 58150
1794.01/1799.75 c INPROCESSING
1794.01/1799.75 c GARBAGE COLLECT
1794.01/1799.75 c #Conflicts: 1082000 | #Constraints: 33222
1794.01/1799.75 c #Conflicts: 1083000 | #Constraints: 34222
1794.01/1799.75 c #Conflicts: 1084000 | #Constraints: 35222
1794.01/1799.75 c #Conflicts: 1085000 | #Constraints: 36222
1794.01/1799.75 c #Conflicts: 1086000 | #Constraints: 37222
1794.01/1799.75 c #Conflicts: 1087000 | #Constraints: 38222
1794.01/1799.75 c #Conflicts: 1088000 | #Constraints: 39222
1794.01/1799.75 c #Conflicts: 1089000 | #Constraints: 40222
1794.01/1799.75 c #Conflicts: 1090000 | #Constraints: 41222
1794.01/1799.75 c #Conflicts: 1091000 | #Constraints: 42222
1794.01/1799.75 c #Conflicts: 1092000 | #Constraints: 43222
1794.01/1799.75 c #Conflicts: 1093000 | #Constraints: 44222
1794.01/1799.75 c #Conflicts: 1094000 | #Constraints: 45222
1794.01/1799.75 c #Conflicts: 1095000 | #Constraints: 46222
1794.01/1799.75 c #Conflicts: 1096000 | #Constraints: 47222
1794.01/1799.75 c #Conflicts: 1097000 | #Constraints: 48222
1794.01/1799.75 c #Conflicts: 1098000 | #Constraints: 49222
1794.01/1799.75 c #Conflicts: 1099000 | #Constraints: 50222
1794.01/1799.75 c #Conflicts: 1100000 | #Constraints: 51222
1794.01/1799.75 c #Conflicts: 1101000 | #Constraints: 52222
1794.01/1799.75 c #Conflicts: 1102000 | #Constraints: 53222
1794.01/1799.75 c #Conflicts: 1103000 | #Constraints: 54222
1794.01/1799.75 c #Conflicts: 1104000 | #Constraints: 55222
1794.01/1799.75 c INPROCESSING
1794.01/1799.75 c GARBAGE COLLECT
1794.01/1799.75 c #Conflicts: 1105000 | #Constraints: 31814
1794.01/1799.75 c #Conflicts: 1106000 | #Constraints: 32814
1794.01/1799.75 c #Conflicts: 1107000 | #Constraints: 33814
1794.01/1799.75 c #Conflicts: 1108000 | #Constraints: 34814
1794.01/1799.75 c #Conflicts: 1109000 | #Constraints: 35814
1794.01/1799.75 c #Conflicts: 1110000 | #Constraints: 36814
1794.01/1799.75 c #Conflicts: 1111000 | #Constraints: 37814
1794.01/1799.75 c #Conflicts: 1112000 | #Constraints: 38814
1794.01/1799.75 c #Conflicts: 1113000 | #Constraints: 39814
1794.01/1799.75 c #Conflicts: 1114000 | #Constraints: 40814
1794.01/1799.75 c #Conflicts: 1115000 | #Constraints: 41814
1794.01/1799.75 c #Conflicts: 1116000 | #Constraints: 42814
1794.01/1799.75 c #Conflicts: 1117000 | #Constraints: 43814
1794.01/1799.75 c #Conflicts: 1118000 | #Constraints: 44814
1794.01/1799.75 c #Conflicts: 1119000 | #Constraints: 45814
1794.01/1799.75 c #Conflicts: 1120000 | #Constraints: 46814
1794.01/1799.75 c #Conflicts: 1121000 | #Constraints: 47814
1794.01/1799.75 c #Conflicts: 1122000 | #Constraints: 48814
1794.01/1799.75 c #Conflicts: 1123000 | #Constraints: 49814
1794.01/1799.75 c #Conflicts: 1124000 | #Constraints: 50814
1920.16/1926.29 c #Conflicts: 1125000 | #Constraints: 51814
1920.16/1926.29 c #Conflicts: 1126000 | #Constraints: 52814
1920.16/1926.29 c #Conflicts: 1127000 | #Constraints: 53814
1920.16/1926.29 c INPROCESSING
1920.16/1926.29 c GARBAGE COLLECT
1920.16/1926.29 c #Conflicts: 1128000 | #Constraints: 31065
1920.16/1926.29 c #Conflicts: 1129000 | #Constraints: 32065
1920.16/1926.29 c #Conflicts: 1130000 | #Constraints: 33065
1920.16/1926.29 c #Conflicts: 1131000 | #Constraints: 34065
1920.16/1926.29 c #Conflicts: 1132000 | #Constraints: 35065
1920.16/1926.29 c #Conflicts: 1133000 | #Constraints: 36065
1920.16/1926.29 c #Conflicts: 1134000 | #Constraints: 37065
1920.16/1926.29 c #Conflicts: 1135000 | #Constraints: 38065
1920.16/1926.29 c #Conflicts: 1136000 | #Constraints: 39065
1920.16/1926.29 c #Conflicts: 1137000 | #Constraints: 40065
1920.16/1926.29 c #Conflicts: 1138000 | #Constraints: 41065
1920.16/1926.29 c #Conflicts: 1139000 | #Constraints: 42065
1920.16/1926.29 c #Conflicts: 1140000 | #Constraints: 43065
1920.16/1926.29 c #Conflicts: 1141000 | #Constraints: 44065
1920.16/1926.29 c #Conflicts: 1142000 | #Constraints: 45065
1920.16/1926.29 c #Conflicts: 1143000 | #Constraints: 46065
1920.16/1926.29 c #Conflicts: 1144000 | #Constraints: 47065
1920.16/1926.29 c #Conflicts: 1145000 | #Constraints: 48065
1920.16/1926.29 c #Conflicts: 1146000 | #Constraints: 49065
1920.16/1926.29 c #Conflicts: 1147000 | #Constraints: 50065
1920.16/1926.29 c #Conflicts: 1148000 | #Constraints: 51065
1920.16/1926.29 c #Conflicts: 1149000 | #Constraints: 52065
1920.16/1926.29 c #Conflicts: 1150000 | #Constraints: 53065
1920.16/1926.29 c INPROCESSING
1920.16/1926.29 c GARBAGE COLLECT
1920.16/1926.29 c #Conflicts: 1151000 | #Constraints: 30605
1920.16/1926.29 c #Conflicts: 1152000 | #Constraints: 31605
1920.16/1926.29 c #Conflicts: 1153000 | #Constraints: 32605
1920.16/1926.29 c #Conflicts: 1154000 | #Constraints: 33605
1920.16/1926.29 c #Conflicts: 1155000 | #Constraints: 34605
1920.16/1926.29 c #Conflicts: 1156000 | #Constraints: 35605
1920.16/1926.29 c #Conflicts: 1157000 | #Constraints: 36605
1920.16/1926.29 c #Conflicts: 1158000 | #Constraints: 37605
1920.16/1926.29 c #Conflicts: 1159000 | #Constraints: 38605
1920.16/1926.29 c #Conflicts: 1160000 | #Constraints: 39606
1920.16/1926.29 c #Conflicts: 1161000 | #Constraints: 40606
1920.16/1926.29 c #Conflicts: 1162000 | #Constraints: 41606
1920.16/1926.29 c #Conflicts: 1163000 | #Constraints: 42606
1920.16/1926.29 c #Conflicts: 1164000 | #Constraints: 43606
1920.16/1926.29 c #Conflicts: 1165000 | #Constraints: 44606
1920.16/1926.29 c #Conflicts: 1166000 | #Constraints: 45606
1920.16/1926.29 c #Conflicts: 1167000 | #Constraints: 46606
1920.16/1926.29 c #Conflicts: 1168000 | #Constraints: 47606
1920.16/1926.29 c #Conflicts: 1169000 | #Constraints: 48606
1920.16/1926.29 c #Conflicts: 1170000 | #Constraints: 49606
1920.16/1926.29 c #Conflicts: 1171000 | #Constraints: 50606
1920.16/1926.29 c #Conflicts: 1172000 | #Constraints: 51606
1920.16/1926.29 c #Conflicts: 1173000 | #Constraints: 52606
1920.16/1926.29 c #Conflicts: 1174000 | #Constraints: 53606
1920.16/1926.29 c #Conflicts: 1175000 | #Constraints: 54606
1920.16/1926.29 c #Conflicts: 1176000 | #Constraints: 55606
1920.16/1926.29 c #Conflicts: 1177000 | #Constraints: 56606
1920.16/1926.29 c #Conflicts: 1178000 | #Constraints: 57606
1920.16/1926.29 c #Conflicts: 1179000 | #Constraints: 58606
1920.16/1926.29 c #Conflicts: 1180000 | #Constraints: 59606
1920.16/1926.29 c #Conflicts: 1181000 | #Constraints: 60606
1920.16/1926.29 c #Conflicts: 1182000 | #Constraints: 61606
1920.16/1926.29 c #Conflicts: 1183000 | #Constraints: 62606
1920.16/1926.29 c #Conflicts: 1184000 | #Constraints: 63606
1920.16/1926.29 c #Conflicts: 1185000 | #Constraints: 64606
1920.16/1926.29 c #Conflicts: 1186000 | #Constraints: 65606
1920.16/1926.29 c #Conflicts: 1187000 | #Constraints: 66606
1920.16/1926.29 c #Conflicts: 1188000 | #Constraints: 67606
1920.16/1926.29 c #Conflicts: 1189000 | #Constraints: 68606
1920.16/1926.29 c #Conflicts: 1190000 | #Constraints: 69606
1920.16/1926.29 c #Conflicts: 1191000 | #Constraints: 70606
1920.16/1926.29 c #Conflicts: 1192000 | #Constraints: 71606
1920.16/1926.29 c #Conflicts: 1193000 | #Constraints: 72606
1920.16/1926.29 c #Conflicts: 1194000 | #Constraints: 73606
1920.16/1926.29 c #Conflicts: 1195000 | #Constraints: 74606
1920.16/1926.29 c #Conflicts: 1196000 | #Constraints: 75606
1920.16/1926.29 c #Conflicts: 1197000 | #Constraints: 76606
1920.16/1926.29 c #Conflicts: 1198000 | #Constraints: 77606
1920.16/1926.29 c #Conflicts: 1199000 | #Constraints: 78606
1920.16/1926.29 c #Conflicts: 1200000 | #Constraints: 79606
1920.16/1926.29 c #Conflicts: 1201000 | #Constraints: 80606
1920.16/1926.29 c #Conflicts: 1202000 | #Constraints: 81606
2149.83/2156.54 c #Conflicts: 1203000 | #Constraints: 82606
2149.83/2156.54 c #Conflicts: 1204000 | #Constraints: 83606
2149.83/2156.54 c #Conflicts: 1205000 | #Constraints: 84606
2149.83/2156.54 c #Conflicts: 1206000 | #Constraints: 85606
2149.83/2156.54 c #Conflicts: 1207000 | #Constraints: 86606
2149.83/2156.54 c #Conflicts: 1208000 | #Constraints: 87606
2149.83/2156.54 c #Conflicts: 1209000 | #Constraints: 88606
2149.83/2156.54 c #Conflicts: 1210000 | #Constraints: 89606
2149.83/2156.54 c #Conflicts: 1211000 | #Constraints: 90606
2149.83/2156.54 c #Conflicts: 1212000 | #Constraints: 91606
2149.83/2156.54 c #Conflicts: 1213000 | #Constraints: 92606
2149.83/2156.54 c #Conflicts: 1214000 | #Constraints: 93606
2149.83/2156.54 c #Conflicts: 1215000 | #Constraints: 94606
2149.83/2156.54 c #Conflicts: 1216000 | #Constraints: 95606
2149.83/2156.54 c #Conflicts: 1217000 | #Constraints: 96606
2149.83/2156.54 c #Conflicts: 1218000 | #Constraints: 97606
2149.83/2156.54 c #Conflicts: 1219000 | #Constraints: 98606
2149.83/2156.54 c #Conflicts: 1220000 | #Constraints: 99606
2149.83/2156.54 c #Conflicts: 1221000 | #Constraints: 100606
2149.83/2156.54 c #Conflicts: 1222000 | #Constraints: 101606
2149.83/2156.54 c #Conflicts: 1223000 | #Constraints: 102606
2149.83/2156.54 c #Conflicts: 1224000 | #Constraints: 103606
2149.83/2156.54 c #Conflicts: 1225000 | #Constraints: 104606
2149.83/2156.54 c #Conflicts: 1226000 | #Constraints: 105606
2149.83/2156.54 c #Conflicts: 1227000 | #Constraints: 106606
2149.83/2156.54 c #Conflicts: 1228000 | #Constraints: 107606
2149.83/2156.54 c #Conflicts: 1229000 | #Constraints: 108606
2149.83/2156.54 c #Conflicts: 1230000 | #Constraints: 109606
2149.83/2156.54 c #Conflicts: 1231000 | #Constraints: 110606
2149.83/2156.54 c #Conflicts: 1232000 | #Constraints: 111606
2149.83/2156.54 c #Conflicts: 1233000 | #Constraints: 112606
2149.83/2156.54 c #Conflicts: 1234000 | #Constraints: 113606
2149.83/2156.54 c #Conflicts: 1235000 | #Constraints: 114606
2149.83/2156.54 c #Conflicts: 1236000 | #Constraints: 115606
2149.83/2156.54 c #Conflicts: 1237000 | #Constraints: 116606
2149.83/2156.54 c #Conflicts: 1238000 | #Constraints: 117606
2149.83/2156.54 c INPROCESSING
2149.83/2156.54 c GARBAGE COLLECT
2149.83/2156.54 c #Conflicts: 1239000 | #Constraints: 62818
2149.83/2156.54 c #Conflicts: 1240000 | #Constraints: 63818
2149.83/2156.54 c #Conflicts: 1241000 | #Constraints: 64818
2149.83/2156.54 c #Conflicts: 1242000 | #Constraints: 65818
2149.83/2156.54 c #Conflicts: 1243000 | #Constraints: 66818
2149.83/2156.54 c #Conflicts: 1244000 | #Constraints: 67818
2149.83/2156.54 c #Conflicts: 1245000 | #Constraints: 68818
2149.83/2156.54 c #Conflicts: 1246000 | #Constraints: 69818
2149.83/2156.54 c #Conflicts: 1247000 | #Constraints: 70818
2149.83/2156.54 c #Conflicts: 1248000 | #Constraints: 71818
2149.83/2156.54 c #Conflicts: 1249000 | #Constraints: 72818
2149.83/2156.54 c #Conflicts: 1250000 | #Constraints: 73818
2149.83/2156.54 c #Conflicts: 1251000 | #Constraints: 74818
2149.83/2156.54 c #Conflicts: 1252000 | #Constraints: 75818
2149.83/2156.54 c #Conflicts: 1253000 | #Constraints: 76818
2149.83/2156.54 c #Conflicts: 1254000 | #Constraints: 77818
2149.83/2156.54 c #Conflicts: 1255000 | #Constraints: 78818
2149.83/2156.54 c #Conflicts: 1256000 | #Constraints: 79818
2149.83/2156.54 c #Conflicts: 1257000 | #Constraints: 80818
2149.83/2156.54 c #Conflicts: 1258000 | #Constraints: 81818
2149.83/2156.54 c #Conflicts: 1259000 | #Constraints: 82818
2149.83/2156.54 c #Conflicts: 1260000 | #Constraints: 83818
2149.83/2156.54 c #Conflicts: 1261000 | #Constraints: 84818
2149.83/2156.54 c #Conflicts: 1262000 | #Constraints: 85818
2149.83/2156.54 c INPROCESSING
2149.83/2156.54 c GARBAGE COLLECT
2149.83/2156.54 c #Conflicts: 1263000 | #Constraints: 46634
2149.83/2156.54 c #Conflicts: 1264000 | #Constraints: 47634
2149.83/2156.54 c #Conflicts: 1265000 | #Constraints: 48634
2149.83/2156.54 c #Conflicts: 1266000 | #Constraints: 49634
2149.83/2156.54 c #Conflicts: 1267000 | #Constraints: 50634
2149.83/2156.54 c #Conflicts: 1268000 | #Constraints: 51634
2149.83/2156.54 c #Conflicts: 1269000 | #Constraints: 52634
2149.83/2156.54 c #Conflicts: 1270000 | #Constraints: 53634
2149.83/2156.54 c #Conflicts: 1271000 | #Constraints: 54634
2149.83/2156.54 c #Conflicts: 1272000 | #Constraints: 55634
2149.83/2156.54 c #Conflicts: 1273000 | #Constraints: 56634
2149.83/2156.54 c #Conflicts: 1274000 | #Constraints: 57634
2149.83/2156.54 c #Conflicts: 1275000 | #Constraints: 58634
2149.83/2156.54 c #Conflicts: 1276000 | #Constraints: 59634
2149.83/2156.54 c #Conflicts: 1277000 | #Constraints: 60634
2149.83/2156.54 c #Conflicts: 1278000 | #Constraints: 61634
2149.83/2156.54 c #Conflicts: 1279000 | #Constraints: 62634
2271.91/2278.93 c #Conflicts: 1280000 | #Constraints: 63634
2271.91/2278.93 c #Conflicts: 1281000 | #Constraints: 64634
2271.91/2278.93 c #Conflicts: 1282000 | #Constraints: 65634
2271.91/2278.93 c #Conflicts: 1283000 | #Constraints: 66634
2271.91/2278.93 c #Conflicts: 1284000 | #Constraints: 67634
2271.91/2278.93 c #Conflicts: 1285000 | #Constraints: 68634
2271.91/2278.93 c #Conflicts: 1286000 | #Constraints: 69634
2271.91/2278.93 c #Conflicts: 1287000 | #Constraints: 70634
2271.91/2278.93 c INPROCESSING
2271.91/2278.93 c GARBAGE COLLECT
2271.91/2278.93 c #Conflicts: 1288000 | #Constraints: 39210
2271.91/2278.93 c #Conflicts: 1289000 | #Constraints: 40210
2271.91/2278.93 c #Conflicts: 1290000 | #Constraints: 41210
2271.91/2278.93 c #Conflicts: 1291000 | #Constraints: 42210
2271.91/2278.93 c #Conflicts: 1292000 | #Constraints: 43210
2271.91/2278.93 c #Conflicts: 1293000 | #Constraints: 44210
2271.91/2278.93 c #Conflicts: 1294000 | #Constraints: 45210
2271.91/2278.93 c #Conflicts: 1295000 | #Constraints: 46210
2271.91/2278.93 c #Conflicts: 1296000 | #Constraints: 47210
2271.91/2278.93 c #Conflicts: 1297000 | #Constraints: 48210
2271.91/2278.93 c #Conflicts: 1298000 | #Constraints: 49210
2271.91/2278.93 c #Conflicts: 1299000 | #Constraints: 50210
2271.91/2278.93 c #Conflicts: 1300000 | #Constraints: 51210
2271.91/2278.93 c #Conflicts: 1301000 | #Constraints: 52210
2271.91/2278.93 c #Conflicts: 1302000 | #Constraints: 53210
2271.91/2278.93 c #Conflicts: 1303000 | #Constraints: 54210
2271.91/2278.93 c #Conflicts: 1304000 | #Constraints: 55210
2271.91/2278.93 c #Conflicts: 1305000 | #Constraints: 56210
2271.91/2278.93 c #Conflicts: 1306000 | #Constraints: 57210
2271.91/2278.93 c #Conflicts: 1307000 | #Constraints: 58210
2271.91/2278.93 c #Conflicts: 1308000 | #Constraints: 59210
2271.91/2278.93 c #Conflicts: 1309000 | #Constraints: 60210
2271.91/2278.93 c #Conflicts: 1310000 | #Constraints: 61210
2271.91/2278.93 c #Conflicts: 1311000 | #Constraints: 62210
2271.91/2278.93 c #Conflicts: 1312000 | #Constraints: 63210
2271.91/2278.93 c INPROCESSING
2271.91/2278.93 c GARBAGE COLLECT
2271.91/2278.93 c #Conflicts: 1313000 | #Constraints: 35544
2271.91/2278.93 c #Conflicts: 1314000 | #Constraints: 36544
2271.91/2278.93 c #Conflicts: 1315000 | #Constraints: 37544
2271.91/2278.93 c #Conflicts: 1316000 | #Constraints: 38544
2271.91/2278.93 c #Conflicts: 1317000 | #Constraints: 39544
2271.91/2278.93 c #Conflicts: 1318000 | #Constraints: 40544
2271.91/2278.93 c #Conflicts: 1319000 | #Constraints: 41544
2271.91/2278.93 c #Conflicts: 1320000 | #Constraints: 42544
2271.91/2278.93 c #Conflicts: 1321000 | #Constraints: 43544
2271.91/2278.93 c #Conflicts: 1322000 | #Constraints: 44544
2271.91/2278.93 c #Conflicts: 1323000 | #Constraints: 45544
2271.91/2278.93 c #Conflicts: 1324000 | #Constraints: 46544
2271.91/2278.93 c #Conflicts: 1325000 | #Constraints: 47544
2271.91/2278.93 c #Conflicts: 1326000 | #Constraints: 48544
2271.91/2278.93 c #Conflicts: 1327000 | #Constraints: 49544
2271.91/2278.93 c #Conflicts: 1328000 | #Constraints: 50544
2271.91/2278.93 c #Conflicts: 1329000 | #Constraints: 51544
2271.91/2278.93 c #Conflicts: 1330000 | #Constraints: 52544
2271.91/2278.93 c #Conflicts: 1331000 | #Constraints: 53544
2271.91/2278.93 c #Conflicts: 1332000 | #Constraints: 54544
2271.91/2278.93 c #Conflicts: 1333000 | #Constraints: 55544
2271.91/2278.93 c #Conflicts: 1334000 | #Constraints: 56544
2271.91/2278.93 c #Conflicts: 1335000 | #Constraints: 57544
2271.91/2278.93 c #Conflicts: 1336000 | #Constraints: 58544
2271.91/2278.93 c #Conflicts: 1337000 | #Constraints: 59544
2271.91/2278.93 c INPROCESSING
2271.91/2278.93 c GARBAGE COLLECT
2271.91/2278.93 c #Conflicts: 1338000 | #Constraints: 33635
2271.91/2278.93 c #Conflicts: 1339000 | #Constraints: 34635
2271.91/2278.93 c #Conflicts: 1340000 | #Constraints: 35635
2271.91/2278.93 c #Conflicts: 1341000 | #Constraints: 36635
2271.91/2278.93 c #Conflicts: 1342000 | #Constraints: 37635
2271.91/2278.93 c #Conflicts: 1343000 | #Constraints: 38635
2271.91/2278.93 c #Conflicts: 1344000 | #Constraints: 39635
2271.91/2278.93 c #Conflicts: 1345000 | #Constraints: 40635
2271.91/2278.93 c #Conflicts: 1346000 | #Constraints: 41635
2271.91/2278.93 c #Conflicts: 1347000 | #Constraints: 42635
2271.91/2278.93 c #Conflicts: 1348000 | #Constraints: 43635
2271.91/2278.93 c #Conflicts: 1349000 | #Constraints: 44635
2271.91/2278.93 c #Conflicts: 1350000 | #Constraints: 45635
2271.91/2278.93 c #Conflicts: 1351000 | #Constraints: 46635
2271.91/2278.93 c #Conflicts: 1352000 | #Constraints: 47635
2271.91/2278.93 c #Conflicts: 1353000 | #Constraints: 48635
2271.91/2278.93 c #Conflicts: 1354000 | #Constraints: 49635
2271.91/2278.93 c #Conflicts: 1355000 | #Constraints: 50635
2271.91/2278.93 c #Conflicts: 1356000 | #Constraints: 51635
2395.49/2402.84 c #Conflicts: 1357000 | #Constraints: 52635
2395.49/2402.84 c #Conflicts: 1358000 | #Constraints: 53635
2395.49/2402.84 c #Conflicts: 1359000 | #Constraints: 54635
2395.49/2402.84 c #Conflicts: 1360000 | #Constraints: 55635
2395.49/2402.84 c #Conflicts: 1361000 | #Constraints: 56635
2395.49/2402.84 c #Conflicts: 1362000 | #Constraints: 57635
2395.49/2402.84 c INPROCESSING
2395.49/2402.84 c GARBAGE COLLECT
2395.49/2402.84 c #Conflicts: 1363000 | #Constraints: 32618
2395.49/2402.84 c #Conflicts: 1364000 | #Constraints: 33618
2395.49/2402.84 c #Conflicts: 1365000 | #Constraints: 34618
2395.49/2402.84 c #Conflicts: 1366000 | #Constraints: 35618
2395.49/2402.84 c #Conflicts: 1367000 | #Constraints: 36618
2395.49/2402.84 c #Conflicts: 1368000 | #Constraints: 37618
2395.49/2402.84 c #Conflicts: 1369000 | #Constraints: 38618
2395.49/2402.84 c #Conflicts: 1370000 | #Constraints: 39618
2395.49/2402.84 c #Conflicts: 1371000 | #Constraints: 40618
2395.49/2402.84 c #Conflicts: 1372000 | #Constraints: 41618
2395.49/2402.84 c #Conflicts: 1373000 | #Constraints: 42618
2395.49/2402.84 c #Conflicts: 1374000 | #Constraints: 43618
2395.49/2402.84 c #Conflicts: 1375000 | #Constraints: 44618
2395.49/2402.84 c #Conflicts: 1376000 | #Constraints: 45618
2395.49/2402.84 c #Conflicts: 1377000 | #Constraints: 46618
2395.49/2402.84 c #Conflicts: 1378000 | #Constraints: 47618
2395.49/2402.84 c #Conflicts: 1379000 | #Constraints: 48618
2395.49/2402.84 c #Conflicts: 1380000 | #Constraints: 49618
2395.49/2402.84 c #Conflicts: 1381000 | #Constraints: 50618
2395.49/2402.84 c #Conflicts: 1382000 | #Constraints: 51618
2395.49/2402.84 c #Conflicts: 1383000 | #Constraints: 52618
2395.49/2402.84 c #Conflicts: 1384000 | #Constraints: 53618
2395.49/2402.84 c #Conflicts: 1385000 | #Constraints: 54618
2395.49/2402.84 c #Conflicts: 1386000 | #Constraints: 55618
2395.49/2402.84 c #Conflicts: 1387000 | #Constraints: 56618
2395.49/2402.84 c #Conflicts: 1388000 | #Constraints: 57618
2395.49/2402.84 c INPROCESSING
2395.49/2402.84 c GARBAGE COLLECT
2395.49/2402.84 c #Conflicts: 1389000 | #Constraints: 32804
2395.49/2402.84 c #Conflicts: 1390000 | #Constraints: 33804
2395.49/2402.84 c #Conflicts: 1391000 | #Constraints: 34804
2395.49/2402.84 c #Conflicts: 1392000 | #Constraints: 35804
2395.49/2402.84 c #Conflicts: 1393000 | #Constraints: 36804
2395.49/2402.84 c #Conflicts: 1394000 | #Constraints: 37804
2395.49/2402.84 c #Conflicts: 1395000 | #Constraints: 38804
2395.49/2402.84 c #Conflicts: 1396000 | #Constraints: 39804
2395.49/2402.84 c #Conflicts: 1397000 | #Constraints: 40804
2395.49/2402.84 c #Conflicts: 1398000 | #Constraints: 41804
2395.49/2402.84 c #Conflicts: 1399000 | #Constraints: 42804
2395.49/2402.84 c #Conflicts: 1400000 | #Constraints: 43804
2395.49/2402.84 c #Conflicts: 1401000 | #Constraints: 44804
2395.49/2402.84 c #Conflicts: 1402000 | #Constraints: 45804
2395.49/2402.84 c #Conflicts: 1403000 | #Constraints: 46804
2395.49/2402.84 c #Conflicts: 1404000 | #Constraints: 47804
2395.49/2402.84 c #Conflicts: 1405000 | #Constraints: 48804
2395.49/2402.84 c #Conflicts: 1406000 | #Constraints: 49804
2395.49/2402.84 c #Conflicts: 1407000 | #Constraints: 50804
2395.49/2402.84 c #Conflicts: 1408000 | #Constraints: 51804
2395.49/2402.84 c #Conflicts: 1409000 | #Constraints: 52804
2395.49/2402.84 c #Conflicts: 1410000 | #Constraints: 53804
2395.49/2402.84 c #Conflicts: 1411000 | #Constraints: 54804
2395.49/2402.84 c #Conflicts: 1412000 | #Constraints: 55804
2395.49/2402.84 c #Conflicts: 1413000 | #Constraints: 56804
2395.49/2402.84 c #Conflicts: 1414000 | #Constraints: 57804
2395.49/2402.84 c #Conflicts: 1415000 | #Constraints: 58804
2395.49/2402.84 c #Conflicts: 1416000 | #Constraints: 59804
2395.49/2402.84 c #Conflicts: 1417000 | #Constraints: 60804
2395.49/2402.84 c #Conflicts: 1418000 | #Constraints: 61804
2395.49/2402.84 c #Conflicts: 1419000 | #Constraints: 62804
2395.49/2402.84 c #Conflicts: 1420000 | #Constraints: 63804
2395.49/2402.84 c #Conflicts: 1421000 | #Constraints: 64804
2395.49/2402.84 c #Conflicts: 1422000 | #Constraints: 65804
2395.49/2402.84 c #Conflicts: 1423000 | #Constraints: 66804
2395.49/2402.84 c #Conflicts: 1424000 | #Constraints: 67804
2395.49/2402.84 c #Conflicts: 1425000 | #Constraints: 68804
2395.49/2402.84 c #Conflicts: 1426000 | #Constraints: 69804
2395.49/2402.84 c #Conflicts: 1427000 | #Constraints: 70804
2395.49/2402.84 c #Conflicts: 1428000 | #Constraints: 71804
2395.49/2402.84 c #Conflicts: 1429000 | #Constraints: 72804
2395.49/2402.84 c #Conflicts: 1430000 | #Constraints: 73804
2395.49/2402.84 c #Conflicts: 1431000 | #Constraints: 74804
2395.49/2402.84 c #Conflicts: 1432000 | #Constraints: 75804
2395.49/2402.84 c #Conflicts: 1433000 | #Constraints: 76804
2395.49/2402.84 c #Conflicts: 1434000 | #Constraints: 77804
2655.89/2663.98 c #Conflicts: 1435000 | #Constraints: 78804
2655.89/2663.98 c #Conflicts: 1436000 | #Constraints: 79804
2655.89/2663.98 c #Conflicts: 1437000 | #Constraints: 80804
2655.89/2663.98 c #Conflicts: 1438000 | #Constraints: 81804
2655.89/2663.98 c #Conflicts: 1439000 | #Constraints: 82804
2655.89/2663.98 c #Conflicts: 1440000 | #Constraints: 83804
2655.89/2663.98 c #Conflicts: 1441000 | #Constraints: 84804
2655.89/2663.98 c #Conflicts: 1442000 | #Constraints: 85804
2655.89/2663.98 c #Conflicts: 1443000 | #Constraints: 86804
2655.89/2663.98 c #Conflicts: 1444000 | #Constraints: 87804
2655.89/2663.98 c #Conflicts: 1445000 | #Constraints: 88804
2655.89/2663.98 c #Conflicts: 1446000 | #Constraints: 89804
2655.89/2663.98 c #Conflicts: 1447000 | #Constraints: 90804
2655.89/2663.98 c #Conflicts: 1448000 | #Constraints: 91804
2655.89/2663.98 c #Conflicts: 1449000 | #Constraints: 92804
2655.89/2663.98 c #Conflicts: 1450000 | #Constraints: 93804
2655.89/2663.98 c #Conflicts: 1451000 | #Constraints: 94804
2655.89/2663.98 c #Conflicts: 1452000 | #Constraints: 95804
2655.89/2663.98 c #Conflicts: 1453000 | #Constraints: 96804
2655.89/2663.98 c #Conflicts: 1454000 | #Constraints: 97804
2655.89/2663.98 c #Conflicts: 1455000 | #Constraints: 98804
2655.89/2663.98 c #Conflicts: 1456000 | #Constraints: 99804
2655.89/2663.98 c #Conflicts: 1457000 | #Constraints: 100804
2655.89/2663.98 c #Conflicts: 1458000 | #Constraints: 101804
2655.89/2663.98 c #Conflicts: 1459000 | #Constraints: 102804
2655.89/2663.98 c #Conflicts: 1460000 | #Constraints: 103804
2655.89/2663.98 c #Conflicts: 1461000 | #Constraints: 104804
2655.89/2663.98 c #Conflicts: 1462000 | #Constraints: 105804
2655.89/2663.98 c #Conflicts: 1463000 | #Constraints: 106804
2655.89/2663.98 c #Conflicts: 1464000 | #Constraints: 107804
2655.89/2663.98 c #Conflicts: 1465000 | #Constraints: 108804
2655.89/2663.98 c #Conflicts: 1466000 | #Constraints: 109804
2655.89/2663.98 c #Conflicts: 1467000 | #Constraints: 110804
2655.89/2663.98 c #Conflicts: 1468000 | #Constraints: 111804
2655.89/2663.98 c #Conflicts: 1469000 | #Constraints: 112804
2655.89/2663.98 c #Conflicts: 1470000 | #Constraints: 113804
2655.89/2663.98 c #Conflicts: 1471000 | #Constraints: 114804
2655.89/2663.98 c #Conflicts: 1472000 | #Constraints: 115804
2655.89/2663.98 c #Conflicts: 1473000 | #Constraints: 116804
2655.89/2663.98 c #Conflicts: 1474000 | #Constraints: 117804
2655.89/2663.98 c #Conflicts: 1475000 | #Constraints: 118804
2655.89/2663.98 c #Conflicts: 1476000 | #Constraints: 119804
2655.89/2663.98 c #Conflicts: 1477000 | #Constraints: 120804
2655.89/2663.98 c #Conflicts: 1478000 | #Constraints: 121804
2655.89/2663.98 c #Conflicts: 1479000 | #Constraints: 122804
2655.89/2663.98 c #Conflicts: 1480000 | #Constraints: 123804
2655.89/2663.98 c #Conflicts: 1481000 | #Constraints: 124804
2655.89/2663.98 c #Conflicts: 1482000 | #Constraints: 125804
2655.89/2663.98 c #Conflicts: 1483000 | #Constraints: 126804
2655.89/2663.98 c #Conflicts: 1484000 | #Constraints: 127804
2655.89/2663.98 c #Conflicts: 1485000 | #Constraints: 128804
2655.89/2663.98 c INPROCESSING
2655.89/2663.98 c GARBAGE COLLECT
2655.89/2663.98 c #Conflicts: 1486000 | #Constraints: 68513
2655.89/2663.98 c #Conflicts: 1487000 | #Constraints: 69513
2655.89/2663.98 c #Conflicts: 1488000 | #Constraints: 70513
2655.89/2663.98 c #Conflicts: 1489000 | #Constraints: 71513
2655.89/2663.98 c #Conflicts: 1490000 | #Constraints: 72513
2655.89/2663.98 c #Conflicts: 1491000 | #Constraints: 73513
2655.89/2663.98 c #Conflicts: 1492000 | #Constraints: 74513
2655.89/2663.98 c #Conflicts: 1493000 | #Constraints: 75513
2655.89/2663.98 c #Conflicts: 1494000 | #Constraints: 76513
2655.89/2663.98 c #Conflicts: 1495000 | #Constraints: 77513
2655.89/2663.98 c #Conflicts: 1496000 | #Constraints: 78513
2655.89/2663.98 c #Conflicts: 1497000 | #Constraints: 79513
2655.89/2663.98 c #Conflicts: 1498000 | #Constraints: 80513
2655.89/2663.98 c #Conflicts: 1499000 | #Constraints: 81513
2655.89/2663.98 c #Conflicts: 1500000 | #Constraints: 82513
2655.89/2663.98 c #Conflicts: 1501000 | #Constraints: 83513
2655.89/2663.98 c #Conflicts: 1502000 | #Constraints: 84513
2655.89/2663.98 c #Conflicts: 1503000 | #Constraints: 85513
2655.89/2663.98 c #Conflicts: 1504000 | #Constraints: 86513
2655.89/2663.98 c #Conflicts: 1505000 | #Constraints: 87513
2655.89/2663.98 c #Conflicts: 1506000 | #Constraints: 88513
2655.89/2663.98 c #Conflicts: 1507000 | #Constraints: 89513
2655.89/2663.98 c #Conflicts: 1508000 | #Constraints: 90513
2655.89/2663.98 c #Conflicts: 1509000 | #Constraints: 91513
2655.89/2663.98 c #Conflicts: 1510000 | #Constraints: 92513
2655.89/2663.98 c #Conflicts: 1511000 | #Constraints: 93513
2655.89/2663.98 c #Conflicts: 1512000 | #Constraints: 94513
2791.02/2799.43 c INPROCESSING
2791.02/2799.43 c GARBAGE COLLECT
2791.02/2799.43 c #Conflicts: 1513000 | #Constraints: 51491
2791.02/2799.43 c #Conflicts: 1514000 | #Constraints: 52491
2791.02/2799.43 c #Conflicts: 1515000 | #Constraints: 53491
2791.02/2799.43 c #Conflicts: 1516000 | #Constraints: 54491
2791.02/2799.43 c #Conflicts: 1517000 | #Constraints: 55491
2791.02/2799.43 c #Conflicts: 1518000 | #Constraints: 56491
2791.02/2799.43 c #Conflicts: 1519000 | #Constraints: 57491
2791.02/2799.43 c #Conflicts: 1520000 | #Constraints: 58491
2791.02/2799.43 c #Conflicts: 1521000 | #Constraints: 59491
2791.02/2799.43 c #Conflicts: 1522000 | #Constraints: 60491
2791.02/2799.43 c #Conflicts: 1523000 | #Constraints: 61491
2791.02/2799.43 c #Conflicts: 1524000 | #Constraints: 62491
2791.02/2799.43 c #Conflicts: 1525000 | #Constraints: 63491
2791.02/2799.43 c #Conflicts: 1526000 | #Constraints: 64491
2791.02/2799.43 c #Conflicts: 1527000 | #Constraints: 65491
2791.02/2799.43 c #Conflicts: 1528000 | #Constraints: 66491
2791.02/2799.43 c #Conflicts: 1529000 | #Constraints: 67491
2791.02/2799.43 c #Conflicts: 1530000 | #Constraints: 68491
2791.02/2799.43 c #Conflicts: 1531000 | #Constraints: 69491
2791.02/2799.43 c #Conflicts: 1532000 | #Constraints: 70491
2791.02/2799.43 c #Conflicts: 1533000 | #Constraints: 71491
2791.02/2799.43 c #Conflicts: 1534000 | #Constraints: 72491
2791.02/2799.43 c #Conflicts: 1535000 | #Constraints: 73491
2791.02/2799.43 c #Conflicts: 1536000 | #Constraints: 74491
2791.02/2799.43 c #Conflicts: 1537000 | #Constraints: 75491
2791.02/2799.43 c #Conflicts: 1538000 | #Constraints: 76491
2791.02/2799.43 c #Conflicts: 1539000 | #Constraints: 77491
2791.02/2799.43 c INPROCESSING
2791.02/2799.43 c GARBAGE COLLECT
2791.02/2799.43 c #Conflicts: 1540000 | #Constraints: 42901
2791.02/2799.43 c #Conflicts: 1541000 | #Constraints: 43901
2791.02/2799.43 c #Conflicts: 1542000 | #Constraints: 44901
2791.02/2799.43 c #Conflicts: 1543000 | #Constraints: 45901
2791.02/2799.43 c #Conflicts: 1544000 | #Constraints: 46901
2791.02/2799.43 c #Conflicts: 1545000 | #Constraints: 47901
2791.02/2799.43 c #Conflicts: 1546000 | #Constraints: 48901
2791.02/2799.43 c #Conflicts: 1547000 | #Constraints: 49901
2791.02/2799.43 c #Conflicts: 1548000 | #Constraints: 50901
2791.02/2799.43 c #Conflicts: 1549000 | #Constraints: 51901
2791.02/2799.43 c #Conflicts: 1550000 | #Constraints: 52901
2791.02/2799.43 c #Conflicts: 1551000 | #Constraints: 53901
2791.02/2799.43 c #Conflicts: 1552000 | #Constraints: 54901
2791.02/2799.43 c #Conflicts: 1553000 | #Constraints: 55901
2791.02/2799.43 c #Conflicts: 1554000 | #Constraints: 56901
2791.02/2799.43 c #Conflicts: 1555000 | #Constraints: 57901
2791.02/2799.43 c #Conflicts: 1556000 | #Constraints: 58901
2791.02/2799.43 c #Conflicts: 1557000 | #Constraints: 59901
2791.02/2799.43 c #Conflicts: 1558000 | #Constraints: 60901
2791.02/2799.43 c #Conflicts: 1559000 | #Constraints: 61901
2791.02/2799.43 c #Conflicts: 1560000 | #Constraints: 62901
2791.02/2799.43 c #Conflicts: 1561000 | #Constraints: 63901
2791.02/2799.43 c #Conflicts: 1562000 | #Constraints: 64901
2791.02/2799.43 c #Conflicts: 1563000 | #Constraints: 65901
2791.02/2799.43 c #Conflicts: 1564000 | #Constraints: 66901
2791.02/2799.43 c #Conflicts: 1565000 | #Constraints: 67901
2791.02/2799.43 c #Conflicts: 1566000 | #Constraints: 68901
2791.02/2799.43 c INPROCESSING
2791.02/2799.43 c GARBAGE COLLECT
2791.02/2799.43 c #Conflicts: 1567000 | #Constraints: 38580
2791.02/2799.43 c #Conflicts: 1568000 | #Constraints: 39580
2791.02/2799.43 c #Conflicts: 1569000 | #Constraints: 40581
2791.02/2799.43 c #Conflicts: 1570000 | #Constraints: 41581
2791.02/2799.43 c #Conflicts: 1571000 | #Constraints: 42581
2791.02/2799.43 c #Conflicts: 1572000 | #Constraints: 43581
2791.02/2799.43 c #Conflicts: 1573000 | #Constraints: 44581
2791.02/2799.43 c #Conflicts: 1574000 | #Constraints: 45581
2791.02/2799.43 c #Conflicts: 1575000 | #Constraints: 46581
2791.02/2799.43 c #Conflicts: 1576000 | #Constraints: 47581
2791.02/2799.43 c #Conflicts: 1577000 | #Constraints: 48581
2791.02/2799.43 c #Conflicts: 1578000 | #Constraints: 49581
2791.02/2799.43 c #Conflicts: 1579000 | #Constraints: 50581
2791.02/2799.43 c #Conflicts: 1580000 | #Constraints: 51581
2791.02/2799.43 c #Conflicts: 1581000 | #Constraints: 52581
2791.02/2799.43 c #Conflicts: 1582000 | #Constraints: 53581
2791.02/2799.43 c #Conflicts: 1583000 | #Constraints: 54581
2791.02/2799.43 c #Conflicts: 1584000 | #Constraints: 55581
2791.02/2799.43 c #Conflicts: 1585000 | #Constraints: 56581
2791.02/2799.43 c #Conflicts: 1586000 | #Constraints: 57581
2791.02/2799.43 c #Conflicts: 1587000 | #Constraints: 58581
2791.02/2799.43 c #Conflicts: 1588000 | #Constraints: 59581
2791.02/2799.43 c #Conflicts: 1589000 | #Constraints: 60581
2922.38/2931.17 c #Conflicts: 1590000 | #Constraints: 61581
2922.38/2931.17 c #Conflicts: 1591000 | #Constraints: 62581
2922.38/2931.17 c #Conflicts: 1592000 | #Constraints: 63581
2922.38/2931.17 c #Conflicts: 1593000 | #Constraints: 64581
2922.38/2931.17 c INPROCESSING
2922.38/2931.17 c GARBAGE COLLECT
2922.38/2931.17 c #Conflicts: 1594000 | #Constraints: 36167
2922.38/2931.17 c #Conflicts: 1595000 | #Constraints: 37167
2922.38/2931.17 c #Conflicts: 1596000 | #Constraints: 38167
2922.38/2931.17 c #Conflicts: 1597000 | #Constraints: 39167
2922.38/2931.17 c #Conflicts: 1598000 | #Constraints: 40167
2922.38/2931.17 c #Conflicts: 1599000 | #Constraints: 41167
2922.38/2931.17 c #Conflicts: 1600000 | #Constraints: 42167
2922.38/2931.17 c #Conflicts: 1601000 | #Constraints: 43167
2922.38/2931.17 c #Conflicts: 1602000 | #Constraints: 44167
2922.38/2931.17 c #Conflicts: 1603000 | #Constraints: 45167
2922.38/2931.17 c #Conflicts: 1604000 | #Constraints: 46167
2922.38/2931.17 c #Conflicts: 1605000 | #Constraints: 47167
2922.38/2931.17 c #Conflicts: 1606000 | #Constraints: 48167
2922.38/2931.17 c #Conflicts: 1607000 | #Constraints: 49167
2922.38/2931.17 c #Conflicts: 1608000 | #Constraints: 50167
2922.38/2931.17 c #Conflicts: 1609000 | #Constraints: 51167
2922.38/2931.17 c #Conflicts: 1610000 | #Constraints: 52167
2922.38/2931.17 c #Conflicts: 1611000 | #Constraints: 53167
2922.38/2931.17 c #Conflicts: 1612000 | #Constraints: 54167
2922.38/2931.17 c #Conflicts: 1613000 | #Constraints: 55167
2922.38/2931.17 c #Conflicts: 1614000 | #Constraints: 56167
2922.38/2931.17 c #Conflicts: 1615000 | #Constraints: 57167
2922.38/2931.17 c #Conflicts: 1616000 | #Constraints: 58167
2922.38/2931.17 c #Conflicts: 1617000 | #Constraints: 59167
2922.38/2931.17 c #Conflicts: 1618000 | #Constraints: 60167
2922.38/2931.17 c #Conflicts: 1619000 | #Constraints: 61167
2922.38/2931.17 c #Conflicts: 1620000 | #Constraints: 62167
2922.38/2931.17 c #Conflicts: 1621000 | #Constraints: 63167
2922.38/2931.17 c INPROCESSING
2922.38/2931.17 c GARBAGE COLLECT
2922.38/2931.17 c #Conflicts: 1622000 | #Constraints: 35697
2922.38/2931.17 c #Conflicts: 1623000 | #Constraints: 36697
2922.38/2931.17 c #Conflicts: 1624000 | #Constraints: 37697
2922.38/2931.17 c #Conflicts: 1625000 | #Constraints: 38697
2922.38/2931.17 c #Conflicts: 1626000 | #Constraints: 39697
2922.38/2931.17 c #Conflicts: 1627000 | #Constraints: 40697
2922.38/2931.17 c #Conflicts: 1628000 | #Constraints: 41697
2922.38/2931.17 c #Conflicts: 1629000 | #Constraints: 42697
2922.38/2931.17 c #Conflicts: 1630000 | #Constraints: 43697
2922.38/2931.17 c #Conflicts: 1631000 | #Constraints: 44697
2922.38/2931.17 c #Conflicts: 1632000 | #Constraints: 45697
2922.38/2931.17 c #Conflicts: 1633000 | #Constraints: 46698
2922.38/2931.17 c #Conflicts: 1634000 | #Constraints: 47698
2922.38/2931.17 c #Conflicts: 1635000 | #Constraints: 48698
2922.38/2931.17 c #Conflicts: 1636000 | #Constraints: 49698
2922.38/2931.17 c #Conflicts: 1637000 | #Constraints: 50698
2922.38/2931.17 c #Conflicts: 1638000 | #Constraints: 51698
2922.38/2931.17 c #Conflicts: 1639000 | #Constraints: 52698
2922.38/2931.17 c #Conflicts: 1640000 | #Constraints: 53698
2922.38/2931.17 c #Conflicts: 1641000 | #Constraints: 54698
2922.38/2931.17 c #Conflicts: 1642000 | #Constraints: 55698
2922.38/2931.17 c #Conflicts: 1643000 | #Constraints: 56698
2922.38/2931.17 c #Conflicts: 1644000 | #Constraints: 57698
2922.38/2931.17 c #Conflicts: 1645000 | #Constraints: 58698
2922.38/2931.17 c #Conflicts: 1646000 | #Constraints: 59698
2922.38/2931.17 c #Conflicts: 1647000 | #Constraints: 60698
2922.38/2931.17 c #Conflicts: 1648000 | #Constraints: 61698
2922.38/2931.17 c #Conflicts: 1649000 | #Constraints: 62698
2922.38/2931.17 c INPROCESSING
2922.38/2931.17 c GARBAGE COLLECT
2922.38/2931.17 c #Conflicts: 1650000 | #Constraints: 35591
2922.38/2931.17 c #Conflicts: 1651000 | #Constraints: 36591
2922.38/2931.17 c #Conflicts: 1652000 | #Constraints: 37591
2922.38/2931.17 c #Conflicts: 1653000 | #Constraints: 38591
2922.38/2931.17 c #Conflicts: 1654000 | #Constraints: 39591
2922.38/2931.17 c #Conflicts: 1655000 | #Constraints: 40591
2922.38/2931.17 c #Conflicts: 1656000 | #Constraints: 41591
2922.38/2931.17 c #Conflicts: 1657000 | #Constraints: 42591
2922.38/2931.17 c #Conflicts: 1658000 | #Constraints: 43591
2922.38/2931.17 c #Conflicts: 1659000 | #Constraints: 44591
2922.38/2931.17 c #Conflicts: 1660000 | #Constraints: 45591
2922.38/2931.17 c #Conflicts: 1661000 | #Constraints: 46591
2922.38/2931.17 c #Conflicts: 1662000 | #Constraints: 47591
2922.38/2931.17 c #Conflicts: 1663000 | #Constraints: 48591
2922.38/2931.17 c #Conflicts: 1664000 | #Constraints: 49591
2922.38/2931.17 c #Conflicts: 1665000 | #Constraints: 50591
2922.38/2931.17 c #Conflicts: 1666000 | #Constraints: 51591
3053.04/3062.13 c #Conflicts: 1667000 | #Constraints: 52591
3053.04/3062.13 c #Conflicts: 1668000 | #Constraints: 53591
3053.04/3062.13 c #Conflicts: 1669000 | #Constraints: 54591
3053.04/3062.13 c #Conflicts: 1670000 | #Constraints: 55591
3053.04/3062.13 c #Conflicts: 1671000 | #Constraints: 56591
3053.04/3062.13 c #Conflicts: 1672000 | #Constraints: 57591
3053.04/3062.13 c #Conflicts: 1673000 | #Constraints: 58591
3053.04/3062.13 c #Conflicts: 1674000 | #Constraints: 59591
3053.04/3062.13 c #Conflicts: 1675000 | #Constraints: 60591
3053.04/3062.13 c #Conflicts: 1676000 | #Constraints: 61591
3053.04/3062.13 c #Conflicts: 1677000 | #Constraints: 62591
3053.04/3062.13 c INPROCESSING
3053.04/3062.13 c GARBAGE COLLECT
3053.04/3062.13 c #Conflicts: 1678000 | #Constraints: 35512
3053.04/3062.13 c #Conflicts: 1679000 | #Constraints: 36512
3053.04/3062.13 c #Conflicts: 1680000 | #Constraints: 37512
3053.04/3062.13 c #Conflicts: 1681000 | #Constraints: 38512
3053.04/3062.13 c #Conflicts: 1682000 | #Constraints: 39512
3053.04/3062.13 c #Conflicts: 1683000 | #Constraints: 40512
3053.04/3062.13 c #Conflicts: 1684000 | #Constraints: 41512
3053.04/3062.13 c #Conflicts: 1685000 | #Constraints: 42512
3053.04/3062.13 c #Conflicts: 1686000 | #Constraints: 43512
3053.04/3062.13 c #Conflicts: 1687000 | #Constraints: 44512
3053.04/3062.13 c #Conflicts: 1688000 | #Constraints: 45512
3053.04/3062.13 c #Conflicts: 1689000 | #Constraints: 46512
3053.04/3062.13 c #Conflicts: 1690000 | #Constraints: 47512
3053.04/3062.13 c #Conflicts: 1691000 | #Constraints: 48512
3053.04/3062.13 c #Conflicts: 1692000 | #Constraints: 49512
3053.04/3062.13 c #Conflicts: 1693000 | #Constraints: 50512
3053.04/3062.13 c #Conflicts: 1694000 | #Constraints: 51512
3053.04/3062.13 c #Conflicts: 1695000 | #Constraints: 52512
3053.04/3062.13 c #Conflicts: 1696000 | #Constraints: 53512
3053.04/3062.13 c #Conflicts: 1697000 | #Constraints: 54512
3053.04/3062.13 c #Conflicts: 1698000 | #Constraints: 55512
3053.04/3062.13 c #Conflicts: 1699000 | #Constraints: 56512
3053.04/3062.13 c #Conflicts: 1700000 | #Constraints: 57512
3053.04/3062.13 c #Conflicts: 1701000 | #Constraints: 58512
3053.04/3062.13 c #Conflicts: 1702000 | #Constraints: 59512
3053.04/3062.13 c #Conflicts: 1703000 | #Constraints: 60512
3053.04/3062.13 c #Conflicts: 1704000 | #Constraints: 61512
3053.04/3062.13 c #Conflicts: 1705000 | #Constraints: 62512
3053.04/3062.13 c INPROCESSING
3053.04/3062.13 c GARBAGE COLLECT
3053.04/3062.13 c #Conflicts: 1706000 | #Constraints: 35407
3053.04/3062.13 c #Conflicts: 1707000 | #Constraints: 36407
3053.04/3062.13 c #Conflicts: 1708000 | #Constraints: 37407
3053.04/3062.13 c #Conflicts: 1709000 | #Constraints: 38407
3053.04/3062.13 c #Conflicts: 1710000 | #Constraints: 39407
3053.04/3062.13 c #Conflicts: 1711000 | #Constraints: 40407
3053.04/3062.13 c #Conflicts: 1712000 | #Constraints: 41407
3053.04/3062.13 c #Conflicts: 1713000 | #Constraints: 42407
3053.04/3062.13 c #Conflicts: 1714000 | #Constraints: 43407
3053.04/3062.13 c #Conflicts: 1715000 | #Constraints: 44407
3053.04/3062.13 c #Conflicts: 1716000 | #Constraints: 45407
3053.04/3062.13 c #Conflicts: 1717000 | #Constraints: 46407
3053.04/3062.13 c #Conflicts: 1718000 | #Constraints: 47407
3053.04/3062.13 c #Conflicts: 1719000 | #Constraints: 48407
3053.04/3062.13 c #Conflicts: 1720000 | #Constraints: 49407
3053.04/3062.13 c #Conflicts: 1721000 | #Constraints: 50407
3053.04/3062.13 c #Conflicts: 1722000 | #Constraints: 51407
3053.04/3062.13 c #Conflicts: 1723000 | #Constraints: 52407
3053.04/3062.13 c #Conflicts: 1724000 | #Constraints: 53407
3053.04/3062.13 c #Conflicts: 1725000 | #Constraints: 54407
3053.04/3062.13 c #Conflicts: 1726000 | #Constraints: 55407
3053.04/3062.13 c #Conflicts: 1727000 | #Constraints: 56407
3053.04/3062.13 c #Conflicts: 1728000 | #Constraints: 57407
3053.04/3062.13 c #Conflicts: 1729000 | #Constraints: 58407
3053.04/3062.13 c #Conflicts: 1730000 | #Constraints: 59407
3053.04/3062.13 c #Conflicts: 1731000 | #Constraints: 60407
3053.04/3062.13 c #Conflicts: 1732000 | #Constraints: 61407
3053.04/3062.13 c #Conflicts: 1733000 | #Constraints: 62407
3053.04/3062.13 c #Conflicts: 1734000 | #Constraints: 63407
3053.04/3062.13 c #Conflicts: 1735000 | #Constraints: 64407
3053.04/3062.13 c #Conflicts: 1736000 | #Constraints: 65407
3053.04/3062.13 c #Conflicts: 1737000 | #Constraints: 66407
3053.04/3062.13 c #Conflicts: 1738000 | #Constraints: 67407
3053.04/3062.13 c #Conflicts: 1739000 | #Constraints: 68407
3053.04/3062.13 c #Conflicts: 1740000 | #Constraints: 69407
3053.04/3062.13 c #Conflicts: 1741000 | #Constraints: 70407
3053.04/3062.13 c #Conflicts: 1742000 | #Constraints: 71407
3053.04/3062.13 c #Conflicts: 1743000 | #Constraints: 72407
3362.52/3372.48 c #Conflicts: 1744000 | #Constraints: 73407
3362.52/3372.48 c #Conflicts: 1745000 | #Constraints: 74407
3362.52/3372.48 c #Conflicts: 1746000 | #Constraints: 75407
3362.52/3372.48 c #Conflicts: 1747000 | #Constraints: 76407
3362.52/3372.48 c #Conflicts: 1748000 | #Constraints: 77407
3362.52/3372.48 c #Conflicts: 1749000 | #Constraints: 78407
3362.52/3372.48 c #Conflicts: 1750000 | #Constraints: 79407
3362.52/3372.48 c #Conflicts: 1751000 | #Constraints: 80407
3362.52/3372.48 c #Conflicts: 1752000 | #Constraints: 81407
3362.52/3372.48 c #Conflicts: 1753000 | #Constraints: 82407
3362.52/3372.48 c #Conflicts: 1754000 | #Constraints: 83407
3362.52/3372.48 c #Conflicts: 1755000 | #Constraints: 84407
3362.52/3372.48 c #Conflicts: 1756000 | #Constraints: 85407
3362.52/3372.48 c #Conflicts: 1757000 | #Constraints: 86407
3362.52/3372.48 c #Conflicts: 1758000 | #Constraints: 87407
3362.52/3372.48 c #Conflicts: 1759000 | #Constraints: 88407
3362.52/3372.48 c #Conflicts: 1760000 | #Constraints: 89407
3362.52/3372.48 c #Conflicts: 1761000 | #Constraints: 90407
3362.52/3372.48 c #Conflicts: 1762000 | #Constraints: 91407
3362.52/3372.48 c #Conflicts: 1763000 | #Constraints: 92407
3362.52/3372.48 c #Conflicts: 1764000 | #Constraints: 93407
3362.52/3372.48 c #Conflicts: 1765000 | #Constraints: 94407
3362.52/3372.48 c #Conflicts: 1766000 | #Constraints: 95407
3362.52/3372.48 c #Conflicts: 1767000 | #Constraints: 96407
3362.52/3372.48 c #Conflicts: 1768000 | #Constraints: 97407
3362.52/3372.48 c #Conflicts: 1769000 | #Constraints: 98407
3362.52/3372.48 c #Conflicts: 1770000 | #Constraints: 99407
3362.52/3372.48 c #Conflicts: 1771000 | #Constraints: 100407
3362.52/3372.48 c #Conflicts: 1772000 | #Constraints: 101407
3362.52/3372.48 c #Conflicts: 1773000 | #Constraints: 102407
3362.52/3372.48 c #Conflicts: 1774000 | #Constraints: 103407
3362.52/3372.48 c #Conflicts: 1775000 | #Constraints: 104407
3362.52/3372.48 c #Conflicts: 1776000 | #Constraints: 105407
3362.52/3372.48 c #Conflicts: 1777000 | #Constraints: 106407
3362.52/3372.48 c #Conflicts: 1778000 | #Constraints: 107407
3362.52/3372.48 c #Conflicts: 1779000 | #Constraints: 108407
3362.52/3372.48 c #Conflicts: 1780000 | #Constraints: 109407
3362.52/3372.48 c #Conflicts: 1781000 | #Constraints: 110407
3362.52/3372.48 c #Conflicts: 1782000 | #Constraints: 111407
3362.52/3372.48 c #Conflicts: 1783000 | #Constraints: 112407
3362.52/3372.48 c #Conflicts: 1784000 | #Constraints: 113407
3362.52/3372.48 c #Conflicts: 1785000 | #Constraints: 114407
3362.52/3372.48 c #Conflicts: 1786000 | #Constraints: 115407
3362.52/3372.48 c #Conflicts: 1787000 | #Constraints: 116407
3362.52/3372.48 c #Conflicts: 1788000 | #Constraints: 117407
3362.52/3372.48 c #Conflicts: 1789000 | #Constraints: 118407
3362.52/3372.48 c #Conflicts: 1790000 | #Constraints: 119407
3362.52/3372.48 c #Conflicts: 1791000 | #Constraints: 120407
3362.52/3372.48 c #Conflicts: 1792000 | #Constraints: 121407
3362.52/3372.48 c #Conflicts: 1793000 | #Constraints: 122407
3362.52/3372.48 c #Conflicts: 1794000 | #Constraints: 123407
3362.52/3372.48 c #Conflicts: 1795000 | #Constraints: 124407
3362.52/3372.48 c #Conflicts: 1796000 | #Constraints: 125407
3362.52/3372.48 c #Conflicts: 1797000 | #Constraints: 126407
3362.52/3372.48 c #Conflicts: 1798000 | #Constraints: 127407
3362.52/3372.48 c #Conflicts: 1799000 | #Constraints: 128407
3362.52/3372.48 c #Conflicts: 1800000 | #Constraints: 129407
3362.52/3372.48 c #Conflicts: 1801000 | #Constraints: 130407
3362.52/3372.48 c #Conflicts: 1802000 | #Constraints: 131407
3362.52/3372.48 c #Conflicts: 1803000 | #Constraints: 132407
3362.52/3372.48 c #Conflicts: 1804000 | #Constraints: 133407
3362.52/3372.48 c #Conflicts: 1805000 | #Constraints: 134407
3362.52/3372.48 c #Conflicts: 1806000 | #Constraints: 135407
3362.52/3372.48 c #Conflicts: 1807000 | #Constraints: 136407
3362.52/3372.48 c #Conflicts: 1808000 | #Constraints: 137407
3362.52/3372.48 c #Conflicts: 1809000 | #Constraints: 138407
3362.52/3372.48 c #Conflicts: 1810000 | #Constraints: 139407
3362.52/3372.48 c #Conflicts: 1811000 | #Constraints: 140407
3362.52/3372.48 c #Conflicts: 1812000 | #Constraints: 141407
3362.52/3372.48 c INPROCESSING
3362.52/3372.48 c GARBAGE COLLECT
3362.52/3372.48 c rational objective 88.8669
3557.99/3568.46 c #Conflicts: 1813000 | #Constraints: 74536
3557.99/3568.46 c #Conflicts: 1814000 | #Constraints: 75536
3557.99/3568.46 c #Conflicts: 1815000 | #Constraints: 76536
3557.99/3568.46 c #Conflicts: 1816000 | #Constraints: 77536
3557.99/3568.46 c #Conflicts: 1817000 | #Constraints: 78536
3557.99/3568.46 c #Conflicts: 1818000 | #Constraints: 79536
3557.99/3568.46 c #Conflicts: 1819000 | #Constraints: 80536
3557.99/3568.46 c #Conflicts: 1820000 | #Constraints: 81536
3557.99/3568.46 c #Conflicts: 1821000 | #Constraints: 82536
3557.99/3568.46 c #Conflicts: 1822000 | #Constraints: 83536
3557.99/3568.46 c #Conflicts: 1823000 | #Constraints: 84536
3557.99/3568.46 c #Conflicts: 1824000 | #Constraints: 85536
3557.99/3568.46 c #Conflicts: 1825000 | #Constraints: 86536
3557.99/3568.46 c #Conflicts: 1826000 | #Constraints: 87536
3557.99/3568.46 c #Conflicts: 1827000 | #Constraints: 88536
3557.99/3568.46 c #Conflicts: 1828000 | #Constraints: 89536
3557.99/3568.46 c #Conflicts: 1829000 | #Constraints: 90536
3557.99/3568.46 c #Conflicts: 1830000 | #Constraints: 91536
3557.99/3568.46 c #Conflicts: 1831000 | #Constraints: 92536
3557.99/3568.46 c #Conflicts: 1832000 | #Constraints: 93536
3557.99/3568.46 c #Conflicts: 1833000 | #Constraints: 94536
3557.99/3568.46 c #Conflicts: 1834000 | #Constraints: 95536
3557.99/3568.46 c #Conflicts: 1835000 | #Constraints: 96536
3557.99/3568.46 c #Conflicts: 1836000 | #Constraints: 97536
3557.99/3568.46 c #Conflicts: 1837000 | #Constraints: 98536
3557.99/3568.46 c #Conflicts: 1838000 | #Constraints: 99536
3557.99/3568.46 c #Conflicts: 1839000 | #Constraints: 100536
3557.99/3568.46 c #Conflicts: 1840000 | #Constraints: 101536
3557.99/3568.46 c #Conflicts: 1841000 | #Constraints: 102536
3557.99/3568.46 c #Conflicts: 1842000 | #Constraints: 103536
3557.99/3568.46 c INPROCESSING
3557.99/3568.46 c GARBAGE COLLECT
3557.99/3568.46 c #Conflicts: 1843000 | #Constraints: 55846
3557.99/3568.46 c #Conflicts: 1844000 | #Constraints: 56846
3557.99/3568.46 c #Conflicts: 1845000 | #Constraints: 57846
3557.99/3568.46 c #Conflicts: 1846000 | #Constraints: 58846
3557.99/3568.46 c #Conflicts: 1847000 | #Constraints: 59846
3557.99/3568.46 c #Conflicts: 1848000 | #Constraints: 60846
3557.99/3568.46 c #Conflicts: 1849000 | #Constraints: 61846
3557.99/3568.46 c #Conflicts: 1850000 | #Constraints: 62846
3557.99/3568.46 c #Conflicts: 1851000 | #Constraints: 63846
3557.99/3568.46 c #Conflicts: 1852000 | #Constraints: 64846
3557.99/3568.46 c #Conflicts: 1853000 | #Constraints: 65846
3557.99/3568.46 c #Conflicts: 1854000 | #Constraints: 66846
3557.99/3568.46 c #Conflicts: 1855000 | #Constraints: 67846
3557.99/3568.46 c #Conflicts: 1856000 | #Constraints: 68846
3557.99/3568.46 c #Conflicts: 1857000 | #Constraints: 69846
3557.99/3568.46 c #Conflicts: 1858000 | #Constraints: 70846
3557.99/3568.46 c #Conflicts: 1859000 | #Constraints: 71846
3557.99/3568.46 c #Conflicts: 1860000 | #Constraints: 72846
3557.99/3568.46 c #Conflicts: 1861000 | #Constraints: 73846
3557.99/3568.46 c #Conflicts: 1862000 | #Constraints: 74846
3557.99/3568.46 c #Conflicts: 1863000 | #Constraints: 75846
3557.99/3568.46 c #Conflicts: 1864000 | #Constraints: 76846
3557.99/3568.46 c #Conflicts: 1865000 | #Constraints: 77846
3557.99/3568.46 c #Conflicts: 1866000 | #Constraints: 78846
3557.99/3568.46 c #Conflicts: 1867000 | #Constraints: 79846
3557.99/3568.46 c #Conflicts: 1868000 | #Constraints: 80846
3557.99/3568.46 c #Conflicts: 1869000 | #Constraints: 81846
3557.99/3568.46 c #Conflicts: 1870000 | #Constraints: 82846
3557.99/3568.46 c #Conflicts: 1871000 | #Constraints: 83846
3557.99/3568.46 c #Conflicts: 1872000 | #Constraints: 84846
3557.99/3568.46 c INPROCESSING
3557.99/3568.46 c GARBAGE COLLECT
3557.99/3568.46 c #Conflicts: 1873000 | #Constraints: 46700
3557.99/3568.46 c #Conflicts: 1874000 | #Constraints: 47700
3557.99/3568.46 c #Conflicts: 1875000 | #Constraints: 48700
3557.99/3568.46 c #Conflicts: 1876000 | #Constraints: 49700
3557.99/3568.46 c #Conflicts: 1877000 | #Constraints: 50700
3557.99/3568.46 c #Conflicts: 1878000 | #Constraints: 51700
3557.99/3568.46 c #Conflicts: 1879000 | #Constraints: 52700
3557.99/3568.46 c #Conflicts: 1880000 | #Constraints: 53700
3557.99/3568.46 c #Conflicts: 1881000 | #Constraints: 54700
3557.99/3568.46 c #Conflicts: 1882000 | #Constraints: 55700
3557.99/3568.46 c #Conflicts: 1883000 | #Constraints: 56700
3557.99/3568.46 c #Conflicts: 1884000 | #Constraints: 57700
3557.99/3568.46 c #Conflicts: 1885000 | #Constraints: 58700
3557.99/3568.46 c #Conflicts: 1886000 | #Constraints: 59700
3557.99/3568.46 c #Conflicts: 1887000 | #Constraints: 60700
3557.99/3568.46 c #Conflicts: 1888000 | #Constraints: 61700
3557.99/3568.46 c #Conflicts: 1889000 | #Constraints: 62700
3557.99/3568.46 c #Conflicts: 1890000 | #Constraints: 63700
3600.07/3610.60 c #Conflicts: 1891000 | #Constraints: 64700
3600.07/3610.60 c #Conflicts: 1892000 | #Constraints: 65700
3600.07/3610.60 c #Conflicts: 1893000 | #Constraints: 66700
3600.07/3610.60 c #Conflicts: 1894000 | #Constraints: 67700
3600.07/3610.60 c #Conflicts: 1895000 | #Constraints: 68700
3600.07/3610.60 c #Conflicts: 1896000 | #Constraints: 69700
3600.07/3610.60 c #Conflicts: 1897000 | #Constraints: 70700
3600.07/3610.60 c #Conflicts: 1898000 | #Constraints: 71700
3600.07/3610.60 c #Conflicts: 1899000 | #Constraints: 72700
3600.07/3610.60 c #Conflicts: 1900000 | #Constraints: 73700
3600.07/3610.60 c #Conflicts: 1901000 | #Constraints: 74700
3600.07/3610.60 c INPROCESSING
3600.07/3610.60 c GARBAGE COLLECT
3600.07/3610.60 c #Conflicts: 1902000 | #Constraints: 41089
3600.07/3610.60 c #Conflicts: 1903000 | #Constraints: 42089
3600.07/3610.60 c #Conflicts: 1904000 | #Constraints: 43089
3600.07/3610.60 c #Conflicts: 1905000 | #Constraints: 44089
3600.07/3610.60 c #Conflicts: 1906000 | #Constraints: 45089
3600.07/3610.60 c #Conflicts: 1907000 | #Constraints: 46089
3600.07/3610.60 c #Conflicts: 1908000 | #Constraints: 47089
3600.07/3610.60 c #Conflicts: 1909000 | #Constraints: 48089
3600.07/3610.60 c #Conflicts: 1910000 | #Constraints: 49089
3600.07/3610.60 c #Conflicts: 1911000 | #Constraints: 50089
3600.07/3610.60 c #Conflicts: 1912000 | #Constraints: 51089
3600.07/3610.60 c cpu time 3584.39 s
3600.07/3610.60 c deterministic time 259547007093 2.60e+11
3600.07/3610.60 c optimization time 13.2105 s
3600.07/3610.60 c total solve time 3571.11 s
3600.07/3610.60 c core-guided solve time 0 s
3600.07/3610.60 c propagation time 1956.27 s
3600.07/3610.60 c conflict analysis time 1425.21 s
3600.07/3610.60 c propagations 1011359894
3600.07/3610.60 c resolve steps 97613702
3600.07/3610.60 c decisions 11332617
3600.07/3610.60 c conflicts 1912010
3600.07/3610.60 c restarts 3707
3600.07/3610.60 c inprocessing phases 91
3600.07/3610.60 c garbage collections 91 ,( 100.00 )
3600.07/3610.60 c input clauses 5773 ,( 98.62 )
3600.07/3610.60 c input cardinalities 81 ,( 1.38 )
3600.07/3610.60 c input general constraints 0 ,( 0.00 )
3600.07/3610.60 c input average constraint length 6.12
3600.07/3610.60 c input average constraint degree 1.91
3600.07/3610.60 c learned clauses 1539344 ,( 80.51 )
3600.07/3610.60 c learned cardinalities 26996 ,( 1.41 )
3600.07/3610.60 c learned general constraints 345678 ,( 18.08 )
3600.07/3610.60 c learned average constraint length 668.23
3600.07/3610.60 c learned average constraint degree 7272587.49
3600.07/3610.60 c watched CF 32, 64, 128, Arb: 118492 , 0 , 0 , 0
3600.07/3610.60 c counting CF 32, 64, 128, Arb: 227186 , 0 , 0 , 0
3600.07/3610.60 c watched constraints 118492 ,( 34.28 )
3600.07/3610.60 c counting constraints 227186 ,( 65.72 )
3600.07/3610.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1877717551 , 623013002 , 3243393253 ,( 128997819 , 3114395434 )
3600.07/3610.60 c gcd simplifications 941
3600.07/3610.60 c detected cardinalities 1365
3600.07/3610.60 c weakened non-implied lits 375977430
3600.07/3610.60 c weakened non-implying lits 217693
3600.07/3610.60 c original variables 5571
3600.07/3610.60 c clausal propagations 391989065
3600.07/3610.60 c cardinality propagations 366714241
3600.07/3610.60 c watched propagations 4664244
3600.07/3610.60 c counting propagations 242326037
3600.07/3610.60 c watch lookups 145449264322
3600.07/3610.60 c watch backjump lookups 0
3600.07/3610.60 c watch checks 40842889699
3600.07/3610.60 c propagation checks 66487635112
3600.07/3610.60 c constraint additions 4719537566
3600.07/3610.60 c trail pops 1024599961
3600.07/3610.60 c formula constraints 5854
3600.07/3610.60 c learned constraints 1912004
3600.07/3610.60 c bound constraints 0
3600.07/3610.60 c core-guided constraints 0
3600.07/3610.60 c encountered formula constraints 59825260
3600.07/3610.60 c encountered learned constraints 39700434
3600.07/3610.60 c encountered bound constraints 0
3600.07/3610.60 c encountered core-guided constraints 0
3600.07/3610.60 c LP total time 180.632 s
3600.07/3610.60 c LP solve time 177.04 s
3600.07/3610.60 c LP constraints added 6176
3600.07/3610.60 c LP constraints removed 128
3600.07/3610.60 c LP pivots internal 193814
3600.07/3610.60 c LP pivots root 194107
3600.07/3610.60 c LP calls 25
3600.07/3610.60 c LP optimalities 10
3600.07/3610.60 c LP no pivot count 0
3600.07/3610.60 c LP infeasibilities 7
3600.07/3610.60 c LP valid Farkas constraints 6
3600.07/3610.60 c LP learned Farkas constraints 5
3600.07/3610.60 c LP basis resets 2
3600.07/3610.60 c LP cycling count 0
3600.07/3610.60 c LP singular count 1
3600.07/3610.60 c LP no primal count 0
3600.07/3610.60 c LP no farkas count 1
3600.07/3610.60 c LP other issue count 0
3600.07/3610.60 c LP Gomory cuts 3
3600.07/3610.60 c LP learned cuts 319
3600.07/3610.60 c LP deleted cuts 128
3600.07/3610.60 c LP encountered Gomory constraints 0
3600.07/3610.60 c LP encountered Farkas constraints 7
3600.07/3610.60 c LP encountered learned Farkas constraints 6
3600.07/3610.60 c CG auxiliary variables introduced 0
3600.07/3610.60 c CG solutions found 0
3600.07/3610.60 c CG cores constructed 0
3600.07/3610.60 c CG core cardinality constraints returned 0
3600.07/3610.60 c CG unit cores 0
3600.07/3610.60 c CG single cores 0
3600.07/3610.60 c CG blocks removed during cardinality reduction 0
3600.07/3610.60 c CG first core best 0
3600.07/3610.60 c CG decision core best 0
3600.07/3610.60 c CG core reduction tie 0
3600.07/3610.60 c CG core degree average 0.00
3600.07/3610.60 c CG core slack average 0.00
3600.07/3610.60 c CG core upper bound improvements 0
3600.07/3610.60 c STR number of successful calls 0
3600.07/3610.60 c STR number of unsuccessful calls 0
3600.07/3610.60 c STR number of inconclusive calls 0
3600.07/3610.60 c STR number of successful attempts 0
3600.07/3610.60 c STR number of unsuccessful attempts 0
3600.07/3610.60 c STR number of inconclusive attempts 0
3600.07/3610.60 c STR average degree increase per successful call inf
3600.07/3610.60 c STR average degree increase per successful attempt inf
3600.07/3610.60 c STR total number of conflicts for successful attempts 0
3600.07/3610.60 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.60 c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.60 c STR average number of conflicts per successful attempt inf
3600.07/3610.60 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.60 c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.60 c AVG.sumWPerc 58.41
3600.07/3610.60 c bigint constraints 0
3600.07/3610.60 s UNKNOWN
3600.07/3610.60 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: 63837 MiB (62164 MiB free)
memory of node 1: 64465 MiB (63331 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507520-1751185265/watcher-4507520-1751185265 -o /tmp/evaluation-result-4507520-1751185265/solver-4507520-1751185265 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19245 --watchdog 3760 run-dec-break.sh HOME/instance-4507520-1751185265.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19583, runsolver pid=19580
[startup+0.100104 s]*
/proc/loadavg: 4.10 4.10 4.02 5/254 19586
/proc/meminfo: memFree=128500324/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=57376 memory=10624 CPUtime=0.03 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 883 0 0 0 2 1 0 0 20 0 1 0 34205159 58753024 2656 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 14344 2656 1984 1147 0 1771 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61568 KiB
Current children cumulated memory: 13440 KiB
[startup+0.213608 s]*
/proc/loadavg: 4.10 4.10 4.02 5/254 19586
/proc/meminfo: memFree=128498812/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=70768 memory=26196 CPUtime=0.14 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 4555 0 0 0 11 3 0 0 20 0 1 0 34205159 72466432 6549 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 17692 6549 2272 1147 0 5119 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 74960 KiB
Current children cumulated memory: 29012 KiB
[startup+0.313358 s]*
/proc/loadavg: 4.10 4.10 4.02 5/254 19586
/proc/meminfo: memFree=128497804/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=71832 memory=26836 CPUtime=0.23 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 4728 0 0 0 20 3 0 0 20 0 1 0 34205159 73555968 6709 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 17958 6709 2272 1147 0 5385 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 76024 KiB
Current children cumulated memory: 29652 KiB
[startup+0.700427 s]
/proc/loadavg: 4.10 4.10 4.02 5/254 19586
/proc/meminfo: memFree=128497804/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=71832 memory=27092 CPUtime=0.6 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 4787 0 0 0 57 3 0 0 20 0 1 0 34205159 73555968 6773 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 17958 6773 2272 1147 0 5385 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 76024 KiB
Current children cumulated memory: 29908 KiB
[startup+1.50043 s]
/proc/loadavg: 4.10 4.10 4.02 5/254 19586
/proc/meminfo: memFree=128497804/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=73228 memory=28372 CPUtime=1.4 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 5107 0 0 0 136 4 0 0 20 0 1 0 34205159 74985472 7093 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 18307 7093 2272 1147 0 5734 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 77420 KiB
Current children cumulated memory: 31188 KiB
[startup+3.11295 s]
/proc/loadavg: 4.09 4.10 4.02 5/254 19586
/proc/meminfo: memFree=128492084/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=77208 memory=35052 CPUtime=3.01 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 6173 0 0 0 293 8 0 0 20 0 1 0 34205159 79060992 8763 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 19302 8763 2368 1147 0 6729 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 81400 KiB
Current children cumulated memory: 37868 KiB
[startup+6.30039 s]
/proc/loadavg: 4.09 4.10 4.02 5/254 19586
/proc/meminfo: memFree=128479672/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=82740 memory=40520 CPUtime=6.19 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 7023 0 0 0 604 15 0 0 20 0 1 0 34205159 84725760 10130 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 20685 10130 2368 1147 0 8112 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 86932 KiB
Current children cumulated memory: 43336 KiB
[startup+12.7004 s]
/proc/loadavg: 4.15 4.11 4.03 5/254 19587
/proc/meminfo: memFree=128479924/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=87932 memory=45256 CPUtime=12.57 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 8213 0 0 0 1230 27 0 0 20 0 1 0 34205159 90042368 11314 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 21983 11314 2368 1147 0 9410 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 92124 KiB
Current children cumulated memory: 48072 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.11 4.03 5/254 19587
/proc/meminfo: memFree=128464132/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=102092 memory=52932 CPUtime=25.34 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 9639 0 0 0 2488 46 0 0 20 0 1 0 34205159 104542208 13233 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 25523 13233 2368 1147 0 12950 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 106284 KiB
Current children cumulated memory: 55748 KiB
[startup+51.1133 s]
/proc/loadavg: 4.08 4.10 4.02 5/254 19587
/proc/meminfo: memFree=128423716/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=110016 memory=60228 CPUtime=50.87 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 11467 0 0 0 5004 83 0 0 20 0 1 0 34205159 112656384 15057 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 27504 15057 2368 1147 0 14931 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 114208 KiB
Current children cumulated memory: 63044 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.12 4.04 5/254 19589
/proc/meminfo: memFree=128334072/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=195476 memory=134592 CPUtime=101.92 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 19329 0 0 0 10056 136 0 0 20 0 1 0 34205159 200167424 33648 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 48869 33648 2368 1147 0 36296 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 199668 KiB
Current children cumulated memory: 137408 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.03 5/254 19596
/proc/meminfo: memFree=128282484/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=220600 memory=171528 CPUtime=161.75 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 24991 0 0 0 15993 182 0 0 20 0 1 0 34205159 225894400 42882 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 55150 42882 2368 1147 0 42577 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 224792 KiB
Current children cumulated memory: 174344 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.03 5/254 19598
/proc/meminfo: memFree=128237452/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=238840 memory=189448 CPUtime=221.59 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 29467 0 0 0 21932 227 0 0 20 0 1 0 34205159 244572160 47362 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 59710 47362 2368 1147 0 47137 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/19586/statm: 166725 154743 2464 1147 0 154152 0
Current children cumulated CPU time: 3033.28 s
Current children cumulated vsize: 671092 KiB
Current children cumulated memory: 621788 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/255 20305
/proc/meminfo: memFree=129199240/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=666900 memory=618972 CPUtime=3093.07 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 65682 0 0 0 307870 1437 0 0 20 0 1 0 34205159 682905600 154743 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 166725 154743 2464 1147 0 154152 0
Current children cumulated CPU time: 3093.12 s
Current children cumulated vsize: 671092 KiB
Current children cumulated memory: 621788 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/255 20307
/proc/meminfo: memFree=129177284/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=667056 memory=619100 CPUtime=3152.92 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 65743 0 0 0 313841 1451 0 0 20 0 1 0 34205159 683065344 154775 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 166764 154775 2464 1147 0 154191 0
Current children cumulated CPU time: 3152.97 s
Current children cumulated vsize: 671248 KiB
Current children cumulated memory: 621916 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 20313
/proc/meminfo: memFree=129137384/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=668496 memory=620124 CPUtime=3212.77 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 66016 0 0 0 319815 1462 0 0 20 0 1 0 34205159 684539904 155031 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 167124 155031 2464 1147 0 154551 0
Current children cumulated CPU time: 3212.82 s
Current children cumulated vsize: 672688 KiB
Current children cumulated memory: 622940 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/254 20315
/proc/meminfo: memFree=129107616/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=677652 memory=625500 CPUtime=3272.61 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 67527 0 0 0 325787 1474 0 0 20 0 1 0 34205159 693915648 156375 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 169413 156375 2464 1147 0 156840 0
Current children cumulated CPU time: 3272.66 s
Current children cumulated vsize: 681844 KiB
Current children cumulated memory: 628316 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 20317
/proc/meminfo: memFree=129086256/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=906400 memory=641128 CPUtime=3332.45 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 69917 0 0 0 331761 1484 0 0 20 0 1 0 34205159 928153600 160282 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 226600 160282 2464 1147 0 214027 0
Current children cumulated CPU time: 3332.5 s
Current children cumulated vsize: 910592 KiB
Current children cumulated memory: 643944 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/253 20319
/proc/meminfo: memFree=129074096/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=912168 memory=652324 CPUtime=3392.29 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 71180 0 0 0 337721 1508 0 0 20 0 1 0 34205159 934060032 163081 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 228042 163081 2464 1147 0 215469 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 916360 KiB
Current children cumulated memory: 655140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.54 4.20 4.13 5/254 20322
/proc/meminfo: memFree=129060664/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=912168 memory=652324 CPUtime=3452.13 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 71180 0 0 0 343694 1519 0 0 20 0 1 0 34205159 934060032 163081 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 228042 163081 2464 1147 0 215469 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 916360 KiB
Current children cumulated memory: 655140 KiB
[startup+3522.3 s]
/proc/loadavg: 4.54 4.28 4.16 5/254 20324
/proc/meminfo: memFree=129056316/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=912168 memory=652452 CPUtime=3511.97 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 71231 0 0 0 349663 1534 0 0 20 0 1 0 34205159 934060032 163113 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 228042 163113 2464 1147 0 215469 0
Current children cumulated CPU time: 3512.02 s
Current children cumulated vsize: 916360 KiB
Current children cumulated memory: 655268 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.24 4.16 5/255 20339
/proc/meminfo: memFree=129044344/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=912168 memory=663716 CPUtime=3571.8 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 71241 0 0 0 355628 1552 0 0 20 0 1 0 34205159 934060032 165929 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 228042 165929 2464 1147 0 215469 0
Current children cumulated CPU time: 3571.85 s
Current children cumulated vsize: 916360 KiB
Current children cumulated memory: 666532 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.20 4.23 4.16 5/255 20339
/proc/meminfo: memFree=129032712/131382120 swapFree=33010684/33010684
[pid=19583] ppid=19580 vsize=4192 memory=2816 CPUtime=0.05 cores=1,3
/proc/19583/stat : 19583 (run-dec-break.s) S 19580 19583 19233 0 -1 4194304 238 4002 0 0 0 0 4 1 20 0 1 0 34205152 4292608 704 18446744073709551615 94128018018304 94128018912837 140735920573472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94128019151888 94128019199632 94128036438016 140735920580961 140735920581090 140735920581090 140735920586692 0
/proc/19583/statm: 1048 704 672 219 0 110 0
[pid=19586] ppid=19583 vsize=912168 memory=663716 CPUtime=3600.02 cores=1,3
/proc/19586/stat : 19586 (roundingsat) R 19583 19583 19233 0 -1 4194304 71241 0 0 0 358439 1563 0 0 20 0 1 0 34205159 934060032 165929 18446744073709551615 4227072 8923433 140728411017920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26570752 140728411023684 140728411023912 140728411023912 140728411029482 0
/proc/19586/statm: 228042 165929 2464 1147 0 215469 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 916360 KiB
Current children cumulated memory: 666532 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.61 s]
# the end of solver process 19583 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.047134 s, system=0.019739 s
[startup+3610.61 s]
# the end of solver process 19586 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.45 s, system=15.6622 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.61
CPU time (s): 3600.11
CPU user time (s): 3584.45
CPU system time (s): 15.6622
CPU usage (%): 99.7093
Max. virtual memory (cumulated for all children) (KiB): 916360
Max. memory (cumulated for all children) (KiB): 666532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.45
system time used= 15.6622
maximum resident set size= 663972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 350
involuntary context switches= 2408
# summary of solver processes directly reported to runsolver:
# pid: 19583,19586
# total CPU time (s): 3600.11
# total CPU user time (s): 3584.45
# total CPU system time (s): 15.6622
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5081 second user time and 36.2206 second system time
The end
Begin job on nodeC003 at 2025-06-29 10:21:05
IDJOB=4507520
IDBENCH=158357
IDSOLVER=3357
FILE ID=nodeC003/4507520-1751185265
RUNJOBID= nodeC003-1751182666-19245
SLURM_JOB_ID= 9587560
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507520-1751185265/watcher-4507520-1751185265 -o /tmp/evaluation-result-4507520-1751185265/solver-4507520-1751185265 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19245 --watchdog 3760 run-dec-break.sh HOME/instance-4507520-1751185265.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b
RANDOM SEED=1790041423
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.305
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.287
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.653
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.168
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.242
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.034
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128508136 kB
MemAvailable: 128319268 kB
Buffers: 3280 kB
Cached: 621764 kB
SwapCached: 0 kB
Active: 1919548 kB
Inactive: 408552 kB
Active(anon): 1721016 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 408552 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7720 kB
Writeback: 44 kB
AnonPages: 1705120 kB
Mapped: 115908 kB
Shmem: 17960 kB
KReclaimable: 87348 kB
Slab: 168420 kB
SReclaimable: 87348 kB
SUnreclaim: 81072 kB
KernelStack: 4080 kB
PageTables: 6556 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2461964 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1101824 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC003 at 2025-06-29 11:21:16