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-4542078-1753211729.opb'
0.00/0.03 c read 0.20MB (9.53ms)
0.00/0.03 c [cnf: #variables 4482 #clauses 6670 #duplicates 0 #arr 19062]
0.00/0.03 c output proof to '/tmp/proof-4542078-1753211729'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 0] (14.83ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.04 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.05 c (2.13ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 24491 #edges 64802]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.05 c [group: #symmetries 1.00*10^0 #generators 0] (3.67ms)
0.00/0.05 c
0.00/0.05 c finalize break order and special generators
0.00/0.05 c
0.00/0.05 c generation finished
0.00/0.05 c [sbp: #constraints 0 #add_vars 0]
0.00/0.05 c
0.00/0.05 c write result to 'HOME/instance-4542078-1753211729.opb.pre'
0.00/0.05 c wrote 0.21MB (1.56ms)
0.00/0.05 c ------------------------------------------------------------------
0.00/0.05 c 14.83ms 44.12% approx_orbits
0.00/0.05 c 9.52ms 28.34% parse
0.00/0.05 c 3.67ms 10.93% detect_generic
0.00/0.05 c 2.13ms 6.35% detect_special
0.00/0.05 c 1.56ms 4.63% output
0.00/0.05 c 1.46ms 4.34% other
0.00/0.05 c 0.43ms 1.29% finalize_order
0.00/0.05 c ───────────────────────────────────────────────
0.00/0.05 c 33.61ms 100% total
0.00/0.05 c ------------------------------------------------------------------
0.00/0.07 c RoundingSat 2
0.00/0.07 c branch pb25
0.00/0.07 c commit 63f22ad
0.07/0.16 c #variables 4482 #constraints 8965
0.07/0.17 c rational objective 0
119.61/120.08 c #Conflicts: 1000 | #Constraints: 9965
119.61/120.08 c #Conflicts: 2000 | #Constraints: 10965
119.61/120.08 c INPROCESSING
119.61/120.08 c GARBAGE COLLECT
119.61/120.08 c #Conflicts: 3000 | #Constraints: 10987
119.61/120.08 c #Conflicts: 4000 | #Constraints: 11987
119.61/120.08 c INPROCESSING
119.61/120.08 c GARBAGE COLLECT
119.61/120.08 c #Conflicts: 5000 | #Constraints: 11423
119.61/120.08 c #Conflicts: 6000 | #Constraints: 12423
119.61/120.08 c INPROCESSING
119.61/120.08 c GARBAGE COLLECT
119.61/120.08 c #Conflicts: 7000 | #Constraints: 11447
119.61/120.08 c #Conflicts: 8000 | #Constraints: 12447
119.61/120.08 c #Conflicts: 9000 | #Constraints: 13447
119.61/120.08 c INPROCESSING
119.61/120.08 c GARBAGE COLLECT
119.61/120.08 c #Conflicts: 10000 | #Constraints: 12161
119.61/120.08 c #Conflicts: 11000 | #Constraints: 13161
119.61/120.08 c #Conflicts: 12000 | #Constraints: 14161
119.61/120.08 c INPROCESSING
119.61/120.08 c GARBAGE COLLECT
119.61/120.08 c #Conflicts: 13000 | #Constraints: 12638
119.61/120.08 c #Conflicts: 14000 | #Constraints: 13638
119.61/120.08 c #Conflicts: 15000 | #Constraints: 14638
119.61/120.08 c INPROCESSING
119.61/120.08 c GARBAGE COLLECT
119.61/120.08 c #Conflicts: 16000 | #Constraints: 12886
119.61/120.08 c #Conflicts: 17000 | #Constraints: 13886
119.61/120.08 c #Conflicts: 18000 | #Constraints: 14886
119.61/120.08 c INPROCESSING
119.61/120.08 c GARBAGE COLLECT
119.61/120.08 c #Conflicts: 19000 | #Constraints: 12911
119.61/120.08 c #Conflicts: 20000 | #Constraints: 13911
119.61/120.08 c #Conflicts: 21000 | #Constraints: 14911
119.61/120.08 c INPROCESSING
119.61/120.08 c GARBAGE COLLECT
119.61/120.08 c #Conflicts: 22000 | #Constraints: 12742
119.61/120.08 c #Conflicts: 23000 | #Constraints: 13742
119.61/120.08 c #Conflicts: 24000 | #Constraints: 14742
119.61/120.08 c #Conflicts: 25000 | #Constraints: 15742
119.61/120.08 c INPROCESSING
119.61/120.08 c GARBAGE COLLECT
119.61/120.08 c #Conflicts: 26000 | #Constraints: 13367
119.61/120.08 c #Conflicts: 27000 | #Constraints: 14367
119.61/120.08 c #Conflicts: 28000 | #Constraints: 15367
119.61/120.08 c #Conflicts: 29000 | #Constraints: 16367
119.61/120.08 c INPROCESSING
119.61/120.08 c GARBAGE COLLECT
119.61/120.08 c #Conflicts: 30000 | #Constraints: 13771
119.61/120.08 c #Conflicts: 31000 | #Constraints: 14771
119.61/120.08 c #Conflicts: 32000 | #Constraints: 15771
119.61/120.08 c #Conflicts: 33000 | #Constraints: 16771
119.61/120.08 c #Conflicts: 34000 | #Constraints: 17771
119.61/120.08 c #Conflicts: 35000 | #Constraints: 18771
119.61/120.08 c #Conflicts: 36000 | #Constraints: 19771
119.61/120.08 c #Conflicts: 37000 | #Constraints: 20771
119.61/120.08 c #Conflicts: 38000 | #Constraints: 21771
119.61/120.08 c #Conflicts: 39000 | #Constraints: 22771
119.61/120.08 c #Conflicts: 40000 | #Constraints: 23771
119.61/120.08 c #Conflicts: 41000 | #Constraints: 24771
119.61/120.08 c #Conflicts: 42000 | #Constraints: 25771
119.61/120.08 c INPROCESSING
119.61/120.08 c GARBAGE COLLECT
119.61/120.08 c #Conflicts: 43000 | #Constraints: 18079
119.61/120.08 c #Conflicts: 44000 | #Constraints: 19079
119.61/120.08 c #Conflicts: 45000 | #Constraints: 20079
119.61/120.08 c #Conflicts: 46000 | #Constraints: 21079
119.61/120.08 c #Conflicts: 47000 | #Constraints: 22079
119.61/120.08 c #Conflicts: 48000 | #Constraints: 23079
119.61/120.08 c INPROCESSING
119.61/120.08 c GARBAGE COLLECT
119.61/120.08 c #Conflicts: 49000 | #Constraints: 17177
119.61/120.08 c #Conflicts: 50000 | #Constraints: 18177
119.61/120.08 c #Conflicts: 51000 | #Constraints: 19177
119.61/120.08 c #Conflicts: 52000 | #Constraints: 20177
119.61/120.08 c #Conflicts: 53000 | #Constraints: 21177
119.61/120.08 c INPROCESSING
119.61/120.08 c GARBAGE COLLECT
119.61/120.08 c #Conflicts: 54000 | #Constraints: 16089
119.61/120.08 c #Conflicts: 55000 | #Constraints: 17089
119.61/120.08 c #Conflicts: 56000 | #Constraints: 18089
119.61/120.08 c #Conflicts: 57000 | #Constraints: 19089
119.61/120.08 c #Conflicts: 58000 | #Constraints: 20089
119.61/120.08 c INPROCESSING
119.61/120.08 c GARBAGE COLLECT
119.61/120.08 c #Conflicts: 59000 | #Constraints: 15315
119.61/120.08 c #Conflicts: 60000 | #Constraints: 16315
119.61/120.08 c #Conflicts: 61000 | #Constraints: 17315
119.61/120.08 c #Conflicts: 62000 | #Constraints: 18315
119.61/120.08 c #Conflicts: 63000 | #Constraints: 19315
119.61/120.08 c #Conflicts: 64000 | #Constraints: 20315
119.61/120.08 c #Conflicts: 65000 | #Constraints: 21315
119.61/120.08 c #Conflicts: 66000 | #Constraints: 22315
119.61/120.08 c #Conflicts: 67000 | #Constraints: 23315
119.61/120.08 c #Conflicts: 68000 | #Constraints: 24315
119.61/120.08 c #Conflicts: 69000 | #Constraints: 25315
119.61/120.08 c #Conflicts: 70000 | #Constraints: 26315
134.05/134.55 c #Conflicts: 71000 | #Constraints: 27315
134.05/134.55 c #Conflicts: 72000 | #Constraints: 28315
134.05/134.55 c #Conflicts: 73000 | #Constraints: 29315
134.05/134.55 c #Conflicts: 74000 | #Constraints: 30315
134.05/134.55 c #Conflicts: 75000 | #Constraints: 31315
134.05/134.55 c #Conflicts: 76000 | #Constraints: 32315
134.05/134.55 c #Conflicts: 77000 | #Constraints: 33315
134.05/134.55 c #Conflicts: 78000 | #Constraints: 34315
134.05/134.55 c INPROCESSING
134.05/134.55 c GARBAGE COLLECT
134.05/134.55 c rational objective 0
281.55/282.43 c #Conflicts: 79000 | #Constraints: 22885
281.55/282.43 c #Conflicts: 80000 | #Constraints: 23885
281.55/282.43 c #Conflicts: 81000 | #Constraints: 24885
281.55/282.43 c #Conflicts: 82000 | #Constraints: 25885
281.55/282.43 c #Conflicts: 83000 | #Constraints: 26885
281.55/282.43 c #Conflicts: 84000 | #Constraints: 27885
281.55/282.43 c INPROCESSING
281.55/282.43 c GARBAGE COLLECT
281.55/282.43 c #Conflicts: 85000 | #Constraints: 19301
281.55/282.43 c #Conflicts: 86000 | #Constraints: 20301
281.55/282.43 c #Conflicts: 87000 | #Constraints: 21301
281.55/282.43 c #Conflicts: 88000 | #Constraints: 22301
281.55/282.43 c #Conflicts: 89000 | #Constraints: 23301
281.55/282.43 c #Conflicts: 90000 | #Constraints: 24301
281.55/282.43 c #Conflicts: 91000 | #Constraints: 25301
281.55/282.43 c INPROCESSING
281.55/282.43 c GARBAGE COLLECT
281.55/282.43 c #Conflicts: 92000 | #Constraints: 17988
281.55/282.43 c #Conflicts: 93000 | #Constraints: 18988
281.55/282.43 c #Conflicts: 94000 | #Constraints: 19988
281.55/282.43 c #Conflicts: 95000 | #Constraints: 20988
281.55/282.43 c #Conflicts: 96000 | #Constraints: 21988
281.55/282.43 c #Conflicts: 97000 | #Constraints: 22988
281.55/282.43 c #Conflicts: 98000 | #Constraints: 23988
281.55/282.43 c #Conflicts: 99000 | #Constraints: 24988
281.55/282.43 c #Conflicts: 100000 | #Constraints: 25988
281.55/282.43 c #Conflicts: 101000 | #Constraints: 26988
281.55/282.43 c #Conflicts: 102000 | #Constraints: 27988
281.55/282.43 c #Conflicts: 103000 | #Constraints: 28988
281.55/282.43 c #Conflicts: 104000 | #Constraints: 29988
281.55/282.43 c #Conflicts: 105000 | #Constraints: 30988
281.55/282.43 c #Conflicts: 106000 | #Constraints: 31988
281.55/282.43 c #Conflicts: 107000 | #Constraints: 32988
281.55/282.43 c #Conflicts: 108000 | #Constraints: 33988
281.55/282.43 c #Conflicts: 109000 | #Constraints: 34988
281.55/282.43 c #Conflicts: 110000 | #Constraints: 35988
281.55/282.43 c #Conflicts: 111000 | #Constraints: 36988
281.55/282.43 c #Conflicts: 112000 | #Constraints: 37988
281.55/282.43 c #Conflicts: 113000 | #Constraints: 38988
281.55/282.43 c #Conflicts: 114000 | #Constraints: 39988
281.55/282.43 c #Conflicts: 115000 | #Constraints: 40988
281.55/282.43 c INPROCESSING
281.55/282.43 c GARBAGE COLLECT
281.55/282.43 c #Conflicts: 116000 | #Constraints: 26145
281.55/282.43 c #Conflicts: 117000 | #Constraints: 27145
281.55/282.43 c #Conflicts: 118000 | #Constraints: 28145
281.55/282.43 c #Conflicts: 119000 | #Constraints: 29145
281.55/282.43 c #Conflicts: 120000 | #Constraints: 30145
281.55/282.43 c #Conflicts: 121000 | #Constraints: 31145
281.55/282.43 c #Conflicts: 122000 | #Constraints: 32145
281.55/282.43 c #Conflicts: 123000 | #Constraints: 33145
281.55/282.43 c INPROCESSING
281.55/282.43 c GARBAGE COLLECT
281.55/282.43 c #Conflicts: 124000 | #Constraints: 22069
281.55/282.43 c #Conflicts: 125000 | #Constraints: 23069
281.55/282.43 c #Conflicts: 126000 | #Constraints: 24069
281.55/282.43 c #Conflicts: 127000 | #Constraints: 25069
281.55/282.43 c #Conflicts: 128000 | #Constraints: 26069
281.55/282.43 c #Conflicts: 129000 | #Constraints: 27069
281.55/282.43 c #Conflicts: 130000 | #Constraints: 28069
281.55/282.43 c #Conflicts: 131000 | #Constraints: 29069
281.55/282.43 c #Conflicts: 132000 | #Constraints: 30069
281.55/282.43 c INPROCESSING
281.55/282.43 c GARBAGE COLLECT
281.55/282.43 c #Conflicts: 133000 | #Constraints: 20807
281.55/282.43 c #Conflicts: 134000 | #Constraints: 21807
281.55/282.43 c #Conflicts: 135000 | #Constraints: 22807
281.55/282.43 c #Conflicts: 136000 | #Constraints: 23807
281.55/282.43 c #Conflicts: 137000 | #Constraints: 24807
281.55/282.43 c #Conflicts: 138000 | #Constraints: 25807
281.55/282.43 c #Conflicts: 139000 | #Constraints: 26807
281.55/282.43 c #Conflicts: 140000 | #Constraints: 27807
281.55/282.43 c #Conflicts: 141000 | #Constraints: 28807
281.55/282.43 c #Conflicts: 142000 | #Constraints: 29807
281.55/282.43 c #Conflicts: 143000 | #Constraints: 30807
281.55/282.43 c #Conflicts: 144000 | #Constraints: 31807
281.55/282.43 c #Conflicts: 145000 | #Constraints: 32807
281.55/282.43 c #Conflicts: 146000 | #Constraints: 33807
281.55/282.43 c #Conflicts: 147000 | #Constraints: 34807
281.55/282.43 c #Conflicts: 148000 | #Constraints: 35807
281.55/282.43 c #Conflicts: 149000 | #Constraints: 36807
281.55/282.43 c #Conflicts: 150000 | #Constraints: 37807
281.55/282.43 c #Conflicts: 151000 | #Constraints: 38807
281.55/282.43 c #Conflicts: 152000 | #Constraints: 39807
281.55/282.43 c #Conflicts: 153000 | #Constraints: 40807
281.55/282.43 c #Conflicts: 154000 | #Constraints: 41807
424.49/425.87 c #Conflicts: 155000 | #Constraints: 42807
424.49/425.87 c #Conflicts: 156000 | #Constraints: 43807
424.49/425.87 c #Conflicts: 157000 | #Constraints: 44807
424.49/425.87 c #Conflicts: 158000 | #Constraints: 45807
424.49/425.87 c #Conflicts: 159000 | #Constraints: 46807
424.49/425.87 c INPROCESSING
424.49/425.87 c GARBAGE COLLECT
424.49/425.87 c #Conflicts: 160000 | #Constraints: 28867
424.49/425.87 c #Conflicts: 161000 | #Constraints: 29867
424.49/425.87 c #Conflicts: 162000 | #Constraints: 30867
424.49/425.87 c #Conflicts: 163000 | #Constraints: 31867
424.49/425.87 c #Conflicts: 164000 | #Constraints: 32867
424.49/425.87 c #Conflicts: 165000 | #Constraints: 33867
424.49/425.87 c #Conflicts: 166000 | #Constraints: 34867
424.49/425.87 c #Conflicts: 167000 | #Constraints: 35867
424.49/425.87 c #Conflicts: 168000 | #Constraints: 36867
424.49/425.87 c #Conflicts: 169000 | #Constraints: 37867
424.49/425.87 c INPROCESSING
424.49/425.87 c GARBAGE COLLECT
424.49/425.87 c #Conflicts: 170000 | #Constraints: 24521
424.49/425.87 c #Conflicts: 171000 | #Constraints: 25521
424.49/425.87 c #Conflicts: 172000 | #Constraints: 26521
424.49/425.87 c #Conflicts: 173000 | #Constraints: 27521
424.49/425.87 c #Conflicts: 174000 | #Constraints: 28521
424.49/425.87 c #Conflicts: 175000 | #Constraints: 29521
424.49/425.87 c #Conflicts: 176000 | #Constraints: 30521
424.49/425.87 c #Conflicts: 177000 | #Constraints: 31521
424.49/425.87 c #Conflicts: 178000 | #Constraints: 32521
424.49/425.87 c #Conflicts: 179000 | #Constraints: 33521
424.49/425.87 c INPROCESSING
424.49/425.87 c GARBAGE COLLECT
424.49/425.87 c #Conflicts: 180000 | #Constraints: 22377
424.49/425.87 c #Conflicts: 181000 | #Constraints: 23377
424.49/425.87 c #Conflicts: 182000 | #Constraints: 24377
424.49/425.87 c #Conflicts: 183000 | #Constraints: 25377
424.49/425.87 c #Conflicts: 184000 | #Constraints: 26377
424.49/425.87 c #Conflicts: 185000 | #Constraints: 27377
424.49/425.87 c #Conflicts: 186000 | #Constraints: 28377
424.49/425.87 c #Conflicts: 187000 | #Constraints: 29377
424.49/425.87 c #Conflicts: 188000 | #Constraints: 30377
424.49/425.87 c #Conflicts: 189000 | #Constraints: 31377
424.49/425.87 c #Conflicts: 190000 | #Constraints: 32377
424.49/425.87 c #Conflicts: 191000 | #Constraints: 33377
424.49/425.87 c #Conflicts: 192000 | #Constraints: 34377
424.49/425.87 c #Conflicts: 193000 | #Constraints: 35377
424.49/425.87 c #Conflicts: 194000 | #Constraints: 36377
424.49/425.87 c #Conflicts: 195000 | #Constraints: 37377
424.49/425.87 c #Conflicts: 196000 | #Constraints: 38377
424.49/425.87 c #Conflicts: 197000 | #Constraints: 39377
424.49/425.87 c #Conflicts: 198000 | #Constraints: 40377
424.49/425.87 c #Conflicts: 199000 | #Constraints: 41377
424.49/425.87 c #Conflicts: 200000 | #Constraints: 42377
424.49/425.87 c #Conflicts: 201000 | #Constraints: 43377
424.49/425.87 c #Conflicts: 202000 | #Constraints: 44377
424.49/425.87 c #Conflicts: 203000 | #Constraints: 45377
424.49/425.87 c #Conflicts: 204000 | #Constraints: 46377
424.49/425.87 c #Conflicts: 205000 | #Constraints: 47377
424.49/425.87 c #Conflicts: 206000 | #Constraints: 48377
424.49/425.87 c #Conflicts: 207000 | #Constraints: 49377
424.49/425.87 c #Conflicts: 208000 | #Constraints: 50377
424.49/425.87 c #Conflicts: 209000 | #Constraints: 51377
424.49/425.87 c #Conflicts: 210000 | #Constraints: 52377
424.49/425.87 c #Conflicts: 211000 | #Constraints: 53377
424.49/425.87 c INPROCESSING
424.49/425.87 c GARBAGE COLLECT
424.49/425.87 c rational objective -1.11799e-13
463.15/464.65 c #Conflicts: 212000 | #Constraints: 32448
463.15/464.65 c #Conflicts: 213000 | #Constraints: 33448
463.15/464.65 c #Conflicts: 214000 | #Constraints: 34448
463.15/464.65 c #Conflicts: 215000 | #Constraints: 35448
463.15/464.65 c #Conflicts: 216000 | #Constraints: 36448
463.15/464.65 c #Conflicts: 217000 | #Constraints: 37448
463.15/464.65 c #Conflicts: 218000 | #Constraints: 38448
463.15/464.65 c #Conflicts: 219000 | #Constraints: 39448
463.15/464.65 c #Conflicts: 220000 | #Constraints: 40448
463.15/464.65 c #Conflicts: 221000 | #Constraints: 41448
463.15/464.65 c #Conflicts: 222000 | #Constraints: 42448
463.15/464.65 c INPROCESSING
463.15/464.65 c GARBAGE COLLECT
463.15/464.65 c #Conflicts: 223000 | #Constraints: 26775
463.15/464.65 c #Conflicts: 224000 | #Constraints: 27775
463.15/464.65 c #Conflicts: 225000 | #Constraints: 28775
463.15/464.65 c #Conflicts: 226000 | #Constraints: 29775
463.15/464.65 c #Conflicts: 227000 | #Constraints: 30775
463.15/464.65 c #Conflicts: 228000 | #Constraints: 31775
463.15/464.65 c #Conflicts: 229000 | #Constraints: 32775
463.15/464.65 c #Conflicts: 230000 | #Constraints: 33775
463.15/464.65 c #Conflicts: 231000 | #Constraints: 34775
463.15/464.65 c #Conflicts: 232000 | #Constraints: 35775
463.15/464.65 c #Conflicts: 233000 | #Constraints: 36775
463.15/464.65 c #Conflicts: 234000 | #Constraints: 37775
463.15/464.65 c INPROCESSING
463.15/464.65 c GARBAGE COLLECT
463.15/464.65 c rational objective -1.11799e-13
545.40/547.16 c #Conflicts: 235000 | #Constraints: 24728
545.40/547.16 c #Conflicts: 236000 | #Constraints: 25728
545.40/547.16 c #Conflicts: 237000 | #Constraints: 26728
545.40/547.16 c #Conflicts: 238000 | #Constraints: 27728
545.40/547.16 c #Conflicts: 239000 | #Constraints: 28728
545.40/547.16 c #Conflicts: 240000 | #Constraints: 29728
545.40/547.16 c #Conflicts: 241000 | #Constraints: 30728
545.40/547.16 c #Conflicts: 242000 | #Constraints: 31728
545.40/547.16 c #Conflicts: 243000 | #Constraints: 32728
545.40/547.16 c #Conflicts: 244000 | #Constraints: 33728
545.40/547.16 c #Conflicts: 245000 | #Constraints: 34728
545.40/547.16 c #Conflicts: 246000 | #Constraints: 35728
545.40/547.16 c #Conflicts: 247000 | #Constraints: 36728
545.40/547.16 c #Conflicts: 248000 | #Constraints: 37728
545.40/547.16 c #Conflicts: 249000 | #Constraints: 38728
545.40/547.16 c #Conflicts: 250000 | #Constraints: 39728
545.40/547.16 c #Conflicts: 251000 | #Constraints: 40728
545.40/547.16 c #Conflicts: 252000 | #Constraints: 41728
545.40/547.16 c #Conflicts: 253000 | #Constraints: 42728
545.40/547.16 c #Conflicts: 254000 | #Constraints: 43728
545.40/547.16 c #Conflicts: 255000 | #Constraints: 44728
545.40/547.16 c #Conflicts: 256000 | #Constraints: 45728
545.40/547.16 c #Conflicts: 257000 | #Constraints: 46728
545.40/547.16 c #Conflicts: 258000 | #Constraints: 47728
545.40/547.16 c #Conflicts: 259000 | #Constraints: 48728
545.40/547.16 c #Conflicts: 260000 | #Constraints: 49728
545.40/547.16 c #Conflicts: 261000 | #Constraints: 50728
545.40/547.16 c #Conflicts: 262000 | #Constraints: 51728
545.40/547.16 c #Conflicts: 263000 | #Constraints: 52728
545.40/547.16 c #Conflicts: 264000 | #Constraints: 53728
545.40/547.16 c #Conflicts: 265000 | #Constraints: 54728
545.40/547.16 c #Conflicts: 266000 | #Constraints: 55728
545.40/547.16 c #Conflicts: 267000 | #Constraints: 56728
545.40/547.16 c #Conflicts: 268000 | #Constraints: 57728
545.40/547.16 c #Conflicts: 269000 | #Constraints: 58728
545.40/547.16 c #Conflicts: 270000 | #Constraints: 59728
545.40/547.16 c INPROCESSING
545.40/547.16 c GARBAGE COLLECT
545.40/547.16 c rational objective -1.11799e-13
764.25/766.72 c #Conflicts: 271000 | #Constraints: 35714
764.25/766.72 c #Conflicts: 272000 | #Constraints: 36714
764.25/766.72 c #Conflicts: 273000 | #Constraints: 37714
764.25/766.72 c #Conflicts: 274000 | #Constraints: 38714
764.25/766.72 c #Conflicts: 275000 | #Constraints: 39714
764.25/766.72 c #Conflicts: 276000 | #Constraints: 40714
764.25/766.72 c #Conflicts: 277000 | #Constraints: 41714
764.25/766.72 c #Conflicts: 278000 | #Constraints: 42714
764.25/766.72 c #Conflicts: 279000 | #Constraints: 43714
764.25/766.72 c #Conflicts: 280000 | #Constraints: 44714
764.25/766.72 c #Conflicts: 281000 | #Constraints: 45714
764.25/766.72 c #Conflicts: 282000 | #Constraints: 46714
764.25/766.72 c INPROCESSING
764.25/766.72 c GARBAGE COLLECT
764.25/766.72 c #Conflicts: 283000 | #Constraints: 28833
764.25/766.72 c #Conflicts: 284000 | #Constraints: 29833
764.25/766.72 c #Conflicts: 285000 | #Constraints: 30833
764.25/766.72 c #Conflicts: 286000 | #Constraints: 31833
764.25/766.72 c #Conflicts: 287000 | #Constraints: 32833
764.25/766.72 c #Conflicts: 288000 | #Constraints: 33833
764.25/766.72 c #Conflicts: 289000 | #Constraints: 34833
764.25/766.72 c #Conflicts: 290000 | #Constraints: 35833
764.25/766.72 c #Conflicts: 291000 | #Constraints: 36833
764.25/766.72 c #Conflicts: 292000 | #Constraints: 37833
764.25/766.72 c #Conflicts: 293000 | #Constraints: 38833
764.25/766.72 c #Conflicts: 294000 | #Constraints: 39833
764.25/766.72 c #Conflicts: 295000 | #Constraints: 40833
764.25/766.72 c INPROCESSING
764.25/766.72 c GARBAGE COLLECT
764.25/766.72 c #Conflicts: 296000 | #Constraints: 25897
764.25/766.72 c #Conflicts: 297000 | #Constraints: 26897
764.25/766.72 c #Conflicts: 298000 | #Constraints: 27897
764.25/766.72 c #Conflicts: 299000 | #Constraints: 28897
764.25/766.72 c #Conflicts: 300000 | #Constraints: 29897
764.25/766.72 c #Conflicts: 301000 | #Constraints: 30897
764.25/766.72 c #Conflicts: 302000 | #Constraints: 31897
764.25/766.72 c #Conflicts: 303000 | #Constraints: 32897
764.25/766.72 c #Conflicts: 304000 | #Constraints: 33897
764.25/766.72 c #Conflicts: 305000 | #Constraints: 34897
764.25/766.72 c #Conflicts: 306000 | #Constraints: 35897
764.25/766.72 c #Conflicts: 307000 | #Constraints: 36897
764.25/766.72 c #Conflicts: 308000 | #Constraints: 37897
764.25/766.72 c #Conflicts: 309000 | #Constraints: 38897
764.25/766.72 c #Conflicts: 310000 | #Constraints: 39897
764.25/766.72 c #Conflicts: 311000 | #Constraints: 40897
764.25/766.72 c #Conflicts: 312000 | #Constraints: 41897
764.25/766.72 c #Conflicts: 313000 | #Constraints: 42897
764.25/766.72 c #Conflicts: 314000 | #Constraints: 43897
764.25/766.72 c #Conflicts: 315000 | #Constraints: 44897
764.25/766.72 c #Conflicts: 316000 | #Constraints: 45897
764.25/766.72 c #Conflicts: 317000 | #Constraints: 46897
764.25/766.72 c #Conflicts: 318000 | #Constraints: 47897
764.25/766.72 c #Conflicts: 319000 | #Constraints: 48897
764.25/766.72 c #Conflicts: 320000 | #Constraints: 49897
764.25/766.72 c #Conflicts: 321000 | #Constraints: 50897
764.25/766.72 c #Conflicts: 322000 | #Constraints: 51897
764.25/766.72 c #Conflicts: 323000 | #Constraints: 52897
764.25/766.72 c #Conflicts: 324000 | #Constraints: 53897
764.25/766.72 c #Conflicts: 325000 | #Constraints: 54897
764.25/766.72 c #Conflicts: 326000 | #Constraints: 55897
764.25/766.72 c #Conflicts: 327000 | #Constraints: 56897
764.25/766.72 c #Conflicts: 328000 | #Constraints: 57897
764.25/766.73 c #Conflicts: 329000 | #Constraints: 58897
764.25/766.73 c #Conflicts: 330000 | #Constraints: 59897
764.25/766.73 c #Conflicts: 331000 | #Constraints: 60897
764.25/766.73 c #Conflicts: 332000 | #Constraints: 61897
764.25/766.73 c #Conflicts: 333000 | #Constraints: 62897
764.25/766.73 c #Conflicts: 334000 | #Constraints: 63897
764.25/766.73 c #Conflicts: 335000 | #Constraints: 64897
764.25/766.73 c #Conflicts: 336000 | #Constraints: 65898
764.25/766.73 c INPROCESSING
764.25/766.73 c GARBAGE COLLECT
764.25/766.73 c #Conflicts: 337000 | #Constraints: 38847
764.25/766.73 c #Conflicts: 338000 | #Constraints: 39847
764.25/766.73 c #Conflicts: 339000 | #Constraints: 40847
764.25/766.73 c #Conflicts: 340000 | #Constraints: 41847
764.25/766.73 c #Conflicts: 341000 | #Constraints: 42847
764.25/766.73 c #Conflicts: 342000 | #Constraints: 43847
764.25/766.73 c #Conflicts: 343000 | #Constraints: 44847
764.25/766.73 c #Conflicts: 344000 | #Constraints: 45847
764.25/766.73 c #Conflicts: 345000 | #Constraints: 46847
764.25/766.73 c #Conflicts: 346000 | #Constraints: 47847
764.25/766.73 c #Conflicts: 347000 | #Constraints: 48847
923.74/926.75 c #Conflicts: 348000 | #Constraints: 49847
923.74/926.75 c #Conflicts: 349000 | #Constraints: 50847
923.74/926.75 c #Conflicts: 350000 | #Constraints: 51847
923.74/926.75 c INPROCESSING
923.74/926.75 c GARBAGE COLLECT
923.74/926.75 c #Conflicts: 351000 | #Constraints: 31718
923.74/926.75 c #Conflicts: 352000 | #Constraints: 32718
923.74/926.75 c #Conflicts: 353000 | #Constraints: 33718
923.74/926.75 c #Conflicts: 354000 | #Constraints: 34718
923.74/926.75 c #Conflicts: 355000 | #Constraints: 35718
923.74/926.75 c #Conflicts: 356000 | #Constraints: 36718
923.74/926.75 c #Conflicts: 357000 | #Constraints: 37718
923.74/926.75 c #Conflicts: 358000 | #Constraints: 38718
923.74/926.75 c #Conflicts: 359000 | #Constraints: 39718
923.74/926.75 c #Conflicts: 360000 | #Constraints: 40718
923.74/926.75 c #Conflicts: 361000 | #Constraints: 41718
923.74/926.75 c #Conflicts: 362000 | #Constraints: 42718
923.74/926.75 c #Conflicts: 363000 | #Constraints: 43718
923.74/926.75 c #Conflicts: 364000 | #Constraints: 44718
923.74/926.75 c INPROCESSING
923.74/926.75 c GARBAGE COLLECT
923.74/926.75 c #Conflicts: 365000 | #Constraints: 27934
923.74/926.75 c #Conflicts: 366000 | #Constraints: 28934
923.74/926.75 c #Conflicts: 367000 | #Constraints: 29934
923.74/926.75 c #Conflicts: 368000 | #Constraints: 30934
923.74/926.75 c #Conflicts: 369000 | #Constraints: 31934
923.74/926.75 c #Conflicts: 370000 | #Constraints: 32934
923.74/926.75 c #Conflicts: 371000 | #Constraints: 33934
923.74/926.75 c #Conflicts: 372000 | #Constraints: 34934
923.74/926.75 c #Conflicts: 373000 | #Constraints: 35934
923.74/926.75 c #Conflicts: 374000 | #Constraints: 36934
923.74/926.75 c #Conflicts: 375000 | #Constraints: 37934
923.74/926.75 c #Conflicts: 376000 | #Constraints: 38934
923.74/926.75 c #Conflicts: 377000 | #Constraints: 39934
923.74/926.75 c #Conflicts: 378000 | #Constraints: 40934
923.74/926.75 c #Conflicts: 379000 | #Constraints: 41934
923.74/926.75 c #Conflicts: 380000 | #Constraints: 42934
923.74/926.75 c #Conflicts: 381000 | #Constraints: 43934
923.74/926.75 c #Conflicts: 382000 | #Constraints: 44934
923.74/926.75 c #Conflicts: 383000 | #Constraints: 45934
923.74/926.75 c #Conflicts: 384000 | #Constraints: 46934
923.74/926.75 c #Conflicts: 385000 | #Constraints: 47934
923.74/926.75 c #Conflicts: 386000 | #Constraints: 48934
923.74/926.75 c #Conflicts: 387000 | #Constraints: 49934
923.74/926.75 c #Conflicts: 388000 | #Constraints: 50934
923.74/926.75 c #Conflicts: 389000 | #Constraints: 51934
923.74/926.75 c #Conflicts: 390000 | #Constraints: 52934
923.74/926.75 c #Conflicts: 391000 | #Constraints: 53934
923.74/926.75 c #Conflicts: 392000 | #Constraints: 54934
923.74/926.75 c #Conflicts: 393000 | #Constraints: 55934
923.74/926.75 c #Conflicts: 394000 | #Constraints: 56934
923.74/926.75 c #Conflicts: 395000 | #Constraints: 57934
923.74/926.75 c #Conflicts: 396000 | #Constraints: 58934
923.74/926.75 c #Conflicts: 397000 | #Constraints: 59934
923.74/926.75 c #Conflicts: 398000 | #Constraints: 60934
923.74/926.75 c #Conflicts: 399000 | #Constraints: 61934
923.74/926.75 c #Conflicts: 400000 | #Constraints: 62934
923.74/926.75 c #Conflicts: 401000 | #Constraints: 63934
923.74/926.75 c #Conflicts: 402000 | #Constraints: 64934
923.74/926.75 c #Conflicts: 403000 | #Constraints: 65934
923.74/926.75 c #Conflicts: 404000 | #Constraints: 66934
923.74/926.75 c #Conflicts: 405000 | #Constraints: 67934
923.74/926.75 c #Conflicts: 406000 | #Constraints: 68934
923.74/926.75 c #Conflicts: 407000 | #Constraints: 69934
923.74/926.75 c #Conflicts: 408000 | #Constraints: 70934
923.74/926.75 c #Conflicts: 409000 | #Constraints: 71934
923.74/926.75 c INPROCESSING
923.74/926.75 c GARBAGE COLLECT
923.74/926.75 c rational objective -2.23599e-13
1215.77/1219.76 c #Conflicts: 410000 | #Constraints: 41784
1215.77/1219.76 c #Conflicts: 411000 | #Constraints: 42784
1215.77/1219.76 c #Conflicts: 412000 | #Constraints: 43784
1215.77/1219.76 c #Conflicts: 413000 | #Constraints: 44784
1215.77/1219.76 c #Conflicts: 414000 | #Constraints: 45784
1215.77/1219.76 c #Conflicts: 415000 | #Constraints: 46784
1215.77/1219.76 c #Conflicts: 416000 | #Constraints: 47784
1215.77/1219.76 c #Conflicts: 417000 | #Constraints: 48784
1215.77/1219.76 c #Conflicts: 418000 | #Constraints: 49784
1215.77/1219.76 c #Conflicts: 419000 | #Constraints: 50784
1215.77/1219.76 c #Conflicts: 420000 | #Constraints: 51784
1215.77/1219.76 c #Conflicts: 421000 | #Constraints: 52784
1215.77/1219.76 c #Conflicts: 422000 | #Constraints: 53784
1215.77/1219.76 c #Conflicts: 423000 | #Constraints: 54784
1215.77/1219.76 c #Conflicts: 424000 | #Constraints: 55784
1215.77/1219.76 c #Conflicts: 425000 | #Constraints: 56784
1215.77/1219.76 c INPROCESSING
1215.77/1219.76 c GARBAGE COLLECT
1215.77/1219.76 c #Conflicts: 426000 | #Constraints: 34344
1215.77/1219.76 c #Conflicts: 427000 | #Constraints: 35344
1215.77/1219.76 c #Conflicts: 428000 | #Constraints: 36344
1215.77/1219.76 c #Conflicts: 429000 | #Constraints: 37344
1215.77/1219.76 c #Conflicts: 430000 | #Constraints: 38344
1215.77/1219.76 c #Conflicts: 431000 | #Constraints: 39344
1215.77/1219.76 c #Conflicts: 432000 | #Constraints: 40344
1215.77/1219.76 c #Conflicts: 433000 | #Constraints: 41344
1215.77/1219.76 c #Conflicts: 434000 | #Constraints: 42344
1215.77/1219.76 c #Conflicts: 435000 | #Constraints: 43344
1215.77/1219.76 c #Conflicts: 436000 | #Constraints: 44344
1215.77/1219.76 c #Conflicts: 437000 | #Constraints: 45344
1215.77/1219.76 c #Conflicts: 438000 | #Constraints: 46344
1215.77/1219.76 c #Conflicts: 439000 | #Constraints: 47344
1215.77/1219.76 c #Conflicts: 440000 | #Constraints: 48344
1215.77/1219.76 c #Conflicts: 441000 | #Constraints: 49344
1215.77/1219.76 c INPROCESSING
1215.77/1219.76 c GARBAGE COLLECT
1215.77/1219.76 c #Conflicts: 442000 | #Constraints: 30664
1215.77/1219.76 c #Conflicts: 443000 | #Constraints: 31664
1215.77/1219.76 c #Conflicts: 444000 | #Constraints: 32664
1215.77/1219.76 c #Conflicts: 445000 | #Constraints: 33664
1215.77/1219.76 c #Conflicts: 446000 | #Constraints: 34664
1215.77/1219.76 c #Conflicts: 447000 | #Constraints: 35664
1215.77/1219.76 c #Conflicts: 448000 | #Constraints: 36664
1215.77/1219.76 c #Conflicts: 449000 | #Constraints: 37664
1215.77/1219.76 c #Conflicts: 450000 | #Constraints: 38664
1215.77/1219.76 c #Conflicts: 451000 | #Constraints: 39664
1215.77/1219.76 c #Conflicts: 452000 | #Constraints: 40664
1215.77/1219.76 c #Conflicts: 453000 | #Constraints: 41664
1215.77/1219.76 c #Conflicts: 454000 | #Constraints: 42664
1215.77/1219.76 c #Conflicts: 455000 | #Constraints: 43664
1215.77/1219.76 c #Conflicts: 456000 | #Constraints: 44664
1215.77/1219.76 c #Conflicts: 457000 | #Constraints: 45664
1215.77/1219.76 c #Conflicts: 458000 | #Constraints: 46664
1215.77/1219.76 c #Conflicts: 459000 | #Constraints: 47664
1215.77/1219.76 c #Conflicts: 460000 | #Constraints: 48664
1215.77/1219.76 c #Conflicts: 461000 | #Constraints: 49664
1215.77/1219.76 c #Conflicts: 462000 | #Constraints: 50664
1215.77/1219.76 c #Conflicts: 463000 | #Constraints: 51664
1215.77/1219.76 c #Conflicts: 464000 | #Constraints: 52664
1215.77/1219.76 c #Conflicts: 465000 | #Constraints: 53664
1215.77/1219.76 c #Conflicts: 466000 | #Constraints: 54664
1215.77/1219.76 c #Conflicts: 467000 | #Constraints: 55664
1215.77/1219.76 c #Conflicts: 468000 | #Constraints: 56664
1215.77/1219.76 c #Conflicts: 469000 | #Constraints: 57664
1215.77/1219.76 c #Conflicts: 470000 | #Constraints: 58664
1215.77/1219.76 c #Conflicts: 471000 | #Constraints: 59664
1215.77/1219.76 c #Conflicts: 472000 | #Constraints: 60664
1215.77/1219.76 c #Conflicts: 473000 | #Constraints: 61664
1215.77/1219.76 c #Conflicts: 474000 | #Constraints: 62664
1215.77/1219.76 c #Conflicts: 475000 | #Constraints: 63664
1215.77/1219.76 c #Conflicts: 476000 | #Constraints: 64664
1215.77/1219.76 c #Conflicts: 477000 | #Constraints: 65664
1215.77/1219.76 c #Conflicts: 478000 | #Constraints: 66664
1215.77/1219.76 c #Conflicts: 479000 | #Constraints: 67665
1215.77/1219.76 c #Conflicts: 480000 | #Constraints: 68665
1215.77/1219.76 c #Conflicts: 481000 | #Constraints: 69665
1215.77/1219.76 c #Conflicts: 482000 | #Constraints: 70665
1215.77/1219.76 c #Conflicts: 483000 | #Constraints: 71665
1215.77/1219.76 c #Conflicts: 484000 | #Constraints: 72665
1215.77/1219.76 c #Conflicts: 485000 | #Constraints: 73665
1215.77/1219.76 c #Conflicts: 486000 | #Constraints: 74665
1215.77/1219.76 c #Conflicts: 487000 | #Constraints: 75665
1229.14/1233.19 c #Conflicts: 488000 | #Constraints: 76665
1229.14/1233.19 c #Conflicts: 489000 | #Constraints: 77665
1229.14/1233.19 c INPROCESSING
1229.14/1233.19 c GARBAGE COLLECT
1229.14/1233.19 c rational objective -2.23599e-13
1447.91/1452.61 c #Conflicts: 490000 | #Constraints: 44484
1447.91/1452.61 c #Conflicts: 491000 | #Constraints: 45484
1447.91/1452.61 c #Conflicts: 492000 | #Constraints: 46484
1447.91/1452.61 c #Conflicts: 493000 | #Constraints: 47484
1447.91/1452.61 c #Conflicts: 494000 | #Constraints: 48484
1447.91/1452.61 c #Conflicts: 495000 | #Constraints: 49484
1447.91/1452.61 c #Conflicts: 496000 | #Constraints: 50484
1447.91/1452.61 c #Conflicts: 497000 | #Constraints: 51484
1447.91/1452.61 c #Conflicts: 498000 | #Constraints: 52484
1447.91/1452.61 c #Conflicts: 499000 | #Constraints: 53484
1447.91/1452.61 c #Conflicts: 500000 | #Constraints: 54484
1447.91/1452.61 c #Conflicts: 501000 | #Constraints: 55484
1447.91/1452.61 c #Conflicts: 502000 | #Constraints: 56484
1447.91/1452.61 c #Conflicts: 503000 | #Constraints: 57484
1447.91/1452.61 c #Conflicts: 504000 | #Constraints: 58484
1447.91/1452.61 c #Conflicts: 505000 | #Constraints: 59484
1447.91/1452.61 c #Conflicts: 506000 | #Constraints: 60484
1447.91/1452.61 c INPROCESSING
1447.91/1452.61 c GARBAGE COLLECT
1447.91/1452.61 c #Conflicts: 507000 | #Constraints: 35630
1447.91/1452.61 c #Conflicts: 508000 | #Constraints: 36630
1447.91/1452.61 c #Conflicts: 509000 | #Constraints: 37630
1447.91/1452.61 c #Conflicts: 510000 | #Constraints: 38631
1447.91/1452.61 c #Conflicts: 511000 | #Constraints: 39631
1447.91/1452.61 c #Conflicts: 512000 | #Constraints: 40631
1447.91/1452.61 c #Conflicts: 513000 | #Constraints: 41631
1447.91/1452.61 c #Conflicts: 514000 | #Constraints: 42631
1447.91/1452.61 c #Conflicts: 515000 | #Constraints: 43631
1447.91/1452.61 c #Conflicts: 516000 | #Constraints: 44631
1447.91/1452.61 c #Conflicts: 517000 | #Constraints: 45631
1447.91/1452.61 c #Conflicts: 518000 | #Constraints: 46631
1447.91/1452.61 c #Conflicts: 519000 | #Constraints: 47631
1447.91/1452.61 c #Conflicts: 520000 | #Constraints: 48631
1447.91/1452.61 c #Conflicts: 521000 | #Constraints: 49631
1447.91/1452.61 c #Conflicts: 522000 | #Constraints: 50631
1447.91/1452.61 c #Conflicts: 523000 | #Constraints: 51631
1447.91/1452.61 c #Conflicts: 524000 | #Constraints: 52631
1447.91/1452.61 c INPROCESSING
1447.91/1452.61 c GARBAGE COLLECT
1447.91/1452.61 c #Conflicts: 525000 | #Constraints: 32052
1447.91/1452.61 c #Conflicts: 526000 | #Constraints: 33052
1447.91/1452.61 c #Conflicts: 527000 | #Constraints: 34052
1447.91/1452.61 c #Conflicts: 528000 | #Constraints: 35052
1447.91/1452.61 c #Conflicts: 529000 | #Constraints: 36052
1447.91/1452.61 c #Conflicts: 530000 | #Constraints: 37052
1447.91/1452.61 c #Conflicts: 531000 | #Constraints: 38052
1447.91/1452.61 c #Conflicts: 532000 | #Constraints: 39052
1447.91/1452.61 c #Conflicts: 533000 | #Constraints: 40052
1447.91/1452.61 c #Conflicts: 534000 | #Constraints: 41052
1447.91/1452.61 c #Conflicts: 535000 | #Constraints: 42052
1447.91/1452.61 c #Conflicts: 536000 | #Constraints: 43052
1447.91/1452.61 c #Conflicts: 537000 | #Constraints: 44052
1447.91/1452.61 c #Conflicts: 538000 | #Constraints: 45052
1447.91/1452.61 c #Conflicts: 539000 | #Constraints: 46052
1447.91/1452.61 c #Conflicts: 540000 | #Constraints: 47052
1447.91/1452.61 c #Conflicts: 541000 | #Constraints: 48052
1447.91/1452.61 c #Conflicts: 542000 | #Constraints: 49052
1447.91/1452.61 c #Conflicts: 543000 | #Constraints: 50052
1447.91/1452.61 c #Conflicts: 544000 | #Constraints: 51052
1447.91/1452.61 c #Conflicts: 545000 | #Constraints: 52052
1447.91/1452.61 c #Conflicts: 546000 | #Constraints: 53052
1447.91/1452.61 c #Conflicts: 547000 | #Constraints: 54052
1447.91/1452.61 c #Conflicts: 548000 | #Constraints: 55052
1447.91/1452.61 c #Conflicts: 549000 | #Constraints: 56052
1447.91/1452.61 c #Conflicts: 550000 | #Constraints: 57052
1447.91/1452.61 c #Conflicts: 551000 | #Constraints: 58052
1447.91/1452.61 c #Conflicts: 552000 | #Constraints: 59052
1447.91/1452.61 c #Conflicts: 553000 | #Constraints: 60052
1447.91/1452.61 c #Conflicts: 554000 | #Constraints: 61052
1447.91/1452.61 c #Conflicts: 555000 | #Constraints: 62052
1447.91/1452.61 c #Conflicts: 556000 | #Constraints: 63052
1447.91/1452.61 c #Conflicts: 557000 | #Constraints: 64052
1447.91/1452.61 c #Conflicts: 558000 | #Constraints: 65052
1447.91/1452.61 c #Conflicts: 559000 | #Constraints: 66052
1447.91/1452.61 c #Conflicts: 560000 | #Constraints: 67052
1447.91/1452.61 c #Conflicts: 561000 | #Constraints: 68052
1447.91/1452.61 c #Conflicts: 562000 | #Constraints: 69052
1447.91/1452.61 c #Conflicts: 563000 | #Constraints: 70052
1447.91/1452.61 c #Conflicts: 564000 | #Constraints: 71052
1447.91/1452.61 c #Conflicts: 565000 | #Constraints: 72052
1447.91/1452.61 c #Conflicts: 566000 | #Constraints: 73052
1447.91/1452.61 c #Conflicts: 567000 | #Constraints: 74052
1486.58/1491.43 c #Conflicts: 568000 | #Constraints: 75052
1486.58/1491.43 c #Conflicts: 569000 | #Constraints: 76052
1486.58/1491.43 c #Conflicts: 570000 | #Constraints: 77052
1486.58/1491.43 c #Conflicts: 571000 | #Constraints: 78052
1486.58/1491.43 c #Conflicts: 572000 | #Constraints: 79052
1486.58/1491.43 c #Conflicts: 573000 | #Constraints: 80052
1486.58/1491.43 c #Conflicts: 574000 | #Constraints: 81052
1486.58/1491.43 c #Conflicts: 575000 | #Constraints: 82052
1486.58/1491.43 c #Conflicts: 576000 | #Constraints: 83052
1486.58/1491.43 c #Conflicts: 577000 | #Constraints: 84052
1486.58/1491.43 c INPROCESSING
1486.58/1491.43 c GARBAGE COLLECT
1486.58/1491.43 c rational objective 1.11799e-13
1588.36/1593.51 c #Conflicts: 578000 | #Constraints: 47883
1588.36/1593.51 c #Conflicts: 579000 | #Constraints: 48883
1588.36/1593.51 c #Conflicts: 580000 | #Constraints: 49883
1588.36/1593.51 c #Conflicts: 581000 | #Constraints: 50883
1588.36/1593.51 c #Conflicts: 582000 | #Constraints: 51883
1588.36/1593.51 c #Conflicts: 583000 | #Constraints: 52883
1588.36/1593.51 c #Conflicts: 584000 | #Constraints: 53883
1588.36/1593.51 c #Conflicts: 585000 | #Constraints: 54883
1588.36/1593.51 c #Conflicts: 586000 | #Constraints: 55883
1588.36/1593.51 c #Conflicts: 587000 | #Constraints: 56883
1588.36/1593.51 c #Conflicts: 588000 | #Constraints: 57883
1588.36/1593.51 c #Conflicts: 589000 | #Constraints: 58883
1588.36/1593.51 c #Conflicts: 590000 | #Constraints: 59883
1588.36/1593.51 c #Conflicts: 591000 | #Constraints: 60883
1588.36/1593.51 c #Conflicts: 592000 | #Constraints: 61883
1588.36/1593.51 c #Conflicts: 593000 | #Constraints: 62883
1588.36/1593.51 c #Conflicts: 594000 | #Constraints: 63883
1588.36/1593.51 c #Conflicts: 595000 | #Constraints: 64883
1588.36/1593.51 c #Conflicts: 596000 | #Constraints: 65883
1588.36/1593.51 c INPROCESSING
1588.36/1593.51 c GARBAGE COLLECT
1588.36/1593.51 c #Conflicts: 597000 | #Constraints: 38907
1588.36/1593.51 c #Conflicts: 598000 | #Constraints: 39907
1588.36/1593.51 c #Conflicts: 599000 | #Constraints: 40907
1588.36/1593.51 c #Conflicts: 600000 | #Constraints: 41907
1588.36/1593.51 c #Conflicts: 601000 | #Constraints: 42907
1588.36/1593.51 c #Conflicts: 602000 | #Constraints: 43907
1588.36/1593.51 c #Conflicts: 603000 | #Constraints: 44907
1588.36/1593.51 c #Conflicts: 604000 | #Constraints: 45907
1588.36/1593.51 c #Conflicts: 605000 | #Constraints: 46907
1588.36/1593.51 c #Conflicts: 606000 | #Constraints: 47907
1588.36/1593.51 c #Conflicts: 607000 | #Constraints: 48907
1588.36/1593.51 c #Conflicts: 608000 | #Constraints: 49907
1588.36/1593.51 c #Conflicts: 609000 | #Constraints: 50907
1588.36/1593.51 c #Conflicts: 610000 | #Constraints: 51907
1588.36/1593.51 c #Conflicts: 611000 | #Constraints: 52907
1588.36/1593.51 c #Conflicts: 612000 | #Constraints: 53907
1588.36/1593.51 c #Conflicts: 613000 | #Constraints: 54907
1588.36/1593.51 c #Conflicts: 614000 | #Constraints: 55907
1588.36/1593.51 c #Conflicts: 615000 | #Constraints: 56907
1588.36/1593.51 c INPROCESSING
1588.36/1593.51 c GARBAGE COLLECT
1588.36/1593.51 c rational objective 1.11799e-13
1827.79/1833.76 c #Conflicts: 616000 | #Constraints: 34440
1827.79/1833.76 c #Conflicts: 617000 | #Constraints: 35440
1827.79/1833.76 c #Conflicts: 618000 | #Constraints: 36440
1827.79/1833.76 c #Conflicts: 619000 | #Constraints: 37440
1827.79/1833.76 c #Conflicts: 620000 | #Constraints: 38440
1827.79/1833.76 c #Conflicts: 621000 | #Constraints: 39440
1827.79/1833.76 c #Conflicts: 622000 | #Constraints: 40440
1827.79/1833.76 c #Conflicts: 623000 | #Constraints: 41440
1827.79/1833.76 c #Conflicts: 624000 | #Constraints: 42440
1827.79/1833.76 c #Conflicts: 625000 | #Constraints: 43440
1827.79/1833.76 c #Conflicts: 626000 | #Constraints: 44440
1827.79/1833.76 c #Conflicts: 627000 | #Constraints: 45440
1827.79/1833.76 c #Conflicts: 628000 | #Constraints: 46440
1827.79/1833.76 c #Conflicts: 629000 | #Constraints: 47440
1827.79/1833.76 c #Conflicts: 630000 | #Constraints: 48440
1827.79/1833.76 c #Conflicts: 631000 | #Constraints: 49440
1827.79/1833.76 c #Conflicts: 632000 | #Constraints: 50440
1827.79/1833.76 c #Conflicts: 633000 | #Constraints: 51440
1827.79/1833.76 c #Conflicts: 634000 | #Constraints: 52440
1827.79/1833.76 c #Conflicts: 635000 | #Constraints: 53440
1827.79/1833.76 c #Conflicts: 636000 | #Constraints: 54440
1827.79/1833.76 c #Conflicts: 637000 | #Constraints: 55440
1827.79/1833.76 c #Conflicts: 638000 | #Constraints: 56440
1827.79/1833.76 c #Conflicts: 639000 | #Constraints: 57440
1827.79/1833.76 c #Conflicts: 640000 | #Constraints: 58440
1827.79/1833.76 c #Conflicts: 641000 | #Constraints: 59440
1827.79/1833.76 c #Conflicts: 642000 | #Constraints: 60440
1827.79/1833.76 c #Conflicts: 643000 | #Constraints: 61440
1827.79/1833.76 c #Conflicts: 644000 | #Constraints: 62440
1827.79/1833.76 c #Conflicts: 645000 | #Constraints: 63440
1827.79/1833.76 c #Conflicts: 646000 | #Constraints: 64440
1827.79/1833.76 c #Conflicts: 647000 | #Constraints: 65440
1827.79/1833.76 c #Conflicts: 648000 | #Constraints: 66440
1827.79/1833.76 c #Conflicts: 649000 | #Constraints: 67440
1827.79/1833.76 c #Conflicts: 650000 | #Constraints: 68440
1827.79/1833.76 c #Conflicts: 651000 | #Constraints: 69440
1827.79/1833.76 c #Conflicts: 652000 | #Constraints: 70440
1827.79/1833.76 c #Conflicts: 653000 | #Constraints: 71440
1827.79/1833.76 c #Conflicts: 654000 | #Constraints: 72440
1827.79/1833.76 c #Conflicts: 655000 | #Constraints: 73440
1827.79/1833.76 c #Conflicts: 656000 | #Constraints: 74440
1827.79/1833.76 c #Conflicts: 657000 | #Constraints: 75440
1827.79/1833.76 c #Conflicts: 658000 | #Constraints: 76440
1827.79/1833.76 c #Conflicts: 659000 | #Constraints: 77440
1827.79/1833.76 c #Conflicts: 660000 | #Constraints: 78440
1827.79/1833.76 c #Conflicts: 661000 | #Constraints: 79440
1827.79/1833.76 c #Conflicts: 662000 | #Constraints: 80440
1827.79/1833.76 c #Conflicts: 663000 | #Constraints: 81440
1827.79/1833.76 c #Conflicts: 664000 | #Constraints: 82440
1827.79/1833.76 c #Conflicts: 665000 | #Constraints: 83440
1827.79/1833.76 c #Conflicts: 666000 | #Constraints: 84440
1827.79/1833.76 c #Conflicts: 667000 | #Constraints: 85440
1827.79/1833.76 c #Conflicts: 668000 | #Constraints: 86440
1827.79/1833.76 c #Conflicts: 669000 | #Constraints: 87440
1827.79/1833.76 c #Conflicts: 670000 | #Constraints: 88440
1827.79/1833.76 c #Conflicts: 671000 | #Constraints: 89440
1827.79/1833.76 c #Conflicts: 672000 | #Constraints: 90440
1827.79/1833.76 c INPROCESSING
1827.79/1833.76 c GARBAGE COLLECT
1827.79/1833.76 c #Conflicts: 673000 | #Constraints: 51195
1827.79/1833.76 c #Conflicts: 674000 | #Constraints: 52195
1827.79/1833.76 c #Conflicts: 675000 | #Constraints: 53195
1827.79/1833.76 c #Conflicts: 676000 | #Constraints: 54195
1827.79/1833.76 c #Conflicts: 677000 | #Constraints: 55195
1827.79/1833.76 c #Conflicts: 678000 | #Constraints: 56195
1827.79/1833.76 c #Conflicts: 679000 | #Constraints: 57195
1827.79/1833.76 c #Conflicts: 680000 | #Constraints: 58195
1827.79/1833.76 c #Conflicts: 681000 | #Constraints: 59195
1827.79/1833.76 c #Conflicts: 682000 | #Constraints: 60195
1827.79/1833.76 c #Conflicts: 683000 | #Constraints: 61195
1827.79/1833.76 c #Conflicts: 684000 | #Constraints: 62195
1827.79/1833.76 c #Conflicts: 685000 | #Constraints: 63195
1827.79/1833.76 c #Conflicts: 686000 | #Constraints: 64195
1827.79/1833.76 c #Conflicts: 687000 | #Constraints: 65195
1827.79/1833.76 c #Conflicts: 688000 | #Constraints: 66195
1827.79/1833.76 c #Conflicts: 689000 | #Constraints: 67195
1827.79/1833.76 c #Conflicts: 690000 | #Constraints: 68195
1827.79/1833.76 c #Conflicts: 691000 | #Constraints: 69195
1827.79/1833.76 c #Conflicts: 692000 | #Constraints: 70195
1827.79/1833.76 c INPROCESSING
1827.79/1833.76 c GARBAGE COLLECT
1827.79/1833.76 c rational objective 1.11799e-13
2132.41/2139.37 c #Conflicts: 693000 | #Constraints: 40935
2132.41/2139.37 c #Conflicts: 694000 | #Constraints: 41935
2132.41/2139.37 c #Conflicts: 695000 | #Constraints: 42935
2132.41/2139.37 c #Conflicts: 696000 | #Constraints: 43935
2132.41/2139.37 c #Conflicts: 697000 | #Constraints: 44935
2132.41/2139.37 c #Conflicts: 698000 | #Constraints: 45935
2132.41/2139.37 c #Conflicts: 699000 | #Constraints: 46935
2132.41/2139.37 c #Conflicts: 700000 | #Constraints: 47935
2132.41/2139.37 c #Conflicts: 701000 | #Constraints: 48935
2132.41/2139.37 c #Conflicts: 702000 | #Constraints: 49935
2132.41/2139.37 c #Conflicts: 703000 | #Constraints: 50935
2132.41/2139.37 c #Conflicts: 704000 | #Constraints: 51935
2132.41/2139.37 c #Conflicts: 705000 | #Constraints: 52935
2132.41/2139.37 c #Conflicts: 706000 | #Constraints: 53935
2132.41/2139.37 c #Conflicts: 707000 | #Constraints: 54935
2132.41/2139.37 c #Conflicts: 708000 | #Constraints: 55935
2132.41/2139.37 c #Conflicts: 709000 | #Constraints: 56935
2132.41/2139.37 c #Conflicts: 710000 | #Constraints: 57935
2132.41/2139.37 c #Conflicts: 711000 | #Constraints: 58935
2132.41/2139.37 c #Conflicts: 712000 | #Constraints: 59935
2132.41/2139.37 c INPROCESSING
2132.41/2139.37 c GARBAGE COLLECT
2132.41/2139.37 c #Conflicts: 713000 | #Constraints: 35550
2132.41/2139.37 c #Conflicts: 714000 | #Constraints: 36550
2132.41/2139.37 c #Conflicts: 715000 | #Constraints: 37550
2132.41/2139.37 c #Conflicts: 716000 | #Constraints: 38550
2132.41/2139.37 c #Conflicts: 717000 | #Constraints: 39550
2132.41/2139.37 c #Conflicts: 718000 | #Constraints: 40550
2132.41/2139.37 c #Conflicts: 719000 | #Constraints: 41550
2132.41/2139.37 c #Conflicts: 720000 | #Constraints: 42550
2132.41/2139.37 c #Conflicts: 721000 | #Constraints: 43550
2132.41/2139.37 c #Conflicts: 722000 | #Constraints: 44550
2132.41/2139.37 c #Conflicts: 723000 | #Constraints: 45550
2132.41/2139.37 c #Conflicts: 724000 | #Constraints: 46550
2132.41/2139.37 c #Conflicts: 725000 | #Constraints: 47550
2132.41/2139.37 c #Conflicts: 726000 | #Constraints: 48550
2132.41/2139.37 c #Conflicts: 727000 | #Constraints: 49550
2132.41/2139.37 c #Conflicts: 728000 | #Constraints: 50550
2132.41/2139.37 c #Conflicts: 729000 | #Constraints: 51550
2132.41/2139.37 c #Conflicts: 730000 | #Constraints: 52550
2132.41/2139.37 c #Conflicts: 731000 | #Constraints: 53550
2132.41/2139.37 c #Conflicts: 732000 | #Constraints: 54550
2132.41/2139.37 c #Conflicts: 733000 | #Constraints: 55550
2132.41/2139.37 c #Conflicts: 734000 | #Constraints: 56550
2132.41/2139.37 c #Conflicts: 735000 | #Constraints: 57550
2132.41/2139.37 c #Conflicts: 736000 | #Constraints: 58550
2132.41/2139.37 c #Conflicts: 737000 | #Constraints: 59550
2132.41/2139.37 c #Conflicts: 738000 | #Constraints: 60550
2132.41/2139.37 c #Conflicts: 739000 | #Constraints: 61550
2132.41/2139.37 c #Conflicts: 740000 | #Constraints: 62550
2132.41/2139.37 c #Conflicts: 741000 | #Constraints: 63550
2132.41/2139.37 c #Conflicts: 742000 | #Constraints: 64550
2132.41/2139.37 c #Conflicts: 743000 | #Constraints: 65550
2132.41/2139.37 c #Conflicts: 744000 | #Constraints: 66550
2132.41/2139.37 c #Conflicts: 745000 | #Constraints: 67550
2132.41/2139.37 c #Conflicts: 746000 | #Constraints: 68550
2132.41/2139.37 c #Conflicts: 747000 | #Constraints: 69550
2132.41/2139.37 c #Conflicts: 748000 | #Constraints: 70550
2132.41/2139.37 c #Conflicts: 749000 | #Constraints: 71550
2132.41/2139.37 c #Conflicts: 750000 | #Constraints: 72550
2132.41/2139.37 c #Conflicts: 751000 | #Constraints: 73550
2132.41/2139.37 c #Conflicts: 752000 | #Constraints: 74550
2132.41/2139.37 c #Conflicts: 753000 | #Constraints: 75550
2132.41/2139.37 c #Conflicts: 754000 | #Constraints: 76550
2132.41/2139.37 c #Conflicts: 755000 | #Constraints: 77550
2132.41/2139.37 c #Conflicts: 756000 | #Constraints: 78550
2132.41/2139.37 c #Conflicts: 757000 | #Constraints: 79550
2132.41/2139.37 c #Conflicts: 758000 | #Constraints: 80550
2132.41/2139.37 c #Conflicts: 759000 | #Constraints: 81550
2132.41/2139.37 c #Conflicts: 760000 | #Constraints: 82550
2132.41/2139.37 c #Conflicts: 761000 | #Constraints: 83550
2132.41/2139.37 c #Conflicts: 762000 | #Constraints: 84550
2132.41/2139.37 c #Conflicts: 763000 | #Constraints: 85550
2132.41/2139.37 c #Conflicts: 764000 | #Constraints: 86550
2132.41/2139.37 c #Conflicts: 765000 | #Constraints: 87550
2132.41/2139.37 c #Conflicts: 766000 | #Constraints: 88550
2132.41/2139.37 c #Conflicts: 767000 | #Constraints: 89550
2132.41/2139.37 c #Conflicts: 768000 | #Constraints: 90550
2132.41/2139.37 c #Conflicts: 769000 | #Constraints: 91550
2132.41/2139.37 c #Conflicts: 770000 | #Constraints: 92550
2132.41/2139.37 c #Conflicts: 771000 | #Constraints: 93550
2145.77/2152.78 c #Conflicts: 772000 | #Constraints: 94550
2145.77/2152.78 c #Conflicts: 773000 | #Constraints: 95550
2145.77/2152.78 c #Conflicts: 774000 | #Constraints: 96550
2145.77/2152.78 c INPROCESSING
2145.77/2152.78 c GARBAGE COLLECT
2145.77/2152.78 c rational objective 1.11799e-13
2213.05/2220.22 c #Conflicts: 775000 | #Constraints: 54263
2213.05/2220.22 c #Conflicts: 776000 | #Constraints: 55263
2213.05/2220.22 c #Conflicts: 777000 | #Constraints: 56263
2213.05/2220.22 c #Conflicts: 778000 | #Constraints: 57263
2213.05/2220.22 c #Conflicts: 779000 | #Constraints: 58263
2213.05/2220.22 c #Conflicts: 780000 | #Constraints: 59263
2213.05/2220.22 c #Conflicts: 781000 | #Constraints: 60263
2213.05/2220.22 c #Conflicts: 782000 | #Constraints: 61263
2213.05/2220.22 c #Conflicts: 783000 | #Constraints: 62263
2213.05/2220.22 c #Conflicts: 784000 | #Constraints: 63263
2213.05/2220.22 c #Conflicts: 785000 | #Constraints: 64263
2213.05/2220.22 c #Conflicts: 786000 | #Constraints: 65263
2213.05/2220.22 c #Conflicts: 787000 | #Constraints: 66263
2213.05/2220.22 c #Conflicts: 788000 | #Constraints: 67263
2213.05/2220.22 c #Conflicts: 789000 | #Constraints: 68263
2213.05/2220.22 c #Conflicts: 790000 | #Constraints: 69263
2213.05/2220.22 c #Conflicts: 791000 | #Constraints: 70263
2213.05/2220.22 c #Conflicts: 792000 | #Constraints: 71263
2213.05/2220.22 c #Conflicts: 793000 | #Constraints: 72263
2213.05/2220.22 c #Conflicts: 794000 | #Constraints: 73263
2213.05/2220.22 c #Conflicts: 795000 | #Constraints: 74263
2213.05/2220.22 c INPROCESSING
2213.05/2220.22 c GARBAGE COLLECT
2213.05/2220.22 c rational objective 1.11799e-13
2449.68/2457.60 c #Conflicts: 796000 | #Constraints: 42755
2449.68/2457.60 c #Conflicts: 797000 | #Constraints: 43755
2449.68/2457.60 c #Conflicts: 798000 | #Constraints: 44755
2449.68/2457.60 c #Conflicts: 799000 | #Constraints: 45755
2449.68/2457.60 c #Conflicts: 800000 | #Constraints: 46755
2449.68/2457.60 c #Conflicts: 801000 | #Constraints: 47755
2449.68/2457.60 c #Conflicts: 802000 | #Constraints: 48755
2449.68/2457.60 c #Conflicts: 803000 | #Constraints: 49755
2449.68/2457.60 c #Conflicts: 804000 | #Constraints: 50755
2449.68/2457.60 c #Conflicts: 805000 | #Constraints: 51755
2449.68/2457.60 c #Conflicts: 806000 | #Constraints: 52755
2449.68/2457.60 c #Conflicts: 807000 | #Constraints: 53755
2449.68/2457.60 c #Conflicts: 808000 | #Constraints: 54755
2449.68/2457.60 c #Conflicts: 809000 | #Constraints: 55755
2449.68/2457.60 c #Conflicts: 810000 | #Constraints: 56755
2449.68/2457.60 c #Conflicts: 811000 | #Constraints: 57755
2449.68/2457.60 c #Conflicts: 812000 | #Constraints: 58755
2449.68/2457.60 c #Conflicts: 813000 | #Constraints: 59755
2449.68/2457.60 c #Conflicts: 814000 | #Constraints: 60755
2449.68/2457.60 c #Conflicts: 815000 | #Constraints: 61755
2449.68/2457.60 c #Conflicts: 816000 | #Constraints: 62755
2449.68/2457.60 c #Conflicts: 817000 | #Constraints: 63755
2449.68/2457.60 c INPROCESSING
2449.68/2457.60 c GARBAGE COLLECT
2449.68/2457.60 c #Conflicts: 818000 | #Constraints: 37676
2449.68/2457.60 c #Conflicts: 819000 | #Constraints: 38676
2449.68/2457.60 c #Conflicts: 820000 | #Constraints: 39676
2449.68/2457.60 c #Conflicts: 821000 | #Constraints: 40676
2449.68/2457.60 c #Conflicts: 822000 | #Constraints: 41676
2449.68/2457.60 c #Conflicts: 823000 | #Constraints: 42676
2449.68/2457.60 c #Conflicts: 824000 | #Constraints: 43676
2449.68/2457.60 c #Conflicts: 825000 | #Constraints: 44676
2449.68/2457.60 c #Conflicts: 826000 | #Constraints: 45676
2449.68/2457.60 c #Conflicts: 827000 | #Constraints: 46676
2449.68/2457.60 c #Conflicts: 828000 | #Constraints: 47676
2449.68/2457.60 c #Conflicts: 829000 | #Constraints: 48676
2449.68/2457.60 c #Conflicts: 830000 | #Constraints: 49676
2449.68/2457.60 c #Conflicts: 831000 | #Constraints: 50676
2449.68/2457.60 c #Conflicts: 832000 | #Constraints: 51676
2449.68/2457.60 c #Conflicts: 833000 | #Constraints: 52676
2449.68/2457.60 c #Conflicts: 834000 | #Constraints: 53676
2449.68/2457.60 c #Conflicts: 835000 | #Constraints: 54676
2449.68/2457.60 c #Conflicts: 836000 | #Constraints: 55676
2449.68/2457.60 c #Conflicts: 837000 | #Constraints: 56676
2449.68/2457.60 c #Conflicts: 838000 | #Constraints: 57676
2449.68/2457.60 c #Conflicts: 839000 | #Constraints: 58676
2449.68/2457.60 c #Conflicts: 840000 | #Constraints: 59676
2449.68/2457.60 c #Conflicts: 841000 | #Constraints: 60676
2449.68/2457.60 c #Conflicts: 842000 | #Constraints: 61676
2449.68/2457.60 c #Conflicts: 843000 | #Constraints: 62676
2449.68/2457.60 c #Conflicts: 844000 | #Constraints: 63676
2449.68/2457.60 c #Conflicts: 845000 | #Constraints: 64676
2449.68/2457.60 c #Conflicts: 846000 | #Constraints: 65676
2449.68/2457.60 c #Conflicts: 847000 | #Constraints: 66676
2449.68/2457.60 c #Conflicts: 848000 | #Constraints: 67676
2449.68/2457.60 c #Conflicts: 849000 | #Constraints: 68676
2449.68/2457.60 c #Conflicts: 850000 | #Constraints: 69676
2449.68/2457.60 c #Conflicts: 851000 | #Constraints: 70676
2449.68/2457.60 c #Conflicts: 852000 | #Constraints: 71676
2449.68/2457.60 c #Conflicts: 853000 | #Constraints: 72677
2449.68/2457.60 c #Conflicts: 854000 | #Constraints: 73677
2449.68/2457.60 c #Conflicts: 855000 | #Constraints: 74677
2449.68/2457.60 c #Conflicts: 856000 | #Constraints: 75677
2449.68/2457.60 c #Conflicts: 857000 | #Constraints: 76677
2449.68/2457.60 c #Conflicts: 858000 | #Constraints: 77677
2449.68/2457.60 c #Conflicts: 859000 | #Constraints: 78677
2449.68/2457.60 c #Conflicts: 860000 | #Constraints: 79677
2449.68/2457.60 c #Conflicts: 861000 | #Constraints: 80677
2449.68/2457.60 c #Conflicts: 862000 | #Constraints: 81677
2449.68/2457.60 c #Conflicts: 863000 | #Constraints: 82677
2449.68/2457.60 c #Conflicts: 864000 | #Constraints: 83677
2449.68/2457.60 c #Conflicts: 865000 | #Constraints: 84677
2449.68/2457.60 c #Conflicts: 866000 | #Constraints: 85677
2449.68/2457.60 c #Conflicts: 867000 | #Constraints: 86677
2449.68/2457.60 c #Conflicts: 868000 | #Constraints: 87677
2449.68/2457.60 c #Conflicts: 869000 | #Constraints: 88677
2449.68/2457.60 c #Conflicts: 870000 | #Constraints: 89677
2449.68/2457.60 c #Conflicts: 871000 | #Constraints: 90677
2449.68/2457.60 c #Conflicts: 872000 | #Constraints: 91677
2449.68/2457.60 c #Conflicts: 873000 | #Constraints: 92677
2449.68/2457.60 c #Conflicts: 874000 | #Constraints: 93677
2484.27/2492.35 c #Conflicts: 875000 | #Constraints: 94677
2484.27/2492.35 c #Conflicts: 876000 | #Constraints: 95677
2484.27/2492.35 c #Conflicts: 877000 | #Constraints: 96677
2484.27/2492.35 c #Conflicts: 878000 | #Constraints: 97677
2484.27/2492.35 c #Conflicts: 879000 | #Constraints: 98677
2484.27/2492.35 c #Conflicts: 880000 | #Constraints: 99677
2484.27/2492.35 c #Conflicts: 881000 | #Constraints: 100677
2484.27/2492.35 c #Conflicts: 882000 | #Constraints: 101677
2484.27/2492.35 c #Conflicts: 883000 | #Constraints: 102677
2484.27/2492.35 c INPROCESSING
2484.27/2492.35 c GARBAGE COLLECT
2484.27/2492.35 c rational objective 1.11799e-13
2542.47/2550.75 c #Conflicts: 884000 | #Constraints: 57256
2542.47/2550.75 c #Conflicts: 885000 | #Constraints: 58256
2542.47/2550.75 c #Conflicts: 886000 | #Constraints: 59256
2542.47/2550.75 c #Conflicts: 887000 | #Constraints: 60256
2542.47/2550.75 c #Conflicts: 888000 | #Constraints: 61256
2542.47/2550.75 c #Conflicts: 889000 | #Constraints: 62256
2542.47/2550.75 c #Conflicts: 890000 | #Constraints: 63256
2542.47/2550.75 c #Conflicts: 891000 | #Constraints: 64256
2542.47/2550.75 c #Conflicts: 892000 | #Constraints: 65256
2542.47/2550.75 c #Conflicts: 893000 | #Constraints: 66256
2542.47/2550.75 c #Conflicts: 894000 | #Constraints: 67256
2542.47/2550.75 c #Conflicts: 895000 | #Constraints: 68256
2542.47/2550.75 c #Conflicts: 896000 | #Constraints: 69256
2542.47/2550.75 c #Conflicts: 897000 | #Constraints: 70256
2542.47/2550.75 c #Conflicts: 898000 | #Constraints: 71256
2542.47/2550.75 c #Conflicts: 899000 | #Constraints: 72256
2542.47/2550.75 c #Conflicts: 900000 | #Constraints: 73256
2542.47/2550.75 c #Conflicts: 901000 | #Constraints: 74256
2542.47/2550.75 c #Conflicts: 902000 | #Constraints: 75256
2542.47/2550.75 c #Conflicts: 903000 | #Constraints: 76256
2542.47/2550.75 c #Conflicts: 904000 | #Constraints: 77256
2542.47/2550.75 c #Conflicts: 905000 | #Constraints: 78256
2542.47/2550.75 c #Conflicts: 906000 | #Constraints: 79256
2542.47/2550.75 c INPROCESSING
2542.47/2550.75 c GARBAGE COLLECT
2542.47/2550.75 c rational objective 1.11799e-13
2846.10/2855.29 c #Conflicts: 907000 | #Constraints: 45428
2846.10/2855.29 c #Conflicts: 908000 | #Constraints: 46428
2846.10/2855.29 c #Conflicts: 909000 | #Constraints: 47428
2846.10/2855.29 c #Conflicts: 910000 | #Constraints: 48428
2846.10/2855.29 c #Conflicts: 911000 | #Constraints: 49428
2846.10/2855.29 c #Conflicts: 912000 | #Constraints: 50428
2846.10/2855.29 c #Conflicts: 913000 | #Constraints: 51428
2846.10/2855.29 c #Conflicts: 914000 | #Constraints: 52428
2846.10/2855.29 c #Conflicts: 915000 | #Constraints: 53428
2846.10/2855.29 c #Conflicts: 916000 | #Constraints: 54429
2846.10/2855.29 c #Conflicts: 917000 | #Constraints: 55429
2846.10/2855.29 c #Conflicts: 918000 | #Constraints: 56429
2846.10/2855.29 c #Conflicts: 919000 | #Constraints: 57429
2846.10/2855.29 c #Conflicts: 920000 | #Constraints: 58429
2846.10/2855.29 c #Conflicts: 921000 | #Constraints: 59429
2846.10/2855.29 c #Conflicts: 922000 | #Constraints: 60429
2846.10/2855.29 c #Conflicts: 923000 | #Constraints: 61429
2846.10/2855.29 c #Conflicts: 924000 | #Constraints: 62429
2846.10/2855.29 c #Conflicts: 925000 | #Constraints: 63429
2846.10/2855.29 c #Conflicts: 926000 | #Constraints: 64429
2846.10/2855.29 c #Conflicts: 927000 | #Constraints: 65429
2846.10/2855.29 c #Conflicts: 928000 | #Constraints: 66429
2846.10/2855.29 c #Conflicts: 929000 | #Constraints: 67429
2846.10/2855.29 c #Conflicts: 930000 | #Constraints: 68429
2846.10/2855.29 c INPROCESSING
2846.10/2855.29 c GARBAGE COLLECT
2846.10/2855.29 c #Conflicts: 931000 | #Constraints: 41323
2846.10/2855.29 c #Conflicts: 932000 | #Constraints: 42323
2846.10/2855.29 c #Conflicts: 933000 | #Constraints: 43323
2846.10/2855.29 c #Conflicts: 934000 | #Constraints: 44323
2846.10/2855.29 c #Conflicts: 935000 | #Constraints: 45323
2846.10/2855.29 c #Conflicts: 936000 | #Constraints: 46323
2846.10/2855.29 c #Conflicts: 937000 | #Constraints: 47323
2846.10/2855.29 c #Conflicts: 938000 | #Constraints: 48323
2846.10/2855.29 c #Conflicts: 939000 | #Constraints: 49323
2846.10/2855.29 c #Conflicts: 940000 | #Constraints: 50323
2846.10/2855.29 c #Conflicts: 941000 | #Constraints: 51323
2846.10/2855.29 c #Conflicts: 942000 | #Constraints: 52323
2846.10/2855.29 c #Conflicts: 943000 | #Constraints: 53323
2846.10/2855.29 c #Conflicts: 944000 | #Constraints: 54323
2846.10/2855.29 c #Conflicts: 945000 | #Constraints: 55323
2846.10/2855.29 c #Conflicts: 946000 | #Constraints: 56323
2846.10/2855.29 c #Conflicts: 947000 | #Constraints: 57323
2846.10/2855.29 c #Conflicts: 948000 | #Constraints: 58323
2846.10/2855.29 c #Conflicts: 949000 | #Constraints: 59323
2846.10/2855.29 c #Conflicts: 950000 | #Constraints: 60323
2846.10/2855.29 c #Conflicts: 951000 | #Constraints: 61323
2846.10/2855.29 c #Conflicts: 952000 | #Constraints: 62323
2846.10/2855.29 c #Conflicts: 953000 | #Constraints: 63323
2846.10/2855.29 c #Conflicts: 954000 | #Constraints: 64323
2846.10/2855.29 c #Conflicts: 955000 | #Constraints: 65323
2846.10/2855.29 c #Conflicts: 956000 | #Constraints: 66323
2846.10/2855.29 c #Conflicts: 957000 | #Constraints: 67323
2846.10/2855.29 c #Conflicts: 958000 | #Constraints: 68323
2846.10/2855.29 c #Conflicts: 959000 | #Constraints: 69323
2846.10/2855.29 c #Conflicts: 960000 | #Constraints: 70323
2846.10/2855.29 c #Conflicts: 961000 | #Constraints: 71323
2846.10/2855.29 c #Conflicts: 962000 | #Constraints: 72323
2846.10/2855.29 c #Conflicts: 963000 | #Constraints: 73324
2846.10/2855.29 c #Conflicts: 964000 | #Constraints: 74324
2846.10/2855.29 c #Conflicts: 965000 | #Constraints: 75324
2846.10/2855.29 c #Conflicts: 966000 | #Constraints: 76324
2846.10/2855.29 c #Conflicts: 967000 | #Constraints: 77324
2846.10/2855.29 c #Conflicts: 968000 | #Constraints: 78324
2846.10/2855.29 c #Conflicts: 969000 | #Constraints: 79324
2846.10/2855.29 c #Conflicts: 970000 | #Constraints: 80324
2846.10/2855.29 c #Conflicts: 971000 | #Constraints: 81324
2846.10/2855.29 c #Conflicts: 972000 | #Constraints: 82324
2846.10/2855.29 c #Conflicts: 973000 | #Constraints: 83324
2846.10/2855.29 c #Conflicts: 974000 | #Constraints: 84324
2846.10/2855.29 c #Conflicts: 975000 | #Constraints: 85324
2846.10/2855.29 c #Conflicts: 976000 | #Constraints: 86324
2846.10/2855.29 c #Conflicts: 977000 | #Constraints: 87324
2846.10/2855.29 c #Conflicts: 978000 | #Constraints: 88324
2846.10/2855.29 c #Conflicts: 979000 | #Constraints: 89324
2846.10/2855.29 c #Conflicts: 980000 | #Constraints: 90324
2846.10/2855.29 c #Conflicts: 981000 | #Constraints: 91324
2846.10/2855.29 c #Conflicts: 982000 | #Constraints: 92324
2846.10/2855.29 c #Conflicts: 983000 | #Constraints: 93324
2846.10/2855.29 c #Conflicts: 984000 | #Constraints: 94324
2846.10/2855.29 c #Conflicts: 985000 | #Constraints: 95324
2954.11/2963.56 c #Conflicts: 986000 | #Constraints: 96324
2954.11/2963.56 c #Conflicts: 987000 | #Constraints: 97324
2954.11/2963.56 c #Conflicts: 988000 | #Constraints: 98324
2954.11/2963.56 c #Conflicts: 989000 | #Constraints: 99324
2954.11/2963.56 c #Conflicts: 990000 | #Constraints: 100324
2954.11/2963.56 c #Conflicts: 991000 | #Constraints: 101324
2954.11/2963.56 c #Conflicts: 992000 | #Constraints: 102324
2954.11/2963.56 c #Conflicts: 993000 | #Constraints: 103324
2954.11/2963.56 c #Conflicts: 994000 | #Constraints: 104324
2954.11/2963.56 c #Conflicts: 995000 | #Constraints: 105324
2954.11/2963.56 c #Conflicts: 996000 | #Constraints: 106324
2954.11/2963.56 c #Conflicts: 997000 | #Constraints: 107324
2954.11/2963.56 c #Conflicts: 998000 | #Constraints: 108324
2954.11/2963.56 c #Conflicts: 999000 | #Constraints: 109324
2954.11/2963.56 c INPROCESSING
2954.11/2963.56 c GARBAGE COLLECT
2954.11/2963.56 c rational objective 1.11799e-13
3234.56/3244.75 c #Conflicts: 1000000 | #Constraints: 60457
3234.56/3244.75 c #Conflicts: 1001000 | #Constraints: 61457
3234.56/3244.75 c #Conflicts: 1002000 | #Constraints: 62457
3234.56/3244.75 c #Conflicts: 1003000 | #Constraints: 63457
3234.56/3244.75 c #Conflicts: 1004000 | #Constraints: 64457
3234.56/3244.75 c #Conflicts: 1005000 | #Constraints: 65457
3234.56/3244.75 c #Conflicts: 1006000 | #Constraints: 66457
3234.56/3244.75 c #Conflicts: 1007000 | #Constraints: 67457
3234.56/3244.75 c #Conflicts: 1008000 | #Constraints: 68457
3234.56/3244.75 c #Conflicts: 1009000 | #Constraints: 69457
3234.56/3244.75 c #Conflicts: 1010000 | #Constraints: 70457
3234.56/3244.75 c #Conflicts: 1011000 | #Constraints: 71457
3234.56/3244.75 c #Conflicts: 1012000 | #Constraints: 72457
3234.56/3244.75 c #Conflicts: 1013000 | #Constraints: 73457
3234.56/3244.75 c #Conflicts: 1014000 | #Constraints: 74457
3234.56/3244.75 c #Conflicts: 1015000 | #Constraints: 75457
3234.56/3244.75 c #Conflicts: 1016000 | #Constraints: 76457
3234.56/3244.75 c #Conflicts: 1017000 | #Constraints: 77457
3234.56/3244.75 c #Conflicts: 1018000 | #Constraints: 78457
3234.56/3244.75 c #Conflicts: 1019000 | #Constraints: 79457
3234.56/3244.75 c #Conflicts: 1020000 | #Constraints: 80457
3234.56/3244.75 c #Conflicts: 1021000 | #Constraints: 81457
3234.56/3244.75 c #Conflicts: 1022000 | #Constraints: 82457
3234.56/3244.75 c #Conflicts: 1023000 | #Constraints: 83457
3234.56/3244.75 c #Conflicts: 1024000 | #Constraints: 84457
3234.56/3244.75 c INPROCESSING
3234.56/3244.75 c GARBAGE COLLECT
3234.56/3244.75 c #Conflicts: 1025000 | #Constraints: 47996
3234.56/3244.75 c #Conflicts: 1026000 | #Constraints: 48996
3234.56/3244.75 c #Conflicts: 1027000 | #Constraints: 49996
3234.56/3244.75 c #Conflicts: 1028000 | #Constraints: 50996
3234.56/3244.75 c #Conflicts: 1029000 | #Constraints: 51996
3234.56/3244.75 c #Conflicts: 1030000 | #Constraints: 52996
3234.56/3244.75 c #Conflicts: 1031000 | #Constraints: 53996
3234.56/3244.75 c #Conflicts: 1032000 | #Constraints: 54996
3234.56/3244.75 c #Conflicts: 1033000 | #Constraints: 55996
3234.56/3244.75 c #Conflicts: 1034000 | #Constraints: 56996
3234.56/3244.75 c #Conflicts: 1035000 | #Constraints: 57996
3234.56/3244.75 c #Conflicts: 1036000 | #Constraints: 58996
3234.56/3244.75 c #Conflicts: 1037000 | #Constraints: 59996
3234.56/3244.75 c #Conflicts: 1038000 | #Constraints: 60996
3234.56/3244.75 c #Conflicts: 1039000 | #Constraints: 61996
3234.56/3244.75 c #Conflicts: 1040000 | #Constraints: 62996
3234.56/3244.75 c #Conflicts: 1041000 | #Constraints: 63996
3234.56/3244.75 c #Conflicts: 1042000 | #Constraints: 64996
3234.56/3244.75 c #Conflicts: 1043000 | #Constraints: 65996
3234.56/3244.75 c #Conflicts: 1044000 | #Constraints: 66996
3234.56/3244.75 c #Conflicts: 1045000 | #Constraints: 67996
3234.56/3244.75 c #Conflicts: 1046000 | #Constraints: 68996
3234.56/3244.75 c #Conflicts: 1047000 | #Constraints: 69996
3234.56/3244.75 c #Conflicts: 1048000 | #Constraints: 70996
3234.56/3244.75 c #Conflicts: 1049000 | #Constraints: 71996
3234.56/3244.75 c INPROCESSING
3234.56/3244.75 c GARBAGE COLLECT
3234.56/3244.75 c #Conflicts: 1050000 | #Constraints: 42694
3234.56/3244.75 c #Conflicts: 1051000 | #Constraints: 43694
3234.56/3244.75 c #Conflicts: 1052000 | #Constraints: 44694
3234.56/3244.75 c #Conflicts: 1053000 | #Constraints: 45694
3234.56/3244.75 c #Conflicts: 1054000 | #Constraints: 46694
3234.56/3244.75 c #Conflicts: 1055000 | #Constraints: 47694
3234.56/3244.75 c #Conflicts: 1056000 | #Constraints: 48694
3234.56/3244.75 c #Conflicts: 1057000 | #Constraints: 49694
3234.56/3244.75 c #Conflicts: 1058000 | #Constraints: 50694
3234.56/3244.75 c #Conflicts: 1059000 | #Constraints: 51694
3234.56/3244.75 c #Conflicts: 1060000 | #Constraints: 52694
3234.56/3244.75 c #Conflicts: 1061000 | #Constraints: 53694
3234.56/3244.75 c #Conflicts: 1062000 | #Constraints: 54694
3234.56/3244.75 c #Conflicts: 1063000 | #Constraints: 55694
3234.56/3244.75 c #Conflicts: 1064000 | #Constraints: 56694
3234.56/3244.75 c #Conflicts: 1065000 | #Constraints: 57694
3234.56/3244.75 c #Conflicts: 1066000 | #Constraints: 58694
3234.56/3244.75 c #Conflicts: 1067000 | #Constraints: 59694
3234.56/3244.75 c #Conflicts: 1068000 | #Constraints: 60694
3234.56/3244.75 c #Conflicts: 1069000 | #Constraints: 61694
3234.56/3244.75 c #Conflicts: 1070000 | #Constraints: 62694
3234.56/3244.75 c #Conflicts: 1071000 | #Constraints: 63694
3234.56/3244.75 c #Conflicts: 1072000 | #Constraints: 64694
3234.56/3244.75 c #Conflicts: 1073000 | #Constraints: 65694
3234.56/3244.75 c #Conflicts: 1074000 | #Constraints: 66694
3234.56/3244.75 c #Conflicts: 1075000 | #Constraints: 67694
3234.56/3244.75 c #Conflicts: 1076000 | #Constraints: 68694
3234.56/3244.75 c #Conflicts: 1077000 | #Constraints: 69694
3580.29/3591.46 c #Conflicts: 1078000 | #Constraints: 70694
3580.29/3591.46 c #Conflicts: 1079000 | #Constraints: 71694
3580.29/3591.46 c #Conflicts: 1080000 | #Constraints: 72694
3580.29/3591.46 c #Conflicts: 1081000 | #Constraints: 73694
3580.29/3591.46 c #Conflicts: 1082000 | #Constraints: 74694
3580.29/3591.46 c #Conflicts: 1083000 | #Constraints: 75694
3580.29/3591.46 c #Conflicts: 1084000 | #Constraints: 76694
3580.29/3591.46 c #Conflicts: 1085000 | #Constraints: 77694
3580.29/3591.46 c #Conflicts: 1086000 | #Constraints: 78694
3580.29/3591.46 c #Conflicts: 1087000 | #Constraints: 79694
3580.29/3591.46 c #Conflicts: 1088000 | #Constraints: 80694
3580.29/3591.46 c #Conflicts: 1089000 | #Constraints: 81694
3580.29/3591.46 c #Conflicts: 1090000 | #Constraints: 82694
3580.29/3591.46 c #Conflicts: 1091000 | #Constraints: 83694
3580.29/3591.46 c #Conflicts: 1092000 | #Constraints: 84694
3580.29/3591.46 c #Conflicts: 1093000 | #Constraints: 85694
3580.29/3591.46 c #Conflicts: 1094000 | #Constraints: 86694
3580.29/3591.46 c #Conflicts: 1095000 | #Constraints: 87694
3580.29/3591.46 c #Conflicts: 1096000 | #Constraints: 88694
3580.29/3591.46 c #Conflicts: 1097000 | #Constraints: 89694
3580.29/3591.46 c #Conflicts: 1098000 | #Constraints: 90694
3580.29/3591.46 c #Conflicts: 1099000 | #Constraints: 91694
3580.29/3591.46 c #Conflicts: 1100000 | #Constraints: 92694
3580.29/3591.46 c #Conflicts: 1101000 | #Constraints: 93694
3580.29/3591.46 c #Conflicts: 1102000 | #Constraints: 94694
3580.29/3591.46 c #Conflicts: 1103000 | #Constraints: 95694
3580.29/3591.46 c #Conflicts: 1104000 | #Constraints: 96694
3580.29/3591.46 c #Conflicts: 1105000 | #Constraints: 97694
3580.29/3591.46 c #Conflicts: 1106000 | #Constraints: 98694
3580.29/3591.46 c #Conflicts: 1107000 | #Constraints: 99694
3580.29/3591.46 c #Conflicts: 1108000 | #Constraints: 100694
3580.29/3591.46 c #Conflicts: 1109000 | #Constraints: 101694
3580.29/3591.46 c #Conflicts: 1110000 | #Constraints: 102694
3580.29/3591.46 c #Conflicts: 1111000 | #Constraints: 103694
3580.29/3591.46 c #Conflicts: 1112000 | #Constraints: 104694
3580.29/3591.46 c #Conflicts: 1113000 | #Constraints: 105694
3580.29/3591.46 c #Conflicts: 1114000 | #Constraints: 106694
3580.29/3591.46 c #Conflicts: 1115000 | #Constraints: 107694
3580.29/3591.46 c #Conflicts: 1116000 | #Constraints: 108694
3580.29/3591.46 c #Conflicts: 1117000 | #Constraints: 109694
3580.29/3591.46 c #Conflicts: 1118000 | #Constraints: 110694
3580.29/3591.46 c #Conflicts: 1119000 | #Constraints: 111694
3580.29/3591.46 c #Conflicts: 1120000 | #Constraints: 112694
3580.29/3591.46 c #Conflicts: 1121000 | #Constraints: 113694
3580.29/3591.46 c #Conflicts: 1122000 | #Constraints: 114694
3580.29/3591.46 c #Conflicts: 1123000 | #Constraints: 115694
3580.29/3591.46 c INPROCESSING
3580.29/3591.46 c GARBAGE COLLECT
3580.29/3591.46 c rational objective 1.11799e-13
3600.04/3611.20 c #Conflicts: 1124000 | #Constraints: 63860
3600.04/3611.20 c #Conflicts: 1125000 | #Constraints: 64860
3600.04/3611.20 c #Conflicts: 1126000 | #Constraints: 65860
3600.04/3611.20 c #Conflicts: 1127000 | #Constraints: 66860
3600.04/3611.20 c #Conflicts: 1128000 | #Constraints: 67860
3600.04/3611.20 c #Conflicts: 1129000 | #Constraints: 68860
3600.04/3611.20 c #Conflicts: 1130000 | #Constraints: 69860
3600.04/3611.20 c #Conflicts: 1131000 | #Constraints: 70860
3600.04/3611.20 c cpu time 3579.39 s
3600.04/3611.20 c deterministic time 79748802610 7.97e+10
3600.04/3611.20 c optimization time 19.4239 s
3600.04/3611.20 c total solve time 3559.9 s
3600.04/3611.20 c core-guided solve time 0 s
3600.04/3611.20 c propagation time 1115.77 s
3600.04/3611.20 c conflict analysis time 2376.9 s
3600.04/3611.20 c propagations 595377678
3600.04/3611.20 c resolve steps 251435705
3600.04/3611.20 c decisions 1719074
3600.04/3611.20 c conflicts 1131572
3600.04/3611.20 c restarts 2066
3600.04/3611.20 c inprocessing phases 54
3600.04/3611.20 c garbage collections 54 ,( 100.00 )
3600.04/3611.20 c input clauses 6156 ,( 68.67 )
3600.04/3611.20 c input cardinalities 0 ,( 0.00 )
3600.04/3611.20 c input general constraints 2809 ,( 31.33 )
3600.04/3611.20 c input average constraint length 3.10
3600.04/3611.20 c input average constraint degree 2009414223033.63
3600.04/3611.20 c learned clauses 911069 ,( 80.51 )
3600.04/3611.20 c learned cardinalities 99 ,( 0.01 )
3600.04/3611.20 c learned general constraints 220413 ,( 19.48 )
3600.04/3611.20 c learned average constraint length 487.92
3600.04/3611.20 c learned average constraint degree 56830522.45
3600.04/3611.20 c watched CF 32, 64, 128, Arb: 51230 , 0 , 0 , 0
3600.04/3611.20 c counting CF 32, 64, 128, Arb: 171991 , 1 , 0 , 0
3600.04/3611.20 c watched constraints 51230 ,( 22.95 )
3600.04/3611.20 c counting constraints 171992 ,( 77.05 )
3600.04/3611.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 725202453 , 2033037 , 12842543141 ,( 115341780 , 12727201361 )
3600.04/3611.20 c gcd simplifications 20072
3600.04/3611.20 c detected cardinalities 21
3600.04/3611.20 c weakened non-implied lits 83682708
3600.04/3611.20 c weakened non-implying lits 373441
3600.04/3611.20 c original variables 4482
3600.04/3611.20 c clausal propagations 162935971
3600.04/3611.20 c cardinality propagations 83973
3600.04/3611.20 c watched propagations 1255019
3600.04/3611.20 c counting propagations 429961342
3600.04/3611.20 c watch lookups 49990835468
3600.04/3611.20 c watch backjump lookups 0
3600.04/3611.20 c watch checks 6871533220
3600.04/3611.20 c propagation checks 19462064694
3600.04/3611.20 c constraint additions 2228824583
3600.04/3611.20 c trail pops 598224664
3600.04/3611.20 c formula constraints 8965
3600.04/3611.20 c learned constraints 1131562
3600.04/3611.20 c bound constraints 0
3600.04/3611.20 c core-guided constraints 0
3600.04/3611.20 c encountered formula constraints 197097847
3600.04/3611.20 c encountered learned constraints 55294576
3600.04/3611.20 c encountered bound constraints 0
3600.04/3611.20 c encountered core-guided constraints 0
3600.04/3611.20 c LP total time 19.04 s
3600.04/3611.20 c LP solve time 17.32 s
3600.04/3611.20 c LP constraints added 8965
3600.04/3611.20 c LP constraints removed 0
3600.04/3611.20 c LP pivots internal 113230
3600.04/3611.20 c LP pivots root 109998
3600.04/3611.20 c LP calls 255
3600.04/3611.20 c LP optimalities 241
3600.04/3611.20 c LP no pivot count 19
3600.04/3611.20 c LP infeasibilities 10
3600.04/3611.20 c LP valid Farkas constraints 10
3600.04/3611.20 c LP learned Farkas constraints 9
3600.04/3611.20 c LP basis resets 0
3600.04/3611.20 c LP cycling count 0
3600.04/3611.20 c LP singular count 0
3600.04/3611.20 c LP no primal count 0
3600.04/3611.20 c LP no farkas count 0
3600.04/3611.20 c LP other issue count 0
3600.04/3611.20 c LP Gomory cuts 0
3600.04/3611.20 c LP learned cuts 0
3600.04/3611.20 c LP deleted cuts 0
3600.04/3611.20 c LP encountered Gomory constraints 0
3600.04/3611.20 c LP encountered Farkas constraints 173197
3600.04/3611.20 c LP encountered learned Farkas constraints 1648
3600.04/3611.20 c CG auxiliary variables introduced 0
3600.04/3611.20 c CG solutions found 0
3600.04/3611.20 c CG cores constructed 0
3600.04/3611.20 c CG core cardinality constraints returned 0
3600.04/3611.20 c CG unit cores 0
3600.04/3611.20 c CG single cores 0
3600.04/3611.20 c CG blocks removed during cardinality reduction 0
3600.04/3611.20 c CG first core best 0
3600.04/3611.20 c CG decision core best 0
3600.04/3611.20 c CG core reduction tie 0
3600.04/3611.20 c CG core degree average 0.00
3600.04/3611.20 c CG core slack average 0.00
3600.04/3611.20 c CG core upper bound improvements 0
3600.04/3611.20 c STR number of successful calls 0
3600.04/3611.20 c STR number of unsuccessful calls 0
3600.04/3611.20 c STR number of inconclusive calls 0
3600.04/3611.20 c STR number of successful attempts 0
3600.04/3611.20 c STR number of unsuccessful attempts 0
3600.04/3611.20 c STR number of inconclusive attempts 0
3600.04/3611.20 c STR average degree increase per successful call inf
3600.04/3611.20 c STR average degree increase per successful attempt inf
3600.04/3611.20 c STR total number of conflicts for successful attempts 0
3600.04/3611.20 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3611.20 c STR total number of conflicts for inconclusive attempts 0
3600.04/3611.20 c STR average number of conflicts per successful attempt inf
3600.04/3611.20 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3611.20 c STR average number of conflicts per inconclusive attempt inf
3600.04/3611.20 c AVG.sumWPerc 67.20
3600.04/3611.20 c bigint constraints 1
3600.04/3611.20 s UNKNOWN
3600.04/3611.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (54211 MiB free)
memory of node 1: 64465 MiB (53318 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542078-1753211729/watcher-4542078-1753211729 -o /tmp/evaluation-result-4542078-1753211729/solver-4542078-1753211729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753211729-157538 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4542078-1753211729.opb /tmp/proof-4542078-1753211729
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=157582, runsolver pid=157577
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 1.17 1.31 1.43 5/256 157603
/proc/meminfo: memFree=110080280/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=57820 memory=11392 CPUtime=0.04 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 1020 0 0 0 3 1 0 0 20 0 1 0 236851585 59207680 2848 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 14455 2848 2048 1147 0 1882 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62012 KiB
Current children cumulated memory: 14464 KiB
[startup+0.214344 s]*
/proc/loadavg: 1.17 1.31 1.43 5/256 157604
/proc/meminfo: memFree=110038496/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=73756 memory=25852 CPUtime=0.14 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 4929 0 0 0 12 2 0 0 20 0 1 0 236851585 75526144 6463 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 18439 6463 2304 1147 0 5866 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 77948 KiB
Current children cumulated memory: 28924 KiB
[startup+0.313905 s]*
/proc/loadavg: 1.17 1.31 1.43 5/256 157604
/proc/meminfo: memFree=110038496/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=74916 memory=26748 CPUtime=0.24 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 5106 0 0 0 22 2 0 0 20 0 1 0 236851585 76713984 6687 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 18729 6687 2368 1147 0 6156 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 79108 KiB
Current children cumulated memory: 29820 KiB
[startup+0.700308 s]
/proc/loadavg: 1.17 1.31 1.43 5/256 157604
/proc/meminfo: memFree=110021988/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=76516 memory=29564 CPUtime=0.62 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 5795 0 0 0 59 3 0 0 20 0 1 0 236851585 78352384 7391 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 19129 7391 2368 1147 0 6556 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 80708 KiB
Current children cumulated memory: 32636 KiB
[startup+1.50035 s]
/proc/loadavg: 1.17 1.31 1.43 5/256 157604
/proc/meminfo: memFree=110011408/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=78092 memory=31868 CPUtime=1.41 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 6378 0 0 0 137 4 0 0 20 0 1 0 236851585 79966208 7967 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 19523 7967 2368 1147 0 6950 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 82284 KiB
Current children cumulated memory: 34940 KiB
[startup+3.11306 s]
/proc/loadavg: 1.40 1.35 1.44 5/256 157605
/proc/meminfo: memFree=109885944/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=79976 memory=35588 CPUtime=3.02 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 6782 0 0 0 297 5 0 0 20 0 1 0 236851585 81895424 8897 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 19994 8897 2368 1147 0 7421 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 84168 KiB
Current children cumulated memory: 38660 KiB
[startup+6.30029 s]
/proc/loadavg: 1.40 1.35 1.44 5/256 157605
/proc/meminfo: memFree=109804892/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=80268 memory=36228 CPUtime=6.2 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 6960 0 0 0 613 7 0 0 20 0 1 0 236851585 82194432 9057 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 20067 9057 2368 1147 0 7494 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 84460 KiB
Current children cumulated memory: 39300 KiB
[startup+12.7004 s]
/proc/loadavg: 1.69 1.41 1.46 5/257 157655
/proc/meminfo: memFree=109432956/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=84720 memory=38148 CPUtime=12.58 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 7449 0 0 0 1246 12 0 0 20 0 1 0 236851585 86753280 9537 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 21180 9537 2368 1147 0 8607 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 88912 KiB
Current children cumulated memory: 41220 KiB
[startup+25.5004 s]
/proc/loadavg: 2.20 1.54 1.50 5/257 157657
/proc/meminfo: memFree=106416640/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=86560 memory=40324 CPUtime=25.34 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 7984 0 0 0 2511 23 0 0 20 0 1 0 236851585 88637440 10081 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 21640 10081 2368 1147 0 9067 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 90752 KiB
Current children cumulated memory: 43396 KiB
[startup+51.1132 s]
/proc/loadavg: 2.89 1.75 1.57 5/255 157657
/proc/meminfo: memFree=106122924/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=103520 memory=54504 CPUtime=50.87 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 11048 0 0 0 5046 41 0 0 20 0 1 0 236851585 106004480 13626 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 25880 13626 2368 1147 0 13307 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 107712 KiB
Current children cumulated memory: 57576 KiB
[startup+102.3 s]
/proc/loadavg: 3.68 2.15 1.72 5/255 157666
/proc/meminfo: memFree=105598996/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=130196 memory=85356 CPUtime=101.91 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 15195 0 0 0 10112 79 0 0 20 0 1 0 236851585 133320704 21339 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 32549 21339 2368 1147 0 19976 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 134388 KiB
Current children cumulated memory: 88428 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 2.52 1.88 5/255 157668
/proc/meminfo: memFree=105060760/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=154800 memory=95000 CPUtime=161.75 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 17106 0 0 0 16049 126 0 0 20 0 1 0 236851585 158515200 23750 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 38700 23750 2368 1147 0 26127 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 158992 KiB
Current children cumulated memory: 98072 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 2.82 2.02 5/255 157670
/proc/meminfo: memFree=104356028/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=156300 memory=96536 CPUtime=221.59 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 17489 0 0 0 21989 170 0 0 20 0 1 0 236851585 160051200 24134 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 39075 24134 2368 1147 0 26502 0
################
# More data... #
################
/proc/157601/statm: 167047 123010 2368 1147 0 154474 0
Current children cumulated CPU time: 3032.7 s
Current children cumulated vsize: 672380 KiB
Current children cumulated memory: 495112 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.24 4.11 5/255 157816
/proc/meminfo: memFree=83548332/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=669288 memory=493192 CPUtime=3092.5 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 67661 0 0 0 307416 1834 0 0 20 0 1 0 236851585 685350912 123298 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 167322 123298 2368 1147 0 154749 0
Current children cumulated CPU time: 3092.53 s
Current children cumulated vsize: 673480 KiB
Current children cumulated memory: 496264 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.22 4.11 5/255 157818
/proc/meminfo: memFree=83149696/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=673080 memory=496776 CPUtime=3152.35 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 68553 0 0 0 313373 1862 0 0 20 0 1 0 236851585 689233920 124194 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 168270 124194 2368 1147 0 155697 0
Current children cumulated CPU time: 3152.38 s
Current children cumulated vsize: 677272 KiB
Current children cumulated memory: 499848 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.19 4.11 5/254 157820
/proc/meminfo: memFree=82852300/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=673080 memory=496776 CPUtime=3212.18 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 68553 0 0 0 319326 1892 0 0 20 0 1 0 236851585 689233920 124194 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 168270 124194 2368 1147 0 155697 0
Current children cumulated CPU time: 3212.21 s
Current children cumulated vsize: 677272 KiB
Current children cumulated memory: 499848 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.20 4.11 5/254 157822
/proc/meminfo: memFree=82573588/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=673080 memory=496776 CPUtime=3272.02 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 68567 0 0 0 325278 1924 0 0 20 0 1 0 236851585 689233920 124194 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 168270 124194 2368 1147 0 155697 0
Current children cumulated CPU time: 3272.05 s
Current children cumulated vsize: 677272 KiB
Current children cumulated memory: 499848 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.20 4.11 5/254 157824
/proc/meminfo: memFree=82266408/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=673212 memory=497032 CPUtime=3331.86 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 68622 0 0 0 331234 1952 0 0 20 0 1 0 236851585 689369088 124258 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 168303 124258 2368 1147 0 155730 0
Current children cumulated CPU time: 3331.89 s
Current children cumulated vsize: 677404 KiB
Current children cumulated memory: 500104 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.17 4.11 5/253 157826
/proc/meminfo: memFree=81963064/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=676880 memory=499848 CPUtime=3391.69 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 69324 0 0 0 337193 1976 0 0 20 0 1 0 236851585 693125120 124962 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 169220 124962 2368 1147 0 156647 0
Current children cumulated CPU time: 3391.72 s
Current children cumulated vsize: 681072 KiB
Current children cumulated memory: 502920 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.18 4.11 5/253 157828
/proc/meminfo: memFree=81691576/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=683408 memory=504328 CPUtime=3451.53 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 70444 0 0 0 343152 2001 0 0 20 0 1 0 236851585 699809792 126082 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 170852 126082 2368 1147 0 158279 0
Current children cumulated CPU time: 3451.56 s
Current children cumulated vsize: 687600 KiB
Current children cumulated memory: 507400 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/254 157831
/proc/meminfo: memFree=81379760/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=689488 memory=540076 CPUtime=3511.35 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 71712 0 0 0 349110 2025 0 0 20 0 1 0 236851585 706035712 135019 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 172372 135019 2368 1147 0 159799 0
Current children cumulated CPU time: 3511.38 s
Current children cumulated vsize: 693680 KiB
Current children cumulated memory: 543148 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.18 4.11 5/254 157833
/proc/meminfo: memFree=81096792/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=696852 memory=572316 CPUtime=3571.2 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 73131 0 0 0 355074 2046 0 0 20 0 1 0 236851585 713576448 143079 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 174213 143079 2368 1147 0 161640 0
Current children cumulated CPU time: 3571.23 s
Current children cumulated vsize: 701044 KiB
Current children cumulated memory: 575388 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.12 4.16 4.11 3/244 157849
/proc/meminfo: memFree=81902672/131382120 swapFree=33010160/33010684
[pid=157582] ppid=157577 vsize=4192 memory=3072 CPUtime=0.03 cores=0,2
/proc/157582/stat : 157582 (run-dec-break-l) S 157577 157582 157528 0 -1 4194304 239 2348 0 0 0 0 2 1 20 0 1 0 236851580 4292608 768 18446744073709551615 94490010394624 94490011289157 140728484812640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94490011528208 94490011575952 94490011627520 140728484821305 140728484821468 140728484821468 140728484827072 0
/proc/157582/statm: 1048 768 704 219 0 110 0
[pid=157601] ppid=157582 vsize=701304 memory=579944 CPUtime=3600.01 cores=0,2
/proc/157601/stat : 157601 (roundingsat) R 157582 157582 157528 0 -1 4194304 74026 0 0 0 357939 2062 0 0 20 0 1 0 236851585 718135296 144986 18446744073709551615 4227072 8923433 140734268329040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10207232 140734268332312 140734268332582 140734268332582 140734268338154 0
/proc/157601/statm: 175326 144986 2368 1147 0 162753 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 705496 KiB
Current children cumulated memory: 583016 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.21 s]
# the end of solver process 157582 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.025697 s, system=0.018661 s
Sleeping 2 seconds
[startup+3611.21 s]
# the end of solver process 157601 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3579.43 s, system=20.6444 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): 3611.21
CPU time (s): 3600.07
CPU user time (s): 3579.43
CPU system time (s): 20.6444
CPU usage (%): 99.6915
Max. virtual memory (cumulated for all children) (KiB): 705496
Max. memory (cumulated for all children) (KiB): 583016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.43
system time used= 20.6444
maximum resident set size= 580328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76634
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24265040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 327
involuntary context switches= 8146
# summary of solver processes directly reported to runsolver:
# pid: 157582,157601
# total CPU time (s): 3600.07
# total CPU user time (s): 3579.43
# total CPU system time (s): 20.6444
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9398 second user time and 36.0925 second system time
The end
Begin job on nodeC003 at 2025-07-22 21:15:29
IDJOB=4542078
IDBENCH=163785
IDSOLVER=3358
FILE ID=nodeC003/4542078-1753211729
RUNJOBID= nodeC003-1753211729-157538
SLURM_JOB_ID= 9687799
Free space on /tmp= 432264 MiB
SOLVER NAME= roundingsat+pbsuma-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542078-1753211729/watcher-4542078-1753211729 -o /tmp/evaluation-result-4542078-1753211729/solver-4542078-1753211729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753211729-157538 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4542078-1753211729.opb /tmp/proof-4542078-1753211729
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e80427fd7184340cbc2fb1b3fd72520e
RANDOM SEED=485286513
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2693.875
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.112
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.604
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.978
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.303
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.392
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.164
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.200
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 110111864 kB
MemAvailable: 129891112 kB
Buffers: 2736 kB
Cached: 20547640 kB
SwapCached: 36 kB
Active: 1178480 kB
Inactive: 19442336 kB
Active(anon): 88952 kB
Inactive(anon): 7604 kB
Active(file): 1089528 kB
Inactive(file): 19434732 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 27096 kB
Writeback: 24 kB
AnonPages: 73576 kB
Mapped: 107456 kB
Shmem: 26116 kB
KReclaimable: 189232 kB
Slab: 279480 kB
SReclaimable: 189232 kB
SUnreclaim: 90248 kB
KernelStack: 3928 kB
PageTables: 2628 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 341888 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 403328 MiB
End job on nodeC003 at 2025-07-22 22:15:41