0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.12 c #variables 15827 #constraints 16095
112.50/112.84 c #Conflicts: 1000 | #Constraints: 17094
112.50/112.84 c #Conflicts: 2000 | #Constraints: 18094
112.50/112.84 c INPROCESSING
112.50/112.84 c GARBAGE COLLECT
112.50/112.84 c #Conflicts: 3000 | #Constraints: 17312
112.50/112.84 c #Conflicts: 4000 | #Constraints: 18312
112.50/112.84 c INPROCESSING
112.50/112.84 c GARBAGE COLLECT
112.50/112.84 c #Conflicts: 5000 | #Constraints: 17811
112.50/112.84 c #Conflicts: 6000 | #Constraints: 18811
112.50/112.84 c INPROCESSING
112.50/112.84 c GARBAGE COLLECT
112.50/112.84 c #Conflicts: 7000 | #Constraints: 17894
112.50/112.84 c #Conflicts: 8000 | #Constraints: 18894
112.50/112.84 c #Conflicts: 9000 | #Constraints: 19894
112.50/112.84 c INPROCESSING
112.50/112.84 c GARBAGE COLLECT
112.50/112.84 c #Conflicts: 10000 | #Constraints: 18669
112.50/112.84 c #Conflicts: 11000 | #Constraints: 19669
112.50/112.84 c #Conflicts: 12000 | #Constraints: 20669
112.50/112.84 c INPROCESSING
112.50/112.84 c GARBAGE COLLECT
112.50/112.84 c #Conflicts: 13000 | #Constraints: 19166
112.50/112.84 c #Conflicts: 14000 | #Constraints: 20166
112.50/112.84 c #Conflicts: 15000 | #Constraints: 21166
112.50/112.84 c INPROCESSING
112.50/112.84 c GARBAGE COLLECT
112.50/112.84 c #Conflicts: 16000 | #Constraints: 19445
112.50/112.84 c #Conflicts: 17000 | #Constraints: 20445
112.50/112.84 c #Conflicts: 18000 | #Constraints: 21445
112.50/112.84 c #Conflicts: 19000 | #Constraints: 22445
112.50/112.84 c #Conflicts: 20000 | #Constraints: 23445
112.50/112.84 c #Conflicts: 21000 | #Constraints: 24445
112.50/112.84 c #Conflicts: 22000 | #Constraints: 25445
112.50/112.84 c #Conflicts: 23000 | #Constraints: 26445
112.50/112.84 c #Conflicts: 24000 | #Constraints: 27445
112.50/112.84 c INPROCESSING
112.50/112.84 c GARBAGE COLLECT
112.50/112.84 c #Conflicts: 25000 | #Constraints: 22417
112.50/112.84 c #Conflicts: 26000 | #Constraints: 23417
112.50/112.84 c #Conflicts: 27000 | #Constraints: 24417
112.50/112.84 c #Conflicts: 28000 | #Constraints: 25417
112.50/112.84 c INPROCESSING
112.50/112.84 c GARBAGE COLLECT
112.50/112.84 c #Conflicts: 29000 | #Constraints: 21268
112.50/112.84 c #Conflicts: 30000 | #Constraints: 22268
112.50/112.84 c #Conflicts: 31000 | #Constraints: 23268
112.50/112.84 c #Conflicts: 32000 | #Constraints: 24268
112.50/112.84 c #Conflicts: 33000 | #Constraints: 25268
112.50/112.84 c INPROCESSING
112.50/112.84 c GARBAGE COLLECT
112.50/112.84 c #Conflicts: 34000 | #Constraints: 21498
112.50/112.84 c #Conflicts: 35000 | #Constraints: 22498
112.50/112.84 c #Conflicts: 36000 | #Constraints: 23498
112.50/112.84 c #Conflicts: 37000 | #Constraints: 24498
112.50/112.84 c #Conflicts: 38000 | #Constraints: 25498
112.50/112.84 c #Conflicts: 39000 | #Constraints: 26498
112.50/112.84 c #Conflicts: 40000 | #Constraints: 27498
112.50/112.84 c #Conflicts: 41000 | #Constraints: 28498
112.50/112.84 c #Conflicts: 42000 | #Constraints: 29498
112.50/112.84 c #Conflicts: 43000 | #Constraints: 30498
112.50/112.84 c #Conflicts: 44000 | #Constraints: 31498
112.50/112.84 c #Conflicts: 45000 | #Constraints: 32498
112.50/112.84 c #Conflicts: 46000 | #Constraints: 33498
112.50/112.84 c #Conflicts: 47000 | #Constraints: 34498
112.50/112.84 c INPROCESSING
112.50/112.84 c GARBAGE COLLECT
112.50/112.84 c #Conflicts: 48000 | #Constraints: 26288
112.50/112.84 c #Conflicts: 49000 | #Constraints: 27288
112.50/112.84 c #Conflicts: 50000 | #Constraints: 28288
112.50/112.84 c #Conflicts: 51000 | #Constraints: 29288
112.50/112.84 c #Conflicts: 52000 | #Constraints: 30288
112.50/112.84 c INPROCESSING
112.50/112.84 c GARBAGE COLLECT
112.50/112.84 c #Conflicts: 53000 | #Constraints: 23803
112.50/112.84 c #Conflicts: 54000 | #Constraints: 24803
112.50/112.84 c #Conflicts: 55000 | #Constraints: 25803
112.50/112.84 c #Conflicts: 56000 | #Constraints: 26803
112.50/112.84 c #Conflicts: 57000 | #Constraints: 27803
112.50/112.84 c #Conflicts: 58000 | #Constraints: 28803
112.50/112.84 c INPROCESSING
112.50/112.84 c GARBAGE COLLECT
112.50/112.84 c #Conflicts: 59000 | #Constraints: 23043
112.50/112.84 c #Conflicts: 60000 | #Constraints: 24043
112.50/112.84 c #Conflicts: 61000 | #Constraints: 25043
112.50/112.84 c #Conflicts: 62000 | #Constraints: 26043
112.50/112.84 c #Conflicts: 63000 | #Constraints: 27043
112.50/112.84 c #Conflicts: 64000 | #Constraints: 28043
112.50/112.84 c #Conflicts: 65000 | #Constraints: 29043
112.50/112.84 c #Conflicts: 66000 | #Constraints: 30043
112.50/112.84 c #Conflicts: 67000 | #Constraints: 31043
112.50/112.84 c #Conflicts: 68000 | #Constraints: 32043
112.50/112.84 c #Conflicts: 69000 | #Constraints: 33043
112.50/112.84 c #Conflicts: 70000 | #Constraints: 34043
112.50/112.84 c #Conflicts: 71000 | #Constraints: 35043
112.50/112.84 c #Conflicts: 72000 | #Constraints: 36043
254.04/254.80 c #Conflicts: 73000 | #Constraints: 37043
254.04/254.80 c #Conflicts: 74000 | #Constraints: 38043
254.04/254.80 c #Conflicts: 75000 | #Constraints: 39043
254.04/254.80 c #Conflicts: 76000 | #Constraints: 40043
254.04/254.80 c INPROCESSING
254.04/254.80 c GARBAGE COLLECT
254.04/254.80 c #Conflicts: 77000 | #Constraints: 28761
254.04/254.80 c #Conflicts: 78000 | #Constraints: 29761
254.04/254.80 c #Conflicts: 79000 | #Constraints: 30761
254.04/254.80 c #Conflicts: 80000 | #Constraints: 31761
254.04/254.80 c #Conflicts: 81000 | #Constraints: 32761
254.04/254.80 c #Conflicts: 82000 | #Constraints: 33761
254.04/254.80 c #Conflicts: 83000 | #Constraints: 34761
254.04/254.80 c #Conflicts: 84000 | #Constraints: 35761
254.04/254.80 c INPROCESSING
254.04/254.80 c GARBAGE COLLECT
254.04/254.80 c #Conflicts: 85000 | #Constraints: 27078
254.04/254.80 c #Conflicts: 86000 | #Constraints: 28078
254.04/254.80 c #Conflicts: 87000 | #Constraints: 29078
254.04/254.80 c #Conflicts: 88000 | #Constraints: 30078
254.04/254.80 c #Conflicts: 89000 | #Constraints: 31078
254.04/254.80 c #Conflicts: 90000 | #Constraints: 32078
254.04/254.80 c #Conflicts: 91000 | #Constraints: 33078
254.04/254.80 c INPROCESSING
254.04/254.80 c GARBAGE COLLECT
254.04/254.80 c #Conflicts: 92000 | #Constraints: 25494
254.04/254.80 c #Conflicts: 93000 | #Constraints: 26494
254.04/254.80 c #Conflicts: 94000 | #Constraints: 27494
254.04/254.80 c #Conflicts: 95000 | #Constraints: 28494
254.04/254.80 c #Conflicts: 96000 | #Constraints: 29494
254.04/254.80 c #Conflicts: 97000 | #Constraints: 30494
254.04/254.80 c #Conflicts: 98000 | #Constraints: 31494
254.04/254.80 c #Conflicts: 99000 | #Constraints: 32494
254.04/254.80 c #Conflicts: 100000 | #Constraints: 33494
254.04/254.80 c #Conflicts: 101000 | #Constraints: 34495
254.04/254.80 c #Conflicts: 102000 | #Constraints: 35495
254.04/254.80 c #Conflicts: 103000 | #Constraints: 36495
254.04/254.80 c #Conflicts: 104000 | #Constraints: 37495
254.04/254.80 c #Conflicts: 105000 | #Constraints: 38495
254.04/254.80 c #Conflicts: 106000 | #Constraints: 39495
254.04/254.80 c #Conflicts: 107000 | #Constraints: 40495
254.04/254.80 c #Conflicts: 108000 | #Constraints: 41495
254.04/254.80 c #Conflicts: 109000 | #Constraints: 42495
254.04/254.80 c #Conflicts: 110000 | #Constraints: 43495
254.04/254.80 c #Conflicts: 111000 | #Constraints: 44495
254.04/254.80 c #Conflicts: 112000 | #Constraints: 45495
254.04/254.80 c #Conflicts: 113000 | #Constraints: 46495
254.04/254.80 c INPROCESSING
254.04/254.80 c GARBAGE COLLECT
254.04/254.80 c #Conflicts: 114000 | #Constraints: 32175
254.04/254.80 c #Conflicts: 115000 | #Constraints: 33175
254.04/254.80 c #Conflicts: 116000 | #Constraints: 34175
254.04/254.80 c #Conflicts: 117000 | #Constraints: 35175
254.04/254.80 c #Conflicts: 118000 | #Constraints: 36175
254.04/254.80 c #Conflicts: 119000 | #Constraints: 37175
254.04/254.80 c #Conflicts: 120000 | #Constraints: 38175
254.04/254.80 c #Conflicts: 121000 | #Constraints: 39175
254.04/254.80 c #Conflicts: 122000 | #Constraints: 40175
254.04/254.80 c INPROCESSING
254.04/254.80 c GARBAGE COLLECT
254.04/254.80 c #Conflicts: 123000 | #Constraints: 29022
254.04/254.80 c #Conflicts: 124000 | #Constraints: 30022
254.04/254.80 c #Conflicts: 125000 | #Constraints: 31022
254.04/254.80 c #Conflicts: 126000 | #Constraints: 32022
254.04/254.80 c #Conflicts: 127000 | #Constraints: 33022
254.04/254.80 c #Conflicts: 128000 | #Constraints: 34022
254.04/254.80 c #Conflicts: 129000 | #Constraints: 35022
254.04/254.80 c #Conflicts: 130000 | #Constraints: 36022
254.04/254.80 c #Conflicts: 131000 | #Constraints: 37022
254.04/254.80 c INPROCESSING
254.04/254.80 c GARBAGE COLLECT
254.04/254.80 c #Conflicts: 132000 | #Constraints: 28046
254.04/254.80 c #Conflicts: 133000 | #Constraints: 29046
254.04/254.80 c #Conflicts: 134000 | #Constraints: 30046
254.04/254.80 c #Conflicts: 135000 | #Constraints: 31046
254.04/254.80 c #Conflicts: 136000 | #Constraints: 32046
254.04/254.80 c #Conflicts: 137000 | #Constraints: 33046
254.04/254.80 c #Conflicts: 138000 | #Constraints: 34046
254.04/254.80 c #Conflicts: 139000 | #Constraints: 35046
254.04/254.80 c #Conflicts: 140000 | #Constraints: 36046
254.04/254.80 c #Conflicts: 141000 | #Constraints: 37046
254.04/254.80 c #Conflicts: 142000 | #Constraints: 38046
254.04/254.80 c #Conflicts: 143000 | #Constraints: 39046
254.04/254.80 c #Conflicts: 144000 | #Constraints: 40046
254.04/254.80 c #Conflicts: 145000 | #Constraints: 41046
254.04/254.80 c #Conflicts: 146000 | #Constraints: 42046
254.04/254.80 c #Conflicts: 147000 | #Constraints: 43046
454.94/456.18 c #Conflicts: 148000 | #Constraints: 44046
454.94/456.18 c #Conflicts: 149000 | #Constraints: 45046
454.94/456.18 c #Conflicts: 150000 | #Constraints: 46046
454.94/456.18 c #Conflicts: 151000 | #Constraints: 47046
454.94/456.18 c #Conflicts: 152000 | #Constraints: 48046
454.94/456.18 c #Conflicts: 153000 | #Constraints: 49046
454.94/456.18 c #Conflicts: 154000 | #Constraints: 50046
454.94/456.18 c #Conflicts: 155000 | #Constraints: 51046
454.94/456.18 c #Conflicts: 156000 | #Constraints: 52046
454.94/456.18 c #Conflicts: 157000 | #Constraints: 53046
454.94/456.18 c INPROCESSING
454.94/456.18 c GARBAGE COLLECT
454.94/456.18 c #Conflicts: 158000 | #Constraints: 35461
454.94/456.18 c #Conflicts: 159000 | #Constraints: 36461
454.94/456.18 c #Conflicts: 160000 | #Constraints: 37461
454.94/456.18 c #Conflicts: 161000 | #Constraints: 38461
454.94/456.18 c #Conflicts: 162000 | #Constraints: 39461
454.94/456.18 c #Conflicts: 163000 | #Constraints: 40461
454.94/456.18 c #Conflicts: 164000 | #Constraints: 41461
454.94/456.18 c #Conflicts: 165000 | #Constraints: 42461
454.94/456.18 c #Conflicts: 166000 | #Constraints: 43461
454.94/456.18 c #Conflicts: 167000 | #Constraints: 44461
454.94/456.18 c #Conflicts: 168000 | #Constraints: 45461
454.94/456.18 c INPROCESSING
454.94/456.18 c GARBAGE COLLECT
454.94/456.18 c #Conflicts: 169000 | #Constraints: 32006
454.94/456.18 c #Conflicts: 170000 | #Constraints: 33006
454.94/456.18 c #Conflicts: 171000 | #Constraints: 34006
454.94/456.18 c #Conflicts: 172000 | #Constraints: 35006
454.94/456.18 c #Conflicts: 173000 | #Constraints: 36006
454.94/456.18 c #Conflicts: 174000 | #Constraints: 37006
454.94/456.18 c #Conflicts: 175000 | #Constraints: 38006
454.94/456.18 c #Conflicts: 176000 | #Constraints: 39006
454.94/456.18 c #Conflicts: 177000 | #Constraints: 40006
454.94/456.18 c #Conflicts: 178000 | #Constraints: 41006
454.94/456.18 c INPROCESSING
454.94/456.18 c GARBAGE COLLECT
454.94/456.18 c #Conflicts: 179000 | #Constraints: 30530
454.94/456.18 c #Conflicts: 180000 | #Constraints: 31530
454.94/456.18 c #Conflicts: 181000 | #Constraints: 32530
454.94/456.18 c #Conflicts: 182000 | #Constraints: 33530
454.94/456.18 c #Conflicts: 183000 | #Constraints: 34530
454.94/456.18 c #Conflicts: 184000 | #Constraints: 35530
454.94/456.18 c #Conflicts: 185000 | #Constraints: 36530
454.94/456.18 c #Conflicts: 186000 | #Constraints: 37530
454.94/456.18 c #Conflicts: 187000 | #Constraints: 38530
454.94/456.18 c #Conflicts: 188000 | #Constraints: 39530
454.94/456.18 c #Conflicts: 189000 | #Constraints: 40530
454.94/456.18 c #Conflicts: 190000 | #Constraints: 41530
454.94/456.18 c #Conflicts: 191000 | #Constraints: 42530
454.94/456.18 c #Conflicts: 192000 | #Constraints: 43530
454.94/456.18 c #Conflicts: 193000 | #Constraints: 44530
454.94/456.18 c #Conflicts: 194000 | #Constraints: 45530
454.94/456.18 c #Conflicts: 195000 | #Constraints: 46530
454.94/456.18 c #Conflicts: 196000 | #Constraints: 47530
454.94/456.18 c #Conflicts: 197000 | #Constraints: 48530
454.94/456.18 c #Conflicts: 198000 | #Constraints: 49530
454.94/456.18 c #Conflicts: 199000 | #Constraints: 50530
454.94/456.18 c #Conflicts: 200000 | #Constraints: 51530
454.94/456.18 c #Conflicts: 201000 | #Constraints: 52530
454.94/456.18 c #Conflicts: 202000 | #Constraints: 53530
454.94/456.18 c #Conflicts: 203000 | #Constraints: 54530
454.94/456.18 c #Conflicts: 204000 | #Constraints: 55530
454.94/456.18 c #Conflicts: 205000 | #Constraints: 56530
454.94/456.18 c #Conflicts: 206000 | #Constraints: 57530
454.94/456.18 c #Conflicts: 207000 | #Constraints: 58530
454.94/456.18 c #Conflicts: 208000 | #Constraints: 59530
454.94/456.18 c #Conflicts: 209000 | #Constraints: 60530
454.94/456.18 c INPROCESSING
454.94/456.18 c GARBAGE COLLECT
454.94/456.18 c #Conflicts: 210000 | #Constraints: 39661
454.94/456.18 c #Conflicts: 211000 | #Constraints: 40661
454.94/456.18 c #Conflicts: 212000 | #Constraints: 41661
454.94/456.18 c #Conflicts: 213000 | #Constraints: 42661
454.94/456.18 c #Conflicts: 214000 | #Constraints: 43661
454.94/456.18 c #Conflicts: 215000 | #Constraints: 44661
454.94/456.18 c #Conflicts: 216000 | #Constraints: 45661
454.94/456.18 c #Conflicts: 217000 | #Constraints: 46661
454.94/456.18 c #Conflicts: 218000 | #Constraints: 47661
454.94/456.18 c #Conflicts: 219000 | #Constraints: 48661
454.94/456.18 c #Conflicts: 220000 | #Constraints: 49661
454.94/456.18 c INPROCESSING
454.94/456.18 c GARBAGE COLLECT
454.94/456.18 c #Conflicts: 221000 | #Constraints: 33686
454.94/456.18 c #Conflicts: 222000 | #Constraints: 34686
619.43/621.01 c #Conflicts: 223000 | #Constraints: 35686
619.43/621.01 c #Conflicts: 224000 | #Constraints: 36686
619.43/621.01 c #Conflicts: 225000 | #Constraints: 37686
619.43/621.01 c #Conflicts: 226000 | #Constraints: 38686
619.43/621.01 c #Conflicts: 227000 | #Constraints: 39686
619.43/621.01 c #Conflicts: 228000 | #Constraints: 40686
619.43/621.01 c #Conflicts: 229000 | #Constraints: 41686
619.43/621.01 c #Conflicts: 230000 | #Constraints: 42686
619.43/621.01 c #Conflicts: 231000 | #Constraints: 43686
619.43/621.01 c #Conflicts: 232000 | #Constraints: 44686
619.43/621.01 c INPROCESSING
619.43/621.01 c GARBAGE COLLECT
619.43/621.01 c #Conflicts: 233000 | #Constraints: 32070
619.43/621.01 c #Conflicts: 234000 | #Constraints: 33070
619.43/621.01 c #Conflicts: 235000 | #Constraints: 34070
619.43/621.01 c #Conflicts: 236000 | #Constraints: 35070
619.43/621.01 c #Conflicts: 237000 | #Constraints: 36070
619.43/621.01 c #Conflicts: 238000 | #Constraints: 37070
619.43/621.01 c #Conflicts: 239000 | #Constraints: 38070
619.43/621.01 c #Conflicts: 240000 | #Constraints: 39070
619.43/621.01 c #Conflicts: 241000 | #Constraints: 40070
619.43/621.01 c #Conflicts: 242000 | #Constraints: 41070
619.43/621.01 c #Conflicts: 243000 | #Constraints: 42070
619.43/621.01 c #Conflicts: 244000 | #Constraints: 43070
619.43/621.01 c #Conflicts: 245000 | #Constraints: 44070
619.43/621.01 c #Conflicts: 246000 | #Constraints: 45070
619.43/621.01 c #Conflicts: 247000 | #Constraints: 46070
619.43/621.01 c #Conflicts: 248000 | #Constraints: 47070
619.43/621.01 c #Conflicts: 249000 | #Constraints: 48070
619.43/621.01 c #Conflicts: 250000 | #Constraints: 49070
619.43/621.01 c #Conflicts: 251000 | #Constraints: 50070
619.43/621.01 c #Conflicts: 252000 | #Constraints: 51070
619.43/621.01 c #Conflicts: 253000 | #Constraints: 52070
619.43/621.01 c #Conflicts: 254000 | #Constraints: 53070
619.43/621.01 c #Conflicts: 255000 | #Constraints: 54070
619.43/621.01 c #Conflicts: 256000 | #Constraints: 55070
619.43/621.01 c #Conflicts: 257000 | #Constraints: 56070
619.43/621.01 c #Conflicts: 258000 | #Constraints: 57070
619.43/621.01 c #Conflicts: 259000 | #Constraints: 58070
619.43/621.01 c #Conflicts: 260000 | #Constraints: 59070
619.43/621.01 c #Conflicts: 261000 | #Constraints: 60070
619.43/621.01 c #Conflicts: 262000 | #Constraints: 61070
619.43/621.01 c #Conflicts: 263000 | #Constraints: 62070
619.43/621.01 c #Conflicts: 264000 | #Constraints: 63070
619.43/621.01 c #Conflicts: 265000 | #Constraints: 64070
619.43/621.01 c #Conflicts: 266000 | #Constraints: 65070
619.43/621.01 c #Conflicts: 267000 | #Constraints: 66070
619.43/621.01 c INPROCESSING
619.43/621.01 c GARBAGE COLLECT
619.43/621.01 c #Conflicts: 268000 | #Constraints: 42232
619.43/621.01 c #Conflicts: 269000 | #Constraints: 43232
619.43/621.01 c #Conflicts: 270000 | #Constraints: 44232
619.43/621.01 c #Conflicts: 271000 | #Constraints: 45232
619.43/621.01 c #Conflicts: 272000 | #Constraints: 46232
619.43/621.01 c #Conflicts: 273000 | #Constraints: 47232
619.43/621.01 c #Conflicts: 274000 | #Constraints: 48232
619.43/621.01 c #Conflicts: 275000 | #Constraints: 49232
619.43/621.01 c #Conflicts: 276000 | #Constraints: 50232
619.43/621.01 c #Conflicts: 277000 | #Constraints: 51232
619.43/621.01 c #Conflicts: 278000 | #Constraints: 52232
619.43/621.01 c #Conflicts: 279000 | #Constraints: 53232
619.43/621.01 c #Conflicts: 280000 | #Constraints: 54232
619.43/621.01 c INPROCESSING
619.43/621.01 c GARBAGE COLLECT
619.43/621.01 c #Conflicts: 281000 | #Constraints: 36080
619.43/621.01 c #Conflicts: 282000 | #Constraints: 37080
619.43/621.01 c #Conflicts: 283000 | #Constraints: 38080
619.43/621.01 c #Conflicts: 284000 | #Constraints: 39080
619.43/621.01 c #Conflicts: 285000 | #Constraints: 40080
619.43/621.01 c #Conflicts: 286000 | #Constraints: 41080
619.43/621.01 c #Conflicts: 287000 | #Constraints: 42080
619.43/621.01 c #Conflicts: 288000 | #Constraints: 43080
619.43/621.01 c #Conflicts: 289000 | #Constraints: 44080
619.43/621.01 c #Conflicts: 290000 | #Constraints: 45081
619.43/621.01 c #Conflicts: 291000 | #Constraints: 46081
619.43/621.01 c #Conflicts: 292000 | #Constraints: 47081
619.43/621.01 c #Conflicts: 293000 | #Constraints: 48081
619.43/621.01 c #Conflicts: 294000 | #Constraints: 49081
619.43/621.01 c INPROCESSING
619.43/621.01 c GARBAGE COLLECT
619.43/621.01 c #Conflicts: 295000 | #Constraints: 35309
619.43/621.01 c #Conflicts: 296000 | #Constraints: 36309
619.43/621.01 c #Conflicts: 297000 | #Constraints: 37309
619.43/621.01 c #Conflicts: 298000 | #Constraints: 38309
776.73/778.72 c #Conflicts: 299000 | #Constraints: 39309
776.73/778.72 c #Conflicts: 300000 | #Constraints: 40309
776.73/778.72 c #Conflicts: 301000 | #Constraints: 41309
776.73/778.72 c #Conflicts: 302000 | #Constraints: 42309
776.73/778.72 c #Conflicts: 303000 | #Constraints: 43309
776.73/778.72 c #Conflicts: 304000 | #Constraints: 44309
776.73/778.72 c #Conflicts: 305000 | #Constraints: 45309
776.73/778.72 c #Conflicts: 306000 | #Constraints: 46309
776.73/778.72 c #Conflicts: 307000 | #Constraints: 47309
776.73/778.72 c #Conflicts: 308000 | #Constraints: 48309
776.73/778.72 c #Conflicts: 309000 | #Constraints: 49309
776.73/778.72 c #Conflicts: 310000 | #Constraints: 50309
776.73/778.72 c #Conflicts: 311000 | #Constraints: 51309
776.73/778.72 c #Conflicts: 312000 | #Constraints: 52309
776.73/778.72 c #Conflicts: 313000 | #Constraints: 53309
776.73/778.72 c #Conflicts: 314000 | #Constraints: 54309
776.73/778.72 c #Conflicts: 315000 | #Constraints: 55309
776.73/778.72 c #Conflicts: 316000 | #Constraints: 56309
776.73/778.72 c #Conflicts: 317000 | #Constraints: 57309
776.73/778.72 c #Conflicts: 318000 | #Constraints: 58309
776.73/778.72 c #Conflicts: 319000 | #Constraints: 59309
776.73/778.72 c #Conflicts: 320000 | #Constraints: 60309
776.73/778.72 c #Conflicts: 321000 | #Constraints: 61309
776.73/778.72 c #Conflicts: 322000 | #Constraints: 62309
776.73/778.72 c #Conflicts: 323000 | #Constraints: 63309
776.73/778.72 c #Conflicts: 324000 | #Constraints: 64309
776.73/778.72 c #Conflicts: 325000 | #Constraints: 65309
776.73/778.72 c #Conflicts: 326000 | #Constraints: 66309
776.73/778.72 c #Conflicts: 327000 | #Constraints: 67309
776.73/778.72 c #Conflicts: 328000 | #Constraints: 68309
776.73/778.72 c #Conflicts: 329000 | #Constraints: 69309
776.73/778.72 c #Conflicts: 330000 | #Constraints: 70309
776.73/778.72 c #Conflicts: 331000 | #Constraints: 71309
776.73/778.72 c #Conflicts: 332000 | #Constraints: 72309
776.73/778.72 c #Conflicts: 333000 | #Constraints: 73309
776.73/778.72 c INPROCESSING
776.73/778.72 c GARBAGE COLLECT
776.73/778.72 c #Conflicts: 334000 | #Constraints: 45951
776.73/778.72 c #Conflicts: 335000 | #Constraints: 46951
776.73/778.72 c #Conflicts: 336000 | #Constraints: 47951
776.73/778.72 c #Conflicts: 337000 | #Constraints: 48951
776.73/778.72 c #Conflicts: 338000 | #Constraints: 49951
776.73/778.72 c #Conflicts: 339000 | #Constraints: 50951
776.73/778.72 c #Conflicts: 340000 | #Constraints: 51951
776.73/778.72 c #Conflicts: 341000 | #Constraints: 52951
776.73/778.72 c #Conflicts: 342000 | #Constraints: 53951
776.73/778.72 c #Conflicts: 343000 | #Constraints: 54951
776.73/778.72 c #Conflicts: 344000 | #Constraints: 55951
776.73/778.72 c #Conflicts: 345000 | #Constraints: 56951
776.73/778.72 c #Conflicts: 346000 | #Constraints: 57951
776.73/778.72 c #Conflicts: 347000 | #Constraints: 58951
776.73/778.72 c #Conflicts: 348000 | #Constraints: 59951
776.73/778.72 c INPROCESSING
776.73/778.72 c GARBAGE COLLECT
776.73/778.72 c #Conflicts: 349000 | #Constraints: 39424
776.73/778.72 c #Conflicts: 350000 | #Constraints: 40424
776.73/778.72 c #Conflicts: 351000 | #Constraints: 41424
776.73/778.72 c #Conflicts: 352000 | #Constraints: 42424
776.73/778.72 c #Conflicts: 353000 | #Constraints: 43424
776.73/778.72 c #Conflicts: 354000 | #Constraints: 44424
776.73/778.72 c #Conflicts: 355000 | #Constraints: 45424
776.73/778.72 c #Conflicts: 356000 | #Constraints: 46424
776.73/778.72 c #Conflicts: 357000 | #Constraints: 47424
776.73/778.72 c #Conflicts: 358000 | #Constraints: 48424
776.73/778.72 c #Conflicts: 359000 | #Constraints: 49424
776.73/778.72 c #Conflicts: 360000 | #Constraints: 50424
776.73/778.72 c #Conflicts: 361000 | #Constraints: 51424
776.73/778.72 c #Conflicts: 362000 | #Constraints: 52424
776.73/778.72 c #Conflicts: 363000 | #Constraints: 53424
776.73/778.72 c INPROCESSING
776.73/778.72 c GARBAGE COLLECT
776.73/778.72 c #Conflicts: 364000 | #Constraints: 38153
776.73/778.72 c #Conflicts: 365000 | #Constraints: 39153
776.73/778.72 c #Conflicts: 366000 | #Constraints: 40153
776.73/778.72 c #Conflicts: 367000 | #Constraints: 41153
776.73/778.72 c #Conflicts: 368000 | #Constraints: 42153
776.73/778.72 c #Conflicts: 369000 | #Constraints: 43153
776.73/778.72 c #Conflicts: 370000 | #Constraints: 44153
776.73/778.72 c #Conflicts: 371000 | #Constraints: 45153
776.73/778.72 c #Conflicts: 372000 | #Constraints: 46153
776.73/778.72 c #Conflicts: 373000 | #Constraints: 47153
776.73/778.72 c #Conflicts: 374000 | #Constraints: 48153
776.73/778.72 c #Conflicts: 375000 | #Constraints: 49153
952.01/954.44 c #Conflicts: 376000 | #Constraints: 50153
952.01/954.44 c #Conflicts: 377000 | #Constraints: 51153
952.01/954.44 c #Conflicts: 378000 | #Constraints: 52153
952.01/954.44 c #Conflicts: 379000 | #Constraints: 53153
952.01/954.44 c #Conflicts: 380000 | #Constraints: 54153
952.01/954.44 c #Conflicts: 381000 | #Constraints: 55153
952.01/954.44 c #Conflicts: 382000 | #Constraints: 56153
952.01/954.44 c #Conflicts: 383000 | #Constraints: 57153
952.01/954.44 c #Conflicts: 384000 | #Constraints: 58153
952.01/954.44 c #Conflicts: 385000 | #Constraints: 59153
952.01/954.44 c #Conflicts: 386000 | #Constraints: 60153
952.01/954.44 c #Conflicts: 387000 | #Constraints: 61153
952.01/954.44 c #Conflicts: 388000 | #Constraints: 62153
952.01/954.44 c #Conflicts: 389000 | #Constraints: 63153
952.01/954.44 c #Conflicts: 390000 | #Constraints: 64153
952.01/954.44 c #Conflicts: 391000 | #Constraints: 65153
952.01/954.44 c #Conflicts: 392000 | #Constraints: 66153
952.01/954.44 c #Conflicts: 393000 | #Constraints: 67153
952.01/954.44 c #Conflicts: 394000 | #Constraints: 68153
952.01/954.44 c #Conflicts: 395000 | #Constraints: 69153
952.01/954.44 c #Conflicts: 396000 | #Constraints: 70153
952.01/954.44 c #Conflicts: 397000 | #Constraints: 71153
952.01/954.44 c #Conflicts: 398000 | #Constraints: 72153
952.01/954.44 c #Conflicts: 399000 | #Constraints: 73153
952.01/954.44 c #Conflicts: 400000 | #Constraints: 74153
952.01/954.44 c #Conflicts: 401000 | #Constraints: 75153
952.01/954.44 c #Conflicts: 402000 | #Constraints: 76153
952.01/954.44 c #Conflicts: 403000 | #Constraints: 77153
952.01/954.44 c #Conflicts: 404000 | #Constraints: 78153
952.01/954.44 c #Conflicts: 405000 | #Constraints: 79153
952.01/954.44 c #Conflicts: 406000 | #Constraints: 80153
952.01/954.44 c INPROCESSING
952.01/954.44 c GARBAGE COLLECT
952.01/954.44 c #Conflicts: 407000 | #Constraints: 49491
952.01/954.44 c #Conflicts: 408000 | #Constraints: 50491
952.01/954.44 c #Conflicts: 409000 | #Constraints: 51491
952.01/954.44 c #Conflicts: 410000 | #Constraints: 52491
952.01/954.44 c #Conflicts: 411000 | #Constraints: 53491
952.01/954.44 c #Conflicts: 412000 | #Constraints: 54491
952.01/954.44 c #Conflicts: 413000 | #Constraints: 55491
952.01/954.44 c #Conflicts: 414000 | #Constraints: 56491
952.01/954.44 c #Conflicts: 415000 | #Constraints: 57491
952.01/954.44 c #Conflicts: 416000 | #Constraints: 58491
952.01/954.44 c #Conflicts: 417000 | #Constraints: 59491
952.01/954.44 c #Conflicts: 418000 | #Constraints: 60491
952.01/954.44 c #Conflicts: 419000 | #Constraints: 61491
952.01/954.44 c #Conflicts: 420000 | #Constraints: 62491
952.01/954.44 c #Conflicts: 421000 | #Constraints: 63491
952.01/954.44 c #Conflicts: 422000 | #Constraints: 64491
952.01/954.44 c INPROCESSING
952.01/954.44 c GARBAGE COLLECT
952.01/954.44 c #Conflicts: 423000 | #Constraints: 41618
952.01/954.44 c #Conflicts: 424000 | #Constraints: 42618
952.01/954.44 c #Conflicts: 425000 | #Constraints: 43618
952.01/954.44 c #Conflicts: 426000 | #Constraints: 44618
952.01/954.44 c #Conflicts: 427000 | #Constraints: 45618
952.01/954.44 c #Conflicts: 428000 | #Constraints: 46618
952.01/954.44 c #Conflicts: 429000 | #Constraints: 47618
952.01/954.44 c #Conflicts: 430000 | #Constraints: 48618
952.01/954.44 c #Conflicts: 431000 | #Constraints: 49618
952.01/954.44 c #Conflicts: 432000 | #Constraints: 50618
952.01/954.44 c #Conflicts: 433000 | #Constraints: 51618
952.01/954.44 c #Conflicts: 434000 | #Constraints: 52618
952.01/954.44 c #Conflicts: 435000 | #Constraints: 53618
952.01/954.44 c #Conflicts: 436000 | #Constraints: 54618
952.01/954.44 c #Conflicts: 437000 | #Constraints: 55618
952.01/954.44 c #Conflicts: 438000 | #Constraints: 56618
952.01/954.44 c INPROCESSING
952.01/954.44 c GARBAGE COLLECT
952.01/954.44 c #Conflicts: 439000 | #Constraints: 39774
952.01/954.44 c #Conflicts: 440000 | #Constraints: 40774
952.01/954.44 c #Conflicts: 441000 | #Constraints: 41774
952.01/954.44 c #Conflicts: 442000 | #Constraints: 42774
952.01/954.44 c #Conflicts: 443000 | #Constraints: 43774
952.01/954.44 c #Conflicts: 444000 | #Constraints: 44774
952.01/954.44 c #Conflicts: 445000 | #Constraints: 45774
952.01/954.44 c #Conflicts: 446000 | #Constraints: 46774
952.01/954.44 c #Conflicts: 447000 | #Constraints: 47774
952.01/954.44 c #Conflicts: 448000 | #Constraints: 48774
952.01/954.44 c #Conflicts: 449000 | #Constraints: 49774
952.01/954.44 c #Conflicts: 450000 | #Constraints: 50774
952.01/954.44 c #Conflicts: 451000 | #Constraints: 51774
952.01/954.44 c #Conflicts: 452000 | #Constraints: 52774
1198.00/1201.04 c #Conflicts: 453000 | #Constraints: 53774
1198.00/1201.04 c #Conflicts: 454000 | #Constraints: 54774
1198.00/1201.04 c #Conflicts: 455000 | #Constraints: 55774
1198.00/1201.04 c #Conflicts: 456000 | #Constraints: 56774
1198.00/1201.04 c #Conflicts: 457000 | #Constraints: 57774
1198.00/1201.04 c #Conflicts: 458000 | #Constraints: 58774
1198.00/1201.04 c #Conflicts: 459000 | #Constraints: 59774
1198.00/1201.04 c #Conflicts: 460000 | #Constraints: 60774
1198.00/1201.04 c #Conflicts: 461000 | #Constraints: 61774
1198.00/1201.04 c #Conflicts: 462000 | #Constraints: 62774
1198.00/1201.04 c #Conflicts: 463000 | #Constraints: 63774
1198.00/1201.04 c #Conflicts: 464000 | #Constraints: 64774
1198.00/1201.04 c #Conflicts: 465000 | #Constraints: 65774
1198.00/1201.04 c #Conflicts: 466000 | #Constraints: 66774
1198.00/1201.04 c #Conflicts: 467000 | #Constraints: 67774
1198.00/1201.04 c #Conflicts: 468000 | #Constraints: 68774
1198.00/1201.04 c #Conflicts: 469000 | #Constraints: 69774
1198.00/1201.04 c #Conflicts: 470000 | #Constraints: 70774
1198.00/1201.04 c #Conflicts: 471000 | #Constraints: 71774
1198.00/1201.04 c #Conflicts: 472000 | #Constraints: 72774
1198.00/1201.04 c #Conflicts: 473000 | #Constraints: 73774
1198.00/1201.04 c #Conflicts: 474000 | #Constraints: 74774
1198.00/1201.04 c #Conflicts: 475000 | #Constraints: 75774
1198.00/1201.04 c #Conflicts: 476000 | #Constraints: 76774
1198.00/1201.04 c #Conflicts: 477000 | #Constraints: 77774
1198.00/1201.04 c #Conflicts: 478000 | #Constraints: 78774
1198.00/1201.04 c #Conflicts: 479000 | #Constraints: 79774
1198.00/1201.04 c #Conflicts: 480000 | #Constraints: 80774
1198.00/1201.04 c #Conflicts: 481000 | #Constraints: 81774
1198.00/1201.04 c #Conflicts: 482000 | #Constraints: 82774
1198.00/1201.04 c #Conflicts: 483000 | #Constraints: 83774
1198.00/1201.04 c #Conflicts: 484000 | #Constraints: 84774
1198.00/1201.04 c #Conflicts: 485000 | #Constraints: 85774
1198.00/1201.04 c #Conflicts: 486000 | #Constraints: 86774
1198.00/1201.04 c INPROCESSING
1198.00/1201.04 c GARBAGE COLLECT
1198.00/1201.04 c #Conflicts: 487000 | #Constraints: 53074
1198.00/1201.04 c #Conflicts: 488000 | #Constraints: 54074
1198.00/1201.04 c #Conflicts: 489000 | #Constraints: 55074
1198.00/1201.04 c #Conflicts: 490000 | #Constraints: 56074
1198.00/1201.04 c #Conflicts: 491000 | #Constraints: 57074
1198.00/1201.04 c #Conflicts: 492000 | #Constraints: 58074
1198.00/1201.04 c #Conflicts: 493000 | #Constraints: 59074
1198.00/1201.04 c #Conflicts: 494000 | #Constraints: 60074
1198.00/1201.04 c #Conflicts: 495000 | #Constraints: 61074
1198.00/1201.04 c #Conflicts: 496000 | #Constraints: 62074
1198.00/1201.04 c #Conflicts: 497000 | #Constraints: 63074
1198.00/1201.04 c #Conflicts: 498000 | #Constraints: 64074
1198.00/1201.04 c #Conflicts: 499000 | #Constraints: 65074
1198.00/1201.04 c #Conflicts: 500000 | #Constraints: 66074
1198.00/1201.04 c #Conflicts: 501000 | #Constraints: 67074
1198.00/1201.04 c #Conflicts: 502000 | #Constraints: 68074
1198.00/1201.04 c #Conflicts: 503000 | #Constraints: 69074
1198.00/1201.04 c #Conflicts: 504000 | #Constraints: 70074
1198.00/1201.04 c INPROCESSING
1198.00/1201.04 c GARBAGE COLLECT
1198.00/1201.04 c #Conflicts: 505000 | #Constraints: 44650
1198.00/1201.04 c #Conflicts: 506000 | #Constraints: 45650
1198.00/1201.04 c #Conflicts: 507000 | #Constraints: 46650
1198.00/1201.04 c #Conflicts: 508000 | #Constraints: 47650
1198.00/1201.04 c #Conflicts: 509000 | #Constraints: 48650
1198.00/1201.04 c #Conflicts: 510000 | #Constraints: 49650
1198.00/1201.04 c #Conflicts: 511000 | #Constraints: 50650
1198.00/1201.04 c #Conflicts: 512000 | #Constraints: 51650
1198.00/1201.04 c #Conflicts: 513000 | #Constraints: 52650
1198.00/1201.04 c #Conflicts: 514000 | #Constraints: 53650
1198.00/1201.04 c #Conflicts: 515000 | #Constraints: 54650
1198.00/1201.04 c #Conflicts: 516000 | #Constraints: 55650
1198.00/1201.04 c #Conflicts: 517000 | #Constraints: 56650
1198.00/1201.04 c #Conflicts: 518000 | #Constraints: 57650
1198.00/1201.04 c #Conflicts: 519000 | #Constraints: 58650
1198.00/1201.04 c #Conflicts: 520000 | #Constraints: 59650
1198.00/1201.04 c #Conflicts: 521000 | #Constraints: 60650
1198.00/1201.04 c #Conflicts: 522000 | #Constraints: 61650
1198.00/1201.04 c INPROCESSING
1198.00/1201.04 c GARBAGE COLLECT
1198.00/1201.04 c #Conflicts: 523000 | #Constraints: 42719
1198.00/1201.04 c #Conflicts: 524000 | #Constraints: 43719
1198.00/1201.04 c #Conflicts: 525000 | #Constraints: 44719
1198.00/1201.04 c #Conflicts: 526000 | #Constraints: 45719
1198.00/1201.04 c #Conflicts: 527000 | #Constraints: 46719
1198.00/1201.04 c #Conflicts: 528000 | #Constraints: 47719
1198.00/1201.04 c #Conflicts: 529000 | #Constraints: 48719
1317.97/1321.37 c #Conflicts: 530000 | #Constraints: 49719
1317.97/1321.37 c #Conflicts: 531000 | #Constraints: 50719
1317.97/1321.37 c #Conflicts: 532000 | #Constraints: 51719
1317.97/1321.37 c #Conflicts: 533000 | #Constraints: 52719
1317.97/1321.37 c #Conflicts: 534000 | #Constraints: 53719
1317.97/1321.37 c #Conflicts: 535000 | #Constraints: 54719
1317.97/1321.37 c #Conflicts: 536000 | #Constraints: 55719
1317.97/1321.37 c #Conflicts: 537000 | #Constraints: 56719
1317.97/1321.37 c #Conflicts: 538000 | #Constraints: 57719
1317.97/1321.37 c #Conflicts: 539000 | #Constraints: 58719
1317.97/1321.37 c #Conflicts: 540000 | #Constraints: 59719
1317.97/1321.37 c #Conflicts: 541000 | #Constraints: 60719
1317.97/1321.37 c #Conflicts: 542000 | #Constraints: 61719
1317.97/1321.37 c #Conflicts: 543000 | #Constraints: 62719
1317.97/1321.37 c #Conflicts: 544000 | #Constraints: 63719
1317.97/1321.37 c #Conflicts: 545000 | #Constraints: 64719
1317.97/1321.37 c #Conflicts: 546000 | #Constraints: 65719
1317.97/1321.37 c #Conflicts: 547000 | #Constraints: 66719
1317.97/1321.37 c #Conflicts: 548000 | #Constraints: 67719
1317.97/1321.37 c #Conflicts: 549000 | #Constraints: 68719
1317.97/1321.37 c #Conflicts: 550000 | #Constraints: 69719
1317.97/1321.37 c #Conflicts: 551000 | #Constraints: 70719
1317.97/1321.37 c #Conflicts: 552000 | #Constraints: 71719
1317.97/1321.37 c #Conflicts: 553000 | #Constraints: 72719
1317.97/1321.37 c #Conflicts: 554000 | #Constraints: 73719
1317.97/1321.37 c #Conflicts: 555000 | #Constraints: 74719
1317.97/1321.37 c #Conflicts: 556000 | #Constraints: 75719
1317.97/1321.37 c #Conflicts: 557000 | #Constraints: 76719
1317.97/1321.37 c #Conflicts: 558000 | #Constraints: 77719
1317.97/1321.37 c #Conflicts: 559000 | #Constraints: 78719
1317.97/1321.37 c #Conflicts: 560000 | #Constraints: 79719
1317.97/1321.37 c #Conflicts: 561000 | #Constraints: 80719
1317.97/1321.37 c #Conflicts: 562000 | #Constraints: 81719
1317.97/1321.37 c #Conflicts: 563000 | #Constraints: 82719
1317.97/1321.37 c #Conflicts: 564000 | #Constraints: 83719
1317.97/1321.37 c #Conflicts: 565000 | #Constraints: 84719
1317.97/1321.37 c #Conflicts: 566000 | #Constraints: 85719
1317.97/1321.37 c #Conflicts: 567000 | #Constraints: 86719
1317.97/1321.37 c #Conflicts: 568000 | #Constraints: 87719
1317.97/1321.37 c #Conflicts: 569000 | #Constraints: 88719
1317.97/1321.37 c #Conflicts: 570000 | #Constraints: 89719
1317.97/1321.37 c #Conflicts: 571000 | #Constraints: 90719
1317.97/1321.37 c #Conflicts: 572000 | #Constraints: 91719
1317.97/1321.37 c #Conflicts: 573000 | #Constraints: 92719
1317.97/1321.37 c INPROCESSING
1317.97/1321.37 c GARBAGE COLLECT
1317.97/1321.37 c rational objective 133
1375.42/1378.97 c #Conflicts: 574000 | #Constraints: 55834
1375.42/1378.97 c #Conflicts: 575000 | #Constraints: 56834
1375.42/1378.97 c #Conflicts: 576000 | #Constraints: 57834
1375.42/1378.97 c #Conflicts: 577000 | #Constraints: 58834
1375.42/1378.97 c #Conflicts: 578000 | #Constraints: 59834
1375.42/1378.97 c #Conflicts: 579000 | #Constraints: 60834
1375.42/1378.97 c #Conflicts: 580000 | #Constraints: 61834
1375.42/1378.97 c #Conflicts: 581000 | #Constraints: 62834
1375.42/1378.97 c #Conflicts: 582000 | #Constraints: 63834
1375.42/1378.97 c #Conflicts: 583000 | #Constraints: 64834
1375.42/1378.97 c #Conflicts: 584000 | #Constraints: 65834
1375.42/1378.97 c #Conflicts: 585000 | #Constraints: 66834
1375.42/1378.97 c #Conflicts: 586000 | #Constraints: 67834
1375.42/1378.97 c #Conflicts: 587000 | #Constraints: 68834
1375.42/1378.97 c #Conflicts: 588000 | #Constraints: 69834
1375.42/1378.97 c #Conflicts: 589000 | #Constraints: 70834
1375.42/1378.97 c #Conflicts: 590000 | #Constraints: 71834
1375.42/1378.97 c #Conflicts: 591000 | #Constraints: 72834
1375.42/1378.97 c #Conflicts: 592000 | #Constraints: 73834
1375.42/1378.97 c INPROCESSING
1375.42/1378.97 c GARBAGE COLLECT
1375.42/1378.97 c rational objective 133
1576.35/1580.37 c #Conflicts: 593000 | #Constraints: 46404
1576.35/1580.37 c #Conflicts: 594000 | #Constraints: 47404
1576.35/1580.37 c #Conflicts: 595000 | #Constraints: 48404
1576.35/1580.37 c #Conflicts: 596000 | #Constraints: 49404
1576.35/1580.37 c #Conflicts: 597000 | #Constraints: 50404
1576.35/1580.37 c #Conflicts: 598000 | #Constraints: 51404
1576.35/1580.37 c #Conflicts: 599000 | #Constraints: 52404
1576.35/1580.37 c #Conflicts: 600000 | #Constraints: 53404
1576.35/1580.37 c #Conflicts: 601000 | #Constraints: 54404
1576.35/1580.37 c #Conflicts: 602000 | #Constraints: 55404
1576.35/1580.37 c #Conflicts: 603000 | #Constraints: 56404
1576.35/1580.37 c #Conflicts: 604000 | #Constraints: 57404
1576.35/1580.37 c #Conflicts: 605000 | #Constraints: 58404
1576.35/1580.37 c #Conflicts: 606000 | #Constraints: 59404
1576.35/1580.37 c #Conflicts: 607000 | #Constraints: 60404
1576.35/1580.37 c #Conflicts: 608000 | #Constraints: 61404
1576.35/1580.37 c #Conflicts: 609000 | #Constraints: 62404
1576.35/1580.37 c #Conflicts: 610000 | #Constraints: 63404
1576.35/1580.37 c #Conflicts: 611000 | #Constraints: 64404
1576.35/1580.37 c #Conflicts: 612000 | #Constraints: 65404
1576.35/1580.37 c INPROCESSING
1576.35/1580.37 c GARBAGE COLLECT
1576.35/1580.37 c #Conflicts: 613000 | #Constraints: 45064
1576.35/1580.37 c #Conflicts: 614000 | #Constraints: 46064
1576.35/1580.37 c #Conflicts: 615000 | #Constraints: 47064
1576.35/1580.37 c #Conflicts: 616000 | #Constraints: 48064
1576.35/1580.37 c #Conflicts: 617000 | #Constraints: 49064
1576.35/1580.37 c #Conflicts: 618000 | #Constraints: 50064
1576.35/1580.37 c #Conflicts: 619000 | #Constraints: 51064
1576.35/1580.37 c #Conflicts: 620000 | #Constraints: 52064
1576.35/1580.37 c #Conflicts: 621000 | #Constraints: 53064
1576.35/1580.37 c #Conflicts: 622000 | #Constraints: 54064
1576.35/1580.37 c #Conflicts: 623000 | #Constraints: 55064
1576.35/1580.37 c #Conflicts: 624000 | #Constraints: 56064
1576.35/1580.37 c #Conflicts: 625000 | #Constraints: 57064
1576.35/1580.37 c #Conflicts: 626000 | #Constraints: 58064
1576.35/1580.37 c #Conflicts: 627000 | #Constraints: 59064
1576.35/1580.37 c #Conflicts: 628000 | #Constraints: 60064
1576.35/1580.37 c #Conflicts: 629000 | #Constraints: 61064
1576.35/1580.37 c #Conflicts: 630000 | #Constraints: 62064
1576.35/1580.37 c #Conflicts: 631000 | #Constraints: 63064
1576.35/1580.37 c #Conflicts: 632000 | #Constraints: 64064
1576.35/1580.37 c #Conflicts: 633000 | #Constraints: 65064
1576.35/1580.37 c #Conflicts: 634000 | #Constraints: 66064
1576.35/1580.37 c #Conflicts: 635000 | #Constraints: 67064
1576.35/1580.37 c #Conflicts: 636000 | #Constraints: 68064
1576.35/1580.37 c #Conflicts: 637000 | #Constraints: 69064
1576.35/1580.37 c #Conflicts: 638000 | #Constraints: 70064
1576.35/1580.37 c #Conflicts: 639000 | #Constraints: 71064
1576.35/1580.37 c #Conflicts: 640000 | #Constraints: 72064
1576.35/1580.37 c #Conflicts: 641000 | #Constraints: 73064
1576.35/1580.37 c #Conflicts: 642000 | #Constraints: 74064
1576.35/1580.37 c #Conflicts: 643000 | #Constraints: 75064
1576.35/1580.37 c #Conflicts: 644000 | #Constraints: 76064
1576.35/1580.37 c #Conflicts: 645000 | #Constraints: 77064
1576.35/1580.37 c #Conflicts: 646000 | #Constraints: 78064
1576.35/1580.37 c #Conflicts: 647000 | #Constraints: 79064
1576.35/1580.37 c #Conflicts: 648000 | #Constraints: 80064
1576.35/1580.37 c #Conflicts: 649000 | #Constraints: 81064
1576.35/1580.37 c #Conflicts: 650000 | #Constraints: 82064
1576.35/1580.37 c #Conflicts: 651000 | #Constraints: 83064
1576.35/1580.37 c #Conflicts: 652000 | #Constraints: 84064
1576.35/1580.37 c #Conflicts: 653000 | #Constraints: 85064
1576.35/1580.37 c #Conflicts: 654000 | #Constraints: 86064
1576.35/1580.37 c #Conflicts: 655000 | #Constraints: 87064
1576.35/1580.37 c #Conflicts: 656000 | #Constraints: 88064
1576.35/1580.37 c #Conflicts: 657000 | #Constraints: 89064
1576.35/1580.37 c #Conflicts: 658000 | #Constraints: 90064
1576.35/1580.37 c #Conflicts: 659000 | #Constraints: 91064
1576.35/1580.37 c #Conflicts: 660000 | #Constraints: 92064
1576.35/1580.37 c #Conflicts: 661000 | #Constraints: 93064
1576.35/1580.37 c #Conflicts: 662000 | #Constraints: 94064
1576.35/1580.37 c #Conflicts: 663000 | #Constraints: 95064
1576.35/1580.37 c #Conflicts: 664000 | #Constraints: 96064
1576.35/1580.37 c #Conflicts: 665000 | #Constraints: 97064
1576.35/1580.37 c #Conflicts: 666000 | #Constraints: 98064
1576.35/1580.37 c #Conflicts: 667000 | #Constraints: 99064
1576.35/1580.37 c #Conflicts: 668000 | #Constraints: 100064
1576.35/1580.37 c INPROCESSING
1576.35/1580.37 c GARBAGE COLLECT
1576.35/1580.37 c rational objective 133
1636.30/1640.45 c #Conflicts: 669000 | #Constraints: 59766
1636.30/1640.45 c #Conflicts: 670000 | #Constraints: 60766
1636.30/1640.45 c #Conflicts: 671000 | #Constraints: 61766
1636.30/1640.45 c #Conflicts: 672000 | #Constraints: 62766
1636.30/1640.45 c #Conflicts: 673000 | #Constraints: 63766
1636.30/1640.45 c #Conflicts: 674000 | #Constraints: 64766
1636.30/1640.45 c #Conflicts: 675000 | #Constraints: 65766
1636.30/1640.45 c #Conflicts: 676000 | #Constraints: 66766
1636.30/1640.45 c #Conflicts: 677000 | #Constraints: 67766
1636.30/1640.45 c #Conflicts: 678000 | #Constraints: 68766
1636.30/1640.45 c #Conflicts: 679000 | #Constraints: 69766
1636.30/1640.45 c #Conflicts: 680000 | #Constraints: 70766
1636.30/1640.45 c #Conflicts: 681000 | #Constraints: 71766
1636.30/1640.45 c #Conflicts: 682000 | #Constraints: 72766
1636.30/1640.45 c #Conflicts: 683000 | #Constraints: 73766
1636.30/1640.45 c #Conflicts: 684000 | #Constraints: 74766
1636.30/1640.45 c #Conflicts: 685000 | #Constraints: 75766
1636.30/1640.45 c #Conflicts: 686000 | #Constraints: 76766
1636.30/1640.45 c #Conflicts: 687000 | #Constraints: 77766
1636.30/1640.45 c #Conflicts: 688000 | #Constraints: 78766
1636.30/1640.45 c INPROCESSING
1636.30/1640.45 c GARBAGE COLLECT
1636.30/1640.45 c rational objective 133
1851.99/1856.65 c #Conflicts: 689000 | #Constraints: 48816
1851.99/1856.65 c #Conflicts: 690000 | #Constraints: 49816
1851.99/1856.65 c #Conflicts: 691000 | #Constraints: 50816
1851.99/1856.65 c #Conflicts: 692000 | #Constraints: 51816
1851.99/1856.65 c #Conflicts: 693000 | #Constraints: 52816
1851.99/1856.65 c #Conflicts: 694000 | #Constraints: 53816
1851.99/1856.65 c #Conflicts: 695000 | #Constraints: 54816
1851.99/1856.65 c #Conflicts: 696000 | #Constraints: 55816
1851.99/1856.65 c #Conflicts: 697000 | #Constraints: 56816
1851.99/1856.65 c #Conflicts: 698000 | #Constraints: 57816
1851.99/1856.65 c #Conflicts: 699000 | #Constraints: 58816
1851.99/1856.65 c #Conflicts: 700000 | #Constraints: 59816
1851.99/1856.65 c #Conflicts: 701000 | #Constraints: 60816
1851.99/1856.65 c #Conflicts: 702000 | #Constraints: 61816
1851.99/1856.65 c #Conflicts: 703000 | #Constraints: 62816
1851.99/1856.65 c #Conflicts: 704000 | #Constraints: 63816
1851.99/1856.65 c #Conflicts: 705000 | #Constraints: 64816
1851.99/1856.65 c #Conflicts: 706000 | #Constraints: 65816
1851.99/1856.65 c #Conflicts: 707000 | #Constraints: 66816
1851.99/1856.65 c #Conflicts: 708000 | #Constraints: 67816
1851.99/1856.65 c #Conflicts: 709000 | #Constraints: 68816
1851.99/1856.65 c INPROCESSING
1851.99/1856.65 c GARBAGE COLLECT
1851.99/1856.65 c #Conflicts: 710000 | #Constraints: 47326
1851.99/1856.65 c #Conflicts: 711000 | #Constraints: 48326
1851.99/1856.65 c #Conflicts: 712000 | #Constraints: 49326
1851.99/1856.65 c #Conflicts: 713000 | #Constraints: 50326
1851.99/1856.65 c #Conflicts: 714000 | #Constraints: 51326
1851.99/1856.65 c #Conflicts: 715000 | #Constraints: 52326
1851.99/1856.65 c #Conflicts: 716000 | #Constraints: 53326
1851.99/1856.65 c #Conflicts: 717000 | #Constraints: 54326
1851.99/1856.65 c #Conflicts: 718000 | #Constraints: 55326
1851.99/1856.65 c #Conflicts: 719000 | #Constraints: 56326
1851.99/1856.65 c #Conflicts: 720000 | #Constraints: 57326
1851.99/1856.65 c #Conflicts: 721000 | #Constraints: 58326
1851.99/1856.65 c #Conflicts: 722000 | #Constraints: 59326
1851.99/1856.65 c #Conflicts: 723000 | #Constraints: 60326
1851.99/1856.65 c #Conflicts: 724000 | #Constraints: 61326
1851.99/1856.65 c #Conflicts: 725000 | #Constraints: 62326
1851.99/1856.65 c #Conflicts: 726000 | #Constraints: 63326
1851.99/1856.65 c #Conflicts: 727000 | #Constraints: 64326
1851.99/1856.65 c #Conflicts: 728000 | #Constraints: 65326
1851.99/1856.65 c #Conflicts: 729000 | #Constraints: 66326
1851.99/1856.65 c #Conflicts: 730000 | #Constraints: 67326
1851.99/1856.65 c #Conflicts: 731000 | #Constraints: 68326
1851.99/1856.65 c #Conflicts: 732000 | #Constraints: 69326
1851.99/1856.65 c #Conflicts: 733000 | #Constraints: 70326
1851.99/1856.65 c #Conflicts: 734000 | #Constraints: 71326
1851.99/1856.65 c #Conflicts: 735000 | #Constraints: 72326
1851.99/1856.65 c #Conflicts: 736000 | #Constraints: 73326
1851.99/1856.65 c #Conflicts: 737000 | #Constraints: 74326
1851.99/1856.65 c #Conflicts: 738000 | #Constraints: 75326
1851.99/1856.65 c #Conflicts: 739000 | #Constraints: 76326
1851.99/1856.65 c #Conflicts: 740000 | #Constraints: 77326
1851.99/1856.65 c #Conflicts: 741000 | #Constraints: 78326
1851.99/1856.65 c #Conflicts: 742000 | #Constraints: 79326
1851.99/1856.65 c #Conflicts: 743000 | #Constraints: 80326
1851.99/1856.65 c #Conflicts: 744000 | #Constraints: 81326
1851.99/1856.65 c #Conflicts: 745000 | #Constraints: 82326
1851.99/1856.65 c #Conflicts: 746000 | #Constraints: 83326
1851.99/1856.65 c #Conflicts: 747000 | #Constraints: 84326
1851.99/1856.65 c #Conflicts: 748000 | #Constraints: 85326
1851.99/1856.65 c #Conflicts: 749000 | #Constraints: 86326
1851.99/1856.65 c #Conflicts: 750000 | #Constraints: 87326
1851.99/1856.65 c #Conflicts: 751000 | #Constraints: 88326
1851.99/1856.65 c #Conflicts: 752000 | #Constraints: 89326
1851.99/1856.65 c #Conflicts: 753000 | #Constraints: 90326
1851.99/1856.65 c #Conflicts: 754000 | #Constraints: 91326
1851.99/1856.65 c #Conflicts: 755000 | #Constraints: 92326
1851.99/1856.65 c #Conflicts: 756000 | #Constraints: 93326
1851.99/1856.65 c #Conflicts: 757000 | #Constraints: 94326
1851.99/1856.65 c #Conflicts: 758000 | #Constraints: 95326
1851.99/1856.65 c #Conflicts: 759000 | #Constraints: 96326
1851.99/1856.65 c #Conflicts: 760000 | #Constraints: 97326
1851.99/1856.65 c #Conflicts: 761000 | #Constraints: 98326
1851.99/1856.65 c #Conflicts: 762000 | #Constraints: 99326
1851.99/1856.65 c #Conflicts: 763000 | #Constraints: 100326
1851.99/1856.65 c #Conflicts: 764000 | #Constraints: 101326
1851.99/1856.65 c #Conflicts: 765000 | #Constraints: 102326
1851.99/1856.65 c #Conflicts: 766000 | #Constraints: 103326
1851.99/1856.65 c #Conflicts: 767000 | #Constraints: 104326
1878.52/1883.27 c #Conflicts: 768000 | #Constraints: 105326
1878.52/1883.27 c #Conflicts: 769000 | #Constraints: 106326
1878.52/1883.27 c INPROCESSING
1878.52/1883.27 c GARBAGE COLLECT
1878.52/1883.27 c rational objective 133
2080.39/2085.68 c #Conflicts: 770000 | #Constraints: 62598
2080.39/2085.68 c #Conflicts: 771000 | #Constraints: 63598
2080.39/2085.68 c #Conflicts: 772000 | #Constraints: 64598
2080.39/2085.68 c #Conflicts: 773000 | #Constraints: 65598
2080.39/2085.68 c #Conflicts: 774000 | #Constraints: 66598
2080.39/2085.68 c #Conflicts: 775000 | #Constraints: 67598
2080.39/2085.68 c #Conflicts: 776000 | #Constraints: 68598
2080.39/2085.68 c #Conflicts: 777000 | #Constraints: 69598
2080.39/2085.68 c #Conflicts: 778000 | #Constraints: 70598
2080.39/2085.68 c #Conflicts: 779000 | #Constraints: 71598
2080.39/2085.68 c #Conflicts: 780000 | #Constraints: 72598
2080.39/2085.68 c #Conflicts: 781000 | #Constraints: 73598
2080.39/2085.68 c #Conflicts: 782000 | #Constraints: 74598
2080.39/2085.68 c #Conflicts: 783000 | #Constraints: 75598
2080.39/2085.68 c #Conflicts: 784000 | #Constraints: 76598
2080.39/2085.68 c #Conflicts: 785000 | #Constraints: 77598
2080.39/2085.68 c #Conflicts: 786000 | #Constraints: 78598
2080.39/2085.68 c #Conflicts: 787000 | #Constraints: 79598
2080.39/2085.68 c #Conflicts: 788000 | #Constraints: 80598
2080.39/2085.68 c #Conflicts: 789000 | #Constraints: 81598
2080.39/2085.68 c #Conflicts: 790000 | #Constraints: 82598
2080.39/2085.68 c #Conflicts: 791000 | #Constraints: 83598
2080.39/2085.68 c #Conflicts: 792000 | #Constraints: 84598
2080.39/2085.68 c INPROCESSING
2080.39/2085.68 c GARBAGE COLLECT
2080.39/2085.68 c #Conflicts: 793000 | #Constraints: 52021
2080.39/2085.68 c #Conflicts: 794000 | #Constraints: 53021
2080.39/2085.68 c #Conflicts: 795000 | #Constraints: 54021
2080.39/2085.68 c #Conflicts: 796000 | #Constraints: 55021
2080.39/2085.68 c #Conflicts: 797000 | #Constraints: 56021
2080.39/2085.68 c #Conflicts: 798000 | #Constraints: 57021
2080.39/2085.68 c #Conflicts: 799000 | #Constraints: 58021
2080.39/2085.68 c #Conflicts: 800000 | #Constraints: 59021
2080.39/2085.68 c #Conflicts: 801000 | #Constraints: 60021
2080.39/2085.68 c #Conflicts: 802000 | #Constraints: 61021
2080.39/2085.68 c #Conflicts: 803000 | #Constraints: 62021
2080.39/2085.68 c #Conflicts: 804000 | #Constraints: 63021
2080.39/2085.68 c #Conflicts: 805000 | #Constraints: 64021
2080.39/2085.68 c #Conflicts: 806000 | #Constraints: 65021
2080.39/2085.68 c #Conflicts: 807000 | #Constraints: 66021
2080.39/2085.68 c #Conflicts: 808000 | #Constraints: 67021
2080.39/2085.68 c #Conflicts: 809000 | #Constraints: 68021
2080.39/2085.68 c #Conflicts: 810000 | #Constraints: 69021
2080.39/2085.68 c #Conflicts: 811000 | #Constraints: 70021
2080.39/2085.68 c #Conflicts: 812000 | #Constraints: 71022
2080.39/2085.68 c #Conflicts: 813000 | #Constraints: 72022
2080.39/2085.68 c #Conflicts: 814000 | #Constraints: 73022
2080.39/2085.68 c INPROCESSING
2080.39/2085.68 c GARBAGE COLLECT
2080.39/2085.68 c #Conflicts: 815000 | #Constraints: 50092
2080.39/2085.68 c #Conflicts: 816000 | #Constraints: 51092
2080.39/2085.68 c #Conflicts: 817000 | #Constraints: 52092
2080.39/2085.68 c #Conflicts: 818000 | #Constraints: 53092
2080.39/2085.68 c #Conflicts: 819000 | #Constraints: 54092
2080.39/2085.68 c #Conflicts: 820000 | #Constraints: 55092
2080.39/2085.68 c #Conflicts: 821000 | #Constraints: 56092
2080.39/2085.68 c #Conflicts: 822000 | #Constraints: 57092
2080.39/2085.68 c #Conflicts: 823000 | #Constraints: 58092
2080.39/2085.68 c #Conflicts: 824000 | #Constraints: 59092
2080.39/2085.68 c #Conflicts: 825000 | #Constraints: 60092
2080.39/2085.68 c #Conflicts: 826000 | #Constraints: 61092
2080.39/2085.68 c #Conflicts: 827000 | #Constraints: 62092
2080.39/2085.68 c #Conflicts: 828000 | #Constraints: 63092
2080.39/2085.68 c #Conflicts: 829000 | #Constraints: 64092
2080.39/2085.68 c #Conflicts: 830000 | #Constraints: 65092
2080.39/2085.68 c #Conflicts: 831000 | #Constraints: 66092
2080.39/2085.68 c #Conflicts: 832000 | #Constraints: 67092
2080.39/2085.68 c #Conflicts: 833000 | #Constraints: 68092
2080.39/2085.68 c #Conflicts: 834000 | #Constraints: 69092
2080.39/2085.68 c #Conflicts: 835000 | #Constraints: 70092
2080.39/2085.68 c #Conflicts: 836000 | #Constraints: 71092
2080.39/2085.68 c #Conflicts: 837000 | #Constraints: 72092
2080.39/2085.68 c #Conflicts: 838000 | #Constraints: 73092
2080.39/2085.68 c #Conflicts: 839000 | #Constraints: 74092
2080.39/2085.68 c #Conflicts: 840000 | #Constraints: 75092
2080.39/2085.68 c #Conflicts: 841000 | #Constraints: 76092
2080.39/2085.68 c #Conflicts: 842000 | #Constraints: 77092
2080.39/2085.68 c #Conflicts: 843000 | #Constraints: 78092
2080.39/2085.68 c #Conflicts: 844000 | #Constraints: 79092
2080.39/2085.68 c #Conflicts: 845000 | #Constraints: 80092
2080.39/2085.68 c #Conflicts: 846000 | #Constraints: 81092
2080.39/2085.68 c #Conflicts: 847000 | #Constraints: 82092
2283.99/2289.82 c #Conflicts: 848000 | #Constraints: 83092
2283.99/2289.82 c #Conflicts: 849000 | #Constraints: 84092
2283.99/2289.82 c #Conflicts: 850000 | #Constraints: 85092
2283.99/2289.82 c #Conflicts: 851000 | #Constraints: 86092
2283.99/2289.82 c #Conflicts: 852000 | #Constraints: 87092
2283.99/2289.82 c #Conflicts: 853000 | #Constraints: 88092
2283.99/2289.82 c #Conflicts: 854000 | #Constraints: 89092
2283.99/2289.82 c #Conflicts: 855000 | #Constraints: 90092
2283.99/2289.82 c #Conflicts: 856000 | #Constraints: 91092
2283.99/2289.82 c #Conflicts: 857000 | #Constraints: 92092
2283.99/2289.82 c #Conflicts: 858000 | #Constraints: 93092
2283.99/2289.82 c #Conflicts: 859000 | #Constraints: 94092
2283.99/2289.82 c #Conflicts: 860000 | #Constraints: 95092
2283.99/2289.82 c #Conflicts: 861000 | #Constraints: 96092
2283.99/2289.82 c #Conflicts: 862000 | #Constraints: 97092
2283.99/2289.82 c #Conflicts: 863000 | #Constraints: 98092
2283.99/2289.82 c #Conflicts: 864000 | #Constraints: 99092
2283.99/2289.82 c #Conflicts: 865000 | #Constraints: 100092
2283.99/2289.82 c #Conflicts: 866000 | #Constraints: 101092
2283.99/2289.82 c #Conflicts: 867000 | #Constraints: 102092
2283.99/2289.82 c #Conflicts: 868000 | #Constraints: 103092
2283.99/2289.82 c #Conflicts: 869000 | #Constraints: 104092
2283.99/2289.82 c #Conflicts: 870000 | #Constraints: 105092
2283.99/2289.82 c #Conflicts: 871000 | #Constraints: 106092
2283.99/2289.82 c #Conflicts: 872000 | #Constraints: 107092
2283.99/2289.82 c #Conflicts: 873000 | #Constraints: 108092
2283.99/2289.82 c #Conflicts: 874000 | #Constraints: 109092
2283.99/2289.82 c #Conflicts: 875000 | #Constraints: 110092
2283.99/2289.82 c #Conflicts: 876000 | #Constraints: 111092
2283.99/2289.82 c #Conflicts: 877000 | #Constraints: 112092
2283.99/2289.82 c #Conflicts: 878000 | #Constraints: 113092
2283.99/2289.82 c INPROCESSING
2283.99/2289.82 c GARBAGE COLLECT
2283.99/2289.82 c #Conflicts: 879000 | #Constraints: 66042
2283.99/2289.82 c #Conflicts: 880000 | #Constraints: 67042
2283.99/2289.82 c #Conflicts: 881000 | #Constraints: 68042
2283.99/2289.82 c #Conflicts: 882000 | #Constraints: 69042
2283.99/2289.82 c #Conflicts: 883000 | #Constraints: 70042
2283.99/2289.82 c #Conflicts: 884000 | #Constraints: 71042
2283.99/2289.82 c #Conflicts: 885000 | #Constraints: 72042
2283.99/2289.82 c #Conflicts: 886000 | #Constraints: 73042
2283.99/2289.82 c #Conflicts: 887000 | #Constraints: 74042
2283.99/2289.82 c #Conflicts: 888000 | #Constraints: 75042
2283.99/2289.82 c #Conflicts: 889000 | #Constraints: 76042
2283.99/2289.82 c #Conflicts: 890000 | #Constraints: 77042
2283.99/2289.82 c #Conflicts: 891000 | #Constraints: 78042
2283.99/2289.82 c #Conflicts: 892000 | #Constraints: 79042
2283.99/2289.82 c #Conflicts: 893000 | #Constraints: 80042
2283.99/2289.82 c #Conflicts: 894000 | #Constraints: 81042
2283.99/2289.82 c #Conflicts: 895000 | #Constraints: 82042
2283.99/2289.82 c #Conflicts: 896000 | #Constraints: 83042
2283.99/2289.82 c #Conflicts: 897000 | #Constraints: 84042
2283.99/2289.82 c #Conflicts: 898000 | #Constraints: 85042
2283.99/2289.82 c #Conflicts: 899000 | #Constraints: 86042
2283.99/2289.82 c #Conflicts: 900000 | #Constraints: 87042
2283.99/2289.82 c #Conflicts: 901000 | #Constraints: 88042
2283.99/2289.82 c #Conflicts: 902000 | #Constraints: 89042
2283.99/2289.82 c INPROCESSING
2283.99/2289.82 c GARBAGE COLLECT
2283.99/2289.82 c #Conflicts: 903000 | #Constraints: 54135
2283.99/2289.82 c #Conflicts: 904000 | #Constraints: 55135
2283.99/2289.82 c #Conflicts: 905000 | #Constraints: 56135
2283.99/2289.82 c #Conflicts: 906000 | #Constraints: 57135
2283.99/2289.82 c #Conflicts: 907000 | #Constraints: 58135
2283.99/2289.82 c #Conflicts: 908000 | #Constraints: 59135
2283.99/2289.82 c #Conflicts: 909000 | #Constraints: 60135
2283.99/2289.82 c #Conflicts: 910000 | #Constraints: 61135
2283.99/2289.82 c #Conflicts: 911000 | #Constraints: 62135
2283.99/2289.82 c #Conflicts: 912000 | #Constraints: 63135
2283.99/2289.82 c #Conflicts: 913000 | #Constraints: 64135
2283.99/2289.82 c #Conflicts: 914000 | #Constraints: 65135
2283.99/2289.82 c #Conflicts: 915000 | #Constraints: 66135
2283.99/2289.82 c #Conflicts: 916000 | #Constraints: 67135
2283.99/2289.82 c #Conflicts: 917000 | #Constraints: 68135
2283.99/2289.82 c #Conflicts: 918000 | #Constraints: 69135
2283.99/2289.82 c #Conflicts: 919000 | #Constraints: 70135
2283.99/2289.82 c #Conflicts: 920000 | #Constraints: 71135
2283.99/2289.82 c #Conflicts: 921000 | #Constraints: 72135
2283.99/2289.82 c #Conflicts: 922000 | #Constraints: 73135
2283.99/2289.82 c #Conflicts: 923000 | #Constraints: 74135
2283.99/2289.82 c #Conflicts: 924000 | #Constraints: 75135
2532.07/2538.64 c #Conflicts: 925000 | #Constraints: 76135
2532.07/2538.64 c #Conflicts: 926000 | #Constraints: 77135
2532.07/2538.64 c INPROCESSING
2532.07/2538.64 c GARBAGE COLLECT
2532.07/2538.64 c #Conflicts: 927000 | #Constraints: 52820
2532.07/2538.64 c #Conflicts: 928000 | #Constraints: 53820
2532.07/2538.64 c #Conflicts: 929000 | #Constraints: 54820
2532.07/2538.64 c #Conflicts: 930000 | #Constraints: 55820
2532.07/2538.64 c #Conflicts: 931000 | #Constraints: 56820
2532.07/2538.64 c #Conflicts: 932000 | #Constraints: 57820
2532.07/2538.64 c #Conflicts: 933000 | #Constraints: 58820
2532.07/2538.64 c #Conflicts: 934000 | #Constraints: 59820
2532.07/2538.64 c #Conflicts: 935000 | #Constraints: 60820
2532.07/2538.64 c #Conflicts: 936000 | #Constraints: 61820
2532.07/2538.64 c #Conflicts: 937000 | #Constraints: 62820
2532.07/2538.64 c #Conflicts: 938000 | #Constraints: 63820
2532.07/2538.64 c #Conflicts: 939000 | #Constraints: 64820
2532.07/2538.64 c #Conflicts: 940000 | #Constraints: 65820
2532.07/2538.64 c #Conflicts: 941000 | #Constraints: 66820
2532.07/2538.64 c #Conflicts: 942000 | #Constraints: 67820
2532.07/2538.64 c #Conflicts: 943000 | #Constraints: 68820
2532.07/2538.64 c #Conflicts: 944000 | #Constraints: 69820
2532.07/2538.64 c #Conflicts: 945000 | #Constraints: 70820
2532.07/2538.64 c #Conflicts: 946000 | #Constraints: 71820
2532.07/2538.64 c #Conflicts: 947000 | #Constraints: 72820
2532.07/2538.64 c #Conflicts: 948000 | #Constraints: 73820
2532.07/2538.64 c #Conflicts: 949000 | #Constraints: 74820
2532.07/2538.64 c #Conflicts: 950000 | #Constraints: 75820
2532.07/2538.64 c #Conflicts: 951000 | #Constraints: 76820
2532.07/2538.64 c #Conflicts: 952000 | #Constraints: 77820
2532.07/2538.64 c #Conflicts: 953000 | #Constraints: 78820
2532.07/2538.64 c #Conflicts: 954000 | #Constraints: 79820
2532.07/2538.64 c #Conflicts: 955000 | #Constraints: 80820
2532.07/2538.64 c #Conflicts: 956000 | #Constraints: 81820
2532.07/2538.64 c #Conflicts: 957000 | #Constraints: 82820
2532.07/2538.64 c #Conflicts: 958000 | #Constraints: 83820
2532.07/2538.64 c #Conflicts: 959000 | #Constraints: 84820
2532.07/2538.64 c #Conflicts: 960000 | #Constraints: 85820
2532.07/2538.64 c #Conflicts: 961000 | #Constraints: 86820
2532.07/2538.64 c #Conflicts: 962000 | #Constraints: 87820
2532.07/2538.64 c #Conflicts: 963000 | #Constraints: 88820
2532.07/2538.64 c #Conflicts: 964000 | #Constraints: 89820
2532.07/2538.64 c #Conflicts: 965000 | #Constraints: 90820
2532.07/2538.64 c #Conflicts: 966000 | #Constraints: 91820
2532.07/2538.64 c #Conflicts: 967000 | #Constraints: 92820
2532.07/2538.64 c #Conflicts: 968000 | #Constraints: 93820
2532.07/2538.64 c #Conflicts: 969000 | #Constraints: 94820
2532.07/2538.64 c #Conflicts: 970000 | #Constraints: 95820
2532.07/2538.64 c #Conflicts: 971000 | #Constraints: 96820
2532.07/2538.64 c #Conflicts: 972000 | #Constraints: 97820
2532.07/2538.64 c #Conflicts: 973000 | #Constraints: 98820
2532.07/2538.64 c #Conflicts: 974000 | #Constraints: 99820
2532.07/2538.64 c #Conflicts: 975000 | #Constraints: 100820
2532.07/2538.64 c #Conflicts: 976000 | #Constraints: 101820
2532.07/2538.64 c #Conflicts: 977000 | #Constraints: 102820
2532.07/2538.64 c #Conflicts: 978000 | #Constraints: 103820
2532.07/2538.64 c #Conflicts: 979000 | #Constraints: 104820
2532.07/2538.64 c #Conflicts: 980000 | #Constraints: 105820
2532.07/2538.64 c #Conflicts: 981000 | #Constraints: 106820
2532.07/2538.64 c #Conflicts: 982000 | #Constraints: 107820
2532.07/2538.64 c #Conflicts: 983000 | #Constraints: 108820
2532.07/2538.64 c #Conflicts: 984000 | #Constraints: 109820
2532.07/2538.64 c #Conflicts: 985000 | #Constraints: 110820
2532.07/2538.64 c #Conflicts: 986000 | #Constraints: 111820
2532.07/2538.64 c #Conflicts: 987000 | #Constraints: 112820
2532.07/2538.64 c #Conflicts: 988000 | #Constraints: 113820
2532.07/2538.64 c #Conflicts: 989000 | #Constraints: 114820
2532.07/2538.64 c #Conflicts: 990000 | #Constraints: 115820
2532.07/2538.64 c #Conflicts: 991000 | #Constraints: 116820
2532.07/2538.64 c #Conflicts: 992000 | #Constraints: 117820
2532.07/2538.64 c #Conflicts: 993000 | #Constraints: 118820
2532.07/2538.64 c #Conflicts: 994000 | #Constraints: 119820
2532.07/2538.64 c INPROCESSING
2532.07/2538.64 c GARBAGE COLLECT
2532.07/2538.64 c rational objective 133
2766.89/2774.16 c #Conflicts: 995000 | #Constraints: 69426
2766.89/2774.16 c #Conflicts: 996000 | #Constraints: 70426
2766.89/2774.16 c #Conflicts: 997000 | #Constraints: 71426
2766.89/2774.16 c #Conflicts: 998000 | #Constraints: 72426
2766.89/2774.16 c #Conflicts: 999000 | #Constraints: 73426
2766.89/2774.16 c #Conflicts: 1000000 | #Constraints: 74426
2766.89/2774.16 c #Conflicts: 1001000 | #Constraints: 75426
2766.89/2774.16 c #Conflicts: 1002000 | #Constraints: 76426
2766.89/2774.16 c #Conflicts: 1003000 | #Constraints: 77426
2766.89/2774.16 c #Conflicts: 1004000 | #Constraints: 78426
2766.89/2774.16 c #Conflicts: 1005000 | #Constraints: 79426
2766.89/2774.16 c #Conflicts: 1006000 | #Constraints: 80426
2766.89/2774.16 c #Conflicts: 1007000 | #Constraints: 81426
2766.89/2774.16 c #Conflicts: 1008000 | #Constraints: 82426
2766.89/2774.16 c #Conflicts: 1009000 | #Constraints: 83426
2766.89/2774.16 c #Conflicts: 1010000 | #Constraints: 84426
2766.89/2774.16 c #Conflicts: 1011000 | #Constraints: 85426
2766.89/2774.16 c #Conflicts: 1012000 | #Constraints: 86426
2766.89/2774.16 c #Conflicts: 1013000 | #Constraints: 87426
2766.89/2774.16 c #Conflicts: 1014000 | #Constraints: 88426
2766.89/2774.16 c #Conflicts: 1015000 | #Constraints: 89426
2766.89/2774.16 c #Conflicts: 1016000 | #Constraints: 90426
2766.89/2774.16 c #Conflicts: 1017000 | #Constraints: 91426
2766.89/2774.16 c #Conflicts: 1018000 | #Constraints: 92426
2766.89/2774.16 c #Conflicts: 1019000 | #Constraints: 93426
2766.89/2774.16 c #Conflicts: 1020000 | #Constraints: 94426
2766.89/2774.16 c INPROCESSING
2766.89/2774.16 c GARBAGE COLLECT
2766.89/2774.16 c #Conflicts: 1021000 | #Constraints: 57049
2766.89/2774.16 c #Conflicts: 1022000 | #Constraints: 58049
2766.89/2774.16 c #Conflicts: 1023000 | #Constraints: 59049
2766.89/2774.16 c #Conflicts: 1024000 | #Constraints: 60049
2766.89/2774.16 c #Conflicts: 1025000 | #Constraints: 61049
2766.89/2774.16 c #Conflicts: 1026000 | #Constraints: 62049
2766.89/2774.16 c #Conflicts: 1027000 | #Constraints: 63049
2766.89/2774.16 c #Conflicts: 1028000 | #Constraints: 64049
2766.89/2774.16 c #Conflicts: 1029000 | #Constraints: 65049
2766.89/2774.16 c #Conflicts: 1030000 | #Constraints: 66049
2766.89/2774.16 c #Conflicts: 1031000 | #Constraints: 67049
2766.89/2774.16 c #Conflicts: 1032000 | #Constraints: 68049
2766.89/2774.16 c #Conflicts: 1033000 | #Constraints: 69049
2766.89/2774.16 c #Conflicts: 1034000 | #Constraints: 70049
2766.89/2774.16 c #Conflicts: 1035000 | #Constraints: 71049
2766.89/2774.16 c #Conflicts: 1036000 | #Constraints: 72049
2766.89/2774.16 c #Conflicts: 1037000 | #Constraints: 73049
2766.89/2774.16 c #Conflicts: 1038000 | #Constraints: 74049
2766.89/2774.16 c #Conflicts: 1039000 | #Constraints: 75049
2766.89/2774.16 c #Conflicts: 1040000 | #Constraints: 76049
2766.89/2774.16 c #Conflicts: 1041000 | #Constraints: 77049
2766.89/2774.16 c #Conflicts: 1042000 | #Constraints: 78049
2766.89/2774.16 c #Conflicts: 1043000 | #Constraints: 79049
2766.89/2774.16 c #Conflicts: 1044000 | #Constraints: 80049
2766.89/2774.16 c #Conflicts: 1045000 | #Constraints: 81049
2766.89/2774.16 c INPROCESSING
2766.89/2774.16 c GARBAGE COLLECT
2766.89/2774.16 c #Conflicts: 1046000 | #Constraints: 54362
2766.89/2774.16 c #Conflicts: 1047000 | #Constraints: 55362
2766.89/2774.16 c #Conflicts: 1048000 | #Constraints: 56362
2766.89/2774.16 c #Conflicts: 1049000 | #Constraints: 57362
2766.89/2774.16 c #Conflicts: 1050000 | #Constraints: 58362
2766.89/2774.16 c #Conflicts: 1051000 | #Constraints: 59362
2766.89/2774.16 c #Conflicts: 1052000 | #Constraints: 60362
2766.89/2774.16 c #Conflicts: 1053000 | #Constraints: 61362
2766.89/2774.16 c #Conflicts: 1054000 | #Constraints: 62362
2766.89/2774.16 c #Conflicts: 1055000 | #Constraints: 63362
2766.89/2774.16 c #Conflicts: 1056000 | #Constraints: 64362
2766.89/2774.16 c #Conflicts: 1057000 | #Constraints: 65362
2766.89/2774.16 c #Conflicts: 1058000 | #Constraints: 66362
2766.89/2774.16 c #Conflicts: 1059000 | #Constraints: 67362
2766.89/2774.16 c #Conflicts: 1060000 | #Constraints: 68362
2766.89/2774.16 c #Conflicts: 1061000 | #Constraints: 69362
2766.89/2774.16 c #Conflicts: 1062000 | #Constraints: 70362
2766.89/2774.16 c #Conflicts: 1063000 | #Constraints: 71362
2766.89/2774.16 c #Conflicts: 1064000 | #Constraints: 72362
2766.89/2774.16 c #Conflicts: 1065000 | #Constraints: 73362
2766.89/2774.16 c #Conflicts: 1066000 | #Constraints: 74362
2766.89/2774.16 c #Conflicts: 1067000 | #Constraints: 75362
2766.89/2774.16 c #Conflicts: 1068000 | #Constraints: 76362
2766.89/2774.16 c #Conflicts: 1069000 | #Constraints: 77362
2766.89/2774.16 c #Conflicts: 1070000 | #Constraints: 78362
2766.89/2774.16 c #Conflicts: 1071000 | #Constraints: 79362
2766.89/2774.16 c #Conflicts: 1072000 | #Constraints: 80362
3081.19/3089.33 c #Conflicts: 1073000 | #Constraints: 81362
3081.19/3089.33 c #Conflicts: 1074000 | #Constraints: 82362
3081.19/3089.33 c #Conflicts: 1075000 | #Constraints: 83362
3081.19/3089.33 c #Conflicts: 1076000 | #Constraints: 84362
3081.19/3089.33 c #Conflicts: 1077000 | #Constraints: 85362
3081.19/3089.33 c #Conflicts: 1078000 | #Constraints: 86362
3081.19/3089.33 c #Conflicts: 1079000 | #Constraints: 87362
3081.19/3089.33 c #Conflicts: 1080000 | #Constraints: 88362
3081.19/3089.33 c #Conflicts: 1081000 | #Constraints: 89362
3081.19/3089.33 c #Conflicts: 1082000 | #Constraints: 90362
3081.19/3089.33 c #Conflicts: 1083000 | #Constraints: 91362
3081.19/3089.33 c #Conflicts: 1084000 | #Constraints: 92362
3081.19/3089.33 c #Conflicts: 1085000 | #Constraints: 93362
3081.19/3089.33 c #Conflicts: 1086000 | #Constraints: 94362
3081.19/3089.33 c #Conflicts: 1087000 | #Constraints: 95362
3081.19/3089.33 c #Conflicts: 1088000 | #Constraints: 96362
3081.19/3089.33 c #Conflicts: 1089000 | #Constraints: 97362
3081.19/3089.33 c #Conflicts: 1090000 | #Constraints: 98362
3081.19/3089.33 c #Conflicts: 1091000 | #Constraints: 99362
3081.19/3089.33 c #Conflicts: 1092000 | #Constraints: 100362
3081.19/3089.33 c #Conflicts: 1093000 | #Constraints: 101362
3081.19/3089.33 c #Conflicts: 1094000 | #Constraints: 102362
3081.19/3089.33 c #Conflicts: 1095000 | #Constraints: 103362
3081.19/3089.33 c #Conflicts: 1096000 | #Constraints: 104362
3081.19/3089.33 c #Conflicts: 1097000 | #Constraints: 105362
3081.19/3089.33 c #Conflicts: 1098000 | #Constraints: 106362
3081.19/3089.33 c #Conflicts: 1099000 | #Constraints: 107362
3081.19/3089.33 c #Conflicts: 1100000 | #Constraints: 108362
3081.19/3089.33 c #Conflicts: 1101000 | #Constraints: 109362
3081.19/3089.33 c #Conflicts: 1102000 | #Constraints: 110362
3081.19/3089.33 c #Conflicts: 1103000 | #Constraints: 111362
3081.19/3089.33 c #Conflicts: 1104000 | #Constraints: 112362
3081.19/3089.33 c #Conflicts: 1105000 | #Constraints: 113362
3081.19/3089.33 c #Conflicts: 1106000 | #Constraints: 114362
3081.19/3089.33 c #Conflicts: 1107000 | #Constraints: 115362
3081.19/3089.33 c #Conflicts: 1108000 | #Constraints: 116362
3081.19/3089.33 c #Conflicts: 1109000 | #Constraints: 117362
3081.19/3089.33 c #Conflicts: 1110000 | #Constraints: 118362
3081.19/3089.33 c #Conflicts: 1111000 | #Constraints: 119362
3081.19/3089.33 c #Conflicts: 1112000 | #Constraints: 120362
3081.19/3089.33 c #Conflicts: 1113000 | #Constraints: 121362
3081.19/3089.33 c #Conflicts: 1114000 | #Constraints: 122362
3081.19/3089.33 c #Conflicts: 1115000 | #Constraints: 123362
3081.19/3089.33 c #Conflicts: 1116000 | #Constraints: 124362
3081.19/3089.33 c #Conflicts: 1117000 | #Constraints: 125362
3081.19/3089.33 c #Conflicts: 1118000 | #Constraints: 126362
3081.19/3089.33 c INPROCESSING
3081.19/3089.33 c GARBAGE COLLECT
3081.19/3089.33 c #Conflicts: 1119000 | #Constraints: 72960
3081.19/3089.33 c #Conflicts: 1120000 | #Constraints: 73960
3081.19/3089.33 c #Conflicts: 1121000 | #Constraints: 74960
3081.19/3089.33 c #Conflicts: 1122000 | #Constraints: 75960
3081.19/3089.33 c #Conflicts: 1123000 | #Constraints: 76960
3081.19/3089.33 c #Conflicts: 1124000 | #Constraints: 77960
3081.19/3089.33 c #Conflicts: 1125000 | #Constraints: 78960
3081.19/3089.33 c #Conflicts: 1126000 | #Constraints: 79960
3081.19/3089.33 c #Conflicts: 1127000 | #Constraints: 80960
3081.19/3089.33 c #Conflicts: 1128000 | #Constraints: 81960
3081.19/3089.33 c #Conflicts: 1129000 | #Constraints: 82960
3081.19/3089.33 c #Conflicts: 1130000 | #Constraints: 83960
3081.19/3089.33 c #Conflicts: 1131000 | #Constraints: 84960
3081.19/3089.33 c #Conflicts: 1132000 | #Constraints: 85960
3081.19/3089.33 c #Conflicts: 1133000 | #Constraints: 86960
3081.19/3089.33 c #Conflicts: 1134000 | #Constraints: 87960
3081.19/3089.33 c #Conflicts: 1135000 | #Constraints: 88960
3081.19/3089.33 c #Conflicts: 1136000 | #Constraints: 89960
3081.19/3089.33 c #Conflicts: 1137000 | #Constraints: 90960
3081.19/3089.33 c #Conflicts: 1138000 | #Constraints: 91960
3081.19/3089.33 c #Conflicts: 1139000 | #Constraints: 92960
3081.19/3089.33 c #Conflicts: 1140000 | #Constraints: 93960
3081.19/3089.33 c #Conflicts: 1141000 | #Constraints: 94960
3081.19/3089.33 c #Conflicts: 1142000 | #Constraints: 95960
3081.19/3089.33 c #Conflicts: 1143000 | #Constraints: 96960
3081.19/3089.33 c #Conflicts: 1144000 | #Constraints: 97960
3081.19/3089.33 c INPROCESSING
3081.19/3089.33 c GARBAGE COLLECT
3081.19/3089.33 c rational objective 133
3162.99/3171.33 c #Conflicts: 1145000 | #Constraints: 58538
3162.99/3171.33 c #Conflicts: 1146000 | #Constraints: 59538
3162.99/3171.33 c #Conflicts: 1147000 | #Constraints: 60538
3162.99/3171.33 c #Conflicts: 1148000 | #Constraints: 61538
3162.99/3171.33 c #Conflicts: 1149000 | #Constraints: 62538
3162.99/3171.33 c #Conflicts: 1150000 | #Constraints: 63538
3162.99/3171.33 c #Conflicts: 1151000 | #Constraints: 64538
3162.99/3171.33 c #Conflicts: 1152000 | #Constraints: 65538
3162.99/3171.33 c #Conflicts: 1153000 | #Constraints: 66538
3162.99/3171.33 c #Conflicts: 1154000 | #Constraints: 67538
3162.99/3171.33 c #Conflicts: 1155000 | #Constraints: 68538
3162.99/3171.33 c #Conflicts: 1156000 | #Constraints: 69538
3162.99/3171.33 c #Conflicts: 1157000 | #Constraints: 70538
3162.99/3171.33 c #Conflicts: 1158000 | #Constraints: 71538
3162.99/3171.33 c #Conflicts: 1159000 | #Constraints: 72538
3162.99/3171.33 c #Conflicts: 1160000 | #Constraints: 73538
3162.99/3171.33 c #Conflicts: 1161000 | #Constraints: 74538
3162.99/3171.33 c #Conflicts: 1162000 | #Constraints: 75538
3162.99/3171.33 c #Conflicts: 1163000 | #Constraints: 76538
3162.99/3171.33 c #Conflicts: 1164000 | #Constraints: 77538
3162.99/3171.33 c #Conflicts: 1165000 | #Constraints: 78538
3162.99/3171.33 c #Conflicts: 1166000 | #Constraints: 79538
3162.99/3171.33 c #Conflicts: 1167000 | #Constraints: 80538
3162.99/3171.33 c #Conflicts: 1168000 | #Constraints: 81538
3162.99/3171.33 c #Conflicts: 1169000 | #Constraints: 82538
3162.99/3171.33 c #Conflicts: 1170000 | #Constraints: 83538
3162.99/3171.33 c #Conflicts: 1171000 | #Constraints: 84538
3162.99/3171.33 c INPROCESSING
3162.99/3171.33 c GARBAGE COLLECT
3162.99/3171.33 c rational objective 133
3404.80/3413.74 c #Conflicts: 1172000 | #Constraints: 56123
3404.80/3413.74 c #Conflicts: 1173000 | #Constraints: 57123
3404.80/3413.74 c #Conflicts: 1174000 | #Constraints: 58123
3404.80/3413.74 c #Conflicts: 1175000 | #Constraints: 59123
3404.80/3413.74 c #Conflicts: 1176000 | #Constraints: 60123
3404.80/3413.74 c #Conflicts: 1177000 | #Constraints: 61123
3404.80/3413.74 c #Conflicts: 1178000 | #Constraints: 62123
3404.80/3413.74 c #Conflicts: 1179000 | #Constraints: 63123
3404.80/3413.74 c #Conflicts: 1180000 | #Constraints: 64123
3404.80/3413.74 c #Conflicts: 1181000 | #Constraints: 65123
3404.80/3413.74 c #Conflicts: 1182000 | #Constraints: 66123
3404.80/3413.74 c #Conflicts: 1183000 | #Constraints: 67123
3404.80/3413.74 c #Conflicts: 1184000 | #Constraints: 68123
3404.80/3413.74 c #Conflicts: 1185000 | #Constraints: 69123
3404.80/3413.74 c #Conflicts: 1186000 | #Constraints: 70123
3404.80/3413.74 c #Conflicts: 1187000 | #Constraints: 71123
3404.80/3413.74 c #Conflicts: 1188000 | #Constraints: 72123
3404.80/3413.74 c #Conflicts: 1189000 | #Constraints: 73123
3404.80/3413.74 c #Conflicts: 1190000 | #Constraints: 74123
3404.80/3413.74 c #Conflicts: 1191000 | #Constraints: 75123
3404.80/3413.74 c #Conflicts: 1192000 | #Constraints: 76123
3404.80/3413.74 c #Conflicts: 1193000 | #Constraints: 77123
3404.80/3413.74 c #Conflicts: 1194000 | #Constraints: 78123
3404.80/3413.74 c #Conflicts: 1195000 | #Constraints: 79123
3404.80/3413.74 c #Conflicts: 1196000 | #Constraints: 80123
3404.80/3413.74 c #Conflicts: 1197000 | #Constraints: 81123
3404.80/3413.74 c #Conflicts: 1198000 | #Constraints: 82123
3404.80/3413.74 c #Conflicts: 1199000 | #Constraints: 83123
3404.80/3413.74 c #Conflicts: 1200000 | #Constraints: 84123
3404.80/3413.74 c #Conflicts: 1201000 | #Constraints: 85123
3404.80/3413.74 c #Conflicts: 1202000 | #Constraints: 86123
3404.80/3413.74 c #Conflicts: 1203000 | #Constraints: 87123
3404.80/3413.74 c #Conflicts: 1204000 | #Constraints: 88123
3404.80/3413.74 c #Conflicts: 1205000 | #Constraints: 89123
3404.80/3413.74 c #Conflicts: 1206000 | #Constraints: 90123
3404.80/3413.74 c #Conflicts: 1207000 | #Constraints: 91123
3404.80/3413.74 c #Conflicts: 1208000 | #Constraints: 92123
3404.80/3413.74 c #Conflicts: 1209000 | #Constraints: 93123
3404.80/3413.74 c #Conflicts: 1210000 | #Constraints: 94123
3404.80/3413.74 c #Conflicts: 1211000 | #Constraints: 95123
3404.80/3413.74 c #Conflicts: 1212000 | #Constraints: 96123
3404.80/3413.74 c #Conflicts: 1213000 | #Constraints: 97123
3404.80/3413.74 c #Conflicts: 1214000 | #Constraints: 98123
3404.80/3413.74 c #Conflicts: 1215000 | #Constraints: 99123
3404.80/3413.74 c #Conflicts: 1216000 | #Constraints: 100123
3404.80/3413.74 c #Conflicts: 1217000 | #Constraints: 101123
3404.80/3413.74 c #Conflicts: 1218000 | #Constraints: 102123
3404.80/3413.74 c #Conflicts: 1219000 | #Constraints: 103123
3404.80/3413.74 c #Conflicts: 1220000 | #Constraints: 104123
3404.80/3413.74 c #Conflicts: 1221000 | #Constraints: 105123
3404.80/3413.74 c #Conflicts: 1222000 | #Constraints: 106123
3404.80/3413.74 c #Conflicts: 1223000 | #Constraints: 107123
3404.80/3413.74 c #Conflicts: 1224000 | #Constraints: 108123
3404.80/3413.74 c #Conflicts: 1225000 | #Constraints: 109123
3404.80/3413.74 c #Conflicts: 1226000 | #Constraints: 110123
3404.80/3413.74 c #Conflicts: 1227000 | #Constraints: 111123
3404.80/3413.74 c #Conflicts: 1228000 | #Constraints: 112123
3404.80/3413.74 c #Conflicts: 1229000 | #Constraints: 113123
3404.80/3413.74 c #Conflicts: 1230000 | #Constraints: 114123
3404.80/3413.74 c #Conflicts: 1231000 | #Constraints: 115123
3404.80/3413.74 c #Conflicts: 1232000 | #Constraints: 116123
3404.80/3413.74 c #Conflicts: 1233000 | #Constraints: 117123
3404.80/3413.74 c #Conflicts: 1234000 | #Constraints: 118123
3404.80/3413.74 c #Conflicts: 1235000 | #Constraints: 119123
3404.80/3413.74 c #Conflicts: 1236000 | #Constraints: 120123
3404.80/3413.74 c #Conflicts: 1237000 | #Constraints: 121123
3404.80/3413.74 c #Conflicts: 1238000 | #Constraints: 122123
3404.80/3413.74 c #Conflicts: 1239000 | #Constraints: 123123
3404.80/3413.74 c #Conflicts: 1240000 | #Constraints: 124123
3404.80/3413.74 c #Conflicts: 1241000 | #Constraints: 125123
3404.80/3413.74 c #Conflicts: 1242000 | #Constraints: 126123
3404.80/3413.74 c #Conflicts: 1243000 | #Constraints: 127123
3404.80/3413.74 c #Conflicts: 1244000 | #Constraints: 128123
3404.80/3413.74 c #Conflicts: 1245000 | #Constraints: 129123
3404.80/3413.74 c #Conflicts: 1246000 | #Constraints: 130123
3404.80/3413.74 c #Conflicts: 1247000 | #Constraints: 131123
3404.80/3413.74 c #Conflicts: 1248000 | #Constraints: 132123
3404.80/3413.74 c INPROCESSING
3404.80/3413.74 c GARBAGE COLLECT
3404.80/3413.74 c #Conflicts: 1249000 | #Constraints: 75788
3404.80/3413.74 c #Conflicts: 1250000 | #Constraints: 76788
3557.42/3566.76 c #Conflicts: 1251000 | #Constraints: 77788
3557.42/3566.76 c #Conflicts: 1252000 | #Constraints: 78788
3557.42/3566.76 c #Conflicts: 1253000 | #Constraints: 79788
3557.42/3566.76 c #Conflicts: 1254000 | #Constraints: 80788
3557.42/3566.76 c #Conflicts: 1255000 | #Constraints: 81788
3557.42/3566.76 c #Conflicts: 1256000 | #Constraints: 82788
3557.42/3566.76 c #Conflicts: 1257000 | #Constraints: 83788
3557.42/3566.76 c #Conflicts: 1258000 | #Constraints: 84788
3557.42/3566.76 c #Conflicts: 1259000 | #Constraints: 85788
3557.42/3566.76 c #Conflicts: 1260000 | #Constraints: 86788
3557.42/3566.76 c #Conflicts: 1261000 | #Constraints: 87788
3557.42/3566.76 c #Conflicts: 1262000 | #Constraints: 88788
3557.42/3566.76 c #Conflicts: 1263000 | #Constraints: 89788
3557.42/3566.76 c #Conflicts: 1264000 | #Constraints: 90788
3557.42/3566.76 c #Conflicts: 1265000 | #Constraints: 91788
3557.42/3566.76 c #Conflicts: 1266000 | #Constraints: 92788
3557.42/3566.76 c #Conflicts: 1267000 | #Constraints: 93788
3557.42/3566.76 c #Conflicts: 1268000 | #Constraints: 94788
3557.42/3566.76 c #Conflicts: 1269000 | #Constraints: 95788
3557.42/3566.76 c #Conflicts: 1270000 | #Constraints: 96788
3557.42/3566.76 c #Conflicts: 1271000 | #Constraints: 97788
3557.42/3566.76 c #Conflicts: 1272000 | #Constraints: 98788
3557.42/3566.76 c #Conflicts: 1273000 | #Constraints: 99788
3557.42/3566.76 c #Conflicts: 1274000 | #Constraints: 100788
3557.42/3566.76 c #Conflicts: 1275000 | #Constraints: 101788
3557.42/3566.76 c #Conflicts: 1276000 | #Constraints: 102788
3557.42/3566.76 c INPROCESSING
3557.42/3566.76 c GARBAGE COLLECT
3557.42/3566.76 c #Conflicts: 1277000 | #Constraints: 60850
3557.42/3566.76 c #Conflicts: 1278000 | #Constraints: 61850
3557.42/3566.76 c #Conflicts: 1279000 | #Constraints: 62850
3557.42/3566.76 c #Conflicts: 1280000 | #Constraints: 63850
3557.42/3566.76 c #Conflicts: 1281000 | #Constraints: 64850
3557.42/3566.76 c #Conflicts: 1282000 | #Constraints: 65850
3557.42/3566.76 c #Conflicts: 1283000 | #Constraints: 66850
3557.42/3566.76 c #Conflicts: 1284000 | #Constraints: 67850
3557.42/3566.76 c #Conflicts: 1285000 | #Constraints: 68850
3557.42/3566.76 c #Conflicts: 1286000 | #Constraints: 69850
3557.42/3566.76 c #Conflicts: 1287000 | #Constraints: 70850
3557.42/3566.76 c #Conflicts: 1288000 | #Constraints: 71850
3557.42/3566.76 c #Conflicts: 1289000 | #Constraints: 72850
3557.42/3566.76 c #Conflicts: 1290000 | #Constraints: 73850
3557.42/3566.76 c #Conflicts: 1291000 | #Constraints: 74850
3557.42/3566.76 c #Conflicts: 1292000 | #Constraints: 75850
3557.42/3566.76 c #Conflicts: 1293000 | #Constraints: 76850
3557.42/3566.76 c #Conflicts: 1294000 | #Constraints: 77850
3557.42/3566.76 c #Conflicts: 1295000 | #Constraints: 78850
3557.42/3566.76 c #Conflicts: 1296000 | #Constraints: 79850
3557.42/3566.76 c #Conflicts: 1297000 | #Constraints: 80850
3557.42/3566.76 c #Conflicts: 1298000 | #Constraints: 81850
3557.42/3566.76 c #Conflicts: 1299000 | #Constraints: 82850
3557.42/3566.76 c #Conflicts: 1300000 | #Constraints: 83850
3557.42/3566.76 c #Conflicts: 1301000 | #Constraints: 84850
3557.42/3566.76 c #Conflicts: 1302000 | #Constraints: 85850
3557.42/3566.76 c #Conflicts: 1303000 | #Constraints: 86850
3557.42/3566.76 c #Conflicts: 1304000 | #Constraints: 87850
3557.42/3566.76 c #Conflicts: 1305000 | #Constraints: 88850
3557.42/3566.76 c INPROCESSING
3557.42/3566.76 c GARBAGE COLLECT
3557.42/3566.76 c rational objective 133
3600.02/3609.40 c #Conflicts: 1306000 | #Constraints: 59281
3600.02/3609.40 c #Conflicts: 1307000 | #Constraints: 60281
3600.02/3609.40 c #Conflicts: 1308000 | #Constraints: 61281
3600.02/3609.40 c #Conflicts: 1309000 | #Constraints: 62281
3600.02/3609.40 c #Conflicts: 1310000 | #Constraints: 63281
3600.02/3609.40 c #Conflicts: 1311000 | #Constraints: 64281
3600.02/3609.40 c #Conflicts: 1312000 | #Constraints: 65281
3600.02/3609.40 c #Conflicts: 1313000 | #Constraints: 66281
3600.02/3609.40 c #Conflicts: 1314000 | #Constraints: 67281
3600.02/3609.40 c #Conflicts: 1315000 | #Constraints: 68281
3600.02/3609.40 c #Conflicts: 1316000 | #Constraints: 69281
3600.02/3609.40 c #Conflicts: 1317000 | #Constraints: 70281
3600.02/3609.40 c #Conflicts: 1318000 | #Constraints: 71281
3600.02/3609.40 c #Conflicts: 1319000 | #Constraints: 72281
3600.02/3609.40 c #Conflicts: 1320000 | #Constraints: 73281
3600.02/3609.40 c #Conflicts: 1321000 | #Constraints: 74281
3600.02/3609.40 c #Conflicts: 1322000 | #Constraints: 75281
3600.02/3609.40 c #Conflicts: 1323000 | #Constraints: 76281
3600.02/3609.40 c #Conflicts: 1324000 | #Constraints: 77281
3600.02/3609.40 c #Conflicts: 1325000 | #Constraints: 78281
3600.02/3609.40 c cpu time 3574.82 s
3600.02/3609.40 c deterministic time 200291344579 2.00e+11
3600.02/3609.40 c optimization time 35.6487 s
3600.02/3609.40 c total solve time 3539.09 s
3600.02/3609.40 c core-guided solve time 0 s
3600.02/3609.40 c propagation time 1563.5 s
3600.02/3609.40 c conflict analysis time 1609.59 s
3600.02/3609.40 c propagations 1331790602
3600.02/3609.40 c resolve steps 99554425
3600.02/3609.40 c decisions 18784929
3600.02/3609.40 c conflicts 1325952
3600.02/3609.40 c restarts 2556
3600.02/3609.40 c inprocessing phases 57
3600.02/3609.40 c garbage collections 57 ,( 100.00 )
3600.02/3609.40 c input clauses 15962 ,( 99.17 )
3600.02/3609.40 c input cardinalities 133 ,( 0.83 )
3600.02/3609.40 c input general constraints 0 ,( 0.00 )
3600.02/3609.40 c input average constraint length 6.43
3600.02/3609.40 c input average constraint degree 1.97
3600.02/3609.40 c learned clauses 1013969 ,( 76.47 )
3600.02/3609.40 c learned cardinalities 35680 ,( 2.69 )
3600.02/3609.40 c learned general constraints 276314 ,( 20.84 )
3600.02/3609.40 c learned average constraint length 767.30
3600.02/3609.40 c learned average constraint degree 25163075.91
3600.02/3609.40 c watched CF 32, 64, 128, Arb: 76677 , 0 , 0 , 0
3600.02/3609.40 c counting CF 32, 64, 128, Arb: 199637 , 0 , 0 , 0
3600.02/3609.40 c watched constraints 76677 ,( 27.75 )
3600.02/3609.40 c counting constraints 199637 ,( 72.25 )
3600.02/3609.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1314103620 , 512811804 , 1812738816 ,( 69178929 , 1743559887 )
3600.02/3609.40 c gcd simplifications 673
3600.02/3609.40 c detected cardinalities 3968
3600.02/3609.40 c weakened non-implied lits 398683531
3600.02/3609.40 c weakened non-implying lits 223272
3600.02/3609.40 c original variables 15827
3600.02/3609.40 c clausal propagations 608567902
3600.02/3609.40 c cardinality propagations 476941878
3600.02/3609.40 c watched propagations 4235573
3600.02/3609.40 c counting propagations 231612615
3600.02/3609.40 c watch lookups 77824062506
3600.02/3609.40 c watch backjump lookups 0
3600.02/3609.40 c watch checks 30787232515
3600.02/3609.40 c propagation checks 84108218358
3600.02/3609.40 c constraint additions 4869093224
3600.02/3609.40 c trail pops 1351888784
3600.02/3609.40 c formula constraints 16095
3600.02/3609.40 c learned constraints 1325949
3600.02/3609.40 c bound constraints 0
3600.02/3609.40 c core-guided constraints 0
3600.02/3609.40 c encountered formula constraints 67829527
3600.02/3609.40 c encountered learned constraints 33050412
3600.02/3609.40 c encountered bound constraints 0
3600.02/3609.40 c encountered core-guided constraints 0
3600.02/3609.40 c LP total time 393.115 s
3600.02/3609.40 c LP solve time 339.83 s
3600.02/3609.40 c LP constraints added 17569
3600.02/3609.40 c LP constraints removed 1179
3600.02/3609.40 c LP pivots internal 133052
3600.02/3609.40 c LP pivots root 140608
3600.02/3609.40 c LP calls 21
3600.02/3609.40 c LP optimalities 12
3600.02/3609.40 c LP no pivot count 1
3600.02/3609.40 c LP infeasibilities 3
3600.02/3609.40 c LP valid Farkas constraints 3
3600.02/3609.40 c LP learned Farkas constraints 3
3600.02/3609.40 c LP basis resets 0
3600.02/3609.40 c LP cycling count 0
3600.02/3609.40 c LP singular count 0
3600.02/3609.40 c LP no primal count 0
3600.02/3609.40 c LP no farkas count 0
3600.02/3609.40 c LP other issue count 0
3600.02/3609.40 c LP Gomory cuts 8
3600.02/3609.40 c LP learned cuts 1719
3600.02/3609.40 c LP deleted cuts 1318
3600.02/3609.40 c LP encountered Gomory constraints 0
3600.02/3609.40 c LP encountered Farkas constraints 419
3600.02/3609.40 c LP encountered learned Farkas constraints 16
3600.02/3609.40 c CG auxiliary variables introduced 0
3600.02/3609.40 c CG solutions found 0
3600.02/3609.40 c CG cores constructed 0
3600.02/3609.40 c CG core cardinality constraints returned 0
3600.02/3609.40 c CG unit cores 0
3600.02/3609.40 c CG single cores 0
3600.02/3609.40 c CG blocks removed during cardinality reduction 0
3600.02/3609.40 c CG first core best 0
3600.02/3609.40 c CG decision core best 0
3600.02/3609.40 c CG core reduction tie 0
3600.02/3609.40 c CG core degree average 0.00
3600.02/3609.40 c CG core slack average 0.00
3600.02/3609.40 c CG core upper bound improvements 0
3600.02/3609.40 c STR number of successful calls 0
3600.02/3609.40 c STR number of unsuccessful calls 0
3600.02/3609.40 c STR number of inconclusive calls 0
3600.02/3609.40 c STR number of successful attempts 0
3600.02/3609.40 c STR number of unsuccessful attempts 0
3600.02/3609.40 c STR number of inconclusive attempts 0
3600.02/3609.40 c STR average degree increase per successful call inf
3600.02/3609.40 c STR average degree increase per successful attempt inf
3600.02/3609.40 c STR total number of conflicts for successful attempts 0
3600.02/3609.40 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.40 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.40 c STR average number of conflicts per successful attempt inf
3600.02/3609.40 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.40 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.40 c AVG.sumWPerc 64.33
3600.02/3609.40 c bigint constraints 0
3600.02/3609.40 s UNKNOWN
3600.02/3609.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60816 MiB free)
memory of node 1: 64465 MiB (57220 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506943-1751174287/watcher-4506943-1751174287 -o /tmp/evaluation-result-4506943-1751174287/solver-4506943-1751174287 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20845 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506943-1751174287.opb PROOFDIR/proof-4506943-1751174287
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21395, runsolver pid=21392
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.06 4.08 4.06 5/274 21397
/proc/meminfo: memFree=120843816/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=75424 memory=30276 CPUtime=0.08 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 5735 0 0 0 6 2 0 0 20 0 1 0 33103218 77234176 7569 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 18856 7569 2272 1147 0 6283 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 79616 KiB
Current children cumulated memory: 33348 KiB
[startup+0.205941 s]*
/proc/loadavg: 4.06 4.08 4.06 5/274 21397
/proc/meminfo: memFree=120834080/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=96988 memory=49816 CPUtime=0.19 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 10337 0 0 0 16 3 0 0 20 0 1 0 33103218 99315712 12454 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 24247 12454 2272 1147 0 11674 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 101180 KiB
Current children cumulated memory: 52888 KiB
[startup+0.305668 s]*
/proc/loadavg: 4.06 4.08 4.06 5/274 21397
/proc/meminfo: memFree=120834080/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=97828 memory=51096 CPUtime=0.28 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 10642 0 0 0 25 3 0 0 20 0 1 0 33103218 100175872 12774 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 24457 12774 2304 1147 0 11884 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 102020 KiB
Current children cumulated memory: 54168 KiB
[startup+0.700167 s]
/proc/loadavg: 4.06 4.08 4.06 5/274 21397
/proc/meminfo: memFree=120834080/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=97828 memory=51096 CPUtime=0.67 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 10642 0 0 0 64 3 0 0 20 0 1 0 33103218 100175872 12774 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 24457 12774 2304 1147 0 11884 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 102020 KiB
Current children cumulated memory: 54168 KiB
[startup+1.50016 s]
/proc/loadavg: 4.06 4.08 4.06 5/274 21397
/proc/meminfo: memFree=120826544/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=97828 memory=51096 CPUtime=1.47 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 10642 0 0 0 144 3 0 0 20 0 1 0 33103218 100175872 12774 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 24457 12774 2304 1147 0 11884 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 102020 KiB
Current children cumulated memory: 54168 KiB
[startup+3.10563 s]
/proc/loadavg: 4.06 4.08 4.06 5/274 21397
/proc/meminfo: memFree=120818568/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=101560 memory=55320 CPUtime=3.07 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 11704 0 0 0 302 5 0 0 20 0 1 0 33103218 103997440 13830 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 25390 13830 2304 1147 0 12817 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 105752 KiB
Current children cumulated memory: 58392 KiB
[startup+6.30016 s]
/proc/loadavg: 4.13 4.10 4.07 5/274 21397
/proc/meminfo: memFree=120798644/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=107192 memory=63632 CPUtime=6.26 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 13257 0 0 0 611 15 0 0 20 0 1 0 33103218 109764608 15908 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 26798 15908 2336 1147 0 14225 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 111384 KiB
Current children cumulated memory: 66704 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 4.10 4.07 5/274 21397
/proc/meminfo: memFree=120767616/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=115508 memory=71440 CPUtime=12.64 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 15225 0 0 0 1237 27 0 0 20 0 1 0 33103218 118280192 17860 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 28877 17860 2336 1147 0 16304 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 119700 KiB
Current children cumulated memory: 74512 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.07 5/274 21397
/proc/meminfo: memFree=120695296/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=121392 memory=77060 CPUtime=25.41 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 16657 0 0 0 2495 46 0 0 20 0 1 0 33103218 124305408 19265 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 30348 19265 2336 1147 0 17775 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 125584 KiB
Current children cumulated memory: 80132 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.10 4.07 5/273 21398
/proc/meminfo: memFree=120559644/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=161776 memory=106296 CPUtime=50.96 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 21431 0 0 0 5006 90 0 0 20 0 1 0 33103218 165658624 26574 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 40444 26574 2336 1147 0 27871 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 165968 KiB
Current children cumulated memory: 109368 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.11 4.08 5/271 21401
/proc/meminfo: memFree=120348552/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=205216 memory=150080 CPUtime=102.03 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 28287 0 0 0 10057 146 0 0 20 0 1 0 33103218 210141184 37520 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 51304 37520 2336 1147 0 38731 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 209408 KiB
Current children cumulated memory: 153152 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/270 21403
/proc/meminfo: memFree=120075436/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=226312 memory=173360 CPUtime=161.88 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 32580 0 0 0 15973 215 0 0 20 0 1 0 33103218 231743488 43340 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 56578 43340 2336 1147 0 44005 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 230504 KiB
Current children cumulated memory: 176432 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.08 5/270 21451
/proc/meminfo: memFree=120401700/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=318976 memory=247684 CPUtime=221.73 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 36320 0 0 0 21907 266 0 0 20 0 1 0 33103218 326631424 61921 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 79744 61921 2336 1147 0 67171 0
################
# More data... #
################
/proc/21397/statm: 289650 248432 2464 1147 0 277077 0
Current children cumulated CPU time: 3034.31 s
Current children cumulated vsize: 1162792 KiB
Current children cumulated memory: 996800 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 21718
/proc/meminfo: memFree=105859256/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=1158600 memory=1002304 CPUtime=3094.16 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 136565 0 0 0 307235 2181 0 0 20 0 1 0 33103218 1186406400 250576 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 289650 250576 2464 1147 0 277077 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 1162792 KiB
Current children cumulated memory: 1005376 KiB
[startup+3162.3 s]
/proc/loadavg: 4.49 4.21 4.12 5/270 21721
/proc/meminfo: memFree=105461288/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=1158600 memory=1009984 CPUtime=3154.02 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 136579 0 0 0 313175 2227 0 0 20 0 1 0 33103218 1186406400 252496 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 289650 252496 2464 1147 0 277077 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 1162792 KiB
Current children cumulated memory: 1013056 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/272 21726
/proc/meminfo: memFree=104920616/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=1167068 memory=1015616 CPUtime=3213.87 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 138040 0 0 0 319113 2274 0 0 20 0 1 0 33103218 1195077632 253904 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 291767 253904 2464 1147 0 279194 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 1171260 KiB
Current children cumulated memory: 1018688 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/271 21728
/proc/meminfo: memFree=104528900/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=1167068 memory=1015616 CPUtime=3273.72 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 138075 0 0 0 325058 2314 0 0 20 0 1 0 33103218 1195077632 253904 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 291767 253904 2464 1147 0 279194 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 1171260 KiB
Current children cumulated memory: 1018688 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/271 21733
/proc/meminfo: memFree=104166668/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=1167316 memory=1016000 CPUtime=3333.57 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 138183 0 0 0 331011 2346 0 0 20 0 1 0 33103218 1195331584 254000 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 291829 254000 2464 1147 0 279256 0
Current children cumulated CPU time: 3333.57 s
Current children cumulated vsize: 1171508 KiB
Current children cumulated memory: 1019072 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/273 21741
/proc/meminfo: memFree=103853688/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=1174356 memory=1020352 CPUtime=3393.43 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 139295 0 0 0 336972 2371 0 0 20 0 1 0 33103218 1202540544 255088 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 293589 255088 2464 1147 0 281016 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 1178548 KiB
Current children cumulated memory: 1023424 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/273 21743
/proc/meminfo: memFree=103375324/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=1180156 memory=1024192 CPUtime=3453.28 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 140281 0 0 0 342914 2414 0 0 20 0 1 0 33103218 1208479744 256048 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 295039 256048 2464 1147 0 282466 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 1184348 KiB
Current children cumulated memory: 1027264 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/272 21745
/proc/meminfo: memFree=102990268/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=1180156 memory=1024704 CPUtime=3513.13 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 140393 0 0 0 348859 2454 0 0 20 0 1 0 33103218 1208479744 256176 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 295039 256176 2464 1147 0 282466 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 1184348 KiB
Current children cumulated memory: 1027776 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/273 21748
/proc/meminfo: memFree=102580688/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=1189236 memory=1034048 CPUtime=3572.99 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 142743 0 0 0 354801 2498 0 0 20 0 1 0 33103218 1217777664 258512 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 297309 258512 2464 1147 0 284736 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 1193428 KiB
Current children cumulated memory: 1037120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.16 4.14 4.10 5/274 21750
/proc/meminfo: memFree=102325580/131249992 swapFree=33010672/33010684
[pid=21395] ppid=21392 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21395/stat : 21395 (run-dec-ls-log.) S 21392 21395 20833 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33103218 4292608 768 18446744073709551615 94890252963840 94890253858373 140725652397008 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94890254097424 94890254145168 94890278379520 140725652400411 140725652400609 140725652400609 140725652406211 0
/proc/21395/statm: 1048 768 704 219 0 110 0
[pid=21397] ppid=21395 vsize=1189236 memory=1034048 CPUtime=3600.02 cores=1,3
/proc/21397/stat : 21397 (roundingsat) R 21395 21395 20833 0 -1 4194304 142780 0 0 0 357482 2520 0 0 20 0 1 0 33103218 1217777664 258512 18446744073709551615 4227072 8923433 140725939455280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20758528 140725939460432 140725939460648 140725939460648 140725939466218 0
/proc/21397/statm: 297309 258512 2464 1147 0 284736 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1193428 KiB
Current children cumulated memory: 1037120 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 21395 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.00215 s
[startup+3609.43 s]
# the end of solver process 21397 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3574.84 s, system=25.2114 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.43
CPU time (s): 3600.05
CPU user time (s): 3574.84
CPU system time (s): 25.2114
CPU usage (%): 99.7402
Max. virtual memory (cumulated for all children) (KiB): 1193428
Max. memory (cumulated for all children) (KiB): 1037120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.84
system time used= 25.2114
maximum resident set size= 1034176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13630144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 434
involuntary context switches= 4674
# summary of solver processes directly reported to runsolver:
# pid: 21395,21397
# total CPU time (s): 3600.05
# total CPU user time (s): 3574.84
# total CPU system time (s): 25.2114
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.63577 second user time and 15.7752 second system time
The end
Begin job on nodeC035 at 2025-06-29 07:18:07
IDJOB=4506943
IDBENCH=158309
IDSOLVER=3354
FILE ID=nodeC035/4506943-1751174287
RUNJOBID= nodeC035-1751170667-20845
SLURM_JOB_ID= 9587529
Free space on /tmp= 432948 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K133.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506943-1751174287/watcher-4506943-1751174287 -o /tmp/evaluation-result-4506943-1751174287/solver-4506943-1751174287 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20845 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506943-1751174287.opb PROOFDIR/proof-4506943-1751174287
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9ec822d6c0cd68d217a6cdee070ca11c
RANDOM SEED=1860366589
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.762
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.196
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3613.317
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.748
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.748
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.744
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3617.522
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3573.929
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 120868704 kB
MemAvailable: 126898712 kB
Buffers: 2352 kB
Cached: 6824976 kB
SwapCached: 8 kB
Active: 3170936 kB
Inactive: 6625748 kB
Active(anon): 2981404 kB
Inactive(anon): 6040 kB
Active(file): 189532 kB
Inactive(file): 6619708 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 54804 kB
Writeback: 0 kB
AnonPages: 2970480 kB
Mapped: 115172 kB
Shmem: 18056 kB
KReclaimable: 120012 kB
Slab: 207668 kB
SReclaimable: 120012 kB
SUnreclaim: 87656 kB
KernelStack: 4400 kB
PageTables: 9000 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3661488 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2678784 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC035 at 2025-06-29 08:18:16