0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.05 c #variables 5122 #constraints 9683
0.00/0.06 c rational objective 0
1.97/2.07 c #Conflicts: 1000 | #Constraints: 10682
1.97/2.07 c #Conflicts: 2000 | #Constraints: 11682
1.97/2.07 c INPROCESSING
1.97/2.07 c GARBAGE COLLECT
1.97/2.07 c rational objective 0
78.71/78.95 c #Conflicts: 3000 | #Constraints: 11639
78.71/78.95 c #Conflicts: 4000 | #Constraints: 12639
78.71/78.95 c INPROCESSING
78.71/78.95 c GARBAGE COLLECT
78.71/78.95 c #Conflicts: 5000 | #Constraints: 12061
78.71/78.95 c #Conflicts: 6000 | #Constraints: 13061
78.71/78.95 c INPROCESSING
78.71/78.95 c GARBAGE COLLECT
78.71/78.95 c #Conflicts: 7000 | #Constraints: 12072
78.71/78.95 c #Conflicts: 8000 | #Constraints: 13072
78.71/78.95 c #Conflicts: 9000 | #Constraints: 14072
78.71/78.95 c INPROCESSING
78.71/78.95 c GARBAGE COLLECT
78.71/78.95 c #Conflicts: 10000 | #Constraints: 12795
78.71/78.95 c #Conflicts: 11000 | #Constraints: 13795
78.71/78.95 c #Conflicts: 12000 | #Constraints: 14795
78.71/78.95 c INPROCESSING
78.71/78.95 c GARBAGE COLLECT
78.71/78.95 c #Conflicts: 13000 | #Constraints: 13249
78.71/78.95 c #Conflicts: 14000 | #Constraints: 14249
78.71/78.95 c #Conflicts: 15000 | #Constraints: 15249
78.71/78.95 c INPROCESSING
78.71/78.95 c GARBAGE COLLECT
78.71/78.95 c #Conflicts: 16000 | #Constraints: 13492
78.71/78.95 c #Conflicts: 17000 | #Constraints: 14492
78.71/78.95 c #Conflicts: 18000 | #Constraints: 15492
78.71/78.95 c INPROCESSING
78.71/78.95 c GARBAGE COLLECT
78.71/78.95 c #Conflicts: 19000 | #Constraints: 13506
78.71/78.95 c #Conflicts: 20000 | #Constraints: 14506
78.71/78.95 c #Conflicts: 21000 | #Constraints: 15506
78.71/78.95 c INPROCESSING
78.71/78.95 c GARBAGE COLLECT
78.71/78.95 c #Conflicts: 22000 | #Constraints: 13325
78.71/78.95 c #Conflicts: 23000 | #Constraints: 14325
78.71/78.95 c #Conflicts: 24000 | #Constraints: 15325
78.71/78.95 c #Conflicts: 25000 | #Constraints: 16325
78.71/78.95 c INPROCESSING
78.71/78.95 c GARBAGE COLLECT
78.71/78.95 c #Conflicts: 26000 | #Constraints: 13940
78.71/78.95 c #Conflicts: 27000 | #Constraints: 14940
78.71/78.95 c #Conflicts: 28000 | #Constraints: 15940
78.71/78.95 c #Conflicts: 29000 | #Constraints: 16940
78.71/78.95 c INPROCESSING
78.71/78.95 c GARBAGE COLLECT
78.71/78.95 c #Conflicts: 30000 | #Constraints: 14355
78.71/78.95 c #Conflicts: 31000 | #Constraints: 15355
78.71/78.95 c #Conflicts: 32000 | #Constraints: 16355
78.71/78.95 c #Conflicts: 33000 | #Constraints: 17355
78.71/78.95 c INPROCESSING
78.71/78.95 c GARBAGE COLLECT
78.71/78.95 c #Conflicts: 34000 | #Constraints: 14573
78.71/78.95 c #Conflicts: 35000 | #Constraints: 15573
78.71/78.95 c #Conflicts: 36000 | #Constraints: 16573
78.71/78.95 c #Conflicts: 37000 | #Constraints: 17573
78.71/78.95 c #Conflicts: 38000 | #Constraints: 18573
78.71/78.95 c #Conflicts: 39000 | #Constraints: 19573
78.71/78.95 c #Conflicts: 40000 | #Constraints: 20573
78.71/78.95 c #Conflicts: 41000 | #Constraints: 21573
78.71/78.95 c #Conflicts: 42000 | #Constraints: 22573
78.71/78.95 c #Conflicts: 43000 | #Constraints: 23573
78.71/78.95 c #Conflicts: 44000 | #Constraints: 24573
78.71/78.95 c #Conflicts: 45000 | #Constraints: 25573
78.71/78.95 c #Conflicts: 46000 | #Constraints: 26573
78.71/78.95 c #Conflicts: 47000 | #Constraints: 27573
78.71/78.95 c #Conflicts: 48000 | #Constraints: 28573
78.71/78.95 c INPROCESSING
78.71/78.95 c GARBAGE COLLECT
78.71/78.95 c #Conflicts: 49000 | #Constraints: 20196
78.71/78.95 c #Conflicts: 50000 | #Constraints: 21196
78.71/78.95 c #Conflicts: 51000 | #Constraints: 22196
78.71/78.95 c #Conflicts: 52000 | #Constraints: 23196
78.71/78.95 c #Conflicts: 53000 | #Constraints: 24196
78.71/78.95 c INPROCESSING
78.71/78.95 c GARBAGE COLLECT
78.71/78.95 c rational objective 0
141.66/142.00 c #Conflicts: 54000 | #Constraints: 17861
141.66/142.00 c #Conflicts: 55000 | #Constraints: 18861
141.66/142.00 c #Conflicts: 56000 | #Constraints: 19861
141.66/142.00 c #Conflicts: 57000 | #Constraints: 20861
141.66/142.00 c #Conflicts: 58000 | #Constraints: 21861
141.66/142.00 c INPROCESSING
141.66/142.00 c GARBAGE COLLECT
141.66/142.00 c #Conflicts: 59000 | #Constraints: 16456
141.66/142.00 c #Conflicts: 60000 | #Constraints: 17456
141.66/142.00 c #Conflicts: 61000 | #Constraints: 18456
141.66/142.00 c #Conflicts: 62000 | #Constraints: 19456
141.66/142.00 c #Conflicts: 63000 | #Constraints: 20456
141.66/142.00 c #Conflicts: 64000 | #Constraints: 21456
141.66/142.00 c INPROCESSING
141.66/142.00 c GARBAGE COLLECT
141.66/142.00 c #Conflicts: 65000 | #Constraints: 16402
141.66/142.00 c #Conflicts: 66000 | #Constraints: 17402
141.66/142.00 c #Conflicts: 67000 | #Constraints: 18402
141.66/142.00 c #Conflicts: 68000 | #Constraints: 19402
141.66/142.00 c #Conflicts: 69000 | #Constraints: 20402
141.66/142.00 c #Conflicts: 70000 | #Constraints: 21402
141.66/142.00 c #Conflicts: 71000 | #Constraints: 22402
141.66/142.00 c #Conflicts: 72000 | #Constraints: 23402
141.66/142.00 c #Conflicts: 73000 | #Constraints: 24402
141.66/142.00 c #Conflicts: 74000 | #Constraints: 25402
141.66/142.00 c #Conflicts: 75000 | #Constraints: 26402
141.66/142.00 c #Conflicts: 76000 | #Constraints: 27402
141.66/142.00 c #Conflicts: 77000 | #Constraints: 28402
141.66/142.00 c #Conflicts: 78000 | #Constraints: 29402
141.66/142.00 c #Conflicts: 79000 | #Constraints: 30402
141.66/142.00 c #Conflicts: 80000 | #Constraints: 31402
141.66/142.00 c #Conflicts: 81000 | #Constraints: 32402
141.66/142.00 c #Conflicts: 82000 | #Constraints: 33402
141.66/142.00 c #Conflicts: 83000 | #Constraints: 34402
141.66/142.00 c #Conflicts: 84000 | #Constraints: 35402
141.66/142.00 c INPROCESSING
141.66/142.00 c GARBAGE COLLECT
141.66/142.00 c rational objective 0
201.53/202.03 c #Conflicts: 85000 | #Constraints: 23240
201.53/202.03 c #Conflicts: 86000 | #Constraints: 24240
201.53/202.03 c #Conflicts: 87000 | #Constraints: 25240
201.53/202.03 c #Conflicts: 88000 | #Constraints: 26240
201.53/202.03 c #Conflicts: 89000 | #Constraints: 27240
201.53/202.03 c #Conflicts: 90000 | #Constraints: 28240
201.53/202.03 c #Conflicts: 91000 | #Constraints: 29240
201.53/202.03 c INPROCESSING
201.53/202.03 c GARBAGE COLLECT
201.53/202.03 c #Conflicts: 92000 | #Constraints: 20201
201.53/202.03 c #Conflicts: 93000 | #Constraints: 21201
201.53/202.03 c #Conflicts: 94000 | #Constraints: 22201
201.53/202.03 c #Conflicts: 95000 | #Constraints: 23201
201.53/202.03 c #Conflicts: 96000 | #Constraints: 24201
201.53/202.03 c #Conflicts: 97000 | #Constraints: 25201
201.53/202.03 c #Conflicts: 98000 | #Constraints: 26201
201.53/202.03 c #Conflicts: 99000 | #Constraints: 27201
201.53/202.03 c INPROCESSING
201.53/202.03 c GARBAGE COLLECT
201.53/202.03 c #Conflicts: 100000 | #Constraints: 19579
201.53/202.03 c #Conflicts: 101000 | #Constraints: 20579
201.53/202.03 c #Conflicts: 102000 | #Constraints: 21579
201.53/202.03 c #Conflicts: 103000 | #Constraints: 22579
201.53/202.03 c #Conflicts: 104000 | #Constraints: 23579
201.53/202.03 c #Conflicts: 105000 | #Constraints: 24579
201.53/202.03 c #Conflicts: 106000 | #Constraints: 25579
201.53/202.03 c #Conflicts: 107000 | #Constraints: 26579
201.53/202.03 c #Conflicts: 108000 | #Constraints: 27579
201.53/202.03 c #Conflicts: 109000 | #Constraints: 28579
201.53/202.03 c #Conflicts: 110000 | #Constraints: 29579
201.53/202.03 c #Conflicts: 111000 | #Constraints: 30579
201.53/202.03 c #Conflicts: 112000 | #Constraints: 31579
201.53/202.03 c #Conflicts: 113000 | #Constraints: 32579
201.53/202.03 c #Conflicts: 114000 | #Constraints: 33579
201.53/202.03 c #Conflicts: 115000 | #Constraints: 34579
201.53/202.03 c #Conflicts: 116000 | #Constraints: 35579
201.53/202.03 c #Conflicts: 117000 | #Constraints: 36579
201.53/202.03 c #Conflicts: 118000 | #Constraints: 37579
201.53/202.03 c #Conflicts: 119000 | #Constraints: 38579
201.53/202.03 c #Conflicts: 120000 | #Constraints: 39579
201.53/202.03 c #Conflicts: 121000 | #Constraints: 40579
201.53/202.03 c #Conflicts: 122000 | #Constraints: 41579
201.53/202.03 c #Conflicts: 123000 | #Constraints: 42579
201.53/202.03 c INPROCESSING
201.53/202.03 c GARBAGE COLLECT
201.53/202.03 c rational objective 0
427.34/428.45 c #Conflicts: 124000 | #Constraints: 27020
427.34/428.45 c #Conflicts: 125000 | #Constraints: 28020
427.34/428.45 c #Conflicts: 126000 | #Constraints: 29020
427.34/428.45 c #Conflicts: 127000 | #Constraints: 30020
427.34/428.45 c #Conflicts: 128000 | #Constraints: 31020
427.34/428.45 c #Conflicts: 129000 | #Constraints: 32020
427.34/428.45 c #Conflicts: 130000 | #Constraints: 33020
427.34/428.45 c #Conflicts: 131000 | #Constraints: 34020
427.34/428.45 c #Conflicts: 132000 | #Constraints: 35020
427.34/428.45 c INPROCESSING
427.34/428.45 c GARBAGE COLLECT
427.34/428.45 c #Conflicts: 133000 | #Constraints: 23477
427.34/428.45 c #Conflicts: 134000 | #Constraints: 24477
427.34/428.45 c #Conflicts: 135000 | #Constraints: 25477
427.34/428.45 c #Conflicts: 136000 | #Constraints: 26477
427.34/428.45 c #Conflicts: 137000 | #Constraints: 27477
427.34/428.45 c #Conflicts: 138000 | #Constraints: 28477
427.34/428.45 c #Conflicts: 139000 | #Constraints: 29477
427.34/428.45 c #Conflicts: 140000 | #Constraints: 30477
427.34/428.45 c INPROCESSING
427.34/428.45 c GARBAGE COLLECT
427.34/428.45 c #Conflicts: 141000 | #Constraints: 20879
427.34/428.45 c #Conflicts: 142000 | #Constraints: 21879
427.34/428.45 c #Conflicts: 143000 | #Constraints: 22879
427.34/428.45 c #Conflicts: 144000 | #Constraints: 23879
427.34/428.45 c #Conflicts: 145000 | #Constraints: 24879
427.34/428.45 c #Conflicts: 146000 | #Constraints: 25879
427.34/428.45 c #Conflicts: 147000 | #Constraints: 26879
427.34/428.45 c #Conflicts: 148000 | #Constraints: 27879
427.34/428.45 c #Conflicts: 149000 | #Constraints: 28879
427.34/428.45 c #Conflicts: 150000 | #Constraints: 29879
427.34/428.45 c #Conflicts: 151000 | #Constraints: 30879
427.34/428.45 c #Conflicts: 152000 | #Constraints: 31879
427.34/428.45 c #Conflicts: 153000 | #Constraints: 32879
427.34/428.45 c #Conflicts: 154000 | #Constraints: 33879
427.34/428.45 c #Conflicts: 155000 | #Constraints: 34879
427.34/428.45 c #Conflicts: 156000 | #Constraints: 35879
427.34/428.45 c #Conflicts: 157000 | #Constraints: 36879
427.34/428.45 c #Conflicts: 158000 | #Constraints: 37879
427.34/428.45 c #Conflicts: 159000 | #Constraints: 38879
427.34/428.45 c #Conflicts: 160000 | #Constraints: 39879
427.34/428.45 c #Conflicts: 161000 | #Constraints: 40879
427.34/428.45 c #Conflicts: 162000 | #Constraints: 41879
427.34/428.45 c #Conflicts: 163000 | #Constraints: 42879
427.34/428.45 c #Conflicts: 164000 | #Constraints: 43879
427.34/428.45 c #Conflicts: 165000 | #Constraints: 44879
427.34/428.45 c #Conflicts: 166000 | #Constraints: 45879
427.34/428.45 c #Conflicts: 167000 | #Constraints: 46879
427.34/428.45 c #Conflicts: 168000 | #Constraints: 47879
427.34/428.45 c #Conflicts: 169000 | #Constraints: 48879
427.34/428.45 c INPROCESSING
427.34/428.45 c GARBAGE COLLECT
427.34/428.45 c #Conflicts: 170000 | #Constraints: 30243
427.34/428.45 c #Conflicts: 171000 | #Constraints: 31243
427.34/428.45 c #Conflicts: 172000 | #Constraints: 32243
427.34/428.45 c #Conflicts: 173000 | #Constraints: 33243
427.34/428.45 c #Conflicts: 174000 | #Constraints: 34243
427.34/428.45 c #Conflicts: 175000 | #Constraints: 35243
427.34/428.45 c #Conflicts: 176000 | #Constraints: 36243
427.34/428.45 c #Conflicts: 177000 | #Constraints: 37243
427.34/428.45 c #Conflicts: 178000 | #Constraints: 38243
427.34/428.45 c #Conflicts: 179000 | #Constraints: 39243
427.34/428.45 c INPROCESSING
427.34/428.45 c GARBAGE COLLECT
427.34/428.45 c #Conflicts: 180000 | #Constraints: 25455
427.34/428.45 c #Conflicts: 181000 | #Constraints: 26455
427.34/428.45 c #Conflicts: 182000 | #Constraints: 27455
427.34/428.45 c #Conflicts: 183000 | #Constraints: 28455
427.34/428.45 c #Conflicts: 184000 | #Constraints: 29455
427.34/428.45 c #Conflicts: 185000 | #Constraints: 30455
427.34/428.45 c #Conflicts: 186000 | #Constraints: 31455
427.34/428.45 c #Conflicts: 187000 | #Constraints: 32455
427.34/428.45 c #Conflicts: 188000 | #Constraints: 33455
427.34/428.45 c #Conflicts: 189000 | #Constraints: 34455
427.34/428.45 c INPROCESSING
427.34/428.45 c GARBAGE COLLECT
427.34/428.45 c #Conflicts: 190000 | #Constraints: 22960
427.34/428.45 c #Conflicts: 191000 | #Constraints: 23960
427.34/428.45 c #Conflicts: 192000 | #Constraints: 24960
427.34/428.45 c #Conflicts: 193000 | #Constraints: 25960
427.34/428.45 c #Conflicts: 194000 | #Constraints: 26960
427.34/428.45 c #Conflicts: 195000 | #Constraints: 27960
427.34/428.45 c #Conflicts: 196000 | #Constraints: 28960
427.34/428.45 c #Conflicts: 197000 | #Constraints: 29960
427.34/428.45 c #Conflicts: 198000 | #Constraints: 30960
427.34/428.45 c #Conflicts: 199000 | #Constraints: 31960
504.34/505.68 c #Conflicts: 200000 | #Constraints: 32960
504.34/505.68 c #Conflicts: 201000 | #Constraints: 33960
504.34/505.68 c #Conflicts: 202000 | #Constraints: 34960
504.34/505.68 c #Conflicts: 203000 | #Constraints: 35960
504.34/505.68 c #Conflicts: 204000 | #Constraints: 36960
504.34/505.68 c #Conflicts: 205000 | #Constraints: 37960
504.34/505.68 c #Conflicts: 206000 | #Constraints: 38960
504.34/505.68 c #Conflicts: 207000 | #Constraints: 39960
504.34/505.68 c #Conflicts: 208000 | #Constraints: 40960
504.34/505.68 c #Conflicts: 209000 | #Constraints: 41960
504.34/505.68 c #Conflicts: 210000 | #Constraints: 42960
504.34/505.68 c #Conflicts: 211000 | #Constraints: 43960
504.34/505.68 c #Conflicts: 212000 | #Constraints: 44960
504.34/505.68 c #Conflicts: 213000 | #Constraints: 45960
504.34/505.68 c #Conflicts: 214000 | #Constraints: 46960
504.34/505.68 c #Conflicts: 215000 | #Constraints: 47960
504.34/505.68 c #Conflicts: 216000 | #Constraints: 48960
504.34/505.68 c #Conflicts: 217000 | #Constraints: 49960
504.34/505.68 c #Conflicts: 218000 | #Constraints: 50960
504.34/505.68 c #Conflicts: 219000 | #Constraints: 51960
504.34/505.68 c #Conflicts: 220000 | #Constraints: 52960
504.34/505.68 c #Conflicts: 221000 | #Constraints: 53960
504.34/505.68 c #Conflicts: 222000 | #Constraints: 54960
504.34/505.68 c INPROCESSING
504.34/505.68 c GARBAGE COLLECT
504.34/505.68 c rational objective 0
682.66/684.47 c #Conflicts: 223000 | #Constraints: 33284
682.66/684.47 c #Conflicts: 224000 | #Constraints: 34284
682.66/684.47 c #Conflicts: 225000 | #Constraints: 35284
682.66/684.47 c #Conflicts: 226000 | #Constraints: 36284
682.66/684.47 c #Conflicts: 227000 | #Constraints: 37284
682.66/684.47 c #Conflicts: 228000 | #Constraints: 38284
682.66/684.47 c #Conflicts: 229000 | #Constraints: 39284
682.66/684.47 c #Conflicts: 230000 | #Constraints: 40284
682.66/684.47 c #Conflicts: 231000 | #Constraints: 41284
682.66/684.47 c #Conflicts: 232000 | #Constraints: 42284
682.66/684.47 c #Conflicts: 233000 | #Constraints: 43284
682.66/684.47 c #Conflicts: 234000 | #Constraints: 44284
682.66/684.47 c INPROCESSING
682.66/684.47 c GARBAGE COLLECT
682.66/684.47 c #Conflicts: 235000 | #Constraints: 28164
682.66/684.47 c #Conflicts: 236000 | #Constraints: 29164
682.66/684.47 c #Conflicts: 237000 | #Constraints: 30164
682.66/684.47 c #Conflicts: 238000 | #Constraints: 31164
682.66/684.47 c #Conflicts: 239000 | #Constraints: 32164
682.66/684.47 c #Conflicts: 240000 | #Constraints: 33164
682.66/684.47 c #Conflicts: 241000 | #Constraints: 34164
682.66/684.47 c #Conflicts: 242000 | #Constraints: 35164
682.66/684.47 c #Conflicts: 243000 | #Constraints: 36164
682.66/684.47 c #Conflicts: 244000 | #Constraints: 37164
682.66/684.47 c #Conflicts: 245000 | #Constraints: 38164
682.66/684.47 c INPROCESSING
682.66/684.47 c GARBAGE COLLECT
682.66/684.47 c #Conflicts: 246000 | #Constraints: 24782
682.66/684.47 c #Conflicts: 247000 | #Constraints: 25782
682.66/684.47 c #Conflicts: 248000 | #Constraints: 26782
682.66/684.47 c #Conflicts: 249000 | #Constraints: 27782
682.66/684.47 c #Conflicts: 250000 | #Constraints: 28782
682.66/684.47 c #Conflicts: 251000 | #Constraints: 29782
682.66/684.47 c #Conflicts: 252000 | #Constraints: 30782
682.66/684.47 c #Conflicts: 253000 | #Constraints: 31782
682.66/684.47 c #Conflicts: 254000 | #Constraints: 32782
682.66/684.47 c #Conflicts: 255000 | #Constraints: 33782
682.66/684.47 c #Conflicts: 256000 | #Constraints: 34782
682.66/684.47 c #Conflicts: 257000 | #Constraints: 35782
682.66/684.47 c #Conflicts: 258000 | #Constraints: 36782
682.66/684.47 c #Conflicts: 259000 | #Constraints: 37782
682.66/684.47 c #Conflicts: 260000 | #Constraints: 38782
682.66/684.47 c #Conflicts: 261000 | #Constraints: 39782
682.66/684.47 c #Conflicts: 262000 | #Constraints: 40782
682.66/684.47 c #Conflicts: 263000 | #Constraints: 41782
682.66/684.47 c #Conflicts: 264000 | #Constraints: 42782
682.66/684.47 c #Conflicts: 265000 | #Constraints: 43782
682.66/684.47 c #Conflicts: 266000 | #Constraints: 44782
682.66/684.47 c #Conflicts: 267000 | #Constraints: 45782
682.66/684.47 c #Conflicts: 268000 | #Constraints: 46782
682.66/684.47 c #Conflicts: 269000 | #Constraints: 47782
682.66/684.47 c #Conflicts: 270000 | #Constraints: 48782
682.66/684.47 c #Conflicts: 271000 | #Constraints: 49782
682.66/684.47 c #Conflicts: 272000 | #Constraints: 50782
682.66/684.47 c #Conflicts: 273000 | #Constraints: 51782
682.66/684.47 c #Conflicts: 274000 | #Constraints: 52782
682.66/684.47 c #Conflicts: 275000 | #Constraints: 53782
682.66/684.47 c #Conflicts: 276000 | #Constraints: 54782
682.66/684.47 c #Conflicts: 277000 | #Constraints: 55782
682.66/684.47 c #Conflicts: 278000 | #Constraints: 56782
682.66/684.47 c #Conflicts: 279000 | #Constraints: 57782
682.66/684.47 c #Conflicts: 280000 | #Constraints: 58782
682.66/684.47 c #Conflicts: 281000 | #Constraints: 59782
682.66/684.47 c #Conflicts: 282000 | #Constraints: 60782
682.66/684.47 c INPROCESSING
682.66/684.47 c GARBAGE COLLECT
682.66/684.47 c rational objective 0
742.60/744.58 c #Conflicts: 283000 | #Constraints: 36068
742.60/744.58 c #Conflicts: 284000 | #Constraints: 37068
742.60/744.58 c #Conflicts: 285000 | #Constraints: 38068
742.60/744.58 c #Conflicts: 286000 | #Constraints: 39068
742.60/744.58 c #Conflicts: 287000 | #Constraints: 40068
742.60/744.58 c #Conflicts: 288000 | #Constraints: 41068
742.60/744.58 c #Conflicts: 289000 | #Constraints: 42068
742.60/744.58 c #Conflicts: 290000 | #Constraints: 43068
742.60/744.58 c #Conflicts: 291000 | #Constraints: 44068
742.60/744.58 c #Conflicts: 292000 | #Constraints: 45068
742.60/744.58 c #Conflicts: 293000 | #Constraints: 46068
742.60/744.58 c #Conflicts: 294000 | #Constraints: 47068
742.60/744.58 c #Conflicts: 295000 | #Constraints: 48068
742.60/744.58 c INPROCESSING
742.60/744.58 c GARBAGE COLLECT
742.60/744.58 c #Conflicts: 296000 | #Constraints: 29729
742.60/744.58 c #Conflicts: 297000 | #Constraints: 30729
742.60/744.58 c #Conflicts: 298000 | #Constraints: 31729
742.60/744.58 c #Conflicts: 299000 | #Constraints: 32729
742.60/744.58 c #Conflicts: 300000 | #Constraints: 33729
742.60/744.58 c #Conflicts: 301000 | #Constraints: 34729
742.60/744.58 c #Conflicts: 302000 | #Constraints: 35729
742.60/744.58 c #Conflicts: 303000 | #Constraints: 36729
742.60/744.58 c #Conflicts: 304000 | #Constraints: 37729
742.60/744.58 c #Conflicts: 305000 | #Constraints: 38729
742.60/744.58 c #Conflicts: 306000 | #Constraints: 39729
742.60/744.58 c #Conflicts: 307000 | #Constraints: 40729
742.60/744.58 c #Conflicts: 308000 | #Constraints: 41729
742.60/744.58 c #Conflicts: 309000 | #Constraints: 42729
742.60/744.58 c INPROCESSING
742.60/744.58 c GARBAGE COLLECT
742.60/744.58 c rational objective 0
957.31/959.85 c #Conflicts: 310000 | #Constraints: 27428
957.31/959.85 c #Conflicts: 311000 | #Constraints: 28428
957.31/959.85 c #Conflicts: 312000 | #Constraints: 29428
957.31/959.85 c #Conflicts: 313000 | #Constraints: 30428
957.31/959.85 c #Conflicts: 314000 | #Constraints: 31428
957.31/959.85 c #Conflicts: 315000 | #Constraints: 32428
957.31/959.85 c #Conflicts: 316000 | #Constraints: 33428
957.31/959.85 c #Conflicts: 317000 | #Constraints: 34428
957.31/959.85 c #Conflicts: 318000 | #Constraints: 35428
957.31/959.85 c #Conflicts: 319000 | #Constraints: 36428
957.31/959.85 c #Conflicts: 320000 | #Constraints: 37428
957.31/959.85 c #Conflicts: 321000 | #Constraints: 38428
957.31/959.85 c #Conflicts: 322000 | #Constraints: 39428
957.31/959.85 c #Conflicts: 323000 | #Constraints: 40428
957.31/959.85 c #Conflicts: 324000 | #Constraints: 41428
957.31/959.85 c #Conflicts: 325000 | #Constraints: 42428
957.31/959.85 c #Conflicts: 326000 | #Constraints: 43428
957.31/959.85 c #Conflicts: 327000 | #Constraints: 44428
957.31/959.85 c #Conflicts: 328000 | #Constraints: 45428
957.31/959.85 c #Conflicts: 329000 | #Constraints: 46428
957.31/959.85 c #Conflicts: 330000 | #Constraints: 47428
957.31/959.85 c #Conflicts: 331000 | #Constraints: 48428
957.31/959.85 c #Conflicts: 332000 | #Constraints: 49428
957.31/959.85 c #Conflicts: 333000 | #Constraints: 50428
957.31/959.85 c #Conflicts: 334000 | #Constraints: 51428
957.31/959.85 c #Conflicts: 335000 | #Constraints: 52428
957.31/959.85 c #Conflicts: 336000 | #Constraints: 53428
957.31/959.85 c #Conflicts: 337000 | #Constraints: 54428
957.31/959.85 c #Conflicts: 338000 | #Constraints: 55428
957.31/959.85 c #Conflicts: 339000 | #Constraints: 56428
957.31/959.85 c #Conflicts: 340000 | #Constraints: 57428
957.31/959.85 c #Conflicts: 341000 | #Constraints: 58428
957.31/959.85 c #Conflicts: 342000 | #Constraints: 59428
957.31/959.85 c #Conflicts: 343000 | #Constraints: 60428
957.31/959.85 c #Conflicts: 344000 | #Constraints: 61428
957.31/959.85 c #Conflicts: 345000 | #Constraints: 62428
957.31/959.85 c #Conflicts: 346000 | #Constraints: 63428
957.31/959.85 c #Conflicts: 347000 | #Constraints: 64428
957.31/959.85 c #Conflicts: 348000 | #Constraints: 65428
957.31/959.85 c #Conflicts: 349000 | #Constraints: 66428
957.31/959.85 c #Conflicts: 350000 | #Constraints: 67428
957.31/959.85 c INPROCESSING
957.31/959.85 c GARBAGE COLLECT
957.31/959.85 c rational objective 0
1033.02/1035.78 c #Conflicts: 351000 | #Constraints: 39666
1033.02/1035.78 c #Conflicts: 352000 | #Constraints: 40666
1033.02/1035.78 c #Conflicts: 353000 | #Constraints: 41666
1033.02/1035.78 c #Conflicts: 354000 | #Constraints: 42666
1033.02/1035.78 c #Conflicts: 355000 | #Constraints: 43666
1033.02/1035.78 c #Conflicts: 356000 | #Constraints: 44666
1033.02/1035.78 c #Conflicts: 357000 | #Constraints: 45666
1033.02/1035.78 c #Conflicts: 358000 | #Constraints: 46666
1033.02/1035.78 c #Conflicts: 359000 | #Constraints: 47666
1033.02/1035.78 c #Conflicts: 360000 | #Constraints: 48666
1033.02/1035.78 c #Conflicts: 361000 | #Constraints: 49666
1033.02/1035.78 c #Conflicts: 362000 | #Constraints: 50666
1033.02/1035.78 c #Conflicts: 363000 | #Constraints: 51666
1033.02/1035.78 c #Conflicts: 364000 | #Constraints: 52666
1033.02/1035.78 c INPROCESSING
1033.02/1035.78 c GARBAGE COLLECT
1033.02/1035.78 c #Conflicts: 365000 | #Constraints: 32004
1033.02/1035.78 c #Conflicts: 366000 | #Constraints: 33004
1033.02/1035.78 c #Conflicts: 367000 | #Constraints: 34004
1033.02/1035.78 c #Conflicts: 368000 | #Constraints: 35004
1033.02/1035.78 c #Conflicts: 369000 | #Constraints: 36004
1033.02/1035.78 c #Conflicts: 370000 | #Constraints: 37004
1033.02/1035.78 c #Conflicts: 371000 | #Constraints: 38004
1033.02/1035.78 c #Conflicts: 372000 | #Constraints: 39004
1033.02/1035.78 c #Conflicts: 373000 | #Constraints: 40004
1033.02/1035.78 c #Conflicts: 374000 | #Constraints: 41004
1033.02/1035.78 c #Conflicts: 375000 | #Constraints: 42004
1033.02/1035.78 c #Conflicts: 376000 | #Constraints: 43004
1033.02/1035.78 c #Conflicts: 377000 | #Constraints: 44004
1033.02/1035.78 c #Conflicts: 378000 | #Constraints: 45004
1033.02/1035.78 c #Conflicts: 379000 | #Constraints: 46004
1033.02/1035.78 c INPROCESSING
1033.02/1035.78 c GARBAGE COLLECT
1033.02/1035.78 c rational objective 0
1322.87/1326.26 c #Conflicts: 380000 | #Constraints: 29521
1322.87/1326.26 c #Conflicts: 381000 | #Constraints: 30521
1322.87/1326.26 c #Conflicts: 382000 | #Constraints: 31521
1322.87/1326.26 c #Conflicts: 383000 | #Constraints: 32521
1322.87/1326.26 c #Conflicts: 384000 | #Constraints: 33521
1322.87/1326.26 c #Conflicts: 385000 | #Constraints: 34521
1322.87/1326.26 c #Conflicts: 386000 | #Constraints: 35521
1322.87/1326.26 c #Conflicts: 387000 | #Constraints: 36521
1322.87/1326.26 c #Conflicts: 388000 | #Constraints: 37521
1322.87/1326.26 c #Conflicts: 389000 | #Constraints: 38521
1322.87/1326.26 c #Conflicts: 390000 | #Constraints: 39521
1322.87/1326.26 c #Conflicts: 391000 | #Constraints: 40521
1322.87/1326.26 c #Conflicts: 392000 | #Constraints: 41521
1322.87/1326.26 c #Conflicts: 393000 | #Constraints: 42521
1322.87/1326.26 c #Conflicts: 394000 | #Constraints: 43521
1322.87/1326.26 c #Conflicts: 395000 | #Constraints: 44521
1322.87/1326.26 c #Conflicts: 396000 | #Constraints: 45521
1322.87/1326.26 c #Conflicts: 397000 | #Constraints: 46521
1322.87/1326.26 c #Conflicts: 398000 | #Constraints: 47521
1322.87/1326.26 c #Conflicts: 399000 | #Constraints: 48521
1322.87/1326.26 c #Conflicts: 400000 | #Constraints: 49521
1322.87/1326.26 c #Conflicts: 401000 | #Constraints: 50521
1322.87/1326.26 c #Conflicts: 402000 | #Constraints: 51521
1322.87/1326.26 c #Conflicts: 403000 | #Constraints: 52521
1322.87/1326.26 c #Conflicts: 404000 | #Constraints: 53521
1322.87/1326.26 c #Conflicts: 405000 | #Constraints: 54521
1322.87/1326.26 c #Conflicts: 406000 | #Constraints: 55521
1322.87/1326.26 c #Conflicts: 407000 | #Constraints: 56521
1322.87/1326.26 c #Conflicts: 408000 | #Constraints: 57521
1322.87/1326.26 c #Conflicts: 409000 | #Constraints: 58521
1322.87/1326.26 c #Conflicts: 410000 | #Constraints: 59521
1322.87/1326.26 c #Conflicts: 411000 | #Constraints: 60521
1322.87/1326.26 c #Conflicts: 412000 | #Constraints: 61521
1322.87/1326.26 c #Conflicts: 413000 | #Constraints: 62521
1322.87/1326.26 c #Conflicts: 414000 | #Constraints: 63521
1322.87/1326.26 c #Conflicts: 415000 | #Constraints: 64521
1322.87/1326.26 c #Conflicts: 416000 | #Constraints: 65521
1322.87/1326.26 c #Conflicts: 417000 | #Constraints: 66521
1322.87/1326.26 c #Conflicts: 418000 | #Constraints: 67521
1322.87/1326.26 c #Conflicts: 419000 | #Constraints: 68521
1322.87/1326.26 c #Conflicts: 420000 | #Constraints: 69521
1322.87/1326.26 c #Conflicts: 421000 | #Constraints: 70521
1322.87/1326.26 c #Conflicts: 422000 | #Constraints: 71521
1322.87/1326.26 c #Conflicts: 423000 | #Constraints: 72521
1322.87/1326.26 c #Conflicts: 424000 | #Constraints: 73521
1322.87/1326.26 c #Conflicts: 425000 | #Constraints: 74521
1322.87/1326.26 c INPROCESSING
1322.87/1326.26 c GARBAGE COLLECT
1322.87/1326.26 c #Conflicts: 426000 | #Constraints: 43372
1322.87/1326.26 c #Conflicts: 427000 | #Constraints: 44372
1322.87/1326.26 c #Conflicts: 428000 | #Constraints: 45372
1322.87/1326.26 c #Conflicts: 429000 | #Constraints: 46372
1322.87/1326.26 c #Conflicts: 430000 | #Constraints: 47372
1322.87/1326.26 c #Conflicts: 431000 | #Constraints: 48372
1322.87/1326.26 c #Conflicts: 432000 | #Constraints: 49372
1322.87/1326.26 c #Conflicts: 433000 | #Constraints: 50372
1322.87/1326.26 c #Conflicts: 434000 | #Constraints: 51372
1322.87/1326.26 c #Conflicts: 435000 | #Constraints: 52372
1322.87/1326.26 c #Conflicts: 436000 | #Constraints: 53372
1322.87/1326.26 c #Conflicts: 437000 | #Constraints: 54372
1322.87/1326.26 c #Conflicts: 438000 | #Constraints: 55372
1322.87/1326.26 c #Conflicts: 439000 | #Constraints: 56372
1322.87/1326.26 c #Conflicts: 440000 | #Constraints: 57372
1322.87/1326.26 c #Conflicts: 441000 | #Constraints: 58372
1322.87/1326.26 c INPROCESSING
1322.87/1326.26 c GARBAGE COLLECT
1322.87/1326.26 c #Conflicts: 442000 | #Constraints: 35288
1322.87/1326.26 c #Conflicts: 443000 | #Constraints: 36288
1322.87/1326.26 c #Conflicts: 444000 | #Constraints: 37288
1322.87/1326.26 c #Conflicts: 445000 | #Constraints: 38288
1322.87/1326.26 c #Conflicts: 446000 | #Constraints: 39288
1322.87/1326.26 c #Conflicts: 447000 | #Constraints: 40288
1322.87/1326.26 c #Conflicts: 448000 | #Constraints: 41288
1322.87/1326.26 c #Conflicts: 449000 | #Constraints: 42288
1322.87/1326.26 c #Conflicts: 450000 | #Constraints: 43288
1322.87/1326.26 c #Conflicts: 451000 | #Constraints: 44288
1322.87/1326.26 c #Conflicts: 452000 | #Constraints: 45288
1322.87/1326.26 c #Conflicts: 453000 | #Constraints: 46288
1322.87/1326.26 c #Conflicts: 454000 | #Constraints: 47288
1322.87/1326.26 c #Conflicts: 455000 | #Constraints: 48288
1322.87/1326.26 c #Conflicts: 456000 | #Constraints: 49288
1322.87/1326.26 c #Conflicts: 457000 | #Constraints: 50288
1634.14/1638.24 c INPROCESSING
1634.14/1638.24 c GARBAGE COLLECT
1634.14/1638.24 c #Conflicts: 458000 | #Constraints: 32429
1634.14/1638.24 c #Conflicts: 459000 | #Constraints: 33429
1634.14/1638.24 c #Conflicts: 460000 | #Constraints: 34429
1634.14/1638.24 c #Conflicts: 461000 | #Constraints: 35429
1634.14/1638.24 c #Conflicts: 462000 | #Constraints: 36429
1634.14/1638.24 c #Conflicts: 463000 | #Constraints: 37429
1634.14/1638.24 c #Conflicts: 464000 | #Constraints: 38429
1634.14/1638.24 c #Conflicts: 465000 | #Constraints: 39429
1634.14/1638.24 c #Conflicts: 466000 | #Constraints: 40429
1634.14/1638.24 c #Conflicts: 467000 | #Constraints: 41429
1634.14/1638.24 c #Conflicts: 468000 | #Constraints: 42429
1634.14/1638.24 c #Conflicts: 469000 | #Constraints: 43429
1634.14/1638.24 c #Conflicts: 470000 | #Constraints: 44429
1634.14/1638.24 c #Conflicts: 471000 | #Constraints: 45429
1634.14/1638.24 c #Conflicts: 472000 | #Constraints: 46429
1634.14/1638.24 c #Conflicts: 473000 | #Constraints: 47429
1634.14/1638.24 c #Conflicts: 474000 | #Constraints: 48429
1634.14/1638.24 c #Conflicts: 475000 | #Constraints: 49429
1634.14/1638.24 c #Conflicts: 476000 | #Constraints: 50429
1634.14/1638.24 c #Conflicts: 477000 | #Constraints: 51429
1634.14/1638.24 c #Conflicts: 478000 | #Constraints: 52429
1634.14/1638.24 c #Conflicts: 479000 | #Constraints: 53429
1634.14/1638.24 c #Conflicts: 480000 | #Constraints: 54429
1634.14/1638.24 c #Conflicts: 481000 | #Constraints: 55429
1634.14/1638.24 c #Conflicts: 482000 | #Constraints: 56429
1634.14/1638.24 c #Conflicts: 483000 | #Constraints: 57429
1634.14/1638.24 c #Conflicts: 484000 | #Constraints: 58429
1634.14/1638.24 c #Conflicts: 485000 | #Constraints: 59429
1634.14/1638.24 c #Conflicts: 486000 | #Constraints: 60429
1634.14/1638.24 c #Conflicts: 487000 | #Constraints: 61429
1634.14/1638.24 c #Conflicts: 488000 | #Constraints: 62429
1634.14/1638.24 c #Conflicts: 489000 | #Constraints: 63429
1634.14/1638.24 c #Conflicts: 490000 | #Constraints: 64429
1634.14/1638.24 c #Conflicts: 491000 | #Constraints: 65429
1634.14/1638.24 c #Conflicts: 492000 | #Constraints: 66429
1634.14/1638.24 c #Conflicts: 493000 | #Constraints: 67429
1634.14/1638.24 c #Conflicts: 494000 | #Constraints: 68429
1634.14/1638.24 c #Conflicts: 495000 | #Constraints: 69429
1634.14/1638.24 c #Conflicts: 496000 | #Constraints: 70429
1634.14/1638.24 c #Conflicts: 497000 | #Constraints: 71429
1634.14/1638.24 c #Conflicts: 498000 | #Constraints: 72429
1634.14/1638.24 c #Conflicts: 499000 | #Constraints: 73429
1634.14/1638.24 c #Conflicts: 500000 | #Constraints: 74429
1634.14/1638.24 c #Conflicts: 501000 | #Constraints: 75429
1634.14/1638.24 c #Conflicts: 502000 | #Constraints: 76429
1634.14/1638.24 c #Conflicts: 503000 | #Constraints: 77429
1634.14/1638.24 c #Conflicts: 504000 | #Constraints: 78429
1634.14/1638.24 c #Conflicts: 505000 | #Constraints: 79429
1634.14/1638.24 c #Conflicts: 506000 | #Constraints: 80429
1634.14/1638.24 c INPROCESSING
1634.14/1638.24 c GARBAGE COLLECT
1634.14/1638.24 c rational objective 0
1848.15/1852.77 c #Conflicts: 507000 | #Constraints: 45874
1848.15/1852.77 c #Conflicts: 508000 | #Constraints: 46874
1848.15/1852.77 c #Conflicts: 509000 | #Constraints: 47874
1848.15/1852.77 c #Conflicts: 510000 | #Constraints: 48874
1848.15/1852.77 c #Conflicts: 511000 | #Constraints: 49874
1848.15/1852.77 c #Conflicts: 512000 | #Constraints: 50874
1848.15/1852.77 c #Conflicts: 513000 | #Constraints: 51875
1848.15/1852.77 c #Conflicts: 514000 | #Constraints: 52875
1848.15/1852.77 c #Conflicts: 515000 | #Constraints: 53875
1848.15/1852.77 c #Conflicts: 516000 | #Constraints: 54875
1848.15/1852.77 c #Conflicts: 517000 | #Constraints: 55875
1848.15/1852.77 c #Conflicts: 518000 | #Constraints: 56875
1848.15/1852.77 c #Conflicts: 519000 | #Constraints: 57875
1848.15/1852.77 c #Conflicts: 520000 | #Constraints: 58875
1848.15/1852.77 c #Conflicts: 521000 | #Constraints: 59875
1848.15/1852.77 c #Conflicts: 522000 | #Constraints: 60875
1848.15/1852.77 c #Conflicts: 523000 | #Constraints: 61875
1848.15/1852.77 c #Conflicts: 524000 | #Constraints: 62875
1848.15/1852.77 c INPROCESSING
1848.15/1852.77 c GARBAGE COLLECT
1848.15/1852.77 c #Conflicts: 525000 | #Constraints: 37389
1848.15/1852.77 c #Conflicts: 526000 | #Constraints: 38389
1848.15/1852.77 c #Conflicts: 527000 | #Constraints: 39389
1848.15/1852.77 c #Conflicts: 528000 | #Constraints: 40389
1848.15/1852.77 c #Conflicts: 529000 | #Constraints: 41389
1848.15/1852.77 c #Conflicts: 530000 | #Constraints: 42389
1848.15/1852.77 c #Conflicts: 531000 | #Constraints: 43389
1848.15/1852.77 c #Conflicts: 532000 | #Constraints: 44389
1848.15/1852.77 c #Conflicts: 533000 | #Constraints: 45389
1848.15/1852.77 c #Conflicts: 534000 | #Constraints: 46389
1848.15/1852.77 c #Conflicts: 535000 | #Constraints: 47389
1848.15/1852.77 c #Conflicts: 536000 | #Constraints: 48389
1848.15/1852.77 c #Conflicts: 537000 | #Constraints: 49389
1848.15/1852.77 c #Conflicts: 538000 | #Constraints: 50389
1848.15/1852.77 c #Conflicts: 539000 | #Constraints: 51389
1848.15/1852.77 c #Conflicts: 540000 | #Constraints: 52389
1848.15/1852.77 c #Conflicts: 541000 | #Constraints: 53389
1848.15/1852.77 c #Conflicts: 542000 | #Constraints: 54389
1848.15/1852.77 c INPROCESSING
1848.15/1852.77 c GARBAGE COLLECT
1848.15/1852.77 c #Conflicts: 543000 | #Constraints: 34997
1848.15/1852.77 c #Conflicts: 544000 | #Constraints: 35997
1848.15/1852.77 c #Conflicts: 545000 | #Constraints: 36997
1848.15/1852.77 c #Conflicts: 546000 | #Constraints: 37997
1848.15/1852.77 c #Conflicts: 547000 | #Constraints: 38997
1848.15/1852.77 c #Conflicts: 548000 | #Constraints: 39997
1848.15/1852.77 c #Conflicts: 549000 | #Constraints: 40997
1848.15/1852.77 c #Conflicts: 550000 | #Constraints: 41997
1848.15/1852.77 c #Conflicts: 551000 | #Constraints: 42997
1848.15/1852.77 c #Conflicts: 552000 | #Constraints: 43997
1848.15/1852.77 c #Conflicts: 553000 | #Constraints: 44997
1848.15/1852.77 c #Conflicts: 554000 | #Constraints: 45997
1848.15/1852.77 c #Conflicts: 555000 | #Constraints: 46997
1848.15/1852.77 c #Conflicts: 556000 | #Constraints: 47997
1848.15/1852.77 c #Conflicts: 557000 | #Constraints: 48997
1848.15/1852.77 c #Conflicts: 558000 | #Constraints: 49997
1848.15/1852.77 c #Conflicts: 559000 | #Constraints: 50997
1848.15/1852.77 c #Conflicts: 560000 | #Constraints: 51997
1848.15/1852.77 c #Conflicts: 561000 | #Constraints: 52997
1848.15/1852.77 c #Conflicts: 562000 | #Constraints: 53997
1848.15/1852.77 c #Conflicts: 563000 | #Constraints: 54997
1848.15/1852.77 c #Conflicts: 564000 | #Constraints: 55997
1848.15/1852.77 c #Conflicts: 565000 | #Constraints: 56997
1848.15/1852.77 c #Conflicts: 566000 | #Constraints: 57997
1848.15/1852.77 c #Conflicts: 567000 | #Constraints: 58997
1848.15/1852.77 c #Conflicts: 568000 | #Constraints: 59997
1848.15/1852.77 c #Conflicts: 569000 | #Constraints: 60997
1848.15/1852.77 c #Conflicts: 570000 | #Constraints: 61997
1848.15/1852.77 c #Conflicts: 571000 | #Constraints: 62997
1848.15/1852.77 c #Conflicts: 572000 | #Constraints: 63997
1848.15/1852.77 c #Conflicts: 573000 | #Constraints: 64997
1848.15/1852.77 c #Conflicts: 574000 | #Constraints: 65997
1848.15/1852.77 c #Conflicts: 575000 | #Constraints: 66997
1848.15/1852.77 c #Conflicts: 576000 | #Constraints: 67997
1848.15/1852.77 c #Conflicts: 577000 | #Constraints: 68997
1848.15/1852.77 c #Conflicts: 578000 | #Constraints: 69997
1848.15/1852.77 c #Conflicts: 579000 | #Constraints: 70997
1848.15/1852.77 c #Conflicts: 580000 | #Constraints: 71997
1848.15/1852.77 c #Conflicts: 581000 | #Constraints: 72997
1848.15/1852.77 c #Conflicts: 582000 | #Constraints: 73997
1848.15/1852.77 c #Conflicts: 583000 | #Constraints: 74997
1848.15/1852.77 c #Conflicts: 584000 | #Constraints: 75997
1914.48/1919.29 c #Conflicts: 585000 | #Constraints: 76997
1914.48/1919.29 c #Conflicts: 586000 | #Constraints: 77997
1914.48/1919.29 c #Conflicts: 587000 | #Constraints: 78997
1914.48/1919.29 c #Conflicts: 588000 | #Constraints: 79997
1914.48/1919.29 c #Conflicts: 589000 | #Constraints: 80997
1914.48/1919.29 c #Conflicts: 590000 | #Constraints: 81997
1914.48/1919.29 c #Conflicts: 591000 | #Constraints: 82997
1914.48/1919.29 c #Conflicts: 592000 | #Constraints: 83997
1914.48/1919.29 c #Conflicts: 593000 | #Constraints: 84997
1914.48/1919.29 c #Conflicts: 594000 | #Constraints: 85997
1914.48/1919.29 c #Conflicts: 595000 | #Constraints: 86997
1914.48/1919.29 c #Conflicts: 596000 | #Constraints: 87997
1914.48/1919.29 c INPROCESSING
1914.48/1919.29 c GARBAGE COLLECT
1914.48/1919.29 c rational objective 0
1929.25/1934.05 c #Conflicts: 597000 | #Constraints: 50128
1929.25/1934.05 c #Conflicts: 598000 | #Constraints: 51128
1929.25/1934.05 c #Conflicts: 599000 | #Constraints: 52128
1929.25/1934.05 c #Conflicts: 600000 | #Constraints: 53128
1929.25/1934.05 c #Conflicts: 601000 | #Constraints: 54128
1929.25/1934.05 c #Conflicts: 602000 | #Constraints: 55128
1929.25/1934.05 c #Conflicts: 603000 | #Constraints: 56128
1929.25/1934.05 c #Conflicts: 604000 | #Constraints: 57128
1929.25/1934.05 c #Conflicts: 605000 | #Constraints: 58128
1929.25/1934.05 c #Conflicts: 606000 | #Constraints: 59128
1929.25/1934.05 c #Conflicts: 607000 | #Constraints: 60128
1929.25/1934.05 c #Conflicts: 608000 | #Constraints: 61128
1929.25/1934.05 c #Conflicts: 609000 | #Constraints: 62128
1929.25/1934.05 c #Conflicts: 610000 | #Constraints: 63128
1929.25/1934.05 c #Conflicts: 611000 | #Constraints: 64128
1929.25/1934.05 c #Conflicts: 612000 | #Constraints: 65128
1929.25/1934.05 c #Conflicts: 613000 | #Constraints: 66128
1929.25/1934.05 c #Conflicts: 614000 | #Constraints: 67128
1929.25/1934.05 c #Conflicts: 615000 | #Constraints: 68128
1929.25/1934.05 c INPROCESSING
1929.25/1934.05 c GARBAGE COLLECT
1929.25/1934.05 c rational objective 0
1977.54/1982.46 c #Conflicts: 616000 | #Constraints: 40221
1977.54/1982.46 c #Conflicts: 617000 | #Constraints: 41221
1977.54/1982.46 c #Conflicts: 618000 | #Constraints: 42221
1977.54/1982.46 c #Conflicts: 619000 | #Constraints: 43221
1977.54/1982.46 c #Conflicts: 620000 | #Constraints: 44221
1977.54/1982.46 c #Conflicts: 621000 | #Constraints: 45221
1977.54/1982.46 c #Conflicts: 622000 | #Constraints: 46221
1977.54/1982.46 c #Conflicts: 623000 | #Constraints: 47221
1977.54/1982.46 c #Conflicts: 624000 | #Constraints: 48221
1977.54/1982.46 c #Conflicts: 625000 | #Constraints: 49221
1977.54/1982.46 c #Conflicts: 626000 | #Constraints: 50221
1977.54/1982.46 c #Conflicts: 627000 | #Constraints: 51221
1977.54/1982.46 c #Conflicts: 628000 | #Constraints: 52221
1977.54/1982.46 c #Conflicts: 629000 | #Constraints: 53221
1977.54/1982.46 c #Conflicts: 630000 | #Constraints: 54221
1977.54/1982.46 c #Conflicts: 631000 | #Constraints: 55221
1977.54/1982.46 c #Conflicts: 632000 | #Constraints: 56221
1977.54/1982.46 c #Conflicts: 633000 | #Constraints: 57221
1977.54/1982.46 c #Conflicts: 634000 | #Constraints: 58221
1977.54/1982.46 c INPROCESSING
1977.54/1982.46 c GARBAGE COLLECT
1977.54/1982.46 c rational objective 0
2272.43/2278.04 c #Conflicts: 635000 | #Constraints: 38095
2272.43/2278.04 c #Conflicts: 636000 | #Constraints: 39095
2272.43/2278.04 c #Conflicts: 637000 | #Constraints: 40095
2272.43/2278.04 c #Conflicts: 638000 | #Constraints: 41095
2272.43/2278.04 c #Conflicts: 639000 | #Constraints: 42095
2272.43/2278.04 c #Conflicts: 640000 | #Constraints: 43095
2272.43/2278.04 c #Conflicts: 641000 | #Constraints: 44095
2272.43/2278.04 c #Conflicts: 642000 | #Constraints: 45095
2272.43/2278.04 c #Conflicts: 643000 | #Constraints: 46095
2272.43/2278.04 c #Conflicts: 644000 | #Constraints: 47095
2272.43/2278.04 c #Conflicts: 645000 | #Constraints: 48095
2272.43/2278.04 c #Conflicts: 646000 | #Constraints: 49095
2272.43/2278.04 c #Conflicts: 647000 | #Constraints: 50095
2272.43/2278.04 c #Conflicts: 648000 | #Constraints: 51095
2272.43/2278.04 c #Conflicts: 649000 | #Constraints: 52095
2272.43/2278.04 c #Conflicts: 650000 | #Constraints: 53095
2272.43/2278.04 c #Conflicts: 651000 | #Constraints: 54095
2272.43/2278.04 c #Conflicts: 652000 | #Constraints: 55095
2272.43/2278.04 c #Conflicts: 653000 | #Constraints: 56095
2272.43/2278.04 c #Conflicts: 654000 | #Constraints: 57095
2272.43/2278.04 c #Conflicts: 655000 | #Constraints: 58095
2272.43/2278.04 c #Conflicts: 656000 | #Constraints: 59095
2272.43/2278.04 c #Conflicts: 657000 | #Constraints: 60095
2272.43/2278.04 c #Conflicts: 658000 | #Constraints: 61095
2272.43/2278.04 c #Conflicts: 659000 | #Constraints: 62095
2272.43/2278.04 c #Conflicts: 660000 | #Constraints: 63095
2272.43/2278.04 c #Conflicts: 661000 | #Constraints: 64095
2272.43/2278.04 c #Conflicts: 662000 | #Constraints: 65095
2272.43/2278.04 c #Conflicts: 663000 | #Constraints: 66095
2272.43/2278.04 c #Conflicts: 664000 | #Constraints: 67095
2272.43/2278.04 c #Conflicts: 665000 | #Constraints: 68095
2272.43/2278.04 c #Conflicts: 666000 | #Constraints: 69095
2272.43/2278.04 c #Conflicts: 667000 | #Constraints: 70095
2272.43/2278.04 c #Conflicts: 668000 | #Constraints: 71095
2272.43/2278.04 c #Conflicts: 669000 | #Constraints: 72095
2272.43/2278.04 c #Conflicts: 670000 | #Constraints: 73095
2272.43/2278.04 c #Conflicts: 671000 | #Constraints: 74095
2272.43/2278.04 c #Conflicts: 672000 | #Constraints: 75095
2272.43/2278.04 c #Conflicts: 673000 | #Constraints: 76095
2272.43/2278.04 c #Conflicts: 674000 | #Constraints: 77095
2272.43/2278.04 c #Conflicts: 675000 | #Constraints: 78095
2272.43/2278.04 c #Conflicts: 676000 | #Constraints: 79095
2272.43/2278.04 c #Conflicts: 677000 | #Constraints: 80095
2272.43/2278.04 c #Conflicts: 678000 | #Constraints: 81095
2272.43/2278.04 c #Conflicts: 679000 | #Constraints: 82095
2272.43/2278.04 c #Conflicts: 680000 | #Constraints: 83095
2272.43/2278.04 c #Conflicts: 681000 | #Constraints: 84095
2272.43/2278.04 c #Conflicts: 682000 | #Constraints: 85095
2272.43/2278.04 c #Conflicts: 683000 | #Constraints: 86095
2272.43/2278.04 c #Conflicts: 684000 | #Constraints: 87095
2272.43/2278.04 c #Conflicts: 685000 | #Constraints: 88095
2272.43/2278.04 c #Conflicts: 686000 | #Constraints: 89095
2272.43/2278.04 c #Conflicts: 687000 | #Constraints: 90095
2272.43/2278.04 c #Conflicts: 688000 | #Constraints: 91095
2272.43/2278.04 c #Conflicts: 689000 | #Constraints: 92095
2272.43/2278.04 c #Conflicts: 690000 | #Constraints: 93095
2272.43/2278.04 c #Conflicts: 691000 | #Constraints: 94095
2272.43/2278.04 c #Conflicts: 692000 | #Constraints: 95095
2272.43/2278.04 c INPROCESSING
2272.43/2278.04 c GARBAGE COLLECT
2272.43/2278.04 c rational objective 0
2344.13/2349.96 c #Conflicts: 693000 | #Constraints: 53515
2344.13/2349.96 c #Conflicts: 694000 | #Constraints: 54515
2344.13/2349.96 c #Conflicts: 695000 | #Constraints: 55515
2344.13/2349.96 c #Conflicts: 696000 | #Constraints: 56515
2344.13/2349.96 c #Conflicts: 697000 | #Constraints: 57515
2344.13/2349.96 c #Conflicts: 698000 | #Constraints: 58515
2344.13/2349.96 c #Conflicts: 699000 | #Constraints: 59515
2344.13/2349.96 c #Conflicts: 700000 | #Constraints: 60515
2344.13/2349.96 c #Conflicts: 701000 | #Constraints: 61515
2344.13/2349.96 c #Conflicts: 702000 | #Constraints: 62515
2344.13/2349.96 c #Conflicts: 703000 | #Constraints: 63515
2344.13/2349.96 c #Conflicts: 704000 | #Constraints: 64515
2344.13/2349.96 c #Conflicts: 705000 | #Constraints: 65515
2344.13/2349.96 c #Conflicts: 706000 | #Constraints: 66515
2344.13/2349.96 c #Conflicts: 707000 | #Constraints: 67515
2344.13/2349.96 c #Conflicts: 708000 | #Constraints: 68515
2344.13/2349.96 c #Conflicts: 709000 | #Constraints: 69515
2344.13/2349.96 c #Conflicts: 710000 | #Constraints: 70515
2344.13/2349.96 c #Conflicts: 711000 | #Constraints: 71515
2344.13/2349.96 c #Conflicts: 712000 | #Constraints: 72515
2344.13/2349.96 c INPROCESSING
2344.13/2349.96 c GARBAGE COLLECT
2344.13/2349.96 c rational objective 0
2653.38/2660.03 c #Conflicts: 713000 | #Constraints: 42037
2653.38/2660.03 c #Conflicts: 714000 | #Constraints: 43037
2653.38/2660.03 c #Conflicts: 715000 | #Constraints: 44037
2653.38/2660.03 c #Conflicts: 716000 | #Constraints: 45037
2653.38/2660.03 c #Conflicts: 717000 | #Constraints: 46037
2653.38/2660.03 c #Conflicts: 718000 | #Constraints: 47037
2653.38/2660.03 c #Conflicts: 719000 | #Constraints: 48037
2653.38/2660.03 c #Conflicts: 720000 | #Constraints: 49037
2653.38/2660.03 c #Conflicts: 721000 | #Constraints: 50037
2653.38/2660.03 c #Conflicts: 722000 | #Constraints: 51037
2653.38/2660.03 c #Conflicts: 723000 | #Constraints: 52037
2653.38/2660.03 c #Conflicts: 724000 | #Constraints: 53037
2653.38/2660.03 c #Conflicts: 725000 | #Constraints: 54037
2653.38/2660.03 c #Conflicts: 726000 | #Constraints: 55037
2653.38/2660.03 c #Conflicts: 727000 | #Constraints: 56037
2653.38/2660.03 c #Conflicts: 728000 | #Constraints: 57037
2653.38/2660.03 c #Conflicts: 729000 | #Constraints: 58037
2653.38/2660.03 c #Conflicts: 730000 | #Constraints: 59037
2653.38/2660.03 c #Conflicts: 731000 | #Constraints: 60037
2653.38/2660.03 c #Conflicts: 732000 | #Constraints: 61037
2653.38/2660.03 c #Conflicts: 733000 | #Constraints: 62037
2653.38/2660.03 c #Conflicts: 734000 | #Constraints: 63037
2653.38/2660.03 c #Conflicts: 735000 | #Constraints: 64037
2653.38/2660.03 c #Conflicts: 736000 | #Constraints: 65037
2653.38/2660.03 c #Conflicts: 737000 | #Constraints: 66037
2653.38/2660.03 c #Conflicts: 738000 | #Constraints: 67037
2653.38/2660.03 c #Conflicts: 739000 | #Constraints: 68037
2653.38/2660.03 c #Conflicts: 740000 | #Constraints: 69037
2653.38/2660.03 c #Conflicts: 741000 | #Constraints: 70037
2653.38/2660.03 c #Conflicts: 742000 | #Constraints: 71037
2653.38/2660.03 c #Conflicts: 743000 | #Constraints: 72037
2653.38/2660.03 c #Conflicts: 744000 | #Constraints: 73037
2653.38/2660.03 c #Conflicts: 745000 | #Constraints: 74037
2653.38/2660.03 c #Conflicts: 746000 | #Constraints: 75037
2653.38/2660.03 c #Conflicts: 747000 | #Constraints: 76037
2653.38/2660.03 c #Conflicts: 748000 | #Constraints: 77037
2653.38/2660.03 c #Conflicts: 749000 | #Constraints: 78037
2653.38/2660.03 c #Conflicts: 750000 | #Constraints: 79037
2653.38/2660.03 c #Conflicts: 751000 | #Constraints: 80037
2653.38/2660.03 c #Conflicts: 752000 | #Constraints: 81037
2653.38/2660.03 c #Conflicts: 753000 | #Constraints: 82037
2653.38/2660.03 c #Conflicts: 754000 | #Constraints: 83037
2653.38/2660.03 c #Conflicts: 755000 | #Constraints: 84037
2653.38/2660.03 c #Conflicts: 756000 | #Constraints: 85037
2653.38/2660.03 c #Conflicts: 757000 | #Constraints: 86037
2653.38/2660.03 c #Conflicts: 758000 | #Constraints: 87037
2653.38/2660.03 c #Conflicts: 759000 | #Constraints: 88037
2653.38/2660.03 c #Conflicts: 760000 | #Constraints: 89037
2653.38/2660.03 c #Conflicts: 761000 | #Constraints: 90037
2653.38/2660.03 c #Conflicts: 762000 | #Constraints: 91037
2653.38/2660.03 c #Conflicts: 763000 | #Constraints: 92037
2653.38/2660.03 c #Conflicts: 764000 | #Constraints: 93037
2653.38/2660.03 c #Conflicts: 765000 | #Constraints: 94037
2653.38/2660.03 c #Conflicts: 766000 | #Constraints: 95037
2653.38/2660.03 c #Conflicts: 767000 | #Constraints: 96037
2653.38/2660.03 c #Conflicts: 768000 | #Constraints: 97037
2653.38/2660.03 c #Conflicts: 769000 | #Constraints: 98037
2653.38/2660.03 c #Conflicts: 770000 | #Constraints: 99037
2653.38/2660.03 c #Conflicts: 771000 | #Constraints: 100037
2653.38/2660.03 c #Conflicts: 772000 | #Constraints: 101037
2653.38/2660.03 c #Conflicts: 773000 | #Constraints: 102037
2653.38/2660.03 c #Conflicts: 774000 | #Constraints: 103037
2653.38/2660.03 c INPROCESSING
2653.38/2660.03 c GARBAGE COLLECT
2653.38/2660.03 c rational objective 0
2694.96/2701.71 c #Conflicts: 775000 | #Constraints: 57690
2694.96/2701.71 c #Conflicts: 776000 | #Constraints: 58690
2694.96/2701.71 c #Conflicts: 777000 | #Constraints: 59690
2694.96/2701.71 c #Conflicts: 778000 | #Constraints: 60690
2694.96/2701.71 c #Conflicts: 779000 | #Constraints: 61690
2694.96/2701.71 c #Conflicts: 780000 | #Constraints: 62690
2694.96/2701.71 c #Conflicts: 781000 | #Constraints: 63690
2694.96/2701.71 c #Conflicts: 782000 | #Constraints: 64690
2694.96/2701.71 c #Conflicts: 783000 | #Constraints: 65690
2694.96/2701.71 c #Conflicts: 784000 | #Constraints: 66690
2694.96/2701.71 c #Conflicts: 785000 | #Constraints: 67690
2694.96/2701.71 c #Conflicts: 786000 | #Constraints: 68690
2694.96/2701.71 c #Conflicts: 787000 | #Constraints: 69690
2694.96/2701.71 c #Conflicts: 788000 | #Constraints: 70690
2694.96/2701.71 c #Conflicts: 789000 | #Constraints: 71690
2694.96/2701.71 c #Conflicts: 790000 | #Constraints: 72690
2694.96/2701.71 c #Conflicts: 791000 | #Constraints: 73690
2694.96/2701.71 c #Conflicts: 792000 | #Constraints: 74690
2694.96/2701.71 c #Conflicts: 793000 | #Constraints: 75690
2694.96/2701.71 c #Conflicts: 794000 | #Constraints: 76690
2694.96/2701.71 c #Conflicts: 795000 | #Constraints: 77690
2694.96/2701.71 c INPROCESSING
2694.96/2701.71 c GARBAGE COLLECT
2694.96/2701.71 c rational objective 0
3030.42/3038.17 c #Conflicts: 796000 | #Constraints: 44646
3030.42/3038.17 c #Conflicts: 797000 | #Constraints: 45646
3030.42/3038.17 c #Conflicts: 798000 | #Constraints: 46646
3030.42/3038.17 c #Conflicts: 799000 | #Constraints: 47646
3030.42/3038.17 c #Conflicts: 800000 | #Constraints: 48646
3030.42/3038.17 c #Conflicts: 801000 | #Constraints: 49646
3030.42/3038.17 c #Conflicts: 802000 | #Constraints: 50646
3030.42/3038.17 c #Conflicts: 803000 | #Constraints: 51646
3030.42/3038.17 c #Conflicts: 804000 | #Constraints: 52646
3030.42/3038.17 c #Conflicts: 805000 | #Constraints: 53646
3030.42/3038.17 c #Conflicts: 806000 | #Constraints: 54646
3030.42/3038.17 c #Conflicts: 807000 | #Constraints: 55646
3030.42/3038.17 c #Conflicts: 808000 | #Constraints: 56646
3030.42/3038.17 c #Conflicts: 809000 | #Constraints: 57646
3030.42/3038.17 c #Conflicts: 810000 | #Constraints: 58646
3030.42/3038.17 c #Conflicts: 811000 | #Constraints: 59646
3030.42/3038.17 c #Conflicts: 812000 | #Constraints: 60646
3030.42/3038.17 c #Conflicts: 813000 | #Constraints: 61646
3030.42/3038.17 c #Conflicts: 814000 | #Constraints: 62646
3030.42/3038.17 c #Conflicts: 815000 | #Constraints: 63646
3030.42/3038.17 c #Conflicts: 816000 | #Constraints: 64646
3030.42/3038.17 c #Conflicts: 817000 | #Constraints: 65646
3030.42/3038.17 c #Conflicts: 818000 | #Constraints: 66646
3030.42/3038.17 c #Conflicts: 819000 | #Constraints: 67646
3030.42/3038.17 c #Conflicts: 820000 | #Constraints: 68646
3030.42/3038.17 c #Conflicts: 821000 | #Constraints: 69646
3030.42/3038.17 c #Conflicts: 822000 | #Constraints: 70646
3030.42/3038.17 c #Conflicts: 823000 | #Constraints: 71646
3030.42/3038.17 c #Conflicts: 824000 | #Constraints: 72646
3030.42/3038.17 c #Conflicts: 825000 | #Constraints: 73646
3030.42/3038.17 c #Conflicts: 826000 | #Constraints: 74646
3030.42/3038.17 c #Conflicts: 827000 | #Constraints: 75646
3030.42/3038.17 c #Conflicts: 828000 | #Constraints: 76646
3030.42/3038.17 c #Conflicts: 829000 | #Constraints: 77646
3030.42/3038.17 c #Conflicts: 830000 | #Constraints: 78646
3030.42/3038.17 c #Conflicts: 831000 | #Constraints: 79646
3030.42/3038.17 c #Conflicts: 832000 | #Constraints: 80646
3030.42/3038.17 c #Conflicts: 833000 | #Constraints: 81646
3030.42/3038.17 c #Conflicts: 834000 | #Constraints: 82646
3030.42/3038.17 c #Conflicts: 835000 | #Constraints: 83646
3030.42/3038.17 c #Conflicts: 836000 | #Constraints: 84646
3030.42/3038.17 c #Conflicts: 837000 | #Constraints: 85646
3030.42/3038.17 c #Conflicts: 838000 | #Constraints: 86646
3030.42/3038.17 c #Conflicts: 839000 | #Constraints: 87646
3030.42/3038.17 c #Conflicts: 840000 | #Constraints: 88646
3030.42/3038.17 c #Conflicts: 841000 | #Constraints: 89646
3030.42/3038.17 c #Conflicts: 842000 | #Constraints: 90646
3030.42/3038.17 c #Conflicts: 843000 | #Constraints: 91646
3030.42/3038.17 c #Conflicts: 844000 | #Constraints: 92646
3030.42/3038.17 c #Conflicts: 845000 | #Constraints: 93646
3030.42/3038.17 c #Conflicts: 846000 | #Constraints: 94646
3030.42/3038.17 c #Conflicts: 847000 | #Constraints: 95646
3030.42/3038.17 c #Conflicts: 848000 | #Constraints: 96646
3030.42/3038.17 c #Conflicts: 849000 | #Constraints: 97646
3030.42/3038.17 c #Conflicts: 850000 | #Constraints: 98646
3030.42/3038.17 c #Conflicts: 851000 | #Constraints: 99646
3030.42/3038.17 c #Conflicts: 852000 | #Constraints: 100646
3030.42/3038.17 c #Conflicts: 853000 | #Constraints: 101646
3030.42/3038.17 c #Conflicts: 854000 | #Constraints: 102646
3030.42/3038.17 c #Conflicts: 855000 | #Constraints: 103646
3030.42/3038.17 c #Conflicts: 856000 | #Constraints: 104646
3030.42/3038.17 c #Conflicts: 857000 | #Constraints: 105646
3030.42/3038.17 c #Conflicts: 858000 | #Constraints: 106646
3030.42/3038.17 c #Conflicts: 859000 | #Constraints: 107646
3030.42/3038.17 c #Conflicts: 860000 | #Constraints: 108646
3030.42/3038.17 c INPROCESSING
3030.42/3038.17 c GARBAGE COLLECT
3030.42/3038.17 c rational objective 0
3084.37/3092.22 c #Conflicts: 861000 | #Constraints: 60440
3084.37/3092.22 c #Conflicts: 862000 | #Constraints: 61440
3084.37/3092.22 c #Conflicts: 863000 | #Constraints: 62440
3084.37/3092.22 c #Conflicts: 864000 | #Constraints: 63440
3084.37/3092.22 c #Conflicts: 865000 | #Constraints: 64440
3084.37/3092.22 c #Conflicts: 866000 | #Constraints: 65440
3084.37/3092.22 c #Conflicts: 867000 | #Constraints: 66440
3084.37/3092.22 c #Conflicts: 868000 | #Constraints: 67440
3084.37/3092.22 c #Conflicts: 869000 | #Constraints: 68440
3084.37/3092.22 c #Conflicts: 870000 | #Constraints: 69440
3084.37/3092.22 c #Conflicts: 871000 | #Constraints: 70440
3084.37/3092.22 c #Conflicts: 872000 | #Constraints: 71440
3084.37/3092.22 c #Conflicts: 873000 | #Constraints: 72440
3084.37/3092.22 c #Conflicts: 874000 | #Constraints: 73440
3084.37/3092.22 c #Conflicts: 875000 | #Constraints: 74440
3084.37/3092.22 c #Conflicts: 876000 | #Constraints: 75440
3084.37/3092.22 c #Conflicts: 877000 | #Constraints: 76440
3084.37/3092.22 c #Conflicts: 878000 | #Constraints: 77440
3084.37/3092.22 c #Conflicts: 879000 | #Constraints: 78440
3084.37/3092.22 c #Conflicts: 880000 | #Constraints: 79440
3084.37/3092.22 c #Conflicts: 881000 | #Constraints: 80440
3084.37/3092.22 c #Conflicts: 882000 | #Constraints: 81440
3084.37/3092.22 c #Conflicts: 883000 | #Constraints: 82440
3084.37/3092.22 c INPROCESSING
3084.37/3092.22 c GARBAGE COLLECT
3084.37/3092.22 c rational objective 0
3586.61/3595.80 c #Conflicts: 884000 | #Constraints: 47327
3586.61/3595.80 c #Conflicts: 885000 | #Constraints: 48327
3586.61/3595.80 c #Conflicts: 886000 | #Constraints: 49327
3586.61/3595.80 c #Conflicts: 887000 | #Constraints: 50327
3586.61/3595.80 c #Conflicts: 888000 | #Constraints: 51327
3586.61/3595.80 c #Conflicts: 889000 | #Constraints: 52327
3586.61/3595.80 c #Conflicts: 890000 | #Constraints: 53327
3586.61/3595.80 c #Conflicts: 891000 | #Constraints: 54327
3586.61/3595.80 c #Conflicts: 892000 | #Constraints: 55327
3586.61/3595.80 c #Conflicts: 893000 | #Constraints: 56327
3586.61/3595.80 c #Conflicts: 894000 | #Constraints: 57327
3586.61/3595.80 c #Conflicts: 895000 | #Constraints: 58327
3586.61/3595.80 c #Conflicts: 896000 | #Constraints: 59327
3586.61/3595.80 c #Conflicts: 897000 | #Constraints: 60327
3586.61/3595.80 c #Conflicts: 898000 | #Constraints: 61327
3586.61/3595.80 c #Conflicts: 899000 | #Constraints: 62327
3586.61/3595.80 c #Conflicts: 900000 | #Constraints: 63327
3586.61/3595.80 c #Conflicts: 901000 | #Constraints: 64327
3586.61/3595.80 c #Conflicts: 902000 | #Constraints: 65327
3586.61/3595.80 c #Conflicts: 903000 | #Constraints: 66327
3586.61/3595.80 c #Conflicts: 904000 | #Constraints: 67327
3586.61/3595.80 c #Conflicts: 905000 | #Constraints: 68327
3586.61/3595.80 c #Conflicts: 906000 | #Constraints: 69327
3586.61/3595.80 c #Conflicts: 907000 | #Constraints: 70327
3586.61/3595.80 c #Conflicts: 908000 | #Constraints: 71327
3586.61/3595.80 c #Conflicts: 909000 | #Constraints: 72327
3586.61/3595.80 c #Conflicts: 910000 | #Constraints: 73327
3586.61/3595.80 c #Conflicts: 911000 | #Constraints: 74327
3586.61/3595.80 c #Conflicts: 912000 | #Constraints: 75327
3586.61/3595.80 c #Conflicts: 913000 | #Constraints: 76327
3586.61/3595.80 c #Conflicts: 914000 | #Constraints: 77327
3586.61/3595.80 c #Conflicts: 915000 | #Constraints: 78327
3586.61/3595.80 c #Conflicts: 916000 | #Constraints: 79327
3586.61/3595.80 c #Conflicts: 917000 | #Constraints: 80327
3586.61/3595.80 c #Conflicts: 918000 | #Constraints: 81327
3586.61/3595.80 c #Conflicts: 919000 | #Constraints: 82327
3586.61/3595.80 c #Conflicts: 920000 | #Constraints: 83327
3586.61/3595.80 c #Conflicts: 921000 | #Constraints: 84327
3586.61/3595.80 c #Conflicts: 922000 | #Constraints: 85327
3586.61/3595.80 c #Conflicts: 923000 | #Constraints: 86327
3586.61/3595.80 c #Conflicts: 924000 | #Constraints: 87327
3586.61/3595.80 c #Conflicts: 925000 | #Constraints: 88327
3586.61/3595.80 c #Conflicts: 926000 | #Constraints: 89327
3586.61/3595.80 c #Conflicts: 927000 | #Constraints: 90327
3586.61/3595.80 c #Conflicts: 928000 | #Constraints: 91327
3586.61/3595.80 c #Conflicts: 929000 | #Constraints: 92327
3586.61/3595.80 c #Conflicts: 930000 | #Constraints: 93327
3586.61/3595.80 c #Conflicts: 931000 | #Constraints: 94327
3586.61/3595.80 c #Conflicts: 932000 | #Constraints: 95327
3586.61/3595.80 c #Conflicts: 933000 | #Constraints: 96327
3586.61/3595.80 c #Conflicts: 934000 | #Constraints: 97327
3586.61/3595.80 c #Conflicts: 935000 | #Constraints: 98327
3586.61/3595.80 c #Conflicts: 936000 | #Constraints: 99327
3586.61/3595.80 c #Conflicts: 937000 | #Constraints: 100327
3586.61/3595.80 c #Conflicts: 938000 | #Constraints: 101327
3586.61/3595.80 c #Conflicts: 939000 | #Constraints: 102327
3586.61/3595.80 c #Conflicts: 940000 | #Constraints: 103327
3586.61/3595.80 c #Conflicts: 941000 | #Constraints: 104327
3586.61/3595.80 c #Conflicts: 942000 | #Constraints: 105327
3586.61/3595.80 c #Conflicts: 943000 | #Constraints: 106327
3586.61/3595.80 c #Conflicts: 944000 | #Constraints: 107327
3586.61/3595.80 c #Conflicts: 945000 | #Constraints: 108327
3586.61/3595.80 c #Conflicts: 946000 | #Constraints: 109327
3586.61/3595.80 c #Conflicts: 947000 | #Constraints: 110327
3586.61/3595.80 c #Conflicts: 948000 | #Constraints: 111327
3586.61/3595.80 c #Conflicts: 949000 | #Constraints: 112327
3586.61/3595.80 c #Conflicts: 950000 | #Constraints: 113327
3586.61/3595.80 c INPROCESSING
3586.61/3595.80 c GARBAGE COLLECT
3586.61/3595.80 c rational objective 0
3600.07/3609.30 c #Conflicts: 951000 | #Constraints: 62572
3600.07/3609.30 c #Conflicts: 952000 | #Constraints: 63572
3600.07/3609.30 c #Conflicts: 953000 | #Constraints: 64572
3600.07/3609.30 c #Conflicts: 954000 | #Constraints: 65572
3600.07/3609.30 c #Conflicts: 955000 | #Constraints: 66572
3600.07/3609.30 c #Conflicts: 956000 | #Constraints: 67572
3600.07/3609.30 c #Conflicts: 957000 | #Constraints: 68572
3600.07/3609.30 c #Conflicts: 958000 | #Constraints: 69572
3600.07/3609.30 c #Conflicts: 959000 | #Constraints: 70572
3600.07/3609.30 c cpu time 3595.11 s
3600.07/3609.30 c deterministic time 137233890634 1.37e+11
3600.07/3609.30 c optimization time 13.3431 s
3600.07/3609.30 c total solve time 3581.74 s
3600.07/3609.30 c core-guided solve time 0 s
3600.07/3609.30 c propagation time 1793.04 s
3600.07/3609.30 c conflict analysis time 1761.85 s
3600.07/3609.30 c propagations 606284479
3600.07/3609.30 c resolve steps 210347833
3600.07/3609.30 c decisions 1532715
3600.07/3609.30 c conflicts 959113
3600.07/3609.30 c restarts 2044
3600.07/3609.30 c inprocessing phases 49
3600.07/3609.30 c garbage collections 49 ,( 100.00 )
3600.07/3609.30 c input clauses 6382 ,( 65.91 )
3600.07/3609.30 c input cardinalities 0 ,( 0.00 )
3600.07/3609.30 c input general constraints 3301 ,( 34.09 )
3600.07/3609.30 c input average constraint length 3.11
3600.07/3609.30 c input average constraint degree 1860415006660.95
3600.07/3609.30 c learned clauses 714559 ,( 74.50 )
3600.07/3609.30 c learned cardinalities 572 ,( 0.06 )
3600.07/3609.30 c learned general constraints 243982 ,( 25.44 )
3600.07/3609.30 c learned average constraint length 331.44
3600.07/3609.30 c learned average constraint degree 100351551.28
3600.07/3609.30 c watched CF 32, 64, 128, Arb: 52179 , 0 , 0 , 0
3600.07/3609.30 c counting CF 32, 64, 128, Arb: 195103 , 1 , 0 , 0
3600.07/3609.30 c watched constraints 52179 ,( 21.10 )
3600.07/3609.30 c counting constraints 195104 ,( 78.90 )
3600.07/3609.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 771637674 , 23825881 , 43291752114 ,( 79136220 , 43212615894 )
3600.07/3609.30 c gcd simplifications 7976
3600.07/3609.30 c detected cardinalities 497
3600.07/3609.30 c weakened non-implied lits 50162481
3600.07/3609.30 c weakened non-implying lits 154743
3600.07/3609.30 c original variables 5122
3600.07/3609.30 c clausal propagations 171687741
3600.07/3609.30 c cardinality propagations 1140621
3600.07/3609.30 c watched propagations 1048627
3600.07/3609.30 c counting propagations 431431888
3600.07/3609.30 c watch lookups 106636676336
3600.07/3609.30 c watch backjump lookups 0
3600.07/3609.30 c watch checks 3160019557
3600.07/3609.30 c propagation checks 24742136908
3600.07/3609.30 c constraint additions 1478282533
3600.07/3609.30 c trail pops 608771273
3600.07/3609.30 c formula constraints 9683
3600.07/3609.30 c learned constraints 959111
3600.07/3609.30 c bound constraints 0
3600.07/3609.30 c core-guided constraints 0
3600.07/3609.30 c encountered formula constraints 175692822
3600.07/3609.30 c encountered learned constraints 35588800
3600.07/3609.30 c encountered bound constraints 0
3600.07/3609.30 c encountered core-guided constraints 0
3600.07/3609.30 c LP total time 18.4345 s
3600.07/3609.30 c LP solve time 17.16 s
3600.07/3609.30 c LP constraints added 9683
3600.07/3609.30 c LP constraints removed 0
3600.07/3609.30 c LP pivots internal 98520
3600.07/3609.30 c LP pivots root 88312
3600.07/3609.30 c LP calls 103
3600.07/3609.30 c LP optimalities 98
3600.07/3609.30 c LP no pivot count 5
3600.07/3609.30 c LP infeasibilities 1
3600.07/3609.30 c LP valid Farkas constraints 1
3600.07/3609.30 c LP learned Farkas constraints 1
3600.07/3609.30 c LP basis resets 0
3600.07/3609.30 c LP cycling count 0
3600.07/3609.30 c LP singular count 0
3600.07/3609.30 c LP no primal count 0
3600.07/3609.30 c LP no farkas count 0
3600.07/3609.30 c LP other issue count 0
3600.07/3609.30 c LP Gomory cuts 0
3600.07/3609.30 c LP learned cuts 0
3600.07/3609.30 c LP deleted cuts 0
3600.07/3609.30 c LP encountered Gomory constraints 0
3600.07/3609.30 c LP encountered Farkas constraints 25322
3600.07/3609.30 c LP encountered learned Farkas constraints 1
3600.07/3609.30 c CG auxiliary variables introduced 0
3600.07/3609.30 c CG solutions found 0
3600.07/3609.30 c CG cores constructed 0
3600.07/3609.30 c CG core cardinality constraints returned 0
3600.07/3609.30 c CG unit cores 0
3600.07/3609.30 c CG single cores 0
3600.07/3609.30 c CG blocks removed during cardinality reduction 0
3600.07/3609.30 c CG first core best 0
3600.07/3609.30 c CG decision core best 0
3600.07/3609.30 c CG core reduction tie 0
3600.07/3609.30 c CG core degree average 0.00
3600.07/3609.30 c CG core slack average 0.00
3600.07/3609.30 c CG core upper bound improvements 0
3600.07/3609.30 c STR number of successful calls 0
3600.07/3609.30 c STR number of unsuccessful calls 0
3600.07/3609.30 c STR number of inconclusive calls 0
3600.07/3609.30 c STR number of successful attempts 0
3600.07/3609.30 c STR number of unsuccessful attempts 0
3600.07/3609.30 c STR number of inconclusive attempts 0
3600.07/3609.30 c STR average degree increase per successful call inf
3600.07/3609.30 c STR average degree increase per successful attempt inf
3600.07/3609.30 c STR total number of conflicts for successful attempts 0
3600.07/3609.30 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.30 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.30 c STR average number of conflicts per successful attempt inf
3600.07/3609.30 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.30 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.30 c AVG.sumWPerc 71.81
3600.07/3609.30 c bigint constraints 1
3600.07/3609.30 s UNKNOWN
3600.07/3609.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: 63665 MiB (62465 MiB free)
memory of node 1: 64507 MiB (63667 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541761-1753202596/watcher-4541761-1753202596 -o /tmp/evaluation-result-4541761-1753202596/solver-4541761-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753198973-167337 --watchdog 3760 run-dec.sh HOME/instance-4541761-1753202596.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
solver pid=167766, runsolver pid=167763
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.14 4.12 4.03 5/270 167774
/proc/meminfo: memFree=129138256/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=73396 memory=27104 CPUtime=0.08 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 4248 0 0 0 7 1 0 0 20 0 1 0 235937542 75157504 6776 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 18349 6776 2304 1147 0 5776 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77588 KiB
Current children cumulated memory: 30176 KiB
[startup+0.205695 s]*
/proc/loadavg: 4.14 4.12 4.03 5/270 167774
/proc/meminfo: memFree=129137252/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=73716 memory=27360 CPUtime=0.18 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 4334 0 0 0 17 1 0 0 20 0 1 0 235937542 75485184 6840 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 18429 6840 2304 1147 0 5856 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 77908 KiB
Current children cumulated memory: 30432 KiB
[startup+0.305047 s]*
/proc/loadavg: 4.14 4.12 4.03 5/270 167774
/proc/meminfo: memFree=129136748/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=73716 memory=27488 CPUtime=0.28 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 4348 0 0 0 27 1 0 0 20 0 1 0 235937542 75485184 6872 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 18429 6872 2304 1147 0 5856 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 77908 KiB
Current children cumulated memory: 30560 KiB
[startup+0.700124 s]
/proc/loadavg: 4.14 4.12 4.03 5/270 167774
/proc/meminfo: memFree=129133068/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=73716 memory=27744 CPUtime=0.66 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 4415 0 0 0 65 1 0 0 20 0 1 0 235937542 75485184 6936 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 18429 6936 2304 1147 0 5856 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 77908 KiB
Current children cumulated memory: 30816 KiB
[startup+1.50013 s]
/proc/loadavg: 4.14 4.12 4.03 5/270 167774
/proc/meminfo: memFree=129133068/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=74508 memory=28768 CPUtime=1.46 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 4672 0 0 0 145 1 0 0 20 0 1 0 235937542 76296192 7192 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 18627 7192 2304 1147 0 6054 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 78700 KiB
Current children cumulated memory: 31840 KiB
[startup+3.10546 s]
/proc/loadavg: 4.13 4.11 4.03 5/270 167774
/proc/meminfo: memFree=129129628/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=76380 memory=32668 CPUtime=3.07 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 5152 0 0 0 304 3 0 0 20 0 1 0 235937542 78213120 8167 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 19095 8167 2304 1147 0 6522 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 80572 KiB
Current children cumulated memory: 35740 KiB
[startup+6.30012 s]
/proc/loadavg: 4.13 4.11 4.03 5/270 167775
/proc/meminfo: memFree=129121812/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=77312 memory=33564 CPUtime=6.25 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 5373 0 0 0 622 3 0 0 20 0 1 0 235937542 79167488 8391 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 19328 8391 2304 1147 0 6755 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 81504 KiB
Current children cumulated memory: 36636 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.11 4.03 5/270 167775
/proc/meminfo: memFree=129113512/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=79888 memory=36124 CPUtime=12.64 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 6010 0 0 0 1258 6 0 0 20 0 1 0 235937542 81805312 9031 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 19972 9031 2304 1147 0 7399 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 84080 KiB
Current children cumulated memory: 39196 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.11 4.03 5/270 167775
/proc/meminfo: memFree=129078356/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=82148 memory=38428 CPUtime=25.41 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 6585 0 0 0 2530 11 0 0 20 0 1 0 235937542 84119552 9607 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 20537 9607 2304 1147 0 7964 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 86340 KiB
Current children cumulated memory: 41500 KiB
[startup+51.1054 s]
/proc/loadavg: 4.06 4.10 4.03 5/270 167775
/proc/meminfo: memFree=129042592/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=90784 memory=46748 CPUtime=50.97 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 8714 0 0 0 5077 20 0 0 20 0 1 0 235937542 92962816 11687 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 22696 11687 2304 1147 0 10123 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 94976 KiB
Current children cumulated memory: 49820 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/270 167779
/proc/meminfo: memFree=128935024/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=124244 memory=73612 CPUtime=102.05 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 12362 0 0 0 10173 32 0 0 20 0 1 0 235937542 127225856 18403 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 31061 18403 2304 1147 0 18488 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 128436 KiB
Current children cumulated memory: 76684 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/270 167781
/proc/meminfo: memFree=128804980/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=152796 memory=103848 CPUtime=161.91 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 18867 0 0 0 16140 51 0 0 20 0 1 0 235937542 156463104 25962 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 38199 25962 2336 1147 0 25626 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 156988 KiB
Current children cumulated memory: 106920 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/270 167783
/proc/meminfo: memFree=128755596/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=156884 memory=109492 CPUtime=221.78 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 19794 0 0 0 22107 71 0 0 20 0 1 0 235937542 160649216 27373 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 39221 27373 2336 1147 0 26648 0
Current children cumulated CPU time: 221.78 s
################
# More data... #
################
/proc/167769/statm: 105271 92302 2336 1147 0 92698 0
Current children cumulated CPU time: 3094.44 s
Current children cumulated vsize: 425276 KiB
Current children cumulated memory: 372280 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.19 4.16 5/269 167940
/proc/meminfo: memFree=126303896/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=421084 memory=369208 CPUtime=3154.27 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 54521 0 0 0 314964 463 0 0 20 0 1 0 235937542 431190016 92302 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 105271 92302 2336 1147 0 92698 0
Current children cumulated CPU time: 3154.27 s
Current children cumulated vsize: 425276 KiB
Current children cumulated memory: 372280 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.18 4.16 5/268 167942
/proc/meminfo: memFree=126222756/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=421084 memory=369208 CPUtime=3214.11 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 54523 0 0 0 320940 471 0 0 20 0 1 0 235937542 431190016 92302 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 105271 92302 2336 1147 0 92698 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 425276 KiB
Current children cumulated memory: 372280 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/269 167945
/proc/meminfo: memFree=126168124/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=421084 memory=369208 CPUtime=3273.94 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 54528 0 0 0 326918 476 0 0 20 0 1 0 235937542 431190016 92302 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 105271 92302 2336 1147 0 92698 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 425276 KiB
Current children cumulated memory: 372280 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.13 4.15 5/268 167947
/proc/meminfo: memFree=126139828/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=421084 memory=369336 CPUtime=3333.79 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 54536 0 0 0 332898 481 0 0 20 0 1 0 235937542 431190016 92334 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 105271 92334 2336 1147 0 92698 0
Current children cumulated CPU time: 3333.79 s
Current children cumulated vsize: 425276 KiB
Current children cumulated memory: 372408 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/268 167949
/proc/meminfo: memFree=126091192/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=423020 memory=370488 CPUtime=3393.63 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 54838 0 0 0 338880 483 0 0 20 0 1 0 235937542 433172480 92622 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 105755 92622 2336 1147 0 93182 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 427212 KiB
Current children cumulated memory: 373560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/268 167951
/proc/meminfo: memFree=126058560/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=428172 memory=373944 CPUtime=3453.47 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 55706 0 0 0 344862 485 0 0 20 0 1 0 235937542 438448128 93486 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 107043 93486 2336 1147 0 94470 0
Current children cumulated CPU time: 3453.47 s
Current children cumulated vsize: 432364 KiB
Current children cumulated memory: 377016 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/268 167953
/proc/meminfo: memFree=126018824/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=518108 memory=382008 CPUtime=3513.31 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 57840 0 0 0 350843 488 0 0 20 0 1 0 235937542 530542592 95502 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 129527 95502 2336 1147 0 116954 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 522300 KiB
Current children cumulated memory: 385080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/268 167956
/proc/meminfo: memFree=125945624/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=523100 memory=396148 CPUtime=3573.15 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 58817 0 0 0 356824 491 0 0 20 0 1 0 235937542 535654400 99037 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 130775 99037 2336 1147 0 118202 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 527292 KiB
Current children cumulated memory: 399220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.12 4.11 4.13 4/266 167964
/proc/meminfo: memFree=126791264/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=537760 memory=407412 CPUtime=3600.07 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 61613 0 0 0 359511 496 0 0 20 0 1 0 235937542 550666240 101853 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 134440 101853 2336 1147 0 121867 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 541952 KiB
Current children cumulated memory: 410484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 167766 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002218 s, system=0 s
[startup+3609.31 s]
# the end of solver process 167769 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3595.11 s, system=4.97537 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.12 4.11 4.13 4/266 167964
/proc/meminfo: memFree=126791264/131249996 swapFree=33010672/33010684
[pid=167766] ppid=167763 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/167766/stat : 167766 (run-dec.sh) S 167763 167766 167318 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235937541 4292608 768 18446744073709551615 94901153243136 94901154137669 140737328773184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94901154376720 94901154424464 94901172678656 140737328777579 140737328777702 140737328777702 140737328783306 0
/proc/167766/statm: 1048 768 704 219 0 110 0
[pid=167769] ppid=167766 vsize=537760 memory=407412 CPUtime=3600.07 cores=1,3
/proc/167769/stat : 167769 (roundingsat) R 167766 167766 167318 0 -1 4194304 61613 0 0 0 359511 496 0 0 20 0 1 0 235937542 550666240 101853 18446744073709551615 4227072 8923433 140723644256816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140723644258741 140723644258854 140723644258854 140723644264426 0
/proc/167769/statm: 134440 101853 2336 1147 0 121867 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 541952 KiB
Current children cumulated memory: 410484 KiB
Child status: 2
Real time (s): 3609.31
CPU time (s): 3600.09
CPU user time (s): 3595.11
CPU system time (s): 4.97537
CPU usage (%): 99.7446
Max. virtual memory (cumulated for all children) (KiB): 541952
Max. memory (cumulated for all children) (KiB): 410484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.12
system time used= 4.97537
maximum resident set size= 407796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61840
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= 257
involuntary context switches= 3433
# summary of solver processes directly reported to runsolver:
# pid: 167766,167769
# total CPU time (s): 3600.09
# total CPU user time (s): 3595.11
# total CPU system time (s): 4.97537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15769 second user time and 18.0371 second system time
The end
Begin job on nodeC024 at 2025-07-22 18:43:16
IDJOB=4541761
IDBENCH=163377
IDSOLVER=3349
FILE ID=nodeC024/4541761-1753202596
RUNJOBID= nodeC024-1753198973-167337
SLURM_JOB_ID= 9687757
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541761-1753202596/watcher-4541761-1753202596 -o /tmp/evaluation-result-4541761-1753202596/solver-4541761-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753198973-167337 --watchdog 3760 run-dec.sh HOME/instance-4541761-1753202596.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c5f0df1008e51f7adaa039b331d221c7
RANDOM SEED=1063239506
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.399
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.708
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.779
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.36
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.950
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.885
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.650
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.36
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.688
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.36
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.677
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129185132 kB
MemAvailable: 129714948 kB
Buffers: 2128 kB
Cached: 1292484 kB
SwapCached: 8 kB
Active: 1198832 kB
Inactive: 165256 kB
Active(anon): 94136 kB
Inactive(anon): 1588 kB
Active(file): 1104696 kB
Inactive(file): 163668 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22500 kB
Writeback: 0 kB
AnonPages: 72660 kB
Mapped: 108608 kB
Shmem: 26248 kB
KReclaimable: 200980 kB
Slab: 296540 kB
SReclaimable: 200980 kB
SUnreclaim: 95560 kB
KernelStack: 4160 kB
PageTables: 3088 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 374620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3904 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433012 MiB
End job on nodeC024 at 2025-07-22 19:43:26