0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4507485-1751177718.opb'
0.00/0.01 c read 0.38MB (5.25ms)
0.00/0.01 c [cnf: #variables 5916 #clauses 6092 #duplicates 0 #arr 37960]
0.00/0.05 c output proof to 'PROOFDIR/proof-4507485-1751177718'
0.00/0.05 c
0.00/0.05 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 1044] (6.83ms)
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.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.05 c (1.21ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 29756 #edges 111416]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.06 c [group: #symmetries 3.84*10^2 #generators 7] (6.10ms)
0.00/0.06 c
0.00/0.06 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.06 c (0.01ms)
0.00/0.06 c
0.00/0.06 c finalize break order and special generators
0.00/0.06 c
0.00/0.06 c add generic predicates (break_depth=10)
0.00/0.06 c added predicates for 7 generators (0.02ms)
0.00/0.06 c
0.00/0.06 c generation finished
0.00/0.06 c [sbp: #constraints 196 #add_vars 63]
0.00/0.06 c
0.00/0.06 c write result to 'HOME/instance-4507485-1751177718.opb.pre'
0.00/0.06 c wrote 0.39MB (0.98ms)
0.00/0.06 c ------------------------------------------------------------------
0.00/0.06 c 36.22ms 63.72% other
0.00/0.06 c 6.83ms 12.02% approx_orbits
0.00/0.06 c 6.10ms 10.74% detect_generic
0.00/0.06 c 5.25ms 9.23% parse
0.00/0.06 c 1.21ms 2.13% detect_special
0.00/0.06 c 0.98ms 1.73% output
0.00/0.06 c 0.21ms 0.37% finalize_order
0.00/0.06 c 0.02ms 0.04% break_generic
0.00/0.06 c 0.01ms 0.02% optimize_gens
0.00/0.06 c ───────────────────────────────────────────────
0.00/0.06 c 56.83ms 100% total
0.00/0.06 c ------------------------------------------------------------------
0.00/0.08 c RoundingSat 2
0.00/0.08 c branch pb25
0.00/0.08 c commit 63f22ad
0.03/0.12 c #variables 5979 #constraints 6278
47.41/47.64 c #Conflicts: 1000 | #Constraints: 7277
47.41/47.64 c #Conflicts: 2000 | #Constraints: 8277
47.41/47.64 c INPROCESSING
47.41/47.64 c GARBAGE COLLECT
47.41/47.64 c #Conflicts: 3000 | #Constraints: 7950
47.41/47.64 c #Conflicts: 4000 | #Constraints: 8950
47.41/47.64 c INPROCESSING
47.41/47.64 c GARBAGE COLLECT
47.41/47.64 c #Conflicts: 5000 | #Constraints: 8409
47.41/47.64 c #Conflicts: 6000 | #Constraints: 9409
47.41/47.64 c INPROCESSING
47.41/47.64 c GARBAGE COLLECT
47.41/47.64 c #Conflicts: 7000 | #Constraints: 8447
47.41/47.64 c #Conflicts: 8000 | #Constraints: 9447
47.41/47.64 c #Conflicts: 9000 | #Constraints: 10447
47.41/47.64 c INPROCESSING
47.41/47.64 c GARBAGE COLLECT
47.41/47.64 c #Conflicts: 10000 | #Constraints: 9174
47.41/47.64 c #Conflicts: 11000 | #Constraints: 10174
47.41/47.64 c #Conflicts: 12000 | #Constraints: 11174
47.41/47.64 c INPROCESSING
47.41/47.64 c GARBAGE COLLECT
47.41/47.64 c #Conflicts: 13000 | #Constraints: 9680
47.41/47.64 c #Conflicts: 14000 | #Constraints: 10680
47.41/47.64 c #Conflicts: 15000 | #Constraints: 11680
47.41/47.64 c INPROCESSING
47.41/47.64 c GARBAGE COLLECT
47.41/47.64 c #Conflicts: 16000 | #Constraints: 9934
47.41/47.65 c #Conflicts: 17000 | #Constraints: 10934
47.41/47.65 c #Conflicts: 18000 | #Constraints: 11934
47.41/47.65 c INPROCESSING
47.41/47.65 c GARBAGE COLLECT
47.41/47.65 c #Conflicts: 19000 | #Constraints: 9970
47.41/47.65 c #Conflicts: 20000 | #Constraints: 10970
47.41/47.65 c #Conflicts: 21000 | #Constraints: 11970
47.41/47.65 c INPROCESSING
47.41/47.65 c GARBAGE COLLECT
47.41/47.65 c #Conflicts: 22000 | #Constraints: 9768
47.41/47.65 c #Conflicts: 23000 | #Constraints: 10768
47.41/47.65 c #Conflicts: 24000 | #Constraints: 11768
47.41/47.65 c #Conflicts: 25000 | #Constraints: 12768
47.41/47.65 c INPROCESSING
47.41/47.65 c GARBAGE COLLECT
47.41/47.65 c #Conflicts: 26000 | #Constraints: 10405
47.41/47.65 c #Conflicts: 27000 | #Constraints: 11405
47.41/47.65 c #Conflicts: 28000 | #Constraints: 12405
47.41/47.65 c #Conflicts: 29000 | #Constraints: 13405
47.41/47.65 c INPROCESSING
47.41/47.65 c GARBAGE COLLECT
47.41/47.65 c #Conflicts: 30000 | #Constraints: 10852
47.41/47.65 c #Conflicts: 31000 | #Constraints: 11852
47.41/47.65 c #Conflicts: 32000 | #Constraints: 12852
47.41/47.65 c #Conflicts: 33000 | #Constraints: 13852
47.41/47.65 c INPROCESSING
47.41/47.65 c GARBAGE COLLECT
47.41/47.65 c #Conflicts: 34000 | #Constraints: 11075
47.41/47.65 c #Conflicts: 35000 | #Constraints: 12075
47.41/47.65 c #Conflicts: 36000 | #Constraints: 13075
47.41/47.65 c #Conflicts: 37000 | #Constraints: 14075
47.41/47.65 c INPROCESSING
47.41/47.65 c GARBAGE COLLECT
47.41/47.65 c #Conflicts: 38000 | #Constraints: 11094
47.41/47.65 c #Conflicts: 39000 | #Constraints: 12094
47.41/47.65 c #Conflicts: 40000 | #Constraints: 13094
47.41/47.65 c #Conflicts: 41000 | #Constraints: 14094
47.41/47.65 c INPROCESSING
47.41/47.65 c GARBAGE COLLECT
47.41/47.65 c #Conflicts: 42000 | #Constraints: 10918
47.41/47.65 c #Conflicts: 43000 | #Constraints: 11918
47.41/47.65 c #Conflicts: 44000 | #Constraints: 12918
47.41/47.65 c #Conflicts: 45000 | #Constraints: 13918
47.41/47.65 c #Conflicts: 46000 | #Constraints: 14918
47.41/47.65 c INPROCESSING
47.41/47.65 c GARBAGE COLLECT
47.41/47.65 c #Conflicts: 47000 | #Constraints: 11543
47.41/47.65 c #Conflicts: 48000 | #Constraints: 12543
47.41/47.65 c #Conflicts: 49000 | #Constraints: 13543
47.41/47.65 c #Conflicts: 50000 | #Constraints: 14543
47.41/47.65 c #Conflicts: 51000 | #Constraints: 15543
47.41/47.65 c INPROCESSING
47.41/47.65 c GARBAGE COLLECT
47.41/47.65 c #Conflicts: 52000 | #Constraints: 11950
47.41/47.65 c #Conflicts: 53000 | #Constraints: 12950
47.41/47.65 c #Conflicts: 54000 | #Constraints: 13950
47.41/47.65 c #Conflicts: 55000 | #Constraints: 14950
47.41/47.65 c #Conflicts: 56000 | #Constraints: 15950
47.41/47.65 c INPROCESSING
47.41/47.65 c GARBAGE COLLECT
47.41/47.65 c #Conflicts: 57000 | #Constraints: 12150
47.41/47.65 c #Conflicts: 58000 | #Constraints: 13150
47.41/47.65 c #Conflicts: 59000 | #Constraints: 14150
47.41/47.65 c #Conflicts: 60000 | #Constraints: 15150
47.41/47.65 c #Conflicts: 61000 | #Constraints: 16150
47.41/47.65 c INPROCESSING
47.41/47.65 c GARBAGE COLLECT
47.41/47.65 c #Conflicts: 62000 | #Constraints: 12196
47.41/47.65 c #Conflicts: 63000 | #Constraints: 13196
47.41/47.65 c #Conflicts: 64000 | #Constraints: 14196
47.41/47.65 c #Conflicts: 65000 | #Constraints: 15196
47.41/47.65 c #Conflicts: 66000 | #Constraints: 16196
47.41/47.65 c #Conflicts: 67000 | #Constraints: 17196
47.41/47.65 c #Conflicts: 68000 | #Constraints: 18196
123.15/123.71 c #Conflicts: 69000 | #Constraints: 19196
123.15/123.71 c #Conflicts: 70000 | #Constraints: 20196
123.15/123.71 c #Conflicts: 71000 | #Constraints: 21196
123.15/123.71 c #Conflicts: 72000 | #Constraints: 22196
123.15/123.71 c #Conflicts: 73000 | #Constraints: 23196
123.15/123.71 c #Conflicts: 74000 | #Constraints: 24196
123.15/123.71 c #Conflicts: 75000 | #Constraints: 25196
123.15/123.71 c #Conflicts: 76000 | #Constraints: 26196
123.15/123.71 c #Conflicts: 77000 | #Constraints: 27196
123.15/123.71 c #Conflicts: 78000 | #Constraints: 28196
123.15/123.71 c #Conflicts: 79000 | #Constraints: 29196
123.15/123.71 c #Conflicts: 80000 | #Constraints: 30196
123.15/123.71 c #Conflicts: 81000 | #Constraints: 31196
123.15/123.71 c #Conflicts: 82000 | #Constraints: 32196
123.15/123.71 c INPROCESSING
123.15/123.71 c GARBAGE COLLECT
123.15/123.71 c #Conflicts: 83000 | #Constraints: 19957
123.15/123.71 c #Conflicts: 84000 | #Constraints: 20957
123.15/123.71 c #Conflicts: 85000 | #Constraints: 21957
123.15/123.71 c #Conflicts: 86000 | #Constraints: 22957
123.15/123.71 c #Conflicts: 87000 | #Constraints: 23957
123.15/123.71 c #Conflicts: 88000 | #Constraints: 24957
123.15/123.71 c #Conflicts: 89000 | #Constraints: 25957
123.15/123.71 c INPROCESSING
123.15/123.71 c GARBAGE COLLECT
123.15/123.71 c #Conflicts: 90000 | #Constraints: 17092
123.15/123.71 c #Conflicts: 91000 | #Constraints: 18092
123.15/123.71 c #Conflicts: 92000 | #Constraints: 19092
123.15/123.71 c #Conflicts: 93000 | #Constraints: 20092
123.15/123.71 c #Conflicts: 94000 | #Constraints: 21092
123.15/123.71 c #Conflicts: 95000 | #Constraints: 22092
123.15/123.71 c #Conflicts: 96000 | #Constraints: 23092
123.15/123.71 c INPROCESSING
123.15/123.71 c GARBAGE COLLECT
123.15/123.71 c #Conflicts: 97000 | #Constraints: 15779
123.15/123.71 c #Conflicts: 98000 | #Constraints: 16779
123.15/123.71 c #Conflicts: 99000 | #Constraints: 17779
123.15/123.71 c #Conflicts: 100000 | #Constraints: 18779
123.15/123.71 c #Conflicts: 101000 | #Constraints: 19779
123.15/123.71 c #Conflicts: 102000 | #Constraints: 20779
123.15/123.71 c INPROCESSING
123.15/123.71 c GARBAGE COLLECT
123.15/123.71 c #Conflicts: 103000 | #Constraints: 14206
123.15/123.71 c #Conflicts: 104000 | #Constraints: 15206
123.15/123.71 c #Conflicts: 105000 | #Constraints: 16206
123.15/123.71 c #Conflicts: 106000 | #Constraints: 17206
123.15/123.71 c #Conflicts: 107000 | #Constraints: 18206
123.15/123.71 c #Conflicts: 108000 | #Constraints: 19206
123.15/123.71 c #Conflicts: 109000 | #Constraints: 20206
123.15/123.71 c #Conflicts: 110000 | #Constraints: 21206
123.15/123.71 c INPROCESSING
123.15/123.71 c GARBAGE COLLECT
123.15/123.71 c #Conflicts: 111000 | #Constraints: 14855
123.15/123.71 c #Conflicts: 112000 | #Constraints: 15855
123.15/123.71 c #Conflicts: 113000 | #Constraints: 16855
123.15/123.71 c #Conflicts: 114000 | #Constraints: 17855
123.15/123.71 c #Conflicts: 115000 | #Constraints: 18855
123.15/123.71 c #Conflicts: 116000 | #Constraints: 19855
123.15/123.71 c #Conflicts: 117000 | #Constraints: 20855
123.15/123.71 c INPROCESSING
123.15/123.71 c GARBAGE COLLECT
123.15/123.71 c #Conflicts: 118000 | #Constraints: 14562
123.15/123.71 c #Conflicts: 119000 | #Constraints: 15562
123.15/123.71 c #Conflicts: 120000 | #Constraints: 16562
123.15/123.71 c #Conflicts: 121000 | #Constraints: 17562
123.15/123.71 c #Conflicts: 122000 | #Constraints: 18562
123.15/123.71 c #Conflicts: 123000 | #Constraints: 19562
123.15/123.71 c #Conflicts: 124000 | #Constraints: 20562
123.15/123.71 c #Conflicts: 125000 | #Constraints: 21562
123.15/123.71 c #Conflicts: 126000 | #Constraints: 22562
123.15/123.71 c #Conflicts: 127000 | #Constraints: 23562
123.15/123.71 c #Conflicts: 128000 | #Constraints: 24562
123.15/123.71 c #Conflicts: 129000 | #Constraints: 25562
123.15/123.71 c #Conflicts: 130000 | #Constraints: 26562
123.15/123.71 c #Conflicts: 131000 | #Constraints: 27562
123.15/123.71 c #Conflicts: 132000 | #Constraints: 28562
123.15/123.71 c #Conflicts: 133000 | #Constraints: 29562
123.15/123.71 c #Conflicts: 134000 | #Constraints: 30562
123.15/123.71 c #Conflicts: 135000 | #Constraints: 31562
123.15/123.71 c #Conflicts: 136000 | #Constraints: 32562
123.15/123.71 c #Conflicts: 137000 | #Constraints: 33562
123.15/123.71 c #Conflicts: 138000 | #Constraints: 34562
123.15/123.71 c #Conflicts: 139000 | #Constraints: 35562
123.15/123.71 c #Conflicts: 140000 | #Constraints: 36562
123.15/123.71 c #Conflicts: 141000 | #Constraints: 37562
123.15/123.71 c #Conflicts: 142000 | #Constraints: 38562
123.15/123.71 c #Conflicts: 143000 | #Constraints: 39562
216.02/219.41 c #Conflicts: 144000 | #Constraints: 40562
216.02/219.41 c #Conflicts: 145000 | #Constraints: 41562
216.02/219.41 c #Conflicts: 146000 | #Constraints: 42562
216.02/219.41 c INPROCESSING
216.02/219.41 c GARBAGE COLLECT
216.02/219.41 c #Conflicts: 147000 | #Constraints: 25392
216.02/219.41 c #Conflicts: 148000 | #Constraints: 26392
216.02/219.41 c #Conflicts: 149000 | #Constraints: 27392
216.02/219.41 c #Conflicts: 150000 | #Constraints: 28392
216.02/219.41 c #Conflicts: 151000 | #Constraints: 29392
216.02/219.41 c #Conflicts: 152000 | #Constraints: 30392
216.02/219.41 c #Conflicts: 153000 | #Constraints: 31392
216.02/219.41 c #Conflicts: 154000 | #Constraints: 32392
216.02/219.41 c #Conflicts: 155000 | #Constraints: 33392
216.02/219.41 c INPROCESSING
216.02/219.41 c GARBAGE COLLECT
216.02/219.41 c #Conflicts: 156000 | #Constraints: 20971
216.02/219.41 c #Conflicts: 157000 | #Constraints: 21971
216.02/219.41 c #Conflicts: 158000 | #Constraints: 22971
216.02/219.41 c #Conflicts: 159000 | #Constraints: 23971
216.02/219.41 c #Conflicts: 160000 | #Constraints: 24971
216.02/219.41 c #Conflicts: 161000 | #Constraints: 25971
216.02/219.41 c #Conflicts: 162000 | #Constraints: 26971
216.02/219.41 c #Conflicts: 163000 | #Constraints: 27971
216.02/219.41 c INPROCESSING
216.02/219.41 c GARBAGE COLLECT
216.02/219.41 c #Conflicts: 164000 | #Constraints: 17853
216.02/219.41 c #Conflicts: 165000 | #Constraints: 18853
216.02/219.41 c #Conflicts: 166000 | #Constraints: 19853
216.02/219.41 c #Conflicts: 167000 | #Constraints: 20853
216.02/219.41 c #Conflicts: 168000 | #Constraints: 21853
216.02/219.41 c #Conflicts: 169000 | #Constraints: 22853
216.02/219.41 c #Conflicts: 170000 | #Constraints: 23853
216.02/219.41 c #Conflicts: 171000 | #Constraints: 24853
216.02/219.41 c #Conflicts: 172000 | #Constraints: 25853
216.02/219.41 c INPROCESSING
216.02/219.41 c GARBAGE COLLECT
216.02/219.41 c #Conflicts: 173000 | #Constraints: 16827
216.02/219.41 c #Conflicts: 174000 | #Constraints: 17827
216.02/219.41 c #Conflicts: 175000 | #Constraints: 18827
216.02/219.41 c #Conflicts: 176000 | #Constraints: 19827
216.02/219.41 c #Conflicts: 177000 | #Constraints: 20827
216.02/219.41 c #Conflicts: 178000 | #Constraints: 21827
216.02/219.41 c #Conflicts: 179000 | #Constraints: 22827
216.02/219.41 c #Conflicts: 180000 | #Constraints: 23827
216.02/219.41 c #Conflicts: 181000 | #Constraints: 24827
216.02/219.41 c #Conflicts: 182000 | #Constraints: 25827
216.02/219.41 c INPROCESSING
216.02/219.41 c GARBAGE COLLECT
216.02/219.41 c #Conflicts: 183000 | #Constraints: 17209
216.02/219.41 c #Conflicts: 184000 | #Constraints: 18209
216.02/219.41 c #Conflicts: 185000 | #Constraints: 19209
216.02/219.41 c #Conflicts: 186000 | #Constraints: 20209
216.02/219.41 c #Conflicts: 187000 | #Constraints: 21209
216.02/219.41 c #Conflicts: 188000 | #Constraints: 22209
216.02/219.41 c #Conflicts: 189000 | #Constraints: 23209
216.02/219.41 c #Conflicts: 190000 | #Constraints: 24209
216.02/219.41 c #Conflicts: 191000 | #Constraints: 25209
216.02/219.41 c #Conflicts: 192000 | #Constraints: 26209
216.02/219.41 c #Conflicts: 193000 | #Constraints: 27209
216.02/219.41 c #Conflicts: 194000 | #Constraints: 28209
216.02/219.41 c #Conflicts: 195000 | #Constraints: 29209
216.02/219.41 c #Conflicts: 196000 | #Constraints: 30209
216.02/219.41 c #Conflicts: 197000 | #Constraints: 31209
216.02/219.41 c #Conflicts: 198000 | #Constraints: 32209
216.02/219.41 c #Conflicts: 199000 | #Constraints: 33209
216.02/219.41 c #Conflicts: 200000 | #Constraints: 34209
216.02/219.41 c #Conflicts: 201000 | #Constraints: 35209
216.02/219.41 c #Conflicts: 202000 | #Constraints: 36209
216.02/219.41 c #Conflicts: 203000 | #Constraints: 37209
216.02/219.41 c #Conflicts: 204000 | #Constraints: 38209
216.02/219.41 c #Conflicts: 205000 | #Constraints: 39209
216.02/219.41 c #Conflicts: 206000 | #Constraints: 40209
216.02/219.41 c #Conflicts: 207000 | #Constraints: 41209
216.02/219.41 c #Conflicts: 208000 | #Constraints: 42209
216.02/219.41 c #Conflicts: 209000 | #Constraints: 43209
216.02/219.41 c #Conflicts: 210000 | #Constraints: 44209
216.02/219.41 c #Conflicts: 211000 | #Constraints: 45209
216.02/219.41 c #Conflicts: 212000 | #Constraints: 46209
216.02/219.41 c #Conflicts: 213000 | #Constraints: 47209
216.02/219.41 c #Conflicts: 214000 | #Constraints: 48209
216.02/219.41 c #Conflicts: 215000 | #Constraints: 49209
216.02/219.41 c #Conflicts: 216000 | #Constraints: 50209
216.02/219.41 c #Conflicts: 217000 | #Constraints: 51209
216.02/219.41 c INPROCESSING
216.02/219.41 c GARBAGE COLLECT
216.02/219.41 c rational objective 90.005
291.08/294.95 c #Conflicts: 218000 | #Constraints: 29690
291.08/294.95 c #Conflicts: 219000 | #Constraints: 30690
291.08/294.95 c #Conflicts: 220000 | #Constraints: 31690
291.08/294.95 c #Conflicts: 221000 | #Constraints: 32690
291.08/294.95 c #Conflicts: 222000 | #Constraints: 33690
291.08/294.95 c #Conflicts: 223000 | #Constraints: 34690
291.08/294.95 c #Conflicts: 224000 | #Constraints: 35690
291.08/294.95 c #Conflicts: 225000 | #Constraints: 36690
291.08/294.95 c #Conflicts: 226000 | #Constraints: 37690
291.08/294.95 c #Conflicts: 227000 | #Constraints: 38690
291.08/294.95 c #Conflicts: 228000 | #Constraints: 39690
291.08/294.95 c INPROCESSING
291.08/294.95 c GARBAGE COLLECT
291.08/294.95 c #Conflicts: 229000 | #Constraints: 24138
291.08/294.95 c #Conflicts: 230000 | #Constraints: 25138
291.08/294.95 c #Conflicts: 231000 | #Constraints: 26138
291.08/294.95 c #Conflicts: 232000 | #Constraints: 27138
291.08/294.95 c #Conflicts: 233000 | #Constraints: 28138
291.08/294.95 c #Conflicts: 234000 | #Constraints: 29138
291.08/294.95 c #Conflicts: 235000 | #Constraints: 30138
291.08/294.95 c #Conflicts: 236000 | #Constraints: 31138
291.08/294.95 c #Conflicts: 237000 | #Constraints: 32138
291.08/294.95 c #Conflicts: 238000 | #Constraints: 33138
291.08/294.95 c INPROCESSING
291.08/294.95 c GARBAGE COLLECT
291.08/294.95 c #Conflicts: 239000 | #Constraints: 20543
291.08/294.95 c #Conflicts: 240000 | #Constraints: 21543
291.08/294.95 c #Conflicts: 241000 | #Constraints: 22543
291.08/294.95 c #Conflicts: 242000 | #Constraints: 23543
291.08/294.95 c #Conflicts: 243000 | #Constraints: 24543
291.08/294.95 c #Conflicts: 244000 | #Constraints: 25543
291.08/294.95 c #Conflicts: 245000 | #Constraints: 26543
291.08/294.95 c #Conflicts: 246000 | #Constraints: 27543
291.08/294.95 c #Conflicts: 247000 | #Constraints: 28543
291.08/294.95 c #Conflicts: 248000 | #Constraints: 29543
291.08/294.95 c #Conflicts: 249000 | #Constraints: 30543
291.08/294.95 c INPROCESSING
291.08/294.95 c GARBAGE COLLECT
291.08/294.95 c #Conflicts: 250000 | #Constraints: 19311
291.08/294.95 c #Conflicts: 251000 | #Constraints: 20311
291.08/294.95 c #Conflicts: 252000 | #Constraints: 21311
291.08/294.95 c #Conflicts: 253000 | #Constraints: 22311
291.08/294.95 c #Conflicts: 254000 | #Constraints: 23311
291.08/294.95 c #Conflicts: 255000 | #Constraints: 24311
291.08/294.95 c #Conflicts: 256000 | #Constraints: 25311
291.08/294.95 c #Conflicts: 257000 | #Constraints: 26311
291.08/294.95 c #Conflicts: 258000 | #Constraints: 27311
291.08/294.95 c #Conflicts: 259000 | #Constraints: 28312
291.08/294.95 c #Conflicts: 260000 | #Constraints: 29312
291.08/294.95 c INPROCESSING
291.08/294.95 c GARBAGE COLLECT
291.08/294.95 c #Conflicts: 261000 | #Constraints: 18634
291.08/294.95 c #Conflicts: 262000 | #Constraints: 19634
291.08/294.95 c #Conflicts: 263000 | #Constraints: 20634
291.08/294.95 c #Conflicts: 264000 | #Constraints: 21634
291.08/294.95 c #Conflicts: 265000 | #Constraints: 22634
291.08/294.95 c #Conflicts: 266000 | #Constraints: 23634
291.08/294.95 c #Conflicts: 267000 | #Constraints: 24634
291.08/294.95 c #Conflicts: 268000 | #Constraints: 25634
291.08/294.95 c #Conflicts: 269000 | #Constraints: 26634
291.08/294.95 c #Conflicts: 270000 | #Constraints: 27634
291.08/294.95 c #Conflicts: 271000 | #Constraints: 28634
291.08/294.95 c #Conflicts: 272000 | #Constraints: 29634
291.08/294.95 c INPROCESSING
291.08/294.95 c GARBAGE COLLECT
291.08/294.95 c #Conflicts: 273000 | #Constraints: 19177
291.08/294.95 c #Conflicts: 274000 | #Constraints: 20177
291.08/294.95 c #Conflicts: 275000 | #Constraints: 21177
291.08/294.95 c #Conflicts: 276000 | #Constraints: 22177
291.08/294.95 c #Conflicts: 277000 | #Constraints: 23177
291.08/294.95 c #Conflicts: 278000 | #Constraints: 24177
291.08/294.95 c #Conflicts: 279000 | #Constraints: 25177
291.08/294.95 c #Conflicts: 280000 | #Constraints: 26177
291.08/294.95 c #Conflicts: 281000 | #Constraints: 27177
291.08/294.95 c #Conflicts: 282000 | #Constraints: 28177
291.08/294.95 c #Conflicts: 283000 | #Constraints: 29177
291.08/294.95 c #Conflicts: 284000 | #Constraints: 30177
291.08/294.95 c #Conflicts: 285000 | #Constraints: 31177
291.08/294.95 c #Conflicts: 286000 | #Constraints: 32177
291.08/294.95 c #Conflicts: 287000 | #Constraints: 33177
291.08/294.95 c #Conflicts: 288000 | #Constraints: 34177
291.08/294.95 c #Conflicts: 289000 | #Constraints: 35177
291.08/294.95 c #Conflicts: 290000 | #Constraints: 36177
291.08/294.95 c #Conflicts: 291000 | #Constraints: 37177
291.08/294.95 c #Conflicts: 292000 | #Constraints: 38177
291.08/294.95 c #Conflicts: 293000 | #Constraints: 39177
396.73/401.54 c #Conflicts: 294000 | #Constraints: 40177
396.73/401.54 c #Conflicts: 295000 | #Constraints: 41177
396.73/401.54 c #Conflicts: 296000 | #Constraints: 42177
396.73/401.54 c #Conflicts: 297000 | #Constraints: 43177
396.73/401.54 c #Conflicts: 298000 | #Constraints: 44177
396.73/401.54 c #Conflicts: 299000 | #Constraints: 45177
396.73/401.54 c #Conflicts: 300000 | #Constraints: 46177
396.73/401.54 c #Conflicts: 301000 | #Constraints: 47177
396.73/401.54 c #Conflicts: 302000 | #Constraints: 48177
396.73/401.54 c #Conflicts: 303000 | #Constraints: 49177
396.73/401.54 c #Conflicts: 304000 | #Constraints: 50177
396.73/401.54 c #Conflicts: 305000 | #Constraints: 51177
396.73/401.54 c #Conflicts: 306000 | #Constraints: 52177
396.73/401.54 c #Conflicts: 307000 | #Constraints: 53177
396.73/401.54 c #Conflicts: 308000 | #Constraints: 54177
396.73/401.54 c #Conflicts: 309000 | #Constraints: 55177
396.73/401.54 c #Conflicts: 310000 | #Constraints: 56177
396.73/401.54 c #Conflicts: 311000 | #Constraints: 57177
396.73/401.54 c #Conflicts: 312000 | #Constraints: 58177
396.73/401.54 c #Conflicts: 313000 | #Constraints: 59177
396.73/401.54 c #Conflicts: 314000 | #Constraints: 60177
396.73/401.54 c #Conflicts: 315000 | #Constraints: 61177
396.73/401.54 c INPROCESSING
396.73/401.54 c GARBAGE COLLECT
396.73/401.54 c #Conflicts: 316000 | #Constraints: 34957
396.73/401.54 c #Conflicts: 317000 | #Constraints: 35957
396.73/401.54 c #Conflicts: 318000 | #Constraints: 36957
396.73/401.54 c #Conflicts: 319000 | #Constraints: 37957
396.73/401.54 c #Conflicts: 320000 | #Constraints: 38957
396.73/401.54 c #Conflicts: 321000 | #Constraints: 39957
396.73/401.54 c #Conflicts: 322000 | #Constraints: 40957
396.73/401.54 c #Conflicts: 323000 | #Constraints: 41957
396.73/401.54 c #Conflicts: 324000 | #Constraints: 42957
396.73/401.54 c #Conflicts: 325000 | #Constraints: 43958
396.73/401.54 c #Conflicts: 326000 | #Constraints: 44958
396.73/401.54 c #Conflicts: 327000 | #Constraints: 45958
396.73/401.54 c INPROCESSING
396.73/401.54 c GARBAGE COLLECT
396.73/401.54 c #Conflicts: 328000 | #Constraints: 27043
396.73/401.54 c #Conflicts: 329000 | #Constraints: 28043
396.73/401.54 c #Conflicts: 330000 | #Constraints: 29043
396.73/401.54 c #Conflicts: 331000 | #Constraints: 30043
396.73/401.54 c #Conflicts: 332000 | #Constraints: 31043
396.73/401.54 c #Conflicts: 333000 | #Constraints: 32043
396.73/401.54 c #Conflicts: 334000 | #Constraints: 33043
396.73/401.54 c #Conflicts: 335000 | #Constraints: 34043
396.73/401.54 c #Conflicts: 336000 | #Constraints: 35043
396.73/401.54 c #Conflicts: 337000 | #Constraints: 36043
396.73/401.54 c #Conflicts: 338000 | #Constraints: 37043
396.73/401.54 c #Conflicts: 339000 | #Constraints: 38043
396.73/401.54 c #Conflicts: 340000 | #Constraints: 39043
396.73/401.54 c INPROCESSING
396.73/401.54 c GARBAGE COLLECT
396.73/401.54 c #Conflicts: 341000 | #Constraints: 23652
396.73/401.54 c #Conflicts: 342000 | #Constraints: 24652
396.73/401.54 c #Conflicts: 343000 | #Constraints: 25652
396.73/401.54 c #Conflicts: 344000 | #Constraints: 26652
396.73/401.54 c #Conflicts: 345000 | #Constraints: 27652
396.73/401.54 c #Conflicts: 346000 | #Constraints: 28652
396.73/401.54 c #Conflicts: 347000 | #Constraints: 29652
396.73/401.54 c #Conflicts: 348000 | #Constraints: 30652
396.73/401.54 c #Conflicts: 349000 | #Constraints: 31652
396.73/401.54 c #Conflicts: 350000 | #Constraints: 32652
396.73/401.54 c #Conflicts: 351000 | #Constraints: 33652
396.73/401.54 c #Conflicts: 352000 | #Constraints: 34652
396.73/401.54 c #Conflicts: 353000 | #Constraints: 35652
396.73/401.54 c INPROCESSING
396.73/401.54 c GARBAGE COLLECT
396.73/401.54 c #Conflicts: 354000 | #Constraints: 22009
396.73/401.54 c #Conflicts: 355000 | #Constraints: 23009
396.73/401.54 c #Conflicts: 356000 | #Constraints: 24009
396.73/401.54 c #Conflicts: 357000 | #Constraints: 25009
396.73/401.54 c #Conflicts: 358000 | #Constraints: 26009
396.73/401.54 c #Conflicts: 359000 | #Constraints: 27009
396.73/401.54 c #Conflicts: 360000 | #Constraints: 28009
396.73/401.54 c #Conflicts: 361000 | #Constraints: 29009
396.73/401.54 c #Conflicts: 362000 | #Constraints: 30009
396.73/401.54 c #Conflicts: 363000 | #Constraints: 31009
396.73/401.54 c #Conflicts: 364000 | #Constraints: 32009
396.73/401.54 c #Conflicts: 365000 | #Constraints: 33009
396.73/401.54 c #Conflicts: 366000 | #Constraints: 34009
396.73/401.54 c INPROCESSING
396.73/401.54 c GARBAGE COLLECT
396.73/401.54 c #Conflicts: 367000 | #Constraints: 21020
396.73/401.54 c #Conflicts: 368000 | #Constraints: 22020
396.73/401.54 c #Conflicts: 369000 | #Constraints: 23020
506.48/511.73 c #Conflicts: 370000 | #Constraints: 24020
506.48/511.73 c #Conflicts: 371000 | #Constraints: 25020
506.48/511.73 c #Conflicts: 372000 | #Constraints: 26020
506.48/511.73 c #Conflicts: 373000 | #Constraints: 27020
506.48/511.73 c #Conflicts: 374000 | #Constraints: 28020
506.48/511.73 c #Conflicts: 375000 | #Constraints: 29020
506.48/511.73 c #Conflicts: 376000 | #Constraints: 30020
506.48/511.73 c #Conflicts: 377000 | #Constraints: 31020
506.48/511.73 c #Conflicts: 378000 | #Constraints: 32020
506.48/511.73 c #Conflicts: 379000 | #Constraints: 33020
506.48/511.73 c #Conflicts: 380000 | #Constraints: 34020
506.48/511.73 c INPROCESSING
506.48/511.73 c GARBAGE COLLECT
506.48/511.73 c #Conflicts: 381000 | #Constraints: 21371
506.48/511.73 c #Conflicts: 382000 | #Constraints: 22371
506.48/511.73 c #Conflicts: 383000 | #Constraints: 23371
506.48/511.73 c #Conflicts: 384000 | #Constraints: 24371
506.48/511.73 c #Conflicts: 385000 | #Constraints: 25371
506.48/511.73 c #Conflicts: 386000 | #Constraints: 26371
506.48/511.73 c #Conflicts: 387000 | #Constraints: 27371
506.48/511.73 c #Conflicts: 388000 | #Constraints: 28371
506.48/511.73 c #Conflicts: 389000 | #Constraints: 29371
506.48/511.73 c #Conflicts: 390000 | #Constraints: 30371
506.48/511.73 c #Conflicts: 391000 | #Constraints: 31371
506.48/511.73 c #Conflicts: 392000 | #Constraints: 32371
506.48/511.73 c #Conflicts: 393000 | #Constraints: 33371
506.48/511.73 c #Conflicts: 394000 | #Constraints: 34371
506.48/511.73 c #Conflicts: 395000 | #Constraints: 35371
506.48/511.73 c #Conflicts: 396000 | #Constraints: 36371
506.48/511.73 c #Conflicts: 397000 | #Constraints: 37371
506.48/511.73 c #Conflicts: 398000 | #Constraints: 38371
506.48/511.73 c #Conflicts: 399000 | #Constraints: 39371
506.48/511.73 c #Conflicts: 400000 | #Constraints: 40371
506.48/511.73 c #Conflicts: 401000 | #Constraints: 41371
506.48/511.73 c #Conflicts: 402000 | #Constraints: 42371
506.48/511.73 c #Conflicts: 403000 | #Constraints: 43371
506.48/511.73 c #Conflicts: 404000 | #Constraints: 44371
506.48/511.73 c #Conflicts: 405000 | #Constraints: 45371
506.48/511.73 c #Conflicts: 406000 | #Constraints: 46371
506.48/511.73 c #Conflicts: 407000 | #Constraints: 47371
506.48/511.73 c #Conflicts: 408000 | #Constraints: 48371
506.48/511.73 c #Conflicts: 409000 | #Constraints: 49371
506.48/511.73 c #Conflicts: 410000 | #Constraints: 50371
506.48/511.73 c #Conflicts: 411000 | #Constraints: 51371
506.48/511.73 c #Conflicts: 412000 | #Constraints: 52371
506.48/511.73 c #Conflicts: 413000 | #Constraints: 53371
506.48/511.73 c #Conflicts: 414000 | #Constraints: 54371
506.48/511.73 c #Conflicts: 415000 | #Constraints: 55371
506.48/511.73 c #Conflicts: 416000 | #Constraints: 56371
506.48/511.73 c #Conflicts: 417000 | #Constraints: 57371
506.48/511.73 c #Conflicts: 418000 | #Constraints: 58371
506.48/511.73 c #Conflicts: 419000 | #Constraints: 59371
506.48/511.73 c #Conflicts: 420000 | #Constraints: 60371
506.48/511.73 c #Conflicts: 421000 | #Constraints: 61371
506.48/511.73 c #Conflicts: 422000 | #Constraints: 62371
506.48/511.73 c #Conflicts: 423000 | #Constraints: 63371
506.48/511.73 c #Conflicts: 424000 | #Constraints: 64371
506.48/511.73 c #Conflicts: 425000 | #Constraints: 65371
506.48/511.73 c #Conflicts: 426000 | #Constraints: 66371
506.48/511.73 c #Conflicts: 427000 | #Constraints: 67371
506.48/511.73 c #Conflicts: 428000 | #Constraints: 68371
506.48/511.73 c #Conflicts: 429000 | #Constraints: 69371
506.48/511.73 c #Conflicts: 430000 | #Constraints: 70371
506.48/511.73 c INPROCESSING
506.48/511.73 c GARBAGE COLLECT
506.48/511.73 c rational objective 90.0236
624.76/631.30 c #Conflicts: 431000 | #Constraints: 39296
624.76/631.30 c #Conflicts: 432000 | #Constraints: 40296
624.76/631.30 c #Conflicts: 433000 | #Constraints: 41296
624.76/631.30 c #Conflicts: 434000 | #Constraints: 42296
624.76/631.30 c #Conflicts: 435000 | #Constraints: 43296
624.76/631.30 c #Conflicts: 436000 | #Constraints: 44296
624.76/631.30 c #Conflicts: 437000 | #Constraints: 45296
624.76/631.30 c #Conflicts: 438000 | #Constraints: 46296
624.76/631.30 c #Conflicts: 439000 | #Constraints: 47296
624.76/631.30 c #Conflicts: 440000 | #Constraints: 48296
624.76/631.30 c #Conflicts: 441000 | #Constraints: 49296
624.76/631.30 c #Conflicts: 442000 | #Constraints: 50296
624.76/631.30 c #Conflicts: 443000 | #Constraints: 51296
624.76/631.30 c #Conflicts: 444000 | #Constraints: 52296
624.76/631.30 c #Conflicts: 445000 | #Constraints: 53296
624.76/631.30 c INPROCESSING
624.76/631.30 c GARBAGE COLLECT
624.76/631.30 c #Conflicts: 446000 | #Constraints: 30947
624.76/631.30 c #Conflicts: 447000 | #Constraints: 31947
624.76/631.30 c #Conflicts: 448000 | #Constraints: 32947
624.76/631.30 c #Conflicts: 449000 | #Constraints: 33947
624.76/631.30 c #Conflicts: 450000 | #Constraints: 34947
624.76/631.30 c #Conflicts: 451000 | #Constraints: 35947
624.76/631.30 c #Conflicts: 452000 | #Constraints: 36947
624.76/631.30 c #Conflicts: 453000 | #Constraints: 37947
624.76/631.30 c #Conflicts: 454000 | #Constraints: 38947
624.76/631.30 c #Conflicts: 455000 | #Constraints: 39947
624.76/631.30 c #Conflicts: 456000 | #Constraints: 40947
624.76/631.30 c #Conflicts: 457000 | #Constraints: 41947
624.76/631.30 c #Conflicts: 458000 | #Constraints: 42947
624.76/631.30 c #Conflicts: 459000 | #Constraints: 43947
624.76/631.30 c #Conflicts: 460000 | #Constraints: 44947
624.76/631.30 c INPROCESSING
624.76/631.30 c GARBAGE COLLECT
624.76/631.30 c #Conflicts: 461000 | #Constraints: 26877
624.76/631.30 c #Conflicts: 462000 | #Constraints: 27877
624.76/631.30 c #Conflicts: 463000 | #Constraints: 28877
624.76/631.30 c #Conflicts: 464000 | #Constraints: 29877
624.76/631.30 c #Conflicts: 465000 | #Constraints: 30877
624.76/631.30 c #Conflicts: 466000 | #Constraints: 31877
624.76/631.30 c #Conflicts: 467000 | #Constraints: 32877
624.76/631.30 c #Conflicts: 468000 | #Constraints: 33877
624.76/631.30 c #Conflicts: 469000 | #Constraints: 34877
624.76/631.30 c #Conflicts: 470000 | #Constraints: 35877
624.76/631.30 c #Conflicts: 471000 | #Constraints: 36877
624.76/631.30 c #Conflicts: 472000 | #Constraints: 37877
624.76/631.30 c #Conflicts: 473000 | #Constraints: 38877
624.76/631.30 c #Conflicts: 474000 | #Constraints: 39877
624.76/631.30 c #Conflicts: 475000 | #Constraints: 40877
624.76/631.30 c INPROCESSING
624.76/631.30 c GARBAGE COLLECT
624.76/631.30 c #Conflicts: 476000 | #Constraints: 24713
624.76/631.30 c #Conflicts: 477000 | #Constraints: 25713
624.76/631.30 c #Conflicts: 478000 | #Constraints: 26713
624.76/631.30 c #Conflicts: 479000 | #Constraints: 27713
624.76/631.30 c #Conflicts: 480000 | #Constraints: 28713
624.76/631.30 c #Conflicts: 481000 | #Constraints: 29713
624.76/631.30 c #Conflicts: 482000 | #Constraints: 30713
624.76/631.30 c #Conflicts: 483000 | #Constraints: 31713
624.76/631.30 c #Conflicts: 484000 | #Constraints: 32713
624.76/631.30 c #Conflicts: 485000 | #Constraints: 33713
624.76/631.30 c #Conflicts: 486000 | #Constraints: 34713
624.76/631.30 c #Conflicts: 487000 | #Constraints: 35713
624.76/631.30 c #Conflicts: 488000 | #Constraints: 36713
624.76/631.30 c #Conflicts: 489000 | #Constraints: 37713
624.76/631.30 c #Conflicts: 490000 | #Constraints: 38713
624.76/631.30 c INPROCESSING
624.76/631.30 c GARBAGE COLLECT
624.76/631.30 c #Conflicts: 491000 | #Constraints: 23469
624.76/631.30 c #Conflicts: 492000 | #Constraints: 24469
624.76/631.30 c #Conflicts: 493000 | #Constraints: 25469
624.76/631.30 c #Conflicts: 494000 | #Constraints: 26469
624.76/631.30 c #Conflicts: 495000 | #Constraints: 27469
624.76/631.30 c #Conflicts: 496000 | #Constraints: 28469
624.76/631.30 c #Conflicts: 497000 | #Constraints: 29469
624.76/631.30 c #Conflicts: 498000 | #Constraints: 30469
624.76/631.30 c #Conflicts: 499000 | #Constraints: 31469
624.76/631.30 c #Conflicts: 500000 | #Constraints: 32469
624.76/631.30 c #Conflicts: 501000 | #Constraints: 33469
624.76/631.30 c #Conflicts: 502000 | #Constraints: 34469
624.76/631.30 c #Conflicts: 503000 | #Constraints: 35469
624.76/631.30 c #Conflicts: 504000 | #Constraints: 36469
624.76/631.30 c #Conflicts: 505000 | #Constraints: 37469
624.76/631.30 c #Conflicts: 506000 | #Constraints: 38469
624.76/631.30 c INPROCESSING
759.58/767.59 c GARBAGE COLLECT
759.58/767.59 c #Conflicts: 507000 | #Constraints: 23700
759.58/767.59 c #Conflicts: 508000 | #Constraints: 24700
759.58/767.59 c #Conflicts: 509000 | #Constraints: 25700
759.58/767.59 c #Conflicts: 510000 | #Constraints: 26700
759.58/767.59 c #Conflicts: 511000 | #Constraints: 27700
759.58/767.59 c #Conflicts: 512000 | #Constraints: 28700
759.58/767.59 c #Conflicts: 513000 | #Constraints: 29700
759.58/767.59 c #Conflicts: 514000 | #Constraints: 30700
759.58/767.59 c #Conflicts: 515000 | #Constraints: 31700
759.58/767.59 c #Conflicts: 516000 | #Constraints: 32700
759.58/767.59 c #Conflicts: 517000 | #Constraints: 33700
759.58/767.59 c #Conflicts: 518000 | #Constraints: 34700
759.58/767.59 c #Conflicts: 519000 | #Constraints: 35700
759.58/767.59 c #Conflicts: 520000 | #Constraints: 36700
759.58/767.59 c #Conflicts: 521000 | #Constraints: 37700
759.58/767.59 c INPROCESSING
759.58/767.59 c GARBAGE COLLECT
759.58/767.59 c #Conflicts: 522000 | #Constraints: 22919
759.58/767.59 c #Conflicts: 523000 | #Constraints: 23919
759.58/767.59 c #Conflicts: 524000 | #Constraints: 24919
759.58/767.59 c #Conflicts: 525000 | #Constraints: 25919
759.58/767.59 c #Conflicts: 526000 | #Constraints: 26919
759.58/767.59 c #Conflicts: 527000 | #Constraints: 27919
759.58/767.59 c #Conflicts: 528000 | #Constraints: 28919
759.58/767.59 c #Conflicts: 529000 | #Constraints: 29919
759.58/767.59 c #Conflicts: 530000 | #Constraints: 30919
759.58/767.59 c #Conflicts: 531000 | #Constraints: 31919
759.58/767.59 c #Conflicts: 532000 | #Constraints: 32919
759.58/767.59 c #Conflicts: 533000 | #Constraints: 33919
759.58/767.59 c #Conflicts: 534000 | #Constraints: 34919
759.58/767.59 c #Conflicts: 535000 | #Constraints: 35919
759.58/767.59 c #Conflicts: 536000 | #Constraints: 36919
759.58/767.59 c #Conflicts: 537000 | #Constraints: 37919
759.58/767.59 c #Conflicts: 538000 | #Constraints: 38919
759.58/767.59 c #Conflicts: 539000 | #Constraints: 39919
759.58/767.59 c #Conflicts: 540000 | #Constraints: 40919
759.58/767.59 c #Conflicts: 541000 | #Constraints: 41919
759.58/767.59 c #Conflicts: 542000 | #Constraints: 42919
759.58/767.59 c #Conflicts: 543000 | #Constraints: 43919
759.58/767.59 c #Conflicts: 544000 | #Constraints: 44919
759.58/767.59 c #Conflicts: 545000 | #Constraints: 45919
759.58/767.59 c #Conflicts: 546000 | #Constraints: 46919
759.58/767.59 c #Conflicts: 547000 | #Constraints: 47919
759.58/767.59 c #Conflicts: 548000 | #Constraints: 48919
759.58/767.59 c #Conflicts: 549000 | #Constraints: 49919
759.58/767.59 c #Conflicts: 550000 | #Constraints: 50919
759.58/767.59 c #Conflicts: 551000 | #Constraints: 51919
759.58/767.59 c #Conflicts: 552000 | #Constraints: 52919
759.58/767.59 c #Conflicts: 553000 | #Constraints: 53919
759.58/767.59 c #Conflicts: 554000 | #Constraints: 54919
759.58/767.59 c #Conflicts: 555000 | #Constraints: 55919
759.58/767.59 c #Conflicts: 556000 | #Constraints: 56919
759.58/767.59 c #Conflicts: 557000 | #Constraints: 57919
759.58/767.59 c #Conflicts: 558000 | #Constraints: 58919
759.58/767.59 c #Conflicts: 559000 | #Constraints: 59919
759.58/767.59 c #Conflicts: 560000 | #Constraints: 60919
759.58/767.59 c #Conflicts: 561000 | #Constraints: 61919
759.58/767.59 c #Conflicts: 562000 | #Constraints: 62919
759.58/767.59 c #Conflicts: 563000 | #Constraints: 63919
759.58/767.59 c #Conflicts: 564000 | #Constraints: 64919
759.58/767.59 c #Conflicts: 565000 | #Constraints: 65919
759.58/767.59 c #Conflicts: 566000 | #Constraints: 66919
759.58/767.59 c #Conflicts: 567000 | #Constraints: 67919
759.58/767.59 c #Conflicts: 568000 | #Constraints: 68919
759.58/767.59 c #Conflicts: 569000 | #Constraints: 69919
759.58/767.59 c #Conflicts: 570000 | #Constraints: 70919
759.58/767.59 c #Conflicts: 571000 | #Constraints: 71919
759.58/767.59 c #Conflicts: 572000 | #Constraints: 72919
759.58/767.59 c #Conflicts: 573000 | #Constraints: 73919
759.58/767.59 c #Conflicts: 574000 | #Constraints: 74919
759.58/767.59 c #Conflicts: 575000 | #Constraints: 75919
759.58/767.59 c #Conflicts: 576000 | #Constraints: 76919
759.58/767.59 c #Conflicts: 577000 | #Constraints: 77919
759.58/767.59 c #Conflicts: 578000 | #Constraints: 78919
759.58/767.59 c #Conflicts: 579000 | #Constraints: 79919
759.58/767.59 c #Conflicts: 580000 | #Constraints: 80919
759.58/767.59 c INPROCESSING
759.58/767.59 c GARBAGE COLLECT
759.58/767.59 c #Conflicts: 581000 | #Constraints: 44549
759.58/767.59 c #Conflicts: 582000 | #Constraints: 45549
759.58/767.59 c #Conflicts: 583000 | #Constraints: 46549
759.58/767.59 c #Conflicts: 584000 | #Constraints: 47549
858.85/867.59 c #Conflicts: 585000 | #Constraints: 48549
858.85/867.59 c #Conflicts: 586000 | #Constraints: 49549
858.85/867.59 c #Conflicts: 587000 | #Constraints: 50549
858.85/867.59 c #Conflicts: 588000 | #Constraints: 51549
858.85/867.59 c #Conflicts: 589000 | #Constraints: 52549
858.85/867.59 c #Conflicts: 590000 | #Constraints: 53549
858.85/867.59 c #Conflicts: 591000 | #Constraints: 54549
858.85/867.59 c #Conflicts: 592000 | #Constraints: 55549
858.85/867.59 c #Conflicts: 593000 | #Constraints: 56549
858.85/867.59 c #Conflicts: 594000 | #Constraints: 57549
858.85/867.59 c #Conflicts: 595000 | #Constraints: 58549
858.85/867.59 c #Conflicts: 596000 | #Constraints: 59549
858.85/867.59 c #Conflicts: 597000 | #Constraints: 60549
858.85/867.59 c INPROCESSING
858.85/867.59 c GARBAGE COLLECT
858.85/867.59 c #Conflicts: 598000 | #Constraints: 34249
858.85/867.59 c #Conflicts: 599000 | #Constraints: 35249
858.85/867.59 c #Conflicts: 600000 | #Constraints: 36249
858.85/867.59 c #Conflicts: 601000 | #Constraints: 37249
858.85/867.59 c #Conflicts: 602000 | #Constraints: 38249
858.85/867.59 c #Conflicts: 603000 | #Constraints: 39249
858.85/867.59 c #Conflicts: 604000 | #Constraints: 40249
858.85/867.59 c #Conflicts: 605000 | #Constraints: 41249
858.85/867.59 c #Conflicts: 606000 | #Constraints: 42249
858.85/867.59 c #Conflicts: 607000 | #Constraints: 43249
858.85/867.59 c #Conflicts: 608000 | #Constraints: 44249
858.85/867.59 c #Conflicts: 609000 | #Constraints: 45249
858.85/867.59 c #Conflicts: 610000 | #Constraints: 46249
858.85/867.59 c #Conflicts: 611000 | #Constraints: 47249
858.85/867.59 c #Conflicts: 612000 | #Constraints: 48249
858.85/867.59 c #Conflicts: 613000 | #Constraints: 49249
858.85/867.59 c #Conflicts: 614000 | #Constraints: 50249
858.85/867.59 c #Conflicts: 615000 | #Constraints: 51249
858.85/867.59 c INPROCESSING
858.85/867.59 c GARBAGE COLLECT
858.85/867.59 c #Conflicts: 616000 | #Constraints: 30049
858.85/867.59 c #Conflicts: 617000 | #Constraints: 31049
858.85/867.59 c #Conflicts: 618000 | #Constraints: 32049
858.85/867.59 c #Conflicts: 619000 | #Constraints: 33049
858.85/867.59 c #Conflicts: 620000 | #Constraints: 34049
858.85/867.59 c #Conflicts: 621000 | #Constraints: 35049
858.85/867.59 c #Conflicts: 622000 | #Constraints: 36049
858.85/867.59 c #Conflicts: 623000 | #Constraints: 37049
858.85/867.59 c #Conflicts: 624000 | #Constraints: 38049
858.85/867.59 c #Conflicts: 625000 | #Constraints: 39049
858.85/867.59 c #Conflicts: 626000 | #Constraints: 40049
858.85/867.59 c #Conflicts: 627000 | #Constraints: 41049
858.85/867.59 c #Conflicts: 628000 | #Constraints: 42049
858.85/867.59 c #Conflicts: 629000 | #Constraints: 43049
858.85/867.59 c #Conflicts: 630000 | #Constraints: 44049
858.85/867.59 c #Conflicts: 631000 | #Constraints: 45049
858.85/867.59 c #Conflicts: 632000 | #Constraints: 46049
858.85/867.59 c INPROCESSING
858.85/867.59 c GARBAGE COLLECT
858.85/867.59 c #Conflicts: 633000 | #Constraints: 27289
858.85/867.59 c #Conflicts: 634000 | #Constraints: 28289
858.85/867.59 c #Conflicts: 635000 | #Constraints: 29289
858.85/867.59 c #Conflicts: 636000 | #Constraints: 30289
858.85/867.59 c #Conflicts: 637000 | #Constraints: 31289
858.85/867.59 c #Conflicts: 638000 | #Constraints: 32289
858.85/867.59 c #Conflicts: 639000 | #Constraints: 33289
858.85/867.59 c #Conflicts: 640000 | #Constraints: 34289
858.85/867.59 c #Conflicts: 641000 | #Constraints: 35289
858.85/867.59 c #Conflicts: 642000 | #Constraints: 36289
858.85/867.59 c #Conflicts: 643000 | #Constraints: 37289
858.85/867.59 c #Conflicts: 644000 | #Constraints: 38289
858.85/867.59 c #Conflicts: 645000 | #Constraints: 39289
858.85/867.59 c #Conflicts: 646000 | #Constraints: 40289
858.85/867.59 c #Conflicts: 647000 | #Constraints: 41289
858.85/867.59 c #Conflicts: 648000 | #Constraints: 42289
858.85/867.59 c #Conflicts: 649000 | #Constraints: 43289
858.85/867.59 c #Conflicts: 650000 | #Constraints: 44289
858.85/867.59 c INPROCESSING
858.85/867.59 c GARBAGE COLLECT
858.85/867.59 c #Conflicts: 651000 | #Constraints: 26525
858.85/867.59 c #Conflicts: 652000 | #Constraints: 27525
858.85/867.59 c #Conflicts: 653000 | #Constraints: 28525
858.85/867.59 c #Conflicts: 654000 | #Constraints: 29525
858.85/867.59 c #Conflicts: 655000 | #Constraints: 30525
858.85/867.59 c #Conflicts: 656000 | #Constraints: 31525
858.85/867.59 c #Conflicts: 657000 | #Constraints: 32525
858.85/867.59 c #Conflicts: 658000 | #Constraints: 33525
858.85/867.59 c #Conflicts: 659000 | #Constraints: 34525
858.85/867.59 c #Conflicts: 660000 | #Constraints: 35525
1033.12/1044.77 c #Conflicts: 661000 | #Constraints: 36525
1033.12/1044.77 c #Conflicts: 662000 | #Constraints: 37525
1033.12/1044.77 c #Conflicts: 663000 | #Constraints: 38525
1033.12/1044.77 c #Conflicts: 664000 | #Constraints: 39525
1033.12/1044.77 c #Conflicts: 665000 | #Constraints: 40525
1033.12/1044.77 c #Conflicts: 666000 | #Constraints: 41525
1033.12/1044.77 c #Conflicts: 667000 | #Constraints: 42525
1033.12/1044.77 c INPROCESSING
1033.12/1044.77 c GARBAGE COLLECT
1033.12/1044.77 c #Conflicts: 668000 | #Constraints: 25244
1033.12/1044.77 c #Conflicts: 669000 | #Constraints: 26244
1033.12/1044.77 c #Conflicts: 670000 | #Constraints: 27244
1033.12/1044.77 c #Conflicts: 671000 | #Constraints: 28244
1033.12/1044.77 c #Conflicts: 672000 | #Constraints: 29244
1033.12/1044.77 c #Conflicts: 673000 | #Constraints: 30244
1033.12/1044.77 c #Conflicts: 674000 | #Constraints: 31244
1033.12/1044.77 c #Conflicts: 675000 | #Constraints: 32244
1033.12/1044.77 c #Conflicts: 676000 | #Constraints: 33244
1033.12/1044.77 c #Conflicts: 677000 | #Constraints: 34244
1033.12/1044.77 c #Conflicts: 678000 | #Constraints: 35244
1033.12/1044.77 c #Conflicts: 679000 | #Constraints: 36244
1033.12/1044.77 c #Conflicts: 680000 | #Constraints: 37244
1033.12/1044.77 c #Conflicts: 681000 | #Constraints: 38244
1033.12/1044.77 c #Conflicts: 682000 | #Constraints: 39244
1033.12/1044.77 c #Conflicts: 683000 | #Constraints: 40244
1033.12/1044.77 c #Conflicts: 684000 | #Constraints: 41244
1033.12/1044.77 c #Conflicts: 685000 | #Constraints: 42244
1033.12/1044.77 c #Conflicts: 686000 | #Constraints: 43244
1033.12/1044.77 c #Conflicts: 687000 | #Constraints: 44244
1033.12/1044.77 c #Conflicts: 688000 | #Constraints: 45244
1033.12/1044.77 c #Conflicts: 689000 | #Constraints: 46244
1033.12/1044.77 c #Conflicts: 690000 | #Constraints: 47244
1033.12/1044.77 c #Conflicts: 691000 | #Constraints: 48244
1033.12/1044.77 c #Conflicts: 692000 | #Constraints: 49244
1033.12/1044.77 c #Conflicts: 693000 | #Constraints: 50244
1033.12/1044.77 c #Conflicts: 694000 | #Constraints: 51244
1033.12/1044.77 c #Conflicts: 695000 | #Constraints: 52244
1033.12/1044.77 c #Conflicts: 696000 | #Constraints: 53244
1033.12/1044.77 c #Conflicts: 697000 | #Constraints: 54244
1033.12/1044.77 c #Conflicts: 698000 | #Constraints: 55244
1033.12/1044.77 c #Conflicts: 699000 | #Constraints: 56244
1033.12/1044.77 c #Conflicts: 700000 | #Constraints: 57244
1033.12/1044.77 c #Conflicts: 701000 | #Constraints: 58244
1033.12/1044.77 c #Conflicts: 702000 | #Constraints: 59244
1033.12/1044.77 c #Conflicts: 703000 | #Constraints: 60244
1033.12/1044.77 c #Conflicts: 704000 | #Constraints: 61244
1033.12/1044.77 c #Conflicts: 705000 | #Constraints: 62244
1033.12/1044.77 c #Conflicts: 706000 | #Constraints: 63244
1033.12/1044.77 c #Conflicts: 707000 | #Constraints: 64244
1033.12/1044.77 c #Conflicts: 708000 | #Constraints: 65244
1033.12/1044.77 c #Conflicts: 709000 | #Constraints: 66244
1033.12/1044.77 c #Conflicts: 710000 | #Constraints: 67244
1033.12/1044.77 c #Conflicts: 711000 | #Constraints: 68244
1033.12/1044.77 c #Conflicts: 712000 | #Constraints: 69244
1033.12/1044.77 c #Conflicts: 713000 | #Constraints: 70244
1033.12/1044.77 c #Conflicts: 714000 | #Constraints: 71244
1033.12/1044.77 c #Conflicts: 715000 | #Constraints: 72244
1033.12/1044.77 c #Conflicts: 716000 | #Constraints: 73244
1033.12/1044.77 c #Conflicts: 717000 | #Constraints: 74244
1033.12/1044.77 c #Conflicts: 718000 | #Constraints: 75244
1033.12/1044.77 c #Conflicts: 719000 | #Constraints: 76244
1033.12/1044.77 c #Conflicts: 720000 | #Constraints: 77244
1033.12/1044.77 c #Conflicts: 721000 | #Constraints: 78244
1033.12/1044.77 c #Conflicts: 722000 | #Constraints: 79244
1033.12/1044.77 c #Conflicts: 723000 | #Constraints: 80244
1033.12/1044.77 c #Conflicts: 724000 | #Constraints: 81244
1033.12/1044.77 c #Conflicts: 725000 | #Constraints: 82244
1033.12/1044.77 c #Conflicts: 726000 | #Constraints: 83244
1033.12/1044.77 c #Conflicts: 727000 | #Constraints: 84244
1033.12/1044.77 c #Conflicts: 728000 | #Constraints: 85244
1033.12/1044.77 c #Conflicts: 729000 | #Constraints: 86244
1033.12/1044.77 c #Conflicts: 730000 | #Constraints: 87244
1033.12/1044.77 c #Conflicts: 731000 | #Constraints: 88244
1033.12/1044.77 c #Conflicts: 732000 | #Constraints: 89244
1033.12/1044.77 c #Conflicts: 733000 | #Constraints: 90244
1033.12/1044.77 c #Conflicts: 734000 | #Constraints: 91244
1033.12/1044.77 c INPROCESSING
1033.12/1044.77 c GARBAGE COLLECT
1033.12/1044.77 c #Conflicts: 735000 | #Constraints: 49901
1033.12/1044.77 c #Conflicts: 736000 | #Constraints: 50901
1033.12/1044.77 c #Conflicts: 737000 | #Constraints: 51901
1156.05/1168.40 c #Conflicts: 738000 | #Constraints: 52901
1156.05/1168.40 c #Conflicts: 739000 | #Constraints: 53901
1156.05/1168.40 c #Conflicts: 740000 | #Constraints: 54901
1156.05/1168.40 c #Conflicts: 741000 | #Constraints: 55901
1156.05/1168.40 c #Conflicts: 742000 | #Constraints: 56901
1156.05/1168.40 c #Conflicts: 743000 | #Constraints: 57901
1156.05/1168.40 c #Conflicts: 744000 | #Constraints: 58901
1156.05/1168.40 c #Conflicts: 745000 | #Constraints: 59901
1156.05/1168.40 c #Conflicts: 746000 | #Constraints: 60901
1156.05/1168.40 c #Conflicts: 747000 | #Constraints: 61901
1156.05/1168.40 c #Conflicts: 748000 | #Constraints: 62901
1156.05/1168.40 c #Conflicts: 749000 | #Constraints: 63901
1156.05/1168.40 c #Conflicts: 750000 | #Constraints: 64901
1156.05/1168.40 c #Conflicts: 751000 | #Constraints: 65901
1156.05/1168.40 c #Conflicts: 752000 | #Constraints: 66901
1156.05/1168.40 c #Conflicts: 753000 | #Constraints: 67901
1156.05/1168.40 c INPROCESSING
1156.05/1168.40 c GARBAGE COLLECT
1156.05/1168.40 c #Conflicts: 754000 | #Constraints: 38109
1156.05/1168.40 c #Conflicts: 755000 | #Constraints: 39109
1156.05/1168.40 c #Conflicts: 756000 | #Constraints: 40109
1156.05/1168.40 c #Conflicts: 757000 | #Constraints: 41109
1156.05/1168.40 c #Conflicts: 758000 | #Constraints: 42109
1156.05/1168.40 c #Conflicts: 759000 | #Constraints: 43109
1156.05/1168.40 c #Conflicts: 760000 | #Constraints: 44109
1156.05/1168.40 c #Conflicts: 761000 | #Constraints: 45109
1156.05/1168.40 c #Conflicts: 762000 | #Constraints: 46109
1156.05/1168.40 c #Conflicts: 763000 | #Constraints: 47109
1156.05/1168.40 c #Conflicts: 764000 | #Constraints: 48109
1156.05/1168.40 c #Conflicts: 765000 | #Constraints: 49109
1156.05/1168.40 c #Conflicts: 766000 | #Constraints: 50109
1156.05/1168.40 c #Conflicts: 767000 | #Constraints: 51109
1156.05/1168.40 c #Conflicts: 768000 | #Constraints: 52109
1156.05/1168.40 c #Conflicts: 769000 | #Constraints: 53109
1156.05/1168.40 c #Conflicts: 770000 | #Constraints: 54109
1156.05/1168.40 c #Conflicts: 771000 | #Constraints: 55109
1156.05/1168.40 c #Conflicts: 772000 | #Constraints: 56109
1156.05/1168.40 c INPROCESSING
1156.05/1168.40 c GARBAGE COLLECT
1156.05/1168.40 c #Conflicts: 773000 | #Constraints: 32162
1156.05/1168.40 c #Conflicts: 774000 | #Constraints: 33162
1156.05/1168.40 c #Conflicts: 775000 | #Constraints: 34162
1156.05/1168.40 c #Conflicts: 776000 | #Constraints: 35162
1156.05/1168.40 c #Conflicts: 777000 | #Constraints: 36162
1156.05/1168.40 c #Conflicts: 778000 | #Constraints: 37162
1156.05/1168.40 c #Conflicts: 779000 | #Constraints: 38162
1156.05/1168.40 c #Conflicts: 780000 | #Constraints: 39162
1156.05/1168.40 c #Conflicts: 781000 | #Constraints: 40162
1156.05/1168.40 c #Conflicts: 782000 | #Constraints: 41162
1156.05/1168.40 c #Conflicts: 783000 | #Constraints: 42162
1156.05/1168.40 c #Conflicts: 784000 | #Constraints: 43162
1156.05/1168.40 c #Conflicts: 785000 | #Constraints: 44162
1156.05/1168.40 c #Conflicts: 786000 | #Constraints: 45162
1156.05/1168.40 c #Conflicts: 787000 | #Constraints: 46162
1156.05/1168.40 c #Conflicts: 788000 | #Constraints: 47162
1156.05/1168.40 c #Conflicts: 789000 | #Constraints: 48162
1156.05/1168.40 c #Conflicts: 790000 | #Constraints: 49162
1156.05/1168.40 c #Conflicts: 791000 | #Constraints: 50162
1156.05/1168.40 c #Conflicts: 792000 | #Constraints: 51162
1156.05/1168.40 c INPROCESSING
1156.05/1168.40 c GARBAGE COLLECT
1156.05/1168.40 c #Conflicts: 793000 | #Constraints: 29896
1156.05/1168.40 c #Conflicts: 794000 | #Constraints: 30896
1156.05/1168.40 c #Conflicts: 795000 | #Constraints: 31896
1156.05/1168.40 c #Conflicts: 796000 | #Constraints: 32896
1156.05/1168.40 c #Conflicts: 797000 | #Constraints: 33896
1156.05/1168.40 c #Conflicts: 798000 | #Constraints: 34896
1156.05/1168.40 c #Conflicts: 799000 | #Constraints: 35896
1156.05/1168.40 c #Conflicts: 800000 | #Constraints: 36896
1156.05/1168.40 c #Conflicts: 801000 | #Constraints: 37896
1156.05/1168.40 c #Conflicts: 802000 | #Constraints: 38896
1156.05/1168.40 c #Conflicts: 803000 | #Constraints: 39896
1156.05/1168.40 c #Conflicts: 804000 | #Constraints: 40896
1156.05/1168.40 c #Conflicts: 805000 | #Constraints: 41896
1156.05/1168.40 c #Conflicts: 806000 | #Constraints: 42896
1156.05/1168.40 c #Conflicts: 807000 | #Constraints: 43896
1156.05/1168.40 c #Conflicts: 808000 | #Constraints: 44896
1156.05/1168.40 c #Conflicts: 809000 | #Constraints: 45896
1156.05/1168.40 c #Conflicts: 810000 | #Constraints: 46896
1156.05/1168.40 c #Conflicts: 811000 | #Constraints: 47896
1156.05/1168.40 c #Conflicts: 812000 | #Constraints: 48896
1156.05/1168.40 c INPROCESSING
1156.05/1168.40 c GARBAGE COLLECT
1156.05/1168.40 c #Conflicts: 813000 | #Constraints: 28904
1156.05/1168.40 c #Conflicts: 814000 | #Constraints: 29904
1295.88/1309.94 c #Conflicts: 815000 | #Constraints: 30904
1295.88/1309.94 c #Conflicts: 816000 | #Constraints: 31904
1295.88/1309.94 c #Conflicts: 817000 | #Constraints: 32904
1295.88/1309.94 c #Conflicts: 818000 | #Constraints: 33904
1295.88/1309.94 c #Conflicts: 819000 | #Constraints: 34904
1295.88/1309.94 c #Conflicts: 820000 | #Constraints: 35904
1295.88/1309.94 c #Conflicts: 821000 | #Constraints: 36904
1295.88/1309.94 c #Conflicts: 822000 | #Constraints: 37904
1295.88/1309.94 c #Conflicts: 823000 | #Constraints: 38904
1295.88/1309.94 c #Conflicts: 824000 | #Constraints: 39904
1295.88/1309.94 c #Conflicts: 825000 | #Constraints: 40904
1295.88/1309.94 c #Conflicts: 826000 | #Constraints: 41904
1295.88/1309.94 c #Conflicts: 827000 | #Constraints: 42904
1295.88/1309.94 c #Conflicts: 828000 | #Constraints: 43904
1295.88/1309.94 c #Conflicts: 829000 | #Constraints: 44904
1295.88/1309.94 c #Conflicts: 830000 | #Constraints: 45904
1295.88/1309.94 c #Conflicts: 831000 | #Constraints: 46904
1295.88/1309.94 c INPROCESSING
1295.88/1309.94 c GARBAGE COLLECT
1295.88/1309.94 c #Conflicts: 832000 | #Constraints: 27458
1295.88/1309.94 c #Conflicts: 833000 | #Constraints: 28458
1295.88/1309.94 c #Conflicts: 834000 | #Constraints: 29458
1295.88/1309.94 c #Conflicts: 835000 | #Constraints: 30458
1295.88/1309.94 c #Conflicts: 836000 | #Constraints: 31458
1295.88/1309.94 c #Conflicts: 837000 | #Constraints: 32458
1295.88/1309.94 c #Conflicts: 838000 | #Constraints: 33458
1295.88/1309.94 c #Conflicts: 839000 | #Constraints: 34458
1295.88/1309.94 c #Conflicts: 840000 | #Constraints: 35458
1295.88/1309.94 c #Conflicts: 841000 | #Constraints: 36458
1295.88/1309.94 c #Conflicts: 842000 | #Constraints: 37458
1295.88/1309.94 c #Conflicts: 843000 | #Constraints: 38458
1295.88/1309.94 c #Conflicts: 844000 | #Constraints: 39458
1295.88/1309.94 c #Conflicts: 845000 | #Constraints: 40458
1295.88/1309.94 c #Conflicts: 846000 | #Constraints: 41458
1295.88/1309.94 c #Conflicts: 847000 | #Constraints: 42458
1295.88/1309.94 c #Conflicts: 848000 | #Constraints: 43458
1295.88/1309.94 c #Conflicts: 849000 | #Constraints: 44458
1295.88/1309.94 c #Conflicts: 850000 | #Constraints: 45458
1295.88/1309.94 c #Conflicts: 851000 | #Constraints: 46458
1295.88/1309.94 c #Conflicts: 852000 | #Constraints: 47458
1295.88/1309.94 c #Conflicts: 853000 | #Constraints: 48458
1295.88/1309.94 c #Conflicts: 854000 | #Constraints: 49458
1295.88/1309.94 c #Conflicts: 855000 | #Constraints: 50458
1295.88/1309.94 c #Conflicts: 856000 | #Constraints: 51458
1295.88/1309.94 c #Conflicts: 857000 | #Constraints: 52458
1295.88/1309.94 c #Conflicts: 858000 | #Constraints: 53458
1295.88/1309.94 c #Conflicts: 859000 | #Constraints: 54458
1295.88/1309.94 c #Conflicts: 860000 | #Constraints: 55458
1295.88/1309.94 c #Conflicts: 861000 | #Constraints: 56458
1295.88/1309.94 c #Conflicts: 862000 | #Constraints: 57458
1295.88/1309.94 c #Conflicts: 863000 | #Constraints: 58458
1295.88/1309.94 c #Conflicts: 864000 | #Constraints: 59458
1295.88/1309.94 c #Conflicts: 865000 | #Constraints: 60458
1295.88/1309.94 c #Conflicts: 866000 | #Constraints: 61458
1295.88/1309.94 c #Conflicts: 867000 | #Constraints: 62458
1295.88/1309.94 c #Conflicts: 868000 | #Constraints: 63458
1295.88/1309.94 c #Conflicts: 869000 | #Constraints: 64458
1295.88/1309.94 c #Conflicts: 870000 | #Constraints: 65458
1295.88/1309.94 c #Conflicts: 871000 | #Constraints: 66458
1295.88/1309.94 c #Conflicts: 872000 | #Constraints: 67458
1295.88/1309.94 c #Conflicts: 873000 | #Constraints: 68458
1295.88/1309.94 c #Conflicts: 874000 | #Constraints: 69458
1295.88/1309.94 c #Conflicts: 875000 | #Constraints: 70458
1295.88/1309.94 c #Conflicts: 876000 | #Constraints: 71458
1295.88/1309.94 c #Conflicts: 877000 | #Constraints: 72458
1295.88/1309.94 c #Conflicts: 878000 | #Constraints: 73458
1295.88/1309.94 c #Conflicts: 879000 | #Constraints: 74458
1295.88/1309.94 c #Conflicts: 880000 | #Constraints: 75458
1295.88/1309.94 c #Conflicts: 881000 | #Constraints: 76458
1295.88/1309.94 c #Conflicts: 882000 | #Constraints: 77458
1295.88/1309.94 c #Conflicts: 883000 | #Constraints: 78458
1295.88/1309.94 c #Conflicts: 884000 | #Constraints: 79458
1295.88/1309.94 c #Conflicts: 885000 | #Constraints: 80458
1295.88/1309.94 c #Conflicts: 886000 | #Constraints: 81458
1295.88/1309.94 c #Conflicts: 887000 | #Constraints: 82458
1295.88/1309.94 c #Conflicts: 888000 | #Constraints: 83458
1295.88/1309.94 c #Conflicts: 889000 | #Constraints: 84458
1295.88/1309.94 c #Conflicts: 890000 | #Constraints: 85458
1295.88/1309.94 c #Conflicts: 891000 | #Constraints: 86458
1295.88/1309.94 c #Conflicts: 892000 | #Constraints: 87458
1471.76/1486.48 c #Conflicts: 893000 | #Constraints: 88458
1471.76/1486.48 c #Conflicts: 894000 | #Constraints: 89458
1471.76/1486.48 c #Conflicts: 895000 | #Constraints: 90458
1471.76/1486.48 c #Conflicts: 896000 | #Constraints: 91458
1471.76/1486.48 c #Conflicts: 897000 | #Constraints: 92458
1471.76/1486.48 c #Conflicts: 898000 | #Constraints: 93458
1471.76/1486.48 c #Conflicts: 899000 | #Constraints: 94458
1471.76/1486.48 c #Conflicts: 900000 | #Constraints: 95458
1471.76/1486.48 c #Conflicts: 901000 | #Constraints: 96458
1471.76/1486.48 c #Conflicts: 902000 | #Constraints: 97458
1471.76/1486.48 c #Conflicts: 903000 | #Constraints: 98458
1471.76/1486.48 c #Conflicts: 904000 | #Constraints: 99458
1471.76/1486.48 c #Conflicts: 905000 | #Constraints: 100458
1471.76/1486.48 c #Conflicts: 906000 | #Constraints: 101458
1471.76/1486.48 c INPROCESSING
1471.76/1486.48 c GARBAGE COLLECT
1471.76/1486.48 c #Conflicts: 907000 | #Constraints: 55127
1471.76/1486.48 c #Conflicts: 908000 | #Constraints: 56127
1471.76/1486.48 c #Conflicts: 909000 | #Constraints: 57127
1471.76/1486.48 c #Conflicts: 910000 | #Constraints: 58127
1471.76/1486.48 c #Conflicts: 911000 | #Constraints: 59127
1471.76/1486.48 c #Conflicts: 912000 | #Constraints: 60127
1471.76/1486.48 c #Conflicts: 913000 | #Constraints: 61127
1471.76/1486.48 c #Conflicts: 914000 | #Constraints: 62127
1471.76/1486.48 c #Conflicts: 915000 | #Constraints: 63127
1471.76/1486.48 c #Conflicts: 916000 | #Constraints: 64127
1471.76/1486.48 c #Conflicts: 917000 | #Constraints: 65127
1471.76/1486.48 c #Conflicts: 918000 | #Constraints: 66127
1471.76/1486.48 c #Conflicts: 919000 | #Constraints: 67127
1471.76/1486.48 c #Conflicts: 920000 | #Constraints: 68127
1471.76/1486.48 c #Conflicts: 921000 | #Constraints: 69127
1471.76/1486.48 c #Conflicts: 922000 | #Constraints: 70127
1471.76/1486.48 c #Conflicts: 923000 | #Constraints: 71127
1471.76/1486.48 c #Conflicts: 924000 | #Constraints: 72127
1471.76/1486.48 c #Conflicts: 925000 | #Constraints: 73127
1471.76/1486.48 c #Conflicts: 926000 | #Constraints: 74127
1471.76/1486.48 c #Conflicts: 927000 | #Constraints: 75127
1471.76/1486.48 c INPROCESSING
1471.76/1486.48 c GARBAGE COLLECT
1471.76/1486.48 c #Conflicts: 928000 | #Constraints: 41874
1471.76/1486.48 c #Conflicts: 929000 | #Constraints: 42874
1471.76/1486.48 c #Conflicts: 930000 | #Constraints: 43874
1471.76/1486.48 c #Conflicts: 931000 | #Constraints: 44874
1471.76/1486.48 c #Conflicts: 932000 | #Constraints: 45874
1471.76/1486.48 c #Conflicts: 933000 | #Constraints: 46874
1471.76/1486.48 c #Conflicts: 934000 | #Constraints: 47874
1471.76/1486.48 c #Conflicts: 935000 | #Constraints: 48874
1471.76/1486.48 c #Conflicts: 936000 | #Constraints: 49875
1471.76/1486.48 c #Conflicts: 937000 | #Constraints: 50875
1471.76/1486.48 c #Conflicts: 938000 | #Constraints: 51875
1471.76/1486.48 c #Conflicts: 939000 | #Constraints: 52875
1471.76/1486.48 c #Conflicts: 940000 | #Constraints: 53875
1471.76/1486.48 c #Conflicts: 941000 | #Constraints: 54875
1471.76/1486.48 c #Conflicts: 942000 | #Constraints: 55875
1471.76/1486.48 c #Conflicts: 943000 | #Constraints: 56875
1471.76/1486.48 c #Conflicts: 944000 | #Constraints: 57875
1471.76/1486.48 c #Conflicts: 945000 | #Constraints: 58875
1471.76/1486.48 c #Conflicts: 946000 | #Constraints: 59875
1471.76/1486.48 c #Conflicts: 947000 | #Constraints: 60875
1471.76/1486.48 c #Conflicts: 948000 | #Constraints: 61875
1471.76/1486.48 c INPROCESSING
1471.76/1486.48 c GARBAGE COLLECT
1471.76/1486.48 c #Conflicts: 949000 | #Constraints: 35125
1471.76/1486.48 c #Conflicts: 950000 | #Constraints: 36125
1471.76/1486.48 c #Conflicts: 951000 | #Constraints: 37125
1471.76/1486.48 c #Conflicts: 952000 | #Constraints: 38125
1471.76/1486.48 c #Conflicts: 953000 | #Constraints: 39125
1471.76/1486.48 c #Conflicts: 954000 | #Constraints: 40125
1471.76/1486.48 c #Conflicts: 955000 | #Constraints: 41125
1471.76/1486.48 c #Conflicts: 956000 | #Constraints: 42125
1471.76/1486.48 c #Conflicts: 957000 | #Constraints: 43125
1471.76/1486.48 c #Conflicts: 958000 | #Constraints: 44125
1471.76/1486.48 c #Conflicts: 959000 | #Constraints: 45125
1471.76/1486.48 c #Conflicts: 960000 | #Constraints: 46125
1471.76/1486.48 c #Conflicts: 961000 | #Constraints: 47125
1471.76/1486.48 c #Conflicts: 962000 | #Constraints: 48125
1471.76/1486.48 c #Conflicts: 963000 | #Constraints: 49125
1471.76/1486.48 c #Conflicts: 964000 | #Constraints: 50125
1471.76/1486.48 c #Conflicts: 965000 | #Constraints: 51125
1471.76/1486.48 c #Conflicts: 966000 | #Constraints: 52125
1471.76/1486.48 c #Conflicts: 967000 | #Constraints: 53125
1471.76/1486.48 c #Conflicts: 968000 | #Constraints: 54125
1471.76/1486.48 c #Conflicts: 969000 | #Constraints: 55125
1517.57/1532.46 c #Conflicts: 970000 | #Constraints: 56125
1517.57/1532.46 c INPROCESSING
1517.57/1532.46 c GARBAGE COLLECT
1517.57/1532.46 c #Conflicts: 971000 | #Constraints: 32503
1517.57/1532.46 c #Conflicts: 972000 | #Constraints: 33503
1517.57/1532.46 c #Conflicts: 973000 | #Constraints: 34503
1517.57/1532.46 c #Conflicts: 974000 | #Constraints: 35503
1517.57/1532.46 c #Conflicts: 975000 | #Constraints: 36503
1517.57/1532.46 c #Conflicts: 976000 | #Constraints: 37503
1517.57/1532.46 c #Conflicts: 977000 | #Constraints: 38503
1517.57/1532.46 c #Conflicts: 978000 | #Constraints: 39503
1517.57/1532.46 c #Conflicts: 979000 | #Constraints: 40503
1517.57/1532.46 c #Conflicts: 980000 | #Constraints: 41503
1517.57/1532.46 c #Conflicts: 981000 | #Constraints: 42503
1517.57/1532.46 c #Conflicts: 982000 | #Constraints: 43503
1517.57/1532.46 c #Conflicts: 983000 | #Constraints: 44503
1517.57/1532.46 c #Conflicts: 984000 | #Constraints: 45503
1517.57/1532.46 c #Conflicts: 985000 | #Constraints: 46503
1517.57/1532.46 c #Conflicts: 986000 | #Constraints: 47503
1517.57/1532.46 c #Conflicts: 987000 | #Constraints: 48503
1517.57/1532.46 c #Conflicts: 988000 | #Constraints: 49503
1517.57/1532.46 c #Conflicts: 989000 | #Constraints: 50503
1517.57/1532.46 c #Conflicts: 990000 | #Constraints: 51503
1517.57/1532.46 c #Conflicts: 991000 | #Constraints: 52503
1517.57/1532.46 c #Conflicts: 992000 | #Constraints: 53503
1517.57/1532.46 c INPROCESSING
1517.57/1532.46 c GARBAGE COLLECT
1517.57/1532.46 c rational objective 90.6232
1664.22/1679.72 c #Conflicts: 993000 | #Constraints: 31229
1664.22/1679.72 c #Conflicts: 994000 | #Constraints: 32229
1664.22/1679.72 c #Conflicts: 995000 | #Constraints: 33229
1664.22/1679.72 c #Conflicts: 996000 | #Constraints: 34229
1664.22/1679.72 c #Conflicts: 997000 | #Constraints: 35229
1664.22/1679.72 c #Conflicts: 998000 | #Constraints: 36229
1664.22/1679.72 c #Conflicts: 999000 | #Constraints: 37229
1664.22/1679.72 c #Conflicts: 1000000 | #Constraints: 38229
1664.22/1679.72 c #Conflicts: 1001000 | #Constraints: 39229
1664.22/1679.72 c #Conflicts: 1002000 | #Constraints: 40229
1664.22/1679.72 c #Conflicts: 1003000 | #Constraints: 41229
1664.22/1679.72 c #Conflicts: 1004000 | #Constraints: 42229
1664.22/1679.72 c #Conflicts: 1005000 | #Constraints: 43229
1664.22/1679.72 c #Conflicts: 1006000 | #Constraints: 44229
1664.22/1679.72 c #Conflicts: 1007000 | #Constraints: 45229
1664.22/1679.72 c #Conflicts: 1008000 | #Constraints: 46229
1664.22/1679.72 c #Conflicts: 1009000 | #Constraints: 47229
1664.22/1679.72 c #Conflicts: 1010000 | #Constraints: 48229
1664.22/1679.72 c #Conflicts: 1011000 | #Constraints: 49229
1664.22/1679.72 c #Conflicts: 1012000 | #Constraints: 50229
1664.22/1679.72 c #Conflicts: 1013000 | #Constraints: 51229
1664.22/1679.72 c #Conflicts: 1014000 | #Constraints: 52229
1664.22/1679.72 c INPROCESSING
1664.22/1679.72 c GARBAGE COLLECT
1664.22/1679.72 c #Conflicts: 1015000 | #Constraints: 30584
1664.22/1679.72 c #Conflicts: 1016000 | #Constraints: 31584
1664.22/1679.72 c #Conflicts: 1017000 | #Constraints: 32584
1664.22/1679.72 c #Conflicts: 1018000 | #Constraints: 33584
1664.22/1679.72 c #Conflicts: 1019000 | #Constraints: 34584
1664.22/1679.72 c #Conflicts: 1020000 | #Constraints: 35584
1664.22/1679.72 c #Conflicts: 1021000 | #Constraints: 36584
1664.22/1679.72 c #Conflicts: 1022000 | #Constraints: 37584
1664.22/1679.72 c #Conflicts: 1023000 | #Constraints: 38584
1664.22/1679.72 c #Conflicts: 1024000 | #Constraints: 39584
1664.22/1679.72 c #Conflicts: 1025000 | #Constraints: 40584
1664.22/1679.72 c #Conflicts: 1026000 | #Constraints: 41584
1664.22/1679.72 c #Conflicts: 1027000 | #Constraints: 42584
1664.22/1679.72 c #Conflicts: 1028000 | #Constraints: 43584
1664.22/1679.72 c #Conflicts: 1029000 | #Constraints: 44584
1664.22/1679.72 c #Conflicts: 1030000 | #Constraints: 45584
1664.22/1679.72 c #Conflicts: 1031000 | #Constraints: 46584
1664.22/1679.72 c #Conflicts: 1032000 | #Constraints: 47584
1664.22/1679.72 c #Conflicts: 1033000 | #Constraints: 48584
1664.22/1679.72 c #Conflicts: 1034000 | #Constraints: 49584
1664.22/1679.72 c #Conflicts: 1035000 | #Constraints: 50584
1664.22/1679.72 c #Conflicts: 1036000 | #Constraints: 51584
1664.22/1679.72 c #Conflicts: 1037000 | #Constraints: 52584
1664.22/1679.72 c #Conflicts: 1038000 | #Constraints: 53584
1664.22/1679.72 c #Conflicts: 1039000 | #Constraints: 54584
1664.22/1679.72 c #Conflicts: 1040000 | #Constraints: 55584
1664.22/1679.72 c #Conflicts: 1041000 | #Constraints: 56584
1664.22/1679.72 c #Conflicts: 1042000 | #Constraints: 57584
1664.22/1679.72 c #Conflicts: 1043000 | #Constraints: 58584
1664.22/1679.72 c #Conflicts: 1044000 | #Constraints: 59584
1664.22/1679.72 c #Conflicts: 1045000 | #Constraints: 60584
1664.22/1679.72 c #Conflicts: 1046000 | #Constraints: 61584
1664.22/1679.72 c #Conflicts: 1047000 | #Constraints: 62584
1664.22/1679.72 c #Conflicts: 1048000 | #Constraints: 63584
1664.22/1679.72 c #Conflicts: 1049000 | #Constraints: 64584
1664.22/1679.72 c #Conflicts: 1050000 | #Constraints: 65584
1664.22/1679.72 c #Conflicts: 1051000 | #Constraints: 66584
1664.22/1679.72 c #Conflicts: 1052000 | #Constraints: 67584
1664.22/1679.72 c #Conflicts: 1053000 | #Constraints: 68585
1664.22/1679.72 c #Conflicts: 1054000 | #Constraints: 69585
1664.22/1679.72 c #Conflicts: 1055000 | #Constraints: 70585
1664.22/1679.72 c #Conflicts: 1056000 | #Constraints: 71585
1664.22/1679.72 c #Conflicts: 1057000 | #Constraints: 72585
1664.22/1679.72 c #Conflicts: 1058000 | #Constraints: 73585
1664.22/1679.72 c #Conflicts: 1059000 | #Constraints: 74585
1664.22/1679.72 c #Conflicts: 1060000 | #Constraints: 75585
1664.22/1679.72 c #Conflicts: 1061000 | #Constraints: 76585
1664.22/1679.72 c #Conflicts: 1062000 | #Constraints: 77585
1664.22/1679.72 c #Conflicts: 1063000 | #Constraints: 78585
1664.22/1679.72 c #Conflicts: 1064000 | #Constraints: 79585
1664.22/1679.72 c #Conflicts: 1065000 | #Constraints: 80585
1664.22/1679.72 c #Conflicts: 1066000 | #Constraints: 81585
1664.22/1679.72 c #Conflicts: 1067000 | #Constraints: 82585
1664.22/1679.72 c #Conflicts: 1068000 | #Constraints: 83585
1664.22/1679.72 c #Conflicts: 1069000 | #Constraints: 84585
1664.22/1679.72 c #Conflicts: 1070000 | #Constraints: 85585
1664.22/1679.72 c #Conflicts: 1071000 | #Constraints: 86585
1860.89/1877.14 c #Conflicts: 1072000 | #Constraints: 87585
1860.89/1877.14 c #Conflicts: 1073000 | #Constraints: 88585
1860.89/1877.14 c #Conflicts: 1074000 | #Constraints: 89585
1860.89/1877.14 c #Conflicts: 1075000 | #Constraints: 90585
1860.89/1877.14 c #Conflicts: 1076000 | #Constraints: 91585
1860.89/1877.14 c #Conflicts: 1077000 | #Constraints: 92585
1860.89/1877.14 c #Conflicts: 1078000 | #Constraints: 93585
1860.89/1877.14 c #Conflicts: 1079000 | #Constraints: 94585
1860.89/1877.14 c #Conflicts: 1080000 | #Constraints: 95585
1860.89/1877.14 c #Conflicts: 1081000 | #Constraints: 96585
1860.89/1877.14 c #Conflicts: 1082000 | #Constraints: 97585
1860.89/1877.14 c #Conflicts: 1083000 | #Constraints: 98585
1860.89/1877.14 c #Conflicts: 1084000 | #Constraints: 99585
1860.89/1877.14 c #Conflicts: 1085000 | #Constraints: 100585
1860.89/1877.14 c #Conflicts: 1086000 | #Constraints: 101585
1860.89/1877.14 c #Conflicts: 1087000 | #Constraints: 102585
1860.89/1877.14 c #Conflicts: 1088000 | #Constraints: 103585
1860.89/1877.14 c #Conflicts: 1089000 | #Constraints: 104585
1860.89/1877.14 c #Conflicts: 1090000 | #Constraints: 105585
1860.89/1877.14 c #Conflicts: 1091000 | #Constraints: 106585
1860.89/1877.14 c #Conflicts: 1092000 | #Constraints: 107585
1860.89/1877.14 c #Conflicts: 1093000 | #Constraints: 108585
1860.89/1877.14 c #Conflicts: 1094000 | #Constraints: 109585
1860.89/1877.14 c #Conflicts: 1095000 | #Constraints: 110585
1860.89/1877.14 c INPROCESSING
1860.89/1877.14 c GARBAGE COLLECT
1860.89/1877.14 c #Conflicts: 1096000 | #Constraints: 59465
1860.89/1877.14 c #Conflicts: 1097000 | #Constraints: 60465
1860.89/1877.14 c #Conflicts: 1098000 | #Constraints: 61465
1860.89/1877.14 c #Conflicts: 1099000 | #Constraints: 62465
1860.89/1877.14 c #Conflicts: 1100000 | #Constraints: 63465
1860.89/1877.14 c #Conflicts: 1101000 | #Constraints: 64465
1860.89/1877.14 c #Conflicts: 1102000 | #Constraints: 65465
1860.89/1877.14 c #Conflicts: 1103000 | #Constraints: 66465
1860.89/1877.14 c #Conflicts: 1104000 | #Constraints: 67465
1860.89/1877.14 c #Conflicts: 1105000 | #Constraints: 68465
1860.89/1877.14 c #Conflicts: 1106000 | #Constraints: 69465
1860.89/1877.14 c #Conflicts: 1107000 | #Constraints: 70465
1860.89/1877.14 c #Conflicts: 1108000 | #Constraints: 71465
1860.89/1877.14 c #Conflicts: 1109000 | #Constraints: 72465
1860.89/1877.14 c #Conflicts: 1110000 | #Constraints: 73465
1860.89/1877.14 c #Conflicts: 1111000 | #Constraints: 74465
1860.89/1877.14 c #Conflicts: 1112000 | #Constraints: 75465
1860.89/1877.14 c #Conflicts: 1113000 | #Constraints: 76465
1860.89/1877.14 c #Conflicts: 1114000 | #Constraints: 77465
1860.89/1877.14 c #Conflicts: 1115000 | #Constraints: 78465
1860.89/1877.14 c #Conflicts: 1116000 | #Constraints: 79465
1860.89/1877.14 c #Conflicts: 1117000 | #Constraints: 80465
1860.89/1877.14 c #Conflicts: 1118000 | #Constraints: 81465
1860.89/1877.14 c INPROCESSING
1860.89/1877.14 c GARBAGE COLLECT
1860.89/1877.14 c #Conflicts: 1119000 | #Constraints: 44759
1860.89/1877.14 c #Conflicts: 1120000 | #Constraints: 45759
1860.89/1877.14 c #Conflicts: 1121000 | #Constraints: 46759
1860.89/1877.14 c #Conflicts: 1122000 | #Constraints: 47759
1860.89/1877.14 c #Conflicts: 1123000 | #Constraints: 48759
1860.89/1877.14 c #Conflicts: 1124000 | #Constraints: 49759
1860.89/1877.14 c #Conflicts: 1125000 | #Constraints: 50759
1860.89/1877.14 c #Conflicts: 1126000 | #Constraints: 51759
1860.89/1877.14 c #Conflicts: 1127000 | #Constraints: 52759
1860.89/1877.14 c #Conflicts: 1128000 | #Constraints: 53759
1860.89/1877.14 c #Conflicts: 1129000 | #Constraints: 54759
1860.89/1877.14 c #Conflicts: 1130000 | #Constraints: 55759
1860.89/1877.14 c #Conflicts: 1131000 | #Constraints: 56759
1860.89/1877.14 c #Conflicts: 1132000 | #Constraints: 57759
1860.89/1877.14 c #Conflicts: 1133000 | #Constraints: 58759
1860.89/1877.14 c #Conflicts: 1134000 | #Constraints: 59759
1860.89/1877.14 c #Conflicts: 1135000 | #Constraints: 60759
1860.89/1877.14 c #Conflicts: 1136000 | #Constraints: 61759
1860.89/1877.14 c #Conflicts: 1137000 | #Constraints: 62759
1860.89/1877.14 c #Conflicts: 1138000 | #Constraints: 63759
1860.89/1877.14 c #Conflicts: 1139000 | #Constraints: 64759
1860.89/1877.14 c #Conflicts: 1140000 | #Constraints: 65759
1860.89/1877.14 c #Conflicts: 1141000 | #Constraints: 66759
1860.89/1877.14 c #Conflicts: 1142000 | #Constraints: 67759
1860.89/1877.14 c INPROCESSING
1860.89/1877.14 c GARBAGE COLLECT
1860.89/1877.14 c #Conflicts: 1143000 | #Constraints: 38146
1860.89/1877.14 c #Conflicts: 1144000 | #Constraints: 39146
1860.89/1877.14 c #Conflicts: 1145000 | #Constraints: 40146
1860.89/1877.14 c #Conflicts: 1146000 | #Constraints: 41146
1860.89/1877.14 c #Conflicts: 1147000 | #Constraints: 42146
1967.30/1984.16 c #Conflicts: 1148000 | #Constraints: 43146
1967.30/1984.16 c #Conflicts: 1149000 | #Constraints: 44146
1967.30/1984.16 c #Conflicts: 1150000 | #Constraints: 45146
1967.30/1984.16 c #Conflicts: 1151000 | #Constraints: 46146
1967.30/1984.16 c #Conflicts: 1152000 | #Constraints: 47146
1967.30/1984.16 c #Conflicts: 1153000 | #Constraints: 48146
1967.30/1984.16 c #Conflicts: 1154000 | #Constraints: 49146
1967.30/1984.16 c #Conflicts: 1155000 | #Constraints: 50146
1967.30/1984.16 c #Conflicts: 1156000 | #Constraints: 51146
1967.30/1984.16 c #Conflicts: 1157000 | #Constraints: 52146
1967.30/1984.16 c #Conflicts: 1158000 | #Constraints: 53146
1967.30/1984.16 c #Conflicts: 1159000 | #Constraints: 54146
1967.30/1984.16 c #Conflicts: 1160000 | #Constraints: 55146
1967.30/1984.16 c #Conflicts: 1161000 | #Constraints: 56146
1967.30/1984.16 c #Conflicts: 1162000 | #Constraints: 57146
1967.30/1984.16 c #Conflicts: 1163000 | #Constraints: 58146
1967.30/1984.16 c #Conflicts: 1164000 | #Constraints: 59146
1967.30/1984.16 c #Conflicts: 1165000 | #Constraints: 60146
1967.30/1984.16 c #Conflicts: 1166000 | #Constraints: 61146
1967.30/1984.16 c INPROCESSING
1967.30/1984.16 c GARBAGE COLLECT
1967.30/1984.16 c #Conflicts: 1167000 | #Constraints: 34960
1967.30/1984.16 c #Conflicts: 1168000 | #Constraints: 35960
1967.30/1984.16 c #Conflicts: 1169000 | #Constraints: 36960
1967.30/1984.16 c #Conflicts: 1170000 | #Constraints: 37960
1967.30/1984.16 c #Conflicts: 1171000 | #Constraints: 38960
1967.30/1984.16 c #Conflicts: 1172000 | #Constraints: 39960
1967.30/1984.16 c #Conflicts: 1173000 | #Constraints: 40960
1967.30/1984.16 c #Conflicts: 1174000 | #Constraints: 41960
1967.30/1984.16 c #Conflicts: 1175000 | #Constraints: 42960
1967.30/1984.16 c #Conflicts: 1176000 | #Constraints: 43960
1967.30/1984.16 c #Conflicts: 1177000 | #Constraints: 44960
1967.30/1984.16 c #Conflicts: 1178000 | #Constraints: 45960
1967.30/1984.16 c #Conflicts: 1179000 | #Constraints: 46960
1967.30/1984.16 c #Conflicts: 1180000 | #Constraints: 47960
1967.30/1984.16 c #Conflicts: 1181000 | #Constraints: 48960
1967.30/1984.16 c #Conflicts: 1182000 | #Constraints: 49960
1967.30/1984.16 c #Conflicts: 1183000 | #Constraints: 50960
1967.30/1984.16 c #Conflicts: 1184000 | #Constraints: 51960
1967.30/1984.16 c #Conflicts: 1185000 | #Constraints: 52960
1967.30/1984.16 c #Conflicts: 1186000 | #Constraints: 53960
1967.30/1984.16 c #Conflicts: 1187000 | #Constraints: 54960
1967.30/1984.16 c #Conflicts: 1188000 | #Constraints: 55960
1967.30/1984.16 c #Conflicts: 1189000 | #Constraints: 56960
1967.30/1984.16 c #Conflicts: 1190000 | #Constraints: 57960
1967.30/1984.16 c INPROCESSING
1967.30/1984.16 c GARBAGE COLLECT
1967.30/1984.16 c #Conflicts: 1191000 | #Constraints: 33516
1967.30/1984.16 c #Conflicts: 1192000 | #Constraints: 34516
1967.30/1984.16 c #Conflicts: 1193000 | #Constraints: 35516
1967.30/1984.16 c #Conflicts: 1194000 | #Constraints: 36516
1967.30/1984.16 c #Conflicts: 1195000 | #Constraints: 37516
1967.30/1984.16 c #Conflicts: 1196000 | #Constraints: 38516
1967.30/1984.16 c #Conflicts: 1197000 | #Constraints: 39516
1967.30/1984.16 c #Conflicts: 1198000 | #Constraints: 40516
1967.30/1984.16 c #Conflicts: 1199000 | #Constraints: 41516
1967.30/1984.16 c #Conflicts: 1200000 | #Constraints: 42516
1967.30/1984.16 c #Conflicts: 1201000 | #Constraints: 43516
1967.30/1984.16 c #Conflicts: 1202000 | #Constraints: 44516
1967.30/1984.16 c #Conflicts: 1203000 | #Constraints: 45516
1967.30/1984.16 c #Conflicts: 1204000 | #Constraints: 46516
1967.30/1984.16 c #Conflicts: 1205000 | #Constraints: 47516
1967.30/1984.16 c #Conflicts: 1206000 | #Constraints: 48516
1967.30/1984.16 c #Conflicts: 1207000 | #Constraints: 49516
1967.30/1984.16 c #Conflicts: 1208000 | #Constraints: 50516
1967.30/1984.16 c #Conflicts: 1209000 | #Constraints: 51516
1967.30/1984.16 c #Conflicts: 1210000 | #Constraints: 52516
1967.30/1984.16 c #Conflicts: 1211000 | #Constraints: 53516
1967.30/1984.16 c #Conflicts: 1212000 | #Constraints: 54516
1967.30/1984.16 c #Conflicts: 1213000 | #Constraints: 55516
1967.30/1984.16 c #Conflicts: 1214000 | #Constraints: 56516
1967.30/1984.16 c INPROCESSING
1967.30/1984.16 c GARBAGE COLLECT
1967.30/1984.16 c rational objective 91.3973
2113.71/2131.35 c #Conflicts: 1215000 | #Constraints: 32689
2113.71/2131.35 c #Conflicts: 1216000 | #Constraints: 33689
2113.71/2131.35 c #Conflicts: 1217000 | #Constraints: 34689
2113.71/2131.35 c #Conflicts: 1218000 | #Constraints: 35689
2113.71/2131.35 c #Conflicts: 1219000 | #Constraints: 36689
2113.71/2131.35 c #Conflicts: 1220000 | #Constraints: 37689
2113.71/2131.35 c #Conflicts: 1221000 | #Constraints: 38689
2113.71/2131.35 c #Conflicts: 1222000 | #Constraints: 39689
2113.71/2131.35 c #Conflicts: 1223000 | #Constraints: 40689
2113.71/2131.35 c #Conflicts: 1224000 | #Constraints: 41689
2113.71/2131.35 c #Conflicts: 1225000 | #Constraints: 42689
2113.71/2131.35 c #Conflicts: 1226000 | #Constraints: 43689
2113.71/2131.35 c #Conflicts: 1227000 | #Constraints: 44689
2113.71/2131.35 c #Conflicts: 1228000 | #Constraints: 45689
2113.71/2131.35 c #Conflicts: 1229000 | #Constraints: 46689
2113.71/2131.35 c #Conflicts: 1230000 | #Constraints: 47689
2113.71/2131.35 c #Conflicts: 1231000 | #Constraints: 48689
2113.71/2131.35 c #Conflicts: 1232000 | #Constraints: 49689
2113.71/2131.35 c #Conflicts: 1233000 | #Constraints: 50689
2113.71/2131.35 c #Conflicts: 1234000 | #Constraints: 51689
2113.71/2131.35 c #Conflicts: 1235000 | #Constraints: 52689
2113.71/2131.35 c #Conflicts: 1236000 | #Constraints: 53689
2113.71/2131.35 c #Conflicts: 1237000 | #Constraints: 54689
2113.71/2131.35 c #Conflicts: 1238000 | #Constraints: 55689
2113.71/2131.35 c INPROCESSING
2113.71/2131.35 c GARBAGE COLLECT
2113.71/2131.35 c #Conflicts: 1239000 | #Constraints: 32082
2113.71/2131.35 c #Conflicts: 1240000 | #Constraints: 33082
2113.71/2131.35 c #Conflicts: 1241000 | #Constraints: 34082
2113.71/2131.35 c #Conflicts: 1242000 | #Constraints: 35082
2113.71/2131.35 c #Conflicts: 1243000 | #Constraints: 36082
2113.71/2131.35 c #Conflicts: 1244000 | #Constraints: 37082
2113.71/2131.35 c #Conflicts: 1245000 | #Constraints: 38082
2113.71/2131.35 c #Conflicts: 1246000 | #Constraints: 39082
2113.71/2131.35 c #Conflicts: 1247000 | #Constraints: 40082
2113.71/2131.35 c #Conflicts: 1248000 | #Constraints: 41082
2113.71/2131.35 c #Conflicts: 1249000 | #Constraints: 42082
2113.71/2131.35 c #Conflicts: 1250000 | #Constraints: 43082
2113.71/2131.35 c #Conflicts: 1251000 | #Constraints: 44082
2113.71/2131.35 c #Conflicts: 1252000 | #Constraints: 45082
2113.71/2131.35 c #Conflicts: 1253000 | #Constraints: 46082
2113.71/2131.35 c #Conflicts: 1254000 | #Constraints: 47082
2113.71/2131.35 c #Conflicts: 1255000 | #Constraints: 48082
2113.71/2131.35 c #Conflicts: 1256000 | #Constraints: 49082
2113.71/2131.35 c #Conflicts: 1257000 | #Constraints: 50082
2113.71/2131.35 c #Conflicts: 1258000 | #Constraints: 51082
2113.71/2131.35 c #Conflicts: 1259000 | #Constraints: 52082
2113.71/2131.35 c #Conflicts: 1260000 | #Constraints: 53082
2113.71/2131.35 c #Conflicts: 1261000 | #Constraints: 54082
2113.71/2131.35 c #Conflicts: 1262000 | #Constraints: 55082
2113.71/2131.35 c #Conflicts: 1263000 | #Constraints: 56082
2113.71/2131.35 c #Conflicts: 1264000 | #Constraints: 57082
2113.71/2131.35 c #Conflicts: 1265000 | #Constraints: 58082
2113.71/2131.35 c #Conflicts: 1266000 | #Constraints: 59082
2113.71/2131.35 c #Conflicts: 1267000 | #Constraints: 60082
2113.71/2131.35 c #Conflicts: 1268000 | #Constraints: 61082
2113.71/2131.35 c #Conflicts: 1269000 | #Constraints: 62082
2113.71/2131.35 c #Conflicts: 1270000 | #Constraints: 63082
2113.71/2131.35 c #Conflicts: 1271000 | #Constraints: 64082
2113.71/2131.35 c #Conflicts: 1272000 | #Constraints: 65082
2113.71/2131.35 c #Conflicts: 1273000 | #Constraints: 66082
2113.71/2131.35 c #Conflicts: 1274000 | #Constraints: 67082
2113.71/2131.35 c #Conflicts: 1275000 | #Constraints: 68082
2113.71/2131.35 c #Conflicts: 1276000 | #Constraints: 69082
2113.71/2131.35 c #Conflicts: 1277000 | #Constraints: 70082
2113.71/2131.35 c #Conflicts: 1278000 | #Constraints: 71082
2113.71/2131.35 c #Conflicts: 1279000 | #Constraints: 72082
2113.71/2131.35 c #Conflicts: 1280000 | #Constraints: 73082
2113.71/2131.35 c #Conflicts: 1281000 | #Constraints: 74082
2113.71/2131.35 c #Conflicts: 1282000 | #Constraints: 75082
2113.71/2131.35 c #Conflicts: 1283000 | #Constraints: 76082
2113.71/2131.35 c #Conflicts: 1284000 | #Constraints: 77082
2113.71/2131.35 c #Conflicts: 1285000 | #Constraints: 78082
2113.71/2131.35 c #Conflicts: 1286000 | #Constraints: 79082
2113.71/2131.35 c #Conflicts: 1287000 | #Constraints: 80082
2113.71/2131.35 c #Conflicts: 1288000 | #Constraints: 81082
2113.71/2131.35 c #Conflicts: 1289000 | #Constraints: 82082
2113.71/2131.35 c #Conflicts: 1290000 | #Constraints: 83082
2113.71/2131.35 c #Conflicts: 1291000 | #Constraints: 84082
2113.71/2131.35 c #Conflicts: 1292000 | #Constraints: 85082
2113.71/2131.35 c #Conflicts: 1293000 | #Constraints: 86082
2386.88/2405.45 c #Conflicts: 1294000 | #Constraints: 87082
2386.88/2405.45 c #Conflicts: 1295000 | #Constraints: 88082
2386.88/2405.45 c #Conflicts: 1296000 | #Constraints: 89082
2386.88/2405.45 c #Conflicts: 1297000 | #Constraints: 90082
2386.88/2405.45 c #Conflicts: 1298000 | #Constraints: 91082
2386.88/2405.45 c #Conflicts: 1299000 | #Constraints: 92082
2386.88/2405.45 c #Conflicts: 1300000 | #Constraints: 93082
2386.88/2405.45 c #Conflicts: 1301000 | #Constraints: 94082
2386.88/2405.45 c #Conflicts: 1302000 | #Constraints: 95082
2386.88/2405.45 c #Conflicts: 1303000 | #Constraints: 96082
2386.88/2405.45 c #Conflicts: 1304000 | #Constraints: 97082
2386.88/2405.45 c #Conflicts: 1305000 | #Constraints: 98082
2386.88/2405.45 c #Conflicts: 1306000 | #Constraints: 99082
2386.88/2405.45 c #Conflicts: 1307000 | #Constraints: 100082
2386.88/2405.45 c #Conflicts: 1308000 | #Constraints: 101082
2386.88/2405.45 c #Conflicts: 1309000 | #Constraints: 102082
2386.88/2405.45 c #Conflicts: 1310000 | #Constraints: 103082
2386.88/2405.45 c #Conflicts: 1311000 | #Constraints: 104082
2386.88/2405.45 c #Conflicts: 1312000 | #Constraints: 105082
2386.88/2405.45 c #Conflicts: 1313000 | #Constraints: 106082
2386.88/2405.45 c #Conflicts: 1314000 | #Constraints: 107082
2386.88/2405.45 c #Conflicts: 1315000 | #Constraints: 108082
2386.88/2405.45 c #Conflicts: 1316000 | #Constraints: 109082
2386.88/2405.45 c #Conflicts: 1317000 | #Constraints: 110082
2386.88/2405.45 c #Conflicts: 1318000 | #Constraints: 111082
2386.88/2405.45 c #Conflicts: 1319000 | #Constraints: 112082
2386.88/2405.45 c #Conflicts: 1320000 | #Constraints: 113082
2386.88/2405.45 c #Conflicts: 1321000 | #Constraints: 114082
2386.88/2405.45 c #Conflicts: 1322000 | #Constraints: 115082
2386.88/2405.45 c #Conflicts: 1323000 | #Constraints: 116082
2386.88/2405.45 c #Conflicts: 1324000 | #Constraints: 117082
2386.88/2405.45 c #Conflicts: 1325000 | #Constraints: 118082
2386.88/2405.45 c #Conflicts: 1326000 | #Constraints: 119082
2386.88/2405.45 c #Conflicts: 1327000 | #Constraints: 120082
2386.88/2405.45 c #Conflicts: 1328000 | #Constraints: 121082
2386.88/2405.45 c INPROCESSING
2386.88/2405.45 c GARBAGE COLLECT
2386.88/2405.45 c #Conflicts: 1329000 | #Constraints: 64787
2386.88/2405.45 c #Conflicts: 1330000 | #Constraints: 65787
2386.88/2405.45 c #Conflicts: 1331000 | #Constraints: 66787
2386.88/2405.45 c #Conflicts: 1332000 | #Constraints: 67787
2386.88/2405.45 c #Conflicts: 1333000 | #Constraints: 68787
2386.88/2405.45 c #Conflicts: 1334000 | #Constraints: 69787
2386.88/2405.45 c #Conflicts: 1335000 | #Constraints: 70787
2386.88/2405.45 c #Conflicts: 1336000 | #Constraints: 71787
2386.88/2405.45 c #Conflicts: 1337000 | #Constraints: 72787
2386.88/2405.45 c #Conflicts: 1338000 | #Constraints: 73787
2386.88/2405.45 c #Conflicts: 1339000 | #Constraints: 74787
2386.88/2405.45 c #Conflicts: 1340000 | #Constraints: 75787
2386.88/2405.45 c #Conflicts: 1341000 | #Constraints: 76787
2386.88/2405.45 c #Conflicts: 1342000 | #Constraints: 77787
2386.88/2405.45 c #Conflicts: 1343000 | #Constraints: 78787
2386.88/2405.45 c #Conflicts: 1344000 | #Constraints: 79787
2386.88/2405.45 c #Conflicts: 1345000 | #Constraints: 80787
2386.88/2405.45 c #Conflicts: 1346000 | #Constraints: 81787
2386.88/2405.45 c #Conflicts: 1347000 | #Constraints: 82787
2386.88/2405.45 c #Conflicts: 1348000 | #Constraints: 83787
2386.88/2405.45 c #Conflicts: 1349000 | #Constraints: 84787
2386.88/2405.45 c #Conflicts: 1350000 | #Constraints: 85787
2386.88/2405.45 c #Conflicts: 1351000 | #Constraints: 86787
2386.88/2405.45 c #Conflicts: 1352000 | #Constraints: 87787
2386.88/2405.45 c #Conflicts: 1353000 | #Constraints: 88787
2386.88/2405.45 c #Conflicts: 1354000 | #Constraints: 89787
2386.88/2405.45 c INPROCESSING
2386.88/2405.45 c GARBAGE COLLECT
2386.88/2405.45 c #Conflicts: 1355000 | #Constraints: 49245
2386.88/2405.45 c #Conflicts: 1356000 | #Constraints: 50245
2386.88/2405.45 c #Conflicts: 1357000 | #Constraints: 51245
2386.88/2405.45 c #Conflicts: 1358000 | #Constraints: 52245
2386.88/2405.45 c #Conflicts: 1359000 | #Constraints: 53245
2386.88/2405.45 c #Conflicts: 1360000 | #Constraints: 54245
2386.88/2405.45 c #Conflicts: 1361000 | #Constraints: 55245
2386.88/2405.45 c #Conflicts: 1362000 | #Constraints: 56245
2386.88/2405.45 c #Conflicts: 1363000 | #Constraints: 57245
2386.88/2405.45 c #Conflicts: 1364000 | #Constraints: 58245
2386.88/2405.45 c #Conflicts: 1365000 | #Constraints: 59245
2386.88/2405.45 c #Conflicts: 1366000 | #Constraints: 60245
2386.88/2405.45 c #Conflicts: 1367000 | #Constraints: 61245
2386.88/2405.45 c #Conflicts: 1368000 | #Constraints: 62245
2386.88/2405.45 c #Conflicts: 1369000 | #Constraints: 63245
2386.88/2405.45 c #Conflicts: 1370000 | #Constraints: 64245
2502.33/2521.37 c #Conflicts: 1371000 | #Constraints: 65245
2502.33/2521.37 c #Conflicts: 1372000 | #Constraints: 66245
2502.33/2521.37 c #Conflicts: 1373000 | #Constraints: 67245
2502.33/2521.37 c #Conflicts: 1374000 | #Constraints: 68245
2502.33/2521.37 c #Conflicts: 1375000 | #Constraints: 69245
2502.33/2521.37 c #Conflicts: 1376000 | #Constraints: 70245
2502.33/2521.37 c #Conflicts: 1377000 | #Constraints: 71245
2502.33/2521.37 c #Conflicts: 1378000 | #Constraints: 72245
2502.33/2521.37 c #Conflicts: 1379000 | #Constraints: 73245
2502.33/2521.37 c #Conflicts: 1380000 | #Constraints: 74245
2502.33/2521.37 c INPROCESSING
2502.33/2521.37 c GARBAGE COLLECT
2502.33/2521.37 c #Conflicts: 1381000 | #Constraints: 41635
2502.33/2521.37 c #Conflicts: 1382000 | #Constraints: 42635
2502.33/2521.37 c #Conflicts: 1383000 | #Constraints: 43635
2502.33/2521.37 c #Conflicts: 1384000 | #Constraints: 44635
2502.33/2521.37 c #Conflicts: 1385000 | #Constraints: 45635
2502.33/2521.37 c #Conflicts: 1386000 | #Constraints: 46635
2502.33/2521.37 c #Conflicts: 1387000 | #Constraints: 47635
2502.33/2521.37 c #Conflicts: 1388000 | #Constraints: 48635
2502.33/2521.37 c #Conflicts: 1389000 | #Constraints: 49635
2502.33/2521.37 c #Conflicts: 1390000 | #Constraints: 50635
2502.33/2521.37 c #Conflicts: 1391000 | #Constraints: 51635
2502.33/2521.37 c #Conflicts: 1392000 | #Constraints: 52635
2502.33/2521.37 c #Conflicts: 1393000 | #Constraints: 53635
2502.33/2521.37 c #Conflicts: 1394000 | #Constraints: 54635
2502.33/2521.37 c #Conflicts: 1395000 | #Constraints: 55635
2502.33/2521.37 c #Conflicts: 1396000 | #Constraints: 56635
2502.33/2521.37 c #Conflicts: 1397000 | #Constraints: 57635
2502.33/2521.37 c #Conflicts: 1398000 | #Constraints: 58635
2502.33/2521.37 c #Conflicts: 1399000 | #Constraints: 59635
2502.33/2521.37 c #Conflicts: 1400000 | #Constraints: 60635
2502.33/2521.37 c #Conflicts: 1401000 | #Constraints: 61635
2502.33/2521.37 c #Conflicts: 1402000 | #Constraints: 62635
2502.33/2521.37 c #Conflicts: 1403000 | #Constraints: 63635
2502.33/2521.37 c #Conflicts: 1404000 | #Constraints: 64635
2502.33/2521.37 c #Conflicts: 1405000 | #Constraints: 65635
2502.33/2521.37 c #Conflicts: 1406000 | #Constraints: 66635
2502.33/2521.37 c INPROCESSING
2502.33/2521.37 c GARBAGE COLLECT
2502.33/2521.37 c #Conflicts: 1407000 | #Constraints: 37802
2502.33/2521.37 c #Conflicts: 1408000 | #Constraints: 38802
2502.33/2521.37 c #Conflicts: 1409000 | #Constraints: 39802
2502.33/2521.37 c #Conflicts: 1410000 | #Constraints: 40802
2502.33/2521.37 c #Conflicts: 1411000 | #Constraints: 41802
2502.33/2521.37 c #Conflicts: 1412000 | #Constraints: 42802
2502.33/2521.37 c #Conflicts: 1413000 | #Constraints: 43802
2502.33/2521.37 c #Conflicts: 1414000 | #Constraints: 44802
2502.33/2521.37 c #Conflicts: 1415000 | #Constraints: 45802
2502.33/2521.37 c #Conflicts: 1416000 | #Constraints: 46802
2502.33/2521.37 c #Conflicts: 1417000 | #Constraints: 47802
2502.33/2521.37 c #Conflicts: 1418000 | #Constraints: 48802
2502.33/2521.37 c #Conflicts: 1419000 | #Constraints: 49802
2502.33/2521.37 c #Conflicts: 1420000 | #Constraints: 50802
2502.33/2521.37 c #Conflicts: 1421000 | #Constraints: 51802
2502.33/2521.37 c #Conflicts: 1422000 | #Constraints: 52802
2502.33/2521.37 c #Conflicts: 1423000 | #Constraints: 53802
2502.33/2521.37 c #Conflicts: 1424000 | #Constraints: 54802
2502.33/2521.37 c #Conflicts: 1425000 | #Constraints: 55802
2502.33/2521.37 c #Conflicts: 1426000 | #Constraints: 56802
2502.33/2521.37 c #Conflicts: 1427000 | #Constraints: 57802
2502.33/2521.37 c #Conflicts: 1428000 | #Constraints: 58802
2502.33/2521.37 c #Conflicts: 1429000 | #Constraints: 59802
2502.33/2521.37 c #Conflicts: 1430000 | #Constraints: 60802
2502.33/2521.37 c #Conflicts: 1431000 | #Constraints: 61802
2502.33/2521.37 c #Conflicts: 1432000 | #Constraints: 62802
2502.33/2521.37 c INPROCESSING
2502.33/2521.37 c GARBAGE COLLECT
2502.33/2521.37 c rational objective 93.6003
2635.01/2656.26 c #Conflicts: 1433000 | #Constraints: 35786
2635.01/2656.26 c #Conflicts: 1434000 | #Constraints: 36786
2635.01/2656.26 c #Conflicts: 1435000 | #Constraints: 37786
2635.01/2656.26 c #Conflicts: 1436000 | #Constraints: 38786
2635.01/2656.26 c #Conflicts: 1437000 | #Constraints: 39786
2635.01/2656.26 c #Conflicts: 1438000 | #Constraints: 40786
2635.01/2656.26 c #Conflicts: 1439000 | #Constraints: 41786
2635.01/2656.26 c #Conflicts: 1440000 | #Constraints: 42786
2635.01/2656.26 c #Conflicts: 1441000 | #Constraints: 43786
2635.01/2656.26 c #Conflicts: 1442000 | #Constraints: 44786
2635.01/2656.26 c #Conflicts: 1443000 | #Constraints: 45786
2635.01/2656.26 c #Conflicts: 1444000 | #Constraints: 46786
2635.01/2656.26 c #Conflicts: 1445000 | #Constraints: 47786
2635.01/2656.26 c #Conflicts: 1446000 | #Constraints: 48786
2635.01/2656.26 c #Conflicts: 1447000 | #Constraints: 49786
2635.01/2656.26 c #Conflicts: 1448000 | #Constraints: 50786
2635.01/2656.26 c #Conflicts: 1449000 | #Constraints: 51786
2635.01/2656.26 c #Conflicts: 1450000 | #Constraints: 52786
2635.01/2656.26 c #Conflicts: 1451000 | #Constraints: 53786
2635.01/2656.26 c #Conflicts: 1452000 | #Constraints: 54786
2635.01/2656.26 c #Conflicts: 1453000 | #Constraints: 55786
2635.01/2656.26 c #Conflicts: 1454000 | #Constraints: 56786
2635.01/2656.26 c #Conflicts: 1455000 | #Constraints: 57786
2635.01/2656.26 c #Conflicts: 1456000 | #Constraints: 58786
2635.01/2656.26 c #Conflicts: 1457000 | #Constraints: 59786
2635.01/2656.26 c #Conflicts: 1458000 | #Constraints: 60786
2635.01/2656.26 c INPROCESSING
2635.01/2656.26 c GARBAGE COLLECT
2635.01/2656.26 c #Conflicts: 1459000 | #Constraints: 34649
2635.01/2656.26 c #Conflicts: 1460000 | #Constraints: 35649
2635.01/2656.26 c #Conflicts: 1461000 | #Constraints: 36649
2635.01/2656.26 c #Conflicts: 1462000 | #Constraints: 37649
2635.01/2656.26 c #Conflicts: 1463000 | #Constraints: 38649
2635.01/2656.26 c #Conflicts: 1464000 | #Constraints: 39649
2635.01/2656.26 c #Conflicts: 1465000 | #Constraints: 40649
2635.01/2656.26 c #Conflicts: 1466000 | #Constraints: 41649
2635.01/2656.26 c #Conflicts: 1467000 | #Constraints: 42649
2635.01/2656.26 c #Conflicts: 1468000 | #Constraints: 43649
2635.01/2656.26 c #Conflicts: 1469000 | #Constraints: 44649
2635.01/2656.26 c #Conflicts: 1470000 | #Constraints: 45650
2635.01/2656.26 c #Conflicts: 1471000 | #Constraints: 46650
2635.01/2656.26 c #Conflicts: 1472000 | #Constraints: 47650
2635.01/2656.26 c #Conflicts: 1473000 | #Constraints: 48650
2635.01/2656.26 c #Conflicts: 1474000 | #Constraints: 49650
2635.01/2656.26 c #Conflicts: 1475000 | #Constraints: 50650
2635.01/2656.26 c #Conflicts: 1476000 | #Constraints: 51650
2635.01/2656.26 c #Conflicts: 1477000 | #Constraints: 52650
2635.01/2656.26 c #Conflicts: 1478000 | #Constraints: 53650
2635.01/2656.26 c #Conflicts: 1479000 | #Constraints: 54650
2635.01/2656.26 c #Conflicts: 1480000 | #Constraints: 55650
2635.01/2656.26 c #Conflicts: 1481000 | #Constraints: 56650
2635.01/2656.26 c #Conflicts: 1482000 | #Constraints: 57650
2635.01/2656.26 c #Conflicts: 1483000 | #Constraints: 58650
2635.01/2656.26 c #Conflicts: 1484000 | #Constraints: 59650
2635.01/2656.26 c #Conflicts: 1485000 | #Constraints: 60650
2635.01/2656.26 c #Conflicts: 1486000 | #Constraints: 61650
2635.01/2656.26 c #Conflicts: 1487000 | #Constraints: 62650
2635.01/2656.26 c #Conflicts: 1488000 | #Constraints: 63650
2635.01/2656.26 c #Conflicts: 1489000 | #Constraints: 64650
2635.01/2656.26 c #Conflicts: 1490000 | #Constraints: 65650
2635.01/2656.26 c #Conflicts: 1491000 | #Constraints: 66650
2635.01/2656.26 c #Conflicts: 1492000 | #Constraints: 67650
2635.01/2656.26 c #Conflicts: 1493000 | #Constraints: 68650
2635.01/2656.26 c #Conflicts: 1494000 | #Constraints: 69650
2635.01/2656.26 c #Conflicts: 1495000 | #Constraints: 70650
2635.01/2656.26 c #Conflicts: 1496000 | #Constraints: 71650
2635.01/2656.26 c #Conflicts: 1497000 | #Constraints: 72650
2635.01/2656.26 c #Conflicts: 1498000 | #Constraints: 73650
2635.01/2656.26 c #Conflicts: 1499000 | #Constraints: 74650
2635.01/2656.26 c #Conflicts: 1500000 | #Constraints: 75650
2635.01/2656.26 c #Conflicts: 1501000 | #Constraints: 76651
2635.01/2656.26 c #Conflicts: 1502000 | #Constraints: 77651
2635.01/2656.26 c #Conflicts: 1503000 | #Constraints: 78651
2635.01/2656.26 c #Conflicts: 1504000 | #Constraints: 79651
2635.01/2656.26 c #Conflicts: 1505000 | #Constraints: 80651
2635.01/2656.26 c #Conflicts: 1506000 | #Constraints: 81651
2635.01/2656.26 c #Conflicts: 1507000 | #Constraints: 82651
2635.01/2656.26 c #Conflicts: 1508000 | #Constraints: 83651
2635.01/2656.26 c #Conflicts: 1509000 | #Constraints: 84651
2635.01/2656.26 c #Conflicts: 1510000 | #Constraints: 85651
2635.01/2656.26 c #Conflicts: 1511000 | #Constraints: 86651
2916.93/2939.44 c #Conflicts: 1512000 | #Constraints: 87651
2916.93/2939.44 c #Conflicts: 1513000 | #Constraints: 88651
2916.93/2939.44 c #Conflicts: 1514000 | #Constraints: 89651
2916.93/2939.44 c #Conflicts: 1515000 | #Constraints: 90651
2916.93/2939.44 c #Conflicts: 1516000 | #Constraints: 91651
2916.93/2939.44 c #Conflicts: 1517000 | #Constraints: 92651
2916.93/2939.44 c #Conflicts: 1518000 | #Constraints: 93651
2916.93/2939.44 c #Conflicts: 1519000 | #Constraints: 94651
2916.93/2939.44 c #Conflicts: 1520000 | #Constraints: 95651
2916.93/2939.44 c #Conflicts: 1521000 | #Constraints: 96651
2916.93/2939.44 c #Conflicts: 1522000 | #Constraints: 97651
2916.93/2939.44 c #Conflicts: 1523000 | #Constraints: 98651
2916.93/2939.44 c #Conflicts: 1524000 | #Constraints: 99651
2916.93/2939.44 c #Conflicts: 1525000 | #Constraints: 100651
2916.93/2939.44 c #Conflicts: 1526000 | #Constraints: 101651
2916.93/2939.44 c #Conflicts: 1527000 | #Constraints: 102651
2916.93/2939.44 c #Conflicts: 1528000 | #Constraints: 103651
2916.93/2939.44 c #Conflicts: 1529000 | #Constraints: 104651
2916.93/2939.44 c #Conflicts: 1530000 | #Constraints: 105651
2916.93/2939.44 c #Conflicts: 1531000 | #Constraints: 106651
2916.93/2939.44 c #Conflicts: 1532000 | #Constraints: 107651
2916.93/2939.44 c #Conflicts: 1533000 | #Constraints: 108651
2916.93/2939.44 c #Conflicts: 1534000 | #Constraints: 109651
2916.93/2939.44 c #Conflicts: 1535000 | #Constraints: 110651
2916.93/2939.44 c #Conflicts: 1536000 | #Constraints: 111651
2916.93/2939.44 c #Conflicts: 1537000 | #Constraints: 112651
2916.93/2939.44 c #Conflicts: 1538000 | #Constraints: 113651
2916.93/2939.44 c #Conflicts: 1539000 | #Constraints: 114651
2916.93/2939.44 c #Conflicts: 1540000 | #Constraints: 115651
2916.93/2939.44 c #Conflicts: 1541000 | #Constraints: 116651
2916.93/2939.44 c #Conflicts: 1542000 | #Constraints: 117651
2916.93/2939.44 c #Conflicts: 1543000 | #Constraints: 118651
2916.93/2939.44 c #Conflicts: 1544000 | #Constraints: 119651
2916.93/2939.44 c #Conflicts: 1545000 | #Constraints: 120651
2916.93/2939.44 c #Conflicts: 1546000 | #Constraints: 121651
2916.93/2939.44 c #Conflicts: 1547000 | #Constraints: 122651
2916.93/2939.44 c #Conflicts: 1548000 | #Constraints: 123651
2916.93/2939.44 c #Conflicts: 1549000 | #Constraints: 124651
2916.93/2939.44 c #Conflicts: 1550000 | #Constraints: 125651
2916.93/2939.44 c #Conflicts: 1551000 | #Constraints: 126651
2916.93/2939.44 c #Conflicts: 1552000 | #Constraints: 127651
2916.93/2939.44 c #Conflicts: 1553000 | #Constraints: 128651
2916.93/2939.44 c #Conflicts: 1554000 | #Constraints: 129651
2916.93/2939.44 c #Conflicts: 1555000 | #Constraints: 130651
2916.93/2939.44 c #Conflicts: 1556000 | #Constraints: 131651
2916.93/2939.44 c INPROCESSING
2916.93/2939.44 c GARBAGE COLLECT
2916.93/2939.44 c #Conflicts: 1557000 | #Constraints: 70154
2916.93/2939.44 c #Conflicts: 1558000 | #Constraints: 71154
2916.93/2939.44 c #Conflicts: 1559000 | #Constraints: 72154
2916.93/2939.44 c #Conflicts: 1560000 | #Constraints: 73154
2916.93/2939.44 c #Conflicts: 1561000 | #Constraints: 74154
2916.93/2939.44 c #Conflicts: 1562000 | #Constraints: 75154
2916.93/2939.44 c #Conflicts: 1563000 | #Constraints: 76154
2916.93/2939.44 c #Conflicts: 1564000 | #Constraints: 77154
2916.93/2939.44 c #Conflicts: 1565000 | #Constraints: 78154
2916.93/2939.44 c #Conflicts: 1566000 | #Constraints: 79154
2916.93/2939.44 c #Conflicts: 1567000 | #Constraints: 80154
2916.93/2939.44 c #Conflicts: 1568000 | #Constraints: 81154
2916.93/2939.44 c #Conflicts: 1569000 | #Constraints: 82154
2916.93/2939.44 c #Conflicts: 1570000 | #Constraints: 83154
2916.93/2939.44 c #Conflicts: 1571000 | #Constraints: 84154
2916.93/2939.44 c #Conflicts: 1572000 | #Constraints: 85154
2916.93/2939.44 c #Conflicts: 1573000 | #Constraints: 86154
2916.93/2939.44 c #Conflicts: 1574000 | #Constraints: 87154
2916.93/2939.44 c #Conflicts: 1575000 | #Constraints: 88154
2916.93/2939.44 c #Conflicts: 1576000 | #Constraints: 89154
2916.93/2939.44 c #Conflicts: 1577000 | #Constraints: 90154
2916.93/2939.44 c #Conflicts: 1578000 | #Constraints: 91154
2916.93/2939.44 c #Conflicts: 1579000 | #Constraints: 92154
2916.93/2939.44 c #Conflicts: 1580000 | #Constraints: 93154
2916.93/2939.44 c #Conflicts: 1581000 | #Constraints: 94154
2916.93/2939.44 c #Conflicts: 1582000 | #Constraints: 95154
2916.93/2939.44 c #Conflicts: 1583000 | #Constraints: 96154
2916.93/2939.44 c #Conflicts: 1584000 | #Constraints: 97154
2916.93/2939.44 c INPROCESSING
2916.93/2939.44 c GARBAGE COLLECT
2916.93/2939.44 c #Conflicts: 1585000 | #Constraints: 53081
2916.93/2939.44 c #Conflicts: 1586000 | #Constraints: 54081
2916.93/2939.44 c #Conflicts: 1587000 | #Constraints: 55081
2916.93/2939.44 c #Conflicts: 1588000 | #Constraints: 56081
2982.24/3005.02 c #Conflicts: 1589000 | #Constraints: 57081
2982.24/3005.02 c #Conflicts: 1590000 | #Constraints: 58081
2982.24/3005.02 c #Conflicts: 1591000 | #Constraints: 59081
2982.24/3005.02 c #Conflicts: 1592000 | #Constraints: 60081
2982.24/3005.02 c #Conflicts: 1593000 | #Constraints: 61081
2982.24/3005.02 c #Conflicts: 1594000 | #Constraints: 62081
2982.24/3005.02 c #Conflicts: 1595000 | #Constraints: 63081
2982.24/3005.02 c #Conflicts: 1596000 | #Constraints: 64081
2982.24/3005.02 c #Conflicts: 1597000 | #Constraints: 65081
2982.24/3005.02 c #Conflicts: 1598000 | #Constraints: 66081
2982.24/3005.02 c #Conflicts: 1599000 | #Constraints: 67081
2982.24/3005.02 c #Conflicts: 1600000 | #Constraints: 68081
2982.24/3005.02 c #Conflicts: 1601000 | #Constraints: 69081
2982.24/3005.02 c #Conflicts: 1602000 | #Constraints: 70081
2982.24/3005.02 c #Conflicts: 1603000 | #Constraints: 71081
2982.24/3005.02 c #Conflicts: 1604000 | #Constraints: 72081
2982.24/3005.02 c #Conflicts: 1605000 | #Constraints: 73081
2982.24/3005.02 c #Conflicts: 1606000 | #Constraints: 74081
2982.24/3005.02 c #Conflicts: 1607000 | #Constraints: 75081
2982.24/3005.02 c #Conflicts: 1608000 | #Constraints: 76081
2982.24/3005.02 c #Conflicts: 1609000 | #Constraints: 77081
2982.24/3005.02 c #Conflicts: 1610000 | #Constraints: 78081
2982.24/3005.02 c #Conflicts: 1611000 | #Constraints: 79081
2982.24/3005.02 c INPROCESSING
2982.24/3005.02 c GARBAGE COLLECT
2982.24/3005.02 c rational objective 93.7415
3122.89/3146.87 c #Conflicts: 1612000 | #Constraints: 43606
3122.89/3146.87 c #Conflicts: 1613000 | #Constraints: 44606
3122.89/3146.87 c #Conflicts: 1614000 | #Constraints: 45606
3122.89/3146.87 c #Conflicts: 1615000 | #Constraints: 46606
3122.89/3146.87 c #Conflicts: 1616000 | #Constraints: 47606
3122.89/3146.87 c #Conflicts: 1617000 | #Constraints: 48606
3122.89/3146.87 c #Conflicts: 1618000 | #Constraints: 49606
3122.89/3146.87 c #Conflicts: 1619000 | #Constraints: 50606
3122.89/3146.87 c #Conflicts: 1620000 | #Constraints: 51606
3122.89/3146.87 c #Conflicts: 1621000 | #Constraints: 52606
3122.89/3146.87 c #Conflicts: 1622000 | #Constraints: 53606
3122.89/3146.87 c #Conflicts: 1623000 | #Constraints: 54606
3122.89/3146.87 c #Conflicts: 1624000 | #Constraints: 55606
3122.89/3146.87 c #Conflicts: 1625000 | #Constraints: 56606
3122.89/3146.87 c #Conflicts: 1626000 | #Constraints: 57606
3122.89/3146.87 c #Conflicts: 1627000 | #Constraints: 58606
3122.89/3146.87 c #Conflicts: 1628000 | #Constraints: 59606
3122.89/3146.87 c #Conflicts: 1629000 | #Constraints: 60606
3122.89/3146.87 c #Conflicts: 1630000 | #Constraints: 61606
3122.89/3146.87 c #Conflicts: 1631000 | #Constraints: 62606
3122.89/3146.87 c #Conflicts: 1632000 | #Constraints: 63606
3122.89/3146.87 c #Conflicts: 1633000 | #Constraints: 64606
3122.89/3146.87 c #Conflicts: 1634000 | #Constraints: 65606
3122.89/3146.87 c #Conflicts: 1635000 | #Constraints: 66606
3122.89/3146.87 c #Conflicts: 1636000 | #Constraints: 67606
3122.89/3146.87 c #Conflicts: 1637000 | #Constraints: 68606
3122.89/3146.87 c #Conflicts: 1638000 | #Constraints: 69606
3122.89/3146.87 c #Conflicts: 1639000 | #Constraints: 70606
3122.89/3146.87 c #Conflicts: 1640000 | #Constraints: 71606
3122.89/3146.87 c INPROCESSING
3122.89/3146.87 c GARBAGE COLLECT
3122.89/3146.87 c #Conflicts: 1641000 | #Constraints: 40273
3122.89/3146.87 c #Conflicts: 1642000 | #Constraints: 41273
3122.89/3146.87 c #Conflicts: 1643000 | #Constraints: 42273
3122.89/3146.87 c #Conflicts: 1644000 | #Constraints: 43273
3122.89/3146.87 c #Conflicts: 1645000 | #Constraints: 44273
3122.89/3146.87 c #Conflicts: 1646000 | #Constraints: 45273
3122.89/3146.87 c #Conflicts: 1647000 | #Constraints: 46273
3122.89/3146.87 c #Conflicts: 1648000 | #Constraints: 47273
3122.89/3146.87 c #Conflicts: 1649000 | #Constraints: 48273
3122.89/3146.87 c #Conflicts: 1650000 | #Constraints: 49273
3122.89/3146.87 c #Conflicts: 1651000 | #Constraints: 50273
3122.89/3146.87 c #Conflicts: 1652000 | #Constraints: 51273
3122.89/3146.87 c #Conflicts: 1653000 | #Constraints: 52273
3122.89/3146.87 c #Conflicts: 1654000 | #Constraints: 53273
3122.89/3146.87 c #Conflicts: 1655000 | #Constraints: 54273
3122.89/3146.87 c #Conflicts: 1656000 | #Constraints: 55273
3122.89/3146.87 c #Conflicts: 1657000 | #Constraints: 56273
3122.89/3146.87 c #Conflicts: 1658000 | #Constraints: 57273
3122.89/3146.87 c #Conflicts: 1659000 | #Constraints: 58273
3122.89/3146.87 c #Conflicts: 1660000 | #Constraints: 59273
3122.89/3146.87 c #Conflicts: 1661000 | #Constraints: 60273
3122.89/3146.87 c #Conflicts: 1662000 | #Constraints: 61273
3122.89/3146.87 c #Conflicts: 1663000 | #Constraints: 62273
3122.89/3146.87 c #Conflicts: 1664000 | #Constraints: 63273
3122.89/3146.87 c #Conflicts: 1665000 | #Constraints: 64273
3122.89/3146.87 c #Conflicts: 1666000 | #Constraints: 65273
3122.89/3146.87 c #Conflicts: 1667000 | #Constraints: 66273
3122.89/3146.87 c #Conflicts: 1668000 | #Constraints: 67273
3122.89/3146.87 c INPROCESSING
3122.89/3146.87 c GARBAGE COLLECT
3122.89/3146.87 c #Conflicts: 1669000 | #Constraints: 37943
3122.89/3146.87 c #Conflicts: 1670000 | #Constraints: 38943
3122.89/3146.87 c #Conflicts: 1671000 | #Constraints: 39943
3122.89/3146.87 c #Conflicts: 1672000 | #Constraints: 40943
3122.89/3146.87 c #Conflicts: 1673000 | #Constraints: 41943
3122.89/3146.87 c #Conflicts: 1674000 | #Constraints: 42943
3122.89/3146.87 c #Conflicts: 1675000 | #Constraints: 43943
3122.89/3146.87 c #Conflicts: 1676000 | #Constraints: 44943
3122.89/3146.87 c #Conflicts: 1677000 | #Constraints: 45943
3122.89/3146.87 c #Conflicts: 1678000 | #Constraints: 46943
3122.89/3146.87 c #Conflicts: 1679000 | #Constraints: 47943
3122.89/3146.87 c #Conflicts: 1680000 | #Constraints: 48943
3122.89/3146.87 c #Conflicts: 1681000 | #Constraints: 49943
3122.89/3146.87 c #Conflicts: 1682000 | #Constraints: 50943
3122.89/3146.87 c #Conflicts: 1683000 | #Constraints: 51943
3122.89/3146.87 c #Conflicts: 1684000 | #Constraints: 52943
3122.89/3146.87 c #Conflicts: 1685000 | #Constraints: 53943
3122.89/3146.87 c #Conflicts: 1686000 | #Constraints: 54943
3122.89/3146.87 c #Conflicts: 1687000 | #Constraints: 55943
3122.89/3146.87 c #Conflicts: 1688000 | #Constraints: 56943
3122.89/3146.87 c #Conflicts: 1689000 | #Constraints: 57943
3310.84/3336.10 c #Conflicts: 1690000 | #Constraints: 58943
3310.84/3336.10 c #Conflicts: 1691000 | #Constraints: 59943
3310.84/3336.10 c #Conflicts: 1692000 | #Constraints: 60943
3310.84/3336.10 c #Conflicts: 1693000 | #Constraints: 61943
3310.84/3336.10 c #Conflicts: 1694000 | #Constraints: 62943
3310.84/3336.10 c #Conflicts: 1695000 | #Constraints: 63943
3310.84/3336.10 c #Conflicts: 1696000 | #Constraints: 64943
3310.84/3336.10 c INPROCESSING
3310.84/3336.10 c GARBAGE COLLECT
3310.84/3336.10 c #Conflicts: 1697000 | #Constraints: 36632
3310.84/3336.10 c #Conflicts: 1698000 | #Constraints: 37632
3310.84/3336.10 c #Conflicts: 1699000 | #Constraints: 38632
3310.84/3336.10 c #Conflicts: 1700000 | #Constraints: 39632
3310.84/3336.10 c #Conflicts: 1701000 | #Constraints: 40632
3310.84/3336.10 c #Conflicts: 1702000 | #Constraints: 41632
3310.84/3336.10 c #Conflicts: 1703000 | #Constraints: 42632
3310.84/3336.10 c #Conflicts: 1704000 | #Constraints: 43632
3310.84/3336.10 c #Conflicts: 1705000 | #Constraints: 44632
3310.84/3336.10 c #Conflicts: 1706000 | #Constraints: 45632
3310.84/3336.10 c #Conflicts: 1707000 | #Constraints: 46632
3310.84/3336.10 c #Conflicts: 1708000 | #Constraints: 47632
3310.84/3336.10 c #Conflicts: 1709000 | #Constraints: 48632
3310.84/3336.10 c #Conflicts: 1710000 | #Constraints: 49632
3310.84/3336.10 c #Conflicts: 1711000 | #Constraints: 50632
3310.84/3336.10 c #Conflicts: 1712000 | #Constraints: 51632
3310.84/3336.10 c #Conflicts: 1713000 | #Constraints: 52632
3310.84/3336.10 c #Conflicts: 1714000 | #Constraints: 53632
3310.84/3336.10 c #Conflicts: 1715000 | #Constraints: 54632
3310.84/3336.10 c #Conflicts: 1716000 | #Constraints: 55632
3310.84/3336.10 c #Conflicts: 1717000 | #Constraints: 56632
3310.84/3336.10 c #Conflicts: 1718000 | #Constraints: 57632
3310.84/3336.10 c #Conflicts: 1719000 | #Constraints: 58632
3310.84/3336.10 c #Conflicts: 1720000 | #Constraints: 59632
3310.84/3336.10 c #Conflicts: 1721000 | #Constraints: 60632
3310.84/3336.10 c #Conflicts: 1722000 | #Constraints: 61632
3310.84/3336.10 c #Conflicts: 1723000 | #Constraints: 62632
3310.84/3336.10 c #Conflicts: 1724000 | #Constraints: 63632
3310.84/3336.10 c #Conflicts: 1725000 | #Constraints: 64632
3310.84/3336.10 c #Conflicts: 1726000 | #Constraints: 65632
3310.84/3336.10 c #Conflicts: 1727000 | #Constraints: 66632
3310.84/3336.10 c #Conflicts: 1728000 | #Constraints: 67632
3310.84/3336.10 c #Conflicts: 1729000 | #Constraints: 68632
3310.84/3336.10 c #Conflicts: 1730000 | #Constraints: 69632
3310.84/3336.10 c #Conflicts: 1731000 | #Constraints: 70632
3310.84/3336.10 c #Conflicts: 1732000 | #Constraints: 71632
3310.84/3336.10 c #Conflicts: 1733000 | #Constraints: 72632
3310.84/3336.10 c #Conflicts: 1734000 | #Constraints: 73632
3310.84/3336.10 c #Conflicts: 1735000 | #Constraints: 74632
3310.84/3336.10 c #Conflicts: 1736000 | #Constraints: 75632
3310.84/3336.10 c #Conflicts: 1737000 | #Constraints: 76632
3310.84/3336.10 c #Conflicts: 1738000 | #Constraints: 77632
3310.84/3336.10 c #Conflicts: 1739000 | #Constraints: 78632
3310.84/3336.10 c #Conflicts: 1740000 | #Constraints: 79632
3310.84/3336.10 c #Conflicts: 1741000 | #Constraints: 80632
3310.84/3336.10 c #Conflicts: 1742000 | #Constraints: 81632
3310.84/3336.10 c #Conflicts: 1743000 | #Constraints: 82632
3310.84/3336.10 c #Conflicts: 1744000 | #Constraints: 83632
3310.84/3336.10 c #Conflicts: 1745000 | #Constraints: 84632
3310.84/3336.10 c #Conflicts: 1746000 | #Constraints: 85632
3310.84/3336.10 c #Conflicts: 1747000 | #Constraints: 86632
3310.84/3336.10 c #Conflicts: 1748000 | #Constraints: 87632
3310.84/3336.10 c #Conflicts: 1749000 | #Constraints: 88632
3310.84/3336.10 c #Conflicts: 1750000 | #Constraints: 89632
3310.84/3336.10 c #Conflicts: 1751000 | #Constraints: 90632
3310.84/3336.10 c #Conflicts: 1752000 | #Constraints: 91632
3310.84/3336.10 c #Conflicts: 1753000 | #Constraints: 92632
3310.84/3336.10 c #Conflicts: 1754000 | #Constraints: 93632
3310.84/3336.10 c #Conflicts: 1755000 | #Constraints: 94632
3310.84/3336.10 c #Conflicts: 1756000 | #Constraints: 95632
3310.84/3336.10 c #Conflicts: 1757000 | #Constraints: 96632
3310.84/3336.10 c #Conflicts: 1758000 | #Constraints: 97632
3310.84/3336.10 c #Conflicts: 1759000 | #Constraints: 98632
3310.84/3336.10 c #Conflicts: 1760000 | #Constraints: 99632
3310.84/3336.10 c #Conflicts: 1761000 | #Constraints: 100632
3310.84/3336.10 c #Conflicts: 1762000 | #Constraints: 101632
3310.84/3336.10 c #Conflicts: 1763000 | #Constraints: 102632
3310.84/3336.10 c #Conflicts: 1764000 | #Constraints: 103632
3310.84/3336.10 c #Conflicts: 1765000 | #Constraints: 104632
3310.84/3336.10 c #Conflicts: 1766000 | #Constraints: 105632
3310.84/3336.10 c #Conflicts: 1767000 | #Constraints: 106632
3600.07/3626.20 c #Conflicts: 1768000 | #Constraints: 107632
3600.07/3626.20 c #Conflicts: 1769000 | #Constraints: 108632
3600.07/3626.20 c #Conflicts: 1770000 | #Constraints: 109632
3600.07/3626.20 c #Conflicts: 1771000 | #Constraints: 110632
3600.07/3626.20 c #Conflicts: 1772000 | #Constraints: 111632
3600.07/3626.20 c #Conflicts: 1773000 | #Constraints: 112632
3600.07/3626.20 c #Conflicts: 1774000 | #Constraints: 113632
3600.07/3626.20 c #Conflicts: 1775000 | #Constraints: 114632
3600.07/3626.20 c #Conflicts: 1776000 | #Constraints: 115632
3600.07/3626.20 c #Conflicts: 1777000 | #Constraints: 116632
3600.07/3626.20 c #Conflicts: 1778000 | #Constraints: 117632
3600.07/3626.20 c #Conflicts: 1779000 | #Constraints: 118632
3600.07/3626.20 c #Conflicts: 1780000 | #Constraints: 119632
3600.07/3626.20 c #Conflicts: 1781000 | #Constraints: 120632
3600.07/3626.20 c #Conflicts: 1782000 | #Constraints: 121632
3600.07/3626.20 c #Conflicts: 1783000 | #Constraints: 122632
3600.07/3626.20 c #Conflicts: 1784000 | #Constraints: 123632
3600.07/3626.20 c #Conflicts: 1785000 | #Constraints: 124632
3600.07/3626.20 c #Conflicts: 1786000 | #Constraints: 125632
3600.07/3626.20 c #Conflicts: 1787000 | #Constraints: 126632
3600.07/3626.20 c #Conflicts: 1788000 | #Constraints: 127632
3600.07/3626.20 c #Conflicts: 1789000 | #Constraints: 128632
3600.07/3626.20 c #Conflicts: 1790000 | #Constraints: 129632
3600.07/3626.20 c #Conflicts: 1791000 | #Constraints: 130632
3600.07/3626.20 c #Conflicts: 1792000 | #Constraints: 131632
3600.07/3626.20 c #Conflicts: 1793000 | #Constraints: 132632
3600.07/3626.20 c #Conflicts: 1794000 | #Constraints: 133632
3600.07/3626.20 c #Conflicts: 1795000 | #Constraints: 134632
3600.07/3626.20 c #Conflicts: 1796000 | #Constraints: 135632
3600.07/3626.20 c #Conflicts: 1797000 | #Constraints: 136632
3600.07/3626.20 c #Conflicts: 1798000 | #Constraints: 137632
3600.07/3626.20 c #Conflicts: 1799000 | #Constraints: 138632
3600.07/3626.20 c #Conflicts: 1800000 | #Constraints: 139632
3600.07/3626.20 c #Conflicts: 1801000 | #Constraints: 140632
3600.07/3626.20 c #Conflicts: 1802000 | #Constraints: 141632
3600.07/3626.20 c INPROCESSING
3600.07/3626.20 c GARBAGE COLLECT
3600.07/3626.20 c #Conflicts: 1803000 | #Constraints: 75326
3600.07/3626.20 c #Conflicts: 1804000 | #Constraints: 76326
3600.07/3626.20 c #Conflicts: 1805000 | #Constraints: 77326
3600.07/3626.20 c #Conflicts: 1806000 | #Constraints: 78326
3600.07/3626.20 c #Conflicts: 1807000 | #Constraints: 79326
3600.07/3626.20 c #Conflicts: 1808000 | #Constraints: 80326
3600.07/3626.20 c #Conflicts: 1809000 | #Constraints: 81326
3600.07/3626.20 c #Conflicts: 1810000 | #Constraints: 82326
3600.07/3626.20 c #Conflicts: 1811000 | #Constraints: 83326
3600.07/3626.20 c #Conflicts: 1812000 | #Constraints: 84326
3600.07/3626.20 c #Conflicts: 1813000 | #Constraints: 85326
3600.07/3626.20 c #Conflicts: 1814000 | #Constraints: 86326
3600.07/3626.20 c #Conflicts: 1815000 | #Constraints: 87326
3600.07/3626.20 c #Conflicts: 1816000 | #Constraints: 88326
3600.07/3626.20 c #Conflicts: 1817000 | #Constraints: 89326
3600.07/3626.20 c #Conflicts: 1818000 | #Constraints: 90326
3600.07/3626.20 c #Conflicts: 1819000 | #Constraints: 91326
3600.07/3626.20 c #Conflicts: 1820000 | #Constraints: 92326
3600.07/3626.20 c #Conflicts: 1821000 | #Constraints: 93326
3600.07/3626.20 c #Conflicts: 1822000 | #Constraints: 94326
3600.07/3626.20 c #Conflicts: 1823000 | #Constraints: 95326
3600.07/3626.20 c #Conflicts: 1824000 | #Constraints: 96326
3600.07/3626.20 c #Conflicts: 1825000 | #Constraints: 97326
3600.07/3626.20 c #Conflicts: 1826000 | #Constraints: 98326
3600.07/3626.20 c #Conflicts: 1827000 | #Constraints: 99326
3600.07/3626.20 c #Conflicts: 1828000 | #Constraints: 100326
3600.07/3626.20 c #Conflicts: 1829000 | #Constraints: 101326
3600.07/3626.20 c #Conflicts: 1830000 | #Constraints: 102326
3600.07/3626.20 c #Conflicts: 1831000 | #Constraints: 103326
3600.07/3626.20 c INPROCESSING
3600.07/3626.20 c GARBAGE COLLECT
3600.07/3626.20 c Disabling crashed LP
3600.07/3626.20 c cpu time 3577.87 s
3600.07/3626.20 c deterministic time 257994772840 2.58e+11
3600.07/3626.20 c optimization time 0.000981 s
3600.07/3626.20 c total solve time 3577.83 s
3600.07/3626.20 c core-guided solve time 0 s
3600.07/3626.20 c propagation time 1929.65 s
3600.07/3626.20 c conflict analysis time 1403.06 s
3600.07/3626.20 c propagations 922834198
3600.07/3626.20 c resolve steps 85033688
3600.07/3626.20 c decisions 12070722
3600.07/3626.20 c conflicts 1831800
3600.07/3626.20 c restarts 3578
3600.07/3626.20 c inprocessing phases 86
3600.07/3626.20 c garbage collections 86 ,( 100.00 )
3600.07/3626.20 c input clauses 6191 ,( 98.61 )
3600.07/3626.20 c input cardinalities 87 ,( 1.39 )
3600.07/3626.20 c input general constraints 0 ,( 0.00 )
3600.07/3626.20 c input average constraint length 6.13
3600.07/3626.20 c input average constraint degree 1.91
3600.07/3626.20 c learned clauses 1437229 ,( 78.46 )
3600.07/3626.20 c learned cardinalities 27364 ,( 1.49 )
3600.07/3626.20 c learned general constraints 367219 ,( 20.05 )
3600.07/3626.20 c learned average constraint length 687.32
3600.07/3626.20 c learned average constraint degree 9201487.70
3600.07/3626.20 c watched CF 32, 64, 128, Arb: 118107 , 0 , 0 , 0
3600.07/3626.20 c counting CF 32, 64, 128, Arb: 249112 , 0 , 0 , 0
3600.07/3626.20 c watched constraints 118107 ,( 32.16 )
3600.07/3626.20 c counting constraints 249112 ,( 67.84 )
3600.07/3626.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1561900621 , 618707662 , 3337485473 ,( 136890934 , 3200594539 )
3600.07/3626.20 c gcd simplifications 888
3600.07/3626.20 c detected cardinalities 1704
3600.07/3626.20 c weakened non-implied lits 356864882
3600.07/3626.20 c weakened non-implying lits 216183
3600.07/3626.20 c original variables 5979
3600.07/3626.20 c clausal propagations 347257083
3600.07/3626.20 c cardinality propagations 343927128
3600.07/3626.20 c watched propagations 4537049
3600.07/3626.20 c counting propagations 221333913
3600.07/3626.20 c watch lookups 142420017502
3600.07/3626.20 c watch backjump lookups 0
3600.07/3626.20 c watch checks 39914225475
3600.07/3626.20 c propagation checks 69312795966
3600.07/3626.20 c constraint additions 4475721671
3600.07/3626.20 c trail pops 936736270
3600.07/3626.20 c formula constraints 6278
3600.07/3626.20 c learned constraints 1831794
3600.07/3626.20 c bound constraints 0
3600.07/3626.20 c core-guided constraints 0
3600.07/3626.20 c encountered formula constraints 50606693
3600.07/3626.20 c encountered learned constraints 36258106
3600.07/3626.20 c encountered bound constraints 0
3600.07/3626.20 c encountered core-guided constraints 0
3600.07/3626.20 c LP total time 180.208 s
3600.07/3626.20 c LP solve time 166.53 s
3600.07/3626.20 c LP constraints added 7014
3600.07/3626.20 c LP constraints removed 433
3600.07/3626.20 c LP pivots internal 189426
3600.07/3626.20 c LP pivots root 181609
3600.07/3626.20 c LP calls 28
3600.07/3626.20 c LP optimalities 14
3600.07/3626.20 c LP no pivot count 0
3600.07/3626.20 c LP infeasibilities 7
3600.07/3626.20 c LP valid Farkas constraints 6
3600.07/3626.20 c LP learned Farkas constraints 6
3600.07/3626.20 c LP basis resets 2
3600.07/3626.20 c LP cycling count 0
3600.07/3626.20 c LP singular count 1
3600.07/3626.20 c LP no primal count 0
3600.07/3626.20 c LP no farkas count 1
3600.07/3626.20 c LP other issue count 0
3600.07/3626.20 c LP Gomory cuts 6
3600.07/3626.20 c LP learned cuts 730
3600.07/3626.20 c LP deleted cuts 433
3600.07/3626.20 c LP encountered Gomory constraints 560
3600.07/3626.20 c LP encountered Farkas constraints 109
3600.07/3626.20 c LP encountered learned Farkas constraints 14
3600.07/3626.20 c CG auxiliary variables introduced 0
3600.07/3626.20 c CG solutions found 0
3600.07/3626.20 c CG cores constructed 0
3600.07/3626.20 c CG core cardinality constraints returned 0
3600.07/3626.20 c CG unit cores 0
3600.07/3626.20 c CG single cores 0
3600.07/3626.20 c CG blocks removed during cardinality reduction 0
3600.07/3626.20 c CG first core best 0
3600.07/3626.20 c CG decision core best 0
3600.07/3626.20 c CG core reduction tie 0
3600.07/3626.20 c CG core degree average 0.00
3600.07/3626.20 c CG core slack average 0.00
3600.07/3626.20 c CG core upper bound improvements 0
3600.07/3626.20 c STR number of successful calls 0
3600.07/3626.20 c STR number of unsuccessful calls 0
3600.07/3626.20 c STR number of inconclusive calls 0
3600.07/3626.20 c STR number of successful attempts 0
3600.07/3626.20 c STR number of unsuccessful attempts 0
3600.07/3626.20 c STR number of inconclusive attempts 0
3600.07/3626.20 c STR average degree increase per successful call inf
3600.07/3626.20 c STR average degree increase per successful attempt inf
3600.07/3626.20 c STR total number of conflicts for successful attempts 0
3600.07/3626.20 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3626.20 c STR total number of conflicts for inconclusive attempts 0
3600.07/3626.20 c STR average number of conflicts per successful attempt inf
3600.07/3626.20 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3626.20 c STR average number of conflicts per inconclusive attempt inf
3600.07/3626.20 c AVG.sumWPerc 59.91
3600.07/3626.20 c bigint constraints 0
3600.07/3626.20 s UNKNOWN
3600.07/3626.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60432 MiB free)
memory of node 1: 64465 MiB (57075 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507485-1751177718/watcher-4507485-1751177718 -o /tmp/evaluation-result-4507485-1751177718/solver-4507485-1751177718 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22054 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507485-1751177718.opb PROOFDIR/proof-4507485-1751177718
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23265, runsolver pid=23262
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.20 4.13 4.10 5/272 23268
/proc/meminfo: memFree=120312728/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=58864 memory=12288 CPUtime=0.02 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 1290 0 0 0 2 0 0 0 20 0 1 0 33450438 60276736 3072 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 14716 3072 2016 1147 0 2143 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 63056 KiB
Current children cumulated memory: 15232 KiB
[startup+0.205649 s]*
/proc/loadavg: 4.20 4.13 4.10 5/272 23268
/proc/meminfo: memFree=120306868/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=73620 memory=26580 CPUtime=0.12 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 5195 0 0 0 12 0 0 0 20 0 1 0 33450438 75386880 6645 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 18405 6645 2272 1147 0 5832 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 77812 KiB
Current children cumulated memory: 29524 KiB
[startup+0.305614 s]*
/proc/loadavg: 4.20 4.13 4.10 5/272 23268
/proc/meminfo: memFree=120306868/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=73620 memory=26836 CPUtime=0.22 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 5239 0 0 0 22 0 0 0 20 0 1 0 33450438 75386880 6709 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 18405 6709 2304 1147 0 5832 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 77812 KiB
Current children cumulated memory: 29780 KiB
[startup+0.700199 s]
/proc/loadavg: 4.20 4.13 4.10 5/272 23268
/proc/meminfo: memFree=120304856/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=74676 memory=27732 CPUtime=0.61 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 5468 0 0 0 60 1 0 0 20 0 1 0 33450438 76468224 6933 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 18669 6933 2304 1147 0 6096 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 78868 KiB
Current children cumulated memory: 30676 KiB
[startup+1.5002 s]
/proc/loadavg: 4.20 4.13 4.10 5/272 23268
/proc/meminfo: memFree=120311912/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=76936 memory=32084 CPUtime=1.41 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 6509 0 0 0 138 3 0 0 20 0 1 0 33450438 78782464 8021 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 19234 8021 2336 1147 0 6661 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 81128 KiB
Current children cumulated memory: 35028 KiB
[startup+3.10547 s]
/proc/loadavg: 4.19 4.13 4.10 5/272 23268
/proc/meminfo: memFree=120292988/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=80292 memory=37696 CPUtime=3.01 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 7427 0 0 0 294 7 0 0 20 0 1 0 33450438 82219008 9424 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 20073 9424 2336 1147 0 7500 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 84484 KiB
Current children cumulated memory: 40640 KiB
[startup+6.30018 s]
/proc/loadavg: 4.19 4.13 4.10 5/272 23268
/proc/meminfo: memFree=120261036/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=85792 memory=40896 CPUtime=6.2 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 8217 0 0 0 606 14 0 0 20 0 1 0 33450438 87851008 10224 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 21448 10224 2336 1147 0 8875 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 89984 KiB
Current children cumulated memory: 43840 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.13 4.10 5/272 23268
/proc/meminfo: memFree=120204100/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=94932 memory=48564 CPUtime=12.58 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 9620 0 0 0 1233 25 0 0 20 0 1 0 33450438 97210368 12141 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 23733 12141 2336 1147 0 11160 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 99124 KiB
Current children cumulated memory: 51508 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/272 23268
/proc/meminfo: memFree=120084416/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=98332 memory=55060 CPUtime=25.35 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 10725 0 0 0 2485 50 0 0 20 0 1 0 33450438 100691968 13765 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 24583 13765 2336 1147 0 12010 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 102524 KiB
Current children cumulated memory: 58004 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 23269
/proc/meminfo: memFree=119878768/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=129280 memory=75648 CPUtime=50.9 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 14359 0 0 0 4996 94 0 0 20 0 1 0 33450438 132382720 18912 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 32320 18912 2336 1147 0 19747 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 133472 KiB
Current children cumulated memory: 78592 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/271 23272
/proc/meminfo: memFree=119438468/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=166756 memory=112128 CPUtime=101.8 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 19402 0 0 0 10023 157 0 0 20 0 1 0 33450438 170758144 28032 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 41689 28032 2336 1147 0 29116 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 170948 KiB
Current children cumulated memory: 115072 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 23274
/proc/meminfo: memFree=118905996/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=214320 memory=162256 CPUtime=159.64 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 23760 0 0 0 15733 231 0 0 20 0 1 0 33450438 219463680 40564 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 53580 40564 2336 1147 0 41007 0
Current children cumulated CPU time: 159.65 s
Current children cumulated vsize: 218512 KiB
Current children cumulated memory: 165200 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/271 23281
/proc/meminfo: memFree=118393188/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=293888 memory=242424 CPUtime=218.9 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 31033 0 0 0 21614 276 0 0 20 0 1 0 33450438 300941312 60606 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
################
# More data... #
################
/proc/23268/statm: 236590 209411 2464 1147 0 224017 0
Current children cumulated CPU time: 3018.76 s
Current children cumulated vsize: 950552 KiB
Current children cumulated memory: 840588 KiB
[startup+3102.3 s]
/proc/loadavg: 2.13 2.14 2.63 3/258 23597
/proc/meminfo: memFree=120375348/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=947896 memory=838924 CPUtime=3078.55 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 79412 0 0 0 305852 2003 0 0 20 0 1 0 33450438 970645504 209731 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 236974 209731 2464 1147 0 224401 0
Current children cumulated CPU time: 3078.56 s
Current children cumulated vsize: 952088 KiB
Current children cumulated memory: 841868 KiB
[startup+3162.3 s]
/proc/loadavg: 2.09 2.13 2.59 3/260 23601
/proc/meminfo: memFree=120190408/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=951856 memory=843148 CPUtime=3138.31 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 80474 0 0 0 311783 2048 0 0 20 0 1 0 33450438 974700544 210787 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 237964 210787 2464 1147 0 225391 0
Current children cumulated CPU time: 3138.32 s
Current children cumulated vsize: 956048 KiB
Current children cumulated memory: 846092 KiB
[startup+3222.3 s]
/proc/loadavg: 2.15 2.14 2.56 3/260 23607
/proc/meminfo: memFree=120000808/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=951856 memory=843148 CPUtime=3198.03 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 80488 0 0 0 317719 2084 0 0 20 0 1 0 33450438 974700544 210787 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 237964 210787 2464 1147 0 225391 0
Current children cumulated CPU time: 3198.04 s
Current children cumulated vsize: 956048 KiB
Current children cumulated memory: 846092 KiB
[startup+3282.3 s]
/proc/loadavg: 2.12 2.12 2.53 3/260 23609
/proc/meminfo: memFree=119833672/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=951856 memory=847372 CPUtime=3257.28 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 80552 0 0 0 323622 2106 0 0 20 0 1 0 33450438 974700544 211843 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 237964 211843 2464 1147 0 225391 0
Current children cumulated CPU time: 3257.29 s
Current children cumulated vsize: 956048 KiB
Current children cumulated memory: 850316 KiB
[startup+3342.3 s]
/proc/loadavg: 2.04 2.10 2.50 3/260 23611
/proc/meminfo: memFree=119695384/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=951856 memory=848268 CPUtime=3317.1 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 80575 0 0 0 329585 2125 0 0 20 0 1 0 33450438 974700544 212067 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 237964 212067 2464 1147 0 225391 0
Current children cumulated CPU time: 3317.11 s
Current children cumulated vsize: 956048 KiB
Current children cumulated memory: 851212 KiB
[startup+3402.3 s]
/proc/loadavg: 2.11 2.11 2.47 3/260 23613
/proc/meminfo: memFree=119589836/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=952112 memory=848396 CPUtime=3376.91 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 80645 0 0 0 335551 2140 0 0 20 0 1 0 33450438 974962688 212099 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 238028 212099 2464 1147 0 225455 0
Current children cumulated CPU time: 3376.92 s
Current children cumulated vsize: 956304 KiB
Current children cumulated memory: 851340 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.10 2.45 3/258 23616
/proc/meminfo: memFree=119476700/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=957712 memory=851980 CPUtime=3436.73 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 81513 0 0 0 341518 2155 0 0 20 0 1 0 33450438 980697088 212995 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 239428 212995 2464 1147 0 226855 0
Current children cumulated CPU time: 3436.74 s
Current children cumulated vsize: 961904 KiB
Current children cumulated memory: 854924 KiB
[startup+3522.3 s]
/proc/loadavg: 2.07 2.10 2.42 3/258 23618
/proc/meminfo: memFree=119356192/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=970864 memory=860428 CPUtime=3496.58 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 83824 0 0 0 347487 2171 0 0 20 0 1 0 33450438 994164736 215107 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 242716 215107 2464 1147 0 230143 0
Current children cumulated CPU time: 3496.59 s
Current children cumulated vsize: 975056 KiB
Current children cumulated memory: 863372 KiB
[startup+3582.3 s]
/proc/loadavg: 2.35 2.17 2.43 3/258 23620
/proc/meminfo: memFree=119210012/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=970864 memory=860428 CPUtime=3556.34 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 83824 0 0 0 353436 2198 0 0 20 0 1 0 33450438 994164736 215107 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 242716 215107 2464 1147 0 230143 0
Current children cumulated CPU time: 3556.35 s
Current children cumulated vsize: 975056 KiB
Current children cumulated memory: 863372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3626.2 s]
/proc/loadavg: 2.22 2.16 2.41 3/259 23622
/proc/meminfo: memFree=119149636/131250000 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/23265/stat : 23265 (run-dec-break-l) S 23262 23265 22043 0 -1 4194304 242 4238 0 0 0 0 1 0 20 0 1 0 33450431 4292608 736 18446744073709551615 93996314742784 93996315637317 140728172050672 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93996315876368 93996315924112 93996331855872 140728172054805 140728172055006 140728172055006 140728172060608 0
/proc/23265/statm: 1048 736 672 219 0 110 0
[pid=23268] ppid=23265 vsize=970864 memory=860684 CPUtime=3600.06 cores=4,6
/proc/23268/stat : 23268 (roundingsat) R 23265 23265 22043 0 -1 4194304 83879 0 0 0 357786 2220 0 0 20 0 1 0 33450438 994164736 215171 18446744073709551615 4227072 8923433 140723512180032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27500544 140723512187124 140723512187432 140723512187432 140723512193002 0
/proc/23268/statm: 242716 215171 2464 1147 0 230143 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 975056 KiB
Current children cumulated memory: 863628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3626.21 s]
# the end of solver process 23265 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.019975 s, system=0.008681 s
[startup+3626.22 s]
# the end of solver process 23268 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3577.9 s, system=22.2176 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): 3626.22
CPU time (s): 3600.11
CPU user time (s): 3577.9
CPU system time (s): 22.2176
CPU usage (%): 99.2802
Max. virtual memory (cumulated for all children) (KiB): 975056
Max. memory (cumulated for all children) (KiB): 863628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.9
system time used= 22.2176
maximum resident set size= 860940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88379
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10700712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 456
involuntary context switches= 5928
# summary of solver processes directly reported to runsolver:
# pid: 23265,23268
# total CPU time (s): 3600.11
# total CPU user time (s): 3577.9
# total CPU system time (s): 22.2176
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24015 second user time and 17.3239 second system time
The end
Begin job on nodeC026 at 2025-06-29 08:15:18
IDJOB=4507485
IDBENCH=158355
IDSOLVER=3358
FILE ID=nodeC026/4507485-1751177718
RUNJOBID= nodeC026-1751168686-22054
SLURM_JOB_ID= 9587513
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K87.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507485-1751177718/watcher-4507485-1751177718 -o /tmp/evaluation-result-4507485-1751177718/solver-4507485-1751177718 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22054 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507485-1751177718.opb PROOFDIR/proof-4507485-1751177718
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b65f6b5f7cc62b44e438e625661039cb
RANDOM SEED=379132961
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.851
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.813
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3626.178
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3595.873
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.788
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.777
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.043
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 120328416 kB
MemAvailable: 128209732 kB
Buffers: 3280 kB
Cached: 8682332 kB
SwapCached: 0 kB
Active: 1847560 kB
Inactive: 8463436 kB
Active(anon): 1643220 kB
Inactive(anon): 0 kB
Active(file): 204340 kB
Inactive(file): 8463436 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 69072 kB
Writeback: 0 kB
AnonPages: 1626568 kB
Mapped: 116436 kB
Shmem: 18080 kB
KReclaimable: 105556 kB
Slab: 193264 kB
SReclaimable: 105556 kB
SUnreclaim: 87708 kB
KernelStack: 4384 kB
PageTables: 6416 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2419316 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 976896 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433040 MiB
End job on nodeC026 at 2025-06-29 09:15:44