0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.06 c #variables 5122 #constraints 9683
0.00/0.06 c rational objective 0
2.07/2.12 c #Conflicts: 1000 | #Constraints: 10682
2.07/2.12 c #Conflicts: 2000 | #Constraints: 11682
2.07/2.12 c INPROCESSING
2.07/2.12 c GARBAGE COLLECT
2.07/2.12 c rational objective 0
79.28/79.57 c #Conflicts: 3000 | #Constraints: 11639
79.28/79.57 c #Conflicts: 4000 | #Constraints: 12639
79.28/79.57 c INPROCESSING
79.28/79.57 c GARBAGE COLLECT
79.28/79.57 c #Conflicts: 5000 | #Constraints: 12061
79.28/79.57 c #Conflicts: 6000 | #Constraints: 13061
79.28/79.57 c INPROCESSING
79.28/79.57 c GARBAGE COLLECT
79.28/79.57 c #Conflicts: 7000 | #Constraints: 12072
79.28/79.57 c #Conflicts: 8000 | #Constraints: 13072
79.28/79.57 c #Conflicts: 9000 | #Constraints: 14072
79.28/79.57 c INPROCESSING
79.28/79.57 c GARBAGE COLLECT
79.28/79.57 c #Conflicts: 10000 | #Constraints: 12795
79.28/79.57 c #Conflicts: 11000 | #Constraints: 13795
79.28/79.57 c #Conflicts: 12000 | #Constraints: 14795
79.28/79.57 c INPROCESSING
79.28/79.57 c GARBAGE COLLECT
79.28/79.57 c #Conflicts: 13000 | #Constraints: 13249
79.28/79.57 c #Conflicts: 14000 | #Constraints: 14249
79.28/79.57 c #Conflicts: 15000 | #Constraints: 15249
79.28/79.57 c INPROCESSING
79.28/79.57 c GARBAGE COLLECT
79.28/79.57 c #Conflicts: 16000 | #Constraints: 13492
79.28/79.57 c #Conflicts: 17000 | #Constraints: 14492
79.28/79.57 c #Conflicts: 18000 | #Constraints: 15492
79.28/79.57 c INPROCESSING
79.28/79.57 c GARBAGE COLLECT
79.28/79.57 c #Conflicts: 19000 | #Constraints: 13506
79.28/79.57 c #Conflicts: 20000 | #Constraints: 14506
79.28/79.57 c #Conflicts: 21000 | #Constraints: 15506
79.28/79.57 c INPROCESSING
79.28/79.57 c GARBAGE COLLECT
79.28/79.57 c #Conflicts: 22000 | #Constraints: 13325
79.28/79.57 c #Conflicts: 23000 | #Constraints: 14325
79.28/79.57 c #Conflicts: 24000 | #Constraints: 15325
79.28/79.57 c #Conflicts: 25000 | #Constraints: 16325
79.28/79.57 c INPROCESSING
79.28/79.57 c GARBAGE COLLECT
79.28/79.57 c #Conflicts: 26000 | #Constraints: 13940
79.28/79.57 c #Conflicts: 27000 | #Constraints: 14940
79.28/79.57 c #Conflicts: 28000 | #Constraints: 15940
79.28/79.57 c #Conflicts: 29000 | #Constraints: 16940
79.28/79.57 c INPROCESSING
79.28/79.57 c GARBAGE COLLECT
79.28/79.57 c #Conflicts: 30000 | #Constraints: 14355
79.28/79.57 c #Conflicts: 31000 | #Constraints: 15355
79.28/79.57 c #Conflicts: 32000 | #Constraints: 16355
79.28/79.57 c #Conflicts: 33000 | #Constraints: 17355
79.28/79.57 c INPROCESSING
79.28/79.57 c GARBAGE COLLECT
79.28/79.57 c #Conflicts: 34000 | #Constraints: 14573
79.28/79.57 c #Conflicts: 35000 | #Constraints: 15573
79.28/79.57 c #Conflicts: 36000 | #Constraints: 16573
79.28/79.57 c #Conflicts: 37000 | #Constraints: 17573
79.28/79.57 c #Conflicts: 38000 | #Constraints: 18573
79.28/79.57 c #Conflicts: 39000 | #Constraints: 19573
79.28/79.57 c #Conflicts: 40000 | #Constraints: 20573
79.28/79.57 c #Conflicts: 41000 | #Constraints: 21573
79.28/79.57 c #Conflicts: 42000 | #Constraints: 22573
79.28/79.57 c #Conflicts: 43000 | #Constraints: 23573
79.28/79.57 c #Conflicts: 44000 | #Constraints: 24573
79.28/79.57 c #Conflicts: 45000 | #Constraints: 25573
79.28/79.57 c #Conflicts: 46000 | #Constraints: 26573
79.28/79.57 c #Conflicts: 47000 | #Constraints: 27573
79.28/79.57 c #Conflicts: 48000 | #Constraints: 28573
79.28/79.57 c INPROCESSING
79.28/79.57 c GARBAGE COLLECT
79.28/79.57 c #Conflicts: 49000 | #Constraints: 20196
79.28/79.57 c #Conflicts: 50000 | #Constraints: 21196
79.28/79.57 c #Conflicts: 51000 | #Constraints: 22196
79.28/79.57 c #Conflicts: 52000 | #Constraints: 23196
79.28/79.57 c #Conflicts: 53000 | #Constraints: 24196
79.28/79.57 c INPROCESSING
79.28/79.57 c GARBAGE COLLECT
79.28/79.57 c rational objective 0
142.12/142.50 c #Conflicts: 54000 | #Constraints: 17861
142.12/142.50 c #Conflicts: 55000 | #Constraints: 18861
142.12/142.50 c #Conflicts: 56000 | #Constraints: 19861
142.12/142.50 c #Conflicts: 57000 | #Constraints: 20861
142.12/142.50 c #Conflicts: 58000 | #Constraints: 21861
142.12/142.50 c INPROCESSING
142.12/142.50 c GARBAGE COLLECT
142.12/142.50 c #Conflicts: 59000 | #Constraints: 16456
142.12/142.50 c #Conflicts: 60000 | #Constraints: 17456
142.12/142.50 c #Conflicts: 61000 | #Constraints: 18456
142.12/142.50 c #Conflicts: 62000 | #Constraints: 19456
142.12/142.50 c #Conflicts: 63000 | #Constraints: 20456
142.12/142.50 c #Conflicts: 64000 | #Constraints: 21456
142.12/142.50 c INPROCESSING
142.12/142.50 c GARBAGE COLLECT
142.12/142.50 c #Conflicts: 65000 | #Constraints: 16402
142.12/142.50 c #Conflicts: 66000 | #Constraints: 17402
142.12/142.50 c #Conflicts: 67000 | #Constraints: 18402
142.12/142.50 c #Conflicts: 68000 | #Constraints: 19402
142.12/142.50 c #Conflicts: 69000 | #Constraints: 20402
142.12/142.50 c #Conflicts: 70000 | #Constraints: 21402
142.12/142.50 c #Conflicts: 71000 | #Constraints: 22402
142.12/142.50 c #Conflicts: 72000 | #Constraints: 23402
142.12/142.50 c #Conflicts: 73000 | #Constraints: 24402
142.12/142.50 c #Conflicts: 74000 | #Constraints: 25402
142.12/142.50 c #Conflicts: 75000 | #Constraints: 26402
142.12/142.50 c #Conflicts: 76000 | #Constraints: 27402
142.12/142.50 c #Conflicts: 77000 | #Constraints: 28402
142.12/142.50 c #Conflicts: 78000 | #Constraints: 29402
142.12/142.50 c #Conflicts: 79000 | #Constraints: 30402
142.12/142.50 c #Conflicts: 80000 | #Constraints: 31402
142.12/142.50 c #Conflicts: 81000 | #Constraints: 32402
142.12/142.50 c #Conflicts: 82000 | #Constraints: 33402
142.12/142.50 c #Conflicts: 83000 | #Constraints: 34402
142.12/142.50 c #Conflicts: 84000 | #Constraints: 35402
142.12/142.50 c INPROCESSING
142.12/142.50 c GARBAGE COLLECT
142.12/142.50 c rational objective 0
201.96/202.58 c #Conflicts: 85000 | #Constraints: 23240
201.96/202.58 c #Conflicts: 86000 | #Constraints: 24240
201.96/202.58 c #Conflicts: 87000 | #Constraints: 25240
201.96/202.58 c #Conflicts: 88000 | #Constraints: 26240
201.96/202.58 c #Conflicts: 89000 | #Constraints: 27240
201.96/202.58 c #Conflicts: 90000 | #Constraints: 28240
201.96/202.58 c #Conflicts: 91000 | #Constraints: 29240
201.96/202.58 c INPROCESSING
201.96/202.58 c GARBAGE COLLECT
201.96/202.58 c #Conflicts: 92000 | #Constraints: 20201
201.96/202.58 c #Conflicts: 93000 | #Constraints: 21201
201.96/202.58 c #Conflicts: 94000 | #Constraints: 22201
201.96/202.58 c #Conflicts: 95000 | #Constraints: 23201
201.96/202.58 c #Conflicts: 96000 | #Constraints: 24201
201.96/202.58 c #Conflicts: 97000 | #Constraints: 25201
201.96/202.58 c #Conflicts: 98000 | #Constraints: 26201
201.96/202.58 c #Conflicts: 99000 | #Constraints: 27201
201.96/202.58 c INPROCESSING
201.96/202.58 c GARBAGE COLLECT
201.96/202.58 c #Conflicts: 100000 | #Constraints: 19579
201.96/202.58 c #Conflicts: 101000 | #Constraints: 20579
201.96/202.58 c #Conflicts: 102000 | #Constraints: 21579
201.96/202.58 c #Conflicts: 103000 | #Constraints: 22579
201.96/202.58 c #Conflicts: 104000 | #Constraints: 23579
201.96/202.58 c #Conflicts: 105000 | #Constraints: 24579
201.96/202.58 c #Conflicts: 106000 | #Constraints: 25579
201.96/202.58 c #Conflicts: 107000 | #Constraints: 26579
201.96/202.58 c #Conflicts: 108000 | #Constraints: 27579
201.96/202.58 c #Conflicts: 109000 | #Constraints: 28579
201.96/202.58 c #Conflicts: 110000 | #Constraints: 29579
201.96/202.58 c #Conflicts: 111000 | #Constraints: 30579
201.96/202.58 c #Conflicts: 112000 | #Constraints: 31579
201.96/202.58 c #Conflicts: 113000 | #Constraints: 32579
201.96/202.58 c #Conflicts: 114000 | #Constraints: 33579
201.96/202.58 c #Conflicts: 115000 | #Constraints: 34579
201.96/202.58 c #Conflicts: 116000 | #Constraints: 35579
201.96/202.58 c #Conflicts: 117000 | #Constraints: 36579
201.96/202.58 c #Conflicts: 118000 | #Constraints: 37579
201.96/202.58 c #Conflicts: 119000 | #Constraints: 38579
201.96/202.58 c #Conflicts: 120000 | #Constraints: 39579
201.96/202.58 c #Conflicts: 121000 | #Constraints: 40579
201.96/202.58 c #Conflicts: 122000 | #Constraints: 41579
201.96/202.58 c #Conflicts: 123000 | #Constraints: 42579
201.96/202.58 c INPROCESSING
201.96/202.58 c GARBAGE COLLECT
201.96/202.58 c rational objective 0
428.43/429.68 c #Conflicts: 124000 | #Constraints: 27020
428.43/429.68 c #Conflicts: 125000 | #Constraints: 28020
428.43/429.68 c #Conflicts: 126000 | #Constraints: 29020
428.43/429.68 c #Conflicts: 127000 | #Constraints: 30020
428.43/429.68 c #Conflicts: 128000 | #Constraints: 31020
428.43/429.68 c #Conflicts: 129000 | #Constraints: 32020
428.43/429.68 c #Conflicts: 130000 | #Constraints: 33020
428.43/429.68 c #Conflicts: 131000 | #Constraints: 34020
428.43/429.68 c #Conflicts: 132000 | #Constraints: 35020
428.43/429.68 c INPROCESSING
428.43/429.68 c GARBAGE COLLECT
428.43/429.68 c #Conflicts: 133000 | #Constraints: 23477
428.43/429.68 c #Conflicts: 134000 | #Constraints: 24477
428.43/429.68 c #Conflicts: 135000 | #Constraints: 25477
428.43/429.68 c #Conflicts: 136000 | #Constraints: 26477
428.43/429.68 c #Conflicts: 137000 | #Constraints: 27477
428.43/429.68 c #Conflicts: 138000 | #Constraints: 28477
428.43/429.68 c #Conflicts: 139000 | #Constraints: 29477
428.43/429.68 c #Conflicts: 140000 | #Constraints: 30477
428.43/429.68 c INPROCESSING
428.43/429.68 c GARBAGE COLLECT
428.43/429.68 c #Conflicts: 141000 | #Constraints: 20879
428.43/429.68 c #Conflicts: 142000 | #Constraints: 21879
428.43/429.68 c #Conflicts: 143000 | #Constraints: 22879
428.43/429.68 c #Conflicts: 144000 | #Constraints: 23879
428.43/429.68 c #Conflicts: 145000 | #Constraints: 24879
428.43/429.68 c #Conflicts: 146000 | #Constraints: 25879
428.43/429.68 c #Conflicts: 147000 | #Constraints: 26879
428.43/429.68 c #Conflicts: 148000 | #Constraints: 27879
428.43/429.68 c #Conflicts: 149000 | #Constraints: 28879
428.43/429.68 c #Conflicts: 150000 | #Constraints: 29879
428.43/429.68 c #Conflicts: 151000 | #Constraints: 30879
428.43/429.68 c #Conflicts: 152000 | #Constraints: 31879
428.43/429.68 c #Conflicts: 153000 | #Constraints: 32879
428.43/429.68 c #Conflicts: 154000 | #Constraints: 33879
428.43/429.68 c #Conflicts: 155000 | #Constraints: 34879
428.43/429.68 c #Conflicts: 156000 | #Constraints: 35879
428.43/429.68 c #Conflicts: 157000 | #Constraints: 36879
428.43/429.68 c #Conflicts: 158000 | #Constraints: 37879
428.43/429.68 c #Conflicts: 159000 | #Constraints: 38879
428.43/429.68 c #Conflicts: 160000 | #Constraints: 39879
428.43/429.68 c #Conflicts: 161000 | #Constraints: 40879
428.43/429.68 c #Conflicts: 162000 | #Constraints: 41879
428.43/429.68 c #Conflicts: 163000 | #Constraints: 42879
428.43/429.68 c #Conflicts: 164000 | #Constraints: 43879
428.43/429.68 c #Conflicts: 165000 | #Constraints: 44879
428.43/429.68 c #Conflicts: 166000 | #Constraints: 45879
428.43/429.68 c #Conflicts: 167000 | #Constraints: 46879
428.43/429.68 c #Conflicts: 168000 | #Constraints: 47879
428.43/429.68 c #Conflicts: 169000 | #Constraints: 48879
428.43/429.68 c INPROCESSING
428.43/429.68 c GARBAGE COLLECT
428.43/429.68 c #Conflicts: 170000 | #Constraints: 30243
428.43/429.68 c #Conflicts: 171000 | #Constraints: 31243
428.43/429.68 c #Conflicts: 172000 | #Constraints: 32243
428.43/429.68 c #Conflicts: 173000 | #Constraints: 33243
428.43/429.68 c #Conflicts: 174000 | #Constraints: 34243
428.43/429.68 c #Conflicts: 175000 | #Constraints: 35243
428.43/429.68 c #Conflicts: 176000 | #Constraints: 36243
428.43/429.68 c #Conflicts: 177000 | #Constraints: 37243
428.43/429.68 c #Conflicts: 178000 | #Constraints: 38243
428.43/429.68 c #Conflicts: 179000 | #Constraints: 39243
428.43/429.68 c INPROCESSING
428.43/429.68 c GARBAGE COLLECT
428.43/429.68 c #Conflicts: 180000 | #Constraints: 25455
428.43/429.68 c #Conflicts: 181000 | #Constraints: 26455
428.43/429.68 c #Conflicts: 182000 | #Constraints: 27455
428.43/429.68 c #Conflicts: 183000 | #Constraints: 28455
428.43/429.68 c #Conflicts: 184000 | #Constraints: 29455
428.43/429.68 c #Conflicts: 185000 | #Constraints: 30455
428.43/429.68 c #Conflicts: 186000 | #Constraints: 31455
428.43/429.68 c #Conflicts: 187000 | #Constraints: 32455
428.43/429.68 c #Conflicts: 188000 | #Constraints: 33455
428.43/429.68 c #Conflicts: 189000 | #Constraints: 34455
428.43/429.68 c INPROCESSING
428.43/429.68 c GARBAGE COLLECT
428.43/429.68 c #Conflicts: 190000 | #Constraints: 22960
428.43/429.68 c #Conflicts: 191000 | #Constraints: 23960
428.43/429.68 c #Conflicts: 192000 | #Constraints: 24960
428.43/429.68 c #Conflicts: 193000 | #Constraints: 25960
428.43/429.68 c #Conflicts: 194000 | #Constraints: 26960
428.43/429.68 c #Conflicts: 195000 | #Constraints: 27960
428.43/429.68 c #Conflicts: 196000 | #Constraints: 28960
428.43/429.68 c #Conflicts: 197000 | #Constraints: 29960
428.43/429.68 c #Conflicts: 198000 | #Constraints: 30960
428.43/429.68 c #Conflicts: 199000 | #Constraints: 31960
504.43/505.86 c #Conflicts: 200000 | #Constraints: 32960
504.43/505.86 c #Conflicts: 201000 | #Constraints: 33960
504.43/505.86 c #Conflicts: 202000 | #Constraints: 34960
504.43/505.86 c #Conflicts: 203000 | #Constraints: 35960
504.43/505.86 c #Conflicts: 204000 | #Constraints: 36960
504.43/505.86 c #Conflicts: 205000 | #Constraints: 37960
504.43/505.86 c #Conflicts: 206000 | #Constraints: 38960
504.43/505.86 c #Conflicts: 207000 | #Constraints: 39960
504.43/505.86 c #Conflicts: 208000 | #Constraints: 40960
504.43/505.86 c #Conflicts: 209000 | #Constraints: 41960
504.43/505.86 c #Conflicts: 210000 | #Constraints: 42960
504.43/505.86 c #Conflicts: 211000 | #Constraints: 43960
504.43/505.86 c #Conflicts: 212000 | #Constraints: 44960
504.43/505.86 c #Conflicts: 213000 | #Constraints: 45960
504.43/505.86 c #Conflicts: 214000 | #Constraints: 46960
504.43/505.86 c #Conflicts: 215000 | #Constraints: 47960
504.43/505.86 c #Conflicts: 216000 | #Constraints: 48960
504.43/505.86 c #Conflicts: 217000 | #Constraints: 49960
504.43/505.86 c #Conflicts: 218000 | #Constraints: 50960
504.43/505.86 c #Conflicts: 219000 | #Constraints: 51960
504.43/505.86 c #Conflicts: 220000 | #Constraints: 52960
504.43/505.86 c #Conflicts: 221000 | #Constraints: 53960
504.43/505.86 c #Conflicts: 222000 | #Constraints: 54960
504.43/505.86 c INPROCESSING
504.43/505.86 c GARBAGE COLLECT
504.43/505.86 c rational objective 0
675.98/677.82 c #Conflicts: 223000 | #Constraints: 33284
675.98/677.82 c #Conflicts: 224000 | #Constraints: 34284
675.98/677.82 c #Conflicts: 225000 | #Constraints: 35284
675.98/677.82 c #Conflicts: 226000 | #Constraints: 36284
675.98/677.82 c #Conflicts: 227000 | #Constraints: 37284
675.98/677.82 c #Conflicts: 228000 | #Constraints: 38284
675.98/677.82 c #Conflicts: 229000 | #Constraints: 39284
675.98/677.82 c #Conflicts: 230000 | #Constraints: 40284
675.98/677.82 c #Conflicts: 231000 | #Constraints: 41284
675.98/677.82 c #Conflicts: 232000 | #Constraints: 42284
675.98/677.82 c #Conflicts: 233000 | #Constraints: 43284
675.98/677.82 c #Conflicts: 234000 | #Constraints: 44284
675.98/677.82 c INPROCESSING
675.98/677.82 c GARBAGE COLLECT
675.98/677.82 c #Conflicts: 235000 | #Constraints: 28164
675.98/677.82 c #Conflicts: 236000 | #Constraints: 29164
675.98/677.82 c #Conflicts: 237000 | #Constraints: 30164
675.98/677.82 c #Conflicts: 238000 | #Constraints: 31164
675.98/677.82 c #Conflicts: 239000 | #Constraints: 32164
675.98/677.82 c #Conflicts: 240000 | #Constraints: 33164
675.98/677.82 c #Conflicts: 241000 | #Constraints: 34164
675.98/677.82 c #Conflicts: 242000 | #Constraints: 35164
675.98/677.82 c #Conflicts: 243000 | #Constraints: 36164
675.98/677.82 c #Conflicts: 244000 | #Constraints: 37164
675.98/677.82 c #Conflicts: 245000 | #Constraints: 38164
675.98/677.82 c INPROCESSING
675.98/677.82 c GARBAGE COLLECT
675.98/677.82 c #Conflicts: 246000 | #Constraints: 24782
675.98/677.82 c #Conflicts: 247000 | #Constraints: 25782
675.98/677.82 c #Conflicts: 248000 | #Constraints: 26782
675.98/677.82 c #Conflicts: 249000 | #Constraints: 27782
675.98/677.82 c #Conflicts: 250000 | #Constraints: 28782
675.98/677.82 c #Conflicts: 251000 | #Constraints: 29782
675.98/677.82 c #Conflicts: 252000 | #Constraints: 30782
675.98/677.82 c #Conflicts: 253000 | #Constraints: 31782
675.98/677.82 c #Conflicts: 254000 | #Constraints: 32782
675.98/677.82 c #Conflicts: 255000 | #Constraints: 33782
675.98/677.82 c #Conflicts: 256000 | #Constraints: 34782
675.98/677.82 c #Conflicts: 257000 | #Constraints: 35782
675.98/677.82 c #Conflicts: 258000 | #Constraints: 36782
675.98/677.82 c #Conflicts: 259000 | #Constraints: 37782
675.98/677.82 c #Conflicts: 260000 | #Constraints: 38782
675.98/677.82 c #Conflicts: 261000 | #Constraints: 39782
675.98/677.82 c #Conflicts: 262000 | #Constraints: 40782
675.98/677.82 c #Conflicts: 263000 | #Constraints: 41782
675.98/677.82 c #Conflicts: 264000 | #Constraints: 42782
675.98/677.82 c #Conflicts: 265000 | #Constraints: 43782
675.98/677.82 c #Conflicts: 266000 | #Constraints: 44782
675.98/677.82 c #Conflicts: 267000 | #Constraints: 45782
675.98/677.82 c #Conflicts: 268000 | #Constraints: 46782
675.98/677.82 c #Conflicts: 269000 | #Constraints: 47782
675.98/677.82 c #Conflicts: 270000 | #Constraints: 48782
675.98/677.82 c #Conflicts: 271000 | #Constraints: 49782
675.98/677.82 c #Conflicts: 272000 | #Constraints: 50782
675.98/677.82 c #Conflicts: 273000 | #Constraints: 51782
675.98/677.82 c #Conflicts: 274000 | #Constraints: 52782
675.98/677.82 c #Conflicts: 275000 | #Constraints: 53782
675.98/677.82 c #Conflicts: 276000 | #Constraints: 54782
675.98/677.82 c #Conflicts: 277000 | #Constraints: 55782
675.98/677.82 c #Conflicts: 278000 | #Constraints: 56782
675.98/677.82 c #Conflicts: 279000 | #Constraints: 57782
675.98/677.82 c #Conflicts: 280000 | #Constraints: 58782
675.98/677.82 c #Conflicts: 281000 | #Constraints: 59782
675.98/677.82 c #Conflicts: 282000 | #Constraints: 60782
675.98/677.82 c INPROCESSING
675.98/677.82 c GARBAGE COLLECT
675.98/677.82 c rational objective 0
734.93/736.90 c #Conflicts: 283000 | #Constraints: 36068
734.93/736.90 c #Conflicts: 284000 | #Constraints: 37068
734.93/736.90 c #Conflicts: 285000 | #Constraints: 38068
734.93/736.90 c #Conflicts: 286000 | #Constraints: 39068
734.93/736.90 c #Conflicts: 287000 | #Constraints: 40068
734.93/736.90 c #Conflicts: 288000 | #Constraints: 41068
734.93/736.90 c #Conflicts: 289000 | #Constraints: 42068
734.93/736.90 c #Conflicts: 290000 | #Constraints: 43068
734.93/736.90 c #Conflicts: 291000 | #Constraints: 44068
734.93/736.90 c #Conflicts: 292000 | #Constraints: 45068
734.93/736.90 c #Conflicts: 293000 | #Constraints: 46068
734.93/736.90 c #Conflicts: 294000 | #Constraints: 47068
734.93/736.90 c #Conflicts: 295000 | #Constraints: 48068
734.93/736.90 c INPROCESSING
734.93/736.90 c GARBAGE COLLECT
734.93/736.90 c #Conflicts: 296000 | #Constraints: 29729
734.93/736.90 c #Conflicts: 297000 | #Constraints: 30729
734.93/736.90 c #Conflicts: 298000 | #Constraints: 31729
734.93/736.90 c #Conflicts: 299000 | #Constraints: 32729
734.93/736.90 c #Conflicts: 300000 | #Constraints: 33729
734.93/736.90 c #Conflicts: 301000 | #Constraints: 34729
734.93/736.90 c #Conflicts: 302000 | #Constraints: 35729
734.93/736.90 c #Conflicts: 303000 | #Constraints: 36729
734.93/736.90 c #Conflicts: 304000 | #Constraints: 37729
734.93/736.90 c #Conflicts: 305000 | #Constraints: 38729
734.93/736.90 c #Conflicts: 306000 | #Constraints: 39729
734.93/736.90 c #Conflicts: 307000 | #Constraints: 40729
734.93/736.90 c #Conflicts: 308000 | #Constraints: 41729
734.93/736.90 c #Conflicts: 309000 | #Constraints: 42729
734.93/736.90 c INPROCESSING
734.93/736.90 c GARBAGE COLLECT
734.93/736.90 c rational objective 0
940.28/942.81 c #Conflicts: 310000 | #Constraints: 27428
940.28/942.81 c #Conflicts: 311000 | #Constraints: 28428
940.28/942.81 c #Conflicts: 312000 | #Constraints: 29428
940.28/942.81 c #Conflicts: 313000 | #Constraints: 30428
940.28/942.81 c #Conflicts: 314000 | #Constraints: 31428
940.28/942.81 c #Conflicts: 315000 | #Constraints: 32428
940.28/942.81 c #Conflicts: 316000 | #Constraints: 33428
940.28/942.81 c #Conflicts: 317000 | #Constraints: 34428
940.28/942.81 c #Conflicts: 318000 | #Constraints: 35428
940.28/942.81 c #Conflicts: 319000 | #Constraints: 36428
940.28/942.81 c #Conflicts: 320000 | #Constraints: 37428
940.28/942.81 c #Conflicts: 321000 | #Constraints: 38428
940.28/942.81 c #Conflicts: 322000 | #Constraints: 39428
940.28/942.81 c #Conflicts: 323000 | #Constraints: 40428
940.28/942.81 c #Conflicts: 324000 | #Constraints: 41428
940.28/942.81 c #Conflicts: 325000 | #Constraints: 42428
940.28/942.81 c #Conflicts: 326000 | #Constraints: 43428
940.28/942.81 c #Conflicts: 327000 | #Constraints: 44428
940.28/942.81 c #Conflicts: 328000 | #Constraints: 45428
940.28/942.81 c #Conflicts: 329000 | #Constraints: 46428
940.28/942.81 c #Conflicts: 330000 | #Constraints: 47428
940.28/942.81 c #Conflicts: 331000 | #Constraints: 48428
940.28/942.81 c #Conflicts: 332000 | #Constraints: 49428
940.28/942.81 c #Conflicts: 333000 | #Constraints: 50428
940.28/942.81 c #Conflicts: 334000 | #Constraints: 51428
940.28/942.81 c #Conflicts: 335000 | #Constraints: 52428
940.28/942.81 c #Conflicts: 336000 | #Constraints: 53428
940.28/942.81 c #Conflicts: 337000 | #Constraints: 54428
940.28/942.81 c #Conflicts: 338000 | #Constraints: 55428
940.28/942.81 c #Conflicts: 339000 | #Constraints: 56428
940.28/942.81 c #Conflicts: 340000 | #Constraints: 57428
940.28/942.81 c #Conflicts: 341000 | #Constraints: 58428
940.28/942.81 c #Conflicts: 342000 | #Constraints: 59428
940.28/942.81 c #Conflicts: 343000 | #Constraints: 60428
940.28/942.81 c #Conflicts: 344000 | #Constraints: 61428
940.28/942.81 c #Conflicts: 345000 | #Constraints: 62428
940.28/942.81 c #Conflicts: 346000 | #Constraints: 63428
940.28/942.81 c #Conflicts: 347000 | #Constraints: 64428
940.28/942.81 c #Conflicts: 348000 | #Constraints: 65428
940.28/942.81 c #Conflicts: 349000 | #Constraints: 66428
940.28/942.81 c #Conflicts: 350000 | #Constraints: 67428
940.28/942.81 c INPROCESSING
940.28/942.81 c GARBAGE COLLECT
940.28/942.81 c rational objective 0
1015.18/1018.00 c #Conflicts: 351000 | #Constraints: 39666
1015.18/1018.00 c #Conflicts: 352000 | #Constraints: 40666
1015.18/1018.00 c #Conflicts: 353000 | #Constraints: 41666
1015.18/1018.00 c #Conflicts: 354000 | #Constraints: 42666
1015.18/1018.00 c #Conflicts: 355000 | #Constraints: 43666
1015.18/1018.00 c #Conflicts: 356000 | #Constraints: 44666
1015.18/1018.00 c #Conflicts: 357000 | #Constraints: 45666
1015.18/1018.00 c #Conflicts: 358000 | #Constraints: 46666
1015.18/1018.00 c #Conflicts: 359000 | #Constraints: 47666
1015.18/1018.00 c #Conflicts: 360000 | #Constraints: 48666
1015.18/1018.00 c #Conflicts: 361000 | #Constraints: 49666
1015.18/1018.00 c #Conflicts: 362000 | #Constraints: 50666
1015.18/1018.00 c #Conflicts: 363000 | #Constraints: 51666
1015.18/1018.00 c #Conflicts: 364000 | #Constraints: 52666
1015.18/1018.00 c INPROCESSING
1015.18/1018.00 c GARBAGE COLLECT
1015.18/1018.00 c #Conflicts: 365000 | #Constraints: 32004
1015.18/1018.00 c #Conflicts: 366000 | #Constraints: 33004
1015.18/1018.00 c #Conflicts: 367000 | #Constraints: 34004
1015.18/1018.00 c #Conflicts: 368000 | #Constraints: 35004
1015.18/1018.00 c #Conflicts: 369000 | #Constraints: 36004
1015.18/1018.00 c #Conflicts: 370000 | #Constraints: 37004
1015.18/1018.00 c #Conflicts: 371000 | #Constraints: 38004
1015.18/1018.00 c #Conflicts: 372000 | #Constraints: 39004
1015.18/1018.00 c #Conflicts: 373000 | #Constraints: 40004
1015.18/1018.00 c #Conflicts: 374000 | #Constraints: 41004
1015.18/1018.00 c #Conflicts: 375000 | #Constraints: 42004
1015.18/1018.00 c #Conflicts: 376000 | #Constraints: 43004
1015.18/1018.00 c #Conflicts: 377000 | #Constraints: 44004
1015.18/1018.00 c #Conflicts: 378000 | #Constraints: 45004
1015.18/1018.00 c #Conflicts: 379000 | #Constraints: 46004
1015.18/1018.00 c INPROCESSING
1015.18/1018.00 c GARBAGE COLLECT
1015.18/1018.00 c rational objective 0
1306.98/1310.52 c #Conflicts: 380000 | #Constraints: 29521
1306.98/1310.52 c #Conflicts: 381000 | #Constraints: 30521
1306.98/1310.52 c #Conflicts: 382000 | #Constraints: 31521
1306.98/1310.52 c #Conflicts: 383000 | #Constraints: 32521
1306.98/1310.52 c #Conflicts: 384000 | #Constraints: 33521
1306.98/1310.52 c #Conflicts: 385000 | #Constraints: 34521
1306.98/1310.52 c #Conflicts: 386000 | #Constraints: 35521
1306.98/1310.52 c #Conflicts: 387000 | #Constraints: 36521
1306.98/1310.52 c #Conflicts: 388000 | #Constraints: 37521
1306.98/1310.52 c #Conflicts: 389000 | #Constraints: 38521
1306.98/1310.52 c #Conflicts: 390000 | #Constraints: 39521
1306.98/1310.52 c #Conflicts: 391000 | #Constraints: 40521
1306.98/1310.52 c #Conflicts: 392000 | #Constraints: 41521
1306.98/1310.52 c #Conflicts: 393000 | #Constraints: 42521
1306.98/1310.52 c #Conflicts: 394000 | #Constraints: 43521
1306.98/1310.52 c #Conflicts: 395000 | #Constraints: 44521
1306.98/1310.52 c #Conflicts: 396000 | #Constraints: 45521
1306.98/1310.52 c #Conflicts: 397000 | #Constraints: 46521
1306.98/1310.52 c #Conflicts: 398000 | #Constraints: 47521
1306.98/1310.52 c #Conflicts: 399000 | #Constraints: 48521
1306.98/1310.52 c #Conflicts: 400000 | #Constraints: 49521
1306.98/1310.52 c #Conflicts: 401000 | #Constraints: 50521
1306.98/1310.52 c #Conflicts: 402000 | #Constraints: 51521
1306.98/1310.52 c #Conflicts: 403000 | #Constraints: 52521
1306.98/1310.52 c #Conflicts: 404000 | #Constraints: 53521
1306.98/1310.52 c #Conflicts: 405000 | #Constraints: 54521
1306.98/1310.52 c #Conflicts: 406000 | #Constraints: 55521
1306.98/1310.52 c #Conflicts: 407000 | #Constraints: 56521
1306.98/1310.52 c #Conflicts: 408000 | #Constraints: 57521
1306.98/1310.52 c #Conflicts: 409000 | #Constraints: 58521
1306.98/1310.52 c #Conflicts: 410000 | #Constraints: 59521
1306.98/1310.52 c #Conflicts: 411000 | #Constraints: 60521
1306.98/1310.52 c #Conflicts: 412000 | #Constraints: 61521
1306.98/1310.52 c #Conflicts: 413000 | #Constraints: 62521
1306.98/1310.52 c #Conflicts: 414000 | #Constraints: 63521
1306.98/1310.52 c #Conflicts: 415000 | #Constraints: 64521
1306.98/1310.52 c #Conflicts: 416000 | #Constraints: 65521
1306.98/1310.52 c #Conflicts: 417000 | #Constraints: 66521
1306.98/1310.52 c #Conflicts: 418000 | #Constraints: 67521
1306.98/1310.52 c #Conflicts: 419000 | #Constraints: 68521
1306.98/1310.52 c #Conflicts: 420000 | #Constraints: 69521
1306.98/1310.52 c #Conflicts: 421000 | #Constraints: 70521
1306.98/1310.52 c #Conflicts: 422000 | #Constraints: 71521
1306.98/1310.52 c #Conflicts: 423000 | #Constraints: 72521
1306.98/1310.52 c #Conflicts: 424000 | #Constraints: 73521
1306.98/1310.52 c #Conflicts: 425000 | #Constraints: 74521
1306.98/1310.52 c INPROCESSING
1306.98/1310.52 c GARBAGE COLLECT
1306.98/1310.52 c #Conflicts: 426000 | #Constraints: 43372
1306.98/1310.52 c #Conflicts: 427000 | #Constraints: 44372
1306.98/1310.52 c #Conflicts: 428000 | #Constraints: 45372
1306.98/1310.52 c #Conflicts: 429000 | #Constraints: 46372
1306.98/1310.52 c #Conflicts: 430000 | #Constraints: 47372
1306.98/1310.52 c #Conflicts: 431000 | #Constraints: 48372
1306.98/1310.52 c #Conflicts: 432000 | #Constraints: 49372
1306.98/1310.52 c #Conflicts: 433000 | #Constraints: 50372
1306.98/1310.52 c #Conflicts: 434000 | #Constraints: 51372
1306.98/1310.52 c #Conflicts: 435000 | #Constraints: 52372
1306.98/1310.52 c #Conflicts: 436000 | #Constraints: 53372
1306.98/1310.52 c #Conflicts: 437000 | #Constraints: 54372
1306.98/1310.52 c #Conflicts: 438000 | #Constraints: 55372
1306.98/1310.52 c #Conflicts: 439000 | #Constraints: 56372
1306.98/1310.52 c #Conflicts: 440000 | #Constraints: 57372
1306.98/1310.52 c #Conflicts: 441000 | #Constraints: 58372
1306.98/1310.52 c INPROCESSING
1306.98/1310.52 c GARBAGE COLLECT
1306.98/1310.52 c #Conflicts: 442000 | #Constraints: 35288
1306.98/1310.52 c #Conflicts: 443000 | #Constraints: 36288
1306.98/1310.52 c #Conflicts: 444000 | #Constraints: 37288
1306.98/1310.52 c #Conflicts: 445000 | #Constraints: 38288
1306.98/1310.52 c #Conflicts: 446000 | #Constraints: 39288
1306.98/1310.52 c #Conflicts: 447000 | #Constraints: 40288
1306.98/1310.52 c #Conflicts: 448000 | #Constraints: 41288
1306.98/1310.52 c #Conflicts: 449000 | #Constraints: 42288
1306.98/1310.52 c #Conflicts: 450000 | #Constraints: 43288
1306.98/1310.52 c #Conflicts: 451000 | #Constraints: 44288
1306.98/1310.52 c #Conflicts: 452000 | #Constraints: 45288
1306.98/1310.52 c #Conflicts: 453000 | #Constraints: 46288
1306.98/1310.52 c #Conflicts: 454000 | #Constraints: 47288
1306.98/1310.52 c #Conflicts: 455000 | #Constraints: 48288
1306.98/1310.52 c #Conflicts: 456000 | #Constraints: 49288
1306.98/1310.52 c #Conflicts: 457000 | #Constraints: 50288
1618.15/1622.54 c INPROCESSING
1618.15/1622.54 c GARBAGE COLLECT
1618.15/1622.54 c #Conflicts: 458000 | #Constraints: 32429
1618.15/1622.54 c #Conflicts: 459000 | #Constraints: 33429
1618.15/1622.54 c #Conflicts: 460000 | #Constraints: 34429
1618.15/1622.54 c #Conflicts: 461000 | #Constraints: 35429
1618.15/1622.54 c #Conflicts: 462000 | #Constraints: 36429
1618.15/1622.54 c #Conflicts: 463000 | #Constraints: 37429
1618.15/1622.54 c #Conflicts: 464000 | #Constraints: 38429
1618.15/1622.54 c #Conflicts: 465000 | #Constraints: 39429
1618.15/1622.54 c #Conflicts: 466000 | #Constraints: 40429
1618.15/1622.54 c #Conflicts: 467000 | #Constraints: 41429
1618.15/1622.54 c #Conflicts: 468000 | #Constraints: 42429
1618.15/1622.54 c #Conflicts: 469000 | #Constraints: 43429
1618.15/1622.54 c #Conflicts: 470000 | #Constraints: 44429
1618.15/1622.54 c #Conflicts: 471000 | #Constraints: 45429
1618.15/1622.54 c #Conflicts: 472000 | #Constraints: 46429
1618.15/1622.54 c #Conflicts: 473000 | #Constraints: 47429
1618.15/1622.54 c #Conflicts: 474000 | #Constraints: 48429
1618.15/1622.54 c #Conflicts: 475000 | #Constraints: 49429
1618.15/1622.54 c #Conflicts: 476000 | #Constraints: 50429
1618.15/1622.54 c #Conflicts: 477000 | #Constraints: 51429
1618.15/1622.54 c #Conflicts: 478000 | #Constraints: 52429
1618.15/1622.54 c #Conflicts: 479000 | #Constraints: 53429
1618.15/1622.54 c #Conflicts: 480000 | #Constraints: 54429
1618.15/1622.54 c #Conflicts: 481000 | #Constraints: 55429
1618.15/1622.54 c #Conflicts: 482000 | #Constraints: 56429
1618.15/1622.54 c #Conflicts: 483000 | #Constraints: 57429
1618.15/1622.54 c #Conflicts: 484000 | #Constraints: 58429
1618.15/1622.54 c #Conflicts: 485000 | #Constraints: 59429
1618.15/1622.54 c #Conflicts: 486000 | #Constraints: 60429
1618.15/1622.54 c #Conflicts: 487000 | #Constraints: 61429
1618.15/1622.54 c #Conflicts: 488000 | #Constraints: 62429
1618.15/1622.54 c #Conflicts: 489000 | #Constraints: 63429
1618.15/1622.54 c #Conflicts: 490000 | #Constraints: 64429
1618.15/1622.54 c #Conflicts: 491000 | #Constraints: 65429
1618.15/1622.54 c #Conflicts: 492000 | #Constraints: 66429
1618.15/1622.54 c #Conflicts: 493000 | #Constraints: 67429
1618.15/1622.54 c #Conflicts: 494000 | #Constraints: 68429
1618.15/1622.54 c #Conflicts: 495000 | #Constraints: 69429
1618.15/1622.54 c #Conflicts: 496000 | #Constraints: 70429
1618.15/1622.54 c #Conflicts: 497000 | #Constraints: 71429
1618.15/1622.54 c #Conflicts: 498000 | #Constraints: 72429
1618.15/1622.54 c #Conflicts: 499000 | #Constraints: 73429
1618.15/1622.54 c #Conflicts: 500000 | #Constraints: 74429
1618.15/1622.54 c #Conflicts: 501000 | #Constraints: 75429
1618.15/1622.54 c #Conflicts: 502000 | #Constraints: 76429
1618.15/1622.54 c #Conflicts: 503000 | #Constraints: 77429
1618.15/1622.54 c #Conflicts: 504000 | #Constraints: 78429
1618.15/1622.54 c #Conflicts: 505000 | #Constraints: 79429
1618.15/1622.54 c #Conflicts: 506000 | #Constraints: 80429
1618.15/1622.54 c INPROCESSING
1618.15/1622.54 c GARBAGE COLLECT
1618.15/1622.54 c rational objective 0
1833.57/1838.50 c #Conflicts: 507000 | #Constraints: 45874
1833.57/1838.50 c #Conflicts: 508000 | #Constraints: 46874
1833.57/1838.50 c #Conflicts: 509000 | #Constraints: 47874
1833.57/1838.50 c #Conflicts: 510000 | #Constraints: 48874
1833.57/1838.50 c #Conflicts: 511000 | #Constraints: 49874
1833.57/1838.50 c #Conflicts: 512000 | #Constraints: 50874
1833.57/1838.50 c #Conflicts: 513000 | #Constraints: 51875
1833.57/1838.50 c #Conflicts: 514000 | #Constraints: 52875
1833.57/1838.50 c #Conflicts: 515000 | #Constraints: 53875
1833.57/1838.50 c #Conflicts: 516000 | #Constraints: 54875
1833.57/1838.50 c #Conflicts: 517000 | #Constraints: 55875
1833.57/1838.50 c #Conflicts: 518000 | #Constraints: 56875
1833.57/1838.50 c #Conflicts: 519000 | #Constraints: 57875
1833.57/1838.50 c #Conflicts: 520000 | #Constraints: 58875
1833.57/1838.50 c #Conflicts: 521000 | #Constraints: 59875
1833.57/1838.50 c #Conflicts: 522000 | #Constraints: 60875
1833.57/1838.50 c #Conflicts: 523000 | #Constraints: 61875
1833.57/1838.50 c #Conflicts: 524000 | #Constraints: 62875
1833.57/1838.50 c INPROCESSING
1833.57/1838.50 c GARBAGE COLLECT
1833.57/1838.50 c #Conflicts: 525000 | #Constraints: 37389
1833.57/1838.50 c #Conflicts: 526000 | #Constraints: 38389
1833.57/1838.50 c #Conflicts: 527000 | #Constraints: 39389
1833.57/1838.50 c #Conflicts: 528000 | #Constraints: 40389
1833.57/1838.50 c #Conflicts: 529000 | #Constraints: 41389
1833.57/1838.50 c #Conflicts: 530000 | #Constraints: 42389
1833.57/1838.50 c #Conflicts: 531000 | #Constraints: 43389
1833.57/1838.50 c #Conflicts: 532000 | #Constraints: 44389
1833.57/1838.50 c #Conflicts: 533000 | #Constraints: 45389
1833.57/1838.50 c #Conflicts: 534000 | #Constraints: 46389
1833.57/1838.50 c #Conflicts: 535000 | #Constraints: 47389
1833.57/1838.50 c #Conflicts: 536000 | #Constraints: 48389
1833.57/1838.50 c #Conflicts: 537000 | #Constraints: 49389
1833.57/1838.50 c #Conflicts: 538000 | #Constraints: 50389
1833.57/1838.50 c #Conflicts: 539000 | #Constraints: 51389
1833.57/1838.50 c #Conflicts: 540000 | #Constraints: 52389
1833.57/1838.50 c #Conflicts: 541000 | #Constraints: 53389
1833.57/1838.50 c #Conflicts: 542000 | #Constraints: 54389
1833.57/1838.50 c INPROCESSING
1833.57/1838.50 c GARBAGE COLLECT
1833.57/1838.50 c #Conflicts: 543000 | #Constraints: 34997
1833.57/1838.50 c #Conflicts: 544000 | #Constraints: 35997
1833.57/1838.50 c #Conflicts: 545000 | #Constraints: 36997
1833.57/1838.50 c #Conflicts: 546000 | #Constraints: 37997
1833.57/1838.50 c #Conflicts: 547000 | #Constraints: 38997
1833.57/1838.50 c #Conflicts: 548000 | #Constraints: 39997
1833.57/1838.50 c #Conflicts: 549000 | #Constraints: 40997
1833.57/1838.50 c #Conflicts: 550000 | #Constraints: 41997
1833.57/1838.50 c #Conflicts: 551000 | #Constraints: 42997
1833.57/1838.50 c #Conflicts: 552000 | #Constraints: 43997
1833.57/1838.50 c #Conflicts: 553000 | #Constraints: 44997
1833.57/1838.50 c #Conflicts: 554000 | #Constraints: 45997
1833.57/1838.50 c #Conflicts: 555000 | #Constraints: 46997
1833.57/1838.50 c #Conflicts: 556000 | #Constraints: 47997
1833.57/1838.50 c #Conflicts: 557000 | #Constraints: 48997
1833.57/1838.50 c #Conflicts: 558000 | #Constraints: 49997
1833.57/1838.50 c #Conflicts: 559000 | #Constraints: 50997
1833.57/1838.50 c #Conflicts: 560000 | #Constraints: 51997
1833.57/1838.50 c #Conflicts: 561000 | #Constraints: 52997
1833.57/1838.50 c #Conflicts: 562000 | #Constraints: 53997
1833.57/1838.50 c #Conflicts: 563000 | #Constraints: 54997
1833.57/1838.50 c #Conflicts: 564000 | #Constraints: 55997
1833.57/1838.50 c #Conflicts: 565000 | #Constraints: 56997
1833.57/1838.50 c #Conflicts: 566000 | #Constraints: 57997
1833.57/1838.50 c #Conflicts: 567000 | #Constraints: 58997
1833.57/1838.50 c #Conflicts: 568000 | #Constraints: 59997
1833.57/1838.50 c #Conflicts: 569000 | #Constraints: 60997
1833.57/1838.50 c #Conflicts: 570000 | #Constraints: 61997
1833.57/1838.50 c #Conflicts: 571000 | #Constraints: 62997
1833.57/1838.50 c #Conflicts: 572000 | #Constraints: 63997
1833.57/1838.50 c #Conflicts: 573000 | #Constraints: 64997
1833.57/1838.50 c #Conflicts: 574000 | #Constraints: 65997
1833.57/1838.50 c #Conflicts: 575000 | #Constraints: 66997
1833.57/1838.50 c #Conflicts: 576000 | #Constraints: 67997
1833.57/1838.50 c #Conflicts: 577000 | #Constraints: 68997
1833.57/1838.50 c #Conflicts: 578000 | #Constraints: 69997
1833.57/1838.50 c #Conflicts: 579000 | #Constraints: 70997
1833.57/1838.50 c #Conflicts: 580000 | #Constraints: 71997
1833.57/1838.50 c #Conflicts: 581000 | #Constraints: 72997
1833.57/1838.50 c #Conflicts: 582000 | #Constraints: 73997
1833.57/1838.50 c #Conflicts: 583000 | #Constraints: 74997
1833.57/1838.50 c #Conflicts: 584000 | #Constraints: 75997
1900.00/1905.12 c #Conflicts: 585000 | #Constraints: 76997
1900.00/1905.12 c #Conflicts: 586000 | #Constraints: 77997
1900.00/1905.12 c #Conflicts: 587000 | #Constraints: 78997
1900.00/1905.12 c #Conflicts: 588000 | #Constraints: 79997
1900.00/1905.12 c #Conflicts: 589000 | #Constraints: 80997
1900.00/1905.12 c #Conflicts: 590000 | #Constraints: 81997
1900.00/1905.12 c #Conflicts: 591000 | #Constraints: 82997
1900.00/1905.12 c #Conflicts: 592000 | #Constraints: 83997
1900.00/1905.12 c #Conflicts: 593000 | #Constraints: 84997
1900.00/1905.12 c #Conflicts: 594000 | #Constraints: 85997
1900.00/1905.12 c #Conflicts: 595000 | #Constraints: 86997
1900.00/1905.12 c #Conflicts: 596000 | #Constraints: 87997
1900.00/1905.12 c INPROCESSING
1900.00/1905.12 c GARBAGE COLLECT
1900.00/1905.12 c rational objective 0
1914.65/1919.86 c #Conflicts: 597000 | #Constraints: 50128
1914.65/1919.86 c #Conflicts: 598000 | #Constraints: 51128
1914.65/1919.86 c #Conflicts: 599000 | #Constraints: 52128
1914.65/1919.86 c #Conflicts: 600000 | #Constraints: 53128
1914.65/1919.86 c #Conflicts: 601000 | #Constraints: 54128
1914.65/1919.86 c #Conflicts: 602000 | #Constraints: 55128
1914.65/1919.86 c #Conflicts: 603000 | #Constraints: 56128
1914.65/1919.86 c #Conflicts: 604000 | #Constraints: 57128
1914.65/1919.86 c #Conflicts: 605000 | #Constraints: 58128
1914.65/1919.86 c #Conflicts: 606000 | #Constraints: 59128
1914.65/1919.86 c #Conflicts: 607000 | #Constraints: 60128
1914.65/1919.86 c #Conflicts: 608000 | #Constraints: 61128
1914.65/1919.86 c #Conflicts: 609000 | #Constraints: 62128
1914.65/1919.86 c #Conflicts: 610000 | #Constraints: 63128
1914.65/1919.86 c #Conflicts: 611000 | #Constraints: 64128
1914.65/1919.86 c #Conflicts: 612000 | #Constraints: 65128
1914.65/1919.86 c #Conflicts: 613000 | #Constraints: 66128
1914.65/1919.86 c #Conflicts: 614000 | #Constraints: 67128
1914.65/1919.86 c #Conflicts: 615000 | #Constraints: 68128
1914.65/1919.86 c INPROCESSING
1914.65/1919.86 c GARBAGE COLLECT
1914.65/1919.86 c rational objective 0
1963.12/1968.44 c #Conflicts: 616000 | #Constraints: 40221
1963.12/1968.44 c #Conflicts: 617000 | #Constraints: 41221
1963.12/1968.44 c #Conflicts: 618000 | #Constraints: 42221
1963.12/1968.44 c #Conflicts: 619000 | #Constraints: 43221
1963.12/1968.44 c #Conflicts: 620000 | #Constraints: 44221
1963.12/1968.44 c #Conflicts: 621000 | #Constraints: 45221
1963.12/1968.44 c #Conflicts: 622000 | #Constraints: 46221
1963.12/1968.44 c #Conflicts: 623000 | #Constraints: 47221
1963.12/1968.44 c #Conflicts: 624000 | #Constraints: 48221
1963.12/1968.44 c #Conflicts: 625000 | #Constraints: 49221
1963.12/1968.44 c #Conflicts: 626000 | #Constraints: 50221
1963.12/1968.44 c #Conflicts: 627000 | #Constraints: 51221
1963.12/1968.44 c #Conflicts: 628000 | #Constraints: 52221
1963.12/1968.44 c #Conflicts: 629000 | #Constraints: 53221
1963.12/1968.44 c #Conflicts: 630000 | #Constraints: 54221
1963.12/1968.44 c #Conflicts: 631000 | #Constraints: 55221
1963.12/1968.44 c #Conflicts: 632000 | #Constraints: 56221
1963.12/1968.44 c #Conflicts: 633000 | #Constraints: 57221
1963.12/1968.44 c #Conflicts: 634000 | #Constraints: 58221
1963.12/1968.44 c INPROCESSING
1963.12/1968.44 c GARBAGE COLLECT
1963.12/1968.44 c rational objective 0
2258.93/2265.09 c #Conflicts: 635000 | #Constraints: 38095
2258.93/2265.09 c #Conflicts: 636000 | #Constraints: 39095
2258.93/2265.09 c #Conflicts: 637000 | #Constraints: 40095
2258.93/2265.09 c #Conflicts: 638000 | #Constraints: 41095
2258.93/2265.09 c #Conflicts: 639000 | #Constraints: 42095
2258.93/2265.09 c #Conflicts: 640000 | #Constraints: 43095
2258.93/2265.09 c #Conflicts: 641000 | #Constraints: 44095
2258.93/2265.09 c #Conflicts: 642000 | #Constraints: 45095
2258.93/2265.09 c #Conflicts: 643000 | #Constraints: 46095
2258.93/2265.09 c #Conflicts: 644000 | #Constraints: 47095
2258.93/2265.09 c #Conflicts: 645000 | #Constraints: 48095
2258.93/2265.09 c #Conflicts: 646000 | #Constraints: 49095
2258.93/2265.09 c #Conflicts: 647000 | #Constraints: 50095
2258.93/2265.09 c #Conflicts: 648000 | #Constraints: 51095
2258.93/2265.09 c #Conflicts: 649000 | #Constraints: 52095
2258.93/2265.09 c #Conflicts: 650000 | #Constraints: 53095
2258.93/2265.09 c #Conflicts: 651000 | #Constraints: 54095
2258.93/2265.09 c #Conflicts: 652000 | #Constraints: 55095
2258.93/2265.09 c #Conflicts: 653000 | #Constraints: 56095
2258.93/2265.09 c #Conflicts: 654000 | #Constraints: 57095
2258.93/2265.09 c #Conflicts: 655000 | #Constraints: 58095
2258.93/2265.09 c #Conflicts: 656000 | #Constraints: 59095
2258.93/2265.09 c #Conflicts: 657000 | #Constraints: 60095
2258.93/2265.09 c #Conflicts: 658000 | #Constraints: 61095
2258.93/2265.09 c #Conflicts: 659000 | #Constraints: 62095
2258.93/2265.09 c #Conflicts: 660000 | #Constraints: 63095
2258.93/2265.09 c #Conflicts: 661000 | #Constraints: 64095
2258.93/2265.09 c #Conflicts: 662000 | #Constraints: 65095
2258.93/2265.09 c #Conflicts: 663000 | #Constraints: 66095
2258.93/2265.09 c #Conflicts: 664000 | #Constraints: 67095
2258.93/2265.09 c #Conflicts: 665000 | #Constraints: 68095
2258.93/2265.09 c #Conflicts: 666000 | #Constraints: 69095
2258.93/2265.09 c #Conflicts: 667000 | #Constraints: 70095
2258.93/2265.09 c #Conflicts: 668000 | #Constraints: 71095
2258.93/2265.09 c #Conflicts: 669000 | #Constraints: 72095
2258.93/2265.09 c #Conflicts: 670000 | #Constraints: 73095
2258.93/2265.09 c #Conflicts: 671000 | #Constraints: 74095
2258.93/2265.09 c #Conflicts: 672000 | #Constraints: 75095
2258.93/2265.09 c #Conflicts: 673000 | #Constraints: 76095
2258.93/2265.09 c #Conflicts: 674000 | #Constraints: 77095
2258.93/2265.09 c #Conflicts: 675000 | #Constraints: 78095
2258.93/2265.09 c #Conflicts: 676000 | #Constraints: 79095
2258.93/2265.09 c #Conflicts: 677000 | #Constraints: 80095
2258.93/2265.09 c #Conflicts: 678000 | #Constraints: 81095
2258.93/2265.09 c #Conflicts: 679000 | #Constraints: 82095
2258.93/2265.09 c #Conflicts: 680000 | #Constraints: 83095
2258.93/2265.09 c #Conflicts: 681000 | #Constraints: 84095
2258.93/2265.09 c #Conflicts: 682000 | #Constraints: 85095
2258.93/2265.09 c #Conflicts: 683000 | #Constraints: 86095
2258.93/2265.09 c #Conflicts: 684000 | #Constraints: 87095
2258.93/2265.09 c #Conflicts: 685000 | #Constraints: 88095
2258.93/2265.09 c #Conflicts: 686000 | #Constraints: 89095
2258.93/2265.09 c #Conflicts: 687000 | #Constraints: 90095
2258.93/2265.09 c #Conflicts: 688000 | #Constraints: 91095
2258.93/2265.09 c #Conflicts: 689000 | #Constraints: 92095
2258.93/2265.09 c #Conflicts: 690000 | #Constraints: 93095
2258.93/2265.09 c #Conflicts: 691000 | #Constraints: 94095
2258.93/2265.09 c #Conflicts: 692000 | #Constraints: 95095
2258.93/2265.09 c INPROCESSING
2258.93/2265.09 c GARBAGE COLLECT
2258.93/2265.09 c rational objective 0
2330.32/2336.66 c #Conflicts: 693000 | #Constraints: 53515
2330.32/2336.66 c #Conflicts: 694000 | #Constraints: 54515
2330.32/2336.66 c #Conflicts: 695000 | #Constraints: 55515
2330.32/2336.66 c #Conflicts: 696000 | #Constraints: 56515
2330.32/2336.66 c #Conflicts: 697000 | #Constraints: 57515
2330.32/2336.66 c #Conflicts: 698000 | #Constraints: 58515
2330.32/2336.66 c #Conflicts: 699000 | #Constraints: 59515
2330.32/2336.66 c #Conflicts: 700000 | #Constraints: 60515
2330.32/2336.66 c #Conflicts: 701000 | #Constraints: 61515
2330.32/2336.66 c #Conflicts: 702000 | #Constraints: 62515
2330.32/2336.66 c #Conflicts: 703000 | #Constraints: 63515
2330.32/2336.66 c #Conflicts: 704000 | #Constraints: 64515
2330.32/2336.66 c #Conflicts: 705000 | #Constraints: 65515
2330.32/2336.66 c #Conflicts: 706000 | #Constraints: 66515
2330.32/2336.66 c #Conflicts: 707000 | #Constraints: 67515
2330.32/2336.66 c #Conflicts: 708000 | #Constraints: 68515
2330.32/2336.66 c #Conflicts: 709000 | #Constraints: 69515
2330.32/2336.66 c #Conflicts: 710000 | #Constraints: 70515
2330.32/2336.66 c #Conflicts: 711000 | #Constraints: 71515
2330.32/2336.66 c #Conflicts: 712000 | #Constraints: 72515
2330.32/2336.66 c INPROCESSING
2330.32/2336.66 c GARBAGE COLLECT
2330.32/2336.66 c rational objective 0
2639.95/2647.16 c #Conflicts: 713000 | #Constraints: 42037
2639.95/2647.16 c #Conflicts: 714000 | #Constraints: 43037
2639.95/2647.16 c #Conflicts: 715000 | #Constraints: 44037
2639.95/2647.16 c #Conflicts: 716000 | #Constraints: 45037
2639.95/2647.16 c #Conflicts: 717000 | #Constraints: 46037
2639.95/2647.16 c #Conflicts: 718000 | #Constraints: 47037
2639.95/2647.16 c #Conflicts: 719000 | #Constraints: 48037
2639.95/2647.16 c #Conflicts: 720000 | #Constraints: 49037
2639.95/2647.16 c #Conflicts: 721000 | #Constraints: 50037
2639.95/2647.16 c #Conflicts: 722000 | #Constraints: 51037
2639.95/2647.16 c #Conflicts: 723000 | #Constraints: 52037
2639.95/2647.16 c #Conflicts: 724000 | #Constraints: 53037
2639.95/2647.16 c #Conflicts: 725000 | #Constraints: 54037
2639.95/2647.16 c #Conflicts: 726000 | #Constraints: 55037
2639.95/2647.16 c #Conflicts: 727000 | #Constraints: 56037
2639.95/2647.16 c #Conflicts: 728000 | #Constraints: 57037
2639.95/2647.16 c #Conflicts: 729000 | #Constraints: 58037
2639.95/2647.16 c #Conflicts: 730000 | #Constraints: 59037
2639.95/2647.16 c #Conflicts: 731000 | #Constraints: 60037
2639.95/2647.16 c #Conflicts: 732000 | #Constraints: 61037
2639.95/2647.16 c #Conflicts: 733000 | #Constraints: 62037
2639.95/2647.16 c #Conflicts: 734000 | #Constraints: 63037
2639.95/2647.16 c #Conflicts: 735000 | #Constraints: 64037
2639.95/2647.16 c #Conflicts: 736000 | #Constraints: 65037
2639.95/2647.16 c #Conflicts: 737000 | #Constraints: 66037
2639.95/2647.16 c #Conflicts: 738000 | #Constraints: 67037
2639.95/2647.16 c #Conflicts: 739000 | #Constraints: 68037
2639.95/2647.16 c #Conflicts: 740000 | #Constraints: 69037
2639.95/2647.16 c #Conflicts: 741000 | #Constraints: 70037
2639.95/2647.16 c #Conflicts: 742000 | #Constraints: 71037
2639.95/2647.16 c #Conflicts: 743000 | #Constraints: 72037
2639.95/2647.16 c #Conflicts: 744000 | #Constraints: 73037
2639.95/2647.16 c #Conflicts: 745000 | #Constraints: 74037
2639.95/2647.16 c #Conflicts: 746000 | #Constraints: 75037
2639.95/2647.16 c #Conflicts: 747000 | #Constraints: 76037
2639.95/2647.16 c #Conflicts: 748000 | #Constraints: 77037
2639.95/2647.16 c #Conflicts: 749000 | #Constraints: 78037
2639.95/2647.16 c #Conflicts: 750000 | #Constraints: 79037
2639.95/2647.16 c #Conflicts: 751000 | #Constraints: 80037
2639.95/2647.16 c #Conflicts: 752000 | #Constraints: 81037
2639.95/2647.16 c #Conflicts: 753000 | #Constraints: 82037
2639.95/2647.16 c #Conflicts: 754000 | #Constraints: 83037
2639.95/2647.16 c #Conflicts: 755000 | #Constraints: 84037
2639.95/2647.16 c #Conflicts: 756000 | #Constraints: 85037
2639.95/2647.16 c #Conflicts: 757000 | #Constraints: 86037
2639.95/2647.16 c #Conflicts: 758000 | #Constraints: 87037
2639.95/2647.16 c #Conflicts: 759000 | #Constraints: 88037
2639.95/2647.16 c #Conflicts: 760000 | #Constraints: 89037
2639.95/2647.16 c #Conflicts: 761000 | #Constraints: 90037
2639.95/2647.16 c #Conflicts: 762000 | #Constraints: 91037
2639.95/2647.16 c #Conflicts: 763000 | #Constraints: 92037
2639.95/2647.16 c #Conflicts: 764000 | #Constraints: 93037
2639.95/2647.16 c #Conflicts: 765000 | #Constraints: 94037
2639.95/2647.16 c #Conflicts: 766000 | #Constraints: 95037
2639.95/2647.16 c #Conflicts: 767000 | #Constraints: 96037
2639.95/2647.16 c #Conflicts: 768000 | #Constraints: 97037
2639.95/2647.16 c #Conflicts: 769000 | #Constraints: 98037
2639.95/2647.16 c #Conflicts: 770000 | #Constraints: 99037
2639.95/2647.16 c #Conflicts: 771000 | #Constraints: 100037
2639.95/2647.16 c #Conflicts: 772000 | #Constraints: 101037
2639.95/2647.16 c #Conflicts: 773000 | #Constraints: 102037
2639.95/2647.16 c #Conflicts: 774000 | #Constraints: 103037
2639.95/2647.16 c INPROCESSING
2639.95/2647.16 c GARBAGE COLLECT
2639.95/2647.16 c rational objective 0
2681.82/2689.16 c #Conflicts: 775000 | #Constraints: 57690
2681.82/2689.16 c #Conflicts: 776000 | #Constraints: 58690
2681.82/2689.16 c #Conflicts: 777000 | #Constraints: 59690
2681.82/2689.16 c #Conflicts: 778000 | #Constraints: 60690
2681.82/2689.16 c #Conflicts: 779000 | #Constraints: 61690
2681.82/2689.16 c #Conflicts: 780000 | #Constraints: 62690
2681.82/2689.16 c #Conflicts: 781000 | #Constraints: 63690
2681.82/2689.16 c #Conflicts: 782000 | #Constraints: 64690
2681.82/2689.16 c #Conflicts: 783000 | #Constraints: 65690
2681.82/2689.16 c #Conflicts: 784000 | #Constraints: 66690
2681.82/2689.16 c #Conflicts: 785000 | #Constraints: 67690
2681.82/2689.16 c #Conflicts: 786000 | #Constraints: 68690
2681.82/2689.16 c #Conflicts: 787000 | #Constraints: 69690
2681.82/2689.16 c #Conflicts: 788000 | #Constraints: 70690
2681.82/2689.16 c #Conflicts: 789000 | #Constraints: 71690
2681.82/2689.16 c #Conflicts: 790000 | #Constraints: 72690
2681.82/2689.16 c #Conflicts: 791000 | #Constraints: 73690
2681.82/2689.16 c #Conflicts: 792000 | #Constraints: 74690
2681.82/2689.16 c #Conflicts: 793000 | #Constraints: 75690
2681.82/2689.16 c #Conflicts: 794000 | #Constraints: 76690
2681.82/2689.16 c #Conflicts: 795000 | #Constraints: 77690
2681.82/2689.16 c INPROCESSING
2681.82/2689.16 c GARBAGE COLLECT
2681.82/2689.16 c rational objective 0
3017.63/3026.07 c #Conflicts: 796000 | #Constraints: 44646
3017.63/3026.07 c #Conflicts: 797000 | #Constraints: 45646
3017.63/3026.07 c #Conflicts: 798000 | #Constraints: 46646
3017.63/3026.07 c #Conflicts: 799000 | #Constraints: 47646
3017.63/3026.07 c #Conflicts: 800000 | #Constraints: 48646
3017.63/3026.07 c #Conflicts: 801000 | #Constraints: 49646
3017.63/3026.07 c #Conflicts: 802000 | #Constraints: 50646
3017.63/3026.07 c #Conflicts: 803000 | #Constraints: 51646
3017.63/3026.07 c #Conflicts: 804000 | #Constraints: 52646
3017.63/3026.07 c #Conflicts: 805000 | #Constraints: 53646
3017.63/3026.07 c #Conflicts: 806000 | #Constraints: 54646
3017.63/3026.07 c #Conflicts: 807000 | #Constraints: 55646
3017.63/3026.07 c #Conflicts: 808000 | #Constraints: 56646
3017.63/3026.07 c #Conflicts: 809000 | #Constraints: 57646
3017.63/3026.07 c #Conflicts: 810000 | #Constraints: 58646
3017.63/3026.07 c #Conflicts: 811000 | #Constraints: 59646
3017.63/3026.07 c #Conflicts: 812000 | #Constraints: 60646
3017.63/3026.07 c #Conflicts: 813000 | #Constraints: 61646
3017.63/3026.07 c #Conflicts: 814000 | #Constraints: 62646
3017.63/3026.07 c #Conflicts: 815000 | #Constraints: 63646
3017.63/3026.07 c #Conflicts: 816000 | #Constraints: 64646
3017.63/3026.07 c #Conflicts: 817000 | #Constraints: 65646
3017.63/3026.07 c #Conflicts: 818000 | #Constraints: 66646
3017.63/3026.07 c #Conflicts: 819000 | #Constraints: 67646
3017.63/3026.07 c #Conflicts: 820000 | #Constraints: 68646
3017.63/3026.07 c #Conflicts: 821000 | #Constraints: 69646
3017.63/3026.07 c #Conflicts: 822000 | #Constraints: 70646
3017.63/3026.07 c #Conflicts: 823000 | #Constraints: 71646
3017.63/3026.07 c #Conflicts: 824000 | #Constraints: 72646
3017.63/3026.07 c #Conflicts: 825000 | #Constraints: 73646
3017.63/3026.07 c #Conflicts: 826000 | #Constraints: 74646
3017.63/3026.07 c #Conflicts: 827000 | #Constraints: 75646
3017.63/3026.07 c #Conflicts: 828000 | #Constraints: 76646
3017.63/3026.07 c #Conflicts: 829000 | #Constraints: 77646
3017.63/3026.07 c #Conflicts: 830000 | #Constraints: 78646
3017.63/3026.07 c #Conflicts: 831000 | #Constraints: 79646
3017.63/3026.07 c #Conflicts: 832000 | #Constraints: 80646
3017.63/3026.07 c #Conflicts: 833000 | #Constraints: 81646
3017.63/3026.07 c #Conflicts: 834000 | #Constraints: 82646
3017.63/3026.07 c #Conflicts: 835000 | #Constraints: 83646
3017.63/3026.07 c #Conflicts: 836000 | #Constraints: 84646
3017.63/3026.07 c #Conflicts: 837000 | #Constraints: 85646
3017.63/3026.07 c #Conflicts: 838000 | #Constraints: 86646
3017.63/3026.07 c #Conflicts: 839000 | #Constraints: 87646
3017.63/3026.07 c #Conflicts: 840000 | #Constraints: 88646
3017.63/3026.07 c #Conflicts: 841000 | #Constraints: 89646
3017.63/3026.07 c #Conflicts: 842000 | #Constraints: 90646
3017.63/3026.07 c #Conflicts: 843000 | #Constraints: 91646
3017.63/3026.07 c #Conflicts: 844000 | #Constraints: 92646
3017.63/3026.07 c #Conflicts: 845000 | #Constraints: 93646
3017.63/3026.07 c #Conflicts: 846000 | #Constraints: 94646
3017.63/3026.07 c #Conflicts: 847000 | #Constraints: 95646
3017.63/3026.07 c #Conflicts: 848000 | #Constraints: 96646
3017.63/3026.07 c #Conflicts: 849000 | #Constraints: 97646
3017.63/3026.07 c #Conflicts: 850000 | #Constraints: 98646
3017.63/3026.07 c #Conflicts: 851000 | #Constraints: 99646
3017.63/3026.07 c #Conflicts: 852000 | #Constraints: 100646
3017.63/3026.07 c #Conflicts: 853000 | #Constraints: 101646
3017.63/3026.07 c #Conflicts: 854000 | #Constraints: 102646
3017.63/3026.07 c #Conflicts: 855000 | #Constraints: 103646
3017.63/3026.07 c #Conflicts: 856000 | #Constraints: 104646
3017.63/3026.07 c #Conflicts: 857000 | #Constraints: 105646
3017.63/3026.07 c #Conflicts: 858000 | #Constraints: 106646
3017.63/3026.07 c #Conflicts: 859000 | #Constraints: 107646
3017.63/3026.07 c #Conflicts: 860000 | #Constraints: 108646
3017.63/3026.07 c INPROCESSING
3017.63/3026.07 c GARBAGE COLLECT
3017.63/3026.07 c rational objective 0
3071.85/3080.40 c #Conflicts: 861000 | #Constraints: 60440
3071.85/3080.40 c #Conflicts: 862000 | #Constraints: 61440
3071.85/3080.40 c #Conflicts: 863000 | #Constraints: 62440
3071.85/3080.40 c #Conflicts: 864000 | #Constraints: 63440
3071.85/3080.40 c #Conflicts: 865000 | #Constraints: 64440
3071.85/3080.40 c #Conflicts: 866000 | #Constraints: 65440
3071.85/3080.40 c #Conflicts: 867000 | #Constraints: 66440
3071.85/3080.40 c #Conflicts: 868000 | #Constraints: 67440
3071.85/3080.40 c #Conflicts: 869000 | #Constraints: 68440
3071.85/3080.40 c #Conflicts: 870000 | #Constraints: 69440
3071.85/3080.40 c #Conflicts: 871000 | #Constraints: 70440
3071.85/3080.40 c #Conflicts: 872000 | #Constraints: 71440
3071.85/3080.40 c #Conflicts: 873000 | #Constraints: 72440
3071.85/3080.40 c #Conflicts: 874000 | #Constraints: 73440
3071.85/3080.40 c #Conflicts: 875000 | #Constraints: 74440
3071.85/3080.40 c #Conflicts: 876000 | #Constraints: 75440
3071.85/3080.40 c #Conflicts: 877000 | #Constraints: 76440
3071.85/3080.40 c #Conflicts: 878000 | #Constraints: 77440
3071.85/3080.40 c #Conflicts: 879000 | #Constraints: 78440
3071.85/3080.40 c #Conflicts: 880000 | #Constraints: 79440
3071.85/3080.40 c #Conflicts: 881000 | #Constraints: 80440
3071.85/3080.40 c #Conflicts: 882000 | #Constraints: 81440
3071.85/3080.40 c #Conflicts: 883000 | #Constraints: 82440
3071.85/3080.40 c INPROCESSING
3071.85/3080.40 c GARBAGE COLLECT
3071.85/3080.40 c rational objective 0
3576.11/3586.36 c #Conflicts: 884000 | #Constraints: 47327
3576.11/3586.36 c #Conflicts: 885000 | #Constraints: 48327
3576.11/3586.36 c #Conflicts: 886000 | #Constraints: 49327
3576.11/3586.36 c #Conflicts: 887000 | #Constraints: 50327
3576.11/3586.36 c #Conflicts: 888000 | #Constraints: 51327
3576.11/3586.36 c #Conflicts: 889000 | #Constraints: 52327
3576.11/3586.36 c #Conflicts: 890000 | #Constraints: 53327
3576.11/3586.36 c #Conflicts: 891000 | #Constraints: 54327
3576.11/3586.36 c #Conflicts: 892000 | #Constraints: 55327
3576.11/3586.36 c #Conflicts: 893000 | #Constraints: 56327
3576.11/3586.36 c #Conflicts: 894000 | #Constraints: 57327
3576.11/3586.36 c #Conflicts: 895000 | #Constraints: 58327
3576.11/3586.36 c #Conflicts: 896000 | #Constraints: 59327
3576.11/3586.36 c #Conflicts: 897000 | #Constraints: 60327
3576.11/3586.36 c #Conflicts: 898000 | #Constraints: 61327
3576.11/3586.36 c #Conflicts: 899000 | #Constraints: 62327
3576.11/3586.36 c #Conflicts: 900000 | #Constraints: 63327
3576.11/3586.36 c #Conflicts: 901000 | #Constraints: 64327
3576.11/3586.36 c #Conflicts: 902000 | #Constraints: 65327
3576.11/3586.36 c #Conflicts: 903000 | #Constraints: 66327
3576.11/3586.36 c #Conflicts: 904000 | #Constraints: 67327
3576.11/3586.36 c #Conflicts: 905000 | #Constraints: 68327
3576.11/3586.36 c #Conflicts: 906000 | #Constraints: 69327
3576.11/3586.36 c #Conflicts: 907000 | #Constraints: 70327
3576.11/3586.36 c #Conflicts: 908000 | #Constraints: 71327
3576.11/3586.36 c #Conflicts: 909000 | #Constraints: 72327
3576.11/3586.36 c #Conflicts: 910000 | #Constraints: 73327
3576.11/3586.36 c #Conflicts: 911000 | #Constraints: 74327
3576.11/3586.36 c #Conflicts: 912000 | #Constraints: 75327
3576.11/3586.36 c #Conflicts: 913000 | #Constraints: 76327
3576.11/3586.36 c #Conflicts: 914000 | #Constraints: 77327
3576.11/3586.36 c #Conflicts: 915000 | #Constraints: 78327
3576.11/3586.36 c #Conflicts: 916000 | #Constraints: 79327
3576.11/3586.36 c #Conflicts: 917000 | #Constraints: 80327
3576.11/3586.36 c #Conflicts: 918000 | #Constraints: 81327
3576.11/3586.36 c #Conflicts: 919000 | #Constraints: 82327
3576.11/3586.36 c #Conflicts: 920000 | #Constraints: 83327
3576.11/3586.36 c #Conflicts: 921000 | #Constraints: 84327
3576.11/3586.36 c #Conflicts: 922000 | #Constraints: 85327
3576.11/3586.36 c #Conflicts: 923000 | #Constraints: 86327
3576.11/3586.36 c #Conflicts: 924000 | #Constraints: 87327
3576.11/3586.36 c #Conflicts: 925000 | #Constraints: 88327
3576.11/3586.36 c #Conflicts: 926000 | #Constraints: 89327
3576.11/3586.36 c #Conflicts: 927000 | #Constraints: 90327
3576.11/3586.36 c #Conflicts: 928000 | #Constraints: 91327
3576.11/3586.36 c #Conflicts: 929000 | #Constraints: 92327
3576.11/3586.36 c #Conflicts: 930000 | #Constraints: 93327
3576.11/3586.36 c #Conflicts: 931000 | #Constraints: 94327
3576.11/3586.36 c #Conflicts: 932000 | #Constraints: 95327
3576.11/3586.36 c #Conflicts: 933000 | #Constraints: 96327
3576.11/3586.36 c #Conflicts: 934000 | #Constraints: 97327
3576.11/3586.36 c #Conflicts: 935000 | #Constraints: 98327
3576.11/3586.36 c #Conflicts: 936000 | #Constraints: 99327
3576.11/3586.36 c #Conflicts: 937000 | #Constraints: 100327
3576.11/3586.36 c #Conflicts: 938000 | #Constraints: 101327
3576.11/3586.36 c #Conflicts: 939000 | #Constraints: 102327
3576.11/3586.36 c #Conflicts: 940000 | #Constraints: 103327
3576.11/3586.36 c #Conflicts: 941000 | #Constraints: 104327
3576.11/3586.36 c #Conflicts: 942000 | #Constraints: 105327
3576.11/3586.36 c #Conflicts: 943000 | #Constraints: 106327
3576.11/3586.36 c #Conflicts: 944000 | #Constraints: 107327
3576.11/3586.36 c #Conflicts: 945000 | #Constraints: 108327
3576.11/3586.36 c #Conflicts: 946000 | #Constraints: 109327
3576.11/3586.36 c #Conflicts: 947000 | #Constraints: 110327
3576.11/3586.36 c #Conflicts: 948000 | #Constraints: 111327
3576.11/3586.36 c #Conflicts: 949000 | #Constraints: 112327
3576.11/3586.36 c #Conflicts: 950000 | #Constraints: 113327
3576.11/3586.36 c INPROCESSING
3576.11/3586.36 c GARBAGE COLLECT
3576.11/3586.36 c rational objective 0
3600.03/3610.30 c #Conflicts: 951000 | #Constraints: 62572
3600.03/3610.30 c #Conflicts: 952000 | #Constraints: 63572
3600.03/3610.30 c #Conflicts: 953000 | #Constraints: 64572
3600.03/3610.30 c #Conflicts: 954000 | #Constraints: 65572
3600.03/3610.30 c #Conflicts: 955000 | #Constraints: 66572
3600.03/3610.30 c #Conflicts: 956000 | #Constraints: 67572
3600.03/3610.30 c #Conflicts: 957000 | #Constraints: 68572
3600.03/3610.30 c #Conflicts: 958000 | #Constraints: 69572
3600.03/3610.30 c #Conflicts: 959000 | #Constraints: 70572
3600.03/3610.30 c #Conflicts: 960000 | #Constraints: 71572
3600.03/3610.30 c #Conflicts: 961000 | #Constraints: 72572
3600.03/3610.30 c cpu time 3595.09 s
3600.03/3610.30 c deterministic time 138262811555 1.38e+11
3600.03/3610.30 c optimization time 23.7116 s
3600.03/3610.30 c total solve time 3571.35 s
3600.03/3610.30 c core-guided solve time 0 s
3600.03/3610.30 c propagation time 1789.73 s
3600.03/3610.30 c conflict analysis time 1762.17 s
3600.03/3610.30 c propagations 606703456
3600.03/3610.30 c resolve steps 210477866
3600.03/3610.30 c decisions 1536167
3600.03/3610.30 c conflicts 961994
3600.03/3610.30 c restarts 2044
3600.03/3610.30 c inprocessing phases 49
3600.03/3610.30 c garbage collections 49 ,( 100.00 )
3600.03/3610.30 c input clauses 6382 ,( 65.91 )
3600.03/3610.30 c input cardinalities 0 ,( 0.00 )
3600.03/3610.30 c input general constraints 3301 ,( 34.09 )
3600.03/3610.30 c input average constraint length 3.11
3600.03/3610.30 c input average constraint degree 1860415006660.95
3600.03/3610.30 c learned clauses 715173 ,( 74.34 )
3600.03/3610.30 c learned cardinalities 572 ,( 0.06 )
3600.03/3610.30 c learned general constraints 246249 ,( 25.60 )
3600.03/3610.30 c learned average constraint length 331.36
3600.03/3610.30 c learned average constraint degree 101907855.15
3600.03/3610.30 c watched CF 32, 64, 128, Arb: 52281 , 0 , 0 , 0
3600.03/3610.30 c counting CF 32, 64, 128, Arb: 197268 , 1 , 0 , 0
3600.03/3610.30 c watched constraints 52281 ,( 20.95 )
3600.03/3610.30 c counting constraints 197269 ,( 79.05 )
3600.03/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 772031247 , 23913741 , 43531296857 ,( 82757644 , 43448539213 )
3600.03/3610.30 c gcd simplifications 8016
3600.03/3610.30 c detected cardinalities 497
3600.03/3610.30 c weakened non-implied lits 50218555
3600.03/3610.30 c weakened non-implying lits 154807
3600.03/3610.30 c original variables 5122
3600.03/3610.30 c clausal propagations 171787702
3600.03/3610.30 c cardinality propagations 1141849
3600.03/3610.30 c watched propagations 1051968
3600.03/3610.30 c counting propagations 431743442
3600.03/3610.30 c watch lookups 106889471637
3600.03/3610.30 c watch backjump lookups 0
3600.03/3610.30 c watch checks 3246761524
3600.03/3610.30 c propagation checks 25428458776
3600.03/3610.30 c constraint additions 1480496522
3600.03/3610.30 c trail pops 609196640
3600.03/3610.30 c formula constraints 9683
3600.03/3610.30 c learned constraints 961992
3600.03/3610.30 c bound constraints 0
3600.03/3610.30 c core-guided constraints 0
3600.03/3610.30 c encountered formula constraints 175782983
3600.03/3610.30 c encountered learned constraints 35631553
3600.03/3610.30 c encountered bound constraints 0
3600.03/3610.30 c encountered core-guided constraints 0
3600.03/3610.30 c LP total time 18.4471 s
3600.03/3610.30 c LP solve time 17.12 s
3600.03/3610.30 c LP constraints added 9683
3600.03/3610.30 c LP constraints removed 0
3600.03/3610.30 c LP pivots internal 98520
3600.03/3610.30 c LP pivots root 88312
3600.03/3610.30 c LP calls 103
3600.03/3610.30 c LP optimalities 98
3600.03/3610.30 c LP no pivot count 5
3600.03/3610.30 c LP infeasibilities 1
3600.03/3610.30 c LP valid Farkas constraints 1
3600.03/3610.30 c LP learned Farkas constraints 1
3600.03/3610.30 c LP basis resets 0
3600.03/3610.30 c LP cycling count 0
3600.03/3610.30 c LP singular count 0
3600.03/3610.30 c LP no primal count 0
3600.03/3610.30 c LP no farkas count 0
3600.03/3610.30 c LP other issue count 0
3600.03/3610.30 c LP Gomory cuts 0
3600.03/3610.30 c LP learned cuts 0
3600.03/3610.30 c LP deleted cuts 0
3600.03/3610.30 c LP encountered Gomory constraints 0
3600.03/3610.30 c LP encountered Farkas constraints 25322
3600.03/3610.30 c LP encountered learned Farkas constraints 1
3600.03/3610.30 c CG auxiliary variables introduced 0
3600.03/3610.30 c CG solutions found 0
3600.03/3610.30 c CG cores constructed 0
3600.03/3610.30 c CG core cardinality constraints returned 0
3600.03/3610.30 c CG unit cores 0
3600.03/3610.30 c CG single cores 0
3600.03/3610.30 c CG blocks removed during cardinality reduction 0
3600.03/3610.30 c CG first core best 0
3600.03/3610.30 c CG decision core best 0
3600.03/3610.30 c CG core reduction tie 0
3600.03/3610.30 c CG core degree average 0.00
3600.03/3610.30 c CG core slack average 0.00
3600.03/3610.30 c CG core upper bound improvements 0
3600.03/3610.30 c STR number of successful calls 0
3600.03/3610.30 c STR number of unsuccessful calls 0
3600.03/3610.30 c STR number of inconclusive calls 0
3600.03/3610.30 c STR number of successful attempts 0
3600.03/3610.30 c STR number of unsuccessful attempts 0
3600.03/3610.30 c STR number of inconclusive attempts 0
3600.03/3610.30 c STR average degree increase per successful call inf
3600.03/3610.30 c STR average degree increase per successful attempt inf
3600.03/3610.30 c STR total number of conflicts for successful attempts 0
3600.03/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.30 c STR average number of conflicts per successful attempt inf
3600.03/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.30 c AVG.sumWPerc 72.02
3600.03/3610.30 c bigint constraints 1
3600.03/3610.30 s UNKNOWN
3600.03/3610.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62084 MiB free)
memory of node 1: 64465 MiB (62387 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541763-1753202596/watcher-4541763-1753202596 -o /tmp/evaluation-result-4541763-1753202596/solver-4541763-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753198973-157109 --watchdog 3760 run-dec-ls.sh HOME/instance-4541763-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
solver pid=157541, runsolver pid=157537
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127438396/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=74468 memory=28800 CPUtime=0.07 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 4641 0 0 0 6 1 0 0 20 0 1 0 235934178 76255232 7200 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 18617 7200 2336 1147 0 6044 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 78660 KiB
Current children cumulated memory: 31872 KiB
[startup+0.205575 s]*
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127438396/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=75728 memory=29696 CPUtime=0.18 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 4846 0 0 0 17 1 0 0 20 0 1 0 235934178 77545472 7424 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 18932 7424 2368 1147 0 6359 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 79920 KiB
Current children cumulated memory: 32768 KiB
[startup+0.305242 s]*
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127437388/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=75728 memory=29696 CPUtime=0.28 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 4850 0 0 0 26 2 0 0 20 0 1 0 235934178 77545472 7424 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 18932 7424 2368 1147 0 6359 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 79920 KiB
Current children cumulated memory: 32768 KiB
[startup+0.700125 s]
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127435120/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=75728 memory=30080 CPUtime=0.67 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 4959 0 0 0 65 2 0 0 20 0 1 0 235934178 77545472 7520 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 18932 7520 2368 1147 0 6359 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 79920 KiB
Current children cumulated memory: 33152 KiB
[startup+1.50013 s]
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127435120/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=76788 memory=31104 CPUtime=1.47 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 5213 0 0 0 145 2 0 0 20 0 1 0 235934178 78630912 7776 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 19197 7776 2368 1147 0 6624 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 80980 KiB
Current children cumulated memory: 34176 KiB
[startup+3.10532 s]
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127431260/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=78676 memory=35132 CPUtime=3.07 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 5705 0 0 0 304 3 0 0 20 0 1 0 235934178 80564224 8783 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 19669 8783 2368 1147 0 7096 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 82868 KiB
Current children cumulated memory: 38204 KiB
[startup+6.30012 s]
/proc/loadavg: 4.19 4.16 4.06 5/269 157548
/proc/meminfo: memFree=127427832/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=79520 memory=35900 CPUtime=6.26 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 5894 0 0 0 622 4 0 0 20 0 1 0 235934178 81428480 8975 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 19880 8975 2368 1147 0 7307 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 83712 KiB
Current children cumulated memory: 38972 KiB
[startup+12.7001 s]
/proc/loadavg: 4.17 4.16 4.06 5/269 157548
/proc/meminfo: memFree=127419768/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=82288 memory=38332 CPUtime=12.64 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 6504 0 0 0 1258 6 0 0 20 0 1 0 235934178 84262912 9583 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 20572 9583 2368 1147 0 7999 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 86480 KiB
Current children cumulated memory: 41404 KiB
[startup+25.5001 s]
/proc/loadavg: 4.22 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127398920/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=84612 memory=41020 CPUtime=25.41 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 7174 0 0 0 2531 10 0 0 20 0 1 0 235934178 86642688 10255 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 21153 10255 2368 1147 0 8580 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 88804 KiB
Current children cumulated memory: 44092 KiB
[startup+51.1053 s]
/proc/loadavg: 4.21 4.17 4.06 5/269 157549
/proc/meminfo: memFree=127360020/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=93120 memory=48700 CPUtime=50.96 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 9121 0 0 0 5076 20 0 0 20 0 1 0 235934178 95354880 12175 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 23280 12175 2368 1147 0 10707 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 97312 KiB
Current children cumulated memory: 51772 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.07 5/268 157552
/proc/meminfo: memFree=127265556/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=126708 memory=76208 CPUtime=102.02 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 12951 0 0 0 10170 32 0 0 20 0 1 0 235934178 129748992 19052 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 31677 19052 2368 1147 0 19104 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 130900 KiB
Current children cumulated memory: 79280 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.07 5/268 157554
/proc/meminfo: memFree=127128244/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=155248 memory=106108 CPUtime=161.86 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 19414 0 0 0 16134 52 0 0 20 0 1 0 235934178 158973952 26527 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 38812 26527 2368 1147 0 26239 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 159440 KiB
Current children cumulated memory: 109180 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.07 5/269 157557
/proc/meminfo: memFree=127010252/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=159384 memory=111928 CPUtime=221.71 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 20337 0 0 0 22099 72 0 0 20 0 1 0 235934178 163209216 27982 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 39846 27982 2368 1147 0 27273 0
################
# More data... #
################
/proc/157547/statm: 105910 93503 2368 1147 0 93337 0
Current children cumulated CPU time: 3093.68 s
Current children cumulated vsize: 427832 KiB
Current children cumulated memory: 377084 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 157719
/proc/meminfo: memFree=124733492/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=423640 memory=374012 CPUtime=3153.49 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 55142 0 0 0 314887 462 0 0 20 0 1 0 235934178 433807360 93503 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 105910 93503 2368 1147 0 93337 0
Current children cumulated CPU time: 3153.49 s
Current children cumulated vsize: 427832 KiB
Current children cumulated memory: 377084 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/269 157721
/proc/meminfo: memFree=124664964/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=423640 memory=374012 CPUtime=3213.29 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 55143 0 0 0 320862 467 0 0 20 0 1 0 235934178 433807360 93503 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 105910 93503 2368 1147 0 93337 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 427832 KiB
Current children cumulated memory: 377084 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 157723
/proc/meminfo: memFree=124611592/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=423640 memory=374012 CPUtime=3273.1 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 55149 0 0 0 326838 472 0 0 20 0 1 0 235934178 433807360 93503 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 105910 93503 2368 1147 0 93337 0
Current children cumulated CPU time: 3273.1 s
Current children cumulated vsize: 427832 KiB
Current children cumulated memory: 377084 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 157727
/proc/meminfo: memFree=124550408/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=423784 memory=374140 CPUtime=3332.91 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 55184 0 0 0 332817 474 0 0 20 0 1 0 235934178 433954816 93535 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 105946 93535 2368 1147 0 93373 0
Current children cumulated CPU time: 3332.91 s
Current children cumulated vsize: 427976 KiB
Current children cumulated memory: 377212 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/270 157730
/proc/meminfo: memFree=124478176/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=426344 memory=375676 CPUtime=3392.71 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 55566 0 0 0 338795 476 0 0 20 0 1 0 235934178 436576256 93919 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 106586 93919 2368 1147 0 94013 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 430536 KiB
Current children cumulated memory: 378748 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/270 157732
/proc/meminfo: memFree=124440204/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=432168 memory=379644 CPUtime=3452.52 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 56554 0 0 0 344773 479 0 0 20 0 1 0 235934178 442540032 94911 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 108042 94911 2368 1147 0 95469 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 436360 KiB
Current children cumulated memory: 382716 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 157734
/proc/meminfo: memFree=124349344/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=521496 memory=389524 CPUtime=3512.32 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 58503 0 0 0 350750 482 0 0 20 0 1 0 235934178 534011904 97381 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 130374 97381 2368 1147 0 117801 0
Current children cumulated CPU time: 3512.32 s
Current children cumulated vsize: 525688 KiB
Current children cumulated memory: 392596 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 157736
/proc/meminfo: memFree=124281484/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=526072 memory=400988 CPUtime=3572.12 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 59338 0 0 0 356726 486 0 0 20 0 1 0 235934178 538697728 100247 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 131518 100247 2368 1147 0 118945 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 530264 KiB
Current children cumulated memory: 404060 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.10 4.11 4.09 4/260 157787
/proc/meminfo: memFree=126210448/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=551104 memory=421212 CPUtime=3600.03 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 64387 0 0 0 359509 494 0 0 20 0 1 0 235934178 564330496 105303 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 137776 105303 2368 1147 0 125203 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 555296 KiB
Current children cumulated memory: 424284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 157541 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000982 s, system=0.001139 s
[startup+3610.31 s]
# the end of solver process 157547 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3595.1 s, system=4.95008 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.10 4.11 4.09 4/260 157787
/proc/meminfo: memFree=126210448/131249992 swapFree=33009392/33010684
[pid=157541] ppid=157537 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/157541/stat : 157541 (run-dec-ls.sh) S 157537 157541 157089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235934177 4292608 768 18446744073709551615 94836501131264 94836502025797 140737264426784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94836502264848 94836502312592 94836530741248 140737264429413 140737264429539 140737264429539 140737264435143 0
/proc/157541/statm: 1048 768 704 219 0 110 0
[pid=157547] ppid=157541 vsize=551104 memory=421212 CPUtime=3600.03 cores=5,7
/proc/157547/stat : 157547 (roundingsat) R 157541 157541 157089 0 -1 4194304 64387 0 0 0 359509 494 0 0 20 0 1 0 235934178 564330496 105303 18446744073709551615 4227072 8923433 140721812519328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13099008 140721812527518 140721812527654 140721812527654 140721812533226 0
/proc/157547/statm: 137776 105303 2368 1147 0 125203 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 555296 KiB
Current children cumulated memory: 424284 KiB
Child status: 2
Real time (s): 3610.31
CPU time (s): 3600.05
CPU user time (s): 3595.1
CPU system time (s): 4.95008
CPU usage (%): 99.7158
Max. virtual memory (cumulated for all children) (KiB): 555296
Max. memory (cumulated for all children) (KiB): 424284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.1
system time used= 4.95008
maximum resident set size= 421596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64612
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 243
involuntary context switches= 20353
# summary of solver processes directly reported to runsolver:
# pid: 157541,157547
# total CPU time (s): 3600.05
# total CPU user time (s): 3595.1
# total CPU system time (s): 4.95008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01243 second user time and 16.3566 second system time
The end
Begin job on nodeC035 at 2025-07-22 18:43:16
IDJOB=4541763
IDBENCH=163377
IDSOLVER=3353
FILE ID=nodeC035/4541763-1753202596
RUNJOBID= nodeC035-1753198973-157109
SLURM_JOB_ID= 9687768
Free space on /tmp= 432452 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541763-1753202596/watcher-4541763-1753202596 -o /tmp/evaluation-result-4541763-1753202596/solver-4541763-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753198973-157109 --watchdog 3760 run-dec-ls.sh HOME/instance-4541763-1753202596.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c5f0df1008e51f7adaa039b331d221c7
RANDOM SEED=1063239506
nodeC035 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 : 3600.304
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.51
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 : 3630.808
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.047
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.51
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 : 3599.672
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.51
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 : 3598.970
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.51
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 : 3597.520
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.51
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.977
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.51
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.746
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 127476136 kB
MemAvailable: 129665660 kB
Buffers: 664 kB
Cached: 2940916 kB
SwapCached: 336 kB
Active: 939184 kB
Inactive: 2070660 kB
Active(anon): 75260 kB
Inactive(anon): 18908 kB
Active(file): 863924 kB
Inactive(file): 2051752 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 27112 kB
Writeback: 0 kB
AnonPages: 71208 kB
Mapped: 109316 kB
Shmem: 25904 kB
KReclaimable: 226176 kB
Slab: 321612 kB
SReclaimable: 226176 kB
SUnreclaim: 95436 kB
KernelStack: 4144 kB
PageTables: 2988 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 352776 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432436 MiB
End job on nodeC035 at 2025-07-22 19:43:27