0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4541765-1753202596.opb'
0.00/0.01 c read 0.22MB (3.51ms)
0.00/0.01 c [cnf: #variables 5122 #clauses 7056 #duplicates 54 #arr 20294]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 2] (5.94ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c found row 46x2, generating row predicate
0.00/0.02 c (0.84ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 27291 #edges 70814]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 1.00*10^0 #generators 0] (1.90ms)
0.00/0.02 c
0.00/0.02 c finalize break order and special generators
0.00/0.02 c
0.00/0.02 c generation finished
0.00/0.02 c [sbp: #constraints 45 #add_vars 0]
0.00/0.02 c
0.00/0.02 c write result to 'HOME/instance-4541765-1753202596.opb.pre'
0.00/0.02 c wrote 0.23MB (0.58ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 5.94ms 44.60% approx_orbits
0.00/0.02 c 3.51ms 26.34% parse
0.00/0.02 c 1.90ms 14.28% detect_generic
0.00/0.02 c 0.84ms 6.32% detect_special
0.00/0.02 c 0.58ms 4.38% output
0.00/0.02 c 0.39ms 2.93% other
0.00/0.02 c 0.15ms 1.16% finalize_order
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 13.31ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.08 c #variables 5122 #constraints 9683
0.00/0.09 c rational objective 0
2.06/2.16 c #Conflicts: 1000 | #Constraints: 10682
2.06/2.16 c #Conflicts: 2000 | #Constraints: 11682
2.06/2.16 c INPROCESSING
2.06/2.16 c GARBAGE COLLECT
2.06/2.16 c rational objective 0
79.95/80.25 c #Conflicts: 3000 | #Constraints: 11639
79.95/80.25 c #Conflicts: 4000 | #Constraints: 12639
79.95/80.25 c INPROCESSING
79.95/80.25 c GARBAGE COLLECT
79.95/80.25 c #Conflicts: 5000 | #Constraints: 12061
79.95/80.25 c #Conflicts: 6000 | #Constraints: 13061
79.95/80.25 c INPROCESSING
79.95/80.25 c GARBAGE COLLECT
79.95/80.25 c #Conflicts: 7000 | #Constraints: 12072
79.95/80.25 c #Conflicts: 8000 | #Constraints: 13072
79.95/80.25 c #Conflicts: 9000 | #Constraints: 14072
79.95/80.25 c INPROCESSING
79.95/80.25 c GARBAGE COLLECT
79.95/80.25 c #Conflicts: 10000 | #Constraints: 12795
79.95/80.25 c #Conflicts: 11000 | #Constraints: 13795
79.95/80.25 c #Conflicts: 12000 | #Constraints: 14795
79.95/80.25 c INPROCESSING
79.95/80.25 c GARBAGE COLLECT
79.95/80.25 c #Conflicts: 13000 | #Constraints: 13249
79.95/80.25 c #Conflicts: 14000 | #Constraints: 14249
79.95/80.25 c #Conflicts: 15000 | #Constraints: 15249
79.95/80.25 c INPROCESSING
79.95/80.25 c GARBAGE COLLECT
79.95/80.25 c #Conflicts: 16000 | #Constraints: 13492
79.95/80.25 c #Conflicts: 17000 | #Constraints: 14492
79.95/80.25 c #Conflicts: 18000 | #Constraints: 15492
79.95/80.25 c INPROCESSING
79.95/80.25 c GARBAGE COLLECT
79.95/80.25 c #Conflicts: 19000 | #Constraints: 13506
79.95/80.25 c #Conflicts: 20000 | #Constraints: 14506
79.95/80.25 c #Conflicts: 21000 | #Constraints: 15506
79.95/80.25 c INPROCESSING
79.95/80.25 c GARBAGE COLLECT
79.95/80.25 c #Conflicts: 22000 | #Constraints: 13325
79.95/80.25 c #Conflicts: 23000 | #Constraints: 14325
79.95/80.25 c #Conflicts: 24000 | #Constraints: 15325
79.95/80.25 c #Conflicts: 25000 | #Constraints: 16325
79.95/80.25 c INPROCESSING
79.95/80.25 c GARBAGE COLLECT
79.95/80.25 c #Conflicts: 26000 | #Constraints: 13940
79.95/80.25 c #Conflicts: 27000 | #Constraints: 14940
79.95/80.25 c #Conflicts: 28000 | #Constraints: 15940
79.95/80.25 c #Conflicts: 29000 | #Constraints: 16940
79.95/80.25 c INPROCESSING
79.95/80.25 c GARBAGE COLLECT
79.95/80.25 c #Conflicts: 30000 | #Constraints: 14355
79.95/80.25 c #Conflicts: 31000 | #Constraints: 15355
79.95/80.25 c #Conflicts: 32000 | #Constraints: 16355
79.95/80.25 c #Conflicts: 33000 | #Constraints: 17355
79.95/80.25 c INPROCESSING
79.95/80.25 c GARBAGE COLLECT
79.95/80.25 c #Conflicts: 34000 | #Constraints: 14573
79.95/80.25 c #Conflicts: 35000 | #Constraints: 15573
79.95/80.25 c #Conflicts: 36000 | #Constraints: 16573
79.95/80.25 c #Conflicts: 37000 | #Constraints: 17573
79.95/80.25 c #Conflicts: 38000 | #Constraints: 18573
79.95/80.25 c #Conflicts: 39000 | #Constraints: 19573
79.95/80.25 c #Conflicts: 40000 | #Constraints: 20573
79.95/80.25 c #Conflicts: 41000 | #Constraints: 21573
79.95/80.25 c #Conflicts: 42000 | #Constraints: 22573
79.95/80.25 c #Conflicts: 43000 | #Constraints: 23573
79.95/80.25 c #Conflicts: 44000 | #Constraints: 24573
79.95/80.25 c #Conflicts: 45000 | #Constraints: 25573
79.95/80.25 c #Conflicts: 46000 | #Constraints: 26573
79.95/80.25 c #Conflicts: 47000 | #Constraints: 27573
79.95/80.25 c #Conflicts: 48000 | #Constraints: 28573
79.95/80.25 c INPROCESSING
79.95/80.25 c GARBAGE COLLECT
79.95/80.25 c #Conflicts: 49000 | #Constraints: 20196
79.95/80.25 c #Conflicts: 50000 | #Constraints: 21196
79.95/80.25 c #Conflicts: 51000 | #Constraints: 22196
79.95/80.25 c #Conflicts: 52000 | #Constraints: 23196
79.95/80.25 c #Conflicts: 53000 | #Constraints: 24196
79.95/80.25 c INPROCESSING
79.95/80.25 c GARBAGE COLLECT
79.95/80.25 c rational objective 0
143.17/143.69 c #Conflicts: 54000 | #Constraints: 17861
143.17/143.69 c #Conflicts: 55000 | #Constraints: 18861
143.17/143.69 c #Conflicts: 56000 | #Constraints: 19861
143.17/143.69 c #Conflicts: 57000 | #Constraints: 20861
143.17/143.69 c #Conflicts: 58000 | #Constraints: 21861
143.17/143.69 c INPROCESSING
143.17/143.69 c GARBAGE COLLECT
143.17/143.69 c #Conflicts: 59000 | #Constraints: 16456
143.17/143.69 c #Conflicts: 60000 | #Constraints: 17456
143.17/143.69 c #Conflicts: 61000 | #Constraints: 18456
143.17/143.69 c #Conflicts: 62000 | #Constraints: 19456
143.17/143.69 c #Conflicts: 63000 | #Constraints: 20456
143.17/143.69 c #Conflicts: 64000 | #Constraints: 21456
143.17/143.69 c INPROCESSING
143.17/143.69 c GARBAGE COLLECT
143.17/143.69 c #Conflicts: 65000 | #Constraints: 16402
143.17/143.69 c #Conflicts: 66000 | #Constraints: 17402
143.17/143.69 c #Conflicts: 67000 | #Constraints: 18402
143.17/143.69 c #Conflicts: 68000 | #Constraints: 19402
143.17/143.69 c #Conflicts: 69000 | #Constraints: 20402
143.17/143.69 c #Conflicts: 70000 | #Constraints: 21402
143.17/143.69 c #Conflicts: 71000 | #Constraints: 22402
143.17/143.69 c #Conflicts: 72000 | #Constraints: 23402
143.17/143.69 c #Conflicts: 73000 | #Constraints: 24402
143.17/143.69 c #Conflicts: 74000 | #Constraints: 25402
143.17/143.69 c #Conflicts: 75000 | #Constraints: 26402
143.17/143.69 c #Conflicts: 76000 | #Constraints: 27402
143.17/143.69 c #Conflicts: 77000 | #Constraints: 28402
143.17/143.69 c #Conflicts: 78000 | #Constraints: 29402
143.17/143.69 c #Conflicts: 79000 | #Constraints: 30402
143.17/143.69 c #Conflicts: 80000 | #Constraints: 31402
143.17/143.69 c #Conflicts: 81000 | #Constraints: 32402
143.17/143.69 c #Conflicts: 82000 | #Constraints: 33402
143.17/143.69 c #Conflicts: 83000 | #Constraints: 34402
143.17/143.69 c #Conflicts: 84000 | #Constraints: 35402
143.17/143.69 c INPROCESSING
143.17/143.69 c GARBAGE COLLECT
143.17/143.69 c rational objective 0
203.51/204.19 c #Conflicts: 85000 | #Constraints: 23240
203.51/204.19 c #Conflicts: 86000 | #Constraints: 24240
203.51/204.19 c #Conflicts: 87000 | #Constraints: 25240
203.51/204.19 c #Conflicts: 88000 | #Constraints: 26240
203.51/204.19 c #Conflicts: 89000 | #Constraints: 27240
203.51/204.19 c #Conflicts: 90000 | #Constraints: 28240
203.51/204.19 c #Conflicts: 91000 | #Constraints: 29240
203.51/204.19 c INPROCESSING
203.51/204.19 c GARBAGE COLLECT
203.51/204.19 c #Conflicts: 92000 | #Constraints: 20201
203.51/204.19 c #Conflicts: 93000 | #Constraints: 21201
203.51/204.19 c #Conflicts: 94000 | #Constraints: 22201
203.51/204.19 c #Conflicts: 95000 | #Constraints: 23201
203.51/204.19 c #Conflicts: 96000 | #Constraints: 24201
203.51/204.19 c #Conflicts: 97000 | #Constraints: 25201
203.51/204.19 c #Conflicts: 98000 | #Constraints: 26201
203.51/204.19 c #Conflicts: 99000 | #Constraints: 27201
203.51/204.19 c INPROCESSING
203.51/204.19 c GARBAGE COLLECT
203.51/204.19 c #Conflicts: 100000 | #Constraints: 19579
203.51/204.19 c #Conflicts: 101000 | #Constraints: 20579
203.51/204.19 c #Conflicts: 102000 | #Constraints: 21579
203.51/204.19 c #Conflicts: 103000 | #Constraints: 22579
203.51/204.19 c #Conflicts: 104000 | #Constraints: 23579
203.51/204.19 c #Conflicts: 105000 | #Constraints: 24579
203.51/204.19 c #Conflicts: 106000 | #Constraints: 25579
203.51/204.19 c #Conflicts: 107000 | #Constraints: 26579
203.51/204.19 c #Conflicts: 108000 | #Constraints: 27579
203.51/204.19 c #Conflicts: 109000 | #Constraints: 28579
203.51/204.19 c #Conflicts: 110000 | #Constraints: 29579
203.51/204.19 c #Conflicts: 111000 | #Constraints: 30579
203.51/204.19 c #Conflicts: 112000 | #Constraints: 31579
203.51/204.19 c #Conflicts: 113000 | #Constraints: 32579
203.51/204.19 c #Conflicts: 114000 | #Constraints: 33579
203.51/204.19 c #Conflicts: 115000 | #Constraints: 34579
203.51/204.19 c #Conflicts: 116000 | #Constraints: 35579
203.51/204.19 c #Conflicts: 117000 | #Constraints: 36579
203.51/204.19 c #Conflicts: 118000 | #Constraints: 37579
203.51/204.19 c #Conflicts: 119000 | #Constraints: 38579
203.51/204.19 c #Conflicts: 120000 | #Constraints: 39579
203.51/204.19 c #Conflicts: 121000 | #Constraints: 40579
203.51/204.19 c #Conflicts: 122000 | #Constraints: 41579
203.51/204.19 c #Conflicts: 123000 | #Constraints: 42579
203.51/204.19 c INPROCESSING
203.51/204.19 c GARBAGE COLLECT
203.51/204.19 c rational objective 0
429.86/431.06 c #Conflicts: 124000 | #Constraints: 27020
429.86/431.06 c #Conflicts: 125000 | #Constraints: 28020
429.86/431.06 c #Conflicts: 126000 | #Constraints: 29020
429.86/431.06 c #Conflicts: 127000 | #Constraints: 30020
429.86/431.06 c #Conflicts: 128000 | #Constraints: 31020
429.86/431.06 c #Conflicts: 129000 | #Constraints: 32020
429.86/431.06 c #Conflicts: 130000 | #Constraints: 33020
429.86/431.06 c #Conflicts: 131000 | #Constraints: 34020
429.86/431.06 c #Conflicts: 132000 | #Constraints: 35020
429.86/431.06 c INPROCESSING
429.86/431.06 c GARBAGE COLLECT
429.86/431.06 c #Conflicts: 133000 | #Constraints: 23477
429.86/431.06 c #Conflicts: 134000 | #Constraints: 24477
429.86/431.06 c #Conflicts: 135000 | #Constraints: 25477
429.86/431.06 c #Conflicts: 136000 | #Constraints: 26477
429.86/431.06 c #Conflicts: 137000 | #Constraints: 27477
429.86/431.06 c #Conflicts: 138000 | #Constraints: 28477
429.86/431.06 c #Conflicts: 139000 | #Constraints: 29477
429.86/431.06 c #Conflicts: 140000 | #Constraints: 30477
429.86/431.06 c INPROCESSING
429.86/431.06 c GARBAGE COLLECT
429.86/431.06 c #Conflicts: 141000 | #Constraints: 20879
429.86/431.06 c #Conflicts: 142000 | #Constraints: 21879
429.86/431.06 c #Conflicts: 143000 | #Constraints: 22879
429.86/431.06 c #Conflicts: 144000 | #Constraints: 23879
429.86/431.06 c #Conflicts: 145000 | #Constraints: 24879
429.86/431.06 c #Conflicts: 146000 | #Constraints: 25879
429.86/431.06 c #Conflicts: 147000 | #Constraints: 26879
429.86/431.06 c #Conflicts: 148000 | #Constraints: 27879
429.86/431.06 c #Conflicts: 149000 | #Constraints: 28879
429.86/431.06 c #Conflicts: 150000 | #Constraints: 29879
429.86/431.06 c #Conflicts: 151000 | #Constraints: 30879
429.86/431.06 c #Conflicts: 152000 | #Constraints: 31879
429.86/431.06 c #Conflicts: 153000 | #Constraints: 32879
429.86/431.06 c #Conflicts: 154000 | #Constraints: 33879
429.86/431.06 c #Conflicts: 155000 | #Constraints: 34879
429.86/431.06 c #Conflicts: 156000 | #Constraints: 35879
429.86/431.06 c #Conflicts: 157000 | #Constraints: 36879
429.86/431.06 c #Conflicts: 158000 | #Constraints: 37879
429.86/431.06 c #Conflicts: 159000 | #Constraints: 38879
429.86/431.06 c #Conflicts: 160000 | #Constraints: 39879
429.86/431.06 c #Conflicts: 161000 | #Constraints: 40879
429.86/431.06 c #Conflicts: 162000 | #Constraints: 41879
429.86/431.06 c #Conflicts: 163000 | #Constraints: 42879
429.86/431.06 c #Conflicts: 164000 | #Constraints: 43879
429.86/431.06 c #Conflicts: 165000 | #Constraints: 44879
429.86/431.06 c #Conflicts: 166000 | #Constraints: 45879
429.86/431.06 c #Conflicts: 167000 | #Constraints: 46879
429.86/431.06 c #Conflicts: 168000 | #Constraints: 47879
429.86/431.06 c #Conflicts: 169000 | #Constraints: 48879
429.86/431.06 c INPROCESSING
429.86/431.06 c GARBAGE COLLECT
429.86/431.06 c #Conflicts: 170000 | #Constraints: 30243
429.86/431.06 c #Conflicts: 171000 | #Constraints: 31243
429.86/431.06 c #Conflicts: 172000 | #Constraints: 32243
429.86/431.06 c #Conflicts: 173000 | #Constraints: 33243
429.86/431.06 c #Conflicts: 174000 | #Constraints: 34243
429.86/431.06 c #Conflicts: 175000 | #Constraints: 35243
429.86/431.06 c #Conflicts: 176000 | #Constraints: 36243
429.86/431.06 c #Conflicts: 177000 | #Constraints: 37243
429.86/431.06 c #Conflicts: 178000 | #Constraints: 38243
429.86/431.06 c #Conflicts: 179000 | #Constraints: 39243
429.86/431.06 c INPROCESSING
429.86/431.06 c GARBAGE COLLECT
429.86/431.06 c #Conflicts: 180000 | #Constraints: 25455
429.86/431.06 c #Conflicts: 181000 | #Constraints: 26455
429.86/431.06 c #Conflicts: 182000 | #Constraints: 27455
429.86/431.06 c #Conflicts: 183000 | #Constraints: 28455
429.86/431.06 c #Conflicts: 184000 | #Constraints: 29455
429.86/431.06 c #Conflicts: 185000 | #Constraints: 30455
429.86/431.06 c #Conflicts: 186000 | #Constraints: 31455
429.86/431.06 c #Conflicts: 187000 | #Constraints: 32455
429.86/431.06 c #Conflicts: 188000 | #Constraints: 33455
429.86/431.06 c #Conflicts: 189000 | #Constraints: 34455
429.86/431.06 c INPROCESSING
429.86/431.06 c GARBAGE COLLECT
429.86/431.06 c #Conflicts: 190000 | #Constraints: 22960
429.86/431.06 c #Conflicts: 191000 | #Constraints: 23960
429.86/431.06 c #Conflicts: 192000 | #Constraints: 24960
429.86/431.06 c #Conflicts: 193000 | #Constraints: 25960
429.86/431.06 c #Conflicts: 194000 | #Constraints: 26960
429.86/431.06 c #Conflicts: 195000 | #Constraints: 27960
429.86/431.06 c #Conflicts: 196000 | #Constraints: 28960
429.86/431.06 c #Conflicts: 197000 | #Constraints: 29960
429.86/431.06 c #Conflicts: 198000 | #Constraints: 30960
429.86/431.06 c #Conflicts: 199000 | #Constraints: 31960
507.07/508.48 c #Conflicts: 200000 | #Constraints: 32960
507.07/508.48 c #Conflicts: 201000 | #Constraints: 33960
507.07/508.48 c #Conflicts: 202000 | #Constraints: 34960
507.07/508.48 c #Conflicts: 203000 | #Constraints: 35960
507.07/508.48 c #Conflicts: 204000 | #Constraints: 36960
507.07/508.48 c #Conflicts: 205000 | #Constraints: 37960
507.07/508.48 c #Conflicts: 206000 | #Constraints: 38960
507.07/508.48 c #Conflicts: 207000 | #Constraints: 39960
507.07/508.48 c #Conflicts: 208000 | #Constraints: 40960
507.07/508.48 c #Conflicts: 209000 | #Constraints: 41960
507.07/508.48 c #Conflicts: 210000 | #Constraints: 42960
507.07/508.48 c #Conflicts: 211000 | #Constraints: 43960
507.07/508.48 c #Conflicts: 212000 | #Constraints: 44960
507.07/508.48 c #Conflicts: 213000 | #Constraints: 45960
507.07/508.48 c #Conflicts: 214000 | #Constraints: 46960
507.07/508.48 c #Conflicts: 215000 | #Constraints: 47960
507.07/508.48 c #Conflicts: 216000 | #Constraints: 48960
507.07/508.48 c #Conflicts: 217000 | #Constraints: 49960
507.07/508.48 c #Conflicts: 218000 | #Constraints: 50960
507.07/508.48 c #Conflicts: 219000 | #Constraints: 51960
507.07/508.48 c #Conflicts: 220000 | #Constraints: 52960
507.07/508.48 c #Conflicts: 221000 | #Constraints: 53960
507.07/508.48 c #Conflicts: 222000 | #Constraints: 54960
507.07/508.48 c INPROCESSING
507.07/508.48 c GARBAGE COLLECT
507.07/508.48 c rational objective 0
685.45/687.22 c #Conflicts: 223000 | #Constraints: 33284
685.45/687.22 c #Conflicts: 224000 | #Constraints: 34284
685.45/687.22 c #Conflicts: 225000 | #Constraints: 35284
685.45/687.22 c #Conflicts: 226000 | #Constraints: 36284
685.45/687.22 c #Conflicts: 227000 | #Constraints: 37284
685.45/687.22 c #Conflicts: 228000 | #Constraints: 38284
685.45/687.22 c #Conflicts: 229000 | #Constraints: 39284
685.45/687.22 c #Conflicts: 230000 | #Constraints: 40284
685.45/687.22 c #Conflicts: 231000 | #Constraints: 41284
685.45/687.22 c #Conflicts: 232000 | #Constraints: 42284
685.45/687.22 c #Conflicts: 233000 | #Constraints: 43284
685.45/687.22 c #Conflicts: 234000 | #Constraints: 44284
685.45/687.22 c INPROCESSING
685.45/687.22 c GARBAGE COLLECT
685.45/687.22 c #Conflicts: 235000 | #Constraints: 28164
685.45/687.22 c #Conflicts: 236000 | #Constraints: 29164
685.45/687.22 c #Conflicts: 237000 | #Constraints: 30164
685.45/687.22 c #Conflicts: 238000 | #Constraints: 31164
685.45/687.22 c #Conflicts: 239000 | #Constraints: 32164
685.45/687.22 c #Conflicts: 240000 | #Constraints: 33164
685.45/687.22 c #Conflicts: 241000 | #Constraints: 34164
685.45/687.22 c #Conflicts: 242000 | #Constraints: 35164
685.45/687.22 c #Conflicts: 243000 | #Constraints: 36164
685.45/687.22 c #Conflicts: 244000 | #Constraints: 37164
685.45/687.22 c #Conflicts: 245000 | #Constraints: 38164
685.45/687.22 c INPROCESSING
685.45/687.22 c GARBAGE COLLECT
685.45/687.22 c #Conflicts: 246000 | #Constraints: 24782
685.45/687.22 c #Conflicts: 247000 | #Constraints: 25782
685.45/687.22 c #Conflicts: 248000 | #Constraints: 26782
685.45/687.22 c #Conflicts: 249000 | #Constraints: 27782
685.45/687.22 c #Conflicts: 250000 | #Constraints: 28782
685.45/687.22 c #Conflicts: 251000 | #Constraints: 29782
685.45/687.22 c #Conflicts: 252000 | #Constraints: 30782
685.45/687.22 c #Conflicts: 253000 | #Constraints: 31782
685.45/687.22 c #Conflicts: 254000 | #Constraints: 32782
685.45/687.22 c #Conflicts: 255000 | #Constraints: 33782
685.45/687.22 c #Conflicts: 256000 | #Constraints: 34782
685.45/687.22 c #Conflicts: 257000 | #Constraints: 35782
685.45/687.22 c #Conflicts: 258000 | #Constraints: 36782
685.45/687.22 c #Conflicts: 259000 | #Constraints: 37782
685.45/687.22 c #Conflicts: 260000 | #Constraints: 38782
685.45/687.22 c #Conflicts: 261000 | #Constraints: 39782
685.45/687.22 c #Conflicts: 262000 | #Constraints: 40782
685.45/687.22 c #Conflicts: 263000 | #Constraints: 41782
685.45/687.22 c #Conflicts: 264000 | #Constraints: 42782
685.45/687.22 c #Conflicts: 265000 | #Constraints: 43782
685.45/687.22 c #Conflicts: 266000 | #Constraints: 44782
685.45/687.22 c #Conflicts: 267000 | #Constraints: 45782
685.45/687.22 c #Conflicts: 268000 | #Constraints: 46782
685.45/687.22 c #Conflicts: 269000 | #Constraints: 47782
685.45/687.22 c #Conflicts: 270000 | #Constraints: 48782
685.45/687.22 c #Conflicts: 271000 | #Constraints: 49782
685.45/687.22 c #Conflicts: 272000 | #Constraints: 50782
685.45/687.22 c #Conflicts: 273000 | #Constraints: 51782
685.45/687.22 c #Conflicts: 274000 | #Constraints: 52782
685.45/687.22 c #Conflicts: 275000 | #Constraints: 53782
685.45/687.22 c #Conflicts: 276000 | #Constraints: 54782
685.45/687.22 c #Conflicts: 277000 | #Constraints: 55782
685.45/687.22 c #Conflicts: 278000 | #Constraints: 56782
685.45/687.22 c #Conflicts: 279000 | #Constraints: 57782
685.45/687.22 c #Conflicts: 280000 | #Constraints: 58782
685.45/687.22 c #Conflicts: 281000 | #Constraints: 59782
685.45/687.22 c #Conflicts: 282000 | #Constraints: 60782
685.45/687.22 c INPROCESSING
685.45/687.22 c GARBAGE COLLECT
685.45/687.22 c rational objective 0
745.48/747.44 c #Conflicts: 283000 | #Constraints: 36068
745.48/747.44 c #Conflicts: 284000 | #Constraints: 37068
745.48/747.44 c #Conflicts: 285000 | #Constraints: 38068
745.48/747.44 c #Conflicts: 286000 | #Constraints: 39068
745.48/747.44 c #Conflicts: 287000 | #Constraints: 40068
745.48/747.44 c #Conflicts: 288000 | #Constraints: 41068
745.48/747.44 c #Conflicts: 289000 | #Constraints: 42068
745.48/747.44 c #Conflicts: 290000 | #Constraints: 43068
745.48/747.44 c #Conflicts: 291000 | #Constraints: 44068
745.48/747.44 c #Conflicts: 292000 | #Constraints: 45068
745.48/747.44 c #Conflicts: 293000 | #Constraints: 46068
745.48/747.44 c #Conflicts: 294000 | #Constraints: 47068
745.48/747.44 c #Conflicts: 295000 | #Constraints: 48068
745.48/747.44 c INPROCESSING
745.48/747.44 c GARBAGE COLLECT
745.48/747.44 c #Conflicts: 296000 | #Constraints: 29729
745.48/747.44 c #Conflicts: 297000 | #Constraints: 30729
745.48/747.44 c #Conflicts: 298000 | #Constraints: 31729
745.48/747.44 c #Conflicts: 299000 | #Constraints: 32729
745.48/747.44 c #Conflicts: 300000 | #Constraints: 33729
745.48/747.44 c #Conflicts: 301000 | #Constraints: 34729
745.48/747.44 c #Conflicts: 302000 | #Constraints: 35729
745.48/747.44 c #Conflicts: 303000 | #Constraints: 36729
745.48/747.44 c #Conflicts: 304000 | #Constraints: 37729
745.48/747.44 c #Conflicts: 305000 | #Constraints: 38729
745.48/747.44 c #Conflicts: 306000 | #Constraints: 39729
745.48/747.44 c #Conflicts: 307000 | #Constraints: 40729
745.48/747.44 c #Conflicts: 308000 | #Constraints: 41729
745.48/747.44 c #Conflicts: 309000 | #Constraints: 42729
745.48/747.44 c INPROCESSING
745.48/747.44 c GARBAGE COLLECT
745.48/747.44 c rational objective 0
961.08/963.65 c #Conflicts: 310000 | #Constraints: 27428
961.08/963.65 c #Conflicts: 311000 | #Constraints: 28428
961.08/963.65 c #Conflicts: 312000 | #Constraints: 29428
961.08/963.65 c #Conflicts: 313000 | #Constraints: 30428
961.08/963.65 c #Conflicts: 314000 | #Constraints: 31428
961.08/963.65 c #Conflicts: 315000 | #Constraints: 32428
961.08/963.65 c #Conflicts: 316000 | #Constraints: 33428
961.08/963.65 c #Conflicts: 317000 | #Constraints: 34428
961.08/963.65 c #Conflicts: 318000 | #Constraints: 35428
961.08/963.65 c #Conflicts: 319000 | #Constraints: 36428
961.08/963.65 c #Conflicts: 320000 | #Constraints: 37428
961.08/963.65 c #Conflicts: 321000 | #Constraints: 38428
961.08/963.65 c #Conflicts: 322000 | #Constraints: 39428
961.08/963.65 c #Conflicts: 323000 | #Constraints: 40428
961.08/963.65 c #Conflicts: 324000 | #Constraints: 41428
961.08/963.65 c #Conflicts: 325000 | #Constraints: 42428
961.08/963.65 c #Conflicts: 326000 | #Constraints: 43428
961.08/963.65 c #Conflicts: 327000 | #Constraints: 44428
961.08/963.65 c #Conflicts: 328000 | #Constraints: 45428
961.08/963.65 c #Conflicts: 329000 | #Constraints: 46428
961.08/963.65 c #Conflicts: 330000 | #Constraints: 47428
961.08/963.65 c #Conflicts: 331000 | #Constraints: 48428
961.08/963.65 c #Conflicts: 332000 | #Constraints: 49428
961.08/963.65 c #Conflicts: 333000 | #Constraints: 50428
961.08/963.65 c #Conflicts: 334000 | #Constraints: 51428
961.08/963.65 c #Conflicts: 335000 | #Constraints: 52428
961.08/963.65 c #Conflicts: 336000 | #Constraints: 53428
961.08/963.65 c #Conflicts: 337000 | #Constraints: 54428
961.08/963.65 c #Conflicts: 338000 | #Constraints: 55428
961.08/963.65 c #Conflicts: 339000 | #Constraints: 56428
961.08/963.65 c #Conflicts: 340000 | #Constraints: 57428
961.08/963.65 c #Conflicts: 341000 | #Constraints: 58428
961.08/963.65 c #Conflicts: 342000 | #Constraints: 59428
961.08/963.65 c #Conflicts: 343000 | #Constraints: 60428
961.08/963.65 c #Conflicts: 344000 | #Constraints: 61428
961.08/963.65 c #Conflicts: 345000 | #Constraints: 62428
961.08/963.65 c #Conflicts: 346000 | #Constraints: 63428
961.08/963.65 c #Conflicts: 347000 | #Constraints: 64428
961.08/963.65 c #Conflicts: 348000 | #Constraints: 65428
961.08/963.65 c #Conflicts: 349000 | #Constraints: 66428
961.08/963.65 c #Conflicts: 350000 | #Constraints: 67428
961.08/963.65 c INPROCESSING
961.08/963.65 c GARBAGE COLLECT
961.08/963.65 c rational objective 0
1036.79/1039.55 c #Conflicts: 351000 | #Constraints: 39666
1036.79/1039.55 c #Conflicts: 352000 | #Constraints: 40666
1036.79/1039.55 c #Conflicts: 353000 | #Constraints: 41666
1036.79/1039.55 c #Conflicts: 354000 | #Constraints: 42666
1036.79/1039.55 c #Conflicts: 355000 | #Constraints: 43666
1036.79/1039.55 c #Conflicts: 356000 | #Constraints: 44666
1036.79/1039.55 c #Conflicts: 357000 | #Constraints: 45666
1036.79/1039.55 c #Conflicts: 358000 | #Constraints: 46666
1036.79/1039.55 c #Conflicts: 359000 | #Constraints: 47666
1036.79/1039.55 c #Conflicts: 360000 | #Constraints: 48666
1036.79/1039.55 c #Conflicts: 361000 | #Constraints: 49666
1036.79/1039.55 c #Conflicts: 362000 | #Constraints: 50666
1036.79/1039.55 c #Conflicts: 363000 | #Constraints: 51666
1036.79/1039.55 c #Conflicts: 364000 | #Constraints: 52666
1036.79/1039.55 c INPROCESSING
1036.79/1039.55 c GARBAGE COLLECT
1036.79/1039.55 c #Conflicts: 365000 | #Constraints: 32004
1036.79/1039.55 c #Conflicts: 366000 | #Constraints: 33004
1036.79/1039.55 c #Conflicts: 367000 | #Constraints: 34004
1036.79/1039.55 c #Conflicts: 368000 | #Constraints: 35004
1036.79/1039.55 c #Conflicts: 369000 | #Constraints: 36004
1036.79/1039.55 c #Conflicts: 370000 | #Constraints: 37004
1036.79/1039.55 c #Conflicts: 371000 | #Constraints: 38004
1036.79/1039.55 c #Conflicts: 372000 | #Constraints: 39004
1036.79/1039.55 c #Conflicts: 373000 | #Constraints: 40004
1036.79/1039.55 c #Conflicts: 374000 | #Constraints: 41004
1036.79/1039.55 c #Conflicts: 375000 | #Constraints: 42004
1036.79/1039.55 c #Conflicts: 376000 | #Constraints: 43004
1036.79/1039.55 c #Conflicts: 377000 | #Constraints: 44004
1036.79/1039.55 c #Conflicts: 378000 | #Constraints: 45004
1036.79/1039.55 c #Conflicts: 379000 | #Constraints: 46004
1036.79/1039.55 c INPROCESSING
1036.79/1039.55 c GARBAGE COLLECT
1036.79/1039.55 c rational objective 0
1329.12/1332.57 c #Conflicts: 380000 | #Constraints: 29521
1329.12/1332.57 c #Conflicts: 381000 | #Constraints: 30521
1329.12/1332.57 c #Conflicts: 382000 | #Constraints: 31521
1329.12/1332.57 c #Conflicts: 383000 | #Constraints: 32521
1329.12/1332.57 c #Conflicts: 384000 | #Constraints: 33521
1329.12/1332.57 c #Conflicts: 385000 | #Constraints: 34521
1329.12/1332.57 c #Conflicts: 386000 | #Constraints: 35521
1329.12/1332.57 c #Conflicts: 387000 | #Constraints: 36521
1329.12/1332.57 c #Conflicts: 388000 | #Constraints: 37521
1329.12/1332.57 c #Conflicts: 389000 | #Constraints: 38521
1329.12/1332.57 c #Conflicts: 390000 | #Constraints: 39521
1329.12/1332.57 c #Conflicts: 391000 | #Constraints: 40521
1329.12/1332.57 c #Conflicts: 392000 | #Constraints: 41521
1329.12/1332.57 c #Conflicts: 393000 | #Constraints: 42521
1329.12/1332.57 c #Conflicts: 394000 | #Constraints: 43521
1329.12/1332.57 c #Conflicts: 395000 | #Constraints: 44521
1329.12/1332.57 c #Conflicts: 396000 | #Constraints: 45521
1329.12/1332.57 c #Conflicts: 397000 | #Constraints: 46521
1329.12/1332.57 c #Conflicts: 398000 | #Constraints: 47521
1329.12/1332.57 c #Conflicts: 399000 | #Constraints: 48521
1329.12/1332.57 c #Conflicts: 400000 | #Constraints: 49521
1329.12/1332.57 c #Conflicts: 401000 | #Constraints: 50521
1329.12/1332.57 c #Conflicts: 402000 | #Constraints: 51521
1329.12/1332.57 c #Conflicts: 403000 | #Constraints: 52521
1329.12/1332.57 c #Conflicts: 404000 | #Constraints: 53521
1329.12/1332.57 c #Conflicts: 405000 | #Constraints: 54521
1329.12/1332.57 c #Conflicts: 406000 | #Constraints: 55521
1329.12/1332.57 c #Conflicts: 407000 | #Constraints: 56521
1329.12/1332.57 c #Conflicts: 408000 | #Constraints: 57521
1329.12/1332.57 c #Conflicts: 409000 | #Constraints: 58521
1329.12/1332.57 c #Conflicts: 410000 | #Constraints: 59521
1329.12/1332.57 c #Conflicts: 411000 | #Constraints: 60521
1329.12/1332.57 c #Conflicts: 412000 | #Constraints: 61521
1329.12/1332.57 c #Conflicts: 413000 | #Constraints: 62521
1329.12/1332.57 c #Conflicts: 414000 | #Constraints: 63521
1329.12/1332.57 c #Conflicts: 415000 | #Constraints: 64521
1329.12/1332.57 c #Conflicts: 416000 | #Constraints: 65521
1329.12/1332.57 c #Conflicts: 417000 | #Constraints: 66521
1329.12/1332.57 c #Conflicts: 418000 | #Constraints: 67521
1329.12/1332.57 c #Conflicts: 419000 | #Constraints: 68521
1329.12/1332.57 c #Conflicts: 420000 | #Constraints: 69521
1329.12/1332.57 c #Conflicts: 421000 | #Constraints: 70521
1329.12/1332.57 c #Conflicts: 422000 | #Constraints: 71521
1329.12/1332.57 c #Conflicts: 423000 | #Constraints: 72521
1329.12/1332.57 c #Conflicts: 424000 | #Constraints: 73521
1329.12/1332.57 c #Conflicts: 425000 | #Constraints: 74521
1329.12/1332.57 c INPROCESSING
1329.12/1332.57 c GARBAGE COLLECT
1329.12/1332.57 c #Conflicts: 426000 | #Constraints: 43372
1329.12/1332.57 c #Conflicts: 427000 | #Constraints: 44372
1329.12/1332.57 c #Conflicts: 428000 | #Constraints: 45372
1329.12/1332.57 c #Conflicts: 429000 | #Constraints: 46372
1329.12/1332.57 c #Conflicts: 430000 | #Constraints: 47372
1329.12/1332.57 c #Conflicts: 431000 | #Constraints: 48372
1329.12/1332.57 c #Conflicts: 432000 | #Constraints: 49372
1329.12/1332.57 c #Conflicts: 433000 | #Constraints: 50372
1329.12/1332.57 c #Conflicts: 434000 | #Constraints: 51372
1329.12/1332.57 c #Conflicts: 435000 | #Constraints: 52372
1329.12/1332.57 c #Conflicts: 436000 | #Constraints: 53372
1329.12/1332.57 c #Conflicts: 437000 | #Constraints: 54372
1329.12/1332.57 c #Conflicts: 438000 | #Constraints: 55372
1329.12/1332.57 c #Conflicts: 439000 | #Constraints: 56372
1329.12/1332.57 c #Conflicts: 440000 | #Constraints: 57372
1329.12/1332.57 c #Conflicts: 441000 | #Constraints: 58372
1329.12/1332.57 c INPROCESSING
1329.12/1332.57 c GARBAGE COLLECT
1329.12/1332.57 c #Conflicts: 442000 | #Constraints: 35288
1329.12/1332.57 c #Conflicts: 443000 | #Constraints: 36288
1329.12/1332.57 c #Conflicts: 444000 | #Constraints: 37288
1329.12/1332.57 c #Conflicts: 445000 | #Constraints: 38288
1329.12/1332.57 c #Conflicts: 446000 | #Constraints: 39288
1329.12/1332.57 c #Conflicts: 447000 | #Constraints: 40288
1329.12/1332.57 c #Conflicts: 448000 | #Constraints: 41288
1329.12/1332.57 c #Conflicts: 449000 | #Constraints: 42288
1329.12/1332.57 c #Conflicts: 450000 | #Constraints: 43288
1329.12/1332.57 c #Conflicts: 451000 | #Constraints: 44288
1329.12/1332.57 c #Conflicts: 452000 | #Constraints: 45288
1329.12/1332.57 c #Conflicts: 453000 | #Constraints: 46288
1329.12/1332.57 c #Conflicts: 454000 | #Constraints: 47288
1329.12/1332.57 c #Conflicts: 455000 | #Constraints: 48288
1329.12/1332.57 c #Conflicts: 456000 | #Constraints: 49288
1329.12/1332.57 c #Conflicts: 457000 | #Constraints: 50288
1642.90/1647.07 c INPROCESSING
1642.90/1647.07 c GARBAGE COLLECT
1642.90/1647.07 c #Conflicts: 458000 | #Constraints: 32429
1642.90/1647.07 c #Conflicts: 459000 | #Constraints: 33429
1642.90/1647.07 c #Conflicts: 460000 | #Constraints: 34429
1642.90/1647.07 c #Conflicts: 461000 | #Constraints: 35429
1642.90/1647.07 c #Conflicts: 462000 | #Constraints: 36429
1642.90/1647.07 c #Conflicts: 463000 | #Constraints: 37429
1642.90/1647.07 c #Conflicts: 464000 | #Constraints: 38429
1642.90/1647.07 c #Conflicts: 465000 | #Constraints: 39429
1642.90/1647.07 c #Conflicts: 466000 | #Constraints: 40429
1642.90/1647.07 c #Conflicts: 467000 | #Constraints: 41429
1642.90/1647.07 c #Conflicts: 468000 | #Constraints: 42429
1642.90/1647.07 c #Conflicts: 469000 | #Constraints: 43429
1642.90/1647.07 c #Conflicts: 470000 | #Constraints: 44429
1642.90/1647.07 c #Conflicts: 471000 | #Constraints: 45429
1642.90/1647.07 c #Conflicts: 472000 | #Constraints: 46429
1642.90/1647.07 c #Conflicts: 473000 | #Constraints: 47429
1642.90/1647.07 c #Conflicts: 474000 | #Constraints: 48429
1642.90/1647.07 c #Conflicts: 475000 | #Constraints: 49429
1642.90/1647.07 c #Conflicts: 476000 | #Constraints: 50429
1642.90/1647.07 c #Conflicts: 477000 | #Constraints: 51429
1642.90/1647.07 c #Conflicts: 478000 | #Constraints: 52429
1642.90/1647.07 c #Conflicts: 479000 | #Constraints: 53429
1642.90/1647.07 c #Conflicts: 480000 | #Constraints: 54429
1642.90/1647.07 c #Conflicts: 481000 | #Constraints: 55429
1642.90/1647.07 c #Conflicts: 482000 | #Constraints: 56429
1642.90/1647.07 c #Conflicts: 483000 | #Constraints: 57429
1642.90/1647.07 c #Conflicts: 484000 | #Constraints: 58429
1642.90/1647.07 c #Conflicts: 485000 | #Constraints: 59429
1642.90/1647.07 c #Conflicts: 486000 | #Constraints: 60429
1642.90/1647.07 c #Conflicts: 487000 | #Constraints: 61429
1642.90/1647.07 c #Conflicts: 488000 | #Constraints: 62429
1642.90/1647.07 c #Conflicts: 489000 | #Constraints: 63429
1642.90/1647.07 c #Conflicts: 490000 | #Constraints: 64429
1642.90/1647.07 c #Conflicts: 491000 | #Constraints: 65429
1642.90/1647.07 c #Conflicts: 492000 | #Constraints: 66429
1642.90/1647.07 c #Conflicts: 493000 | #Constraints: 67429
1642.90/1647.07 c #Conflicts: 494000 | #Constraints: 68429
1642.90/1647.07 c #Conflicts: 495000 | #Constraints: 69429
1642.90/1647.07 c #Conflicts: 496000 | #Constraints: 70429
1642.90/1647.07 c #Conflicts: 497000 | #Constraints: 71429
1642.90/1647.07 c #Conflicts: 498000 | #Constraints: 72429
1642.90/1647.07 c #Conflicts: 499000 | #Constraints: 73429
1642.90/1647.07 c #Conflicts: 500000 | #Constraints: 74429
1642.90/1647.07 c #Conflicts: 501000 | #Constraints: 75429
1642.90/1647.07 c #Conflicts: 502000 | #Constraints: 76429
1642.90/1647.07 c #Conflicts: 503000 | #Constraints: 77429
1642.90/1647.07 c #Conflicts: 504000 | #Constraints: 78429
1642.90/1647.07 c #Conflicts: 505000 | #Constraints: 79429
1642.90/1647.07 c #Conflicts: 506000 | #Constraints: 80429
1642.90/1647.07 c INPROCESSING
1642.90/1647.07 c GARBAGE COLLECT
1642.90/1647.07 c rational objective 0
1857.79/1862.49 c #Conflicts: 507000 | #Constraints: 45874
1857.79/1862.49 c #Conflicts: 508000 | #Constraints: 46874
1857.79/1862.49 c #Conflicts: 509000 | #Constraints: 47874
1857.79/1862.49 c #Conflicts: 510000 | #Constraints: 48874
1857.79/1862.49 c #Conflicts: 511000 | #Constraints: 49874
1857.79/1862.49 c #Conflicts: 512000 | #Constraints: 50874
1857.79/1862.49 c #Conflicts: 513000 | #Constraints: 51875
1857.79/1862.49 c #Conflicts: 514000 | #Constraints: 52875
1857.79/1862.49 c #Conflicts: 515000 | #Constraints: 53875
1857.79/1862.49 c #Conflicts: 516000 | #Constraints: 54875
1857.79/1862.49 c #Conflicts: 517000 | #Constraints: 55875
1857.79/1862.49 c #Conflicts: 518000 | #Constraints: 56875
1857.79/1862.49 c #Conflicts: 519000 | #Constraints: 57875
1857.79/1862.49 c #Conflicts: 520000 | #Constraints: 58875
1857.79/1862.49 c #Conflicts: 521000 | #Constraints: 59875
1857.79/1862.49 c #Conflicts: 522000 | #Constraints: 60875
1857.79/1862.49 c #Conflicts: 523000 | #Constraints: 61875
1857.79/1862.49 c #Conflicts: 524000 | #Constraints: 62875
1857.79/1862.49 c INPROCESSING
1857.79/1862.49 c GARBAGE COLLECT
1857.79/1862.49 c #Conflicts: 525000 | #Constraints: 37389
1857.79/1862.49 c #Conflicts: 526000 | #Constraints: 38389
1857.79/1862.49 c #Conflicts: 527000 | #Constraints: 39389
1857.79/1862.49 c #Conflicts: 528000 | #Constraints: 40389
1857.79/1862.49 c #Conflicts: 529000 | #Constraints: 41389
1857.79/1862.49 c #Conflicts: 530000 | #Constraints: 42389
1857.79/1862.49 c #Conflicts: 531000 | #Constraints: 43389
1857.79/1862.49 c #Conflicts: 532000 | #Constraints: 44389
1857.79/1862.49 c #Conflicts: 533000 | #Constraints: 45389
1857.79/1862.49 c #Conflicts: 534000 | #Constraints: 46389
1857.79/1862.49 c #Conflicts: 535000 | #Constraints: 47389
1857.79/1862.49 c #Conflicts: 536000 | #Constraints: 48389
1857.79/1862.49 c #Conflicts: 537000 | #Constraints: 49389
1857.79/1862.49 c #Conflicts: 538000 | #Constraints: 50389
1857.79/1862.49 c #Conflicts: 539000 | #Constraints: 51389
1857.79/1862.49 c #Conflicts: 540000 | #Constraints: 52389
1857.79/1862.49 c #Conflicts: 541000 | #Constraints: 53389
1857.79/1862.49 c #Conflicts: 542000 | #Constraints: 54389
1857.79/1862.49 c INPROCESSING
1857.79/1862.49 c GARBAGE COLLECT
1857.79/1862.49 c #Conflicts: 543000 | #Constraints: 34997
1857.79/1862.49 c #Conflicts: 544000 | #Constraints: 35997
1857.79/1862.49 c #Conflicts: 545000 | #Constraints: 36997
1857.79/1862.49 c #Conflicts: 546000 | #Constraints: 37997
1857.79/1862.49 c #Conflicts: 547000 | #Constraints: 38997
1857.79/1862.49 c #Conflicts: 548000 | #Constraints: 39997
1857.79/1862.49 c #Conflicts: 549000 | #Constraints: 40997
1857.79/1862.49 c #Conflicts: 550000 | #Constraints: 41997
1857.79/1862.49 c #Conflicts: 551000 | #Constraints: 42997
1857.79/1862.49 c #Conflicts: 552000 | #Constraints: 43997
1857.79/1862.49 c #Conflicts: 553000 | #Constraints: 44997
1857.79/1862.49 c #Conflicts: 554000 | #Constraints: 45997
1857.79/1862.49 c #Conflicts: 555000 | #Constraints: 46997
1857.79/1862.49 c #Conflicts: 556000 | #Constraints: 47997
1857.79/1862.49 c #Conflicts: 557000 | #Constraints: 48997
1857.79/1862.49 c #Conflicts: 558000 | #Constraints: 49997
1857.79/1862.49 c #Conflicts: 559000 | #Constraints: 50997
1857.79/1862.49 c #Conflicts: 560000 | #Constraints: 51997
1857.79/1862.49 c #Conflicts: 561000 | #Constraints: 52997
1857.79/1862.49 c #Conflicts: 562000 | #Constraints: 53997
1857.79/1862.49 c #Conflicts: 563000 | #Constraints: 54997
1857.79/1862.49 c #Conflicts: 564000 | #Constraints: 55997
1857.79/1862.49 c #Conflicts: 565000 | #Constraints: 56997
1857.79/1862.49 c #Conflicts: 566000 | #Constraints: 57997
1857.79/1862.49 c #Conflicts: 567000 | #Constraints: 58997
1857.79/1862.49 c #Conflicts: 568000 | #Constraints: 59997
1857.79/1862.49 c #Conflicts: 569000 | #Constraints: 60997
1857.79/1862.49 c #Conflicts: 570000 | #Constraints: 61997
1857.79/1862.49 c #Conflicts: 571000 | #Constraints: 62997
1857.79/1862.49 c #Conflicts: 572000 | #Constraints: 63997
1857.79/1862.49 c #Conflicts: 573000 | #Constraints: 64997
1857.79/1862.49 c #Conflicts: 574000 | #Constraints: 65997
1857.79/1862.49 c #Conflicts: 575000 | #Constraints: 66997
1857.79/1862.49 c #Conflicts: 576000 | #Constraints: 67997
1857.79/1862.49 c #Conflicts: 577000 | #Constraints: 68997
1857.79/1862.49 c #Conflicts: 578000 | #Constraints: 69997
1857.79/1862.49 c #Conflicts: 579000 | #Constraints: 70997
1857.79/1862.49 c #Conflicts: 580000 | #Constraints: 71997
1857.79/1862.49 c #Conflicts: 581000 | #Constraints: 72997
1857.79/1862.49 c #Conflicts: 582000 | #Constraints: 73997
1857.79/1862.49 c #Conflicts: 583000 | #Constraints: 74997
1857.79/1862.49 c #Conflicts: 584000 | #Constraints: 75997
1924.33/1929.18 c #Conflicts: 585000 | #Constraints: 76997
1924.33/1929.18 c #Conflicts: 586000 | #Constraints: 77997
1924.33/1929.18 c #Conflicts: 587000 | #Constraints: 78997
1924.33/1929.18 c #Conflicts: 588000 | #Constraints: 79997
1924.33/1929.18 c #Conflicts: 589000 | #Constraints: 80997
1924.33/1929.18 c #Conflicts: 590000 | #Constraints: 81997
1924.33/1929.18 c #Conflicts: 591000 | #Constraints: 82997
1924.33/1929.18 c #Conflicts: 592000 | #Constraints: 83997
1924.33/1929.18 c #Conflicts: 593000 | #Constraints: 84997
1924.33/1929.18 c #Conflicts: 594000 | #Constraints: 85997
1924.33/1929.18 c #Conflicts: 595000 | #Constraints: 86997
1924.33/1929.18 c #Conflicts: 596000 | #Constraints: 87997
1924.33/1929.18 c INPROCESSING
1924.33/1929.18 c GARBAGE COLLECT
1924.33/1929.18 c rational objective 0
1939.20/1944.09 c #Conflicts: 597000 | #Constraints: 50128
1939.20/1944.09 c #Conflicts: 598000 | #Constraints: 51128
1939.20/1944.09 c #Conflicts: 599000 | #Constraints: 52128
1939.20/1944.09 c #Conflicts: 600000 | #Constraints: 53128
1939.20/1944.09 c #Conflicts: 601000 | #Constraints: 54128
1939.20/1944.09 c #Conflicts: 602000 | #Constraints: 55128
1939.20/1944.09 c #Conflicts: 603000 | #Constraints: 56128
1939.20/1944.09 c #Conflicts: 604000 | #Constraints: 57128
1939.20/1944.09 c #Conflicts: 605000 | #Constraints: 58128
1939.20/1944.09 c #Conflicts: 606000 | #Constraints: 59128
1939.20/1944.09 c #Conflicts: 607000 | #Constraints: 60128
1939.20/1944.09 c #Conflicts: 608000 | #Constraints: 61128
1939.20/1944.09 c #Conflicts: 609000 | #Constraints: 62128
1939.20/1944.09 c #Conflicts: 610000 | #Constraints: 63128
1939.20/1944.09 c #Conflicts: 611000 | #Constraints: 64128
1939.20/1944.09 c #Conflicts: 612000 | #Constraints: 65128
1939.20/1944.09 c #Conflicts: 613000 | #Constraints: 66128
1939.20/1944.09 c #Conflicts: 614000 | #Constraints: 67128
1939.20/1944.09 c #Conflicts: 615000 | #Constraints: 68128
1939.20/1944.09 c INPROCESSING
1939.20/1944.09 c GARBAGE COLLECT
1939.20/1944.09 c rational objective 0
1987.78/1992.74 c #Conflicts: 616000 | #Constraints: 40221
1987.78/1992.74 c #Conflicts: 617000 | #Constraints: 41221
1987.78/1992.74 c #Conflicts: 618000 | #Constraints: 42221
1987.78/1992.74 c #Conflicts: 619000 | #Constraints: 43221
1987.78/1992.74 c #Conflicts: 620000 | #Constraints: 44221
1987.78/1992.74 c #Conflicts: 621000 | #Constraints: 45221
1987.78/1992.74 c #Conflicts: 622000 | #Constraints: 46221
1987.78/1992.74 c #Conflicts: 623000 | #Constraints: 47221
1987.78/1992.74 c #Conflicts: 624000 | #Constraints: 48221
1987.78/1992.74 c #Conflicts: 625000 | #Constraints: 49221
1987.78/1992.74 c #Conflicts: 626000 | #Constraints: 50221
1987.78/1992.74 c #Conflicts: 627000 | #Constraints: 51221
1987.78/1992.74 c #Conflicts: 628000 | #Constraints: 52221
1987.78/1992.74 c #Conflicts: 629000 | #Constraints: 53221
1987.78/1992.74 c #Conflicts: 630000 | #Constraints: 54221
1987.78/1992.74 c #Conflicts: 631000 | #Constraints: 55221
1987.78/1992.74 c #Conflicts: 632000 | #Constraints: 56221
1987.78/1992.74 c #Conflicts: 633000 | #Constraints: 57221
1987.78/1992.74 c #Conflicts: 634000 | #Constraints: 58221
1987.78/1992.74 c INPROCESSING
1987.78/1992.74 c GARBAGE COLLECT
1987.78/1992.74 c rational objective 0
2282.98/2288.66 c #Conflicts: 635000 | #Constraints: 38095
2282.98/2288.66 c #Conflicts: 636000 | #Constraints: 39095
2282.98/2288.66 c #Conflicts: 637000 | #Constraints: 40095
2282.98/2288.66 c #Conflicts: 638000 | #Constraints: 41095
2282.98/2288.66 c #Conflicts: 639000 | #Constraints: 42095
2282.98/2288.66 c #Conflicts: 640000 | #Constraints: 43095
2282.98/2288.66 c #Conflicts: 641000 | #Constraints: 44095
2282.98/2288.66 c #Conflicts: 642000 | #Constraints: 45095
2282.98/2288.66 c #Conflicts: 643000 | #Constraints: 46095
2282.98/2288.66 c #Conflicts: 644000 | #Constraints: 47095
2282.98/2288.66 c #Conflicts: 645000 | #Constraints: 48095
2282.98/2288.66 c #Conflicts: 646000 | #Constraints: 49095
2282.98/2288.66 c #Conflicts: 647000 | #Constraints: 50095
2282.98/2288.66 c #Conflicts: 648000 | #Constraints: 51095
2282.98/2288.66 c #Conflicts: 649000 | #Constraints: 52095
2282.98/2288.66 c #Conflicts: 650000 | #Constraints: 53095
2282.98/2288.66 c #Conflicts: 651000 | #Constraints: 54095
2282.98/2288.66 c #Conflicts: 652000 | #Constraints: 55095
2282.98/2288.66 c #Conflicts: 653000 | #Constraints: 56095
2282.98/2288.66 c #Conflicts: 654000 | #Constraints: 57095
2282.98/2288.66 c #Conflicts: 655000 | #Constraints: 58095
2282.98/2288.66 c #Conflicts: 656000 | #Constraints: 59095
2282.98/2288.66 c #Conflicts: 657000 | #Constraints: 60095
2282.98/2288.66 c #Conflicts: 658000 | #Constraints: 61095
2282.98/2288.66 c #Conflicts: 659000 | #Constraints: 62095
2282.98/2288.66 c #Conflicts: 660000 | #Constraints: 63095
2282.98/2288.66 c #Conflicts: 661000 | #Constraints: 64095
2282.98/2288.66 c #Conflicts: 662000 | #Constraints: 65095
2282.98/2288.66 c #Conflicts: 663000 | #Constraints: 66095
2282.98/2288.66 c #Conflicts: 664000 | #Constraints: 67095
2282.98/2288.66 c #Conflicts: 665000 | #Constraints: 68095
2282.98/2288.66 c #Conflicts: 666000 | #Constraints: 69095
2282.98/2288.66 c #Conflicts: 667000 | #Constraints: 70095
2282.98/2288.66 c #Conflicts: 668000 | #Constraints: 71095
2282.98/2288.66 c #Conflicts: 669000 | #Constraints: 72095
2282.98/2288.66 c #Conflicts: 670000 | #Constraints: 73095
2282.98/2288.66 c #Conflicts: 671000 | #Constraints: 74095
2282.98/2288.66 c #Conflicts: 672000 | #Constraints: 75095
2282.98/2288.66 c #Conflicts: 673000 | #Constraints: 76095
2282.98/2288.66 c #Conflicts: 674000 | #Constraints: 77095
2282.98/2288.66 c #Conflicts: 675000 | #Constraints: 78095
2282.98/2288.66 c #Conflicts: 676000 | #Constraints: 79095
2282.98/2288.66 c #Conflicts: 677000 | #Constraints: 80095
2282.98/2288.66 c #Conflicts: 678000 | #Constraints: 81095
2282.98/2288.66 c #Conflicts: 679000 | #Constraints: 82095
2282.98/2288.66 c #Conflicts: 680000 | #Constraints: 83095
2282.98/2288.66 c #Conflicts: 681000 | #Constraints: 84095
2282.98/2288.66 c #Conflicts: 682000 | #Constraints: 85095
2282.98/2288.66 c #Conflicts: 683000 | #Constraints: 86095
2282.98/2288.66 c #Conflicts: 684000 | #Constraints: 87095
2282.98/2288.66 c #Conflicts: 685000 | #Constraints: 88095
2282.98/2288.66 c #Conflicts: 686000 | #Constraints: 89095
2282.98/2288.66 c #Conflicts: 687000 | #Constraints: 90095
2282.98/2288.66 c #Conflicts: 688000 | #Constraints: 91095
2282.98/2288.66 c #Conflicts: 689000 | #Constraints: 92095
2282.98/2288.66 c #Conflicts: 690000 | #Constraints: 93095
2282.98/2288.66 c #Conflicts: 691000 | #Constraints: 94095
2282.98/2288.66 c #Conflicts: 692000 | #Constraints: 95095
2282.98/2288.66 c INPROCESSING
2282.98/2288.66 c GARBAGE COLLECT
2282.98/2288.66 c rational objective 0
2354.72/2360.52 c #Conflicts: 693000 | #Constraints: 53515
2354.72/2360.52 c #Conflicts: 694000 | #Constraints: 54515
2354.72/2360.52 c #Conflicts: 695000 | #Constraints: 55515
2354.72/2360.52 c #Conflicts: 696000 | #Constraints: 56515
2354.72/2360.52 c #Conflicts: 697000 | #Constraints: 57515
2354.72/2360.52 c #Conflicts: 698000 | #Constraints: 58515
2354.72/2360.52 c #Conflicts: 699000 | #Constraints: 59515
2354.72/2360.52 c #Conflicts: 700000 | #Constraints: 60515
2354.72/2360.52 c #Conflicts: 701000 | #Constraints: 61515
2354.72/2360.52 c #Conflicts: 702000 | #Constraints: 62515
2354.72/2360.52 c #Conflicts: 703000 | #Constraints: 63515
2354.72/2360.52 c #Conflicts: 704000 | #Constraints: 64515
2354.72/2360.52 c #Conflicts: 705000 | #Constraints: 65515
2354.72/2360.52 c #Conflicts: 706000 | #Constraints: 66515
2354.72/2360.52 c #Conflicts: 707000 | #Constraints: 67515
2354.72/2360.52 c #Conflicts: 708000 | #Constraints: 68515
2354.72/2360.52 c #Conflicts: 709000 | #Constraints: 69515
2354.72/2360.52 c #Conflicts: 710000 | #Constraints: 70515
2354.72/2360.52 c #Conflicts: 711000 | #Constraints: 71515
2354.72/2360.52 c #Conflicts: 712000 | #Constraints: 72515
2354.72/2360.52 c INPROCESSING
2354.72/2360.52 c GARBAGE COLLECT
2354.72/2360.52 c rational objective 0
2664.31/2670.98 c #Conflicts: 713000 | #Constraints: 42037
2664.31/2670.98 c #Conflicts: 714000 | #Constraints: 43037
2664.31/2670.98 c #Conflicts: 715000 | #Constraints: 44037
2664.31/2670.98 c #Conflicts: 716000 | #Constraints: 45037
2664.31/2670.98 c #Conflicts: 717000 | #Constraints: 46037
2664.31/2670.98 c #Conflicts: 718000 | #Constraints: 47037
2664.31/2670.98 c #Conflicts: 719000 | #Constraints: 48037
2664.31/2670.98 c #Conflicts: 720000 | #Constraints: 49037
2664.31/2670.98 c #Conflicts: 721000 | #Constraints: 50037
2664.31/2670.98 c #Conflicts: 722000 | #Constraints: 51037
2664.31/2670.98 c #Conflicts: 723000 | #Constraints: 52037
2664.31/2670.98 c #Conflicts: 724000 | #Constraints: 53037
2664.31/2670.98 c #Conflicts: 725000 | #Constraints: 54037
2664.31/2670.98 c #Conflicts: 726000 | #Constraints: 55037
2664.31/2670.98 c #Conflicts: 727000 | #Constraints: 56037
2664.31/2670.98 c #Conflicts: 728000 | #Constraints: 57037
2664.31/2670.98 c #Conflicts: 729000 | #Constraints: 58037
2664.31/2670.98 c #Conflicts: 730000 | #Constraints: 59037
2664.31/2670.98 c #Conflicts: 731000 | #Constraints: 60037
2664.31/2670.98 c #Conflicts: 732000 | #Constraints: 61037
2664.31/2670.98 c #Conflicts: 733000 | #Constraints: 62037
2664.31/2670.98 c #Conflicts: 734000 | #Constraints: 63037
2664.31/2670.98 c #Conflicts: 735000 | #Constraints: 64037
2664.31/2670.98 c #Conflicts: 736000 | #Constraints: 65037
2664.31/2670.98 c #Conflicts: 737000 | #Constraints: 66037
2664.31/2670.98 c #Conflicts: 738000 | #Constraints: 67037
2664.31/2670.98 c #Conflicts: 739000 | #Constraints: 68037
2664.31/2670.98 c #Conflicts: 740000 | #Constraints: 69037
2664.31/2670.98 c #Conflicts: 741000 | #Constraints: 70037
2664.31/2670.98 c #Conflicts: 742000 | #Constraints: 71037
2664.31/2670.98 c #Conflicts: 743000 | #Constraints: 72037
2664.31/2670.98 c #Conflicts: 744000 | #Constraints: 73037
2664.31/2670.98 c #Conflicts: 745000 | #Constraints: 74037
2664.31/2670.98 c #Conflicts: 746000 | #Constraints: 75037
2664.31/2670.98 c #Conflicts: 747000 | #Constraints: 76037
2664.31/2670.98 c #Conflicts: 748000 | #Constraints: 77037
2664.31/2670.98 c #Conflicts: 749000 | #Constraints: 78037
2664.31/2670.98 c #Conflicts: 750000 | #Constraints: 79037
2664.31/2670.98 c #Conflicts: 751000 | #Constraints: 80037
2664.31/2670.98 c #Conflicts: 752000 | #Constraints: 81037
2664.31/2670.98 c #Conflicts: 753000 | #Constraints: 82037
2664.31/2670.98 c #Conflicts: 754000 | #Constraints: 83037
2664.31/2670.98 c #Conflicts: 755000 | #Constraints: 84037
2664.31/2670.98 c #Conflicts: 756000 | #Constraints: 85037
2664.31/2670.98 c #Conflicts: 757000 | #Constraints: 86037
2664.31/2670.98 c #Conflicts: 758000 | #Constraints: 87037
2664.31/2670.98 c #Conflicts: 759000 | #Constraints: 88037
2664.31/2670.98 c #Conflicts: 760000 | #Constraints: 89037
2664.31/2670.98 c #Conflicts: 761000 | #Constraints: 90037
2664.31/2670.98 c #Conflicts: 762000 | #Constraints: 91037
2664.31/2670.98 c #Conflicts: 763000 | #Constraints: 92037
2664.31/2670.98 c #Conflicts: 764000 | #Constraints: 93037
2664.31/2670.98 c #Conflicts: 765000 | #Constraints: 94037
2664.31/2670.98 c #Conflicts: 766000 | #Constraints: 95037
2664.31/2670.98 c #Conflicts: 767000 | #Constraints: 96037
2664.31/2670.98 c #Conflicts: 768000 | #Constraints: 97037
2664.31/2670.98 c #Conflicts: 769000 | #Constraints: 98037
2664.31/2670.98 c #Conflicts: 770000 | #Constraints: 99037
2664.31/2670.98 c #Conflicts: 771000 | #Constraints: 100037
2664.31/2670.98 c #Conflicts: 772000 | #Constraints: 101037
2664.31/2670.98 c #Conflicts: 773000 | #Constraints: 102037
2664.31/2670.98 c #Conflicts: 774000 | #Constraints: 103037
2664.31/2670.98 c INPROCESSING
2664.31/2670.98 c GARBAGE COLLECT
2664.31/2670.98 c rational objective 0
2706.09/2712.86 c #Conflicts: 775000 | #Constraints: 57690
2706.09/2712.86 c #Conflicts: 776000 | #Constraints: 58690
2706.09/2712.86 c #Conflicts: 777000 | #Constraints: 59690
2706.09/2712.86 c #Conflicts: 778000 | #Constraints: 60690
2706.09/2712.86 c #Conflicts: 779000 | #Constraints: 61690
2706.09/2712.86 c #Conflicts: 780000 | #Constraints: 62690
2706.09/2712.86 c #Conflicts: 781000 | #Constraints: 63690
2706.09/2712.86 c #Conflicts: 782000 | #Constraints: 64690
2706.09/2712.86 c #Conflicts: 783000 | #Constraints: 65690
2706.09/2712.86 c #Conflicts: 784000 | #Constraints: 66690
2706.09/2712.86 c #Conflicts: 785000 | #Constraints: 67690
2706.09/2712.86 c #Conflicts: 786000 | #Constraints: 68690
2706.09/2712.86 c #Conflicts: 787000 | #Constraints: 69690
2706.09/2712.86 c #Conflicts: 788000 | #Constraints: 70690
2706.09/2712.86 c #Conflicts: 789000 | #Constraints: 71690
2706.09/2712.86 c #Conflicts: 790000 | #Constraints: 72690
2706.09/2712.86 c #Conflicts: 791000 | #Constraints: 73690
2706.09/2712.86 c #Conflicts: 792000 | #Constraints: 74690
2706.09/2712.86 c #Conflicts: 793000 | #Constraints: 75690
2706.09/2712.86 c #Conflicts: 794000 | #Constraints: 76690
2706.09/2712.86 c #Conflicts: 795000 | #Constraints: 77690
2706.09/2712.86 c INPROCESSING
2706.09/2712.86 c GARBAGE COLLECT
2706.09/2712.86 c rational objective 0
3041.84/3049.51 c #Conflicts: 796000 | #Constraints: 44646
3041.84/3049.51 c #Conflicts: 797000 | #Constraints: 45646
3041.84/3049.51 c #Conflicts: 798000 | #Constraints: 46646
3041.84/3049.51 c #Conflicts: 799000 | #Constraints: 47646
3041.84/3049.51 c #Conflicts: 800000 | #Constraints: 48646
3041.84/3049.51 c #Conflicts: 801000 | #Constraints: 49646
3041.84/3049.51 c #Conflicts: 802000 | #Constraints: 50646
3041.84/3049.51 c #Conflicts: 803000 | #Constraints: 51646
3041.84/3049.51 c #Conflicts: 804000 | #Constraints: 52646
3041.84/3049.51 c #Conflicts: 805000 | #Constraints: 53646
3041.84/3049.51 c #Conflicts: 806000 | #Constraints: 54646
3041.84/3049.51 c #Conflicts: 807000 | #Constraints: 55646
3041.84/3049.51 c #Conflicts: 808000 | #Constraints: 56646
3041.84/3049.51 c #Conflicts: 809000 | #Constraints: 57646
3041.84/3049.51 c #Conflicts: 810000 | #Constraints: 58646
3041.84/3049.51 c #Conflicts: 811000 | #Constraints: 59646
3041.84/3049.51 c #Conflicts: 812000 | #Constraints: 60646
3041.84/3049.51 c #Conflicts: 813000 | #Constraints: 61646
3041.84/3049.51 c #Conflicts: 814000 | #Constraints: 62646
3041.84/3049.51 c #Conflicts: 815000 | #Constraints: 63646
3041.84/3049.51 c #Conflicts: 816000 | #Constraints: 64646
3041.84/3049.51 c #Conflicts: 817000 | #Constraints: 65646
3041.84/3049.51 c #Conflicts: 818000 | #Constraints: 66646
3041.84/3049.51 c #Conflicts: 819000 | #Constraints: 67646
3041.84/3049.51 c #Conflicts: 820000 | #Constraints: 68646
3041.84/3049.51 c #Conflicts: 821000 | #Constraints: 69646
3041.84/3049.51 c #Conflicts: 822000 | #Constraints: 70646
3041.84/3049.51 c #Conflicts: 823000 | #Constraints: 71646
3041.84/3049.51 c #Conflicts: 824000 | #Constraints: 72646
3041.84/3049.51 c #Conflicts: 825000 | #Constraints: 73646
3041.84/3049.51 c #Conflicts: 826000 | #Constraints: 74646
3041.84/3049.51 c #Conflicts: 827000 | #Constraints: 75646
3041.84/3049.51 c #Conflicts: 828000 | #Constraints: 76646
3041.84/3049.51 c #Conflicts: 829000 | #Constraints: 77646
3041.84/3049.51 c #Conflicts: 830000 | #Constraints: 78646
3041.84/3049.51 c #Conflicts: 831000 | #Constraints: 79646
3041.84/3049.51 c #Conflicts: 832000 | #Constraints: 80646
3041.84/3049.51 c #Conflicts: 833000 | #Constraints: 81646
3041.84/3049.51 c #Conflicts: 834000 | #Constraints: 82646
3041.84/3049.51 c #Conflicts: 835000 | #Constraints: 83646
3041.84/3049.51 c #Conflicts: 836000 | #Constraints: 84646
3041.84/3049.51 c #Conflicts: 837000 | #Constraints: 85646
3041.84/3049.51 c #Conflicts: 838000 | #Constraints: 86646
3041.84/3049.51 c #Conflicts: 839000 | #Constraints: 87646
3041.84/3049.51 c #Conflicts: 840000 | #Constraints: 88646
3041.84/3049.51 c #Conflicts: 841000 | #Constraints: 89646
3041.84/3049.51 c #Conflicts: 842000 | #Constraints: 90646
3041.84/3049.51 c #Conflicts: 843000 | #Constraints: 91646
3041.84/3049.51 c #Conflicts: 844000 | #Constraints: 92646
3041.84/3049.51 c #Conflicts: 845000 | #Constraints: 93646
3041.84/3049.51 c #Conflicts: 846000 | #Constraints: 94646
3041.84/3049.51 c #Conflicts: 847000 | #Constraints: 95646
3041.84/3049.51 c #Conflicts: 848000 | #Constraints: 96646
3041.84/3049.51 c #Conflicts: 849000 | #Constraints: 97646
3041.84/3049.51 c #Conflicts: 850000 | #Constraints: 98646
3041.84/3049.51 c #Conflicts: 851000 | #Constraints: 99646
3041.84/3049.51 c #Conflicts: 852000 | #Constraints: 100646
3041.84/3049.51 c #Conflicts: 853000 | #Constraints: 101646
3041.84/3049.51 c #Conflicts: 854000 | #Constraints: 102646
3041.84/3049.51 c #Conflicts: 855000 | #Constraints: 103646
3041.84/3049.51 c #Conflicts: 856000 | #Constraints: 104646
3041.84/3049.51 c #Conflicts: 857000 | #Constraints: 105646
3041.84/3049.51 c #Conflicts: 858000 | #Constraints: 106646
3041.84/3049.51 c #Conflicts: 859000 | #Constraints: 107646
3041.84/3049.51 c #Conflicts: 860000 | #Constraints: 108646
3041.84/3049.51 c INPROCESSING
3041.84/3049.51 c GARBAGE COLLECT
3041.84/3049.51 c rational objective 0
3095.89/3103.77 c #Conflicts: 861000 | #Constraints: 60440
3095.89/3103.77 c #Conflicts: 862000 | #Constraints: 61440
3095.89/3103.77 c #Conflicts: 863000 | #Constraints: 62440
3095.89/3103.77 c #Conflicts: 864000 | #Constraints: 63440
3095.89/3103.77 c #Conflicts: 865000 | #Constraints: 64440
3095.89/3103.77 c #Conflicts: 866000 | #Constraints: 65440
3095.89/3103.77 c #Conflicts: 867000 | #Constraints: 66440
3095.89/3103.77 c #Conflicts: 868000 | #Constraints: 67440
3095.89/3103.77 c #Conflicts: 869000 | #Constraints: 68440
3095.89/3103.77 c #Conflicts: 870000 | #Constraints: 69440
3095.89/3103.77 c #Conflicts: 871000 | #Constraints: 70440
3095.89/3103.77 c #Conflicts: 872000 | #Constraints: 71440
3095.89/3103.77 c #Conflicts: 873000 | #Constraints: 72440
3095.89/3103.77 c #Conflicts: 874000 | #Constraints: 73440
3095.89/3103.77 c #Conflicts: 875000 | #Constraints: 74440
3095.89/3103.77 c #Conflicts: 876000 | #Constraints: 75440
3095.89/3103.77 c #Conflicts: 877000 | #Constraints: 76440
3095.89/3103.77 c #Conflicts: 878000 | #Constraints: 77440
3095.89/3103.77 c #Conflicts: 879000 | #Constraints: 78440
3095.89/3103.77 c #Conflicts: 880000 | #Constraints: 79440
3095.89/3103.77 c #Conflicts: 881000 | #Constraints: 80440
3095.89/3103.77 c #Conflicts: 882000 | #Constraints: 81440
3095.89/3103.77 c #Conflicts: 883000 | #Constraints: 82440
3095.89/3103.77 c INPROCESSING
3095.89/3103.77 c GARBAGE COLLECT
3095.89/3103.77 c rational objective 0
3595.92/3605.12 c #Conflicts: 884000 | #Constraints: 47327
3595.92/3605.12 c #Conflicts: 885000 | #Constraints: 48327
3595.92/3605.12 c #Conflicts: 886000 | #Constraints: 49327
3595.92/3605.12 c #Conflicts: 887000 | #Constraints: 50327
3595.92/3605.12 c #Conflicts: 888000 | #Constraints: 51327
3595.92/3605.12 c #Conflicts: 889000 | #Constraints: 52327
3595.92/3605.12 c #Conflicts: 890000 | #Constraints: 53327
3595.92/3605.12 c #Conflicts: 891000 | #Constraints: 54327
3595.92/3605.12 c #Conflicts: 892000 | #Constraints: 55327
3595.92/3605.12 c #Conflicts: 893000 | #Constraints: 56327
3595.92/3605.12 c #Conflicts: 894000 | #Constraints: 57327
3595.92/3605.12 c #Conflicts: 895000 | #Constraints: 58327
3595.92/3605.12 c #Conflicts: 896000 | #Constraints: 59327
3595.92/3605.12 c #Conflicts: 897000 | #Constraints: 60327
3595.92/3605.12 c #Conflicts: 898000 | #Constraints: 61327
3595.92/3605.12 c #Conflicts: 899000 | #Constraints: 62327
3595.92/3605.12 c #Conflicts: 900000 | #Constraints: 63327
3595.92/3605.12 c #Conflicts: 901000 | #Constraints: 64327
3595.92/3605.12 c #Conflicts: 902000 | #Constraints: 65327
3595.92/3605.12 c #Conflicts: 903000 | #Constraints: 66327
3595.92/3605.12 c #Conflicts: 904000 | #Constraints: 67327
3595.92/3605.12 c #Conflicts: 905000 | #Constraints: 68327
3595.92/3605.12 c #Conflicts: 906000 | #Constraints: 69327
3595.92/3605.12 c #Conflicts: 907000 | #Constraints: 70327
3595.92/3605.12 c #Conflicts: 908000 | #Constraints: 71327
3595.92/3605.12 c #Conflicts: 909000 | #Constraints: 72327
3595.92/3605.12 c #Conflicts: 910000 | #Constraints: 73327
3595.92/3605.12 c #Conflicts: 911000 | #Constraints: 74327
3595.92/3605.12 c #Conflicts: 912000 | #Constraints: 75327
3595.92/3605.12 c #Conflicts: 913000 | #Constraints: 76327
3595.92/3605.12 c #Conflicts: 914000 | #Constraints: 77327
3595.92/3605.12 c #Conflicts: 915000 | #Constraints: 78327
3595.92/3605.12 c #Conflicts: 916000 | #Constraints: 79327
3595.92/3605.12 c #Conflicts: 917000 | #Constraints: 80327
3595.92/3605.12 c #Conflicts: 918000 | #Constraints: 81327
3595.92/3605.12 c #Conflicts: 919000 | #Constraints: 82327
3595.92/3605.12 c #Conflicts: 920000 | #Constraints: 83327
3595.92/3605.12 c #Conflicts: 921000 | #Constraints: 84327
3595.92/3605.12 c #Conflicts: 922000 | #Constraints: 85327
3595.92/3605.12 c #Conflicts: 923000 | #Constraints: 86327
3595.92/3605.12 c #Conflicts: 924000 | #Constraints: 87327
3595.92/3605.12 c #Conflicts: 925000 | #Constraints: 88327
3595.92/3605.12 c #Conflicts: 926000 | #Constraints: 89327
3595.92/3605.12 c #Conflicts: 927000 | #Constraints: 90327
3595.92/3605.12 c #Conflicts: 928000 | #Constraints: 91327
3595.92/3605.12 c #Conflicts: 929000 | #Constraints: 92327
3595.92/3605.12 c #Conflicts: 930000 | #Constraints: 93327
3595.92/3605.12 c #Conflicts: 931000 | #Constraints: 94327
3595.92/3605.12 c #Conflicts: 932000 | #Constraints: 95327
3595.92/3605.12 c #Conflicts: 933000 | #Constraints: 96327
3595.92/3605.12 c #Conflicts: 934000 | #Constraints: 97327
3595.92/3605.12 c #Conflicts: 935000 | #Constraints: 98327
3595.92/3605.12 c #Conflicts: 936000 | #Constraints: 99327
3595.92/3605.12 c #Conflicts: 937000 | #Constraints: 100327
3595.92/3605.12 c #Conflicts: 938000 | #Constraints: 101327
3595.92/3605.12 c #Conflicts: 939000 | #Constraints: 102327
3595.92/3605.12 c #Conflicts: 940000 | #Constraints: 103327
3595.92/3605.12 c #Conflicts: 941000 | #Constraints: 104327
3595.92/3605.12 c #Conflicts: 942000 | #Constraints: 105327
3595.92/3605.12 c #Conflicts: 943000 | #Constraints: 106327
3595.92/3605.12 c #Conflicts: 944000 | #Constraints: 107327
3595.92/3605.12 c #Conflicts: 945000 | #Constraints: 108327
3595.92/3605.12 c #Conflicts: 946000 | #Constraints: 109327
3595.92/3605.12 c #Conflicts: 947000 | #Constraints: 110327
3595.92/3605.12 c #Conflicts: 948000 | #Constraints: 111327
3595.92/3605.12 c #Conflicts: 949000 | #Constraints: 112327
3595.92/3605.12 c #Conflicts: 950000 | #Constraints: 113327
3595.92/3605.12 c INPROCESSING
3595.92/3605.12 c GARBAGE COLLECT
3595.92/3605.12 c rational objective 0
3600.00/3609.20 c #Conflicts: 951000 | #Constraints: 62572
3600.00/3609.20 c #Conflicts: 952000 | #Constraints: 63572
3600.00/3609.20 c #Conflicts: 953000 | #Constraints: 64572
3600.00/3609.20 c #Conflicts: 954000 | #Constraints: 65572
3600.00/3609.20 c #Conflicts: 955000 | #Constraints: 66572
3600.00/3609.20 c cpu time 3594.85 s
3600.00/3609.20 c deterministic time 136344466392 1.36e+11
3600.00/3609.20 c optimization time 3.96759 s
3600.00/3609.20 c total solve time 3590.85 s
3600.00/3609.20 c core-guided solve time 0 s
3600.00/3609.20 c propagation time 1785.42 s
3600.00/3609.20 c conflict analysis time 1765.94 s
3600.00/3609.20 c propagations 605746965
3600.00/3609.20 c resolve steps 210174159
3600.00/3609.20 c decisions 1528764
3600.00/3609.20 c conflicts 955810
3600.00/3609.20 c restarts 2044
3600.00/3609.20 c inprocessing phases 49
3600.00/3609.20 c garbage collections 49 ,( 100.00 )
3600.00/3609.20 c input clauses 6382 ,( 65.91 )
3600.00/3609.20 c input cardinalities 0 ,( 0.00 )
3600.00/3609.20 c input general constraints 3301 ,( 34.09 )
3600.00/3609.20 c input average constraint length 3.11
3600.00/3609.20 c input average constraint degree 1860415006660.95
3600.00/3609.20 c learned clauses 713849 ,( 74.69 )
3600.00/3609.20 c learned cardinalities 572 ,( 0.06 )
3600.00/3609.20 c learned general constraints 241389 ,( 25.25 )
3600.00/3609.20 c learned average constraint length 330.90
3600.00/3609.20 c learned average constraint degree 98956618.46
3600.00/3609.20 c watched CF 32, 64, 128, Arb: 51959 , 0 , 0 , 0
3600.00/3609.20 c counting CF 32, 64, 128, Arb: 192730 , 1 , 0 , 0
3600.00/3609.20 c watched constraints 51959 ,( 21.23 )
3600.00/3609.20 c counting constraints 192731 ,( 78.77 )
3600.00/3609.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 771113155 , 23704604 , 43080026422 ,( 75169321 , 43004857101 )
3600.00/3609.20 c gcd simplifications 7930
3600.00/3609.20 c detected cardinalities 497
3600.00/3609.20 c weakened non-implied lits 50076783
3600.00/3609.20 c weakened non-implying lits 154502
3600.00/3609.20 c original variables 5122
3600.00/3609.20 c clausal propagations 171561251
3600.00/3609.20 c cardinality propagations 1138842
3600.00/3609.20 c watched propagations 1045125
3600.00/3609.20 c counting propagations 431029472
3600.00/3609.20 c watch lookups 106411121810
3600.00/3609.20 c watch backjump lookups 0
3600.00/3609.20 c watch checks 3058717832
3600.00/3609.20 c propagation checks 24184675303
3600.00/3609.20 c constraint additions 1474262277
3600.00/3609.20 c trail pops 608226608
3600.00/3609.20 c formula constraints 9683
3600.00/3609.20 c learned constraints 955808
3600.00/3609.20 c bound constraints 0
3600.00/3609.20 c core-guided constraints 0
3600.00/3609.20 c encountered formula constraints 175575477
3600.00/3609.20 c encountered learned constraints 35529168
3600.00/3609.20 c encountered bound constraints 0
3600.00/3609.20 c encountered core-guided constraints 0
3600.00/3609.20 c LP total time 18.4352 s
3600.00/3609.20 c LP solve time 17.03 s
3600.00/3609.20 c LP constraints added 9683
3600.00/3609.20 c LP constraints removed 0
3600.00/3609.20 c LP pivots internal 98520
3600.00/3609.20 c LP pivots root 88312
3600.00/3609.20 c LP calls 103
3600.00/3609.20 c LP optimalities 98
3600.00/3609.20 c LP no pivot count 5
3600.00/3609.20 c LP infeasibilities 1
3600.00/3609.20 c LP valid Farkas constraints 1
3600.00/3609.20 c LP learned Farkas constraints 1
3600.00/3609.20 c LP basis resets 0
3600.00/3609.20 c LP cycling count 0
3600.00/3609.20 c LP singular count 0
3600.00/3609.20 c LP no primal count 0
3600.00/3609.20 c LP no farkas count 0
3600.00/3609.20 c LP other issue count 0
3600.00/3609.20 c LP Gomory cuts 0
3600.00/3609.20 c LP learned cuts 0
3600.00/3609.20 c LP deleted cuts 0
3600.00/3609.20 c LP encountered Gomory constraints 0
3600.00/3609.20 c LP encountered Farkas constraints 25322
3600.00/3609.20 c LP encountered learned Farkas constraints 1
3600.00/3609.20 c CG auxiliary variables introduced 0
3600.00/3609.20 c CG solutions found 0
3600.00/3609.20 c CG cores constructed 0
3600.00/3609.20 c CG core cardinality constraints returned 0
3600.00/3609.20 c CG unit cores 0
3600.00/3609.20 c CG single cores 0
3600.00/3609.20 c CG blocks removed during cardinality reduction 0
3600.00/3609.20 c CG first core best 0
3600.00/3609.20 c CG decision core best 0
3600.00/3609.20 c CG core reduction tie 0
3600.00/3609.20 c CG core degree average 0.00
3600.00/3609.20 c CG core slack average 0.00
3600.00/3609.20 c CG core upper bound improvements 0
3600.00/3609.20 c STR number of successful calls 0
3600.00/3609.20 c STR number of unsuccessful calls 0
3600.00/3609.20 c STR number of inconclusive calls 0
3600.00/3609.20 c STR number of successful attempts 0
3600.00/3609.20 c STR number of unsuccessful attempts 0
3600.00/3609.20 c STR number of inconclusive attempts 0
3600.00/3609.20 c STR average degree increase per successful call inf
3600.00/3609.20 c STR average degree increase per successful attempt inf
3600.00/3609.20 c STR total number of conflicts for successful attempts 0
3600.00/3609.20 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.20 c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.20 c STR average number of conflicts per successful attempt inf
3600.00/3609.20 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.20 c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.20 c AVG.sumWPerc 71.61
3600.00/3609.20 c bigint constraints 1
3600.00/3609.20 s UNKNOWN
3600.00/3609.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62488 MiB free)
memory of node 1: 64507 MiB (63528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541765-1753202596/watcher-4541765-1753202596 -o /tmp/evaluation-result-4541765-1753202596/solver-4541765-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753198973-164293 --watchdog 3760 run-dec-break.sh HOME/instance-4541765-1753202596.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=164707, runsolver pid=164703
[startup+0.100058 s]*
/proc/loadavg: 4.11 4.11 4.04 4/265 164717
/proc/meminfo: memFree=129027424/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=74468 memory=28432 CPUtime=0.06 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 5063 0 0 0 5 1 0 0 20 0 1 0 235938498 76255232 7108 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 18617 7108 2336 1147 0 6044 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 78660 KiB
Current children cumulated memory: 31376 KiB
[startup+0.205411 s]*
/proc/loadavg: 4.11 4.11 4.04 5/268 164725
/proc/meminfo: memFree=129017216/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=75568 memory=29200 CPUtime=0.16 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 5239 0 0 0 15 1 0 0 20 0 1 0 235938498 77381632 7300 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 18892 7300 2368 1147 0 6319 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 79760 KiB
Current children cumulated memory: 32144 KiB
[startup+0.305352 s]*
/proc/loadavg: 4.11 4.11 4.04 5/268 164725
/proc/meminfo: memFree=129015452/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=75728 memory=29456 CPUtime=0.26 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 5279 0 0 0 25 1 0 0 20 0 1 0 235938498 77545472 7364 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 18932 7364 2368 1147 0 6359 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 79920 KiB
Current children cumulated memory: 32400 KiB
[startup+0.700123 s]
/proc/loadavg: 4.11 4.11 4.04 5/268 164725
/proc/meminfo: memFree=129012428/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=75728 memory=29840 CPUtime=0.65 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 5391 0 0 0 64 1 0 0 20 0 1 0 235938498 77545472 7460 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 18932 7460 2368 1147 0 6359 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 79920 KiB
Current children cumulated memory: 32784 KiB
[startup+1.50013 s]
/proc/loadavg: 4.11 4.11 4.04 5/268 164725
/proc/meminfo: memFree=129012604/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=76788 memory=30864 CPUtime=1.45 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 5637 0 0 0 144 1 0 0 20 0 1 0 235938498 78630912 7716 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 19197 7716 2368 1147 0 6624 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 80980 KiB
Current children cumulated memory: 33808 KiB
[startup+3.10521 s]
/proc/loadavg: 4.10 4.11 4.04 5/268 164725
/proc/meminfo: memFree=129005228/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=78676 memory=34852 CPUtime=3.05 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 6128 0 0 0 302 3 0 0 20 0 1 0 235938498 80564224 8713 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 19669 8713 2368 1147 0 7096 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 82868 KiB
Current children cumulated memory: 37796 KiB
[startup+6.30013 s]
/proc/loadavg: 4.10 4.11 4.04 5/268 164725
/proc/meminfo: memFree=129003768/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=79520 memory=35620 CPUtime=6.24 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 6320 0 0 0 620 4 0 0 20 0 1 0 235938498 81428480 8905 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 19880 8905 2368 1147 0 7307 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 83712 KiB
Current children cumulated memory: 38564 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.11 4.04 5/268 164725
/proc/meminfo: memFree=128989728/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=82284 memory=38052 CPUtime=12.62 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 6931 0 0 0 1256 6 0 0 20 0 1 0 235938498 84258816 9513 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 20571 9513 2368 1147 0 7998 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 86476 KiB
Current children cumulated memory: 40996 KiB
[startup+25.5001 s]
/proc/loadavg: 4.14 4.12 4.05 5/267 164725
/proc/meminfo: memFree=128949956/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=84596 memory=40612 CPUtime=25.39 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 7594 0 0 0 2528 11 0 0 20 0 1 0 235938498 86626304 10153 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 21149 10153 2368 1147 0 8576 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 88788 KiB
Current children cumulated memory: 43556 KiB
[startup+51.1051 s]
/proc/loadavg: 4.09 4.11 4.04 5/267 164725
/proc/meminfo: memFree=128907896/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=92968 memory=48164 CPUtime=50.93 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 9488 0 0 0 5073 20 0 0 20 0 1 0 235938498 95199232 12041 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 23242 12041 2368 1147 0 10669 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 97160 KiB
Current children cumulated memory: 51108 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/267 164728
/proc/meminfo: memFree=128787428/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=126736 memory=75520 CPUtime=101.99 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 13803 0 0 0 10165 34 0 0 20 0 1 0 235938498 129777664 18880 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 31684 18880 2368 1147 0 19111 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 130928 KiB
Current children cumulated memory: 78464 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/267 164730
/proc/meminfo: memFree=128683816/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=155292 memory=105720 CPUtime=161.82 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 20306 0 0 0 16127 55 0 0 20 0 1 0 235938498 159019008 26430 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 38823 26430 2400 1147 0 26250 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 159484 KiB
Current children cumulated memory: 108664 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/267 164732
/proc/meminfo: memFree=128625208/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=159464 memory=111532 CPUtime=221.66 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 21247 0 0 0 22091 75 0 0 20 0 1 0 235938498 163291136 27883 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 39866 27883 2400 1147 0 27293 0
################
# More data... #
################
/proc/164711/statm: 105249 92130 2400 1147 0 92676 0
Current children cumulated CPU time: 3034.67 s
Current children cumulated vsize: 425188 KiB
Current children cumulated memory: 371464 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 164886
/proc/meminfo: memFree=126262580/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=423800 memory=370824 CPUtime=3094.49 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 55809 0 0 0 308977 472 0 0 20 0 1 0 235938498 433971200 92706 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 105950 92706 2400 1147 0 93377 0
Current children cumulated CPU time: 3094.49 s
Current children cumulated vsize: 427992 KiB
Current children cumulated memory: 373768 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 164888
/proc/meminfo: memFree=126209164/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=423800 memory=371208 CPUtime=3154.32 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 55894 0 0 0 314949 483 0 0 20 0 1 0 235938498 433971200 92802 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 105950 92802 2400 1147 0 93377 0
Current children cumulated CPU time: 3154.32 s
Current children cumulated vsize: 427992 KiB
Current children cumulated memory: 374152 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 164892
/proc/meminfo: memFree=126153612/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=423800 memory=371208 CPUtime=3214.16 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 55896 0 0 0 320924 492 0 0 20 0 1 0 235938498 433971200 92802 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 105950 92802 2400 1147 0 93377 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 427992 KiB
Current children cumulated memory: 374152 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 164894
/proc/meminfo: memFree=126098596/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=423800 memory=371208 CPUtime=3273.99 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 55899 0 0 0 326903 496 0 0 20 0 1 0 235938498 433971200 92802 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 105950 92802 2400 1147 0 93377 0
Current children cumulated CPU time: 3273.99 s
Current children cumulated vsize: 427992 KiB
Current children cumulated memory: 374152 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/268 164896
/proc/meminfo: memFree=126046604/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=423800 memory=371208 CPUtime=3333.84 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 55904 0 0 0 332883 501 0 0 20 0 1 0 235938498 433971200 92802 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 105950 92802 2400 1147 0 93377 0
Current children cumulated CPU time: 3333.84 s
Current children cumulated vsize: 427992 KiB
Current children cumulated memory: 374152 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 164898
/proc/meminfo: memFree=126015244/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=425032 memory=371976 CPUtime=3393.68 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 56109 0 0 0 338864 504 0 0 20 0 1 0 235938498 435232768 92994 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 106258 92994 2400 1147 0 93685 0
Current children cumulated CPU time: 3393.68 s
Current children cumulated vsize: 429224 KiB
Current children cumulated memory: 374920 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/268 164900
/proc/meminfo: memFree=125980680/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=429836 memory=375048 CPUtime=3453.51 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 56866 0 0 0 344846 505 0 0 20 0 1 0 235938498 440152064 93762 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 107459 93762 2400 1147 0 94886 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 434028 KiB
Current children cumulated memory: 377992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 164902
/proc/meminfo: memFree=125946424/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=437708 memory=382336 CPUtime=3513.36 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 58172 0 0 0 350828 508 0 0 20 0 1 0 235938498 448212992 95584 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 109427 95584 2400 1147 0 96854 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 441900 KiB
Current children cumulated memory: 385280 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 164904
/proc/meminfo: memFree=125862876/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=524988 memory=395600 CPUtime=3573.18 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 59458 0 0 0 356808 510 0 0 20 0 1 0 235938498 537587712 98900 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 131247 98900 2400 1147 0 118674 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 529180 KiB
Current children cumulated memory: 398544 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.12 4.11 4.09 4/264 164916
/proc/meminfo: memFree=126322380/131249988 swapFree=33010160/33010684
[pid=164707] ppid=164703 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/164707/stat : 164707 (run-dec-break.s) S 164703 164707 164273 0 -1 4194304 235 2821 0 0 0 0 0 0 20 0 1 0 235938495 4292608 736 18446744073709551615 94544322736128 94544323630661 140731032453264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94544323869712 94544323917456 94544325926912 140731032455519 140731032455648 140731032455648 140731032461252 0
/proc/164707/statm: 1048 736 672 219 0 110 0
[pid=164711] ppid=164707 vsize=529360 memory=403436 CPUtime=3600 cores=5,7
/proc/164711/stat : 164711 (roundingsat) R 164707 164707 164273 0 -1 4194304 60396 0 0 0 359484 516 0 0 20 0 1 0 235938498 542064640 100859 18446744073709551615 4227072 8923433 140735254070304 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26435584 140735254075714 140735254075942 140735254075942 140735254081514 0
/proc/164711/statm: 132340 100859 2400 1147 0 119767 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 533552 KiB
Current children cumulated memory: 406380 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.2 s]
# the end of solver process 164707 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.009749 s, system=0.008926 s
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 164711 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3594.86 s, system=5.18055 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.21
CPU time (s): 3600.04
CPU user time (s): 3594.86
CPU system time (s): 5.18055
CPU usage (%): 99.746
Max. virtual memory (cumulated for all children) (KiB): 533552
Max. memory (cumulated for all children) (KiB): 406380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.86
system time used= 5.18055
maximum resident set size= 403692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63472
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 331
involuntary context switches= 3676
# summary of solver processes directly reported to runsolver:
# pid: 164707,164711
# total CPU time (s): 3600.04
# total CPU user time (s): 3594.86
# total CPU system time (s): 5.18055
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.067 second user time and 16.4423 second system time
The end
Begin job on nodeC034 at 2025-07-22 18:43:16
IDJOB=4541765
IDBENCH=163377
IDSOLVER=3357
FILE ID=nodeC034/4541765-1753202596
RUNJOBID= nodeC034-1753198973-164293
SLURM_JOB_ID= 9687767
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541765-1753202596/watcher-4541765-1753202596 -o /tmp/evaluation-result-4541765-1753202596/solver-4541765-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753198973-164293 --watchdog 3760 run-dec-break.sh HOME/instance-4541765-1753202596.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c5f0df1008e51f7adaa039b331d221c7
RANDOM SEED=1063239506
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.082
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.936
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.53
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.790
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.53
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 : 3700.000
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.596
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.53
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 : 3626.222
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.692
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.53
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.797
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129046576 kB
MemAvailable: 129655112 kB
Buffers: 2128 kB
Cached: 1347692 kB
SwapCached: 32 kB
Active: 1229480 kB
Inactive: 227052 kB
Active(anon): 130824 kB
Inactive(anon): 2152 kB
Active(file): 1098656 kB
Inactive(file): 224900 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22480 kB
Writeback: 0 kB
AnonPages: 109836 kB
Mapped: 117124 kB
Shmem: 26264 kB
KReclaimable: 248036 kB
Slab: 346084 kB
SReclaimable: 248036 kB
SUnreclaim: 98048 kB
KernelStack: 4176 kB
PageTables: 3084 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 429964 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32768 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC034 at 2025-07-22 19:43:26