0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
1.56/1.64 c #variables 7351 #constraints 156112
1.77/1.85 c rational objective 319
12.73/12.88 c #Conflicts: 1000 | #Constraints: 157112
12.73/12.88 c #Conflicts: 2000 | #Constraints: 158112
12.73/12.88 c INPROCESSING
12.73/12.88 c #Conflicts: 3000 | #Constraints: 158126
12.73/12.88 c #Conflicts: 4000 | #Constraints: 159126
12.73/12.88 c INPROCESSING
12.73/12.88 c #Conflicts: 5000 | #Constraints: 158530
12.73/12.88 c #Conflicts: 6000 | #Constraints: 159530
12.73/12.88 c INPROCESSING
12.73/12.88 c #Conflicts: 7000 | #Constraints: 158526
12.73/12.88 c #Conflicts: 8000 | #Constraints: 159526
12.73/12.88 c #Conflicts: 9000 | #Constraints: 160526
12.73/12.88 c INPROCESSING
12.73/12.88 c #Conflicts: 10000 | #Constraints: 159194
12.73/12.88 c #Conflicts: 11000 | #Constraints: 160194
12.73/12.88 c #Conflicts: 12000 | #Constraints: 161194
12.73/12.88 c INPROCESSING
12.73/12.88 c #Conflicts: 13000 | #Constraints: 159657
12.73/12.88 c #Conflicts: 14000 | #Constraints: 160657
12.73/12.88 c #Conflicts: 15000 | #Constraints: 161657
12.73/12.88 c INPROCESSING
12.73/12.88 c #Conflicts: 16000 | #Constraints: 159892
12.73/12.88 c #Conflicts: 17000 | #Constraints: 160892
12.73/12.88 c #Conflicts: 18000 | #Constraints: 161892
12.73/12.88 c INPROCESSING
12.73/12.88 c GARBAGE COLLECT
12.73/12.88 c #Conflicts: 19000 | #Constraints: 159921
12.73/12.88 c #Conflicts: 20000 | #Constraints: 160921
12.73/12.88 c #Conflicts: 21000 | #Constraints: 161921
12.73/12.88 c INPROCESSING
12.73/12.88 c #Conflicts: 22000 | #Constraints: 159738
12.73/12.88 c #Conflicts: 23000 | #Constraints: 160738
12.73/12.88 c #Conflicts: 24000 | #Constraints: 161738
12.73/12.88 c #Conflicts: 25000 | #Constraints: 162738
12.73/12.88 c #Conflicts: 26000 | #Constraints: 163738
12.73/12.88 c #Conflicts: 27000 | #Constraints: 164738
12.73/12.88 c #Conflicts: 28000 | #Constraints: 165738
12.73/12.88 c #Conflicts: 29000 | #Constraints: 166738
12.73/12.88 c #Conflicts: 30000 | #Constraints: 167738
12.73/12.88 c #Conflicts: 31000 | #Constraints: 168738
12.73/12.88 c #Conflicts: 32000 | #Constraints: 169738
12.73/12.88 c #Conflicts: 33000 | #Constraints: 170738
12.73/12.88 c INPROCESSING
12.73/12.88 c #Conflicts: 34000 | #Constraints: 164322
12.73/12.88 c #Conflicts: 35000 | #Constraints: 165322
12.73/12.88 c #Conflicts: 36000 | #Constraints: 166322
12.73/12.88 c #Conflicts: 37000 | #Constraints: 167322
12.73/12.88 c #Conflicts: 38000 | #Constraints: 168322
12.73/12.88 c INPROCESSING
12.73/12.88 c GARBAGE COLLECT
12.73/12.88 c #Conflicts: 39000 | #Constraints: 163277
12.73/12.88 c #Conflicts: 40000 | #Constraints: 164277
12.73/12.88 c #Conflicts: 41000 | #Constraints: 165277
12.73/12.88 c #Conflicts: 42000 | #Constraints: 166277
12.73/12.88 c INPROCESSING
12.73/12.88 c #Conflicts: 43000 | #Constraints: 161829
12.73/12.88 c #Conflicts: 44000 | #Constraints: 162829
12.73/12.88 c #Conflicts: 45000 | #Constraints: 163829
12.73/12.88 c #Conflicts: 46000 | #Constraints: 164829
12.73/12.88 c #Conflicts: 47000 | #Constraints: 165829
12.73/12.88 c #Conflicts: 48000 | #Constraints: 166829
12.73/12.88 c #Conflicts: 49000 | #Constraints: 167829
12.73/12.88 c #Conflicts: 50000 | #Constraints: 168829
12.73/12.88 c #Conflicts: 51000 | #Constraints: 169829
12.73/12.88 c #Conflicts: 52000 | #Constraints: 170829
12.73/12.88 c #Conflicts: 53000 | #Constraints: 171829
12.73/12.88 c #Conflicts: 54000 | #Constraints: 172829
12.73/12.88 c #Conflicts: 55000 | #Constraints: 173829
12.73/12.88 c #Conflicts: 56000 | #Constraints: 174829
12.73/12.88 c #Conflicts: 57000 | #Constraints: 175829
12.73/12.88 c #Conflicts: 58000 | #Constraints: 176829
12.73/12.88 c INPROCESSING
12.73/12.88 c GARBAGE COLLECT
12.73/12.88 c #Conflicts: 59000 | #Constraints: 167170
12.73/12.88 c #Conflicts: 60000 | #Constraints: 168170
12.73/12.88 c #Conflicts: 61000 | #Constraints: 169170
12.73/12.88 c #Conflicts: 62000 | #Constraints: 170170
12.73/12.88 c #Conflicts: 63000 | #Constraints: 171170
12.73/12.88 c #Conflicts: 64000 | #Constraints: 172170
12.73/12.88 c #Conflicts: 65000 | #Constraints: 173170
12.73/12.88 c INPROCESSING
12.73/12.88 c #Conflicts: 66000 | #Constraints: 165761
12.73/12.88 c #Conflicts: 67000 | #Constraints: 166761
12.73/12.88 c #Conflicts: 68000 | #Constraints: 167761
12.73/12.88 c #Conflicts: 69000 | #Constraints: 168761
12.73/12.88 c #Conflicts: 70000 | #Constraints: 169761
12.73/12.88 c #Conflicts: 71000 | #Constraints: 170761
12.73/12.88 c INPROCESSING
12.73/12.88 c GARBAGE COLLECT
12.73/12.88 c #Conflicts: 72000 | #Constraints: 164366
12.73/12.88 c #Conflicts: 73000 | #Constraints: 165366
12.73/12.88 c #Conflicts: 74000 | #Constraints: 166366
25.50/25.68 c #Conflicts: 75000 | #Constraints: 167366
25.50/25.68 c #Conflicts: 76000 | #Constraints: 168366
25.50/25.68 c #Conflicts: 77000 | #Constraints: 169366
25.50/25.68 c #Conflicts: 78000 | #Constraints: 170366
25.50/25.68 c #Conflicts: 79000 | #Constraints: 171366
25.50/25.68 c #Conflicts: 80000 | #Constraints: 172366
25.50/25.68 c #Conflicts: 81000 | #Constraints: 173366
25.50/25.68 c #Conflicts: 82000 | #Constraints: 174366
25.50/25.68 c #Conflicts: 83000 | #Constraints: 175366
25.50/25.68 c #Conflicts: 84000 | #Constraints: 176366
25.50/25.68 c #Conflicts: 85000 | #Constraints: 177366
25.50/25.68 c #Conflicts: 86000 | #Constraints: 178366
25.50/25.68 c #Conflicts: 87000 | #Constraints: 179366
25.50/25.68 c #Conflicts: 88000 | #Constraints: 180366
25.50/25.68 c #Conflicts: 89000 | #Constraints: 181366
25.50/25.68 c #Conflicts: 90000 | #Constraints: 182366
25.50/25.68 c #Conflicts: 91000 | #Constraints: 183366
25.50/25.68 c INPROCESSING
25.50/25.68 c GARBAGE COLLECT
25.50/25.68 c #Conflicts: 92000 | #Constraints: 170623
25.50/25.68 c #Conflicts: 93000 | #Constraints: 171623
25.50/25.68 c #Conflicts: 94000 | #Constraints: 172623
25.50/25.68 c #Conflicts: 95000 | #Constraints: 173623
25.50/25.68 c #Conflicts: 96000 | #Constraints: 174623
25.50/25.68 c #Conflicts: 97000 | #Constraints: 175623
25.50/25.68 c #Conflicts: 98000 | #Constraints: 176623
25.50/25.68 c #Conflicts: 99000 | #Constraints: 177623
25.50/25.68 c INPROCESSING
25.50/25.68 c GARBAGE COLLECT
25.50/25.68 c #Conflicts: 100000 | #Constraints: 167927
25.50/25.68 c #Conflicts: 101000 | #Constraints: 168927
25.50/25.68 c #Conflicts: 102000 | #Constraints: 169927
25.50/25.68 c #Conflicts: 103000 | #Constraints: 170927
25.50/25.68 c #Conflicts: 104000 | #Constraints: 171927
25.50/25.68 c #Conflicts: 105000 | #Constraints: 172927
25.50/25.68 c #Conflicts: 106000 | #Constraints: 173927
25.50/25.68 c #Conflicts: 107000 | #Constraints: 174927
25.50/25.68 c INPROCESSING
25.50/25.68 c #Conflicts: 108000 | #Constraints: 166558
25.50/25.68 c #Conflicts: 109000 | #Constraints: 167558
25.50/25.68 c #Conflicts: 110000 | #Constraints: 168558
25.50/25.68 c #Conflicts: 111000 | #Constraints: 169558
25.50/25.68 c #Conflicts: 112000 | #Constraints: 170558
25.50/25.68 c #Conflicts: 113000 | #Constraints: 171558
25.50/25.68 c #Conflicts: 114000 | #Constraints: 172558
25.50/25.68 c #Conflicts: 115000 | #Constraints: 173558
25.50/25.68 c #Conflicts: 116000 | #Constraints: 174558
25.50/25.68 c #Conflicts: 117000 | #Constraints: 175558
25.50/25.68 c #Conflicts: 118000 | #Constraints: 176558
25.50/25.68 c #Conflicts: 119000 | #Constraints: 177558
25.50/25.68 c #Conflicts: 120000 | #Constraints: 178558
25.50/25.68 c #Conflicts: 121000 | #Constraints: 179558
25.50/25.68 c #Conflicts: 122000 | #Constraints: 180558
25.50/25.68 c #Conflicts: 123000 | #Constraints: 181558
25.50/25.68 c #Conflicts: 124000 | #Constraints: 182558
25.50/25.68 c #Conflicts: 125000 | #Constraints: 183558
25.50/25.68 c #Conflicts: 126000 | #Constraints: 184558
25.50/25.68 c #Conflicts: 127000 | #Constraints: 185558
25.50/25.68 c #Conflicts: 128000 | #Constraints: 186558
25.50/25.68 c #Conflicts: 129000 | #Constraints: 187558
25.50/25.68 c #Conflicts: 130000 | #Constraints: 188558
25.50/25.68 c #Conflicts: 131000 | #Constraints: 189558
25.50/25.68 c INPROCESSING
25.50/25.68 c GARBAGE COLLECT
25.50/25.68 c rational objective 319
38.66/38.86 c #Conflicts: 132000 | #Constraints: 173774
38.66/38.86 c #Conflicts: 133000 | #Constraints: 174774
38.66/38.86 c #Conflicts: 134000 | #Constraints: 175774
38.66/38.86 c #Conflicts: 135000 | #Constraints: 176774
38.66/38.86 c #Conflicts: 136000 | #Constraints: 177774
38.66/38.86 c #Conflicts: 137000 | #Constraints: 178774
38.66/38.86 c #Conflicts: 138000 | #Constraints: 179774
38.66/38.86 c #Conflicts: 139000 | #Constraints: 180774
38.66/38.86 c #Conflicts: 140000 | #Constraints: 181774
38.66/38.86 c INPROCESSING
38.66/38.86 c GARBAGE COLLECT
38.66/38.86 c #Conflicts: 141000 | #Constraints: 169840
38.66/38.86 c #Conflicts: 142000 | #Constraints: 170840
38.66/38.86 c #Conflicts: 143000 | #Constraints: 171840
38.66/38.86 c #Conflicts: 144000 | #Constraints: 172840
38.66/38.86 c #Conflicts: 145000 | #Constraints: 173840
38.66/38.86 c #Conflicts: 146000 | #Constraints: 174840
38.66/38.86 c #Conflicts: 147000 | #Constraints: 175840
38.66/38.86 c #Conflicts: 148000 | #Constraints: 176840
38.66/38.86 c #Conflicts: 149000 | #Constraints: 177840
38.66/38.86 c #Conflicts: 150000 | #Constraints: 178840
38.66/38.86 c #Conflicts: 151000 | #Constraints: 179840
38.66/38.86 c #Conflicts: 152000 | #Constraints: 180840
38.66/38.86 c #Conflicts: 153000 | #Constraints: 181840
38.66/38.86 c #Conflicts: 154000 | #Constraints: 182840
38.66/38.86 c #Conflicts: 155000 | #Constraints: 183840
38.66/38.86 c #Conflicts: 156000 | #Constraints: 184840
38.66/38.86 c #Conflicts: 157000 | #Constraints: 185840
38.66/38.86 c #Conflicts: 158000 | #Constraints: 186840
38.66/38.86 c #Conflicts: 159000 | #Constraints: 187840
38.66/38.86 c #Conflicts: 160000 | #Constraints: 188840
38.66/38.86 c #Conflicts: 161000 | #Constraints: 189840
38.66/38.86 c #Conflicts: 162000 | #Constraints: 190840
38.66/38.86 c #Conflicts: 163000 | #Constraints: 191840
38.66/38.86 c #Conflicts: 164000 | #Constraints: 192840
38.66/38.86 c #Conflicts: 165000 | #Constraints: 193840
38.66/38.86 c #Conflicts: 166000 | #Constraints: 194840
38.66/38.86 c #Conflicts: 167000 | #Constraints: 195840
38.66/38.86 c #Conflicts: 168000 | #Constraints: 196840
38.66/38.86 c INPROCESSING
38.66/38.86 c GARBAGE COLLECT
38.66/38.86 c #Conflicts: 169000 | #Constraints: 177740
38.66/38.86 c #Conflicts: 170000 | #Constraints: 178740
38.66/38.86 c #Conflicts: 171000 | #Constraints: 179740
38.66/38.86 c #Conflicts: 172000 | #Constraints: 180740
38.66/38.86 c #Conflicts: 173000 | #Constraints: 181740
38.66/38.86 c #Conflicts: 174000 | #Constraints: 182740
38.66/38.86 c #Conflicts: 175000 | #Constraints: 183740
38.66/38.86 c #Conflicts: 176000 | #Constraints: 184740
38.66/38.86 c #Conflicts: 177000 | #Constraints: 185740
38.66/38.86 c #Conflicts: 178000 | #Constraints: 186740
38.66/38.86 c INPROCESSING
38.66/38.86 c GARBAGE COLLECT
38.66/38.86 c #Conflicts: 179000 | #Constraints: 172443
38.66/38.86 c #Conflicts: 180000 | #Constraints: 173443
38.66/38.86 c #Conflicts: 181000 | #Constraints: 174443
38.66/38.86 c #Conflicts: 182000 | #Constraints: 175443
38.66/38.86 c #Conflicts: 183000 | #Constraints: 176443
38.66/38.86 c #Conflicts: 184000 | #Constraints: 177443
38.66/38.86 c #Conflicts: 185000 | #Constraints: 178443
38.66/38.86 c #Conflicts: 186000 | #Constraints: 179443
38.66/38.86 c #Conflicts: 187000 | #Constraints: 180443
38.66/38.86 c #Conflicts: 188000 | #Constraints: 181443
38.66/38.86 c #Conflicts: 189000 | #Constraints: 182443
38.66/38.86 c #Conflicts: 190000 | #Constraints: 183443
38.66/38.86 c #Conflicts: 191000 | #Constraints: 184443
38.66/38.86 c #Conflicts: 192000 | #Constraints: 185443
38.66/38.86 c #Conflicts: 193000 | #Constraints: 186443
38.66/38.86 c #Conflicts: 194000 | #Constraints: 187443
38.66/38.86 c #Conflicts: 195000 | #Constraints: 188443
38.66/38.86 c #Conflicts: 196000 | #Constraints: 189443
38.66/38.86 c #Conflicts: 197000 | #Constraints: 190443
38.66/38.86 c #Conflicts: 198000 | #Constraints: 191443
38.66/38.86 c #Conflicts: 199000 | #Constraints: 192443
38.66/38.86 c #Conflicts: 200000 | #Constraints: 193443
38.66/38.86 c #Conflicts: 201000 | #Constraints: 194443
38.66/38.86 c #Conflicts: 202000 | #Constraints: 195443
38.66/38.86 c #Conflicts: 203000 | #Constraints: 196443
38.66/38.86 c #Conflicts: 204000 | #Constraints: 197443
38.66/38.86 c #Conflicts: 205000 | #Constraints: 198443
38.66/38.86 c #Conflicts: 206000 | #Constraints: 199443
38.66/38.86 c #Conflicts: 207000 | #Constraints: 200443
38.66/38.86 c #Conflicts: 208000 | #Constraints: 201443
45.85/46.06 c #Conflicts: 209000 | #Constraints: 202443
45.85/46.06 c INPROCESSING
45.85/46.06 c GARBAGE COLLECT
45.85/46.06 c #Conflicts: 210000 | #Constraints: 180600
45.85/46.06 c #Conflicts: 211000 | #Constraints: 181600
45.85/46.06 c #Conflicts: 212000 | #Constraints: 182600
45.85/46.06 c #Conflicts: 213000 | #Constraints: 183600
45.85/46.06 c #Conflicts: 214000 | #Constraints: 184600
45.85/46.06 c #Conflicts: 215000 | #Constraints: 185600
45.85/46.06 c #Conflicts: 216000 | #Constraints: 186600
45.85/46.06 c #Conflicts: 217000 | #Constraints: 187600
45.85/46.06 c #Conflicts: 218000 | #Constraints: 188600
45.85/46.06 c #Conflicts: 219000 | #Constraints: 189600
45.85/46.06 c #Conflicts: 220000 | #Constraints: 190600
45.85/46.06 c INPROCESSING
45.85/46.06 c GARBAGE COLLECT
45.85/46.06 c #Conflicts: 221000 | #Constraints: 174331
45.85/46.06 c #Conflicts: 222000 | #Constraints: 175331
45.85/46.06 c #Conflicts: 223000 | #Constraints: 176331
45.85/46.06 c #Conflicts: 224000 | #Constraints: 177331
45.85/46.06 c #Conflicts: 225000 | #Constraints: 178331
45.85/46.06 c #Conflicts: 226000 | #Constraints: 179331
45.85/46.06 c #Conflicts: 227000 | #Constraints: 180331
45.85/46.06 c #Conflicts: 228000 | #Constraints: 181331
45.85/46.06 c #Conflicts: 229000 | #Constraints: 182331
45.85/46.06 c #Conflicts: 230000 | #Constraints: 183331
45.85/46.06 c #Conflicts: 231000 | #Constraints: 184331
45.85/46.06 c #Conflicts: 232000 | #Constraints: 185331
45.85/46.06 c #Conflicts: 233000 | #Constraints: 186331
45.85/46.06 c #Conflicts: 234000 | #Constraints: 187331
45.85/46.06 c #Conflicts: 235000 | #Constraints: 188331
45.85/46.06 c #Conflicts: 236000 | #Constraints: 189331
45.85/46.06 c #Conflicts: 237000 | #Constraints: 190331
45.85/46.06 c #Conflicts: 238000 | #Constraints: 191331
45.85/46.06 c #Conflicts: 239000 | #Constraints: 192331
45.85/46.06 c #Conflicts: 240000 | #Constraints: 193331
45.85/46.06 c #Conflicts: 241000 | #Constraints: 194331
45.85/46.06 c #Conflicts: 242000 | #Constraints: 195331
45.85/46.06 c #Conflicts: 243000 | #Constraints: 196331
45.85/46.06 c #Conflicts: 244000 | #Constraints: 197331
45.85/46.06 c #Conflicts: 245000 | #Constraints: 198331
45.85/46.06 c #Conflicts: 246000 | #Constraints: 199331
45.85/46.06 c #Conflicts: 247000 | #Constraints: 200331
45.85/46.06 c #Conflicts: 248000 | #Constraints: 201331
45.85/46.06 c #Conflicts: 249000 | #Constraints: 202331
45.85/46.06 c #Conflicts: 250000 | #Constraints: 203331
45.85/46.06 c #Conflicts: 251000 | #Constraints: 204331
45.85/46.06 c #Conflicts: 252000 | #Constraints: 205331
45.85/46.06 c #Conflicts: 253000 | #Constraints: 206331
45.85/46.06 c #Conflicts: 254000 | #Constraints: 207331
45.85/46.06 c INPROCESSING
45.85/46.06 c GARBAGE COLLECT
45.85/46.06 c rational objective 319
48.23/48.46 c #Conflicts: 255000 | #Constraints: 182560
48.23/48.46 c #Conflicts: 256000 | #Constraints: 183560
48.23/48.46 c #Conflicts: 257000 | #Constraints: 184560
48.23/48.46 c #Conflicts: 258000 | #Constraints: 185560
48.23/48.46 c #Conflicts: 259000 | #Constraints: 186560
48.23/48.46 c #Conflicts: 260000 | #Constraints: 187560
48.23/48.46 c #Conflicts: 261000 | #Constraints: 188560
48.23/48.46 c #Conflicts: 262000 | #Constraints: 189560
48.23/48.46 c #Conflicts: 263000 | #Constraints: 190560
48.23/48.46 c #Conflicts: 264000 | #Constraints: 191560
48.23/48.46 c #Conflicts: 265000 | #Constraints: 192560
48.23/48.46 c #Conflicts: 266000 | #Constraints: 193560
48.23/48.46 c #Conflicts: 267000 | #Constraints: 194560
48.23/48.46 c INPROCESSING
48.23/48.46 c GARBAGE COLLECT
48.23/48.46 c rational objective 319
59.29/59.54 c #Conflicts: 268000 | #Constraints: 176528
59.29/59.54 c #Conflicts: 269000 | #Constraints: 177528
59.29/59.54 c #Conflicts: 270000 | #Constraints: 178528
59.29/59.54 c #Conflicts: 271000 | #Constraints: 179528
59.29/59.54 c #Conflicts: 272000 | #Constraints: 180528
59.29/59.54 c #Conflicts: 273000 | #Constraints: 181528
59.29/59.54 c #Conflicts: 274000 | #Constraints: 182528
59.29/59.54 c #Conflicts: 275000 | #Constraints: 183528
59.29/59.54 c #Conflicts: 276000 | #Constraints: 184528
59.29/59.54 c #Conflicts: 277000 | #Constraints: 185528
59.29/59.54 c #Conflicts: 278000 | #Constraints: 186528
59.29/59.54 c #Conflicts: 279000 | #Constraints: 187528
59.29/59.54 c #Conflicts: 280000 | #Constraints: 188528
59.29/59.54 c #Conflicts: 281000 | #Constraints: 189528
59.29/59.54 c #Conflicts: 282000 | #Constraints: 190528
59.29/59.54 c #Conflicts: 283000 | #Constraints: 191528
59.29/59.54 c #Conflicts: 284000 | #Constraints: 192528
59.29/59.54 c #Conflicts: 285000 | #Constraints: 193528
59.29/59.54 c #Conflicts: 286000 | #Constraints: 194528
59.29/59.54 c #Conflicts: 287000 | #Constraints: 195528
59.29/59.54 c #Conflicts: 288000 | #Constraints: 196528
59.29/59.54 c #Conflicts: 289000 | #Constraints: 197528
59.29/59.54 c #Conflicts: 290000 | #Constraints: 198528
59.29/59.54 c #Conflicts: 291000 | #Constraints: 199528
59.29/59.54 c #Conflicts: 292000 | #Constraints: 200528
59.29/59.54 c #Conflicts: 293000 | #Constraints: 201528
59.29/59.54 c #Conflicts: 294000 | #Constraints: 202528
59.29/59.54 c #Conflicts: 295000 | #Constraints: 203528
59.29/59.54 c #Conflicts: 296000 | #Constraints: 204528
59.29/59.54 c #Conflicts: 297000 | #Constraints: 205528
59.29/59.54 c #Conflicts: 298000 | #Constraints: 206528
59.29/59.54 c #Conflicts: 299000 | #Constraints: 207528
59.29/59.54 c #Conflicts: 300000 | #Constraints: 208528
59.29/59.54 c #Conflicts: 301000 | #Constraints: 209528
59.29/59.54 c #Conflicts: 302000 | #Constraints: 210528
59.29/59.54 c #Conflicts: 303000 | #Constraints: 211528
59.29/59.54 c #Conflicts: 304000 | #Constraints: 212528
59.29/59.54 c INPROCESSING
59.29/59.54 c GARBAGE COLLECT
59.29/59.54 c rational objective 319
69.36/69.66 c #Conflicts: 305000 | #Constraints: 185650
69.36/69.66 c #Conflicts: 306000 | #Constraints: 186650
69.36/69.66 c #Conflicts: 307000 | #Constraints: 187650
69.36/69.66 c #Conflicts: 308000 | #Constraints: 188650
69.36/69.66 c #Conflicts: 309000 | #Constraints: 189650
69.36/69.66 c #Conflicts: 310000 | #Constraints: 190650
69.36/69.66 c #Conflicts: 311000 | #Constraints: 191650
69.36/69.66 c #Conflicts: 312000 | #Constraints: 192650
69.36/69.66 c #Conflicts: 313000 | #Constraints: 193650
69.36/69.66 c #Conflicts: 314000 | #Constraints: 194650
69.36/69.66 c #Conflicts: 315000 | #Constraints: 195650
69.36/69.66 c #Conflicts: 316000 | #Constraints: 196650
69.36/69.66 c #Conflicts: 317000 | #Constraints: 197650
69.36/69.66 c #Conflicts: 318000 | #Constraints: 198650
69.36/69.66 c INPROCESSING
69.36/69.66 c GARBAGE COLLECT
69.36/69.66 c #Conflicts: 319000 | #Constraints: 178410
69.36/69.66 c #Conflicts: 320000 | #Constraints: 179410
69.36/69.66 c #Conflicts: 321000 | #Constraints: 180410
69.36/69.66 c #Conflicts: 322000 | #Constraints: 181410
69.36/69.66 c #Conflicts: 323000 | #Constraints: 182410
69.36/69.66 c #Conflicts: 324000 | #Constraints: 183410
69.36/69.66 c #Conflicts: 325000 | #Constraints: 184410
69.36/69.66 c #Conflicts: 326000 | #Constraints: 185410
69.36/69.66 c #Conflicts: 327000 | #Constraints: 186410
69.36/69.66 c #Conflicts: 328000 | #Constraints: 187410
69.36/69.66 c #Conflicts: 329000 | #Constraints: 188410
69.36/69.66 c #Conflicts: 330000 | #Constraints: 189410
69.36/69.66 c #Conflicts: 331000 | #Constraints: 190410
69.36/69.66 c #Conflicts: 332000 | #Constraints: 191410
69.36/69.66 c #Conflicts: 333000 | #Constraints: 192410
69.36/69.66 c #Conflicts: 334000 | #Constraints: 193410
69.36/69.66 c #Conflicts: 335000 | #Constraints: 194410
69.36/69.66 c #Conflicts: 336000 | #Constraints: 195410
69.36/69.66 c #Conflicts: 337000 | #Constraints: 196410
69.36/69.66 c #Conflicts: 338000 | #Constraints: 197410
69.36/69.66 c #Conflicts: 339000 | #Constraints: 198410
69.36/69.66 c #Conflicts: 340000 | #Constraints: 199410
69.36/69.66 c #Conflicts: 341000 | #Constraints: 200410
69.36/69.66 c #Conflicts: 342000 | #Constraints: 201410
69.36/69.66 c #Conflicts: 343000 | #Constraints: 202410
69.36/69.66 c #Conflicts: 344000 | #Constraints: 203410
69.36/69.66 c #Conflicts: 345000 | #Constraints: 204410
69.36/69.66 c #Conflicts: 346000 | #Constraints: 205410
69.36/69.66 c #Conflicts: 347000 | #Constraints: 206410
69.36/69.66 c #Conflicts: 348000 | #Constraints: 207410
69.36/69.66 c #Conflicts: 349000 | #Constraints: 208410
69.36/69.66 c #Conflicts: 350000 | #Constraints: 209410
69.36/69.66 c #Conflicts: 351000 | #Constraints: 210410
69.36/69.66 c #Conflicts: 352000 | #Constraints: 211410
69.36/69.66 c #Conflicts: 353000 | #Constraints: 212410
69.36/69.66 c #Conflicts: 354000 | #Constraints: 213410
69.36/69.66 c #Conflicts: 355000 | #Constraints: 214410
69.36/69.66 c #Conflicts: 356000 | #Constraints: 215410
69.36/69.66 c #Conflicts: 357000 | #Constraints: 216410
69.36/69.66 c #Conflicts: 358000 | #Constraints: 217410
69.36/69.66 c INPROCESSING
69.36/69.66 c GARBAGE COLLECT
69.36/69.66 c #Conflicts: 359000 | #Constraints: 188015
69.36/69.66 c #Conflicts: 360000 | #Constraints: 189015
69.36/69.66 c #Conflicts: 361000 | #Constraints: 190015
69.36/69.66 c #Conflicts: 362000 | #Constraints: 191015
69.36/69.66 c #Conflicts: 363000 | #Constraints: 192015
69.36/69.66 c #Conflicts: 364000 | #Constraints: 193015
69.36/69.66 c #Conflicts: 365000 | #Constraints: 194015
69.36/69.66 c #Conflicts: 366000 | #Constraints: 195015
69.36/69.66 c #Conflicts: 367000 | #Constraints: 196015
69.36/69.66 c #Conflicts: 368000 | #Constraints: 197015
69.36/69.66 c #Conflicts: 369000 | #Constraints: 198015
69.36/69.66 c #Conflicts: 370000 | #Constraints: 199015
69.36/69.66 c #Conflicts: 371000 | #Constraints: 200015
69.36/69.66 c #Conflicts: 372000 | #Constraints: 201015
69.36/69.66 c #Conflicts: 373000 | #Constraints: 202015
69.36/69.66 c #Conflicts: 374000 | #Constraints: 203015
69.36/69.66 c INPROCESSING
69.36/69.66 c GARBAGE COLLECT
69.36/69.66 c #Conflicts: 375000 | #Constraints: 180810
69.36/69.66 c #Conflicts: 376000 | #Constraints: 181810
69.36/69.66 c #Conflicts: 377000 | #Constraints: 182810
69.36/69.66 c #Conflicts: 378000 | #Constraints: 183810
69.36/69.66 c #Conflicts: 379000 | #Constraints: 184810
69.36/69.66 c #Conflicts: 380000 | #Constraints: 185810
69.36/69.66 c #Conflicts: 381000 | #Constraints: 186810
83.12/83.47 c #Conflicts: 382000 | #Constraints: 187810
83.12/83.47 c #Conflicts: 383000 | #Constraints: 188810
83.12/83.47 c #Conflicts: 384000 | #Constraints: 189810
83.12/83.47 c #Conflicts: 385000 | #Constraints: 190810
83.12/83.47 c #Conflicts: 386000 | #Constraints: 191810
83.12/83.47 c #Conflicts: 387000 | #Constraints: 192810
83.12/83.47 c #Conflicts: 388000 | #Constraints: 193810
83.12/83.47 c #Conflicts: 389000 | #Constraints: 194810
83.12/83.47 c #Conflicts: 390000 | #Constraints: 195810
83.12/83.47 c #Conflicts: 391000 | #Constraints: 196810
83.12/83.47 c #Conflicts: 392000 | #Constraints: 197810
83.12/83.47 c #Conflicts: 393000 | #Constraints: 198810
83.12/83.47 c #Conflicts: 394000 | #Constraints: 199810
83.12/83.47 c #Conflicts: 395000 | #Constraints: 200810
83.12/83.47 c #Conflicts: 396000 | #Constraints: 201810
83.12/83.47 c #Conflicts: 397000 | #Constraints: 202810
83.12/83.47 c #Conflicts: 398000 | #Constraints: 203810
83.12/83.47 c #Conflicts: 399000 | #Constraints: 204810
83.12/83.47 c #Conflicts: 400000 | #Constraints: 205810
83.12/83.47 c #Conflicts: 401000 | #Constraints: 206810
83.12/83.47 c #Conflicts: 402000 | #Constraints: 207810
83.12/83.47 c #Conflicts: 403000 | #Constraints: 208810
83.12/83.47 c #Conflicts: 404000 | #Constraints: 209810
83.12/83.47 c #Conflicts: 405000 | #Constraints: 210810
83.12/83.47 c #Conflicts: 406000 | #Constraints: 211810
83.12/83.47 c #Conflicts: 407000 | #Constraints: 212810
83.12/83.47 c #Conflicts: 408000 | #Constraints: 213810
83.12/83.47 c #Conflicts: 409000 | #Constraints: 214810
83.12/83.47 c #Conflicts: 410000 | #Constraints: 215810
83.12/83.47 c #Conflicts: 411000 | #Constraints: 216810
83.12/83.47 c #Conflicts: 412000 | #Constraints: 217810
83.12/83.47 c #Conflicts: 413000 | #Constraints: 218810
83.12/83.47 c #Conflicts: 414000 | #Constraints: 219810
83.12/83.47 c #Conflicts: 415000 | #Constraints: 220810
83.12/83.47 c #Conflicts: 416000 | #Constraints: 221810
83.12/83.47 c #Conflicts: 417000 | #Constraints: 222810
83.12/83.47 c INPROCESSING
83.12/83.47 c GARBAGE COLLECT
83.12/83.47 c rational objective 319
97.78/98.11 c #Conflicts: 418000 | #Constraints: 190941
97.78/98.11 c #Conflicts: 419000 | #Constraints: 191941
97.78/98.11 c #Conflicts: 420000 | #Constraints: 192941
97.78/98.11 c #Conflicts: 421000 | #Constraints: 193941
97.78/98.11 c #Conflicts: 422000 | #Constraints: 194941
97.78/98.11 c #Conflicts: 423000 | #Constraints: 195941
97.78/98.11 c #Conflicts: 424000 | #Constraints: 196941
97.78/98.11 c #Conflicts: 425000 | #Constraints: 197941
97.78/98.11 c #Conflicts: 426000 | #Constraints: 198941
97.78/98.11 c #Conflicts: 427000 | #Constraints: 199941
97.78/98.11 c #Conflicts: 428000 | #Constraints: 200941
97.78/98.11 c #Conflicts: 429000 | #Constraints: 201941
97.78/98.11 c #Conflicts: 430000 | #Constraints: 202941
97.78/98.11 c #Conflicts: 431000 | #Constraints: 203941
97.78/98.11 c #Conflicts: 432000 | #Constraints: 204941
97.78/98.11 c #Conflicts: 433000 | #Constraints: 205941
97.78/98.11 c #Conflicts: 434000 | #Constraints: 206941
97.78/98.11 c INPROCESSING
97.78/98.11 c GARBAGE COLLECT
97.78/98.11 c #Conflicts: 435000 | #Constraints: 183025
97.78/98.11 c #Conflicts: 436000 | #Constraints: 184025
97.78/98.11 c #Conflicts: 437000 | #Constraints: 185025
97.78/98.11 c #Conflicts: 438000 | #Constraints: 186025
97.78/98.11 c #Conflicts: 439000 | #Constraints: 187025
97.78/98.11 c #Conflicts: 440000 | #Constraints: 188025
97.78/98.11 c #Conflicts: 441000 | #Constraints: 189025
97.78/98.11 c #Conflicts: 442000 | #Constraints: 190025
97.78/98.11 c #Conflicts: 443000 | #Constraints: 191025
97.78/98.11 c #Conflicts: 444000 | #Constraints: 192025
97.78/98.11 c #Conflicts: 445000 | #Constraints: 193025
97.78/98.11 c #Conflicts: 446000 | #Constraints: 194025
97.78/98.11 c #Conflicts: 447000 | #Constraints: 195025
97.78/98.11 c #Conflicts: 448000 | #Constraints: 196025
97.78/98.11 c #Conflicts: 449000 | #Constraints: 197025
97.78/98.11 c #Conflicts: 450000 | #Constraints: 198025
97.78/98.11 c #Conflicts: 451000 | #Constraints: 199025
97.78/98.11 c #Conflicts: 452000 | #Constraints: 200025
97.78/98.11 c #Conflicts: 453000 | #Constraints: 201025
97.78/98.11 c #Conflicts: 454000 | #Constraints: 202025
97.78/98.11 c #Conflicts: 455000 | #Constraints: 203025
97.78/98.11 c #Conflicts: 456000 | #Constraints: 204025
97.78/98.11 c #Conflicts: 457000 | #Constraints: 205025
97.78/98.11 c #Conflicts: 458000 | #Constraints: 206025
97.78/98.11 c #Conflicts: 459000 | #Constraints: 207025
97.78/98.11 c #Conflicts: 460000 | #Constraints: 208025
97.78/98.11 c #Conflicts: 461000 | #Constraints: 209025
97.78/98.11 c #Conflicts: 462000 | #Constraints: 210025
97.78/98.11 c #Conflicts: 463000 | #Constraints: 211025
97.78/98.11 c #Conflicts: 464000 | #Constraints: 212025
97.78/98.11 c #Conflicts: 465000 | #Constraints: 213025
97.78/98.11 c #Conflicts: 466000 | #Constraints: 214025
97.78/98.11 c #Conflicts: 467000 | #Constraints: 215025
97.78/98.11 c #Conflicts: 468000 | #Constraints: 216025
97.78/98.11 c #Conflicts: 469000 | #Constraints: 217025
97.78/98.11 c #Conflicts: 470000 | #Constraints: 218025
97.78/98.11 c #Conflicts: 471000 | #Constraints: 219025
97.78/98.11 c #Conflicts: 472000 | #Constraints: 220025
97.78/98.11 c #Conflicts: 473000 | #Constraints: 221025
97.78/98.11 c #Conflicts: 474000 | #Constraints: 222025
97.78/98.11 c #Conflicts: 475000 | #Constraints: 223025
97.78/98.11 c #Conflicts: 476000 | #Constraints: 224025
97.78/98.11 c #Conflicts: 477000 | #Constraints: 225025
97.78/98.11 c #Conflicts: 478000 | #Constraints: 226025
97.78/98.11 c #Conflicts: 479000 | #Constraints: 227025
97.78/98.11 c #Conflicts: 480000 | #Constraints: 228025
97.78/98.11 c INPROCESSING
97.78/98.11 c GARBAGE COLLECT
97.78/98.11 c #Conflicts: 481000 | #Constraints: 193561
97.78/98.11 c #Conflicts: 482000 | #Constraints: 194561
97.78/98.11 c #Conflicts: 483000 | #Constraints: 195561
97.78/98.11 c #Conflicts: 484000 | #Constraints: 196561
97.78/98.11 c #Conflicts: 485000 | #Constraints: 197561
97.78/98.11 c #Conflicts: 486000 | #Constraints: 198561
97.78/98.11 c #Conflicts: 487000 | #Constraints: 199561
97.78/98.11 c #Conflicts: 488000 | #Constraints: 200561
97.78/98.11 c #Conflicts: 489000 | #Constraints: 201561
97.78/98.11 c #Conflicts: 490000 | #Constraints: 202561
97.78/98.11 c #Conflicts: 491000 | #Constraints: 203561
97.78/98.11 c #Conflicts: 492000 | #Constraints: 204561
97.78/98.11 c #Conflicts: 493000 | #Constraints: 205561
97.78/98.11 c #Conflicts: 494000 | #Constraints: 206561
97.78/98.11 c #Conflicts: 495000 | #Constraints: 207561
122.78/123.24 c #Conflicts: 496000 | #Constraints: 208561
122.78/123.24 c #Conflicts: 497000 | #Constraints: 209561
122.78/123.24 c #Conflicts: 498000 | #Constraints: 210561
122.78/123.24 c INPROCESSING
122.78/123.24 c GARBAGE COLLECT
122.78/123.24 c #Conflicts: 499000 | #Constraints: 184709
122.78/123.24 c #Conflicts: 500000 | #Constraints: 185709
122.78/123.24 c #Conflicts: 501000 | #Constraints: 186709
122.78/123.24 c #Conflicts: 502000 | #Constraints: 187709
122.78/123.24 c #Conflicts: 503000 | #Constraints: 188709
122.78/123.24 c #Conflicts: 504000 | #Constraints: 189709
122.78/123.24 c #Conflicts: 505000 | #Constraints: 190709
122.78/123.24 c #Conflicts: 506000 | #Constraints: 191709
122.78/123.24 c #Conflicts: 507000 | #Constraints: 192709
122.78/123.24 c #Conflicts: 508000 | #Constraints: 193709
122.78/123.24 c #Conflicts: 509000 | #Constraints: 194709
122.78/123.24 c #Conflicts: 510000 | #Constraints: 195709
122.78/123.24 c #Conflicts: 511000 | #Constraints: 196709
122.78/123.24 c #Conflicts: 512000 | #Constraints: 197709
122.78/123.24 c #Conflicts: 513000 | #Constraints: 198709
122.78/123.24 c #Conflicts: 514000 | #Constraints: 199709
122.78/123.24 c #Conflicts: 515000 | #Constraints: 200709
122.78/123.24 c #Conflicts: 516000 | #Constraints: 201709
122.78/123.24 c #Conflicts: 517000 | #Constraints: 202709
122.78/123.24 c #Conflicts: 518000 | #Constraints: 203709
122.78/123.24 c #Conflicts: 519000 | #Constraints: 204709
122.78/123.24 c #Conflicts: 520000 | #Constraints: 205709
122.78/123.24 c #Conflicts: 521000 | #Constraints: 206709
122.78/123.24 c #Conflicts: 522000 | #Constraints: 207709
122.78/123.24 c #Conflicts: 523000 | #Constraints: 208709
122.78/123.24 c #Conflicts: 524000 | #Constraints: 209709
122.78/123.24 c #Conflicts: 525000 | #Constraints: 210709
122.78/123.24 c #Conflicts: 526000 | #Constraints: 211709
122.78/123.24 c #Conflicts: 527000 | #Constraints: 212709
122.78/123.24 c #Conflicts: 528000 | #Constraints: 213709
122.78/123.24 c #Conflicts: 529000 | #Constraints: 214709
122.78/123.24 c #Conflicts: 530000 | #Constraints: 215709
122.78/123.24 c #Conflicts: 531000 | #Constraints: 216709
122.78/123.24 c #Conflicts: 532000 | #Constraints: 217709
122.78/123.24 c #Conflicts: 533000 | #Constraints: 218709
122.78/123.24 c #Conflicts: 534000 | #Constraints: 219709
122.78/123.24 c #Conflicts: 535000 | #Constraints: 220709
122.78/123.24 c #Conflicts: 536000 | #Constraints: 221709
122.78/123.24 c #Conflicts: 537000 | #Constraints: 222709
122.78/123.24 c #Conflicts: 538000 | #Constraints: 223709
122.78/123.24 c #Conflicts: 539000 | #Constraints: 224709
122.78/123.24 c #Conflicts: 540000 | #Constraints: 225709
122.78/123.24 c #Conflicts: 541000 | #Constraints: 226709
122.78/123.24 c #Conflicts: 542000 | #Constraints: 227709
122.78/123.24 c #Conflicts: 543000 | #Constraints: 228709
122.78/123.24 c #Conflicts: 544000 | #Constraints: 229709
122.78/123.24 c #Conflicts: 545000 | #Constraints: 230709
122.78/123.24 c #Conflicts: 546000 | #Constraints: 231709
122.78/123.24 c #Conflicts: 547000 | #Constraints: 232709
122.78/123.24 c INPROCESSING
122.78/123.24 c GARBAGE COLLECT
122.78/123.24 c #Conflicts: 548000 | #Constraints: 195781
122.78/123.24 c #Conflicts: 549000 | #Constraints: 196781
122.78/123.24 c #Conflicts: 550000 | #Constraints: 197781
122.78/123.24 c #Conflicts: 551000 | #Constraints: 198781
122.78/123.24 c #Conflicts: 552000 | #Constraints: 199781
122.78/123.24 c #Conflicts: 553000 | #Constraints: 200781
122.78/123.24 c #Conflicts: 554000 | #Constraints: 201781
122.78/123.24 c #Conflicts: 555000 | #Constraints: 202781
122.78/123.24 c #Conflicts: 556000 | #Constraints: 203781
122.78/123.24 c #Conflicts: 557000 | #Constraints: 204781
122.78/123.24 c #Conflicts: 558000 | #Constraints: 205781
122.78/123.24 c #Conflicts: 559000 | #Constraints: 206781
122.78/123.24 c #Conflicts: 560000 | #Constraints: 207781
122.78/123.24 c #Conflicts: 561000 | #Constraints: 208781
122.78/123.24 c #Conflicts: 562000 | #Constraints: 209781
122.78/123.24 c #Conflicts: 563000 | #Constraints: 210781
122.78/123.24 c #Conflicts: 564000 | #Constraints: 211781
122.78/123.24 c #Conflicts: 565000 | #Constraints: 212781
122.78/123.24 c #Conflicts: 566000 | #Constraints: 213781
122.78/123.24 c #Conflicts: 567000 | #Constraints: 214781
122.78/123.24 c INPROCESSING
122.78/123.24 c GARBAGE COLLECT
122.78/123.24 c #Conflicts: 568000 | #Constraints: 186971
122.78/123.24 c #Conflicts: 569000 | #Constraints: 187971
122.78/123.24 c #Conflicts: 570000 | #Constraints: 188971
122.78/123.24 c #Conflicts: 571000 | #Constraints: 189971
122.78/123.24 c #Conflicts: 572000 | #Constraints: 190971
135.64/136.15 c #Conflicts: 573000 | #Constraints: 191971
135.64/136.15 c #Conflicts: 574000 | #Constraints: 192971
135.64/136.15 c #Conflicts: 575000 | #Constraints: 193971
135.64/136.15 c #Conflicts: 576000 | #Constraints: 194971
135.64/136.15 c #Conflicts: 577000 | #Constraints: 195971
135.64/136.15 c #Conflicts: 578000 | #Constraints: 196971
135.64/136.15 c #Conflicts: 579000 | #Constraints: 197971
135.64/136.15 c #Conflicts: 580000 | #Constraints: 198971
135.64/136.15 c #Conflicts: 581000 | #Constraints: 199971
135.64/136.15 c #Conflicts: 582000 | #Constraints: 200971
135.64/136.15 c #Conflicts: 583000 | #Constraints: 201971
135.64/136.15 c #Conflicts: 584000 | #Constraints: 202971
135.64/136.15 c #Conflicts: 585000 | #Constraints: 203971
135.64/136.15 c #Conflicts: 586000 | #Constraints: 204971
135.64/136.15 c #Conflicts: 587000 | #Constraints: 205971
135.64/136.15 c #Conflicts: 588000 | #Constraints: 206971
135.64/136.15 c #Conflicts: 589000 | #Constraints: 207971
135.64/136.15 c #Conflicts: 590000 | #Constraints: 208971
135.64/136.15 c #Conflicts: 591000 | #Constraints: 209971
135.64/136.15 c #Conflicts: 592000 | #Constraints: 210971
135.64/136.15 c #Conflicts: 593000 | #Constraints: 211971
135.64/136.15 c #Conflicts: 594000 | #Constraints: 212971
135.64/136.15 c #Conflicts: 595000 | #Constraints: 213971
135.64/136.15 c #Conflicts: 596000 | #Constraints: 214971
135.64/136.15 c #Conflicts: 597000 | #Constraints: 215971
135.64/136.15 c #Conflicts: 598000 | #Constraints: 216971
135.64/136.15 c #Conflicts: 599000 | #Constraints: 217971
135.64/136.15 c #Conflicts: 600000 | #Constraints: 218971
135.64/136.15 c #Conflicts: 601000 | #Constraints: 219971
135.64/136.15 c #Conflicts: 602000 | #Constraints: 220971
135.64/136.15 c #Conflicts: 603000 | #Constraints: 221971
135.64/136.15 c #Conflicts: 604000 | #Constraints: 222971
135.64/136.15 c #Conflicts: 605000 | #Constraints: 223971
135.64/136.15 c #Conflicts: 606000 | #Constraints: 224971
135.64/136.15 c #Conflicts: 607000 | #Constraints: 225971
135.64/136.15 c #Conflicts: 608000 | #Constraints: 226971
135.64/136.15 c #Conflicts: 609000 | #Constraints: 227971
135.64/136.15 c #Conflicts: 610000 | #Constraints: 228971
135.64/136.15 c #Conflicts: 611000 | #Constraints: 229971
135.64/136.15 c #Conflicts: 612000 | #Constraints: 230971
135.64/136.15 c #Conflicts: 613000 | #Constraints: 231971
135.64/136.15 c #Conflicts: 614000 | #Constraints: 232971
135.64/136.15 c #Conflicts: 615000 | #Constraints: 233971
135.64/136.15 c #Conflicts: 616000 | #Constraints: 234971
135.64/136.15 c #Conflicts: 617000 | #Constraints: 235971
135.64/136.15 c #Conflicts: 618000 | #Constraints: 236971
135.64/136.15 c #Conflicts: 619000 | #Constraints: 237971
135.64/136.15 c INPROCESSING
135.64/136.15 c GARBAGE COLLECT
135.64/136.15 c #Conflicts: 620000 | #Constraints: 198443
135.64/136.15 c #Conflicts: 621000 | #Constraints: 199443
135.64/136.15 c #Conflicts: 622000 | #Constraints: 200443
135.64/136.15 c #Conflicts: 623000 | #Constraints: 201443
135.64/136.15 c #Conflicts: 624000 | #Constraints: 202443
135.64/136.15 c #Conflicts: 625000 | #Constraints: 203443
135.64/136.15 c #Conflicts: 626000 | #Constraints: 204443
135.64/136.15 c #Conflicts: 627000 | #Constraints: 205443
135.64/136.15 c #Conflicts: 628000 | #Constraints: 206443
135.64/136.15 c #Conflicts: 629000 | #Constraints: 207443
135.64/136.15 c #Conflicts: 630000 | #Constraints: 208443
135.64/136.15 c #Conflicts: 631000 | #Constraints: 209443
135.64/136.15 c #Conflicts: 632000 | #Constraints: 210443
135.64/136.15 c #Conflicts: 633000 | #Constraints: 211443
135.64/136.15 c #Conflicts: 634000 | #Constraints: 212443
135.64/136.15 c #Conflicts: 635000 | #Constraints: 213443
135.64/136.15 c #Conflicts: 636000 | #Constraints: 214443
135.64/136.15 c #Conflicts: 637000 | #Constraints: 215443
135.64/136.15 c #Conflicts: 638000 | #Constraints: 216443
135.64/136.15 c #Conflicts: 639000 | #Constraints: 217443
135.64/136.15 c #Conflicts: 640000 | #Constraints: 218443
135.64/136.15 c INPROCESSING
135.64/136.15 c GARBAGE COLLECT
135.64/136.15 c #Conflicts: 641000 | #Constraints: 188723
135.64/136.15 c #Conflicts: 642000 | #Constraints: 189723
135.64/136.15 c #Conflicts: 643000 | #Constraints: 190723
135.64/136.15 c #Conflicts: 644000 | #Constraints: 191723
135.64/136.15 c #Conflicts: 645000 | #Constraints: 192723
135.64/136.15 c #Conflicts: 646000 | #Constraints: 193723
135.64/136.15 c #Conflicts: 647000 | #Constraints: 194723
135.64/136.15 c #Conflicts: 648000 | #Constraints: 195723
135.64/136.15 c #Conflicts: 649000 | #Constraints: 196723
155.78/156.38 c #Conflicts: 650000 | #Constraints: 197723
155.78/156.38 c #Conflicts: 651000 | #Constraints: 198723
155.78/156.38 c #Conflicts: 652000 | #Constraints: 199723
155.78/156.38 c #Conflicts: 653000 | #Constraints: 200723
155.78/156.38 c #Conflicts: 654000 | #Constraints: 201723
155.78/156.38 c #Conflicts: 655000 | #Constraints: 202723
155.78/156.38 c #Conflicts: 656000 | #Constraints: 203723
155.78/156.38 c #Conflicts: 657000 | #Constraints: 204723
155.78/156.38 c #Conflicts: 658000 | #Constraints: 205723
155.78/156.38 c #Conflicts: 659000 | #Constraints: 206723
155.78/156.38 c #Conflicts: 660000 | #Constraints: 207723
155.78/156.38 c #Conflicts: 661000 | #Constraints: 208723
155.78/156.38 c #Conflicts: 662000 | #Constraints: 209723
155.78/156.38 c #Conflicts: 663000 | #Constraints: 210723
155.78/156.38 c #Conflicts: 664000 | #Constraints: 211723
155.78/156.38 c #Conflicts: 665000 | #Constraints: 212723
155.78/156.38 c #Conflicts: 666000 | #Constraints: 213723
155.78/156.38 c #Conflicts: 667000 | #Constraints: 214723
155.78/156.38 c #Conflicts: 668000 | #Constraints: 215723
155.78/156.38 c #Conflicts: 669000 | #Constraints: 216723
155.78/156.38 c #Conflicts: 670000 | #Constraints: 217723
155.78/156.38 c #Conflicts: 671000 | #Constraints: 218723
155.78/156.38 c #Conflicts: 672000 | #Constraints: 219723
155.78/156.38 c #Conflicts: 673000 | #Constraints: 220723
155.78/156.38 c #Conflicts: 674000 | #Constraints: 221723
155.78/156.38 c #Conflicts: 675000 | #Constraints: 222723
155.78/156.38 c #Conflicts: 676000 | #Constraints: 223723
155.78/156.38 c #Conflicts: 677000 | #Constraints: 224723
155.78/156.38 c #Conflicts: 678000 | #Constraints: 225723
155.78/156.38 c #Conflicts: 679000 | #Constraints: 226723
155.78/156.38 c #Conflicts: 680000 | #Constraints: 227723
155.78/156.38 c #Conflicts: 681000 | #Constraints: 228723
155.78/156.38 c #Conflicts: 682000 | #Constraints: 229723
155.78/156.38 c #Conflicts: 683000 | #Constraints: 230723
155.78/156.38 c #Conflicts: 684000 | #Constraints: 231723
155.78/156.38 c #Conflicts: 685000 | #Constraints: 232723
155.78/156.38 c #Conflicts: 686000 | #Constraints: 233723
155.78/156.38 c #Conflicts: 687000 | #Constraints: 234723
155.78/156.38 c #Conflicts: 688000 | #Constraints: 235723
155.78/156.38 c #Conflicts: 689000 | #Constraints: 236723
155.78/156.38 c #Conflicts: 690000 | #Constraints: 237723
155.78/156.38 c #Conflicts: 691000 | #Constraints: 238723
155.78/156.38 c #Conflicts: 692000 | #Constraints: 239723
155.78/156.38 c #Conflicts: 693000 | #Constraints: 240723
155.78/156.38 c #Conflicts: 694000 | #Constraints: 241723
155.78/156.38 c #Conflicts: 695000 | #Constraints: 242723
155.78/156.38 c INPROCESSING
155.78/156.38 c GARBAGE COLLECT
155.78/156.38 c rational objective 319
171.73/172.36 c #Conflicts: 696000 | #Constraints: 200781
171.73/172.36 c #Conflicts: 697000 | #Constraints: 201781
171.73/172.36 c #Conflicts: 698000 | #Constraints: 202781
171.73/172.36 c #Conflicts: 699000 | #Constraints: 203781
171.73/172.36 c #Conflicts: 700000 | #Constraints: 204781
171.73/172.36 c #Conflicts: 701000 | #Constraints: 205781
171.73/172.36 c #Conflicts: 702000 | #Constraints: 206781
171.73/172.36 c #Conflicts: 703000 | #Constraints: 207781
171.73/172.36 c #Conflicts: 704000 | #Constraints: 208781
171.73/172.36 c #Conflicts: 705000 | #Constraints: 209781
171.73/172.36 c #Conflicts: 706000 | #Constraints: 210781
171.73/172.36 c #Conflicts: 707000 | #Constraints: 211781
171.73/172.36 c #Conflicts: 708000 | #Constraints: 212781
171.73/172.36 c #Conflicts: 709000 | #Constraints: 213781
171.73/172.36 c #Conflicts: 710000 | #Constraints: 214781
171.73/172.36 c #Conflicts: 711000 | #Constraints: 215781
171.73/172.36 c #Conflicts: 712000 | #Constraints: 216781
171.73/172.36 c #Conflicts: 713000 | #Constraints: 217781
171.73/172.36 c #Conflicts: 714000 | #Constraints: 218781
171.73/172.36 c #Conflicts: 715000 | #Constraints: 219781
171.73/172.36 c #Conflicts: 716000 | #Constraints: 220781
171.73/172.36 c #Conflicts: 717000 | #Constraints: 221781
171.73/172.36 c INPROCESSING
171.73/172.36 c GARBAGE COLLECT
171.73/172.36 c #Conflicts: 718000 | #Constraints: 190146
171.73/172.36 c #Conflicts: 719000 | #Constraints: 191146
171.73/172.36 c #Conflicts: 720000 | #Constraints: 192146
171.73/172.36 c #Conflicts: 721000 | #Constraints: 193146
171.73/172.36 c #Conflicts: 722000 | #Constraints: 194146
171.73/172.36 c #Conflicts: 723000 | #Constraints: 195146
171.73/172.36 c #Conflicts: 724000 | #Constraints: 196146
171.73/172.36 c #Conflicts: 725000 | #Constraints: 197146
171.73/172.36 c #Conflicts: 726000 | #Constraints: 198146
171.73/172.36 c #Conflicts: 727000 | #Constraints: 199146
171.73/172.36 c #Conflicts: 728000 | #Constraints: 200146
171.73/172.36 c #Conflicts: 729000 | #Constraints: 201146
171.73/172.36 c #Conflicts: 730000 | #Constraints: 202146
171.73/172.36 c #Conflicts: 731000 | #Constraints: 203146
171.73/172.36 c #Conflicts: 732000 | #Constraints: 204146
171.73/172.36 c #Conflicts: 733000 | #Constraints: 205146
171.73/172.36 c #Conflicts: 734000 | #Constraints: 206146
171.73/172.36 c #Conflicts: 735000 | #Constraints: 207146
171.73/172.36 c #Conflicts: 736000 | #Constraints: 208146
171.73/172.36 c #Conflicts: 737000 | #Constraints: 209146
171.73/172.36 c #Conflicts: 738000 | #Constraints: 210146
171.73/172.36 c #Conflicts: 739000 | #Constraints: 211146
171.73/172.36 c #Conflicts: 740000 | #Constraints: 212146
171.73/172.36 c #Conflicts: 741000 | #Constraints: 213146
171.73/172.36 c #Conflicts: 742000 | #Constraints: 214146
171.73/172.36 c #Conflicts: 743000 | #Constraints: 215146
171.73/172.36 c #Conflicts: 744000 | #Constraints: 216146
171.73/172.36 c #Conflicts: 745000 | #Constraints: 217146
171.73/172.36 c #Conflicts: 746000 | #Constraints: 218146
171.73/172.36 c #Conflicts: 747000 | #Constraints: 219146
171.73/172.36 c #Conflicts: 748000 | #Constraints: 220146
171.73/172.36 c #Conflicts: 749000 | #Constraints: 221146
171.73/172.36 c #Conflicts: 750000 | #Constraints: 222146
171.73/172.36 c #Conflicts: 751000 | #Constraints: 223146
171.73/172.36 c #Conflicts: 752000 | #Constraints: 224146
171.73/172.36 c #Conflicts: 753000 | #Constraints: 225146
171.73/172.36 c #Conflicts: 754000 | #Constraints: 226146
171.73/172.36 c #Conflicts: 755000 | #Constraints: 227146
171.73/172.36 c #Conflicts: 756000 | #Constraints: 228146
171.73/172.36 c #Conflicts: 757000 | #Constraints: 229146
171.73/172.36 c #Conflicts: 758000 | #Constraints: 230146
171.73/172.36 c #Conflicts: 759000 | #Constraints: 231146
171.73/172.36 c #Conflicts: 760000 | #Constraints: 232146
171.73/172.36 c #Conflicts: 761000 | #Constraints: 233146
171.73/172.36 c #Conflicts: 762000 | #Constraints: 234146
171.73/172.36 c #Conflicts: 763000 | #Constraints: 235146
171.73/172.36 c #Conflicts: 764000 | #Constraints: 236146
171.73/172.36 c #Conflicts: 765000 | #Constraints: 237146
171.73/172.36 c #Conflicts: 766000 | #Constraints: 238146
171.73/172.36 c #Conflicts: 767000 | #Constraints: 239146
171.73/172.36 c #Conflicts: 768000 | #Constraints: 240146
171.73/172.36 c #Conflicts: 769000 | #Constraints: 241146
171.73/172.36 c #Conflicts: 770000 | #Constraints: 242146
171.73/172.36 c #Conflicts: 771000 | #Constraints: 243146
171.73/172.36 c #Conflicts: 772000 | #Constraints: 244146
171.73/172.36 c #Conflicts: 773000 | #Constraints: 245146
171.73/172.36 c #Conflicts: 774000 | #Constraints: 246146
181.89/182.57 c #Conflicts: 775000 | #Constraints: 247146
181.89/182.57 c #Conflicts: 776000 | #Constraints: 248146
181.89/182.57 c INPROCESSING
181.89/182.57 c GARBAGE COLLECT
181.89/182.57 c #Conflicts: 777000 | #Constraints: 203631
181.89/182.57 c #Conflicts: 778000 | #Constraints: 204631
181.89/182.57 c #Conflicts: 779000 | #Constraints: 205631
181.89/182.57 c #Conflicts: 780000 | #Constraints: 206631
181.89/182.57 c #Conflicts: 781000 | #Constraints: 207631
181.89/182.57 c #Conflicts: 782000 | #Constraints: 208631
181.89/182.57 c #Conflicts: 783000 | #Constraints: 209631
181.89/182.57 c #Conflicts: 784000 | #Constraints: 210631
181.89/182.57 c #Conflicts: 785000 | #Constraints: 211631
181.89/182.57 c #Conflicts: 786000 | #Constraints: 212631
181.89/182.57 c #Conflicts: 787000 | #Constraints: 213631
181.89/182.57 c #Conflicts: 788000 | #Constraints: 214631
181.89/182.57 c #Conflicts: 789000 | #Constraints: 215631
181.89/182.57 c #Conflicts: 790000 | #Constraints: 216631
181.89/182.57 c #Conflicts: 791000 | #Constraints: 217631
181.89/182.57 c #Conflicts: 792000 | #Constraints: 218631
181.89/182.57 c #Conflicts: 793000 | #Constraints: 219631
181.89/182.57 c #Conflicts: 794000 | #Constraints: 220631
181.89/182.57 c #Conflicts: 795000 | #Constraints: 221631
181.89/182.57 c #Conflicts: 796000 | #Constraints: 222631
181.89/182.57 c #Conflicts: 797000 | #Constraints: 223631
181.89/182.57 c #Conflicts: 798000 | #Constraints: 224631
181.89/182.57 c #Conflicts: 799000 | #Constraints: 225631
181.89/182.57 c INPROCESSING
181.89/182.57 c GARBAGE COLLECT
181.89/182.57 c rational objective 319.05
198.64/199.35 c #Conflicts: 800000 | #Constraints: 192193
198.64/199.35 c #Conflicts: 801000 | #Constraints: 193193
198.64/199.35 c #Conflicts: 802000 | #Constraints: 194193
198.64/199.35 c #Conflicts: 803000 | #Constraints: 195193
198.64/199.35 c #Conflicts: 804000 | #Constraints: 196193
198.64/199.35 c #Conflicts: 805000 | #Constraints: 197193
198.64/199.35 c #Conflicts: 806000 | #Constraints: 198193
198.64/199.35 c #Conflicts: 807000 | #Constraints: 199193
198.64/199.35 c #Conflicts: 808000 | #Constraints: 200193
198.64/199.35 c #Conflicts: 809000 | #Constraints: 201193
198.64/199.35 c #Conflicts: 810000 | #Constraints: 202193
198.64/199.35 c #Conflicts: 811000 | #Constraints: 203193
198.64/199.35 c #Conflicts: 812000 | #Constraints: 204193
198.64/199.35 c #Conflicts: 813000 | #Constraints: 205193
198.64/199.35 c #Conflicts: 814000 | #Constraints: 206193
198.64/199.35 c #Conflicts: 815000 | #Constraints: 207193
198.64/199.35 c #Conflicts: 816000 | #Constraints: 208193
198.64/199.35 c #Conflicts: 817000 | #Constraints: 209193
198.64/199.35 c #Conflicts: 818000 | #Constraints: 210193
198.64/199.35 c #Conflicts: 819000 | #Constraints: 211193
198.64/199.35 c #Conflicts: 820000 | #Constraints: 212193
198.64/199.35 c #Conflicts: 821000 | #Constraints: 213193
198.64/199.35 c #Conflicts: 822000 | #Constraints: 214193
198.64/199.35 c #Conflicts: 823000 | #Constraints: 215193
198.64/199.35 c #Conflicts: 824000 | #Constraints: 216193
198.64/199.35 c #Conflicts: 825000 | #Constraints: 217193
198.64/199.35 c #Conflicts: 826000 | #Constraints: 218193
198.64/199.35 c #Conflicts: 827000 | #Constraints: 219193
198.64/199.35 c #Conflicts: 828000 | #Constraints: 220193
198.64/199.35 c #Conflicts: 829000 | #Constraints: 221193
198.64/199.35 c #Conflicts: 830000 | #Constraints: 222193
198.64/199.35 c #Conflicts: 831000 | #Constraints: 223193
198.64/199.35 c #Conflicts: 832000 | #Constraints: 224193
198.64/199.35 c #Conflicts: 833000 | #Constraints: 225193
198.64/199.35 c #Conflicts: 834000 | #Constraints: 226193
198.64/199.35 c #Conflicts: 835000 | #Constraints: 227193
198.64/199.35 c #Conflicts: 836000 | #Constraints: 228193
198.64/199.35 c #Conflicts: 837000 | #Constraints: 229193
198.64/199.35 c #Conflicts: 838000 | #Constraints: 230193
198.64/199.35 c #Conflicts: 839000 | #Constraints: 231193
198.64/199.35 c #Conflicts: 840000 | #Constraints: 232193
198.64/199.35 c #Conflicts: 841000 | #Constraints: 233193
198.64/199.35 c #Conflicts: 842000 | #Constraints: 234193
198.64/199.35 c #Conflicts: 843000 | #Constraints: 235193
198.64/199.35 c #Conflicts: 844000 | #Constraints: 236193
198.64/199.35 c #Conflicts: 845000 | #Constraints: 237193
198.64/199.35 c #Conflicts: 846000 | #Constraints: 238193
198.64/199.35 c #Conflicts: 847000 | #Constraints: 239193
198.64/199.35 c #Conflicts: 848000 | #Constraints: 240193
198.64/199.35 c #Conflicts: 849000 | #Constraints: 241193
198.64/199.35 c #Conflicts: 850000 | #Constraints: 242193
198.64/199.35 c #Conflicts: 851000 | #Constraints: 243193
198.64/199.35 c #Conflicts: 852000 | #Constraints: 244193
198.64/199.35 c #Conflicts: 853000 | #Constraints: 245193
198.64/199.35 c #Conflicts: 854000 | #Constraints: 246193
198.64/199.35 c #Conflicts: 855000 | #Constraints: 247193
198.64/199.35 c #Conflicts: 856000 | #Constraints: 248193
198.64/199.35 c #Conflicts: 857000 | #Constraints: 249193
198.64/199.35 c #Conflicts: 858000 | #Constraints: 250193
198.64/199.35 c #Conflicts: 859000 | #Constraints: 251193
198.64/199.35 c #Conflicts: 860000 | #Constraints: 252193
198.64/199.35 c #Conflicts: 861000 | #Constraints: 253193
198.64/199.35 c INPROCESSING
198.64/199.35 c GARBAGE COLLECT
198.64/199.35 c #Conflicts: 862000 | #Constraints: 206203
198.64/199.35 c #Conflicts: 863000 | #Constraints: 207203
198.64/199.35 c #Conflicts: 864000 | #Constraints: 208203
198.64/199.35 c #Conflicts: 865000 | #Constraints: 209203
198.64/199.35 c #Conflicts: 866000 | #Constraints: 210203
198.64/199.35 c #Conflicts: 867000 | #Constraints: 211203
198.64/199.35 c #Conflicts: 868000 | #Constraints: 212203
198.64/199.35 c #Conflicts: 869000 | #Constraints: 213203
198.64/199.35 c #Conflicts: 870000 | #Constraints: 214203
198.64/199.35 c #Conflicts: 871000 | #Constraints: 215203
198.64/199.35 c #Conflicts: 872000 | #Constraints: 216203
198.64/199.35 c #Conflicts: 873000 | #Constraints: 217203
198.64/199.35 c #Conflicts: 874000 | #Constraints: 218203
198.64/199.35 c #Conflicts: 875000 | #Constraints: 219203
198.64/199.35 c #Conflicts: 876000 | #Constraints: 220203
198.64/199.35 c #Conflicts: 877000 | #Constraints: 221203
198.64/199.35 c #Conflicts: 878000 | #Constraints: 222203
219.39/220.15 c #Conflicts: 879000 | #Constraints: 223203
219.39/220.15 c #Conflicts: 880000 | #Constraints: 224203
219.39/220.15 c #Conflicts: 881000 | #Constraints: 225203
219.39/220.15 c #Conflicts: 882000 | #Constraints: 226203
219.39/220.15 c #Conflicts: 883000 | #Constraints: 227203
219.39/220.15 c #Conflicts: 884000 | #Constraints: 228203
219.39/220.15 c #Conflicts: 885000 | #Constraints: 229203
219.39/220.15 c INPROCESSING
219.39/220.15 c GARBAGE COLLECT
219.39/220.15 c #Conflicts: 886000 | #Constraints: 193865
219.39/220.15 c #Conflicts: 887000 | #Constraints: 194865
219.39/220.15 c #Conflicts: 888000 | #Constraints: 195865
219.39/220.15 c #Conflicts: 889000 | #Constraints: 196865
219.39/220.15 c #Conflicts: 890000 | #Constraints: 197865
219.39/220.15 c #Conflicts: 891000 | #Constraints: 198865
219.39/220.15 c #Conflicts: 892000 | #Constraints: 199865
219.39/220.15 c #Conflicts: 893000 | #Constraints: 200865
219.39/220.15 c #Conflicts: 894000 | #Constraints: 201865
219.39/220.15 c #Conflicts: 895000 | #Constraints: 202865
219.39/220.15 c #Conflicts: 896000 | #Constraints: 203865
219.39/220.15 c #Conflicts: 897000 | #Constraints: 204865
219.39/220.15 c #Conflicts: 898000 | #Constraints: 205865
219.39/220.15 c #Conflicts: 899000 | #Constraints: 206865
219.39/220.15 c #Conflicts: 900000 | #Constraints: 207865
219.39/220.15 c #Conflicts: 901000 | #Constraints: 208865
219.39/220.15 c #Conflicts: 902000 | #Constraints: 209865
219.39/220.15 c #Conflicts: 903000 | #Constraints: 210865
219.39/220.15 c #Conflicts: 904000 | #Constraints: 211865
219.39/220.15 c #Conflicts: 905000 | #Constraints: 212865
219.39/220.15 c #Conflicts: 906000 | #Constraints: 213865
219.39/220.15 c #Conflicts: 907000 | #Constraints: 214865
219.39/220.15 c #Conflicts: 908000 | #Constraints: 215865
219.39/220.15 c #Conflicts: 909000 | #Constraints: 216865
219.39/220.15 c #Conflicts: 910000 | #Constraints: 217865
219.39/220.15 c #Conflicts: 911000 | #Constraints: 218865
219.39/220.15 c #Conflicts: 912000 | #Constraints: 219865
219.39/220.15 c #Conflicts: 913000 | #Constraints: 220865
219.39/220.15 c #Conflicts: 914000 | #Constraints: 221865
219.39/220.15 c #Conflicts: 915000 | #Constraints: 222865
219.39/220.15 c #Conflicts: 916000 | #Constraints: 223865
219.39/220.15 c #Conflicts: 917000 | #Constraints: 224865
219.39/220.15 c #Conflicts: 918000 | #Constraints: 225865
219.39/220.15 c #Conflicts: 919000 | #Constraints: 226865
219.39/220.15 c #Conflicts: 920000 | #Constraints: 227865
219.39/220.15 c #Conflicts: 921000 | #Constraints: 228865
219.39/220.15 c #Conflicts: 922000 | #Constraints: 229865
219.39/220.15 c #Conflicts: 923000 | #Constraints: 230865
219.39/220.15 c #Conflicts: 924000 | #Constraints: 231865
219.39/220.15 c #Conflicts: 925000 | #Constraints: 232865
219.39/220.15 c #Conflicts: 926000 | #Constraints: 233865
219.39/220.15 c #Conflicts: 927000 | #Constraints: 234865
219.39/220.15 c #Conflicts: 928000 | #Constraints: 235865
219.39/220.15 c #Conflicts: 929000 | #Constraints: 236865
219.39/220.15 c #Conflicts: 930000 | #Constraints: 237865
219.39/220.15 c #Conflicts: 931000 | #Constraints: 238865
219.39/220.15 c #Conflicts: 932000 | #Constraints: 239865
219.39/220.15 c #Conflicts: 933000 | #Constraints: 240865
219.39/220.15 c #Conflicts: 934000 | #Constraints: 241865
219.39/220.15 c #Conflicts: 935000 | #Constraints: 242865
219.39/220.15 c #Conflicts: 936000 | #Constraints: 243865
219.39/220.15 c #Conflicts: 937000 | #Constraints: 244865
219.39/220.15 c #Conflicts: 938000 | #Constraints: 245865
219.39/220.15 c #Conflicts: 939000 | #Constraints: 246865
219.39/220.15 c #Conflicts: 940000 | #Constraints: 247865
219.39/220.15 c #Conflicts: 941000 | #Constraints: 248865
219.39/220.15 c #Conflicts: 942000 | #Constraints: 249865
219.39/220.15 c #Conflicts: 943000 | #Constraints: 250865
219.39/220.15 c #Conflicts: 944000 | #Constraints: 251865
219.39/220.15 c #Conflicts: 945000 | #Constraints: 252865
219.39/220.15 c #Conflicts: 946000 | #Constraints: 253865
219.39/220.15 c #Conflicts: 947000 | #Constraints: 254865
219.39/220.15 c #Conflicts: 948000 | #Constraints: 255865
219.39/220.15 c #Conflicts: 949000 | #Constraints: 256865
219.39/220.15 c #Conflicts: 950000 | #Constraints: 257865
219.39/220.15 c INPROCESSING
219.39/220.15 c GARBAGE COLLECT
219.39/220.15 c rational objective 319.375
237.24/238.01 c #Conflicts: 951000 | #Constraints: 208332
237.24/238.01 c #Conflicts: 952000 | #Constraints: 209332
237.24/238.01 c #Conflicts: 953000 | #Constraints: 210332
237.24/238.01 c #Conflicts: 954000 | #Constraints: 211332
237.24/238.01 c #Conflicts: 955000 | #Constraints: 212332
237.24/238.01 c #Conflicts: 956000 | #Constraints: 213332
237.24/238.01 c #Conflicts: 957000 | #Constraints: 214332
237.24/238.01 c #Conflicts: 958000 | #Constraints: 215332
237.24/238.01 c #Conflicts: 959000 | #Constraints: 216332
237.24/238.01 c #Conflicts: 960000 | #Constraints: 217332
237.24/238.01 c #Conflicts: 961000 | #Constraints: 218332
237.24/238.01 c #Conflicts: 962000 | #Constraints: 219332
237.24/238.01 c #Conflicts: 963000 | #Constraints: 220332
237.24/238.01 c #Conflicts: 964000 | #Constraints: 221332
237.24/238.01 c #Conflicts: 965000 | #Constraints: 222332
237.24/238.01 c #Conflicts: 966000 | #Constraints: 223332
237.24/238.01 c #Conflicts: 967000 | #Constraints: 224332
237.24/238.01 c #Conflicts: 968000 | #Constraints: 225332
237.24/238.01 c #Conflicts: 969000 | #Constraints: 226332
237.24/238.01 c #Conflicts: 970000 | #Constraints: 227332
237.24/238.01 c #Conflicts: 971000 | #Constraints: 228332
237.24/238.01 c #Conflicts: 972000 | #Constraints: 229332
237.24/238.01 c #Conflicts: 973000 | #Constraints: 230332
237.24/238.01 c #Conflicts: 974000 | #Constraints: 231332
237.24/238.01 c #Conflicts: 975000 | #Constraints: 232332
237.24/238.01 c #Conflicts: 976000 | #Constraints: 233332
237.24/238.01 c INPROCESSING
237.24/238.01 c GARBAGE COLLECT
237.24/238.01 c rational objective 319.769
258.66/259.52 c #Conflicts: 977000 | #Constraints: 195969
258.66/259.52 c #Conflicts: 978000 | #Constraints: 196969
258.66/259.52 c #Conflicts: 979000 | #Constraints: 197969
258.66/259.52 c #Conflicts: 980000 | #Constraints: 198969
258.66/259.52 c #Conflicts: 981000 | #Constraints: 199969
258.66/259.52 c #Conflicts: 982000 | #Constraints: 200969
258.66/259.52 c #Conflicts: 983000 | #Constraints: 201969
258.66/259.52 c #Conflicts: 984000 | #Constraints: 202969
258.66/259.52 c #Conflicts: 985000 | #Constraints: 203969
258.66/259.52 c #Conflicts: 986000 | #Constraints: 204969
258.66/259.52 c #Conflicts: 987000 | #Constraints: 205969
258.66/259.52 c #Conflicts: 988000 | #Constraints: 206969
258.66/259.52 c #Conflicts: 989000 | #Constraints: 207969
258.66/259.52 c #Conflicts: 990000 | #Constraints: 208969
258.66/259.52 c #Conflicts: 991000 | #Constraints: 209969
258.66/259.52 c #Conflicts: 992000 | #Constraints: 210969
258.66/259.52 c #Conflicts: 993000 | #Constraints: 211969
258.66/259.52 c #Conflicts: 994000 | #Constraints: 212969
258.66/259.52 c #Conflicts: 995000 | #Constraints: 213969
258.66/259.52 c #Conflicts: 996000 | #Constraints: 214969
258.66/259.52 c #Conflicts: 997000 | #Constraints: 215969
258.66/259.52 c #Conflicts: 998000 | #Constraints: 216969
258.66/259.52 c #Conflicts: 999000 | #Constraints: 217969
258.66/259.52 c #Conflicts: 1000000 | #Constraints: 218969
258.66/259.52 c #Conflicts: 1001000 | #Constraints: 219969
258.66/259.52 c #Conflicts: 1002000 | #Constraints: 220969
258.66/259.52 c #Conflicts: 1003000 | #Constraints: 221969
258.66/259.52 c #Conflicts: 1004000 | #Constraints: 222969
258.66/259.52 c #Conflicts: 1005000 | #Constraints: 223969
258.66/259.52 c #Conflicts: 1006000 | #Constraints: 224969
258.66/259.52 c #Conflicts: 1007000 | #Constraints: 225969
258.66/259.52 c #Conflicts: 1008000 | #Constraints: 226969
258.66/259.52 c #Conflicts: 1009000 | #Constraints: 227969
258.66/259.52 c #Conflicts: 1010000 | #Constraints: 228969
258.66/259.52 c #Conflicts: 1011000 | #Constraints: 229969
258.66/259.52 c #Conflicts: 1012000 | #Constraints: 230969
258.66/259.52 c #Conflicts: 1013000 | #Constraints: 231969
258.66/259.52 c #Conflicts: 1014000 | #Constraints: 232969
258.66/259.52 c #Conflicts: 1015000 | #Constraints: 233969
258.66/259.52 c #Conflicts: 1016000 | #Constraints: 234969
258.66/259.52 c #Conflicts: 1017000 | #Constraints: 235969
258.66/259.52 c #Conflicts: 1018000 | #Constraints: 236969
258.66/259.52 c #Conflicts: 1019000 | #Constraints: 237969
258.66/259.52 c #Conflicts: 1020000 | #Constraints: 238969
258.66/259.52 c #Conflicts: 1021000 | #Constraints: 239969
258.66/259.52 c #Conflicts: 1022000 | #Constraints: 240969
258.66/259.52 c #Conflicts: 1023000 | #Constraints: 241969
258.66/259.52 c #Conflicts: 1024000 | #Constraints: 242969
258.66/259.52 c #Conflicts: 1025000 | #Constraints: 243969
258.66/259.52 c #Conflicts: 1026000 | #Constraints: 244969
258.66/259.52 c #Conflicts: 1027000 | #Constraints: 245969
258.66/259.52 c #Conflicts: 1028000 | #Constraints: 246969
258.66/259.52 c #Conflicts: 1029000 | #Constraints: 247969
258.66/259.52 c #Conflicts: 1030000 | #Constraints: 248969
258.66/259.52 c #Conflicts: 1031000 | #Constraints: 249969
258.66/259.52 c #Conflicts: 1032000 | #Constraints: 250969
258.66/259.52 c #Conflicts: 1033000 | #Constraints: 251969
258.66/259.52 c #Conflicts: 1034000 | #Constraints: 252969
258.66/259.52 c #Conflicts: 1035000 | #Constraints: 253969
258.66/259.52 c #Conflicts: 1036000 | #Constraints: 254969
258.66/259.52 c #Conflicts: 1037000 | #Constraints: 255969
258.66/259.52 c #Conflicts: 1038000 | #Constraints: 256969
258.66/259.52 c #Conflicts: 1039000 | #Constraints: 257969
258.66/259.52 c #Conflicts: 1040000 | #Constraints: 258969
258.66/259.52 c #Conflicts: 1041000 | #Constraints: 259969
258.66/259.52 c #Conflicts: 1042000 | #Constraints: 260969
258.66/259.52 c #Conflicts: 1043000 | #Constraints: 261969
258.66/259.52 c #Conflicts: 1044000 | #Constraints: 262969
258.66/259.52 c INPROCESSING
258.66/259.52 c GARBAGE COLLECT
258.66/259.52 c #Conflicts: 1045000 | #Constraints: 210259
258.66/259.52 c #Conflicts: 1046000 | #Constraints: 211259
258.66/259.52 c #Conflicts: 1047000 | #Constraints: 212259
258.66/259.52 c #Conflicts: 1048000 | #Constraints: 213259
258.66/259.52 c #Conflicts: 1049000 | #Constraints: 214259
258.66/259.52 c #Conflicts: 1050000 | #Constraints: 215259
258.66/259.52 c #Conflicts: 1051000 | #Constraints: 216259
258.66/259.52 c #Conflicts: 1052000 | #Constraints: 217259
258.66/259.52 c #Conflicts: 1053000 | #Constraints: 218259
258.66/259.52 c #Conflicts: 1054000 | #Constraints: 219259
258.66/259.52 c #Conflicts: 1055000 | #Constraints: 220259
280.90/281.80 c #Conflicts: 1056000 | #Constraints: 221259
280.90/281.80 c #Conflicts: 1057000 | #Constraints: 222259
280.90/281.80 c #Conflicts: 1058000 | #Constraints: 223259
280.90/281.80 c #Conflicts: 1059000 | #Constraints: 224259
280.90/281.80 c #Conflicts: 1060000 | #Constraints: 225259
280.90/281.80 c #Conflicts: 1061000 | #Constraints: 226259
280.90/281.80 c #Conflicts: 1062000 | #Constraints: 227259
280.90/281.80 c #Conflicts: 1063000 | #Constraints: 228259
280.90/281.80 c #Conflicts: 1064000 | #Constraints: 229259
280.90/281.80 c #Conflicts: 1065000 | #Constraints: 230259
280.90/281.80 c #Conflicts: 1066000 | #Constraints: 231259
280.90/281.80 c #Conflicts: 1067000 | #Constraints: 232259
280.90/281.80 c #Conflicts: 1068000 | #Constraints: 233259
280.90/281.80 c #Conflicts: 1069000 | #Constraints: 234259
280.90/281.80 c #Conflicts: 1070000 | #Constraints: 235259
280.90/281.80 c #Conflicts: 1071000 | #Constraints: 236259
280.90/281.80 c INPROCESSING
280.90/281.80 c GARBAGE COLLECT
280.90/281.80 c #Conflicts: 1072000 | #Constraints: 191940
280.90/281.80 c #Conflicts: 1073000 | #Constraints: 192940
280.90/281.80 c #Conflicts: 1074000 | #Constraints: 193940
280.90/281.80 c #Conflicts: 1075000 | #Constraints: 194940
280.90/281.80 c #Conflicts: 1076000 | #Constraints: 195940
280.90/281.80 c #Conflicts: 1077000 | #Constraints: 196940
280.90/281.80 c #Conflicts: 1078000 | #Constraints: 197940
280.90/281.80 c #Conflicts: 1079000 | #Constraints: 198940
280.90/281.80 c #Conflicts: 1080000 | #Constraints: 199940
280.90/281.80 c #Conflicts: 1081000 | #Constraints: 200940
280.90/281.80 c #Conflicts: 1082000 | #Constraints: 201940
280.90/281.80 c #Conflicts: 1083000 | #Constraints: 202940
280.90/281.80 c #Conflicts: 1084000 | #Constraints: 203940
280.90/281.80 c #Conflicts: 1085000 | #Constraints: 204940
280.90/281.80 c #Conflicts: 1086000 | #Constraints: 205940
280.90/281.80 c #Conflicts: 1087000 | #Constraints: 206940
280.90/281.80 c #Conflicts: 1088000 | #Constraints: 207940
280.90/281.80 c #Conflicts: 1089000 | #Constraints: 208940
280.90/281.80 c #Conflicts: 1090000 | #Constraints: 209940
280.90/281.80 c #Conflicts: 1091000 | #Constraints: 210940
280.90/281.80 c #Conflicts: 1092000 | #Constraints: 211940
280.90/281.80 c #Conflicts: 1093000 | #Constraints: 212940
280.90/281.80 c #Conflicts: 1094000 | #Constraints: 213940
280.90/281.80 c #Conflicts: 1095000 | #Constraints: 214940
280.90/281.80 c #Conflicts: 1096000 | #Constraints: 215940
280.90/281.80 c #Conflicts: 1097000 | #Constraints: 216940
280.90/281.80 c #Conflicts: 1098000 | #Constraints: 217940
280.90/281.80 c #Conflicts: 1099000 | #Constraints: 218940
280.90/281.80 c #Conflicts: 1100000 | #Constraints: 219940
280.90/281.80 c #Conflicts: 1101000 | #Constraints: 220940
280.90/281.80 c #Conflicts: 1102000 | #Constraints: 221940
280.90/281.80 c #Conflicts: 1103000 | #Constraints: 222940
280.90/281.80 c #Conflicts: 1104000 | #Constraints: 223940
280.90/281.80 c #Conflicts: 1105000 | #Constraints: 224940
280.90/281.80 c #Conflicts: 1106000 | #Constraints: 225940
280.90/281.80 c #Conflicts: 1107000 | #Constraints: 226940
280.90/281.80 c #Conflicts: 1108000 | #Constraints: 227940
280.90/281.80 c #Conflicts: 1109000 | #Constraints: 228940
280.90/281.80 c #Conflicts: 1110000 | #Constraints: 229940
280.90/281.80 c #Conflicts: 1111000 | #Constraints: 230940
280.90/281.80 c #Conflicts: 1112000 | #Constraints: 231940
280.90/281.80 c #Conflicts: 1113000 | #Constraints: 232940
280.90/281.80 c #Conflicts: 1114000 | #Constraints: 233940
280.90/281.80 c #Conflicts: 1115000 | #Constraints: 234940
280.90/281.80 c #Conflicts: 1116000 | #Constraints: 235940
280.90/281.80 c #Conflicts: 1117000 | #Constraints: 236940
280.90/281.80 c #Conflicts: 1118000 | #Constraints: 237940
280.90/281.80 c #Conflicts: 1119000 | #Constraints: 238940
280.90/281.80 c #Conflicts: 1120000 | #Constraints: 239940
280.90/281.80 c #Conflicts: 1121000 | #Constraints: 240940
280.90/281.80 c #Conflicts: 1122000 | #Constraints: 241940
280.90/281.80 c #Conflicts: 1123000 | #Constraints: 242940
280.90/281.80 c #Conflicts: 1124000 | #Constraints: 243940
280.90/281.80 c #Conflicts: 1125000 | #Constraints: 244940
280.90/281.80 c #Conflicts: 1126000 | #Constraints: 245940
280.90/281.80 c #Conflicts: 1127000 | #Constraints: 246940
280.90/281.80 c #Conflicts: 1128000 | #Constraints: 247940
280.90/281.80 c #Conflicts: 1129000 | #Constraints: 248940
280.90/281.80 c #Conflicts: 1130000 | #Constraints: 249940
280.90/281.80 c #Conflicts: 1131000 | #Constraints: 250940
280.90/281.80 c #Conflicts: 1132000 | #Constraints: 251940
280.90/281.80 c #Conflicts: 1133000 | #Constraints: 252940
286.68/287.65 c #Conflicts: 1134000 | #Constraints: 253940
286.68/287.65 c #Conflicts: 1135000 | #Constraints: 254940
286.68/287.65 c #Conflicts: 1136000 | #Constraints: 255940
286.68/287.65 c #Conflicts: 1137000 | #Constraints: 256940
286.68/287.65 c #Conflicts: 1138000 | #Constraints: 257940
286.68/287.65 c #Conflicts: 1139000 | #Constraints: 258940
286.68/287.65 c #Conflicts: 1140000 | #Constraints: 259940
286.68/287.65 c #Conflicts: 1141000 | #Constraints: 260940
286.68/287.65 c #Conflicts: 1142000 | #Constraints: 261940
286.68/287.65 c INPROCESSING
286.68/287.65 c GARBAGE COLLECT
286.68/287.65 c rational objective 355.907
291.08/292.09 c #Conflicts: 1143000 | #Constraints: 209638
291.08/292.09 c #Conflicts: 1144000 | #Constraints: 210638
291.08/292.09 c #Conflicts: 1145000 | #Constraints: 211638
291.08/292.09 c #Conflicts: 1146000 | #Constraints: 212638
291.08/292.09 c #Conflicts: 1147000 | #Constraints: 213638
291.08/292.09 c #Conflicts: 1148000 | #Constraints: 214638
291.08/292.09 c #Conflicts: 1149000 | #Constraints: 215638
291.08/292.09 c #Conflicts: 1150000 | #Constraints: 216638
291.08/292.09 c #Conflicts: 1151000 | #Constraints: 217638
291.08/292.09 c #Conflicts: 1152000 | #Constraints: 218638
291.08/292.09 c #Conflicts: 1153000 | #Constraints: 219638
291.08/292.09 c cpu time 284.612 s
291.08/292.09 c deterministic time 6122667461 6.12e+09
291.08/292.09 c optimization time 7.5e-05 s
291.08/292.09 c total solve time 283.303 s
291.08/292.09 c core-guided solve time 0 s
291.08/292.09 c propagation time 127.077 s
291.08/292.09 c conflict analysis time 73.7236 s
291.08/292.09 c propagations 326404735
291.08/292.09 c resolve steps 22614488
291.08/292.09 c decisions 3395532
291.08/292.09 c conflicts 1153957
291.08/292.09 c restarts 2140
291.08/292.09 c inprocessing phases 48
291.08/292.09 c garbage collections 37 ,( 77.08 )
291.08/292.09 c input clauses 139854 ,( 89.59 )
291.08/292.09 c input cardinalities 564 ,( 0.36 )
291.08/292.09 c input general constraints 15694 ,( 10.05 )
291.08/292.09 c input average constraint length 3.90
291.08/292.09 c input average constraint degree 1.12
291.08/292.09 c learned clauses 1153513 ,( 99.96 )
291.08/292.09 c learned cardinalities 271 ,( 0.02 )
291.08/292.09 c learned general constraints 196 ,( 0.02 )
291.08/292.09 c learned average constraint length 93.68
291.08/292.09 c learned average constraint degree 6700.36
291.08/292.09 c watched CF 32, 64, 128, Arb: 51 , 0 , 0 , 0
291.08/292.09 c counting CF 32, 64, 128, Arb: 15839 , 0 , 0 , 0
291.08/292.09 c watched constraints 51 ,( 0.32 )
291.08/292.09 c counting constraints 15839 ,( 99.68 )
291.08/292.09 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1211202369 , 1299276 , 19745744 ,( 9819 , 19735925 )
291.08/292.09 c gcd simplifications 1605
291.08/292.09 c detected cardinalities 23
291.08/292.09 c weakened non-implied lits 551132
291.08/292.09 c weakened non-implying lits 2436
291.08/292.09 c original variables 7351
291.08/292.09 c clausal propagations 321510714
291.08/292.09 c cardinality propagations 764392
291.08/292.09 c watched propagations 301
291.08/292.09 c counting propagations 2972986
291.08/292.09 c watch lookups 1530980563
291.08/292.09 c watch backjump lookups 0
291.08/292.09 c watch checks 3235280393
291.08/292.09 c propagation checks 378890813
291.08/292.09 c constraint additions 316523913
291.08/292.09 c trail pops 330952108
291.08/292.09 c formula constraints 156112
291.08/292.09 c learned constraints 1153956
291.08/292.09 c bound constraints 0
291.08/292.09 c core-guided constraints 0
291.08/292.09 c encountered formula constraints 13549220
291.08/292.09 c encountered learned constraints 10217539
291.08/292.09 c encountered bound constraints 0
291.08/292.09 c encountered core-guided constraints 0
291.08/292.09 c LP total time 104.462 s
291.08/292.09 c LP solve time 94.79 s
291.08/292.09 c LP constraints added 156237
291.08/292.09 c LP constraints removed 87
291.08/292.09 c LP pivots internal 122932
291.08/292.09 c LP pivots root 116471
291.08/292.09 c LP calls 41
291.08/292.09 c LP optimalities 36
291.08/292.09 c LP no pivot count 0
291.08/292.09 c LP infeasibilities 0
291.08/292.09 c LP valid Farkas constraints 0
291.08/292.09 c LP learned Farkas constraints 0
291.08/292.09 c LP basis resets 0
291.08/292.09 c LP cycling count 0
291.08/292.09 c LP singular count 0
291.08/292.09 c LP no primal count 0
291.08/292.09 c LP no farkas count 0
291.08/292.09 c LP other issue count 0
291.08/292.09 c LP Gomory cuts 24
291.08/292.09 c LP learned cuts 135
291.08/292.09 c LP deleted cuts 108
291.08/292.09 c LP encountered Gomory constraints 1686
291.08/292.09 c LP encountered Farkas constraints 0
291.08/292.09 c LP encountered learned Farkas constraints 0
291.08/292.09 c CG auxiliary variables introduced 0
291.08/292.09 c CG solutions found 0
291.08/292.09 c CG cores constructed 0
291.08/292.09 c CG core cardinality constraints returned 0
291.08/292.09 c CG unit cores 0
291.08/292.09 c CG single cores 0
291.08/292.09 c CG blocks removed during cardinality reduction 0
291.08/292.09 c CG first core best 0
291.08/292.09 c CG decision core best 0
291.08/292.09 c CG core reduction tie 0
291.08/292.09 c CG core degree average 0.00
291.08/292.09 c CG core slack average 0.00
291.08/292.09 c CG core upper bound improvements 0
291.08/292.09 c STR number of successful calls 0
291.08/292.09 c STR number of unsuccessful calls 0
291.08/292.09 c STR number of inconclusive calls 0
291.08/292.09 c STR number of successful attempts 0
291.08/292.09 c STR number of unsuccessful attempts 0
291.08/292.09 c STR number of inconclusive attempts 0
291.08/292.09 c STR average degree increase per successful call inf
291.08/292.09 c STR average degree increase per successful attempt inf
291.08/292.09 c STR total number of conflicts for successful attempts 0
291.08/292.09 c STR total number of conflicts for unsuccessful attempts 0
291.08/292.09 c STR total number of conflicts for inconclusive attempts 0
291.08/292.09 c STR average number of conflicts per successful attempt inf
291.08/292.09 c STR average number of conflicts per unsuccessful attempt inf
291.08/292.09 c STR average number of conflicts per inconclusive attempt inf
291.08/292.09 c AVG.sumWPerc 60.75
291.08/292.09 c bigint constraints 0
291.16/292.14 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63322 MiB free)
memory of node 1: 64465 MiB (63882 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503421-1751170906/watcher-4503421-1751170906 -o /tmp/evaluation-result-4503421-1751170906/solver-4503421-1751170906 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17820 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4503421-1751170906.opb PROOFDIR/proof-4503421-1751170906
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17871, runsolver pid=17868
[startup+0.100072 s]*
/proc/loadavg: 0.73 1.01 1.34 6/249 17873
/proc/meminfo: memFree=130250692/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=57488 memory=12728 CPUtime=0.09 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 929 0 0 0 7 2 0 0 20 0 1 0 32769323 58867712 3182 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 14372 3182 1952 1147 0 1799 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61680 KiB
Current children cumulated memory: 15800 KiB
[startup+0.213046 s]*
/proc/loadavg: 0.73 1.01 1.34 6/249 17874
/proc/meminfo: memFree=130243136/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=58820 memory=13880 CPUtime=0.19 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 1260 0 0 0 15 4 0 0 20 0 1 0 32769323 60231680 3470 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 14705 3470 1952 1147 0 2132 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63012 KiB
Current children cumulated memory: 16952 KiB
[startup+0.313309 s]*
/proc/loadavg: 0.73 1.01 1.34 5/255 17884
/proc/meminfo: memFree=130243136/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=59780 memory=15032 CPUtime=0.3 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 1590 0 0 0 23 7 0 0 20 0 1 0 32769323 61214720 3758 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 14945 3758 1952 1147 0 2372 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 63972 KiB
Current children cumulated memory: 18104 KiB
[startup+0.700356 s]
/proc/loadavg: 0.73 1.01 1.34 6/255 17884
/proc/meminfo: memFree=130220012/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=64752 memory=21420 CPUtime=0.67 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 2945 0 0 0 53 14 0 0 20 0 1 0 32769323 66306048 5355 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 16188 5355 1952 1147 0 3615 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 68944 KiB
Current children cumulated memory: 24492 KiB
[startup+1.50044 s]
/proc/loadavg: 0.73 1.01 1.34 5/255 17884
/proc/meminfo: memFree=130158016/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=163972 memory=111780 CPUtime=1.47 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 13438 0 0 0 119 28 0 0 20 0 1 0 32769323 167907328 27945 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 40993 27945 2240 1147 0 28420 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 168164 KiB
Current children cumulated memory: 114852 KiB
[startup+3.11356 s]
/proc/loadavg: 0.99 1.06 1.35 5/255 17884
/proc/meminfo: memFree=129884960/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=316592 memory=212772 CPUtime=3.08 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 27198 0 0 0 271 37 0 0 20 0 1 0 32769323 324190208 53193 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 79148 53193 2336 1147 0 66575 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 320784 KiB
Current children cumulated memory: 215844 KiB
[startup+6.30034 s]
/proc/loadavg: 0.99 1.06 1.35 5/250 17911
/proc/meminfo: memFree=129272860/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=317252 memory=213668 CPUtime=6.25 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 27461 0 0 0 578 47 0 0 20 0 1 0 32769323 324866048 53417 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 79313 53417 2336 1147 0 66740 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 321444 KiB
Current children cumulated memory: 216740 KiB
[startup+12.7004 s]
/proc/loadavg: 1.23 1.10 1.37 5/255 17931
/proc/meminfo: memFree=129104276/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=329992 memory=220392 CPUtime=12.64 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 28977 0 0 0 1197 67 0 0 20 0 1 0 32769323 337911808 55098 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 82498 55098 2336 1147 0 69925 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 334184 KiB
Current children cumulated memory: 223464 KiB
[startup+25.5004 s]
/proc/loadavg: 1.85 1.25 1.41 5/255 17931
/proc/meminfo: memFree=129050416/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=334620 memory=230332 CPUtime=25.4 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 30453 0 0 0 2442 98 0 0 20 0 1 0 32769323 342650880 57583 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 83655 57583 2336 1147 0 71082 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 338812 KiB
Current children cumulated memory: 233404 KiB
[startup+51.1139 s]
/proc/loadavg: 2.65 1.49 1.49 5/258 17935
/proc/meminfo: memFree=128965292/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=367188 memory=255628 CPUtime=50.94 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 32199 0 0 0 4911 183 0 0 20 0 1 0 32769323 376000512 63907 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 91797 63907 2336 1147 0 79224 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 258700 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.89 1.63 5/258 17937
/proc/meminfo: memFree=128611824/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=367188 memory=264036 CPUtime=101.96 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 32801 0 0 0 9891 305 0 0 20 0 1 0 32769323 376000512 66009 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 91797 66009 2336 1147 0 79224 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 371380 KiB
Current children cumulated memory: 267108 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.29 1.78 5/259 17985
/proc/meminfo: memFree=128391988/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=388900 memory=268872 CPUtime=161.76 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 33571 0 0 0 15759 417 0 0 20 0 1 0 32769323 398233600 67218 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 97225 67218 2336 1147 0 84652 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 393092 KiB
Current children cumulated memory: 271944 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.64 1.93 5/259 17989
/proc/meminfo: memFree=128100072/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=391260 memory=289540 CPUtime=221.57 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 34272 0 0 0 21618 539 0 0 20 0 1 0 32769323 400650240 72385 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 97815 72385 2336 1147 0 85242 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 395452 KiB
Current children cumulated memory: 292612 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.90 2.07 5/260 17992
/proc/meminfo: memFree=127892836/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=466808 memory=346532 CPUtime=281.39 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 38403 0 0 0 27498 641 0 0 20 0 1 0 32769323 478011392 86633 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 116702 86633 2336 1147 0 104129 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 471000 KiB
Current children cumulated memory: 349604 KiB
[startup+292.15 s]
# the end of solver process 17871 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=284.632 s, system=6.56533 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+288 s]*
/proc/loadavg: 4.06 2.94 2.09 5/260 17993
/proc/meminfo: memFree=127881384/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=466808 memory=346532 CPUtime=287.09 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 38411 0 0 0 28061 648 0 0 20 0 1 0 32769323 478011392 86633 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 116702 86633 2336 1147 0 104129 0
Current children cumulated CPU time: 287.09 s
Current children cumulated vsize: 471000 KiB
Current children cumulated memory: 349604 KiB
[startup+289.6 s]
/proc/loadavg: 4.06 2.94 2.09 5/260 17993
/proc/meminfo: memFree=127873320/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=466808 memory=346532 CPUtime=288.67 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 38411 0 0 0 28216 651 0 0 20 0 1 0 32769323 478011392 86633 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 116702 86633 2336 1147 0 104129 0
Current children cumulated CPU time: 288.67 s
Current children cumulated vsize: 471000 KiB
Current children cumulated memory: 349604 KiB
[startup+291.2 s]
/proc/loadavg: 4.06 2.94 2.09 6/258 18007
/proc/meminfo: memFree=128581328/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=466808 memory=346532 CPUtime=290.27 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 38411 0 0 0 28374 653 0 0 20 0 1 0 32769323 478011392 86633 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 116702 86633 2336 1147 0 104129 0
Current children cumulated CPU time: 290.27 s
Current children cumulated vsize: 471000 KiB
Current children cumulated memory: 349604 KiB
[startup+291.6 s]
/proc/loadavg: 4.06 2.94 2.09 6/258 18007
/proc/meminfo: memFree=128581328/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=466808 memory=346532 CPUtime=290.67 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 38411 0 0 0 28413 654 0 0 20 0 1 0 32769323 478011392 86633 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 116702 86633 2336 1147 0 104129 0
Current children cumulated CPU time: 290.67 s
Current children cumulated vsize: 471000 KiB
Current children cumulated memory: 349604 KiB
[startup+292 s]*
/proc/loadavg: 4.06 2.94 2.09 5/258 18007
/proc/meminfo: memFree=128573540/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=466808 memory=346532 CPUtime=291.08 cores=0,2
/proc/17873/stat : 17873 (roundingsat) R 17871 17871 17810 0 -1 4194304 38411 0 0 0 28453 655 0 0 20 0 1 0 32769323 478011392 86633 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 116702 86633 2336 1147 0 104129 0
Current children cumulated CPU time: 291.08 s
Current children cumulated vsize: 471000 KiB
Current children cumulated memory: 349604 KiB
[startup+292.114 s]
/proc/loadavg: 4.06 2.94 2.09 5/258 18007
/proc/meminfo: memFree=128573540/131382120 swapFree=33010684/33010684
[pid=17871] ppid=17868 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/17871/stat : 17871 (run-dec-log.sh) S 17868 17871 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32769322 4292608 768 18446744073709551615 93914381762560 93914382657093 140727956538112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93914382896144 93914382943888 93914384666624 140727956539681 140727956539876 140727956539876 140727956545478 0
/proc/17871/statm: 1048 768 704 219 0 110 0
[pid=17873] ppid=17871 vsize=466808 memory=346532 CPUtime=291.16 cores=0,2
/proc/17873/stat : 17873 (roundingsat) D 17871 17871 17810 0 -1 4194304 38411 0 0 0 28461 655 0 0 20 0 1 0 32769323 478011392 86633 18446744073709551615 4227072 8923433 140731790458368 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 20398080 140731790465383 140731790465576 140731790465576 140731790471146 0
/proc/17873/statm: 116702 86633 2336 1147 0 104129 0
Current children cumulated CPU time: 291.16 s
Current children cumulated vsize: 471000 KiB
Current children cumulated memory: 349604 KiB
Child status: 0
Real time (s): 292.15
CPU time (s): 291.197
CPU user time (s): 284.632
CPU system time (s): 6.56533
CPU usage (%): 99.6738
Max. virtual memory (cumulated for all children) (KiB): 471000
Max. memory (cumulated for all children) (KiB): 349604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.632
system time used= 6.56533
maximum resident set size= 346532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38640
page faults= 0
swaps= 0
block input operations= 0
block output operations= 575536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 881
involuntary context switches= 666
# summary of solver processes directly reported to runsolver:
# pid: 17871
# total CPU time (s): 291.197
# total CPU user time (s): 284.632
# total CPU system time (s): 6.56533
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.68639 second user time and 3.12115 second system time
The end
Begin job on nodeC003 at 2025-06-29 06:21:46
IDJOB=4503421
IDBENCH=155463
IDSOLVER=3352
FILE ID=nodeC003/4503421-1751170906
RUNJOBID= nodeC003-1751170906-17820
SLURM_JOB_ID= 9587531
Free space on /tmp= 433000 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-25.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503421-1751170906/watcher-4503421-1751170906 -o /tmp/evaluation-result-4503421-1751170906/solver-4503421-1751170906 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17820 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4503421-1751170906.opb PROOFDIR/proof-4503421-1751170906
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 089881a3a57f24d34abbbcf8eb808729
RANDOM SEED=361466812
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.256
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.166
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.157
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.172
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.165
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.172
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.216
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.180
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130269464 kB
MemAvailable: 129908604 kB
Buffers: 3280 kB
Cached: 444612 kB
SwapCached: 0 kB
Active: 295996 kB
Inactive: 231408 kB
Active(anon): 97472 kB
Inactive(anon): 0 kB
Active(file): 198524 kB
Inactive(file): 231408 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 49124 kB
Writeback: 8 kB
AnonPages: 82684 kB
Mapped: 102460 kB
Shmem: 17960 kB
KReclaimable: 84224 kB
Slab: 162636 kB
SReclaimable: 84224 kB
SUnreclaim: 78412 kB
KernelStack: 3904 kB
PageTables: 2872 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 390184 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432924 MiB
End job on nodeC003 at 2025-06-29 06:26:39