0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.19/0.27 c #variables 15827 #constraints 16095
87.91/88.20 c #Conflicts: 1000 | #Constraints: 17094
87.91/88.20 c #Conflicts: 2000 | #Constraints: 18094
87.91/88.20 c INPROCESSING
87.91/88.20 c GARBAGE COLLECT
87.91/88.20 c #Conflicts: 3000 | #Constraints: 17312
87.91/88.20 c #Conflicts: 4000 | #Constraints: 18312
87.91/88.20 c INPROCESSING
87.91/88.20 c GARBAGE COLLECT
87.91/88.20 c #Conflicts: 5000 | #Constraints: 17811
87.91/88.20 c #Conflicts: 6000 | #Constraints: 18811
87.91/88.20 c INPROCESSING
87.91/88.20 c GARBAGE COLLECT
87.91/88.20 c #Conflicts: 7000 | #Constraints: 17894
87.91/88.20 c #Conflicts: 8000 | #Constraints: 18894
87.91/88.20 c #Conflicts: 9000 | #Constraints: 19894
87.91/88.20 c INPROCESSING
87.91/88.20 c GARBAGE COLLECT
87.91/88.20 c #Conflicts: 10000 | #Constraints: 18669
87.91/88.20 c #Conflicts: 11000 | #Constraints: 19669
87.91/88.20 c #Conflicts: 12000 | #Constraints: 20669
87.91/88.20 c INPROCESSING
87.91/88.20 c GARBAGE COLLECT
87.91/88.20 c #Conflicts: 13000 | #Constraints: 19166
87.91/88.20 c #Conflicts: 14000 | #Constraints: 20166
87.91/88.20 c #Conflicts: 15000 | #Constraints: 21166
87.91/88.20 c INPROCESSING
87.91/88.20 c GARBAGE COLLECT
87.91/88.20 c #Conflicts: 16000 | #Constraints: 19445
87.91/88.20 c #Conflicts: 17000 | #Constraints: 20445
87.91/88.20 c #Conflicts: 18000 | #Constraints: 21445
87.91/88.20 c #Conflicts: 19000 | #Constraints: 22445
87.91/88.20 c #Conflicts: 20000 | #Constraints: 23445
87.91/88.20 c #Conflicts: 21000 | #Constraints: 24445
87.91/88.20 c #Conflicts: 22000 | #Constraints: 25445
87.91/88.20 c #Conflicts: 23000 | #Constraints: 26445
87.91/88.20 c #Conflicts: 24000 | #Constraints: 27445
87.91/88.20 c INPROCESSING
87.91/88.20 c GARBAGE COLLECT
87.91/88.20 c #Conflicts: 25000 | #Constraints: 22417
87.91/88.20 c #Conflicts: 26000 | #Constraints: 23417
87.91/88.20 c #Conflicts: 27000 | #Constraints: 24417
87.91/88.20 c #Conflicts: 28000 | #Constraints: 25417
87.91/88.20 c INPROCESSING
87.91/88.20 c GARBAGE COLLECT
87.91/88.20 c #Conflicts: 29000 | #Constraints: 21268
87.91/88.20 c #Conflicts: 30000 | #Constraints: 22268
87.91/88.20 c #Conflicts: 31000 | #Constraints: 23268
87.91/88.20 c #Conflicts: 32000 | #Constraints: 24268
87.91/88.20 c #Conflicts: 33000 | #Constraints: 25268
87.91/88.20 c INPROCESSING
87.91/88.20 c GARBAGE COLLECT
87.91/88.20 c #Conflicts: 34000 | #Constraints: 21498
87.91/88.20 c #Conflicts: 35000 | #Constraints: 22498
87.91/88.20 c #Conflicts: 36000 | #Constraints: 23498
87.91/88.20 c #Conflicts: 37000 | #Constraints: 24498
87.91/88.20 c #Conflicts: 38000 | #Constraints: 25498
87.91/88.20 c #Conflicts: 39000 | #Constraints: 26498
87.91/88.20 c #Conflicts: 40000 | #Constraints: 27498
87.91/88.20 c #Conflicts: 41000 | #Constraints: 28498
87.91/88.20 c #Conflicts: 42000 | #Constraints: 29498
87.91/88.20 c #Conflicts: 43000 | #Constraints: 30498
87.91/88.20 c #Conflicts: 44000 | #Constraints: 31498
87.91/88.20 c #Conflicts: 45000 | #Constraints: 32498
87.91/88.20 c #Conflicts: 46000 | #Constraints: 33498
87.91/88.20 c #Conflicts: 47000 | #Constraints: 34498
87.91/88.20 c INPROCESSING
87.91/88.20 c GARBAGE COLLECT
87.91/88.20 c #Conflicts: 48000 | #Constraints: 26288
87.91/88.20 c #Conflicts: 49000 | #Constraints: 27288
87.91/88.20 c #Conflicts: 50000 | #Constraints: 28288
87.91/88.20 c #Conflicts: 51000 | #Constraints: 29288
87.91/88.20 c #Conflicts: 52000 | #Constraints: 30288
87.91/88.20 c INPROCESSING
87.91/88.20 c GARBAGE COLLECT
87.91/88.20 c #Conflicts: 53000 | #Constraints: 23803
87.91/88.20 c #Conflicts: 54000 | #Constraints: 24803
87.91/88.20 c #Conflicts: 55000 | #Constraints: 25803
87.91/88.20 c #Conflicts: 56000 | #Constraints: 26803
87.91/88.20 c #Conflicts: 57000 | #Constraints: 27803
87.91/88.20 c #Conflicts: 58000 | #Constraints: 28803
87.91/88.20 c INPROCESSING
87.91/88.20 c GARBAGE COLLECT
87.91/88.20 c #Conflicts: 59000 | #Constraints: 23043
87.91/88.20 c #Conflicts: 60000 | #Constraints: 24043
87.91/88.20 c #Conflicts: 61000 | #Constraints: 25043
87.91/88.20 c #Conflicts: 62000 | #Constraints: 26043
87.91/88.20 c #Conflicts: 63000 | #Constraints: 27043
87.91/88.20 c #Conflicts: 64000 | #Constraints: 28043
87.91/88.20 c #Conflicts: 65000 | #Constraints: 29043
87.91/88.20 c #Conflicts: 66000 | #Constraints: 30043
87.91/88.20 c #Conflicts: 67000 | #Constraints: 31043
87.91/88.20 c #Conflicts: 68000 | #Constraints: 32043
87.91/88.20 c #Conflicts: 69000 | #Constraints: 33043
87.91/88.20 c #Conflicts: 70000 | #Constraints: 34043
87.91/88.20 c #Conflicts: 71000 | #Constraints: 35043
87.91/88.20 c #Conflicts: 72000 | #Constraints: 36043
211.08/211.78 c #Conflicts: 73000 | #Constraints: 37043
211.08/211.78 c #Conflicts: 74000 | #Constraints: 38043
211.08/211.78 c #Conflicts: 75000 | #Constraints: 39043
211.08/211.78 c #Conflicts: 76000 | #Constraints: 40043
211.08/211.78 c INPROCESSING
211.08/211.78 c GARBAGE COLLECT
211.08/211.78 c #Conflicts: 77000 | #Constraints: 28761
211.08/211.78 c #Conflicts: 78000 | #Constraints: 29761
211.08/211.78 c #Conflicts: 79000 | #Constraints: 30761
211.08/211.78 c #Conflicts: 80000 | #Constraints: 31761
211.08/211.78 c #Conflicts: 81000 | #Constraints: 32761
211.08/211.78 c #Conflicts: 82000 | #Constraints: 33761
211.08/211.78 c #Conflicts: 83000 | #Constraints: 34761
211.08/211.78 c #Conflicts: 84000 | #Constraints: 35761
211.08/211.78 c INPROCESSING
211.08/211.78 c GARBAGE COLLECT
211.08/211.78 c #Conflicts: 85000 | #Constraints: 27078
211.08/211.78 c #Conflicts: 86000 | #Constraints: 28078
211.08/211.78 c #Conflicts: 87000 | #Constraints: 29078
211.08/211.78 c #Conflicts: 88000 | #Constraints: 30078
211.08/211.78 c #Conflicts: 89000 | #Constraints: 31078
211.08/211.78 c #Conflicts: 90000 | #Constraints: 32078
211.08/211.78 c #Conflicts: 91000 | #Constraints: 33078
211.08/211.78 c INPROCESSING
211.08/211.78 c GARBAGE COLLECT
211.08/211.78 c #Conflicts: 92000 | #Constraints: 25494
211.08/211.78 c #Conflicts: 93000 | #Constraints: 26494
211.08/211.78 c #Conflicts: 94000 | #Constraints: 27494
211.08/211.78 c #Conflicts: 95000 | #Constraints: 28494
211.08/211.78 c #Conflicts: 96000 | #Constraints: 29494
211.08/211.78 c #Conflicts: 97000 | #Constraints: 30494
211.08/211.78 c #Conflicts: 98000 | #Constraints: 31494
211.08/211.78 c #Conflicts: 99000 | #Constraints: 32494
211.08/211.78 c #Conflicts: 100000 | #Constraints: 33494
211.08/211.78 c #Conflicts: 101000 | #Constraints: 34495
211.08/211.78 c #Conflicts: 102000 | #Constraints: 35495
211.08/211.78 c #Conflicts: 103000 | #Constraints: 36495
211.08/211.78 c #Conflicts: 104000 | #Constraints: 37495
211.08/211.78 c #Conflicts: 105000 | #Constraints: 38495
211.08/211.78 c #Conflicts: 106000 | #Constraints: 39495
211.08/211.78 c #Conflicts: 107000 | #Constraints: 40495
211.08/211.78 c #Conflicts: 108000 | #Constraints: 41495
211.08/211.78 c #Conflicts: 109000 | #Constraints: 42495
211.08/211.78 c #Conflicts: 110000 | #Constraints: 43495
211.08/211.78 c #Conflicts: 111000 | #Constraints: 44495
211.08/211.78 c #Conflicts: 112000 | #Constraints: 45495
211.08/211.78 c #Conflicts: 113000 | #Constraints: 46495
211.08/211.78 c INPROCESSING
211.08/211.78 c GARBAGE COLLECT
211.08/211.78 c #Conflicts: 114000 | #Constraints: 32175
211.08/211.78 c #Conflicts: 115000 | #Constraints: 33175
211.08/211.78 c #Conflicts: 116000 | #Constraints: 34175
211.08/211.78 c #Conflicts: 117000 | #Constraints: 35175
211.08/211.78 c #Conflicts: 118000 | #Constraints: 36175
211.08/211.78 c #Conflicts: 119000 | #Constraints: 37175
211.08/211.78 c #Conflicts: 120000 | #Constraints: 38175
211.08/211.78 c #Conflicts: 121000 | #Constraints: 39175
211.08/211.78 c #Conflicts: 122000 | #Constraints: 40175
211.08/211.78 c INPROCESSING
211.08/211.78 c GARBAGE COLLECT
211.08/211.78 c #Conflicts: 123000 | #Constraints: 29022
211.08/211.78 c #Conflicts: 124000 | #Constraints: 30022
211.08/211.78 c #Conflicts: 125000 | #Constraints: 31022
211.08/211.78 c #Conflicts: 126000 | #Constraints: 32022
211.08/211.78 c #Conflicts: 127000 | #Constraints: 33022
211.08/211.78 c #Conflicts: 128000 | #Constraints: 34022
211.08/211.78 c #Conflicts: 129000 | #Constraints: 35022
211.08/211.78 c #Conflicts: 130000 | #Constraints: 36022
211.08/211.78 c #Conflicts: 131000 | #Constraints: 37022
211.08/211.78 c INPROCESSING
211.08/211.78 c GARBAGE COLLECT
211.08/211.78 c #Conflicts: 132000 | #Constraints: 28046
211.08/211.78 c #Conflicts: 133000 | #Constraints: 29046
211.08/211.78 c #Conflicts: 134000 | #Constraints: 30046
211.08/211.78 c #Conflicts: 135000 | #Constraints: 31046
211.08/211.78 c #Conflicts: 136000 | #Constraints: 32046
211.08/211.78 c #Conflicts: 137000 | #Constraints: 33046
211.08/211.78 c #Conflicts: 138000 | #Constraints: 34046
211.08/211.78 c #Conflicts: 139000 | #Constraints: 35046
211.08/211.78 c #Conflicts: 140000 | #Constraints: 36046
211.08/211.78 c #Conflicts: 141000 | #Constraints: 37046
211.08/211.78 c #Conflicts: 142000 | #Constraints: 38046
211.08/211.78 c #Conflicts: 143000 | #Constraints: 39046
211.08/211.78 c #Conflicts: 144000 | #Constraints: 40046
211.08/211.78 c #Conflicts: 145000 | #Constraints: 41046
211.08/211.78 c #Conflicts: 146000 | #Constraints: 42046
211.08/211.78 c #Conflicts: 147000 | #Constraints: 43046
393.19/394.34 c #Conflicts: 148000 | #Constraints: 44046
393.19/394.34 c #Conflicts: 149000 | #Constraints: 45046
393.19/394.34 c #Conflicts: 150000 | #Constraints: 46046
393.19/394.34 c #Conflicts: 151000 | #Constraints: 47046
393.19/394.34 c #Conflicts: 152000 | #Constraints: 48046
393.19/394.34 c #Conflicts: 153000 | #Constraints: 49046
393.19/394.34 c #Conflicts: 154000 | #Constraints: 50046
393.19/394.34 c #Conflicts: 155000 | #Constraints: 51046
393.19/394.34 c #Conflicts: 156000 | #Constraints: 52046
393.19/394.34 c #Conflicts: 157000 | #Constraints: 53046
393.19/394.34 c INPROCESSING
393.19/394.34 c GARBAGE COLLECT
393.19/394.34 c #Conflicts: 158000 | #Constraints: 35461
393.19/394.34 c #Conflicts: 159000 | #Constraints: 36461
393.19/394.34 c #Conflicts: 160000 | #Constraints: 37461
393.19/394.34 c #Conflicts: 161000 | #Constraints: 38461
393.19/394.34 c #Conflicts: 162000 | #Constraints: 39461
393.19/394.34 c #Conflicts: 163000 | #Constraints: 40461
393.19/394.34 c #Conflicts: 164000 | #Constraints: 41461
393.19/394.34 c #Conflicts: 165000 | #Constraints: 42461
393.19/394.34 c #Conflicts: 166000 | #Constraints: 43461
393.19/394.34 c #Conflicts: 167000 | #Constraints: 44461
393.19/394.34 c #Conflicts: 168000 | #Constraints: 45461
393.19/394.34 c INPROCESSING
393.19/394.34 c GARBAGE COLLECT
393.19/394.34 c #Conflicts: 169000 | #Constraints: 32006
393.19/394.34 c #Conflicts: 170000 | #Constraints: 33006
393.19/394.34 c #Conflicts: 171000 | #Constraints: 34006
393.19/394.34 c #Conflicts: 172000 | #Constraints: 35006
393.19/394.34 c #Conflicts: 173000 | #Constraints: 36006
393.19/394.34 c #Conflicts: 174000 | #Constraints: 37006
393.19/394.34 c #Conflicts: 175000 | #Constraints: 38006
393.19/394.34 c #Conflicts: 176000 | #Constraints: 39006
393.19/394.34 c #Conflicts: 177000 | #Constraints: 40006
393.19/394.34 c #Conflicts: 178000 | #Constraints: 41006
393.19/394.34 c INPROCESSING
393.19/394.34 c GARBAGE COLLECT
393.19/394.34 c #Conflicts: 179000 | #Constraints: 30530
393.19/394.34 c #Conflicts: 180000 | #Constraints: 31530
393.19/394.34 c #Conflicts: 181000 | #Constraints: 32530
393.19/394.34 c #Conflicts: 182000 | #Constraints: 33530
393.19/394.34 c #Conflicts: 183000 | #Constraints: 34530
393.19/394.34 c #Conflicts: 184000 | #Constraints: 35530
393.19/394.34 c #Conflicts: 185000 | #Constraints: 36530
393.19/394.34 c #Conflicts: 186000 | #Constraints: 37530
393.19/394.34 c #Conflicts: 187000 | #Constraints: 38530
393.19/394.34 c #Conflicts: 188000 | #Constraints: 39530
393.19/394.34 c #Conflicts: 189000 | #Constraints: 40530
393.19/394.34 c #Conflicts: 190000 | #Constraints: 41530
393.19/394.34 c #Conflicts: 191000 | #Constraints: 42530
393.19/394.34 c #Conflicts: 192000 | #Constraints: 43530
393.19/394.34 c #Conflicts: 193000 | #Constraints: 44530
393.19/394.34 c #Conflicts: 194000 | #Constraints: 45530
393.19/394.34 c #Conflicts: 195000 | #Constraints: 46530
393.19/394.34 c #Conflicts: 196000 | #Constraints: 47530
393.19/394.34 c #Conflicts: 197000 | #Constraints: 48530
393.19/394.34 c #Conflicts: 198000 | #Constraints: 49530
393.19/394.34 c #Conflicts: 199000 | #Constraints: 50530
393.19/394.34 c #Conflicts: 200000 | #Constraints: 51530
393.19/394.34 c #Conflicts: 201000 | #Constraints: 52530
393.19/394.34 c #Conflicts: 202000 | #Constraints: 53530
393.19/394.34 c #Conflicts: 203000 | #Constraints: 54530
393.19/394.34 c #Conflicts: 204000 | #Constraints: 55530
393.19/394.34 c #Conflicts: 205000 | #Constraints: 56530
393.19/394.34 c #Conflicts: 206000 | #Constraints: 57530
393.19/394.34 c #Conflicts: 207000 | #Constraints: 58530
393.19/394.34 c #Conflicts: 208000 | #Constraints: 59530
393.19/394.34 c #Conflicts: 209000 | #Constraints: 60530
393.19/394.34 c INPROCESSING
393.19/394.34 c GARBAGE COLLECT
393.19/394.34 c #Conflicts: 210000 | #Constraints: 39661
393.19/394.34 c #Conflicts: 211000 | #Constraints: 40661
393.19/394.34 c #Conflicts: 212000 | #Constraints: 41661
393.19/394.34 c #Conflicts: 213000 | #Constraints: 42661
393.19/394.34 c #Conflicts: 214000 | #Constraints: 43661
393.19/394.34 c #Conflicts: 215000 | #Constraints: 44661
393.19/394.34 c #Conflicts: 216000 | #Constraints: 45661
393.19/394.34 c #Conflicts: 217000 | #Constraints: 46661
393.19/394.34 c #Conflicts: 218000 | #Constraints: 47661
393.19/394.34 c #Conflicts: 219000 | #Constraints: 48661
393.19/394.34 c #Conflicts: 220000 | #Constraints: 49661
393.19/394.34 c INPROCESSING
393.19/394.34 c GARBAGE COLLECT
393.19/394.34 c #Conflicts: 221000 | #Constraints: 33686
393.19/394.34 c #Conflicts: 222000 | #Constraints: 34686
542.88/544.41 c #Conflicts: 223000 | #Constraints: 35686
542.88/544.41 c #Conflicts: 224000 | #Constraints: 36686
542.88/544.41 c #Conflicts: 225000 | #Constraints: 37686
542.88/544.41 c #Conflicts: 226000 | #Constraints: 38686
542.88/544.41 c #Conflicts: 227000 | #Constraints: 39686
542.88/544.41 c #Conflicts: 228000 | #Constraints: 40686
542.88/544.41 c #Conflicts: 229000 | #Constraints: 41686
542.88/544.41 c #Conflicts: 230000 | #Constraints: 42686
542.88/544.41 c #Conflicts: 231000 | #Constraints: 43686
542.88/544.41 c #Conflicts: 232000 | #Constraints: 44686
542.88/544.41 c INPROCESSING
542.88/544.41 c GARBAGE COLLECT
542.88/544.41 c #Conflicts: 233000 | #Constraints: 32070
542.88/544.41 c #Conflicts: 234000 | #Constraints: 33070
542.88/544.41 c #Conflicts: 235000 | #Constraints: 34070
542.88/544.41 c #Conflicts: 236000 | #Constraints: 35070
542.88/544.41 c #Conflicts: 237000 | #Constraints: 36070
542.88/544.41 c #Conflicts: 238000 | #Constraints: 37070
542.88/544.41 c #Conflicts: 239000 | #Constraints: 38070
542.88/544.41 c #Conflicts: 240000 | #Constraints: 39070
542.88/544.41 c #Conflicts: 241000 | #Constraints: 40070
542.88/544.41 c #Conflicts: 242000 | #Constraints: 41070
542.88/544.41 c #Conflicts: 243000 | #Constraints: 42070
542.88/544.41 c #Conflicts: 244000 | #Constraints: 43070
542.88/544.41 c #Conflicts: 245000 | #Constraints: 44070
542.88/544.41 c #Conflicts: 246000 | #Constraints: 45070
542.88/544.41 c #Conflicts: 247000 | #Constraints: 46070
542.88/544.41 c #Conflicts: 248000 | #Constraints: 47070
542.88/544.41 c #Conflicts: 249000 | #Constraints: 48070
542.88/544.41 c #Conflicts: 250000 | #Constraints: 49070
542.88/544.41 c #Conflicts: 251000 | #Constraints: 50070
542.88/544.41 c #Conflicts: 252000 | #Constraints: 51070
542.88/544.41 c #Conflicts: 253000 | #Constraints: 52070
542.88/544.41 c #Conflicts: 254000 | #Constraints: 53070
542.88/544.41 c #Conflicts: 255000 | #Constraints: 54070
542.88/544.41 c #Conflicts: 256000 | #Constraints: 55070
542.88/544.41 c #Conflicts: 257000 | #Constraints: 56070
542.88/544.41 c #Conflicts: 258000 | #Constraints: 57070
542.88/544.41 c #Conflicts: 259000 | #Constraints: 58070
542.88/544.41 c #Conflicts: 260000 | #Constraints: 59070
542.88/544.41 c #Conflicts: 261000 | #Constraints: 60070
542.88/544.41 c #Conflicts: 262000 | #Constraints: 61070
542.88/544.41 c #Conflicts: 263000 | #Constraints: 62070
542.88/544.41 c #Conflicts: 264000 | #Constraints: 63070
542.88/544.41 c #Conflicts: 265000 | #Constraints: 64070
542.88/544.41 c #Conflicts: 266000 | #Constraints: 65070
542.88/544.41 c #Conflicts: 267000 | #Constraints: 66070
542.88/544.41 c INPROCESSING
542.88/544.41 c GARBAGE COLLECT
542.88/544.41 c #Conflicts: 268000 | #Constraints: 42232
542.88/544.41 c #Conflicts: 269000 | #Constraints: 43232
542.88/544.41 c #Conflicts: 270000 | #Constraints: 44232
542.88/544.41 c #Conflicts: 271000 | #Constraints: 45232
542.88/544.41 c #Conflicts: 272000 | #Constraints: 46232
542.88/544.41 c #Conflicts: 273000 | #Constraints: 47232
542.88/544.41 c #Conflicts: 274000 | #Constraints: 48232
542.88/544.41 c #Conflicts: 275000 | #Constraints: 49232
542.88/544.41 c #Conflicts: 276000 | #Constraints: 50232
542.88/544.41 c #Conflicts: 277000 | #Constraints: 51232
542.88/544.41 c #Conflicts: 278000 | #Constraints: 52232
542.88/544.41 c #Conflicts: 279000 | #Constraints: 53232
542.88/544.41 c #Conflicts: 280000 | #Constraints: 54232
542.88/544.41 c INPROCESSING
542.88/544.41 c GARBAGE COLLECT
542.88/544.41 c #Conflicts: 281000 | #Constraints: 36080
542.88/544.41 c #Conflicts: 282000 | #Constraints: 37080
542.88/544.41 c #Conflicts: 283000 | #Constraints: 38080
542.88/544.41 c #Conflicts: 284000 | #Constraints: 39080
542.88/544.41 c #Conflicts: 285000 | #Constraints: 40080
542.88/544.41 c #Conflicts: 286000 | #Constraints: 41080
542.88/544.41 c #Conflicts: 287000 | #Constraints: 42080
542.88/544.41 c #Conflicts: 288000 | #Constraints: 43080
542.88/544.41 c #Conflicts: 289000 | #Constraints: 44080
542.88/544.41 c #Conflicts: 290000 | #Constraints: 45081
542.88/544.41 c #Conflicts: 291000 | #Constraints: 46081
542.88/544.41 c #Conflicts: 292000 | #Constraints: 47081
542.88/544.41 c #Conflicts: 293000 | #Constraints: 48081
542.88/544.41 c #Conflicts: 294000 | #Constraints: 49081
542.88/544.41 c INPROCESSING
542.88/544.41 c GARBAGE COLLECT
542.88/544.41 c #Conflicts: 295000 | #Constraints: 35309
542.88/544.41 c #Conflicts: 296000 | #Constraints: 36309
542.88/544.41 c #Conflicts: 297000 | #Constraints: 37309
542.88/544.41 c #Conflicts: 298000 | #Constraints: 38309
684.78/686.71 c #Conflicts: 299000 | #Constraints: 39309
684.78/686.71 c #Conflicts: 300000 | #Constraints: 40309
684.78/686.71 c #Conflicts: 301000 | #Constraints: 41309
684.78/686.71 c #Conflicts: 302000 | #Constraints: 42309
684.78/686.71 c #Conflicts: 303000 | #Constraints: 43309
684.78/686.71 c #Conflicts: 304000 | #Constraints: 44309
684.78/686.71 c #Conflicts: 305000 | #Constraints: 45309
684.78/686.71 c #Conflicts: 306000 | #Constraints: 46309
684.78/686.71 c #Conflicts: 307000 | #Constraints: 47309
684.78/686.71 c #Conflicts: 308000 | #Constraints: 48309
684.78/686.71 c #Conflicts: 309000 | #Constraints: 49309
684.78/686.71 c #Conflicts: 310000 | #Constraints: 50309
684.78/686.71 c #Conflicts: 311000 | #Constraints: 51309
684.78/686.71 c #Conflicts: 312000 | #Constraints: 52309
684.78/686.71 c #Conflicts: 313000 | #Constraints: 53309
684.78/686.71 c #Conflicts: 314000 | #Constraints: 54309
684.78/686.71 c #Conflicts: 315000 | #Constraints: 55309
684.78/686.71 c #Conflicts: 316000 | #Constraints: 56309
684.78/686.71 c #Conflicts: 317000 | #Constraints: 57309
684.78/686.71 c #Conflicts: 318000 | #Constraints: 58309
684.78/686.71 c #Conflicts: 319000 | #Constraints: 59309
684.78/686.71 c #Conflicts: 320000 | #Constraints: 60309
684.78/686.71 c #Conflicts: 321000 | #Constraints: 61309
684.78/686.71 c #Conflicts: 322000 | #Constraints: 62309
684.78/686.71 c #Conflicts: 323000 | #Constraints: 63309
684.78/686.71 c #Conflicts: 324000 | #Constraints: 64309
684.78/686.71 c #Conflicts: 325000 | #Constraints: 65309
684.78/686.71 c #Conflicts: 326000 | #Constraints: 66309
684.78/686.71 c #Conflicts: 327000 | #Constraints: 67309
684.78/686.71 c #Conflicts: 328000 | #Constraints: 68309
684.78/686.71 c #Conflicts: 329000 | #Constraints: 69309
684.78/686.71 c #Conflicts: 330000 | #Constraints: 70309
684.78/686.71 c #Conflicts: 331000 | #Constraints: 71309
684.78/686.71 c #Conflicts: 332000 | #Constraints: 72309
684.78/686.71 c #Conflicts: 333000 | #Constraints: 73309
684.78/686.71 c INPROCESSING
684.78/686.71 c GARBAGE COLLECT
684.78/686.71 c #Conflicts: 334000 | #Constraints: 45951
684.78/686.71 c #Conflicts: 335000 | #Constraints: 46951
684.78/686.71 c #Conflicts: 336000 | #Constraints: 47951
684.78/686.71 c #Conflicts: 337000 | #Constraints: 48951
684.78/686.71 c #Conflicts: 338000 | #Constraints: 49951
684.78/686.71 c #Conflicts: 339000 | #Constraints: 50951
684.78/686.71 c #Conflicts: 340000 | #Constraints: 51951
684.78/686.71 c #Conflicts: 341000 | #Constraints: 52951
684.78/686.71 c #Conflicts: 342000 | #Constraints: 53951
684.78/686.71 c #Conflicts: 343000 | #Constraints: 54951
684.78/686.71 c #Conflicts: 344000 | #Constraints: 55951
684.78/686.71 c #Conflicts: 345000 | #Constraints: 56951
684.78/686.71 c #Conflicts: 346000 | #Constraints: 57951
684.78/686.71 c #Conflicts: 347000 | #Constraints: 58951
684.78/686.71 c #Conflicts: 348000 | #Constraints: 59951
684.78/686.71 c INPROCESSING
684.78/686.71 c GARBAGE COLLECT
684.78/686.71 c #Conflicts: 349000 | #Constraints: 39424
684.78/686.71 c #Conflicts: 350000 | #Constraints: 40424
684.78/686.71 c #Conflicts: 351000 | #Constraints: 41424
684.78/686.71 c #Conflicts: 352000 | #Constraints: 42424
684.78/686.71 c #Conflicts: 353000 | #Constraints: 43424
684.78/686.71 c #Conflicts: 354000 | #Constraints: 44424
684.78/686.71 c #Conflicts: 355000 | #Constraints: 45424
684.78/686.71 c #Conflicts: 356000 | #Constraints: 46424
684.78/686.71 c #Conflicts: 357000 | #Constraints: 47424
684.78/686.71 c #Conflicts: 358000 | #Constraints: 48424
684.78/686.71 c #Conflicts: 359000 | #Constraints: 49424
684.78/686.71 c #Conflicts: 360000 | #Constraints: 50424
684.78/686.71 c #Conflicts: 361000 | #Constraints: 51424
684.78/686.71 c #Conflicts: 362000 | #Constraints: 52424
684.78/686.71 c #Conflicts: 363000 | #Constraints: 53424
684.78/686.71 c INPROCESSING
684.78/686.71 c GARBAGE COLLECT
684.78/686.71 c #Conflicts: 364000 | #Constraints: 38153
684.78/686.71 c #Conflicts: 365000 | #Constraints: 39153
684.78/686.71 c #Conflicts: 366000 | #Constraints: 40153
684.78/686.71 c #Conflicts: 367000 | #Constraints: 41153
684.78/686.71 c #Conflicts: 368000 | #Constraints: 42153
684.78/686.71 c #Conflicts: 369000 | #Constraints: 43153
684.78/686.71 c #Conflicts: 370000 | #Constraints: 44153
684.78/686.71 c #Conflicts: 371000 | #Constraints: 45153
684.78/686.71 c #Conflicts: 372000 | #Constraints: 46153
684.78/686.71 c #Conflicts: 373000 | #Constraints: 47153
684.78/686.71 c #Conflicts: 374000 | #Constraints: 48153
684.78/686.71 c #Conflicts: 375000 | #Constraints: 49153
841.77/844.19 c #Conflicts: 376000 | #Constraints: 50153
841.77/844.19 c #Conflicts: 377000 | #Constraints: 51153
841.77/844.19 c #Conflicts: 378000 | #Constraints: 52153
841.77/844.19 c #Conflicts: 379000 | #Constraints: 53153
841.77/844.19 c #Conflicts: 380000 | #Constraints: 54153
841.77/844.19 c #Conflicts: 381000 | #Constraints: 55153
841.77/844.19 c #Conflicts: 382000 | #Constraints: 56153
841.77/844.19 c #Conflicts: 383000 | #Constraints: 57153
841.77/844.19 c #Conflicts: 384000 | #Constraints: 58153
841.77/844.19 c #Conflicts: 385000 | #Constraints: 59153
841.77/844.19 c #Conflicts: 386000 | #Constraints: 60153
841.77/844.19 c #Conflicts: 387000 | #Constraints: 61153
841.77/844.19 c #Conflicts: 388000 | #Constraints: 62153
841.77/844.19 c #Conflicts: 389000 | #Constraints: 63153
841.77/844.19 c #Conflicts: 390000 | #Constraints: 64153
841.77/844.19 c #Conflicts: 391000 | #Constraints: 65153
841.77/844.19 c #Conflicts: 392000 | #Constraints: 66153
841.77/844.19 c #Conflicts: 393000 | #Constraints: 67153
841.77/844.19 c #Conflicts: 394000 | #Constraints: 68153
841.77/844.19 c #Conflicts: 395000 | #Constraints: 69153
841.77/844.19 c #Conflicts: 396000 | #Constraints: 70153
841.77/844.19 c #Conflicts: 397000 | #Constraints: 71153
841.77/844.19 c #Conflicts: 398000 | #Constraints: 72153
841.77/844.19 c #Conflicts: 399000 | #Constraints: 73153
841.77/844.19 c #Conflicts: 400000 | #Constraints: 74153
841.77/844.19 c #Conflicts: 401000 | #Constraints: 75153
841.77/844.19 c #Conflicts: 402000 | #Constraints: 76153
841.77/844.19 c #Conflicts: 403000 | #Constraints: 77153
841.77/844.19 c #Conflicts: 404000 | #Constraints: 78153
841.77/844.19 c #Conflicts: 405000 | #Constraints: 79153
841.77/844.19 c #Conflicts: 406000 | #Constraints: 80153
841.77/844.19 c INPROCESSING
841.77/844.19 c GARBAGE COLLECT
841.77/844.19 c #Conflicts: 407000 | #Constraints: 49491
841.77/844.19 c #Conflicts: 408000 | #Constraints: 50491
841.77/844.19 c #Conflicts: 409000 | #Constraints: 51491
841.77/844.19 c #Conflicts: 410000 | #Constraints: 52491
841.77/844.19 c #Conflicts: 411000 | #Constraints: 53491
841.77/844.19 c #Conflicts: 412000 | #Constraints: 54491
841.77/844.19 c #Conflicts: 413000 | #Constraints: 55491
841.77/844.19 c #Conflicts: 414000 | #Constraints: 56491
841.77/844.19 c #Conflicts: 415000 | #Constraints: 57491
841.77/844.19 c #Conflicts: 416000 | #Constraints: 58491
841.77/844.19 c #Conflicts: 417000 | #Constraints: 59491
841.77/844.19 c #Conflicts: 418000 | #Constraints: 60491
841.77/844.19 c #Conflicts: 419000 | #Constraints: 61491
841.77/844.19 c #Conflicts: 420000 | #Constraints: 62491
841.77/844.19 c #Conflicts: 421000 | #Constraints: 63491
841.77/844.19 c #Conflicts: 422000 | #Constraints: 64491
841.77/844.19 c INPROCESSING
841.77/844.19 c GARBAGE COLLECT
841.77/844.19 c #Conflicts: 423000 | #Constraints: 41618
841.77/844.19 c #Conflicts: 424000 | #Constraints: 42618
841.77/844.19 c #Conflicts: 425000 | #Constraints: 43618
841.77/844.19 c #Conflicts: 426000 | #Constraints: 44618
841.77/844.19 c #Conflicts: 427000 | #Constraints: 45618
841.77/844.19 c #Conflicts: 428000 | #Constraints: 46618
841.77/844.19 c #Conflicts: 429000 | #Constraints: 47618
841.77/844.19 c #Conflicts: 430000 | #Constraints: 48618
841.77/844.19 c #Conflicts: 431000 | #Constraints: 49618
841.77/844.19 c #Conflicts: 432000 | #Constraints: 50618
841.77/844.19 c #Conflicts: 433000 | #Constraints: 51618
841.77/844.19 c #Conflicts: 434000 | #Constraints: 52618
841.77/844.19 c #Conflicts: 435000 | #Constraints: 53618
841.77/844.19 c #Conflicts: 436000 | #Constraints: 54618
841.77/844.19 c #Conflicts: 437000 | #Constraints: 55618
841.77/844.19 c #Conflicts: 438000 | #Constraints: 56618
841.77/844.19 c INPROCESSING
841.77/844.19 c GARBAGE COLLECT
841.77/844.19 c #Conflicts: 439000 | #Constraints: 39774
841.77/844.19 c #Conflicts: 440000 | #Constraints: 40774
841.77/844.19 c #Conflicts: 441000 | #Constraints: 41774
841.77/844.19 c #Conflicts: 442000 | #Constraints: 42774
841.77/844.19 c #Conflicts: 443000 | #Constraints: 43774
841.77/844.19 c #Conflicts: 444000 | #Constraints: 44774
841.77/844.19 c #Conflicts: 445000 | #Constraints: 45774
841.77/844.19 c #Conflicts: 446000 | #Constraints: 46774
841.77/844.19 c #Conflicts: 447000 | #Constraints: 47774
841.77/844.19 c #Conflicts: 448000 | #Constraints: 48774
841.77/844.19 c #Conflicts: 449000 | #Constraints: 49774
841.77/844.19 c #Conflicts: 450000 | #Constraints: 50774
841.77/844.19 c #Conflicts: 451000 | #Constraints: 51774
841.77/844.19 c #Conflicts: 452000 | #Constraints: 52774
1061.90/1064.95 c #Conflicts: 453000 | #Constraints: 53774
1061.90/1064.95 c #Conflicts: 454000 | #Constraints: 54774
1061.90/1064.95 c #Conflicts: 455000 | #Constraints: 55774
1061.90/1064.95 c #Conflicts: 456000 | #Constraints: 56774
1061.90/1064.95 c #Conflicts: 457000 | #Constraints: 57774
1061.90/1064.95 c #Conflicts: 458000 | #Constraints: 58774
1061.90/1064.95 c #Conflicts: 459000 | #Constraints: 59774
1061.90/1064.95 c #Conflicts: 460000 | #Constraints: 60774
1061.90/1064.95 c #Conflicts: 461000 | #Constraints: 61774
1061.90/1064.95 c #Conflicts: 462000 | #Constraints: 62774
1061.90/1064.95 c #Conflicts: 463000 | #Constraints: 63774
1061.90/1064.95 c #Conflicts: 464000 | #Constraints: 64774
1061.90/1064.95 c #Conflicts: 465000 | #Constraints: 65774
1061.90/1064.95 c #Conflicts: 466000 | #Constraints: 66774
1061.90/1064.95 c #Conflicts: 467000 | #Constraints: 67774
1061.90/1064.95 c #Conflicts: 468000 | #Constraints: 68774
1061.90/1064.95 c #Conflicts: 469000 | #Constraints: 69774
1061.90/1064.95 c #Conflicts: 470000 | #Constraints: 70774
1061.90/1064.95 c #Conflicts: 471000 | #Constraints: 71774
1061.90/1064.95 c #Conflicts: 472000 | #Constraints: 72774
1061.90/1064.95 c #Conflicts: 473000 | #Constraints: 73774
1061.90/1064.95 c #Conflicts: 474000 | #Constraints: 74774
1061.90/1064.95 c #Conflicts: 475000 | #Constraints: 75774
1061.90/1064.95 c #Conflicts: 476000 | #Constraints: 76774
1061.90/1064.95 c #Conflicts: 477000 | #Constraints: 77774
1061.90/1064.95 c #Conflicts: 478000 | #Constraints: 78774
1061.90/1064.95 c #Conflicts: 479000 | #Constraints: 79774
1061.90/1064.95 c #Conflicts: 480000 | #Constraints: 80774
1061.90/1064.95 c #Conflicts: 481000 | #Constraints: 81774
1061.90/1064.95 c #Conflicts: 482000 | #Constraints: 82774
1061.90/1064.95 c #Conflicts: 483000 | #Constraints: 83774
1061.90/1064.95 c #Conflicts: 484000 | #Constraints: 84774
1061.90/1064.95 c #Conflicts: 485000 | #Constraints: 85774
1061.90/1064.95 c #Conflicts: 486000 | #Constraints: 86774
1061.90/1064.95 c INPROCESSING
1061.90/1064.95 c GARBAGE COLLECT
1061.90/1064.95 c #Conflicts: 487000 | #Constraints: 53074
1061.90/1064.95 c #Conflicts: 488000 | #Constraints: 54074
1061.90/1064.95 c #Conflicts: 489000 | #Constraints: 55074
1061.90/1064.95 c #Conflicts: 490000 | #Constraints: 56074
1061.90/1064.95 c #Conflicts: 491000 | #Constraints: 57074
1061.90/1064.95 c #Conflicts: 492000 | #Constraints: 58074
1061.90/1064.95 c #Conflicts: 493000 | #Constraints: 59074
1061.90/1064.95 c #Conflicts: 494000 | #Constraints: 60074
1061.90/1064.95 c #Conflicts: 495000 | #Constraints: 61074
1061.90/1064.95 c #Conflicts: 496000 | #Constraints: 62074
1061.90/1064.95 c #Conflicts: 497000 | #Constraints: 63074
1061.90/1064.95 c #Conflicts: 498000 | #Constraints: 64074
1061.90/1064.95 c #Conflicts: 499000 | #Constraints: 65074
1061.90/1064.95 c #Conflicts: 500000 | #Constraints: 66074
1061.90/1064.95 c #Conflicts: 501000 | #Constraints: 67074
1061.90/1064.95 c #Conflicts: 502000 | #Constraints: 68074
1061.90/1064.95 c #Conflicts: 503000 | #Constraints: 69074
1061.90/1064.95 c #Conflicts: 504000 | #Constraints: 70074
1061.90/1064.95 c INPROCESSING
1061.90/1064.95 c GARBAGE COLLECT
1061.90/1064.95 c #Conflicts: 505000 | #Constraints: 44650
1061.90/1064.95 c #Conflicts: 506000 | #Constraints: 45650
1061.90/1064.95 c #Conflicts: 507000 | #Constraints: 46650
1061.90/1064.95 c #Conflicts: 508000 | #Constraints: 47650
1061.90/1064.95 c #Conflicts: 509000 | #Constraints: 48650
1061.90/1064.95 c #Conflicts: 510000 | #Constraints: 49650
1061.90/1064.95 c #Conflicts: 511000 | #Constraints: 50650
1061.90/1064.95 c #Conflicts: 512000 | #Constraints: 51650
1061.90/1064.95 c #Conflicts: 513000 | #Constraints: 52650
1061.90/1064.95 c #Conflicts: 514000 | #Constraints: 53650
1061.90/1064.95 c #Conflicts: 515000 | #Constraints: 54650
1061.90/1064.95 c #Conflicts: 516000 | #Constraints: 55650
1061.90/1064.95 c #Conflicts: 517000 | #Constraints: 56650
1061.90/1064.95 c #Conflicts: 518000 | #Constraints: 57650
1061.90/1064.95 c #Conflicts: 519000 | #Constraints: 58650
1061.90/1064.95 c #Conflicts: 520000 | #Constraints: 59650
1061.90/1064.95 c #Conflicts: 521000 | #Constraints: 60650
1061.90/1064.95 c #Conflicts: 522000 | #Constraints: 61650
1061.90/1064.95 c INPROCESSING
1061.90/1064.95 c GARBAGE COLLECT
1061.90/1064.95 c #Conflicts: 523000 | #Constraints: 42719
1061.90/1064.95 c #Conflicts: 524000 | #Constraints: 43719
1061.90/1064.95 c #Conflicts: 525000 | #Constraints: 44719
1061.90/1064.95 c #Conflicts: 526000 | #Constraints: 45719
1061.90/1064.95 c #Conflicts: 527000 | #Constraints: 46719
1061.90/1064.95 c #Conflicts: 528000 | #Constraints: 47719
1061.90/1064.95 c #Conflicts: 529000 | #Constraints: 48719
1178.50/1181.80 c #Conflicts: 530000 | #Constraints: 49719
1178.50/1181.80 c #Conflicts: 531000 | #Constraints: 50719
1178.50/1181.80 c #Conflicts: 532000 | #Constraints: 51719
1178.50/1181.80 c #Conflicts: 533000 | #Constraints: 52719
1178.50/1181.80 c #Conflicts: 534000 | #Constraints: 53719
1178.50/1181.80 c #Conflicts: 535000 | #Constraints: 54719
1178.50/1181.80 c #Conflicts: 536000 | #Constraints: 55719
1178.50/1181.80 c #Conflicts: 537000 | #Constraints: 56719
1178.50/1181.80 c #Conflicts: 538000 | #Constraints: 57719
1178.50/1181.80 c #Conflicts: 539000 | #Constraints: 58719
1178.50/1181.80 c #Conflicts: 540000 | #Constraints: 59719
1178.50/1181.80 c #Conflicts: 541000 | #Constraints: 60719
1178.50/1181.80 c #Conflicts: 542000 | #Constraints: 61719
1178.50/1181.80 c #Conflicts: 543000 | #Constraints: 62719
1178.50/1181.80 c #Conflicts: 544000 | #Constraints: 63719
1178.50/1181.80 c #Conflicts: 545000 | #Constraints: 64719
1178.50/1181.80 c #Conflicts: 546000 | #Constraints: 65719
1178.50/1181.80 c #Conflicts: 547000 | #Constraints: 66719
1178.50/1181.80 c #Conflicts: 548000 | #Constraints: 67719
1178.50/1181.80 c #Conflicts: 549000 | #Constraints: 68719
1178.50/1181.80 c #Conflicts: 550000 | #Constraints: 69719
1178.50/1181.80 c #Conflicts: 551000 | #Constraints: 70719
1178.50/1181.80 c #Conflicts: 552000 | #Constraints: 71719
1178.50/1181.80 c #Conflicts: 553000 | #Constraints: 72719
1178.50/1181.80 c #Conflicts: 554000 | #Constraints: 73719
1178.50/1181.80 c #Conflicts: 555000 | #Constraints: 74719
1178.50/1181.80 c #Conflicts: 556000 | #Constraints: 75719
1178.50/1181.80 c #Conflicts: 557000 | #Constraints: 76719
1178.50/1181.80 c #Conflicts: 558000 | #Constraints: 77719
1178.50/1181.80 c #Conflicts: 559000 | #Constraints: 78719
1178.50/1181.80 c #Conflicts: 560000 | #Constraints: 79719
1178.50/1181.80 c #Conflicts: 561000 | #Constraints: 80719
1178.50/1181.80 c #Conflicts: 562000 | #Constraints: 81719
1178.50/1181.80 c #Conflicts: 563000 | #Constraints: 82719
1178.50/1181.80 c #Conflicts: 564000 | #Constraints: 83719
1178.50/1181.80 c #Conflicts: 565000 | #Constraints: 84719
1178.50/1181.80 c #Conflicts: 566000 | #Constraints: 85719
1178.50/1181.80 c #Conflicts: 567000 | #Constraints: 86719
1178.50/1181.80 c #Conflicts: 568000 | #Constraints: 87719
1178.50/1181.80 c #Conflicts: 569000 | #Constraints: 88719
1178.50/1181.80 c #Conflicts: 570000 | #Constraints: 89719
1178.50/1181.80 c #Conflicts: 571000 | #Constraints: 90719
1178.50/1181.80 c #Conflicts: 572000 | #Constraints: 91719
1178.50/1181.80 c #Conflicts: 573000 | #Constraints: 92719
1178.50/1181.80 c INPROCESSING
1178.50/1181.80 c GARBAGE COLLECT
1178.50/1181.80 c rational objective 133
1230.87/1234.34 c #Conflicts: 574000 | #Constraints: 55834
1230.87/1234.34 c #Conflicts: 575000 | #Constraints: 56834
1230.87/1234.34 c #Conflicts: 576000 | #Constraints: 57834
1230.87/1234.34 c #Conflicts: 577000 | #Constraints: 58834
1230.87/1234.34 c #Conflicts: 578000 | #Constraints: 59834
1230.87/1234.34 c #Conflicts: 579000 | #Constraints: 60834
1230.87/1234.34 c #Conflicts: 580000 | #Constraints: 61834
1230.87/1234.34 c #Conflicts: 581000 | #Constraints: 62834
1230.87/1234.34 c #Conflicts: 582000 | #Constraints: 63834
1230.87/1234.34 c #Conflicts: 583000 | #Constraints: 64834
1230.87/1234.34 c #Conflicts: 584000 | #Constraints: 65834
1230.87/1234.34 c #Conflicts: 585000 | #Constraints: 66834
1230.87/1234.34 c #Conflicts: 586000 | #Constraints: 67834
1230.87/1234.34 c #Conflicts: 587000 | #Constraints: 68834
1230.87/1234.34 c #Conflicts: 588000 | #Constraints: 69834
1230.87/1234.34 c #Conflicts: 589000 | #Constraints: 70834
1230.87/1234.34 c #Conflicts: 590000 | #Constraints: 71834
1230.87/1234.34 c #Conflicts: 591000 | #Constraints: 72834
1230.87/1234.34 c #Conflicts: 592000 | #Constraints: 73834
1230.87/1234.34 c INPROCESSING
1230.87/1234.34 c GARBAGE COLLECT
1230.87/1234.34 c rational objective 133
1424.18/1428.13 c #Conflicts: 593000 | #Constraints: 46404
1424.18/1428.13 c #Conflicts: 594000 | #Constraints: 47404
1424.18/1428.13 c #Conflicts: 595000 | #Constraints: 48404
1424.18/1428.13 c #Conflicts: 596000 | #Constraints: 49404
1424.18/1428.13 c #Conflicts: 597000 | #Constraints: 50404
1424.18/1428.13 c #Conflicts: 598000 | #Constraints: 51404
1424.18/1428.13 c #Conflicts: 599000 | #Constraints: 52404
1424.18/1428.13 c #Conflicts: 600000 | #Constraints: 53404
1424.18/1428.13 c #Conflicts: 601000 | #Constraints: 54404
1424.18/1428.13 c #Conflicts: 602000 | #Constraints: 55404
1424.18/1428.13 c #Conflicts: 603000 | #Constraints: 56404
1424.18/1428.13 c #Conflicts: 604000 | #Constraints: 57404
1424.18/1428.13 c #Conflicts: 605000 | #Constraints: 58404
1424.18/1428.13 c #Conflicts: 606000 | #Constraints: 59404
1424.18/1428.13 c #Conflicts: 607000 | #Constraints: 60404
1424.18/1428.13 c #Conflicts: 608000 | #Constraints: 61404
1424.18/1428.13 c #Conflicts: 609000 | #Constraints: 62404
1424.18/1428.13 c #Conflicts: 610000 | #Constraints: 63404
1424.18/1428.13 c #Conflicts: 611000 | #Constraints: 64404
1424.18/1428.13 c #Conflicts: 612000 | #Constraints: 65404
1424.18/1428.13 c INPROCESSING
1424.18/1428.13 c GARBAGE COLLECT
1424.18/1428.13 c #Conflicts: 613000 | #Constraints: 45064
1424.18/1428.13 c #Conflicts: 614000 | #Constraints: 46064
1424.18/1428.13 c #Conflicts: 615000 | #Constraints: 47064
1424.18/1428.13 c #Conflicts: 616000 | #Constraints: 48064
1424.18/1428.13 c #Conflicts: 617000 | #Constraints: 49064
1424.18/1428.13 c #Conflicts: 618000 | #Constraints: 50064
1424.18/1428.13 c #Conflicts: 619000 | #Constraints: 51064
1424.18/1428.13 c #Conflicts: 620000 | #Constraints: 52064
1424.18/1428.13 c #Conflicts: 621000 | #Constraints: 53064
1424.18/1428.13 c #Conflicts: 622000 | #Constraints: 54064
1424.18/1428.13 c #Conflicts: 623000 | #Constraints: 55064
1424.18/1428.13 c #Conflicts: 624000 | #Constraints: 56064
1424.18/1428.13 c #Conflicts: 625000 | #Constraints: 57064
1424.18/1428.13 c #Conflicts: 626000 | #Constraints: 58064
1424.18/1428.13 c #Conflicts: 627000 | #Constraints: 59064
1424.18/1428.13 c #Conflicts: 628000 | #Constraints: 60064
1424.18/1428.13 c #Conflicts: 629000 | #Constraints: 61064
1424.18/1428.13 c #Conflicts: 630000 | #Constraints: 62064
1424.18/1428.13 c #Conflicts: 631000 | #Constraints: 63064
1424.18/1428.13 c #Conflicts: 632000 | #Constraints: 64064
1424.18/1428.13 c #Conflicts: 633000 | #Constraints: 65064
1424.18/1428.13 c #Conflicts: 634000 | #Constraints: 66064
1424.18/1428.13 c #Conflicts: 635000 | #Constraints: 67064
1424.18/1428.13 c #Conflicts: 636000 | #Constraints: 68064
1424.18/1428.13 c #Conflicts: 637000 | #Constraints: 69064
1424.18/1428.13 c #Conflicts: 638000 | #Constraints: 70064
1424.18/1428.13 c #Conflicts: 639000 | #Constraints: 71064
1424.18/1428.13 c #Conflicts: 640000 | #Constraints: 72064
1424.18/1428.13 c #Conflicts: 641000 | #Constraints: 73064
1424.18/1428.13 c #Conflicts: 642000 | #Constraints: 74064
1424.18/1428.13 c #Conflicts: 643000 | #Constraints: 75064
1424.18/1428.13 c #Conflicts: 644000 | #Constraints: 76064
1424.18/1428.13 c #Conflicts: 645000 | #Constraints: 77064
1424.18/1428.13 c #Conflicts: 646000 | #Constraints: 78064
1424.18/1428.13 c #Conflicts: 647000 | #Constraints: 79064
1424.18/1428.13 c #Conflicts: 648000 | #Constraints: 80064
1424.18/1428.13 c #Conflicts: 649000 | #Constraints: 81064
1424.18/1428.13 c #Conflicts: 650000 | #Constraints: 82064
1424.18/1428.13 c #Conflicts: 651000 | #Constraints: 83064
1424.18/1428.13 c #Conflicts: 652000 | #Constraints: 84064
1424.18/1428.13 c #Conflicts: 653000 | #Constraints: 85064
1424.18/1428.13 c #Conflicts: 654000 | #Constraints: 86064
1424.18/1428.13 c #Conflicts: 655000 | #Constraints: 87064
1424.18/1428.13 c #Conflicts: 656000 | #Constraints: 88064
1424.18/1428.13 c #Conflicts: 657000 | #Constraints: 89064
1424.18/1428.13 c #Conflicts: 658000 | #Constraints: 90064
1424.18/1428.13 c #Conflicts: 659000 | #Constraints: 91064
1424.18/1428.13 c #Conflicts: 660000 | #Constraints: 92064
1424.18/1428.13 c #Conflicts: 661000 | #Constraints: 93064
1424.18/1428.13 c #Conflicts: 662000 | #Constraints: 94064
1424.18/1428.13 c #Conflicts: 663000 | #Constraints: 95064
1424.18/1428.13 c #Conflicts: 664000 | #Constraints: 96064
1424.18/1428.13 c #Conflicts: 665000 | #Constraints: 97064
1424.18/1428.13 c #Conflicts: 666000 | #Constraints: 98064
1424.18/1428.13 c #Conflicts: 667000 | #Constraints: 99064
1424.18/1428.13 c #Conflicts: 668000 | #Constraints: 100064
1424.18/1428.13 c INPROCESSING
1424.18/1428.13 c GARBAGE COLLECT
1424.18/1428.13 c rational objective 133
1478.63/1482.74 c #Conflicts: 669000 | #Constraints: 59766
1478.63/1482.74 c #Conflicts: 670000 | #Constraints: 60766
1478.63/1482.74 c #Conflicts: 671000 | #Constraints: 61766
1478.63/1482.74 c #Conflicts: 672000 | #Constraints: 62766
1478.63/1482.74 c #Conflicts: 673000 | #Constraints: 63766
1478.63/1482.74 c #Conflicts: 674000 | #Constraints: 64766
1478.63/1482.74 c #Conflicts: 675000 | #Constraints: 65766
1478.63/1482.74 c #Conflicts: 676000 | #Constraints: 66766
1478.63/1482.74 c #Conflicts: 677000 | #Constraints: 67766
1478.63/1482.74 c #Conflicts: 678000 | #Constraints: 68766
1478.63/1482.74 c #Conflicts: 679000 | #Constraints: 69766
1478.63/1482.74 c #Conflicts: 680000 | #Constraints: 70766
1478.63/1482.74 c #Conflicts: 681000 | #Constraints: 71766
1478.63/1482.74 c #Conflicts: 682000 | #Constraints: 72766
1478.63/1482.74 c #Conflicts: 683000 | #Constraints: 73766
1478.63/1482.74 c #Conflicts: 684000 | #Constraints: 74766
1478.63/1482.74 c #Conflicts: 685000 | #Constraints: 75766
1478.63/1482.74 c #Conflicts: 686000 | #Constraints: 76766
1478.63/1482.74 c #Conflicts: 687000 | #Constraints: 77766
1478.63/1482.74 c #Conflicts: 688000 | #Constraints: 78766
1478.63/1482.74 c INPROCESSING
1478.63/1482.74 c GARBAGE COLLECT
1478.63/1482.74 c rational objective 133
1686.20/1690.81 c #Conflicts: 689000 | #Constraints: 48816
1686.20/1690.81 c #Conflicts: 690000 | #Constraints: 49816
1686.20/1690.81 c #Conflicts: 691000 | #Constraints: 50816
1686.20/1690.81 c #Conflicts: 692000 | #Constraints: 51816
1686.20/1690.81 c #Conflicts: 693000 | #Constraints: 52816
1686.20/1690.81 c #Conflicts: 694000 | #Constraints: 53816
1686.20/1690.81 c #Conflicts: 695000 | #Constraints: 54816
1686.20/1690.81 c #Conflicts: 696000 | #Constraints: 55816
1686.20/1690.81 c #Conflicts: 697000 | #Constraints: 56816
1686.20/1690.81 c #Conflicts: 698000 | #Constraints: 57816
1686.20/1690.81 c #Conflicts: 699000 | #Constraints: 58816
1686.20/1690.81 c #Conflicts: 700000 | #Constraints: 59816
1686.20/1690.81 c #Conflicts: 701000 | #Constraints: 60816
1686.20/1690.81 c #Conflicts: 702000 | #Constraints: 61816
1686.20/1690.81 c #Conflicts: 703000 | #Constraints: 62816
1686.20/1690.81 c #Conflicts: 704000 | #Constraints: 63816
1686.20/1690.81 c #Conflicts: 705000 | #Constraints: 64816
1686.20/1690.81 c #Conflicts: 706000 | #Constraints: 65816
1686.20/1690.81 c #Conflicts: 707000 | #Constraints: 66816
1686.20/1690.81 c #Conflicts: 708000 | #Constraints: 67816
1686.20/1690.81 c #Conflicts: 709000 | #Constraints: 68816
1686.20/1690.81 c INPROCESSING
1686.20/1690.81 c GARBAGE COLLECT
1686.20/1690.81 c #Conflicts: 710000 | #Constraints: 47326
1686.20/1690.81 c #Conflicts: 711000 | #Constraints: 48326
1686.20/1690.81 c #Conflicts: 712000 | #Constraints: 49326
1686.20/1690.81 c #Conflicts: 713000 | #Constraints: 50326
1686.20/1690.81 c #Conflicts: 714000 | #Constraints: 51326
1686.20/1690.81 c #Conflicts: 715000 | #Constraints: 52326
1686.20/1690.81 c #Conflicts: 716000 | #Constraints: 53326
1686.20/1690.81 c #Conflicts: 717000 | #Constraints: 54326
1686.20/1690.81 c #Conflicts: 718000 | #Constraints: 55326
1686.20/1690.81 c #Conflicts: 719000 | #Constraints: 56326
1686.20/1690.81 c #Conflicts: 720000 | #Constraints: 57326
1686.20/1690.81 c #Conflicts: 721000 | #Constraints: 58326
1686.20/1690.81 c #Conflicts: 722000 | #Constraints: 59326
1686.20/1690.81 c #Conflicts: 723000 | #Constraints: 60326
1686.20/1690.81 c #Conflicts: 724000 | #Constraints: 61326
1686.20/1690.81 c #Conflicts: 725000 | #Constraints: 62326
1686.20/1690.81 c #Conflicts: 726000 | #Constraints: 63326
1686.20/1690.81 c #Conflicts: 727000 | #Constraints: 64326
1686.20/1690.81 c #Conflicts: 728000 | #Constraints: 65326
1686.20/1690.81 c #Conflicts: 729000 | #Constraints: 66326
1686.20/1690.81 c #Conflicts: 730000 | #Constraints: 67326
1686.20/1690.81 c #Conflicts: 731000 | #Constraints: 68326
1686.20/1690.81 c #Conflicts: 732000 | #Constraints: 69326
1686.20/1690.81 c #Conflicts: 733000 | #Constraints: 70326
1686.20/1690.81 c #Conflicts: 734000 | #Constraints: 71326
1686.20/1690.81 c #Conflicts: 735000 | #Constraints: 72326
1686.20/1690.81 c #Conflicts: 736000 | #Constraints: 73326
1686.20/1690.81 c #Conflicts: 737000 | #Constraints: 74326
1686.20/1690.81 c #Conflicts: 738000 | #Constraints: 75326
1686.20/1690.81 c #Conflicts: 739000 | #Constraints: 76326
1686.20/1690.81 c #Conflicts: 740000 | #Constraints: 77326
1686.20/1690.81 c #Conflicts: 741000 | #Constraints: 78326
1686.20/1690.81 c #Conflicts: 742000 | #Constraints: 79326
1686.20/1690.81 c #Conflicts: 743000 | #Constraints: 80326
1686.20/1690.81 c #Conflicts: 744000 | #Constraints: 81326
1686.20/1690.81 c #Conflicts: 745000 | #Constraints: 82326
1686.20/1690.81 c #Conflicts: 746000 | #Constraints: 83326
1686.20/1690.81 c #Conflicts: 747000 | #Constraints: 84326
1686.20/1690.81 c #Conflicts: 748000 | #Constraints: 85326
1686.20/1690.81 c #Conflicts: 749000 | #Constraints: 86326
1686.20/1690.81 c #Conflicts: 750000 | #Constraints: 87326
1686.20/1690.81 c #Conflicts: 751000 | #Constraints: 88326
1686.20/1690.81 c #Conflicts: 752000 | #Constraints: 89326
1686.20/1690.81 c #Conflicts: 753000 | #Constraints: 90326
1686.20/1690.81 c #Conflicts: 754000 | #Constraints: 91326
1686.20/1690.81 c #Conflicts: 755000 | #Constraints: 92326
1686.20/1690.81 c #Conflicts: 756000 | #Constraints: 93326
1686.20/1690.81 c #Conflicts: 757000 | #Constraints: 94326
1686.20/1690.81 c #Conflicts: 758000 | #Constraints: 95326
1686.20/1690.81 c #Conflicts: 759000 | #Constraints: 96326
1686.20/1690.81 c #Conflicts: 760000 | #Constraints: 97326
1686.20/1690.81 c #Conflicts: 761000 | #Constraints: 98326
1686.20/1690.81 c #Conflicts: 762000 | #Constraints: 99326
1686.20/1690.81 c #Conflicts: 763000 | #Constraints: 100326
1686.20/1690.81 c #Conflicts: 764000 | #Constraints: 101326
1686.20/1690.81 c #Conflicts: 765000 | #Constraints: 102326
1686.20/1690.81 c #Conflicts: 766000 | #Constraints: 103326
1686.20/1690.81 c #Conflicts: 767000 | #Constraints: 104326
1712.34/1717.08 c #Conflicts: 768000 | #Constraints: 105326
1712.34/1717.08 c #Conflicts: 769000 | #Constraints: 106326
1712.34/1717.08 c INPROCESSING
1712.34/1717.08 c GARBAGE COLLECT
1712.34/1717.08 c rational objective 133
1904.33/1909.58 c #Conflicts: 770000 | #Constraints: 62598
1904.33/1909.58 c #Conflicts: 771000 | #Constraints: 63598
1904.33/1909.58 c #Conflicts: 772000 | #Constraints: 64598
1904.33/1909.58 c #Conflicts: 773000 | #Constraints: 65598
1904.33/1909.58 c #Conflicts: 774000 | #Constraints: 66598
1904.33/1909.58 c #Conflicts: 775000 | #Constraints: 67598
1904.33/1909.58 c #Conflicts: 776000 | #Constraints: 68598
1904.33/1909.58 c #Conflicts: 777000 | #Constraints: 69598
1904.33/1909.58 c #Conflicts: 778000 | #Constraints: 70598
1904.33/1909.58 c #Conflicts: 779000 | #Constraints: 71598
1904.33/1909.58 c #Conflicts: 780000 | #Constraints: 72598
1904.33/1909.58 c #Conflicts: 781000 | #Constraints: 73598
1904.33/1909.58 c #Conflicts: 782000 | #Constraints: 74598
1904.33/1909.58 c #Conflicts: 783000 | #Constraints: 75598
1904.33/1909.58 c #Conflicts: 784000 | #Constraints: 76598
1904.33/1909.58 c #Conflicts: 785000 | #Constraints: 77598
1904.33/1909.58 c #Conflicts: 786000 | #Constraints: 78598
1904.33/1909.58 c #Conflicts: 787000 | #Constraints: 79598
1904.33/1909.58 c #Conflicts: 788000 | #Constraints: 80598
1904.33/1909.58 c #Conflicts: 789000 | #Constraints: 81598
1904.33/1909.58 c #Conflicts: 790000 | #Constraints: 82598
1904.33/1909.58 c #Conflicts: 791000 | #Constraints: 83598
1904.33/1909.58 c #Conflicts: 792000 | #Constraints: 84598
1904.33/1909.58 c INPROCESSING
1904.33/1909.58 c GARBAGE COLLECT
1904.33/1909.58 c #Conflicts: 793000 | #Constraints: 52021
1904.33/1909.58 c #Conflicts: 794000 | #Constraints: 53021
1904.33/1909.58 c #Conflicts: 795000 | #Constraints: 54021
1904.33/1909.58 c #Conflicts: 796000 | #Constraints: 55021
1904.33/1909.58 c #Conflicts: 797000 | #Constraints: 56021
1904.33/1909.58 c #Conflicts: 798000 | #Constraints: 57021
1904.33/1909.58 c #Conflicts: 799000 | #Constraints: 58021
1904.33/1909.58 c #Conflicts: 800000 | #Constraints: 59021
1904.33/1909.58 c #Conflicts: 801000 | #Constraints: 60021
1904.33/1909.58 c #Conflicts: 802000 | #Constraints: 61021
1904.33/1909.58 c #Conflicts: 803000 | #Constraints: 62021
1904.33/1909.58 c #Conflicts: 804000 | #Constraints: 63021
1904.33/1909.58 c #Conflicts: 805000 | #Constraints: 64021
1904.33/1909.58 c #Conflicts: 806000 | #Constraints: 65021
1904.33/1909.58 c #Conflicts: 807000 | #Constraints: 66021
1904.33/1909.58 c #Conflicts: 808000 | #Constraints: 67021
1904.33/1909.58 c #Conflicts: 809000 | #Constraints: 68021
1904.33/1909.58 c #Conflicts: 810000 | #Constraints: 69021
1904.33/1909.58 c #Conflicts: 811000 | #Constraints: 70021
1904.33/1909.58 c #Conflicts: 812000 | #Constraints: 71022
1904.33/1909.58 c #Conflicts: 813000 | #Constraints: 72022
1904.33/1909.58 c #Conflicts: 814000 | #Constraints: 73022
1904.33/1909.58 c INPROCESSING
1904.33/1909.58 c GARBAGE COLLECT
1904.33/1909.58 c #Conflicts: 815000 | #Constraints: 50092
1904.33/1909.58 c #Conflicts: 816000 | #Constraints: 51092
1904.33/1909.58 c #Conflicts: 817000 | #Constraints: 52092
1904.33/1909.58 c #Conflicts: 818000 | #Constraints: 53092
1904.33/1909.58 c #Conflicts: 819000 | #Constraints: 54092
1904.33/1909.58 c #Conflicts: 820000 | #Constraints: 55092
1904.33/1909.58 c #Conflicts: 821000 | #Constraints: 56092
1904.33/1909.58 c #Conflicts: 822000 | #Constraints: 57092
1904.33/1909.58 c #Conflicts: 823000 | #Constraints: 58092
1904.33/1909.58 c #Conflicts: 824000 | #Constraints: 59092
1904.33/1909.58 c #Conflicts: 825000 | #Constraints: 60092
1904.33/1909.58 c #Conflicts: 826000 | #Constraints: 61092
1904.33/1909.58 c #Conflicts: 827000 | #Constraints: 62092
1904.33/1909.58 c #Conflicts: 828000 | #Constraints: 63092
1904.33/1909.58 c #Conflicts: 829000 | #Constraints: 64092
1904.33/1909.58 c #Conflicts: 830000 | #Constraints: 65092
1904.33/1909.58 c #Conflicts: 831000 | #Constraints: 66092
1904.33/1909.58 c #Conflicts: 832000 | #Constraints: 67092
1904.33/1909.58 c #Conflicts: 833000 | #Constraints: 68092
1904.33/1909.58 c #Conflicts: 834000 | #Constraints: 69092
1904.33/1909.58 c #Conflicts: 835000 | #Constraints: 70092
1904.33/1909.58 c #Conflicts: 836000 | #Constraints: 71092
1904.33/1909.58 c #Conflicts: 837000 | #Constraints: 72092
1904.33/1909.58 c #Conflicts: 838000 | #Constraints: 73092
1904.33/1909.58 c #Conflicts: 839000 | #Constraints: 74092
1904.33/1909.58 c #Conflicts: 840000 | #Constraints: 75092
1904.33/1909.58 c #Conflicts: 841000 | #Constraints: 76092
1904.33/1909.58 c #Conflicts: 842000 | #Constraints: 77092
1904.33/1909.58 c #Conflicts: 843000 | #Constraints: 78092
1904.33/1909.58 c #Conflicts: 844000 | #Constraints: 79092
1904.33/1909.58 c #Conflicts: 845000 | #Constraints: 80092
1904.33/1909.58 c #Conflicts: 846000 | #Constraints: 81092
1904.33/1909.58 c #Conflicts: 847000 | #Constraints: 82092
2104.11/2109.85 c #Conflicts: 848000 | #Constraints: 83092
2104.11/2109.85 c #Conflicts: 849000 | #Constraints: 84092
2104.11/2109.85 c #Conflicts: 850000 | #Constraints: 85092
2104.11/2109.85 c #Conflicts: 851000 | #Constraints: 86092
2104.11/2109.85 c #Conflicts: 852000 | #Constraints: 87092
2104.11/2109.85 c #Conflicts: 853000 | #Constraints: 88092
2104.11/2109.85 c #Conflicts: 854000 | #Constraints: 89092
2104.11/2109.85 c #Conflicts: 855000 | #Constraints: 90092
2104.11/2109.85 c #Conflicts: 856000 | #Constraints: 91092
2104.11/2109.85 c #Conflicts: 857000 | #Constraints: 92092
2104.11/2109.85 c #Conflicts: 858000 | #Constraints: 93092
2104.11/2109.85 c #Conflicts: 859000 | #Constraints: 94092
2104.11/2109.85 c #Conflicts: 860000 | #Constraints: 95092
2104.11/2109.85 c #Conflicts: 861000 | #Constraints: 96092
2104.11/2109.85 c #Conflicts: 862000 | #Constraints: 97092
2104.11/2109.85 c #Conflicts: 863000 | #Constraints: 98092
2104.11/2109.85 c #Conflicts: 864000 | #Constraints: 99092
2104.11/2109.85 c #Conflicts: 865000 | #Constraints: 100092
2104.11/2109.85 c #Conflicts: 866000 | #Constraints: 101092
2104.11/2109.85 c #Conflicts: 867000 | #Constraints: 102092
2104.11/2109.85 c #Conflicts: 868000 | #Constraints: 103092
2104.11/2109.85 c #Conflicts: 869000 | #Constraints: 104092
2104.11/2109.85 c #Conflicts: 870000 | #Constraints: 105092
2104.11/2109.85 c #Conflicts: 871000 | #Constraints: 106092
2104.11/2109.85 c #Conflicts: 872000 | #Constraints: 107092
2104.11/2109.85 c #Conflicts: 873000 | #Constraints: 108092
2104.11/2109.85 c #Conflicts: 874000 | #Constraints: 109092
2104.11/2109.85 c #Conflicts: 875000 | #Constraints: 110092
2104.11/2109.85 c #Conflicts: 876000 | #Constraints: 111092
2104.11/2109.85 c #Conflicts: 877000 | #Constraints: 112092
2104.11/2109.85 c #Conflicts: 878000 | #Constraints: 113092
2104.11/2109.85 c INPROCESSING
2104.11/2109.85 c GARBAGE COLLECT
2104.11/2109.85 c #Conflicts: 879000 | #Constraints: 66042
2104.11/2109.85 c #Conflicts: 880000 | #Constraints: 67042
2104.11/2109.85 c #Conflicts: 881000 | #Constraints: 68042
2104.11/2109.85 c #Conflicts: 882000 | #Constraints: 69042
2104.11/2109.85 c #Conflicts: 883000 | #Constraints: 70042
2104.11/2109.85 c #Conflicts: 884000 | #Constraints: 71042
2104.11/2109.85 c #Conflicts: 885000 | #Constraints: 72042
2104.11/2109.85 c #Conflicts: 886000 | #Constraints: 73042
2104.11/2109.85 c #Conflicts: 887000 | #Constraints: 74042
2104.11/2109.85 c #Conflicts: 888000 | #Constraints: 75042
2104.11/2109.85 c #Conflicts: 889000 | #Constraints: 76042
2104.11/2109.85 c #Conflicts: 890000 | #Constraints: 77042
2104.11/2109.85 c #Conflicts: 891000 | #Constraints: 78042
2104.11/2109.85 c #Conflicts: 892000 | #Constraints: 79042
2104.11/2109.85 c #Conflicts: 893000 | #Constraints: 80042
2104.11/2109.85 c #Conflicts: 894000 | #Constraints: 81042
2104.11/2109.85 c #Conflicts: 895000 | #Constraints: 82042
2104.11/2109.85 c #Conflicts: 896000 | #Constraints: 83042
2104.11/2109.85 c #Conflicts: 897000 | #Constraints: 84042
2104.11/2109.85 c #Conflicts: 898000 | #Constraints: 85042
2104.11/2109.85 c #Conflicts: 899000 | #Constraints: 86042
2104.11/2109.85 c #Conflicts: 900000 | #Constraints: 87042
2104.11/2109.85 c #Conflicts: 901000 | #Constraints: 88042
2104.11/2109.85 c #Conflicts: 902000 | #Constraints: 89042
2104.11/2109.85 c INPROCESSING
2104.11/2109.85 c GARBAGE COLLECT
2104.11/2109.85 c #Conflicts: 903000 | #Constraints: 54135
2104.11/2109.85 c #Conflicts: 904000 | #Constraints: 55135
2104.11/2109.85 c #Conflicts: 905000 | #Constraints: 56135
2104.11/2109.85 c #Conflicts: 906000 | #Constraints: 57135
2104.11/2109.85 c #Conflicts: 907000 | #Constraints: 58135
2104.11/2109.85 c #Conflicts: 908000 | #Constraints: 59135
2104.11/2109.85 c #Conflicts: 909000 | #Constraints: 60135
2104.11/2109.85 c #Conflicts: 910000 | #Constraints: 61135
2104.11/2109.85 c #Conflicts: 911000 | #Constraints: 62135
2104.11/2109.85 c #Conflicts: 912000 | #Constraints: 63135
2104.11/2109.85 c #Conflicts: 913000 | #Constraints: 64135
2104.11/2109.85 c #Conflicts: 914000 | #Constraints: 65135
2104.11/2109.85 c #Conflicts: 915000 | #Constraints: 66135
2104.11/2109.85 c #Conflicts: 916000 | #Constraints: 67135
2104.11/2109.85 c #Conflicts: 917000 | #Constraints: 68135
2104.11/2109.85 c #Conflicts: 918000 | #Constraints: 69135
2104.11/2109.85 c #Conflicts: 919000 | #Constraints: 70135
2104.11/2109.85 c #Conflicts: 920000 | #Constraints: 71135
2104.11/2109.85 c #Conflicts: 921000 | #Constraints: 72135
2104.11/2109.85 c #Conflicts: 922000 | #Constraints: 73135
2104.11/2109.85 c #Conflicts: 923000 | #Constraints: 74135
2104.11/2109.85 c #Conflicts: 924000 | #Constraints: 75135
2349.46/2355.85 c #Conflicts: 925000 | #Constraints: 76135
2349.46/2355.85 c #Conflicts: 926000 | #Constraints: 77135
2349.46/2355.85 c INPROCESSING
2349.46/2355.85 c GARBAGE COLLECT
2349.46/2355.85 c #Conflicts: 927000 | #Constraints: 52820
2349.46/2355.85 c #Conflicts: 928000 | #Constraints: 53820
2349.46/2355.85 c #Conflicts: 929000 | #Constraints: 54820
2349.46/2355.85 c #Conflicts: 930000 | #Constraints: 55820
2349.46/2355.85 c #Conflicts: 931000 | #Constraints: 56820
2349.46/2355.85 c #Conflicts: 932000 | #Constraints: 57820
2349.46/2355.85 c #Conflicts: 933000 | #Constraints: 58820
2349.46/2355.85 c #Conflicts: 934000 | #Constraints: 59820
2349.46/2355.85 c #Conflicts: 935000 | #Constraints: 60820
2349.46/2355.85 c #Conflicts: 936000 | #Constraints: 61820
2349.46/2355.85 c #Conflicts: 937000 | #Constraints: 62820
2349.46/2355.85 c #Conflicts: 938000 | #Constraints: 63820
2349.46/2355.85 c #Conflicts: 939000 | #Constraints: 64820
2349.46/2355.85 c #Conflicts: 940000 | #Constraints: 65820
2349.46/2355.85 c #Conflicts: 941000 | #Constraints: 66820
2349.46/2355.85 c #Conflicts: 942000 | #Constraints: 67820
2349.46/2355.85 c #Conflicts: 943000 | #Constraints: 68820
2349.46/2355.85 c #Conflicts: 944000 | #Constraints: 69820
2349.46/2355.85 c #Conflicts: 945000 | #Constraints: 70820
2349.46/2355.85 c #Conflicts: 946000 | #Constraints: 71820
2349.46/2355.85 c #Conflicts: 947000 | #Constraints: 72820
2349.46/2355.85 c #Conflicts: 948000 | #Constraints: 73820
2349.46/2355.85 c #Conflicts: 949000 | #Constraints: 74820
2349.46/2355.85 c #Conflicts: 950000 | #Constraints: 75820
2349.46/2355.85 c #Conflicts: 951000 | #Constraints: 76820
2349.46/2355.85 c #Conflicts: 952000 | #Constraints: 77820
2349.46/2355.85 c #Conflicts: 953000 | #Constraints: 78820
2349.46/2355.85 c #Conflicts: 954000 | #Constraints: 79820
2349.46/2355.85 c #Conflicts: 955000 | #Constraints: 80820
2349.46/2355.85 c #Conflicts: 956000 | #Constraints: 81820
2349.46/2355.85 c #Conflicts: 957000 | #Constraints: 82820
2349.46/2355.85 c #Conflicts: 958000 | #Constraints: 83820
2349.46/2355.85 c #Conflicts: 959000 | #Constraints: 84820
2349.46/2355.85 c #Conflicts: 960000 | #Constraints: 85820
2349.46/2355.85 c #Conflicts: 961000 | #Constraints: 86820
2349.46/2355.85 c #Conflicts: 962000 | #Constraints: 87820
2349.46/2355.85 c #Conflicts: 963000 | #Constraints: 88820
2349.46/2355.85 c #Conflicts: 964000 | #Constraints: 89820
2349.46/2355.85 c #Conflicts: 965000 | #Constraints: 90820
2349.46/2355.85 c #Conflicts: 966000 | #Constraints: 91820
2349.46/2355.85 c #Conflicts: 967000 | #Constraints: 92820
2349.46/2355.85 c #Conflicts: 968000 | #Constraints: 93820
2349.46/2355.85 c #Conflicts: 969000 | #Constraints: 94820
2349.46/2355.85 c #Conflicts: 970000 | #Constraints: 95820
2349.46/2355.85 c #Conflicts: 971000 | #Constraints: 96820
2349.46/2355.85 c #Conflicts: 972000 | #Constraints: 97820
2349.46/2355.85 c #Conflicts: 973000 | #Constraints: 98820
2349.46/2355.85 c #Conflicts: 974000 | #Constraints: 99820
2349.46/2355.85 c #Conflicts: 975000 | #Constraints: 100820
2349.46/2355.85 c #Conflicts: 976000 | #Constraints: 101820
2349.46/2355.85 c #Conflicts: 977000 | #Constraints: 102820
2349.46/2355.85 c #Conflicts: 978000 | #Constraints: 103820
2349.46/2355.85 c #Conflicts: 979000 | #Constraints: 104820
2349.46/2355.85 c #Conflicts: 980000 | #Constraints: 105820
2349.46/2355.85 c #Conflicts: 981000 | #Constraints: 106820
2349.46/2355.85 c #Conflicts: 982000 | #Constraints: 107820
2349.46/2355.85 c #Conflicts: 983000 | #Constraints: 108820
2349.46/2355.85 c #Conflicts: 984000 | #Constraints: 109820
2349.46/2355.85 c #Conflicts: 985000 | #Constraints: 110820
2349.46/2355.85 c #Conflicts: 986000 | #Constraints: 111820
2349.46/2355.85 c #Conflicts: 987000 | #Constraints: 112820
2349.46/2355.85 c #Conflicts: 988000 | #Constraints: 113820
2349.46/2355.85 c #Conflicts: 989000 | #Constraints: 114820
2349.46/2355.85 c #Conflicts: 990000 | #Constraints: 115820
2349.46/2355.85 c #Conflicts: 991000 | #Constraints: 116820
2349.46/2355.85 c #Conflicts: 992000 | #Constraints: 117820
2349.46/2355.85 c #Conflicts: 993000 | #Constraints: 118820
2349.46/2355.85 c #Conflicts: 994000 | #Constraints: 119820
2349.46/2355.85 c INPROCESSING
2349.46/2355.85 c GARBAGE COLLECT
2349.46/2355.85 c rational objective 133
2570.90/2577.83 c #Conflicts: 995000 | #Constraints: 69426
2570.90/2577.83 c #Conflicts: 996000 | #Constraints: 70426
2570.90/2577.83 c #Conflicts: 997000 | #Constraints: 71426
2570.90/2577.83 c #Conflicts: 998000 | #Constraints: 72426
2570.90/2577.83 c #Conflicts: 999000 | #Constraints: 73426
2570.90/2577.83 c #Conflicts: 1000000 | #Constraints: 74426
2570.90/2577.83 c #Conflicts: 1001000 | #Constraints: 75426
2570.90/2577.83 c #Conflicts: 1002000 | #Constraints: 76426
2570.90/2577.83 c #Conflicts: 1003000 | #Constraints: 77426
2570.90/2577.83 c #Conflicts: 1004000 | #Constraints: 78426
2570.90/2577.83 c #Conflicts: 1005000 | #Constraints: 79426
2570.90/2577.83 c #Conflicts: 1006000 | #Constraints: 80426
2570.90/2577.83 c #Conflicts: 1007000 | #Constraints: 81426
2570.90/2577.83 c #Conflicts: 1008000 | #Constraints: 82426
2570.90/2577.83 c #Conflicts: 1009000 | #Constraints: 83426
2570.90/2577.83 c #Conflicts: 1010000 | #Constraints: 84426
2570.90/2577.83 c #Conflicts: 1011000 | #Constraints: 85426
2570.90/2577.83 c #Conflicts: 1012000 | #Constraints: 86426
2570.90/2577.83 c #Conflicts: 1013000 | #Constraints: 87426
2570.90/2577.83 c #Conflicts: 1014000 | #Constraints: 88426
2570.90/2577.83 c #Conflicts: 1015000 | #Constraints: 89426
2570.90/2577.83 c #Conflicts: 1016000 | #Constraints: 90426
2570.90/2577.83 c #Conflicts: 1017000 | #Constraints: 91426
2570.90/2577.83 c #Conflicts: 1018000 | #Constraints: 92426
2570.90/2577.83 c #Conflicts: 1019000 | #Constraints: 93426
2570.90/2577.83 c #Conflicts: 1020000 | #Constraints: 94426
2570.90/2577.83 c INPROCESSING
2570.90/2577.83 c GARBAGE COLLECT
2570.90/2577.83 c #Conflicts: 1021000 | #Constraints: 57049
2570.90/2577.83 c #Conflicts: 1022000 | #Constraints: 58049
2570.90/2577.83 c #Conflicts: 1023000 | #Constraints: 59049
2570.90/2577.83 c #Conflicts: 1024000 | #Constraints: 60049
2570.90/2577.83 c #Conflicts: 1025000 | #Constraints: 61049
2570.90/2577.83 c #Conflicts: 1026000 | #Constraints: 62049
2570.90/2577.83 c #Conflicts: 1027000 | #Constraints: 63049
2570.90/2577.83 c #Conflicts: 1028000 | #Constraints: 64049
2570.90/2577.83 c #Conflicts: 1029000 | #Constraints: 65049
2570.90/2577.83 c #Conflicts: 1030000 | #Constraints: 66049
2570.90/2577.83 c #Conflicts: 1031000 | #Constraints: 67049
2570.90/2577.83 c #Conflicts: 1032000 | #Constraints: 68049
2570.90/2577.83 c #Conflicts: 1033000 | #Constraints: 69049
2570.90/2577.83 c #Conflicts: 1034000 | #Constraints: 70049
2570.90/2577.83 c #Conflicts: 1035000 | #Constraints: 71049
2570.90/2577.83 c #Conflicts: 1036000 | #Constraints: 72049
2570.90/2577.83 c #Conflicts: 1037000 | #Constraints: 73049
2570.90/2577.83 c #Conflicts: 1038000 | #Constraints: 74049
2570.90/2577.83 c #Conflicts: 1039000 | #Constraints: 75049
2570.90/2577.83 c #Conflicts: 1040000 | #Constraints: 76049
2570.90/2577.83 c #Conflicts: 1041000 | #Constraints: 77049
2570.90/2577.83 c #Conflicts: 1042000 | #Constraints: 78049
2570.90/2577.83 c #Conflicts: 1043000 | #Constraints: 79049
2570.90/2577.83 c #Conflicts: 1044000 | #Constraints: 80049
2570.90/2577.83 c #Conflicts: 1045000 | #Constraints: 81049
2570.90/2577.83 c INPROCESSING
2570.90/2577.83 c GARBAGE COLLECT
2570.90/2577.83 c #Conflicts: 1046000 | #Constraints: 54362
2570.90/2577.83 c #Conflicts: 1047000 | #Constraints: 55362
2570.90/2577.83 c #Conflicts: 1048000 | #Constraints: 56362
2570.90/2577.83 c #Conflicts: 1049000 | #Constraints: 57362
2570.90/2577.83 c #Conflicts: 1050000 | #Constraints: 58362
2570.90/2577.83 c #Conflicts: 1051000 | #Constraints: 59362
2570.90/2577.83 c #Conflicts: 1052000 | #Constraints: 60362
2570.90/2577.83 c #Conflicts: 1053000 | #Constraints: 61362
2570.90/2577.83 c #Conflicts: 1054000 | #Constraints: 62362
2570.90/2577.83 c #Conflicts: 1055000 | #Constraints: 63362
2570.90/2577.83 c #Conflicts: 1056000 | #Constraints: 64362
2570.90/2577.83 c #Conflicts: 1057000 | #Constraints: 65362
2570.90/2577.83 c #Conflicts: 1058000 | #Constraints: 66362
2570.90/2577.83 c #Conflicts: 1059000 | #Constraints: 67362
2570.90/2577.83 c #Conflicts: 1060000 | #Constraints: 68362
2570.90/2577.83 c #Conflicts: 1061000 | #Constraints: 69362
2570.90/2577.83 c #Conflicts: 1062000 | #Constraints: 70362
2570.90/2577.83 c #Conflicts: 1063000 | #Constraints: 71362
2570.90/2577.83 c #Conflicts: 1064000 | #Constraints: 72362
2570.90/2577.83 c #Conflicts: 1065000 | #Constraints: 73362
2570.90/2577.83 c #Conflicts: 1066000 | #Constraints: 74362
2570.90/2577.83 c #Conflicts: 1067000 | #Constraints: 75362
2570.90/2577.83 c #Conflicts: 1068000 | #Constraints: 76362
2570.90/2577.83 c #Conflicts: 1069000 | #Constraints: 77362
2570.90/2577.83 c #Conflicts: 1070000 | #Constraints: 78362
2570.90/2577.83 c #Conflicts: 1071000 | #Constraints: 79362
2570.90/2577.83 c #Conflicts: 1072000 | #Constraints: 80362
2879.59/2887.35 c #Conflicts: 1073000 | #Constraints: 81362
2879.59/2887.35 c #Conflicts: 1074000 | #Constraints: 82362
2879.59/2887.35 c #Conflicts: 1075000 | #Constraints: 83362
2879.59/2887.35 c #Conflicts: 1076000 | #Constraints: 84362
2879.59/2887.35 c #Conflicts: 1077000 | #Constraints: 85362
2879.59/2887.35 c #Conflicts: 1078000 | #Constraints: 86362
2879.59/2887.35 c #Conflicts: 1079000 | #Constraints: 87362
2879.59/2887.35 c #Conflicts: 1080000 | #Constraints: 88362
2879.59/2887.35 c #Conflicts: 1081000 | #Constraints: 89362
2879.59/2887.35 c #Conflicts: 1082000 | #Constraints: 90362
2879.59/2887.35 c #Conflicts: 1083000 | #Constraints: 91362
2879.59/2887.35 c #Conflicts: 1084000 | #Constraints: 92362
2879.59/2887.35 c #Conflicts: 1085000 | #Constraints: 93362
2879.59/2887.35 c #Conflicts: 1086000 | #Constraints: 94362
2879.59/2887.35 c #Conflicts: 1087000 | #Constraints: 95362
2879.59/2887.35 c #Conflicts: 1088000 | #Constraints: 96362
2879.59/2887.35 c #Conflicts: 1089000 | #Constraints: 97362
2879.59/2887.35 c #Conflicts: 1090000 | #Constraints: 98362
2879.59/2887.35 c #Conflicts: 1091000 | #Constraints: 99362
2879.59/2887.35 c #Conflicts: 1092000 | #Constraints: 100362
2879.59/2887.35 c #Conflicts: 1093000 | #Constraints: 101362
2879.59/2887.35 c #Conflicts: 1094000 | #Constraints: 102362
2879.59/2887.35 c #Conflicts: 1095000 | #Constraints: 103362
2879.59/2887.35 c #Conflicts: 1096000 | #Constraints: 104362
2879.59/2887.35 c #Conflicts: 1097000 | #Constraints: 105362
2879.59/2887.35 c #Conflicts: 1098000 | #Constraints: 106362
2879.59/2887.35 c #Conflicts: 1099000 | #Constraints: 107362
2879.59/2887.35 c #Conflicts: 1100000 | #Constraints: 108362
2879.59/2887.35 c #Conflicts: 1101000 | #Constraints: 109362
2879.59/2887.35 c #Conflicts: 1102000 | #Constraints: 110362
2879.59/2887.35 c #Conflicts: 1103000 | #Constraints: 111362
2879.59/2887.35 c #Conflicts: 1104000 | #Constraints: 112362
2879.59/2887.35 c #Conflicts: 1105000 | #Constraints: 113362
2879.59/2887.35 c #Conflicts: 1106000 | #Constraints: 114362
2879.59/2887.35 c #Conflicts: 1107000 | #Constraints: 115362
2879.59/2887.35 c #Conflicts: 1108000 | #Constraints: 116362
2879.59/2887.35 c #Conflicts: 1109000 | #Constraints: 117362
2879.59/2887.35 c #Conflicts: 1110000 | #Constraints: 118362
2879.59/2887.35 c #Conflicts: 1111000 | #Constraints: 119362
2879.59/2887.35 c #Conflicts: 1112000 | #Constraints: 120362
2879.59/2887.35 c #Conflicts: 1113000 | #Constraints: 121362
2879.59/2887.35 c #Conflicts: 1114000 | #Constraints: 122362
2879.59/2887.35 c #Conflicts: 1115000 | #Constraints: 123362
2879.59/2887.35 c #Conflicts: 1116000 | #Constraints: 124362
2879.59/2887.35 c #Conflicts: 1117000 | #Constraints: 125362
2879.59/2887.35 c #Conflicts: 1118000 | #Constraints: 126362
2879.59/2887.35 c INPROCESSING
2879.59/2887.35 c GARBAGE COLLECT
2879.59/2887.35 c #Conflicts: 1119000 | #Constraints: 72960
2879.59/2887.35 c #Conflicts: 1120000 | #Constraints: 73960
2879.59/2887.35 c #Conflicts: 1121000 | #Constraints: 74960
2879.59/2887.35 c #Conflicts: 1122000 | #Constraints: 75960
2879.59/2887.35 c #Conflicts: 1123000 | #Constraints: 76960
2879.59/2887.35 c #Conflicts: 1124000 | #Constraints: 77960
2879.59/2887.35 c #Conflicts: 1125000 | #Constraints: 78960
2879.59/2887.35 c #Conflicts: 1126000 | #Constraints: 79960
2879.59/2887.35 c #Conflicts: 1127000 | #Constraints: 80960
2879.59/2887.35 c #Conflicts: 1128000 | #Constraints: 81960
2879.59/2887.35 c #Conflicts: 1129000 | #Constraints: 82960
2879.59/2887.35 c #Conflicts: 1130000 | #Constraints: 83960
2879.59/2887.35 c #Conflicts: 1131000 | #Constraints: 84960
2879.59/2887.35 c #Conflicts: 1132000 | #Constraints: 85960
2879.59/2887.35 c #Conflicts: 1133000 | #Constraints: 86960
2879.59/2887.35 c #Conflicts: 1134000 | #Constraints: 87960
2879.59/2887.35 c #Conflicts: 1135000 | #Constraints: 88960
2879.59/2887.35 c #Conflicts: 1136000 | #Constraints: 89960
2879.59/2887.35 c #Conflicts: 1137000 | #Constraints: 90960
2879.59/2887.35 c #Conflicts: 1138000 | #Constraints: 91960
2879.59/2887.35 c #Conflicts: 1139000 | #Constraints: 92960
2879.59/2887.35 c #Conflicts: 1140000 | #Constraints: 93960
2879.59/2887.35 c #Conflicts: 1141000 | #Constraints: 94960
2879.59/2887.35 c #Conflicts: 1142000 | #Constraints: 95960
2879.59/2887.35 c #Conflicts: 1143000 | #Constraints: 96960
2879.59/2887.35 c #Conflicts: 1144000 | #Constraints: 97960
2879.59/2887.35 c INPROCESSING
2879.59/2887.35 c GARBAGE COLLECT
2879.59/2887.35 c rational objective 133
2956.77/2964.74 c #Conflicts: 1145000 | #Constraints: 58538
2956.77/2964.74 c #Conflicts: 1146000 | #Constraints: 59538
2956.77/2964.74 c #Conflicts: 1147000 | #Constraints: 60538
2956.77/2964.74 c #Conflicts: 1148000 | #Constraints: 61538
2956.77/2964.74 c #Conflicts: 1149000 | #Constraints: 62538
2956.77/2964.74 c #Conflicts: 1150000 | #Constraints: 63538
2956.77/2964.74 c #Conflicts: 1151000 | #Constraints: 64538
2956.77/2964.74 c #Conflicts: 1152000 | #Constraints: 65538
2956.77/2964.74 c #Conflicts: 1153000 | #Constraints: 66538
2956.77/2964.74 c #Conflicts: 1154000 | #Constraints: 67538
2956.77/2964.74 c #Conflicts: 1155000 | #Constraints: 68538
2956.77/2964.74 c #Conflicts: 1156000 | #Constraints: 69538
2956.77/2964.74 c #Conflicts: 1157000 | #Constraints: 70538
2956.77/2964.74 c #Conflicts: 1158000 | #Constraints: 71538
2956.77/2964.74 c #Conflicts: 1159000 | #Constraints: 72538
2956.77/2964.74 c #Conflicts: 1160000 | #Constraints: 73538
2956.77/2964.74 c #Conflicts: 1161000 | #Constraints: 74538
2956.77/2964.74 c #Conflicts: 1162000 | #Constraints: 75538
2956.77/2964.74 c #Conflicts: 1163000 | #Constraints: 76538
2956.77/2964.74 c #Conflicts: 1164000 | #Constraints: 77538
2956.77/2964.74 c #Conflicts: 1165000 | #Constraints: 78538
2956.77/2964.74 c #Conflicts: 1166000 | #Constraints: 79538
2956.77/2964.74 c #Conflicts: 1167000 | #Constraints: 80538
2956.77/2964.74 c #Conflicts: 1168000 | #Constraints: 81538
2956.77/2964.74 c #Conflicts: 1169000 | #Constraints: 82538
2956.77/2964.74 c #Conflicts: 1170000 | #Constraints: 83538
2956.77/2964.74 c #Conflicts: 1171000 | #Constraints: 84538
2956.77/2964.74 c INPROCESSING
2956.77/2964.74 c GARBAGE COLLECT
2956.77/2964.74 c rational objective 133
3193.41/3202.04 c #Conflicts: 1172000 | #Constraints: 56123
3193.41/3202.04 c #Conflicts: 1173000 | #Constraints: 57123
3193.41/3202.04 c #Conflicts: 1174000 | #Constraints: 58123
3193.41/3202.04 c #Conflicts: 1175000 | #Constraints: 59123
3193.41/3202.04 c #Conflicts: 1176000 | #Constraints: 60123
3193.41/3202.04 c #Conflicts: 1177000 | #Constraints: 61123
3193.41/3202.04 c #Conflicts: 1178000 | #Constraints: 62123
3193.41/3202.04 c #Conflicts: 1179000 | #Constraints: 63123
3193.41/3202.04 c #Conflicts: 1180000 | #Constraints: 64123
3193.41/3202.04 c #Conflicts: 1181000 | #Constraints: 65123
3193.41/3202.04 c #Conflicts: 1182000 | #Constraints: 66123
3193.41/3202.04 c #Conflicts: 1183000 | #Constraints: 67123
3193.41/3202.04 c #Conflicts: 1184000 | #Constraints: 68123
3193.41/3202.04 c #Conflicts: 1185000 | #Constraints: 69123
3193.41/3202.04 c #Conflicts: 1186000 | #Constraints: 70123
3193.41/3202.04 c #Conflicts: 1187000 | #Constraints: 71123
3193.41/3202.04 c #Conflicts: 1188000 | #Constraints: 72123
3193.41/3202.04 c #Conflicts: 1189000 | #Constraints: 73123
3193.41/3202.04 c #Conflicts: 1190000 | #Constraints: 74123
3193.41/3202.04 c #Conflicts: 1191000 | #Constraints: 75123
3193.41/3202.04 c #Conflicts: 1192000 | #Constraints: 76123
3193.41/3202.04 c #Conflicts: 1193000 | #Constraints: 77123
3193.41/3202.04 c #Conflicts: 1194000 | #Constraints: 78123
3193.41/3202.04 c #Conflicts: 1195000 | #Constraints: 79123
3193.41/3202.04 c #Conflicts: 1196000 | #Constraints: 80123
3193.41/3202.04 c #Conflicts: 1197000 | #Constraints: 81123
3193.41/3202.04 c #Conflicts: 1198000 | #Constraints: 82123
3193.41/3202.04 c #Conflicts: 1199000 | #Constraints: 83123
3193.41/3202.04 c #Conflicts: 1200000 | #Constraints: 84123
3193.41/3202.04 c #Conflicts: 1201000 | #Constraints: 85123
3193.41/3202.04 c #Conflicts: 1202000 | #Constraints: 86123
3193.41/3202.04 c #Conflicts: 1203000 | #Constraints: 87123
3193.41/3202.04 c #Conflicts: 1204000 | #Constraints: 88123
3193.41/3202.04 c #Conflicts: 1205000 | #Constraints: 89123
3193.41/3202.04 c #Conflicts: 1206000 | #Constraints: 90123
3193.41/3202.04 c #Conflicts: 1207000 | #Constraints: 91123
3193.41/3202.04 c #Conflicts: 1208000 | #Constraints: 92123
3193.41/3202.04 c #Conflicts: 1209000 | #Constraints: 93123
3193.41/3202.04 c #Conflicts: 1210000 | #Constraints: 94123
3193.41/3202.04 c #Conflicts: 1211000 | #Constraints: 95123
3193.41/3202.04 c #Conflicts: 1212000 | #Constraints: 96123
3193.41/3202.04 c #Conflicts: 1213000 | #Constraints: 97123
3193.41/3202.04 c #Conflicts: 1214000 | #Constraints: 98123
3193.41/3202.04 c #Conflicts: 1215000 | #Constraints: 99123
3193.41/3202.04 c #Conflicts: 1216000 | #Constraints: 100123
3193.41/3202.04 c #Conflicts: 1217000 | #Constraints: 101123
3193.41/3202.04 c #Conflicts: 1218000 | #Constraints: 102123
3193.41/3202.04 c #Conflicts: 1219000 | #Constraints: 103123
3193.41/3202.04 c #Conflicts: 1220000 | #Constraints: 104123
3193.41/3202.04 c #Conflicts: 1221000 | #Constraints: 105123
3193.41/3202.04 c #Conflicts: 1222000 | #Constraints: 106123
3193.41/3202.04 c #Conflicts: 1223000 | #Constraints: 107123
3193.41/3202.04 c #Conflicts: 1224000 | #Constraints: 108123
3193.41/3202.04 c #Conflicts: 1225000 | #Constraints: 109123
3193.41/3202.04 c #Conflicts: 1226000 | #Constraints: 110123
3193.41/3202.04 c #Conflicts: 1227000 | #Constraints: 111123
3193.41/3202.04 c #Conflicts: 1228000 | #Constraints: 112123
3193.41/3202.04 c #Conflicts: 1229000 | #Constraints: 113123
3193.41/3202.04 c #Conflicts: 1230000 | #Constraints: 114123
3193.41/3202.04 c #Conflicts: 1231000 | #Constraints: 115123
3193.41/3202.04 c #Conflicts: 1232000 | #Constraints: 116123
3193.41/3202.04 c #Conflicts: 1233000 | #Constraints: 117123
3193.41/3202.04 c #Conflicts: 1234000 | #Constraints: 118123
3193.41/3202.04 c #Conflicts: 1235000 | #Constraints: 119123
3193.41/3202.04 c #Conflicts: 1236000 | #Constraints: 120123
3193.41/3202.04 c #Conflicts: 1237000 | #Constraints: 121123
3193.41/3202.04 c #Conflicts: 1238000 | #Constraints: 122123
3193.41/3202.04 c #Conflicts: 1239000 | #Constraints: 123123
3193.41/3202.04 c #Conflicts: 1240000 | #Constraints: 124123
3193.41/3202.04 c #Conflicts: 1241000 | #Constraints: 125123
3193.41/3202.04 c #Conflicts: 1242000 | #Constraints: 126123
3193.41/3202.04 c #Conflicts: 1243000 | #Constraints: 127123
3193.41/3202.04 c #Conflicts: 1244000 | #Constraints: 128123
3193.41/3202.04 c #Conflicts: 1245000 | #Constraints: 129123
3193.41/3202.04 c #Conflicts: 1246000 | #Constraints: 130123
3193.41/3202.04 c #Conflicts: 1247000 | #Constraints: 131123
3193.41/3202.04 c #Conflicts: 1248000 | #Constraints: 132123
3193.41/3202.04 c INPROCESSING
3193.41/3202.04 c GARBAGE COLLECT
3193.41/3202.04 c #Conflicts: 1249000 | #Constraints: 75788
3193.41/3202.04 c #Conflicts: 1250000 | #Constraints: 76788
3340.41/3349.44 c #Conflicts: 1251000 | #Constraints: 77788
3340.41/3349.44 c #Conflicts: 1252000 | #Constraints: 78788
3340.41/3349.44 c #Conflicts: 1253000 | #Constraints: 79788
3340.41/3349.44 c #Conflicts: 1254000 | #Constraints: 80788
3340.41/3349.44 c #Conflicts: 1255000 | #Constraints: 81788
3340.41/3349.44 c #Conflicts: 1256000 | #Constraints: 82788
3340.41/3349.44 c #Conflicts: 1257000 | #Constraints: 83788
3340.41/3349.44 c #Conflicts: 1258000 | #Constraints: 84788
3340.41/3349.44 c #Conflicts: 1259000 | #Constraints: 85788
3340.41/3349.44 c #Conflicts: 1260000 | #Constraints: 86788
3340.41/3349.44 c #Conflicts: 1261000 | #Constraints: 87788
3340.41/3349.44 c #Conflicts: 1262000 | #Constraints: 88788
3340.41/3349.44 c #Conflicts: 1263000 | #Constraints: 89788
3340.41/3349.44 c #Conflicts: 1264000 | #Constraints: 90788
3340.41/3349.44 c #Conflicts: 1265000 | #Constraints: 91788
3340.41/3349.44 c #Conflicts: 1266000 | #Constraints: 92788
3340.41/3349.44 c #Conflicts: 1267000 | #Constraints: 93788
3340.41/3349.44 c #Conflicts: 1268000 | #Constraints: 94788
3340.41/3349.44 c #Conflicts: 1269000 | #Constraints: 95788
3340.41/3349.44 c #Conflicts: 1270000 | #Constraints: 96788
3340.41/3349.44 c #Conflicts: 1271000 | #Constraints: 97788
3340.41/3349.44 c #Conflicts: 1272000 | #Constraints: 98788
3340.41/3349.44 c #Conflicts: 1273000 | #Constraints: 99788
3340.41/3349.44 c #Conflicts: 1274000 | #Constraints: 100788
3340.41/3349.44 c #Conflicts: 1275000 | #Constraints: 101788
3340.41/3349.44 c #Conflicts: 1276000 | #Constraints: 102788
3340.41/3349.44 c INPROCESSING
3340.41/3349.44 c GARBAGE COLLECT
3340.41/3349.44 c #Conflicts: 1277000 | #Constraints: 60850
3340.41/3349.44 c #Conflicts: 1278000 | #Constraints: 61850
3340.41/3349.44 c #Conflicts: 1279000 | #Constraints: 62850
3340.41/3349.44 c #Conflicts: 1280000 | #Constraints: 63850
3340.41/3349.44 c #Conflicts: 1281000 | #Constraints: 64850
3340.41/3349.44 c #Conflicts: 1282000 | #Constraints: 65850
3340.41/3349.44 c #Conflicts: 1283000 | #Constraints: 66850
3340.41/3349.44 c #Conflicts: 1284000 | #Constraints: 67850
3340.41/3349.44 c #Conflicts: 1285000 | #Constraints: 68850
3340.41/3349.44 c #Conflicts: 1286000 | #Constraints: 69850
3340.41/3349.44 c #Conflicts: 1287000 | #Constraints: 70850
3340.41/3349.44 c #Conflicts: 1288000 | #Constraints: 71850
3340.41/3349.44 c #Conflicts: 1289000 | #Constraints: 72850
3340.41/3349.44 c #Conflicts: 1290000 | #Constraints: 73850
3340.41/3349.44 c #Conflicts: 1291000 | #Constraints: 74850
3340.41/3349.44 c #Conflicts: 1292000 | #Constraints: 75850
3340.41/3349.44 c #Conflicts: 1293000 | #Constraints: 76850
3340.41/3349.44 c #Conflicts: 1294000 | #Constraints: 77850
3340.41/3349.44 c #Conflicts: 1295000 | #Constraints: 78850
3340.41/3349.44 c #Conflicts: 1296000 | #Constraints: 79850
3340.41/3349.44 c #Conflicts: 1297000 | #Constraints: 80850
3340.41/3349.44 c #Conflicts: 1298000 | #Constraints: 81850
3340.41/3349.44 c #Conflicts: 1299000 | #Constraints: 82850
3340.41/3349.44 c #Conflicts: 1300000 | #Constraints: 83850
3340.41/3349.44 c #Conflicts: 1301000 | #Constraints: 84850
3340.41/3349.44 c #Conflicts: 1302000 | #Constraints: 85850
3340.41/3349.44 c #Conflicts: 1303000 | #Constraints: 86850
3340.41/3349.44 c #Conflicts: 1304000 | #Constraints: 87850
3340.41/3349.44 c #Conflicts: 1305000 | #Constraints: 88850
3340.41/3349.44 c INPROCESSING
3340.41/3349.44 c GARBAGE COLLECT
3340.41/3349.44 c rational objective 133
3589.74/3599.42 c #Conflicts: 1306000 | #Constraints: 59281
3589.74/3599.42 c #Conflicts: 1307000 | #Constraints: 60281
3589.74/3599.42 c #Conflicts: 1308000 | #Constraints: 61281
3589.74/3599.42 c #Conflicts: 1309000 | #Constraints: 62281
3589.74/3599.42 c #Conflicts: 1310000 | #Constraints: 63281
3589.74/3599.42 c #Conflicts: 1311000 | #Constraints: 64281
3589.74/3599.42 c #Conflicts: 1312000 | #Constraints: 65281
3589.74/3599.42 c #Conflicts: 1313000 | #Constraints: 66281
3589.74/3599.42 c #Conflicts: 1314000 | #Constraints: 67281
3589.74/3599.42 c #Conflicts: 1315000 | #Constraints: 68281
3589.74/3599.42 c #Conflicts: 1316000 | #Constraints: 69281
3589.74/3599.42 c #Conflicts: 1317000 | #Constraints: 70281
3589.74/3599.42 c #Conflicts: 1318000 | #Constraints: 71281
3589.74/3599.42 c #Conflicts: 1319000 | #Constraints: 72281
3589.74/3599.42 c #Conflicts: 1320000 | #Constraints: 73281
3589.74/3599.42 c #Conflicts: 1321000 | #Constraints: 74281
3589.74/3599.42 c #Conflicts: 1322000 | #Constraints: 75281
3589.74/3599.42 c #Conflicts: 1323000 | #Constraints: 76281
3589.74/3599.42 c #Conflicts: 1324000 | #Constraints: 77281
3589.74/3599.42 c #Conflicts: 1325000 | #Constraints: 78281
3589.74/3599.42 c #Conflicts: 1326000 | #Constraints: 79281
3589.74/3599.42 c #Conflicts: 1327000 | #Constraints: 80281
3589.74/3599.42 c #Conflicts: 1328000 | #Constraints: 81281
3589.74/3599.42 c #Conflicts: 1329000 | #Constraints: 82281
3589.74/3599.42 c #Conflicts: 1330000 | #Constraints: 83281
3589.74/3599.42 c #Conflicts: 1331000 | #Constraints: 84282
3589.74/3599.42 c #Conflicts: 1332000 | #Constraints: 85282
3589.74/3599.42 c #Conflicts: 1333000 | #Constraints: 86282
3589.74/3599.42 c #Conflicts: 1334000 | #Constraints: 87282
3589.74/3599.42 c #Conflicts: 1335000 | #Constraints: 88282
3589.74/3599.42 c #Conflicts: 1336000 | #Constraints: 89282
3589.74/3599.42 c #Conflicts: 1337000 | #Constraints: 90282
3589.74/3599.42 c #Conflicts: 1338000 | #Constraints: 91282
3589.74/3599.42 c #Conflicts: 1339000 | #Constraints: 92282
3589.74/3599.42 c #Conflicts: 1340000 | #Constraints: 93282
3589.74/3599.42 c #Conflicts: 1341000 | #Constraints: 94282
3589.74/3599.42 c #Conflicts: 1342000 | #Constraints: 95282
3589.74/3599.42 c #Conflicts: 1343000 | #Constraints: 96282
3589.74/3599.42 c #Conflicts: 1344000 | #Constraints: 97282
3589.74/3599.42 c #Conflicts: 1345000 | #Constraints: 98282
3589.74/3599.42 c #Conflicts: 1346000 | #Constraints: 99282
3589.74/3599.42 c #Conflicts: 1347000 | #Constraints: 100282
3589.74/3599.42 c #Conflicts: 1348000 | #Constraints: 101282
3589.74/3599.42 c #Conflicts: 1349000 | #Constraints: 102282
3589.74/3599.42 c #Conflicts: 1350000 | #Constraints: 103282
3589.74/3599.42 c #Conflicts: 1351000 | #Constraints: 104282
3589.74/3599.42 c #Conflicts: 1352000 | #Constraints: 105282
3589.74/3599.42 c #Conflicts: 1353000 | #Constraints: 106282
3589.74/3599.42 c #Conflicts: 1354000 | #Constraints: 107282
3589.74/3599.42 c #Conflicts: 1355000 | #Constraints: 108282
3589.74/3599.42 c #Conflicts: 1356000 | #Constraints: 109282
3589.74/3599.42 c #Conflicts: 1357000 | #Constraints: 110282
3589.74/3599.42 c #Conflicts: 1358000 | #Constraints: 111282
3589.74/3599.42 c #Conflicts: 1359000 | #Constraints: 112282
3589.74/3599.42 c #Conflicts: 1360000 | #Constraints: 113282
3589.74/3599.42 c #Conflicts: 1361000 | #Constraints: 114282
3589.74/3599.42 c #Conflicts: 1362000 | #Constraints: 115282
3589.74/3599.42 c #Conflicts: 1363000 | #Constraints: 116282
3589.74/3599.42 c #Conflicts: 1364000 | #Constraints: 117282
3589.74/3599.42 c #Conflicts: 1365000 | #Constraints: 118282
3589.74/3599.42 c #Conflicts: 1366000 | #Constraints: 119283
3589.74/3599.42 c #Conflicts: 1367000 | #Constraints: 120283
3589.74/3599.42 c #Conflicts: 1368000 | #Constraints: 121283
3589.74/3599.42 c #Conflicts: 1369000 | #Constraints: 122283
3589.74/3599.42 c #Conflicts: 1370000 | #Constraints: 123283
3589.74/3599.42 c #Conflicts: 1371000 | #Constraints: 124283
3589.74/3599.42 c #Conflicts: 1372000 | #Constraints: 125283
3589.74/3599.42 c #Conflicts: 1373000 | #Constraints: 126283
3589.74/3599.42 c #Conflicts: 1374000 | #Constraints: 127283
3589.74/3599.42 c #Conflicts: 1375000 | #Constraints: 128283
3589.74/3599.42 c #Conflicts: 1376000 | #Constraints: 129283
3589.74/3599.42 c #Conflicts: 1377000 | #Constraints: 130283
3589.74/3599.42 c #Conflicts: 1378000 | #Constraints: 131283
3589.74/3599.42 c #Conflicts: 1379000 | #Constraints: 132283
3589.74/3599.42 c #Conflicts: 1380000 | #Constraints: 133283
3589.74/3599.42 c #Conflicts: 1381000 | #Constraints: 134283
3589.74/3599.42 c #Conflicts: 1382000 | #Constraints: 135283
3589.74/3599.42 c #Conflicts: 1383000 | #Constraints: 136283
3589.74/3599.42 c #Conflicts: 1384000 | #Constraints: 137283
3600.02/3609.70 c #Conflicts: 1385000 | #Constraints: 138283
3600.02/3609.70 c #Conflicts: 1386000 | #Constraints: 139283
3600.02/3609.70 c cpu time 3579.55 s
3600.02/3609.70 c deterministic time 216283624906 2.16e+11
3600.02/3609.70 c optimization time 255.529 s
3600.02/3609.70 c total solve time 3323.84 s
3600.02/3609.70 c core-guided solve time 0 s
3600.02/3609.70 c propagation time 1664.39 s
3600.02/3609.70 c conflict analysis time 1622.62 s
3600.02/3609.70 c propagations 1395762107
3600.02/3609.70 c resolve steps 104173883
3600.02/3609.70 c decisions 19500014
3600.02/3609.70 c conflicts 1386184
3600.02/3609.70 c restarts 2651
3600.02/3609.70 c inprocessing phases 57
3600.02/3609.70 c garbage collections 57 ,( 100.00 )
3600.02/3609.70 c input clauses 15962 ,( 99.17 )
3600.02/3609.70 c input cardinalities 133 ,( 0.83 )
3600.02/3609.70 c input general constraints 0 ,( 0.00 )
3600.02/3609.70 c input average constraint length 6.43
3600.02/3609.70 c input average constraint degree 1.97
3600.02/3609.70 c learned clauses 1062407 ,( 76.64 )
3600.02/3609.70 c learned cardinalities 36522 ,( 2.63 )
3600.02/3609.70 c learned general constraints 287267 ,( 20.72 )
3600.02/3609.70 c learned average constraint length 773.43
3600.02/3609.70 c learned average constraint degree 26904109.29
3600.02/3609.70 c watched CF 32, 64, 128, Arb: 79868 , 0 , 0 , 0
3600.02/3609.70 c counting CF 32, 64, 128, Arb: 207399 , 0 , 0 , 0
3600.02/3609.70 c watched constraints 79868 ,( 27.80 )
3600.02/3609.70 c counting constraints 207399 ,( 72.20 )
3600.02/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1399232450 , 544427036 , 1936005193 ,( 74463997 , 1861541196 )
3600.02/3609.70 c gcd simplifications 701
3600.02/3609.70 c detected cardinalities 4034
3600.02/3609.70 c weakened non-implied lits 419392047
3600.02/3609.70 c weakened non-implying lits 241195
3600.02/3609.70 c original variables 15827
3600.02/3609.70 c clausal propagations 634973695
3600.02/3609.70 c cardinality propagations 500961843
3600.02/3609.70 c watched propagations 4422196
3600.02/3609.70 c counting propagations 244641084
3600.02/3609.70 c watch lookups 85849009312
3600.02/3609.70 c watch backjump lookups 0
3600.02/3609.70 c watch checks 32853105334
3600.02/3609.70 c propagation checks 89616682360
3600.02/3609.70 c constraint additions 5132639816
3600.02/3609.70 c trail pops 1416635243
3600.02/3609.70 c formula constraints 16095
3600.02/3609.70 c learned constraints 1386178
3600.02/3609.70 c bound constraints 0
3600.02/3609.70 c core-guided constraints 0
3600.02/3609.70 c encountered formula constraints 70600489
3600.02/3609.70 c encountered learned constraints 34959070
3600.02/3609.70 c encountered bound constraints 0
3600.02/3609.70 c encountered core-guided constraints 0
3600.02/3609.70 c LP total time 375.688 s
3600.02/3609.70 c LP solve time 351.16 s
3600.02/3609.70 c LP constraints added 17822
3600.02/3609.70 c LP constraints removed 1318
3600.02/3609.70 c LP pivots internal 150111
3600.02/3609.70 c LP pivots root 140608
3600.02/3609.70 c LP calls 23
3600.02/3609.70 c LP optimalities 12
3600.02/3609.70 c LP no pivot count 1
3600.02/3609.70 c LP infeasibilities 5
3600.02/3609.70 c LP valid Farkas constraints 5
3600.02/3609.70 c LP learned Farkas constraints 5
3600.02/3609.70 c LP basis resets 0
3600.02/3609.70 c LP cycling count 0
3600.02/3609.70 c LP singular count 0
3600.02/3609.70 c LP no primal count 0
3600.02/3609.70 c LP no farkas count 0
3600.02/3609.70 c LP other issue count 0
3600.02/3609.70 c LP Gomory cuts 8
3600.02/3609.70 c LP learned cuts 1719
3600.02/3609.70 c LP deleted cuts 1318
3600.02/3609.70 c LP encountered Gomory constraints 0
3600.02/3609.70 c LP encountered Farkas constraints 482
3600.02/3609.70 c LP encountered learned Farkas constraints 21
3600.02/3609.70 c CG auxiliary variables introduced 0
3600.02/3609.70 c CG solutions found 0
3600.02/3609.70 c CG cores constructed 0
3600.02/3609.70 c CG core cardinality constraints returned 0
3600.02/3609.70 c CG unit cores 0
3600.02/3609.70 c CG single cores 0
3600.02/3609.70 c CG blocks removed during cardinality reduction 0
3600.02/3609.70 c CG first core best 0
3600.02/3609.70 c CG decision core best 0
3600.02/3609.70 c CG core reduction tie 0
3600.02/3609.70 c CG core degree average 0.00
3600.02/3609.70 c CG core slack average 0.00
3600.02/3609.70 c CG core upper bound improvements 0
3600.02/3609.70 c STR number of successful calls 0
3600.02/3609.70 c STR number of unsuccessful calls 0
3600.02/3609.70 c STR number of inconclusive calls 0
3600.02/3609.70 c STR number of successful attempts 0
3600.02/3609.70 c STR number of unsuccessful attempts 0
3600.02/3609.70 c STR number of inconclusive attempts 0
3600.02/3609.70 c STR average degree increase per successful call inf
3600.02/3609.70 c STR average degree increase per successful attempt inf
3600.02/3609.70 c STR total number of conflicts for successful attempts 0
3600.02/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.70 c STR average number of conflicts per successful attempt inf
3600.02/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.70 c AVG.sumWPerc 64.27
3600.02/3609.70 c bigint constraints 0
3600.02/3609.70 s UNKNOWN
3600.02/3609.70 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: 63837 MiB (63332 MiB free)
memory of node 1: 64465 MiB (63957 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506940-1751182246/watcher-4506940-1751182246 -o /tmp/evaluation-result-4506940-1751182246/solver-4506940-1751182246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21365 --watchdog 3760 run-dec.sh HOME/instance-4506940-1751182246.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21420, runsolver pid=21408
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 1.09 1.29 1.77 7/256 21429
/proc/meminfo: memFree=130322720/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=58296 memory=13396 CPUtime=0.08 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 1149 0 0 0 6 2 0 0 20 0 1 0 33903783 59695104 3349 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 14574 3349 1920 1147 0 2001 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62488 KiB
Current children cumulated memory: 16468 KiB
[startup+0.213357 s]*
/proc/loadavg: 1.09 1.29 1.77 7/256 21429
/proc/meminfo: memFree=130313404/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=70588 memory=25180 CPUtime=0.19 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 3988 0 0 0 14 5 0 0 20 0 1 0 33903783 72282112 6295 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 17647 6295 2240 1147 0 5074 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 74780 KiB
Current children cumulated memory: 28252 KiB
[startup+0.313448 s]*
/proc/loadavg: 1.09 1.29 1.77 7/256 21429
/proc/meminfo: memFree=130244792/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=85560 memory=40576 CPUtime=0.29 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 7977 0 0 0 22 7 0 0 20 0 1 0 33903783 87613440 10144 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 21390 10144 2272 1147 0 8817 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 89752 KiB
Current children cumulated memory: 43648 KiB
[startup+0.700361 s]
/proc/loadavg: 1.09 1.29 1.77 7/256 21429
/proc/meminfo: memFree=130189096/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=90700 memory=43904 CPUtime=0.66 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 8855 0 0 0 59 7 0 0 20 0 1 0 33903783 92876800 10976 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 22675 10976 2272 1147 0 10102 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 94892 KiB
Current children cumulated memory: 46976 KiB
[startup+1.50039 s]
/proc/loadavg: 1.09 1.29 1.77 7/256 21429
/proc/meminfo: memFree=130181032/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=91884 memory=45696 CPUtime=1.45 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 9307 0 0 0 137 8 0 0 20 0 1 0 33903783 94089216 11424 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 22971 11424 2272 1147 0 10398 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 96076 KiB
Current children cumulated memory: 48768 KiB
[startup+3.11249 s]
/proc/loadavg: 1.09 1.29 1.77 7/256 21429
/proc/meminfo: memFree=130157980/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=95300 memory=52064 CPUtime=3.07 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 10343 0 0 0 292 15 0 0 20 0 1 0 33903783 97587200 13016 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 23825 13016 2336 1147 0 11252 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 99492 KiB
Current children cumulated memory: 55136 KiB
[startup+6.30036 s]
/proc/loadavg: 1.32 1.33 1.78 7/256 21429
/proc/meminfo: memFree=130133036/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=104900 memory=61152 CPUtime=6.24 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 12614 0 0 0 598 26 0 0 20 0 1 0 33903783 107417600 15288 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 26225 15288 2336 1147 0 13652 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 109092 KiB
Current children cumulated memory: 64224 KiB
[startup+12.7004 s]
/proc/loadavg: 1.54 1.38 1.79 7/256 21429
/proc/meminfo: memFree=130077552/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=111636 memory=67808 CPUtime=12.62 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 14279 0 0 0 1222 40 0 0 20 0 1 0 33903783 114315264 16952 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 27909 16952 2336 1147 0 15336 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 115828 KiB
Current children cumulated memory: 70880 KiB
[startup+25.5004 s]
/proc/loadavg: 1.92 1.46 1.82 7/255 21430
/proc/meminfo: memFree=130004284/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=131948 memory=87224 CPUtime=25.38 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 17087 0 0 0 2476 62 0 0 20 0 1 0 33903783 135114752 21806 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 32987 21806 2336 1147 0 20414 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 136140 KiB
Current children cumulated memory: 90296 KiB
[startup+51.1127 s]
/proc/loadavg: 2.74 1.71 1.89 7/255 21430
/proc/meminfo: memFree=129842872/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=187760 memory=132392 CPUtime=50.93 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 24298 0 0 0 4980 113 0 0 20 0 1 0 33903783 192266240 33098 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 46940 33098 2336 1147 0 34367 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 191952 KiB
Current children cumulated memory: 135464 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.09 2.01 7/255 21432
/proc/meminfo: memFree=129716192/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=207132 memory=156352 CPUtime=101.98 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 29281 0 0 0 10020 178 0 0 20 0 1 0 33903783 212103168 39088 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 51783 39088 2336 1147 0 39210 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 211324 KiB
Current children cumulated memory: 159424 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.46 2.14 7/255 21434
/proc/meminfo: memFree=129545728/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=246580 memory=197868 CPUtime=161.81 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 30944 0 0 0 15972 209 0 0 20 0 1 0 33903783 252497920 49467 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 61645 49467 2368 1147 0 49072 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 250772 KiB
Current children cumulated memory: 200940 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.76 2.27 7/255 21436
/proc/meminfo: memFree=129332964/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=316568 memory=244976 CPUtime=221.65 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 36074 0 0 0 21867 298 0 0 20 0 1 0 33903783 324165632 61244 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 79142 61244 2368 1147 0 66569 0
################
# More data... #
################
/proc/21428/statm: 256475 216065 2432 1147 0 243902 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 1030092 KiB
Current children cumulated memory: 867332 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.04 7/255 21591
/proc/meminfo: memFree=126255068/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=1036124 memory=872452 CPUtime=3153.82 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 104863 0 0 0 313542 1840 0 0 20 0 1 0 33903783 1060990976 218113 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 259031 218113 2432 1147 0 246458 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 1040316 KiB
Current children cumulated memory: 875524 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.04 7/254 21593
/proc/meminfo: memFree=126240900/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=1050056 memory=892804 CPUtime=3213.64 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 107338 0 0 0 319493 1871 0 0 20 0 1 0 33903783 1075257344 223201 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 262514 223201 2432 1147 0 249941 0
Current children cumulated CPU time: 3213.64 s
Current children cumulated vsize: 1054248 KiB
Current children cumulated memory: 895876 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.04 7/255 21598
/proc/meminfo: memFree=126228764/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=1050056 memory=900996 CPUtime=3273.48 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 107452 0 0 0 325450 1898 0 0 20 0 1 0 33903783 1075257344 225249 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 262514 225249 2432 1147 0 249941 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 1054248 KiB
Current children cumulated memory: 904068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.04 7/255 21603
/proc/meminfo: memFree=126210340/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=1051800 memory=902404 CPUtime=3333.33 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 107821 0 0 0 331396 1937 0 0 20 0 1 0 33903783 1077043200 225601 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 262950 225601 2432 1147 0 250377 0
Current children cumulated CPU time: 3333.33 s
Current children cumulated vsize: 1055992 KiB
Current children cumulated memory: 905476 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.04 7/255 21605
/proc/meminfo: memFree=126208812/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=1053856 memory=904708 CPUtime=3393.16 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 108404 0 0 0 337345 1971 0 0 20 0 1 0 33903783 1079148544 226177 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 263464 226177 2432 1147 0 250891 0
Current children cumulated CPU time: 3393.16 s
Current children cumulated vsize: 1058048 KiB
Current children cumulated memory: 907780 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.05 7/255 21607
/proc/meminfo: memFree=126208476/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=1053856 memory=904708 CPUtime=3453.01 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 108496 0 0 0 343310 1991 0 0 20 0 1 0 33903783 1079148544 226177 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 263464 226177 2432 1147 0 250891 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 1058048 KiB
Current children cumulated memory: 907780 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.04 7/255 21609
/proc/meminfo: memFree=126191756/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=1053856 memory=904708 CPUtime=3512.85 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 108530 0 0 0 349272 2013 0 0 20 0 1 0 33903783 1079148544 226177 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 263464 226177 2432 1147 0 250891 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 1058048 KiB
Current children cumulated memory: 907780 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.04 7/254 21611
/proc/meminfo: memFree=126182900/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=1053856 memory=904708 CPUtime=3572.69 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 108555 0 0 0 355233 2036 0 0 20 0 1 0 33903783 1079148544 226177 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 263464 226177 2432 1147 0 250891 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 1058048 KiB
Current children cumulated memory: 907780 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.10 4.09 4.04 7/254 21615
/proc/meminfo: memFree=126183876/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=1057104 memory=906884 CPUtime=3600.02 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 109106 0 0 0 357954 2048 0 0 20 0 1 0 33903783 1082474496 226721 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 264276 226721 2432 1147 0 251703 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1061296 KiB
Current children cumulated memory: 909956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 21420 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001385 s, system=0.004115 s
[startup+3609.71 s]
# the end of solver process 21428 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3579.55 s, system=20.4893 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
[startup+3609.7 s]
/proc/loadavg: 4.10 4.09 4.04 7/254 21615
/proc/meminfo: memFree=126183876/131382120 swapFree=33010684/33010684
[pid=21420] ppid=21408 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21420/stat : 21420 (run-dec.sh) S 21408 21420 21352 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33903782 4292608 768 18446744073709551615 94279065223168 94279066117701 140736068761776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94279066356752 94279066404496 94279095734272 140736068766061 140736068766184 140736068766184 140736068771786 0
/proc/21420/statm: 1048 768 704 219 0 110 0
[pid=21428] ppid=21420 vsize=1057104 memory=906884 CPUtime=3600.02 cores=0,2
/proc/21428/stat : 21428 (roundingsat) R 21420 21420 21352 0 -1 4194304 109106 0 0 0 357954 2048 0 0 20 0 1 0 33903783 1082474496 226721 18446744073709551615 4227072 8923433 140729775177472 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21852160 140729775180215 140729775180328 140729775180328 140729775185898 0
/proc/21428/statm: 264276 226721 2432 1147 0 251703 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1061296 KiB
Current children cumulated memory: 909956 KiB
Child status: 2
Real time (s): 3609.71
CPU time (s): 3600.04
CPU user time (s): 3579.55
CPU system time (s): 20.4893
CPU usage (%): 99.7322
Max. virtual memory (cumulated for all children) (KiB): 1061296
Max. memory (cumulated for all children) (KiB): 909956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.55
system time used= 20.4893
maximum resident set size= 907140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109330
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 302
involuntary context switches= 8005
# summary of solver processes directly reported to runsolver:
# pid: 21420,21428
# total CPU time (s): 3600.04
# total CPU user time (s): 3579.55
# total CPU system time (s): 20.4893
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5089 second user time and 35.6265 second system time
The end
Begin job on nodeC008 at 2025-06-29 09:30:46
IDJOB=4506940
IDBENCH=158309
IDSOLVER=3349
FILE ID=nodeC008/4506940-1751182246
RUNJOBID= nodeC008-1751182246-21365
SLURM_JOB_ID= 9587557
Free space on /tmp= 433056 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K133.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506940-1751182246/watcher-4506940-1751182246 -o /tmp/evaluation-result-4506940-1751182246/solver-4506940-1751182246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21365 --watchdog 3760 run-dec.sh HOME/instance-4506940-1751182246.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9ec822d6c0cd68d217a6cdee070ca11c
RANDOM SEED=423299313
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.088
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.192
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.046
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.099
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.820
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.105
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.229
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.185
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130312380 kB
MemAvailable: 129955612 kB
Buffers: 3280 kB
Cached: 451972 kB
SwapCached: 0 kB
Active: 287040 kB
Inactive: 238712 kB
Active(anon): 88456 kB
Inactive(anon): 0 kB
Active(file): 198584 kB
Inactive(file): 238712 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33704 kB
Writeback: 0 kB
AnonPages: 73568 kB
Mapped: 101960 kB
Shmem: 17956 kB
KReclaimable: 85048 kB
Slab: 163448 kB
SReclaimable: 85048 kB
SUnreclaim: 78400 kB
KernelStack: 3716 kB
PageTables: 2324 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 329812 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC008 at 2025-06-29 10:30:57