0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.07/0.13 c #variables 15827 #constraints 16095
90.03/90.36 c #Conflicts: 1000 | #Constraints: 17094
90.03/90.36 c #Conflicts: 2000 | #Constraints: 18094
90.03/90.36 c INPROCESSING
90.03/90.36 c GARBAGE COLLECT
90.03/90.36 c #Conflicts: 3000 | #Constraints: 17312
90.03/90.36 c #Conflicts: 4000 | #Constraints: 18312
90.03/90.36 c INPROCESSING
90.03/90.36 c GARBAGE COLLECT
90.03/90.36 c #Conflicts: 5000 | #Constraints: 17811
90.03/90.36 c #Conflicts: 6000 | #Constraints: 18811
90.03/90.36 c INPROCESSING
90.03/90.36 c GARBAGE COLLECT
90.03/90.36 c #Conflicts: 7000 | #Constraints: 17894
90.03/90.36 c #Conflicts: 8000 | #Constraints: 18894
90.03/90.36 c #Conflicts: 9000 | #Constraints: 19894
90.03/90.36 c INPROCESSING
90.03/90.36 c GARBAGE COLLECT
90.03/90.36 c #Conflicts: 10000 | #Constraints: 18669
90.03/90.36 c #Conflicts: 11000 | #Constraints: 19669
90.03/90.36 c #Conflicts: 12000 | #Constraints: 20669
90.03/90.36 c INPROCESSING
90.03/90.36 c GARBAGE COLLECT
90.03/90.36 c #Conflicts: 13000 | #Constraints: 19166
90.03/90.36 c #Conflicts: 14000 | #Constraints: 20166
90.03/90.36 c #Conflicts: 15000 | #Constraints: 21166
90.03/90.36 c INPROCESSING
90.03/90.36 c GARBAGE COLLECT
90.03/90.36 c #Conflicts: 16000 | #Constraints: 19445
90.03/90.36 c #Conflicts: 17000 | #Constraints: 20445
90.03/90.36 c #Conflicts: 18000 | #Constraints: 21445
90.03/90.36 c #Conflicts: 19000 | #Constraints: 22445
90.03/90.36 c #Conflicts: 20000 | #Constraints: 23445
90.03/90.36 c #Conflicts: 21000 | #Constraints: 24445
90.03/90.36 c #Conflicts: 22000 | #Constraints: 25445
90.03/90.36 c #Conflicts: 23000 | #Constraints: 26445
90.03/90.36 c #Conflicts: 24000 | #Constraints: 27445
90.03/90.36 c INPROCESSING
90.03/90.36 c GARBAGE COLLECT
90.03/90.36 c #Conflicts: 25000 | #Constraints: 22417
90.03/90.36 c #Conflicts: 26000 | #Constraints: 23417
90.03/90.36 c #Conflicts: 27000 | #Constraints: 24417
90.03/90.36 c #Conflicts: 28000 | #Constraints: 25417
90.03/90.36 c INPROCESSING
90.03/90.36 c GARBAGE COLLECT
90.03/90.36 c #Conflicts: 29000 | #Constraints: 21268
90.03/90.36 c #Conflicts: 30000 | #Constraints: 22268
90.03/90.36 c #Conflicts: 31000 | #Constraints: 23268
90.03/90.36 c #Conflicts: 32000 | #Constraints: 24268
90.03/90.36 c #Conflicts: 33000 | #Constraints: 25268
90.03/90.36 c INPROCESSING
90.03/90.36 c GARBAGE COLLECT
90.03/90.36 c #Conflicts: 34000 | #Constraints: 21498
90.03/90.36 c #Conflicts: 35000 | #Constraints: 22498
90.03/90.36 c #Conflicts: 36000 | #Constraints: 23498
90.03/90.36 c #Conflicts: 37000 | #Constraints: 24498
90.03/90.36 c #Conflicts: 38000 | #Constraints: 25498
90.03/90.36 c #Conflicts: 39000 | #Constraints: 26498
90.03/90.36 c #Conflicts: 40000 | #Constraints: 27498
90.03/90.36 c #Conflicts: 41000 | #Constraints: 28498
90.03/90.36 c #Conflicts: 42000 | #Constraints: 29498
90.03/90.36 c #Conflicts: 43000 | #Constraints: 30498
90.03/90.36 c #Conflicts: 44000 | #Constraints: 31498
90.03/90.36 c #Conflicts: 45000 | #Constraints: 32498
90.03/90.36 c #Conflicts: 46000 | #Constraints: 33498
90.03/90.36 c #Conflicts: 47000 | #Constraints: 34498
90.03/90.36 c INPROCESSING
90.03/90.36 c GARBAGE COLLECT
90.03/90.36 c #Conflicts: 48000 | #Constraints: 26288
90.03/90.36 c #Conflicts: 49000 | #Constraints: 27288
90.03/90.36 c #Conflicts: 50000 | #Constraints: 28288
90.03/90.36 c #Conflicts: 51000 | #Constraints: 29288
90.03/90.36 c #Conflicts: 52000 | #Constraints: 30288
90.03/90.36 c INPROCESSING
90.03/90.36 c GARBAGE COLLECT
90.03/90.36 c #Conflicts: 53000 | #Constraints: 23803
90.03/90.36 c #Conflicts: 54000 | #Constraints: 24803
90.03/90.36 c #Conflicts: 55000 | #Constraints: 25803
90.03/90.36 c #Conflicts: 56000 | #Constraints: 26803
90.03/90.36 c #Conflicts: 57000 | #Constraints: 27803
90.03/90.36 c #Conflicts: 58000 | #Constraints: 28803
90.03/90.36 c INPROCESSING
90.03/90.36 c GARBAGE COLLECT
90.03/90.36 c #Conflicts: 59000 | #Constraints: 23043
90.03/90.36 c #Conflicts: 60000 | #Constraints: 24043
90.03/90.36 c #Conflicts: 61000 | #Constraints: 25043
90.03/90.36 c #Conflicts: 62000 | #Constraints: 26043
90.03/90.36 c #Conflicts: 63000 | #Constraints: 27043
90.03/90.36 c #Conflicts: 64000 | #Constraints: 28043
90.03/90.36 c #Conflicts: 65000 | #Constraints: 29043
90.03/90.36 c #Conflicts: 66000 | #Constraints: 30043
90.03/90.36 c #Conflicts: 67000 | #Constraints: 31043
90.03/90.36 c #Conflicts: 68000 | #Constraints: 32043
90.03/90.36 c #Conflicts: 69000 | #Constraints: 33043
90.03/90.36 c #Conflicts: 70000 | #Constraints: 34043
90.03/90.36 c #Conflicts: 71000 | #Constraints: 35043
90.03/90.36 c #Conflicts: 72000 | #Constraints: 36043
215.86/216.53 c #Conflicts: 73000 | #Constraints: 37043
215.86/216.53 c #Conflicts: 74000 | #Constraints: 38043
215.86/216.53 c #Conflicts: 75000 | #Constraints: 39043
215.86/216.53 c #Conflicts: 76000 | #Constraints: 40043
215.86/216.53 c INPROCESSING
215.86/216.53 c GARBAGE COLLECT
215.86/216.53 c #Conflicts: 77000 | #Constraints: 28761
215.86/216.53 c #Conflicts: 78000 | #Constraints: 29761
215.86/216.53 c #Conflicts: 79000 | #Constraints: 30761
215.86/216.53 c #Conflicts: 80000 | #Constraints: 31761
215.86/216.53 c #Conflicts: 81000 | #Constraints: 32761
215.86/216.53 c #Conflicts: 82000 | #Constraints: 33761
215.86/216.53 c #Conflicts: 83000 | #Constraints: 34761
215.86/216.53 c #Conflicts: 84000 | #Constraints: 35761
215.86/216.53 c INPROCESSING
215.86/216.53 c GARBAGE COLLECT
215.86/216.53 c #Conflicts: 85000 | #Constraints: 27078
215.86/216.53 c #Conflicts: 86000 | #Constraints: 28078
215.86/216.53 c #Conflicts: 87000 | #Constraints: 29078
215.86/216.53 c #Conflicts: 88000 | #Constraints: 30078
215.86/216.53 c #Conflicts: 89000 | #Constraints: 31078
215.86/216.53 c #Conflicts: 90000 | #Constraints: 32078
215.86/216.53 c #Conflicts: 91000 | #Constraints: 33078
215.86/216.53 c INPROCESSING
215.86/216.53 c GARBAGE COLLECT
215.86/216.53 c #Conflicts: 92000 | #Constraints: 25494
215.86/216.53 c #Conflicts: 93000 | #Constraints: 26494
215.86/216.53 c #Conflicts: 94000 | #Constraints: 27494
215.86/216.53 c #Conflicts: 95000 | #Constraints: 28494
215.86/216.53 c #Conflicts: 96000 | #Constraints: 29494
215.86/216.53 c #Conflicts: 97000 | #Constraints: 30494
215.86/216.53 c #Conflicts: 98000 | #Constraints: 31494
215.86/216.53 c #Conflicts: 99000 | #Constraints: 32494
215.86/216.53 c #Conflicts: 100000 | #Constraints: 33494
215.86/216.53 c #Conflicts: 101000 | #Constraints: 34495
215.86/216.53 c #Conflicts: 102000 | #Constraints: 35495
215.86/216.53 c #Conflicts: 103000 | #Constraints: 36495
215.86/216.53 c #Conflicts: 104000 | #Constraints: 37495
215.86/216.53 c #Conflicts: 105000 | #Constraints: 38495
215.86/216.53 c #Conflicts: 106000 | #Constraints: 39495
215.86/216.53 c #Conflicts: 107000 | #Constraints: 40495
215.86/216.53 c #Conflicts: 108000 | #Constraints: 41495
215.86/216.53 c #Conflicts: 109000 | #Constraints: 42495
215.86/216.53 c #Conflicts: 110000 | #Constraints: 43495
215.86/216.53 c #Conflicts: 111000 | #Constraints: 44495
215.86/216.53 c #Conflicts: 112000 | #Constraints: 45495
215.86/216.53 c #Conflicts: 113000 | #Constraints: 46495
215.86/216.53 c INPROCESSING
215.86/216.53 c GARBAGE COLLECT
215.86/216.53 c #Conflicts: 114000 | #Constraints: 32175
215.86/216.53 c #Conflicts: 115000 | #Constraints: 33175
215.86/216.53 c #Conflicts: 116000 | #Constraints: 34175
215.86/216.53 c #Conflicts: 117000 | #Constraints: 35175
215.86/216.53 c #Conflicts: 118000 | #Constraints: 36175
215.86/216.53 c #Conflicts: 119000 | #Constraints: 37175
215.86/216.53 c #Conflicts: 120000 | #Constraints: 38175
215.86/216.53 c #Conflicts: 121000 | #Constraints: 39175
215.86/216.53 c #Conflicts: 122000 | #Constraints: 40175
215.86/216.53 c INPROCESSING
215.86/216.53 c GARBAGE COLLECT
215.86/216.53 c #Conflicts: 123000 | #Constraints: 29022
215.86/216.53 c #Conflicts: 124000 | #Constraints: 30022
215.86/216.53 c #Conflicts: 125000 | #Constraints: 31022
215.86/216.53 c #Conflicts: 126000 | #Constraints: 32022
215.86/216.53 c #Conflicts: 127000 | #Constraints: 33022
215.86/216.53 c #Conflicts: 128000 | #Constraints: 34022
215.86/216.53 c #Conflicts: 129000 | #Constraints: 35022
215.86/216.53 c #Conflicts: 130000 | #Constraints: 36022
215.86/216.53 c #Conflicts: 131000 | #Constraints: 37022
215.86/216.53 c INPROCESSING
215.86/216.53 c GARBAGE COLLECT
215.86/216.53 c #Conflicts: 132000 | #Constraints: 28046
215.86/216.53 c #Conflicts: 133000 | #Constraints: 29046
215.86/216.53 c #Conflicts: 134000 | #Constraints: 30046
215.86/216.53 c #Conflicts: 135000 | #Constraints: 31046
215.86/216.53 c #Conflicts: 136000 | #Constraints: 32046
215.86/216.53 c #Conflicts: 137000 | #Constraints: 33046
215.86/216.53 c #Conflicts: 138000 | #Constraints: 34046
215.86/216.53 c #Conflicts: 139000 | #Constraints: 35046
215.86/216.53 c #Conflicts: 140000 | #Constraints: 36046
215.86/216.53 c #Conflicts: 141000 | #Constraints: 37046
215.86/216.53 c #Conflicts: 142000 | #Constraints: 38046
215.86/216.53 c #Conflicts: 143000 | #Constraints: 39046
215.86/216.53 c #Conflicts: 144000 | #Constraints: 40046
215.86/216.53 c #Conflicts: 145000 | #Constraints: 41046
215.86/216.53 c #Conflicts: 146000 | #Constraints: 42046
215.86/216.53 c #Conflicts: 147000 | #Constraints: 43046
393.10/394.22 c #Conflicts: 148000 | #Constraints: 44046
393.10/394.22 c #Conflicts: 149000 | #Constraints: 45046
393.10/394.22 c #Conflicts: 150000 | #Constraints: 46046
393.10/394.22 c #Conflicts: 151000 | #Constraints: 47046
393.10/394.22 c #Conflicts: 152000 | #Constraints: 48046
393.10/394.22 c #Conflicts: 153000 | #Constraints: 49046
393.10/394.22 c #Conflicts: 154000 | #Constraints: 50046
393.10/394.22 c #Conflicts: 155000 | #Constraints: 51046
393.10/394.22 c #Conflicts: 156000 | #Constraints: 52046
393.10/394.22 c #Conflicts: 157000 | #Constraints: 53046
393.10/394.22 c INPROCESSING
393.10/394.22 c GARBAGE COLLECT
393.10/394.22 c #Conflicts: 158000 | #Constraints: 35461
393.10/394.22 c #Conflicts: 159000 | #Constraints: 36461
393.10/394.22 c #Conflicts: 160000 | #Constraints: 37461
393.10/394.22 c #Conflicts: 161000 | #Constraints: 38461
393.10/394.22 c #Conflicts: 162000 | #Constraints: 39461
393.10/394.22 c #Conflicts: 163000 | #Constraints: 40461
393.10/394.22 c #Conflicts: 164000 | #Constraints: 41461
393.10/394.22 c #Conflicts: 165000 | #Constraints: 42461
393.10/394.22 c #Conflicts: 166000 | #Constraints: 43461
393.10/394.22 c #Conflicts: 167000 | #Constraints: 44461
393.10/394.22 c #Conflicts: 168000 | #Constraints: 45461
393.10/394.22 c INPROCESSING
393.10/394.22 c GARBAGE COLLECT
393.10/394.22 c #Conflicts: 169000 | #Constraints: 32006
393.10/394.22 c #Conflicts: 170000 | #Constraints: 33006
393.10/394.22 c #Conflicts: 171000 | #Constraints: 34006
393.10/394.22 c #Conflicts: 172000 | #Constraints: 35006
393.10/394.22 c #Conflicts: 173000 | #Constraints: 36006
393.10/394.22 c #Conflicts: 174000 | #Constraints: 37006
393.10/394.22 c #Conflicts: 175000 | #Constraints: 38006
393.10/394.22 c #Conflicts: 176000 | #Constraints: 39006
393.10/394.22 c #Conflicts: 177000 | #Constraints: 40006
393.10/394.22 c #Conflicts: 178000 | #Constraints: 41006
393.10/394.22 c INPROCESSING
393.10/394.22 c GARBAGE COLLECT
393.10/394.22 c #Conflicts: 179000 | #Constraints: 30530
393.10/394.22 c #Conflicts: 180000 | #Constraints: 31530
393.10/394.22 c #Conflicts: 181000 | #Constraints: 32530
393.10/394.22 c #Conflicts: 182000 | #Constraints: 33530
393.10/394.22 c #Conflicts: 183000 | #Constraints: 34530
393.10/394.22 c #Conflicts: 184000 | #Constraints: 35530
393.10/394.22 c #Conflicts: 185000 | #Constraints: 36530
393.10/394.22 c #Conflicts: 186000 | #Constraints: 37530
393.10/394.22 c #Conflicts: 187000 | #Constraints: 38530
393.10/394.22 c #Conflicts: 188000 | #Constraints: 39530
393.10/394.22 c #Conflicts: 189000 | #Constraints: 40530
393.10/394.22 c #Conflicts: 190000 | #Constraints: 41530
393.10/394.22 c #Conflicts: 191000 | #Constraints: 42530
393.10/394.22 c #Conflicts: 192000 | #Constraints: 43530
393.10/394.22 c #Conflicts: 193000 | #Constraints: 44530
393.10/394.22 c #Conflicts: 194000 | #Constraints: 45530
393.10/394.22 c #Conflicts: 195000 | #Constraints: 46530
393.10/394.22 c #Conflicts: 196000 | #Constraints: 47530
393.10/394.22 c #Conflicts: 197000 | #Constraints: 48530
393.10/394.22 c #Conflicts: 198000 | #Constraints: 49530
393.10/394.22 c #Conflicts: 199000 | #Constraints: 50530
393.10/394.22 c #Conflicts: 200000 | #Constraints: 51530
393.10/394.22 c #Conflicts: 201000 | #Constraints: 52530
393.10/394.22 c #Conflicts: 202000 | #Constraints: 53530
393.10/394.22 c #Conflicts: 203000 | #Constraints: 54530
393.10/394.22 c #Conflicts: 204000 | #Constraints: 55530
393.10/394.22 c #Conflicts: 205000 | #Constraints: 56530
393.10/394.22 c #Conflicts: 206000 | #Constraints: 57530
393.10/394.22 c #Conflicts: 207000 | #Constraints: 58530
393.10/394.22 c #Conflicts: 208000 | #Constraints: 59530
393.10/394.22 c #Conflicts: 209000 | #Constraints: 60530
393.10/394.22 c INPROCESSING
393.10/394.22 c GARBAGE COLLECT
393.10/394.22 c #Conflicts: 210000 | #Constraints: 39661
393.10/394.22 c #Conflicts: 211000 | #Constraints: 40661
393.10/394.22 c #Conflicts: 212000 | #Constraints: 41661
393.10/394.22 c #Conflicts: 213000 | #Constraints: 42661
393.10/394.22 c #Conflicts: 214000 | #Constraints: 43661
393.10/394.22 c #Conflicts: 215000 | #Constraints: 44661
393.10/394.22 c #Conflicts: 216000 | #Constraints: 45661
393.10/394.22 c #Conflicts: 217000 | #Constraints: 46661
393.10/394.22 c #Conflicts: 218000 | #Constraints: 47661
393.10/394.22 c #Conflicts: 219000 | #Constraints: 48661
393.10/394.22 c #Conflicts: 220000 | #Constraints: 49661
393.10/394.22 c INPROCESSING
393.10/394.22 c GARBAGE COLLECT
393.10/394.22 c #Conflicts: 221000 | #Constraints: 33686
393.10/394.22 c #Conflicts: 222000 | #Constraints: 34686
539.87/541.45 c #Conflicts: 223000 | #Constraints: 35686
539.87/541.45 c #Conflicts: 224000 | #Constraints: 36686
539.87/541.45 c #Conflicts: 225000 | #Constraints: 37686
539.87/541.45 c #Conflicts: 226000 | #Constraints: 38686
539.87/541.45 c #Conflicts: 227000 | #Constraints: 39686
539.87/541.45 c #Conflicts: 228000 | #Constraints: 40686
539.87/541.45 c #Conflicts: 229000 | #Constraints: 41686
539.87/541.45 c #Conflicts: 230000 | #Constraints: 42686
539.87/541.45 c #Conflicts: 231000 | #Constraints: 43686
539.87/541.45 c #Conflicts: 232000 | #Constraints: 44686
539.87/541.45 c INPROCESSING
539.87/541.45 c GARBAGE COLLECT
539.87/541.45 c #Conflicts: 233000 | #Constraints: 32070
539.87/541.45 c #Conflicts: 234000 | #Constraints: 33070
539.87/541.45 c #Conflicts: 235000 | #Constraints: 34070
539.87/541.45 c #Conflicts: 236000 | #Constraints: 35070
539.87/541.45 c #Conflicts: 237000 | #Constraints: 36070
539.87/541.45 c #Conflicts: 238000 | #Constraints: 37070
539.87/541.45 c #Conflicts: 239000 | #Constraints: 38070
539.87/541.45 c #Conflicts: 240000 | #Constraints: 39070
539.87/541.45 c #Conflicts: 241000 | #Constraints: 40070
539.87/541.45 c #Conflicts: 242000 | #Constraints: 41070
539.87/541.45 c #Conflicts: 243000 | #Constraints: 42070
539.87/541.45 c #Conflicts: 244000 | #Constraints: 43070
539.87/541.45 c #Conflicts: 245000 | #Constraints: 44070
539.87/541.45 c #Conflicts: 246000 | #Constraints: 45070
539.87/541.45 c #Conflicts: 247000 | #Constraints: 46070
539.87/541.45 c #Conflicts: 248000 | #Constraints: 47070
539.87/541.45 c #Conflicts: 249000 | #Constraints: 48070
539.87/541.45 c #Conflicts: 250000 | #Constraints: 49070
539.87/541.45 c #Conflicts: 251000 | #Constraints: 50070
539.87/541.45 c #Conflicts: 252000 | #Constraints: 51070
539.87/541.45 c #Conflicts: 253000 | #Constraints: 52070
539.87/541.45 c #Conflicts: 254000 | #Constraints: 53070
539.87/541.45 c #Conflicts: 255000 | #Constraints: 54070
539.87/541.45 c #Conflicts: 256000 | #Constraints: 55070
539.87/541.45 c #Conflicts: 257000 | #Constraints: 56070
539.87/541.45 c #Conflicts: 258000 | #Constraints: 57070
539.87/541.45 c #Conflicts: 259000 | #Constraints: 58070
539.87/541.45 c #Conflicts: 260000 | #Constraints: 59070
539.87/541.45 c #Conflicts: 261000 | #Constraints: 60070
539.87/541.45 c #Conflicts: 262000 | #Constraints: 61070
539.87/541.45 c #Conflicts: 263000 | #Constraints: 62070
539.87/541.45 c #Conflicts: 264000 | #Constraints: 63070
539.87/541.45 c #Conflicts: 265000 | #Constraints: 64070
539.87/541.45 c #Conflicts: 266000 | #Constraints: 65070
539.87/541.45 c #Conflicts: 267000 | #Constraints: 66070
539.87/541.45 c INPROCESSING
539.87/541.45 c GARBAGE COLLECT
539.87/541.45 c #Conflicts: 268000 | #Constraints: 42232
539.87/541.45 c #Conflicts: 269000 | #Constraints: 43232
539.87/541.45 c #Conflicts: 270000 | #Constraints: 44232
539.87/541.45 c #Conflicts: 271000 | #Constraints: 45232
539.87/541.45 c #Conflicts: 272000 | #Constraints: 46232
539.87/541.45 c #Conflicts: 273000 | #Constraints: 47232
539.87/541.45 c #Conflicts: 274000 | #Constraints: 48232
539.87/541.45 c #Conflicts: 275000 | #Constraints: 49232
539.87/541.45 c #Conflicts: 276000 | #Constraints: 50232
539.87/541.45 c #Conflicts: 277000 | #Constraints: 51232
539.87/541.45 c #Conflicts: 278000 | #Constraints: 52232
539.87/541.45 c #Conflicts: 279000 | #Constraints: 53232
539.87/541.45 c #Conflicts: 280000 | #Constraints: 54232
539.87/541.45 c INPROCESSING
539.87/541.45 c GARBAGE COLLECT
539.87/541.45 c #Conflicts: 281000 | #Constraints: 36080
539.87/541.45 c #Conflicts: 282000 | #Constraints: 37080
539.87/541.45 c #Conflicts: 283000 | #Constraints: 38080
539.87/541.45 c #Conflicts: 284000 | #Constraints: 39080
539.87/541.45 c #Conflicts: 285000 | #Constraints: 40080
539.87/541.45 c #Conflicts: 286000 | #Constraints: 41080
539.87/541.45 c #Conflicts: 287000 | #Constraints: 42080
539.87/541.45 c #Conflicts: 288000 | #Constraints: 43080
539.87/541.45 c #Conflicts: 289000 | #Constraints: 44080
539.87/541.45 c #Conflicts: 290000 | #Constraints: 45081
539.87/541.45 c #Conflicts: 291000 | #Constraints: 46081
539.87/541.45 c #Conflicts: 292000 | #Constraints: 47081
539.87/541.45 c #Conflicts: 293000 | #Constraints: 48081
539.87/541.45 c #Conflicts: 294000 | #Constraints: 49081
539.87/541.45 c INPROCESSING
539.87/541.45 c GARBAGE COLLECT
539.87/541.45 c #Conflicts: 295000 | #Constraints: 35309
539.87/541.45 c #Conflicts: 296000 | #Constraints: 36309
539.87/541.45 c #Conflicts: 297000 | #Constraints: 37309
539.87/541.45 c #Conflicts: 298000 | #Constraints: 38309
679.47/681.48 c #Conflicts: 299000 | #Constraints: 39309
679.47/681.48 c #Conflicts: 300000 | #Constraints: 40309
679.47/681.48 c #Conflicts: 301000 | #Constraints: 41309
679.47/681.48 c #Conflicts: 302000 | #Constraints: 42309
679.47/681.48 c #Conflicts: 303000 | #Constraints: 43309
679.47/681.48 c #Conflicts: 304000 | #Constraints: 44309
679.47/681.48 c #Conflicts: 305000 | #Constraints: 45309
679.47/681.48 c #Conflicts: 306000 | #Constraints: 46309
679.47/681.48 c #Conflicts: 307000 | #Constraints: 47309
679.47/681.48 c #Conflicts: 308000 | #Constraints: 48309
679.47/681.48 c #Conflicts: 309000 | #Constraints: 49309
679.47/681.48 c #Conflicts: 310000 | #Constraints: 50309
679.47/681.48 c #Conflicts: 311000 | #Constraints: 51309
679.47/681.48 c #Conflicts: 312000 | #Constraints: 52309
679.47/681.48 c #Conflicts: 313000 | #Constraints: 53309
679.47/681.48 c #Conflicts: 314000 | #Constraints: 54309
679.47/681.48 c #Conflicts: 315000 | #Constraints: 55309
679.47/681.48 c #Conflicts: 316000 | #Constraints: 56309
679.47/681.48 c #Conflicts: 317000 | #Constraints: 57309
679.47/681.48 c #Conflicts: 318000 | #Constraints: 58309
679.47/681.48 c #Conflicts: 319000 | #Constraints: 59309
679.47/681.48 c #Conflicts: 320000 | #Constraints: 60309
679.47/681.48 c #Conflicts: 321000 | #Constraints: 61309
679.47/681.48 c #Conflicts: 322000 | #Constraints: 62309
679.47/681.48 c #Conflicts: 323000 | #Constraints: 63309
679.47/681.48 c #Conflicts: 324000 | #Constraints: 64309
679.47/681.48 c #Conflicts: 325000 | #Constraints: 65309
679.47/681.48 c #Conflicts: 326000 | #Constraints: 66309
679.47/681.48 c #Conflicts: 327000 | #Constraints: 67309
679.47/681.48 c #Conflicts: 328000 | #Constraints: 68309
679.47/681.48 c #Conflicts: 329000 | #Constraints: 69309
679.47/681.48 c #Conflicts: 330000 | #Constraints: 70309
679.47/681.48 c #Conflicts: 331000 | #Constraints: 71309
679.47/681.48 c #Conflicts: 332000 | #Constraints: 72309
679.47/681.48 c #Conflicts: 333000 | #Constraints: 73309
679.47/681.48 c INPROCESSING
679.47/681.48 c GARBAGE COLLECT
679.47/681.48 c #Conflicts: 334000 | #Constraints: 45951
679.47/681.48 c #Conflicts: 335000 | #Constraints: 46951
679.47/681.48 c #Conflicts: 336000 | #Constraints: 47951
679.47/681.48 c #Conflicts: 337000 | #Constraints: 48951
679.47/681.48 c #Conflicts: 338000 | #Constraints: 49951
679.47/681.48 c #Conflicts: 339000 | #Constraints: 50951
679.47/681.48 c #Conflicts: 340000 | #Constraints: 51951
679.47/681.48 c #Conflicts: 341000 | #Constraints: 52951
679.47/681.48 c #Conflicts: 342000 | #Constraints: 53951
679.47/681.48 c #Conflicts: 343000 | #Constraints: 54951
679.47/681.48 c #Conflicts: 344000 | #Constraints: 55951
679.47/681.48 c #Conflicts: 345000 | #Constraints: 56951
679.47/681.48 c #Conflicts: 346000 | #Constraints: 57951
679.47/681.48 c #Conflicts: 347000 | #Constraints: 58951
679.47/681.48 c #Conflicts: 348000 | #Constraints: 59951
679.47/681.48 c INPROCESSING
679.47/681.48 c GARBAGE COLLECT
679.47/681.48 c #Conflicts: 349000 | #Constraints: 39424
679.47/681.48 c #Conflicts: 350000 | #Constraints: 40424
679.47/681.48 c #Conflicts: 351000 | #Constraints: 41424
679.47/681.48 c #Conflicts: 352000 | #Constraints: 42424
679.47/681.48 c #Conflicts: 353000 | #Constraints: 43424
679.47/681.48 c #Conflicts: 354000 | #Constraints: 44424
679.47/681.48 c #Conflicts: 355000 | #Constraints: 45424
679.47/681.48 c #Conflicts: 356000 | #Constraints: 46424
679.47/681.48 c #Conflicts: 357000 | #Constraints: 47424
679.47/681.48 c #Conflicts: 358000 | #Constraints: 48424
679.47/681.48 c #Conflicts: 359000 | #Constraints: 49424
679.47/681.48 c #Conflicts: 360000 | #Constraints: 50424
679.47/681.48 c #Conflicts: 361000 | #Constraints: 51424
679.47/681.48 c #Conflicts: 362000 | #Constraints: 52424
679.47/681.48 c #Conflicts: 363000 | #Constraints: 53424
679.47/681.48 c INPROCESSING
679.47/681.48 c GARBAGE COLLECT
679.47/681.48 c #Conflicts: 364000 | #Constraints: 38153
679.47/681.48 c #Conflicts: 365000 | #Constraints: 39153
679.47/681.48 c #Conflicts: 366000 | #Constraints: 40153
679.47/681.48 c #Conflicts: 367000 | #Constraints: 41153
679.47/681.48 c #Conflicts: 368000 | #Constraints: 42153
679.47/681.48 c #Conflicts: 369000 | #Constraints: 43153
679.47/681.48 c #Conflicts: 370000 | #Constraints: 44153
679.47/681.48 c #Conflicts: 371000 | #Constraints: 45153
679.47/681.48 c #Conflicts: 372000 | #Constraints: 46153
679.47/681.48 c #Conflicts: 373000 | #Constraints: 47153
679.47/681.48 c #Conflicts: 374000 | #Constraints: 48153
679.47/681.48 c #Conflicts: 375000 | #Constraints: 49153
834.33/836.74 c #Conflicts: 376000 | #Constraints: 50153
834.33/836.74 c #Conflicts: 377000 | #Constraints: 51153
834.33/836.74 c #Conflicts: 378000 | #Constraints: 52153
834.33/836.74 c #Conflicts: 379000 | #Constraints: 53153
834.33/836.74 c #Conflicts: 380000 | #Constraints: 54153
834.33/836.74 c #Conflicts: 381000 | #Constraints: 55153
834.33/836.74 c #Conflicts: 382000 | #Constraints: 56153
834.33/836.74 c #Conflicts: 383000 | #Constraints: 57153
834.33/836.74 c #Conflicts: 384000 | #Constraints: 58153
834.33/836.74 c #Conflicts: 385000 | #Constraints: 59153
834.33/836.74 c #Conflicts: 386000 | #Constraints: 60153
834.33/836.74 c #Conflicts: 387000 | #Constraints: 61153
834.33/836.74 c #Conflicts: 388000 | #Constraints: 62153
834.33/836.74 c #Conflicts: 389000 | #Constraints: 63153
834.33/836.74 c #Conflicts: 390000 | #Constraints: 64153
834.33/836.74 c #Conflicts: 391000 | #Constraints: 65153
834.33/836.74 c #Conflicts: 392000 | #Constraints: 66153
834.33/836.74 c #Conflicts: 393000 | #Constraints: 67153
834.33/836.74 c #Conflicts: 394000 | #Constraints: 68153
834.33/836.74 c #Conflicts: 395000 | #Constraints: 69153
834.33/836.74 c #Conflicts: 396000 | #Constraints: 70153
834.33/836.74 c #Conflicts: 397000 | #Constraints: 71153
834.33/836.74 c #Conflicts: 398000 | #Constraints: 72153
834.33/836.74 c #Conflicts: 399000 | #Constraints: 73153
834.33/836.74 c #Conflicts: 400000 | #Constraints: 74153
834.33/836.74 c #Conflicts: 401000 | #Constraints: 75153
834.33/836.74 c #Conflicts: 402000 | #Constraints: 76153
834.33/836.74 c #Conflicts: 403000 | #Constraints: 77153
834.33/836.74 c #Conflicts: 404000 | #Constraints: 78153
834.33/836.74 c #Conflicts: 405000 | #Constraints: 79153
834.33/836.74 c #Conflicts: 406000 | #Constraints: 80153
834.33/836.74 c INPROCESSING
834.33/836.74 c GARBAGE COLLECT
834.33/836.74 c #Conflicts: 407000 | #Constraints: 49491
834.33/836.74 c #Conflicts: 408000 | #Constraints: 50491
834.33/836.74 c #Conflicts: 409000 | #Constraints: 51491
834.33/836.74 c #Conflicts: 410000 | #Constraints: 52491
834.33/836.74 c #Conflicts: 411000 | #Constraints: 53491
834.33/836.74 c #Conflicts: 412000 | #Constraints: 54491
834.33/836.74 c #Conflicts: 413000 | #Constraints: 55491
834.33/836.74 c #Conflicts: 414000 | #Constraints: 56491
834.33/836.74 c #Conflicts: 415000 | #Constraints: 57491
834.33/836.74 c #Conflicts: 416000 | #Constraints: 58491
834.33/836.74 c #Conflicts: 417000 | #Constraints: 59491
834.33/836.74 c #Conflicts: 418000 | #Constraints: 60491
834.33/836.74 c #Conflicts: 419000 | #Constraints: 61491
834.33/836.74 c #Conflicts: 420000 | #Constraints: 62491
834.33/836.74 c #Conflicts: 421000 | #Constraints: 63491
834.33/836.74 c #Conflicts: 422000 | #Constraints: 64491
834.33/836.74 c INPROCESSING
834.33/836.74 c GARBAGE COLLECT
834.33/836.74 c #Conflicts: 423000 | #Constraints: 41618
834.33/836.74 c #Conflicts: 424000 | #Constraints: 42618
834.33/836.74 c #Conflicts: 425000 | #Constraints: 43618
834.33/836.74 c #Conflicts: 426000 | #Constraints: 44618
834.33/836.74 c #Conflicts: 427000 | #Constraints: 45618
834.33/836.74 c #Conflicts: 428000 | #Constraints: 46618
834.33/836.74 c #Conflicts: 429000 | #Constraints: 47618
834.33/836.74 c #Conflicts: 430000 | #Constraints: 48618
834.33/836.74 c #Conflicts: 431000 | #Constraints: 49618
834.33/836.74 c #Conflicts: 432000 | #Constraints: 50618
834.33/836.74 c #Conflicts: 433000 | #Constraints: 51618
834.33/836.74 c #Conflicts: 434000 | #Constraints: 52618
834.33/836.74 c #Conflicts: 435000 | #Constraints: 53618
834.33/836.74 c #Conflicts: 436000 | #Constraints: 54618
834.33/836.74 c #Conflicts: 437000 | #Constraints: 55618
834.33/836.74 c #Conflicts: 438000 | #Constraints: 56618
834.33/836.74 c INPROCESSING
834.33/836.74 c GARBAGE COLLECT
834.33/836.74 c #Conflicts: 439000 | #Constraints: 39774
834.33/836.74 c #Conflicts: 440000 | #Constraints: 40774
834.33/836.74 c #Conflicts: 441000 | #Constraints: 41774
834.33/836.74 c #Conflicts: 442000 | #Constraints: 42774
834.33/836.74 c #Conflicts: 443000 | #Constraints: 43774
834.33/836.74 c #Conflicts: 444000 | #Constraints: 44774
834.33/836.74 c #Conflicts: 445000 | #Constraints: 45774
834.33/836.74 c #Conflicts: 446000 | #Constraints: 46774
834.33/836.74 c #Conflicts: 447000 | #Constraints: 47774
834.33/836.74 c #Conflicts: 448000 | #Constraints: 48774
834.33/836.74 c #Conflicts: 449000 | #Constraints: 49774
834.33/836.74 c #Conflicts: 450000 | #Constraints: 50774
834.33/836.74 c #Conflicts: 451000 | #Constraints: 51774
834.33/836.74 c #Conflicts: 452000 | #Constraints: 52774
1058.79/1061.81 c #Conflicts: 453000 | #Constraints: 53774
1058.79/1061.81 c #Conflicts: 454000 | #Constraints: 54774
1058.79/1061.81 c #Conflicts: 455000 | #Constraints: 55774
1058.79/1061.81 c #Conflicts: 456000 | #Constraints: 56774
1058.79/1061.81 c #Conflicts: 457000 | #Constraints: 57774
1058.79/1061.81 c #Conflicts: 458000 | #Constraints: 58774
1058.79/1061.81 c #Conflicts: 459000 | #Constraints: 59774
1058.79/1061.81 c #Conflicts: 460000 | #Constraints: 60774
1058.79/1061.81 c #Conflicts: 461000 | #Constraints: 61774
1058.79/1061.81 c #Conflicts: 462000 | #Constraints: 62774
1058.79/1061.81 c #Conflicts: 463000 | #Constraints: 63774
1058.79/1061.81 c #Conflicts: 464000 | #Constraints: 64774
1058.79/1061.81 c #Conflicts: 465000 | #Constraints: 65774
1058.79/1061.81 c #Conflicts: 466000 | #Constraints: 66774
1058.79/1061.81 c #Conflicts: 467000 | #Constraints: 67774
1058.79/1061.81 c #Conflicts: 468000 | #Constraints: 68774
1058.79/1061.81 c #Conflicts: 469000 | #Constraints: 69774
1058.79/1061.81 c #Conflicts: 470000 | #Constraints: 70774
1058.79/1061.81 c #Conflicts: 471000 | #Constraints: 71774
1058.79/1061.81 c #Conflicts: 472000 | #Constraints: 72774
1058.79/1061.81 c #Conflicts: 473000 | #Constraints: 73774
1058.79/1061.81 c #Conflicts: 474000 | #Constraints: 74774
1058.79/1061.81 c #Conflicts: 475000 | #Constraints: 75774
1058.79/1061.81 c #Conflicts: 476000 | #Constraints: 76774
1058.79/1061.81 c #Conflicts: 477000 | #Constraints: 77774
1058.79/1061.81 c #Conflicts: 478000 | #Constraints: 78774
1058.79/1061.81 c #Conflicts: 479000 | #Constraints: 79774
1058.79/1061.81 c #Conflicts: 480000 | #Constraints: 80774
1058.79/1061.81 c #Conflicts: 481000 | #Constraints: 81774
1058.79/1061.81 c #Conflicts: 482000 | #Constraints: 82774
1058.79/1061.81 c #Conflicts: 483000 | #Constraints: 83774
1058.79/1061.81 c #Conflicts: 484000 | #Constraints: 84774
1058.79/1061.81 c #Conflicts: 485000 | #Constraints: 85774
1058.79/1061.81 c #Conflicts: 486000 | #Constraints: 86774
1058.79/1061.81 c INPROCESSING
1058.79/1061.81 c GARBAGE COLLECT
1058.79/1061.81 c #Conflicts: 487000 | #Constraints: 53074
1058.79/1061.81 c #Conflicts: 488000 | #Constraints: 54074
1058.79/1061.81 c #Conflicts: 489000 | #Constraints: 55074
1058.79/1061.81 c #Conflicts: 490000 | #Constraints: 56074
1058.79/1061.81 c #Conflicts: 491000 | #Constraints: 57074
1058.79/1061.81 c #Conflicts: 492000 | #Constraints: 58074
1058.79/1061.81 c #Conflicts: 493000 | #Constraints: 59074
1058.79/1061.81 c #Conflicts: 494000 | #Constraints: 60074
1058.79/1061.81 c #Conflicts: 495000 | #Constraints: 61074
1058.79/1061.81 c #Conflicts: 496000 | #Constraints: 62074
1058.79/1061.81 c #Conflicts: 497000 | #Constraints: 63074
1058.79/1061.81 c #Conflicts: 498000 | #Constraints: 64074
1058.79/1061.81 c #Conflicts: 499000 | #Constraints: 65074
1058.79/1061.81 c #Conflicts: 500000 | #Constraints: 66074
1058.79/1061.81 c #Conflicts: 501000 | #Constraints: 67074
1058.79/1061.81 c #Conflicts: 502000 | #Constraints: 68074
1058.79/1061.81 c #Conflicts: 503000 | #Constraints: 69074
1058.79/1061.81 c #Conflicts: 504000 | #Constraints: 70074
1058.79/1061.81 c INPROCESSING
1058.79/1061.81 c GARBAGE COLLECT
1058.79/1061.81 c #Conflicts: 505000 | #Constraints: 44650
1058.79/1061.81 c #Conflicts: 506000 | #Constraints: 45650
1058.79/1061.81 c #Conflicts: 507000 | #Constraints: 46650
1058.79/1061.81 c #Conflicts: 508000 | #Constraints: 47650
1058.79/1061.81 c #Conflicts: 509000 | #Constraints: 48650
1058.79/1061.81 c #Conflicts: 510000 | #Constraints: 49650
1058.79/1061.81 c #Conflicts: 511000 | #Constraints: 50650
1058.79/1061.81 c #Conflicts: 512000 | #Constraints: 51650
1058.79/1061.81 c #Conflicts: 513000 | #Constraints: 52650
1058.79/1061.81 c #Conflicts: 514000 | #Constraints: 53650
1058.79/1061.81 c #Conflicts: 515000 | #Constraints: 54650
1058.79/1061.81 c #Conflicts: 516000 | #Constraints: 55650
1058.79/1061.81 c #Conflicts: 517000 | #Constraints: 56650
1058.79/1061.81 c #Conflicts: 518000 | #Constraints: 57650
1058.79/1061.81 c #Conflicts: 519000 | #Constraints: 58650
1058.79/1061.81 c #Conflicts: 520000 | #Constraints: 59650
1058.79/1061.81 c #Conflicts: 521000 | #Constraints: 60650
1058.79/1061.81 c #Conflicts: 522000 | #Constraints: 61650
1058.79/1061.81 c INPROCESSING
1058.79/1061.81 c GARBAGE COLLECT
1058.79/1061.81 c #Conflicts: 523000 | #Constraints: 42719
1058.79/1061.81 c #Conflicts: 524000 | #Constraints: 43719
1058.79/1061.81 c #Conflicts: 525000 | #Constraints: 44719
1058.79/1061.81 c #Conflicts: 526000 | #Constraints: 45719
1058.79/1061.81 c #Conflicts: 527000 | #Constraints: 46719
1058.79/1061.81 c #Conflicts: 528000 | #Constraints: 47719
1058.79/1061.81 c #Conflicts: 529000 | #Constraints: 48719
1180.73/1184.16 c #Conflicts: 530000 | #Constraints: 49719
1180.73/1184.16 c #Conflicts: 531000 | #Constraints: 50719
1180.73/1184.16 c #Conflicts: 532000 | #Constraints: 51719
1180.73/1184.16 c #Conflicts: 533000 | #Constraints: 52719
1180.73/1184.16 c #Conflicts: 534000 | #Constraints: 53719
1180.73/1184.16 c #Conflicts: 535000 | #Constraints: 54719
1180.73/1184.16 c #Conflicts: 536000 | #Constraints: 55719
1180.73/1184.16 c #Conflicts: 537000 | #Constraints: 56719
1180.73/1184.16 c #Conflicts: 538000 | #Constraints: 57719
1180.73/1184.16 c #Conflicts: 539000 | #Constraints: 58719
1180.73/1184.16 c #Conflicts: 540000 | #Constraints: 59719
1180.73/1184.16 c #Conflicts: 541000 | #Constraints: 60719
1180.73/1184.16 c #Conflicts: 542000 | #Constraints: 61719
1180.73/1184.16 c #Conflicts: 543000 | #Constraints: 62719
1180.73/1184.16 c #Conflicts: 544000 | #Constraints: 63719
1180.73/1184.16 c #Conflicts: 545000 | #Constraints: 64719
1180.73/1184.16 c #Conflicts: 546000 | #Constraints: 65719
1180.73/1184.16 c #Conflicts: 547000 | #Constraints: 66719
1180.73/1184.16 c #Conflicts: 548000 | #Constraints: 67719
1180.73/1184.16 c #Conflicts: 549000 | #Constraints: 68719
1180.73/1184.16 c #Conflicts: 550000 | #Constraints: 69719
1180.73/1184.16 c #Conflicts: 551000 | #Constraints: 70719
1180.73/1184.16 c #Conflicts: 552000 | #Constraints: 71719
1180.73/1184.16 c #Conflicts: 553000 | #Constraints: 72719
1180.73/1184.16 c #Conflicts: 554000 | #Constraints: 73719
1180.73/1184.16 c #Conflicts: 555000 | #Constraints: 74719
1180.73/1184.16 c #Conflicts: 556000 | #Constraints: 75719
1180.73/1184.16 c #Conflicts: 557000 | #Constraints: 76719
1180.73/1184.16 c #Conflicts: 558000 | #Constraints: 77719
1180.73/1184.16 c #Conflicts: 559000 | #Constraints: 78719
1180.73/1184.16 c #Conflicts: 560000 | #Constraints: 79719
1180.73/1184.16 c #Conflicts: 561000 | #Constraints: 80719
1180.73/1184.16 c #Conflicts: 562000 | #Constraints: 81719
1180.73/1184.16 c #Conflicts: 563000 | #Constraints: 82719
1180.73/1184.16 c #Conflicts: 564000 | #Constraints: 83719
1180.73/1184.16 c #Conflicts: 565000 | #Constraints: 84719
1180.73/1184.16 c #Conflicts: 566000 | #Constraints: 85719
1180.73/1184.16 c #Conflicts: 567000 | #Constraints: 86719
1180.73/1184.16 c #Conflicts: 568000 | #Constraints: 87719
1180.73/1184.16 c #Conflicts: 569000 | #Constraints: 88719
1180.73/1184.16 c #Conflicts: 570000 | #Constraints: 89719
1180.73/1184.16 c #Conflicts: 571000 | #Constraints: 90719
1180.73/1184.16 c #Conflicts: 572000 | #Constraints: 91719
1180.73/1184.16 c #Conflicts: 573000 | #Constraints: 92719
1180.73/1184.16 c INPROCESSING
1180.73/1184.16 c GARBAGE COLLECT
1180.73/1184.16 c rational objective 133
1237.57/1241.11 c #Conflicts: 574000 | #Constraints: 55834
1237.57/1241.11 c #Conflicts: 575000 | #Constraints: 56834
1237.57/1241.11 c #Conflicts: 576000 | #Constraints: 57834
1237.57/1241.11 c #Conflicts: 577000 | #Constraints: 58834
1237.57/1241.11 c #Conflicts: 578000 | #Constraints: 59834
1237.57/1241.11 c #Conflicts: 579000 | #Constraints: 60834
1237.57/1241.11 c #Conflicts: 580000 | #Constraints: 61834
1237.57/1241.11 c #Conflicts: 581000 | #Constraints: 62834
1237.57/1241.11 c #Conflicts: 582000 | #Constraints: 63834
1237.57/1241.11 c #Conflicts: 583000 | #Constraints: 64834
1237.57/1241.11 c #Conflicts: 584000 | #Constraints: 65834
1237.57/1241.11 c #Conflicts: 585000 | #Constraints: 66834
1237.57/1241.11 c #Conflicts: 586000 | #Constraints: 67834
1237.57/1241.11 c #Conflicts: 587000 | #Constraints: 68834
1237.57/1241.11 c #Conflicts: 588000 | #Constraints: 69834
1237.57/1241.11 c #Conflicts: 589000 | #Constraints: 70834
1237.57/1241.11 c #Conflicts: 590000 | #Constraints: 71834
1237.57/1241.11 c #Conflicts: 591000 | #Constraints: 72834
1237.57/1241.11 c #Conflicts: 592000 | #Constraints: 73834
1237.57/1241.11 c INPROCESSING
1237.57/1241.11 c GARBAGE COLLECT
1237.57/1241.11 c rational objective 133
1443.16/1447.34 c #Conflicts: 593000 | #Constraints: 46404
1443.16/1447.34 c #Conflicts: 594000 | #Constraints: 47404
1443.16/1447.34 c #Conflicts: 595000 | #Constraints: 48404
1443.16/1447.34 c #Conflicts: 596000 | #Constraints: 49404
1443.16/1447.34 c #Conflicts: 597000 | #Constraints: 50404
1443.16/1447.34 c #Conflicts: 598000 | #Constraints: 51404
1443.16/1447.34 c #Conflicts: 599000 | #Constraints: 52404
1443.16/1447.34 c #Conflicts: 600000 | #Constraints: 53404
1443.16/1447.34 c #Conflicts: 601000 | #Constraints: 54404
1443.16/1447.34 c #Conflicts: 602000 | #Constraints: 55404
1443.16/1447.34 c #Conflicts: 603000 | #Constraints: 56404
1443.16/1447.34 c #Conflicts: 604000 | #Constraints: 57404
1443.16/1447.34 c #Conflicts: 605000 | #Constraints: 58404
1443.16/1447.34 c #Conflicts: 606000 | #Constraints: 59404
1443.16/1447.34 c #Conflicts: 607000 | #Constraints: 60404
1443.16/1447.34 c #Conflicts: 608000 | #Constraints: 61404
1443.16/1447.34 c #Conflicts: 609000 | #Constraints: 62404
1443.16/1447.34 c #Conflicts: 610000 | #Constraints: 63404
1443.16/1447.34 c #Conflicts: 611000 | #Constraints: 64404
1443.16/1447.34 c #Conflicts: 612000 | #Constraints: 65404
1443.16/1447.34 c INPROCESSING
1443.16/1447.34 c GARBAGE COLLECT
1443.16/1447.34 c #Conflicts: 613000 | #Constraints: 45064
1443.16/1447.34 c #Conflicts: 614000 | #Constraints: 46064
1443.16/1447.34 c #Conflicts: 615000 | #Constraints: 47064
1443.16/1447.34 c #Conflicts: 616000 | #Constraints: 48064
1443.16/1447.34 c #Conflicts: 617000 | #Constraints: 49064
1443.16/1447.34 c #Conflicts: 618000 | #Constraints: 50064
1443.16/1447.34 c #Conflicts: 619000 | #Constraints: 51064
1443.16/1447.34 c #Conflicts: 620000 | #Constraints: 52064
1443.16/1447.34 c #Conflicts: 621000 | #Constraints: 53064
1443.16/1447.34 c #Conflicts: 622000 | #Constraints: 54064
1443.16/1447.34 c #Conflicts: 623000 | #Constraints: 55064
1443.16/1447.34 c #Conflicts: 624000 | #Constraints: 56064
1443.16/1447.34 c #Conflicts: 625000 | #Constraints: 57064
1443.16/1447.34 c #Conflicts: 626000 | #Constraints: 58064
1443.16/1447.34 c #Conflicts: 627000 | #Constraints: 59064
1443.16/1447.34 c #Conflicts: 628000 | #Constraints: 60064
1443.16/1447.34 c #Conflicts: 629000 | #Constraints: 61064
1443.16/1447.34 c #Conflicts: 630000 | #Constraints: 62064
1443.16/1447.34 c #Conflicts: 631000 | #Constraints: 63064
1443.16/1447.34 c #Conflicts: 632000 | #Constraints: 64064
1443.16/1447.34 c #Conflicts: 633000 | #Constraints: 65064
1443.16/1447.34 c #Conflicts: 634000 | #Constraints: 66064
1443.16/1447.34 c #Conflicts: 635000 | #Constraints: 67064
1443.16/1447.34 c #Conflicts: 636000 | #Constraints: 68064
1443.16/1447.34 c #Conflicts: 637000 | #Constraints: 69064
1443.16/1447.34 c #Conflicts: 638000 | #Constraints: 70064
1443.16/1447.34 c #Conflicts: 639000 | #Constraints: 71064
1443.16/1447.34 c #Conflicts: 640000 | #Constraints: 72064
1443.16/1447.34 c #Conflicts: 641000 | #Constraints: 73064
1443.16/1447.34 c #Conflicts: 642000 | #Constraints: 74064
1443.16/1447.34 c #Conflicts: 643000 | #Constraints: 75064
1443.16/1447.34 c #Conflicts: 644000 | #Constraints: 76064
1443.16/1447.34 c #Conflicts: 645000 | #Constraints: 77064
1443.16/1447.34 c #Conflicts: 646000 | #Constraints: 78064
1443.16/1447.34 c #Conflicts: 647000 | #Constraints: 79064
1443.16/1447.34 c #Conflicts: 648000 | #Constraints: 80064
1443.16/1447.34 c #Conflicts: 649000 | #Constraints: 81064
1443.16/1447.34 c #Conflicts: 650000 | #Constraints: 82064
1443.16/1447.34 c #Conflicts: 651000 | #Constraints: 83064
1443.16/1447.34 c #Conflicts: 652000 | #Constraints: 84064
1443.16/1447.34 c #Conflicts: 653000 | #Constraints: 85064
1443.16/1447.34 c #Conflicts: 654000 | #Constraints: 86064
1443.16/1447.34 c #Conflicts: 655000 | #Constraints: 87064
1443.16/1447.34 c #Conflicts: 656000 | #Constraints: 88064
1443.16/1447.34 c #Conflicts: 657000 | #Constraints: 89064
1443.16/1447.34 c #Conflicts: 658000 | #Constraints: 90064
1443.16/1447.34 c #Conflicts: 659000 | #Constraints: 91064
1443.16/1447.34 c #Conflicts: 660000 | #Constraints: 92064
1443.16/1447.34 c #Conflicts: 661000 | #Constraints: 93064
1443.16/1447.34 c #Conflicts: 662000 | #Constraints: 94064
1443.16/1447.34 c #Conflicts: 663000 | #Constraints: 95064
1443.16/1447.34 c #Conflicts: 664000 | #Constraints: 96064
1443.16/1447.34 c #Conflicts: 665000 | #Constraints: 97064
1443.16/1447.34 c #Conflicts: 666000 | #Constraints: 98064
1443.16/1447.34 c #Conflicts: 667000 | #Constraints: 99064
1443.16/1447.34 c #Conflicts: 668000 | #Constraints: 100064
1443.16/1447.34 c INPROCESSING
1443.16/1447.34 c GARBAGE COLLECT
1443.16/1447.34 c rational objective 133
1503.88/1508.26 c #Conflicts: 669000 | #Constraints: 59766
1503.88/1508.26 c #Conflicts: 670000 | #Constraints: 60766
1503.88/1508.26 c #Conflicts: 671000 | #Constraints: 61766
1503.88/1508.26 c #Conflicts: 672000 | #Constraints: 62766
1503.88/1508.26 c #Conflicts: 673000 | #Constraints: 63766
1503.88/1508.26 c #Conflicts: 674000 | #Constraints: 64766
1503.88/1508.26 c #Conflicts: 675000 | #Constraints: 65766
1503.88/1508.26 c #Conflicts: 676000 | #Constraints: 66766
1503.88/1508.26 c #Conflicts: 677000 | #Constraints: 67766
1503.88/1508.26 c #Conflicts: 678000 | #Constraints: 68766
1503.88/1508.26 c #Conflicts: 679000 | #Constraints: 69766
1503.88/1508.26 c #Conflicts: 680000 | #Constraints: 70766
1503.88/1508.26 c #Conflicts: 681000 | #Constraints: 71766
1503.88/1508.26 c #Conflicts: 682000 | #Constraints: 72766
1503.88/1508.26 c #Conflicts: 683000 | #Constraints: 73766
1503.88/1508.26 c #Conflicts: 684000 | #Constraints: 74766
1503.88/1508.26 c #Conflicts: 685000 | #Constraints: 75766
1503.88/1508.26 c #Conflicts: 686000 | #Constraints: 76766
1503.88/1508.26 c #Conflicts: 687000 | #Constraints: 77766
1503.88/1508.26 c #Conflicts: 688000 | #Constraints: 78766
1503.88/1508.26 c INPROCESSING
1503.88/1508.26 c GARBAGE COLLECT
1503.88/1508.26 c rational objective 133
1723.40/1728.39 c #Conflicts: 689000 | #Constraints: 48816
1723.40/1728.39 c #Conflicts: 690000 | #Constraints: 49816
1723.40/1728.39 c #Conflicts: 691000 | #Constraints: 50816
1723.40/1728.39 c #Conflicts: 692000 | #Constraints: 51816
1723.40/1728.39 c #Conflicts: 693000 | #Constraints: 52816
1723.40/1728.39 c #Conflicts: 694000 | #Constraints: 53816
1723.40/1728.39 c #Conflicts: 695000 | #Constraints: 54816
1723.40/1728.39 c #Conflicts: 696000 | #Constraints: 55816
1723.40/1728.39 c #Conflicts: 697000 | #Constraints: 56816
1723.40/1728.39 c #Conflicts: 698000 | #Constraints: 57816
1723.40/1728.39 c #Conflicts: 699000 | #Constraints: 58816
1723.40/1728.39 c #Conflicts: 700000 | #Constraints: 59816
1723.40/1728.39 c #Conflicts: 701000 | #Constraints: 60816
1723.40/1728.39 c #Conflicts: 702000 | #Constraints: 61816
1723.40/1728.39 c #Conflicts: 703000 | #Constraints: 62816
1723.40/1728.39 c #Conflicts: 704000 | #Constraints: 63816
1723.40/1728.39 c #Conflicts: 705000 | #Constraints: 64816
1723.40/1728.39 c #Conflicts: 706000 | #Constraints: 65816
1723.40/1728.39 c #Conflicts: 707000 | #Constraints: 66816
1723.40/1728.39 c #Conflicts: 708000 | #Constraints: 67816
1723.40/1728.39 c #Conflicts: 709000 | #Constraints: 68816
1723.40/1728.39 c INPROCESSING
1723.40/1728.39 c GARBAGE COLLECT
1723.40/1728.39 c #Conflicts: 710000 | #Constraints: 47326
1723.40/1728.39 c #Conflicts: 711000 | #Constraints: 48326
1723.40/1728.39 c #Conflicts: 712000 | #Constraints: 49326
1723.40/1728.39 c #Conflicts: 713000 | #Constraints: 50326
1723.40/1728.39 c #Conflicts: 714000 | #Constraints: 51326
1723.40/1728.39 c #Conflicts: 715000 | #Constraints: 52326
1723.40/1728.39 c #Conflicts: 716000 | #Constraints: 53326
1723.40/1728.39 c #Conflicts: 717000 | #Constraints: 54326
1723.40/1728.39 c #Conflicts: 718000 | #Constraints: 55326
1723.40/1728.39 c #Conflicts: 719000 | #Constraints: 56326
1723.40/1728.39 c #Conflicts: 720000 | #Constraints: 57326
1723.40/1728.39 c #Conflicts: 721000 | #Constraints: 58326
1723.40/1728.39 c #Conflicts: 722000 | #Constraints: 59326
1723.40/1728.39 c #Conflicts: 723000 | #Constraints: 60326
1723.40/1728.39 c #Conflicts: 724000 | #Constraints: 61326
1723.40/1728.39 c #Conflicts: 725000 | #Constraints: 62326
1723.40/1728.39 c #Conflicts: 726000 | #Constraints: 63326
1723.40/1728.39 c #Conflicts: 727000 | #Constraints: 64326
1723.40/1728.39 c #Conflicts: 728000 | #Constraints: 65326
1723.40/1728.39 c #Conflicts: 729000 | #Constraints: 66326
1723.40/1728.39 c #Conflicts: 730000 | #Constraints: 67326
1723.40/1728.39 c #Conflicts: 731000 | #Constraints: 68326
1723.40/1728.39 c #Conflicts: 732000 | #Constraints: 69326
1723.40/1728.39 c #Conflicts: 733000 | #Constraints: 70326
1723.40/1728.39 c #Conflicts: 734000 | #Constraints: 71326
1723.40/1728.39 c #Conflicts: 735000 | #Constraints: 72326
1723.40/1728.39 c #Conflicts: 736000 | #Constraints: 73326
1723.40/1728.39 c #Conflicts: 737000 | #Constraints: 74326
1723.40/1728.39 c #Conflicts: 738000 | #Constraints: 75326
1723.40/1728.39 c #Conflicts: 739000 | #Constraints: 76326
1723.40/1728.39 c #Conflicts: 740000 | #Constraints: 77326
1723.40/1728.39 c #Conflicts: 741000 | #Constraints: 78326
1723.40/1728.39 c #Conflicts: 742000 | #Constraints: 79326
1723.40/1728.39 c #Conflicts: 743000 | #Constraints: 80326
1723.40/1728.39 c #Conflicts: 744000 | #Constraints: 81326
1723.40/1728.39 c #Conflicts: 745000 | #Constraints: 82326
1723.40/1728.39 c #Conflicts: 746000 | #Constraints: 83326
1723.40/1728.39 c #Conflicts: 747000 | #Constraints: 84326
1723.40/1728.39 c #Conflicts: 748000 | #Constraints: 85326
1723.40/1728.39 c #Conflicts: 749000 | #Constraints: 86326
1723.40/1728.39 c #Conflicts: 750000 | #Constraints: 87326
1723.40/1728.39 c #Conflicts: 751000 | #Constraints: 88326
1723.40/1728.39 c #Conflicts: 752000 | #Constraints: 89326
1723.40/1728.39 c #Conflicts: 753000 | #Constraints: 90326
1723.40/1728.39 c #Conflicts: 754000 | #Constraints: 91326
1723.40/1728.39 c #Conflicts: 755000 | #Constraints: 92326
1723.40/1728.39 c #Conflicts: 756000 | #Constraints: 93326
1723.40/1728.39 c #Conflicts: 757000 | #Constraints: 94326
1723.40/1728.39 c #Conflicts: 758000 | #Constraints: 95326
1723.40/1728.39 c #Conflicts: 759000 | #Constraints: 96326
1723.40/1728.39 c #Conflicts: 760000 | #Constraints: 97326
1723.40/1728.39 c #Conflicts: 761000 | #Constraints: 98326
1723.40/1728.39 c #Conflicts: 762000 | #Constraints: 99326
1723.40/1728.39 c #Conflicts: 763000 | #Constraints: 100326
1723.40/1728.39 c #Conflicts: 764000 | #Constraints: 101326
1723.40/1728.39 c #Conflicts: 765000 | #Constraints: 102326
1723.40/1728.39 c #Conflicts: 766000 | #Constraints: 103326
1723.40/1728.39 c #Conflicts: 767000 | #Constraints: 104326
1749.34/1754.39 c #Conflicts: 768000 | #Constraints: 105326
1749.34/1754.39 c #Conflicts: 769000 | #Constraints: 106326
1749.34/1754.39 c INPROCESSING
1749.34/1754.39 c GARBAGE COLLECT
1749.34/1754.39 c rational objective 133
1949.15/1954.67 c #Conflicts: 770000 | #Constraints: 62598
1949.15/1954.67 c #Conflicts: 771000 | #Constraints: 63598
1949.15/1954.67 c #Conflicts: 772000 | #Constraints: 64598
1949.15/1954.67 c #Conflicts: 773000 | #Constraints: 65598
1949.15/1954.67 c #Conflicts: 774000 | #Constraints: 66598
1949.15/1954.67 c #Conflicts: 775000 | #Constraints: 67598
1949.15/1954.67 c #Conflicts: 776000 | #Constraints: 68598
1949.15/1954.67 c #Conflicts: 777000 | #Constraints: 69598
1949.15/1954.67 c #Conflicts: 778000 | #Constraints: 70598
1949.15/1954.67 c #Conflicts: 779000 | #Constraints: 71598
1949.15/1954.67 c #Conflicts: 780000 | #Constraints: 72598
1949.15/1954.67 c #Conflicts: 781000 | #Constraints: 73598
1949.15/1954.67 c #Conflicts: 782000 | #Constraints: 74598
1949.15/1954.67 c #Conflicts: 783000 | #Constraints: 75598
1949.15/1954.67 c #Conflicts: 784000 | #Constraints: 76598
1949.15/1954.67 c #Conflicts: 785000 | #Constraints: 77598
1949.15/1954.67 c #Conflicts: 786000 | #Constraints: 78598
1949.15/1954.67 c #Conflicts: 787000 | #Constraints: 79598
1949.15/1954.67 c #Conflicts: 788000 | #Constraints: 80598
1949.15/1954.67 c #Conflicts: 789000 | #Constraints: 81598
1949.15/1954.67 c #Conflicts: 790000 | #Constraints: 82598
1949.15/1954.67 c #Conflicts: 791000 | #Constraints: 83598
1949.15/1954.67 c #Conflicts: 792000 | #Constraints: 84598
1949.15/1954.67 c INPROCESSING
1949.15/1954.67 c GARBAGE COLLECT
1949.15/1954.67 c #Conflicts: 793000 | #Constraints: 52021
1949.15/1954.67 c #Conflicts: 794000 | #Constraints: 53021
1949.15/1954.67 c #Conflicts: 795000 | #Constraints: 54021
1949.15/1954.67 c #Conflicts: 796000 | #Constraints: 55021
1949.15/1954.67 c #Conflicts: 797000 | #Constraints: 56021
1949.15/1954.67 c #Conflicts: 798000 | #Constraints: 57021
1949.15/1954.67 c #Conflicts: 799000 | #Constraints: 58021
1949.15/1954.67 c #Conflicts: 800000 | #Constraints: 59021
1949.15/1954.67 c #Conflicts: 801000 | #Constraints: 60021
1949.15/1954.67 c #Conflicts: 802000 | #Constraints: 61021
1949.15/1954.67 c #Conflicts: 803000 | #Constraints: 62021
1949.15/1954.67 c #Conflicts: 804000 | #Constraints: 63021
1949.15/1954.67 c #Conflicts: 805000 | #Constraints: 64021
1949.15/1954.67 c #Conflicts: 806000 | #Constraints: 65021
1949.15/1954.67 c #Conflicts: 807000 | #Constraints: 66021
1949.15/1954.67 c #Conflicts: 808000 | #Constraints: 67021
1949.15/1954.67 c #Conflicts: 809000 | #Constraints: 68021
1949.15/1954.67 c #Conflicts: 810000 | #Constraints: 69021
1949.15/1954.67 c #Conflicts: 811000 | #Constraints: 70021
1949.15/1954.67 c #Conflicts: 812000 | #Constraints: 71022
1949.15/1954.67 c #Conflicts: 813000 | #Constraints: 72022
1949.15/1954.67 c #Conflicts: 814000 | #Constraints: 73022
1949.15/1954.67 c INPROCESSING
1949.15/1954.67 c GARBAGE COLLECT
1949.15/1954.67 c #Conflicts: 815000 | #Constraints: 50092
1949.15/1954.67 c #Conflicts: 816000 | #Constraints: 51092
1949.15/1954.67 c #Conflicts: 817000 | #Constraints: 52092
1949.15/1954.67 c #Conflicts: 818000 | #Constraints: 53092
1949.15/1954.67 c #Conflicts: 819000 | #Constraints: 54092
1949.15/1954.67 c #Conflicts: 820000 | #Constraints: 55092
1949.15/1954.67 c #Conflicts: 821000 | #Constraints: 56092
1949.15/1954.67 c #Conflicts: 822000 | #Constraints: 57092
1949.15/1954.67 c #Conflicts: 823000 | #Constraints: 58092
1949.15/1954.67 c #Conflicts: 824000 | #Constraints: 59092
1949.15/1954.67 c #Conflicts: 825000 | #Constraints: 60092
1949.15/1954.67 c #Conflicts: 826000 | #Constraints: 61092
1949.15/1954.67 c #Conflicts: 827000 | #Constraints: 62092
1949.15/1954.67 c #Conflicts: 828000 | #Constraints: 63092
1949.15/1954.67 c #Conflicts: 829000 | #Constraints: 64092
1949.15/1954.67 c #Conflicts: 830000 | #Constraints: 65092
1949.15/1954.67 c #Conflicts: 831000 | #Constraints: 66092
1949.15/1954.67 c #Conflicts: 832000 | #Constraints: 67092
1949.15/1954.67 c #Conflicts: 833000 | #Constraints: 68092
1949.15/1954.67 c #Conflicts: 834000 | #Constraints: 69092
1949.15/1954.67 c #Conflicts: 835000 | #Constraints: 70092
1949.15/1954.67 c #Conflicts: 836000 | #Constraints: 71092
1949.15/1954.67 c #Conflicts: 837000 | #Constraints: 72092
1949.15/1954.67 c #Conflicts: 838000 | #Constraints: 73092
1949.15/1954.67 c #Conflicts: 839000 | #Constraints: 74092
1949.15/1954.67 c #Conflicts: 840000 | #Constraints: 75092
1949.15/1954.67 c #Conflicts: 841000 | #Constraints: 76092
1949.15/1954.67 c #Conflicts: 842000 | #Constraints: 77092
1949.15/1954.67 c #Conflicts: 843000 | #Constraints: 78092
1949.15/1954.67 c #Conflicts: 844000 | #Constraints: 79092
1949.15/1954.67 c #Conflicts: 845000 | #Constraints: 80092
1949.15/1954.67 c #Conflicts: 846000 | #Constraints: 81092
1949.15/1954.67 c #Conflicts: 847000 | #Constraints: 82092
2151.45/2157.47 c #Conflicts: 848000 | #Constraints: 83092
2151.45/2157.47 c #Conflicts: 849000 | #Constraints: 84092
2151.45/2157.47 c #Conflicts: 850000 | #Constraints: 85092
2151.45/2157.47 c #Conflicts: 851000 | #Constraints: 86092
2151.45/2157.47 c #Conflicts: 852000 | #Constraints: 87092
2151.45/2157.47 c #Conflicts: 853000 | #Constraints: 88092
2151.45/2157.47 c #Conflicts: 854000 | #Constraints: 89092
2151.45/2157.47 c #Conflicts: 855000 | #Constraints: 90092
2151.45/2157.47 c #Conflicts: 856000 | #Constraints: 91092
2151.45/2157.47 c #Conflicts: 857000 | #Constraints: 92092
2151.45/2157.47 c #Conflicts: 858000 | #Constraints: 93092
2151.45/2157.47 c #Conflicts: 859000 | #Constraints: 94092
2151.45/2157.47 c #Conflicts: 860000 | #Constraints: 95092
2151.45/2157.47 c #Conflicts: 861000 | #Constraints: 96092
2151.45/2157.47 c #Conflicts: 862000 | #Constraints: 97092
2151.45/2157.47 c #Conflicts: 863000 | #Constraints: 98092
2151.45/2157.47 c #Conflicts: 864000 | #Constraints: 99092
2151.45/2157.47 c #Conflicts: 865000 | #Constraints: 100092
2151.45/2157.47 c #Conflicts: 866000 | #Constraints: 101092
2151.45/2157.47 c #Conflicts: 867000 | #Constraints: 102092
2151.45/2157.47 c #Conflicts: 868000 | #Constraints: 103092
2151.45/2157.47 c #Conflicts: 869000 | #Constraints: 104092
2151.45/2157.47 c #Conflicts: 870000 | #Constraints: 105092
2151.45/2157.47 c #Conflicts: 871000 | #Constraints: 106092
2151.45/2157.47 c #Conflicts: 872000 | #Constraints: 107092
2151.45/2157.47 c #Conflicts: 873000 | #Constraints: 108092
2151.45/2157.47 c #Conflicts: 874000 | #Constraints: 109092
2151.45/2157.47 c #Conflicts: 875000 | #Constraints: 110092
2151.45/2157.47 c #Conflicts: 876000 | #Constraints: 111092
2151.45/2157.47 c #Conflicts: 877000 | #Constraints: 112092
2151.45/2157.47 c #Conflicts: 878000 | #Constraints: 113092
2151.45/2157.47 c INPROCESSING
2151.45/2157.47 c GARBAGE COLLECT
2151.45/2157.47 c #Conflicts: 879000 | #Constraints: 66042
2151.45/2157.47 c #Conflicts: 880000 | #Constraints: 67042
2151.45/2157.47 c #Conflicts: 881000 | #Constraints: 68042
2151.45/2157.47 c #Conflicts: 882000 | #Constraints: 69042
2151.45/2157.47 c #Conflicts: 883000 | #Constraints: 70042
2151.45/2157.47 c #Conflicts: 884000 | #Constraints: 71042
2151.45/2157.47 c #Conflicts: 885000 | #Constraints: 72042
2151.45/2157.47 c #Conflicts: 886000 | #Constraints: 73042
2151.45/2157.47 c #Conflicts: 887000 | #Constraints: 74042
2151.45/2157.47 c #Conflicts: 888000 | #Constraints: 75042
2151.45/2157.47 c #Conflicts: 889000 | #Constraints: 76042
2151.45/2157.47 c #Conflicts: 890000 | #Constraints: 77042
2151.45/2157.47 c #Conflicts: 891000 | #Constraints: 78042
2151.45/2157.47 c #Conflicts: 892000 | #Constraints: 79042
2151.45/2157.47 c #Conflicts: 893000 | #Constraints: 80042
2151.45/2157.47 c #Conflicts: 894000 | #Constraints: 81042
2151.45/2157.47 c #Conflicts: 895000 | #Constraints: 82042
2151.45/2157.47 c #Conflicts: 896000 | #Constraints: 83042
2151.45/2157.47 c #Conflicts: 897000 | #Constraints: 84042
2151.45/2157.47 c #Conflicts: 898000 | #Constraints: 85042
2151.45/2157.47 c #Conflicts: 899000 | #Constraints: 86042
2151.45/2157.47 c #Conflicts: 900000 | #Constraints: 87042
2151.45/2157.47 c #Conflicts: 901000 | #Constraints: 88042
2151.45/2157.47 c #Conflicts: 902000 | #Constraints: 89042
2151.45/2157.47 c INPROCESSING
2151.45/2157.47 c GARBAGE COLLECT
2151.45/2157.47 c #Conflicts: 903000 | #Constraints: 54135
2151.45/2157.47 c #Conflicts: 904000 | #Constraints: 55135
2151.45/2157.47 c #Conflicts: 905000 | #Constraints: 56135
2151.45/2157.47 c #Conflicts: 906000 | #Constraints: 57135
2151.45/2157.47 c #Conflicts: 907000 | #Constraints: 58135
2151.45/2157.47 c #Conflicts: 908000 | #Constraints: 59135
2151.45/2157.47 c #Conflicts: 909000 | #Constraints: 60135
2151.45/2157.47 c #Conflicts: 910000 | #Constraints: 61135
2151.45/2157.47 c #Conflicts: 911000 | #Constraints: 62135
2151.45/2157.47 c #Conflicts: 912000 | #Constraints: 63135
2151.45/2157.47 c #Conflicts: 913000 | #Constraints: 64135
2151.45/2157.47 c #Conflicts: 914000 | #Constraints: 65135
2151.45/2157.47 c #Conflicts: 915000 | #Constraints: 66135
2151.45/2157.47 c #Conflicts: 916000 | #Constraints: 67135
2151.45/2157.47 c #Conflicts: 917000 | #Constraints: 68135
2151.45/2157.47 c #Conflicts: 918000 | #Constraints: 69135
2151.45/2157.47 c #Conflicts: 919000 | #Constraints: 70135
2151.45/2157.47 c #Conflicts: 920000 | #Constraints: 71135
2151.45/2157.47 c #Conflicts: 921000 | #Constraints: 72135
2151.45/2157.47 c #Conflicts: 922000 | #Constraints: 73135
2151.45/2157.47 c #Conflicts: 923000 | #Constraints: 74135
2151.45/2157.47 c #Conflicts: 924000 | #Constraints: 75135
2400.27/2406.82 c #Conflicts: 925000 | #Constraints: 76135
2400.27/2406.82 c #Conflicts: 926000 | #Constraints: 77135
2400.27/2406.82 c INPROCESSING
2400.27/2406.82 c GARBAGE COLLECT
2400.27/2406.82 c #Conflicts: 927000 | #Constraints: 52820
2400.27/2406.82 c #Conflicts: 928000 | #Constraints: 53820
2400.27/2406.82 c #Conflicts: 929000 | #Constraints: 54820
2400.27/2406.82 c #Conflicts: 930000 | #Constraints: 55820
2400.27/2406.82 c #Conflicts: 931000 | #Constraints: 56820
2400.27/2406.82 c #Conflicts: 932000 | #Constraints: 57820
2400.27/2406.82 c #Conflicts: 933000 | #Constraints: 58820
2400.27/2406.82 c #Conflicts: 934000 | #Constraints: 59820
2400.27/2406.82 c #Conflicts: 935000 | #Constraints: 60820
2400.27/2406.82 c #Conflicts: 936000 | #Constraints: 61820
2400.27/2406.82 c #Conflicts: 937000 | #Constraints: 62820
2400.27/2406.82 c #Conflicts: 938000 | #Constraints: 63820
2400.27/2406.82 c #Conflicts: 939000 | #Constraints: 64820
2400.27/2406.82 c #Conflicts: 940000 | #Constraints: 65820
2400.27/2406.82 c #Conflicts: 941000 | #Constraints: 66820
2400.27/2406.82 c #Conflicts: 942000 | #Constraints: 67820
2400.27/2406.82 c #Conflicts: 943000 | #Constraints: 68820
2400.27/2406.82 c #Conflicts: 944000 | #Constraints: 69820
2400.27/2406.82 c #Conflicts: 945000 | #Constraints: 70820
2400.27/2406.82 c #Conflicts: 946000 | #Constraints: 71820
2400.27/2406.82 c #Conflicts: 947000 | #Constraints: 72820
2400.27/2406.82 c #Conflicts: 948000 | #Constraints: 73820
2400.27/2406.82 c #Conflicts: 949000 | #Constraints: 74820
2400.27/2406.82 c #Conflicts: 950000 | #Constraints: 75820
2400.27/2406.82 c #Conflicts: 951000 | #Constraints: 76820
2400.27/2406.82 c #Conflicts: 952000 | #Constraints: 77820
2400.27/2406.82 c #Conflicts: 953000 | #Constraints: 78820
2400.27/2406.82 c #Conflicts: 954000 | #Constraints: 79820
2400.27/2406.82 c #Conflicts: 955000 | #Constraints: 80820
2400.27/2406.82 c #Conflicts: 956000 | #Constraints: 81820
2400.27/2406.82 c #Conflicts: 957000 | #Constraints: 82820
2400.27/2406.82 c #Conflicts: 958000 | #Constraints: 83820
2400.27/2406.82 c #Conflicts: 959000 | #Constraints: 84820
2400.27/2406.82 c #Conflicts: 960000 | #Constraints: 85820
2400.27/2406.82 c #Conflicts: 961000 | #Constraints: 86820
2400.27/2406.82 c #Conflicts: 962000 | #Constraints: 87820
2400.27/2406.82 c #Conflicts: 963000 | #Constraints: 88820
2400.27/2406.82 c #Conflicts: 964000 | #Constraints: 89820
2400.27/2406.82 c #Conflicts: 965000 | #Constraints: 90820
2400.27/2406.82 c #Conflicts: 966000 | #Constraints: 91820
2400.27/2406.82 c #Conflicts: 967000 | #Constraints: 92820
2400.27/2406.82 c #Conflicts: 968000 | #Constraints: 93820
2400.27/2406.82 c #Conflicts: 969000 | #Constraints: 94820
2400.27/2406.82 c #Conflicts: 970000 | #Constraints: 95820
2400.27/2406.82 c #Conflicts: 971000 | #Constraints: 96820
2400.27/2406.82 c #Conflicts: 972000 | #Constraints: 97820
2400.27/2406.82 c #Conflicts: 973000 | #Constraints: 98820
2400.27/2406.82 c #Conflicts: 974000 | #Constraints: 99820
2400.27/2406.82 c #Conflicts: 975000 | #Constraints: 100820
2400.27/2406.82 c #Conflicts: 976000 | #Constraints: 101820
2400.27/2406.82 c #Conflicts: 977000 | #Constraints: 102820
2400.27/2406.82 c #Conflicts: 978000 | #Constraints: 103820
2400.27/2406.82 c #Conflicts: 979000 | #Constraints: 104820
2400.27/2406.82 c #Conflicts: 980000 | #Constraints: 105820
2400.27/2406.82 c #Conflicts: 981000 | #Constraints: 106820
2400.27/2406.82 c #Conflicts: 982000 | #Constraints: 107820
2400.27/2406.82 c #Conflicts: 983000 | #Constraints: 108820
2400.27/2406.82 c #Conflicts: 984000 | #Constraints: 109820
2400.27/2406.82 c #Conflicts: 985000 | #Constraints: 110820
2400.27/2406.82 c #Conflicts: 986000 | #Constraints: 111820
2400.27/2406.82 c #Conflicts: 987000 | #Constraints: 112820
2400.27/2406.82 c #Conflicts: 988000 | #Constraints: 113820
2400.27/2406.82 c #Conflicts: 989000 | #Constraints: 114820
2400.27/2406.82 c #Conflicts: 990000 | #Constraints: 115820
2400.27/2406.82 c #Conflicts: 991000 | #Constraints: 116820
2400.27/2406.82 c #Conflicts: 992000 | #Constraints: 117820
2400.27/2406.82 c #Conflicts: 993000 | #Constraints: 118820
2400.27/2406.82 c #Conflicts: 994000 | #Constraints: 119820
2400.27/2406.82 c INPROCESSING
2400.27/2406.82 c GARBAGE COLLECT
2400.27/2406.82 c rational objective 133
2629.34/2636.41 c #Conflicts: 995000 | #Constraints: 69426
2629.34/2636.41 c #Conflicts: 996000 | #Constraints: 70426
2629.34/2636.41 c #Conflicts: 997000 | #Constraints: 71426
2629.34/2636.41 c #Conflicts: 998000 | #Constraints: 72426
2629.34/2636.41 c #Conflicts: 999000 | #Constraints: 73426
2629.34/2636.41 c #Conflicts: 1000000 | #Constraints: 74426
2629.34/2636.41 c #Conflicts: 1001000 | #Constraints: 75426
2629.34/2636.41 c #Conflicts: 1002000 | #Constraints: 76426
2629.34/2636.41 c #Conflicts: 1003000 | #Constraints: 77426
2629.34/2636.41 c #Conflicts: 1004000 | #Constraints: 78426
2629.34/2636.41 c #Conflicts: 1005000 | #Constraints: 79426
2629.34/2636.41 c #Conflicts: 1006000 | #Constraints: 80426
2629.34/2636.41 c #Conflicts: 1007000 | #Constraints: 81426
2629.34/2636.41 c #Conflicts: 1008000 | #Constraints: 82426
2629.34/2636.41 c #Conflicts: 1009000 | #Constraints: 83426
2629.34/2636.41 c #Conflicts: 1010000 | #Constraints: 84426
2629.34/2636.41 c #Conflicts: 1011000 | #Constraints: 85426
2629.34/2636.41 c #Conflicts: 1012000 | #Constraints: 86426
2629.34/2636.41 c #Conflicts: 1013000 | #Constraints: 87426
2629.34/2636.41 c #Conflicts: 1014000 | #Constraints: 88426
2629.34/2636.41 c #Conflicts: 1015000 | #Constraints: 89426
2629.34/2636.41 c #Conflicts: 1016000 | #Constraints: 90426
2629.34/2636.41 c #Conflicts: 1017000 | #Constraints: 91426
2629.34/2636.41 c #Conflicts: 1018000 | #Constraints: 92426
2629.34/2636.41 c #Conflicts: 1019000 | #Constraints: 93426
2629.34/2636.41 c #Conflicts: 1020000 | #Constraints: 94426
2629.34/2636.41 c INPROCESSING
2629.34/2636.41 c GARBAGE COLLECT
2629.34/2636.41 c #Conflicts: 1021000 | #Constraints: 57049
2629.34/2636.41 c #Conflicts: 1022000 | #Constraints: 58049
2629.34/2636.41 c #Conflicts: 1023000 | #Constraints: 59049
2629.34/2636.41 c #Conflicts: 1024000 | #Constraints: 60049
2629.34/2636.41 c #Conflicts: 1025000 | #Constraints: 61049
2629.34/2636.41 c #Conflicts: 1026000 | #Constraints: 62049
2629.34/2636.41 c #Conflicts: 1027000 | #Constraints: 63049
2629.34/2636.41 c #Conflicts: 1028000 | #Constraints: 64049
2629.34/2636.41 c #Conflicts: 1029000 | #Constraints: 65049
2629.34/2636.41 c #Conflicts: 1030000 | #Constraints: 66049
2629.34/2636.41 c #Conflicts: 1031000 | #Constraints: 67049
2629.34/2636.41 c #Conflicts: 1032000 | #Constraints: 68049
2629.34/2636.41 c #Conflicts: 1033000 | #Constraints: 69049
2629.34/2636.41 c #Conflicts: 1034000 | #Constraints: 70049
2629.34/2636.41 c #Conflicts: 1035000 | #Constraints: 71049
2629.34/2636.41 c #Conflicts: 1036000 | #Constraints: 72049
2629.34/2636.41 c #Conflicts: 1037000 | #Constraints: 73049
2629.34/2636.41 c #Conflicts: 1038000 | #Constraints: 74049
2629.34/2636.41 c #Conflicts: 1039000 | #Constraints: 75049
2629.34/2636.41 c #Conflicts: 1040000 | #Constraints: 76049
2629.34/2636.41 c #Conflicts: 1041000 | #Constraints: 77049
2629.34/2636.41 c #Conflicts: 1042000 | #Constraints: 78049
2629.34/2636.41 c #Conflicts: 1043000 | #Constraints: 79049
2629.34/2636.41 c #Conflicts: 1044000 | #Constraints: 80049
2629.34/2636.41 c #Conflicts: 1045000 | #Constraints: 81049
2629.34/2636.41 c INPROCESSING
2629.34/2636.41 c GARBAGE COLLECT
2629.34/2636.41 c #Conflicts: 1046000 | #Constraints: 54362
2629.34/2636.41 c #Conflicts: 1047000 | #Constraints: 55362
2629.34/2636.41 c #Conflicts: 1048000 | #Constraints: 56362
2629.34/2636.41 c #Conflicts: 1049000 | #Constraints: 57362
2629.34/2636.41 c #Conflicts: 1050000 | #Constraints: 58362
2629.34/2636.41 c #Conflicts: 1051000 | #Constraints: 59362
2629.34/2636.41 c #Conflicts: 1052000 | #Constraints: 60362
2629.34/2636.41 c #Conflicts: 1053000 | #Constraints: 61362
2629.34/2636.41 c #Conflicts: 1054000 | #Constraints: 62362
2629.34/2636.41 c #Conflicts: 1055000 | #Constraints: 63362
2629.34/2636.41 c #Conflicts: 1056000 | #Constraints: 64362
2629.34/2636.41 c #Conflicts: 1057000 | #Constraints: 65362
2629.34/2636.41 c #Conflicts: 1058000 | #Constraints: 66362
2629.34/2636.41 c #Conflicts: 1059000 | #Constraints: 67362
2629.34/2636.41 c #Conflicts: 1060000 | #Constraints: 68362
2629.34/2636.41 c #Conflicts: 1061000 | #Constraints: 69362
2629.34/2636.41 c #Conflicts: 1062000 | #Constraints: 70362
2629.34/2636.41 c #Conflicts: 1063000 | #Constraints: 71362
2629.34/2636.41 c #Conflicts: 1064000 | #Constraints: 72362
2629.34/2636.41 c #Conflicts: 1065000 | #Constraints: 73362
2629.34/2636.41 c #Conflicts: 1066000 | #Constraints: 74362
2629.34/2636.41 c #Conflicts: 1067000 | #Constraints: 75362
2629.34/2636.41 c #Conflicts: 1068000 | #Constraints: 76362
2629.34/2636.41 c #Conflicts: 1069000 | #Constraints: 77362
2629.34/2636.41 c #Conflicts: 1070000 | #Constraints: 78362
2629.34/2636.41 c #Conflicts: 1071000 | #Constraints: 79362
2629.34/2636.41 c #Conflicts: 1072000 | #Constraints: 80362
2941.91/2949.76 c #Conflicts: 1073000 | #Constraints: 81362
2941.91/2949.76 c #Conflicts: 1074000 | #Constraints: 82362
2941.91/2949.76 c #Conflicts: 1075000 | #Constraints: 83362
2941.91/2949.76 c #Conflicts: 1076000 | #Constraints: 84362
2941.91/2949.76 c #Conflicts: 1077000 | #Constraints: 85362
2941.91/2949.76 c #Conflicts: 1078000 | #Constraints: 86362
2941.91/2949.76 c #Conflicts: 1079000 | #Constraints: 87362
2941.91/2949.76 c #Conflicts: 1080000 | #Constraints: 88362
2941.91/2949.76 c #Conflicts: 1081000 | #Constraints: 89362
2941.91/2949.76 c #Conflicts: 1082000 | #Constraints: 90362
2941.91/2949.76 c #Conflicts: 1083000 | #Constraints: 91362
2941.91/2949.76 c #Conflicts: 1084000 | #Constraints: 92362
2941.91/2949.76 c #Conflicts: 1085000 | #Constraints: 93362
2941.91/2949.76 c #Conflicts: 1086000 | #Constraints: 94362
2941.91/2949.76 c #Conflicts: 1087000 | #Constraints: 95362
2941.91/2949.76 c #Conflicts: 1088000 | #Constraints: 96362
2941.91/2949.76 c #Conflicts: 1089000 | #Constraints: 97362
2941.91/2949.76 c #Conflicts: 1090000 | #Constraints: 98362
2941.91/2949.76 c #Conflicts: 1091000 | #Constraints: 99362
2941.91/2949.76 c #Conflicts: 1092000 | #Constraints: 100362
2941.91/2949.76 c #Conflicts: 1093000 | #Constraints: 101362
2941.91/2949.76 c #Conflicts: 1094000 | #Constraints: 102362
2941.91/2949.76 c #Conflicts: 1095000 | #Constraints: 103362
2941.91/2949.76 c #Conflicts: 1096000 | #Constraints: 104362
2941.91/2949.76 c #Conflicts: 1097000 | #Constraints: 105362
2941.91/2949.76 c #Conflicts: 1098000 | #Constraints: 106362
2941.91/2949.76 c #Conflicts: 1099000 | #Constraints: 107362
2941.91/2949.76 c #Conflicts: 1100000 | #Constraints: 108362
2941.91/2949.76 c #Conflicts: 1101000 | #Constraints: 109362
2941.91/2949.76 c #Conflicts: 1102000 | #Constraints: 110362
2941.91/2949.76 c #Conflicts: 1103000 | #Constraints: 111362
2941.91/2949.76 c #Conflicts: 1104000 | #Constraints: 112362
2941.91/2949.76 c #Conflicts: 1105000 | #Constraints: 113362
2941.91/2949.76 c #Conflicts: 1106000 | #Constraints: 114362
2941.91/2949.76 c #Conflicts: 1107000 | #Constraints: 115362
2941.91/2949.76 c #Conflicts: 1108000 | #Constraints: 116362
2941.91/2949.76 c #Conflicts: 1109000 | #Constraints: 117362
2941.91/2949.76 c #Conflicts: 1110000 | #Constraints: 118362
2941.91/2949.76 c #Conflicts: 1111000 | #Constraints: 119362
2941.91/2949.76 c #Conflicts: 1112000 | #Constraints: 120362
2941.91/2949.76 c #Conflicts: 1113000 | #Constraints: 121362
2941.91/2949.76 c #Conflicts: 1114000 | #Constraints: 122362
2941.91/2949.76 c #Conflicts: 1115000 | #Constraints: 123362
2941.91/2949.76 c #Conflicts: 1116000 | #Constraints: 124362
2941.91/2949.76 c #Conflicts: 1117000 | #Constraints: 125362
2941.91/2949.76 c #Conflicts: 1118000 | #Constraints: 126362
2941.91/2949.76 c INPROCESSING
2941.91/2949.76 c GARBAGE COLLECT
2941.91/2949.76 c #Conflicts: 1119000 | #Constraints: 72960
2941.91/2949.76 c #Conflicts: 1120000 | #Constraints: 73960
2941.91/2949.76 c #Conflicts: 1121000 | #Constraints: 74960
2941.91/2949.76 c #Conflicts: 1122000 | #Constraints: 75960
2941.91/2949.76 c #Conflicts: 1123000 | #Constraints: 76960
2941.91/2949.76 c #Conflicts: 1124000 | #Constraints: 77960
2941.91/2949.76 c #Conflicts: 1125000 | #Constraints: 78960
2941.91/2949.76 c #Conflicts: 1126000 | #Constraints: 79960
2941.91/2949.76 c #Conflicts: 1127000 | #Constraints: 80960
2941.91/2949.76 c #Conflicts: 1128000 | #Constraints: 81960
2941.91/2949.76 c #Conflicts: 1129000 | #Constraints: 82960
2941.91/2949.76 c #Conflicts: 1130000 | #Constraints: 83960
2941.91/2949.76 c #Conflicts: 1131000 | #Constraints: 84960
2941.91/2949.76 c #Conflicts: 1132000 | #Constraints: 85960
2941.91/2949.76 c #Conflicts: 1133000 | #Constraints: 86960
2941.91/2949.76 c #Conflicts: 1134000 | #Constraints: 87960
2941.91/2949.76 c #Conflicts: 1135000 | #Constraints: 88960
2941.91/2949.76 c #Conflicts: 1136000 | #Constraints: 89960
2941.91/2949.76 c #Conflicts: 1137000 | #Constraints: 90960
2941.91/2949.76 c #Conflicts: 1138000 | #Constraints: 91960
2941.91/2949.76 c #Conflicts: 1139000 | #Constraints: 92960
2941.91/2949.76 c #Conflicts: 1140000 | #Constraints: 93960
2941.91/2949.76 c #Conflicts: 1141000 | #Constraints: 94960
2941.91/2949.76 c #Conflicts: 1142000 | #Constraints: 95960
2941.91/2949.76 c #Conflicts: 1143000 | #Constraints: 96960
2941.91/2949.76 c #Conflicts: 1144000 | #Constraints: 97960
2941.91/2949.76 c INPROCESSING
2941.91/2949.76 c GARBAGE COLLECT
2941.91/2949.76 c rational objective 133
3022.92/3030.95 c #Conflicts: 1145000 | #Constraints: 58538
3022.92/3030.95 c #Conflicts: 1146000 | #Constraints: 59538
3022.92/3030.95 c #Conflicts: 1147000 | #Constraints: 60538
3022.92/3030.95 c #Conflicts: 1148000 | #Constraints: 61538
3022.92/3030.95 c #Conflicts: 1149000 | #Constraints: 62538
3022.92/3030.95 c #Conflicts: 1150000 | #Constraints: 63538
3022.92/3030.95 c #Conflicts: 1151000 | #Constraints: 64538
3022.92/3030.95 c #Conflicts: 1152000 | #Constraints: 65538
3022.92/3030.95 c #Conflicts: 1153000 | #Constraints: 66538
3022.92/3030.95 c #Conflicts: 1154000 | #Constraints: 67538
3022.92/3030.95 c #Conflicts: 1155000 | #Constraints: 68538
3022.92/3030.95 c #Conflicts: 1156000 | #Constraints: 69538
3022.92/3030.95 c #Conflicts: 1157000 | #Constraints: 70538
3022.92/3030.95 c #Conflicts: 1158000 | #Constraints: 71538
3022.92/3030.95 c #Conflicts: 1159000 | #Constraints: 72538
3022.92/3030.95 c #Conflicts: 1160000 | #Constraints: 73538
3022.92/3030.95 c #Conflicts: 1161000 | #Constraints: 74538
3022.92/3030.95 c #Conflicts: 1162000 | #Constraints: 75538
3022.92/3030.95 c #Conflicts: 1163000 | #Constraints: 76538
3022.92/3030.95 c #Conflicts: 1164000 | #Constraints: 77538
3022.92/3030.95 c #Conflicts: 1165000 | #Constraints: 78538
3022.92/3030.95 c #Conflicts: 1166000 | #Constraints: 79538
3022.92/3030.95 c #Conflicts: 1167000 | #Constraints: 80538
3022.92/3030.95 c #Conflicts: 1168000 | #Constraints: 81538
3022.92/3030.95 c #Conflicts: 1169000 | #Constraints: 82538
3022.92/3030.95 c #Conflicts: 1170000 | #Constraints: 83538
3022.92/3030.95 c #Conflicts: 1171000 | #Constraints: 84538
3022.92/3030.95 c INPROCESSING
3022.92/3030.95 c GARBAGE COLLECT
3022.92/3030.95 c rational objective 133
3265.14/3273.73 c #Conflicts: 1172000 | #Constraints: 56123
3265.14/3273.73 c #Conflicts: 1173000 | #Constraints: 57123
3265.14/3273.73 c #Conflicts: 1174000 | #Constraints: 58123
3265.14/3273.73 c #Conflicts: 1175000 | #Constraints: 59123
3265.14/3273.73 c #Conflicts: 1176000 | #Constraints: 60123
3265.14/3273.73 c #Conflicts: 1177000 | #Constraints: 61123
3265.14/3273.73 c #Conflicts: 1178000 | #Constraints: 62123
3265.14/3273.73 c #Conflicts: 1179000 | #Constraints: 63123
3265.14/3273.73 c #Conflicts: 1180000 | #Constraints: 64123
3265.14/3273.73 c #Conflicts: 1181000 | #Constraints: 65123
3265.14/3273.73 c #Conflicts: 1182000 | #Constraints: 66123
3265.14/3273.73 c #Conflicts: 1183000 | #Constraints: 67123
3265.14/3273.73 c #Conflicts: 1184000 | #Constraints: 68123
3265.14/3273.73 c #Conflicts: 1185000 | #Constraints: 69123
3265.14/3273.73 c #Conflicts: 1186000 | #Constraints: 70123
3265.14/3273.73 c #Conflicts: 1187000 | #Constraints: 71123
3265.14/3273.73 c #Conflicts: 1188000 | #Constraints: 72123
3265.14/3273.73 c #Conflicts: 1189000 | #Constraints: 73123
3265.14/3273.73 c #Conflicts: 1190000 | #Constraints: 74123
3265.14/3273.73 c #Conflicts: 1191000 | #Constraints: 75123
3265.14/3273.73 c #Conflicts: 1192000 | #Constraints: 76123
3265.14/3273.73 c #Conflicts: 1193000 | #Constraints: 77123
3265.14/3273.73 c #Conflicts: 1194000 | #Constraints: 78123
3265.14/3273.73 c #Conflicts: 1195000 | #Constraints: 79123
3265.14/3273.73 c #Conflicts: 1196000 | #Constraints: 80123
3265.14/3273.73 c #Conflicts: 1197000 | #Constraints: 81123
3265.14/3273.73 c #Conflicts: 1198000 | #Constraints: 82123
3265.14/3273.73 c #Conflicts: 1199000 | #Constraints: 83123
3265.14/3273.73 c #Conflicts: 1200000 | #Constraints: 84123
3265.14/3273.73 c #Conflicts: 1201000 | #Constraints: 85123
3265.14/3273.73 c #Conflicts: 1202000 | #Constraints: 86123
3265.14/3273.73 c #Conflicts: 1203000 | #Constraints: 87123
3265.14/3273.73 c #Conflicts: 1204000 | #Constraints: 88123
3265.14/3273.73 c #Conflicts: 1205000 | #Constraints: 89123
3265.14/3273.73 c #Conflicts: 1206000 | #Constraints: 90123
3265.14/3273.73 c #Conflicts: 1207000 | #Constraints: 91123
3265.14/3273.73 c #Conflicts: 1208000 | #Constraints: 92123
3265.14/3273.73 c #Conflicts: 1209000 | #Constraints: 93123
3265.14/3273.73 c #Conflicts: 1210000 | #Constraints: 94123
3265.14/3273.73 c #Conflicts: 1211000 | #Constraints: 95123
3265.14/3273.73 c #Conflicts: 1212000 | #Constraints: 96123
3265.14/3273.73 c #Conflicts: 1213000 | #Constraints: 97123
3265.14/3273.73 c #Conflicts: 1214000 | #Constraints: 98123
3265.14/3273.73 c #Conflicts: 1215000 | #Constraints: 99123
3265.14/3273.73 c #Conflicts: 1216000 | #Constraints: 100123
3265.14/3273.73 c #Conflicts: 1217000 | #Constraints: 101123
3265.14/3273.73 c #Conflicts: 1218000 | #Constraints: 102123
3265.14/3273.73 c #Conflicts: 1219000 | #Constraints: 103123
3265.14/3273.73 c #Conflicts: 1220000 | #Constraints: 104123
3265.14/3273.73 c #Conflicts: 1221000 | #Constraints: 105123
3265.14/3273.73 c #Conflicts: 1222000 | #Constraints: 106123
3265.14/3273.73 c #Conflicts: 1223000 | #Constraints: 107123
3265.14/3273.73 c #Conflicts: 1224000 | #Constraints: 108123
3265.14/3273.73 c #Conflicts: 1225000 | #Constraints: 109123
3265.14/3273.73 c #Conflicts: 1226000 | #Constraints: 110123
3265.14/3273.73 c #Conflicts: 1227000 | #Constraints: 111123
3265.14/3273.73 c #Conflicts: 1228000 | #Constraints: 112123
3265.14/3273.73 c #Conflicts: 1229000 | #Constraints: 113123
3265.14/3273.73 c #Conflicts: 1230000 | #Constraints: 114123
3265.14/3273.73 c #Conflicts: 1231000 | #Constraints: 115123
3265.14/3273.73 c #Conflicts: 1232000 | #Constraints: 116123
3265.14/3273.73 c #Conflicts: 1233000 | #Constraints: 117123
3265.14/3273.73 c #Conflicts: 1234000 | #Constraints: 118123
3265.14/3273.73 c #Conflicts: 1235000 | #Constraints: 119123
3265.14/3273.73 c #Conflicts: 1236000 | #Constraints: 120123
3265.14/3273.73 c #Conflicts: 1237000 | #Constraints: 121123
3265.14/3273.73 c #Conflicts: 1238000 | #Constraints: 122123
3265.14/3273.73 c #Conflicts: 1239000 | #Constraints: 123123
3265.14/3273.73 c #Conflicts: 1240000 | #Constraints: 124123
3265.14/3273.73 c #Conflicts: 1241000 | #Constraints: 125123
3265.14/3273.73 c #Conflicts: 1242000 | #Constraints: 126123
3265.14/3273.73 c #Conflicts: 1243000 | #Constraints: 127123
3265.14/3273.73 c #Conflicts: 1244000 | #Constraints: 128123
3265.14/3273.73 c #Conflicts: 1245000 | #Constraints: 129123
3265.14/3273.73 c #Conflicts: 1246000 | #Constraints: 130123
3265.14/3273.73 c #Conflicts: 1247000 | #Constraints: 131123
3265.14/3273.73 c #Conflicts: 1248000 | #Constraints: 132123
3265.14/3273.73 c INPROCESSING
3265.14/3273.73 c GARBAGE COLLECT
3265.14/3273.73 c #Conflicts: 1249000 | #Constraints: 75788
3265.14/3273.73 c #Conflicts: 1250000 | #Constraints: 76788
3417.55/3426.54 c #Conflicts: 1251000 | #Constraints: 77788
3417.55/3426.54 c #Conflicts: 1252000 | #Constraints: 78788
3417.55/3426.54 c #Conflicts: 1253000 | #Constraints: 79788
3417.55/3426.54 c #Conflicts: 1254000 | #Constraints: 80788
3417.55/3426.54 c #Conflicts: 1255000 | #Constraints: 81788
3417.55/3426.54 c #Conflicts: 1256000 | #Constraints: 82788
3417.55/3426.54 c #Conflicts: 1257000 | #Constraints: 83788
3417.55/3426.54 c #Conflicts: 1258000 | #Constraints: 84788
3417.55/3426.54 c #Conflicts: 1259000 | #Constraints: 85788
3417.55/3426.54 c #Conflicts: 1260000 | #Constraints: 86788
3417.55/3426.54 c #Conflicts: 1261000 | #Constraints: 87788
3417.55/3426.54 c #Conflicts: 1262000 | #Constraints: 88788
3417.55/3426.54 c #Conflicts: 1263000 | #Constraints: 89788
3417.55/3426.54 c #Conflicts: 1264000 | #Constraints: 90788
3417.55/3426.54 c #Conflicts: 1265000 | #Constraints: 91788
3417.55/3426.54 c #Conflicts: 1266000 | #Constraints: 92788
3417.55/3426.54 c #Conflicts: 1267000 | #Constraints: 93788
3417.55/3426.54 c #Conflicts: 1268000 | #Constraints: 94788
3417.55/3426.54 c #Conflicts: 1269000 | #Constraints: 95788
3417.55/3426.54 c #Conflicts: 1270000 | #Constraints: 96788
3417.55/3426.54 c #Conflicts: 1271000 | #Constraints: 97788
3417.55/3426.54 c #Conflicts: 1272000 | #Constraints: 98788
3417.55/3426.54 c #Conflicts: 1273000 | #Constraints: 99788
3417.55/3426.54 c #Conflicts: 1274000 | #Constraints: 100788
3417.55/3426.54 c #Conflicts: 1275000 | #Constraints: 101788
3417.55/3426.54 c #Conflicts: 1276000 | #Constraints: 102788
3417.55/3426.54 c INPROCESSING
3417.55/3426.54 c GARBAGE COLLECT
3417.55/3426.54 c #Conflicts: 1277000 | #Constraints: 60850
3417.55/3426.54 c #Conflicts: 1278000 | #Constraints: 61850
3417.55/3426.54 c #Conflicts: 1279000 | #Constraints: 62850
3417.55/3426.54 c #Conflicts: 1280000 | #Constraints: 63850
3417.55/3426.54 c #Conflicts: 1281000 | #Constraints: 64850
3417.55/3426.54 c #Conflicts: 1282000 | #Constraints: 65850
3417.55/3426.54 c #Conflicts: 1283000 | #Constraints: 66850
3417.55/3426.54 c #Conflicts: 1284000 | #Constraints: 67850
3417.55/3426.54 c #Conflicts: 1285000 | #Constraints: 68850
3417.55/3426.54 c #Conflicts: 1286000 | #Constraints: 69850
3417.55/3426.54 c #Conflicts: 1287000 | #Constraints: 70850
3417.55/3426.54 c #Conflicts: 1288000 | #Constraints: 71850
3417.55/3426.54 c #Conflicts: 1289000 | #Constraints: 72850
3417.55/3426.54 c #Conflicts: 1290000 | #Constraints: 73850
3417.55/3426.54 c #Conflicts: 1291000 | #Constraints: 74850
3417.55/3426.54 c #Conflicts: 1292000 | #Constraints: 75850
3417.55/3426.54 c #Conflicts: 1293000 | #Constraints: 76850
3417.55/3426.54 c #Conflicts: 1294000 | #Constraints: 77850
3417.55/3426.54 c #Conflicts: 1295000 | #Constraints: 78850
3417.55/3426.54 c #Conflicts: 1296000 | #Constraints: 79850
3417.55/3426.54 c #Conflicts: 1297000 | #Constraints: 80850
3417.55/3426.54 c #Conflicts: 1298000 | #Constraints: 81850
3417.55/3426.54 c #Conflicts: 1299000 | #Constraints: 82850
3417.55/3426.54 c #Conflicts: 1300000 | #Constraints: 83850
3417.55/3426.54 c #Conflicts: 1301000 | #Constraints: 84850
3417.55/3426.54 c #Conflicts: 1302000 | #Constraints: 85850
3417.55/3426.54 c #Conflicts: 1303000 | #Constraints: 86850
3417.55/3426.54 c #Conflicts: 1304000 | #Constraints: 87850
3417.55/3426.54 c #Conflicts: 1305000 | #Constraints: 88850
3417.55/3426.54 c INPROCESSING
3417.55/3426.54 c GARBAGE COLLECT
3417.55/3426.54 c rational objective 133
3600.02/3609.50 c #Conflicts: 1306000 | #Constraints: 59281
3600.02/3609.50 c #Conflicts: 1307000 | #Constraints: 60281
3600.02/3609.50 c #Conflicts: 1308000 | #Constraints: 61281
3600.02/3609.50 c #Conflicts: 1309000 | #Constraints: 62281
3600.02/3609.50 c #Conflicts: 1310000 | #Constraints: 63281
3600.02/3609.50 c #Conflicts: 1311000 | #Constraints: 64281
3600.02/3609.50 c #Conflicts: 1312000 | #Constraints: 65281
3600.02/3609.50 c #Conflicts: 1313000 | #Constraints: 66281
3600.02/3609.50 c #Conflicts: 1314000 | #Constraints: 67281
3600.02/3609.50 c #Conflicts: 1315000 | #Constraints: 68281
3600.02/3609.50 c #Conflicts: 1316000 | #Constraints: 69281
3600.02/3609.50 c #Conflicts: 1317000 | #Constraints: 70281
3600.02/3609.50 c #Conflicts: 1318000 | #Constraints: 71281
3600.02/3609.50 c #Conflicts: 1319000 | #Constraints: 72281
3600.02/3609.50 c #Conflicts: 1320000 | #Constraints: 73281
3600.02/3609.50 c #Conflicts: 1321000 | #Constraints: 74281
3600.02/3609.50 c #Conflicts: 1322000 | #Constraints: 75281
3600.02/3609.50 c #Conflicts: 1323000 | #Constraints: 76281
3600.02/3609.50 c #Conflicts: 1324000 | #Constraints: 77281
3600.02/3609.50 c #Conflicts: 1325000 | #Constraints: 78281
3600.02/3609.50 c #Conflicts: 1326000 | #Constraints: 79281
3600.02/3609.50 c #Conflicts: 1327000 | #Constraints: 80281
3600.02/3609.50 c #Conflicts: 1328000 | #Constraints: 81281
3600.02/3609.50 c #Conflicts: 1329000 | #Constraints: 82281
3600.02/3609.50 c #Conflicts: 1330000 | #Constraints: 83281
3600.02/3609.50 c #Conflicts: 1331000 | #Constraints: 84282
3600.02/3609.50 c #Conflicts: 1332000 | #Constraints: 85282
3600.02/3609.50 c #Conflicts: 1333000 | #Constraints: 86282
3600.02/3609.50 c #Conflicts: 1334000 | #Constraints: 87282
3600.02/3609.50 c #Conflicts: 1335000 | #Constraints: 88282
3600.02/3609.50 c #Conflicts: 1336000 | #Constraints: 89282
3600.02/3609.50 c #Conflicts: 1337000 | #Constraints: 90282
3600.02/3609.50 c #Conflicts: 1338000 | #Constraints: 91282
3600.02/3609.50 c #Conflicts: 1339000 | #Constraints: 92282
3600.02/3609.50 c #Conflicts: 1340000 | #Constraints: 93282
3600.02/3609.50 c #Conflicts: 1341000 | #Constraints: 94282
3600.02/3609.50 c #Conflicts: 1342000 | #Constraints: 95282
3600.02/3609.50 c #Conflicts: 1343000 | #Constraints: 96282
3600.02/3609.50 c #Conflicts: 1344000 | #Constraints: 97282
3600.02/3609.50 c #Conflicts: 1345000 | #Constraints: 98282
3600.02/3609.50 c #Conflicts: 1346000 | #Constraints: 99282
3600.02/3609.50 c #Conflicts: 1347000 | #Constraints: 100282
3600.02/3609.50 c #Conflicts: 1348000 | #Constraints: 101282
3600.02/3609.50 c #Conflicts: 1349000 | #Constraints: 102282
3600.02/3609.50 c #Conflicts: 1350000 | #Constraints: 103282
3600.02/3609.50 c #Conflicts: 1351000 | #Constraints: 104282
3600.02/3609.50 c #Conflicts: 1352000 | #Constraints: 105282
3600.02/3609.50 c #Conflicts: 1353000 | #Constraints: 106282
3600.02/3609.50 c #Conflicts: 1354000 | #Constraints: 107282
3600.02/3609.50 c #Conflicts: 1355000 | #Constraints: 108282
3600.02/3609.50 c #Conflicts: 1356000 | #Constraints: 109282
3600.02/3609.50 c #Conflicts: 1357000 | #Constraints: 110282
3600.02/3609.50 c #Conflicts: 1358000 | #Constraints: 111282
3600.02/3609.50 c #Conflicts: 1359000 | #Constraints: 112282
3600.02/3609.50 c #Conflicts: 1360000 | #Constraints: 113282
3600.02/3609.50 c #Conflicts: 1361000 | #Constraints: 114282
3600.02/3609.50 c #Conflicts: 1362000 | #Constraints: 115282
3600.02/3609.50 c #Conflicts: 1363000 | #Constraints: 116282
3600.02/3609.50 c #Conflicts: 1364000 | #Constraints: 117282
3600.02/3609.50 c #Conflicts: 1365000 | #Constraints: 118282
3600.02/3609.50 c Disabling crashed LP
3600.02/3609.50 c cpu time 3574.59 s
3600.02/3609.50 c deterministic time 209444762432 2.09e+11
3600.02/3609.50 c optimization time 174.709 s
3600.02/3609.50 c total solve time 3399.79 s
3600.02/3609.50 c core-guided solve time 0 s
3600.02/3609.50 c propagation time 1649.68 s
3600.02/3609.50 c conflict analysis time 1608.76 s
3600.02/3609.50 c propagations 1374297404
3600.02/3609.50 c resolve steps 102723224
3600.02/3609.50 c decisions 19179744
3600.02/3609.50 c conflicts 1365553
3600.02/3609.50 c restarts 2587
3600.02/3609.50 c inprocessing phases 57
3600.02/3609.50 c garbage collections 57 ,( 100.00 )
3600.02/3609.50 c input clauses 15962 ,( 99.17 )
3600.02/3609.50 c input cardinalities 133 ,( 0.83 )
3600.02/3609.50 c input general constraints 0 ,( 0.00 )
3600.02/3609.50 c input average constraint length 6.43
3600.02/3609.50 c input average constraint degree 1.97
3600.02/3609.50 c learned clauses 1046432 ,( 76.63 )
3600.02/3609.50 c learned cardinalities 36251 ,( 2.65 )
3600.02/3609.50 c learned general constraints 282882 ,( 20.72 )
3600.02/3609.50 c learned average constraint length 774.39
3600.02/3609.50 c learned average constraint degree 25529505.40
3600.02/3609.50 c watched CF 32, 64, 128, Arb: 78808 , 0 , 0 , 0
3600.02/3609.50 c counting CF 32, 64, 128, Arb: 204074 , 0 , 0 , 0
3600.02/3609.50 c watched constraints 78808 ,( 27.86 )
3600.02/3609.50 c counting constraints 204074 ,( 72.14 )
3600.02/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1362730433 , 533046554 , 1872566101 ,( 71846265 , 1800719836 )
3600.02/3609.50 c gcd simplifications 688
3600.02/3609.50 c detected cardinalities 4013
3600.02/3609.50 c weakened non-implied lits 412282254
3600.02/3609.50 c weakened non-implying lits 234689
3600.02/3609.50 c original variables 15827
3600.02/3609.50 c clausal propagations 626009960
3600.02/3609.50 c cardinality propagations 493075689
3600.02/3609.50 c watched propagations 4356239
3600.02/3609.50 c counting propagations 240207930
3600.02/3609.50 c watch lookups 81959868083
3600.02/3609.50 c watch backjump lookups 0
3600.02/3609.50 c watch checks 32075781652
3600.02/3609.50 c propagation checks 87562872669
3600.02/3609.50 c constraint additions 5057656429
3600.02/3609.50 c trail pops 1394829287
3600.02/3609.50 c formula constraints 16095
3600.02/3609.50 c learned constraints 1365549
3600.02/3609.50 c bound constraints 0
3600.02/3609.50 c core-guided constraints 0
3600.02/3609.50 c encountered formula constraints 69721604
3600.02/3609.50 c encountered learned constraints 34366728
3600.02/3609.50 c encountered bound constraints 0
3600.02/3609.50 c encountered core-guided constraints 0
3600.02/3609.50 c LP total time 391.208 s
3600.02/3609.50 c LP solve time 337.18 s
3600.02/3609.50 c LP constraints added 17822
3600.02/3609.50 c LP constraints removed 1318
3600.02/3609.50 c LP pivots internal 136555
3600.02/3609.50 c LP pivots root 140608
3600.02/3609.50 c LP calls 22
3600.02/3609.50 c LP optimalities 12
3600.02/3609.50 c LP no pivot count 1
3600.02/3609.50 c LP infeasibilities 4
3600.02/3609.50 c LP valid Farkas constraints 4
3600.02/3609.50 c LP learned Farkas constraints 4
3600.02/3609.50 c LP basis resets 0
3600.02/3609.50 c LP cycling count 0
3600.02/3609.50 c LP singular count 0
3600.02/3609.50 c LP no primal count 0
3600.02/3609.50 c LP no farkas count 0
3600.02/3609.50 c LP other issue count 0
3600.02/3609.50 c LP Gomory cuts 8
3600.02/3609.50 c LP learned cuts 1719
3600.02/3609.50 c LP deleted cuts 1318
3600.02/3609.50 c LP encountered Gomory constraints 0
3600.02/3609.50 c LP encountered Farkas constraints 420
3600.02/3609.50 c LP encountered learned Farkas constraints 21
3600.02/3609.50 c CG auxiliary variables introduced 0
3600.02/3609.50 c CG solutions found 0
3600.02/3609.50 c CG cores constructed 0
3600.02/3609.50 c CG core cardinality constraints returned 0
3600.02/3609.50 c CG unit cores 0
3600.02/3609.50 c CG single cores 0
3600.02/3609.50 c CG blocks removed during cardinality reduction 0
3600.02/3609.50 c CG first core best 0
3600.02/3609.50 c CG decision core best 0
3600.02/3609.50 c CG core reduction tie 0
3600.02/3609.50 c CG core degree average 0.00
3600.02/3609.50 c CG core slack average 0.00
3600.02/3609.50 c CG core upper bound improvements 0
3600.02/3609.50 c STR number of successful calls 0
3600.02/3609.50 c STR number of unsuccessful calls 0
3600.02/3609.50 c STR number of inconclusive calls 0
3600.02/3609.50 c STR number of successful attempts 0
3600.02/3609.50 c STR number of unsuccessful attempts 0
3600.02/3609.50 c STR number of inconclusive attempts 0
3600.02/3609.50 c STR average degree increase per successful call inf
3600.02/3609.50 c STR average degree increase per successful attempt inf
3600.02/3609.50 c STR total number of conflicts for successful attempts 0
3600.02/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.50 c STR average number of conflicts per successful attempt inf
3600.02/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.50 c AVG.sumWPerc 64.23
3600.02/3609.50 c bigint constraints 0
3600.02/3609.50 s UNKNOWN
3600.02/3609.50 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: 63665 MiB (54952 MiB free)
memory of node 1: 64507 MiB (58009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506941-1751176571/watcher-4506941-1751176571 -o /tmp/evaluation-result-4506941-1751176571/solver-4506941-1751176571 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751169346-22496 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506941-1751176571.opb PROOFDIR/proof-4506941-1751176571
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23309, runsolver pid=23305
[startup+0.100064 s]*
/proc/loadavg: 4.11 4.13 4.12 5/272 23320
/proc/meminfo: memFree=115645660/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=65236 memory=21076 CPUtime=0.07 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 3485 0 0 0 6 1 0 0 20 0 1 0 33334892 66801664 5269 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 16309 5269 2240 1147 0 3736 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 69428 KiB
Current children cumulated memory: 24020 KiB
[startup+0.206045 s]*
/proc/loadavg: 4.11 4.13 4.12 5/272 23320
/proc/meminfo: memFree=115604332/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=90972 memory=44096 CPUtime=0.17 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 8927 0 0 0 15 2 0 0 20 0 1 0 33334892 93155328 11024 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 22743 11024 2272 1147 0 10170 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 95164 KiB
Current children cumulated memory: 47040 KiB
[startup+0.305939 s]*
/proc/loadavg: 4.11 4.13 4.12 5/272 23320
/proc/meminfo: memFree=115603576/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=91816 memory=45120 CPUtime=0.27 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 9195 0 0 0 25 2 0 0 20 0 1 0 33334892 94019584 11280 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 22954 11280 2272 1147 0 10381 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 96008 KiB
Current children cumulated memory: 48064 KiB
[startup+0.700203 s]
/proc/loadavg: 4.11 4.13 4.12 5/272 23320
/proc/meminfo: memFree=115594504/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=93000 memory=46784 CPUtime=0.66 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 9601 0 0 0 63 3 0 0 20 0 1 0 33334892 95232000 11696 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 23250 11696 2272 1147 0 10677 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 97192 KiB
Current children cumulated memory: 49728 KiB
[startup+1.50019 s]
/proc/loadavg: 4.11 4.13 4.12 5/272 23320
/proc/meminfo: memFree=115579420/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=94560 memory=48448 CPUtime=1.46 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 9977 0 0 0 142 4 0 0 20 0 1 0 33334892 96829440 12112 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 23640 12112 2304 1147 0 11067 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 98752 KiB
Current children cumulated memory: 51392 KiB
[startup+3.10576 s]
/proc/loadavg: 4.10 4.13 4.12 5/272 23320
/proc/meminfo: memFree=115548920/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=99288 memory=55824 CPUtime=3.06 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 11333 0 0 0 293 13 0 0 20 0 1 0 33334892 101670912 13956 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 24822 13956 2336 1147 0 12249 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 103480 KiB
Current children cumulated memory: 58768 KiB
[startup+6.30018 s]
/proc/loadavg: 4.10 4.13 4.12 5/272 23320
/proc/meminfo: memFree=115516384/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=107288 memory=63504 CPUtime=6.24 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 13255 0 0 0 598 26 0 0 20 0 1 0 33334892 109862912 15876 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 26822 15876 2336 1147 0 14249 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 111480 KiB
Current children cumulated memory: 66448 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.11 5/272 23320
/proc/meminfo: memFree=115460920/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=113936 memory=69776 CPUtime=12.63 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 14844 0 0 0 1224 39 0 0 20 0 1 0 33334892 116670464 17444 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 28484 17444 2336 1147 0 15911 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 118128 KiB
Current children cumulated memory: 72720 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.12 4.11 5/272 23366
/proc/meminfo: memFree=123592036/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=133880 memory=86724 CPUtime=25.4 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 17059 0 0 0 2478 62 0 0 20 0 1 0 33334892 137093120 21681 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 33470 21681 2336 1147 0 20897 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 138072 KiB
Current children cumulated memory: 89668 KiB
[startup+51.1057 s]
/proc/loadavg: 4.11 4.12 4.11 5/272 23367
/proc/meminfo: memFree=123182728/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=190716 memory=135192 CPUtime=50.94 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 24556 0 0 0 4980 114 0 0 20 0 1 0 33334892 195293184 33798 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 47679 33798 2336 1147 0 35106 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 194908 KiB
Current children cumulated memory: 138136 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/272 23369
/proc/meminfo: memFree=122663092/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=209924 memory=157172 CPUtime=102 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 29545 0 0 0 10017 183 0 0 20 0 1 0 33334892 214962176 39293 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 52481 39293 2336 1147 0 39908 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 214116 KiB
Current children cumulated memory: 160116 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/271 23416
/proc/meminfo: memFree=128386928/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=249636 memory=181928 CPUtime=161.82 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 31275 0 0 0 15953 229 0 0 20 0 1 0 33334892 255627264 45482 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 62409 45482 2336 1147 0 49836 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 253828 KiB
Current children cumulated memory: 184872 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.15 4.11 5/275 23422
/proc/meminfo: memFree=127565752/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=318412 memory=249400 CPUtime=221.64 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 36220 0 0 0 21837 327 0 0 20 0 1 0 33334892 326053888 62350 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 79603 62350 2336 1147 0 67030 0
################
# More data... #
################
/proc/23313/statm: 290135 248944 2432 1147 0 277562 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 1164732 KiB
Current children cumulated memory: 998720 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/271 23575
/proc/meminfo: memFree=103509060/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=1160540 memory=995776 CPUtime=3154.01 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 134801 0 0 0 313123 2278 0 0 20 0 1 0 33334892 1188392960 248944 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 290135 248944 2432 1147 0 277562 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 1164732 KiB
Current children cumulated memory: 998720 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.11 4.10 5/271 23577
/proc/meminfo: memFree=103105524/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=1160788 memory=996288 CPUtime=3213.87 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 134930 0 0 0 319080 2307 0 0 20 0 1 0 33334892 1188646912 249072 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 290197 249072 2432 1147 0 277624 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 1164980 KiB
Current children cumulated memory: 999232 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 23579
/proc/meminfo: memFree=102719176/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=1172924 memory=1004224 CPUtime=3273.71 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 136937 0 0 0 325034 2337 0 0 20 0 1 0 33334892 1201074176 251056 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 293231 251056 2432 1147 0 280658 0
Current children cumulated CPU time: 3273.71 s
Current children cumulated vsize: 1177116 KiB
Current children cumulated memory: 1007168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/272 23583
/proc/meminfo: memFree=102317784/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=1172924 memory=1004224 CPUtime=3333.58 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 136937 0 0 0 330985 2373 0 0 20 0 1 0 33334892 1201074176 251056 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 293231 251056 2432 1147 0 280658 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 1177116 KiB
Current children cumulated memory: 1007168 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/272 23585
/proc/meminfo: memFree=101972752/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=1172924 memory=1004736 CPUtime=3393.43 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 137049 0 0 0 336918 2425 0 0 20 0 1 0 33334892 1201074176 251184 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 293231 251184 2432 1147 0 280658 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 1177116 KiB
Current children cumulated memory: 1007680 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 23587
/proc/meminfo: memFree=101551392/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=1183108 memory=1023424 CPUtime=3453.25 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 141722 0 0 0 342855 2470 0 0 20 0 1 0 33334892 1211502592 255856 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 295777 255856 2432 1147 0 283204 0
Current children cumulated CPU time: 3453.25 s
Current children cumulated vsize: 1187300 KiB
Current children cumulated memory: 1026368 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/273 23594
/proc/meminfo: memFree=100964452/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=1184492 memory=1024832 CPUtime=3513.08 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 142167 0 0 0 348803 2505 0 0 20 0 1 0 33334892 1212919808 256208 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 296123 256208 2432 1147 0 283550 0
Current children cumulated CPU time: 3513.08 s
Current children cumulated vsize: 1188684 KiB
Current children cumulated memory: 1027776 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/273 23598
/proc/meminfo: memFree=100621048/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=1184492 memory=1024832 CPUtime=3572.9 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 142213 0 0 0 354762 2528 0 0 20 0 1 0 33334892 1212919808 256208 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 296123 256208 2432 1147 0 283550 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 1188684 KiB
Current children cumulated memory: 1027776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.07 4.10 4.09 5/273 23599
/proc/meminfo: memFree=100363964/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=1184492 memory=1024960 CPUtime=3600.02 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 142232 0 0 0 357458 2544 0 0 20 0 1 0 33334892 1212919808 256240 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 296123 256240 2432 1147 0 283550 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1188684 KiB
Current children cumulated memory: 1027904 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.5 s]
# the end of solver process 23309 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002363 s
Sleeping 2 seconds
[startup+3609.55 s]
# the end of solver process 23313 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3574.6 s, system=25.4577 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.5 s]
/proc/loadavg: 4.07 4.10 4.09 5/273 23599
/proc/meminfo: memFree=100363964/131249996 swapFree=33010684/33010684
[pid=23309] ppid=23305 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23309/stat : 23309 (run-dec-log.sh) S 23305 23309 22485 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33334891 4292608 736 18446744073709551615 94381996613632 94381997508165 140724064560608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94381997747216 94381997794960 94382030413824 140724064569633 140724064569828 140724064569828 140724064575430 0
/proc/23309/statm: 1048 736 672 219 0 110 0
[pid=23313] ppid=23309 vsize=1184492 memory=1024960 CPUtime=3600.02 cores=4,6
/proc/23313/stat : 23313 (roundingsat) R 23309 23309 22485 0 -1 4194304 142232 0 0 0 357458 2544 0 0 20 0 1 0 33334892 1212919808 256240 18446744073709551615 4227072 8923433 140728409710112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30015488 140728409717095 140728409717288 140728409717288 140728409722858 0
/proc/23313/statm: 296123 256240 2432 1147 0 283550 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1188684 KiB
Current children cumulated memory: 1027904 KiB
Child status: 2
Real time (s): 3609.55
CPU time (s): 3600.06
CPU user time (s): 3574.6
CPU system time (s): 25.4577
CPU usage (%): 99.737
Max. virtual memory (cumulated for all children) (KiB): 1188684
Max. memory (cumulated for all children) (KiB): 1027904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.6
system time used= 25.4577
maximum resident set size= 1025088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142458
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14028480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1153
involuntary context switches= 4830
# summary of solver processes directly reported to runsolver:
# pid: 23309,23313
# total CPU time (s): 3600.06
# total CPU user time (s): 3574.6
# total CPU system time (s): 25.4577
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57678 second user time and 16.5218 second system time
The end
Begin job on nodeC017 at 2025-06-29 07:56:11
IDJOB=4506941
IDBENCH=158309
IDSOLVER=3352
FILE ID=nodeC017/4506941-1751176571
RUNJOBID= nodeC017-1751169346-22496
SLURM_JOB_ID= 9587517
Free space on /tmp= 433000 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K133.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506941-1751176571/watcher-4506941-1751176571 -o /tmp/evaluation-result-4506941-1751176571/solver-4506941-1751176571 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751169346-22496 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506941-1751176571.opb PROOFDIR/proof-4506941-1751176571
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9ec822d6c0cd68d217a6cdee070ca11c
RANDOM SEED=136152291
nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.293
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.034
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.147
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.228
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.672
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.905
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.705
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3605.743
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 115683272 kB
MemAvailable: 127350972 kB
Buffers: 3280 kB
Cached: 12464404 kB
SwapCached: 0 kB
Active: 2761532 kB
Inactive: 12210776 kB
Active(anon): 2522784 kB
Inactive(anon): 0 kB
Active(file): 238748 kB
Inactive(file): 12210776 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47432 kB
Writeback: 0 kB
AnonPages: 2508136 kB
Mapped: 112072 kB
Shmem: 18080 kB
KReclaimable: 114432 kB
Slab: 201860 kB
SReclaimable: 114432 kB
SUnreclaim: 87428 kB
KernelStack: 4304 kB
PageTables: 8012 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3143320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2279424 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC017 at 2025-06-29 08:56:21