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-4507268-1751179929.opb'
0.00/0.01 c read 0.39MB (5.37ms)
0.00/0.01 c [cnf: #variables 6120 #clauses 6302 #duplicates 0 #arr 39277]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 1080] (6.92ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c (1.23ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 30782 #edges 115274]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 3.84*10^2 #generators 7] (6.26ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c (0.01ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c add generic predicates (break_depth=10)
0.00/0.03 c added predicates for 7 generators (0.08ms)
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 196 #add_vars 63]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4507268-1751179929.opb.pre'
0.00/0.03 c wrote 0.40MB (1.02ms)
0.00/0.03 c ------------------------------------------------------------------
0.00/0.03 c 6.92ms 32.10% approx_orbits
0.00/0.03 c 6.26ms 29.04% detect_generic
0.00/0.03 c 5.37ms 24.91% parse
0.00/0.03 c 1.23ms 5.72% detect_special
0.00/0.03 c 1.02ms 4.71% output
0.00/0.03 c 0.46ms 2.12% other
0.00/0.03 c 0.21ms 0.96% finalize_order
0.00/0.03 c 0.08ms 0.38% break_generic
0.00/0.03 c 0.01ms 0.07% optimize_gens
0.00/0.03 c ───────────────────────────────────────────────
0.00/0.03 c 21.56ms 100% total
0.00/0.03 c ------------------------------------------------------------------
0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.08 c #variables 6183 #constraints 6488
47.40/47.61 c #Conflicts: 1000 | #Constraints: 7487
47.40/47.61 c #Conflicts: 2000 | #Constraints: 8487
47.40/47.61 c INPROCESSING
47.40/47.61 c GARBAGE COLLECT
47.40/47.61 c #Conflicts: 3000 | #Constraints: 8099
47.40/47.61 c #Conflicts: 4000 | #Constraints: 9099
47.40/47.61 c INPROCESSING
47.40/47.61 c GARBAGE COLLECT
47.40/47.61 c #Conflicts: 5000 | #Constraints: 8549
47.40/47.61 c #Conflicts: 6000 | #Constraints: 9549
47.40/47.61 c INPROCESSING
47.40/47.61 c GARBAGE COLLECT
47.40/47.61 c #Conflicts: 7000 | #Constraints: 8613
47.40/47.61 c #Conflicts: 8000 | #Constraints: 9613
47.40/47.61 c #Conflicts: 9000 | #Constraints: 10613
47.40/47.61 c INPROCESSING
47.40/47.61 c GARBAGE COLLECT
47.40/47.61 c #Conflicts: 10000 | #Constraints: 9354
47.40/47.61 c #Conflicts: 11000 | #Constraints: 10354
47.40/47.61 c #Conflicts: 12000 | #Constraints: 11354
47.40/47.61 c INPROCESSING
47.40/47.61 c GARBAGE COLLECT
47.40/47.61 c #Conflicts: 13000 | #Constraints: 9840
47.40/47.61 c #Conflicts: 14000 | #Constraints: 10840
47.40/47.61 c #Conflicts: 15000 | #Constraints: 11840
47.40/47.61 c INPROCESSING
47.40/47.61 c GARBAGE COLLECT
47.40/47.61 c #Conflicts: 16000 | #Constraints: 10090
47.40/47.61 c #Conflicts: 17000 | #Constraints: 11090
47.40/47.61 c #Conflicts: 18000 | #Constraints: 12090
47.40/47.61 c INPROCESSING
47.40/47.61 c GARBAGE COLLECT
47.40/47.61 c #Conflicts: 19000 | #Constraints: 10150
47.40/47.61 c #Conflicts: 20000 | #Constraints: 11150
47.40/47.61 c #Conflicts: 21000 | #Constraints: 12150
47.40/47.61 c INPROCESSING
47.40/47.61 c GARBAGE COLLECT
47.40/47.61 c #Conflicts: 22000 | #Constraints: 9979
47.40/47.61 c #Conflicts: 23000 | #Constraints: 10979
47.40/47.61 c #Conflicts: 24000 | #Constraints: 11979
47.40/47.61 c #Conflicts: 25000 | #Constraints: 12979
47.40/47.61 c INPROCESSING
47.40/47.61 c GARBAGE COLLECT
47.40/47.61 c #Conflicts: 26000 | #Constraints: 10594
47.40/47.61 c #Conflicts: 27000 | #Constraints: 11594
47.40/47.61 c #Conflicts: 28000 | #Constraints: 12594
47.40/47.61 c #Conflicts: 29000 | #Constraints: 13594
47.40/47.61 c INPROCESSING
47.40/47.61 c GARBAGE COLLECT
47.40/47.61 c #Conflicts: 30000 | #Constraints: 11020
47.40/47.61 c #Conflicts: 31000 | #Constraints: 12020
47.40/47.61 c #Conflicts: 32000 | #Constraints: 13020
47.40/47.61 c #Conflicts: 33000 | #Constraints: 14020
47.40/47.61 c INPROCESSING
47.40/47.61 c GARBAGE COLLECT
47.40/47.61 c #Conflicts: 34000 | #Constraints: 11245
47.40/47.61 c #Conflicts: 35000 | #Constraints: 12245
47.40/47.61 c #Conflicts: 36000 | #Constraints: 13245
47.40/47.61 c #Conflicts: 37000 | #Constraints: 14245
47.40/47.61 c INPROCESSING
47.40/47.61 c GARBAGE COLLECT
47.40/47.61 c #Conflicts: 38000 | #Constraints: 11268
47.40/47.61 c #Conflicts: 39000 | #Constraints: 12268
47.40/47.61 c #Conflicts: 40000 | #Constraints: 13268
47.40/47.61 c #Conflicts: 41000 | #Constraints: 14268
47.40/47.61 c INPROCESSING
47.40/47.61 c GARBAGE COLLECT
47.40/47.61 c #Conflicts: 42000 | #Constraints: 11107
47.40/47.61 c #Conflicts: 43000 | #Constraints: 12107
47.40/47.61 c #Conflicts: 44000 | #Constraints: 13107
47.40/47.61 c #Conflicts: 45000 | #Constraints: 14107
47.40/47.61 c #Conflicts: 46000 | #Constraints: 15107
47.40/47.61 c INPROCESSING
47.40/47.61 c GARBAGE COLLECT
47.40/47.61 c #Conflicts: 47000 | #Constraints: 11728
47.40/47.61 c #Conflicts: 48000 | #Constraints: 12728
47.40/47.61 c #Conflicts: 49000 | #Constraints: 13728
47.40/47.61 c #Conflicts: 50000 | #Constraints: 14728
47.40/47.61 c #Conflicts: 51000 | #Constraints: 15728
47.40/47.61 c INPROCESSING
47.40/47.61 c GARBAGE COLLECT
47.40/47.61 c #Conflicts: 52000 | #Constraints: 12108
47.40/47.61 c #Conflicts: 53000 | #Constraints: 13108
47.40/47.61 c #Conflicts: 54000 | #Constraints: 14108
47.40/47.61 c #Conflicts: 55000 | #Constraints: 15108
47.40/47.61 c #Conflicts: 56000 | #Constraints: 16108
47.40/47.61 c #Conflicts: 57000 | #Constraints: 17108
47.40/47.61 c #Conflicts: 58000 | #Constraints: 18108
47.40/47.61 c #Conflicts: 59000 | #Constraints: 19108
47.40/47.61 c #Conflicts: 60000 | #Constraints: 20108
47.40/47.61 c #Conflicts: 61000 | #Constraints: 21108
47.40/47.61 c #Conflicts: 62000 | #Constraints: 22108
47.40/47.61 c #Conflicts: 63000 | #Constraints: 23108
47.40/47.61 c #Conflicts: 64000 | #Constraints: 24108
47.40/47.61 c #Conflicts: 65000 | #Constraints: 25108
47.40/47.61 c #Conflicts: 66000 | #Constraints: 26108
47.40/47.61 c #Conflicts: 67000 | #Constraints: 27108
47.40/47.61 c #Conflicts: 68000 | #Constraints: 28108
47.40/47.61 c #Conflicts: 69000 | #Constraints: 29108
47.40/47.61 c #Conflicts: 70000 | #Constraints: 30108
114.19/114.65 c INPROCESSING
114.19/114.65 c GARBAGE COLLECT
114.19/114.65 c #Conflicts: 71000 | #Constraints: 19233
114.19/114.65 c #Conflicts: 72000 | #Constraints: 20233
114.19/114.65 c #Conflicts: 73000 | #Constraints: 21233
114.19/114.65 c #Conflicts: 74000 | #Constraints: 22233
114.19/114.65 c #Conflicts: 75000 | #Constraints: 23233
114.19/114.65 c #Conflicts: 76000 | #Constraints: 24233
114.19/114.65 c INPROCESSING
114.19/114.65 c GARBAGE COLLECT
114.19/114.65 c #Conflicts: 77000 | #Constraints: 16172
114.19/114.65 c #Conflicts: 78000 | #Constraints: 17172
114.19/114.65 c #Conflicts: 79000 | #Constraints: 18172
114.19/114.65 c #Conflicts: 80000 | #Constraints: 19172
114.19/114.65 c #Conflicts: 81000 | #Constraints: 20172
114.19/114.65 c #Conflicts: 82000 | #Constraints: 21172
114.19/114.65 c INPROCESSING
114.19/114.65 c GARBAGE COLLECT
114.19/114.65 c #Conflicts: 83000 | #Constraints: 14537
114.19/114.65 c #Conflicts: 84000 | #Constraints: 15537
114.19/114.65 c #Conflicts: 85000 | #Constraints: 16537
114.19/114.65 c #Conflicts: 86000 | #Constraints: 17537
114.19/114.65 c #Conflicts: 87000 | #Constraints: 18537
114.19/114.65 c #Conflicts: 88000 | #Constraints: 19537
114.19/114.65 c #Conflicts: 89000 | #Constraints: 20537
114.19/114.65 c INPROCESSING
114.19/114.65 c GARBAGE COLLECT
114.19/114.65 c #Conflicts: 90000 | #Constraints: 14473
114.19/114.65 c #Conflicts: 91000 | #Constraints: 15473
114.19/114.65 c #Conflicts: 92000 | #Constraints: 16473
114.19/114.65 c #Conflicts: 93000 | #Constraints: 17473
114.19/114.65 c #Conflicts: 94000 | #Constraints: 18473
114.19/114.65 c #Conflicts: 95000 | #Constraints: 19473
114.19/114.65 c #Conflicts: 96000 | #Constraints: 20473
114.19/114.65 c INPROCESSING
114.19/114.65 c GARBAGE COLLECT
114.19/114.65 c #Conflicts: 97000 | #Constraints: 14571
114.19/114.65 c #Conflicts: 98000 | #Constraints: 15571
114.19/114.65 c #Conflicts: 99000 | #Constraints: 16571
114.19/114.65 c #Conflicts: 100000 | #Constraints: 17571
114.19/114.65 c #Conflicts: 101000 | #Constraints: 18571
114.19/114.65 c #Conflicts: 102000 | #Constraints: 19571
114.19/114.65 c INPROCESSING
114.19/114.65 c GARBAGE COLLECT
114.19/114.65 c #Conflicts: 103000 | #Constraints: 13665
114.19/114.65 c #Conflicts: 104000 | #Constraints: 14665
114.19/114.65 c #Conflicts: 105000 | #Constraints: 15665
114.19/114.65 c #Conflicts: 106000 | #Constraints: 16665
114.19/114.65 c #Conflicts: 107000 | #Constraints: 17665
114.19/114.65 c #Conflicts: 108000 | #Constraints: 18665
114.19/114.65 c #Conflicts: 109000 | #Constraints: 19665
114.19/114.65 c #Conflicts: 110000 | #Constraints: 20665
114.19/114.65 c #Conflicts: 111000 | #Constraints: 21665
114.19/114.65 c #Conflicts: 112000 | #Constraints: 22665
114.19/114.65 c #Conflicts: 113000 | #Constraints: 23665
114.19/114.65 c #Conflicts: 114000 | #Constraints: 24665
114.19/114.65 c #Conflicts: 115000 | #Constraints: 25665
114.19/114.65 c #Conflicts: 116000 | #Constraints: 26665
114.19/114.65 c #Conflicts: 117000 | #Constraints: 27665
114.19/114.65 c #Conflicts: 118000 | #Constraints: 28665
114.19/114.65 c #Conflicts: 119000 | #Constraints: 29665
114.19/114.65 c #Conflicts: 120000 | #Constraints: 30665
114.19/114.65 c #Conflicts: 121000 | #Constraints: 31665
114.19/114.65 c #Conflicts: 122000 | #Constraints: 32665
114.19/114.65 c #Conflicts: 123000 | #Constraints: 33665
114.19/114.65 c #Conflicts: 124000 | #Constraints: 34665
114.19/114.65 c #Conflicts: 125000 | #Constraints: 35665
114.19/114.65 c #Conflicts: 126000 | #Constraints: 36665
114.19/114.65 c #Conflicts: 127000 | #Constraints: 37665
114.19/114.65 c #Conflicts: 128000 | #Constraints: 38665
114.19/114.65 c #Conflicts: 129000 | #Constraints: 39665
114.19/114.65 c INPROCESSING
114.19/114.65 c GARBAGE COLLECT
114.19/114.65 c #Conflicts: 130000 | #Constraints: 23811
114.19/114.65 c #Conflicts: 131000 | #Constraints: 24811
114.19/114.65 c #Conflicts: 132000 | #Constraints: 25811
114.19/114.65 c #Conflicts: 133000 | #Constraints: 26811
114.19/114.65 c #Conflicts: 134000 | #Constraints: 27811
114.19/114.65 c #Conflicts: 135000 | #Constraints: 28811
114.19/114.65 c #Conflicts: 136000 | #Constraints: 29811
114.19/114.65 c #Conflicts: 137000 | #Constraints: 30811
114.19/114.65 c #Conflicts: 138000 | #Constraints: 31811
114.19/114.65 c INPROCESSING
114.19/114.65 c GARBAGE COLLECT
114.19/114.65 c #Conflicts: 139000 | #Constraints: 20272
114.19/114.65 c #Conflicts: 140000 | #Constraints: 21272
114.19/114.65 c #Conflicts: 141000 | #Constraints: 22272
114.19/114.65 c #Conflicts: 142000 | #Constraints: 23272
114.19/114.65 c #Conflicts: 143000 | #Constraints: 24272
197.44/198.19 c #Conflicts: 144000 | #Constraints: 25272
197.44/198.19 c #Conflicts: 145000 | #Constraints: 26272
197.44/198.19 c #Conflicts: 146000 | #Constraints: 27272
197.44/198.19 c INPROCESSING
197.44/198.19 c GARBAGE COLLECT
197.44/198.19 c #Conflicts: 147000 | #Constraints: 17868
197.44/198.19 c #Conflicts: 148000 | #Constraints: 18868
197.44/198.19 c #Conflicts: 149000 | #Constraints: 19868
197.44/198.19 c #Conflicts: 150000 | #Constraints: 20868
197.44/198.19 c #Conflicts: 151000 | #Constraints: 21868
197.44/198.19 c #Conflicts: 152000 | #Constraints: 22868
197.44/198.19 c #Conflicts: 153000 | #Constraints: 23868
197.44/198.19 c #Conflicts: 154000 | #Constraints: 24868
197.44/198.19 c #Conflicts: 155000 | #Constraints: 25868
197.44/198.19 c INPROCESSING
197.44/198.19 c GARBAGE COLLECT
197.44/198.19 c #Conflicts: 156000 | #Constraints: 17364
197.44/198.19 c #Conflicts: 157000 | #Constraints: 18364
197.44/198.19 c #Conflicts: 158000 | #Constraints: 19364
197.44/198.19 c #Conflicts: 159000 | #Constraints: 20364
197.44/198.19 c #Conflicts: 160000 | #Constraints: 21364
197.44/198.19 c #Conflicts: 161000 | #Constraints: 22364
197.44/198.19 c #Conflicts: 162000 | #Constraints: 23364
197.44/198.19 c #Conflicts: 163000 | #Constraints: 24364
197.44/198.19 c INPROCESSING
197.44/198.19 c GARBAGE COLLECT
197.44/198.19 c #Conflicts: 164000 | #Constraints: 16165
197.44/198.19 c #Conflicts: 165000 | #Constraints: 17165
197.44/198.19 c #Conflicts: 166000 | #Constraints: 18165
197.44/198.19 c #Conflicts: 167000 | #Constraints: 19165
197.44/198.19 c #Conflicts: 168000 | #Constraints: 20165
197.44/198.19 c #Conflicts: 169000 | #Constraints: 21165
197.44/198.19 c #Conflicts: 170000 | #Constraints: 22165
197.44/198.19 c #Conflicts: 171000 | #Constraints: 23165
197.44/198.19 c #Conflicts: 172000 | #Constraints: 24165
197.44/198.19 c #Conflicts: 173000 | #Constraints: 25165
197.44/198.19 c #Conflicts: 174000 | #Constraints: 26165
197.44/198.19 c #Conflicts: 175000 | #Constraints: 27165
197.44/198.19 c #Conflicts: 176000 | #Constraints: 28165
197.44/198.19 c #Conflicts: 177000 | #Constraints: 29165
197.44/198.19 c #Conflicts: 178000 | #Constraints: 30165
197.44/198.19 c #Conflicts: 179000 | #Constraints: 31165
197.44/198.19 c #Conflicts: 180000 | #Constraints: 32165
197.44/198.19 c #Conflicts: 181000 | #Constraints: 33165
197.44/198.19 c #Conflicts: 182000 | #Constraints: 34165
197.44/198.19 c #Conflicts: 183000 | #Constraints: 35165
197.44/198.19 c #Conflicts: 184000 | #Constraints: 36165
197.44/198.19 c #Conflicts: 185000 | #Constraints: 37165
197.44/198.19 c #Conflicts: 186000 | #Constraints: 38165
197.44/198.19 c #Conflicts: 187000 | #Constraints: 39165
197.44/198.19 c #Conflicts: 188000 | #Constraints: 40165
197.44/198.19 c #Conflicts: 189000 | #Constraints: 41165
197.44/198.19 c #Conflicts: 190000 | #Constraints: 42165
197.44/198.19 c #Conflicts: 191000 | #Constraints: 43165
197.44/198.19 c #Conflicts: 192000 | #Constraints: 44165
197.44/198.19 c #Conflicts: 193000 | #Constraints: 45165
197.44/198.19 c #Conflicts: 194000 | #Constraints: 46165
197.44/198.19 c #Conflicts: 195000 | #Constraints: 47165
197.44/198.19 c #Conflicts: 196000 | #Constraints: 48165
197.44/198.19 c #Conflicts: 197000 | #Constraints: 49165
197.44/198.19 c INPROCESSING
197.44/198.19 c GARBAGE COLLECT
197.44/198.19 c #Conflicts: 198000 | #Constraints: 28955
197.44/198.19 c #Conflicts: 199000 | #Constraints: 29955
197.44/198.19 c #Conflicts: 200000 | #Constraints: 30955
197.44/198.19 c #Conflicts: 201000 | #Constraints: 31955
197.44/198.19 c #Conflicts: 202000 | #Constraints: 32955
197.44/198.19 c #Conflicts: 203000 | #Constraints: 33955
197.44/198.19 c #Conflicts: 204000 | #Constraints: 34955
197.44/198.19 c #Conflicts: 205000 | #Constraints: 35955
197.44/198.19 c #Conflicts: 206000 | #Constraints: 36955
197.44/198.19 c #Conflicts: 207000 | #Constraints: 37955
197.44/198.19 c INPROCESSING
197.44/198.19 c GARBAGE COLLECT
197.44/198.19 c #Conflicts: 208000 | #Constraints: 23322
197.44/198.19 c #Conflicts: 209000 | #Constraints: 24322
197.44/198.19 c #Conflicts: 210000 | #Constraints: 25322
197.44/198.19 c #Conflicts: 211000 | #Constraints: 26322
197.44/198.19 c #Conflicts: 212000 | #Constraints: 27322
197.44/198.19 c #Conflicts: 213000 | #Constraints: 28322
197.44/198.19 c #Conflicts: 214000 | #Constraints: 29322
197.44/198.19 c #Conflicts: 215000 | #Constraints: 30322
197.44/198.19 c #Conflicts: 216000 | #Constraints: 31322
197.44/198.19 c #Conflicts: 217000 | #Constraints: 32322
197.44/198.19 c INPROCESSING
197.44/198.19 c GARBAGE COLLECT
197.44/198.19 c rational objective 92.8039
298.62/299.60 c #Conflicts: 218000 | #Constraints: 20340
298.62/299.60 c #Conflicts: 219000 | #Constraints: 21340
298.62/299.60 c #Conflicts: 220000 | #Constraints: 22340
298.62/299.60 c #Conflicts: 221000 | #Constraints: 23340
298.62/299.60 c #Conflicts: 222000 | #Constraints: 24340
298.62/299.60 c #Conflicts: 223000 | #Constraints: 25340
298.62/299.60 c #Conflicts: 224000 | #Constraints: 26340
298.62/299.60 c #Conflicts: 225000 | #Constraints: 27340
298.62/299.60 c #Conflicts: 226000 | #Constraints: 28340
298.62/299.60 c #Conflicts: 227000 | #Constraints: 29340
298.62/299.60 c #Conflicts: 228000 | #Constraints: 30340
298.62/299.60 c INPROCESSING
298.62/299.60 c GARBAGE COLLECT
298.62/299.60 c #Conflicts: 229000 | #Constraints: 19652
298.62/299.60 c #Conflicts: 230000 | #Constraints: 20652
298.62/299.60 c #Conflicts: 231000 | #Constraints: 21652
298.62/299.60 c #Conflicts: 232000 | #Constraints: 22652
298.62/299.60 c #Conflicts: 233000 | #Constraints: 23652
298.62/299.60 c #Conflicts: 234000 | #Constraints: 24652
298.62/299.60 c #Conflicts: 235000 | #Constraints: 25652
298.62/299.60 c #Conflicts: 236000 | #Constraints: 26652
298.62/299.60 c #Conflicts: 237000 | #Constraints: 27653
298.62/299.60 c #Conflicts: 238000 | #Constraints: 28653
298.62/299.60 c INPROCESSING
298.62/299.60 c GARBAGE COLLECT
298.62/299.60 c #Conflicts: 239000 | #Constraints: 18442
298.62/299.60 c #Conflicts: 240000 | #Constraints: 19442
298.62/299.60 c #Conflicts: 241000 | #Constraints: 20442
298.62/299.60 c #Conflicts: 242000 | #Constraints: 21442
298.62/299.60 c #Conflicts: 243000 | #Constraints: 22442
298.62/299.60 c #Conflicts: 244000 | #Constraints: 23442
298.62/299.60 c #Conflicts: 245000 | #Constraints: 24442
298.62/299.60 c #Conflicts: 246000 | #Constraints: 25442
298.62/299.60 c #Conflicts: 247000 | #Constraints: 26442
298.62/299.60 c #Conflicts: 248000 | #Constraints: 27442
298.62/299.60 c #Conflicts: 249000 | #Constraints: 28442
298.62/299.60 c #Conflicts: 250000 | #Constraints: 29442
298.62/299.60 c #Conflicts: 251000 | #Constraints: 30442
298.62/299.60 c #Conflicts: 252000 | #Constraints: 31442
298.62/299.60 c #Conflicts: 253000 | #Constraints: 32442
298.62/299.60 c #Conflicts: 254000 | #Constraints: 33442
298.62/299.60 c #Conflicts: 255000 | #Constraints: 34442
298.62/299.60 c #Conflicts: 256000 | #Constraints: 35442
298.62/299.60 c #Conflicts: 257000 | #Constraints: 36442
298.62/299.60 c #Conflicts: 258000 | #Constraints: 37442
298.62/299.60 c #Conflicts: 259000 | #Constraints: 38442
298.62/299.60 c #Conflicts: 260000 | #Constraints: 39442
298.62/299.60 c #Conflicts: 261000 | #Constraints: 40442
298.62/299.60 c #Conflicts: 262000 | #Constraints: 41442
298.62/299.60 c #Conflicts: 263000 | #Constraints: 42442
298.62/299.60 c #Conflicts: 264000 | #Constraints: 43442
298.62/299.60 c #Conflicts: 265000 | #Constraints: 44442
298.62/299.60 c #Conflicts: 266000 | #Constraints: 45442
298.62/299.60 c #Conflicts: 267000 | #Constraints: 46442
298.62/299.60 c #Conflicts: 268000 | #Constraints: 47442
298.62/299.60 c #Conflicts: 269000 | #Constraints: 48442
298.62/299.60 c #Conflicts: 270000 | #Constraints: 49442
298.62/299.60 c #Conflicts: 271000 | #Constraints: 50442
298.62/299.60 c #Conflicts: 272000 | #Constraints: 51442
298.62/299.60 c #Conflicts: 273000 | #Constraints: 52442
298.62/299.60 c #Conflicts: 274000 | #Constraints: 53442
298.62/299.60 c #Conflicts: 275000 | #Constraints: 54442
298.62/299.60 c #Conflicts: 276000 | #Constraints: 55442
298.62/299.60 c #Conflicts: 277000 | #Constraints: 56442
298.62/299.60 c #Conflicts: 278000 | #Constraints: 57442
298.62/299.60 c INPROCESSING
298.62/299.60 c GARBAGE COLLECT
298.62/299.60 c #Conflicts: 279000 | #Constraints: 33043
298.62/299.60 c #Conflicts: 280000 | #Constraints: 34043
298.62/299.60 c #Conflicts: 281000 | #Constraints: 35043
298.62/299.60 c #Conflicts: 282000 | #Constraints: 36043
298.62/299.60 c #Conflicts: 283000 | #Constraints: 37043
298.62/299.60 c #Conflicts: 284000 | #Constraints: 38043
298.62/299.60 c #Conflicts: 285000 | #Constraints: 39043
298.62/299.60 c #Conflicts: 286000 | #Constraints: 40043
298.62/299.60 c #Conflicts: 287000 | #Constraints: 41043
298.62/299.60 c #Conflicts: 288000 | #Constraints: 42043
298.62/299.60 c #Conflicts: 289000 | #Constraints: 43043
298.62/299.60 c #Conflicts: 290000 | #Constraints: 44043
298.62/299.60 c INPROCESSING
298.62/299.60 c GARBAGE COLLECT
298.62/299.60 c #Conflicts: 291000 | #Constraints: 26272
298.62/299.60 c #Conflicts: 292000 | #Constraints: 27272
298.62/299.60 c #Conflicts: 293000 | #Constraints: 28272
298.62/299.60 c #Conflicts: 294000 | #Constraints: 29272
391.73/393.01 c #Conflicts: 295000 | #Constraints: 30272
391.73/393.01 c #Conflicts: 296000 | #Constraints: 31272
391.73/393.01 c #Conflicts: 297000 | #Constraints: 32272
391.73/393.01 c #Conflicts: 298000 | #Constraints: 33272
391.73/393.01 c #Conflicts: 299000 | #Constraints: 34272
391.73/393.01 c #Conflicts: 300000 | #Constraints: 35272
391.73/393.01 c #Conflicts: 301000 | #Constraints: 36272
391.73/393.01 c #Conflicts: 302000 | #Constraints: 37272
391.73/393.01 c INPROCESSING
391.73/393.01 c GARBAGE COLLECT
391.73/393.01 c #Conflicts: 303000 | #Constraints: 22773
391.73/393.01 c #Conflicts: 304000 | #Constraints: 23773
391.73/393.01 c #Conflicts: 305000 | #Constraints: 24773
391.73/393.01 c #Conflicts: 306000 | #Constraints: 25773
391.73/393.01 c #Conflicts: 307000 | #Constraints: 26773
391.73/393.01 c #Conflicts: 308000 | #Constraints: 27773
391.73/393.01 c #Conflicts: 309000 | #Constraints: 28773
391.73/393.01 c #Conflicts: 310000 | #Constraints: 29773
391.73/393.01 c #Conflicts: 311000 | #Constraints: 30773
391.73/393.01 c #Conflicts: 312000 | #Constraints: 31773
391.73/393.01 c #Conflicts: 313000 | #Constraints: 32773
391.73/393.01 c #Conflicts: 314000 | #Constraints: 33773
391.73/393.01 c #Conflicts: 315000 | #Constraints: 34773
391.73/393.01 c INPROCESSING
391.73/393.01 c GARBAGE COLLECT
391.73/393.01 c #Conflicts: 316000 | #Constraints: 21855
391.73/393.01 c #Conflicts: 317000 | #Constraints: 22855
391.73/393.01 c #Conflicts: 318000 | #Constraints: 23855
391.73/393.01 c #Conflicts: 319000 | #Constraints: 24855
391.73/393.01 c #Conflicts: 320000 | #Constraints: 25855
391.73/393.01 c #Conflicts: 321000 | #Constraints: 26855
391.73/393.01 c #Conflicts: 322000 | #Constraints: 27855
391.73/393.01 c #Conflicts: 323000 | #Constraints: 28855
391.73/393.01 c #Conflicts: 324000 | #Constraints: 29855
391.73/393.01 c #Conflicts: 325000 | #Constraints: 30855
391.73/393.01 c #Conflicts: 326000 | #Constraints: 31855
391.73/393.01 c #Conflicts: 327000 | #Constraints: 32855
391.73/393.01 c INPROCESSING
391.73/393.01 c GARBAGE COLLECT
391.73/393.01 c #Conflicts: 328000 | #Constraints: 20625
391.73/393.01 c #Conflicts: 329000 | #Constraints: 21625
391.73/393.01 c #Conflicts: 330000 | #Constraints: 22625
391.73/393.01 c #Conflicts: 331000 | #Constraints: 23625
391.73/393.01 c #Conflicts: 332000 | #Constraints: 24625
391.73/393.01 c #Conflicts: 333000 | #Constraints: 25625
391.73/393.01 c #Conflicts: 334000 | #Constraints: 26625
391.73/393.01 c #Conflicts: 335000 | #Constraints: 27625
391.73/393.01 c #Conflicts: 336000 | #Constraints: 28625
391.73/393.01 c #Conflicts: 337000 | #Constraints: 29625
391.73/393.01 c #Conflicts: 338000 | #Constraints: 30625
391.73/393.01 c #Conflicts: 339000 | #Constraints: 31625
391.73/393.01 c #Conflicts: 340000 | #Constraints: 32625
391.73/393.01 c #Conflicts: 341000 | #Constraints: 33625
391.73/393.01 c #Conflicts: 342000 | #Constraints: 34625
391.73/393.01 c #Conflicts: 343000 | #Constraints: 35625
391.73/393.01 c #Conflicts: 344000 | #Constraints: 36625
391.73/393.01 c #Conflicts: 345000 | #Constraints: 37625
391.73/393.01 c #Conflicts: 346000 | #Constraints: 38625
391.73/393.01 c #Conflicts: 347000 | #Constraints: 39625
391.73/393.01 c #Conflicts: 348000 | #Constraints: 40625
391.73/393.01 c #Conflicts: 349000 | #Constraints: 41625
391.73/393.01 c #Conflicts: 350000 | #Constraints: 42625
391.73/393.01 c #Conflicts: 351000 | #Constraints: 43625
391.73/393.01 c #Conflicts: 352000 | #Constraints: 44625
391.73/393.01 c #Conflicts: 353000 | #Constraints: 45625
391.73/393.01 c #Conflicts: 354000 | #Constraints: 46625
391.73/393.01 c #Conflicts: 355000 | #Constraints: 47625
391.73/393.01 c #Conflicts: 356000 | #Constraints: 48625
391.73/393.01 c #Conflicts: 357000 | #Constraints: 49625
391.73/393.01 c #Conflicts: 358000 | #Constraints: 50625
391.73/393.01 c #Conflicts: 359000 | #Constraints: 51625
391.73/393.01 c #Conflicts: 360000 | #Constraints: 52625
391.73/393.01 c #Conflicts: 361000 | #Constraints: 53625
391.73/393.01 c #Conflicts: 362000 | #Constraints: 54625
391.73/393.01 c #Conflicts: 363000 | #Constraints: 55625
391.73/393.01 c #Conflicts: 364000 | #Constraints: 56625
391.73/393.01 c #Conflicts: 365000 | #Constraints: 57625
391.73/393.01 c #Conflicts: 366000 | #Constraints: 58625
391.73/393.01 c #Conflicts: 367000 | #Constraints: 59625
391.73/393.01 c #Conflicts: 368000 | #Constraints: 60625
391.73/393.01 c #Conflicts: 369000 | #Constraints: 61625
391.73/393.01 c #Conflicts: 370000 | #Constraints: 62625
391.73/393.01 c #Conflicts: 371000 | #Constraints: 63625
451.83/453.30 c #Conflicts: 372000 | #Constraints: 64625
451.83/453.30 c #Conflicts: 373000 | #Constraints: 65625
451.83/453.30 c INPROCESSING
451.83/453.30 c GARBAGE COLLECT
451.83/453.30 c #Conflicts: 374000 | #Constraints: 36990
451.83/453.30 c #Conflicts: 375000 | #Constraints: 37990
451.83/453.30 c #Conflicts: 376000 | #Constraints: 38990
451.83/453.30 c #Conflicts: 377000 | #Constraints: 39990
451.83/453.30 c #Conflicts: 378000 | #Constraints: 40990
451.83/453.30 c #Conflicts: 379000 | #Constraints: 41990
451.83/453.30 c #Conflicts: 380000 | #Constraints: 42990
451.83/453.30 c #Conflicts: 381000 | #Constraints: 43990
451.83/453.30 c #Conflicts: 382000 | #Constraints: 44990
451.83/453.30 c #Conflicts: 383000 | #Constraints: 45990
451.83/453.30 c #Conflicts: 384000 | #Constraints: 46990
451.83/453.30 c #Conflicts: 385000 | #Constraints: 47990
451.83/453.30 c #Conflicts: 386000 | #Constraints: 48990
451.83/453.30 c #Conflicts: 387000 | #Constraints: 49990
451.83/453.30 c INPROCESSING
451.83/453.30 c GARBAGE COLLECT
451.83/453.30 c #Conflicts: 388000 | #Constraints: 29093
451.83/453.30 c #Conflicts: 389000 | #Constraints: 30093
451.83/453.30 c #Conflicts: 390000 | #Constraints: 31093
451.83/453.30 c #Conflicts: 391000 | #Constraints: 32093
451.83/453.30 c #Conflicts: 392000 | #Constraints: 33093
451.83/453.30 c #Conflicts: 393000 | #Constraints: 34093
451.83/453.30 c #Conflicts: 394000 | #Constraints: 35093
451.83/453.30 c #Conflicts: 395000 | #Constraints: 36093
451.83/453.30 c #Conflicts: 396000 | #Constraints: 37093
451.83/453.30 c #Conflicts: 397000 | #Constraints: 38093
451.83/453.30 c #Conflicts: 398000 | #Constraints: 39093
451.83/453.30 c #Conflicts: 399000 | #Constraints: 40093
451.83/453.30 c #Conflicts: 400000 | #Constraints: 41093
451.83/453.30 c #Conflicts: 401000 | #Constraints: 42093
451.83/453.30 c INPROCESSING
451.83/453.30 c GARBAGE COLLECT
451.83/453.30 c rational objective 96.008
578.04/579.95 c #Conflicts: 402000 | #Constraints: 25115
578.04/579.95 c #Conflicts: 403000 | #Constraints: 26115
578.04/579.95 c #Conflicts: 404000 | #Constraints: 27115
578.04/579.95 c #Conflicts: 405000 | #Constraints: 28115
578.04/579.95 c #Conflicts: 406000 | #Constraints: 29115
578.04/579.95 c #Conflicts: 407000 | #Constraints: 30115
578.04/579.95 c #Conflicts: 408000 | #Constraints: 31115
578.04/579.95 c #Conflicts: 409000 | #Constraints: 32115
578.04/579.95 c #Conflicts: 410000 | #Constraints: 33115
578.04/579.95 c #Conflicts: 411000 | #Constraints: 34115
578.04/579.95 c #Conflicts: 412000 | #Constraints: 35115
578.04/579.95 c #Conflicts: 413000 | #Constraints: 36115
578.04/579.95 c #Conflicts: 414000 | #Constraints: 37115
578.04/579.95 c #Conflicts: 415000 | #Constraints: 38115
578.04/579.95 c #Conflicts: 416000 | #Constraints: 39115
578.04/579.95 c INPROCESSING
578.04/579.95 c GARBAGE COLLECT
578.04/579.95 c #Conflicts: 417000 | #Constraints: 24068
578.04/579.95 c #Conflicts: 418000 | #Constraints: 25068
578.04/579.95 c #Conflicts: 419000 | #Constraints: 26068
578.04/579.95 c #Conflicts: 420000 | #Constraints: 27068
578.04/579.95 c #Conflicts: 421000 | #Constraints: 28068
578.04/579.95 c #Conflicts: 422000 | #Constraints: 29068
578.04/579.95 c #Conflicts: 423000 | #Constraints: 30068
578.04/579.95 c #Conflicts: 424000 | #Constraints: 31068
578.04/579.95 c #Conflicts: 425000 | #Constraints: 32068
578.04/579.95 c #Conflicts: 426000 | #Constraints: 33068
578.04/579.95 c #Conflicts: 427000 | #Constraints: 34068
578.04/579.95 c #Conflicts: 428000 | #Constraints: 35068
578.04/579.95 c #Conflicts: 429000 | #Constraints: 36068
578.04/579.95 c #Conflicts: 430000 | #Constraints: 37068
578.04/579.95 c INPROCESSING
578.04/579.95 c GARBAGE COLLECT
578.04/579.95 c #Conflicts: 431000 | #Constraints: 22756
578.04/579.95 c #Conflicts: 432000 | #Constraints: 23756
578.04/579.95 c #Conflicts: 433000 | #Constraints: 24756
578.04/579.95 c #Conflicts: 434000 | #Constraints: 25756
578.04/579.95 c #Conflicts: 435000 | #Constraints: 26756
578.04/579.95 c #Conflicts: 436000 | #Constraints: 27756
578.04/579.95 c #Conflicts: 437000 | #Constraints: 28756
578.04/579.95 c #Conflicts: 438000 | #Constraints: 29756
578.04/579.95 c #Conflicts: 439000 | #Constraints: 30756
578.04/579.95 c #Conflicts: 440000 | #Constraints: 31756
578.04/579.95 c #Conflicts: 441000 | #Constraints: 32756
578.04/579.95 c #Conflicts: 442000 | #Constraints: 33756
578.04/579.95 c #Conflicts: 443000 | #Constraints: 34756
578.04/579.95 c #Conflicts: 444000 | #Constraints: 35756
578.04/579.95 c #Conflicts: 445000 | #Constraints: 36756
578.04/579.95 c #Conflicts: 446000 | #Constraints: 37756
578.04/579.95 c #Conflicts: 447000 | #Constraints: 38756
578.04/579.95 c #Conflicts: 448000 | #Constraints: 39756
578.04/579.95 c #Conflicts: 449000 | #Constraints: 40756
578.04/579.95 c #Conflicts: 450000 | #Constraints: 41756
578.04/579.95 c #Conflicts: 451000 | #Constraints: 42756
578.04/579.95 c #Conflicts: 452000 | #Constraints: 43756
578.04/579.95 c #Conflicts: 453000 | #Constraints: 44756
578.04/579.95 c #Conflicts: 454000 | #Constraints: 45756
578.04/579.95 c #Conflicts: 455000 | #Constraints: 46756
578.04/579.95 c #Conflicts: 456000 | #Constraints: 47756
578.04/579.95 c #Conflicts: 457000 | #Constraints: 48756
578.04/579.95 c #Conflicts: 458000 | #Constraints: 49756
578.04/579.95 c #Conflicts: 459000 | #Constraints: 50756
578.04/579.95 c #Conflicts: 460000 | #Constraints: 51756
578.04/579.95 c #Conflicts: 461000 | #Constraints: 52756
578.04/579.95 c #Conflicts: 462000 | #Constraints: 53756
578.04/579.95 c #Conflicts: 463000 | #Constraints: 54756
578.04/579.95 c #Conflicts: 464000 | #Constraints: 55756
578.04/579.95 c #Conflicts: 465000 | #Constraints: 56756
578.04/579.95 c #Conflicts: 466000 | #Constraints: 57756
578.04/579.95 c #Conflicts: 467000 | #Constraints: 58756
578.04/579.95 c #Conflicts: 468000 | #Constraints: 59756
578.04/579.95 c #Conflicts: 469000 | #Constraints: 60756
578.04/579.95 c #Conflicts: 470000 | #Constraints: 61756
578.04/579.95 c #Conflicts: 471000 | #Constraints: 62756
578.04/579.95 c #Conflicts: 472000 | #Constraints: 63756
578.04/579.95 c #Conflicts: 473000 | #Constraints: 64756
578.04/579.95 c #Conflicts: 474000 | #Constraints: 65756
578.04/579.95 c #Conflicts: 475000 | #Constraints: 66756
578.04/579.95 c #Conflicts: 476000 | #Constraints: 67756
578.04/579.95 c #Conflicts: 477000 | #Constraints: 68756
578.04/579.95 c #Conflicts: 478000 | #Constraints: 69756
578.04/579.95 c #Conflicts: 479000 | #Constraints: 70756
682.05/684.20 c #Conflicts: 480000 | #Constraints: 71756
682.05/684.20 c #Conflicts: 481000 | #Constraints: 72756
682.05/684.20 c #Conflicts: 482000 | #Constraints: 73756
682.05/684.20 c #Conflicts: 483000 | #Constraints: 74756
682.05/684.20 c INPROCESSING
682.05/684.20 c GARBAGE COLLECT
682.05/684.20 c #Conflicts: 484000 | #Constraints: 41935
682.05/684.20 c #Conflicts: 485000 | #Constraints: 42935
682.05/684.20 c #Conflicts: 486000 | #Constraints: 43935
682.05/684.20 c #Conflicts: 487000 | #Constraints: 44935
682.05/684.20 c #Conflicts: 488000 | #Constraints: 45935
682.05/684.20 c #Conflicts: 489000 | #Constraints: 46935
682.05/684.20 c #Conflicts: 490000 | #Constraints: 47935
682.05/684.20 c #Conflicts: 491000 | #Constraints: 48935
682.05/684.20 c #Conflicts: 492000 | #Constraints: 49935
682.05/684.20 c #Conflicts: 493000 | #Constraints: 50935
682.05/684.20 c #Conflicts: 494000 | #Constraints: 51935
682.05/684.20 c #Conflicts: 495000 | #Constraints: 52935
682.05/684.20 c #Conflicts: 496000 | #Constraints: 53935
682.05/684.20 c #Conflicts: 497000 | #Constraints: 54935
682.05/684.20 c #Conflicts: 498000 | #Constraints: 55935
682.05/684.20 c INPROCESSING
682.05/684.20 c GARBAGE COLLECT
682.05/684.20 c #Conflicts: 499000 | #Constraints: 32097
682.05/684.20 c #Conflicts: 500000 | #Constraints: 33097
682.05/684.20 c #Conflicts: 501000 | #Constraints: 34097
682.05/684.20 c #Conflicts: 502000 | #Constraints: 35098
682.05/684.20 c #Conflicts: 503000 | #Constraints: 36098
682.05/684.20 c #Conflicts: 504000 | #Constraints: 37098
682.05/684.20 c #Conflicts: 505000 | #Constraints: 38098
682.05/684.20 c #Conflicts: 506000 | #Constraints: 39098
682.05/684.20 c #Conflicts: 507000 | #Constraints: 40098
682.05/684.20 c #Conflicts: 508000 | #Constraints: 41098
682.05/684.20 c #Conflicts: 509000 | #Constraints: 42098
682.05/684.20 c #Conflicts: 510000 | #Constraints: 43098
682.05/684.20 c #Conflicts: 511000 | #Constraints: 44098
682.05/684.20 c #Conflicts: 512000 | #Constraints: 45098
682.05/684.20 c #Conflicts: 513000 | #Constraints: 46098
682.05/684.20 c #Conflicts: 514000 | #Constraints: 47098
682.05/684.20 c INPROCESSING
682.05/684.20 c GARBAGE COLLECT
682.05/684.20 c #Conflicts: 515000 | #Constraints: 27625
682.05/684.20 c #Conflicts: 516000 | #Constraints: 28625
682.05/684.20 c #Conflicts: 517000 | #Constraints: 29625
682.05/684.20 c #Conflicts: 518000 | #Constraints: 30625
682.05/684.20 c #Conflicts: 519000 | #Constraints: 31625
682.05/684.20 c #Conflicts: 520000 | #Constraints: 32625
682.05/684.20 c #Conflicts: 521000 | #Constraints: 33625
682.05/684.20 c #Conflicts: 522000 | #Constraints: 34625
682.05/684.20 c #Conflicts: 523000 | #Constraints: 35625
682.05/684.20 c #Conflicts: 524000 | #Constraints: 36625
682.05/684.20 c #Conflicts: 525000 | #Constraints: 37625
682.05/684.20 c #Conflicts: 526000 | #Constraints: 38625
682.05/684.20 c #Conflicts: 527000 | #Constraints: 39625
682.05/684.20 c #Conflicts: 528000 | #Constraints: 40625
682.05/684.20 c #Conflicts: 529000 | #Constraints: 41625
682.05/684.20 c #Conflicts: 530000 | #Constraints: 42625
682.05/684.20 c #Conflicts: 531000 | #Constraints: 43625
682.05/684.20 c INPROCESSING
682.05/684.20 c GARBAGE COLLECT
682.05/684.20 c #Conflicts: 532000 | #Constraints: 26351
682.05/684.20 c #Conflicts: 533000 | #Constraints: 27351
682.05/684.20 c #Conflicts: 534000 | #Constraints: 28351
682.05/684.20 c #Conflicts: 535000 | #Constraints: 29351
682.05/684.20 c #Conflicts: 536000 | #Constraints: 30351
682.05/684.20 c #Conflicts: 537000 | #Constraints: 31352
682.05/684.20 c #Conflicts: 538000 | #Constraints: 32352
682.05/684.20 c #Conflicts: 539000 | #Constraints: 33352
682.05/684.20 c #Conflicts: 540000 | #Constraints: 34352
682.05/684.20 c #Conflicts: 541000 | #Constraints: 35352
682.05/684.20 c #Conflicts: 542000 | #Constraints: 36352
682.05/684.20 c #Conflicts: 543000 | #Constraints: 37352
682.05/684.20 c #Conflicts: 544000 | #Constraints: 38352
682.05/684.20 c #Conflicts: 545000 | #Constraints: 39352
682.05/684.20 c #Conflicts: 546000 | #Constraints: 40352
682.05/684.20 c #Conflicts: 547000 | #Constraints: 41352
682.05/684.20 c INPROCESSING
682.05/684.20 c GARBAGE COLLECT
682.05/684.20 c #Conflicts: 548000 | #Constraints: 25040
682.05/684.20 c #Conflicts: 549000 | #Constraints: 26040
682.05/684.20 c #Conflicts: 550000 | #Constraints: 27040
682.05/684.20 c #Conflicts: 551000 | #Constraints: 28040
682.05/684.20 c #Conflicts: 552000 | #Constraints: 29040
682.05/684.20 c #Conflicts: 553000 | #Constraints: 30040
682.05/684.20 c #Conflicts: 554000 | #Constraints: 31040
682.05/684.20 c #Conflicts: 555000 | #Constraints: 32040
825.07/827.67 c #Conflicts: 556000 | #Constraints: 33040
825.07/827.67 c #Conflicts: 557000 | #Constraints: 34040
825.07/827.67 c #Conflicts: 558000 | #Constraints: 35040
825.07/827.67 c #Conflicts: 559000 | #Constraints: 36040
825.07/827.67 c #Conflicts: 560000 | #Constraints: 37040
825.07/827.67 c #Conflicts: 561000 | #Constraints: 38040
825.07/827.67 c #Conflicts: 562000 | #Constraints: 39040
825.07/827.67 c #Conflicts: 563000 | #Constraints: 40040
825.07/827.67 c #Conflicts: 564000 | #Constraints: 41040
825.07/827.67 c INPROCESSING
825.07/827.67 c GARBAGE COLLECT
825.07/827.67 c #Conflicts: 565000 | #Constraints: 25011
825.07/827.67 c #Conflicts: 566000 | #Constraints: 26011
825.07/827.67 c #Conflicts: 567000 | #Constraints: 27011
825.07/827.67 c #Conflicts: 568000 | #Constraints: 28011
825.07/827.67 c #Conflicts: 569000 | #Constraints: 29011
825.07/827.67 c #Conflicts: 570000 | #Constraints: 30011
825.07/827.67 c #Conflicts: 571000 | #Constraints: 31011
825.07/827.67 c #Conflicts: 572000 | #Constraints: 32011
825.07/827.67 c #Conflicts: 573000 | #Constraints: 33011
825.07/827.67 c #Conflicts: 574000 | #Constraints: 34011
825.07/827.67 c #Conflicts: 575000 | #Constraints: 35011
825.07/827.67 c #Conflicts: 576000 | #Constraints: 36011
825.07/827.67 c #Conflicts: 577000 | #Constraints: 37011
825.07/827.67 c #Conflicts: 578000 | #Constraints: 38011
825.07/827.67 c #Conflicts: 579000 | #Constraints: 39011
825.07/827.67 c #Conflicts: 580000 | #Constraints: 40011
825.07/827.67 c #Conflicts: 581000 | #Constraints: 41011
825.07/827.67 c #Conflicts: 582000 | #Constraints: 42011
825.07/827.67 c #Conflicts: 583000 | #Constraints: 43011
825.07/827.67 c #Conflicts: 584000 | #Constraints: 44011
825.07/827.67 c #Conflicts: 585000 | #Constraints: 45011
825.07/827.67 c #Conflicts: 586000 | #Constraints: 46011
825.07/827.67 c #Conflicts: 587000 | #Constraints: 47011
825.07/827.67 c #Conflicts: 588000 | #Constraints: 48011
825.07/827.67 c #Conflicts: 589000 | #Constraints: 49011
825.07/827.67 c #Conflicts: 590000 | #Constraints: 50011
825.07/827.67 c #Conflicts: 591000 | #Constraints: 51011
825.07/827.67 c #Conflicts: 592000 | #Constraints: 52011
825.07/827.67 c #Conflicts: 593000 | #Constraints: 53011
825.07/827.67 c #Conflicts: 594000 | #Constraints: 54011
825.07/827.67 c #Conflicts: 595000 | #Constraints: 55011
825.07/827.67 c #Conflicts: 596000 | #Constraints: 56011
825.07/827.67 c #Conflicts: 597000 | #Constraints: 57011
825.07/827.67 c #Conflicts: 598000 | #Constraints: 58011
825.07/827.67 c #Conflicts: 599000 | #Constraints: 59011
825.07/827.67 c #Conflicts: 600000 | #Constraints: 60011
825.07/827.67 c #Conflicts: 601000 | #Constraints: 61011
825.07/827.67 c #Conflicts: 602000 | #Constraints: 62011
825.07/827.67 c #Conflicts: 603000 | #Constraints: 63011
825.07/827.67 c #Conflicts: 604000 | #Constraints: 64011
825.07/827.67 c #Conflicts: 605000 | #Constraints: 65011
825.07/827.67 c #Conflicts: 606000 | #Constraints: 66011
825.07/827.67 c #Conflicts: 607000 | #Constraints: 67011
825.07/827.67 c #Conflicts: 608000 | #Constraints: 68011
825.07/827.67 c #Conflicts: 609000 | #Constraints: 69011
825.07/827.67 c #Conflicts: 610000 | #Constraints: 70011
825.07/827.67 c #Conflicts: 611000 | #Constraints: 71011
825.07/827.67 c #Conflicts: 612000 | #Constraints: 72011
825.07/827.67 c #Conflicts: 613000 | #Constraints: 73011
825.07/827.67 c #Conflicts: 614000 | #Constraints: 74011
825.07/827.67 c #Conflicts: 615000 | #Constraints: 75011
825.07/827.67 c #Conflicts: 616000 | #Constraints: 76011
825.07/827.67 c #Conflicts: 617000 | #Constraints: 77011
825.07/827.67 c #Conflicts: 618000 | #Constraints: 78011
825.07/827.67 c #Conflicts: 619000 | #Constraints: 79011
825.07/827.67 c #Conflicts: 620000 | #Constraints: 80011
825.07/827.67 c #Conflicts: 621000 | #Constraints: 81011
825.07/827.67 c #Conflicts: 622000 | #Constraints: 82011
825.07/827.67 c #Conflicts: 623000 | #Constraints: 83011
825.07/827.67 c #Conflicts: 624000 | #Constraints: 84011
825.07/827.67 c INPROCESSING
825.07/827.67 c GARBAGE COLLECT
825.07/827.67 c #Conflicts: 625000 | #Constraints: 46541
825.07/827.67 c #Conflicts: 626000 | #Constraints: 47541
825.07/827.67 c #Conflicts: 627000 | #Constraints: 48541
825.07/827.67 c #Conflicts: 628000 | #Constraints: 49541
825.07/827.67 c #Conflicts: 629000 | #Constraints: 50541
825.07/827.67 c #Conflicts: 630000 | #Constraints: 51541
825.07/827.67 c #Conflicts: 631000 | #Constraints: 52541
825.07/827.67 c #Conflicts: 632000 | #Constraints: 53541
855.10/857.72 c #Conflicts: 633000 | #Constraints: 54541
855.10/857.72 c #Conflicts: 634000 | #Constraints: 55541
855.10/857.72 c #Conflicts: 635000 | #Constraints: 56541
855.10/857.72 c #Conflicts: 636000 | #Constraints: 57541
855.10/857.72 c #Conflicts: 637000 | #Constraints: 58541
855.10/857.72 c #Conflicts: 638000 | #Constraints: 59541
855.10/857.72 c #Conflicts: 639000 | #Constraints: 60541
855.10/857.72 c #Conflicts: 640000 | #Constraints: 61541
855.10/857.72 c #Conflicts: 641000 | #Constraints: 62541
855.10/857.72 c INPROCESSING
855.10/857.72 c GARBAGE COLLECT
855.10/857.72 c rational objective 96.0317
942.66/945.59 c #Conflicts: 642000 | #Constraints: 35329
942.66/945.59 c #Conflicts: 643000 | #Constraints: 36329
942.66/945.59 c #Conflicts: 644000 | #Constraints: 37329
942.66/945.59 c #Conflicts: 645000 | #Constraints: 38329
942.66/945.59 c #Conflicts: 646000 | #Constraints: 39329
942.66/945.59 c #Conflicts: 647000 | #Constraints: 40329
942.66/945.59 c #Conflicts: 648000 | #Constraints: 41329
942.66/945.59 c #Conflicts: 649000 | #Constraints: 42329
942.66/945.59 c #Conflicts: 650000 | #Constraints: 43329
942.66/945.59 c #Conflicts: 651000 | #Constraints: 44329
942.66/945.59 c #Conflicts: 652000 | #Constraints: 45329
942.66/945.59 c #Conflicts: 653000 | #Constraints: 46329
942.66/945.59 c #Conflicts: 654000 | #Constraints: 47329
942.66/945.59 c #Conflicts: 655000 | #Constraints: 48329
942.66/945.59 c #Conflicts: 656000 | #Constraints: 49329
942.66/945.59 c #Conflicts: 657000 | #Constraints: 50329
942.66/945.59 c #Conflicts: 658000 | #Constraints: 51329
942.66/945.59 c #Conflicts: 659000 | #Constraints: 52329
942.66/945.59 c #Conflicts: 660000 | #Constraints: 53329
942.66/945.59 c INPROCESSING
942.66/945.59 c GARBAGE COLLECT
942.66/945.59 c #Conflicts: 661000 | #Constraints: 31132
942.66/945.59 c #Conflicts: 662000 | #Constraints: 32132
942.66/945.59 c #Conflicts: 663000 | #Constraints: 33132
942.66/945.59 c #Conflicts: 664000 | #Constraints: 34132
942.66/945.59 c #Conflicts: 665000 | #Constraints: 35132
942.66/945.59 c #Conflicts: 666000 | #Constraints: 36132
942.66/945.59 c #Conflicts: 667000 | #Constraints: 37132
942.66/945.59 c #Conflicts: 668000 | #Constraints: 38132
942.66/945.59 c #Conflicts: 669000 | #Constraints: 39132
942.66/945.59 c #Conflicts: 670000 | #Constraints: 40132
942.66/945.59 c #Conflicts: 671000 | #Constraints: 41132
942.66/945.59 c #Conflicts: 672000 | #Constraints: 42132
942.66/945.59 c #Conflicts: 673000 | #Constraints: 43132
942.66/945.59 c #Conflicts: 674000 | #Constraints: 44132
942.66/945.59 c #Conflicts: 675000 | #Constraints: 45132
942.66/945.59 c #Conflicts: 676000 | #Constraints: 46132
942.66/945.59 c #Conflicts: 677000 | #Constraints: 47132
942.66/945.59 c #Conflicts: 678000 | #Constraints: 48132
942.66/945.59 c INPROCESSING
942.66/945.59 c GARBAGE COLLECT
942.66/945.59 c #Conflicts: 679000 | #Constraints: 28478
942.66/945.59 c #Conflicts: 680000 | #Constraints: 29478
942.66/945.59 c #Conflicts: 681000 | #Constraints: 30478
942.66/945.59 c #Conflicts: 682000 | #Constraints: 31478
942.66/945.59 c #Conflicts: 683000 | #Constraints: 32478
942.66/945.59 c #Conflicts: 684000 | #Constraints: 33478
942.66/945.59 c #Conflicts: 685000 | #Constraints: 34478
942.66/945.59 c #Conflicts: 686000 | #Constraints: 35478
942.66/945.59 c #Conflicts: 687000 | #Constraints: 36478
942.66/945.59 c #Conflicts: 688000 | #Constraints: 37478
942.66/945.59 c #Conflicts: 689000 | #Constraints: 38478
942.66/945.59 c #Conflicts: 690000 | #Constraints: 39478
942.66/945.59 c #Conflicts: 691000 | #Constraints: 40478
942.66/945.59 c #Conflicts: 692000 | #Constraints: 41478
942.66/945.59 c #Conflicts: 693000 | #Constraints: 42478
942.66/945.59 c #Conflicts: 694000 | #Constraints: 43478
942.66/945.59 c #Conflicts: 695000 | #Constraints: 44478
942.66/945.59 c #Conflicts: 696000 | #Constraints: 45478
942.66/945.59 c INPROCESSING
942.66/945.59 c GARBAGE COLLECT
942.66/945.59 c #Conflicts: 697000 | #Constraints: 26879
942.66/945.59 c #Conflicts: 698000 | #Constraints: 27879
942.66/945.59 c #Conflicts: 699000 | #Constraints: 28879
942.66/945.59 c #Conflicts: 700000 | #Constraints: 29879
942.66/945.59 c #Conflicts: 701000 | #Constraints: 30879
942.66/945.59 c #Conflicts: 702000 | #Constraints: 31879
942.66/945.59 c #Conflicts: 703000 | #Constraints: 32879
942.66/945.59 c #Conflicts: 704000 | #Constraints: 33879
942.66/945.59 c #Conflicts: 705000 | #Constraints: 34879
942.66/945.59 c #Conflicts: 706000 | #Constraints: 35879
942.66/945.59 c #Conflicts: 707000 | #Constraints: 36879
942.66/945.59 c #Conflicts: 708000 | #Constraints: 37879
942.66/945.59 c #Conflicts: 709000 | #Constraints: 38879
942.66/945.59 c #Conflicts: 710000 | #Constraints: 39879
942.66/945.59 c #Conflicts: 711000 | #Constraints: 40879
942.66/945.59 c #Conflicts: 712000 | #Constraints: 41879
942.66/945.59 c #Conflicts: 713000 | #Constraints: 42879
942.66/945.59 c #Conflicts: 714000 | #Constraints: 43879
942.66/945.59 c #Conflicts: 715000 | #Constraints: 44879
942.66/945.59 c INPROCESSING
942.66/945.59 c GARBAGE COLLECT
942.66/945.59 c #Conflicts: 716000 | #Constraints: 26790
942.66/945.59 c #Conflicts: 717000 | #Constraints: 27790
942.66/945.59 c #Conflicts: 718000 | #Constraints: 28790
1222.60/1226.22 c #Conflicts: 719000 | #Constraints: 29790
1222.60/1226.22 c #Conflicts: 720000 | #Constraints: 30790
1222.60/1226.22 c #Conflicts: 721000 | #Constraints: 31790
1222.60/1226.22 c #Conflicts: 722000 | #Constraints: 32790
1222.60/1226.22 c #Conflicts: 723000 | #Constraints: 33790
1222.60/1226.22 c #Conflicts: 724000 | #Constraints: 34790
1222.60/1226.22 c #Conflicts: 725000 | #Constraints: 35790
1222.60/1226.22 c #Conflicts: 726000 | #Constraints: 36790
1222.60/1226.22 c #Conflicts: 727000 | #Constraints: 37790
1222.60/1226.22 c #Conflicts: 728000 | #Constraints: 38790
1222.60/1226.22 c #Conflicts: 729000 | #Constraints: 39790
1222.60/1226.22 c #Conflicts: 730000 | #Constraints: 40790
1222.60/1226.22 c #Conflicts: 731000 | #Constraints: 41790
1222.60/1226.22 c #Conflicts: 732000 | #Constraints: 42790
1222.60/1226.22 c #Conflicts: 733000 | #Constraints: 43790
1222.60/1226.22 c #Conflicts: 734000 | #Constraints: 44790
1222.60/1226.22 c #Conflicts: 735000 | #Constraints: 45790
1222.60/1226.22 c #Conflicts: 736000 | #Constraints: 46790
1222.60/1226.22 c #Conflicts: 737000 | #Constraints: 47790
1222.60/1226.23 c #Conflicts: 738000 | #Constraints: 48790
1222.60/1226.23 c #Conflicts: 739000 | #Constraints: 49790
1222.60/1226.23 c #Conflicts: 740000 | #Constraints: 50790
1222.60/1226.23 c #Conflicts: 741000 | #Constraints: 51790
1222.60/1226.23 c #Conflicts: 742000 | #Constraints: 52790
1222.60/1226.23 c #Conflicts: 743000 | #Constraints: 53790
1222.60/1226.23 c #Conflicts: 744000 | #Constraints: 54790
1222.60/1226.23 c #Conflicts: 745000 | #Constraints: 55790
1222.60/1226.23 c #Conflicts: 746000 | #Constraints: 56791
1222.60/1226.23 c #Conflicts: 747000 | #Constraints: 57791
1222.60/1226.23 c #Conflicts: 748000 | #Constraints: 58791
1222.60/1226.23 c #Conflicts: 749000 | #Constraints: 59791
1222.60/1226.23 c #Conflicts: 750000 | #Constraints: 60791
1222.60/1226.23 c #Conflicts: 751000 | #Constraints: 61791
1222.60/1226.23 c #Conflicts: 752000 | #Constraints: 62791
1222.60/1226.23 c #Conflicts: 753000 | #Constraints: 63791
1222.60/1226.23 c #Conflicts: 754000 | #Constraints: 64791
1222.60/1226.23 c #Conflicts: 755000 | #Constraints: 65791
1222.60/1226.23 c #Conflicts: 756000 | #Constraints: 66791
1222.60/1226.23 c #Conflicts: 757000 | #Constraints: 67791
1222.60/1226.23 c #Conflicts: 758000 | #Constraints: 68791
1222.60/1226.23 c #Conflicts: 759000 | #Constraints: 69791
1222.60/1226.23 c #Conflicts: 760000 | #Constraints: 70791
1222.60/1226.23 c #Conflicts: 761000 | #Constraints: 71791
1222.60/1226.23 c #Conflicts: 762000 | #Constraints: 72791
1222.60/1226.23 c #Conflicts: 763000 | #Constraints: 73791
1222.60/1226.23 c #Conflicts: 764000 | #Constraints: 74791
1222.60/1226.23 c #Conflicts: 765000 | #Constraints: 75791
1222.60/1226.23 c #Conflicts: 766000 | #Constraints: 76791
1222.60/1226.23 c #Conflicts: 767000 | #Constraints: 77791
1222.60/1226.23 c #Conflicts: 768000 | #Constraints: 78791
1222.60/1226.23 c #Conflicts: 769000 | #Constraints: 79791
1222.60/1226.23 c #Conflicts: 770000 | #Constraints: 80792
1222.60/1226.23 c #Conflicts: 771000 | #Constraints: 81792
1222.60/1226.23 c #Conflicts: 772000 | #Constraints: 82792
1222.60/1226.23 c #Conflicts: 773000 | #Constraints: 83792
1222.60/1226.23 c #Conflicts: 774000 | #Constraints: 84792
1222.60/1226.23 c #Conflicts: 775000 | #Constraints: 85792
1222.60/1226.23 c #Conflicts: 776000 | #Constraints: 86792
1222.60/1226.23 c #Conflicts: 777000 | #Constraints: 87792
1222.60/1226.23 c #Conflicts: 778000 | #Constraints: 88792
1222.60/1226.23 c #Conflicts: 779000 | #Constraints: 89792
1222.60/1226.23 c #Conflicts: 780000 | #Constraints: 90792
1222.60/1226.23 c #Conflicts: 781000 | #Constraints: 91792
1222.60/1226.23 c #Conflicts: 782000 | #Constraints: 92792
1222.60/1226.23 c #Conflicts: 783000 | #Constraints: 93792
1222.60/1226.23 c INPROCESSING
1222.60/1226.23 c GARBAGE COLLECT
1222.60/1226.23 c #Conflicts: 784000 | #Constraints: 51436
1222.60/1226.23 c #Conflicts: 785000 | #Constraints: 52436
1222.60/1226.23 c #Conflicts: 786000 | #Constraints: 53436
1222.60/1226.23 c #Conflicts: 787000 | #Constraints: 54436
1222.60/1226.23 c #Conflicts: 788000 | #Constraints: 55436
1222.60/1226.23 c #Conflicts: 789000 | #Constraints: 56436
1222.60/1226.23 c #Conflicts: 790000 | #Constraints: 57436
1222.60/1226.23 c #Conflicts: 791000 | #Constraints: 58436
1222.60/1226.23 c #Conflicts: 792000 | #Constraints: 59436
1222.60/1226.23 c #Conflicts: 793000 | #Constraints: 60436
1222.60/1226.23 c #Conflicts: 794000 | #Constraints: 61436
1222.60/1226.23 c #Conflicts: 795000 | #Constraints: 62436
1222.60/1226.23 c #Conflicts: 796000 | #Constraints: 63436
1315.46/1319.35 c #Conflicts: 797000 | #Constraints: 64436
1315.46/1319.35 c #Conflicts: 798000 | #Constraints: 65436
1315.46/1319.35 c #Conflicts: 799000 | #Constraints: 66436
1315.46/1319.35 c #Conflicts: 800000 | #Constraints: 67436
1315.46/1319.35 c #Conflicts: 801000 | #Constraints: 68436
1315.46/1319.35 c #Conflicts: 802000 | #Constraints: 69436
1315.46/1319.35 c #Conflicts: 803000 | #Constraints: 70436
1315.46/1319.35 c INPROCESSING
1315.46/1319.35 c GARBAGE COLLECT
1315.46/1319.35 c #Conflicts: 804000 | #Constraints: 39722
1315.46/1319.35 c #Conflicts: 805000 | #Constraints: 40722
1315.46/1319.35 c #Conflicts: 806000 | #Constraints: 41722
1315.46/1319.35 c #Conflicts: 807000 | #Constraints: 42722
1315.46/1319.35 c #Conflicts: 808000 | #Constraints: 43722
1315.46/1319.35 c #Conflicts: 809000 | #Constraints: 44722
1315.46/1319.35 c #Conflicts: 810000 | #Constraints: 45723
1315.46/1319.35 c #Conflicts: 811000 | #Constraints: 46723
1315.46/1319.35 c #Conflicts: 812000 | #Constraints: 47723
1315.46/1319.35 c #Conflicts: 813000 | #Constraints: 48723
1315.46/1319.35 c #Conflicts: 814000 | #Constraints: 49723
1315.46/1319.35 c #Conflicts: 815000 | #Constraints: 50723
1315.46/1319.35 c #Conflicts: 816000 | #Constraints: 51723
1315.46/1319.35 c #Conflicts: 817000 | #Constraints: 52723
1315.46/1319.35 c #Conflicts: 818000 | #Constraints: 53723
1315.46/1319.35 c #Conflicts: 819000 | #Constraints: 54723
1315.46/1319.35 c #Conflicts: 820000 | #Constraints: 55723
1315.46/1319.35 c #Conflicts: 821000 | #Constraints: 56723
1315.46/1319.35 c #Conflicts: 822000 | #Constraints: 57723
1315.46/1319.35 c #Conflicts: 823000 | #Constraints: 58723
1315.46/1319.35 c INPROCESSING
1315.46/1319.35 c GARBAGE COLLECT
1315.46/1319.35 c #Conflicts: 824000 | #Constraints: 33761
1315.46/1319.35 c #Conflicts: 825000 | #Constraints: 34761
1315.46/1319.35 c #Conflicts: 826000 | #Constraints: 35761
1315.46/1319.35 c #Conflicts: 827000 | #Constraints: 36761
1315.46/1319.35 c #Conflicts: 828000 | #Constraints: 37761
1315.46/1319.35 c #Conflicts: 829000 | #Constraints: 38761
1315.46/1319.35 c #Conflicts: 830000 | #Constraints: 39761
1315.46/1319.35 c #Conflicts: 831000 | #Constraints: 40761
1315.46/1319.35 c #Conflicts: 832000 | #Constraints: 41761
1315.46/1319.35 c #Conflicts: 833000 | #Constraints: 42761
1315.46/1319.35 c #Conflicts: 834000 | #Constraints: 43761
1315.46/1319.35 c #Conflicts: 835000 | #Constraints: 44761
1315.46/1319.35 c #Conflicts: 836000 | #Constraints: 45761
1315.46/1319.35 c #Conflicts: 837000 | #Constraints: 46761
1315.46/1319.35 c #Conflicts: 838000 | #Constraints: 47761
1315.46/1319.35 c #Conflicts: 839000 | #Constraints: 48761
1315.46/1319.35 c #Conflicts: 840000 | #Constraints: 49761
1315.46/1319.35 c #Conflicts: 841000 | #Constraints: 50761
1315.46/1319.35 c #Conflicts: 842000 | #Constraints: 51761
1315.46/1319.35 c #Conflicts: 843000 | #Constraints: 52761
1315.46/1319.35 c INPROCESSING
1315.46/1319.35 c GARBAGE COLLECT
1315.46/1319.35 c rational objective 96.1254
1415.29/1419.45 c #Conflicts: 844000 | #Constraints: 30669
1415.29/1419.45 c #Conflicts: 845000 | #Constraints: 31669
1415.29/1419.45 c #Conflicts: 846000 | #Constraints: 32669
1415.29/1419.45 c #Conflicts: 847000 | #Constraints: 33669
1415.29/1419.45 c #Conflicts: 848000 | #Constraints: 34669
1415.29/1419.45 c #Conflicts: 849000 | #Constraints: 35669
1415.29/1419.45 c #Conflicts: 850000 | #Constraints: 36669
1415.29/1419.45 c #Conflicts: 851000 | #Constraints: 37669
1415.29/1419.45 c #Conflicts: 852000 | #Constraints: 38669
1415.29/1419.45 c #Conflicts: 853000 | #Constraints: 39669
1415.29/1419.45 c #Conflicts: 854000 | #Constraints: 40669
1415.29/1419.45 c #Conflicts: 855000 | #Constraints: 41669
1415.29/1419.45 c #Conflicts: 856000 | #Constraints: 42669
1415.29/1419.45 c #Conflicts: 857000 | #Constraints: 43669
1415.29/1419.45 c #Conflicts: 858000 | #Constraints: 44669
1415.29/1419.45 c #Conflicts: 859000 | #Constraints: 45669
1415.29/1419.45 c #Conflicts: 860000 | #Constraints: 46669
1415.29/1419.45 c #Conflicts: 861000 | #Constraints: 47669
1415.29/1419.45 c #Conflicts: 862000 | #Constraints: 48669
1415.29/1419.45 c #Conflicts: 863000 | #Constraints: 49669
1415.29/1419.45 c #Conflicts: 864000 | #Constraints: 50669
1415.29/1419.45 c INPROCESSING
1415.29/1419.45 c GARBAGE COLLECT
1415.29/1419.45 c #Conflicts: 865000 | #Constraints: 29740
1415.29/1419.45 c #Conflicts: 866000 | #Constraints: 30740
1415.29/1419.45 c #Conflicts: 867000 | #Constraints: 31740
1415.29/1419.45 c #Conflicts: 868000 | #Constraints: 32740
1415.29/1419.45 c #Conflicts: 869000 | #Constraints: 33740
1415.29/1419.45 c #Conflicts: 870000 | #Constraints: 34740
1415.29/1419.45 c #Conflicts: 871000 | #Constraints: 35740
1415.29/1419.45 c #Conflicts: 872000 | #Constraints: 36740
1415.29/1419.45 c #Conflicts: 873000 | #Constraints: 37740
1415.29/1419.45 c #Conflicts: 874000 | #Constraints: 38740
1415.29/1419.45 c #Conflicts: 875000 | #Constraints: 39740
1415.29/1419.45 c #Conflicts: 876000 | #Constraints: 40740
1415.29/1419.45 c #Conflicts: 877000 | #Constraints: 41740
1415.29/1419.45 c #Conflicts: 878000 | #Constraints: 42740
1415.29/1419.45 c #Conflicts: 879000 | #Constraints: 43740
1415.29/1419.45 c #Conflicts: 880000 | #Constraints: 44740
1415.29/1419.45 c #Conflicts: 881000 | #Constraints: 45740
1415.29/1419.45 c #Conflicts: 882000 | #Constraints: 46740
1415.29/1419.45 c #Conflicts: 883000 | #Constraints: 47740
1415.29/1419.45 c #Conflicts: 884000 | #Constraints: 48740
1415.29/1419.45 c #Conflicts: 885000 | #Constraints: 49740
1415.29/1419.45 c INPROCESSING
1415.29/1419.45 c GARBAGE COLLECT
1415.29/1419.45 c #Conflicts: 886000 | #Constraints: 29377
1415.29/1419.45 c #Conflicts: 887000 | #Constraints: 30377
1415.29/1419.45 c #Conflicts: 888000 | #Constraints: 31377
1415.29/1419.45 c #Conflicts: 889000 | #Constraints: 32377
1415.29/1419.45 c #Conflicts: 890000 | #Constraints: 33377
1415.29/1419.45 c #Conflicts: 891000 | #Constraints: 34377
1415.29/1419.45 c #Conflicts: 892000 | #Constraints: 35377
1415.29/1419.45 c #Conflicts: 893000 | #Constraints: 36377
1415.29/1419.45 c #Conflicts: 894000 | #Constraints: 37377
1415.29/1419.45 c #Conflicts: 895000 | #Constraints: 38377
1415.29/1419.45 c #Conflicts: 896000 | #Constraints: 39377
1415.29/1419.45 c #Conflicts: 897000 | #Constraints: 40377
1415.29/1419.45 c #Conflicts: 898000 | #Constraints: 41377
1415.29/1419.45 c #Conflicts: 899000 | #Constraints: 42377
1415.29/1419.45 c #Conflicts: 900000 | #Constraints: 43377
1415.29/1419.45 c #Conflicts: 901000 | #Constraints: 44377
1415.29/1419.45 c #Conflicts: 902000 | #Constraints: 45377
1415.29/1419.45 c #Conflicts: 903000 | #Constraints: 46377
1415.29/1419.45 c #Conflicts: 904000 | #Constraints: 47377
1415.29/1419.45 c #Conflicts: 905000 | #Constraints: 48377
1415.29/1419.45 c #Conflicts: 906000 | #Constraints: 49377
1415.29/1419.45 c #Conflicts: 907000 | #Constraints: 50377
1415.29/1419.45 c #Conflicts: 908000 | #Constraints: 51377
1415.29/1419.45 c #Conflicts: 909000 | #Constraints: 52377
1415.29/1419.45 c #Conflicts: 910000 | #Constraints: 53377
1415.29/1419.45 c #Conflicts: 911000 | #Constraints: 54377
1415.29/1419.45 c #Conflicts: 912000 | #Constraints: 55377
1415.29/1419.45 c #Conflicts: 913000 | #Constraints: 56377
1415.29/1419.45 c #Conflicts: 914000 | #Constraints: 57377
1415.29/1419.45 c #Conflicts: 915000 | #Constraints: 58377
1415.29/1419.45 c #Conflicts: 916000 | #Constraints: 59377
1415.29/1419.45 c #Conflicts: 917000 | #Constraints: 60377
1415.29/1419.45 c #Conflicts: 918000 | #Constraints: 61377
1415.29/1419.45 c #Conflicts: 919000 | #Constraints: 62377
1415.29/1419.45 c #Conflicts: 920000 | #Constraints: 63377
1415.29/1419.45 c #Conflicts: 921000 | #Constraints: 64377
1606.19/1610.88 c #Conflicts: 922000 | #Constraints: 65377
1606.19/1610.88 c #Conflicts: 923000 | #Constraints: 66377
1606.19/1610.88 c #Conflicts: 924000 | #Constraints: 67377
1606.19/1610.88 c #Conflicts: 925000 | #Constraints: 68377
1606.19/1610.88 c #Conflicts: 926000 | #Constraints: 69377
1606.19/1610.88 c #Conflicts: 927000 | #Constraints: 70377
1606.19/1610.88 c #Conflicts: 928000 | #Constraints: 71377
1606.19/1610.88 c #Conflicts: 929000 | #Constraints: 72377
1606.19/1610.88 c #Conflicts: 930000 | #Constraints: 73377
1606.19/1610.88 c #Conflicts: 931000 | #Constraints: 74377
1606.19/1610.88 c #Conflicts: 932000 | #Constraints: 75377
1606.19/1610.88 c #Conflicts: 933000 | #Constraints: 76377
1606.19/1610.88 c #Conflicts: 934000 | #Constraints: 77377
1606.19/1610.88 c #Conflicts: 935000 | #Constraints: 78377
1606.19/1610.88 c #Conflicts: 936000 | #Constraints: 79377
1606.19/1610.88 c #Conflicts: 937000 | #Constraints: 80377
1606.19/1610.88 c #Conflicts: 938000 | #Constraints: 81377
1606.19/1610.88 c #Conflicts: 939000 | #Constraints: 82377
1606.19/1610.88 c #Conflicts: 940000 | #Constraints: 83377
1606.19/1610.88 c #Conflicts: 941000 | #Constraints: 84377
1606.19/1610.88 c #Conflicts: 942000 | #Constraints: 85377
1606.19/1610.88 c #Conflicts: 943000 | #Constraints: 86377
1606.19/1610.88 c #Conflicts: 944000 | #Constraints: 87377
1606.19/1610.88 c #Conflicts: 945000 | #Constraints: 88377
1606.19/1610.88 c #Conflicts: 946000 | #Constraints: 89377
1606.19/1610.88 c #Conflicts: 947000 | #Constraints: 90377
1606.19/1610.88 c #Conflicts: 948000 | #Constraints: 91377
1606.19/1610.88 c #Conflicts: 949000 | #Constraints: 92377
1606.19/1610.88 c #Conflicts: 950000 | #Constraints: 93377
1606.19/1610.88 c #Conflicts: 951000 | #Constraints: 94377
1606.19/1610.88 c #Conflicts: 952000 | #Constraints: 95377
1606.19/1610.88 c #Conflicts: 953000 | #Constraints: 96377
1606.19/1610.88 c #Conflicts: 954000 | #Constraints: 97377
1606.19/1610.88 c #Conflicts: 955000 | #Constraints: 98377
1606.19/1610.88 c #Conflicts: 956000 | #Constraints: 99377
1606.19/1610.88 c #Conflicts: 957000 | #Constraints: 100377
1606.19/1610.88 c #Conflicts: 958000 | #Constraints: 101377
1606.19/1610.88 c #Conflicts: 959000 | #Constraints: 102377
1606.19/1610.88 c #Conflicts: 960000 | #Constraints: 103377
1606.19/1610.88 c INPROCESSING
1606.19/1610.88 c GARBAGE COLLECT
1606.19/1610.88 c #Conflicts: 961000 | #Constraints: 56194
1606.19/1610.88 c #Conflicts: 962000 | #Constraints: 57194
1606.19/1610.88 c #Conflicts: 963000 | #Constraints: 58194
1606.19/1610.88 c #Conflicts: 964000 | #Constraints: 59194
1606.19/1610.88 c #Conflicts: 965000 | #Constraints: 60194
1606.19/1610.88 c #Conflicts: 966000 | #Constraints: 61194
1606.19/1610.88 c #Conflicts: 967000 | #Constraints: 62194
1606.19/1610.88 c #Conflicts: 968000 | #Constraints: 63194
1606.19/1610.88 c #Conflicts: 969000 | #Constraints: 64194
1606.19/1610.88 c #Conflicts: 970000 | #Constraints: 65194
1606.19/1610.88 c #Conflicts: 971000 | #Constraints: 66194
1606.19/1610.88 c #Conflicts: 972000 | #Constraints: 67194
1606.19/1610.88 c #Conflicts: 973000 | #Constraints: 68194
1606.19/1610.88 c #Conflicts: 974000 | #Constraints: 69194
1606.19/1610.88 c #Conflicts: 975000 | #Constraints: 70194
1606.19/1610.88 c #Conflicts: 976000 | #Constraints: 71194
1606.19/1610.88 c #Conflicts: 977000 | #Constraints: 72194
1606.19/1610.88 c #Conflicts: 978000 | #Constraints: 73194
1606.19/1610.88 c #Conflicts: 979000 | #Constraints: 74194
1606.19/1610.88 c #Conflicts: 980000 | #Constraints: 75194
1606.19/1610.88 c #Conflicts: 981000 | #Constraints: 76194
1606.19/1610.88 c #Conflicts: 982000 | #Constraints: 77194
1606.19/1610.88 c INPROCESSING
1606.19/1610.88 c GARBAGE COLLECT
1606.19/1610.88 c #Conflicts: 983000 | #Constraints: 43103
1606.19/1610.88 c #Conflicts: 984000 | #Constraints: 44103
1606.19/1610.88 c #Conflicts: 985000 | #Constraints: 45103
1606.19/1610.88 c #Conflicts: 986000 | #Constraints: 46103
1606.19/1610.88 c #Conflicts: 987000 | #Constraints: 47103
1606.19/1610.88 c #Conflicts: 988000 | #Constraints: 48103
1606.19/1610.88 c #Conflicts: 989000 | #Constraints: 49103
1606.19/1610.88 c #Conflicts: 990000 | #Constraints: 50103
1606.19/1610.88 c #Conflicts: 991000 | #Constraints: 51103
1606.19/1610.88 c #Conflicts: 992000 | #Constraints: 52103
1606.19/1610.88 c #Conflicts: 993000 | #Constraints: 53103
1606.19/1610.88 c #Conflicts: 994000 | #Constraints: 54103
1606.19/1610.88 c #Conflicts: 995000 | #Constraints: 55103
1606.19/1610.88 c #Conflicts: 996000 | #Constraints: 56103
1606.19/1610.88 c #Conflicts: 997000 | #Constraints: 57103
1606.19/1610.88 c #Conflicts: 998000 | #Constraints: 58103
1699.35/1704.29 c #Conflicts: 999000 | #Constraints: 59103
1699.35/1704.29 c #Conflicts: 1000000 | #Constraints: 60103
1699.35/1704.29 c #Conflicts: 1001000 | #Constraints: 61103
1699.35/1704.29 c #Conflicts: 1002000 | #Constraints: 62103
1699.35/1704.29 c #Conflicts: 1003000 | #Constraints: 63103
1699.35/1704.29 c #Conflicts: 1004000 | #Constraints: 64103
1699.35/1704.29 c INPROCESSING
1699.35/1704.29 c GARBAGE COLLECT
1699.35/1704.29 c #Conflicts: 1005000 | #Constraints: 36431
1699.35/1704.29 c #Conflicts: 1006000 | #Constraints: 37431
1699.35/1704.29 c #Conflicts: 1007000 | #Constraints: 38431
1699.35/1704.29 c #Conflicts: 1008000 | #Constraints: 39431
1699.35/1704.29 c #Conflicts: 1009000 | #Constraints: 40431
1699.35/1704.29 c #Conflicts: 1010000 | #Constraints: 41431
1699.35/1704.29 c #Conflicts: 1011000 | #Constraints: 42431
1699.35/1704.29 c #Conflicts: 1012000 | #Constraints: 43431
1699.35/1704.29 c #Conflicts: 1013000 | #Constraints: 44431
1699.35/1704.29 c #Conflicts: 1014000 | #Constraints: 45431
1699.35/1704.29 c #Conflicts: 1015000 | #Constraints: 46431
1699.35/1704.29 c #Conflicts: 1016000 | #Constraints: 47431
1699.35/1704.29 c #Conflicts: 1017000 | #Constraints: 48431
1699.35/1704.29 c #Conflicts: 1018000 | #Constraints: 49431
1699.35/1704.29 c #Conflicts: 1019000 | #Constraints: 50431
1699.35/1704.29 c #Conflicts: 1020000 | #Constraints: 51431
1699.35/1704.29 c #Conflicts: 1021000 | #Constraints: 52431
1699.35/1704.29 c #Conflicts: 1022000 | #Constraints: 53431
1699.35/1704.29 c #Conflicts: 1023000 | #Constraints: 54431
1699.35/1704.29 c #Conflicts: 1024000 | #Constraints: 55431
1699.35/1704.29 c #Conflicts: 1025000 | #Constraints: 56431
1699.35/1704.29 c #Conflicts: 1026000 | #Constraints: 57431
1699.35/1704.29 c INPROCESSING
1699.35/1704.29 c GARBAGE COLLECT
1699.35/1704.29 c #Conflicts: 1027000 | #Constraints: 32758
1699.35/1704.29 c #Conflicts: 1028000 | #Constraints: 33758
1699.35/1704.29 c #Conflicts: 1029000 | #Constraints: 34758
1699.35/1704.29 c #Conflicts: 1030000 | #Constraints: 35758
1699.35/1704.29 c #Conflicts: 1031000 | #Constraints: 36758
1699.35/1704.29 c #Conflicts: 1032000 | #Constraints: 37758
1699.35/1704.29 c #Conflicts: 1033000 | #Constraints: 38758
1699.35/1704.29 c #Conflicts: 1034000 | #Constraints: 39758
1699.35/1704.29 c #Conflicts: 1035000 | #Constraints: 40758
1699.35/1704.29 c #Conflicts: 1036000 | #Constraints: 41758
1699.35/1704.29 c #Conflicts: 1037000 | #Constraints: 42758
1699.35/1704.29 c #Conflicts: 1038000 | #Constraints: 43758
1699.35/1704.29 c #Conflicts: 1039000 | #Constraints: 44758
1699.35/1704.29 c #Conflicts: 1040000 | #Constraints: 45758
1699.35/1704.29 c #Conflicts: 1041000 | #Constraints: 46758
1699.35/1704.29 c #Conflicts: 1042000 | #Constraints: 47758
1699.35/1704.29 c #Conflicts: 1043000 | #Constraints: 48758
1699.35/1704.29 c #Conflicts: 1044000 | #Constraints: 49758
1699.35/1704.29 c #Conflicts: 1045000 | #Constraints: 50758
1699.35/1704.29 c #Conflicts: 1046000 | #Constraints: 51758
1699.35/1704.29 c #Conflicts: 1047000 | #Constraints: 52758
1699.35/1704.29 c #Conflicts: 1048000 | #Constraints: 53758
1699.35/1704.29 c #Conflicts: 1049000 | #Constraints: 54758
1699.35/1704.29 c INPROCESSING
1699.35/1704.29 c GARBAGE COLLECT
1699.35/1704.29 c rational objective 96.1292
1858.32/1863.61 c #Conflicts: 1050000 | #Constraints: 31706
1858.32/1863.61 c #Conflicts: 1051000 | #Constraints: 32706
1858.32/1863.61 c #Conflicts: 1052000 | #Constraints: 33706
1858.32/1863.61 c #Conflicts: 1053000 | #Constraints: 34706
1858.32/1863.61 c #Conflicts: 1054000 | #Constraints: 35706
1858.32/1863.61 c #Conflicts: 1055000 | #Constraints: 36706
1858.32/1863.61 c #Conflicts: 1056000 | #Constraints: 37706
1858.32/1863.61 c #Conflicts: 1057000 | #Constraints: 38706
1858.32/1863.61 c #Conflicts: 1058000 | #Constraints: 39706
1858.32/1863.61 c #Conflicts: 1059000 | #Constraints: 40706
1858.32/1863.61 c #Conflicts: 1060000 | #Constraints: 41706
1858.32/1863.61 c #Conflicts: 1061000 | #Constraints: 42706
1858.32/1863.61 c #Conflicts: 1062000 | #Constraints: 43706
1858.32/1863.61 c #Conflicts: 1063000 | #Constraints: 44706
1858.32/1863.61 c #Conflicts: 1064000 | #Constraints: 45706
1858.32/1863.61 c #Conflicts: 1065000 | #Constraints: 46706
1858.32/1863.61 c #Conflicts: 1066000 | #Constraints: 47706
1858.32/1863.61 c #Conflicts: 1067000 | #Constraints: 48706
1858.32/1863.61 c #Conflicts: 1068000 | #Constraints: 49706
1858.32/1863.61 c #Conflicts: 1069000 | #Constraints: 50706
1858.32/1863.61 c #Conflicts: 1070000 | #Constraints: 51706
1858.32/1863.61 c #Conflicts: 1071000 | #Constraints: 52706
1858.32/1863.61 c #Conflicts: 1072000 | #Constraints: 53706
1858.32/1863.61 c INPROCESSING
1858.32/1863.61 c GARBAGE COLLECT
1858.32/1863.61 c #Conflicts: 1073000 | #Constraints: 31132
1858.32/1863.61 c #Conflicts: 1074000 | #Constraints: 32132
1858.32/1863.61 c #Conflicts: 1075000 | #Constraints: 33132
1858.32/1863.61 c #Conflicts: 1076000 | #Constraints: 34132
1858.32/1863.61 c #Conflicts: 1077000 | #Constraints: 35132
1858.32/1863.61 c #Conflicts: 1078000 | #Constraints: 36132
1858.32/1863.61 c #Conflicts: 1079000 | #Constraints: 37132
1858.32/1863.61 c #Conflicts: 1080000 | #Constraints: 38132
1858.32/1863.61 c #Conflicts: 1081000 | #Constraints: 39132
1858.32/1863.61 c #Conflicts: 1082000 | #Constraints: 40132
1858.32/1863.61 c #Conflicts: 1083000 | #Constraints: 41132
1858.32/1863.61 c #Conflicts: 1084000 | #Constraints: 42132
1858.32/1863.61 c #Conflicts: 1085000 | #Constraints: 43132
1858.32/1863.61 c #Conflicts: 1086000 | #Constraints: 44132
1858.32/1863.61 c #Conflicts: 1087000 | #Constraints: 45132
1858.32/1863.61 c #Conflicts: 1088000 | #Constraints: 46132
1858.32/1863.61 c #Conflicts: 1089000 | #Constraints: 47132
1858.32/1863.61 c #Conflicts: 1090000 | #Constraints: 48132
1858.32/1863.61 c #Conflicts: 1091000 | #Constraints: 49132
1858.32/1863.61 c #Conflicts: 1092000 | #Constraints: 50132
1858.32/1863.61 c #Conflicts: 1093000 | #Constraints: 51132
1858.32/1863.61 c #Conflicts: 1094000 | #Constraints: 52132
1858.32/1863.61 c #Conflicts: 1095000 | #Constraints: 53132
1858.32/1863.61 c #Conflicts: 1096000 | #Constraints: 54132
1858.32/1863.61 c #Conflicts: 1097000 | #Constraints: 55132
1858.32/1863.61 c #Conflicts: 1098000 | #Constraints: 56132
1858.32/1863.61 c #Conflicts: 1099000 | #Constraints: 57132
1858.32/1863.61 c #Conflicts: 1100000 | #Constraints: 58132
1858.32/1863.61 c #Conflicts: 1101000 | #Constraints: 59132
1858.32/1863.61 c #Conflicts: 1102000 | #Constraints: 60132
1858.32/1863.61 c #Conflicts: 1103000 | #Constraints: 61132
1858.32/1863.61 c #Conflicts: 1104000 | #Constraints: 62132
1858.32/1863.61 c #Conflicts: 1105000 | #Constraints: 63132
1858.32/1863.61 c #Conflicts: 1106000 | #Constraints: 64132
1858.32/1863.61 c #Conflicts: 1107000 | #Constraints: 65132
1858.32/1863.61 c #Conflicts: 1108000 | #Constraints: 66132
1858.32/1863.61 c #Conflicts: 1109000 | #Constraints: 67132
1858.32/1863.61 c #Conflicts: 1110000 | #Constraints: 68132
1858.32/1863.61 c #Conflicts: 1111000 | #Constraints: 69132
1858.32/1863.61 c #Conflicts: 1112000 | #Constraints: 70132
1858.32/1863.61 c #Conflicts: 1113000 | #Constraints: 71132
1858.32/1863.61 c #Conflicts: 1114000 | #Constraints: 72133
1858.32/1863.61 c #Conflicts: 1115000 | #Constraints: 73133
1858.32/1863.61 c #Conflicts: 1116000 | #Constraints: 74133
1858.32/1863.61 c #Conflicts: 1117000 | #Constraints: 75133
1858.32/1863.61 c #Conflicts: 1118000 | #Constraints: 76133
1858.32/1863.61 c #Conflicts: 1119000 | #Constraints: 77133
1858.32/1863.61 c #Conflicts: 1120000 | #Constraints: 78133
1858.32/1863.61 c #Conflicts: 1121000 | #Constraints: 79133
1858.32/1863.61 c #Conflicts: 1122000 | #Constraints: 80133
1858.32/1863.61 c #Conflicts: 1123000 | #Constraints: 81133
1858.32/1863.61 c #Conflicts: 1124000 | #Constraints: 82133
1858.32/1863.61 c #Conflicts: 1125000 | #Constraints: 83133
1858.32/1863.61 c #Conflicts: 1126000 | #Constraints: 84133
1858.32/1863.61 c #Conflicts: 1127000 | #Constraints: 85133
1858.32/1863.61 c #Conflicts: 1128000 | #Constraints: 86133
2054.99/2060.83 c #Conflicts: 1129000 | #Constraints: 87133
2054.99/2060.83 c #Conflicts: 1130000 | #Constraints: 88133
2054.99/2060.83 c #Conflicts: 1131000 | #Constraints: 89133
2054.99/2060.83 c #Conflicts: 1132000 | #Constraints: 90133
2054.99/2060.83 c #Conflicts: 1133000 | #Constraints: 91133
2054.99/2060.83 c #Conflicts: 1134000 | #Constraints: 92133
2054.99/2060.83 c #Conflicts: 1135000 | #Constraints: 93133
2054.99/2060.83 c #Conflicts: 1136000 | #Constraints: 94133
2054.99/2060.83 c #Conflicts: 1137000 | #Constraints: 95133
2054.99/2060.83 c #Conflicts: 1138000 | #Constraints: 96133
2054.99/2060.83 c #Conflicts: 1139000 | #Constraints: 97133
2054.99/2060.83 c #Conflicts: 1140000 | #Constraints: 98133
2054.99/2060.83 c #Conflicts: 1141000 | #Constraints: 99133
2054.99/2060.83 c #Conflicts: 1142000 | #Constraints: 100133
2054.99/2060.83 c #Conflicts: 1143000 | #Constraints: 101133
2054.99/2060.83 c #Conflicts: 1144000 | #Constraints: 102133
2054.99/2060.83 c #Conflicts: 1145000 | #Constraints: 103133
2054.99/2060.83 c #Conflicts: 1146000 | #Constraints: 104133
2054.99/2060.83 c #Conflicts: 1147000 | #Constraints: 105133
2054.99/2060.83 c #Conflicts: 1148000 | #Constraints: 106133
2054.99/2060.83 c #Conflicts: 1149000 | #Constraints: 107133
2054.99/2060.83 c #Conflicts: 1150000 | #Constraints: 108133
2054.99/2060.83 c #Conflicts: 1151000 | #Constraints: 109133
2054.99/2060.83 c #Conflicts: 1152000 | #Constraints: 110133
2054.99/2060.83 c #Conflicts: 1153000 | #Constraints: 111133
2054.99/2060.83 c #Conflicts: 1154000 | #Constraints: 112133
2054.99/2060.83 c #Conflicts: 1155000 | #Constraints: 113133
2054.99/2060.83 c INPROCESSING
2054.99/2060.83 c GARBAGE COLLECT
2054.99/2060.83 c #Conflicts: 1156000 | #Constraints: 61098
2054.99/2060.83 c #Conflicts: 1157000 | #Constraints: 62098
2054.99/2060.83 c #Conflicts: 1158000 | #Constraints: 63098
2054.99/2060.83 c #Conflicts: 1159000 | #Constraints: 64098
2054.99/2060.83 c #Conflicts: 1160000 | #Constraints: 65098
2054.99/2060.83 c #Conflicts: 1161000 | #Constraints: 66098
2054.99/2060.83 c #Conflicts: 1162000 | #Constraints: 67098
2054.99/2060.83 c #Conflicts: 1163000 | #Constraints: 68098
2054.99/2060.83 c #Conflicts: 1164000 | #Constraints: 69098
2054.99/2060.83 c #Conflicts: 1165000 | #Constraints: 70098
2054.99/2060.83 c #Conflicts: 1166000 | #Constraints: 71098
2054.99/2060.83 c #Conflicts: 1167000 | #Constraints: 72098
2054.99/2060.83 c #Conflicts: 1168000 | #Constraints: 73098
2054.99/2060.83 c #Conflicts: 1169000 | #Constraints: 74098
2054.99/2060.83 c #Conflicts: 1170000 | #Constraints: 75098
2054.99/2060.83 c #Conflicts: 1171000 | #Constraints: 76098
2054.99/2060.83 c #Conflicts: 1172000 | #Constraints: 77098
2054.99/2060.83 c #Conflicts: 1173000 | #Constraints: 78098
2054.99/2060.83 c #Conflicts: 1174000 | #Constraints: 79098
2054.99/2060.83 c #Conflicts: 1175000 | #Constraints: 80098
2054.99/2060.83 c #Conflicts: 1176000 | #Constraints: 81098
2054.99/2060.83 c #Conflicts: 1177000 | #Constraints: 82098
2054.99/2060.83 c #Conflicts: 1178000 | #Constraints: 83098
2054.99/2060.83 c #Conflicts: 1179000 | #Constraints: 84098
2054.99/2060.83 c INPROCESSING
2054.99/2060.83 c GARBAGE COLLECT
2054.99/2060.83 c #Conflicts: 1180000 | #Constraints: 46492
2054.99/2060.83 c #Conflicts: 1181000 | #Constraints: 47492
2054.99/2060.83 c #Conflicts: 1182000 | #Constraints: 48492
2054.99/2060.83 c #Conflicts: 1183000 | #Constraints: 49492
2054.99/2060.83 c #Conflicts: 1184000 | #Constraints: 50492
2054.99/2060.83 c #Conflicts: 1185000 | #Constraints: 51492
2054.99/2060.83 c #Conflicts: 1186000 | #Constraints: 52492
2054.99/2060.83 c #Conflicts: 1187000 | #Constraints: 53492
2054.99/2060.83 c #Conflicts: 1188000 | #Constraints: 54492
2054.99/2060.83 c #Conflicts: 1189000 | #Constraints: 55492
2054.99/2060.83 c #Conflicts: 1190000 | #Constraints: 56492
2054.99/2060.83 c #Conflicts: 1191000 | #Constraints: 57492
2054.99/2060.83 c #Conflicts: 1192000 | #Constraints: 58492
2054.99/2060.83 c #Conflicts: 1193000 | #Constraints: 59492
2054.99/2060.83 c #Conflicts: 1194000 | #Constraints: 60492
2054.99/2060.83 c #Conflicts: 1195000 | #Constraints: 61492
2054.99/2060.83 c #Conflicts: 1196000 | #Constraints: 62492
2054.99/2060.83 c #Conflicts: 1197000 | #Constraints: 63492
2054.99/2060.83 c #Conflicts: 1198000 | #Constraints: 64492
2054.99/2060.83 c #Conflicts: 1199000 | #Constraints: 65492
2054.99/2060.83 c #Conflicts: 1200000 | #Constraints: 66492
2054.99/2060.83 c #Conflicts: 1201000 | #Constraints: 67492
2054.99/2060.83 c #Conflicts: 1202000 | #Constraints: 68492
2054.99/2060.83 c #Conflicts: 1203000 | #Constraints: 69492
2054.99/2060.83 c INPROCESSING
2054.99/2060.83 c GARBAGE COLLECT
2054.99/2060.83 c #Conflicts: 1204000 | #Constraints: 39088
2177.45/2183.63 c #Conflicts: 1205000 | #Constraints: 40088
2177.45/2183.63 c #Conflicts: 1206000 | #Constraints: 41088
2177.45/2183.63 c #Conflicts: 1207000 | #Constraints: 42088
2177.45/2183.63 c #Conflicts: 1208000 | #Constraints: 43088
2177.45/2183.63 c #Conflicts: 1209000 | #Constraints: 44088
2177.45/2183.63 c #Conflicts: 1210000 | #Constraints: 45088
2177.45/2183.63 c #Conflicts: 1211000 | #Constraints: 46088
2177.45/2183.63 c #Conflicts: 1212000 | #Constraints: 47088
2177.45/2183.63 c #Conflicts: 1213000 | #Constraints: 48088
2177.45/2183.63 c #Conflicts: 1214000 | #Constraints: 49088
2177.45/2183.63 c #Conflicts: 1215000 | #Constraints: 50088
2177.45/2183.63 c #Conflicts: 1216000 | #Constraints: 51088
2177.45/2183.63 c #Conflicts: 1217000 | #Constraints: 52088
2177.45/2183.63 c #Conflicts: 1218000 | #Constraints: 53088
2177.45/2183.63 c #Conflicts: 1219000 | #Constraints: 54088
2177.45/2183.63 c #Conflicts: 1220000 | #Constraints: 55088
2177.45/2183.63 c #Conflicts: 1221000 | #Constraints: 56088
2177.45/2183.63 c #Conflicts: 1222000 | #Constraints: 57088
2177.45/2183.63 c #Conflicts: 1223000 | #Constraints: 58088
2177.45/2183.63 c #Conflicts: 1224000 | #Constraints: 59088
2177.45/2183.63 c #Conflicts: 1225000 | #Constraints: 60088
2177.45/2183.63 c #Conflicts: 1226000 | #Constraints: 61088
2177.45/2183.63 c #Conflicts: 1227000 | #Constraints: 62088
2177.45/2183.63 c #Conflicts: 1228000 | #Constraints: 63088
2177.45/2183.63 c INPROCESSING
2177.45/2183.63 c GARBAGE COLLECT
2177.45/2183.63 c #Conflicts: 1229000 | #Constraints: 36047
2177.45/2183.63 c #Conflicts: 1230000 | #Constraints: 37047
2177.45/2183.63 c #Conflicts: 1231000 | #Constraints: 38047
2177.45/2183.63 c #Conflicts: 1232000 | #Constraints: 39047
2177.45/2183.63 c #Conflicts: 1233000 | #Constraints: 40047
2177.45/2183.63 c #Conflicts: 1234000 | #Constraints: 41047
2177.45/2183.63 c #Conflicts: 1235000 | #Constraints: 42047
2177.45/2183.63 c #Conflicts: 1236000 | #Constraints: 43047
2177.45/2183.63 c #Conflicts: 1237000 | #Constraints: 44047
2177.45/2183.63 c #Conflicts: 1238000 | #Constraints: 45047
2177.45/2183.63 c #Conflicts: 1239000 | #Constraints: 46047
2177.45/2183.63 c #Conflicts: 1240000 | #Constraints: 47047
2177.45/2183.63 c #Conflicts: 1241000 | #Constraints: 48047
2177.45/2183.63 c #Conflicts: 1242000 | #Constraints: 49047
2177.45/2183.63 c #Conflicts: 1243000 | #Constraints: 50047
2177.45/2183.63 c #Conflicts: 1244000 | #Constraints: 51047
2177.45/2183.63 c #Conflicts: 1245000 | #Constraints: 52047
2177.45/2183.63 c #Conflicts: 1246000 | #Constraints: 53047
2177.45/2183.63 c #Conflicts: 1247000 | #Constraints: 54047
2177.45/2183.63 c #Conflicts: 1248000 | #Constraints: 55047
2177.45/2183.63 c #Conflicts: 1249000 | #Constraints: 56047
2177.45/2183.63 c #Conflicts: 1250000 | #Constraints: 57047
2177.45/2183.63 c #Conflicts: 1251000 | #Constraints: 58047
2177.45/2183.63 c #Conflicts: 1252000 | #Constraints: 59047
2177.45/2183.63 c #Conflicts: 1253000 | #Constraints: 60047
2177.45/2183.63 c INPROCESSING
2177.45/2183.63 c GARBAGE COLLECT
2177.45/2183.63 c #Conflicts: 1254000 | #Constraints: 34570
2177.45/2183.63 c #Conflicts: 1255000 | #Constraints: 35570
2177.45/2183.63 c #Conflicts: 1256000 | #Constraints: 36570
2177.45/2183.63 c #Conflicts: 1257000 | #Constraints: 37570
2177.45/2183.63 c #Conflicts: 1258000 | #Constraints: 38570
2177.45/2183.63 c #Conflicts: 1259000 | #Constraints: 39570
2177.45/2183.63 c #Conflicts: 1260000 | #Constraints: 40570
2177.45/2183.63 c #Conflicts: 1261000 | #Constraints: 41570
2177.45/2183.63 c #Conflicts: 1262000 | #Constraints: 42570
2177.45/2183.63 c #Conflicts: 1263000 | #Constraints: 43570
2177.45/2183.63 c #Conflicts: 1264000 | #Constraints: 44570
2177.45/2183.63 c #Conflicts: 1265000 | #Constraints: 45570
2177.45/2183.63 c #Conflicts: 1266000 | #Constraints: 46570
2177.45/2183.63 c #Conflicts: 1267000 | #Constraints: 47570
2177.45/2183.63 c #Conflicts: 1268000 | #Constraints: 48570
2177.45/2183.63 c #Conflicts: 1269000 | #Constraints: 49570
2177.45/2183.63 c #Conflicts: 1270000 | #Constraints: 50570
2177.45/2183.63 c #Conflicts: 1271000 | #Constraints: 51570
2177.45/2183.63 c #Conflicts: 1272000 | #Constraints: 52570
2177.45/2183.63 c #Conflicts: 1273000 | #Constraints: 53570
2177.45/2183.63 c #Conflicts: 1274000 | #Constraints: 54570
2177.45/2183.63 c #Conflicts: 1275000 | #Constraints: 55570
2177.45/2183.63 c #Conflicts: 1276000 | #Constraints: 56570
2177.45/2183.63 c #Conflicts: 1277000 | #Constraints: 57570
2177.45/2183.63 c #Conflicts: 1278000 | #Constraints: 58570
2177.45/2183.63 c INPROCESSING
2177.45/2183.63 c GARBAGE COLLECT
2177.45/2183.63 c #Conflicts: 1279000 | #Constraints: 33875
2177.45/2183.63 c #Conflicts: 1280000 | #Constraints: 34875
2177.45/2183.63 c #Conflicts: 1281000 | #Constraints: 35875
2380.99/2387.76 c #Conflicts: 1282000 | #Constraints: 36875
2380.99/2387.76 c #Conflicts: 1283000 | #Constraints: 37875
2380.99/2387.76 c #Conflicts: 1284000 | #Constraints: 38875
2380.99/2387.76 c #Conflicts: 1285000 | #Constraints: 39875
2380.99/2387.76 c #Conflicts: 1286000 | #Constraints: 40875
2380.99/2387.76 c #Conflicts: 1287000 | #Constraints: 41875
2380.99/2387.76 c #Conflicts: 1288000 | #Constraints: 42875
2380.99/2387.76 c #Conflicts: 1289000 | #Constraints: 43875
2380.99/2387.76 c #Conflicts: 1290000 | #Constraints: 44875
2380.99/2387.76 c #Conflicts: 1291000 | #Constraints: 45875
2380.99/2387.76 c #Conflicts: 1292000 | #Constraints: 46875
2380.99/2387.76 c #Conflicts: 1293000 | #Constraints: 47875
2380.99/2387.76 c #Conflicts: 1294000 | #Constraints: 48875
2380.99/2387.76 c #Conflicts: 1295000 | #Constraints: 49875
2380.99/2387.76 c #Conflicts: 1296000 | #Constraints: 50875
2380.99/2387.76 c #Conflicts: 1297000 | #Constraints: 51875
2380.99/2387.76 c #Conflicts: 1298000 | #Constraints: 52875
2380.99/2387.76 c #Conflicts: 1299000 | #Constraints: 53875
2380.99/2387.76 c #Conflicts: 1300000 | #Constraints: 54875
2380.99/2387.76 c #Conflicts: 1301000 | #Constraints: 55875
2380.99/2387.76 c #Conflicts: 1302000 | #Constraints: 56875
2380.99/2387.76 c #Conflicts: 1303000 | #Constraints: 57875
2380.99/2387.76 c #Conflicts: 1304000 | #Constraints: 58875
2380.99/2387.76 c #Conflicts: 1305000 | #Constraints: 59875
2380.99/2387.76 c #Conflicts: 1306000 | #Constraints: 60875
2380.99/2387.76 c #Conflicts: 1307000 | #Constraints: 61875
2380.99/2387.76 c #Conflicts: 1308000 | #Constraints: 62875
2380.99/2387.76 c #Conflicts: 1309000 | #Constraints: 63875
2380.99/2387.76 c #Conflicts: 1310000 | #Constraints: 64875
2380.99/2387.76 c #Conflicts: 1311000 | #Constraints: 65875
2380.99/2387.76 c #Conflicts: 1312000 | #Constraints: 66875
2380.99/2387.76 c #Conflicts: 1313000 | #Constraints: 67875
2380.99/2387.76 c #Conflicts: 1314000 | #Constraints: 68875
2380.99/2387.76 c #Conflicts: 1315000 | #Constraints: 69875
2380.99/2387.76 c #Conflicts: 1316000 | #Constraints: 70875
2380.99/2387.76 c #Conflicts: 1317000 | #Constraints: 71875
2380.99/2387.76 c #Conflicts: 1318000 | #Constraints: 72875
2380.99/2387.76 c #Conflicts: 1319000 | #Constraints: 73875
2380.99/2387.76 c #Conflicts: 1320000 | #Constraints: 74875
2380.99/2387.76 c #Conflicts: 1321000 | #Constraints: 75875
2380.99/2387.76 c #Conflicts: 1322000 | #Constraints: 76875
2380.99/2387.76 c #Conflicts: 1323000 | #Constraints: 77875
2380.99/2387.76 c #Conflicts: 1324000 | #Constraints: 78875
2380.99/2387.76 c #Conflicts: 1325000 | #Constraints: 79875
2380.99/2387.76 c #Conflicts: 1326000 | #Constraints: 80875
2380.99/2387.76 c #Conflicts: 1327000 | #Constraints: 81875
2380.99/2387.76 c #Conflicts: 1328000 | #Constraints: 82875
2380.99/2387.76 c #Conflicts: 1329000 | #Constraints: 83875
2380.99/2387.76 c #Conflicts: 1330000 | #Constraints: 84875
2380.99/2387.76 c #Conflicts: 1331000 | #Constraints: 85875
2380.99/2387.76 c #Conflicts: 1332000 | #Constraints: 86875
2380.99/2387.76 c #Conflicts: 1333000 | #Constraints: 87875
2380.99/2387.76 c #Conflicts: 1334000 | #Constraints: 88875
2380.99/2387.76 c #Conflicts: 1335000 | #Constraints: 89875
2380.99/2387.76 c #Conflicts: 1336000 | #Constraints: 90875
2380.99/2387.76 c #Conflicts: 1337000 | #Constraints: 91875
2380.99/2387.76 c #Conflicts: 1338000 | #Constraints: 92875
2380.99/2387.76 c #Conflicts: 1339000 | #Constraints: 93875
2380.99/2387.76 c #Conflicts: 1340000 | #Constraints: 94875
2380.99/2387.76 c #Conflicts: 1341000 | #Constraints: 95875
2380.99/2387.76 c #Conflicts: 1342000 | #Constraints: 96875
2380.99/2387.76 c #Conflicts: 1343000 | #Constraints: 97875
2380.99/2387.76 c #Conflicts: 1344000 | #Constraints: 98875
2380.99/2387.76 c #Conflicts: 1345000 | #Constraints: 99875
2380.99/2387.76 c #Conflicts: 1346000 | #Constraints: 100875
2380.99/2387.76 c #Conflicts: 1347000 | #Constraints: 101876
2380.99/2387.76 c #Conflicts: 1348000 | #Constraints: 102876
2380.99/2387.76 c #Conflicts: 1349000 | #Constraints: 103876
2380.99/2387.76 c #Conflicts: 1350000 | #Constraints: 104876
2380.99/2387.76 c #Conflicts: 1351000 | #Constraints: 105876
2380.99/2387.76 c #Conflicts: 1352000 | #Constraints: 106876
2380.99/2387.76 c #Conflicts: 1353000 | #Constraints: 107876
2380.99/2387.76 c #Conflicts: 1354000 | #Constraints: 108876
2380.99/2387.76 c #Conflicts: 1355000 | #Constraints: 109876
2380.99/2387.76 c #Conflicts: 1356000 | #Constraints: 110876
2380.99/2387.76 c #Conflicts: 1357000 | #Constraints: 111876
2380.99/2387.76 c #Conflicts: 1358000 | #Constraints: 112876
2380.99/2387.76 c #Conflicts: 1359000 | #Constraints: 113876
2380.99/2387.76 c #Conflicts: 1360000 | #Constraints: 114876
2577.37/2584.68 c #Conflicts: 1361000 | #Constraints: 115876
2577.37/2584.68 c #Conflicts: 1362000 | #Constraints: 116876
2577.37/2584.68 c #Conflicts: 1363000 | #Constraints: 117876
2577.37/2584.68 c #Conflicts: 1364000 | #Constraints: 118876
2577.37/2584.68 c #Conflicts: 1365000 | #Constraints: 119876
2577.37/2584.68 c #Conflicts: 1366000 | #Constraints: 120876
2577.37/2584.68 c #Conflicts: 1367000 | #Constraints: 121876
2577.37/2584.68 c #Conflicts: 1368000 | #Constraints: 122876
2577.37/2584.68 c INPROCESSING
2577.37/2584.68 c GARBAGE COLLECT
2577.37/2584.68 c #Conflicts: 1369000 | #Constraints: 66035
2577.37/2584.68 c #Conflicts: 1370000 | #Constraints: 67035
2577.37/2584.68 c #Conflicts: 1371000 | #Constraints: 68040
2577.37/2584.68 c #Conflicts: 1372000 | #Constraints: 69042
2577.37/2584.68 c #Conflicts: 1373000 | #Constraints: 70042
2577.37/2584.68 c #Conflicts: 1374000 | #Constraints: 71042
2577.37/2584.68 c #Conflicts: 1375000 | #Constraints: 72042
2577.37/2584.68 c #Conflicts: 1376000 | #Constraints: 73042
2577.37/2584.68 c #Conflicts: 1377000 | #Constraints: 74042
2577.37/2584.68 c #Conflicts: 1378000 | #Constraints: 75042
2577.37/2584.68 c #Conflicts: 1379000 | #Constraints: 76042
2577.37/2584.68 c #Conflicts: 1380000 | #Constraints: 77042
2577.37/2584.68 c #Conflicts: 1381000 | #Constraints: 78042
2577.37/2584.68 c #Conflicts: 1382000 | #Constraints: 79042
2577.37/2584.68 c #Conflicts: 1383000 | #Constraints: 80042
2577.37/2584.68 c #Conflicts: 1384000 | #Constraints: 81042
2577.37/2584.68 c #Conflicts: 1385000 | #Constraints: 82042
2577.37/2584.68 c #Conflicts: 1386000 | #Constraints: 83042
2577.37/2584.68 c #Conflicts: 1387000 | #Constraints: 84042
2577.37/2584.68 c #Conflicts: 1388000 | #Constraints: 85042
2577.37/2584.68 c #Conflicts: 1389000 | #Constraints: 86042
2577.37/2584.68 c #Conflicts: 1390000 | #Constraints: 87042
2577.37/2584.68 c #Conflicts: 1391000 | #Constraints: 88042
2577.37/2584.68 c #Conflicts: 1392000 | #Constraints: 89042
2577.37/2584.68 c #Conflicts: 1393000 | #Constraints: 90042
2577.37/2584.68 c #Conflicts: 1394000 | #Constraints: 91042
2577.37/2584.68 c INPROCESSING
2577.37/2584.68 c GARBAGE COLLECT
2577.37/2584.68 c #Conflicts: 1395000 | #Constraints: 49936
2577.37/2584.68 c #Conflicts: 1396000 | #Constraints: 50936
2577.37/2584.68 c #Conflicts: 1397000 | #Constraints: 51936
2577.37/2584.68 c #Conflicts: 1398000 | #Constraints: 52936
2577.37/2584.68 c #Conflicts: 1399000 | #Constraints: 53936
2577.37/2584.68 c #Conflicts: 1400000 | #Constraints: 54936
2577.37/2584.68 c #Conflicts: 1401000 | #Constraints: 55936
2577.37/2584.68 c #Conflicts: 1402000 | #Constraints: 56936
2577.37/2584.68 c #Conflicts: 1403000 | #Constraints: 57936
2577.37/2584.68 c #Conflicts: 1404000 | #Constraints: 58936
2577.37/2584.68 c #Conflicts: 1405000 | #Constraints: 59936
2577.37/2584.68 c #Conflicts: 1406000 | #Constraints: 60936
2577.37/2584.68 c #Conflicts: 1407000 | #Constraints: 61936
2577.37/2584.68 c #Conflicts: 1408000 | #Constraints: 62936
2577.37/2584.68 c #Conflicts: 1409000 | #Constraints: 63936
2577.37/2584.68 c #Conflicts: 1410000 | #Constraints: 64936
2577.37/2584.68 c #Conflicts: 1411000 | #Constraints: 65936
2577.37/2584.68 c #Conflicts: 1412000 | #Constraints: 66936
2577.37/2584.68 c #Conflicts: 1413000 | #Constraints: 67936
2577.37/2584.68 c #Conflicts: 1414000 | #Constraints: 68936
2577.37/2584.68 c #Conflicts: 1415000 | #Constraints: 69936
2577.37/2584.68 c #Conflicts: 1416000 | #Constraints: 70936
2577.37/2584.68 c #Conflicts: 1417000 | #Constraints: 71936
2577.37/2584.68 c #Conflicts: 1418000 | #Constraints: 72936
2577.37/2584.68 c #Conflicts: 1419000 | #Constraints: 73936
2577.37/2584.68 c #Conflicts: 1420000 | #Constraints: 74936
2577.37/2584.68 c INPROCESSING
2577.37/2584.68 c GARBAGE COLLECT
2577.37/2584.68 c #Conflicts: 1421000 | #Constraints: 41658
2577.37/2584.68 c #Conflicts: 1422000 | #Constraints: 42658
2577.37/2584.68 c #Conflicts: 1423000 | #Constraints: 43658
2577.37/2584.68 c #Conflicts: 1424000 | #Constraints: 44658
2577.37/2584.68 c #Conflicts: 1425000 | #Constraints: 45658
2577.37/2584.68 c #Conflicts: 1426000 | #Constraints: 46658
2577.37/2584.68 c #Conflicts: 1427000 | #Constraints: 47658
2577.37/2584.68 c #Conflicts: 1428000 | #Constraints: 48658
2577.37/2584.68 c #Conflicts: 1429000 | #Constraints: 49658
2577.37/2584.68 c #Conflicts: 1430000 | #Constraints: 50658
2577.37/2584.68 c #Conflicts: 1431000 | #Constraints: 51658
2577.37/2584.68 c #Conflicts: 1432000 | #Constraints: 52658
2577.37/2584.68 c #Conflicts: 1433000 | #Constraints: 53658
2577.37/2584.68 c #Conflicts: 1434000 | #Constraints: 54658
2577.37/2584.68 c #Conflicts: 1435000 | #Constraints: 55658
2577.37/2584.68 c #Conflicts: 1436000 | #Constraints: 56658
2577.37/2584.68 c #Conflicts: 1437000 | #Constraints: 57658
2687.87/2695.49 c #Conflicts: 1438000 | #Constraints: 58658
2687.87/2695.49 c #Conflicts: 1439000 | #Constraints: 59658
2687.87/2695.49 c #Conflicts: 1440000 | #Constraints: 60658
2687.87/2695.49 c #Conflicts: 1441000 | #Constraints: 61658
2687.87/2695.49 c #Conflicts: 1442000 | #Constraints: 62658
2687.87/2695.49 c #Conflicts: 1443000 | #Constraints: 63658
2687.87/2695.49 c #Conflicts: 1444000 | #Constraints: 64658
2687.87/2695.49 c #Conflicts: 1445000 | #Constraints: 65658
2687.87/2695.49 c #Conflicts: 1446000 | #Constraints: 66658
2687.87/2695.49 c #Conflicts: 1447000 | #Constraints: 67658
2687.87/2695.49 c INPROCESSING
2687.87/2695.49 c GARBAGE COLLECT
2687.87/2695.49 c #Conflicts: 1448000 | #Constraints: 38193
2687.87/2695.49 c #Conflicts: 1449000 | #Constraints: 39193
2687.87/2695.49 c #Conflicts: 1450000 | #Constraints: 40193
2687.87/2695.49 c #Conflicts: 1451000 | #Constraints: 41193
2687.87/2695.49 c #Conflicts: 1452000 | #Constraints: 42193
2687.87/2695.49 c #Conflicts: 1453000 | #Constraints: 43193
2687.87/2695.49 c #Conflicts: 1454000 | #Constraints: 44193
2687.87/2695.49 c #Conflicts: 1455000 | #Constraints: 45193
2687.87/2695.49 c #Conflicts: 1456000 | #Constraints: 46193
2687.87/2695.49 c #Conflicts: 1457000 | #Constraints: 47193
2687.87/2695.49 c #Conflicts: 1458000 | #Constraints: 48193
2687.87/2695.49 c #Conflicts: 1459000 | #Constraints: 49193
2687.87/2695.49 c #Conflicts: 1460000 | #Constraints: 50193
2687.87/2695.49 c #Conflicts: 1461000 | #Constraints: 51193
2687.87/2695.49 c #Conflicts: 1462000 | #Constraints: 52193
2687.87/2695.49 c #Conflicts: 1463000 | #Constraints: 53193
2687.87/2695.49 c #Conflicts: 1464000 | #Constraints: 54193
2687.87/2695.49 c #Conflicts: 1465000 | #Constraints: 55193
2687.87/2695.49 c #Conflicts: 1466000 | #Constraints: 56193
2687.87/2695.49 c #Conflicts: 1467000 | #Constraints: 57193
2687.87/2695.49 c #Conflicts: 1468000 | #Constraints: 58193
2687.87/2695.49 c #Conflicts: 1469000 | #Constraints: 59193
2687.87/2695.49 c #Conflicts: 1470000 | #Constraints: 60193
2687.87/2695.49 c #Conflicts: 1471000 | #Constraints: 61193
2687.87/2695.49 c #Conflicts: 1472000 | #Constraints: 62193
2687.87/2695.49 c #Conflicts: 1473000 | #Constraints: 63193
2687.87/2695.49 c #Conflicts: 1474000 | #Constraints: 64193
2687.87/2695.49 c INPROCESSING
2687.87/2695.49 c GARBAGE COLLECT
2687.87/2695.49 c #Conflicts: 1475000 | #Constraints: 36529
2687.87/2695.49 c #Conflicts: 1476000 | #Constraints: 37529
2687.87/2695.49 c #Conflicts: 1477000 | #Constraints: 38529
2687.87/2695.49 c #Conflicts: 1478000 | #Constraints: 39529
2687.87/2695.49 c #Conflicts: 1479000 | #Constraints: 40529
2687.87/2695.49 c #Conflicts: 1480000 | #Constraints: 41529
2687.87/2695.49 c #Conflicts: 1481000 | #Constraints: 42529
2687.87/2695.49 c #Conflicts: 1482000 | #Constraints: 43529
2687.87/2695.49 c #Conflicts: 1483000 | #Constraints: 44529
2687.87/2695.49 c #Conflicts: 1484000 | #Constraints: 45529
2687.87/2695.49 c #Conflicts: 1485000 | #Constraints: 46529
2687.87/2695.49 c #Conflicts: 1486000 | #Constraints: 47529
2687.87/2695.49 c #Conflicts: 1487000 | #Constraints: 48529
2687.87/2695.49 c #Conflicts: 1488000 | #Constraints: 49529
2687.87/2695.49 c #Conflicts: 1489000 | #Constraints: 50529
2687.87/2695.49 c #Conflicts: 1490000 | #Constraints: 51529
2687.87/2695.49 c #Conflicts: 1491000 | #Constraints: 52529
2687.87/2695.49 c #Conflicts: 1492000 | #Constraints: 53529
2687.87/2695.49 c #Conflicts: 1493000 | #Constraints: 54529
2687.87/2695.49 c #Conflicts: 1494000 | #Constraints: 55529
2687.87/2695.49 c #Conflicts: 1495000 | #Constraints: 56529
2687.87/2695.49 c #Conflicts: 1496000 | #Constraints: 57529
2687.87/2695.49 c #Conflicts: 1497000 | #Constraints: 58529
2687.87/2695.49 c #Conflicts: 1498000 | #Constraints: 59529
2687.87/2695.49 c #Conflicts: 1499000 | #Constraints: 60529
2687.87/2695.49 c #Conflicts: 1500000 | #Constraints: 61529
2687.87/2695.49 c #Conflicts: 1501000 | #Constraints: 62529
2687.87/2695.49 c INPROCESSING
2687.87/2695.49 c GARBAGE COLLECT
2687.87/2695.49 c #Conflicts: 1502000 | #Constraints: 35616
2687.87/2695.49 c #Conflicts: 1503000 | #Constraints: 36616
2687.87/2695.49 c #Conflicts: 1504000 | #Constraints: 37616
2687.87/2695.49 c #Conflicts: 1505000 | #Constraints: 38616
2687.87/2695.49 c #Conflicts: 1506000 | #Constraints: 39616
2687.87/2695.49 c #Conflicts: 1507000 | #Constraints: 40616
2687.87/2695.49 c #Conflicts: 1508000 | #Constraints: 41616
2687.87/2695.49 c #Conflicts: 1509000 | #Constraints: 42616
2687.87/2695.49 c #Conflicts: 1510000 | #Constraints: 43616
2687.87/2695.49 c #Conflicts: 1511000 | #Constraints: 44616
2687.87/2695.49 c #Conflicts: 1512000 | #Constraints: 45616
2687.87/2695.49 c #Conflicts: 1513000 | #Constraints: 46616
2687.87/2695.49 c #Conflicts: 1514000 | #Constraints: 47616
2942.59/2950.89 c #Conflicts: 1515000 | #Constraints: 48616
2942.59/2950.89 c #Conflicts: 1516000 | #Constraints: 49616
2942.59/2950.89 c #Conflicts: 1517000 | #Constraints: 50616
2942.59/2950.89 c #Conflicts: 1518000 | #Constraints: 51616
2942.59/2950.89 c #Conflicts: 1519000 | #Constraints: 52616
2942.59/2950.89 c #Conflicts: 1520000 | #Constraints: 53616
2942.59/2950.89 c #Conflicts: 1521000 | #Constraints: 54616
2942.59/2950.89 c #Conflicts: 1522000 | #Constraints: 55616
2942.59/2950.89 c #Conflicts: 1523000 | #Constraints: 56616
2942.59/2950.89 c #Conflicts: 1524000 | #Constraints: 57616
2942.59/2950.89 c #Conflicts: 1525000 | #Constraints: 58616
2942.59/2950.89 c #Conflicts: 1526000 | #Constraints: 59616
2942.59/2950.89 c #Conflicts: 1527000 | #Constraints: 60616
2942.59/2950.89 c #Conflicts: 1528000 | #Constraints: 61616
2942.59/2950.89 c #Conflicts: 1529000 | #Constraints: 62616
2942.59/2950.89 c #Conflicts: 1530000 | #Constraints: 63616
2942.59/2950.89 c #Conflicts: 1531000 | #Constraints: 64616
2942.59/2950.89 c #Conflicts: 1532000 | #Constraints: 65616
2942.59/2950.89 c #Conflicts: 1533000 | #Constraints: 66616
2942.59/2950.89 c #Conflicts: 1534000 | #Constraints: 67616
2942.59/2950.89 c #Conflicts: 1535000 | #Constraints: 68616
2942.59/2950.89 c #Conflicts: 1536000 | #Constraints: 69616
2942.59/2950.89 c #Conflicts: 1537000 | #Constraints: 70616
2942.59/2950.89 c #Conflicts: 1538000 | #Constraints: 71616
2942.59/2950.89 c #Conflicts: 1539000 | #Constraints: 72616
2942.59/2950.89 c #Conflicts: 1540000 | #Constraints: 73616
2942.59/2950.89 c #Conflicts: 1541000 | #Constraints: 74616
2942.59/2950.89 c #Conflicts: 1542000 | #Constraints: 75616
2942.59/2950.89 c #Conflicts: 1543000 | #Constraints: 76616
2942.59/2950.89 c #Conflicts: 1544000 | #Constraints: 77616
2942.59/2950.89 c #Conflicts: 1545000 | #Constraints: 78616
2942.59/2950.89 c #Conflicts: 1546000 | #Constraints: 79616
2942.59/2950.89 c #Conflicts: 1547000 | #Constraints: 80616
2942.59/2950.89 c #Conflicts: 1548000 | #Constraints: 81616
2942.59/2950.89 c #Conflicts: 1549000 | #Constraints: 82616
2942.59/2950.89 c #Conflicts: 1550000 | #Constraints: 83616
2942.59/2950.89 c #Conflicts: 1551000 | #Constraints: 84616
2942.59/2950.89 c #Conflicts: 1552000 | #Constraints: 85616
2942.59/2950.89 c #Conflicts: 1553000 | #Constraints: 86616
2942.59/2950.89 c #Conflicts: 1554000 | #Constraints: 87616
2942.59/2950.89 c #Conflicts: 1555000 | #Constraints: 88616
2942.59/2950.89 c #Conflicts: 1556000 | #Constraints: 89616
2942.59/2950.89 c #Conflicts: 1557000 | #Constraints: 90616
2942.59/2950.89 c #Conflicts: 1558000 | #Constraints: 91616
2942.59/2950.89 c #Conflicts: 1559000 | #Constraints: 92616
2942.59/2950.89 c #Conflicts: 1560000 | #Constraints: 93616
2942.59/2950.89 c #Conflicts: 1561000 | #Constraints: 94616
2942.59/2950.89 c #Conflicts: 1562000 | #Constraints: 95616
2942.59/2950.89 c #Conflicts: 1563000 | #Constraints: 96616
2942.59/2950.89 c #Conflicts: 1564000 | #Constraints: 97616
2942.59/2950.89 c #Conflicts: 1565000 | #Constraints: 98616
2942.59/2950.89 c #Conflicts: 1566000 | #Constraints: 99616
2942.59/2950.89 c #Conflicts: 1567000 | #Constraints: 100616
2942.59/2950.89 c #Conflicts: 1568000 | #Constraints: 101616
2942.59/2950.89 c #Conflicts: 1569000 | #Constraints: 102616
2942.59/2950.89 c #Conflicts: 1570000 | #Constraints: 103616
2942.59/2950.89 c #Conflicts: 1571000 | #Constraints: 104616
2942.59/2950.89 c #Conflicts: 1572000 | #Constraints: 105616
2942.59/2950.89 c #Conflicts: 1573000 | #Constraints: 106616
2942.59/2950.89 c #Conflicts: 1574000 | #Constraints: 107616
2942.59/2950.89 c #Conflicts: 1575000 | #Constraints: 108616
2942.59/2950.89 c #Conflicts: 1576000 | #Constraints: 109616
2942.59/2950.89 c #Conflicts: 1577000 | #Constraints: 110616
2942.59/2950.89 c #Conflicts: 1578000 | #Constraints: 111616
2942.59/2950.89 c #Conflicts: 1579000 | #Constraints: 112616
2942.59/2950.89 c #Conflicts: 1580000 | #Constraints: 113616
2942.59/2950.89 c #Conflicts: 1581000 | #Constraints: 114616
2942.59/2950.89 c #Conflicts: 1582000 | #Constraints: 115616
2942.59/2950.89 c #Conflicts: 1583000 | #Constraints: 116616
2942.59/2950.89 c #Conflicts: 1584000 | #Constraints: 117616
2942.59/2950.89 c #Conflicts: 1585000 | #Constraints: 118616
2942.59/2950.89 c #Conflicts: 1586000 | #Constraints: 119616
2942.59/2950.89 c #Conflicts: 1587000 | #Constraints: 120616
2942.59/2950.89 c #Conflicts: 1588000 | #Constraints: 121616
2942.59/2950.89 c #Conflicts: 1589000 | #Constraints: 122616
2942.59/2950.89 c #Conflicts: 1590000 | #Constraints: 123616
2942.59/2950.89 c #Conflicts: 1591000 | #Constraints: 124616
2942.59/2950.89 c #Conflicts: 1592000 | #Constraints: 125616
2942.59/2950.89 c #Conflicts: 1593000 | #Constraints: 126616
3177.50/3186.43 c #Conflicts: 1594000 | #Constraints: 127616
3177.50/3186.43 c #Conflicts: 1595000 | #Constraints: 128616
3177.50/3186.43 c #Conflicts: 1596000 | #Constraints: 129616
3177.50/3186.43 c #Conflicts: 1597000 | #Constraints: 130616
3177.50/3186.43 c #Conflicts: 1598000 | #Constraints: 131616
3177.50/3186.43 c #Conflicts: 1599000 | #Constraints: 132616
3177.50/3186.43 c INPROCESSING
3177.50/3186.43 c GARBAGE COLLECT
3177.50/3186.43 c #Conflicts: 1600000 | #Constraints: 70902
3177.50/3186.43 c #Conflicts: 1601000 | #Constraints: 71902
3177.50/3186.43 c #Conflicts: 1602000 | #Constraints: 72902
3177.50/3186.43 c #Conflicts: 1603000 | #Constraints: 73902
3177.50/3186.43 c #Conflicts: 1604000 | #Constraints: 74902
3177.50/3186.43 c #Conflicts: 1605000 | #Constraints: 75902
3177.50/3186.43 c #Conflicts: 1606000 | #Constraints: 76902
3177.50/3186.43 c #Conflicts: 1607000 | #Constraints: 77902
3177.50/3186.43 c #Conflicts: 1608000 | #Constraints: 78902
3177.50/3186.43 c #Conflicts: 1609000 | #Constraints: 79902
3177.50/3186.43 c #Conflicts: 1610000 | #Constraints: 80902
3177.50/3186.43 c #Conflicts: 1611000 | #Constraints: 81902
3177.50/3186.43 c #Conflicts: 1612000 | #Constraints: 82902
3177.50/3186.43 c #Conflicts: 1613000 | #Constraints: 83902
3177.50/3186.43 c #Conflicts: 1614000 | #Constraints: 84902
3177.50/3186.43 c #Conflicts: 1615000 | #Constraints: 85902
3177.50/3186.43 c #Conflicts: 1616000 | #Constraints: 86902
3177.50/3186.43 c #Conflicts: 1617000 | #Constraints: 87902
3177.50/3186.43 c #Conflicts: 1618000 | #Constraints: 88902
3177.50/3186.43 c #Conflicts: 1619000 | #Constraints: 89902
3177.50/3186.43 c #Conflicts: 1620000 | #Constraints: 90902
3177.50/3186.43 c #Conflicts: 1621000 | #Constraints: 91902
3177.50/3186.43 c #Conflicts: 1622000 | #Constraints: 92902
3177.50/3186.43 c #Conflicts: 1623000 | #Constraints: 93902
3177.50/3186.43 c #Conflicts: 1624000 | #Constraints: 94902
3177.50/3186.43 c #Conflicts: 1625000 | #Constraints: 95902
3177.50/3186.43 c #Conflicts: 1626000 | #Constraints: 96902
3177.50/3186.43 c #Conflicts: 1627000 | #Constraints: 97902
3177.50/3186.43 c INPROCESSING
3177.50/3186.43 c GARBAGE COLLECT
3177.50/3186.43 c #Conflicts: 1628000 | #Constraints: 53448
3177.50/3186.43 c #Conflicts: 1629000 | #Constraints: 54448
3177.50/3186.43 c #Conflicts: 1630000 | #Constraints: 55448
3177.50/3186.43 c #Conflicts: 1631000 | #Constraints: 56448
3177.50/3186.43 c #Conflicts: 1632000 | #Constraints: 57448
3177.50/3186.43 c #Conflicts: 1633000 | #Constraints: 58448
3177.50/3186.43 c #Conflicts: 1634000 | #Constraints: 59448
3177.50/3186.43 c #Conflicts: 1635000 | #Constraints: 60448
3177.50/3186.43 c #Conflicts: 1636000 | #Constraints: 61448
3177.50/3186.43 c #Conflicts: 1637000 | #Constraints: 62448
3177.50/3186.43 c #Conflicts: 1638000 | #Constraints: 63448
3177.50/3186.43 c #Conflicts: 1639000 | #Constraints: 64448
3177.50/3186.43 c #Conflicts: 1640000 | #Constraints: 65448
3177.50/3186.43 c #Conflicts: 1641000 | #Constraints: 66448
3177.50/3186.43 c #Conflicts: 1642000 | #Constraints: 67448
3177.50/3186.43 c #Conflicts: 1643000 | #Constraints: 68448
3177.50/3186.43 c #Conflicts: 1644000 | #Constraints: 69448
3177.50/3186.43 c #Conflicts: 1645000 | #Constraints: 70448
3177.50/3186.43 c #Conflicts: 1646000 | #Constraints: 71448
3177.50/3186.43 c #Conflicts: 1647000 | #Constraints: 72448
3177.50/3186.43 c #Conflicts: 1648000 | #Constraints: 73448
3177.50/3186.43 c #Conflicts: 1649000 | #Constraints: 74448
3177.50/3186.43 c #Conflicts: 1650000 | #Constraints: 75448
3177.50/3186.43 c #Conflicts: 1651000 | #Constraints: 76448
3177.50/3186.43 c #Conflicts: 1652000 | #Constraints: 77448
3177.50/3186.43 c #Conflicts: 1653000 | #Constraints: 78448
3177.50/3186.43 c #Conflicts: 1654000 | #Constraints: 79448
3177.50/3186.43 c #Conflicts: 1655000 | #Constraints: 80448
3177.50/3186.43 c #Conflicts: 1656000 | #Constraints: 81448
3177.50/3186.43 c INPROCESSING
3177.50/3186.43 c GARBAGE COLLECT
3177.50/3186.43 c #Conflicts: 1657000 | #Constraints: 45385
3177.50/3186.43 c #Conflicts: 1658000 | #Constraints: 46385
3177.50/3186.43 c #Conflicts: 1659000 | #Constraints: 47385
3177.50/3186.43 c #Conflicts: 1660000 | #Constraints: 48385
3177.50/3186.43 c #Conflicts: 1661000 | #Constraints: 49385
3177.50/3186.43 c #Conflicts: 1662000 | #Constraints: 50385
3177.50/3186.43 c #Conflicts: 1663000 | #Constraints: 51385
3177.50/3186.43 c #Conflicts: 1664000 | #Constraints: 52385
3177.50/3186.43 c #Conflicts: 1665000 | #Constraints: 53385
3177.50/3186.43 c #Conflicts: 1666000 | #Constraints: 54385
3177.50/3186.43 c #Conflicts: 1667000 | #Constraints: 55385
3177.50/3186.43 c #Conflicts: 1668000 | #Constraints: 56385
3177.50/3186.43 c #Conflicts: 1669000 | #Constraints: 57385
3302.12/3311.45 c #Conflicts: 1670000 | #Constraints: 58385
3302.12/3311.45 c #Conflicts: 1671000 | #Constraints: 59385
3302.12/3311.45 c #Conflicts: 1672000 | #Constraints: 60385
3302.12/3311.45 c #Conflicts: 1673000 | #Constraints: 61385
3302.12/3311.45 c #Conflicts: 1674000 | #Constraints: 62385
3302.12/3311.45 c #Conflicts: 1675000 | #Constraints: 63385
3302.12/3311.45 c #Conflicts: 1676000 | #Constraints: 64385
3302.12/3311.45 c #Conflicts: 1677000 | #Constraints: 65385
3302.12/3311.45 c #Conflicts: 1678000 | #Constraints: 66385
3302.12/3311.45 c #Conflicts: 1679000 | #Constraints: 67385
3302.12/3311.45 c #Conflicts: 1680000 | #Constraints: 68385
3302.12/3311.45 c #Conflicts: 1681000 | #Constraints: 69385
3302.12/3311.45 c #Conflicts: 1682000 | #Constraints: 70385
3302.12/3311.45 c #Conflicts: 1683000 | #Constraints: 71385
3302.12/3311.45 c #Conflicts: 1684000 | #Constraints: 72385
3302.12/3311.45 c INPROCESSING
3302.12/3311.45 c GARBAGE COLLECT
3302.12/3311.45 c #Conflicts: 1685000 | #Constraints: 40404
3302.12/3311.45 c #Conflicts: 1686000 | #Constraints: 41404
3302.12/3311.45 c #Conflicts: 1687000 | #Constraints: 42404
3302.12/3311.45 c #Conflicts: 1688000 | #Constraints: 43404
3302.12/3311.45 c #Conflicts: 1689000 | #Constraints: 44404
3302.12/3311.45 c #Conflicts: 1690000 | #Constraints: 45404
3302.12/3311.45 c #Conflicts: 1691000 | #Constraints: 46404
3302.12/3311.45 c #Conflicts: 1692000 | #Constraints: 47404
3302.12/3311.45 c #Conflicts: 1693000 | #Constraints: 48404
3302.12/3311.45 c #Conflicts: 1694000 | #Constraints: 49404
3302.12/3311.45 c #Conflicts: 1695000 | #Constraints: 50404
3302.12/3311.45 c #Conflicts: 1696000 | #Constraints: 51404
3302.12/3311.45 c #Conflicts: 1697000 | #Constraints: 52404
3302.12/3311.45 c #Conflicts: 1698000 | #Constraints: 53404
3302.12/3311.45 c #Conflicts: 1699000 | #Constraints: 54404
3302.12/3311.45 c #Conflicts: 1700000 | #Constraints: 55404
3302.12/3311.45 c #Conflicts: 1701000 | #Constraints: 56404
3302.12/3311.45 c #Conflicts: 1702000 | #Constraints: 57404
3302.12/3311.45 c #Conflicts: 1703000 | #Constraints: 58404
3302.12/3311.45 c #Conflicts: 1704000 | #Constraints: 59404
3302.12/3311.45 c #Conflicts: 1705000 | #Constraints: 60404
3302.12/3311.45 c #Conflicts: 1706000 | #Constraints: 61404
3302.12/3311.45 c #Conflicts: 1707000 | #Constraints: 62404
3302.12/3311.45 c #Conflicts: 1708000 | #Constraints: 63404
3302.12/3311.45 c #Conflicts: 1709000 | #Constraints: 64404
3302.12/3311.45 c #Conflicts: 1710000 | #Constraints: 65404
3302.12/3311.45 c #Conflicts: 1711000 | #Constraints: 66404
3302.12/3311.45 c #Conflicts: 1712000 | #Constraints: 67404
3302.12/3311.45 c #Conflicts: 1713000 | #Constraints: 68404
3302.12/3311.45 c INPROCESSING
3302.12/3311.45 c GARBAGE COLLECT
3302.12/3311.45 c #Conflicts: 1714000 | #Constraints: 38384
3302.12/3311.45 c #Conflicts: 1715000 | #Constraints: 39384
3302.12/3311.45 c #Conflicts: 1716000 | #Constraints: 40384
3302.12/3311.45 c #Conflicts: 1717000 | #Constraints: 41384
3302.12/3311.45 c #Conflicts: 1718000 | #Constraints: 42384
3302.12/3311.45 c #Conflicts: 1719000 | #Constraints: 43384
3302.12/3311.45 c #Conflicts: 1720000 | #Constraints: 44384
3302.12/3311.45 c #Conflicts: 1721000 | #Constraints: 45384
3302.12/3311.45 c #Conflicts: 1722000 | #Constraints: 46384
3302.12/3311.45 c #Conflicts: 1723000 | #Constraints: 47384
3302.12/3311.45 c #Conflicts: 1724000 | #Constraints: 48384
3302.12/3311.45 c #Conflicts: 1725000 | #Constraints: 49384
3302.12/3311.45 c #Conflicts: 1726000 | #Constraints: 50384
3302.12/3311.45 c #Conflicts: 1727000 | #Constraints: 51384
3302.12/3311.45 c #Conflicts: 1728000 | #Constraints: 52384
3302.12/3311.45 c #Conflicts: 1729000 | #Constraints: 53384
3302.12/3311.45 c #Conflicts: 1730000 | #Constraints: 54384
3302.12/3311.45 c #Conflicts: 1731000 | #Constraints: 55384
3302.12/3311.45 c #Conflicts: 1732000 | #Constraints: 56384
3302.12/3311.45 c #Conflicts: 1733000 | #Constraints: 57384
3302.12/3311.45 c #Conflicts: 1734000 | #Constraints: 58384
3302.12/3311.45 c #Conflicts: 1735000 | #Constraints: 59384
3302.12/3311.45 c #Conflicts: 1736000 | #Constraints: 60384
3302.12/3311.45 c #Conflicts: 1737000 | #Constraints: 61384
3302.12/3311.45 c #Conflicts: 1738000 | #Constraints: 62384
3302.12/3311.45 c #Conflicts: 1739000 | #Constraints: 63384
3302.12/3311.45 c #Conflicts: 1740000 | #Constraints: 64384
3302.12/3311.45 c #Conflicts: 1741000 | #Constraints: 65384
3302.12/3311.45 c #Conflicts: 1742000 | #Constraints: 66384
3302.12/3311.45 c #Conflicts: 1743000 | #Constraints: 67384
3302.12/3311.45 c INPROCESSING
3302.12/3311.45 c GARBAGE COLLECT
3302.12/3311.45 c #Conflicts: 1744000 | #Constraints: 38296
3302.12/3311.45 c #Conflicts: 1745000 | #Constraints: 39296
3302.12/3311.45 c #Conflicts: 1746000 | #Constraints: 40296
3536.22/3546.22 c #Conflicts: 1747000 | #Constraints: 41296
3536.22/3546.22 c #Conflicts: 1748000 | #Constraints: 42296
3536.22/3546.22 c #Conflicts: 1749000 | #Constraints: 43296
3536.22/3546.22 c #Conflicts: 1750000 | #Constraints: 44296
3536.22/3546.22 c #Conflicts: 1751000 | #Constraints: 45296
3536.22/3546.22 c #Conflicts: 1752000 | #Constraints: 46296
3536.22/3546.22 c #Conflicts: 1753000 | #Constraints: 47296
3536.22/3546.22 c #Conflicts: 1754000 | #Constraints: 48296
3536.22/3546.22 c #Conflicts: 1755000 | #Constraints: 49296
3536.22/3546.22 c #Conflicts: 1756000 | #Constraints: 50296
3536.22/3546.22 c #Conflicts: 1757000 | #Constraints: 51296
3536.22/3546.22 c #Conflicts: 1758000 | #Constraints: 52296
3536.22/3546.22 c #Conflicts: 1759000 | #Constraints: 53296
3536.22/3546.22 c #Conflicts: 1760000 | #Constraints: 54296
3536.22/3546.22 c #Conflicts: 1761000 | #Constraints: 55296
3536.22/3546.22 c #Conflicts: 1762000 | #Constraints: 56296
3536.22/3546.22 c #Conflicts: 1763000 | #Constraints: 57296
3536.22/3546.22 c #Conflicts: 1764000 | #Constraints: 58296
3536.22/3546.22 c #Conflicts: 1765000 | #Constraints: 59296
3536.22/3546.22 c #Conflicts: 1766000 | #Constraints: 60296
3536.22/3546.22 c #Conflicts: 1767000 | #Constraints: 61296
3536.22/3546.22 c #Conflicts: 1768000 | #Constraints: 62296
3536.22/3546.22 c #Conflicts: 1769000 | #Constraints: 63296
3536.22/3546.22 c #Conflicts: 1770000 | #Constraints: 64296
3536.22/3546.22 c #Conflicts: 1771000 | #Constraints: 65296
3536.22/3546.22 c #Conflicts: 1772000 | #Constraints: 66296
3536.22/3546.22 c #Conflicts: 1773000 | #Constraints: 67296
3536.22/3546.22 c #Conflicts: 1774000 | #Constraints: 68296
3536.22/3546.22 c #Conflicts: 1775000 | #Constraints: 69296
3536.22/3546.22 c #Conflicts: 1776000 | #Constraints: 70296
3536.22/3546.22 c #Conflicts: 1777000 | #Constraints: 71296
3536.22/3546.22 c #Conflicts: 1778000 | #Constraints: 72296
3536.22/3546.22 c #Conflicts: 1779000 | #Constraints: 73296
3536.22/3546.22 c #Conflicts: 1780000 | #Constraints: 74296
3536.22/3546.22 c #Conflicts: 1781000 | #Constraints: 75296
3536.22/3546.22 c #Conflicts: 1782000 | #Constraints: 76296
3536.22/3546.22 c #Conflicts: 1783000 | #Constraints: 77296
3536.22/3546.22 c #Conflicts: 1784000 | #Constraints: 78296
3536.22/3546.22 c #Conflicts: 1785000 | #Constraints: 79296
3536.22/3546.22 c #Conflicts: 1786000 | #Constraints: 80296
3536.22/3546.22 c #Conflicts: 1787000 | #Constraints: 81296
3536.22/3546.22 c #Conflicts: 1788000 | #Constraints: 82296
3536.22/3546.22 c #Conflicts: 1789000 | #Constraints: 83296
3536.22/3546.22 c #Conflicts: 1790000 | #Constraints: 84296
3536.22/3546.22 c #Conflicts: 1791000 | #Constraints: 85296
3536.22/3546.22 c #Conflicts: 1792000 | #Constraints: 86296
3536.22/3546.22 c #Conflicts: 1793000 | #Constraints: 87296
3536.22/3546.22 c #Conflicts: 1794000 | #Constraints: 88296
3536.22/3546.22 c #Conflicts: 1795000 | #Constraints: 89296
3536.22/3546.22 c #Conflicts: 1796000 | #Constraints: 90296
3536.22/3546.22 c #Conflicts: 1797000 | #Constraints: 91296
3536.22/3546.22 c #Conflicts: 1798000 | #Constraints: 92296
3536.22/3546.22 c #Conflicts: 1799000 | #Constraints: 93296
3536.22/3546.22 c #Conflicts: 1800000 | #Constraints: 94296
3536.22/3546.22 c #Conflicts: 1801000 | #Constraints: 95296
3536.22/3546.22 c #Conflicts: 1802000 | #Constraints: 96296
3536.22/3546.22 c #Conflicts: 1803000 | #Constraints: 97296
3536.22/3546.22 c #Conflicts: 1804000 | #Constraints: 98296
3536.22/3546.22 c #Conflicts: 1805000 | #Constraints: 99296
3536.22/3546.22 c #Conflicts: 1806000 | #Constraints: 100296
3536.22/3546.22 c #Conflicts: 1807000 | #Constraints: 101296
3536.22/3546.22 c #Conflicts: 1808000 | #Constraints: 102296
3536.22/3546.22 c #Conflicts: 1809000 | #Constraints: 103296
3536.22/3546.22 c #Conflicts: 1810000 | #Constraints: 104296
3536.22/3546.22 c #Conflicts: 1811000 | #Constraints: 105296
3536.22/3546.22 c #Conflicts: 1812000 | #Constraints: 106296
3536.22/3546.22 c #Conflicts: 1813000 | #Constraints: 107296
3536.22/3546.22 c #Conflicts: 1814000 | #Constraints: 108296
3536.22/3546.22 c #Conflicts: 1815000 | #Constraints: 109296
3536.22/3546.22 c #Conflicts: 1816000 | #Constraints: 110296
3536.22/3546.22 c #Conflicts: 1817000 | #Constraints: 111296
3536.22/3546.22 c #Conflicts: 1818000 | #Constraints: 112296
3536.22/3546.22 c #Conflicts: 1819000 | #Constraints: 113296
3536.22/3546.22 c #Conflicts: 1820000 | #Constraints: 114296
3536.22/3546.22 c #Conflicts: 1821000 | #Constraints: 115296
3536.22/3546.22 c #Conflicts: 1822000 | #Constraints: 116296
3536.22/3546.22 c #Conflicts: 1823000 | #Constraints: 117296
3536.22/3546.22 c #Conflicts: 1824000 | #Constraints: 118296
3536.22/3546.22 c #Conflicts: 1825000 | #Constraints: 119296
3600.02/3610.20 c #Conflicts: 1826000 | #Constraints: 120296
3600.02/3610.20 c #Conflicts: 1827000 | #Constraints: 121296
3600.02/3610.20 c #Conflicts: 1828000 | #Constraints: 122296
3600.02/3610.20 c #Conflicts: 1829000 | #Constraints: 123296
3600.02/3610.20 c #Conflicts: 1830000 | #Constraints: 124296
3600.02/3610.20 c #Conflicts: 1831000 | #Constraints: 125296
3600.02/3610.20 c #Conflicts: 1832000 | #Constraints: 126296
3600.02/3610.20 c #Conflicts: 1833000 | #Constraints: 127296
3600.02/3610.20 c #Conflicts: 1834000 | #Constraints: 128296
3600.02/3610.20 c #Conflicts: 1835000 | #Constraints: 129296
3600.02/3610.20 c #Conflicts: 1836000 | #Constraints: 130296
3600.02/3610.20 c #Conflicts: 1837000 | #Constraints: 131296
3600.02/3610.20 c #Conflicts: 1838000 | #Constraints: 132296
3600.02/3610.20 c cpu time 3583.36 s
3600.02/3610.20 c deterministic time 272037183888 2.72e+11
3600.02/3610.20 c optimization time 300.339 s
3600.02/3610.20 c total solve time 3283 s
3600.02/3610.20 c core-guided solve time 0 s
3600.02/3610.20 c propagation time 1997.94 s
3600.02/3610.20 c conflict analysis time 1351.53 s
3600.02/3610.20 c propagations 911765938
3600.02/3610.20 c resolve steps 83540757
3600.02/3610.20 c decisions 12716708
3600.02/3610.20 c conflicts 1838900
3600.02/3610.20 c restarts 3579
3600.02/3610.20 c inprocessing phases 83
3600.02/3610.20 c garbage collections 83 ,( 100.00 )
3600.02/3610.20 c input clauses 6398 ,( 98.61 )
3600.02/3610.20 c input cardinalities 90 ,( 1.39 )
3600.02/3610.20 c input general constraints 0 ,( 0.00 )
3600.02/3610.20 c input average constraint length 6.14
3600.02/3610.20 c input average constraint degree 1.92
3600.02/3610.20 c learned clauses 1420219 ,( 77.23 )
3600.02/3610.20 c learned cardinalities 28455 ,( 1.55 )
3600.02/3610.20 c learned general constraints 390244 ,( 21.22 )
3600.02/3610.20 c learned average constraint length 706.82
3600.02/3610.20 c learned average constraint degree 11179006.58
3600.02/3610.20 c watched CF 32, 64, 128, Arb: 128441 , 0 , 0 , 0
3600.02/3610.20 c counting CF 32, 64, 128, Arb: 261803 , 0 , 0 , 0
3600.02/3610.20 c watched constraints 128441 ,( 32.91 )
3600.02/3610.20 c counting constraints 261803 ,( 67.09 )
3600.02/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1478107242 , 628217617 , 4159603043 ,( 151474686 , 4008128357 )
3600.02/3610.20 c gcd simplifications 973
3600.02/3610.20 c detected cardinalities 1804
3600.02/3610.20 c weakened non-implied lits 353616546
3600.02/3610.20 c weakened non-implying lits 245615
3600.02/3610.20 c original variables 6183
3600.02/3610.20 c clausal propagations 345398015
3600.02/3610.20 c cardinality propagations 336554624
3600.02/3610.20 c watched propagations 4326041
3600.02/3610.20 c counting propagations 219610093
3600.02/3610.20 c watch lookups 150278309444
3600.02/3610.20 c watch backjump lookups 0
3600.02/3610.20 c watch checks 42836495453
3600.02/3610.20 c propagation checks 72549348217
3600.02/3610.20 c constraint additions 4521815652
3600.02/3610.20 c trail pops 926316040
3600.02/3610.20 c formula constraints 6488
3600.02/3610.20 c learned constraints 1838893
3600.02/3610.20 c bound constraints 0
3600.02/3610.20 c core-guided constraints 0
3600.02/3610.20 c encountered formula constraints 49537374
3600.02/3610.20 c encountered learned constraints 35841865
3600.02/3610.20 c encountered bound constraints 0
3600.02/3610.20 c encountered core-guided constraints 0
3600.02/3610.20 c LP total time 205.592 s
3600.02/3610.20 c LP solve time 200.33 s
3600.02/3610.20 c LP constraints added 6878
3600.02/3610.20 c LP constraints removed 214
3600.02/3610.20 c LP pivots internal 189513
3600.02/3610.20 c LP pivots root 226922
3600.02/3610.20 c LP calls 33
3600.02/3610.20 c LP optimalities 10
3600.02/3610.20 c LP no pivot count 0
3600.02/3610.20 c LP infeasibilities 15
3600.02/3610.20 c LP valid Farkas constraints 15
3600.02/3610.20 c LP learned Farkas constraints 6
3600.02/3610.20 c LP basis resets 1
3600.02/3610.20 c LP cycling count 1
3600.02/3610.20 c LP singular count 0
3600.02/3610.20 c LP no primal count 0
3600.02/3610.20 c LP no farkas count 0
3600.02/3610.20 c LP other issue count 0
3600.02/3610.20 c LP Gomory cuts 4
3600.02/3610.20 c LP learned cuts 386
3600.02/3610.20 c LP deleted cuts 214
3600.02/3610.20 c LP encountered Gomory constraints 1
3600.02/3610.20 c LP encountered Farkas constraints 402
3600.02/3610.20 c LP encountered learned Farkas constraints 9
3600.02/3610.20 c CG auxiliary variables introduced 0
3600.02/3610.20 c CG solutions found 0
3600.02/3610.20 c CG cores constructed 0
3600.02/3610.20 c CG core cardinality constraints returned 0
3600.02/3610.20 c CG unit cores 0
3600.02/3610.20 c CG single cores 0
3600.02/3610.20 c CG blocks removed during cardinality reduction 0
3600.02/3610.20 c CG first core best 0
3600.02/3610.20 c CG decision core best 0
3600.02/3610.20 c CG core reduction tie 0
3600.02/3610.20 c CG core degree average 0.00
3600.02/3610.20 c CG core slack average 0.00
3600.02/3610.20 c CG core upper bound improvements 0
3600.02/3610.20 c STR number of successful calls 0
3600.02/3610.20 c STR number of unsuccessful calls 0
3600.02/3610.20 c STR number of inconclusive calls 0
3600.02/3610.20 c STR number of successful attempts 0
3600.02/3610.20 c STR number of unsuccessful attempts 0
3600.02/3610.20 c STR number of inconclusive attempts 0
3600.02/3610.20 c STR average degree increase per successful call inf
3600.02/3610.20 c STR average degree increase per successful attempt inf
3600.02/3610.20 c STR total number of conflicts for successful attempts 0
3600.02/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.20 c STR average number of conflicts per successful attempt inf
3600.02/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.20 c AVG.sumWPerc 59.55
3600.02/3610.20 c bigint constraints 0
3600.02/3610.20 s UNKNOWN
3600.02/3610.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (63023 MiB free)
memory of node 1: 64507 MiB (63951 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507268-1751179929/watcher-4507268-1751179929 -o /tmp/evaluation-result-4507268-1751179929/solver-4507268-1751179929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18876 --watchdog 3760 run-dec-break.sh HOME/instance-4507268-1751179929.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19680, runsolver pid=19674
[startup+0.100061 s]*
/proc/loadavg: 4.11 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129991784/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=72836 memory=27720 CPUtime=0.05 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 4974 0 0 0 4 1 0 0 20 0 1 0 33670710 74584064 6930 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 18209 6930 2304 1147 0 5636 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 77028 KiB
Current children cumulated memory: 30664 KiB
[startup+0.205812 s]*
/proc/loadavg: 4.11 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129942132/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=73320 memory=28616 CPUtime=0.15 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 5163 0 0 0 14 1 0 0 20 0 1 0 33670710 75079680 7154 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 18330 7154 2336 1147 0 5757 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 77512 KiB
Current children cumulated memory: 31560 KiB
[startup+0.30562 s]*
/proc/loadavg: 4.11 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129941900/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=73320 memory=28616 CPUtime=0.25 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 5163 0 0 0 24 1 0 0 20 0 1 0 33670710 75079680 7154 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 18330 7154 2336 1147 0 5757 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 77512 KiB
Current children cumulated memory: 31560 KiB
[startup+0.700171 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129941144/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=74572 memory=29768 CPUtime=0.64 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 5471 0 0 0 63 1 0 0 20 0 1 0 33670710 76361728 7442 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 18643 7442 2336 1147 0 6070 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 32712 KiB
[startup+1.50016 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129941144/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=76624 memory=32200 CPUtime=1.44 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 6056 0 0 0 140 4 0 0 20 0 1 0 33670710 78462976 8050 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 19156 8050 2368 1147 0 6583 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 80816 KiB
Current children cumulated memory: 35144 KiB
[startup+3.10551 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129932264/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=79640 memory=37256 CPUtime=3.03 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 6806 0 0 0 295 8 0 0 20 0 1 0 33670710 81551360 9314 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 19910 9314 2368 1147 0 7337 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 83832 KiB
Current children cumulated memory: 40200 KiB
[startup+6.30015 s]
/proc/loadavg: 4.09 4.08 4.09 5/268 19684
/proc/meminfo: memFree=129914668/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=86940 memory=43920 CPUtime=6.22 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 7953 0 0 0 607 15 0 0 20 0 1 0 33670710 89026560 10980 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 21735 10980 2368 1147 0 9162 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 91132 KiB
Current children cumulated memory: 46864 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.08 4.09 5/268 19684
/proc/meminfo: memFree=129885976/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=89748 memory=46992 CPUtime=12.6 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 8713 0 0 0 1234 26 0 0 20 0 1 0 33670710 91901952 11748 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 22437 11748 2368 1147 0 9864 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 93940 KiB
Current children cumulated memory: 49936 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 19684
/proc/meminfo: memFree=129818224/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=99556 memory=55880 CPUtime=25.36 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 10441 0 0 0 2482 54 0 0 20 0 1 0 33670710 101945344 13970 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 24889 13970 2368 1147 0 12316 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 103748 KiB
Current children cumulated memory: 58824 KiB
[startup+51.1059 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19684
/proc/meminfo: memFree=129684748/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=155852 memory=102620 CPUtime=50.89 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 16530 0 0 0 4999 90 0 0 20 0 1 0 33670710 159592448 25655 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 38963 25655 2368 1147 0 26390 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 160044 KiB
Current children cumulated memory: 105564 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19686
/proc/meminfo: memFree=129463372/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=211260 memory=143652 CPUtime=101.92 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 22682 0 0 0 10045 147 0 0 20 0 1 0 33670710 216330240 35913 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 52815 35913 2368 1147 0 40242 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 215452 KiB
Current children cumulated memory: 146596 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 19688
/proc/meminfo: memFree=129335060/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=220152 memory=172292 CPUtime=161.73 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 24745 0 0 0 15968 205 0 0 20 0 1 0 33670710 225435648 43073 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 55038 43073 2368 1147 0 42465 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 224344 KiB
Current children cumulated memory: 175236 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/267 19690
/proc/meminfo: memFree=129226452/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=298088 memory=209092 CPUtime=221.55 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 32375 0 0 0 21903 252 0 0 20 0 1 0 33670710 305242112 52273 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 74522 52273 2400 1147 0 61949 0
Current children cumulated CPU time: 221.56 s
################
# More data... #
################
/proc/19683/statm: 239840 187945 2400 1147 0 227267 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 963552 KiB
Current children cumulated memory: 754724 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/266 19838
/proc/meminfo: memFree=126340148/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=959360 memory=751780 CPUtime=3093.65 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 83138 0 0 0 307885 1480 0 0 20 0 1 0 33670710 982384640 187945 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 239840 187945 2400 1147 0 227267 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 963552 KiB
Current children cumulated memory: 754724 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/266 19840
/proc/meminfo: memFree=126349692/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=957748 memory=750428 CPUtime=3153.47 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 83925 0 0 0 313828 1519 0 0 20 0 1 0 33670710 980733952 187607 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 239437 187607 2400 1147 0 226864 0
Current children cumulated CPU time: 3153.48 s
Current children cumulated vsize: 961940 KiB
Current children cumulated memory: 753372 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/266 19842
/proc/meminfo: memFree=126297304/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=958720 memory=751196 CPUtime=3213.28 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 84115 0 0 0 319778 1550 0 0 20 0 1 0 33670710 981729280 187799 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 239680 187799 2400 1147 0 227107 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 962912 KiB
Current children cumulated memory: 754140 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/266 19844
/proc/meminfo: memFree=126279176/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=958720 memory=751196 CPUtime=3273.11 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 84116 0 0 0 325733 1578 0 0 20 0 1 0 33670710 981729280 187799 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 239680 187799 2400 1147 0 227107 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 962912 KiB
Current children cumulated memory: 754140 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/267 19849
/proc/meminfo: memFree=126285384/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=958720 memory=751196 CPUtime=3332.93 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 84156 0 0 0 331689 1604 0 0 20 0 1 0 33670710 981729280 187799 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 239680 187799 2400 1147 0 227107 0
Current children cumulated CPU time: 3332.94 s
Current children cumulated vsize: 962912 KiB
Current children cumulated memory: 754140 KiB
[startup+3402.3 s]
/proc/loadavg: 4.31 4.19 4.15 5/267 19855
/proc/meminfo: memFree=126299044/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=958720 memory=751196 CPUtime=3392.74 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 84198 0 0 0 337653 1621 0 0 20 0 1 0 33670710 981729280 187799 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 239680 187799 2400 1147 0 227107 0
Current children cumulated CPU time: 3392.75 s
Current children cumulated vsize: 962912 KiB
Current children cumulated memory: 754140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/267 19857
/proc/meminfo: memFree=126299060/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=958720 memory=751196 CPUtime=3452.57 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 84228 0 0 0 343618 1639 0 0 20 0 1 0 33670710 981729280 187799 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 239680 187799 2400 1147 0 227107 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 962912 KiB
Current children cumulated memory: 754140 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/267 19859
/proc/meminfo: memFree=126273532/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=959172 memory=751708 CPUtime=3512.38 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 84378 0 0 0 349587 1651 0 0 20 0 1 0 33670710 982192128 187927 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 239793 187927 2400 1147 0 227220 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 963364 KiB
Current children cumulated memory: 754652 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/267 19861
/proc/meminfo: memFree=126265460/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=961668 memory=753372 CPUtime=3572.2 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 84827 0 0 0 355559 1661 0 0 20 0 1 0 33670710 984748032 188343 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 240417 188343 2400 1147 0 227844 0
Current children cumulated CPU time: 3572.21 s
Current children cumulated vsize: 965860 KiB
Current children cumulated memory: 756316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.08 4.14 4.13 3/256 19921
/proc/meminfo: memFree=129345096/131249996 swapFree=33010684/33010684
[pid=19680] ppid=19674 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/19680/stat : 19680 (run-dec-break.s) S 19674 19680 18866 0 -1 4194304 235 4341 0 0 0 0 1 0 20 0 1 0 33670706 4292608 736 18446744073709551615 94070041509888 94070042404421 140720336767152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94070042643472 94070042691216 94070062571520 140720336771425 140720336771554 140720336771554 140720336777156 0
/proc/19680/statm: 1048 736 672 219 0 110 0
[pid=19683] ppid=19680 vsize=964100 memory=754908 CPUtime=3600.01 cores=0,2
/proc/19683/stat : 19683 (roundingsat) R 19680 19680 18866 0 -1 4194304 85208 0 0 0 358336 1665 0 0 20 0 1 0 33670710 987238400 188727 18446744073709551615 4227072 8923433 140736797977600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32964608 140736797985092 140736797985320 140736797985320 140736797990890 0
/proc/19683/statm: 241025 188727 2400 1147 0 228452 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 968292 KiB
Current children cumulated memory: 757852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 19680 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.021594 s, system=0.005054 s
[startup+3610.21 s]
# the end of solver process 19683 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.39 s, system=16.6677 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.21
CPU time (s): 3600.06
CPU user time (s): 3583.39
CPU system time (s): 16.6677
CPU usage (%): 99.7188
Max. virtual memory (cumulated for all children) (KiB): 968292
Max. memory (cumulated for all children) (KiB): 757852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.39
system time used= 16.6677
maximum resident set size= 755164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 317
involuntary context switches= 8013
# summary of solver processes directly reported to runsolver:
# pid: 19680,19683
# total CPU time (s): 3600.06
# total CPU user time (s): 3583.39
# total CPU system time (s): 16.6677
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1988 second user time and 16.6562 second system time
The end
Begin job on nodeC022 at 2025-06-29 08:52:09
IDJOB=4507268
IDBENCH=158339
IDSOLVER=3357
FILE ID=nodeC022/4507268-1751179929
RUNJOBID= nodeC022-1751172706-18876
SLURM_JOB_ID= 9587539
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507268-1751179929/watcher-4507268-1751179929 -o /tmp/evaluation-result-4507268-1751179929/solver-4507268-1751179929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18876 --watchdog 3760 run-dec-break.sh HOME/instance-4507268-1751179929.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=986727168
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.714
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.735
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.461
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.776
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.076
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.721
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.453
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.093
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130037940 kB
MemAvailable: 129693168 kB
Buffers: 3280 kB
Cached: 466180 kB
SwapCached: 0 kB
Active: 403576 kB
Inactive: 217808 kB
Active(anon): 169996 kB
Inactive(anon): 0 kB
Active(file): 233580 kB
Inactive(file): 217808 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 34204 kB
Writeback: 0 kB
AnonPages: 155356 kB
Mapped: 103660 kB
Shmem: 18060 kB
KReclaimable: 85760 kB
Slab: 169076 kB
SReclaimable: 85760 kB
SUnreclaim: 83316 kB
KernelStack: 4288 kB
PageTables: 3196 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 516504 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC022 at 2025-06-29 09:52:20