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-4506872-1751172706.opb'
0.00/0.04 c read 1.45MB (19.79ms)
0.00/0.04 c [cnf: #variables 20944 #clauses 21298 #duplicates 0 #arr 137034]
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 3168] (27.84ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c (4.16ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 105074 #edges 399732]
0.00/0.07 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.09 c [group: #symmetries 4.80*10^1 #generators 5] (22.68ms)
0.00/0.09 c
0.00/0.09 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.09 c (0.08ms)
0.00/0.09 c
0.00/0.09 c finalize break order and special generators
0.00/0.09 c
0.00/0.09 c add generic predicates (break_depth=10)
0.00/0.09 c added predicates for 5 generators (0.19ms)
0.00/0.09 c
0.00/0.09 c generation finished
0.00/0.09 c [sbp: #constraints 140 #add_vars 45]
0.00/0.09 c
0.00/0.09 c write result to 'HOME/instance-4506872-1751172706.opb.pre'
0.00/0.10 c wrote 1.47MB (5.65ms)
0.00/0.10 c ------------------------------------------------------------------
0.00/0.10 c 27.84ms 33.71% approx_orbits
0.00/0.10 c 22.68ms 27.47% detect_generic
0.00/0.10 c 19.79ms 23.96% parse
0.00/0.10 c 5.65ms 6.85% output
0.00/0.10 c 4.16ms 5.03% detect_special
0.00/0.10 c 1.39ms 1.68% other
0.00/0.10 c 0.81ms 0.98% finalize_order
0.00/0.10 c 0.19ms 0.23% break_generic
0.00/0.10 c 0.08ms 0.09% optimize_gens
0.00/0.10 c ───────────────────────────────────────────────
0.00/0.10 c 82.59ms 100% total
0.00/0.10 c ------------------------------------------------------------------
0.07/0.11 c RoundingSat 2
0.07/0.11 c branch pb25
0.07/0.11 c commit 63f22ad
0.16/0.24 c #variables 20989 #constraints 21436
118.23/118.66 c #Conflicts: 1000 | #Constraints: 22435
118.23/118.66 c #Conflicts: 2000 | #Constraints: 23435
118.23/118.66 c INPROCESSING
118.23/118.66 c GARBAGE COLLECT
118.23/118.66 c #Conflicts: 3000 | #Constraints: 22685
118.23/118.66 c #Conflicts: 4000 | #Constraints: 23685
118.23/118.66 c INPROCESSING
118.23/118.66 c GARBAGE COLLECT
118.23/118.66 c #Conflicts: 5000 | #Constraints: 23196
118.23/118.66 c #Conflicts: 6000 | #Constraints: 24196
118.23/118.66 c INPROCESSING
118.23/118.66 c GARBAGE COLLECT
118.23/118.66 c #Conflicts: 7000 | #Constraints: 23289
118.23/118.66 c #Conflicts: 8000 | #Constraints: 24289
118.23/118.66 c #Conflicts: 9000 | #Constraints: 25289
118.23/118.66 c #Conflicts: 10000 | #Constraints: 26289
118.23/118.66 c #Conflicts: 11000 | #Constraints: 27289
118.23/118.66 c #Conflicts: 12000 | #Constraints: 28289
118.23/118.66 c INPROCESSING
118.23/118.66 c GARBAGE COLLECT
118.23/118.66 c #Conflicts: 13000 | #Constraints: 25337
118.23/118.66 c #Conflicts: 14000 | #Constraints: 26337
118.23/118.66 c #Conflicts: 15000 | #Constraints: 27337
118.23/118.66 c #Conflicts: 16000 | #Constraints: 28337
118.23/118.66 c INPROCESSING
118.23/118.66 c GARBAGE COLLECT
118.23/118.66 c #Conflicts: 17000 | #Constraints: 25724
118.23/118.66 c #Conflicts: 18000 | #Constraints: 26724
118.23/118.66 c #Conflicts: 19000 | #Constraints: 27724
118.23/118.66 c #Conflicts: 20000 | #Constraints: 28724
118.23/118.66 c #Conflicts: 21000 | #Constraints: 29724
118.23/118.66 c #Conflicts: 22000 | #Constraints: 30724
118.23/118.66 c #Conflicts: 23000 | #Constraints: 31724
118.23/118.66 c #Conflicts: 24000 | #Constraints: 32724
118.23/118.66 c #Conflicts: 25000 | #Constraints: 33724
118.23/118.66 c INPROCESSING
118.23/118.66 c GARBAGE COLLECT
118.23/118.66 c #Conflicts: 26000 | #Constraints: 28205
118.23/118.66 c #Conflicts: 27000 | #Constraints: 29205
118.23/118.66 c #Conflicts: 28000 | #Constraints: 30205
118.23/118.66 c #Conflicts: 29000 | #Constraints: 31205
118.23/118.66 c #Conflicts: 30000 | #Constraints: 32205
118.23/118.66 c INPROCESSING
118.23/118.66 c GARBAGE COLLECT
118.23/118.66 c #Conflicts: 31000 | #Constraints: 28343
118.23/118.66 c #Conflicts: 32000 | #Constraints: 29343
118.23/118.66 c #Conflicts: 33000 | #Constraints: 30343
118.23/118.66 c #Conflicts: 34000 | #Constraints: 31343
118.23/118.66 c #Conflicts: 35000 | #Constraints: 32343
118.23/118.67 c #Conflicts: 36000 | #Constraints: 33343
118.23/118.67 c #Conflicts: 37000 | #Constraints: 34343
118.23/118.67 c #Conflicts: 38000 | #Constraints: 35343
118.23/118.67 c #Conflicts: 39000 | #Constraints: 36343
118.23/118.67 c #Conflicts: 40000 | #Constraints: 37343
118.23/118.67 c #Conflicts: 41000 | #Constraints: 38343
118.23/118.67 c #Conflicts: 42000 | #Constraints: 39343
118.23/118.67 c #Conflicts: 43000 | #Constraints: 40343
118.23/118.67 c INPROCESSING
118.23/118.67 c GARBAGE COLLECT
118.23/118.67 c #Conflicts: 44000 | #Constraints: 31980
118.23/118.67 c #Conflicts: 45000 | #Constraints: 32980
118.23/118.67 c #Conflicts: 46000 | #Constraints: 33980
118.23/118.67 c #Conflicts: 47000 | #Constraints: 34980
118.23/118.67 c #Conflicts: 48000 | #Constraints: 35980
118.23/118.67 c #Conflicts: 49000 | #Constraints: 36980
118.23/118.67 c INPROCESSING
118.23/118.67 c GARBAGE COLLECT
118.23/118.67 c #Conflicts: 50000 | #Constraints: 31621
118.23/118.67 c #Conflicts: 51000 | #Constraints: 32621
118.23/118.67 c #Conflicts: 52000 | #Constraints: 33621
118.23/118.67 c #Conflicts: 53000 | #Constraints: 34621
118.23/118.67 c #Conflicts: 54000 | #Constraints: 35621
118.23/118.67 c #Conflicts: 55000 | #Constraints: 36621
118.23/118.67 c #Conflicts: 56000 | #Constraints: 37621
118.23/118.67 c #Conflicts: 57000 | #Constraints: 38621
118.23/118.67 c #Conflicts: 58000 | #Constraints: 39621
118.23/118.67 c #Conflicts: 59000 | #Constraints: 40621
118.23/118.67 c #Conflicts: 60000 | #Constraints: 41621
118.23/118.67 c #Conflicts: 61000 | #Constraints: 42621
118.23/118.67 c #Conflicts: 62000 | #Constraints: 43621
118.23/118.67 c #Conflicts: 63000 | #Constraints: 44621
118.23/118.67 c #Conflicts: 64000 | #Constraints: 45621
118.23/118.67 c #Conflicts: 65000 | #Constraints: 46621
118.23/118.67 c INPROCESSING
118.23/118.67 c GARBAGE COLLECT
118.23/118.67 c #Conflicts: 66000 | #Constraints: 35312
118.23/118.67 c #Conflicts: 67000 | #Constraints: 36312
118.23/118.67 c #Conflicts: 68000 | #Constraints: 37312
118.23/118.67 c #Conflicts: 69000 | #Constraints: 38312
118.23/118.67 c #Conflicts: 70000 | #Constraints: 39312
118.23/118.67 c #Conflicts: 71000 | #Constraints: 40312
118.23/118.67 c #Conflicts: 72000 | #Constraints: 41312
118.23/118.67 c INPROCESSING
118.23/118.67 c GARBAGE COLLECT
238.06/238.81 c #Conflicts: 73000 | #Constraints: 34571
238.06/238.81 c #Conflicts: 74000 | #Constraints: 35571
238.06/238.81 c #Conflicts: 75000 | #Constraints: 36571
238.06/238.81 c #Conflicts: 76000 | #Constraints: 37571
238.06/238.81 c #Conflicts: 77000 | #Constraints: 38571
238.06/238.81 c #Conflicts: 78000 | #Constraints: 39571
238.06/238.81 c #Conflicts: 79000 | #Constraints: 40571
238.06/238.81 c #Conflicts: 80000 | #Constraints: 41571
238.06/238.81 c #Conflicts: 81000 | #Constraints: 42571
238.06/238.81 c #Conflicts: 82000 | #Constraints: 43571
238.06/238.81 c #Conflicts: 83000 | #Constraints: 44571
238.06/238.81 c #Conflicts: 84000 | #Constraints: 45571
238.06/238.81 c #Conflicts: 85000 | #Constraints: 46571
238.06/238.81 c #Conflicts: 86000 | #Constraints: 47571
238.06/238.81 c #Conflicts: 87000 | #Constraints: 48571
238.06/238.81 c #Conflicts: 88000 | #Constraints: 49571
238.06/238.81 c #Conflicts: 89000 | #Constraints: 50571
238.06/238.81 c #Conflicts: 90000 | #Constraints: 51571
238.06/238.81 c #Conflicts: 91000 | #Constraints: 52571
238.06/238.81 c INPROCESSING
238.06/238.81 c GARBAGE COLLECT
238.06/238.81 c #Conflicts: 92000 | #Constraints: 38396
238.06/238.81 c #Conflicts: 93000 | #Constraints: 39396
238.06/238.81 c #Conflicts: 94000 | #Constraints: 40396
238.06/238.81 c #Conflicts: 95000 | #Constraints: 41396
238.06/238.81 c #Conflicts: 96000 | #Constraints: 42396
238.06/238.81 c #Conflicts: 97000 | #Constraints: 43396
238.06/238.81 c #Conflicts: 98000 | #Constraints: 44396
238.06/238.81 c #Conflicts: 99000 | #Constraints: 45396
238.06/238.81 c #Conflicts: 100000 | #Constraints: 46396
238.06/238.81 c INPROCESSING
238.06/238.81 c GARBAGE COLLECT
238.06/238.81 c #Conflicts: 101000 | #Constraints: 37580
238.06/238.81 c #Conflicts: 102000 | #Constraints: 38580
238.06/238.81 c #Conflicts: 103000 | #Constraints: 39580
238.06/238.81 c #Conflicts: 104000 | #Constraints: 40580
238.06/238.81 c #Conflicts: 105000 | #Constraints: 41580
238.06/238.81 c #Conflicts: 106000 | #Constraints: 42580
238.06/238.81 c #Conflicts: 107000 | #Constraints: 43580
238.06/238.81 c #Conflicts: 108000 | #Constraints: 44580
238.06/238.81 c #Conflicts: 109000 | #Constraints: 45580
238.06/238.81 c #Conflicts: 110000 | #Constraints: 46580
238.06/238.81 c #Conflicts: 111000 | #Constraints: 47580
238.06/238.81 c #Conflicts: 112000 | #Constraints: 48580
238.06/238.81 c #Conflicts: 113000 | #Constraints: 49580
238.06/238.81 c #Conflicts: 114000 | #Constraints: 50580
238.06/238.81 c #Conflicts: 115000 | #Constraints: 51580
238.06/238.81 c #Conflicts: 116000 | #Constraints: 52580
238.06/238.81 c #Conflicts: 117000 | #Constraints: 53580
238.06/238.81 c #Conflicts: 118000 | #Constraints: 54580
238.06/238.81 c #Conflicts: 119000 | #Constraints: 55580
238.06/238.81 c #Conflicts: 120000 | #Constraints: 56580
238.06/238.81 c #Conflicts: 121000 | #Constraints: 57580
238.06/238.81 c INPROCESSING
238.06/238.81 c GARBAGE COLLECT
238.06/238.81 c #Conflicts: 122000 | #Constraints: 40673
238.06/238.81 c #Conflicts: 123000 | #Constraints: 41673
238.06/238.81 c #Conflicts: 124000 | #Constraints: 42673
238.06/238.81 c #Conflicts: 125000 | #Constraints: 43673
238.06/238.81 c #Conflicts: 126000 | #Constraints: 44673
238.06/238.81 c #Conflicts: 127000 | #Constraints: 45673
238.06/238.81 c #Conflicts: 128000 | #Constraints: 46673
238.06/238.81 c #Conflicts: 129000 | #Constraints: 47673
238.06/238.81 c #Conflicts: 130000 | #Constraints: 48673
238.06/238.81 c #Conflicts: 131000 | #Constraints: 49673
238.06/238.81 c #Conflicts: 132000 | #Constraints: 50673
238.06/238.81 c INPROCESSING
238.06/238.81 c GARBAGE COLLECT
238.06/238.81 c #Conflicts: 133000 | #Constraints: 40917
238.06/238.81 c #Conflicts: 134000 | #Constraints: 41917
238.06/238.81 c #Conflicts: 135000 | #Constraints: 42917
238.06/238.81 c #Conflicts: 136000 | #Constraints: 43917
238.06/238.81 c #Conflicts: 137000 | #Constraints: 44917
238.06/238.81 c #Conflicts: 138000 | #Constraints: 45917
238.06/238.81 c #Conflicts: 139000 | #Constraints: 46917
238.06/238.81 c #Conflicts: 140000 | #Constraints: 47917
238.06/238.81 c #Conflicts: 141000 | #Constraints: 48917
238.06/238.81 c #Conflicts: 142000 | #Constraints: 49917
238.06/238.81 c #Conflicts: 143000 | #Constraints: 50917
238.06/238.81 c #Conflicts: 144000 | #Constraints: 51917
238.06/238.81 c #Conflicts: 145000 | #Constraints: 52917
238.06/238.81 c #Conflicts: 146000 | #Constraints: 53917
238.06/238.81 c #Conflicts: 147000 | #Constraints: 54917
238.06/238.81 c #Conflicts: 148000 | #Constraints: 55917
238.06/238.81 c #Conflicts: 149000 | #Constraints: 56917
348.75/349.84 c #Conflicts: 150000 | #Constraints: 57917
348.75/349.84 c #Conflicts: 151000 | #Constraints: 58917
348.75/349.84 c #Conflicts: 152000 | #Constraints: 59917
348.75/349.84 c #Conflicts: 153000 | #Constraints: 60917
348.75/349.84 c #Conflicts: 154000 | #Constraints: 61917
348.75/349.84 c #Conflicts: 155000 | #Constraints: 62917
348.75/349.84 c #Conflicts: 156000 | #Constraints: 63917
348.75/349.84 c INPROCESSING
348.75/349.84 c GARBAGE COLLECT
348.75/349.84 c #Conflicts: 157000 | #Constraints: 43902
348.75/349.84 c #Conflicts: 158000 | #Constraints: 44902
348.75/349.84 c #Conflicts: 159000 | #Constraints: 45902
348.75/349.84 c #Conflicts: 160000 | #Constraints: 46902
348.75/349.84 c #Conflicts: 161000 | #Constraints: 47902
348.75/349.84 c #Conflicts: 162000 | #Constraints: 48902
348.75/349.84 c #Conflicts: 163000 | #Constraints: 49902
348.75/349.84 c #Conflicts: 164000 | #Constraints: 50902
348.75/349.84 c #Conflicts: 165000 | #Constraints: 51902
348.75/349.84 c #Conflicts: 166000 | #Constraints: 52902
348.75/349.84 c #Conflicts: 167000 | #Constraints: 53902
348.75/349.84 c #Conflicts: 168000 | #Constraints: 54902
348.75/349.84 c INPROCESSING
348.75/349.84 c GARBAGE COLLECT
348.75/349.84 c #Conflicts: 169000 | #Constraints: 43428
348.75/349.84 c #Conflicts: 170000 | #Constraints: 44428
348.75/349.84 c #Conflicts: 171000 | #Constraints: 45428
348.75/349.84 c #Conflicts: 172000 | #Constraints: 46428
348.75/349.84 c #Conflicts: 173000 | #Constraints: 47428
348.75/349.84 c #Conflicts: 174000 | #Constraints: 48428
348.75/349.84 c #Conflicts: 175000 | #Constraints: 49428
348.75/349.84 c #Conflicts: 176000 | #Constraints: 50428
348.75/349.84 c #Conflicts: 177000 | #Constraints: 51428
348.75/349.84 c #Conflicts: 178000 | #Constraints: 52428
348.75/349.84 c #Conflicts: 179000 | #Constraints: 53428
348.75/349.84 c #Conflicts: 180000 | #Constraints: 54428
348.75/349.84 c #Conflicts: 181000 | #Constraints: 55428
348.75/349.84 c #Conflicts: 182000 | #Constraints: 56428
348.75/349.84 c #Conflicts: 183000 | #Constraints: 57428
348.75/349.84 c #Conflicts: 184000 | #Constraints: 58428
348.75/349.84 c #Conflicts: 185000 | #Constraints: 59428
348.75/349.84 c #Conflicts: 186000 | #Constraints: 60428
348.75/349.84 c #Conflicts: 187000 | #Constraints: 61428
348.75/349.84 c #Conflicts: 188000 | #Constraints: 62428
348.75/349.84 c #Conflicts: 189000 | #Constraints: 63428
348.75/349.84 c #Conflicts: 190000 | #Constraints: 64428
348.75/349.84 c #Conflicts: 191000 | #Constraints: 65428
348.75/349.84 c #Conflicts: 192000 | #Constraints: 66428
348.75/349.84 c #Conflicts: 193000 | #Constraints: 67428
348.75/349.84 c #Conflicts: 194000 | #Constraints: 68428
348.75/349.84 c #Conflicts: 195000 | #Constraints: 69428
348.75/349.84 c #Conflicts: 196000 | #Constraints: 70428
348.75/349.84 c INPROCESSING
348.75/349.84 c GARBAGE COLLECT
348.75/349.84 c #Conflicts: 197000 | #Constraints: 47598
348.75/349.84 c #Conflicts: 198000 | #Constraints: 48598
348.75/349.84 c #Conflicts: 199000 | #Constraints: 49598
348.75/349.84 c #Conflicts: 200000 | #Constraints: 50598
348.75/349.84 c #Conflicts: 201000 | #Constraints: 51598
348.75/349.84 c #Conflicts: 202000 | #Constraints: 52598
348.75/349.84 c #Conflicts: 203000 | #Constraints: 53598
348.75/349.84 c #Conflicts: 204000 | #Constraints: 54598
348.75/349.84 c #Conflicts: 205000 | #Constraints: 55598
348.75/349.84 c #Conflicts: 206000 | #Constraints: 56598
348.75/349.84 c #Conflicts: 207000 | #Constraints: 57598
348.75/349.84 c #Conflicts: 208000 | #Constraints: 58598
348.75/349.84 c #Conflicts: 209000 | #Constraints: 59598
348.75/349.84 c INPROCESSING
348.75/349.84 c GARBAGE COLLECT
348.75/349.84 c #Conflicts: 210000 | #Constraints: 46411
348.75/349.84 c #Conflicts: 211000 | #Constraints: 47411
348.75/349.84 c #Conflicts: 212000 | #Constraints: 48411
348.75/349.84 c #Conflicts: 213000 | #Constraints: 49411
348.75/349.84 c #Conflicts: 214000 | #Constraints: 50411
348.75/349.84 c #Conflicts: 215000 | #Constraints: 51411
348.75/349.84 c #Conflicts: 216000 | #Constraints: 52411
348.75/349.84 c #Conflicts: 217000 | #Constraints: 53411
348.75/349.84 c #Conflicts: 218000 | #Constraints: 54411
348.75/349.84 c #Conflicts: 219000 | #Constraints: 55411
348.75/349.84 c #Conflicts: 220000 | #Constraints: 56411
348.75/349.84 c #Conflicts: 221000 | #Constraints: 57411
348.75/349.84 c #Conflicts: 222000 | #Constraints: 58411
348.75/349.84 c #Conflicts: 223000 | #Constraints: 59411
348.75/349.84 c #Conflicts: 224000 | #Constraints: 60411
348.75/349.84 c #Conflicts: 225000 | #Constraints: 61411
545.23/546.80 c #Conflicts: 226000 | #Constraints: 62411
545.23/546.80 c #Conflicts: 227000 | #Constraints: 63411
545.23/546.80 c #Conflicts: 228000 | #Constraints: 64411
545.23/546.80 c #Conflicts: 229000 | #Constraints: 65411
545.23/546.80 c #Conflicts: 230000 | #Constraints: 66411
545.23/546.80 c #Conflicts: 231000 | #Constraints: 67411
545.23/546.80 c #Conflicts: 232000 | #Constraints: 68411
545.23/546.80 c #Conflicts: 233000 | #Constraints: 69411
545.23/546.80 c #Conflicts: 234000 | #Constraints: 70411
545.23/546.80 c #Conflicts: 235000 | #Constraints: 71411
545.23/546.80 c #Conflicts: 236000 | #Constraints: 72411
545.23/546.80 c #Conflicts: 237000 | #Constraints: 73411
545.23/546.80 c #Conflicts: 238000 | #Constraints: 74411
545.23/546.80 c #Conflicts: 239000 | #Constraints: 75411
545.23/546.80 c #Conflicts: 240000 | #Constraints: 76411
545.23/546.80 c INPROCESSING
545.23/546.80 c GARBAGE COLLECT
545.23/546.80 c #Conflicts: 241000 | #Constraints: 50626
545.23/546.80 c #Conflicts: 242000 | #Constraints: 51626
545.23/546.80 c #Conflicts: 243000 | #Constraints: 52626
545.23/546.80 c #Conflicts: 244000 | #Constraints: 53626
545.23/546.80 c #Conflicts: 245000 | #Constraints: 54626
545.23/546.80 c #Conflicts: 246000 | #Constraints: 55626
545.23/546.80 c #Conflicts: 247000 | #Constraints: 56626
545.23/546.80 c #Conflicts: 248000 | #Constraints: 57627
545.23/546.80 c #Conflicts: 249000 | #Constraints: 58627
545.23/546.80 c #Conflicts: 250000 | #Constraints: 59627
545.23/546.80 c #Conflicts: 251000 | #Constraints: 60627
545.23/546.80 c #Conflicts: 252000 | #Constraints: 61627
545.23/546.80 c #Conflicts: 253000 | #Constraints: 62627
545.23/546.80 c #Conflicts: 254000 | #Constraints: 63627
545.23/546.80 c INPROCESSING
545.23/546.80 c GARBAGE COLLECT
545.23/546.80 c #Conflicts: 255000 | #Constraints: 48844
545.23/546.80 c #Conflicts: 256000 | #Constraints: 49844
545.23/546.80 c #Conflicts: 257000 | #Constraints: 50844
545.23/546.80 c #Conflicts: 258000 | #Constraints: 51844
545.23/546.80 c #Conflicts: 259000 | #Constraints: 52844
545.23/546.80 c #Conflicts: 260000 | #Constraints: 53844
545.23/546.80 c #Conflicts: 261000 | #Constraints: 54844
545.23/546.80 c #Conflicts: 262000 | #Constraints: 55844
545.23/546.80 c #Conflicts: 263000 | #Constraints: 56844
545.23/546.80 c #Conflicts: 264000 | #Constraints: 57844
545.23/546.80 c #Conflicts: 265000 | #Constraints: 58844
545.23/546.80 c #Conflicts: 266000 | #Constraints: 59844
545.23/546.80 c #Conflicts: 267000 | #Constraints: 60844
545.23/546.80 c #Conflicts: 268000 | #Constraints: 61844
545.23/546.80 c #Conflicts: 269000 | #Constraints: 62844
545.23/546.80 c #Conflicts: 270000 | #Constraints: 63844
545.23/546.80 c #Conflicts: 271000 | #Constraints: 64844
545.23/546.80 c #Conflicts: 272000 | #Constraints: 65844
545.23/546.80 c #Conflicts: 273000 | #Constraints: 66844
545.23/546.80 c #Conflicts: 274000 | #Constraints: 67844
545.23/546.80 c #Conflicts: 275000 | #Constraints: 68844
545.23/546.80 c #Conflicts: 276000 | #Constraints: 69844
545.23/546.80 c #Conflicts: 277000 | #Constraints: 70844
545.23/546.80 c #Conflicts: 278000 | #Constraints: 71844
545.23/546.80 c #Conflicts: 279000 | #Constraints: 72844
545.23/546.80 c #Conflicts: 280000 | #Constraints: 73844
545.23/546.80 c #Conflicts: 281000 | #Constraints: 74844
545.23/546.80 c #Conflicts: 282000 | #Constraints: 75844
545.23/546.80 c #Conflicts: 283000 | #Constraints: 76844
545.23/546.80 c #Conflicts: 284000 | #Constraints: 77844
545.23/546.80 c #Conflicts: 285000 | #Constraints: 78844
545.23/546.80 c #Conflicts: 286000 | #Constraints: 79844
545.23/546.80 c #Conflicts: 287000 | #Constraints: 80844
545.23/546.80 c #Conflicts: 288000 | #Constraints: 81844
545.23/546.80 c INPROCESSING
545.23/546.80 c GARBAGE COLLECT
545.23/546.80 c #Conflicts: 289000 | #Constraints: 53462
545.23/546.80 c #Conflicts: 290000 | #Constraints: 54462
545.23/546.80 c #Conflicts: 291000 | #Constraints: 55462
545.23/546.80 c #Conflicts: 292000 | #Constraints: 56462
545.23/546.80 c #Conflicts: 293000 | #Constraints: 57462
545.23/546.80 c #Conflicts: 294000 | #Constraints: 58462
545.23/546.80 c #Conflicts: 295000 | #Constraints: 59462
545.23/546.80 c #Conflicts: 296000 | #Constraints: 60462
545.23/546.80 c #Conflicts: 297000 | #Constraints: 61462
545.23/546.80 c #Conflicts: 298000 | #Constraints: 62462
545.23/546.80 c #Conflicts: 299000 | #Constraints: 63462
545.23/546.80 c #Conflicts: 300000 | #Constraints: 64462
545.23/546.80 c #Conflicts: 301000 | #Constraints: 65462
545.23/546.80 c #Conflicts: 302000 | #Constraints: 66462
660.31/662.26 c #Conflicts: 303000 | #Constraints: 67462
660.31/662.26 c INPROCESSING
660.31/662.26 c GARBAGE COLLECT
660.31/662.26 c #Conflicts: 304000 | #Constraints: 51418
660.31/662.26 c #Conflicts: 305000 | #Constraints: 52418
660.31/662.26 c #Conflicts: 306000 | #Constraints: 53418
660.31/662.26 c #Conflicts: 307000 | #Constraints: 54418
660.31/662.26 c #Conflicts: 308000 | #Constraints: 55418
660.31/662.26 c #Conflicts: 309000 | #Constraints: 56418
660.31/662.26 c #Conflicts: 310000 | #Constraints: 57418
660.31/662.26 c #Conflicts: 311000 | #Constraints: 58418
660.31/662.26 c #Conflicts: 312000 | #Constraints: 59418
660.31/662.26 c #Conflicts: 313000 | #Constraints: 60418
660.31/662.26 c #Conflicts: 314000 | #Constraints: 61418
660.31/662.26 c #Conflicts: 315000 | #Constraints: 62418
660.31/662.26 c #Conflicts: 316000 | #Constraints: 63418
660.31/662.26 c #Conflicts: 317000 | #Constraints: 64418
660.31/662.26 c #Conflicts: 318000 | #Constraints: 65418
660.31/662.26 c #Conflicts: 319000 | #Constraints: 66418
660.31/662.26 c #Conflicts: 320000 | #Constraints: 67418
660.31/662.26 c #Conflicts: 321000 | #Constraints: 68418
660.31/662.26 c #Conflicts: 322000 | #Constraints: 69418
660.31/662.26 c #Conflicts: 323000 | #Constraints: 70418
660.31/662.26 c #Conflicts: 324000 | #Constraints: 71418
660.31/662.26 c #Conflicts: 325000 | #Constraints: 72418
660.31/662.26 c #Conflicts: 326000 | #Constraints: 73418
660.31/662.26 c #Conflicts: 327000 | #Constraints: 74418
660.31/662.26 c #Conflicts: 328000 | #Constraints: 75418
660.31/662.26 c #Conflicts: 329000 | #Constraints: 76418
660.31/662.26 c #Conflicts: 330000 | #Constraints: 77418
660.31/662.26 c #Conflicts: 331000 | #Constraints: 78418
660.31/662.26 c #Conflicts: 332000 | #Constraints: 79418
660.31/662.26 c #Conflicts: 333000 | #Constraints: 80418
660.31/662.26 c #Conflicts: 334000 | #Constraints: 81418
660.31/662.26 c #Conflicts: 335000 | #Constraints: 82418
660.31/662.26 c #Conflicts: 336000 | #Constraints: 83418
660.31/662.26 c #Conflicts: 337000 | #Constraints: 84418
660.31/662.26 c #Conflicts: 338000 | #Constraints: 85418
660.31/662.26 c #Conflicts: 339000 | #Constraints: 86418
660.31/662.26 c #Conflicts: 340000 | #Constraints: 87418
660.31/662.26 c INPROCESSING
660.31/662.26 c GARBAGE COLLECT
660.31/662.26 c #Conflicts: 341000 | #Constraints: 55946
660.31/662.26 c #Conflicts: 342000 | #Constraints: 56946
660.31/662.26 c #Conflicts: 343000 | #Constraints: 57946
660.31/662.26 c #Conflicts: 344000 | #Constraints: 58946
660.31/662.26 c #Conflicts: 345000 | #Constraints: 59946
660.31/662.26 c #Conflicts: 346000 | #Constraints: 60946
660.31/662.26 c #Conflicts: 347000 | #Constraints: 61946
660.31/662.26 c #Conflicts: 348000 | #Constraints: 62946
660.31/662.26 c #Conflicts: 349000 | #Constraints: 63946
660.31/662.26 c #Conflicts: 350000 | #Constraints: 64946
660.31/662.26 c #Conflicts: 351000 | #Constraints: 65946
660.31/662.26 c #Conflicts: 352000 | #Constraints: 66946
660.31/662.26 c #Conflicts: 353000 | #Constraints: 67946
660.31/662.26 c #Conflicts: 354000 | #Constraints: 68946
660.31/662.26 c #Conflicts: 355000 | #Constraints: 69946
660.31/662.26 c #Conflicts: 356000 | #Constraints: 70946
660.31/662.26 c #Conflicts: 357000 | #Constraints: 71946
660.31/662.26 c INPROCESSING
660.31/662.26 c GARBAGE COLLECT
660.31/662.26 c #Conflicts: 358000 | #Constraints: 54354
660.31/662.26 c #Conflicts: 359000 | #Constraints: 55354
660.31/662.26 c #Conflicts: 360000 | #Constraints: 56354
660.31/662.26 c #Conflicts: 361000 | #Constraints: 57354
660.31/662.26 c #Conflicts: 362000 | #Constraints: 58354
660.31/662.26 c #Conflicts: 363000 | #Constraints: 59354
660.31/662.26 c #Conflicts: 364000 | #Constraints: 60354
660.31/662.26 c #Conflicts: 365000 | #Constraints: 61354
660.31/662.26 c #Conflicts: 366000 | #Constraints: 62354
660.31/662.26 c #Conflicts: 367000 | #Constraints: 63354
660.31/662.26 c #Conflicts: 368000 | #Constraints: 64354
660.31/662.26 c #Conflicts: 369000 | #Constraints: 65354
660.31/662.26 c #Conflicts: 370000 | #Constraints: 66354
660.31/662.26 c #Conflicts: 371000 | #Constraints: 67354
660.31/662.26 c #Conflicts: 372000 | #Constraints: 68354
660.31/662.26 c #Conflicts: 373000 | #Constraints: 69354
660.31/662.26 c #Conflicts: 374000 | #Constraints: 70354
660.31/662.26 c #Conflicts: 375000 | #Constraints: 71354
660.31/662.26 c #Conflicts: 376000 | #Constraints: 72354
660.31/662.26 c #Conflicts: 377000 | #Constraints: 73354
660.31/662.26 c #Conflicts: 378000 | #Constraints: 74354
822.33/824.72 c #Conflicts: 379000 | #Constraints: 75354
822.33/824.72 c #Conflicts: 380000 | #Constraints: 76354
822.33/824.72 c #Conflicts: 381000 | #Constraints: 77354
822.33/824.72 c #Conflicts: 382000 | #Constraints: 78354
822.33/824.72 c #Conflicts: 383000 | #Constraints: 79354
822.33/824.72 c #Conflicts: 384000 | #Constraints: 80354
822.33/824.72 c #Conflicts: 385000 | #Constraints: 81354
822.33/824.72 c #Conflicts: 386000 | #Constraints: 82354
822.33/824.72 c #Conflicts: 387000 | #Constraints: 83354
822.33/824.72 c #Conflicts: 388000 | #Constraints: 84354
822.33/824.72 c #Conflicts: 389000 | #Constraints: 85354
822.33/824.72 c #Conflicts: 390000 | #Constraints: 86354
822.33/824.72 c #Conflicts: 391000 | #Constraints: 87354
822.33/824.72 c #Conflicts: 392000 | #Constraints: 88354
822.33/824.72 c #Conflicts: 393000 | #Constraints: 89354
822.33/824.72 c #Conflicts: 394000 | #Constraints: 90354
822.33/824.72 c #Conflicts: 395000 | #Constraints: 91354
822.33/824.72 c #Conflicts: 396000 | #Constraints: 92354
822.33/824.72 c #Conflicts: 397000 | #Constraints: 93354
822.33/824.72 c INPROCESSING
822.33/824.72 c GARBAGE COLLECT
822.33/824.72 c #Conflicts: 398000 | #Constraints: 58932
822.33/824.72 c #Conflicts: 399000 | #Constraints: 59932
822.33/824.72 c #Conflicts: 400000 | #Constraints: 60932
822.33/824.72 c #Conflicts: 401000 | #Constraints: 61932
822.33/824.72 c #Conflicts: 402000 | #Constraints: 62932
822.33/824.72 c #Conflicts: 403000 | #Constraints: 63932
822.33/824.72 c #Conflicts: 404000 | #Constraints: 64932
822.33/824.72 c #Conflicts: 405000 | #Constraints: 65932
822.33/824.72 c #Conflicts: 406000 | #Constraints: 66932
822.33/824.72 c #Conflicts: 407000 | #Constraints: 67932
822.33/824.72 c #Conflicts: 408000 | #Constraints: 68932
822.33/824.72 c #Conflicts: 409000 | #Constraints: 69932
822.33/824.72 c #Conflicts: 410000 | #Constraints: 70932
822.33/824.72 c #Conflicts: 411000 | #Constraints: 71932
822.33/824.72 c #Conflicts: 412000 | #Constraints: 72932
822.33/824.72 c #Conflicts: 413000 | #Constraints: 73932
822.33/824.72 c #Conflicts: 414000 | #Constraints: 74932
822.33/824.72 c #Conflicts: 415000 | #Constraints: 75932
822.33/824.72 c INPROCESSING
822.33/824.72 c GARBAGE COLLECT
822.33/824.72 c #Conflicts: 416000 | #Constraints: 56983
822.33/824.72 c #Conflicts: 417000 | #Constraints: 57983
822.33/824.72 c #Conflicts: 418000 | #Constraints: 58983
822.33/824.72 c #Conflicts: 419000 | #Constraints: 59983
822.33/824.72 c #Conflicts: 420000 | #Constraints: 60983
822.33/824.72 c #Conflicts: 421000 | #Constraints: 61983
822.33/824.72 c #Conflicts: 422000 | #Constraints: 62983
822.33/824.72 c #Conflicts: 423000 | #Constraints: 63983
822.33/824.72 c #Conflicts: 424000 | #Constraints: 64983
822.33/824.72 c #Conflicts: 425000 | #Constraints: 65983
822.33/824.72 c #Conflicts: 426000 | #Constraints: 66983
822.33/824.72 c #Conflicts: 427000 | #Constraints: 67983
822.33/824.72 c #Conflicts: 428000 | #Constraints: 68983
822.33/824.72 c #Conflicts: 429000 | #Constraints: 69983
822.33/824.72 c #Conflicts: 430000 | #Constraints: 70983
822.33/824.72 c #Conflicts: 431000 | #Constraints: 71983
822.33/824.72 c #Conflicts: 432000 | #Constraints: 72983
822.33/824.72 c #Conflicts: 433000 | #Constraints: 73983
822.33/824.72 c #Conflicts: 434000 | #Constraints: 74983
822.33/824.72 c #Conflicts: 435000 | #Constraints: 75983
822.33/824.72 c #Conflicts: 436000 | #Constraints: 76983
822.33/824.72 c #Conflicts: 437000 | #Constraints: 77983
822.33/824.72 c #Conflicts: 438000 | #Constraints: 78983
822.33/824.72 c #Conflicts: 439000 | #Constraints: 79983
822.33/824.72 c #Conflicts: 440000 | #Constraints: 80983
822.33/824.72 c #Conflicts: 441000 | #Constraints: 81983
822.33/824.72 c #Conflicts: 442000 | #Constraints: 82983
822.33/824.72 c #Conflicts: 443000 | #Constraints: 83983
822.33/824.72 c #Conflicts: 444000 | #Constraints: 84983
822.33/824.72 c #Conflicts: 445000 | #Constraints: 85983
822.33/824.72 c #Conflicts: 446000 | #Constraints: 86983
822.33/824.72 c #Conflicts: 447000 | #Constraints: 87983
822.33/824.72 c #Conflicts: 448000 | #Constraints: 88983
822.33/824.72 c #Conflicts: 449000 | #Constraints: 89983
822.33/824.72 c #Conflicts: 450000 | #Constraints: 90983
822.33/824.72 c #Conflicts: 451000 | #Constraints: 91983
822.33/824.72 c #Conflicts: 452000 | #Constraints: 92983
822.33/824.72 c #Conflicts: 453000 | #Constraints: 93983
822.33/824.72 c #Conflicts: 454000 | #Constraints: 94983
822.33/824.72 c #Conflicts: 455000 | #Constraints: 95983
822.33/824.72 c #Conflicts: 456000 | #Constraints: 96983
997.91/1000.82 c #Conflicts: 457000 | #Constraints: 97983
997.91/1000.82 c #Conflicts: 458000 | #Constraints: 98983
997.91/1000.82 c #Conflicts: 459000 | #Constraints: 99983
997.91/1000.82 c INPROCESSING
997.91/1000.82 c GARBAGE COLLECT
997.91/1000.82 c #Conflicts: 460000 | #Constraints: 62681
997.91/1000.82 c #Conflicts: 461000 | #Constraints: 63681
997.91/1000.82 c #Conflicts: 462000 | #Constraints: 64681
997.91/1000.82 c #Conflicts: 463000 | #Constraints: 65681
997.91/1000.82 c #Conflicts: 464000 | #Constraints: 66681
997.91/1000.82 c #Conflicts: 465000 | #Constraints: 67681
997.91/1000.82 c #Conflicts: 466000 | #Constraints: 68681
997.91/1000.82 c #Conflicts: 467000 | #Constraints: 69681
997.91/1000.82 c #Conflicts: 468000 | #Constraints: 70681
997.91/1000.82 c #Conflicts: 469000 | #Constraints: 71681
997.91/1000.82 c #Conflicts: 470000 | #Constraints: 72681
997.91/1000.82 c #Conflicts: 471000 | #Constraints: 73681
997.91/1000.82 c #Conflicts: 472000 | #Constraints: 74681
997.91/1000.82 c #Conflicts: 473000 | #Constraints: 75681
997.91/1000.82 c #Conflicts: 474000 | #Constraints: 76681
997.91/1000.82 c #Conflicts: 475000 | #Constraints: 77681
997.91/1000.82 c #Conflicts: 476000 | #Constraints: 78681
997.91/1000.82 c #Conflicts: 477000 | #Constraints: 79681
997.91/1000.82 c #Conflicts: 478000 | #Constraints: 80681
997.91/1000.82 c INPROCESSING
997.91/1000.82 c GARBAGE COLLECT
997.91/1000.82 c #Conflicts: 479000 | #Constraints: 59603
997.91/1000.82 c #Conflicts: 480000 | #Constraints: 60603
997.91/1000.82 c #Conflicts: 481000 | #Constraints: 61603
997.91/1000.82 c #Conflicts: 482000 | #Constraints: 62603
997.91/1000.82 c #Conflicts: 483000 | #Constraints: 63603
997.91/1000.82 c #Conflicts: 484000 | #Constraints: 64603
997.91/1000.82 c #Conflicts: 485000 | #Constraints: 65603
997.91/1000.82 c #Conflicts: 486000 | #Constraints: 66603
997.91/1000.82 c #Conflicts: 487000 | #Constraints: 67603
997.91/1000.82 c #Conflicts: 488000 | #Constraints: 68603
997.91/1000.82 c #Conflicts: 489000 | #Constraints: 69603
997.91/1000.82 c #Conflicts: 490000 | #Constraints: 70603
997.91/1000.82 c #Conflicts: 491000 | #Constraints: 71603
997.91/1000.82 c #Conflicts: 492000 | #Constraints: 72603
997.91/1000.82 c #Conflicts: 493000 | #Constraints: 73603
997.91/1000.82 c #Conflicts: 494000 | #Constraints: 74603
997.91/1000.82 c #Conflicts: 495000 | #Constraints: 75603
997.91/1000.82 c #Conflicts: 496000 | #Constraints: 76603
997.91/1000.82 c #Conflicts: 497000 | #Constraints: 77603
997.91/1000.82 c #Conflicts: 498000 | #Constraints: 78603
997.91/1000.82 c #Conflicts: 499000 | #Constraints: 79603
997.91/1000.82 c #Conflicts: 500000 | #Constraints: 80603
997.91/1000.82 c #Conflicts: 501000 | #Constraints: 81603
997.91/1000.82 c #Conflicts: 502000 | #Constraints: 82603
997.91/1000.82 c #Conflicts: 503000 | #Constraints: 83603
997.91/1000.82 c #Conflicts: 504000 | #Constraints: 84603
997.91/1000.82 c #Conflicts: 505000 | #Constraints: 85603
997.91/1000.82 c #Conflicts: 506000 | #Constraints: 86603
997.91/1000.82 c #Conflicts: 507000 | #Constraints: 87603
997.91/1000.82 c #Conflicts: 508000 | #Constraints: 88603
997.91/1000.82 c #Conflicts: 509000 | #Constraints: 89603
997.91/1000.82 c #Conflicts: 510000 | #Constraints: 90603
997.91/1000.82 c #Conflicts: 511000 | #Constraints: 91603
997.91/1000.82 c #Conflicts: 512000 | #Constraints: 92603
997.91/1000.82 c #Conflicts: 513000 | #Constraints: 93603
997.91/1000.82 c #Conflicts: 514000 | #Constraints: 94603
997.91/1000.82 c #Conflicts: 515000 | #Constraints: 95603
997.91/1000.82 c #Conflicts: 516000 | #Constraints: 96603
997.91/1000.82 c #Conflicts: 517000 | #Constraints: 97603
997.91/1000.82 c #Conflicts: 518000 | #Constraints: 98603
997.91/1000.82 c #Conflicts: 519000 | #Constraints: 99603
997.91/1000.82 c #Conflicts: 520000 | #Constraints: 100603
997.91/1000.82 c #Conflicts: 521000 | #Constraints: 101603
997.91/1000.82 c #Conflicts: 522000 | #Constraints: 102603
997.91/1000.82 c #Conflicts: 523000 | #Constraints: 103603
997.91/1000.82 c #Conflicts: 524000 | #Constraints: 104603
997.91/1000.82 c #Conflicts: 525000 | #Constraints: 105603
997.91/1000.82 c INPROCESSING
997.91/1000.82 c GARBAGE COLLECT
997.91/1000.82 c #Conflicts: 526000 | #Constraints: 65596
997.91/1000.82 c #Conflicts: 527000 | #Constraints: 66596
997.91/1000.82 c #Conflicts: 528000 | #Constraints: 67596
997.91/1000.82 c #Conflicts: 529000 | #Constraints: 68596
997.91/1000.82 c #Conflicts: 530000 | #Constraints: 69596
997.91/1000.82 c #Conflicts: 531000 | #Constraints: 70596
997.91/1000.82 c #Conflicts: 532000 | #Constraints: 71596
997.91/1000.82 c #Conflicts: 533000 | #Constraints: 72596
1105.78/1109.09 c #Conflicts: 534000 | #Constraints: 73596
1105.78/1109.09 c #Conflicts: 535000 | #Constraints: 74596
1105.78/1109.09 c #Conflicts: 536000 | #Constraints: 75596
1105.78/1109.09 c #Conflicts: 537000 | #Constraints: 76596
1105.78/1109.09 c #Conflicts: 538000 | #Constraints: 77596
1105.78/1109.09 c #Conflicts: 539000 | #Constraints: 78596
1105.78/1109.09 c #Conflicts: 540000 | #Constraints: 79596
1105.78/1109.09 c #Conflicts: 541000 | #Constraints: 80596
1105.78/1109.09 c #Conflicts: 542000 | #Constraints: 81596
1105.78/1109.09 c #Conflicts: 543000 | #Constraints: 82596
1105.78/1109.09 c #Conflicts: 544000 | #Constraints: 83596
1105.78/1109.09 c #Conflicts: 545000 | #Constraints: 84596
1105.78/1109.09 c INPROCESSING
1105.78/1109.09 c GARBAGE COLLECT
1105.78/1109.09 c rational objective 176.031
1296.59/1300.47 c #Conflicts: 546000 | #Constraints: 62014
1296.59/1300.47 c #Conflicts: 547000 | #Constraints: 63014
1296.59/1300.47 c #Conflicts: 548000 | #Constraints: 64014
1296.59/1300.47 c #Conflicts: 549000 | #Constraints: 65014
1296.59/1300.47 c #Conflicts: 550000 | #Constraints: 66014
1296.59/1300.47 c #Conflicts: 551000 | #Constraints: 67014
1296.59/1300.47 c #Conflicts: 552000 | #Constraints: 68014
1296.59/1300.47 c #Conflicts: 553000 | #Constraints: 69014
1296.59/1300.47 c #Conflicts: 554000 | #Constraints: 70014
1296.59/1300.47 c #Conflicts: 555000 | #Constraints: 71014
1296.59/1300.47 c #Conflicts: 556000 | #Constraints: 72014
1296.59/1300.47 c #Conflicts: 557000 | #Constraints: 73014
1296.59/1300.47 c #Conflicts: 558000 | #Constraints: 74014
1296.59/1300.47 c #Conflicts: 559000 | #Constraints: 75014
1296.59/1300.47 c #Conflicts: 560000 | #Constraints: 76014
1296.59/1300.47 c #Conflicts: 561000 | #Constraints: 77014
1296.59/1300.47 c #Conflicts: 562000 | #Constraints: 78014
1296.59/1300.47 c #Conflicts: 563000 | #Constraints: 79014
1296.59/1300.47 c #Conflicts: 564000 | #Constraints: 80014
1296.59/1300.47 c #Conflicts: 565000 | #Constraints: 81014
1296.59/1300.47 c #Conflicts: 566000 | #Constraints: 82014
1296.59/1300.47 c #Conflicts: 567000 | #Constraints: 83014
1296.59/1300.47 c #Conflicts: 568000 | #Constraints: 84014
1296.59/1300.47 c #Conflicts: 569000 | #Constraints: 85014
1296.59/1300.47 c #Conflicts: 570000 | #Constraints: 86014
1296.59/1300.47 c #Conflicts: 571000 | #Constraints: 87014
1296.59/1300.47 c #Conflicts: 572000 | #Constraints: 88015
1296.59/1300.47 c #Conflicts: 573000 | #Constraints: 89015
1296.59/1300.47 c #Conflicts: 574000 | #Constraints: 90015
1296.59/1300.47 c #Conflicts: 575000 | #Constraints: 91015
1296.59/1300.47 c #Conflicts: 576000 | #Constraints: 92015
1296.59/1300.47 c #Conflicts: 577000 | #Constraints: 93015
1296.59/1300.47 c #Conflicts: 578000 | #Constraints: 94015
1296.59/1300.47 c #Conflicts: 579000 | #Constraints: 95015
1296.59/1300.47 c #Conflicts: 580000 | #Constraints: 96015
1296.59/1300.47 c #Conflicts: 581000 | #Constraints: 97015
1296.59/1300.47 c #Conflicts: 582000 | #Constraints: 98015
1296.59/1300.47 c #Conflicts: 583000 | #Constraints: 99015
1296.59/1300.47 c #Conflicts: 584000 | #Constraints: 100015
1296.59/1300.47 c #Conflicts: 585000 | #Constraints: 101015
1296.59/1300.47 c #Conflicts: 586000 | #Constraints: 102015
1296.59/1300.47 c #Conflicts: 587000 | #Constraints: 103015
1296.59/1300.47 c #Conflicts: 588000 | #Constraints: 104015
1296.59/1300.47 c #Conflicts: 589000 | #Constraints: 105015
1296.59/1300.47 c #Conflicts: 590000 | #Constraints: 106015
1296.59/1300.47 c #Conflicts: 591000 | #Constraints: 107015
1296.59/1300.47 c #Conflicts: 592000 | #Constraints: 108015
1296.59/1300.47 c #Conflicts: 593000 | #Constraints: 109015
1296.59/1300.47 c #Conflicts: 594000 | #Constraints: 110015
1296.59/1300.47 c #Conflicts: 595000 | #Constraints: 111015
1296.59/1300.47 c INPROCESSING
1296.59/1300.47 c GARBAGE COLLECT
1296.59/1300.47 c #Conflicts: 596000 | #Constraints: 68228
1296.59/1300.47 c #Conflicts: 597000 | #Constraints: 69228
1296.59/1300.47 c #Conflicts: 598000 | #Constraints: 70228
1296.59/1300.47 c #Conflicts: 599000 | #Constraints: 71228
1296.59/1300.47 c #Conflicts: 600000 | #Constraints: 72228
1296.59/1300.47 c #Conflicts: 601000 | #Constraints: 73228
1296.59/1300.47 c #Conflicts: 602000 | #Constraints: 74228
1296.59/1300.47 c #Conflicts: 603000 | #Constraints: 75228
1296.59/1300.47 c #Conflicts: 604000 | #Constraints: 76228
1296.59/1300.47 c #Conflicts: 605000 | #Constraints: 77228
1296.59/1300.47 c #Conflicts: 606000 | #Constraints: 78228
1296.59/1300.47 c #Conflicts: 607000 | #Constraints: 79228
1296.59/1300.47 c #Conflicts: 608000 | #Constraints: 80228
1296.59/1300.47 c #Conflicts: 609000 | #Constraints: 81228
1296.59/1300.47 c #Conflicts: 610000 | #Constraints: 82228
1296.59/1300.47 c #Conflicts: 611000 | #Constraints: 83228
1296.59/1300.47 c #Conflicts: 612000 | #Constraints: 84228
1296.59/1300.47 c #Conflicts: 613000 | #Constraints: 85228
1296.59/1300.47 c #Conflicts: 614000 | #Constraints: 86228
1296.59/1300.47 c #Conflicts: 615000 | #Constraints: 87228
1296.59/1300.47 c #Conflicts: 616000 | #Constraints: 88228
1296.59/1300.47 c #Conflicts: 617000 | #Constraints: 89228
1296.59/1300.47 c INPROCESSING
1296.59/1300.47 c GARBAGE COLLECT
1296.59/1300.47 c #Conflicts: 618000 | #Constraints: 65136
1296.59/1300.47 c #Conflicts: 619000 | #Constraints: 66136
1296.59/1300.47 c #Conflicts: 620000 | #Constraints: 67136
1296.59/1300.47 c #Conflicts: 621000 | #Constraints: 68136
1296.59/1300.47 c #Conflicts: 622000 | #Constraints: 69136
1296.59/1300.47 c #Conflicts: 623000 | #Constraints: 70136
1455.80/1460.15 c #Conflicts: 624000 | #Constraints: 71136
1455.80/1460.15 c #Conflicts: 625000 | #Constraints: 72136
1455.80/1460.15 c #Conflicts: 626000 | #Constraints: 73136
1455.80/1460.15 c #Conflicts: 627000 | #Constraints: 74136
1455.80/1460.15 c #Conflicts: 628000 | #Constraints: 75136
1455.80/1460.15 c #Conflicts: 629000 | #Constraints: 76136
1455.80/1460.15 c #Conflicts: 630000 | #Constraints: 77136
1455.80/1460.15 c #Conflicts: 631000 | #Constraints: 78136
1455.80/1460.15 c #Conflicts: 632000 | #Constraints: 79136
1455.80/1460.15 c #Conflicts: 633000 | #Constraints: 80136
1455.80/1460.15 c #Conflicts: 634000 | #Constraints: 81136
1455.80/1460.15 c #Conflicts: 635000 | #Constraints: 82136
1455.80/1460.15 c #Conflicts: 636000 | #Constraints: 83136
1455.80/1460.15 c #Conflicts: 637000 | #Constraints: 84136
1455.80/1460.15 c #Conflicts: 638000 | #Constraints: 85136
1455.80/1460.15 c #Conflicts: 639000 | #Constraints: 86136
1455.80/1460.15 c #Conflicts: 640000 | #Constraints: 87136
1455.80/1460.15 c #Conflicts: 641000 | #Constraints: 88136
1455.80/1460.15 c #Conflicts: 642000 | #Constraints: 89136
1455.80/1460.15 c #Conflicts: 643000 | #Constraints: 90136
1455.80/1460.15 c #Conflicts: 644000 | #Constraints: 91136
1455.80/1460.15 c #Conflicts: 645000 | #Constraints: 92136
1455.80/1460.15 c #Conflicts: 646000 | #Constraints: 93136
1455.80/1460.15 c #Conflicts: 647000 | #Constraints: 94136
1455.80/1460.15 c #Conflicts: 648000 | #Constraints: 95136
1455.80/1460.15 c #Conflicts: 649000 | #Constraints: 96136
1455.80/1460.15 c #Conflicts: 650000 | #Constraints: 97136
1455.80/1460.15 c #Conflicts: 651000 | #Constraints: 98136
1455.80/1460.15 c #Conflicts: 652000 | #Constraints: 99136
1455.80/1460.15 c #Conflicts: 653000 | #Constraints: 100136
1455.80/1460.15 c #Conflicts: 654000 | #Constraints: 101136
1455.80/1460.15 c #Conflicts: 655000 | #Constraints: 102136
1455.80/1460.15 c #Conflicts: 656000 | #Constraints: 103136
1455.80/1460.15 c #Conflicts: 657000 | #Constraints: 104136
1455.80/1460.15 c #Conflicts: 658000 | #Constraints: 105136
1455.80/1460.15 c #Conflicts: 659000 | #Constraints: 106136
1455.80/1460.15 c #Conflicts: 660000 | #Constraints: 107136
1455.80/1460.15 c #Conflicts: 661000 | #Constraints: 108136
1455.80/1460.15 c #Conflicts: 662000 | #Constraints: 109136
1455.80/1460.15 c #Conflicts: 663000 | #Constraints: 110136
1455.80/1460.15 c #Conflicts: 664000 | #Constraints: 111136
1455.80/1460.15 c #Conflicts: 665000 | #Constraints: 112136
1455.80/1460.15 c #Conflicts: 666000 | #Constraints: 113136
1455.80/1460.15 c #Conflicts: 667000 | #Constraints: 114136
1455.80/1460.15 c #Conflicts: 668000 | #Constraints: 115136
1455.80/1460.15 c #Conflicts: 669000 | #Constraints: 116136
1455.80/1460.15 c INPROCESSING
1455.80/1460.15 c GARBAGE COLLECT
1455.80/1460.15 c #Conflicts: 670000 | #Constraints: 70543
1455.80/1460.15 c #Conflicts: 671000 | #Constraints: 71543
1455.80/1460.15 c #Conflicts: 672000 | #Constraints: 72543
1455.80/1460.15 c #Conflicts: 673000 | #Constraints: 73543
1455.80/1460.15 c #Conflicts: 674000 | #Constraints: 74543
1455.80/1460.15 c #Conflicts: 675000 | #Constraints: 75543
1455.80/1460.15 c #Conflicts: 676000 | #Constraints: 76543
1455.80/1460.15 c #Conflicts: 677000 | #Constraints: 77543
1455.80/1460.15 c #Conflicts: 678000 | #Constraints: 78543
1455.80/1460.15 c #Conflicts: 679000 | #Constraints: 79543
1455.80/1460.15 c #Conflicts: 680000 | #Constraints: 80543
1455.80/1460.15 c #Conflicts: 681000 | #Constraints: 81543
1455.80/1460.15 c #Conflicts: 682000 | #Constraints: 82543
1455.80/1460.15 c #Conflicts: 683000 | #Constraints: 83543
1455.80/1460.15 c #Conflicts: 684000 | #Constraints: 84543
1455.80/1460.15 c #Conflicts: 685000 | #Constraints: 85543
1455.80/1460.15 c #Conflicts: 686000 | #Constraints: 86543
1455.80/1460.15 c #Conflicts: 687000 | #Constraints: 87543
1455.80/1460.15 c #Conflicts: 688000 | #Constraints: 88543
1455.80/1460.15 c #Conflicts: 689000 | #Constraints: 89543
1455.80/1460.15 c #Conflicts: 690000 | #Constraints: 90543
1455.80/1460.15 c #Conflicts: 691000 | #Constraints: 91543
1455.80/1460.15 c #Conflicts: 692000 | #Constraints: 92543
1455.80/1460.15 c #Conflicts: 693000 | #Constraints: 93543
1455.80/1460.15 c INPROCESSING
1455.80/1460.15 c GARBAGE COLLECT
1455.80/1460.15 c #Conflicts: 694000 | #Constraints: 68444
1455.80/1460.15 c #Conflicts: 695000 | #Constraints: 69444
1455.80/1460.15 c #Conflicts: 696000 | #Constraints: 70444
1455.80/1460.15 c #Conflicts: 697000 | #Constraints: 71444
1455.80/1460.15 c #Conflicts: 698000 | #Constraints: 72444
1455.80/1460.15 c #Conflicts: 699000 | #Constraints: 73444
1455.80/1460.15 c #Conflicts: 700000 | #Constraints: 74444
1626.91/1631.71 c #Conflicts: 701000 | #Constraints: 75444
1626.91/1631.71 c #Conflicts: 702000 | #Constraints: 76444
1626.91/1631.71 c #Conflicts: 703000 | #Constraints: 77444
1626.91/1631.71 c #Conflicts: 704000 | #Constraints: 78444
1626.91/1631.71 c #Conflicts: 705000 | #Constraints: 79444
1626.91/1631.71 c #Conflicts: 706000 | #Constraints: 80444
1626.91/1631.71 c #Conflicts: 707000 | #Constraints: 81444
1626.91/1631.71 c #Conflicts: 708000 | #Constraints: 82444
1626.91/1631.71 c #Conflicts: 709000 | #Constraints: 83444
1626.91/1631.71 c #Conflicts: 710000 | #Constraints: 84444
1626.91/1631.71 c #Conflicts: 711000 | #Constraints: 85444
1626.91/1631.71 c #Conflicts: 712000 | #Constraints: 86444
1626.91/1631.71 c #Conflicts: 713000 | #Constraints: 87444
1626.91/1631.71 c #Conflicts: 714000 | #Constraints: 88444
1626.91/1631.71 c #Conflicts: 715000 | #Constraints: 89444
1626.91/1631.71 c #Conflicts: 716000 | #Constraints: 90444
1626.91/1631.71 c #Conflicts: 717000 | #Constraints: 91444
1626.91/1631.71 c #Conflicts: 718000 | #Constraints: 92444
1626.91/1631.71 c #Conflicts: 719000 | #Constraints: 93444
1626.91/1631.71 c #Conflicts: 720000 | #Constraints: 94444
1626.91/1631.71 c #Conflicts: 721000 | #Constraints: 95444
1626.91/1631.71 c #Conflicts: 722000 | #Constraints: 96444
1626.91/1631.71 c #Conflicts: 723000 | #Constraints: 97444
1626.91/1631.71 c #Conflicts: 724000 | #Constraints: 98444
1626.91/1631.71 c #Conflicts: 725000 | #Constraints: 99444
1626.91/1631.71 c #Conflicts: 726000 | #Constraints: 100444
1626.91/1631.71 c #Conflicts: 727000 | #Constraints: 101444
1626.91/1631.71 c #Conflicts: 728000 | #Constraints: 102444
1626.91/1631.71 c #Conflicts: 729000 | #Constraints: 103444
1626.91/1631.71 c #Conflicts: 730000 | #Constraints: 104444
1626.91/1631.71 c #Conflicts: 731000 | #Constraints: 105444
1626.91/1631.71 c #Conflicts: 732000 | #Constraints: 106444
1626.91/1631.71 c #Conflicts: 733000 | #Constraints: 107444
1626.91/1631.71 c #Conflicts: 734000 | #Constraints: 108444
1626.91/1631.71 c #Conflicts: 735000 | #Constraints: 109444
1626.91/1631.71 c #Conflicts: 736000 | #Constraints: 110444
1626.91/1631.71 c #Conflicts: 737000 | #Constraints: 111444
1626.91/1631.71 c #Conflicts: 738000 | #Constraints: 112444
1626.91/1631.71 c #Conflicts: 739000 | #Constraints: 113444
1626.91/1631.71 c #Conflicts: 740000 | #Constraints: 114444
1626.91/1631.71 c #Conflicts: 741000 | #Constraints: 115444
1626.91/1631.71 c #Conflicts: 742000 | #Constraints: 116444
1626.91/1631.71 c #Conflicts: 743000 | #Constraints: 117444
1626.91/1631.71 c #Conflicts: 744000 | #Constraints: 118444
1626.91/1631.71 c #Conflicts: 745000 | #Constraints: 119444
1626.91/1631.71 c #Conflicts: 746000 | #Constraints: 120444
1626.91/1631.71 c #Conflicts: 747000 | #Constraints: 121444
1626.91/1631.71 c #Conflicts: 748000 | #Constraints: 122444
1626.91/1631.71 c INPROCESSING
1626.91/1631.71 c GARBAGE COLLECT
1626.91/1631.71 c #Conflicts: 749000 | #Constraints: 73818
1626.91/1631.71 c #Conflicts: 750000 | #Constraints: 74818
1626.91/1631.71 c #Conflicts: 751000 | #Constraints: 75818
1626.91/1631.71 c #Conflicts: 752000 | #Constraints: 76818
1626.91/1631.71 c #Conflicts: 753000 | #Constraints: 77818
1626.91/1631.71 c #Conflicts: 754000 | #Constraints: 78818
1626.91/1631.71 c #Conflicts: 755000 | #Constraints: 79818
1626.91/1631.71 c #Conflicts: 756000 | #Constraints: 80818
1626.91/1631.71 c #Conflicts: 757000 | #Constraints: 81818
1626.91/1631.71 c #Conflicts: 758000 | #Constraints: 82818
1626.91/1631.71 c #Conflicts: 759000 | #Constraints: 83818
1626.91/1631.71 c #Conflicts: 760000 | #Constraints: 84818
1626.91/1631.71 c #Conflicts: 761000 | #Constraints: 85818
1626.91/1631.71 c #Conflicts: 762000 | #Constraints: 86818
1626.91/1631.71 c #Conflicts: 763000 | #Constraints: 87818
1626.91/1631.71 c #Conflicts: 764000 | #Constraints: 88818
1626.91/1631.71 c #Conflicts: 765000 | #Constraints: 89818
1626.91/1631.71 c #Conflicts: 766000 | #Constraints: 90818
1626.91/1631.71 c #Conflicts: 767000 | #Constraints: 91818
1626.91/1631.71 c #Conflicts: 768000 | #Constraints: 92818
1626.91/1631.71 c #Conflicts: 769000 | #Constraints: 93818
1626.91/1631.71 c #Conflicts: 770000 | #Constraints: 94818
1626.91/1631.71 c #Conflicts: 771000 | #Constraints: 95818
1626.91/1631.71 c #Conflicts: 772000 | #Constraints: 96818
1626.91/1631.71 c #Conflicts: 773000 | #Constraints: 97818
1626.91/1631.71 c INPROCESSING
1626.91/1631.71 c GARBAGE COLLECT
1626.91/1631.71 c #Conflicts: 774000 | #Constraints: 70813
1626.91/1631.71 c #Conflicts: 775000 | #Constraints: 71813
1626.91/1631.71 c #Conflicts: 776000 | #Constraints: 72813
1626.91/1631.71 c #Conflicts: 777000 | #Constraints: 73813
1626.91/1631.71 c #Conflicts: 778000 | #Constraints: 74813
1828.19/1833.56 c #Conflicts: 779000 | #Constraints: 75813
1828.19/1833.56 c #Conflicts: 780000 | #Constraints: 76813
1828.19/1833.56 c #Conflicts: 781000 | #Constraints: 77813
1828.19/1833.56 c #Conflicts: 782000 | #Constraints: 78813
1828.19/1833.56 c #Conflicts: 783000 | #Constraints: 79813
1828.19/1833.56 c #Conflicts: 784000 | #Constraints: 80813
1828.19/1833.56 c #Conflicts: 785000 | #Constraints: 81813
1828.19/1833.56 c #Conflicts: 786000 | #Constraints: 82813
1828.19/1833.56 c #Conflicts: 787000 | #Constraints: 83813
1828.19/1833.56 c #Conflicts: 788000 | #Constraints: 84813
1828.19/1833.56 c #Conflicts: 789000 | #Constraints: 85813
1828.19/1833.56 c #Conflicts: 790000 | #Constraints: 86813
1828.19/1833.56 c #Conflicts: 791000 | #Constraints: 87813
1828.19/1833.56 c #Conflicts: 792000 | #Constraints: 88813
1828.19/1833.56 c #Conflicts: 793000 | #Constraints: 89813
1828.19/1833.56 c #Conflicts: 794000 | #Constraints: 90813
1828.19/1833.56 c #Conflicts: 795000 | #Constraints: 91813
1828.19/1833.56 c #Conflicts: 796000 | #Constraints: 92813
1828.19/1833.56 c #Conflicts: 797000 | #Constraints: 93813
1828.19/1833.56 c #Conflicts: 798000 | #Constraints: 94813
1828.19/1833.56 c #Conflicts: 799000 | #Constraints: 95813
1828.19/1833.56 c #Conflicts: 800000 | #Constraints: 96813
1828.19/1833.56 c #Conflicts: 801000 | #Constraints: 97813
1828.19/1833.56 c #Conflicts: 802000 | #Constraints: 98813
1828.19/1833.56 c #Conflicts: 803000 | #Constraints: 99813
1828.19/1833.56 c #Conflicts: 804000 | #Constraints: 100813
1828.19/1833.56 c #Conflicts: 805000 | #Constraints: 101813
1828.19/1833.56 c #Conflicts: 806000 | #Constraints: 102813
1828.19/1833.56 c #Conflicts: 807000 | #Constraints: 103813
1828.19/1833.56 c #Conflicts: 808000 | #Constraints: 104813
1828.19/1833.56 c #Conflicts: 809000 | #Constraints: 105813
1828.19/1833.56 c #Conflicts: 810000 | #Constraints: 106813
1828.19/1833.56 c #Conflicts: 811000 | #Constraints: 107813
1828.19/1833.56 c #Conflicts: 812000 | #Constraints: 108813
1828.19/1833.56 c #Conflicts: 813000 | #Constraints: 109813
1828.19/1833.56 c #Conflicts: 814000 | #Constraints: 110813
1828.19/1833.56 c #Conflicts: 815000 | #Constraints: 111813
1828.19/1833.56 c #Conflicts: 816000 | #Constraints: 112813
1828.19/1833.56 c #Conflicts: 817000 | #Constraints: 113813
1828.19/1833.56 c #Conflicts: 818000 | #Constraints: 114813
1828.19/1833.56 c #Conflicts: 819000 | #Constraints: 115813
1828.19/1833.56 c #Conflicts: 820000 | #Constraints: 116813
1828.19/1833.56 c #Conflicts: 821000 | #Constraints: 117813
1828.19/1833.56 c #Conflicts: 822000 | #Constraints: 118813
1828.19/1833.56 c #Conflicts: 823000 | #Constraints: 119813
1828.19/1833.56 c #Conflicts: 824000 | #Constraints: 120813
1828.19/1833.56 c #Conflicts: 825000 | #Constraints: 121813
1828.19/1833.56 c #Conflicts: 826000 | #Constraints: 122813
1828.19/1833.56 c #Conflicts: 827000 | #Constraints: 123813
1828.19/1833.56 c #Conflicts: 828000 | #Constraints: 124813
1828.19/1833.56 c #Conflicts: 829000 | #Constraints: 125813
1828.19/1833.56 c #Conflicts: 830000 | #Constraints: 126813
1828.19/1833.56 c #Conflicts: 831000 | #Constraints: 127813
1828.19/1833.56 c #Conflicts: 832000 | #Constraints: 128813
1828.19/1833.56 c INPROCESSING
1828.19/1833.56 c GARBAGE COLLECT
1828.19/1833.56 c #Conflicts: 833000 | #Constraints: 77273
1828.19/1833.56 c #Conflicts: 834000 | #Constraints: 78273
1828.19/1833.56 c #Conflicts: 835000 | #Constraints: 79273
1828.19/1833.56 c #Conflicts: 836000 | #Constraints: 80273
1828.19/1833.56 c #Conflicts: 837000 | #Constraints: 81273
1828.19/1833.56 c #Conflicts: 838000 | #Constraints: 82273
1828.19/1833.56 c #Conflicts: 839000 | #Constraints: 83273
1828.19/1833.56 c #Conflicts: 840000 | #Constraints: 84273
1828.19/1833.56 c #Conflicts: 841000 | #Constraints: 85273
1828.19/1833.56 c #Conflicts: 842000 | #Constraints: 86273
1828.19/1833.56 c #Conflicts: 843000 | #Constraints: 87273
1828.19/1833.56 c #Conflicts: 844000 | #Constraints: 88273
1828.19/1833.56 c #Conflicts: 845000 | #Constraints: 89273
1828.19/1833.56 c #Conflicts: 846000 | #Constraints: 90273
1828.19/1833.56 c #Conflicts: 847000 | #Constraints: 91273
1828.19/1833.56 c #Conflicts: 848000 | #Constraints: 92273
1828.19/1833.56 c #Conflicts: 849000 | #Constraints: 93273
1828.19/1833.56 c #Conflicts: 850000 | #Constraints: 94273
1828.19/1833.56 c #Conflicts: 851000 | #Constraints: 95273
1828.19/1833.56 c #Conflicts: 852000 | #Constraints: 96273
1828.19/1833.56 c #Conflicts: 853000 | #Constraints: 97273
1828.19/1833.56 c #Conflicts: 854000 | #Constraints: 98273
1828.19/1833.56 c #Conflicts: 855000 | #Constraints: 99273
1828.19/1833.56 c #Conflicts: 856000 | #Constraints: 100273
2103.29/2109.33 c #Conflicts: 857000 | #Constraints: 101273
2103.29/2109.33 c #Conflicts: 858000 | #Constraints: 102273
2103.29/2109.33 c INPROCESSING
2103.29/2109.33 c GARBAGE COLLECT
2103.29/2109.33 c #Conflicts: 859000 | #Constraints: 73937
2103.29/2109.33 c #Conflicts: 860000 | #Constraints: 74937
2103.29/2109.33 c #Conflicts: 861000 | #Constraints: 75937
2103.29/2109.33 c #Conflicts: 862000 | #Constraints: 76937
2103.29/2109.33 c #Conflicts: 863000 | #Constraints: 77937
2103.29/2109.33 c #Conflicts: 864000 | #Constraints: 78937
2103.29/2109.33 c #Conflicts: 865000 | #Constraints: 79937
2103.29/2109.33 c #Conflicts: 866000 | #Constraints: 80937
2103.29/2109.33 c #Conflicts: 867000 | #Constraints: 81937
2103.29/2109.33 c #Conflicts: 868000 | #Constraints: 82937
2103.29/2109.33 c #Conflicts: 869000 | #Constraints: 83937
2103.29/2109.33 c #Conflicts: 870000 | #Constraints: 84937
2103.29/2109.33 c #Conflicts: 871000 | #Constraints: 85937
2103.29/2109.33 c #Conflicts: 872000 | #Constraints: 86937
2103.29/2109.33 c #Conflicts: 873000 | #Constraints: 87937
2103.29/2109.33 c #Conflicts: 874000 | #Constraints: 88937
2103.29/2109.33 c #Conflicts: 875000 | #Constraints: 89937
2103.29/2109.33 c #Conflicts: 876000 | #Constraints: 90937
2103.29/2109.33 c #Conflicts: 877000 | #Constraints: 91937
2103.29/2109.33 c #Conflicts: 878000 | #Constraints: 92937
2103.29/2109.33 c #Conflicts: 879000 | #Constraints: 93937
2103.29/2109.33 c #Conflicts: 880000 | #Constraints: 94937
2103.29/2109.33 c #Conflicts: 881000 | #Constraints: 95937
2103.29/2109.33 c #Conflicts: 882000 | #Constraints: 96937
2103.29/2109.33 c #Conflicts: 883000 | #Constraints: 97937
2103.29/2109.33 c #Conflicts: 884000 | #Constraints: 98937
2103.29/2109.33 c #Conflicts: 885000 | #Constraints: 99937
2103.29/2109.33 c #Conflicts: 886000 | #Constraints: 100937
2103.29/2109.33 c #Conflicts: 887000 | #Constraints: 101937
2103.29/2109.33 c #Conflicts: 888000 | #Constraints: 102937
2103.29/2109.33 c #Conflicts: 889000 | #Constraints: 103937
2103.29/2109.33 c #Conflicts: 890000 | #Constraints: 104937
2103.29/2109.33 c #Conflicts: 891000 | #Constraints: 105937
2103.29/2109.33 c #Conflicts: 892000 | #Constraints: 106937
2103.29/2109.33 c #Conflicts: 893000 | #Constraints: 107937
2103.29/2109.33 c #Conflicts: 894000 | #Constraints: 108937
2103.29/2109.33 c #Conflicts: 895000 | #Constraints: 109937
2103.29/2109.33 c #Conflicts: 896000 | #Constraints: 110937
2103.29/2109.33 c #Conflicts: 897000 | #Constraints: 111937
2103.29/2109.33 c #Conflicts: 898000 | #Constraints: 112937
2103.29/2109.33 c #Conflicts: 899000 | #Constraints: 113937
2103.29/2109.33 c #Conflicts: 900000 | #Constraints: 114937
2103.29/2109.33 c #Conflicts: 901000 | #Constraints: 115937
2103.29/2109.33 c #Conflicts: 902000 | #Constraints: 116937
2103.29/2109.33 c #Conflicts: 903000 | #Constraints: 117937
2103.29/2109.33 c #Conflicts: 904000 | #Constraints: 118937
2103.29/2109.33 c #Conflicts: 905000 | #Constraints: 119937
2103.29/2109.33 c #Conflicts: 906000 | #Constraints: 120937
2103.29/2109.33 c #Conflicts: 907000 | #Constraints: 121937
2103.29/2109.33 c #Conflicts: 908000 | #Constraints: 122937
2103.29/2109.33 c #Conflicts: 909000 | #Constraints: 123937
2103.29/2109.33 c #Conflicts: 910000 | #Constraints: 124937
2103.29/2109.33 c #Conflicts: 911000 | #Constraints: 125937
2103.29/2109.33 c #Conflicts: 912000 | #Constraints: 126937
2103.29/2109.33 c #Conflicts: 913000 | #Constraints: 127937
2103.29/2109.33 c #Conflicts: 914000 | #Constraints: 128937
2103.29/2109.33 c #Conflicts: 915000 | #Constraints: 129937
2103.29/2109.33 c #Conflicts: 916000 | #Constraints: 130937
2103.29/2109.33 c #Conflicts: 917000 | #Constraints: 131937
2103.29/2109.33 c #Conflicts: 918000 | #Constraints: 132937
2103.29/2109.33 c #Conflicts: 919000 | #Constraints: 133937
2103.29/2109.33 c #Conflicts: 920000 | #Constraints: 134937
2103.29/2109.33 c INPROCESSING
2103.29/2109.33 c GARBAGE COLLECT
2103.29/2109.33 c rational objective 176.056
2279.64/2286.13 c #Conflicts: 921000 | #Constraints: 80557
2279.64/2286.13 c #Conflicts: 922000 | #Constraints: 81557
2279.64/2286.13 c #Conflicts: 923000 | #Constraints: 82557
2279.64/2286.13 c #Conflicts: 924000 | #Constraints: 83557
2279.64/2286.13 c #Conflicts: 925000 | #Constraints: 84557
2279.64/2286.13 c #Conflicts: 926000 | #Constraints: 85557
2279.64/2286.13 c #Conflicts: 927000 | #Constraints: 86557
2279.64/2286.13 c #Conflicts: 928000 | #Constraints: 87557
2279.64/2286.13 c #Conflicts: 929000 | #Constraints: 88557
2279.64/2286.13 c #Conflicts: 930000 | #Constraints: 89557
2279.64/2286.13 c #Conflicts: 931000 | #Constraints: 90557
2279.64/2286.13 c #Conflicts: 932000 | #Constraints: 91557
2279.64/2286.13 c #Conflicts: 933000 | #Constraints: 92557
2279.64/2286.13 c #Conflicts: 934000 | #Constraints: 93557
2279.64/2286.13 c #Conflicts: 935000 | #Constraints: 94557
2279.64/2286.13 c #Conflicts: 936000 | #Constraints: 95557
2279.64/2286.13 c #Conflicts: 937000 | #Constraints: 96557
2279.64/2286.13 c #Conflicts: 938000 | #Constraints: 97557
2279.64/2286.13 c #Conflicts: 939000 | #Constraints: 98557
2279.64/2286.13 c #Conflicts: 940000 | #Constraints: 99557
2279.64/2286.13 c #Conflicts: 941000 | #Constraints: 100557
2279.64/2286.13 c #Conflicts: 942000 | #Constraints: 101557
2279.64/2286.13 c #Conflicts: 943000 | #Constraints: 102557
2279.64/2286.13 c #Conflicts: 944000 | #Constraints: 103557
2279.64/2286.13 c #Conflicts: 945000 | #Constraints: 104557
2279.64/2286.13 c #Conflicts: 946000 | #Constraints: 105557
2279.64/2286.13 c #Conflicts: 947000 | #Constraints: 106557
2279.64/2286.13 c INPROCESSING
2279.64/2286.13 c GARBAGE COLLECT
2279.64/2286.13 c #Conflicts: 948000 | #Constraints: 76821
2279.64/2286.13 c #Conflicts: 949000 | #Constraints: 77821
2279.64/2286.13 c #Conflicts: 950000 | #Constraints: 78821
2279.64/2286.13 c #Conflicts: 951000 | #Constraints: 79821
2279.64/2286.13 c #Conflicts: 952000 | #Constraints: 80821
2279.64/2286.13 c #Conflicts: 953000 | #Constraints: 81821
2279.64/2286.13 c #Conflicts: 954000 | #Constraints: 82821
2279.64/2286.13 c #Conflicts: 955000 | #Constraints: 83821
2279.64/2286.13 c #Conflicts: 956000 | #Constraints: 84821
2279.64/2286.13 c #Conflicts: 957000 | #Constraints: 85821
2279.64/2286.13 c #Conflicts: 958000 | #Constraints: 86821
2279.64/2286.13 c #Conflicts: 959000 | #Constraints: 87821
2279.64/2286.13 c #Conflicts: 960000 | #Constraints: 88821
2279.64/2286.13 c #Conflicts: 961000 | #Constraints: 89821
2279.64/2286.13 c #Conflicts: 962000 | #Constraints: 90821
2279.64/2286.13 c #Conflicts: 963000 | #Constraints: 91821
2279.64/2286.13 c #Conflicts: 964000 | #Constraints: 92821
2279.64/2286.13 c #Conflicts: 965000 | #Constraints: 93821
2279.64/2286.13 c #Conflicts: 966000 | #Constraints: 94821
2279.64/2286.13 c #Conflicts: 967000 | #Constraints: 95821
2279.64/2286.13 c #Conflicts: 968000 | #Constraints: 96821
2279.64/2286.13 c #Conflicts: 969000 | #Constraints: 97821
2279.64/2286.13 c #Conflicts: 970000 | #Constraints: 98821
2279.64/2286.13 c #Conflicts: 971000 | #Constraints: 99821
2279.64/2286.13 c #Conflicts: 972000 | #Constraints: 100821
2279.64/2286.13 c #Conflicts: 973000 | #Constraints: 101821
2279.64/2286.13 c #Conflicts: 974000 | #Constraints: 102821
2279.64/2286.13 c #Conflicts: 975000 | #Constraints: 103821
2279.64/2286.13 c #Conflicts: 976000 | #Constraints: 104821
2279.64/2286.13 c #Conflicts: 977000 | #Constraints: 105821
2279.64/2286.13 c #Conflicts: 978000 | #Constraints: 106821
2279.64/2286.13 c #Conflicts: 979000 | #Constraints: 107821
2279.64/2286.13 c #Conflicts: 980000 | #Constraints: 108821
2279.64/2286.13 c #Conflicts: 981000 | #Constraints: 109821
2279.64/2286.13 c #Conflicts: 982000 | #Constraints: 110821
2279.64/2286.13 c #Conflicts: 983000 | #Constraints: 111821
2279.64/2286.13 c #Conflicts: 984000 | #Constraints: 112821
2279.64/2286.13 c #Conflicts: 985000 | #Constraints: 113821
2279.64/2286.13 c #Conflicts: 986000 | #Constraints: 114821
2279.64/2286.13 c #Conflicts: 987000 | #Constraints: 115821
2279.64/2286.13 c #Conflicts: 988000 | #Constraints: 116821
2279.64/2286.13 c #Conflicts: 989000 | #Constraints: 117821
2279.64/2286.13 c #Conflicts: 990000 | #Constraints: 118821
2279.64/2286.13 c #Conflicts: 991000 | #Constraints: 119821
2279.64/2286.13 c #Conflicts: 992000 | #Constraints: 120821
2279.64/2286.13 c #Conflicts: 993000 | #Constraints: 121821
2279.64/2286.13 c #Conflicts: 994000 | #Constraints: 122821
2279.64/2286.13 c #Conflicts: 995000 | #Constraints: 123821
2279.64/2286.13 c #Conflicts: 996000 | #Constraints: 124821
2279.64/2286.13 c #Conflicts: 997000 | #Constraints: 125821
2279.64/2286.13 c #Conflicts: 998000 | #Constraints: 126821
2279.64/2286.13 c #Conflicts: 999000 | #Constraints: 127821
2488.70/2495.78 c #Conflicts: 1000000 | #Constraints: 128821
2488.70/2495.78 c #Conflicts: 1001000 | #Constraints: 129821
2488.70/2495.78 c #Conflicts: 1002000 | #Constraints: 130821
2488.70/2495.78 c #Conflicts: 1003000 | #Constraints: 131821
2488.70/2495.78 c #Conflicts: 1004000 | #Constraints: 132821
2488.70/2495.78 c #Conflicts: 1005000 | #Constraints: 133821
2488.70/2495.78 c #Conflicts: 1006000 | #Constraints: 134821
2488.70/2495.78 c #Conflicts: 1007000 | #Constraints: 135821
2488.70/2495.78 c #Conflicts: 1008000 | #Constraints: 136821
2488.70/2495.78 c #Conflicts: 1009000 | #Constraints: 137821
2488.70/2495.78 c #Conflicts: 1010000 | #Constraints: 138821
2488.70/2495.78 c #Conflicts: 1011000 | #Constraints: 139821
2488.70/2495.78 c #Conflicts: 1012000 | #Constraints: 140821
2488.70/2495.78 c INPROCESSING
2488.70/2495.78 c GARBAGE COLLECT
2488.70/2495.78 c #Conflicts: 1013000 | #Constraints: 83397
2488.70/2495.78 c #Conflicts: 1014000 | #Constraints: 84397
2488.70/2495.78 c #Conflicts: 1015000 | #Constraints: 85397
2488.70/2495.78 c #Conflicts: 1016000 | #Constraints: 86397
2488.70/2495.78 c #Conflicts: 1017000 | #Constraints: 87397
2488.70/2495.78 c #Conflicts: 1018000 | #Constraints: 88397
2488.70/2495.78 c #Conflicts: 1019000 | #Constraints: 89397
2488.70/2495.78 c #Conflicts: 1020000 | #Constraints: 90397
2488.70/2495.78 c #Conflicts: 1021000 | #Constraints: 91397
2488.70/2495.78 c #Conflicts: 1022000 | #Constraints: 92397
2488.70/2495.78 c #Conflicts: 1023000 | #Constraints: 93397
2488.70/2495.78 c #Conflicts: 1024000 | #Constraints: 94397
2488.70/2495.78 c #Conflicts: 1025000 | #Constraints: 95397
2488.70/2495.78 c #Conflicts: 1026000 | #Constraints: 96397
2488.70/2495.78 c #Conflicts: 1027000 | #Constraints: 97397
2488.70/2495.78 c #Conflicts: 1028000 | #Constraints: 98397
2488.70/2495.78 c #Conflicts: 1029000 | #Constraints: 99397
2488.70/2495.78 c #Conflicts: 1030000 | #Constraints: 100397
2488.70/2495.78 c #Conflicts: 1031000 | #Constraints: 101397
2488.70/2495.78 c #Conflicts: 1032000 | #Constraints: 102397
2488.70/2495.78 c #Conflicts: 1033000 | #Constraints: 103397
2488.70/2495.78 c #Conflicts: 1034000 | #Constraints: 104397
2488.70/2495.78 c #Conflicts: 1035000 | #Constraints: 105397
2488.70/2495.78 c #Conflicts: 1036000 | #Constraints: 106397
2488.70/2495.78 c #Conflicts: 1037000 | #Constraints: 107397
2488.70/2495.78 c #Conflicts: 1038000 | #Constraints: 108397
2488.70/2495.78 c #Conflicts: 1039000 | #Constraints: 109397
2488.70/2495.78 c #Conflicts: 1040000 | #Constraints: 110397
2488.70/2495.78 c INPROCESSING
2488.70/2495.78 c GARBAGE COLLECT
2488.70/2495.78 c #Conflicts: 1041000 | #Constraints: 78528
2488.70/2495.78 c #Conflicts: 1042000 | #Constraints: 79528
2488.70/2495.78 c #Conflicts: 1043000 | #Constraints: 80528
2488.70/2495.78 c #Conflicts: 1044000 | #Constraints: 81528
2488.70/2495.78 c #Conflicts: 1045000 | #Constraints: 82528
2488.70/2495.78 c #Conflicts: 1046000 | #Constraints: 83528
2488.70/2495.78 c #Conflicts: 1047000 | #Constraints: 84528
2488.70/2495.78 c #Conflicts: 1048000 | #Constraints: 85528
2488.70/2495.78 c #Conflicts: 1049000 | #Constraints: 86528
2488.70/2495.78 c #Conflicts: 1050000 | #Constraints: 87528
2488.70/2495.78 c #Conflicts: 1051000 | #Constraints: 88528
2488.70/2495.78 c #Conflicts: 1052000 | #Constraints: 89528
2488.70/2495.78 c #Conflicts: 1053000 | #Constraints: 90528
2488.70/2495.78 c #Conflicts: 1054000 | #Constraints: 91528
2488.70/2495.78 c #Conflicts: 1055000 | #Constraints: 92528
2488.70/2495.78 c #Conflicts: 1056000 | #Constraints: 93528
2488.70/2495.78 c #Conflicts: 1057000 | #Constraints: 94528
2488.70/2495.78 c #Conflicts: 1058000 | #Constraints: 95528
2488.70/2495.78 c #Conflicts: 1059000 | #Constraints: 96528
2488.70/2495.78 c #Conflicts: 1060000 | #Constraints: 97528
2488.70/2495.78 c #Conflicts: 1061000 | #Constraints: 98528
2488.70/2495.78 c #Conflicts: 1062000 | #Constraints: 99528
2488.70/2495.78 c #Conflicts: 1063000 | #Constraints: 100528
2488.70/2495.78 c #Conflicts: 1064000 | #Constraints: 101528
2488.70/2495.78 c #Conflicts: 1065000 | #Constraints: 102528
2488.70/2495.78 c #Conflicts: 1066000 | #Constraints: 103528
2488.70/2495.78 c #Conflicts: 1067000 | #Constraints: 104528
2488.70/2495.78 c #Conflicts: 1068000 | #Constraints: 105528
2488.70/2495.78 c #Conflicts: 1069000 | #Constraints: 106528
2488.70/2495.78 c #Conflicts: 1070000 | #Constraints: 107528
2488.70/2495.78 c #Conflicts: 1071000 | #Constraints: 108528
2488.70/2495.78 c #Conflicts: 1072000 | #Constraints: 109528
2488.70/2495.78 c #Conflicts: 1073000 | #Constraints: 110528
2488.70/2495.78 c #Conflicts: 1074000 | #Constraints: 111528
2488.70/2495.78 c #Conflicts: 1075000 | #Constraints: 112528
2488.70/2495.78 c #Conflicts: 1076000 | #Constraints: 113528
2884.79/2892.84 c #Conflicts: 1077000 | #Constraints: 114528
2884.79/2892.84 c #Conflicts: 1078000 | #Constraints: 115528
2884.79/2892.84 c #Conflicts: 1079000 | #Constraints: 116528
2884.79/2892.84 c #Conflicts: 1080000 | #Constraints: 117528
2884.79/2892.84 c #Conflicts: 1081000 | #Constraints: 118528
2884.79/2892.84 c #Conflicts: 1082000 | #Constraints: 119528
2884.79/2892.84 c #Conflicts: 1083000 | #Constraints: 120528
2884.79/2892.84 c #Conflicts: 1084000 | #Constraints: 121528
2884.79/2892.84 c #Conflicts: 1085000 | #Constraints: 122528
2884.79/2892.84 c #Conflicts: 1086000 | #Constraints: 123528
2884.79/2892.84 c #Conflicts: 1087000 | #Constraints: 124528
2884.79/2892.84 c #Conflicts: 1088000 | #Constraints: 125528
2884.79/2892.84 c #Conflicts: 1089000 | #Constraints: 126528
2884.79/2892.84 c #Conflicts: 1090000 | #Constraints: 127528
2884.79/2892.84 c #Conflicts: 1091000 | #Constraints: 128528
2884.79/2892.84 c #Conflicts: 1092000 | #Constraints: 129528
2884.79/2892.84 c #Conflicts: 1093000 | #Constraints: 130528
2884.79/2892.84 c #Conflicts: 1094000 | #Constraints: 131528
2884.79/2892.84 c #Conflicts: 1095000 | #Constraints: 132528
2884.79/2892.84 c #Conflicts: 1096000 | #Constraints: 133528
2884.79/2892.84 c #Conflicts: 1097000 | #Constraints: 134528
2884.79/2892.84 c #Conflicts: 1098000 | #Constraints: 135528
2884.79/2892.84 c #Conflicts: 1099000 | #Constraints: 136528
2884.79/2892.84 c #Conflicts: 1100000 | #Constraints: 137528
2884.79/2892.84 c #Conflicts: 1101000 | #Constraints: 138528
2884.79/2892.84 c #Conflicts: 1102000 | #Constraints: 139528
2884.79/2892.84 c #Conflicts: 1103000 | #Constraints: 140528
2884.79/2892.84 c #Conflicts: 1104000 | #Constraints: 141528
2884.79/2892.84 c #Conflicts: 1105000 | #Constraints: 142528
2884.79/2892.84 c #Conflicts: 1106000 | #Constraints: 143528
2884.79/2892.84 c #Conflicts: 1107000 | #Constraints: 144528
2884.79/2892.84 c #Conflicts: 1108000 | #Constraints: 145528
2884.79/2892.84 c INPROCESSING
2884.79/2892.84 c GARBAGE COLLECT
2884.79/2892.84 c #Conflicts: 1109000 | #Constraints: 85496
2884.79/2892.84 c #Conflicts: 1110000 | #Constraints: 86496
2884.79/2892.84 c #Conflicts: 1111000 | #Constraints: 87496
2884.79/2892.84 c #Conflicts: 1112000 | #Constraints: 88496
2884.79/2892.84 c #Conflicts: 1113000 | #Constraints: 89496
2884.79/2892.84 c #Conflicts: 1114000 | #Constraints: 90496
2884.79/2892.84 c #Conflicts: 1115000 | #Constraints: 91496
2884.79/2892.84 c #Conflicts: 1116000 | #Constraints: 92496
2884.79/2892.84 c #Conflicts: 1117000 | #Constraints: 93496
2884.79/2892.84 c #Conflicts: 1118000 | #Constraints: 94496
2884.79/2892.84 c #Conflicts: 1119000 | #Constraints: 95496
2884.79/2892.84 c #Conflicts: 1120000 | #Constraints: 96496
2884.79/2892.84 c #Conflicts: 1121000 | #Constraints: 97496
2884.79/2892.84 c #Conflicts: 1122000 | #Constraints: 98496
2884.79/2892.84 c #Conflicts: 1123000 | #Constraints: 99496
2884.79/2892.84 c #Conflicts: 1124000 | #Constraints: 100496
2884.79/2892.84 c #Conflicts: 1125000 | #Constraints: 101496
2884.79/2892.84 c #Conflicts: 1126000 | #Constraints: 102496
2884.79/2892.84 c #Conflicts: 1127000 | #Constraints: 103496
2884.79/2892.84 c #Conflicts: 1128000 | #Constraints: 104496
2884.79/2892.84 c #Conflicts: 1129000 | #Constraints: 105496
2884.79/2892.84 c #Conflicts: 1130000 | #Constraints: 106496
2884.79/2892.84 c #Conflicts: 1131000 | #Constraints: 107496
2884.79/2892.84 c #Conflicts: 1132000 | #Constraints: 108496
2884.79/2892.84 c #Conflicts: 1133000 | #Constraints: 109496
2884.79/2892.84 c #Conflicts: 1134000 | #Constraints: 110496
2884.79/2892.84 c #Conflicts: 1135000 | #Constraints: 111496
2884.79/2892.84 c #Conflicts: 1136000 | #Constraints: 112496
2884.79/2892.84 c #Conflicts: 1137000 | #Constraints: 113496
2884.79/2892.84 c #Conflicts: 1138000 | #Constraints: 114496
2884.79/2892.84 c INPROCESSING
2884.79/2892.84 c GARBAGE COLLECT
2884.79/2892.84 c #Conflicts: 1139000 | #Constraints: 80241
2884.79/2892.84 c #Conflicts: 1140000 | #Constraints: 81241
2884.79/2892.84 c #Conflicts: 1141000 | #Constraints: 82241
2884.79/2892.84 c #Conflicts: 1142000 | #Constraints: 83241
2884.79/2892.84 c #Conflicts: 1143000 | #Constraints: 84241
2884.79/2892.84 c #Conflicts: 1144000 | #Constraints: 85241
2884.79/2892.84 c #Conflicts: 1145000 | #Constraints: 86241
2884.79/2892.84 c #Conflicts: 1146000 | #Constraints: 87241
2884.79/2892.84 c #Conflicts: 1147000 | #Constraints: 88241
2884.79/2892.84 c #Conflicts: 1148000 | #Constraints: 89241
2884.79/2892.84 c #Conflicts: 1149000 | #Constraints: 90241
2884.79/2892.84 c #Conflicts: 1150000 | #Constraints: 91241
2884.79/2892.84 c #Conflicts: 1151000 | #Constraints: 92241
2884.79/2892.84 c #Conflicts: 1152000 | #Constraints: 93241
2884.79/2892.84 c #Conflicts: 1153000 | #Constraints: 94241
2884.79/2892.84 c #Conflicts: 1154000 | #Constraints: 95241
3135.14/3143.84 c #Conflicts: 1155000 | #Constraints: 96241
3135.14/3143.84 c #Conflicts: 1156000 | #Constraints: 97241
3135.14/3143.84 c #Conflicts: 1157000 | #Constraints: 98241
3135.14/3143.84 c #Conflicts: 1158000 | #Constraints: 99241
3135.14/3143.84 c #Conflicts: 1159000 | #Constraints: 100241
3135.14/3143.84 c #Conflicts: 1160000 | #Constraints: 101241
3135.14/3143.84 c #Conflicts: 1161000 | #Constraints: 102241
3135.14/3143.84 c #Conflicts: 1162000 | #Constraints: 103241
3135.14/3143.84 c #Conflicts: 1163000 | #Constraints: 104241
3135.14/3143.84 c #Conflicts: 1164000 | #Constraints: 105241
3135.14/3143.84 c #Conflicts: 1165000 | #Constraints: 106241
3135.14/3143.84 c #Conflicts: 1166000 | #Constraints: 107241
3135.14/3143.84 c #Conflicts: 1167000 | #Constraints: 108241
3135.14/3143.84 c #Conflicts: 1168000 | #Constraints: 109241
3135.14/3143.84 c #Conflicts: 1169000 | #Constraints: 110241
3135.14/3143.84 c #Conflicts: 1170000 | #Constraints: 111241
3135.14/3143.84 c #Conflicts: 1171000 | #Constraints: 112242
3135.14/3143.84 c #Conflicts: 1172000 | #Constraints: 113242
3135.14/3143.84 c #Conflicts: 1173000 | #Constraints: 114242
3135.14/3143.84 c #Conflicts: 1174000 | #Constraints: 115242
3135.14/3143.84 c #Conflicts: 1175000 | #Constraints: 116242
3135.14/3143.84 c #Conflicts: 1176000 | #Constraints: 117242
3135.14/3143.84 c #Conflicts: 1177000 | #Constraints: 118242
3135.14/3143.84 c #Conflicts: 1178000 | #Constraints: 119242
3135.14/3143.84 c #Conflicts: 1179000 | #Constraints: 120242
3135.14/3143.84 c #Conflicts: 1180000 | #Constraints: 121242
3135.14/3143.84 c #Conflicts: 1181000 | #Constraints: 122242
3135.14/3143.84 c #Conflicts: 1182000 | #Constraints: 123242
3135.14/3143.84 c #Conflicts: 1183000 | #Constraints: 124242
3135.14/3143.84 c #Conflicts: 1184000 | #Constraints: 125242
3135.14/3143.84 c #Conflicts: 1185000 | #Constraints: 126242
3135.14/3143.84 c #Conflicts: 1186000 | #Constraints: 127242
3135.14/3143.84 c #Conflicts: 1187000 | #Constraints: 128242
3135.14/3143.84 c #Conflicts: 1188000 | #Constraints: 129242
3135.14/3143.84 c #Conflicts: 1189000 | #Constraints: 130242
3135.14/3143.84 c #Conflicts: 1190000 | #Constraints: 131242
3135.14/3143.84 c #Conflicts: 1191000 | #Constraints: 132242
3135.14/3143.84 c #Conflicts: 1192000 | #Constraints: 133242
3135.14/3143.84 c #Conflicts: 1193000 | #Constraints: 134242
3135.14/3143.84 c #Conflicts: 1194000 | #Constraints: 135242
3135.14/3143.84 c #Conflicts: 1195000 | #Constraints: 136242
3135.14/3143.84 c #Conflicts: 1196000 | #Constraints: 137242
3135.14/3143.84 c #Conflicts: 1197000 | #Constraints: 138242
3135.14/3143.84 c #Conflicts: 1198000 | #Constraints: 139242
3135.14/3143.84 c #Conflicts: 1199000 | #Constraints: 140242
3135.14/3143.84 c #Conflicts: 1200000 | #Constraints: 141242
3135.14/3143.84 c #Conflicts: 1201000 | #Constraints: 142242
3135.14/3143.84 c #Conflicts: 1202000 | #Constraints: 143242
3135.14/3143.84 c #Conflicts: 1203000 | #Constraints: 144242
3135.14/3143.84 c #Conflicts: 1204000 | #Constraints: 145242
3135.14/3143.84 c #Conflicts: 1205000 | #Constraints: 146242
3135.14/3143.84 c #Conflicts: 1206000 | #Constraints: 147242
3135.14/3143.84 c #Conflicts: 1207000 | #Constraints: 148242
3135.14/3143.84 c #Conflicts: 1208000 | #Constraints: 149242
3135.14/3143.84 c #Conflicts: 1209000 | #Constraints: 150242
3135.14/3143.84 c INPROCESSING
3135.14/3143.84 c GARBAGE COLLECT
3135.14/3143.84 c #Conflicts: 1210000 | #Constraints: 87872
3135.14/3143.84 c #Conflicts: 1211000 | #Constraints: 88872
3135.14/3143.84 c #Conflicts: 1212000 | #Constraints: 89872
3135.14/3143.84 c #Conflicts: 1213000 | #Constraints: 90872
3135.14/3143.84 c #Conflicts: 1214000 | #Constraints: 91872
3135.14/3143.84 c #Conflicts: 1215000 | #Constraints: 92872
3135.14/3143.84 c #Conflicts: 1216000 | #Constraints: 93872
3135.14/3143.84 c #Conflicts: 1217000 | #Constraints: 94872
3135.14/3143.84 c #Conflicts: 1218000 | #Constraints: 95872
3135.14/3143.84 c #Conflicts: 1219000 | #Constraints: 96872
3135.14/3143.84 c #Conflicts: 1220000 | #Constraints: 97872
3135.14/3143.84 c #Conflicts: 1221000 | #Constraints: 98872
3135.14/3143.84 c #Conflicts: 1222000 | #Constraints: 99872
3135.14/3143.84 c #Conflicts: 1223000 | #Constraints: 100872
3135.14/3143.84 c #Conflicts: 1224000 | #Constraints: 101872
3135.14/3143.84 c #Conflicts: 1225000 | #Constraints: 102872
3135.14/3143.84 c #Conflicts: 1226000 | #Constraints: 103872
3135.14/3143.84 c #Conflicts: 1227000 | #Constraints: 104872
3135.14/3143.84 c #Conflicts: 1228000 | #Constraints: 105872
3135.14/3143.84 c #Conflicts: 1229000 | #Constraints: 106872
3135.14/3143.84 c #Conflicts: 1230000 | #Constraints: 107872
3135.14/3143.84 c #Conflicts: 1231000 | #Constraints: 108872
3135.14/3143.84 c #Conflicts: 1232000 | #Constraints: 109872
3338.39/3347.62 c #Conflicts: 1233000 | #Constraints: 110872
3338.39/3347.62 c #Conflicts: 1234000 | #Constraints: 111872
3338.39/3347.62 c #Conflicts: 1235000 | #Constraints: 112872
3338.39/3347.62 c #Conflicts: 1236000 | #Constraints: 113872
3338.39/3347.62 c #Conflicts: 1237000 | #Constraints: 114872
3338.39/3347.62 c #Conflicts: 1238000 | #Constraints: 115872
3338.39/3347.62 c #Conflicts: 1239000 | #Constraints: 116872
3338.39/3347.62 c #Conflicts: 1240000 | #Constraints: 117872
3338.39/3347.62 c INPROCESSING
3338.39/3347.62 c GARBAGE COLLECT
3338.39/3347.62 c #Conflicts: 1241000 | #Constraints: 82754
3338.39/3347.62 c #Conflicts: 1242000 | #Constraints: 83754
3338.39/3347.62 c #Conflicts: 1243000 | #Constraints: 84754
3338.39/3347.62 c #Conflicts: 1244000 | #Constraints: 85754
3338.39/3347.62 c #Conflicts: 1245000 | #Constraints: 86754
3338.39/3347.62 c #Conflicts: 1246000 | #Constraints: 87754
3338.39/3347.62 c #Conflicts: 1247000 | #Constraints: 88754
3338.39/3347.62 c #Conflicts: 1248000 | #Constraints: 89754
3338.39/3347.62 c #Conflicts: 1249000 | #Constraints: 90754
3338.39/3347.62 c #Conflicts: 1250000 | #Constraints: 91754
3338.39/3347.62 c #Conflicts: 1251000 | #Constraints: 92754
3338.39/3347.62 c #Conflicts: 1252000 | #Constraints: 93754
3338.39/3347.62 c #Conflicts: 1253000 | #Constraints: 94754
3338.39/3347.62 c #Conflicts: 1254000 | #Constraints: 95754
3338.39/3347.62 c #Conflicts: 1255000 | #Constraints: 96754
3338.39/3347.62 c #Conflicts: 1256000 | #Constraints: 97754
3338.39/3347.62 c #Conflicts: 1257000 | #Constraints: 98754
3338.39/3347.62 c #Conflicts: 1258000 | #Constraints: 99754
3338.39/3347.62 c #Conflicts: 1259000 | #Constraints: 100754
3338.39/3347.62 c #Conflicts: 1260000 | #Constraints: 101754
3338.39/3347.62 c #Conflicts: 1261000 | #Constraints: 102754
3338.39/3347.62 c #Conflicts: 1262000 | #Constraints: 103754
3338.39/3347.62 c #Conflicts: 1263000 | #Constraints: 104754
3338.39/3347.62 c #Conflicts: 1264000 | #Constraints: 105754
3338.39/3347.62 c #Conflicts: 1265000 | #Constraints: 106754
3338.39/3347.62 c #Conflicts: 1266000 | #Constraints: 107754
3338.39/3347.62 c #Conflicts: 1267000 | #Constraints: 108754
3338.39/3347.62 c #Conflicts: 1268000 | #Constraints: 109754
3338.39/3347.62 c #Conflicts: 1269000 | #Constraints: 110754
3338.39/3347.62 c #Conflicts: 1270000 | #Constraints: 111754
3338.39/3347.62 c #Conflicts: 1271000 | #Constraints: 112754
3338.39/3347.62 c #Conflicts: 1272000 | #Constraints: 113754
3338.39/3347.62 c #Conflicts: 1273000 | #Constraints: 114754
3338.39/3347.62 c #Conflicts: 1274000 | #Constraints: 115754
3338.39/3347.62 c #Conflicts: 1275000 | #Constraints: 116754
3338.39/3347.62 c #Conflicts: 1276000 | #Constraints: 117754
3338.39/3347.62 c #Conflicts: 1277000 | #Constraints: 118754
3338.39/3347.62 c #Conflicts: 1278000 | #Constraints: 119754
3338.39/3347.62 c #Conflicts: 1279000 | #Constraints: 120754
3338.39/3347.62 c #Conflicts: 1280000 | #Constraints: 121754
3338.39/3347.62 c #Conflicts: 1281000 | #Constraints: 122754
3338.39/3347.62 c #Conflicts: 1282000 | #Constraints: 123754
3338.39/3347.62 c #Conflicts: 1283000 | #Constraints: 124754
3338.39/3347.62 c #Conflicts: 1284000 | #Constraints: 125754
3338.39/3347.62 c #Conflicts: 1285000 | #Constraints: 126754
3338.39/3347.62 c #Conflicts: 1286000 | #Constraints: 127754
3338.39/3347.62 c #Conflicts: 1287000 | #Constraints: 128754
3338.39/3347.62 c #Conflicts: 1288000 | #Constraints: 129754
3338.39/3347.62 c #Conflicts: 1289000 | #Constraints: 130754
3338.39/3347.62 c #Conflicts: 1290000 | #Constraints: 131754
3338.39/3347.62 c #Conflicts: 1291000 | #Constraints: 132754
3338.39/3347.62 c #Conflicts: 1292000 | #Constraints: 133754
3338.39/3347.62 c #Conflicts: 1293000 | #Constraints: 134754
3338.39/3347.62 c #Conflicts: 1294000 | #Constraints: 135754
3338.39/3347.62 c #Conflicts: 1295000 | #Constraints: 136754
3338.39/3347.62 c #Conflicts: 1296000 | #Constraints: 137754
3338.39/3347.62 c #Conflicts: 1297000 | #Constraints: 138754
3338.39/3347.62 c #Conflicts: 1298000 | #Constraints: 139754
3338.39/3347.62 c #Conflicts: 1299000 | #Constraints: 140754
3338.39/3347.62 c #Conflicts: 1300000 | #Constraints: 141754
3338.39/3347.62 c #Conflicts: 1301000 | #Constraints: 142754
3338.39/3347.62 c #Conflicts: 1302000 | #Constraints: 143754
3338.39/3347.62 c #Conflicts: 1303000 | #Constraints: 144754
3338.39/3347.62 c #Conflicts: 1304000 | #Constraints: 145754
3338.39/3347.62 c #Conflicts: 1305000 | #Constraints: 146754
3338.39/3347.62 c #Conflicts: 1306000 | #Constraints: 147754
3338.39/3347.62 c #Conflicts: 1307000 | #Constraints: 148754
3338.39/3347.62 c #Conflicts: 1308000 | #Constraints: 149754
3338.39/3347.62 c #Conflicts: 1309000 | #Constraints: 150754
3338.39/3347.62 c #Conflicts: 1310000 | #Constraints: 151754
3600.02/3609.90 c #Conflicts: 1311000 | #Constraints: 152754
3600.02/3609.90 c #Conflicts: 1312000 | #Constraints: 153754
3600.02/3609.90 c #Conflicts: 1313000 | #Constraints: 154754
3600.02/3609.90 c #Conflicts: 1314000 | #Constraints: 155755
3600.02/3609.90 c #Conflicts: 1315000 | #Constraints: 156755
3600.02/3609.90 c INPROCESSING
3600.02/3609.90 c GARBAGE COLLECT
3600.02/3609.90 c #Conflicts: 1316000 | #Constraints: 91630
3600.02/3609.90 c #Conflicts: 1317000 | #Constraints: 92630
3600.02/3609.90 c #Conflicts: 1318000 | #Constraints: 93630
3600.02/3609.90 c #Conflicts: 1319000 | #Constraints: 94630
3600.02/3609.90 c #Conflicts: 1320000 | #Constraints: 95630
3600.02/3609.90 c #Conflicts: 1321000 | #Constraints: 96630
3600.02/3609.90 c #Conflicts: 1322000 | #Constraints: 97630
3600.02/3609.90 c #Conflicts: 1323000 | #Constraints: 98630
3600.02/3609.90 c #Conflicts: 1324000 | #Constraints: 99630
3600.02/3609.90 c #Conflicts: 1325000 | #Constraints: 100630
3600.02/3609.90 c #Conflicts: 1326000 | #Constraints: 101630
3600.02/3609.90 c #Conflicts: 1327000 | #Constraints: 102630
3600.02/3609.90 c #Conflicts: 1328000 | #Constraints: 103630
3600.02/3609.90 c #Conflicts: 1329000 | #Constraints: 104630
3600.02/3609.90 c #Conflicts: 1330000 | #Constraints: 105630
3600.02/3609.90 c #Conflicts: 1331000 | #Constraints: 106630
3600.02/3609.90 c #Conflicts: 1332000 | #Constraints: 107630
3600.02/3609.90 c #Conflicts: 1333000 | #Constraints: 108630
3600.02/3609.90 c #Conflicts: 1334000 | #Constraints: 109630
3600.02/3609.90 c #Conflicts: 1335000 | #Constraints: 110630
3600.02/3609.90 c #Conflicts: 1336000 | #Constraints: 111630
3600.02/3609.90 c #Conflicts: 1337000 | #Constraints: 112630
3600.02/3609.90 c #Conflicts: 1338000 | #Constraints: 113630
3600.02/3609.90 c #Conflicts: 1339000 | #Constraints: 114630
3600.02/3609.90 c #Conflicts: 1340000 | #Constraints: 115630
3600.02/3609.90 c #Conflicts: 1341000 | #Constraints: 116630
3600.02/3609.90 c #Conflicts: 1342000 | #Constraints: 117630
3600.02/3609.90 c #Conflicts: 1343000 | #Constraints: 118630
3600.02/3609.90 c #Conflicts: 1344000 | #Constraints: 119630
3600.02/3609.90 c #Conflicts: 1345000 | #Constraints: 120630
3600.02/3609.90 c #Conflicts: 1346000 | #Constraints: 121630
3600.02/3609.90 c #Conflicts: 1347000 | #Constraints: 122630
3600.02/3609.90 c INPROCESSING
3600.02/3609.90 c GARBAGE COLLECT
3600.02/3609.90 c #Conflicts: 1348000 | #Constraints: 85708
3600.02/3609.90 c #Conflicts: 1349000 | #Constraints: 86708
3600.02/3609.90 c #Conflicts: 1350000 | #Constraints: 87708
3600.02/3609.90 c #Conflicts: 1351000 | #Constraints: 88708
3600.02/3609.90 c #Conflicts: 1352000 | #Constraints: 89708
3600.02/3609.90 c #Conflicts: 1353000 | #Constraints: 90708
3600.02/3609.90 c #Conflicts: 1354000 | #Constraints: 91708
3600.02/3609.90 c #Conflicts: 1355000 | #Constraints: 92708
3600.02/3609.90 c #Conflicts: 1356000 | #Constraints: 93708
3600.02/3609.90 c #Conflicts: 1357000 | #Constraints: 94708
3600.02/3609.90 c #Conflicts: 1358000 | #Constraints: 95708
3600.02/3609.90 c #Conflicts: 1359000 | #Constraints: 96708
3600.02/3609.90 c #Conflicts: 1360000 | #Constraints: 97708
3600.02/3609.90 c #Conflicts: 1361000 | #Constraints: 98708
3600.02/3609.90 c #Conflicts: 1362000 | #Constraints: 99708
3600.02/3609.90 c #Conflicts: 1363000 | #Constraints: 100708
3600.02/3609.90 c #Conflicts: 1364000 | #Constraints: 101708
3600.02/3609.90 c #Conflicts: 1365000 | #Constraints: 102708
3600.02/3609.90 c #Conflicts: 1366000 | #Constraints: 103708
3600.02/3609.90 c #Conflicts: 1367000 | #Constraints: 104708
3600.02/3609.90 c #Conflicts: 1368000 | #Constraints: 105708
3600.02/3609.90 c #Conflicts: 1369000 | #Constraints: 106708
3600.02/3609.90 c #Conflicts: 1370000 | #Constraints: 107708
3600.02/3609.90 c #Conflicts: 1371000 | #Constraints: 108708
3600.02/3609.90 c #Conflicts: 1372000 | #Constraints: 109708
3600.02/3609.90 c #Conflicts: 1373000 | #Constraints: 110708
3600.02/3609.90 c #Conflicts: 1374000 | #Constraints: 111708
3600.02/3609.90 c #Conflicts: 1375000 | #Constraints: 112708
3600.02/3609.90 c #Conflicts: 1376000 | #Constraints: 113708
3600.02/3609.90 c #Conflicts: 1377000 | #Constraints: 114708
3600.02/3609.90 c cpu time 3570.02 s
3600.02/3609.90 c deterministic time 252730338848 2.53e+11
3600.02/3609.90 c optimization time 62.1414 s
3600.02/3609.90 c total solve time 3507.78 s
3600.02/3609.90 c core-guided solve time 0 s
3600.02/3609.90 c propagation time 1792.84 s
3600.02/3609.90 c conflict analysis time 1199.63 s
3600.02/3609.90 c propagations 1386708348
3600.02/3609.90 c resolve steps 81194820
3600.02/3609.90 c decisions 33782707
3600.02/3609.90 c conflicts 1377973
3600.02/3609.90 c restarts 2620
3600.02/3609.90 c inprocessing phases 49
3600.02/3609.90 c garbage collections 49 ,( 100.00 )
3600.02/3609.90 c input clauses 21260 ,( 99.18 )
3600.02/3609.90 c input cardinalities 176 ,( 0.82 )
3600.02/3609.90 c input general constraints 0 ,( 0.00 )
3600.02/3609.90 c input average constraint length 6.41
3600.02/3609.90 c input average constraint degree 1.96
3600.02/3609.90 c learned clauses 1002810 ,( 72.77 )
3600.02/3609.90 c learned cardinalities 46681 ,( 3.39 )
3600.02/3609.90 c learned general constraints 328490 ,( 23.84 )
3600.02/3609.90 c learned average constraint length 760.85
3600.02/3609.90 c learned average constraint degree 23517210.76
3600.02/3609.90 c watched CF 32, 64, 128, Arb: 83261 , 0 , 0 , 0
3600.02/3609.90 c counting CF 32, 64, 128, Arb: 245229 , 0 , 0 , 0
3600.02/3609.90 c watched constraints 83261 ,( 25.35 )
3600.02/3609.90 c counting constraints 245229 ,( 74.65 )
3600.02/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1284028867 , 752541290 , 2701530478 ,( 94914936 , 2606615542 )
3600.02/3609.90 c gcd simplifications 623
3600.02/3609.90 c detected cardinalities 7143
3600.02/3609.90 c weakened non-implied lits 376360862
3600.02/3609.90 c weakened non-implying lits 208126
3600.02/3609.90 c original variables 20989
3600.02/3609.90 c clausal propagations 640183175
3600.02/3609.90 c cardinality propagations 512427580
3600.02/3609.90 c watched propagations 4502808
3600.02/3609.90 c counting propagations 216367497
3600.02/3609.90 c watch lookups 77147607741
3600.02/3609.90 c watch backjump lookups 0
3600.02/3609.90 c watch checks 40349805367
3600.02/3609.90 c propagation checks 127585858953
3600.02/3609.90 c constraint additions 4804382240
3600.02/3609.90 c trail pops 1421851214
3600.02/3609.90 c formula constraints 21436
3600.02/3609.90 c learned constraints 1377968
3600.02/3609.90 c bound constraints 0
3600.02/3609.90 c core-guided constraints 0
3600.02/3609.90 c encountered formula constraints 50818058
3600.02/3609.90 c encountered learned constraints 31753852
3600.02/3609.90 c encountered bound constraints 0
3600.02/3609.90 c encountered core-guided constraints 0
3600.02/3609.90 c LP total time 553.098 s
3600.02/3609.90 c LP solve time 545.48 s
3600.02/3609.90 c LP constraints added 21886
3600.02/3609.90 c LP constraints removed 148
3600.02/3609.90 c LP pivots internal 148672
3600.02/3609.90 c LP pivots root 193605
3600.02/3609.90 c LP calls 17
3600.02/3609.90 c LP optimalities 5
3600.02/3609.90 c LP no pivot count 0
3600.02/3609.90 c LP infeasibilities 5
3600.02/3609.90 c LP valid Farkas constraints 5
3600.02/3609.90 c LP learned Farkas constraints 5
3600.02/3609.90 c LP basis resets 0
3600.02/3609.90 c LP cycling count 0
3600.02/3609.90 c LP singular count 0
3600.02/3609.90 c LP no primal count 0
3600.02/3609.90 c LP no farkas count 0
3600.02/3609.90 c LP other issue count 0
3600.02/3609.90 c LP Gomory cuts 3
3600.02/3609.90 c LP learned cuts 447
3600.02/3609.90 c LP deleted cuts 148
3600.02/3609.90 c LP encountered Gomory constraints 836
3600.02/3609.90 c LP encountered Farkas constraints 40
3600.02/3609.90 c LP encountered learned Farkas constraints 2
3600.02/3609.90 c CG auxiliary variables introduced 0
3600.02/3609.90 c CG solutions found 0
3600.02/3609.90 c CG cores constructed 0
3600.02/3609.90 c CG core cardinality constraints returned 0
3600.02/3609.90 c CG unit cores 0
3600.02/3609.90 c CG single cores 0
3600.02/3609.90 c CG blocks removed during cardinality reduction 0
3600.02/3609.90 c CG first core best 0
3600.02/3609.90 c CG decision core best 0
3600.02/3609.90 c CG core reduction tie 0
3600.02/3609.90 c CG core degree average 0.00
3600.02/3609.90 c CG core slack average 0.00
3600.02/3609.90 c CG core upper bound improvements 0
3600.02/3609.90 c STR number of successful calls 0
3600.02/3609.90 c STR number of unsuccessful calls 0
3600.02/3609.90 c STR number of inconclusive calls 0
3600.02/3609.90 c STR number of successful attempts 0
3600.02/3609.90 c STR number of unsuccessful attempts 0
3600.02/3609.90 c STR number of inconclusive attempts 0
3600.02/3609.90 c STR average degree increase per successful call inf
3600.02/3609.90 c STR average degree increase per successful attempt inf
3600.02/3609.90 c STR total number of conflicts for successful attempts 0
3600.02/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.90 c STR average number of conflicts per successful attempt inf
3600.02/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.90 c AVG.sumWPerc 66.19
3600.02/3609.90 c bigint constraints 0
3600.02/3609.90 s UNKNOWN
3600.02/3609.90 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: 63665 MiB (63042 MiB free)
memory of node 1: 64507 MiB (64036 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506872-1751172706/watcher-4506872-1751172706 -o /tmp/evaluation-result-4506872-1751172706/solver-4506872-1751172706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18876 --watchdog 3760 run-dec-break.sh HOME/instance-4506872-1751172706.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=18927, runsolver pid=18917
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.49 0.93 1.22 6/269 18941
/proc/meminfo: memFree=129986288/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18938] ppid=18927 vsize=40032 memory=26620 CPUtime=0.07 cores=0,2
/proc/18938/stat : 18938 (pbsuma) R 18927 18927 18866 0 -1 4194304 13134 0 0 0 6 1 0 0 20 0 1 0 32948420 40992768 6655 18446744073709551615 4210688 4653049 140731313870688 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 14323712 140731313875299 140731313875506 140731313875506 140731313881071 0
/proc/18938/statm: 10008 6655 1024 108 0 7416 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 44224 KiB
Current children cumulated memory: 29564 KiB
[startup+0.204895 s]*
/proc/loadavg: 0.49 0.93 1.22 6/269 18944
/proc/meminfo: memFree=129931048/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=77488 memory=31904 CPUtime=0.09 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 6365 0 0 0 7 2 0 0 20 0 1 0 32948430 79347712 7976 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 19372 7976 2272 1147 0 6799 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 81680 KiB
Current children cumulated memory: 34848 KiB
[startup+0.305936 s]*
/proc/loadavg: 0.49 0.93 1.22 6/269 18944
/proc/meminfo: memFree=129880136/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=115564 memory=61632 CPUtime=0.18 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 12561 0 0 0 16 2 0 0 20 0 1 0 32948430 118337536 15408 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 28891 15408 2272 1147 0 16318 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 119756 KiB
Current children cumulated memory: 64576 KiB
[startup+0.700182 s]
/proc/loadavg: 0.49 0.93 1.22 6/269 18944
/proc/meminfo: memFree=129874340/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=117244 memory=64064 CPUtime=0.58 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 13156 0 0 0 55 3 0 0 20 0 1 0 32948430 120057856 16016 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 29311 16016 2304 1147 0 16738 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 121436 KiB
Current children cumulated memory: 67008 KiB
[startup+1.50015 s]
/proc/loadavg: 0.49 0.93 1.22 6/269 18944
/proc/meminfo: memFree=129874340/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=117244 memory=64064 CPUtime=1.37 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 13156 0 0 0 134 3 0 0 20 0 1 0 32948430 120057856 16016 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 29311 16016 2304 1147 0 16738 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 121436 KiB
Current children cumulated memory: 67008 KiB
[startup+3.1047 s]
/proc/loadavg: 0.77 0.98 1.24 6/269 18944
/proc/meminfo: memFree=129865324/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=120124 memory=66624 CPUtime=2.97 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 13787 0 0 0 294 3 0 0 20 0 1 0 32948430 123006976 16656 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 30031 16656 2304 1147 0 17458 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 124316 KiB
Current children cumulated memory: 69568 KiB
[startup+6.30014 s]
/proc/loadavg: 0.77 0.98 1.24 6/269 18944
/proc/meminfo: memFree=129853648/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=124528 memory=74924 CPUtime=6.16 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 15285 0 0 0 602 14 0 0 20 0 1 0 32948430 127516672 18731 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 31132 18731 2368 1147 0 18559 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 128720 KiB
Current children cumulated memory: 77868 KiB
[startup+12.7001 s]
/proc/loadavg: 1.27 1.08 1.27 6/269 18944
/proc/meminfo: memFree=129842136/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=134640 memory=84632 CPUtime=12.54 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 17218 0 0 0 1222 32 0 0 20 0 1 0 32948430 137871360 21158 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 33660 21158 2368 1147 0 21087 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 138832 KiB
Current children cumulated memory: 87576 KiB
[startup+25.5002 s]
/proc/loadavg: 1.77 1.19 1.30 6/269 18944
/proc/meminfo: memFree=129770240/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=152020 memory=102384 CPUtime=25.31 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 21154 0 0 0 2465 66 0 0 20 0 1 0 32948430 155668480 25596 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 38005 25596 2368 1147 0 25432 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 156212 KiB
Current children cumulated memory: 105328 KiB
[startup+51.1047 s]
/proc/loadavg: 2.53 1.42 1.38 6/269 18946
/proc/meminfo: memFree=129666272/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=174372 memory=123576 CPUtime=50.85 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 25490 0 0 0 4960 125 0 0 20 0 1 0 32948430 178556928 30894 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 43593 30894 2368 1147 0 31020 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 178564 KiB
Current children cumulated memory: 126520 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.87 1.54 6/270 18949
/proc/meminfo: memFree=129499708/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=240360 memory=177124 CPUtime=101.91 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 35292 0 0 0 9971 220 0 0 20 0 1 0 32948430 246128640 44281 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 60090 44281 2368 1147 0 47517 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 244552 KiB
Current children cumulated memory: 180068 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 2.28 1.70 6/270 18950
/proc/meminfo: memFree=129350872/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=287460 memory=207988 CPUtime=161.73 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 39445 0 0 0 15876 297 0 0 20 0 1 0 32948430 294359040 51997 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 71865 51997 2368 1147 0 59292 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 291652 KiB
Current children cumulated memory: 210932 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.62 1.86 6/270 18952
/proc/meminfo: memFree=129275968/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=300452 memory=225652 CPUtime=221.54 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 42856 0 0 0 21754 400 0 0 20 0 1 0 32948430 307662848 56413 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 75113 56413 2368 1147 0 62540 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 304644 KiB
################
# More data... #
################
/proc/18943/statm: 419174 361324 2368 1147 0 406601 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 1680888 KiB
Current children cumulated memory: 1448240 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.02 6/268 19101
/proc/meminfo: memFree=125777320/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=1676696 memory=1445296 CPUtime=3153.51 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 169207 0 0 0 312652 2699 0 0 20 0 1 0 32948430 1716936704 361324 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 419174 361324 2368 1147 0 406601 0
Current children cumulated CPU time: 3153.58 s
Current children cumulated vsize: 1680888 KiB
Current children cumulated memory: 1448240 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.02 6/268 19103
/proc/meminfo: memFree=125776920/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=1676696 memory=1445296 CPUtime=3213.36 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 169218 0 0 0 318571 2765 0 0 20 0 1 0 32948430 1716936704 361324 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 419174 361324 2368 1147 0 406601 0
Current children cumulated CPU time: 3213.43 s
Current children cumulated vsize: 1680888 KiB
Current children cumulated memory: 1448240 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.02 6/268 19105
/proc/meminfo: memFree=125776756/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=1676696 memory=1445296 CPUtime=3273.21 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 169218 0 0 0 324512 2809 0 0 20 0 1 0 32948430 1716936704 361324 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 419174 361324 2368 1147 0 406601 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 1680888 KiB
Current children cumulated memory: 1448240 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.03 6/268 19109
/proc/meminfo: memFree=125733104/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=1678088 memory=1448496 CPUtime=3333.04 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 169647 0 0 0 330458 2846 0 0 20 0 1 0 32948430 1718362112 362124 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 419522 362124 2368 1147 0 406949 0
Current children cumulated CPU time: 3333.11 s
Current children cumulated vsize: 1682280 KiB
Current children cumulated memory: 1451440 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.03 6/267 19116
/proc/meminfo: memFree=125708672/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=1683368 memory=1457200 CPUtime=3392.88 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 171050 0 0 0 336417 2871 0 0 20 0 1 0 32948430 1723768832 364300 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 420842 364300 2368 1147 0 408269 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 1687560 KiB
Current children cumulated memory: 1460144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.08 4.02 6/268 19119
/proc/meminfo: memFree=125677888/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=1683636 memory=1478192 CPUtime=3452.72 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 171097 0 0 0 342385 2887 0 0 20 0 1 0 32948430 1724043264 369548 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 420909 369548 2368 1147 0 408336 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 1687828 KiB
Current children cumulated memory: 1481136 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.03 6/268 19121
/proc/meminfo: memFree=125659944/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=1683636 memory=1486768 CPUtime=3512.56 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 171128 0 0 0 348340 2916 0 0 20 0 1 0 32948430 1724043264 371692 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 420909 371692 2368 1147 0 408336 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 1687828 KiB
Current children cumulated memory: 1489712 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.03 6/268 19123
/proc/meminfo: memFree=125653648/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=1683816 memory=1487024 CPUtime=3572.41 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 171199 0 0 0 354278 2963 0 0 20 0 1 0 32948430 1724227584 371756 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 420954 371756 2368 1147 0 408381 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 1688008 KiB
Current children cumulated memory: 1489968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.12 4.10 4.03 4/263 19133
/proc/meminfo: memFree=126542724/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=1683816 memory=1487024 CPUtime=3599.95 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 171199 0 0 0 357002 2993 0 0 20 0 1 0 32948430 1724227584 371756 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 420954 371756 2368 1147 0 408381 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1688008 KiB
Current children cumulated memory: 1489968 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.9 s]
# the end of solver process 18927 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.067442 s, system=0.020315 s
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 18943 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3570.09 s, system=29.9576 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
[startup+3609.9 s]
/proc/loadavg: 4.12 4.10 4.03 4/263 19133
/proc/meminfo: memFree=126542724/131249996 swapFree=33010684/33010684
[pid=18927] ppid=18917 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/18927/stat : 18927 (run-dec-break.s) S 18917 18927 18866 0 -1 4194304 237 13137 0 0 0 0 6 1 20 0 1 0 32948419 4292608 736 18446744073709551615 94391606882304 94391607776837 140726557443520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94391608015888 94391608063632 94391610044416 140726557452641 140726557452770 140726557452770 140726557458372 0
/proc/18927/statm: 1048 736 672 219 0 110 0
[pid=18943] ppid=18927 vsize=1683816 memory=1487024 CPUtime=3599.95 cores=0,2
/proc/18943/stat : 18943 (roundingsat) R 18927 18927 18866 0 -1 4194304 171199 0 0 0 357002 2993 0 0 20 0 1 0 32948430 1724227584 371756 18446744073709551615 4227072 8923433 140734363098752 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38920192 140734363101508 140734363101736 140734363101736 140734363107306 0
/proc/18943/statm: 420954 371756 2368 1147 0 408381 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1688008 KiB
Current children cumulated memory: 1489968 KiB
Child status: 2
Real time (s): 3609.91
CPU time (s): 3600.05
CPU user time (s): 3570.09
CPU system time (s): 29.9576
CPU usage (%): 99.7268
Max. virtual memory (cumulated for all children) (KiB): 1688008
Max. memory (cumulated for all children) (KiB): 1489968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.09
system time used= 29.9576
maximum resident set size= 1487408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184608
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 469
involuntary context switches= 8117
# summary of solver processes directly reported to runsolver:
# pid: 18927,18943
# total CPU time (s): 3600.05
# total CPU user time (s): 3570.09
# total CPU system time (s): 29.9576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.09152 second user time and 13.2226 second system time
The end
Begin job on nodeC022 at 2025-06-29 06:51:46
IDJOB=4506872
IDBENCH=158302
IDSOLVER=3357
FILE ID=nodeC022/4506872-1751172706
RUNJOBID= nodeC022-1751172706-18876
SLURM_JOB_ID= 9587539
Free space on /tmp= 433060 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K176.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506872-1751172706/watcher-4506872-1751172706 -o /tmp/evaluation-result-4506872-1751172706/solver-4506872-1751172706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18876 --watchdog 3760 run-dec-break.sh HOME/instance-4506872-1751172706.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 98be46c5d9a37fa78efcf3182d546400
RANDOM SEED=1606326041
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3575.080
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3600.672
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3599.716
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3600.352
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3599.719
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3601.390
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3601.698
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3599.707
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130133188 kB
MemAvailable: 129784472 kB
Buffers: 3280 kB
Cached: 462228 kB
SwapCached: 0 kB
Active: 315984 kB
Inactive: 213884 kB
Active(anon): 82420 kB
Inactive(anon): 0 kB
Active(file): 233564 kB
Inactive(file): 213884 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33424 kB
Writeback: 0 kB
AnonPages: 67428 kB
Mapped: 101804 kB
Shmem: 18060 kB
KReclaimable: 85748 kB
Slab: 168748 kB
SReclaimable: 85748 kB
SUnreclaim: 83000 kB
KernelStack: 4144 kB
PageTables: 2760 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 332148 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC022 at 2025-06-29 07:51:57