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-4507305-1751175967.opb'
0.00/0.01 c read 0.40MB (5.57ms)
0.00/0.01 c [cnf: #variables 6256 #clauses 6442 #duplicates 0 #arr 40155]
0.00/0.02 c output proof to 'PROOFDIR/proof-4507305-1751175967'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 1104] (7.26ms)
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.37ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 31466 #edges 117846]
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.65ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c (0.02ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c add generic predicates (break_depth=10)
0.00/0.03 c added predicates for 7 generators (0.03ms)
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 196 #add_vars 63]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4507305-1751175967.opb.pre'
0.00/0.03 c wrote 0.41MB (1.08ms)
0.00/0.03 c ------------------------------------------------------------------
0.00/0.03 c 7.26ms 26.45% approx_orbits
0.00/0.03 c 6.65ms 24.26% detect_generic
0.00/0.03 c 5.57ms 20.30% parse
0.00/0.03 c 5.23ms 19.06% other
0.00/0.03 c 1.37ms 5.01% detect_special
0.00/0.03 c 1.08ms 3.94% output
0.00/0.03 c 0.22ms 0.80% finalize_order
0.00/0.03 c 0.03ms 0.10% break_generic
0.00/0.03 c 0.02ms 0.09% optimize_gens
0.00/0.03 c ───────────────────────────────────────────────
0.00/0.03 c 27.43ms 100% total
0.00/0.03 c ------------------------------------------------------------------
0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 63f22ad
0.06/0.11 c #variables 6319 #constraints 6628
48.24/48.59 c #Conflicts: 1000 | #Constraints: 7627
48.24/48.59 c #Conflicts: 2000 | #Constraints: 8627
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 3000 | #Constraints: 8304
48.24/48.59 c #Conflicts: 4000 | #Constraints: 9304
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 5000 | #Constraints: 8767
48.24/48.59 c #Conflicts: 6000 | #Constraints: 9767
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 7000 | #Constraints: 8814
48.24/48.59 c #Conflicts: 8000 | #Constraints: 9814
48.24/48.59 c #Conflicts: 9000 | #Constraints: 10814
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 10000 | #Constraints: 9539
48.24/48.59 c #Conflicts: 11000 | #Constraints: 10539
48.24/48.59 c #Conflicts: 12000 | #Constraints: 11539
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 13000 | #Constraints: 10035
48.24/48.59 c #Conflicts: 14000 | #Constraints: 11035
48.24/48.59 c #Conflicts: 15000 | #Constraints: 12035
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 16000 | #Constraints: 10264
48.24/48.59 c #Conflicts: 17000 | #Constraints: 11264
48.24/48.59 c #Conflicts: 18000 | #Constraints: 12264
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 19000 | #Constraints: 10289
48.24/48.59 c #Conflicts: 20000 | #Constraints: 11289
48.24/48.59 c #Conflicts: 21000 | #Constraints: 12289
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 22000 | #Constraints: 10097
48.24/48.59 c #Conflicts: 23000 | #Constraints: 11097
48.24/48.59 c #Conflicts: 24000 | #Constraints: 12097
48.24/48.59 c #Conflicts: 25000 | #Constraints: 13097
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 26000 | #Constraints: 10738
48.24/48.59 c #Conflicts: 27000 | #Constraints: 11738
48.24/48.59 c #Conflicts: 28000 | #Constraints: 12738
48.24/48.59 c #Conflicts: 29000 | #Constraints: 13738
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 30000 | #Constraints: 11146
48.24/48.59 c #Conflicts: 31000 | #Constraints: 12146
48.24/48.59 c #Conflicts: 32000 | #Constraints: 13146
48.24/48.59 c #Conflicts: 33000 | #Constraints: 14146
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 34000 | #Constraints: 11384
48.24/48.59 c #Conflicts: 35000 | #Constraints: 12384
48.24/48.59 c #Conflicts: 36000 | #Constraints: 13384
48.24/48.59 c #Conflicts: 37000 | #Constraints: 14384
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 38000 | #Constraints: 11431
48.24/48.59 c #Conflicts: 39000 | #Constraints: 12431
48.24/48.59 c #Conflicts: 40000 | #Constraints: 13431
48.24/48.59 c #Conflicts: 41000 | #Constraints: 14431
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 42000 | #Constraints: 11246
48.24/48.59 c #Conflicts: 43000 | #Constraints: 12246
48.24/48.59 c #Conflicts: 44000 | #Constraints: 13246
48.24/48.59 c #Conflicts: 45000 | #Constraints: 14246
48.24/48.59 c #Conflicts: 46000 | #Constraints: 15246
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 47000 | #Constraints: 11869
48.24/48.59 c #Conflicts: 48000 | #Constraints: 12869
48.24/48.59 c #Conflicts: 49000 | #Constraints: 13869
48.24/48.59 c #Conflicts: 50000 | #Constraints: 14869
48.24/48.59 c #Conflicts: 51000 | #Constraints: 15869
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 52000 | #Constraints: 12263
48.24/48.59 c #Conflicts: 53000 | #Constraints: 13263
48.24/48.59 c #Conflicts: 54000 | #Constraints: 14263
48.24/48.59 c #Conflicts: 55000 | #Constraints: 15263
48.24/48.59 c #Conflicts: 56000 | #Constraints: 16263
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 57000 | #Constraints: 12458
48.24/48.59 c #Conflicts: 58000 | #Constraints: 13458
48.24/48.59 c #Conflicts: 59000 | #Constraints: 14458
48.24/48.59 c #Conflicts: 60000 | #Constraints: 15458
48.24/48.59 c #Conflicts: 61000 | #Constraints: 16458
48.24/48.59 c INPROCESSING
48.24/48.59 c GARBAGE COLLECT
48.24/48.59 c #Conflicts: 62000 | #Constraints: 12484
48.24/48.59 c #Conflicts: 63000 | #Constraints: 13484
48.24/48.59 c #Conflicts: 64000 | #Constraints: 14484
48.24/48.59 c #Conflicts: 65000 | #Constraints: 15484
48.24/48.59 c #Conflicts: 66000 | #Constraints: 16484
48.24/48.59 c #Conflicts: 67000 | #Constraints: 17484
48.24/48.59 c #Conflicts: 68000 | #Constraints: 18484
122.56/123.23 c #Conflicts: 69000 | #Constraints: 19484
122.56/123.23 c #Conflicts: 70000 | #Constraints: 20484
122.56/123.23 c #Conflicts: 71000 | #Constraints: 21484
122.56/123.23 c #Conflicts: 72000 | #Constraints: 22484
122.56/123.23 c #Conflicts: 73000 | #Constraints: 23484
122.56/123.23 c #Conflicts: 74000 | #Constraints: 24484
122.56/123.23 c #Conflicts: 75000 | #Constraints: 25484
122.56/123.23 c #Conflicts: 76000 | #Constraints: 26484
122.56/123.23 c #Conflicts: 77000 | #Constraints: 27484
122.56/123.23 c #Conflicts: 78000 | #Constraints: 28484
122.56/123.23 c #Conflicts: 79000 | #Constraints: 29484
122.56/123.23 c #Conflicts: 80000 | #Constraints: 30484
122.56/123.23 c #Conflicts: 81000 | #Constraints: 31484
122.56/123.23 c #Conflicts: 82000 | #Constraints: 32484
122.56/123.23 c INPROCESSING
122.56/123.23 c GARBAGE COLLECT
122.56/123.23 c #Conflicts: 83000 | #Constraints: 20262
122.56/123.23 c #Conflicts: 84000 | #Constraints: 21262
122.56/123.23 c #Conflicts: 85000 | #Constraints: 22262
122.56/123.23 c #Conflicts: 86000 | #Constraints: 23262
122.56/123.23 c #Conflicts: 87000 | #Constraints: 24262
122.56/123.23 c #Conflicts: 88000 | #Constraints: 25262
122.56/123.23 c #Conflicts: 89000 | #Constraints: 26262
122.56/123.23 c INPROCESSING
122.56/123.23 c GARBAGE COLLECT
122.56/123.23 c #Conflicts: 90000 | #Constraints: 17383
122.56/123.23 c #Conflicts: 91000 | #Constraints: 18383
122.56/123.23 c #Conflicts: 92000 | #Constraints: 19383
122.56/123.23 c #Conflicts: 93000 | #Constraints: 20383
122.56/123.23 c #Conflicts: 94000 | #Constraints: 21383
122.56/123.23 c #Conflicts: 95000 | #Constraints: 22383
122.56/123.23 c #Conflicts: 96000 | #Constraints: 23383
122.56/123.23 c INPROCESSING
122.56/123.23 c GARBAGE COLLECT
122.56/123.23 c #Conflicts: 97000 | #Constraints: 16128
122.56/123.23 c #Conflicts: 98000 | #Constraints: 17128
122.56/123.23 c #Conflicts: 99000 | #Constraints: 18128
122.56/123.23 c #Conflicts: 100000 | #Constraints: 19128
122.56/123.23 c #Conflicts: 101000 | #Constraints: 20129
122.56/123.23 c #Conflicts: 102000 | #Constraints: 21129
122.56/123.23 c INPROCESSING
122.56/123.23 c GARBAGE COLLECT
122.56/123.23 c #Conflicts: 103000 | #Constraints: 14535
122.56/123.23 c #Conflicts: 104000 | #Constraints: 15535
122.56/123.23 c #Conflicts: 105000 | #Constraints: 16535
122.56/123.23 c #Conflicts: 106000 | #Constraints: 17535
122.56/123.23 c #Conflicts: 107000 | #Constraints: 18535
122.56/123.23 c #Conflicts: 108000 | #Constraints: 19535
122.56/123.23 c #Conflicts: 109000 | #Constraints: 20535
122.56/123.23 c #Conflicts: 110000 | #Constraints: 21535
122.56/123.23 c INPROCESSING
122.56/123.23 c GARBAGE COLLECT
122.56/123.23 c #Conflicts: 111000 | #Constraints: 15162
122.56/123.23 c #Conflicts: 112000 | #Constraints: 16162
122.56/123.23 c #Conflicts: 113000 | #Constraints: 17162
122.56/123.23 c #Conflicts: 114000 | #Constraints: 18162
122.56/123.23 c #Conflicts: 115000 | #Constraints: 19162
122.56/123.23 c #Conflicts: 116000 | #Constraints: 20162
122.56/123.23 c #Conflicts: 117000 | #Constraints: 21162
122.56/123.23 c INPROCESSING
122.56/123.23 c GARBAGE COLLECT
122.56/123.23 c #Conflicts: 118000 | #Constraints: 14864
122.56/123.23 c #Conflicts: 119000 | #Constraints: 15864
122.56/123.23 c #Conflicts: 120000 | #Constraints: 16864
122.56/123.23 c #Conflicts: 121000 | #Constraints: 17864
122.56/123.23 c #Conflicts: 122000 | #Constraints: 18864
122.56/123.23 c #Conflicts: 123000 | #Constraints: 19864
122.56/123.23 c #Conflicts: 124000 | #Constraints: 20864
122.56/123.23 c #Conflicts: 125000 | #Constraints: 21864
122.56/123.23 c #Conflicts: 126000 | #Constraints: 22864
122.56/123.23 c #Conflicts: 127000 | #Constraints: 23864
122.56/123.23 c #Conflicts: 128000 | #Constraints: 24864
122.56/123.23 c #Conflicts: 129000 | #Constraints: 25864
122.56/123.23 c #Conflicts: 130000 | #Constraints: 26864
122.56/123.23 c #Conflicts: 131000 | #Constraints: 27864
122.56/123.23 c #Conflicts: 132000 | #Constraints: 28864
122.56/123.23 c #Conflicts: 133000 | #Constraints: 29864
122.56/123.23 c #Conflicts: 134000 | #Constraints: 30864
122.56/123.23 c #Conflicts: 135000 | #Constraints: 31864
122.56/123.23 c #Conflicts: 136000 | #Constraints: 32864
122.56/123.23 c #Conflicts: 137000 | #Constraints: 33864
122.56/123.23 c #Conflicts: 138000 | #Constraints: 34864
122.56/123.23 c #Conflicts: 139000 | #Constraints: 35864
122.56/123.23 c #Conflicts: 140000 | #Constraints: 36864
122.56/123.23 c #Conflicts: 141000 | #Constraints: 37864
122.56/123.23 c #Conflicts: 142000 | #Constraints: 38864
122.56/123.23 c #Conflicts: 143000 | #Constraints: 39864
209.54/218.00 c #Conflicts: 144000 | #Constraints: 40864
209.54/218.00 c #Conflicts: 145000 | #Constraints: 41864
209.54/218.00 c #Conflicts: 146000 | #Constraints: 42864
209.54/218.00 c INPROCESSING
209.54/218.00 c GARBAGE COLLECT
209.54/218.00 c #Conflicts: 147000 | #Constraints: 25675
209.54/218.00 c #Conflicts: 148000 | #Constraints: 26675
209.54/218.00 c #Conflicts: 149000 | #Constraints: 27675
209.54/218.00 c #Conflicts: 150000 | #Constraints: 28675
209.54/218.00 c #Conflicts: 151000 | #Constraints: 29675
209.54/218.00 c #Conflicts: 152000 | #Constraints: 30675
209.54/218.00 c #Conflicts: 153000 | #Constraints: 31675
209.54/218.00 c #Conflicts: 154000 | #Constraints: 32675
209.54/218.00 c #Conflicts: 155000 | #Constraints: 33675
209.54/218.00 c INPROCESSING
209.54/218.00 c GARBAGE COLLECT
209.54/218.00 c #Conflicts: 156000 | #Constraints: 21327
209.54/218.00 c #Conflicts: 157000 | #Constraints: 22327
209.54/218.00 c #Conflicts: 158000 | #Constraints: 23327
209.54/218.00 c #Conflicts: 159000 | #Constraints: 24327
209.54/218.00 c #Conflicts: 160000 | #Constraints: 25327
209.54/218.00 c #Conflicts: 161000 | #Constraints: 26327
209.54/218.00 c #Conflicts: 162000 | #Constraints: 27327
209.54/218.00 c #Conflicts: 163000 | #Constraints: 28327
209.54/218.00 c INPROCESSING
209.54/218.00 c GARBAGE COLLECT
209.54/218.00 c #Conflicts: 164000 | #Constraints: 18217
209.54/218.00 c #Conflicts: 165000 | #Constraints: 19217
209.54/218.00 c #Conflicts: 166000 | #Constraints: 20217
209.54/218.00 c #Conflicts: 167000 | #Constraints: 21217
209.54/218.00 c #Conflicts: 168000 | #Constraints: 22217
209.54/218.00 c #Conflicts: 169000 | #Constraints: 23217
209.54/218.00 c #Conflicts: 170000 | #Constraints: 24217
209.54/218.00 c #Conflicts: 171000 | #Constraints: 25217
209.54/218.00 c #Conflicts: 172000 | #Constraints: 26217
209.54/218.00 c INPROCESSING
209.54/218.00 c GARBAGE COLLECT
209.54/218.00 c #Conflicts: 173000 | #Constraints: 17139
209.54/218.00 c #Conflicts: 174000 | #Constraints: 18139
209.54/218.00 c #Conflicts: 175000 | #Constraints: 19139
209.54/218.00 c #Conflicts: 176000 | #Constraints: 20139
209.54/218.00 c #Conflicts: 177000 | #Constraints: 21139
209.54/218.00 c #Conflicts: 178000 | #Constraints: 22139
209.54/218.00 c #Conflicts: 179000 | #Constraints: 23139
209.54/218.00 c #Conflicts: 180000 | #Constraints: 24139
209.54/218.00 c #Conflicts: 181000 | #Constraints: 25139
209.54/218.00 c #Conflicts: 182000 | #Constraints: 26139
209.54/218.00 c INPROCESSING
209.54/218.00 c GARBAGE COLLECT
209.54/218.00 c #Conflicts: 183000 | #Constraints: 17523
209.54/218.00 c #Conflicts: 184000 | #Constraints: 18523
209.54/218.00 c #Conflicts: 185000 | #Constraints: 19523
209.54/218.00 c #Conflicts: 186000 | #Constraints: 20523
209.54/218.00 c #Conflicts: 187000 | #Constraints: 21523
209.54/218.00 c #Conflicts: 188000 | #Constraints: 22523
209.54/218.00 c #Conflicts: 189000 | #Constraints: 23523
209.54/218.00 c #Conflicts: 190000 | #Constraints: 24523
209.54/218.00 c #Conflicts: 191000 | #Constraints: 25523
209.54/218.00 c #Conflicts: 192000 | #Constraints: 26523
209.54/218.00 c #Conflicts: 193000 | #Constraints: 27523
209.54/218.00 c #Conflicts: 194000 | #Constraints: 28523
209.54/218.00 c #Conflicts: 195000 | #Constraints: 29523
209.54/218.00 c #Conflicts: 196000 | #Constraints: 30523
209.54/218.00 c #Conflicts: 197000 | #Constraints: 31523
209.54/218.00 c #Conflicts: 198000 | #Constraints: 32523
209.54/218.00 c #Conflicts: 199000 | #Constraints: 33523
209.54/218.00 c #Conflicts: 200000 | #Constraints: 34523
209.54/218.00 c #Conflicts: 201000 | #Constraints: 35523
209.54/218.00 c #Conflicts: 202000 | #Constraints: 36523
209.54/218.00 c #Conflicts: 203000 | #Constraints: 37523
209.54/218.00 c #Conflicts: 204000 | #Constraints: 38523
209.54/218.00 c #Conflicts: 205000 | #Constraints: 39523
209.54/218.00 c #Conflicts: 206000 | #Constraints: 40523
209.54/218.00 c #Conflicts: 207000 | #Constraints: 41523
209.54/218.00 c #Conflicts: 208000 | #Constraints: 42523
209.54/218.00 c #Conflicts: 209000 | #Constraints: 43523
209.54/218.00 c #Conflicts: 210000 | #Constraints: 44523
209.54/218.00 c #Conflicts: 211000 | #Constraints: 45523
209.54/218.00 c #Conflicts: 212000 | #Constraints: 46523
209.54/218.00 c #Conflicts: 213000 | #Constraints: 47523
209.54/218.00 c #Conflicts: 214000 | #Constraints: 48523
209.54/218.00 c #Conflicts: 215000 | #Constraints: 49523
209.54/218.00 c #Conflicts: 216000 | #Constraints: 50523
209.54/218.00 c #Conflicts: 217000 | #Constraints: 51523
209.54/218.00 c INPROCESSING
209.54/218.00 c GARBAGE COLLECT
209.54/218.00 c rational objective 94.8038
297.53/309.68 c #Conflicts: 218000 | #Constraints: 29989
297.53/309.68 c #Conflicts: 219000 | #Constraints: 30989
297.53/309.68 c #Conflicts: 220000 | #Constraints: 31989
297.53/309.68 c #Conflicts: 221000 | #Constraints: 32989
297.53/309.68 c #Conflicts: 222000 | #Constraints: 33989
297.53/309.68 c #Conflicts: 223000 | #Constraints: 34989
297.53/309.68 c #Conflicts: 224000 | #Constraints: 35989
297.53/309.68 c #Conflicts: 225000 | #Constraints: 36989
297.53/309.68 c #Conflicts: 226000 | #Constraints: 37989
297.53/309.68 c #Conflicts: 227000 | #Constraints: 38989
297.53/309.68 c #Conflicts: 228000 | #Constraints: 39989
297.53/309.68 c INPROCESSING
297.53/309.68 c GARBAGE COLLECT
297.53/309.68 c #Conflicts: 229000 | #Constraints: 24526
297.53/309.68 c #Conflicts: 230000 | #Constraints: 25526
297.53/309.68 c #Conflicts: 231000 | #Constraints: 26526
297.53/309.68 c #Conflicts: 232000 | #Constraints: 27526
297.53/309.68 c #Conflicts: 233000 | #Constraints: 28526
297.53/309.68 c #Conflicts: 234000 | #Constraints: 29526
297.53/309.68 c #Conflicts: 235000 | #Constraints: 30526
297.53/309.68 c #Conflicts: 236000 | #Constraints: 31526
297.53/309.68 c #Conflicts: 237000 | #Constraints: 32526
297.53/309.68 c #Conflicts: 238000 | #Constraints: 33526
297.53/309.68 c INPROCESSING
297.53/309.68 c GARBAGE COLLECT
297.53/309.68 c #Conflicts: 239000 | #Constraints: 20953
297.53/309.68 c #Conflicts: 240000 | #Constraints: 21953
297.53/309.68 c #Conflicts: 241000 | #Constraints: 22953
297.53/309.68 c #Conflicts: 242000 | #Constraints: 23953
297.53/309.68 c #Conflicts: 243000 | #Constraints: 24953
297.53/309.68 c #Conflicts: 244000 | #Constraints: 25953
297.53/309.68 c #Conflicts: 245000 | #Constraints: 26953
297.53/309.68 c #Conflicts: 246000 | #Constraints: 27953
297.53/309.68 c #Conflicts: 247000 | #Constraints: 28953
297.53/309.68 c #Conflicts: 248000 | #Constraints: 29953
297.53/309.68 c #Conflicts: 249000 | #Constraints: 30953
297.53/309.68 c INPROCESSING
297.53/309.68 c GARBAGE COLLECT
297.53/309.68 c #Conflicts: 250000 | #Constraints: 19641
297.53/309.68 c #Conflicts: 251000 | #Constraints: 20641
297.53/309.68 c #Conflicts: 252000 | #Constraints: 21641
297.53/309.68 c #Conflicts: 253000 | #Constraints: 22641
297.53/309.68 c #Conflicts: 254000 | #Constraints: 23641
297.53/309.68 c #Conflicts: 255000 | #Constraints: 24641
297.53/309.68 c #Conflicts: 256000 | #Constraints: 25641
297.53/309.68 c #Conflicts: 257000 | #Constraints: 26641
297.53/309.68 c #Conflicts: 258000 | #Constraints: 27641
297.53/309.68 c #Conflicts: 259000 | #Constraints: 28641
297.53/309.68 c #Conflicts: 260000 | #Constraints: 29641
297.53/309.68 c INPROCESSING
297.53/309.68 c GARBAGE COLLECT
297.53/309.68 c #Conflicts: 261000 | #Constraints: 19002
297.53/309.68 c #Conflicts: 262000 | #Constraints: 20002
297.53/309.68 c #Conflicts: 263000 | #Constraints: 21002
297.53/309.68 c #Conflicts: 264000 | #Constraints: 22002
297.53/309.68 c #Conflicts: 265000 | #Constraints: 23002
297.53/309.68 c #Conflicts: 266000 | #Constraints: 24002
297.53/309.68 c #Conflicts: 267000 | #Constraints: 25002
297.53/309.68 c #Conflicts: 268000 | #Constraints: 26002
297.53/309.68 c #Conflicts: 269000 | #Constraints: 27002
297.53/309.68 c #Conflicts: 270000 | #Constraints: 28002
297.53/309.68 c #Conflicts: 271000 | #Constraints: 29002
297.53/309.68 c #Conflicts: 272000 | #Constraints: 30002
297.53/309.68 c #Conflicts: 273000 | #Constraints: 31002
297.53/309.68 c #Conflicts: 274000 | #Constraints: 32002
297.53/309.68 c #Conflicts: 275000 | #Constraints: 33002
297.53/309.68 c #Conflicts: 276000 | #Constraints: 34002
297.53/309.68 c #Conflicts: 277000 | #Constraints: 35002
297.53/309.68 c #Conflicts: 278000 | #Constraints: 36002
297.53/309.68 c #Conflicts: 279000 | #Constraints: 37002
297.53/309.68 c #Conflicts: 280000 | #Constraints: 38002
297.53/309.68 c #Conflicts: 281000 | #Constraints: 39002
297.53/309.68 c #Conflicts: 282000 | #Constraints: 40002
297.53/309.68 c #Conflicts: 283000 | #Constraints: 41002
297.53/309.68 c #Conflicts: 284000 | #Constraints: 42002
297.53/309.68 c #Conflicts: 285000 | #Constraints: 43002
297.53/309.68 c #Conflicts: 286000 | #Constraints: 44002
297.53/309.68 c #Conflicts: 287000 | #Constraints: 45002
297.53/309.68 c #Conflicts: 288000 | #Constraints: 46002
297.53/309.68 c #Conflicts: 289000 | #Constraints: 47002
297.53/309.68 c #Conflicts: 290000 | #Constraints: 48002
297.53/309.68 c #Conflicts: 291000 | #Constraints: 49002
297.53/309.68 c #Conflicts: 292000 | #Constraints: 50002
297.53/309.68 c #Conflicts: 293000 | #Constraints: 51002
297.53/309.68 c #Conflicts: 294000 | #Constraints: 52002
403.25/416.13 c #Conflicts: 295000 | #Constraints: 53002
403.25/416.13 c #Conflicts: 296000 | #Constraints: 54002
403.25/416.13 c #Conflicts: 297000 | #Constraints: 55002
403.25/416.13 c #Conflicts: 298000 | #Constraints: 56002
403.25/416.13 c #Conflicts: 299000 | #Constraints: 57002
403.25/416.13 c #Conflicts: 300000 | #Constraints: 58002
403.25/416.13 c #Conflicts: 301000 | #Constraints: 59002
403.25/416.13 c #Conflicts: 302000 | #Constraints: 60002
403.25/416.13 c INPROCESSING
403.25/416.13 c GARBAGE COLLECT
403.25/416.13 c #Conflicts: 303000 | #Constraints: 34267
403.25/416.13 c #Conflicts: 304000 | #Constraints: 35267
403.25/416.13 c #Conflicts: 305000 | #Constraints: 36267
403.25/416.13 c #Conflicts: 306000 | #Constraints: 37267
403.25/416.13 c #Conflicts: 307000 | #Constraints: 38267
403.25/416.13 c #Conflicts: 308000 | #Constraints: 39267
403.25/416.13 c #Conflicts: 309000 | #Constraints: 40267
403.25/416.13 c #Conflicts: 310000 | #Constraints: 41267
403.25/416.13 c #Conflicts: 311000 | #Constraints: 42267
403.25/416.13 c #Conflicts: 312000 | #Constraints: 43267
403.25/416.13 c #Conflicts: 313000 | #Constraints: 44267
403.25/416.13 c #Conflicts: 314000 | #Constraints: 45267
403.25/416.13 c #Conflicts: 315000 | #Constraints: 46267
403.25/416.13 c INPROCESSING
403.25/416.13 c GARBAGE COLLECT
403.25/416.13 c #Conflicts: 316000 | #Constraints: 27723
403.25/416.13 c #Conflicts: 317000 | #Constraints: 28723
403.25/416.13 c #Conflicts: 318000 | #Constraints: 29723
403.25/416.13 c #Conflicts: 319000 | #Constraints: 30723
403.25/416.13 c #Conflicts: 320000 | #Constraints: 31723
403.25/416.13 c #Conflicts: 321000 | #Constraints: 32724
403.25/416.13 c #Conflicts: 322000 | #Constraints: 33724
403.25/416.13 c #Conflicts: 323000 | #Constraints: 34724
403.25/416.13 c #Conflicts: 324000 | #Constraints: 35724
403.25/416.13 c #Conflicts: 325000 | #Constraints: 36724
403.25/416.13 c #Conflicts: 326000 | #Constraints: 37724
403.25/416.13 c #Conflicts: 327000 | #Constraints: 38724
403.25/416.13 c INPROCESSING
403.25/416.13 c GARBAGE COLLECT
403.25/416.13 c #Conflicts: 328000 | #Constraints: 23614
403.25/416.13 c #Conflicts: 329000 | #Constraints: 24614
403.25/416.13 c #Conflicts: 330000 | #Constraints: 25614
403.25/416.13 c #Conflicts: 331000 | #Constraints: 26614
403.25/416.13 c #Conflicts: 332000 | #Constraints: 27614
403.25/416.13 c #Conflicts: 333000 | #Constraints: 28614
403.25/416.13 c #Conflicts: 334000 | #Constraints: 29614
403.25/416.13 c #Conflicts: 335000 | #Constraints: 30614
403.25/416.13 c #Conflicts: 336000 | #Constraints: 31614
403.25/416.13 c #Conflicts: 337000 | #Constraints: 32614
403.25/416.13 c #Conflicts: 338000 | #Constraints: 33614
403.25/416.13 c #Conflicts: 339000 | #Constraints: 34614
403.25/416.13 c #Conflicts: 340000 | #Constraints: 35614
403.25/416.13 c INPROCESSING
403.25/416.13 c GARBAGE COLLECT
403.25/416.13 c #Conflicts: 341000 | #Constraints: 22121
403.25/416.13 c #Conflicts: 342000 | #Constraints: 23121
403.25/416.13 c #Conflicts: 343000 | #Constraints: 24121
403.25/416.13 c #Conflicts: 344000 | #Constraints: 25121
403.25/416.13 c #Conflicts: 345000 | #Constraints: 26121
403.25/416.13 c #Conflicts: 346000 | #Constraints: 27121
403.25/416.13 c #Conflicts: 347000 | #Constraints: 28121
403.25/416.13 c #Conflicts: 348000 | #Constraints: 29121
403.25/416.13 c #Conflicts: 349000 | #Constraints: 30121
403.25/416.13 c #Conflicts: 350000 | #Constraints: 31121
403.25/416.13 c #Conflicts: 351000 | #Constraints: 32121
403.25/416.13 c #Conflicts: 352000 | #Constraints: 33121
403.25/416.13 c #Conflicts: 353000 | #Constraints: 34121
403.25/416.13 c INPROCESSING
403.25/416.13 c GARBAGE COLLECT
403.25/416.13 c #Conflicts: 354000 | #Constraints: 21376
403.25/416.13 c #Conflicts: 355000 | #Constraints: 22376
403.25/416.13 c #Conflicts: 356000 | #Constraints: 23376
403.25/416.13 c #Conflicts: 357000 | #Constraints: 24376
403.25/416.13 c #Conflicts: 358000 | #Constraints: 25376
403.25/416.13 c #Conflicts: 359000 | #Constraints: 26376
403.25/416.13 c #Conflicts: 360000 | #Constraints: 27376
403.25/416.13 c #Conflicts: 361000 | #Constraints: 28376
403.25/416.13 c #Conflicts: 362000 | #Constraints: 29376
403.25/416.13 c #Conflicts: 363000 | #Constraints: 30376
403.25/416.13 c #Conflicts: 364000 | #Constraints: 31376
403.25/416.13 c #Conflicts: 365000 | #Constraints: 32376
403.25/416.13 c #Conflicts: 366000 | #Constraints: 33376
403.25/416.13 c #Conflicts: 367000 | #Constraints: 34376
403.25/416.13 c #Conflicts: 368000 | #Constraints: 35376
403.25/416.13 c #Conflicts: 369000 | #Constraints: 36376
556.01/569.60 c #Conflicts: 370000 | #Constraints: 37376
556.01/569.60 c #Conflicts: 371000 | #Constraints: 38376
556.01/569.60 c #Conflicts: 372000 | #Constraints: 39376
556.01/569.60 c #Conflicts: 373000 | #Constraints: 40376
556.01/569.60 c #Conflicts: 374000 | #Constraints: 41376
556.01/569.60 c #Conflicts: 375000 | #Constraints: 42376
556.01/569.60 c #Conflicts: 376000 | #Constraints: 43376
556.01/569.60 c #Conflicts: 377000 | #Constraints: 44376
556.01/569.60 c #Conflicts: 378000 | #Constraints: 45376
556.01/569.60 c #Conflicts: 379000 | #Constraints: 46376
556.01/569.60 c #Conflicts: 380000 | #Constraints: 47376
556.01/569.60 c #Conflicts: 381000 | #Constraints: 48376
556.01/569.60 c #Conflicts: 382000 | #Constraints: 49376
556.01/569.60 c #Conflicts: 383000 | #Constraints: 50376
556.01/569.60 c #Conflicts: 384000 | #Constraints: 51376
556.01/569.60 c #Conflicts: 385000 | #Constraints: 52376
556.01/569.60 c #Conflicts: 386000 | #Constraints: 53376
556.01/569.60 c #Conflicts: 387000 | #Constraints: 54376
556.01/569.60 c #Conflicts: 388000 | #Constraints: 55376
556.01/569.60 c #Conflicts: 389000 | #Constraints: 56376
556.01/569.60 c #Conflicts: 390000 | #Constraints: 57376
556.01/569.60 c #Conflicts: 391000 | #Constraints: 58376
556.01/569.60 c #Conflicts: 392000 | #Constraints: 59376
556.01/569.60 c #Conflicts: 393000 | #Constraints: 60376
556.01/569.60 c #Conflicts: 394000 | #Constraints: 61376
556.01/569.60 c #Conflicts: 395000 | #Constraints: 62376
556.01/569.60 c #Conflicts: 396000 | #Constraints: 63376
556.01/569.60 c #Conflicts: 397000 | #Constraints: 64376
556.01/569.60 c #Conflicts: 398000 | #Constraints: 65376
556.01/569.60 c #Conflicts: 399000 | #Constraints: 66376
556.01/569.60 c #Conflicts: 400000 | #Constraints: 67376
556.01/569.60 c #Conflicts: 401000 | #Constraints: 68376
556.01/569.60 c INPROCESSING
556.01/569.60 c GARBAGE COLLECT
556.01/569.60 c #Conflicts: 402000 | #Constraints: 38377
556.01/569.60 c #Conflicts: 403000 | #Constraints: 39377
556.01/569.60 c #Conflicts: 404000 | #Constraints: 40377
556.01/569.60 c #Conflicts: 405000 | #Constraints: 41377
556.01/569.60 c #Conflicts: 406000 | #Constraints: 42377
556.01/569.60 c #Conflicts: 407000 | #Constraints: 43377
556.01/569.60 c #Conflicts: 408000 | #Constraints: 44377
556.01/569.60 c #Conflicts: 409000 | #Constraints: 45377
556.01/569.60 c #Conflicts: 410000 | #Constraints: 46377
556.01/569.60 c #Conflicts: 411000 | #Constraints: 47377
556.01/569.60 c #Conflicts: 412000 | #Constraints: 48377
556.01/569.60 c #Conflicts: 413000 | #Constraints: 49377
556.01/569.60 c #Conflicts: 414000 | #Constraints: 50377
556.01/569.60 c #Conflicts: 415000 | #Constraints: 51377
556.01/569.60 c #Conflicts: 416000 | #Constraints: 52377
556.01/569.60 c INPROCESSING
556.01/569.60 c GARBAGE COLLECT
556.01/569.60 c #Conflicts: 417000 | #Constraints: 30703
556.01/569.60 c #Conflicts: 418000 | #Constraints: 31703
556.01/569.60 c #Conflicts: 419000 | #Constraints: 32703
556.01/569.60 c #Conflicts: 420000 | #Constraints: 33703
556.01/569.60 c #Conflicts: 421000 | #Constraints: 34703
556.01/569.60 c #Conflicts: 422000 | #Constraints: 35703
556.01/569.60 c #Conflicts: 423000 | #Constraints: 36703
556.01/569.60 c #Conflicts: 424000 | #Constraints: 37703
556.01/569.60 c #Conflicts: 425000 | #Constraints: 38703
556.01/569.60 c #Conflicts: 426000 | #Constraints: 39703
556.01/569.60 c #Conflicts: 427000 | #Constraints: 40703
556.01/569.60 c #Conflicts: 428000 | #Constraints: 41703
556.01/569.60 c #Conflicts: 429000 | #Constraints: 42703
556.01/569.60 c #Conflicts: 430000 | #Constraints: 43703
556.01/569.60 c INPROCESSING
556.01/569.60 c GARBAGE COLLECT
556.01/569.60 c #Conflicts: 431000 | #Constraints: 26250
556.01/569.60 c #Conflicts: 432000 | #Constraints: 27250
556.01/569.60 c #Conflicts: 433000 | #Constraints: 28250
556.01/569.60 c #Conflicts: 434000 | #Constraints: 29250
556.01/569.60 c #Conflicts: 435000 | #Constraints: 30250
556.01/569.60 c #Conflicts: 436000 | #Constraints: 31250
556.01/569.60 c #Conflicts: 437000 | #Constraints: 32250
556.01/569.60 c #Conflicts: 438000 | #Constraints: 33250
556.01/569.60 c #Conflicts: 439000 | #Constraints: 34250
556.01/569.60 c #Conflicts: 440000 | #Constraints: 35250
556.01/569.60 c #Conflicts: 441000 | #Constraints: 36250
556.01/569.60 c #Conflicts: 442000 | #Constraints: 37250
556.01/569.60 c #Conflicts: 443000 | #Constraints: 38250
556.01/569.60 c #Conflicts: 444000 | #Constraints: 39250
556.01/569.60 c #Conflicts: 445000 | #Constraints: 40250
556.01/569.60 c INPROCESSING
556.01/569.60 c GARBAGE COLLECT
556.01/569.60 c #Conflicts: 446000 | #Constraints: 24591
687.33/701.64 c #Conflicts: 447000 | #Constraints: 25591
687.33/701.64 c #Conflicts: 448000 | #Constraints: 26591
687.33/701.64 c #Conflicts: 449000 | #Constraints: 27591
687.33/701.64 c #Conflicts: 450000 | #Constraints: 28591
687.33/701.64 c #Conflicts: 451000 | #Constraints: 29591
687.33/701.64 c #Conflicts: 452000 | #Constraints: 30591
687.33/701.64 c #Conflicts: 453000 | #Constraints: 31591
687.33/701.64 c #Conflicts: 454000 | #Constraints: 32591
687.33/701.64 c #Conflicts: 455000 | #Constraints: 33591
687.33/701.64 c #Conflicts: 456000 | #Constraints: 34591
687.33/701.64 c #Conflicts: 457000 | #Constraints: 35591
687.33/701.64 c #Conflicts: 458000 | #Constraints: 36591
687.33/701.64 c #Conflicts: 459000 | #Constraints: 37591
687.33/701.64 c #Conflicts: 460000 | #Constraints: 38591
687.33/701.64 c INPROCESSING
687.33/701.64 c GARBAGE COLLECT
687.33/701.64 c #Conflicts: 461000 | #Constraints: 23817
687.33/701.64 c #Conflicts: 462000 | #Constraints: 24817
687.33/701.64 c #Conflicts: 463000 | #Constraints: 25817
687.33/701.64 c #Conflicts: 464000 | #Constraints: 26817
687.33/701.64 c #Conflicts: 465000 | #Constraints: 27817
687.33/701.64 c #Conflicts: 466000 | #Constraints: 28817
687.33/701.64 c #Conflicts: 467000 | #Constraints: 29817
687.33/701.64 c #Conflicts: 468000 | #Constraints: 30817
687.33/701.64 c #Conflicts: 469000 | #Constraints: 31817
687.33/701.64 c #Conflicts: 470000 | #Constraints: 32817
687.33/701.64 c #Conflicts: 471000 | #Constraints: 33817
687.33/701.64 c #Conflicts: 472000 | #Constraints: 34817
687.33/701.64 c #Conflicts: 473000 | #Constraints: 35817
687.33/701.64 c #Conflicts: 474000 | #Constraints: 36817
687.33/701.64 c #Conflicts: 475000 | #Constraints: 37817
687.33/701.64 c #Conflicts: 476000 | #Constraints: 38817
687.33/701.64 c #Conflicts: 477000 | #Constraints: 39817
687.33/701.64 c #Conflicts: 478000 | #Constraints: 40817
687.33/701.64 c #Conflicts: 479000 | #Constraints: 41817
687.33/701.64 c #Conflicts: 480000 | #Constraints: 42817
687.33/701.64 c #Conflicts: 481000 | #Constraints: 43817
687.33/701.64 c #Conflicts: 482000 | #Constraints: 44817
687.33/701.64 c #Conflicts: 483000 | #Constraints: 45817
687.33/701.64 c #Conflicts: 484000 | #Constraints: 46817
687.33/701.64 c #Conflicts: 485000 | #Constraints: 47817
687.33/701.64 c #Conflicts: 486000 | #Constraints: 48817
687.33/701.64 c #Conflicts: 487000 | #Constraints: 49817
687.33/701.64 c #Conflicts: 488000 | #Constraints: 50817
687.33/701.64 c #Conflicts: 489000 | #Constraints: 51817
687.33/701.64 c #Conflicts: 490000 | #Constraints: 52817
687.33/701.64 c #Conflicts: 491000 | #Constraints: 53817
687.33/701.64 c #Conflicts: 492000 | #Constraints: 54817
687.33/701.64 c #Conflicts: 493000 | #Constraints: 55817
687.33/701.64 c #Conflicts: 494000 | #Constraints: 56817
687.33/701.64 c #Conflicts: 495000 | #Constraints: 57817
687.33/701.64 c #Conflicts: 496000 | #Constraints: 58817
687.33/701.64 c #Conflicts: 497000 | #Constraints: 59817
687.33/701.64 c #Conflicts: 498000 | #Constraints: 60817
687.33/701.64 c #Conflicts: 499000 | #Constraints: 61817
687.33/701.64 c #Conflicts: 500000 | #Constraints: 62817
687.33/701.64 c #Conflicts: 501000 | #Constraints: 63817
687.33/701.64 c #Conflicts: 502000 | #Constraints: 64817
687.33/701.64 c #Conflicts: 503000 | #Constraints: 65817
687.33/701.64 c #Conflicts: 504000 | #Constraints: 66817
687.33/701.64 c #Conflicts: 505000 | #Constraints: 67817
687.33/701.64 c #Conflicts: 506000 | #Constraints: 68817
687.33/701.64 c #Conflicts: 507000 | #Constraints: 69817
687.33/701.64 c #Conflicts: 508000 | #Constraints: 70817
687.33/701.64 c #Conflicts: 509000 | #Constraints: 71817
687.33/701.64 c #Conflicts: 510000 | #Constraints: 72817
687.33/701.64 c #Conflicts: 511000 | #Constraints: 73817
687.33/701.64 c #Conflicts: 512000 | #Constraints: 74817
687.33/701.64 c #Conflicts: 513000 | #Constraints: 75817
687.33/701.64 c #Conflicts: 514000 | #Constraints: 76817
687.33/701.64 c INPROCESSING
687.33/701.64 c GARBAGE COLLECT
687.33/701.64 c #Conflicts: 515000 | #Constraints: 42633
687.33/701.64 c #Conflicts: 516000 | #Constraints: 43633
687.33/701.64 c #Conflicts: 517000 | #Constraints: 44633
687.33/701.64 c #Conflicts: 518000 | #Constraints: 45633
687.33/701.64 c #Conflicts: 519000 | #Constraints: 46633
687.33/701.64 c #Conflicts: 520000 | #Constraints: 47633
687.33/701.64 c #Conflicts: 521000 | #Constraints: 48633
687.33/701.64 c #Conflicts: 522000 | #Constraints: 49633
687.33/701.64 c #Conflicts: 523000 | #Constraints: 50633
783.60/798.53 c #Conflicts: 524000 | #Constraints: 51633
783.60/798.53 c #Conflicts: 525000 | #Constraints: 52633
783.60/798.53 c #Conflicts: 526000 | #Constraints: 53633
783.60/798.53 c #Conflicts: 527000 | #Constraints: 54633
783.60/798.53 c #Conflicts: 528000 | #Constraints: 55633
783.60/798.53 c #Conflicts: 529000 | #Constraints: 56633
783.60/798.53 c #Conflicts: 530000 | #Constraints: 57633
783.60/798.53 c #Conflicts: 531000 | #Constraints: 58633
783.60/798.53 c INPROCESSING
783.60/798.53 c GARBAGE COLLECT
783.60/798.53 c #Conflicts: 532000 | #Constraints: 33885
783.60/798.53 c #Conflicts: 533000 | #Constraints: 34885
783.60/798.53 c #Conflicts: 534000 | #Constraints: 35885
783.60/798.53 c #Conflicts: 535000 | #Constraints: 36885
783.60/798.53 c #Conflicts: 536000 | #Constraints: 37885
783.60/798.53 c #Conflicts: 537000 | #Constraints: 38885
783.60/798.53 c #Conflicts: 538000 | #Constraints: 39885
783.60/798.53 c #Conflicts: 539000 | #Constraints: 40885
783.60/798.53 c #Conflicts: 540000 | #Constraints: 41885
783.60/798.53 c #Conflicts: 541000 | #Constraints: 42885
783.60/798.53 c #Conflicts: 542000 | #Constraints: 43885
783.60/798.53 c #Conflicts: 543000 | #Constraints: 44885
783.60/798.53 c #Conflicts: 544000 | #Constraints: 45885
783.60/798.53 c #Conflicts: 545000 | #Constraints: 46885
783.60/798.53 c #Conflicts: 546000 | #Constraints: 47885
783.60/798.53 c #Conflicts: 547000 | #Constraints: 48885
783.60/798.53 c INPROCESSING
783.60/798.53 c GARBAGE COLLECT
783.60/798.53 c #Conflicts: 548000 | #Constraints: 28838
783.60/798.53 c #Conflicts: 549000 | #Constraints: 29838
783.60/798.53 c #Conflicts: 550000 | #Constraints: 30838
783.60/798.53 c #Conflicts: 551000 | #Constraints: 31838
783.60/798.53 c #Conflicts: 552000 | #Constraints: 32838
783.60/798.53 c #Conflicts: 553000 | #Constraints: 33838
783.60/798.53 c #Conflicts: 554000 | #Constraints: 34838
783.60/798.53 c #Conflicts: 555000 | #Constraints: 35838
783.60/798.53 c #Conflicts: 556000 | #Constraints: 36838
783.60/798.53 c #Conflicts: 557000 | #Constraints: 37838
783.60/798.53 c #Conflicts: 558000 | #Constraints: 38838
783.60/798.53 c #Conflicts: 559000 | #Constraints: 39838
783.60/798.53 c #Conflicts: 560000 | #Constraints: 40838
783.60/798.53 c #Conflicts: 561000 | #Constraints: 41838
783.60/798.53 c #Conflicts: 562000 | #Constraints: 42838
783.60/798.53 c #Conflicts: 563000 | #Constraints: 43838
783.60/798.53 c #Conflicts: 564000 | #Constraints: 44838
783.60/798.53 c INPROCESSING
783.60/798.53 c GARBAGE COLLECT
783.60/798.53 c #Conflicts: 565000 | #Constraints: 26995
783.60/798.53 c #Conflicts: 566000 | #Constraints: 27995
783.60/798.53 c #Conflicts: 567000 | #Constraints: 28995
783.60/798.53 c #Conflicts: 568000 | #Constraints: 29995
783.60/798.53 c #Conflicts: 569000 | #Constraints: 30995
783.60/798.53 c #Conflicts: 570000 | #Constraints: 31995
783.60/798.53 c #Conflicts: 571000 | #Constraints: 32995
783.60/798.53 c #Conflicts: 572000 | #Constraints: 33995
783.60/798.53 c #Conflicts: 573000 | #Constraints: 34995
783.60/798.53 c #Conflicts: 574000 | #Constraints: 35995
783.60/798.53 c #Conflicts: 575000 | #Constraints: 36995
783.60/798.53 c #Conflicts: 576000 | #Constraints: 37995
783.60/798.53 c #Conflicts: 577000 | #Constraints: 38995
783.60/798.53 c #Conflicts: 578000 | #Constraints: 39995
783.60/798.53 c #Conflicts: 579000 | #Constraints: 40995
783.60/798.53 c #Conflicts: 580000 | #Constraints: 41995
783.60/798.53 c INPROCESSING
783.60/798.53 c GARBAGE COLLECT
783.60/798.53 c #Conflicts: 581000 | #Constraints: 25125
783.60/798.53 c #Conflicts: 582000 | #Constraints: 26125
783.60/798.53 c #Conflicts: 583000 | #Constraints: 27125
783.60/798.53 c #Conflicts: 584000 | #Constraints: 28125
783.60/798.53 c #Conflicts: 585000 | #Constraints: 29125
783.60/798.53 c #Conflicts: 586000 | #Constraints: 30125
783.60/798.53 c #Conflicts: 587000 | #Constraints: 31125
783.60/798.53 c #Conflicts: 588000 | #Constraints: 32125
783.60/798.53 c #Conflicts: 589000 | #Constraints: 33125
783.60/798.53 c #Conflicts: 590000 | #Constraints: 34125
783.60/798.53 c #Conflicts: 591000 | #Constraints: 35125
783.60/798.53 c #Conflicts: 592000 | #Constraints: 36125
783.60/798.53 c #Conflicts: 593000 | #Constraints: 37126
783.60/798.53 c #Conflicts: 594000 | #Constraints: 38126
783.60/798.53 c #Conflicts: 595000 | #Constraints: 39126
783.60/798.53 c #Conflicts: 596000 | #Constraints: 40126
783.60/798.53 c #Conflicts: 597000 | #Constraints: 41126
783.60/798.53 c #Conflicts: 598000 | #Constraints: 42126
783.60/798.53 c #Conflicts: 599000 | #Constraints: 43126
956.49/972.88 c #Conflicts: 600000 | #Constraints: 44126
956.49/972.88 c #Conflicts: 601000 | #Constraints: 45126
956.49/972.88 c #Conflicts: 602000 | #Constraints: 46126
956.49/972.88 c #Conflicts: 603000 | #Constraints: 47126
956.49/972.88 c #Conflicts: 604000 | #Constraints: 48126
956.49/972.88 c #Conflicts: 605000 | #Constraints: 49126
956.49/972.88 c #Conflicts: 606000 | #Constraints: 50126
956.49/972.88 c #Conflicts: 607000 | #Constraints: 51126
956.49/972.88 c #Conflicts: 608000 | #Constraints: 52126
956.49/972.88 c #Conflicts: 609000 | #Constraints: 53126
956.49/972.88 c #Conflicts: 610000 | #Constraints: 54126
956.49/972.88 c #Conflicts: 611000 | #Constraints: 55126
956.49/972.88 c #Conflicts: 612000 | #Constraints: 56126
956.49/972.88 c #Conflicts: 613000 | #Constraints: 57126
956.49/972.88 c #Conflicts: 614000 | #Constraints: 58126
956.49/972.88 c #Conflicts: 615000 | #Constraints: 59126
956.49/972.88 c #Conflicts: 616000 | #Constraints: 60126
956.49/972.88 c #Conflicts: 617000 | #Constraints: 61126
956.49/972.88 c #Conflicts: 618000 | #Constraints: 62126
956.49/972.88 c #Conflicts: 619000 | #Constraints: 63126
956.49/972.88 c #Conflicts: 620000 | #Constraints: 64126
956.49/972.88 c #Conflicts: 621000 | #Constraints: 65126
956.49/972.88 c #Conflicts: 622000 | #Constraints: 66126
956.49/972.88 c #Conflicts: 623000 | #Constraints: 67126
956.49/972.88 c #Conflicts: 624000 | #Constraints: 68126
956.49/972.88 c #Conflicts: 625000 | #Constraints: 69126
956.49/972.88 c #Conflicts: 626000 | #Constraints: 70126
956.49/972.88 c #Conflicts: 627000 | #Constraints: 71126
956.49/972.88 c #Conflicts: 628000 | #Constraints: 72126
956.49/972.88 c #Conflicts: 629000 | #Constraints: 73126
956.49/972.88 c #Conflicts: 630000 | #Constraints: 74126
956.49/972.88 c #Conflicts: 631000 | #Constraints: 75126
956.49/972.88 c #Conflicts: 632000 | #Constraints: 76126
956.49/972.88 c #Conflicts: 633000 | #Constraints: 77126
956.49/972.88 c #Conflicts: 634000 | #Constraints: 78126
956.49/972.88 c #Conflicts: 635000 | #Constraints: 79126
956.49/972.88 c #Conflicts: 636000 | #Constraints: 80126
956.49/972.88 c #Conflicts: 637000 | #Constraints: 81126
956.49/972.88 c #Conflicts: 638000 | #Constraints: 82126
956.49/972.88 c #Conflicts: 639000 | #Constraints: 83126
956.49/972.88 c #Conflicts: 640000 | #Constraints: 84126
956.49/972.88 c #Conflicts: 641000 | #Constraints: 85126
956.49/972.88 c INPROCESSING
956.49/972.88 c GARBAGE COLLECT
956.49/972.88 c #Conflicts: 642000 | #Constraints: 46739
956.49/972.88 c #Conflicts: 643000 | #Constraints: 47739
956.49/972.88 c #Conflicts: 644000 | #Constraints: 48739
956.49/972.88 c #Conflicts: 645000 | #Constraints: 49739
956.49/972.88 c #Conflicts: 646000 | #Constraints: 50739
956.49/972.88 c #Conflicts: 647000 | #Constraints: 51739
956.49/972.88 c #Conflicts: 648000 | #Constraints: 52739
956.49/972.88 c #Conflicts: 649000 | #Constraints: 53739
956.49/972.88 c #Conflicts: 650000 | #Constraints: 54739
956.49/972.88 c #Conflicts: 651000 | #Constraints: 55739
956.49/972.88 c #Conflicts: 652000 | #Constraints: 56739
956.49/972.88 c #Conflicts: 653000 | #Constraints: 57739
956.49/972.88 c #Conflicts: 654000 | #Constraints: 58739
956.49/972.88 c #Conflicts: 655000 | #Constraints: 59739
956.49/972.88 c #Conflicts: 656000 | #Constraints: 60739
956.49/972.88 c #Conflicts: 657000 | #Constraints: 61739
956.49/972.88 c #Conflicts: 658000 | #Constraints: 62739
956.49/972.88 c #Conflicts: 659000 | #Constraints: 63739
956.49/972.88 c #Conflicts: 660000 | #Constraints: 64739
956.49/972.88 c INPROCESSING
956.49/972.88 c GARBAGE COLLECT
956.49/972.88 c #Conflicts: 661000 | #Constraints: 37037
956.49/972.88 c #Conflicts: 662000 | #Constraints: 38037
956.49/972.88 c #Conflicts: 663000 | #Constraints: 39037
956.49/972.88 c #Conflicts: 664000 | #Constraints: 40037
956.49/972.88 c #Conflicts: 665000 | #Constraints: 41037
956.49/972.88 c #Conflicts: 666000 | #Constraints: 42037
956.49/972.88 c #Conflicts: 667000 | #Constraints: 43037
956.49/972.88 c #Conflicts: 668000 | #Constraints: 44037
956.49/972.88 c #Conflicts: 669000 | #Constraints: 45037
956.49/972.88 c #Conflicts: 670000 | #Constraints: 46037
956.49/972.88 c #Conflicts: 671000 | #Constraints: 47037
956.49/972.88 c #Conflicts: 672000 | #Constraints: 48037
956.49/972.88 c #Conflicts: 673000 | #Constraints: 49037
956.49/972.88 c #Conflicts: 674000 | #Constraints: 50037
956.49/972.88 c #Conflicts: 675000 | #Constraints: 51037
956.49/972.88 c #Conflicts: 676000 | #Constraints: 52037
956.49/972.88 c #Conflicts: 677000 | #Constraints: 53037
1018.01/1034.65 c #Conflicts: 678000 | #Constraints: 54037
1018.01/1034.65 c INPROCESSING
1018.01/1034.65 c GARBAGE COLLECT
1018.01/1034.65 c #Conflicts: 679000 | #Constraints: 31449
1018.01/1034.65 c #Conflicts: 680000 | #Constraints: 32449
1018.01/1034.65 c #Conflicts: 681000 | #Constraints: 33449
1018.01/1034.65 c #Conflicts: 682000 | #Constraints: 34449
1018.01/1034.65 c #Conflicts: 683000 | #Constraints: 35449
1018.01/1034.65 c #Conflicts: 684000 | #Constraints: 36449
1018.01/1034.65 c #Conflicts: 685000 | #Constraints: 37449
1018.01/1034.65 c #Conflicts: 686000 | #Constraints: 38449
1018.01/1034.65 c #Conflicts: 687000 | #Constraints: 39449
1018.01/1034.65 c #Conflicts: 688000 | #Constraints: 40449
1018.01/1034.65 c #Conflicts: 689000 | #Constraints: 41449
1018.01/1034.65 c #Conflicts: 690000 | #Constraints: 42449
1018.01/1034.65 c #Conflicts: 691000 | #Constraints: 43449
1018.01/1034.65 c #Conflicts: 692000 | #Constraints: 44449
1018.01/1034.65 c #Conflicts: 693000 | #Constraints: 45449
1018.01/1034.65 c #Conflicts: 694000 | #Constraints: 46449
1018.01/1034.65 c #Conflicts: 695000 | #Constraints: 47449
1018.01/1034.65 c #Conflicts: 696000 | #Constraints: 48449
1018.01/1034.65 c INPROCESSING
1018.01/1034.65 c GARBAGE COLLECT
1018.01/1034.65 c #Conflicts: 697000 | #Constraints: 28430
1018.01/1034.65 c #Conflicts: 698000 | #Constraints: 29430
1018.01/1034.65 c #Conflicts: 699000 | #Constraints: 30430
1018.01/1034.65 c #Conflicts: 700000 | #Constraints: 31430
1018.01/1034.65 c #Conflicts: 701000 | #Constraints: 32430
1018.01/1034.65 c #Conflicts: 702000 | #Constraints: 33430
1018.01/1034.65 c #Conflicts: 703000 | #Constraints: 34430
1018.01/1034.65 c #Conflicts: 704000 | #Constraints: 35430
1018.01/1034.65 c #Conflicts: 705000 | #Constraints: 36430
1018.01/1034.65 c #Conflicts: 706000 | #Constraints: 37430
1018.01/1034.65 c #Conflicts: 707000 | #Constraints: 38430
1018.01/1034.65 c #Conflicts: 708000 | #Constraints: 39430
1018.01/1034.65 c #Conflicts: 709000 | #Constraints: 40430
1018.01/1034.65 c #Conflicts: 710000 | #Constraints: 41430
1018.01/1034.65 c #Conflicts: 711000 | #Constraints: 42430
1018.01/1034.65 c #Conflicts: 712000 | #Constraints: 43430
1018.01/1034.65 c #Conflicts: 713000 | #Constraints: 44430
1018.01/1034.65 c #Conflicts: 714000 | #Constraints: 45430
1018.01/1034.65 c #Conflicts: 715000 | #Constraints: 46430
1018.01/1034.65 c INPROCESSING
1018.01/1034.65 c GARBAGE COLLECT
1018.01/1034.65 c rational objective 98.03
1186.83/1204.79 c #Conflicts: 716000 | #Constraints: 27639
1186.83/1204.79 c #Conflicts: 717000 | #Constraints: 28639
1186.83/1204.79 c #Conflicts: 718000 | #Constraints: 29639
1186.83/1204.79 c #Conflicts: 719000 | #Constraints: 30639
1186.83/1204.79 c #Conflicts: 720000 | #Constraints: 31639
1186.83/1204.79 c #Conflicts: 721000 | #Constraints: 32639
1186.83/1204.79 c #Conflicts: 722000 | #Constraints: 33639
1186.83/1204.79 c #Conflicts: 723000 | #Constraints: 34639
1186.83/1204.79 c #Conflicts: 724000 | #Constraints: 35639
1186.83/1204.79 c #Conflicts: 725000 | #Constraints: 36639
1186.83/1204.79 c #Conflicts: 726000 | #Constraints: 37639
1186.83/1204.79 c #Conflicts: 727000 | #Constraints: 38639
1186.83/1204.79 c #Conflicts: 728000 | #Constraints: 39639
1186.83/1204.79 c #Conflicts: 729000 | #Constraints: 40639
1186.83/1204.79 c #Conflicts: 730000 | #Constraints: 41639
1186.83/1204.79 c #Conflicts: 731000 | #Constraints: 42639
1186.83/1204.79 c #Conflicts: 732000 | #Constraints: 43639
1186.83/1204.79 c #Conflicts: 733000 | #Constraints: 44639
1186.83/1204.79 c #Conflicts: 734000 | #Constraints: 45639
1186.83/1204.79 c #Conflicts: 735000 | #Constraints: 46639
1186.83/1204.79 c #Conflicts: 736000 | #Constraints: 47639
1186.83/1204.79 c #Conflicts: 737000 | #Constraints: 48639
1186.83/1204.79 c #Conflicts: 738000 | #Constraints: 49639
1186.83/1204.79 c #Conflicts: 739000 | #Constraints: 50639
1186.83/1204.79 c #Conflicts: 740000 | #Constraints: 51639
1186.83/1204.79 c #Conflicts: 741000 | #Constraints: 52639
1186.83/1204.79 c #Conflicts: 742000 | #Constraints: 53639
1186.83/1204.79 c #Conflicts: 743000 | #Constraints: 54639
1186.83/1204.79 c #Conflicts: 744000 | #Constraints: 55639
1186.83/1204.79 c #Conflicts: 745000 | #Constraints: 56639
1186.83/1204.79 c #Conflicts: 746000 | #Constraints: 57639
1186.83/1204.79 c #Conflicts: 747000 | #Constraints: 58639
1186.83/1204.79 c #Conflicts: 748000 | #Constraints: 59639
1186.83/1204.79 c #Conflicts: 749000 | #Constraints: 60639
1186.83/1204.79 c #Conflicts: 750000 | #Constraints: 61639
1186.83/1204.79 c #Conflicts: 751000 | #Constraints: 62639
1186.83/1204.79 c #Conflicts: 752000 | #Constraints: 63639
1186.83/1204.79 c #Conflicts: 753000 | #Constraints: 64639
1186.83/1204.79 c #Conflicts: 754000 | #Constraints: 65639
1186.83/1204.79 c #Conflicts: 755000 | #Constraints: 66639
1186.83/1204.79 c #Conflicts: 756000 | #Constraints: 67639
1186.83/1204.79 c #Conflicts: 757000 | #Constraints: 68639
1186.83/1204.79 c #Conflicts: 758000 | #Constraints: 69639
1186.83/1204.79 c #Conflicts: 759000 | #Constraints: 70639
1186.83/1204.79 c #Conflicts: 760000 | #Constraints: 71639
1186.83/1204.79 c #Conflicts: 761000 | #Constraints: 72639
1186.83/1204.79 c #Conflicts: 762000 | #Constraints: 73639
1186.83/1204.79 c #Conflicts: 763000 | #Constraints: 74639
1186.83/1204.79 c #Conflicts: 764000 | #Constraints: 75639
1186.83/1204.79 c #Conflicts: 765000 | #Constraints: 76639
1186.83/1204.79 c #Conflicts: 766000 | #Constraints: 77639
1186.83/1204.79 c #Conflicts: 767000 | #Constraints: 78639
1186.83/1204.79 c #Conflicts: 768000 | #Constraints: 79639
1186.83/1204.79 c #Conflicts: 769000 | #Constraints: 80639
1186.83/1204.79 c #Conflicts: 770000 | #Constraints: 81639
1186.83/1204.79 c #Conflicts: 771000 | #Constraints: 82639
1186.83/1204.79 c #Conflicts: 772000 | #Constraints: 83639
1186.83/1204.79 c #Conflicts: 773000 | #Constraints: 84639
1186.83/1204.79 c #Conflicts: 774000 | #Constraints: 85639
1186.83/1204.79 c #Conflicts: 775000 | #Constraints: 86639
1186.83/1204.79 c #Conflicts: 776000 | #Constraints: 87639
1186.83/1204.79 c #Conflicts: 777000 | #Constraints: 88639
1186.83/1204.79 c #Conflicts: 778000 | #Constraints: 89639
1186.83/1204.79 c #Conflicts: 779000 | #Constraints: 90639
1186.83/1204.79 c #Conflicts: 780000 | #Constraints: 91639
1186.83/1204.79 c #Conflicts: 781000 | #Constraints: 92639
1186.83/1204.79 c #Conflicts: 782000 | #Constraints: 93639
1186.83/1204.79 c #Conflicts: 783000 | #Constraints: 94639
1186.83/1204.79 c INPROCESSING
1186.83/1204.79 c GARBAGE COLLECT
1186.83/1204.79 c #Conflicts: 784000 | #Constraints: 51895
1186.83/1204.79 c #Conflicts: 785000 | #Constraints: 52895
1186.83/1204.79 c #Conflicts: 786000 | #Constraints: 53895
1186.83/1204.79 c #Conflicts: 787000 | #Constraints: 54895
1186.83/1204.79 c #Conflicts: 788000 | #Constraints: 55895
1186.83/1204.79 c #Conflicts: 789000 | #Constraints: 56895
1186.83/1204.79 c #Conflicts: 790000 | #Constraints: 57895
1186.83/1204.79 c #Conflicts: 791000 | #Constraints: 58895
1186.83/1204.79 c #Conflicts: 792000 | #Constraints: 59895
1186.83/1204.79 c #Conflicts: 793000 | #Constraints: 60895
1186.83/1204.79 c #Conflicts: 794000 | #Constraints: 61895
1297.16/1316.30 c #Conflicts: 795000 | #Constraints: 62895
1297.16/1316.30 c #Conflicts: 796000 | #Constraints: 63895
1297.16/1316.30 c #Conflicts: 797000 | #Constraints: 64895
1297.16/1316.30 c #Conflicts: 798000 | #Constraints: 65895
1297.16/1316.30 c #Conflicts: 799000 | #Constraints: 66895
1297.16/1316.30 c #Conflicts: 800000 | #Constraints: 67895
1297.16/1316.30 c #Conflicts: 801000 | #Constraints: 68895
1297.16/1316.30 c #Conflicts: 802000 | #Constraints: 69895
1297.16/1316.30 c #Conflicts: 803000 | #Constraints: 70895
1297.16/1316.30 c INPROCESSING
1297.16/1316.30 c GARBAGE COLLECT
1297.16/1316.30 c #Conflicts: 804000 | #Constraints: 40099
1297.16/1316.30 c #Conflicts: 805000 | #Constraints: 41099
1297.16/1316.30 c #Conflicts: 806000 | #Constraints: 42099
1297.16/1316.30 c #Conflicts: 807000 | #Constraints: 43099
1297.16/1316.30 c #Conflicts: 808000 | #Constraints: 44099
1297.16/1316.30 c #Conflicts: 809000 | #Constraints: 45099
1297.16/1316.30 c #Conflicts: 810000 | #Constraints: 46099
1297.16/1316.30 c #Conflicts: 811000 | #Constraints: 47099
1297.16/1316.30 c #Conflicts: 812000 | #Constraints: 48099
1297.16/1316.30 c #Conflicts: 813000 | #Constraints: 49099
1297.16/1316.30 c #Conflicts: 814000 | #Constraints: 50099
1297.16/1316.30 c #Conflicts: 815000 | #Constraints: 51099
1297.16/1316.30 c #Conflicts: 816000 | #Constraints: 52099
1297.16/1316.30 c #Conflicts: 817000 | #Constraints: 53099
1297.16/1316.30 c #Conflicts: 818000 | #Constraints: 54099
1297.16/1316.30 c #Conflicts: 819000 | #Constraints: 55099
1297.16/1316.30 c #Conflicts: 820000 | #Constraints: 56099
1297.16/1316.30 c #Conflicts: 821000 | #Constraints: 57099
1297.16/1316.30 c #Conflicts: 822000 | #Constraints: 58099
1297.16/1316.30 c #Conflicts: 823000 | #Constraints: 59099
1297.16/1316.30 c INPROCESSING
1297.16/1316.30 c GARBAGE COLLECT
1297.16/1316.30 c #Conflicts: 824000 | #Constraints: 34080
1297.16/1316.30 c #Conflicts: 825000 | #Constraints: 35080
1297.16/1316.30 c #Conflicts: 826000 | #Constraints: 36080
1297.16/1316.30 c #Conflicts: 827000 | #Constraints: 37080
1297.16/1316.30 c #Conflicts: 828000 | #Constraints: 38080
1297.16/1316.30 c #Conflicts: 829000 | #Constraints: 39080
1297.16/1316.30 c #Conflicts: 830000 | #Constraints: 40080
1297.16/1316.30 c #Conflicts: 831000 | #Constraints: 41080
1297.16/1316.30 c #Conflicts: 832000 | #Constraints: 42080
1297.16/1316.30 c #Conflicts: 833000 | #Constraints: 43080
1297.16/1316.30 c #Conflicts: 834000 | #Constraints: 44080
1297.16/1316.30 c #Conflicts: 835000 | #Constraints: 45080
1297.16/1316.30 c #Conflicts: 836000 | #Constraints: 46080
1297.16/1316.30 c #Conflicts: 837000 | #Constraints: 47080
1297.16/1316.30 c #Conflicts: 838000 | #Constraints: 48080
1297.16/1316.30 c #Conflicts: 839000 | #Constraints: 49080
1297.16/1316.30 c #Conflicts: 840000 | #Constraints: 50080
1297.16/1316.30 c #Conflicts: 841000 | #Constraints: 51080
1297.16/1316.30 c #Conflicts: 842000 | #Constraints: 52080
1297.16/1316.30 c #Conflicts: 843000 | #Constraints: 53080
1297.16/1316.30 c INPROCESSING
1297.16/1316.30 c GARBAGE COLLECT
1297.16/1316.30 c #Conflicts: 844000 | #Constraints: 30851
1297.16/1316.30 c #Conflicts: 845000 | #Constraints: 31851
1297.16/1316.30 c #Conflicts: 846000 | #Constraints: 32851
1297.16/1316.30 c #Conflicts: 847000 | #Constraints: 33851
1297.16/1316.30 c #Conflicts: 848000 | #Constraints: 34851
1297.16/1316.30 c #Conflicts: 849000 | #Constraints: 35851
1297.16/1316.30 c #Conflicts: 850000 | #Constraints: 36851
1297.16/1316.30 c #Conflicts: 851000 | #Constraints: 37851
1297.16/1316.30 c #Conflicts: 852000 | #Constraints: 38851
1297.16/1316.30 c #Conflicts: 853000 | #Constraints: 39851
1297.16/1316.30 c #Conflicts: 854000 | #Constraints: 40851
1297.16/1316.30 c #Conflicts: 855000 | #Constraints: 41851
1297.16/1316.30 c #Conflicts: 856000 | #Constraints: 42851
1297.16/1316.30 c #Conflicts: 857000 | #Constraints: 43851
1297.16/1316.30 c #Conflicts: 858000 | #Constraints: 44851
1297.16/1316.30 c #Conflicts: 859000 | #Constraints: 45851
1297.16/1316.30 c #Conflicts: 860000 | #Constraints: 46851
1297.16/1316.30 c #Conflicts: 861000 | #Constraints: 47851
1297.16/1316.30 c #Conflicts: 862000 | #Constraints: 48851
1297.16/1316.30 c #Conflicts: 863000 | #Constraints: 49851
1297.16/1316.30 c #Conflicts: 864000 | #Constraints: 50851
1297.16/1316.30 c INPROCESSING
1297.16/1316.30 c GARBAGE COLLECT
1297.16/1316.30 c #Conflicts: 865000 | #Constraints: 29984
1297.16/1316.30 c #Conflicts: 866000 | #Constraints: 30984
1297.16/1316.30 c #Conflicts: 867000 | #Constraints: 31984
1297.16/1316.30 c #Conflicts: 868000 | #Constraints: 32984
1297.16/1316.30 c #Conflicts: 869000 | #Constraints: 33984
1297.16/1316.30 c #Conflicts: 870000 | #Constraints: 34984
1494.95/1515.89 c #Conflicts: 871000 | #Constraints: 35984
1494.95/1515.89 c #Conflicts: 872000 | #Constraints: 36984
1494.95/1515.89 c #Conflicts: 873000 | #Constraints: 37984
1494.95/1515.89 c #Conflicts: 874000 | #Constraints: 38984
1494.95/1515.89 c #Conflicts: 875000 | #Constraints: 39984
1494.95/1515.89 c #Conflicts: 876000 | #Constraints: 40984
1494.95/1515.89 c #Conflicts: 877000 | #Constraints: 41984
1494.95/1515.89 c #Conflicts: 878000 | #Constraints: 42984
1494.95/1515.89 c #Conflicts: 879000 | #Constraints: 43984
1494.95/1515.89 c #Conflicts: 880000 | #Constraints: 44984
1494.95/1515.89 c #Conflicts: 881000 | #Constraints: 45984
1494.95/1515.89 c #Conflicts: 882000 | #Constraints: 46984
1494.95/1515.89 c #Conflicts: 883000 | #Constraints: 47984
1494.95/1515.89 c #Conflicts: 884000 | #Constraints: 48984
1494.95/1515.89 c #Conflicts: 885000 | #Constraints: 49984
1494.95/1515.89 c #Conflicts: 886000 | #Constraints: 50984
1494.95/1515.89 c #Conflicts: 887000 | #Constraints: 51984
1494.95/1515.89 c #Conflicts: 888000 | #Constraints: 52984
1494.95/1515.89 c #Conflicts: 889000 | #Constraints: 53984
1494.95/1515.89 c #Conflicts: 890000 | #Constraints: 54984
1494.95/1515.89 c #Conflicts: 891000 | #Constraints: 55984
1494.95/1515.89 c #Conflicts: 892000 | #Constraints: 56984
1494.95/1515.89 c #Conflicts: 893000 | #Constraints: 57984
1494.95/1515.89 c #Conflicts: 894000 | #Constraints: 58984
1494.95/1515.89 c #Conflicts: 895000 | #Constraints: 59984
1494.95/1515.89 c #Conflicts: 896000 | #Constraints: 60985
1494.95/1515.89 c #Conflicts: 897000 | #Constraints: 61985
1494.95/1515.89 c #Conflicts: 898000 | #Constraints: 62985
1494.95/1515.89 c #Conflicts: 899000 | #Constraints: 63985
1494.95/1515.89 c #Conflicts: 900000 | #Constraints: 64985
1494.95/1515.89 c #Conflicts: 901000 | #Constraints: 65985
1494.95/1515.89 c #Conflicts: 902000 | #Constraints: 66985
1494.95/1515.89 c #Conflicts: 903000 | #Constraints: 67985
1494.95/1515.89 c #Conflicts: 904000 | #Constraints: 68985
1494.95/1515.89 c #Conflicts: 905000 | #Constraints: 69985
1494.95/1515.89 c #Conflicts: 906000 | #Constraints: 70985
1494.95/1515.89 c #Conflicts: 907000 | #Constraints: 71985
1494.95/1515.89 c #Conflicts: 908000 | #Constraints: 72985
1494.95/1515.89 c #Conflicts: 909000 | #Constraints: 73985
1494.95/1515.89 c #Conflicts: 910000 | #Constraints: 74985
1494.95/1515.89 c #Conflicts: 911000 | #Constraints: 75985
1494.95/1515.89 c #Conflicts: 912000 | #Constraints: 76985
1494.95/1515.89 c #Conflicts: 913000 | #Constraints: 77985
1494.95/1515.89 c #Conflicts: 914000 | #Constraints: 78985
1494.95/1515.89 c #Conflicts: 915000 | #Constraints: 79985
1494.95/1515.89 c #Conflicts: 916000 | #Constraints: 80985
1494.95/1515.89 c #Conflicts: 917000 | #Constraints: 81985
1494.95/1515.89 c #Conflicts: 918000 | #Constraints: 82985
1494.95/1515.89 c #Conflicts: 919000 | #Constraints: 83985
1494.95/1515.89 c #Conflicts: 920000 | #Constraints: 84985
1494.95/1515.89 c #Conflicts: 921000 | #Constraints: 85985
1494.95/1515.89 c #Conflicts: 922000 | #Constraints: 86985
1494.95/1515.89 c #Conflicts: 923000 | #Constraints: 87985
1494.95/1515.89 c #Conflicts: 924000 | #Constraints: 88985
1494.95/1515.89 c #Conflicts: 925000 | #Constraints: 89985
1494.95/1515.89 c #Conflicts: 926000 | #Constraints: 90985
1494.95/1515.89 c #Conflicts: 927000 | #Constraints: 91985
1494.95/1515.89 c #Conflicts: 928000 | #Constraints: 92985
1494.95/1515.89 c #Conflicts: 929000 | #Constraints: 93985
1494.95/1515.89 c #Conflicts: 930000 | #Constraints: 94985
1494.95/1515.89 c #Conflicts: 931000 | #Constraints: 95985
1494.95/1515.89 c #Conflicts: 932000 | #Constraints: 96985
1494.95/1515.89 c #Conflicts: 933000 | #Constraints: 97985
1494.95/1515.89 c #Conflicts: 934000 | #Constraints: 98985
1494.95/1515.89 c #Conflicts: 935000 | #Constraints: 99985
1494.95/1515.89 c #Conflicts: 936000 | #Constraints: 100985
1494.95/1515.89 c #Conflicts: 937000 | #Constraints: 101985
1494.95/1515.89 c #Conflicts: 938000 | #Constraints: 102985
1494.95/1515.89 c INPROCESSING
1494.95/1515.89 c GARBAGE COLLECT
1494.95/1515.89 c rational objective 98.0552
1654.30/1677.37 c #Conflicts: 939000 | #Constraints: 56109
1654.30/1677.37 c #Conflicts: 940000 | #Constraints: 57109
1654.30/1677.37 c #Conflicts: 941000 | #Constraints: 58109
1654.30/1677.37 c #Conflicts: 942000 | #Constraints: 59109
1654.30/1677.37 c #Conflicts: 943000 | #Constraints: 60109
1654.30/1677.37 c #Conflicts: 944000 | #Constraints: 61109
1654.30/1677.37 c #Conflicts: 945000 | #Constraints: 62109
1654.30/1677.37 c #Conflicts: 946000 | #Constraints: 63109
1654.30/1677.37 c #Conflicts: 947000 | #Constraints: 64109
1654.30/1677.37 c #Conflicts: 948000 | #Constraints: 65109
1654.30/1677.37 c #Conflicts: 949000 | #Constraints: 66109
1654.30/1677.37 c #Conflicts: 950000 | #Constraints: 67109
1654.30/1677.37 c #Conflicts: 951000 | #Constraints: 68109
1654.30/1677.37 c #Conflicts: 952000 | #Constraints: 69109
1654.30/1677.37 c #Conflicts: 953000 | #Constraints: 70109
1654.30/1677.37 c #Conflicts: 954000 | #Constraints: 71109
1654.30/1677.37 c #Conflicts: 955000 | #Constraints: 72109
1654.30/1677.37 c #Conflicts: 956000 | #Constraints: 73109
1654.30/1677.37 c #Conflicts: 957000 | #Constraints: 74109
1654.30/1677.37 c #Conflicts: 958000 | #Constraints: 75109
1654.30/1677.37 c #Conflicts: 959000 | #Constraints: 76109
1654.30/1677.37 c #Conflicts: 960000 | #Constraints: 77109
1654.30/1677.37 c INPROCESSING
1654.30/1677.37 c GARBAGE COLLECT
1654.30/1677.37 c #Conflicts: 961000 | #Constraints: 43231
1654.30/1677.37 c #Conflicts: 962000 | #Constraints: 44231
1654.30/1677.37 c #Conflicts: 963000 | #Constraints: 45231
1654.30/1677.37 c #Conflicts: 964000 | #Constraints: 46231
1654.30/1677.37 c #Conflicts: 965000 | #Constraints: 47231
1654.30/1677.37 c #Conflicts: 966000 | #Constraints: 48231
1654.30/1677.37 c #Conflicts: 967000 | #Constraints: 49231
1654.30/1677.37 c #Conflicts: 968000 | #Constraints: 50231
1654.30/1677.37 c #Conflicts: 969000 | #Constraints: 51231
1654.30/1677.37 c #Conflicts: 970000 | #Constraints: 52231
1654.30/1677.37 c #Conflicts: 971000 | #Constraints: 53231
1654.30/1677.37 c #Conflicts: 972000 | #Constraints: 54231
1654.30/1677.37 c #Conflicts: 973000 | #Constraints: 55231
1654.30/1677.37 c #Conflicts: 974000 | #Constraints: 56231
1654.30/1677.37 c #Conflicts: 975000 | #Constraints: 57231
1654.30/1677.37 c #Conflicts: 976000 | #Constraints: 58231
1654.30/1677.37 c #Conflicts: 977000 | #Constraints: 59231
1654.30/1677.37 c #Conflicts: 978000 | #Constraints: 60231
1654.30/1677.37 c #Conflicts: 979000 | #Constraints: 61231
1654.30/1677.37 c #Conflicts: 980000 | #Constraints: 62231
1654.30/1677.37 c #Conflicts: 981000 | #Constraints: 63231
1654.30/1677.37 c #Conflicts: 982000 | #Constraints: 64231
1654.30/1677.37 c INPROCESSING
1654.30/1677.37 c GARBAGE COLLECT
1654.30/1677.37 c #Conflicts: 983000 | #Constraints: 36653
1654.30/1677.37 c #Conflicts: 984000 | #Constraints: 37653
1654.30/1677.37 c #Conflicts: 985000 | #Constraints: 38653
1654.30/1677.37 c #Conflicts: 986000 | #Constraints: 39653
1654.30/1677.37 c #Conflicts: 987000 | #Constraints: 40653
1654.30/1677.37 c #Conflicts: 988000 | #Constraints: 41653
1654.30/1677.37 c #Conflicts: 989000 | #Constraints: 42653
1654.30/1677.37 c #Conflicts: 990000 | #Constraints: 43653
1654.30/1677.37 c #Conflicts: 991000 | #Constraints: 44653
1654.30/1677.37 c #Conflicts: 992000 | #Constraints: 45653
1654.30/1677.37 c #Conflicts: 993000 | #Constraints: 46653
1654.30/1677.37 c #Conflicts: 994000 | #Constraints: 47653
1654.30/1677.37 c #Conflicts: 995000 | #Constraints: 48653
1654.30/1677.37 c #Conflicts: 996000 | #Constraints: 49653
1654.30/1677.37 c #Conflicts: 997000 | #Constraints: 50653
1654.30/1677.37 c #Conflicts: 998000 | #Constraints: 51653
1654.30/1677.37 c #Conflicts: 999000 | #Constraints: 52653
1654.30/1677.37 c #Conflicts: 1000000 | #Constraints: 53653
1654.30/1677.37 c #Conflicts: 1001000 | #Constraints: 54653
1654.30/1677.37 c #Conflicts: 1002000 | #Constraints: 55653
1654.30/1677.37 c #Conflicts: 1003000 | #Constraints: 56653
1654.30/1677.37 c #Conflicts: 1004000 | #Constraints: 57653
1654.30/1677.37 c INPROCESSING
1654.30/1677.37 c GARBAGE COLLECT
1654.30/1677.37 c #Conflicts: 1005000 | #Constraints: 33358
1654.30/1677.37 c #Conflicts: 1006000 | #Constraints: 34358
1654.30/1677.37 c #Conflicts: 1007000 | #Constraints: 35358
1654.30/1677.37 c #Conflicts: 1008000 | #Constraints: 36358
1654.30/1677.37 c #Conflicts: 1009000 | #Constraints: 37358
1654.30/1677.37 c #Conflicts: 1010000 | #Constraints: 38358
1654.30/1677.37 c #Conflicts: 1011000 | #Constraints: 39358
1654.30/1677.37 c #Conflicts: 1012000 | #Constraints: 40358
1654.30/1677.37 c #Conflicts: 1013000 | #Constraints: 41358
1654.30/1677.37 c #Conflicts: 1014000 | #Constraints: 42358
1654.30/1677.37 c #Conflicts: 1015000 | #Constraints: 43358
1827.48/1852.45 c #Conflicts: 1016000 | #Constraints: 44358
1827.48/1852.45 c #Conflicts: 1017000 | #Constraints: 45358
1827.48/1852.45 c #Conflicts: 1018000 | #Constraints: 46358
1827.48/1852.45 c #Conflicts: 1019000 | #Constraints: 47358
1827.48/1852.45 c #Conflicts: 1020000 | #Constraints: 48358
1827.48/1852.45 c #Conflicts: 1021000 | #Constraints: 49358
1827.48/1852.45 c #Conflicts: 1022000 | #Constraints: 50358
1827.48/1852.45 c #Conflicts: 1023000 | #Constraints: 51358
1827.48/1852.45 c #Conflicts: 1024000 | #Constraints: 52358
1827.48/1852.45 c #Conflicts: 1025000 | #Constraints: 53358
1827.48/1852.45 c #Conflicts: 1026000 | #Constraints: 54358
1827.48/1852.45 c INPROCESSING
1827.48/1852.45 c GARBAGE COLLECT
1827.48/1852.45 c #Conflicts: 1027000 | #Constraints: 31366
1827.48/1852.45 c #Conflicts: 1028000 | #Constraints: 32366
1827.48/1852.45 c #Conflicts: 1029000 | #Constraints: 33366
1827.48/1852.45 c #Conflicts: 1030000 | #Constraints: 34366
1827.48/1852.45 c #Conflicts: 1031000 | #Constraints: 35366
1827.48/1852.45 c #Conflicts: 1032000 | #Constraints: 36366
1827.48/1852.45 c #Conflicts: 1033000 | #Constraints: 37366
1827.48/1852.45 c #Conflicts: 1034000 | #Constraints: 38366
1827.48/1852.45 c #Conflicts: 1035000 | #Constraints: 39366
1827.48/1852.45 c #Conflicts: 1036000 | #Constraints: 40366
1827.48/1852.45 c #Conflicts: 1037000 | #Constraints: 41366
1827.48/1852.45 c #Conflicts: 1038000 | #Constraints: 42366
1827.48/1852.45 c #Conflicts: 1039000 | #Constraints: 43366
1827.48/1852.45 c #Conflicts: 1040000 | #Constraints: 44366
1827.48/1852.45 c #Conflicts: 1041000 | #Constraints: 45366
1827.48/1852.45 c #Conflicts: 1042000 | #Constraints: 46366
1827.48/1852.45 c #Conflicts: 1043000 | #Constraints: 47366
1827.48/1852.45 c #Conflicts: 1044000 | #Constraints: 48366
1827.48/1852.45 c #Conflicts: 1045000 | #Constraints: 49366
1827.48/1852.45 c #Conflicts: 1046000 | #Constraints: 50366
1827.48/1852.45 c #Conflicts: 1047000 | #Constraints: 51366
1827.48/1852.45 c #Conflicts: 1048000 | #Constraints: 52366
1827.48/1852.45 c #Conflicts: 1049000 | #Constraints: 53366
1827.48/1852.45 c #Conflicts: 1050000 | #Constraints: 54366
1827.48/1852.45 c #Conflicts: 1051000 | #Constraints: 55366
1827.48/1852.45 c #Conflicts: 1052000 | #Constraints: 56366
1827.48/1852.45 c #Conflicts: 1053000 | #Constraints: 57366
1827.48/1852.45 c #Conflicts: 1054000 | #Constraints: 58366
1827.48/1852.45 c #Conflicts: 1055000 | #Constraints: 59366
1827.48/1852.45 c #Conflicts: 1056000 | #Constraints: 60366
1827.48/1852.45 c #Conflicts: 1057000 | #Constraints: 61366
1827.48/1852.45 c #Conflicts: 1058000 | #Constraints: 62366
1827.48/1852.45 c #Conflicts: 1059000 | #Constraints: 63366
1827.48/1852.45 c #Conflicts: 1060000 | #Constraints: 64366
1827.48/1852.45 c #Conflicts: 1061000 | #Constraints: 65366
1827.48/1852.45 c #Conflicts: 1062000 | #Constraints: 66366
1827.48/1852.45 c #Conflicts: 1063000 | #Constraints: 67366
1827.48/1852.45 c #Conflicts: 1064000 | #Constraints: 68366
1827.48/1852.45 c #Conflicts: 1065000 | #Constraints: 69366
1827.48/1852.45 c #Conflicts: 1066000 | #Constraints: 70366
1827.48/1852.45 c #Conflicts: 1067000 | #Constraints: 71366
1827.48/1852.45 c #Conflicts: 1068000 | #Constraints: 72366
1827.48/1852.45 c #Conflicts: 1069000 | #Constraints: 73366
1827.48/1852.45 c #Conflicts: 1070000 | #Constraints: 74366
1827.48/1852.45 c #Conflicts: 1071000 | #Constraints: 75366
1827.48/1852.45 c #Conflicts: 1072000 | #Constraints: 76366
1827.48/1852.45 c #Conflicts: 1073000 | #Constraints: 77366
1827.48/1852.45 c #Conflicts: 1074000 | #Constraints: 78366
1827.48/1852.45 c #Conflicts: 1075000 | #Constraints: 79366
1827.48/1852.45 c #Conflicts: 1076000 | #Constraints: 80366
1827.48/1852.45 c #Conflicts: 1077000 | #Constraints: 81366
1827.48/1852.45 c #Conflicts: 1078000 | #Constraints: 82366
1827.48/1852.45 c #Conflicts: 1079000 | #Constraints: 83366
1827.48/1852.45 c #Conflicts: 1080000 | #Constraints: 84366
1827.48/1852.45 c #Conflicts: 1081000 | #Constraints: 85366
1827.48/1852.45 c #Conflicts: 1082000 | #Constraints: 86366
1827.48/1852.45 c #Conflicts: 1083000 | #Constraints: 87366
1827.48/1852.45 c #Conflicts: 1084000 | #Constraints: 88366
1827.48/1852.45 c #Conflicts: 1085000 | #Constraints: 89366
1827.48/1852.45 c #Conflicts: 1086000 | #Constraints: 90366
1827.48/1852.45 c #Conflicts: 1087000 | #Constraints: 91366
1827.48/1852.45 c #Conflicts: 1088000 | #Constraints: 92366
1827.48/1852.45 c #Conflicts: 1089000 | #Constraints: 93366
1827.48/1852.45 c #Conflicts: 1090000 | #Constraints: 94366
1827.48/1852.45 c #Conflicts: 1091000 | #Constraints: 95366
1827.48/1852.45 c #Conflicts: 1092000 | #Constraints: 96366
1827.48/1852.45 c #Conflicts: 1093000 | #Constraints: 97366
1967.03/1992.44 c #Conflicts: 1094000 | #Constraints: 98366
1967.03/1992.44 c #Conflicts: 1095000 | #Constraints: 99366
1967.03/1992.44 c #Conflicts: 1096000 | #Constraints: 100366
1967.03/1992.44 c #Conflicts: 1097000 | #Constraints: 101366
1967.03/1992.44 c #Conflicts: 1098000 | #Constraints: 102366
1967.03/1992.44 c #Conflicts: 1099000 | #Constraints: 103366
1967.03/1992.44 c #Conflicts: 1100000 | #Constraints: 104366
1967.03/1992.44 c #Conflicts: 1101000 | #Constraints: 105366
1967.03/1992.44 c #Conflicts: 1102000 | #Constraints: 106366
1967.03/1992.44 c #Conflicts: 1103000 | #Constraints: 107366
1967.03/1992.44 c #Conflicts: 1104000 | #Constraints: 108366
1967.03/1992.44 c #Conflicts: 1105000 | #Constraints: 109366
1967.03/1992.44 c #Conflicts: 1106000 | #Constraints: 110366
1967.03/1992.44 c #Conflicts: 1107000 | #Constraints: 111366
1967.03/1992.44 c INPROCESSING
1967.03/1992.44 c GARBAGE COLLECT
1967.03/1992.44 c #Conflicts: 1108000 | #Constraints: 60273
1967.03/1992.44 c #Conflicts: 1109000 | #Constraints: 61273
1967.03/1992.44 c #Conflicts: 1110000 | #Constraints: 62273
1967.03/1992.44 c #Conflicts: 1111000 | #Constraints: 63273
1967.03/1992.44 c #Conflicts: 1112000 | #Constraints: 64273
1967.03/1992.44 c #Conflicts: 1113000 | #Constraints: 65273
1967.03/1992.44 c #Conflicts: 1114000 | #Constraints: 66273
1967.03/1992.44 c #Conflicts: 1115000 | #Constraints: 67273
1967.03/1992.44 c #Conflicts: 1116000 | #Constraints: 68273
1967.03/1992.44 c #Conflicts: 1117000 | #Constraints: 69273
1967.03/1992.44 c #Conflicts: 1118000 | #Constraints: 70273
1967.03/1992.44 c #Conflicts: 1119000 | #Constraints: 71273
1967.03/1992.44 c #Conflicts: 1120000 | #Constraints: 72273
1967.03/1992.44 c #Conflicts: 1121000 | #Constraints: 73273
1967.03/1992.44 c #Conflicts: 1122000 | #Constraints: 74273
1967.03/1992.44 c #Conflicts: 1123000 | #Constraints: 75273
1967.03/1992.44 c #Conflicts: 1124000 | #Constraints: 76273
1967.03/1992.44 c #Conflicts: 1125000 | #Constraints: 77273
1967.03/1992.44 c #Conflicts: 1126000 | #Constraints: 78273
1967.03/1992.44 c #Conflicts: 1127000 | #Constraints: 79273
1967.03/1992.44 c #Conflicts: 1128000 | #Constraints: 80273
1967.03/1992.44 c #Conflicts: 1129000 | #Constraints: 81273
1967.03/1992.44 c #Conflicts: 1130000 | #Constraints: 82273
1967.03/1992.44 c #Conflicts: 1131000 | #Constraints: 83273
1967.03/1992.44 c INPROCESSING
1967.03/1992.44 c GARBAGE COLLECT
1967.03/1992.44 c rational objective 98.1465
2089.62/2115.52 c #Conflicts: 1132000 | #Constraints: 46330
2089.62/2115.52 c #Conflicts: 1133000 | #Constraints: 47330
2089.62/2115.52 c #Conflicts: 1134000 | #Constraints: 48330
2089.62/2115.52 c #Conflicts: 1135000 | #Constraints: 49330
2089.62/2115.52 c #Conflicts: 1136000 | #Constraints: 50330
2089.62/2115.52 c #Conflicts: 1137000 | #Constraints: 51330
2089.62/2115.52 c #Conflicts: 1138000 | #Constraints: 52330
2089.62/2115.52 c #Conflicts: 1139000 | #Constraints: 53330
2089.62/2115.52 c #Conflicts: 1140000 | #Constraints: 54330
2089.62/2115.52 c #Conflicts: 1141000 | #Constraints: 55330
2089.62/2115.52 c #Conflicts: 1142000 | #Constraints: 56330
2089.62/2115.52 c #Conflicts: 1143000 | #Constraints: 57330
2089.62/2115.52 c #Conflicts: 1144000 | #Constraints: 58330
2089.62/2115.52 c #Conflicts: 1145000 | #Constraints: 59330
2089.62/2115.52 c #Conflicts: 1146000 | #Constraints: 60330
2089.62/2115.52 c #Conflicts: 1147000 | #Constraints: 61330
2089.62/2115.52 c #Conflicts: 1148000 | #Constraints: 62330
2089.62/2115.52 c #Conflicts: 1149000 | #Constraints: 63330
2089.62/2115.52 c #Conflicts: 1150000 | #Constraints: 64330
2089.62/2115.52 c #Conflicts: 1151000 | #Constraints: 65330
2089.62/2115.52 c #Conflicts: 1152000 | #Constraints: 66330
2089.62/2115.52 c #Conflicts: 1153000 | #Constraints: 67330
2089.62/2115.52 c #Conflicts: 1154000 | #Constraints: 68330
2089.62/2115.52 c #Conflicts: 1155000 | #Constraints: 69330
2089.62/2115.52 c INPROCESSING
2089.62/2115.52 c GARBAGE COLLECT
2089.62/2115.52 c #Conflicts: 1156000 | #Constraints: 39408
2089.62/2115.52 c #Conflicts: 1157000 | #Constraints: 40408
2089.62/2115.52 c #Conflicts: 1158000 | #Constraints: 41408
2089.62/2115.52 c #Conflicts: 1159000 | #Constraints: 42408
2089.62/2115.52 c #Conflicts: 1160000 | #Constraints: 43408
2089.62/2115.52 c #Conflicts: 1161000 | #Constraints: 44408
2089.62/2115.52 c #Conflicts: 1162000 | #Constraints: 45408
2089.62/2115.52 c #Conflicts: 1163000 | #Constraints: 46408
2089.62/2115.52 c #Conflicts: 1164000 | #Constraints: 47408
2089.62/2115.52 c #Conflicts: 1165000 | #Constraints: 48408
2089.62/2115.52 c #Conflicts: 1166000 | #Constraints: 49408
2089.62/2115.52 c #Conflicts: 1167000 | #Constraints: 50408
2089.62/2115.52 c #Conflicts: 1168000 | #Constraints: 51408
2089.62/2115.52 c #Conflicts: 1169000 | #Constraints: 52408
2089.62/2115.52 c #Conflicts: 1170000 | #Constraints: 53408
2089.62/2115.52 c #Conflicts: 1171000 | #Constraints: 54408
2089.62/2115.52 c #Conflicts: 1172000 | #Constraints: 55408
2089.62/2115.52 c #Conflicts: 1173000 | #Constraints: 56408
2089.62/2115.52 c #Conflicts: 1174000 | #Constraints: 57408
2089.62/2115.52 c #Conflicts: 1175000 | #Constraints: 58408
2089.62/2115.52 c #Conflicts: 1176000 | #Constraints: 59408
2089.62/2115.52 c #Conflicts: 1177000 | #Constraints: 60408
2089.62/2115.52 c #Conflicts: 1178000 | #Constraints: 61408
2089.62/2115.52 c #Conflicts: 1179000 | #Constraints: 62408
2089.62/2115.52 c INPROCESSING
2089.62/2115.52 c GARBAGE COLLECT
2089.62/2115.52 c #Conflicts: 1180000 | #Constraints: 35787
2089.62/2115.52 c #Conflicts: 1181000 | #Constraints: 36787
2089.62/2115.52 c #Conflicts: 1182000 | #Constraints: 37787
2089.62/2115.52 c #Conflicts: 1183000 | #Constraints: 38787
2089.62/2115.52 c #Conflicts: 1184000 | #Constraints: 39787
2089.62/2115.52 c #Conflicts: 1185000 | #Constraints: 40787
2089.62/2115.52 c #Conflicts: 1186000 | #Constraints: 41787
2089.62/2115.52 c #Conflicts: 1187000 | #Constraints: 42787
2089.62/2115.52 c #Conflicts: 1188000 | #Constraints: 43787
2089.62/2115.52 c #Conflicts: 1189000 | #Constraints: 44787
2089.62/2115.52 c #Conflicts: 1190000 | #Constraints: 45787
2089.62/2115.52 c #Conflicts: 1191000 | #Constraints: 46787
2089.62/2115.52 c #Conflicts: 1192000 | #Constraints: 47787
2089.62/2115.52 c #Conflicts: 1193000 | #Constraints: 48787
2089.62/2115.52 c #Conflicts: 1194000 | #Constraints: 49787
2089.62/2115.52 c #Conflicts: 1195000 | #Constraints: 50787
2089.62/2115.52 c #Conflicts: 1196000 | #Constraints: 51787
2089.62/2115.52 c #Conflicts: 1197000 | #Constraints: 52787
2089.62/2115.52 c #Conflicts: 1198000 | #Constraints: 53787
2089.62/2115.52 c #Conflicts: 1199000 | #Constraints: 54787
2089.62/2115.52 c #Conflicts: 1200000 | #Constraints: 55787
2089.62/2115.52 c #Conflicts: 1201000 | #Constraints: 56787
2089.62/2115.52 c #Conflicts: 1202000 | #Constraints: 57787
2089.62/2115.52 c #Conflicts: 1203000 | #Constraints: 58787
2089.62/2115.52 c INPROCESSING
2089.62/2115.52 c GARBAGE COLLECT
2089.62/2115.52 c #Conflicts: 1204000 | #Constraints: 33670
2089.62/2115.52 c #Conflicts: 1205000 | #Constraints: 34670
2089.62/2115.52 c #Conflicts: 1206000 | #Constraints: 35670
2089.62/2115.52 c #Conflicts: 1207000 | #Constraints: 36670
2089.62/2115.52 c #Conflicts: 1208000 | #Constraints: 37670
2242.49/2269.29 c #Conflicts: 1209000 | #Constraints: 38670
2242.49/2269.29 c #Conflicts: 1210000 | #Constraints: 39670
2242.49/2269.29 c #Conflicts: 1211000 | #Constraints: 40670
2242.49/2269.29 c #Conflicts: 1212000 | #Constraints: 41670
2242.49/2269.29 c #Conflicts: 1213000 | #Constraints: 42670
2242.49/2269.29 c #Conflicts: 1214000 | #Constraints: 43670
2242.49/2269.29 c #Conflicts: 1215000 | #Constraints: 44670
2242.49/2269.29 c #Conflicts: 1216000 | #Constraints: 45670
2242.49/2269.29 c #Conflicts: 1217000 | #Constraints: 46670
2242.49/2269.29 c #Conflicts: 1218000 | #Constraints: 47670
2242.49/2269.29 c #Conflicts: 1219000 | #Constraints: 48670
2242.49/2269.29 c #Conflicts: 1220000 | #Constraints: 49670
2242.49/2269.29 c #Conflicts: 1221000 | #Constraints: 50670
2242.49/2269.29 c #Conflicts: 1222000 | #Constraints: 51670
2242.49/2269.29 c #Conflicts: 1223000 | #Constraints: 52670
2242.49/2269.29 c #Conflicts: 1224000 | #Constraints: 53670
2242.49/2269.29 c #Conflicts: 1225000 | #Constraints: 54670
2242.49/2269.29 c #Conflicts: 1226000 | #Constraints: 55670
2242.49/2269.29 c #Conflicts: 1227000 | #Constraints: 56670
2242.49/2269.29 c #Conflicts: 1228000 | #Constraints: 57670
2242.49/2269.29 c INPROCESSING
2242.49/2269.29 c GARBAGE COLLECT
2242.49/2269.29 c #Conflicts: 1229000 | #Constraints: 33348
2242.49/2269.29 c #Conflicts: 1230000 | #Constraints: 34348
2242.49/2269.29 c #Conflicts: 1231000 | #Constraints: 35348
2242.49/2269.29 c #Conflicts: 1232000 | #Constraints: 36348
2242.49/2269.29 c #Conflicts: 1233000 | #Constraints: 37348
2242.49/2269.29 c #Conflicts: 1234000 | #Constraints: 38348
2242.49/2269.29 c #Conflicts: 1235000 | #Constraints: 39348
2242.49/2269.29 c #Conflicts: 1236000 | #Constraints: 40348
2242.49/2269.29 c #Conflicts: 1237000 | #Constraints: 41348
2242.49/2269.29 c #Conflicts: 1238000 | #Constraints: 42348
2242.49/2269.29 c #Conflicts: 1239000 | #Constraints: 43348
2242.49/2269.29 c #Conflicts: 1240000 | #Constraints: 44348
2242.49/2269.29 c #Conflicts: 1241000 | #Constraints: 45348
2242.49/2269.29 c #Conflicts: 1242000 | #Constraints: 46348
2242.49/2269.29 c #Conflicts: 1243000 | #Constraints: 47348
2242.49/2269.29 c #Conflicts: 1244000 | #Constraints: 48348
2242.49/2269.29 c #Conflicts: 1245000 | #Constraints: 49348
2242.49/2269.29 c #Conflicts: 1246000 | #Constraints: 50348
2242.49/2269.29 c #Conflicts: 1247000 | #Constraints: 51348
2242.49/2269.29 c #Conflicts: 1248000 | #Constraints: 52348
2242.49/2269.29 c #Conflicts: 1249000 | #Constraints: 53348
2242.49/2269.29 c #Conflicts: 1250000 | #Constraints: 54348
2242.49/2269.29 c #Conflicts: 1251000 | #Constraints: 55348
2242.49/2269.29 c #Conflicts: 1252000 | #Constraints: 56348
2242.49/2269.29 c #Conflicts: 1253000 | #Constraints: 57348
2242.49/2269.29 c #Conflicts: 1254000 | #Constraints: 58348
2242.49/2269.29 c #Conflicts: 1255000 | #Constraints: 59348
2242.49/2269.29 c #Conflicts: 1256000 | #Constraints: 60348
2242.49/2269.29 c #Conflicts: 1257000 | #Constraints: 61348
2242.49/2269.29 c #Conflicts: 1258000 | #Constraints: 62348
2242.49/2269.29 c #Conflicts: 1259000 | #Constraints: 63348
2242.49/2269.29 c #Conflicts: 1260000 | #Constraints: 64348
2242.49/2269.29 c #Conflicts: 1261000 | #Constraints: 65348
2242.49/2269.29 c #Conflicts: 1262000 | #Constraints: 66348
2242.49/2269.29 c #Conflicts: 1263000 | #Constraints: 67348
2242.49/2269.29 c #Conflicts: 1264000 | #Constraints: 68348
2242.49/2269.29 c #Conflicts: 1265000 | #Constraints: 69348
2242.49/2269.29 c #Conflicts: 1266000 | #Constraints: 70349
2242.49/2269.29 c #Conflicts: 1267000 | #Constraints: 71349
2242.49/2269.29 c #Conflicts: 1268000 | #Constraints: 72349
2242.49/2269.29 c #Conflicts: 1269000 | #Constraints: 73349
2242.49/2269.29 c #Conflicts: 1270000 | #Constraints: 74349
2242.49/2269.29 c #Conflicts: 1271000 | #Constraints: 75349
2242.49/2269.29 c #Conflicts: 1272000 | #Constraints: 76349
2242.49/2269.29 c #Conflicts: 1273000 | #Constraints: 77349
2242.49/2269.29 c #Conflicts: 1274000 | #Constraints: 78349
2242.49/2269.29 c #Conflicts: 1275000 | #Constraints: 79349
2242.49/2269.29 c #Conflicts: 1276000 | #Constraints: 80349
2242.49/2269.29 c #Conflicts: 1277000 | #Constraints: 81349
2242.49/2269.29 c #Conflicts: 1278000 | #Constraints: 82349
2242.49/2269.29 c #Conflicts: 1279000 | #Constraints: 83349
2242.49/2269.29 c #Conflicts: 1280000 | #Constraints: 84349
2242.49/2269.29 c #Conflicts: 1281000 | #Constraints: 85349
2242.49/2269.29 c #Conflicts: 1282000 | #Constraints: 86349
2242.49/2269.29 c #Conflicts: 1283000 | #Constraints: 87349
2242.49/2269.29 c #Conflicts: 1284000 | #Constraints: 88349
2242.49/2269.29 c #Conflicts: 1285000 | #Constraints: 89349
2242.49/2269.29 c #Conflicts: 1286000 | #Constraints: 90349
2475.05/2503.21 c #Conflicts: 1287000 | #Constraints: 91349
2475.05/2503.21 c #Conflicts: 1288000 | #Constraints: 92349
2475.05/2503.21 c #Conflicts: 1289000 | #Constraints: 93349
2475.05/2503.21 c #Conflicts: 1290000 | #Constraints: 94349
2475.05/2503.21 c #Conflicts: 1291000 | #Constraints: 95349
2475.05/2503.21 c #Conflicts: 1292000 | #Constraints: 96349
2475.05/2503.21 c #Conflicts: 1293000 | #Constraints: 97349
2475.05/2503.21 c #Conflicts: 1294000 | #Constraints: 98349
2475.05/2503.21 c #Conflicts: 1295000 | #Constraints: 99349
2475.05/2503.21 c #Conflicts: 1296000 | #Constraints: 100349
2475.05/2503.21 c #Conflicts: 1297000 | #Constraints: 101349
2475.05/2503.21 c #Conflicts: 1298000 | #Constraints: 102349
2475.05/2503.21 c #Conflicts: 1299000 | #Constraints: 103349
2475.05/2503.21 c #Conflicts: 1300000 | #Constraints: 104349
2475.05/2503.21 c #Conflicts: 1301000 | #Constraints: 105349
2475.05/2503.21 c #Conflicts: 1302000 | #Constraints: 106349
2475.05/2503.21 c #Conflicts: 1303000 | #Constraints: 107349
2475.05/2503.21 c #Conflicts: 1304000 | #Constraints: 108349
2475.05/2503.21 c #Conflicts: 1305000 | #Constraints: 109349
2475.05/2503.21 c #Conflicts: 1306000 | #Constraints: 110349
2475.05/2503.21 c #Conflicts: 1307000 | #Constraints: 111349
2475.05/2503.21 c #Conflicts: 1308000 | #Constraints: 112349
2475.05/2503.21 c #Conflicts: 1309000 | #Constraints: 113349
2475.05/2503.21 c #Conflicts: 1310000 | #Constraints: 114349
2475.05/2503.21 c #Conflicts: 1311000 | #Constraints: 115349
2475.05/2503.21 c #Conflicts: 1312000 | #Constraints: 116349
2475.05/2503.21 c #Conflicts: 1313000 | #Constraints: 117349
2475.05/2503.21 c #Conflicts: 1314000 | #Constraints: 118349
2475.05/2503.21 c #Conflicts: 1315000 | #Constraints: 119349
2475.05/2503.21 c #Conflicts: 1316000 | #Constraints: 120349
2475.05/2503.21 c INPROCESSING
2475.05/2503.21 c GARBAGE COLLECT
2475.05/2503.21 c #Conflicts: 1317000 | #Constraints: 64806
2475.05/2503.21 c #Conflicts: 1318000 | #Constraints: 65806
2475.05/2503.21 c #Conflicts: 1319000 | #Constraints: 66806
2475.05/2503.21 c #Conflicts: 1320000 | #Constraints: 67806
2475.05/2503.21 c #Conflicts: 1321000 | #Constraints: 68806
2475.05/2503.21 c #Conflicts: 1322000 | #Constraints: 69806
2475.05/2503.21 c #Conflicts: 1323000 | #Constraints: 70806
2475.05/2503.21 c #Conflicts: 1324000 | #Constraints: 71806
2475.05/2503.21 c #Conflicts: 1325000 | #Constraints: 72806
2475.05/2503.21 c #Conflicts: 1326000 | #Constraints: 73806
2475.05/2503.21 c #Conflicts: 1327000 | #Constraints: 74806
2475.05/2503.21 c #Conflicts: 1328000 | #Constraints: 75806
2475.05/2503.21 c #Conflicts: 1329000 | #Constraints: 76806
2475.05/2503.21 c #Conflicts: 1330000 | #Constraints: 77806
2475.05/2503.21 c #Conflicts: 1331000 | #Constraints: 78806
2475.05/2503.21 c #Conflicts: 1332000 | #Constraints: 79806
2475.05/2503.21 c #Conflicts: 1333000 | #Constraints: 80806
2475.05/2503.21 c #Conflicts: 1334000 | #Constraints: 81806
2475.05/2503.21 c #Conflicts: 1335000 | #Constraints: 82806
2475.05/2503.21 c #Conflicts: 1336000 | #Constraints: 83806
2475.05/2503.21 c #Conflicts: 1337000 | #Constraints: 84806
2475.05/2503.21 c #Conflicts: 1338000 | #Constraints: 85806
2475.05/2503.21 c #Conflicts: 1339000 | #Constraints: 86806
2475.05/2503.21 c #Conflicts: 1340000 | #Constraints: 87806
2475.05/2503.21 c #Conflicts: 1341000 | #Constraints: 88807
2475.05/2503.21 c INPROCESSING
2475.05/2503.21 c GARBAGE COLLECT
2475.05/2503.21 c #Conflicts: 1342000 | #Constraints: 48664
2475.05/2503.21 c #Conflicts: 1343000 | #Constraints: 49664
2475.05/2503.21 c #Conflicts: 1344000 | #Constraints: 50664
2475.05/2503.21 c #Conflicts: 1345000 | #Constraints: 51664
2475.05/2503.21 c #Conflicts: 1346000 | #Constraints: 52664
2475.05/2503.21 c #Conflicts: 1347000 | #Constraints: 53664
2475.05/2503.21 c #Conflicts: 1348000 | #Constraints: 54664
2475.05/2503.21 c #Conflicts: 1349000 | #Constraints: 55664
2475.05/2503.21 c #Conflicts: 1350000 | #Constraints: 56664
2475.05/2503.21 c #Conflicts: 1351000 | #Constraints: 57664
2475.05/2503.21 c #Conflicts: 1352000 | #Constraints: 58664
2475.05/2503.21 c #Conflicts: 1353000 | #Constraints: 59664
2475.05/2503.21 c #Conflicts: 1354000 | #Constraints: 60664
2475.05/2503.21 c #Conflicts: 1355000 | #Constraints: 61664
2475.05/2503.21 c #Conflicts: 1356000 | #Constraints: 62664
2475.05/2503.21 c #Conflicts: 1357000 | #Constraints: 63664
2475.05/2503.21 c #Conflicts: 1358000 | #Constraints: 64664
2475.05/2503.21 c #Conflicts: 1359000 | #Constraints: 65664
2475.05/2503.21 c #Conflicts: 1360000 | #Constraints: 66664
2475.05/2503.21 c #Conflicts: 1361000 | #Constraints: 67664
2475.05/2503.21 c #Conflicts: 1362000 | #Constraints: 68664
2475.05/2503.21 c #Conflicts: 1363000 | #Constraints: 69664
2475.05/2503.21 c #Conflicts: 1364000 | #Constraints: 70664
2544.39/2573.28 c #Conflicts: 1365000 | #Constraints: 71664
2544.39/2573.28 c #Conflicts: 1366000 | #Constraints: 72664
2544.39/2573.28 c #Conflicts: 1367000 | #Constraints: 73664
2544.39/2573.28 c #Conflicts: 1368000 | #Constraints: 74664
2544.39/2573.28 c INPROCESSING
2544.39/2573.28 c GARBAGE COLLECT
2544.39/2573.28 c #Conflicts: 1369000 | #Constraints: 41971
2544.39/2573.28 c #Conflicts: 1370000 | #Constraints: 42971
2544.39/2573.28 c #Conflicts: 1371000 | #Constraints: 43971
2544.39/2573.28 c #Conflicts: 1372000 | #Constraints: 44971
2544.39/2573.28 c #Conflicts: 1373000 | #Constraints: 45971
2544.39/2573.28 c #Conflicts: 1374000 | #Constraints: 46971
2544.39/2573.28 c #Conflicts: 1375000 | #Constraints: 47971
2544.39/2573.28 c #Conflicts: 1376000 | #Constraints: 48971
2544.39/2573.28 c #Conflicts: 1377000 | #Constraints: 49971
2544.39/2573.28 c #Conflicts: 1378000 | #Constraints: 50971
2544.39/2573.28 c #Conflicts: 1379000 | #Constraints: 51971
2544.39/2573.28 c #Conflicts: 1380000 | #Constraints: 52971
2544.39/2573.28 c #Conflicts: 1381000 | #Constraints: 53971
2544.39/2573.28 c #Conflicts: 1382000 | #Constraints: 54971
2544.39/2573.28 c #Conflicts: 1383000 | #Constraints: 55971
2544.39/2573.28 c #Conflicts: 1384000 | #Constraints: 56971
2544.39/2573.28 c #Conflicts: 1385000 | #Constraints: 57971
2544.39/2573.28 c #Conflicts: 1386000 | #Constraints: 58971
2544.39/2573.28 c #Conflicts: 1387000 | #Constraints: 59971
2544.39/2573.28 c #Conflicts: 1388000 | #Constraints: 60971
2544.39/2573.28 c #Conflicts: 1389000 | #Constraints: 61971
2544.39/2573.28 c #Conflicts: 1390000 | #Constraints: 62971
2544.39/2573.28 c #Conflicts: 1391000 | #Constraints: 63971
2544.39/2573.28 c #Conflicts: 1392000 | #Constraints: 64971
2544.39/2573.28 c #Conflicts: 1393000 | #Constraints: 65971
2544.39/2573.28 c #Conflicts: 1394000 | #Constraints: 66971
2544.39/2573.28 c INPROCESSING
2544.39/2573.28 c GARBAGE COLLECT
2544.39/2573.28 c rational objective 98.1966
2661.57/2692.78 c #Conflicts: 1395000 | #Constraints: 38010
2661.57/2692.78 c #Conflicts: 1396000 | #Constraints: 39010
2661.57/2692.78 c #Conflicts: 1397000 | #Constraints: 40010
2661.57/2692.78 c #Conflicts: 1398000 | #Constraints: 41010
2661.57/2692.78 c #Conflicts: 1399000 | #Constraints: 42010
2661.57/2692.78 c #Conflicts: 1400000 | #Constraints: 43010
2661.57/2692.78 c #Conflicts: 1401000 | #Constraints: 44010
2661.57/2692.78 c #Conflicts: 1402000 | #Constraints: 45010
2661.57/2692.78 c #Conflicts: 1403000 | #Constraints: 46010
2661.57/2692.78 c #Conflicts: 1404000 | #Constraints: 47010
2661.57/2692.78 c #Conflicts: 1405000 | #Constraints: 48010
2661.57/2692.78 c #Conflicts: 1406000 | #Constraints: 49010
2661.57/2692.78 c #Conflicts: 1407000 | #Constraints: 50010
2661.57/2692.78 c #Conflicts: 1408000 | #Constraints: 51010
2661.57/2692.78 c #Conflicts: 1409000 | #Constraints: 52010
2661.57/2692.78 c #Conflicts: 1410000 | #Constraints: 53010
2661.57/2692.78 c #Conflicts: 1411000 | #Constraints: 54010
2661.57/2692.78 c #Conflicts: 1412000 | #Constraints: 55010
2661.57/2692.78 c #Conflicts: 1413000 | #Constraints: 56010
2661.57/2692.78 c #Conflicts: 1414000 | #Constraints: 57010
2661.57/2692.78 c #Conflicts: 1415000 | #Constraints: 58010
2661.57/2692.78 c #Conflicts: 1416000 | #Constraints: 59010
2661.57/2692.78 c #Conflicts: 1417000 | #Constraints: 60010
2661.57/2692.78 c #Conflicts: 1418000 | #Constraints: 61010
2661.57/2692.78 c #Conflicts: 1419000 | #Constraints: 62010
2661.57/2692.78 c #Conflicts: 1420000 | #Constraints: 63010
2661.57/2692.78 c INPROCESSING
2661.57/2692.78 c GARBAGE COLLECT
2661.57/2692.78 c #Conflicts: 1421000 | #Constraints: 35773
2661.57/2692.78 c #Conflicts: 1422000 | #Constraints: 36773
2661.57/2692.78 c #Conflicts: 1423000 | #Constraints: 37773
2661.57/2692.78 c #Conflicts: 1424000 | #Constraints: 38773
2661.57/2692.78 c #Conflicts: 1425000 | #Constraints: 39773
2661.57/2692.78 c #Conflicts: 1426000 | #Constraints: 40773
2661.57/2692.78 c #Conflicts: 1427000 | #Constraints: 41773
2661.57/2692.78 c #Conflicts: 1428000 | #Constraints: 42773
2661.57/2692.78 c #Conflicts: 1429000 | #Constraints: 43773
2661.57/2692.78 c #Conflicts: 1430000 | #Constraints: 44773
2661.57/2692.78 c #Conflicts: 1431000 | #Constraints: 45773
2661.57/2692.78 c #Conflicts: 1432000 | #Constraints: 46773
2661.57/2692.78 c #Conflicts: 1433000 | #Constraints: 47773
2661.57/2692.78 c #Conflicts: 1434000 | #Constraints: 48773
2661.57/2692.78 c #Conflicts: 1435000 | #Constraints: 49773
2661.57/2692.78 c #Conflicts: 1436000 | #Constraints: 50773
2661.57/2692.78 c #Conflicts: 1437000 | #Constraints: 51773
2661.57/2692.78 c #Conflicts: 1438000 | #Constraints: 52773
2661.57/2692.78 c #Conflicts: 1439000 | #Constraints: 53773
2661.57/2692.78 c #Conflicts: 1440000 | #Constraints: 54773
2661.57/2692.78 c #Conflicts: 1441000 | #Constraints: 55773
2661.57/2692.78 c #Conflicts: 1442000 | #Constraints: 56773
2661.57/2692.78 c #Conflicts: 1443000 | #Constraints: 57773
2661.57/2692.78 c #Conflicts: 1444000 | #Constraints: 58773
2661.57/2692.78 c #Conflicts: 1445000 | #Constraints: 59773
2661.57/2692.78 c #Conflicts: 1446000 | #Constraints: 60773
2661.57/2692.78 c #Conflicts: 1447000 | #Constraints: 61773
2661.57/2692.78 c INPROCESSING
2661.57/2692.78 c GARBAGE COLLECT
2661.57/2692.78 c #Conflicts: 1448000 | #Constraints: 35336
2661.57/2692.78 c #Conflicts: 1449000 | #Constraints: 36336
2661.57/2692.78 c #Conflicts: 1450000 | #Constraints: 37336
2661.57/2692.78 c #Conflicts: 1451000 | #Constraints: 38336
2661.57/2692.78 c #Conflicts: 1452000 | #Constraints: 39336
2661.57/2692.78 c #Conflicts: 1453000 | #Constraints: 40336
2661.57/2692.78 c #Conflicts: 1454000 | #Constraints: 41336
2661.57/2692.78 c #Conflicts: 1455000 | #Constraints: 42336
2661.57/2692.78 c #Conflicts: 1456000 | #Constraints: 43336
2661.57/2692.78 c #Conflicts: 1457000 | #Constraints: 44336
2661.57/2692.78 c #Conflicts: 1458000 | #Constraints: 45336
2661.57/2692.78 c #Conflicts: 1459000 | #Constraints: 46336
2661.57/2692.78 c #Conflicts: 1460000 | #Constraints: 47336
2661.57/2692.78 c #Conflicts: 1461000 | #Constraints: 48336
2661.57/2692.78 c #Conflicts: 1462000 | #Constraints: 49336
2661.57/2692.78 c #Conflicts: 1463000 | #Constraints: 50336
2661.57/2692.78 c #Conflicts: 1464000 | #Constraints: 51336
2661.57/2692.78 c #Conflicts: 1465000 | #Constraints: 52336
2661.57/2692.78 c #Conflicts: 1466000 | #Constraints: 53336
2661.57/2692.78 c #Conflicts: 1467000 | #Constraints: 54336
2661.57/2692.78 c #Conflicts: 1468000 | #Constraints: 55336
2661.57/2692.78 c #Conflicts: 1469000 | #Constraints: 56336
2661.57/2692.78 c #Conflicts: 1470000 | #Constraints: 57336
2661.57/2692.78 c #Conflicts: 1471000 | #Constraints: 58336
2661.57/2692.78 c #Conflicts: 1472000 | #Constraints: 59336
2937.17/2969.32 c #Conflicts: 1473000 | #Constraints: 60336
2937.17/2969.32 c #Conflicts: 1474000 | #Constraints: 61336
2937.17/2969.32 c #Conflicts: 1475000 | #Constraints: 62336
2937.17/2969.32 c #Conflicts: 1476000 | #Constraints: 63336
2937.17/2969.32 c #Conflicts: 1477000 | #Constraints: 64336
2937.17/2969.32 c #Conflicts: 1478000 | #Constraints: 65336
2937.17/2969.32 c #Conflicts: 1479000 | #Constraints: 66336
2937.17/2969.32 c #Conflicts: 1480000 | #Constraints: 67336
2937.17/2969.32 c #Conflicts: 1481000 | #Constraints: 68336
2937.17/2969.32 c #Conflicts: 1482000 | #Constraints: 69336
2937.17/2969.32 c #Conflicts: 1483000 | #Constraints: 70336
2937.17/2969.32 c #Conflicts: 1484000 | #Constraints: 71336
2937.17/2969.32 c #Conflicts: 1485000 | #Constraints: 72336
2937.17/2969.32 c #Conflicts: 1486000 | #Constraints: 73336
2937.17/2969.32 c #Conflicts: 1487000 | #Constraints: 74336
2937.17/2969.32 c #Conflicts: 1488000 | #Constraints: 75336
2937.17/2969.32 c #Conflicts: 1489000 | #Constraints: 76336
2937.17/2969.32 c #Conflicts: 1490000 | #Constraints: 77336
2937.17/2969.32 c #Conflicts: 1491000 | #Constraints: 78336
2937.17/2969.32 c #Conflicts: 1492000 | #Constraints: 79336
2937.17/2969.32 c #Conflicts: 1493000 | #Constraints: 80336
2937.17/2969.32 c #Conflicts: 1494000 | #Constraints: 81336
2937.17/2969.32 c #Conflicts: 1495000 | #Constraints: 82336
2937.17/2969.32 c #Conflicts: 1496000 | #Constraints: 83336
2937.17/2969.32 c #Conflicts: 1497000 | #Constraints: 84336
2937.17/2969.32 c #Conflicts: 1498000 | #Constraints: 85336
2937.17/2969.32 c #Conflicts: 1499000 | #Constraints: 86336
2937.17/2969.32 c #Conflicts: 1500000 | #Constraints: 87336
2937.17/2969.32 c #Conflicts: 1501000 | #Constraints: 88336
2937.17/2969.32 c #Conflicts: 1502000 | #Constraints: 89336
2937.17/2969.32 c #Conflicts: 1503000 | #Constraints: 90336
2937.17/2969.32 c #Conflicts: 1504000 | #Constraints: 91336
2937.17/2969.32 c #Conflicts: 1505000 | #Constraints: 92336
2937.17/2969.32 c #Conflicts: 1506000 | #Constraints: 93336
2937.17/2969.32 c #Conflicts: 1507000 | #Constraints: 94336
2937.17/2969.32 c #Conflicts: 1508000 | #Constraints: 95336
2937.17/2969.32 c #Conflicts: 1509000 | #Constraints: 96336
2937.17/2969.32 c #Conflicts: 1510000 | #Constraints: 97336
2937.17/2969.32 c #Conflicts: 1511000 | #Constraints: 98336
2937.17/2969.32 c #Conflicts: 1512000 | #Constraints: 99336
2937.17/2969.32 c #Conflicts: 1513000 | #Constraints: 100336
2937.17/2969.32 c #Conflicts: 1514000 | #Constraints: 101336
2937.17/2969.32 c #Conflicts: 1515000 | #Constraints: 102336
2937.17/2969.32 c #Conflicts: 1516000 | #Constraints: 103336
2937.17/2969.32 c #Conflicts: 1517000 | #Constraints: 104336
2937.17/2969.32 c #Conflicts: 1518000 | #Constraints: 105336
2937.17/2969.32 c #Conflicts: 1519000 | #Constraints: 106336
2937.17/2969.32 c #Conflicts: 1520000 | #Constraints: 107336
2937.17/2969.32 c #Conflicts: 1521000 | #Constraints: 108336
2937.17/2969.32 c #Conflicts: 1522000 | #Constraints: 109336
2937.17/2969.32 c #Conflicts: 1523000 | #Constraints: 110336
2937.17/2969.32 c #Conflicts: 1524000 | #Constraints: 111336
2937.17/2969.32 c #Conflicts: 1525000 | #Constraints: 112336
2937.17/2969.32 c #Conflicts: 1526000 | #Constraints: 113336
2937.17/2969.32 c #Conflicts: 1527000 | #Constraints: 114336
2937.17/2969.32 c #Conflicts: 1528000 | #Constraints: 115336
2937.17/2969.32 c #Conflicts: 1529000 | #Constraints: 116336
2937.17/2969.32 c #Conflicts: 1530000 | #Constraints: 117336
2937.17/2969.32 c #Conflicts: 1531000 | #Constraints: 118336
2937.17/2969.32 c #Conflicts: 1532000 | #Constraints: 119336
2937.17/2969.32 c #Conflicts: 1533000 | #Constraints: 120336
2937.17/2969.32 c #Conflicts: 1534000 | #Constraints: 121336
2937.17/2969.32 c #Conflicts: 1535000 | #Constraints: 122336
2937.17/2969.32 c #Conflicts: 1536000 | #Constraints: 123336
2937.17/2969.32 c #Conflicts: 1537000 | #Constraints: 124336
2937.17/2969.32 c #Conflicts: 1538000 | #Constraints: 125336
2937.17/2969.32 c #Conflicts: 1539000 | #Constraints: 126336
2937.17/2969.32 c #Conflicts: 1540000 | #Constraints: 127336
2937.17/2969.32 c #Conflicts: 1541000 | #Constraints: 128336
2937.17/2969.32 c #Conflicts: 1542000 | #Constraints: 129336
2937.17/2969.32 c INPROCESSING
2937.17/2969.32 c GARBAGE COLLECT
2937.17/2969.32 c #Conflicts: 1543000 | #Constraints: 69017
2937.17/2969.32 c #Conflicts: 1544000 | #Constraints: 70017
2937.17/2969.32 c #Conflicts: 1545000 | #Constraints: 71017
2937.17/2969.32 c #Conflicts: 1546000 | #Constraints: 72017
2937.17/2969.32 c #Conflicts: 1547000 | #Constraints: 73017
2937.17/2969.32 c #Conflicts: 1548000 | #Constraints: 74017
2937.17/2969.32 c #Conflicts: 1549000 | #Constraints: 75017
2937.17/2969.32 c #Conflicts: 1550000 | #Constraints: 76017
3116.92/3150.27 c #Conflicts: 1551000 | #Constraints: 77017
3116.92/3150.27 c #Conflicts: 1552000 | #Constraints: 78017
3116.92/3150.27 c #Conflicts: 1553000 | #Constraints: 79017
3116.92/3150.27 c #Conflicts: 1554000 | #Constraints: 80017
3116.92/3150.27 c #Conflicts: 1555000 | #Constraints: 81017
3116.92/3150.27 c #Conflicts: 1556000 | #Constraints: 82017
3116.92/3150.27 c #Conflicts: 1557000 | #Constraints: 83017
3116.92/3150.27 c #Conflicts: 1558000 | #Constraints: 84017
3116.92/3150.27 c #Conflicts: 1559000 | #Constraints: 85017
3116.92/3150.27 c #Conflicts: 1560000 | #Constraints: 86017
3116.92/3150.27 c #Conflicts: 1561000 | #Constraints: 87017
3116.92/3150.27 c #Conflicts: 1562000 | #Constraints: 88017
3116.92/3150.27 c #Conflicts: 1563000 | #Constraints: 89017
3116.92/3150.27 c #Conflicts: 1564000 | #Constraints: 90017
3116.92/3150.27 c #Conflicts: 1565000 | #Constraints: 91017
3116.92/3150.27 c #Conflicts: 1566000 | #Constraints: 92017
3116.92/3150.27 c #Conflicts: 1567000 | #Constraints: 93017
3116.92/3150.27 c #Conflicts: 1568000 | #Constraints: 94017
3116.92/3150.27 c #Conflicts: 1569000 | #Constraints: 95017
3116.92/3150.27 c #Conflicts: 1570000 | #Constraints: 96017
3116.92/3150.27 c INPROCESSING
3116.92/3150.27 c GARBAGE COLLECT
3116.92/3150.27 c #Conflicts: 1571000 | #Constraints: 52355
3116.92/3150.27 c #Conflicts: 1572000 | #Constraints: 53355
3116.92/3150.27 c #Conflicts: 1573000 | #Constraints: 54355
3116.92/3150.27 c #Conflicts: 1574000 | #Constraints: 55355
3116.92/3150.27 c #Conflicts: 1575000 | #Constraints: 56355
3116.92/3150.27 c #Conflicts: 1576000 | #Constraints: 57355
3116.92/3150.27 c #Conflicts: 1577000 | #Constraints: 58355
3116.92/3150.27 c #Conflicts: 1578000 | #Constraints: 59355
3116.92/3150.27 c #Conflicts: 1579000 | #Constraints: 60355
3116.92/3150.27 c #Conflicts: 1580000 | #Constraints: 61355
3116.92/3150.27 c #Conflicts: 1581000 | #Constraints: 62355
3116.92/3150.27 c #Conflicts: 1582000 | #Constraints: 63355
3116.92/3150.27 c #Conflicts: 1583000 | #Constraints: 64355
3116.92/3150.27 c #Conflicts: 1584000 | #Constraints: 65355
3116.92/3150.27 c #Conflicts: 1585000 | #Constraints: 66355
3116.92/3150.27 c #Conflicts: 1586000 | #Constraints: 67355
3116.92/3150.27 c #Conflicts: 1587000 | #Constraints: 68355
3116.92/3150.27 c #Conflicts: 1588000 | #Constraints: 69355
3116.92/3150.27 c #Conflicts: 1589000 | #Constraints: 70355
3116.92/3150.27 c #Conflicts: 1590000 | #Constraints: 71355
3116.92/3150.27 c #Conflicts: 1591000 | #Constraints: 72355
3116.92/3150.27 c #Conflicts: 1592000 | #Constraints: 73355
3116.92/3150.27 c #Conflicts: 1593000 | #Constraints: 74355
3116.92/3150.27 c #Conflicts: 1594000 | #Constraints: 75355
3116.92/3150.27 c #Conflicts: 1595000 | #Constraints: 76355
3116.92/3150.27 c #Conflicts: 1596000 | #Constraints: 77355
3116.92/3150.27 c #Conflicts: 1597000 | #Constraints: 78355
3116.92/3150.27 c #Conflicts: 1598000 | #Constraints: 79355
3116.92/3150.27 c #Conflicts: 1599000 | #Constraints: 80355
3116.92/3150.27 c INPROCESSING
3116.92/3150.27 c GARBAGE COLLECT
3116.92/3150.27 c #Conflicts: 1600000 | #Constraints: 44838
3116.92/3150.27 c #Conflicts: 1601000 | #Constraints: 45838
3116.92/3150.27 c #Conflicts: 1602000 | #Constraints: 46838
3116.92/3150.27 c #Conflicts: 1603000 | #Constraints: 47838
3116.92/3150.27 c #Conflicts: 1604000 | #Constraints: 48838
3116.92/3150.27 c #Conflicts: 1605000 | #Constraints: 49838
3116.92/3150.27 c #Conflicts: 1606000 | #Constraints: 50838
3116.92/3150.27 c #Conflicts: 1607000 | #Constraints: 51838
3116.92/3150.27 c #Conflicts: 1608000 | #Constraints: 52838
3116.92/3150.28 c #Conflicts: 1609000 | #Constraints: 53838
3116.92/3150.28 c #Conflicts: 1610000 | #Constraints: 54838
3116.92/3150.28 c #Conflicts: 1611000 | #Constraints: 55838
3116.92/3150.28 c #Conflicts: 1612000 | #Constraints: 56838
3116.92/3150.28 c #Conflicts: 1613000 | #Constraints: 57838
3116.92/3150.28 c #Conflicts: 1614000 | #Constraints: 58838
3116.92/3150.28 c #Conflicts: 1615000 | #Constraints: 59838
3116.92/3150.28 c #Conflicts: 1616000 | #Constraints: 60838
3116.92/3150.28 c #Conflicts: 1617000 | #Constraints: 61838
3116.92/3150.28 c #Conflicts: 1618000 | #Constraints: 62838
3116.92/3150.28 c #Conflicts: 1619000 | #Constraints: 63838
3116.92/3150.28 c #Conflicts: 1620000 | #Constraints: 64838
3116.92/3150.28 c #Conflicts: 1621000 | #Constraints: 65838
3116.92/3150.28 c #Conflicts: 1622000 | #Constraints: 66838
3116.92/3150.28 c #Conflicts: 1623000 | #Constraints: 67838
3116.92/3150.28 c #Conflicts: 1624000 | #Constraints: 68838
3116.92/3150.28 c #Conflicts: 1625000 | #Constraints: 69838
3116.92/3150.28 c #Conflicts: 1626000 | #Constraints: 70838
3116.92/3150.28 c #Conflicts: 1627000 | #Constraints: 71838
3116.92/3150.28 c INPROCESSING
3182.31/3215.81 c GARBAGE COLLECT
3182.31/3215.81 c #Conflicts: 1628000 | #Constraints: 40435
3182.31/3215.81 c #Conflicts: 1629000 | #Constraints: 41435
3182.31/3215.81 c #Conflicts: 1630000 | #Constraints: 42435
3182.31/3215.81 c #Conflicts: 1631000 | #Constraints: 43435
3182.31/3215.81 c #Conflicts: 1632000 | #Constraints: 44435
3182.31/3215.81 c #Conflicts: 1633000 | #Constraints: 45435
3182.31/3215.81 c #Conflicts: 1634000 | #Constraints: 46435
3182.31/3215.81 c #Conflicts: 1635000 | #Constraints: 47435
3182.31/3215.81 c #Conflicts: 1636000 | #Constraints: 48435
3182.31/3215.81 c #Conflicts: 1637000 | #Constraints: 49435
3182.31/3215.81 c #Conflicts: 1638000 | #Constraints: 50435
3182.31/3215.81 c #Conflicts: 1639000 | #Constraints: 51435
3182.31/3215.81 c #Conflicts: 1640000 | #Constraints: 52435
3182.31/3215.81 c #Conflicts: 1641000 | #Constraints: 53435
3182.31/3215.81 c #Conflicts: 1642000 | #Constraints: 54435
3182.31/3215.81 c #Conflicts: 1643000 | #Constraints: 55435
3182.31/3215.81 c #Conflicts: 1644000 | #Constraints: 56435
3182.31/3215.81 c #Conflicts: 1645000 | #Constraints: 57435
3182.31/3215.81 c #Conflicts: 1646000 | #Constraints: 58435
3182.31/3215.81 c #Conflicts: 1647000 | #Constraints: 59435
3182.31/3215.81 c #Conflicts: 1648000 | #Constraints: 60435
3182.31/3215.81 c #Conflicts: 1649000 | #Constraints: 61435
3182.31/3215.81 c #Conflicts: 1650000 | #Constraints: 62435
3182.31/3215.81 c #Conflicts: 1651000 | #Constraints: 63435
3182.31/3215.81 c #Conflicts: 1652000 | #Constraints: 64435
3182.31/3215.81 c #Conflicts: 1653000 | #Constraints: 65435
3182.31/3215.81 c #Conflicts: 1654000 | #Constraints: 66435
3182.31/3215.81 c #Conflicts: 1655000 | #Constraints: 67435
3182.31/3215.81 c #Conflicts: 1656000 | #Constraints: 68435
3182.31/3215.81 c INPROCESSING
3182.31/3215.81 c GARBAGE COLLECT
3182.31/3215.81 c rational objective 98.2444
3321.64/3355.76 c #Conflicts: 1657000 | #Constraints: 38915
3321.64/3355.76 c #Conflicts: 1658000 | #Constraints: 39915
3321.64/3355.76 c #Conflicts: 1659000 | #Constraints: 40915
3321.64/3355.76 c #Conflicts: 1660000 | #Constraints: 41915
3321.64/3355.76 c #Conflicts: 1661000 | #Constraints: 42915
3321.64/3355.76 c #Conflicts: 1662000 | #Constraints: 43915
3321.64/3355.76 c #Conflicts: 1663000 | #Constraints: 44915
3321.64/3355.76 c #Conflicts: 1664000 | #Constraints: 45915
3321.64/3355.76 c #Conflicts: 1665000 | #Constraints: 46915
3321.64/3355.76 c #Conflicts: 1666000 | #Constraints: 47915
3321.64/3355.76 c #Conflicts: 1667000 | #Constraints: 48915
3321.64/3355.76 c #Conflicts: 1668000 | #Constraints: 49915
3321.64/3355.76 c #Conflicts: 1669000 | #Constraints: 50915
3321.64/3355.76 c #Conflicts: 1670000 | #Constraints: 51915
3321.64/3355.76 c #Conflicts: 1671000 | #Constraints: 52915
3321.64/3355.76 c #Conflicts: 1672000 | #Constraints: 53915
3321.64/3355.76 c #Conflicts: 1673000 | #Constraints: 54915
3321.64/3355.76 c #Conflicts: 1674000 | #Constraints: 55915
3321.64/3355.76 c #Conflicts: 1675000 | #Constraints: 56915
3321.64/3355.76 c #Conflicts: 1676000 | #Constraints: 57915
3321.64/3355.76 c #Conflicts: 1677000 | #Constraints: 58915
3321.64/3355.76 c #Conflicts: 1678000 | #Constraints: 59915
3321.64/3355.76 c #Conflicts: 1679000 | #Constraints: 60915
3321.64/3355.76 c #Conflicts: 1680000 | #Constraints: 61915
3321.64/3355.76 c #Conflicts: 1681000 | #Constraints: 62915
3321.64/3355.76 c #Conflicts: 1682000 | #Constraints: 63915
3321.64/3355.76 c #Conflicts: 1683000 | #Constraints: 64915
3321.64/3355.76 c #Conflicts: 1684000 | #Constraints: 65915
3321.64/3355.76 c INPROCESSING
3321.64/3355.76 c GARBAGE COLLECT
3321.64/3355.76 c #Conflicts: 1685000 | #Constraints: 37327
3321.64/3355.76 c #Conflicts: 1686000 | #Constraints: 38327
3321.64/3355.76 c #Conflicts: 1687000 | #Constraints: 39327
3321.64/3355.76 c #Conflicts: 1688000 | #Constraints: 40327
3321.64/3355.76 c #Conflicts: 1689000 | #Constraints: 41327
3321.64/3355.76 c #Conflicts: 1690000 | #Constraints: 42327
3321.64/3355.76 c #Conflicts: 1691000 | #Constraints: 43327
3321.64/3355.76 c #Conflicts: 1692000 | #Constraints: 44327
3321.64/3355.76 c #Conflicts: 1693000 | #Constraints: 45327
3321.64/3355.76 c #Conflicts: 1694000 | #Constraints: 46327
3321.64/3355.76 c #Conflicts: 1695000 | #Constraints: 47327
3321.64/3355.76 c #Conflicts: 1696000 | #Constraints: 48327
3321.64/3355.76 c #Conflicts: 1697000 | #Constraints: 49327
3321.64/3355.76 c #Conflicts: 1698000 | #Constraints: 50327
3321.64/3355.76 c #Conflicts: 1699000 | #Constraints: 51327
3321.64/3355.76 c #Conflicts: 1700000 | #Constraints: 52327
3321.64/3355.76 c #Conflicts: 1701000 | #Constraints: 53327
3321.64/3355.76 c #Conflicts: 1702000 | #Constraints: 54327
3321.64/3355.76 c #Conflicts: 1703000 | #Constraints: 55327
3321.64/3355.76 c #Conflicts: 1704000 | #Constraints: 56327
3321.64/3355.76 c #Conflicts: 1705000 | #Constraints: 57327
3321.64/3355.76 c #Conflicts: 1706000 | #Constraints: 58327
3321.64/3355.76 c #Conflicts: 1707000 | #Constraints: 59327
3321.64/3355.76 c #Conflicts: 1708000 | #Constraints: 60327
3321.64/3355.76 c #Conflicts: 1709000 | #Constraints: 61327
3321.64/3355.76 c #Conflicts: 1710000 | #Constraints: 62327
3321.64/3355.76 c #Conflicts: 1711000 | #Constraints: 63327
3321.64/3355.76 c #Conflicts: 1712000 | #Constraints: 64327
3321.64/3355.76 c #Conflicts: 1713000 | #Constraints: 65327
3321.64/3355.76 c #Conflicts: 1714000 | #Constraints: 66327
3321.64/3355.76 c #Conflicts: 1715000 | #Constraints: 67327
3321.64/3355.76 c #Conflicts: 1716000 | #Constraints: 68327
3321.64/3355.76 c #Conflicts: 1717000 | #Constraints: 69327
3321.64/3355.76 c #Conflicts: 1718000 | #Constraints: 70327
3321.64/3355.76 c #Conflicts: 1719000 | #Constraints: 71327
3321.64/3355.76 c #Conflicts: 1720000 | #Constraints: 72327
3321.64/3355.76 c #Conflicts: 1721000 | #Constraints: 73327
3321.64/3355.76 c #Conflicts: 1722000 | #Constraints: 74327
3321.64/3355.76 c #Conflicts: 1723000 | #Constraints: 75327
3321.64/3355.76 c #Conflicts: 1724000 | #Constraints: 76327
3321.64/3355.76 c #Conflicts: 1725000 | #Constraints: 77327
3321.64/3355.76 c #Conflicts: 1726000 | #Constraints: 78327
3321.64/3355.76 c #Conflicts: 1727000 | #Constraints: 79327
3321.64/3355.76 c #Conflicts: 1728000 | #Constraints: 80327
3321.64/3355.76 c #Conflicts: 1729000 | #Constraints: 81327
3321.64/3355.76 c #Conflicts: 1730000 | #Constraints: 82327
3321.64/3355.76 c #Conflicts: 1731000 | #Constraints: 83327
3321.64/3355.76 c #Conflicts: 1732000 | #Constraints: 84327
3321.64/3355.76 c #Conflicts: 1733000 | #Constraints: 85327
3321.64/3355.76 c #Conflicts: 1734000 | #Constraints: 86327
3321.64/3355.76 c #Conflicts: 1735000 | #Constraints: 87327
3600.02/3635.10 c #Conflicts: 1736000 | #Constraints: 88327
3600.02/3635.10 c #Conflicts: 1737000 | #Constraints: 89327
3600.02/3635.10 c #Conflicts: 1738000 | #Constraints: 90327
3600.02/3635.10 c #Conflicts: 1739000 | #Constraints: 91327
3600.02/3635.10 c #Conflicts: 1740000 | #Constraints: 92327
3600.02/3635.10 c #Conflicts: 1741000 | #Constraints: 93327
3600.02/3635.10 c #Conflicts: 1742000 | #Constraints: 94327
3600.02/3635.10 c #Conflicts: 1743000 | #Constraints: 95327
3600.02/3635.10 c #Conflicts: 1744000 | #Constraints: 96327
3600.02/3635.10 c #Conflicts: 1745000 | #Constraints: 97327
3600.02/3635.10 c #Conflicts: 1746000 | #Constraints: 98327
3600.02/3635.10 c #Conflicts: 1747000 | #Constraints: 99327
3600.02/3635.10 c #Conflicts: 1748000 | #Constraints: 100327
3600.02/3635.10 c #Conflicts: 1749000 | #Constraints: 101327
3600.02/3635.10 c #Conflicts: 1750000 | #Constraints: 102327
3600.02/3635.10 c #Conflicts: 1751000 | #Constraints: 103327
3600.02/3635.10 c #Conflicts: 1752000 | #Constraints: 104327
3600.02/3635.10 c #Conflicts: 1753000 | #Constraints: 105327
3600.02/3635.10 c #Conflicts: 1754000 | #Constraints: 106327
3600.02/3635.10 c #Conflicts: 1755000 | #Constraints: 107327
3600.02/3635.10 c #Conflicts: 1756000 | #Constraints: 108327
3600.02/3635.10 c #Conflicts: 1757000 | #Constraints: 109327
3600.02/3635.10 c #Conflicts: 1758000 | #Constraints: 110327
3600.02/3635.10 c #Conflicts: 1759000 | #Constraints: 111327
3600.02/3635.10 c #Conflicts: 1760000 | #Constraints: 112327
3600.02/3635.10 c #Conflicts: 1761000 | #Constraints: 113327
3600.02/3635.10 c #Conflicts: 1762000 | #Constraints: 114327
3600.02/3635.10 c #Conflicts: 1763000 | #Constraints: 115327
3600.02/3635.10 c #Conflicts: 1764000 | #Constraints: 116327
3600.02/3635.10 c #Conflicts: 1765000 | #Constraints: 117327
3600.02/3635.10 c #Conflicts: 1766000 | #Constraints: 118327
3600.02/3635.10 c #Conflicts: 1767000 | #Constraints: 119327
3600.02/3635.10 c #Conflicts: 1768000 | #Constraints: 120327
3600.02/3635.10 c #Conflicts: 1769000 | #Constraints: 121327
3600.02/3635.10 c #Conflicts: 1770000 | #Constraints: 122327
3600.02/3635.10 c #Conflicts: 1771000 | #Constraints: 123327
3600.02/3635.10 c #Conflicts: 1772000 | #Constraints: 124327
3600.02/3635.10 c #Conflicts: 1773000 | #Constraints: 125327
3600.02/3635.10 c #Conflicts: 1774000 | #Constraints: 126327
3600.02/3635.10 c #Conflicts: 1775000 | #Constraints: 127327
3600.02/3635.10 c #Conflicts: 1776000 | #Constraints: 128327
3600.02/3635.10 c #Conflicts: 1777000 | #Constraints: 129327
3600.02/3635.10 c #Conflicts: 1778000 | #Constraints: 130327
3600.02/3635.10 c #Conflicts: 1779000 | #Constraints: 131327
3600.02/3635.10 c #Conflicts: 1780000 | #Constraints: 132327
3600.02/3635.10 c #Conflicts: 1781000 | #Constraints: 133327
3600.02/3635.10 c #Conflicts: 1782000 | #Constraints: 134327
3600.02/3635.10 c #Conflicts: 1783000 | #Constraints: 135327
3600.02/3635.10 c #Conflicts: 1784000 | #Constraints: 136327
3600.02/3635.10 c #Conflicts: 1785000 | #Constraints: 137327
3600.02/3635.10 c #Conflicts: 1786000 | #Constraints: 138327
3600.02/3635.10 c #Conflicts: 1787000 | #Constraints: 139327
3600.02/3635.10 c INPROCESSING
3600.02/3635.10 c GARBAGE COLLECT
3600.02/3635.10 c #Conflicts: 1788000 | #Constraints: 74107
3600.02/3635.10 c #Conflicts: 1789000 | #Constraints: 75107
3600.02/3635.10 c #Conflicts: 1790000 | #Constraints: 76107
3600.02/3635.10 c #Conflicts: 1791000 | #Constraints: 77107
3600.02/3635.10 c #Conflicts: 1792000 | #Constraints: 78107
3600.02/3635.10 c #Conflicts: 1793000 | #Constraints: 79107
3600.02/3635.10 c #Conflicts: 1794000 | #Constraints: 80107
3600.02/3635.10 c #Conflicts: 1795000 | #Constraints: 81107
3600.02/3635.10 c #Conflicts: 1796000 | #Constraints: 82107
3600.02/3635.10 c #Conflicts: 1797000 | #Constraints: 83107
3600.02/3635.10 c #Conflicts: 1798000 | #Constraints: 84107
3600.02/3635.10 c #Conflicts: 1799000 | #Constraints: 85107
3600.02/3635.10 c #Conflicts: 1800000 | #Constraints: 86107
3600.02/3635.10 c #Conflicts: 1801000 | #Constraints: 87107
3600.02/3635.10 c #Conflicts: 1802000 | #Constraints: 88107
3600.02/3635.10 c #Conflicts: 1803000 | #Constraints: 89107
3600.02/3635.10 c #Conflicts: 1804000 | #Constraints: 90107
3600.02/3635.10 c #Conflicts: 1805000 | #Constraints: 91107
3600.02/3635.10 c cpu time 3577.15 s
3600.02/3635.10 c deterministic time 255552390519 2.56e+11
3600.02/3635.10 c optimization time 42.7815 s
3600.02/3635.10 c total solve time 3534.34 s
3600.02/3635.10 c core-guided solve time 0 s
3600.02/3635.10 c propagation time 1974.29 s
3600.02/3635.10 c conflict analysis time 1366.54 s
3600.02/3635.10 c propagations 895742721
3600.02/3635.10 c resolve steps 81492534
3600.02/3635.10 c decisions 13086244
3600.02/3635.10 c conflicts 1805658
3600.02/3635.10 c restarts 3513
3600.02/3635.10 c inprocessing phases 82
3600.02/3635.10 c garbage collections 82 ,( 100.00 )
3600.02/3635.10 c input clauses 6536 ,( 98.61 )
3600.02/3635.10 c input cardinalities 92 ,( 1.39 )
3600.02/3635.10 c input general constraints 0 ,( 0.00 )
3600.02/3635.10 c input average constraint length 6.14
3600.02/3635.10 c input average constraint degree 1.92
3600.02/3635.10 c learned clauses 1395186 ,( 77.27 )
3600.02/3635.10 c learned cardinalities 28523 ,( 1.58 )
3600.02/3635.10 c learned general constraints 381959 ,( 21.15 )
3600.02/3635.10 c learned average constraint length 683.27
3600.02/3635.10 c learned average constraint degree 8900104.60
3600.02/3635.10 c watched CF 32, 64, 128, Arb: 123182 , 0 , 0 , 0
3600.02/3635.10 c counting CF 32, 64, 128, Arb: 258777 , 0 , 0 , 0
3600.02/3635.10 c watched constraints 123182 ,( 32.25 )
3600.02/3635.10 c counting constraints 258777 ,( 67.75 )
3600.02/3635.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1510717915 , 652068615 , 3194468386 ,( 136424608 , 3058043778 )
3600.02/3635.10 c gcd simplifications 1004
3600.02/3635.10 c detected cardinalities 1863
3600.02/3635.10 c weakened non-implied lits 351365871
3600.02/3635.10 c weakened non-implying lits 243315
3600.02/3635.10 c original variables 6319
3600.02/3635.10 c clausal propagations 337717185
3600.02/3635.10 c cardinality propagations 335973696
3600.02/3635.10 c watched propagations 4552505
3600.02/3635.10 c counting propagations 211641619
3600.02/3635.10 c watch lookups 138832600001
3600.02/3635.10 c watch backjump lookups 0
3600.02/3635.10 c watch checks 38731094112
3600.02/3635.10 c propagation checks 71836240891
3600.02/3635.10 c constraint additions 4332629350
3600.02/3635.10 c trail pops 910628894
3600.02/3635.10 c formula constraints 6628
3600.02/3635.10 c learned constraints 1805651
3600.02/3635.10 c bound constraints 0
3600.02/3635.10 c core-guided constraints 0
3600.02/3635.10 c encountered formula constraints 48091964
3600.02/3635.10 c encountered learned constraints 35206075
3600.02/3635.10 c encountered bound constraints 0
3600.02/3635.10 c encountered core-guided constraints 0
3600.02/3635.10 c LP total time 194.307 s
3600.02/3635.10 c LP solve time 181.43 s
3600.02/3635.10 c LP constraints added 7177
3600.02/3635.10 c LP constraints removed 383
3600.02/3635.10 c LP pivots internal 184550
3600.02/3635.10 c LP pivots root 183755
3600.02/3635.10 c LP calls 28
3600.02/3635.10 c LP optimalities 14
3600.02/3635.10 c LP no pivot count 0
3600.02/3635.10 c LP infeasibilities 8
3600.02/3635.10 c LP valid Farkas constraints 7
3600.02/3635.10 c LP learned Farkas constraints 7
3600.02/3635.10 c LP basis resets 1
3600.02/3635.10 c LP cycling count 0
3600.02/3635.10 c LP singular count 0
3600.02/3635.10 c LP no primal count 0
3600.02/3635.10 c LP no farkas count 1
3600.02/3635.10 c LP other issue count 0
3600.02/3635.10 c LP Gomory cuts 3
3600.02/3635.10 c LP learned cuts 546
3600.02/3635.10 c LP deleted cuts 383
3600.02/3635.10 c LP encountered Gomory constraints 0
3600.02/3635.10 c LP encountered Farkas constraints 116
3600.02/3635.10 c LP encountered learned Farkas constraints 30
3600.02/3635.10 c CG auxiliary variables introduced 0
3600.02/3635.10 c CG solutions found 0
3600.02/3635.10 c CG cores constructed 0
3600.02/3635.10 c CG core cardinality constraints returned 0
3600.02/3635.10 c CG unit cores 0
3600.02/3635.10 c CG single cores 0
3600.02/3635.10 c CG blocks removed during cardinality reduction 0
3600.02/3635.10 c CG first core best 0
3600.02/3635.10 c CG decision core best 0
3600.02/3635.10 c CG core reduction tie 0
3600.02/3635.10 c CG core degree average 0.00
3600.02/3635.10 c CG core slack average 0.00
3600.02/3635.10 c CG core upper bound improvements 0
3600.02/3635.10 c STR number of successful calls 0
3600.02/3635.10 c STR number of unsuccessful calls 0
3600.02/3635.10 c STR number of inconclusive calls 0
3600.02/3635.10 c STR number of successful attempts 0
3600.02/3635.10 c STR number of unsuccessful attempts 0
3600.02/3635.10 c STR number of inconclusive attempts 0
3600.02/3635.10 c STR average degree increase per successful call inf
3600.02/3635.10 c STR average degree increase per successful attempt inf
3600.02/3635.10 c STR total number of conflicts for successful attempts 0
3600.02/3635.10 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3635.10 c STR total number of conflicts for inconclusive attempts 0
3600.02/3635.10 c STR average number of conflicts per successful attempt inf
3600.02/3635.10 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3635.10 c STR average number of conflicts per inconclusive attempt inf
3600.02/3635.10 c AVG.sumWPerc 59.66
3600.02/3635.10 c bigint constraints 0
3600.02/3635.10 s UNKNOWN
3600.02/3635.10 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (52061 MiB free)
memory of node 1: 64465 MiB (57074 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507305-1751175967/watcher-4507305-1751175967 -o /tmp/evaluation-result-4507305-1751175967/solver-4507305-1751175967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22056 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507305-1751175967.opb PROOFDIR/proof-4507305-1751175967
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22975, runsolver pid=22972
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.10 4.09 4.09 6/274 22978
/proc/meminfo: memFree=111734640/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=64196 memory=20356 CPUtime=0.04 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 3037 0 0 0 3 1 0 0 20 0 1 0 33275325 65736704 5089 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 16049 5089 2304 1147 0 3476 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 68388 KiB
Current children cumulated memory: 23300 KiB
[startup+0.205147 s]*
/proc/loadavg: 4.10 4.09 4.09 5/274 22978
/proc/meminfo: memFree=111726008/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=73624 memory=28580 CPUtime=0.15 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 5157 0 0 0 13 2 0 0 20 0 1 0 33275325 75390976 7145 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 18406 7145 2336 1147 0 5833 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 77816 KiB
Current children cumulated memory: 31524 KiB
[startup+0.305877 s]*
/proc/loadavg: 4.10 4.09 4.09 5/274 22978
/proc/meminfo: memFree=111726008/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=74176 memory=28836 CPUtime=0.24 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 5235 0 0 0 22 2 0 0 20 0 1 0 33275325 75956224 7209 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 18544 7209 2336 1147 0 5971 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 78368 KiB
Current children cumulated memory: 31780 KiB
[startup+0.700171 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 22978
/proc/meminfo: memFree=111726008/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=75148 memory=29988 CPUtime=0.63 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 5518 0 0 0 61 2 0 0 20 0 1 0 33275325 76951552 7497 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 18787 7497 2336 1147 0 6214 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 79340 KiB
Current children cumulated memory: 32932 KiB
[startup+1.50016 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 22978
/proc/meminfo: memFree=111726728/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=76952 memory=32292 CPUtime=1.43 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 6056 0 0 0 138 5 0 0 20 0 1 0 33275325 78798848 8073 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 19238 8073 2400 1147 0 6665 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 81144 KiB
Current children cumulated memory: 35236 KiB
[startup+3.10586 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 22978
/proc/meminfo: memFree=111718780/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=80412 memory=37768 CPUtime=3.03 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 6890 0 0 0 293 10 0 0 20 0 1 0 33275325 82341888 9442 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 20103 9442 2400 1147 0 7530 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 84604 KiB
Current children cumulated memory: 40712 KiB
[startup+6.30017 s]
/proc/loadavg: 4.18 4.10 4.10 5/274 22978
/proc/meminfo: memFree=111694764/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=85708 memory=40456 CPUtime=6.22 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 7567 0 0 0 605 17 0 0 20 0 1 0 33275325 87764992 10114 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 21427 10114 2400 1147 0 8854 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 89900 KiB
Current children cumulated memory: 43400 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.10 4.09 5/273 23025
/proc/meminfo: memFree=118635668/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=94644 memory=49608 CPUtime=12.6 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 9347 0 0 0 1232 28 0 0 20 0 1 0 33275325 96915456 12402 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 23661 12402 2400 1147 0 11088 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 98836 KiB
Current children cumulated memory: 52552 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/273 23026
/proc/meminfo: memFree=118475924/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=98488 memory=55644 CPUtime=25.36 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 10340 0 0 0 2482 54 0 0 20 0 1 0 33275325 100851712 13911 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 24622 13911 2400 1147 0 12049 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 102680 KiB
Current children cumulated memory: 58588 KiB
[startup+51.1055 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 23026
/proc/meminfo: memFree=118234768/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=128516 memory=76752 CPUtime=50.82 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 13592 0 0 0 4983 99 0 0 20 0 1 0 33275325 131600384 19188 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 32129 19188 2400 1147 0 19556 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 132708 KiB
Current children cumulated memory: 79696 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 23032
/proc/meminfo: memFree=117689496/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=170300 memory=125336 CPUtime=101.7 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 19590 0 0 0 9998 172 0 0 20 0 1 0 33275325 174387200 31334 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 42575 31334 2400 1147 0 30002 0
Current children cumulated CPU time: 101.72 s
Current children cumulated vsize: 174492 KiB
Current children cumulated memory: 128280 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 4/272 23034
/proc/meminfo: memFree=117192960/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=224328 memory=164552 CPUtime=157.51 cores=5,7
/proc/22978/stat : 22978 (roundingsat) D 22975 22975 22043 0 -1 4194304 25332 0 0 0 15504 247 0 0 20 0 1 0 33275325 229711872 41138 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 56082 41138 2400 1147 0 43509 0
Current children cumulated CPU time: 157.53 s
Current children cumulated vsize: 228520 KiB
Current children cumulated memory: 167496 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 23040
/proc/meminfo: memFree=116590384/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=305104 memory=238596 CPUtime=213.86 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 33114 0 0 0 21093 293 0 0 20 0 1 0 33275325 312426496 59649 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 76276 59649 2400 1147 0 63703 0
################
# More data... #
################
/proc/22978/statm: 234430 189302 2400 1147 0 221857 0
Current children cumulated CPU time: 3069.19 s
Current children cumulated vsize: 941912 KiB
Current children cumulated memory: 760152 KiB
[startup+3162.3 s]
/proc/loadavg: 4.32 4.18 4.12 5/271 23439
/proc/meminfo: memFree=114486288/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=937720 memory=757208 CPUtime=3128.97 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 76384 0 0 0 310835 2062 0 0 20 0 1 0 33275325 960225280 189302 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 234430 189302 2400 1147 0 221857 0
Current children cumulated CPU time: 3128.99 s
Current children cumulated vsize: 941912 KiB
Current children cumulated memory: 760152 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/271 23441
/proc/meminfo: memFree=114059712/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=939520 memory=759128 CPUtime=3188.74 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 76842 0 0 0 316772 2102 0 0 20 0 1 0 33275325 962068480 189782 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 234880 189782 2400 1147 0 222307 0
Current children cumulated CPU time: 3188.76 s
Current children cumulated vsize: 943712 KiB
Current children cumulated memory: 762072 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/271 23443
/proc/meminfo: memFree=113687392/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=940996 memory=760152 CPUtime=3248.48 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 77125 0 0 0 322699 2149 0 0 20 0 1 0 33275325 963579904 190038 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 235249 190038 2400 1147 0 222676 0
Current children cumulated CPU time: 3248.5 s
Current children cumulated vsize: 945188 KiB
Current children cumulated memory: 763096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/271 23445
/proc/meminfo: memFree=113297868/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=940996 memory=760280 CPUtime=3308.25 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 77150 0 0 0 328645 2180 0 0 20 0 1 0 33275325 963579904 190070 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 235249 190070 2400 1147 0 222676 0
Current children cumulated CPU time: 3308.27 s
Current children cumulated vsize: 945188 KiB
Current children cumulated memory: 763224 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/272 23448
/proc/meminfo: memFree=113024612/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=941652 memory=760920 CPUtime=3367.98 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 77313 0 0 0 334597 2201 0 0 20 0 1 0 33275325 964251648 190230 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 235413 190230 2400 1147 0 222840 0
Current children cumulated CPU time: 3368 s
Current children cumulated vsize: 945844 KiB
Current children cumulated memory: 763864 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/271 23450
/proc/meminfo: memFree=112683456/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=944212 memory=763096 CPUtime=3427.83 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 77968 0 0 0 340558 2225 0 0 20 0 1 0 33275325 966873088 190774 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 236053 190774 2400 1147 0 223480 0
Current children cumulated CPU time: 3427.85 s
Current children cumulated vsize: 948404 KiB
Current children cumulated memory: 766040 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/272 23453
/proc/meminfo: memFree=112309376/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=948332 memory=766424 CPUtime=3487.6 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 78813 0 0 0 346513 2247 0 0 20 0 1 0 33275325 971091968 191606 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 237083 191606 2400 1147 0 224510 0
Current children cumulated CPU time: 3487.62 s
Current children cumulated vsize: 952524 KiB
Current children cumulated memory: 769368 KiB
[startup+3582.3 s]
/proc/loadavg: 4.37 4.19 4.12 5/273 23456
/proc/meminfo: memFree=112009824/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=955228 memory=770648 CPUtime=3547.38 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 79885 0 0 0 352478 2260 0 0 20 0 1 0 33275325 978153472 192662 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 238807 192662 2400 1147 0 226234 0
Current children cumulated CPU time: 3547.4 s
Current children cumulated vsize: 959420 KiB
Current children cumulated memory: 773592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3635.11 s]
/proc/loadavg: 4.27 4.19 4.12 5/274 23460
/proc/meminfo: memFree=111700916/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=960292 memory=774360 CPUtime=3600 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 80828 0 0 0 357715 2285 0 0 20 0 1 0 33275325 983339008 193590 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 240073 193590 2400 1147 0 227500 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 964484 KiB
Current children cumulated memory: 777304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3635.11 s]
# the end of solver process 22975 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.023679 s, system=0.007422 s
[startup+3635.15 s]
# the end of solver process 22978 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3577.19 s, system=22.8714 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3635.11 s]
/proc/loadavg: 4.27 4.19 4.12 5/274 23460
/proc/meminfo: memFree=111700916/131250000 swapFree=33010684/33010684
[pid=22975] ppid=22972 vsize=4192 memory=2944 CPUtime=0.02 cores=5,7
/proc/22975/stat : 22975 (run-dec-break-l) S 22972 22975 22043 0 -1 4194304 241 4413 0 0 0 0 2 0 20 0 1 0 33275321 4292608 736 18446744073709551615 94451811594240 94451812488773 140731416181728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94451812727824 94451812775568 94451821522944 140731416189205 140731416189406 140731416189406 140731416195008 0
/proc/22975/statm: 1048 736 672 219 0 110 0
[pid=22978] ppid=22975 vsize=960292 memory=774360 CPUtime=3600 cores=5,7
/proc/22978/stat : 22978 (roundingsat) R 22975 22975 22043 0 -1 4194304 80828 0 0 0 357715 2285 0 0 20 0 1 0 33275325 983339008 193590 18446744073709551615 4227072 8923433 140720849090848 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34828288 140720849094900 140720849095208 140720849095208 140720849100778 0
/proc/22978/statm: 240073 193590 2400 1147 0 227500 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 964484 KiB
Current children cumulated memory: 777304 KiB
Child status: 2
Real time (s): 3635.15
CPU time (s): 3600.06
CPU user time (s): 3577.19
CPU system time (s): 22.8714
CPU usage (%): 99.0347
Max. virtual memory (cumulated for all children) (KiB): 964484
Max. memory (cumulated for all children) (KiB): 777304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.19
system time used= 22.8714
maximum resident set size= 774616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85502
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10449048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1137
involuntary context switches= 5805
# summary of solver processes directly reported to runsolver:
# pid: 22975,22978
# total CPU time (s): 3600.06
# total CPU user time (s): 3577.19
# total CPU system time (s): 22.8714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99031 second user time and 16.5585 second system time
The end
Begin job on nodeC026 at 2025-06-29 07:46:07
IDJOB=4507305
IDBENCH=158341
IDSOLVER=3358
FILE ID=nodeC026/4507305-1751175967
RUNJOBID= nodeC026-1751168686-22056
SLURM_JOB_ID= 9587513
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507305-1751175967/watcher-4507305-1751175967 -o /tmp/evaluation-result-4507305-1751175967/solver-4507305-1751175967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22056 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507305-1751175967.opb PROOFDIR/proof-4507305-1751175967
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0bf652578c2f1d207084d270794d0d34
RANDOM SEED=1761931761
nodeC026 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.798
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.785
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.59
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 : 3580.443
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.59
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 : 3600.039
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.578
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.59
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.757
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.59
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 : 3600.417
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.59
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 : 3599.760
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 111755000 kB
MemAvailable: 126573244 kB
Buffers: 3280 kB
Cached: 15611644 kB
SwapCached: 0 kB
Active: 3491252 kB
Inactive: 15392412 kB
Active(anon): 3286912 kB
Inactive(anon): 0 kB
Active(file): 204340 kB
Inactive(file): 15392412 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25544 kB
Writeback: 8 kB
AnonPages: 3265576 kB
Mapped: 116364 kB
Shmem: 18080 kB
KReclaimable: 121460 kB
Slab: 207788 kB
SReclaimable: 121460 kB
SUnreclaim: 86328 kB
KernelStack: 4464 kB
PageTables: 9608 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 4038516 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150760 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2263040 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC026 at 2025-06-29 08:46:42