0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
1.27/1.37 c #variables 7351 #constraints 156112
1.46/1.59 c rational objective 319
12.05/12.13 c #Conflicts: 1000 | #Constraints: 157112
12.05/12.13 c #Conflicts: 2000 | #Constraints: 158112
12.05/12.13 c INPROCESSING
12.05/12.13 c #Conflicts: 3000 | #Constraints: 158126
12.05/12.13 c #Conflicts: 4000 | #Constraints: 159126
12.05/12.13 c INPROCESSING
12.05/12.13 c #Conflicts: 5000 | #Constraints: 158530
12.05/12.13 c #Conflicts: 6000 | #Constraints: 159530
12.05/12.13 c INPROCESSING
12.05/12.13 c #Conflicts: 7000 | #Constraints: 158526
12.05/12.13 c #Conflicts: 8000 | #Constraints: 159526
12.05/12.13 c #Conflicts: 9000 | #Constraints: 160526
12.05/12.13 c INPROCESSING
12.05/12.13 c #Conflicts: 10000 | #Constraints: 159194
12.05/12.13 c #Conflicts: 11000 | #Constraints: 160194
12.05/12.13 c #Conflicts: 12000 | #Constraints: 161194
12.05/12.13 c INPROCESSING
12.05/12.13 c #Conflicts: 13000 | #Constraints: 159657
12.05/12.13 c #Conflicts: 14000 | #Constraints: 160657
12.05/12.13 c #Conflicts: 15000 | #Constraints: 161657
12.05/12.13 c INPROCESSING
12.05/12.13 c #Conflicts: 16000 | #Constraints: 159892
12.05/12.13 c #Conflicts: 17000 | #Constraints: 160892
12.05/12.13 c #Conflicts: 18000 | #Constraints: 161892
12.05/12.13 c INPROCESSING
12.05/12.13 c GARBAGE COLLECT
12.05/12.13 c #Conflicts: 19000 | #Constraints: 159921
12.05/12.13 c #Conflicts: 20000 | #Constraints: 160921
12.05/12.13 c #Conflicts: 21000 | #Constraints: 161921
12.05/12.13 c INPROCESSING
12.05/12.13 c #Conflicts: 22000 | #Constraints: 159738
12.05/12.13 c #Conflicts: 23000 | #Constraints: 160738
12.05/12.13 c #Conflicts: 24000 | #Constraints: 161738
12.05/12.13 c #Conflicts: 25000 | #Constraints: 162738
12.05/12.13 c #Conflicts: 26000 | #Constraints: 163738
12.05/12.13 c #Conflicts: 27000 | #Constraints: 164738
12.05/12.13 c #Conflicts: 28000 | #Constraints: 165738
12.05/12.13 c #Conflicts: 29000 | #Constraints: 166738
12.05/12.13 c #Conflicts: 30000 | #Constraints: 167738
12.05/12.13 c #Conflicts: 31000 | #Constraints: 168738
12.05/12.13 c #Conflicts: 32000 | #Constraints: 169738
12.05/12.13 c #Conflicts: 33000 | #Constraints: 170738
12.05/12.13 c INPROCESSING
12.05/12.13 c #Conflicts: 34000 | #Constraints: 164322
12.05/12.13 c #Conflicts: 35000 | #Constraints: 165322
12.05/12.13 c #Conflicts: 36000 | #Constraints: 166322
12.05/12.13 c #Conflicts: 37000 | #Constraints: 167322
12.05/12.13 c #Conflicts: 38000 | #Constraints: 168322
12.05/12.13 c INPROCESSING
12.05/12.13 c GARBAGE COLLECT
12.05/12.13 c #Conflicts: 39000 | #Constraints: 163277
12.05/12.13 c #Conflicts: 40000 | #Constraints: 164277
12.05/12.13 c #Conflicts: 41000 | #Constraints: 165277
12.05/12.13 c #Conflicts: 42000 | #Constraints: 166277
12.05/12.13 c INPROCESSING
12.05/12.13 c #Conflicts: 43000 | #Constraints: 161829
12.05/12.13 c #Conflicts: 44000 | #Constraints: 162829
12.05/12.13 c #Conflicts: 45000 | #Constraints: 163829
12.05/12.13 c #Conflicts: 46000 | #Constraints: 164829
12.05/12.13 c #Conflicts: 47000 | #Constraints: 165829
12.05/12.13 c #Conflicts: 48000 | #Constraints: 166829
12.05/12.13 c #Conflicts: 49000 | #Constraints: 167829
12.05/12.13 c #Conflicts: 50000 | #Constraints: 168829
12.05/12.13 c #Conflicts: 51000 | #Constraints: 169829
12.05/12.13 c #Conflicts: 52000 | #Constraints: 170829
12.05/12.13 c #Conflicts: 53000 | #Constraints: 171829
12.05/12.13 c #Conflicts: 54000 | #Constraints: 172829
12.05/12.13 c #Conflicts: 55000 | #Constraints: 173829
12.05/12.13 c #Conflicts: 56000 | #Constraints: 174829
12.05/12.13 c #Conflicts: 57000 | #Constraints: 175829
12.05/12.13 c #Conflicts: 58000 | #Constraints: 176829
12.05/12.13 c INPROCESSING
12.05/12.13 c GARBAGE COLLECT
12.05/12.13 c #Conflicts: 59000 | #Constraints: 167170
12.05/12.13 c #Conflicts: 60000 | #Constraints: 168170
12.05/12.13 c #Conflicts: 61000 | #Constraints: 169170
12.05/12.13 c #Conflicts: 62000 | #Constraints: 170170
12.05/12.13 c #Conflicts: 63000 | #Constraints: 171170
12.05/12.13 c #Conflicts: 64000 | #Constraints: 172170
12.05/12.13 c #Conflicts: 65000 | #Constraints: 173170
12.05/12.13 c INPROCESSING
12.05/12.13 c #Conflicts: 66000 | #Constraints: 165761
12.05/12.13 c #Conflicts: 67000 | #Constraints: 166761
12.05/12.13 c #Conflicts: 68000 | #Constraints: 167761
12.05/12.13 c #Conflicts: 69000 | #Constraints: 168761
12.05/12.13 c #Conflicts: 70000 | #Constraints: 169761
12.05/12.13 c #Conflicts: 71000 | #Constraints: 170761
12.05/12.13 c INPROCESSING
12.05/12.13 c GARBAGE COLLECT
12.05/12.13 c #Conflicts: 72000 | #Constraints: 164366
12.05/12.13 c #Conflicts: 73000 | #Constraints: 165366
12.05/12.13 c #Conflicts: 74000 | #Constraints: 166366
23.91/24.04 c #Conflicts: 75000 | #Constraints: 167366
23.91/24.04 c #Conflicts: 76000 | #Constraints: 168366
23.91/24.04 c #Conflicts: 77000 | #Constraints: 169366
23.91/24.04 c #Conflicts: 78000 | #Constraints: 170366
23.91/24.04 c #Conflicts: 79000 | #Constraints: 171366
23.91/24.04 c #Conflicts: 80000 | #Constraints: 172366
23.91/24.04 c #Conflicts: 81000 | #Constraints: 173366
23.91/24.04 c #Conflicts: 82000 | #Constraints: 174366
23.91/24.04 c #Conflicts: 83000 | #Constraints: 175366
23.91/24.04 c #Conflicts: 84000 | #Constraints: 176366
23.91/24.04 c #Conflicts: 85000 | #Constraints: 177366
23.91/24.04 c #Conflicts: 86000 | #Constraints: 178366
23.91/24.04 c #Conflicts: 87000 | #Constraints: 179366
23.91/24.04 c #Conflicts: 88000 | #Constraints: 180366
23.91/24.04 c #Conflicts: 89000 | #Constraints: 181366
23.91/24.04 c #Conflicts: 90000 | #Constraints: 182366
23.91/24.04 c #Conflicts: 91000 | #Constraints: 183366
23.91/24.04 c INPROCESSING
23.91/24.04 c GARBAGE COLLECT
23.91/24.04 c #Conflicts: 92000 | #Constraints: 170623
23.91/24.04 c #Conflicts: 93000 | #Constraints: 171623
23.91/24.04 c #Conflicts: 94000 | #Constraints: 172623
23.91/24.04 c #Conflicts: 95000 | #Constraints: 173623
23.91/24.04 c #Conflicts: 96000 | #Constraints: 174623
23.91/24.04 c #Conflicts: 97000 | #Constraints: 175623
23.91/24.04 c #Conflicts: 98000 | #Constraints: 176623
23.91/24.04 c #Conflicts: 99000 | #Constraints: 177623
23.91/24.04 c INPROCESSING
23.91/24.04 c GARBAGE COLLECT
23.91/24.04 c #Conflicts: 100000 | #Constraints: 167927
23.91/24.04 c #Conflicts: 101000 | #Constraints: 168927
23.91/24.04 c #Conflicts: 102000 | #Constraints: 169927
23.91/24.04 c #Conflicts: 103000 | #Constraints: 170927
23.91/24.04 c #Conflicts: 104000 | #Constraints: 171927
23.91/24.04 c #Conflicts: 105000 | #Constraints: 172927
23.91/24.04 c #Conflicts: 106000 | #Constraints: 173927
23.91/24.04 c #Conflicts: 107000 | #Constraints: 174927
23.91/24.04 c INPROCESSING
23.91/24.04 c #Conflicts: 108000 | #Constraints: 166558
23.91/24.04 c #Conflicts: 109000 | #Constraints: 167558
23.91/24.04 c #Conflicts: 110000 | #Constraints: 168558
23.91/24.04 c #Conflicts: 111000 | #Constraints: 169558
23.91/24.04 c #Conflicts: 112000 | #Constraints: 170558
23.91/24.04 c #Conflicts: 113000 | #Constraints: 171558
23.91/24.04 c #Conflicts: 114000 | #Constraints: 172558
23.91/24.04 c #Conflicts: 115000 | #Constraints: 173558
23.91/24.04 c #Conflicts: 116000 | #Constraints: 174558
23.91/24.04 c #Conflicts: 117000 | #Constraints: 175558
23.91/24.04 c #Conflicts: 118000 | #Constraints: 176558
23.91/24.04 c #Conflicts: 119000 | #Constraints: 177558
23.91/24.04 c #Conflicts: 120000 | #Constraints: 178558
23.91/24.04 c #Conflicts: 121000 | #Constraints: 179558
23.91/24.04 c #Conflicts: 122000 | #Constraints: 180558
23.91/24.04 c #Conflicts: 123000 | #Constraints: 181558
23.91/24.04 c #Conflicts: 124000 | #Constraints: 182558
23.91/24.04 c #Conflicts: 125000 | #Constraints: 183558
23.91/24.04 c #Conflicts: 126000 | #Constraints: 184558
23.91/24.04 c #Conflicts: 127000 | #Constraints: 185558
23.91/24.04 c #Conflicts: 128000 | #Constraints: 186558
23.91/24.04 c #Conflicts: 129000 | #Constraints: 187558
23.91/24.04 c #Conflicts: 130000 | #Constraints: 188558
23.91/24.04 c #Conflicts: 131000 | #Constraints: 189558
23.91/24.04 c INPROCESSING
23.91/24.04 c GARBAGE COLLECT
23.91/24.04 c rational objective 319
35.66/35.90 c #Conflicts: 132000 | #Constraints: 173774
35.66/35.90 c #Conflicts: 133000 | #Constraints: 174774
35.66/35.90 c #Conflicts: 134000 | #Constraints: 175774
35.66/35.90 c #Conflicts: 135000 | #Constraints: 176774
35.66/35.90 c #Conflicts: 136000 | #Constraints: 177774
35.66/35.90 c #Conflicts: 137000 | #Constraints: 178774
35.66/35.90 c #Conflicts: 138000 | #Constraints: 179774
35.66/35.90 c #Conflicts: 139000 | #Constraints: 180774
35.66/35.90 c #Conflicts: 140000 | #Constraints: 181774
35.66/35.90 c INPROCESSING
35.66/35.90 c GARBAGE COLLECT
35.66/35.90 c #Conflicts: 141000 | #Constraints: 169840
35.66/35.90 c #Conflicts: 142000 | #Constraints: 170840
35.66/35.90 c #Conflicts: 143000 | #Constraints: 171840
35.66/35.90 c #Conflicts: 144000 | #Constraints: 172840
35.66/35.90 c #Conflicts: 145000 | #Constraints: 173840
35.66/35.90 c #Conflicts: 146000 | #Constraints: 174840
35.66/35.90 c #Conflicts: 147000 | #Constraints: 175840
35.66/35.90 c #Conflicts: 148000 | #Constraints: 176840
35.66/35.90 c #Conflicts: 149000 | #Constraints: 177840
35.66/35.90 c #Conflicts: 150000 | #Constraints: 178840
35.66/35.90 c #Conflicts: 151000 | #Constraints: 179840
35.66/35.90 c #Conflicts: 152000 | #Constraints: 180840
35.66/35.90 c #Conflicts: 153000 | #Constraints: 181840
35.66/35.90 c #Conflicts: 154000 | #Constraints: 182840
35.66/35.90 c #Conflicts: 155000 | #Constraints: 183840
35.66/35.90 c #Conflicts: 156000 | #Constraints: 184840
35.66/35.90 c #Conflicts: 157000 | #Constraints: 185840
35.66/35.90 c #Conflicts: 158000 | #Constraints: 186840
35.66/35.90 c #Conflicts: 159000 | #Constraints: 187840
35.66/35.90 c #Conflicts: 160000 | #Constraints: 188840
35.66/35.90 c #Conflicts: 161000 | #Constraints: 189840
35.66/35.90 c #Conflicts: 162000 | #Constraints: 190840
35.66/35.90 c #Conflicts: 163000 | #Constraints: 191840
35.66/35.90 c #Conflicts: 164000 | #Constraints: 192840
35.66/35.90 c #Conflicts: 165000 | #Constraints: 193840
35.66/35.90 c #Conflicts: 166000 | #Constraints: 194840
35.66/35.90 c #Conflicts: 167000 | #Constraints: 195840
35.66/35.90 c #Conflicts: 168000 | #Constraints: 196840
35.66/35.90 c INPROCESSING
35.66/35.90 c GARBAGE COLLECT
35.66/35.90 c #Conflicts: 169000 | #Constraints: 177740
35.66/35.90 c #Conflicts: 170000 | #Constraints: 178740
35.66/35.90 c #Conflicts: 171000 | #Constraints: 179740
35.66/35.90 c #Conflicts: 172000 | #Constraints: 180740
35.66/35.90 c #Conflicts: 173000 | #Constraints: 181740
35.66/35.90 c #Conflicts: 174000 | #Constraints: 182740
35.66/35.90 c #Conflicts: 175000 | #Constraints: 183740
35.66/35.90 c #Conflicts: 176000 | #Constraints: 184740
35.66/35.90 c #Conflicts: 177000 | #Constraints: 185740
35.66/35.90 c #Conflicts: 178000 | #Constraints: 186740
35.66/35.90 c INPROCESSING
35.66/35.90 c GARBAGE COLLECT
35.66/35.90 c #Conflicts: 179000 | #Constraints: 172443
35.66/35.90 c #Conflicts: 180000 | #Constraints: 173443
35.66/35.90 c #Conflicts: 181000 | #Constraints: 174443
35.66/35.90 c #Conflicts: 182000 | #Constraints: 175443
35.66/35.90 c #Conflicts: 183000 | #Constraints: 176443
35.66/35.90 c #Conflicts: 184000 | #Constraints: 177443
35.66/35.90 c #Conflicts: 185000 | #Constraints: 178443
35.66/35.90 c #Conflicts: 186000 | #Constraints: 179443
35.66/35.90 c #Conflicts: 187000 | #Constraints: 180443
35.66/35.90 c #Conflicts: 188000 | #Constraints: 181443
35.66/35.90 c #Conflicts: 189000 | #Constraints: 182443
35.66/35.90 c #Conflicts: 190000 | #Constraints: 183443
35.66/35.90 c #Conflicts: 191000 | #Constraints: 184443
35.66/35.90 c #Conflicts: 192000 | #Constraints: 185443
35.66/35.90 c #Conflicts: 193000 | #Constraints: 186443
35.66/35.90 c #Conflicts: 194000 | #Constraints: 187443
35.66/35.90 c #Conflicts: 195000 | #Constraints: 188443
35.66/35.90 c #Conflicts: 196000 | #Constraints: 189443
35.66/35.90 c #Conflicts: 197000 | #Constraints: 190443
35.66/35.90 c #Conflicts: 198000 | #Constraints: 191443
35.66/35.90 c #Conflicts: 199000 | #Constraints: 192443
35.66/35.90 c #Conflicts: 200000 | #Constraints: 193443
35.66/35.90 c #Conflicts: 201000 | #Constraints: 194443
35.66/35.90 c #Conflicts: 202000 | #Constraints: 195443
35.66/35.90 c #Conflicts: 203000 | #Constraints: 196443
35.66/35.90 c #Conflicts: 204000 | #Constraints: 197443
35.66/35.90 c #Conflicts: 205000 | #Constraints: 198443
35.66/35.90 c #Conflicts: 206000 | #Constraints: 199443
35.66/35.90 c #Conflicts: 207000 | #Constraints: 200443
35.66/35.90 c #Conflicts: 208000 | #Constraints: 201443
41.96/42.16 c #Conflicts: 209000 | #Constraints: 202443
41.96/42.16 c INPROCESSING
41.96/42.16 c GARBAGE COLLECT
41.96/42.16 c #Conflicts: 210000 | #Constraints: 180600
41.96/42.16 c #Conflicts: 211000 | #Constraints: 181600
41.96/42.16 c #Conflicts: 212000 | #Constraints: 182600
41.96/42.16 c #Conflicts: 213000 | #Constraints: 183600
41.96/42.16 c #Conflicts: 214000 | #Constraints: 184600
41.96/42.16 c #Conflicts: 215000 | #Constraints: 185600
41.96/42.16 c #Conflicts: 216000 | #Constraints: 186600
41.96/42.16 c #Conflicts: 217000 | #Constraints: 187600
41.96/42.16 c #Conflicts: 218000 | #Constraints: 188600
41.96/42.16 c #Conflicts: 219000 | #Constraints: 189600
41.96/42.16 c #Conflicts: 220000 | #Constraints: 190600
41.96/42.16 c INPROCESSING
41.96/42.16 c GARBAGE COLLECT
41.96/42.16 c #Conflicts: 221000 | #Constraints: 174331
41.96/42.16 c #Conflicts: 222000 | #Constraints: 175331
41.96/42.16 c #Conflicts: 223000 | #Constraints: 176331
41.96/42.16 c #Conflicts: 224000 | #Constraints: 177331
41.96/42.16 c #Conflicts: 225000 | #Constraints: 178331
41.96/42.16 c #Conflicts: 226000 | #Constraints: 179331
41.96/42.16 c #Conflicts: 227000 | #Constraints: 180331
41.96/42.16 c #Conflicts: 228000 | #Constraints: 181331
41.96/42.16 c #Conflicts: 229000 | #Constraints: 182331
41.96/42.16 c #Conflicts: 230000 | #Constraints: 183331
41.96/42.16 c #Conflicts: 231000 | #Constraints: 184331
41.96/42.16 c #Conflicts: 232000 | #Constraints: 185331
41.96/42.16 c #Conflicts: 233000 | #Constraints: 186331
41.96/42.16 c #Conflicts: 234000 | #Constraints: 187331
41.96/42.16 c #Conflicts: 235000 | #Constraints: 188331
41.96/42.16 c #Conflicts: 236000 | #Constraints: 189331
41.96/42.16 c #Conflicts: 237000 | #Constraints: 190331
41.96/42.16 c #Conflicts: 238000 | #Constraints: 191331
41.96/42.16 c #Conflicts: 239000 | #Constraints: 192331
41.96/42.16 c #Conflicts: 240000 | #Constraints: 193331
41.96/42.16 c #Conflicts: 241000 | #Constraints: 194331
41.96/42.16 c #Conflicts: 242000 | #Constraints: 195331
41.96/42.16 c #Conflicts: 243000 | #Constraints: 196331
41.96/42.16 c #Conflicts: 244000 | #Constraints: 197331
41.96/42.16 c #Conflicts: 245000 | #Constraints: 198331
41.96/42.16 c #Conflicts: 246000 | #Constraints: 199331
41.96/42.16 c #Conflicts: 247000 | #Constraints: 200331
41.96/42.16 c #Conflicts: 248000 | #Constraints: 201331
41.96/42.16 c #Conflicts: 249000 | #Constraints: 202331
41.96/42.16 c #Conflicts: 250000 | #Constraints: 203331
41.96/42.16 c #Conflicts: 251000 | #Constraints: 204331
41.96/42.16 c #Conflicts: 252000 | #Constraints: 205331
41.96/42.16 c #Conflicts: 253000 | #Constraints: 206331
41.96/42.16 c #Conflicts: 254000 | #Constraints: 207331
41.96/42.16 c INPROCESSING
41.96/42.16 c GARBAGE COLLECT
41.96/42.16 c rational objective 319
44.14/44.30 c #Conflicts: 255000 | #Constraints: 182560
44.14/44.30 c #Conflicts: 256000 | #Constraints: 183560
44.14/44.30 c #Conflicts: 257000 | #Constraints: 184560
44.14/44.30 c #Conflicts: 258000 | #Constraints: 185560
44.14/44.30 c #Conflicts: 259000 | #Constraints: 186560
44.14/44.30 c #Conflicts: 260000 | #Constraints: 187560
44.14/44.30 c #Conflicts: 261000 | #Constraints: 188560
44.14/44.30 c #Conflicts: 262000 | #Constraints: 189560
44.14/44.30 c #Conflicts: 263000 | #Constraints: 190560
44.14/44.30 c #Conflicts: 264000 | #Constraints: 191560
44.14/44.30 c #Conflicts: 265000 | #Constraints: 192560
44.14/44.30 c #Conflicts: 266000 | #Constraints: 193560
44.14/44.30 c #Conflicts: 267000 | #Constraints: 194560
44.14/44.30 c INPROCESSING
44.14/44.30 c GARBAGE COLLECT
44.14/44.30 c rational objective 319
54.20/54.44 c #Conflicts: 268000 | #Constraints: 176528
54.20/54.44 c #Conflicts: 269000 | #Constraints: 177528
54.20/54.44 c #Conflicts: 270000 | #Constraints: 178528
54.20/54.44 c #Conflicts: 271000 | #Constraints: 179528
54.20/54.44 c #Conflicts: 272000 | #Constraints: 180528
54.20/54.44 c #Conflicts: 273000 | #Constraints: 181528
54.20/54.44 c #Conflicts: 274000 | #Constraints: 182528
54.20/54.44 c #Conflicts: 275000 | #Constraints: 183528
54.20/54.44 c #Conflicts: 276000 | #Constraints: 184528
54.20/54.44 c #Conflicts: 277000 | #Constraints: 185528
54.20/54.44 c #Conflicts: 278000 | #Constraints: 186528
54.20/54.44 c #Conflicts: 279000 | #Constraints: 187528
54.20/54.44 c #Conflicts: 280000 | #Constraints: 188528
54.20/54.44 c #Conflicts: 281000 | #Constraints: 189528
54.20/54.44 c #Conflicts: 282000 | #Constraints: 190528
54.20/54.44 c #Conflicts: 283000 | #Constraints: 191528
54.20/54.44 c #Conflicts: 284000 | #Constraints: 192528
54.20/54.44 c #Conflicts: 285000 | #Constraints: 193528
54.20/54.44 c #Conflicts: 286000 | #Constraints: 194528
54.20/54.44 c #Conflicts: 287000 | #Constraints: 195528
54.20/54.44 c #Conflicts: 288000 | #Constraints: 196528
54.20/54.44 c #Conflicts: 289000 | #Constraints: 197528
54.20/54.44 c #Conflicts: 290000 | #Constraints: 198528
54.20/54.44 c #Conflicts: 291000 | #Constraints: 199528
54.20/54.44 c #Conflicts: 292000 | #Constraints: 200528
54.20/54.44 c #Conflicts: 293000 | #Constraints: 201528
54.20/54.44 c #Conflicts: 294000 | #Constraints: 202528
54.20/54.44 c #Conflicts: 295000 | #Constraints: 203528
54.20/54.44 c #Conflicts: 296000 | #Constraints: 204528
54.20/54.44 c #Conflicts: 297000 | #Constraints: 205528
54.20/54.44 c #Conflicts: 298000 | #Constraints: 206528
54.20/54.44 c #Conflicts: 299000 | #Constraints: 207528
54.20/54.44 c #Conflicts: 300000 | #Constraints: 208528
54.20/54.44 c #Conflicts: 301000 | #Constraints: 209528
54.20/54.44 c #Conflicts: 302000 | #Constraints: 210528
54.20/54.44 c #Conflicts: 303000 | #Constraints: 211528
54.20/54.44 c #Conflicts: 304000 | #Constraints: 212528
54.20/54.44 c INPROCESSING
54.20/54.44 c GARBAGE COLLECT
54.20/54.44 c rational objective 319
63.48/63.75 c #Conflicts: 305000 | #Constraints: 185650
63.48/63.75 c #Conflicts: 306000 | #Constraints: 186650
63.48/63.75 c #Conflicts: 307000 | #Constraints: 187650
63.48/63.75 c #Conflicts: 308000 | #Constraints: 188650
63.48/63.75 c #Conflicts: 309000 | #Constraints: 189650
63.48/63.75 c #Conflicts: 310000 | #Constraints: 190650
63.48/63.75 c #Conflicts: 311000 | #Constraints: 191650
63.48/63.75 c #Conflicts: 312000 | #Constraints: 192650
63.48/63.75 c #Conflicts: 313000 | #Constraints: 193650
63.48/63.75 c #Conflicts: 314000 | #Constraints: 194650
63.48/63.75 c #Conflicts: 315000 | #Constraints: 195650
63.48/63.75 c #Conflicts: 316000 | #Constraints: 196650
63.48/63.75 c #Conflicts: 317000 | #Constraints: 197650
63.48/63.75 c #Conflicts: 318000 | #Constraints: 198650
63.48/63.75 c INPROCESSING
63.48/63.75 c GARBAGE COLLECT
63.48/63.75 c #Conflicts: 319000 | #Constraints: 178410
63.48/63.75 c #Conflicts: 320000 | #Constraints: 179410
63.48/63.75 c #Conflicts: 321000 | #Constraints: 180410
63.48/63.75 c #Conflicts: 322000 | #Constraints: 181410
63.48/63.75 c #Conflicts: 323000 | #Constraints: 182410
63.48/63.75 c #Conflicts: 324000 | #Constraints: 183410
63.48/63.75 c #Conflicts: 325000 | #Constraints: 184410
63.48/63.75 c #Conflicts: 326000 | #Constraints: 185410
63.48/63.75 c #Conflicts: 327000 | #Constraints: 186410
63.48/63.75 c #Conflicts: 328000 | #Constraints: 187410
63.48/63.75 c #Conflicts: 329000 | #Constraints: 188410
63.48/63.75 c #Conflicts: 330000 | #Constraints: 189410
63.48/63.75 c #Conflicts: 331000 | #Constraints: 190410
63.48/63.75 c #Conflicts: 332000 | #Constraints: 191410
63.48/63.75 c #Conflicts: 333000 | #Constraints: 192410
63.48/63.75 c #Conflicts: 334000 | #Constraints: 193410
63.48/63.75 c #Conflicts: 335000 | #Constraints: 194410
63.48/63.75 c #Conflicts: 336000 | #Constraints: 195410
63.48/63.75 c #Conflicts: 337000 | #Constraints: 196410
63.48/63.75 c #Conflicts: 338000 | #Constraints: 197410
63.48/63.75 c #Conflicts: 339000 | #Constraints: 198410
63.48/63.75 c #Conflicts: 340000 | #Constraints: 199410
63.48/63.75 c #Conflicts: 341000 | #Constraints: 200410
63.48/63.75 c #Conflicts: 342000 | #Constraints: 201410
63.48/63.75 c #Conflicts: 343000 | #Constraints: 202410
63.48/63.75 c #Conflicts: 344000 | #Constraints: 203410
63.48/63.75 c #Conflicts: 345000 | #Constraints: 204410
63.48/63.75 c #Conflicts: 346000 | #Constraints: 205410
63.48/63.75 c #Conflicts: 347000 | #Constraints: 206410
63.48/63.75 c #Conflicts: 348000 | #Constraints: 207410
63.48/63.75 c #Conflicts: 349000 | #Constraints: 208410
63.48/63.75 c #Conflicts: 350000 | #Constraints: 209410
63.48/63.75 c #Conflicts: 351000 | #Constraints: 210410
63.48/63.75 c #Conflicts: 352000 | #Constraints: 211410
63.48/63.75 c #Conflicts: 353000 | #Constraints: 212410
63.48/63.75 c #Conflicts: 354000 | #Constraints: 213410
63.48/63.75 c #Conflicts: 355000 | #Constraints: 214410
63.48/63.75 c #Conflicts: 356000 | #Constraints: 215410
63.48/63.75 c #Conflicts: 357000 | #Constraints: 216410
63.48/63.75 c #Conflicts: 358000 | #Constraints: 217410
63.48/63.75 c INPROCESSING
63.48/63.75 c GARBAGE COLLECT
63.48/63.75 c #Conflicts: 359000 | #Constraints: 188015
63.48/63.75 c #Conflicts: 360000 | #Constraints: 189015
63.48/63.75 c #Conflicts: 361000 | #Constraints: 190015
63.48/63.75 c #Conflicts: 362000 | #Constraints: 191015
63.48/63.75 c #Conflicts: 363000 | #Constraints: 192015
63.48/63.75 c #Conflicts: 364000 | #Constraints: 193015
63.48/63.75 c #Conflicts: 365000 | #Constraints: 194015
63.48/63.75 c #Conflicts: 366000 | #Constraints: 195015
63.48/63.75 c #Conflicts: 367000 | #Constraints: 196015
63.48/63.75 c #Conflicts: 368000 | #Constraints: 197015
63.48/63.75 c #Conflicts: 369000 | #Constraints: 198015
63.48/63.75 c #Conflicts: 370000 | #Constraints: 199015
63.48/63.75 c #Conflicts: 371000 | #Constraints: 200015
63.48/63.75 c #Conflicts: 372000 | #Constraints: 201015
63.48/63.75 c #Conflicts: 373000 | #Constraints: 202015
63.48/63.75 c #Conflicts: 374000 | #Constraints: 203015
63.48/63.75 c INPROCESSING
63.48/63.75 c GARBAGE COLLECT
63.48/63.75 c #Conflicts: 375000 | #Constraints: 180810
63.48/63.75 c #Conflicts: 376000 | #Constraints: 181810
63.48/63.75 c #Conflicts: 377000 | #Constraints: 182810
63.48/63.75 c #Conflicts: 378000 | #Constraints: 183810
63.48/63.75 c #Conflicts: 379000 | #Constraints: 184810
63.48/63.75 c #Conflicts: 380000 | #Constraints: 185810
63.48/63.75 c #Conflicts: 381000 | #Constraints: 186810
76.75/77.10 c #Conflicts: 382000 | #Constraints: 187810
76.75/77.10 c #Conflicts: 383000 | #Constraints: 188810
76.75/77.10 c #Conflicts: 384000 | #Constraints: 189810
76.75/77.10 c #Conflicts: 385000 | #Constraints: 190810
76.75/77.10 c #Conflicts: 386000 | #Constraints: 191810
76.75/77.10 c #Conflicts: 387000 | #Constraints: 192810
76.75/77.10 c #Conflicts: 388000 | #Constraints: 193810
76.75/77.10 c #Conflicts: 389000 | #Constraints: 194810
76.75/77.10 c #Conflicts: 390000 | #Constraints: 195810
76.75/77.10 c #Conflicts: 391000 | #Constraints: 196810
76.75/77.10 c #Conflicts: 392000 | #Constraints: 197810
76.75/77.10 c #Conflicts: 393000 | #Constraints: 198810
76.75/77.10 c #Conflicts: 394000 | #Constraints: 199810
76.75/77.10 c #Conflicts: 395000 | #Constraints: 200810
76.75/77.10 c #Conflicts: 396000 | #Constraints: 201810
76.75/77.10 c #Conflicts: 397000 | #Constraints: 202810
76.75/77.10 c #Conflicts: 398000 | #Constraints: 203810
76.75/77.10 c #Conflicts: 399000 | #Constraints: 204810
76.75/77.10 c #Conflicts: 400000 | #Constraints: 205810
76.75/77.10 c #Conflicts: 401000 | #Constraints: 206810
76.75/77.10 c #Conflicts: 402000 | #Constraints: 207810
76.75/77.10 c #Conflicts: 403000 | #Constraints: 208810
76.75/77.10 c #Conflicts: 404000 | #Constraints: 209810
76.75/77.10 c #Conflicts: 405000 | #Constraints: 210810
76.75/77.10 c #Conflicts: 406000 | #Constraints: 211810
76.75/77.10 c #Conflicts: 407000 | #Constraints: 212810
76.75/77.10 c #Conflicts: 408000 | #Constraints: 213810
76.75/77.10 c #Conflicts: 409000 | #Constraints: 214810
76.75/77.10 c #Conflicts: 410000 | #Constraints: 215810
76.75/77.10 c #Conflicts: 411000 | #Constraints: 216810
76.75/77.10 c #Conflicts: 412000 | #Constraints: 217810
76.75/77.10 c #Conflicts: 413000 | #Constraints: 218810
76.75/77.10 c #Conflicts: 414000 | #Constraints: 219810
76.75/77.10 c #Conflicts: 415000 | #Constraints: 220810
76.75/77.10 c #Conflicts: 416000 | #Constraints: 221810
76.75/77.10 c #Conflicts: 417000 | #Constraints: 222810
76.75/77.10 c INPROCESSING
76.75/77.10 c GARBAGE COLLECT
76.75/77.10 c rational objective 319
89.89/90.23 c #Conflicts: 418000 | #Constraints: 190941
89.89/90.23 c #Conflicts: 419000 | #Constraints: 191941
89.89/90.23 c #Conflicts: 420000 | #Constraints: 192941
89.89/90.23 c #Conflicts: 421000 | #Constraints: 193941
89.89/90.23 c #Conflicts: 422000 | #Constraints: 194941
89.89/90.23 c #Conflicts: 423000 | #Constraints: 195941
89.89/90.23 c #Conflicts: 424000 | #Constraints: 196941
89.89/90.23 c #Conflicts: 425000 | #Constraints: 197941
89.89/90.23 c #Conflicts: 426000 | #Constraints: 198941
89.89/90.23 c #Conflicts: 427000 | #Constraints: 199941
89.89/90.23 c #Conflicts: 428000 | #Constraints: 200941
89.89/90.23 c #Conflicts: 429000 | #Constraints: 201941
89.89/90.23 c #Conflicts: 430000 | #Constraints: 202941
89.89/90.23 c #Conflicts: 431000 | #Constraints: 203941
89.89/90.23 c #Conflicts: 432000 | #Constraints: 204941
89.89/90.23 c #Conflicts: 433000 | #Constraints: 205941
89.89/90.23 c #Conflicts: 434000 | #Constraints: 206941
89.89/90.23 c INPROCESSING
89.89/90.23 c GARBAGE COLLECT
89.89/90.23 c #Conflicts: 435000 | #Constraints: 183025
89.89/90.23 c #Conflicts: 436000 | #Constraints: 184025
89.89/90.23 c #Conflicts: 437000 | #Constraints: 185025
89.89/90.23 c #Conflicts: 438000 | #Constraints: 186025
89.89/90.23 c #Conflicts: 439000 | #Constraints: 187025
89.89/90.23 c #Conflicts: 440000 | #Constraints: 188025
89.89/90.23 c #Conflicts: 441000 | #Constraints: 189025
89.89/90.23 c #Conflicts: 442000 | #Constraints: 190025
89.89/90.23 c #Conflicts: 443000 | #Constraints: 191025
89.89/90.23 c #Conflicts: 444000 | #Constraints: 192025
89.89/90.23 c #Conflicts: 445000 | #Constraints: 193025
89.89/90.23 c #Conflicts: 446000 | #Constraints: 194025
89.89/90.23 c #Conflicts: 447000 | #Constraints: 195025
89.89/90.23 c #Conflicts: 448000 | #Constraints: 196025
89.89/90.23 c #Conflicts: 449000 | #Constraints: 197025
89.89/90.23 c #Conflicts: 450000 | #Constraints: 198025
89.89/90.23 c #Conflicts: 451000 | #Constraints: 199025
89.89/90.23 c #Conflicts: 452000 | #Constraints: 200025
89.89/90.23 c #Conflicts: 453000 | #Constraints: 201025
89.89/90.23 c #Conflicts: 454000 | #Constraints: 202025
89.89/90.23 c #Conflicts: 455000 | #Constraints: 203025
89.89/90.23 c #Conflicts: 456000 | #Constraints: 204025
89.89/90.23 c #Conflicts: 457000 | #Constraints: 205025
89.89/90.23 c #Conflicts: 458000 | #Constraints: 206025
89.89/90.23 c #Conflicts: 459000 | #Constraints: 207025
89.89/90.23 c #Conflicts: 460000 | #Constraints: 208025
89.89/90.23 c #Conflicts: 461000 | #Constraints: 209025
89.89/90.23 c #Conflicts: 462000 | #Constraints: 210025
89.89/90.23 c #Conflicts: 463000 | #Constraints: 211025
89.89/90.23 c #Conflicts: 464000 | #Constraints: 212025
89.89/90.23 c #Conflicts: 465000 | #Constraints: 213025
89.89/90.23 c #Conflicts: 466000 | #Constraints: 214025
89.89/90.23 c #Conflicts: 467000 | #Constraints: 215025
89.89/90.23 c #Conflicts: 468000 | #Constraints: 216025
89.89/90.23 c #Conflicts: 469000 | #Constraints: 217025
89.89/90.23 c #Conflicts: 470000 | #Constraints: 218025
89.89/90.23 c #Conflicts: 471000 | #Constraints: 219025
89.89/90.23 c #Conflicts: 472000 | #Constraints: 220025
89.89/90.23 c #Conflicts: 473000 | #Constraints: 221025
89.89/90.23 c #Conflicts: 474000 | #Constraints: 222025
89.89/90.23 c #Conflicts: 475000 | #Constraints: 223025
89.89/90.23 c #Conflicts: 476000 | #Constraints: 224025
89.89/90.23 c #Conflicts: 477000 | #Constraints: 225025
89.89/90.23 c #Conflicts: 478000 | #Constraints: 226025
89.89/90.23 c #Conflicts: 479000 | #Constraints: 227025
89.89/90.23 c #Conflicts: 480000 | #Constraints: 228025
89.89/90.23 c INPROCESSING
89.89/90.23 c GARBAGE COLLECT
89.89/90.23 c #Conflicts: 481000 | #Constraints: 193561
89.89/90.23 c #Conflicts: 482000 | #Constraints: 194561
89.89/90.23 c #Conflicts: 483000 | #Constraints: 195561
89.89/90.23 c #Conflicts: 484000 | #Constraints: 196561
89.89/90.23 c #Conflicts: 485000 | #Constraints: 197561
89.89/90.23 c #Conflicts: 486000 | #Constraints: 198561
89.89/90.23 c #Conflicts: 487000 | #Constraints: 199561
89.89/90.23 c #Conflicts: 488000 | #Constraints: 200561
89.89/90.23 c #Conflicts: 489000 | #Constraints: 201561
89.89/90.23 c #Conflicts: 490000 | #Constraints: 202561
89.89/90.23 c #Conflicts: 491000 | #Constraints: 203561
89.89/90.23 c #Conflicts: 492000 | #Constraints: 204561
89.89/90.23 c #Conflicts: 493000 | #Constraints: 205561
89.89/90.23 c #Conflicts: 494000 | #Constraints: 206561
89.89/90.23 c #Conflicts: 495000 | #Constraints: 207561
113.81/114.21 c #Conflicts: 496000 | #Constraints: 208561
113.81/114.21 c #Conflicts: 497000 | #Constraints: 209561
113.81/114.21 c #Conflicts: 498000 | #Constraints: 210561
113.81/114.21 c INPROCESSING
113.81/114.21 c GARBAGE COLLECT
113.81/114.21 c #Conflicts: 499000 | #Constraints: 184709
113.81/114.21 c #Conflicts: 500000 | #Constraints: 185709
113.81/114.21 c #Conflicts: 501000 | #Constraints: 186709
113.81/114.21 c #Conflicts: 502000 | #Constraints: 187709
113.81/114.21 c #Conflicts: 503000 | #Constraints: 188709
113.81/114.21 c #Conflicts: 504000 | #Constraints: 189709
113.81/114.21 c #Conflicts: 505000 | #Constraints: 190709
113.81/114.21 c #Conflicts: 506000 | #Constraints: 191709
113.81/114.21 c #Conflicts: 507000 | #Constraints: 192709
113.81/114.21 c #Conflicts: 508000 | #Constraints: 193709
113.81/114.21 c #Conflicts: 509000 | #Constraints: 194709
113.81/114.21 c #Conflicts: 510000 | #Constraints: 195709
113.81/114.21 c #Conflicts: 511000 | #Constraints: 196709
113.81/114.21 c #Conflicts: 512000 | #Constraints: 197709
113.81/114.21 c #Conflicts: 513000 | #Constraints: 198709
113.81/114.21 c #Conflicts: 514000 | #Constraints: 199709
113.81/114.21 c #Conflicts: 515000 | #Constraints: 200709
113.81/114.21 c #Conflicts: 516000 | #Constraints: 201709
113.81/114.21 c #Conflicts: 517000 | #Constraints: 202709
113.81/114.21 c #Conflicts: 518000 | #Constraints: 203709
113.81/114.21 c #Conflicts: 519000 | #Constraints: 204709
113.81/114.21 c #Conflicts: 520000 | #Constraints: 205709
113.81/114.21 c #Conflicts: 521000 | #Constraints: 206709
113.81/114.21 c #Conflicts: 522000 | #Constraints: 207709
113.81/114.21 c #Conflicts: 523000 | #Constraints: 208709
113.81/114.21 c #Conflicts: 524000 | #Constraints: 209709
113.81/114.21 c #Conflicts: 525000 | #Constraints: 210709
113.81/114.21 c #Conflicts: 526000 | #Constraints: 211709
113.81/114.21 c #Conflicts: 527000 | #Constraints: 212709
113.81/114.21 c #Conflicts: 528000 | #Constraints: 213709
113.81/114.21 c #Conflicts: 529000 | #Constraints: 214709
113.81/114.21 c #Conflicts: 530000 | #Constraints: 215709
113.81/114.21 c #Conflicts: 531000 | #Constraints: 216709
113.81/114.21 c #Conflicts: 532000 | #Constraints: 217709
113.81/114.21 c #Conflicts: 533000 | #Constraints: 218709
113.81/114.21 c #Conflicts: 534000 | #Constraints: 219709
113.81/114.21 c #Conflicts: 535000 | #Constraints: 220709
113.81/114.21 c #Conflicts: 536000 | #Constraints: 221709
113.81/114.21 c #Conflicts: 537000 | #Constraints: 222709
113.81/114.21 c #Conflicts: 538000 | #Constraints: 223709
113.81/114.21 c #Conflicts: 539000 | #Constraints: 224709
113.81/114.21 c #Conflicts: 540000 | #Constraints: 225709
113.81/114.21 c #Conflicts: 541000 | #Constraints: 226709
113.81/114.21 c #Conflicts: 542000 | #Constraints: 227709
113.81/114.21 c #Conflicts: 543000 | #Constraints: 228709
113.81/114.21 c #Conflicts: 544000 | #Constraints: 229709
113.81/114.21 c #Conflicts: 545000 | #Constraints: 230709
113.81/114.21 c #Conflicts: 546000 | #Constraints: 231709
113.81/114.21 c #Conflicts: 547000 | #Constraints: 232709
113.81/114.21 c INPROCESSING
113.81/114.21 c GARBAGE COLLECT
113.81/114.21 c #Conflicts: 548000 | #Constraints: 195781
113.81/114.21 c #Conflicts: 549000 | #Constraints: 196781
113.81/114.21 c #Conflicts: 550000 | #Constraints: 197781
113.81/114.21 c #Conflicts: 551000 | #Constraints: 198781
113.81/114.21 c #Conflicts: 552000 | #Constraints: 199781
113.81/114.21 c #Conflicts: 553000 | #Constraints: 200781
113.81/114.21 c #Conflicts: 554000 | #Constraints: 201781
113.81/114.21 c #Conflicts: 555000 | #Constraints: 202781
113.81/114.21 c #Conflicts: 556000 | #Constraints: 203781
113.81/114.21 c #Conflicts: 557000 | #Constraints: 204781
113.81/114.21 c #Conflicts: 558000 | #Constraints: 205781
113.81/114.21 c #Conflicts: 559000 | #Constraints: 206781
113.81/114.21 c #Conflicts: 560000 | #Constraints: 207781
113.81/114.21 c #Conflicts: 561000 | #Constraints: 208781
113.81/114.21 c #Conflicts: 562000 | #Constraints: 209781
113.81/114.21 c #Conflicts: 563000 | #Constraints: 210781
113.81/114.21 c #Conflicts: 564000 | #Constraints: 211781
113.81/114.21 c #Conflicts: 565000 | #Constraints: 212781
113.81/114.21 c #Conflicts: 566000 | #Constraints: 213781
113.81/114.21 c #Conflicts: 567000 | #Constraints: 214781
113.81/114.21 c INPROCESSING
113.81/114.21 c GARBAGE COLLECT
113.81/114.21 c #Conflicts: 568000 | #Constraints: 186971
113.81/114.21 c #Conflicts: 569000 | #Constraints: 187971
113.81/114.21 c #Conflicts: 570000 | #Constraints: 188971
113.81/114.21 c #Conflicts: 571000 | #Constraints: 189971
113.81/114.21 c #Conflicts: 572000 | #Constraints: 190971
126.18/126.64 c #Conflicts: 573000 | #Constraints: 191971
126.18/126.64 c #Conflicts: 574000 | #Constraints: 192971
126.18/126.64 c #Conflicts: 575000 | #Constraints: 193971
126.18/126.64 c #Conflicts: 576000 | #Constraints: 194971
126.18/126.64 c #Conflicts: 577000 | #Constraints: 195971
126.18/126.64 c #Conflicts: 578000 | #Constraints: 196971
126.18/126.64 c #Conflicts: 579000 | #Constraints: 197971
126.18/126.64 c #Conflicts: 580000 | #Constraints: 198971
126.18/126.64 c #Conflicts: 581000 | #Constraints: 199971
126.18/126.64 c #Conflicts: 582000 | #Constraints: 200971
126.18/126.64 c #Conflicts: 583000 | #Constraints: 201971
126.18/126.64 c #Conflicts: 584000 | #Constraints: 202971
126.18/126.64 c #Conflicts: 585000 | #Constraints: 203971
126.18/126.64 c #Conflicts: 586000 | #Constraints: 204971
126.18/126.64 c #Conflicts: 587000 | #Constraints: 205971
126.18/126.64 c #Conflicts: 588000 | #Constraints: 206971
126.18/126.64 c #Conflicts: 589000 | #Constraints: 207971
126.18/126.64 c #Conflicts: 590000 | #Constraints: 208971
126.18/126.64 c #Conflicts: 591000 | #Constraints: 209971
126.18/126.64 c #Conflicts: 592000 | #Constraints: 210971
126.18/126.64 c #Conflicts: 593000 | #Constraints: 211971
126.18/126.64 c #Conflicts: 594000 | #Constraints: 212971
126.18/126.64 c #Conflicts: 595000 | #Constraints: 213971
126.18/126.64 c #Conflicts: 596000 | #Constraints: 214971
126.18/126.64 c #Conflicts: 597000 | #Constraints: 215971
126.18/126.64 c #Conflicts: 598000 | #Constraints: 216971
126.18/126.64 c #Conflicts: 599000 | #Constraints: 217971
126.18/126.64 c #Conflicts: 600000 | #Constraints: 218971
126.18/126.64 c #Conflicts: 601000 | #Constraints: 219971
126.18/126.64 c #Conflicts: 602000 | #Constraints: 220971
126.18/126.64 c #Conflicts: 603000 | #Constraints: 221971
126.18/126.64 c #Conflicts: 604000 | #Constraints: 222971
126.18/126.64 c #Conflicts: 605000 | #Constraints: 223971
126.18/126.64 c #Conflicts: 606000 | #Constraints: 224971
126.18/126.64 c #Conflicts: 607000 | #Constraints: 225971
126.18/126.64 c #Conflicts: 608000 | #Constraints: 226971
126.18/126.64 c #Conflicts: 609000 | #Constraints: 227971
126.18/126.64 c #Conflicts: 610000 | #Constraints: 228971
126.18/126.64 c #Conflicts: 611000 | #Constraints: 229971
126.18/126.64 c #Conflicts: 612000 | #Constraints: 230971
126.18/126.64 c #Conflicts: 613000 | #Constraints: 231971
126.18/126.64 c #Conflicts: 614000 | #Constraints: 232971
126.18/126.64 c #Conflicts: 615000 | #Constraints: 233971
126.18/126.64 c #Conflicts: 616000 | #Constraints: 234971
126.18/126.64 c #Conflicts: 617000 | #Constraints: 235971
126.18/126.64 c #Conflicts: 618000 | #Constraints: 236971
126.18/126.64 c #Conflicts: 619000 | #Constraints: 237971
126.18/126.64 c INPROCESSING
126.18/126.64 c GARBAGE COLLECT
126.18/126.64 c #Conflicts: 620000 | #Constraints: 198443
126.18/126.64 c #Conflicts: 621000 | #Constraints: 199443
126.18/126.64 c #Conflicts: 622000 | #Constraints: 200443
126.18/126.64 c #Conflicts: 623000 | #Constraints: 201443
126.18/126.64 c #Conflicts: 624000 | #Constraints: 202443
126.18/126.64 c #Conflicts: 625000 | #Constraints: 203443
126.18/126.64 c #Conflicts: 626000 | #Constraints: 204443
126.18/126.64 c #Conflicts: 627000 | #Constraints: 205443
126.18/126.64 c #Conflicts: 628000 | #Constraints: 206443
126.18/126.64 c #Conflicts: 629000 | #Constraints: 207443
126.18/126.64 c #Conflicts: 630000 | #Constraints: 208443
126.18/126.64 c #Conflicts: 631000 | #Constraints: 209443
126.18/126.64 c #Conflicts: 632000 | #Constraints: 210443
126.18/126.64 c #Conflicts: 633000 | #Constraints: 211443
126.18/126.64 c #Conflicts: 634000 | #Constraints: 212443
126.18/126.64 c #Conflicts: 635000 | #Constraints: 213443
126.18/126.64 c #Conflicts: 636000 | #Constraints: 214443
126.18/126.64 c #Conflicts: 637000 | #Constraints: 215443
126.18/126.64 c #Conflicts: 638000 | #Constraints: 216443
126.18/126.64 c #Conflicts: 639000 | #Constraints: 217443
126.18/126.64 c #Conflicts: 640000 | #Constraints: 218443
126.18/126.64 c INPROCESSING
126.18/126.64 c GARBAGE COLLECT
126.18/126.64 c #Conflicts: 641000 | #Constraints: 188723
126.18/126.64 c #Conflicts: 642000 | #Constraints: 189723
126.18/126.64 c #Conflicts: 643000 | #Constraints: 190723
126.18/126.64 c #Conflicts: 644000 | #Constraints: 191723
126.18/126.64 c #Conflicts: 645000 | #Constraints: 192723
126.18/126.64 c #Conflicts: 646000 | #Constraints: 193723
126.18/126.64 c #Conflicts: 647000 | #Constraints: 194723
126.18/126.64 c #Conflicts: 648000 | #Constraints: 195723
126.18/126.64 c #Conflicts: 649000 | #Constraints: 196723
146.21/146.73 c #Conflicts: 650000 | #Constraints: 197723
146.21/146.73 c #Conflicts: 651000 | #Constraints: 198723
146.21/146.73 c #Conflicts: 652000 | #Constraints: 199723
146.21/146.73 c #Conflicts: 653000 | #Constraints: 200723
146.21/146.73 c #Conflicts: 654000 | #Constraints: 201723
146.21/146.73 c #Conflicts: 655000 | #Constraints: 202723
146.21/146.73 c #Conflicts: 656000 | #Constraints: 203723
146.21/146.73 c #Conflicts: 657000 | #Constraints: 204723
146.21/146.73 c #Conflicts: 658000 | #Constraints: 205723
146.21/146.73 c #Conflicts: 659000 | #Constraints: 206723
146.21/146.73 c #Conflicts: 660000 | #Constraints: 207723
146.21/146.73 c #Conflicts: 661000 | #Constraints: 208723
146.21/146.73 c #Conflicts: 662000 | #Constraints: 209723
146.21/146.73 c #Conflicts: 663000 | #Constraints: 210723
146.21/146.73 c #Conflicts: 664000 | #Constraints: 211723
146.21/146.73 c #Conflicts: 665000 | #Constraints: 212723
146.21/146.73 c #Conflicts: 666000 | #Constraints: 213723
146.21/146.73 c #Conflicts: 667000 | #Constraints: 214723
146.21/146.73 c #Conflicts: 668000 | #Constraints: 215723
146.21/146.73 c #Conflicts: 669000 | #Constraints: 216723
146.21/146.73 c #Conflicts: 670000 | #Constraints: 217723
146.21/146.73 c #Conflicts: 671000 | #Constraints: 218723
146.21/146.73 c #Conflicts: 672000 | #Constraints: 219723
146.21/146.73 c #Conflicts: 673000 | #Constraints: 220723
146.21/146.73 c #Conflicts: 674000 | #Constraints: 221723
146.21/146.73 c #Conflicts: 675000 | #Constraints: 222723
146.21/146.73 c #Conflicts: 676000 | #Constraints: 223723
146.21/146.73 c #Conflicts: 677000 | #Constraints: 224723
146.21/146.73 c #Conflicts: 678000 | #Constraints: 225723
146.21/146.73 c #Conflicts: 679000 | #Constraints: 226723
146.21/146.73 c #Conflicts: 680000 | #Constraints: 227723
146.21/146.73 c #Conflicts: 681000 | #Constraints: 228723
146.21/146.73 c #Conflicts: 682000 | #Constraints: 229723
146.21/146.73 c #Conflicts: 683000 | #Constraints: 230723
146.21/146.73 c #Conflicts: 684000 | #Constraints: 231723
146.21/146.73 c #Conflicts: 685000 | #Constraints: 232723
146.21/146.73 c #Conflicts: 686000 | #Constraints: 233723
146.21/146.73 c #Conflicts: 687000 | #Constraints: 234723
146.21/146.73 c #Conflicts: 688000 | #Constraints: 235723
146.21/146.73 c #Conflicts: 689000 | #Constraints: 236723
146.21/146.73 c #Conflicts: 690000 | #Constraints: 237723
146.21/146.73 c #Conflicts: 691000 | #Constraints: 238723
146.21/146.73 c #Conflicts: 692000 | #Constraints: 239723
146.21/146.73 c #Conflicts: 693000 | #Constraints: 240723
146.21/146.73 c #Conflicts: 694000 | #Constraints: 241723
146.21/146.73 c #Conflicts: 695000 | #Constraints: 242723
146.21/146.73 c INPROCESSING
146.21/146.73 c GARBAGE COLLECT
146.21/146.73 c rational objective 319
160.27/160.88 c #Conflicts: 696000 | #Constraints: 200781
160.27/160.88 c #Conflicts: 697000 | #Constraints: 201781
160.27/160.88 c #Conflicts: 698000 | #Constraints: 202781
160.27/160.88 c #Conflicts: 699000 | #Constraints: 203781
160.27/160.88 c #Conflicts: 700000 | #Constraints: 204781
160.27/160.88 c #Conflicts: 701000 | #Constraints: 205781
160.27/160.88 c #Conflicts: 702000 | #Constraints: 206781
160.27/160.88 c #Conflicts: 703000 | #Constraints: 207781
160.27/160.88 c #Conflicts: 704000 | #Constraints: 208781
160.27/160.88 c #Conflicts: 705000 | #Constraints: 209781
160.27/160.88 c #Conflicts: 706000 | #Constraints: 210781
160.27/160.88 c #Conflicts: 707000 | #Constraints: 211781
160.27/160.88 c #Conflicts: 708000 | #Constraints: 212781
160.27/160.88 c #Conflicts: 709000 | #Constraints: 213781
160.27/160.88 c #Conflicts: 710000 | #Constraints: 214781
160.27/160.88 c #Conflicts: 711000 | #Constraints: 215781
160.27/160.88 c #Conflicts: 712000 | #Constraints: 216781
160.27/160.88 c #Conflicts: 713000 | #Constraints: 217781
160.27/160.88 c #Conflicts: 714000 | #Constraints: 218781
160.27/160.88 c #Conflicts: 715000 | #Constraints: 219781
160.27/160.88 c #Conflicts: 716000 | #Constraints: 220781
160.27/160.88 c #Conflicts: 717000 | #Constraints: 221781
160.27/160.88 c INPROCESSING
160.27/160.88 c GARBAGE COLLECT
160.27/160.88 c #Conflicts: 718000 | #Constraints: 190146
160.27/160.88 c #Conflicts: 719000 | #Constraints: 191146
160.27/160.88 c #Conflicts: 720000 | #Constraints: 192146
160.27/160.88 c #Conflicts: 721000 | #Constraints: 193146
160.27/160.88 c #Conflicts: 722000 | #Constraints: 194146
160.27/160.88 c #Conflicts: 723000 | #Constraints: 195146
160.27/160.88 c #Conflicts: 724000 | #Constraints: 196146
160.27/160.88 c #Conflicts: 725000 | #Constraints: 197146
160.27/160.88 c #Conflicts: 726000 | #Constraints: 198146
160.27/160.88 c #Conflicts: 727000 | #Constraints: 199146
160.27/160.88 c #Conflicts: 728000 | #Constraints: 200146
160.27/160.88 c #Conflicts: 729000 | #Constraints: 201146
160.27/160.88 c #Conflicts: 730000 | #Constraints: 202146
160.27/160.88 c #Conflicts: 731000 | #Constraints: 203146
160.27/160.88 c #Conflicts: 732000 | #Constraints: 204146
160.27/160.88 c #Conflicts: 733000 | #Constraints: 205146
160.27/160.88 c #Conflicts: 734000 | #Constraints: 206146
160.27/160.88 c #Conflicts: 735000 | #Constraints: 207146
160.27/160.88 c #Conflicts: 736000 | #Constraints: 208146
160.27/160.88 c #Conflicts: 737000 | #Constraints: 209146
160.27/160.88 c #Conflicts: 738000 | #Constraints: 210146
160.27/160.88 c #Conflicts: 739000 | #Constraints: 211146
160.27/160.88 c #Conflicts: 740000 | #Constraints: 212146
160.27/160.88 c #Conflicts: 741000 | #Constraints: 213146
160.27/160.88 c #Conflicts: 742000 | #Constraints: 214146
160.27/160.88 c #Conflicts: 743000 | #Constraints: 215146
160.27/160.88 c #Conflicts: 744000 | #Constraints: 216146
160.27/160.88 c #Conflicts: 745000 | #Constraints: 217146
160.27/160.88 c #Conflicts: 746000 | #Constraints: 218146
160.27/160.88 c #Conflicts: 747000 | #Constraints: 219146
160.27/160.88 c #Conflicts: 748000 | #Constraints: 220146
160.27/160.88 c #Conflicts: 749000 | #Constraints: 221146
160.27/160.88 c #Conflicts: 750000 | #Constraints: 222146
160.27/160.88 c #Conflicts: 751000 | #Constraints: 223146
160.27/160.88 c #Conflicts: 752000 | #Constraints: 224146
160.27/160.88 c #Conflicts: 753000 | #Constraints: 225146
160.27/160.88 c #Conflicts: 754000 | #Constraints: 226146
160.27/160.88 c #Conflicts: 755000 | #Constraints: 227146
160.27/160.88 c #Conflicts: 756000 | #Constraints: 228146
160.27/160.88 c #Conflicts: 757000 | #Constraints: 229146
160.27/160.88 c #Conflicts: 758000 | #Constraints: 230146
160.27/160.88 c #Conflicts: 759000 | #Constraints: 231146
160.27/160.88 c #Conflicts: 760000 | #Constraints: 232146
160.27/160.88 c #Conflicts: 761000 | #Constraints: 233146
160.27/160.88 c #Conflicts: 762000 | #Constraints: 234146
160.27/160.88 c #Conflicts: 763000 | #Constraints: 235146
160.27/160.88 c #Conflicts: 764000 | #Constraints: 236146
160.27/160.88 c #Conflicts: 765000 | #Constraints: 237146
160.27/160.88 c #Conflicts: 766000 | #Constraints: 238146
160.27/160.88 c #Conflicts: 767000 | #Constraints: 239146
160.27/160.88 c #Conflicts: 768000 | #Constraints: 240146
160.27/160.88 c #Conflicts: 769000 | #Constraints: 241146
160.27/160.88 c #Conflicts: 770000 | #Constraints: 242146
160.27/160.88 c #Conflicts: 771000 | #Constraints: 243146
160.27/160.88 c #Conflicts: 772000 | #Constraints: 244146
160.27/160.88 c #Conflicts: 773000 | #Constraints: 245146
160.27/160.88 c #Conflicts: 774000 | #Constraints: 246146
170.24/170.82 c #Conflicts: 775000 | #Constraints: 247146
170.24/170.82 c #Conflicts: 776000 | #Constraints: 248146
170.24/170.82 c INPROCESSING
170.24/170.82 c GARBAGE COLLECT
170.24/170.82 c #Conflicts: 777000 | #Constraints: 203631
170.24/170.82 c #Conflicts: 778000 | #Constraints: 204631
170.24/170.82 c #Conflicts: 779000 | #Constraints: 205631
170.24/170.82 c #Conflicts: 780000 | #Constraints: 206631
170.24/170.82 c #Conflicts: 781000 | #Constraints: 207631
170.24/170.82 c #Conflicts: 782000 | #Constraints: 208631
170.24/170.82 c #Conflicts: 783000 | #Constraints: 209631
170.24/170.82 c #Conflicts: 784000 | #Constraints: 210631
170.24/170.82 c #Conflicts: 785000 | #Constraints: 211631
170.24/170.82 c #Conflicts: 786000 | #Constraints: 212631
170.24/170.82 c #Conflicts: 787000 | #Constraints: 213631
170.24/170.82 c #Conflicts: 788000 | #Constraints: 214631
170.24/170.82 c #Conflicts: 789000 | #Constraints: 215631
170.24/170.82 c #Conflicts: 790000 | #Constraints: 216631
170.24/170.82 c #Conflicts: 791000 | #Constraints: 217631
170.24/170.82 c #Conflicts: 792000 | #Constraints: 218631
170.24/170.82 c #Conflicts: 793000 | #Constraints: 219631
170.24/170.82 c #Conflicts: 794000 | #Constraints: 220631
170.24/170.82 c #Conflicts: 795000 | #Constraints: 221631
170.24/170.82 c #Conflicts: 796000 | #Constraints: 222631
170.24/170.82 c #Conflicts: 797000 | #Constraints: 223631
170.24/170.82 c #Conflicts: 798000 | #Constraints: 224631
170.24/170.82 c #Conflicts: 799000 | #Constraints: 225631
170.24/170.82 c INPROCESSING
170.24/170.82 c GARBAGE COLLECT
170.24/170.82 c rational objective 319.05
185.30/185.96 c #Conflicts: 800000 | #Constraints: 192193
185.30/185.96 c #Conflicts: 801000 | #Constraints: 193193
185.30/185.96 c #Conflicts: 802000 | #Constraints: 194193
185.30/185.96 c #Conflicts: 803000 | #Constraints: 195193
185.30/185.96 c #Conflicts: 804000 | #Constraints: 196193
185.30/185.96 c #Conflicts: 805000 | #Constraints: 197193
185.30/185.96 c #Conflicts: 806000 | #Constraints: 198193
185.30/185.96 c #Conflicts: 807000 | #Constraints: 199193
185.30/185.96 c #Conflicts: 808000 | #Constraints: 200193
185.30/185.96 c #Conflicts: 809000 | #Constraints: 201193
185.30/185.96 c #Conflicts: 810000 | #Constraints: 202193
185.30/185.96 c #Conflicts: 811000 | #Constraints: 203193
185.30/185.96 c #Conflicts: 812000 | #Constraints: 204193
185.30/185.96 c #Conflicts: 813000 | #Constraints: 205193
185.30/185.96 c #Conflicts: 814000 | #Constraints: 206193
185.30/185.96 c #Conflicts: 815000 | #Constraints: 207193
185.30/185.96 c #Conflicts: 816000 | #Constraints: 208193
185.30/185.96 c #Conflicts: 817000 | #Constraints: 209193
185.30/185.96 c #Conflicts: 818000 | #Constraints: 210193
185.30/185.96 c #Conflicts: 819000 | #Constraints: 211193
185.30/185.96 c #Conflicts: 820000 | #Constraints: 212193
185.30/185.96 c #Conflicts: 821000 | #Constraints: 213193
185.30/185.96 c #Conflicts: 822000 | #Constraints: 214193
185.30/185.96 c #Conflicts: 823000 | #Constraints: 215193
185.30/185.96 c #Conflicts: 824000 | #Constraints: 216193
185.30/185.96 c #Conflicts: 825000 | #Constraints: 217193
185.30/185.96 c #Conflicts: 826000 | #Constraints: 218193
185.30/185.96 c #Conflicts: 827000 | #Constraints: 219193
185.30/185.96 c #Conflicts: 828000 | #Constraints: 220193
185.30/185.96 c #Conflicts: 829000 | #Constraints: 221193
185.30/185.96 c #Conflicts: 830000 | #Constraints: 222193
185.30/185.96 c #Conflicts: 831000 | #Constraints: 223193
185.30/185.96 c #Conflicts: 832000 | #Constraints: 224193
185.30/185.96 c #Conflicts: 833000 | #Constraints: 225193
185.30/185.96 c #Conflicts: 834000 | #Constraints: 226193
185.30/185.96 c #Conflicts: 835000 | #Constraints: 227193
185.30/185.96 c #Conflicts: 836000 | #Constraints: 228193
185.30/185.96 c #Conflicts: 837000 | #Constraints: 229193
185.30/185.96 c #Conflicts: 838000 | #Constraints: 230193
185.30/185.96 c #Conflicts: 839000 | #Constraints: 231193
185.30/185.96 c #Conflicts: 840000 | #Constraints: 232193
185.30/185.96 c #Conflicts: 841000 | #Constraints: 233193
185.30/185.96 c #Conflicts: 842000 | #Constraints: 234193
185.30/185.96 c #Conflicts: 843000 | #Constraints: 235193
185.30/185.96 c #Conflicts: 844000 | #Constraints: 236193
185.30/185.96 c #Conflicts: 845000 | #Constraints: 237193
185.30/185.96 c #Conflicts: 846000 | #Constraints: 238193
185.30/185.96 c #Conflicts: 847000 | #Constraints: 239193
185.30/185.96 c #Conflicts: 848000 | #Constraints: 240193
185.30/185.96 c #Conflicts: 849000 | #Constraints: 241193
185.30/185.96 c #Conflicts: 850000 | #Constraints: 242193
185.30/185.96 c #Conflicts: 851000 | #Constraints: 243193
185.30/185.96 c #Conflicts: 852000 | #Constraints: 244193
185.30/185.96 c #Conflicts: 853000 | #Constraints: 245193
185.30/185.96 c #Conflicts: 854000 | #Constraints: 246193
185.30/185.96 c #Conflicts: 855000 | #Constraints: 247193
185.30/185.96 c #Conflicts: 856000 | #Constraints: 248193
185.30/185.96 c #Conflicts: 857000 | #Constraints: 249193
185.30/185.96 c #Conflicts: 858000 | #Constraints: 250193
185.30/185.96 c #Conflicts: 859000 | #Constraints: 251193
185.30/185.96 c #Conflicts: 860000 | #Constraints: 252193
185.30/185.96 c #Conflicts: 861000 | #Constraints: 253193
185.30/185.96 c INPROCESSING
185.30/185.96 c GARBAGE COLLECT
185.30/185.96 c #Conflicts: 862000 | #Constraints: 206203
185.30/185.96 c #Conflicts: 863000 | #Constraints: 207203
185.30/185.96 c #Conflicts: 864000 | #Constraints: 208203
185.30/185.96 c #Conflicts: 865000 | #Constraints: 209203
185.30/185.96 c #Conflicts: 866000 | #Constraints: 210203
185.30/185.96 c #Conflicts: 867000 | #Constraints: 211203
185.30/185.96 c #Conflicts: 868000 | #Constraints: 212203
185.30/185.96 c #Conflicts: 869000 | #Constraints: 213203
185.30/185.96 c #Conflicts: 870000 | #Constraints: 214203
185.30/185.96 c #Conflicts: 871000 | #Constraints: 215203
185.30/185.96 c #Conflicts: 872000 | #Constraints: 216203
185.30/185.96 c #Conflicts: 873000 | #Constraints: 217203
185.30/185.96 c #Conflicts: 874000 | #Constraints: 218203
185.30/185.96 c #Conflicts: 875000 | #Constraints: 219203
185.30/185.96 c #Conflicts: 876000 | #Constraints: 220203
185.30/185.96 c #Conflicts: 877000 | #Constraints: 221203
185.30/185.96 c #Conflicts: 878000 | #Constraints: 222203
204.74/205.41 c #Conflicts: 879000 | #Constraints: 223203
204.74/205.41 c #Conflicts: 880000 | #Constraints: 224203
204.74/205.41 c #Conflicts: 881000 | #Constraints: 225203
204.74/205.41 c #Conflicts: 882000 | #Constraints: 226203
204.74/205.41 c #Conflicts: 883000 | #Constraints: 227203
204.74/205.41 c #Conflicts: 884000 | #Constraints: 228203
204.74/205.41 c #Conflicts: 885000 | #Constraints: 229203
204.74/205.41 c INPROCESSING
204.74/205.41 c GARBAGE COLLECT
204.74/205.41 c #Conflicts: 886000 | #Constraints: 193865
204.74/205.41 c #Conflicts: 887000 | #Constraints: 194865
204.74/205.41 c #Conflicts: 888000 | #Constraints: 195865
204.74/205.41 c #Conflicts: 889000 | #Constraints: 196865
204.74/205.41 c #Conflicts: 890000 | #Constraints: 197865
204.74/205.41 c #Conflicts: 891000 | #Constraints: 198865
204.74/205.41 c #Conflicts: 892000 | #Constraints: 199865
204.74/205.41 c #Conflicts: 893000 | #Constraints: 200865
204.74/205.41 c #Conflicts: 894000 | #Constraints: 201865
204.74/205.41 c #Conflicts: 895000 | #Constraints: 202865
204.74/205.41 c #Conflicts: 896000 | #Constraints: 203865
204.74/205.41 c #Conflicts: 897000 | #Constraints: 204865
204.74/205.41 c #Conflicts: 898000 | #Constraints: 205865
204.74/205.41 c #Conflicts: 899000 | #Constraints: 206865
204.74/205.41 c #Conflicts: 900000 | #Constraints: 207865
204.74/205.41 c #Conflicts: 901000 | #Constraints: 208865
204.74/205.41 c #Conflicts: 902000 | #Constraints: 209865
204.74/205.41 c #Conflicts: 903000 | #Constraints: 210865
204.74/205.41 c #Conflicts: 904000 | #Constraints: 211865
204.74/205.41 c #Conflicts: 905000 | #Constraints: 212865
204.74/205.41 c #Conflicts: 906000 | #Constraints: 213865
204.74/205.41 c #Conflicts: 907000 | #Constraints: 214865
204.74/205.41 c #Conflicts: 908000 | #Constraints: 215865
204.74/205.41 c #Conflicts: 909000 | #Constraints: 216865
204.74/205.41 c #Conflicts: 910000 | #Constraints: 217865
204.74/205.41 c #Conflicts: 911000 | #Constraints: 218865
204.74/205.41 c #Conflicts: 912000 | #Constraints: 219865
204.74/205.41 c #Conflicts: 913000 | #Constraints: 220865
204.74/205.41 c #Conflicts: 914000 | #Constraints: 221865
204.74/205.41 c #Conflicts: 915000 | #Constraints: 222865
204.74/205.41 c #Conflicts: 916000 | #Constraints: 223865
204.74/205.41 c #Conflicts: 917000 | #Constraints: 224865
204.74/205.41 c #Conflicts: 918000 | #Constraints: 225865
204.74/205.41 c #Conflicts: 919000 | #Constraints: 226865
204.74/205.41 c #Conflicts: 920000 | #Constraints: 227865
204.74/205.41 c #Conflicts: 921000 | #Constraints: 228865
204.74/205.41 c #Conflicts: 922000 | #Constraints: 229865
204.74/205.41 c #Conflicts: 923000 | #Constraints: 230865
204.74/205.41 c #Conflicts: 924000 | #Constraints: 231865
204.74/205.41 c #Conflicts: 925000 | #Constraints: 232865
204.74/205.41 c #Conflicts: 926000 | #Constraints: 233865
204.74/205.41 c #Conflicts: 927000 | #Constraints: 234865
204.74/205.41 c #Conflicts: 928000 | #Constraints: 235865
204.74/205.41 c #Conflicts: 929000 | #Constraints: 236865
204.74/205.41 c #Conflicts: 930000 | #Constraints: 237865
204.74/205.41 c #Conflicts: 931000 | #Constraints: 238865
204.74/205.41 c #Conflicts: 932000 | #Constraints: 239865
204.74/205.41 c #Conflicts: 933000 | #Constraints: 240865
204.74/205.41 c #Conflicts: 934000 | #Constraints: 241865
204.74/205.41 c #Conflicts: 935000 | #Constraints: 242865
204.74/205.41 c #Conflicts: 936000 | #Constraints: 243865
204.74/205.41 c #Conflicts: 937000 | #Constraints: 244865
204.74/205.41 c #Conflicts: 938000 | #Constraints: 245865
204.74/205.41 c #Conflicts: 939000 | #Constraints: 246865
204.74/205.41 c #Conflicts: 940000 | #Constraints: 247865
204.74/205.41 c #Conflicts: 941000 | #Constraints: 248865
204.74/205.41 c #Conflicts: 942000 | #Constraints: 249865
204.74/205.41 c #Conflicts: 943000 | #Constraints: 250865
204.74/205.41 c #Conflicts: 944000 | #Constraints: 251865
204.74/205.41 c #Conflicts: 945000 | #Constraints: 252865
204.74/205.41 c #Conflicts: 946000 | #Constraints: 253865
204.74/205.41 c #Conflicts: 947000 | #Constraints: 254865
204.74/205.41 c #Conflicts: 948000 | #Constraints: 255865
204.74/205.41 c #Conflicts: 949000 | #Constraints: 256865
204.74/205.41 c #Conflicts: 950000 | #Constraints: 257865
204.74/205.41 c INPROCESSING
204.74/205.41 c GARBAGE COLLECT
204.74/205.41 c rational objective 319.375
221.10/221.84 c #Conflicts: 951000 | #Constraints: 208332
221.10/221.84 c #Conflicts: 952000 | #Constraints: 209332
221.10/221.84 c #Conflicts: 953000 | #Constraints: 210332
221.10/221.84 c #Conflicts: 954000 | #Constraints: 211332
221.10/221.84 c #Conflicts: 955000 | #Constraints: 212332
221.10/221.84 c #Conflicts: 956000 | #Constraints: 213332
221.10/221.84 c #Conflicts: 957000 | #Constraints: 214332
221.10/221.84 c #Conflicts: 958000 | #Constraints: 215332
221.10/221.84 c #Conflicts: 959000 | #Constraints: 216332
221.10/221.84 c #Conflicts: 960000 | #Constraints: 217332
221.10/221.84 c #Conflicts: 961000 | #Constraints: 218332
221.10/221.84 c #Conflicts: 962000 | #Constraints: 219332
221.10/221.84 c #Conflicts: 963000 | #Constraints: 220332
221.10/221.84 c #Conflicts: 964000 | #Constraints: 221332
221.10/221.84 c #Conflicts: 965000 | #Constraints: 222332
221.10/221.84 c #Conflicts: 966000 | #Constraints: 223332
221.10/221.84 c #Conflicts: 967000 | #Constraints: 224332
221.10/221.84 c #Conflicts: 968000 | #Constraints: 225332
221.10/221.84 c #Conflicts: 969000 | #Constraints: 226332
221.10/221.84 c #Conflicts: 970000 | #Constraints: 227332
221.10/221.84 c #Conflicts: 971000 | #Constraints: 228332
221.10/221.84 c #Conflicts: 972000 | #Constraints: 229332
221.10/221.84 c #Conflicts: 973000 | #Constraints: 230332
221.10/221.84 c #Conflicts: 974000 | #Constraints: 231332
221.10/221.84 c #Conflicts: 975000 | #Constraints: 232332
221.10/221.84 c #Conflicts: 976000 | #Constraints: 233332
221.10/221.84 c INPROCESSING
221.10/221.84 c GARBAGE COLLECT
221.10/221.84 c rational objective 319.769
238.46/239.27 c #Conflicts: 977000 | #Constraints: 195969
238.46/239.27 c #Conflicts: 978000 | #Constraints: 196969
238.46/239.27 c #Conflicts: 979000 | #Constraints: 197969
238.46/239.27 c #Conflicts: 980000 | #Constraints: 198969
238.46/239.27 c #Conflicts: 981000 | #Constraints: 199969
238.46/239.27 c #Conflicts: 982000 | #Constraints: 200969
238.46/239.27 c #Conflicts: 983000 | #Constraints: 201969
238.46/239.27 c #Conflicts: 984000 | #Constraints: 202969
238.46/239.27 c #Conflicts: 985000 | #Constraints: 203969
238.46/239.27 c #Conflicts: 986000 | #Constraints: 204969
238.46/239.27 c #Conflicts: 987000 | #Constraints: 205969
238.46/239.27 c #Conflicts: 988000 | #Constraints: 206969
238.46/239.27 c #Conflicts: 989000 | #Constraints: 207969
238.46/239.27 c #Conflicts: 990000 | #Constraints: 208969
238.46/239.27 c #Conflicts: 991000 | #Constraints: 209969
238.46/239.27 c #Conflicts: 992000 | #Constraints: 210969
238.46/239.27 c #Conflicts: 993000 | #Constraints: 211969
238.46/239.27 c #Conflicts: 994000 | #Constraints: 212969
238.46/239.27 c #Conflicts: 995000 | #Constraints: 213969
238.46/239.27 c #Conflicts: 996000 | #Constraints: 214969
238.46/239.27 c #Conflicts: 997000 | #Constraints: 215969
238.46/239.27 c #Conflicts: 998000 | #Constraints: 216969
238.46/239.27 c #Conflicts: 999000 | #Constraints: 217969
238.46/239.27 c #Conflicts: 1000000 | #Constraints: 218969
238.46/239.27 c #Conflicts: 1001000 | #Constraints: 219969
238.46/239.27 c #Conflicts: 1002000 | #Constraints: 220969
238.46/239.27 c #Conflicts: 1003000 | #Constraints: 221969
238.46/239.27 c #Conflicts: 1004000 | #Constraints: 222969
238.46/239.27 c #Conflicts: 1005000 | #Constraints: 223969
238.46/239.27 c #Conflicts: 1006000 | #Constraints: 224969
238.46/239.27 c #Conflicts: 1007000 | #Constraints: 225969
238.46/239.27 c #Conflicts: 1008000 | #Constraints: 226969
238.46/239.27 c #Conflicts: 1009000 | #Constraints: 227969
238.46/239.27 c #Conflicts: 1010000 | #Constraints: 228969
238.46/239.27 c #Conflicts: 1011000 | #Constraints: 229969
238.46/239.27 c #Conflicts: 1012000 | #Constraints: 230969
238.46/239.27 c #Conflicts: 1013000 | #Constraints: 231969
238.46/239.27 c #Conflicts: 1014000 | #Constraints: 232969
238.46/239.27 c #Conflicts: 1015000 | #Constraints: 233969
238.46/239.27 c #Conflicts: 1016000 | #Constraints: 234969
238.46/239.27 c #Conflicts: 1017000 | #Constraints: 235969
238.46/239.27 c #Conflicts: 1018000 | #Constraints: 236969
238.46/239.27 c #Conflicts: 1019000 | #Constraints: 237969
238.46/239.27 c #Conflicts: 1020000 | #Constraints: 238969
238.46/239.27 c #Conflicts: 1021000 | #Constraints: 239969
238.46/239.27 c #Conflicts: 1022000 | #Constraints: 240969
238.46/239.27 c #Conflicts: 1023000 | #Constraints: 241969
238.46/239.27 c #Conflicts: 1024000 | #Constraints: 242969
238.46/239.27 c #Conflicts: 1025000 | #Constraints: 243969
238.46/239.27 c #Conflicts: 1026000 | #Constraints: 244969
238.46/239.27 c #Conflicts: 1027000 | #Constraints: 245969
238.46/239.27 c #Conflicts: 1028000 | #Constraints: 246969
238.46/239.27 c #Conflicts: 1029000 | #Constraints: 247969
238.46/239.27 c #Conflicts: 1030000 | #Constraints: 248969
238.46/239.27 c #Conflicts: 1031000 | #Constraints: 249969
238.46/239.27 c #Conflicts: 1032000 | #Constraints: 250969
238.46/239.27 c #Conflicts: 1033000 | #Constraints: 251969
238.46/239.27 c #Conflicts: 1034000 | #Constraints: 252969
238.46/239.27 c #Conflicts: 1035000 | #Constraints: 253969
238.46/239.27 c #Conflicts: 1036000 | #Constraints: 254969
238.46/239.27 c #Conflicts: 1037000 | #Constraints: 255969
238.46/239.27 c #Conflicts: 1038000 | #Constraints: 256969
238.46/239.27 c #Conflicts: 1039000 | #Constraints: 257969
238.46/239.27 c #Conflicts: 1040000 | #Constraints: 258969
238.46/239.27 c #Conflicts: 1041000 | #Constraints: 259969
238.46/239.27 c #Conflicts: 1042000 | #Constraints: 260969
238.46/239.27 c #Conflicts: 1043000 | #Constraints: 261969
238.46/239.27 c #Conflicts: 1044000 | #Constraints: 262969
238.46/239.27 c INPROCESSING
238.46/239.27 c GARBAGE COLLECT
238.46/239.27 c #Conflicts: 1045000 | #Constraints: 210259
238.46/239.27 c #Conflicts: 1046000 | #Constraints: 211259
238.46/239.27 c #Conflicts: 1047000 | #Constraints: 212259
238.46/239.27 c #Conflicts: 1048000 | #Constraints: 213259
238.46/239.27 c #Conflicts: 1049000 | #Constraints: 214259
238.46/239.27 c #Conflicts: 1050000 | #Constraints: 215259
238.46/239.27 c #Conflicts: 1051000 | #Constraints: 216259
238.46/239.27 c #Conflicts: 1052000 | #Constraints: 217259
238.46/239.27 c #Conflicts: 1053000 | #Constraints: 218259
238.46/239.27 c #Conflicts: 1054000 | #Constraints: 219259
238.46/239.27 c #Conflicts: 1055000 | #Constraints: 220259
257.90/258.77 c #Conflicts: 1056000 | #Constraints: 221259
257.90/258.77 c #Conflicts: 1057000 | #Constraints: 222259
257.90/258.77 c #Conflicts: 1058000 | #Constraints: 223259
257.90/258.77 c #Conflicts: 1059000 | #Constraints: 224259
257.90/258.77 c #Conflicts: 1060000 | #Constraints: 225259
257.90/258.77 c #Conflicts: 1061000 | #Constraints: 226259
257.90/258.77 c #Conflicts: 1062000 | #Constraints: 227259
257.90/258.77 c #Conflicts: 1063000 | #Constraints: 228259
257.90/258.77 c #Conflicts: 1064000 | #Constraints: 229259
257.90/258.77 c #Conflicts: 1065000 | #Constraints: 230259
257.90/258.77 c #Conflicts: 1066000 | #Constraints: 231259
257.90/258.77 c #Conflicts: 1067000 | #Constraints: 232259
257.90/258.77 c #Conflicts: 1068000 | #Constraints: 233259
257.90/258.77 c #Conflicts: 1069000 | #Constraints: 234259
257.90/258.77 c #Conflicts: 1070000 | #Constraints: 235259
257.90/258.77 c #Conflicts: 1071000 | #Constraints: 236259
257.90/258.77 c INPROCESSING
257.90/258.77 c GARBAGE COLLECT
257.90/258.77 c #Conflicts: 1072000 | #Constraints: 191940
257.90/258.77 c #Conflicts: 1073000 | #Constraints: 192940
257.90/258.77 c #Conflicts: 1074000 | #Constraints: 193940
257.90/258.77 c #Conflicts: 1075000 | #Constraints: 194940
257.90/258.77 c #Conflicts: 1076000 | #Constraints: 195940
257.90/258.77 c #Conflicts: 1077000 | #Constraints: 196940
257.90/258.77 c #Conflicts: 1078000 | #Constraints: 197940
257.90/258.77 c #Conflicts: 1079000 | #Constraints: 198940
257.90/258.77 c #Conflicts: 1080000 | #Constraints: 199940
257.90/258.77 c #Conflicts: 1081000 | #Constraints: 200940
257.90/258.77 c #Conflicts: 1082000 | #Constraints: 201940
257.90/258.77 c #Conflicts: 1083000 | #Constraints: 202940
257.90/258.77 c #Conflicts: 1084000 | #Constraints: 203940
257.90/258.77 c #Conflicts: 1085000 | #Constraints: 204940
257.90/258.77 c #Conflicts: 1086000 | #Constraints: 205940
257.90/258.77 c #Conflicts: 1087000 | #Constraints: 206940
257.90/258.77 c #Conflicts: 1088000 | #Constraints: 207940
257.90/258.77 c #Conflicts: 1089000 | #Constraints: 208940
257.90/258.77 c #Conflicts: 1090000 | #Constraints: 209940
257.90/258.77 c #Conflicts: 1091000 | #Constraints: 210940
257.90/258.77 c #Conflicts: 1092000 | #Constraints: 211940
257.90/258.77 c #Conflicts: 1093000 | #Constraints: 212940
257.90/258.77 c #Conflicts: 1094000 | #Constraints: 213940
257.90/258.77 c #Conflicts: 1095000 | #Constraints: 214940
257.90/258.77 c #Conflicts: 1096000 | #Constraints: 215940
257.90/258.77 c #Conflicts: 1097000 | #Constraints: 216940
257.90/258.77 c #Conflicts: 1098000 | #Constraints: 217940
257.90/258.77 c #Conflicts: 1099000 | #Constraints: 218940
257.90/258.77 c #Conflicts: 1100000 | #Constraints: 219940
257.90/258.77 c #Conflicts: 1101000 | #Constraints: 220940
257.90/258.77 c #Conflicts: 1102000 | #Constraints: 221940
257.90/258.77 c #Conflicts: 1103000 | #Constraints: 222940
257.90/258.77 c #Conflicts: 1104000 | #Constraints: 223940
257.90/258.77 c #Conflicts: 1105000 | #Constraints: 224940
257.90/258.77 c #Conflicts: 1106000 | #Constraints: 225940
257.90/258.77 c #Conflicts: 1107000 | #Constraints: 226940
257.90/258.77 c #Conflicts: 1108000 | #Constraints: 227940
257.90/258.77 c #Conflicts: 1109000 | #Constraints: 228940
257.90/258.77 c #Conflicts: 1110000 | #Constraints: 229940
257.90/258.77 c #Conflicts: 1111000 | #Constraints: 230940
257.90/258.77 c #Conflicts: 1112000 | #Constraints: 231940
257.90/258.77 c #Conflicts: 1113000 | #Constraints: 232940
257.90/258.77 c #Conflicts: 1114000 | #Constraints: 233940
257.90/258.77 c #Conflicts: 1115000 | #Constraints: 234940
257.90/258.77 c #Conflicts: 1116000 | #Constraints: 235940
257.90/258.77 c #Conflicts: 1117000 | #Constraints: 236940
257.90/258.77 c #Conflicts: 1118000 | #Constraints: 237940
257.90/258.77 c #Conflicts: 1119000 | #Constraints: 238940
257.90/258.77 c #Conflicts: 1120000 | #Constraints: 239940
257.90/258.77 c #Conflicts: 1121000 | #Constraints: 240940
257.90/258.77 c #Conflicts: 1122000 | #Constraints: 241940
257.90/258.77 c #Conflicts: 1123000 | #Constraints: 242940
257.90/258.77 c #Conflicts: 1124000 | #Constraints: 243940
257.90/258.77 c #Conflicts: 1125000 | #Constraints: 244940
257.90/258.77 c #Conflicts: 1126000 | #Constraints: 245940
257.90/258.77 c #Conflicts: 1127000 | #Constraints: 246940
257.90/258.77 c #Conflicts: 1128000 | #Constraints: 247940
257.90/258.77 c #Conflicts: 1129000 | #Constraints: 248940
257.90/258.77 c #Conflicts: 1130000 | #Constraints: 249940
257.90/258.77 c #Conflicts: 1131000 | #Constraints: 250940
257.90/258.77 c #Conflicts: 1132000 | #Constraints: 251940
257.90/258.77 c #Conflicts: 1133000 | #Constraints: 252940
263.38/264.27 c #Conflicts: 1134000 | #Constraints: 253940
263.38/264.27 c #Conflicts: 1135000 | #Constraints: 254940
263.38/264.27 c #Conflicts: 1136000 | #Constraints: 255940
263.38/264.27 c #Conflicts: 1137000 | #Constraints: 256940
263.38/264.27 c #Conflicts: 1138000 | #Constraints: 257940
263.38/264.27 c #Conflicts: 1139000 | #Constraints: 258940
263.38/264.27 c #Conflicts: 1140000 | #Constraints: 259940
263.38/264.27 c #Conflicts: 1141000 | #Constraints: 260940
263.38/264.27 c #Conflicts: 1142000 | #Constraints: 261940
263.38/264.27 c INPROCESSING
263.38/264.27 c GARBAGE COLLECT
263.38/264.27 c rational objective 355.907
266.97/267.81 c #Conflicts: 1143000 | #Constraints: 209638
266.97/267.81 c #Conflicts: 1144000 | #Constraints: 210638
266.97/267.81 c #Conflicts: 1145000 | #Constraints: 211638
266.97/267.81 c #Conflicts: 1146000 | #Constraints: 212638
266.97/267.81 c #Conflicts: 1147000 | #Constraints: 213638
266.97/267.81 c #Conflicts: 1148000 | #Constraints: 214638
266.97/267.81 c #Conflicts: 1149000 | #Constraints: 215638
266.97/267.81 c #Conflicts: 1150000 | #Constraints: 216638
266.97/267.81 c #Conflicts: 1151000 | #Constraints: 217638
266.97/267.81 c #Conflicts: 1152000 | #Constraints: 218638
266.97/267.81 c #Conflicts: 1153000 | #Constraints: 219638
266.97/267.81 c cpu time 261.2 s
266.97/267.81 c deterministic time 6122667461 6.12e+09
266.97/267.81 c optimization time 7.7e-05 s
266.97/267.81 c total solve time 260.15 s
266.97/267.81 c core-guided solve time 0 s
266.97/267.81 c propagation time 117.338 s
266.97/267.81 c conflict analysis time 61.9651 s
266.97/267.81 c propagations 326404735
266.97/267.81 c resolve steps 22614488
266.97/267.81 c decisions 3395532
266.97/267.81 c conflicts 1153957
266.97/267.81 c restarts 2140
266.97/267.81 c inprocessing phases 48
266.97/267.81 c garbage collections 37 ,( 77.08 )
266.97/267.81 c input clauses 139854 ,( 89.59 )
266.97/267.81 c input cardinalities 564 ,( 0.36 )
266.97/267.81 c input general constraints 15694 ,( 10.05 )
266.97/267.81 c input average constraint length 3.90
266.97/267.81 c input average constraint degree 1.12
266.97/267.81 c learned clauses 1153513 ,( 99.96 )
266.97/267.81 c learned cardinalities 271 ,( 0.02 )
266.97/267.81 c learned general constraints 196 ,( 0.02 )
266.97/267.81 c learned average constraint length 93.68
266.97/267.81 c learned average constraint degree 6700.36
266.97/267.81 c watched CF 32, 64, 128, Arb: 51 , 0 , 0 , 0
266.97/267.81 c counting CF 32, 64, 128, Arb: 15839 , 0 , 0 , 0
266.97/267.81 c watched constraints 51 ,( 0.32 )
266.97/267.81 c counting constraints 15839 ,( 99.68 )
266.97/267.81 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1211202369 , 1299276 , 19745744 ,( 9819 , 19735925 )
266.97/267.81 c gcd simplifications 1605
266.97/267.81 c detected cardinalities 23
266.97/267.81 c weakened non-implied lits 551132
266.97/267.81 c weakened non-implying lits 2436
266.97/267.81 c original variables 7351
266.97/267.81 c clausal propagations 321510714
266.97/267.81 c cardinality propagations 764392
266.97/267.81 c watched propagations 301
266.97/267.81 c counting propagations 2972986
266.97/267.81 c watch lookups 1530980563
266.97/267.81 c watch backjump lookups 0
266.97/267.81 c watch checks 3235280393
266.97/267.81 c propagation checks 378890813
266.97/267.81 c constraint additions 316523913
266.97/267.81 c trail pops 330952108
266.97/267.81 c formula constraints 156112
266.97/267.81 c learned constraints 1153956
266.97/267.81 c bound constraints 0
266.97/267.81 c core-guided constraints 0
266.97/267.81 c encountered formula constraints 13549220
266.97/267.81 c encountered learned constraints 10217539
266.97/267.81 c encountered bound constraints 0
266.97/267.81 c encountered core-guided constraints 0
266.97/267.81 c LP total time 103.871 s
266.97/267.81 c LP solve time 94.46 s
266.97/267.81 c LP constraints added 156237
266.97/267.81 c LP constraints removed 87
266.97/267.81 c LP pivots internal 122932
266.97/267.81 c LP pivots root 116471
266.97/267.81 c LP calls 41
266.97/267.81 c LP optimalities 36
266.97/267.81 c LP no pivot count 0
266.97/267.81 c LP infeasibilities 0
266.97/267.81 c LP valid Farkas constraints 0
266.97/267.81 c LP learned Farkas constraints 0
266.97/267.81 c LP basis resets 0
266.97/267.81 c LP cycling count 0
266.97/267.81 c LP singular count 0
266.97/267.81 c LP no primal count 0
266.97/267.81 c LP no farkas count 0
266.97/267.81 c LP other issue count 0
266.97/267.81 c LP Gomory cuts 24
266.97/267.81 c LP learned cuts 135
266.97/267.81 c LP deleted cuts 108
266.97/267.81 c LP encountered Gomory constraints 1686
266.97/267.81 c LP encountered Farkas constraints 0
266.97/267.81 c LP encountered learned Farkas constraints 0
266.97/267.81 c CG auxiliary variables introduced 0
266.97/267.81 c CG solutions found 0
266.97/267.81 c CG cores constructed 0
266.97/267.81 c CG core cardinality constraints returned 0
266.97/267.81 c CG unit cores 0
266.97/267.81 c CG single cores 0
266.97/267.81 c CG blocks removed during cardinality reduction 0
266.97/267.81 c CG first core best 0
266.97/267.81 c CG decision core best 0
266.97/267.81 c CG core reduction tie 0
266.97/267.81 c CG core degree average 0.00
266.97/267.81 c CG core slack average 0.00
266.97/267.81 c CG core upper bound improvements 0
266.97/267.81 c STR number of successful calls 0
266.97/267.81 c STR number of unsuccessful calls 0
266.97/267.81 c STR number of inconclusive calls 0
266.97/267.81 c STR number of successful attempts 0
266.97/267.81 c STR number of unsuccessful attempts 0
266.97/267.81 c STR number of inconclusive attempts 0
266.97/267.81 c STR average degree increase per successful call inf
266.97/267.81 c STR average degree increase per successful attempt inf
266.97/267.81 c STR total number of conflicts for successful attempts 0
266.97/267.81 c STR total number of conflicts for unsuccessful attempts 0
266.97/267.81 c STR total number of conflicts for inconclusive attempts 0
266.97/267.81 c STR average number of conflicts per successful attempt inf
266.97/267.81 c STR average number of conflicts per unsuccessful attempt inf
266.97/267.81 c STR average number of conflicts per inconclusive attempt inf
266.97/267.81 c AVG.sumWPerc 60.75
266.97/267.81 c bigint constraints 0
266.97/267.82 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: 63794 MiB (63162 MiB free)
memory of node 1: 64507 MiB (63119 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503420-1751164631/watcher-4503420-1751164631 -o /tmp/evaluation-result-4503420-1751164631/solver-4503420-1751164631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751157406-17441 --watchdog 3760 run-dec.sh HOME/instance-4503420-1751164631.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20027, runsolver pid=20024
[startup+0.100104 s]*
/proc/loadavg: 4.04 4.12 4.15 5/254 20029
/proc/meminfo: memFree=129313320/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=57376 memory=12412 CPUtime=0.09 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 910 0 0 0 7 2 0 0 20 0 1 0 32142031 58753024 3103 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 14344 3103 1888 1147 0 1771 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61568 KiB
Current children cumulated memory: 15484 KiB
[startup+0.213415 s]*
/proc/loadavg: 4.04 4.12 4.15 5/254 20029
/proc/meminfo: memFree=129313320/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=59016 memory=13648 CPUtime=0.2 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 1307 0 0 0 16 4 0 0 20 0 1 0 32142031 60432384 3412 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 14754 3412 1888 1147 0 2181 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63208 KiB
Current children cumulated memory: 16720 KiB
[startup+0.312691 s]*
/proc/loadavg: 4.04 4.12 4.15 5/254 20029
/proc/meminfo: memFree=129308468/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=59548 memory=16432 CPUtime=0.3 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 1505 0 0 0 23 7 0 0 20 0 1 0 32142031 60977152 4108 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 14887 4108 1888 1147 0 2314 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 63740 KiB
Current children cumulated memory: 19504 KiB
[startup+0.700299 s]
/proc/loadavg: 4.04 4.12 4.15 5/254 20029
/proc/meminfo: memFree=129305444/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=65728 memory=20520 CPUtime=0.67 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 2715 0 0 0 51 16 0 0 20 0 1 0 32142031 67305472 5130 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 16432 5130 1888 1147 0 3859 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 69920 KiB
Current children cumulated memory: 23592 KiB
[startup+1.50036 s]
/proc/loadavg: 4.04 4.12 4.15 5/254 20029
/proc/meminfo: memFree=129284468/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=297488 memory=196928 CPUtime=1.46 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 22965 0 0 0 114 32 0 0 20 0 1 0 32142031 304627712 49232 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 74372 49232 2240 1147 0 61799 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 301680 KiB
Current children cumulated memory: 200000 KiB
[startup+3.11273 s]
/proc/loadavg: 4.04 4.12 4.15 5/254 20075
/proc/meminfo: memFree=129107608/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=310184 memory=205452 CPUtime=3.08 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 24514 0 0 0 271 37 0 0 20 0 1 0 32142031 317628416 51363 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 77546 51363 2336 1147 0 64973 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 314376 KiB
Current children cumulated memory: 208524 KiB
[startup+6.30032 s]
/proc/loadavg: 4.04 4.12 4.15 4/251 20089
/proc/meminfo: memFree=129621988/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=310184 memory=206988 CPUtime=6.25 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 24961 0 0 0 578 47 0 0 20 0 1 0 32142031 317628416 51747 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 77546 51747 2336 1147 0 64973 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 314376 KiB
Current children cumulated memory: 210060 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.13 4.16 5/254 20121
/proc/meminfo: memFree=128964600/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=320532 memory=212956 CPUtime=12.64 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 25980 0 0 0 1196 68 0 0 20 0 1 0 32142031 328224768 53239 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 80133 53239 2336 1147 0 67560 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 324724 KiB
Current children cumulated memory: 216028 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.13 4.15 5/254 20121
/proc/meminfo: memFree=128999396/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=326800 memory=223372 CPUtime=25.4 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 27557 0 0 0 2444 96 0 0 20 0 1 0 32142031 334643200 55843 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 81700 55843 2336 1147 0 69127 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 330992 KiB
Current children cumulated memory: 226444 KiB
[startup+51.1128 s]
/proc/loadavg: 4.06 4.12 4.15 5/254 20121
/proc/meminfo: memFree=128988132/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=357880 memory=244648 CPUtime=50.93 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 29329 0 0 0 4916 177 0 0 20 0 1 0 32142031 366469120 61162 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 89470 61162 2336 1147 0 76897 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 362072 KiB
Current children cumulated memory: 247720 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/254 20169
/proc/meminfo: memFree=129004048/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=357880 memory=255340 CPUtime=101.96 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 29430 0 0 0 9901 295 0 0 20 0 1 0 32142031 366469120 63835 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 89470 63835 2336 1147 0 76897 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 362072 KiB
Current children cumulated memory: 258412 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.10 4.14 5/253 20171
/proc/meminfo: memFree=128732428/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=379592 memory=269600 CPUtime=161.77 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 30735 0 0 0 15774 403 0 0 20 0 1 0 32142031 388702208 67400 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 94898 67400 2336 1147 0 82325 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 383784 KiB
Current children cumulated memory: 272672 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.13 5/253 20218
/proc/meminfo: memFree=128650376/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=422768 memory=322116 CPUtime=221.6 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 33437 0 0 0 21659 501 0 0 20 0 1 0 32142031 432914432 80529 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 105692 80529 2336 1147 0 93119 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 426960 KiB
Current children cumulated memory: 325188 KiB
[startup+267.823 s]
# the end of solver process 20027 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=261.208 s, system=5.80407 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.12 4.11 4.14 5/253 20219
/proc/meminfo: memFree=128650880/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=422768 memory=322116 CPUtime=229.68 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 33437 0 0 0 22448 520 0 0 20 0 1 0 32142031 432914432 80529 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 105692 80529 2336 1147 0 93119 0
Current children cumulated CPU time: 229.68 s
Current children cumulated vsize: 426960 KiB
Current children cumulated memory: 325188 KiB
[startup+243.2 s]
/proc/loadavg: 4.10 4.10 4.13 5/253 20219
/proc/meminfo: memFree=128627188/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=455056 memory=335984 CPUtime=242.44 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 34383 0 0 0 23700 544 0 0 20 0 1 0 32142031 465977344 83996 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 113764 83996 2336 1147 0 101191 0
Current children cumulated CPU time: 242.44 s
Current children cumulated vsize: 459248 KiB
Current children cumulated memory: 339056 KiB
[startup+256 s]*
/proc/loadavg: 4.08 4.10 4.13 5/254 20221
/proc/meminfo: memFree=128621580/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=455056 memory=335984 CPUtime=255.22 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 34383 0 0 0 24955 567 0 0 20 0 1 0 32142031 465977344 83996 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 113764 83996 2336 1147 0 101191 0
Current children cumulated CPU time: 255.22 s
Current children cumulated vsize: 459248 KiB
Current children cumulated memory: 339056 KiB
[startup+262.4 s]
/proc/loadavg: 4.07 4.10 4.13 5/254 20221
/proc/meminfo: memFree=128615720/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=455056 memory=335984 CPUtime=261.59 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 34383 0 0 0 25584 575 0 0 20 0 1 0 32142031 465977344 83996 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 113764 83996 2336 1147 0 101191 0
Current children cumulated CPU time: 261.59 s
Current children cumulated vsize: 459248 KiB
Current children cumulated memory: 339056 KiB
[startup+265.6 s]
/proc/loadavg: 4.07 4.09 4.13 5/254 20221
/proc/meminfo: memFree=128615720/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=455056 memory=335984 CPUtime=264.78 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 34383 0 0 0 25901 577 0 0 20 0 1 0 32142031 465977344 83996 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 113764 83996 2336 1147 0 101191 0
Current children cumulated CPU time: 264.78 s
Current children cumulated vsize: 459248 KiB
Current children cumulated memory: 339056 KiB
[startup+267.2 s]
/proc/loadavg: 4.07 4.09 4.13 5/254 20221
/proc/meminfo: memFree=128615972/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=455056 memory=335984 CPUtime=266.37 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 34383 0 0 0 26059 578 0 0 20 0 1 0 32142031 465977344 83996 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 113764 83996 2336 1147 0 101191 0
Current children cumulated CPU time: 266.37 s
Current children cumulated vsize: 459248 KiB
Current children cumulated memory: 339056 KiB
[startup+267.6 s]
/proc/loadavg: 4.07 4.09 4.13 5/254 20221
/proc/meminfo: memFree=128615972/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=455056 memory=335984 CPUtime=266.77 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 34383 0 0 0 26098 579 0 0 20 0 1 0 32142031 465977344 83996 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 113764 83996 2336 1147 0 101191 0
Current children cumulated CPU time: 266.77 s
Current children cumulated vsize: 459248 KiB
Current children cumulated memory: 339056 KiB
[startup+267.8 s]
/proc/loadavg: 4.07 4.09 4.13 5/254 20221
/proc/meminfo: memFree=128615972/131382112 swapFree=33010684/33010684
[pid=20027] ppid=20024 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20027/stat : 20027 (run-dec.sh) S 20024 20027 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32142030 4292608 768 18446744073709551615 93854210678784 93854211573317 140737268032288 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93854211812368 93854211860112 93854216384512 140737268033901 140737268034024 140737268034024 140737268039626 0
/proc/20027/statm: 1048 768 704 219 0 110 0
[pid=20029] ppid=20027 vsize=455056 memory=335984 CPUtime=266.97 cores=0,2
/proc/20029/stat : 20029 (roundingsat) R 20027 20027 17431 0 -1 4194304 34383 0 0 0 26118 579 0 0 20 0 1 0 32142031 465977344 83996 18446744073709551615 4227072 8923433 140727702228192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14295040 140727702231479 140727702231592 140727702231592 140727702237162 0
/proc/20029/statm: 113764 83996 2336 1147 0 101191 0
Current children cumulated CPU time: 266.97 s
Current children cumulated vsize: 459248 KiB
Current children cumulated memory: 339056 KiB
Child status: 0
Real time (s): 267.823
CPU time (s): 267.012
CPU user time (s): 261.208
CPU system time (s): 5.80407
CPU usage (%): 99.697
Max. virtual memory (cumulated for all children) (KiB): 459248
Max. memory (cumulated for all children) (KiB): 339056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 261.208
system time used= 5.80406
maximum resident set size= 335984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34615
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 169
involuntary context switches= 594
# summary of solver processes directly reported to runsolver:
# pid: 20027
# total CPU time (s): 267.012
# total CPU user time (s): 261.208
# total CPU system time (s): 5.80407
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34897 second user time and 2.72508 second system time
The end
Begin job on nodeC001 at 2025-06-29 04:37:11
IDJOB=4503420
IDBENCH=155463
IDSOLVER=3349
FILE ID=nodeC001/4503420-1751164631
RUNJOBID= nodeC001-1751157406-17441
SLURM_JOB_ID= 9587484
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-25.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503420-1751164631/watcher-4503420-1751164631 -o /tmp/evaluation-result-4503420-1751164631/solver-4503420-1751164631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751157406-17441 --watchdog 3760 run-dec.sh HOME/instance-4503420-1751164631.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 089881a3a57f24d34abbbcf8eb808729
RANDOM SEED=961475844
nodeC001 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 : 1596.604
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.49
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 : 3591.502
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.49
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.141
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.49
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.321
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.49
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 : 1795.756
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.49
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 : 3591.514
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.49
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.578
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.49
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.176
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129313492 kB
MemAvailable: 128966240 kB
Buffers: 3280 kB
Cached: 464180 kB
SwapCached: 0 kB
Active: 1266752 kB
Inactive: 219240 kB
Active(anon): 1036492 kB
Inactive(anon): 0 kB
Active(file): 230260 kB
Inactive(file): 219240 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 21532 kB
Writeback: 0 kB
AnonPages: 1015648 kB
Mapped: 115092 kB
Shmem: 17960 kB
KReclaimable: 85368 kB
Slab: 165664 kB
SReclaimable: 85368 kB
SUnreclaim: 80296 kB
KernelStack: 4080 kB
PageTables: 5172 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1491456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 684032 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432940 MiB
End job on nodeC001 at 2025-06-29 04:41:39