0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
1.27/1.38 c #variables 7351 #constraints 156112
1.57/1.60 c rational objective 319
86.04/86.49 c #Conflicts: 1000 | #Constraints: 157112
86.04/86.49 c #Conflicts: 2000 | #Constraints: 158112
86.04/86.49 c INPROCESSING
86.04/86.49 c #Conflicts: 3000 | #Constraints: 158126
86.04/86.49 c #Conflicts: 4000 | #Constraints: 159126
86.04/86.49 c INPROCESSING
86.04/86.49 c #Conflicts: 5000 | #Constraints: 158530
86.04/86.49 c #Conflicts: 6000 | #Constraints: 159530
86.04/86.49 c INPROCESSING
86.04/86.49 c #Conflicts: 7000 | #Constraints: 158526
86.04/86.49 c #Conflicts: 8000 | #Constraints: 159526
86.04/86.49 c #Conflicts: 9000 | #Constraints: 160526
86.04/86.49 c INPROCESSING
86.04/86.49 c #Conflicts: 10000 | #Constraints: 159194
86.04/86.49 c #Conflicts: 11000 | #Constraints: 160194
86.04/86.49 c #Conflicts: 12000 | #Constraints: 161194
86.04/86.49 c INPROCESSING
86.04/86.49 c #Conflicts: 13000 | #Constraints: 159657
86.04/86.49 c #Conflicts: 14000 | #Constraints: 160657
86.04/86.49 c #Conflicts: 15000 | #Constraints: 161657
86.04/86.49 c INPROCESSING
86.04/86.49 c #Conflicts: 16000 | #Constraints: 159892
86.04/86.49 c #Conflicts: 17000 | #Constraints: 160892
86.04/86.49 c #Conflicts: 18000 | #Constraints: 161892
86.04/86.49 c INPROCESSING
86.04/86.49 c GARBAGE COLLECT
86.04/86.49 c #Conflicts: 19000 | #Constraints: 159921
86.04/86.49 c #Conflicts: 20000 | #Constraints: 160921
86.04/86.49 c #Conflicts: 21000 | #Constraints: 161921
86.04/86.49 c INPROCESSING
86.04/86.49 c #Conflicts: 22000 | #Constraints: 159738
86.04/86.49 c #Conflicts: 23000 | #Constraints: 160738
86.04/86.49 c #Conflicts: 24000 | #Constraints: 161738
86.04/86.49 c #Conflicts: 25000 | #Constraints: 162738
86.04/86.49 c #Conflicts: 26000 | #Constraints: 163738
86.04/86.49 c #Conflicts: 27000 | #Constraints: 164738
86.04/86.49 c #Conflicts: 28000 | #Constraints: 165738
86.04/86.49 c #Conflicts: 29000 | #Constraints: 166738
86.04/86.49 c #Conflicts: 30000 | #Constraints: 167738
86.04/86.49 c #Conflicts: 31000 | #Constraints: 168738
86.04/86.49 c #Conflicts: 32000 | #Constraints: 169738
86.04/86.49 c #Conflicts: 33000 | #Constraints: 170738
86.04/86.49 c INPROCESSING
86.04/86.49 c #Conflicts: 34000 | #Constraints: 164322
86.04/86.49 c #Conflicts: 35000 | #Constraints: 165322
86.04/86.49 c #Conflicts: 36000 | #Constraints: 166322
86.04/86.49 c #Conflicts: 37000 | #Constraints: 167322
86.04/86.49 c #Conflicts: 38000 | #Constraints: 168322
86.04/86.49 c INPROCESSING
86.04/86.49 c GARBAGE COLLECT
86.04/86.49 c #Conflicts: 39000 | #Constraints: 163277
86.04/86.49 c #Conflicts: 40000 | #Constraints: 164277
86.04/86.49 c #Conflicts: 41000 | #Constraints: 165277
86.04/86.49 c #Conflicts: 42000 | #Constraints: 166277
86.04/86.49 c INPROCESSING
86.04/86.49 c #Conflicts: 43000 | #Constraints: 161829
86.04/86.49 c #Conflicts: 44000 | #Constraints: 162829
86.04/86.49 c #Conflicts: 45000 | #Constraints: 163829
86.04/86.49 c #Conflicts: 46000 | #Constraints: 164829
86.04/86.49 c #Conflicts: 47000 | #Constraints: 165829
86.04/86.49 c #Conflicts: 48000 | #Constraints: 166829
86.04/86.49 c #Conflicts: 49000 | #Constraints: 167829
86.04/86.49 c #Conflicts: 50000 | #Constraints: 168829
86.04/86.49 c #Conflicts: 51000 | #Constraints: 169829
86.04/86.49 c #Conflicts: 52000 | #Constraints: 170829
86.04/86.49 c #Conflicts: 53000 | #Constraints: 171829
86.04/86.49 c #Conflicts: 54000 | #Constraints: 172829
86.04/86.49 c #Conflicts: 55000 | #Constraints: 173829
86.04/86.49 c #Conflicts: 56000 | #Constraints: 174829
86.04/86.49 c #Conflicts: 57000 | #Constraints: 175829
86.04/86.49 c #Conflicts: 58000 | #Constraints: 176829
86.04/86.49 c INPROCESSING
86.04/86.49 c GARBAGE COLLECT
86.04/86.49 c #Conflicts: 59000 | #Constraints: 167170
86.04/86.49 c #Conflicts: 60000 | #Constraints: 168170
86.04/86.49 c #Conflicts: 61000 | #Constraints: 169170
86.04/86.49 c #Conflicts: 62000 | #Constraints: 170170
86.04/86.49 c #Conflicts: 63000 | #Constraints: 171170
86.04/86.49 c #Conflicts: 64000 | #Constraints: 172170
86.04/86.49 c #Conflicts: 65000 | #Constraints: 173170
86.04/86.49 c INPROCESSING
86.04/86.49 c #Conflicts: 66000 | #Constraints: 165761
86.04/86.49 c #Conflicts: 67000 | #Constraints: 166761
86.04/86.49 c #Conflicts: 68000 | #Constraints: 167761
86.04/86.49 c #Conflicts: 69000 | #Constraints: 168761
86.04/86.49 c #Conflicts: 70000 | #Constraints: 169761
86.04/86.49 c #Conflicts: 71000 | #Constraints: 170761
86.04/86.49 c INPROCESSING
86.04/86.49 c GARBAGE COLLECT
86.04/86.49 c #Conflicts: 72000 | #Constraints: 164366
86.04/86.49 c #Conflicts: 73000 | #Constraints: 165366
86.04/86.49 c #Conflicts: 74000 | #Constraints: 166366
113.45/113.93 c #Conflicts: 75000 | #Constraints: 167366
113.45/113.93 c #Conflicts: 76000 | #Constraints: 168366
113.45/113.93 c #Conflicts: 77000 | #Constraints: 169366
113.45/113.93 c #Conflicts: 78000 | #Constraints: 170366
113.45/113.93 c #Conflicts: 79000 | #Constraints: 171366
113.45/113.93 c #Conflicts: 80000 | #Constraints: 172366
113.45/113.93 c #Conflicts: 81000 | #Constraints: 173366
113.45/113.93 c #Conflicts: 82000 | #Constraints: 174366
113.45/113.93 c #Conflicts: 83000 | #Constraints: 175366
113.45/113.93 c #Conflicts: 84000 | #Constraints: 176366
113.45/113.93 c #Conflicts: 85000 | #Constraints: 177366
113.45/113.93 c #Conflicts: 86000 | #Constraints: 178366
113.45/113.93 c #Conflicts: 87000 | #Constraints: 179366
113.45/113.93 c #Conflicts: 88000 | #Constraints: 180366
113.45/113.93 c #Conflicts: 89000 | #Constraints: 181366
113.45/113.93 c #Conflicts: 90000 | #Constraints: 182366
113.45/113.93 c #Conflicts: 91000 | #Constraints: 183366
113.45/113.93 c INPROCESSING
113.45/113.93 c GARBAGE COLLECT
113.45/113.93 c #Conflicts: 92000 | #Constraints: 170623
113.45/113.93 c #Conflicts: 93000 | #Constraints: 171623
113.45/113.93 c #Conflicts: 94000 | #Constraints: 172623
113.45/113.93 c #Conflicts: 95000 | #Constraints: 173623
113.45/113.93 c #Conflicts: 96000 | #Constraints: 174623
113.45/113.93 c #Conflicts: 97000 | #Constraints: 175623
113.45/113.93 c #Conflicts: 98000 | #Constraints: 176623
113.45/113.93 c #Conflicts: 99000 | #Constraints: 177623
113.45/113.93 c INPROCESSING
113.45/113.93 c GARBAGE COLLECT
113.45/113.93 c #Conflicts: 100000 | #Constraints: 167927
113.45/113.93 c #Conflicts: 101000 | #Constraints: 168927
113.45/113.93 c #Conflicts: 102000 | #Constraints: 169927
113.45/113.93 c #Conflicts: 103000 | #Constraints: 170927
113.45/113.93 c #Conflicts: 104000 | #Constraints: 171927
113.45/113.93 c #Conflicts: 105000 | #Constraints: 172927
113.45/113.93 c #Conflicts: 106000 | #Constraints: 173927
113.45/113.93 c #Conflicts: 107000 | #Constraints: 174927
113.45/113.93 c INPROCESSING
113.45/113.93 c #Conflicts: 108000 | #Constraints: 166558
113.45/113.93 c #Conflicts: 109000 | #Constraints: 167558
113.45/113.93 c #Conflicts: 110000 | #Constraints: 168558
113.45/113.93 c #Conflicts: 111000 | #Constraints: 169558
113.45/113.93 c #Conflicts: 112000 | #Constraints: 170558
113.45/113.93 c #Conflicts: 113000 | #Constraints: 171558
113.45/113.93 c #Conflicts: 114000 | #Constraints: 172558
113.45/113.93 c #Conflicts: 115000 | #Constraints: 173558
113.45/113.93 c #Conflicts: 116000 | #Constraints: 174558
113.45/113.93 c #Conflicts: 117000 | #Constraints: 175558
113.45/113.93 c #Conflicts: 118000 | #Constraints: 176558
113.45/113.93 c #Conflicts: 119000 | #Constraints: 177558
113.45/113.93 c #Conflicts: 120000 | #Constraints: 178558
113.45/113.93 c #Conflicts: 121000 | #Constraints: 179558
113.45/113.93 c #Conflicts: 122000 | #Constraints: 180558
113.45/113.93 c #Conflicts: 123000 | #Constraints: 181558
113.45/113.93 c #Conflicts: 124000 | #Constraints: 182558
113.45/113.93 c #Conflicts: 125000 | #Constraints: 183558
113.45/113.93 c #Conflicts: 126000 | #Constraints: 184558
113.45/113.93 c #Conflicts: 127000 | #Constraints: 185558
113.45/113.93 c #Conflicts: 128000 | #Constraints: 186558
113.45/113.93 c #Conflicts: 129000 | #Constraints: 187558
113.45/113.93 c #Conflicts: 130000 | #Constraints: 188558
113.45/113.93 c #Conflicts: 131000 | #Constraints: 189558
113.45/113.93 c INPROCESSING
113.45/113.93 c GARBAGE COLLECT
113.45/113.93 c rational objective 319
145.45/146.11 c #Conflicts: 132000 | #Constraints: 173774
145.45/146.11 c #Conflicts: 133000 | #Constraints: 174774
145.45/146.11 c #Conflicts: 134000 | #Constraints: 175774
145.45/146.11 c #Conflicts: 135000 | #Constraints: 176774
145.45/146.11 c #Conflicts: 136000 | #Constraints: 177774
145.45/146.11 c #Conflicts: 137000 | #Constraints: 178774
145.45/146.11 c #Conflicts: 138000 | #Constraints: 179774
145.45/146.11 c #Conflicts: 139000 | #Constraints: 180774
145.45/146.11 c #Conflicts: 140000 | #Constraints: 181774
145.45/146.11 c INPROCESSING
145.45/146.11 c GARBAGE COLLECT
145.45/146.11 c #Conflicts: 141000 | #Constraints: 169840
145.45/146.11 c #Conflicts: 142000 | #Constraints: 170840
145.45/146.11 c #Conflicts: 143000 | #Constraints: 171840
145.45/146.11 c #Conflicts: 144000 | #Constraints: 172840
145.45/146.11 c #Conflicts: 145000 | #Constraints: 173840
145.45/146.11 c #Conflicts: 146000 | #Constraints: 174840
145.45/146.11 c #Conflicts: 147000 | #Constraints: 175840
145.45/146.11 c #Conflicts: 148000 | #Constraints: 176840
145.45/146.11 c #Conflicts: 149000 | #Constraints: 177840
145.45/146.11 c #Conflicts: 150000 | #Constraints: 178840
145.45/146.11 c #Conflicts: 151000 | #Constraints: 179840
145.45/146.11 c #Conflicts: 152000 | #Constraints: 180840
145.45/146.11 c #Conflicts: 153000 | #Constraints: 181840
145.45/146.11 c #Conflicts: 154000 | #Constraints: 182840
145.45/146.11 c #Conflicts: 155000 | #Constraints: 183840
145.45/146.11 c #Conflicts: 156000 | #Constraints: 184840
145.45/146.11 c #Conflicts: 157000 | #Constraints: 185840
145.45/146.11 c #Conflicts: 158000 | #Constraints: 186840
145.45/146.11 c #Conflicts: 159000 | #Constraints: 187840
145.45/146.11 c #Conflicts: 160000 | #Constraints: 188840
145.45/146.11 c #Conflicts: 161000 | #Constraints: 189840
145.45/146.11 c #Conflicts: 162000 | #Constraints: 190840
145.45/146.11 c #Conflicts: 163000 | #Constraints: 191840
145.45/146.11 c #Conflicts: 164000 | #Constraints: 192840
145.45/146.11 c #Conflicts: 165000 | #Constraints: 193840
145.45/146.11 c #Conflicts: 166000 | #Constraints: 194840
145.45/146.11 c #Conflicts: 167000 | #Constraints: 195840
145.45/146.11 c #Conflicts: 168000 | #Constraints: 196840
145.45/146.11 c INPROCESSING
145.45/146.11 c GARBAGE COLLECT
145.45/146.11 c #Conflicts: 169000 | #Constraints: 177740
145.45/146.11 c #Conflicts: 170000 | #Constraints: 178740
145.45/146.11 c #Conflicts: 171000 | #Constraints: 179740
145.45/146.11 c #Conflicts: 172000 | #Constraints: 180740
145.45/146.11 c #Conflicts: 173000 | #Constraints: 181740
145.45/146.11 c #Conflicts: 174000 | #Constraints: 182740
145.45/146.11 c #Conflicts: 175000 | #Constraints: 183740
145.45/146.11 c #Conflicts: 176000 | #Constraints: 184740
145.45/146.11 c #Conflicts: 177000 | #Constraints: 185740
145.45/146.11 c #Conflicts: 178000 | #Constraints: 186740
145.45/146.11 c INPROCESSING
145.45/146.11 c GARBAGE COLLECT
145.45/146.11 c #Conflicts: 179000 | #Constraints: 172443
145.45/146.11 c #Conflicts: 180000 | #Constraints: 173443
145.45/146.11 c #Conflicts: 181000 | #Constraints: 174443
145.45/146.11 c #Conflicts: 182000 | #Constraints: 175443
145.45/146.11 c #Conflicts: 183000 | #Constraints: 176443
145.45/146.11 c #Conflicts: 184000 | #Constraints: 177443
145.45/146.11 c #Conflicts: 185000 | #Constraints: 178443
145.45/146.11 c #Conflicts: 186000 | #Constraints: 179443
145.45/146.11 c #Conflicts: 187000 | #Constraints: 180443
145.45/146.11 c #Conflicts: 188000 | #Constraints: 181443
145.45/146.11 c #Conflicts: 189000 | #Constraints: 182443
145.45/146.11 c #Conflicts: 190000 | #Constraints: 183443
145.45/146.11 c #Conflicts: 191000 | #Constraints: 184443
145.45/146.11 c #Conflicts: 192000 | #Constraints: 185443
145.45/146.11 c #Conflicts: 193000 | #Constraints: 186443
145.45/146.11 c #Conflicts: 194000 | #Constraints: 187443
145.45/146.11 c #Conflicts: 195000 | #Constraints: 188443
145.45/146.11 c #Conflicts: 196000 | #Constraints: 189443
145.45/146.11 c #Conflicts: 197000 | #Constraints: 190443
145.45/146.11 c #Conflicts: 198000 | #Constraints: 191443
145.45/146.11 c #Conflicts: 199000 | #Constraints: 192443
145.45/146.11 c #Conflicts: 200000 | #Constraints: 193443
145.45/146.11 c #Conflicts: 201000 | #Constraints: 194443
145.45/146.11 c #Conflicts: 202000 | #Constraints: 195443
145.45/146.11 c #Conflicts: 203000 | #Constraints: 196443
145.45/146.11 c #Conflicts: 204000 | #Constraints: 197443
145.45/146.11 c #Conflicts: 205000 | #Constraints: 198443
145.45/146.11 c #Conflicts: 206000 | #Constraints: 199443
145.45/146.11 c #Conflicts: 207000 | #Constraints: 200443
145.45/146.11 c #Conflicts: 208000 | #Constraints: 201443
161.49/162.17 c #Conflicts: 209000 | #Constraints: 202443
161.49/162.17 c INPROCESSING
161.49/162.17 c GARBAGE COLLECT
161.49/162.17 c #Conflicts: 210000 | #Constraints: 180600
161.49/162.17 c #Conflicts: 211000 | #Constraints: 181600
161.49/162.17 c #Conflicts: 212000 | #Constraints: 182600
161.49/162.17 c #Conflicts: 213000 | #Constraints: 183600
161.49/162.17 c #Conflicts: 214000 | #Constraints: 184600
161.49/162.17 c #Conflicts: 215000 | #Constraints: 185600
161.49/162.17 c #Conflicts: 216000 | #Constraints: 186600
161.49/162.17 c #Conflicts: 217000 | #Constraints: 187600
161.49/162.17 c #Conflicts: 218000 | #Constraints: 188600
161.49/162.17 c #Conflicts: 219000 | #Constraints: 189600
161.49/162.17 c #Conflicts: 220000 | #Constraints: 190600
161.49/162.17 c INPROCESSING
161.49/162.17 c GARBAGE COLLECT
161.49/162.17 c #Conflicts: 221000 | #Constraints: 174331
161.49/162.17 c #Conflicts: 222000 | #Constraints: 175331
161.49/162.17 c #Conflicts: 223000 | #Constraints: 176331
161.49/162.17 c #Conflicts: 224000 | #Constraints: 177331
161.49/162.17 c #Conflicts: 225000 | #Constraints: 178331
161.49/162.17 c #Conflicts: 226000 | #Constraints: 179331
161.49/162.17 c #Conflicts: 227000 | #Constraints: 180331
161.49/162.17 c #Conflicts: 228000 | #Constraints: 181331
161.49/162.17 c #Conflicts: 229000 | #Constraints: 182331
161.49/162.17 c #Conflicts: 230000 | #Constraints: 183331
161.49/162.17 c #Conflicts: 231000 | #Constraints: 184331
161.49/162.17 c #Conflicts: 232000 | #Constraints: 185331
161.49/162.17 c #Conflicts: 233000 | #Constraints: 186331
161.49/162.17 c #Conflicts: 234000 | #Constraints: 187331
161.49/162.17 c #Conflicts: 235000 | #Constraints: 188331
161.49/162.17 c #Conflicts: 236000 | #Constraints: 189331
161.49/162.17 c #Conflicts: 237000 | #Constraints: 190331
161.49/162.17 c #Conflicts: 238000 | #Constraints: 191331
161.49/162.17 c #Conflicts: 239000 | #Constraints: 192331
161.49/162.17 c #Conflicts: 240000 | #Constraints: 193331
161.49/162.17 c #Conflicts: 241000 | #Constraints: 194331
161.49/162.17 c #Conflicts: 242000 | #Constraints: 195331
161.49/162.17 c #Conflicts: 243000 | #Constraints: 196331
161.49/162.17 c #Conflicts: 244000 | #Constraints: 197331
161.49/162.17 c #Conflicts: 245000 | #Constraints: 198331
161.49/162.17 c #Conflicts: 246000 | #Constraints: 199331
161.49/162.17 c #Conflicts: 247000 | #Constraints: 200331
161.49/162.17 c #Conflicts: 248000 | #Constraints: 201331
161.49/162.17 c #Conflicts: 249000 | #Constraints: 202331
161.49/162.17 c #Conflicts: 250000 | #Constraints: 203331
161.49/162.17 c #Conflicts: 251000 | #Constraints: 204331
161.49/162.17 c #Conflicts: 252000 | #Constraints: 205331
161.49/162.17 c #Conflicts: 253000 | #Constraints: 206331
161.49/162.17 c #Conflicts: 254000 | #Constraints: 207331
161.49/162.17 c INPROCESSING
161.49/162.17 c GARBAGE COLLECT
161.49/162.17 c rational objective 319
168.67/169.36 c #Conflicts: 255000 | #Constraints: 182560
168.67/169.36 c #Conflicts: 256000 | #Constraints: 183560
168.67/169.36 c #Conflicts: 257000 | #Constraints: 184560
168.67/169.36 c #Conflicts: 258000 | #Constraints: 185560
168.67/169.36 c #Conflicts: 259000 | #Constraints: 186560
168.67/169.36 c #Conflicts: 260000 | #Constraints: 187560
168.67/169.36 c #Conflicts: 261000 | #Constraints: 188560
168.67/169.36 c #Conflicts: 262000 | #Constraints: 189560
168.67/169.36 c #Conflicts: 263000 | #Constraints: 190560
168.67/169.36 c #Conflicts: 264000 | #Constraints: 191560
168.67/169.36 c #Conflicts: 265000 | #Constraints: 192560
168.67/169.36 c #Conflicts: 266000 | #Constraints: 193560
168.67/169.36 c #Conflicts: 267000 | #Constraints: 194560
168.67/169.36 c INPROCESSING
168.67/169.36 c GARBAGE COLLECT
168.67/169.36 c rational objective 319
183.91/184.69 c #Conflicts: 268000 | #Constraints: 176528
183.91/184.69 c #Conflicts: 269000 | #Constraints: 177528
183.91/184.69 c #Conflicts: 270000 | #Constraints: 178528
183.91/184.69 c #Conflicts: 271000 | #Constraints: 179528
183.91/184.69 c #Conflicts: 272000 | #Constraints: 180528
183.91/184.69 c #Conflicts: 273000 | #Constraints: 181528
183.91/184.69 c #Conflicts: 274000 | #Constraints: 182528
183.91/184.69 c #Conflicts: 275000 | #Constraints: 183528
183.91/184.69 c #Conflicts: 276000 | #Constraints: 184528
183.91/184.69 c #Conflicts: 277000 | #Constraints: 185528
183.91/184.69 c #Conflicts: 278000 | #Constraints: 186528
183.91/184.69 c #Conflicts: 279000 | #Constraints: 187528
183.91/184.69 c #Conflicts: 280000 | #Constraints: 188528
183.91/184.69 c #Conflicts: 281000 | #Constraints: 189528
183.91/184.69 c #Conflicts: 282000 | #Constraints: 190528
183.91/184.69 c #Conflicts: 283000 | #Constraints: 191528
183.91/184.69 c #Conflicts: 284000 | #Constraints: 192528
183.91/184.69 c #Conflicts: 285000 | #Constraints: 193528
183.91/184.69 c #Conflicts: 286000 | #Constraints: 194528
183.91/184.69 c #Conflicts: 287000 | #Constraints: 195528
183.91/184.69 c #Conflicts: 288000 | #Constraints: 196528
183.91/184.69 c #Conflicts: 289000 | #Constraints: 197528
183.91/184.69 c #Conflicts: 290000 | #Constraints: 198528
183.91/184.69 c #Conflicts: 291000 | #Constraints: 199528
183.91/184.69 c #Conflicts: 292000 | #Constraints: 200528
183.91/184.69 c #Conflicts: 293000 | #Constraints: 201528
183.91/184.69 c #Conflicts: 294000 | #Constraints: 202528
183.91/184.69 c #Conflicts: 295000 | #Constraints: 203528
183.91/184.69 c #Conflicts: 296000 | #Constraints: 204528
183.91/184.69 c #Conflicts: 297000 | #Constraints: 205528
183.91/184.69 c #Conflicts: 298000 | #Constraints: 206528
183.91/184.69 c #Conflicts: 299000 | #Constraints: 207528
183.91/184.69 c #Conflicts: 300000 | #Constraints: 208528
183.91/184.69 c #Conflicts: 301000 | #Constraints: 209528
183.91/184.69 c #Conflicts: 302000 | #Constraints: 210528
183.91/184.69 c #Conflicts: 303000 | #Constraints: 211528
183.91/184.69 c #Conflicts: 304000 | #Constraints: 212528
183.91/184.69 c INPROCESSING
183.91/184.69 c GARBAGE COLLECT
183.91/184.69 c rational objective 319
212.80/213.62 c #Conflicts: 305000 | #Constraints: 185650
212.80/213.62 c #Conflicts: 306000 | #Constraints: 186650
212.80/213.62 c #Conflicts: 307000 | #Constraints: 187650
212.80/213.62 c #Conflicts: 308000 | #Constraints: 188650
212.80/213.62 c #Conflicts: 309000 | #Constraints: 189650
212.80/213.62 c #Conflicts: 310000 | #Constraints: 190650
212.80/213.62 c #Conflicts: 311000 | #Constraints: 191650
212.80/213.62 c #Conflicts: 312000 | #Constraints: 192650
212.80/213.62 c #Conflicts: 313000 | #Constraints: 193650
212.80/213.62 c #Conflicts: 314000 | #Constraints: 194650
212.80/213.62 c #Conflicts: 315000 | #Constraints: 195650
212.80/213.62 c #Conflicts: 316000 | #Constraints: 196650
212.80/213.62 c #Conflicts: 317000 | #Constraints: 197650
212.80/213.62 c #Conflicts: 318000 | #Constraints: 198650
212.80/213.62 c INPROCESSING
212.80/213.62 c GARBAGE COLLECT
212.80/213.62 c #Conflicts: 319000 | #Constraints: 178410
212.80/213.62 c #Conflicts: 320000 | #Constraints: 179410
212.80/213.62 c #Conflicts: 321000 | #Constraints: 180410
212.80/213.62 c #Conflicts: 322000 | #Constraints: 181410
212.80/213.62 c #Conflicts: 323000 | #Constraints: 182410
212.80/213.62 c #Conflicts: 324000 | #Constraints: 183410
212.80/213.62 c #Conflicts: 325000 | #Constraints: 184410
212.80/213.62 c #Conflicts: 326000 | #Constraints: 185410
212.80/213.62 c #Conflicts: 327000 | #Constraints: 186410
212.80/213.62 c #Conflicts: 328000 | #Constraints: 187410
212.80/213.62 c #Conflicts: 329000 | #Constraints: 188410
212.80/213.62 c #Conflicts: 330000 | #Constraints: 189410
212.80/213.62 c #Conflicts: 331000 | #Constraints: 190410
212.80/213.62 c #Conflicts: 332000 | #Constraints: 191410
212.80/213.62 c #Conflicts: 333000 | #Constraints: 192410
212.80/213.62 c #Conflicts: 334000 | #Constraints: 193410
212.80/213.62 c #Conflicts: 335000 | #Constraints: 194410
212.80/213.62 c #Conflicts: 336000 | #Constraints: 195410
212.80/213.62 c #Conflicts: 337000 | #Constraints: 196410
212.80/213.62 c #Conflicts: 338000 | #Constraints: 197410
212.80/213.62 c #Conflicts: 339000 | #Constraints: 198410
212.80/213.62 c #Conflicts: 340000 | #Constraints: 199410
212.80/213.62 c #Conflicts: 341000 | #Constraints: 200410
212.80/213.62 c #Conflicts: 342000 | #Constraints: 201410
212.80/213.62 c #Conflicts: 343000 | #Constraints: 202410
212.80/213.62 c #Conflicts: 344000 | #Constraints: 203410
212.80/213.62 c #Conflicts: 345000 | #Constraints: 204410
212.80/213.62 c #Conflicts: 346000 | #Constraints: 205410
212.80/213.62 c #Conflicts: 347000 | #Constraints: 206410
212.80/213.62 c #Conflicts: 348000 | #Constraints: 207410
212.80/213.62 c #Conflicts: 349000 | #Constraints: 208410
212.80/213.62 c #Conflicts: 350000 | #Constraints: 209410
212.80/213.62 c #Conflicts: 351000 | #Constraints: 210410
212.80/213.62 c #Conflicts: 352000 | #Constraints: 211410
212.80/213.62 c #Conflicts: 353000 | #Constraints: 212410
212.80/213.62 c #Conflicts: 354000 | #Constraints: 213410
212.80/213.62 c #Conflicts: 355000 | #Constraints: 214410
212.80/213.62 c #Conflicts: 356000 | #Constraints: 215410
212.80/213.62 c #Conflicts: 357000 | #Constraints: 216410
212.80/213.62 c #Conflicts: 358000 | #Constraints: 217410
212.80/213.62 c INPROCESSING
212.80/213.62 c GARBAGE COLLECT
212.80/213.62 c #Conflicts: 359000 | #Constraints: 188015
212.80/213.62 c #Conflicts: 360000 | #Constraints: 189015
212.80/213.62 c #Conflicts: 361000 | #Constraints: 190015
212.80/213.62 c #Conflicts: 362000 | #Constraints: 191015
212.80/213.62 c #Conflicts: 363000 | #Constraints: 192015
212.80/213.62 c #Conflicts: 364000 | #Constraints: 193015
212.80/213.62 c #Conflicts: 365000 | #Constraints: 194015
212.80/213.62 c #Conflicts: 366000 | #Constraints: 195015
212.80/213.62 c #Conflicts: 367000 | #Constraints: 196015
212.80/213.62 c #Conflicts: 368000 | #Constraints: 197015
212.80/213.62 c #Conflicts: 369000 | #Constraints: 198015
212.80/213.62 c #Conflicts: 370000 | #Constraints: 199015
212.80/213.62 c #Conflicts: 371000 | #Constraints: 200015
212.80/213.62 c #Conflicts: 372000 | #Constraints: 201015
212.80/213.62 c #Conflicts: 373000 | #Constraints: 202015
212.80/213.62 c #Conflicts: 374000 | #Constraints: 203015
212.80/213.62 c INPROCESSING
212.80/213.62 c GARBAGE COLLECT
212.80/213.62 c #Conflicts: 375000 | #Constraints: 180810
212.80/213.62 c #Conflicts: 376000 | #Constraints: 181810
212.80/213.62 c #Conflicts: 377000 | #Constraints: 182810
212.80/213.62 c #Conflicts: 378000 | #Constraints: 183810
212.80/213.62 c #Conflicts: 379000 | #Constraints: 184810
212.80/213.62 c #Conflicts: 380000 | #Constraints: 185810
212.80/213.62 c #Conflicts: 381000 | #Constraints: 186810
226.35/227.26 c #Conflicts: 382000 | #Constraints: 187810
226.35/227.26 c #Conflicts: 383000 | #Constraints: 188810
226.35/227.26 c #Conflicts: 384000 | #Constraints: 189810
226.35/227.26 c #Conflicts: 385000 | #Constraints: 190810
226.35/227.26 c #Conflicts: 386000 | #Constraints: 191810
226.35/227.26 c #Conflicts: 387000 | #Constraints: 192810
226.35/227.26 c #Conflicts: 388000 | #Constraints: 193810
226.35/227.26 c #Conflicts: 389000 | #Constraints: 194810
226.35/227.26 c #Conflicts: 390000 | #Constraints: 195810
226.35/227.26 c #Conflicts: 391000 | #Constraints: 196810
226.35/227.26 c #Conflicts: 392000 | #Constraints: 197810
226.35/227.26 c #Conflicts: 393000 | #Constraints: 198810
226.35/227.26 c #Conflicts: 394000 | #Constraints: 199810
226.35/227.26 c #Conflicts: 395000 | #Constraints: 200810
226.35/227.26 c #Conflicts: 396000 | #Constraints: 201810
226.35/227.26 c #Conflicts: 397000 | #Constraints: 202810
226.35/227.26 c #Conflicts: 398000 | #Constraints: 203810
226.35/227.26 c #Conflicts: 399000 | #Constraints: 204810
226.35/227.26 c #Conflicts: 400000 | #Constraints: 205810
226.35/227.26 c #Conflicts: 401000 | #Constraints: 206810
226.35/227.26 c #Conflicts: 402000 | #Constraints: 207810
226.35/227.26 c #Conflicts: 403000 | #Constraints: 208810
226.35/227.26 c #Conflicts: 404000 | #Constraints: 209810
226.35/227.26 c #Conflicts: 405000 | #Constraints: 210810
226.35/227.26 c #Conflicts: 406000 | #Constraints: 211810
226.35/227.26 c #Conflicts: 407000 | #Constraints: 212810
226.35/227.26 c #Conflicts: 408000 | #Constraints: 213810
226.35/227.26 c #Conflicts: 409000 | #Constraints: 214810
226.35/227.26 c #Conflicts: 410000 | #Constraints: 215810
226.35/227.26 c #Conflicts: 411000 | #Constraints: 216810
226.35/227.26 c #Conflicts: 412000 | #Constraints: 217810
226.35/227.26 c #Conflicts: 413000 | #Constraints: 218810
226.35/227.26 c #Conflicts: 414000 | #Constraints: 219810
226.35/227.26 c #Conflicts: 415000 | #Constraints: 220810
226.35/227.26 c #Conflicts: 416000 | #Constraints: 221810
226.35/227.26 c #Conflicts: 417000 | #Constraints: 222810
226.35/227.26 c INPROCESSING
226.35/227.26 c GARBAGE COLLECT
226.35/227.26 c rational objective 319
253.48/254.44 c #Conflicts: 418000 | #Constraints: 190941
253.48/254.44 c #Conflicts: 419000 | #Constraints: 191941
253.48/254.44 c #Conflicts: 420000 | #Constraints: 192941
253.48/254.44 c #Conflicts: 421000 | #Constraints: 193941
253.48/254.44 c #Conflicts: 422000 | #Constraints: 194941
253.48/254.44 c #Conflicts: 423000 | #Constraints: 195941
253.48/254.44 c #Conflicts: 424000 | #Constraints: 196941
253.48/254.44 c #Conflicts: 425000 | #Constraints: 197941
253.48/254.44 c #Conflicts: 426000 | #Constraints: 198941
253.48/254.44 c #Conflicts: 427000 | #Constraints: 199941
253.48/254.44 c #Conflicts: 428000 | #Constraints: 200941
253.48/254.44 c #Conflicts: 429000 | #Constraints: 201941
253.48/254.44 c #Conflicts: 430000 | #Constraints: 202941
253.48/254.44 c #Conflicts: 431000 | #Constraints: 203941
253.48/254.44 c #Conflicts: 432000 | #Constraints: 204941
253.48/254.44 c #Conflicts: 433000 | #Constraints: 205941
253.48/254.44 c #Conflicts: 434000 | #Constraints: 206941
253.48/254.44 c INPROCESSING
253.48/254.44 c GARBAGE COLLECT
253.48/254.44 c #Conflicts: 435000 | #Constraints: 183025
253.48/254.44 c #Conflicts: 436000 | #Constraints: 184025
253.48/254.44 c #Conflicts: 437000 | #Constraints: 185025
253.48/254.44 c #Conflicts: 438000 | #Constraints: 186025
253.48/254.44 c #Conflicts: 439000 | #Constraints: 187025
253.48/254.44 c #Conflicts: 440000 | #Constraints: 188025
253.48/254.44 c #Conflicts: 441000 | #Constraints: 189025
253.48/254.44 c #Conflicts: 442000 | #Constraints: 190025
253.48/254.44 c #Conflicts: 443000 | #Constraints: 191025
253.48/254.44 c #Conflicts: 444000 | #Constraints: 192025
253.48/254.44 c #Conflicts: 445000 | #Constraints: 193025
253.48/254.44 c #Conflicts: 446000 | #Constraints: 194025
253.48/254.44 c #Conflicts: 447000 | #Constraints: 195025
253.48/254.44 c #Conflicts: 448000 | #Constraints: 196025
253.48/254.44 c #Conflicts: 449000 | #Constraints: 197025
253.48/254.44 c #Conflicts: 450000 | #Constraints: 198025
253.48/254.44 c #Conflicts: 451000 | #Constraints: 199025
253.48/254.44 c #Conflicts: 452000 | #Constraints: 200025
253.48/254.44 c #Conflicts: 453000 | #Constraints: 201025
253.48/254.44 c #Conflicts: 454000 | #Constraints: 202025
253.48/254.44 c #Conflicts: 455000 | #Constraints: 203025
253.48/254.44 c #Conflicts: 456000 | #Constraints: 204025
253.48/254.44 c #Conflicts: 457000 | #Constraints: 205025
253.48/254.44 c #Conflicts: 458000 | #Constraints: 206025
253.48/254.44 c #Conflicts: 459000 | #Constraints: 207025
253.48/254.44 c #Conflicts: 460000 | #Constraints: 208025
253.48/254.44 c #Conflicts: 461000 | #Constraints: 209025
253.48/254.44 c #Conflicts: 462000 | #Constraints: 210025
253.48/254.44 c #Conflicts: 463000 | #Constraints: 211025
253.48/254.44 c #Conflicts: 464000 | #Constraints: 212025
253.48/254.44 c #Conflicts: 465000 | #Constraints: 213025
253.48/254.44 c #Conflicts: 466000 | #Constraints: 214025
253.48/254.44 c #Conflicts: 467000 | #Constraints: 215025
253.48/254.44 c #Conflicts: 468000 | #Constraints: 216025
253.48/254.44 c #Conflicts: 469000 | #Constraints: 217025
253.48/254.44 c #Conflicts: 470000 | #Constraints: 218025
253.48/254.44 c #Conflicts: 471000 | #Constraints: 219025
253.48/254.44 c #Conflicts: 472000 | #Constraints: 220025
253.48/254.44 c #Conflicts: 473000 | #Constraints: 221025
253.48/254.44 c #Conflicts: 474000 | #Constraints: 222025
253.48/254.44 c #Conflicts: 475000 | #Constraints: 223025
253.48/254.44 c #Conflicts: 476000 | #Constraints: 224025
253.48/254.44 c #Conflicts: 477000 | #Constraints: 225025
253.48/254.44 c #Conflicts: 478000 | #Constraints: 226025
253.48/254.44 c #Conflicts: 479000 | #Constraints: 227025
253.48/254.44 c #Conflicts: 480000 | #Constraints: 228025
253.48/254.44 c INPROCESSING
253.48/254.44 c GARBAGE COLLECT
253.48/254.44 c #Conflicts: 481000 | #Constraints: 193561
253.48/254.44 c #Conflicts: 482000 | #Constraints: 194561
253.48/254.44 c #Conflicts: 483000 | #Constraints: 195561
253.48/254.44 c #Conflicts: 484000 | #Constraints: 196561
253.48/254.44 c #Conflicts: 485000 | #Constraints: 197561
253.48/254.44 c #Conflicts: 486000 | #Constraints: 198561
253.48/254.44 c #Conflicts: 487000 | #Constraints: 199561
253.48/254.44 c #Conflicts: 488000 | #Constraints: 200561
253.48/254.44 c #Conflicts: 489000 | #Constraints: 201561
253.48/254.44 c #Conflicts: 490000 | #Constraints: 202561
253.48/254.44 c #Conflicts: 491000 | #Constraints: 203561
253.48/254.44 c #Conflicts: 492000 | #Constraints: 204561
253.48/254.44 c #Conflicts: 493000 | #Constraints: 205561
253.48/254.44 c #Conflicts: 494000 | #Constraints: 206561
253.48/254.44 c #Conflicts: 495000 | #Constraints: 207561
291.37/292.40 c #Conflicts: 496000 | #Constraints: 208561
291.37/292.40 c #Conflicts: 497000 | #Constraints: 209561
291.37/292.40 c #Conflicts: 498000 | #Constraints: 210561
291.37/292.40 c INPROCESSING
291.37/292.40 c GARBAGE COLLECT
291.37/292.40 c #Conflicts: 499000 | #Constraints: 184709
291.37/292.40 c #Conflicts: 500000 | #Constraints: 185709
291.37/292.40 c #Conflicts: 501000 | #Constraints: 186709
291.37/292.40 c #Conflicts: 502000 | #Constraints: 187709
291.37/292.40 c #Conflicts: 503000 | #Constraints: 188709
291.37/292.40 c #Conflicts: 504000 | #Constraints: 189709
291.37/292.40 c #Conflicts: 505000 | #Constraints: 190709
291.37/292.40 c #Conflicts: 506000 | #Constraints: 191709
291.37/292.40 c #Conflicts: 507000 | #Constraints: 192709
291.37/292.40 c #Conflicts: 508000 | #Constraints: 193709
291.37/292.40 c #Conflicts: 509000 | #Constraints: 194709
291.37/292.40 c #Conflicts: 510000 | #Constraints: 195709
291.37/292.40 c #Conflicts: 511000 | #Constraints: 196709
291.37/292.40 c #Conflicts: 512000 | #Constraints: 197709
291.37/292.40 c #Conflicts: 513000 | #Constraints: 198709
291.37/292.40 c #Conflicts: 514000 | #Constraints: 199709
291.37/292.40 c #Conflicts: 515000 | #Constraints: 200709
291.37/292.40 c #Conflicts: 516000 | #Constraints: 201709
291.37/292.40 c #Conflicts: 517000 | #Constraints: 202709
291.37/292.40 c #Conflicts: 518000 | #Constraints: 203709
291.37/292.40 c #Conflicts: 519000 | #Constraints: 204709
291.37/292.40 c #Conflicts: 520000 | #Constraints: 205709
291.37/292.40 c #Conflicts: 521000 | #Constraints: 206709
291.37/292.40 c #Conflicts: 522000 | #Constraints: 207709
291.37/292.40 c #Conflicts: 523000 | #Constraints: 208709
291.37/292.40 c #Conflicts: 524000 | #Constraints: 209709
291.37/292.40 c #Conflicts: 525000 | #Constraints: 210709
291.37/292.40 c #Conflicts: 526000 | #Constraints: 211709
291.37/292.40 c #Conflicts: 527000 | #Constraints: 212709
291.37/292.40 c #Conflicts: 528000 | #Constraints: 213709
291.37/292.40 c #Conflicts: 529000 | #Constraints: 214709
291.37/292.40 c #Conflicts: 530000 | #Constraints: 215709
291.37/292.40 c #Conflicts: 531000 | #Constraints: 216709
291.37/292.40 c #Conflicts: 532000 | #Constraints: 217709
291.37/292.40 c #Conflicts: 533000 | #Constraints: 218709
291.37/292.40 c #Conflicts: 534000 | #Constraints: 219709
291.37/292.40 c #Conflicts: 535000 | #Constraints: 220709
291.37/292.40 c #Conflicts: 536000 | #Constraints: 221709
291.37/292.40 c #Conflicts: 537000 | #Constraints: 222709
291.37/292.40 c #Conflicts: 538000 | #Constraints: 223709
291.37/292.40 c #Conflicts: 539000 | #Constraints: 224709
291.37/292.40 c #Conflicts: 540000 | #Constraints: 225709
291.37/292.40 c #Conflicts: 541000 | #Constraints: 226709
291.37/292.40 c #Conflicts: 542000 | #Constraints: 227709
291.37/292.40 c #Conflicts: 543000 | #Constraints: 228709
291.37/292.40 c #Conflicts: 544000 | #Constraints: 229709
291.37/292.40 c #Conflicts: 545000 | #Constraints: 230709
291.37/292.40 c #Conflicts: 546000 | #Constraints: 231709
291.37/292.40 c #Conflicts: 547000 | #Constraints: 232709
291.37/292.40 c INPROCESSING
291.37/292.40 c GARBAGE COLLECT
291.37/292.40 c #Conflicts: 548000 | #Constraints: 195781
291.37/292.40 c #Conflicts: 549000 | #Constraints: 196781
291.37/292.40 c #Conflicts: 550000 | #Constraints: 197781
291.37/292.40 c #Conflicts: 551000 | #Constraints: 198781
291.37/292.40 c #Conflicts: 552000 | #Constraints: 199781
291.37/292.40 c #Conflicts: 553000 | #Constraints: 200781
291.37/292.40 c #Conflicts: 554000 | #Constraints: 201781
291.37/292.40 c #Conflicts: 555000 | #Constraints: 202781
291.37/292.40 c #Conflicts: 556000 | #Constraints: 203781
291.37/292.40 c #Conflicts: 557000 | #Constraints: 204781
291.37/292.40 c #Conflicts: 558000 | #Constraints: 205781
291.37/292.40 c #Conflicts: 559000 | #Constraints: 206781
291.37/292.40 c #Conflicts: 560000 | #Constraints: 207781
291.37/292.40 c #Conflicts: 561000 | #Constraints: 208781
291.37/292.40 c #Conflicts: 562000 | #Constraints: 209781
291.37/292.40 c #Conflicts: 563000 | #Constraints: 210781
291.37/292.40 c #Conflicts: 564000 | #Constraints: 211781
291.37/292.40 c #Conflicts: 565000 | #Constraints: 212781
291.37/292.40 c #Conflicts: 566000 | #Constraints: 213781
291.37/292.40 c #Conflicts: 567000 | #Constraints: 214781
291.37/292.40 c INPROCESSING
291.37/292.40 c GARBAGE COLLECT
291.37/292.40 c #Conflicts: 568000 | #Constraints: 186971
291.37/292.40 c #Conflicts: 569000 | #Constraints: 187971
291.37/292.40 c #Conflicts: 570000 | #Constraints: 188971
291.37/292.40 c #Conflicts: 571000 | #Constraints: 189971
291.37/292.40 c #Conflicts: 572000 | #Constraints: 190971
312.50/313.61 c #Conflicts: 573000 | #Constraints: 191971
312.50/313.61 c #Conflicts: 574000 | #Constraints: 192971
312.50/313.61 c #Conflicts: 575000 | #Constraints: 193971
312.50/313.61 c #Conflicts: 576000 | #Constraints: 194971
312.50/313.61 c #Conflicts: 577000 | #Constraints: 195971
312.50/313.61 c #Conflicts: 578000 | #Constraints: 196971
312.50/313.61 c #Conflicts: 579000 | #Constraints: 197971
312.50/313.61 c #Conflicts: 580000 | #Constraints: 198971
312.50/313.61 c #Conflicts: 581000 | #Constraints: 199971
312.50/313.61 c #Conflicts: 582000 | #Constraints: 200971
312.50/313.61 c #Conflicts: 583000 | #Constraints: 201971
312.50/313.61 c #Conflicts: 584000 | #Constraints: 202971
312.50/313.61 c #Conflicts: 585000 | #Constraints: 203971
312.50/313.61 c #Conflicts: 586000 | #Constraints: 204971
312.50/313.61 c #Conflicts: 587000 | #Constraints: 205971
312.50/313.61 c #Conflicts: 588000 | #Constraints: 206971
312.50/313.61 c #Conflicts: 589000 | #Constraints: 207971
312.50/313.61 c #Conflicts: 590000 | #Constraints: 208971
312.50/313.61 c #Conflicts: 591000 | #Constraints: 209971
312.50/313.61 c #Conflicts: 592000 | #Constraints: 210971
312.50/313.61 c #Conflicts: 593000 | #Constraints: 211971
312.50/313.61 c #Conflicts: 594000 | #Constraints: 212971
312.50/313.61 c #Conflicts: 595000 | #Constraints: 213971
312.50/313.61 c #Conflicts: 596000 | #Constraints: 214971
312.50/313.61 c #Conflicts: 597000 | #Constraints: 215971
312.50/313.61 c #Conflicts: 598000 | #Constraints: 216971
312.50/313.61 c #Conflicts: 599000 | #Constraints: 217971
312.50/313.61 c #Conflicts: 600000 | #Constraints: 218971
312.50/313.61 c #Conflicts: 601000 | #Constraints: 219971
312.50/313.61 c #Conflicts: 602000 | #Constraints: 220971
312.50/313.61 c #Conflicts: 603000 | #Constraints: 221971
312.50/313.61 c #Conflicts: 604000 | #Constraints: 222971
312.50/313.61 c #Conflicts: 605000 | #Constraints: 223971
312.50/313.61 c #Conflicts: 606000 | #Constraints: 224971
312.50/313.61 c #Conflicts: 607000 | #Constraints: 225971
312.50/313.61 c #Conflicts: 608000 | #Constraints: 226971
312.50/313.61 c #Conflicts: 609000 | #Constraints: 227971
312.50/313.61 c #Conflicts: 610000 | #Constraints: 228971
312.50/313.61 c #Conflicts: 611000 | #Constraints: 229971
312.50/313.61 c #Conflicts: 612000 | #Constraints: 230971
312.50/313.61 c #Conflicts: 613000 | #Constraints: 231971
312.50/313.61 c #Conflicts: 614000 | #Constraints: 232971
312.50/313.61 c #Conflicts: 615000 | #Constraints: 233971
312.50/313.61 c #Conflicts: 616000 | #Constraints: 234971
312.50/313.61 c #Conflicts: 617000 | #Constraints: 235971
312.50/313.61 c #Conflicts: 618000 | #Constraints: 236971
312.50/313.61 c #Conflicts: 619000 | #Constraints: 237971
312.50/313.61 c INPROCESSING
312.50/313.61 c GARBAGE COLLECT
312.50/313.61 c #Conflicts: 620000 | #Constraints: 198443
312.50/313.61 c #Conflicts: 621000 | #Constraints: 199443
312.50/313.61 c #Conflicts: 622000 | #Constraints: 200443
312.50/313.61 c #Conflicts: 623000 | #Constraints: 201443
312.50/313.61 c #Conflicts: 624000 | #Constraints: 202443
312.50/313.61 c #Conflicts: 625000 | #Constraints: 203443
312.50/313.61 c #Conflicts: 626000 | #Constraints: 204443
312.50/313.61 c #Conflicts: 627000 | #Constraints: 205443
312.50/313.61 c #Conflicts: 628000 | #Constraints: 206443
312.50/313.61 c #Conflicts: 629000 | #Constraints: 207443
312.50/313.61 c #Conflicts: 630000 | #Constraints: 208443
312.50/313.61 c #Conflicts: 631000 | #Constraints: 209443
312.50/313.61 c #Conflicts: 632000 | #Constraints: 210443
312.50/313.61 c #Conflicts: 633000 | #Constraints: 211443
312.50/313.61 c #Conflicts: 634000 | #Constraints: 212443
312.50/313.61 c #Conflicts: 635000 | #Constraints: 213443
312.50/313.61 c #Conflicts: 636000 | #Constraints: 214443
312.50/313.61 c #Conflicts: 637000 | #Constraints: 215443
312.50/313.61 c #Conflicts: 638000 | #Constraints: 216443
312.50/313.61 c #Conflicts: 639000 | #Constraints: 217443
312.50/313.61 c #Conflicts: 640000 | #Constraints: 218443
312.50/313.61 c INPROCESSING
312.50/313.61 c GARBAGE COLLECT
312.50/313.61 c #Conflicts: 641000 | #Constraints: 188723
312.50/313.61 c #Conflicts: 642000 | #Constraints: 189723
312.50/313.61 c #Conflicts: 643000 | #Constraints: 190723
312.50/313.61 c #Conflicts: 644000 | #Constraints: 191723
312.50/313.61 c #Conflicts: 645000 | #Constraints: 192723
312.50/313.61 c #Conflicts: 646000 | #Constraints: 193723
312.50/313.61 c #Conflicts: 647000 | #Constraints: 194723
312.50/313.61 c #Conflicts: 648000 | #Constraints: 195723
312.50/313.61 c #Conflicts: 649000 | #Constraints: 196723
332.35/333.52 c #Conflicts: 650000 | #Constraints: 197723
332.35/333.52 c #Conflicts: 651000 | #Constraints: 198723
332.35/333.52 c #Conflicts: 652000 | #Constraints: 199723
332.35/333.52 c #Conflicts: 653000 | #Constraints: 200723
332.35/333.52 c #Conflicts: 654000 | #Constraints: 201723
332.35/333.52 c #Conflicts: 655000 | #Constraints: 202723
332.35/333.52 c #Conflicts: 656000 | #Constraints: 203723
332.35/333.52 c #Conflicts: 657000 | #Constraints: 204723
332.35/333.52 c #Conflicts: 658000 | #Constraints: 205723
332.35/333.52 c #Conflicts: 659000 | #Constraints: 206723
332.35/333.52 c #Conflicts: 660000 | #Constraints: 207723
332.35/333.52 c #Conflicts: 661000 | #Constraints: 208723
332.35/333.52 c #Conflicts: 662000 | #Constraints: 209723
332.35/333.52 c #Conflicts: 663000 | #Constraints: 210723
332.35/333.52 c #Conflicts: 664000 | #Constraints: 211723
332.35/333.52 c #Conflicts: 665000 | #Constraints: 212723
332.35/333.52 c #Conflicts: 666000 | #Constraints: 213723
332.35/333.52 c #Conflicts: 667000 | #Constraints: 214723
332.35/333.52 c #Conflicts: 668000 | #Constraints: 215723
332.35/333.52 c #Conflicts: 669000 | #Constraints: 216723
332.35/333.52 c #Conflicts: 670000 | #Constraints: 217723
332.35/333.52 c #Conflicts: 671000 | #Constraints: 218723
332.35/333.52 c #Conflicts: 672000 | #Constraints: 219723
332.35/333.52 c #Conflicts: 673000 | #Constraints: 220723
332.35/333.52 c #Conflicts: 674000 | #Constraints: 221723
332.35/333.52 c #Conflicts: 675000 | #Constraints: 222723
332.35/333.52 c #Conflicts: 676000 | #Constraints: 223723
332.35/333.52 c #Conflicts: 677000 | #Constraints: 224723
332.35/333.52 c #Conflicts: 678000 | #Constraints: 225723
332.35/333.52 c #Conflicts: 679000 | #Constraints: 226723
332.35/333.52 c #Conflicts: 680000 | #Constraints: 227723
332.35/333.52 c #Conflicts: 681000 | #Constraints: 228723
332.35/333.52 c #Conflicts: 682000 | #Constraints: 229723
332.35/333.52 c #Conflicts: 683000 | #Constraints: 230723
332.35/333.52 c #Conflicts: 684000 | #Constraints: 231723
332.35/333.52 c #Conflicts: 685000 | #Constraints: 232723
332.35/333.52 c #Conflicts: 686000 | #Constraints: 233723
332.35/333.52 c #Conflicts: 687000 | #Constraints: 234723
332.35/333.52 c #Conflicts: 688000 | #Constraints: 235723
332.35/333.52 c #Conflicts: 689000 | #Constraints: 236723
332.35/333.52 c #Conflicts: 690000 | #Constraints: 237723
332.35/333.52 c #Conflicts: 691000 | #Constraints: 238723
332.35/333.52 c #Conflicts: 692000 | #Constraints: 239723
332.35/333.52 c #Conflicts: 693000 | #Constraints: 240723
332.35/333.52 c #Conflicts: 694000 | #Constraints: 241723
332.35/333.52 c #Conflicts: 695000 | #Constraints: 242723
332.35/333.52 c INPROCESSING
332.35/333.52 c GARBAGE COLLECT
332.35/333.52 c rational objective 319
356.28/357.55 c #Conflicts: 696000 | #Constraints: 200781
356.28/357.55 c #Conflicts: 697000 | #Constraints: 201781
356.28/357.55 c #Conflicts: 698000 | #Constraints: 202781
356.28/357.55 c #Conflicts: 699000 | #Constraints: 203781
356.28/357.55 c #Conflicts: 700000 | #Constraints: 204781
356.28/357.55 c #Conflicts: 701000 | #Constraints: 205781
356.28/357.55 c #Conflicts: 702000 | #Constraints: 206781
356.28/357.55 c #Conflicts: 703000 | #Constraints: 207781
356.28/357.55 c #Conflicts: 704000 | #Constraints: 208781
356.28/357.55 c #Conflicts: 705000 | #Constraints: 209781
356.28/357.55 c #Conflicts: 706000 | #Constraints: 210781
356.28/357.55 c #Conflicts: 707000 | #Constraints: 211781
356.28/357.55 c #Conflicts: 708000 | #Constraints: 212781
356.28/357.55 c #Conflicts: 709000 | #Constraints: 213781
356.28/357.55 c #Conflicts: 710000 | #Constraints: 214781
356.28/357.55 c #Conflicts: 711000 | #Constraints: 215781
356.28/357.55 c #Conflicts: 712000 | #Constraints: 216781
356.28/357.55 c #Conflicts: 713000 | #Constraints: 217781
356.28/357.55 c #Conflicts: 714000 | #Constraints: 218781
356.28/357.55 c #Conflicts: 715000 | #Constraints: 219781
356.28/357.55 c #Conflicts: 716000 | #Constraints: 220781
356.28/357.55 c #Conflicts: 717000 | #Constraints: 221781
356.28/357.55 c INPROCESSING
356.28/357.55 c GARBAGE COLLECT
356.28/357.55 c #Conflicts: 718000 | #Constraints: 190146
356.28/357.55 c #Conflicts: 719000 | #Constraints: 191146
356.28/357.55 c #Conflicts: 720000 | #Constraints: 192146
356.28/357.55 c #Conflicts: 721000 | #Constraints: 193146
356.28/357.55 c #Conflicts: 722000 | #Constraints: 194146
356.28/357.55 c #Conflicts: 723000 | #Constraints: 195146
356.28/357.55 c #Conflicts: 724000 | #Constraints: 196146
356.28/357.55 c #Conflicts: 725000 | #Constraints: 197146
356.28/357.55 c #Conflicts: 726000 | #Constraints: 198146
356.28/357.55 c #Conflicts: 727000 | #Constraints: 199146
356.28/357.55 c #Conflicts: 728000 | #Constraints: 200146
356.28/357.55 c #Conflicts: 729000 | #Constraints: 201146
356.28/357.55 c #Conflicts: 730000 | #Constraints: 202146
356.28/357.55 c #Conflicts: 731000 | #Constraints: 203146
356.28/357.55 c #Conflicts: 732000 | #Constraints: 204146
356.28/357.55 c #Conflicts: 733000 | #Constraints: 205146
356.28/357.55 c #Conflicts: 734000 | #Constraints: 206146
356.28/357.55 c #Conflicts: 735000 | #Constraints: 207146
356.28/357.55 c #Conflicts: 736000 | #Constraints: 208146
356.28/357.55 c #Conflicts: 737000 | #Constraints: 209146
356.28/357.55 c #Conflicts: 738000 | #Constraints: 210146
356.28/357.55 c #Conflicts: 739000 | #Constraints: 211146
356.28/357.55 c #Conflicts: 740000 | #Constraints: 212146
356.28/357.55 c #Conflicts: 741000 | #Constraints: 213146
356.28/357.55 c #Conflicts: 742000 | #Constraints: 214146
356.28/357.55 c #Conflicts: 743000 | #Constraints: 215146
356.28/357.55 c #Conflicts: 744000 | #Constraints: 216146
356.28/357.55 c #Conflicts: 745000 | #Constraints: 217146
356.28/357.55 c #Conflicts: 746000 | #Constraints: 218146
356.28/357.55 c #Conflicts: 747000 | #Constraints: 219146
356.28/357.55 c #Conflicts: 748000 | #Constraints: 220146
356.28/357.55 c #Conflicts: 749000 | #Constraints: 221146
356.28/357.55 c #Conflicts: 750000 | #Constraints: 222146
356.28/357.55 c #Conflicts: 751000 | #Constraints: 223146
356.28/357.55 c #Conflicts: 752000 | #Constraints: 224146
356.28/357.55 c #Conflicts: 753000 | #Constraints: 225146
356.28/357.55 c #Conflicts: 754000 | #Constraints: 226146
356.28/357.55 c #Conflicts: 755000 | #Constraints: 227146
356.28/357.55 c #Conflicts: 756000 | #Constraints: 228146
356.28/357.55 c #Conflicts: 757000 | #Constraints: 229146
356.28/357.55 c #Conflicts: 758000 | #Constraints: 230146
356.28/357.55 c #Conflicts: 759000 | #Constraints: 231146
356.28/357.55 c #Conflicts: 760000 | #Constraints: 232146
356.28/357.55 c #Conflicts: 761000 | #Constraints: 233146
356.28/357.55 c #Conflicts: 762000 | #Constraints: 234146
356.28/357.55 c #Conflicts: 763000 | #Constraints: 235146
356.28/357.55 c #Conflicts: 764000 | #Constraints: 236146
356.28/357.55 c #Conflicts: 765000 | #Constraints: 237146
356.28/357.55 c #Conflicts: 766000 | #Constraints: 238146
356.28/357.55 c #Conflicts: 767000 | #Constraints: 239146
356.28/357.55 c #Conflicts: 768000 | #Constraints: 240146
356.28/357.55 c #Conflicts: 769000 | #Constraints: 241146
356.28/357.55 c #Conflicts: 770000 | #Constraints: 242146
356.28/357.55 c #Conflicts: 771000 | #Constraints: 243146
356.28/357.55 c #Conflicts: 772000 | #Constraints: 244146
356.28/357.55 c #Conflicts: 773000 | #Constraints: 245146
356.28/357.55 c #Conflicts: 774000 | #Constraints: 246146
371.14/372.44 c #Conflicts: 775000 | #Constraints: 247146
371.14/372.44 c #Conflicts: 776000 | #Constraints: 248146
371.14/372.44 c INPROCESSING
371.14/372.44 c GARBAGE COLLECT
371.14/372.44 c #Conflicts: 777000 | #Constraints: 203631
371.14/372.44 c #Conflicts: 778000 | #Constraints: 204631
371.14/372.44 c #Conflicts: 779000 | #Constraints: 205631
371.14/372.44 c #Conflicts: 780000 | #Constraints: 206631
371.14/372.44 c #Conflicts: 781000 | #Constraints: 207631
371.14/372.44 c #Conflicts: 782000 | #Constraints: 208631
371.14/372.44 c #Conflicts: 783000 | #Constraints: 209631
371.14/372.44 c #Conflicts: 784000 | #Constraints: 210631
371.14/372.44 c #Conflicts: 785000 | #Constraints: 211631
371.14/372.44 c #Conflicts: 786000 | #Constraints: 212631
371.14/372.44 c #Conflicts: 787000 | #Constraints: 213631
371.14/372.44 c #Conflicts: 788000 | #Constraints: 214631
371.14/372.44 c #Conflicts: 789000 | #Constraints: 215631
371.14/372.44 c #Conflicts: 790000 | #Constraints: 216631
371.14/372.44 c #Conflicts: 791000 | #Constraints: 217631
371.14/372.44 c #Conflicts: 792000 | #Constraints: 218631
371.14/372.44 c #Conflicts: 793000 | #Constraints: 219631
371.14/372.44 c #Conflicts: 794000 | #Constraints: 220631
371.14/372.44 c #Conflicts: 795000 | #Constraints: 221631
371.14/372.44 c #Conflicts: 796000 | #Constraints: 222631
371.14/372.44 c #Conflicts: 797000 | #Constraints: 223631
371.14/372.44 c #Conflicts: 798000 | #Constraints: 224631
371.14/372.44 c #Conflicts: 799000 | #Constraints: 225631
371.14/372.44 c INPROCESSING
371.14/372.44 c GARBAGE COLLECT
371.14/372.44 c rational objective 319.05
395.87/397.26 c #Conflicts: 800000 | #Constraints: 192193
395.87/397.26 c #Conflicts: 801000 | #Constraints: 193193
395.87/397.26 c #Conflicts: 802000 | #Constraints: 194193
395.87/397.26 c #Conflicts: 803000 | #Constraints: 195193
395.87/397.26 c #Conflicts: 804000 | #Constraints: 196193
395.87/397.26 c #Conflicts: 805000 | #Constraints: 197193
395.87/397.26 c #Conflicts: 806000 | #Constraints: 198193
395.87/397.26 c #Conflicts: 807000 | #Constraints: 199193
395.87/397.26 c #Conflicts: 808000 | #Constraints: 200193
395.87/397.26 c #Conflicts: 809000 | #Constraints: 201193
395.87/397.26 c #Conflicts: 810000 | #Constraints: 202193
395.87/397.26 c #Conflicts: 811000 | #Constraints: 203193
395.87/397.26 c #Conflicts: 812000 | #Constraints: 204193
395.87/397.26 c #Conflicts: 813000 | #Constraints: 205193
395.87/397.26 c #Conflicts: 814000 | #Constraints: 206193
395.87/397.26 c #Conflicts: 815000 | #Constraints: 207193
395.87/397.26 c #Conflicts: 816000 | #Constraints: 208193
395.87/397.26 c #Conflicts: 817000 | #Constraints: 209193
395.87/397.26 c #Conflicts: 818000 | #Constraints: 210193
395.87/397.26 c #Conflicts: 819000 | #Constraints: 211193
395.87/397.26 c #Conflicts: 820000 | #Constraints: 212193
395.87/397.26 c #Conflicts: 821000 | #Constraints: 213193
395.87/397.26 c #Conflicts: 822000 | #Constraints: 214193
395.87/397.26 c #Conflicts: 823000 | #Constraints: 215193
395.87/397.26 c #Conflicts: 824000 | #Constraints: 216193
395.87/397.26 c #Conflicts: 825000 | #Constraints: 217193
395.87/397.26 c #Conflicts: 826000 | #Constraints: 218193
395.87/397.26 c #Conflicts: 827000 | #Constraints: 219193
395.87/397.26 c #Conflicts: 828000 | #Constraints: 220193
395.87/397.26 c #Conflicts: 829000 | #Constraints: 221193
395.87/397.26 c #Conflicts: 830000 | #Constraints: 222193
395.87/397.26 c #Conflicts: 831000 | #Constraints: 223193
395.87/397.26 c #Conflicts: 832000 | #Constraints: 224193
395.87/397.26 c #Conflicts: 833000 | #Constraints: 225193
395.87/397.26 c #Conflicts: 834000 | #Constraints: 226193
395.87/397.26 c #Conflicts: 835000 | #Constraints: 227193
395.87/397.26 c #Conflicts: 836000 | #Constraints: 228193
395.87/397.26 c #Conflicts: 837000 | #Constraints: 229193
395.87/397.26 c #Conflicts: 838000 | #Constraints: 230193
395.87/397.26 c #Conflicts: 839000 | #Constraints: 231193
395.87/397.26 c #Conflicts: 840000 | #Constraints: 232193
395.87/397.26 c #Conflicts: 841000 | #Constraints: 233193
395.87/397.26 c #Conflicts: 842000 | #Constraints: 234193
395.87/397.26 c #Conflicts: 843000 | #Constraints: 235193
395.87/397.26 c #Conflicts: 844000 | #Constraints: 236193
395.87/397.26 c #Conflicts: 845000 | #Constraints: 237193
395.87/397.26 c #Conflicts: 846000 | #Constraints: 238193
395.87/397.26 c #Conflicts: 847000 | #Constraints: 239193
395.87/397.26 c #Conflicts: 848000 | #Constraints: 240193
395.87/397.26 c #Conflicts: 849000 | #Constraints: 241193
395.87/397.26 c #Conflicts: 850000 | #Constraints: 242193
395.87/397.26 c #Conflicts: 851000 | #Constraints: 243193
395.87/397.26 c #Conflicts: 852000 | #Constraints: 244193
395.87/397.26 c #Conflicts: 853000 | #Constraints: 245193
395.87/397.26 c #Conflicts: 854000 | #Constraints: 246193
395.87/397.26 c #Conflicts: 855000 | #Constraints: 247193
395.87/397.26 c #Conflicts: 856000 | #Constraints: 248193
395.87/397.26 c #Conflicts: 857000 | #Constraints: 249193
395.87/397.26 c #Conflicts: 858000 | #Constraints: 250193
395.87/397.26 c #Conflicts: 859000 | #Constraints: 251193
395.87/397.26 c #Conflicts: 860000 | #Constraints: 252193
395.87/397.26 c #Conflicts: 861000 | #Constraints: 253193
395.87/397.26 c INPROCESSING
395.87/397.26 c GARBAGE COLLECT
395.87/397.26 c #Conflicts: 862000 | #Constraints: 206203
395.87/397.26 c #Conflicts: 863000 | #Constraints: 207203
395.87/397.26 c #Conflicts: 864000 | #Constraints: 208203
395.87/397.26 c #Conflicts: 865000 | #Constraints: 209203
395.87/397.26 c #Conflicts: 866000 | #Constraints: 210203
395.87/397.26 c #Conflicts: 867000 | #Constraints: 211203
395.87/397.26 c #Conflicts: 868000 | #Constraints: 212203
395.87/397.26 c #Conflicts: 869000 | #Constraints: 213203
395.87/397.26 c #Conflicts: 870000 | #Constraints: 214203
395.87/397.26 c #Conflicts: 871000 | #Constraints: 215203
395.87/397.26 c #Conflicts: 872000 | #Constraints: 216203
395.87/397.26 c #Conflicts: 873000 | #Constraints: 217203
395.87/397.26 c #Conflicts: 874000 | #Constraints: 218203
395.87/397.26 c #Conflicts: 875000 | #Constraints: 219203
395.87/397.26 c #Conflicts: 876000 | #Constraints: 220203
395.87/397.26 c #Conflicts: 877000 | #Constraints: 221203
395.87/397.26 c #Conflicts: 878000 | #Constraints: 222203
420.50/421.93 c #Conflicts: 879000 | #Constraints: 223203
420.50/421.93 c #Conflicts: 880000 | #Constraints: 224203
420.50/421.93 c #Conflicts: 881000 | #Constraints: 225203
420.50/421.93 c #Conflicts: 882000 | #Constraints: 226203
420.50/421.93 c #Conflicts: 883000 | #Constraints: 227203
420.50/421.93 c #Conflicts: 884000 | #Constraints: 228203
420.50/421.93 c #Conflicts: 885000 | #Constraints: 229203
420.50/421.93 c INPROCESSING
420.50/421.93 c GARBAGE COLLECT
420.50/421.93 c #Conflicts: 886000 | #Constraints: 193865
420.50/421.93 c #Conflicts: 887000 | #Constraints: 194865
420.50/421.93 c #Conflicts: 888000 | #Constraints: 195865
420.50/421.93 c #Conflicts: 889000 | #Constraints: 196865
420.50/421.93 c #Conflicts: 890000 | #Constraints: 197865
420.50/421.93 c #Conflicts: 891000 | #Constraints: 198865
420.50/421.93 c #Conflicts: 892000 | #Constraints: 199865
420.50/421.93 c #Conflicts: 893000 | #Constraints: 200865
420.50/421.93 c #Conflicts: 894000 | #Constraints: 201865
420.50/421.93 c #Conflicts: 895000 | #Constraints: 202865
420.50/421.93 c #Conflicts: 896000 | #Constraints: 203865
420.50/421.93 c #Conflicts: 897000 | #Constraints: 204865
420.50/421.93 c #Conflicts: 898000 | #Constraints: 205865
420.50/421.93 c #Conflicts: 899000 | #Constraints: 206865
420.50/421.93 c #Conflicts: 900000 | #Constraints: 207865
420.50/421.93 c #Conflicts: 901000 | #Constraints: 208865
420.50/421.93 c #Conflicts: 902000 | #Constraints: 209865
420.50/421.93 c #Conflicts: 903000 | #Constraints: 210865
420.50/421.93 c #Conflicts: 904000 | #Constraints: 211865
420.50/421.93 c #Conflicts: 905000 | #Constraints: 212865
420.50/421.93 c #Conflicts: 906000 | #Constraints: 213865
420.50/421.93 c #Conflicts: 907000 | #Constraints: 214865
420.50/421.93 c #Conflicts: 908000 | #Constraints: 215865
420.50/421.93 c #Conflicts: 909000 | #Constraints: 216865
420.50/421.93 c #Conflicts: 910000 | #Constraints: 217865
420.50/421.93 c #Conflicts: 911000 | #Constraints: 218865
420.50/421.93 c #Conflicts: 912000 | #Constraints: 219865
420.50/421.93 c #Conflicts: 913000 | #Constraints: 220865
420.50/421.93 c #Conflicts: 914000 | #Constraints: 221865
420.50/421.93 c #Conflicts: 915000 | #Constraints: 222865
420.50/421.93 c #Conflicts: 916000 | #Constraints: 223865
420.50/421.93 c #Conflicts: 917000 | #Constraints: 224865
420.50/421.93 c #Conflicts: 918000 | #Constraints: 225865
420.50/421.93 c #Conflicts: 919000 | #Constraints: 226865
420.50/421.93 c #Conflicts: 920000 | #Constraints: 227865
420.50/421.93 c #Conflicts: 921000 | #Constraints: 228865
420.50/421.93 c #Conflicts: 922000 | #Constraints: 229865
420.50/421.93 c #Conflicts: 923000 | #Constraints: 230865
420.50/421.93 c #Conflicts: 924000 | #Constraints: 231865
420.50/421.93 c #Conflicts: 925000 | #Constraints: 232865
420.50/421.93 c #Conflicts: 926000 | #Constraints: 233865
420.50/421.93 c #Conflicts: 927000 | #Constraints: 234865
420.50/421.93 c #Conflicts: 928000 | #Constraints: 235865
420.50/421.93 c #Conflicts: 929000 | #Constraints: 236865
420.50/421.93 c #Conflicts: 930000 | #Constraints: 237865
420.50/421.93 c #Conflicts: 931000 | #Constraints: 238865
420.50/421.93 c #Conflicts: 932000 | #Constraints: 239865
420.50/421.93 c #Conflicts: 933000 | #Constraints: 240865
420.50/421.93 c #Conflicts: 934000 | #Constraints: 241865
420.50/421.93 c #Conflicts: 935000 | #Constraints: 242865
420.50/421.93 c #Conflicts: 936000 | #Constraints: 243865
420.50/421.93 c #Conflicts: 937000 | #Constraints: 244865
420.50/421.93 c #Conflicts: 938000 | #Constraints: 245865
420.50/421.93 c #Conflicts: 939000 | #Constraints: 246865
420.50/421.93 c #Conflicts: 940000 | #Constraints: 247865
420.50/421.93 c #Conflicts: 941000 | #Constraints: 248865
420.50/421.93 c #Conflicts: 942000 | #Constraints: 249865
420.50/421.93 c #Conflicts: 943000 | #Constraints: 250865
420.50/421.93 c #Conflicts: 944000 | #Constraints: 251865
420.50/421.93 c #Conflicts: 945000 | #Constraints: 252865
420.50/421.93 c #Conflicts: 946000 | #Constraints: 253865
420.50/421.93 c #Conflicts: 947000 | #Constraints: 254865
420.50/421.93 c #Conflicts: 948000 | #Constraints: 255865
420.50/421.93 c #Conflicts: 949000 | #Constraints: 256865
420.50/421.93 c #Conflicts: 950000 | #Constraints: 257865
420.50/421.93 c INPROCESSING
420.50/421.93 c GARBAGE COLLECT
420.50/421.93 c rational objective 319.375
441.44/442.97 c #Conflicts: 951000 | #Constraints: 208332
441.44/442.97 c #Conflicts: 952000 | #Constraints: 209332
441.44/442.97 c #Conflicts: 953000 | #Constraints: 210332
441.44/442.97 c #Conflicts: 954000 | #Constraints: 211332
441.44/442.97 c #Conflicts: 955000 | #Constraints: 212332
441.44/442.97 c #Conflicts: 956000 | #Constraints: 213332
441.44/442.97 c #Conflicts: 957000 | #Constraints: 214332
441.44/442.97 c #Conflicts: 958000 | #Constraints: 215332
441.44/442.97 c #Conflicts: 959000 | #Constraints: 216332
441.44/442.97 c #Conflicts: 960000 | #Constraints: 217332
441.44/442.97 c #Conflicts: 961000 | #Constraints: 218332
441.44/442.97 c #Conflicts: 962000 | #Constraints: 219332
441.44/442.97 c #Conflicts: 963000 | #Constraints: 220332
441.44/442.97 c #Conflicts: 964000 | #Constraints: 221332
441.44/442.97 c #Conflicts: 965000 | #Constraints: 222332
441.44/442.97 c #Conflicts: 966000 | #Constraints: 223332
441.44/442.97 c #Conflicts: 967000 | #Constraints: 224332
441.44/442.97 c #Conflicts: 968000 | #Constraints: 225332
441.44/442.97 c #Conflicts: 969000 | #Constraints: 226332
441.44/442.97 c #Conflicts: 970000 | #Constraints: 227332
441.44/442.97 c #Conflicts: 971000 | #Constraints: 228332
441.44/442.97 c #Conflicts: 972000 | #Constraints: 229332
441.44/442.97 c #Conflicts: 973000 | #Constraints: 230332
441.44/442.97 c #Conflicts: 974000 | #Constraints: 231332
441.44/442.97 c #Conflicts: 975000 | #Constraints: 232332
441.44/442.97 c #Conflicts: 976000 | #Constraints: 233332
441.44/442.97 c INPROCESSING
441.44/442.97 c GARBAGE COLLECT
441.44/442.97 c rational objective 319.769
468.67/470.21 c #Conflicts: 977000 | #Constraints: 195969
468.67/470.21 c #Conflicts: 978000 | #Constraints: 196969
468.67/470.21 c #Conflicts: 979000 | #Constraints: 197969
468.67/470.21 c #Conflicts: 980000 | #Constraints: 198969
468.67/470.21 c #Conflicts: 981000 | #Constraints: 199969
468.67/470.21 c #Conflicts: 982000 | #Constraints: 200969
468.67/470.21 c #Conflicts: 983000 | #Constraints: 201969
468.67/470.21 c #Conflicts: 984000 | #Constraints: 202969
468.67/470.21 c #Conflicts: 985000 | #Constraints: 203969
468.67/470.21 c #Conflicts: 986000 | #Constraints: 204969
468.67/470.21 c #Conflicts: 987000 | #Constraints: 205969
468.67/470.21 c #Conflicts: 988000 | #Constraints: 206969
468.67/470.21 c #Conflicts: 989000 | #Constraints: 207969
468.67/470.21 c #Conflicts: 990000 | #Constraints: 208969
468.67/470.21 c #Conflicts: 991000 | #Constraints: 209969
468.67/470.21 c #Conflicts: 992000 | #Constraints: 210969
468.67/470.21 c #Conflicts: 993000 | #Constraints: 211969
468.67/470.21 c #Conflicts: 994000 | #Constraints: 212969
468.67/470.21 c #Conflicts: 995000 | #Constraints: 213969
468.67/470.21 c #Conflicts: 996000 | #Constraints: 214969
468.67/470.21 c #Conflicts: 997000 | #Constraints: 215969
468.67/470.21 c #Conflicts: 998000 | #Constraints: 216969
468.67/470.21 c #Conflicts: 999000 | #Constraints: 217969
468.67/470.21 c #Conflicts: 1000000 | #Constraints: 218969
468.67/470.21 c #Conflicts: 1001000 | #Constraints: 219969
468.67/470.21 c #Conflicts: 1002000 | #Constraints: 220969
468.67/470.21 c #Conflicts: 1003000 | #Constraints: 221969
468.67/470.21 c #Conflicts: 1004000 | #Constraints: 222969
468.67/470.21 c #Conflicts: 1005000 | #Constraints: 223969
468.67/470.21 c #Conflicts: 1006000 | #Constraints: 224969
468.67/470.21 c #Conflicts: 1007000 | #Constraints: 225969
468.67/470.21 c #Conflicts: 1008000 | #Constraints: 226969
468.67/470.21 c #Conflicts: 1009000 | #Constraints: 227969
468.67/470.21 c #Conflicts: 1010000 | #Constraints: 228969
468.67/470.21 c #Conflicts: 1011000 | #Constraints: 229969
468.67/470.21 c #Conflicts: 1012000 | #Constraints: 230969
468.67/470.21 c #Conflicts: 1013000 | #Constraints: 231969
468.67/470.21 c #Conflicts: 1014000 | #Constraints: 232969
468.67/470.21 c #Conflicts: 1015000 | #Constraints: 233969
468.67/470.21 c #Conflicts: 1016000 | #Constraints: 234969
468.67/470.21 c #Conflicts: 1017000 | #Constraints: 235969
468.67/470.21 c #Conflicts: 1018000 | #Constraints: 236969
468.67/470.21 c #Conflicts: 1019000 | #Constraints: 237969
468.67/470.21 c #Conflicts: 1020000 | #Constraints: 238969
468.67/470.21 c #Conflicts: 1021000 | #Constraints: 239969
468.67/470.21 c #Conflicts: 1022000 | #Constraints: 240969
468.67/470.21 c #Conflicts: 1023000 | #Constraints: 241969
468.67/470.21 c #Conflicts: 1024000 | #Constraints: 242969
468.67/470.21 c #Conflicts: 1025000 | #Constraints: 243969
468.67/470.21 c #Conflicts: 1026000 | #Constraints: 244969
468.67/470.21 c #Conflicts: 1027000 | #Constraints: 245969
468.67/470.21 c #Conflicts: 1028000 | #Constraints: 246969
468.67/470.21 c #Conflicts: 1029000 | #Constraints: 247969
468.67/470.21 c #Conflicts: 1030000 | #Constraints: 248969
468.67/470.21 c #Conflicts: 1031000 | #Constraints: 249969
468.67/470.21 c #Conflicts: 1032000 | #Constraints: 250969
468.67/470.21 c #Conflicts: 1033000 | #Constraints: 251969
468.67/470.21 c #Conflicts: 1034000 | #Constraints: 252969
468.67/470.21 c #Conflicts: 1035000 | #Constraints: 253969
468.67/470.21 c #Conflicts: 1036000 | #Constraints: 254969
468.67/470.21 c #Conflicts: 1037000 | #Constraints: 255969
468.67/470.21 c #Conflicts: 1038000 | #Constraints: 256969
468.67/470.21 c #Conflicts: 1039000 | #Constraints: 257969
468.67/470.21 c #Conflicts: 1040000 | #Constraints: 258969
468.67/470.21 c #Conflicts: 1041000 | #Constraints: 259969
468.67/470.21 c #Conflicts: 1042000 | #Constraints: 260969
468.67/470.21 c #Conflicts: 1043000 | #Constraints: 261969
468.67/470.21 c #Conflicts: 1044000 | #Constraints: 262969
468.67/470.21 c INPROCESSING
468.67/470.21 c GARBAGE COLLECT
468.67/470.21 c #Conflicts: 1045000 | #Constraints: 210259
468.67/470.21 c #Conflicts: 1046000 | #Constraints: 211259
468.67/470.21 c #Conflicts: 1047000 | #Constraints: 212259
468.67/470.21 c #Conflicts: 1048000 | #Constraints: 213259
468.67/470.21 c #Conflicts: 1049000 | #Constraints: 214259
468.67/470.21 c #Conflicts: 1050000 | #Constraints: 215259
468.67/470.21 c #Conflicts: 1051000 | #Constraints: 216259
468.67/470.21 c #Conflicts: 1052000 | #Constraints: 217259
468.67/470.21 c #Conflicts: 1053000 | #Constraints: 218259
468.67/470.21 c #Conflicts: 1054000 | #Constraints: 219259
468.67/470.21 c #Conflicts: 1055000 | #Constraints: 220259
492.80/494.41 c #Conflicts: 1056000 | #Constraints: 221259
492.80/494.41 c #Conflicts: 1057000 | #Constraints: 222259
492.80/494.41 c #Conflicts: 1058000 | #Constraints: 223259
492.80/494.41 c #Conflicts: 1059000 | #Constraints: 224259
492.80/494.41 c #Conflicts: 1060000 | #Constraints: 225259
492.80/494.41 c #Conflicts: 1061000 | #Constraints: 226259
492.80/494.41 c #Conflicts: 1062000 | #Constraints: 227259
492.80/494.41 c #Conflicts: 1063000 | #Constraints: 228259
492.80/494.41 c #Conflicts: 1064000 | #Constraints: 229259
492.80/494.41 c #Conflicts: 1065000 | #Constraints: 230259
492.80/494.41 c #Conflicts: 1066000 | #Constraints: 231259
492.80/494.41 c #Conflicts: 1067000 | #Constraints: 232259
492.80/494.41 c #Conflicts: 1068000 | #Constraints: 233259
492.80/494.41 c #Conflicts: 1069000 | #Constraints: 234259
492.80/494.41 c #Conflicts: 1070000 | #Constraints: 235259
492.80/494.41 c #Conflicts: 1071000 | #Constraints: 236259
492.80/494.41 c INPROCESSING
492.80/494.41 c GARBAGE COLLECT
492.80/494.41 c #Conflicts: 1072000 | #Constraints: 191940
492.80/494.41 c #Conflicts: 1073000 | #Constraints: 192940
492.80/494.41 c #Conflicts: 1074000 | #Constraints: 193940
492.80/494.41 c #Conflicts: 1075000 | #Constraints: 194940
492.80/494.41 c #Conflicts: 1076000 | #Constraints: 195940
492.80/494.41 c #Conflicts: 1077000 | #Constraints: 196940
492.80/494.41 c #Conflicts: 1078000 | #Constraints: 197940
492.80/494.41 c #Conflicts: 1079000 | #Constraints: 198940
492.80/494.41 c #Conflicts: 1080000 | #Constraints: 199940
492.80/494.41 c #Conflicts: 1081000 | #Constraints: 200940
492.80/494.41 c #Conflicts: 1082000 | #Constraints: 201940
492.80/494.41 c #Conflicts: 1083000 | #Constraints: 202940
492.80/494.41 c #Conflicts: 1084000 | #Constraints: 203940
492.80/494.41 c #Conflicts: 1085000 | #Constraints: 204940
492.80/494.41 c #Conflicts: 1086000 | #Constraints: 205940
492.80/494.41 c #Conflicts: 1087000 | #Constraints: 206940
492.80/494.41 c #Conflicts: 1088000 | #Constraints: 207940
492.80/494.41 c #Conflicts: 1089000 | #Constraints: 208940
492.80/494.41 c #Conflicts: 1090000 | #Constraints: 209940
492.80/494.41 c #Conflicts: 1091000 | #Constraints: 210940
492.80/494.41 c #Conflicts: 1092000 | #Constraints: 211940
492.80/494.41 c #Conflicts: 1093000 | #Constraints: 212940
492.80/494.41 c #Conflicts: 1094000 | #Constraints: 213940
492.80/494.41 c #Conflicts: 1095000 | #Constraints: 214940
492.80/494.41 c #Conflicts: 1096000 | #Constraints: 215940
492.80/494.41 c #Conflicts: 1097000 | #Constraints: 216940
492.80/494.41 c #Conflicts: 1098000 | #Constraints: 217940
492.80/494.41 c #Conflicts: 1099000 | #Constraints: 218940
492.80/494.41 c #Conflicts: 1100000 | #Constraints: 219940
492.80/494.41 c #Conflicts: 1101000 | #Constraints: 220940
492.80/494.41 c #Conflicts: 1102000 | #Constraints: 221940
492.80/494.41 c #Conflicts: 1103000 | #Constraints: 222940
492.80/494.41 c #Conflicts: 1104000 | #Constraints: 223940
492.80/494.41 c #Conflicts: 1105000 | #Constraints: 224940
492.80/494.41 c #Conflicts: 1106000 | #Constraints: 225940
492.80/494.41 c #Conflicts: 1107000 | #Constraints: 226940
492.80/494.41 c #Conflicts: 1108000 | #Constraints: 227940
492.80/494.41 c #Conflicts: 1109000 | #Constraints: 228940
492.80/494.41 c #Conflicts: 1110000 | #Constraints: 229940
492.80/494.41 c #Conflicts: 1111000 | #Constraints: 230940
492.80/494.41 c #Conflicts: 1112000 | #Constraints: 231940
492.80/494.41 c #Conflicts: 1113000 | #Constraints: 232940
492.80/494.41 c #Conflicts: 1114000 | #Constraints: 233940
492.80/494.41 c #Conflicts: 1115000 | #Constraints: 234940
492.80/494.41 c #Conflicts: 1116000 | #Constraints: 235940
492.80/494.41 c #Conflicts: 1117000 | #Constraints: 236940
492.80/494.41 c #Conflicts: 1118000 | #Constraints: 237940
492.80/494.41 c #Conflicts: 1119000 | #Constraints: 238940
492.80/494.41 c #Conflicts: 1120000 | #Constraints: 239940
492.80/494.41 c #Conflicts: 1121000 | #Constraints: 240940
492.80/494.41 c #Conflicts: 1122000 | #Constraints: 241940
492.80/494.41 c #Conflicts: 1123000 | #Constraints: 242940
492.80/494.41 c #Conflicts: 1124000 | #Constraints: 243940
492.80/494.41 c #Conflicts: 1125000 | #Constraints: 244940
492.80/494.41 c #Conflicts: 1126000 | #Constraints: 245940
492.80/494.41 c #Conflicts: 1127000 | #Constraints: 246940
492.80/494.41 c #Conflicts: 1128000 | #Constraints: 247940
492.80/494.41 c #Conflicts: 1129000 | #Constraints: 248940
492.80/494.41 c #Conflicts: 1130000 | #Constraints: 249940
492.80/494.41 c #Conflicts: 1131000 | #Constraints: 250940
492.80/494.41 c #Conflicts: 1132000 | #Constraints: 251940
492.80/494.41 c #Conflicts: 1133000 | #Constraints: 252940
498.49/500.12 c #Conflicts: 1134000 | #Constraints: 253940
498.49/500.12 c #Conflicts: 1135000 | #Constraints: 254940
498.49/500.12 c #Conflicts: 1136000 | #Constraints: 255940
498.49/500.12 c #Conflicts: 1137000 | #Constraints: 256940
498.49/500.12 c #Conflicts: 1138000 | #Constraints: 257940
498.49/500.12 c #Conflicts: 1139000 | #Constraints: 258940
498.49/500.12 c #Conflicts: 1140000 | #Constraints: 259940
498.49/500.12 c #Conflicts: 1141000 | #Constraints: 260940
498.49/500.12 c #Conflicts: 1142000 | #Constraints: 261940
498.49/500.12 c INPROCESSING
498.49/500.12 c GARBAGE COLLECT
498.49/500.12 c rational objective 355.907
506.66/508.31 c #Conflicts: 1143000 | #Constraints: 209638
506.66/508.31 c #Conflicts: 1144000 | #Constraints: 210638
506.66/508.31 c #Conflicts: 1145000 | #Constraints: 211638
506.66/508.31 c #Conflicts: 1146000 | #Constraints: 212638
506.66/508.31 c #Conflicts: 1147000 | #Constraints: 213638
506.66/508.31 c #Conflicts: 1148000 | #Constraints: 214638
506.66/508.31 c #Conflicts: 1149000 | #Constraints: 215638
506.66/508.31 c #Conflicts: 1150000 | #Constraints: 216638
506.66/508.31 c #Conflicts: 1151000 | #Constraints: 217638
506.66/508.31 c #Conflicts: 1152000 | #Constraints: 218638
506.66/508.31 c #Conflicts: 1153000 | #Constraints: 219638
506.66/508.31 c cpu time 500.762 s
506.66/508.31 c deterministic time 6122667461 6.12e+09
506.66/508.31 c optimization time 8.6e-05 s
506.66/508.31 c total solve time 499.771 s
506.66/508.31 c core-guided solve time 0 s
506.66/508.31 c propagation time 123.485 s
506.66/508.31 c conflict analysis time 60.9062 s
506.66/508.31 c propagations 326404735
506.66/508.31 c resolve steps 22614488
506.66/508.31 c decisions 3395532
506.66/508.31 c conflicts 1153957
506.66/508.31 c restarts 2140
506.66/508.31 c inprocessing phases 48
506.66/508.31 c garbage collections 37 ,( 77.08 )
506.66/508.31 c input clauses 139854 ,( 89.59 )
506.66/508.31 c input cardinalities 564 ,( 0.36 )
506.66/508.31 c input general constraints 15694 ,( 10.05 )
506.66/508.31 c input average constraint length 3.90
506.66/508.31 c input average constraint degree 1.12
506.66/508.31 c learned clauses 1153513 ,( 99.96 )
506.66/508.31 c learned cardinalities 271 ,( 0.02 )
506.66/508.31 c learned general constraints 196 ,( 0.02 )
506.66/508.31 c learned average constraint length 93.68
506.66/508.31 c learned average constraint degree 6700.36
506.66/508.31 c watched CF 32, 64, 128, Arb: 51 , 0 , 0 , 0
506.66/508.31 c counting CF 32, 64, 128, Arb: 15839 , 0 , 0 , 0
506.66/508.31 c watched constraints 51 ,( 0.32 )
506.66/508.31 c counting constraints 15839 ,( 99.68 )
506.66/508.31 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1211202369 , 1299276 , 19745744 ,( 9819 , 19735925 )
506.66/508.31 c gcd simplifications 1605
506.66/508.31 c detected cardinalities 23
506.66/508.31 c weakened non-implied lits 551132
506.66/508.31 c weakened non-implying lits 2436
506.66/508.31 c original variables 7351
506.66/508.31 c clausal propagations 321510714
506.66/508.31 c cardinality propagations 764392
506.66/508.31 c watched propagations 301
506.66/508.31 c counting propagations 2972986
506.66/508.31 c watch lookups 1530980563
506.66/508.31 c watch backjump lookups 0
506.66/508.31 c watch checks 3235280393
506.66/508.31 c propagation checks 378890813
506.66/508.31 c constraint additions 316523913
506.66/508.31 c trail pops 330952108
506.66/508.31 c formula constraints 156112
506.66/508.31 c learned constraints 1153956
506.66/508.31 c bound constraints 0
506.66/508.31 c core-guided constraints 0
506.66/508.31 c encountered formula constraints 13549220
506.66/508.31 c encountered learned constraints 10217539
506.66/508.31 c encountered bound constraints 0
506.66/508.31 c encountered core-guided constraints 0
506.66/508.31 c LP total time 104.37 s
506.66/508.31 c LP solve time 95.16 s
506.66/508.31 c LP constraints added 156237
506.66/508.31 c LP constraints removed 87
506.66/508.31 c LP pivots internal 122932
506.66/508.31 c LP pivots root 116471
506.66/508.31 c LP calls 41
506.66/508.31 c LP optimalities 36
506.66/508.31 c LP no pivot count 0
506.66/508.31 c LP infeasibilities 0
506.66/508.31 c LP valid Farkas constraints 0
506.66/508.31 c LP learned Farkas constraints 0
506.66/508.31 c LP basis resets 0
506.66/508.31 c LP cycling count 0
506.66/508.31 c LP singular count 0
506.66/508.31 c LP no primal count 0
506.66/508.31 c LP no farkas count 0
506.66/508.31 c LP other issue count 0
506.66/508.31 c LP Gomory cuts 24
506.66/508.31 c LP learned cuts 135
506.66/508.31 c LP deleted cuts 108
506.66/508.31 c LP encountered Gomory constraints 1686
506.66/508.31 c LP encountered Farkas constraints 0
506.66/508.31 c LP encountered learned Farkas constraints 0
506.66/508.31 c CG auxiliary variables introduced 0
506.66/508.31 c CG solutions found 0
506.66/508.31 c CG cores constructed 0
506.66/508.31 c CG core cardinality constraints returned 0
506.66/508.31 c CG unit cores 0
506.66/508.31 c CG single cores 0
506.66/508.31 c CG blocks removed during cardinality reduction 0
506.66/508.31 c CG first core best 0
506.66/508.31 c CG decision core best 0
506.66/508.31 c CG core reduction tie 0
506.66/508.31 c CG core degree average 0.00
506.66/508.31 c CG core slack average 0.00
506.66/508.31 c CG core upper bound improvements 0
506.66/508.31 c STR number of successful calls 0
506.66/508.31 c STR number of unsuccessful calls 0
506.66/508.31 c STR number of inconclusive calls 0
506.66/508.31 c STR number of successful attempts 0
506.66/508.31 c STR number of unsuccessful attempts 0
506.66/508.31 c STR number of inconclusive attempts 0
506.66/508.31 c STR average degree increase per successful call inf
506.66/508.31 c STR average degree increase per successful attempt inf
506.66/508.31 c STR total number of conflicts for successful attempts 0
506.66/508.31 c STR total number of conflicts for unsuccessful attempts 0
506.66/508.31 c STR total number of conflicts for inconclusive attempts 0
506.66/508.31 c STR average number of conflicts per successful attempt inf
506.66/508.31 c STR average number of conflicts per unsuccessful attempt inf
506.66/508.31 c STR average number of conflicts per inconclusive attempt inf
506.66/508.31 c AVG.sumWPerc 60.75
506.66/508.31 c bigint constraints 0
506.66/508.33 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63202 MiB free)
memory of node 1: 64507 MiB (64049 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503422-1751170846/watcher-4503422-1751170846 -o /tmp/evaluation-result-4503422-1751170846/solver-4503422-1751170846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20071 --watchdog 3760 run-dec-ls.sh HOME/instance-4503422-1751170846.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20118, runsolver pid=20115
[startup+0.100104 s]*
/proc/loadavg: 1.07 1.90 3.03 6/248 20120
/proc/meminfo: memFree=130278756/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=60096 memory=15224 CPUtime=0.09 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 1565 0 0 0 6 3 0 0 20 0 1 0 32763997 61538304 3806 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 15024 3806 1984 1147 0 2451 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64288 KiB
Current children cumulated memory: 18296 KiB
[startup+0.213956 s]*
/proc/loadavg: 1.07 1.90 3.03 5/249 20121
/proc/meminfo: memFree=130272712/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=64784 memory=19956 CPUtime=0.2 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 2835 0 0 0 15 5 0 0 20 0 1 0 32763997 66338816 4989 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 16196 4989 1984 1147 0 3623 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68976 KiB
Current children cumulated memory: 23028 KiB
[startup+0.314028 s]*
/proc/loadavg: 1.07 1.90 3.03 5/251 20125
/proc/meminfo: memFree=130259104/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=69488 memory=24100 CPUtime=0.29 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 4069 0 0 0 21 8 0 0 20 0 1 0 32763997 71155712 6025 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 17372 6025 1984 1147 0 4799 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73680 KiB
Current children cumulated memory: 27172 KiB
[startup+0.700352 s]
/proc/loadavg: 1.07 1.90 3.03 5/254 20131
/proc/meminfo: memFree=130193828/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=89668 memory=43908 CPUtime=0.67 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 8946 0 0 0 49 18 0 0 20 0 1 0 32763997 91820032 10977 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 22417 10977 1984 1147 0 9844 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 93860 KiB
Current children cumulated memory: 46980 KiB
[startup+1.50044 s]
/proc/loadavg: 1.31 1.93 3.03 5/254 20131
/proc/meminfo: memFree=130124820/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=336752 memory=236028 CPUtime=1.47 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 33473 0 0 0 108 39 0 0 20 0 1 0 32763997 344834048 59007 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 84188 59007 2240 1147 0 71615 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 340944 KiB
Current children cumulated memory: 239100 KiB
[startup+3.11333 s]
/proc/loadavg: 1.31 1.93 3.03 5/254 20131
/proc/meminfo: memFree=129752900/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=336752 memory=237180 CPUtime=3.07 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 33712 0 0 0 268 39 0 0 20 0 1 0 32763997 344834048 59295 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 84188 59295 2304 1147 0 71615 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 340944 KiB
Current children cumulated memory: 240252 KiB
[startup+6.30039 s]
/proc/loadavg: 1.52 1.97 3.04 5/254 20177
/proc/meminfo: memFree=129172124/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=336752 memory=237180 CPUtime=6.22 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 33716 0 0 0 581 41 0 0 20 0 1 0 32763997 344834048 59295 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 84188 59295 2304 1147 0 71615 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 340944 KiB
Current children cumulated memory: 240252 KiB
[startup+12.7004 s]
/proc/loadavg: 1.80 2.02 3.05 5/254 20177
/proc/meminfo: memFree=128914900/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=358440 memory=250452 CPUtime=12.6 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 35992 0 0 0 1217 43 0 0 20 0 1 0 32763997 367042560 62613 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 89610 62613 2368 1147 0 77037 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 362632 KiB
Current children cumulated memory: 253524 KiB
[startup+25.5004 s]
/proc/loadavg: 2.22 2.10 3.07 5/254 20177
/proc/meminfo: memFree=128972760/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=358440 memory=250580 CPUtime=25.36 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 35995 0 0 0 2491 45 0 0 20 0 1 0 32763997 367042560 62645 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 89610 62645 2368 1147 0 77037 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 362632 KiB
Current children cumulated memory: 253652 KiB
[startup+51.1135 s]
/proc/loadavg: 2.92 2.29 3.10 5/255 20178
/proc/meminfo: memFree=128967572/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=358440 memory=251988 CPUtime=50.87 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 36410 0 0 0 5033 54 0 0 20 0 1 0 32763997 367042560 62997 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 89610 62997 2368 1147 0 77037 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 362632 KiB
Current children cumulated memory: 255060 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.58 3.16 5/255 20180
/proc/meminfo: memFree=128949896/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=366884 memory=260740 CPUtime=101.88 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 37070 0 0 0 10103 85 0 0 20 0 1 0 32763997 375689216 65185 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 91721 65185 2368 1147 0 79148 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 371076 KiB
Current children cumulated memory: 263812 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.86 3.22 5/255 20182
/proc/meminfo: memFree=128926684/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=396664 memory=282712 CPUtime=161.68 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 39521 0 0 0 16003 165 0 0 20 0 1 0 32763997 406183936 70678 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 99166 70678 2368 1147 0 86593 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 400856 KiB
Current children cumulated memory: 285784 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.09 3.28 5/256 20231
/proc/meminfo: memFree=128535000/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=403372 memory=293996 CPUtime=221.46 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 40260 0 0 0 21904 242 0 0 20 0 1 0 32763997 413052928 73499 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 100843 73499 2368 1147 0 88270 0
Current children cumulated CPU time: 221.46 s
################
# More data... #
################
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 40301 0 0 0 27821 308 0 0 20 0 1 0 32763997 413052928 76785 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 100843 76785 2368 1147 0 88270 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 407564 KiB
Current children cumulated memory: 310212 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.43 3.38 5/255 20235
/proc/meminfo: memFree=128441496/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=422340 memory=309060 CPUtime=341.13 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 40789 0 0 0 33727 386 0 0 20 0 1 0 32763997 432476160 77265 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 105585 77265 2368 1147 0 93012 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 426532 KiB
Current children cumulated memory: 312132 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.55 3.43 5/255 20239
/proc/meminfo: memFree=128432404/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=425084 memory=318256 CPUtime=400.95 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 41071 0 0 0 39631 464 0 0 20 0 1 0 32763997 435286016 79564 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 106271 79564 2368 1147 0 93698 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 429276 KiB
Current children cumulated memory: 321328 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.67 3.48 5/255 20242
/proc/meminfo: memFree=128295868/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=499080 memory=378296 CPUtime=460.79 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 44304 0 0 0 45544 535 0 0 20 0 1 0 32763997 511057920 94574 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 124770 94574 2368 1147 0 112197 0
Current children cumulated CPU time: 460.79 s
Current children cumulated vsize: 503272 KiB
Current children cumulated memory: 381368 KiB
[startup+508.332 s]
# the end of solver process 20118 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=500.784 s, system=5.91887 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.16 3.71 3.50 5/255 20289
/proc/meminfo: memFree=128888944/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=504212 memory=385416 CPUtime=484.81 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 45082 0 0 0 47912 569 0 0 20 0 1 0 32763997 516313088 96354 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 126053 96354 2368 1147 0 113480 0
Current children cumulated CPU time: 484.81 s
Current children cumulated vsize: 508404 KiB
Current children cumulated memory: 388488 KiB
[startup+499.2 s]
/proc/loadavg: 4.14 3.72 3.51 5/255 20289
/proc/meminfo: memFree=127558180/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=504212 memory=385416 CPUtime=497.58 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 45082 0 0 0 49173 585 0 0 20 0 1 0 32763997 516313088 96354 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 126053 96354 2368 1147 0 113480 0
Current children cumulated CPU time: 497.58 s
Current children cumulated vsize: 508404 KiB
Current children cumulated memory: 388488 KiB
[startup+502.4 s]
/proc/loadavg: 4.12 3.73 3.51 5/255 20289
/proc/meminfo: memFree=127591000/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=504212 memory=385416 CPUtime=500.78 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 45082 0 0 0 49492 586 0 0 20 0 1 0 32763997 516313088 96354 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 126053 96354 2368 1147 0 113480 0
Current children cumulated CPU time: 500.78 s
Current children cumulated vsize: 508404 KiB
Current children cumulated memory: 388488 KiB
[startup+505.6 s]
/proc/loadavg: 4.12 3.73 3.51 5/254 20289
/proc/meminfo: memFree=127599500/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=504212 memory=385416 CPUtime=503.96 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 45082 0 0 0 49810 586 0 0 20 0 1 0 32763997 516313088 96354 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 126053 96354 2368 1147 0 113480 0
Current children cumulated CPU time: 503.96 s
Current children cumulated vsize: 508404 KiB
Current children cumulated memory: 388488 KiB
[startup+507.2 s]
/proc/loadavg: 4.11 3.73 3.51 5/254 20289
/proc/meminfo: memFree=127616152/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=504212 memory=385416 CPUtime=505.56 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 45082 0 0 0 49967 589 0 0 20 0 1 0 32763997 516313088 96354 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 126053 96354 2368 1147 0 113480 0
Current children cumulated CPU time: 505.56 s
Current children cumulated vsize: 508404 KiB
Current children cumulated memory: 388488 KiB
[startup+508 s]*
/proc/loadavg: 4.11 3.73 3.51 5/254 20289
/proc/meminfo: memFree=127624376/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=504212 memory=385416 CPUtime=506.37 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 45082 0 0 0 50047 590 0 0 20 0 1 0 32763997 516313088 96354 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 126053 96354 2368 1147 0 113480 0
Current children cumulated CPU time: 506.37 s
Current children cumulated vsize: 508404 KiB
Current children cumulated memory: 388488 KiB
[startup+508.2 s]
/proc/loadavg: 4.11 3.73 3.51 5/254 20289
/proc/meminfo: memFree=127624376/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=504212 memory=385416 CPUtime=506.55 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 45082 0 0 0 50065 590 0 0 20 0 1 0 32763997 516313088 96354 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 126053 96354 2368 1147 0 113480 0
Current children cumulated CPU time: 506.55 s
Current children cumulated vsize: 508404 KiB
Current children cumulated memory: 388488 KiB
[startup+508.3 s]
/proc/loadavg: 4.11 3.73 3.51 5/254 20289
/proc/meminfo: memFree=127624376/131382120 swapFree=33010684/33010684
[pid=20118] ppid=20115 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20118/stat : 20118 (run-dec-ls.sh) S 20115 20118 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32763996 4292608 768 18446744073709551615 94264189116416 94264190010949 140728419904400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94264190250000 94264190297744 94264197402624 140728419912039 140728419912165 140728419912165 140728419917767 0
/proc/20118/statm: 1048 768 704 219 0 110 0
[pid=20120] ppid=20118 vsize=504212 memory=385416 CPUtime=506.66 cores=5,7
/proc/20120/stat : 20120 (roundingsat) R 20118 20118 20058 0 -1 4194304 45082 0 0 0 50075 591 0 0 20 0 1 0 32763997 516313088 96354 18446744073709551615 4227072 8923433 140720904247344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37548032 140720904251808 140720904251944 140720904251944 140720904257514 0
/proc/20120/statm: 126053 96354 2368 1147 0 113480 0
Current children cumulated CPU time: 506.66 s
Current children cumulated vsize: 508404 KiB
Current children cumulated memory: 388488 KiB
Child status: 0
Real time (s): 508.332
CPU time (s): 506.703
CPU user time (s): 500.784
CPU system time (s): 5.91887
CPU usage (%): 99.6795
Max. virtual memory (cumulated for all children) (KiB): 508404
Max. memory (cumulated for all children) (KiB): 388488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 500.784
system time used= 5.91887
maximum resident set size= 385416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45313
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 189
involuntary context switches= 306
# summary of solver processes directly reported to runsolver:
# pid: 20118
# total CPU time (s): 506.703
# total CPU user time (s): 500.784
# total CPU system time (s): 5.91887
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.54313 second user time and 5.57743 second system time
The end
Begin job on nodeC006 at 2025-06-29 06:20:46
IDJOB=4503422
IDBENCH=155463
IDSOLVER=3353
FILE ID=nodeC006/4503422-1751170846
RUNJOBID= nodeC006-1751170846-20071
SLURM_JOB_ID= 9587530
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-25.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503422-1751170846/watcher-4503422-1751170846 -o /tmp/evaluation-result-4503422-1751170846/solver-4503422-1751170846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20071 --watchdog 3760 run-dec-ls.sh HOME/instance-4503422-1751170846.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 089881a3a57f24d34abbbcf8eb808729
RANDOM SEED=354258343
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.135
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.942
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.137
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.140
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.118
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.140
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.431
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.098
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130313776 kB
MemAvailable: 129963476 kB
Buffers: 3280 kB
Cached: 461272 kB
SwapCached: 0 kB
Active: 329484 kB
Inactive: 213528 kB
Active(anon): 96420 kB
Inactive(anon): 0 kB
Active(file): 233064 kB
Inactive(file): 213528 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 43416 kB
Writeback: 0 kB
AnonPages: 81592 kB
Mapped: 101980 kB
Shmem: 17960 kB
KReclaimable: 85088 kB
Slab: 163764 kB
SReclaimable: 85088 kB
SUnreclaim: 78676 kB
KernelStack: 3800 kB
PageTables: 2688 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 399324 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149304 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432928 MiB
End job on nodeC006 at 2025-06-29 06:29:15