0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.77/1.00 c #variables 7351 #constraints 156112
0.98/1.18 c rational objective 319
93.23/93.78 c #Conflicts: 1000 | #Constraints: 157112
93.23/93.78 c #Conflicts: 2000 | #Constraints: 158112
93.23/93.78 c INPROCESSING
93.23/93.78 c #Conflicts: 3000 | #Constraints: 158126
93.23/93.78 c #Conflicts: 4000 | #Constraints: 159126
93.23/93.78 c INPROCESSING
93.23/93.78 c #Conflicts: 5000 | #Constraints: 158530
93.23/93.78 c #Conflicts: 6000 | #Constraints: 159530
93.23/93.78 c INPROCESSING
93.23/93.78 c #Conflicts: 7000 | #Constraints: 158526
93.23/93.78 c #Conflicts: 8000 | #Constraints: 159526
93.23/93.78 c #Conflicts: 9000 | #Constraints: 160526
93.23/93.78 c INPROCESSING
93.23/93.78 c #Conflicts: 10000 | #Constraints: 159194
93.23/93.78 c #Conflicts: 11000 | #Constraints: 160194
93.23/93.78 c #Conflicts: 12000 | #Constraints: 161194
93.23/93.78 c INPROCESSING
93.23/93.78 c #Conflicts: 13000 | #Constraints: 159657
93.23/93.78 c #Conflicts: 14000 | #Constraints: 160657
93.23/93.78 c #Conflicts: 15000 | #Constraints: 161657
93.23/93.78 c INPROCESSING
93.23/93.78 c #Conflicts: 16000 | #Constraints: 159892
93.23/93.78 c #Conflicts: 17000 | #Constraints: 160892
93.23/93.78 c #Conflicts: 18000 | #Constraints: 161892
93.23/93.78 c INPROCESSING
93.23/93.78 c GARBAGE COLLECT
93.23/93.78 c #Conflicts: 19000 | #Constraints: 159921
93.23/93.78 c #Conflicts: 20000 | #Constraints: 160921
93.23/93.78 c #Conflicts: 21000 | #Constraints: 161921
93.23/93.78 c INPROCESSING
93.23/93.78 c #Conflicts: 22000 | #Constraints: 159738
93.23/93.78 c #Conflicts: 23000 | #Constraints: 160738
93.23/93.78 c #Conflicts: 24000 | #Constraints: 161738
93.23/93.78 c #Conflicts: 25000 | #Constraints: 162738
93.23/93.78 c #Conflicts: 26000 | #Constraints: 163738
93.23/93.78 c #Conflicts: 27000 | #Constraints: 164738
93.23/93.78 c #Conflicts: 28000 | #Constraints: 165738
93.23/93.78 c #Conflicts: 29000 | #Constraints: 166738
93.23/93.78 c #Conflicts: 30000 | #Constraints: 167738
93.23/93.78 c #Conflicts: 31000 | #Constraints: 168738
93.23/93.78 c #Conflicts: 32000 | #Constraints: 169738
93.23/93.78 c #Conflicts: 33000 | #Constraints: 170738
93.23/93.78 c INPROCESSING
93.23/93.78 c #Conflicts: 34000 | #Constraints: 164322
93.23/93.78 c #Conflicts: 35000 | #Constraints: 165322
93.23/93.78 c #Conflicts: 36000 | #Constraints: 166322
93.23/93.78 c #Conflicts: 37000 | #Constraints: 167322
93.23/93.78 c #Conflicts: 38000 | #Constraints: 168322
93.23/93.78 c INPROCESSING
93.23/93.78 c GARBAGE COLLECT
93.23/93.78 c #Conflicts: 39000 | #Constraints: 163277
93.23/93.78 c #Conflicts: 40000 | #Constraints: 164277
93.23/93.78 c #Conflicts: 41000 | #Constraints: 165277
93.23/93.78 c #Conflicts: 42000 | #Constraints: 166277
93.23/93.78 c INPROCESSING
93.23/93.78 c #Conflicts: 43000 | #Constraints: 161829
93.23/93.78 c #Conflicts: 44000 | #Constraints: 162829
93.23/93.78 c #Conflicts: 45000 | #Constraints: 163829
93.23/93.78 c #Conflicts: 46000 | #Constraints: 164829
93.23/93.78 c #Conflicts: 47000 | #Constraints: 165829
93.23/93.78 c #Conflicts: 48000 | #Constraints: 166829
93.23/93.78 c #Conflicts: 49000 | #Constraints: 167829
93.23/93.78 c #Conflicts: 50000 | #Constraints: 168829
93.23/93.78 c #Conflicts: 51000 | #Constraints: 169829
93.23/93.78 c #Conflicts: 52000 | #Constraints: 170829
93.23/93.78 c #Conflicts: 53000 | #Constraints: 171829
93.23/93.78 c #Conflicts: 54000 | #Constraints: 172829
93.23/93.78 c #Conflicts: 55000 | #Constraints: 173829
93.23/93.78 c #Conflicts: 56000 | #Constraints: 174829
93.23/93.78 c #Conflicts: 57000 | #Constraints: 175829
93.23/93.78 c #Conflicts: 58000 | #Constraints: 176829
93.23/93.78 c INPROCESSING
93.23/93.78 c GARBAGE COLLECT
93.23/93.78 c #Conflicts: 59000 | #Constraints: 167170
93.23/93.78 c #Conflicts: 60000 | #Constraints: 168170
93.23/93.78 c #Conflicts: 61000 | #Constraints: 169170
93.23/93.78 c #Conflicts: 62000 | #Constraints: 170170
93.23/93.78 c #Conflicts: 63000 | #Constraints: 171170
93.23/93.78 c #Conflicts: 64000 | #Constraints: 172170
93.23/93.78 c #Conflicts: 65000 | #Constraints: 173170
93.23/93.78 c INPROCESSING
93.23/93.78 c #Conflicts: 66000 | #Constraints: 165761
93.23/93.78 c #Conflicts: 67000 | #Constraints: 166761
93.23/93.78 c #Conflicts: 68000 | #Constraints: 167761
93.23/93.78 c #Conflicts: 69000 | #Constraints: 168761
93.23/93.78 c #Conflicts: 70000 | #Constraints: 169761
93.23/93.78 c #Conflicts: 71000 | #Constraints: 170761
93.23/93.78 c INPROCESSING
93.23/93.78 c GARBAGE COLLECT
93.23/93.78 c #Conflicts: 72000 | #Constraints: 164366
93.23/93.78 c #Conflicts: 73000 | #Constraints: 165366
93.23/93.78 c #Conflicts: 74000 | #Constraints: 166366
125.22/125.82 c #Conflicts: 75000 | #Constraints: 167366
125.22/125.82 c #Conflicts: 76000 | #Constraints: 168366
125.22/125.82 c #Conflicts: 77000 | #Constraints: 169366
125.22/125.82 c #Conflicts: 78000 | #Constraints: 170366
125.22/125.82 c #Conflicts: 79000 | #Constraints: 171366
125.22/125.82 c #Conflicts: 80000 | #Constraints: 172366
125.22/125.82 c #Conflicts: 81000 | #Constraints: 173366
125.22/125.82 c #Conflicts: 82000 | #Constraints: 174366
125.22/125.82 c #Conflicts: 83000 | #Constraints: 175366
125.22/125.82 c #Conflicts: 84000 | #Constraints: 176366
125.22/125.82 c #Conflicts: 85000 | #Constraints: 177366
125.22/125.82 c #Conflicts: 86000 | #Constraints: 178366
125.22/125.82 c #Conflicts: 87000 | #Constraints: 179366
125.22/125.82 c #Conflicts: 88000 | #Constraints: 180366
125.22/125.82 c #Conflicts: 89000 | #Constraints: 181366
125.22/125.82 c #Conflicts: 90000 | #Constraints: 182366
125.22/125.82 c #Conflicts: 91000 | #Constraints: 183366
125.22/125.82 c INPROCESSING
125.22/125.82 c GARBAGE COLLECT
125.22/125.82 c #Conflicts: 92000 | #Constraints: 170623
125.22/125.82 c #Conflicts: 93000 | #Constraints: 171623
125.22/125.82 c #Conflicts: 94000 | #Constraints: 172623
125.22/125.82 c #Conflicts: 95000 | #Constraints: 173623
125.22/125.82 c #Conflicts: 96000 | #Constraints: 174623
125.22/125.82 c #Conflicts: 97000 | #Constraints: 175623
125.22/125.82 c #Conflicts: 98000 | #Constraints: 176623
125.22/125.82 c #Conflicts: 99000 | #Constraints: 177623
125.22/125.82 c INPROCESSING
125.22/125.82 c GARBAGE COLLECT
125.22/125.82 c #Conflicts: 100000 | #Constraints: 167927
125.22/125.82 c #Conflicts: 101000 | #Constraints: 168927
125.22/125.82 c #Conflicts: 102000 | #Constraints: 169927
125.22/125.82 c #Conflicts: 103000 | #Constraints: 170927
125.22/125.82 c #Conflicts: 104000 | #Constraints: 171927
125.22/125.82 c #Conflicts: 105000 | #Constraints: 172927
125.22/125.82 c #Conflicts: 106000 | #Constraints: 173927
125.22/125.82 c #Conflicts: 107000 | #Constraints: 174927
125.22/125.82 c INPROCESSING
125.22/125.82 c #Conflicts: 108000 | #Constraints: 166558
125.22/125.82 c #Conflicts: 109000 | #Constraints: 167558
125.22/125.82 c #Conflicts: 110000 | #Constraints: 168558
125.22/125.82 c #Conflicts: 111000 | #Constraints: 169558
125.22/125.82 c #Conflicts: 112000 | #Constraints: 170558
125.22/125.82 c #Conflicts: 113000 | #Constraints: 171558
125.22/125.82 c #Conflicts: 114000 | #Constraints: 172558
125.22/125.82 c #Conflicts: 115000 | #Constraints: 173558
125.22/125.82 c #Conflicts: 116000 | #Constraints: 174558
125.22/125.82 c #Conflicts: 117000 | #Constraints: 175558
125.22/125.82 c #Conflicts: 118000 | #Constraints: 176558
125.22/125.82 c #Conflicts: 119000 | #Constraints: 177558
125.22/125.82 c #Conflicts: 120000 | #Constraints: 178558
125.22/125.82 c #Conflicts: 121000 | #Constraints: 179558
125.22/125.82 c #Conflicts: 122000 | #Constraints: 180558
125.22/125.82 c #Conflicts: 123000 | #Constraints: 181558
125.22/125.82 c #Conflicts: 124000 | #Constraints: 182558
125.22/125.82 c #Conflicts: 125000 | #Constraints: 183558
125.22/125.82 c #Conflicts: 126000 | #Constraints: 184558
125.22/125.82 c #Conflicts: 127000 | #Constraints: 185558
125.22/125.82 c #Conflicts: 128000 | #Constraints: 186558
125.22/125.82 c #Conflicts: 129000 | #Constraints: 187558
125.22/125.82 c #Conflicts: 130000 | #Constraints: 188558
125.22/125.82 c #Conflicts: 131000 | #Constraints: 189558
125.22/125.82 c INPROCESSING
125.22/125.82 c GARBAGE COLLECT
125.22/125.82 c rational objective 319
162.08/162.81 c #Conflicts: 132000 | #Constraints: 173774
162.08/162.81 c #Conflicts: 133000 | #Constraints: 174774
162.08/162.81 c #Conflicts: 134000 | #Constraints: 175774
162.08/162.81 c #Conflicts: 135000 | #Constraints: 176774
162.08/162.81 c #Conflicts: 136000 | #Constraints: 177774
162.08/162.81 c #Conflicts: 137000 | #Constraints: 178774
162.08/162.81 c #Conflicts: 138000 | #Constraints: 179774
162.08/162.81 c #Conflicts: 139000 | #Constraints: 180774
162.08/162.81 c #Conflicts: 140000 | #Constraints: 181774
162.08/162.81 c INPROCESSING
162.08/162.81 c GARBAGE COLLECT
162.08/162.81 c #Conflicts: 141000 | #Constraints: 169840
162.08/162.81 c #Conflicts: 142000 | #Constraints: 170840
162.08/162.81 c #Conflicts: 143000 | #Constraints: 171840
162.08/162.81 c #Conflicts: 144000 | #Constraints: 172840
162.08/162.81 c #Conflicts: 145000 | #Constraints: 173840
162.08/162.81 c #Conflicts: 146000 | #Constraints: 174840
162.08/162.81 c #Conflicts: 147000 | #Constraints: 175840
162.08/162.81 c #Conflicts: 148000 | #Constraints: 176840
162.08/162.81 c #Conflicts: 149000 | #Constraints: 177840
162.08/162.81 c #Conflicts: 150000 | #Constraints: 178840
162.08/162.81 c #Conflicts: 151000 | #Constraints: 179840
162.08/162.81 c #Conflicts: 152000 | #Constraints: 180840
162.08/162.81 c #Conflicts: 153000 | #Constraints: 181840
162.08/162.81 c #Conflicts: 154000 | #Constraints: 182840
162.08/162.81 c #Conflicts: 155000 | #Constraints: 183840
162.08/162.81 c #Conflicts: 156000 | #Constraints: 184840
162.08/162.81 c #Conflicts: 157000 | #Constraints: 185840
162.08/162.81 c #Conflicts: 158000 | #Constraints: 186840
162.08/162.81 c #Conflicts: 159000 | #Constraints: 187840
162.08/162.81 c #Conflicts: 160000 | #Constraints: 188840
162.08/162.81 c #Conflicts: 161000 | #Constraints: 189840
162.08/162.81 c #Conflicts: 162000 | #Constraints: 190840
162.08/162.81 c #Conflicts: 163000 | #Constraints: 191840
162.08/162.81 c #Conflicts: 164000 | #Constraints: 192840
162.08/162.81 c #Conflicts: 165000 | #Constraints: 193840
162.08/162.81 c #Conflicts: 166000 | #Constraints: 194840
162.08/162.81 c #Conflicts: 167000 | #Constraints: 195840
162.08/162.81 c #Conflicts: 168000 | #Constraints: 196840
162.08/162.81 c INPROCESSING
162.08/162.81 c GARBAGE COLLECT
162.08/162.81 c #Conflicts: 169000 | #Constraints: 177740
162.08/162.81 c #Conflicts: 170000 | #Constraints: 178740
162.08/162.81 c #Conflicts: 171000 | #Constraints: 179740
162.08/162.81 c #Conflicts: 172000 | #Constraints: 180740
162.08/162.81 c #Conflicts: 173000 | #Constraints: 181740
162.08/162.81 c #Conflicts: 174000 | #Constraints: 182740
162.08/162.81 c #Conflicts: 175000 | #Constraints: 183740
162.08/162.81 c #Conflicts: 176000 | #Constraints: 184740
162.08/162.81 c #Conflicts: 177000 | #Constraints: 185740
162.08/162.81 c #Conflicts: 178000 | #Constraints: 186740
162.08/162.81 c INPROCESSING
162.08/162.81 c GARBAGE COLLECT
162.08/162.81 c #Conflicts: 179000 | #Constraints: 172443
162.08/162.81 c #Conflicts: 180000 | #Constraints: 173443
162.08/162.81 c #Conflicts: 181000 | #Constraints: 174443
162.08/162.81 c #Conflicts: 182000 | #Constraints: 175443
162.08/162.81 c #Conflicts: 183000 | #Constraints: 176443
162.08/162.81 c #Conflicts: 184000 | #Constraints: 177443
162.08/162.81 c #Conflicts: 185000 | #Constraints: 178443
162.08/162.81 c #Conflicts: 186000 | #Constraints: 179443
162.08/162.81 c #Conflicts: 187000 | #Constraints: 180443
162.08/162.81 c #Conflicts: 188000 | #Constraints: 181443
162.08/162.81 c #Conflicts: 189000 | #Constraints: 182443
162.08/162.81 c #Conflicts: 190000 | #Constraints: 183443
162.08/162.81 c #Conflicts: 191000 | #Constraints: 184443
162.08/162.81 c #Conflicts: 192000 | #Constraints: 185443
162.08/162.81 c #Conflicts: 193000 | #Constraints: 186443
162.08/162.81 c #Conflicts: 194000 | #Constraints: 187443
162.08/162.81 c #Conflicts: 195000 | #Constraints: 188443
162.08/162.81 c #Conflicts: 196000 | #Constraints: 189443
162.08/162.81 c #Conflicts: 197000 | #Constraints: 190443
162.08/162.81 c #Conflicts: 198000 | #Constraints: 191443
162.08/162.81 c #Conflicts: 199000 | #Constraints: 192443
162.08/162.81 c #Conflicts: 200000 | #Constraints: 193443
162.08/162.81 c #Conflicts: 201000 | #Constraints: 194443
162.08/162.81 c #Conflicts: 202000 | #Constraints: 195443
162.08/162.81 c #Conflicts: 203000 | #Constraints: 196443
162.08/162.81 c #Conflicts: 204000 | #Constraints: 197443
162.08/162.81 c #Conflicts: 205000 | #Constraints: 198443
162.08/162.81 c #Conflicts: 206000 | #Constraints: 199443
162.08/162.81 c #Conflicts: 207000 | #Constraints: 200443
162.08/162.81 c #Conflicts: 208000 | #Constraints: 201443
181.92/182.77 c #Conflicts: 209000 | #Constraints: 202443
181.92/182.77 c INPROCESSING
181.92/182.77 c GARBAGE COLLECT
181.92/182.77 c #Conflicts: 210000 | #Constraints: 180600
181.92/182.77 c #Conflicts: 211000 | #Constraints: 181600
181.92/182.77 c #Conflicts: 212000 | #Constraints: 182600
181.92/182.77 c #Conflicts: 213000 | #Constraints: 183600
181.92/182.77 c #Conflicts: 214000 | #Constraints: 184600
181.92/182.77 c #Conflicts: 215000 | #Constraints: 185600
181.92/182.77 c #Conflicts: 216000 | #Constraints: 186600
181.92/182.77 c #Conflicts: 217000 | #Constraints: 187600
181.92/182.77 c #Conflicts: 218000 | #Constraints: 188600
181.92/182.77 c #Conflicts: 219000 | #Constraints: 189600
181.92/182.77 c #Conflicts: 220000 | #Constraints: 190600
181.92/182.77 c INPROCESSING
181.92/182.77 c GARBAGE COLLECT
181.92/182.77 c #Conflicts: 221000 | #Constraints: 174331
181.92/182.77 c #Conflicts: 222000 | #Constraints: 175331
181.92/182.77 c #Conflicts: 223000 | #Constraints: 176331
181.92/182.77 c #Conflicts: 224000 | #Constraints: 177331
181.92/182.77 c #Conflicts: 225000 | #Constraints: 178331
181.92/182.77 c #Conflicts: 226000 | #Constraints: 179331
181.92/182.77 c #Conflicts: 227000 | #Constraints: 180331
181.92/182.77 c #Conflicts: 228000 | #Constraints: 181331
181.92/182.77 c #Conflicts: 229000 | #Constraints: 182331
181.92/182.77 c #Conflicts: 230000 | #Constraints: 183331
181.92/182.77 c #Conflicts: 231000 | #Constraints: 184331
181.92/182.77 c #Conflicts: 232000 | #Constraints: 185331
181.92/182.77 c #Conflicts: 233000 | #Constraints: 186331
181.92/182.77 c #Conflicts: 234000 | #Constraints: 187331
181.92/182.77 c #Conflicts: 235000 | #Constraints: 188331
181.92/182.77 c #Conflicts: 236000 | #Constraints: 189331
181.92/182.77 c #Conflicts: 237000 | #Constraints: 190331
181.92/182.77 c #Conflicts: 238000 | #Constraints: 191331
181.92/182.77 c #Conflicts: 239000 | #Constraints: 192331
181.92/182.77 c #Conflicts: 240000 | #Constraints: 193331
181.92/182.77 c #Conflicts: 241000 | #Constraints: 194331
181.92/182.77 c #Conflicts: 242000 | #Constraints: 195331
181.92/182.77 c #Conflicts: 243000 | #Constraints: 196331
181.92/182.77 c #Conflicts: 244000 | #Constraints: 197331
181.92/182.77 c #Conflicts: 245000 | #Constraints: 198331
181.92/182.77 c #Conflicts: 246000 | #Constraints: 199331
181.92/182.77 c #Conflicts: 247000 | #Constraints: 200331
181.92/182.77 c #Conflicts: 248000 | #Constraints: 201331
181.92/182.77 c #Conflicts: 249000 | #Constraints: 202331
181.92/182.77 c #Conflicts: 250000 | #Constraints: 203331
181.92/182.77 c #Conflicts: 251000 | #Constraints: 204331
181.92/182.77 c #Conflicts: 252000 | #Constraints: 205331
181.92/182.77 c #Conflicts: 253000 | #Constraints: 206331
181.92/182.77 c #Conflicts: 254000 | #Constraints: 207331
181.92/182.77 c INPROCESSING
181.92/182.77 c GARBAGE COLLECT
181.92/182.77 c rational objective 319
189.98/190.88 c #Conflicts: 255000 | #Constraints: 182560
189.98/190.88 c #Conflicts: 256000 | #Constraints: 183560
189.98/190.88 c #Conflicts: 257000 | #Constraints: 184560
189.98/190.88 c #Conflicts: 258000 | #Constraints: 185560
189.98/190.88 c #Conflicts: 259000 | #Constraints: 186560
189.98/190.88 c #Conflicts: 260000 | #Constraints: 187560
189.98/190.88 c #Conflicts: 261000 | #Constraints: 188560
189.98/190.88 c #Conflicts: 262000 | #Constraints: 189560
189.98/190.88 c #Conflicts: 263000 | #Constraints: 190560
189.98/190.88 c #Conflicts: 264000 | #Constraints: 191560
189.98/190.88 c #Conflicts: 265000 | #Constraints: 192560
189.98/190.88 c #Conflicts: 266000 | #Constraints: 193560
189.98/190.88 c #Conflicts: 267000 | #Constraints: 194560
189.98/190.88 c INPROCESSING
189.98/190.88 c GARBAGE COLLECT
189.98/190.88 c rational objective 319
207.73/208.64 c #Conflicts: 268000 | #Constraints: 176528
207.73/208.64 c #Conflicts: 269000 | #Constraints: 177528
207.73/208.64 c #Conflicts: 270000 | #Constraints: 178528
207.73/208.64 c #Conflicts: 271000 | #Constraints: 179528
207.73/208.64 c #Conflicts: 272000 | #Constraints: 180528
207.73/208.64 c #Conflicts: 273000 | #Constraints: 181528
207.73/208.64 c #Conflicts: 274000 | #Constraints: 182528
207.73/208.64 c #Conflicts: 275000 | #Constraints: 183528
207.73/208.64 c #Conflicts: 276000 | #Constraints: 184528
207.73/208.64 c #Conflicts: 277000 | #Constraints: 185528
207.73/208.64 c #Conflicts: 278000 | #Constraints: 186528
207.73/208.64 c #Conflicts: 279000 | #Constraints: 187528
207.73/208.64 c #Conflicts: 280000 | #Constraints: 188528
207.73/208.64 c #Conflicts: 281000 | #Constraints: 189528
207.73/208.64 c #Conflicts: 282000 | #Constraints: 190528
207.73/208.64 c #Conflicts: 283000 | #Constraints: 191528
207.73/208.64 c #Conflicts: 284000 | #Constraints: 192528
207.73/208.64 c #Conflicts: 285000 | #Constraints: 193528
207.73/208.64 c #Conflicts: 286000 | #Constraints: 194528
207.73/208.64 c #Conflicts: 287000 | #Constraints: 195528
207.73/208.64 c #Conflicts: 288000 | #Constraints: 196528
207.73/208.64 c #Conflicts: 289000 | #Constraints: 197528
207.73/208.64 c #Conflicts: 290000 | #Constraints: 198528
207.73/208.64 c #Conflicts: 291000 | #Constraints: 199528
207.73/208.64 c #Conflicts: 292000 | #Constraints: 200528
207.73/208.64 c #Conflicts: 293000 | #Constraints: 201528
207.73/208.64 c #Conflicts: 294000 | #Constraints: 202528
207.73/208.64 c #Conflicts: 295000 | #Constraints: 203528
207.73/208.64 c #Conflicts: 296000 | #Constraints: 204528
207.73/208.64 c #Conflicts: 297000 | #Constraints: 205528
207.73/208.64 c #Conflicts: 298000 | #Constraints: 206528
207.73/208.64 c #Conflicts: 299000 | #Constraints: 207528
207.73/208.64 c #Conflicts: 300000 | #Constraints: 208528
207.73/208.64 c #Conflicts: 301000 | #Constraints: 209528
207.73/208.64 c #Conflicts: 302000 | #Constraints: 210528
207.73/208.64 c #Conflicts: 303000 | #Constraints: 211528
207.73/208.64 c #Conflicts: 304000 | #Constraints: 212528
207.73/208.64 c INPROCESSING
207.73/208.64 c GARBAGE COLLECT
207.73/208.64 c rational objective 319
240.41/241.48 c #Conflicts: 305000 | #Constraints: 185650
240.41/241.48 c #Conflicts: 306000 | #Constraints: 186650
240.41/241.48 c #Conflicts: 307000 | #Constraints: 187650
240.41/241.48 c #Conflicts: 308000 | #Constraints: 188650
240.41/241.48 c #Conflicts: 309000 | #Constraints: 189650
240.41/241.48 c #Conflicts: 310000 | #Constraints: 190650
240.41/241.48 c #Conflicts: 311000 | #Constraints: 191650
240.41/241.48 c #Conflicts: 312000 | #Constraints: 192650
240.41/241.48 c #Conflicts: 313000 | #Constraints: 193650
240.41/241.48 c #Conflicts: 314000 | #Constraints: 194650
240.41/241.48 c #Conflicts: 315000 | #Constraints: 195650
240.41/241.48 c #Conflicts: 316000 | #Constraints: 196650
240.41/241.48 c #Conflicts: 317000 | #Constraints: 197650
240.41/241.48 c #Conflicts: 318000 | #Constraints: 198650
240.41/241.48 c INPROCESSING
240.41/241.48 c GARBAGE COLLECT
240.41/241.48 c #Conflicts: 319000 | #Constraints: 178410
240.41/241.48 c #Conflicts: 320000 | #Constraints: 179410
240.41/241.48 c #Conflicts: 321000 | #Constraints: 180410
240.41/241.48 c #Conflicts: 322000 | #Constraints: 181410
240.41/241.48 c #Conflicts: 323000 | #Constraints: 182410
240.41/241.48 c #Conflicts: 324000 | #Constraints: 183410
240.41/241.48 c #Conflicts: 325000 | #Constraints: 184410
240.41/241.48 c #Conflicts: 326000 | #Constraints: 185410
240.41/241.48 c #Conflicts: 327000 | #Constraints: 186410
240.41/241.48 c #Conflicts: 328000 | #Constraints: 187410
240.41/241.48 c #Conflicts: 329000 | #Constraints: 188410
240.41/241.48 c #Conflicts: 330000 | #Constraints: 189410
240.41/241.48 c #Conflicts: 331000 | #Constraints: 190410
240.41/241.48 c #Conflicts: 332000 | #Constraints: 191410
240.41/241.48 c #Conflicts: 333000 | #Constraints: 192410
240.41/241.48 c #Conflicts: 334000 | #Constraints: 193410
240.41/241.48 c #Conflicts: 335000 | #Constraints: 194410
240.41/241.48 c #Conflicts: 336000 | #Constraints: 195410
240.41/241.48 c #Conflicts: 337000 | #Constraints: 196410
240.41/241.48 c #Conflicts: 338000 | #Constraints: 197410
240.41/241.48 c #Conflicts: 339000 | #Constraints: 198410
240.41/241.48 c #Conflicts: 340000 | #Constraints: 199410
240.41/241.48 c #Conflicts: 341000 | #Constraints: 200410
240.41/241.48 c #Conflicts: 342000 | #Constraints: 201410
240.41/241.48 c #Conflicts: 343000 | #Constraints: 202410
240.41/241.48 c #Conflicts: 344000 | #Constraints: 203410
240.41/241.48 c #Conflicts: 345000 | #Constraints: 204410
240.41/241.48 c #Conflicts: 346000 | #Constraints: 205410
240.41/241.48 c #Conflicts: 347000 | #Constraints: 206410
240.41/241.48 c #Conflicts: 348000 | #Constraints: 207410
240.41/241.48 c #Conflicts: 349000 | #Constraints: 208410
240.41/241.48 c #Conflicts: 350000 | #Constraints: 209410
240.41/241.48 c #Conflicts: 351000 | #Constraints: 210410
240.41/241.48 c #Conflicts: 352000 | #Constraints: 211410
240.41/241.48 c #Conflicts: 353000 | #Constraints: 212410
240.41/241.48 c #Conflicts: 354000 | #Constraints: 213410
240.41/241.48 c #Conflicts: 355000 | #Constraints: 214410
240.41/241.48 c #Conflicts: 356000 | #Constraints: 215410
240.41/241.48 c #Conflicts: 357000 | #Constraints: 216410
240.41/241.48 c #Conflicts: 358000 | #Constraints: 217410
240.41/241.48 c INPROCESSING
240.41/241.48 c GARBAGE COLLECT
240.41/241.48 c #Conflicts: 359000 | #Constraints: 188015
240.41/241.48 c #Conflicts: 360000 | #Constraints: 189015
240.41/241.48 c #Conflicts: 361000 | #Constraints: 190015
240.41/241.48 c #Conflicts: 362000 | #Constraints: 191015
240.41/241.48 c #Conflicts: 363000 | #Constraints: 192015
240.41/241.48 c #Conflicts: 364000 | #Constraints: 193015
240.41/241.48 c #Conflicts: 365000 | #Constraints: 194015
240.41/241.48 c #Conflicts: 366000 | #Constraints: 195015
240.41/241.48 c #Conflicts: 367000 | #Constraints: 196015
240.41/241.48 c #Conflicts: 368000 | #Constraints: 197015
240.41/241.48 c #Conflicts: 369000 | #Constraints: 198015
240.41/241.48 c #Conflicts: 370000 | #Constraints: 199015
240.41/241.48 c #Conflicts: 371000 | #Constraints: 200015
240.41/241.48 c #Conflicts: 372000 | #Constraints: 201015
240.41/241.48 c #Conflicts: 373000 | #Constraints: 202015
240.41/241.48 c #Conflicts: 374000 | #Constraints: 203015
240.41/241.48 c INPROCESSING
240.41/241.48 c GARBAGE COLLECT
240.41/241.48 c #Conflicts: 375000 | #Constraints: 180810
240.41/241.48 c #Conflicts: 376000 | #Constraints: 181810
240.41/241.48 c #Conflicts: 377000 | #Constraints: 182810
240.41/241.48 c #Conflicts: 378000 | #Constraints: 183810
240.41/241.48 c #Conflicts: 379000 | #Constraints: 184810
240.41/241.48 c #Conflicts: 380000 | #Constraints: 185810
240.41/241.48 c #Conflicts: 381000 | #Constraints: 186810
256.85/257.91 c #Conflicts: 382000 | #Constraints: 187810
256.85/257.91 c #Conflicts: 383000 | #Constraints: 188810
256.85/257.91 c #Conflicts: 384000 | #Constraints: 189810
256.85/257.91 c #Conflicts: 385000 | #Constraints: 190810
256.85/257.91 c #Conflicts: 386000 | #Constraints: 191810
256.85/257.91 c #Conflicts: 387000 | #Constraints: 192810
256.85/257.91 c #Conflicts: 388000 | #Constraints: 193810
256.85/257.91 c #Conflicts: 389000 | #Constraints: 194810
256.85/257.91 c #Conflicts: 390000 | #Constraints: 195810
256.85/257.91 c #Conflicts: 391000 | #Constraints: 196810
256.85/257.91 c #Conflicts: 392000 | #Constraints: 197810
256.85/257.91 c #Conflicts: 393000 | #Constraints: 198810
256.85/257.91 c #Conflicts: 394000 | #Constraints: 199810
256.85/257.91 c #Conflicts: 395000 | #Constraints: 200810
256.85/257.91 c #Conflicts: 396000 | #Constraints: 201810
256.85/257.91 c #Conflicts: 397000 | #Constraints: 202810
256.85/257.91 c #Conflicts: 398000 | #Constraints: 203810
256.85/257.91 c #Conflicts: 399000 | #Constraints: 204810
256.85/257.91 c #Conflicts: 400000 | #Constraints: 205810
256.85/257.91 c #Conflicts: 401000 | #Constraints: 206810
256.85/257.91 c #Conflicts: 402000 | #Constraints: 207810
256.85/257.91 c #Conflicts: 403000 | #Constraints: 208810
256.85/257.91 c #Conflicts: 404000 | #Constraints: 209810
256.85/257.91 c #Conflicts: 405000 | #Constraints: 210810
256.85/257.91 c #Conflicts: 406000 | #Constraints: 211810
256.85/257.91 c #Conflicts: 407000 | #Constraints: 212810
256.85/257.91 c #Conflicts: 408000 | #Constraints: 213810
256.85/257.91 c #Conflicts: 409000 | #Constraints: 214810
256.85/257.91 c #Conflicts: 410000 | #Constraints: 215810
256.85/257.91 c #Conflicts: 411000 | #Constraints: 216810
256.85/257.91 c #Conflicts: 412000 | #Constraints: 217810
256.85/257.91 c #Conflicts: 413000 | #Constraints: 218810
256.85/257.91 c #Conflicts: 414000 | #Constraints: 219810
256.85/257.91 c #Conflicts: 415000 | #Constraints: 220810
256.85/257.91 c #Conflicts: 416000 | #Constraints: 221810
256.85/257.91 c #Conflicts: 417000 | #Constraints: 222810
256.85/257.91 c INPROCESSING
256.85/257.91 c GARBAGE COLLECT
256.85/257.91 c rational objective 319
289.34/290.54 c #Conflicts: 418000 | #Constraints: 190941
289.34/290.54 c #Conflicts: 419000 | #Constraints: 191941
289.34/290.54 c #Conflicts: 420000 | #Constraints: 192941
289.34/290.54 c #Conflicts: 421000 | #Constraints: 193941
289.34/290.54 c #Conflicts: 422000 | #Constraints: 194941
289.34/290.54 c #Conflicts: 423000 | #Constraints: 195941
289.34/290.54 c #Conflicts: 424000 | #Constraints: 196941
289.34/290.54 c #Conflicts: 425000 | #Constraints: 197941
289.34/290.54 c #Conflicts: 426000 | #Constraints: 198941
289.34/290.54 c #Conflicts: 427000 | #Constraints: 199941
289.34/290.54 c #Conflicts: 428000 | #Constraints: 200941
289.34/290.54 c #Conflicts: 429000 | #Constraints: 201941
289.34/290.54 c #Conflicts: 430000 | #Constraints: 202941
289.34/290.54 c #Conflicts: 431000 | #Constraints: 203941
289.34/290.54 c #Conflicts: 432000 | #Constraints: 204941
289.34/290.54 c #Conflicts: 433000 | #Constraints: 205941
289.34/290.54 c #Conflicts: 434000 | #Constraints: 206941
289.34/290.54 c INPROCESSING
289.34/290.54 c GARBAGE COLLECT
289.34/290.54 c #Conflicts: 435000 | #Constraints: 183025
289.34/290.54 c #Conflicts: 436000 | #Constraints: 184025
289.34/290.54 c #Conflicts: 437000 | #Constraints: 185025
289.34/290.54 c #Conflicts: 438000 | #Constraints: 186025
289.34/290.54 c #Conflicts: 439000 | #Constraints: 187025
289.34/290.54 c #Conflicts: 440000 | #Constraints: 188025
289.34/290.54 c #Conflicts: 441000 | #Constraints: 189025
289.34/290.54 c #Conflicts: 442000 | #Constraints: 190025
289.34/290.54 c #Conflicts: 443000 | #Constraints: 191025
289.34/290.54 c #Conflicts: 444000 | #Constraints: 192025
289.34/290.54 c #Conflicts: 445000 | #Constraints: 193025
289.34/290.54 c #Conflicts: 446000 | #Constraints: 194025
289.34/290.54 c #Conflicts: 447000 | #Constraints: 195025
289.34/290.54 c #Conflicts: 448000 | #Constraints: 196025
289.34/290.54 c #Conflicts: 449000 | #Constraints: 197025
289.34/290.54 c #Conflicts: 450000 | #Constraints: 198025
289.34/290.54 c #Conflicts: 451000 | #Constraints: 199025
289.34/290.54 c #Conflicts: 452000 | #Constraints: 200025
289.34/290.54 c #Conflicts: 453000 | #Constraints: 201025
289.34/290.54 c #Conflicts: 454000 | #Constraints: 202025
289.34/290.54 c #Conflicts: 455000 | #Constraints: 203025
289.34/290.54 c #Conflicts: 456000 | #Constraints: 204025
289.34/290.54 c #Conflicts: 457000 | #Constraints: 205025
289.34/290.54 c #Conflicts: 458000 | #Constraints: 206025
289.34/290.54 c #Conflicts: 459000 | #Constraints: 207025
289.34/290.54 c #Conflicts: 460000 | #Constraints: 208025
289.34/290.54 c #Conflicts: 461000 | #Constraints: 209025
289.34/290.54 c #Conflicts: 462000 | #Constraints: 210025
289.34/290.54 c #Conflicts: 463000 | #Constraints: 211025
289.34/290.54 c #Conflicts: 464000 | #Constraints: 212025
289.34/290.54 c #Conflicts: 465000 | #Constraints: 213025
289.34/290.54 c #Conflicts: 466000 | #Constraints: 214025
289.34/290.54 c #Conflicts: 467000 | #Constraints: 215025
289.34/290.54 c #Conflicts: 468000 | #Constraints: 216025
289.34/290.54 c #Conflicts: 469000 | #Constraints: 217025
289.34/290.54 c #Conflicts: 470000 | #Constraints: 218025
289.34/290.54 c #Conflicts: 471000 | #Constraints: 219025
289.34/290.54 c #Conflicts: 472000 | #Constraints: 220025
289.34/290.54 c #Conflicts: 473000 | #Constraints: 221025
289.34/290.54 c #Conflicts: 474000 | #Constraints: 222025
289.34/290.54 c #Conflicts: 475000 | #Constraints: 223025
289.34/290.54 c #Conflicts: 476000 | #Constraints: 224025
289.34/290.54 c #Conflicts: 477000 | #Constraints: 225025
289.34/290.54 c #Conflicts: 478000 | #Constraints: 226025
289.34/290.54 c #Conflicts: 479000 | #Constraints: 227025
289.34/290.54 c #Conflicts: 480000 | #Constraints: 228025
289.34/290.54 c INPROCESSING
289.34/290.54 c GARBAGE COLLECT
289.34/290.54 c #Conflicts: 481000 | #Constraints: 193561
289.34/290.54 c #Conflicts: 482000 | #Constraints: 194561
289.34/290.54 c #Conflicts: 483000 | #Constraints: 195561
289.34/290.54 c #Conflicts: 484000 | #Constraints: 196561
289.34/290.54 c #Conflicts: 485000 | #Constraints: 197561
289.34/290.54 c #Conflicts: 486000 | #Constraints: 198561
289.34/290.54 c #Conflicts: 487000 | #Constraints: 199561
289.34/290.54 c #Conflicts: 488000 | #Constraints: 200561
289.34/290.54 c #Conflicts: 489000 | #Constraints: 201561
289.34/290.54 c #Conflicts: 490000 | #Constraints: 202561
289.34/290.54 c #Conflicts: 491000 | #Constraints: 203561
289.34/290.54 c #Conflicts: 492000 | #Constraints: 204561
289.34/290.54 c #Conflicts: 493000 | #Constraints: 205561
289.34/290.54 c #Conflicts: 494000 | #Constraints: 206561
289.34/290.54 c #Conflicts: 495000 | #Constraints: 207561
334.77/336.13 c #Conflicts: 496000 | #Constraints: 208561
334.77/336.13 c #Conflicts: 497000 | #Constraints: 209561
334.77/336.13 c #Conflicts: 498000 | #Constraints: 210561
334.77/336.13 c INPROCESSING
334.77/336.13 c GARBAGE COLLECT
334.77/336.13 c #Conflicts: 499000 | #Constraints: 184709
334.77/336.13 c #Conflicts: 500000 | #Constraints: 185709
334.77/336.13 c #Conflicts: 501000 | #Constraints: 186709
334.77/336.13 c #Conflicts: 502000 | #Constraints: 187709
334.77/336.13 c #Conflicts: 503000 | #Constraints: 188709
334.77/336.13 c #Conflicts: 504000 | #Constraints: 189709
334.77/336.13 c #Conflicts: 505000 | #Constraints: 190709
334.77/336.13 c #Conflicts: 506000 | #Constraints: 191709
334.77/336.13 c #Conflicts: 507000 | #Constraints: 192709
334.77/336.13 c #Conflicts: 508000 | #Constraints: 193709
334.77/336.13 c #Conflicts: 509000 | #Constraints: 194709
334.77/336.13 c #Conflicts: 510000 | #Constraints: 195709
334.77/336.13 c #Conflicts: 511000 | #Constraints: 196709
334.77/336.13 c #Conflicts: 512000 | #Constraints: 197709
334.77/336.13 c #Conflicts: 513000 | #Constraints: 198709
334.77/336.13 c #Conflicts: 514000 | #Constraints: 199709
334.77/336.13 c #Conflicts: 515000 | #Constraints: 200709
334.77/336.13 c #Conflicts: 516000 | #Constraints: 201709
334.77/336.13 c #Conflicts: 517000 | #Constraints: 202709
334.77/336.13 c #Conflicts: 518000 | #Constraints: 203709
334.77/336.13 c #Conflicts: 519000 | #Constraints: 204709
334.77/336.13 c #Conflicts: 520000 | #Constraints: 205709
334.77/336.13 c #Conflicts: 521000 | #Constraints: 206709
334.77/336.13 c #Conflicts: 522000 | #Constraints: 207709
334.77/336.13 c #Conflicts: 523000 | #Constraints: 208709
334.77/336.13 c #Conflicts: 524000 | #Constraints: 209709
334.77/336.13 c #Conflicts: 525000 | #Constraints: 210709
334.77/336.13 c #Conflicts: 526000 | #Constraints: 211709
334.77/336.13 c #Conflicts: 527000 | #Constraints: 212709
334.77/336.13 c #Conflicts: 528000 | #Constraints: 213709
334.77/336.13 c #Conflicts: 529000 | #Constraints: 214709
334.77/336.13 c #Conflicts: 530000 | #Constraints: 215709
334.77/336.13 c #Conflicts: 531000 | #Constraints: 216709
334.77/336.13 c #Conflicts: 532000 | #Constraints: 217709
334.77/336.13 c #Conflicts: 533000 | #Constraints: 218709
334.77/336.13 c #Conflicts: 534000 | #Constraints: 219709
334.77/336.13 c #Conflicts: 535000 | #Constraints: 220709
334.77/336.13 c #Conflicts: 536000 | #Constraints: 221709
334.77/336.13 c #Conflicts: 537000 | #Constraints: 222709
334.77/336.13 c #Conflicts: 538000 | #Constraints: 223709
334.77/336.13 c #Conflicts: 539000 | #Constraints: 224709
334.77/336.13 c #Conflicts: 540000 | #Constraints: 225709
334.77/336.13 c #Conflicts: 541000 | #Constraints: 226709
334.77/336.13 c #Conflicts: 542000 | #Constraints: 227709
334.77/336.13 c #Conflicts: 543000 | #Constraints: 228709
334.77/336.13 c #Conflicts: 544000 | #Constraints: 229709
334.77/336.13 c #Conflicts: 545000 | #Constraints: 230709
334.77/336.13 c #Conflicts: 546000 | #Constraints: 231709
334.77/336.13 c #Conflicts: 547000 | #Constraints: 232709
334.77/336.13 c INPROCESSING
334.77/336.13 c GARBAGE COLLECT
334.77/336.13 c #Conflicts: 548000 | #Constraints: 195781
334.77/336.13 c #Conflicts: 549000 | #Constraints: 196781
334.77/336.13 c #Conflicts: 550000 | #Constraints: 197781
334.77/336.13 c #Conflicts: 551000 | #Constraints: 198781
334.77/336.13 c #Conflicts: 552000 | #Constraints: 199781
334.77/336.13 c #Conflicts: 553000 | #Constraints: 200781
334.77/336.13 c #Conflicts: 554000 | #Constraints: 201781
334.77/336.13 c #Conflicts: 555000 | #Constraints: 202781
334.77/336.13 c #Conflicts: 556000 | #Constraints: 203781
334.77/336.13 c #Conflicts: 557000 | #Constraints: 204781
334.77/336.13 c #Conflicts: 558000 | #Constraints: 205781
334.77/336.13 c #Conflicts: 559000 | #Constraints: 206781
334.77/336.13 c #Conflicts: 560000 | #Constraints: 207781
334.77/336.13 c #Conflicts: 561000 | #Constraints: 208781
334.77/336.13 c #Conflicts: 562000 | #Constraints: 209781
334.77/336.13 c #Conflicts: 563000 | #Constraints: 210781
334.77/336.13 c #Conflicts: 564000 | #Constraints: 211781
334.77/336.13 c #Conflicts: 565000 | #Constraints: 212781
334.77/336.13 c #Conflicts: 566000 | #Constraints: 213781
334.77/336.13 c #Conflicts: 567000 | #Constraints: 214781
334.77/336.13 c INPROCESSING
334.77/336.13 c GARBAGE COLLECT
334.77/336.13 c #Conflicts: 568000 | #Constraints: 186971
334.77/336.13 c #Conflicts: 569000 | #Constraints: 187971
334.77/336.13 c #Conflicts: 570000 | #Constraints: 188971
334.77/336.13 c #Conflicts: 571000 | #Constraints: 189971
334.77/336.13 c #Conflicts: 572000 | #Constraints: 190971
360.17/361.67 c #Conflicts: 573000 | #Constraints: 191971
360.17/361.67 c #Conflicts: 574000 | #Constraints: 192971
360.17/361.67 c #Conflicts: 575000 | #Constraints: 193971
360.17/361.67 c #Conflicts: 576000 | #Constraints: 194971
360.17/361.67 c #Conflicts: 577000 | #Constraints: 195971
360.17/361.67 c #Conflicts: 578000 | #Constraints: 196971
360.17/361.67 c #Conflicts: 579000 | #Constraints: 197971
360.17/361.67 c #Conflicts: 580000 | #Constraints: 198971
360.17/361.67 c #Conflicts: 581000 | #Constraints: 199971
360.17/361.67 c #Conflicts: 582000 | #Constraints: 200971
360.17/361.67 c #Conflicts: 583000 | #Constraints: 201971
360.17/361.67 c #Conflicts: 584000 | #Constraints: 202971
360.17/361.67 c #Conflicts: 585000 | #Constraints: 203971
360.17/361.67 c #Conflicts: 586000 | #Constraints: 204971
360.17/361.67 c #Conflicts: 587000 | #Constraints: 205971
360.17/361.67 c #Conflicts: 588000 | #Constraints: 206971
360.17/361.67 c #Conflicts: 589000 | #Constraints: 207971
360.17/361.67 c #Conflicts: 590000 | #Constraints: 208971
360.17/361.67 c #Conflicts: 591000 | #Constraints: 209971
360.17/361.67 c #Conflicts: 592000 | #Constraints: 210971
360.17/361.67 c #Conflicts: 593000 | #Constraints: 211971
360.17/361.67 c #Conflicts: 594000 | #Constraints: 212971
360.17/361.67 c #Conflicts: 595000 | #Constraints: 213971
360.17/361.67 c #Conflicts: 596000 | #Constraints: 214971
360.17/361.67 c #Conflicts: 597000 | #Constraints: 215971
360.17/361.67 c #Conflicts: 598000 | #Constraints: 216971
360.17/361.67 c #Conflicts: 599000 | #Constraints: 217971
360.17/361.67 c #Conflicts: 600000 | #Constraints: 218971
360.17/361.67 c #Conflicts: 601000 | #Constraints: 219971
360.17/361.67 c #Conflicts: 602000 | #Constraints: 220971
360.17/361.67 c #Conflicts: 603000 | #Constraints: 221971
360.17/361.67 c #Conflicts: 604000 | #Constraints: 222971
360.17/361.67 c #Conflicts: 605000 | #Constraints: 223971
360.17/361.67 c #Conflicts: 606000 | #Constraints: 224971
360.17/361.67 c #Conflicts: 607000 | #Constraints: 225971
360.17/361.67 c #Conflicts: 608000 | #Constraints: 226971
360.17/361.67 c #Conflicts: 609000 | #Constraints: 227971
360.17/361.67 c #Conflicts: 610000 | #Constraints: 228971
360.17/361.67 c #Conflicts: 611000 | #Constraints: 229971
360.17/361.67 c #Conflicts: 612000 | #Constraints: 230971
360.17/361.67 c #Conflicts: 613000 | #Constraints: 231971
360.17/361.67 c #Conflicts: 614000 | #Constraints: 232971
360.17/361.67 c #Conflicts: 615000 | #Constraints: 233971
360.17/361.67 c #Conflicts: 616000 | #Constraints: 234971
360.17/361.67 c #Conflicts: 617000 | #Constraints: 235971
360.17/361.67 c #Conflicts: 618000 | #Constraints: 236971
360.17/361.67 c #Conflicts: 619000 | #Constraints: 237971
360.17/361.67 c INPROCESSING
360.17/361.67 c GARBAGE COLLECT
360.17/361.67 c #Conflicts: 620000 | #Constraints: 198443
360.17/361.67 c #Conflicts: 621000 | #Constraints: 199443
360.17/361.67 c #Conflicts: 622000 | #Constraints: 200443
360.17/361.67 c #Conflicts: 623000 | #Constraints: 201443
360.17/361.67 c #Conflicts: 624000 | #Constraints: 202443
360.17/361.67 c #Conflicts: 625000 | #Constraints: 203443
360.17/361.67 c #Conflicts: 626000 | #Constraints: 204443
360.17/361.67 c #Conflicts: 627000 | #Constraints: 205443
360.17/361.67 c #Conflicts: 628000 | #Constraints: 206443
360.17/361.67 c #Conflicts: 629000 | #Constraints: 207443
360.17/361.67 c #Conflicts: 630000 | #Constraints: 208443
360.17/361.67 c #Conflicts: 631000 | #Constraints: 209443
360.17/361.67 c #Conflicts: 632000 | #Constraints: 210443
360.17/361.67 c #Conflicts: 633000 | #Constraints: 211443
360.17/361.67 c #Conflicts: 634000 | #Constraints: 212443
360.17/361.67 c #Conflicts: 635000 | #Constraints: 213443
360.17/361.67 c #Conflicts: 636000 | #Constraints: 214443
360.17/361.67 c #Conflicts: 637000 | #Constraints: 215443
360.17/361.67 c #Conflicts: 638000 | #Constraints: 216443
360.17/361.67 c #Conflicts: 639000 | #Constraints: 217443
360.17/361.67 c #Conflicts: 640000 | #Constraints: 218443
360.17/361.67 c INPROCESSING
360.17/361.67 c GARBAGE COLLECT
360.17/361.67 c #Conflicts: 641000 | #Constraints: 188723
360.17/361.67 c #Conflicts: 642000 | #Constraints: 189723
360.17/361.67 c #Conflicts: 643000 | #Constraints: 190723
360.17/361.67 c #Conflicts: 644000 | #Constraints: 191723
360.17/361.67 c #Conflicts: 645000 | #Constraints: 192723
360.17/361.67 c #Conflicts: 646000 | #Constraints: 193723
360.17/361.67 c #Conflicts: 647000 | #Constraints: 194723
360.17/361.67 c #Conflicts: 648000 | #Constraints: 195723
360.17/361.67 c #Conflicts: 649000 | #Constraints: 196723
385.97/387.59 c #Conflicts: 650000 | #Constraints: 197723
385.97/387.59 c #Conflicts: 651000 | #Constraints: 198723
385.97/387.59 c #Conflicts: 652000 | #Constraints: 199723
385.97/387.59 c #Conflicts: 653000 | #Constraints: 200723
385.97/387.59 c #Conflicts: 654000 | #Constraints: 201723
385.97/387.59 c #Conflicts: 655000 | #Constraints: 202723
385.97/387.59 c #Conflicts: 656000 | #Constraints: 203723
385.97/387.59 c #Conflicts: 657000 | #Constraints: 204723
385.97/387.59 c #Conflicts: 658000 | #Constraints: 205723
385.97/387.59 c #Conflicts: 659000 | #Constraints: 206723
385.97/387.59 c #Conflicts: 660000 | #Constraints: 207723
385.97/387.59 c #Conflicts: 661000 | #Constraints: 208723
385.97/387.59 c #Conflicts: 662000 | #Constraints: 209723
385.97/387.59 c #Conflicts: 663000 | #Constraints: 210723
385.97/387.59 c #Conflicts: 664000 | #Constraints: 211723
385.97/387.59 c #Conflicts: 665000 | #Constraints: 212723
385.97/387.59 c #Conflicts: 666000 | #Constraints: 213723
385.97/387.59 c #Conflicts: 667000 | #Constraints: 214723
385.97/387.59 c #Conflicts: 668000 | #Constraints: 215723
385.97/387.59 c #Conflicts: 669000 | #Constraints: 216723
385.97/387.59 c #Conflicts: 670000 | #Constraints: 217723
385.97/387.59 c #Conflicts: 671000 | #Constraints: 218723
385.97/387.59 c #Conflicts: 672000 | #Constraints: 219723
385.97/387.59 c #Conflicts: 673000 | #Constraints: 220723
385.97/387.59 c #Conflicts: 674000 | #Constraints: 221723
385.97/387.59 c #Conflicts: 675000 | #Constraints: 222723
385.97/387.59 c #Conflicts: 676000 | #Constraints: 223723
385.97/387.59 c #Conflicts: 677000 | #Constraints: 224723
385.97/387.59 c #Conflicts: 678000 | #Constraints: 225723
385.97/387.59 c #Conflicts: 679000 | #Constraints: 226723
385.97/387.59 c #Conflicts: 680000 | #Constraints: 227723
385.97/387.59 c #Conflicts: 681000 | #Constraints: 228723
385.97/387.59 c #Conflicts: 682000 | #Constraints: 229723
385.97/387.59 c #Conflicts: 683000 | #Constraints: 230723
385.97/387.59 c #Conflicts: 684000 | #Constraints: 231723
385.97/387.59 c #Conflicts: 685000 | #Constraints: 232723
385.97/387.59 c #Conflicts: 686000 | #Constraints: 233723
385.97/387.59 c #Conflicts: 687000 | #Constraints: 234723
385.97/387.59 c #Conflicts: 688000 | #Constraints: 235723
385.97/387.59 c #Conflicts: 689000 | #Constraints: 236723
385.97/387.59 c #Conflicts: 690000 | #Constraints: 237723
385.97/387.59 c #Conflicts: 691000 | #Constraints: 238723
385.97/387.59 c #Conflicts: 692000 | #Constraints: 239723
385.97/387.59 c #Conflicts: 693000 | #Constraints: 240723
385.97/387.59 c #Conflicts: 694000 | #Constraints: 241723
385.97/387.59 c #Conflicts: 695000 | #Constraints: 242723
385.97/387.59 c INPROCESSING
385.97/387.59 c GARBAGE COLLECT
385.97/387.59 c rational objective 319
413.77/415.45 c #Conflicts: 696000 | #Constraints: 200781
413.77/415.45 c #Conflicts: 697000 | #Constraints: 201781
413.77/415.45 c #Conflicts: 698000 | #Constraints: 202781
413.77/415.45 c #Conflicts: 699000 | #Constraints: 203781
413.77/415.45 c #Conflicts: 700000 | #Constraints: 204781
413.77/415.45 c #Conflicts: 701000 | #Constraints: 205781
413.77/415.45 c #Conflicts: 702000 | #Constraints: 206781
413.77/415.45 c #Conflicts: 703000 | #Constraints: 207781
413.77/415.45 c #Conflicts: 704000 | #Constraints: 208781
413.77/415.45 c #Conflicts: 705000 | #Constraints: 209781
413.77/415.45 c #Conflicts: 706000 | #Constraints: 210781
413.77/415.45 c #Conflicts: 707000 | #Constraints: 211781
413.77/415.45 c #Conflicts: 708000 | #Constraints: 212781
413.77/415.45 c #Conflicts: 709000 | #Constraints: 213781
413.77/415.45 c #Conflicts: 710000 | #Constraints: 214781
413.77/415.45 c #Conflicts: 711000 | #Constraints: 215781
413.77/415.45 c #Conflicts: 712000 | #Constraints: 216781
413.77/415.45 c #Conflicts: 713000 | #Constraints: 217781
413.77/415.45 c #Conflicts: 714000 | #Constraints: 218781
413.77/415.45 c #Conflicts: 715000 | #Constraints: 219781
413.77/415.45 c #Conflicts: 716000 | #Constraints: 220781
413.77/415.45 c #Conflicts: 717000 | #Constraints: 221781
413.77/415.45 c INPROCESSING
413.77/415.45 c GARBAGE COLLECT
413.77/415.45 c #Conflicts: 718000 | #Constraints: 190146
413.77/415.45 c #Conflicts: 719000 | #Constraints: 191146
413.77/415.45 c #Conflicts: 720000 | #Constraints: 192146
413.77/415.45 c #Conflicts: 721000 | #Constraints: 193146
413.77/415.45 c #Conflicts: 722000 | #Constraints: 194146
413.77/415.45 c #Conflicts: 723000 | #Constraints: 195146
413.77/415.45 c #Conflicts: 724000 | #Constraints: 196146
413.77/415.45 c #Conflicts: 725000 | #Constraints: 197146
413.77/415.45 c #Conflicts: 726000 | #Constraints: 198146
413.77/415.45 c #Conflicts: 727000 | #Constraints: 199146
413.77/415.45 c #Conflicts: 728000 | #Constraints: 200146
413.77/415.45 c #Conflicts: 729000 | #Constraints: 201146
413.77/415.45 c #Conflicts: 730000 | #Constraints: 202146
413.77/415.45 c #Conflicts: 731000 | #Constraints: 203146
413.77/415.45 c #Conflicts: 732000 | #Constraints: 204146
413.77/415.45 c #Conflicts: 733000 | #Constraints: 205146
413.77/415.45 c #Conflicts: 734000 | #Constraints: 206146
413.77/415.45 c #Conflicts: 735000 | #Constraints: 207146
413.77/415.45 c #Conflicts: 736000 | #Constraints: 208146
413.77/415.45 c #Conflicts: 737000 | #Constraints: 209146
413.77/415.45 c #Conflicts: 738000 | #Constraints: 210146
413.77/415.45 c #Conflicts: 739000 | #Constraints: 211146
413.77/415.45 c #Conflicts: 740000 | #Constraints: 212146
413.77/415.45 c #Conflicts: 741000 | #Constraints: 213146
413.77/415.45 c #Conflicts: 742000 | #Constraints: 214146
413.77/415.45 c #Conflicts: 743000 | #Constraints: 215146
413.77/415.45 c #Conflicts: 744000 | #Constraints: 216146
413.77/415.45 c #Conflicts: 745000 | #Constraints: 217146
413.77/415.45 c #Conflicts: 746000 | #Constraints: 218146
413.77/415.45 c #Conflicts: 747000 | #Constraints: 219146
413.77/415.45 c #Conflicts: 748000 | #Constraints: 220146
413.77/415.45 c #Conflicts: 749000 | #Constraints: 221146
413.77/415.45 c #Conflicts: 750000 | #Constraints: 222146
413.77/415.45 c #Conflicts: 751000 | #Constraints: 223146
413.77/415.45 c #Conflicts: 752000 | #Constraints: 224146
413.77/415.45 c #Conflicts: 753000 | #Constraints: 225146
413.77/415.45 c #Conflicts: 754000 | #Constraints: 226146
413.77/415.45 c #Conflicts: 755000 | #Constraints: 227146
413.77/415.45 c #Conflicts: 756000 | #Constraints: 228146
413.77/415.45 c #Conflicts: 757000 | #Constraints: 229146
413.77/415.45 c #Conflicts: 758000 | #Constraints: 230146
413.77/415.45 c #Conflicts: 759000 | #Constraints: 231146
413.77/415.45 c #Conflicts: 760000 | #Constraints: 232146
413.77/415.45 c #Conflicts: 761000 | #Constraints: 233146
413.77/415.45 c #Conflicts: 762000 | #Constraints: 234146
413.77/415.45 c #Conflicts: 763000 | #Constraints: 235146
413.77/415.45 c #Conflicts: 764000 | #Constraints: 236146
413.77/415.45 c #Conflicts: 765000 | #Constraints: 237146
413.77/415.45 c #Conflicts: 766000 | #Constraints: 238146
413.77/415.45 c #Conflicts: 767000 | #Constraints: 239146
413.77/415.45 c #Conflicts: 768000 | #Constraints: 240146
413.77/415.45 c #Conflicts: 769000 | #Constraints: 241146
413.77/415.45 c #Conflicts: 770000 | #Constraints: 242146
413.77/415.45 c #Conflicts: 771000 | #Constraints: 243146
413.77/415.45 c #Conflicts: 772000 | #Constraints: 244146
413.77/415.45 c #Conflicts: 773000 | #Constraints: 245146
413.77/415.45 c #Conflicts: 774000 | #Constraints: 246146
431.60/433.32 c #Conflicts: 775000 | #Constraints: 247146
431.60/433.32 c #Conflicts: 776000 | #Constraints: 248146
431.60/433.32 c INPROCESSING
431.60/433.32 c GARBAGE COLLECT
431.60/433.32 c #Conflicts: 777000 | #Constraints: 203631
431.60/433.32 c #Conflicts: 778000 | #Constraints: 204631
431.60/433.32 c #Conflicts: 779000 | #Constraints: 205631
431.60/433.32 c #Conflicts: 780000 | #Constraints: 206631
431.60/433.32 c #Conflicts: 781000 | #Constraints: 207631
431.60/433.32 c #Conflicts: 782000 | #Constraints: 208631
431.60/433.32 c #Conflicts: 783000 | #Constraints: 209631
431.60/433.32 c #Conflicts: 784000 | #Constraints: 210631
431.60/433.32 c #Conflicts: 785000 | #Constraints: 211631
431.60/433.32 c #Conflicts: 786000 | #Constraints: 212631
431.60/433.32 c #Conflicts: 787000 | #Constraints: 213631
431.60/433.32 c #Conflicts: 788000 | #Constraints: 214631
431.60/433.32 c #Conflicts: 789000 | #Constraints: 215631
431.60/433.32 c #Conflicts: 790000 | #Constraints: 216631
431.60/433.32 c #Conflicts: 791000 | #Constraints: 217631
431.60/433.32 c #Conflicts: 792000 | #Constraints: 218631
431.60/433.32 c #Conflicts: 793000 | #Constraints: 219631
431.60/433.32 c #Conflicts: 794000 | #Constraints: 220631
431.60/433.32 c #Conflicts: 795000 | #Constraints: 221631
431.60/433.32 c #Conflicts: 796000 | #Constraints: 222631
431.60/433.32 c #Conflicts: 797000 | #Constraints: 223631
431.60/433.32 c #Conflicts: 798000 | #Constraints: 224631
431.60/433.32 c #Conflicts: 799000 | #Constraints: 225631
431.60/433.32 c INPROCESSING
431.60/433.32 c GARBAGE COLLECT
431.60/433.32 c rational objective 319.05
459.00/460.80 c #Conflicts: 800000 | #Constraints: 192193
459.00/460.80 c #Conflicts: 801000 | #Constraints: 193193
459.00/460.80 c #Conflicts: 802000 | #Constraints: 194193
459.00/460.80 c #Conflicts: 803000 | #Constraints: 195193
459.00/460.80 c #Conflicts: 804000 | #Constraints: 196193
459.00/460.80 c #Conflicts: 805000 | #Constraints: 197193
459.00/460.80 c #Conflicts: 806000 | #Constraints: 198193
459.00/460.80 c #Conflicts: 807000 | #Constraints: 199193
459.00/460.80 c #Conflicts: 808000 | #Constraints: 200193
459.00/460.80 c #Conflicts: 809000 | #Constraints: 201193
459.00/460.80 c #Conflicts: 810000 | #Constraints: 202193
459.00/460.80 c #Conflicts: 811000 | #Constraints: 203193
459.00/460.80 c #Conflicts: 812000 | #Constraints: 204193
459.00/460.80 c #Conflicts: 813000 | #Constraints: 205193
459.00/460.80 c #Conflicts: 814000 | #Constraints: 206193
459.00/460.80 c #Conflicts: 815000 | #Constraints: 207193
459.00/460.80 c #Conflicts: 816000 | #Constraints: 208193
459.00/460.80 c #Conflicts: 817000 | #Constraints: 209193
459.00/460.80 c #Conflicts: 818000 | #Constraints: 210193
459.00/460.80 c #Conflicts: 819000 | #Constraints: 211193
459.00/460.80 c #Conflicts: 820000 | #Constraints: 212193
459.00/460.80 c #Conflicts: 821000 | #Constraints: 213193
459.00/460.80 c #Conflicts: 822000 | #Constraints: 214193
459.00/460.80 c #Conflicts: 823000 | #Constraints: 215193
459.00/460.80 c #Conflicts: 824000 | #Constraints: 216193
459.00/460.80 c #Conflicts: 825000 | #Constraints: 217193
459.00/460.80 c #Conflicts: 826000 | #Constraints: 218193
459.00/460.80 c #Conflicts: 827000 | #Constraints: 219193
459.00/460.80 c #Conflicts: 828000 | #Constraints: 220193
459.00/460.80 c #Conflicts: 829000 | #Constraints: 221193
459.00/460.80 c #Conflicts: 830000 | #Constraints: 222193
459.00/460.80 c #Conflicts: 831000 | #Constraints: 223193
459.00/460.80 c #Conflicts: 832000 | #Constraints: 224193
459.00/460.80 c #Conflicts: 833000 | #Constraints: 225193
459.00/460.80 c #Conflicts: 834000 | #Constraints: 226193
459.00/460.80 c #Conflicts: 835000 | #Constraints: 227193
459.00/460.80 c #Conflicts: 836000 | #Constraints: 228193
459.00/460.80 c #Conflicts: 837000 | #Constraints: 229193
459.00/460.80 c #Conflicts: 838000 | #Constraints: 230193
459.00/460.80 c #Conflicts: 839000 | #Constraints: 231193
459.00/460.80 c #Conflicts: 840000 | #Constraints: 232193
459.00/460.80 c #Conflicts: 841000 | #Constraints: 233193
459.00/460.80 c #Conflicts: 842000 | #Constraints: 234193
459.00/460.80 c #Conflicts: 843000 | #Constraints: 235193
459.00/460.80 c #Conflicts: 844000 | #Constraints: 236193
459.00/460.80 c #Conflicts: 845000 | #Constraints: 237193
459.00/460.80 c #Conflicts: 846000 | #Constraints: 238193
459.00/460.80 c #Conflicts: 847000 | #Constraints: 239193
459.00/460.80 c #Conflicts: 848000 | #Constraints: 240193
459.00/460.80 c #Conflicts: 849000 | #Constraints: 241193
459.00/460.80 c #Conflicts: 850000 | #Constraints: 242193
459.00/460.80 c #Conflicts: 851000 | #Constraints: 243193
459.00/460.80 c #Conflicts: 852000 | #Constraints: 244193
459.00/460.80 c #Conflicts: 853000 | #Constraints: 245193
459.00/460.80 c #Conflicts: 854000 | #Constraints: 246193
459.00/460.80 c #Conflicts: 855000 | #Constraints: 247193
459.00/460.80 c #Conflicts: 856000 | #Constraints: 248193
459.00/460.80 c #Conflicts: 857000 | #Constraints: 249193
459.00/460.80 c #Conflicts: 858000 | #Constraints: 250193
459.00/460.80 c #Conflicts: 859000 | #Constraints: 251193
459.00/460.80 c #Conflicts: 860000 | #Constraints: 252193
459.00/460.80 c #Conflicts: 861000 | #Constraints: 253193
459.00/460.80 c INPROCESSING
459.00/460.80 c GARBAGE COLLECT
459.00/460.80 c #Conflicts: 862000 | #Constraints: 206203
459.00/460.80 c #Conflicts: 863000 | #Constraints: 207203
459.00/460.80 c #Conflicts: 864000 | #Constraints: 208203
459.00/460.80 c #Conflicts: 865000 | #Constraints: 209203
459.00/460.80 c #Conflicts: 866000 | #Constraints: 210203
459.00/460.80 c #Conflicts: 867000 | #Constraints: 211203
459.00/460.80 c #Conflicts: 868000 | #Constraints: 212203
459.00/460.80 c #Conflicts: 869000 | #Constraints: 213203
459.00/460.80 c #Conflicts: 870000 | #Constraints: 214203
459.00/460.80 c #Conflicts: 871000 | #Constraints: 215203
459.00/460.80 c #Conflicts: 872000 | #Constraints: 216203
459.00/460.80 c #Conflicts: 873000 | #Constraints: 217203
459.00/460.80 c #Conflicts: 874000 | #Constraints: 218203
459.00/460.80 c #Conflicts: 875000 | #Constraints: 219203
459.00/460.80 c #Conflicts: 876000 | #Constraints: 220203
459.00/460.80 c #Conflicts: 877000 | #Constraints: 221203
459.00/460.80 c #Conflicts: 878000 | #Constraints: 222203
488.11/490.09 c #Conflicts: 879000 | #Constraints: 223203
488.11/490.09 c #Conflicts: 880000 | #Constraints: 224203
488.11/490.09 c #Conflicts: 881000 | #Constraints: 225203
488.11/490.09 c #Conflicts: 882000 | #Constraints: 226203
488.11/490.09 c #Conflicts: 883000 | #Constraints: 227203
488.11/490.09 c #Conflicts: 884000 | #Constraints: 228203
488.11/490.09 c #Conflicts: 885000 | #Constraints: 229203
488.11/490.09 c INPROCESSING
488.11/490.09 c GARBAGE COLLECT
488.11/490.09 c #Conflicts: 886000 | #Constraints: 193865
488.11/490.09 c #Conflicts: 887000 | #Constraints: 194865
488.11/490.09 c #Conflicts: 888000 | #Constraints: 195865
488.11/490.09 c #Conflicts: 889000 | #Constraints: 196865
488.11/490.09 c #Conflicts: 890000 | #Constraints: 197865
488.11/490.09 c #Conflicts: 891000 | #Constraints: 198865
488.11/490.09 c #Conflicts: 892000 | #Constraints: 199865
488.11/490.09 c #Conflicts: 893000 | #Constraints: 200865
488.11/490.09 c #Conflicts: 894000 | #Constraints: 201865
488.11/490.09 c #Conflicts: 895000 | #Constraints: 202865
488.11/490.09 c #Conflicts: 896000 | #Constraints: 203865
488.11/490.09 c #Conflicts: 897000 | #Constraints: 204865
488.11/490.09 c #Conflicts: 898000 | #Constraints: 205865
488.11/490.09 c #Conflicts: 899000 | #Constraints: 206865
488.11/490.09 c #Conflicts: 900000 | #Constraints: 207865
488.11/490.09 c #Conflicts: 901000 | #Constraints: 208865
488.11/490.09 c #Conflicts: 902000 | #Constraints: 209865
488.11/490.09 c #Conflicts: 903000 | #Constraints: 210865
488.11/490.09 c #Conflicts: 904000 | #Constraints: 211865
488.11/490.09 c #Conflicts: 905000 | #Constraints: 212865
488.11/490.09 c #Conflicts: 906000 | #Constraints: 213865
488.11/490.09 c #Conflicts: 907000 | #Constraints: 214865
488.11/490.09 c #Conflicts: 908000 | #Constraints: 215865
488.11/490.09 c #Conflicts: 909000 | #Constraints: 216865
488.11/490.09 c #Conflicts: 910000 | #Constraints: 217865
488.11/490.09 c #Conflicts: 911000 | #Constraints: 218865
488.11/490.09 c #Conflicts: 912000 | #Constraints: 219865
488.11/490.09 c #Conflicts: 913000 | #Constraints: 220865
488.11/490.09 c #Conflicts: 914000 | #Constraints: 221865
488.11/490.09 c #Conflicts: 915000 | #Constraints: 222865
488.11/490.09 c #Conflicts: 916000 | #Constraints: 223865
488.11/490.09 c #Conflicts: 917000 | #Constraints: 224865
488.11/490.09 c #Conflicts: 918000 | #Constraints: 225865
488.11/490.09 c #Conflicts: 919000 | #Constraints: 226865
488.11/490.09 c #Conflicts: 920000 | #Constraints: 227865
488.11/490.09 c #Conflicts: 921000 | #Constraints: 228865
488.11/490.09 c #Conflicts: 922000 | #Constraints: 229865
488.11/490.09 c #Conflicts: 923000 | #Constraints: 230865
488.11/490.09 c #Conflicts: 924000 | #Constraints: 231865
488.11/490.09 c #Conflicts: 925000 | #Constraints: 232865
488.11/490.09 c #Conflicts: 926000 | #Constraints: 233865
488.11/490.09 c #Conflicts: 927000 | #Constraints: 234865
488.11/490.09 c #Conflicts: 928000 | #Constraints: 235865
488.11/490.09 c #Conflicts: 929000 | #Constraints: 236865
488.11/490.09 c #Conflicts: 930000 | #Constraints: 237865
488.11/490.09 c #Conflicts: 931000 | #Constraints: 238865
488.11/490.09 c #Conflicts: 932000 | #Constraints: 239865
488.11/490.09 c #Conflicts: 933000 | #Constraints: 240865
488.11/490.09 c #Conflicts: 934000 | #Constraints: 241865
488.11/490.09 c #Conflicts: 935000 | #Constraints: 242865
488.11/490.09 c #Conflicts: 936000 | #Constraints: 243865
488.11/490.09 c #Conflicts: 937000 | #Constraints: 244865
488.11/490.09 c #Conflicts: 938000 | #Constraints: 245865
488.11/490.09 c #Conflicts: 939000 | #Constraints: 246865
488.11/490.09 c #Conflicts: 940000 | #Constraints: 247865
488.11/490.09 c #Conflicts: 941000 | #Constraints: 248865
488.11/490.09 c #Conflicts: 942000 | #Constraints: 249865
488.11/490.09 c #Conflicts: 943000 | #Constraints: 250865
488.11/490.09 c #Conflicts: 944000 | #Constraints: 251865
488.11/490.09 c #Conflicts: 945000 | #Constraints: 252865
488.11/490.09 c #Conflicts: 946000 | #Constraints: 253865
488.11/490.09 c #Conflicts: 947000 | #Constraints: 254865
488.11/490.09 c #Conflicts: 948000 | #Constraints: 255865
488.11/490.09 c #Conflicts: 949000 | #Constraints: 256865
488.11/490.09 c #Conflicts: 950000 | #Constraints: 257865
488.11/490.09 c INPROCESSING
488.11/490.09 c GARBAGE COLLECT
488.11/490.09 c rational objective 319.375
511.23/513.27 c #Conflicts: 951000 | #Constraints: 208332
511.23/513.27 c #Conflicts: 952000 | #Constraints: 209332
511.23/513.27 c #Conflicts: 953000 | #Constraints: 210332
511.23/513.27 c #Conflicts: 954000 | #Constraints: 211332
511.23/513.27 c #Conflicts: 955000 | #Constraints: 212332
511.23/513.27 c #Conflicts: 956000 | #Constraints: 213332
511.23/513.27 c #Conflicts: 957000 | #Constraints: 214332
511.23/513.27 c #Conflicts: 958000 | #Constraints: 215332
511.23/513.27 c #Conflicts: 959000 | #Constraints: 216332
511.23/513.27 c #Conflicts: 960000 | #Constraints: 217332
511.23/513.27 c #Conflicts: 961000 | #Constraints: 218332
511.23/513.27 c #Conflicts: 962000 | #Constraints: 219332
511.23/513.27 c #Conflicts: 963000 | #Constraints: 220332
511.23/513.27 c #Conflicts: 964000 | #Constraints: 221332
511.23/513.27 c #Conflicts: 965000 | #Constraints: 222332
511.23/513.27 c #Conflicts: 966000 | #Constraints: 223332
511.23/513.27 c #Conflicts: 967000 | #Constraints: 224332
511.23/513.27 c #Conflicts: 968000 | #Constraints: 225332
511.23/513.27 c #Conflicts: 969000 | #Constraints: 226332
511.23/513.27 c #Conflicts: 970000 | #Constraints: 227332
511.23/513.27 c #Conflicts: 971000 | #Constraints: 228332
511.23/513.27 c #Conflicts: 972000 | #Constraints: 229332
511.23/513.27 c #Conflicts: 973000 | #Constraints: 230332
511.23/513.27 c #Conflicts: 974000 | #Constraints: 231332
511.23/513.27 c #Conflicts: 975000 | #Constraints: 232332
511.23/513.27 c #Conflicts: 976000 | #Constraints: 233332
511.23/513.27 c INPROCESSING
511.23/513.27 c GARBAGE COLLECT
511.23/513.27 c rational objective 319.769
541.72/543.81 c #Conflicts: 977000 | #Constraints: 195969
541.72/543.81 c #Conflicts: 978000 | #Constraints: 196969
541.72/543.81 c #Conflicts: 979000 | #Constraints: 197969
541.72/543.81 c #Conflicts: 980000 | #Constraints: 198969
541.72/543.81 c #Conflicts: 981000 | #Constraints: 199969
541.72/543.81 c #Conflicts: 982000 | #Constraints: 200969
541.72/543.81 c #Conflicts: 983000 | #Constraints: 201969
541.72/543.81 c #Conflicts: 984000 | #Constraints: 202969
541.72/543.81 c #Conflicts: 985000 | #Constraints: 203969
541.72/543.81 c #Conflicts: 986000 | #Constraints: 204969
541.72/543.81 c #Conflicts: 987000 | #Constraints: 205969
541.72/543.81 c #Conflicts: 988000 | #Constraints: 206969
541.72/543.81 c #Conflicts: 989000 | #Constraints: 207969
541.72/543.81 c #Conflicts: 990000 | #Constraints: 208969
541.72/543.81 c #Conflicts: 991000 | #Constraints: 209969
541.72/543.81 c #Conflicts: 992000 | #Constraints: 210969
541.72/543.81 c #Conflicts: 993000 | #Constraints: 211969
541.72/543.81 c #Conflicts: 994000 | #Constraints: 212969
541.72/543.81 c #Conflicts: 995000 | #Constraints: 213969
541.72/543.81 c #Conflicts: 996000 | #Constraints: 214969
541.72/543.81 c #Conflicts: 997000 | #Constraints: 215969
541.72/543.81 c #Conflicts: 998000 | #Constraints: 216969
541.72/543.81 c #Conflicts: 999000 | #Constraints: 217969
541.72/543.81 c #Conflicts: 1000000 | #Constraints: 218969
541.72/543.81 c #Conflicts: 1001000 | #Constraints: 219969
541.72/543.81 c #Conflicts: 1002000 | #Constraints: 220969
541.72/543.81 c #Conflicts: 1003000 | #Constraints: 221969
541.72/543.81 c #Conflicts: 1004000 | #Constraints: 222969
541.72/543.81 c #Conflicts: 1005000 | #Constraints: 223969
541.72/543.81 c #Conflicts: 1006000 | #Constraints: 224969
541.72/543.81 c #Conflicts: 1007000 | #Constraints: 225969
541.72/543.81 c #Conflicts: 1008000 | #Constraints: 226969
541.72/543.81 c #Conflicts: 1009000 | #Constraints: 227969
541.72/543.81 c #Conflicts: 1010000 | #Constraints: 228969
541.72/543.81 c #Conflicts: 1011000 | #Constraints: 229969
541.72/543.81 c #Conflicts: 1012000 | #Constraints: 230969
541.72/543.81 c #Conflicts: 1013000 | #Constraints: 231969
541.72/543.81 c #Conflicts: 1014000 | #Constraints: 232969
541.72/543.81 c #Conflicts: 1015000 | #Constraints: 233969
541.72/543.81 c #Conflicts: 1016000 | #Constraints: 234969
541.72/543.81 c #Conflicts: 1017000 | #Constraints: 235969
541.72/543.81 c #Conflicts: 1018000 | #Constraints: 236969
541.72/543.81 c #Conflicts: 1019000 | #Constraints: 237969
541.72/543.81 c #Conflicts: 1020000 | #Constraints: 238969
541.72/543.81 c #Conflicts: 1021000 | #Constraints: 239969
541.72/543.81 c #Conflicts: 1022000 | #Constraints: 240969
541.72/543.81 c #Conflicts: 1023000 | #Constraints: 241969
541.72/543.81 c #Conflicts: 1024000 | #Constraints: 242969
541.72/543.81 c #Conflicts: 1025000 | #Constraints: 243969
541.72/543.81 c #Conflicts: 1026000 | #Constraints: 244969
541.72/543.81 c #Conflicts: 1027000 | #Constraints: 245969
541.72/543.81 c #Conflicts: 1028000 | #Constraints: 246969
541.72/543.81 c #Conflicts: 1029000 | #Constraints: 247969
541.72/543.81 c #Conflicts: 1030000 | #Constraints: 248969
541.72/543.81 c #Conflicts: 1031000 | #Constraints: 249969
541.72/543.81 c #Conflicts: 1032000 | #Constraints: 250969
541.72/543.81 c #Conflicts: 1033000 | #Constraints: 251969
541.72/543.81 c #Conflicts: 1034000 | #Constraints: 252969
541.72/543.81 c #Conflicts: 1035000 | #Constraints: 253969
541.72/543.81 c #Conflicts: 1036000 | #Constraints: 254969
541.72/543.81 c #Conflicts: 1037000 | #Constraints: 255969
541.72/543.81 c #Conflicts: 1038000 | #Constraints: 256969
541.72/543.81 c #Conflicts: 1039000 | #Constraints: 257969
541.72/543.81 c #Conflicts: 1040000 | #Constraints: 258969
541.72/543.81 c #Conflicts: 1041000 | #Constraints: 259969
541.72/543.81 c #Conflicts: 1042000 | #Constraints: 260969
541.72/543.81 c #Conflicts: 1043000 | #Constraints: 261969
541.72/543.81 c #Conflicts: 1044000 | #Constraints: 262969
541.72/543.81 c INPROCESSING
541.72/543.81 c GARBAGE COLLECT
541.72/543.81 c #Conflicts: 1045000 | #Constraints: 210259
541.72/543.81 c #Conflicts: 1046000 | #Constraints: 211259
541.72/543.81 c #Conflicts: 1047000 | #Constraints: 212259
541.72/543.81 c #Conflicts: 1048000 | #Constraints: 213259
541.72/543.81 c #Conflicts: 1049000 | #Constraints: 214259
541.72/543.81 c #Conflicts: 1050000 | #Constraints: 215259
541.72/543.81 c #Conflicts: 1051000 | #Constraints: 216259
541.72/543.81 c #Conflicts: 1052000 | #Constraints: 217259
541.72/543.81 c #Conflicts: 1053000 | #Constraints: 218259
541.72/543.81 c #Conflicts: 1054000 | #Constraints: 219259
541.72/543.81 c #Conflicts: 1055000 | #Constraints: 220259
570.43/572.63 c #Conflicts: 1056000 | #Constraints: 221259
570.43/572.63 c #Conflicts: 1057000 | #Constraints: 222259
570.43/572.63 c #Conflicts: 1058000 | #Constraints: 223259
570.43/572.63 c #Conflicts: 1059000 | #Constraints: 224259
570.43/572.63 c #Conflicts: 1060000 | #Constraints: 225259
570.43/572.63 c #Conflicts: 1061000 | #Constraints: 226259
570.43/572.63 c #Conflicts: 1062000 | #Constraints: 227259
570.43/572.63 c #Conflicts: 1063000 | #Constraints: 228259
570.43/572.63 c #Conflicts: 1064000 | #Constraints: 229259
570.43/572.63 c #Conflicts: 1065000 | #Constraints: 230259
570.43/572.63 c #Conflicts: 1066000 | #Constraints: 231259
570.43/572.63 c #Conflicts: 1067000 | #Constraints: 232259
570.43/572.63 c #Conflicts: 1068000 | #Constraints: 233259
570.43/572.63 c #Conflicts: 1069000 | #Constraints: 234259
570.43/572.63 c #Conflicts: 1070000 | #Constraints: 235259
570.43/572.63 c #Conflicts: 1071000 | #Constraints: 236259
570.43/572.63 c INPROCESSING
570.43/572.63 c GARBAGE COLLECT
570.43/572.63 c #Conflicts: 1072000 | #Constraints: 191940
570.43/572.63 c #Conflicts: 1073000 | #Constraints: 192940
570.43/572.63 c #Conflicts: 1074000 | #Constraints: 193940
570.43/572.63 c #Conflicts: 1075000 | #Constraints: 194940
570.43/572.63 c #Conflicts: 1076000 | #Constraints: 195940
570.43/572.63 c #Conflicts: 1077000 | #Constraints: 196940
570.43/572.63 c #Conflicts: 1078000 | #Constraints: 197940
570.43/572.63 c #Conflicts: 1079000 | #Constraints: 198940
570.43/572.63 c #Conflicts: 1080000 | #Constraints: 199940
570.43/572.63 c #Conflicts: 1081000 | #Constraints: 200940
570.43/572.63 c #Conflicts: 1082000 | #Constraints: 201940
570.43/572.63 c #Conflicts: 1083000 | #Constraints: 202940
570.43/572.63 c #Conflicts: 1084000 | #Constraints: 203940
570.43/572.63 c #Conflicts: 1085000 | #Constraints: 204940
570.43/572.63 c #Conflicts: 1086000 | #Constraints: 205940
570.43/572.63 c #Conflicts: 1087000 | #Constraints: 206940
570.43/572.63 c #Conflicts: 1088000 | #Constraints: 207940
570.43/572.63 c #Conflicts: 1089000 | #Constraints: 208940
570.43/572.63 c #Conflicts: 1090000 | #Constraints: 209940
570.43/572.63 c #Conflicts: 1091000 | #Constraints: 210940
570.43/572.63 c #Conflicts: 1092000 | #Constraints: 211940
570.43/572.63 c #Conflicts: 1093000 | #Constraints: 212940
570.43/572.63 c #Conflicts: 1094000 | #Constraints: 213940
570.43/572.63 c #Conflicts: 1095000 | #Constraints: 214940
570.43/572.63 c #Conflicts: 1096000 | #Constraints: 215940
570.43/572.63 c #Conflicts: 1097000 | #Constraints: 216940
570.43/572.63 c #Conflicts: 1098000 | #Constraints: 217940
570.43/572.63 c #Conflicts: 1099000 | #Constraints: 218940
570.43/572.63 c #Conflicts: 1100000 | #Constraints: 219940
570.43/572.63 c #Conflicts: 1101000 | #Constraints: 220940
570.43/572.63 c #Conflicts: 1102000 | #Constraints: 221940
570.43/572.63 c #Conflicts: 1103000 | #Constraints: 222940
570.43/572.63 c #Conflicts: 1104000 | #Constraints: 223940
570.43/572.63 c #Conflicts: 1105000 | #Constraints: 224940
570.43/572.63 c #Conflicts: 1106000 | #Constraints: 225940
570.43/572.63 c #Conflicts: 1107000 | #Constraints: 226940
570.43/572.63 c #Conflicts: 1108000 | #Constraints: 227940
570.43/572.63 c #Conflicts: 1109000 | #Constraints: 228940
570.43/572.63 c #Conflicts: 1110000 | #Constraints: 229940
570.43/572.63 c #Conflicts: 1111000 | #Constraints: 230940
570.43/572.63 c #Conflicts: 1112000 | #Constraints: 231940
570.43/572.63 c #Conflicts: 1113000 | #Constraints: 232940
570.43/572.63 c #Conflicts: 1114000 | #Constraints: 233940
570.43/572.63 c #Conflicts: 1115000 | #Constraints: 234940
570.43/572.63 c #Conflicts: 1116000 | #Constraints: 235940
570.43/572.63 c #Conflicts: 1117000 | #Constraints: 236940
570.43/572.63 c #Conflicts: 1118000 | #Constraints: 237940
570.43/572.63 c #Conflicts: 1119000 | #Constraints: 238940
570.43/572.63 c #Conflicts: 1120000 | #Constraints: 239940
570.43/572.63 c #Conflicts: 1121000 | #Constraints: 240940
570.43/572.63 c #Conflicts: 1122000 | #Constraints: 241940
570.43/572.63 c #Conflicts: 1123000 | #Constraints: 242940
570.43/572.63 c #Conflicts: 1124000 | #Constraints: 243940
570.43/572.63 c #Conflicts: 1125000 | #Constraints: 244940
570.43/572.63 c #Conflicts: 1126000 | #Constraints: 245940
570.43/572.63 c #Conflicts: 1127000 | #Constraints: 246940
570.43/572.63 c #Conflicts: 1128000 | #Constraints: 247940
570.43/572.63 c #Conflicts: 1129000 | #Constraints: 248940
570.43/572.63 c #Conflicts: 1130000 | #Constraints: 249940
570.43/572.63 c #Conflicts: 1131000 | #Constraints: 250940
570.43/572.63 c #Conflicts: 1132000 | #Constraints: 251940
570.43/572.63 c #Conflicts: 1133000 | #Constraints: 252940
576.71/578.94 c #Conflicts: 1134000 | #Constraints: 253940
576.71/578.94 c #Conflicts: 1135000 | #Constraints: 254940
576.71/578.94 c #Conflicts: 1136000 | #Constraints: 255940
576.71/578.94 c #Conflicts: 1137000 | #Constraints: 256940
576.71/578.94 c #Conflicts: 1138000 | #Constraints: 257940
576.71/578.94 c #Conflicts: 1139000 | #Constraints: 258940
576.71/578.94 c #Conflicts: 1140000 | #Constraints: 259940
576.71/578.94 c #Conflicts: 1141000 | #Constraints: 260940
576.71/578.94 c #Conflicts: 1142000 | #Constraints: 261940
576.71/578.94 c INPROCESSING
576.71/578.94 c GARBAGE COLLECT
576.71/578.94 c rational objective 355.907
585.57/587.89 c #Conflicts: 1143000 | #Constraints: 209638
585.57/587.89 c #Conflicts: 1144000 | #Constraints: 210638
585.57/587.89 c #Conflicts: 1145000 | #Constraints: 211638
585.57/587.89 c #Conflicts: 1146000 | #Constraints: 212638
585.57/587.89 c #Conflicts: 1147000 | #Constraints: 213638
585.57/587.89 c #Conflicts: 1148000 | #Constraints: 214638
585.57/587.89 c #Conflicts: 1149000 | #Constraints: 215638
585.57/587.89 c #Conflicts: 1150000 | #Constraints: 216638
585.57/587.89 c #Conflicts: 1151000 | #Constraints: 217638
585.57/587.89 c #Conflicts: 1152000 | #Constraints: 218638
585.57/587.89 c #Conflicts: 1153000 | #Constraints: 219638
585.57/587.89 c cpu time 579.345 s
585.57/587.89 c deterministic time 6122667461 6.12e+09
585.57/587.89 c optimization time 7.4e-05 s
585.57/587.89 c total solve time 578.662 s
585.57/587.89 c core-guided solve time 0 s
585.57/587.89 c propagation time 147.919 s
585.57/587.89 c conflict analysis time 76.5411 s
585.57/587.89 c propagations 326404735
585.57/587.89 c resolve steps 22614488
585.57/587.89 c decisions 3395532
585.57/587.89 c conflicts 1153957
585.57/587.89 c restarts 2140
585.57/587.89 c inprocessing phases 48
585.57/587.89 c garbage collections 37 ,( 77.08 )
585.57/587.89 c input clauses 139854 ,( 89.59 )
585.57/587.89 c input cardinalities 564 ,( 0.36 )
585.57/587.89 c input general constraints 15694 ,( 10.05 )
585.57/587.89 c input average constraint length 3.90
585.57/587.89 c input average constraint degree 1.12
585.57/587.89 c learned clauses 1153513 ,( 99.96 )
585.57/587.89 c learned cardinalities 271 ,( 0.02 )
585.57/587.89 c learned general constraints 196 ,( 0.02 )
585.57/587.89 c learned average constraint length 93.68
585.57/587.89 c learned average constraint degree 6700.36
585.57/587.89 c watched CF 32, 64, 128, Arb: 51 , 0 , 0 , 0
585.57/587.89 c counting CF 32, 64, 128, Arb: 15839 , 0 , 0 , 0
585.57/587.89 c watched constraints 51 ,( 0.32 )
585.57/587.89 c counting constraints 15839 ,( 99.68 )
585.57/587.89 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1211202369 , 1299276 , 19745744 ,( 9819 , 19735925 )
585.57/587.89 c gcd simplifications 1605
585.57/587.89 c detected cardinalities 23
585.57/587.89 c weakened non-implied lits 551132
585.57/587.89 c weakened non-implying lits 2436
585.57/587.89 c original variables 7351
585.57/587.89 c clausal propagations 321510714
585.57/587.89 c cardinality propagations 764392
585.57/587.89 c watched propagations 301
585.57/587.89 c counting propagations 2972986
585.57/587.89 c watch lookups 1530980563
585.57/587.89 c watch backjump lookups 0
585.57/587.89 c watch checks 3235280393
585.57/587.89 c propagation checks 378890813
585.57/587.89 c constraint additions 316523913
585.57/587.89 c trail pops 330952108
585.57/587.89 c formula constraints 156112
585.57/587.89 c learned constraints 1153956
585.57/587.89 c bound constraints 0
585.57/587.89 c core-guided constraints 0
585.57/587.89 c encountered formula constraints 13549220
585.57/587.89 c encountered learned constraints 10217539
585.57/587.89 c encountered bound constraints 0
585.57/587.89 c encountered core-guided constraints 0
585.57/587.89 c LP total time 123.675 s
585.57/587.89 c LP solve time 113.56 s
585.57/587.89 c LP constraints added 156237
585.57/587.89 c LP constraints removed 87
585.57/587.89 c LP pivots internal 122932
585.57/587.89 c LP pivots root 116471
585.57/587.89 c LP calls 41
585.57/587.89 c LP optimalities 36
585.57/587.89 c LP no pivot count 0
585.57/587.89 c LP infeasibilities 0
585.57/587.89 c LP valid Farkas constraints 0
585.57/587.89 c LP learned Farkas constraints 0
585.57/587.89 c LP basis resets 0
585.57/587.89 c LP cycling count 0
585.57/587.89 c LP singular count 0
585.57/587.89 c LP no primal count 0
585.57/587.89 c LP no farkas count 0
585.57/587.89 c LP other issue count 0
585.57/587.89 c LP Gomory cuts 24
585.57/587.89 c LP learned cuts 135
585.57/587.89 c LP deleted cuts 108
585.57/587.89 c LP encountered Gomory constraints 1686
585.57/587.89 c LP encountered Farkas constraints 0
585.57/587.89 c LP encountered learned Farkas constraints 0
585.57/587.89 c CG auxiliary variables introduced 0
585.57/587.89 c CG solutions found 0
585.57/587.89 c CG cores constructed 0
585.57/587.89 c CG core cardinality constraints returned 0
585.57/587.89 c CG unit cores 0
585.57/587.89 c CG single cores 0
585.57/587.89 c CG blocks removed during cardinality reduction 0
585.57/587.89 c CG first core best 0
585.57/587.89 c CG decision core best 0
585.57/587.89 c CG core reduction tie 0
585.57/587.89 c CG core degree average 0.00
585.57/587.89 c CG core slack average 0.00
585.57/587.89 c CG core upper bound improvements 0
585.57/587.89 c STR number of successful calls 0
585.57/587.89 c STR number of unsuccessful calls 0
585.57/587.89 c STR number of inconclusive calls 0
585.57/587.89 c STR number of successful attempts 0
585.57/587.89 c STR number of unsuccessful attempts 0
585.57/587.89 c STR number of inconclusive attempts 0
585.57/587.89 c STR average degree increase per successful call inf
585.57/587.89 c STR average degree increase per successful attempt inf
585.57/587.89 c STR total number of conflicts for successful attempts 0
585.57/587.89 c STR total number of conflicts for unsuccessful attempts 0
585.57/587.89 c STR total number of conflicts for inconclusive attempts 0
585.57/587.89 c STR average number of conflicts per successful attempt inf
585.57/587.89 c STR average number of conflicts per unsuccessful attempt inf
585.57/587.89 c STR average number of conflicts per inconclusive attempt inf
585.57/587.89 c AVG.sumWPerc 60.75
585.57/587.89 c bigint constraints 0
585.68/588.02 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: 63708 MiB (63141 MiB free)
memory of node 1: 64465 MiB (61428 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503423-1751170667/watcher-4503423-1751170667 -o /tmp/evaluation-result-4503423-1751170667/solver-4503423-1751170667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20846 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4503423-1751170667.opb PROOFDIR/proof-4503423-1751170667
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20893, runsolver pid=20880
[startup+0.100056 s]*
/proc/loadavg: 0.94 1.76 2.22 2/271 20906
/proc/meminfo: memFree=127553844/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/20896/stat : 20896 (roundingsat) D 20893 20893 20833 0 -1 4194304 304 0 0 0 0 0 0 0 20 0 1 0 32741222 52015104 1920 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 12699 1920 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+0.204748 s]*
/proc/loadavg: 0.94 1.76 2.22 5/271 20906
/proc/meminfo: memFree=127505904/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=65804 memory=21064 CPUtime=0.08 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 3115 0 0 0 6 2 0 0 20 0 1 0 32741222 67383296 5234 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 16451 5234 2016 1147 0 3878 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 69996 KiB
Current children cumulated memory: 24008 KiB
[startup+0.304806 s]*
/proc/loadavg: 0.94 1.76 2.22 5/271 20906
/proc/meminfo: memFree=127476796/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=75580 memory=32712 CPUtime=0.18 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 5798 0 0 0 13 5 0 0 20 0 1 0 32741222 77393920 8178 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 18895 8178 2016 1147 0 6322 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 79772 KiB
Current children cumulated memory: 35656 KiB
[startup+0.700147 s]
/proc/loadavg: 0.94 1.76 2.22 5/271 20906
/proc/meminfo: memFree=127391740/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=132376 memory=84008 CPUtime=0.57 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 18357 0 0 0 43 14 0 0 20 0 1 0 32741222 135553024 21002 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 33094 21002 2240 1147 0 20521 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 136568 KiB
Current children cumulated memory: 86952 KiB
[startup+1.50014 s]
/proc/loadavg: 0.94 1.76 2.22 5/271 20906
/proc/meminfo: memFree=127177204/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=343204 memory=240724 CPUtime=1.37 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 35305 0 0 0 115 22 0 0 20 0 1 0 32741222 351440896 60181 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 85801 60181 2304 1147 0 73228 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 347396 KiB
Current children cumulated memory: 243668 KiB
[startup+3.10544 s]
/proc/loadavg: 0.94 1.76 2.22 4/266 20914
/proc/meminfo: memFree=126689208/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=343204 memory=240852 CPUtime=2.97 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 35310 0 0 0 275 22 0 0 20 0 1 0 32741222 351440896 60213 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 85801 60213 2304 1147 0 73228 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 347396 KiB
Current children cumulated memory: 243796 KiB
[startup+6.30018 s]
/proc/loadavg: 1.19 1.80 2.23 5/265 20942
/proc/meminfo: memFree=126444536/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=343204 memory=240852 CPUtime=6.16 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 35315 0 0 0 594 22 0 0 20 0 1 0 32741222 351440896 60213 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 85801 60213 2304 1147 0 73228 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 347396 KiB
Current children cumulated memory: 243796 KiB
[startup+12.7002 s]
/proc/loadavg: 1.41 1.84 2.24 5/271 20953
/proc/meminfo: memFree=126167752/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=364892 memory=254772 CPUtime=12.53 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 37728 0 0 0 1229 24 0 0 20 0 1 0 32741222 373649408 63693 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 91223 63693 2368 1147 0 78650 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 369084 KiB
Current children cumulated memory: 257716 KiB
[startup+25.5002 s]
/proc/loadavg: 2.06 1.96 2.28 5/271 20953
/proc/meminfo: memFree=126196516/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=364892 memory=255540 CPUtime=25.29 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 37921 0 0 0 2503 26 0 0 20 0 1 0 32741222 373649408 63885 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 91223 63885 2368 1147 0 78650 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 369084 KiB
Current children cumulated memory: 258484 KiB
[startup+51.1057 s]
/proc/loadavg: 2.72 2.13 2.32 5/271 20954
/proc/meminfo: memFree=126157804/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=364892 memory=257332 CPUtime=50.79 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 38404 0 0 0 5048 31 0 0 20 0 1 0 32741222 373649408 64333 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 91223 64333 2368 1147 0 78650 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 369084 KiB
Current children cumulated memory: 260276 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 2.43 2.42 5/271 20957
/proc/meminfo: memFree=126017328/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=375836 memory=266996 CPUtime=101.81 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 40140 0 0 0 10114 67 0 0 20 0 1 0 32741222 384856064 66749 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 93959 66749 2368 1147 0 81386 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 380028 KiB
Current children cumulated memory: 269940 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.74 2.53 5/271 20959
/proc/meminfo: memFree=125880720/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=394260 memory=289652 CPUtime=161.59 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 42234 0 0 0 16030 129 0 0 20 0 1 0 32741222 403722240 72413 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 98565 72413 2368 1147 0 85992 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 398452 KiB
Current children cumulated memory: 292596 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.98 2.63 5/272 21011
/proc/meminfo: memFree=125639128/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=412648 memory=297588 CPUtime=221.38 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 43208 0 0 0 21946 192 0 0 20 0 1 0 32741222 422551552 74397 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 103162 74397 2368 1147 0 90589 0
Current children cumulated CPU time: 221.38 s
Current children cumulated vsize: 416840 KiB
Current children cumulated memory: 300532 KiB
[startup+282.3 s]
/proc/loadavg: 4.03 3.19 2.72 5/272 21018
/proc/meminfo: memFree=125583480/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=412648 memory=308664 CPUtime=281.17 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 43432 0 0 0 27839 278 0 0 20 0 1 0 32741222 422551552 77166 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 103162 77166 2368 1147 0 90589 0
Current children cumulated CPU time: 281.17 s
Current children cumulated vsize: 416840 KiB
Current children cumulated memory: 311608 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.35 2.81 5/274 21022
/proc/meminfo: memFree=125483236/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=412648 memory=308664 CPUtime=340.94 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 43448 0 0 0 33749 345 0 0 20 0 1 0 32741222 422551552 77166 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 103162 77166 2368 1147 0 90589 0
Current children cumulated CPU time: 340.94 s
Current children cumulated vsize: 416840 KiB
Current children cumulated memory: 311608 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 3.52 2.90 5/274 21024
/proc/meminfo: memFree=125427240/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=434356 memory=312812 CPUtime=400.72 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 43969 0 0 0 39666 406 0 0 20 0 1 0 32741222 444780544 78203 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 108589 78203 2368 1147 0 96016 0
Current children cumulated CPU time: 400.72 s
Current children cumulated vsize: 438548 KiB
Current children cumulated memory: 315756 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.63 2.98 5/275 21074
/proc/meminfo: memFree=124655876/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=434356 memory=319080 CPUtime=460.5 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 44543 0 0 0 45562 488 0 0 20 0 1 0 32741222 444780544 79770 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 108589 79770 2368 1147 0 96016 0
Current children cumulated CPU time: 460.5 s
Current children cumulated vsize: 438548 KiB
Current children cumulated memory: 322024 KiB
[startup+522.3 s]
/proc/loadavg: 4.05 3.70 3.04 5/274 21076
/proc/meminfo: memFree=124507256/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=479972 memory=372420 CPUtime=520.3 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 47993 0 0 0 51475 555 0 0 20 0 1 0 32741222 491491328 93105 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 119993 93105 2368 1147 0 107420 0
Current children cumulated CPU time: 520.3 s
Current children cumulated vsize: 484164 KiB
Current children cumulated memory: 375364 KiB
[startup+582.3 s]
/proc/loadavg: 4.12 3.78 3.12 5/274 21079
/proc/meminfo: memFree=124368628/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=513484 memory=393724 CPUtime=580.1 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 49260 0 0 0 57383 627 0 0 20 0 1 0 32741222 525807616 98431 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 128371 98431 2368 1147 0 115798 0
Current children cumulated CPU time: 580.1 s
Current children cumulated vsize: 517676 KiB
Current children cumulated memory: 396668 KiB
[startup+588.025 s]
# the end of solver process 20893 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=579.377 s, system=6.33968 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+582.4 s]
/proc/loadavg: 4.12 3.78 3.12 5/274 21079
/proc/meminfo: memFree=124368628/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=513484 memory=393724 CPUtime=580.2 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 49260 0 0 0 57393 627 0 0 20 0 1 0 32741222 525807616 98431 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 128371 98431 2368 1147 0 115798 0
Current children cumulated CPU time: 580.2 s
Current children cumulated vsize: 517676 KiB
Current children cumulated memory: 396668 KiB
[startup+585.6 s]
/proc/loadavg: 4.11 3.79 3.12 6/274 21079
/proc/meminfo: memFree=124372272/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=513484 memory=393724 CPUtime=583.39 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 49260 0 0 0 57710 629 0 0 20 0 1 0 32741222 525807616 98431 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 128371 98431 2368 1147 0 115798 0
Current children cumulated CPU time: 583.39 s
Current children cumulated vsize: 517676 KiB
Current children cumulated memory: 396668 KiB
[startup+587.2 s]
/proc/loadavg: 4.11 3.79 3.12 5/274 21079
/proc/meminfo: memFree=124370688/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=513484 memory=393724 CPUtime=584.98 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 49265 0 0 0 57867 631 0 0 20 0 1 0 32741222 525807616 98431 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 128371 98431 2368 1147 0 115798 0
Current children cumulated CPU time: 584.98 s
Current children cumulated vsize: 517676 KiB
Current children cumulated memory: 396668 KiB
[startup+587.6 s]
/proc/loadavg: 4.11 3.79 3.12 5/274 21079
/proc/meminfo: memFree=124370688/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=513484 memory=393724 CPUtime=585.38 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 49265 0 0 0 57906 632 0 0 20 0 1 0 32741222 525807616 98431 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 128371 98431 2368 1147 0 115798 0
Current children cumulated CPU time: 585.38 s
Current children cumulated vsize: 517676 KiB
Current children cumulated memory: 396668 KiB
[startup+588 s]*
/proc/loadavg: 4.11 3.79 3.12 5/274 21079
/proc/meminfo: memFree=124428808/131249992 swapFree=33010672/33010684
[pid=20893] ppid=20880 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20893/stat : 20893 (run-dec-ls-log.) S 20880 20893 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32741221 4292608 736 18446744073709551615 94250472288256 94250473182789 140735685155520 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94250473421840 94250473469584 94250477776896 140735685163291 140735685163489 140735685163489 140735685169091 0
/proc/20893/statm: 1048 736 672 219 0 110 0
[pid=20896] ppid=20893 vsize=220552 memory=179548 CPUtime=585.68 cores=5,7
/proc/20896/stat : 20896 (roundingsat) R 20893 20893 20833 0 -1 4194304 49265 0 0 0 57935 633 0 0 20 0 1 0 32741222 225845248 44887 18446744073709551615 4227072 8923433 140727242101984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21872640 140727242107216 140727242107432 140727242107432 140727242113002 0
/proc/20896/statm: 55138 44887 2368 1147 0 42565 0
Current children cumulated CPU time: 585.68 s
Current children cumulated vsize: 224744 KiB
Current children cumulated memory: 182492 KiB
Child status: 0
Real time (s): 588.025
CPU time (s): 585.717
CPU user time (s): 579.377
CPU system time (s): 6.33968
CPU usage (%): 99.6076
Max. virtual memory (cumulated for all children) (KiB): 517676
Max. memory (cumulated for all children) (KiB): 396668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 579.377
system time used= 6.33968
maximum resident set size= 393724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 575536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 555
involuntary context switches= 3496
# summary of solver processes directly reported to runsolver:
# pid: 20893
# total CPU time (s): 585.717
# total CPU user time (s): 579.377
# total CPU system time (s): 6.33968
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40573 second user time and 2.52474 second system time
The end
Begin job on nodeC035 at 2025-06-29 06:17:47
IDJOB=4503423
IDBENCH=155463
IDSOLVER=3354
FILE ID=nodeC035/4503423-1751170667
RUNJOBID= nodeC035-1751170667-20846
SLURM_JOB_ID= 9587529
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-25.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503423-1751170667/watcher-4503423-1751170667 -o /tmp/evaluation-result-4503423-1751170667/solver-4503423-1751170667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20846 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4503423-1751170667.opb PROOFDIR/proof-4503423-1751170667
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 089881a3a57f24d34abbbcf8eb808729
RANDOM SEED=38620789
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.749
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.919
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.818
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3622.135
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.637
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.518
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.942
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3656.082
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 127567112 kB
MemAvailable: 129765756 kB
Buffers: 2352 kB
Cached: 2993644 kB
SwapCached: 8 kB
Active: 274452 kB
Inactive: 2794468 kB
Active(anon): 84940 kB
Inactive(anon): 6040 kB
Active(file): 189512 kB
Inactive(file): 2788428 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 50536 kB
Writeback: 0 kB
AnonPages: 76648 kB
Mapped: 102772 kB
Shmem: 18056 kB
KReclaimable: 119888 kB
Slab: 205368 kB
SReclaimable: 119888 kB
SUnreclaim: 85480 kB
KernelStack: 4152 kB
PageTables: 2676 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 339796 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150440 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432932 MiB
End job on nodeC035 at 2025-06-29 06:27:35