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-4507484-1751184509.opb'
0.00/0.03 c read 0.38MB (14.93ms)
0.00/0.03 c [cnf: #variables 5916 #clauses 6092 #duplicates 0 #arr 37960]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 1044] (18.16ms)
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 (3.70ms)
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.07 c [group: #symmetries 3.84*10^2 #generators 7] (16.67ms)
0.00/0.07 c
0.00/0.07 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.07 c (0.04ms)
0.00/0.07 c
0.00/0.07 c finalize break order and special generators
0.00/0.07 c
0.00/0.07 c add generic predicates (break_depth=10)
0.00/0.07 c added predicates for 7 generators (0.22ms)
0.00/0.07 c
0.00/0.07 c generation finished
0.00/0.07 c [sbp: #constraints 196 #add_vars 63]
0.00/0.07 c
0.00/0.07 c write result to 'HOME/instance-4507484-1751184509.opb.pre'
0.00/0.07 c wrote 0.39MB (2.85ms)
0.00/0.07 c ------------------------------------------------------------------
0.00/0.07 c 18.16ms 31.10% approx_orbits
0.00/0.07 c 16.67ms 28.54% detect_generic
0.00/0.07 c 14.93ms 25.56% parse
0.00/0.07 c 3.70ms 6.34% detect_special
0.00/0.07 c 2.85ms 4.88% output
0.00/0.07 c 1.24ms 2.12% other
0.00/0.07 c 0.60ms 1.02% finalize_order
0.00/0.07 c 0.22ms 0.38% break_generic
0.00/0.07 c 0.04ms 0.07% optimize_gens
0.00/0.07 c ───────────────────────────────────────────────
0.00/0.07 c 58.41ms 100% total
0.00/0.07 c ------------------------------------------------------------------
0.00/0.09 c RoundingSat 2
0.00/0.09 c branch pb25
0.00/0.09 c commit 63f22ad
0.05/0.21 c #variables 5979 #constraints 6278
45.57/45.88 c #Conflicts: 1000 | #Constraints: 7277
45.57/45.88 c #Conflicts: 2000 | #Constraints: 8277
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 3000 | #Constraints: 7950
45.57/45.88 c #Conflicts: 4000 | #Constraints: 8950
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 5000 | #Constraints: 8409
45.57/45.88 c #Conflicts: 6000 | #Constraints: 9409
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 7000 | #Constraints: 8447
45.57/45.88 c #Conflicts: 8000 | #Constraints: 9447
45.57/45.88 c #Conflicts: 9000 | #Constraints: 10447
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 10000 | #Constraints: 9174
45.57/45.88 c #Conflicts: 11000 | #Constraints: 10174
45.57/45.88 c #Conflicts: 12000 | #Constraints: 11174
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 13000 | #Constraints: 9680
45.57/45.88 c #Conflicts: 14000 | #Constraints: 10680
45.57/45.88 c #Conflicts: 15000 | #Constraints: 11680
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 16000 | #Constraints: 9934
45.57/45.88 c #Conflicts: 17000 | #Constraints: 10934
45.57/45.88 c #Conflicts: 18000 | #Constraints: 11934
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 19000 | #Constraints: 9970
45.57/45.88 c #Conflicts: 20000 | #Constraints: 10970
45.57/45.88 c #Conflicts: 21000 | #Constraints: 11970
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 22000 | #Constraints: 9768
45.57/45.88 c #Conflicts: 23000 | #Constraints: 10768
45.57/45.88 c #Conflicts: 24000 | #Constraints: 11768
45.57/45.88 c #Conflicts: 25000 | #Constraints: 12768
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 26000 | #Constraints: 10405
45.57/45.88 c #Conflicts: 27000 | #Constraints: 11405
45.57/45.88 c #Conflicts: 28000 | #Constraints: 12405
45.57/45.88 c #Conflicts: 29000 | #Constraints: 13405
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 30000 | #Constraints: 10852
45.57/45.88 c #Conflicts: 31000 | #Constraints: 11852
45.57/45.88 c #Conflicts: 32000 | #Constraints: 12852
45.57/45.88 c #Conflicts: 33000 | #Constraints: 13852
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 34000 | #Constraints: 11075
45.57/45.88 c #Conflicts: 35000 | #Constraints: 12075
45.57/45.88 c #Conflicts: 36000 | #Constraints: 13075
45.57/45.88 c #Conflicts: 37000 | #Constraints: 14075
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 38000 | #Constraints: 11094
45.57/45.88 c #Conflicts: 39000 | #Constraints: 12094
45.57/45.88 c #Conflicts: 40000 | #Constraints: 13094
45.57/45.88 c #Conflicts: 41000 | #Constraints: 14094
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 42000 | #Constraints: 10918
45.57/45.88 c #Conflicts: 43000 | #Constraints: 11918
45.57/45.88 c #Conflicts: 44000 | #Constraints: 12918
45.57/45.88 c #Conflicts: 45000 | #Constraints: 13918
45.57/45.88 c #Conflicts: 46000 | #Constraints: 14918
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 47000 | #Constraints: 11543
45.57/45.88 c #Conflicts: 48000 | #Constraints: 12543
45.57/45.88 c #Conflicts: 49000 | #Constraints: 13543
45.57/45.88 c #Conflicts: 50000 | #Constraints: 14543
45.57/45.88 c #Conflicts: 51000 | #Constraints: 15543
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 52000 | #Constraints: 11950
45.57/45.88 c #Conflicts: 53000 | #Constraints: 12950
45.57/45.88 c #Conflicts: 54000 | #Constraints: 13950
45.57/45.88 c #Conflicts: 55000 | #Constraints: 14950
45.57/45.88 c #Conflicts: 56000 | #Constraints: 15950
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 57000 | #Constraints: 12150
45.57/45.88 c #Conflicts: 58000 | #Constraints: 13150
45.57/45.88 c #Conflicts: 59000 | #Constraints: 14150
45.57/45.88 c #Conflicts: 60000 | #Constraints: 15150
45.57/45.88 c #Conflicts: 61000 | #Constraints: 16150
45.57/45.88 c INPROCESSING
45.57/45.88 c GARBAGE COLLECT
45.57/45.88 c #Conflicts: 62000 | #Constraints: 12196
45.57/45.88 c #Conflicts: 63000 | #Constraints: 13196
45.57/45.88 c #Conflicts: 64000 | #Constraints: 14196
45.57/45.88 c #Conflicts: 65000 | #Constraints: 15196
45.57/45.88 c #Conflicts: 66000 | #Constraints: 16196
45.57/45.88 c #Conflicts: 67000 | #Constraints: 17196
45.57/45.88 c #Conflicts: 68000 | #Constraints: 18196
115.87/116.39 c #Conflicts: 69000 | #Constraints: 19196
115.87/116.39 c #Conflicts: 70000 | #Constraints: 20196
115.87/116.39 c #Conflicts: 71000 | #Constraints: 21196
115.87/116.39 c #Conflicts: 72000 | #Constraints: 22196
115.87/116.39 c #Conflicts: 73000 | #Constraints: 23196
115.87/116.39 c #Conflicts: 74000 | #Constraints: 24196
115.87/116.39 c #Conflicts: 75000 | #Constraints: 25196
115.87/116.39 c #Conflicts: 76000 | #Constraints: 26196
115.87/116.39 c #Conflicts: 77000 | #Constraints: 27196
115.87/116.39 c #Conflicts: 78000 | #Constraints: 28196
115.87/116.39 c #Conflicts: 79000 | #Constraints: 29196
115.87/116.39 c #Conflicts: 80000 | #Constraints: 30196
115.87/116.39 c #Conflicts: 81000 | #Constraints: 31196
115.87/116.39 c #Conflicts: 82000 | #Constraints: 32196
115.87/116.39 c INPROCESSING
115.87/116.39 c GARBAGE COLLECT
115.87/116.39 c #Conflicts: 83000 | #Constraints: 19957
115.87/116.39 c #Conflicts: 84000 | #Constraints: 20957
115.87/116.39 c #Conflicts: 85000 | #Constraints: 21957
115.87/116.39 c #Conflicts: 86000 | #Constraints: 22957
115.87/116.39 c #Conflicts: 87000 | #Constraints: 23957
115.87/116.39 c #Conflicts: 88000 | #Constraints: 24957
115.87/116.39 c #Conflicts: 89000 | #Constraints: 25957
115.87/116.39 c INPROCESSING
115.87/116.39 c GARBAGE COLLECT
115.87/116.39 c #Conflicts: 90000 | #Constraints: 17092
115.87/116.39 c #Conflicts: 91000 | #Constraints: 18092
115.87/116.39 c #Conflicts: 92000 | #Constraints: 19092
115.87/116.39 c #Conflicts: 93000 | #Constraints: 20092
115.87/116.39 c #Conflicts: 94000 | #Constraints: 21092
115.87/116.39 c #Conflicts: 95000 | #Constraints: 22092
115.87/116.39 c #Conflicts: 96000 | #Constraints: 23092
115.87/116.39 c INPROCESSING
115.87/116.39 c GARBAGE COLLECT
115.87/116.39 c #Conflicts: 97000 | #Constraints: 15779
115.87/116.39 c #Conflicts: 98000 | #Constraints: 16779
115.87/116.39 c #Conflicts: 99000 | #Constraints: 17779
115.87/116.39 c #Conflicts: 100000 | #Constraints: 18779
115.87/116.39 c #Conflicts: 101000 | #Constraints: 19779
115.87/116.39 c #Conflicts: 102000 | #Constraints: 20779
115.87/116.39 c INPROCESSING
115.87/116.39 c GARBAGE COLLECT
115.87/116.39 c #Conflicts: 103000 | #Constraints: 14206
115.87/116.39 c #Conflicts: 104000 | #Constraints: 15206
115.87/116.39 c #Conflicts: 105000 | #Constraints: 16206
115.87/116.39 c #Conflicts: 106000 | #Constraints: 17206
115.87/116.39 c #Conflicts: 107000 | #Constraints: 18206
115.87/116.39 c #Conflicts: 108000 | #Constraints: 19206
115.87/116.39 c #Conflicts: 109000 | #Constraints: 20206
115.87/116.39 c #Conflicts: 110000 | #Constraints: 21206
115.87/116.39 c INPROCESSING
115.87/116.39 c GARBAGE COLLECT
115.87/116.39 c #Conflicts: 111000 | #Constraints: 14855
115.87/116.39 c #Conflicts: 112000 | #Constraints: 15855
115.87/116.39 c #Conflicts: 113000 | #Constraints: 16855
115.87/116.39 c #Conflicts: 114000 | #Constraints: 17855
115.87/116.39 c #Conflicts: 115000 | #Constraints: 18855
115.87/116.39 c #Conflicts: 116000 | #Constraints: 19855
115.87/116.39 c #Conflicts: 117000 | #Constraints: 20855
115.87/116.39 c INPROCESSING
115.87/116.39 c GARBAGE COLLECT
115.87/116.39 c #Conflicts: 118000 | #Constraints: 14562
115.87/116.39 c #Conflicts: 119000 | #Constraints: 15562
115.87/116.39 c #Conflicts: 120000 | #Constraints: 16562
115.87/116.39 c #Conflicts: 121000 | #Constraints: 17562
115.87/116.39 c #Conflicts: 122000 | #Constraints: 18562
115.87/116.39 c #Conflicts: 123000 | #Constraints: 19562
115.87/116.39 c #Conflicts: 124000 | #Constraints: 20562
115.87/116.39 c #Conflicts: 125000 | #Constraints: 21562
115.87/116.39 c #Conflicts: 126000 | #Constraints: 22562
115.87/116.39 c #Conflicts: 127000 | #Constraints: 23562
115.87/116.39 c #Conflicts: 128000 | #Constraints: 24562
115.87/116.39 c #Conflicts: 129000 | #Constraints: 25562
115.87/116.39 c #Conflicts: 130000 | #Constraints: 26562
115.87/116.39 c #Conflicts: 131000 | #Constraints: 27562
115.87/116.39 c #Conflicts: 132000 | #Constraints: 28562
115.87/116.39 c #Conflicts: 133000 | #Constraints: 29562
115.87/116.39 c #Conflicts: 134000 | #Constraints: 30562
115.87/116.39 c #Conflicts: 135000 | #Constraints: 31562
115.87/116.39 c #Conflicts: 136000 | #Constraints: 32562
115.87/116.39 c #Conflicts: 137000 | #Constraints: 33562
115.87/116.39 c #Conflicts: 138000 | #Constraints: 34562
115.87/116.39 c #Conflicts: 139000 | #Constraints: 35562
115.87/116.39 c #Conflicts: 140000 | #Constraints: 36562
115.87/116.39 c #Conflicts: 141000 | #Constraints: 37562
115.87/116.39 c #Conflicts: 142000 | #Constraints: 38562
115.87/116.39 c #Conflicts: 143000 | #Constraints: 39562
203.43/204.13 c #Conflicts: 144000 | #Constraints: 40562
203.43/204.13 c #Conflicts: 145000 | #Constraints: 41562
203.43/204.13 c #Conflicts: 146000 | #Constraints: 42562
203.43/204.13 c INPROCESSING
203.43/204.13 c GARBAGE COLLECT
203.43/204.13 c #Conflicts: 147000 | #Constraints: 25392
203.43/204.13 c #Conflicts: 148000 | #Constraints: 26392
203.43/204.13 c #Conflicts: 149000 | #Constraints: 27392
203.43/204.13 c #Conflicts: 150000 | #Constraints: 28392
203.43/204.13 c #Conflicts: 151000 | #Constraints: 29392
203.43/204.13 c #Conflicts: 152000 | #Constraints: 30392
203.43/204.13 c #Conflicts: 153000 | #Constraints: 31392
203.43/204.13 c #Conflicts: 154000 | #Constraints: 32392
203.43/204.13 c #Conflicts: 155000 | #Constraints: 33392
203.43/204.13 c INPROCESSING
203.43/204.13 c GARBAGE COLLECT
203.43/204.13 c #Conflicts: 156000 | #Constraints: 20971
203.43/204.13 c #Conflicts: 157000 | #Constraints: 21971
203.43/204.13 c #Conflicts: 158000 | #Constraints: 22971
203.43/204.13 c #Conflicts: 159000 | #Constraints: 23971
203.43/204.13 c #Conflicts: 160000 | #Constraints: 24971
203.43/204.13 c #Conflicts: 161000 | #Constraints: 25971
203.43/204.13 c #Conflicts: 162000 | #Constraints: 26971
203.43/204.13 c #Conflicts: 163000 | #Constraints: 27971
203.43/204.13 c INPROCESSING
203.43/204.13 c GARBAGE COLLECT
203.43/204.13 c #Conflicts: 164000 | #Constraints: 17853
203.43/204.13 c #Conflicts: 165000 | #Constraints: 18853
203.43/204.13 c #Conflicts: 166000 | #Constraints: 19853
203.43/204.13 c #Conflicts: 167000 | #Constraints: 20853
203.43/204.13 c #Conflicts: 168000 | #Constraints: 21853
203.43/204.13 c #Conflicts: 169000 | #Constraints: 22853
203.43/204.13 c #Conflicts: 170000 | #Constraints: 23853
203.43/204.13 c #Conflicts: 171000 | #Constraints: 24853
203.43/204.13 c #Conflicts: 172000 | #Constraints: 25853
203.43/204.13 c INPROCESSING
203.43/204.13 c GARBAGE COLLECT
203.43/204.13 c #Conflicts: 173000 | #Constraints: 16827
203.43/204.13 c #Conflicts: 174000 | #Constraints: 17827
203.43/204.13 c #Conflicts: 175000 | #Constraints: 18827
203.43/204.13 c #Conflicts: 176000 | #Constraints: 19827
203.43/204.13 c #Conflicts: 177000 | #Constraints: 20827
203.43/204.13 c #Conflicts: 178000 | #Constraints: 21827
203.43/204.13 c #Conflicts: 179000 | #Constraints: 22827
203.43/204.13 c #Conflicts: 180000 | #Constraints: 23827
203.43/204.13 c #Conflicts: 181000 | #Constraints: 24827
203.43/204.13 c #Conflicts: 182000 | #Constraints: 25827
203.43/204.13 c INPROCESSING
203.43/204.13 c GARBAGE COLLECT
203.43/204.13 c #Conflicts: 183000 | #Constraints: 17209
203.43/204.13 c #Conflicts: 184000 | #Constraints: 18209
203.43/204.13 c #Conflicts: 185000 | #Constraints: 19209
203.43/204.13 c #Conflicts: 186000 | #Constraints: 20209
203.43/204.13 c #Conflicts: 187000 | #Constraints: 21209
203.43/204.13 c #Conflicts: 188000 | #Constraints: 22209
203.43/204.13 c #Conflicts: 189000 | #Constraints: 23209
203.43/204.13 c #Conflicts: 190000 | #Constraints: 24209
203.43/204.13 c #Conflicts: 191000 | #Constraints: 25209
203.43/204.13 c #Conflicts: 192000 | #Constraints: 26209
203.43/204.13 c #Conflicts: 193000 | #Constraints: 27209
203.43/204.13 c #Conflicts: 194000 | #Constraints: 28209
203.43/204.13 c #Conflicts: 195000 | #Constraints: 29209
203.43/204.13 c #Conflicts: 196000 | #Constraints: 30209
203.43/204.13 c #Conflicts: 197000 | #Constraints: 31209
203.43/204.13 c #Conflicts: 198000 | #Constraints: 32209
203.43/204.13 c #Conflicts: 199000 | #Constraints: 33209
203.43/204.13 c #Conflicts: 200000 | #Constraints: 34209
203.43/204.13 c #Conflicts: 201000 | #Constraints: 35209
203.43/204.13 c #Conflicts: 202000 | #Constraints: 36209
203.43/204.13 c #Conflicts: 203000 | #Constraints: 37209
203.43/204.13 c #Conflicts: 204000 | #Constraints: 38209
203.43/204.13 c #Conflicts: 205000 | #Constraints: 39209
203.43/204.13 c #Conflicts: 206000 | #Constraints: 40209
203.43/204.13 c #Conflicts: 207000 | #Constraints: 41209
203.43/204.13 c #Conflicts: 208000 | #Constraints: 42209
203.43/204.13 c #Conflicts: 209000 | #Constraints: 43209
203.43/204.13 c #Conflicts: 210000 | #Constraints: 44209
203.43/204.13 c #Conflicts: 211000 | #Constraints: 45209
203.43/204.13 c #Conflicts: 212000 | #Constraints: 46209
203.43/204.13 c #Conflicts: 213000 | #Constraints: 47209
203.43/204.13 c #Conflicts: 214000 | #Constraints: 48209
203.43/204.13 c #Conflicts: 215000 | #Constraints: 49209
203.43/204.13 c #Conflicts: 216000 | #Constraints: 50209
203.43/204.13 c #Conflicts: 217000 | #Constraints: 51209
203.43/204.13 c INPROCESSING
203.43/204.13 c GARBAGE COLLECT
203.43/204.13 c rational objective 90.005
273.63/274.59 c #Conflicts: 218000 | #Constraints: 29690
273.63/274.59 c #Conflicts: 219000 | #Constraints: 30690
273.63/274.59 c #Conflicts: 220000 | #Constraints: 31690
273.63/274.59 c #Conflicts: 221000 | #Constraints: 32690
273.63/274.59 c #Conflicts: 222000 | #Constraints: 33690
273.63/274.59 c #Conflicts: 223000 | #Constraints: 34690
273.63/274.59 c #Conflicts: 224000 | #Constraints: 35690
273.63/274.59 c #Conflicts: 225000 | #Constraints: 36690
273.63/274.59 c #Conflicts: 226000 | #Constraints: 37690
273.63/274.59 c #Conflicts: 227000 | #Constraints: 38690
273.63/274.59 c #Conflicts: 228000 | #Constraints: 39690
273.63/274.59 c INPROCESSING
273.63/274.59 c GARBAGE COLLECT
273.63/274.59 c #Conflicts: 229000 | #Constraints: 24138
273.63/274.59 c #Conflicts: 230000 | #Constraints: 25138
273.63/274.59 c #Conflicts: 231000 | #Constraints: 26138
273.63/274.59 c #Conflicts: 232000 | #Constraints: 27138
273.63/274.59 c #Conflicts: 233000 | #Constraints: 28138
273.63/274.59 c #Conflicts: 234000 | #Constraints: 29138
273.63/274.59 c #Conflicts: 235000 | #Constraints: 30138
273.63/274.59 c #Conflicts: 236000 | #Constraints: 31138
273.63/274.59 c #Conflicts: 237000 | #Constraints: 32138
273.63/274.59 c #Conflicts: 238000 | #Constraints: 33138
273.63/274.59 c INPROCESSING
273.63/274.59 c GARBAGE COLLECT
273.63/274.59 c #Conflicts: 239000 | #Constraints: 20543
273.63/274.59 c #Conflicts: 240000 | #Constraints: 21543
273.63/274.59 c #Conflicts: 241000 | #Constraints: 22543
273.63/274.59 c #Conflicts: 242000 | #Constraints: 23543
273.63/274.59 c #Conflicts: 243000 | #Constraints: 24543
273.63/274.59 c #Conflicts: 244000 | #Constraints: 25543
273.63/274.59 c #Conflicts: 245000 | #Constraints: 26543
273.63/274.59 c #Conflicts: 246000 | #Constraints: 27543
273.63/274.59 c #Conflicts: 247000 | #Constraints: 28543
273.63/274.59 c #Conflicts: 248000 | #Constraints: 29543
273.63/274.59 c #Conflicts: 249000 | #Constraints: 30543
273.63/274.59 c INPROCESSING
273.63/274.59 c GARBAGE COLLECT
273.63/274.59 c #Conflicts: 250000 | #Constraints: 19311
273.63/274.59 c #Conflicts: 251000 | #Constraints: 20311
273.63/274.59 c #Conflicts: 252000 | #Constraints: 21311
273.63/274.59 c #Conflicts: 253000 | #Constraints: 22311
273.63/274.59 c #Conflicts: 254000 | #Constraints: 23311
273.63/274.59 c #Conflicts: 255000 | #Constraints: 24311
273.63/274.59 c #Conflicts: 256000 | #Constraints: 25311
273.63/274.59 c #Conflicts: 257000 | #Constraints: 26311
273.63/274.59 c #Conflicts: 258000 | #Constraints: 27311
273.63/274.59 c #Conflicts: 259000 | #Constraints: 28312
273.63/274.59 c #Conflicts: 260000 | #Constraints: 29312
273.63/274.59 c INPROCESSING
273.63/274.59 c GARBAGE COLLECT
273.63/274.59 c #Conflicts: 261000 | #Constraints: 18634
273.63/274.59 c #Conflicts: 262000 | #Constraints: 19634
273.63/274.59 c #Conflicts: 263000 | #Constraints: 20634
273.63/274.59 c #Conflicts: 264000 | #Constraints: 21634
273.63/274.59 c #Conflicts: 265000 | #Constraints: 22634
273.63/274.59 c #Conflicts: 266000 | #Constraints: 23634
273.63/274.59 c #Conflicts: 267000 | #Constraints: 24634
273.63/274.59 c #Conflicts: 268000 | #Constraints: 25634
273.63/274.59 c #Conflicts: 269000 | #Constraints: 26634
273.63/274.59 c #Conflicts: 270000 | #Constraints: 27634
273.63/274.59 c #Conflicts: 271000 | #Constraints: 28634
273.63/274.59 c #Conflicts: 272000 | #Constraints: 29634
273.63/274.59 c INPROCESSING
273.63/274.59 c GARBAGE COLLECT
273.63/274.59 c #Conflicts: 273000 | #Constraints: 19177
273.63/274.59 c #Conflicts: 274000 | #Constraints: 20177
273.63/274.59 c #Conflicts: 275000 | #Constraints: 21177
273.63/274.59 c #Conflicts: 276000 | #Constraints: 22177
273.63/274.59 c #Conflicts: 277000 | #Constraints: 23177
273.63/274.59 c #Conflicts: 278000 | #Constraints: 24177
273.63/274.59 c #Conflicts: 279000 | #Constraints: 25177
273.63/274.59 c #Conflicts: 280000 | #Constraints: 26177
273.63/274.59 c #Conflicts: 281000 | #Constraints: 27177
273.63/274.59 c #Conflicts: 282000 | #Constraints: 28177
273.63/274.59 c #Conflicts: 283000 | #Constraints: 29177
273.63/274.59 c #Conflicts: 284000 | #Constraints: 30177
273.63/274.59 c #Conflicts: 285000 | #Constraints: 31177
273.63/274.59 c #Conflicts: 286000 | #Constraints: 32177
273.63/274.59 c #Conflicts: 287000 | #Constraints: 33177
273.63/274.59 c #Conflicts: 288000 | #Constraints: 34177
273.63/274.59 c #Conflicts: 289000 | #Constraints: 35177
273.63/274.59 c #Conflicts: 290000 | #Constraints: 36177
273.63/274.59 c #Conflicts: 291000 | #Constraints: 37177
273.63/274.59 c #Conflicts: 292000 | #Constraints: 38177
273.63/274.59 c #Conflicts: 293000 | #Constraints: 39177
379.13/380.31 c #Conflicts: 294000 | #Constraints: 40177
379.13/380.31 c #Conflicts: 295000 | #Constraints: 41177
379.13/380.31 c #Conflicts: 296000 | #Constraints: 42177
379.13/380.31 c #Conflicts: 297000 | #Constraints: 43177
379.13/380.31 c #Conflicts: 298000 | #Constraints: 44177
379.13/380.31 c #Conflicts: 299000 | #Constraints: 45177
379.13/380.31 c #Conflicts: 300000 | #Constraints: 46177
379.13/380.31 c #Conflicts: 301000 | #Constraints: 47177
379.13/380.31 c #Conflicts: 302000 | #Constraints: 48177
379.13/380.31 c #Conflicts: 303000 | #Constraints: 49177
379.13/380.31 c #Conflicts: 304000 | #Constraints: 50177
379.13/380.31 c #Conflicts: 305000 | #Constraints: 51177
379.13/380.31 c #Conflicts: 306000 | #Constraints: 52177
379.13/380.31 c #Conflicts: 307000 | #Constraints: 53177
379.13/380.31 c #Conflicts: 308000 | #Constraints: 54177
379.13/380.31 c #Conflicts: 309000 | #Constraints: 55177
379.13/380.31 c #Conflicts: 310000 | #Constraints: 56177
379.13/380.31 c #Conflicts: 311000 | #Constraints: 57177
379.13/380.31 c #Conflicts: 312000 | #Constraints: 58177
379.13/380.31 c #Conflicts: 313000 | #Constraints: 59177
379.13/380.31 c #Conflicts: 314000 | #Constraints: 60177
379.13/380.31 c #Conflicts: 315000 | #Constraints: 61177
379.13/380.31 c INPROCESSING
379.13/380.31 c GARBAGE COLLECT
379.13/380.31 c #Conflicts: 316000 | #Constraints: 34957
379.13/380.31 c #Conflicts: 317000 | #Constraints: 35957
379.13/380.31 c #Conflicts: 318000 | #Constraints: 36957
379.13/380.31 c #Conflicts: 319000 | #Constraints: 37957
379.13/380.31 c #Conflicts: 320000 | #Constraints: 38957
379.13/380.31 c #Conflicts: 321000 | #Constraints: 39957
379.13/380.31 c #Conflicts: 322000 | #Constraints: 40957
379.13/380.31 c #Conflicts: 323000 | #Constraints: 41957
379.13/380.31 c #Conflicts: 324000 | #Constraints: 42957
379.13/380.31 c #Conflicts: 325000 | #Constraints: 43958
379.13/380.31 c #Conflicts: 326000 | #Constraints: 44958
379.13/380.31 c #Conflicts: 327000 | #Constraints: 45958
379.13/380.31 c INPROCESSING
379.13/380.31 c GARBAGE COLLECT
379.13/380.31 c #Conflicts: 328000 | #Constraints: 27043
379.13/380.31 c #Conflicts: 329000 | #Constraints: 28043
379.13/380.31 c #Conflicts: 330000 | #Constraints: 29043
379.13/380.31 c #Conflicts: 331000 | #Constraints: 30043
379.13/380.31 c #Conflicts: 332000 | #Constraints: 31043
379.13/380.31 c #Conflicts: 333000 | #Constraints: 32043
379.13/380.31 c #Conflicts: 334000 | #Constraints: 33043
379.13/380.31 c #Conflicts: 335000 | #Constraints: 34043
379.13/380.31 c #Conflicts: 336000 | #Constraints: 35043
379.13/380.31 c #Conflicts: 337000 | #Constraints: 36043
379.13/380.31 c #Conflicts: 338000 | #Constraints: 37043
379.13/380.31 c #Conflicts: 339000 | #Constraints: 38043
379.13/380.31 c #Conflicts: 340000 | #Constraints: 39043
379.13/380.31 c INPROCESSING
379.13/380.31 c GARBAGE COLLECT
379.13/380.31 c #Conflicts: 341000 | #Constraints: 23652
379.13/380.31 c #Conflicts: 342000 | #Constraints: 24652
379.13/380.31 c #Conflicts: 343000 | #Constraints: 25652
379.13/380.31 c #Conflicts: 344000 | #Constraints: 26652
379.13/380.31 c #Conflicts: 345000 | #Constraints: 27652
379.13/380.31 c #Conflicts: 346000 | #Constraints: 28652
379.13/380.31 c #Conflicts: 347000 | #Constraints: 29652
379.13/380.31 c #Conflicts: 348000 | #Constraints: 30652
379.13/380.31 c #Conflicts: 349000 | #Constraints: 31652
379.13/380.31 c #Conflicts: 350000 | #Constraints: 32652
379.13/380.31 c #Conflicts: 351000 | #Constraints: 33652
379.13/380.31 c #Conflicts: 352000 | #Constraints: 34652
379.13/380.31 c #Conflicts: 353000 | #Constraints: 35652
379.13/380.31 c INPROCESSING
379.13/380.31 c GARBAGE COLLECT
379.13/380.31 c #Conflicts: 354000 | #Constraints: 22009
379.13/380.31 c #Conflicts: 355000 | #Constraints: 23009
379.13/380.31 c #Conflicts: 356000 | #Constraints: 24009
379.13/380.31 c #Conflicts: 357000 | #Constraints: 25009
379.13/380.31 c #Conflicts: 358000 | #Constraints: 26009
379.13/380.31 c #Conflicts: 359000 | #Constraints: 27009
379.13/380.31 c #Conflicts: 360000 | #Constraints: 28009
379.13/380.31 c #Conflicts: 361000 | #Constraints: 29009
379.13/380.31 c #Conflicts: 362000 | #Constraints: 30009
379.13/380.31 c #Conflicts: 363000 | #Constraints: 31009
379.13/380.31 c #Conflicts: 364000 | #Constraints: 32009
379.13/380.31 c #Conflicts: 365000 | #Constraints: 33009
379.13/380.31 c #Conflicts: 366000 | #Constraints: 34009
379.13/380.31 c INPROCESSING
379.13/380.31 c GARBAGE COLLECT
379.13/380.31 c #Conflicts: 367000 | #Constraints: 21020
379.13/380.31 c #Conflicts: 368000 | #Constraints: 22020
379.13/380.31 c #Conflicts: 369000 | #Constraints: 23020
490.11/491.70 c #Conflicts: 370000 | #Constraints: 24020
490.11/491.70 c #Conflicts: 371000 | #Constraints: 25020
490.11/491.70 c #Conflicts: 372000 | #Constraints: 26020
490.11/491.70 c #Conflicts: 373000 | #Constraints: 27020
490.11/491.70 c #Conflicts: 374000 | #Constraints: 28020
490.11/491.70 c #Conflicts: 375000 | #Constraints: 29020
490.11/491.70 c #Conflicts: 376000 | #Constraints: 30020
490.11/491.70 c #Conflicts: 377000 | #Constraints: 31020
490.11/491.70 c #Conflicts: 378000 | #Constraints: 32020
490.11/491.70 c #Conflicts: 379000 | #Constraints: 33020
490.11/491.70 c #Conflicts: 380000 | #Constraints: 34020
490.11/491.70 c INPROCESSING
490.11/491.70 c GARBAGE COLLECT
490.11/491.70 c #Conflicts: 381000 | #Constraints: 21371
490.11/491.70 c #Conflicts: 382000 | #Constraints: 22371
490.11/491.70 c #Conflicts: 383000 | #Constraints: 23371
490.11/491.70 c #Conflicts: 384000 | #Constraints: 24371
490.11/491.70 c #Conflicts: 385000 | #Constraints: 25371
490.11/491.70 c #Conflicts: 386000 | #Constraints: 26371
490.11/491.70 c #Conflicts: 387000 | #Constraints: 27371
490.11/491.70 c #Conflicts: 388000 | #Constraints: 28371
490.11/491.70 c #Conflicts: 389000 | #Constraints: 29371
490.11/491.70 c #Conflicts: 390000 | #Constraints: 30371
490.11/491.70 c #Conflicts: 391000 | #Constraints: 31371
490.11/491.70 c #Conflicts: 392000 | #Constraints: 32371
490.11/491.70 c #Conflicts: 393000 | #Constraints: 33371
490.11/491.70 c #Conflicts: 394000 | #Constraints: 34371
490.11/491.70 c #Conflicts: 395000 | #Constraints: 35371
490.11/491.70 c #Conflicts: 396000 | #Constraints: 36371
490.11/491.70 c #Conflicts: 397000 | #Constraints: 37371
490.11/491.70 c #Conflicts: 398000 | #Constraints: 38371
490.11/491.70 c #Conflicts: 399000 | #Constraints: 39371
490.11/491.70 c #Conflicts: 400000 | #Constraints: 40371
490.11/491.70 c #Conflicts: 401000 | #Constraints: 41371
490.11/491.70 c #Conflicts: 402000 | #Constraints: 42371
490.11/491.70 c #Conflicts: 403000 | #Constraints: 43371
490.11/491.70 c #Conflicts: 404000 | #Constraints: 44371
490.11/491.70 c #Conflicts: 405000 | #Constraints: 45371
490.11/491.70 c #Conflicts: 406000 | #Constraints: 46371
490.11/491.70 c #Conflicts: 407000 | #Constraints: 47371
490.11/491.70 c #Conflicts: 408000 | #Constraints: 48371
490.11/491.70 c #Conflicts: 409000 | #Constraints: 49371
490.11/491.70 c #Conflicts: 410000 | #Constraints: 50371
490.11/491.70 c #Conflicts: 411000 | #Constraints: 51371
490.11/491.70 c #Conflicts: 412000 | #Constraints: 52371
490.11/491.70 c #Conflicts: 413000 | #Constraints: 53371
490.11/491.70 c #Conflicts: 414000 | #Constraints: 54371
490.11/491.70 c #Conflicts: 415000 | #Constraints: 55371
490.11/491.70 c #Conflicts: 416000 | #Constraints: 56371
490.11/491.70 c #Conflicts: 417000 | #Constraints: 57371
490.11/491.70 c #Conflicts: 418000 | #Constraints: 58371
490.11/491.70 c #Conflicts: 419000 | #Constraints: 59371
490.11/491.70 c #Conflicts: 420000 | #Constraints: 60371
490.11/491.70 c #Conflicts: 421000 | #Constraints: 61371
490.11/491.70 c #Conflicts: 422000 | #Constraints: 62371
490.11/491.70 c #Conflicts: 423000 | #Constraints: 63371
490.11/491.70 c #Conflicts: 424000 | #Constraints: 64371
490.11/491.70 c #Conflicts: 425000 | #Constraints: 65371
490.11/491.70 c #Conflicts: 426000 | #Constraints: 66371
490.11/491.70 c #Conflicts: 427000 | #Constraints: 67371
490.11/491.70 c #Conflicts: 428000 | #Constraints: 68371
490.11/491.70 c #Conflicts: 429000 | #Constraints: 69371
490.11/491.70 c #Conflicts: 430000 | #Constraints: 70371
490.11/491.70 c INPROCESSING
490.11/491.70 c GARBAGE COLLECT
490.11/491.70 c rational objective 90.0236
604.59/606.47 c #Conflicts: 431000 | #Constraints: 39296
604.59/606.47 c #Conflicts: 432000 | #Constraints: 40296
604.59/606.47 c #Conflicts: 433000 | #Constraints: 41296
604.59/606.47 c #Conflicts: 434000 | #Constraints: 42296
604.59/606.47 c #Conflicts: 435000 | #Constraints: 43296
604.59/606.47 c #Conflicts: 436000 | #Constraints: 44296
604.59/606.47 c #Conflicts: 437000 | #Constraints: 45296
604.59/606.47 c #Conflicts: 438000 | #Constraints: 46296
604.59/606.47 c #Conflicts: 439000 | #Constraints: 47296
604.59/606.47 c #Conflicts: 440000 | #Constraints: 48296
604.59/606.47 c #Conflicts: 441000 | #Constraints: 49296
604.59/606.47 c #Conflicts: 442000 | #Constraints: 50296
604.59/606.47 c #Conflicts: 443000 | #Constraints: 51296
604.59/606.47 c #Conflicts: 444000 | #Constraints: 52296
604.59/606.47 c #Conflicts: 445000 | #Constraints: 53296
604.59/606.47 c INPROCESSING
604.59/606.47 c GARBAGE COLLECT
604.59/606.47 c #Conflicts: 446000 | #Constraints: 30947
604.59/606.47 c #Conflicts: 447000 | #Constraints: 31947
604.59/606.47 c #Conflicts: 448000 | #Constraints: 32947
604.59/606.47 c #Conflicts: 449000 | #Constraints: 33947
604.59/606.47 c #Conflicts: 450000 | #Constraints: 34947
604.59/606.47 c #Conflicts: 451000 | #Constraints: 35947
604.59/606.47 c #Conflicts: 452000 | #Constraints: 36947
604.59/606.47 c #Conflicts: 453000 | #Constraints: 37947
604.59/606.47 c #Conflicts: 454000 | #Constraints: 38947
604.59/606.47 c #Conflicts: 455000 | #Constraints: 39947
604.59/606.47 c #Conflicts: 456000 | #Constraints: 40947
604.59/606.47 c #Conflicts: 457000 | #Constraints: 41947
604.59/606.47 c #Conflicts: 458000 | #Constraints: 42947
604.59/606.47 c #Conflicts: 459000 | #Constraints: 43947
604.59/606.47 c #Conflicts: 460000 | #Constraints: 44947
604.59/606.47 c INPROCESSING
604.59/606.47 c GARBAGE COLLECT
604.59/606.47 c #Conflicts: 461000 | #Constraints: 26877
604.59/606.47 c #Conflicts: 462000 | #Constraints: 27877
604.59/606.47 c #Conflicts: 463000 | #Constraints: 28877
604.59/606.47 c #Conflicts: 464000 | #Constraints: 29877
604.59/606.47 c #Conflicts: 465000 | #Constraints: 30877
604.59/606.47 c #Conflicts: 466000 | #Constraints: 31877
604.59/606.47 c #Conflicts: 467000 | #Constraints: 32877
604.59/606.47 c #Conflicts: 468000 | #Constraints: 33877
604.59/606.47 c #Conflicts: 469000 | #Constraints: 34877
604.59/606.48 c #Conflicts: 470000 | #Constraints: 35877
604.59/606.48 c #Conflicts: 471000 | #Constraints: 36877
604.59/606.48 c #Conflicts: 472000 | #Constraints: 37877
604.59/606.48 c #Conflicts: 473000 | #Constraints: 38877
604.59/606.48 c #Conflicts: 474000 | #Constraints: 39877
604.59/606.48 c #Conflicts: 475000 | #Constraints: 40877
604.59/606.48 c INPROCESSING
604.59/606.48 c GARBAGE COLLECT
604.59/606.48 c #Conflicts: 476000 | #Constraints: 24713
604.59/606.48 c #Conflicts: 477000 | #Constraints: 25713
604.59/606.48 c #Conflicts: 478000 | #Constraints: 26713
604.59/606.48 c #Conflicts: 479000 | #Constraints: 27713
604.59/606.48 c #Conflicts: 480000 | #Constraints: 28713
604.59/606.48 c #Conflicts: 481000 | #Constraints: 29713
604.59/606.48 c #Conflicts: 482000 | #Constraints: 30713
604.59/606.48 c #Conflicts: 483000 | #Constraints: 31713
604.59/606.48 c #Conflicts: 484000 | #Constraints: 32713
604.59/606.48 c #Conflicts: 485000 | #Constraints: 33713
604.59/606.48 c #Conflicts: 486000 | #Constraints: 34713
604.59/606.48 c #Conflicts: 487000 | #Constraints: 35713
604.59/606.48 c #Conflicts: 488000 | #Constraints: 36713
604.59/606.48 c #Conflicts: 489000 | #Constraints: 37713
604.59/606.48 c #Conflicts: 490000 | #Constraints: 38713
604.59/606.48 c INPROCESSING
604.59/606.48 c GARBAGE COLLECT
604.59/606.48 c #Conflicts: 491000 | #Constraints: 23469
604.59/606.48 c #Conflicts: 492000 | #Constraints: 24469
604.59/606.48 c #Conflicts: 493000 | #Constraints: 25469
604.59/606.48 c #Conflicts: 494000 | #Constraints: 26469
604.59/606.48 c #Conflicts: 495000 | #Constraints: 27469
604.59/606.48 c #Conflicts: 496000 | #Constraints: 28469
604.59/606.48 c #Conflicts: 497000 | #Constraints: 29469
604.59/606.48 c #Conflicts: 498000 | #Constraints: 30469
604.59/606.48 c #Conflicts: 499000 | #Constraints: 31469
604.59/606.48 c #Conflicts: 500000 | #Constraints: 32469
604.59/606.48 c #Conflicts: 501000 | #Constraints: 33469
604.59/606.48 c #Conflicts: 502000 | #Constraints: 34469
604.59/606.48 c #Conflicts: 503000 | #Constraints: 35469
604.59/606.48 c #Conflicts: 504000 | #Constraints: 36469
604.59/606.48 c #Conflicts: 505000 | #Constraints: 37469
604.59/606.48 c #Conflicts: 506000 | #Constraints: 38469
604.59/606.48 c INPROCESSING
742.20/744.48 c GARBAGE COLLECT
742.20/744.48 c #Conflicts: 507000 | #Constraints: 23700
742.20/744.48 c #Conflicts: 508000 | #Constraints: 24700
742.20/744.48 c #Conflicts: 509000 | #Constraints: 25700
742.20/744.48 c #Conflicts: 510000 | #Constraints: 26700
742.20/744.48 c #Conflicts: 511000 | #Constraints: 27700
742.20/744.48 c #Conflicts: 512000 | #Constraints: 28700
742.20/744.48 c #Conflicts: 513000 | #Constraints: 29700
742.20/744.48 c #Conflicts: 514000 | #Constraints: 30700
742.20/744.48 c #Conflicts: 515000 | #Constraints: 31700
742.20/744.48 c #Conflicts: 516000 | #Constraints: 32700
742.20/744.48 c #Conflicts: 517000 | #Constraints: 33700
742.20/744.48 c #Conflicts: 518000 | #Constraints: 34700
742.20/744.48 c #Conflicts: 519000 | #Constraints: 35700
742.20/744.48 c #Conflicts: 520000 | #Constraints: 36700
742.20/744.48 c #Conflicts: 521000 | #Constraints: 37700
742.20/744.48 c INPROCESSING
742.20/744.48 c GARBAGE COLLECT
742.20/744.48 c #Conflicts: 522000 | #Constraints: 22919
742.20/744.48 c #Conflicts: 523000 | #Constraints: 23919
742.20/744.48 c #Conflicts: 524000 | #Constraints: 24919
742.20/744.48 c #Conflicts: 525000 | #Constraints: 25919
742.20/744.48 c #Conflicts: 526000 | #Constraints: 26919
742.20/744.48 c #Conflicts: 527000 | #Constraints: 27919
742.20/744.48 c #Conflicts: 528000 | #Constraints: 28919
742.20/744.48 c #Conflicts: 529000 | #Constraints: 29919
742.20/744.48 c #Conflicts: 530000 | #Constraints: 30919
742.20/744.48 c #Conflicts: 531000 | #Constraints: 31919
742.20/744.48 c #Conflicts: 532000 | #Constraints: 32919
742.20/744.48 c #Conflicts: 533000 | #Constraints: 33919
742.20/744.48 c #Conflicts: 534000 | #Constraints: 34919
742.20/744.48 c #Conflicts: 535000 | #Constraints: 35919
742.20/744.48 c #Conflicts: 536000 | #Constraints: 36919
742.20/744.48 c #Conflicts: 537000 | #Constraints: 37919
742.20/744.48 c #Conflicts: 538000 | #Constraints: 38919
742.20/744.48 c #Conflicts: 539000 | #Constraints: 39919
742.20/744.48 c #Conflicts: 540000 | #Constraints: 40919
742.20/744.48 c #Conflicts: 541000 | #Constraints: 41919
742.20/744.48 c #Conflicts: 542000 | #Constraints: 42919
742.20/744.48 c #Conflicts: 543000 | #Constraints: 43919
742.20/744.48 c #Conflicts: 544000 | #Constraints: 44919
742.20/744.48 c #Conflicts: 545000 | #Constraints: 45919
742.20/744.48 c #Conflicts: 546000 | #Constraints: 46919
742.20/744.48 c #Conflicts: 547000 | #Constraints: 47919
742.20/744.48 c #Conflicts: 548000 | #Constraints: 48919
742.20/744.48 c #Conflicts: 549000 | #Constraints: 49919
742.20/744.48 c #Conflicts: 550000 | #Constraints: 50919
742.20/744.48 c #Conflicts: 551000 | #Constraints: 51919
742.20/744.48 c #Conflicts: 552000 | #Constraints: 52919
742.20/744.48 c #Conflicts: 553000 | #Constraints: 53919
742.20/744.48 c #Conflicts: 554000 | #Constraints: 54919
742.20/744.48 c #Conflicts: 555000 | #Constraints: 55919
742.20/744.48 c #Conflicts: 556000 | #Constraints: 56919
742.20/744.48 c #Conflicts: 557000 | #Constraints: 57919
742.20/744.48 c #Conflicts: 558000 | #Constraints: 58919
742.20/744.48 c #Conflicts: 559000 | #Constraints: 59919
742.20/744.48 c #Conflicts: 560000 | #Constraints: 60919
742.20/744.48 c #Conflicts: 561000 | #Constraints: 61919
742.20/744.48 c #Conflicts: 562000 | #Constraints: 62919
742.20/744.48 c #Conflicts: 563000 | #Constraints: 63919
742.20/744.48 c #Conflicts: 564000 | #Constraints: 64919
742.20/744.48 c #Conflicts: 565000 | #Constraints: 65919
742.20/744.48 c #Conflicts: 566000 | #Constraints: 66919
742.20/744.48 c #Conflicts: 567000 | #Constraints: 67919
742.20/744.48 c #Conflicts: 568000 | #Constraints: 68919
742.20/744.48 c #Conflicts: 569000 | #Constraints: 69919
742.20/744.48 c #Conflicts: 570000 | #Constraints: 70919
742.20/744.48 c #Conflicts: 571000 | #Constraints: 71919
742.20/744.48 c #Conflicts: 572000 | #Constraints: 72919
742.20/744.48 c #Conflicts: 573000 | #Constraints: 73919
742.20/744.48 c #Conflicts: 574000 | #Constraints: 74919
742.20/744.48 c #Conflicts: 575000 | #Constraints: 75919
742.20/744.48 c #Conflicts: 576000 | #Constraints: 76919
742.20/744.48 c #Conflicts: 577000 | #Constraints: 77919
742.20/744.48 c #Conflicts: 578000 | #Constraints: 78919
742.20/744.48 c #Conflicts: 579000 | #Constraints: 79919
742.20/744.48 c #Conflicts: 580000 | #Constraints: 80919
742.20/744.48 c INPROCESSING
742.20/744.48 c GARBAGE COLLECT
742.20/744.48 c #Conflicts: 581000 | #Constraints: 44549
742.20/744.48 c #Conflicts: 582000 | #Constraints: 45549
742.20/744.48 c #Conflicts: 583000 | #Constraints: 46549
742.20/744.48 c #Conflicts: 584000 | #Constraints: 47549
844.35/846.97 c #Conflicts: 585000 | #Constraints: 48549
844.35/846.97 c #Conflicts: 586000 | #Constraints: 49549
844.35/846.97 c #Conflicts: 587000 | #Constraints: 50549
844.35/846.97 c #Conflicts: 588000 | #Constraints: 51549
844.35/846.97 c #Conflicts: 589000 | #Constraints: 52549
844.35/846.97 c #Conflicts: 590000 | #Constraints: 53549
844.35/846.97 c #Conflicts: 591000 | #Constraints: 54549
844.35/846.97 c #Conflicts: 592000 | #Constraints: 55549
844.35/846.97 c #Conflicts: 593000 | #Constraints: 56549
844.35/846.97 c #Conflicts: 594000 | #Constraints: 57549
844.35/846.97 c #Conflicts: 595000 | #Constraints: 58549
844.35/846.97 c #Conflicts: 596000 | #Constraints: 59549
844.35/846.97 c #Conflicts: 597000 | #Constraints: 60549
844.35/846.97 c INPROCESSING
844.35/846.97 c GARBAGE COLLECT
844.35/846.97 c #Conflicts: 598000 | #Constraints: 34249
844.35/846.97 c #Conflicts: 599000 | #Constraints: 35249
844.35/846.97 c #Conflicts: 600000 | #Constraints: 36249
844.35/846.97 c #Conflicts: 601000 | #Constraints: 37249
844.35/846.97 c #Conflicts: 602000 | #Constraints: 38249
844.35/846.97 c #Conflicts: 603000 | #Constraints: 39249
844.35/846.97 c #Conflicts: 604000 | #Constraints: 40249
844.35/846.97 c #Conflicts: 605000 | #Constraints: 41249
844.35/846.97 c #Conflicts: 606000 | #Constraints: 42249
844.35/846.97 c #Conflicts: 607000 | #Constraints: 43249
844.35/846.97 c #Conflicts: 608000 | #Constraints: 44249
844.35/846.97 c #Conflicts: 609000 | #Constraints: 45249
844.35/846.97 c #Conflicts: 610000 | #Constraints: 46249
844.35/846.97 c #Conflicts: 611000 | #Constraints: 47249
844.35/846.97 c #Conflicts: 612000 | #Constraints: 48249
844.35/846.97 c #Conflicts: 613000 | #Constraints: 49249
844.35/846.97 c #Conflicts: 614000 | #Constraints: 50249
844.35/846.97 c #Conflicts: 615000 | #Constraints: 51249
844.35/846.97 c INPROCESSING
844.35/846.97 c GARBAGE COLLECT
844.35/846.97 c #Conflicts: 616000 | #Constraints: 30049
844.35/846.97 c #Conflicts: 617000 | #Constraints: 31049
844.35/846.97 c #Conflicts: 618000 | #Constraints: 32049
844.35/846.97 c #Conflicts: 619000 | #Constraints: 33049
844.35/846.97 c #Conflicts: 620000 | #Constraints: 34049
844.35/846.97 c #Conflicts: 621000 | #Constraints: 35049
844.35/846.97 c #Conflicts: 622000 | #Constraints: 36049
844.35/846.97 c #Conflicts: 623000 | #Constraints: 37049
844.35/846.97 c #Conflicts: 624000 | #Constraints: 38049
844.35/846.97 c #Conflicts: 625000 | #Constraints: 39049
844.35/846.97 c #Conflicts: 626000 | #Constraints: 40049
844.35/846.97 c #Conflicts: 627000 | #Constraints: 41049
844.35/846.97 c #Conflicts: 628000 | #Constraints: 42049
844.35/846.97 c #Conflicts: 629000 | #Constraints: 43049
844.35/846.97 c #Conflicts: 630000 | #Constraints: 44049
844.35/846.97 c #Conflicts: 631000 | #Constraints: 45049
844.35/846.97 c #Conflicts: 632000 | #Constraints: 46049
844.35/846.97 c INPROCESSING
844.35/846.97 c GARBAGE COLLECT
844.35/846.97 c #Conflicts: 633000 | #Constraints: 27289
844.35/846.97 c #Conflicts: 634000 | #Constraints: 28289
844.35/846.97 c #Conflicts: 635000 | #Constraints: 29289
844.35/846.97 c #Conflicts: 636000 | #Constraints: 30289
844.35/846.97 c #Conflicts: 637000 | #Constraints: 31289
844.35/846.97 c #Conflicts: 638000 | #Constraints: 32289
844.35/846.97 c #Conflicts: 639000 | #Constraints: 33289
844.35/846.97 c #Conflicts: 640000 | #Constraints: 34289
844.35/846.97 c #Conflicts: 641000 | #Constraints: 35289
844.35/846.97 c #Conflicts: 642000 | #Constraints: 36289
844.35/846.97 c #Conflicts: 643000 | #Constraints: 37289
844.35/846.97 c #Conflicts: 644000 | #Constraints: 38289
844.35/846.97 c #Conflicts: 645000 | #Constraints: 39289
844.35/846.97 c #Conflicts: 646000 | #Constraints: 40289
844.35/846.97 c #Conflicts: 647000 | #Constraints: 41289
844.35/846.97 c #Conflicts: 648000 | #Constraints: 42289
844.35/846.97 c #Conflicts: 649000 | #Constraints: 43289
844.35/846.97 c #Conflicts: 650000 | #Constraints: 44289
844.35/846.97 c INPROCESSING
844.35/846.97 c GARBAGE COLLECT
844.35/846.97 c #Conflicts: 651000 | #Constraints: 26525
844.35/846.97 c #Conflicts: 652000 | #Constraints: 27525
844.35/846.97 c #Conflicts: 653000 | #Constraints: 28525
844.35/846.97 c #Conflicts: 654000 | #Constraints: 29525
844.35/846.97 c #Conflicts: 655000 | #Constraints: 30525
844.35/846.97 c #Conflicts: 656000 | #Constraints: 31525
844.35/846.97 c #Conflicts: 657000 | #Constraints: 32525
844.35/846.97 c #Conflicts: 658000 | #Constraints: 33525
844.35/846.97 c #Conflicts: 659000 | #Constraints: 34525
844.35/846.97 c #Conflicts: 660000 | #Constraints: 35525
1020.73/1023.86 c #Conflicts: 661000 | #Constraints: 36525
1020.73/1023.86 c #Conflicts: 662000 | #Constraints: 37525
1020.73/1023.86 c #Conflicts: 663000 | #Constraints: 38525
1020.73/1023.86 c #Conflicts: 664000 | #Constraints: 39525
1020.73/1023.86 c #Conflicts: 665000 | #Constraints: 40525
1020.73/1023.86 c #Conflicts: 666000 | #Constraints: 41525
1020.73/1023.86 c #Conflicts: 667000 | #Constraints: 42525
1020.73/1023.86 c INPROCESSING
1020.73/1023.86 c GARBAGE COLLECT
1020.73/1023.86 c #Conflicts: 668000 | #Constraints: 25244
1020.73/1023.86 c #Conflicts: 669000 | #Constraints: 26244
1020.73/1023.86 c #Conflicts: 670000 | #Constraints: 27244
1020.73/1023.86 c #Conflicts: 671000 | #Constraints: 28244
1020.73/1023.86 c #Conflicts: 672000 | #Constraints: 29244
1020.73/1023.86 c #Conflicts: 673000 | #Constraints: 30244
1020.73/1023.86 c #Conflicts: 674000 | #Constraints: 31244
1020.73/1023.86 c #Conflicts: 675000 | #Constraints: 32244
1020.73/1023.86 c #Conflicts: 676000 | #Constraints: 33244
1020.73/1023.86 c #Conflicts: 677000 | #Constraints: 34244
1020.73/1023.86 c #Conflicts: 678000 | #Constraints: 35244
1020.73/1023.86 c #Conflicts: 679000 | #Constraints: 36244
1020.73/1023.86 c #Conflicts: 680000 | #Constraints: 37244
1020.73/1023.86 c #Conflicts: 681000 | #Constraints: 38244
1020.73/1023.86 c #Conflicts: 682000 | #Constraints: 39244
1020.73/1023.86 c #Conflicts: 683000 | #Constraints: 40244
1020.73/1023.86 c #Conflicts: 684000 | #Constraints: 41244
1020.73/1023.86 c #Conflicts: 685000 | #Constraints: 42244
1020.73/1023.86 c #Conflicts: 686000 | #Constraints: 43244
1020.73/1023.86 c #Conflicts: 687000 | #Constraints: 44244
1020.73/1023.86 c #Conflicts: 688000 | #Constraints: 45244
1020.73/1023.86 c #Conflicts: 689000 | #Constraints: 46244
1020.73/1023.86 c #Conflicts: 690000 | #Constraints: 47244
1020.73/1023.86 c #Conflicts: 691000 | #Constraints: 48244
1020.73/1023.86 c #Conflicts: 692000 | #Constraints: 49244
1020.73/1023.86 c #Conflicts: 693000 | #Constraints: 50244
1020.73/1023.86 c #Conflicts: 694000 | #Constraints: 51244
1020.73/1023.86 c #Conflicts: 695000 | #Constraints: 52244
1020.73/1023.86 c #Conflicts: 696000 | #Constraints: 53244
1020.73/1023.86 c #Conflicts: 697000 | #Constraints: 54244
1020.73/1023.86 c #Conflicts: 698000 | #Constraints: 55244
1020.73/1023.86 c #Conflicts: 699000 | #Constraints: 56244
1020.73/1023.86 c #Conflicts: 700000 | #Constraints: 57244
1020.73/1023.86 c #Conflicts: 701000 | #Constraints: 58244
1020.73/1023.86 c #Conflicts: 702000 | #Constraints: 59244
1020.73/1023.86 c #Conflicts: 703000 | #Constraints: 60244
1020.73/1023.86 c #Conflicts: 704000 | #Constraints: 61244
1020.73/1023.86 c #Conflicts: 705000 | #Constraints: 62244
1020.73/1023.86 c #Conflicts: 706000 | #Constraints: 63244
1020.73/1023.86 c #Conflicts: 707000 | #Constraints: 64244
1020.73/1023.86 c #Conflicts: 708000 | #Constraints: 65244
1020.73/1023.86 c #Conflicts: 709000 | #Constraints: 66244
1020.73/1023.86 c #Conflicts: 710000 | #Constraints: 67244
1020.73/1023.86 c #Conflicts: 711000 | #Constraints: 68244
1020.73/1023.86 c #Conflicts: 712000 | #Constraints: 69244
1020.73/1023.86 c #Conflicts: 713000 | #Constraints: 70244
1020.73/1023.86 c #Conflicts: 714000 | #Constraints: 71244
1020.73/1023.86 c #Conflicts: 715000 | #Constraints: 72244
1020.73/1023.86 c #Conflicts: 716000 | #Constraints: 73244
1020.73/1023.86 c #Conflicts: 717000 | #Constraints: 74244
1020.73/1023.86 c #Conflicts: 718000 | #Constraints: 75244
1020.73/1023.86 c #Conflicts: 719000 | #Constraints: 76244
1020.73/1023.86 c #Conflicts: 720000 | #Constraints: 77244
1020.73/1023.86 c #Conflicts: 721000 | #Constraints: 78244
1020.73/1023.86 c #Conflicts: 722000 | #Constraints: 79244
1020.73/1023.86 c #Conflicts: 723000 | #Constraints: 80244
1020.73/1023.86 c #Conflicts: 724000 | #Constraints: 81244
1020.73/1023.86 c #Conflicts: 725000 | #Constraints: 82244
1020.73/1023.86 c #Conflicts: 726000 | #Constraints: 83244
1020.73/1023.86 c #Conflicts: 727000 | #Constraints: 84244
1020.73/1023.86 c #Conflicts: 728000 | #Constraints: 85244
1020.73/1023.86 c #Conflicts: 729000 | #Constraints: 86244
1020.73/1023.86 c #Conflicts: 730000 | #Constraints: 87244
1020.73/1023.86 c #Conflicts: 731000 | #Constraints: 88244
1020.73/1023.86 c #Conflicts: 732000 | #Constraints: 89244
1020.73/1023.86 c #Conflicts: 733000 | #Constraints: 90244
1020.73/1023.86 c #Conflicts: 734000 | #Constraints: 91244
1020.73/1023.86 c INPROCESSING
1020.73/1023.86 c GARBAGE COLLECT
1020.73/1023.86 c #Conflicts: 735000 | #Constraints: 49901
1020.73/1023.86 c #Conflicts: 736000 | #Constraints: 50901
1020.73/1023.86 c #Conflicts: 737000 | #Constraints: 51901
1141.28/1144.73 c #Conflicts: 738000 | #Constraints: 52901
1141.28/1144.73 c #Conflicts: 739000 | #Constraints: 53901
1141.28/1144.73 c #Conflicts: 740000 | #Constraints: 54901
1141.28/1144.73 c #Conflicts: 741000 | #Constraints: 55901
1141.28/1144.73 c #Conflicts: 742000 | #Constraints: 56901
1141.28/1144.73 c #Conflicts: 743000 | #Constraints: 57901
1141.28/1144.73 c #Conflicts: 744000 | #Constraints: 58901
1141.28/1144.73 c #Conflicts: 745000 | #Constraints: 59901
1141.28/1144.73 c #Conflicts: 746000 | #Constraints: 60901
1141.28/1144.73 c #Conflicts: 747000 | #Constraints: 61901
1141.28/1144.73 c #Conflicts: 748000 | #Constraints: 62901
1141.28/1144.73 c #Conflicts: 749000 | #Constraints: 63901
1141.28/1144.73 c #Conflicts: 750000 | #Constraints: 64901
1141.28/1144.73 c #Conflicts: 751000 | #Constraints: 65901
1141.28/1144.73 c #Conflicts: 752000 | #Constraints: 66901
1141.28/1144.73 c #Conflicts: 753000 | #Constraints: 67901
1141.28/1144.73 c INPROCESSING
1141.28/1144.73 c GARBAGE COLLECT
1141.28/1144.73 c #Conflicts: 754000 | #Constraints: 38109
1141.28/1144.73 c #Conflicts: 755000 | #Constraints: 39109
1141.28/1144.73 c #Conflicts: 756000 | #Constraints: 40109
1141.28/1144.73 c #Conflicts: 757000 | #Constraints: 41109
1141.28/1144.73 c #Conflicts: 758000 | #Constraints: 42109
1141.28/1144.73 c #Conflicts: 759000 | #Constraints: 43109
1141.28/1144.73 c #Conflicts: 760000 | #Constraints: 44109
1141.28/1144.73 c #Conflicts: 761000 | #Constraints: 45109
1141.28/1144.73 c #Conflicts: 762000 | #Constraints: 46109
1141.28/1144.73 c #Conflicts: 763000 | #Constraints: 47109
1141.28/1144.73 c #Conflicts: 764000 | #Constraints: 48109
1141.28/1144.73 c #Conflicts: 765000 | #Constraints: 49109
1141.28/1144.73 c #Conflicts: 766000 | #Constraints: 50109
1141.28/1144.73 c #Conflicts: 767000 | #Constraints: 51109
1141.28/1144.73 c #Conflicts: 768000 | #Constraints: 52109
1141.28/1144.73 c #Conflicts: 769000 | #Constraints: 53109
1141.28/1144.73 c #Conflicts: 770000 | #Constraints: 54109
1141.28/1144.73 c #Conflicts: 771000 | #Constraints: 55109
1141.28/1144.73 c #Conflicts: 772000 | #Constraints: 56109
1141.28/1144.73 c INPROCESSING
1141.28/1144.73 c GARBAGE COLLECT
1141.28/1144.73 c #Conflicts: 773000 | #Constraints: 32162
1141.28/1144.73 c #Conflicts: 774000 | #Constraints: 33162
1141.28/1144.73 c #Conflicts: 775000 | #Constraints: 34162
1141.28/1144.73 c #Conflicts: 776000 | #Constraints: 35162
1141.28/1144.73 c #Conflicts: 777000 | #Constraints: 36162
1141.28/1144.73 c #Conflicts: 778000 | #Constraints: 37162
1141.28/1144.73 c #Conflicts: 779000 | #Constraints: 38162
1141.28/1144.73 c #Conflicts: 780000 | #Constraints: 39162
1141.28/1144.73 c #Conflicts: 781000 | #Constraints: 40162
1141.28/1144.73 c #Conflicts: 782000 | #Constraints: 41162
1141.28/1144.73 c #Conflicts: 783000 | #Constraints: 42162
1141.28/1144.73 c #Conflicts: 784000 | #Constraints: 43162
1141.28/1144.73 c #Conflicts: 785000 | #Constraints: 44162
1141.28/1144.73 c #Conflicts: 786000 | #Constraints: 45162
1141.28/1144.73 c #Conflicts: 787000 | #Constraints: 46162
1141.28/1144.73 c #Conflicts: 788000 | #Constraints: 47162
1141.28/1144.73 c #Conflicts: 789000 | #Constraints: 48162
1141.28/1144.73 c #Conflicts: 790000 | #Constraints: 49162
1141.28/1144.73 c #Conflicts: 791000 | #Constraints: 50162
1141.28/1144.73 c #Conflicts: 792000 | #Constraints: 51162
1141.28/1144.73 c INPROCESSING
1141.28/1144.73 c GARBAGE COLLECT
1141.28/1144.73 c #Conflicts: 793000 | #Constraints: 29896
1141.28/1144.73 c #Conflicts: 794000 | #Constraints: 30896
1141.28/1144.73 c #Conflicts: 795000 | #Constraints: 31896
1141.28/1144.73 c #Conflicts: 796000 | #Constraints: 32896
1141.28/1144.73 c #Conflicts: 797000 | #Constraints: 33896
1141.28/1144.73 c #Conflicts: 798000 | #Constraints: 34896
1141.28/1144.73 c #Conflicts: 799000 | #Constraints: 35896
1141.28/1144.73 c #Conflicts: 800000 | #Constraints: 36896
1141.28/1144.73 c #Conflicts: 801000 | #Constraints: 37896
1141.28/1144.73 c #Conflicts: 802000 | #Constraints: 38896
1141.28/1144.73 c #Conflicts: 803000 | #Constraints: 39896
1141.28/1144.73 c #Conflicts: 804000 | #Constraints: 40896
1141.28/1144.73 c #Conflicts: 805000 | #Constraints: 41896
1141.28/1144.73 c #Conflicts: 806000 | #Constraints: 42896
1141.28/1144.73 c #Conflicts: 807000 | #Constraints: 43896
1141.28/1144.73 c #Conflicts: 808000 | #Constraints: 44896
1141.28/1144.73 c #Conflicts: 809000 | #Constraints: 45896
1141.28/1144.73 c #Conflicts: 810000 | #Constraints: 46896
1141.28/1144.73 c #Conflicts: 811000 | #Constraints: 47896
1141.28/1144.73 c #Conflicts: 812000 | #Constraints: 48896
1141.28/1144.73 c INPROCESSING
1141.28/1144.73 c GARBAGE COLLECT
1141.28/1144.73 c #Conflicts: 813000 | #Constraints: 28904
1141.28/1144.73 c #Conflicts: 814000 | #Constraints: 29904
1278.21/1282.01 c #Conflicts: 815000 | #Constraints: 30904
1278.21/1282.01 c #Conflicts: 816000 | #Constraints: 31904
1278.21/1282.01 c #Conflicts: 817000 | #Constraints: 32904
1278.21/1282.01 c #Conflicts: 818000 | #Constraints: 33904
1278.21/1282.01 c #Conflicts: 819000 | #Constraints: 34904
1278.21/1282.01 c #Conflicts: 820000 | #Constraints: 35904
1278.21/1282.01 c #Conflicts: 821000 | #Constraints: 36904
1278.21/1282.01 c #Conflicts: 822000 | #Constraints: 37904
1278.21/1282.01 c #Conflicts: 823000 | #Constraints: 38904
1278.21/1282.01 c #Conflicts: 824000 | #Constraints: 39904
1278.21/1282.01 c #Conflicts: 825000 | #Constraints: 40904
1278.21/1282.01 c #Conflicts: 826000 | #Constraints: 41904
1278.21/1282.01 c #Conflicts: 827000 | #Constraints: 42904
1278.21/1282.01 c #Conflicts: 828000 | #Constraints: 43904
1278.21/1282.01 c #Conflicts: 829000 | #Constraints: 44904
1278.21/1282.01 c #Conflicts: 830000 | #Constraints: 45904
1278.21/1282.01 c #Conflicts: 831000 | #Constraints: 46904
1278.21/1282.01 c INPROCESSING
1278.21/1282.01 c GARBAGE COLLECT
1278.21/1282.01 c #Conflicts: 832000 | #Constraints: 27458
1278.21/1282.01 c #Conflicts: 833000 | #Constraints: 28458
1278.21/1282.01 c #Conflicts: 834000 | #Constraints: 29458
1278.21/1282.01 c #Conflicts: 835000 | #Constraints: 30458
1278.21/1282.01 c #Conflicts: 836000 | #Constraints: 31458
1278.21/1282.01 c #Conflicts: 837000 | #Constraints: 32458
1278.21/1282.01 c #Conflicts: 838000 | #Constraints: 33458
1278.21/1282.01 c #Conflicts: 839000 | #Constraints: 34458
1278.21/1282.01 c #Conflicts: 840000 | #Constraints: 35458
1278.21/1282.01 c #Conflicts: 841000 | #Constraints: 36458
1278.21/1282.01 c #Conflicts: 842000 | #Constraints: 37458
1278.21/1282.01 c #Conflicts: 843000 | #Constraints: 38458
1278.21/1282.01 c #Conflicts: 844000 | #Constraints: 39458
1278.21/1282.01 c #Conflicts: 845000 | #Constraints: 40458
1278.21/1282.01 c #Conflicts: 846000 | #Constraints: 41458
1278.21/1282.01 c #Conflicts: 847000 | #Constraints: 42458
1278.21/1282.01 c #Conflicts: 848000 | #Constraints: 43458
1278.21/1282.01 c #Conflicts: 849000 | #Constraints: 44458
1278.21/1282.01 c #Conflicts: 850000 | #Constraints: 45458
1278.21/1282.01 c #Conflicts: 851000 | #Constraints: 46458
1278.21/1282.01 c #Conflicts: 852000 | #Constraints: 47458
1278.21/1282.01 c #Conflicts: 853000 | #Constraints: 48458
1278.21/1282.01 c #Conflicts: 854000 | #Constraints: 49458
1278.21/1282.01 c #Conflicts: 855000 | #Constraints: 50458
1278.21/1282.01 c #Conflicts: 856000 | #Constraints: 51458
1278.21/1282.01 c #Conflicts: 857000 | #Constraints: 52458
1278.21/1282.01 c #Conflicts: 858000 | #Constraints: 53458
1278.21/1282.01 c #Conflicts: 859000 | #Constraints: 54458
1278.21/1282.01 c #Conflicts: 860000 | #Constraints: 55458
1278.21/1282.01 c #Conflicts: 861000 | #Constraints: 56458
1278.21/1282.01 c #Conflicts: 862000 | #Constraints: 57458
1278.21/1282.01 c #Conflicts: 863000 | #Constraints: 58458
1278.21/1282.01 c #Conflicts: 864000 | #Constraints: 59458
1278.21/1282.01 c #Conflicts: 865000 | #Constraints: 60458
1278.21/1282.01 c #Conflicts: 866000 | #Constraints: 61458
1278.21/1282.01 c #Conflicts: 867000 | #Constraints: 62458
1278.21/1282.01 c #Conflicts: 868000 | #Constraints: 63458
1278.21/1282.01 c #Conflicts: 869000 | #Constraints: 64458
1278.21/1282.01 c #Conflicts: 870000 | #Constraints: 65458
1278.21/1282.01 c #Conflicts: 871000 | #Constraints: 66458
1278.21/1282.01 c #Conflicts: 872000 | #Constraints: 67458
1278.21/1282.01 c #Conflicts: 873000 | #Constraints: 68458
1278.21/1282.01 c #Conflicts: 874000 | #Constraints: 69458
1278.21/1282.01 c #Conflicts: 875000 | #Constraints: 70458
1278.21/1282.01 c #Conflicts: 876000 | #Constraints: 71458
1278.21/1282.01 c #Conflicts: 877000 | #Constraints: 72458
1278.21/1282.01 c #Conflicts: 878000 | #Constraints: 73458
1278.21/1282.01 c #Conflicts: 879000 | #Constraints: 74458
1278.21/1282.01 c #Conflicts: 880000 | #Constraints: 75458
1278.21/1282.01 c #Conflicts: 881000 | #Constraints: 76458
1278.21/1282.01 c #Conflicts: 882000 | #Constraints: 77458
1278.21/1282.01 c #Conflicts: 883000 | #Constraints: 78458
1278.21/1282.01 c #Conflicts: 884000 | #Constraints: 79458
1278.21/1282.01 c #Conflicts: 885000 | #Constraints: 80458
1278.21/1282.01 c #Conflicts: 886000 | #Constraints: 81458
1278.21/1282.01 c #Conflicts: 887000 | #Constraints: 82458
1278.21/1282.01 c #Conflicts: 888000 | #Constraints: 83458
1278.21/1282.01 c #Conflicts: 889000 | #Constraints: 84458
1278.21/1282.01 c #Conflicts: 890000 | #Constraints: 85458
1278.21/1282.01 c #Conflicts: 891000 | #Constraints: 86458
1278.21/1282.01 c #Conflicts: 892000 | #Constraints: 87458
1454.81/1459.18 c #Conflicts: 893000 | #Constraints: 88458
1454.81/1459.18 c #Conflicts: 894000 | #Constraints: 89458
1454.81/1459.18 c #Conflicts: 895000 | #Constraints: 90458
1454.81/1459.18 c #Conflicts: 896000 | #Constraints: 91458
1454.81/1459.18 c #Conflicts: 897000 | #Constraints: 92458
1454.81/1459.18 c #Conflicts: 898000 | #Constraints: 93458
1454.81/1459.18 c #Conflicts: 899000 | #Constraints: 94458
1454.81/1459.18 c #Conflicts: 900000 | #Constraints: 95458
1454.81/1459.18 c #Conflicts: 901000 | #Constraints: 96458
1454.81/1459.18 c #Conflicts: 902000 | #Constraints: 97458
1454.81/1459.18 c #Conflicts: 903000 | #Constraints: 98458
1454.81/1459.18 c #Conflicts: 904000 | #Constraints: 99458
1454.81/1459.18 c #Conflicts: 905000 | #Constraints: 100458
1454.81/1459.18 c #Conflicts: 906000 | #Constraints: 101458
1454.81/1459.18 c INPROCESSING
1454.81/1459.18 c GARBAGE COLLECT
1454.81/1459.18 c #Conflicts: 907000 | #Constraints: 55127
1454.81/1459.18 c #Conflicts: 908000 | #Constraints: 56127
1454.81/1459.18 c #Conflicts: 909000 | #Constraints: 57127
1454.81/1459.18 c #Conflicts: 910000 | #Constraints: 58127
1454.81/1459.18 c #Conflicts: 911000 | #Constraints: 59127
1454.81/1459.18 c #Conflicts: 912000 | #Constraints: 60127
1454.81/1459.18 c #Conflicts: 913000 | #Constraints: 61127
1454.81/1459.18 c #Conflicts: 914000 | #Constraints: 62127
1454.81/1459.18 c #Conflicts: 915000 | #Constraints: 63127
1454.81/1459.18 c #Conflicts: 916000 | #Constraints: 64127
1454.81/1459.18 c #Conflicts: 917000 | #Constraints: 65127
1454.81/1459.18 c #Conflicts: 918000 | #Constraints: 66127
1454.81/1459.18 c #Conflicts: 919000 | #Constraints: 67127
1454.81/1459.18 c #Conflicts: 920000 | #Constraints: 68127
1454.81/1459.18 c #Conflicts: 921000 | #Constraints: 69127
1454.81/1459.18 c #Conflicts: 922000 | #Constraints: 70127
1454.81/1459.18 c #Conflicts: 923000 | #Constraints: 71127
1454.81/1459.18 c #Conflicts: 924000 | #Constraints: 72127
1454.81/1459.18 c #Conflicts: 925000 | #Constraints: 73127
1454.81/1459.18 c #Conflicts: 926000 | #Constraints: 74127
1454.81/1459.18 c #Conflicts: 927000 | #Constraints: 75127
1454.81/1459.18 c INPROCESSING
1454.81/1459.18 c GARBAGE COLLECT
1454.81/1459.18 c #Conflicts: 928000 | #Constraints: 41874
1454.81/1459.18 c #Conflicts: 929000 | #Constraints: 42874
1454.81/1459.18 c #Conflicts: 930000 | #Constraints: 43874
1454.81/1459.18 c #Conflicts: 931000 | #Constraints: 44874
1454.81/1459.18 c #Conflicts: 932000 | #Constraints: 45874
1454.81/1459.18 c #Conflicts: 933000 | #Constraints: 46874
1454.81/1459.18 c #Conflicts: 934000 | #Constraints: 47874
1454.81/1459.18 c #Conflicts: 935000 | #Constraints: 48874
1454.81/1459.18 c #Conflicts: 936000 | #Constraints: 49875
1454.81/1459.18 c #Conflicts: 937000 | #Constraints: 50875
1454.81/1459.18 c #Conflicts: 938000 | #Constraints: 51875
1454.81/1459.18 c #Conflicts: 939000 | #Constraints: 52875
1454.81/1459.18 c #Conflicts: 940000 | #Constraints: 53875
1454.81/1459.18 c #Conflicts: 941000 | #Constraints: 54875
1454.81/1459.18 c #Conflicts: 942000 | #Constraints: 55875
1454.81/1459.18 c #Conflicts: 943000 | #Constraints: 56875
1454.81/1459.18 c #Conflicts: 944000 | #Constraints: 57875
1454.81/1459.18 c #Conflicts: 945000 | #Constraints: 58875
1454.81/1459.18 c #Conflicts: 946000 | #Constraints: 59875
1454.81/1459.18 c #Conflicts: 947000 | #Constraints: 60875
1454.81/1459.18 c #Conflicts: 948000 | #Constraints: 61875
1454.81/1459.18 c INPROCESSING
1454.81/1459.18 c GARBAGE COLLECT
1454.81/1459.18 c #Conflicts: 949000 | #Constraints: 35125
1454.81/1459.18 c #Conflicts: 950000 | #Constraints: 36125
1454.81/1459.18 c #Conflicts: 951000 | #Constraints: 37125
1454.81/1459.18 c #Conflicts: 952000 | #Constraints: 38125
1454.81/1459.18 c #Conflicts: 953000 | #Constraints: 39125
1454.81/1459.18 c #Conflicts: 954000 | #Constraints: 40125
1454.81/1459.18 c #Conflicts: 955000 | #Constraints: 41125
1454.81/1459.18 c #Conflicts: 956000 | #Constraints: 42125
1454.81/1459.18 c #Conflicts: 957000 | #Constraints: 43125
1454.81/1459.18 c #Conflicts: 958000 | #Constraints: 44125
1454.81/1459.18 c #Conflicts: 959000 | #Constraints: 45125
1454.81/1459.18 c #Conflicts: 960000 | #Constraints: 46125
1454.81/1459.18 c #Conflicts: 961000 | #Constraints: 47125
1454.81/1459.18 c #Conflicts: 962000 | #Constraints: 48125
1454.81/1459.18 c #Conflicts: 963000 | #Constraints: 49125
1454.81/1459.18 c #Conflicts: 964000 | #Constraints: 50125
1454.81/1459.18 c #Conflicts: 965000 | #Constraints: 51125
1454.81/1459.18 c #Conflicts: 966000 | #Constraints: 52125
1454.81/1459.18 c #Conflicts: 967000 | #Constraints: 53125
1454.81/1459.18 c #Conflicts: 968000 | #Constraints: 54125
1454.81/1459.18 c #Conflicts: 969000 | #Constraints: 55125
1500.17/1504.67 c #Conflicts: 970000 | #Constraints: 56125
1500.17/1504.67 c INPROCESSING
1500.17/1504.67 c GARBAGE COLLECT
1500.17/1504.67 c #Conflicts: 971000 | #Constraints: 32503
1500.17/1504.67 c #Conflicts: 972000 | #Constraints: 33503
1500.17/1504.67 c #Conflicts: 973000 | #Constraints: 34503
1500.17/1504.67 c #Conflicts: 974000 | #Constraints: 35503
1500.17/1504.67 c #Conflicts: 975000 | #Constraints: 36503
1500.17/1504.67 c #Conflicts: 976000 | #Constraints: 37503
1500.17/1504.67 c #Conflicts: 977000 | #Constraints: 38503
1500.17/1504.67 c #Conflicts: 978000 | #Constraints: 39503
1500.17/1504.67 c #Conflicts: 979000 | #Constraints: 40503
1500.17/1504.67 c #Conflicts: 980000 | #Constraints: 41503
1500.17/1504.67 c #Conflicts: 981000 | #Constraints: 42503
1500.17/1504.67 c #Conflicts: 982000 | #Constraints: 43503
1500.17/1504.67 c #Conflicts: 983000 | #Constraints: 44503
1500.17/1504.67 c #Conflicts: 984000 | #Constraints: 45503
1500.17/1504.67 c #Conflicts: 985000 | #Constraints: 46503
1500.17/1504.67 c #Conflicts: 986000 | #Constraints: 47503
1500.17/1504.67 c #Conflicts: 987000 | #Constraints: 48503
1500.17/1504.67 c #Conflicts: 988000 | #Constraints: 49503
1500.17/1504.67 c #Conflicts: 989000 | #Constraints: 50503
1500.17/1504.67 c #Conflicts: 990000 | #Constraints: 51503
1500.17/1504.67 c #Conflicts: 991000 | #Constraints: 52503
1500.17/1504.67 c #Conflicts: 992000 | #Constraints: 53503
1500.17/1504.67 c INPROCESSING
1500.17/1504.67 c GARBAGE COLLECT
1500.17/1504.67 c rational objective 90.6232
1644.96/1649.88 c #Conflicts: 993000 | #Constraints: 31229
1644.96/1649.88 c #Conflicts: 994000 | #Constraints: 32229
1644.96/1649.88 c #Conflicts: 995000 | #Constraints: 33229
1644.96/1649.88 c #Conflicts: 996000 | #Constraints: 34229
1644.96/1649.88 c #Conflicts: 997000 | #Constraints: 35229
1644.96/1649.88 c #Conflicts: 998000 | #Constraints: 36229
1644.96/1649.88 c #Conflicts: 999000 | #Constraints: 37229
1644.96/1649.88 c #Conflicts: 1000000 | #Constraints: 38229
1644.96/1649.88 c #Conflicts: 1001000 | #Constraints: 39229
1644.96/1649.88 c #Conflicts: 1002000 | #Constraints: 40229
1644.96/1649.88 c #Conflicts: 1003000 | #Constraints: 41229
1644.96/1649.88 c #Conflicts: 1004000 | #Constraints: 42229
1644.96/1649.88 c #Conflicts: 1005000 | #Constraints: 43229
1644.96/1649.88 c #Conflicts: 1006000 | #Constraints: 44229
1644.96/1649.88 c #Conflicts: 1007000 | #Constraints: 45229
1644.96/1649.88 c #Conflicts: 1008000 | #Constraints: 46229
1644.96/1649.88 c #Conflicts: 1009000 | #Constraints: 47229
1644.96/1649.88 c #Conflicts: 1010000 | #Constraints: 48229
1644.96/1649.88 c #Conflicts: 1011000 | #Constraints: 49229
1644.96/1649.88 c #Conflicts: 1012000 | #Constraints: 50229
1644.96/1649.88 c #Conflicts: 1013000 | #Constraints: 51229
1644.96/1649.88 c #Conflicts: 1014000 | #Constraints: 52229
1644.96/1649.88 c INPROCESSING
1644.96/1649.88 c GARBAGE COLLECT
1644.96/1649.88 c #Conflicts: 1015000 | #Constraints: 30584
1644.96/1649.88 c #Conflicts: 1016000 | #Constraints: 31584
1644.96/1649.88 c #Conflicts: 1017000 | #Constraints: 32584
1644.96/1649.88 c #Conflicts: 1018000 | #Constraints: 33584
1644.96/1649.88 c #Conflicts: 1019000 | #Constraints: 34584
1644.96/1649.88 c #Conflicts: 1020000 | #Constraints: 35584
1644.96/1649.88 c #Conflicts: 1021000 | #Constraints: 36584
1644.96/1649.88 c #Conflicts: 1022000 | #Constraints: 37584
1644.96/1649.88 c #Conflicts: 1023000 | #Constraints: 38584
1644.96/1649.88 c #Conflicts: 1024000 | #Constraints: 39584
1644.96/1649.88 c #Conflicts: 1025000 | #Constraints: 40584
1644.96/1649.88 c #Conflicts: 1026000 | #Constraints: 41584
1644.96/1649.88 c #Conflicts: 1027000 | #Constraints: 42584
1644.96/1649.88 c #Conflicts: 1028000 | #Constraints: 43584
1644.96/1649.88 c #Conflicts: 1029000 | #Constraints: 44584
1644.96/1649.88 c #Conflicts: 1030000 | #Constraints: 45584
1644.96/1649.88 c #Conflicts: 1031000 | #Constraints: 46584
1644.96/1649.88 c #Conflicts: 1032000 | #Constraints: 47584
1644.96/1649.88 c #Conflicts: 1033000 | #Constraints: 48584
1644.96/1649.88 c #Conflicts: 1034000 | #Constraints: 49584
1644.96/1649.88 c #Conflicts: 1035000 | #Constraints: 50584
1644.96/1649.88 c #Conflicts: 1036000 | #Constraints: 51584
1644.96/1649.88 c #Conflicts: 1037000 | #Constraints: 52584
1644.96/1649.88 c #Conflicts: 1038000 | #Constraints: 53584
1644.96/1649.88 c #Conflicts: 1039000 | #Constraints: 54584
1644.96/1649.88 c #Conflicts: 1040000 | #Constraints: 55584
1644.96/1649.88 c #Conflicts: 1041000 | #Constraints: 56584
1644.96/1649.88 c #Conflicts: 1042000 | #Constraints: 57584
1644.96/1649.88 c #Conflicts: 1043000 | #Constraints: 58584
1644.96/1649.88 c #Conflicts: 1044000 | #Constraints: 59584
1644.96/1649.88 c #Conflicts: 1045000 | #Constraints: 60584
1644.96/1649.88 c #Conflicts: 1046000 | #Constraints: 61584
1644.96/1649.88 c #Conflicts: 1047000 | #Constraints: 62584
1644.96/1649.88 c #Conflicts: 1048000 | #Constraints: 63584
1644.96/1649.88 c #Conflicts: 1049000 | #Constraints: 64584
1644.96/1649.88 c #Conflicts: 1050000 | #Constraints: 65584
1644.96/1649.88 c #Conflicts: 1051000 | #Constraints: 66584
1644.96/1649.88 c #Conflicts: 1052000 | #Constraints: 67584
1644.96/1649.88 c #Conflicts: 1053000 | #Constraints: 68585
1644.96/1649.88 c #Conflicts: 1054000 | #Constraints: 69585
1644.96/1649.88 c #Conflicts: 1055000 | #Constraints: 70585
1644.96/1649.88 c #Conflicts: 1056000 | #Constraints: 71585
1644.96/1649.88 c #Conflicts: 1057000 | #Constraints: 72585
1644.96/1649.88 c #Conflicts: 1058000 | #Constraints: 73585
1644.96/1649.88 c #Conflicts: 1059000 | #Constraints: 74585
1644.96/1649.88 c #Conflicts: 1060000 | #Constraints: 75585
1644.96/1649.88 c #Conflicts: 1061000 | #Constraints: 76585
1644.96/1649.88 c #Conflicts: 1062000 | #Constraints: 77585
1644.96/1649.88 c #Conflicts: 1063000 | #Constraints: 78585
1644.96/1649.88 c #Conflicts: 1064000 | #Constraints: 79585
1644.96/1649.88 c #Conflicts: 1065000 | #Constraints: 80585
1644.96/1649.88 c #Conflicts: 1066000 | #Constraints: 81585
1644.96/1649.88 c #Conflicts: 1067000 | #Constraints: 82585
1644.96/1649.88 c #Conflicts: 1068000 | #Constraints: 83585
1644.96/1649.88 c #Conflicts: 1069000 | #Constraints: 84585
1644.96/1649.88 c #Conflicts: 1070000 | #Constraints: 85585
1644.96/1649.88 c #Conflicts: 1071000 | #Constraints: 86585
1839.41/1844.81 c #Conflicts: 1072000 | #Constraints: 87585
1839.41/1844.81 c #Conflicts: 1073000 | #Constraints: 88585
1839.41/1844.81 c #Conflicts: 1074000 | #Constraints: 89585
1839.41/1844.81 c #Conflicts: 1075000 | #Constraints: 90585
1839.41/1844.81 c #Conflicts: 1076000 | #Constraints: 91585
1839.41/1844.81 c #Conflicts: 1077000 | #Constraints: 92585
1839.41/1844.81 c #Conflicts: 1078000 | #Constraints: 93585
1839.41/1844.81 c #Conflicts: 1079000 | #Constraints: 94585
1839.41/1844.81 c #Conflicts: 1080000 | #Constraints: 95585
1839.41/1844.81 c #Conflicts: 1081000 | #Constraints: 96585
1839.41/1844.81 c #Conflicts: 1082000 | #Constraints: 97585
1839.41/1844.81 c #Conflicts: 1083000 | #Constraints: 98585
1839.41/1844.81 c #Conflicts: 1084000 | #Constraints: 99585
1839.41/1844.81 c #Conflicts: 1085000 | #Constraints: 100585
1839.41/1844.81 c #Conflicts: 1086000 | #Constraints: 101585
1839.41/1844.81 c #Conflicts: 1087000 | #Constraints: 102585
1839.41/1844.81 c #Conflicts: 1088000 | #Constraints: 103585
1839.41/1844.81 c #Conflicts: 1089000 | #Constraints: 104585
1839.41/1844.81 c #Conflicts: 1090000 | #Constraints: 105585
1839.41/1844.81 c #Conflicts: 1091000 | #Constraints: 106585
1839.41/1844.81 c #Conflicts: 1092000 | #Constraints: 107585
1839.41/1844.81 c #Conflicts: 1093000 | #Constraints: 108585
1839.41/1844.81 c #Conflicts: 1094000 | #Constraints: 109585
1839.41/1844.81 c #Conflicts: 1095000 | #Constraints: 110585
1839.41/1844.81 c INPROCESSING
1839.41/1844.81 c GARBAGE COLLECT
1839.41/1844.81 c #Conflicts: 1096000 | #Constraints: 59465
1839.41/1844.81 c #Conflicts: 1097000 | #Constraints: 60465
1839.41/1844.81 c #Conflicts: 1098000 | #Constraints: 61465
1839.41/1844.81 c #Conflicts: 1099000 | #Constraints: 62465
1839.41/1844.81 c #Conflicts: 1100000 | #Constraints: 63465
1839.41/1844.81 c #Conflicts: 1101000 | #Constraints: 64465
1839.41/1844.81 c #Conflicts: 1102000 | #Constraints: 65465
1839.41/1844.81 c #Conflicts: 1103000 | #Constraints: 66465
1839.41/1844.81 c #Conflicts: 1104000 | #Constraints: 67465
1839.41/1844.81 c #Conflicts: 1105000 | #Constraints: 68465
1839.41/1844.81 c #Conflicts: 1106000 | #Constraints: 69465
1839.41/1844.81 c #Conflicts: 1107000 | #Constraints: 70465
1839.41/1844.81 c #Conflicts: 1108000 | #Constraints: 71465
1839.41/1844.81 c #Conflicts: 1109000 | #Constraints: 72465
1839.41/1844.81 c #Conflicts: 1110000 | #Constraints: 73465
1839.41/1844.81 c #Conflicts: 1111000 | #Constraints: 74465
1839.41/1844.81 c #Conflicts: 1112000 | #Constraints: 75465
1839.41/1844.81 c #Conflicts: 1113000 | #Constraints: 76465
1839.41/1844.81 c #Conflicts: 1114000 | #Constraints: 77465
1839.41/1844.81 c #Conflicts: 1115000 | #Constraints: 78465
1839.41/1844.81 c #Conflicts: 1116000 | #Constraints: 79465
1839.41/1844.81 c #Conflicts: 1117000 | #Constraints: 80465
1839.41/1844.81 c #Conflicts: 1118000 | #Constraints: 81465
1839.41/1844.81 c INPROCESSING
1839.41/1844.81 c GARBAGE COLLECT
1839.41/1844.81 c #Conflicts: 1119000 | #Constraints: 44759
1839.41/1844.81 c #Conflicts: 1120000 | #Constraints: 45759
1839.41/1844.81 c #Conflicts: 1121000 | #Constraints: 46759
1839.41/1844.81 c #Conflicts: 1122000 | #Constraints: 47759
1839.41/1844.81 c #Conflicts: 1123000 | #Constraints: 48759
1839.41/1844.81 c #Conflicts: 1124000 | #Constraints: 49759
1839.41/1844.81 c #Conflicts: 1125000 | #Constraints: 50759
1839.41/1844.81 c #Conflicts: 1126000 | #Constraints: 51759
1839.41/1844.81 c #Conflicts: 1127000 | #Constraints: 52759
1839.41/1844.81 c #Conflicts: 1128000 | #Constraints: 53759
1839.41/1844.81 c #Conflicts: 1129000 | #Constraints: 54759
1839.41/1844.81 c #Conflicts: 1130000 | #Constraints: 55759
1839.41/1844.81 c #Conflicts: 1131000 | #Constraints: 56759
1839.41/1844.81 c #Conflicts: 1132000 | #Constraints: 57759
1839.41/1844.81 c #Conflicts: 1133000 | #Constraints: 58759
1839.41/1844.81 c #Conflicts: 1134000 | #Constraints: 59759
1839.41/1844.81 c #Conflicts: 1135000 | #Constraints: 60759
1839.41/1844.81 c #Conflicts: 1136000 | #Constraints: 61759
1839.41/1844.81 c #Conflicts: 1137000 | #Constraints: 62759
1839.41/1844.81 c #Conflicts: 1138000 | #Constraints: 63759
1839.41/1844.81 c #Conflicts: 1139000 | #Constraints: 64759
1839.41/1844.81 c #Conflicts: 1140000 | #Constraints: 65759
1839.41/1844.81 c #Conflicts: 1141000 | #Constraints: 66759
1839.41/1844.81 c #Conflicts: 1142000 | #Constraints: 67759
1839.41/1844.81 c INPROCESSING
1839.41/1844.81 c GARBAGE COLLECT
1839.41/1844.81 c #Conflicts: 1143000 | #Constraints: 38146
1839.41/1844.81 c #Conflicts: 1144000 | #Constraints: 39146
1839.41/1844.81 c #Conflicts: 1145000 | #Constraints: 40146
1839.41/1844.81 c #Conflicts: 1146000 | #Constraints: 41146
1839.41/1844.81 c #Conflicts: 1147000 | #Constraints: 42146
1943.60/1949.35 c #Conflicts: 1148000 | #Constraints: 43146
1943.60/1949.35 c #Conflicts: 1149000 | #Constraints: 44146
1943.60/1949.35 c #Conflicts: 1150000 | #Constraints: 45146
1943.60/1949.35 c #Conflicts: 1151000 | #Constraints: 46146
1943.60/1949.35 c #Conflicts: 1152000 | #Constraints: 47146
1943.60/1949.35 c #Conflicts: 1153000 | #Constraints: 48146
1943.60/1949.35 c #Conflicts: 1154000 | #Constraints: 49146
1943.60/1949.35 c #Conflicts: 1155000 | #Constraints: 50146
1943.60/1949.35 c #Conflicts: 1156000 | #Constraints: 51146
1943.60/1949.35 c #Conflicts: 1157000 | #Constraints: 52146
1943.60/1949.35 c #Conflicts: 1158000 | #Constraints: 53146
1943.60/1949.35 c #Conflicts: 1159000 | #Constraints: 54146
1943.60/1949.35 c #Conflicts: 1160000 | #Constraints: 55146
1943.60/1949.35 c #Conflicts: 1161000 | #Constraints: 56146
1943.60/1949.35 c #Conflicts: 1162000 | #Constraints: 57146
1943.60/1949.35 c #Conflicts: 1163000 | #Constraints: 58146
1943.60/1949.35 c #Conflicts: 1164000 | #Constraints: 59146
1943.60/1949.35 c #Conflicts: 1165000 | #Constraints: 60146
1943.60/1949.35 c #Conflicts: 1166000 | #Constraints: 61146
1943.60/1949.35 c INPROCESSING
1943.60/1949.35 c GARBAGE COLLECT
1943.60/1949.35 c #Conflicts: 1167000 | #Constraints: 34960
1943.60/1949.35 c #Conflicts: 1168000 | #Constraints: 35960
1943.60/1949.35 c #Conflicts: 1169000 | #Constraints: 36960
1943.60/1949.35 c #Conflicts: 1170000 | #Constraints: 37960
1943.60/1949.35 c #Conflicts: 1171000 | #Constraints: 38960
1943.60/1949.35 c #Conflicts: 1172000 | #Constraints: 39960
1943.60/1949.35 c #Conflicts: 1173000 | #Constraints: 40960
1943.60/1949.35 c #Conflicts: 1174000 | #Constraints: 41960
1943.60/1949.35 c #Conflicts: 1175000 | #Constraints: 42960
1943.60/1949.35 c #Conflicts: 1176000 | #Constraints: 43960
1943.60/1949.35 c #Conflicts: 1177000 | #Constraints: 44960
1943.60/1949.35 c #Conflicts: 1178000 | #Constraints: 45960
1943.60/1949.35 c #Conflicts: 1179000 | #Constraints: 46960
1943.60/1949.35 c #Conflicts: 1180000 | #Constraints: 47960
1943.60/1949.35 c #Conflicts: 1181000 | #Constraints: 48960
1943.60/1949.35 c #Conflicts: 1182000 | #Constraints: 49960
1943.60/1949.35 c #Conflicts: 1183000 | #Constraints: 50960
1943.60/1949.35 c #Conflicts: 1184000 | #Constraints: 51960
1943.60/1949.35 c #Conflicts: 1185000 | #Constraints: 52960
1943.60/1949.35 c #Conflicts: 1186000 | #Constraints: 53960
1943.60/1949.35 c #Conflicts: 1187000 | #Constraints: 54960
1943.60/1949.35 c #Conflicts: 1188000 | #Constraints: 55960
1943.60/1949.35 c #Conflicts: 1189000 | #Constraints: 56960
1943.60/1949.35 c #Conflicts: 1190000 | #Constraints: 57960
1943.60/1949.35 c INPROCESSING
1943.60/1949.35 c GARBAGE COLLECT
1943.60/1949.35 c #Conflicts: 1191000 | #Constraints: 33516
1943.60/1949.35 c #Conflicts: 1192000 | #Constraints: 34516
1943.60/1949.35 c #Conflicts: 1193000 | #Constraints: 35516
1943.60/1949.35 c #Conflicts: 1194000 | #Constraints: 36516
1943.60/1949.35 c #Conflicts: 1195000 | #Constraints: 37516
1943.60/1949.35 c #Conflicts: 1196000 | #Constraints: 38516
1943.60/1949.35 c #Conflicts: 1197000 | #Constraints: 39516
1943.60/1949.35 c #Conflicts: 1198000 | #Constraints: 40516
1943.60/1949.35 c #Conflicts: 1199000 | #Constraints: 41516
1943.60/1949.35 c #Conflicts: 1200000 | #Constraints: 42516
1943.60/1949.35 c #Conflicts: 1201000 | #Constraints: 43516
1943.60/1949.35 c #Conflicts: 1202000 | #Constraints: 44516
1943.60/1949.35 c #Conflicts: 1203000 | #Constraints: 45516
1943.60/1949.35 c #Conflicts: 1204000 | #Constraints: 46516
1943.60/1949.35 c #Conflicts: 1205000 | #Constraints: 47516
1943.60/1949.35 c #Conflicts: 1206000 | #Constraints: 48516
1943.60/1949.35 c #Conflicts: 1207000 | #Constraints: 49516
1943.60/1949.35 c #Conflicts: 1208000 | #Constraints: 50516
1943.60/1949.35 c #Conflicts: 1209000 | #Constraints: 51516
1943.60/1949.35 c #Conflicts: 1210000 | #Constraints: 52516
1943.60/1949.35 c #Conflicts: 1211000 | #Constraints: 53516
1943.60/1949.35 c #Conflicts: 1212000 | #Constraints: 54516
1943.60/1949.35 c #Conflicts: 1213000 | #Constraints: 55516
1943.60/1949.35 c #Conflicts: 1214000 | #Constraints: 56516
1943.60/1949.35 c INPROCESSING
1943.60/1949.35 c GARBAGE COLLECT
1943.60/1949.35 c rational objective 91.3973
2085.92/2092.07 c #Conflicts: 1215000 | #Constraints: 32689
2085.92/2092.07 c #Conflicts: 1216000 | #Constraints: 33689
2085.92/2092.07 c #Conflicts: 1217000 | #Constraints: 34689
2085.92/2092.07 c #Conflicts: 1218000 | #Constraints: 35689
2085.92/2092.07 c #Conflicts: 1219000 | #Constraints: 36689
2085.92/2092.07 c #Conflicts: 1220000 | #Constraints: 37689
2085.92/2092.07 c #Conflicts: 1221000 | #Constraints: 38689
2085.92/2092.07 c #Conflicts: 1222000 | #Constraints: 39689
2085.92/2092.07 c #Conflicts: 1223000 | #Constraints: 40689
2085.92/2092.07 c #Conflicts: 1224000 | #Constraints: 41689
2085.92/2092.07 c #Conflicts: 1225000 | #Constraints: 42689
2085.92/2092.07 c #Conflicts: 1226000 | #Constraints: 43689
2085.92/2092.07 c #Conflicts: 1227000 | #Constraints: 44689
2085.92/2092.07 c #Conflicts: 1228000 | #Constraints: 45689
2085.92/2092.07 c #Conflicts: 1229000 | #Constraints: 46689
2085.92/2092.07 c #Conflicts: 1230000 | #Constraints: 47689
2085.92/2092.07 c #Conflicts: 1231000 | #Constraints: 48689
2085.92/2092.07 c #Conflicts: 1232000 | #Constraints: 49689
2085.92/2092.07 c #Conflicts: 1233000 | #Constraints: 50689
2085.92/2092.07 c #Conflicts: 1234000 | #Constraints: 51689
2085.92/2092.07 c #Conflicts: 1235000 | #Constraints: 52689
2085.92/2092.07 c #Conflicts: 1236000 | #Constraints: 53689
2085.92/2092.07 c #Conflicts: 1237000 | #Constraints: 54689
2085.92/2092.07 c #Conflicts: 1238000 | #Constraints: 55689
2085.92/2092.07 c INPROCESSING
2085.92/2092.07 c GARBAGE COLLECT
2085.92/2092.07 c #Conflicts: 1239000 | #Constraints: 32082
2085.92/2092.07 c #Conflicts: 1240000 | #Constraints: 33082
2085.92/2092.07 c #Conflicts: 1241000 | #Constraints: 34082
2085.92/2092.07 c #Conflicts: 1242000 | #Constraints: 35082
2085.92/2092.07 c #Conflicts: 1243000 | #Constraints: 36082
2085.92/2092.07 c #Conflicts: 1244000 | #Constraints: 37082
2085.92/2092.07 c #Conflicts: 1245000 | #Constraints: 38082
2085.92/2092.07 c #Conflicts: 1246000 | #Constraints: 39082
2085.92/2092.07 c #Conflicts: 1247000 | #Constraints: 40082
2085.92/2092.07 c #Conflicts: 1248000 | #Constraints: 41082
2085.92/2092.07 c #Conflicts: 1249000 | #Constraints: 42082
2085.92/2092.07 c #Conflicts: 1250000 | #Constraints: 43082
2085.92/2092.07 c #Conflicts: 1251000 | #Constraints: 44082
2085.92/2092.07 c #Conflicts: 1252000 | #Constraints: 45082
2085.92/2092.07 c #Conflicts: 1253000 | #Constraints: 46082
2085.92/2092.07 c #Conflicts: 1254000 | #Constraints: 47082
2085.92/2092.07 c #Conflicts: 1255000 | #Constraints: 48082
2085.92/2092.07 c #Conflicts: 1256000 | #Constraints: 49082
2085.92/2092.07 c #Conflicts: 1257000 | #Constraints: 50082
2085.92/2092.07 c #Conflicts: 1258000 | #Constraints: 51082
2085.92/2092.07 c #Conflicts: 1259000 | #Constraints: 52082
2085.92/2092.07 c #Conflicts: 1260000 | #Constraints: 53082
2085.92/2092.07 c #Conflicts: 1261000 | #Constraints: 54082
2085.92/2092.07 c #Conflicts: 1262000 | #Constraints: 55082
2085.92/2092.07 c #Conflicts: 1263000 | #Constraints: 56082
2085.92/2092.07 c #Conflicts: 1264000 | #Constraints: 57082
2085.92/2092.07 c #Conflicts: 1265000 | #Constraints: 58082
2085.92/2092.07 c #Conflicts: 1266000 | #Constraints: 59082
2085.92/2092.07 c #Conflicts: 1267000 | #Constraints: 60082
2085.92/2092.07 c #Conflicts: 1268000 | #Constraints: 61082
2085.92/2092.07 c #Conflicts: 1269000 | #Constraints: 62082
2085.92/2092.07 c #Conflicts: 1270000 | #Constraints: 63082
2085.92/2092.07 c #Conflicts: 1271000 | #Constraints: 64082
2085.92/2092.07 c #Conflicts: 1272000 | #Constraints: 65082
2085.92/2092.07 c #Conflicts: 1273000 | #Constraints: 66082
2085.92/2092.07 c #Conflicts: 1274000 | #Constraints: 67082
2085.92/2092.07 c #Conflicts: 1275000 | #Constraints: 68082
2085.92/2092.07 c #Conflicts: 1276000 | #Constraints: 69082
2085.92/2092.07 c #Conflicts: 1277000 | #Constraints: 70082
2085.92/2092.07 c #Conflicts: 1278000 | #Constraints: 71082
2085.92/2092.07 c #Conflicts: 1279000 | #Constraints: 72082
2085.92/2092.07 c #Conflicts: 1280000 | #Constraints: 73082
2085.92/2092.07 c #Conflicts: 1281000 | #Constraints: 74082
2085.92/2092.07 c #Conflicts: 1282000 | #Constraints: 75082
2085.92/2092.07 c #Conflicts: 1283000 | #Constraints: 76082
2085.92/2092.07 c #Conflicts: 1284000 | #Constraints: 77082
2085.92/2092.07 c #Conflicts: 1285000 | #Constraints: 78082
2085.92/2092.07 c #Conflicts: 1286000 | #Constraints: 79082
2085.92/2092.07 c #Conflicts: 1287000 | #Constraints: 80082
2085.92/2092.07 c #Conflicts: 1288000 | #Constraints: 81082
2085.92/2092.07 c #Conflicts: 1289000 | #Constraints: 82082
2085.92/2092.07 c #Conflicts: 1290000 | #Constraints: 83082
2085.92/2092.07 c #Conflicts: 1291000 | #Constraints: 84082
2085.92/2092.07 c #Conflicts: 1292000 | #Constraints: 85082
2085.92/2092.07 c #Conflicts: 1293000 | #Constraints: 86082
2360.07/2366.94 c #Conflicts: 1294000 | #Constraints: 87082
2360.07/2366.94 c #Conflicts: 1295000 | #Constraints: 88082
2360.07/2366.94 c #Conflicts: 1296000 | #Constraints: 89082
2360.07/2366.94 c #Conflicts: 1297000 | #Constraints: 90082
2360.07/2366.94 c #Conflicts: 1298000 | #Constraints: 91082
2360.07/2366.94 c #Conflicts: 1299000 | #Constraints: 92082
2360.07/2366.94 c #Conflicts: 1300000 | #Constraints: 93082
2360.07/2366.94 c #Conflicts: 1301000 | #Constraints: 94082
2360.07/2366.94 c #Conflicts: 1302000 | #Constraints: 95082
2360.07/2366.94 c #Conflicts: 1303000 | #Constraints: 96082
2360.07/2366.94 c #Conflicts: 1304000 | #Constraints: 97082
2360.07/2366.94 c #Conflicts: 1305000 | #Constraints: 98082
2360.07/2366.94 c #Conflicts: 1306000 | #Constraints: 99082
2360.07/2366.94 c #Conflicts: 1307000 | #Constraints: 100082
2360.07/2366.94 c #Conflicts: 1308000 | #Constraints: 101082
2360.07/2366.94 c #Conflicts: 1309000 | #Constraints: 102082
2360.07/2366.94 c #Conflicts: 1310000 | #Constraints: 103082
2360.07/2366.94 c #Conflicts: 1311000 | #Constraints: 104082
2360.07/2366.94 c #Conflicts: 1312000 | #Constraints: 105082
2360.07/2366.94 c #Conflicts: 1313000 | #Constraints: 106082
2360.07/2366.94 c #Conflicts: 1314000 | #Constraints: 107082
2360.07/2366.94 c #Conflicts: 1315000 | #Constraints: 108082
2360.07/2366.94 c #Conflicts: 1316000 | #Constraints: 109082
2360.07/2366.94 c #Conflicts: 1317000 | #Constraints: 110082
2360.07/2366.94 c #Conflicts: 1318000 | #Constraints: 111082
2360.07/2366.94 c #Conflicts: 1319000 | #Constraints: 112082
2360.07/2366.94 c #Conflicts: 1320000 | #Constraints: 113082
2360.07/2366.94 c #Conflicts: 1321000 | #Constraints: 114082
2360.07/2366.94 c #Conflicts: 1322000 | #Constraints: 115082
2360.07/2366.94 c #Conflicts: 1323000 | #Constraints: 116082
2360.07/2366.94 c #Conflicts: 1324000 | #Constraints: 117082
2360.07/2366.94 c #Conflicts: 1325000 | #Constraints: 118082
2360.07/2366.94 c #Conflicts: 1326000 | #Constraints: 119082
2360.07/2366.94 c #Conflicts: 1327000 | #Constraints: 120082
2360.07/2366.94 c #Conflicts: 1328000 | #Constraints: 121082
2360.07/2366.94 c INPROCESSING
2360.07/2366.94 c GARBAGE COLLECT
2360.07/2366.94 c #Conflicts: 1329000 | #Constraints: 64787
2360.07/2366.94 c #Conflicts: 1330000 | #Constraints: 65787
2360.07/2366.94 c #Conflicts: 1331000 | #Constraints: 66787
2360.07/2366.94 c #Conflicts: 1332000 | #Constraints: 67787
2360.07/2366.94 c #Conflicts: 1333000 | #Constraints: 68787
2360.07/2366.94 c #Conflicts: 1334000 | #Constraints: 69787
2360.07/2366.94 c #Conflicts: 1335000 | #Constraints: 70787
2360.07/2366.94 c #Conflicts: 1336000 | #Constraints: 71787
2360.07/2366.94 c #Conflicts: 1337000 | #Constraints: 72787
2360.07/2366.94 c #Conflicts: 1338000 | #Constraints: 73787
2360.07/2366.94 c #Conflicts: 1339000 | #Constraints: 74787
2360.07/2366.94 c #Conflicts: 1340000 | #Constraints: 75787
2360.07/2366.94 c #Conflicts: 1341000 | #Constraints: 76787
2360.07/2366.94 c #Conflicts: 1342000 | #Constraints: 77787
2360.07/2366.94 c #Conflicts: 1343000 | #Constraints: 78787
2360.07/2366.94 c #Conflicts: 1344000 | #Constraints: 79787
2360.07/2366.94 c #Conflicts: 1345000 | #Constraints: 80787
2360.07/2366.94 c #Conflicts: 1346000 | #Constraints: 81787
2360.07/2366.94 c #Conflicts: 1347000 | #Constraints: 82787
2360.07/2366.94 c #Conflicts: 1348000 | #Constraints: 83787
2360.07/2366.94 c #Conflicts: 1349000 | #Constraints: 84787
2360.07/2366.94 c #Conflicts: 1350000 | #Constraints: 85787
2360.07/2366.94 c #Conflicts: 1351000 | #Constraints: 86787
2360.07/2366.94 c #Conflicts: 1352000 | #Constraints: 87787
2360.07/2366.94 c #Conflicts: 1353000 | #Constraints: 88787
2360.07/2366.94 c #Conflicts: 1354000 | #Constraints: 89787
2360.07/2366.94 c INPROCESSING
2360.07/2366.94 c GARBAGE COLLECT
2360.07/2366.94 c #Conflicts: 1355000 | #Constraints: 49245
2360.07/2366.94 c #Conflicts: 1356000 | #Constraints: 50245
2360.07/2366.94 c #Conflicts: 1357000 | #Constraints: 51245
2360.07/2366.94 c #Conflicts: 1358000 | #Constraints: 52245
2360.07/2366.94 c #Conflicts: 1359000 | #Constraints: 53245
2360.07/2366.94 c #Conflicts: 1360000 | #Constraints: 54245
2360.07/2366.94 c #Conflicts: 1361000 | #Constraints: 55245
2360.07/2366.94 c #Conflicts: 1362000 | #Constraints: 56245
2360.07/2366.94 c #Conflicts: 1363000 | #Constraints: 57245
2360.07/2366.94 c #Conflicts: 1364000 | #Constraints: 58245
2360.07/2366.94 c #Conflicts: 1365000 | #Constraints: 59245
2360.07/2366.94 c #Conflicts: 1366000 | #Constraints: 60245
2360.07/2366.94 c #Conflicts: 1367000 | #Constraints: 61245
2360.07/2366.94 c #Conflicts: 1368000 | #Constraints: 62245
2360.07/2366.94 c #Conflicts: 1369000 | #Constraints: 63245
2360.07/2366.94 c #Conflicts: 1370000 | #Constraints: 64245
2473.26/2480.46 c #Conflicts: 1371000 | #Constraints: 65245
2473.26/2480.46 c #Conflicts: 1372000 | #Constraints: 66245
2473.26/2480.46 c #Conflicts: 1373000 | #Constraints: 67245
2473.26/2480.46 c #Conflicts: 1374000 | #Constraints: 68245
2473.26/2480.46 c #Conflicts: 1375000 | #Constraints: 69245
2473.26/2480.46 c #Conflicts: 1376000 | #Constraints: 70245
2473.26/2480.46 c #Conflicts: 1377000 | #Constraints: 71245
2473.26/2480.46 c #Conflicts: 1378000 | #Constraints: 72245
2473.26/2480.46 c #Conflicts: 1379000 | #Constraints: 73245
2473.26/2480.46 c #Conflicts: 1380000 | #Constraints: 74245
2473.26/2480.46 c INPROCESSING
2473.26/2480.46 c GARBAGE COLLECT
2473.26/2480.46 c #Conflicts: 1381000 | #Constraints: 41635
2473.26/2480.46 c #Conflicts: 1382000 | #Constraints: 42635
2473.26/2480.46 c #Conflicts: 1383000 | #Constraints: 43635
2473.26/2480.46 c #Conflicts: 1384000 | #Constraints: 44635
2473.26/2480.46 c #Conflicts: 1385000 | #Constraints: 45635
2473.26/2480.46 c #Conflicts: 1386000 | #Constraints: 46635
2473.26/2480.46 c #Conflicts: 1387000 | #Constraints: 47635
2473.26/2480.46 c #Conflicts: 1388000 | #Constraints: 48635
2473.26/2480.46 c #Conflicts: 1389000 | #Constraints: 49635
2473.26/2480.46 c #Conflicts: 1390000 | #Constraints: 50635
2473.26/2480.46 c #Conflicts: 1391000 | #Constraints: 51635
2473.26/2480.46 c #Conflicts: 1392000 | #Constraints: 52635
2473.26/2480.46 c #Conflicts: 1393000 | #Constraints: 53635
2473.26/2480.46 c #Conflicts: 1394000 | #Constraints: 54635
2473.26/2480.46 c #Conflicts: 1395000 | #Constraints: 55635
2473.26/2480.46 c #Conflicts: 1396000 | #Constraints: 56635
2473.26/2480.46 c #Conflicts: 1397000 | #Constraints: 57635
2473.26/2480.46 c #Conflicts: 1398000 | #Constraints: 58635
2473.26/2480.46 c #Conflicts: 1399000 | #Constraints: 59635
2473.26/2480.46 c #Conflicts: 1400000 | #Constraints: 60635
2473.26/2480.46 c #Conflicts: 1401000 | #Constraints: 61635
2473.26/2480.46 c #Conflicts: 1402000 | #Constraints: 62635
2473.26/2480.46 c #Conflicts: 1403000 | #Constraints: 63635
2473.26/2480.46 c #Conflicts: 1404000 | #Constraints: 64635
2473.26/2480.46 c #Conflicts: 1405000 | #Constraints: 65635
2473.26/2480.46 c #Conflicts: 1406000 | #Constraints: 66635
2473.26/2480.46 c INPROCESSING
2473.26/2480.46 c GARBAGE COLLECT
2473.26/2480.46 c #Conflicts: 1407000 | #Constraints: 37802
2473.26/2480.46 c #Conflicts: 1408000 | #Constraints: 38802
2473.26/2480.46 c #Conflicts: 1409000 | #Constraints: 39802
2473.26/2480.46 c #Conflicts: 1410000 | #Constraints: 40802
2473.26/2480.46 c #Conflicts: 1411000 | #Constraints: 41802
2473.26/2480.46 c #Conflicts: 1412000 | #Constraints: 42802
2473.26/2480.46 c #Conflicts: 1413000 | #Constraints: 43802
2473.26/2480.46 c #Conflicts: 1414000 | #Constraints: 44802
2473.26/2480.46 c #Conflicts: 1415000 | #Constraints: 45802
2473.26/2480.46 c #Conflicts: 1416000 | #Constraints: 46802
2473.26/2480.46 c #Conflicts: 1417000 | #Constraints: 47802
2473.26/2480.46 c #Conflicts: 1418000 | #Constraints: 48802
2473.26/2480.46 c #Conflicts: 1419000 | #Constraints: 49802
2473.26/2480.46 c #Conflicts: 1420000 | #Constraints: 50802
2473.26/2480.46 c #Conflicts: 1421000 | #Constraints: 51802
2473.26/2480.46 c #Conflicts: 1422000 | #Constraints: 52802
2473.26/2480.46 c #Conflicts: 1423000 | #Constraints: 53802
2473.26/2480.46 c #Conflicts: 1424000 | #Constraints: 54802
2473.26/2480.46 c #Conflicts: 1425000 | #Constraints: 55802
2473.26/2480.46 c #Conflicts: 1426000 | #Constraints: 56802
2473.26/2480.46 c #Conflicts: 1427000 | #Constraints: 57802
2473.26/2480.46 c #Conflicts: 1428000 | #Constraints: 58802
2473.26/2480.46 c #Conflicts: 1429000 | #Constraints: 59802
2473.26/2480.46 c #Conflicts: 1430000 | #Constraints: 60802
2473.26/2480.46 c #Conflicts: 1431000 | #Constraints: 61802
2473.26/2480.46 c #Conflicts: 1432000 | #Constraints: 62802
2473.26/2480.46 c INPROCESSING
2473.26/2480.46 c GARBAGE COLLECT
2473.26/2480.46 c rational objective 93.6003
2602.52/2610.07 c #Conflicts: 1433000 | #Constraints: 35786
2602.52/2610.07 c #Conflicts: 1434000 | #Constraints: 36786
2602.52/2610.07 c #Conflicts: 1435000 | #Constraints: 37786
2602.52/2610.07 c #Conflicts: 1436000 | #Constraints: 38786
2602.52/2610.07 c #Conflicts: 1437000 | #Constraints: 39786
2602.52/2610.07 c #Conflicts: 1438000 | #Constraints: 40786
2602.52/2610.07 c #Conflicts: 1439000 | #Constraints: 41786
2602.52/2610.07 c #Conflicts: 1440000 | #Constraints: 42786
2602.52/2610.07 c #Conflicts: 1441000 | #Constraints: 43786
2602.52/2610.07 c #Conflicts: 1442000 | #Constraints: 44786
2602.52/2610.07 c #Conflicts: 1443000 | #Constraints: 45786
2602.52/2610.07 c #Conflicts: 1444000 | #Constraints: 46786
2602.52/2610.07 c #Conflicts: 1445000 | #Constraints: 47786
2602.52/2610.07 c #Conflicts: 1446000 | #Constraints: 48786
2602.52/2610.07 c #Conflicts: 1447000 | #Constraints: 49786
2602.52/2610.07 c #Conflicts: 1448000 | #Constraints: 50786
2602.52/2610.07 c #Conflicts: 1449000 | #Constraints: 51786
2602.52/2610.07 c #Conflicts: 1450000 | #Constraints: 52786
2602.52/2610.07 c #Conflicts: 1451000 | #Constraints: 53786
2602.52/2610.07 c #Conflicts: 1452000 | #Constraints: 54786
2602.52/2610.08 c #Conflicts: 1453000 | #Constraints: 55786
2602.52/2610.08 c #Conflicts: 1454000 | #Constraints: 56786
2602.52/2610.08 c #Conflicts: 1455000 | #Constraints: 57786
2602.52/2610.08 c #Conflicts: 1456000 | #Constraints: 58786
2602.52/2610.08 c #Conflicts: 1457000 | #Constraints: 59786
2602.52/2610.08 c #Conflicts: 1458000 | #Constraints: 60786
2602.52/2610.08 c INPROCESSING
2602.52/2610.08 c GARBAGE COLLECT
2602.52/2610.08 c #Conflicts: 1459000 | #Constraints: 34649
2602.52/2610.08 c #Conflicts: 1460000 | #Constraints: 35649
2602.52/2610.08 c #Conflicts: 1461000 | #Constraints: 36649
2602.52/2610.08 c #Conflicts: 1462000 | #Constraints: 37649
2602.52/2610.08 c #Conflicts: 1463000 | #Constraints: 38649
2602.52/2610.08 c #Conflicts: 1464000 | #Constraints: 39649
2602.52/2610.08 c #Conflicts: 1465000 | #Constraints: 40649
2602.52/2610.08 c #Conflicts: 1466000 | #Constraints: 41649
2602.52/2610.08 c #Conflicts: 1467000 | #Constraints: 42649
2602.52/2610.08 c #Conflicts: 1468000 | #Constraints: 43649
2602.52/2610.08 c #Conflicts: 1469000 | #Constraints: 44649
2602.52/2610.08 c #Conflicts: 1470000 | #Constraints: 45650
2602.52/2610.08 c #Conflicts: 1471000 | #Constraints: 46650
2602.52/2610.08 c #Conflicts: 1472000 | #Constraints: 47650
2602.52/2610.08 c #Conflicts: 1473000 | #Constraints: 48650
2602.52/2610.08 c #Conflicts: 1474000 | #Constraints: 49650
2602.52/2610.08 c #Conflicts: 1475000 | #Constraints: 50650
2602.52/2610.08 c #Conflicts: 1476000 | #Constraints: 51650
2602.52/2610.08 c #Conflicts: 1477000 | #Constraints: 52650
2602.52/2610.08 c #Conflicts: 1478000 | #Constraints: 53650
2602.52/2610.08 c #Conflicts: 1479000 | #Constraints: 54650
2602.52/2610.08 c #Conflicts: 1480000 | #Constraints: 55650
2602.52/2610.08 c #Conflicts: 1481000 | #Constraints: 56650
2602.52/2610.08 c #Conflicts: 1482000 | #Constraints: 57650
2602.52/2610.08 c #Conflicts: 1483000 | #Constraints: 58650
2602.52/2610.08 c #Conflicts: 1484000 | #Constraints: 59650
2602.52/2610.08 c #Conflicts: 1485000 | #Constraints: 60650
2602.52/2610.08 c #Conflicts: 1486000 | #Constraints: 61650
2602.52/2610.08 c #Conflicts: 1487000 | #Constraints: 62650
2602.52/2610.08 c #Conflicts: 1488000 | #Constraints: 63650
2602.52/2610.08 c #Conflicts: 1489000 | #Constraints: 64650
2602.52/2610.08 c #Conflicts: 1490000 | #Constraints: 65650
2602.52/2610.08 c #Conflicts: 1491000 | #Constraints: 66650
2602.52/2610.08 c #Conflicts: 1492000 | #Constraints: 67650
2602.52/2610.08 c #Conflicts: 1493000 | #Constraints: 68650
2602.52/2610.08 c #Conflicts: 1494000 | #Constraints: 69650
2602.52/2610.08 c #Conflicts: 1495000 | #Constraints: 70650
2602.52/2610.08 c #Conflicts: 1496000 | #Constraints: 71650
2602.52/2610.08 c #Conflicts: 1497000 | #Constraints: 72650
2602.52/2610.08 c #Conflicts: 1498000 | #Constraints: 73650
2602.52/2610.08 c #Conflicts: 1499000 | #Constraints: 74650
2602.52/2610.08 c #Conflicts: 1500000 | #Constraints: 75650
2602.52/2610.08 c #Conflicts: 1501000 | #Constraints: 76651
2602.52/2610.08 c #Conflicts: 1502000 | #Constraints: 77651
2602.52/2610.08 c #Conflicts: 1503000 | #Constraints: 78651
2602.52/2610.08 c #Conflicts: 1504000 | #Constraints: 79651
2602.52/2610.08 c #Conflicts: 1505000 | #Constraints: 80651
2602.52/2610.08 c #Conflicts: 1506000 | #Constraints: 81651
2602.52/2610.08 c #Conflicts: 1507000 | #Constraints: 82651
2602.52/2610.08 c #Conflicts: 1508000 | #Constraints: 83651
2602.52/2610.08 c #Conflicts: 1509000 | #Constraints: 84651
2602.52/2610.08 c #Conflicts: 1510000 | #Constraints: 85651
2602.52/2610.08 c #Conflicts: 1511000 | #Constraints: 86651
2878.57/2886.91 c #Conflicts: 1512000 | #Constraints: 87651
2878.57/2886.91 c #Conflicts: 1513000 | #Constraints: 88651
2878.57/2886.91 c #Conflicts: 1514000 | #Constraints: 89651
2878.57/2886.91 c #Conflicts: 1515000 | #Constraints: 90651
2878.57/2886.91 c #Conflicts: 1516000 | #Constraints: 91651
2878.57/2886.91 c #Conflicts: 1517000 | #Constraints: 92651
2878.57/2886.91 c #Conflicts: 1518000 | #Constraints: 93651
2878.57/2886.91 c #Conflicts: 1519000 | #Constraints: 94651
2878.57/2886.91 c #Conflicts: 1520000 | #Constraints: 95651
2878.57/2886.91 c #Conflicts: 1521000 | #Constraints: 96651
2878.57/2886.91 c #Conflicts: 1522000 | #Constraints: 97651
2878.57/2886.91 c #Conflicts: 1523000 | #Constraints: 98651
2878.57/2886.91 c #Conflicts: 1524000 | #Constraints: 99651
2878.57/2886.91 c #Conflicts: 1525000 | #Constraints: 100651
2878.57/2886.91 c #Conflicts: 1526000 | #Constraints: 101651
2878.57/2886.91 c #Conflicts: 1527000 | #Constraints: 102651
2878.57/2886.91 c #Conflicts: 1528000 | #Constraints: 103651
2878.57/2886.91 c #Conflicts: 1529000 | #Constraints: 104651
2878.57/2886.91 c #Conflicts: 1530000 | #Constraints: 105651
2878.57/2886.91 c #Conflicts: 1531000 | #Constraints: 106651
2878.57/2886.91 c #Conflicts: 1532000 | #Constraints: 107651
2878.57/2886.91 c #Conflicts: 1533000 | #Constraints: 108651
2878.57/2886.91 c #Conflicts: 1534000 | #Constraints: 109651
2878.57/2886.91 c #Conflicts: 1535000 | #Constraints: 110651
2878.57/2886.91 c #Conflicts: 1536000 | #Constraints: 111651
2878.57/2886.91 c #Conflicts: 1537000 | #Constraints: 112651
2878.57/2886.91 c #Conflicts: 1538000 | #Constraints: 113651
2878.57/2886.91 c #Conflicts: 1539000 | #Constraints: 114651
2878.57/2886.91 c #Conflicts: 1540000 | #Constraints: 115651
2878.57/2886.91 c #Conflicts: 1541000 | #Constraints: 116651
2878.57/2886.91 c #Conflicts: 1542000 | #Constraints: 117651
2878.57/2886.91 c #Conflicts: 1543000 | #Constraints: 118651
2878.57/2886.91 c #Conflicts: 1544000 | #Constraints: 119651
2878.57/2886.91 c #Conflicts: 1545000 | #Constraints: 120651
2878.57/2886.91 c #Conflicts: 1546000 | #Constraints: 121651
2878.57/2886.91 c #Conflicts: 1547000 | #Constraints: 122651
2878.57/2886.91 c #Conflicts: 1548000 | #Constraints: 123651
2878.57/2886.91 c #Conflicts: 1549000 | #Constraints: 124651
2878.57/2886.91 c #Conflicts: 1550000 | #Constraints: 125651
2878.57/2886.91 c #Conflicts: 1551000 | #Constraints: 126651
2878.57/2886.91 c #Conflicts: 1552000 | #Constraints: 127651
2878.57/2886.91 c #Conflicts: 1553000 | #Constraints: 128651
2878.57/2886.91 c #Conflicts: 1554000 | #Constraints: 129651
2878.57/2886.91 c #Conflicts: 1555000 | #Constraints: 130651
2878.57/2886.91 c #Conflicts: 1556000 | #Constraints: 131651
2878.57/2886.91 c INPROCESSING
2878.57/2886.91 c GARBAGE COLLECT
2878.57/2886.91 c #Conflicts: 1557000 | #Constraints: 70154
2878.57/2886.91 c #Conflicts: 1558000 | #Constraints: 71154
2878.57/2886.91 c #Conflicts: 1559000 | #Constraints: 72154
2878.57/2886.91 c #Conflicts: 1560000 | #Constraints: 73154
2878.57/2886.91 c #Conflicts: 1561000 | #Constraints: 74154
2878.57/2886.91 c #Conflicts: 1562000 | #Constraints: 75154
2878.57/2886.91 c #Conflicts: 1563000 | #Constraints: 76154
2878.57/2886.91 c #Conflicts: 1564000 | #Constraints: 77154
2878.57/2886.91 c #Conflicts: 1565000 | #Constraints: 78154
2878.57/2886.91 c #Conflicts: 1566000 | #Constraints: 79154
2878.57/2886.91 c #Conflicts: 1567000 | #Constraints: 80154
2878.57/2886.91 c #Conflicts: 1568000 | #Constraints: 81154
2878.57/2886.91 c #Conflicts: 1569000 | #Constraints: 82154
2878.57/2886.91 c #Conflicts: 1570000 | #Constraints: 83154
2878.57/2886.91 c #Conflicts: 1571000 | #Constraints: 84154
2878.57/2886.91 c #Conflicts: 1572000 | #Constraints: 85154
2878.57/2886.91 c #Conflicts: 1573000 | #Constraints: 86154
2878.57/2886.91 c #Conflicts: 1574000 | #Constraints: 87154
2878.57/2886.91 c #Conflicts: 1575000 | #Constraints: 88154
2878.57/2886.91 c #Conflicts: 1576000 | #Constraints: 89154
2878.57/2886.91 c #Conflicts: 1577000 | #Constraints: 90154
2878.57/2886.91 c #Conflicts: 1578000 | #Constraints: 91154
2878.57/2886.91 c #Conflicts: 1579000 | #Constraints: 92154
2878.57/2886.91 c #Conflicts: 1580000 | #Constraints: 93154
2878.57/2886.91 c #Conflicts: 1581000 | #Constraints: 94154
2878.57/2886.91 c #Conflicts: 1582000 | #Constraints: 95154
2878.57/2886.91 c #Conflicts: 1583000 | #Constraints: 96154
2878.57/2886.91 c #Conflicts: 1584000 | #Constraints: 97154
2878.57/2886.91 c INPROCESSING
2878.57/2886.91 c GARBAGE COLLECT
2878.57/2886.91 c #Conflicts: 1585000 | #Constraints: 53081
2878.57/2886.91 c #Conflicts: 1586000 | #Constraints: 54081
2878.57/2886.91 c #Conflicts: 1587000 | #Constraints: 55081
2878.57/2886.91 c #Conflicts: 1588000 | #Constraints: 56081
2940.78/2949.37 c #Conflicts: 1589000 | #Constraints: 57081
2940.78/2949.37 c #Conflicts: 1590000 | #Constraints: 58081
2940.78/2949.37 c #Conflicts: 1591000 | #Constraints: 59081
2940.78/2949.37 c #Conflicts: 1592000 | #Constraints: 60081
2940.78/2949.37 c #Conflicts: 1593000 | #Constraints: 61081
2940.78/2949.37 c #Conflicts: 1594000 | #Constraints: 62081
2940.78/2949.37 c #Conflicts: 1595000 | #Constraints: 63081
2940.78/2949.37 c #Conflicts: 1596000 | #Constraints: 64081
2940.78/2949.37 c #Conflicts: 1597000 | #Constraints: 65081
2940.78/2949.37 c #Conflicts: 1598000 | #Constraints: 66081
2940.78/2949.37 c #Conflicts: 1599000 | #Constraints: 67081
2940.78/2949.37 c #Conflicts: 1600000 | #Constraints: 68081
2940.78/2949.37 c #Conflicts: 1601000 | #Constraints: 69081
2940.78/2949.37 c #Conflicts: 1602000 | #Constraints: 70081
2940.78/2949.37 c #Conflicts: 1603000 | #Constraints: 71081
2940.78/2949.37 c #Conflicts: 1604000 | #Constraints: 72081
2940.78/2949.37 c #Conflicts: 1605000 | #Constraints: 73081
2940.78/2949.37 c #Conflicts: 1606000 | #Constraints: 74081
2940.78/2949.37 c #Conflicts: 1607000 | #Constraints: 75081
2940.78/2949.37 c #Conflicts: 1608000 | #Constraints: 76081
2940.78/2949.37 c #Conflicts: 1609000 | #Constraints: 77081
2940.78/2949.37 c #Conflicts: 1610000 | #Constraints: 78081
2940.78/2949.37 c #Conflicts: 1611000 | #Constraints: 79081
2940.78/2949.37 c INPROCESSING
2940.78/2949.37 c GARBAGE COLLECT
2940.78/2949.37 c rational objective 93.7415
3070.61/3079.59 c #Conflicts: 1612000 | #Constraints: 43606
3070.61/3079.59 c #Conflicts: 1613000 | #Constraints: 44606
3070.61/3079.59 c #Conflicts: 1614000 | #Constraints: 45606
3070.61/3079.59 c #Conflicts: 1615000 | #Constraints: 46606
3070.61/3079.59 c #Conflicts: 1616000 | #Constraints: 47606
3070.61/3079.59 c #Conflicts: 1617000 | #Constraints: 48606
3070.61/3079.59 c #Conflicts: 1618000 | #Constraints: 49606
3070.61/3079.59 c #Conflicts: 1619000 | #Constraints: 50606
3070.61/3079.59 c #Conflicts: 1620000 | #Constraints: 51606
3070.61/3079.59 c #Conflicts: 1621000 | #Constraints: 52606
3070.61/3079.59 c #Conflicts: 1622000 | #Constraints: 53606
3070.61/3079.59 c #Conflicts: 1623000 | #Constraints: 54606
3070.61/3079.59 c #Conflicts: 1624000 | #Constraints: 55606
3070.61/3079.59 c #Conflicts: 1625000 | #Constraints: 56606
3070.61/3079.59 c #Conflicts: 1626000 | #Constraints: 57606
3070.61/3079.59 c #Conflicts: 1627000 | #Constraints: 58606
3070.61/3079.59 c #Conflicts: 1628000 | #Constraints: 59606
3070.61/3079.59 c #Conflicts: 1629000 | #Constraints: 60606
3070.61/3079.59 c #Conflicts: 1630000 | #Constraints: 61606
3070.61/3079.59 c #Conflicts: 1631000 | #Constraints: 62606
3070.61/3079.59 c #Conflicts: 1632000 | #Constraints: 63606
3070.61/3079.59 c #Conflicts: 1633000 | #Constraints: 64606
3070.61/3079.59 c #Conflicts: 1634000 | #Constraints: 65606
3070.61/3079.59 c #Conflicts: 1635000 | #Constraints: 66606
3070.61/3079.59 c #Conflicts: 1636000 | #Constraints: 67606
3070.61/3079.59 c #Conflicts: 1637000 | #Constraints: 68606
3070.61/3079.59 c #Conflicts: 1638000 | #Constraints: 69606
3070.61/3079.59 c #Conflicts: 1639000 | #Constraints: 70606
3070.61/3079.59 c #Conflicts: 1640000 | #Constraints: 71606
3070.61/3079.59 c INPROCESSING
3070.61/3079.59 c GARBAGE COLLECT
3070.61/3079.59 c #Conflicts: 1641000 | #Constraints: 40273
3070.61/3079.59 c #Conflicts: 1642000 | #Constraints: 41273
3070.61/3079.59 c #Conflicts: 1643000 | #Constraints: 42273
3070.61/3079.59 c #Conflicts: 1644000 | #Constraints: 43273
3070.61/3079.59 c #Conflicts: 1645000 | #Constraints: 44273
3070.61/3079.59 c #Conflicts: 1646000 | #Constraints: 45273
3070.61/3079.59 c #Conflicts: 1647000 | #Constraints: 46273
3070.61/3079.59 c #Conflicts: 1648000 | #Constraints: 47273
3070.61/3079.59 c #Conflicts: 1649000 | #Constraints: 48273
3070.61/3079.59 c #Conflicts: 1650000 | #Constraints: 49273
3070.61/3079.59 c #Conflicts: 1651000 | #Constraints: 50273
3070.61/3079.59 c #Conflicts: 1652000 | #Constraints: 51273
3070.61/3079.59 c #Conflicts: 1653000 | #Constraints: 52273
3070.61/3079.59 c #Conflicts: 1654000 | #Constraints: 53273
3070.61/3079.59 c #Conflicts: 1655000 | #Constraints: 54273
3070.61/3079.59 c #Conflicts: 1656000 | #Constraints: 55273
3070.61/3079.59 c #Conflicts: 1657000 | #Constraints: 56273
3070.61/3079.59 c #Conflicts: 1658000 | #Constraints: 57273
3070.61/3079.59 c #Conflicts: 1659000 | #Constraints: 58273
3070.61/3079.59 c #Conflicts: 1660000 | #Constraints: 59273
3070.61/3079.59 c #Conflicts: 1661000 | #Constraints: 60273
3070.61/3079.59 c #Conflicts: 1662000 | #Constraints: 61273
3070.61/3079.59 c #Conflicts: 1663000 | #Constraints: 62273
3070.61/3079.59 c #Conflicts: 1664000 | #Constraints: 63273
3070.61/3079.59 c #Conflicts: 1665000 | #Constraints: 64273
3070.61/3079.59 c #Conflicts: 1666000 | #Constraints: 65273
3070.61/3079.59 c #Conflicts: 1667000 | #Constraints: 66273
3070.61/3079.59 c #Conflicts: 1668000 | #Constraints: 67273
3070.61/3079.59 c INPROCESSING
3070.61/3079.59 c GARBAGE COLLECT
3070.61/3079.59 c #Conflicts: 1669000 | #Constraints: 37943
3070.61/3079.59 c #Conflicts: 1670000 | #Constraints: 38943
3070.61/3079.59 c #Conflicts: 1671000 | #Constraints: 39943
3070.61/3079.59 c #Conflicts: 1672000 | #Constraints: 40943
3070.61/3079.59 c #Conflicts: 1673000 | #Constraints: 41943
3070.61/3079.59 c #Conflicts: 1674000 | #Constraints: 42943
3070.61/3079.59 c #Conflicts: 1675000 | #Constraints: 43943
3070.61/3079.59 c #Conflicts: 1676000 | #Constraints: 44943
3070.61/3079.59 c #Conflicts: 1677000 | #Constraints: 45943
3070.61/3079.59 c #Conflicts: 1678000 | #Constraints: 46943
3070.61/3079.59 c #Conflicts: 1679000 | #Constraints: 47943
3070.61/3079.59 c #Conflicts: 1680000 | #Constraints: 48943
3070.61/3079.59 c #Conflicts: 1681000 | #Constraints: 49943
3070.61/3079.59 c #Conflicts: 1682000 | #Constraints: 50943
3070.61/3079.59 c #Conflicts: 1683000 | #Constraints: 51943
3070.61/3079.59 c #Conflicts: 1684000 | #Constraints: 52943
3070.61/3079.59 c #Conflicts: 1685000 | #Constraints: 53943
3070.61/3079.59 c #Conflicts: 1686000 | #Constraints: 54943
3070.61/3079.59 c #Conflicts: 1687000 | #Constraints: 55943
3070.61/3079.59 c #Conflicts: 1688000 | #Constraints: 56943
3070.61/3079.59 c #Conflicts: 1689000 | #Constraints: 57943
3251.42/3260.89 c #Conflicts: 1690000 | #Constraints: 58943
3251.42/3260.89 c #Conflicts: 1691000 | #Constraints: 59943
3251.42/3260.89 c #Conflicts: 1692000 | #Constraints: 60943
3251.42/3260.89 c #Conflicts: 1693000 | #Constraints: 61943
3251.42/3260.89 c #Conflicts: 1694000 | #Constraints: 62943
3251.42/3260.89 c #Conflicts: 1695000 | #Constraints: 63943
3251.42/3260.89 c #Conflicts: 1696000 | #Constraints: 64943
3251.42/3260.89 c INPROCESSING
3251.42/3260.89 c GARBAGE COLLECT
3251.42/3260.89 c #Conflicts: 1697000 | #Constraints: 36632
3251.42/3260.89 c #Conflicts: 1698000 | #Constraints: 37632
3251.42/3260.89 c #Conflicts: 1699000 | #Constraints: 38632
3251.42/3260.89 c #Conflicts: 1700000 | #Constraints: 39632
3251.42/3260.89 c #Conflicts: 1701000 | #Constraints: 40632
3251.42/3260.89 c #Conflicts: 1702000 | #Constraints: 41632
3251.42/3260.89 c #Conflicts: 1703000 | #Constraints: 42632
3251.42/3260.89 c #Conflicts: 1704000 | #Constraints: 43632
3251.42/3260.89 c #Conflicts: 1705000 | #Constraints: 44632
3251.42/3260.89 c #Conflicts: 1706000 | #Constraints: 45632
3251.42/3260.89 c #Conflicts: 1707000 | #Constraints: 46632
3251.42/3260.89 c #Conflicts: 1708000 | #Constraints: 47632
3251.42/3260.89 c #Conflicts: 1709000 | #Constraints: 48632
3251.42/3260.89 c #Conflicts: 1710000 | #Constraints: 49632
3251.42/3260.89 c #Conflicts: 1711000 | #Constraints: 50632
3251.42/3260.89 c #Conflicts: 1712000 | #Constraints: 51632
3251.42/3260.89 c #Conflicts: 1713000 | #Constraints: 52632
3251.42/3260.89 c #Conflicts: 1714000 | #Constraints: 53632
3251.42/3260.89 c #Conflicts: 1715000 | #Constraints: 54632
3251.42/3260.89 c #Conflicts: 1716000 | #Constraints: 55632
3251.42/3260.89 c #Conflicts: 1717000 | #Constraints: 56632
3251.42/3260.89 c #Conflicts: 1718000 | #Constraints: 57632
3251.42/3260.89 c #Conflicts: 1719000 | #Constraints: 58632
3251.42/3260.89 c #Conflicts: 1720000 | #Constraints: 59632
3251.42/3260.89 c #Conflicts: 1721000 | #Constraints: 60632
3251.42/3260.89 c #Conflicts: 1722000 | #Constraints: 61632
3251.42/3260.89 c #Conflicts: 1723000 | #Constraints: 62632
3251.42/3260.89 c #Conflicts: 1724000 | #Constraints: 63632
3251.42/3260.89 c #Conflicts: 1725000 | #Constraints: 64632
3251.42/3260.89 c #Conflicts: 1726000 | #Constraints: 65632
3251.42/3260.89 c #Conflicts: 1727000 | #Constraints: 66632
3251.42/3260.89 c #Conflicts: 1728000 | #Constraints: 67632
3251.42/3260.89 c #Conflicts: 1729000 | #Constraints: 68632
3251.42/3260.89 c #Conflicts: 1730000 | #Constraints: 69632
3251.42/3260.89 c #Conflicts: 1731000 | #Constraints: 70632
3251.42/3260.89 c #Conflicts: 1732000 | #Constraints: 71632
3251.42/3260.89 c #Conflicts: 1733000 | #Constraints: 72632
3251.42/3260.89 c #Conflicts: 1734000 | #Constraints: 73632
3251.42/3260.89 c #Conflicts: 1735000 | #Constraints: 74632
3251.42/3260.89 c #Conflicts: 1736000 | #Constraints: 75632
3251.42/3260.89 c #Conflicts: 1737000 | #Constraints: 76632
3251.42/3260.89 c #Conflicts: 1738000 | #Constraints: 77632
3251.42/3260.89 c #Conflicts: 1739000 | #Constraints: 78632
3251.42/3260.89 c #Conflicts: 1740000 | #Constraints: 79632
3251.42/3260.89 c #Conflicts: 1741000 | #Constraints: 80632
3251.42/3260.89 c #Conflicts: 1742000 | #Constraints: 81632
3251.42/3260.89 c #Conflicts: 1743000 | #Constraints: 82632
3251.42/3260.89 c #Conflicts: 1744000 | #Constraints: 83632
3251.42/3260.89 c #Conflicts: 1745000 | #Constraints: 84632
3251.42/3260.89 c #Conflicts: 1746000 | #Constraints: 85632
3251.42/3260.89 c #Conflicts: 1747000 | #Constraints: 86632
3251.42/3260.89 c #Conflicts: 1748000 | #Constraints: 87632
3251.42/3260.89 c #Conflicts: 1749000 | #Constraints: 88632
3251.42/3260.89 c #Conflicts: 1750000 | #Constraints: 89632
3251.42/3260.89 c #Conflicts: 1751000 | #Constraints: 90632
3251.42/3260.89 c #Conflicts: 1752000 | #Constraints: 91632
3251.42/3260.89 c #Conflicts: 1753000 | #Constraints: 92632
3251.42/3260.89 c #Conflicts: 1754000 | #Constraints: 93632
3251.42/3260.89 c #Conflicts: 1755000 | #Constraints: 94632
3251.42/3260.89 c #Conflicts: 1756000 | #Constraints: 95632
3251.42/3260.89 c #Conflicts: 1757000 | #Constraints: 96632
3251.42/3260.89 c #Conflicts: 1758000 | #Constraints: 97632
3251.42/3260.89 c #Conflicts: 1759000 | #Constraints: 98632
3251.42/3260.89 c #Conflicts: 1760000 | #Constraints: 99632
3251.42/3260.89 c #Conflicts: 1761000 | #Constraints: 100632
3251.42/3260.89 c #Conflicts: 1762000 | #Constraints: 101632
3251.42/3260.89 c #Conflicts: 1763000 | #Constraints: 102632
3251.42/3260.89 c #Conflicts: 1764000 | #Constraints: 103632
3251.42/3260.89 c #Conflicts: 1765000 | #Constraints: 104632
3251.42/3260.89 c #Conflicts: 1766000 | #Constraints: 105632
3251.42/3260.89 c #Conflicts: 1767000 | #Constraints: 106632
3569.05/3579.32 c #Conflicts: 1768000 | #Constraints: 107632
3569.05/3579.32 c #Conflicts: 1769000 | #Constraints: 108632
3569.05/3579.32 c #Conflicts: 1770000 | #Constraints: 109632
3569.05/3579.32 c #Conflicts: 1771000 | #Constraints: 110632
3569.05/3579.32 c #Conflicts: 1772000 | #Constraints: 111632
3569.05/3579.32 c #Conflicts: 1773000 | #Constraints: 112632
3569.05/3579.32 c #Conflicts: 1774000 | #Constraints: 113632
3569.05/3579.32 c #Conflicts: 1775000 | #Constraints: 114632
3569.05/3579.32 c #Conflicts: 1776000 | #Constraints: 115632
3569.05/3579.32 c #Conflicts: 1777000 | #Constraints: 116632
3569.05/3579.32 c #Conflicts: 1778000 | #Constraints: 117632
3569.05/3579.32 c #Conflicts: 1779000 | #Constraints: 118632
3569.05/3579.32 c #Conflicts: 1780000 | #Constraints: 119632
3569.05/3579.32 c #Conflicts: 1781000 | #Constraints: 120632
3569.05/3579.32 c #Conflicts: 1782000 | #Constraints: 121632
3569.05/3579.32 c #Conflicts: 1783000 | #Constraints: 122632
3569.05/3579.32 c #Conflicts: 1784000 | #Constraints: 123632
3569.05/3579.32 c #Conflicts: 1785000 | #Constraints: 124632
3569.05/3579.32 c #Conflicts: 1786000 | #Constraints: 125632
3569.05/3579.32 c #Conflicts: 1787000 | #Constraints: 126632
3569.05/3579.32 c #Conflicts: 1788000 | #Constraints: 127632
3569.05/3579.32 c #Conflicts: 1789000 | #Constraints: 128632
3569.05/3579.32 c #Conflicts: 1790000 | #Constraints: 129632
3569.05/3579.32 c #Conflicts: 1791000 | #Constraints: 130632
3569.05/3579.32 c #Conflicts: 1792000 | #Constraints: 131632
3569.05/3579.32 c #Conflicts: 1793000 | #Constraints: 132632
3569.05/3579.32 c #Conflicts: 1794000 | #Constraints: 133632
3569.05/3579.32 c #Conflicts: 1795000 | #Constraints: 134632
3569.05/3579.32 c #Conflicts: 1796000 | #Constraints: 135632
3569.05/3579.32 c #Conflicts: 1797000 | #Constraints: 136632
3569.05/3579.32 c #Conflicts: 1798000 | #Constraints: 137632
3569.05/3579.32 c #Conflicts: 1799000 | #Constraints: 138632
3569.05/3579.32 c #Conflicts: 1800000 | #Constraints: 139632
3569.05/3579.32 c #Conflicts: 1801000 | #Constraints: 140632
3569.05/3579.32 c #Conflicts: 1802000 | #Constraints: 141632
3569.05/3579.32 c INPROCESSING
3569.05/3579.32 c GARBAGE COLLECT
3569.05/3579.32 c #Conflicts: 1803000 | #Constraints: 75326
3569.05/3579.32 c #Conflicts: 1804000 | #Constraints: 76326
3569.05/3579.32 c #Conflicts: 1805000 | #Constraints: 77326
3569.05/3579.32 c #Conflicts: 1806000 | #Constraints: 78326
3569.05/3579.32 c #Conflicts: 1807000 | #Constraints: 79326
3569.05/3579.32 c #Conflicts: 1808000 | #Constraints: 80326
3569.05/3579.32 c #Conflicts: 1809000 | #Constraints: 81326
3569.05/3579.32 c #Conflicts: 1810000 | #Constraints: 82326
3569.05/3579.32 c #Conflicts: 1811000 | #Constraints: 83326
3569.05/3579.32 c #Conflicts: 1812000 | #Constraints: 84326
3569.05/3579.32 c #Conflicts: 1813000 | #Constraints: 85326
3569.05/3579.32 c #Conflicts: 1814000 | #Constraints: 86326
3569.05/3579.32 c #Conflicts: 1815000 | #Constraints: 87326
3569.05/3579.32 c #Conflicts: 1816000 | #Constraints: 88326
3569.05/3579.32 c #Conflicts: 1817000 | #Constraints: 89326
3569.05/3579.32 c #Conflicts: 1818000 | #Constraints: 90326
3569.05/3579.32 c #Conflicts: 1819000 | #Constraints: 91326
3569.05/3579.32 c #Conflicts: 1820000 | #Constraints: 92326
3569.05/3579.32 c #Conflicts: 1821000 | #Constraints: 93326
3569.05/3579.32 c #Conflicts: 1822000 | #Constraints: 94326
3569.05/3579.32 c #Conflicts: 1823000 | #Constraints: 95326
3569.05/3579.32 c #Conflicts: 1824000 | #Constraints: 96326
3569.05/3579.32 c #Conflicts: 1825000 | #Constraints: 97326
3569.05/3579.32 c #Conflicts: 1826000 | #Constraints: 98326
3569.05/3579.32 c #Conflicts: 1827000 | #Constraints: 99326
3569.05/3579.32 c #Conflicts: 1828000 | #Constraints: 100326
3569.05/3579.32 c #Conflicts: 1829000 | #Constraints: 101326
3569.05/3579.32 c #Conflicts: 1830000 | #Constraints: 102326
3569.05/3579.32 c #Conflicts: 1831000 | #Constraints: 103326
3569.05/3579.32 c INPROCESSING
3569.05/3579.32 c GARBAGE COLLECT
3569.05/3579.32 c #Conflicts: 1832000 | #Constraints: 55774
3569.05/3579.32 c #Conflicts: 1833000 | #Constraints: 56774
3569.05/3579.32 c #Conflicts: 1834000 | #Constraints: 57774
3569.05/3579.32 c #Conflicts: 1835000 | #Constraints: 58774
3569.05/3579.32 c #Conflicts: 1836000 | #Constraints: 59774
3569.05/3579.32 c #Conflicts: 1837000 | #Constraints: 60774
3569.05/3579.32 c #Conflicts: 1838000 | #Constraints: 61774
3569.05/3579.32 c #Conflicts: 1839000 | #Constraints: 62774
3569.05/3579.32 c #Conflicts: 1840000 | #Constraints: 63774
3569.05/3579.32 c #Conflicts: 1841000 | #Constraints: 64774
3569.05/3579.32 c #Conflicts: 1842000 | #Constraints: 65774
3569.05/3579.32 c #Conflicts: 1843000 | #Constraints: 66774
3569.05/3579.32 c #Conflicts: 1844000 | #Constraints: 67774
3569.05/3579.32 c #Conflicts: 1845000 | #Constraints: 68774
3600.07/3610.40 c #Conflicts: 1846000 | #Constraints: 69774
3600.07/3610.40 c #Conflicts: 1847000 | #Constraints: 70774
3600.07/3610.40 c #Conflicts: 1848000 | #Constraints: 71774
3600.07/3610.40 c #Conflicts: 1849000 | #Constraints: 72774
3600.07/3610.40 c #Conflicts: 1850000 | #Constraints: 73774
3600.07/3610.40 c #Conflicts: 1851000 | #Constraints: 74774
3600.07/3610.40 c #Conflicts: 1852000 | #Constraints: 75774
3600.07/3610.40 c #Conflicts: 1853000 | #Constraints: 76774
3600.07/3610.40 c #Conflicts: 1854000 | #Constraints: 77774
3600.07/3610.40 c #Conflicts: 1855000 | #Constraints: 78774
3600.07/3610.40 c #Conflicts: 1856000 | #Constraints: 79774
3600.07/3610.40 c #Conflicts: 1857000 | #Constraints: 80774
3600.07/3610.40 c #Conflicts: 1858000 | #Constraints: 81774
3600.07/3610.40 c cpu time 3582.99 s
3600.07/3610.40 c deterministic time 262172894595 2.62e+11
3600.07/3610.40 c optimization time 52.8603 s
3600.07/3610.40 c total solve time 3530.05 s
3600.07/3610.40 c core-guided solve time 0 s
3600.07/3610.40 c propagation time 1975.6 s
3600.07/3610.40 c conflict analysis time 1357.3 s
3600.07/3610.40 c propagations 936307650
3600.07/3610.40 c resolve steps 86323793
3600.07/3610.40 c decisions 12170767
3600.07/3610.40 c conflicts 1858568
3600.07/3610.40 c restarts 3580
3600.07/3610.40 c inprocessing phases 86
3600.07/3610.40 c garbage collections 86 ,( 100.00 )
3600.07/3610.40 c input clauses 6191 ,( 98.61 )
3600.07/3610.40 c input cardinalities 87 ,( 1.39 )
3600.07/3610.40 c input general constraints 0 ,( 0.00 )
3600.07/3610.40 c input average constraint length 6.13
3600.07/3610.40 c input average constraint degree 1.91
3600.07/3610.40 c learned clauses 1459494 ,( 78.53 )
3600.07/3610.40 c learned cardinalities 27569 ,( 1.48 )
3600.07/3610.40 c learned general constraints 371516 ,( 19.99 )
3600.07/3610.40 c learned average constraint length 693.78
3600.07/3610.40 c learned average constraint degree 9190500.48
3600.07/3610.40 c watched CF 32, 64, 128, Arb: 119926 , 0 , 0 , 0
3600.07/3610.40 c counting CF 32, 64, 128, Arb: 251590 , 0 , 0 , 0
3600.07/3610.40 c watched constraints 119926 ,( 32.28 )
3600.07/3610.40 c counting constraints 251590 ,( 67.72 )
3600.07/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1586098988 , 629738060 , 3405552845 ,( 138970041 , 3266582804 )
3600.07/3610.40 c gcd simplifications 910
3600.07/3610.40 c detected cardinalities 1708
3600.07/3610.40 c weakened non-implied lits 362473865
3600.07/3610.40 c weakened non-implying lits 220290
3600.07/3610.40 c original variables 5979
3600.07/3610.40 c clausal propagations 351950440
3600.07/3610.40 c cardinality propagations 349153399
3600.07/3610.40 c watched propagations 4602075
3600.07/3610.40 c counting propagations 224764405
3600.07/3610.40 c watch lookups 144229246016
3600.07/3610.40 c watch backjump lookups 0
3600.07/3610.40 c watch checks 40779451531
3600.07/3610.40 c propagation checks 70692677726
3600.07/3610.40 c constraint additions 4572273677
3600.07/3610.40 c trail pops 950332192
3600.07/3610.40 c formula constraints 6278
3600.07/3610.40 c learned constraints 1858561
3600.07/3610.40 c bound constraints 0
3600.07/3610.40 c core-guided constraints 0
3600.07/3610.40 c encountered formula constraints 51278380
3600.07/3610.40 c encountered learned constraints 36903292
3600.07/3610.40 c encountered bound constraints 0
3600.07/3610.40 c encountered core-guided constraints 0
3600.07/3610.40 c LP total time 211.543 s
3600.07/3610.40 c LP solve time 205.2 s
3600.07/3610.40 c LP constraints added 7014
3600.07/3610.40 c LP constraints removed 433
3600.07/3610.40 c LP pivots internal 189426
3600.07/3610.40 c LP pivots root 245609
3600.07/3610.40 c LP calls 29
3600.07/3610.40 c LP optimalities 14
3600.07/3610.40 c LP no pivot count 0
3600.07/3610.40 c LP infeasibilities 7
3600.07/3610.40 c LP valid Farkas constraints 6
3600.07/3610.40 c LP learned Farkas constraints 6
3600.07/3610.40 c LP basis resets 2
3600.07/3610.40 c LP cycling count 0
3600.07/3610.40 c LP singular count 1
3600.07/3610.40 c LP no primal count 0
3600.07/3610.40 c LP no farkas count 1
3600.07/3610.40 c LP other issue count 0
3600.07/3610.40 c LP Gomory cuts 6
3600.07/3610.40 c LP learned cuts 730
3600.07/3610.40 c LP deleted cuts 433
3600.07/3610.40 c LP encountered Gomory constraints 560
3600.07/3610.40 c LP encountered Farkas constraints 109
3600.07/3610.40 c LP encountered learned Farkas constraints 14
3600.07/3610.40 c CG auxiliary variables introduced 0
3600.07/3610.40 c CG solutions found 0
3600.07/3610.40 c CG cores constructed 0
3600.07/3610.40 c CG core cardinality constraints returned 0
3600.07/3610.40 c CG unit cores 0
3600.07/3610.40 c CG single cores 0
3600.07/3610.40 c CG blocks removed during cardinality reduction 0
3600.07/3610.40 c CG first core best 0
3600.07/3610.40 c CG decision core best 0
3600.07/3610.40 c CG core reduction tie 0
3600.07/3610.40 c CG core degree average 0.00
3600.07/3610.40 c CG core slack average 0.00
3600.07/3610.40 c CG core upper bound improvements 0
3600.07/3610.40 c STR number of successful calls 0
3600.07/3610.40 c STR number of unsuccessful calls 0
3600.07/3610.40 c STR number of inconclusive calls 0
3600.07/3610.40 c STR number of successful attempts 0
3600.07/3610.40 c STR number of unsuccessful attempts 0
3600.07/3610.40 c STR number of inconclusive attempts 0
3600.07/3610.40 c STR average degree increase per successful call inf
3600.07/3610.40 c STR average degree increase per successful attempt inf
3600.07/3610.40 c STR total number of conflicts for successful attempts 0
3600.07/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.40 c STR average number of conflicts per successful attempt inf
3600.07/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.40 c AVG.sumWPerc 59.83
3600.07/3610.40 c bigint constraints 0
3600.07/3610.40 s UNKNOWN
3600.07/3610.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62474 MiB free)
memory of node 1: 64465 MiB (62877 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507484-1751184509/watcher-4507484-1751184509 -o /tmp/evaluation-result-4507484-1751184509/solver-4507484-1751184509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19243 --watchdog 3760 run-dec-break.sh HOME/instance-4507484-1751184509.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19500, runsolver pid=19497
[startup+0.100066 s]*
/proc/loadavg: 4.15 4.14 3.96 5/255 19503
/proc/meminfo: memFree=128360660/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=56796 memory=9984 CPUtime=0 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 701 0 0 0 0 0 0 0 20 0 1 0 34129634 58159104 2496 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 14199 2496 1984 1147 0 1626 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 12928 KiB
[startup+0.213943 s]*
/proc/loadavg: 4.15 4.14 3.96 5/255 19503
/proc/meminfo: memFree=128360916/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=66752 memory=20528 CPUtime=0.1 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 3644 0 0 0 8 2 0 0 20 0 1 0 34129634 68354048 5132 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 16688 5132 2240 1147 0 4115 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 70944 KiB
Current children cumulated memory: 23472 KiB
[startup+0.313645 s]*
/proc/loadavg: 4.15 4.14 3.96 5/255 19503
/proc/meminfo: memFree=128360916/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=72960 memory=25500 CPUtime=0.19 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 4942 0 0 0 16 3 0 0 20 0 1 0 34129634 74711040 6375 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 18240 6375 2272 1147 0 5667 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 77152 KiB
Current children cumulated memory: 28444 KiB
[startup+0.700382 s]
/proc/loadavg: 4.15 4.14 3.96 5/255 19503
/proc/meminfo: memFree=128360916/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=73292 memory=26012 CPUtime=0.55 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 5084 0 0 0 51 4 0 0 20 0 1 0 34129634 75051008 6503 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 18323 6503 2272 1147 0 5750 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 77484 KiB
Current children cumulated memory: 28956 KiB
[startup+1.50042 s]
/proc/loadavg: 4.15 4.14 3.96 5/255 19503
/proc/meminfo: memFree=128360936/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=73488 memory=26268 CPUtime=1.34 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 5152 0 0 0 130 4 0 0 20 0 1 0 34129634 75251712 6567 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 18372 6567 2272 1147 0 5799 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 77680 KiB
Current children cumulated memory: 29212 KiB
[startup+3.11313 s]
/proc/loadavg: 4.13 4.13 3.96 5/255 19503
/proc/meminfo: memFree=128353472/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=77916 memory=34716 CPUtime=2.94 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 6697 0 0 0 287 7 0 0 20 0 1 0 34129634 79785984 8679 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 19479 8679 2336 1147 0 6906 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 82108 KiB
Current children cumulated memory: 37660 KiB
[startup+6.30043 s]
/proc/loadavg: 4.13 4.13 3.96 5/255 19503
/proc/meminfo: memFree=128341328/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=83856 memory=40264 CPUtime=6.12 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 7577 0 0 0 598 14 0 0 20 0 1 0 34129634 85868544 10066 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 20964 10066 2336 1147 0 8391 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 88048 KiB
Current children cumulated memory: 43208 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.13 3.96 5/255 19503
/proc/meminfo: memFree=128334404/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=93260 memory=48484 CPUtime=12.5 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 9124 0 0 0 1226 24 0 0 20 0 1 0 34129634 95498240 12121 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 23315 12121 2336 1147 0 10742 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 97452 KiB
Current children cumulated memory: 51428 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.12 3.96 5/256 19505
/proc/meminfo: memFree=128322224/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=97668 memory=53732 CPUtime=25.27 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 10441 0 0 0 2477 50 0 0 20 0 1 0 34129634 100012032 13433 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 24417 13433 2336 1147 0 11844 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 101860 KiB
Current children cumulated memory: 56676 KiB
[startup+51.1134 s]
/proc/loadavg: 4.06 4.11 3.96 5/256 19505
/proc/meminfo: memFree=128296348/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=131424 memory=84212 CPUtime=50.81 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 14982 0 0 0 4992 89 0 0 20 0 1 0 34129634 134578176 21053 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 32856 21053 2336 1147 0 20283 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 135616 KiB
Current children cumulated memory: 87156 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 3.97 5/257 19510
/proc/meminfo: memFree=128265788/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=166708 memory=113492 CPUtime=101.86 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 19259 0 0 0 10037 149 0 0 20 0 1 0 34129634 170708992 28373 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 41677 28373 2336 1147 0 29104 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 170900 KiB
Current children cumulated memory: 116436 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 3.98 5/257 19513
/proc/meminfo: memFree=128200536/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=212228 memory=159788 CPUtime=161.69 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 23182 0 0 0 15958 211 0 0 20 0 1 0 34129634 217321472 39947 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 53057 39947 2336 1147 0 40484 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 216420 KiB
Current children cumulated memory: 162732 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.00 5/255 19515
/proc/meminfo: memFree=128122376/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=291984 memory=240040 CPUtime=221.53 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 30427 0 0 0 21904 249 0 0 20 0 1 0 34129634 298991616 60010 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 72996 60010 2368 1147 0 60423 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/19503/statm: 230865 204813 2432 1147 0 218292 0
Current children cumulated CPU time: 3033.5 s
Current children cumulated vsize: 927652 KiB
Current children cumulated memory: 822196 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 20162
/proc/meminfo: memFree=128690356/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=925808 memory=821684 CPUtime=3093.29 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 74802 0 0 0 307768 1561 0 0 20 0 1 0 34129634 948027392 205421 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 231452 205421 2432 1147 0 218879 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 930000 KiB
Current children cumulated memory: 824628 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 20175
/proc/meminfo: memFree=128686268/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=925808 memory=821684 CPUtime=3153.13 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 74802 0 0 0 313728 1585 0 0 20 0 1 0 34129634 948027392 205421 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 231452 205421 2432 1147 0 218879 0
Current children cumulated CPU time: 3153.18 s
Current children cumulated vsize: 930000 KiB
Current children cumulated memory: 824628 KiB
[startup+3222.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/254 20179
/proc/meminfo: memFree=128672776/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=925808 memory=821684 CPUtime=3212.98 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 74802 0 0 0 319699 1599 0 0 20 0 1 0 34129634 948027392 205421 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 231452 205421 2432 1147 0 218879 0
Current children cumulated CPU time: 3213.03 s
Current children cumulated vsize: 930000 KiB
Current children cumulated memory: 824628 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/253 20181
/proc/meminfo: memFree=128650092/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=925808 memory=821684 CPUtime=3272.81 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 74802 0 0 0 325669 1612 0 0 20 0 1 0 34129634 948027392 205421 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 231452 205421 2432 1147 0 218879 0
Current children cumulated CPU time: 3272.86 s
Current children cumulated vsize: 930000 KiB
Current children cumulated memory: 824628 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/253 20182
/proc/meminfo: memFree=128639492/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=925808 memory=821684 CPUtime=3332.65 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 74802 0 0 0 331643 1622 0 0 20 0 1 0 34129634 948027392 205421 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 231452 205421 2432 1147 0 218879 0
Current children cumulated CPU time: 3332.7 s
Current children cumulated vsize: 930000 KiB
Current children cumulated memory: 824628 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 20190
/proc/meminfo: memFree=128628424/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=934128 memory=826548 CPUtime=3392.48 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 76027 0 0 0 337615 1633 0 0 20 0 1 0 34129634 956547072 206637 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 233532 206637 2432 1147 0 220959 0
Current children cumulated CPU time: 3392.53 s
Current children cumulated vsize: 938320 KiB
Current children cumulated memory: 829492 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 20193
/proc/meminfo: memFree=128591464/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=942784 memory=832564 CPUtime=3452.32 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 77550 0 0 0 343585 1647 0 0 20 0 1 0 34129634 965410816 208141 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 235696 208141 2432 1147 0 223123 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 946976 KiB
Current children cumulated memory: 835508 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 20195
/proc/meminfo: memFree=128550404/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=942784 memory=832820 CPUtime=3512.16 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 77606 0 0 0 349554 1662 0 0 20 0 1 0 34129634 965410816 208205 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 235696 208205 2432 1147 0 223123 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 946976 KiB
Current children cumulated memory: 835764 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 20197
/proc/meminfo: memFree=128514956/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=942784 memory=832820 CPUtime=3571.99 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 77648 0 0 0 355503 1696 0 0 20 0 1 0 34129634 965410816 208205 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 235696 208205 2432 1147 0 223123 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 946976 KiB
Current children cumulated memory: 835764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 20199
/proc/meminfo: memFree=128506632/131382120 swapFree=33010684/33010684
[pid=19500] ppid=19497 vsize=4192 memory=2944 CPUtime=0.05 cores=0,2
/proc/19500/stat : 19500 (run-dec-break.s) S 19497 19500 19233 0 -1 4194304 235 4234 0 0 0 0 4 1 20 0 1 0 34129626 4292608 736 18446744073709551615 94332895244288 94332896138821 140731370494544 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94332896377872 94332896425616 94332917633024 140731370502497 140731370502626 140731370502626 140731370508228 0
/proc/19500/statm: 1048 736 672 219 0 110 0
[pid=19503] ppid=19500 vsize=942784 memory=832820 CPUtime=3600.02 cores=0,2
/proc/19503/stat : 19503 (roundingsat) R 19500 19500 19233 0 -1 4194304 77682 0 0 0 358298 1704 0 0 20 0 1 0 34129634 965410816 208205 18446744073709551615 4227072 8923433 140721943035440 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38006784 140721943042372 140721943042600 140721943042600 140721943048170 0
/proc/19503/statm: 235696 208205 2432 1147 0 223123 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 946976 KiB
Current children cumulated memory: 835764 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.41 s]
# the end of solver process 19500 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.046317 s, system=0.024354 s
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 19503 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.04 s, system=17.0695 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.41
CPU time (s): 3600.11
CPU user time (s): 3583.04
CPU system time (s): 17.0695
CPU usage (%): 99.7147
Max. virtual memory (cumulated for all children) (KiB): 946976
Max. memory (cumulated for all children) (KiB): 835764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.04
system time used= 17.0695
maximum resident set size= 833076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82170
page faults= 0
swaps= 0
block input operations= 0
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 370
involuntary context switches= 8034
# summary of solver processes directly reported to runsolver:
# pid: 19500,19503
# total CPU time (s): 3600.11
# total CPU user time (s): 3583.04
# total CPU system time (s): 17.0695
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0811 second user time and 38.6142 second system time
The end
Begin job on nodeC003 at 2025-06-29 10:08:29
IDJOB=4507484
IDBENCH=158355
IDSOLVER=3357
FILE ID=nodeC003/4507484-1751184509
RUNJOBID= nodeC003-1751182666-19243
SLURM_JOB_ID= 9587560
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K87.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507484-1751184509/watcher-4507484-1751184509 -o /tmp/evaluation-result-4507484-1751184509/solver-4507484-1751184509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19243 --watchdog 3760 run-dec-break.sh HOME/instance-4507484-1751184509.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b65f6b5f7cc62b44e438e625661039cb
RANDOM SEED=43644299
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.596
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.254
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.162
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.568
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.695
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.228
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.477
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.133
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128360836 kB
MemAvailable: 128171740 kB
Buffers: 3280 kB
Cached: 621544 kB
SwapCached: 0 kB
Active: 2045204 kB
Inactive: 408332 kB
Active(anon): 1846672 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 408332 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7760 kB
Writeback: 0 kB
AnonPages: 1830980 kB
Mapped: 115620 kB
Shmem: 17960 kB
KReclaimable: 87336 kB
Slab: 168412 kB
SReclaimable: 87336 kB
SUnreclaim: 81076 kB
KernelStack: 4096 kB
PageTables: 6796 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2585324 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 933888 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC003 at 2025-06-29 11:08:40