0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4542077-1753211687.opb'
0.00/0.02 c read 0.20MB (3.47ms)
0.00/0.02 c [cnf: #variables 4482 #clauses 6670 #duplicates 0 #arr 19062]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 0] (5.39ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c (0.74ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 24491 #edges 64802]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 1.00*10^0 #generators 0] (1.25ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 0 #add_vars 0]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4542077-1753211687.opb.pre'
0.00/0.03 c wrote 0.21MB (0.57ms)
0.00/0.03 c ------------------------------------------------------------------
0.00/0.03 c 5.39ms 44.91% approx_orbits
0.00/0.03 c 3.47ms 28.94% parse
0.00/0.03 c 1.25ms 10.45% detect_generic
0.00/0.03 c 0.74ms 6.14% detect_special
0.00/0.03 c 0.57ms 4.78% output
0.00/0.03 c 0.43ms 3.61% other
0.00/0.03 c 0.14ms 1.17% finalize_order
0.00/0.03 c ───────────────────────────────────────────────
0.00/0.03 c 12.00ms 100% total
0.00/0.03 c ------------------------------------------------------------------
0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 63f22ad
0.00/0.08 c #variables 4482 #constraints 8965
0.00/0.09 c rational objective 0
106.59/106.97 c #Conflicts: 1000 | #Constraints: 9965
106.59/106.97 c #Conflicts: 2000 | #Constraints: 10965
106.59/106.97 c INPROCESSING
106.59/106.97 c GARBAGE COLLECT
106.59/106.97 c #Conflicts: 3000 | #Constraints: 10987
106.59/106.97 c #Conflicts: 4000 | #Constraints: 11987
106.59/106.97 c INPROCESSING
106.59/106.97 c GARBAGE COLLECT
106.59/106.97 c #Conflicts: 5000 | #Constraints: 11423
106.59/106.97 c #Conflicts: 6000 | #Constraints: 12423
106.59/106.97 c INPROCESSING
106.59/106.97 c GARBAGE COLLECT
106.59/106.97 c #Conflicts: 7000 | #Constraints: 11447
106.59/106.97 c #Conflicts: 8000 | #Constraints: 12447
106.59/106.97 c #Conflicts: 9000 | #Constraints: 13447
106.59/106.97 c INPROCESSING
106.59/106.97 c GARBAGE COLLECT
106.59/106.97 c #Conflicts: 10000 | #Constraints: 12161
106.59/106.97 c #Conflicts: 11000 | #Constraints: 13161
106.59/106.97 c #Conflicts: 12000 | #Constraints: 14161
106.59/106.97 c INPROCESSING
106.59/106.97 c GARBAGE COLLECT
106.59/106.97 c #Conflicts: 13000 | #Constraints: 12638
106.59/106.97 c #Conflicts: 14000 | #Constraints: 13638
106.59/106.97 c #Conflicts: 15000 | #Constraints: 14638
106.59/106.97 c INPROCESSING
106.59/106.97 c GARBAGE COLLECT
106.59/106.97 c #Conflicts: 16000 | #Constraints: 12886
106.59/106.97 c #Conflicts: 17000 | #Constraints: 13886
106.59/106.97 c #Conflicts: 18000 | #Constraints: 14886
106.59/106.97 c INPROCESSING
106.59/106.97 c GARBAGE COLLECT
106.59/106.97 c #Conflicts: 19000 | #Constraints: 12911
106.59/106.97 c #Conflicts: 20000 | #Constraints: 13911
106.59/106.97 c #Conflicts: 21000 | #Constraints: 14911
106.59/106.97 c INPROCESSING
106.59/106.97 c GARBAGE COLLECT
106.59/106.97 c #Conflicts: 22000 | #Constraints: 12742
106.59/106.97 c #Conflicts: 23000 | #Constraints: 13742
106.59/106.97 c #Conflicts: 24000 | #Constraints: 14742
106.59/106.97 c #Conflicts: 25000 | #Constraints: 15742
106.59/106.97 c INPROCESSING
106.59/106.97 c GARBAGE COLLECT
106.59/106.97 c #Conflicts: 26000 | #Constraints: 13367
106.59/106.97 c #Conflicts: 27000 | #Constraints: 14367
106.59/106.97 c #Conflicts: 28000 | #Constraints: 15367
106.59/106.97 c #Conflicts: 29000 | #Constraints: 16367
106.59/106.97 c INPROCESSING
106.59/106.97 c GARBAGE COLLECT
106.59/106.97 c #Conflicts: 30000 | #Constraints: 13771
106.59/106.97 c #Conflicts: 31000 | #Constraints: 14771
106.59/106.97 c #Conflicts: 32000 | #Constraints: 15771
106.59/106.97 c #Conflicts: 33000 | #Constraints: 16771
106.59/106.97 c #Conflicts: 34000 | #Constraints: 17771
106.59/106.97 c #Conflicts: 35000 | #Constraints: 18771
106.59/106.97 c #Conflicts: 36000 | #Constraints: 19771
106.59/106.97 c #Conflicts: 37000 | #Constraints: 20771
106.59/106.97 c #Conflicts: 38000 | #Constraints: 21771
106.59/106.97 c #Conflicts: 39000 | #Constraints: 22771
106.59/106.97 c #Conflicts: 40000 | #Constraints: 23771
106.59/106.97 c #Conflicts: 41000 | #Constraints: 24771
106.59/106.97 c #Conflicts: 42000 | #Constraints: 25771
106.59/106.97 c INPROCESSING
106.59/106.97 c GARBAGE COLLECT
106.59/106.97 c #Conflicts: 43000 | #Constraints: 18079
106.59/106.97 c #Conflicts: 44000 | #Constraints: 19079
106.59/106.97 c #Conflicts: 45000 | #Constraints: 20079
106.59/106.97 c #Conflicts: 46000 | #Constraints: 21079
106.59/106.97 c #Conflicts: 47000 | #Constraints: 22079
106.59/106.97 c #Conflicts: 48000 | #Constraints: 23079
106.59/106.97 c INPROCESSING
106.59/106.97 c GARBAGE COLLECT
106.59/106.97 c #Conflicts: 49000 | #Constraints: 17177
106.59/106.97 c #Conflicts: 50000 | #Constraints: 18177
106.59/106.97 c #Conflicts: 51000 | #Constraints: 19177
106.59/106.97 c #Conflicts: 52000 | #Constraints: 20177
106.59/106.97 c #Conflicts: 53000 | #Constraints: 21177
106.59/106.97 c INPROCESSING
106.59/106.97 c GARBAGE COLLECT
106.59/106.97 c #Conflicts: 54000 | #Constraints: 16089
106.59/106.97 c #Conflicts: 55000 | #Constraints: 17089
106.59/106.97 c #Conflicts: 56000 | #Constraints: 18089
106.59/106.97 c #Conflicts: 57000 | #Constraints: 19089
106.59/106.97 c #Conflicts: 58000 | #Constraints: 20089
106.59/106.97 c INPROCESSING
106.59/106.97 c GARBAGE COLLECT
106.59/106.97 c #Conflicts: 59000 | #Constraints: 15315
106.59/106.97 c #Conflicts: 60000 | #Constraints: 16315
106.59/106.97 c #Conflicts: 61000 | #Constraints: 17315
106.59/106.97 c #Conflicts: 62000 | #Constraints: 18315
106.59/106.97 c #Conflicts: 63000 | #Constraints: 19315
106.59/106.97 c #Conflicts: 64000 | #Constraints: 20315
106.59/106.97 c #Conflicts: 65000 | #Constraints: 21315
106.59/106.97 c #Conflicts: 66000 | #Constraints: 22315
106.59/106.97 c #Conflicts: 67000 | #Constraints: 23315
106.59/106.97 c #Conflicts: 68000 | #Constraints: 24315
106.59/106.97 c #Conflicts: 69000 | #Constraints: 25315
106.59/106.97 c #Conflicts: 70000 | #Constraints: 26315
119.56/119.97 c #Conflicts: 71000 | #Constraints: 27315
119.56/119.97 c #Conflicts: 72000 | #Constraints: 28315
119.56/119.97 c #Conflicts: 73000 | #Constraints: 29315
119.56/119.97 c #Conflicts: 74000 | #Constraints: 30315
119.56/119.97 c #Conflicts: 75000 | #Constraints: 31315
119.56/119.97 c #Conflicts: 76000 | #Constraints: 32315
119.56/119.97 c #Conflicts: 77000 | #Constraints: 33315
119.56/119.97 c #Conflicts: 78000 | #Constraints: 34315
119.56/119.97 c INPROCESSING
119.56/119.97 c GARBAGE COLLECT
119.56/119.97 c rational objective 0
251.47/252.13 c #Conflicts: 79000 | #Constraints: 22885
251.47/252.13 c #Conflicts: 80000 | #Constraints: 23885
251.47/252.13 c #Conflicts: 81000 | #Constraints: 24885
251.47/252.13 c #Conflicts: 82000 | #Constraints: 25885
251.47/252.13 c #Conflicts: 83000 | #Constraints: 26885
251.47/252.13 c #Conflicts: 84000 | #Constraints: 27885
251.47/252.13 c INPROCESSING
251.47/252.13 c GARBAGE COLLECT
251.47/252.13 c #Conflicts: 85000 | #Constraints: 19301
251.47/252.13 c #Conflicts: 86000 | #Constraints: 20301
251.47/252.13 c #Conflicts: 87000 | #Constraints: 21301
251.47/252.13 c #Conflicts: 88000 | #Constraints: 22301
251.47/252.13 c #Conflicts: 89000 | #Constraints: 23301
251.47/252.13 c #Conflicts: 90000 | #Constraints: 24301
251.47/252.13 c #Conflicts: 91000 | #Constraints: 25301
251.47/252.13 c INPROCESSING
251.47/252.13 c GARBAGE COLLECT
251.47/252.13 c #Conflicts: 92000 | #Constraints: 17988
251.47/252.13 c #Conflicts: 93000 | #Constraints: 18988
251.47/252.13 c #Conflicts: 94000 | #Constraints: 19988
251.47/252.13 c #Conflicts: 95000 | #Constraints: 20988
251.47/252.13 c #Conflicts: 96000 | #Constraints: 21988
251.47/252.13 c #Conflicts: 97000 | #Constraints: 22988
251.47/252.13 c #Conflicts: 98000 | #Constraints: 23988
251.47/252.13 c #Conflicts: 99000 | #Constraints: 24988
251.47/252.13 c #Conflicts: 100000 | #Constraints: 25988
251.47/252.13 c #Conflicts: 101000 | #Constraints: 26988
251.47/252.13 c #Conflicts: 102000 | #Constraints: 27988
251.47/252.13 c #Conflicts: 103000 | #Constraints: 28988
251.47/252.13 c #Conflicts: 104000 | #Constraints: 29988
251.47/252.13 c #Conflicts: 105000 | #Constraints: 30988
251.47/252.13 c #Conflicts: 106000 | #Constraints: 31988
251.47/252.13 c #Conflicts: 107000 | #Constraints: 32988
251.47/252.13 c #Conflicts: 108000 | #Constraints: 33988
251.47/252.13 c #Conflicts: 109000 | #Constraints: 34988
251.47/252.13 c #Conflicts: 110000 | #Constraints: 35988
251.47/252.13 c #Conflicts: 111000 | #Constraints: 36988
251.47/252.13 c #Conflicts: 112000 | #Constraints: 37988
251.47/252.13 c #Conflicts: 113000 | #Constraints: 38988
251.47/252.13 c #Conflicts: 114000 | #Constraints: 39988
251.47/252.13 c #Conflicts: 115000 | #Constraints: 40988
251.47/252.13 c INPROCESSING
251.47/252.13 c GARBAGE COLLECT
251.47/252.13 c #Conflicts: 116000 | #Constraints: 26145
251.47/252.13 c #Conflicts: 117000 | #Constraints: 27145
251.47/252.13 c #Conflicts: 118000 | #Constraints: 28145
251.47/252.13 c #Conflicts: 119000 | #Constraints: 29145
251.47/252.13 c #Conflicts: 120000 | #Constraints: 30145
251.47/252.13 c #Conflicts: 121000 | #Constraints: 31145
251.47/252.13 c #Conflicts: 122000 | #Constraints: 32145
251.47/252.13 c #Conflicts: 123000 | #Constraints: 33145
251.47/252.13 c INPROCESSING
251.47/252.13 c GARBAGE COLLECT
251.47/252.13 c #Conflicts: 124000 | #Constraints: 22069
251.47/252.13 c #Conflicts: 125000 | #Constraints: 23069
251.47/252.13 c #Conflicts: 126000 | #Constraints: 24069
251.47/252.13 c #Conflicts: 127000 | #Constraints: 25069
251.47/252.13 c #Conflicts: 128000 | #Constraints: 26069
251.47/252.13 c #Conflicts: 129000 | #Constraints: 27069
251.47/252.13 c #Conflicts: 130000 | #Constraints: 28069
251.47/252.13 c #Conflicts: 131000 | #Constraints: 29069
251.47/252.13 c #Conflicts: 132000 | #Constraints: 30069
251.47/252.13 c INPROCESSING
251.47/252.13 c GARBAGE COLLECT
251.47/252.13 c #Conflicts: 133000 | #Constraints: 20807
251.47/252.13 c #Conflicts: 134000 | #Constraints: 21807
251.47/252.13 c #Conflicts: 135000 | #Constraints: 22807
251.47/252.13 c #Conflicts: 136000 | #Constraints: 23807
251.47/252.13 c #Conflicts: 137000 | #Constraints: 24807
251.47/252.13 c #Conflicts: 138000 | #Constraints: 25807
251.47/252.13 c #Conflicts: 139000 | #Constraints: 26807
251.47/252.13 c #Conflicts: 140000 | #Constraints: 27807
251.47/252.13 c #Conflicts: 141000 | #Constraints: 28807
251.47/252.13 c #Conflicts: 142000 | #Constraints: 29807
251.47/252.13 c #Conflicts: 143000 | #Constraints: 30807
251.47/252.13 c #Conflicts: 144000 | #Constraints: 31807
251.47/252.13 c #Conflicts: 145000 | #Constraints: 32807
251.47/252.13 c #Conflicts: 146000 | #Constraints: 33807
251.47/252.13 c #Conflicts: 147000 | #Constraints: 34807
251.47/252.13 c #Conflicts: 148000 | #Constraints: 35807
251.47/252.13 c #Conflicts: 149000 | #Constraints: 36807
251.47/252.13 c #Conflicts: 150000 | #Constraints: 37807
251.47/252.13 c #Conflicts: 151000 | #Constraints: 38807
251.47/252.13 c #Conflicts: 152000 | #Constraints: 39807
251.47/252.13 c #Conflicts: 153000 | #Constraints: 40807
251.47/252.13 c #Conflicts: 154000 | #Constraints: 41807
379.26/380.29 c #Conflicts: 155000 | #Constraints: 42807
379.26/380.29 c #Conflicts: 156000 | #Constraints: 43807
379.26/380.29 c #Conflicts: 157000 | #Constraints: 44807
379.26/380.29 c #Conflicts: 158000 | #Constraints: 45807
379.26/380.29 c #Conflicts: 159000 | #Constraints: 46807
379.26/380.29 c INPROCESSING
379.26/380.29 c GARBAGE COLLECT
379.26/380.29 c #Conflicts: 160000 | #Constraints: 28867
379.26/380.29 c #Conflicts: 161000 | #Constraints: 29867
379.26/380.29 c #Conflicts: 162000 | #Constraints: 30867
379.26/380.29 c #Conflicts: 163000 | #Constraints: 31867
379.26/380.29 c #Conflicts: 164000 | #Constraints: 32867
379.26/380.29 c #Conflicts: 165000 | #Constraints: 33867
379.26/380.29 c #Conflicts: 166000 | #Constraints: 34867
379.26/380.29 c #Conflicts: 167000 | #Constraints: 35867
379.26/380.29 c #Conflicts: 168000 | #Constraints: 36867
379.26/380.29 c #Conflicts: 169000 | #Constraints: 37867
379.26/380.29 c INPROCESSING
379.26/380.29 c GARBAGE COLLECT
379.26/380.29 c #Conflicts: 170000 | #Constraints: 24521
379.26/380.29 c #Conflicts: 171000 | #Constraints: 25521
379.26/380.29 c #Conflicts: 172000 | #Constraints: 26521
379.26/380.29 c #Conflicts: 173000 | #Constraints: 27521
379.26/380.29 c #Conflicts: 174000 | #Constraints: 28521
379.26/380.29 c #Conflicts: 175000 | #Constraints: 29521
379.26/380.29 c #Conflicts: 176000 | #Constraints: 30521
379.26/380.29 c #Conflicts: 177000 | #Constraints: 31521
379.26/380.29 c #Conflicts: 178000 | #Constraints: 32521
379.26/380.29 c #Conflicts: 179000 | #Constraints: 33521
379.26/380.29 c INPROCESSING
379.26/380.29 c GARBAGE COLLECT
379.26/380.29 c #Conflicts: 180000 | #Constraints: 22377
379.26/380.29 c #Conflicts: 181000 | #Constraints: 23377
379.26/380.29 c #Conflicts: 182000 | #Constraints: 24377
379.26/380.29 c #Conflicts: 183000 | #Constraints: 25377
379.26/380.29 c #Conflicts: 184000 | #Constraints: 26377
379.26/380.29 c #Conflicts: 185000 | #Constraints: 27377
379.26/380.29 c #Conflicts: 186000 | #Constraints: 28377
379.26/380.29 c #Conflicts: 187000 | #Constraints: 29377
379.26/380.29 c #Conflicts: 188000 | #Constraints: 30377
379.26/380.29 c #Conflicts: 189000 | #Constraints: 31377
379.26/380.29 c #Conflicts: 190000 | #Constraints: 32377
379.26/380.29 c #Conflicts: 191000 | #Constraints: 33377
379.26/380.29 c #Conflicts: 192000 | #Constraints: 34377
379.26/380.29 c #Conflicts: 193000 | #Constraints: 35377
379.26/380.29 c #Conflicts: 194000 | #Constraints: 36377
379.26/380.29 c #Conflicts: 195000 | #Constraints: 37377
379.26/380.29 c #Conflicts: 196000 | #Constraints: 38377
379.26/380.29 c #Conflicts: 197000 | #Constraints: 39377
379.26/380.29 c #Conflicts: 198000 | #Constraints: 40377
379.26/380.29 c #Conflicts: 199000 | #Constraints: 41377
379.26/380.29 c #Conflicts: 200000 | #Constraints: 42377
379.26/380.29 c #Conflicts: 201000 | #Constraints: 43377
379.26/380.29 c #Conflicts: 202000 | #Constraints: 44377
379.26/380.29 c #Conflicts: 203000 | #Constraints: 45377
379.26/380.29 c #Conflicts: 204000 | #Constraints: 46377
379.26/380.29 c #Conflicts: 205000 | #Constraints: 47377
379.26/380.29 c #Conflicts: 206000 | #Constraints: 48377
379.26/380.29 c #Conflicts: 207000 | #Constraints: 49377
379.26/380.29 c #Conflicts: 208000 | #Constraints: 50377
379.26/380.29 c #Conflicts: 209000 | #Constraints: 51377
379.26/380.29 c #Conflicts: 210000 | #Constraints: 52377
379.26/380.29 c #Conflicts: 211000 | #Constraints: 53377
379.26/380.29 c INPROCESSING
379.26/380.29 c GARBAGE COLLECT
379.26/380.29 c rational objective -1.11799e-13
415.45/416.53 c #Conflicts: 212000 | #Constraints: 32448
415.45/416.53 c #Conflicts: 213000 | #Constraints: 33448
415.45/416.53 c #Conflicts: 214000 | #Constraints: 34448
415.45/416.53 c #Conflicts: 215000 | #Constraints: 35448
415.45/416.53 c #Conflicts: 216000 | #Constraints: 36448
415.45/416.53 c #Conflicts: 217000 | #Constraints: 37448
415.45/416.53 c #Conflicts: 218000 | #Constraints: 38448
415.45/416.53 c #Conflicts: 219000 | #Constraints: 39448
415.45/416.53 c #Conflicts: 220000 | #Constraints: 40448
415.45/416.53 c #Conflicts: 221000 | #Constraints: 41448
415.45/416.53 c #Conflicts: 222000 | #Constraints: 42448
415.45/416.53 c INPROCESSING
415.45/416.53 c GARBAGE COLLECT
415.45/416.53 c #Conflicts: 223000 | #Constraints: 26775
415.45/416.53 c #Conflicts: 224000 | #Constraints: 27775
415.45/416.53 c #Conflicts: 225000 | #Constraints: 28775
415.45/416.53 c #Conflicts: 226000 | #Constraints: 29775
415.45/416.53 c #Conflicts: 227000 | #Constraints: 30775
415.45/416.53 c #Conflicts: 228000 | #Constraints: 31775
415.45/416.53 c #Conflicts: 229000 | #Constraints: 32775
415.45/416.53 c #Conflicts: 230000 | #Constraints: 33775
415.45/416.53 c #Conflicts: 231000 | #Constraints: 34775
415.45/416.53 c #Conflicts: 232000 | #Constraints: 35775
415.45/416.53 c #Conflicts: 233000 | #Constraints: 36775
415.45/416.53 c #Conflicts: 234000 | #Constraints: 37775
415.45/416.53 c INPROCESSING
415.45/416.53 c GARBAGE COLLECT
415.45/416.53 c rational objective -1.11799e-13
488.95/490.28 c #Conflicts: 235000 | #Constraints: 24728
488.95/490.28 c #Conflicts: 236000 | #Constraints: 25728
488.95/490.28 c #Conflicts: 237000 | #Constraints: 26728
488.95/490.28 c #Conflicts: 238000 | #Constraints: 27728
488.95/490.28 c #Conflicts: 239000 | #Constraints: 28728
488.95/490.28 c #Conflicts: 240000 | #Constraints: 29728
488.95/490.28 c #Conflicts: 241000 | #Constraints: 30728
488.95/490.28 c #Conflicts: 242000 | #Constraints: 31728
488.95/490.28 c #Conflicts: 243000 | #Constraints: 32728
488.95/490.28 c #Conflicts: 244000 | #Constraints: 33728
488.95/490.28 c #Conflicts: 245000 | #Constraints: 34728
488.95/490.28 c #Conflicts: 246000 | #Constraints: 35728
488.95/490.28 c #Conflicts: 247000 | #Constraints: 36728
488.95/490.28 c #Conflicts: 248000 | #Constraints: 37728
488.95/490.28 c #Conflicts: 249000 | #Constraints: 38728
488.95/490.28 c #Conflicts: 250000 | #Constraints: 39728
488.95/490.28 c #Conflicts: 251000 | #Constraints: 40728
488.95/490.28 c #Conflicts: 252000 | #Constraints: 41728
488.95/490.28 c #Conflicts: 253000 | #Constraints: 42728
488.95/490.28 c #Conflicts: 254000 | #Constraints: 43728
488.95/490.28 c #Conflicts: 255000 | #Constraints: 44728
488.95/490.28 c #Conflicts: 256000 | #Constraints: 45728
488.95/490.28 c #Conflicts: 257000 | #Constraints: 46728
488.95/490.28 c #Conflicts: 258000 | #Constraints: 47728
488.95/490.28 c #Conflicts: 259000 | #Constraints: 48728
488.95/490.28 c #Conflicts: 260000 | #Constraints: 49728
488.95/490.28 c #Conflicts: 261000 | #Constraints: 50728
488.95/490.28 c #Conflicts: 262000 | #Constraints: 51728
488.95/490.28 c #Conflicts: 263000 | #Constraints: 52728
488.95/490.28 c #Conflicts: 264000 | #Constraints: 53728
488.95/490.28 c #Conflicts: 265000 | #Constraints: 54728
488.95/490.28 c #Conflicts: 266000 | #Constraints: 55728
488.95/490.28 c #Conflicts: 267000 | #Constraints: 56728
488.95/490.28 c #Conflicts: 268000 | #Constraints: 57728
488.95/490.28 c #Conflicts: 269000 | #Constraints: 58728
488.95/490.28 c #Conflicts: 270000 | #Constraints: 59728
488.95/490.28 c INPROCESSING
488.95/490.28 c GARBAGE COLLECT
488.95/490.28 c rational objective -1.11799e-13
686.89/688.77 c #Conflicts: 271000 | #Constraints: 35714
686.89/688.77 c #Conflicts: 272000 | #Constraints: 36714
686.89/688.77 c #Conflicts: 273000 | #Constraints: 37714
686.89/688.77 c #Conflicts: 274000 | #Constraints: 38714
686.89/688.77 c #Conflicts: 275000 | #Constraints: 39714
686.89/688.77 c #Conflicts: 276000 | #Constraints: 40714
686.89/688.77 c #Conflicts: 277000 | #Constraints: 41714
686.89/688.77 c #Conflicts: 278000 | #Constraints: 42714
686.89/688.77 c #Conflicts: 279000 | #Constraints: 43714
686.89/688.77 c #Conflicts: 280000 | #Constraints: 44714
686.89/688.77 c #Conflicts: 281000 | #Constraints: 45714
686.89/688.77 c #Conflicts: 282000 | #Constraints: 46714
686.89/688.77 c INPROCESSING
686.89/688.77 c GARBAGE COLLECT
686.89/688.77 c #Conflicts: 283000 | #Constraints: 28833
686.89/688.77 c #Conflicts: 284000 | #Constraints: 29833
686.89/688.77 c #Conflicts: 285000 | #Constraints: 30833
686.89/688.77 c #Conflicts: 286000 | #Constraints: 31833
686.89/688.77 c #Conflicts: 287000 | #Constraints: 32833
686.89/688.77 c #Conflicts: 288000 | #Constraints: 33833
686.89/688.77 c #Conflicts: 289000 | #Constraints: 34833
686.89/688.77 c #Conflicts: 290000 | #Constraints: 35833
686.89/688.77 c #Conflicts: 291000 | #Constraints: 36833
686.89/688.77 c #Conflicts: 292000 | #Constraints: 37833
686.89/688.77 c #Conflicts: 293000 | #Constraints: 38833
686.89/688.77 c #Conflicts: 294000 | #Constraints: 39833
686.89/688.77 c #Conflicts: 295000 | #Constraints: 40833
686.89/688.77 c INPROCESSING
686.89/688.77 c GARBAGE COLLECT
686.89/688.77 c #Conflicts: 296000 | #Constraints: 25897
686.89/688.77 c #Conflicts: 297000 | #Constraints: 26897
686.89/688.77 c #Conflicts: 298000 | #Constraints: 27897
686.89/688.77 c #Conflicts: 299000 | #Constraints: 28897
686.89/688.77 c #Conflicts: 300000 | #Constraints: 29897
686.89/688.77 c #Conflicts: 301000 | #Constraints: 30897
686.89/688.77 c #Conflicts: 302000 | #Constraints: 31897
686.89/688.77 c #Conflicts: 303000 | #Constraints: 32897
686.89/688.77 c #Conflicts: 304000 | #Constraints: 33897
686.89/688.77 c #Conflicts: 305000 | #Constraints: 34897
686.89/688.77 c #Conflicts: 306000 | #Constraints: 35897
686.89/688.77 c #Conflicts: 307000 | #Constraints: 36897
686.89/688.77 c #Conflicts: 308000 | #Constraints: 37897
686.89/688.77 c #Conflicts: 309000 | #Constraints: 38897
686.89/688.77 c #Conflicts: 310000 | #Constraints: 39897
686.89/688.77 c #Conflicts: 311000 | #Constraints: 40897
686.89/688.77 c #Conflicts: 312000 | #Constraints: 41897
686.89/688.77 c #Conflicts: 313000 | #Constraints: 42897
686.89/688.77 c #Conflicts: 314000 | #Constraints: 43897
686.89/688.77 c #Conflicts: 315000 | #Constraints: 44897
686.89/688.77 c #Conflicts: 316000 | #Constraints: 45897
686.89/688.77 c #Conflicts: 317000 | #Constraints: 46897
686.89/688.77 c #Conflicts: 318000 | #Constraints: 47897
686.89/688.77 c #Conflicts: 319000 | #Constraints: 48897
686.89/688.77 c #Conflicts: 320000 | #Constraints: 49897
686.89/688.77 c #Conflicts: 321000 | #Constraints: 50897
686.89/688.77 c #Conflicts: 322000 | #Constraints: 51897
686.89/688.77 c #Conflicts: 323000 | #Constraints: 52897
686.89/688.77 c #Conflicts: 324000 | #Constraints: 53897
686.89/688.77 c #Conflicts: 325000 | #Constraints: 54897
686.89/688.77 c #Conflicts: 326000 | #Constraints: 55897
686.89/688.77 c #Conflicts: 327000 | #Constraints: 56897
686.89/688.77 c #Conflicts: 328000 | #Constraints: 57897
686.89/688.77 c #Conflicts: 329000 | #Constraints: 58897
686.89/688.77 c #Conflicts: 330000 | #Constraints: 59897
686.89/688.77 c #Conflicts: 331000 | #Constraints: 60897
686.89/688.77 c #Conflicts: 332000 | #Constraints: 61897
686.89/688.77 c #Conflicts: 333000 | #Constraints: 62897
686.89/688.77 c #Conflicts: 334000 | #Constraints: 63897
686.89/688.77 c #Conflicts: 335000 | #Constraints: 64897
686.89/688.77 c #Conflicts: 336000 | #Constraints: 65898
686.89/688.77 c INPROCESSING
686.89/688.77 c GARBAGE COLLECT
686.89/688.77 c #Conflicts: 337000 | #Constraints: 38847
686.89/688.77 c #Conflicts: 338000 | #Constraints: 39847
686.89/688.77 c #Conflicts: 339000 | #Constraints: 40847
686.89/688.77 c #Conflicts: 340000 | #Constraints: 41847
686.89/688.77 c #Conflicts: 341000 | #Constraints: 42847
686.89/688.77 c #Conflicts: 342000 | #Constraints: 43847
686.89/688.77 c #Conflicts: 343000 | #Constraints: 44847
686.89/688.77 c #Conflicts: 344000 | #Constraints: 45847
686.89/688.77 c #Conflicts: 345000 | #Constraints: 46847
686.89/688.77 c #Conflicts: 346000 | #Constraints: 47847
686.89/688.77 c #Conflicts: 347000 | #Constraints: 48847
831.58/833.82 c #Conflicts: 348000 | #Constraints: 49847
831.58/833.82 c #Conflicts: 349000 | #Constraints: 50847
831.58/833.82 c #Conflicts: 350000 | #Constraints: 51847
831.58/833.82 c INPROCESSING
831.58/833.82 c GARBAGE COLLECT
831.58/833.82 c #Conflicts: 351000 | #Constraints: 31718
831.58/833.82 c #Conflicts: 352000 | #Constraints: 32718
831.58/833.82 c #Conflicts: 353000 | #Constraints: 33718
831.58/833.82 c #Conflicts: 354000 | #Constraints: 34718
831.58/833.82 c #Conflicts: 355000 | #Constraints: 35718
831.58/833.82 c #Conflicts: 356000 | #Constraints: 36718
831.58/833.82 c #Conflicts: 357000 | #Constraints: 37718
831.58/833.82 c #Conflicts: 358000 | #Constraints: 38718
831.58/833.82 c #Conflicts: 359000 | #Constraints: 39718
831.58/833.82 c #Conflicts: 360000 | #Constraints: 40718
831.58/833.82 c #Conflicts: 361000 | #Constraints: 41718
831.58/833.82 c #Conflicts: 362000 | #Constraints: 42718
831.58/833.82 c #Conflicts: 363000 | #Constraints: 43718
831.58/833.82 c #Conflicts: 364000 | #Constraints: 44718
831.58/833.82 c INPROCESSING
831.58/833.82 c GARBAGE COLLECT
831.58/833.82 c #Conflicts: 365000 | #Constraints: 27934
831.58/833.82 c #Conflicts: 366000 | #Constraints: 28934
831.58/833.82 c #Conflicts: 367000 | #Constraints: 29934
831.58/833.82 c #Conflicts: 368000 | #Constraints: 30934
831.58/833.82 c #Conflicts: 369000 | #Constraints: 31934
831.58/833.82 c #Conflicts: 370000 | #Constraints: 32934
831.58/833.82 c #Conflicts: 371000 | #Constraints: 33934
831.58/833.82 c #Conflicts: 372000 | #Constraints: 34934
831.58/833.82 c #Conflicts: 373000 | #Constraints: 35934
831.58/833.82 c #Conflicts: 374000 | #Constraints: 36934
831.58/833.82 c #Conflicts: 375000 | #Constraints: 37934
831.58/833.82 c #Conflicts: 376000 | #Constraints: 38934
831.58/833.82 c #Conflicts: 377000 | #Constraints: 39934
831.58/833.82 c #Conflicts: 378000 | #Constraints: 40934
831.58/833.82 c #Conflicts: 379000 | #Constraints: 41934
831.58/833.82 c #Conflicts: 380000 | #Constraints: 42934
831.58/833.82 c #Conflicts: 381000 | #Constraints: 43934
831.58/833.82 c #Conflicts: 382000 | #Constraints: 44934
831.58/833.82 c #Conflicts: 383000 | #Constraints: 45934
831.58/833.82 c #Conflicts: 384000 | #Constraints: 46934
831.58/833.82 c #Conflicts: 385000 | #Constraints: 47934
831.58/833.82 c #Conflicts: 386000 | #Constraints: 48934
831.58/833.82 c #Conflicts: 387000 | #Constraints: 49934
831.58/833.82 c #Conflicts: 388000 | #Constraints: 50934
831.58/833.82 c #Conflicts: 389000 | #Constraints: 51934
831.58/833.82 c #Conflicts: 390000 | #Constraints: 52934
831.58/833.82 c #Conflicts: 391000 | #Constraints: 53934
831.58/833.82 c #Conflicts: 392000 | #Constraints: 54934
831.58/833.82 c #Conflicts: 393000 | #Constraints: 55934
831.58/833.82 c #Conflicts: 394000 | #Constraints: 56934
831.58/833.82 c #Conflicts: 395000 | #Constraints: 57934
831.58/833.82 c #Conflicts: 396000 | #Constraints: 58934
831.58/833.82 c #Conflicts: 397000 | #Constraints: 59934
831.58/833.82 c #Conflicts: 398000 | #Constraints: 60934
831.58/833.82 c #Conflicts: 399000 | #Constraints: 61934
831.58/833.82 c #Conflicts: 400000 | #Constraints: 62934
831.58/833.82 c #Conflicts: 401000 | #Constraints: 63934
831.58/833.82 c #Conflicts: 402000 | #Constraints: 64934
831.58/833.82 c #Conflicts: 403000 | #Constraints: 65934
831.58/833.82 c #Conflicts: 404000 | #Constraints: 66934
831.58/833.82 c #Conflicts: 405000 | #Constraints: 67934
831.58/833.82 c #Conflicts: 406000 | #Constraints: 68934
831.58/833.82 c #Conflicts: 407000 | #Constraints: 69934
831.58/833.82 c #Conflicts: 408000 | #Constraints: 70934
831.58/833.82 c #Conflicts: 409000 | #Constraints: 71934
831.58/833.82 c INPROCESSING
831.58/833.82 c GARBAGE COLLECT
831.58/833.82 c rational objective -2.23599e-13
1095.83/1098.80 c #Conflicts: 410000 | #Constraints: 41784
1095.83/1098.80 c #Conflicts: 411000 | #Constraints: 42784
1095.83/1098.80 c #Conflicts: 412000 | #Constraints: 43784
1095.83/1098.80 c #Conflicts: 413000 | #Constraints: 44784
1095.83/1098.80 c #Conflicts: 414000 | #Constraints: 45784
1095.83/1098.80 c #Conflicts: 415000 | #Constraints: 46784
1095.83/1098.80 c #Conflicts: 416000 | #Constraints: 47784
1095.83/1098.80 c #Conflicts: 417000 | #Constraints: 48784
1095.83/1098.80 c #Conflicts: 418000 | #Constraints: 49784
1095.83/1098.80 c #Conflicts: 419000 | #Constraints: 50784
1095.83/1098.80 c #Conflicts: 420000 | #Constraints: 51784
1095.83/1098.80 c #Conflicts: 421000 | #Constraints: 52784
1095.83/1098.80 c #Conflicts: 422000 | #Constraints: 53784
1095.83/1098.80 c #Conflicts: 423000 | #Constraints: 54784
1095.83/1098.80 c #Conflicts: 424000 | #Constraints: 55784
1095.83/1098.80 c #Conflicts: 425000 | #Constraints: 56784
1095.83/1098.80 c INPROCESSING
1095.83/1098.80 c GARBAGE COLLECT
1095.83/1098.80 c #Conflicts: 426000 | #Constraints: 34344
1095.83/1098.80 c #Conflicts: 427000 | #Constraints: 35344
1095.83/1098.80 c #Conflicts: 428000 | #Constraints: 36344
1095.83/1098.80 c #Conflicts: 429000 | #Constraints: 37344
1095.83/1098.80 c #Conflicts: 430000 | #Constraints: 38344
1095.83/1098.80 c #Conflicts: 431000 | #Constraints: 39344
1095.83/1098.80 c #Conflicts: 432000 | #Constraints: 40344
1095.83/1098.80 c #Conflicts: 433000 | #Constraints: 41344
1095.83/1098.80 c #Conflicts: 434000 | #Constraints: 42344
1095.83/1098.80 c #Conflicts: 435000 | #Constraints: 43344
1095.83/1098.80 c #Conflicts: 436000 | #Constraints: 44344
1095.83/1098.80 c #Conflicts: 437000 | #Constraints: 45344
1095.83/1098.80 c #Conflicts: 438000 | #Constraints: 46344
1095.83/1098.80 c #Conflicts: 439000 | #Constraints: 47344
1095.83/1098.80 c #Conflicts: 440000 | #Constraints: 48344
1095.83/1098.80 c #Conflicts: 441000 | #Constraints: 49344
1095.83/1098.80 c INPROCESSING
1095.83/1098.80 c GARBAGE COLLECT
1095.83/1098.80 c #Conflicts: 442000 | #Constraints: 30664
1095.83/1098.80 c #Conflicts: 443000 | #Constraints: 31664
1095.83/1098.80 c #Conflicts: 444000 | #Constraints: 32664
1095.83/1098.80 c #Conflicts: 445000 | #Constraints: 33664
1095.83/1098.80 c #Conflicts: 446000 | #Constraints: 34664
1095.83/1098.80 c #Conflicts: 447000 | #Constraints: 35664
1095.83/1098.80 c #Conflicts: 448000 | #Constraints: 36664
1095.83/1098.80 c #Conflicts: 449000 | #Constraints: 37664
1095.83/1098.80 c #Conflicts: 450000 | #Constraints: 38664
1095.83/1098.80 c #Conflicts: 451000 | #Constraints: 39664
1095.83/1098.80 c #Conflicts: 452000 | #Constraints: 40664
1095.83/1098.80 c #Conflicts: 453000 | #Constraints: 41664
1095.83/1098.80 c #Conflicts: 454000 | #Constraints: 42664
1095.83/1098.80 c #Conflicts: 455000 | #Constraints: 43664
1095.83/1098.80 c #Conflicts: 456000 | #Constraints: 44664
1095.83/1098.80 c #Conflicts: 457000 | #Constraints: 45664
1095.83/1098.80 c #Conflicts: 458000 | #Constraints: 46664
1095.83/1098.80 c #Conflicts: 459000 | #Constraints: 47664
1095.83/1098.80 c #Conflicts: 460000 | #Constraints: 48664
1095.83/1098.80 c #Conflicts: 461000 | #Constraints: 49664
1095.83/1098.80 c #Conflicts: 462000 | #Constraints: 50664
1095.83/1098.80 c #Conflicts: 463000 | #Constraints: 51664
1095.83/1098.80 c #Conflicts: 464000 | #Constraints: 52664
1095.83/1098.80 c #Conflicts: 465000 | #Constraints: 53664
1095.83/1098.80 c #Conflicts: 466000 | #Constraints: 54664
1095.83/1098.80 c #Conflicts: 467000 | #Constraints: 55664
1095.83/1098.80 c #Conflicts: 468000 | #Constraints: 56664
1095.83/1098.80 c #Conflicts: 469000 | #Constraints: 57664
1095.83/1098.80 c #Conflicts: 470000 | #Constraints: 58664
1095.83/1098.80 c #Conflicts: 471000 | #Constraints: 59664
1095.83/1098.80 c #Conflicts: 472000 | #Constraints: 60664
1095.83/1098.80 c #Conflicts: 473000 | #Constraints: 61664
1095.83/1098.80 c #Conflicts: 474000 | #Constraints: 62664
1095.83/1098.80 c #Conflicts: 475000 | #Constraints: 63664
1095.83/1098.80 c #Conflicts: 476000 | #Constraints: 64664
1095.83/1098.80 c #Conflicts: 477000 | #Constraints: 65664
1095.83/1098.80 c #Conflicts: 478000 | #Constraints: 66664
1095.83/1098.80 c #Conflicts: 479000 | #Constraints: 67665
1095.83/1098.80 c #Conflicts: 480000 | #Constraints: 68665
1095.83/1098.80 c #Conflicts: 481000 | #Constraints: 69665
1095.83/1098.80 c #Conflicts: 482000 | #Constraints: 70665
1095.83/1098.80 c #Conflicts: 483000 | #Constraints: 71665
1095.83/1098.80 c #Conflicts: 484000 | #Constraints: 72665
1095.83/1098.80 c #Conflicts: 485000 | #Constraints: 73665
1095.83/1098.80 c #Conflicts: 486000 | #Constraints: 74665
1095.83/1098.80 c #Conflicts: 487000 | #Constraints: 75665
1107.88/1110.99 c #Conflicts: 488000 | #Constraints: 76665
1107.88/1110.99 c #Conflicts: 489000 | #Constraints: 77665
1107.88/1110.99 c INPROCESSING
1107.88/1110.99 c GARBAGE COLLECT
1107.88/1110.99 c rational objective -2.23599e-13
1309.00/1312.69 c #Conflicts: 490000 | #Constraints: 44484
1309.00/1312.69 c #Conflicts: 491000 | #Constraints: 45484
1309.00/1312.69 c #Conflicts: 492000 | #Constraints: 46484
1309.00/1312.69 c #Conflicts: 493000 | #Constraints: 47484
1309.00/1312.69 c #Conflicts: 494000 | #Constraints: 48484
1309.00/1312.69 c #Conflicts: 495000 | #Constraints: 49484
1309.00/1312.69 c #Conflicts: 496000 | #Constraints: 50484
1309.00/1312.69 c #Conflicts: 497000 | #Constraints: 51484
1309.00/1312.69 c #Conflicts: 498000 | #Constraints: 52484
1309.00/1312.69 c #Conflicts: 499000 | #Constraints: 53484
1309.00/1312.69 c #Conflicts: 500000 | #Constraints: 54484
1309.00/1312.69 c #Conflicts: 501000 | #Constraints: 55484
1309.00/1312.69 c #Conflicts: 502000 | #Constraints: 56484
1309.00/1312.69 c #Conflicts: 503000 | #Constraints: 57484
1309.00/1312.69 c #Conflicts: 504000 | #Constraints: 58484
1309.00/1312.69 c #Conflicts: 505000 | #Constraints: 59484
1309.00/1312.69 c #Conflicts: 506000 | #Constraints: 60484
1309.00/1312.69 c INPROCESSING
1309.00/1312.69 c GARBAGE COLLECT
1309.00/1312.69 c #Conflicts: 507000 | #Constraints: 35630
1309.00/1312.69 c #Conflicts: 508000 | #Constraints: 36630
1309.00/1312.69 c #Conflicts: 509000 | #Constraints: 37630
1309.00/1312.69 c #Conflicts: 510000 | #Constraints: 38631
1309.00/1312.69 c #Conflicts: 511000 | #Constraints: 39631
1309.00/1312.69 c #Conflicts: 512000 | #Constraints: 40631
1309.00/1312.69 c #Conflicts: 513000 | #Constraints: 41631
1309.00/1312.69 c #Conflicts: 514000 | #Constraints: 42631
1309.00/1312.69 c #Conflicts: 515000 | #Constraints: 43631
1309.00/1312.69 c #Conflicts: 516000 | #Constraints: 44631
1309.00/1312.69 c #Conflicts: 517000 | #Constraints: 45631
1309.00/1312.69 c #Conflicts: 518000 | #Constraints: 46631
1309.00/1312.69 c #Conflicts: 519000 | #Constraints: 47631
1309.00/1312.69 c #Conflicts: 520000 | #Constraints: 48631
1309.00/1312.69 c #Conflicts: 521000 | #Constraints: 49631
1309.00/1312.69 c #Conflicts: 522000 | #Constraints: 50631
1309.00/1312.69 c #Conflicts: 523000 | #Constraints: 51631
1309.00/1312.69 c #Conflicts: 524000 | #Constraints: 52631
1309.00/1312.69 c INPROCESSING
1309.00/1312.69 c GARBAGE COLLECT
1309.00/1312.69 c #Conflicts: 525000 | #Constraints: 32052
1309.00/1312.69 c #Conflicts: 526000 | #Constraints: 33052
1309.00/1312.69 c #Conflicts: 527000 | #Constraints: 34052
1309.00/1312.69 c #Conflicts: 528000 | #Constraints: 35052
1309.00/1312.69 c #Conflicts: 529000 | #Constraints: 36052
1309.00/1312.69 c #Conflicts: 530000 | #Constraints: 37052
1309.00/1312.69 c #Conflicts: 531000 | #Constraints: 38052
1309.00/1312.69 c #Conflicts: 532000 | #Constraints: 39052
1309.00/1312.69 c #Conflicts: 533000 | #Constraints: 40052
1309.00/1312.69 c #Conflicts: 534000 | #Constraints: 41052
1309.00/1312.69 c #Conflicts: 535000 | #Constraints: 42052
1309.00/1312.69 c #Conflicts: 536000 | #Constraints: 43052
1309.00/1312.69 c #Conflicts: 537000 | #Constraints: 44052
1309.00/1312.69 c #Conflicts: 538000 | #Constraints: 45052
1309.00/1312.69 c #Conflicts: 539000 | #Constraints: 46052
1309.00/1312.69 c #Conflicts: 540000 | #Constraints: 47052
1309.00/1312.69 c #Conflicts: 541000 | #Constraints: 48052
1309.00/1312.69 c #Conflicts: 542000 | #Constraints: 49052
1309.00/1312.69 c #Conflicts: 543000 | #Constraints: 50052
1309.00/1312.69 c #Conflicts: 544000 | #Constraints: 51052
1309.00/1312.69 c #Conflicts: 545000 | #Constraints: 52052
1309.00/1312.69 c #Conflicts: 546000 | #Constraints: 53052
1309.00/1312.69 c #Conflicts: 547000 | #Constraints: 54052
1309.00/1312.69 c #Conflicts: 548000 | #Constraints: 55052
1309.00/1312.69 c #Conflicts: 549000 | #Constraints: 56052
1309.00/1312.69 c #Conflicts: 550000 | #Constraints: 57052
1309.00/1312.69 c #Conflicts: 551000 | #Constraints: 58052
1309.00/1312.69 c #Conflicts: 552000 | #Constraints: 59052
1309.00/1312.69 c #Conflicts: 553000 | #Constraints: 60052
1309.00/1312.69 c #Conflicts: 554000 | #Constraints: 61052
1309.00/1312.69 c #Conflicts: 555000 | #Constraints: 62052
1309.00/1312.69 c #Conflicts: 556000 | #Constraints: 63052
1309.00/1312.69 c #Conflicts: 557000 | #Constraints: 64052
1309.00/1312.69 c #Conflicts: 558000 | #Constraints: 65052
1309.00/1312.69 c #Conflicts: 559000 | #Constraints: 66052
1309.00/1312.69 c #Conflicts: 560000 | #Constraints: 67052
1309.00/1312.69 c #Conflicts: 561000 | #Constraints: 68052
1309.00/1312.69 c #Conflicts: 562000 | #Constraints: 69052
1309.00/1312.69 c #Conflicts: 563000 | #Constraints: 70052
1309.00/1312.69 c #Conflicts: 564000 | #Constraints: 71052
1309.00/1312.69 c #Conflicts: 565000 | #Constraints: 72052
1309.00/1312.69 c #Conflicts: 566000 | #Constraints: 73052
1309.00/1312.69 c #Conflicts: 567000 | #Constraints: 74052
1345.20/1348.97 c #Conflicts: 568000 | #Constraints: 75052
1345.20/1348.97 c #Conflicts: 569000 | #Constraints: 76052
1345.20/1348.97 c #Conflicts: 570000 | #Constraints: 77052
1345.20/1348.97 c #Conflicts: 571000 | #Constraints: 78052
1345.20/1348.97 c #Conflicts: 572000 | #Constraints: 79052
1345.20/1348.97 c #Conflicts: 573000 | #Constraints: 80052
1345.20/1348.97 c #Conflicts: 574000 | #Constraints: 81052
1345.20/1348.97 c #Conflicts: 575000 | #Constraints: 82052
1345.20/1348.97 c #Conflicts: 576000 | #Constraints: 83052
1345.20/1348.97 c #Conflicts: 577000 | #Constraints: 84052
1345.20/1348.97 c INPROCESSING
1345.20/1348.97 c GARBAGE COLLECT
1345.20/1348.97 c rational objective 1.11799e-13
1438.82/1442.87 c #Conflicts: 578000 | #Constraints: 47883
1438.82/1442.87 c #Conflicts: 579000 | #Constraints: 48883
1438.82/1442.87 c #Conflicts: 580000 | #Constraints: 49883
1438.82/1442.87 c #Conflicts: 581000 | #Constraints: 50883
1438.82/1442.87 c #Conflicts: 582000 | #Constraints: 51883
1438.82/1442.87 c #Conflicts: 583000 | #Constraints: 52883
1438.82/1442.87 c #Conflicts: 584000 | #Constraints: 53883
1438.82/1442.87 c #Conflicts: 585000 | #Constraints: 54883
1438.82/1442.87 c #Conflicts: 586000 | #Constraints: 55883
1438.82/1442.87 c #Conflicts: 587000 | #Constraints: 56883
1438.82/1442.87 c #Conflicts: 588000 | #Constraints: 57883
1438.82/1442.87 c #Conflicts: 589000 | #Constraints: 58883
1438.82/1442.87 c #Conflicts: 590000 | #Constraints: 59883
1438.82/1442.87 c #Conflicts: 591000 | #Constraints: 60883
1438.82/1442.87 c #Conflicts: 592000 | #Constraints: 61883
1438.82/1442.87 c #Conflicts: 593000 | #Constraints: 62883
1438.82/1442.87 c #Conflicts: 594000 | #Constraints: 63883
1438.82/1442.87 c #Conflicts: 595000 | #Constraints: 64883
1438.82/1442.87 c #Conflicts: 596000 | #Constraints: 65883
1438.82/1442.87 c INPROCESSING
1438.82/1442.87 c GARBAGE COLLECT
1438.82/1442.87 c #Conflicts: 597000 | #Constraints: 38907
1438.82/1442.87 c #Conflicts: 598000 | #Constraints: 39907
1438.82/1442.87 c #Conflicts: 599000 | #Constraints: 40907
1438.82/1442.87 c #Conflicts: 600000 | #Constraints: 41907
1438.82/1442.87 c #Conflicts: 601000 | #Constraints: 42907
1438.82/1442.87 c #Conflicts: 602000 | #Constraints: 43907
1438.82/1442.87 c #Conflicts: 603000 | #Constraints: 44907
1438.82/1442.87 c #Conflicts: 604000 | #Constraints: 45907
1438.82/1442.87 c #Conflicts: 605000 | #Constraints: 46907
1438.82/1442.87 c #Conflicts: 606000 | #Constraints: 47907
1438.82/1442.87 c #Conflicts: 607000 | #Constraints: 48907
1438.82/1442.87 c #Conflicts: 608000 | #Constraints: 49907
1438.82/1442.87 c #Conflicts: 609000 | #Constraints: 50907
1438.82/1442.87 c #Conflicts: 610000 | #Constraints: 51907
1438.82/1442.87 c #Conflicts: 611000 | #Constraints: 52907
1438.82/1442.87 c #Conflicts: 612000 | #Constraints: 53907
1438.82/1442.87 c #Conflicts: 613000 | #Constraints: 54907
1438.82/1442.87 c #Conflicts: 614000 | #Constraints: 55907
1438.82/1442.87 c #Conflicts: 615000 | #Constraints: 56907
1438.82/1442.87 c INPROCESSING
1438.82/1442.87 c GARBAGE COLLECT
1438.82/1442.87 c rational objective 1.11799e-13
1660.69/1665.36 c #Conflicts: 616000 | #Constraints: 34440
1660.69/1665.36 c #Conflicts: 617000 | #Constraints: 35440
1660.69/1665.36 c #Conflicts: 618000 | #Constraints: 36440
1660.69/1665.36 c #Conflicts: 619000 | #Constraints: 37440
1660.69/1665.36 c #Conflicts: 620000 | #Constraints: 38440
1660.69/1665.36 c #Conflicts: 621000 | #Constraints: 39440
1660.69/1665.36 c #Conflicts: 622000 | #Constraints: 40440
1660.69/1665.36 c #Conflicts: 623000 | #Constraints: 41440
1660.69/1665.36 c #Conflicts: 624000 | #Constraints: 42440
1660.69/1665.36 c #Conflicts: 625000 | #Constraints: 43440
1660.69/1665.36 c #Conflicts: 626000 | #Constraints: 44440
1660.69/1665.36 c #Conflicts: 627000 | #Constraints: 45440
1660.69/1665.36 c #Conflicts: 628000 | #Constraints: 46440
1660.69/1665.36 c #Conflicts: 629000 | #Constraints: 47440
1660.69/1665.36 c #Conflicts: 630000 | #Constraints: 48440
1660.69/1665.36 c #Conflicts: 631000 | #Constraints: 49440
1660.69/1665.36 c #Conflicts: 632000 | #Constraints: 50440
1660.69/1665.36 c #Conflicts: 633000 | #Constraints: 51440
1660.69/1665.36 c #Conflicts: 634000 | #Constraints: 52440
1660.69/1665.36 c #Conflicts: 635000 | #Constraints: 53440
1660.69/1665.36 c #Conflicts: 636000 | #Constraints: 54440
1660.69/1665.36 c #Conflicts: 637000 | #Constraints: 55440
1660.69/1665.36 c #Conflicts: 638000 | #Constraints: 56440
1660.69/1665.36 c #Conflicts: 639000 | #Constraints: 57440
1660.69/1665.36 c #Conflicts: 640000 | #Constraints: 58440
1660.69/1665.36 c #Conflicts: 641000 | #Constraints: 59440
1660.69/1665.36 c #Conflicts: 642000 | #Constraints: 60440
1660.69/1665.36 c #Conflicts: 643000 | #Constraints: 61440
1660.69/1665.36 c #Conflicts: 644000 | #Constraints: 62440
1660.69/1665.36 c #Conflicts: 645000 | #Constraints: 63440
1660.69/1665.36 c #Conflicts: 646000 | #Constraints: 64440
1660.69/1665.36 c #Conflicts: 647000 | #Constraints: 65440
1660.69/1665.36 c #Conflicts: 648000 | #Constraints: 66440
1660.69/1665.36 c #Conflicts: 649000 | #Constraints: 67440
1660.69/1665.36 c #Conflicts: 650000 | #Constraints: 68440
1660.69/1665.36 c #Conflicts: 651000 | #Constraints: 69440
1660.69/1665.36 c #Conflicts: 652000 | #Constraints: 70440
1660.69/1665.36 c #Conflicts: 653000 | #Constraints: 71440
1660.69/1665.36 c #Conflicts: 654000 | #Constraints: 72440
1660.69/1665.36 c #Conflicts: 655000 | #Constraints: 73440
1660.69/1665.36 c #Conflicts: 656000 | #Constraints: 74440
1660.69/1665.36 c #Conflicts: 657000 | #Constraints: 75440
1660.69/1665.36 c #Conflicts: 658000 | #Constraints: 76440
1660.69/1665.36 c #Conflicts: 659000 | #Constraints: 77440
1660.69/1665.36 c #Conflicts: 660000 | #Constraints: 78440
1660.69/1665.36 c #Conflicts: 661000 | #Constraints: 79440
1660.69/1665.36 c #Conflicts: 662000 | #Constraints: 80440
1660.69/1665.36 c #Conflicts: 663000 | #Constraints: 81440
1660.69/1665.36 c #Conflicts: 664000 | #Constraints: 82440
1660.69/1665.36 c #Conflicts: 665000 | #Constraints: 83440
1660.69/1665.36 c #Conflicts: 666000 | #Constraints: 84440
1660.69/1665.36 c #Conflicts: 667000 | #Constraints: 85440
1660.69/1665.36 c #Conflicts: 668000 | #Constraints: 86440
1660.69/1665.36 c #Conflicts: 669000 | #Constraints: 87440
1660.69/1665.36 c #Conflicts: 670000 | #Constraints: 88440
1660.69/1665.36 c #Conflicts: 671000 | #Constraints: 89440
1660.69/1665.36 c #Conflicts: 672000 | #Constraints: 90440
1660.69/1665.36 c INPROCESSING
1660.69/1665.36 c GARBAGE COLLECT
1660.69/1665.36 c #Conflicts: 673000 | #Constraints: 51195
1660.69/1665.36 c #Conflicts: 674000 | #Constraints: 52195
1660.69/1665.36 c #Conflicts: 675000 | #Constraints: 53195
1660.69/1665.36 c #Conflicts: 676000 | #Constraints: 54195
1660.69/1665.36 c #Conflicts: 677000 | #Constraints: 55195
1660.69/1665.36 c #Conflicts: 678000 | #Constraints: 56195
1660.69/1665.36 c #Conflicts: 679000 | #Constraints: 57195
1660.69/1665.36 c #Conflicts: 680000 | #Constraints: 58195
1660.69/1665.36 c #Conflicts: 681000 | #Constraints: 59195
1660.69/1665.36 c #Conflicts: 682000 | #Constraints: 60195
1660.69/1665.36 c #Conflicts: 683000 | #Constraints: 61195
1660.69/1665.36 c #Conflicts: 684000 | #Constraints: 62195
1660.69/1665.36 c #Conflicts: 685000 | #Constraints: 63195
1660.69/1665.36 c #Conflicts: 686000 | #Constraints: 64195
1660.69/1665.36 c #Conflicts: 687000 | #Constraints: 65195
1660.69/1665.36 c #Conflicts: 688000 | #Constraints: 66195
1660.69/1665.36 c #Conflicts: 689000 | #Constraints: 67195
1660.69/1665.36 c #Conflicts: 690000 | #Constraints: 68195
1660.69/1665.36 c #Conflicts: 691000 | #Constraints: 69195
1660.69/1665.36 c #Conflicts: 692000 | #Constraints: 70195
1660.69/1665.36 c INPROCESSING
1660.69/1665.36 c GARBAGE COLLECT
1660.69/1665.36 c rational objective 1.11799e-13
1945.56/1951.06 c #Conflicts: 693000 | #Constraints: 40935
1945.56/1951.06 c #Conflicts: 694000 | #Constraints: 41935
1945.56/1951.06 c #Conflicts: 695000 | #Constraints: 42935
1945.56/1951.06 c #Conflicts: 696000 | #Constraints: 43935
1945.56/1951.06 c #Conflicts: 697000 | #Constraints: 44935
1945.56/1951.06 c #Conflicts: 698000 | #Constraints: 45935
1945.56/1951.06 c #Conflicts: 699000 | #Constraints: 46935
1945.56/1951.06 c #Conflicts: 700000 | #Constraints: 47935
1945.56/1951.06 c #Conflicts: 701000 | #Constraints: 48935
1945.56/1951.06 c #Conflicts: 702000 | #Constraints: 49935
1945.56/1951.06 c #Conflicts: 703000 | #Constraints: 50935
1945.56/1951.06 c #Conflicts: 704000 | #Constraints: 51935
1945.56/1951.06 c #Conflicts: 705000 | #Constraints: 52935
1945.56/1951.06 c #Conflicts: 706000 | #Constraints: 53935
1945.56/1951.06 c #Conflicts: 707000 | #Constraints: 54935
1945.56/1951.06 c #Conflicts: 708000 | #Constraints: 55935
1945.56/1951.06 c #Conflicts: 709000 | #Constraints: 56935
1945.56/1951.06 c #Conflicts: 710000 | #Constraints: 57935
1945.56/1951.06 c #Conflicts: 711000 | #Constraints: 58935
1945.56/1951.06 c #Conflicts: 712000 | #Constraints: 59935
1945.56/1951.06 c INPROCESSING
1945.56/1951.06 c GARBAGE COLLECT
1945.56/1951.06 c #Conflicts: 713000 | #Constraints: 35550
1945.56/1951.06 c #Conflicts: 714000 | #Constraints: 36550
1945.56/1951.06 c #Conflicts: 715000 | #Constraints: 37550
1945.56/1951.06 c #Conflicts: 716000 | #Constraints: 38550
1945.56/1951.06 c #Conflicts: 717000 | #Constraints: 39550
1945.56/1951.06 c #Conflicts: 718000 | #Constraints: 40550
1945.56/1951.06 c #Conflicts: 719000 | #Constraints: 41550
1945.56/1951.06 c #Conflicts: 720000 | #Constraints: 42550
1945.56/1951.06 c #Conflicts: 721000 | #Constraints: 43550
1945.56/1951.06 c #Conflicts: 722000 | #Constraints: 44550
1945.56/1951.06 c #Conflicts: 723000 | #Constraints: 45550
1945.56/1951.06 c #Conflicts: 724000 | #Constraints: 46550
1945.56/1951.06 c #Conflicts: 725000 | #Constraints: 47550
1945.56/1951.06 c #Conflicts: 726000 | #Constraints: 48550
1945.56/1951.06 c #Conflicts: 727000 | #Constraints: 49550
1945.56/1951.06 c #Conflicts: 728000 | #Constraints: 50550
1945.56/1951.06 c #Conflicts: 729000 | #Constraints: 51550
1945.56/1951.06 c #Conflicts: 730000 | #Constraints: 52550
1945.56/1951.06 c #Conflicts: 731000 | #Constraints: 53550
1945.56/1951.06 c #Conflicts: 732000 | #Constraints: 54550
1945.56/1951.06 c #Conflicts: 733000 | #Constraints: 55550
1945.56/1951.06 c #Conflicts: 734000 | #Constraints: 56550
1945.56/1951.06 c #Conflicts: 735000 | #Constraints: 57550
1945.56/1951.06 c #Conflicts: 736000 | #Constraints: 58550
1945.56/1951.06 c #Conflicts: 737000 | #Constraints: 59550
1945.56/1951.06 c #Conflicts: 738000 | #Constraints: 60550
1945.56/1951.06 c #Conflicts: 739000 | #Constraints: 61550
1945.56/1951.06 c #Conflicts: 740000 | #Constraints: 62550
1945.56/1951.06 c #Conflicts: 741000 | #Constraints: 63550
1945.56/1951.06 c #Conflicts: 742000 | #Constraints: 64550
1945.56/1951.06 c #Conflicts: 743000 | #Constraints: 65550
1945.56/1951.06 c #Conflicts: 744000 | #Constraints: 66550
1945.56/1951.06 c #Conflicts: 745000 | #Constraints: 67550
1945.56/1951.06 c #Conflicts: 746000 | #Constraints: 68550
1945.56/1951.06 c #Conflicts: 747000 | #Constraints: 69550
1945.56/1951.06 c #Conflicts: 748000 | #Constraints: 70550
1945.56/1951.06 c #Conflicts: 749000 | #Constraints: 71550
1945.56/1951.06 c #Conflicts: 750000 | #Constraints: 72550
1945.56/1951.06 c #Conflicts: 751000 | #Constraints: 73550
1945.56/1951.06 c #Conflicts: 752000 | #Constraints: 74550
1945.56/1951.06 c #Conflicts: 753000 | #Constraints: 75550
1945.56/1951.06 c #Conflicts: 754000 | #Constraints: 76550
1945.56/1951.06 c #Conflicts: 755000 | #Constraints: 77550
1945.56/1951.06 c #Conflicts: 756000 | #Constraints: 78550
1945.56/1951.06 c #Conflicts: 757000 | #Constraints: 79550
1945.56/1951.06 c #Conflicts: 758000 | #Constraints: 80550
1945.56/1951.06 c #Conflicts: 759000 | #Constraints: 81550
1945.56/1951.06 c #Conflicts: 760000 | #Constraints: 82550
1945.56/1951.06 c #Conflicts: 761000 | #Constraints: 83550
1945.56/1951.06 c #Conflicts: 762000 | #Constraints: 84550
1945.56/1951.06 c #Conflicts: 763000 | #Constraints: 85550
1945.56/1951.06 c #Conflicts: 764000 | #Constraints: 86550
1945.56/1951.06 c #Conflicts: 765000 | #Constraints: 87550
1945.56/1951.06 c #Conflicts: 766000 | #Constraints: 88550
1945.56/1951.06 c #Conflicts: 767000 | #Constraints: 89550
1945.56/1951.06 c #Conflicts: 768000 | #Constraints: 90550
1945.56/1951.06 c #Conflicts: 769000 | #Constraints: 91550
1945.56/1951.06 c #Conflicts: 770000 | #Constraints: 92550
1945.56/1951.06 c #Conflicts: 771000 | #Constraints: 93550
1958.22/1963.74 c #Conflicts: 772000 | #Constraints: 94550
1958.22/1963.74 c #Conflicts: 773000 | #Constraints: 95550
1958.22/1963.74 c #Conflicts: 774000 | #Constraints: 96550
1958.22/1963.74 c INPROCESSING
1958.22/1963.74 c GARBAGE COLLECT
1958.22/1963.74 c rational objective 1.11799e-13
2020.34/2026.09 c #Conflicts: 775000 | #Constraints: 54263
2020.34/2026.09 c #Conflicts: 776000 | #Constraints: 55263
2020.34/2026.09 c #Conflicts: 777000 | #Constraints: 56263
2020.34/2026.09 c #Conflicts: 778000 | #Constraints: 57263
2020.34/2026.09 c #Conflicts: 779000 | #Constraints: 58263
2020.34/2026.09 c #Conflicts: 780000 | #Constraints: 59263
2020.34/2026.09 c #Conflicts: 781000 | #Constraints: 60263
2020.34/2026.09 c #Conflicts: 782000 | #Constraints: 61263
2020.34/2026.09 c #Conflicts: 783000 | #Constraints: 62263
2020.34/2026.09 c #Conflicts: 784000 | #Constraints: 63263
2020.34/2026.09 c #Conflicts: 785000 | #Constraints: 64263
2020.34/2026.09 c #Conflicts: 786000 | #Constraints: 65263
2020.34/2026.09 c #Conflicts: 787000 | #Constraints: 66263
2020.34/2026.09 c #Conflicts: 788000 | #Constraints: 67263
2020.34/2026.09 c #Conflicts: 789000 | #Constraints: 68263
2020.34/2026.09 c #Conflicts: 790000 | #Constraints: 69263
2020.34/2026.09 c #Conflicts: 791000 | #Constraints: 70263
2020.34/2026.09 c #Conflicts: 792000 | #Constraints: 71263
2020.34/2026.09 c #Conflicts: 793000 | #Constraints: 72263
2020.34/2026.09 c #Conflicts: 794000 | #Constraints: 73263
2020.34/2026.09 c #Conflicts: 795000 | #Constraints: 74263
2020.34/2026.09 c INPROCESSING
2020.34/2026.09 c GARBAGE COLLECT
2020.34/2026.09 c rational objective 1.11799e-13
2239.21/2245.52 c #Conflicts: 796000 | #Constraints: 42755
2239.21/2245.52 c #Conflicts: 797000 | #Constraints: 43755
2239.21/2245.52 c #Conflicts: 798000 | #Constraints: 44755
2239.21/2245.52 c #Conflicts: 799000 | #Constraints: 45755
2239.21/2245.52 c #Conflicts: 800000 | #Constraints: 46755
2239.21/2245.52 c #Conflicts: 801000 | #Constraints: 47755
2239.21/2245.52 c #Conflicts: 802000 | #Constraints: 48755
2239.21/2245.52 c #Conflicts: 803000 | #Constraints: 49755
2239.21/2245.52 c #Conflicts: 804000 | #Constraints: 50755
2239.21/2245.52 c #Conflicts: 805000 | #Constraints: 51755
2239.21/2245.52 c #Conflicts: 806000 | #Constraints: 52755
2239.21/2245.52 c #Conflicts: 807000 | #Constraints: 53755
2239.21/2245.52 c #Conflicts: 808000 | #Constraints: 54755
2239.21/2245.52 c #Conflicts: 809000 | #Constraints: 55755
2239.21/2245.52 c #Conflicts: 810000 | #Constraints: 56755
2239.21/2245.52 c #Conflicts: 811000 | #Constraints: 57755
2239.21/2245.52 c #Conflicts: 812000 | #Constraints: 58755
2239.21/2245.52 c #Conflicts: 813000 | #Constraints: 59755
2239.21/2245.52 c #Conflicts: 814000 | #Constraints: 60755
2239.21/2245.52 c #Conflicts: 815000 | #Constraints: 61755
2239.21/2245.52 c #Conflicts: 816000 | #Constraints: 62755
2239.21/2245.52 c #Conflicts: 817000 | #Constraints: 63755
2239.21/2245.52 c INPROCESSING
2239.21/2245.52 c GARBAGE COLLECT
2239.21/2245.52 c #Conflicts: 818000 | #Constraints: 37676
2239.21/2245.52 c #Conflicts: 819000 | #Constraints: 38676
2239.21/2245.52 c #Conflicts: 820000 | #Constraints: 39676
2239.21/2245.52 c #Conflicts: 821000 | #Constraints: 40676
2239.21/2245.52 c #Conflicts: 822000 | #Constraints: 41676
2239.21/2245.52 c #Conflicts: 823000 | #Constraints: 42676
2239.21/2245.52 c #Conflicts: 824000 | #Constraints: 43676
2239.21/2245.52 c #Conflicts: 825000 | #Constraints: 44676
2239.21/2245.52 c #Conflicts: 826000 | #Constraints: 45676
2239.21/2245.52 c #Conflicts: 827000 | #Constraints: 46676
2239.21/2245.52 c #Conflicts: 828000 | #Constraints: 47676
2239.21/2245.52 c #Conflicts: 829000 | #Constraints: 48676
2239.21/2245.52 c #Conflicts: 830000 | #Constraints: 49676
2239.21/2245.52 c #Conflicts: 831000 | #Constraints: 50676
2239.21/2245.52 c #Conflicts: 832000 | #Constraints: 51676
2239.21/2245.52 c #Conflicts: 833000 | #Constraints: 52676
2239.21/2245.52 c #Conflicts: 834000 | #Constraints: 53676
2239.21/2245.52 c #Conflicts: 835000 | #Constraints: 54676
2239.21/2245.52 c #Conflicts: 836000 | #Constraints: 55676
2239.21/2245.52 c #Conflicts: 837000 | #Constraints: 56676
2239.21/2245.52 c #Conflicts: 838000 | #Constraints: 57676
2239.21/2245.52 c #Conflicts: 839000 | #Constraints: 58676
2239.21/2245.52 c #Conflicts: 840000 | #Constraints: 59676
2239.21/2245.52 c #Conflicts: 841000 | #Constraints: 60676
2239.21/2245.52 c #Conflicts: 842000 | #Constraints: 61676
2239.21/2245.52 c #Conflicts: 843000 | #Constraints: 62676
2239.21/2245.52 c #Conflicts: 844000 | #Constraints: 63676
2239.21/2245.52 c #Conflicts: 845000 | #Constraints: 64676
2239.21/2245.52 c #Conflicts: 846000 | #Constraints: 65676
2239.21/2245.52 c #Conflicts: 847000 | #Constraints: 66676
2239.21/2245.52 c #Conflicts: 848000 | #Constraints: 67676
2239.21/2245.52 c #Conflicts: 849000 | #Constraints: 68676
2239.21/2245.52 c #Conflicts: 850000 | #Constraints: 69676
2239.21/2245.52 c #Conflicts: 851000 | #Constraints: 70676
2239.21/2245.52 c #Conflicts: 852000 | #Constraints: 71676
2239.21/2245.52 c #Conflicts: 853000 | #Constraints: 72677
2239.21/2245.52 c #Conflicts: 854000 | #Constraints: 73677
2239.21/2245.52 c #Conflicts: 855000 | #Constraints: 74677
2239.21/2245.52 c #Conflicts: 856000 | #Constraints: 75677
2239.21/2245.52 c #Conflicts: 857000 | #Constraints: 76677
2239.21/2245.52 c #Conflicts: 858000 | #Constraints: 77677
2239.21/2245.52 c #Conflicts: 859000 | #Constraints: 78677
2239.21/2245.52 c #Conflicts: 860000 | #Constraints: 79677
2239.21/2245.52 c #Conflicts: 861000 | #Constraints: 80677
2239.21/2245.52 c #Conflicts: 862000 | #Constraints: 81677
2239.21/2245.52 c #Conflicts: 863000 | #Constraints: 82677
2239.21/2245.52 c #Conflicts: 864000 | #Constraints: 83677
2239.21/2245.52 c #Conflicts: 865000 | #Constraints: 84677
2239.21/2245.52 c #Conflicts: 866000 | #Constraints: 85677
2239.21/2245.52 c #Conflicts: 867000 | #Constraints: 86677
2239.21/2245.52 c #Conflicts: 868000 | #Constraints: 87677
2239.21/2245.52 c #Conflicts: 869000 | #Constraints: 88677
2239.21/2245.52 c #Conflicts: 870000 | #Constraints: 89677
2239.21/2245.52 c #Conflicts: 871000 | #Constraints: 90677
2239.21/2245.52 c #Conflicts: 872000 | #Constraints: 91677
2239.21/2245.52 c #Conflicts: 873000 | #Constraints: 92677
2239.21/2245.52 c #Conflicts: 874000 | #Constraints: 93677
2271.62/2278.07 c #Conflicts: 875000 | #Constraints: 94677
2271.62/2278.07 c #Conflicts: 876000 | #Constraints: 95677
2271.62/2278.07 c #Conflicts: 877000 | #Constraints: 96677
2271.62/2278.07 c #Conflicts: 878000 | #Constraints: 97677
2271.62/2278.07 c #Conflicts: 879000 | #Constraints: 98677
2271.62/2278.07 c #Conflicts: 880000 | #Constraints: 99677
2271.62/2278.07 c #Conflicts: 881000 | #Constraints: 100677
2271.62/2278.07 c #Conflicts: 882000 | #Constraints: 101677
2271.62/2278.07 c #Conflicts: 883000 | #Constraints: 102677
2271.62/2278.07 c INPROCESSING
2271.62/2278.07 c GARBAGE COLLECT
2271.62/2278.07 c rational objective 1.11799e-13
2326.36/2332.94 c #Conflicts: 884000 | #Constraints: 57256
2326.36/2332.94 c #Conflicts: 885000 | #Constraints: 58256
2326.36/2332.94 c #Conflicts: 886000 | #Constraints: 59256
2326.36/2332.94 c #Conflicts: 887000 | #Constraints: 60256
2326.36/2332.94 c #Conflicts: 888000 | #Constraints: 61256
2326.36/2332.94 c #Conflicts: 889000 | #Constraints: 62256
2326.36/2332.94 c #Conflicts: 890000 | #Constraints: 63256
2326.36/2332.94 c #Conflicts: 891000 | #Constraints: 64256
2326.36/2332.94 c #Conflicts: 892000 | #Constraints: 65256
2326.36/2332.94 c #Conflicts: 893000 | #Constraints: 66256
2326.36/2332.94 c #Conflicts: 894000 | #Constraints: 67256
2326.36/2332.94 c #Conflicts: 895000 | #Constraints: 68256
2326.36/2332.94 c #Conflicts: 896000 | #Constraints: 69256
2326.36/2332.94 c #Conflicts: 897000 | #Constraints: 70256
2326.36/2332.94 c #Conflicts: 898000 | #Constraints: 71256
2326.36/2332.94 c #Conflicts: 899000 | #Constraints: 72256
2326.36/2332.94 c #Conflicts: 900000 | #Constraints: 73256
2326.36/2332.94 c #Conflicts: 901000 | #Constraints: 74256
2326.36/2332.94 c #Conflicts: 902000 | #Constraints: 75256
2326.36/2332.94 c #Conflicts: 903000 | #Constraints: 76256
2326.36/2332.94 c #Conflicts: 904000 | #Constraints: 77256
2326.36/2332.94 c #Conflicts: 905000 | #Constraints: 78256
2326.36/2332.94 c #Conflicts: 906000 | #Constraints: 79256
2326.36/2332.94 c INPROCESSING
2326.36/2332.94 c GARBAGE COLLECT
2326.36/2332.94 c rational objective 1.11799e-13
2614.97/2622.36 c #Conflicts: 907000 | #Constraints: 45428
2614.97/2622.36 c #Conflicts: 908000 | #Constraints: 46428
2614.97/2622.36 c #Conflicts: 909000 | #Constraints: 47428
2614.97/2622.36 c #Conflicts: 910000 | #Constraints: 48428
2614.97/2622.36 c #Conflicts: 911000 | #Constraints: 49428
2614.97/2622.36 c #Conflicts: 912000 | #Constraints: 50428
2614.97/2622.36 c #Conflicts: 913000 | #Constraints: 51428
2614.97/2622.36 c #Conflicts: 914000 | #Constraints: 52428
2614.97/2622.36 c #Conflicts: 915000 | #Constraints: 53428
2614.97/2622.36 c #Conflicts: 916000 | #Constraints: 54429
2614.97/2622.36 c #Conflicts: 917000 | #Constraints: 55429
2614.97/2622.36 c #Conflicts: 918000 | #Constraints: 56429
2614.97/2622.36 c #Conflicts: 919000 | #Constraints: 57429
2614.97/2622.36 c #Conflicts: 920000 | #Constraints: 58429
2614.97/2622.36 c #Conflicts: 921000 | #Constraints: 59429
2614.97/2622.36 c #Conflicts: 922000 | #Constraints: 60429
2614.97/2622.36 c #Conflicts: 923000 | #Constraints: 61429
2614.97/2622.36 c #Conflicts: 924000 | #Constraints: 62429
2614.97/2622.36 c #Conflicts: 925000 | #Constraints: 63429
2614.97/2622.36 c #Conflicts: 926000 | #Constraints: 64429
2614.97/2622.36 c #Conflicts: 927000 | #Constraints: 65429
2614.97/2622.36 c #Conflicts: 928000 | #Constraints: 66429
2614.97/2622.36 c #Conflicts: 929000 | #Constraints: 67429
2614.97/2622.36 c #Conflicts: 930000 | #Constraints: 68429
2614.97/2622.36 c INPROCESSING
2614.97/2622.36 c GARBAGE COLLECT
2614.97/2622.36 c #Conflicts: 931000 | #Constraints: 41323
2614.97/2622.36 c #Conflicts: 932000 | #Constraints: 42323
2614.97/2622.36 c #Conflicts: 933000 | #Constraints: 43323
2614.97/2622.36 c #Conflicts: 934000 | #Constraints: 44323
2614.97/2622.36 c #Conflicts: 935000 | #Constraints: 45323
2614.97/2622.36 c #Conflicts: 936000 | #Constraints: 46323
2614.97/2622.36 c #Conflicts: 937000 | #Constraints: 47323
2614.97/2622.36 c #Conflicts: 938000 | #Constraints: 48323
2614.97/2622.36 c #Conflicts: 939000 | #Constraints: 49323
2614.97/2622.36 c #Conflicts: 940000 | #Constraints: 50323
2614.97/2622.36 c #Conflicts: 941000 | #Constraints: 51323
2614.97/2622.36 c #Conflicts: 942000 | #Constraints: 52323
2614.97/2622.36 c #Conflicts: 943000 | #Constraints: 53323
2614.97/2622.36 c #Conflicts: 944000 | #Constraints: 54323
2614.97/2622.36 c #Conflicts: 945000 | #Constraints: 55323
2614.97/2622.36 c #Conflicts: 946000 | #Constraints: 56323
2614.97/2622.36 c #Conflicts: 947000 | #Constraints: 57323
2614.97/2622.36 c #Conflicts: 948000 | #Constraints: 58323
2614.97/2622.36 c #Conflicts: 949000 | #Constraints: 59323
2614.97/2622.36 c #Conflicts: 950000 | #Constraints: 60323
2614.97/2622.36 c #Conflicts: 951000 | #Constraints: 61323
2614.97/2622.36 c #Conflicts: 952000 | #Constraints: 62323
2614.97/2622.36 c #Conflicts: 953000 | #Constraints: 63323
2614.97/2622.36 c #Conflicts: 954000 | #Constraints: 64323
2614.97/2622.36 c #Conflicts: 955000 | #Constraints: 65323
2614.97/2622.36 c #Conflicts: 956000 | #Constraints: 66323
2614.97/2622.36 c #Conflicts: 957000 | #Constraints: 67323
2614.97/2622.36 c #Conflicts: 958000 | #Constraints: 68323
2614.97/2622.36 c #Conflicts: 959000 | #Constraints: 69323
2614.97/2622.36 c #Conflicts: 960000 | #Constraints: 70323
2614.97/2622.36 c #Conflicts: 961000 | #Constraints: 71323
2614.97/2622.36 c #Conflicts: 962000 | #Constraints: 72323
2614.97/2622.36 c #Conflicts: 963000 | #Constraints: 73324
2614.97/2622.36 c #Conflicts: 964000 | #Constraints: 74324
2614.97/2622.36 c #Conflicts: 965000 | #Constraints: 75324
2614.97/2622.36 c #Conflicts: 966000 | #Constraints: 76324
2614.97/2622.36 c #Conflicts: 967000 | #Constraints: 77324
2614.97/2622.36 c #Conflicts: 968000 | #Constraints: 78324
2614.97/2622.36 c #Conflicts: 969000 | #Constraints: 79324
2614.97/2622.36 c #Conflicts: 970000 | #Constraints: 80324
2614.97/2622.36 c #Conflicts: 971000 | #Constraints: 81324
2614.97/2622.36 c #Conflicts: 972000 | #Constraints: 82324
2614.97/2622.36 c #Conflicts: 973000 | #Constraints: 83324
2614.97/2622.36 c #Conflicts: 974000 | #Constraints: 84324
2614.97/2622.36 c #Conflicts: 975000 | #Constraints: 85324
2614.97/2622.36 c #Conflicts: 976000 | #Constraints: 86324
2614.97/2622.36 c #Conflicts: 977000 | #Constraints: 87324
2614.97/2622.36 c #Conflicts: 978000 | #Constraints: 88324
2614.97/2622.36 c #Conflicts: 979000 | #Constraints: 89324
2614.97/2622.36 c #Conflicts: 980000 | #Constraints: 90324
2614.97/2622.36 c #Conflicts: 981000 | #Constraints: 91324
2614.97/2622.36 c #Conflicts: 982000 | #Constraints: 92324
2614.97/2622.36 c #Conflicts: 983000 | #Constraints: 93324
2614.97/2622.36 c #Conflicts: 984000 | #Constraints: 94324
2614.97/2622.36 c #Conflicts: 985000 | #Constraints: 95324
2715.61/2723.26 c #Conflicts: 986000 | #Constraints: 96324
2715.61/2723.26 c #Conflicts: 987000 | #Constraints: 97324
2715.61/2723.26 c #Conflicts: 988000 | #Constraints: 98324
2715.61/2723.26 c #Conflicts: 989000 | #Constraints: 99324
2715.61/2723.26 c #Conflicts: 990000 | #Constraints: 100324
2715.61/2723.26 c #Conflicts: 991000 | #Constraints: 101324
2715.61/2723.26 c #Conflicts: 992000 | #Constraints: 102324
2715.61/2723.26 c #Conflicts: 993000 | #Constraints: 103324
2715.61/2723.26 c #Conflicts: 994000 | #Constraints: 104324
2715.61/2723.26 c #Conflicts: 995000 | #Constraints: 105324
2715.61/2723.26 c #Conflicts: 996000 | #Constraints: 106324
2715.61/2723.26 c #Conflicts: 997000 | #Constraints: 107324
2715.61/2723.26 c #Conflicts: 998000 | #Constraints: 108324
2715.61/2723.26 c #Conflicts: 999000 | #Constraints: 109324
2715.61/2723.26 c INPROCESSING
2715.61/2723.26 c GARBAGE COLLECT
2715.61/2723.26 c rational objective 1.11799e-13
2974.70/2982.95 c #Conflicts: 1000000 | #Constraints: 60457
2974.70/2982.95 c #Conflicts: 1001000 | #Constraints: 61457
2974.70/2982.95 c #Conflicts: 1002000 | #Constraints: 62457
2974.70/2982.95 c #Conflicts: 1003000 | #Constraints: 63457
2974.70/2982.95 c #Conflicts: 1004000 | #Constraints: 64457
2974.70/2982.95 c #Conflicts: 1005000 | #Constraints: 65457
2974.70/2982.95 c #Conflicts: 1006000 | #Constraints: 66457
2974.70/2982.95 c #Conflicts: 1007000 | #Constraints: 67457
2974.70/2982.95 c #Conflicts: 1008000 | #Constraints: 68457
2974.70/2982.95 c #Conflicts: 1009000 | #Constraints: 69457
2974.70/2982.95 c #Conflicts: 1010000 | #Constraints: 70457
2974.70/2982.95 c #Conflicts: 1011000 | #Constraints: 71457
2974.70/2982.95 c #Conflicts: 1012000 | #Constraints: 72457
2974.70/2982.95 c #Conflicts: 1013000 | #Constraints: 73457
2974.70/2982.95 c #Conflicts: 1014000 | #Constraints: 74457
2974.70/2982.95 c #Conflicts: 1015000 | #Constraints: 75457
2974.70/2982.95 c #Conflicts: 1016000 | #Constraints: 76457
2974.70/2982.95 c #Conflicts: 1017000 | #Constraints: 77457
2974.70/2982.95 c #Conflicts: 1018000 | #Constraints: 78457
2974.70/2982.95 c #Conflicts: 1019000 | #Constraints: 79457
2974.70/2982.95 c #Conflicts: 1020000 | #Constraints: 80457
2974.70/2982.95 c #Conflicts: 1021000 | #Constraints: 81457
2974.70/2982.95 c #Conflicts: 1022000 | #Constraints: 82457
2974.70/2982.95 c #Conflicts: 1023000 | #Constraints: 83457
2974.70/2982.95 c #Conflicts: 1024000 | #Constraints: 84457
2974.70/2982.95 c INPROCESSING
2974.70/2982.95 c GARBAGE COLLECT
2974.70/2982.95 c #Conflicts: 1025000 | #Constraints: 47996
2974.70/2982.95 c #Conflicts: 1026000 | #Constraints: 48996
2974.70/2982.95 c #Conflicts: 1027000 | #Constraints: 49996
2974.70/2982.95 c #Conflicts: 1028000 | #Constraints: 50996
2974.70/2982.95 c #Conflicts: 1029000 | #Constraints: 51996
2974.70/2982.95 c #Conflicts: 1030000 | #Constraints: 52996
2974.70/2982.95 c #Conflicts: 1031000 | #Constraints: 53996
2974.70/2982.95 c #Conflicts: 1032000 | #Constraints: 54996
2974.70/2982.95 c #Conflicts: 1033000 | #Constraints: 55996
2974.70/2982.95 c #Conflicts: 1034000 | #Constraints: 56996
2974.70/2982.95 c #Conflicts: 1035000 | #Constraints: 57996
2974.70/2982.95 c #Conflicts: 1036000 | #Constraints: 58996
2974.70/2982.95 c #Conflicts: 1037000 | #Constraints: 59996
2974.70/2982.95 c #Conflicts: 1038000 | #Constraints: 60996
2974.70/2982.95 c #Conflicts: 1039000 | #Constraints: 61996
2974.70/2982.95 c #Conflicts: 1040000 | #Constraints: 62996
2974.70/2982.95 c #Conflicts: 1041000 | #Constraints: 63996
2974.70/2982.95 c #Conflicts: 1042000 | #Constraints: 64996
2974.70/2982.95 c #Conflicts: 1043000 | #Constraints: 65996
2974.70/2982.95 c #Conflicts: 1044000 | #Constraints: 66996
2974.70/2982.95 c #Conflicts: 1045000 | #Constraints: 67996
2974.70/2982.95 c #Conflicts: 1046000 | #Constraints: 68996
2974.70/2982.95 c #Conflicts: 1047000 | #Constraints: 69996
2974.70/2982.95 c #Conflicts: 1048000 | #Constraints: 70996
2974.70/2982.95 c #Conflicts: 1049000 | #Constraints: 71996
2974.70/2982.95 c INPROCESSING
2974.70/2982.95 c GARBAGE COLLECT
2974.70/2982.95 c #Conflicts: 1050000 | #Constraints: 42694
2974.70/2982.95 c #Conflicts: 1051000 | #Constraints: 43694
2974.70/2982.95 c #Conflicts: 1052000 | #Constraints: 44694
2974.70/2982.95 c #Conflicts: 1053000 | #Constraints: 45694
2974.70/2982.95 c #Conflicts: 1054000 | #Constraints: 46694
2974.70/2982.95 c #Conflicts: 1055000 | #Constraints: 47694
2974.70/2982.95 c #Conflicts: 1056000 | #Constraints: 48694
2974.70/2982.95 c #Conflicts: 1057000 | #Constraints: 49694
2974.70/2982.95 c #Conflicts: 1058000 | #Constraints: 50694
2974.70/2982.95 c #Conflicts: 1059000 | #Constraints: 51694
2974.70/2982.95 c #Conflicts: 1060000 | #Constraints: 52694
2974.70/2982.95 c #Conflicts: 1061000 | #Constraints: 53694
2974.70/2982.95 c #Conflicts: 1062000 | #Constraints: 54694
2974.70/2982.95 c #Conflicts: 1063000 | #Constraints: 55694
2974.70/2982.95 c #Conflicts: 1064000 | #Constraints: 56694
2974.70/2982.95 c #Conflicts: 1065000 | #Constraints: 57694
2974.70/2982.95 c #Conflicts: 1066000 | #Constraints: 58694
2974.70/2982.95 c #Conflicts: 1067000 | #Constraints: 59694
2974.70/2982.95 c #Conflicts: 1068000 | #Constraints: 60694
2974.70/2982.95 c #Conflicts: 1069000 | #Constraints: 61694
2974.70/2982.95 c #Conflicts: 1070000 | #Constraints: 62694
2974.70/2982.95 c #Conflicts: 1071000 | #Constraints: 63694
2974.70/2982.95 c #Conflicts: 1072000 | #Constraints: 64694
2974.70/2982.95 c #Conflicts: 1073000 | #Constraints: 65694
2974.70/2982.95 c #Conflicts: 1074000 | #Constraints: 66694
2974.70/2982.95 c #Conflicts: 1075000 | #Constraints: 67694
2974.70/2982.95 c #Conflicts: 1076000 | #Constraints: 68694
2974.70/2982.95 c #Conflicts: 1077000 | #Constraints: 69694
3290.62/3299.66 c #Conflicts: 1078000 | #Constraints: 70694
3290.62/3299.66 c #Conflicts: 1079000 | #Constraints: 71694
3290.62/3299.66 c #Conflicts: 1080000 | #Constraints: 72694
3290.62/3299.66 c #Conflicts: 1081000 | #Constraints: 73694
3290.62/3299.66 c #Conflicts: 1082000 | #Constraints: 74694
3290.62/3299.66 c #Conflicts: 1083000 | #Constraints: 75694
3290.62/3299.66 c #Conflicts: 1084000 | #Constraints: 76694
3290.62/3299.66 c #Conflicts: 1085000 | #Constraints: 77694
3290.62/3299.66 c #Conflicts: 1086000 | #Constraints: 78694
3290.62/3299.66 c #Conflicts: 1087000 | #Constraints: 79694
3290.62/3299.66 c #Conflicts: 1088000 | #Constraints: 80694
3290.62/3299.66 c #Conflicts: 1089000 | #Constraints: 81694
3290.62/3299.66 c #Conflicts: 1090000 | #Constraints: 82694
3290.62/3299.66 c #Conflicts: 1091000 | #Constraints: 83694
3290.62/3299.66 c #Conflicts: 1092000 | #Constraints: 84694
3290.62/3299.66 c #Conflicts: 1093000 | #Constraints: 85694
3290.62/3299.66 c #Conflicts: 1094000 | #Constraints: 86694
3290.62/3299.66 c #Conflicts: 1095000 | #Constraints: 87694
3290.62/3299.66 c #Conflicts: 1096000 | #Constraints: 88694
3290.62/3299.66 c #Conflicts: 1097000 | #Constraints: 89694
3290.62/3299.66 c #Conflicts: 1098000 | #Constraints: 90694
3290.62/3299.66 c #Conflicts: 1099000 | #Constraints: 91694
3290.62/3299.66 c #Conflicts: 1100000 | #Constraints: 92694
3290.62/3299.66 c #Conflicts: 1101000 | #Constraints: 93694
3290.62/3299.66 c #Conflicts: 1102000 | #Constraints: 94694
3290.62/3299.66 c #Conflicts: 1103000 | #Constraints: 95694
3290.62/3299.66 c #Conflicts: 1104000 | #Constraints: 96694
3290.62/3299.66 c #Conflicts: 1105000 | #Constraints: 97694
3290.62/3299.66 c #Conflicts: 1106000 | #Constraints: 98694
3290.62/3299.66 c #Conflicts: 1107000 | #Constraints: 99694
3290.62/3299.66 c #Conflicts: 1108000 | #Constraints: 100694
3290.62/3299.66 c #Conflicts: 1109000 | #Constraints: 101694
3290.62/3299.66 c #Conflicts: 1110000 | #Constraints: 102694
3290.62/3299.66 c #Conflicts: 1111000 | #Constraints: 103694
3290.62/3299.66 c #Conflicts: 1112000 | #Constraints: 104694
3290.62/3299.66 c #Conflicts: 1113000 | #Constraints: 105694
3290.62/3299.66 c #Conflicts: 1114000 | #Constraints: 106694
3290.62/3299.66 c #Conflicts: 1115000 | #Constraints: 107694
3290.62/3299.66 c #Conflicts: 1116000 | #Constraints: 108694
3290.62/3299.66 c #Conflicts: 1117000 | #Constraints: 109694
3290.62/3299.66 c #Conflicts: 1118000 | #Constraints: 110694
3290.62/3299.66 c #Conflicts: 1119000 | #Constraints: 111694
3290.62/3299.66 c #Conflicts: 1120000 | #Constraints: 112694
3290.62/3299.66 c #Conflicts: 1121000 | #Constraints: 113694
3290.62/3299.66 c #Conflicts: 1122000 | #Constraints: 114694
3290.62/3299.66 c #Conflicts: 1123000 | #Constraints: 115694
3290.62/3299.66 c INPROCESSING
3290.62/3299.66 c GARBAGE COLLECT
3290.62/3299.66 c rational objective 1.11799e-13
3385.59/3394.80 c #Conflicts: 1124000 | #Constraints: 63860
3385.59/3394.80 c #Conflicts: 1125000 | #Constraints: 64860
3385.59/3394.80 c #Conflicts: 1126000 | #Constraints: 65860
3385.59/3394.80 c #Conflicts: 1127000 | #Constraints: 66860
3385.59/3394.80 c #Conflicts: 1128000 | #Constraints: 67860
3385.59/3394.80 c #Conflicts: 1129000 | #Constraints: 68860
3385.59/3394.80 c #Conflicts: 1130000 | #Constraints: 69860
3385.59/3394.80 c #Conflicts: 1131000 | #Constraints: 70860
3385.59/3394.80 c #Conflicts: 1132000 | #Constraints: 71860
3385.59/3394.80 c #Conflicts: 1133000 | #Constraints: 72860
3385.59/3394.80 c #Conflicts: 1134000 | #Constraints: 73860
3385.59/3394.80 c #Conflicts: 1135000 | #Constraints: 74860
3385.59/3394.80 c #Conflicts: 1136000 | #Constraints: 75860
3385.59/3394.80 c #Conflicts: 1137000 | #Constraints: 76860
3385.59/3394.80 c #Conflicts: 1138000 | #Constraints: 77860
3385.59/3394.80 c #Conflicts: 1139000 | #Constraints: 78860
3385.59/3394.80 c #Conflicts: 1140000 | #Constraints: 79860
3385.59/3394.80 c #Conflicts: 1141000 | #Constraints: 80860
3385.59/3394.80 c #Conflicts: 1142000 | #Constraints: 81860
3385.59/3394.80 c #Conflicts: 1143000 | #Constraints: 82860
3385.59/3394.80 c #Conflicts: 1144000 | #Constraints: 83860
3385.59/3394.80 c #Conflicts: 1145000 | #Constraints: 84860
3385.59/3394.80 c #Conflicts: 1146000 | #Constraints: 85860
3385.59/3394.80 c #Conflicts: 1147000 | #Constraints: 86860
3385.59/3394.80 c #Conflicts: 1148000 | #Constraints: 87860
3385.59/3394.80 c #Conflicts: 1149000 | #Constraints: 88860
3385.59/3394.80 c INPROCESSING
3385.59/3394.80 c GARBAGE COLLECT
3385.59/3394.80 c rational objective 0
3600.09/3609.80 c #Conflicts: 1150000 | #Constraints: 50173
3600.09/3609.80 c #Conflicts: 1151000 | #Constraints: 51173
3600.09/3609.80 c #Conflicts: 1152000 | #Constraints: 52173
3600.09/3609.80 c #Conflicts: 1153000 | #Constraints: 53173
3600.09/3609.80 c #Conflicts: 1154000 | #Constraints: 54173
3600.09/3609.80 c #Conflicts: 1155000 | #Constraints: 55173
3600.09/3609.80 c #Conflicts: 1156000 | #Constraints: 56173
3600.09/3609.80 c #Conflicts: 1157000 | #Constraints: 57173
3600.09/3609.80 c #Conflicts: 1158000 | #Constraints: 58173
3600.09/3609.80 c #Conflicts: 1159000 | #Constraints: 59173
3600.09/3609.80 c #Conflicts: 1160000 | #Constraints: 60173
3600.09/3609.80 c #Conflicts: 1161000 | #Constraints: 61173
3600.09/3609.80 c #Conflicts: 1162000 | #Constraints: 62173
3600.09/3609.80 c #Conflicts: 1163000 | #Constraints: 63173
3600.09/3609.80 c #Conflicts: 1164000 | #Constraints: 64173
3600.09/3609.80 c #Conflicts: 1165000 | #Constraints: 65173
3600.09/3609.80 c #Conflicts: 1166000 | #Constraints: 66173
3600.09/3609.80 c #Conflicts: 1167000 | #Constraints: 67173
3600.09/3609.80 c #Conflicts: 1168000 | #Constraints: 68173
3600.09/3609.80 c #Conflicts: 1169000 | #Constraints: 69173
3600.09/3609.80 c #Conflicts: 1170000 | #Constraints: 70173
3600.09/3609.80 c #Conflicts: 1171000 | #Constraints: 71173
3600.09/3609.80 c #Conflicts: 1172000 | #Constraints: 72173
3600.09/3609.80 c #Conflicts: 1173000 | #Constraints: 73173
3600.09/3609.80 c #Conflicts: 1174000 | #Constraints: 74173
3600.09/3609.80 c #Conflicts: 1175000 | #Constraints: 75173
3600.09/3609.80 c #Conflicts: 1176000 | #Constraints: 76174
3600.09/3609.80 c INPROCESSING
3600.09/3609.80 c GARBAGE COLLECT
3600.09/3609.80 c #Conflicts: 1177000 | #Constraints: 44533
3600.09/3609.80 c #Conflicts: 1178000 | #Constraints: 45533
3600.09/3609.80 c #Conflicts: 1179000 | #Constraints: 46533
3600.09/3609.80 c #Conflicts: 1180000 | #Constraints: 47533
3600.09/3609.80 c #Conflicts: 1181000 | #Constraints: 48533
3600.09/3609.80 c #Conflicts: 1182000 | #Constraints: 49533
3600.09/3609.80 c #Conflicts: 1183000 | #Constraints: 50533
3600.09/3609.80 c #Conflicts: 1184000 | #Constraints: 51533
3600.09/3609.80 c #Conflicts: 1185000 | #Constraints: 52533
3600.09/3609.80 c #Conflicts: 1186000 | #Constraints: 53533
3600.09/3609.80 c #Conflicts: 1187000 | #Constraints: 54533
3600.09/3609.80 c #Conflicts: 1188000 | #Constraints: 55533
3600.09/3609.80 c #Conflicts: 1189000 | #Constraints: 56533
3600.09/3609.80 c #Conflicts: 1190000 | #Constraints: 57533
3600.09/3609.80 c #Conflicts: 1191000 | #Constraints: 58533
3600.09/3609.80 c #Conflicts: 1192000 | #Constraints: 59533
3600.09/3609.80 c #Conflicts: 1193000 | #Constraints: 60533
3600.09/3609.80 c #Conflicts: 1194000 | #Constraints: 61533
3600.09/3609.80 c #Conflicts: 1195000 | #Constraints: 62533
3600.09/3609.80 c #Conflicts: 1196000 | #Constraints: 63533
3600.09/3609.80 c #Conflicts: 1197000 | #Constraints: 64533
3600.09/3609.80 c #Conflicts: 1198000 | #Constraints: 65533
3600.09/3609.80 c #Conflicts: 1199000 | #Constraints: 66533
3600.09/3609.80 c #Conflicts: 1200000 | #Constraints: 67533
3600.09/3609.80 c #Conflicts: 1201000 | #Constraints: 68533
3600.09/3609.80 c #Conflicts: 1202000 | #Constraints: 69533
3600.09/3609.80 c #Conflicts: 1203000 | #Constraints: 70533
3600.09/3609.80 c #Conflicts: 1204000 | #Constraints: 71533
3600.09/3609.80 c #Conflicts: 1205000 | #Constraints: 72533
3600.09/3609.80 c #Conflicts: 1206000 | #Constraints: 73533
3600.09/3609.80 c #Conflicts: 1207000 | #Constraints: 74533
3600.09/3609.80 c #Conflicts: 1208000 | #Constraints: 75533
3600.09/3609.80 c #Conflicts: 1209000 | #Constraints: 76533
3600.09/3609.80 c #Conflicts: 1210000 | #Constraints: 77533
3600.09/3609.80 c #Conflicts: 1211000 | #Constraints: 78533
3600.09/3609.80 c #Conflicts: 1212000 | #Constraints: 79533
3600.09/3609.80 c #Conflicts: 1213000 | #Constraints: 80533
3600.09/3609.80 c #Conflicts: 1214000 | #Constraints: 81533
3600.09/3609.80 c #Conflicts: 1215000 | #Constraints: 82533
3600.09/3609.80 c #Conflicts: 1216000 | #Constraints: 83533
3600.09/3609.80 c #Conflicts: 1217000 | #Constraints: 84533
3600.09/3609.80 c #Conflicts: 1218000 | #Constraints: 85533
3600.09/3609.80 c #Conflicts: 1219000 | #Constraints: 86533
3600.09/3609.80 c #Conflicts: 1220000 | #Constraints: 87533
3600.09/3609.80 c #Conflicts: 1221000 | #Constraints: 88533
3600.09/3609.80 c #Conflicts: 1222000 | #Constraints: 89533
3600.09/3609.80 c #Conflicts: 1223000 | #Constraints: 90533
3600.09/3609.80 c #Conflicts: 1224000 | #Constraints: 91533
3600.09/3609.80 c #Conflicts: 1225000 | #Constraints: 92533
3600.09/3609.80 c #Conflicts: 1226000 | #Constraints: 93533
3600.09/3609.80 c #Conflicts: 1227000 | #Constraints: 94533
3600.09/3609.80 c cpu time 3593.13 s
3600.09/3609.80 c deterministic time 86731776538 8.67e+10
3600.09/3609.80 c optimization time 145.88 s
3600.09/3609.80 c total solve time 3447.23 s
3600.09/3609.80 c core-guided solve time 0 s
3600.09/3609.80 c propagation time 1172.25 s
3600.09/3609.80 c conflict analysis time 2362.92 s
3600.09/3609.80 c propagations 648919032
3600.09/3609.80 c resolve steps 273319465
3600.09/3609.80 c decisions 1868072
3600.09/3609.80 c conflicts 1227666
3600.09/3609.80 c restarts 2301
3600.09/3609.80 c inprocessing phases 56
3600.09/3609.80 c garbage collections 56 ,( 100.00 )
3600.09/3609.80 c input clauses 6156 ,( 68.67 )
3600.09/3609.80 c input cardinalities 0 ,( 0.00 )
3600.09/3609.80 c input general constraints 2809 ,( 31.33 )
3600.09/3609.80 c input average constraint length 3.10
3600.09/3609.80 c input average constraint degree 2009414223033.63
3600.09/3609.80 c learned clauses 992409 ,( 80.84 )
3600.09/3609.80 c learned cardinalities 107 ,( 0.01 )
3600.09/3609.80 c learned general constraints 235160 ,( 19.15 )
3600.09/3609.80 c learned average constraint length 486.77
3600.09/3609.80 c learned average constraint degree 54565413.71
3600.09/3609.80 c watched CF 32, 64, 128, Arb: 55230 , 0 , 0 , 0
3600.09/3609.80 c counting CF 32, 64, 128, Arb: 182738 , 1 , 0 , 0
3600.09/3609.80 c watched constraints 55230 ,( 23.21 )
3600.09/3609.80 c counting constraints 182739 ,( 76.79 )
3600.09/3609.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 794241336 , 2296025 , 14370115938 ,( 120045546 , 14250070392 )
3600.09/3609.80 c gcd simplifications 21968
3600.09/3609.80 c detected cardinalities 23
3600.09/3609.80 c weakened non-implied lits 91143300
3600.09/3609.80 c weakened non-implying lits 393960
3600.09/3609.80 c original variables 4482
3600.09/3609.80 c clausal propagations 177642783
3600.09/3609.80 c cardinality propagations 91282
3600.09/3609.80 c watched propagations 1365643
3600.09/3609.80 c counting propagations 468581295
3600.09/3609.80 c watch lookups 54911140552
3600.09/3609.80 c watch backjump lookups 0
3600.09/3609.80 c watch checks 7108423966
3600.09/3609.80 c propagation checks 20992347699
3600.09/3609.80 c constraint additions 2416824669
3600.09/3609.80 c trail pops 652010857
3600.09/3609.80 c formula constraints 8965
3600.09/3609.80 c learned constraints 1227655
3600.09/3609.80 c bound constraints 0
3600.09/3609.80 c core-guided constraints 0
3600.09/3609.80 c encountered formula constraints 212992245
3600.09/3609.80 c encountered learned constraints 61368905
3600.09/3609.80 c encountered bound constraints 0
3600.09/3609.80 c encountered core-guided constraints 0
3600.09/3609.80 c LP total time 20.0171 s
3600.09/3609.80 c LP solve time 18.61 s
3600.09/3609.80 c LP constraints added 8965
3600.09/3609.80 c LP constraints removed 0
3600.09/3609.80 c LP pivots internal 122774
3600.09/3609.80 c LP pivots root 118916
3600.09/3609.80 c LP calls 272
3600.09/3609.80 c LP optimalities 257
3600.09/3609.80 c LP no pivot count 19
3600.09/3609.80 c LP infeasibilities 11
3600.09/3609.80 c LP valid Farkas constraints 11
3600.09/3609.80 c LP learned Farkas constraints 10
3600.09/3609.80 c LP basis resets 0
3600.09/3609.80 c LP cycling count 0
3600.09/3609.80 c LP singular count 0
3600.09/3609.80 c LP no primal count 0
3600.09/3609.80 c LP no farkas count 0
3600.09/3609.80 c LP other issue count 0
3600.09/3609.80 c LP Gomory cuts 0
3600.09/3609.80 c LP learned cuts 0
3600.09/3609.80 c LP deleted cuts 0
3600.09/3609.80 c LP encountered Gomory constraints 0
3600.09/3609.80 c LP encountered Farkas constraints 184322
3600.09/3609.80 c LP encountered learned Farkas constraints 1649
3600.09/3609.80 c CG auxiliary variables introduced 0
3600.09/3609.80 c CG solutions found 0
3600.09/3609.80 c CG cores constructed 0
3600.09/3609.80 c CG core cardinality constraints returned 0
3600.09/3609.80 c CG unit cores 0
3600.09/3609.80 c CG single cores 0
3600.09/3609.80 c CG blocks removed during cardinality reduction 0
3600.09/3609.80 c CG first core best 0
3600.09/3609.80 c CG decision core best 0
3600.09/3609.80 c CG core reduction tie 0
3600.09/3609.80 c CG core degree average 0.00
3600.09/3609.80 c CG core slack average 0.00
3600.09/3609.80 c CG core upper bound improvements 0
3600.09/3609.80 c STR number of successful calls 0
3600.09/3609.80 c STR number of unsuccessful calls 0
3600.09/3609.80 c STR number of inconclusive calls 0
3600.09/3609.80 c STR number of successful attempts 0
3600.09/3609.80 c STR number of unsuccessful attempts 0
3600.09/3609.80 c STR number of inconclusive attempts 0
3600.09/3609.80 c STR average degree increase per successful call inf
3600.09/3609.80 c STR average degree increase per successful attempt inf
3600.09/3609.80 c STR total number of conflicts for successful attempts 0
3600.09/3609.80 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.80 c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.80 c STR average number of conflicts per successful attempt inf
3600.09/3609.80 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.80 c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.80 c AVG.sumWPerc 66.88
3600.09/3609.80 c bigint constraints 1
3600.09/3609.80 s UNKNOWN
3600.09/3609.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61682 MiB free)
memory of node 1: 64465 MiB (63533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542077-1753211687/watcher-4542077-1753211687 -o /tmp/evaluation-result-4542077-1753211687/solver-4542077-1753211687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175478 --watchdog 3760 run-dec-break.sh HOME/instance-4542077-1753211687.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=175527, runsolver pid=175518
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.13 1.14 1.66 6/268 175543
/proc/meminfo: memFree=128161852/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=73328 memory=26228 CPUtime=0.05 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 3979 0 0 0 4 1 0 0 20 0 1 0 236848112 75087872 6557 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 18332 6557 2336 1147 0 5759 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 77520 KiB
Current children cumulated memory: 29172 KiB
[startup+0.204722 s]*
/proc/loadavg: 1.13 1.14 1.66 6/268 175543
/proc/meminfo: memFree=128151960/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=74396 memory=26996 CPUtime=0.15 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 4142 0 0 0 14 1 0 0 20 0 1 0 236848112 76181504 6749 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 18599 6749 2368 1147 0 6026 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 78588 KiB
Current children cumulated memory: 29940 KiB
[startup+0.305327 s]*
/proc/loadavg: 1.13 1.14 1.66 6/268 175543
/proc/meminfo: memFree=128147172/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=75636 memory=29428 CPUtime=0.25 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 4715 0 0 0 24 1 0 0 20 0 1 0 236848112 77451264 7357 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 18909 7357 2400 1147 0 6336 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 79828 KiB
Current children cumulated memory: 32372 KiB
[startup+0.700144 s]
/proc/loadavg: 1.13 1.14 1.66 6/268 175543
/proc/meminfo: memFree=128137092/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=76840 memory=31220 CPUtime=0.65 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 5178 0 0 0 63 2 0 0 20 0 1 0 236848112 78684160 7805 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 19210 7805 2400 1147 0 6637 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 81032 KiB
Current children cumulated memory: 34164 KiB
[startup+1.50014 s]
/proc/loadavg: 1.13 1.14 1.66 6/268 175544
/proc/meminfo: memFree=128066568/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=77376 memory=34432 CPUtime=1.44 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 5452 0 0 0 142 2 0 0 20 0 1 0 236848112 79233024 8608 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 19344 8608 2400 1147 0 6771 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 81568 KiB
Current children cumulated memory: 37376 KiB
[startup+3.10457 s]
/proc/loadavg: 1.36 1.18 1.67 6/268 175544
/proc/meminfo: memFree=128036024/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=78336 memory=35072 CPUtime=3.05 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 5606 0 0 0 302 3 0 0 20 0 1 0 236848112 80216064 8768 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 19584 8768 2400 1147 0 7011 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 82528 KiB
Current children cumulated memory: 38016 KiB
[startup+6.30014 s]
/proc/loadavg: 1.36 1.18 1.67 6/268 175544
/proc/meminfo: memFree=127992596/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=78788 memory=35584 CPUtime=6.23 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 5760 0 0 0 620 3 0 0 20 0 1 0 236848112 80678912 8896 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 19697 8896 2400 1147 0 7124 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 82980 KiB
Current children cumulated memory: 38528 KiB
[startup+12.7001 s]
/proc/loadavg: 1.57 1.23 1.68 6/268 175590
/proc/meminfo: memFree=127037004/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=83136 memory=37504 CPUtime=12.59 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 6216 0 0 0 1252 7 0 0 20 0 1 0 236848112 85131264 9376 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 20784 9376 2400 1147 0 8211 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 87328 KiB
Current children cumulated memory: 40448 KiB
[startup+25.5002 s]
/proc/loadavg: 2.19 1.38 1.73 6/269 175592
/proc/meminfo: memFree=124960876/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=85052 memory=39680 CPUtime=25.37 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 6787 0 0 0 2524 13 0 0 20 0 1 0 236848112 87093248 9920 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 21263 9920 2400 1147 0 8690 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 89244 KiB
Current children cumulated memory: 42624 KiB
[startup+51.1047 s]
/proc/loadavg: 2.81 1.59 1.79 6/269 175593
/proc/meminfo: memFree=124899988/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=117212 memory=63152 CPUtime=50.92 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 10608 0 0 0 5072 20 0 0 20 0 1 0 236848112 120025088 15788 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 29303 15788 2400 1147 0 16730 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 121404 KiB
Current children cumulated memory: 66096 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 1.98 1.91 6/270 175601
/proc/meminfo: memFree=124771992/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=128400 memory=84636 CPUtime=102 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 13445 0 0 0 10166 34 0 0 20 0 1 0 236848112 131481600 21159 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 32100 21159 2400 1147 0 19527 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 132592 KiB
Current children cumulated memory: 87580 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 2.40 2.06 6/270 175603
/proc/meminfo: memFree=124773652/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=153384 memory=92444 CPUtime=161.87 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 15395 0 0 0 16135 52 0 0 20 0 1 0 236848112 157065216 23111 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 38346 23111 2400 1147 0 25773 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 157576 KiB
Current children cumulated memory: 95388 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.71 2.19 6/270 175605
/proc/meminfo: memFree=124708532/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=154320 memory=93596 CPUtime=221.74 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 15683 0 0 0 22104 70 0 0 20 0 1 0 236848112 158023680 23399 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 38580 23399 2400 1147 0 26007 0
################
# More data... #
################
/proc/175542/statm: 167197 123257 2400 1147 0 154624 0
Current children cumulated CPU time: 3033.96 s
Current children cumulated vsize: 672980 KiB
Current children cumulated memory: 495972 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.04 6/268 175766
/proc/meminfo: memFree=123100284/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=670280 memory=494052 CPUtime=3093.81 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 66101 0 0 0 308757 624 0 0 20 0 1 0 236848112 686366720 123513 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 167570 123513 2400 1147 0 154997 0
Current children cumulated CPU time: 3093.81 s
Current children cumulated vsize: 674472 KiB
Current children cumulated memory: 496996 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.04 6/269 175769
/proc/meminfo: memFree=123067516/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=677004 memory=498660 CPUtime=3153.66 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 67260 0 0 0 314737 629 0 0 20 0 1 0 236848112 693252096 124665 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 169251 124665 2400 1147 0 156678 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 681196 KiB
Current children cumulated memory: 501604 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.05 6/268 175771
/proc/meminfo: memFree=123000988/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=682700 memory=525964 CPUtime=3213.52 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 68470 0 0 0 320716 636 0 0 20 0 1 0 236848112 699084800 131491 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 170675 131491 2400 1147 0 158102 0
Current children cumulated CPU time: 3213.52 s
Current children cumulated vsize: 686892 KiB
Current children cumulated memory: 528908 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.05 6/269 175774
/proc/meminfo: memFree=122940724/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=691088 memory=563264 CPUtime=3273.36 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 70128 0 0 0 326695 641 0 0 20 0 1 0 236848112 707674112 140816 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 172772 140816 2400 1147 0 160199 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 695280 KiB
Current children cumulated memory: 566208 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.05 6/269 175776
/proc/meminfo: memFree=122932800/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=697140 memory=576196 CPUtime=3333.21 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 71322 0 0 0 332669 652 0 0 20 0 1 0 236848112 713871360 144049 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 174285 144049 2400 1147 0 161712 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 701332 KiB
Current children cumulated memory: 579140 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.05 6/270 175779
/proc/meminfo: memFree=122932776/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=697140 memory=576580 CPUtime=3393.07 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 71399 0 0 0 338645 662 0 0 20 0 1 0 236848112 713871360 144145 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 174285 144145 2400 1147 0 161712 0
Current children cumulated CPU time: 3393.07 s
Current children cumulated vsize: 701332 KiB
Current children cumulated memory: 579524 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.05 6/268 175781
/proc/meminfo: memFree=122916108/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=697140 memory=576580 CPUtime=3452.92 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 71399 0 0 0 344620 672 0 0 20 0 1 0 236848112 713871360 144145 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 174285 144145 2400 1147 0 161712 0
Current children cumulated CPU time: 3452.92 s
Current children cumulated vsize: 701332 KiB
Current children cumulated memory: 579524 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.05 6/268 175783
/proc/meminfo: memFree=122899664/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=697140 memory=576580 CPUtime=3512.79 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 71404 0 0 0 350594 685 0 0 20 0 1 0 236848112 713871360 144145 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 174285 144145 2400 1147 0 161712 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 701332 KiB
Current children cumulated memory: 579524 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.05 6/267 175785
/proc/meminfo: memFree=122871668/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=697140 memory=576580 CPUtime=3572.66 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 71404 0 0 0 356573 693 0 0 20 0 1 0 236848112 713871360 144145 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 174285 144145 2400 1147 0 161712 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 701332 KiB
Current children cumulated memory: 579524 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.11 4.09 4.05 6/267 175785
/proc/meminfo: memFree=122871684/131250000 swapFree=33009904/33010684
[pid=175527] ppid=175518 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/175527/stat : 175527 (run-dec-break.s) S 175518 175527 175467 0 -1 4194304 236 2344 0 0 0 0 0 0 20 0 1 0 236848109 4292608 736 18446744073709551615 94701384577024 94701385471557 140727841374208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94701385710608 94701385758352 94701414019072 140727841376607 140727841376736 140727841376736 140727841382340 0
/proc/175527/statm: 1048 736 672 219 0 110 0
[pid=175542] ppid=175527 vsize=697140 memory=576580 CPUtime=3600.09 cores=4,6
/proc/175542/stat : 175542 (roundingsat) R 175527 175527 175467 0 -1 4194304 71404 0 0 0 359313 696 0 0 20 0 1 0 236848112 713871360 144145 18446744073709551615 4227072 8923433 140737262474016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10911744 140737262475586 140737262475814 140737262475814 140737262481386 0
/proc/175542/statm: 174285 144145 2400 1147 0 161712 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 701332 KiB
Current children cumulated memory: 579524 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.8 s]
# the end of solver process 175527 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.011195 s, system=0.005637 s
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 175542 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.15 s, system=6.97939 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.81
CPU time (s): 3600.13
CPU user time (s): 3593.15
CPU system time (s): 6.97939
CPU usage (%): 99.7318
Max. virtual memory (cumulated for all children) (KiB): 701332
Max. memory (cumulated for all children) (KiB): 579524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.15
system time used= 6.97939
maximum resident set size= 576964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74005
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 375
involuntary context switches= 2522
# summary of solver processes directly reported to runsolver:
# pid: 175527,175542
# total CPU time (s): 3600.13
# total CPU user time (s): 3593.15
# total CPU system time (s): 6.97939
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53922 second user time and 12.5515 second system time
The end
Begin job on nodeC033 at 2025-07-22 21:14:47
IDJOB=4542077
IDBENCH=163785
IDSOLVER=3357
FILE ID=nodeC033/4542077-1753211687
RUNJOBID= nodeC033-1753211687-175478
SLURM_JOB_ID= 9687798
Free space on /tmp= 432592 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_comm/normalized-27diagcomm_less_teq.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542077-1753211687/watcher-4542077-1753211687 -o /tmp/evaluation-result-4542077-1753211687/solver-4542077-1753211687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175478 --watchdog 3760 run-dec-break.sh HOME/instance-4542077-1753211687.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e80427fd7184340cbc2fb1b3fd72520e
RANDOM SEED=1445814348
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.325
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.073
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.066
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.048
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.060
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.040
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.461
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.068
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128222688 kB
MemAvailable: 129685312 kB
Buffers: 2128 kB
Cached: 2185872 kB
SwapCached: 64 kB
Active: 1293324 kB
Inactive: 958756 kB
Active(anon): 85024 kB
Inactive(anon): 5284 kB
Active(file): 1208300 kB
Inactive(file): 953472 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29808 kB
Writeback: 8 kB
AnonPages: 67200 kB
Mapped: 108492 kB
Shmem: 26228 kB
KReclaimable: 280180 kB
Slab: 378048 kB
SReclaimable: 280180 kB
SUnreclaim: 97868 kB
KernelStack: 4112 kB
PageTables: 2948 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 348476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432412 MiB
End job on nodeC033 at 2025-07-22 22:14:57