0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4507304-1751182666.opb'
0.00/0.03 c read 0.40MB (15.73ms)
0.00/0.03 c [cnf: #variables 6256 #clauses 6442 #duplicates 0 #arr 40155]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 1104] (19.97ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (3.78ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 31466 #edges 117846]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.08 c [group: #symmetries 3.84*10^2 #generators 7] (18.73ms)
0.00/0.08 c
0.00/0.08 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.08 c (0.05ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.08 c
0.00/0.08 c add generic predicates (break_depth=10)
0.00/0.08 c added predicates for 7 generators (0.24ms)
0.00/0.08 c
0.00/0.08 c generation finished
0.00/0.08 c [sbp: #constraints 196 #add_vars 63]
0.00/0.08 c
0.00/0.08 c write result to 'HOME/instance-4507304-1751182666.opb.pre'
0.00/0.08 c wrote 0.41MB (3.04ms)
0.00/0.08 c ------------------------------------------------------------------
0.00/0.08 c 19.97ms 31.44% approx_orbits
0.00/0.08 c 18.73ms 29.49% detect_generic
0.00/0.08 c 15.73ms 24.76% parse
0.00/0.08 c 3.78ms 5.94% detect_special
0.00/0.08 c 3.04ms 4.78% output
0.00/0.08 c 1.34ms 2.12% other
0.00/0.08 c 0.64ms 1.00% finalize_order
0.00/0.08 c 0.24ms 0.38% break_generic
0.00/0.08 c 0.05ms 0.09% optimize_gens
0.00/0.08 c ───────────────────────────────────────────────
0.00/0.08 c 63.53ms 100% total
0.00/0.08 c ------------------------------------------------------------------
0.00/0.10 c RoundingSat 2
0.00/0.10 c branch pb25
0.00/0.10 c commit 63f22ad
0.06/0.21 c #variables 6319 #constraints 6628
46.23/46.40 c #Conflicts: 1000 | #Constraints: 7627
46.23/46.40 c #Conflicts: 2000 | #Constraints: 8627
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 3000 | #Constraints: 8304
46.23/46.40 c #Conflicts: 4000 | #Constraints: 9304
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 5000 | #Constraints: 8767
46.23/46.40 c #Conflicts: 6000 | #Constraints: 9767
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 7000 | #Constraints: 8814
46.23/46.40 c #Conflicts: 8000 | #Constraints: 9814
46.23/46.40 c #Conflicts: 9000 | #Constraints: 10814
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 10000 | #Constraints: 9539
46.23/46.40 c #Conflicts: 11000 | #Constraints: 10539
46.23/46.40 c #Conflicts: 12000 | #Constraints: 11539
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 13000 | #Constraints: 10035
46.23/46.40 c #Conflicts: 14000 | #Constraints: 11035
46.23/46.40 c #Conflicts: 15000 | #Constraints: 12035
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 16000 | #Constraints: 10264
46.23/46.40 c #Conflicts: 17000 | #Constraints: 11264
46.23/46.40 c #Conflicts: 18000 | #Constraints: 12264
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 19000 | #Constraints: 10289
46.23/46.40 c #Conflicts: 20000 | #Constraints: 11289
46.23/46.40 c #Conflicts: 21000 | #Constraints: 12289
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 22000 | #Constraints: 10097
46.23/46.40 c #Conflicts: 23000 | #Constraints: 11097
46.23/46.40 c #Conflicts: 24000 | #Constraints: 12097
46.23/46.40 c #Conflicts: 25000 | #Constraints: 13097
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 26000 | #Constraints: 10738
46.23/46.40 c #Conflicts: 27000 | #Constraints: 11738
46.23/46.40 c #Conflicts: 28000 | #Constraints: 12738
46.23/46.40 c #Conflicts: 29000 | #Constraints: 13738
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 30000 | #Constraints: 11146
46.23/46.40 c #Conflicts: 31000 | #Constraints: 12146
46.23/46.40 c #Conflicts: 32000 | #Constraints: 13146
46.23/46.40 c #Conflicts: 33000 | #Constraints: 14146
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 34000 | #Constraints: 11384
46.23/46.40 c #Conflicts: 35000 | #Constraints: 12384
46.23/46.40 c #Conflicts: 36000 | #Constraints: 13384
46.23/46.40 c #Conflicts: 37000 | #Constraints: 14384
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 38000 | #Constraints: 11431
46.23/46.40 c #Conflicts: 39000 | #Constraints: 12431
46.23/46.40 c #Conflicts: 40000 | #Constraints: 13431
46.23/46.40 c #Conflicts: 41000 | #Constraints: 14431
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 42000 | #Constraints: 11246
46.23/46.40 c #Conflicts: 43000 | #Constraints: 12246
46.23/46.40 c #Conflicts: 44000 | #Constraints: 13246
46.23/46.40 c #Conflicts: 45000 | #Constraints: 14246
46.23/46.40 c #Conflicts: 46000 | #Constraints: 15246
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 47000 | #Constraints: 11869
46.23/46.40 c #Conflicts: 48000 | #Constraints: 12869
46.23/46.40 c #Conflicts: 49000 | #Constraints: 13869
46.23/46.40 c #Conflicts: 50000 | #Constraints: 14869
46.23/46.40 c #Conflicts: 51000 | #Constraints: 15869
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 52000 | #Constraints: 12263
46.23/46.40 c #Conflicts: 53000 | #Constraints: 13263
46.23/46.40 c #Conflicts: 54000 | #Constraints: 14263
46.23/46.40 c #Conflicts: 55000 | #Constraints: 15263
46.23/46.40 c #Conflicts: 56000 | #Constraints: 16263
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 57000 | #Constraints: 12458
46.23/46.40 c #Conflicts: 58000 | #Constraints: 13458
46.23/46.40 c #Conflicts: 59000 | #Constraints: 14458
46.23/46.40 c #Conflicts: 60000 | #Constraints: 15458
46.23/46.40 c #Conflicts: 61000 | #Constraints: 16458
46.23/46.40 c INPROCESSING
46.23/46.40 c GARBAGE COLLECT
46.23/46.40 c #Conflicts: 62000 | #Constraints: 12484
46.23/46.40 c #Conflicts: 63000 | #Constraints: 13484
46.23/46.40 c #Conflicts: 64000 | #Constraints: 14484
46.23/46.40 c #Conflicts: 65000 | #Constraints: 15484
46.23/46.40 c #Conflicts: 66000 | #Constraints: 16484
46.23/46.40 c #Conflicts: 67000 | #Constraints: 17484
46.23/46.40 c #Conflicts: 68000 | #Constraints: 18484
116.96/117.32 c #Conflicts: 69000 | #Constraints: 19484
116.96/117.32 c #Conflicts: 70000 | #Constraints: 20484
116.96/117.32 c #Conflicts: 71000 | #Constraints: 21484
116.96/117.32 c #Conflicts: 72000 | #Constraints: 22484
116.96/117.32 c #Conflicts: 73000 | #Constraints: 23484
116.96/117.32 c #Conflicts: 74000 | #Constraints: 24484
116.96/117.32 c #Conflicts: 75000 | #Constraints: 25484
116.96/117.32 c #Conflicts: 76000 | #Constraints: 26484
116.96/117.32 c #Conflicts: 77000 | #Constraints: 27484
116.96/117.32 c #Conflicts: 78000 | #Constraints: 28484
116.96/117.32 c #Conflicts: 79000 | #Constraints: 29484
116.96/117.32 c #Conflicts: 80000 | #Constraints: 30484
116.96/117.32 c #Conflicts: 81000 | #Constraints: 31484
116.96/117.32 c #Conflicts: 82000 | #Constraints: 32484
116.96/117.32 c INPROCESSING
116.96/117.32 c GARBAGE COLLECT
116.96/117.32 c #Conflicts: 83000 | #Constraints: 20262
116.96/117.32 c #Conflicts: 84000 | #Constraints: 21262
116.96/117.32 c #Conflicts: 85000 | #Constraints: 22262
116.96/117.32 c #Conflicts: 86000 | #Constraints: 23262
116.96/117.32 c #Conflicts: 87000 | #Constraints: 24262
116.96/117.32 c #Conflicts: 88000 | #Constraints: 25262
116.96/117.32 c #Conflicts: 89000 | #Constraints: 26262
116.96/117.32 c INPROCESSING
116.96/117.32 c GARBAGE COLLECT
116.96/117.32 c #Conflicts: 90000 | #Constraints: 17383
116.96/117.32 c #Conflicts: 91000 | #Constraints: 18383
116.96/117.32 c #Conflicts: 92000 | #Constraints: 19383
116.96/117.32 c #Conflicts: 93000 | #Constraints: 20383
116.96/117.32 c #Conflicts: 94000 | #Constraints: 21383
116.96/117.32 c #Conflicts: 95000 | #Constraints: 22383
116.96/117.32 c #Conflicts: 96000 | #Constraints: 23383
116.96/117.32 c INPROCESSING
116.96/117.32 c GARBAGE COLLECT
116.96/117.32 c #Conflicts: 97000 | #Constraints: 16128
116.96/117.32 c #Conflicts: 98000 | #Constraints: 17128
116.96/117.32 c #Conflicts: 99000 | #Constraints: 18128
116.96/117.32 c #Conflicts: 100000 | #Constraints: 19128
116.96/117.32 c #Conflicts: 101000 | #Constraints: 20129
116.96/117.32 c #Conflicts: 102000 | #Constraints: 21129
116.96/117.32 c INPROCESSING
116.96/117.32 c GARBAGE COLLECT
116.96/117.32 c #Conflicts: 103000 | #Constraints: 14535
116.96/117.32 c #Conflicts: 104000 | #Constraints: 15535
116.96/117.32 c #Conflicts: 105000 | #Constraints: 16535
116.96/117.32 c #Conflicts: 106000 | #Constraints: 17535
116.96/117.32 c #Conflicts: 107000 | #Constraints: 18535
116.96/117.32 c #Conflicts: 108000 | #Constraints: 19535
116.96/117.32 c #Conflicts: 109000 | #Constraints: 20535
116.96/117.32 c #Conflicts: 110000 | #Constraints: 21535
116.96/117.32 c INPROCESSING
116.96/117.32 c GARBAGE COLLECT
116.96/117.32 c #Conflicts: 111000 | #Constraints: 15162
116.96/117.32 c #Conflicts: 112000 | #Constraints: 16162
116.96/117.32 c #Conflicts: 113000 | #Constraints: 17162
116.96/117.32 c #Conflicts: 114000 | #Constraints: 18162
116.96/117.32 c #Conflicts: 115000 | #Constraints: 19162
116.96/117.32 c #Conflicts: 116000 | #Constraints: 20162
116.96/117.32 c #Conflicts: 117000 | #Constraints: 21162
116.96/117.32 c INPROCESSING
116.96/117.32 c GARBAGE COLLECT
116.96/117.32 c #Conflicts: 118000 | #Constraints: 14864
116.96/117.32 c #Conflicts: 119000 | #Constraints: 15864
116.96/117.32 c #Conflicts: 120000 | #Constraints: 16864
116.96/117.32 c #Conflicts: 121000 | #Constraints: 17864
116.96/117.32 c #Conflicts: 122000 | #Constraints: 18864
116.96/117.32 c #Conflicts: 123000 | #Constraints: 19864
116.96/117.32 c #Conflicts: 124000 | #Constraints: 20864
116.96/117.32 c #Conflicts: 125000 | #Constraints: 21864
116.96/117.32 c #Conflicts: 126000 | #Constraints: 22864
116.96/117.32 c #Conflicts: 127000 | #Constraints: 23864
116.96/117.32 c #Conflicts: 128000 | #Constraints: 24864
116.96/117.32 c #Conflicts: 129000 | #Constraints: 25864
116.96/117.32 c #Conflicts: 130000 | #Constraints: 26864
116.96/117.32 c #Conflicts: 131000 | #Constraints: 27864
116.96/117.32 c #Conflicts: 132000 | #Constraints: 28864
116.96/117.32 c #Conflicts: 133000 | #Constraints: 29864
116.96/117.32 c #Conflicts: 134000 | #Constraints: 30864
116.96/117.32 c #Conflicts: 135000 | #Constraints: 31864
116.96/117.32 c #Conflicts: 136000 | #Constraints: 32864
116.96/117.32 c #Conflicts: 137000 | #Constraints: 33864
116.96/117.32 c #Conflicts: 138000 | #Constraints: 34864
116.96/117.32 c #Conflicts: 139000 | #Constraints: 35864
116.96/117.32 c #Conflicts: 140000 | #Constraints: 36864
116.96/117.32 c #Conflicts: 141000 | #Constraints: 37864
116.96/117.32 c #Conflicts: 142000 | #Constraints: 38864
116.96/117.32 c #Conflicts: 143000 | #Constraints: 39864
200.23/200.80 c #Conflicts: 144000 | #Constraints: 40864
200.23/200.80 c #Conflicts: 145000 | #Constraints: 41864
200.23/200.80 c #Conflicts: 146000 | #Constraints: 42864
200.23/200.80 c INPROCESSING
200.23/200.80 c GARBAGE COLLECT
200.23/200.80 c #Conflicts: 147000 | #Constraints: 25675
200.23/200.80 c #Conflicts: 148000 | #Constraints: 26675
200.23/200.80 c #Conflicts: 149000 | #Constraints: 27675
200.23/200.80 c #Conflicts: 150000 | #Constraints: 28675
200.23/200.80 c #Conflicts: 151000 | #Constraints: 29675
200.23/200.80 c #Conflicts: 152000 | #Constraints: 30675
200.23/200.80 c #Conflicts: 153000 | #Constraints: 31675
200.23/200.80 c #Conflicts: 154000 | #Constraints: 32675
200.23/200.80 c #Conflicts: 155000 | #Constraints: 33675
200.23/200.80 c INPROCESSING
200.23/200.80 c GARBAGE COLLECT
200.23/200.80 c #Conflicts: 156000 | #Constraints: 21327
200.23/200.80 c #Conflicts: 157000 | #Constraints: 22327
200.23/200.80 c #Conflicts: 158000 | #Constraints: 23327
200.23/200.80 c #Conflicts: 159000 | #Constraints: 24327
200.23/200.80 c #Conflicts: 160000 | #Constraints: 25327
200.23/200.80 c #Conflicts: 161000 | #Constraints: 26327
200.23/200.80 c #Conflicts: 162000 | #Constraints: 27327
200.23/200.80 c #Conflicts: 163000 | #Constraints: 28327
200.23/200.80 c INPROCESSING
200.23/200.80 c GARBAGE COLLECT
200.23/200.80 c #Conflicts: 164000 | #Constraints: 18217
200.23/200.80 c #Conflicts: 165000 | #Constraints: 19217
200.23/200.80 c #Conflicts: 166000 | #Constraints: 20217
200.23/200.80 c #Conflicts: 167000 | #Constraints: 21217
200.23/200.80 c #Conflicts: 168000 | #Constraints: 22217
200.23/200.80 c #Conflicts: 169000 | #Constraints: 23217
200.23/200.80 c #Conflicts: 170000 | #Constraints: 24217
200.23/200.80 c #Conflicts: 171000 | #Constraints: 25217
200.23/200.80 c #Conflicts: 172000 | #Constraints: 26217
200.23/200.80 c INPROCESSING
200.23/200.80 c GARBAGE COLLECT
200.23/200.80 c #Conflicts: 173000 | #Constraints: 17139
200.23/200.80 c #Conflicts: 174000 | #Constraints: 18139
200.23/200.80 c #Conflicts: 175000 | #Constraints: 19139
200.23/200.80 c #Conflicts: 176000 | #Constraints: 20139
200.23/200.80 c #Conflicts: 177000 | #Constraints: 21139
200.23/200.80 c #Conflicts: 178000 | #Constraints: 22139
200.23/200.80 c #Conflicts: 179000 | #Constraints: 23139
200.23/200.80 c #Conflicts: 180000 | #Constraints: 24139
200.23/200.80 c #Conflicts: 181000 | #Constraints: 25139
200.23/200.80 c #Conflicts: 182000 | #Constraints: 26139
200.23/200.80 c INPROCESSING
200.23/200.80 c GARBAGE COLLECT
200.23/200.80 c #Conflicts: 183000 | #Constraints: 17523
200.23/200.80 c #Conflicts: 184000 | #Constraints: 18523
200.23/200.80 c #Conflicts: 185000 | #Constraints: 19523
200.23/200.80 c #Conflicts: 186000 | #Constraints: 20523
200.23/200.80 c #Conflicts: 187000 | #Constraints: 21523
200.23/200.80 c #Conflicts: 188000 | #Constraints: 22523
200.23/200.80 c #Conflicts: 189000 | #Constraints: 23523
200.23/200.80 c #Conflicts: 190000 | #Constraints: 24523
200.23/200.80 c #Conflicts: 191000 | #Constraints: 25523
200.23/200.80 c #Conflicts: 192000 | #Constraints: 26523
200.23/200.80 c #Conflicts: 193000 | #Constraints: 27523
200.23/200.80 c #Conflicts: 194000 | #Constraints: 28523
200.23/200.80 c #Conflicts: 195000 | #Constraints: 29523
200.23/200.80 c #Conflicts: 196000 | #Constraints: 30523
200.23/200.80 c #Conflicts: 197000 | #Constraints: 31523
200.23/200.80 c #Conflicts: 198000 | #Constraints: 32523
200.23/200.80 c #Conflicts: 199000 | #Constraints: 33523
200.23/200.80 c #Conflicts: 200000 | #Constraints: 34523
200.23/200.80 c #Conflicts: 201000 | #Constraints: 35523
200.23/200.80 c #Conflicts: 202000 | #Constraints: 36523
200.23/200.80 c #Conflicts: 203000 | #Constraints: 37523
200.23/200.80 c #Conflicts: 204000 | #Constraints: 38523
200.23/200.80 c #Conflicts: 205000 | #Constraints: 39523
200.23/200.80 c #Conflicts: 206000 | #Constraints: 40523
200.23/200.80 c #Conflicts: 207000 | #Constraints: 41523
200.23/200.80 c #Conflicts: 208000 | #Constraints: 42523
200.23/200.80 c #Conflicts: 209000 | #Constraints: 43523
200.23/200.80 c #Conflicts: 210000 | #Constraints: 44523
200.23/200.80 c #Conflicts: 211000 | #Constraints: 45523
200.23/200.80 c #Conflicts: 212000 | #Constraints: 46523
200.23/200.80 c #Conflicts: 213000 | #Constraints: 47523
200.23/200.80 c #Conflicts: 214000 | #Constraints: 48523
200.23/200.80 c #Conflicts: 215000 | #Constraints: 49523
200.23/200.80 c #Conflicts: 216000 | #Constraints: 50523
200.23/200.80 c #Conflicts: 217000 | #Constraints: 51523
200.23/200.80 c INPROCESSING
200.23/200.80 c GARBAGE COLLECT
200.23/200.80 c rational objective 94.8038
283.41/284.23 c #Conflicts: 218000 | #Constraints: 29989
283.41/284.23 c #Conflicts: 219000 | #Constraints: 30989
283.41/284.23 c #Conflicts: 220000 | #Constraints: 31989
283.41/284.23 c #Conflicts: 221000 | #Constraints: 32989
283.41/284.23 c #Conflicts: 222000 | #Constraints: 33989
283.41/284.23 c #Conflicts: 223000 | #Constraints: 34989
283.41/284.23 c #Conflicts: 224000 | #Constraints: 35989
283.41/284.23 c #Conflicts: 225000 | #Constraints: 36989
283.41/284.23 c #Conflicts: 226000 | #Constraints: 37989
283.41/284.23 c #Conflicts: 227000 | #Constraints: 38989
283.41/284.23 c #Conflicts: 228000 | #Constraints: 39989
283.41/284.23 c INPROCESSING
283.41/284.23 c GARBAGE COLLECT
283.41/284.23 c #Conflicts: 229000 | #Constraints: 24526
283.41/284.23 c #Conflicts: 230000 | #Constraints: 25526
283.41/284.23 c #Conflicts: 231000 | #Constraints: 26526
283.41/284.23 c #Conflicts: 232000 | #Constraints: 27526
283.41/284.23 c #Conflicts: 233000 | #Constraints: 28526
283.41/284.23 c #Conflicts: 234000 | #Constraints: 29526
283.41/284.23 c #Conflicts: 235000 | #Constraints: 30526
283.41/284.23 c #Conflicts: 236000 | #Constraints: 31526
283.41/284.23 c #Conflicts: 237000 | #Constraints: 32526
283.41/284.23 c #Conflicts: 238000 | #Constraints: 33526
283.41/284.23 c INPROCESSING
283.41/284.23 c GARBAGE COLLECT
283.41/284.23 c #Conflicts: 239000 | #Constraints: 20953
283.41/284.23 c #Conflicts: 240000 | #Constraints: 21953
283.41/284.23 c #Conflicts: 241000 | #Constraints: 22953
283.41/284.23 c #Conflicts: 242000 | #Constraints: 23953
283.41/284.23 c #Conflicts: 243000 | #Constraints: 24953
283.41/284.23 c #Conflicts: 244000 | #Constraints: 25953
283.41/284.23 c #Conflicts: 245000 | #Constraints: 26953
283.41/284.23 c #Conflicts: 246000 | #Constraints: 27953
283.41/284.23 c #Conflicts: 247000 | #Constraints: 28953
283.41/284.23 c #Conflicts: 248000 | #Constraints: 29953
283.41/284.23 c #Conflicts: 249000 | #Constraints: 30953
283.41/284.23 c INPROCESSING
283.41/284.23 c GARBAGE COLLECT
283.41/284.23 c #Conflicts: 250000 | #Constraints: 19641
283.41/284.23 c #Conflicts: 251000 | #Constraints: 20641
283.41/284.23 c #Conflicts: 252000 | #Constraints: 21641
283.41/284.23 c #Conflicts: 253000 | #Constraints: 22641
283.41/284.23 c #Conflicts: 254000 | #Constraints: 23641
283.41/284.23 c #Conflicts: 255000 | #Constraints: 24641
283.41/284.23 c #Conflicts: 256000 | #Constraints: 25641
283.41/284.23 c #Conflicts: 257000 | #Constraints: 26641
283.41/284.23 c #Conflicts: 258000 | #Constraints: 27641
283.41/284.23 c #Conflicts: 259000 | #Constraints: 28641
283.41/284.23 c #Conflicts: 260000 | #Constraints: 29641
283.41/284.23 c INPROCESSING
283.41/284.23 c GARBAGE COLLECT
283.41/284.23 c #Conflicts: 261000 | #Constraints: 19002
283.41/284.23 c #Conflicts: 262000 | #Constraints: 20002
283.41/284.23 c #Conflicts: 263000 | #Constraints: 21002
283.41/284.23 c #Conflicts: 264000 | #Constraints: 22002
283.41/284.23 c #Conflicts: 265000 | #Constraints: 23002
283.41/284.23 c #Conflicts: 266000 | #Constraints: 24002
283.41/284.23 c #Conflicts: 267000 | #Constraints: 25002
283.41/284.23 c #Conflicts: 268000 | #Constraints: 26002
283.41/284.23 c #Conflicts: 269000 | #Constraints: 27002
283.41/284.23 c #Conflicts: 270000 | #Constraints: 28002
283.41/284.23 c #Conflicts: 271000 | #Constraints: 29002
283.41/284.23 c #Conflicts: 272000 | #Constraints: 30002
283.41/284.23 c #Conflicts: 273000 | #Constraints: 31002
283.41/284.23 c #Conflicts: 274000 | #Constraints: 32002
283.41/284.23 c #Conflicts: 275000 | #Constraints: 33002
283.41/284.23 c #Conflicts: 276000 | #Constraints: 34002
283.41/284.23 c #Conflicts: 277000 | #Constraints: 35002
283.41/284.23 c #Conflicts: 278000 | #Constraints: 36002
283.41/284.23 c #Conflicts: 279000 | #Constraints: 37002
283.41/284.23 c #Conflicts: 280000 | #Constraints: 38002
283.41/284.23 c #Conflicts: 281000 | #Constraints: 39002
283.41/284.23 c #Conflicts: 282000 | #Constraints: 40002
283.41/284.23 c #Conflicts: 283000 | #Constraints: 41002
283.41/284.23 c #Conflicts: 284000 | #Constraints: 42002
283.41/284.23 c #Conflicts: 285000 | #Constraints: 43002
283.41/284.23 c #Conflicts: 286000 | #Constraints: 44002
283.41/284.23 c #Conflicts: 287000 | #Constraints: 45002
283.41/284.23 c #Conflicts: 288000 | #Constraints: 46002
283.41/284.23 c #Conflicts: 289000 | #Constraints: 47002
283.41/284.23 c #Conflicts: 290000 | #Constraints: 48002
283.41/284.23 c #Conflicts: 291000 | #Constraints: 49002
283.41/284.23 c #Conflicts: 292000 | #Constraints: 50002
283.41/284.23 c #Conflicts: 293000 | #Constraints: 51002
283.41/284.23 c #Conflicts: 294000 | #Constraints: 52002
386.11/387.28 c #Conflicts: 295000 | #Constraints: 53002
386.11/387.28 c #Conflicts: 296000 | #Constraints: 54002
386.11/387.28 c #Conflicts: 297000 | #Constraints: 55002
386.11/387.28 c #Conflicts: 298000 | #Constraints: 56002
386.11/387.28 c #Conflicts: 299000 | #Constraints: 57002
386.11/387.28 c #Conflicts: 300000 | #Constraints: 58002
386.11/387.28 c #Conflicts: 301000 | #Constraints: 59002
386.11/387.28 c #Conflicts: 302000 | #Constraints: 60002
386.11/387.28 c INPROCESSING
386.11/387.28 c GARBAGE COLLECT
386.11/387.28 c #Conflicts: 303000 | #Constraints: 34267
386.11/387.28 c #Conflicts: 304000 | #Constraints: 35267
386.11/387.28 c #Conflicts: 305000 | #Constraints: 36267
386.11/387.28 c #Conflicts: 306000 | #Constraints: 37267
386.11/387.28 c #Conflicts: 307000 | #Constraints: 38267
386.11/387.28 c #Conflicts: 308000 | #Constraints: 39267
386.11/387.28 c #Conflicts: 309000 | #Constraints: 40267
386.11/387.28 c #Conflicts: 310000 | #Constraints: 41267
386.11/387.28 c #Conflicts: 311000 | #Constraints: 42267
386.11/387.28 c #Conflicts: 312000 | #Constraints: 43267
386.11/387.28 c #Conflicts: 313000 | #Constraints: 44267
386.11/387.28 c #Conflicts: 314000 | #Constraints: 45267
386.11/387.28 c #Conflicts: 315000 | #Constraints: 46267
386.11/387.28 c INPROCESSING
386.11/387.28 c GARBAGE COLLECT
386.11/387.28 c #Conflicts: 316000 | #Constraints: 27723
386.11/387.28 c #Conflicts: 317000 | #Constraints: 28723
386.11/387.28 c #Conflicts: 318000 | #Constraints: 29723
386.11/387.28 c #Conflicts: 319000 | #Constraints: 30723
386.11/387.28 c #Conflicts: 320000 | #Constraints: 31723
386.11/387.28 c #Conflicts: 321000 | #Constraints: 32724
386.11/387.28 c #Conflicts: 322000 | #Constraints: 33724
386.11/387.28 c #Conflicts: 323000 | #Constraints: 34724
386.11/387.28 c #Conflicts: 324000 | #Constraints: 35724
386.11/387.28 c #Conflicts: 325000 | #Constraints: 36724
386.11/387.28 c #Conflicts: 326000 | #Constraints: 37724
386.11/387.28 c #Conflicts: 327000 | #Constraints: 38724
386.11/387.28 c INPROCESSING
386.11/387.28 c GARBAGE COLLECT
386.11/387.28 c #Conflicts: 328000 | #Constraints: 23614
386.11/387.28 c #Conflicts: 329000 | #Constraints: 24614
386.11/387.28 c #Conflicts: 330000 | #Constraints: 25614
386.11/387.28 c #Conflicts: 331000 | #Constraints: 26614
386.11/387.28 c #Conflicts: 332000 | #Constraints: 27614
386.11/387.28 c #Conflicts: 333000 | #Constraints: 28614
386.11/387.28 c #Conflicts: 334000 | #Constraints: 29614
386.11/387.28 c #Conflicts: 335000 | #Constraints: 30614
386.11/387.28 c #Conflicts: 336000 | #Constraints: 31614
386.11/387.28 c #Conflicts: 337000 | #Constraints: 32614
386.11/387.28 c #Conflicts: 338000 | #Constraints: 33614
386.11/387.28 c #Conflicts: 339000 | #Constraints: 34614
386.11/387.28 c #Conflicts: 340000 | #Constraints: 35614
386.11/387.28 c INPROCESSING
386.11/387.28 c GARBAGE COLLECT
386.11/387.28 c #Conflicts: 341000 | #Constraints: 22121
386.11/387.28 c #Conflicts: 342000 | #Constraints: 23121
386.11/387.28 c #Conflicts: 343000 | #Constraints: 24121
386.11/387.28 c #Conflicts: 344000 | #Constraints: 25121
386.11/387.28 c #Conflicts: 345000 | #Constraints: 26121
386.11/387.28 c #Conflicts: 346000 | #Constraints: 27121
386.11/387.28 c #Conflicts: 347000 | #Constraints: 28121
386.11/387.28 c #Conflicts: 348000 | #Constraints: 29121
386.11/387.28 c #Conflicts: 349000 | #Constraints: 30121
386.11/387.28 c #Conflicts: 350000 | #Constraints: 31121
386.11/387.28 c #Conflicts: 351000 | #Constraints: 32121
386.11/387.28 c #Conflicts: 352000 | #Constraints: 33121
386.11/387.28 c #Conflicts: 353000 | #Constraints: 34121
386.11/387.28 c INPROCESSING
386.11/387.28 c GARBAGE COLLECT
386.11/387.28 c #Conflicts: 354000 | #Constraints: 21376
386.11/387.28 c #Conflicts: 355000 | #Constraints: 22376
386.11/387.28 c #Conflicts: 356000 | #Constraints: 23376
386.11/387.28 c #Conflicts: 357000 | #Constraints: 24376
386.11/387.28 c #Conflicts: 358000 | #Constraints: 25376
386.11/387.28 c #Conflicts: 359000 | #Constraints: 26376
386.11/387.28 c #Conflicts: 360000 | #Constraints: 27376
386.11/387.28 c #Conflicts: 361000 | #Constraints: 28376
386.11/387.28 c #Conflicts: 362000 | #Constraints: 29376
386.11/387.28 c #Conflicts: 363000 | #Constraints: 30376
386.11/387.28 c #Conflicts: 364000 | #Constraints: 31376
386.11/387.28 c #Conflicts: 365000 | #Constraints: 32376
386.11/387.28 c #Conflicts: 366000 | #Constraints: 33376
386.11/387.28 c #Conflicts: 367000 | #Constraints: 34376
386.11/387.28 c #Conflicts: 368000 | #Constraints: 35376
386.11/387.28 c #Conflicts: 369000 | #Constraints: 36376
534.46/536.10 c #Conflicts: 370000 | #Constraints: 37376
534.46/536.10 c #Conflicts: 371000 | #Constraints: 38376
534.46/536.10 c #Conflicts: 372000 | #Constraints: 39376
534.46/536.10 c #Conflicts: 373000 | #Constraints: 40376
534.46/536.10 c #Conflicts: 374000 | #Constraints: 41376
534.46/536.10 c #Conflicts: 375000 | #Constraints: 42376
534.46/536.10 c #Conflicts: 376000 | #Constraints: 43376
534.46/536.10 c #Conflicts: 377000 | #Constraints: 44376
534.46/536.10 c #Conflicts: 378000 | #Constraints: 45376
534.46/536.10 c #Conflicts: 379000 | #Constraints: 46376
534.46/536.10 c #Conflicts: 380000 | #Constraints: 47376
534.46/536.10 c #Conflicts: 381000 | #Constraints: 48376
534.46/536.10 c #Conflicts: 382000 | #Constraints: 49376
534.46/536.10 c #Conflicts: 383000 | #Constraints: 50376
534.46/536.10 c #Conflicts: 384000 | #Constraints: 51376
534.46/536.10 c #Conflicts: 385000 | #Constraints: 52376
534.46/536.10 c #Conflicts: 386000 | #Constraints: 53376
534.46/536.10 c #Conflicts: 387000 | #Constraints: 54376
534.46/536.10 c #Conflicts: 388000 | #Constraints: 55376
534.46/536.10 c #Conflicts: 389000 | #Constraints: 56376
534.46/536.10 c #Conflicts: 390000 | #Constraints: 57376
534.46/536.10 c #Conflicts: 391000 | #Constraints: 58376
534.46/536.10 c #Conflicts: 392000 | #Constraints: 59376
534.46/536.10 c #Conflicts: 393000 | #Constraints: 60376
534.46/536.10 c #Conflicts: 394000 | #Constraints: 61376
534.46/536.10 c #Conflicts: 395000 | #Constraints: 62376
534.46/536.10 c #Conflicts: 396000 | #Constraints: 63376
534.46/536.10 c #Conflicts: 397000 | #Constraints: 64376
534.46/536.10 c #Conflicts: 398000 | #Constraints: 65376
534.46/536.10 c #Conflicts: 399000 | #Constraints: 66376
534.46/536.10 c #Conflicts: 400000 | #Constraints: 67376
534.46/536.10 c #Conflicts: 401000 | #Constraints: 68376
534.46/536.10 c INPROCESSING
534.46/536.10 c GARBAGE COLLECT
534.46/536.10 c #Conflicts: 402000 | #Constraints: 38377
534.46/536.10 c #Conflicts: 403000 | #Constraints: 39377
534.46/536.10 c #Conflicts: 404000 | #Constraints: 40377
534.46/536.10 c #Conflicts: 405000 | #Constraints: 41377
534.46/536.10 c #Conflicts: 406000 | #Constraints: 42377
534.46/536.10 c #Conflicts: 407000 | #Constraints: 43377
534.46/536.10 c #Conflicts: 408000 | #Constraints: 44377
534.46/536.10 c #Conflicts: 409000 | #Constraints: 45377
534.46/536.10 c #Conflicts: 410000 | #Constraints: 46377
534.46/536.10 c #Conflicts: 411000 | #Constraints: 47377
534.46/536.10 c #Conflicts: 412000 | #Constraints: 48377
534.46/536.10 c #Conflicts: 413000 | #Constraints: 49377
534.46/536.10 c #Conflicts: 414000 | #Constraints: 50377
534.46/536.10 c #Conflicts: 415000 | #Constraints: 51377
534.46/536.10 c #Conflicts: 416000 | #Constraints: 52377
534.46/536.10 c INPROCESSING
534.46/536.10 c GARBAGE COLLECT
534.46/536.10 c #Conflicts: 417000 | #Constraints: 30703
534.46/536.10 c #Conflicts: 418000 | #Constraints: 31703
534.46/536.10 c #Conflicts: 419000 | #Constraints: 32703
534.46/536.10 c #Conflicts: 420000 | #Constraints: 33703
534.46/536.10 c #Conflicts: 421000 | #Constraints: 34703
534.46/536.10 c #Conflicts: 422000 | #Constraints: 35703
534.46/536.10 c #Conflicts: 423000 | #Constraints: 36703
534.46/536.10 c #Conflicts: 424000 | #Constraints: 37703
534.46/536.10 c #Conflicts: 425000 | #Constraints: 38703
534.46/536.10 c #Conflicts: 426000 | #Constraints: 39703
534.46/536.10 c #Conflicts: 427000 | #Constraints: 40703
534.46/536.10 c #Conflicts: 428000 | #Constraints: 41703
534.46/536.10 c #Conflicts: 429000 | #Constraints: 42703
534.46/536.10 c #Conflicts: 430000 | #Constraints: 43703
534.46/536.10 c INPROCESSING
534.46/536.10 c GARBAGE COLLECT
534.46/536.10 c #Conflicts: 431000 | #Constraints: 26250
534.46/536.10 c #Conflicts: 432000 | #Constraints: 27250
534.46/536.10 c #Conflicts: 433000 | #Constraints: 28250
534.46/536.10 c #Conflicts: 434000 | #Constraints: 29250
534.46/536.10 c #Conflicts: 435000 | #Constraints: 30250
534.46/536.10 c #Conflicts: 436000 | #Constraints: 31250
534.46/536.10 c #Conflicts: 437000 | #Constraints: 32250
534.46/536.10 c #Conflicts: 438000 | #Constraints: 33250
534.46/536.10 c #Conflicts: 439000 | #Constraints: 34250
534.46/536.10 c #Conflicts: 440000 | #Constraints: 35250
534.46/536.10 c #Conflicts: 441000 | #Constraints: 36250
534.46/536.10 c #Conflicts: 442000 | #Constraints: 37250
534.46/536.10 c #Conflicts: 443000 | #Constraints: 38250
534.46/536.10 c #Conflicts: 444000 | #Constraints: 39250
534.46/536.10 c #Conflicts: 445000 | #Constraints: 40250
534.46/536.10 c INPROCESSING
534.46/536.10 c GARBAGE COLLECT
534.46/536.10 c #Conflicts: 446000 | #Constraints: 24591
656.69/658.68 c #Conflicts: 447000 | #Constraints: 25591
656.69/658.68 c #Conflicts: 448000 | #Constraints: 26591
656.69/658.68 c #Conflicts: 449000 | #Constraints: 27591
656.69/658.68 c #Conflicts: 450000 | #Constraints: 28591
656.69/658.68 c #Conflicts: 451000 | #Constraints: 29591
656.69/658.68 c #Conflicts: 452000 | #Constraints: 30591
656.69/658.68 c #Conflicts: 453000 | #Constraints: 31591
656.69/658.68 c #Conflicts: 454000 | #Constraints: 32591
656.69/658.68 c #Conflicts: 455000 | #Constraints: 33591
656.69/658.68 c #Conflicts: 456000 | #Constraints: 34591
656.69/658.68 c #Conflicts: 457000 | #Constraints: 35591
656.69/658.68 c #Conflicts: 458000 | #Constraints: 36591
656.69/658.68 c #Conflicts: 459000 | #Constraints: 37591
656.69/658.68 c #Conflicts: 460000 | #Constraints: 38591
656.69/658.68 c INPROCESSING
656.69/658.68 c GARBAGE COLLECT
656.69/658.68 c #Conflicts: 461000 | #Constraints: 23817
656.69/658.68 c #Conflicts: 462000 | #Constraints: 24817
656.69/658.68 c #Conflicts: 463000 | #Constraints: 25817
656.69/658.68 c #Conflicts: 464000 | #Constraints: 26817
656.69/658.68 c #Conflicts: 465000 | #Constraints: 27817
656.69/658.68 c #Conflicts: 466000 | #Constraints: 28817
656.69/658.68 c #Conflicts: 467000 | #Constraints: 29817
656.69/658.68 c #Conflicts: 468000 | #Constraints: 30817
656.69/658.68 c #Conflicts: 469000 | #Constraints: 31817
656.69/658.68 c #Conflicts: 470000 | #Constraints: 32817
656.69/658.68 c #Conflicts: 471000 | #Constraints: 33817
656.69/658.68 c #Conflicts: 472000 | #Constraints: 34817
656.69/658.68 c #Conflicts: 473000 | #Constraints: 35817
656.69/658.68 c #Conflicts: 474000 | #Constraints: 36817
656.69/658.68 c #Conflicts: 475000 | #Constraints: 37817
656.69/658.68 c #Conflicts: 476000 | #Constraints: 38817
656.69/658.68 c #Conflicts: 477000 | #Constraints: 39817
656.69/658.68 c #Conflicts: 478000 | #Constraints: 40817
656.69/658.68 c #Conflicts: 479000 | #Constraints: 41817
656.69/658.68 c #Conflicts: 480000 | #Constraints: 42817
656.69/658.68 c #Conflicts: 481000 | #Constraints: 43817
656.69/658.68 c #Conflicts: 482000 | #Constraints: 44817
656.69/658.68 c #Conflicts: 483000 | #Constraints: 45817
656.69/658.68 c #Conflicts: 484000 | #Constraints: 46817
656.69/658.68 c #Conflicts: 485000 | #Constraints: 47817
656.69/658.68 c #Conflicts: 486000 | #Constraints: 48817
656.69/658.68 c #Conflicts: 487000 | #Constraints: 49817
656.69/658.68 c #Conflicts: 488000 | #Constraints: 50817
656.69/658.68 c #Conflicts: 489000 | #Constraints: 51817
656.69/658.68 c #Conflicts: 490000 | #Constraints: 52817
656.69/658.68 c #Conflicts: 491000 | #Constraints: 53817
656.69/658.68 c #Conflicts: 492000 | #Constraints: 54817
656.69/658.68 c #Conflicts: 493000 | #Constraints: 55817
656.69/658.68 c #Conflicts: 494000 | #Constraints: 56817
656.69/658.68 c #Conflicts: 495000 | #Constraints: 57817
656.69/658.68 c #Conflicts: 496000 | #Constraints: 58817
656.69/658.68 c #Conflicts: 497000 | #Constraints: 59817
656.69/658.68 c #Conflicts: 498000 | #Constraints: 60817
656.69/658.68 c #Conflicts: 499000 | #Constraints: 61817
656.69/658.68 c #Conflicts: 500000 | #Constraints: 62817
656.69/658.68 c #Conflicts: 501000 | #Constraints: 63817
656.69/658.68 c #Conflicts: 502000 | #Constraints: 64817
656.69/658.68 c #Conflicts: 503000 | #Constraints: 65817
656.69/658.68 c #Conflicts: 504000 | #Constraints: 66817
656.69/658.69 c #Conflicts: 505000 | #Constraints: 67817
656.69/658.69 c #Conflicts: 506000 | #Constraints: 68817
656.69/658.69 c #Conflicts: 507000 | #Constraints: 69817
656.69/658.69 c #Conflicts: 508000 | #Constraints: 70817
656.69/658.69 c #Conflicts: 509000 | #Constraints: 71817
656.69/658.69 c #Conflicts: 510000 | #Constraints: 72817
656.69/658.69 c #Conflicts: 511000 | #Constraints: 73817
656.69/658.69 c #Conflicts: 512000 | #Constraints: 74817
656.69/658.69 c #Conflicts: 513000 | #Constraints: 75817
656.69/658.69 c #Conflicts: 514000 | #Constraints: 76817
656.69/658.69 c INPROCESSING
656.69/658.69 c GARBAGE COLLECT
656.69/658.69 c #Conflicts: 515000 | #Constraints: 42633
656.69/658.69 c #Conflicts: 516000 | #Constraints: 43633
656.69/658.69 c #Conflicts: 517000 | #Constraints: 44633
656.69/658.69 c #Conflicts: 518000 | #Constraints: 45633
656.69/658.69 c #Conflicts: 519000 | #Constraints: 46633
656.69/658.69 c #Conflicts: 520000 | #Constraints: 47633
656.69/658.69 c #Conflicts: 521000 | #Constraints: 48633
656.69/658.69 c #Conflicts: 522000 | #Constraints: 49633
656.69/658.69 c #Conflicts: 523000 | #Constraints: 50633
745.13/747.35 c #Conflicts: 524000 | #Constraints: 51633
745.13/747.35 c #Conflicts: 525000 | #Constraints: 52633
745.13/747.35 c #Conflicts: 526000 | #Constraints: 53633
745.13/747.35 c #Conflicts: 527000 | #Constraints: 54633
745.13/747.35 c #Conflicts: 528000 | #Constraints: 55633
745.13/747.35 c #Conflicts: 529000 | #Constraints: 56633
745.13/747.35 c #Conflicts: 530000 | #Constraints: 57633
745.13/747.35 c #Conflicts: 531000 | #Constraints: 58633
745.13/747.35 c INPROCESSING
745.13/747.35 c GARBAGE COLLECT
745.13/747.35 c #Conflicts: 532000 | #Constraints: 33885
745.13/747.35 c #Conflicts: 533000 | #Constraints: 34885
745.13/747.35 c #Conflicts: 534000 | #Constraints: 35885
745.13/747.35 c #Conflicts: 535000 | #Constraints: 36885
745.13/747.35 c #Conflicts: 536000 | #Constraints: 37885
745.13/747.35 c #Conflicts: 537000 | #Constraints: 38885
745.13/747.35 c #Conflicts: 538000 | #Constraints: 39885
745.13/747.35 c #Conflicts: 539000 | #Constraints: 40885
745.13/747.35 c #Conflicts: 540000 | #Constraints: 41885
745.13/747.35 c #Conflicts: 541000 | #Constraints: 42885
745.13/747.35 c #Conflicts: 542000 | #Constraints: 43885
745.13/747.35 c #Conflicts: 543000 | #Constraints: 44885
745.13/747.35 c #Conflicts: 544000 | #Constraints: 45885
745.13/747.35 c #Conflicts: 545000 | #Constraints: 46885
745.13/747.35 c #Conflicts: 546000 | #Constraints: 47885
745.13/747.35 c #Conflicts: 547000 | #Constraints: 48885
745.13/747.35 c INPROCESSING
745.13/747.35 c GARBAGE COLLECT
745.13/747.35 c #Conflicts: 548000 | #Constraints: 28838
745.13/747.35 c #Conflicts: 549000 | #Constraints: 29838
745.13/747.35 c #Conflicts: 550000 | #Constraints: 30838
745.13/747.35 c #Conflicts: 551000 | #Constraints: 31838
745.13/747.35 c #Conflicts: 552000 | #Constraints: 32838
745.13/747.35 c #Conflicts: 553000 | #Constraints: 33838
745.13/747.35 c #Conflicts: 554000 | #Constraints: 34838
745.13/747.35 c #Conflicts: 555000 | #Constraints: 35838
745.13/747.35 c #Conflicts: 556000 | #Constraints: 36838
745.13/747.35 c #Conflicts: 557000 | #Constraints: 37838
745.13/747.35 c #Conflicts: 558000 | #Constraints: 38838
745.13/747.35 c #Conflicts: 559000 | #Constraints: 39838
745.13/747.35 c #Conflicts: 560000 | #Constraints: 40838
745.13/747.35 c #Conflicts: 561000 | #Constraints: 41838
745.13/747.35 c #Conflicts: 562000 | #Constraints: 42838
745.13/747.35 c #Conflicts: 563000 | #Constraints: 43838
745.13/747.35 c #Conflicts: 564000 | #Constraints: 44838
745.13/747.35 c INPROCESSING
745.13/747.35 c GARBAGE COLLECT
745.13/747.35 c #Conflicts: 565000 | #Constraints: 26995
745.13/747.35 c #Conflicts: 566000 | #Constraints: 27995
745.13/747.35 c #Conflicts: 567000 | #Constraints: 28995
745.13/747.35 c #Conflicts: 568000 | #Constraints: 29995
745.13/747.35 c #Conflicts: 569000 | #Constraints: 30995
745.13/747.35 c #Conflicts: 570000 | #Constraints: 31995
745.13/747.35 c #Conflicts: 571000 | #Constraints: 32995
745.13/747.35 c #Conflicts: 572000 | #Constraints: 33995
745.13/747.35 c #Conflicts: 573000 | #Constraints: 34995
745.13/747.35 c #Conflicts: 574000 | #Constraints: 35995
745.13/747.35 c #Conflicts: 575000 | #Constraints: 36995
745.13/747.35 c #Conflicts: 576000 | #Constraints: 37995
745.13/747.35 c #Conflicts: 577000 | #Constraints: 38995
745.13/747.35 c #Conflicts: 578000 | #Constraints: 39995
745.13/747.35 c #Conflicts: 579000 | #Constraints: 40995
745.13/747.35 c #Conflicts: 580000 | #Constraints: 41995
745.13/747.35 c INPROCESSING
745.13/747.35 c GARBAGE COLLECT
745.13/747.35 c #Conflicts: 581000 | #Constraints: 25125
745.13/747.35 c #Conflicts: 582000 | #Constraints: 26125
745.13/747.35 c #Conflicts: 583000 | #Constraints: 27125
745.13/747.35 c #Conflicts: 584000 | #Constraints: 28125
745.13/747.35 c #Conflicts: 585000 | #Constraints: 29125
745.13/747.35 c #Conflicts: 586000 | #Constraints: 30125
745.13/747.35 c #Conflicts: 587000 | #Constraints: 31125
745.13/747.35 c #Conflicts: 588000 | #Constraints: 32125
745.13/747.35 c #Conflicts: 589000 | #Constraints: 33125
745.13/747.35 c #Conflicts: 590000 | #Constraints: 34125
745.13/747.35 c #Conflicts: 591000 | #Constraints: 35125
745.13/747.35 c #Conflicts: 592000 | #Constraints: 36125
745.13/747.35 c #Conflicts: 593000 | #Constraints: 37126
745.13/747.35 c #Conflicts: 594000 | #Constraints: 38126
745.13/747.35 c #Conflicts: 595000 | #Constraints: 39126
745.13/747.35 c #Conflicts: 596000 | #Constraints: 40126
745.13/747.35 c #Conflicts: 597000 | #Constraints: 41126
745.13/747.35 c #Conflicts: 598000 | #Constraints: 42126
745.13/747.35 c #Conflicts: 599000 | #Constraints: 43126
905.86/908.52 c #Conflicts: 600000 | #Constraints: 44126
905.86/908.52 c #Conflicts: 601000 | #Constraints: 45126
905.86/908.52 c #Conflicts: 602000 | #Constraints: 46126
905.86/908.52 c #Conflicts: 603000 | #Constraints: 47126
905.86/908.52 c #Conflicts: 604000 | #Constraints: 48126
905.86/908.52 c #Conflicts: 605000 | #Constraints: 49126
905.86/908.52 c #Conflicts: 606000 | #Constraints: 50126
905.86/908.52 c #Conflicts: 607000 | #Constraints: 51126
905.86/908.52 c #Conflicts: 608000 | #Constraints: 52126
905.86/908.52 c #Conflicts: 609000 | #Constraints: 53126
905.86/908.52 c #Conflicts: 610000 | #Constraints: 54126
905.86/908.52 c #Conflicts: 611000 | #Constraints: 55126
905.86/908.52 c #Conflicts: 612000 | #Constraints: 56126
905.86/908.52 c #Conflicts: 613000 | #Constraints: 57126
905.86/908.52 c #Conflicts: 614000 | #Constraints: 58126
905.86/908.52 c #Conflicts: 615000 | #Constraints: 59126
905.86/908.52 c #Conflicts: 616000 | #Constraints: 60126
905.86/908.52 c #Conflicts: 617000 | #Constraints: 61126
905.86/908.52 c #Conflicts: 618000 | #Constraints: 62126
905.86/908.52 c #Conflicts: 619000 | #Constraints: 63126
905.86/908.52 c #Conflicts: 620000 | #Constraints: 64126
905.86/908.52 c #Conflicts: 621000 | #Constraints: 65126
905.86/908.52 c #Conflicts: 622000 | #Constraints: 66126
905.86/908.52 c #Conflicts: 623000 | #Constraints: 67126
905.86/908.52 c #Conflicts: 624000 | #Constraints: 68126
905.86/908.52 c #Conflicts: 625000 | #Constraints: 69126
905.86/908.52 c #Conflicts: 626000 | #Constraints: 70126
905.86/908.52 c #Conflicts: 627000 | #Constraints: 71126
905.86/908.52 c #Conflicts: 628000 | #Constraints: 72126
905.86/908.52 c #Conflicts: 629000 | #Constraints: 73126
905.86/908.52 c #Conflicts: 630000 | #Constraints: 74126
905.86/908.52 c #Conflicts: 631000 | #Constraints: 75126
905.86/908.52 c #Conflicts: 632000 | #Constraints: 76126
905.86/908.52 c #Conflicts: 633000 | #Constraints: 77126
905.86/908.52 c #Conflicts: 634000 | #Constraints: 78126
905.86/908.52 c #Conflicts: 635000 | #Constraints: 79126
905.86/908.52 c #Conflicts: 636000 | #Constraints: 80126
905.86/908.52 c #Conflicts: 637000 | #Constraints: 81126
905.86/908.52 c #Conflicts: 638000 | #Constraints: 82126
905.86/908.52 c #Conflicts: 639000 | #Constraints: 83126
905.86/908.52 c #Conflicts: 640000 | #Constraints: 84126
905.86/908.52 c #Conflicts: 641000 | #Constraints: 85126
905.86/908.52 c INPROCESSING
905.86/908.52 c GARBAGE COLLECT
905.86/908.52 c #Conflicts: 642000 | #Constraints: 46739
905.86/908.52 c #Conflicts: 643000 | #Constraints: 47739
905.86/908.52 c #Conflicts: 644000 | #Constraints: 48739
905.86/908.52 c #Conflicts: 645000 | #Constraints: 49739
905.86/908.52 c #Conflicts: 646000 | #Constraints: 50739
905.86/908.52 c #Conflicts: 647000 | #Constraints: 51739
905.86/908.52 c #Conflicts: 648000 | #Constraints: 52739
905.86/908.52 c #Conflicts: 649000 | #Constraints: 53739
905.86/908.52 c #Conflicts: 650000 | #Constraints: 54739
905.86/908.52 c #Conflicts: 651000 | #Constraints: 55739
905.86/908.52 c #Conflicts: 652000 | #Constraints: 56739
905.86/908.52 c #Conflicts: 653000 | #Constraints: 57739
905.86/908.52 c #Conflicts: 654000 | #Constraints: 58739
905.86/908.52 c #Conflicts: 655000 | #Constraints: 59739
905.86/908.52 c #Conflicts: 656000 | #Constraints: 60739
905.86/908.52 c #Conflicts: 657000 | #Constraints: 61739
905.86/908.52 c #Conflicts: 658000 | #Constraints: 62739
905.86/908.52 c #Conflicts: 659000 | #Constraints: 63739
905.86/908.52 c #Conflicts: 660000 | #Constraints: 64739
905.86/908.52 c INPROCESSING
905.86/908.52 c GARBAGE COLLECT
905.86/908.52 c #Conflicts: 661000 | #Constraints: 37037
905.86/908.52 c #Conflicts: 662000 | #Constraints: 38037
905.86/908.52 c #Conflicts: 663000 | #Constraints: 39037
905.86/908.52 c #Conflicts: 664000 | #Constraints: 40037
905.86/908.52 c #Conflicts: 665000 | #Constraints: 41037
905.86/908.52 c #Conflicts: 666000 | #Constraints: 42037
905.86/908.52 c #Conflicts: 667000 | #Constraints: 43037
905.86/908.52 c #Conflicts: 668000 | #Constraints: 44037
905.86/908.52 c #Conflicts: 669000 | #Constraints: 45037
905.86/908.52 c #Conflicts: 670000 | #Constraints: 46037
905.86/908.52 c #Conflicts: 671000 | #Constraints: 47037
905.86/908.52 c #Conflicts: 672000 | #Constraints: 48037
905.86/908.52 c #Conflicts: 673000 | #Constraints: 49037
905.86/908.52 c #Conflicts: 674000 | #Constraints: 50037
905.86/908.52 c #Conflicts: 675000 | #Constraints: 51037
905.86/908.52 c #Conflicts: 676000 | #Constraints: 52037
905.86/908.52 c #Conflicts: 677000 | #Constraints: 53037
963.30/966.15 c #Conflicts: 678000 | #Constraints: 54037
963.30/966.15 c INPROCESSING
963.30/966.15 c GARBAGE COLLECT
963.30/966.15 c #Conflicts: 679000 | #Constraints: 31449
963.30/966.15 c #Conflicts: 680000 | #Constraints: 32449
963.30/966.15 c #Conflicts: 681000 | #Constraints: 33449
963.30/966.15 c #Conflicts: 682000 | #Constraints: 34449
963.30/966.15 c #Conflicts: 683000 | #Constraints: 35449
963.30/966.15 c #Conflicts: 684000 | #Constraints: 36449
963.30/966.15 c #Conflicts: 685000 | #Constraints: 37449
963.30/966.15 c #Conflicts: 686000 | #Constraints: 38449
963.30/966.15 c #Conflicts: 687000 | #Constraints: 39449
963.30/966.15 c #Conflicts: 688000 | #Constraints: 40449
963.30/966.15 c #Conflicts: 689000 | #Constraints: 41449
963.30/966.15 c #Conflicts: 690000 | #Constraints: 42449
963.30/966.15 c #Conflicts: 691000 | #Constraints: 43449
963.30/966.15 c #Conflicts: 692000 | #Constraints: 44449
963.30/966.15 c #Conflicts: 693000 | #Constraints: 45449
963.30/966.15 c #Conflicts: 694000 | #Constraints: 46449
963.30/966.15 c #Conflicts: 695000 | #Constraints: 47449
963.30/966.15 c #Conflicts: 696000 | #Constraints: 48449
963.30/966.15 c INPROCESSING
963.30/966.15 c GARBAGE COLLECT
963.30/966.15 c #Conflicts: 697000 | #Constraints: 28430
963.30/966.15 c #Conflicts: 698000 | #Constraints: 29430
963.30/966.15 c #Conflicts: 699000 | #Constraints: 30430
963.30/966.15 c #Conflicts: 700000 | #Constraints: 31430
963.30/966.15 c #Conflicts: 701000 | #Constraints: 32430
963.30/966.15 c #Conflicts: 702000 | #Constraints: 33430
963.30/966.15 c #Conflicts: 703000 | #Constraints: 34430
963.30/966.15 c #Conflicts: 704000 | #Constraints: 35430
963.30/966.15 c #Conflicts: 705000 | #Constraints: 36430
963.30/966.15 c #Conflicts: 706000 | #Constraints: 37430
963.30/966.15 c #Conflicts: 707000 | #Constraints: 38430
963.30/966.15 c #Conflicts: 708000 | #Constraints: 39430
963.30/966.15 c #Conflicts: 709000 | #Constraints: 40430
963.30/966.15 c #Conflicts: 710000 | #Constraints: 41430
963.30/966.15 c #Conflicts: 711000 | #Constraints: 42430
963.30/966.15 c #Conflicts: 712000 | #Constraints: 43430
963.30/966.15 c #Conflicts: 713000 | #Constraints: 44430
963.30/966.15 c #Conflicts: 714000 | #Constraints: 45430
963.30/966.15 c #Conflicts: 715000 | #Constraints: 46430
963.30/966.15 c INPROCESSING
963.30/966.15 c GARBAGE COLLECT
963.30/966.15 c rational objective 98.03
1125.81/1129.18 c #Conflicts: 716000 | #Constraints: 27639
1125.81/1129.18 c #Conflicts: 717000 | #Constraints: 28639
1125.81/1129.18 c #Conflicts: 718000 | #Constraints: 29639
1125.81/1129.18 c #Conflicts: 719000 | #Constraints: 30639
1125.81/1129.18 c #Conflicts: 720000 | #Constraints: 31639
1125.81/1129.18 c #Conflicts: 721000 | #Constraints: 32639
1125.81/1129.18 c #Conflicts: 722000 | #Constraints: 33639
1125.81/1129.18 c #Conflicts: 723000 | #Constraints: 34639
1125.81/1129.18 c #Conflicts: 724000 | #Constraints: 35639
1125.81/1129.18 c #Conflicts: 725000 | #Constraints: 36639
1125.81/1129.18 c #Conflicts: 726000 | #Constraints: 37639
1125.81/1129.18 c #Conflicts: 727000 | #Constraints: 38639
1125.81/1129.18 c #Conflicts: 728000 | #Constraints: 39639
1125.81/1129.18 c #Conflicts: 729000 | #Constraints: 40639
1125.81/1129.18 c #Conflicts: 730000 | #Constraints: 41639
1125.81/1129.18 c #Conflicts: 731000 | #Constraints: 42639
1125.81/1129.18 c #Conflicts: 732000 | #Constraints: 43639
1125.81/1129.18 c #Conflicts: 733000 | #Constraints: 44639
1125.81/1129.18 c #Conflicts: 734000 | #Constraints: 45639
1125.81/1129.18 c #Conflicts: 735000 | #Constraints: 46639
1125.81/1129.18 c #Conflicts: 736000 | #Constraints: 47639
1125.81/1129.18 c #Conflicts: 737000 | #Constraints: 48639
1125.81/1129.18 c #Conflicts: 738000 | #Constraints: 49639
1125.81/1129.18 c #Conflicts: 739000 | #Constraints: 50639
1125.81/1129.18 c #Conflicts: 740000 | #Constraints: 51639
1125.81/1129.18 c #Conflicts: 741000 | #Constraints: 52639
1125.81/1129.18 c #Conflicts: 742000 | #Constraints: 53639
1125.81/1129.18 c #Conflicts: 743000 | #Constraints: 54639
1125.81/1129.18 c #Conflicts: 744000 | #Constraints: 55639
1125.81/1129.18 c #Conflicts: 745000 | #Constraints: 56639
1125.81/1129.18 c #Conflicts: 746000 | #Constraints: 57639
1125.81/1129.18 c #Conflicts: 747000 | #Constraints: 58639
1125.81/1129.18 c #Conflicts: 748000 | #Constraints: 59639
1125.81/1129.18 c #Conflicts: 749000 | #Constraints: 60639
1125.81/1129.18 c #Conflicts: 750000 | #Constraints: 61639
1125.81/1129.18 c #Conflicts: 751000 | #Constraints: 62639
1125.81/1129.18 c #Conflicts: 752000 | #Constraints: 63639
1125.81/1129.18 c #Conflicts: 753000 | #Constraints: 64639
1125.81/1129.18 c #Conflicts: 754000 | #Constraints: 65639
1125.81/1129.18 c #Conflicts: 755000 | #Constraints: 66639
1125.81/1129.18 c #Conflicts: 756000 | #Constraints: 67639
1125.81/1129.18 c #Conflicts: 757000 | #Constraints: 68639
1125.81/1129.18 c #Conflicts: 758000 | #Constraints: 69639
1125.81/1129.18 c #Conflicts: 759000 | #Constraints: 70639
1125.81/1129.18 c #Conflicts: 760000 | #Constraints: 71639
1125.81/1129.18 c #Conflicts: 761000 | #Constraints: 72639
1125.81/1129.18 c #Conflicts: 762000 | #Constraints: 73639
1125.81/1129.18 c #Conflicts: 763000 | #Constraints: 74639
1125.81/1129.18 c #Conflicts: 764000 | #Constraints: 75639
1125.81/1129.18 c #Conflicts: 765000 | #Constraints: 76639
1125.81/1129.18 c #Conflicts: 766000 | #Constraints: 77639
1125.81/1129.18 c #Conflicts: 767000 | #Constraints: 78639
1125.81/1129.18 c #Conflicts: 768000 | #Constraints: 79639
1125.81/1129.18 c #Conflicts: 769000 | #Constraints: 80639
1125.81/1129.18 c #Conflicts: 770000 | #Constraints: 81639
1125.81/1129.18 c #Conflicts: 771000 | #Constraints: 82639
1125.81/1129.18 c #Conflicts: 772000 | #Constraints: 83639
1125.81/1129.18 c #Conflicts: 773000 | #Constraints: 84639
1125.81/1129.18 c #Conflicts: 774000 | #Constraints: 85639
1125.81/1129.18 c #Conflicts: 775000 | #Constraints: 86639
1125.81/1129.18 c #Conflicts: 776000 | #Constraints: 87639
1125.81/1129.18 c #Conflicts: 777000 | #Constraints: 88639
1125.81/1129.18 c #Conflicts: 778000 | #Constraints: 89639
1125.81/1129.18 c #Conflicts: 779000 | #Constraints: 90639
1125.81/1129.18 c #Conflicts: 780000 | #Constraints: 91639
1125.81/1129.18 c #Conflicts: 781000 | #Constraints: 92639
1125.81/1129.18 c #Conflicts: 782000 | #Constraints: 93639
1125.81/1129.18 c #Conflicts: 783000 | #Constraints: 94639
1125.81/1129.18 c INPROCESSING
1125.81/1129.18 c GARBAGE COLLECT
1125.81/1129.18 c #Conflicts: 784000 | #Constraints: 51895
1125.81/1129.18 c #Conflicts: 785000 | #Constraints: 52895
1125.81/1129.18 c #Conflicts: 786000 | #Constraints: 53895
1125.81/1129.18 c #Conflicts: 787000 | #Constraints: 54895
1125.81/1129.18 c #Conflicts: 788000 | #Constraints: 55895
1125.81/1129.18 c #Conflicts: 789000 | #Constraints: 56895
1125.81/1129.18 c #Conflicts: 790000 | #Constraints: 57895
1125.81/1129.18 c #Conflicts: 791000 | #Constraints: 58895
1125.81/1129.18 c #Conflicts: 792000 | #Constraints: 59895
1125.81/1129.18 c #Conflicts: 793000 | #Constraints: 60895
1125.81/1129.18 c #Conflicts: 794000 | #Constraints: 61895
1231.40/1235.09 c #Conflicts: 795000 | #Constraints: 62895
1231.40/1235.09 c #Conflicts: 796000 | #Constraints: 63895
1231.40/1235.09 c #Conflicts: 797000 | #Constraints: 64895
1231.40/1235.09 c #Conflicts: 798000 | #Constraints: 65895
1231.40/1235.09 c #Conflicts: 799000 | #Constraints: 66895
1231.40/1235.09 c #Conflicts: 800000 | #Constraints: 67895
1231.40/1235.09 c #Conflicts: 801000 | #Constraints: 68895
1231.40/1235.09 c #Conflicts: 802000 | #Constraints: 69895
1231.40/1235.09 c #Conflicts: 803000 | #Constraints: 70895
1231.40/1235.09 c INPROCESSING
1231.40/1235.09 c GARBAGE COLLECT
1231.40/1235.09 c #Conflicts: 804000 | #Constraints: 40099
1231.40/1235.09 c #Conflicts: 805000 | #Constraints: 41099
1231.40/1235.09 c #Conflicts: 806000 | #Constraints: 42099
1231.40/1235.09 c #Conflicts: 807000 | #Constraints: 43099
1231.40/1235.09 c #Conflicts: 808000 | #Constraints: 44099
1231.40/1235.09 c #Conflicts: 809000 | #Constraints: 45099
1231.40/1235.09 c #Conflicts: 810000 | #Constraints: 46099
1231.40/1235.09 c #Conflicts: 811000 | #Constraints: 47099
1231.40/1235.09 c #Conflicts: 812000 | #Constraints: 48099
1231.40/1235.09 c #Conflicts: 813000 | #Constraints: 49099
1231.40/1235.09 c #Conflicts: 814000 | #Constraints: 50099
1231.40/1235.09 c #Conflicts: 815000 | #Constraints: 51099
1231.40/1235.09 c #Conflicts: 816000 | #Constraints: 52099
1231.40/1235.09 c #Conflicts: 817000 | #Constraints: 53099
1231.40/1235.09 c #Conflicts: 818000 | #Constraints: 54099
1231.40/1235.09 c #Conflicts: 819000 | #Constraints: 55099
1231.40/1235.09 c #Conflicts: 820000 | #Constraints: 56099
1231.40/1235.09 c #Conflicts: 821000 | #Constraints: 57099
1231.40/1235.09 c #Conflicts: 822000 | #Constraints: 58099
1231.40/1235.09 c #Conflicts: 823000 | #Constraints: 59099
1231.40/1235.09 c INPROCESSING
1231.40/1235.09 c GARBAGE COLLECT
1231.40/1235.09 c #Conflicts: 824000 | #Constraints: 34080
1231.40/1235.09 c #Conflicts: 825000 | #Constraints: 35080
1231.40/1235.09 c #Conflicts: 826000 | #Constraints: 36080
1231.40/1235.09 c #Conflicts: 827000 | #Constraints: 37080
1231.40/1235.09 c #Conflicts: 828000 | #Constraints: 38080
1231.40/1235.09 c #Conflicts: 829000 | #Constraints: 39080
1231.40/1235.09 c #Conflicts: 830000 | #Constraints: 40080
1231.40/1235.09 c #Conflicts: 831000 | #Constraints: 41080
1231.40/1235.09 c #Conflicts: 832000 | #Constraints: 42080
1231.40/1235.09 c #Conflicts: 833000 | #Constraints: 43080
1231.40/1235.09 c #Conflicts: 834000 | #Constraints: 44080
1231.40/1235.09 c #Conflicts: 835000 | #Constraints: 45080
1231.40/1235.09 c #Conflicts: 836000 | #Constraints: 46080
1231.40/1235.09 c #Conflicts: 837000 | #Constraints: 47080
1231.40/1235.09 c #Conflicts: 838000 | #Constraints: 48080
1231.40/1235.09 c #Conflicts: 839000 | #Constraints: 49080
1231.40/1235.09 c #Conflicts: 840000 | #Constraints: 50080
1231.40/1235.09 c #Conflicts: 841000 | #Constraints: 51080
1231.40/1235.09 c #Conflicts: 842000 | #Constraints: 52080
1231.40/1235.09 c #Conflicts: 843000 | #Constraints: 53080
1231.40/1235.09 c INPROCESSING
1231.40/1235.09 c GARBAGE COLLECT
1231.40/1235.09 c #Conflicts: 844000 | #Constraints: 30851
1231.40/1235.09 c #Conflicts: 845000 | #Constraints: 31851
1231.40/1235.09 c #Conflicts: 846000 | #Constraints: 32851
1231.40/1235.09 c #Conflicts: 847000 | #Constraints: 33851
1231.40/1235.09 c #Conflicts: 848000 | #Constraints: 34851
1231.40/1235.09 c #Conflicts: 849000 | #Constraints: 35851
1231.40/1235.09 c #Conflicts: 850000 | #Constraints: 36851
1231.40/1235.09 c #Conflicts: 851000 | #Constraints: 37851
1231.40/1235.09 c #Conflicts: 852000 | #Constraints: 38851
1231.40/1235.09 c #Conflicts: 853000 | #Constraints: 39851
1231.40/1235.09 c #Conflicts: 854000 | #Constraints: 40851
1231.40/1235.09 c #Conflicts: 855000 | #Constraints: 41851
1231.40/1235.09 c #Conflicts: 856000 | #Constraints: 42851
1231.40/1235.09 c #Conflicts: 857000 | #Constraints: 43851
1231.40/1235.09 c #Conflicts: 858000 | #Constraints: 44851
1231.40/1235.09 c #Conflicts: 859000 | #Constraints: 45851
1231.40/1235.09 c #Conflicts: 860000 | #Constraints: 46851
1231.40/1235.09 c #Conflicts: 861000 | #Constraints: 47851
1231.40/1235.09 c #Conflicts: 862000 | #Constraints: 48851
1231.40/1235.09 c #Conflicts: 863000 | #Constraints: 49851
1231.40/1235.09 c #Conflicts: 864000 | #Constraints: 50851
1231.40/1235.09 c INPROCESSING
1231.40/1235.09 c GARBAGE COLLECT
1231.40/1235.09 c #Conflicts: 865000 | #Constraints: 29984
1231.40/1235.09 c #Conflicts: 866000 | #Constraints: 30984
1231.40/1235.09 c #Conflicts: 867000 | #Constraints: 31984
1231.40/1235.09 c #Conflicts: 868000 | #Constraints: 32984
1231.40/1235.09 c #Conflicts: 869000 | #Constraints: 33984
1231.40/1235.09 c #Conflicts: 870000 | #Constraints: 34984
1428.19/1432.45 c #Conflicts: 871000 | #Constraints: 35984
1428.19/1432.45 c #Conflicts: 872000 | #Constraints: 36984
1428.19/1432.45 c #Conflicts: 873000 | #Constraints: 37984
1428.19/1432.45 c #Conflicts: 874000 | #Constraints: 38984
1428.19/1432.45 c #Conflicts: 875000 | #Constraints: 39984
1428.19/1432.45 c #Conflicts: 876000 | #Constraints: 40984
1428.19/1432.45 c #Conflicts: 877000 | #Constraints: 41984
1428.19/1432.45 c #Conflicts: 878000 | #Constraints: 42984
1428.19/1432.45 c #Conflicts: 879000 | #Constraints: 43984
1428.19/1432.45 c #Conflicts: 880000 | #Constraints: 44984
1428.19/1432.45 c #Conflicts: 881000 | #Constraints: 45984
1428.19/1432.45 c #Conflicts: 882000 | #Constraints: 46984
1428.19/1432.45 c #Conflicts: 883000 | #Constraints: 47984
1428.19/1432.45 c #Conflicts: 884000 | #Constraints: 48984
1428.19/1432.45 c #Conflicts: 885000 | #Constraints: 49984
1428.19/1432.45 c #Conflicts: 886000 | #Constraints: 50984
1428.19/1432.45 c #Conflicts: 887000 | #Constraints: 51984
1428.19/1432.45 c #Conflicts: 888000 | #Constraints: 52984
1428.19/1432.45 c #Conflicts: 889000 | #Constraints: 53984
1428.19/1432.45 c #Conflicts: 890000 | #Constraints: 54984
1428.19/1432.45 c #Conflicts: 891000 | #Constraints: 55984
1428.19/1432.45 c #Conflicts: 892000 | #Constraints: 56984
1428.19/1432.45 c #Conflicts: 893000 | #Constraints: 57984
1428.19/1432.45 c #Conflicts: 894000 | #Constraints: 58984
1428.19/1432.45 c #Conflicts: 895000 | #Constraints: 59984
1428.19/1432.45 c #Conflicts: 896000 | #Constraints: 60985
1428.19/1432.45 c #Conflicts: 897000 | #Constraints: 61985
1428.19/1432.45 c #Conflicts: 898000 | #Constraints: 62985
1428.19/1432.45 c #Conflicts: 899000 | #Constraints: 63985
1428.19/1432.45 c #Conflicts: 900000 | #Constraints: 64985
1428.19/1432.45 c #Conflicts: 901000 | #Constraints: 65985
1428.19/1432.45 c #Conflicts: 902000 | #Constraints: 66985
1428.19/1432.45 c #Conflicts: 903000 | #Constraints: 67985
1428.19/1432.45 c #Conflicts: 904000 | #Constraints: 68985
1428.19/1432.45 c #Conflicts: 905000 | #Constraints: 69985
1428.19/1432.45 c #Conflicts: 906000 | #Constraints: 70985
1428.19/1432.45 c #Conflicts: 907000 | #Constraints: 71985
1428.19/1432.45 c #Conflicts: 908000 | #Constraints: 72985
1428.19/1432.45 c #Conflicts: 909000 | #Constraints: 73985
1428.19/1432.45 c #Conflicts: 910000 | #Constraints: 74985
1428.19/1432.45 c #Conflicts: 911000 | #Constraints: 75985
1428.19/1432.45 c #Conflicts: 912000 | #Constraints: 76985
1428.19/1432.45 c #Conflicts: 913000 | #Constraints: 77985
1428.19/1432.45 c #Conflicts: 914000 | #Constraints: 78985
1428.19/1432.45 c #Conflicts: 915000 | #Constraints: 79985
1428.19/1432.45 c #Conflicts: 916000 | #Constraints: 80985
1428.19/1432.45 c #Conflicts: 917000 | #Constraints: 81985
1428.19/1432.45 c #Conflicts: 918000 | #Constraints: 82985
1428.19/1432.45 c #Conflicts: 919000 | #Constraints: 83985
1428.19/1432.45 c #Conflicts: 920000 | #Constraints: 84985
1428.19/1432.45 c #Conflicts: 921000 | #Constraints: 85985
1428.19/1432.45 c #Conflicts: 922000 | #Constraints: 86985
1428.19/1432.45 c #Conflicts: 923000 | #Constraints: 87985
1428.19/1432.45 c #Conflicts: 924000 | #Constraints: 88985
1428.19/1432.45 c #Conflicts: 925000 | #Constraints: 89985
1428.19/1432.45 c #Conflicts: 926000 | #Constraints: 90985
1428.19/1432.45 c #Conflicts: 927000 | #Constraints: 91985
1428.19/1432.45 c #Conflicts: 928000 | #Constraints: 92985
1428.19/1432.45 c #Conflicts: 929000 | #Constraints: 93985
1428.19/1432.45 c #Conflicts: 930000 | #Constraints: 94985
1428.19/1432.45 c #Conflicts: 931000 | #Constraints: 95985
1428.19/1432.45 c #Conflicts: 932000 | #Constraints: 96985
1428.19/1432.45 c #Conflicts: 933000 | #Constraints: 97985
1428.19/1432.45 c #Conflicts: 934000 | #Constraints: 98985
1428.19/1432.45 c #Conflicts: 935000 | #Constraints: 99985
1428.19/1432.45 c #Conflicts: 936000 | #Constraints: 100985
1428.19/1432.45 c #Conflicts: 937000 | #Constraints: 101985
1428.19/1432.45 c #Conflicts: 938000 | #Constraints: 102985
1428.19/1432.45 c INPROCESSING
1428.19/1432.45 c GARBAGE COLLECT
1428.19/1432.45 c rational objective 98.0552
1580.73/1585.49 c #Conflicts: 939000 | #Constraints: 56109
1580.73/1585.49 c #Conflicts: 940000 | #Constraints: 57109
1580.73/1585.49 c #Conflicts: 941000 | #Constraints: 58109
1580.73/1585.49 c #Conflicts: 942000 | #Constraints: 59109
1580.73/1585.49 c #Conflicts: 943000 | #Constraints: 60109
1580.73/1585.49 c #Conflicts: 944000 | #Constraints: 61109
1580.73/1585.49 c #Conflicts: 945000 | #Constraints: 62109
1580.73/1585.49 c #Conflicts: 946000 | #Constraints: 63109
1580.73/1585.49 c #Conflicts: 947000 | #Constraints: 64109
1580.73/1585.49 c #Conflicts: 948000 | #Constraints: 65109
1580.73/1585.49 c #Conflicts: 949000 | #Constraints: 66109
1580.73/1585.49 c #Conflicts: 950000 | #Constraints: 67109
1580.73/1585.49 c #Conflicts: 951000 | #Constraints: 68109
1580.73/1585.49 c #Conflicts: 952000 | #Constraints: 69109
1580.73/1585.49 c #Conflicts: 953000 | #Constraints: 70109
1580.73/1585.49 c #Conflicts: 954000 | #Constraints: 71109
1580.73/1585.49 c #Conflicts: 955000 | #Constraints: 72109
1580.73/1585.49 c #Conflicts: 956000 | #Constraints: 73109
1580.73/1585.49 c #Conflicts: 957000 | #Constraints: 74109
1580.73/1585.49 c #Conflicts: 958000 | #Constraints: 75109
1580.73/1585.49 c #Conflicts: 959000 | #Constraints: 76109
1580.73/1585.49 c #Conflicts: 960000 | #Constraints: 77109
1580.73/1585.49 c INPROCESSING
1580.73/1585.49 c GARBAGE COLLECT
1580.73/1585.49 c #Conflicts: 961000 | #Constraints: 43231
1580.73/1585.49 c #Conflicts: 962000 | #Constraints: 44231
1580.73/1585.49 c #Conflicts: 963000 | #Constraints: 45231
1580.73/1585.49 c #Conflicts: 964000 | #Constraints: 46231
1580.73/1585.49 c #Conflicts: 965000 | #Constraints: 47231
1580.73/1585.49 c #Conflicts: 966000 | #Constraints: 48231
1580.73/1585.49 c #Conflicts: 967000 | #Constraints: 49231
1580.73/1585.49 c #Conflicts: 968000 | #Constraints: 50231
1580.73/1585.49 c #Conflicts: 969000 | #Constraints: 51231
1580.73/1585.49 c #Conflicts: 970000 | #Constraints: 52231
1580.73/1585.49 c #Conflicts: 971000 | #Constraints: 53231
1580.73/1585.49 c #Conflicts: 972000 | #Constraints: 54231
1580.73/1585.49 c #Conflicts: 973000 | #Constraints: 55231
1580.73/1585.49 c #Conflicts: 974000 | #Constraints: 56231
1580.73/1585.49 c #Conflicts: 975000 | #Constraints: 57231
1580.73/1585.49 c #Conflicts: 976000 | #Constraints: 58231
1580.73/1585.49 c #Conflicts: 977000 | #Constraints: 59231
1580.73/1585.49 c #Conflicts: 978000 | #Constraints: 60231
1580.73/1585.49 c #Conflicts: 979000 | #Constraints: 61231
1580.73/1585.49 c #Conflicts: 980000 | #Constraints: 62231
1580.73/1585.49 c #Conflicts: 981000 | #Constraints: 63231
1580.73/1585.49 c #Conflicts: 982000 | #Constraints: 64231
1580.73/1585.49 c INPROCESSING
1580.73/1585.49 c GARBAGE COLLECT
1580.73/1585.49 c #Conflicts: 983000 | #Constraints: 36653
1580.73/1585.49 c #Conflicts: 984000 | #Constraints: 37653
1580.73/1585.49 c #Conflicts: 985000 | #Constraints: 38653
1580.73/1585.49 c #Conflicts: 986000 | #Constraints: 39653
1580.73/1585.49 c #Conflicts: 987000 | #Constraints: 40653
1580.73/1585.49 c #Conflicts: 988000 | #Constraints: 41653
1580.73/1585.49 c #Conflicts: 989000 | #Constraints: 42653
1580.73/1585.49 c #Conflicts: 990000 | #Constraints: 43653
1580.73/1585.49 c #Conflicts: 991000 | #Constraints: 44653
1580.73/1585.49 c #Conflicts: 992000 | #Constraints: 45653
1580.73/1585.49 c #Conflicts: 993000 | #Constraints: 46653
1580.73/1585.49 c #Conflicts: 994000 | #Constraints: 47653
1580.73/1585.49 c #Conflicts: 995000 | #Constraints: 48653
1580.73/1585.49 c #Conflicts: 996000 | #Constraints: 49653
1580.73/1585.49 c #Conflicts: 997000 | #Constraints: 50653
1580.73/1585.49 c #Conflicts: 998000 | #Constraints: 51653
1580.73/1585.49 c #Conflicts: 999000 | #Constraints: 52653
1580.73/1585.49 c #Conflicts: 1000000 | #Constraints: 53653
1580.73/1585.49 c #Conflicts: 1001000 | #Constraints: 54653
1580.73/1585.49 c #Conflicts: 1002000 | #Constraints: 55653
1580.73/1585.49 c #Conflicts: 1003000 | #Constraints: 56653
1580.73/1585.49 c #Conflicts: 1004000 | #Constraints: 57653
1580.73/1585.49 c INPROCESSING
1580.73/1585.49 c GARBAGE COLLECT
1580.73/1585.49 c #Conflicts: 1005000 | #Constraints: 33358
1580.73/1585.49 c #Conflicts: 1006000 | #Constraints: 34358
1580.73/1585.49 c #Conflicts: 1007000 | #Constraints: 35358
1580.73/1585.49 c #Conflicts: 1008000 | #Constraints: 36358
1580.73/1585.49 c #Conflicts: 1009000 | #Constraints: 37358
1580.73/1585.49 c #Conflicts: 1010000 | #Constraints: 38358
1580.73/1585.49 c #Conflicts: 1011000 | #Constraints: 39358
1580.73/1585.49 c #Conflicts: 1012000 | #Constraints: 40358
1580.73/1585.49 c #Conflicts: 1013000 | #Constraints: 41358
1580.73/1585.49 c #Conflicts: 1014000 | #Constraints: 42358
1580.73/1585.49 c #Conflicts: 1015000 | #Constraints: 43358
1749.00/1754.29 c #Conflicts: 1016000 | #Constraints: 44358
1749.00/1754.29 c #Conflicts: 1017000 | #Constraints: 45358
1749.00/1754.29 c #Conflicts: 1018000 | #Constraints: 46358
1749.00/1754.29 c #Conflicts: 1019000 | #Constraints: 47358
1749.00/1754.29 c #Conflicts: 1020000 | #Constraints: 48358
1749.00/1754.29 c #Conflicts: 1021000 | #Constraints: 49358
1749.00/1754.29 c #Conflicts: 1022000 | #Constraints: 50358
1749.00/1754.29 c #Conflicts: 1023000 | #Constraints: 51358
1749.00/1754.29 c #Conflicts: 1024000 | #Constraints: 52358
1749.00/1754.29 c #Conflicts: 1025000 | #Constraints: 53358
1749.00/1754.29 c #Conflicts: 1026000 | #Constraints: 54358
1749.00/1754.29 c INPROCESSING
1749.00/1754.29 c GARBAGE COLLECT
1749.00/1754.29 c #Conflicts: 1027000 | #Constraints: 31366
1749.00/1754.29 c #Conflicts: 1028000 | #Constraints: 32366
1749.00/1754.29 c #Conflicts: 1029000 | #Constraints: 33366
1749.00/1754.29 c #Conflicts: 1030000 | #Constraints: 34366
1749.00/1754.29 c #Conflicts: 1031000 | #Constraints: 35366
1749.00/1754.29 c #Conflicts: 1032000 | #Constraints: 36366
1749.00/1754.29 c #Conflicts: 1033000 | #Constraints: 37366
1749.00/1754.29 c #Conflicts: 1034000 | #Constraints: 38366
1749.00/1754.29 c #Conflicts: 1035000 | #Constraints: 39366
1749.00/1754.29 c #Conflicts: 1036000 | #Constraints: 40366
1749.00/1754.29 c #Conflicts: 1037000 | #Constraints: 41366
1749.00/1754.29 c #Conflicts: 1038000 | #Constraints: 42366
1749.00/1754.29 c #Conflicts: 1039000 | #Constraints: 43366
1749.00/1754.29 c #Conflicts: 1040000 | #Constraints: 44366
1749.00/1754.29 c #Conflicts: 1041000 | #Constraints: 45366
1749.00/1754.29 c #Conflicts: 1042000 | #Constraints: 46366
1749.00/1754.29 c #Conflicts: 1043000 | #Constraints: 47366
1749.00/1754.29 c #Conflicts: 1044000 | #Constraints: 48366
1749.00/1754.29 c #Conflicts: 1045000 | #Constraints: 49366
1749.00/1754.29 c #Conflicts: 1046000 | #Constraints: 50366
1749.00/1754.29 c #Conflicts: 1047000 | #Constraints: 51366
1749.00/1754.29 c #Conflicts: 1048000 | #Constraints: 52366
1749.00/1754.29 c #Conflicts: 1049000 | #Constraints: 53366
1749.00/1754.29 c #Conflicts: 1050000 | #Constraints: 54366
1749.00/1754.29 c #Conflicts: 1051000 | #Constraints: 55366
1749.00/1754.29 c #Conflicts: 1052000 | #Constraints: 56366
1749.00/1754.29 c #Conflicts: 1053000 | #Constraints: 57366
1749.00/1754.29 c #Conflicts: 1054000 | #Constraints: 58366
1749.00/1754.29 c #Conflicts: 1055000 | #Constraints: 59366
1749.00/1754.29 c #Conflicts: 1056000 | #Constraints: 60366
1749.00/1754.29 c #Conflicts: 1057000 | #Constraints: 61366
1749.00/1754.29 c #Conflicts: 1058000 | #Constraints: 62366
1749.00/1754.29 c #Conflicts: 1059000 | #Constraints: 63366
1749.00/1754.29 c #Conflicts: 1060000 | #Constraints: 64366
1749.00/1754.29 c #Conflicts: 1061000 | #Constraints: 65366
1749.00/1754.29 c #Conflicts: 1062000 | #Constraints: 66366
1749.00/1754.29 c #Conflicts: 1063000 | #Constraints: 67366
1749.00/1754.29 c #Conflicts: 1064000 | #Constraints: 68366
1749.00/1754.29 c #Conflicts: 1065000 | #Constraints: 69366
1749.00/1754.29 c #Conflicts: 1066000 | #Constraints: 70366
1749.00/1754.29 c #Conflicts: 1067000 | #Constraints: 71366
1749.00/1754.29 c #Conflicts: 1068000 | #Constraints: 72366
1749.00/1754.29 c #Conflicts: 1069000 | #Constraints: 73366
1749.00/1754.29 c #Conflicts: 1070000 | #Constraints: 74366
1749.00/1754.29 c #Conflicts: 1071000 | #Constraints: 75366
1749.00/1754.29 c #Conflicts: 1072000 | #Constraints: 76366
1749.00/1754.29 c #Conflicts: 1073000 | #Constraints: 77366
1749.00/1754.29 c #Conflicts: 1074000 | #Constraints: 78366
1749.00/1754.29 c #Conflicts: 1075000 | #Constraints: 79366
1749.00/1754.29 c #Conflicts: 1076000 | #Constraints: 80366
1749.00/1754.29 c #Conflicts: 1077000 | #Constraints: 81366
1749.00/1754.29 c #Conflicts: 1078000 | #Constraints: 82366
1749.00/1754.29 c #Conflicts: 1079000 | #Constraints: 83366
1749.00/1754.29 c #Conflicts: 1080000 | #Constraints: 84366
1749.00/1754.29 c #Conflicts: 1081000 | #Constraints: 85366
1749.00/1754.29 c #Conflicts: 1082000 | #Constraints: 86366
1749.00/1754.29 c #Conflicts: 1083000 | #Constraints: 87366
1749.00/1754.29 c #Conflicts: 1084000 | #Constraints: 88366
1749.00/1754.29 c #Conflicts: 1085000 | #Constraints: 89366
1749.00/1754.29 c #Conflicts: 1086000 | #Constraints: 90366
1749.00/1754.29 c #Conflicts: 1087000 | #Constraints: 91366
1749.00/1754.29 c #Conflicts: 1088000 | #Constraints: 92366
1749.00/1754.29 c #Conflicts: 1089000 | #Constraints: 93366
1749.00/1754.29 c #Conflicts: 1090000 | #Constraints: 94366
1749.00/1754.29 c #Conflicts: 1091000 | #Constraints: 95366
1749.00/1754.29 c #Conflicts: 1092000 | #Constraints: 96366
1749.00/1754.29 c #Conflicts: 1093000 | #Constraints: 97366
1887.30/1892.97 c #Conflicts: 1094000 | #Constraints: 98366
1887.30/1892.97 c #Conflicts: 1095000 | #Constraints: 99366
1887.30/1892.97 c #Conflicts: 1096000 | #Constraints: 100366
1887.30/1892.97 c #Conflicts: 1097000 | #Constraints: 101366
1887.30/1892.97 c #Conflicts: 1098000 | #Constraints: 102366
1887.30/1892.97 c #Conflicts: 1099000 | #Constraints: 103366
1887.30/1892.97 c #Conflicts: 1100000 | #Constraints: 104366
1887.30/1892.97 c #Conflicts: 1101000 | #Constraints: 105366
1887.30/1892.97 c #Conflicts: 1102000 | #Constraints: 106366
1887.30/1892.97 c #Conflicts: 1103000 | #Constraints: 107366
1887.30/1892.97 c #Conflicts: 1104000 | #Constraints: 108366
1887.30/1892.97 c #Conflicts: 1105000 | #Constraints: 109366
1887.30/1892.97 c #Conflicts: 1106000 | #Constraints: 110366
1887.30/1892.97 c #Conflicts: 1107000 | #Constraints: 111366
1887.30/1892.97 c INPROCESSING
1887.30/1892.97 c GARBAGE COLLECT
1887.30/1892.97 c #Conflicts: 1108000 | #Constraints: 60273
1887.30/1892.97 c #Conflicts: 1109000 | #Constraints: 61273
1887.30/1892.97 c #Conflicts: 1110000 | #Constraints: 62273
1887.30/1892.97 c #Conflicts: 1111000 | #Constraints: 63273
1887.30/1892.97 c #Conflicts: 1112000 | #Constraints: 64273
1887.30/1892.97 c #Conflicts: 1113000 | #Constraints: 65273
1887.30/1892.97 c #Conflicts: 1114000 | #Constraints: 66273
1887.30/1892.97 c #Conflicts: 1115000 | #Constraints: 67273
1887.30/1892.97 c #Conflicts: 1116000 | #Constraints: 68273
1887.30/1892.97 c #Conflicts: 1117000 | #Constraints: 69273
1887.30/1892.97 c #Conflicts: 1118000 | #Constraints: 70273
1887.30/1892.97 c #Conflicts: 1119000 | #Constraints: 71273
1887.30/1892.97 c #Conflicts: 1120000 | #Constraints: 72273
1887.30/1892.97 c #Conflicts: 1121000 | #Constraints: 73273
1887.30/1892.97 c #Conflicts: 1122000 | #Constraints: 74273
1887.30/1892.97 c #Conflicts: 1123000 | #Constraints: 75273
1887.30/1892.97 c #Conflicts: 1124000 | #Constraints: 76273
1887.30/1892.97 c #Conflicts: 1125000 | #Constraints: 77273
1887.30/1892.97 c #Conflicts: 1126000 | #Constraints: 78273
1887.30/1892.97 c #Conflicts: 1127000 | #Constraints: 79273
1887.30/1892.97 c #Conflicts: 1128000 | #Constraints: 80273
1887.30/1892.97 c #Conflicts: 1129000 | #Constraints: 81273
1887.30/1892.97 c #Conflicts: 1130000 | #Constraints: 82273
1887.30/1892.97 c #Conflicts: 1131000 | #Constraints: 83273
1887.30/1892.97 c INPROCESSING
1887.30/1892.97 c GARBAGE COLLECT
1887.30/1892.97 c rational objective 98.1465
1998.84/2004.77 c #Conflicts: 1132000 | #Constraints: 46330
1998.84/2004.77 c #Conflicts: 1133000 | #Constraints: 47330
1998.84/2004.77 c #Conflicts: 1134000 | #Constraints: 48330
1998.84/2004.77 c #Conflicts: 1135000 | #Constraints: 49330
1998.84/2004.77 c #Conflicts: 1136000 | #Constraints: 50330
1998.84/2004.77 c #Conflicts: 1137000 | #Constraints: 51330
1998.84/2004.77 c #Conflicts: 1138000 | #Constraints: 52330
1998.84/2004.77 c #Conflicts: 1139000 | #Constraints: 53330
1998.84/2004.77 c #Conflicts: 1140000 | #Constraints: 54330
1998.84/2004.77 c #Conflicts: 1141000 | #Constraints: 55330
1998.84/2004.77 c #Conflicts: 1142000 | #Constraints: 56330
1998.84/2004.77 c #Conflicts: 1143000 | #Constraints: 57330
1998.84/2004.77 c #Conflicts: 1144000 | #Constraints: 58330
1998.84/2004.77 c #Conflicts: 1145000 | #Constraints: 59330
1998.84/2004.77 c #Conflicts: 1146000 | #Constraints: 60330
1998.84/2004.77 c #Conflicts: 1147000 | #Constraints: 61330
1998.84/2004.77 c #Conflicts: 1148000 | #Constraints: 62330
1998.84/2004.77 c #Conflicts: 1149000 | #Constraints: 63330
1998.84/2004.77 c #Conflicts: 1150000 | #Constraints: 64330
1998.84/2004.77 c #Conflicts: 1151000 | #Constraints: 65330
1998.84/2004.77 c #Conflicts: 1152000 | #Constraints: 66330
1998.84/2004.77 c #Conflicts: 1153000 | #Constraints: 67330
1998.84/2004.77 c #Conflicts: 1154000 | #Constraints: 68330
1998.84/2004.77 c #Conflicts: 1155000 | #Constraints: 69330
1998.84/2004.77 c INPROCESSING
1998.84/2004.77 c GARBAGE COLLECT
1998.84/2004.77 c #Conflicts: 1156000 | #Constraints: 39408
1998.84/2004.77 c #Conflicts: 1157000 | #Constraints: 40408
1998.84/2004.77 c #Conflicts: 1158000 | #Constraints: 41408
1998.84/2004.77 c #Conflicts: 1159000 | #Constraints: 42408
1998.84/2004.77 c #Conflicts: 1160000 | #Constraints: 43408
1998.84/2004.77 c #Conflicts: 1161000 | #Constraints: 44408
1998.84/2004.77 c #Conflicts: 1162000 | #Constraints: 45408
1998.84/2004.77 c #Conflicts: 1163000 | #Constraints: 46408
1998.84/2004.77 c #Conflicts: 1164000 | #Constraints: 47408
1998.84/2004.77 c #Conflicts: 1165000 | #Constraints: 48408
1998.84/2004.77 c #Conflicts: 1166000 | #Constraints: 49408
1998.84/2004.77 c #Conflicts: 1167000 | #Constraints: 50408
1998.84/2004.77 c #Conflicts: 1168000 | #Constraints: 51408
1998.84/2004.77 c #Conflicts: 1169000 | #Constraints: 52408
1998.84/2004.77 c #Conflicts: 1170000 | #Constraints: 53408
1998.84/2004.77 c #Conflicts: 1171000 | #Constraints: 54408
1998.84/2004.77 c #Conflicts: 1172000 | #Constraints: 55408
1998.84/2004.77 c #Conflicts: 1173000 | #Constraints: 56408
1998.84/2004.77 c #Conflicts: 1174000 | #Constraints: 57408
1998.84/2004.77 c #Conflicts: 1175000 | #Constraints: 58408
1998.84/2004.77 c #Conflicts: 1176000 | #Constraints: 59408
1998.84/2004.77 c #Conflicts: 1177000 | #Constraints: 60408
1998.84/2004.77 c #Conflicts: 1178000 | #Constraints: 61408
1998.84/2004.77 c #Conflicts: 1179000 | #Constraints: 62408
1998.84/2004.77 c INPROCESSING
1998.84/2004.77 c GARBAGE COLLECT
1998.84/2004.77 c #Conflicts: 1180000 | #Constraints: 35787
1998.84/2004.77 c #Conflicts: 1181000 | #Constraints: 36787
1998.84/2004.77 c #Conflicts: 1182000 | #Constraints: 37787
1998.84/2004.77 c #Conflicts: 1183000 | #Constraints: 38787
1998.84/2004.77 c #Conflicts: 1184000 | #Constraints: 39787
1998.84/2004.77 c #Conflicts: 1185000 | #Constraints: 40787
1998.84/2004.77 c #Conflicts: 1186000 | #Constraints: 41787
1998.84/2004.77 c #Conflicts: 1187000 | #Constraints: 42787
1998.84/2004.77 c #Conflicts: 1188000 | #Constraints: 43787
1998.84/2004.77 c #Conflicts: 1189000 | #Constraints: 44787
1998.84/2004.77 c #Conflicts: 1190000 | #Constraints: 45787
1998.84/2004.77 c #Conflicts: 1191000 | #Constraints: 46787
1998.84/2004.77 c #Conflicts: 1192000 | #Constraints: 47787
1998.84/2004.77 c #Conflicts: 1193000 | #Constraints: 48787
1998.84/2004.77 c #Conflicts: 1194000 | #Constraints: 49787
1998.84/2004.77 c #Conflicts: 1195000 | #Constraints: 50787
1998.84/2004.77 c #Conflicts: 1196000 | #Constraints: 51787
1998.84/2004.77 c #Conflicts: 1197000 | #Constraints: 52787
1998.84/2004.77 c #Conflicts: 1198000 | #Constraints: 53787
1998.84/2004.77 c #Conflicts: 1199000 | #Constraints: 54787
1998.84/2004.77 c #Conflicts: 1200000 | #Constraints: 55787
1998.84/2004.77 c #Conflicts: 1201000 | #Constraints: 56787
1998.84/2004.77 c #Conflicts: 1202000 | #Constraints: 57787
1998.84/2004.77 c #Conflicts: 1203000 | #Constraints: 58787
1998.84/2004.77 c INPROCESSING
1998.84/2004.77 c GARBAGE COLLECT
1998.84/2004.77 c #Conflicts: 1204000 | #Constraints: 33670
1998.84/2004.77 c #Conflicts: 1205000 | #Constraints: 34670
1998.84/2004.77 c #Conflicts: 1206000 | #Constraints: 35670
1998.84/2004.77 c #Conflicts: 1207000 | #Constraints: 36670
1998.84/2004.77 c #Conflicts: 1208000 | #Constraints: 37670
2140.00/2146.25 c #Conflicts: 1209000 | #Constraints: 38670
2140.00/2146.25 c #Conflicts: 1210000 | #Constraints: 39670
2140.00/2146.25 c #Conflicts: 1211000 | #Constraints: 40670
2140.00/2146.25 c #Conflicts: 1212000 | #Constraints: 41670
2140.00/2146.25 c #Conflicts: 1213000 | #Constraints: 42670
2140.00/2146.25 c #Conflicts: 1214000 | #Constraints: 43670
2140.00/2146.25 c #Conflicts: 1215000 | #Constraints: 44670
2140.00/2146.25 c #Conflicts: 1216000 | #Constraints: 45670
2140.00/2146.25 c #Conflicts: 1217000 | #Constraints: 46670
2140.00/2146.25 c #Conflicts: 1218000 | #Constraints: 47670
2140.00/2146.25 c #Conflicts: 1219000 | #Constraints: 48670
2140.00/2146.25 c #Conflicts: 1220000 | #Constraints: 49670
2140.00/2146.25 c #Conflicts: 1221000 | #Constraints: 50670
2140.00/2146.25 c #Conflicts: 1222000 | #Constraints: 51670
2140.00/2146.25 c #Conflicts: 1223000 | #Constraints: 52670
2140.00/2146.25 c #Conflicts: 1224000 | #Constraints: 53670
2140.00/2146.25 c #Conflicts: 1225000 | #Constraints: 54670
2140.00/2146.25 c #Conflicts: 1226000 | #Constraints: 55670
2140.00/2146.25 c #Conflicts: 1227000 | #Constraints: 56670
2140.00/2146.25 c #Conflicts: 1228000 | #Constraints: 57670
2140.00/2146.25 c INPROCESSING
2140.00/2146.25 c GARBAGE COLLECT
2140.00/2146.25 c #Conflicts: 1229000 | #Constraints: 33348
2140.00/2146.25 c #Conflicts: 1230000 | #Constraints: 34348
2140.00/2146.25 c #Conflicts: 1231000 | #Constraints: 35348
2140.00/2146.25 c #Conflicts: 1232000 | #Constraints: 36348
2140.00/2146.25 c #Conflicts: 1233000 | #Constraints: 37348
2140.00/2146.25 c #Conflicts: 1234000 | #Constraints: 38348
2140.00/2146.25 c #Conflicts: 1235000 | #Constraints: 39348
2140.00/2146.25 c #Conflicts: 1236000 | #Constraints: 40348
2140.00/2146.25 c #Conflicts: 1237000 | #Constraints: 41348
2140.00/2146.25 c #Conflicts: 1238000 | #Constraints: 42348
2140.00/2146.25 c #Conflicts: 1239000 | #Constraints: 43348
2140.00/2146.25 c #Conflicts: 1240000 | #Constraints: 44348
2140.00/2146.25 c #Conflicts: 1241000 | #Constraints: 45348
2140.00/2146.25 c #Conflicts: 1242000 | #Constraints: 46348
2140.00/2146.25 c #Conflicts: 1243000 | #Constraints: 47348
2140.00/2146.25 c #Conflicts: 1244000 | #Constraints: 48348
2140.00/2146.25 c #Conflicts: 1245000 | #Constraints: 49348
2140.00/2146.25 c #Conflicts: 1246000 | #Constraints: 50348
2140.00/2146.25 c #Conflicts: 1247000 | #Constraints: 51348
2140.00/2146.25 c #Conflicts: 1248000 | #Constraints: 52348
2140.00/2146.25 c #Conflicts: 1249000 | #Constraints: 53348
2140.00/2146.25 c #Conflicts: 1250000 | #Constraints: 54348
2140.00/2146.25 c #Conflicts: 1251000 | #Constraints: 55348
2140.00/2146.25 c #Conflicts: 1252000 | #Constraints: 56348
2140.00/2146.25 c #Conflicts: 1253000 | #Constraints: 57348
2140.00/2146.25 c #Conflicts: 1254000 | #Constraints: 58348
2140.00/2146.25 c #Conflicts: 1255000 | #Constraints: 59348
2140.00/2146.25 c #Conflicts: 1256000 | #Constraints: 60348
2140.00/2146.25 c #Conflicts: 1257000 | #Constraints: 61348
2140.00/2146.25 c #Conflicts: 1258000 | #Constraints: 62348
2140.00/2146.25 c #Conflicts: 1259000 | #Constraints: 63348
2140.00/2146.25 c #Conflicts: 1260000 | #Constraints: 64348
2140.00/2146.25 c #Conflicts: 1261000 | #Constraints: 65348
2140.00/2146.25 c #Conflicts: 1262000 | #Constraints: 66348
2140.00/2146.25 c #Conflicts: 1263000 | #Constraints: 67348
2140.00/2146.25 c #Conflicts: 1264000 | #Constraints: 68348
2140.00/2146.25 c #Conflicts: 1265000 | #Constraints: 69348
2140.00/2146.25 c #Conflicts: 1266000 | #Constraints: 70349
2140.00/2146.25 c #Conflicts: 1267000 | #Constraints: 71349
2140.00/2146.25 c #Conflicts: 1268000 | #Constraints: 72349
2140.00/2146.25 c #Conflicts: 1269000 | #Constraints: 73349
2140.00/2146.25 c #Conflicts: 1270000 | #Constraints: 74349
2140.00/2146.25 c #Conflicts: 1271000 | #Constraints: 75349
2140.00/2146.25 c #Conflicts: 1272000 | #Constraints: 76349
2140.00/2146.25 c #Conflicts: 1273000 | #Constraints: 77349
2140.00/2146.25 c #Conflicts: 1274000 | #Constraints: 78349
2140.00/2146.25 c #Conflicts: 1275000 | #Constraints: 79349
2140.00/2146.25 c #Conflicts: 1276000 | #Constraints: 80349
2140.00/2146.25 c #Conflicts: 1277000 | #Constraints: 81349
2140.00/2146.25 c #Conflicts: 1278000 | #Constraints: 82349
2140.00/2146.25 c #Conflicts: 1279000 | #Constraints: 83349
2140.00/2146.25 c #Conflicts: 1280000 | #Constraints: 84349
2140.00/2146.25 c #Conflicts: 1281000 | #Constraints: 85349
2140.00/2146.25 c #Conflicts: 1282000 | #Constraints: 86349
2140.00/2146.25 c #Conflicts: 1283000 | #Constraints: 87349
2140.00/2146.25 c #Conflicts: 1284000 | #Constraints: 88349
2140.00/2146.25 c #Conflicts: 1285000 | #Constraints: 89349
2140.00/2146.25 c #Conflicts: 1286000 | #Constraints: 90349
2363.97/2370.79 c #Conflicts: 1287000 | #Constraints: 91349
2363.97/2370.79 c #Conflicts: 1288000 | #Constraints: 92349
2363.97/2370.79 c #Conflicts: 1289000 | #Constraints: 93349
2363.97/2370.79 c #Conflicts: 1290000 | #Constraints: 94349
2363.97/2370.79 c #Conflicts: 1291000 | #Constraints: 95349
2363.97/2370.79 c #Conflicts: 1292000 | #Constraints: 96349
2363.97/2370.79 c #Conflicts: 1293000 | #Constraints: 97349
2363.97/2370.79 c #Conflicts: 1294000 | #Constraints: 98349
2363.97/2370.79 c #Conflicts: 1295000 | #Constraints: 99349
2363.97/2370.79 c #Conflicts: 1296000 | #Constraints: 100349
2363.97/2370.79 c #Conflicts: 1297000 | #Constraints: 101349
2363.97/2370.79 c #Conflicts: 1298000 | #Constraints: 102349
2363.97/2370.79 c #Conflicts: 1299000 | #Constraints: 103349
2363.97/2370.79 c #Conflicts: 1300000 | #Constraints: 104349
2363.97/2370.79 c #Conflicts: 1301000 | #Constraints: 105349
2363.97/2370.79 c #Conflicts: 1302000 | #Constraints: 106349
2363.97/2370.79 c #Conflicts: 1303000 | #Constraints: 107349
2363.97/2370.79 c #Conflicts: 1304000 | #Constraints: 108349
2363.97/2370.79 c #Conflicts: 1305000 | #Constraints: 109349
2363.97/2370.79 c #Conflicts: 1306000 | #Constraints: 110349
2363.97/2370.79 c #Conflicts: 1307000 | #Constraints: 111349
2363.97/2370.79 c #Conflicts: 1308000 | #Constraints: 112349
2363.97/2370.79 c #Conflicts: 1309000 | #Constraints: 113349
2363.97/2370.79 c #Conflicts: 1310000 | #Constraints: 114349
2363.97/2370.79 c #Conflicts: 1311000 | #Constraints: 115349
2363.97/2370.79 c #Conflicts: 1312000 | #Constraints: 116349
2363.97/2370.79 c #Conflicts: 1313000 | #Constraints: 117349
2363.97/2370.79 c #Conflicts: 1314000 | #Constraints: 118349
2363.97/2370.79 c #Conflicts: 1315000 | #Constraints: 119349
2363.97/2370.79 c #Conflicts: 1316000 | #Constraints: 120349
2363.97/2370.79 c INPROCESSING
2363.97/2370.79 c GARBAGE COLLECT
2363.97/2370.79 c #Conflicts: 1317000 | #Constraints: 64806
2363.97/2370.79 c #Conflicts: 1318000 | #Constraints: 65806
2363.97/2370.79 c #Conflicts: 1319000 | #Constraints: 66806
2363.97/2370.79 c #Conflicts: 1320000 | #Constraints: 67806
2363.97/2370.79 c #Conflicts: 1321000 | #Constraints: 68806
2363.97/2370.79 c #Conflicts: 1322000 | #Constraints: 69806
2363.97/2370.79 c #Conflicts: 1323000 | #Constraints: 70806
2363.97/2370.79 c #Conflicts: 1324000 | #Constraints: 71806
2363.97/2370.79 c #Conflicts: 1325000 | #Constraints: 72806
2363.97/2370.79 c #Conflicts: 1326000 | #Constraints: 73806
2363.97/2370.79 c #Conflicts: 1327000 | #Constraints: 74806
2363.97/2370.79 c #Conflicts: 1328000 | #Constraints: 75806
2363.97/2370.79 c #Conflicts: 1329000 | #Constraints: 76806
2363.97/2370.79 c #Conflicts: 1330000 | #Constraints: 77806
2363.97/2370.79 c #Conflicts: 1331000 | #Constraints: 78806
2363.97/2370.79 c #Conflicts: 1332000 | #Constraints: 79806
2363.97/2370.79 c #Conflicts: 1333000 | #Constraints: 80806
2363.97/2370.79 c #Conflicts: 1334000 | #Constraints: 81806
2363.97/2370.79 c #Conflicts: 1335000 | #Constraints: 82806
2363.97/2370.79 c #Conflicts: 1336000 | #Constraints: 83806
2363.97/2370.79 c #Conflicts: 1337000 | #Constraints: 84806
2363.97/2370.79 c #Conflicts: 1338000 | #Constraints: 85806
2363.97/2370.79 c #Conflicts: 1339000 | #Constraints: 86806
2363.97/2370.79 c #Conflicts: 1340000 | #Constraints: 87806
2363.97/2370.79 c #Conflicts: 1341000 | #Constraints: 88807
2363.97/2370.79 c INPROCESSING
2363.97/2370.79 c GARBAGE COLLECT
2363.97/2370.79 c #Conflicts: 1342000 | #Constraints: 48664
2363.97/2370.79 c #Conflicts: 1343000 | #Constraints: 49664
2363.97/2370.79 c #Conflicts: 1344000 | #Constraints: 50664
2363.97/2370.79 c #Conflicts: 1345000 | #Constraints: 51664
2363.97/2370.79 c #Conflicts: 1346000 | #Constraints: 52664
2363.97/2370.79 c #Conflicts: 1347000 | #Constraints: 53664
2363.97/2370.79 c #Conflicts: 1348000 | #Constraints: 54664
2363.97/2370.79 c #Conflicts: 1349000 | #Constraints: 55664
2363.97/2370.79 c #Conflicts: 1350000 | #Constraints: 56664
2363.97/2370.79 c #Conflicts: 1351000 | #Constraints: 57664
2363.97/2370.79 c #Conflicts: 1352000 | #Constraints: 58664
2363.97/2370.79 c #Conflicts: 1353000 | #Constraints: 59664
2363.97/2370.79 c #Conflicts: 1354000 | #Constraints: 60664
2363.97/2370.79 c #Conflicts: 1355000 | #Constraints: 61664
2363.97/2370.79 c #Conflicts: 1356000 | #Constraints: 62664
2363.97/2370.79 c #Conflicts: 1357000 | #Constraints: 63664
2363.97/2370.79 c #Conflicts: 1358000 | #Constraints: 64664
2363.97/2370.79 c #Conflicts: 1359000 | #Constraints: 65664
2363.97/2370.79 c #Conflicts: 1360000 | #Constraints: 66664
2363.97/2370.79 c #Conflicts: 1361000 | #Constraints: 67664
2363.97/2370.79 c #Conflicts: 1362000 | #Constraints: 68664
2363.97/2370.79 c #Conflicts: 1363000 | #Constraints: 69664
2363.97/2370.79 c #Conflicts: 1364000 | #Constraints: 70664
2430.81/2437.70 c #Conflicts: 1365000 | #Constraints: 71664
2430.81/2437.70 c #Conflicts: 1366000 | #Constraints: 72664
2430.81/2437.70 c #Conflicts: 1367000 | #Constraints: 73664
2430.81/2437.70 c #Conflicts: 1368000 | #Constraints: 74664
2430.81/2437.70 c INPROCESSING
2430.81/2437.70 c GARBAGE COLLECT
2430.81/2437.70 c #Conflicts: 1369000 | #Constraints: 41971
2430.81/2437.70 c #Conflicts: 1370000 | #Constraints: 42971
2430.81/2437.70 c #Conflicts: 1371000 | #Constraints: 43971
2430.81/2437.70 c #Conflicts: 1372000 | #Constraints: 44971
2430.81/2437.70 c #Conflicts: 1373000 | #Constraints: 45971
2430.81/2437.70 c #Conflicts: 1374000 | #Constraints: 46971
2430.81/2437.70 c #Conflicts: 1375000 | #Constraints: 47971
2430.81/2437.70 c #Conflicts: 1376000 | #Constraints: 48971
2430.81/2437.70 c #Conflicts: 1377000 | #Constraints: 49971
2430.81/2437.70 c #Conflicts: 1378000 | #Constraints: 50971
2430.81/2437.70 c #Conflicts: 1379000 | #Constraints: 51971
2430.81/2437.70 c #Conflicts: 1380000 | #Constraints: 52971
2430.81/2437.70 c #Conflicts: 1381000 | #Constraints: 53971
2430.81/2437.70 c #Conflicts: 1382000 | #Constraints: 54971
2430.81/2437.70 c #Conflicts: 1383000 | #Constraints: 55971
2430.81/2437.70 c #Conflicts: 1384000 | #Constraints: 56971
2430.81/2437.70 c #Conflicts: 1385000 | #Constraints: 57971
2430.81/2437.70 c #Conflicts: 1386000 | #Constraints: 58971
2430.81/2437.70 c #Conflicts: 1387000 | #Constraints: 59971
2430.81/2437.70 c #Conflicts: 1388000 | #Constraints: 60971
2430.81/2437.70 c #Conflicts: 1389000 | #Constraints: 61971
2430.81/2437.70 c #Conflicts: 1390000 | #Constraints: 62971
2430.81/2437.70 c #Conflicts: 1391000 | #Constraints: 63971
2430.81/2437.70 c #Conflicts: 1392000 | #Constraints: 64971
2430.81/2437.70 c #Conflicts: 1393000 | #Constraints: 65971
2430.81/2437.70 c #Conflicts: 1394000 | #Constraints: 66971
2430.81/2437.70 c INPROCESSING
2430.81/2437.70 c GARBAGE COLLECT
2430.81/2437.70 c rational objective 98.1966
2539.74/2546.95 c #Conflicts: 1395000 | #Constraints: 38010
2539.74/2546.95 c #Conflicts: 1396000 | #Constraints: 39010
2539.74/2546.95 c #Conflicts: 1397000 | #Constraints: 40010
2539.74/2546.95 c #Conflicts: 1398000 | #Constraints: 41010
2539.74/2546.95 c #Conflicts: 1399000 | #Constraints: 42010
2539.74/2546.95 c #Conflicts: 1400000 | #Constraints: 43010
2539.74/2546.95 c #Conflicts: 1401000 | #Constraints: 44010
2539.74/2546.95 c #Conflicts: 1402000 | #Constraints: 45010
2539.74/2546.95 c #Conflicts: 1403000 | #Constraints: 46010
2539.74/2546.95 c #Conflicts: 1404000 | #Constraints: 47010
2539.74/2546.95 c #Conflicts: 1405000 | #Constraints: 48010
2539.74/2546.95 c #Conflicts: 1406000 | #Constraints: 49010
2539.74/2546.95 c #Conflicts: 1407000 | #Constraints: 50010
2539.74/2546.95 c #Conflicts: 1408000 | #Constraints: 51010
2539.74/2546.95 c #Conflicts: 1409000 | #Constraints: 52010
2539.74/2546.95 c #Conflicts: 1410000 | #Constraints: 53010
2539.74/2546.95 c #Conflicts: 1411000 | #Constraints: 54010
2539.74/2546.95 c #Conflicts: 1412000 | #Constraints: 55010
2539.74/2546.95 c #Conflicts: 1413000 | #Constraints: 56010
2539.74/2546.95 c #Conflicts: 1414000 | #Constraints: 57010
2539.74/2546.95 c #Conflicts: 1415000 | #Constraints: 58010
2539.74/2546.95 c #Conflicts: 1416000 | #Constraints: 59010
2539.74/2546.95 c #Conflicts: 1417000 | #Constraints: 60010
2539.74/2546.95 c #Conflicts: 1418000 | #Constraints: 61010
2539.74/2546.95 c #Conflicts: 1419000 | #Constraints: 62010
2539.74/2546.95 c #Conflicts: 1420000 | #Constraints: 63010
2539.74/2546.95 c INPROCESSING
2539.74/2546.95 c GARBAGE COLLECT
2539.74/2546.95 c #Conflicts: 1421000 | #Constraints: 35773
2539.74/2546.95 c #Conflicts: 1422000 | #Constraints: 36773
2539.74/2546.95 c #Conflicts: 1423000 | #Constraints: 37773
2539.74/2546.95 c #Conflicts: 1424000 | #Constraints: 38773
2539.74/2546.95 c #Conflicts: 1425000 | #Constraints: 39773
2539.74/2546.95 c #Conflicts: 1426000 | #Constraints: 40773
2539.74/2546.95 c #Conflicts: 1427000 | #Constraints: 41773
2539.74/2546.95 c #Conflicts: 1428000 | #Constraints: 42773
2539.74/2546.95 c #Conflicts: 1429000 | #Constraints: 43773
2539.74/2546.95 c #Conflicts: 1430000 | #Constraints: 44773
2539.74/2546.95 c #Conflicts: 1431000 | #Constraints: 45773
2539.74/2546.95 c #Conflicts: 1432000 | #Constraints: 46773
2539.74/2546.95 c #Conflicts: 1433000 | #Constraints: 47773
2539.74/2546.95 c #Conflicts: 1434000 | #Constraints: 48773
2539.74/2546.95 c #Conflicts: 1435000 | #Constraints: 49773
2539.74/2546.95 c #Conflicts: 1436000 | #Constraints: 50773
2539.74/2546.95 c #Conflicts: 1437000 | #Constraints: 51773
2539.74/2546.95 c #Conflicts: 1438000 | #Constraints: 52773
2539.74/2546.95 c #Conflicts: 1439000 | #Constraints: 53773
2539.74/2546.95 c #Conflicts: 1440000 | #Constraints: 54773
2539.74/2546.95 c #Conflicts: 1441000 | #Constraints: 55773
2539.74/2546.95 c #Conflicts: 1442000 | #Constraints: 56773
2539.74/2546.95 c #Conflicts: 1443000 | #Constraints: 57773
2539.74/2546.95 c #Conflicts: 1444000 | #Constraints: 58773
2539.74/2546.95 c #Conflicts: 1445000 | #Constraints: 59773
2539.74/2546.95 c #Conflicts: 1446000 | #Constraints: 60773
2539.74/2546.95 c #Conflicts: 1447000 | #Constraints: 61773
2539.74/2546.95 c INPROCESSING
2539.74/2546.95 c GARBAGE COLLECT
2539.74/2546.95 c #Conflicts: 1448000 | #Constraints: 35336
2539.74/2546.95 c #Conflicts: 1449000 | #Constraints: 36336
2539.74/2546.95 c #Conflicts: 1450000 | #Constraints: 37336
2539.74/2546.95 c #Conflicts: 1451000 | #Constraints: 38336
2539.74/2546.95 c #Conflicts: 1452000 | #Constraints: 39336
2539.74/2546.95 c #Conflicts: 1453000 | #Constraints: 40336
2539.74/2546.95 c #Conflicts: 1454000 | #Constraints: 41336
2539.74/2546.95 c #Conflicts: 1455000 | #Constraints: 42336
2539.74/2546.95 c #Conflicts: 1456000 | #Constraints: 43336
2539.74/2546.95 c #Conflicts: 1457000 | #Constraints: 44336
2539.74/2546.95 c #Conflicts: 1458000 | #Constraints: 45336
2539.74/2546.95 c #Conflicts: 1459000 | #Constraints: 46336
2539.74/2546.95 c #Conflicts: 1460000 | #Constraints: 47336
2539.74/2546.95 c #Conflicts: 1461000 | #Constraints: 48336
2539.74/2546.95 c #Conflicts: 1462000 | #Constraints: 49336
2539.74/2546.95 c #Conflicts: 1463000 | #Constraints: 50336
2539.74/2546.95 c #Conflicts: 1464000 | #Constraints: 51336
2539.74/2546.95 c #Conflicts: 1465000 | #Constraints: 52336
2539.74/2546.95 c #Conflicts: 1466000 | #Constraints: 53336
2539.74/2546.95 c #Conflicts: 1467000 | #Constraints: 54336
2539.74/2546.95 c #Conflicts: 1468000 | #Constraints: 55336
2539.74/2546.95 c #Conflicts: 1469000 | #Constraints: 56336
2539.74/2546.95 c #Conflicts: 1470000 | #Constraints: 57336
2539.74/2546.95 c #Conflicts: 1471000 | #Constraints: 58336
2539.74/2546.95 c #Conflicts: 1472000 | #Constraints: 59336
2811.38/2819.20 c #Conflicts: 1473000 | #Constraints: 60336
2811.38/2819.20 c #Conflicts: 1474000 | #Constraints: 61336
2811.38/2819.20 c #Conflicts: 1475000 | #Constraints: 62336
2811.38/2819.20 c #Conflicts: 1476000 | #Constraints: 63336
2811.38/2819.20 c #Conflicts: 1477000 | #Constraints: 64336
2811.38/2819.20 c #Conflicts: 1478000 | #Constraints: 65336
2811.38/2819.20 c #Conflicts: 1479000 | #Constraints: 66336
2811.38/2819.20 c #Conflicts: 1480000 | #Constraints: 67336
2811.38/2819.20 c #Conflicts: 1481000 | #Constraints: 68336
2811.38/2819.20 c #Conflicts: 1482000 | #Constraints: 69336
2811.38/2819.20 c #Conflicts: 1483000 | #Constraints: 70336
2811.38/2819.20 c #Conflicts: 1484000 | #Constraints: 71336
2811.38/2819.20 c #Conflicts: 1485000 | #Constraints: 72336
2811.38/2819.20 c #Conflicts: 1486000 | #Constraints: 73336
2811.38/2819.20 c #Conflicts: 1487000 | #Constraints: 74336
2811.38/2819.20 c #Conflicts: 1488000 | #Constraints: 75336
2811.38/2819.20 c #Conflicts: 1489000 | #Constraints: 76336
2811.38/2819.20 c #Conflicts: 1490000 | #Constraints: 77336
2811.38/2819.20 c #Conflicts: 1491000 | #Constraints: 78336
2811.38/2819.20 c #Conflicts: 1492000 | #Constraints: 79336
2811.38/2819.20 c #Conflicts: 1493000 | #Constraints: 80336
2811.38/2819.20 c #Conflicts: 1494000 | #Constraints: 81336
2811.38/2819.20 c #Conflicts: 1495000 | #Constraints: 82336
2811.38/2819.20 c #Conflicts: 1496000 | #Constraints: 83336
2811.38/2819.20 c #Conflicts: 1497000 | #Constraints: 84336
2811.38/2819.20 c #Conflicts: 1498000 | #Constraints: 85336
2811.38/2819.20 c #Conflicts: 1499000 | #Constraints: 86336
2811.38/2819.20 c #Conflicts: 1500000 | #Constraints: 87336
2811.38/2819.20 c #Conflicts: 1501000 | #Constraints: 88336
2811.38/2819.20 c #Conflicts: 1502000 | #Constraints: 89336
2811.38/2819.20 c #Conflicts: 1503000 | #Constraints: 90336
2811.38/2819.20 c #Conflicts: 1504000 | #Constraints: 91336
2811.38/2819.20 c #Conflicts: 1505000 | #Constraints: 92336
2811.38/2819.20 c #Conflicts: 1506000 | #Constraints: 93336
2811.38/2819.20 c #Conflicts: 1507000 | #Constraints: 94336
2811.38/2819.20 c #Conflicts: 1508000 | #Constraints: 95336
2811.38/2819.20 c #Conflicts: 1509000 | #Constraints: 96336
2811.38/2819.20 c #Conflicts: 1510000 | #Constraints: 97336
2811.38/2819.20 c #Conflicts: 1511000 | #Constraints: 98336
2811.38/2819.20 c #Conflicts: 1512000 | #Constraints: 99336
2811.38/2819.20 c #Conflicts: 1513000 | #Constraints: 100336
2811.38/2819.20 c #Conflicts: 1514000 | #Constraints: 101336
2811.38/2819.20 c #Conflicts: 1515000 | #Constraints: 102336
2811.38/2819.20 c #Conflicts: 1516000 | #Constraints: 103336
2811.38/2819.20 c #Conflicts: 1517000 | #Constraints: 104336
2811.38/2819.20 c #Conflicts: 1518000 | #Constraints: 105336
2811.38/2819.20 c #Conflicts: 1519000 | #Constraints: 106336
2811.38/2819.20 c #Conflicts: 1520000 | #Constraints: 107336
2811.38/2819.20 c #Conflicts: 1521000 | #Constraints: 108336
2811.38/2819.20 c #Conflicts: 1522000 | #Constraints: 109336
2811.38/2819.20 c #Conflicts: 1523000 | #Constraints: 110336
2811.38/2819.20 c #Conflicts: 1524000 | #Constraints: 111336
2811.38/2819.20 c #Conflicts: 1525000 | #Constraints: 112336
2811.38/2819.20 c #Conflicts: 1526000 | #Constraints: 113336
2811.38/2819.20 c #Conflicts: 1527000 | #Constraints: 114336
2811.38/2819.20 c #Conflicts: 1528000 | #Constraints: 115336
2811.38/2819.20 c #Conflicts: 1529000 | #Constraints: 116336
2811.38/2819.20 c #Conflicts: 1530000 | #Constraints: 117336
2811.38/2819.20 c #Conflicts: 1531000 | #Constraints: 118336
2811.38/2819.20 c #Conflicts: 1532000 | #Constraints: 119336
2811.38/2819.20 c #Conflicts: 1533000 | #Constraints: 120336
2811.38/2819.20 c #Conflicts: 1534000 | #Constraints: 121336
2811.38/2819.20 c #Conflicts: 1535000 | #Constraints: 122336
2811.38/2819.20 c #Conflicts: 1536000 | #Constraints: 123336
2811.38/2819.20 c #Conflicts: 1537000 | #Constraints: 124336
2811.38/2819.20 c #Conflicts: 1538000 | #Constraints: 125336
2811.38/2819.20 c #Conflicts: 1539000 | #Constraints: 126336
2811.38/2819.20 c #Conflicts: 1540000 | #Constraints: 127336
2811.38/2819.20 c #Conflicts: 1541000 | #Constraints: 128336
2811.38/2819.20 c #Conflicts: 1542000 | #Constraints: 129336
2811.38/2819.20 c INPROCESSING
2811.38/2819.20 c GARBAGE COLLECT
2811.38/2819.20 c #Conflicts: 1543000 | #Constraints: 69017
2811.38/2819.20 c #Conflicts: 1544000 | #Constraints: 70017
2811.38/2819.20 c #Conflicts: 1545000 | #Constraints: 71017
2811.38/2819.20 c #Conflicts: 1546000 | #Constraints: 72017
2811.38/2819.20 c #Conflicts: 1547000 | #Constraints: 73017
2811.38/2819.20 c #Conflicts: 1548000 | #Constraints: 74017
2811.38/2819.20 c #Conflicts: 1549000 | #Constraints: 75017
2811.38/2819.20 c #Conflicts: 1550000 | #Constraints: 76017
2986.95/2995.22 c #Conflicts: 1551000 | #Constraints: 77017
2986.95/2995.22 c #Conflicts: 1552000 | #Constraints: 78017
2986.95/2995.22 c #Conflicts: 1553000 | #Constraints: 79017
2986.95/2995.22 c #Conflicts: 1554000 | #Constraints: 80017
2986.95/2995.22 c #Conflicts: 1555000 | #Constraints: 81017
2986.95/2995.22 c #Conflicts: 1556000 | #Constraints: 82017
2986.95/2995.22 c #Conflicts: 1557000 | #Constraints: 83017
2986.95/2995.22 c #Conflicts: 1558000 | #Constraints: 84017
2986.95/2995.22 c #Conflicts: 1559000 | #Constraints: 85017
2986.95/2995.22 c #Conflicts: 1560000 | #Constraints: 86017
2986.95/2995.22 c #Conflicts: 1561000 | #Constraints: 87017
2986.95/2995.22 c #Conflicts: 1562000 | #Constraints: 88017
2986.95/2995.22 c #Conflicts: 1563000 | #Constraints: 89017
2986.95/2995.22 c #Conflicts: 1564000 | #Constraints: 90017
2986.95/2995.22 c #Conflicts: 1565000 | #Constraints: 91017
2986.95/2995.22 c #Conflicts: 1566000 | #Constraints: 92017
2986.95/2995.22 c #Conflicts: 1567000 | #Constraints: 93017
2986.95/2995.22 c #Conflicts: 1568000 | #Constraints: 94017
2986.95/2995.22 c #Conflicts: 1569000 | #Constraints: 95017
2986.95/2995.22 c #Conflicts: 1570000 | #Constraints: 96017
2986.95/2995.22 c INPROCESSING
2986.95/2995.22 c GARBAGE COLLECT
2986.95/2995.22 c #Conflicts: 1571000 | #Constraints: 52355
2986.95/2995.22 c #Conflicts: 1572000 | #Constraints: 53355
2986.95/2995.22 c #Conflicts: 1573000 | #Constraints: 54355
2986.95/2995.22 c #Conflicts: 1574000 | #Constraints: 55355
2986.95/2995.22 c #Conflicts: 1575000 | #Constraints: 56355
2986.95/2995.22 c #Conflicts: 1576000 | #Constraints: 57355
2986.95/2995.22 c #Conflicts: 1577000 | #Constraints: 58355
2986.95/2995.22 c #Conflicts: 1578000 | #Constraints: 59355
2986.95/2995.22 c #Conflicts: 1579000 | #Constraints: 60355
2986.95/2995.22 c #Conflicts: 1580000 | #Constraints: 61355
2986.95/2995.22 c #Conflicts: 1581000 | #Constraints: 62355
2986.95/2995.22 c #Conflicts: 1582000 | #Constraints: 63355
2986.95/2995.22 c #Conflicts: 1583000 | #Constraints: 64355
2986.95/2995.22 c #Conflicts: 1584000 | #Constraints: 65355
2986.95/2995.22 c #Conflicts: 1585000 | #Constraints: 66355
2986.95/2995.22 c #Conflicts: 1586000 | #Constraints: 67355
2986.95/2995.22 c #Conflicts: 1587000 | #Constraints: 68355
2986.95/2995.22 c #Conflicts: 1588000 | #Constraints: 69355
2986.95/2995.22 c #Conflicts: 1589000 | #Constraints: 70355
2986.95/2995.22 c #Conflicts: 1590000 | #Constraints: 71355
2986.95/2995.22 c #Conflicts: 1591000 | #Constraints: 72355
2986.95/2995.22 c #Conflicts: 1592000 | #Constraints: 73355
2986.95/2995.22 c #Conflicts: 1593000 | #Constraints: 74355
2986.95/2995.22 c #Conflicts: 1594000 | #Constraints: 75355
2986.95/2995.22 c #Conflicts: 1595000 | #Constraints: 76355
2986.95/2995.22 c #Conflicts: 1596000 | #Constraints: 77355
2986.95/2995.22 c #Conflicts: 1597000 | #Constraints: 78355
2986.95/2995.22 c #Conflicts: 1598000 | #Constraints: 79355
2986.95/2995.22 c #Conflicts: 1599000 | #Constraints: 80355
2986.95/2995.22 c INPROCESSING
2986.95/2995.22 c GARBAGE COLLECT
2986.95/2995.22 c #Conflicts: 1600000 | #Constraints: 44838
2986.95/2995.22 c #Conflicts: 1601000 | #Constraints: 45838
2986.95/2995.22 c #Conflicts: 1602000 | #Constraints: 46838
2986.95/2995.22 c #Conflicts: 1603000 | #Constraints: 47838
2986.95/2995.22 c #Conflicts: 1604000 | #Constraints: 48838
2986.95/2995.22 c #Conflicts: 1605000 | #Constraints: 49838
2986.95/2995.22 c #Conflicts: 1606000 | #Constraints: 50838
2986.95/2995.22 c #Conflicts: 1607000 | #Constraints: 51838
2986.95/2995.22 c #Conflicts: 1608000 | #Constraints: 52838
2986.95/2995.22 c #Conflicts: 1609000 | #Constraints: 53838
2986.95/2995.22 c #Conflicts: 1610000 | #Constraints: 54838
2986.95/2995.22 c #Conflicts: 1611000 | #Constraints: 55838
2986.95/2995.22 c #Conflicts: 1612000 | #Constraints: 56838
2986.95/2995.22 c #Conflicts: 1613000 | #Constraints: 57838
2986.95/2995.22 c #Conflicts: 1614000 | #Constraints: 58838
2986.95/2995.22 c #Conflicts: 1615000 | #Constraints: 59838
2986.95/2995.22 c #Conflicts: 1616000 | #Constraints: 60838
2986.95/2995.22 c #Conflicts: 1617000 | #Constraints: 61838
2986.95/2995.22 c #Conflicts: 1618000 | #Constraints: 62838
2986.95/2995.22 c #Conflicts: 1619000 | #Constraints: 63838
2986.95/2995.22 c #Conflicts: 1620000 | #Constraints: 64838
2986.95/2995.22 c #Conflicts: 1621000 | #Constraints: 65838
2986.95/2995.22 c #Conflicts: 1622000 | #Constraints: 66838
2986.95/2995.22 c #Conflicts: 1623000 | #Constraints: 67838
2986.95/2995.22 c #Conflicts: 1624000 | #Constraints: 68838
2986.95/2995.22 c #Conflicts: 1625000 | #Constraints: 69838
2986.95/2995.22 c #Conflicts: 1626000 | #Constraints: 70838
2986.95/2995.22 c #Conflicts: 1627000 | #Constraints: 71838
2986.95/2995.22 c INPROCESSING
3050.19/3058.65 c GARBAGE COLLECT
3050.19/3058.65 c #Conflicts: 1628000 | #Constraints: 40435
3050.19/3058.65 c #Conflicts: 1629000 | #Constraints: 41435
3050.19/3058.65 c #Conflicts: 1630000 | #Constraints: 42435
3050.19/3058.65 c #Conflicts: 1631000 | #Constraints: 43435
3050.19/3058.65 c #Conflicts: 1632000 | #Constraints: 44435
3050.19/3058.65 c #Conflicts: 1633000 | #Constraints: 45435
3050.19/3058.65 c #Conflicts: 1634000 | #Constraints: 46435
3050.19/3058.65 c #Conflicts: 1635000 | #Constraints: 47435
3050.19/3058.65 c #Conflicts: 1636000 | #Constraints: 48435
3050.19/3058.65 c #Conflicts: 1637000 | #Constraints: 49435
3050.19/3058.65 c #Conflicts: 1638000 | #Constraints: 50435
3050.19/3058.65 c #Conflicts: 1639000 | #Constraints: 51435
3050.19/3058.65 c #Conflicts: 1640000 | #Constraints: 52435
3050.19/3058.65 c #Conflicts: 1641000 | #Constraints: 53435
3050.19/3058.65 c #Conflicts: 1642000 | #Constraints: 54435
3050.19/3058.65 c #Conflicts: 1643000 | #Constraints: 55435
3050.19/3058.65 c #Conflicts: 1644000 | #Constraints: 56435
3050.19/3058.65 c #Conflicts: 1645000 | #Constraints: 57435
3050.19/3058.65 c #Conflicts: 1646000 | #Constraints: 58435
3050.19/3058.65 c #Conflicts: 1647000 | #Constraints: 59435
3050.19/3058.65 c #Conflicts: 1648000 | #Constraints: 60435
3050.19/3058.65 c #Conflicts: 1649000 | #Constraints: 61435
3050.19/3058.65 c #Conflicts: 1650000 | #Constraints: 62435
3050.19/3058.65 c #Conflicts: 1651000 | #Constraints: 63435
3050.19/3058.65 c #Conflicts: 1652000 | #Constraints: 64435
3050.19/3058.65 c #Conflicts: 1653000 | #Constraints: 65435
3050.19/3058.65 c #Conflicts: 1654000 | #Constraints: 66435
3050.19/3058.65 c #Conflicts: 1655000 | #Constraints: 67435
3050.19/3058.65 c #Conflicts: 1656000 | #Constraints: 68435
3050.19/3058.65 c INPROCESSING
3050.19/3058.65 c GARBAGE COLLECT
3050.19/3058.65 c rational objective 98.2444
3184.06/3192.86 c #Conflicts: 1657000 | #Constraints: 38915
3184.06/3192.86 c #Conflicts: 1658000 | #Constraints: 39915
3184.06/3192.86 c #Conflicts: 1659000 | #Constraints: 40915
3184.06/3192.86 c #Conflicts: 1660000 | #Constraints: 41915
3184.06/3192.86 c #Conflicts: 1661000 | #Constraints: 42915
3184.06/3192.86 c #Conflicts: 1662000 | #Constraints: 43915
3184.06/3192.86 c #Conflicts: 1663000 | #Constraints: 44915
3184.06/3192.86 c #Conflicts: 1664000 | #Constraints: 45915
3184.06/3192.86 c #Conflicts: 1665000 | #Constraints: 46915
3184.06/3192.86 c #Conflicts: 1666000 | #Constraints: 47915
3184.06/3192.86 c #Conflicts: 1667000 | #Constraints: 48915
3184.06/3192.86 c #Conflicts: 1668000 | #Constraints: 49915
3184.06/3192.86 c #Conflicts: 1669000 | #Constraints: 50915
3184.06/3192.86 c #Conflicts: 1670000 | #Constraints: 51915
3184.06/3192.86 c #Conflicts: 1671000 | #Constraints: 52915
3184.06/3192.86 c #Conflicts: 1672000 | #Constraints: 53915
3184.06/3192.86 c #Conflicts: 1673000 | #Constraints: 54915
3184.06/3192.86 c #Conflicts: 1674000 | #Constraints: 55915
3184.06/3192.86 c #Conflicts: 1675000 | #Constraints: 56915
3184.06/3192.86 c #Conflicts: 1676000 | #Constraints: 57915
3184.06/3192.86 c #Conflicts: 1677000 | #Constraints: 58915
3184.06/3192.86 c #Conflicts: 1678000 | #Constraints: 59915
3184.06/3192.86 c #Conflicts: 1679000 | #Constraints: 60915
3184.06/3192.86 c #Conflicts: 1680000 | #Constraints: 61915
3184.06/3192.86 c #Conflicts: 1681000 | #Constraints: 62915
3184.06/3192.86 c #Conflicts: 1682000 | #Constraints: 63915
3184.06/3192.86 c #Conflicts: 1683000 | #Constraints: 64915
3184.06/3192.86 c #Conflicts: 1684000 | #Constraints: 65915
3184.06/3192.86 c INPROCESSING
3184.06/3192.86 c GARBAGE COLLECT
3184.06/3192.86 c #Conflicts: 1685000 | #Constraints: 37327
3184.06/3192.86 c #Conflicts: 1686000 | #Constraints: 38327
3184.06/3192.86 c #Conflicts: 1687000 | #Constraints: 39327
3184.06/3192.86 c #Conflicts: 1688000 | #Constraints: 40327
3184.06/3192.86 c #Conflicts: 1689000 | #Constraints: 41327
3184.06/3192.86 c #Conflicts: 1690000 | #Constraints: 42327
3184.06/3192.86 c #Conflicts: 1691000 | #Constraints: 43327
3184.06/3192.86 c #Conflicts: 1692000 | #Constraints: 44327
3184.06/3192.86 c #Conflicts: 1693000 | #Constraints: 45327
3184.06/3192.86 c #Conflicts: 1694000 | #Constraints: 46327
3184.06/3192.86 c #Conflicts: 1695000 | #Constraints: 47327
3184.06/3192.86 c #Conflicts: 1696000 | #Constraints: 48327
3184.06/3192.86 c #Conflicts: 1697000 | #Constraints: 49327
3184.06/3192.86 c #Conflicts: 1698000 | #Constraints: 50327
3184.06/3192.86 c #Conflicts: 1699000 | #Constraints: 51327
3184.06/3192.86 c #Conflicts: 1700000 | #Constraints: 52327
3184.06/3192.86 c #Conflicts: 1701000 | #Constraints: 53327
3184.06/3192.86 c #Conflicts: 1702000 | #Constraints: 54327
3184.06/3192.86 c #Conflicts: 1703000 | #Constraints: 55327
3184.06/3192.86 c #Conflicts: 1704000 | #Constraints: 56327
3184.06/3192.86 c #Conflicts: 1705000 | #Constraints: 57327
3184.06/3192.86 c #Conflicts: 1706000 | #Constraints: 58327
3184.06/3192.86 c #Conflicts: 1707000 | #Constraints: 59327
3184.06/3192.86 c #Conflicts: 1708000 | #Constraints: 60327
3184.06/3192.86 c #Conflicts: 1709000 | #Constraints: 61327
3184.06/3192.86 c #Conflicts: 1710000 | #Constraints: 62327
3184.06/3192.86 c #Conflicts: 1711000 | #Constraints: 63327
3184.06/3192.86 c #Conflicts: 1712000 | #Constraints: 64327
3184.06/3192.86 c #Conflicts: 1713000 | #Constraints: 65327
3184.06/3192.86 c #Conflicts: 1714000 | #Constraints: 66327
3184.06/3192.86 c #Conflicts: 1715000 | #Constraints: 67327
3184.06/3192.86 c #Conflicts: 1716000 | #Constraints: 68327
3184.06/3192.86 c #Conflicts: 1717000 | #Constraints: 69327
3184.06/3192.86 c #Conflicts: 1718000 | #Constraints: 70327
3184.06/3192.86 c #Conflicts: 1719000 | #Constraints: 71327
3184.06/3192.86 c #Conflicts: 1720000 | #Constraints: 72327
3184.06/3192.86 c #Conflicts: 1721000 | #Constraints: 73327
3184.06/3192.86 c #Conflicts: 1722000 | #Constraints: 74327
3184.06/3192.86 c #Conflicts: 1723000 | #Constraints: 75327
3184.06/3192.86 c #Conflicts: 1724000 | #Constraints: 76327
3184.06/3192.86 c #Conflicts: 1725000 | #Constraints: 77327
3184.06/3192.86 c #Conflicts: 1726000 | #Constraints: 78327
3184.06/3192.86 c #Conflicts: 1727000 | #Constraints: 79327
3184.06/3192.86 c #Conflicts: 1728000 | #Constraints: 80327
3184.06/3192.86 c #Conflicts: 1729000 | #Constraints: 81327
3184.06/3192.86 c #Conflicts: 1730000 | #Constraints: 82327
3184.06/3192.86 c #Conflicts: 1731000 | #Constraints: 83327
3184.06/3192.86 c #Conflicts: 1732000 | #Constraints: 84327
3184.06/3192.86 c #Conflicts: 1733000 | #Constraints: 85327
3184.06/3192.86 c #Conflicts: 1734000 | #Constraints: 86327
3184.06/3192.86 c #Conflicts: 1735000 | #Constraints: 87327
3479.42/3488.94 c #Conflicts: 1736000 | #Constraints: 88327
3479.42/3488.94 c #Conflicts: 1737000 | #Constraints: 89327
3479.42/3488.94 c #Conflicts: 1738000 | #Constraints: 90327
3479.42/3488.94 c #Conflicts: 1739000 | #Constraints: 91327
3479.42/3488.94 c #Conflicts: 1740000 | #Constraints: 92327
3479.42/3488.94 c #Conflicts: 1741000 | #Constraints: 93327
3479.42/3488.94 c #Conflicts: 1742000 | #Constraints: 94327
3479.42/3488.94 c #Conflicts: 1743000 | #Constraints: 95327
3479.42/3488.94 c #Conflicts: 1744000 | #Constraints: 96327
3479.42/3488.94 c #Conflicts: 1745000 | #Constraints: 97327
3479.42/3488.94 c #Conflicts: 1746000 | #Constraints: 98327
3479.42/3488.94 c #Conflicts: 1747000 | #Constraints: 99327
3479.42/3488.94 c #Conflicts: 1748000 | #Constraints: 100327
3479.42/3488.94 c #Conflicts: 1749000 | #Constraints: 101327
3479.42/3488.94 c #Conflicts: 1750000 | #Constraints: 102327
3479.42/3488.94 c #Conflicts: 1751000 | #Constraints: 103327
3479.42/3488.94 c #Conflicts: 1752000 | #Constraints: 104327
3479.42/3488.94 c #Conflicts: 1753000 | #Constraints: 105327
3479.42/3488.94 c #Conflicts: 1754000 | #Constraints: 106327
3479.42/3488.94 c #Conflicts: 1755000 | #Constraints: 107327
3479.42/3488.94 c #Conflicts: 1756000 | #Constraints: 108327
3479.42/3488.94 c #Conflicts: 1757000 | #Constraints: 109327
3479.42/3488.94 c #Conflicts: 1758000 | #Constraints: 110327
3479.42/3488.94 c #Conflicts: 1759000 | #Constraints: 111327
3479.42/3488.94 c #Conflicts: 1760000 | #Constraints: 112327
3479.42/3488.94 c #Conflicts: 1761000 | #Constraints: 113327
3479.42/3488.94 c #Conflicts: 1762000 | #Constraints: 114327
3479.42/3488.94 c #Conflicts: 1763000 | #Constraints: 115327
3479.42/3488.94 c #Conflicts: 1764000 | #Constraints: 116327
3479.42/3488.94 c #Conflicts: 1765000 | #Constraints: 117327
3479.42/3488.94 c #Conflicts: 1766000 | #Constraints: 118327
3479.42/3488.94 c #Conflicts: 1767000 | #Constraints: 119327
3479.42/3488.94 c #Conflicts: 1768000 | #Constraints: 120327
3479.42/3488.94 c #Conflicts: 1769000 | #Constraints: 121327
3479.42/3488.94 c #Conflicts: 1770000 | #Constraints: 122327
3479.42/3488.94 c #Conflicts: 1771000 | #Constraints: 123327
3479.42/3488.94 c #Conflicts: 1772000 | #Constraints: 124327
3479.42/3488.94 c #Conflicts: 1773000 | #Constraints: 125327
3479.42/3488.94 c #Conflicts: 1774000 | #Constraints: 126327
3479.42/3488.94 c #Conflicts: 1775000 | #Constraints: 127327
3479.42/3488.94 c #Conflicts: 1776000 | #Constraints: 128327
3479.42/3488.94 c #Conflicts: 1777000 | #Constraints: 129327
3479.42/3488.94 c #Conflicts: 1778000 | #Constraints: 130327
3479.42/3488.94 c #Conflicts: 1779000 | #Constraints: 131327
3479.42/3488.94 c #Conflicts: 1780000 | #Constraints: 132327
3479.42/3488.94 c #Conflicts: 1781000 | #Constraints: 133327
3479.42/3488.94 c #Conflicts: 1782000 | #Constraints: 134327
3479.42/3488.94 c #Conflicts: 1783000 | #Constraints: 135327
3479.42/3488.94 c #Conflicts: 1784000 | #Constraints: 136327
3479.42/3488.94 c #Conflicts: 1785000 | #Constraints: 137327
3479.42/3488.94 c #Conflicts: 1786000 | #Constraints: 138327
3479.42/3488.94 c #Conflicts: 1787000 | #Constraints: 139327
3479.42/3488.94 c INPROCESSING
3479.42/3488.94 c GARBAGE COLLECT
3479.42/3488.94 c #Conflicts: 1788000 | #Constraints: 74107
3479.42/3488.94 c #Conflicts: 1789000 | #Constraints: 75107
3479.42/3488.94 c #Conflicts: 1790000 | #Constraints: 76107
3479.42/3488.94 c #Conflicts: 1791000 | #Constraints: 77107
3479.42/3488.94 c #Conflicts: 1792000 | #Constraints: 78107
3479.42/3488.94 c #Conflicts: 1793000 | #Constraints: 79107
3479.42/3488.94 c #Conflicts: 1794000 | #Constraints: 80107
3479.42/3488.94 c #Conflicts: 1795000 | #Constraints: 81107
3479.42/3488.94 c #Conflicts: 1796000 | #Constraints: 82107
3479.42/3488.94 c #Conflicts: 1797000 | #Constraints: 83107
3479.42/3488.94 c #Conflicts: 1798000 | #Constraints: 84107
3479.42/3488.94 c #Conflicts: 1799000 | #Constraints: 85107
3479.42/3488.94 c #Conflicts: 1800000 | #Constraints: 86107
3479.42/3488.94 c #Conflicts: 1801000 | #Constraints: 87107
3479.42/3488.94 c #Conflicts: 1802000 | #Constraints: 88107
3479.42/3488.94 c #Conflicts: 1803000 | #Constraints: 89107
3479.42/3488.94 c #Conflicts: 1804000 | #Constraints: 90107
3479.42/3488.94 c #Conflicts: 1805000 | #Constraints: 91107
3479.42/3488.94 c #Conflicts: 1806000 | #Constraints: 92107
3479.42/3488.94 c #Conflicts: 1807000 | #Constraints: 93107
3479.42/3488.94 c #Conflicts: 1808000 | #Constraints: 94107
3479.42/3488.94 c #Conflicts: 1809000 | #Constraints: 95107
3479.42/3488.94 c #Conflicts: 1810000 | #Constraints: 96107
3479.42/3488.94 c #Conflicts: 1811000 | #Constraints: 97107
3479.42/3488.94 c #Conflicts: 1812000 | #Constraints: 98107
3479.42/3488.94 c #Conflicts: 1813000 | #Constraints: 99107
3577.88/3587.65 c #Conflicts: 1814000 | #Constraints: 100107
3577.88/3587.65 c #Conflicts: 1815000 | #Constraints: 101107
3577.88/3587.65 c #Conflicts: 1816000 | #Constraints: 102107
3577.88/3587.65 c #Conflicts: 1817000 | #Constraints: 103107
3577.88/3587.65 c INPROCESSING
3577.88/3587.65 c GARBAGE COLLECT
3577.88/3587.65 c #Conflicts: 1818000 | #Constraints: 55956
3577.88/3587.65 c #Conflicts: 1819000 | #Constraints: 56956
3577.88/3587.65 c #Conflicts: 1820000 | #Constraints: 57956
3577.88/3587.65 c #Conflicts: 1821000 | #Constraints: 58956
3577.88/3587.65 c #Conflicts: 1822000 | #Constraints: 59956
3577.88/3587.65 c #Conflicts: 1823000 | #Constraints: 60956
3577.88/3587.65 c #Conflicts: 1824000 | #Constraints: 61956
3577.88/3587.65 c #Conflicts: 1825000 | #Constraints: 62956
3577.88/3587.65 c #Conflicts: 1826000 | #Constraints: 63956
3577.88/3587.65 c #Conflicts: 1827000 | #Constraints: 64956
3577.88/3587.65 c #Conflicts: 1828000 | #Constraints: 65956
3577.88/3587.65 c #Conflicts: 1829000 | #Constraints: 66956
3577.88/3587.65 c #Conflicts: 1830000 | #Constraints: 67956
3577.88/3587.65 c #Conflicts: 1831000 | #Constraints: 68956
3577.88/3587.65 c #Conflicts: 1832000 | #Constraints: 69956
3577.88/3587.65 c #Conflicts: 1833000 | #Constraints: 70956
3577.88/3587.65 c #Conflicts: 1834000 | #Constraints: 71956
3577.88/3587.65 c #Conflicts: 1835000 | #Constraints: 72956
3577.88/3587.65 c #Conflicts: 1836000 | #Constraints: 73956
3577.88/3587.65 c #Conflicts: 1837000 | #Constraints: 74956
3577.88/3587.65 c #Conflicts: 1838000 | #Constraints: 75956
3577.88/3587.65 c #Conflicts: 1839000 | #Constraints: 76956
3577.88/3587.65 c #Conflicts: 1840000 | #Constraints: 77956
3577.88/3587.65 c #Conflicts: 1841000 | #Constraints: 78956
3577.88/3587.65 c #Conflicts: 1842000 | #Constraints: 79956
3577.88/3587.65 c #Conflicts: 1843000 | #Constraints: 80956
3577.88/3587.65 c #Conflicts: 1844000 | #Constraints: 81956
3577.88/3587.65 c #Conflicts: 1845000 | #Constraints: 82956
3577.88/3587.65 c #Conflicts: 1846000 | #Constraints: 83956
3577.88/3587.65 c #Conflicts: 1847000 | #Constraints: 84956
3577.88/3587.65 c #Conflicts: 1848000 | #Constraints: 85956
3577.88/3587.65 c INPROCESSING
3577.88/3587.65 c GARBAGE COLLECT
3577.88/3587.65 c rational objective 98.4116
3600.01/3609.80 c #Conflicts: 1849000 | #Constraints: 47718
3600.01/3609.80 c #Conflicts: 1850000 | #Constraints: 48718
3600.01/3609.80 c #Conflicts: 1851000 | #Constraints: 49718
3600.01/3609.80 c #Conflicts: 1852000 | #Constraints: 50718
3600.01/3609.80 c #Conflicts: 1853000 | #Constraints: 51718
3600.01/3609.80 c #Conflicts: 1854000 | #Constraints: 52718
3600.01/3609.80 c #Conflicts: 1855000 | #Constraints: 53718
3600.01/3609.80 c #Conflicts: 1856000 | #Constraints: 54718
3600.01/3609.80 c #Conflicts: 1857000 | #Constraints: 55718
3600.01/3609.80 c #Conflicts: 1858000 | #Constraints: 56718
3600.01/3609.80 c #Conflicts: 1859000 | #Constraints: 57718
3600.01/3609.80 c #Conflicts: 1860000 | #Constraints: 58718
3600.01/3609.80 c cpu time 3582.61 s
3600.01/3609.80 c deterministic time 265378766557 2.65e+11
3600.01/3609.80 c optimization time 21.1979 s
3600.01/3609.80 c total solve time 3561.33 s
3600.01/3609.80 c core-guided solve time 0 s
3600.01/3609.80 c propagation time 2006 s
3600.01/3609.80 c conflict analysis time 1332.61 s
3600.01/3609.80 c propagations 925795196
3600.01/3609.80 c resolve steps 84316850
3600.01/3609.80 c decisions 13358275
3600.01/3609.80 c conflicts 1860418
3600.01/3609.80 c restarts 3580
3600.01/3609.80 c inprocessing phases 84
3600.01/3609.80 c garbage collections 84 ,( 100.00 )
3600.01/3609.80 c input clauses 6536 ,( 98.61 )
3600.01/3609.80 c input cardinalities 92 ,( 1.39 )
3600.01/3609.80 c input general constraints 0 ,( 0.00 )
3600.01/3609.80 c input average constraint length 6.14
3600.01/3609.80 c input average constraint degree 1.92
3600.01/3609.80 c learned clauses 1439300 ,( 77.36 )
3600.01/3609.80 c learned cardinalities 28956 ,( 1.56 )
3600.01/3609.80 c learned general constraints 392171 ,( 21.08 )
3600.01/3609.80 c learned average constraint length 691.40
3600.01/3609.80 c learned average constraint degree 9003497.68
3600.01/3609.80 c watched CF 32, 64, 128, Arb: 126828 , 0 , 0 , 0
3600.01/3609.80 c counting CF 32, 64, 128, Arb: 265343 , 0 , 0 , 0
3600.01/3609.80 c watched constraints 126828 ,( 32.34 )
3600.01/3609.80 c counting constraints 265343 ,( 67.66 )
3600.01/3609.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1563468210 , 677118359 , 3359396755 ,( 141041217 , 3218355538 )
3600.01/3609.80 c gcd simplifications 1021
3600.01/3609.80 c detected cardinalities 1876
3600.01/3609.80 c weakened non-implied lits 363160739
3600.01/3609.80 c weakened non-implying lits 247949
3600.01/3609.80 c original variables 6319
3600.01/3609.80 c clausal propagations 348375694
3600.01/3609.80 c cardinality propagations 347507175
3600.01/3609.80 c watched propagations 4674845
3600.01/3609.80 c counting propagations 219251884
3600.01/3609.80 c watch lookups 143742162408
3600.01/3609.80 c watch backjump lookups 0
3600.01/3609.80 c watch checks 40418295394
3600.01/3609.80 c propagation checks 74825377155
3600.01/3609.80 c constraint additions 4512375356
3600.01/3609.80 c trail pops 941009043
3600.01/3609.80 c formula constraints 6628
3600.01/3609.80 c learned constraints 1860410
3600.01/3609.80 c bound constraints 0
3600.01/3609.80 c core-guided constraints 0
3600.01/3609.80 c encountered formula constraints 49592769
3600.01/3609.80 c encountered learned constraints 36584346
3600.01/3609.80 c encountered bound constraints 0
3600.01/3609.80 c encountered core-guided constraints 0
3600.01/3609.80 c LP total time 203.617 s
3600.01/3609.80 c LP solve time 196.61 s
3600.01/3609.80 c LP constraints added 7177
3600.01/3609.80 c LP constraints removed 383
3600.01/3609.80 c LP pivots internal 191778
3600.01/3609.80 c LP pivots root 201951
3600.01/3609.80 c LP calls 30
3600.01/3609.80 c LP optimalities 16
3600.01/3609.80 c LP no pivot count 0
3600.01/3609.80 c LP infeasibilities 8
3600.01/3609.80 c LP valid Farkas constraints 7
3600.01/3609.80 c LP learned Farkas constraints 7
3600.01/3609.80 c LP basis resets 1
3600.01/3609.80 c LP cycling count 0
3600.01/3609.80 c LP singular count 0
3600.01/3609.80 c LP no primal count 0
3600.01/3609.80 c LP no farkas count 1
3600.01/3609.80 c LP other issue count 0
3600.01/3609.80 c LP Gomory cuts 3
3600.01/3609.80 c LP learned cuts 671
3600.01/3609.80 c LP deleted cuts 468
3600.01/3609.80 c LP encountered Gomory constraints 0
3600.01/3609.80 c LP encountered Farkas constraints 116
3600.01/3609.80 c LP encountered learned Farkas constraints 30
3600.01/3609.80 c CG auxiliary variables introduced 0
3600.01/3609.80 c CG solutions found 0
3600.01/3609.80 c CG cores constructed 0
3600.01/3609.80 c CG core cardinality constraints returned 0
3600.01/3609.80 c CG unit cores 0
3600.01/3609.80 c CG single cores 0
3600.01/3609.80 c CG blocks removed during cardinality reduction 0
3600.01/3609.80 c CG first core best 0
3600.01/3609.80 c CG decision core best 0
3600.01/3609.80 c CG core reduction tie 0
3600.01/3609.80 c CG core degree average 0.00
3600.01/3609.80 c CG core slack average 0.00
3600.01/3609.80 c CG core upper bound improvements 0
3600.01/3609.80 c STR number of successful calls 0
3600.01/3609.80 c STR number of unsuccessful calls 0
3600.01/3609.80 c STR number of inconclusive calls 0
3600.01/3609.80 c STR number of successful attempts 0
3600.01/3609.80 c STR number of unsuccessful attempts 0
3600.01/3609.80 c STR number of inconclusive attempts 0
3600.01/3609.80 c STR average degree increase per successful call inf
3600.01/3609.80 c STR average degree increase per successful attempt inf
3600.01/3609.80 c STR total number of conflicts for successful attempts 0
3600.01/3609.80 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.80 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.80 c STR average number of conflicts per successful attempt inf
3600.01/3609.80 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.80 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.80 c AVG.sumWPerc 59.59
3600.01/3609.80 c bigint constraints 0
3600.01/3609.80 s UNKNOWN
3600.01/3609.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63164 MiB free)
memory of node 1: 64465 MiB (63956 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507304-1751182666/watcher-4507304-1751182666 -o /tmp/evaluation-result-4507304-1751182666/solver-4507304-1751182666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19244 --watchdog 3760 run-dec-break.sh HOME/instance-4507304-1751182666.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=19303, runsolver pid=19294
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 0.86 1.23 2.35 5/257 19310
/proc/meminfo: memFree=130120144/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=56972 memory=10112 CPUtime=0 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 741 0 0 0 0 0 0 0 20 0 1 0 33945307 58339328 2528 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 14243 2528 1984 1147 0 1670 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 61164 KiB
Current children cumulated memory: 13056 KiB
[startup+0.213714 s]*
/proc/loadavg: 0.86 1.23 2.35 6/257 19310
/proc/meminfo: memFree=130098100/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=69364 memory=25460 CPUtime=0.12 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 4364 0 0 0 9 3 0 0 20 0 1 0 33945307 71028736 6365 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 17341 6365 2272 1147 0 4768 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 73556 KiB
Current children cumulated memory: 28404 KiB
[startup+0.313953 s]*
/proc/loadavg: 0.86 1.23 2.35 6/257 19310
/proc/meminfo: memFree=130096084/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=73236 memory=28020 CPUtime=0.22 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 5069 0 0 0 18 4 0 0 20 0 1 0 33945307 74993664 7005 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 18309 7005 2272 1147 0 5736 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 77428 KiB
Current children cumulated memory: 30964 KiB
[startup+0.700349 s]
/proc/loadavg: 0.86 1.23 2.35 6/257 19310
/proc/meminfo: memFree=130094068/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=74024 memory=28788 CPUtime=0.59 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 5239 0 0 0 54 5 0 0 20 0 1 0 33945307 75800576 7197 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 18506 7197 2304 1147 0 5933 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 78216 KiB
Current children cumulated memory: 31732 KiB
[startup+1.50039 s]
/proc/loadavg: 0.86 1.23 2.35 6/257 19310
/proc/meminfo: memFree=130094068/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=74684 memory=29684 CPUtime=1.39 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 5450 0 0 0 134 5 0 0 20 0 1 0 33945307 76476416 7421 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 18671 7421 2304 1147 0 6098 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 78876 KiB
Current children cumulated memory: 32628 KiB
[startup+3.11242 s]
/proc/loadavg: 0.86 1.23 2.35 6/257 19310
/proc/meminfo: memFree=130068824/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=78004 memory=35264 CPUtime=2.99 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 6284 0 0 0 289 10 0 0 20 0 1 0 33945307 79876096 8816 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 19501 8816 2368 1147 0 6928 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 82196 KiB
Current children cumulated memory: 38208 KiB
[startup+6.30035 s]
/proc/loadavg: 1.27 1.31 2.37 6/257 19310
/proc/meminfo: memFree=130053256/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=81660 memory=38976 CPUtime=6.17 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 7208 0 0 0 599 18 0 0 20 0 1 0 33945307 83619840 9744 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 20415 9744 2368 1147 0 7842 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 85852 KiB
Current children cumulated memory: 41920 KiB
[startup+12.7004 s]
/proc/loadavg: 1.57 1.37 2.39 6/257 19310
/proc/meminfo: memFree=130033288/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=93640 memory=49464 CPUtime=12.56 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 8797 0 0 0 1228 28 0 0 20 0 1 0 33945307 95887360 12366 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 23410 12366 2368 1147 0 10837 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 97832 KiB
Current children cumulated memory: 52408 KiB
[startup+25.5004 s]
/proc/loadavg: 2.41 1.56 2.44 6/257 19311
/proc/meminfo: memFree=129965872/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=97292 memory=54328 CPUtime=25.33 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 10035 0 0 0 2483 50 0 0 20 0 1 0 33945307 99627008 13582 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 24323 13582 2368 1147 0 11750 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 101484 KiB
Current children cumulated memory: 57272 KiB
[startup+51.1127 s]
/proc/loadavg: 3.14 1.81 2.49 6/257 19311
/proc/meminfo: memFree=129832648/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=132148 memory=85336 CPUtime=50.87 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 14714 0 0 0 4996 91 0 0 20 0 1 0 33945307 135319552 21334 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 33037 21334 2368 1147 0 20464 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 136340 KiB
Current children cumulated memory: 88280 KiB
[startup+102.3 s]
/proc/loadavg: 3.68 2.16 2.58 6/258 19316
/proc/meminfo: memFree=129647856/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=171980 memory=126080 CPUtime=101.93 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 20311 0 0 0 10037 156 0 0 20 0 1 0 33945307 176107520 31520 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 42995 31520 2368 1147 0 30422 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 176172 KiB
Current children cumulated memory: 129024 KiB
[startup+162.3 s]
/proc/loadavg: 4.55 2.68 2.74 6/257 19318
/proc/meminfo: memFree=129496824/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=221120 memory=162456 CPUtime=161.78 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 24808 0 0 0 15956 222 0 0 20 0 1 0 33945307 226426880 40614 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 55280 40614 2368 1147 0 42707 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 225312 KiB
Current children cumulated memory: 165400 KiB
[startup+222.3 s]
/proc/loadavg: 4.96 3.15 2.90 6/254 19320
/proc/meminfo: memFree=129171724/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=301436 memory=236084 CPUtime=221.62 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 32516 0 0 0 21899 263 0 0 20 0 1 0 33945307 308670464 59021 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 75359 59021 2368 1147 0 62786 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/19310/statm: 232017 185221 2368 1147 0 219444 0
Current children cumulated CPU time: 3033.92 s
Current children cumulated vsize: 932260 KiB
Current children cumulated memory: 743828 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.21 4.10 5/254 19609
/proc/meminfo: memFree=128058136/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=930084 memory=742676 CPUtime=3093.72 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 73858 0 0 0 307786 1586 0 0 20 0 1 0 33945307 952406016 185669 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 232521 185669 2368 1147 0 219948 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 934276 KiB
Current children cumulated memory: 745620 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.19 4.09 5/255 19614
/proc/meminfo: memFree=128045548/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=930084 memory=742676 CPUtime=3153.56 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 73858 0 0 0 313739 1617 0 0 20 0 1 0 33945307 952406016 185669 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 232521 185669 2368 1147 0 219948 0
Current children cumulated CPU time: 3153.62 s
Current children cumulated vsize: 934276 KiB
Current children cumulated memory: 745620 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.18 4.09 5/255 19616
/proc/meminfo: memFree=128004416/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=930084 memory=742676 CPUtime=3213.42 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 73858 0 0 0 319709 1633 0 0 20 0 1 0 33945307 952406016 185669 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 232521 185669 2368 1147 0 219948 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 934276 KiB
Current children cumulated memory: 745620 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/254 19618
/proc/meminfo: memFree=127854436/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=931132 memory=743700 CPUtime=3273.28 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 74125 0 0 0 325682 1646 0 0 20 0 1 0 33945307 953479168 185925 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 232783 185925 2368 1147 0 220210 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 935324 KiB
Current children cumulated memory: 746644 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/254 19623
/proc/meminfo: memFree=127849648/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=934532 memory=746900 CPUtime=3333.13 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 75070 0 0 0 331651 1662 0 0 20 0 1 0 33945307 956960768 186725 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 233633 186725 2368 1147 0 221060 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 938724 KiB
Current children cumulated memory: 749844 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.13 4.09 5/254 19625
/proc/meminfo: memFree=127836052/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=941832 memory=751892 CPUtime=3392.98 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 76326 0 0 0 337625 1673 0 0 20 0 1 0 33945307 964435968 187973 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 235458 187973 2368 1147 0 222885 0
Current children cumulated CPU time: 3393.04 s
Current children cumulated vsize: 946024 KiB
Current children cumulated memory: 754836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/254 19627
/proc/meminfo: memFree=127853332/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=946756 memory=755732 CPUtime=3452.83 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 77290 0 0 0 343595 1688 0 0 20 0 1 0 33945307 969478144 188933 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 236689 188933 2368 1147 0 224116 0
Current children cumulated CPU time: 3452.89 s
Current children cumulated vsize: 950948 KiB
Current children cumulated memory: 758676 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/253 19629
/proc/meminfo: memFree=127758404/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=946756 memory=755860 CPUtime=3512.68 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 77349 0 0 0 349561 1707 0 0 20 0 1 0 33945307 969478144 188965 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 236689 188965 2368 1147 0 224116 0
Current children cumulated CPU time: 3512.74 s
Current children cumulated vsize: 950948 KiB
Current children cumulated memory: 758804 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/253 19631
/proc/meminfo: memFree=127631972/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=946756 memory=755860 CPUtime=3572.52 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 77349 0 0 0 355528 1724 0 0 20 0 1 0 33945307 969478144 188965 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 236689 188965 2368 1147 0 224116 0
Current children cumulated CPU time: 3572.58 s
Current children cumulated vsize: 950948 KiB
Current children cumulated memory: 758804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.09 4.12 4.09 5/253 19632
/proc/meminfo: memFree=127596748/131382120 swapFree=33010684/33010684
[pid=19303] ppid=19294 vsize=4192 memory=2944 CPUtime=0.06 cores=4,6
/proc/19303/stat : 19303 (run-dec-break.s) S 19294 19303 19233 0 -1 4194304 238 4407 0 0 0 0 5 1 20 0 1 0 33945298 4292608 736 18446744073709551615 94120377851904 94120378746437 140721655165776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94120378985488 94120379033232 94120381562880 140721655171425 140721655171554 140721655171554 140721655177156 0
/proc/19303/statm: 1048 736 672 219 0 110 0
[pid=19310] ppid=19303 vsize=946756 memory=755860 CPUtime=3599.95 cores=4,6
/proc/19310/stat : 19310 (roundingsat) R 19303 19303 19233 0 -1 4194304 77349 0 0 0 358260 1735 0 0 20 0 1 0 33945307 969478144 188965 18446744073709551615 4227072 8923433 140725718762480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29315072 140725718767940 140725718768168 140725718768168 140725718773738 0
/proc/19310/statm: 236689 188965 2368 1147 0 224116 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 950948 KiB
Current children cumulated memory: 758804 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.81 s]
# the end of solver process 19303 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.055661 s, system=0.020975 s
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 19310 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.67 s, system=17.3857 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.81
CPU time (s): 3600.05
CPU user time (s): 3582.67
CPU system time (s): 17.3857
CPU usage (%): 99.7298
Max. virtual memory (cumulated for all children) (KiB): 950948
Max. memory (cumulated for all children) (KiB): 758804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.67
system time used= 17.3857
maximum resident set size= 756244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82014
page faults= 0
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 358
involuntary context switches= 3150
# summary of solver processes directly reported to runsolver:
# pid: 19303,19310
# total CPU time (s): 3600.05
# total CPU user time (s): 3582.67
# total CPU system time (s): 17.3857
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.9601 second user time and 34.2939 second system time
The end
Begin job on nodeC003 at 2025-06-29 09:37:46
IDJOB=4507304
IDBENCH=158341
IDSOLVER=3357
FILE ID=nodeC003/4507304-1751182666
RUNJOBID= nodeC003-1751182666-19244
SLURM_JOB_ID= 9587560
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507304-1751182666/watcher-4507304-1751182666 -o /tmp/evaluation-result-4507304-1751182666/solver-4507304-1751182666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19244 --watchdog 3760 run-dec-break.sh HOME/instance-4507304-1751182666.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0bf652578c2f1d207084d270794d0d34
RANDOM SEED=1528645510
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.169
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.150
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.230
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.347
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.276
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.132
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.166
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.175
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130188464 kB
MemAvailable: 129997044 kB
Buffers: 3280 kB
Cached: 619144 kB
SwapCached: 0 kB
Active: 283188 kB
Inactive: 405948 kB
Active(anon): 84672 kB
Inactive(anon): 0 kB
Active(file): 198516 kB
Inactive(file): 405948 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31136 kB
Writeback: 0 kB
AnonPages: 69816 kB
Mapped: 102104 kB
Shmem: 17960 kB
KReclaimable: 87484 kB
Slab: 168380 kB
SReclaimable: 87484 kB
SUnreclaim: 80896 kB
KernelStack: 3872 kB
PageTables: 2768 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 332896 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149320 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC003 at 2025-06-29 10:37:56